This thesis is about augmented reality (AR). AR is commonly considered a technology that integrates virtual images into a user’s view of the real world.

Real-life processes are characterized by dynamics involving time. Examples are walking, sleeping, disease progress in medical treatment, and events in a workflow.

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

The Divide & Quantum (D&Q) project offers various solutions to harness the power of quantum computers in the near term, proposing entire pipelines, from theoretical research, via implementation to real-world case studies in a number of disciplines, to science communication with the broader society.…

We present an extensive study of methods for exactly solving stochastic constraint (optimisation) problems (SCPs) in network analysis. These problems are prevalent in science, governance and industry.

Including modelling as part of software development appears to have various benefits.

PhD candidates carry out a programme of independent research and additional (limited) course work, culminating in production of a PhD thesis in typically 4 years.

Sewer pipes are an essential infrastructure in modern society and their proper operation is important for public health. To keep sewer pipes operational as much as possible, periodical inspections for defects are performed.

Predictive maintenance (PdM) is a maintenance policy that uses the past, current, and prognosticated health condition of an asset to predict when timely maintenance should occur.

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

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

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.

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

Natural history collections provide invaluable sources for researchers with different disciplinary backgrounds, aspiring to study the geographical distribution of flora and fauna across the globe as well as other evolutionary processes.

SDN (Software-Defined Networking) represents a revolutionary approach to network architecture that enables the dynamic and flexible management of network resources through software-based control. This dissertation introduces the idea of SDN and its southbound protocol OpenFlow, then presents the formal…

Image segmentation is a fundamental task in computer vision, with applications ranging from medical diagnostics to archaeological research.

Promotores: J.J.M.M. Rutten, F.S. de Boer, Co-promotor: M.M. Bonsangue

This dissertation explores how Large Language Models (LLMs) can effectively and responsibly contribute to complex decision-making processes. By combining AI and human intelligence, Hybrid Intelligence (HI) emerges, allowing the strengths of both humans and machines to be utilized.

Promotores: Prof.dr. J.N. Kok, Prof.dr. M.R.V. Chaudron, Co-Promotor: P. van der Putten

Prematurely born neonates require, amongst others, pharmaceutical therapy. Dosing guidelines for these therapies are often based on data from term born neonates or older infants, while these are not necessarily similar to prematurely born neonates.

Visualizing the internal structure is a crucial step in acquiring knowledge about the origin, state, and composition of cultural heritage artifacts. Among the most powerful techniques for exposing the interior of cultural heritage objects is computed tomography (CT), a technique that computationally…

Promotores: Prof.dr. J.N. Kok, Prof.dr. C.A. Mandemakers, Co-Promotor: G. Bloothooft

We have studied shape with a particular focus on the zebrafish model system. The shape is an essential appearance of the phenotype of a biological specimen and it can be used to read out a current state or response or to study gene expression.

Addressing loneliness faced by students with special needs and aiming to sense the dynamics and perceptions of students during unstructured school time.

Promotor: F. Arbab

This thesis applies data mining in commercial settings in the telecommunications industry.

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

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

Promotor: Prof.dr. B.R. Katzy, Co-promotor: R. Ortt

Promotor: Prof.dr. F.S. de Boer

Promotor: E.F.A. Deprettere, Co-Promotor: A.C.J. Kienhuis

This thesis addresses the problem of designing performance and energy efficient embedded streaming systems, that is, systems which process a stream of input data coming from the environment and generate a stream of output data going into the environment.

Promotores: Prof.dr. B.R. Katzy, Prof.dr. K. Sailer (Munich University)

Technologies that help to enhance our educational environments can be found everywhere.

Promotor: H.J. van den Herik, B.R. Katzy, Co-promotor: K. Sailer

Promotor: J.N. Kok, Co-promotor: M.S. Lew

Mission statement

By training with virtual opponents known as computer generated forces (CGFs), trainee fighter pilots can build the experience necessary for air combat operations, at a fraction of the cost of training with real aircraft.

In this work, we attempt to answer the question:

A common method to solve expensive function evaluation problem is using Bayesian Global Optimization, instead of Evolutionary Algorithms.

AI Labs are collaborations of Leiden University with external parties such as industry, governmental parties and other universities on the topic of Artificial Intelligence. The Science institutes of Leiden University are unique located in the largest Bioscience Park of the Netherlands, next door to…

Optical projection tomography (OPT) is a tomographic 3D imaging technique used for specimens in the millimetre scale.

Radiography is an important technique to inspect objects, with applications in airports and hospitals. X-ray imaging is also essential in industry, for instance in food safety checks for the presence of foreign objects.

Promotor: Prof.dr. F.S. de Boer, Co-promotor: D. Clarke

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

The increasing competition in the automotive industry requires the tailored, swift development of technologically sophisticated vehicles. Therefore, the computationally expensive state-of-the-art simulation technologies are combined with optimization algorithms. An example of a real-world optimization…

Leiden University research institutes based in Leiden and The Hague.

This thesis introduces a relational interaction model and a practical tool for describing, visualising and generating interactive dialogues.

Combinatorial games are games for two competing players, moving in a turn-by-turn fashion, in which there is no chance nor hidden information⁠. Chess, checkers and the simpler tic tac toe are well-known examples of this class of games, as well as game of go⁠.

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