505 zoekresultaten voor “protocol programming” in de Publieke website
-
Automata-theoretic protocol programming
Promotor: F. Arbab
-
Automata-Theoretic Protocol Programming
Promotie
-
Algebraic techniques for low communication secure protocols
Promotor: R. Cramer
-
Unconditionally secure cryptographic protocols from coding-theoretic primitives
This dissertation presents new cryptographic protocols, which can be divided into two families.
-
Leiden Legal Technologies Program
Leiden Legal Technologies Program is een multidisciplinaire opleiding en is een samenwerking van het Leiden Centre of Data Science (LCDS) en het Centre for Professional Learning (CPL).
-
Protocol Etnografisch Onderzoek ten tijde van COVID-19
Dit document is opgesteld naar aanleiding van de wereldwijde uitbraak van COVID-19 die de antropoloog danig belemmert in de kern van haar onderzoek, namelijk het doen van etnografisch veldwerk in zowel binnen- en buitenland maar bijna altijd op locaties buiten de FSW.
-
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 2020-2021
The basic program comprises a total of six courses, organized by the Research School, that have been purpose-developed for training and support of PhD students and Research Master 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.
-
Leiden Certified Public Manager® Program 2021-2022
Het Certified Public Manager® Program (CPM) staat voor grensoverstijgend leiderschap: het over de grenzen van de eigen organisatie, sector en zelfs land denken en handelen.
-
Protocollen coronavirus
(04-11-2020) Tot en met 15 november 2020 is ons bezoekerscentrum helaas gesloten in verband met de landelijke coronamaatregelen. Bij heropening gelden de volgende regels en adviezen:
-
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.
-
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.…
-
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…
-
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…
-
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’.
-
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.
-
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…
-
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.
-
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’
-
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.
-
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…
-
Actors at work
Promotor: F.S. de Boer Co-promotor: P. T. de Gouw
-
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.
-
Baoxiao LIU
Wiskunde en Natuurwetenschappen
-
Sidney Niccolson
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
-
Campusprotocol
Het campusprotocol van de Universiteit Leiden bevat de maatregelen en richtlijnen die binnen de universiteit gelden, waarmee we de veiligheid en gezondheid van onze studenten en medewerkers waarborgen en het risico op verdere verspreiding van het virus zoveel mogelijk beperken.
-
Pharmacology based toxicity assessment: towards quantitative risk prediction in humans
Promotor: Prof.dr. M. Danhof
-
Cum Laude voor nieuwe methode om softwarefouten te voorkomen
Promovendus Sung-Shik Jongmans van de Universiteit Leiden en het Centrum Wiskunde & Informatica onderzocht een nieuwe programmeermethode om softwarefouten te voorkomen. Op 3 maart 2016 promoveerde hij cum laude aan de Universiteit Leiden op zijn proefschrift 'Automata-Theoretic Protocol Programming'…
-
Integrated life cycle assessment and life cycle costing of concrete recycling in the Netherlands
Integrating life cycle assessment (LCA) with life cycle costing (LCC) offers the opportunity to simultaneously analyze the environmental and economic aspects of product alternatives, for the integration of which a unified computational has been proposed by Heijungs et al. (2013) [1]. The project aims…
-
ALGANT
Fundamental research in the ALgebra, Geometry And Number Theory
-
IPA Proefschriftprijs 2016 voor Sung-Shik Jongmans
De Nederlandse onderzoeksschool IPA het voormalig promovendus Sung-Shik Jongmans de IPA Dissertation Award 2016 toegekend. In maart van dat jaar behaalde Jongmans de graad van doctor met de zeldzame vermelding ‘cum laude’. Hij beschreef een nieuwe methode voor parallel programmeren. ‘Ik probeer het…
-
Opleiding
Course program 2020-2021
-
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.
-
Publiek Leiderschap
Een van de kernthema’s in het aanbod van CPL is publiek leiderschap.