Thursday, 24.07.2025, 11:00 - 11:45 a.m., Room OH14/202
Khaled Younes
Parallelizable Recurrent Neural Networks for Memory Integration in Deep Reinforcement Learning Agents (English)
Advisor: Prof. Dr. Rudolph
Master's degree lecture
Monday, 28.07.2025, 14:15 - 14:45, Room OH16/205
Hannah Moldenhauer
Analyzing and Adapting Wake Up Behaviour in a Link Sleeping System (English)
Advisor: Prof. Dr. Förster
Bachelor final lecture
Monday, 18.08.2025, 14:15 - 14:45, Room OH16/205
Mohamed Afawi
Machine learning model for automatic market phase classification and strategy optimization based on the market phase (German)
Supervisor: Prof. Dr. Buchholz
Bachelor final presentation
Monday, 18.08.2025, 15:00 - 15:45, Room OH16/205
Fabian Weiß
Replication for Multiplayer Games: An Unreal Engine case study (English)
Supervisor: Prof. Dr. Buchholz
Bachelor final lecture
Monday, 01.09.2025, 16:15–16:45, Zoom meeting
Filip Mecklenburg
Equivalence preservation for improvement operators
Supervisor: Prof. Dr. Kern-Isberner
Introductory lecture for bachelor's students
Monday, 22.09.2025, 16:15 - 16:45, via Zoom
Oliver Müller
Comparison of two approaches to prioritized response programming and their implementation with the clingo solver
Supervisor: Prof. Dr. Gabriella Kern-Isberner
Introductory lecture
Monday, 29.09.2025, 14:15 - 15:00, Room OH16/205
Nicole Kirchheim
Detection of outliers in large data sets (German)
Supervisor: Prof. Dr. Buchholz
Master final lecture
Monday, 29.09.2025, 16:15 - 16:45, Room OH12/3.031
Alexander Kokh
QBF Prover based on Abstraction Refinement
Supervisor: Prof. Dr. Jean Christoph Jung
Bachelor final lecture
Monday, 29.09.2025, 16:45 - 17:15, Room OH12/3.031
Aleksandr Ulianov
Proof strength of CDCL SAT solvers
Supervisor: Prof. Dr. Jean Christoph Jung
Bachelor final lecture
Monday, 29.09.2025, 15:30-16:15, Room OH12/3.013
Leandro Teixeira Crespo
Comparison of different prediction methods on rheumatism data (hybrid)
Supervisor: Prof. Dr. Kern-Isberner
Master's final presentation
