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
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
In der Primarschule flexibles Rechnen mittels Vergleichen in produktiven Unterrichtsgespr?chen f?rdern. Effekte und Wirkmechanismen einer Lehrpersonenweiterbildung
Duration: 10/2024 - 09/2028
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
Frauenemanzipation, Bildungsaufwertung und Migration im Strukturwandel – Eine gesellschaftliche Mikrostudie zu Duisburg Rheinhausen
Das Dissertationsprojekt untersucht Prozesse weiblicher Emanzipation und Bildungsaufwertung im Kontext des Strukturwandels in Duisburg-Rheinhausen. Im Zentrum steht eine gesellschaftliche Mikrostudie, die exemplarisch aufzeigt, wie Frauen – darunter auch Angeh?rige der zweiten Generation von Arbeitsmigrantinnen – auf die ?konomischen und sozialen ...
Duration: 10/2024 - 09/2027
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
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
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
Synthese von Katalysatorsystemen für die Herstellung von Fetts?urecarbonaten
Duration: 09/2024 - 09/2025
The Return of Resentment? Stereotypes in the Media, Cultural Philosophy and Literature
The conference project at the Kulturstiftung Schloss Wiepersdorf aims to take a closer look at the connections and interrelationships between stereotyping and resentment, analysing both as figures of thought and in their visual and literary modelling. This raises questions about the media, political, historical and discursive conditions of the ...
Duration: 09/2024 - 09/2024