Faculteit Wiskunde & Informatica

Scripties/masterproeven

(Ab)using Bitcoin for anti-censorship tool

Auteur: Okupski, K., 31 dec 2014

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

Scriptie/masterproef: Master

Bestand

(Data) refinement calculus met stack voorbeelden

Auteur: Andree, H., 31 okt 1990

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

Scriptie/masterproef: Master

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

Auteur: Yeh, M., 29 okt 2018

Begeleider: den Hartog, J. (Afstudeerdocent 1), Constante, E. (Externe persoon) (Externe coach) & Dagrada, M. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

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

Auteur: van Dommelen, R., 31 aug 1992

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

Scriptie/masterproef: Master

2-D flow evolution in bounded domains

Auteur: Chau, C. D., 31 jan 2005

Begeleider: Molenaar, J. (Afstudeerdocent 1) & Dijkhuis, G. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

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

Auteur: van der Plas, G., 31 mei 2016

Begeleider: Haverkort, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

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

Auteur: Roa Villescas, M., 31 aug 2013

Begeleider: de Haan, G. (Afstudeerdocent 1) & van Heesch, F. (Externe coach)

Scriptie/masterproef: Master

Bestand

3D fisheye treemaps

Auteur: Schoonen, J., 31 jul 1997

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

Scriptie/masterproef: Master

3D graphics rendering for multiview displays

Auteur: Compen, J., 30 apr 2005

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

Scriptie/masterproef: Master

Bestand

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

Auteur: Rocque, M., 31 aug 2011

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

Scriptie/masterproef: Master

Bestand

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

Auteur: Koenraadt, A., 30 apr 2013

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

Scriptie/masterproef: Master

Bestand

3D reconstruction of streamer discharges using mathematical algorithms: based on predictive back-end reconstruction, minimum spanning trees and sub-Riemannian geometry

Auteur: de Veld, F., 4 jul 2019

Begeleider: Dijcks, S. (Afstudeerdocent 1), Nijdam, S. (Afstudeerdocent 2), Bekkers, E. (Afstudeerdocent 2) & Florack, L. (Afstudeerdocent 2)

Scriptie/masterproef: Bachelor

Bestand

3D skin body reconstruction

Auteur: Zerva, C., 31 aug 2015

Begeleider: de Haan, G. (Afstudeerdocent 1), Ciuhu, C. (Externe persoon) (Externe coach) & Zeitouny, M. G. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

3D template matching on the GPU

Auteur: Streur, K., 31 dec 2008

Begeleider: van Liere, R. (Afstudeerdocent 1) & Schoenmakers, R. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

3D-TV signal conversion algorithms and embedded architectures

Auteur: de Groot, M., 31 aug 2009

Begeleider: de With, P. (Afstudeerdocent 1), Bellers, E. B. (Externe persoon) (Afstudeerdocent 2) & Karge, R. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

60 GHz wireless power transfer - system analysis and Doherty power amplifier design: 4-stage Doherty power amplifier

Auteur: Bronts, L., 31 aug 2014

Begeleider: Baltus, P. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

6LoWPAN: IPv6 for battery-less building networks

Auteur: Abbasi, N., 31 aug 2009

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

Scriptie/masterproef: Master

Bestand

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

Auteur: Klerks, P., 26 feb 2018

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

Scriptie/masterproef: Master

Bestand

A 3D modeller for implicit surface skeletons

Auteur: Mollet, D., 31 dec 1997

Begeleider: van Overveld, C. (Afstudeerdocent 1), Bruijns, J. (Externe persoon) (Afstudeerdocent 2) & van de Wetering, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

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

Auteur: Vlamings, H., 31 okt 2010

Begeleider: Petkovic, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

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

Auteur: van den Elzen, J., 31 aug 1986

Begeleider: Wessels, J. (Afstudeerdocent 1), van Hee, K. (Afstudeerdocent 2) & Venema, W. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

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

Auteur: Verdiesen, B., 30 nov 1984

Begeleider: Benders, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

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

Auteur: Reynaerts, J., 31 aug 1986

Begeleider: van Hee, K. (Afstudeerdocent 1), Wessels, J. (Afstudeerdocent 2) & Venema, W. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

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

Auteur: van der Aa, N., 30 apr 2003

Begeleider: ter Morsche, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A BDD based prover for mCRL2

Auteur: Engelen, L., 30 nov 2006

Begeleider: Groote, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A benchmark set for process discovery algorithms

Auteur: van Arendonk, R., 30 apr 2011

Begeleider: van Dongen, B. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A better interface for automated program transformation

