"How Much Data is Enough?" Learning Curves for Machine Learning

Supervisors: Tom Viering, Marco Loog

In Search of Best Learning Curve Model

By Dean Nguyen

Different approaches to fitting and extrapolating the learning curve

By Donghwi Kim

Factors related to dataset that influence the shape of learning curves

By Nam Thang Bui

To Tune or not to Tune: Hyperparameter Influence on the Learning Curve

By Prajit Bhaskaran

Explain Strange Learning Curves in Machine Learning

By Zhiyi Chen

A Survey of Commonsense Knowledge Collection, Organization, and Utility

Supervisors: Ujwal Gadiraju, Jie Yang, Gaole He

A systematic comparison of Commonsense Knowledge usages between natural language processing and computer vision

By Adrian Kuiper

Effectiveness of Automatic and Semi-Automatic Methods to Collect Common Sense Knowledge

By François Ezard

A Survey of Crowdsourcing Methods for Commonsense Knowledge Collection

By Ilinca Renţea

A Survey of Commonsense Knowledge Organization, Structuring and Categorization

By Sanjay Rachwani

A study of bugs found in configuration management systems

Supervisors: Diomidis Spinellis, Thodoris Sotiropoulos

Studying bugs in the Salt Configuration Management System

By Bryan He

A study of bugs in the Ansible configuration management system

By Matas Rastenis

A Study of Bugs Found in the Moby Configuration Management System

By Mattia Bonfanti

A Study of Bugs Found in the Puppet Configuration Management System

By Mykolas Krupauskas

Acceptance of a virtual coach for quitting smoking and becoming more physically active: A thematic analysis

Supervisors: Nele Albers, Willem-Paul Brinkman

Eases and Difficulties of Talking to a Virtual Coach for Quitting Smoking and Becoming More Physically Active: A Mixed-Methods Analysis

By Arsen Ekinci

Acceptance of a Virtual Coach as Guided Intervention for Smoking Cessation: A Mixed-Methods Analysis

By Jaap Dechering

Traits for a virtual coach to be a "friend"

By Mahira Ali

Reasons to continue or stop using a virtual coach for quitting smoking and increasing physical activity: A mixed-methods analysis

By Nadyne Aretz

Reasons to Be Satisfied or Dissatisfied With a Virtual Coach for Quitting Smoking and Becoming More Physically Active: A Mixed-Methods Analysis

By Omar Samir Abdelmoaty Mostafa Sheasha

Algorithms for smart monitoring, control and redistribution in a community energy project

Supervisors: Valentin Robu, Peter Zhang, Sho Cremers

Battery Degradation in Control Algorithms for Redistribution of Benefits in a Community Energy Project

By Inaesh Joshi

The Financial Benefit of Energy Consumption Behavior Diversity Within an Energy Community

By Joey de Water

Improving the efficiency of renewable energy assets by optimizing the matching of supply and demand using a smart control algorithm

By Philippe de Bekker

Improving the efficiency of an energy management system with machine learning

By Richard Wijers

Algorithms for smart scheduling of a DSM enzyme production line

Supervisors: Mathijs de Weerdt, Kim van den Houten

Flexible Job Shop Optimization with Simulated Annealing

By Marco Bak

Suitability of Genetic Algorithms for solving Flexible Job Shop Problems

By Marko Ivanov

Applying hierarchical tabu search to an adapted version of the flexible job shop problem

By Robin Jansen

A Heuristic Algorithm for the Flexible Job Shop Problem with Changeover Times

By Tiamo van Eijmeren

Ant Colony Optimization for DSM's Flexible Job Shop Problem

By Tim Numan

Analysis of Android Spam Call Blocking Applications

Supervisors: Apostolis Zarras, Yury Zhauniarovich

Developing a Methodology For Dynamic Analysis of Android Spam Blocking Applications

By Atanas Pashov

Dynamic analysis of Android applications to extract spam caller IDs

By Christiaan van Luik

Analysis of Components in the Manifest File of Spam Call Blocking Applications on Android

By Colin Busropan

Storage and retrieval mechanisms in mobile spam blocking applications

By Victor de Jong

Static Analysis of Spam Call Blocking Applications

By Yoon Hwan Jeong

Applying Gate Set Tomography on Nitrogen-Vacancy systems

Supervisors: Johannes Borregaard

Applying Gate Set Tomography on Nitrogen-Vacancy Systems

By David Vos

Automatic Categorization of Software Entities

Supervisors: Maliheh Izadi, Arie van Deursen

Time is Money - A similar repository recommender system that saves development time using tag hierarchies

By Andrei-Cristian Ionescu

Improving GitHub Tag Recommender Systems Using Tag Hierarchies

By Arend van der Rande

Detecting Duplicate Stack Overflow Questions Exploiting the Textual Information, and a Semantic-based Tag Hierarchy

By Cristian - Alexandru Botocan

Categorizing Stack Overflow Questions With A Tag Hierarchy

By Philip Roozendaal

Automatic Code Completion

Supervisors: Maliheh Izadi, Arie van Deursen

An Empirical Analysis of InCoder on the Statement Prediction Task

By Frank van der Heijden

A User Evaluation of UniXCoder Using Statement Completion in a Real-World Setting

By Jorit de Weerdt

User Evaluation of InCoder Based on Statement Completion

By Marc Otten

Improvement of Source Code Conversion for Code Completion

By Mika Turk

An Empirical Analysis on the Performance of UniXcoder

By Tim van Dam

Automatic Detection of Mind-Wandering from Audiovisual Data

Supervisors: Bernd Dudzik, Hayley Hung, Xucong Zhang

Automatic Detection of Mind-Wandering Based on Body and Hand Movements from “Mementos” Dataset

By Andrejs Kārkliņš

Automatic Detection of Mind Wandering Using Residual Network Generated Features

By Arbër Demi

Detection of Mind-Wandering through Sound

By Iasonas Symeonidis

Automatic Detection of Mind Wandering Based on Eye Movement from the Mementos Data Set

By Max van Dijk

Automatic Detection of Mind-Wandering using Facial Expressions

By Radek Kargul

Automatic feature discovery for machine learning

Supervisors: R. Hai, A. Ionescu

Efficient and effective feature discovery for CART decision tree model

By Benedict Bien

From Feature Selection to Data Augmentation: the ADA Algorithm

By Eduard Cruset Pla

Automatic feature augmentation ranking: XGBoost

By Oliver Neut

PCADA: Partial Correlation Aware Data Augmentation for random forest classifier

By Oskar Lorek

Can your smarthpone talk to a window? Yes, with GlassFi!

Supervisors: Koen Langendoen, Marco Zúñiga

ChromaCam Demodulating Colored Light with a High-End Smartphone

By Eric Kemmeren

System Design of LED-to-Rolling-Shutter-Camera Communication using Color Shift Keying.

By Merdan Durmus

Receiving data through light with low-end smartphones

By Shaan Hossain

Causal machine learning for causal effect estimation

Supervisors: Stephan Bongers, Jesse Krijthe

An empirical study of the effects of unconfoundedness on the performance of Propensity Score Matching

By Andrej Erdelský

Treatment Effect Estimation of the DragonNet under Overlap Violations

By Marco van Veen

Honesty in Causal Forests, is it worth it?

By Matej Havelka

Empirical Evaluation of the Performance of CEVAE under Misspecification of the Latent Dimensionality

By Patrik Barták

Empirical study of GANITE's robustness to hidden confounders

By Vincent C.O. van Oudenhoven

Challenges and Algorithms for Recommender Systems

Supervisors: prof. Frans A. Oliehoek, Aleksander Czechowski, Davide Mambelli, Oussama Azizi

Adapting to Dynamic User Preferences in Recommendation Systems via Deep Reinforcement Learning

By Petru-Luca Pantea

Alleviating the cold-start problem by using demographic data and domain-aware similarity measure

By Rahul Crunal Kalaria

Evaluating Design Choices in Tripartite Graph-Based Recommender Systems to Improve Long Tail Recommendations

By Thomas Crul

Minimizing the Long-tail Problem in Collaborative Filtering Based Recommender Systems Using Clustering

By Yash Mundhra

Characterizing Wearable SmartID Badges and Multimodal Data for the Analysis of Social Interactions

Supervisors: Hayley Hung, Stephanie Tan, Jose Vargas-Quiros

Finding Waldo and whom he is talking to. A rotational approach to find social interaction groups.

By Ardy Zwanenburg

Identifying interaction groups using the Bluetooth proximity data of the Conflab dataset

By Carlotta Lichtenauer

Effects of Changing the Midge’s Sampling Frequencies on Battery Life and Storage

By Jokūbas Kort, de

Assessing the influence of sensitivity and frequency on the performance of the Midge.

By Leon Kempen

Chromostereoscopy - From Color to Depth Perception

Supervisors: Elmar Eisemann, Petr Kellnhofer

Using Chromostereopsis to Enhance Depth Perception in Photos by changing the Hue

By Helena Westermann

How can hyperspectral projection enhance chromostereoscopic perception?

By Marco Nicola Stroia

Simulating the ChromaDepth Effect for CMYK-based Print Media

By Mike Verhoeff

The Perfect Picture: Optimising Chromostereoscopic Images for Desired Depth and Colour

By Thomas Sjerps

Real-Time Chromostereopsis for Arbitrary Three-Dimensional Scenes

By Vladislav Gaidoukevitch

Code Extraction From a Dependently Typed Language

Supervisors: Jesper Cockx, Lucas Escot

Agda2Rust: A Study on an Alternative Backend for the Agda Compiler

By Hector Peeters

Extracting LLVM Intermediate Representation from Agda

By Jochem Broekhoff

Code Extraction from a Dependently Typed Language to a Stack Based Language

By Louis Milliken

Comparing Code extraction from Agda to Java to existing Methods

By Lukas Zimmerhackl

Code extraction from Agda to HVM

By Matteo Meluzzi

Combinatorial Optimisation for Scheduling (NP-Hard Algorithms)

Supervisors: Emir Demirović

Domain-specific heuristic augmentation of SAT solvers

By Filip Dashtevski

Resource-constraint project scheduling with task preemption and setup times by Boolean satisfiability encoding and satisfiability (SAT) solver

By Jasper Vermeulen

SAT-based optimisation for the resource-constrained project scheduling problem with time-dependent resource capacities and requests

By Jelle Pleunes

Augmentation of SAT Solvers for MRCPSP

By João Afonso Miguel Teixeira de Mendonça

Exploring Heuristic Methods for the Resource-Constrained Project Scheduling Problem with Logical Constraints

By Melle Schoenmaker

Comment or not to Comment? Assessing their impact on ML-based software engineering techniques

Supervisors: Annibale Panichella, Leonhard Applis

Testing the Performance of Automated Documentation Generation with Included Inline Comments

By Balys Morkūnas

Comment Or Not To Comment: The Effects Of Comments On Method Name Prediction

By Nada Mouman

Analysing the Impact of Inline Comments for the Task of Code Captioning

By Vidas Bacevičius

Commonsense knowledge collection, organization, and utilization with FindItOut Game

Supervisors: Gaole He, Ujwal Gadiraju

A Uniform Model for Generative and Discriminative Commonsense Knowledge Tuples

By Harm Hoogeveen

A Comprehensive Taxonomy of User Intents for Search Queries

By Jasmine Diaconu

Obtaining Query-specific Similar Concepts with BERT-based retrieval For Commonsense Knowledge Gameboard

By Martijn van Woensel

Creating a Unified Structure for Positive and Negative Common Sense Knowledge

By Silvia Mokráňová

Mapping User Intents in Web Search Queries to Types of Commonsense Knowledge

By Xiaoao Huang

Cooperative AI for Overcooked!

Supervisors: Robert Loftin, Frans Oliehoek

Multi-Agent Reinforcement Learning using Centralized Critics in Collaborative Environments

By Andrei-Ioan Mija

Smart Team Play: Utility of Population-Based Training for Cooperative AI in Overcooked

By Janaína Moreira-Kanaley

Training human-AI agents in Overcooked

By Jim Vos

Fictitious Co-Play for human-agent collaboration

By Nathan Ordonez Cardenas

Coupled and Model-based cooperative planning in Overcooked AI

By Nils van Veen

Developing an unbiased automatic speech recogniser for regionally accented spoken Dutch

Supervisors: Tanvina Patel, Odette Scharenborg

Evaluating the Effect of SpecSwap for Purposes of Improving WER Performance of the Western Dutch Region Using the JASMIN-CGN Dataset

By Alves Marinov

Evaluating the Use of Pitch Shifting to Improve Automatic Speech Recognition Performance on Southern Dutch Accents

By Amar Mešić

Evaluating the Use of Frequency Masking on a Hybrid Automatic Speech Recognizer for Transitional Dutch Accent of JASMIN-CGN Corpus

By Dragoș Alexandru Bălan

Improving ASR performance on Jasmin Flemish Dutch data by performing frequency perturbation

By Neal Sweijen

Improving Northern Regional Dutch Speech Recognition by Adapting Perturbation-based Data Augmentation

By Nikolay Zhlebinkov

Edge of glory Finding feasibility bounds in schedules

Supervisors: Eghonghon Eigbe, Neil-Yorke Smith

Robustness Analysis for the Re-entrant Flow Shop Problem

By Alexandru Bobe

Finding critical edges in schedules for re-entrant manufacturing machines

By Amir Van Delft

Finding upper bound for tightening of individual constraints in flexible manufacturing systems

By Angel Karchev

Splitting the Zones of Feasibility for a Given Schedulems

By Kasper Wolsink

Efficient Spectral Rendering

Supervisors: Mark van de Ruit, Elmar Eisemann

Efficient Area Light Sampling with Light Portals

By Jorge Romeu Huidobro

Identifying and Visualizing Computational Hotspots in Path Tracing

By Mathanrajan Sundarrajan

Ambient Light Caching via Approximate Photon Mapping

By Pavlos Makridis

Efficient Emitter Sampling for Spectral Path Tracing

By Piyush Deshmukh

Spectral Progressive Path Tracing

By Tan Dao

Endogenous model shifts in algorithmic recourse

Supervisors: Cynthia C. S. Liem, Patrick Altmeyer

Quantifying the Endogenous Domain and Model Shifts Induced by the DiCE Generator

By Aleksander Buszydlik

The dynamics induced by Algorithmic Recourse

By Giovan Angela

Quantifying the Endogenous Domain and Model Shifts Induced by the CLUE Recourse Generator

By Karol Dobiczek

Evaluating Superoptimizers

Supervisors: Dennis Sprokholt, Soham Chakraborty

Evaluating Souper: A Synthesizing Superoptimizer

By Emirhan Demir

Evaluating Stochastic Floating-Point Superoptimization with STOKE

By Jop Schaap

Evaluating the egg Equality Saturation Superoptimizer

By Luca Hagemans

Evaluating STOKE

By Przemysław Kowalewski

Evaluation of natural language processing embeddings in protein function prediction for bacteria

Supervisors: Aysun Urhan, Abigail Manson, Thomas Abeel

Evaluation of natural language processing embeddings in protein function prediction for bacteria

By Bianca-Maria Cosma

Evolving a program synthesiser

Supervisors: Sebastijan Dumancic

Evolving design patterns for program synthesis

By Fabian Radomski

GENERALIZE: A framework for evolving searching constraints for domain-specific languages in program

By Lucas Kroes

Evolving a Search Procedure for Program Synthesis

By Michał Okoń

Genetic Algorithm for Evolving an Objective Function of a Program Synthesizer

By Nikolaos Efthymiou

Evolving a Domain-Specific Language to Speed Up Program Synthesis

By Philip Tempelman

Exploring Trust and Privacy Preserving Solutions in Hyperledger Fabric

Supervisors: Kaitai Liang, Roland Kromes

Combining Multiple ID’s, Attributes, and Policies to Provide Secure Access Control within Hyperledger Fabric Blockchain Networks

By Daan Gordijn

ID-based self-encryption via Hyperledger Fabric based smart contract

By Ilya Grishkov

Secure Data Search via Searchable Encryption Using HLF Smart Contracts

By Mălina Bulină

Eye tracking-based Sedentary Activity Recognition with Machine Learning

Supervisors: Guohao Lan, Lingyu Do

Cognitive activity recognition by analyzing eye movement with convolutional neural networks

By Bob Brockbernd

Eye tracking-based Reading Activity Recognition with Conventional Machine Learning Algorithms

By Julian Meijerink

Gaze-Based Activity Recognition with a LSTM

By Kasper Vaessen

Eye Tracking-Based Desktop Activity Recognition with Conventional Machine Learning

By Ole Poeth

Eye tracking-based Sedentary Activity Recognition with Conventional Machine Learning Algorithms

By Violeta Chatalbasheva

From point clouds to faking physics

Supervisors: Kees Kroep, RangaRao Venkatesha Prasad

Acquiring material properties of objects for tactile simulation through point cloud scans

By Haocheng Yang

Simulating Disturbances in Tactile Internet to Study Desynchronization

By Neil Van Acoleyen

3D Point Cloud Completion from 2.5D Data

By Teun Buijs

Estimating the mass of an object from its point cloud for Tactile Internet

By Thomas Baars

Efficient Meshes from Point Clouds for Tactile Internet

By Willem Giacaman

Generalization by Visual Attention?

Supervisors: J.W. Bohmer, C.B. Poulsen

Generalization by Visual Attention

By Baptiste Colle

On the Regularization of Convolutional Neural Networks and Transformers under Distribution Shifts

By Leo Zi-You Assini

Generalization and Data Transformation Invariance of Visual Attention Models

By Pepijn de Kruijff

Gesture Recognition Empowered by Ambient Light and Embedded AI

Supervisors: Qing Wang, Mingkun Yang, Ran Zhu

Designing a Software Receiver for Gesture Recognition with Ambient Light

By Dimitar Barantiev

Constructing A Dataset For Gesture Recognition Using Ambient Light

By Femi Akadiri

Hand Gesture Recognition on Arduino Using Recurrent Neural Networks and Ambient Light

By Matthew Lipski

Designing an adaptable and low-cost system for gesture recognition using visible light

By Stijn van de Water

Recognising Gestures Using Ambient Light and Convolutional Neural Networks

By William Narchi

Graph Recommender Systems

Supervisors: Elvin Isufi, Maosheng Yang

The Performance of Total Variation Regularizer for User Collaborative Filtering

By Karolis Mariunas

Total Variation Regularisation for Item KNN Collaborative Filtering: Performance Analysis

By Lars van Blokland

Item-Item Collaborative Filtering via Graph Regularization

By Melle Koper, ook geschreven Jansen

Tikhonov and Sobolev regularisers compared to user-based KNN collaborative filtering

By Sérénic Monté

HoloNav: HoloLens as a surgical navigation system

Supervisors: Pierre Ambrosini, Ricardo Guerra Marroquim, Abdullah Thabit, Mohamed Benmahdjoub

HoloNav:HoloLens as a surgical navigation system Detecting optical reflective spheres using YOLOv5 and the Hololens' grayscale cameras

By Ee Xuan Tan

Utilising Deep Learning Models for the Surface Registration Problem in HoloNav

By Gundogan Alp Cicimen

Utilising Deep Learning Models for the Surface Registration Problem in HoloNav

By Lesley Franschman

Performing patient alignment utilising point-cloud surface registration techniques in HoloNav

By Maarten Weyns

Accuracy of the Hololens 2’s infrared cameras in the context of surgical navigation

By Omar Hussein

Holograms for hybrid education and learning

Supervisors: Marcus Specht, Bibeg Limbu

An Epistemic and Psychological Comparison Between Holograms and Zoom as Educational Media

By Chong Zhao

Improving distance learning with holograms

By Otte van Dam

Studying the Effects of Educative Holographic Projections in VR Environment

By Roman Širokov

Implications on Learning Outcomes and Eye-strain of using Telepresence Robots as a new Distance Learning Medium

By Stephen Huang

Effects of a holographic teacher projection on the engagement with the learning materials

By Thom van der Velden

How Private is Low Frequency Speech Data in Networking Events?

Supervisors: Hayley Hung, Jose Vargas Quiros

How Does Reduction in Sample Frequency Hinder the Detection of Words?

By Lucia Alonso Arenaza

Laughter detection in privacy-sensitive audio

By Matteo Fregonara

Revealing Hidden Conversations in Privacy-Sensitive Audio Using Neural Networks

By Pepijn Vunderink

The effects on speech detection of low sample frequency audio data

By Taichi Uno

How can human rating data help improve GAN/Transformer output? (with datasets of Satellite images or Google Street View images)

Supervisors: Derek Lomas, Ujwal Gadiraju, Willem van der Maden, Garrett Allen

Iterative training with human rated images to improve GAN generated image aesthetics: Effects of dataset size and training length

By Betul Irmak Celebi

Beauty in the Eye of Machine: Using Automated Measures of Aesthetic Beauty to Improve GAN Output of Satellite Images

By Joseph Catlett

How can crowdsourced workers effectively rate artwork images produced by Generative Adversarial Network transformers?

By Moshiur Rahman

GANAesthetic : An experience of interactively exploring aesthetically pleasing images and incorporating the human perception of beauty to discover aesthetic latent dimensions

By Ton Hoang (Bill) Nguyen

How to train your dragon: stochastic search techniques for program synthesis

Supervisors: Sebastijan Dumančić

How to train your dragon: On the application of the Metropolis-Hastings method for Program Synthesis

By Bo Hofstede

Genetic Algorithms for Inductive Program Synthesis

By Marije Tromp

Improvements in Monte Carlo Tree Search for Inductive Program Synthesis

By Nathalie van de Werken

Improving on Very Large Neighborhood Search techniques in Program Synthesis

By Rixt Hellinga

Improving Fairness in Automated Negotiation

Supervisors: Sietze Kuilman, Luciano Cavalcante Siebert

Investigation of the fairness metrics in automated negotiations

By Andrzej Rubio Bizcaino

Integrating fairness in opponent modeling

By Ilinca Trestioreanu

The Unintended Consequences Fairness Brings to Automated Negotiation

By Nick Ouwekerk

BOFA - A Framework for Fairness in Automated Negotiations

By Nikolay Blagoev

Fairness by Discussion: An Alternative View on the Fairness of Protocols in Automated Negotiation

By Zohar Cochavi

Investigating Alternative Input Modalities for Micro-Task Crowdsourcing

Supervisors: Garrett Allen, Ujwal Gadiraju

Investigating Body Gestures as Means of Input Modalities in Crowdsourced Microtasks

By Andris Ajanidisz

Investigating Webcam-Based Eye-Tracking as an Alternative Input Modality for Micro-task Work

By Dave Struijk

Investigating Webcam-based Hand-tracking for Navigation in Micro-task Crowdsourcing

By Safouane El Hilali

Safeguarding Inclusion When Using Gestures in Microtask Crowdsourcing

By Sanne Veringa

Analyzing the health difference of crowd workers and desk workers

By Tsin Yu Huang

Learning Algorithms for Caching and Recommender Systems

Supervisors: Georgios Iosifidis, Tareq Si Salem, Naram Mhaisen

Online Caching through Optimistic Online Mirror Descent

By Gjis Admiraal

Adaptive Caching with Follow The Perturbed Leader Replacement Policy

By Mikkel Mäkelä

Integral Caching using Online Mirror Descent in a Networked Context

By Quentin Oschatz

Literature Survey on Homotopy Type Theory

Supervisors: Benedikt Ahrens, Kobe Wullaert

The Proof of the Fundamental Group of the Circle in Homotopy Type TheoryÔÇÖs Dependence on the Univalence Axiom

By Anneke Linssen

Evaluating Scopes of Different Implementations of Finite Sets in Homotopy Type Theory

By Giovanni Fincato de Loureiro

The Category of Sets in Homotopy Type Theory

By Horia Lixandru

Proving Univalence for Generic Higher Structures and Specific Monoids on Sets

By Raul Santana Trejo

Machine learning for negotiating agents

Supervisors: Bram Renting, P.K. Murukannaiah

Improving a Reinforcement Learning Negotiating Agent’s Performance by Extracting Information from the Opponent’s Sequence of Offers

By Arpit Agrawal

Learning the Problem Representation for Improving Negotiation Strategies

By Eddy Fledderus

Opponent Modeling in Automated Bilateral Negotiation: Can Machine Learning Techniques Outperform State-of-the-Art Heuristic Techniques?

By Octav Pocola

Learning a Latent Representation of the Opponent in Automated Negotiation

By Radu Gaghi

Training a Negotiating Agent through Self-Play

By Renāts Jurševskis

Maven Central API analysis

Supervisors: Mehdi Keshani, Sebastian Proksch

An exploratory study about extent of use of released packages in the Maven

By Horia Zaharia

Looking at changes in popularity in the Maven ecosystem

By Michel Bulten

Semantic versioning on Maven Central

By Simcha Vos

Method Popularity Distributions of Software Artefacts within Maven Central

By Thijs Nulle

Media of the Future

Supervisors: Elmar Eisemann, Michael Weinmann, Baran Usta

Using Multiple On-Site Markers to Create Large-Scale Augmented Reality Experiences on Smartphones

By Alex Maat

Achieving Perceptual Consistency of Contrast in Physical Images Viewed at Different Distances

By Francisco Ayala Le Brun

