The Evaluation of Non-Native Speech using Objective Intelligibility Metrics

By David Dobin

Performance of Objective Speech Quality Metrics on Languages Beyond Validation Data: A Study of Turkish and Korean

By Javier Perez

Investigating the Performance of MIKNN for Objective Speech Intelligibility Assessment of Dysarthric Speech

By Kruthika Reddy Kowkuntla

An Exploratory Examination of Objective Intelligibility Metrics Under Reverberant Conditions

By Mingyi Jin

Automatic understanding of meetings and negotiations

Supervisors: Stephanie Tan, Edgar Salas Giron´ es

Breaking down negotiations

By Atanas Kichukov

Gesture Recognition for Enhanced Meeting Analysis

By Atanas Semov

Meeting audio data summarization and visualization using ASR and NLP tools within the context of captured meeting data of the Shape Language

By Ella Milinovic

Evaluating modern computer vision techniques for Shape Language classification in meetings

By Sorana Stan

Computer vision for helping diagnose leprosy in Nepal

Supervisors: Jan van Gemert, Zhi-Yi Lin, Thomas Markhorst

Skin temperature measurement for diagnosing leprosy in Nepal

By Daan Posthumus

Enabling real-time leprosy diagnosis on mobile devices

By Daniel Franke

Automatic Hand Landmark Detection for Leprosy Diagnosis

By Marek Tran

Domain Adaptation for Enhancing Visual Hand Landmark Prediction AI in Infrared Imaging

By Vladimir Sachkov

Improving Hand Landmark Detection in Infrared Images for Leprosy Diagnosis Using Colorization and Image Transformations

By Zofia Rogacka-Trojak

Finding different ways to break a solver

Supervisors: Anna Latour

Breaking Weighted Model Counting Solvers Using EXTREMEgen: Generating WMC instances for fuzzing

By Bram Snelten

Methods for Evaluating the Similarity of Fuzzers for Model Counters

By Cristian Soare

Delta debugging fault-triggering propositional model counting instances: To facilitate debugging of unweighted model counters using SharpVelvet

By David Coroian

Feature-Driven SAT Instance Generation: Benchmarking Model Counting Solvers Using Horn-Clause Variations

By Vuk Jurišić

How Much Data is Enough? Learning Curves for Machine Learning

Supervisors: Taylan Turan, Cheng Yan

How does scaling a learning curve influence the curve fitting process?

By Chaan van den Oudenhoven

Starting Right: The impact of random distribution sampling of initial parameters for curve fitting learning curves

By Dan-Vlad Darie

What is the effect of Gaussian filtering applied before curve fitting?

By Ionut-Liviu Moanta

How does sample weighting improve learning curve fitting?

By Lapo den Hollander

Measuring Heart and Respiratory Rate With a Camera

Supervisors: Jorge Martinez Castaneda, Kianoush Rassels

Comparative Analysis of Motion-Based Algorithms for Estimating Infant Breathing Rates From an RGB-Camera

By Demetra Carata-Dejoianu

Computational Requirements for Video-Based Heart Rate Measurement Algorithms

By Romir Kulshrestha

Measuring Heart Rate With an RGB Camera For Real-Time General Health Monitoring

By Vladimir Pechi

Physics-Informed Neural Networks for Environmental Insights

Supervisors: Jing Sun, Tiexing Wang, Alexander Heinlein

The impact of different methods of gradient descent on the spectral bias of physics-informed neural networks

By Alexander van den Arend Schmidt

Physics-Informed Neural Networks with Adaptive Sampling for Option Pricing

By Hidde Agterberg

Analyzing the Impact of Adaptive Weighting in Self-Adaptive Physics-Informed Neural Networks for Solving PDEs

By Jakub Mańkowski

Activation function trade-offs for training efficiency of Physics-Informed Neural Networks used in solving 1D Burgers’ Equation

By Rareș Mihail

Propagators for Constraint Programming 1

Supervisors: Emir Demirović, Maarten Flippo

Evaluating the usefulness of Global Cardinality constraint propagators in Lazy Clause Generation

By David Thomas Rockenzahn Gallegos

Improving propagation of the inverse constraint in lazy clause generation solvers

By Grigrory prikazchikov

Explanation-Based Propagators for the Table Constraint

By Markas Aisparas

Lazy Clause Generation for Bin Packing

By Melvin de Kloe

Quantum Communication Complexity on Near-Term Networks

Supervisors: Tzula Propp

Quantum Communication Complexity on Near-Term Networks

By Tom Jacobs

Testing Byzantine Fault Tolerant Protocols

Supervisors: João Miguel Louro Neto, Dr. Burcu Kulahcioglu Özkan

Testing the ”Fast Byzantine Consensus” Protocol

By Alexandra Căruţaşu

Testing Byzantine Fault Tolerant Algorithms

By Antoni Nowakowski

Evaluating the correctness and safety of hBFT with ByzzFuzz

By Attila Birke

Testing Zyzzyva

By Ishan Pahwa

Implementing and Preforming Randomized Tests on the HotStuff BFT Protocol

By Lubomir Marinski

What if fanfiction, but also coding: Investigating cultural differences in fanfiction writing and reviewing with machine learning methods

Supervisors: Hayley Hung, Chenxu Hao, Ivan Kondyurin

Fanfiction & Feminism & AI: Unveiling Sociopolitical Reflections in Character Portrayals

By Irina-Ioana Marinescu

Exploring Genre Preferences and Audience Engagement in Multilingual Fanfictions

By Javina Ye

The impact of emotional journeys on fanfiction popularity

By Julian van der Weijden

Fine Tuning a BERT-based Pre-Trained Language Model for Named Entity Extraction within the Domain of Fanfiction

By Nathan Kindt

What if fan-fiction, but also coding

By Rohan Cyr Lambert

“We need to learn how to teach Machine Learning” (by Amy J. Ko)

Supervisors: Gosia Migut, Ilinca Rențea

Knowledge Retention and Mathematical Foundations in Machine Learning Education

By Carina Oprean

Machine Learning for Everyone: Exploring Diverse Pedagogical Approaches for Non-CS Students

By Ghiyath Alaswad

Learning Machine Learning: A Comparative Study of Aerospace Engineering and Computer Science Students

By Junwon Yoon

Learning Machine Learning: A Comparative Study of Industrial Design and Computer Science Students

By Beopgi Jo

Advantages of Prior Mathematical Knowledge for Studying Machine Learning

By Oisín Hageman