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.

416 entries found.

Bachelor Informatica

2021-2022

Student	Thesis	Content
Al-nassar, S.	The discovery of underlying topics within Coronavirus-related articles
Bergman, O.	CHAD-net: Continuous Human Action Detection in RGB video
Buurman, D.	Threat Intelligence Feed For Mobile Applications
Dirker, K.	Monitoring wildlife of the Oostvaardersplassen through trap-camera and computer vision
Doting, R.	Minority Report at the border: An ethical analysis of the iBorderCtrl-project
Hamdi, A.	Fault analysis for a new MsC course using the ChipWhisperer
Nouweland, L. van den	Automating the process of defining the aesthetic quality of an image in a numerical way
Ram, J.	Sim-to-Real autonomous driving in CARLA using Image Translation and Deep Deterministic Policy Gradient
Rooijakkers, L.	Evaluating AutoML methods on hybrid inversion of PROSAIL RTM on Landsat-7 data for AGB estimation
Schaap, A.	Programmeren voor Blinde en Zwaar Slechtziende Leerlingen
Vink, E. de	Solving Breakthrough Using Binary Decision Diagrams and Retrograde Analysis
Wheeler, M.	Detecting Sarcomere Structures in Cardiomyocytes
Zwart, M. van der	A library for BDDs and SDDs

2020-2021

Student	Thesis	Content
Arntzenius, R.	Agents for the Strategy Game Onitama
Aygun, T.	Optimizing Monte Carlo Agents for the Game Katarenga
Bax, P.	Can a rule-based algorithm accurately correct whitespace errors?
Boel, M.	Energy expenditure estimation for wheelchair users using activity type classification
Bolt, J.	Blind leren programmeren: Een studie naar de Computational Practices van kinderen met een visuele beperking bij het programmeren van muziek in Sonic Pi
Boonstra, N.	Is the Linux Completely Fair Scheduler Ready for Serverless Workloads?
Bouter, D.	Knowing the difference between news and opinion An explorative research project into classifying news and opinion
Burgh, R. van den	Bomb-r-cover Expanding the difficulties of Bomberman
Burghoorn, G.	Exploration of the ChipWhisperer Lite ARM board for education on Side-Channel Power Analysis
Ebing, W.	Analysing Classification Of Episodes From Electronic Health Records With The Use Of Text Mining
Egmond, D. van	Efficient conversion between vtrees
Heath, C.	Depression prediction using twitter data: Comparing LIWC and Bag-of-Words features
Honert, N. van der	Benchmarking default implementations of pseudorandom number generators in commonly used programming languages.
Honig, B.	A Network-based Approach for Ship-type Modelling
Huang, A.	Segmentation based Image Retrieval using Low level image features
Jong, A. de	An Analysis of the Cooperative Card Game The Crew
Kolenbrander, M.	The Design of a Modular Game Platform for the QuantumRules! Lab
Krebbers, S.	Monte Carlo Tree Search for Dots-and-Boxes
Maas, K.	Full-Body Action Recognition from Monocular RGB-Video: A multi-stage approach using OpenPose and RNNs
Malkoc, M.	Prestatietest Ontwikkeling voor de Evaluatie van Python Vaardigheden van Middelbare Scholieren voor het Vak Nederlands
Moison, O.	Scratch of Scottie Go!: een vergelijking tussen twee manieren om te leren programmeren
Mol, T. de	Synchronized Cherries
Moser, D.	Optimization algorithms for solving incremental box placement problems.
Nadif, A.	Computational thinking integreren in de schoolvak Engels: verhaal vertellen via programmeren in Scratch
Nieuwenhuizen, D.	The Effect of Monte Carlo Tree Search on Modern Board Game Elements
Ottevanger, L.	Continuing levels of the programming language Hedy
Planken, D.	Reducing the required number of qubits for a quantum algorithm for topological data analysis
Poelsma, J.	Optimizing a Quantum Approximate Optimization Algorithm using machine learning
Prins, V.	Using Heterogeneous Primordial Particle Systems to Analyse Life-like Behaviour.
Reitenbach, R.	Determining the Success Rate for the Game of Solitaire
Remmerswaal, F.	Can a human-computer hybrid outperform the LTM tiling algorithm?
Schendel, B. van	Qualitative data from quantitative seed oxygen measurements
Schwarze, Y.	The Voice Within the Neural Network
Sevingil, C.	A Comparison of Breadth-First Search Implementations for Real-World Networks on a Modern GPU
Smit, T.	Creating a Framework for Sublevels in Hedy
Spek, C.	Analyzing the Code Coverage of Android Apps using the Exerciser Monkey
Staaij, A. van der	Composing instrumentation tools for Android apps
Starkenburg, B. van	Interest Point Detectors and Descriptors: an Evaluation
Strijker, J.	Analysis of extracted references to case law in Dutch court decisions
Talsma, M.	Quantum topological data analysis on near-term devices
Vink, T.	Identifying anomalous trajectories from bird tracking data sets.
Vrins, M.	Querying Frequent Itemsets in the Browser

