961 zoekresultaten voor “liacs” in de Publieke website
-
Scheduled protocol programming
With the advent of multicore processors and data centers, computer hardware has become increasingly parallel, allowing one to run multiple pieces of software at the same time on different machines. Coordination of these pieces is best expressed in a coordination language as an explicit interaction protocol…
-
Multi-dimensional feature and data mining
In this thesis we explore machine and deep learning approaches that address keychallenges in high dimensional problem areas and also in improving accuracy in wellknown problems. In high dimensional contexts, we have focused on computational fluid dynamics (CFD) simulations.
-
Multi-Objective Bayesian Global Optimization for Continuous Problems and Applications
A common method to solve expensive function evaluation problem is using Bayesian Global Optimization, instead of Evolutionary Algorithms.
-
Computational optimisation of optical projection tomography for 3D image analysis
Optical projection tomography (OPT) is a tomographic 3D imaging technique used for specimens in the millimetre scale.
-
Spectral imaging and tomographic reconstruction methods for industrial applications
Radiography is an important technique to inspect objects, with applications in airports and hospitals. X-ray imaging is also essential in industry, for instance in food safety checks for the presence of foreign objects.
-
Governance of Innovation Project Management: Necessary and Neglected
Promotor: Prof.dr. B.R. Katzy, Prof.dr. J. de Vries
-
On the Power Efficiency, Low latency, and Quality of Service in Network-on-Chip
In multi/many-core System-on-Chips (SoCs), the performance is almost linearly scaling with the number of processing elements.
-
Algorithms for analyzing and mining real-world graphs
Promotor: Prof.dr. J.N. Kok, Co-Promotor: W.A. Kosters
-
creatIef, Creatiever, creaTiefst? Onderzoek naar het belang en de werking van creativiteitstraining bij Bachelor ICT-studenten
This dissertation presents the results of the importance of creativity for ICT-students of Dutch universities of applied sciences (in Dutch: hogescholen), and the functioning of training courses that aim to promote creative abilities is highlighted.
-
Transdisciplinary Perspectives on Validity: Bridging the Gap Between Design and Implementation for Technology-Enhanced Learning Systems
Technologies that help to enhance our educational environments can be found everywhere.
-
High-Tech Innovation Specialisation - Online Information Event
Studievoorlichting
-
Automated machine learning for dynamic energy management using time-series data
Time-series forecasting through modelling sequences of temporally dependent observations has many industrial and scientific applications. While machine learning models have been widely used to create time-series forecasting models, creating efficient and performant time-series forecasting models is…
-
Emergence of Linguistic Universals in Neural Agents via Artificial Language Learning and Communication
Human language is constantly evolving with its linguistic structure being shaped by language users at both individual and population levels. Focusing on the interplay between processes of language acquisition and communicative need in shaping human languages, this thesis introduces a novel computational…
-
Learning in Automated Negotiation
This dissertation advances automated negotiation by developing agents that can learn and adapt across diverse negotiation settings through three increasingly sophisticated approaches: automated algorithm configuration, portfolio-based strategy selection, and end-to-end reinforcement learning with graph…
-
Contact
Heb je nog vragen over de opleiding Informatica? Neem dan gerust contact met ons op!
-
SAILS Lunch Time Seminar: Josette Daemen
Lezing
-
SAILS Lunch Time Seminar: Friso Selten
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…
-
SAILS Lunch Time Seminar: Adam Lukawski
Lezing
-
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…
-
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.