Lezing

Sterrewacht Leiden is het sterrenkundig instituut van de Faculteit der Wiskunde en Natuurwetenschappen van de Universiteit Leiden.

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.

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…

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…

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.

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,…

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.

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

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.

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

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.

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

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

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.

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

This thesis investigates the contribution of quantum computers to machine learning, a field called Quantum Machine Learning. Quantum Machine Learning promises innovative perspectives and methods for solving complex problems in machine learning, leveraging the unique capabilities of quantum computers…

Promotor: Prof.dr.ir. E. Deprettere

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

In dit project gebruiken we sociale netwerkanalyse om het gedrag van gebruikers op online fora en bijbehorende marktplaatsen in de tijd te analyseren.

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 PhD-thesis several new and existing data science application are described that are particularly focused on applications for tax administrations.

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

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

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

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

This thesis investigates the application of deep learning techniques in image analysis across various domains, focusing on four main themes: feature extraction, classification, segmentation, and integration, demonstrating the transformative potential of these technologies.

De Universiteit Leiden heeft onderzoeksinstituten gevestigd in Leiden en Den Haag.

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

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

Het Gorlaeus Gebouw wordt in drie fasen gerealiseerd. Het nieuwe gebouw is medio 2028 helemaal gereed.

Vroege opsporing van gezondheidsrisico's Landbouwvoedingsmiddelen variëren van nature in hun gedetailleerde interne structuur. Om de vroege opsporing van gezondheidsrisico's als gevolg van besmetting of ziekten te vergemakkelijken, de rijpheid te voorspellen en de verspilling te minimaliseren, is het…

Video games have emerged as one of the most interesting media of the turn of the century. The peculiar characteristic of video games is the biunivocal interaction between the computer and the human player.

Promotores: J. Kok, M. Chaudron (Chalmers University)

This dissertation explores how we can make anomaly detection—identifying unusual or faulty behavior in complex systems—more trustworthy and effective, with a focus on smart manufacturing.

Promotores: Prof.dr. T.H.W. Bäck, Prof.dr. M.R.V. Chaudron, Co-Promotor: M.T.M. Emmerich

Hybride intelligentie (HI) is de combinatie van menselijke en machinale intelligentie, waarbij het menselijk intellect wordt uitgebreid in plaats van vervangen. HI houdt rekening met de menselijke expertise en intentionaliteit bij het nemen van zinvolle beslissingen en het uitvoeren van passende acties,…

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…

A P300-based Brain Computer Interface character speller, also known as P300 speller, has been an important communication pathway, under extensive research, for people who lose motor ability, such as patients with Amyotrophic Lateral Sclerosis or spinal-cord injury because a P300 speller allows human-beings…

The development process of any software has become extremely important not just in the IT industry, but in almost every business or domain of research.

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.

Machine Learning is becoming a more and more substantial technology for industry.

Promotores: Prof.dr. T.H.W. Bäck, Prof.dr. M. Bongards (Cologne University)

Promotor: F.S. de Boer, Co-promotor: M.M. Bonsangue

Promoter: Ed F. Deprettere, Co-promoter: Todor P. Stefanov

Cyberaanvallen, privacygerelateerde problemen of storingen in het functioneren: veel technologieën die dagelijks worden gebruikt, kennen beveiligingsproblemen die worden opgelost als de software al in gebruik is. Een interdisciplinair project, waarin Olga Gadyatskaya, Harry Wijshoff, Alex Uta en Kristian…

Learning from small data sets in machine learning is a crucial challenge, especially when dealing with data imbalances and anomaly detection. This thesis delves into the challenges and methodologies of learning from small datasets in machine learning, with a particular focus on addressing data imbalances…

Tijdens dit project wordt een app over stress ontwikkeld en geëvalueerd. De app heeft drie functies: een informerende, preventieve en herstellende/curatieve functie.

In design optimization problems, engineers typically handcraft design representations based on personal expertise, which leaves a fingerprint of the user experience in the optimization data. Thus, learning this notion of experience as transferrable design features has potential to improve the performance…