SFB 901; TP A4: Empirische Analysen in M?rkten für OTF Dienstleistungen
Ziel des Teilprojekts ist die Entwicklung von Instrumenten zum Abbau von Informationsasymmetrien auf OTF M?rkten. Da sich hierbei Online-Bewertungen als geeignetes Instrument erwiesen haben, es jedoch noch an systematischen grundlegenden Erkenntnissen fehlt, streben wir in der dritten F?rderphase eine ganzheitliche Betrachtung von ...
Laufzeit: 07/2015 - 06/2023
Geschichtsdidaktik im Diskurs
Studierende und wissenschaftliche Mitarbeiterinnen und Mitarbeiter des Arbeitsbereichs Theorie und Didaktik der Geschichte widmen sich im Lehrprojekt den jeweils aktuellen Fragen geschichtsdidaktischer Theorie, Empirie und Pragmatik und diskutieren diese im Hinblick auf deren Bedeutung für die eigenen Forschungsprojekte. In Zusammenarbeit mit dem ...
Laufzeit: 04/2015 - 12/2024
Theorie funktionaler photonischer Strukturen
Das Ziel des Heisenberg-Programms ist es, herausragenden Wissenschaftlerinnen und Wissenschaftlern, die alle Voraussetzungen für die Berufung auf eine Langzeit-Professur erfüllen, zu erm?glichen, sich auf eine wissenschaftliche Leitungsfunktion vorzubereiten und in dieser Zeit weiterführende Forschungsthemen zu bearbeiten. In der Verfolgung dieses ...
Laufzeit: 04/2015 - 12/2021
InnoVersity: Innovationsmanagement als Element der Digitalisierungsstrategie der Universit?t Paderborn: Von der innovativen Idee zur nachhaltigen Verbreitung
Die Universit?t Paderborn folgt dem Leitbild der ?Universit?t der Informationsgesellschaft“ und bietet bereits umfangreiche digitale Angebote und Dienste zur Unterstützung von Forschung, Studium und Lehre, die kontinuierlich verbessert und erweitert werden. Ein wesentliches Ziel der Digitalisierungsstrategie der Universit?t ist es, auf neue ...
Laufzeit: 03/2015 - 07/2018
Kontakt: Prof. Dr. Gudrun Oevel
QUCHIP: Quantum Simulation on a Photonic Chip
Partner im EU-Projekt, Horizon 2020
Laufzeit: 03/2015 - 02/2018
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
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
GoRETech – Go Runtime Enforcement Techniques
Das Ziel dieses Projekts ist die Entwicklung und Anwendung von Techniken und Werkzeugen zur statischen Analyse und dynamischen Durchsetzung für die hochgradig nebenl?ufige Programmiersprache Go, mit einem speziellen Fokus auf die Analyse von sicherheitsrelevanten Eigenschaften. Die Sprache Go ist eine moderne Programmiersprache, die nicht nur ...
Laufzeit: 01/2015 - 12/2016
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