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
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
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
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
Verbundprojekt: Koordinierte Industriekommunikation - Latenzarme und verl?ssliche Industriekommunikation - Teilvorhaben: Verteilte Koordination
Duration: 01/2015 - 12/2017
Propelling Business Process Management by Research and Innovation Staff Exchange
Duration: 01/2015 - 12/2019
Contact: Dr. Christian Bartelheimer, Prof. Dr. Daniel Beverungen
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
Emerald Management Simulation - Gestaltung und Evaluation einer prozessorientierten Businesssimulation
The “Emerald Management Simulation” project focuses on the design of a computer-aided management game in which learners learn the core business processes of a consumer goods manufacturer operating on the market. They compete against other simulation groups and receive direct feedback on their business decisions via market reactions. In addition to ...
Duration: 01/2015 - 12/2024