1,404 zoekresultaten voor “Computer programming” in de Publieke website
-
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.
-
Automata-theoretic protocol programming
Promotor: F. Arbab
-
Leiden Legal Technologies Program
Volg het Joint Legal Technologies Programme voor professionals bij de Universiteit Leiden en de Open Universiteit
-
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…
-
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.
-
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 2023-2024
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…
- Quantum Computers
-
Computer Science (MSc)
Deze opleiding wordt aangeboden door het Leiden Institute of Advanced Computer Science. In deze opleiding analyseer je hoe ICT, innovatie mogelijk maakt in sectoren van het bedrijfsleven als marketing, financiën en strategie. Internationale uitwisseling en in-company scriptieprojecten bij vooraanstaande…
-
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.
-
Computer vision en beeldverwerking
Aan de hand van de karakteristieke aspecten van een beeld kunnen bepaalde computers ons vertellen wat het beeld laat zien. Ze kunnen dit leren op dezelfde manier als jonge kinderen beelden kunnen leren herkennen. Het verder verbeteren van deze technieken opent de weg naar een hele reeks nieuwe toepassingen.…
-
Computer Mediated Communicatie
Toen de corona-pandemie uitbrak, veranderde er ineens heel veel in onze dagelijkse communicatie. Door de maatregelen communiceerden we veel meer digitaal . Dat was voor iedereen wennen, maar hoe was dat voor jongeren met selectief mutisme?
-
Computer Systems, Imagery & Media
Het Computer Systems, Imagery & Media (CSI) onderzoeksprogramma voert fundamenteel onderzoek uit naar methoden en technieken voor het ontwerp, de implementatie en de applicatie van geavanceerde computersystemen.
-
Computer Science and Education (MSc)
Na afronding van deze opleiding beschik je over een eerstegraads onderwijsbevoegdheid en ben je goed voorbereid op een carrière als docent in het voortgezet onderwijs.
-
Data Science: Computer Science (MSc)
In deze opleiding leer je om concepten uit de statistiek en informatica te gebruiken om waardevolle informatie te halen uit grote hoeveelheden data.
-
Computer Mediated Communicatie
Toen de corona-pandemie uitbrak, veranderde er ineens heel veel in onze dagelijkse communicatie. We konden familie niet meer bezoeken en de scholen sloten. Door de coronamaatregelen communiceerden we veel meer digitaal met familie, vrienden/vriendinnen en leraren of klasgenoten. Dat was voor iedereen…
-
Reasoning about object-oriented programs: from classes to interfaces
Promotie
-
Machine learning and computer vision for urban drainage inspections
Sewer pipes are an essential infrastructure in modern society and their proper operation is important for public health. To keep sewer pipes operational as much as possible, periodical inspections for defects are performed.
-
Computer Science and Science Communication & Society (MSc)
In deze opleiding ligt de focus op het informeren van het algemene publiek over belangrijke wetenschappelijke onderwerpen en hoe je deze communicatie wetenschappelijk onderbouwt.
-
Een stuk heelal in de computer
Simulaties van sterrenstelsels helpen om astronomische waarnemingen beter te begrijpen. De EAGLE simulatie, een groot project waarin Leidse astronomen een hoofdrol hebben, laat de evolutie van het heelal zien, van vlak na de Oerknal tot nu.
-
Leiden Institute of Advanced Computer Science
De maatschappij en de wetenschap veranderen in hoog tempo door grote ontwikkelingen in digitale informatieverwerking. Het LIACS staat hier middenin met vooraanstaand onderzoek in gegevensverwerking en kunstmatige intelligentie. Dat bereikt het instituut door een unieke combinatie van fundamenteel en…
-
Optimization of quantum algorithms for near-term quantum computers
This thesis covers several aspects of quantum algorithms for near-term quantum computers and its applications to quantum chemistry and material science.
-
Methods to simulate fermions on quantum computers with hardware limitations
This thesis is a collection of theoretical works aiming at adjusting quantum algorithms to the hardware of quantum computers.
-
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.
-
Towards High Performance and Efficient Brain Computer Interface Character Speller: Convolutional Neural Network based Methods
A P300-based Brain Computer Interface character speller, also known as P300 speller, has been an important communication pathway, under extensive research, for people who lose motor ability, such as patients with Amyotrophic Lateral Sclerosis or spinal-cord injury because a P300 speller allows human-beings…
-
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.
-
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.
-
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.…
-
Massively collaborative machine learning
Promotor: J. N. Kok, Co-promotor: A. J. Knobbe
-
Multi Modal Representation Learning and Cross-Modal Semantic Matching
Humans perceive the real world through their sensory organs: vision, taste, hearing, smell, and touch. In terms of information, we consider these different modesalso referred to as different channels of information or modals.
-
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…
-
Over het instituut
Computer Science LIACS Over het instituut
-
Early educational interventions with computer programmes: the influence of genetic and neurobiological factors
-
-
Computer interventions for young children at risk to prevent reading impairments
This study’s main aim is to test whether children’s learning behaviour explains why they do not benefit from a literate environment.
-
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…
-
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.
-
Nieuw geheugen ontwikkeld voor supergeleidende computer
Als computers werken op supergeleidende stroom, verbruiken ze geen energie. Leidse natuurkundigen hebben nu controle over een nieuw soort supergeleidende geheugenelementen. Publicatie in Nature Communications.
-
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.
-
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.
-
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.
-
Snellere computers met een GPS systeem voor elektronen?
Om meer opslagcapaciteit van computergeheugen en snellere computers te kunnen bouwen, willen natuurkundigen weten wat de exacte positie is van elektronen in een elektrisch circuit. Prof. Michel Orrit en collega’s gaan een apparaat bouwen om dat te meten. De Stichting Fundamenteel Onderzoek der Materie…
-
Interviews in Computer Idee
Lees hier de interviews uit Computer Idee van juni 2010 over de cursus Iphone programmeren van 9 en 16 april jl.
-
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…
-
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.
-
‘Kunnen computers rechtspreken?’
Is de robotrechter het ideale hulpmiddel voor overbezette rechters of verdwijnt de menselijk maat op deze manier uit de rechtszaal? Volgens voorstanders zouden machines, voorzien van moderne AI-technieken, in de nabije toekomst tot beslissingen kunnen komen die de menselijke maat te boven gaan.
-
CfA: Johnson Program for First Book Authors (Western Michigan University)
The Medieval Institute at Western Michigan University is delighted to host the Wallace Johnson Program for First Book Authors, a program designed to provide support and mentorship to scholars working towards the publication of their first book on the law and legal culture of the early middle ages. In…
-
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.
-
Kan een computer rechtspreken?
Kan een computer in de rechtszaal net zo goed uitspraak doen als een rechter? Hoogleraar Recht en informatica Jaap van den Herik vindt volmondig van wel. Hij legt het uit in een college van de Universiteit van Nederland.