1,004 search results for “liacs” in the Public website
-
Constraint-Based Analysis of Business Process Models
Business Process Model and Notation (BPMN) has become the standard for business processes diagrams.
-
Cleared for take-off, Game-based learning to prepare airline pilots for critical situations
Over the last decades, aviation safety has improved strongly. As a downside, airline pilots do not have as many opportunities to develop through experience the competencies that they need in critical situations.
-
Exploring Images With Deep Learning for Classification, Retrieval and Synthesis
In 2018, the number of mobile phone users will reach about 4.9 billion. Assuming an average of 5 photos taken per day using the built-in cameras would result in about 9 trillion photos annually.
-
Astrolinguistics
Design of a Linguistic System for Interstellar Communication Based on Logic
-
Design and development of a comprehensive data management platform for cytomics: cytomicsDB
Promotor: J.N. Kok, Co-promotor: F.J. Verbeek
-
Benefit for all – An ecosystem for a healthy lifestyle
The BENEFIT programme is a public-private ecosystem in a national consortium, aiming to support patients with cardiovascular diseases in their own home setting for a long-term healthy lifestyle.
-
Parallel Worlds
Addressing the core novel objective of scalably assessing the impact of possible interventions through counterfactual prediction based on spatio-temporal data.
-
Deep learning for visual understanding
With the dramatic growth of the image data on the web, there is an increasing demand of the algorithms capable of understanding the visual information automatically.
-
Breaking the Cycle
Enhancing social inclusion through developing methods and analytical tools for understanding and reasoning about such phenomena based on sensor data.
-
LUdev software development by students
LUdev is a student-run company within the Leiden Institute of Advanced Computer Science (LIACS). We are responsible for acquiring real-world software development projects, giving bachelor’s students the opportunity to apply the technical and theoretical knowledge gained during their studies in a professional…
-
The LED3 lectures
A monthly lecture series about early drug discovery research at Leiden University.
-
Abstract Behavioral Specification: unifying modeling and programming
We strive to address the challenge of constructing a modeling language to write software which can take advantage of recent hardware developments (multicore, cloud) without compromising in its abstraction levels.
-
Hybrid Quantum-Classical Metaheuristics for Automated Machine Learning Applications
This thesis investigates how quantum, quantum-inspired, and hybrid quantum-classical computation can enhance key points of the automated machine learning (AutoML) pipeline under the constraints of noisy intermediate-scale quantum (NISQ) devices.
-
AutoAI4EO
Advancing AutoML systems targeting machine learning tasks based on Earth Observation (EO) Datasets.
-
Multi Modal Representation Learning and Cross-Modal Semantic Matching
Humans perceive the real world through their sensory organs: vision, taste, hearing, smell, and touch. In terms of information, we consider these different modesalso referred to as different channels of information or modals.
-
Gorlaeus BuildingEinsteinweg 55, Leiden
-
Data Driven Modeling & Optimization of Industrial Processes
Industrial manufacturing processes, such as the production of steel or the stamping of car body parts, are complex semi-batch processes with many process steps, machine parameters and quality indicators.
-
Fiji
FIJI is one of the most used image analysis tools in the world. FIJI stands for FIJI is just ImageJ, it is however much more.
-
Contact
Do you have any questions about the Creative Intelligence & Technology master's programme (previously Media Technology)? Please contact us!
-
Predicting crime in dark web forum networks
In this project, we use social network analysis to analyze the behavior of users in online forums and associated marketplaces over time.
-
Semi-partitioned Scheduling and Task Migration in Dataflow Networks
Promotor: Ed F. Deprettere, Co-promotor: Todor P. Stefanov
-
Progressive Indexes
Interactive exploration of large volumes of data is increasingly common, as data scientists attempt to extract interesting information from large opaque data sets. This scenario presents a difficult challenge for traditional database systems, as (1) nothing is known about the query workload in advance,…
-
Actors at work
Promotor: F.S. de Boer Co-promotor: P. T. de Gouw
-
Latency, Energy, and Schedulability of Real-Time Embedded Systems
Systems are called real-time systems, if the correctness of the system does not only depend on the correctness of the system output but also on whether the output is delivered on time.
-
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…
-
Business incubators: the impact of their support
A New Technology-Based Firm (NTBF) is a significant enabler of job creation and a driver of the economy through stimulating innovation.
-
Faster X-ray Computed Tomography in Real-World Dynamic Applications
This dissertation investigates how the efficiency of Computed Tomography (CT) can be improved for dynamic scientific and industrial applications.
-
SAILS Lunch Time Seminar: Qinyu Chen
Lecture
-
Deep Learning Solutions for Domain-Specific Image Segmentation
Image segmentation is a fundamental task in computer vision, with applications ranging from medical diagnostics to archaeological research.
-
Open-world Continual Learning via Knowledge Transfer
This thesis investigates Open-world Continual Learning (OWCL), a learning paradigm designed for intelligent systems operating in non-stationary environments with persistent exposure to unknown data.
-
Dual-mode IMaging for Production and Automated Control Technologies
To overcome the limitations of slow and error-prone quality control, this research develops an advanced 3D imaging method for the rapid and reliable detection of internal defects in critical sectors.
-
From Inference to Influence: Applying Causal Game Theory to Complex Security Environments
Effective policy-making requires understanding what truly causes a problem. Only then can policymakers develop targeted interventions that achieve desired outcomes.
-
Tools for real-time study of bioorthogonal conversions in the living system
Traditional biochemical methods for studying organelles require cell disruption, preventing the real-time observation of dynamic intracellular processes.
-
Abstract delta modeling: software product lines and beyond
Promotor: Prof.dr. F.S. de Boer, Co-promotor: D. Clarke
-
Toward Tractable Quantum Energy and Circuit Problems
To address the computational intractability of quantum system design, this research presents a framework that reduces quantum states and circuits to symbolic forms, enabling verifiable and interpretable analysis through classical satisfiability solving.
-
Web tracking and Algorithmic Profiling: Trends, Challenges, Horizons
To counter the privacy risks and regulatory challenges of algorithmic user profiling, the WATCH Project builds a cross-institutional research network to drive the development of privacy-preserving web technologies and digital policies.
-
Multi-objective Evolutionary Algorithms for Optimal Scheduling
Multi-objective optimization is an effective technique for finding optimal solutions that balance several conflicting objectives. It has been applied in many fields of our world, because practical problems usually have more than one desired goal. For example, developing a new vehicle component might…
-
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.
-
PA-AutoML
Creation of a framework for environmental parameter estimation that benefits from the consistency of physics-based theory-driven models and the accuracy of the machine-learning-based data-driven models
-
Schedule
The Gorlaeus Building will be constructed in three phases, with the new building due to be completed by 2028.
-
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…
-
ANO-NET: Anonymity in Complex Networks
This project develops methods for ensuring the anonymity of individuals in social network data.
-
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.
-
On hard real-time scheduling of cyclo-static dataflow and its application in system-level design
Promotor: Prof.dr. E.F.A. Deprettere, Co-promoter: Todor P. Stefanov
-
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)
-
NimbleAI
NimbleAI aims at solutions for ultra-energy efficient and secure neuromorphic sensing and processing at the edge.
-
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.
-
The role of 14-3-3 proteins in ion homeostasis in the yeast Saccharomyces cerevisiae
We aim to understand ion homeostasis in the model eukaryote S. cerevisiae.
-
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…
-
MSc. Specialisation
The Business Studies specialisation is for science students who consider employment opportunities in industry, and who are looking to acquire knowledge of business principles and training in managerial skills. The specialisation can be followed by students doing a two-year Masters degree in one of…