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

Lezing

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.

Building a Deep Cross-media Transfer Network to extract visual relations that relieve the problem of insufficient training data for visual tasks.

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

Industrial manufacturing processes, such as the production of steel or the stamping of car body parts, are complex semi-batch processes with many process steps, machine parameters and quality indicators.

Promotor: Prof.dr. E. Deprettere

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

Systems are called real-time systems, if the correctness of the system does not only depend on the correctness of the system output but also on whether the output is delivered on time.

Promotor: Prof.dr. B.R. Katzy, Prof.dr. H.J. van den Herik, Prof.dr. G.H. Baltes (University of Applied Sciences Konstanz)

Business Process Model and Notation (BPMN) has become the standard for business processes diagrams.

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.

Mining time series is a machine learning subfield that focuses on a particular data structure, where variables are measured over (short or long) periods of time.

Promotor: Prof.dr. B.R. Katzy

SuperCode: Sustainability PER AI-driven CO-DEsign

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.

This thesis seeks to combine two different research topics; Multi-Objective Optimization and Complex Network Analysis.

Optimization tasks in practice have multifaceted challenges as they are often black box, subject to multiple equality and inequality constraints and expensive to evaluate.

Promotor: F. Arbab

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