Aan de Universiteit Leiden werken wetenschappers uit alle disciplines samen om antwoorden te vinden en om te innoveren op het gebied van kunstmatige intelligentie.

The NET-ROL project builds on the EU's definition of the rule of law to investigate the role of networks in law-making, executive decision-making, and the judiciary. It examines how these networks influence the weakening of the rule of law. Through an interdisciplinary perspective, the project explores…

Lezing

Promotie

This thesis surveys the intersection of computed tomography (CT) and machine learning (ML), treating CT as an ill-posed inverse problem shaped by object properties, imaging physics, and data limitations.

Wist je dat algoritmes kunnen helpen bij het voorkomen van luchtvervuiling en het zinken van schepen in zee? Een team van onderzoekers van de Universiteit Leiden heeft samen met het Nederlandse ministerie van Infrastructuur en Waterstaat onderzoek gedaan naar datagedreven inspectie van schepen. In dit…

Het bewijs dat een quantumcomputer sneller is dan een normale is een stap dichterbij gekomen. Na een doorbraak in het versnellen van klassieke algoritmen, toonden onderzoekers Vedran Dunjko en Casper Gyurik aan dat slechts één quantumalgoritmen zijn klassieke tegenhanger kon verslaan. Ze vertellen over…

Verbeteren van pandemische paraatheid via een gezamenlijk privacy-by-design datamodelleringsplatform.

Onderzoeken hoe gegevens afkomstig van draagbare technologieën kunnen worden gebruikt om effectieve gedragsveranderingen te identificeren die hopelijk zullen leiden tot gezondheidsverbeteringen.

Creëren van een framework voor de schatting van milieuparameters.

Naast het speuren door vrijwilligers loopt er ook onderzoek naar de inzet van kunstmatige intelligentie bij de zoektocht naar onontdekte archeologische structuren.

Als wetenschappelijke partner biedt het Sport Data Center (sport)organisaties een aantal diensten.

In the traditional theory of linear elasticity, superposition dictates that the response of a material does not depend on the sequence of the applied mechanical actuations.

Quantum computers are a proposed fundamentally new type of computer. They aim to perform some computations much faster than previously possible by exploiting phenomena at the quantum scale, called superposition and entanglement.

Deze minor maakt je bewust van de meest relevante en actuele digitale technologie en leert je hoe je nieuwe technologische ontwikkelingen kunt reguleren. Daarnaast leer je juridische vraagstukken op het gebied van regulering van het internet te herkennen, analyseren en oplossen.

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.

We denken er nooit aan, totdat ze kapotgaan en dan is het meteen ook een héél groot probleem: onze riolen. Het onderhoud daarvan kan een stuk nauwkeuriger en sneller, ontdekte promovendus Dirk Meijer. Algoritmen blijken ook diep onder de grond een uitkomst.

Promotie

Zelfdenkende computers: hoe slim zijn ze, en vormen ze een gevaar voor de samenleving? Drie experts gaven op 9 februari hun mening hierover in Trouw. Een van de experts is hoogleraar Data science Aske Plaat. ‘Ik heb nog nooit een intelligent systeem gezien dat iets tegen de wil van de mens deed.’

De pas gepromoveerde Hao Wang van het Leiden Institute of Advanced Computer Science leert computers hoe je problemen in het dagelijks leven kunt oplossen. Zijn doel is om het proces van probleemoplossing efficiënter te maken. Op 1 november promoveerde hij met het predicaat cum laude. ‘Ik hoop moeilijke…

Een unieke multicenter studie, waarbij ongeveer 3500 jongeren tussen 10 en 25 jaar oud uit verschillende continenten werden onderzocht, laat zien dat kunstmatige intelligentie - specifiek machine learning - in staat is om individuele jongeren met angststoornissen te identificeren aan de hand van hun…

Het merendeel van de wetenschappers, van archeologen tot zoölogen, verzamelt enorme hoeveelheden gegevens. Hun databanken bevatten grote hoeveelheden informatie die voor de mens moeilijk te filteren zijn. Met een stevige basis in de statistiek en de computerwetenschappen kunnen we algoritmes ontwikkelen…

Bij de bacheloropleiding Informatica aan de Universiteit Leiden behandel je zowel abstracte wiskundige vraagstukken als ook praktisch georiënteerde zaken zoals programmeren en het ontwerpen van computerprogramma’s. Hierbij leer je informatiestructuren analyseren en herkennen, en leer je ingewikkelde…

For optimization problems, it is often unclear how to choose the most appropriate optimization algorithm. As such, rigorous benchmarking practices are critical to ensure we can gain as much insight into the strengths and weaknesses of these types of algorithms.

Promotor: J.N. Kok, Co-promotor: C.M. Soares, A.J. Knobbe

In this thesis we investigate cosmology and the large scale structure of the Universe using cosmological simulations.

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.

This dissertation is about Bayesian learning from data. How can humans and computers learn from data?

De programmagroep Onderzoeksmethoden en statistiek biedt ondersteuning aan onderzoekers uit veel verschillende onderzoeksprojecten binnen het instituut Pedagogische Wetenschappen.

Het kwantificeren van lichamelijke activiteit (met behulp van versnellingsmeters) en het combineren van de frequentie en intensiteit van activiteiten met gezondheidsgegevens (hersen-MRI, traditionele klinische parameters en metabolomics) is van het grootste belang om mobiliteit en gezondheid bij oudere…

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 manuscript explores the use of video games as tools for conceptual exploration and academic research.

Understanding how galaxies form, interact, and evolve comes largely from comparing theory predictions with observational data. Numerical simulations of galaxies provide the most accurate approach to testing the theory, as they follow the non-linear evolution of gas and dark matter in great detail and…

Veel van onze lezingen zijn opgenomen. Op deze plaats zullen ze beschikbaar zijn. Soms tijdelijk, soms voor langere tijd. De opnames bevatten zowel het beeld van de beeldpresentatie (als die er was) als een beeld van de sprekers.

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

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

Lezing

Promotie

Promotie

Promotie

Promotie

Promotie

Door twee definitieve netwerkverbindingen te maken en een opdracht in te voeren, startten Martijn Ridderbos (Vice-Voorzitter College van Bestuur), Geert de Snoo (Decaan Faculteit der Wiskunde en Natuurwetenschappen) en Bart Hoogervorst (Afdelingshoofd Operations ICT Shared Service Center) GRACE op,…