1,415 zoekresultaten voor “computer systems” in de Publieke website
-
Clavis Aurea? Structure-enabled approaches of identifying and optimizing GPCR ligands
Promotores: A.P. IJzerman, H.W.T. van Vlijmen
-
Discrete tomography for integer-valued functions
Promotor: S.J. Edixhoven, Co-promotor: K.J. Batenburg
-
Development of synthetic procedures towards immunostimulating carbohydrates
Promotor: Prof.dr. G.A. van der Marel, Co-Promotor: J.D.C. Codée
-
Fermions and Bosons: Excitons in strongly correlated materials
Promotors: Prof.dr. J. Zaanen, Prof.dr.ir. H. Hilgenkamp
-
Foam rheology near the jamming transition
Promotor: Prof.dr. M.L. van Heck, Co-Promotor: B.P. Tighe
-
Trans-kingdom DNA transfer
The type-IV secretion system (T4SS) is a machinery able to transfer DNA and proteins between bacteria and in certain cases also to eukaryotic cells.
-
Discovering 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.
-
Eduard Fosch Villaronga
Faculteit Rechtsgeleerdheid
-
LIACS alumnus receives ACM Multimedia Rising Star Award
Former PhD student of the Leiden Institute of Advanced Computer Science (LIACS) Bart Thomee has received this year’s Rising Star Award from the Multimedia group of ACM, the worldwide computer science association. Today, Thomee is a successful researcher at Yahoo Labs.
-
The impact of climate variability on the ecology of a lion (Panthera leo Linnaeus 1758) population and lion livestock conflicts in the Amboseli
Promotor: Prof.dr. G.R. de Snoo, Prof.dr. G.A. Persoon, Co-promotor: H.H. de Iongh
-
Long term dynamics of stochastic evolution equations
Promotor: S.M. Verduyn Lunel, Co-promotor: O. van Gaans
-
Piecewise deterministic Markov processes: an analytic approach
Promotor: S.M. Verduyn Lunel, Co-Promotores: S.C.Hille, O.W. van Gaans
-
Instituut voor Informatica aan de Universiteit Leiden
Leiden Institute of Advanced Computer Science (LIACS)
-
PhD candidate, Compliance by Design: Technical Challenges of EU AI Act Requirements and Their Ethica
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Chemical Tools to Illuminate N-acylphosphatidylethanolamine Biosynthesis
This thesis describes the development and optimization of the first molecular tools to study the enzyme PLA2G4E.
-
Metabolic signatures in nutrition and health: short-term diet response, sexual dimorphism and hormone chronobiology
The power of personalized nutrition lies in being able to conduct clinical research on healthy people while capturing metabolic markers sensitive to the impact of environmental and metabolic stressors (e.g. diet, changing sex hormones and the menstrual cycle).
-
Soil and crop management options to improve nitrogen cycling on dairy farms on peat soil
The main research question of this thesis was: Can nitrogen cycling on dairy farms on peat soil in the Dutch Green Heart area be improved by adapting management to the nitrogen supply from soil and by using other grassland species and crops without affecting milk production?
-
Don't Blink: Detecting transiting exoplanets with MASCARA
This thesis describes the Multi-site All-Sky CAmeRA (MASCARA), which consists of two small robotic telescope designed to detect exoplanets around the brightest stars in the sky.
-
Matching, entropy, holes and expansions
In this dissertation, matching, entropy, holes and expansions come together. The first chapter is an introduction to ergodic theory and dynamical systems.
-
Laboratoria Digital Archaeology
De onderzoeksgroep Digital Archaeology beheert twee computerlaboratoria voor verschillende doeleinden: een onderwijslab en een onderzoekslab.
-
Activity-Based Proteasome Profiling
Promotor: Prof.dr. H.S. Overkleeft
-
Prediction of brain target site concentrations on the basis of CSF PK: impact of mechanisms of blood-to-brain transport and within brain distribution
Promotor: M. Danhof, Co-promotor: E.C.M. de Lange
-
Postdoc Automated Reasoning in Quantum Computing (0.8-1.0 FTE)
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Marcello Bonsangue
Wiskunde en Natuurwetenschappen
-
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?
-
Theorie
Veel belangrijke onderwerpen in de informatica, zoals de juistheid van software, de efficiëntie van algoritmen en de modellering van gecompliceerde systemen, zijn afhankelijk van een goede theoretische onderbouwing. In de Theoriegroep bestuderen we deze fundamentele bouwstenen en ontwikkelen we verificatiemethoden…
-
SAPPAO - Optimizing the flight times of airplanes using data science
Met het SAPPAO-project willen we de voorspelling van geplande vluchten nauwkeuriger en betrouwbaarder maken. De volledige naam van het project is ‘A Systems Approach towards Data Mining and Prediction in Airlines Operations’.
-
Het legaliteitsbeginsel en de doorwerking van Europees recht in het Nederlandse materiële strafrecht
Het recht van de Europese Unie beïnvloedt direct en indirect de reikwijdte van strafrechtelijke aansprakelijkheid in Nederland. Die beïnvloeding heeft betekenis voor het materieelrechtelijk legaliteitsbeginsel.
-
Cell-autonomous and host-dependent CXCR4 signaling in cancer metastasis: insights from a zebrafish xenograft model
Promotor: A.H. Meijer, Co-promotor: B.E. Snaar-Jagalska
-
Estimation and Optimization of the Performance of Polyhedral Process Networks
Promotor: Prof.dr.ir. E. Deprettere
-
Samenwerking groep Aarts met Intel
Natuurkundige Jan Aarts gaat samenwerken met chipfabrikant Intel bij zijn fundamentele onderzoek naar zuinige cryogene computers.
-
De wereld is quantum
Quantummechanica voor iedereen
-
Gehandicapten bewegen in toekomst dankzij technologie Minority Report
Vanaf vandaag is Microsoft Kinect te koop. Met de camera voor de Xbox 360 is het mogelijk om games te spelen zonder controller. Volgens Fons Verbeek van het Leidse Institute of Advanced Computer Science zou Kinect daarom wel eens het begin kunnen zijn van een hele nieuwe generatie computer interfaces.…
-
PhD Candidate, Detailed Video Understanding
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Biological model representation and analysis
Promotor: Prof.dr. J.N. Kok, Co-promotor: F.J. Verbeek
-
Patterns on Spatially Structured Domains
We consider the propagation of electrical signals through nerve fibres.
-
Drie toekenningen uit Nationaal Groeifonds Quantumtechnologie voor Leidse wetenschappers
Drie Leidse onderzoekers hebben een toekenning gekregen binnen het Nationaal Groeifonds-programma Quantumtechnologie dat NWO in samenwerking met Quantum Delta NL heeft georganiseerd. Lees verder over deze drie futuristische quantumtechnologieprojecten.
-
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.
- From basic research to therapy development for neuromuscular disorders
-
Generalized Strictly Periodic Scheduling Analysis, Resource Optimization, and Implementation of Adaptive Streaming Applications
This thesis focuses on addressing four research problems in designing embedded streaming systems.
-
CRISPR Cas-induced targeted mutagenesis with Agrobacterium mediated protein delivery
The RNA guided endonuclease based on the CRISPR/Cas system of Streptococcus pyogenus is a potent new tool for genome engineering in plants.
-
Cyberveiligheid door Security-by-Design
C-SIDe project betrekt een brede selectie van partners bij het oplossen van cybersecurityproblemen. Beveiliging van softwaresystemen is een kritieke behoefte in onze onderling verbonden samenleving. Bedrijven die softwareproducten ontwikkelen, zoeken naar Security-by-Design-benaderingen die beveiliging…
-
Signatures of Majorana zero-modes in nanowires, quantum spin Hall edges, and quantum dots
Promotor: Prof.dr. C.W.J. Beenakker
-
Positioning of current Environmental tools & an outlook to the future
Review of new technical decisionsupport systems in the environmental field, and application in water management decission processes.
-
Geometry and arithmetic of del Pezzo surfaces of degree 1
This thesis contains results on the arithmetic and geometry of del Pezzo surfaces of degree 1.In Chapter 1 we give the necessary background, assuming the reader is familiar with algebraic geometry.
-
A recipe for desert: analysis of an extended Klausmeier model
Promotores: Arjen Doelman, Jens Rademacher, Max Rietkerk
-
Numerical exploration of statistical physics
In this thesis, we examine various systems through the lens of several numerical methods.
-
Population Health Management (MSc)
Discover the master program population Health Management at Leiden University and contribute to a more integrated health care system. Learn more!
-
Multi-omics studies of the control of growth and antibiotic production of Streptomyces
Actinobacteria are Gram-positive bacteria that have a complex multicellular life cycle and are well known for their ability to produce a wide range of bioactive natural products (NPs).
- Moons Beyond the Solar System