424 zoekresultaten voor “program verification” in de Publieke website
-
Leiden Legal Technologies Program
Leiden Legal Technologies Program is een multidisciplinaire opleiding voor professionals. De opleiding bestaat uit vier cursussen verspreid over 2022: Geautomatiseerde Juridische Beslissingsprocessen, Legal Research & Legal Fact-finding, Legal Big Data, en Smart Contracts, Blockchain & Contract Anal…
-
Automata-theoretic protocol programming
Promotor: F. Arbab
- Leiden Legal Technologies Program
-
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…
-
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.
-
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…
-
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.
-
Proactive care programs in the emergency department
Promotie
-
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.
-
Actors at work
Promotor: F.S. de Boer Co-promotor: P. T. de Gouw
-
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.
-
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.
-
Lezing Simone van der Hof over age verification and age appropriate design
Op 6 oktober 2021 heeft Simone van der Hof een lezing gegeven over age verification and age appropriate design.
-
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.…
-
Abolfazl Sajadi
Wiskunde en Natuurwetenschappen
-
MAA Summer Research Program
The Medieval Academy of America (MAA) is excited to announce the launch of a new Summer Research Program for early PhD or early PhD-track students. The 2022 Summer Research Program will convene over Zoom, over the course of six weeks in July and August. The Summer Research Program will culminate with…
-
Leidse studenten winnen Benelux Algorithm Programming Contest 2014
Team Syntax Error, met Bas Nieuwenhuizen, Mathijs van de Nes, Niels ten Dijke, alle drie masterstudenten Computer Science, heeft de Benelux Algorithm Programming Contest gewonnen en heeft zich daarmee geplaatst voor de Northwestern European Regional Contest in Zweden, op 29 en 30 november.
-
The influence of induction programs on beginning teachers'well-being and professional development
Dit proefschrift gaat over de invloed van inductieprogramma’s op het welbevinden en de professionele ontwikkeling van beginnende docenten, en welke specifieke kenmerken van inductieprogramma’s daarvoor belangrijk zijn. Hiernaar is onderzoek gedaan met een interviewstudie en een grootschalige vragenl…
-
Benelux Algorithm Programming Contest 2010
De Benelux Algorithm Programming Contest 2010 (een van de voorronden van de ACM International Collegiate Programming Contest) vindt a.s. zaterdag 23 oktober plaats in studentencentrum Plexus te Leiden. Deze programmeerwedstrijd wordt georganiseerd door de Leidsche Flesch, de studievereniging van Informatica/Wiskunde/Natuurkunde/Sterrenkunde…
-
MA and PhD Programs (Vienna)
The Central European University is a graduate-level, English-language university with a multi-disciplinary Medieval Department that offers MA and PhD programs in Late Antique, Medieval and Early Modern Studies as well as in Cultural Heritage Studies. Deadline: 1 February 2023.
-
Leids team wint Benelux Algorithm Programming Contest 2013
Het Leidse team 'Geen Syntax', bestaande uit Bas Nieuwenhuizen, Mathijs van de Nes en Raymond van Bommel, heeft in Utrecht de Benelux Algorithm Programming Contest (BAPC) 2013 gewonnen.
-
Leiden Certified Public Manager® Program van start
Het Certified Public Manager® Program (CPM) staat voor ‘Empowering public leadership in a changing world’. In de week van 20 tot 24 november ging een gemêleerde groep senior managers uit Nederland, UK en Spanje aan de slag in Den Haag. Onder begeleiding van CPM Program Director Nikol Hopman en collega…
-
LECTIO Visiting Scholars Program 2022-2023
LECTIO, the KU Leuven Institute for the Study and Transmission of Texts, Ideas and Images in Antiquity, the Middle Ages and the Renaissance, invites applications for its Visiting Program 2022-23. Deadline: 10 June 2022. For more information: lectio@kuleuven.be.
-
Amerikaanse wetenschappers in Leiden voor Euroscholars Program
In het kader van het EuroScholars Program, waarvan Universiteit Leiden voorzitter is, bezocht deze week een groep Amerikaanse wetenschappers Leiden. Het is de bedoeling dat zij excellente studenten naar Europa sturen voor deelname aan onderzoeksprojecten.
-
Team ‘Geen Syntax’ van Universiteit Leiden wint Benelux Algorithm Programming Contest 2013
Het Leidse team 'Geen Syntax', bestaande uit Bas Nieuwenhuizen, Mathijs van de Nes en Raymond van Bommel, heeft in Utrecht de Benelux Algorithm Programming Contest (BAPC) 2013 gewonnen. Deze Leidse studenten wiskunde en informatica losten de 10 opgaven een uur sneller op dan alle andere teams.
-
CPL ontwikkelde het eerste Certified Public Manager® Program in Europa!
Afgelopen najaar startte het Centre for Professional Learning (CPL) van Universiteit Leiden het Leiden Certified Public Manager® Program, het eerste CPM Program in Europa. Het Leiden CPM Program staat voor ‘empowering public leadership in a changing world’.
-
Leiden Legal Technologies Program runner up voor Gouden Zandloper
Het Leiden Legal Technologies Program is de runner up voor de Gouden Zandloper voor Legal Education & Research, de prijs voor de meest innovatieve legal opleiding.
-
The Hague Program for Cyber Norms verwelkomt nieuwe gastonderzoeker
Josh Gold zal tussen 1 en 9 mei als gastonderzoeker betrokken zijn bij het The Hague Program for Cyber Norms.
-
The Hague Program for Cyber Norms verwelkomt nieuwe gastonderzoekers
Dr. Danny Steed en Dr. Kubo Mačák zijn van 1 april -26 april 2019 gastonderzoeker bij The Hague Program for Cyber Norms.
-
Leiden - ESA Astronomy Program for Summerstudents
Afgelopen zomer vond de tweede editie van het LEAPS op de Sterrewacht plaats. Er hebben meer dan 300 internationale studenten gesolliciteerd voor de 22 beschikbare plaatsen, de meerderheid van de geselecteerde deelnemers bestaan met name uit Britse en Amerikaanse studenten.
-
Models of curves: The Birch and Swinnerton-Dyer conjecture & ordinary reduction
Chapter 1,contains the numerical verification of the Birch and Swinnerton-Dyer conjecture for hundreds of Jacobians of hyperelliptic curves of genus 2, 3, 4 and 5.
-
Human Frontier Science Program prijs voor Katharina Riebel
Een internationaal onderzoeksteam metgedragsbioloog Katharina Riebel als hoofdonderzoeker en twee internationale medewerkers ontving een Human Frontier Science Program (HFSP) beurs voor het hun onderzoeksvoorstel ‘Seeing voices’: the role of multimodal cues in vocal learning.
-
LIACS receives NWO grant in Challenging Big Data program
The Leiden Institute of Advanced Computer Science (LIACS) received a grant award from NWO for a joint proposal with Centrum Wiskunde & Informatica (CWI, Amsterdam), Tata Steel (IJmuiden), BMW (Munich), and database company MonetDB. Within the NWO Data Science program ‘challenging big data‘, LIACS is…
-
Feestelijke online opening voor het Leiden Legal Technologies Program
Afgelopen vrijdag 19 maart werd de nieuwe opleiding ‘Leiden Legal Technologies Program’ voor professionals online feestelijk geopend. Onder andere de Minister voor Rechtsbescherming Drs. Sander Dekker, de Wethouder Economie, Internationaal, en Dienstverlening van de Gemeente Den Haag Drs. Saskia Bruines,…
-
Texas Certified Public Manager® Program Director bezoekt Universiteit Leiden in Den Haag
Dr. Howard en Marilyn Balanoff van het CPM-programma van Texas bezochten Universiteit Leiden in Den Haag om hun kennis te delen en te leren van het Leiden Certified Public Manager® Program. We maakten van de gelegenheid gebruik en hebben hen enkele vragen gesteld.
-
The Hague Program for Cyber Norms verwelkomt nieuwe gastonderzoeker Arun Sukumar
Arun Sukumar zal in november een maand gastonderzoeker zijn bij het The Hague Program for Cyber Norms.
-
Call for papers: The Hague Program for Cyber Norms Conference 2019
Op 5 en 6 november 2019 wordt in Den Haag door het The Hague Program for Cyber Norms een conferentie georganiseerd met als thema: ‘Dealing with Uncertainty’
-
Berkeley Legal Studies Global Access Program (semester programma) + Voorlichting op 20 september
Leiden Law School heeft recent een Memorandum of Understanding getekend met UC Berkeley Extension/UC Berkeley School of Law.
-
The Hague Program for Cyber Norms verwelkomt Visiting Fellow Russell Buchan
Met veel genoegen heten wij Russell Buchan welkom als Visiting Fellow aan de Universiteit Leiden. Russell zal van 19 augustus tot 13 september 2019 verbonden zijn aan het The Hague Program for Cyber Norms van het Institute of Security and Global Affairs.
-
toekomst: Inschrijving geopend voor het Leiden Legal Technologies Program
Met de opkomst van het digitale tijdperk staan juristen voor nieuwe uitdagingen. Recht en technologie zijn nog niet samengebracht om de uitdagingen van het huidige juridische domein te overwinnen. Juridische technologieën bieden nieuwe technieken voor het werk van de jurist om het juridisch domein verder…
-
Groen licht van de Adviescommissie voor het Leiden Legal Technologies Program
Technologische ontwikkelingen gaan snel. Het Leiden Legal Technologies Programme stond op de agenda van de Adviescommissie tijdens de tweede bijeenkomst op 15 oktober. Het besluit om het programma in januari 2021 te starten is unaniem genomen. Het was het officiële moment om de afronding van de voorbereidingen…
-
On hard real-time scheduling of cyclo-static dataflow and its application in system-level design
Promoter: Ed F. Deprettere, Co-promoter: Todor P. Stefanov
-
Het 'The Hague Program for Cyber Norms' verwelkomt gastonderzoeker Caitríona Heinl
Wij zijn zeer verheugd Caitriona Heinl te verwelkomen als gastonderzoeker voor het The Hague Program for Cyber Norms bij het Institute of Security and Global Affairs van de Universiteit Leiden, van 22 januari tot 16 februari 2018.
-
The Hague Program on International Cyber Security: op zoek naar de olifanten in de kamer
Een nieuw jaar, een nieuw project, een nieuwe naam: The Hague Program on International Cyber Security. Hoogleraar Global Security and Technology Dennis Broeders heeft een subsidie van 2 miljoen euro van het ministerie van Buitenlandse Zaken gekregen.
-
Baoxiao LIU
Wiskunde en Natuurwetenschappen
-
Leidse studenten winnen internationale codeerwedstrijd
Twee teams van Leidse studenten Wiskunde en Informatica wonnen vrijdag goud en brons bij een internationale programmeerwedstrijd met 605 deelnemers. Tweede Kamerlid en ICT-politicus van het Jaar Kees Verhoeven kwam langs om ze persoonlijk te feliciteren.
-
A versatile tuple-based optimization framework
Promotor: Prof.dr. H.A.G. Wijshoff
-
Explicit Computation of the Height of a Gross-Schoen Cycle
Arithmetic geometry concerns the number-theoretic properties of geometric objects defined by polynomials. Mathematicians are interested in the rational solutions to these geometric objects.
-
ALGANT
Fundamental research in the ALgebra, Geometry And Number Theory
- Leiden Legal Technologies Program