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.

Promotor: F. Arbab

Leiden Legal Technologies Program is een multidisciplinaire opleiding en is een samenwerking van het Leiden Centre of Data Science (LCDS) en het Centre for Professional Learning (CPL).

The basic program comprises a total of six courses, organized by the Research School, that have been purpose-developed for training and support of PhD students and Research Master students who specialize in Medieval Studies (history, art history, and literary history, in particular). The courses have…

The thesis is part of a bigger project, the HEPGAME (High Energy Physics Game). The main objective for HEPGAME is the utilization of AI solutions, particularly by using MCTS for simplification of HEP calculations.

Promotie

Governance and Global Affairs, Leiden University College The Hague

Het Certified Public Manager® Program (CPM) staat voor grensoverstijgend leiderschap: het over de grenzen van de eigen organisatie, sector en zelfs land denken en handelen.

Promotor: Roeland M.H. Merks

Description of Biotic ligand models: making an inventory of available models & assessment of the variability of the predicted HC5 using the BLMs in different Dutch water types (2005 - 2007)

Existing work in probabilistic language modeling can be mostly divided into two categories: (i) Purely sequential, string-level approaches ensure fluency at the local level without notion of grammaticality and seek improvements in the use of massive training corpora. (ii) Fully structural, tree-based…

... which builds on self-regulation and stress-regulation theories and considers the modification of cognitions as a mediator of therapeutic change.

The development process of any software has become extremely important not just in the IT industry, but in almost every business or domain of research.

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

Promotor: Prof.dr. E. Deprettere

This dissertation studies the Asymptotics of Bayesian nonparametric inference for Gaussian linear models.

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

Promotores: Prof.dr. P.C.W. Hogendoorn & Prof.dr. H.P. Spaink Co-promotor: Dr. B.E. Snaar-Jagalska

Industrial manufacturing processes, such as the production of steel or the stamping of car body parts, are complex semi-batch processes with many process steps, machine parameters and quality indicators.

Promotie

Making a dynamic substance stock model in order to conduct scenario analyses and make forecasts.

The molecular mechanisms that instigate a healthy cell to become malignant are fueled by (epi)genetic alterations in so-called driver genes.

Promotor: Prof.dr. J.N. Kok, Co-promotor: F.J. Verbeek

Peter Grunwald

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

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.

Clinical development of drugs for central nervous system (CNS) disorders has been particularly challenging and still suffers from high attrition rates.

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

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

Promotor: Prof.dr. B. van de Water, Co-promotores: L.T.M. van der Ven, A.S. Kienhuis

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

Promotie

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.

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

Promotor: Prof. dr. A.G.G.M. Tielens

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

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: P.D. Grünwald

Promotor: Prof.dr. F. den Hollander, G.Maillard

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

Promotor: Prof.dr. J.N. Kok

Dit proefschrift omvat vier deelstudies waarin de ‘pedagogische vakkennis’ (pedagogical content knowledge ofwel PCK) van bètadocenten wordt onderzocht.

Promotores: Arjen Doelman, Jens Rademacher, Max Rietkerk

To limit the effects of climate change, global average temperature since pre-industrial measurements are to be kept well below 2 °C preferably even at 1.5 °C.

Describe and identify what dosimetry parameters are of importance to interpret dose-response relationships (eg., mortality, sub-lethal, growth or reproduction inhabitation, DNA damage and reactive oxygen species, etc. ) for metal-based nanoparticles? How to develop quantitative models that enable to…

Netherlands Statistics (CBS), Leiden University and the University of Amsterdam have started a collaboration in the form of a research project titled 'Enriching official economic statistics using data-driven modelling techniques'.

The growing demand of energy indicates that global energy resources in the form of fossil fuels will not be sufficient in the future. In order to solve potential future energy problems development of a sustainable hydrogen economy is highly desirable.

Wiskunde en Natuurwetenschappen, Leiden Academic Centre for Drug Research (LACDR)