Promotores: H.W. Lenstra, K. Belabas (University of Bordeaux)

In this thesis we present several methods to automate tomographic reconstruction algorithms and several novel tomographic reconstruction algorithms with the focus on being easily applicable and efficient to use.

Promotor: Robert Tijdeman, Co-promotor: Cornelis Kraaikamp

Artificial intelligence algorithms govern in subtle, yet fundamental ways, the way we live and are transforming our societies. The promise of efficient, low‐cost or ‘neutral’ solutions harnessing the potential of big data has led public bodies to adopt algorithmic systems in the provision of public…

Structural variants (SVs) are the hidden architecture of the human genome, and are critical for us to understand diseases, evolution, and so on.

Promotor: J.N. Kok, P.E. Slagboom Co-promotor: J.F.J. Laros

This thesis covers several aspects of quantum algorithms for near-term quantum computers and its applications to quantum chemistry and material science.

Promotor: R. Tijdeman, Co-promotor: H.J.J. te Riele

Inverse problems are problems where we want to estimate the values of certain parameters of a system given observations of the system. Such problems occur in several areas of science and engineering. Inverse problems are often ill-posed, which means that the observations of the system do not uniquely…

Promotor: Prof.dr. J.N. Kok, Co-Promotor: W.A. Kosters

Quantum computing is an emerging technology, which holds the potential to simulate complex quantum systems beyond the reach of classical numerical methods.Despite recent formidable advancements in quantum hardware, constructing a quantum computer capable of performing useful calculations remains challenging.In…

Promotor: Prof.dr. J.P. Abrahams, Prof.dr. M. van Heel

Continuous optimization is never easy: the exact solution is always a luxury demand and the theory of it is not always analytical and elegant.

Quantum hardware comes with a different computing paradigm and new ways to tackle applications. Much effort has to be put into understanding how to leverage this technology to give real-world advantages in areas of interest for industries such as combinatorial optimization or machine learning.

This thesis addresses questions on effectively using variational quantum circuits for machine learning tasks.

Multi-criteria optimalisatie is een effectieve techniek voor het vinden van optimale oplossingen die een afweging bieden tussen verschillende, tegenstrijdige criteria. Het heeft zijn toepassing gevonden in de wereld om ons heen omdat bij het oplossen van praktische, re¨ele wereld problemen men gewoonlijk…

Multi-objective evolutionary computation aims to find high quality (Pareto optimal) solutions that represent the trade-off between multiple objectives.

Modern optimization algorithms offer solutions for architectural decisions like spatial, structural and energy efficiency. A young computer scientist from Leiden University co-authored a paper that won the Best Paper Award at a leading conference in Krakow during the summer.

The main topic of this PhD thesis is the Arakelov ray class group of a number field, an algebraic object that contains both the ideal class group structure and the unit group structure.

De huidige en toekomstige quantumcomputers vormen dezelfde uitdaging als de laser in zijn begindagen. In theorie werd voorspeld dat de laser een bron van zeer speciaal, zeer krachtig licht zou zijn. Maar in die tijd waren er geen duidelijke toepassingen voor. Critici van het idee noemden het een probleem…

Team Syntax Error, met Bas Nieuwenhuizen, Mathijs van de Nes, Niels ten Dijke, alle drie masterstudenten Computer Science, heeft de Benelux Algorithm Programming Contest gewonnen en heeft zich daarmee geplaatst voor de Northwestern European Regional Contest in Zweden, op 29 en 30 november.

Promotores: J.N. Kok, H.J. Hoogeboom

Het Leidse team 'Geen Syntax', bestaande uit Bas Nieuwenhuizen, Mathijs van de Nes en Raymond van Bommel, heeft in Utrecht de Benelux Algorithm Programming Contest (BAPC) 2013 gewonnen. Deze Leidse studenten wiskunde en informatica losten de 10 opgaven een uur sneller op dan alle andere teams.

This thesis involves three topics: benchmarking discrete optimization algorithms, empirical analyses of evolutionary computation, and automatic algorithm configuration.

Carlotta Rigotti (postdoc onderzoeker bij eLaw) en Dr Eduard Fosch-Villaronga (universitair hoofddocent bij eLaw) presenteerden tijdens de 'Algorithms For Her?' conferentie over het Horizon Europe BIAS-project. Zij bespraken hun voorlopige bevindingen over eerlijkheid en vooroordelen van AI-toepassingen…

Promotor: H.W. Lenstra

This thesis is a collection of theoretical works aiming at adjusting quantum algorithms to the hardware of quantum computers.

Promotor: J. N. Kok, Co-promotor: A. J. Knobbe

HEPGAME is a research project that combines the world’s fastest computer algebra system for High Energy Physics equations, FORM, with insights from artificial intelligence. The name combines High Energy Physics and Games.

An algorithm is discussed to compute the exponential representation of principal units in a finite extension field F of the p-adic rationals.

In this special edition of Information Polity there is a focus on the transparency challenges of using algorithms in government in decision-making procedures at the macro-, meso-, and micro-levels.

Promotores: T.H.W. Bäck, Y. Tan, Co-promotor: M.T.M. Emmerich

Promotor: Peter Stevenhagen

The research in this thesis is focused on tomographic reconstruction based on two imaging modalities in electron microscopy.

Promotors: Prof.dr. T.H.W. Bäck, Prof.dr. B. Sendhoff (Technische Universität Darmstadt)

Promotor: S.J. Edixhoven, Co-promotor: R.S. de Jong

In this dissertation several settings in the Online Learning framework are studied. The first chapter serves as an introduction to the relevant settings in Online Learning and in the subsequent chapters new results and insights are given for both full-information and bandit information settings.

To an algebraic curve C over the complex numbers one can associate a non-negative integer g, the genus, as a measure of its complexity.

Promotor: Prof.dr. S. Portegies Zwart

The invention of neural networks marks a critical milestone in the pursuit of true artificial intelligence. Despite their impressive performance on various tasks, these networks face limitations in learning efficiently as they are often trained from scratch.

Promotores: K.J. Batenburg, B. Koren

Promotie

Lezing

In this thesis, we have studied cell images from two types of cells, including pollen grains and the immune cells, neutrophils. These images are captured using a bright field microscope and a confocal microscope.

A modern ship design process is subject to a wide variety of constraints such as safety constraints, regulations, and physical constraints.

With the dramatic growth of the image data on the web, there is an increasing demand of the algorithms capable of understanding the visual information automatically.

In this PhD-thesis several new and existing data science application are described that are particularly focused on applications for tax administrations.

This thesis has three main parts. The first part gives an algorithm to compute Hilbert modular polynomials for ordinary abelian varieties with maximal real multiplication. Hilbert modular polynomials of a given level b give a way of finding all of the abelian varieties that are b-isogeneous to any given…

Developing robust algorithms and theory for establishing cause-effect relationships from observational data that scale up to large data sets