21 entries found.
| Student |
Thesis |
Content |
| Bian, J. (Jinting) | Reasoning about Object-Oriented Programs: From Classes to Interfaces | |
| Bossema, F.G. (Francien) | Tailoring X-Ray Tomography Techniques for Cultural Heritage Research | |
| Chu, W. (Wenjing) | Automata Learning: from Probabilistic to Quantum | |
| Feng, H. (Hui) | Formal Models of Software-Defined Networks | |
| Gyurik, C.F.S. (Casper) | Computational Speedups and Learning Separations in Quantum Machine Learning | |
| Helwerda, L. (Leon) | Grip on Software: Understanding Development Progress of SCRUM Sprints and Backlogs | |
| Hiep, H.A. (Hans-Dieter) | New Foundations for Separation Logic | |
| Huisman, M. (Mike) | Understanding Deep Meta-Learning | |
| Javanmardi, S. (Shima) | From Pixels to Patterns: AI-Driven Image Analysis in Multiple Domains | |
| Kocaman, V. (Veysel) | Learning From Small Samples | |
| Kurchaba, S. (Solomiia) | Machine Learning-Based NO2 Estimation From Seagoing Ships Using TROPOMI/S5P Satellite Data | |
| Li, C. (Chen) | Aspects of the Analysis of Cell Imagery: from Shape to Understanding | |
| Nguyen, D.A. (Anh) | Efficient Tuning of Automated MAchine Learning Pipelines | |
| Rüland, A.L. (Anna-Lena) | Who Gets What, When and How? An Analysis of Stakeholder Interests and conflicts in and Around Big Science | |
| Schoonhoven, R. (Richard) | On the Optimization of Imaging Pipelines | |
| Thomaser, A. (André) | Algorithm Design for Mixed-Integer Black-Box Optimization Problems with Uncertainty | |
| Vinkenoog, M. (Marieke) | Data-Driven Donation Strategies, Understanding and Predicting Blood Donor Deferral | |
| Wang, C. (Can) | Automated Machine Learning for Dynamic Energy Management using Time-Series Data | |
| Winter, R. (Roy) de | Efficient Constraint Multi-Objective Optimization with Applications in Ship Design | |
| Yang, L. (Lincen) | Information-Theoretic Partition-Based Models for Interpretable Machine Learning | |
| Zhang, J. (Jia) | Social Network and Radical Innovation | |
