2,859 search results for “theoretical computer science” in the Public website
-
Epistemic Virtues in the Sciences and the Humanities
This book explores how physicists, astronomers, chemists, and historians in the late nineteenth and early twentieth centuries employed ‘epistemic virtues’ such as accuracy, objectivity, and intellectual courage. In doing so, it takes the first step in providing an integrated history of the sciences…
-
UNESCO Chair on Diversity and Inclusion in Global Science
This UNESCO Chair at CWTS aims to contribute to UNESCO’s agenda to foster diversity and inclusion in science. The chair has two main lines of work:
-
Temporal Construals of Bare Predicates in Mandarin Chinese
This study presents the first systematic investigation and detailed theoretical analysis of the temporal interpretations of sentences with bare (aspectually unmarked) predicates in Mandarin.
-
Managing R&D in Science-Based Economies
Corporate R&D organizations and their relation to academic laboratories.
-
Narrative Science: Reasoning, Representing and Knowing since 1800
Narrative Science examines the use of narrative in scientific research over the last two centuries.
-
Liberal Arts and Sciences: Global Challenges (BA/BSc)
How do countries collaborate to impact climate change? How does inequality affect life expectancy? How can diplomacy help reduce international conflict? These are the types of questions you get to explore in the Liberal Arts & Sciences programme at Leiden University College through the central theme…
-
UnMiSSeD - Understanding Misinformation and Science in Societal Debates
UnMiSSeD studies the interaction between misinformation and science in societal debates using a mixed qualitative-quantitative approach.
-
Benjamin Storme
Faculty of Humanities
b.p.p.storme@hum.leidenuniv.nl | +31 71 527 2175
-
Janet Grijzenhout
Faculty of Humanities
j.grijzenhout@hum.leidenuniv.nl | +31 71 527 1470
-
Fei Bai
Faculty of Humanities
r.bai@hum.leidenuniv.nl | +31 71 527 2125
-
Irina Morozova
Faculty of Humanities
i.morozova@hum.leidenuniv.nl | +31 71 527 2125
-
Martijn Lemmen
Faculty of Humanities
m.m.m.a.lemmen@hum.leidenuniv.nl | 071 5272727
-
Together we can make an impact
Our mission: a positive impact. Our vision: community. By involving the world around us in our education and research we make a positive impact. We do this by applying Open Science.
-
From Descriptive to Predictive Pharmacology in Children using Semi-Physiological population modelling
An integrated approach of physiological concepts, advanced statistical approaches and large clinical datasets.
-
Anton Pannekoek: Ways of Viewing Science and Society
Astronomer and Marxist Anton Pannekoek was a remarkable figure. This book aims to study the connections between his life as a socialist theorist and as a pioneering scientist through the prism of Pannekoek's biography.
-
Become a member of the Open Science Community Leiden (OSCL)
Change requires community. Become a member of OSCL today!
-
Multi-dimensional feature and data mining
In this thesis we explore machine and deep learning approaches that address keychallenges in high dimensional problem areas and also in improving accuracy in wellknown problems. In high dimensional contexts, we have focused on computational fluid dynamics (CFD) simulations.
-
Who did all the work? The hidden labour of colonial science
Investigating the contribution of interpreters, informants, hunters and guides in the making of colonial scientific knowledge.
-
Feelings in "Abnormal" Worlds, On the Political Uses of Emotion in Science Fiction Manga
Carl Li defended his thesis on 30 June 2015
-
analysis of stakeholder interests and conflicts in and around Big Science
Big Science, commonly defined as conventional science made big in three dimensions, namely organizations, machines, and politics, brings a plethora of different stakeholders together, often for a long period of time. This includes policymakers, scientists, (scientific) managers as well as local “host”…
-
Visual analytics for spatially-resolved omics data at single cell resolution: Methods and Applications
The deeper understanding of an organism's pathology is important for developing treatments. Over centuries of systematic research, clinical researchers have demonstrated that the more information they acquire about the cellular properties and their organisation in the tissue, the better they can understand…
-
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.
-
Topology and Geometry in Chiral Liquids
We study the interplay of topology and geometry with chirality for several passive and active systems, employing both analytical and numerical methods.
-
Software development by abstract behavioural specification
The development process of any software has become extremely important not just in the IT industry, but in almost every business or domain of research.
-
Partnerships between police and science in Belgium : fragile alliances?
After 20 years of police reform, Jasper De Paepe and Marleen Easton look back and discover what we can learn about partnerships between police and science in Belgium.
-
Get to know Liberal Arts & Sciences: Global Challenges
How do countries collaborate to impact climate change? How does inequality affect life expectancy? How can diplomacy help reduce international conflict? These are the types of questions you get to explore in the Liberal Arts & Sciences programme at Leiden University College through the central theme…
-
Get to know Liberal Arts & Sciences: Global Challenges
How do countries collaborate to impact climate change? How does inequality affect life expectancy? How can diplomacy help reduce international conflict? These are the types of questions you get to explore in the Liberal Arts & Sciences programme at Leiden University College through the central theme…
-
Applied statistics as a pillar of data science
Data science is now growing fast in many places, but scholars at Leiden University have been developing data science techniques for a long time already. Thanks to their broad-based expertise, Leiden statisticians are currently combining the achievements in statistics with the latest methods of statistical…
-
Working at the Faculty of Science
Working for a top faculty? Discover the vacancies at the Faculty of Science and apply immediately.
-
The Politics of Policymaking: An Introduction
Never has good policy been so important. From unemployment and a lack of affordable housing to regulating cryptocurrencies and protecting against cybersecurity threats, the challenges we face are complex and global. The text explains how policymaking works: from the emergence of policy ideas to deciding…
-
EU Erasmus+ Curriculum Development in Data Science and Artificial Intelligence
LIACS is a partner in the EU Erasmus+ Curriculum Development for the Asian education system. The knowledge available in the field of Data Science and Artificial Intelligence education will be shared and adapted for the Asian market.
-
Hawks and Doves: The Flawed Microfoundations of Democratic Peace Theory
On the brink of war, what influences decision makers to attack another country? Using innovative theoretical angles, Femke E. Bakker explores whether the basic assumptions of democratic peace theory are indeed correct. She stresses the microfoundations of conflict, questioning the assumptions on…
- Institute of Geographic Sciences and Natural Resources Research
-
Interfacing the past
Computer applications and quantitative methods in archaeology CAA95.
-
New IBL-professor in "Computational Biology": Vera van Noort
Vera van Noort has been appointed Professor in the field of Computational Biology within the Faculty of Science at the Institute of Biology from the 1st of February 2017. Van Noort’s expertise is in bioinformatics and her research focuses on the computational analysis of large-scale biological data…
-
Locations
Most degree programmes at the Faculty of Social and Behavioural Sciences are based in the Pieter de la Court building on the Wassenaarseweg in Leiden. Besides this location, some degree programmes are based in The Hague, at Campus The Hague’s Wijnhaven building.
-
Education
The Faculty of Social and Behavioural Sciences provides its ca. 5000 students with a thorough education in the social and behavioural sciences. The student population is very diverse and international in nature.
-
Taalportaal (Language Portal)
This proposal aims at the construction of a comprehensive and authoritative scientific grammar for Dutch and Frisian in the form of a virtual language institute: het Taalportaal/the Language Portal.
-
Article on Affective Computing by Andreas Häuselmann published in IDPL
Affective Computing (AC and sometimes called ‘Emotional AI’) provides opportunities to automatically process emotional data. However, is EU data protection law fit for purpose when it is applied to such AC approaches?
-
Granted STW Project: Energy Efficient Computer-Brain Interaction
The STW project Energy Efficient Computer-Brain Interaction (principal investigator for LIACS: dr. T.P. Stefanov) has been granted. Funding for LIACS: 1 PhD student + travel/equipment budget, project duration: 4 years.
-
Bert Botma
Faculty of Humanities
e.d.botma@hum.leidenuniv.nl | +31 71 527 2150
-
Jenneke van der Wal
Faculty of Humanities
g.j.van.der.wal@hum.leidenuniv.nl | +31 71 527 3658
- Katja Lubina
-
Maria del Carmen Parafita Couto
Faculty of Humanities
m.parafita.couto@hum.leidenuniv.nl | +31 71 527 2644
-
Jiang Wu
Faculty of Humanities
j.wu@hum.leidenuniv.nl | +31 71 527 2125
-
Longming Shichuan
Faculty of Humanities
l.shichuan@hum.leidenuniv.nl | +31 71 527 2727
-
Nancy Kula
Faculty of Humanities
n.c.kula@hum.leidenuniv.nl | +31 71 527 2125
-
Understanding the Surface Structure of Catalysts and 2D Materials at the Atomic Scale
The work in this thesis demonstrates how to obtain an atomic-scale picture of a diverse set of complex surface structures observed using STM, under disparate conditions.
-
Sustainable demolition of the Faculty of Science building
The demolition of the high-rise building is ready. The remaining debris are removed and the area is cleared. For the demolition, the University applied the BREEAM evaluation method at the level of ‘Excellent’, which means that the demolition operations were carbon neutral and did not cause any form…
-
Flat but not shallow. Towards flatter representations in deep semantic parsing for precise and feasible inferencing
Simulating human language understanding on the computer is a great challenge. A way to approach it is to represent natural language meanings in logic, and to use logical provers to determine what does and does not follow from a text. What logic is best to use and how natural language meanings are best…