2019-2020

Student	Thesis	Content
Avoird, S. van der	Prediction and Technical Analysis of the Bitcoin Crypto Currency Using Machine Learning
Bak, R.	Finding Shortest Paths in Parallel
Blom, M.	Hybrid Classical-Quantum Speedups for the Random k-SAT Problem using Smaller Quantum Computers
Bors, P.P.	Analysis of Nonsimple Nonograms
Bouwman, K.	Q-learning with Parameterized Quantum Circuits: Design, Implementation and Benchmarking
Coret, T.	The Effect of Social Reward on Swarm Robots in a Foraging Task
Doesburg, M.	Optimization of the Reconstruction of Zebrafish on the LLSC Using the VAST Microscope
Driessen, W.A.M.	How Example Set Size Influences the Effectiveness of the AFL Fuzzer
Ende, D. van der	Scraping Scratch: A Dataset of Comments and their Sentiment
Gramsbergen, D.S.	Subcoinductive Types
IJpelaar, M.	An Initial Exploration of the Importance of Program Instruction Order for Dynamically Scheduled Processors
Keizer, A.	Coalgebras of Session Types: Defining a Syntax Independent Framework
Kluiver, S.	Solving and Generating Ice Block Puzzles
Marchand, Y.	Towards Parallel Generation of DFS Orders Using Verifiers
Meijhuis, M.J.	Using Machine Learning to Predict Price Trends in Foreign Exchange Rates
Mkrtchyan, W.K.	Systems of Multi-Criteria Decision Making for Skyline Queries
Otten, D.D.	Type Theory: W-types and Bisimulation
Plas, N. van der	Classifying Citizen Complaints using Pre-trained Language Models
Polen, T. van	GPS Referencing and Data Storage Manipulation
Poot, T.	Deep Text Matching in E-Commerce
Rooij, L. van	Predicting the Characteristics of Successful Cyclists in Multi-week Races
Schep, D.	Fusion Approaches for Monocular Depth Estimation
Schonenberg, J.	Differential Siamese Network for the Avoidance of Moving Obstacles
Schous, V.	Understanding and Discussing Weaknesses in Deep Neural Networks
Simons, T.	Training Optimization in Professional Road Cycling through Time Series Prediction and Quantification
Singh, H.	Setting Up a FAIR Data Point in LIACS
Snelleman, T.	Strategic Gambling in DiminishingBridge
Stee, J. van der	Creating an AI for the Rhytm Game osu!
Stokman, W.	Obstacle Detection and Avoidance Using Image Processing on Embedded Systems
Tettelaar, K.	Towards Multi-objective Bayesian Global Optimization for Space Missions
Tubergen, J. van	Assessing the Fitness of Web-applications within the Context of Mobile Phones, on Performing Spatially Distributed, Co-located, Collaborative, Audio-related Activities
Verschuur, L.	The Impact of the Naturalness of a Robot’s Voice on Human-Robot-Interaction
Wassenaar, G.	Empirical Performance Evaluation of the Linkage Tree Genetic Algorithm
Wink, T.	OpenML-Connect: A C++ Connection Library for OpenML
Zoete, B. de	Improving Twitter Stream Filtering using Pseudo-Relevance Feedback
Zweeden, J. van	Detecting Facial Features in Infrared Imagery
Zwetsloot, M.	Predicting the Outcome of the Card Game Klaverjas

2018-2019

