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
EASE: Early semantic development: Linking language development to emerging participation in social events
The main goal of this project is to contribute to the theory of early language development within the emerging embodied, distributed and situated approach to cognition. Congruently with earlier, functionalist theories of language, we investigate how children learn the controlling power that utterances have in interactions with other people rather ...
Duration: 01/2015 - 12/2020
DUC - Diversity Management in großen Lehrveranstaltungen durch hochschuldidaktisch eingebetteten User-Generated Content
The project “Diversity management in large courses through university didactically embedded user-generated content” (DUC) attempts to overcome learning barriers and support students in successfully shaping their learning processes through innovative, technology-supported learning scenarios that take into account the diversity of learning groups in ...
Duration: 01/2015 - 12/2015
DUC - Diversity Management in großen Lehrveranstaltungen durch hochschuldidaktisch eingebetteten User-Generated Content
The DUC project attempts to overcome learning barriers and support students in successfully shaping their learning processes through innovative, technology-supported learning scenarios that take into account the diversity of learning groups in large university events. The aim is to promote cognitive skills in terms of specialist knowledge and ...
Duration: 01/2015 - 12/2015
Derived–tame algebras and non–commutative nodal curves
The goal of this project is to develop a systematic theory of non-commutative nodal projective curves, similar to the theory of weighted projective lines of Geigle and Lenzing. In particular, we want to clarify when the derived category of coherent sheaves on such a curve admits a tilting object, and describe the classes of tilted algebras arising ...
Duration: 01/2015 - 12/2019
Verbundprojekt: Koordinierte Industriekommunikation - Latenzarme und verlässliche Industriekommunikation - Teilvorhaben: Verteilte Koordination
Duration: 01/2015 - 12/2017