2,062 zoekresultaten voor “kwantes computer” in de Publieke website
-
Heineken Young Scientists Award voor drie Leidse wetenschappers
Leidse wetenschappers ontvangen dit jaar drie van de vier Heineken Young Scientists Award 2022. Chronobioloog Laura Kervezee, natuurkundige Jordi Tura i Brugués en gezondheidspsycholoog Liesbeth van Vliet mogen de prijs in ontvangst nemen.
-
Student Niels Blokland wint scriptieprijs Letselschade 2017
Masterstudent Civiel Recht Niels Blokland heeft de jaarlijkse scriptieprijs Letselschade 2017 gewonnen. In zijn scriptie breekt hij een lans voor de toepassing van kansschade bij medische fouten. De jury noemde zijn scriptie: ‘Origineel, actueel, goed uitgewerkt en hij schroomt niet om gevestigde namen…
-
Informatica & Economie (BSc)
Met de bachelorspecialisatie Informatica & Economie aan de Universiteit Leiden leer je waardevolle inzichten in de economie te combineren met (programmeer)vaardigheden en kennis uit de informatica.
-
Systemen en beveiliging
Onderzoekers van LIACS werken aan het bedenken van de computers van morgen die de ruggengraat zullen vormen van de Cloud en Edge computing paradigma’s en ‘the Internet of Things’. In dit verband zijn we betrokken bij onderzoek en ontwikkeling van high performance computing systemen, embedded & real-time…
-
Cultureel erfgoed omzetten in bruikbare data
Hoe maken we de informatie in handgeschreven historische onderzoeksverslagen toegankelijk en doorzoekbaar? Leidse data scientists werken samen met andere universiteiten aan een methode om cultureel erfgoed beter te ontsluiten.
-
Van oerknal tot algoritme
Slimme algoritmes en krachtige processoren zijn voor de sterrenkunde net zo essentieel als grote telescopen. Leidse astronomen bewegen zich daarom voortdurend op het raakvlak van sterrenkunde en data science.
-
Naar beter psychologisch onderzoek
Toen psychologen in 2015 honderd studies overdeden, bleek dat tweederde bij herhaling andere uitkomsten gaf. “Onderzoek naar onderzoek is geen luxe, maar een noodzaak”, onderstreept Mark de Rooij, Hoogleraar Methodologie en Statistiek van Psychologisch Onderzoek. “Mijn doel is om psychologisch onderzoek…
-
Cyberveiligheid door Security-by-Design
C-SIDe project betrekt een brede selectie van partners bij het oplossen van cybersecurityproblemen. Beveiliging van softwaresystemen is een kritieke behoefte in onze onderling verbonden samenleving. Bedrijven die softwareproducten ontwikkelen, zoeken naar Security-by-Design-benaderingen die beveiliging…
-
Communicatie over onzekerheden
Om goed onderbouwde besluiten over complexe onderwerpen zoals het klimaat, recht en gezondheid te kunnen nemen, zijn wetenschappelijke resultaten van groot belang. Maar wetenschappelijke resultaten bevatten altijd een mate van onzekerheid. Binnen het onderzoek Communicatie over onzekerheden wordt onderzocht…
-
Online terugkijken
HOVO biedt een klein aantal colleges online.
-
Waarom Universiteit Leiden?
Bij de bachelor Informatica in Leiden krijg je een sterke theoretische basis, die je kunt toepassen in de praktijk. Na je studie kun je zo goed als iedere master in Nederland doen op het gebied van Informatica (Computer Science), Cyber Security, Data Science en Artificial Intelligence, en ben je een…
-
Studieprogramma
Alle studenten volgen in de eerste twee jaar een basispakket aan informaticavakken waarin zowel de fundamentele theorie als praktische toepassingen aan bod komen.Onderwerpen die aan bod komen zijn theorie, wiskunde, onderzoeksvaardigheden, data, artificial intelligence, hardware, systemen, software,…
-
Todor StefanovFaculteit der Wiskunde en Natuurwetenschappen
t.p.stefanov@liacs.leidenuniv.nl | 071 5275776
-
Algorithm selection and configuration for Noisy Intermediate Scale Quantum methods for industrial applications
Quantum hardware comes with a different computing paradigm and new ways to tackle applications. Much effort has to be put into understanding how to leverage this technology to give real-world advantages in areas of interest for industries such as combinatorial optimization or machine learning.
-
From Benchmarking Optimization Heuristics to Dynamic Algorithm Configuration
For optimization problems, it is often unclear how to choose the most appropriate optimization algorithm. As such, rigorous benchmarking practices are critical to ensure we can gain as much insight into the strengths and weaknesses of these types of algorithms.
-
Enhanced coinduction
Promotores: Prof.dr. F.S. de Boer, Prof.dr. J.J.M.M. Rutten (Radboud Universiteit Nijmegen)
-
Over het project
Erfgoed Gezocht is een citizen science - of burgerwetenschapsproject waarbij iedereen kan meewerken aan archeologisch onderzoek.
-
Who gets what, when, and how? An analysis of stakeholder interests and conflicts in and around Big Science
Big Science, commonly defined as conventional science made big in three dimensions, namely organizations, machines, and politics, brings a plethora of different stakeholders together, often for a long period of time. This includes policymakers, scientists, (scientific) managers as well as local “host”…
-
Interactive scalable condensation of reverse engineered UML class diagrams for software comprehension
Promotores: Prof.dr. J.N. Kok, Prof.dr. M.R.V. Chaudron (Chalmers Univ., Sweden)
-
Business incubators: the impact of their support
A New Technology-Based Firm (NTBF) is a significant enabler of job creation and a driver of the economy through stimulating innovation.
- Aflevering 10: Realtime realiteit
-
Opinion Diversity through Hybrid Intelligence
This dissertation explores how Large Language Models (LLMs) can effectively and responsibly contribute to complex decision-making processes. By combining AI and human intelligence, Hybrid Intelligence (HI) emerges, allowing the strengths of both humans and machines to be utilized.
-
Image analysis for gene expression based phenotype characterization in yeast cells
Promotores: T.H.W. Bäck, A. Plaat, Co-promotor: F.J. Verbeek
-
Fostering Curiosity Through Video Games
This thesis manuscript explores the use of video games as tools for conceptual exploration and academic research.
-
Improving robustness of tomographic reconstruction methods
Promotor: Prof.dr. K.J. Batenburg
-
Bayesian learning: challenges, limitations and pragmatics
This dissertation is about Bayesian learning from data. How can humans and computers learn from data?
-
DSE 2.0
DSE 2.0: Naar een optimaal ontwerp van complexe, gedistribueerde cyber-fysieke systemen
-
Designing Ships using Constrained Multi-Objective Efficient Global Optimization
A modern ship design process is subject to a wide variety of constraints such as safety constraints, regulations, and physical constraints.
-
Reasoning about object-oriented programs: from classes to interfaces
Throughout the history of computer science, a major challenge has been how to assert that software is free of bugs and works as intended. Software bugs can lead to serious negative impacts on any software system. Throughout the main body of the thesis, we implemented a series of studies on exploring…
-
Optimally weighted ensembles of surrogate models for sequential parameter optimization
It is a common technique in global optimization with expensive black-box functions to learn a surrogate-model of the response function from past evaluations and use it to decide on the location of future evaluations.
-
Imperfect information variants of combinatorial games
Combinatorial games are games for two competing players, moving in a turn-by-turn fashion, in which there is no chance nor hidden information. Chess, checkers and the simpler tic tac toe are well-known examples of this class of games, as well as game of go.
-
Semi-partitioned Scheduling and Task Migration in Dataflow Networks
Promotor: Ed F. Deprettere, Co-promotor: Todor P. Stefanov
-
Education
The specialisation Science Communication and Society (SCS) concerns science communication in a broad sense. The program focuses on the link between science and society and covers knowledge and skills in the field of science communication.
-
Sociaal ingebedde AI-systemen
Dit interdisciplinair onderzoeksproject verkent verschillende adaptieve machine-learning methoden die inzicht kunnen geven in de interactie tussen mens en machine. Het uiteindelijke doel is een open en natuurlijke communicatie tussen mens en AI die moet resulteren in wederzijds vertrouwen, samenwerking…
-
On the Emergence of the Energy Transition
The energy system is at the heart of two of the greatest challenges of the 21st century: decreasing CO2 emissions to meet the ambitions of the Paris agreement while fulfilling the growing energy demand associated with the economic aspirations of a growing world population.
-
Progressive Indexes
Interactive exploration of large volumes of data is increasingly common, as data scientists attempt to extract interesting information from large opaque data sets. This scenario presents a difficult challenge for traditional database systems, as (1) nothing is known about the query workload in advance,…
-
Deep learning for tomographic reconstruction with limited data
Tomography is a powerful technique to non-destructively determine the interior structure of an object.Usually, a series of projection images (e.g.\ X-ray images) is acquired from a range of different positions.
-
Formal models of software-defined networks
SDN (Software-Defined Networking) represents a revolutionary approach to network architecture that enables the dynamic and flexible management of network resources through software-based control. This dissertation introduces the idea of SDN and its southbound protocol OpenFlow, then presents the formal…
-
Benchmarking Discrete Optimization Heuristics
This thesis involves three topics: benchmarking discrete optimization algorithms, empirical analyses of evolutionary computation, and automatic algorithm configuration.
-
Foam rheology near the jamming transition
Promotor: Prof.dr. M.L. van Heck, Co-Promotor: B.P. Tighe
-
Abstract delta modeling: software product lines and beyond
Promotor: Prof.dr. F.S. de Boer, Co-promotor: D. Clarke
-
Fuzzy systems and unsupervised computing: exploration of applications in biology
In this thesis we will explore the use of fuzzy systems theory for applications in bioinformatics.
-
Studying the Benefits of Using UML on Software Maintenance: an Evidence-Based Approach.
Including modelling as part of software development appears to have various benefits.
-
Guiding evolutionary search towards innovative solutions
Promotors: Prof.dr. T.H.W. Bäck, Prof.dr. B. Sendhoff (Technische Universität Darmstadt)
-
Real-time foresight: preparedness for dynamic innovation networks
Promotor: H.J. van den Herik, B.R. Katzy, Co-promotor: K. Sailer
-
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.
-
Evaluation of Different Design Space Description Methods for Analysing Combustion Engine Operation Limits
Promotor: Prof.dr. T.H.W. Bäck
-
Onderzoek
De programmagroep Leer- en Gedragsproblemen in het Onderwijs doet onderzoek naar stagnaties die kunnen optreden in de cognitieve ontwikkeling.
-
Stochastic and Deterministic Algorithms for Continuous Black-Box Optimization
Continuous optimization is never easy: the exact solution is always a luxury demand and the theory of it is not always analytical and elegant.
-
Reconstruction Methods for Combined HAADF-STEM and EDS Tomography
The research in this thesis is focused on tomographic reconstruction based on two imaging modalities in electron microscopy.