Towards Real-Time Object Removal and Inpainting Through a Diminished Reality Application for Smartphones

By Henry Maximilian Cording

Coherent Stylization for Stereoscopic Augmented Reality

By Max Rensen

Projector Systems to Control the Material Perception of an Object

By Robert van Dijk

Multi-Level Bin Packing Problem

Supervisors: Matthias Horn, Neil Yorke-Smith

Integer Programming Models for the Class Constrained Multi-Level Bin Packing Problem

By Agata Kordyl

An Integer Programming Approach to the Multi-Level Bin Packing Problem with Partial Orders

By Can Sağtürk

Solving Integer Programming Models for the Multi-Level Bin Packing Problem with Conflict Constraints

By Jakub Tokarz

Comparing approximate and optimal solution algorithms for the Multi-Level Bin Packing problem

By Jeroen Groenheide

Solving the Multi-Level Bin Packing Problem with Time Windows using Integer Programming

By Max Le Blansch

Object detection in event-based videos

Supervisors: Nergis Tömen, Ombretta Strafforello, Xin Liu

Analysis of object tracking algorithms performance on event-based datasets

By Alexandra-Claudia Olaru

Constructing and Evaluating Complex Event-based Datasets for Increasing Performance

By Alexandru-Dragos Manolache

Constructing and Evaluating Complex Event-based Datasets for Increasing Performance of Instance Segmentation Models

By Alexandru-Dragoș Manolache

EV-Mask-RCNN: Instance Segmentation in Event-based Videos

By Ana Băltărețu

Accuracy-efficiency trade-off for using event-based data when performing bounding box-based object detection

By Pascal Benschop

Pixel Perfect Paintings

Supervisors: Ruben Wiersma, Ricardo Marroquim, Elmar Eisemann

A New Baseline for Feature Description on Multimodal Scans of Paintings

By Jules van der Toorn

A proof of concept for aligning sketches to their corresponding painting

By Marit Radder

Scale invariant image registration in the domain of art conservation

By Mihail Spasov

Aligning non-eaxct copies of artworks with their original

By Tristan Quin

Improving Image Registration Accuracy through User Interaction

By Vincent Groen

Practical Verification of Functional Programs

Supervisors: Jesper Cockx, Lucas Escot

Practical Verification of the Reader Monad

By Alex Haršáni

Practical Verification of a Free Monad Instance

By Luka Janjić

Practical Verification of Lenses: Implementing Formally Verified Lenses using agda2hs

By Marnix Massar

Practical Verification of Concurrent Haskell Programs

By Michelle Schifferstein

Practical Verification of Infinite Structures in agda2hs

By Remco Schrijver

Predicting Earthquakes with Deep Neural Networks

Supervisors: Elvin Isufi, Mohammad Sabbaqi

How long before strike can we predict earthquakes with an LSTM neural network?

By Amaury Charlot

Impact of seismic wave length to detect high-magnitude earthquakes via deep learning

By Gancho Georgiev

Finding the optimal time prior to earthquake strikes to use in predictions

By Glenn van den Belt

Predicting Micro-Earthquakes with Deep Neural Networks

By Kevin Zhu

Impact of Focal Depth on Short-Term Earthquake Prediction using Deep Learning

By Pijus Krisiukėnas

Predicting Outcomes of Dota 2 games using Causal Inference

Supervisors: Rickard Karlsson, Jesse Krijthe

Estimating the effect of 'diverse' team compositions on Dota 2 game outcomes using Inverse Probability Weighting

By Christof Goedhart

Validating the win-rate of heroes in Dota 2 using instrumental variable estimation

By David van der Maas

Finding the causal effect of picking Slark in the game of Dota 2 on the final match outcome based on in-match events using the front-door adjustment

By Hendy Liang

Discovering the effect of hero choice on the outcome of a Dota 2 game

By Noyan Eren Toksoy

Causal inference in DotA 2 when estimated through randomized data

By Stelios Avgousti

Programmable Data Plane Security

Supervisors: Chenxing Ji, Fernando Kuipers

Corrupting P4 programs by manipulating packet data

By Alena Shcheglova

P4Runtime Security and Man-in-the-Middle Attacks

By Areti Katsikis

Detection and Mitigation Mechanisms for Attacks in Programmable Data Planes

By Frank Broy

Exploitation of P4 Programmable Switch Networks

