721 search results for “modelling programming” in the Public 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.
- Program
-
Computer programming
We see computer programming as an essential skill. It enables you to be self-sufficient in building tools, processing data, visualizing research output, communicating research results, etc. Moreover, it empowers you to make beautiful things.
-
Mathematical modelling of advanced herbal extraction
Can the (industrial) herbal extraction process be mathematically described and can this model be used to optimize the extraction in terms of quality and economical parameters?
-
Systems Modelling Lab (SML)
Mathematical models of software systems enable characterizations, abstractions, simulations, and analysis of complex software during its development.
-
Baoxiao LIU
Science
-
Alternative Master's programs
When deciding whether a Master's program is right for you, it is important to always compare other programs. Find out which one best fits you.
-
Computational modeling of angiogenesis: from matrix invasion to lumen formation
Promotor: Roeland M.H. Merks
-
Leiden Certified Public Manager® Program
The Leiden University Centre for Professional Learning has acquired the exclusive license in Europe 2018 from the American Certified Public Manager® Program. This program is carried out in cooperation with partners in Europe. The language of instruction of this program is English.
-
Media Technology MSc Program
Are you eager to bring your own questions and curiosity into scientific research? Do the creation of media and use of technology drive your research interests? Could you be a researcher who challenges scientific practice and pushes its boundaries?
-
Automata-theoretic protocol programming
Promotor: F. Arbab
-
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.
-
Minimal structure modeling
Existing work in probabilistic language modeling can be mostly divided into two categories:
-
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)
-
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…
- Program 2023
-
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.
-
Courses per study program
Here you can find an overview of the offered courses provided by the Department of Economics per study program.
-
Adaptive Streaming Applications: Analysis and Implementation Models
Promotor: Prof.dr. E. Deprettere
-
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…
- Program in English
-
Animal models for cutaneous vaccine delivery
Main challenges in skin vaccination are overcoming the stratum corneum (SC) barrier and targeting the antigen presenting cells (APC) in the epidermis and the dermis.
-
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
-
About the program
Many countries and regions face a wide variety of challenges resulting from migration and mobility. Solutions that have been formulated range from policies and regulations for immigration, to education and stimulating social participation, to restructuring the welfare state. These challenges and policies…
-
Model painting with diverse techniques
Arts and leisure, Arts and leisure
-
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.
-
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.
-
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.
-
The Hague Program on International Cyber Security
Taking the changing landscape of international cyber security and cyber conflict as a point of departure, The Hague Program on International Cyber Security focuses on the various modes of governance that states and other actors can bring into play to deal with and shape the strategic changes and challenges…
-
About the Leiden Certified Public Manager® Program
The Leiden Certified Public Manager® Program comprises 300 hours of structured learning (blended input, applied learning and joint inquiry) and runs over twelve months and starts in Autumn 2017. Academic and practitioner faculty members organise, coordinate and teach the programme. The Leiden Certified…
-
The Hague Program for Cyber Norms
A research program that focuses on the development and implementation of cyber norms.
-
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.
-
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.
-
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.
-
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.
-
Abstract delta modeling: software product lines and beyond
Promotor: Prof.dr. F.S. de Boer, Co-promotor: D. Clarke
-
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…
-
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
-
Mathematical analysis of systems pharmacology models
Systems pharmacology aims to apply techniques from systems biology to pharmacological models.
-
Predictive Pharmacology in Children using Semi-Physiological population modelling
An integrated approach of physiological concepts, advanced statistical approaches and large clinical datasets.
-
Development of a Dynamic Substance Stock Model
Making a dynamic substance stock model in order to conduct scenario analyses and make forecasts.
-
Advanced in vitro models for studying drug induced toxicity
Promotor: Prof.dr. B. van de Water, Co-promotor: L.S. Price
-
Actors at work
Promotor: F.S. de Boer Co-promotor: P. T. de Gouw
-
Statistics when your models are wrong
Peter Grunwald
-
Biological model representation and analysis
Promotor: Prof.dr. J.N. Kok, Co-promotor: F.J. Verbeek
-
Mathematical modelling of adverse outcome pathways
In this project, we aim to develop mathematical models to mechanistically and quantitatively predict the dynamics of cellular stress pathway activation and its relation with toxic effects when cells are exposed to various toxicants.
-
Case studies in archaeological predictive modelling
ASLU 14
-
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.