Student	Thesis	Content
Alvarez Rodriguez, S.F. van	Static Security Analysis Methods in Android Systems: a Comparison
Bergman, P	Scalable Architecture for Event Management Systems
Blankestijn, M.A.N.	Polyomino Packing using a Tetris-like Ruleset
Blok, J. H.	Multi-valued Decision Variables and Redundant Coding in Evolutionary Algorithms
Boks, R.M.	Performance Comparison of Configurable Particle Swarm and Differential Evolution Algorithms
Bouman, J.Q.	Recovering from Controllers Failures in Software Defined Networks
Campmans, A.J.	(In)effciënte Bewijsstrategieën
Colli, M.	Dynamic Real-time Videostream Stitching Using Multiple Uncalibrated Cameras
Deering, G	Applications of Monte Carlo on the Board Game Six
Delzenne, M.J.	Optimizing the Citra Emulator by Decompiling Shader Machine Code
Dofferhof, R.M.J.	A Performance Evaluation of Platform-Independent Methods to Search for Hidden Instructions on RISC Processors
Domela Nieuwenhuis Nyegaard,D.O.	Improving Public Speaking Performance by Facial Emotion, Body Language and Speech Recognition based Feedback
Dubbeldam, S.	Using Program Animation to resolve misconceptions in K-12 students.
Flesher-Clark, A.C.	3D Hand Pose Estimation on a Robotic Platform
Göebel, M.A.	Developing and Verifying Methods to Search for Hidden Instructions on RISC Processors
Graaf, S. de	Cracking the Mastermind Code
Hamer, V. den	Hiding in Plain Sight: How Location affects Memory Error Detectability by Fuzzers
Huijben, M.	Efficiently combining compiler-based zero-day defenses
Jonckheere, L.S. de	Efficiently Generating the Mandelbrot and Julia Sets
Jong, R.G. de	Comparing Two Algorithms for Finding Maximal Matchings in Bipartite Graphs
Kannangara, A. R.	Comparing Strategic Agents for Dominance
Maan, G.C.	Hardware Acceleration of Matrix Multiplication
Merckens, T.	A Further Look into Mouse Mazes
Meyer, S	Psychology-Inspired Memory Sampling in a Deep Q Network
Neuteboom, V.O.	Personalized Modeling of Training Load and Physical Capacity of an Elite Rower
Nolden, L.S.J.	Finding Seneca in Seneca
Peters, O.	Image Compression with Neural Networks
Poslavsky, V.J.A.	System for Analysing Off-the-ball Performance of Individual Football Players using Spatiotemporal Tracking Data
Sinnige, J.A.	GPS Referencing and Data Storage Manipulation
Strating, M.W.	Analysis of Submissions of the Dutch Olympiad for Informatics with a Special Focus on Heuristics
Swenne, M.M.	Solving SAT on Noisy Quantum Computers
Tijssen, L.	Analyzing Offensive Player- and Team Performance in Soccer Using Position Data
Turkenburg, R.T.C.	Greibach Normal Form for Weighted Context-Free Grammars
Varkevisser, F.E.	Using Monte Carlo Tree Search to Play Cops & Robbers
Vlasakker, R.A. van de	Bomb-cover Een verzamelingenoverdekkings-probleem in de Bombermanwereld
Voetter, R.F.	Volumetric Ray Tracing with Vulkan
Weijer, W. de	A Decision Procedure for Weighted Automata Equivalence
Zande, E.R. van der	Examining out of Bounds Defense Systems' Performance against Independent CVEs

2017-2018

Student	Thesis	Content
Beinema, E.	Energy Efficiency across Programming Languages Revisited
Browne, R.	Analyzing the Behaviour of Players in Soccer Prior to a Shot on Target.
Burggraaf, F	Predicting Scientic Impact
Damhuis, L. P.	Using the rectified Linear Unitactivation function in Neural networks for Clobber
Dijk, M. van	Agents for Kuhhandel
Dijkhuizen, T. van	OpenPhoneMap Het Bereik van Mobiele Zendmasten op de Kaart Gezet
Drogtrop, J.	Comparing Different Agents in the Game of Risk
Gopal, N.A.A.	Analyzing and classifying Borderline Personality Disorder using Datamining paradigms
Groeneveld, L.C.	Visualization of Patterns in Scrum Software Development
Haddou, N.A.	Learning Bayesian Networks for Causal Discovery from Medical Data
Jaegar, D. N.	Evaluating Protein Structure Prediction Algorithms
Janssen, E.	The Leprechaun Hatting Problem
Kleijn, Kelvin	Solving and Constructing Kamaji Puzzles
Lubben, J.	Applying a Mixed-integer Evoutionary Strategy for the Configuration and Parameterization of a CMA-ES
Noordover, K.	Analysis and Viualisation of Spatio-Temporal Hockey Data
Numan, N.	A comparative Performance Analysis of Feature description Algorithms Implemented in Open CV
Paul, V	Predicting the Discharge Date of Patients using Classification Techniques
Renso, C.	Multiobjective Optimization of Power Grid Resilience to Random and Targeted Attacks
Rijn, V. van	Quantifying Fuzzer Performance on Spatial and Temporal Memory Errors
Ronde, S. J. P. M.	Detecting Anomalies with Recurrent Neural Networks
Rook, J.	Characteristics of Dangerous Passes in Soccer at Women’s EURO 2017
Scholman, R.	Autonomous Navigation of the Spherical Robot BB-8
Smeding, T.J.	Fast Large-Integer Matrix Multiplication
Smeyers, M.	A Browser-Based Graphical Editor for Reo Networks
Smits, T.	Robots with Vectors
Spelier, P.	The Complexity of Root-Finding in Orders
Steffens, B.	Dynamic Reductions for More Efficient Software Verification
Taleb, R.	The Effect of Activation Functions and Network Congurations on the Performance of Handwritten Character Recognition
Tetteroo, J.	Sentiment Mining on Chinese product reviews
Verhoef, D.	Determining Good Tactics for a Football Game using Raw Positional Data
Vermeulen, W.D.	Toward a Massive Multiplayer Framework
Voogt, M.A.	Optimization of Metagenomics Analysis using Distributed Computing on LLSC
Vos, L.	Quantifying the Performance of Fuzzers in the Detection of Security Threats
Wester, M.	Depth First Search Characterizations
Zwanenburg, E.	Analyzing and classifying Borderline Personality Disorder using Datamining paradigms

2016-2017

Student	Thesis	Content
Vermetten, D.	Position Detection Optimization in the Context of Sensor Based Location Systems
Baasdam R.W.H.	Numerics and Continuation for Reaction-Diffusion Equations
Beljaards, L.	AI agents for the abstract strategy game Tak
Bolster, Y.	Automatically finding the best blocking size for matrix multiplication
Borst, R.C.P.	Robust self-balancing robot mimicking
Brandt O.	Comparing Algorithms: Calculating the Minimal Coverability Set of Petri Nets
Buwalda, N.	Open Source Systems for Dialogue Systems
Cames van Batenburg D.F. J.	Identificaton of Transposable Element Insertion into the enod40 RNA
Castelein, K.J.B.	Determinization for Monte Carlo Tree Search n the Card Game Tichu
de Muinck Keizer, D.	A Control Flow Graph Generator for Java Code
Dekkers, C.H.J.	Creating Models of Interaction for a Video Wall
Dijk, S.J. van	Solving Puzzles using Cellular Automata
Draijer W. J.W.	Integrating, Structuring and Visualising Cancer Data
Etoeharnowo, T.	Neural Networks for Clobber
Fokkinga, D.B.	Towards Learning Software Models: making documentation easier
Hal, R.M. van	Finish Photo Analysis for Athletics Track Events using Computer Vision Techniques
Heijungs, S.	Tape-quantifying Turing Machines in the Arithmetical Hierarchy
Hoogenboom, C.	Using Probabilities to Enhance Monte Carlo Search in the Dutch Card Game Klaverjas
Jansen, B.A.	The state of Bufferbloat in the Netherlands
Jonkman, J.L.	Interacting with BigEye: Using Gesture-Based Input Methods to control Applications on a Videowall
Kesteloo, M.E.	Using Convolutional Autoencoders to Detect Anomalies in Sewer Images
Khalass,N.	Metaprogramming in Modern Programming Languages
Klijn,M.	A Perfect Information Scrabble Game
Martens, J.R.M.	ETA: A Modular Approach to Analyzing Time Series Data
Meerkerk, R.	Design, Analysis, and Optimization of an Embedded Processor
Meeuwsen,J.	Design and Implementation of 3D reconstruction from axial views on the Leiden Life Science Cluster
Muusse, I.J.	An Algorithm for Balancing a Binary Search Tree
Oost,K.	Analysing Data to Predict Processing Times of Vessels and Barges in Liquid Bulk Terminals
Out, N. F.	A Monte Carlo Strategy for the Game of Hive
Peters, L. J.	Utilizing a Tuple-Based Optimization Framework for Graph Algorithms
Putman, K.	Implementing an Interface for Virtual Input Devices into the MGSim Simulator
Riet, J.C.A.	Anomaly Detection with Deep Belief Networks
Ruijter, F.E.C.	Symbolic Regression of Implicit Functions
Schipper, L.	Compact descriptors for (near) duplicate image detection
Soelaksana, E.	Analyzing privacy awareness of Twitter users through their given location precision
Spaendonck, M. van	Aspects of Tectonic
Suanet, L.	Finding Anomalies in Sequential Data using Local Outlier Factor
Teunisse, J.	Agents for the Card Game of Hearts
Verweij, G. J. W.	Comparison of the Effectiveness of Shared Memory Optimizations for Stencil Computations on NVIDIA GPU Architectures
Waal, P.R. v/d	A Study of Different Approaches for Improving the Stitching of Spherical Panoramas
Zaeem, S.A.F.	Diverse Subgroup Discovery for Big Data
Zandvliet, J.J.M.	Vectorized Sparse Matrix Kernels using Hybrid Data Layouts
Zwitser, l.	Quantum Computing

2015-2016

Student	Thesis	Content
Bannenberg, L.	Checking for Compatibility in Team Automata
Bavdaz, A.	Comparing Markov Chain and Recurrent Neural Network Algorithms for Text Generation
Boom, B. van den	Dutchism Detector
Bosch, N.F.A. van den	A Comparison of Hashing Algorithms
Chow, K.L.	Multiobjective Pattern Mining in Bitcoin Data and Genetic Landscapes
Duba, D.	Retting PIPE: Extending the Petri Net tool PIPE 5
Edixhoven, L.	Attacking the n-puzzle using SAT solvers
Faas, M.
Gent, D. van	Graph Isomorphism in Quasi-polynomial Time
Huibers, J.	AI Agents for the Card Game Love Letter
Huybers, R.	Mario (of hoe je een Programmeerwedstrijd kunt Winnen)
Koschny, J.	Design and Analysis of a Controller for the iRobot Create
Lamers, Ch.	Quantum Cryptography
Latenko, A.	Explorative Study on Hierarchical Temporal Memory
Louwe, A.	Constructing Petri Net Models from Biological Literature using Structured Annotation
Nibbeling, J.	Implementation of A Parallel Back Substitution Solver on GPUs
Oostdam, J.	Design and Simulation of an Embedded Controller for the iRobot Create robot by Integrating ROS in Gazebo
Persoon, R.	Design and Implementation of Website Backup as a Service
Post, M.	Mythbusting Data Mining Urban Legends through Large Scale Experimentation
Roos, D.	Transformation of Membrane Systems
Ruijter, S.	Dynamically Evolving L-system Generated Plant Visualizations
Staalduinen, J. van	Gathering and Managing Spatiotemporal Data
Veen, S. van	Anomaly Detection in Cybersecurity
Visser, T.	Workforce Survey Data Analysis: Potentials and Pitfalls
Vreumingen, D. van	Real Time Force Field Simulation for Stm Controlled Molecular Electronics Experiments using Cuda gpu Programming
Werf, U.M. van der	Describing Heaps using Kleene algebra with Tests
Werff, C.R.A. van der	Tetris Strategies in a Multiplayer Environment
Woerden, W. van	The Closest Vector Problem in Cyclotomic Lattices
Wubben, S.J.	Predicting the Risk of Overload in Overcommitted Server Clusters
Zwaan, D. van der	Developing an Integrated Environment for OPT Image Reconstruction

2014-2015