Auteur: Hemel, T., 31 okt 2000

Begeleider: Backhouse, R. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A branching process on a hypercubic lattice

Auteur: Beekenkamp, T., 2013

Begeleider: van der Hofstad, R. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

Abstracting real-valued parameters in parameterised boolean equation systems

Auteur: Laveaux, M., 26 feb 2018

Begeleider: Willemse, T. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Abstract interpretation of concurrent logic programs for analysis of variable sharing

Auteur: Dams, D., 14 dec 1994

Begeleider: Gerth, R. T. (Externe persoon) (Afstudeerdocent 1) & Nederpelt Lazarom, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A calculus for combinational circuits consisting of switches

Auteur: Körver, W., 31 aug 1987

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

Scriptie/masterproef: Master

Accelerated Wafer Z-map for layout independent leveling

Auteur: Staals, R., 31 jan 2016

Begeleider: Koren, B. (Afstudeerdocent 1), Maubach, J. (Afstudeerdocent 2), Voncken, M. (Externe persoon) (Externe coach) & Torumba, D. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

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

Auteur: Bhatnagar, A., 31 aug 2015

Begeleider: Luttik, S. (Afstudeerdocent 1), Öberg, J. (Externe persoon) (Externe coach), Robino, F. (Externe persoon) (Externe coach), Pieters, R. (Externe persoon) (Externe coach), Pendari, A. (Externe persoon) (Externe coach) & Sanders, I. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

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

Auteur: Gerritsen, N., 31 okt 2012

Begeleider: Haverkort, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

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

Auteur: Sathyanarayana Prasad, A., 31 aug 2014

Begeleider: van Berkel, C. (Afstudeerdocent 1), van Kampen, D. (Externe persoon) (Externe coach), Kloosterhuis, W. (Externe coach) & Goossens, K. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

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

Auteur: van Aart, E., 30 jun 2010

Begeleider: Jalba, A. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Acceleration techniques for extraction within semi-automatic design optimization

Auteur: Egwu, N., 31 aug 2010

Begeleider: Schilders, W. (Afstudeerdocent 1) & Rommes, J. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Accell/IQ, invoering van een eindgebruikerstool binnen Hoogovens buizen

Auteur: van Run, P., 30 jun 1992

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

Scriptie/masterproef: Master

Acceptor algoritmen voor reguliere talen

Auteur: Geelen, J., 31 jan 1988

Begeleider: Hemerik, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Acceptors of regular sets

Auteur: van de Wetering, H., 31 aug 1985

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

Scriptie/masterproef: Master

Access policy enforcement techniques to protect data shared across domains

Auteur: Pletea, D., 31 aug 2014

Begeleider: Petkovic, M. (Afstudeerdocent 1), Koster, P. (Externe persoon) (Afstudeerdocent 2), Sedghi, S. (Externe persoon) (Afstudeerdocent 2) & Mak, R. (Externe coach)

Scriptie/masterproef: Master

Bestand

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

Auteur: Darwish, K., 29 mei 2017

Begeleider: Zannone, N. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Accurate and efficient continuous collision detection

Auteur: Buddingh', W., 30 apr 2014

Begeleider: Jalba, A. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

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

Auteur: Garayoa Guajardo, J., 30 nov 2011

Begeleider: Bergveld, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

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

Auteur: Oostendorp, M., 31 aug 2018

Begeleider: Cuypers, F. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Achieving differential privacy in secure multiparty computation

Auteur: Thissen, K., 15 mei 2019

Begeleider: Schoenmakers, B. (Afstudeerdocent 1), Koster, R. (. (Externe persoon) (Externe coach) & van Liesdonk, P. (Externe coach)

Scriptie/masterproef: Master

Bestand

A communication facility between UNIX and the EMPS

Auteur: Wayers, B., 31 okt 1995

Begeleider: van der Stok, P. (Afstudeerdocent 1), Luit, E. (Afstudeerdocent 2) & de Rijk, A. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A community based expert system

Auteur: van de Laar, J., 28 feb 2009

Begeleider: Voorhoeve, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

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

Auteur: Hoogendoorn, G., 20 feb 2017

Begeleider: Reijers, H. (Afstudeerdocent 1), Eshuis, H. (Afstudeerdocent 2), Gonzalez Lopez de Murillas, E. (Afstudeerdocent 2) & Vos, P. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A comparative study of optical depth sensors for user interaction

Auteur: Belgraver Thissen, W., 31 aug 2011

Begeleider: Broers, H. A. (Externe persoon) (Afstudeerdocent 1) & Corporaal, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand