121 zoekresultaten voor “computing” in de Publieke website
-
Natural Computing
Het onderzoek in het natural computing cluster omvat theoretische fundamenten, de ontwikkeling van nieuwe algoritmen en interdisciplinaire toepassingen van natuurlijke computermethoden. De drijvende kracht achter hun onderzoek is de missie om het begrip van natuurlijke systemen als rekenmodellen te…
-
Handbook of Natural Computing
Met Natural Computing worden natuurlijke algoritmes en verschijnselen onderzocht om bijvoorbeeld computersystemen te innoveren.
- Foundations of Computing (MSc)
- Advanced Computing and Systems (MSc)
-
NExt ApplicationS of Quantum Computing (NEASQC)
EASQC brengt hoogopgeleide en gemotiveerde academische deskundigen en industriële eindgebruikers samen, die samenwerken aan zeer relevante en representatieve Quantum Computing-toepassingen, en hun lessen zullen delen met hun communities. Om de samenwerking tussen de industrie en de academische wereld…
-
Applications of topology to Weyl semimetals and quantum computing
This thesis covers various applications of topology in condensed matter physics and quantum information.
-
Non-Abelian metamaterials: emergent computing and memory
In the traditional theory of linear elasticity, superposition dictates that the response of a material does not depend on the sequence of the applied mechanical actuations.
-
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.
-
Postdoc Automated Reasoning in Quantum Computing (0.8-1.0 FTE)
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Handbook of Natural Computing
Het onderzoeksgebied Natural Computing is uitgegroeid tot een onderzoeksgebied met een spannende interactie tussen informatica en natuurwetenschappen en een belangrijke katalysator voor deze twee-weg interactie. Dit driedelige handboek van meer dan 2000 pagina's is een belangrijk verslag van deze belangrijke…
-
Applications of quantum annealing in combinatorial optimization
Quantum annealing belongs to a family of quantum optimization algorithms designed to solve combinatorial optimization problems using programmable quantum hardware. In this thesis, various methods are developed and tested to understand how to formulate combinatorial optimization problems for quantum…
-
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.
-
Knowledge extraction in the quantum random-oracle model
The aim of this thesis is to present novel techniques for proving cryptographic schemes secure against quantum adversaries. Most results are within the context of an idealized model called the ‘quantum random-oracle model’.
-
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…
-
DNA expressions - A formal notation for DNA
Promotores: J.N. Kok, H.J. Hoogeboom
-
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.
-
Quantum machine learning: on the design, trainability and noise-robustness of near-term algorithms
This thesis addresses questions on effectively using variational quantum circuits for machine learning tasks.
-
Model-assisted robust optimization for continuous black-box problems
Uncertainty and noise are frequently-encountered obstacles in real-world applications of numerical optimization. The practice of optimization that deals with uncertainties and noise is commonly referred to as robust optimization.
-
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.
-
The power of one qubit in quantum simulation algorithms
Quantum computing is an emerging technology, which holds the potential to simulate complex quantum systems beyond the reach of classical numerical methods.Despite recent formidable advancements in quantum hardware, constructing a quantum computer capable of performing useful calculations remains challenging.In…
-
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…
-
Discrete tomography for integer-valued functions
Promotor: S.J. Edixhoven, Co-promotor: K.J. Batenburg
-
Ben van Werkhoven
Wiskunde en Natuurwetenschappen
b.j.c.van.werkhoven@liacs.leidenuniv.nl | +31 71 527 2727
-
Size effects in microstructured superconductors and quantum materials
We find ourselves in an era of transition, not just towards a more computing- and data-driven society but also away from unsustainable fossil fuels as an energy source.
-
Quantum Matter and Optics
Onderzoeksgroepen in het Quantum Matter & Optics onderzoeksprogramma onderzoeken elektronische eigenschappen van interacties van materie en lichtmaterie, met de nadruk op quantuminformatie.
- Quantum Computers
-
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…
-
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…
-
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…
-
Simon Marshall
Wiskunde en Natuurwetenschappen
s.c.marshall@liacs.leidenuniv.nl | +31 71 527 2727
-
Radicals in arithmetic
Promotor: Prof.dr. P. Stevenhagen, Co-promotor: B. de Smit
-
Kristian Rietveld
Wiskunde en Natuurwetenschappen
k.f.d.rietveld@liacs.leidenuniv.nl | +31 71 527 7038
-
Zesde eredoctoraat voor Grzegorz Rozenberg
Grzegorz Rozenberg, Leiden Institute for Advanced Computer Science, neemt op 27 november 2015 bij de University of Boekarest in Roemenië zijn zesde eredoctoraat in ontvangst.
-
Complex multiplication of abelian surfaces
Promotor: Peter Stevenhagen
-
Samenwerking
Onze AI-wetenschappers werken nauw samen met onder andere de TU Delft en de Erasmus Universiteit.
-
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.
-
Dynamics of the Oort Cloud and Formation of Interstellar Comets Santiago Torres Rodriguez
The solar system was formed approximately 4.56 billion years ago. Despite the numerous theories that have been developed over the years, the formation and evolution of the solar system still remain unclear.
- Opleidingen
-
Vijfde Eredoctoraat voor Grzegorz Rozenberg
Op 15 juni 2015 heeft Prof. Dr. Grzegorz Rozenberg zijn vijfde eredoctoraat ontvangen.
-
Hoge leeftijd, jong DNA
Sommige mensen van hoge leeftijd blijken DNA te hebben waarvan de afstelling nauwelijks verouderd is. Dat schrijven onderzoekers onder leiding van Bas Heijmans van het LUMC in het wetenschappelijke tijdschrift Genome Biology.
-
Onderzoek
Het Sport Data Center doet onderzoek binnen vijf thema's.
-
SAILS Lunch Time Seminar: Affective Computing and the interaction between humans and socially interactive agents
Lezing
-
Arend-Jan Quist
Wiskunde en Natuurwetenschappen
a.quist@liacs.leidenuniv.nl | +31 71 527 2727
- PhD in Formal Methods for Quantum Compilation (1.0 FTE)
-
Onze faciliteiten
Ter ondersteuning van het onderzoek en onderwijs beschikt het Leiden Institute of Advanced Computer Science (LIACS) over een apart Onderzoek & Onderwijs Laboratorium. Binnen deze omgeving kunnen wij apparatuur bieden die verder gaat dan normale kantoorautomatisering en productie.
-
Theorie
Veel belangrijke onderwerpen in de informatica, zoals de juistheid van software, de efficiëntie van algoritmen en de modellering van gecompliceerde systemen, zijn afhankelijk van een goede theoretische onderbouwing. In de Theoriegroep bestuderen we deze fundamentele bouwstenen en ontwikkelen we verificatiemethoden…
-
Afkijken bij de natuur
Een neuraal netwerk imiteert de werking van onze hersenen. Evolutionaire algoritmes gebruiken het principe van natuurlijke selectie om een complex probleem op te lossen. Deze vormen van natural computing worden ingezet om de diagnose van de ziekte van Parkinson accurater te maken, maar ook om bijvoorbeeld…
-
Algebraic techniques for low communication secure protocols
Promotor: R. Cramer
-
Arithmetic of affine del Pezzo surfaces
In this thesis integral points on affine del Pezzo surfaces are studied.
-
Filter-based reconstruction methods for tomography
Promotor: K.J. Batenburg