2,471 search results for “computer science” in the Public website
-
New Foundations for Separation Logic
The research presented in this thesis concerns one of the most important questions in software engineering of our time: how can we make sure that software is free from memory safety bugs?
-
Advances in computational methods for Quantum Field Theory calculations
In this work we describe three methods to improve the performance of Quantum Field Theory calculations.
-
Large-scale Computing Infrastructure
Large-scale computing infrastructure, such as supercomputers, cluster, and clouds, are already pervasive, most members of our society interact with them daily: social networks, government services, media streaming services--all systems heavily interfacing with the members of our society--are powered…
-
Ben van Werkhoven
Science
-
Bio-inspired Computing
We investigate reaction systems, a novel computational model gleaned from the biochemical reactions taking place in living cells and information processing in nature.
-
High performance computing
A high performance computer or supercomputer owes its massive processing capacity to the fact that it chops a single overarching task into a whole series of smaller tasks. It simultaneously tackles each of those smaller problems.
-
Computability of the étale Euler-Poincaré characteristic
Promotor: S.J. Edixhoven, L.D.J. Taelman
-
Computer support group
The Computer Support group provides dedicated support for the computing infrastructure of Leiden Observatory
-
Inaugural lecture: Data of Value
By comparing individual health data with population data, doctors can provide personalized health advice and patients can learn from each other's experiences. Wessel Kraaij, professor of Applied Data Analytics shows how personal data can have predictive value.
-
Artifical intelligence gets a boost from quantum computing
Machine learning - on classical computers- has made great progress in the past five years. Computer translation of speech and text is just one example. In Leiden, some researchers expect that machine learning, empowered by quantum systems, even if they only contain a few dozen qubits, can lead to a…
-
ALICE High Performance Computing facility
High Performance Computing (HPC) is becoming ever more important as a research tool in many research areas across all research domains. A University facility, providing serious computational capabilities, combined with easy and flexible local access, is a strong advantage for these research areas. It…
-
ECOLE: Experience-based COmputation: Learning to optimisE
Researchers of the Leiden Institute of Advanced Computer Science (LIACS) will develop a training programme the next generation of early stage researchers (ESRs). During a four years project they will be trained to approach industrial challenges in a holistic manner by developing solutions in an automotive…
-
Under Construction. Cognitive and Computational Aspects of Extended Lexical Units
This dissertation investigates Extended Lexical Units (ELUs), elements that are bigger than just one word and which are stored in the Lexicon.
-
Akrati Saxena
Science
-
Computational modeling of angiogenesis: from matrix invasion to lumen formation
Promotor: Roeland M.H. Merks
-
Justin Lian
Science
-
Jaap van den Herik
Faculteit Rechtsgeleerdheid
-
Levon Amatuni
Science
- Graduation Ceremony MSc Computer Science
- Graduation Ceremony MSc Computer Science
-
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…
-
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.
-
MODOMA: A computer-simulated laboratory-approach towards language acquisition
The goal of the MODOMA-project is to create a computer model of language acquisition.
-
LED3 Lecture: Computational Drug Discovery
Lecture
-
Bioinformatics Data analytics Computational Biology
LUMC Technology Focus Area (TFA) Data Analytics is een samenwerkingsverband van verschillende onderzoeksgroepen in het LUMC die nieuwe kwantitatieve en computationele methodologie ontwikkelen voor biomedisch en klinisch onderzoek.
-
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.
-
On the computation of norm residue symbols
An algorithm is discussed to compute the exponential representation of principal units in a finite extension field F of the p-adic rationals.
-
Secure Multiparty Computation and Secret Sharing
The first book ever on information-theoretically secure multiparty computation
-
NExt ApplicationS of Quantum Computing (NEASQC)
The NEASQC project brings together academic experts and industrial end-users to investigate and develop a new breed of Quantum-enabled applications that can take advantage of NISQ (Noise Intermediate-Scale Quantum) systems in the near future. NEASQC is use-case driven, addressing practical problems…
-
Computational modeling of cellular dynamics in tumor cell migration
Epithelial-mesenchymal plasticity (EMP) and tumor cell migration play an important role in cancer progression, and an improved understanding of the mechanisms underlying these concepts is essential for developing new targeted approaches.
-
Alice & Eve 2024: women in computing
Conference
-
Science
There are eight institutes at the Faculty of Mathematics and Natural Sciences:
-
Image-based Computational Biology
In this research group, led by Dr. Joost Beltman, the aim is to employ mathematical and computational dynamical modelling approaches in order to quantitatively and mechanistically understand the dynamical behaviour and regulation of intracellular networks of genes, proteins and metabolites as well as…
-
Applications of topology to Weyl semimetals and quantum computing
This thesis covers various applications of topology in condensed matter physics and quantum information.
-
Major Expansion Leiden Quantum Computing
The 18.8 million euro NWO Zwaartekracht grant for quantum software which Amsterdam, Delft and Leiden landed collectively, means for Leiden University among others the appointment of two new permanent scientific staff members, who will each form their own research group, divided among Computer Science,…
-
Three Leiden Science projects receive computing time on national supercomputers
A night sky of more than 40 petabytes in size, simulating young star clusters and understanding how the body inhibits viruses: three Leiden projects have received computing time on one of the national computer systems.
-
Leiden Embedded & Real-time Computing (LERC)
Leiden Embedded & Real-time Computing (LERC) is an expert lab and leader in advanced research on embedded and real-time systems and software. The main mission of LERC is by its research to contribute in a highly innovative way to the system-level design of embedded and cyber-physical systems and software…
-
Data Science
The ability to collect and interpret huge quantities of data has become indispensable to society and academia. Leiden University is a knowledge and expertise centre for data science that places the emphasis on interdisciplinary collaboration and innovation.
-
Margaret Gold
Faculteit der Sociale Wetenschappen
-
Explicit computations with modular Galois representations
Promotor: S.J. Edixhoven
-
Integrating cellular and tissue dynamics with cell fate decisions through computational modeling
There is a need for alternative methods to replace, reduce and refine (3R) animal experimentation. Combining experimental data from high-throughput in vitro studies with in silico modeling is a promising approach to unravel the effect of chemicals on living cells and to gain a better understanding of…
-
Charles Berger
Faculteit Rechtsgeleerdheid
-
Distinguished Member of the ACM for outstanding contributions to computing
On November 8, the Association for Computing Machinery (ACM) named Wessel Kraaij as one of the 2017 Distinguished Members. ACM Distinguished Members have made a significant contribution to the field of computing, computer science or information technology. This year, worldwide 43 scientists received…
-
Data science
The majority of scientists, from archaeologists through to zoologists, collect enormous volumes of data. Their massive databases contain large amounts of information which is difficult for humans to filter. With a solid grounding in statistics and computer science, we can develop algorithms for analyzing…
-
Tailoring x-ray tomography techniques for cultural heritage research
Visualizing the internal structure is a crucial step in acquiring knowledge about the origin, state, and composition of cultural heritage artifacts. Among the most powerful techniques for exposing the interior of cultural heritage objects is computed tomography (CT), a technique that computationally…
-
Quantum Information Science & Technology (MSc)
Quantum Information Science & Technology (QIST) encompasses the understanding, design, construction and investigation of quantum information processing systems, such as quantum computers, quantum communication networks, and quantum sensors.
- Data Science & Artificial Intelligence
-
Astronomy and Data Science (MSc)
The Astronomy and Data Science master’s specialisation at Leiden University combines advanced Astronomy courses with relevant courses from the Computer Science programme at Leiden University.
-
the preference hypervolume: an interactive model for real world computational co-creativity
In this thesis it is posed that the central object of preference discovery is a co-creative process in which the Other can be represented by a machine. It explores efficient methods to enhance introverted intuition using extraverted intuition's communication lines.
-
Jaap van den Herik: Intuition is programmable
In the future, computers will be able to base their decisions on intuition. Professor Jaap van den Herik, director of the Leiden Centre of Data Science, posed this statement today in his Valedictory Address at Tilburg University.