Department of Mathematics and Computer Science

Student theses

(Ab)using Bitcoin for anti-censorship tool

Author: Okupski, K., 31 Dec 2014

Supervisor: Skoric, B. (Supervisor 1), de Weger, B. (Supervisor 2) & Serebrenik, A. (Supervisor 2)

Student thesis: Master

File

(Data) refinement calculus met stack voorbeelden

Author: Andree, H., 31 Oct 1990

Supervisor: Kaldewaij, A. (Supervisor 1) & van der Woude, J. (Supervisor 2)

Student thesis: Master

(In)security of video surveillance systems in building automation systems

Author: Yeh, M., 29 Oct 2018

Supervisor: den Hartog, J. (Supervisor 1), Constante, E. (External person) (External coach) & Dagrada, M. (External person) (External coach)

Student thesis: Master

$\Gamma \vdash M : ? , \Gamma \vdash M : \tau ?, \Gamma \vdash ? : \tau$ or synthesis of types and terms for typed lambda calculi

Author: van Dommelen, R., 31 Aug 1992

Supervisor: Hemerik, C. (Supervisor 1) & Poll, E. (Supervisor 2)

Student thesis: Master

2-D flow evolution in bounded domains

Author: Chau, C. D., 31 Jan 2005

Supervisor: Molenaar, J. (Supervisor 1) & Dijkhuis, G. (External person) (Supervisor 2)

Student thesis: Master

File

3D cache-oblivious multi-scale traversals of meshes using 8-reptile polyhedra

Author: van der Plas, G., 31 May 2016

Supervisor: Haverkort, H. (Supervisor 1)

Student thesis: Master

File

3D face reconstruction using structured light on a hand-held device

Author: Roa Villescas, M., 31 Aug 2013

Supervisor: de Haan, G. (Supervisor 1) & van Heesch, F. (External coach)

Student thesis: Master

File

3D fisheye treemaps

Author: Schoonen, J., 31 Jul 1997

Supervisor: van Overveld, C. (Supervisor 1), Janse, M. (Supervisor 2) & Peeters, E. (Supervisor 2)

Student thesis: Master

3D graphics rendering for multiview displays

Author: Compen, J., 30 Apr 2005

Supervisor: Kok, A. (Supervisor 1) & Barenbrug, B. (Supervisor 2)

Student thesis: Master

File

3D map creating using the structured light technique for obstacle avoidance

Author: Rocque, M., 31 Aug 2011

Supervisor: de Haan, G. (Supervisor 1) & van Heesch, F. (Supervisor 2)

Student thesis: Master

File

3D point cloud reconstruction from photographs using a spring embedder algorithm

Author: Koenraadt, A., 30 Apr 2013

Supervisor: Westenberg, M. (Supervisor 1) & Hardy, D. (Supervisor 2)

Student thesis: Master

File

3D skin body reconstruction

Author: Zerva, C., 31 Aug 2015

Supervisor: de Haan, G. (Supervisor 1), Ciuhu, C. (External person) (External coach) & Zeitouny, M. G. (External person) (External coach)

Student thesis: Master

File

3D template matching on the GPU

Author: Streur, K., 31 Dec 2008

Supervisor: van Liere, R. (Supervisor 1) & Schoenmakers, R. (External person) (Supervisor 2)

Student thesis: Master

File

3D-TV signal conversion algorithms and embedded architectures

Author: de Groot, M., 31 Aug 2009

Supervisor: de With, P. (Supervisor 1), Bellers, E. B. (External person) (Supervisor 2) & Karge, R. (External person) (Supervisor 2)

Student thesis: Master

File
File

6LoWPAN: IPv6 for battery-less building networks

Author: Abbasi, N., 31 Aug 2009

Supervisor: Lukkien, J. (Supervisor 1), van der Stok, P. (Supervisor 2), Geilen, M. (Supervisor 2) & Verhoeven, P. (Supervisor 2)

Student thesis: Master

File

A (max, +) based trade-off exploration between storage and throughput for scenario-aware dataflow

Author: Klerks, P., 26 Feb 2018

Supervisor: Geilen, M. (Supervisor 1) & van Kampenhout, J. (Supervisor 2)

Student thesis: Master

File

A 3D modeller for implicit surface skeletons

Author: Mollet, D., 31 Dec 1997

Supervisor: van Overveld, C. (Supervisor 1), Bruijns, J. (External person) (Supervisor 2) & van de Wetering, H. (Supervisor 2)

Student thesis: Master

AAL security and privacy: Transferring XACML policies for end to end access and usage control

Author: Vlamings, H., 31 Oct 2010

Supervisor: Petkovic, M. (Supervisor 1)

Student thesis: Master

File

Aanzet tot de ontwikkeling van een informatiesysteem voor het werken met Markov-modellen

Author: van den Elzen, J., 31 Aug 1986

Supervisor: Wessels, J. (Supervisor 1), van Hee, K. (Supervisor 2) & Venema, W. (External person) (Supervisor 2)

Student thesis: Master

Aanzet tot een systeem voor de generatie van snijpatronen in een plaatwerkbedrijf

Author: Verdiesen, B., 30 Nov 1984

Supervisor: Benders, J. (Supervisor 1)

Student thesis: Master

Aanzet tot het ontwerp van een informatiesysteem voor het werken met Markov-modellen

Author: Reynaerts, J., 31 Aug 1986

Supervisor: van Hee, K. (Supervisor 1), Wessels, J. (Supervisor 2) & Venema, W. (External person) (Supervisor 2)

Student thesis: Master

A basis for the order-to-order method: theory and validation

Author: van der Aa, N., 30 Apr 2003

Supervisor: ter Morsche, H. (Supervisor 1)

Student thesis: Master

File

A BDD based prover for mCRL2

Author: Engelen, L., 30 Nov 2006

Supervisor: Groote, J. (Supervisor 1)

Student thesis: Master

File

A benchmark set for process discovery algorithms

Author: van Arendonk, R., 30 Apr 2011

Supervisor: van Dongen, B. (Supervisor 1)

Student thesis: Master

File

A better interface for automated program transformation

Author: Hemel, T., 31 Oct 2000

Supervisor: Backhouse, R. (Supervisor 1)

Student thesis: Master

File

A branching process on a hypercubic lattice

Author: Beekenkamp, T., 2013

Supervisor: van der Hofstad, R. (Supervisor 1)

Student thesis: Bachelor

File

Abstracting real-valued parameters in parameterised boolean equation systems

Author: Laveaux, M., 26 Feb 2018

Supervisor: Willemse, T. (Supervisor 1)

Student thesis: Master

File

Abstract interpretation of concurrent logic programs for analysis of variable sharing

Author: Dams, D., 14 Dec 1994

Supervisor: Gerth, R. T. (External person) (Supervisor 1) & Nederpelt Lazarom, R. (Supervisor 2)

Student thesis: Master

A calculus for combinational circuits consisting of switches

Author: Körver, W., 31 Aug 1987

Supervisor: Rem, M. (Supervisor 1) & Mak, R. (Supervisor 2)

Student thesis: Master

Accelerated Wafer Z-map for layout independent leveling

Author: Staals, R., 31 Jan 2016

Supervisor: Koren, B. (Supervisor 1), Maubach, J. (Supervisor 2), Voncken, M. (External person) (External coach) & Torumba, D. (External person) (External coach)

Student thesis: Master

File

Accelerating a movie recommender system using VirtualCL on a heterogeneous GPU cluster: big data analysis using distributed accelerators

Author: Bhatnagar, A., 31 Aug 2015

Supervisor: Luttik, S. (Supervisor 1), Öberg, J. (External person) (External coach), Robino, F. (External person) (External coach), Pieters, R. (External person) (External coach), Pendari, A. (External person) (External coach) & Sanders, I. (External person) (External coach)

Student thesis: Master

File

Accelerating I/O efficient graph algorithms on grid graphs using the GPU

Author: Gerritsen, N., 31 Oct 2012

