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.
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Student | Thesis | Content |
---|---|---|
Soest, ErwinT.M. van | Determination of Vessel Location, Diameter and Flux from Magnetic Resonance Flow Data for Angiography |
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 |
Student | Thesis | Content |
---|---|---|
Duin, Arno C.N. van | Parallel Sparse Matrix Computations | |
Engelen, Robert A. van | Ctadel: A Generator of Efficient Numerical Codes |
Student | Thesis | Content |
---|---|---|
Juurlink, Ben H.H. | Computational Models for Parallel Computers |
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 |
Student | Thesis | Content |
---|---|---|
Pas, Paulien ten | Trees and Texts |
Student | Thesis | Content |
---|---|---|
Hoogers, Peter W. | Behavioural Aspects of Petri Net | |
Ramackers, Guus J. | Integrated Object Modelling |
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 |
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 |
Student | Thesis | Content |
---|---|---|
Jense, Hans | Interactive Inspection of Volume Data |
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 |
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 |
Student | Thesis | Content |
---|---|---|
Aalbersberg, IJsbrand Jan | Studies in Trace Theory | |
Hoogeboom, Hendrik Jan | Coordinated Pair Systems |
Student | Thesis | Content |
---|---|---|
Kleijn, H.C.M. (Jetty) | Selective Substitution Grammars based on Context-Free Productions |
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 |