Provably secure program executions through declaratively defined dynamic program analyses
Im Rahmen des Emmy Noether Projects RUNSECURE entwickeln wir eine neuartige Programmiersprache zur Entwicklung nachweislich korrekter Monitore für die dynamische Analyse und Sicherheit. Hierdurch wird es Programmierern erm?glicht, Programme zu erhalten, die vor einer Reihe Klassen von "Vulnerabilities by Design" geschützt sind. Weitere ...
Laufzeit: 05/2017 - 09/2019
EcoGest: Empirische und komputationale Untersuchung der Intergration von Sprache und ikonischen Gesten unter Berücksichtigung ihrer Entwicklung bei Vorschulkindern
Gesten und Sprache formen ein integriertes kommunikatives System. Die Integration wurde bereits unter dem Aspekt der Kommunikation und des Lernens untersucht. Aktuelle Studien versuchen dabei zu erkl?ren, wie Gesten Sprache beeinflussen und wie Gesten -- als eine spezielle Form der Handlung -- die Sprecher dazu bewegt, sensomotorische Information ...
Laufzeit: 05/2017 - 12/2022
Kontakt: Erica Cartmill, Marjorie Goodwin
EXOFRAME: self-hosted tool that allows simple one-command deployments using Docker
Laufzeit: 05/2017 - 01/2021
Bundesprogramm: Kita-Einstieg
Ziel der Evaluation war es, die im Bundesprogramm ?Kita-Einstieg: Brücken bauen in frühe Bildung“ bedarfsorientierten Bildungsangebote und -strukturen in den Blick zu nehmen, um herauszufinden, inwieweit Entwicklungsprozesse in der inklusiven Frühp?dagogik angesto?en, Professionalisierungsans?tze für Fachkr?fte erweitert sowie ein ...
Laufzeit: 05/2017 - 12/2022
Advanced Digitalization @ Nordzucker - Potenzialanalyse zur Digitalisierung im Zuckerfabrikationsprozess
Das Projekt Advanced Digitalization@Nordzucker verfolgte das Ziel, Digitalisierungspotenziale in den Prozessen und Systemen der Nordzucker AG zu identifizieren. Advanced Digitalization wird hier interpretiert als Einführung von ?Internet-of-Everything?-Technologien. Es wurde eine Kombination aus Prozess-und Datenanalysen durchgeführt, um Potenziale ...
Laufzeit: 04/2017 - 06/2018
HighPerMeshes: Dom?nenspezifische Programmierung und zielplattformbewusste Compiler-Infrastruktur für Algorithmen auf unstrukturierten Gittern
Ziel des Projektes HighPerMeshes ist die Entwicklung eines in der Praxis einsetzbaren dom?nenspezifischen Frameworks zur effizienten, parallelen und skalierenden Implementierung iterativer Algorithmen auf unstrukturierten Gittern. Simulationssoftware im Zeitbereich, die in diese Gruppe f?llt (z.B. TD-FEM, TD-DG, Netzwerksimulationen), wird in den ...
Laufzeit: 04/2017 - 03/2020
Kontakt: Bernard Bauer
Innovation durch Kombination
Das Projekt ?Innovation durch Kombination“ an der Universit?t Paderborn f?rdert die Kreativit?t von Kunstdidaktik-Studierenden durch Tablets, Inverted?Classroom und praxisnahe ?bungen, mit Ergebnissen in einem ?ffentlichen Wiki und wissenschaftlicher Begleitung.
Laufzeit: 04/2017 - 03/2018
Philosophy goes MOOC (Massive Open Online Courses)
Das Projekt ?Philosophy Goes MOOC“ erm?glicht Studierenden eine langfristige, intensive sowie selbstst?ndige Auseinandersetzung mit philosophischen Inhalten. Ziel ist es, Medien nicht lediglich anzuwenden, sondern Studierenden die M?glichkeit zu geben, eigenst?ndig durch MOOCs und im Sinne des flipped classroom eine Verbindung zwischen ...
Laufzeit: 04/2017 - 03/2018
QuaSiD: Qualit?tssicherung in der Digitalisierungsstrategie: Erfolgsfaktoren und Akteurskonstellationen bei der Verbreitung und Verankerung
Viele Digitalisierungsprojekte in Hochschulen konnten bereits erfolgreich implementiert werden und eine breite Akzeptanz finden, w?hrend andere Projekte nur wenig Nutzen für die Beteiligten brachten. Um ein tiefergehendes Verst?ndnis der Erfolgs- und Misserfolgsfaktoren von Digitalisierungsprojekten sowie deren Verbreitung und grundlegende ...
Laufzeit: 03/2017 - 03/2020