HERTA M?LLERS POETIK DES EIGENSINNS
Sprach-Spiele mehrdeutiger Metaphorisierungen und Metonymisierungen setzen den Ton, mit dem Herta Müller von den frühen Erz?hlungen der ?Niederungen“ an bis in das jüngere Collagenwerk hinein ihre Texte ?einstimmt‘ auf das ?innere Orchester‘ der Lesenden. Eigentümlich ?schr?ge‘, zerbrochene oder seltsam ?verkehrte‘ Bilder st?ren die Lektüre und ...
Laufzeit: 01/2020 - 12/2024
Gro?-kanonisch-analoge adaptive Aufl?sung von Molekülen mit Elektronen
Das Ziel dieses Projekts ist die Kombination der Expertisen der beiden beteiligten Arbeitsgruppen, in Berlin und Paderborn. Es geht um die Entwicklung eines Interface zwischen der Adaptiven Aufl?sung Technik (AdResS code, Berlin) mit der Technik aus Paderborn zur Bestimmung des konstanten chemischen Potentials via ab initio Methoden (ls++ code). ...
Laufzeit: 01/2020 - 12/2024
Faktoren in Graphen
Kantenf?rbungen und Faktoren von Graphen sind klassische Gebiete der Graphentheorie. Frühe und die Graphentheorie pr?gende S?tze, wie z.B. der Satz von K?nig (1916) oder Satz von Petersen (1891) machen Aussagen über Kantenf?rbungen und Faktoren von Graphen. Besonderes Interesse gilt Faktoren von regul?ren Graphen. Vizing (1965) zeigte, dass die ...
Laufzeit: 01/2020 - 12/2024
FROCKG: Fact Checking for Large Enterprise Knowledge Graphs
Laufzeit: 01/2020 - 12/2022
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
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
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