1,235 search results for “liacs” in the Public website
-
Large scale visual search
Promotor: J.N. Kok, Co-promotor: M.S. Lew
-
Arguably augmented reality : relationships between the virtual and the real
This thesis is about augmented reality (AR). AR is commonly considered a technology that integrates virtual images into a user’s view of the real world.
-
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.
-
Social network and radical innovation: evidence from the U.S. pharmaceutical and biotechnology industry
Innovation plays an essential role in firms' competitiveness and long-term success. It varies from different types, ranging from run-of-the-mill innovation that brings incremental changes to existing technologies to radical innovation that breaks from existing trajectories.
-
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.
-
DnQ - Divide and Quantum
The Divide & Quantum (D&Q) project offers various solutions to harness the power of quantum computers in the near term, proposing entire pipelines, from theoretical research, via implementation to real-world case studies in a number of disciplines, to science communication with the broader society.…
-
Optimal decision-making under constraints and uncertainty
We present an extensive study of methods for exactly solving stochastic constraint (optimisation) problems (SCPs) in network analysis. These problems are prevalent in science, governance and industry.
-
Studying the Benefits of Using UML on Software Maintenance: an Evidence-Based Approach.
Including modelling as part of software development appears to have various benefits.
-
Computer Science
PhD candidates carry out a programme of independent research and additional (limited) course work, culminating in production of a PhD thesis in typically 4 years.
-
Governance of Innovation Project Management: Necessary and Neglected
Promotores: B.R. Katzy, J. de Vries, Co-Promotor: L.P. Groenewegen
-
DNA expressions - A formal notation for DNA
Promotores: J.N. Kok, H.J. Hoogeboom
-
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
-
Data-driven Predictive Maintenance and Time-Series Applications
Predictive maintenance (PdM) is a maintenance policy that uses the past, current, and prognosticated health condition of an asset to predict when timely maintenance should occur.
-
Constraint-Based Analysis of Business Process Models
Business Process Model and Notation (BPMN) has become the standard for business processes diagrams.
-
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.
-
Massively collaborative machine learning
Promotor: J. N. Kok, Co-promotor: A. J. Knobbe
-
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.
-
Algorithm selection and configuration for Noisy Intermediate Scale Quantum methods for industrial applications
Quantum hardware comes with a different computing paradigm and new ways to tackle applications. Much effort has to be put into understanding how to leverage this technology to give real-world advantages in areas of interest for industries such as combinatorial optimization or machine learning.
-
Machine learning and computer vision for urban drainage inspections
Sewer pipes are an essential infrastructure in modern society and their proper operation is important for public health. To keep sewer pipes operational as much as possible, periodical inspections for defects are performed.
-
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…
-
Automata-theoretic protocol programming
Promotor: F. Arbab
-
Applying data mining in telecommunications
This thesis applies data mining in commercial settings in the telecommunications industry.
-
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 the description of molecular sequences
Promotor: J.N. Kok, P.E. Slagboom Co-promotor: J.F.J. Laros
-
Algorithms for analyzing and mining real-world graphs
Promotor: Prof.dr. J.N. Kok, Co-Promotor: W.A. Kosters
-
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.
-
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
-
Pattern mining for label ranking
Promotor: J.N. Kok, Co-promotor: C.M. Soares, A.J. Knobbe
-
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.
-
Building4Belonging
Addressing loneliness faced by students with special needs and aiming to sense the dynamics and perceptions of students during unstructured school time.
-
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
-
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,…
-
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.
-
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.
-
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.
-
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.
-
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…
-
Meta-heuristics for vehicle routing and inventory routing problems
Promotores: T.H.W. Bäck, Y. Tan, Co-promotor: M.T.M. Emmerich