213 zoekresultaten voor “algorithms” in de Publieke website
-
Arend-Jan Quist
Wiskunde en Natuurwetenschappen
-
Panel discussion Bias in AI, algorithms and the tech sector - Young Alumni Network
Alumni-activiteit
-
Quantum? Dat is lastig voor ons brein
Wat is quantum nou eigenlijk? Tja, probeer dat maar eens in begrijpelijke taal uit te leggen. In diverse regionale kranten doet wiskundige Peter Bruin een poging. ‘Om quantum te begrijpen, moet je tegen je intuïtie in denken. Daar is ons brein niet voor gemaakt.’
-
Faint Quasars at Very Low Frequencies
In this thesis, we use low-frequency and high-frequency radio observations to address the following questions regarding quasars: is the radio loud/quiet quasar dichotomy real?
-
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.
-
Chaotic dynamics in N-body systems
Promotor: Prof.dr. S.F. Portegies Zwart
-
Improving robustness of tomographic reconstruction methods
Promotor: Prof.dr. K.J. Batenburg
-
Geometric quadratic Chabauty and other topics in number theory
This thesis is is made of three parts. The first part describes a generalization of the Chabauty's method, that can be used to determine the rational points of a curve such that s+g>r+1, where g is the genusof the curve, r is the rank of the Mordell-Weil group of the jacobian of the curve and s is…
-
Exploring Images With Deep Learning for Classification, Retrieval and Synthesis
In 2018, the number of mobile phone users will reach about 4.9 billion. Assuming an average of 5 photos taken per day using the built-in cameras would result in about 9 trillion photos annually.
-
Casting light on the ƞ Carinae puzzle
Promotor: Prof.dr. V. Icke, Co-Promotor: T.I. Madura
-
Novel approaches for direct exoplanet imaging: theory, simulations and experiments
The next generation of high-contrast imaging instruments on space-based observatories requires sophisticated wavefront sensing and control in addition to a high-performance coronagraph.
-
Calculated Moves: Generating Air Combat Behaviour
By training with virtual opponents known as computer generated forces (CGFs), trainee fighter pilots can build the experience necessary for air combat operations, at a fraction of the cost of training with real aircraft.
-
Automated de novo metabolite identification with mass spectrometry and cheminformatics
Promotor: T. Hankemeier, Co-Promotores: T. Reijmers, L. Coulier
-
Self-Adjusting Surrogate-Assisted Optimization Techniques for Expensive Constrained Black Box ProblemsBagheri, S.
Optimization tasks in practice have multifaceted challenges as they are often black box, subject to multiple equality and inequality constraints and expensive to evaluate.
-
The unit residue group
The unit residue group, to which the present thesis is devoted, is defined using the norm-residue symbol, which Hilbert introduced into algebraic number theory in 1897.
-
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.
-
Aria of the Dutch North Sea
Promotores: C. J. ten Cate; M. A. Ainslie. Co-promotor: W. Slabbekoorn
-
Multi Modal Representation Learning and Cross-Modal Semantic Matching
Humans perceive the real world through their sensory organs: vision, taste, hearing, smell, and touch. In terms of information, we consider these different modesalso referred to as different channels of information or modals.
-
Machine learning and computer vision for urban drainage inspections
Sewer pipes are an essential infrastructure in modern society and their proper operation is important for public health. To keep sewer pipes operational as much as possible, periodical inspections for defects are performed.
-
Strategies for braiding and ground state preparation in digital quantum hardware
With the help of quantum mechanics, digital quantum hardware may be able to tackle some of the problems that are too difficult for ordinary computers. But despite these expectations and the ongoing effort of the research community, reliable quantum computers are not yet realized in a lab setting.
-
Quantumcomputers
Algoritmen ontwerpen is een van de onderzoeksonderwerpen waar Leiden sterk in is. Want supercomputers moeten niet alleen gebouwd worden, maar ook geprogrammeerd. Wetenschappers van internationale faam doen hier onderzoek naar.
-
Data-driven Predictive Maintenance and Time-Series Applications
Predictive maintenance (PdM) is a maintenance policy that uses the past, current, and prognosticated health condition of an asset to predict when timely maintenance should occur.
-
Latency, Energy, and Schedulability of Real-Time Embedded Systems
Systems are called real-time systems, if the correctness of the system does not only depend on the correctness of the system output but also on whether the output is delivered on time.
-
clinic: Theory and practice for artificial intelligence prediction algorithms
Promotie
-
615 miljoen voor quantumonderzoek
Het Quantum Delta NL-programma, waaraan de Universiteit Leiden deelneemt, krijgt 615 miljoen euro uit het Nationaal Groeifonds om Nederland te ontwikkelen tot een koploper in quantumtechnologie. Dit werd vandaag bekend gemaakt bij de presentatie van de winnende voorstellen in Den Haag.
-
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.
-
Structural Properties of Single Server Queueing Systems: Efficient Methods via Lumping and Dynamic Programming
This thesis consists of two main parts. The first part (Chapters 2 and 3) deals with a class of Markov process called Quasi-Skipfree (QSF) processes.
-
Data-Driven Machine Learning and Optimization Pipelines for Real- World Applications
Machine Learning is becoming a more and more substantial technology for industry.
-
Contact
Algemene contactinformatie
-
Quality-driven multi-objective optimization of software architecture design: method, tool, and application
Promotores: Prof.dr. T.H.W. Bäck, Prof.dr. M.R.V. Chaudron, Co-Promotor: M.T.M. Emmerich
-
Learning-based Representations of High-dimensional CAE Models for Automotive Design Optimization
In design optimization problems, engineers typically handcraft design representations based on personal expertise, which leaves a fingerprint of the user experience in the optimization data. Thus, learning this notion of experience as transferrable design features has potential to improve the performance…
-
Strategies for Mechanical Metamaterial Design
On a structural level, the properties featured by a majority of mechanical metamaterials can be ascribed to the finite number of soft internal degrees-of freedom allowing for low-energy deformations.
-
Kunstmatige intelligentie en 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…
-
Europese beurs om zelflerend vermogen van quantumcomputers verder te brengen
Een grote beurs voor onderzoek naar ‘machine learning’ algoritmes voor quantumcomputers. Met deze ERC Consolidator-beurs hopen Vedran Dunjko en zijn collega’s te ontdekken welke problemen uit de echte wereld een quantumcomputer sneller kan oplossen dan een normale.
-
Nieuwe professor Vedran Dunjko zoekt problemen uit de echte wereld die een quantumcomputer kan oplossen
Vedran Dunjko benoemd tot hoogleraar quantumcomputing aan de Universiteit Leiden, Nederland.
-
Opnieuw Leids succes bij programmeerwedstrijd
Het team Prime Suspects van de Universiteit Leiden is net als vorig jaar eerste geworden bij het Benelux Kampioenschap programmeren. Na een spannende wedstrijd bleef het team concurrenten uit Groningen (tweede) en Utrecht (derde) voor.
-
De zoektocht naar een ‘quantumvoordeel’
Het bewijs dat een quantumcomputer sneller is dan een normale is een stap dichterbij gekomen. Na een doorbraak in het versnellen van klassieke algoritmen, toonden onderzoekers Vedran Dunjko en Casper Gyurik aan dat slechts één quantumalgoritmen zijn klassieke tegenhanger kon verslaan. Ze vertellen over…
-
Felix Frohnert
Wiskunde en Natuurwetenschappen
-
Frank Takes
Wiskunde en Natuurwetenschappen
-
Vincent Croft-
Wiskunde en Natuurwetenschappen
-
Postdoc Automated Reasoning in Quantum Computing (0.8-1.0 FTE)
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Instituut voor Informatica aan de Universiteit Leiden
Leiden Institute of Advanced Computer Science (LIACS)
-
Mathematisch Instituut
Het Mathematisch Instituut is verantwoordelijk voor het onderzoek en onderwijs in de wiskunde en de statistiek aan de Universiteit Leiden.
-
To explore the drug space smarter: Artificial intelligence in drug design for G protein-coupled receptors
Over several decades, a variety of computational methods for drug discovery have been proposed and applied in practice. With the accumulation of data and the development of machine learning methods, computational drug design methods have gradually shifted to a new paradigm, i.e. deep learning methods…
-
De quantumcomputer: hij bestaat nog niet, maar toch weten we steeds beter welke problemen hij op kan lossen
Hoe weten we waar een quantumcomputer goed voor is, terwijl die nog niet gebouwd is? Dat onderzocht promovendus Casper Gyurik door twee begrippen die je vaak hoort te combineren: quantum computing en machine learning.
-
Evert van Nieuwenburg
Wiskunde en Natuurwetenschappen
-
PhD Candidate, Detailed Video Understanding
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
PhD in Formal Methods for Quantum Compilation (1.0 FTE)
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Hans Franken-lezing door Janneke Gerards
Op 15 november 2019 sprak Professor Janneke Gerards de tweede jaarlijkse Hans Franken-lezing aan de faculteit rechtsgeleerdheid van de Universiteit Leiden uit. De titel van de lezing was: Fundamental rights challenges of algorithms. In dit bericht vindt u een foto-impressie van de goed bezochte midd…
-
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…