Note: this thesis repository might be incomplete for certain programmes.

285 entries found.


Bachelor Informatica



2017-2018
Student Thesis
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
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

2016-2017
Student Thesis
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

2015-2016
Student Thesis
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

2014-2015
Student Thesis
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

2013-2014
Student Thesis
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

2012-2013
Student Thesis
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

2012
Student Thesis
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

2011
Student Thesis
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

2010
Student Thesis
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

2009
Student Thesis
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

2008
Student Thesis
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

2007
Student Thesis
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

2006
Student Thesis
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