1,634 zoekresultaten voor “computer systems” in de Publieke website
-
Exploring future multi-messenger Galactic astronomy
For centuries astronomers studied the Universe by collecting light. Nowadays, we are living in times of great technological advancements, which allow us to explore our Universe in a new way - though gravitational wave radiation.
-
Md Faysal Tareq
Wiskunde en Natuurwetenschappen
-
Samar Khalil
Wiskunde en Natuurwetenschappen
-
Femke Bakker, Hawks and Doves: Democratic Peace Theory Revisited
Femke Bakker, Hawks and Doves: Democratic Peace Theory Revisited
-
Random walks in dynamic random environments
Promotor: W.Th.F. den Hollander
-
Hora Est via de computer: zo verliep de eerste volledig digitale promotie in Leiden
Samineh Bagheri is de eerste PhD-kandidaat die haar proefschrift volledig op afstand verdedigt.
-
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
-
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
-
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.
-
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.
-
Instituut voor Informatica aan de Universiteit Leiden
Leiden Institute of Advanced Computer Science (LIACS)
-
Piecewise deterministic Markov processes: an analytic approach
Promotor: S.M. Verduyn Lunel, Co-Promotores: S.C.Hille, O.W. van Gaans
-
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
-
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.
-
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
-
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
-
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…
-
‘Wetenschap gaat beter als je divers bent’
Aske Plaat is wetenschappelijk directeur van het LIACS, het Leiden Institute of Advanced Computer Systems. Hij is ook ambassadeur van het LGBT+ Network van de Universiteit Leiden. Bevlogen vertelt hij waarom.
-
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
-
Samenwerking groep Aarts met Intel
Natuurkundige Jan Aarts gaat samenwerken met chipfabrikant Intel bij zijn fundamentele onderzoek naar zuinige cryogene computers.
-
Estimation and Optimization of the Performance of Polyhedral Process Networks
Promotor: Prof.dr.ir. E. Deprettere
-
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.
-
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…
-
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.
-
Signatures of Majorana zero-modes in nanowires, quantum spin Hall edges, and quantum dots
Promotor: Prof.dr. C.W.J. Beenakker