ERC-Grant: Self-Optimizing Static Program Analysis
Software systems pervade our personal and professional lives, yet their insecurity threaten our society. To assure that software systems are dependable and secure, one must reason about their code. Static program analysis enables such reasoning. It can be applied to individual software components, and it can show not only the presence but also ...
Duration: 11/2024 - 10/2029
Werkstofflicher Ansatz zum adh?siv-basierten Fügen für hochflexible TPE-Organobleche als Verst?rkungsstruktur
Die absehbare Endlichkeit von fossilen Energietr?gern, die zum Gro?teil unsere Verkehrsleistung erm?glichen, erfordert ein ?berdenken der Fahrzeugkonzepte, Antriebe und Energietr?ger. Um eine signifikante Senkung des Fahrzeuggewichts zu erreichen, müssen neue Wege bei der Strukturauslegung und dem Werkstoffeinsatz gegangen werden. Zu diesen neuen ...
Duration: 11/2024 - 10/2026
Verbundprojekt: SPARQL-ML -- Maschinelles Lernen für die Optimierung von SPARQL-Abfragen über zentralisierte und verteilte RDF-Wssensgraphen; Teilprojekt: Maschinelles Lernen für die Optimierung von SPARQL Abfragen
Duration: 11/2024 - 10/2027
Sustainable development in chemistry studies - Promoting key competences for sustainable development
Sustainable Development is currently an important societal issue. The huge impact on society is reflected in the 17 sustainable development goals, the United Nations declared within Agenda 2030. For chemistry, these challenges have gained more attention since the 1990s. Especially multiperspective consideration of emerging questions poses various ...
Duration: 10/2024 - 09/2026
Popular Cultures in Latin America: Analog and Digital
Ein wichtiger Bereich des deutsch-lateinamerikanische Kulturaustauschs findet, wenn auch in erster Linie einseitig, im Bereich der Popul?rkulturen statt. In Deutschland bestimmt die Rezeption verschiedener popkultureller Kulturbereiche ma?geblich die Wahrnehmung des Kontinents Lateinamerika. Zugleich werden in schulischen Kontexten Themenfelder ...
Duration: 10/2024 - 12/2029
CRC 901 - Reliable and automated code-based analysis of Open-Source Dependencies (Reaktor) (Transfer project T5)
Summary of the subproject T5This transfer project builds on top of research from the collaborative research center 901 “On-The-Fly Computing”. In this transfer project, we explore how techniques from the quality assurance of services in on-the-fly service markets can be applied to the pressing problem of securely managing open-source dependencies ...
Duration: 10/2024 - 09/2026
In der Primarschule flexibles Rechnen mittels Vergleichen in produktiven Unterrichtsgespr?chen f?rdern. Effekte und Wirkmechanismen einer Lehrpersonenweiterbildung
Duration: 10/2024 - 09/2028
Soziale Gesundheit in Unternehmen trainieren
Ausgehend von der WHO-Definition von Gesundheit ist diese dreiteilig und umfasst neben der physischen und psychischen auch die soziale Gesundheit. Im Rahmen der betrieblichen Gesundheitsf?rderung lassen sich bisher jedoch keine validierten Ma?nahmen zur F?rderung der sozialen Gesundheit finden. Dabei zeigen verschiedene Studien, dass soziale ...
Duration: 10/2024 - 12/2026
F?rderung der morphologischen Bewusstheit im Schulalter
Die morphologische Bewusstheit bezeichnet die Bewusstheit über die morphologische Struktur von W?rtern und die F?higkeit, diese Strukturen zu reflektieren und zu manipulieren. Metaanalysen zu bestehenden Querschnittstudien best?tigen die Zusammenh?nge zwischen der morphologischen Bewusstheit und den laut- und schriftsprachlichen F?higkeiten von ...
Duration: 10/2024 - 10/2027