467 entries found.


Bachelor Informatica



2022-2023
Student Thesis Content
Baronner, T. Finite accessibility of Higher-Dimensional Automata and unbounded parallelism of their languages
Kling, A. (Alano)Automatically Deriving Sorting Algorithms in tUPL
Oppenhuis, K. (Koen)Variants of Monte Carlo Tree Search in the Game ColorShapeLinks
Ruigrok, L. (Lars)Benchmarking Lightweight Cryptography for TLS
Slangen, F. Strategies for the Deck Building Game Dominion
Vermeulen, S.C. (Sam)Self-Monitoring Automated Algorithm Configuration

2021-2022
Student Thesis Content
Al-nassar, S. (Suzan)The Discovery of Underlying Topics within Coronavirus-Related Articles
Allison, L. (Lucas)Proxy Caching in Accenture’s Employee Evolution Tree Project
Bergman, O.T.C. (Oscar)CHAD-net: Continuous Human Action Detection in RGB video
Blom, T. (Thomas)Learning Signal-Meaning Mappings in an Emergent Communication System using Neural Networks
Braam, I. (Isaac)BlockStep, An A* Algorithm toward Minecraft Optimal World Traversal for Speedrunning
Buurman, D. (Dennis)Threat Intelligence Feed For Mobile Applications
Dijke, J. (Job) van Extracting Characteristics of Emotions from Audio
Dirker, K. (Kenneth)Monitoring Wildlife of the Oostvaardersplassen through Trap-camera and Computer Vision
Doting, R. (Rutger)Minority Report at the Border: An Ethical Analysis of the iBorderCtrl-project
Hamdi, A. (Akram)Fault Analysis for a New MsC Course using the ChipWhisperer
Heertum, V. (Vincent) van Clustering Financial Transactions on Inference-Accelerator Hardware
Hegeman, M. (Meili)Generating Pipes Puzzles Using Maze-generating Algorithms
Hertogh, G. (Guus)Low-Depth QAOA and RQAOA for Max-Cut on Irregular Graphs
Holtrop, S. (Sjors)Linker-Directive Based File System in Userspace: Introducing LDP FUSE
Houten, E. (Eva) van How many Stars Does it Take to Form a Binary? Automating Analysis of Binary Formation during Core Collapse
Jong, T. (Tessa) deThe Classification of Integration Aspects Regarding Systems in Healthcare Organizations
Keulemans, J. (Jelle)Automatically Detecting when Participants Want Help from their Facial Expressions in an Online Quiz
Kientz, L. (Lily)Neural Networks for Auto Battlers
Klaver, M. (Marten)Theoretical and Practical Aspects of Freecell
Koning, M. (Michael) de Extraction, Transformation, Linking and Loading of Cultural Heritage Data
Kooij, E. (Emilia) van der Investigating Teachers’ Perceptions on Student Programming Difficulties Related to Variables and Teachers’ Strategies to Help Students
Laan, K. (Kyran) van der A Computer Program that Plays the Card Game Tysiąc
Laanen, R. (Rodi)Classification of Pre-defined Movement Patterns: A Comparison between GNSS and UWB Technology.
Lenstra, X. (Xander)A Program for Analysing Combinatorial and Synchronized Games
Li, L. (Leon)Changes in Steam Genre Tags after Covid-19
Lie, K. (Kwan)How to Win in Checkers?
Marosvölgyi, C. (Charlotte)Parsons Problems in Hedy
Mourits, R. (Rob)Solving and Generating the Nurimeizu puzzle
Nouweland, L. (Luuk) van denAutomating the Process of Defining the Aesthetic Quality of an Image in a Numerical Way
Opdam, T. (Tim)Numeric Subgroup Discovery by MDL-Optimal Histograms
Özbay, A.E. (Ali Esat)An Interactive Program Visualisation Tool for Hedy
Ram, J. (Jochem)Sim-to-Real Autonomous Driving in CARLA using Image Translation and Deep Deterministic Policy Gradient
Raziuddin, S. (Shabnam)The ProgRamifications on Society, where COMPAS Guides us
Reurink, A. (Andries)On Graphene Twisted Edge Break Junction Tunneling Experiments
Rooij, J. (Justin) deLearning a NAO Robot to Balance Using Reinforcement Learning
Rooij, M. (Michael) deHandling of Abstraction by Children using the Hedy Programming Language
Rooijakkers, L. (Lieuwe)Evaluating AutoML Methods on Hybrid Inversion of PROSAIL RTM on Landsat-7 Data for AGB Estimation
Rossum, N. (Nina) van The Search for Low-code Development Platforms that Support Serious Games
Schaap, A. (Anthonie)Programmeren voor Blinde en Zwaar Slechtziende Leerlingen
Schaap, L. (Lennard)Formalised Semantics of Lustre
Schreurs, L.J. (Luc)Investigating Grammatical Evolution’s Ability to Reconstruct Mathematical Functions
Soulimani, O. (Oussama)Evaluating Android Malware Detection Explanation
Stoffels, L. (Luca)Autolayout of UML Diagrams using Metaheuristic Algorithms and Natural Computing
Vink, E. (Elze) deSolving Breakthrough Using Binary Decision Diagrams and Retrograde Analysis
Voorham, J. (Jack)Impact of Flow Anonymization on Cyberattack Detection in IoT
Vries, G. (Guido) deDetection of Indirect Gender Bias in Job Vacancy Texts
Wensveen, R. (Roos)Probing Sequences for Nonograms
Wetten, F. (Fien) vanRepresenting the State Space of the Domino Cube in Graph Using BDDs
Wheeler, M. (Michael)Detecting Sarcomere Structures in Cardiomyocytes
Zeeuw, M. (Matthijs) deExplainable AI in Multi-Objective Design Optimization
Zhang, M.Y. (Min Yi)Teaching of Variables in Programming MOOCs: An Exploratory Study
Zwart, M. (Michael) van derA Library for BDDs and SDDs

