Are predictive archaeological maps a reliable tool to play an important role in the spatial planning? One of the goals of this project was to develop best practices for the production and application of the models.

Promotor: M. Ubbink, Co-promotor: G. Siegal

An algorithm is discussed to compute the exponential representation of principal units in a finite extension field F of the p-adic rationals.

The first book ever on information-theoretically secure multiparty computation

Promotor: Prof.dr. B. van de Water, Co-promotor: L.S. Price

Systems pharmacology aims to apply techniques from systems biology to pharmacological models.

To improve treatment of breast cancer patients it is important to understand all stages of breast cancer from initiation to in situ disease and progression to invasive disease. In this thesis we use intraductal injections of patient derived tissue to model ductal carcinoma in situ and invasive breast…

Lipid formulations have demonstrated strong potential for nucleic acid delivery,particularly with the success of COVID-19 vaccines. Despite these advances, manyaspects of lipid formulations remain unclear.

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.

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

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…

PhD defence

Leiden Embedded & Real-time Computing (LERC) is an expert lab and leader in advanced research on embedded and real-time systems and software. The main mission of LERC is by its research to contribute in a highly innovative way to the system-level design of embedded and cyber-physical systems and software…

Carbohydrates, or sugars, are the most diverse and most abundant biomolecules known. However, the isolation of carbohydrate samples in sufficient amounts and purity is often impractical or even impossible, so the chemical synthesis of glycosides becomes relevant. The glycosylation reaction, in which…

In this thesis, we extend the concept of null models as canonical ensembles of multi-graphs with given constraints and present new metrics able to characterize real-world layered systems based on their correlation patterns.

From surface science towards industrial practice using high-pressure scanning tunneling microscopy.

Classical mathematical models treat space and time as a continuum, while it is sometimes more useful to regard it as granular. Hupkes is studying what this means for a number of important patterns that are often found in computer calculations and in nature.

Promotor: M. Danhof, Co-promotores: J. Freijer, A. Yassen

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.

The Agent Based Modelling for Archaeologists (ABMA) project is dedicated to developing Open Educational Resources (OERs) and accompanying materials for agent-based modelling (ABM) in Archaeology.

In this thesis, mathematical modeling and simulation was applied as a tool to inform quantitative decision making in oncology drug discovery and development.

ASLU 14

A research agenda

Lysosomal storage disorders (LSDs) are a group of orphan diseases characterized by lysosomal dysfunction or impaired lysosomal catabolism and affect collectively about 1 in 5000 live births.

Promotor: Prof.dr. W.J.G.M. Peijnenburg, Co-promotor: Dr. ing. M.G. Vijver

Growth hormone profiles are pulsatile and highly variable between individuals, limiting the implementation of mathemathical models to quantify an individual's secretion.

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…

In this research project child language phonology is studied from the perspective of a psycholinguistic speech-production model and this model is in turn studied from the perspective of developmental phonology.

Decarbonizing the building stock is critical for realizing the climate-neutral target for the Netherlands.

Accurate prediction of the unbound drug concentration-time profile at the CNS target site is crucial for the assessment of the right drug concentration-effect relationship. PBPK models have supported the PK prediction of the CNS target sites and the translation of PK data between species and between…

What are the capabilities or limitations of traveling between islands and how does this reflect seasonal variation? Is it possible to show higher levels of connectivity between islands based on generated pathways between several sites on two separate islands?

To what extent can digital technologies be considered as authorities?

In the current global context, there is a pressing need to address sustainable energy supplies to safeguard our Planet and its ecosystems. The choices made by human society have a significant impact on genetic evolution and climate.

The availability of complete plant genome sequences together with the ever increasing amount of data on the molecular, cellular and physiological mechanisms of plant development require mathematical and computational models to obtain a complete overview of and generate new insights into the quantitative…

Source: J Cheminform, Volume 7, Issue 1 (2015)

The project Deconstructing Stability aims to improve reconstructions of late prehistoric landscapes and predictive models for the purpose of archaeological heritage management.

The aim of this project is to explore the use of statistical interaction models to quantify cross-omics and omics-drug interactions in large-scale clinical and experimental datasets

Simulations of galaxies help researchers understand astronomical observations better. The EAGLE simulation, a large project in which Leiden astronomers play a leading role, shows the evolution of the Universe, from just after the Big Bang to the present day.

How might we include circularity into the models often used in IPCC reporting (in technical language, how can IAMs, dMFA models and CGE models be integrated?) What are possible futures for global resource use and what are the consequences for greenhouse gas emissions in these scenarios?

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.

Business Process Model and Notation (BPMN) has become the standard for business processes diagrams.

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

In this dissertation, we study partition-based models that can be used both for interpretable predictive modeling and for understanding data via interpretable patterns.

Promotor: J.N. Kok, Co-promotor: H.J. Hoogeboom

Data analysis with Python and R are rapidly becoming essential skills for modern scientists. Therefore, we are offering courses to develop your scientific computing skills. Those courses are optional for LACDR PhD candidates.