707 search results for “kwantes computer” in the Public website
-
New Foundations for Separation Logic
The research presented in this thesis concerns one of the most important questions in software engineering of our time: how can we make sure that software is free from memory safety bugs?
-
Precision medicine for agriculture: harnessing peptide-producing microbiota for sustainable crop protection
Identifying natural plant-associated bacteria that provide targeted inhibition of pathogens through the production of antimicrobial peptides.
-
Efficient constraint multi-objective optimization with applications in ship design
Constraint multi-objective optimization with a limited budget for function evaluations is challenging. This thesis tackles this problem by proposing new optimization algorithms. These algorithms are applied on holistic ship design problems. This helps naval architects balance objectives like cost, efficiency,…
-
Photoinduced processes in dye-sensitized photoanodes under the spotlight: a multiscale in silico investigation
With increasing carbon dioxide levels in the atmosphere and their detrimental effect on the global climate, modern society needs to push for more renewable energy sources. Storing widely accessible and abundant solar energy in chemical bonds in the form of molecular fuel via artificial photosynthesis…
-
Simulating the prehistoric use of fire through computer models
Archaeologists often use the percentages of heat-affected stone or bone artifacts found at archaeological sites as a way to determine how frequently fire was used by the inhabitants. Andrew Sorensen and Fulco Scherjon have come up with a computer model called 'fiReproxies' to simulate how fires used…
-
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?
-
Mechanistic modelling of drug target binding kinetics as determinant of the time course of drug action in vivo
Drug-target binding kinetics determine the time course of the central event in pharmacotherapy: Drug-target interaction.
-
Computer Science on place 51 in QS World Universities Ranking 2011
Computer Science on place 51 in QS World Universities Ranking 2011
-
Discrete tomography for integer-valued functions
Promotor: S.J. Edixhoven, Co-promotor: K.J. Batenburg
-
Thomas Bäck and Hao Wang new Editors in chief of the Evolutionary Computation Journal
LIACS scholars Thomas Bäck and Hao Wang will be the new Editors-in-Chief of the Evolutionary Computation Journal from November 1. Published by MIT Press since its foundation in 1993, the journal stands as a keystone in the field, providing a global platform for researchers exploring the workings of…
-
Smart programming for the quantum computer that does not exist yet
Designing innovative algorithms, thinking outside the box, and brainstorming over coffee with his colleagues — this is what physicist Stefano Polla enjoys most. His success shines through in his nomination for the C.J. Kok Jury Award 2024 for PhD thesis of the Year.
-
Nuno De Mesquita César de SáFaculty of Science
-
Computer program AlphaStar reaches professional level in video game StarCraft II
For the first time, a computer can compete with the very best human players in StarCraft II, a video game played by tens of thousands at a professional level and by millions just for fun. Mike Preuss, university lecturer at the Leiden Institute of Advanced Computer Science (LIACS) responds to the achievement…
-
Jaap van den Herik in Universiteit van Vlaanderen podcast on computers in the courtroom
Can a computer give just as good a judgment as a judge? Professor emeritus Law and IT believes it can and talks about using computers in the courtroom in a podcast of the Universiteit van Vlaanderen.
-
How the rise of AI is creating new opportunities for computational linguists
With the rise of AI, interest in computational linguistics and language models has taken flight. But machines are far from being able to go it alone. In her inaugural lecture, Professor Carole Tiberius will stress the importance of research on word combinations. ‘We know a great deal but there is a…
-
Large Time Behaviour of Neutral Delay Systems
Promotor: S.M. Verduyn Lunel
-
eLaw publishes article in Computer Law & Security Review
In healthcare, gender and sex considerations are crucial because they affect individuals' health and disease differences. Yet, most algorithms deployed in the healthcare context lack close consideration of these aspects and do not account for bias detection. In their latest paper, Eduard Fosch-Villaronga,…
-
Unravelling cell fate decisions through single cell methods and mathematical models
Despite being the object of intense study, embryonic development has been difficult to model due to a number of reasons. First, complex tissues can be comprised of many cell types, of which we probably only know a subset.
-
Hora est through a computer speaker: Leiden’s first fully online PhD defence
Samineh Bagheri is the first PhD candidate to defend her thesis fully remotely.
-
Melissa Hernandez VindasFaculty of Law
-
Francesco BudaFaculty of Science
-
Dirk BouwmeesterFaculty of Science
-
eLaw presents at the ACM Symposium on Computer Science and Law 2024
On 13 March 2024, Carlotta Rigotti, postdoc researcher at eLaw, and Alexandre Puttick, postdoc researcher at Bern University of Applied Sciences, remotely presented the working paper 'Towards mitigating diversity bias of AI in recruitment and selection via value sensitive design' at the ACM Symposium…
-
DNA expressions - A formal notation for DNA
Promotores: J.N. Kok, H.J. Hoogeboom
-
Leiden Law Cast #7: Law and computers with Professor Jaap van den Herik
Leiden Law Cast is a podcast made by Leiden Law School, Leiden University, for everyone who wants to learn more about current legal issues.
-
Leiden Law Cast: Law and computers with Professor Jaap van den Herik
Leiden Law Cast is a podcast made by Leiden Law School, Leiden University, for everyone who wants to learn more about current legal issues.
-
Gianclaudio Malgieri appointed as Associate Editor of Computer Law & Security Review
Gianclaudio Malgieri, after having served as an Editorial Board Member of Computer Law & Security Review, Elsevier (CLSR) in the last three years, has now been appointed as Associate Editor of that review.
-
From pixels to patterns: AI-driven image analysis in multiple domains
This thesis investigates the application of deep learning techniques in image analysis across various domains, focusing on four main themes: feature extraction, classification, segmentation, and integration, demonstrating the transformative potential of these technologies.
-
Franz WurmSocial & Behavioural Sciences
-
Hai LinFaculty of Science
-
Sebastian Fajardo BernalFaculty of Science
-
Proteins in harmony: Tuning selectivity in early drug discovery
This thesis describes the importance of being able to control the selectivity of potential drug candidates.
-
Adaptive Streaming Applications: Analysis and Implementation Models
Promotor: Prof.dr. E. Deprettere
-
Arguably augmented reality : relationships between the virtual and the real
This thesis is about augmented reality (AR). AR is commonly considered a technology that integrates virtual images into a user’s view of the real world.
-
Theory of mind in language, minds, and machines: a multidisciplinary approach
Humans can see the world through the eyes of other humans and imagine what they know, want, and intend. This competence is known as Theory of Mind.
-
Developing quantum software with a grant of 18.8 million euros
The first larger quantum computers will soon be available. These computers need new software. Researchers at Leiden University have been awarded a Gravitation grant to develop the necessary software. They will be collaborating with colleagues from other research institutions.
-
Insights from modeling metabolism and amoeboid cell motility in the immune system
This thesis focuses on two processes involved in fighting infections: metabolism and immune cell motility and navigation.
-
The flux and flow of data: connecting large datasets with machine learning in a drug discovery envirionment
This thesis focuses on data found in the field of computational drug discovery. New insight can be obtained by applying machine learning in various ways and in a variety of domains. Two studies delved into the application of proteochemometrics (PCM), a machine learning technique that can be used to…
-
Evert van NieuwenburgFaculty of Science
-
CEEDs, the Collective Experience of Empathic Data Systems
The Collective Experience of Empathic Data Systems (CEEDs) consortium developed novel integrated technologies that support experiencing, analysing and understanding of very large datasets.
-
Aske PlaatFaculty of Science
-
Milco WansleebenFaculty of Archaeology
-
Eduardo Herrera MalatestaFaculty of Archaeology
-
Martin KroonFaculty of Humanities
-
The developing infant gut microbiota: mathematical predictions of the effects of oligosaccharides
A complex community of microbes develops in the infant gut shortly after birth. We call this community the infant gut microbiota. The microbiota influences the health of the infant, which makes the composition and function of the infant gut microbiota an important topic to study.
-
Applications of paramagnetic NMR spectroscopy for protein research
The aim of the research presented in this thesis was to develop new methods forchallenging systems in liquid-state NMR using paramagnetic effects generated by thetwo-armed probe CLaNP-5.
-
Cultivating the art of hearing and being heard: how regulators strategically use public communication in regulatory governance
How do public organizations use strategic regulatory communication in regulatory governance?
-
Computerised Dynamic Testing
An assessment approach that tailors to children’s instructional needs
-
The Netherlands as an international centre for quantum technology
State secretary Mona Keijzer received the National Agenda on Quantum Technology from Robbert Dijkgraaf on 16 September. With this agenda, Dutch knowledge institutes and high-tech companies identify what is needed to maintain and strengthen the Dutch pioneering role in this area. Researchers from Leiden…
-
Software, star clusters and supercomputers
Simon Portegies Zwart, professor of Computational Astrophysics, uses computers to simulate the evolution of stars. We speak with him about his field and about the challenges of working with huge amounts of complex data.