For optimization problems, it is often unclear how to choose the most appropriate optimization algorithm. As such, rigorous benchmarking practices are critical to ensure we can gain as much insight into the strengths and weaknesses of these types of algorithms.

In this work, we attempt to answer the question:

Promotores: Prof.dr. F.S. de Boer, Prof.dr. J.J.M.M. Rutten (Radboud Universiteit Nijmegen)

Big Science, commonly defined as conventional science made big in three dimensions, namely organizations, machines, and politics, brings a plethora of different stakeholders together, often for a long period of time. This includes policymakers, scientists, (scientific) managers as well as local “host”…

Promotores: Prof.dr. J.N. Kok, Prof.dr. M.R.V. Chaudron (Chalmers Univ., Sweden)

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.

A New Technology-Based Firm (NTBF) is a significant enabler of job creation and a driver of the economy through stimulating innovation.

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.

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

Promotores: T.H.W. Bäck, A. Plaat, Co-promotor: F.J. Verbeek

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.

This thesis manuscript explores the use of video games as tools for conceptual exploration and academic research.

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.

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…

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

Divide & Quantum (D&Q) biedt verschillende oplossingen om de kracht van quantumcomputers op korte termijn te benutten, en stelt volledige pipelines voor, van theoretisch onderzoek, via implementatie tot real-world case studies in verschillende disciplines, tot wetenschapscommunicatie naar een bredere…

AI Labs zijn samenwerkingen van de Universiteit Leiden met externe partner zoals bedrijven, overheidsinstellingen en andere universiteit op het gebied van kunstmatige intelligentie. De Faculteit voor Wis-en Natuurkunde is uniek gesitueerd op het grootste Bioscience Park van Nederlands, en ligt direct…

DSE 2.0: Naar een optimaal ontwerp van complexe, gedistribueerde cyber-fysieke systemen

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

Throughout the history of computer science, a major challenge has been how to assert that software is free of bugs and works as intended. Software bugs can lead to serious negative impacts on any software system. Throughout the main body of the thesis, we implemented a series of studies on exploring…

It is a common technique in global optimization with expensive black-box functions to learn a surrogate-model of the response function from past evaluations and use it to decide on the location of future evaluations.

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⁠.

Promotor: Ed F. Deprettere, Co-promotor: Todor P. Stefanov

Over the last decades, aviation safety has improved strongly. As a downside, airline pilots do not have as many opportunities to develop through experience the competencies that they need in critical situations.

Dit interdisciplinair onderzoeksproject verkent verschillende adaptieve machine-learning methoden die inzicht kunnen geven in de interactie tussen mens en machine. Het uiteindelijke doel is een open en natuurlijke communicatie tussen mens en AI die moet resulteren in wederzijds vertrouwen, samenwerking…

De verandering van een gesloten instelling naar een open leefomgeving voor patiënten met een laat stadium van dementie zal de patiënten meer vrijheid geven in hun dagelijks leven. Het effect van deze verandering op de mobiliteit van de patiënten, hun activiteiten en hun interactie met anderen zal worden…

Interactive exploration of large volumes of data is increasingly common, as data scientists attempt to extract interesting information from large opaque data sets. This scenario presents a difficult challenge for traditional database systems, as (1) nothing is known about the query workload in advance,…

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

Tomography is a powerful technique to non-destructively determine the interior structure of an object.Usually, a series of projection images (e.g.\ X-ray images) is acquired from a range of different positions.

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…

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

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

Humans perceive the real world through their sensory organs: vision, taste, hearing, smell, and touch. In terms of information, we consider these different modesalso referred to as different channels of information or modals.

In this thesis we will explore the use of fuzzy systems theory for applications in bioinformatics.

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

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.

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

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

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.

Promotor: Prof.dr. T.H.W. Bäck

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

We strive to address the challenge of constructing a modeling language to write software which can take advantage of recent hardware developments (multicore, cloud) without compromising in its abstraction levels.

Modeling and analysis of cyber-physical systems are still challenging. One reason is that cyber-physical systems involve many different parts (cyber or physical), of different nature (discrete or continuous), and in constant interaction via sensing and actuating.

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.

This thesis investigates how quantum, quantum-inspired, and hybrid quantum-classical computation can enhance key points of the automated machine learning (AutoML) pipeline under the constraints of noisy intermediate-scale quantum (NISQ) devices.

Promotor: F.S. de Boer Co-promotor: P. T. de Gouw

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

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

Humans can see the world through the eyes of other humans and imagine what they know, want, and intend. This competence is known as Theory of Mind.

In this thesis it is posed that the central object of preference discovery is a co-creative process in which the Other can be represented by a machine. It explores efficient methods to enhance introverted intuition using extraverted intuition's communication lines.