1,354 zoekresultaten voor “ssh liacs” in de Publieke website
-
SAILS Lunch Time Seminar: Qinyu Chen
Lezing
-
Shape Analysis for Phenotype Characterisation from High-throughput Imaging
We have studied shape with a particular focus on the zebrafish model system. The shape is an essential appearance of the phenotype of a biological specimen and it can be used to read out a current state or response or to study gene expression.
-
On hard real-time scheduling of cyclo-static dataflow and its application in system-level design
Promoter: Ed F. Deprettere, Co-promoter: Todor P. Stefanov
-
Stressless met behulp van Virtual Reality
Tijdens dit project wordt een app over stress ontwikkeld en geëvalueerd. De app heeft drie functies: een informerende, preventieve en herstellende/curatieve functie.
-
Artificial Intelligence, Games and Education
Video games have emerged as one of the most interesting media of the turn of the century. The peculiar characteristic of video games is the biunivocal interaction between the computer and the human player.
-
Healthcare Information System Engineering: AI Technologies and Open Source Approaches
Healthcare Information Systems (HIS) are essential for modern healthcare delivery, yet their development faces significant challenges including heterogeneous data formats, regulatory compliance, and the growing demand for AI-driven decision support.
-
Data-Driven Machine Learning and Optimization Pipelines for Real- World Applications
Machine Learning is becoming a more and more substantial technology for industry.
-
Multi-objective mixed-integer evolutionary algorithms for building spatial design
Multi-objective evolutionary computation aims to find high quality (Pareto optimal) solutions that represent the trade-off between multiple objectives.
-
Advancing Learned Algorithms for 2D X-ray Computed Tomography
This thesis surveys the intersection of computed tomography (CT) and machine learning (ML), treating CT as an ill-posed inverse problem shaped by object properties, imaging physics, and data limitations.
-
Hybride intelligentie Centrum
Hybride intelligentie (HI) is de combinatie van menselijke en machinale intelligentie, waarbij het menselijk intellect wordt uitgebreid in plaats van vervangen. HI houdt rekening met de menselijke expertise en intentionaliteit bij het nemen van zinvolle beslissingen en het uitvoeren van passende acties,…
-
Learning from small samples
Learning from small data sets in machine learning is a crucial challenge, especially when dealing with data imbalances and anomaly detection. This thesis delves into the challenges and methodologies of learning from small datasets in machine learning, with a particular focus on addressing data imbalances…
-
Sterrewacht Leiden
Sterrewacht Leiden is het sterrenkundig instituut van de Faculteit der Wiskunde en Natuurwetenschappen van de Universiteit Leiden.
-
Combining monitoring with run-time assertion checking
Promotor: F.S. de Boer, Co-promotor: M.M. Bonsangue
-
Cyber-Security-by-Integrated-Design (C-SIDe) project
Cyberaanvallen, privacygerelateerde problemen of storingen in het functioneren: veel technologieën die dagelijks worden gebruikt, kennen beveiligingsproblemen die worden opgelost als de software al in gebruik is. Een interdisciplinair project, waarin Olga Gadyatskaya, Harry Wijshoff, Alex Uta en Kristian…
-
Quality-driven multi-objective optimization of software architecture design: method, tool, and application
Promotores: Prof.dr. T.H.W. Bäck, Prof.dr. M.R.V. Chaudron, Co-Promotor: M.T.M. Emmerich
-
Trustworthy anomaly detection for smart manufacturing
This dissertation explores how we can make anomaly detection—identifying unusual or faulty behavior in complex systems—more trustworthy and effective, with a focus on smart manufacturing.
-
Multi-objective Evolutionary Algorithms for Optimal Scheduling
Multi-criteria optimalisatie is een effectieve techniek voor het vinden van optimale oplossingen die een afweging bieden tussen verschillende, tegenstrijdige criteria. Het heeft zijn toepassing gevonden in de wereld om ons heen omdat bij het oplossen van praktische, re¨ele wereld problemen men gewoonlijk…
-
Utopia: Universal Three-dimensiOnal Passport for process Individualization in Agriculture
Vroege opsporing van gezondheidsrisico's Landbouwvoedingsmiddelen variëren van nature in hun gedetailleerde interne structuur. Om de vroege opsporing van gezondheidsrisico's als gevolg van besmetting of ziekten te vergemakkelijken, de rijpheid te voorspellen en de verspilling te minimaliseren, is het…
-
Planning
Het Gorlaeus Gebouw wordt in drie fasen gerealiseerd. Het nieuwe gebouw is medio 2028 helemaal gereed.
-
Dynamic real-time substrate feed optimization of anaerobic co-digestion plants
Promotores: Prof.dr. T.H.W. Bäck, Prof.dr. M. Bongards (Cologne University)
-
An Online Corpus of UML design models: Construction and empirical studies
Promotores: J. Kok, M. Chaudron (Chalmers University)
-
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.
-
Learning-based Representations of High-dimensional CAE Models for Automotive Design Optimization
In design optimization problems, engineers typically handcraft design representations based on personal expertise, which leaves a fingerprint of the user experience in the optimization data. Thus, learning this notion of experience as transferrable design features has potential to improve the performance…
-
Towards High Performance and Efficient Brain Computer Interface Character Speller: Convolutional Neural Network based Methods
A P300-based Brain Computer Interface character speller, also known as P300 speller, has been an important communication pathway, under extensive research, for people who lose motor ability, such as patients with Amyotrophic Lateral Sclerosis or spinal-cord injury because a P300 speller allows human-beings…
-
Deep Generative Models for Engineering Design
Promotie
-
Kunstmatige intelligentie en machine learning
Computers zijn in staat om ongelooflijk nauwkeurige voorspellingen te doen op basis van machine learning. Met andere woorden, deze computers kunnen zonder tussenkomst leren als ze eenmaal door mensen zijn voorgeprogrammeerd. Bij LIACS verkennen en verleggen we de grenzen van wat een revolutionaire nieuwe…
-
Mark Rutgers herbenoemd tot decaan van de Faculteit Geesteswetenschappen
Mark Rutgers is herbenoemd als decaan van de Faculteit Geesteswetenschappen. Na een eerste termijn die vooral intern was georiënteerd, moet de blik nu naar buiten.
-
PDI-SSH-subsidie voor AI-project Anne Meuwese
Met haar project WetSuite wil Meuwese AI-technieken die gebruikt kunnen worden om juridische overheidsdocumenten te analyseren toegankelijk maken voor een brede groep onderzoekers.
-
Herman Paul nieuw KNAW-lid: ‘Uitdagingen genoeg’
Herman Paul (hoogleraar geschiedenis van de geesteswetenschappen) is verkozen tot lid van de Koninklijke Nederlandse Akademie van Wetenschappen (KNAW). Op 30 september wordt hij officieel geïnstalleerd.
-
Joanne van der Leun voorzitter Raad van Decanen Rechtsgeleerdheid
Decaan van de Faculteit der Rechtsgeleerdheid prof. Joanne van der Leun is gekozen tot nieuwe voorzitter van de landelijke Raad van Decanen Rechtsgeleerdheid. Hiermee volgt ze prof. Ton Hol van de Universiteit Utrecht op.
-
Onderwijs
Verken de wereldtop aan onderwijs in de geesteswetenschappen bij de Universiteit Leiden. Honours-onderwijs in Humanities Lab, interdisciplinaire thema's, en unieke Pre-University Classes voor vwo'ers. Start jouw internationale academische carrière.
-
Het team
Ontmoet de mensen van het Resilience Center
-
Machine Learning
Computers zijn in staat om ongelooflijk nauwkeurige voorspellingen te doen op basis van machine learning. Met andere woorden, deze computers kunnen zonder tussenkomst leren als ze eenmaal door mensen zijn voorgeprogrammeerd. Bij LIACS verkennen en verleggen we de grenzen van wat een revolutionaire nieuwe…
-
Governance and Data Science Group
The extensive use of electronic communication channels and other devices has opened new possibilities for collecting data on human behavior. This information is sometimes openly accessible, but largely part of administrative registration systems that are not open to the broader public. The data provides…
-
Structured Parallel Programming for Monte Carlo Tree Search
The thesis is part of a bigger project, the HEPGAME (High Energy Physics Game). The main objective for HEPGAME is the utilization of AI solutions, particularly by using MCTS for simplification of HEP calculations.
-
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?
-
Data-driven donation strategies: understanding and predicting blood donor deferral
The research in this dissertation aims to optimise blood donation processes in the framework of the Dutch national blood bank Sanquin. The primary health risk for blood donors is iron deficiency, which is evaluated based on donors' hemoglobin and ferritin levels.
-
Events
Het LIACS organiseert verschillende lezingenseries, zoals het LCN2 Seminars en de SAILS Lunch Time-seminars.
-
XAIPRE - Uitlegbare AI voor voorspellend onderhoud
Het project XAIPre (spreek uit als
-
Onderzoek
Onderzoekers vanuit verschillende vakgebieden werken samen om oplossingen te bedenken voor maatschappelijke problemen.
-
Searching by Learning: Exploring Artificial General Intelligence on Small Board Games by Deep Reinforcement Learning
In deep reinforcement learning, searching and learning techniques are two important components. They can be used independently and in combination to deal with different problems in AI, and have achieved impressive results in game playing and robotics. These results have inspired research into artificial…
-
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.
-
[sbb] INSCONS: International Scientific Consortia
Wereldwijde uitdagingen aanpakken via internationale wetenschappelijke consortia
-
ANO-NET: Anonimiteit in complexe netwerken
Dit project ontwikkelt methoden om de anonimiteit van individuen in sociale netwerkgegevens te waarborgen.
-
Population-Scale Network Analysis (POPNET)
Een infrastructuur voor onderzoeksdata in computationele sociale wetenschappen
-
SAILS Lunch Time Seminar: Adam Lukawski
Lezing
-
Toelatingseisen
Check de volgende toelatingseisen voordat jij je aanmeldt voor de opleiding Informatica.
-
Tuning the Tuner: The Art of Automatic Performance Optimization
Promotie
-
Statisticus Heike Trautmann is Pascalhoogleraar 2017
De Duitse hoogleraar Information Systems and Statistics Heike Trautmann aanvaardde deze maand de Pascalleerstoel bij LIACS, het informatica-instituut aan de Universiteit Leiden. Trautmanns belangrijkste vakgebieden zijn evolutionary multiobjective optimisation en data science, waar ook LIACS sterk in…
-
Latest hardware for computer research on medical imaging
The LIACS Media Lab has received a research grant from the worldwide leading graphics hardware company NVIDIA. The grant exists of newly developed hardware utilizing thousands of processors. LIACS researchers will use it to investigate deep learning in understanding imagery from sources such as MRI…