778 search results for “algorithms” in the Public website
-
Joint Lectures on Evolutionary Algorithms (JoLEA)
Lecture
-
Theory
Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…
-
Joint Lectures on Evolutionary Algorithms (JoLEA)
Lecture
-
Joint Lectures on Evolutionary Algorithms - April 2024
Lecture
-
Joint Lectures on Evolutionary Algorithms (JoLEA)
Lecture
-
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.
-
Joint Lectures on Evolutionary Algorithms (JoLEA)
Lecture
-
Natural computing
Research in the natural computing group covers theoretical foundations, the development of new algorithms, and interdisciplinary applications of natural computing methods.
-
Multicriteria Optimization and Decision Analysis
The focus of the Multicriteria Optimization and Decision Analysis (MODA) group is to develop foundations of methods in multi-objective optimization.
-
Joint Lectures on Evolutionary Algorithms - January 2024
Lecture
-
Sparsity-Based Algorithms for Inverse Problems
PhD defence
-
Causal Discovery from High-Dimensional Data in the Large-Sample Limit
Developing robust algorithms and theory for establishing cause-effect relationships from observational data that scale up to large data sets
-
Joint Lectures on Evolutionary Algorithms (JoLEA)
Lecture
-
Machine Learning
Computers are capable of making incredibly accurate predictions on the basis of machine learning. In other words, these computers can learn without intervention once they have been pre-programmed by humans. At LIACS, we explore and push the borders of what a revolutionary new generation of algorithms…
-
Data science for tax administration
In this PhD-thesis several new and existing data science application are described that are particularly focused on applications for tax administrations.
-
Deep learning for visual understanding
With the dramatic growth of the image data on the web, there is an increasing demand of the algorithms capable of understanding the visual information automatically.
-
Isogeny graphs, modular polynomials, and applications
This thesis has three main parts. The first part gives an algorithm to compute Hilbert modular polynomials for ordinary abelian varieties with maximal real multiplication. Hilbert modular polynomials of a given level b give a way of finding all of the abelian varieties that are b-isogeneous to any given…
-
Artificial Intelligence & Machine Learning
Computers are capable of making incredibly accurate predictions on the basis of machine learning. In other words, these computers can learn without intervention once they have been pre-programmed by humans. At LIACS, we explore and push the borders of what a revolutionary new generation of algorithms…
-
Joint Lectures on Evolutionary Algorithms (JoLEA)
Lecture
-
Images of Galois representations
Promotores: S.J. Edixhoven, P.Parent
-
Frank Takes
Science
f.w.takes@liacs.leidenuniv.nl | +31 71 527 7143
-
Vasilii Bokov
Science
v.bokov@liacs.leidenuniv.nl | +31 71 527 2727
-
Felix Frohnert
Science
f.frohnert@liacs.leidenuniv.nl | +31 71 527 2727
-
Vincent Croft-
Science
v.a.croft@liacs.leidenuniv.nl | +31 71 527 4799
-
Guilherme Perin
Science
g.perin@liacs.leidenuniv.nl | +31 71 527 2727
-
Jan van Rijn
Science
j.n.van.rijn@liacs.leidenuniv.nl | +31 71 527 2727
-
Research
Developing computational algorithms for structural biology -A high resolution, three dimensional view of a molecule provides detailed information that help elucidate its function: by knowing the exact arrangement of atoms in a molecule, we can understand disease, develop drugs to combat them and improve…
-
Computer programming
We see computer programming as an essential skill. It enables you to be self-sufficient in building tools, processing data, visualizing research output, communicating research results, etc. Moreover, it empowers you to make beautiful things.
-
Artificial Intelligence (MSc)
The master’s specialisation Artificial Intelligence offers future-oriented topics in computer science with a focus on machine learning, optimization algorithms, and decision support techniques.
-
Theory
Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…
-
New paradigm for visual recognition
Leiden University computer scientists Yu Liu, Yanming Guo and Michael Lew are a step closer to their ultimate goal: search engines with visual recognition. Their publication of a new algorithm for fusing multi-scale deep learning representations has been received with great enthusiasm. No other algorithm…
-
Mark Leiser part of winning consortium of €1.5 million Volkswagen Foundation research grant
Dr Mark Leiser, Assistant Professor in Law and Digital Technologies at eLaw, is part of a successful €1.5 million bid for a research grant from the acclaimed Volkswagen Institute on “Reclaiming individual autonomy and democratic discourse online: How to rebalance human and algorithmic decision makin…
-
Algoprudence: presentation report Risk Profiling for Social Welfare Re-examination to Dutch Minister for Digitalisation
Francien Dechesne, Associate Professor at eLaw, contributed as an expert to the advisory report of the organisation AlgorithmAudit, which was presented to the Dutch Minister for Digitalisation Alexandra van Huffelen on Wednesday 29 November 2023. The report contains a number of concrete norms to avoid…
-
Resource allocation in networks via coalitional games
Promotor: F. Arbab, R. De Nicola, Co-Promotor: M. Tribastone
-
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…
-
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…
-
Following in nature's footsteps
A neural network mimics how our brain works. Evolutionary algorithms use the principle of natural selection to solve complex problems. This kind of 'natural computing' is being used to improve the diagnosis of Parkinson's disease or the production of steel.
-
Matthijs van Leeuwen
Science
m.van.leeuwen@liacs.leidenuniv.nl | +31 71 527 7048
-
Evert van Nieuwenburg
Science
e.p.l.van.nieuwenburg@liacs.leidenuniv.nl | +31 71 527 5523
-
Dirk van der Hoeven
Science
d.van.der.hoeven@math.leidenuniv.nl | +31 71 527 7146
-
Just Public Algorithmic Systems – What does it take?
Lecture
-
Webinars
On this page you will find a collection of presentations and videos of the Florence Nightingale Colloquia, seminars at the faculty and other event recordings hosted by the Data Science Research Programme.
-
Structure and substructure in the stellar halo of the Milky Way
Promotor: K.H. Kuijken
-
Computability of the étale Euler-Poincaré characteristic
Promotor: S.J. Edixhoven, L.D.J. Taelman
-
Decompositions in algebra
We show that Kirchhoff ’s law of conservation holds for non-commutative graph flows if and only if the graph is planar. We generalize the theory of (Euclidean) lattices to infinite dimension and consider the ring of algebraic integers as such a lattice.
-
Basis reduction for layered lattices
Promotor: H.W. Lenstra
-
Links between cohomology and arithmetic
Promotor: S.J. Edixhoven
-
System Verification Lab (SVL)
The correctness of computational systems is of great importance to our society, since it becomes ever more reliant on the benefits of computing.
-
Exploring deep learning for multimodal understanding
This thesis mainly focuses on multimodal understanding and Visual Question Answering (VQA) via deep learning methods. For technical contributions, this thesis first focuses on improving multimodal fusion schemes via multi-stage vision-language interactions.
-
Explainatory Data Analysis
The Explainatory Data Analysis group develops algorithms and theory that enable domain experts to explain data by finding interpretable patterns and models.