Mittwoch, 13.05.2026, 10:15-11:00 Uhr, OH12/2013
Lilly Mielke
Vergleich des klassischen Automaten Lernens mit Process Mining zur Erzeugung formaler Modelle
Betreuer: Prof. Dr. Hower
Bachelor-Einführungsvortrag
Mittwoch, 13.05.2026, 11:00-12:00 Uhr, OH12/2013
Mohammadreza Javadikouchaksaraei
Evaluierung von Deployment-Ansätzen für komplexe Industrie-4.0 Anwendungen im Fallstudienkontext der PURIS-Anwendungen auf Basis von Eclipse Tractus-X
Betreuer: Prof. Dr. Hower
Bachelor-Einführungsvortrag
Montag, 18.05.2026, 14:00-14:45 Uhr, OH16/205
Julian Tuxhorn
Entwicklung sicherheitskritischer Kl-basierter Ortungskomponenten für die autonome Binnenschifffahrt
Betreuer: Prof. Dr. Buchholz
Master-Abschlussvortrag
Montag, 18.05.2026, 15:00-15:45 Uhr, OH16/205
Malek Aloui
Development of an AI-based Detection and Tracking Pipeline for Swimmers and Small Watercraft in Harbor Environments based on ROS 2
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Montag, 01.06.2026, 15:00-15:30 Uhr, OH16/205
Ahmad Al Ahdab
Eine Software zur Analyse von M/M/1 Warteschlangen mit korrelierten Zwischenankunfts- und Bedienzeiten
Betreuer: Prof. Dr. Buchholz
Bachelor-Einführungsvortrag
Montag, 08.06.2026, 14:15-15:00 Uhr, OH16/205
Elif Korkmaz
Entwicklung einer Deep-Learning-Pipeline zur Detektion, Klassifikation und räumlichen Lokalisierung von Festmachpunkten in Hafenumgebungen
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Montag, 08.06.2026, 16:15-16:45 Uhr, OH12/2013
Johann Osing
Eindeutige Charakterisierungen durch Beispiele in Horn-Beschreibungslogiken
Betreuer: Prof. Dr. Jung
Master-Einführungsvortrag
Dienstag, 30.06.2026, 16:15-16:45 Uhr, OH12/3.031
Dushan Oravskyi
Analyse der Zustandskomplexität bei der Determinisierung endlicher Automaten
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Dienstag, 30.06.2026, 16:45-17:15 Uhr, OH12/3.031
Jannes Große Vestert
Randomisierte Sliding Window Algorithmen für reguläre Sprachen
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Dienstag, 30.06.2026, 17:15-17:45 Uhr, OH12/3.031
Marian Holschen
Resultate zum Regularitätsproblem für deterministisch kontextfreie Sprachen
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag