"How Much Data is Enough?" Learning Curves for Machine Learning
Supervisors: Jesse Krijthe, Tom Viering
A Test Suite for Quantum Network Applications
Supervisors: Stephanie Wehner, Ravi Vattekkat
A Virtual Reality Game to Explore Hyperbolic Geometry
Supervisors: Martin Skrodzki, Rafael Bidarra
Mini-map positioning for Virtual Reality environments in hyperbolic space
By Scott Jochems
A computer-checked library of category theory
Supervisors: Benedikt Ahrens, Lucas Escot
AI in Coding: How can code generation models support students developing computational thinking skills?
Supervisors: Fenia Aivaloglou, Xiaoling Zhang
Advances and Challenges in Traffic Forecasting with Deep Learning Methods
Supervisors: Elena Congeduti
Agent failure and trust repair in human-agent teams
Supervisors: Myrthe Tielman, Ruben Verhagen
Annotation Practices in Societally Impactful Machine Learning Applications: What are these automated systems actually trained on?
Supervisors: Cynthia Liem, Andrew Demetriou
Assessing ML Algorithm Robustness to Sample Selection Bias
Supervisors: Joana de Pinho Gonçalves, Yasin Tepeli
Automatic feature discovery to improve Machine Learning performance
Supervisors: Asterios Katsifodimos, Andra Ionescu
Binary bit clustering algorithm
Supervisors: Marcel Reinders, Gerard Bouland
Building Type Checkers Using Scope Graphs
Supervisors: Casper Bach Poulsen, Aron Zwaan
Combinatorial Optimisation for Scheduling (NP-Hard Algorithms)
Supervisors: Emir Demirović, Konstantin Sidorov, Maarten Flippo
Combinatorial Optimization for Decision Trees (NP-Hard Algorithms)
Supervisors: Emir Demirović, Koos van der Linden
Comics Illustration Synthesizer using Deep Generative Models
Supervisors: Lydia Chen, Zilong Zhao
Comparing planners for rail planning
Supervisors: Sabastijan Dumancic, Issa Hanou
Computer-checked Proofs in Homotopy Type Theory
Supervisors: Kobe Wullaert, Benedikt Ahrens
Concurrency Testing of Distributed Consensus Algorithms
Supervisors: Burcu Kulahcioglu Ozkan, Ege Berkay Gulcan
Cooperative AI for Overcooked!
Supervisors: Frans Oliehoek, Robert Loftin
Correct-by-construction refactoring of functional code
Supervisors: Jesper Cockx, Luka Miljak
Creation of Gang Territories and other Patterns
Supervisors: Martin Skrodzki, Alethea Barbaro
Cultural Differences and Similarities in Perceptions of Artificial Social Agents (ASAs)
Supervisors: Willem-Paul Brinkman, Nele Albers
Deep learning-based Gaze Estimation
Supervisors: Guohao Lan, Lingyu Du
Descriptive CI Metrics
Supervisors: Sebastian Proksch, Shujun Huang
Earable computing
Supervisors: Przemyslaw Pawelczak, Vivian Dszouza
Effects of Virtual Reality on Collaboration between Learners
Supervisors: Marcus Specht, Nesse van der Meer
Efficient Video Action Recognition
Supervisors: Jan van Gemert, Ombretta Strafforello, Robert-Jan Bruintjes, Attila Lengyel
Eliciting personal values from the users to build responsible AI
Supervisors: Catholijn Jonker, Pei-Yu Chen
Estimating Intentions to Speak in Social Settings
Supervisors: Hayley Hung
Evaluating Robustness of Deep Reinforcement Learning for Autonomous Driving
Supervisors: Matthijs Spaan, Moritz Zanger
Evolutionary Intelligence for Fuzzing and Automatically Testing JavaScript Programs
Supervisors: Annibale Panichella, Mitchell Olsthoorn, Dimitri Stallenberg
Examining and evaluating agent-based social skills training systems
Supervisors: Willem-Paul Brinkman, Mohammed Al Owayyed
Exploring Automatic Translation between Affect Representation Schemes
Supervisors: Chirag Raman, Bernd Dudzik
Federated Learning: a Comparison of Methods
Supervisors: Marcel Reinders, Swier Garst
Find biological markers for human disease and allergies
Supervisors: Thomas Abeel, Eric van der Toorn, David Calderon Franco
Flexibility and (dis)aggregation in smart grids
Supervisors: Luciano Cavalcante Siebert, Sietze Kuilman
Going beyond Federated Learning
Supervisors: Bart Cox, Jérémie Decouchant
Indoor Location Sensing Using Smartphone Acoustic System
Supervisors: Qun Song
Interactive Segmentation of 3D Medical Images
Supervisors: Klaus Hildebrandt, Nicolas Chaves-de-Plaza
Investigating Inverse Reinforcement Learning from Human Behavior
Supervisors: Luciano Cavalcante Siebert, Angelo Caregnato Neto
Investigating the modelling assumptions of alert-driven attack graphs
Supervisors: Sicco Verwer, Azqa Nadeem
Literature survey on implementation techniques for type systems
Supervisors: Jesper Cockx, Bohdan Liesnikov
Mining Software Testing Knowledge
Supervisors: Andy Zaidman, Baris Ardic
Multi-Timestep Optimization with Reinforcement Learning and Bayesian Optimization
Supervisors: Matthijs Spaan, Joery de Vries
NLP and Reinforcement Learning to Generate Morally Aligned Text
Supervisors: Pradeep Murukannaiah, Enrico Liscio, Davide Mambelli
NeRF as a rendering primitive
Supervisors: Elmar Eisemann, Petr Kellnhofer, Michael Weinmann
One-Stop Code Shop: Assistance for All Languages
Supervisors: Arie van Deursen, Maliheh Izadi, Jonathan Katzy
Person identification using heart rate and activity from consumer-grade wearables
Supervisors: David Tax, Arman Naseri Jahfari, Ramin Ghorbani
Readability Assessment & Information Access
Supervisors: Maria Soledad Pera
Reconstruction of Visual Stimuli from Brain Activity using Machine Learning
Supervisors: Xucong Zhang
Revealing the Secret to Successful Virtual Meetings: How Personality, Social Skills, and More, Impact Conversational Involvement
Supervisors: Catholijn Jonker, Masha Tsfasman
Shining a Light on Material Appearance
Supervisors: Ricardo Marroquim, Yang Chen
Solve machine learning with... machine learning!
Supervisors: Sebastijan Dumančić, Tilman Hinnerichs
Squishing Giants: Compressing Language Models for Code
Supervisors: Arie van Deursen, Maliheh Izadi, Ali Al-Kaswan
Survey of Affect Representation Schemes used in Automatic Affect Prediction
Supervisors: Chirag Raman, Bernd Dudzik
TinyML-empowered Visible Light Sensing
Supervisors: Qing Wang, Ran Zhu, Mingkun Yang
Uncovering the secrets of the Maven Repository
Supervisors: Sebastian Proksch, Mehdi Keshani