13 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 | |
| Hiep, H.A. (Hans-Dieter) | New Foundations for Separation Logic | |
| Huisman, M. (Mike) | Understanding Deep Meta-Learning | |
| 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 | |
| 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 | |
| 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 | |
| Zhang, J. (Jia) | Social Network and Radical Innovation | |