Supervisor: Haverkort, H. (Supervisor 1)

Student thesis: Master

File

Accelerating SIFT feature extraction with a vector DSP: a feasibility study

Author: Sathyanarayana Prasad, A., 31 Aug 2014

Supervisor: van Berkel, C. (Supervisor 1), van Kampen, D. (External person) (External coach), Kloosterhuis, W. (External coach) & Goossens, K. (Supervisor 2)

Student thesis: Master

File

Acceleration of a geodesic fiber-tracking algorithm for diffusion tensor imaging using CUDA

Author: van Aart, E., 30 Jun 2010

Supervisor: Jalba, A. (Supervisor 1)

Student thesis: Master

File

Acceleration techniques for extraction within semi-automatic design optimization

Author: Egwu, N., 31 Aug 2010

Supervisor: Schilders, W. (Supervisor 1) & Rommes, J. (External person) (Supervisor 2)

Student thesis: Master

File

Accell/IQ, invoering van een eindgebruikerstool binnen Hoogovens buizen

Author: van Run, P., 30 Jun 1992

Supervisor: De Bra, P. (Supervisor 1) & Nuijten, W. (Supervisor 2)

Student thesis: Master

Acceptor algoritmen voor reguliere talen

Author: Geelen, J., 31 Jan 1988

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

Acceptors of regular sets

Author: van de Wetering, H., 31 Aug 1985

Supervisor: Rem, M. (Supervisor 1), Schols, H. (Supervisor 2) & Zwaan, G. (Supervisor 2)

Student thesis: Master

Access policy enforcement techniques to protect data shared across domains

Author: Pletea, D., 31 Aug 2014

Supervisor: Petkovic, M. (Supervisor 1), Koster, P. (External person) (Supervisor 2), Sedghi, S. (External person) (Supervisor 2) & Mak, R. (External coach)

Student thesis: Master

File

Accurate, automated and flexible privacy policy conflicts resolution in multiparty systems

Author: Darwish, K., 29 May 2017

Supervisor: Zannone, N. (Supervisor 1)

Student thesis: Master

File

Accurate and efficient continuous collision detection

Author: Buddingh', W., 30 Apr 2014

Supervisor: Jalba, A. (Supervisor 1)

Student thesis: Master

File

Accurate state-of-charge determination for lithium-iron phosphate battery packs

Author: Garayoa Guajardo, J., 30 Nov 2011

Supervisor: Bergveld, H. (Supervisor 1)

Student thesis: Master

File

A characterization of the special linear and unitary Lie algebra via its extremal geometry

Author: Oostendorp, M., 31 Aug 2018

Supervisor: Cuypers, F. (Supervisor 1)

Student thesis: Master

File

Achieving differential privacy in secure multiparty computation

Author: Thissen, K., 15 May 2019

Supervisor: Schoenmakers, B. (Supervisor 1), Koster, R. (. (External person) (External coach) & van Liesdonk, P. (External coach)

Student thesis: Master

File

A communication facility between UNIX and the EMPS

Author: Wayers, B., 31 Oct 1995

Supervisor: van der Stok, P. (Supervisor 1), Luit, E. (Supervisor 2) & de Rijk, A. (External person) (Supervisor 2)

Student thesis: Master

A community based expert system

Author: van de Laar, J., 28 Feb 2009

Supervisor: Voorhoeve, M. (Supervisor 1)

Student thesis: Master

File

A comparative study for process mining approaches in a real-life environment

Author: Hoogendoorn, G., 20 Feb 2017

Supervisor: Reijers, H. (Supervisor 1), Eshuis, H. (Supervisor 2), Gonzalez Lopez de Murillas, E. (Supervisor 2) & Vos, P. (External person) (External coach)

Student thesis: Master

File

A comparative study of optical depth sensors for user interaction

Author: Belgraver Thissen, W., 31 Aug 2011

Supervisor: Broers, H. A. (External person) (Supervisor 1) & Corporaal, H. (Supervisor 2)

Student thesis: Master

File
File