1,369 search results for “theory of computing” in the Public website
-
Marcello Bonsangue
Science
-
Foundations of Computing (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.
-
Homo Mimeticus: A New Theory of Imitation
Imitation is, perhaps more than ever, constitutive of human originality.
-
Quantum computation with Majorana zero modes in superconducting circuits
Promotor: C.W.J. Beenakker, Co-Promotor: A.R. Akhmerov
-
On the random-matrix theory of Majorana fermions in topological superconductors
The thesis mainly contributes to the characterization of Majorana fermions as they appear in the Condensed Matter context.
-
The Roots of Intentionality in Aristotle´s Theory of Psychology
The relevance of intentionality to the interpretation of Aristotle was first suggested by Brentano in his Psychology from an Empirical Standpoint. Here we take our starting point from Brentano and investigate how Brentano’s concept of intentionality is rooted in Aristotle.
-
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.
-
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…
-
Towards a comprehensive and predictive theory of catalysis based on simple structure-activity relations
Can we tailor catalysts at the atomic scale by means of high-school chemistry and geometry rules?
-
Assistant Professor in Practice and Theory of Design (0.4 FTE)
Humanities, Academy of Creative and Performing Arts
-
High-field neuroimaging of computational processes that drive cognitive control.
How do humans control their thoughts and actions, and what can high-field brain scanning reveal about the underlying processes?
-
The Influence of Fichte’s Theory of Self-consciousness on Kierkegaard's Notion of the Self
The central subject of this dissertation is the influence of Fichte’s theory of self-consciousness on Søren Kierkegaard's philosophical notion of the self in the way Kierkegaard describes the self in his philosophy in the writing 'The Sickness unto Death' (1849). The main question this dissertation…
-
Spinoza's Theory of Religion: The Importance of Religion in Spinoza's Thought and Its Implications for State and Society
On 23 October 2019, Yoram Stein defended his thesis 'Spinoza's Theory of Religion: The Importance of Religion in Spinoza's Thought and Its Implications for State and Society'. The doctoral research was supervised by Prof. P.B. Cliteur and Prof. A.A.M. Kinneging.
-
Gell's theory of art as agency and living presence response
Subproject of
-
Computational electrocatalysis
This dissertation focused on computational methods based on first principles calculations using the Density Functional Theory (DFT) framework. Emphasis was laid on affordable methods that can provide a tradeoff between computational expense and accuracy.
-
Theory
Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…
-
Theory
Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…
-
Computer Science (MSc)
The two-year master’s programme in Computer Science at Leiden University offers seven specialisations ranging from AI to Bioinformatics and Data Science. The programme combines excellent theoretical teaching with possibilities for applied work with industrial relevance.
-
Natural computing
Research in the natural computing group covers theoretical foundations, the development of new algorithms, and interdisciplinary applications of natural computing methods.
-
Computer Committee
Task of the Computer Committee is to give advice, possibly unsolicited, on ICT matters to the Management Team of LIACS. This includes advice on ICT related policies of the faculty and university, procurement of computer and other machinery, and system administration.
-
Computer Science & Economics (BSc)
Met de bachelorspecialisatie Informatica & Economie aan de Universiteit Leiden leer je waardevolle inzichten in de economie te combineren met (programmeer)vaardigheden en kennis uit de informatica.
-
Computer Science and Education (MSc)
The master’s specialisation Computer Science and Education at Leiden University prepares students to teach the subject of biology to secondary school students. The programme comprises a one-year Computer Science component, followed by an education component in the second year.
-
Data Science: Computer Science (MSc)
The master's specialisation Data Science: Computer Science at Leiden University provides students thorough knowledge and understanding of statistical and computational aspects of data analysis, including their application in databases, advances in data mining, networks, pattern recognition, and deep…
-
About the programme
The two-year Foundations of Computing programme (120 EC) includes mandatory core courses and electives, as well as a Master's Thesis Research Project.
-
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.
-
Stereotyping in Computer Science
LIACS is partner in the project 'Stereotyping in Computer Science.' The project is a collaboration between multiple universities and the Dutch national expert organization on girls/women and science/technology (VHTO), which will investigate the stereotypes that children hold about computer scientist…
-
On cluster algebras and topological string theory
My PhD research is devoted to studies of the conjectural cluster-algebraic symmetry in the theory of topological string, which is the simplest, however already non-trivial sector in the theory of string.
-
Algorithms for quantum software
Top scientists of three Dutch universities are working on software and systems for quantum computers. Researchers of the Leiden Institute of Advanced Computer Science (LIACS) and the Leiden Institute of Physics (LION) are developing new algorithms to make those super computers work. The coming years,…
-
Theorie van fermion-pariteit-omkeringen in supergeleiders
Majorana meets a mermaid
-
Computer Systems, Imagery & media
The Computer Systems, Imagery & media (CSI) research programme performs research on methods and techniques for the design, implementation and application of advanced computer systems, in particular parallel, distributed and embedded computer systems.
-
Probability theory
The research programme Probability Theory focuses on probability theory and on operations research.
-
The quantum computer
The worldwide race to the quantum computer is in full swing. This computer can take on computing tasks that we can only dream of today, such as finding proteins that can be used as medicines in seconds flat. Leiden physicists have discovered how the Majorana particle can be used as a building block…
-
Computational linguistics
Computational linguistics uses computational methods to help answer linguistics questions across a variety of topics.
-
Algebra, Geometry and Number Theory
The research of the Algebra, Geometry and Number Theory programme ranges from fundamental mathematical theory to algorithms and applications.
-
Concrete arithmetic between geometry and number theory
Bruin
-
Computer programming
We see computer programming as an essential skill. It enables you to be self-sufficient in building tools, processing data, visualizing research output, communicating research results, etc. Moreover, it empowers you to make beautiful things.
-
Computational Biology
Projects within the theme ‘Computational Biology’ aim to employ mathematical or computational dynamical modelling approaches to discover novel concepts that are important for drug development.
-
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…
-
Computer Science and Science Communication & Society (MSc)
The master’s specialisation Computer Science and Science Communication and Society at Leiden University bridges the gap between experts and the public by combining high quality research in computer science with extensive training in science communication.
-
Computer Science
Are you thinking about studying Computer Science? Learn more and watch the videos.
-
ALICE High Performance Computing facility
High Performance Computing previously the domain of theoretical scientists and computer and software developers is becoming ever more important as a research tool in many research areas. A University facility, providing serious computational capabilities, combined with easy and flexible local access,…
-
Computer Science
PhD candidates carry out a programme of independent research and additional (limited) course work, culminating in production of a PhD thesis in typically 4 years.
-
LEELIS Conference on future of computer chips
A collaboration of physicists and chemists organized the LEELIS conference on new computer chip technology in Amsterdam on 10-11 November. Leiden physicist Joost Frenken is director of the organizing institute ARCNL.
-
Key Issues in Historical Theory
This book addresses the definition of history and how people are influenced by it.
-
Hendrik Kaptein
Faculteit Rechtsgeleerdheid
-
Computational facilities
Beowulf clusters looking for new frontiers.
-
Optimization of quantum algorithms for near-term quantum computers
This thesis covers several aspects of quantum algorithms for near-term quantum computers and its applications to quantum chemistry and material science.
-
Landscape Theory: Post-68 Revolutionary Cinema in Japan
On the 28th of September Go Hirasawa successfully defended a doctoral thesis and graduated.
-
Control theory methods for quantitative systems pharmacology models
Following their application to system biological models, control theory techniques have further potential to aid in the understanding and application of quantitative systems pharmacology models.
- Diplomatic Theory