By Mees Frensel

The effect of a corrupt program on virtualized P4 programs in HyperVDP

By Ruben Couwenberg

Programming With Effects

Supervisors: Casper Bach Poulsen, Cas van der Rest, Jaro Reinders

Effect Handler Oriented Programming for Data Processing Applications

By Ali Başaran

The effect of EHOP on the writing of Program Analyzers

By Brendan Mesters

Applicability of Effect Handler Oriented Programming (EHOP) for Text-Based Game Development

By Ivan Todorov

Improving the quality of code in IO intensive applications through effect handlers

By Sam Streef

Protecting Federated Learning GAN from attacks

Supervisors: Kaitai Liang, Rui Wang

MULTI-FLGANs: Multi Distributed Adversarial Networks for Non-IID distributed datasets

By Akash Amalan

Using autoencoders on differentially private federated learning GANs

By Gregor Schram

Effect of Homomorphic Encryption on the Performance of Training Federated Learning Generative Adversarial Networks

By Ignjat Pejic

Improving privacy of Federated Learning Generative Adversarial Networks using Intel SGX

By Wouter Jehee

Reliable Communications Despite Malicious Nodes in Incomplete Graphs

Supervisors: Jérémie Decouchant, Bart Cox

Decreasing message complexity in Byzantine Fault Tolerant communications using Consistent-Broadcast

By Daan Prinsze

Approaching Message Optimal Byzantine Reliable Broadcast using Routing

By Dany Sluijk

Optimizing trust in networks through exchange of message paths

By Luka Dubravica

Discovering the Topology in an Unknown Network

By Silviu Mărîi

Byzantine-Resilient Real-Time Reliable Broadcast on Partially Connected

By Thom Breugelmans

Representation counts: the impact of embedding models on disease detection tasks from microbiome sequencing data

Supervisors: Gabriele Corso, Pietro Liò

Representation counts: the impact of embedding models on disease detection tasks from microbiome sequencing data

By Mattia Strocchi

Research on Explainable Artificial Intelligence Methods: Recent Advances, Challenges, and Perspectives

Supervisors: Chhagan Lal, Mauro Conti

Model-specific Explainable Artificial Intelligence techniques: State-of-the-art, Advantages and Limitations

By Arghem Khan

Explainable Artificial Intelligence (XAI) Techniques - A Review and Case Study

By Kaijen Lee

Model-Agnostic XAI Models: Benefits, Limitations and Research Directions

By Mikolaj Knap

Investigation of the evaluation techniques and tools used for model-specific XAI models

By Tanguy Marbot

Investigation and Comparison of Evaluation Methods of Model-Agnostic Explainable AI Models

By Vanisha Oedayrajsingh Varma

Review and Benchmark of sparse CNNs on GPU

Supervisors: Hasan Mohamed, Shih-Chii Liu, Nergis Tomen

Review and Benchmark of sparse CNNs on GPU

By Qilin Chen

Robust distributed swarming of wheeled mobile robots

Supervisors: Ranga Rao Venkatesha Prasad, Suryansh Sharma

Target-oriented predator and prey swarm control in obstacle-filled environments

By Cătălin Lupău

Performance Analysis of Monte Carlo Localization Algorithm

By Mert Gökbulut

Protection algorithms using fault resilient fish swarming behavior

By Sebastian Deaconu

Effect of Sensory Faults within Robot Swarms

By Stijn Coppens

Motion-based Single-Anchor Localization in a Two-Robot System

By Suleyman Ali

Sailing++

Supervisors: Elmar Eisemann, Mark Winter

Visualizing sailing regatta events in Sailing+

By Alexandru Lungu

Smooth, hierarchical competitor clustering using agglomerative hierarchical clustering

By Christiaan Botha

Augmented Reality Water Effects Visualization

By Ege Dumanli

Sailing+, Dynamic Water Animation and Interaction through Hybrid Wave Model

By Luc Jonker

Dynamic Split-Screen for Visualizing Events in Augmented Reality

By Luca Becheanu

Software That Matters

Supervisors: G. Gousios, D. Spinellis

Finding most used software application by using a time-dependency graph

By Alexandru Dumitru

Analyzing the effect of introducing time as a component in Python dependency graphs

By Andrei Purcaru

Analyzing the Criticality of NPM PackagesThrough a Time-Dependent Dependency Graph

By Anna Brands