Faculteit Wiskunde & Informatica

Scripties/masterproeven

Approximating the optimal policy for structural replacement of a machine with Brownian degradation increments

Auteur: Razenberg, M. C., 16 jul 2019

Begeleider: Kapodistria, S. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

Approximation of inverses of BTTB matrices: for preconditioning applications

Auteur: Schneider, F., 30 jan 2017

Begeleider: Hochstenbach, M. (Afstudeerdocent 1), Pisarenco, M. (Externe coach) & Haasdonk, B. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Approximation of preconditions for a programming language with backtracking

Auteur: Riemens, D., 30 apr 1994

Begeleider: Kruseman Aretz, F. (Afstudeerdocent 1) & Feijs, L. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Approximation of the optimal inventory replenishment policy for multi-items used in a warehouse

Auteur: Haverhals, J., 24 jun 2019

Begeleider: Resing, J. (Afstudeerdocent 1), Bierbooms, J. (Externe coach) & Hoeven, M. A. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A preprocessor for Dedos

Auteur: Paland, H., 31 aug 1991

Begeleider: Hammer, D. (Afstudeerdocent 1), Lemmens, W. (Afstudeerdocent 2) & Roosmalen, van, O. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A probabilistic analysis of local search

Auteur: Vossen, T., 28 feb 1995

Begeleider: Aarts, E. (Afstudeerdocent 1), Verhoeven, M. (Afstudeerdocent 2) & ten Eikelder, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A process based approach for website analysis and improvement

Auteur: Bijsmans, R., 30 nov 2011

Begeleider: van Dongen, B. (Afstudeerdocent 1) & Vanderfeesten, I. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A program for the vehicle routing problem based on a travelling salesman approach

Auteur: Willems, R., 31 aug 1977

Begeleider: Benders, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A Prolog interpreter for a dss-machine

Auteur: Sprenkels, L., 31 mei 1988

Begeleider: van Hee, K. (Afstudeerdocent 1) & Lapinski, A. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A proof assistant based on terms with binding structures

Auteur: Smeijers, F., 31 aug 2009

Begeleider: Hemerik, C. (Afstudeerdocent 1) & Franssen, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A proof system for object oriented programming using separation logic

Auteur: Middelkoop, R., 30 nov 2003

Begeleider: Huizing, C. (Afstudeerdocent 1) & Kuiper, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A prototype parallel particle tracking blood flow simulation system

Auteur: Sijpkes, P., 31 aug 2006

Begeleider: Hilbers, P. (Afstudeerdocent 1), van Wijk, J. (Afstudeerdocent 2), Mak, R. (Afstudeerdocent 2), van de Vosse, F. (Afstudeerdocent 2) & Kuijpers, N. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A purely force-directed algorithm for drawing curved metro maps

Auteur: Miermans, M., 30 jun 2014

Begeleider: Haverkort, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A queueing system with delayed arrival process

Auteur: van den Dobbelsteen, R., 30 nov 2014

Begeleider: Resing, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A queueing system with priority scheduling

Auteur: Keuning, H., 31 aug 1975

Begeleider: Wessels, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A queue with bounded response time and maximum storage utilization

Auteur: Janse, W. J., 31 aug 1988

Begeleider: Rem, M. (Afstudeerdocent 1), Kaldewaij, A. (Afstudeerdocent 2) & Zwaan, G. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A ray tracing approach to computational electromagnetics for reverberation chambers

Auteur: Nauwelaerts, F., 28 feb 2009

Begeleider: Aerts, A. (Afstudeerdocent 1) & Van Troyen, D. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Architectural pattern recovery: a case study

Auteur: Kersemakers, R., 31 mrt 2005

Begeleider: Somers, L. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Architecture reconstruction of industrial object-oriented software: a case study

Auteur: Wierda, A., 31 aug 2005

Begeleider: Somers, L. (Afstudeerdocent 1) & Dortmans, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Architecture variability and multi-criteria optimization

Auteur: Zhao, J., 31 aug 2015

Begeleider: Lukkien, J. (Afstudeerdocent 1), Theelen, B. (Externe coach), Opheij, M. (Externe persoon) (Externe coach) & Dintzner, N. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Architext : a machine description language for a simulator generator

Auteur: van Oort, D., 30 jun 2002

Begeleider: Hemerik, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A readiness self-assessment model for low-code development enabled DevOps

Auteur: van der Burgh, D., 27 mei 2019

Begeleider: Ozkan, B. (Afstudeerdocent 1), Cleophas, L. (Afstudeerdocent 2), Beelen, J. J. (Externe persoon) (Externe coach) & Lelivelt, R. (Externe coach)

Scriptie/masterproef: Master

A realisation of a concurrency control algorithm for DEDOS

Auteur: Hoogendijk, R., 30 apr 1994

Begeleider: Hammer, D. (Afstudeerdocent 1), van der Stok, P. (Afstudeerdocent 2) & Aerts, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A real-life pickup and delivery problem with multiple depots : from model to solution strategy

Auteur: van de Laar, L., 31 dec 1997

Begeleider: Aarts, E. (Afstudeerdocent 1) & Swinkels, P. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A real-time SNR scalable transcoder for MPEG-2 video streams

Auteur: Brouwers, C., 30 jun 2006

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

Scriptie/masterproef: Master

Bestand

A real-time SNR scalable transcoder for MPEG-2 video streams

Auteur: Al-khrayshah, M., 31 aug 2009

Begeleider: Lukkien, J. (Afstudeerdocent 1), van der Stok, P. (Afstudeerdocent 2) & Mak, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Area minimization in multiplexed processing units by retiming

Auteur: Heijnen, E., 31 aug 1992

Begeleider: Aarts, E. (Afstudeerdocent 1) & van der Werf, A. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Area reservation in an iron foundry

Auteur: Luijkx, P., 31 aug 1995

Begeleider: Aarts, E. (Afstudeerdocent 1) & Roos, N. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A recommendation report on Spare Time Product Development

Auteur: Pujar, H. & Halyal, S., 31 aug 2010

Begeleider: van den Brand, M. (Afstudeerdocent 1), Pai, M. (Externe persoon) (Externe coach), Ruster, M. (Externe persoon) (Externe coach) & Honnings, R. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A relational approach to static semantic checking

Auteur: van der Meer, A., 31 dec 2008

Begeleider: Arnoldus, B. (. (Afstudeerdocent 1), van Geldrop - van Eijk, H. (Afstudeerdocent 2), van den Brand, M. (Afstudeerdocent 2) & Kuiper, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A representation of Turing machines in terms of trace structures

Auteur: Verdonk, D., 29 feb 1984

Begeleider: Rem, M. (Afstudeerdocent 1), Peremans, W. (Afstudeerdocent 2), Udding, J. (Afstudeerdocent 2) & vd Snepscheut, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A research towards bridging the gap between Information System Architecture and Business Architecture based on architecture patterns

Auteur: Wang, H., 31 aug 2012

Begeleider: Trienekens, J. (Afstudeerdocent 1), Kusters, R. (Afstudeerdocent 2) & Somers, L. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Argument editor

Auteur: Verwer, K., 31 aug 2002

Begeleider: De Bra, P. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A RIDL-M-transducer

Auteur: van Gisbergen, A. & van Kessel, H., 30 sep 1988

Begeleider: Meersman, R. (Externe persoon) (Afstudeerdocent 1) & Remmen, F. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A robust matching algorithm for a bromelia sorting device

Auteur: Goossen, T., 31 aug 2005

Begeleider: Stoorvogel, A. (Afstudeerdocent 1) & Den Boer, M. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Array indexing in SuperVokel

Auteur: van Veldhoven, E., 31 aug 1997

Begeleider: Rem, M. (Afstudeerdocent 1), Schols, H. (Afstudeerdocent 2) & Huijgen, V. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Arrival processes at traffic intersections

Auteur: Vonken, H. M., 27 jan 2017

Begeleider: Boon, M. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

Artifact-centric log extraction and process discovery

Auteur: Lu, X., 30 sep 2013

Begeleider: Fahland, D. (Afstudeerdocent 1), Nagelkerke, M. (Externe coach), van de Wiel, D. (Externe persoon) (Externe coach) & Vanderfeesten, I. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Artifact-centric log extraction for cloud systems

Auteur: Santana Calvo, H., 27 nov 2017

Begeleider: Fahland, D. (Afstudeerdocent 1), Serebrenik, A. (Afstudeerdocent 2) & Fletcher, G. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Artifact-centric process analysis: process discovery in ERP systems

Auteur: Nooijen, E., 31 mei 2012

Begeleider: van Dongen, B. (Afstudeerdocent 1) & Fahland, D. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A run-time complexity adaptive channel estimator for CMMB

Auteur: Yu, Z., 31 aug 2011

Begeleider: van Berkel, C. (Afstudeerdocent 1) & Li, H. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A scalable approach to indoor localization using existing ZigBee reference devices

Auteur: Derks, H., 31 aug 2011

Begeleider: Basten, T. (Afstudeerdocent 1), Lukkien, J. (Afstudeerdocent 2) & Stalpers, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A scenario editor for design space exploration

Auteur: van Zuidam, S., 31 mrt 2010

Begeleider: Somers, L. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A second look at the asymptotic PTAS for square packing

Auteur: Ficker, A., 31 dec 2013

Begeleider: Bansal, N. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A second order numerical scheme for dynamic models of supply chains

Auteur: Chen, F., 31 aug 2008

Begeleider: Göttlich, S. (Externe persoon) (Afstudeerdocent 1) & Klar, A. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A secure bulletin board

Auteur: Peters, R., 30 jun 2005

Begeleider: Schoenmakers, L. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A secure communication model for the pacemaker: a balance between security mechanisms and emergency access

Auteur: Ibrahimi, S., 31 aug 2014

Begeleider: Zannone, N. (Afstudeerdocent 1), Ozcelebi, T. (Afstudeerdocent 2) & Slobbe, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A security evaluation and proof-of-concept relay attack on Dutch EMV contactless transactions

Auteur: van den Breekel, J., 30 nov 2014

Begeleider: Zannone, N. (Afstudeerdocent 1), Poll, E. (Externe coach), de Ruiter, J. (Externe coach), Hegt, S. (Externe coach) & Timmerman, T. (Externe coach)

Scriptie/masterproef: Master

Bestand

A simulation program for a hard real-time application

Auteur: Jansen, W., 31 okt 1992

Begeleider: Hammer, D. (Afstudeerdocent 1), Luit, E. (Afstudeerdocent 2) & Voorhoeve, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

ASIP : asymmetric simple inclusion process

Auteur: Suijkerbuijk, C., 2015

Begeleider: Boxma, O. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand