Faculteit Wiskunde & Informatica

Scripties/masterproeven

A graphical user interface for the proof assistant yarrow

Auteur: Raijmakers, E., 31 aug 1999

Begeleider: Hemerik, C. (Afstudeerdocent 1) & Zwanenburg, J. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A graph viewer for DEDOS applications

Auteur: de Bruyn, G., 31 aug 1993

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

Scriptie/masterproef: Master

A grid refinement method for the glass tank model

Auteur: Buskens, J., 31 jul 1997

Begeleider: Mattheij, R. (Afstudeerdocent 1), op den Camp, O. (Afstudeerdocent 2) & Reusken, A. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A group-theoretical analysis of solvability, solutions and solution strategies of permutation puzzles

Auteur: Rijpert, D. T., 15 aug 2019

Begeleider: Cuypers, H. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

AHA! goes interbook and beyond

Auteur: Santic, T., 30 jun 2003

Begeleider: De Bra, P. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A heuristic approach for solving the vehicle routing problem

Auteur: van Schaijk, J., 31 jul 1997

Begeleider: Dignum, F. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A heuristic explanation of Y. Shiloach's algorithm for fast canoniztion of circular strings

Auteur: Goyen, W., 30 okt 1987

Begeleider: Feijen, W. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A heuristic global scheduler for DEDOS

Auteur: van Hoesel, S., 31 aug 1992

Begeleider: Hammer, D. (Afstudeerdocent 1), Luit, E. (Afstudeerdocent 2) & Verhoosel, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A hierarchy of formal systems

Auteur: Marcelis, J., 31 aug 1979

Begeleider: Peremans, W. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A hierarchy of general parser algorithms

Auteur: de Visser, P., 31 okt 1989

Begeleider: Hemerik, C. (Afstudeerdocent 1) & Zwaan, G. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A hierarchy of relational type constructors

Auteur: Hoogendijk, P., 30 jun 1991

Begeleider: Backhouse, R. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A hybrid level-set method on the GPU

Auteur: Timmermans, L., 31 jan 2012

Begeleider: Jalba, A. (Afstudeerdocent 1), Westenberg, M. (Afstudeerdocent 2) & Mesman, B. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A hybrid process modeling approach

Auteur: Hermans, V., 30 apr 2014

Begeleider: Reijers, H. (Afstudeerdocent 1), Vanderfeesten, I. (Afstudeerdocent 2) & Zimakova, M. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A J2EE pattern language: a systematic approach for using patterns in designing J2EE architecture

Auteur: Oliveira Ramos, C., 31 aug 2004

Begeleider: Houben, G. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A knowledge-based PBX hardware configuror

Auteur: van Helvoort, M., 31 okt 1990

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

Scriptie/masterproef: Master

Akoestische reflectie aan het open uiteinde van een cylindrische golfpijp

Auteur: Camp, H., 31 aug 1984

Begeleider: Boersma, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A laser scan application for detecting small bones in meat

Auteur: Habets, R., 31 mrt 1988

Begeleider: Benders, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

ALAT: a new authoring environment for GALE

Auteur: Boereboom, W., 31 mrt 2016

Begeleider: De Bra, P. (Afstudeerdocent 1) & Stash, N. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A layout algorithm for workflow nets

Auteur: Teurlings, M., 29 feb 2012

Begeleider: van de Wetering, H. (Afstudeerdocent 1) & Verbeek, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Alert classification of web application attacks: using Bayesian networks to classify alerts from anomaly based intrusion detection systems

Auteur: Schellekens, C., 31 jan 2014

Begeleider: Etalle, S. (Afstudeerdocent 1) & Bolzoni, D. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Algebraic attacks from a Gröbner basis perspective

Auteur: Segers, A., 30 nov 2004

Begeleider: van Tilborg, H. (Afstudeerdocent 1), de Weger, B. (Afstudeerdocent 2), Schmitz, G. (Afstudeerdocent 2) & Bours, P. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Algebraic differential attacks on symmetric cryptography

Auteur: Lukas, K., 19 dec 2016

Begeleider: Lange, T. (Afstudeerdocent 1), Daemen, J. (Externe persoon) (Externe coach) & Skoric, B. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Algebraic methods for nonlinear codes

Auteur: Koeijvoets, R., 31 jan 1989

Begeleider: van Lint, J. (Afstudeerdocent 1) & Wilbrink, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Algebraic theory of non-periodic tilings on the plane by two simple building blocks : a square and a rhombus

Auteur: Beenker, F., 31 aug 1982

