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 voor professionals. De opleiding bestaat uit vier cursussen verspreid over 2022: Geautomatiseerde Juridische Beslissingsprocessen, Legal Research & Legal Fact-finding, Legal Big Data, en Smart Contracts, Blockchain & Contract Anal…

Sociale Wetenschappen

The basic program comprises a total of seven 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.

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…

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.

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

Promotor: Prof.dr. E. Deprettere

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.

Immunotherapies for cancer are an emerging class of therapeutic strategies which aim to treat cancer via augmentation of the immune system.

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

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.

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. F.S. de Boer, Co-promotor: D. Clarke

Synthetic microswimmers take an important place within the interdisciplinary field of active soft matter.

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

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

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. B. van de Water, Co-promotores: L.T.M. van der Ven, A.S. Kienhuis

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

Promotie

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

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

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.

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.

Promotores: Arjen Doelman, Jens Rademacher, Max Rietkerk

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)

In this thesis we study quantum transport phenomena on the nanometer scale, in two classes of materials: topological insulators with induced superconductivity and graphene superlattices.

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…

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

Promotor: Prof.dr. B.R. Katzy

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

Promotor: F.H.J. Redig, Co-Promotor: W.T.F. den Hollander