Student theses
(Ab)using Bitcoin for anti-censorship tool
Author: Okupski, K., 31 Dec 2014Supervisor: Skoric, B. (Supervisor 1), de Weger, B. (Supervisor 2) & Serebrenik, A. (Supervisor 2)
Student thesis: Master
(Data) refinement calculus met stack voorbeelden
Author: Andree, H., 31 Oct 1990Supervisor: 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 2018Supervisor: 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 1992Supervisor: Hemerik, C. (Supervisor 1) & Poll, E. (Supervisor 2)
Student thesis: Master
2-D flow evolution in bounded domains
Author: Chau, C. D., 31 Jan 2005Supervisor: Molenaar, J. (Supervisor 1) & Dijkhuis, G. (External person) (Supervisor 2)
Student thesis: Master
3D cache-oblivious multi-scale traversals of meshes using 8-reptile polyhedra
Author: van der Plas, G., 31 May 2016Supervisor: Haverkort, H. (Supervisor 1)
Student thesis: Master
3D face reconstruction using structured light on a hand-held device
Author: Roa Villescas, M., 31 Aug 2013Supervisor: de Haan, G. (Supervisor 1) & van Heesch, F. (External coach)
Student thesis: Master
3D fingerprint detection in ancient museum sculptures from CT data
Author: Sanders, S., 25 Nov 2019Supervisor: van Liere, R. (Supervisor 1) & Jalba, A. C. (Supervisor 2)
Student thesis: Master
3D fisheye treemaps
Author: Schoonen, J., 31 Jul 1997Supervisor: 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 2005Supervisor: Kok, A. (Supervisor 1) & Barenbrug, B. (Supervisor 2)
Student thesis: Master
3D map creating using the structured light technique for obstacle avoidance
Author: Rocque, M., 31 Aug 2011Supervisor: de Haan, G. (Supervisor 1) & van Heesch, F. (Supervisor 2)
Student thesis: Master
3D point cloud reconstruction from photographs using a spring embedder algorithm
Author: Koenraadt, A., 30 Apr 2013Supervisor: Westenberg, M. (Supervisor 1) & Hardy, D. (Supervisor 2)
Student thesis: Master
3D reconstruction of streamer discharges using mathematical algorithms: based on predictive back-end reconstruction, minimum spanning trees and sub-Riemannian geometry
Author: de Veld, F., 4 Jul 2019Supervisor: Dijcks, S. (Supervisor 1), Nijdam, S. (Supervisor 2), Bekkers, E. (Supervisor 2) & Florack, L. (Supervisor 2)
Student thesis: Bachelor
3D skin body reconstruction
Author: Zerva, C., 31 Aug 2015Supervisor: de Haan, G. (Supervisor 1), Ciuhu, C. (External person) (External coach) & Zeitouny, M. G. (External person) (External coach)
Student thesis: Master
3D template matching on the GPU
Author: Streur, K., 31 Dec 2008Supervisor: van Liere, R. (Supervisor 1) & Schoenmakers, R. (External person) (Supervisor 2)
Student thesis: Master
3D-TV signal conversion algorithms and embedded architectures
Author: de Groot, M., 31 Aug 2009Supervisor: de With, P. (Supervisor 1), Bellers, E. B. (External person) (Supervisor 2) & Karge, R. (External person) (Supervisor 2)
Student thesis: Master
60 GHz wireless power transfer - system analysis and Doherty power amplifier design: 4-stage Doherty power amplifier
Author: Bronts, L., 31 Aug 2014Supervisor: Baltus, P. (Supervisor 1)
Student thesis: Master
6LoWPAN: IPv6 for battery-less building networks
Author: Abbasi, N., 31 Aug 2009Supervisor: Lukkien, J. (Supervisor 1), van der Stok, P. (Supervisor 2), Geilen, M. (Supervisor 2) & Verhoeven, P. (Supervisor 2)
Student thesis: Master
A (max, +) based trade-off exploration between storage and throughput for scenario-aware dataflow
Author: Klerks, P., 26 Feb 2018Supervisor: Geilen, M. (Supervisor 1) & van Kampenhout, J. (Supervisor 2)
Student thesis: Master
A 3D modeller for implicit surface skeletons
Author: Mollet, D., 31 Dec 1997Supervisor: 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 2010Supervisor: Petkovic, M. (Supervisor 1)
Student thesis: Master
Aanzet tot de ontwikkeling van een informatiesysteem voor het werken met Markov-modellen
Author: van den Elzen, J., 31 Aug 1986Supervisor: 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 1984Supervisor: 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 1986Supervisor: 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 2003Supervisor: ter Morsche, H. (Supervisor 1)
Student thesis: Master
A BDD based prover for mCRL2
Author: Engelen, L., 30 Nov 2006Supervisor: Groote, J. (Supervisor 1)
Student thesis: Master
A benchmark set for process discovery algorithms
Author: van Arendonk, R., 30 Apr 2011Supervisor: van Dongen, B. (Supervisor 1)
Student thesis: Master
A better interface for automated program transformation
Author: Hemel, T., 31 Oct 2000Supervisor: Backhouse, R. (Supervisor 1)
Student thesis: Master
A branching process on a hypercubic lattice
Author: Beekenkamp, T., 2013Supervisor: van der Hofstad, R. (Supervisor 1)
Student thesis: Bachelor
Abstracting real-valued parameters in parameterised boolean equation systems
Author: Laveaux, M., 26 Feb 2018Supervisor: Willemse, T. (Supervisor 1)
Student thesis: Master
Abstract interpretation of concurrent logic programs for analysis of variable sharing
Author: Dams, D., 14 Dec 1994Supervisor: 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 1987Supervisor: Rem, M. (Supervisor 1) & Mak, R. (Supervisor 2)
Student thesis: Master
Accelerated Wafer Z-map for layout independent leveling
Author: Staals, R., 31 Jan 2016Supervisor: Koren, B. (Supervisor 1), Maubach, J. (Supervisor 2), Voncken, M. (External person) (External coach) & Torumba, D. (External person) (External coach)
Student thesis: Master
Accelerating a movie recommender system using VirtualCL on a heterogeneous GPU cluster: big data analysis using distributed accelerators
Author: Bhatnagar, A., 31 Aug 2015Supervisor: 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
Accelerating I/O efficient graph algorithms on grid graphs using the GPU
Author: Gerritsen, N., 31 Oct 2012Supervisor: Haverkort, H. (Supervisor 1)
Student thesis: Master
Accelerating SIFT feature extraction with a vector DSP: a feasibility study
Author: Sathyanarayana Prasad, A., 31 Aug 2014Supervisor: van Berkel, C. (Supervisor 1), van Kampen, D. (External person) (External coach), Kloosterhuis, W. (External coach) & Goossens, K. (Supervisor 2)
Student thesis: Master
Acceleration of a geodesic fiber-tracking algorithm for diffusion tensor imaging using CUDA
Author: van Aart, E., 30 Jun 2010Supervisor: Jalba, A. (Supervisor 1)
Student thesis: Master
Acceleration techniques for extraction within semi-automatic design optimization
Author: Egwu, N., 31 Aug 2010Supervisor: Schilders, W. (Supervisor 1) & Rommes, J. (External person) (Supervisor 2)
Student thesis: Master
Accell/IQ, invoering van een eindgebruikerstool binnen Hoogovens buizen
Author: van Run, P., 30 Jun 1992Supervisor: De Bra, P. (Supervisor 1) & Nuijten, W. (Supervisor 2)
Student thesis: Master
Acceptor algoritmen voor reguliere talen
Author: Geelen, J., 31 Jan 1988Supervisor: Hemerik, C. (Supervisor 1)
Student thesis: Master
Acceptors of regular sets
Author: van de Wetering, H., 31 Aug 1985Supervisor: 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 2014Supervisor: Petkovic, M. (Supervisor 1), Koster, P. (External person) (Supervisor 2), Sedghi, S. (External person) (Supervisor 2) & Mak, R. (External coach)
Student thesis: Master
Accurate, automated and flexible privacy policy conflicts resolution in multiparty systems
Author: Darwish, K., 29 May 2017Supervisor: Zannone, N. (Supervisor 1)
Student thesis: Master
Accurate and efficient continuous collision detection
Author: Buddingh', W., 30 Apr 2014Supervisor: Jalba, A. (Supervisor 1)
Student thesis: Master
Accurate state-of-charge determination for lithium-iron phosphate battery packs
Author: Garayoa Guajardo, J., 30 Nov 2011Supervisor: Bergveld, H. (Supervisor 1)
Student thesis: Master
A characterization of the special linear and unitary Lie algebra via its extremal geometry
Author: Oostendorp, M., 31 Aug 2018Supervisor: Cuypers, F. (Supervisor 1)
Student thesis: Master
Achieving differential privacy in secure multiparty computation
Author: Thissen, K., 15 May 2019Supervisor: Schoenmakers, B. (Supervisor 1), Koster, R. (. (External person) (External coach) & van Liesdonk, P. (External coach)
Student thesis: Master
A communication facility between UNIX and the EMPS
Author: Wayers, B., 31 Oct 1995Supervisor: 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 2009Supervisor: Voorhoeve, M. (Supervisor 1)
Student thesis: Master
A comparative study for process mining approaches in a real-life environment
Author: Hoogendoorn, G., 20 Feb 2017Supervisor: Reijers, H. (Supervisor 1), Eshuis, H. (Supervisor 2), Gonzalez Lopez de Murillas, E. (Supervisor 2) & Vos, P. (External person) (External coach)
Student thesis: Master