1,309 zoekresultaten voor “theoretical computer science” in de Publieke website
-
Exploring the Edge
At the largest scales, two ingredients dictate the distribution of matter in the Universe. The first is dark matter, acting as an invisible scaffolding held together by gravitational forces.
-
Chemical reactivity of O2, CO and CO2 on Cu surfaces
Despite the history of studies on methanol formation from CO2, the dominant elementary reaction steps that constitute the chemical mechanism for this catalyzed process are not determined.
-
Social network and radical innovation: evidence from the U.S. pharmaceutical and biotechnology industry
Innovation plays an essential role in firms' competitiveness and long-term success. It varies from different types, ranging from run-of-the-mill innovation that brings incremental changes to existing technologies to radical innovation that breaks from existing trajectories.
-
Genomics applications of nanopore long-read sequencing for small to large sized genomes
In this thesis I highlight the applications of Oxford Nanopore Technologies (ONT) sequencing. This technique is a relatively new approach in the sequencing field, where nanopores are embedded in a membrane, DNA molecules are pulled through nanopores and an electrical current serving as the sequencing…
-
Michael Lew
Wiskunde en Natuurwetenschappen
-
Alan Kai Hassen
Wiskunde en Natuurwetenschappen
-
Hanshu Yu
Wiskunde en Natuurwetenschappen
-
Oscar Rueda
Wiskunde en Natuurwetenschappen
-
Alberto Ceria-
Wiskunde en Natuurwetenschappen
-
Chris Riddell
Faculteit der Sociale Wetenschappen
-
Onderzoek
Computers worden steeds krachtiger en krijgen steeds ingewikkelder taken. Het Leiden Institute of Advanced Computer Science (LIACS) doet baanbrekend wetenschappelijk onderzoek en past nieuwe vindingen toe in actuele maatschappelijke vraagstukken.
-
Nieuw paradigma voor visuele herkenning
Informatici Yu Liu, Yanming Guo en Michael Lew van de Universiteit Leiden zijn een stap dichterbij hun ultieme doel: zoekmachines met visuele herkenning. Hun publicatie van een nieuw algoritme voor het samenvoegen van multi-scale deep learning representaties is met groot enthousiasme ontvangen. Geen…
-
Negen Leidse projecten krijgen eerste NWO Science Diplomacy Fund
Projecten van negen wetenschappers van de Universiteit Leiden hebben financiering ontvangen uit het nieuwe NWO Science Diplomacy Fund. Het gaat om wetenschappelijke activiteiten die de betrekkingen tussen Nederland en een of meer andere landen bevorderen.
-
Gehandicapten bewegen in toekomst dankzij technologie Minority Report
Vanaf vandaag is Microsoft Kinect te koop. Met de camera voor de Xbox 360 is het mogelijk om games te spelen zonder controller. Volgens Fons Verbeek van het Leidse Institute of Advanced Computer Science zou Kinect daarom wel eens het begin kunnen zijn van een hele nieuwe generatie computer interfaces.…
-
Leiden is European City of Science in 2022
In 2022 is Leiden gastheer voor het Euroscience Open Forum, de grootste multidisciplinaire wetenschappelijke bijeenkomst van Europa. Voor het organiseren - en binnenhalen - van het congres hebben Universiteit Leiden, Gemeente Leiden, Leiden Marketing en The Hague Convention Bureau de krachten gebund…
-
Lowlands Science: op jacht naar vlinders in je buik
Stop twee vrijgezellen in één container en je krijgt … wetenschap! Psychologen van de Universiteit Leiden doen vanaf 19 augustus onderzoek naar daten op festival Lowlands.
-
Forse uitbreiding Leidse quantumcomputing
De NWO Zwaartekrachtsubsidie van 18,8 miljoen euro voor quantumsoftware die Amsterdam, Delft en Leiden gezamenlijk binnenhaalden, betekent voor de Universiteit Leiden onder meer de aanstelling van tenminste twee nieuwe vaste wetenschappelijke stafleden, die elk hun eigen onderzoeksgroep gaan opzetten,…
-
Het verschil tussen correlatie en causaliteit
Het Advocatenblad besteedt in het laatste nummer uitvoerig aandacht aan computers die beslissingen nemen. Marlies van Eck, universitair docent en onderzoeker bij eLaw, is hiervoor geïnterviewd en vertelt over het verschil tussen correlatie en causaliteit
-
Embedded System Software Engineer (Research and Education support) (0.8-1.0fte)
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Naar relevante quantumcomputers
Kunnen we quantumcomputers gebruiken op een manier die ook maatschappelijk relevant is? Met behulp van een NWA-subsidie van 2 miljoen euro gaat de Universiteit Leiden samen met partners zoals Surf, Google en Volkswagen aan de slag om aan te tonen dat quantumcomputers ook buiten het lab van waarde zi…
-
Transmedia storytelling for critical engagement
De Universiteit Leiden en VU Amsterdam ontwikkelen samen een onderzoeksproject voor een digitaal platform waarop je zelf verhaallijnen kunt maken en delen met gebruik van beeld. Zo’n interactief middel maakt een saaie geschiedenisles veel aantrekkelijker en persoonlijker. Bovendien stimuleert het om…
-
Serge Rombouts: 'AI leert van hersenscans en zoekt mee naar diagnose'
De welbekende MRI-beelden met oplichtende actieve hersendelen, zijn het resultaat van berekeningen. Volgens Serge Rombouts is dat nog geen echte kunstmatige intelligéntie. 'Dat is het pas als de computer iets adviseert of beslist.’ Precies wat Rombouts wil bereiken. Hij werkt onder andere samen met…
-
L’Oréal-UNESCO Women in Science Fellowship toegekend aan Femke Nijboer
Femke Nijboer, universitair docent bij Gezondheids-, medische en neuropsychologie heeft een van de twee Nederlandse fellowships 2015 van L’Oréal-UNESCO Women in Science ontvangen. Dat gebeurde op 24 november bij de KNAW in Amsterdam.
-
Wessel Kraaij benoemd tot hoogleraar Applied Data Analytics
Wessel Kraaij is per 1 maart 2016 benoemd als hoogleraar ‘Applied Data Analytics’. Kraaij gaat grote datasets analyseren met nieuwe methoden. Met data van partijen uit verschillende data-intensieve onderzoeksdomeinen wil hij de methoden ook toetsen in de praktijk.
-
De verzamelwoede van Martinus van Marum (1750-1837) en de ouderdom van de aarde
Promotor: F.J. van Lunteren, E. Jorin
-
Jaap van den Herik over samenwerking in data science met CBS
Al sinds de oprichting van het Leiden Centre of Data Science in 2014 werkt het samen met het CBS. Grondlegger Jaap van den Herik legt uit waarom het belangrijk is om de krachten te bundelen. ‘Data science is een multidisciplinaire wetenschap.’
-
Open Science Hub ontvangt de Portugese Medal of Scientific Merit 2021
Open Science Hub, een onderwijsproject gecoördineerd door de Universiteit Leiden, heeft de Portugese Medal of Scientific Merit 2021 gewonnen voor haar bijdragen aan communitybuilding door middel van wetenschappelijk onderwijs, onderzoek en innovatie.
-
ICSSR-NWO Social Science Collaboration subsidie voor Erik de Maaker
Antropoloog Erik de Maaker ontvangt een beurs voor onderzoekssamenwerking tussen India en Nederland voor het project 'Markets, Ethics and Agency.' De subsidie wordt ingezet voor onderzoek naar de toenemende integratie van de hooglanden van Zuid-Azië.
-
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…
- Wim Klein - de laatste menselijke computer
-
HEPGAME
HEPGAME is a research project that combines the world’s fastest computer algebra system for High Energy Physics equations, FORM, with insights from artificial intelligence. The name combines High Energy Physics and Games.
-
Afstudeeropdrachten
Bedrijven kunnen opdrachtgever zijn voor het afstudeeronderzoek van onze studenten.
-
Thuis speuren
Vrijwilligers doen binnen Erfgoed Gezocht op twee manieren onderzoek: via de computer en in het veld. Op de computer worden uitsneden van de hoogtekaart onderzocht op zoek naar resten van archeologisch erfgoed.
-
Digiuseppe & Poast, ‘Arms versus Democratic Allies’
In theory, states can gain security by acquiring internal arms or external allies. Yet the empirical literature offers mixed findings: some studies find arms and allies to be substitutes, while others find them to be complements. Political scientists Matthew Digiuseppe (Leiden University) and Paul Poast…
-
LURIS presenteert boek ‘Focus on the Appliance of Science from Leiden’
Leiden University Research & Innovation Services (LURIS), de afdeling van de Universiteit Leiden en het LUMC die de valorisatie van het wetenschappelijk onderzoek stimuleert en in goede banen leidt, presenteert op 28 oktober het boek Focus on the Appliance of Science from Leiden. Dat laat vanuit diverse…
-
Decaan Geert de Snoo opent vernieuwde Plesmanlaan van Bio Science Park
Op vrijdagmiddag 20 januari opende decaan Geert de Snoo het projectgebied OBSP/Plesmanlaan samen met wethouder Robert Strijk, Hans Sturkenboom van de Ondernemersvereniging Verbeekstraat en Harry Flore van de ondernemersvereniging Bio Science Park. Ze openden het gebied symbolisch door een boom te pl…
-
Rijpma uitgenodigd door Nuffic NESO Rusland voor de Dutch Science Talks
Rijpma werd uitgenodigd door het ‘Netherlands Education Support Office’ van de Nederlandse Organisatie voor de Internationalisering van Onderwijs (Nuffic) om in Rusland te spreken binnen het kader van hun Dutch Science Talks.
-
PhD in Formal Methods for Quantum Compilation (1.0 FTE)
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Playing dice with the Universe
The ultimate goal of cosmologists is to find a cosmological model able to explain the current observational data.
-
The holographic glass bead game: from superconductivity to time machines
Promotores: Prof.dr. J. Zaanen, Prof.dr. K.E. Schalm
-
Cryptography from quantum uncertainty in the presence of quantum side information
Promotor: Ronald Cramer, Co-promotor: Serge Fehr
-
Unfolding the principles of genome folding and dynamics in bacteria
Remus Dame
-
The galaxy–dark matter connection: a KiDS study
In this thesis, the research focuses on the properties of dark matter and dark matter haloes and how they connect with the galaxies we can observe in the Universe.
-
Designing 'context-specific' regional innovation policy: a study on the role of regional government in six European regions
Whilst government’s ability to design ‘context-specific’ regional innovation policy is generally assumed to depend on the region’s decision-making power, the aim of this study is to investigate how regional government matters. In order to open up the black box of policy design, the study develops a…
-
Identifying the origins of galaxy formation
This thesis investigates how galaxies form and what diversifies the evolutionary histories of galaxies.
-
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.
-
Van woord tot akkoord. Een analyse van de partijkeuzes in CPB-doorrekeningen van verkiezingsprogramma's en regeerakkoorden, 1986-2017
This PhD-thesis analyses the relationship between the parties’ choices in the CPB Netherlands Bureau for Economic Policy Analysis’ assessments of the election manifestos and coalition agreements over the period 1986-2017, and tries to explain this relationship.
-
Statistical physics and information theory for systems with local constraints
Systems with local constraints is a new finding in recent researches on complex systems. The heterogeneous spatial interactions and the temporal dependencies among those numerous units make it difficult to describe by traditional statistical physics.
-
Lava worlds: characterising atmospheres of impossible nature
Over the last three decades, the discovery of exoplanets has revealed the boundless variety of worlds beyond our own Solar System. Majority of planetary systems contain short-period planets that are larger than Earth but smaller than Neptune.
-
Transborder Governance of Forests, Rivers and Seas
Natural resources often stretch across borders that separate modern nation states. This can create conflict and limit opportunities for regulated consumption of their goods and services, but also provide opportunities for joint multinational efforts that exceed single country capabilities.