Student	Thesis	Content
Berge, Michiel van den	An Algorithm for Morphing Audio
Bergh, Mark van den	Hanabi: A Co-operative Game of Fireworks
Boekhout, Hanjo	Combining Graph Mining and Deep Learning in Molecular activity Prediction
Bos, Ralph	Compact Decision Trees for Dou Shou Qi Tablebases
Buitelaar, Ruben	Combined Neural Networks for Movie Recommendation
Burger, Jelco	Context Free Guarded Languages: A System for Determining Guarded Strings
Cammel, Simone	Predicting the Outcome of the Game Othello
Dekker, Victor	A Difficulty Measure for Light Up Puzzles
Es, David van	Deploying Phenotype Analysis On LLSC
Haddou, Sarah	Using Outcome Weights in Monte-Carlo Tree Search for Multiplayer 3D Hex
Kanhai, Soeradj	Mining a Scientific Conference
Klaver, Simon	Analysing Electron Tomography with IMOD on the LLSC
Kortsmit, Marieke	Strategies for Klondike Solitaire
Marsdon, Bob	A Generalized Hough Transform for the Recognition of Cars in Images
McGlinn, Tama	Analysing the Difficulty of Mazes using a Web Application
Partodikromo, E.	Datamining the Peptide Sequenome
Post, Mark	Analysis and Visualisation of Data of an Outdoor Sports Mobile Application
Rooijen, A.L. van
Schade, Derek	Image Similarity Using Color Histograms
Scholtes, Sem	Integrating Data Modeling with Data Analysis in Taverna Workflows
Sener, Huseyin	Building an Administrative System in a Scientific Workflow System
Stevenson, Claire	Learning Software Design: Is Abstraction Ability Key?
Stout, Patric	Ontology Viewer: Van Proof-of-Concept naar Layered Software
Strien, Bart van	Exploring Scheduling Alternatives for a Computer Vision application on Embedded MPSoCs
Veenman, Christian	A Framework for Cross-Platform Dynamically Loaded Libraries
Zabel, Terry	Video Rating and Sorting with a Genuine Approach

2013-2014

Student	Thesis	Content
Bakker, Thomas	Plagiarism Detection in Source Code
Bosch, Pieter van den	Automation of use Case Diagram Recognition from Images
Boven, Bas van	Solving Jungle Checkers
Buitenhuis, Taco	The Constraint-Relation Modelling Language and its Relation to Petri Nets
Heijden, Roelof van der	An Analysis of Dominion
Helwerda, Leon	Theory and Applications of Deep Learning Networks
Jochems, Jennifer	Partial derivatives for KAT expressions
Liu, Lai-Yee	An Automatised Process for Constructing Recognisable Nonograms
Luik, Lars van	Implementing I/O Infrastructure Improvements for S.M.A.C.K.
Meij, Tim van der	Constructing an Open-Source Toolchain and Investigating Sensor Properties for Radio Tomography
Meijer, Ricardo	A Comparison of Search Engine user Interfaces
Milburn, Alyssa	Algorithms and Models for Radio Tomographic Imaging
Moerkerk, Paul	Finding Correspondence in Stereo Image Pairs using an Adaptive Window Comparison Algorithm
Nieuwenhuijzen, Bas	Auto-Vectorization using Polyhedral Compilation for an Embedded ARM Platform
Obbens, Willem	Inference in Markov Networks
Rensen, Michel	An On-Line Parsing Algorithms for conjunctive grammars
Robijn, Jonathan	Detailed Crowd Simulation and Spatial Hashing for Large-Scale Collision Detection
Samwel, Niels	Mining Bitcoins with Natural Computing Algorithms
Stuivenberg, Arthur	Equivalence Checking of Regular Expressions using Non-Deterministic Finite Automata
Veen, Neal van	Deploying Single Particle Analysis on the LLSC
Vinkhuijzen, Lieuwe	Reducing Copying and Network Traffic in Reo Circuits
Wijden, Kevin	Video Recommendation, A comparison between collaborative filtering algorithms

2012-2013

Student	Thesis	Content
Alexander Leznar	A Start List Scheduling and Optimization Algorithm for Equestrian Events
Bart Hijmans	Multi-objective Generation of Bicycle Routes
Benjamin van der Burgh	An Evolutionary Algorithm for Finding Diverse Sets of Molecules with User-Defined Properties
Boyd Witte	Plagiarism Detection in C++ Programs
Erik Hollander	Multi-scale Map Visualization
Florian Treurniet	The Leiden Zipper a bridging Architecture
Jesper van Engelen	Guided Rewriting in Families of Languages
Joost Leuven	Testing of Channel Based Service Connectors
Mark Hoekveen	Infinite 3D Worlds
Mathé Zeegers	A kinetic Monte Carlo implementation of the Cellular Potts Model with SciQL
Mathijs van de Nes	Coverability and Extended Petri Nets
Michiel Vos	Self-Tracking with Multiple Sensor Systems
Nuno Rico	Image Classification on Flickr using TOP-SURF Visual Word Kit
Pepijn van Heiningen	Evaluation of Image Quilting Algorithms
Ruud Heesterbeek	A Genetic Algorithm for the Travelling Salesman Problem with Area Constraints
Sander van Rijn	Implementing a Model Checker for Simple Recursive Languages
Shi Hao Zijdemans	Contracting in Agile Software Projects: Current Challenges and New Possible Solutions
Stefan Buijsman	Typing Streams
Tobias Kappé	Linear Stream Circuits and Rational Streams: there and back again
Tom Groentjes	Holography and Kinect
Umut Ozaydin	Robustness in Salient Point Detection

2012

Student	Thesis	Content
Arjan van Zadelhoff	UML Class Diagram Simplification: A Survey Study
Duncan Rozemond	Multiple Objective Portfolio Optimization using Evolution Strategies
Erik Massop	Hilbert's tenth Problem
Erik Zandvliet	Developing an Ant System with Visual Support
Erwin Haas	Automated Classification of Skin Diseases using Tile-Based Texture Features
Fee Yun Wong	Using Software Design Principles for Software Systems
Floris Kleyn	An Investigation into Recommendation Algorithms
Frank van Rijn	Niching for Finding Robust Optima
Jan Kalmeijer	Extracting Information from an Energy Expenditure Dataset
Jan-Paul van Osta	Routing with Ant Colony Algorithms in Continuous Spaces
Jouke Witteveen	Minng Hyperintervals: Getting to Grips with Real-Valued Data
Leroy van Delft	Efficient Equivalence Checking of Regular Expressions
Lucas van der Meer	Ready for the Future in Health Informatics: Towards Semantic Interoperability in Dermatology
Maja Jakobik	Novius Model in Archimate
Martin Wimmers	Designing and Implementing a System for the Evolutionary Optimization of an Airfoil
Matthijs van Drunen	Porting S.M.A.C.K. to the x86 Architecture
Paul Kasteleyn
Piet van Hekke	On the Scalability of Evolution Strategies on High-Dimensional Problems
Ramon de Graaff	Authorship Attributing using Compression Distances
Stefan Schrama	Shikaku
Thijs van Ommen	The Assignment Problem on Sets of Strings
Tyron Offerman	Maintaining a Software System with the Use of Domain-Specific Languages
Xander Croes	3D Visualization of Mycobacterium infection on Zebrafish

2011

Student	Thesis	Content
Anton Hunsucker	Investigation into a Domain-Specific Language for Securities Trading Operations
Bas van Stein	The Beginning of a Theory for Set-Nets
Bertram Bourdrez	Improving MAPNIK with Label Placement Algorithms
Bogumila Sobolewska	When Applications are Business Processes: An ArchiMate Based Explanation
Chris Mulder	Challenges of Web Application Development: How to Optimize Client-side Code
Christiaan Schouten	Never Marry a Woman with Big Feet
Derk Geene	The NLP-Editor: A case study about Eclipse Plug-In development
Edwin Veger	Hashing Methods in Sokoban
Hugo Schoonewille	Software Architecture Documentation: A Cognitive Perspective
Iris Hupkens	Identifying Prominent Actors in Social Networks
James Lo	Automated Safety Analysis for Supporting Design of System Architectures
Jonathan Neuteboom	Analysis of Pre-Genome Assembly of Lymnaea Stagnalis
Joppe Kroon	Build Structuur voor Compaan met Eclipse CDT
Maarten Groeneweg	Active Guided Evolution Strategy for Dynamic Vehicle Routing Problems
Martijn Keizer	A Database and Interface System for Gathering and Providing Sampling Data on Volcanic Lakes
Rene Verhage:	Analysis and Execution of Reverse Engineering Software Code to Generate Software Documentation
Rick van der Zwet	Exploratory Research on Embedding CUDA code Into Heterogeneous MP-SoC Architectures Programmed with the Daedalus Framework
Roy Kensmil	Modeling Kahn Process Networks in the Dynamic Dataflow Formalism
Sander van der Vlugt	Coverability Tree Constructions and Inhibitor Places
Xiwen Cheng	High Density Multi-Cell Wireless Networks

2010

