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.

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)

Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)

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.

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

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.

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.

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.

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: Prof.dr. J.N. Kok, Co-promotor: F.J. Verbeek

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

Peter Grunwald

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.

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

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

Promotie

Wiskunde en Natuurwetenschappen, Centrum voor Milieuwetenschappen Leiden (CML)

Promotor: Prof.dr. W.J.G.M. Peijnenburg

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.

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.

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

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

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

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. A.G.G.M. Tielens

Promotor: Prof.dr. J.N. Kok

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

Promotor: P.D. Grünwald

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

Promotores: Arjen Doelman, Jens Rademacher, Max Rietkerk

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…

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.

Docenten in het hoger onderwijs zijn experts in wát zij doceren, maar niet noodzakelijk in hóe zij dit zouden moeten doen. Dit komt omdat zij vaak weinig tot geen training hebben gehad in het lesgeven. Daarnaast zijn zij over het algemeen meer georiënteerd op hun eigen vakgebied dan op hun rol als docent.…

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.

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