Department of Mathematics and Computer Science

Scripties/Masterproeven

Timing constraints in an object oriented language

Auteur: Hermeling, M., 31 dec 1998

Begeleider: Roosmalen, van, O. (Externe persoon) (Afstudeerdocent 1) & Selic, B. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Tink, a temporal graph analytics library for Apache Flink

Auteur: Ligtenberg, W., 27 mrt 2017

Begeleider: Fletcher, G. (Afstudeerdocent 1), Pechenizkiy, M. (Afstudeerdocent 2), Pei, Y. (Afstudeerdocent 2) & Serebrenik, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Tissue recognition for contrast enhanced ultrasound videos

Auteur: Singhi, S., 17 dec 2018

Begeleider: Kao, O. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

TLM-based multi-core system level modeling and simulation (TM2S)

Auteur: Siyoum, F., 31 aug 2009

Begeleider: Corporaal, H. (Afstudeerdocent 1) & Potman, J. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

To Catch a Thief: fraud detection with reliable machine learning

Auteur: de Wit, R. & de Campos, C. P., 2019

Begeleider: de Campos, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Toepassingen van de multipoolvelden-theorie

Auteur: Altenburg, W., 31 aug 1971

Begeleider: Bouwkamp, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Toepassingen van de numerieke algebra in de systeemtheorie

Auteur: van Heijst, M., 31 aug 1983

Begeleider: Veltkamp, J. (Afstudeerdocent 1) & Hautus, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Toepassingen van fin-methodes van hogere orde

Auteur: Ruiters, G., 31 dec 1988

Begeleider: Kuiken, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Toepassingen van het conversationele personeelsplanningsysteem FORMASY op faculteitsniveau

Auteur: Geubbels, L., 31 aug 1982

Begeleider: Wessels, J. (Afstudeerdocent 1), Monhemius, W. (Afstudeerdocent 2), van Nunen, J. (Afstudeerdocent 2) & Zwart, R. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Toepassing van de eindige elementenmethode op een twee-dimensionaal sinterprobleem

Auteur: Helmes, N., 30 apr 1992

Begeleider: Mattheij, R. (Afstudeerdocent 1) & Jansen, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Toepassing van multivariate statistiek bij onderzoek naar accumulatie van stoffen in het bloed van nierpatiënten

Auteur: Hazejager, W., 31 aug 1988

Begeleider: Doornbos, R. (Afstudeerdocent 1), Dijkstra, J. (Afstudeerdocent 2) & Schoots, A. (Externe coach)

Scriptie/masterproef: Master

Toets op inplanbaarheid van rangeerbewegingen

Auteur: van den Broek, J., 30 nov 2002

Begeleider: Gerards, A. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Toggling schemes for electronic voting

Auteur: Stam, M., 31 jul 1999

Begeleider: van Tilborg, H. (Afstudeerdocent 1), Schoenmakers, L. (Afstudeerdocent 2) & Phoenix, S. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

To improve periodic business reporting using trend analysis on transactional data

Auteur: de Ruig, G., 31 aug 2013

Begeleider: Calders, T. (Afstudeerdocent 1), Schmeink, R. (Externe persoon) (Externe coach) & Smeets, J. (Externe coach)

Scriptie/masterproef: Master

Bestand

Tooling the BASE/X framework

Auteur: de Weerd, E., 29 feb 2016

Begeleider: Türetken, O. (Afstudeerdocent 1) & Grefen, P. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Tools for parameterized boolean equation systems

Auteur: Janssen, S., 31 aug 2008

Begeleider: Willemse, T. (Afstudeerdocent 1) & Wesselink, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Toonbeeld : educational software for teaching intonation to deaf persons

Auteur: Verhoeven, J., 31 dec 1994

Begeleider: Somers, L. (Afstudeerdocent 1), Hermes, D. (Afstudeerdocent 2) & Kaufholz, P. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Topic discovery and document similarity via pre-trained word embeddings

Auteur: Chen, S., 29 okt 2018

Begeleider: Girdzijauskas, S. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Topological operations on polygon meshes

Auteur: Kemper, M., 28 feb 1995

Begeleider: van Overveld, C. (Afstudeerdocent 1), Janssen-Raemaekers, A. (Externe persoon) (Afstudeerdocent 2) & Nuij, W. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Topologische eigenschappen van essentiële spectra

Auteur: Heijmans, H., 31 aug 1981

Begeleider: Ackermans, S. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Topology-based device self-identification in wireless mesh networks

Auteur: Quan, Y., 30 sep 2019

Begeleider: Lu, Z. (Externe persoon) (Externe coach), Yao, Y. (Externe persoon) (Externe coach), Stolikj, M. (Externe coach) & Ciordas, C. (Externe coach)

Scriptie/masterproef: Master

Bestand

Topology-based distributed scheduling for time slotted channel hopping

Auteur: Cuijpers, E., 29 feb 2016

Begeleider: Nabi Najafabadi, M. (Afstudeerdocent 1) & Zand, P. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Touching workflow management runtime

Auteur: Claessen, J., 31 aug 2014

Begeleider: Reijers, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Toward a serverless data pipeline

Auteur: Tran, Q., 30 sep 2019

Begeleider: Papapetrou, O. (Afstudeerdocent 1) & Ferreira, N. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Towards a big data reference architecture

Auteur: Maier, M., 31 okt 2013

Begeleider: Fletcher, G. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Towards adaptive retrieval and recommendation of higher education programmes

Auteur: Putman, T., 30 jun 2010

Begeleider: Pechenizkiy, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Towards a DSS for performance evaluation of VAX/VMS-clusters

Auteur: Hoogendoorn, J., 31 aug 1988

Begeleider: van der Wal, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Towards a framework for finding incident-related tweets for emergency awareness

Auteur: Nieuwenhuijse, A., 31 aug 2015

Begeleider: Pechenizkiy, M. (Afstudeerdocent 1), Bakker, J. (Externe persoon) (Externe coach) & Scheelen, F. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Towards a generic online auditing tool for cordys applications

Auteur: Mallick, B. & Gakkhar, K., 31 aug 2008

Begeleider: van Hee, K. (Afstudeerdocent 1) & van der Werf, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Towards a generic scan analysis framework

Auteur: Henkes, D., 31 mei 2014

Begeleider: Mak, R. (Afstudeerdocent 1), Stuijk, S. (Afstudeerdocent 2) & Lint, A. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Towards a generic structure editor for annotated documents

Auteur: van den Boom, S., 31 aug 2009

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Towards a model-based system specification and verification in integrated AEC-projects: integrating SysML and BIM as initial step

Auteur: Granville, M., 24 sep 2019

Begeleider: de Vries, B. (Afstudeerdocent 1), van Thiel, B. (Afstudeerdocent 2) & Barosan, I. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Towards analysis of a railway track model with Paradigm and mCRL2

Auteur: Gong, M., 31 aug 2013

Begeleider: de Vink, E. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Towards an architectural framework for IT-enabled, continuous auditing at health insurers

Auteur: Kennes, J., 31 jan 2008

Begeleider: Grefen, P. (Afstudeerdocent 1), Sidorova, N. (Afstudeerdocent 2), Aerts, A. (Afstudeerdocent 2), Braal, W. (Externe persoon) (Afstudeerdocent 2) & Bastiaansen, R. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Towards an architecture for the support of integrated personal health records

Auteur: Bastianen, S., 31 mrt 2015

Begeleider: Van Gorp, P. (Afstudeerdocent 1), Pechenizkiy, M. (Afstudeerdocent 2) & Ploegmakers, F. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Towards an effective method for probabilistic access control

Auteur: van Zon, P., 31 aug 2016

Begeleider: Zannone, N. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Towards an empirical validation of the TIOBE quality indicator

Auteur: Steneker, M., 31 mrt 2016

Begeleider: Serebrenik, A. (Afstudeerdocent 1) & Jansen, P. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Towards a publication style of functional programming

Auteur: Peeters, D., 31 aug 1999

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

Scriptie/masterproef: Master

Towards architectural maturity: a starting point for architectural documentation of PinkRoccade Local Government's software product line

Auteur: Sauvé, N., 31 mei 2010

Begeleider: Angelov, S. (Afstudeerdocent 1), Rietveld, W. (Afstudeerdocent 2) & Quanjer, A. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Towards a reference architecture for context-aware recommender systems

Auteur: Keijers, B., 28 feb 2014

Begeleider: Pechenizkiy, M. (Afstudeerdocent 1) & Kiseleva, Y. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Towards a semantic network of event's data from the web

Auteur: Ayala Gómez, F., 30 sep 2014

Begeleider: Pechenizkiy, M. (Afstudeerdocent 1), Benczur, A. (Externe persoon) (Externe coach) & Istenes, Z. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Towards a topological layout compiler

Auteur: Tangelder, J., 28 feb 1986

Begeleider: Rem, M. (Afstudeerdocent 1) & Mak, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Towards a unification of regular and context free recognition

Auteur: Spanbroek, M., 31 aug 2005

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

Scriptie/masterproef: Master

Bestand

Towards a valid object model: a method for changing user requirements

Auteur: Rombley, G., 31 mrt 2012

Begeleider: Barosan, I. (Afstudeerdocent 1) & Peeters, F. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Towards better training sets for intrusion detection systems

Auteur: van der Wiel, J., 31 aug 2011

Begeleider: Brouwer, A. (Afstudeerdocent 1), Etalle, S. (Afstudeerdocent 2) & Zanero, S. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Towards business-IT alignment in IT outsourcing context

Auteur: Sabelnikova, E., 31 aug 2014

Begeleider: Chituc, C. (Afstudeerdocent 1) & Trienekens, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Towards cost-awareness in process mining

Auteur: Nauta, W., 31 aug 2011

Begeleider: Wynn, M. T. (Externe persoon) (Afstudeerdocent 1) & van Dongen, B. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Towards formalisation of design processes

Auteur: Rijntjes, A., 31 mei 1987

Begeleider: Koomen, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Towards hexagonal silicon-germanium lasers

Auteur: van Lange, V., 2020

Begeleider: Dijkstra, A. (Afstudeerdocent 1), Bakkers, E. P. (Afstudeerdocent 2), Haverkort, J. E. (Afstudeerdocent 2) & Busse, D. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Towards long pure wurtzite gallium arsenide nanowires

Auteur: Mao, C., 2019

Begeleider: Fadaly, E. (Afstudeerdocent 1) & Bakkers, E. P. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand