1,061 search results for “liacs” in the Public website
-
Meta-heuristics for vehicle routing and inventory routing problems
Promotores: T.H.W. Bäck, Y. Tan, Co-promotor: M.T.M. Emmerich
-
Knowledge Extraction from Archives of Natural History Collections
Natural history collections provide invaluable sources for researchers with different disciplinary backgrounds, aspiring to study the geographical distribution of flora and fauna across the globe as well as other evolutionary processes.
-
Formal models of software-defined networks
SDN (Software-Defined Networking) represents a revolutionary approach to network architecture that enables the dynamic and flexible management of network resources through software-based control. This dissertation introduces the idea of SDN and its southbound protocol OpenFlow, then presents the formal…
-
Enhanced coinduction
Promotores: J.J.M.M. Rutten, F.S. de Boer, Co-promotor: M.M. Bonsangue
-
Opinion Diversity through Hybrid Intelligence
This dissertation explores how Large Language Models (LLMs) can effectively and responsibly contribute to complex decision-making processes. By combining AI and human intelligence, Hybrid Intelligence (HI) emerges, allowing the strengths of both humans and machines to be utilized.
-
Interactive scalable condensation of reverse engineered UML class diagrams for software comprehension
Promotores: Prof.dr. J.N. Kok, Prof.dr. M.R.V. Chaudron, Co-Promotor: P. van der Putten
-
Dosing considerations for preterm neonates: from pharmacometrics to clinical practice
Prematurely born neonates require, amongst others, pharmaceutical therapy. Dosing guidelines for these therapies are often based on data from term born neonates or older infants, while these are not necessarily similar to prematurely born neonates.
-
Tailoring x-ray tomography techniques for cultural heritage research
Visualizing the internal structure is a crucial step in acquiring knowledge about the origin, state, and composition of cultural heritage artifacts. Among the most powerful techniques for exposing the interior of cultural heritage objects is computed tomography (CT), a technique that computationally…
-
Aspects of Record Linkage
Promotores: Prof.dr. J.N. Kok, Prof.dr. C.A. Mandemakers, Co-Promotor: G. Bloothooft
-
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.
-
Building4Belonging
Addressing loneliness faced by students with special needs and aiming to sense the dynamics and perceptions of students during unstructured school time.
-
Automata-theoretic protocol programming
Promotor: F. Arbab
-
Applying data mining in telecommunications
This thesis applies data mining in commercial settings in the telecommunications industry.
-
Algorithms for the description of molecular sequences
Promotor: J.N. Kok, P.E. Slagboom Co-promotor: J.F.J. Laros
-
Pattern mining for label ranking
Promotor: J.N. Kok, Co-promotor: C.M. Soares, A.J. Knobbe
-
Modelling the dynamics of the innovation process: a data-driven agent-based approach
Promotor: Prof.dr. B.R. Katzy, Co-promotor: R. Ortt
-
Combining monitoring with run-time assertion checking
Promotor: Prof.dr. F.S. de Boer
-
Estimation and Optimization of the Performance of Polyhedral Process Networks
Promotor: E.F.A. Deprettere, Co-Promotor: A.C.J. Kienhuis
-
Improved hard real-time scheduling and transformations for embedded Streaming Applications
This thesis addresses the problem of designing performance and energy efficient embedded streaming systems, that is, systems which process a stream of input data coming from the environment and generate a stream of output data going into the environment.
-
Matchmaking for open innovation: perspectives on multi-sided markets
Promotores: Prof.dr. B.R. Katzy, Prof.dr. K. Sailer (Munich University)
-
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.
-
Real-time foresight: preparedness for dynamic innovation networks
Promotor: H.J. van den Herik, B.R. Katzy, Co-promotor: K. Sailer
-
Large scale visual search
Promotor: J.N. Kok, Co-promotor: M.S. Lew
-
About LCN2
Mission statement
-
Calculated Moves: Generating Air Combat Behaviour
By training with virtual opponents known as computer generated forces (CGFs), trainee fighter pilots can build the experience necessary for air combat operations, at a fraction of the cost of training with real aircraft.
-
Robust rules for prediction and description.
In this work, we attempt to answer the question:
-
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.
-
AI Labs
AI Labs are collaborations of Leiden University with external parties such as industry, governmental parties and other universities on the topic of Artificial Intelligence. The Science institutes of Leiden University are unique located in the largest Bioscience Park of the Netherlands, next door to…
-
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.
-
Abstract delta modeling: software product lines and beyond
Promotor: Prof.dr. F.S. de Boer, Co-promotor: D. Clarke
-
Algorithms for analyzing and mining real-world graphs
Promotor: Prof.dr. J.N. Kok, Co-Promotor: W.A. Kosters
-
Algorithm design for mixed-integer black-box optimization problems with uncertainty
The increasing competition in the automotive industry requires the tailored, swift development of technologically sophisticated vehicles. Therefore, the computationally expensive state-of-the-art simulation technologies are combined with optimization algorithms. An example of a real-world optimization…
-
Institutes
Leiden University research institutes based in Leiden and The Hague.
-
Towards a Relational Approach to Understanding Interactions in Interactive Art
This thesis introduces a relational interaction model and a practical tool for describing, visualising and generating interactive dialogues.
-
Imperfect information variants of combinatorial games
Combinatorial games are games for two competing players, moving in a turn-by-turn fashion, in which there is no chance nor hidden information. Chess, checkers and the simpler tic tac toe are well-known examples of this class of games, as well as game of go.
-
Stochastic and Deterministic Algorithms for Continuous Black-Box Optimization
Continuous optimization is never easy: the exact solution is always a luxury demand and the theory of it is not always analytical and elegant.
-
Efficient constraint multi-objective optimization with applications in ship design
Constraint multi-objective optimization with a limited budget for function evaluations is challenging. This thesis tackles this problem by proposing new optimization algorithms. These algorithms are applied on holistic ship design problems. This helps naval architects balance objectives like cost, efficiency,…
-
Deep learning for tomographic reconstruction with limited data
Tomography is a powerful technique to non-destructively determine the interior structure of an object.Usually, a series of projection images (e.g.\ X-ray images) is acquired from a range of different positions.
-
Adaptive Streaming Applications: Analysis and Implementation Models
Promotor: Prof.dr. E. Deprettere
-
Socially Embedded AI Systems
This interdisciplinary research project explores several adaptive machine learning methods which can give insight into the interaction between human and machine. The ultimate goal is open and natural communication between humans and AI that should result in mutual trust, cooperation and coordination…
-
Fuzzy systems and unsupervised computing: exploration of applications in biology
In this thesis we will explore the use of fuzzy systems theory for applications in bioinformatics.
-
Utopia: Universal Three-dimensiOnal Passport for process Individualization in Agriculture
Agricultural foods naturally vary in their detailed internal structure. To facilitate early detection of health hazards due to contamination or disease, predict maturity and minimize wastage, it is critical to take into account the internal characteristics of each individual product, as these enable…
-
Optimally weighted ensembles of surrogate models for sequential parameter optimization
It is a common technique in global optimization with expensive black-box functions to learn a surrogate-model of the response function from past evaluations and use it to decide on the location of future evaluations.
-
SAILS Lunch Time Seminar: Friso Selten
Lecture
-
SAILS Lunch Time Seminar: Josette Daemen
Lecture
-
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…
-
Machine learning-based NO2 estimation from seagoing ships using TROPOMI/S5P satellite data
The marine shipping industry is one of the strongest emitters of nitrogen oxides (NOx), a pollutant detrimental to ecology and human health. Over the last 20 years, the pollution produced by power plants, the industry sector, and cars has been decreasing.
-
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.