CRC 901 - Empirical Analysis in Markets for OTF Services (Subproject A4)
In this subproject, we empirically and experimentally analyze how customer review systems can contribute to reducing information asymmetries in electronic markets for composed services. As still-to-be-developed OTF markets are a specific type of electronic markets, reducing information asymmetries in these OTF markets is essential to prevent the ...
Duration: 07/2015 - 06/2023
History didactics in discourse
In the teaching project, students and research assistants from the Theory and Didactics of History department devote themselves to current questions of history didactics theory, empiricism and pragmatics and discuss them with regard to their significance for their own research projects. In collaboration with the history meeting of the historical ...
Duration: 04/2015 - 12/2024
Theory of functional photonic structures
The precondition for a Heisenberg Programme funding is high scientific quality and originality of the research project at international level and suitability for further qualification as a university teacher. Applicants need to meet all the requirements for appointment to a permanent professorship.The aim of this programme is to enable outstanding ...
Duration: 04/2015 - 12/2021
InnoVersity: Innovation management as an element of the University of Paderborn's digitisation strategy: from the innovative idea to sustainable dissemination
The Paderborn University follows the mission statement of the "University of the Information Society" and already offers extensive digital offers and services to support research, studies and teaching, which are continuously improved and expanded. A major goal of the University's digitization strategy is to be able to react promptly to new ...
Duration: 03/2015 - 07/2018
Contact: Prof. Dr. Gudrun Oevel
QUCHIP: Quantum Simulation on a Photonic Chip
Simulation is a fundamental computational tool for modern science with applications ranging from drug design to materials science. Quantum simulators have the potential to revolutionize the way simulations are performed by accessing system sizes that are untractable in classical machines. As a result, they will become a suite of powerful and ...
Duration: 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 ...
Duration: 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. ...
Duration: 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 ...
Duration: 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 ...
Duration: 01/2015 - 12/2018