LIACS Thesis Repository

These webpages contain theses and reports by students affiliated with the various bachelor and master programmes offered at the Leiden Institute of Advanced Computer Science (LIACS), the computer science and artificial intelligence department of Leiden University.
Note: this thesis repository might be incomplete for certain programmes.

209 entries found.

PhD Computer Science

2021

Student	Thesis	Content
Chen, Wei	Exploring Deep Learning for Intelligent Image Retrieval
Georgiou, Theodoros	Multi-Dimensional Feature and Data Mining
Holanda, Pedro Timbo	Progressive Indices: Indexing Without Prejudice
Meertens, Q.A.	Misclassification Bias in Statistical Learning
Pi, Lei	External knowledge absorption in Chinese SMEs
Proenca, Hugo	Robust Rules for Prediction and Description
Samaee Mofrad, Negin	Business Incubators: the Impact of their Support
Stork, Lise	Knowledge Extraction from Archives of Natural History Collections
Wang, Hui	Searching by Learning

2020

Student	Thesis	Content
Bagheri, Samineh	Self-Adjusting Surrogate-Assisted Optimization Techniques for Expensive Constrained Black Box Problems
Blok, Bob	CreatIef, Creatiever, CreaTiefst?
Changizi, Behnaz	Constraint-Based Analysis of Business Process Models
De Paula Bueno, Marcos	Unraveling Temporal Processes using Probabilistic Graphical Models
Echtenbruck, Martina	Optimally weighted ensembles of surrogate models for sequential parameter optimization
Koch, Milan	Data-Driven Machine Learning and Optimization Pipelines for Real-World Applications
Mirsoleimani, Ali	Structured Parallel Programming for Monte Carlo Tree Search
Niknam, Sobhan	Generalized Strictly Periodic Scheduling Analysis, Resource Optimization, and Implementation of Adaptive Streaming Applications
Pijnenburg, Mark	Data Science for Tax Administration
Raasveldt, Mark	Integrating Analytics with Relational Databases
Serbanescu, Vlad	Software Development by Abstract Behavioural Specification
Shan, Hongchang	Towards High Performance and Efficient Brain Computer Interface Character Speller: Convolutional Neural Network based Methods
Soltani, Mozhan	Exploring Means to Facilitate Software Debugging
Tang, Xiaoqin	Optimization and Application of 3D Reconstruction for Optical Projection Tomography
Toubman, Armon	Calculated Moves: Generating Air Combat Behaviour
Wang, Peng	On the Power Efficiency, Low latency, and Quality of Service in Network-on-Chip

2019

Student	Thesis	Content
Azadbakht, Keyvan	Asynchronous Programming in the Abstract Behavioural Specification Language
Blom, Koen van der	Multi-objective Mixed-integer Evolutionary Algorithms for Building Spatial Design
Fuchs, Christian	Fault-Tolerant Satellite Computing with Modern Semiconductors
Kuindersma, Esther	Cleared for take-off, Game-based learning to prepare airline pilots for critical situations

2018

Student	Thesis	Content
Bezirgiannis, Nikolaos	Abstract Behavioral Specification: Unifying Modeling and Programming
Cachucho, Ricardo de Gouveia da Costa	Methods and Tools for Mining Multivariate Time Series
Fernández-Sáez, Ana M.	Studying the Benefits of Using UML on Software Maintenance: an Evidence-Based Approach
Liu, Yu	Exploring Images with Deep Learning for Classification, Retrieval and Synthesis
Maulana, A.	Many Objective Optimization and Complex Network Analysis
Schraffenberger, Hanna	Arguably Augmented Reality, Relationships Between the Virtual and the Real
Stein, Bas van	Data Driven Modeling & Optimization of Industrial Processes
Wang, Hao	Stochastic and Deterministic Algorithms for Continuous Black-Box Optimization

2017

Student	Thesis	Content
Cai, Fuyu	Fuzzy systems and unsupervised computing: exploration of applications in biology
Guo, Yanming	Deep learning for visual understanding
Guo, Yuanhao	Shape analysis for phenotype characterization from high-throughput imaging
Liu, Di	Latency, energy, and schedulability of real-time embedded systems
Radosavljevik, Dejan	Applying data mining in telecommunications
Ruijl, Ben	Advances in computational methods for Quantum Field Theory calculations
Spasic, Jelena	Improved hard real-time scheduling and transformations for embedded streaming applications
Yang, Kaifeng	Multi-objective Bayesian global optimization for continuous problems and applications

2016

