ARCA: Automated Requirement Change Analysis
Today's development projects are characterized by high complexity, dynamics and uncertainty. New insights, agile approaches and changing framework conditions require continuous adaptation of development goals. Such adjustments cause delays and high costs due to change propagation (propagation effects), especially in late development stages. One ...
Duration: 01/2020 - 12/2021
Factors in Graphs
Edge coloring and factors of graphs are classical areas of graph theory. Early and fundamental theorems of graph theory, such as K?nig's theorem (1916) or Petersen's theorem (1891) make statements about edge colorings and factors of graphs. Factors of regular graphs are of particular interest. Vizing (1965) showed that the minimum number of colors, ...
Duration: 01/2020 - 12/2024
Schreibcoaches (Kooperationsprojekt mit der Friedrich-Spee-Gesamtschule Paderborn)
Bei dem im Jahr 2020 initiierten Projekt ?Schreibcoaches: Studierende in Spee“ handelt es sich um eine Kooperation zwischen der Germanistischen Sprachdidaktik der Universit?t Paderborn (AG Prof. Dr. Sara Rezat) und der Paderborner Friedrich-Spee-Gesamtschule. Mit dem Projekt ist die Idee verbunden, Schülerinnen und Schüler individuell beim Erwerb ...
Duration: 01/2020 - 12/2030
Berufliche Selbstverst?ndnisse in der regionalen Veranstaltungsbranche in Ostwestfalen-Lippe (OWL)
Ergebnisse dieser Studie wurden im Rahmen der VMBRDays 2020 ("Cancelled gigs, closed venues and running costs. An explorative investigation on the relation of professional self-concepts of local event managers of live music in Ostwestfalen-Lippe and their strategies to face the corona crisis", gemeinsam mit Maryam Momen Pour Tafreshi) sowie in ...
Duration: 01/2020 - 12/2021
DAIKIRI: Diagnostische KI für industrielle Daten
Das Forschungsprojekt DAIKIRI zielt auf die erstmalige Entwicklung und Verwendung von automatischen Verfahren für die Semantifizierung von industriellen Daten und die datengetriebene Diagnose von Industrieanlagen ab. Mit Hilfe dieser Verfahren sollen diagnostische selbsterkl?rende Smart-Services für Industriedaten entwickelt und mit Daten aus ...
Duration: 01/2020 - 06/2022
Automotive VLC - Open Hardware Project Kommunikation mit sichtbarem Licht (2. Projektphase)
Licht emittierende Dioden (LEDs) werden immer h?ufiger als prim?re Lichtquelle im Innen- wie auch im Au?enbereich eingesetzt. Neben ihrer Funktion als Lichtquelle k?nnen LEDs, dank ihrer hohen Schaltgeschwindigkeit, auch für das neue Einsatzgebiet der Kommunikation mit sichtbarem Licht (VLC) verwendet werden. VLC nutzt dabei mehrere THz lizenzfreie ...
Duration: 01/2020 - 12/2024
Contact: Stephan Kruse, M.Sc.
The Quantum Satisfiability Problem: Algorithms & Complexity-Theoretic Hardness
In theoretical computer science, the Boolean Satisfiability Problem (k-SAT) is a canonical "intractable" problem, and has attracted much attention from both algorithms and complexity theoretic perspectives. There is a quantum generalization of k-SAT, denoted the Quantum SAT problem (k-QSAT), which is physically motivated via connections to ...
Duration: 01/2020 - 12/2023