2020-2021
Student Thesis Content
Arntzenius, R. (Robert)Agents for the Strategy Game Onitama
Aygün, T. (Tayfun)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. (Julia)Blind leren programmeren: Een studie naar de Computational Practices van kinderen met een visuele beperking bij het programmeren van muziek in Sonic Pi
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. vanEfficient conversion between vtrees
Heath, C.Depression prediction using twitter data: Comparing LIWC and Bag-of-Words features
Honert, N. van derBenchmarking 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. (Aron) deAn Analysis of the Cooperative Card Game The Crew
Kolenbrander, M.The Design of a Modular Game Platform for the QuantumRules! Lab
Krebbers, S. (Said)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
Malkoç, 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. (Thomas) deSynchronized 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. (David)The Effect of Monte Carlo Tree Search on Modern Board Game Elements
Ottevanger, L.Continuing levels of the programming language Hedy
Peet, L. van derMore than a one-time heist Identifying the current state of Android CPU cryptojacking
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. (Vincent)Using Heterogeneous Primordial Particle Systems to Analyse Life-like Behaviour.
Reijtenbach, R. (Rob)Determining the Success Rate for the Game of Solitaire
Remmerswaal, F.Can a human-computer hybrid outperform the LTM tiling algorithm?
Schendel, B. vanQualitative 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 derComposing instrumentation tools for Android apps
Starkenburg, B. vanInterest Point Detectors and Descriptors: an Evaluation
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
Zwaag, J. (Job) van derFinding a Way Through the Changing Maze of Labyrinth

