765 search results for “algorithms” in the Public website
-
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
-
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 - January 2024
Lecture
-
Sparsity-Based Algorithms for Inverse Problems
PhD defence
-
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.
-
Natural computing
Research in the natural computing group covers theoretical foundations, the development of new algorithms, and interdisciplinary applications of natural computing methods.
-
Joint Lectures on Evolutionary Algorithms (JoLEA)
Lecture
-
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
-
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…
-
SAILS Lunch Time Seminar: Rüya Koçer
Lecture
-
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…
-
Joint Lectures on Evolutionary Algorithms (JoLEA)
Lecture
-
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…
-
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…
-
Images of Galois representations
Promotores: S.J. Edixhoven, P.Parent
-
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…
-
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.
-
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…
-
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.
-
Frank Takes
Science
-
Vasilii Bokov
Science
-
Felix Frohnert
Science
-
Vincent Croft-
Science
-
Jan van Rijn
Science
-
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…
-
Just Public Algorithmic Systems – What does it take?
Lecture
-
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
-
Evert van Nieuwenburg
Science
-
Dirk van der Hoeven
Science
-
CANCELLED: LCN2 Seminar: Algorithms for Network Visualization and beyond
Lecture
-
Want to know more about quantum? These games make it fun
Tic tac toe, but with quantum effects. That makes learning the principles of quantum technology a piece of cake. This is the aim of a new start-up founded by researcher Evert van Nieuwenburg: QuantumPlayed. ‘Quantum is all around us and everyone should be able to learn about it.’
-
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.
-
Multi-objective Evolutionary Algorithms for Optimal Scheduling
PhD defence
-
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.
-
Basis reduction for layered lattices
Promotor: H.W. Lenstra
-
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.
-
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.
-
Computability of the étale Euler-Poincaré characteristic
Promotor: S.J. Edixhoven, L.D.J. Taelman
-
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.
-
Structure and substructure in the stellar halo of the Milky Way
Promotor: K.H. Kuijken
-
Links between cohomology and arithmetic
Promotor: S.J. Edixhoven
-
Software developments in automated structure solution and crystallographic studies of the Sso10a2 and human C1 inhibitor protein
Promotor: J.P. Abrahams, Co-Promotor: N.S. Pannu