1860 zoekresultaten voor “modelling programming” in de Publieke website
-
Abstract Behavioral Specification: unifying modeling and programming
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.
-
Automata-theoretic protocol programming
Promotor: F. Arbab
-
Leiden Legal Technologies Program
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).
-
Baoxiao LIU
Wiskunde en Natuurwetenschappen
-
Basic program 2020-2021
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…
-
Structured Parallel Programming for Monte Carlo Tree Search
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.
-
Leiden Certified Public Manager® Program 2021-2022
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.
-
Computational modeling of angiogenesis : from matrix invasion to lumen formation
Promotor: Roeland M.H. Merks
-
Biotic ligand models
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)
-
PhD candidate “Modelling violent conflict”
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Minimal structure modeling
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…
-
Self-regulation models
... which builds on self-regulation and stress-regulation theories and considers the modification of cognitions as a mediator of therapeutic change.
-
Software development by abstract behavioural specification
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.
-
Actors at work
Promotor: F.S. de Boer Co-promotor: P. T. de Gouw
-
Unraveling temporal processes using probabilistic graphical models
Real-life processes are characterized by dynamics involving time. Examples are walking, sleeping, disease progress in medical treatment, and events in a workflow.
-
Adaptive Streaming Applications: Analysis and Implementation Models
Promotor: Prof.dr. E. Deprettere
-
Bayesian Inference for Gaussian Models
This dissertation studies the Asymptotics of Bayesian nonparametric inference for Gaussian linear models.
-
In vivo modelling of Ewing sarcoma in zebrafish
Promotores: Prof.dr. P.C.W. Hogendoorn & Prof.dr. H.P. Spaink Co-promotor: Dr. B.E. Snaar-Jagalska
-
Data Driven Modeling & Optimization of Industrial Processes
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.
-
Sidney Niccolson
Wiskunde en Natuurwetenschappen
-
Development of a Dynamic Substance Stock Model
Making a dynamic substance stock model in order to conduct scenario analyses and make forecasts.
-
Precision modeling of breast cancer in the CRISPR era
The molecular mechanisms that instigate a healthy cell to become malignant are fueled by (epi)genetic alterations in so-called driver genes.
-
Systems pharmacokinetic models to the prediction of local CNS drug concentrations in human
Clinical development of drugs for central nervous system (CNS) disorders has been particularly challenging and still suffers from high attrition rates.
-
Abstract delta modeling: software product lines and beyond
Promotor: Prof.dr. F.S. de Boer, Co-promotor: D. Clarke
-
Biological model representation and analysis
Promotor: Prof.dr. J.N. Kok, Co-promotor: F.J. Verbeek
-
Imaging complex model catalysts in action
From surface science towards industrial practice using high-pressure scanning tunneling microscopy.
-
Statistiek als je modellen niet kloppen
Peter Grunwald
-
On metrics and models for multiplex networks
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.
-
Evaluation of the zebrafish embryo as an alternative model for hepatotoxicity testing
Promotor: Prof.dr. B. van de Water, Co-promotores: L.T.M. van der Ven, A.S. Kienhuis
-
Advanced in vitro models for studying drug induced toxicity
Promotor: B.van de Water, Co-promotor: L.S.Price
-
Abstract Behavioral Specification: unifying modeling and programming
Promotie
-
Postdoc in modelling food system dynamics
Wiskunde en Natuurwetenschappen, Centrum voor Milieuwetenschappen Leiden (CML)
-
Quantitative modelling of the response of earthworms to metals
Promotor: Prof.dr. W.J.G.M. Peijnenburg
-
Zebrafish as vertebrate model of Gaucher disease
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.
-
Server Queueing Systems: Efficient Methods via Lumping and Dynamic Programming
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.
-
quantification of growth hormone secretion : application of model-informed drug development in acromegaly
Growth hormone profiles are pulsatile and highly variable between individuals, limiting the implementation of mathemathical models to quantify an individual's secretion.
-
in special populations: towards semi-physiological pharmacokinetic models
M. Danhof, Co-promotores: J. Freijer, A. Yassen
-
pedagogical content knowledge in the context of a professional development program
Dit proefschrift omvat vier deelstudies waarin de ‘pedagogische vakkennis’ (pedagogical content knowledge ofwel PCK) van bètadocenten wordt onderzocht.
-
Optimally weighted ensembles of surrogate models for sequential parameter optimization
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.
-
Modeling interstellar bubbles: near and far
Promotor: Prof. dr. A.G.G.M. Tielens
-
Computational modeling of mycobacterium infection and innate immune reponse in zebrafish
Promotor: Prof.dr. J.N. Kok
-
The parabolic Anderson model and long-range percolation
Promotor: Prof.dr. F. den Hollander, G.Maillard
-
Better Predictions when Models are Wrong or Underspecified
Promotor: P.D. Grünwald
-
Constraint-Based Analysis of Business Process Models
Business Process Model and Notation (BPMN) has become the standard for business processes diagrams.
-
A recipe for desert: analysis of an extended Klausmeier model
Promotores: Arjen Doelman, Jens Rademacher, Max Rietkerk
-
Development of Quantitative Nanostructure Activity Relationship (QNAR) Models Predicting the Toxicity of Metal-based Nanoparticles to Aquatic Species
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…
-
Global Scenarios of Environmental Impacts with Structural Economic Models
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.
-
Supporting medical teachers' learning: redesigning a program using characteristics of effective instructional development
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.…
-
Biomimetic models of [NiFe] hydrogenase for electrocatalytic hydrogen evolution
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.
-
Enriching official economic statistics using data-driven modelling techniques
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'.