The Quantum Satisfiability Problem: Algorithms & Complexity-Theoretic Hardness
In theoretical computer science, the Boolean Satisfiability Problem (k-SAT) is a canonical "intractable" problem, and has attracted much attention from both algorithms and complexity theoretic perspectives. There is a quantum generalization of k-SAT, denoted the Quantum SAT problem (k-QSAT), which is physically motivated via connections to ...
Duration: 01/2020 - 12/2023
Funded by: DFG
Automotive VLC - Open Hardware Project Kommunikation mit sichtbarem Licht (2. Projektphase)
Licht emittierende Dioden (LEDs) werden immer h?ufiger als prim?re Lichtquelle im Innen- wie auch im Au?enbereich eingesetzt. Neben ihrer Funktion als Lichtquelle k?nnen LEDs, dank ihrer hohen Schaltgeschwindigkeit, auch für das neue Einsatzgebiet der Kommunikation mit sichtbarem Licht (VLC) verwendet werden. VLC nutzt dabei mehrere THz lizenzfreie ...
Duration: 01/2020 - 12/2024
Contact: Stephan Kruse, M.Sc.
Intelligentes Assistenzsystem zur Unterstützung der digitalen Transformation von Gesch?ftsmodellen
Die F?higkeit, innovative Gesch?ftsmodelle für die eigenen Produkte und Dienstleistungen zu entwickeln, ist von zentraler Bedeutung für jedes Unternehmen. Gleichzeitig tun sich jedoch insbesondere viele kleine und mittlere Unternehmen (KMU) schwer damit, den abstrakten Begriff ?Gesch?ftsmodellinnovation“ mit Leben zu füllen, d. h. ...
Duration: 01/2020 - 12/2022
Funded by: EU, EFRE.NRW
Theologie und Prophetie im Dialog. Christliche Prophetologie mit dem Blick auf das Judentum und den Islam
Das Neue Testament und die Kirchenv?ter haben sich intensiv auf die alttestamentlichen Propheten bezogen und sie typologisch auf Christus hin gedeutet. Diese Art der Prophetenauslegung ist in der Moderne jedoch aus unterschiedlichen Gründen in die Krise geraten. So gibt es derzeit keinen systematisch-theologischen Versuch, eine Prophetologie zu ...
Duration: 01/2020 - 12/2023
Funded by: DFG
Contact: Prof. Dr. Zishan Ghaffar
Development of highly dynamic test cylinders for test benches
Within the scope of the project, a new type of hydraulic test cylinder with self-adjusting control system is to be developed. The the focus is on the dynamics of the cylinder, to enable it to be used as a load unit in service life test rigs. Conventional hydraulic cylinders have too narrow a bandwidth have too narrow a bandwidth with regard to ...
Duration: 01/2020 - 12/2022
Funded by: BMWK
Data-driven methods in control engineering
The goal of the junior research group "Data-Driven Methods in Control Engineering" is to explore the synergetic combination of model- and data-driven methods for control engineering tasks. For this purpose, model-driven methods are combined with machine learning to obtain hybrid methods and to achieve the highest possible performance in control ...
Duration: 01/2020 - 12/2024
Funded by: BMBF
AKTIV UPB - Ausland, Kompetenz, Toleranz, Internationalisierung, Vielfalt
The DAAD-funded PLAZ project AKTIV UPB aims to promote the mobility of student teachers so that they have the opportunity to gain first-hand experience in other cultures and at the same time promote and develop their teaching skills. The project was initiated and coordinated by Prof. Dr. Marc Beutner in his role as a member of the Board of ...
Duration: 01/2020 - 11/2020
Funded by: DAAD
Berufliche Selbstverst?ndnisse in der regionalen Veranstaltungsbranche in Ostwestfalen-Lippe (OWL)
Ergebnisse dieser Studie wurden im Rahmen der VMBRDays 2020 ("Cancelled gigs, closed venues and running costs. An explorative investigation on the relation of professional self-concepts of local event managers of live music in Ostwestfalen-Lippe and their strategies to face the corona crisis", gemeinsam mit Maryam Momen Pour Tafreshi) sowie in ...
Duration: 01/2020 - 12/2021
FROCKG: Fact Checking for Large Enterprise Knowledge Graphs
Duration: 01/2020 - 12/2022
Funded by: BMBF
DAIKIRI: Diagnostische KI für industrielle Daten
Das Forschungsprojekt DAIKIRI zielt auf die erstmalige Entwicklung und Verwendung von automatischen Verfahren für die Semantifizierung von industriellen Daten und die datengetriebene Diagnose von Industrieanlagen ab. Mit Hilfe dieser Verfahren sollen diagnostische selbsterkl?rende Smart-Services für Industriedaten entwickelt und mit Daten aus ...
Duration: 01/2020 - 06/2022
Funded by: BMBF