1,328 zoekresultaten voor “theoretical computer science” in de Publieke website
-
Unraveling the mechanism of multicopper oxidases: from ensemble to single molecule
Promotores: Prof.dr. G.W. Canters, Prof.dr. T.J. Aartsma
-
Atmospheres of hot alien Worlds
Promotor: Prof.dr. I.A.G. Snellen, C.U. Keller
-
Galaxy formation traced by heavy element pollution
Galaxies form and evolve through close interaction with their surroundings. As a result, the heavy elements ('metals') that are synthesized in stars, are found both inside and outside galaxies.
-
The origins of friction and the growth of graphene, investigated at the atomic scale
Promotor: J.W.M. Frenken
-
Forces and symmetries in cells and tissues
The way organisms develop from the initial single-cellular state to a complex final assembly like the human body, and how the final body is maintained throughout life, is one of the greatest mysteries and it’s understanding one of the biggest scientific challenges.
-
Unveiling protostellar disk formation around low-mass stars
Promotor: Prof.dr. E.F. van Dishoeck
-
Modelling the interactions of advanced micro- and nanoparticles with novel entities
Novel entities may pose risks to humans and the environment. The small particle size and relatively large surface area of micro- and nanoparticles (MNPs) make them capable of adsorbing other novel entities, leading to the formation of aggregated contamination.
-
Surface Temperature and the Dynamics of H2 on Cu(111)
Heterogeneous catalysis is one of the fundamental processes of modern life, being common in industrial refinery and hydrogen vehicles, all the way to the living cell. The dissociation of H2 on Cu(111) is an important benchmark system for studying heterogeneous catalysis, with a large and varied amount…
-
Understanding deep meta-learning
The invention of neural networks marks a critical milestone in the pursuit of true artificial intelligence. Despite their impressive performance on various tasks, these networks face limitations in learning efficiently as they are often trained from scratch.
-
The symmetry of crystals and the topology of electrons
Promotor: J. Zaanen, Co-Promotor: V. Juricic
-
Atomic Insights into Hydrodesulfurization
Hydrodesulfurization (HDS) is an ubiquitous part of oil refining that ensures that fuels are cleaned of impurities and environment release of pollutants such as SOx and NOx gasses are minimized.
-
The puzzle of protoplanetary disk masses
My work focuses on a class of astronomical objects called protoplanetary disks.
-
Topological phases and phase transitions in magnets and ice
The main focus of this thesis is the behaviour of two-dimensional materials, namely (anti)-ferromagnetic materials in the first two chapters, which show topological phases, and energetic square ice in the third and fourth chapter.
-
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.
-
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…
-
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.
-
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.
- Thesis Lab: "The Source Course" (3 ECTS)
-
Aske Plaat nieuwe wetenschappelijk directeur LIACS
Prof. dr. Aske Plaat (1966) wordt per 1 januari 2016 de nieuwe wetenschappelijk directeur van LIACS, het Informatica Instituut van de Universiteit Leiden. Plaat werkt sinds 1 juli 2014 als hoogleraar Data Science bij LIACS.
-
Network analysis methods for smart inspection in the transport domain
Transport inspectorates are looking for novel methods to identify dangerous behavior, ultimately to reduce risks associated to the movements of people and goods. We explore a data-driven approach to arrive at smart inspections of vehicles.
-
Science & Cinema: Leidse wetenschappers op het Leiden International Film Festival
Een film en quiz in de Oude Sterrewacht, met je mobiel zelf de afloop van de film bepalen, of in Den Haag naar een politieke satire kijken. Het kan allemaal in Science & Cinema, the 444 edition, een speciaal programma tijdens het LIFF, het Leiden International Film Festival.
-
Global distribution patterns of distinct mycorrhizal types and ecological drivers of these patterns
What are the global relationships between environmental conditions and abundance of distinct types of mycorrhizal fungi in soil and plant roots?
- Vacatures
-
Dual-Appointment PhD Candidate and Junior System Administrator, Software Optimization and Compiler
The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a:Dual-Appointment PhD Candidate and Junior System Administrator, Software Optimization and Compiler Techniques We are looking for a PhD candidate in Software Optimization and Compiler Techniques. This…
-
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…
-
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.
-
Embedded System Software Engineer (Research and Education support) (0.8-1.0fte)
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
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,…
-
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…
-
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
-
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…
-
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.
-
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.
-
Nuno De Mesquita César de Sá
Wiskunde en Natuurwetenschappen
-
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…
-
De verzamelwoede van Martinus van Marum (1750-1837) en de ouderdom van de aarde
Promotor: F.J. van Lunteren, E. Jorin
-
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.
-
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.’
- Wim Klein - de laatste menselijke computer
-
Anne Urai en Neuromatch-collega's winnen prijs voor Open Science
Cognitief neurowetenschapper Anne Urai maakt deel uit van het Neuromatch Conference-team met wie ze de prijs voor open science heeft gewonnen. Met deze prijs ter waarde van $ 80.000, wil Neuromatch barrières in financiering en onderwijs verminderen of wegnemen door altijd betaalbare educatie, netwerken…
-
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ë.
-
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