Mathematics and Computer Science

Search results

• (Ab)using Bitcoin for anti-censorship tool

  Okupski, K. S. (Author), Skoric, B. (Supervisor 1), de Weger, B. M. M. (Supervisor 2) & Serebrenik, A. (Supervisor 2), 31 Dec 2014

  Student thesis: Master

  File

• (Data) refinement calculus met stack voorbeelden

  Andree, H. M. A. (Author), Kaldewaij, A. (Supervisor 1) & van der Woude, J. C. S. P. (Supervisor 2), 31 Oct 1990

  Student thesis: Master

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

  Yeh, M. M. (Author), den Hartog, J. (Supervisor 1), Constante, E. (External coach) & Dagrada, M. (External coach), 29 Oct 2018

  Student thesis: Master

  File

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

  van Dommelen, R. W. (Author), Hemerik, C. (Supervisor 1) & Poll, E. (Supervisor 2), 31 Aug 1992

  Student thesis: Master

• 2-class Terror Queue model: Analysis and optimal assignment of agents

  Janicka-Verpaalen, A. (Author), Vlasiou, M. (Supervisor 1), Jul 2020

  Student thesis: Bachelor

  File

• 2-D flow evolution in bounded domains

  Chau, C. D. (Author), Molenaar, J. (Supervisor 1) & Dijkhuis, G. C. (Supervisor 2), 31 Jan 2005

  Student thesis: Master

  File

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

  van der Plas, G. A. J. (Author), Haverkort, H. J. (Supervisor 1), 31 May 2016

  Student thesis: Master

  File

• 3D Face Reconstruction Using Deep Learning

  Jawahar, P. (Author), Medeiros de Carvalho, R. (Supervisor 1), Gallucci, A. (Supervisor 2) & Vanschoren, J. (Supervisor 2), 20 Jan 2020

  Student thesis: Master

  File

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

  Roa Villescas, M. (Author), de Haan, G. (Supervisor 1) & van Heesch, F. H. (External coach), 31 Aug 2013

  Student thesis: Master

  File

• 3D fingerprint detection in ancient museum sculptures from CT data

  Sanders, S. J. C. (Author), van Liere, R. (Supervisor 1) & Jalba, A. C. (Supervisor 2), 25 Nov 2019

  Student thesis: Master

  File

• 3D fisheye treemaps

  Schoonen, J. W. (Author), van Overveld, C. W. A. M. (Supervisor 1), Janse, M. D. (Supervisor 2) & Peeters, E. A. J. (Supervisor 2), 31 Jul 1997

  Student thesis: Master

• 3D graphics rendering for multiview displays

  Compen, J. H. (Author), Kok, A. J. F. (Supervisor 1) & Barenbrug, B. G. B. (Supervisor 2), 30 Apr 2005

  Student thesis: Master

  File

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

  Rocque, M. J. (Author), de Haan, G. (Supervisor 1) & van Heesch, F. H. (Supervisor 2), 31 Aug 2011

  Student thesis: Master

  File

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

  Koenraadt, A. E. M. (Author), Westenberg, M. A. (Supervisor 1) & Hardy, D. W. (Supervisor 2), 30 Apr 2013

  Student thesis: Master

  File

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

  de Veld, F. T. (Author), Dijcks, S. (Supervisor 1), Nijdam, S. (Supervisor 2), Bekkers, E. (Supervisor 2) & Florack, L. (Supervisor 2), 4 Jul 2019

  Student thesis: Bachelor

  File

• 3D skin body reconstruction

  Zerva, C. (Author), de Haan, G. (Supervisor 1), Ciuhu, C. (External coach) & Zeitouny, M. G. (External coach), 31 Aug 2015

  Student thesis: Master

  File

• 3D template matching on the GPU

  Streur, K. (Author), van Liere, R. (Supervisor 1) & Schoenmakers, R. (Supervisor 2), 31 Dec 2008

  Student thesis: Master

  File

• 3D-TV signal conversion algorithms and embedded architectures

  de Groot, M. J. G. (Author), de With, P. H. N. (Supervisor 1), Bellers, E. B. (Supervisor 2) & Karge, R. (Supervisor 2), 31 Aug 2009

  Student thesis: Master

  File

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

  Bronts, L. Q. (Author), Baltus, P. G. M. (Supervisor 1), 31 Aug 2014

  Student thesis: Master

  File

• 6LoWPAN: IPv6 for battery-less building networks

  Abbasi, N. A. (Author), Lukkien, J. J. (Supervisor 1), van der Stok, P. D. V. (Supervisor 2), Geilen, M. C. W. (Supervisor 2) & Verhoeven, P. H. F. M. (Supervisor 2), 31 Aug 2009

  Student thesis: Master

  File

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

  Klerks, P. H. A. (Author), Geilen, M. C. W. (Supervisor 1) & van Kampenhout, J. R. (Supervisor 2), 26 Feb 2018

  Student thesis: Master

  File

• A2RID: An Anonymous RemoteID-compliant Group Signature Scheme for Commercial Drones

  Wisse, E. M. C. (Author), Sciancalepore, S. (Supervisor 1), 17 Oct 2022

  Student thesis: Master

  File

