733 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
-
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…
- English Language Assessment
-
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.
-
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 and Culture
- 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!
-
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).
-
The Silk Road Language Web
A linguistic prehistory of the Tarim Basin in Northwest China
-
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.
-
Meeloopdag English Language and Culture
Studievoorlichting
-
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.
-
The music of language: exploring grammar, prosody and rhythm perception in zebra finches and budgerigars
Promotor: C.J. ten Cate
-
Custom-made online language courses
Make use of this time to improve your language skills by signing up for custom-made online language classes.
-
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 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…
-
Personal experience narratives in three West African sign languages
Op 27 februari promoveert Marta Morgado. Het Leiden University Centre for Linguistics feliciteert Marta!
-
Understanding Ghanaian sign language(s): history, linguistics, and ideology
Op 27 juni promoveert Timothy Mac Hadjah. Het Leiden University Centre for Linguistics feliciteert Timothy!
-
Cortical contributions to cognitive control of language and beyond
Op 12 october promoveert Fatemeh Tabassi Mofrad. Het Leiden University Centre for Linguistics feliciteert Fatemeh!
-
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
-
Natural Language Processing in Healthcare: Applications and Value
Promotie
-
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.
-
Cattle-talk: the language of colour among East African pastoralists
What categories exist in the languages of pastoralists? Do these semantic concepts reflect universal or languagespecific tendencies? What (environment? culture?) governs the similarities (or the differences) attested crosslinguistically in cattle colour systems?
-
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.
-
Speaking the same language: de invoering van de Anglo-Amerikaanse trust in het Nederlandse recht
Op 5 oktober verdedigde Katherine Filesia het proefschrift 'Speaking the same language: de invoering van de Anglo-Amerikaanse trust in het Nederlandse recht'. Het promotieonderzoek is begeleid door Pim Huijgen en Frans Sonneveldt.
-
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.
-
A Sociolinguistic Study of an Ewe-based Youth Language of Aflao, Ghana
Op 26 september promoveert Cosmas Rai Amenorvi. Het Leiden University Centre for Linguistics feliciteert Cosmas!
-
Digital tools for sign language research: towards recognition and comparison of lexical signs
Op 9 april promoveert Manolis Fragkiadakis. Het Leiden University Centre for Linguistics feliciteert Manolis!
-
Language variation at home and abroad: the case of P'urhepecha in Mexico and its US diaspora
By documenting lexical and morpho-syntactic patterns among P’urhepecha speakers in Mexico and the US diaspora, this project will investigate the sources of language variation. The ensuing online dialect atlas will serve as an online resource for speakers, learners and researchers of the language.
- Het Common European Framework of Reference for Languages
-
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…
-
Computer Science
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…
-
psychosocial development of children with and without Developmental Language Disorder
Emoties en de psychosociale ontwikkeling van kinderen met en zonder Taal Ontwikkelingsstoornis
-
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.
-
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…