3,790 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
-
Computability of the étale Euler-Poincaré characteristic
Promotor: S.J. Edixhoven, L.D.J. Taelman
-
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…
-
Peng Sun
Science
p.sun@cml.leidenuniv.nl | +31 71 527 2727
-
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.
-
Wessel Kraaij
Science
w.kraaij@liacs.leidenuniv.nl | +31 71 527 5778
-
Juan Claramunt Gonzalez
Faculteit der Sociale Wetenschappen
j.claramunt.gonzalez@fsw.leidenuniv.nl | +31 71 527 6026
-
Quantum computation with Majorana zero modes in superconducting circuits
Promotor: C.W.J. Beenakker, Co-Promotor: A.R. Akhmerov
-
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…
-
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…
-
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…
-
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.
-
Computational modeling of angiogenesis: from matrix invasion to lumen formation
Promotor: Roeland M.H. Merks
-
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…
-
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.
-
MODOMA: A computer-simulated laboratory-approach towards language acquisition
The goal of the MODOMA-project is to create a computer model of language acquisition.
-
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.
-
LED3 Lecture: Computational Drug Discovery
Lecture
-
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…
-
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.
-
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.
-
Alice & Eve 2024: women in computing
Conference
-
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.
-
Margaret Gold
Faculteit der Sociale Wetenschappen
m.j.gold@cwts.leidenuniv.nl | +31 71 527 2727
-
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…
-
Unconditionally secure cryptographic protocols from coding-theoretic primitives
This dissertation presents new cryptographic protocols, which can be divided into two families.
-
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.
-
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…
-
Measuring science communication impact
What tools can be applied to measure the output, outcome and impact of science communication efficiently and effectively?
-
Isaac Wei
Faculty of Humanities
y.wei@hum.leidenuniv.nl | +31 71 527 2125
-
Sophia Nauta
Faculty of Humanities
s.m.nauta@hum.leidenuniv.nl | +31 71 527 2125
-
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,…
-
Ben van Werkhoven
Science
b.j.c.van.werkhoven@liacs.leidenuniv.nl | +31 71 527 2727
-
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…
-
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.
-
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.
-
Non-Abelian metamaterials: emergent computing and memory
In the traditional theory of linear elasticity, superposition dictates that the response of a material does not depend on the sequence of the applied mechanical actuations.
-
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.