Faculteit Wiskunde & Informatica

Scripties/masterproeven

A comparison of a macroscopic and microscopic model in statistical mechanics

Auteur: Koop, S. M., 2016

Scriptie/masterproef: Bachelor

Bestand

A comparison of Android Native App Architecture: MVC, MVP and MVVM

Auteur: Lou, T., 31 okt 2016

Begeleider: van Dongen, B. (Afstudeerdocent 1) & Saikonnen, H. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A comparison of batch production on a flow line and job shop assembly in a semiconductor back-end

Auteur: van Rhee, E., 31 aug 2011

Begeleider: Adan, I. (Afstudeerdocent 1), Boon, M. (Afstudeerdocent 2) & Stokkermans, J. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A comparison of CMS Tier0-dataflow scenarios using the Yasper simulation tool

Auteur: Wijnant, L., 31 jan 2007

Begeleider: Aerts, A. (Afstudeerdocent 1), Sinanis, N. (Externe persoon) (Externe coach) & Willers, I. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A comparison of the Krasnoselskii spectrum and the homotopy significant spectrum

Auteur: Fokma, S. (., 6 jul 2018

Begeleider: Portegies, J. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

A comparison of trace theory programs and Petri-nets

Auteur: Langen, A., 31 aug 1988

Begeleider: Rem, M. (Afstudeerdocent 1), Kruseman Aretz, F. (Afstudeerdocent 2) & Schols, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A complete axiomatisation for probabilistic trace equivalence

Auteur: Timmers, F., 26 nov 2018

Begeleider: Groote, J. F. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A complexity catalogue of high-level synthesis problems

Auteur: de Fluiter, B., 30 apr 1993

Begeleider: Aarts, E. (Afstudeerdocent 1), Korst, J. H. (Externe persoon) (Afstudeerdocent 2) & Verhaegh, W. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A computational biology framework: a data analysis tool to support biomedical engineers in their research

Auteur: Beishuizen, T., 29 nov 2018

Begeleider: Bosnacki, D. (Afstudeerdocent 1), Cheplygina, V. (Afstudeerdocent 2), Hilbers, P. (Afstudeerdocent 2), Fletcher, G. (Afstudeerdocent 2) & Vanschoren, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A computer search for quasi-cyclic codes

Auteur: Weijs, S., 31 jul 1997

Begeleider: van Tilborg, H. (Afstudeerdocent 1), Verhoeff, T. (Afstudeerdocent 2) & Aarts, E. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A conceptual data design for an installed base and configuration management for the Philips Healthcare IT products

Auteur: Vijayaraghavan, E. V., 30 jun 2006

Begeleider: Pels, H. (Afstudeerdocent 1) & Aerts, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A concurrent wave panic protocol for dynamic 1394.1 networks

Auteur: Huo, X., 31 aug 2005

Begeleider: Romijn, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A contribution to system interfacing in Philips Elcoma IC-factories

Auteur: Heise, P., 31 mei 1987

Begeleider: Wijngaard, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

A control approach to supply chain engineering

Auteur: Hermans, R. M., 31 okt 2000

Begeleider: van der Wal, J. (Afstudeerdocent 1) & Adan, I. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A Coq module for natural logic

Auteur: Huijben, R., 31 aug 2013

Begeleider: Geuvers, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Acoustical physical uncloneable functions

Auteur: Vrijaldenhoven, S., 30 nov 2004

Begeleider: Aarts, R. (Afstudeerdocent 1), Huizing, C. (Afstudeerdocent 2) & de Vink, E. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Acoustic modes in hard walled and lined ducts with non-uniform shear flow : applying the WKB-method and Galerkin projection

Auteur: Rutjens, R., 29 apr 2019

Begeleider: Slot, H. (Afstudeerdocent 1) & Rienstra, S. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Acoustics of slowly varying inlet ducts with arbitrary cross-section

Auteur: Iyer, A. G., 31 aug 2011

Begeleider: Rienstra, S. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

ACP versus ATP and ATG

Auteur: Bun, L., 30 apr 1993

Begeleider: Baeten, J. (Afstudeerdocent 1) & Mak, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A critical analysis of the IOI grading process: with an application of algorithm taxonomies

Auteur: van Leeuwen, W. T., 30 nov 2005

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Actionability of dashboards

Auteur: Restrepo Uribe, V., 31 okt 2011

Begeleider: Vanderfeesten, I. (Afstudeerdocent 1) & van der Linden, E. (. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Active learning for text classification

Auteur: Šostak, T., 24 sep 2018

Begeleider: Vanschoren, J. (Afstudeerdocent 1) & Schaefers, K. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Active learning in VAE latent space

Auteur: Tonnaer, L., 25 sep 2017

Begeleider: Menkovski, V. (Afstudeerdocent 1), Portegies, J. W. (Afstudeerdocent 2) & Holenderski, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Adaptable distributed genetic miner

Auteur: Zhao, R., 31 aug 2010

Begeleider: Sidorova, N. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Adapting for adaptivity: authoring of adaptive e-content for a commercial environment

Auteur: Wentzler, A. W., 31 aug 2006

Begeleider: Cristea, A. (Afstudeerdocent 1) & Heuvelman, E. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Adaptive architecture for polis system

Auteur: Bera, D., 31 aug 2008

Begeleider: van Hee, K. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Adaptive authoring of adaptive hypermedia

Auteur: Hendrix, M., 31 aug 2006

Begeleider: Cristea, A. (Afstudeerdocent 1) & Nejdl, W. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Adaptive ensemble models of extreme learning machines for time series prediction

Auteur: van Heeswijk, M., 31 aug 2009

Begeleider: Oja, E. (Externe persoon) (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Adaptive gain tuning for robust remote pulse rate monitoring under changing light conditions

Auteur: Papageorgiou, A., 31 aug 2014

Begeleider: de Haan, G. (Afstudeerdocent 1) & Stuijk, S. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Adaptive non-oscillatory complete flux schemes

Auteur: Wessels, F., 31 aug 2015

Begeleider: ten Thije Boonkkamp, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Adaptive octrees for balancing the load of a parallel simulation of a cluster-cluster aggregation

Auteur: van der Laak, E., 31 aug 1996

Begeleider: Hilbers, P. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Adaptive traffic control in ATM networks

Auteur: van der Heijden, C., 31 dec 1997

Begeleider: Wessels, J. (Afstudeerdocent 1), Resing, J. (Afstudeerdocent 2), van den Berg, J. (. (Externe persoon) (Afstudeerdocent 2) & van der Wal, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Adaptive triangulation of implicit surfaces

Auteur: Buhaceanu, D., 31 okt 1996

Begeleider: van Overveld, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Adaptivity in software architecture

Auteur: van der Sijpt, A. F., 31 aug 2007

Begeleider: Lukkien, J. (Afstudeerdocent 1) & Offermans, M. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A database extension for DEDOS

Auteur: Golsteijn, R., 31 aug 1999

Begeleider: van der Stok, P. (Afstudeerdocent 1), Hammer, D. (Afstudeerdocent 2), Aarts, E. (Afstudeerdocent 2), van Gorp, P. (Afstudeerdocent 2) & Bodlaender, M. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A data-driven approach for generating insights into software development

Auteur: Rexhepi, N., 25 sep 2017

Begeleider: Kaymak, U. (Afstudeerdocent 1), Wilbik, A. (Afstudeerdocent 2), Serebrenik, A. (Afstudeerdocent 2), Geritz, E. (Externe persoon) (Externe coach) & Kabel, M. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A data-driven approach to reduce the energy consumption of buildings

Auteur: van Rijn, F., 25 mrt 2019

Begeleider: Kaymak, U. (Afstudeerdocent 1) & Firat, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A data-driven method for service innovation process

Auteur: Staravoitava, L., 31 aug 2016

Begeleider: Razavian, M. (Afstudeerdocent 1), Buijs, J. (Afstudeerdocent 2), de Kok, E. (Externe persoon) (Externe coach) & Saikkonen, H. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A data machine for ISO-SQL2

Auteur: Mehlkop, J., 30 jun 1988

Begeleider: Pieper, F. (Afstudeerdocent 1) & Remmen, F. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Adding and checking constraints with the DEDOS graph viewer

Auteur: van Dijk, C., 31 aug 1994

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

Scriptie/masterproef: Master

Adding capability-based security to high performance Parallex

Auteur: Habraken, J., 31 okt 2013

Begeleider: den Hartog, J. (Afstudeerdocent 1) & Kaiser, H. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Adding hardware emulation to software-in-the-loop simulation

Auteur: Zhang, J., 26 jun 2017

Begeleider: Geilen, M. (Afstudeerdocent 1), Baijens, J. (Externe persoon) (Externe coach) & Verhoeven, P. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Adding schedulability analysis to the Octopus toolset

Auteur: Kumar Somappa, A., 31 aug 2011

Begeleider: Mousavi, M. (Afstudeerdocent 1), Balachandra, M. (Externe persoon) (Afstudeerdocent 2) & Trcka, N. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Adding sequential composition and termination to the linear time: branching time spectrum

Auteur: Nijland, L., 31 aug 2018

Begeleider: Luttik, S. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Adding support for static-WCET analysis to LLVM

Auteur: Veens, R., 29 jan 2018

Begeleider: Corporaal, H. (Afstudeerdocent 1), Jordans, R. (Afstudeerdocent 2), Cuijpers, P. (Afstudeerdocent 2) & Torette, D. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A description of communicating mechanisms and their behaviour

Auteur: Eemers, H., 30 jun 1990

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

Scriptie/masterproef: Master

A DES generator for smartcard processors

Auteur: de Putter, C., 31 aug 1993

Begeleider: Rem, M. (Afstudeerdocent 1), Verhoeff, T. (Afstudeerdocent 2) & IJtsma, J. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A design for a safe Internet communication channel with the help of smartcards

Auteur: Cuijpers, E., 31 okt 1997

Begeleider: van Tilborg, H. (Afstudeerdocent 1), Maclaine Pont, P. (Externe persoon) (Externe coach) & Schoonen, A. (Externe coach)

Scriptie/masterproef: Master

A design method for self-timed circuits

Auteur: de Graaff, P., 31 aug 1986

Begeleider: Rem, M. (Afstudeerdocent 1), Kruseman Aretz, F. (Afstudeerdocent 2), Schols, H. (Afstudeerdocent 2) & Kaldewaij, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master