Finished Theses

In the context of probabilistic inference

• A measure for evaluating one-step changes in factor graphs (BA)

• Leveraging symmetries in probabilistic circuits (BA)

• Tensor network decompositions for HMMs (BA)
• Parallelising Probabilistic Inference in Bayesian Networks (BA)

• Approximating Probabilistic Inference by Treewidth Minimization in Graphical Models (MA)

In the context of decision making & multi-agent systems

• Recent advances in model explanations for human-aware planning (BA)

• Optimisation and Simulation of the LinGraph Planner for Massive Multi-agent Systems (MA)

• Investigating the Practicability of Finite State Controllers for Large DecPOMDPs (MA)

• Investigating Approaches to Model Reconciliation in PGMs for Explainable Decision Support (BA)

• Lifting Multi-agent A* - Implementing a New Optimisation Problem in Isomorphic DecPOMDPs: How many agents do we need? (MA)

• Partitioning and Lifting in Multi-Agent Reinforcement Learning (MA)

In the context of security & privacy

• Privacy-Enhanced IoT: Leveraging Oblivious Computing on Resource-Limited Devices (MA)
• An Implementation and Evaluation of Max Cover Clustering Algorithms in the Differentially Private Framework (MA)

In the context of text modelling and analysis

• An Empirical Analysis of the Scalability of Dynamic Topic Modelling (BA)

• Learning of Bayesian Networks from Extracted SPO Triples (BA)

• RDF-driven Entity Clustering of Unstructured Data (BA)
• Topic Modelling of Anthropological Journals Using Latent Dirichlet Allocation (BA)

In the context of databases

• Optimizing Distributed Query Execution for Heterogeneous Federated Data Systems via a Novel Cost Model and Domain-Specific Transpilation (MA)
• Development of a Pipeline for Transforming ECG DICOM Files into a Research Database for Machine Learning Applications (BA; in cooperation with Tobias Brix, Institute of Medical Informatics)
• Oblivious databases for a hospital information system (BA; reviewed by Dietmar Lammers; in cooperation with Tobias Brix, Institute of Medical Informatics)
• Steiner Goes Big Data: Validating Database Entries in Large Databases (MA; in cooperation with Tobias Brix, Institute of Medical Informatics)
• Automated generation of SQL templates for the targeted extraction of lab values at the Medical Data Integration Centre (MeDIC) Münster (BA; in cooperation with Tobias Brix, Institute of Medical Informatics) [description in German only]

Further works in cooperation with the Institute of Medical Informatics (Tobias Brix)

• Development of plugins for the Docu-Wiki (BA)
• The challenges of sorting colours: Sorting algorithms and human aesthetics in comparison (BA)
• Development of an application for converting an HTML form into a pdf form (BA; reviewed by Dietmar Lammers)

In cooperation with Fraunhofer Research Institution for Battery Cell Production (FFB) Münster:

• (Semi-) Automated identification and Labelling of Defects in Images of Battery Cells (MA)

Second examination

• Anomaly Detection in Multivariate Key Performance Indicator Time Series (BA), first examinar: Lars Linsen

• Meta-heuristic Methods for Solving Variants of the Dial-a-Ride Problem for Ridepooling Services (MA), first examiner: Jan Vahrenhold

• Do Different Hallucination Detectors Measure Different Hallucination Phenomena? (BA); first examiner: Malte Schilling

• Improving Interoperability in Battery Cell Manufacturing through Unified Data Standards (MA), first examiner: Anne Remke

• Oblivious Joins als externe Lösung für relationale Datenbanken: Vergleich und Implementierung (BA), first examiner: Jan Vahrenhold

• Implementierung und Visualisierung von Skyline-Algorithmen (BA), first examiner: Jan Vahrenhold

• Shared Autonomy in Robotics and Transport Systems (BA), first examiner: Malte Schilling

• Personalisiertes Lernen durch KI-Technologien - die Zukunft der Bildung? (BA), first examiner: Dietmar Lammers

• Interobserver Variability and Deep Learning: performance evaluation of models trained with multiple imperfect labels (BA), first examiner: Xiaoyi Jiang

• Sichere Lösungen der Datenhaltung in Webanwendungen umgesetzt in einem Werkzeug zur Verwaltung von Multiple-Choice-Fragen (MA), first examiner: Ludger Becker

• The Impact of Noisy Observations on Deep Deterministic Policy Gradient (BA), first examiner: Malte Schilling

• Automatic Evaluation Metrics for Natural Language Generation (BA), first examiner: Christian Grimme, Wirtschaftsinformatik

• Practicality of Differentially Private Clustering (BA), first examiner: Esfandiar Mohammadi, University of Lübeck

• Integrating Categorial Data into Star Coordinates (MA), first examiner: Lars Linsen
• Efficiency of Route Planning Algorithms Using Distance Tables (BA), first examiner: Jan Vahrenhold
• Utilising Shapley Values for an explainable neural netwerk in biomedical applications (MA), first examiner: Xiaoyi Jiang
• Development of an Application for Automated Data Quality Analysis - Is a Dataset a Valid Subset of a Database Instance? (MA), first examiner: Ludger Becker
• Supporting the operational verhicle claims settlement by deep learning based detection of car parts and damages (MA), first examiner: Xiaoyi Jiang
• Principal Component Analysis for Explainability of Genetic Test Generation in Satellite Image Processing (MA), first examiner: Paula Herber