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
Funded by: DFG
DUC
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.
Duration: 01/2015 - 12/2015
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
Funded by: DFG
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
Funded by: DAAD
Schule digital - der Länderindikator 2016
Phase 2 "Lehrerkompetenzen"Berichtlegung: Ende 2016
Duration: 01/2015 - 12/2016
Funded by: Deutsche Telekom Stiftung
Propelling Business Process Management by Research and Innovation Staff Exchange
Duration: 01/2015 - 12/2019
Funded by: EU
Contact: Dr. Christian Bartelheimer, Prof. Dr. Daniel Beverungen
TRANSFORMATIONEN DES HEILIGEN
Das Heilige hatte über Jahrhunderte die Funktion einer ‚starken‘, nicht mehr hinterfragbaren Setzung, die in säkularen Gesellschaften ihre Bedeutung an andere diskursive Formierungen gesellschaftlicher Selbstverständlichkeiten verloren zu haben schien oder sie zumindest mit diesen geteilt hat. Nicht erst seit dem 11. September 2001 aber haben ...
Duration: 01/2015 - 12/2024
InnoArchIT: Innovative Hardware und Software Architekturen durch Industrial IT
Innovationsprojekt: Kleiner Chip – großer EffektUnsere Volkswirtschaft setzt auf Hightech-Produkte wie z.B. computerbasierte Maschinensteuerungen. Diese haben meistens nur kurze Produktlebenszyklen und geringe Losgrößen. Daher müssen die Maschinen und automatisierten Anlagen zur Herstellung dieser Produkte immer wieder schnell für neue ...
Duration: 10/2014 - 06/2017
Funded by: BMBF
Contact: Carlos Paiz Gatica
Opalesce
Das Ziel des Projektes OPALESCE ist die Schaffung eines Distance-Learning-Systems, das Senioren ohne vorherige Computererfahrung in 1 Stunde lernen können und dessen Umsetzung in einer Weise erfolgt, dass eine große Anzahl von Nutzern und Content-Anbieter angesprochen werden.
Duration: 09/2014 - 08/2017
Funded by: EU Erasmus+