428 zoekresultaten voor “program verification” in de Publieke website
-
Massively collaborative machine learning
Promotor: J. N. Kok, Co-promotor: A. J. Knobbe
-
In de media en onderzoek
Hieronder vind je een overzicht van hoe onderzoekers van de faculteit Governance and Global Affairs en hun onderzoeken in de media verschijnen, en lees je meer over onderwerpen waar de faculteit zich mee bezighoudt.
-
Invertebrate response to management of roadside edges
Does roadside management in the mid-west USA increase invertebrate diversity similar to practices in Europe?
-
Methods and Tools for Mining Multivariate Time Series
Mining time series is a machine learning subfield that focuses on a particular data structure, where variables are measured over (short or long) periods of time.
-
MICA – Material Intelligence Capacity Analysis
Can we develop a platform for raw materials intelligence?
-
Systems microscopy to unravel cellular stress response signalling in drug induced liver injury
Promotor: B. van de Water
-
The role of the Arabidopsis AHL15/REJUVENATOR gene in developmental phase transitions
This thesis describes the functional analysis of the Arabidopsis AHL15 gene.
-
Sensing Transport
Solute carrier (SLC) transporters are a large and diverse class of relatively understudied transmembrane proteins.
-
Estimation and Optimization of the Performance of Polyhedral Process Networks
Promotor: Prof.dr.ir. E. Deprettere
-
Escher and the Droste effect
Artful Mathematics: The Heritage of M. C. Escher
-
Research School Join-in courses 2022-2023
Research School Join-in courses are courses in a variety of topics given by other research schools. On request, such courses are accessible for members of the Research School for Medieval Studies. Course loads and number of credit points to be obtained are usually between 5 and 10 ECTS.
-
Multi Modal Representation Learning and Cross-Modal Semantic Matching
Humans perceive the real world through their sensory organs: vision, taste, hearing, smell, and touch. In terms of information, we consider these different modesalso referred to as different channels of information or modals.
-
Arbeidsmarkt
De beroepsperspectieven voor informatici op wetenschappelijk niveau zijn zeer gunstig.
-
Time is of the essence: investigating kinetic interactions between drug, endogenous neuropeptides and receptor
Promotor: A.P. IJzerman Co-promotor: L.H. Heitman
-
Human-lion conflict around Nairobi National Park: Lion Population Structure, Diet, and Movement in a Semi-Fenced Park.
What is the population size and social structure in time and space? What is the lion diet and food preference in time and space? What is the home range (MCP and Kernel) and movement in time and space? What are human – lion conflict and responses of lions to traditional herding in time and space? What…
-
ERC-funded PhD candidate in Molecular Plant Immunity
Wiskunde en Natuurwetenschappen, Instituut Biologie Leiden (IBL)
-
BioSustain
Examining the sustainability aspects of biotechnology, especially those related to the production of ethanol from biomass.
-
Publicaties
Lees meer over selectief mutisme
-
Exposure and health Assessment of Persistent Organic Pollutants (POPs) at e-waste recycling site among workers in the informal sector in Nigeria
Do e-waste workers display enhanced effects of adverse health effects due to informal e-waste processing in Nigeria? Is there a difference between the health outcomes of the exposed and the control groups? Are there difference in health effects within and between job groups (collectors, dismantlers,…
-
Unfolding the principles of genome folding and dynamics in bacteria
Remus Dame
-
SCS Courses
The coursework within the Science Communication and Society (SCS) specialisation prepares students for internships and a career in communication about science and health.
-
Human-wildlife Interactions in the Western Terai of Nepal
Large carnivores and humans, along with their livestock, have co-existed for thousands of years. However, human population growth and an increase in economic activities are modifying the landscape for large carnivores and their prey.
-
Guide to admission
Entrance requirements and admissions procedure
-
Dynamics and regulation of the oxidative stress response upon chemical exposure
The focus of the described research in this thesis is on the oxidative stress response (Nrf2 pathway). The aim of the research presented in this thesis is to obtain more information concerning microRNAs which are involved in the Nrf2 pathway, to determine and evaluate the application of microRNAs for…
-
Onderwijsonderzoek
Het ICLON doet wetenschappelijk onderzoek op het gebied van voortgezet en hoger onderwijs.
-
Combining monitoring with run-time assertion checking
Promotor: F.S. de Boer, Co-promotor: M.M. Bonsangue
-
Theorie
Veel belangrijke onderwerpen in de informatica, zoals de juistheid van software, de efficiëntie van algoritmen en de modellering van gecompliceerde systemen, zijn afhankelijk van een goede theoretische onderbouwing. In de Theoriegroep bestuderen we deze fundamentele bouwstenen en ontwikkelen we verificatiemethoden…
-
Theorie
Veel belangrijke onderwerpen in de informatica, zoals de juistheid van software, de efficiëntie van algoritmen en de modellering van gecompliceerde systemen, zijn afhankelijk van een goede theoretische onderbouwing. In de Theoriegroep bestuderen we deze fundamentele bouwstenen en ontwikkelen we verificatiemethoden…
-
Encompass goes on!
The ministry of education (OC en W) has generously decided to subsidize the Encompass program with a grant of 1 million euro’s for the years 2012-2016.
-
Leiderschap in tijden van verandering
Hoe moet een manager in de publieke sector omgaan met grote veranderingen zoals internationaal terrorisme, migratie en klimaatverandering? Ervaren en ambitieuze managers kunnen het vanaf 18 september leren in het Leiden Certified Public Manager® Program.
-
Kinderen verantwoord afleiden tijdens het thuiswerken? Leer ze programmeren!
Veel mensen zijn op het moment thuis aan het werk, terwijl de kinderen ook thuis moeten blijven. Dat kan heel gezellig zijn, maar soms hebben ouders toch even rust nodig. Met programmeertaal Hedy, ontwikkeld door de Leidse computerwetenschapper Felienne Hermans, kunnen kinderen stap voor stap leren…
-
Uitslag Programmeerwedstrijd
On Saturday, 23 October 2010, the Benelux Algorithm Programming Contest (BAPC) was held in Leiden. In Studentcenter Plexus, 20 teams of students from colleges and universities in the Benelux competed for prizes up to EUR 1024,-. They were given 10 algorithmic programming problems, from which they had…
-
Docenten
De hoofddocenten van het Leiden Legal Technologies Program zijn Prof. dr. Jaap van den Herik en Prof dr. ir. Jan Scholtes.
-
RiskCycle: Risk-based management of chemicals and products in a circular economy at a global scale
How can we, together international experts, define future needs of R+D contributions for innovations in the field of risk-based management of chemicals and products in a global perspective using alternative testing strategies to minimize animal tests?
-
Gastonderzoekers
Er bestaan mogelijkheden om als gastonderzoeker aan te sluiten bij het initiatief en tijd door te brengen in residentie bij GTGC in Den Haag. Mocht u interesse hebben, neem dan gerust contact met ons op. Hieronder vindt u onze huidige gastonderzoeker(s).
-
Onderwijs
De programmagroep Opvoeding en Ontwikkeling verzorgt algemene cursussen op het gebied van de pedagogische wetenschappen en specialisatiecursussen op het gebied van de gezinspedagogiek, zowel in het bachelor- als in het masterprogramma.
-
Cursus 1: Digitalisering en de Democratische Rechtsstaat
De eerste cursus van het Legal Technologies Program gaat op een brede manier in op de opmars van de digitalisering in onze maatschappij en in rechtsstaat. Hierbij wordt integraal gekeken naar zowel de technieken achter nieuwe AI technologieën als naar de juridische, ethische en organisatorische aspecten…
-
Targeting recidivism
Op donderdag 26 januari 2017 verdedigt Anouk Bosma haar proefschrift ‘Targeting recidivism: An evaluation study into the functioning and effectiveness of a prison-based treatment program’. Promotor is prof. dr. Paul Nieuwbeerta, en copromotor dr. mr. Maarten Kunst.
-
Hybride intelligentie Centrum
Hybride intelligentie (HI) is de combinatie van menselijke en machinale intelligentie, waarbij het menselijk intellect wordt uitgebreid in plaats van vervangen. HI houdt rekening met de menselijke expertise en intentionaliteit bij het nemen van zinvolle beslissingen en het uitvoeren van passende acties,…
-
Develop a methodology for assessing the effective dose of nanomaterials for environmental risk assessment purposes
How to make a quantitative assessment of the relative contribution to toxicity of ions and particles? Is the toxicity of nanoparticles related to their size or shape? Which physicochemical property of nanoparticles is an appropriate dose metric of nanoparticles?
-
Does knowledge of environmental performance change farmer's behaviour?
Does knowledge of environmental performance change farmer's behaviour?
-
Assistant Professor Journalism and New Media
Geesteswetenschappen
-
Media Technology MSc. Exhibition 50%
February 10th-12th & 16th-19th, Opening Thursday February 9th, 17:00.
-
Voordrachten
Voordrachten in het kader van het onderzoeksproject Zelfredzaamheid en sociale bescherming over de levenscyclus (aug 2017 – aug 2022).
-
Jaap van den Herik wint Humies Award 2014
Het paper Genetic Algoriths for Evolving Computer Chess Programs van Omid E. David, Jaap van den Herik, Moshe Koppel, Nathan S. Netanyahu heeft de Humies Award 2014 (human-competitive results produced by genetic and evolutionary computation) gewonnen.
-
This Week’s Discoveries | 19 February 2019
Lezing
-
Meeting old friends and making new ones
Onze decaan Rick Lawson en Anette van Sandwijk, Hoofd Bureau Internationaal Onderwijs, reisden van 5 tot en met 16 april langs een aantal partners in de Verenigde Staten. Leiden Law School heeft al lange tijd samenwerkingsverbanden met een aantal vooraanstaande Amerikaanse Law Schools. Doel van de reis…
-
E-workshops Multilingual Literary Cultures
The NWO-funded research project ‘The Multilingual Dynamics of the Literary Culture of Medieval Flanders, c. 1200- c. 1500’ is hosting a series of e-workshops on the topic of ‘Multilingual Literary Cultures in the Middle Ages’. The program is now available online.
-
Postdoctoral Research Opportunities (Hebrew University of Jeruzalem)
The Hebrew University of Jerusalem invites outstanding postdoctoral candidates to apply to its postdoctoral scholarship programs. Various deadlines in the Fall of 2021.
-
PhD Positions (Notre Dame)
The Graduate School at the University of Notre Dame accepts up to two, funded (tuition scholarship + full stipend) PhD students per year in Liturgical Studies. The program integrates three sub-disciplines: Liturgical History; Liturgical Theology; Ritual Studies. Deadline: 2 January 2023.