19 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 | |
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 | |