2,630 search results for “theoretical computer science” in the Public website
-
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.
-
Handbook of Natural Computing
Natural Computing investigates algorithms and phenonema based on nature to create better and new computer science innovations.
-
Computer support group
The Computer Support group provides dedicated support for the computing infrastructure of Leiden Observatory
-
Peng Sun
Science
-
Computational Drug Discovery
Research in this group, headed by Gerard van Westen, focusses on computational methods integrated in different parts of the drug discovery process. More specifically, topics include innovative treatments for cancer, selectivity modeling, translational research, allosteric modulation, drug resistance…
-
Computability of the étale Euler-Poincaré characteristic
Promotor: S.J. Edixhoven, L.D.J. Taelman
-
Wessel Kraaij
Science
-
Juan Claramunt Gonzalez
Faculteit der Sociale Wetenschappen
-
Advanced Computing and Systems (MSc)
The master's specialisation Bioinformatics at Leiden University focuses on research, development and application of computational tools and approaches for expanding the use of biological, medical, behavioral and health data.
-
Dimensions of Free Speech: An Exploration of a New Theoretical Framework
In ‘Dimensions of Free Speech’, Devrim Kabasakal Badamchi (Leiden University Institute of Political Science) offers a new theoretical framework for free speech by critically analysing the major justifications for free speech. Kabasakal Badamchi argues for a justification: namely the double-grounded…
-
Quantum computation with Majorana zero modes in superconducting circuits
Promotor: C.W.J. Beenakker, Co-Promotor: A.R. Akhmerov
-
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…
-
Helmut Schiessel Group - Theoretical Physics of Life Processes
The group Theoretical Physics of Life Processes, led by Helmut Schiessel, focuses on the physics of chromatin, the DNA-protein complex that fills the nuclei of eukaryotic cells.
-
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…
-
Assistant Professor in Computational Biodiversity
Science, Leiden Institute of Advanced Computer Science (LIACS)
-
Computational modeling of angiogenesis: from matrix invasion to lumen formation
Promotor: Roeland M.H. Merks
-
New Perspectives on Desistance Theoretical and Empirical Developments
This book brings together a collection of emergent research that moves the debate on desistance beyond a general consideration of individual and social structural influences.
-
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…
-
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.
-
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…
-
Audiovisual and Digital Ethnography: A Practical and Theoretical Guide
Audiovisual and Digital Ethnography is a state-of-the-art introduction to this dynamic and growing subject. The authors explain its fundamental aspects in a clear and systematic way.
-
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.
-
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…
-
Margaret Gold
Faculteit der Sociale Wetenschappen
-
Applications of topology to Weyl semimetals and quantum computing
This thesis covers various applications of topology in condensed matter physics and quantum information.
-
Unconditionally secure cryptographic protocols from coding-theoretic primitives
This dissertation presents new cryptographic protocols, which can be divided into two families.
-
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…
-
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…
-
Dutch Theoretical Physics reviewed as excellent
The Dutch Research School for Theoretical Physics (DRSTP) has received excellent ratings from an independent international committee. The DRSTP is a school for PhD training which has grown out of a collaboration between the theoretical physics departments at six Dutch universities—including Leiden—and…
-
Yes/no question-marking in Italian dialects - A typological, theoretical and experimental approach
This dissertation provides an account of polar questions in Italian dialects from a typological, theoretical and empirical perspective.
-
Measuring science communication impact
What tools can be applied to measure the output, outcome and impact of science communication efficiently and effectively?
-
Ben van Werkhoven
Science
-
Isaac Wei
Faculty of Humanities
-
Sophia Nauta
Faculty of Humanities
-
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…
-
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,…
-
Segments and rules: a comparative study into the computational mechanisms underlying language acquisition
In this project we study the properties of statistical- and rule-learning mechanisms in relation to the acquisition and evolution of language. We ask to what extent these mechanisms are unique to humans - or to human language - by comparing the acquisition of vocal structure in two species: humans (infants)…
-
membranes and materials for solar-to-fuel devices: a multiscale computational approach
In the current global context, there is a pressing need to address sustainable energy supplies to safeguard our Planet and its ecosystems. The choices made by human society have a significant impact on genetic evolution and climate.
-
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.
-
Computational approaches to dissociative chemisorption on metals: towards chemical accuracy
We review the state-of-the-art in the theory of dissociative chemisorption (DC) of small gas phase molecules on metal surfaces, which is important to modeling heterogeneous catalysis for practical reasons, and for achieving an understanding of the wealth of experimental information that exists for this…
-
On the nature of preverbal Focus in Greek. A theoretical and experimental approach
This thesis aims at contributing to our understanding of the semantic and prosodic properties of object foci in Greek, employing theoretical and experimental tools.
-
A piece of the Universe in the computer
Simulations of galaxies help researchers understand astronomical observations better. The EAGLE simulation, a large project in which Leiden astronomers play a leading role, shows the evolution of the Universe, from just after the Big Bang to the present day.
-
Prof. G. Rozenberg
LIACS prof. Grzegorz Rozenberg is one of the world leaders in research on Theoretical Computer Science and Natural Computing. He is often called the guru of Natural Computing.
-
Prof. G. Rozenberg
LIACS prof. Grzegorz Rozenberg is one of the world leaders in research on Theoretical Computer Science and Natural Computing. He is often called the guru of Natural Computing.