2,039 zoekresultaten voor “theoretical computer science” in de Publieke website
-
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?
-
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…
-
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 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…
-
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.
-
Theoretical Physics
In de geest van ‘eenheid door verscheidenheid’ is ons doel het bevorderen van inzicht in en waardering voor het wonder dat dezelfde natuurkundige wetten en wiskundige concepten van toepassing zijn op de hele natuur, van de grootste tot de kleinste energie- en lengteschalen. Wij streven naar de toepassing…
-
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.
-
Research in Physics, theoretical (MSc)
Deze master specialisatie behandelt een breed scala aan wetenschappelijke onderwerpen, waaronder High Energy Physics and Particle Cosmology, Theoretical Physics of Life Processes en Condensed Matter Theory.
-
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…
-
Delta-Institute for Theoretical Physics
Waar gaan de quantummechanica, de relativiteitstheorie en de zwaartekracht elkaar vinden? Wat is het missende stukje? Of is er een compleet nieuwe theorie die alle vormen van materie elegant beschrijft?
-
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.
-
Over het instituut
Computer Science LIACS Over het instituut
- Quantum Computers
-
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.
-
De computer schrijft
Generatieve AI in perspectief
-
Data Science
Het verzamelen en interpreteren van grote hoeveelheden data is niet meer weg te denken uit de maatschappij en de wetenschap. De Universiteit Leiden is een kennis- en expertisecentrum van data science dat de nadruk legt op interdisciplinaire samenwerking en innovatie.
-
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…
-
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.
-
Science Communication & Society
The research group Science Communication and Society aims to understand how science communication works to improve the interaction between science and society. Central themes are ‘Bridging the gap between experts and the general public’ and ‘Evaluating Science Communication’.
-
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.
-
Data Science & Artificial Intelligence
De minor Data Science & Artificial Intelligence geeft een toegankelijke introductie tot de theorie en praktijk van datawetenschap en kunstmatige intelligentie. Studenten leren de basis van data-analyse en patroonherkenning in grote gegevensverzamelingen, hoe computers leren en ook het interpreteren…
-
Ethische eisen aan data science
Computers worden zo slim, dat ze op termijn wellicht de rol van de rechter overnemen. Tot die tijd buigen Leidse experts zich over de vraag, aan welke normen verantwoordelijke data science moet voldoen.
-
Principles of Environmental Sciences
Principles of Environmental Sciences provides a comprehensive picture of the principles, concepts and methods that are applicable to problems originating from the interaction between the living and non-living environment and mankind. Both the analysis of such problems and the way solutions to environmental…
- Data Science & Artificial Intelligence
-
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.
-
Governance and Data Science Group
The extensive use of electronic communication channels and other devices has opened new possibilities for collecting data on human behavior. This information is sometimes openly accessible, but largely part of administrative registration systems that are not open to the broader public. The data provides…
-
Quantum Information Science & Technology (MSc)
Quantum Information Science & Technology (QIST) encompasses the understanding, design, construction and investigation of quantum information processing systems, such as quantum computers, quantum communication networks, and quantum sensors.
-
Astronomy and Data Science (MSc)
Modern sterrenkundig onderzoek levert enorme hoeveelheden data op. In deze opleiding richt je je op ontwikkeling en toepassing van nieuwe data-mining technologieën. Je combineert Sterrenkundeonderzoek met relevante vakken uit het programma Computer Science.
-
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…
-
Archaeological Sciences
Door de opkomst van nieuwe methodes en technologieën, zoals verbeterde DNA-analyse en big data, is het archeologisch onderzoek de afgelopen decennia ingrijpend veranderd. De onderzoekers van het departement Archaeological Sciences van de Faculteit Archeologie gebruiken de nieuwe wetenschappelijke kennis…
-
Data Science and Artificial Intelligence (BSc)
Bij Data Science & Artificial Intelligence leer je hoe je functies van het brein, zoals denken, geheugen, leren en aandacht in modellen kunt gieten. Deze kennis kun je gebruiken om computers en systemen op vergelijkbare of betere manieren te laten functioneren.
-
SAPPAO - Optimizing the flight times of airplanes using data science
Met het SAPPAO-project willen we de voorspelling van geplande vluchten nauwkeuriger en betrouwbaarder maken. De volledige naam van het project is ‘A Systems Approach towards Data Mining and Prediction in Airlines Operations’.
-
Statistical Science
Het onderzoeksprogramma Statistical Science houdt zich bezig met de analyse en interpretatie van grote hoeveelheden data, de kwantificering van onzekerheid met behulp van kansmodellen en de ontwikkeling en benchmarking van algoritmen en methoden gericht op dataonderzoek.
-
Tuesday Talks: Science Insights | 8 oktober 2024
Lezing, Tuesday Talks: Science Insights
-
Open Science
Aan de Universiteit Leiden zien we open science als dé manier om een grotere wetenschappelijke en maatschappelijke impact te maken. Bovendien groeit de open science-beweging in Nederland snel.
-
Citizen science
Citizen science is een overkoepelende term, die allerlei manieren omvat om burgers en maatschappelijke actoren zoals NGO's te betrekken bij het gezamenlijk ontwikkelen van nieuwe kennis: denk bijvoorbeeld aan crowdsourcing van onderzoeksvragen en aan collectieve gegevensverzameling en -analyse.
-
Peng Sun
Wiskunde en Natuurwetenschappen
p.sun@cml.leidenuniv.nl | +31 71 527 2727
-
Open Science
On this page you find all the ways through which the Institute of Psychology aims to foster Open Science.
-
Citizen Science
Van de verspreiding van zwerfafval tot welke talen er in Leiden en Den Haag gesproken worden: meer dan 50 interessante vragen zijn het afgelopen jaar ingestuurd voor het Citizen Science Project van de Universiteit Leiden. Niet één maar twee Citizen Science-onderzoeksprojecten zijn dit jaar van start…
-
Citizen science
Citizen science of burgerwetenschap is een term die recentelijk veel wordt gebruikt, maar wat houdt het precies in? Wat is het verschil tussen tussen citizen science en crowdsourcing? En hoe verhoudt community archaeology/gemeenschapsarcheologie zich hiermee?
-
Data science
Het merendeel van de wetenschappers, van archeologen tot zoölogen, verzamelt enorme hoeveelheden gegevens. Hun databanken bevatten grote hoeveelheden informatie die voor de mens moeilijk te filteren zijn. Met een stevige basis in de statistiek en de computerwetenschappen kunnen we algoritmes ontwikkelen…
-
Plant Sciences
De missie van het Plant Sciences onderzoeksprogramma is om bij te dragen aan de duurzame productie van gewassen van hoge kwaliteit, bloemen en hoogwaardige producten met een biologische basis. Dit wordt gerealiseerd door het opdoen van fundamentele kennis over biologische processen omtrent de ontwikkeling…
-
Data Science
Het merendeel van de wetenschappers, van archeologen tot zoölogen, verzamelt enorme hoeveelheden gegevens. Hun databanken bevatten grote hoeveelheden informatie die voor de mens moeilijk te filteren zijn. Met een stevige basis in de statistiek en de computerwetenschappen kunnen we algoritmes ontwikkelen…
-
Animal Sciences
Wij voeren multidisciplinair onderzoek uit op het niveau van moleculen, cellen en organismen binnen de dierkunde. Ons doel is om fundamentele kennis te vergroten over gezondheid en ziekte.
-
OSCoffee: Open Science and AI - Synergy or Contradiction
Lezing
-
Science & Cinema
In films kunnen de meest wonderlijke acties plaatsvinden. Maar zijn die acties in de 'echte' wereld ook mogelijk? En in hoeverre houden filmmakers ons voor de gek? Tijdens het Leiden International Film Festival komen film en wetenschap samen.
-
Bio-Pharmaceutical Sciences and Science Communication and Society (MSc)
Deze opleiding bereidt je voor op een rol als verbindende schakel tussen wetenschap en de samenleving. Je verwerft de kennis en vaardigheden waarmee je andere wetenschappers en leken kunt informeren over belangrijke wetenschappelijke ontwikkelingen in jouw vakgebied.
-
Toegepaste statistiek als pijler voor data science
Hoewel data science op veel plaatsen nu in schwung is, werden er in Leiden al lang geleden data science technieken ontwikkeld. Op dit moment combineren Leidse statistici dankzij hun brede expertise de verworvenheden van de statistiek met de nieuwste methoden van statistical en machine learning.