984 zoekresultaten voor “programming language” 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
-
Reasoning about object-oriented programs: from classes to interfaces
Throughout the history of computer science, a major challenge has been how to assert that software is free of bugs and works as intended. Software bugs can lead to serious negative impacts on any software system. Throughout the main body of the thesis, we implemented a series of studies on exploring…
-
Scheduled protocol programming
With the advent of multicore processors and data centers, computer hardware has become increasingly parallel, allowing one to run multiple pieces of software at the same time on different machines. Coordination of these pieces is best expressed in a coordination language as an explicit interaction protocol…
-
Leiden Legal Technologies Program
Het Joint Legal Technologies Program is een multidisciplinaire opleiding die een brug slaat tussen de juridische en technische wereld. Deze opleiding wordt aangeboden in samenwerking met de Open Universiteit.
-
Actors at work
Promotor: F.S. de Boer Co-promotor: P. T. de Gouw
-
Leiden Legal Technologies Program
Volg het Joint Legal Technologies Programme voor professionals bij de Universiteit Leiden en de Open Universiteit
-
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.
- English Language and Culture
-
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
-
Language policy and planning
Op microniveau bij interactie tussen familie of vrienden, op mesoniveau bij scholen, winkels, religieuze groeperingen of bedrijven, en op macroniveau bij natiestaten en internationale organisaties: Language Policy and Planning (LPP) is overal!
-
Meeloopdag English Language and Culture
Studievoorlichting
-
Basic Program 2024-2025
The basic program comprises a total of twelve 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).
-
English Language and Culture (BA)
Van Groot-Brittannië tot aan de Verenigde Staten en van Australië tot aan Zuid-Afrika: over de hele wereld spreken en schrijven mensen in het Engels. In Leiden verdiep je je op academisch niveau in de Engelse taal, en in de rijke literatuur en cultuur van de mondiale Engelse wereld.
-
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.
-
New Foundations for Separation Logic
The research presented in this thesis concerns one of the most important questions in software engineering of our time: how can we make sure that software is free from memory safety bugs?
-
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.
-
Custom-made online language courses
Make use of this time to improve your language skills by signing up for custom-made online language classes.
-
The music of language: exploring grammar, prosody and rhythm perception in zebra finches and budgerigars
Promotor: C.J. ten Cate
-
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.
-
Online Experience English language and culture
Studievoorlichting, Online Proefstuderen
-
Online Course The Miracles of Human Language: Introduction into Linguistics
There is no human society that does not employ a rich and diverse language. This course introduces you to linguistics, featuring interviews with well-known linguists and with speakers of many different languages. Join us to explore the miracles of human language!
-
Student for a day English Language and Culture
Studievoorlichting
-
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…
-
Reconstructing the past through languages of the present: The Lesser Sunda Islands
Wat kunnen de talen die vandaag gesproken worden op de Kleine Soenda-eilanden ons vertellen over de geschiedenis van de verschillende bevolkingsgroepen?
- “Living la vida loca”: Language mixing in Latin America
-
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.
-
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.
-
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.
-
An Algebra for Interaction of Cyber-Physical Components
Modeling and analysis of cyber-physical systems are still challenging. One reason is that cyber-physical systems involve many different parts (cyber or physical), of different nature (discrete or continuous), and in constant interaction via sensing and actuating.
-
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.…
-
assessment procedure for beginning teachers of English as a foreign language
Dit proefschrift beschrijft de ontwikkeling van een beoordelingsprocedure voor docenten, toegespitst op beginnende eerstegraads docenten Engels.
- Het Common European Framework of Reference for Languages
-
A Sociolinguistic Study of an Ewe-based Youth Language of Aflao, Ghana
Promotie
-
Self-directed language learning using mobile technology in higher education
Hoe gebruiken studenten mobiele technologie voor hun zelfsturende taalleren? Welke factoren beïnvloeden hun zelfgestuurd leren met mobiele technologie?
-
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…
-
psychosocial development of children with and without Developmental Language Disorder
Emoties en de psychosociale ontwikkeling van kinderen met en zonder Taal Ontwikkelingsstoornis
-
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…
-
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.
-
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…
-
Combining monitoring with run-time assertion checking
Promotor: F.S. de Boer, Co-promotor: M.M. Bonsangue
-
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…
-
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…
-
LECTIO Visiting program 2023-2024
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 2023-2024. Deadline for submissions: May 31.
-
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.