Begeleider: de Bruijn, N. (. (Afstudeerdocent 1) & Bijlsma, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Algebraische beschrijving en implementatie van een circuit-compiler

Auteur: Peeters, E., 31 aug 1990

Begeleider: Hemerik, C. (Afstudeerdocent 1) & Mak, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Algebra of group-based models of evolution

Auteur: Bollen, G., 2011

Begeleider: Draisma, J. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

Algorithm animation system

Auteur: Hurkmans, A. & van Son, T., 31 aug 1997

Begeleider: Hammer, D. (Afstudeerdocent 1) & van de Wetering, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Algorithm animation using the generalized display processor

Auteur: Schoenmakers, J., 31 dec 1994

Begeleider: van Overveld, C. (Afstudeerdocent 1), van de Wetering, H. (Afstudeerdocent 2) & Luit, E. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Algorithms and simulation set-up for realizing Bluetooth Low Energy based ranging

Auteur: Ramachandran, S., 31 aug 2016

Begeleider: Nabi Najafabadi, M. (Afstudeerdocent 1) & de Haas, J. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Algorithms for center-based trajectory clustering

Auteur: van de L'Isle, N., 28 jan 2019

Begeleider: Buchin, K. (Afstudeerdocent 1) & Driemel, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Algorithms for comparing moving complex shapes: higher-dimensional Fréchet distance

Auteur: Ophelders, T., 30 sep 2014

Begeleider: Buchin, K. (Afstudeerdocent 1) & Speckmann, B. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Algorithms for exploration of architectural design spaces

Auteur: Hoogers, J., 31 aug 2018

Begeleider: Haverkort, H. (Afstudeerdocent 1) & De Sousa Lopes Figueiredo, S. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Algorithms for finding a middle trajectory

Auteur: Vermeulen, T., 30 nov 2013

Begeleider: Buchin, M. (Externe coach) & Speckmann, B. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Algorithms for flow maps

Auteur: van de Ven, B., 31 jan 2008

Begeleider: Speckmann, B. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Algorithms for gene regulatory networks reconstruction

Auteur: Maksimov, N., 31 aug 2015

Begeleider: Bosnacki, D. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Algorithms for periodic steady state analysis on electric circuits

Auteur: Houben, S., 28 feb 1999

Begeleider: Mattheij, R. (Afstudeerdocent 1), Hautus, M. (Afstudeerdocent 2), Maubach, J. (Afstudeerdocent 2), ter Maten, E. (Afstudeerdocent 2) & Schilders, W. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Algoritmen met betrekking tot bewerkingen op polygonen

Auteur: Wiersma, H., 31 mei 1984

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

Scriptie/masterproef: Master

Algoritmen ter oplossing van set partitioning problemen en set covering problemen

Auteur: de Smit, M., 1 apr 1987

Begeleider: Schuur, P. C. (Externe persoon) (Afstudeerdocent 1) & Benders, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Algoritmen voor adaptief testen

Auteur: van den Heuvel, M., 1 apr 1987

Begeleider: Wessels, J. (Afstudeerdocent 1) & Schoonman, W. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Algoritmen voor het opsplitsen van een blokgebied in onderling disjuncte rechthoeken

Auteur: van den Merkhof, P., 31 aug 1988

Begeleider: Kaldewaij, A. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Algoritmes voor het zoeken naar optimale onvolledige blokkenproeven

Auteur: Douven, R., 31 aug 1988

Begeleider: Doornbos, R. (Afstudeerdocent 1), Jansen, H. (Externe persoon) (Externe coach) & van Berkum, E. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Algoritme voor een tekstprocessor

Auteur: Swinkels, W., 31 aug 1973

Begeleider: Dijkstra, E. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Algoritmic study on prediction with expert advice: study of 3 novel paradigms with grouped experts

Auteur: Cayuela Ràfols, M., 31 aug 2018

Scriptie/masterproef: Master

Bestand

Alignment-based process model repair and its application to the evolutionary tree miner

Auteur: van Eck, M., 31 dec 2013

Begeleider: van Dongen, B. (Afstudeerdocent 1), Fletcher, G. (Afstudeerdocent 2) & Wilbik, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand
Bestand

Alternatievenstudie naar een personeelsinformatie en registratie systeem

Auteur: Mennen, A., 30 apr 1992

Begeleider: De Bra, P. (Afstudeerdocent 1), Korlaar, A. (Afstudeerdocent 2) & Verbiesen, J. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A mathematical framework for image construction in syntax-directed editors

Auteur: de Deugd, C. M., 30 apr 1992

Begeleider: Hemerik, C. (Afstudeerdocent 1) & Zwaan, G. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A mathematical model for polymer lens shrinkage

Auteur: Shenoy, M., 31 aug 2011

Begeleider: Mattheij, R. (Afstudeerdocent 1), van de Ven, A. (Afstudeerdocent 2) & Wolterink, E. M. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A mathematical modeling of the drive plate sub-assembly : analysis of the component groups and aggregated profile

Auteur: van Kempen, J., 31 aug 2000

Begeleider: van der Laan, P. (Afstudeerdocent 1) & Dijkstra, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand