460 entries found.

Bachelor Informatica

Student Thesis Content
Kling, A. Automatically Deriving Sorting Algorithms in tUPL
Ruigrok, L. Benchmarking Lightweight Cryptography for TLS

Student Thesis Content
Al-nassar, S.The discovery of underlying topics within Coronavirus-related articles
Allison, L. Proxy Caching in Accenture’s Employee Evolution Tree Project
Bergman, O.T.C. CHAD-net: Continuous Human Action Detection in RGB video
Blom, T. Learning Signal-Meaning Mappings in an Emergent Communication System using Neural Networks
Braam, I. BlockStep, an A* algorithm toward Minecraft optimal world traversal for speedrunning
Burghouwt, N. Spatial Subgroup Discovery
Buurman, D.Threat Intelligence Feed For Mobile Applications
Dijke, J. van Extracting characteristics of emotions from audio
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
Haasnoot, F. Predicting Fake News via Stance Detection
Hamdi, A.Fault analysis for a new MsC course using the ChipWhisperer
Heertum, V. van Clustering financial transactions on inference-accelerator hardware
Hertogh, G. Low-Depth QAOA and RQAOA for Max-Cut on Irregular Graphs
Holtrop, S. Linker-Directive Based File System in Userspace: Introducing LDP FUSE
Houten, E. van How many stars does it take to form a binary? Automating analysis of binary formation during core collapse
Jong, T. deThe classification of integration aspects regarding systems in healthcare organizations
Keijzer, M. deAn exploratory research on Reading Code
Keulemans, J. Automatically detecting when participants want help from their facial expressions in an online quiz
Kientz, L. Neural Networks for Auto Battlers
Klaver, M. Theoretical and Practical Aspects of Freecell
Koning, M. de Extraction, transformation, linking and loading of cultural heritage data
Kooij, E. van der Investigating teachers’ perceptions on student programming difficulties related to variables and teachers’ strategies to help students
Laan, K. van der A Computer Program that Plays the Card Game Tysiąc
Laanen, R. Classification of pre-defined movement patterns: A comparison between GNSS and UWB technology.
Lenstra, X. A Program for Analysing Combinatorial and Synchronized Games
Li, L. Changes in Steam genre tags after Covid-19
Lie, K. How to win in Checkers? for a Thesis
Lommers, L. Applying social network analysis to Twitter data to identify phases in crisis communication
Manintveld, E. Finding points of interest using GPS data
Marosvölgyi, C. Parsons Problems in Hedy
Mourits, M. Solving and Generating the Nurimeizu puzzle
Nouweland, L. van denAutomating the process of defining the aesthetic quality of an image in a numerical way
Opdam, T. Numeric subgroup discovery by MDL-optimal histograms
Özbay, A.E.An interactive program visualisation tool for Hedy
Ram, J.Sim-to-Real autonomous driving in CARLA using Image Translation and Deep Deterministic Policy Gradient
Rooij, J. deLearning a NAO Robot to Balance Using Reinforcement Learning
Rooij, M. deHandling of abstraction by children using the Hedy programming language
Rooijakkers, L.Evaluating AutoML methods on hybrid inversion of PROSAIL RTM on Landsat-7 data for AGB estimation
Rossum, N. van The search for low-code development platforms that support serious games
Schaap, A.Programmeren voor Blinde en Zwaar Slechtziende Leerlingen
Schaap, L. Formalised semantics of Lustre
Schreurs, L.J. Investigating Grammatical Evolution’s Ability to Reconstruct Mathematical Functions
Soulimani, O. Evaluating Android malware detection explanation
Vink, E. deSolving Breakthrough Using Binary Decision Diagrams and Retrograde Analysis
Voorham, J. Impact of Flow Anonymization on Cyberattack Detection in IoT
Vries, G. deDetection of indirect gender bias in job vacancy texts
Wensveen, R. Probing Sequences for Nonograms
Wetten, F. vanRepresenting the state space of the Domino cube in graph using BDDs
Wheeler, M.Detecting Sarcomere Structures in Cardiomyocytes
Zeeuw, M. deExplainable AI in Multi-Objective Design Optimization
Zhang, M.Y. Teaching of Variables in Programming MOOCs: An Exploratory Study
Zwart, M. van derA library for BDDs and SDDs

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. 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. deAn 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. 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.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.Using Heterogeneous Primordial Particle Systems to Analyse Life-like Behaviour.
Reijtenbach, R.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
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

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.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 derScraping 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 derClassifying 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. 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.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 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.OpenML-Connect: A C++ Connection Library for OpenML
Zoete, B. deImproving Twitter Stream Filtering using Pseudo-Relevance Feedback
Zweeden, J. vanDetecting Facial Features in Infrared Imagery
Zwetsloot, M.Predicting the Outcome of the Card Game Klaverjas

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.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, GApplications 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.Comparing Strategic Agents for Dominance
Maan, G.C.Hardware Acceleration of Matrix Multiplication
Merckens, T.A Further Look into Mouse Mazes
Meyer, SPsychology-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.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.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 derExamining out of Bounds Defense Systems' Performance against Independent CVEs

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.Using the rectified Linear Unitactivation function in Neural networks for Clobber
Dijk, M. vanAgents for Kuhhandel
Dijkhuizen, T. 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
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, KelvinSolving 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.The Complexity of Root-Fi nding in Orders
Steffens, B.Dynamic Reductions for More Efficient Software Verification
Taleb, R.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

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. vanSolving 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. vanFinish 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. vanAspects 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/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

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 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.Attacking the n-puzzle using SAT solvers
Faas, M.
Gent, D. vanGraph 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. 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. van derTetris Strategies in a Multiplayer Environment
Woerden, W. 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

Student Thesis Content
Berge, Michiel van denAn Algorithm for Morphing Audio
Bergh, Mark van denHanabi: A Co-operative Game of Fireworks
Boekhout, HanjoCombining Graph Mining and Deep Learning in Molecular activity Prediction
Bos, RalphCompact Decision Trees for Dou Shou Qi Tablebases
Buitelaar, RubenCombined Neural Networks for Movie Recommendation
Burger, JelcoContext Free Guarded Languages: A System for Determining Guarded Strings
Cammel, SimonePredicting the Outcome of the Game Othello
Dekker, VictorA Difficulty Measure for Light Up Puzzles
Es, David vanDeploying Phenotype Analysis On LLSC
Haddou, SarahUsing Outcome Weights in Monte-Carlo Tree Search for Multiplayer 3D Hex
Kanhai, SoeradjMining a Scientific Conference
Klaver, SimonAnalysing Electron Tomography with IMOD on the LLSC
Kortsmit, MariekeStrategies for Klondike Solitaire
Marsdon, BobA Generalized Hough Transform for the Recognition of Cars in Images
McGlinn, TamaAnalysing the Difficulty of Mazes using a Web Application
Partodikromo, E.Datamining the Peptide Sequenome
Post, MarkAnalysis and Visualisation of Data of an Outdoor Sports Mobile Application
Rooijen, A.L. van
Schade, DerekImage Similarity Using Color Histograms
Scholtes, SemIntegrating Data Modeling with Data Analysis in Taverna Workflows
Sener, HuseyinBuilding an Administrative System in a Scientific Workflow System
Stevenson, ClaireLearning Software Design: Is Abstraction Ability Key?
Stout, PatricOntology Viewer: Van Proof-of-Concept naar Layered Software
Strien, Bart vanExploring Scheduling Alternatives for a Computer Vision application on Embedded MPSoCs
Veenman, ChristianA Framework for Cross-Platform Dynamically Loaded Libraries
Zabel, TerryVideo Rating and Sorting with a Genuine Approach

Student Thesis Content
Bakker, ThomasPlagiarism Detection in Source Code
Bosch, Pieter van denAutomation of use Case Diagram Recognition from Images
Boven, Bas vanSolving Jungle Checkers
Buitenhuis, TacoThe Constraint-Relation Modelling Language and its Relation to Petri Nets
Heijden, Roelof van derAn Analysis of Dominion
Helwerda, LeonTheory and Applications of Deep Learning Networks
Jochems, JenniferPartial derivatives for KAT expressions
Liu, Lai-YeeAn Automatised Process for Constructing Recognisable Nonograms
Luik, Lars vanImplementing I/O Infrastructure Improvements for S.M.A.C.K.
Meij, Tim van derConstructing an Open-Source Toolchain and Investigating Sensor Properties for Radio Tomography
Meijer, RicardoA Comparison of Search Engine user Interfaces
Milburn, AlyssaAlgorithms and Models for Radio Tomographic Imaging
Moerkerk, PaulFinding Correspondence in Stereo Image Pairs using an Adaptive Window Comparison Algorithm
Nieuwenhuijzen, BasAuto-Vectorization using Polyhedral Compilation for an Embedded ARM Platform
Obbens, WillemInference in Markov Networks
Rensen, MichelAn On-Line Parsing Algorithms for conjunctive grammars
Robijn, JonathanDetailed Crowd Simulation and Spatial Hashing for Large-Scale Collision Detection
Samwel, NielsMining Bitcoins with Natural Computing Algorithms
Stuivenberg, ArthurEquivalence Checking of Regular Expressions using Non-Deterministic Finite Automata
Veen, Neal vanDeploying Single Particle Analysis on the LLSC
Vinkhuijzen, LieuweReducing Copying and Network Traffic in Reo Circuits
Wijden, KevinVideo Recommendation, A comparison between collaborative filtering algorithms

Student Thesis Content
Alexander LeznarA Start List Scheduling and Optimization Algorithm for Equestrian Events
Bart HijmansMulti-objective Generation of Bicycle Routes
Benjamin van der BurghAn Evolutionary Algorithm for Finding Diverse Sets of Molecules with User-Defined Properties
Boyd WittePlagiarism Detection in C++ Programs
Erik HollanderMulti-scale Map Visualization
Florian TreurnietThe Leiden Zipper a bridging Architecture
Jesper van EngelenGuided Rewriting in Families of Languages
Joost LeuvenTesting of Channel Based Service Connectors
Mark HoekveenInfinite 3D Worlds
Mathé ZeegersA kinetic Monte Carlo implementation of the Cellular Potts Model with SciQL
Mathijs van de NesCoverability and Extended Petri Nets
Michiel VosSelf-Tracking with Multiple Sensor Systems
Nuno RicoImage Classification on Flickr using TOP-SURF Visual Word Kit
Pepijn van HeiningenEvaluation of Image Quilting Algorithms
Ruud HeesterbeekA Genetic Algorithm for the Travelling Salesman Problem with Area Constraints
Sander van RijnImplementing a Model Checker for Simple Recursive Languages
Shi Hao ZijdemansContracting in Agile Software Projects: Current Challenges and New Possible Solutions
Stefan BuijsmanTyping Streams
Tobias KappéLinear Stream Circuits and Rational Streams: there and back again
Tom GroentjesHolography and Kinect
Umut OzaydinRobustness in Salient Point Detection

Student Thesis Content
Arjan van ZadelhoffUML Class Diagram Simplification: A Survey Study
Duncan RozemondMultiple Objective Portfolio Optimization using Evolution Strategies
Erik MassopHilbert's tenth Problem
Erik ZandvlietDeveloping an Ant System with Visual Support
Erwin HaasAutomated Classification of Skin Diseases using Tile-Based Texture Features
Fee Yun WongUsing Software Design Principles for Software Systems
Floris KleynAn Investigation into Recommendation Algorithms
Frank van RijnNiching for Finding Robust Optima
Jan KalmeijerExtracting Information from an Energy Expenditure Dataset
Jan-Paul van OstaRouting with Ant Colony Algorithms in Continuous Spaces
Jouke WitteveenMinng Hyperintervals: Getting to Grips with Real-Valued Data
Leroy van DelftEfficient Equivalence Checking of Regular Expressions
Lucas van der MeerReady for the Future in Health Informatics: Towards Semantic Interoperability in Dermatology
Maja JakobikNovius Model in Archimate
Martin WimmersDesigning and Implementing a System for the Evolutionary Optimization of an Airfoil
Matthijs van DrunenPorting S.M.A.C.K. to the x86 Architecture
Paul Kasteleyn
Piet van HekkeOn the Scalability of Evolution Strategies on High-Dimensional Problems
Ramon de GraaffAuthorship Attributing using Compression Distances
Stefan SchramaShikaku
Thijs van OmmenThe Assignment Problem on Sets of Strings
Tyron OffermanMaintaining a Software System with the Use of Domain-Specific Languages
Xander Croes3D Visualization of Mycobacterium infection on Zebrafish

Student Thesis Content
Anton HunsuckerInvestigation into a Domain-Specific Language for Securities Trading Operations
Bas van SteinThe Beginning of a Theory for Set-Nets
Bertram BourdrezImproving MAPNIK with Label Placement Algorithms
Bogumila SobolewskaWhen Applications are Business Processes: An ArchiMate Based Explanation
Chris MulderChallenges of Web Application Development: How to Optimize Client-side Code
Christiaan SchoutenNever Marry a Woman with Big Feet
Derk GeeneThe NLP-Editor: A case study about Eclipse Plug-In development
Edwin VegerHashing Methods in Sokoban
Hugo SchoonewilleSoftware Architecture Documentation: A Cognitive Perspective
Iris HupkensIdentifying Prominent Actors in Social Networks
James LoAutomated Safety Analysis for Supporting Design of System Architectures
Jonathan NeuteboomAnalysis of Pre-Genome Assembly of Lymnaea Stagnalis
Joppe KroonBuild Structuur voor Compaan met Eclipse CDT
Maarten GroenewegActive Guided Evolution Strategy for Dynamic Vehicle Routing Problems
Martijn KeizerA 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 ZwetExploratory Research on Embedding CUDA code Into Heterogeneous MP-SoC Architectures Programmed with the Daedalus Framework
Roy KensmilModeling Kahn Process Networks in the Dynamic Dataflow Formalism
Sander van der VlugtCoverability Tree Constructions and Inhibitor Places
Xiwen ChengHigh Density Multi-Cell Wireless Networks

Student Thesis Content
Anton den HoedParsing and Conversion of SMILES-Strings to Molecular Graphs
Barry van VeenMultiobjective Particle Swarm Algorithm for Building Design Optimization
Ben KwintHow do we look at UML?
Derk GeeneThe NLP-Editor: A Case Study about Eclipse Plug-In-Development
Derk MusSignal Browser
Giso DalAn Approach to Map Sequential Applications onto Multi-Processor Platforms
Harma EvertsArt or Artificial
Jaron VietorMultithreading voor iedereen
Johan de RuiterOn Jigsaw Sudoku Puzzles and Related Topics
Johan IJsveldCamera Controlled Robot
Jurriaan RotA Pushdown System Representation for Unbounded Object Creation
Menno LuitenThe Anatomy of a Collaborative Image Search System
Oswald de BruinCalculating and Predicting. Five or More
Robert MarijtMulti-objective Robust Optimization Algorithms for Improving Energy Consumption and Thermal Comfort of Buildings
Robin van den BroekVisualizing the Level of Detail in UML Models
Simon ZaaijerBundle Tracing using Geometric Algebra
Thijs Vermeulen, Jelle OosterhofImage optimization, feature extraction and classification in Neurobiology: Dendritic spines under stress
Wouter de ZwijgerDemonstration Tools for Petri Nets
Wouter ZomervruchtDe Complexiteit van Buchbergers Algoritme
Zeki KaracaDiscovering Intelligence in a Natural Environment

Student Thesis Content
Abbas PeymaniCluster 2.0: Collaboration makes Innovation Happen
Frank van GemerenHigh-Performance Framework for Web Applications
Hans Wortel and Thomas DorsmanFrom Closed-Loop Video to 3D Model Via Silhouettes
Jens van de WaterSubsumption Architecture-Based Social Interactive Robot Arm
Jonathan VisParticle Swarm Optimizer for Finding Robust Optima
Kerem DenizmenVN Movie Recommender
Kristian Rietveld:Distributed Approaches for Discovering Unique Factors in the Human Genome
Pieter JordaanThe Animated Abacus
Sjaak WolffCell-Forum: Collaborative Multi-User Virtual World Applications
Sjoerd van EgmondSmart Autofill for Photos in Albums
Stefan WinkAnalysis and visualisation of defects in software projects
Timo MorsinkHashiwokakero

Student Thesis Content
Amit OemrawSubCVS: Merging version control systems in a servlet-based repository browser
Andrew LiNeuraal Winkelen
Arjan AssinkComparing today's most used web development languages
Bart van der Drift3D Worlds for Collaborative Work
Edgar ReehuisMultiobjective Optimization of Water Distribution Networks
Erik Gast, Stijn de GouwHoge kwaliteit video op een lage bandbreedte verbinding
Erik JongsmaAutomatically Checking Group Diffie-Hellman and Xor in the Strand Space Model
Eyal HalmGenetic Algorithm for Predicting Protein Folding in the 2D HP Model
Frank TakesSokoban: Reversed Solving
Jasper StafleuParadigm
Jeroen MetsMonte Carlo Stratego
Johan GroenenNurikabe
Jori van LierSupporting the Designer in: writing Nested Loop Programs using Eclipse
Michiel PouwAspect-oriented Programming in PHP
Mladen VavicBridge between C and Java applications by means of XML
Ramon van DamTakegaki
Ronald HuizerLibptrace-Across-platform process manipulation API
Saskia HiltemannMulti-coloured Cellular Automata
Susan LaraghyRefining Probability Motifs for the Discovery of Existing Patterns of DNA
Tim van MeursComparing Methods for Solving Kuromasu Puzzles

Student Thesis Content
Bas KaptijnGenerative Programming through Inheritance
Joris HuizerJorix Kernel: real-time scheduling
Klaas-Dirk van OpstalDigibeter
Michiel HelvensteijnApplying data mining to the study of joseki
Timo de VriesDigibeter

Student Thesis Content
A. van BeelenLightning Engine-Ray tracing with KD-trees
J. CormontContent Management Systeem
J. Guzman CarmonaBridge between C and Java applications by means of XML
J. LouwDescription with UML for a Hotel Reservation System
J. StafleuParadigm
M. VijfhuizeSubCVS: merging version control systems in bases repository browser
S. Henstra, R. van der ZwanArtificial intelligence and data mining applied to no-limit Texas Hold'em
S. van HaastregtAn Interactive Approach to Area and Performance Optimization for Superscalar Processors
T.L. LiUsing Aritifical Intelligence to solve Gin rummy