Student	Thesis	Content
Cannella, Emanuele	Semi-partitioned scheduling and task migration in dataflow networks
Jongmans, Sung-Shik	Automata-theoretic protocol programming
Karasneh, Bilal	An online corpus of UML Design Models: construction and empirical studies
Nobakht , Behrooz	Actors at work
Pinho Rebelo de Sá, C.F. (Claudio)	Pattern mining for label ranking
Rijn, Jan van	Massively collaborative machine learning
Tleis, Mohamed	Image analysis for gene expression based phenotype characterization in yeast cells
Vis, Jonathan K.	Algorithms for the Description of Molecular Sequences
Weber, Christina	Real-time foresight: preparedness for dynamic innovation networks
Wu, Song	Large scale visual search
Yang, Zhiwei	Meta-heuristics for vehicle routing and inventory routing problems

2015

Student	Thesis	Content
Gard, Jérôme	Corporate venture management in SMEs: evidence from the German IT consulting industry
Jong, A.P.A. de (Staas)	Computed fingertip touch for the instrumental control of musical sound
Larios Vargas, Enrique	Design and development of a comprehensive data management platform for cytomics
Osman, Mohd Hafeez Bin	Interactive Scalable Condensation of Reverse Engineered UML Class Diagrams for Software Comprehension
Rot, Jurriaan C.	Enhanced Coinduction
Stettina, Christoph J.	Governance of Innovation Project Management: Necessary and Neglected
Vespier, Ugo	Mining Sensor Data from Complex Systems
Viana de Carvalho, Rafael	Computational Modelling of Mycobacterium Infection and Innate Immune Response in Zebrafish
Vliet, Rudy van	DNA Expressions – A formal notation for DNA
Zhai, Jiali Teddy	Adaptive Streaming Applications: Analysis and Implementation Models
Zhao, Yuanyuan	Modelling the dynamics of the innovation process

2014

Student	Thesis	Content
Bamakhrama, Mohamed A.M.	On hard real-time scheduling of cyclo-static dataflow and its application in system-level design
Cao, Lu	Biological model representation and analysis
Etemadi Idgahi, Ramin	Quality-driven multi-objective optimization of software architecture design: method, tool, and application
Gaida, Daniel	Dynamic real-time substrate feed optimization of anaerobic co-digestion plants
Helvensteijn, Michiel	Abstract delta modeling : software product lines and beyond
Holzmann, Thomas O.	Matchmaking for open innovation : perspectives on multi-sided markets
Kieft, Nataša	Evaluation of different design space description methods for analysing combustion engine operation limits
Miao, Shengfa	Structural health monitoring meets data mining
Rietveld, Kristian F.D.	A versatile tuple-based optimization framework
Schraagen, Marijn P.	Aspects of record linkage
Takes, Frank W.	Algorithms for analyzing and mining real-world graphs

2013

Student	Thesis	Content
Balevic, Ana	Exploiting multi-level parallelism in streaming applications for heterogeneous platforms with GPUs
Duivesteijn, Wouter	Exceptional model mining
Gouw, Stijn de	Combining monitoring with run-time assertion checking
Haastregt, Sven J.J. van	Estimation and optimization of the performance of polyhedral process networks
Holm, Mattias	Optimizing Pointer Linked Data Structures
Koch, Patrick	Efficient tuning in supervised machine learning
Nezhinsky, Alexander E.	Pattern recognition in high-throughput zebrafish imaging
Reehuis, Edgar J.J.	Guiding evolutionary search towards innovative solutions
Yan, Kuan	Image analysis and platform development for automated phenotyping in cytomics
Zhou, Zhao	Technology Entrepreneurship - A Process Framework

2012

Student	Thesis	Content
Bertens, Laura M.F.	Computerised modelling for developmental biology : an exploration with case studies
Heijstek, Werner	Architecture design in global and model-centric software development
I. Grabe	Static analysis of unbounded structures in object-oriented programs
I.M. Heinle	Application of evolutionary strategies to industrial forming simulations for the identification and validation of constitutive laws
Kallergi, Amalia	Connecting the dots : playful interactions with scientific image data in repositories
Kruisselbrink, Johannes W.	Evolution strategies for robust optimization
KSAWERY MULINSKI	Designing Structural Supply Chain Flexibility
M.N. Tran	Workload modeling and performance evaluation in parallel systems
Nadezhkin, Dmitry	Parallelizing dynamic sequential programs using polyhedral process networks
Rahmani, Hossein	Analysis of protein-protein interaction networks by means of annotated graph mining algorithms
Vu, Van Thieu	Opportunities for performance optimization of applications through code generation
Witsenburg, M.D.J. (Tijn)	Hybrid similarities : a method to insert relational information into existing data mining tools

2011

Student	Thesis	Content
A.A.J. Oerlemans	Content-based retrieval of visual information
E. Stupka	Fish genomes : a powerful tool to uncover new functional elements in vertebrates
José M.P. Proença	Synchronous Coordination of Distributed Components
Julia Dmitrieva	Aspects of Ontology Visualization and Integration
Jun Wang	Spiking Neural P Systems
Krause, Christian	Reconfigurable Component Connectors
Lăcrămioara Aştefănoaei	An executable theory of multi-agent systems refinement
Mohammad Izadi	Model Checking of Component Connectors
Stephanie Kemper	Modelling and Analysis of Real-time Coordination Patterns
W. Mensink	Subject of innovation or: how to redevelop 'the patient' with technology
Y. Zhang	Heterogeneous data analysis for annotation of microRNAs and novel genome assembly
Young-Joo Moon	Stochastic Models for Quality of Service of Component Connectors

2010

Student	Thesis	Content
A. Grüner	Testing object Interactions
A. Nugroho	The effects of UML modeling on the quality of software
B. Thomée	A picture is worth a thousand words : content-based image retrieval techniques
Breukelaar, Ron	Interaction and Evolutionary Algorithms
E.M.W. Lameijer	Interactive evolutionary algorithms and data mining for drug design
J.S. de Bruin	Service-oriented discovery of knowledge : foundations, implementations and applications
M.M. Jaghoori	Time at your service : schedulability analysis of real-time and distributed services
Maxime Kaplan	Commercieel Onderhandelen: Een Transdisciplinaire Aanpak
P.W.H. van der Putten	On data mining in context : cases, fusion and evaluation
S. Meijer	Transformations for polyhedral process networks
Spek, Harmen L.A. van der	Transparent Restructuring of Pointer-Linked Data

2009

Student	Thesis	Content
Belmamoune, Mounia	Spatio-Temporal Framework for Integrative Analysis of Zebrafish Developmental Studies
Cocx, Tim K.	Algorithmic tools for data-oriented law enforcement
Colas, Fabrice	Data Mining Scenarios for the Discovery of Subtypes and the Comparison of Algorithms
Laros, Jeroen F.J.	Metrics and visualisation for crime analysis and genomics
Li, Rui	Mixed-Integer Evolution Strategies for Parameter Optimization and Their Applications to Medical Image Analysis
Nikolov, Hristo N.	System-Level Design Methodology for Streaming Multi-Processor Embedded Systems
Rohling, Jos	Network Properties of the Mammalian Circadian Clock
Röttmer, Nicole	Innovation Performance and Clusters - A Dynamic Capability Perspective on Regional Technology Clusters
Stam, Andries	Interaction Protocols in PARADIGM - Extensions to a Modeling Language through Tool Development

2008

Student	Thesis	Content
A.E. Khedr	Adoption of new technologies in a highly uncertain environment
Brijder, Robert	Models of Natural Computation: Gene Assembly and Membrane Systems
C. Zissulescu-Ianculescu	Synthesis of a parallel data stream processor from data flow process networks
Graaf, Edgar H. de	Mining semi-structured data
Hui Li	Workload Characterization, Modeling, and Prediction in Grid Computing
Jacob, Joost F.	Domain Specific Modeling and Analysis
Kazius, Jeroen	Computers and Drug Discovery: Construction and Data Mining of chemical and Biological Databases
Lemaitre, Jérôme	Model-based specification and design of large-scale signal processing systems
M.L. Cristea	Parallel and Distributed Processing in High Speed Traffic Monitoring
Shir, Ofer M.	Niching in Derandomized Evolution Strategies and its Applications in Quantum Control
V.D. Živković	Execution Platform Modeling for System-Level Architecture Performance Analysis
Xiaofeng Ma	Patterns of Enterprise system Implementation - the case of Chinese aerospace corporate transformation

2007

Student	Thesis	Content
A. Turjan	Compiling Nested Loop Programs to Process Networks
Broekens, D.J. (Joost)	Affect and Learning: A Computational Analysis
J.V. Guillen Scholten	Mobile Channels for Exogeneous Coordination of Distributed Systems
M.C.M. Welten	Spatio-temporal gene expression analysis from 3D in situ hybridisation images

2006

Student	Thesis	Content
M. Haneda	Statistical compiler tuning
M. Kyas	Verifying OCL specifications of UML models
Nijssen, Siegfried	Mining structured data
Paul J. van der Mark	Code generation for large scale applications
Vincent H. Berk	Process query systems : advanced technologies for process detection and tracking

2005

Student	Thesis	Content
Ábrahám, Erika	An Assertional Proof System for Multithreaded Java - Theory and Tool Support
Eggermont, Jeroen	Data Mining using Genetic Programming; Classification and Symbolic Regression
Gelsema, Tjalling E.	Effective Models for the Structure of pi-Calculus Processes with Replication
Henkel, Christiaan V.	Experimental DNA computing

2004

Student	Thesis	Content
Frisco, Pierluigi	Theory of Molecular Computing. Splicing and Membrane systems
Maneth, Sebastian	Models of Tree Translation
Stefanov, Todor P.	Converting weakly dynamic programs to equivalent process network specifications

2003

Student	Thesis	Content
Beek, Maurice H. ter	Team automata : a formal approach to the modeling of collaboration between system components
D. CHERESIZ	Complex Streamed Media Processor Architecture
S. ALLIOT	Architecture Exploration for Large Scale Array Signal Processing Systems
S.M. BOHTE	Spiking Neural Networks

2002

Student	Thesis	Content
E. Rijpkema	Modelling task level parallellism in piece-wise regular programs
J.I. van Hemert	Application of evolutionary computation to constraint satisfaction and data mining
N. van Vugt	Models of Molecular Computing
R. van Stee	On-line Scheduling and Bin Packing
T. Kisuki	Iterative compilation in program organization
Tauritz, Daniel R.	Adaptive Information Filtering; concepts and algorithms
Wezel, Michiel C. van	Neural Networks for Intelligent Data Analysis; Theoretical and experimental aspects

2001

Student	Thesis	Content
Breg, Fabian	Java for High Performance Computing
Hage, Jurriaan	Structural Aspects for Switching Classes
Hoen, Pieter Jan 't	Towards Distributed Development of Large Object-Oriented Models
Jelasity, Marc	The Shape of Evolutionary Search: Discovering and Representing Search Space Structure
Lamers, Maarten	Neural Networks for Analysis of Data in the Environmental Epidemiology
Sebe, Nicu W.	Improving Visual Matching. Similarity Noise Distribution and Optimal Metrics

2000

Student	Thesis	Content
Soest, ErwinT.M. van	Determination of Vessel Location, Diameter and Flux from Magnetic Resonance Flow Data for Angiography

1999

Student	Thesis	Content
Kamsteeg, Gertjan	Formalization of Process Algebra with Data in the Calculus of Constructions with Inductive Types
Kemenade, C.H.M. (Kees) van	Recombinative Evolutionary Search

1998

Student	Thesis	Content
Duin, Arno C.N. van	Parallel Sparse Matrix Computations
Engelen, Robert A. van	Ctadel: A Generator of Efficient Numerical Codes

1997

Student	Thesis	Content
Juurlink, Ben H.H.	Computational Models for Parallel Computers

1996

Student	Thesis	Content
Andries, Marc A.A.	Graph Rewrite Systems and Visual Database Languages
Bik, Aart J.C.	Compiler Support for Sparse Matrix Computations
Keesmaat, N.W. (Iko)	Vector Controlled Concurrent Systems

1995

Student	Thesis	Content
Pas, Paulien ten	Trees and Texts

1994

Student	Thesis	Content
Hoogers, Peter W.	Behavioural Aspects of Petri Net
Ramackers, Guus J.	Integrated Object Modelling

1993

Student	Thesis	Content
Morssink, Pieter Jan A.	Behaviour Modelling in Information Systems Design: Application of the Paradigm Formalism
Sassen, J.M.A. (Annemarie)	Design Issues of Human Operation Support Systems

1992

Student	Thesis	Content
Corthout, M.E.A.	Point Containment and the PHAROS chip
Jong, Edwin de	Transaction-based Programming
Pol, E.J.D.	Point Containment and the PHAROS chip
Veltkamp, Remco C.	Closed Object Boundaries from Scattered Points

1991

Student	Thesis	Content
Jense, Hans	Interactive Inspection of Volume Data

1990

Student	Thesis	Content
Herman, I.	The use of Projective Geometry in Computer Graphics
Leih, George	Graph Grammers and Petri Nets with References
Oosterom, Peter van	Reactive Data Structures for Geographic Information Systems
Schouten, H.J.	Graphical Interaction in a User Interface Management System
Zuidweg, J. (Han)	Concurrent System Verification with Process Algebra

1988

Student	Thesis	Content
Nat, M. van der	Quicker than Quicksort. An Appraisal of Linear Time Sorting Methods
Steen, Maarten van	Modelling Dynamic Systems by Parallel Decision Processes
Teunissen, Wim J.M.	A Hierarchical Modelling System for Raster Graphics

1987

Student	Thesis	Content
Aalbersberg, IJsbrand Jan	Studies in Trace Theory
Hoogeboom, Hendrik Jan	Coordinated Pair Systems

1983

Student	Thesis	Content
Kleijn, H.C.M. (Jetty)	Selective Substitution Grammars based on Context-Free Productions

1980

Student	Thesis	Content
Osinga, M.	Documentation of Chemical Reactions
Weide, Theo P. van der	Datastructures: An axiomatic approach and the use of binomial trees in developing and analyzing algorithms