Mathematics and Computer Science

Search results

• (Ab)using Bitcoin for anti-censorship tool

  Author: Okupski, K. S., 31 Dec 2014

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

  Student thesis: Master

  File

• (Data) refinement calculus met stack voorbeelden

  Author: Andree, H. M. A., 31 Oct 1990

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

  Student thesis: Master

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

  Author: Yeh, M. 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

  File

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

  Author: van Dommelen, R. W., 31 Aug 1992

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

  Student thesis: Master

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

  Author: Janicka-Verpaalen, A., Jul 2020

  Supervisor: Vlasiou, M. (Supervisor 1)

  Student thesis: Bachelor

  File

• 2-D flow evolution in bounded domains

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

  Supervisor: Molenaar, J. (Supervisor 1) & Dijkhuis, G. C. (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. A. J., 31 May 2016

  Supervisor: Haverkort, H. J. (Supervisor 1)

  Student thesis: Master

  File

• 3D Face Reconstruction Using Deep Learning

  Author: Jawahar, P., 20 Jan 2020

  Supervisor: Medeiros de Carvalho, R. (Supervisor 1), Gallucci, A. (Supervisor 2) & Vanschoren, J. (Supervisor 2)

  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. H. (External coach)

  Student thesis: Master

  File

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

  Author: Sanders, S. J. C., 25 Nov 2019

  Supervisor: van Liere, R. (Supervisor 1) & Jalba, A. C. (Supervisor 2)

  Student thesis: Master

  File

• 3D fisheye treemaps

  Author: Schoonen, J. W., 31 Jul 1997

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

  Student thesis: Master

• 3D graphics rendering for multiview displays

  Author: Compen, J. H., 30 Apr 2005

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

  Student thesis: Master

  File

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

  Author: Rocque, M. J., 31 Aug 2011

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

  Student thesis: Master

  File

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

  Author: Koenraadt, A. E. M., 30 Apr 2013

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

  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

  Author: de Veld, F. T., 4 Jul 2019

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

  Student thesis: Bachelor

  File

• 3D skin body reconstruction

  Author: Zerva, C., 31 Aug 2015

  Supervisor: de Haan, G. (Supervisor 1), Ciuhu-Pijlman, 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. J. G., 31 Aug 2009

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

  Student thesis: Master

  File

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

  Author: Bronts, L. Q., 31 Aug 2014

  Supervisor: Baltus, P. G. M. (Supervisor 1)

  Student thesis: Master

  File

• 6LoWPAN: IPv6 for battery-less building networks

  Author: Abbasi, N. A., 31 Aug 2009

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

  Student thesis: Master

  File

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

  Author: Klerks, P. H. A., 26 Feb 2018

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

  Student thesis: Master

  File

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

  Author: Wisse, E. M. C., 17 Oct 2022

  Supervisor: Sciancalepore, S. (Supervisor 1)

  Student thesis: Master

  File

• A 3D modeller for implicit surface skeletons

  Author: Mollet, D. J. A. M., 31 Dec 1997

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

  Student thesis: Master

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

  Author: Vlamings, H. G. M., 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. M., 31 Aug 1986

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

  Student thesis: Master

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

  Author: Verdiesen, B. P. E. M., 30 Nov 1984

  Supervisor: Benders, J. F. (Supervisor 1)

  Student thesis: Master

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

  Author: Reynaerts, J. W. F., 31 Aug 1986

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

  Student thesis: Master

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

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

  Supervisor: ter Morsche, H. G. (Supervisor 1)

  Student thesis: Master

  File

• A BDD based prover for mCRL2

  Author: Engelen, L. J. P., 30 Nov 2006

  Supervisor: Groote, J. F. (Supervisor 1)

  Student thesis: Master

  File

• A benchmark set for process discovery algorithms

  Author: van Arendonk, R. P. J. M., 30 Apr 2011

  Supervisor: van Dongen, B. F. (Supervisor 1)

  Student thesis: Master

  File

• A better interface for automated program transformation

  Author: Hemel, T. C., 31 Oct 2000

  Supervisor: Backhouse, R. C. (Supervisor 1)

  Student thesis: Master

  File

• A branching process on a hypercubic lattice

  Author: Beekenkamp, T. S., 2013

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

  Student thesis: Bachelor

  File

• A brief exploration into divergent series in probability theory

  Author: van Wijk, W. J., 2020

  Supervisor: Sanders, J. (Supervisor 1)

  Student thesis: Bachelor

  File

• Abstracting real-valued parameters in parameterised boolean equation systems

  Author: Laveaux, M., 26 Feb 2018

  Supervisor: Willemse, T. A. C. (Supervisor 1)

  Student thesis: Master

  File

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

  Author: Dams, D. R., 14 Dec 1994

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

  Student thesis: Master

• Abstraction raising in MLIR

  Author: Komisarczyk, K., 18 Mar 2021

  Supervisor: Jordans, R. (Supervisor 1) & Chelini, L. (Supervisor 2)

  Student thesis: Master

  File

• A calculus for combinational circuits consisting of switches

  Author: Körver, W. H. F. J., 31 Aug 1987

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

  Student thesis: Master

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

  Author: Tordai, A., 27 Sept 2021

  Supervisor: Takala, T. (External person) (External coach)

  Student thesis: Master

  File

• Accelerated deconvolution for radio-astronomical imaging using artificial intelligence

  Author: Fijneman, G. P. A., 13 Feb 2023

  Supervisor: Jordans, R. (Supervisor 1), Bondarau, E. (Supervisor 2), Veenboer, B. (External person) (External coach) & Corda, S. (External coach)

  Student thesis: Master

  File

• Accelerated Wafer Z-map for layout independent leveling

  Author: Staals, R. J. M., 31 Jan 2016

  Supervisor: Koren, B. (Supervisor 1), Maubach, J. M. L. (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. P. (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. L. A. M., 31 Oct 2012

  Supervisor: Haverkort, H. J. (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. H. (Supervisor 1), van Kampen, D. (External person) (External coach), Kloosterhuis, W. E. H. (External coach) & Goossens, K. G. W. (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. C. (Supervisor 1)

  Student thesis: Master

  File

• Acceleration techniques for extraction within semi-automatic design optimization

  Author: Egwu, N., 31 Aug 2010

  Supervisor: Schilders, W. H. A. (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. M. E. (Supervisor 1) & Nuijten, W. P. M. (Supervisor 2)

  Student thesis: Master

• Acceptor algoritmen voor reguliere talen

  Author: Geelen, J. F. M. E., 31 Jan 1988

  Supervisor: Hemerik, C. (Supervisor 1)

  Student thesis: Master

• Acceptors of regular sets

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

  Supervisor: Rem, M. (Supervisor 1), Schols, H. M. J. L. (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. H. (External coach)

  Student thesis: Master

  File

• Accountability and Access Control using Anonymous Credentials

  Author: Godtschalk, L. J. D., 14 Dec 2022

  Supervisor: Schoenmakers, L. A. M. (Supervisor 1)

  Student thesis: Master

  File