Faculteit Wiskunde & Informatica

Scripties/masterproeven

Anitta : een vragenlijst verwerkingsprogramma

Auteur: van den Munckhof, G., 31 okt 1997

Begeleider: Somers, L. (Afstudeerdocent 1) & Aerts, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

An object-oriented framework for the DEDOS off-line scheduler

Auteur: Brood, E., 28 feb 1995

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

Scriptie/masterproef: Master

An object-oriented hypertext system for computer-aided learning

Auteur: van Ginderen, B., 31 aug 1990

Begeleider: De Bra, P. (Afstudeerdocent 1) & Verreck, W. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

An object-oriented model of a heterarchical shop floor control system

Auteur: Bonne, P., 31 dec 1993

Begeleider: Hammer, D. (Afstudeerdocent 1)

Scriptie/masterproef: Master

An Occam machine offering full communication

Auteur: Loyens, L., 31 mei 1987

Begeleider: Rem, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Anomalous pattern detection using process mining

Auteur: Cui, J., 30 apr 2016

Begeleider: Zannone, N. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Anomaly detection for temporal data using Long Short-Term Memory (LSTM)

Auteur: Singh, A., 31 aug 2017

Begeleider: Gillblad, D. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Anomaly detection in text data using deep generative models

Auteur: Esposito, R., 30 aug 2019

Begeleider: Menkovski, V. (Afstudeerdocent 1) & van Ipenburg, W. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Anomaly detection in wireless mesh lighting networks

Auteur: Chand, S., 25 sep 2017

Begeleider: Vanschoren, J. (Afstudeerdocent 1), Zappaterra, L. (Externe persoon) (Externe coach), Syed, E. (Externe persoon) (Externe coach) & Casale, P. (Externe coach)

Scriptie/masterproef: Master

Bestand

Anomaly detection on event logs: an unsupervised algorithm on iXR-messages

Auteur: Severins, J., 30 jun 2016

Begeleider: van Dongen, B. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Anomaly detection with generative models: with applications to lung cancer screening

Auteur: Mendoza Marin, R., 26 feb 2018

Begeleider: Menkovski, V. (Afstudeerdocent 1) & Mavroeidis, D. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A non-interactive key exchange based on ring-learning with errors

Auteur: de Kock, B., 25 jun 2018

Begeleider: Lange, T. (Afstudeerdocent 1), Skoric, B. (Afstudeerdocent 2), Attema, T. (Externe persoon) (Externe coach) & van Heesch, M. (Externe coach)

Scriptie/masterproef: Master

Bestand

An openGL pipeline on the Wasabi architecture

Auteur: Ansems, A., 30 apr 2004

Begeleider: Kok, A. (Afstudeerdocent 1) & Peters, F. J. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

An operational semantics for the DI-algebra

Auteur: van de Wiel, H., 31 aug 1992

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

Scriptie/masterproef: Master

An optimal replacement policy

Auteur: Hendriksen, D., 29 jul 2019

Begeleider: Kapodistria, S. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

An order and allocation policy for assembly systems with fill rate constraints using decomposition

Auteur: Visschers, J., 31 aug 1996

Begeleider: de Kok, A. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A novel algorithm for computing the Fréchet distance

Auteur: van Leusden, R., 31 mei 2013

Begeleider: Buchin, K. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

An SIMD register file with support for dual-phase decimation and transposition

Auteur: Goossens, S., 30 jun 2010

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

Scriptie/masterproef: Master

Bestand

Anti-pattern detection and analysis in data-driven product design

Auteur: Pietraru, A., 31 aug 2018

Begeleider: Sidorova, N. (Afstudeerdocent 1), Kessels, A. (Externe coach), Wilbik, A. (Afstudeerdocent 2) & van Eck, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A numerical analysis of the singular H-infinity-control problem

Auteur: Schijfs, E., 31 okt 1990

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

Scriptie/masterproef: Master

A parallel algorithm for alpha-Beta pruning

Auteur: Schats, P., 31 aug 1994

Begeleider: Rem, M. (Afstudeerdocent 1) & Lukkien, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A parallel algorithm for comparing metabolic pathways

Auteur: Datema, R., 31 aug 2006

Begeleider: Hilbers, P. (Afstudeerdocent 1), Bosnacki, D. (Afstudeerdocent 2), Zwaan, G. (Afstudeerdocent 2) & Mak, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A parallel implementation of a genetic placement algorithm

Auteur: Naus, W., 30 apr 1990

Begeleider: Aarts, E. (Afstudeerdocent 1), Rem, M. (Afstudeerdocent 2) & de Bont, F. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A parallel implementation of the random encounter iterated prisoner's dilemma

Auteur: Dumont, S., 31 aug 1998

Begeleider: Mak, R. (Afstudeerdocent 1), Hilbers, P. (Afstudeerdocent 2) & Roosmalen, van, O. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A parallel Lin-Kernighan algorithm for the traveling salesman problem

Auteur: Swinkels, P., 30 nov 1994

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

Scriptie/masterproef: Master

A parallel local search algorithm for the job shop scheduling problem

Auteur: Aarts, B., 30 apr 1996

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

