POLYLINE – Integrierte Linienanwendung von polymerbasierten AM-Technologien
Ziel des Projektes POLYLINE ist es, die Additive Fertigung mit polymerbasiertem Laser-Sintern (LS) zu einem automatisierten und effizienten Produktionsverfahren weiterzuentwickeln. Die AM-Technologie soll dabei befähigt werden, klassischen Verfahren (Zerspanen, Gießen, etc.) in durchsatzstarken Linienproduktionssystemen auf Augenhöhe zu ...
Laufzeit: 02/2020 - 07/2023
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 regelungstechnische 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