2019-2020
Student Thesis Content
Avoird, S. van derPrediction 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. (Philippe)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
Corsel, C.W.YOLO-based Obstacle Avoidance for Drones
Doesburg, M.Optimization of the Reconstruction of Zebrafish on the LLSC Using the VAST Microscope
Donkers, J. Real-time Melody Harmonization in an Improvisational Context
Driessen, W.A.M. (Wampie)How Example Set Size Influences the Effectiveness of the AFL Fuzzer
Ende, D. van derScraping Scratch: A Dataset of Comments and their Sentiment
Gramsbergen, D.S.Subcoinductive Types
IJpelaar, M. (Mariska)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. (Sem)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 derClassifying Citizen Complaints using Pre-trained Language Models
Polen, T. van GPS Referencing and Data Storage Manipulation
Poot, T. (Tim)Deep Text Matching in E-Commerce
Rooij, L. vanPredicting 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. (Vera)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. (Thijs)Strategic Gambling in DiminishingBridge
Stee, J. van derCreating 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. vanAssessing 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. (Thomas)OpenML-Connect: A C++ Connection Library for OpenML
Zoete, B. deImproving Twitter Stream Filtering using Pseudo-Relevance Feedback
Zweeden, J. (Joos) vanDetecting 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, PScalable Architecture for Event Management Systems
Blankestijn, M.A.N. (Max)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.M. (Mitchel)Dynamic Real-time Videostream Stitching Using Multiple Uncalibrated Cameras
Deering, G. (Galen)Applications of Monte Carlo on the Board Game Six
Delzenne, M.J.Optimizing the Citra Emulator by Decompiling Shader Machine Code
Dofferhoff, 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. deCracking the Mastermind Code
Hamer, V. denHiding in Plain Sight: How Location affects Memory Error Detectability by Fuzzers
Huijben, M.Efficiently combining compiler-based zero-day defenses
Jonckheere, L.S. deEfficiently Generating the Mandelbrot and Julia Sets
Jong, R.G. deComparing Two Algorithms for Finding Maximal Matchings in Bipartite Graphs
Kannangara, A.R. (Aaron)Comparing Strategic Agents for Dominance
Maan, G.C.Hardware Acceleration of Matrix Multiplication
Merckens, T. (Tim)A Further Look into Mouse Mazes
Meyer, S (Samuel)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
Plug R.B.F. (Ruud)ECG Anomaly Detection Using Long Short-Term Memory based Recurrent Neural Networks
Poslavsky, V.J.A.System for Analysing Off-the-ball Performance of Individual Football Players using Spatiotemporal Tracking Data
Sinnige, J.A. (Jelle)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. (Marijn)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. (Florian)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. (Robin)Volumetric Ray Tracing with Vulkan
Weijer, W. de A Decision Procedure for Weighted Automata Equivalence
Zande, E.R. van derExamining 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, FPredicting Scienti c Impact
Damhuis, L.P. (Laurens)Using the Rectified Linear Unit Activation Function in Neural networks for Clobber
Dijk, M. (Marco) vanAgents for Kuhhandel
Dijkhuizen, T. (Tom) vanOpenPhoneMap 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
Haddou, N.A.Learning Bayesian Networks for Causal Discovery from Medical Data
Janssen, E. (Egon)The Leprechaun Hatting Problem
Kleijn, K. (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, VPredicting the Discharge Date of Patients using Classification Techniques
Renso, C.Multiobjective Optimization of Power Grid Resilience to Random and Targeted Attacks
Rijn, V. vanQuantifying 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. (Pim)The Complexity of Root-Fi nding in Orders
Steffens, B.Dynamic Reductions for More Efficient Software Verification
Taleb, R. (Rafi)The Effect of Activation Functions and Network Con gurations 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. (Laurens)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. (Oscar)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. (Koen)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. (Stef) vanSolving Puzzles Using Cellular Automata
Draijer W. J.W.Integrating, Structuring and Visualising Cancer Data
Etoeharnowo, T. (Teddy)Neural Networks for Clobber
Fokkinga, D.B.Towards Learning Software Models: making documentation easier
Hal, R.M. vanFinish Photo Analysis for Athletics Track Events using Computer Vision Techniques
Heijungs, S.Tape-quantifying Turing Machines in the Arithmetical Hierarchy
Hoogenboom, C. (Cedric)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
Oedayrajsingh Varma, V. (Vinay)A Survey of Classical Public-key Cryptography and Post-quantum Lattice-based Cryptography
Oost,K.Analysing Data to Predict Processing Times of Vessels and Barges in Liquid Bulk Terminals
Out, N.F. (Nils)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. (Erik)Analyzing Privacy Awareness of Twitter Users Through Their Given Location Precision
Spaendonck, M. (Michiel) vanAspects of Tectonic
Suanet, L.Finding Anomalies in Sequential Data using Local Outlier Factor
Teunisse, J. (Joris)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/dA 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. (Alenka)Comparing Markov Chain and Recurrent Neural Network Algorithms for Text Generation
Boom, B. van denDutchism Detector
Bosch, N.F.A. van denA 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. (Luc)Attacking the n-Puzzle Using SAT Solvers
Faas, M.
Gent, D. vanGraph Isomorphism in Quasi-polynomial Time
Huibers, J. (Jarno)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. (Jasper)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. vanGathering and Managing Spatiotemporal Data
Veen, S. vanAnomaly Detection in Cybersecurity
Visser, T.Workforce Survey Data Analysis: Potentials and Pitfalls
Vreumingen, D. vanReal Time Force Field Simulation for Stm Controlled Molecular Electronics Experiments using Cuda gpu Programming
Werf, U.M. van derDescribing Heaps using Kleene algebra with Tests
Werff, C.R.A. (Chivany) van derTetris Strategies in a Multiplayer Environment
Woerden, W. (Wessel) vanThe Closest Vector Problem in Cyclotomic Lattices
Wubben, S.J.Predicting the Risk of Overload in Overcommitted Server Clusters
Zwaan, D. van derDeveloping an Integrated Environment for OPT Image Reconstruction

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

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

2012-2013
Student Thesis Content
Buijsman, S. (Stefan)Typing Streams
Burgh, B. (Benjamin) van derAn Evolutionary Algorithm for Finding Diverse Sets of Molecules with User-Defined Properties
Engelen, J. (Jesper) vanGuided Rewriting in Families of Languages
Groentjes, T. (Tom)Holography and Kinect
Heesterbeek, R. (Ruud)A Genetic Algorithm for the Travelling Salesman Problem with Area Constraints
Heiningen, P. (Pepijn) vanEvaluation of Image Quilting Algorithms
Hijmans, B. (Bart)Multi-objective Generation of Bicycle Routes
Hoekveen, M. (Mark)Infinite 3D Worlds
Hollander, E. (Erik)Multi-scale Map Visualization
Kappé, T. (Tobias)Linear Stream Circuits and Rational Streams: there and back again
Leuven, J. (Joost)Testing of Channel Based Service Connectors
Leznar, A. (Alexander)A Start List Scheduling and Optimization Algorithm for Equestrian Events
Nes, M. (Matthijs) van deCoverability and Extended Petri Nets
Ozaydin, U. (Umut)Robustness in Salient Point Detection
Rico, N. (Nuno)Image Classification on Flickr using TOP-SURF Visual Word Kit
Rijn, S. (Sander) vanImplementing a Model Checker for Simple Recursive Languages
Treurniet, F. (Florian)The Leiden Zipper: A Bridging Architecture
Vos, M. (Michiel)Self-Tracking with Multiple Sensor Systems
Witte, B. (Boyd)Plagiarism Detection in C++ Programs
Zeegers, M. (Mathe)A Kinetic Monte Carlo Implementation of the Cellular Potts Model with SciQL
Zijdemans, S.H. (Shi Hao)Contracting in Agile Software Projects: Current Challenges and New Possible Solutions

2012
Student Thesis Content
Croes, X. (Xander)3D Visualization of Mycobacterium infection on Zebrafish
Delft, L. (Leroy) vanEfficient Equivalence Checking of Regular Expressions
Drunen, M. (Matthijs) vanPorting S.M.A.C.K. to the x86 Architecture
Graaff, R. (Ramon) deAuthorship Attributing using Compression Distances
Haas, E. (Erwin)Automated Classification of Skin Diseases using Tile-Based Texture Features
Hekke, P. (Piet) vanOn the Scalability of Evolution Strategies on High-Dimensional Problems
Jakobik, M. (Maja)Novius Model in Archimate
Kalmeijer, J. (Jan)Extracting Information from an Energy Expenditure Dataset
Kasteleyn, P. (Paul)Software for the Annotation of Bio-medical Images using a Treemap Representation of an Ontology
Kleyn, F. (Floris)An Investigation into Recommendation Algorithms
Massop, E. (Erik)Hilbert's Tenth Problem
Meer, L. (Lucas) van derReady for the Future in Health Informatics: Towards Semantic Interoperability in Dermatology
Offerman, T. (Tyron)Maintaining a Software System with the Use of Domain-Specific Languages
Ommen, T. (Thijs) vanThe Assignment Problem on Sets of Strings
Osta, J.P. (Jan-Paul) vanRouting with Ant Colony Algorithms in Continuous Spaces
Rijn, F. (Frank) vanNiching for Finding Robust Optima
Rozemod, D. (Duncan)Multiple Objective Portfolio Optimization using Evolution Strategies
Schrama, S. (Stefan)Shikaku
Wimmers, M. (Martin)Designing and Implementing a System for the Evolutionary Optimization of an Airfoil
Witteveen, J. (Jouke)Minng Hyperintervals: Getting to Grips with Real-Valued Data
Wong, F.Y. (Fee Yun)Using Software Design Principles for Software Systems
Zadelhoff, A. (Arjan) vanUML Class Diagram Simplification: A Survey Study
Zandvliet, E. (Erik)Developing an Ant System with Visual Support

2011
Student Thesis Content
Bourdrez, B. (Bertram)Improving MAPNIK with Label Placement Algorithms
Boychev, S.Design and Implementation of a USB Communication Protocol
Cheng, X. (Xiwen)High Density Multi-Cell Wireless Networks
Groeneweg, M. (Maarten)Active Guided Evolution Strategy for Dynamic Vehicle Routing Problems
Hunsucker, A. (Anton)Investigation into a Domain-Specific Language for Securities Trading Operations
Hupkens, I. (Iris)Identifying Prominent Actors in Social Networks
Keizer, M.J. (Martijn)A Database and Interface System for Gathering and Providing Sampling Data on Volcanic Lakes
Kensmil, R. (Roy)Modeling Kahn Process Networks in the Dynamic Dataflow Formalism
Kroon, J. (Joppe)Build Structuur voor Compaan met Eclipse CDT
Lo, J.E.B. (James)Automated Safety Analysis for Supporting Design of System Architectures
Mulder, C. (Chris)Challenges of Web Application Development: How to Optimize Client-side Code
Neuteboom, J. (Jonathan)Analysis of Pre-Genome Assembly of Lymnaea Stagnalis
Schoonewille, H. (hugo)Software Architecture Documentation: A Cognitive Perspective
Schouten, C.C. (Christiaan)Never Marry a Woman with Big Feet
Sobolewska, B. (Bogumila)When Applications are Business Processes: An ArchiMate Based Explanation
Spasov, B.Design and Implementation of an Installation Tool for the DAEDALUS Framework
Stein, B. (Bas) vanThe Beginning of a Theory for Set-Nets
Veger, E. (Edwin)Hashing Methods in Sokoban
Verhage, F.R. (Rene)Analysis and Execution of Reverse Engineering Software Code to Generate Software Documentation
Vlugt, S.H.W. (Sander) van derCoverability Tree Constructions and Inhibitor Places
Zwet, R. (Rick) van derExploratory Research on Embedding CUDA code Into Heterogeneous MP-SoC Architectures Programmed with the Daedalus Framework

2010
Student Thesis Content
Broek, R. (Robin) van denVisualizing the Level of Detail in UML Models
Bruin, O. (Oswald) deCalculating and Predicting. Five or More
Dal, G. (Giso)An Approach to Map Sequential Applications onto Multi-Processor Platforms
Everts, H. (Harma)Art or Artificial
Geene, D. (Derk)The NLP-Editor: A Case Study about Eclipse Plug-In-Development
Hoed, A. (Anton) denParsing and Conversion of SMILES-Strings to Molecular Graphs
IJsveld, J. (Johan)Camera Controlled Robot
Karaca, Z. (Zeki)Discovering Intelligence in a Natural Environment
Kwint, B. (Ben)How do we Look at UML?
Luiten, M. (Menno)The Anatomy of a Collaborative Image Search System
Marijt, R. (Robert)Multi-objective Robust Optimization Algorithms for Improving Energy Consumption and Thermal Comfort of Buildings
Mus, D. (Derk)Signal Browser
Rot, J.C. (Jurriaan)A Pushdown System Representation for Unbounded Object Creation
Ruiter, J. (Johan) deOn Jigsaw Sudoku Puzzles and Related Topics
Veen, B. (Barry) vanMultiobjective Particle Swarm Algorithm for Building Design Optimization
Vermeulen, T. (Thijs) AND Oosterhof, J. (Jelle)Image Optimization, Feature Extraction and Classification in Neurobiology: Dendritic Spines under Stress
Vietor, J. (Jaron)Multithreading voor Iedereen
Wong, K.M. (Kwie Min)Implementing an Operating System and Real Time Scheduling
Zaaijer, S. (Simon)Bundle Tracing using Geometric Algebra
Zomervrucht, W. (Wouter)De Complexiteit van Buchbergers Algoritme
Zwijger, W. (Wouter) deDemonstration Tools for Petri Nets

2009
Student Thesis Content
Denizmen, K. (Kerem)VN Movie Recommender
Egmond, S. (Sjoerd) vanSmart Autofill for Photos in Albums
Gemeren, F. (Frank) vanHigh-Performance Framework for Web Applications
Jordaan, P. (Pieter)The Animated Abacus
Morsink, T. (Timo)Hashiwokakero
Peymani, A. (Abbas)Cluster 2.0: Collaboration Makes Innovation Happen
Rietveld, K.F.R. (Kristian)Distributed Approaches for Discovering Unique Factors in the Human Genome
Vis, J.K. (Jonathan)Particle Swarm Optimizer for Finding Robust Optima
Water, J. (Jens) van deSubsumption Architecture-Based Social Interactive Robot Arm
Wink, S. (Stefan)Analysis and Visualisation of Defects in Software Projects
Wolff, S. (Sjaak)Cell-Forum: Collaborative Multi-User Virtual World Applications
Wortel, H. (Hans) AND Dorsman, T. (Thomas)From Closed-Loop Video to 3D Model Via Silhouettes

2008
Student Thesis Content
Assink, A. (Arjan)Comparing Today's Most Used Web Development Languages
Dam, R. (Ramon) vanTakegaki
Drift, B. (Bart) van der3D Worlds for Collaborative Work
Eelzak, C. (Cedric) AND Casteren, M. (Maarten) van AND Cornelisse, C. (Cor)Lightning Engine: Ray Tracing with KD-trees
Gast, E. (Erik) AND Gouw, S. (Stijn) deHoge Kwaliteit Video op een Lage Bandbreedte Verbinding
Groenen, J. (Johan)Nurikabe
Halm, E. (Eyal)Genetic Algorithm for Predicting Protein Folding in the 2D HP Model
Hilteman, S. (Saskia)Multi-coloured Cellular Automata
Huizer, R. (Ronald)Libptrace-Across-platform Process Manipulation API
Jongsma, E. (Erik)Automatically Checking Group Diffie-Hellman and Xor in the Strand Space Model
Laraghy, S. (Susan)Refining Probability Motifs for the Discovery of Existing Patterns of DNA
Li, A. (Andrew)Neuraal Winkelen
Lier, J. (Jori) vanSupporting the Designer in: writing Nested Loop Programs using Eclipse
Mets, J. (Jeroen)Monte Carlo Stratego
Meurs, T. (Tim) vanComparing Methods for Solving Kuromasu Puzzles
Oemraw, A. (Amit)SubCVS: Merging Version Control Systems in a Servlet-based Repository Browser
Pouw, M. (Michiel)Aspect-oriented Programming in PHP
Reehuis, E. (Edgar)Multiobjective Optimization of Water Distribution Networks
Stafleu, J. (Jasper)Paradigm
Takes, F.W. (Frank)Sokoban: Reversed Solving
Vavic, M. (Mladen)Bridge between C and Java Applications by means of XML

2007
Student Thesis Content
Helvensteijn, M. (Michiel)Applying Data Mining to the Study of Joseki
Huizer, J. (Joris)Jorix Kernel: Real-time Scheduling
Kaptijn, B. (Bas)Generative Programming through Inheritance
Opstal, K.D. (Klaas-Dirk) vanDigibeter
Vries, T. (Timo) deDigibeter

2006
Student Thesis Content
Beelen, A. (Arend) vanLightning Engine-Ray Tracing with KD-trees
Cormont, J. (Jelmer)Content Management Systeem
Guzman Carmona, J. (Jonathan)Bridge between C and Java Applications by means of XML
Henstra, S. (Sjoerd)Artificial intelligence and data mining applied to no-limit Texas Hold'em
Li, T.L. (Tsoe Loong)Using Aritifical Intelligence to Solve Gin Rummy
Louw, J. (Janne)Description with UML for a Hotel Reservation System
S. van HaastregtAn Interactive Approach to Area and Performance Optimization for Superscalar Processors
Stafleu, J. (Jasper)Paradigm
Vijfhuize, M. (Maarten)SubCVS: Merging Version Control Systems in a Servlet-based Repository Browser
Zwan, R. (Robin) van derArtificial intelligence and data mining applied to no-limit Texas Hold'em