Finished Theses

In the context of probabilistic inference

• 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

• 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

• An Implementation and Evaluation of Max Cover Clustering Algorithms in the Differentially Private Framework (MA)

In the context of text modelling

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

In cooperation with the Institute of Medical Informatics (Tobias Brix)

• The challenges of sorting colours: Sorting algorithms and human aesthetics in comparison (BA)

• Oblivious databases for a hospital information system (BA; reviewed by Dietmar Lammers)
• Development of an application for converting an HTML form into a pdf form (BA; reviewed by Dietmar Lammers)
• Steiner Goes Big Data: Validating Database Entries in Large Databases (MA)
• Automated generation of SQL templates for the targeted extraction of lab values at the Medical Data Integration Centre (MeDIC) Münster (BA) [description in German only]

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

• 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