• A 3D modeller for implicit surface skeletons

  Mollet, D. J. A. M. (Author), van Overveld, C. W. A. M. (Supervisor 1), Bruijns, J. (Supervisor 2) & van de Wetering, H. M. M. (Supervisor 2), 31 Dec 1997

  Student thesis: Master

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

  Vlamings, H. G. M. (Author), Petkovic, M. (Supervisor 1), 31 Oct 2010

  Student thesis: Master

  File

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

  van den Elzen, J. M. (Author), Wessels, J. (Supervisor 1), van Hee, K. M. (Supervisor 2) & Venema, W. Z. (Supervisor 2), 31 Aug 1986

  Student thesis: Master

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

  Verdiesen, B. P. E. M. (Author), Benders, J. F. (Supervisor 1), 30 Nov 1984

  Student thesis: Master

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

  Reynaerts, J. W. F. (Author), van Hee, K. M. (Supervisor 1), Wessels, J. (Supervisor 2) & Venema, W. Z. (Supervisor 2), 31 Aug 1986

  Student thesis: Master

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

  van der Aa, N. P. (Author), ter Morsche, H. G. (Supervisor 1), 30 Apr 2003

  Student thesis: Master

  File

• A BDD based prover for mCRL2

  Engelen, L. J. P. (Author), Groote, J. F. (Supervisor 1), 30 Nov 2006

  Student thesis: Master

  File

• A benchmark set for process discovery algorithms

  van Arendonk, R. P. J. M. (Author), van Dongen, B. F. (Supervisor 1), 30 Apr 2011

  Student thesis: Master

  File

• A better interface for automated program transformation

  Hemel, T. C. (Author), Backhouse, R. C. (Supervisor 1), 31 Oct 2000

  Student thesis: Master

  File

• A branching process on a hypercubic lattice

  Beekenkamp, T. S. (Author), van der Hofstad, R. W. (Supervisor 1), 2013

  Student thesis: Bachelor

  File

• A brief exploration into divergent series in probability theory

  van Wijk, W. J. (Author), Sanders, J. (Supervisor 1), 2020

  Student thesis: Bachelor

  File

• A Brief Introduction to Traffic Modelling with a Closer Look at the Nagel-Schreckenberg Model

  de Ridder, M. (Author), Tijsseling, A. S. (Supervisor 1) & Skantzaris, G. (Supervisor 2), 28 Jul 2023

  Student thesis: Bachelor

  File

• Abstracting real-valued parameters in parameterised boolean equation systems

  Laveaux, M. (Author), Willemse, T. A. C. (Supervisor 1), 26 Feb 2018

  Student thesis: Master

  File

• Abstract interpretation of concurrent logic programs for analysis of variable sharing

  Dams, D. R. (Author), Gerth, R. T. (Supervisor 1) & Nederpelt Lazarom, R. P. (Supervisor 2), 14 Dec 1994

  Student thesis: Master

• Abstraction raising in MLIR

  Komisarczyk, K. (Author), Jordans, R. (Supervisor 1) & Chelini, L. (Supervisor 2), 18 Mar 2021

  Student thesis: Master

  File

• A calculus for combinational circuits consisting of switches

  Körver, W. H. F. J. (Author), Rem, M. (Supervisor 1) & Mak, R. H. (Supervisor 2), 31 Aug 1987

  Student thesis: Master

• A case study of reporting business KPIs of gaming data through static and interactive visualizations

  Tordai, A. (Author), Takala, T. (External coach), 27 Sept 2021

  Student thesis: Master

  File

• Accelerated deconvolution for radio-astronomical imaging using artificial intelligence

  Fijneman, G. P. A. (Author), Jordans, R. (Supervisor 1), Bondarau, E. (Supervisor 2), Veenboer, B. (External coach) & Corda, S. (External coach), 13 Feb 2023

  Student thesis: Master

  File

• Accelerated Wafer Z-map for layout independent leveling

  Staals, R. J. M. (Author), Koren, B. (Supervisor 1), Maubach, J. M. L. (Supervisor 2), Voncken, M. (External coach) & Torumba, D. (External coach), 31 Jan 2016

  Student thesis: Master

  File

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

  Bhatnagar, A. (Author), Luttik, S. P. (Supervisor 1), Öberg, J. (External coach), Robino, F. (External coach), Pieters, R. (External coach), Pendari, A. (External coach) & Sanders, I. (External coach), 31 Aug 2015

  Student thesis: Master

  File

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

  Gerritsen, N. L. A. M. (Author), Haverkort, H. J. (Supervisor 1), 31 Oct 2012

  Student thesis: Master

  File

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

  Sathyanarayana Prasad, A. (Author), van Berkel, C. H. (Supervisor 1), van Kampen, D. (External coach), Kloosterhuis, W. E. H. (External coach) & Goossens, K. G. W. (Supervisor 2), 31 Aug 2014

  Student thesis: Master

  File

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

  van Aart, E. (Author), Jalba, A. C. (Supervisor 1), 30 Jun 2010

  Student thesis: Master

  File

• Acceleration techniques for extraction within semi-automatic design optimization

  Egwu, N. (Author), Schilders, W. H. A. (Supervisor 1) & Rommes, J. (Supervisor 2), 31 Aug 2010

  Student thesis: Master

  File

• Accell/IQ, invoering van een eindgebruikerstool binnen Hoogovens buizen

  van Run, P. (Author), De Bra, P. M. E. (Supervisor 1) & Nuijten, W. P. M. (Supervisor 2), 30 Jun 1992

  Student thesis: Master

• Acceptor algoritmen voor reguliere talen

  Geelen, J. F. M. E. (Author), Hemerik, C. (Supervisor 1), 31 Jan 1988

  Student thesis: Master

• Acceptors of regular sets

  van de Wetering, H. M. M. (Author), Rem, M. (Supervisor 1), Schols, H. M. J. L. (Supervisor 2) & Zwaan, G. (Supervisor 2), 31 Aug 1985

  Student thesis: Master

• Access policy enforcement techniques to protect data shared across domains

  Pletea, D. (Author), Petkovic, M. (Supervisor 1), Koster, P. (Supervisor 2), Sedghi, S. (Supervisor 2) & Mak, R. H. (External coach), 31 Aug 2014

  Student thesis: Master

  File