Kunnen we bewijzen of een groot quantumsysteem zich echt gedraagt volgens de vreemde regels van de quantummechanica – of alleen maar doet alsof? Een team van natuurkundigen van de Universiteit Leiden en uit China vond in een baanbrekende studie het antwoord op deze vraag.

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…

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

Promotie

Promotie

Promotie

Wat is quantum nou eigenlijk? Tja, probeer dat maar eens in begrijpelijke taal uit te leggen. In diverse regionale kranten doet wiskundige Peter Bruin een poging. ‘Om quantum te begrijpen, moet je tegen je intuïtie in denken. Daar is ons brein niet voor gemaakt.’

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.

Lezing

Effective policy-making requires understanding what truly causes a problem. Only then can policymakers develop targeted interventions that achieve desired outcomes.

Ze ontwikkelt algoritmes die toonaangevende optimalisatietechnieken overtreffen en breed toepasbaar zijn. Het team van Niki van Stein krijgt hiervoor de GECCO Humies Award. ‘Met onze methode kunnen we voor diverse apps algoritmes maken en doorontwikkelen die beter zijn dan de huidige.’

Vedran Dunjko benoemd tot hoogleraar quantumcomputing aan de Universiteit Leiden, Nederland.

Quantumsoftware is essentieel om quantumtechnologie te laten werken. De onderzoekscentra QuSoft en aQa werken samen aan de frontlinie van het Nederlandse onderzoek naar quantumsoftware. Met de lancering van de Quantum Software Alliance (QSA) schaalt deze samenwerking nu wereldwijd op.

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.

Een grote beurs voor onderzoek naar ‘machine learning’ algoritmes voor quantumcomputers. Met deze ERC Consolidator-beurs hopen Vedran Dunjko en zijn collega’s te ontdekken welke problemen uit de echte wereld een quantumcomputer sneller kan oplossen dan een normale.

Hoe weten we waar een quantumcomputer goed voor is, terwijl die nog niet gebouwd is? Dat onderzocht promovendus Casper Gyurik door twee begrippen die je vaak hoort te combineren: quantum computing en machine learning.

Lezing, Digital Archaeology Group