Vrijwilligers en archeologen doen samen onderzoek naar nog onontdekt archeologisch erfgoed op de Utrechtse Heuvelrug

In multi/many-core System-on-Chips (SoCs), the performance is almost linearly scaling with the number of processing elements.

Real-life processes are characterized by dynamics involving time. Examples are walking, sleeping, disease progress in medical treatment, and events in a workflow.

Technologies that help to enhance our educational environments can be found everywhere.

Humans can see the world through the eyes of other humans and imagine what they know, want, and intend. This competence is known as Theory of Mind.

Promotie

De Faculteit der Wiskunde en Natuurwetenschappen is gevestigd op verschillende locaties in het Bio Science Park Leiden.

Innovation plays an essential role in firms' competitiveness and long-term success. It varies from different types, ranging from run-of-the-mill innovation that brings incremental changes to existing technologies to radical innovation that breaks from existing trajectories.

The marine shipping industry is one of the strongest emitters of nitrogen oxides (NOx), a pollutant detrimental to ecology and human health. Over the last 20 years, the pollution produced by power plants, the industry sector, and cars has been decreasing.

Promotor: F.S. de Boer Co-promotor: P. T. de Gouw

Building a Deep Cross-media Transfer Network to extract visual relations that relieve the problem of insufficient training data for visual tasks.

Radiography is an important technique to inspect objects, with applications in airports and hospitals. X-ray imaging is also essential in industry, for instance in food safety checks for the presence of foreign objects.

Promotor: Prof.dr. B.R. Katzy, Prof.dr. J. de Vries

In some condensed matter systems, such as the surface of a 3D topological insulator, the electrons are effectively massless and we must necessarily use the massless Dirac equation to describe them.

Elk jaar organiseert eLaw verschillende congressen, symposia, workshops, panels en andere evenementen.

With the advent of multicore processors and data centers, computer hardware has become increasingly parallel, allowing one to run multiple pieces of software at the same time on different machines. Coordination of these pieces is best expressed in a coordination language as an explicit interaction protocol…

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

Promotores: J.N. Kok, H.J. Hoogeboom

Promotor: Prof.dr.ir. E. Deprettere

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

Promotor: Prof.dr. T.H.W. Bäck

Promotor: M.L. van Hecke

SDN (Software-Defined Networking) represents a revolutionary approach to network architecture that enables the dynamic and flexible management of network resources through software-based control. This dissertation introduces the idea of SDN and its southbound protocol OpenFlow, then presents the formal…

Time-series forecasting through modelling sequences of temporally dependent observations has many industrial and scientific applications. While machine learning models have been widely used to create time-series forecasting models, creating efficient and performant time-series forecasting models is…

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.

De programmagroep Leer- en Gedragsproblemen in het Onderwijs doet onderzoek naar stagnaties die kunnen optreden in de cognitieve ontwikkeling.

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.

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

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…

We strive to address the challenge of constructing a modeling language to write software which can take advantage of recent hardware developments (multicore, cloud) without compromising in its abstraction levels.

Het witwassen van de gelden die worden verkregen uit cybercrime vindt in toenemende mate plaats met digitale betalingsmiddelen. In dit onderzoek wordt nagegaan hoe deze gelden worden witgewassen, welke actoren een rol spelen en hoe digitale betalingsmiddelen daarbij worden gebruikt.

Why do black holes emit thermal radiation? And how does a closed quantum system thermalize?

The energy system is at the heart of two of the greatest challenges of the 21st century: decreasing CO2 emissions to meet the ambitions of the Paris agreement while fulfilling the growing energy demand associated with the economic aspirations of a growing world population.

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

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.

The research in this thesis is focused on tomographic reconstruction based on two imaging modalities in electron microscopy.

The specialisation Science Communication and Society (SCS) concerns science communication in a broad sense. The program focuses on the link between science and society and covers knowledge and skills in the field of science communication.

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

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

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

Promotor: Prof.dr. M.L. van Heck, Co-Promotor: B.P. Tighe

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

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

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

Thermodynamics is one of the founding scientific pillars that has helped us better understand heat engines, biology, ecosystems, and even black holes. While it fundamentally describes large systems by examining the bulk behavior of their constituents, it is anchored in the statistical equivalence of…

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

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

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

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