2,291 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
-
Understanding the Heterogeneity of Corporate Entrepreneurship Programs
In today's volatile market environments, companies must be able to continuously innovate. In this context, innovation does not only refer to the development of new products or business models but often also affects the entire organization, which has to transform its structures, processes, and ways of…
-
Scheduled protocol programming
With the advent of multicore processors and data centers, computer hardware has become increasingly parallel, allowing one to run multiple pieces of software at the same time on different machines. Coordination of these pieces is best expressed in a coordination language as an explicit interaction protocol…
-
Baoxiao LIU
Wiskunde en Natuurwetenschappen
-
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.
-
Basic Program 2022-2023
The basic program comprises a total of thirteen courses organized by the Research School, that have been purpose-developed for training and support of PhD students and Research MA students who specialize in Medieval Studies (history, art history, and literary history, in particular). The courses have…
-
Leiden Legal Technologies Program
Volg het Joint Legal Technologies Programme voor professionals bij de Universiteit Leiden en de Open Universiteit
-
Imperfections: using defects to program designer matter
Errors are everywhere, and mechanical failures are especially common: buckled grain silos and cracked support columns are, justly, seen as an issue to be avoided.
-
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)
-
Computational modeling of cellular dynamics in tumor cell migration
Epithelial-mesenchymal plasticity (EMP) and tumor cell migration play an important role in cancer progression, and an improved understanding of the mechanisms underlying these concepts is essential for developing new targeted approaches.
-
Assistant Professor: Computational Modelling in Translational Metabolomics (1.0 fte)
Wiskunde en Natuurwetenschappen, Leiden Academic Centre for Drug Research (LACDR)
-
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.
-
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.
-
Adaptive Streaming Applications: Analysis and Implementation Models
Promotor: Prof.dr. E. Deprettere
-
Actors at work
Promotor: F.S. de Boer Co-promotor: P. T. de Gouw
-
Model schilderen met diverse technieken
Kunst en vrije tijd, Kunst en vrije tijd
-
Bayesian Inference for Gaussian Models
This dissertation studies the Asymptotics of Bayesian nonparametric inference for Gaussian linear models.
-
Modelling metastatic melanoma in zebrafish
Death in all types of melanomas is generally caused by metastasis. Uveal melanoma (UM) is the most common intraocular melanoma, there are currently no (patient-derived) animal models that faithfully recapitulate metastatic dissemination of UM.
-
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.
-
Modelling the role of cytotoxic T lymphocytes in tumour regression
Immunotherapies for cancer are an emerging class of therapeutic strategies which aim to treat cancer via augmentation of the immune system.
-
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.
-
Statistical modelling of time-varying covariates for survival data
This dissertation focuses on developing new mathematical and statistical methods to properly represent time-varying covariates and model them within the context of time-to-event analysis.
-
Abstract delta modeling: software product lines and beyond
Promotor: Prof.dr. F.S. de Boer, Co-promotor: D. Clarke
-
Development of a Dynamic Substance Stock Model
Making a dynamic substance stock model in order to conduct scenario analyses and make forecasts.
-
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
-
Biological model representation and analysis
Promotor: Prof.dr. J.N. Kok, Co-promotor: F.J. Verbeek
-
Advanced in vitro models for studying drug induced toxicity
Promotor: B.van de Water, Co-promotor: L.S.Price
-
Imaging complex model catalysts in action
From surface science towards industrial practice using high-pressure scanning tunneling microscopy.
-
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.
-
Statistiek als je modellen niet kloppen
Peter Grunwald
-
Quantitative modelling of the response of earthworms to metals
Promotor: Prof.dr. W.J.G.M. Peijnenburg
-
Abstract Behavioral Specification: unifying modeling and programming
Promotie
-
Synthetic model microswimmers near walls
Synthetic microswimmers take an important place within the interdisciplinary field of active soft matter.
-
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.
-
Quantitative systems pharmacology modeling of biotherapeutics in oncology
In this thesis, mathematical modeling and simulation was applied as a tool to inform quantitative decision making in oncology drug discovery and development.
-
Spatiotemporal building stock modeling for residential decarbonization in the Netherlands
Decarbonizing the building stock is critical for realizing the climate-neutral target for the Netherlands.
-
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.
-
Computational modeling of mycobacterium infection and innate immune reponse in zebrafish
Promotor: Prof.dr. J.N. Kok
-
Modeling interstellar bubbles: near and far
Promotor: Prof. dr. A.G.G.M. Tielens
-
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.
-
Constraint-Based Analysis of Business Process Models
Business Process Model and Notation (BPMN) has become the standard for business processes diagrams.
-
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