Department of Mathematics and Computer Science

(Ab)using Bitcoin for anti-censorship tool

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

Student thesis: Master

(Data) refinement calculus met stack voorbeelden

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

Student thesis: Master

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

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

Student thesis: Master

2-D flow evolution in bounded domains

Supervisor: 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

Supervisor: Haverkort, H. (Supervisor 1)

Student thesis: Master

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

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

Student thesis: Master

3D fisheye treemaps

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

Student thesis: Master

3D graphics rendering for multiview displays

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

Student thesis: Master

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

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

Student thesis: Master

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

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

Student thesis: Master

3D skin body reconstruction

Supervisor: 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

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

Student thesis: Master

3D-TV signal conversion algorithms and embedded architectures

Supervisor: de With, P. (Supervisor 1), Bellers, E. (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

Supervisor: Baltus, P. (Supervisor 1)

Student thesis: Master

6LoWPAN: IPv6 for battery-less building networks

Supervisor: 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

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

Student thesis: Master

A 3D modeller for implicit surface skeletons

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

Supervisor: Petkovic, M. (Supervisor 1)

Student thesis: Master

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

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

Supervisor: Benders, J. (Supervisor 1)

Student thesis: Master

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

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

Supervisor: ter Morsche, H. (Supervisor 1)

Student thesis: Master

A BDD based prover for mCRL2

Supervisor: Groote, J. (Supervisor 1)

Student thesis: Master

A benchmark set for process discovery algorithms

Supervisor: van Dongen, B. (Supervisor 1)

Student thesis: Master

A better interface for automated program transformation

Supervisor: Backhouse, R. (Supervisor 1)

Student thesis: Master

A branching process on a hypercubic lattice

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

Student thesis: Bachelor

Abstracting real-valued parameters in parameterised boolean equation systems

Supervisor: Willemse, T. (Supervisor 1)

Student thesis: Master

Abstract interpretation of concurrent logic programs for analysis of variable sharing

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

Student thesis: Master

A calculus for combinational circuits consisting of switches

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

Student thesis: Master

Accelerated Wafer Z-map for layout independent leveling

Supervisor: 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

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

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

Supervisor: Haverkort, H. (Supervisor 1)

Student thesis: Master

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

Supervisor: 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

Supervisor: Jalba, A. (Supervisor 1)

Student thesis: Master

Acceleration techniques for extraction within semi-automatic design optimization

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

Student thesis: Master

Accell/IQ, invoering van een eindgebruikerstool binnen Hoogovens buizen

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

Student thesis: Master

Acceptor algoritmen voor reguliere talen

Supervisor: Hemerik, C. (Supervisor 1)

Student thesis: Master

Acceptors of regular sets

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

Supervisor: 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

Supervisor: Zannone, N. (Supervisor 1)

Student thesis: Master

Accurate and efficient continuous collision detection

Supervisor: Jalba, A. (Supervisor 1)

Student thesis: Master

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

Supervisor: Bergveld, H. (Supervisor 1)

Student thesis: Master

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

Supervisor: Cuypers, F. (Supervisor 1)

Student thesis: Master

A communication facility between UNIX and the EMPS

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

Supervisor: Voorhoeve, M. (Supervisor 1)

Student thesis: Master

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

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

A comparative study of optical depth sensors for user interaction

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

Student thesis: Master

A comparison of a macroscopic and microscopic model in statistical mechanics

Student thesis: Bachelor

A comparison of Android Native App Architecture: MVC, MVP and MVVM

Supervisor: van Dongen, B. (Supervisor 1) & Saikonnen, H. (External person) (External coach)

Student thesis: Master

A comparison of batch production on a flow line and job shop assembly in a semiconductor back-end

Supervisor: Adan, I. (Supervisor 1), Boon, M. (Supervisor 2) & Stokkermans, J. (External person) (External coach)

Student thesis: Master