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

Constraint multi-objective optimization with a limited budget for function evaluations is challenging. This thesis tackles this problem by proposing new optimization algorithms. These algorithms are applied on holistic ship design problems. This helps naval architects balance objectives like cost, efficiency,…

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

Promotores: S.J. Edixhoven, P.Parent

Computers worden steeds krachtiger en krijgen steeds ingewikkelder taken. Het Leiden Institute of Advanced Computer Science (LIACS) doet baanbrekend wetenschappelijk onderzoek en past nieuwe vindingen toe in actuele maatschappelijke vraagstukken.

Lezing

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.

Promotor: Prof.dr. J.P. Abrahams, Co-Promotor: N.S. Pannu

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: H.W. Lenstra

Promotor: F. Arbab, R. De Nicola, Co-Promotor: M. Tribastone

Promotor: K.H. Kuijken

Promotor: S.J. Edixhoven, L.D.J. Taelman

Promotor: S.J. Edixhoven

This thesis mainly focuses on multimodal understanding and Visual Question Answering (VQA) via deep learning methods. For technical contributions, this thesis first focuses on improving multimodal fusion schemes via multi-stage vision-language interactions.

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.

Lezing

The thesis is part of a bigger project, the HEPGAME (High Energy Physics Game). The main objective for HEPGAME is the utilization of AI solutions, particularly by using MCTS for simplification of HEP calculations.

Leiden Institute of Advanced Computer Science (LIACS)

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

Promotor: Prof.dr. P. Stevenhagen, Co-promotor: B. de Smit

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 describes the Multi-site All-Sky CAmeRA (MASCARA), which consists of two small robotic telescope designed to detect exoplanets around the brightest stars in the sky.

With tomography it is possible to reconstruct the interior of an object without destroying.

Promotor: Prof.dr. C.W.J. Beenakker

Promotor: K.J. Batenburg, Co-promotor: A.W. van der Vaart, B. de Smit

One of the key limitations of the direct imaging of exoplanets at small angular separations are quasi-static speckles that originate from evolving non-common path aberrations (NCPA) to which the primary adaptive optics system is inherently blind. The main focus of this thesis is the development and…

This monograph focuses on clustering of objects in high-dimensional data, given the restriction that the objects do not cluster on all the attributes, not even on a single subset of attributes, but often on different subsets of attributes in the data.

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.

Door individuele gezondheidsgegevens te vergelijken met groepsdata, kunnen artsen advies op maat geven en kunnen patiënten leren van elkaars ervaringen. Wessel Kraaij, hoogleraar Applied Data Analytics, laat zien hoe persoonlijke data een voorspellende waarde kunnen hebben.

Promotor: I. Snellen, Co-Promotor: M. Kenworthy

Quantum annealing belongs to a family of quantum optimization algorithms designed to solve combinatorial optimization problems using programmable quantum hardware. In this thesis, various methods are developed and tested to understand how to formulate combinatorial optimization problems for quantum…

Met Natural Computing worden natuurlijke algoritmes en verschijnselen onderzocht om bijvoorbeeld computersystemen te innoveren.

In this thesis we study the moduli space of genus g curves, and the differential forms that occur naturally on this moduli space.

Het Algorithms and Software Technology (AST) onderzoeksprogramma voert onderzoek uit op het gebied van algoritme-ontwerp en analyse.

Viral diseases constitute one of the major challenges in modern medicine. Membrane-targeting have broad-spectrum potential and could distinguish viral membranes from the host cell plasma membrane by the difference in membrane curvature.

Wil je je professioneel verder ontwikkelen met flexibel en erkend onderwijs? Via de microcredentials van de Faculteit Wiskunde en Natuurwetenschappen (FWN) van de Universiteit Leiden volg je losse cursussen op universitair niveau, zonder dat je een volledige opleiding hoeft te doen.

Less than 1 in 10 drug candidates that enter phase 1 clinical trials actually gets approved for human use.

Informatici Yu Liu, Yanming Guo en Michael Lew van de Universiteit Leiden zijn een stap dichterbij hun ultieme doel: zoekmachines met visuele herkenning. Hun publicatie van een nieuw algoritme voor het samenvoegen van multi-scale deep learning representaties is met groot enthousiasme ontvangen. Geen…

We show that Kirchhoff ’s law of conservation holds for non-commutative graph flows if and only if the graph is planar. We generalize the theory of (Euclidean) lattices to infinite dimension and consider the ring of algebraic integers as such a lattice.

The formation of stars and planets happens over multiple scales, which can interact. In particular, planet formation happens in the dense, complex environment of star forming regions.

Algemene contactinformatie

This thesis is is made of three parts. The first part describes a generalization of the Chabauty's method, that can be used to determine the rational points of a curve such that s+g>r+1, where g is the genusof the curve, r is the rank of the Mordell-Weil group of the jacobian of the curve and s is…

This thesis advances automata learning, a key area in computer science, with applications in software verification, biological analysis, and autonomous technologies. It explores three main themes: first, it introduces a passive learning algorithm for generating compact probabilistic models from positive…

Uncertainty and noise are frequently-encountered obstacles in real-world applications of numerical optimization. The practice of optimization that deals with uncertainties and noise is commonly referred to as robust optimization.

Automated Machine Learning (AutoML) is widely used to automatically build a suitable practical Machine Learning (ML) model for an arbitrary real-world problem, reducing the effort of practitioners in the ML development cycle for real-world applications. Optimization is a key part of a typical AutoML…