986 zoekresultaten voor “programming languages” in de Publieke 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.
-
Automata-theoretic protocol programming
Promotor: F. Arbab
- English Language Assessment
-
Actors at work
Promotor: F.S. de Boer Co-promotor: P. T. de Gouw
- Leiden Legal Technologies Program
-
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…
-
Modern Languages (MA)
In de masteropleiding Modern Languages van de Universiteit Leiden kun je je focussen op één van deze vijf moderne talen: Chinees, Engels, Frans, Duits of Italiaans.
- Leiden Legal Technologies Program
- Leiden Legal Technologies Program
- Leiden Legal Technologies Program
- 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…
- English Language Assessment for BA and MA students
-
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.
-
PhD candidate FutureU research program
Sociale Wetenschappen
-
Basic program 2021-2022
The basic program comprises a total of seven 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…
- English Language Assessment for BA and MA students
-
Custom-made online language courses
Make use of this time to improve your language skills by signing up for custom-made online language classes.
-
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.
-
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.
-
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.
- Why Brazil Matters: culture, history and language
-
Online Experience English language and culture
Studievoorlichting, Online Proefstuderen
-
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.
-
2-year Lecturer position in Medieval English Language and Literature
Geesteswetenschappen, Centre for the Arts in Society
-
What’s CLIL about bilingual education? A window on Content and Language Integrated Learning pedagogies
In Nederland bieden ongeveer 130 van de 700 middelbare scholen een tweetalige stroom aan. Toch is er nog maar weinig wetenschappelijk onderzoek naar CLIL (content and language integrated learning). Met haar proefschrift wil Evelyn van Kampen (promovendus bij het ICLON) bijdragen aan een beter begrip…
- “Living la vida loca”: Language mixing in Latin America
-
Post-doctoral researcher The Hague Program on International Cyber Security (1,0 FTE)
Governance and Global Affairs, Institute of Security and Global Affairs
- Travelling through time with words: A history of the English language
-
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.
-
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.…
- Het Common European Framework of Reference for Languages
-
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…
-
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…
-
psychosocial development of children with and without Developmental Language Disorder
Emoties en de psychosociale ontwikkeling van kinderen met en zonder Taal Ontwikkelingsstoornis
-
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…
-
Combining monitoring with run-time assertion checking
Promotor: F.S. de Boer, Co-promotor: M.M. Bonsangue
-
Asynchronous Programming in the Abstract Behavioural Specification Language
Promotie
-
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…
-
A cross-sectional study of early language abilities in children with sex chromosome trisomy (XXY, XXX, XYY) aged 1–6 years
Een goede taalontwikkeling is van belang voor de cognitieve en sociale ontwikkeling, om te kunnen communiceren en om te kunnen leren. Als de taalontwikkeling niet verloopt zoals verwacht, kan dit allerlei consequenties hebben. Kinderen met een extra X of Y chromosoom hebben een verhoogd risico op problemen…
-
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…
-
The link between hearing loss, language, and social functioning in childhood
In Nederland komt gehoorverlies voor bij 1 tot 2 op de 1000 kinderen. In ongeveer een kwart van de gevallen is de oorzaak niet bekend. De mate van gehoorverlies kent een grote variatie. In dit proefschrift worden kinderen besproken met een gehoorverlies variërend van matig (40 dB, te vergelijken met…
-
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.
-
Sara Petrollino
Faculteit der Geesteswetenschappen
-
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.
-
MOOC ‘Miracles of Language’: divers en interactief
Bent u geïnteresseerd in taal? In de Leiden MOOC ‘Miracles of Language’, laat prof.dr. Marc van Oostendorp cursisten kennis maken met de veelzijdige studie van de talen van de wereld. Analyseer uw moedertaal en leer hoe uw taal lijkt op en verschilt van veel andere talen.
-
Two PhD positions in Experimental Phonetics (1,00 FTE)
Geesteswetenschappen, Centre for Linguistics
-
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.
-
Research Software Engineer
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)