Runtime Verification beyond Monitoring (ARVI)
Ziel ist der Aufbau von Expertise durch das Zusammenführen aktiver Forscher aus unterschiedlichen Bereichen der Laufzeit-Verifikation sowie durch Treffen mit Experten aus unterschiedlichen potentiellen Anwendungsdisziplinen. Das Hauptziel ist es, die Fragmentierung der Forschung über Laufzeit-Verifikation zusammenzuführen durch(1) das Design ...
Laufzeit: 03/2015 - 12/2018
Gef?rdert durch: COST
Hochleistungsrechencluster (HPC-Cluster)
Das beantragte leistungsf?hige, Cluster-basierte Parallelrechnersystem soll den Bedarf der Paderborner Naturwissenschaften an lokal vorhandener paralleler Rechenleistung bis über das Jahr 2018 hinaus sicherstellen. Obwohl die beteiligten Arbeitsgruppen auch Nutzer an nationalen (H?chstleistungs-) Rechenzentren sind, erfordern viele Aufgaben (z.B. ...
Laufzeit: 01/2015 - 12/2015
Gef?rdert durch: DFG
Topologische Phasenkontrolle nichtlinear-optischer Prozesse an Metaoberfl?chen
Nanostrukturierte Oberfl?chen für optische Anwendungen haben seit kurzem viel Interesse geweckt, da sie ein gro?es Potenzial für Anwendungen besitzen und mittels einfacher Herstellungsverfahren realisiert werden k?nnen. In unseren früheren Arbeiten haben wir bereits gezeigt, dass nanostrukturierte Oberfl?chen, sogenannte Meta-Oberfl?chen, eine ...
Laufzeit: 01/2015 - 12/2018
Gef?rdert durch: DFG
Breitbandreflektierende Fasern mit ma?geschneiderten Strukturen nach dem Vorbild von Wüstenameisen
Viele lebende Organismen bilden photonische Strukturen, um optische Effekte zu generieren die für ihr ?berleben entscheidend sind. In der Mehrzahl der F?lle handelt es sich um periodisch geordnete Strukturen, aber die Natur hat im Laufe der Evolution auch ungeordnete photonische Strukturen hervorgebracht. Diese zeigen oft funktionsspezifisch ...
Laufzeit: 01/2015 - 12/2022
Gef?rdert durch: DFG
Verbundprojekt: Koordinierte Industriekommunikation - Latenzarme und verl?ssliche Industriekommunikation - Teilvorhaben: Verteilte Koordination
Laufzeit: 01/2015 - 12/2017
Gef?rdert durch: BMBF
DUC - Diversity Management in gro?en Lehrveranstaltungen durch hochschuldidaktisch eingebetteten User-Generated Content
Das Projekt "Diversity Management in gro?en Lehrveranstaltungen durch hochschuldidaktisch eingebetteten User‐Generated Content" (DUC) versucht durch innovative, technikunterstütze Lernszenarien, die der Diversit?t von Lerngruppen in universit?ren Gro?veranstaltungen Rechnung tragen, Lernbarrieren zu überwinden und die Studierenden dabei zu ...
Laufzeit: 01/2015 - 12/2015
Gef?rdert durch: Zentrum für Kompetenzentwicklung für Diversity Management in Studium und Lehre an Hochschulen in NRW
DUC - Diversity Management in gro?en Lehrveranstaltungen durch hochschuldidaktisch eingebetteten User-Generated Content
Das Projekt DUC versucht durch innovative, technikunterstütze Lernszenarien, die der Diversit?t von Lerngruppen in universit?ren Gro?veranstaltungen Rechnung tragen, Lernbarrieren zu überwinden und die Studierenden dabei zu unterstützen, ihre Lernprozesse erfolgreich zu gestalten. Dabei sollen sowohl kognitive Kompetenzen hinsichtlich Fachwissen ...
Laufzeit: 01/2015 - 12/2015
Gef?rdert durch: Zentrum für Kompetenzentwicklung für Diversity Management in Studium und Lehre an Hochschulen in NRW
EASE: Frühkindliche Semantik: Verbindung früher Sprachentwicklung mit zunehmender Teilhabe an sozialen Ereignissen
Das vorrangige Ziel des Projektes ist es, einen Beitrag zur Theorie des Spracherwerbs zu leisten, der sich des verk?rperten und situierten Ansatzes zur Kognition bedient. Seit Jahrzehnten wurde das Feld des Spracherwerbs durch Ans?tze dominiert, die die Sprachlernmechanismen haupts?chlich im Geist des Kindes angesiedelt sahen und Sprachlernen unter ...
Laufzeit: 01/2015 - 12/2020
Gef?rdert durch: DFG
Abgeleitet-zahme Algebren und nichtkommutative nodale projektive Kurven
Das Hauptziel dieses Projektes ist die Entwicklung einer systematischen Theorie von nichtkommutativen nodalen projektiven Kurven, ?hnlich zur Theorie von gewichteten projektiven Geraden von Geigle und Lenzing. Wir wollen insbesondere kl?ren, wann die abgeleitete Kategorie koh?renter Garben auf einer solchen Kurve ein Kipp-Objekt besitzt und daher ...
Laufzeit: 01/2015 - 12/2019
Gef?rdert durch: DFG
Finding and Demonstrating Undesired Program Behavior (TESTIFY)
In diesem gemeinsamen Projekt mit Andreas Zeller von der Universit?t des Saarlandes wird versucht, Techniken der statischen Analyse, der Testfallgenerierung und der dynamischen Analyse zu kombinieren. Das Ziel ist es, so viel “interessantes” Laufzeitverhalten von mobilen Applikationen, im besonderen Anroid Malware, wie m?glich zu erkennen. Diese ...
Laufzeit: 01/2015 - 12/2018
Gef?rdert durch: DFG