Das Quanten-Erfüllbarkeitsproblem - Algorithmen und komplexit?tstheoretische Schwierigkeit
Das Erfüllbarkeitsproblem (k-SAT) gilt in der theoretischen Informatik als das traditionell "schwere" Problem und ist deswegen seit Jahrzehnten mit theoretischen Ans?tzen aus dem Bereich Algorithmen und Komplexit?t studiert worden. Die Generalisierung des k-SAT Problems in der Quanteninformatik wird als "Quantum SAT" (k-QSAT) bezeichnet, das ...
Laufzeit: 01/2020 - 12/2023
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 ...
Laufzeit: 01/2020 - 12/2024
Kontakt: Stephan Kruse, M.Sc.
FROCKG: Fact Checking for Large Enterprise Knowledge Graphs
Laufzeit: 01/2020 - 12/2022
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. ...
Laufzeit: 01/2020 - 12/2022
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 ...
Laufzeit: 01/2020 - 06/2022
KI Marktplatz - Das ?kosystem für Künstliche lntelligenz in der Produktentstehung; (Umsetzungsphase)
Seit Anfang 2020 wird im Forschungsprojekt KI-Marktplatz unter der Leitung des Heinz Nixdorf Instituts an einem digitalen Marktplatz für Künstliche Intelligenz (KI) in der Produktentstehung gearbeitet. Dabei entsteht ein Innovations?kosystem, das Anwender*innen, Anbieter*innen und Expert*innen für KI zusammenbringt, um die Innovationskraft ...
Laufzeit: 01/2020 - 12/2022
Kontakt: Ruslan Bernijazov, Dr. Christian Koldewey
ARCA: Automatisierte Anforderungs?nderungsanalyse
Heutige Entwicklungsprojekte sind durch eine hohe Komplexit?t, Dynamik und Unsicherheit gepr?gt. Neue Erkenntnisse, agile Vorgehensweisen und ver?nderte Rahmenbedingungen erfordern eine kontinuierliche Anpassung der Entwicklungsziele. Solche Anpassungen verursachen besonders in sp?ten Entwicklungsstadien Verz?gerungen und hohe Kosten durch ...
Laufzeit: 01/2020 - 12/2021
Datengetriebene Methoden in der Regelungstechnik
Ziel der Nachwuchsgruppe ?Datengetriebene Methoden in der Regelungstechnik“ ist es, die synergetische Kombination modell- und datengetriebener Verfahren für regelungstech?nische Aufgaben zu erforschen. Dazu werden modellgetriebene Verfahren mit maschinellem Lernen kombiniert, um hybride Methoden zu erhalten und die gr??tm?gliche Performanz beim ...
Laufzeit: 01/2020 - 12/2024
AKTIV UPB - Ausland, Kompetenz, Toleranz, Internationalisierung, Vielfalt
Im DAAD gef?rderten PLAZ Projekt AKTIV UPB geht es darum, die Mobilit?t von Lehramtsstudierenden zu f?rdern, damit sie die M?glichkeit haben, Erfahrungen im Rahmen anderer Kulturen aus erster Hand zu machen und gleichzeitig ihre Lehrkompetenzen f?rdern und auszubauen. Das Projekt wurde von Prof. Dr. Marc Beutner in seiner Funktion als ...
Laufzeit: 01/2020 - 11/2020