Student	Thesis	Content
Anton den Hoed	Parsing and Conversion of SMILES-Strings to Molecular Graphs
Barry van Veen	Multiobjective Particle Swarm Algorithm for Building Design Optimization
Ben Kwint	How do we look at UML?
Derk Geene	The NLP-Editor: A Case Study about Eclipse Plug-In-Development
Derk Mus	Signal Browser
Giso Dal	An Approach to Map Sequential Applications onto Multi-Processor Platforms
Harma Everts	Art or Artificial
Jaron Vietor	Multithreading voor iedereen
Johan de Ruiter	On Jigsaw Sudoku Puzzles and Related Topics
Johan IJsveld	Camera Controlled Robot
Jurriaan Rot	A Pushdown System Representation for Unbounded Object Creation
Menno Luiten	The Anatomy of a Collaborative Image Search System
Oswald de Bruin	Calculating and Predicting. Five or More
Robert Marijt	Multi-objective Robust Optimization Algorithms for Improving Energy Consumption and Thermal Comfort of Buildings
Robin van den Broek	Visualizing the Level of Detail in UML Models
Simon Zaaijer	Bundle Tracing using Geometric Algebra
Thijs Vermeulen, Jelle Oosterhof	Image optimization, feature extraction and classification in Neurobiology: Dendritic spines under stress
Wouter de Zwijger	Demonstration Tools for Petri Nets
Wouter Zomervrucht	De Complexiteit van Buchbergers Algoritme
Zeki Karaca	Discovering Intelligence in a Natural Environment

2009

Student	Thesis	Content
Abbas Peymani	Cluster 2.0: Collaboration makes Innovation Happen
Frank van Gemeren	High-Performance Framework for Web Applications
Hans Wortel and Thomas Dorsman	From Closed-Loop Video to 3D Model Via Silhouettes
Jens van de Water	Subsumption Architecture-Based Social Interactive Robot Arm
Jonathan Vis	Particle Swarm Optimizer for Finding Robust Optima
Kerem Denizmen	VN Movie Recommender
Kristian Rietveld:	Distributed Approaches for Discovering Unique Factors in the Human Genome
Pieter Jordaan	The Animated Abacus
Sjaak Wolff	Cell-Forum: Collaborative Multi-User Virtual World Applications
Sjoerd van Egmond	Smart Autofill for Photos in Albums
Stefan Wink	Analysis and visualisation of defects in software projects
Timo Morsink	Hashiwokakero

2008

Student	Thesis	Content
Amit Oemraw	SubCVS: Merging version control systems in a servlet-based repository browser
Andrew Li	Neuraal Winkelen
Arjan Assink	Comparing today's most used web development languages
Bart van der Drift	3D Worlds for Collaborative Work
Edgar Reehuis	Multiobjective Optimization of Water Distribution Networks
Erik Gast, Stijn de Gouw	Hoge kwaliteit video op een lage bandbreedte verbinding
Erik Jongsma	Automatically Checking Group Diffie-Hellman and Xor in the Strand Space Model
Eyal Halm	Genetic Algorithm for Predicting Protein Folding in the 2D HP Model
Frank Takes	Sokoban: Reversed Solving
Jasper Stafleu	Paradigm
Jeroen Mets	Monte Carlo Stratego
Johan Groenen	Nurikabe
Jori van Lier	Supporting the Designer in: writing Nested Loop Programs using Eclipse
Michiel Pouw	Aspect-oriented Programming in PHP
Mladen Vavic	Bridge between C and Java applications by means of XML
Ramon van Dam	Takegaki
Ronald Huizer	Libptrace-Across-platform process manipulation API
Saskia Hiltemann	Multi-coloured Cellular Automata
Susan Laraghy	Refining Probability Motifs for the Discovery of Existing Patterns of DNA
Tim van Meurs	Comparing Methods for Solving Kuromasu Puzzles

2007

Student	Thesis	Content
Bas Kaptijn	Generative Programming through Inheritance
Joris Huizer	Jorix Kernel: real-time scheduling
Klaas-Dirk van Opstal	Digibeter
Michiel Helvensteijn	Applying data mining to the study of joseki
Timo de Vries	Digibeter

2006

Student	Thesis	Content
A. van Beelen	Lightning Engine-Ray tracing with KD-trees
J. Cormont	Content Management Systeem
J. Guzman Carmona	Bridge between C and Java applications by means of XML
J. Louw	Description with UML for a Hotel Reservation System
J. Stafleu	Paradigm
M. Vijfhuize	SubCVS: merging version control systems in bases repository browser
S. Henstra, R. van der Zwan	Artificial intelligence and data mining applied to no-limit Texas Hold'em
S. van Haastregt	An Interactive Approach to Area and Performance Optimization for Superscalar Processors
T.L. Li	Using Aritifical Intelligence to solve Gin rummy