Computer Science

"Change Impact Analysis for Rebel Specifications" > Intro - In software development, ideas and abstractions meet to evolve into applications. For large companies this is often a p…

"Combining photo/video imagery with weather data to detect rain by using deep learning techniques" > Abstract - In this paper we describe our process and solution for creating a wl…

"A Haskell DSL for expressing music. CoLa (Compose Language)" > Programming language for composing music with the same structure as sheet music. Easy to read, easy to use and conve…

"wlp-based Automated Testing" > Abstract - In this paper we describe our process and solution for creating a wlp-based automated testing tool for the GCL language given in (“Projec…

"Estimating the Uithoflijn’s operational performance with simulation" > Intro - The future holds a major development in public transport for Utrecht: the construction of the Uithof…

Part 1: "Trade off accuracy against efficiency?" > Abstract - Data, that is ”facts and statistics collected together for reference or analysis”[2], which is happening everywhere, a…

Haskell implementation of GTA I by Kevin Wilbrink and Jordi Wippert. > Grand Theft Auto I (originally released in 1997, for MS-DOS/Windows). GitHub repository CS Course: Functi…

"Simulating Formula 1 crashes in the start-section including the first turn" > Abstract – Crashes in Formula 1 are in- fluenced by certain properties of circuits. A computer simula…