Scriptie/masterproef: Master

A parallel preconditioned conjugate gradient algorithm in B2000 on the SGI power challenge

Auteur: Rijnkels, P., 30 jun 1996

Begeleider: Hilbers, P. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A parameter for the level crossing activity of stochastic processes in control theory

Auteur: Beelen, T., 31 aug 1978

Begeleider: Hautus, M. (Afstudeerdocent 1) & Eising, F. (. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A parsing method for natural language queries

Auteur: Verbakel, J., 30 nov 1985

Begeleider: Kruseman Aretz, F. (Afstudeerdocent 1), Hemerik, C. (Afstudeerdocent 2) & Brock, de, E. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A path planning approach for AGVs in the dense grid-based AgvSorter

Auteur: Fransen, K., 30 aug 2019

Begeleider: Pogromskiy, S. (Afstudeerdocent 1), Adan, I. (Afstudeerdocent 2) & Boon, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A performance measurement framework for clinical pathways monitoring

Auteur: Meenakshy, P., 30 sep 2013

Begeleider: Kaymak, U. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A performance measurement framework for executable care pathways implemented in BPMS

Auteur: Gita Gustaman, G., 31 okt 2014

Begeleider: Kaymak, U. (Afstudeerdocent 1) & Van Gorp, P. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A performance study of X25519 on Cortex-M3 and M4

Auteur: de Groot, W., 30 sep 2015

Begeleider: Lange, T. (Afstudeerdocent 1), van Galen, R. (Externe persoon) (Externe coach) & Petridou, E. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A personalized perspective: a literature study, a generic data ming framework, a specific application implementation

Auteur: Brits, G. C., 31 jan 2005

Begeleider: De Bra, P. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A Petri-net based workflow engine : a general framework

Auteur: Verstappen, R., 31 jul 2000

Begeleider: Somers, L. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

API for intelligent traffic systems and telematics applications implemented on a hybrid communication platform

Auteur: Sharma, R., 27 mei 2019

Begeleider: Bril, R. (Afstudeerdocent 1), Daalderop, G. H. (Externe persoon) (Externe coach), van Doorn, J. (Externe persoon) (Externe coach) & Zannone, N. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A planning support system for air traffic control in a free route environment

Auteur: van Rooijen, A., 31 jul 1997

Begeleider: van der Wal, J. (Afstudeerdocent 1) & Everdij, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A planning support system for ATC based on genetic algorithms

Auteur: van Kuijk, D., 31 aug 1996

Begeleider: van der Wal, J. (Afstudeerdocent 1) & Everdij, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A polyhedral approach to the clique partitioning problem

Auteur: Rutten, J., 30 apr 1994

Begeleider: Lenstra, J. (Afstudeerdocent 1) & van Hoesel, C. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Application-driven energy-aware memory partitioning for ultra low power DSPs

Auteur: Walimbe, S., 31 okt 2012

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

Scriptie/masterproef: Master

Bestand

Application-grounded evaluation of predictive model explanation methods

Auteur: Lin, C., 24 sep 2018

Begeleider: Pechenizkiy, M. (Afstudeerdocent 1), van der Zon, S. (Afstudeerdocent 2), van Ipenburg, W. (Externe persoon) (Externe coach), Veldsink, J. W. (Externe persoon) (Externe coach) & Papapetrou, O. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Application of data-driven analytics on sport data from a professional bicycle racing team

Auteur: Karetnikov, A., 30 sep 2019

Begeleider: Hassani, M. (Afstudeerdocent 1) & Nuijten, W. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Application of machine learning for polyhedral optimizations

Auteur: Zhang, I., 28 jan 2019

Begeleider: Corporaal, H. (Afstudeerdocent 1), Jordans, R. (Afstudeerdocent 2), Juurlink, B. H. (Externe persoon) (Externe coach) & Cosenza, B. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Application of process mining techniques to mass customization

Auteur: Xiong, F., 31 mei 2013

Begeleider: Comuzzi, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Applying ASD to design and verify the back and controller

Auteur: Beohar, H., 31 aug 2008

Begeleider: Baeten, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Applying memoization as an approximate computing method for transiently powered systems

Auteur: Perju, D., 30 aug 2019

Begeleider: Yang, Y. (Externe persoon) (Externe coach) & Bhatti, N. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Applying model based techniques for process improvement and assessment in the automotive domain

Auteur: Narayanan, P., 29 jun 2017

Begeleider: Luo, Y. (Afstudeerdocent 1) & Barosan, I. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Applying reduction rules to optimize conformance checking

Auteur: Breukink, S., 30 sep 2019

Begeleider: van Dongen, B. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Applying state machine learning at ASML

Auteur: Premchand, J., 29 okt 2018

Begeleider: Voeten, J. (Afstudeerdocent 1), Schiffelers, R. (Afstudeerdocent 2) & Hendriks, D. (Externe coach)

Scriptie/masterproef: Master

Bestand

Approximating average and worst-case quality measure values for d-dimensional space-filling curves

Auteur: Sasburg, S., 30 nov 2011

Begeleider: Haverkort, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand