Faculteit Wiskunde & Informatica

Scripties/masterproeven

A sliding window protocol

Auteur: van Leeuwen, A., 31 jan 2006

Begeleider: Hoogerwoord, R. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A sliding-window protocol

Auteur: de Backer, R., 28 feb 2001

Begeleider: Hoogerwoord, R. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A software testing approach supported by a tool environment for the development of component tests

Auteur: Hermans, J., 30 jun 2006

Begeleider: Romijn, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A solution to the vertex correspondence problem and its application in real time animation of complex geometric models

Auteur: Stalpers, M., 30 sep 1996

Begeleider: van Overveld, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Aspecten van een alternatie van bottum-up parsing en earley parsing

Auteur: de Hoon, M., 30 jun 1988

Begeleider: Kruseman Aretz, F. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Aspecten van het gebruik van een reason maintenance system bij een planningsysteem voor produktiebesturing

Auteur: Knops, H. & Jonkers, M., 31 dec 1990

Begeleider: Rem, M. (Afstudeerdocent 1), Rooda, J. (Afstudeerdocent 2) & Vaes, H. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Aspects of an order status system

Auteur: Verhoeven, P., 31 jan 1988

Begeleider: van Hee, K. (Afstudeerdocent 1) & Aerts, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Aspects of high-level distributed object-oriented real-time application languages

Auteur: Bons, R., 31 aug 1992

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

Scriptie/masterproef: Master

Aspects of the coupled eddy current/heat transfer problem

Auteur: van de Vorst, G., 30 jun 1989

Begeleider: Jansen, J. (Afstudeerdocent 1), van Gerwen, J. (Afstudeerdocent 2) & Melissen, J. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Aspekten van informatieplanning en ontwikkeling van informatie systemen voor een stuwadoorsbedrijf

Auteur: Essers, R., 31 mei 1987

Begeleider: van Hee, K. (Afstudeerdocent 1), Aerts, A. (Afstudeerdocent 2) & Bemelmans, T. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Assesment of the Baer-Nunziato seven-equation model applied to steam-water transients: calibration of the stiffened gas equation of state based on steam-water tables

Auteur: van de Leur, L., 30 sep 2015

Begeleider: Koren, B. (Afstudeerdocent 1), Tijsseling, A. (Afstudeerdocent 2) & Daude, F. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Assessing and improving quality in QVTo model transformations

Auteur: Gerpheide, C., 31 aug 2014

Begeleider: Serebrenik, A. (Afstudeerdocent 1) & Schiffelers, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Assessment of software architecture and design for offshore projects

Auteur: Kudchadker, T. & Angadi, N., 4 okt 2012

Begeleider: van den Brand, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Assessment of software module upgrade complexity

Auteur: Schoenmakers, B., 31 aug 2012

Begeleider: Serebrenik, A. (Afstudeerdocent 1), van den Broek, N. (Externe persoon) (Externe coach) & Nagy, I. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Assignment of referees to matches

Auteur: Peereboom, T. P., 13 aug 2019

Begeleider: Keijsper, J. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

Association rule mining of student grades: a grammar guided genetic programming approach

Auteur: Giesbers, B., 31 okt 2016

Begeleider: Pechenizkiy, M. (Afstudeerdocent 1), Serebrenik, A. (Afstudeerdocent 2) & Duivesteijn, W. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Association schemes

Auteur: Hollmann, H., 31 aug 1982

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

Scriptie/masterproef: Master

Associativiteit van interface compositie

Auteur: Haesen, H., 30 apr 1990

Begeleider: van Hee, K. (Afstudeerdocent 1), Rambags, P. (Afstudeerdocent 2) & Swart, de, H. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A statistical model to describe the spread of wafer lenses

Auteur: Figueroa Burbano, Y., 31 aug 2011

Begeleider: Di Bucchianico, A. (Afstudeerdocent 1), Wolterink, E. M. (Externe persoon) (Externe coach) & van Loenen, B. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A stochastic application in modern decentralised crypto-currency

Auteur: Gündlach, R. C., 31 aug 2017

Begeleider: van der Hofstad, R. (Afstudeerdocent 1) & Koens, T. (Externe persoon) (Externe coach)

Scriptie/masterproef: Bachelor

Bestand

A streaming graph library fo Apache Flink

Auteur: Ma, X., 24 sep 2018

Begeleider: Pechenizkiy, M. (Afstudeerdocent 1), Fletcher, G. (Afstudeerdocent 2), de Nooij, E. (Externe persoon) (Externe coach) & Teunissen, F. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A strong approximation of the shortt process

Auteur: Geilen, M., 31 aug 1997

Begeleider: Steutel, F. (Afstudeerdocent 1), Einmahl, J. (Afstudeerdocent 2) & Resing, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A study in "The reflection of a weak shock wave from a wedge" en "The impact of a normally incident weak shock wave on a plate"

Auteur: Chukwumah, G., 31 aug 1969

Begeleider: Vossers, G. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A study of efficient RDFS entailment in external memory

Auteur: Haffmans, W., 30 jun 2011

Begeleider: Fletcher, G. (Afstudeerdocent 1), De Bra, P. (Afstudeerdocent 2) & Stahl, C. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A study of execution strategies for openCypher on Apache Flink

Auteur: Yang, M., 31 aug 2016

Begeleider: Fletcher, G. (Afstudeerdocent 1), Averbuch, A. (Externe persoon) (Externe coach) & Kalavri, V. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A study of nested-relational joins in mediator-based distributed environments

Auteur: Boersma, M., 31 aug 2011

Begeleider: Fletcher, G. (Afstudeerdocent 1), Bosma, G. (Externe persoon) (Afstudeerdocent 2), Verbeek, H. (Afstudeerdocent 2) & De Bra, P. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A study of the general number field sieve and a development of a CT2 plug-in using YAFU

Auteur: Querejeta Azurmendi, I., 31 aug 2016

Begeleider: Lange, T. (Afstudeerdocent 1) & de Valence, H. (Externe coach)

Scriptie/masterproef: Master

Bestand

A study on MRA and Riesz systems

Auteur: Oonincx, P., 31 dec 1995

Begeleider: van Eijndhoven, S. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A study on self similar fractals

Auteur: Ficker, A., 2012

Begeleider: Blokhuis, A. (Afstudeerdocent 1) & Hendriks, M. (Afstudeerdocent 2)

Scriptie/masterproef: Bachelor

Bestand

A study on the impact of transmission power on the message delivery latency in large ZigBee networks

Auteur: Bangalore Lakshmana, S., 31 aug 2015

Begeleider: Cuijpers, P. (Afstudeerdocent 1), Syed, A. (Externe persoon) (Afstudeerdocent 2) & Nabi Najafabadi, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A symbolic approach to PBES instantiation

Auteur: Boshoven, T., 25 sep 2015

Begeleider: Willemse, T. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Asymptotische uitbreidingen van de stelling van Fuglede

Auteur: van Eijndhoven, S., 31 aug 1980

Begeleider: Ackermans, S. (Afstudeerdocent 1) & Steen, van der, P. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Asymptotische uitbreidingen van de stelling van Kleinecke-Shirokov

Auteur: Martens, F., 31 aug 1982

Begeleider: Ackermans, S. (Afstudeerdocent 1) & van Eijndhoven, S. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Asynchronous meeting support in virtual worlds: improvements before implementation

Auteur: Mulders, R., 31 aug 2010

Begeleider: van Genuchten, M. (Afstudeerdocent 1), Reijers, H. (Afstudeerdocent 2) & van Dongen, B. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A systematic approach and tool support for assessing GSN-based safety case

Auteur: Li, Z., 31 aug 2016

Begeleider: van den Brand, M. (Afstudeerdocent 1), Luo, Y. (Afstudeerdocent 2) & Lukkien, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A system for computed rotational angiography

Auteur: Habets, D., 31 dec 2000

Begeleider: Holdsworth, D. (Externe persoon) (Afstudeerdocent 1) & van Wijk, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A taxonomy of approximate pattern matching algorithms in strings

Auteur: Bosman, R., 30 apr 2005

Begeleider: Watson, B. (Afstudeerdocent 1) & Zwaan, G. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A taxonomy of Lempel-Ziv compression algorithms

Auteur: Kouwenberg, J., 31 aug 2003

Begeleider: Hemerik, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A template attack on elliptic curves using classification methods

Auteur: Özgen, E., 30 nov 2015

Begeleider: Batina, L. (Afstudeerdocent 1) & Schoenmakers, L. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A theory of real numbers and its presentation in AUTOMATH

Auteur: Udding, J. T., 31 aug 1980

Begeleider: de Bruijn, N. (. (Afstudeerdocent 1) & Benthem Jutting, van, L. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Atherosclerotic plaque classification using supervised classification algorithms

Auteur: Branderhorst, W., 31 jan 2005

Begeleider: Hilbers, P. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A time-domain approach to H-infinity worst-case design

Auteur: Peters, M., 31 aug 1989

Begeleider: Hautus, M. (Afstudeerdocent 1), Trentelman, H. (Afstudeerdocent 2) & Stoorvogel, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A timing analyzer for DEDOS

Auteur: Vortman, K. H., 31 aug 1992

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

Scriptie/masterproef: Master

A timing model for an interactive animation

Auteur: van den Broek, N., 31 aug 1998

Begeleider: Huizing, C. (Afstudeerdocent 1), van de Wetering, H. (Afstudeerdocent 2) & Kuiper, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Atlas ruimtelijke kwaliteit: ontsluiting van cultuurhistorische informatie

Auteur: van Strien, R., 31 aug 2006

Begeleider: Houben, G. (Afstudeerdocent 1), Broekstra, J. (Afstudeerdocent 2) & van der Waal, G. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A tool for validation and comparison of delay-insensitive specifications

Auteur: Scheffers, E., 31 okt 1997

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A tool in integrated optics : the domain integral equation

Auteur: Lavrijsen, C., 1 apr 1987

Begeleider: Veltkamp, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A trace theoretic view of protocols

Auteur: Gons, T., 30 sep 1987

Begeleider: Rem, M. (Afstudeerdocent 1) & Verhoeff, T. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A transaction model for workflow applications

Auteur: Weijs, M., 31 okt 1997

Begeleider: Aerts, A. (Afstudeerdocent 1) & Hammer, D. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A translation from "natural" language queries into the applicative query language AQL2

Auteur: van der Klooster, W., 31 mei 1987

Begeleider: Kruseman Aretz, F. (Afstudeerdocent 1), Leermakers, M. (. (Externe persoon) (Afstudeerdocent 2) & van der Spek, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master