430 zoekresultaten voor “program verification” in de Publieke website
- Leiden Legal Technologies Program
- Leiden Legal Technologies Program
-
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.
-
Replacing the needle and syringe for vaccine administration
Promotores: Prof.dr. G.F.A Kersten, Prof dr. J.A. Bouwstra
-
Opleiding
Course Program 2022-2023
- Algemene Voorwaarden
-
Distributions
Statistical distributions in LCA and converting between different representations of these distributions.
-
Researcher Monitoring Open Science Policies and Practices
Sociale Wetenschappen, Centrum voor Wetenschaps- en Technologiestudies
-
Education
The specialisation Science Communication and Society (SCS) concerns science communication in a broad sense. The program focuses on the link between science and society and covers knowledge and skills in the field of science communication.
-
PhD candidate Monitoring Open Science Policies and Practices
Sociale Wetenschappen, Centrum voor Wetenschaps- en Technologiestudies
-
CMLCA
CMLCA is a software tool that supports the technical steps of the Life Cycle Assessment. The focus of the program is on advanced computational aspects of life cycle inventory calculations.
-
Frontiers of Modern Physics- Summer School
Cursus, Summer School
-
Abstract Behavioral Specification: unifying modeling and programming
Promotie
-
Imperfections: using defects to program designer matter
Promotie
-
Onderzoek
The aim of our research program is to better understand the aetiology and course of mood, anxiety and trauma and stressor-related disorders and to test and improve treatments for these disorders.
-
Understanding the Heterogeneity of Corporate Entrepreneurship Programs
Promotie
-
A brief introduction to GPU programming and optimization
Lezing
-
NeuroSoC
Meer informatie over dit onderzoeksproject vind je op de Engelstalige pagina.
-
CarbonCap
In the CarbonCap project, consumption oriented technological options and policy measures are identified as an addition to the present EU and world climate policy.
- English Language Assessment for BA and MA students
-
Opleidingen
Onze opleidingen zijn gericht op hogeropgeleide professionals, starters, ervaren professionals en leidinggevenden. U kunt kiezen uit eendaagse Masterclasses, meerdaagse leergangen en een intensief eenjarig gecertificeerd programma. Ons aanbod bestaat uit programma’s op de onderstaande thema's.
-
Optimal decision-making under constraints and uncertainty
We present an extensive study of methods for exactly solving stochastic constraint (optimisation) problems (SCPs) in network analysis. These problems are prevalent in science, governance and industry.
- English Language Assessment
-
Frontiers of Nanoscience (NanoFront)
Kunnen we van quantum-verrassingen quantum toepassingen maken? Kunnen we het leven onderzoeken en opbouwen vanuit de nano-schaal?
-
Informatica
Computational thinking, programming, and algorithms form the basic of many of the things that are shaping our world, the way we work, interact, organize ourselves, and even spend our free time with social networks, streaming media, and games. And this transformation is far from being complete, it is…
-
Assistant Professor in Cognitive Science and Artificial Intelligence
Sociale Wetenschappen, Psychologie, Cognitieve Psychologie
-
Associate professor Methodology and Statistics
Sociale Wetenschappen, Psychologie, Methodologie en Statistiek
-
Live webinar en Q&A - Leiden Legal Technologies Program
Webinar
-
Genomen van bacteriën in kaart brengen om infectieziektes te bestrijden
Hoe passen bacteriën zich aan aan een nieuwe leefomgeving? Hoe zitten genomen van bacteriën precies opgevouwen in cellen? Dat gaat een internationaal team van wetenschappers onderzoeken, onder leiding van de Leidse biochemicus Remus Dame. Het Human Frontier Science Program heeft hiervoor een subsidie…
-
Asynchronous Programming in the Abstract Behavioural Specification Language
Promotie
-
Structured Parallel Programming for Monte Carlo Tree Search
Promotie
-
Live webinar en Q&A - Leiden Legal Technologies Program
Webinar
-
Software developments in automated structure solution and crystallographic studies of the Sso10a2 and human C1 inhibitor protein
Promotor: Prof.dr. J.P. Abrahams, Co-Promotor: N.S. Pannu
-
Thrips resistance in Gladiolus: an eco-metabolomic approach
Breeding for resistance becomes more and more important because we want to reduce the use of pesticides. A fast and cheap alternative can be to make use of morphological or chemical markers.
- English Language Assessment for BA and MA students
-
NimbleAI
Meer informatie over dit onderzoeksproject vind je op de Engelstalige pagina.
-
Het projectteam
Wij zijn een team van sterrenkundigen aan de Universiteit van Leiden met een passie voor wetenschapscommunicatie en duurzaamheid. Ons doel is om kinderen kennis te laten maken met sterrenkunde en ze te laten ontdekken hoe bijzonder leven in het universum is. Zo kunnen we sterrenkunde gebruiken om huidige…
-
Assistant Professor in Cognitive Psychology and Neuroscience
Sociale Wetenschappen, Psychologie, Cognitieve Psychologie
-
Opnieuw Leids succes bij programmeerwedstrijd
Het team Prime Suspects van de Universiteit Leiden is net als vorig jaar eerste geworden bij het Benelux Kampioenschap programmeren. Na een spannende wedstrijd bleef het team concurrenten uit Groningen (tweede) en Utrecht (derde) voor.
-
Advances in computational methods for Quantum Field Theory calculations
In this work we describe three methods to improve the performance of Quantum Field Theory calculations.
-
PUMA (Prospecting the Urban Mines of Amsterdam)
PUMA aims at composing a geological map of the urban mine of Amsterdam for a selection of metals. Where are main deposits of copper, iron and aluminium located, when will they become available for secondary production, in what state and shape are they?
-
Centre for Professional Learning
Investeer in je professionele kennis! Neem deel aan een leergang, cursus of masterclass in Public Affairs, Veiligheid, Diversiteit en Inclusie of de Academie voor de Rechtsstaat. Of kies een traject op maat voor je medewerkers.
-
CML-IA Characterisation Factors
CML-IA is a database that contains characterisation factors for life cycle impact assessment (LCIA) and is easily read by the CMLCA software program.
-
Foreign intelligence in the digital age. Navigating a state of 'unpeace'.
Het The Hague Program for Cyber Norms, een onderzoeksprogramma van het Institute of Security and Global Affairs, heeft zijn eerste beleidsnota gepubliceerd. Hierin onderzoeken Dennis Broeders, Sergei Boeke en Ilina Georgieva de rol van inlichtingendiensten in cyberspace en de (on)mogelijkheden van adequate…
-
EU Erasmus+ Curriculum Development in Data Science and Artificial Intelligence
LIACS is a partner in the EU Erasmus+ Curriculum Development for the Asian education system. The knowledge available in the field of Data Science and Artificial Intelligence education will be shared and adapted for the Asian market.
-
Minor Artificial Intelligence and Society
The development of smart cars, video games that adapt to your gaming behavior, law enforcement assigning your neighborhood a risk score, insurance rates determined by your behavior, finding your perfect match via an app: Artificial Intelligence (AI) is rapidly and radically transforming our interactions…
-
Assistant Professor: Computational Modelling in Translational Metabolomics (1.0 fte)
Wiskunde en Natuurwetenschappen, Leiden Academic Centre for Drug Research (LACDR)
-
server queueing systems: Efficient methods via lumping and dynamic programming
Promotie
-
Assistant/Associate/Full Professors in Chemistry (5 - 6 positions)
Wiskunde en Natuurwetenschappen, Leids Instituut voor Chemisch Onderzoek (LIC)
-
Massively collaborative machine learning
Promotor: J. N. Kok, Co-promotor: A. J. Knobbe