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…

In this thesis, topics relating to the optimization of high-throughput pipelines used for imaging are discussed. In particular, different levels of implementation, i.e., conceptual, software, and hardware, are discussed and the thesis outlines how advances on each level need to be made to make gains…

This thesis covers various applications of topology in condensed matter physics and quantum information.

Promotor: Prof.dr. M. Ubbink

Lezing

Computers zijn in staat om ongelooflijk nauwkeurige voorspellingen te doen op basis van machine learning. Met andere woorden, deze computers kunnen zonder tussenkomst leren als ze eenmaal door mensen zijn voorgeprogrammeerd. Bij LIACS verkennen en verleggen we de grenzen van wat een revolutionaire nieuwe…

Het team Prime Suspects van de Universiteit Leiden is net als vorig jaar eerste geworden bij het Benelux Kampioenschap programmeren. Na een spannende wedstrijd bleef het team concurrenten uit Groningen (tweede) en Utrecht (derde) voor.

In 2018, the number of mobile phone users will reach about 4.9 billion. Assuming an average of 5 photos taken per day using the built-in cameras would result in about 9 trillion photos annually.

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.

The next generation of high-contrast imaging instruments on space-based observatories requires sophisticated wavefront sensing and control in addition to a high-performance coronagraph.

Promotor: Prof.dr. K.J. Batenburg

This thesis consists of two main parts. The first part (Chapters 2 and 3) deals with a class of Markov process called Quasi-Skipfree (QSF) processes.

Promotor: T. Hankemeier, Co-Promotores: T. Reijmers, L. Coulier

In this thesis, we use low-frequency and high-frequency radio observations to address the following questions regarding quasars: is the radio loud/quiet quasar dichotomy real?

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.

Promotor: Prof.dr. V. Icke, Co-Promotor: T.I. Madura

With the help of quantum mechanics, digital quantum hardware may be able to tackle some of the problems that are too difficult for ordinary computers. But despite these expectations and the ongoing effort of the research community, reliable quantum computers are not yet realized in a lab setting.

Promotores: C. J. ten Cate; M. A. Ainslie. Co-promotor: W. Slabbekoorn

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.

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.

Algoritmen ontwerpen is een van de onderzoeksonderwerpen waar Leiden sterk in is. Want supercomputers moeten niet alleen gebouwd worden, maar ook geprogrammeerd. Wetenschappers van internationale faam doen hier onderzoek naar.

The unit residue group, to which the present thesis is devoted, is defined using the norm-residue symbol, which Hilbert introduced into algebraic number theory in 1897.

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.

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

Promotor: Prof.dr. S.F. Portegies Zwart

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

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.

Studium Generale organiseert academische activiteiten, zoals lezingen, symposia, theatervoorstellingen, filmvertoningen en debatten voor een breed publiek. Het programma van Studium Generale wil vragen stellen en verdieping bieden. Iedereen is welkom, zowel studenten, medewerkers als mensen van buiten…

Lezing

Het Quantum Delta NL-programma, waaraan de Universiteit Leiden deelneemt, krijgt 615 miljoen euro uit het Nationaal Groeifonds om Nederland te ontwikkelen tot een koploper in quantumtechnologie. Dit werd vandaag bekend gemaakt bij de presentatie van de winnende voorstellen in Den Haag.

Healthcare Information Systems (HIS) are essential for modern healthcare delivery, yet their development faces significant challenges including heterogeneous data formats, regulatory compliance, and the growing demand for AI-driven decision support.

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

Over several decades, a variety of computational methods for drug discovery have been proposed and applied in practice. With the accumulation of data and the development of machine learning methods, computational drug design methods have gradually shifted to a new paradigm, i.e. deep learning methods…

On a structural level, the properties featured by a majority of mechanical metamaterials can be ascribed to the finite number of soft internal degrees-of freedom allowing for low-energy deformations.

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

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…

Het onderzoek binnen de Faculteit der Wiskunde en Natuurwetenschappen omvat de disciplines wiskunde, informatica, sterrenkunde, natuurkunde, scheikunde, bio-farmaceutische wetenschappen, biologie en milieuwetenschappen.

Computers zijn in staat om ongelooflijk nauwkeurige voorspellingen te doen op basis van machine learning. Met andere woorden, deze computers kunnen zonder tussenkomst leren als ze eenmaal door mensen zijn voorgeprogrammeerd. Bij LIACS verkennen en verleggen we de grenzen van wat een revolutionaire nieuwe…

Microcredentials maakt onderwijs voor u als professional nóg toegankelijker. Volgt u een module van 3 tot 30 EC (studiepunten), dan ontvangt u na afronding van het onderwijs een microcredential. Dit digitale certificaat wordt erkend door 22 hogescholen en 12 universiteiten.

Leiden Institute of Advanced Computer Science (LIACS)

Prof.dr. P. Stevenhagen, Prof.dr. K. Belabas (Universite Bordeaux I)

De Hans Franken is een eerbetoon aan prof. dr. mr. Hans Franken, één van de oprichters van eLaw in 1985.