Self-Optimizing Static Program Analysis
Softwaresysteme durchdringen unser privates und berufliches Leben, doch ihre Unsicherheit bedroht unsere Gesellschaft. Um zu gew?hrleisten, dass Softwaresysteme zuverl?ssig und sicher sind, muss man sich Gedanken über ihren Code machen. Die statische Programmanalyse erm?glicht solche ?berlegungen. 澳门赌场注册,博狗网上赌场 kann auf einzelne Softwarekomponenten ...
Laufzeit: 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 ...
Laufzeit: 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
Laufzeit: 11/2024 - 10/2027
Sustainable Development im Chemiestudium – Schlüsselkompetenzen für eine nachhaltige Entwicklung f?rdern
Nachhaltige Entwicklung stellt eine zentrale gesellschaftliche Herausforderung dar. Mit der Agenda 2030 und den darin enthaltenen 17 Sustainable Development Goals der Vereinten Nationen wird die umfassende Bedeutung für alle Lebensbereiche deutlich. Auch für die Chemie stellen sich Herausforderungen im Rahmen einer nachhaltigen Entwicklung, die ...
Laufzeit: 10/2024 - 09/2026
Popul?rkulturen in Lateinamerika: Analog und 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 ...
Laufzeit: 10/2024 - 12/2029
SFB 901; TP T5: Zuverl?ssige und automatisierte codebasierte Analyse von Open-Source-Abh?ngigkeiten (Reaktor)
Zusammenfassung des Teilprojekts T5Dieses Transferprojekt baut auf Forschungen des Sonderforschungsbereichs 901 "On-The-Fly Computing" auf. In diesem Transferprojekt erforschen wir, wie Techniken aus der Qualit?tssicherung von Diensten in On-The-Fly-Dienstleitungsm?rkten auf das dr?ngende Problem der sicheren Verwaltung von ...
Laufzeit: 10/2024 - 09/2026
In der Primarschule flexibles Rechnen mittels Vergleichen in produktiven Unterrichtsgespr?chen f?rdern. Effekte und Wirkmechanismen einer Lehrpersonenweiterbildung
Laufzeit: 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 ...
Laufzeit: 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 ...
Laufzeit: 10/2024 - 10/2027