4,406 search results for “theoretical computer science” in the Public website
-
Towards High Performance and Efficient Brain Computer Interface Character Speller: Convolutional Neural Network based Methods
A P300-based Brain Computer Interface character speller, also known as P300 speller, has been an important communication pathway, under extensive research, for people who lose motor ability, such as patients with Amyotrophic Lateral Sclerosis or spinal-cord injury because a P300 speller allows human-beings…
-
Skip Thijssen
Faculty of Science
s.thijssen@liacs.leidenuniv.nl | +31 71 527 2727
-
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…
-
Life work award for computer scientist Grzegorz Rozenberg
Leiden prof. emeritus Grzegorz Rozenberg is honoured with the first life time award in formal languages, a research area of theoretical computer science. During a small ceremony at his house, he received a statue that was specially made for the occasion.
-
Assessor-Centered Translation Quality Assessment: A Theoretical Model and a Case Study
Behrouz Karoubi defended his thesis on 15 June 2016
-
Astrolinguistics
Design of a Linguistic System for Interstellar Communication Based on Logic
-
Scientific computing for Drug Discovery in Python and/or R
Data analysis with Python and R are rapidly becoming essential skills for modern scientists. Therefore, we are offering courses to develop your scientific computing skills. Those courses are optional for LACDR PhD candidates.
-
Computational Approaches to Disease, Signaling and Drug Targets
The Minor Computational Approaches to Disease, Signaling and Drug Targets (CADSDT) is focused on fundamental scientific research required for discovery of new drug targets and development of new drugs.
-
Information-theoretic partition-based models for interpretable machine learning
In this dissertation, we study partition-based models that can be used both for interpretable predictive modeling and for understanding data via interpretable patterns.
-
Reconstruction and Computational Modelling for Inherited Metabolic Diseases
Accelerating the diagnosis and personalising the management of inherited metabolic diseases.
-
Multiple Paths. Towards a Performance Practice in Computer Music
This thesis proposes multiple paths towards the development of a performance practice in Computer Music.
-
Fuzzy systems and unsupervised computing: exploration of applications in biology
In this thesis we will explore the use of fuzzy systems theory for applications in bioinformatics.
-
Peng Sun
Faculty of Science
p.sun@cml.leidenuniv.nl | +31 71 527 2727
-
Pieter Kwantes
Faculty of Science
p.m.kwantes@liacs.leidenuniv.nl | 071 5272727
-
Getting personal: Advancing personalized oncology through computational analysis of membrane proteins
Cancer is considered the silent pandemic of the 21st century and the second leading cause of death worldwide.
-
Alor-Pantar languages: origins and theoretical impact
This research project focuses on the extended documentation and investigation of these non-Austronesian (‘Papuan’) languages.
-
FOM Grant for Theoretical Model Majorana Gun
Professor Carlo Beenakker has been awarded a FOM Projectruimte subsidy to build a theoretical model of a majorana gun, a very promising instrument for quantum computers.
-
Juan Claramunt Gonzalez
Social & Behavioural Sciences
j.claramunt.gonzalez@fsw.leidenuniv.nl | 071 5276026
-
Anikó Lipták
Faculty of Humanities
a.liptak@hum.leidenuniv.nl | +31 71 527 3320
-
A computational study of structural and excitonic properties of chlorosomes
The long-held desire - to link structure directly to function and to explain molecular mechanisms based on basic chemical or physical principles - is finally coming closer, satisfying not only our scientific curiosity but also offering new solutions to the many challenges in the field of health, energy…
-
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
Faculty of Science
b.j.c.van.werkhoven@liacs.leidenuniv.nl | +31 71 527 2727
-
Nonparametric Bayes for high-dimensional models: contraction, credible sets, computations
Nonparametric Bayes for high-dimensional models: contraction, credible sets, computations
-
Sophia Nauta
Faculty of Humanities
s.m.nauta@hum.leidenuniv.nl | +31 71 527 2125
-
Celebrating female computer scientists: ‘Computer science is for everyone’
Four female computer scientists share a common goal: to showcase the significant contributions of women in computer science and inspire their students. Together, they are organising this year’s Alice & Eve event, a one-day symposium dedicated to celebrating women in computer science. The event, scheduled…
-
Computational aspects of class group actions and applications to post-quantum cryptography
Most of current public-key cryptography is considered insecure against attacks from sufficiently powerful quantum computers. Post-quantum cryptography studies methods to secure information resistant against such attacks. One proposal is isogeny-based cryptography, which bases its security on computational…
-
The use of computational toxicology in hazard assessment of engineered nanomaterials
Assessing the risks of engineered nanomaterials (ENMs) solely on the basis of experimental assays is time-consuming, resource intensive, and constrained by ethical considerations (such as the principles of the 3Rs of animal testing). The adoption of computational toxicology in this field is a high p…
-
Kristian Rietveld
Faculty of Science
k.f.d.rietveld@liacs.leidenuniv.nl | +31 71 527 7038
-
Eleftheria Makri
Faculty of Science
e.makri@liacs.leidenuniv.nl | +31 71 527 2727
-
Handbook of Natural Computing
Natural Computing is the field of research that investigates both human-designed computing inspired by nature and computing taking place in nature, i.e., it investigates models and computational techniques inspired by nature and also it investigates phenomena taking place in nature in terms of information…
-
Medical Delta AI for Computational Life Sciences
The fact that scientists are increasingly better able to access molecular cell and tissue data also brings with it a new challenge: how can scientists find the information they need for research among the vast amount of data available?
-
pharmacokinetics-pharmacodynamics in zebrafish: integration of experimental and computational methods
The zebrafish is a promising vertebrate model organism in early drug discovery and development.
-
Martin Kroon
Faculty of Humanities
m.s.kroon@hum.leidenuniv.nl | +31 71 527 2727
-
regular and deuterated water in space: a combined laboratory and computational study
Promotor: Prof.dr. H.V.J. Linnartz, Co-Promotores: H.M. Cuppen, S. Ioppolo
-
Statistical Science
The research programme Statistical Science is concerned with the analysis and interpretation of masses of data, the quantification of uncertainty using probability models, and the development and benchmarking of algorithms and methods with these aims.
-
Observing what cannot be observed: computational electrochemistry from carbon to hydrogen
In this thesis, we consider various (electro)chemical phenomena at surfaces and nanoparticles and their underlying atomistic processes, which we studied using first-principles methods such as density functional theory.
-
Synthetic, Physical and Computational Chemistry of Propeller-shaped Polycyclic Aromatic Hydrocarbons
This thesis systematically studies the physicochemical properties of non-planar, propeller-shaped, polycyclic aromatic hydrocarbons. The synthesis of several so-called propellerenes is described on a gram scale, using optimized procedures aimed at using less hazardous reagents and reducing the amount…
-
A community computational challenge to predict the activity of pairs of compounds
Source: Nat Biotechnol, Volume 32, Issue 12, pp. 1213-22 (2014)
-
Student project Computer Science for Volvo Ocean Race
Seven bachelor students in Computer Science at Leiden University are participating in a research project on big data and event management. Their work should eventually result in a system that can be applied at the finish of the Volvo Ocean Race in The Hague in June next year.
-
New in Leiden: Computer science and economics
In a survey held last year by the publication Elsevier, Leiden's Computer Science programme was voted by students as the best university programme of its kind in the Netherlands. And the Rotterdam Economics programme was voted the best in its field. Leiden University now offers a combined study based…
-
Towards relevant quantum computers
Can we use quantum computers in a way that is also relevant to society? With the help of a 2-million-euro NWA grant, Leiden University will work with partners such as Surf, Google and Volkswagen to demonstrate that quantum computers are also of value outside the lab.
-
Agnes Schneider
Faculty of Archaeology
a.schneider@arch.leidenuniv.nl | 071 5272727
-
Akrati Saxena
Faculty of Science
a.saxena@liacs.leidenuniv.nl | +31 71 527 2727
-
NWA funding for communications research on quantum computing
Leiden physicist Julia Cramer receives 50 thousand euros in funding for 'Let's talk about quantum', a research project on communication about quantum computing. A project for high school students by education expert Henk Buisman is also included in the NEWA ELSA funding.
-
Object-based learning in science museums
How do museum visitors interpret the authenticity of museum objects? How can we support visitors' meaningful interactions with real objects?
-
Science Communication & Society
The research group Science Communication and Society aims to understand how science communication works to improve the interaction between science and society. Central themes are ‘Bridging the gap between experts and the general public’ and ‘Evaluating Science Communication’.
-
College or university? Computer science students in the right place
The right student in the right place. That is what LIACS programme director Frank Takes and education coordinator Joyce Glerum are aiming to do with the ‘Wisselstroom’ project. By next year, they hope to have a standardised protocol that will make it easier for computer science students to transfer…
-
Data Science & Artificial Intelligence
Data Science (DS) and Artificial Intelligence (AI) are omni-present and have the potential to be incorporated in various fields. However, in order to live up to this expectation, a good understanding of the techniques, their implications and limitations is required. In this minor you develop insights…
-
Medical Delta AI for Computational Life Sciences
The fact that scientists are increasingly better able to access molecular cell and tissue data also brings with it a new challenge: how can scientists find the information they need for research among the vast amount of data available?
-
Turan Hanci
Faculty of Humanities
t.hanci@hum.leidenuniv.nl | +31 71 527 7882