669 zoekresultaten voor “computer” in de Publieke website
- Afstudeerceremonie Computer Science
- Afstudeerceremonie Computer Science
- Afstudeerceremonie Computer Science
- Afstudeerceremonie Computer Science
- Afstudeerceremonie Computer Science
-
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?
-
Samenwerking groep Aarts met Intel
Natuurkundige Jan Aarts gaat samenwerken met chipfabrikant Intel bij zijn fundamentele onderzoek naar zuinige cryogene computers.
-
Drie toekenningen uit Nationaal Groeifonds Quantumtechnologie voor Leidse wetenschappers
Drie Leidse onderzoekers hebben een toekenning gekregen binnen het Nationaal Groeifonds-programma Quantumtechnologie dat NWO in samenwerking met Quantum Delta NL heeft georganiseerd. Lees verder over deze drie futuristische quantumtechnologieprojecten.
-
Clavis Aurea? Structure-enabled approaches of identifying and optimizing GPCR ligands
Promotores: A.P. IJzerman, H.W.T. van Vlijmen
-
NWA-financiering voor communicatie-onderzoek over quantumcomputers
Natuurkundige Julia Cramer krijgt 50 duizend euro financiering voor 'Let's talk about quantum', een onderzoek naar communicatie over quantumcomputers. Een project met scholieren van onderwijs-expert Henk Buisman valt onder dezelfde NWA ELSA-toekenning.
-
Applications of paramagnetic NMR spectroscopy for protein research
The aim of the research presented in this thesis was to develop new methods forchallenging systems in liquid-state NMR using paramagnetic effects generated by thetwo-armed probe CLaNP-5.
-
Eduard Fosch Villaronga
Faculteit Rechtsgeleerdheid
-
Contact
Algemene contactinformatie
-
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.
-
Marcello Bonsangue
Wiskunde en Natuurwetenschappen
-
Automatische detectie
Naast het speuren door vrijwilligers loopt er ook onderzoek naar de inzet van kunstmatige intelligentie bij de zoektocht naar onontdekte archeologische structuren.
-
Computational speedups and learning separations in quantum machine learning
This thesis investigates the contribution of quantum computers to machine learning, a field called Quantum Machine Learning. Quantum Machine Learning promises innovative perspectives and methods for solving complex problems in machine learning, leveraging the unique capabilities of quantum computers…
-
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.…
-
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.
-
Studium Generale presenteert: 'Wim Klein - de laatste menselijke computer'
Kunst en cultuur, Theaterconcert
-
Dual-Appointment PhD Candidate and Junior System Administrator, Software Optimization and Compiler
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…
-
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…
-
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.
-
Filosoferen met quantummechanica
Kwamtummechanica leert ons dat een deeltje op twee plekken tegelijk kan zijn. Wat vertelt ons dat over het leven, de werkelijkheid en het omniversum? Natuurkundige Tjerk Oosterkamp is te gast bij dr Kelder en Co en vertelt wat we wel en niet juist niet kunnen verklaren met deze theorie.
-
2 PhD Candidates, Reinforcement Learning for Sustainable Energy
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Onderzoek
Aan de Universiteit Leiden werken wetenschappers uit alle disciplines samen om antwoorden te vinden en om te innoveren op het gebied van kunstmatige intelligentie.
-
Wij bieden
Als wetenschappelijke partner biedt het Sport Data Center (sport)organisaties een aantal diensten.
-
Computational aspects of class group actions and applications to post-quantum cryptography
Most of current public-key cryptography is considered insecure against attacks from sufficiently powerful quantum computers. Post-quantum cryptography studies methods to secure information resistant against such attacks. One proposal is isogeny-based cryptography, which bases its security on computational…
-
Onderwijs
Het Leiden Institute of Advanced Computer Science (LIACS) verzorgt het bachelor- en masteronderwijs voor informatica aan de Universiteit Leiden.
-
creatIef, Creatiever, creaTiefst? Onderzoek naar het belang en de werking van creativiteitstraining bij Bachelor ICT-studenten
This dissertation presents the results of the importance of creativity for ICT-students of Dutch universities of applied sciences (in Dutch: hogescholen), and the functioning of training courses that aim to promote creative abilities is highlighted.
-
Geïllustreerde handgeschreven archieven begrijpen
Veel handgeschreven en geïllustreerde archieven bevatten een schat aan informatie, maar worden weinig bestudeerd vanwege hun complexe en door computers moeilijk te ontcijferen inhoud. Het doel van dit project is een digitale omgeving te ontwikkelen die hier een oplossing voor biedt, en die de heterogene…
-
Ada Lovelace Distinguished Lecture Series
De Ada Lovelace Distinguished Lecture Series brengt excellente computerwetenschappers van over de hele wereld naar de Universiteit Leiden. De sprekers delen spannende ideeën en resultaten uit de voorhoede van de wetenschap.
-
Algoritmen voor quantumsoftware
Topwetenschappers van drie Nederlandse universiteiten werken samen aan software en systemen voor quantumcomputers. Onderzoekers van het Leiden Institute of Advanced Computer Science (LIACS) ontwikkelen nieuwe algoritmen om die supercomputers te laten werken. De komende jaren moet het eerste quantuminternet…
-
SewerSense
Onderzoekers van de Universiteit Leiden en de TU Delft gaan geautomatiseerd defecten in rioleringen herkennen en classificeren. Ze werken met meerdere lichtgevoelige camera’s op basis van nieuwe geautomatiseerde multi-sensor inspectie met stereo vision en laser range scanning. Computermodellen gaan…
-
Machine Learning
Computers zijn in staat om ongelooflijk nauwkeurige voorspellingen te doen op basis van machine learning. Met andere woorden, deze computers kunnen zonder tussenkomst leren als ze eenmaal door mensen zijn voorgeprogrammeerd. Bij LIACS verkennen en verleggen we de grenzen van wat een revolutionaire nieuwe…
-
Kleine quantumsystemen helpt kunstmatige intelligentie
Zelflerende systemen - draaiend op ‘klassieke’ computers - hebben de afgelopen vijf jaar enorme vooruitgang geboekt. Automatische vertaling van tekst of spraak zijn twee bekende voorbeelden. Leidse onderzoekers verwachten dat zelfs quantumsystemen met maar een paar dozijn qubits deze en andere soorten…
-
Pascal leerstoel
Informatie over de Pascal leerstoel van het Leiden Institute of Advanced Computer Science (LIACS) is beschikbaar in het Engels.
-
Organisatie
Informatie over de organisatie van het Leiden Institute of Advanced Computer Science (LIACS) is beschikbaar in het Engels.
-
Promovendus gebruikt AI om onbekende bijwerkingen op te sporen in patiëntenfora
Op patiëntenfora delen patiënten van alles over hun ziekte: van bijwerkingen en adviezen tot steunbetuigingen. Promovendus Anne Dirkson maakt gebruik van Kunstmatige Intelligentie (AI) om deze informatie op te halen. ‘Negentig procent van de bijwerkingen wordt niet officieel geregistreerd.'
-
Machine learning for radio galaxy morphology analysis
We explored how to morphologically classify well-resolved jetted radio-loud active galactic nuclei (RLAGN) in the LOw Frequency Array (LOFAR) Two-metre Sky Survey (LoTSS) using machine learning.
-
Arguably augmented reality : relationships between the virtual and the real
This thesis is about augmented reality (AR). AR is commonly considered a technology that integrates virtual images into a user’s view of the real world.
-
Tailoring x-ray tomography techniques for cultural heritage research
Visualizing the internal structure is a crucial step in acquiring knowledge about the origin, state, and composition of cultural heritage artifacts. Among the most powerful techniques for exposing the interior of cultural heritage objects is computed tomography (CT), a technique that computationally…
-
Diversiteit & inclusiviteit
Informatie over de diversity committee en LIAXX, het vrouwennetwerk van het Leiden Institute of Advanced Computer Science (LIACS) is beschikbaar in het Engels.
-
Verified Reowolf
Meer informatie over dit onderzoeksproject op de Engelstalige pagina.
-
Informatie voor studenten
Informatie voor studenten van het Leiden Institute of Advanced Computer Science (LIACS), inclusief de Studiegids en roosters, is beschikbaar in het Engels.