Student 
Thesis 


Baasdam R.W.H.  Numerics and continuationfor ReactionDiffusion 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 selfbalancing 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.  Tapequantifying 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 gesturebased 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 tuplebased 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   
Vermetten, D.  Position detection optimization in the context of sensor based location systems   
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   