Department of Mathematics and Computer Science

Scripties/Masterproeven

Vergelijking van algebraische en grammaticale karakteriseringen van klassen formele talen

Auteur: van den Heuvel-Gerrits, C., 31 aug 1972

Begeleider: Peremans, W. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Vergelijking van de R2algebra met de NF2algebra

Auteur: Maitimo, P., 31 jan 1988

Begeleider: Paredaens, J. (Afstudeerdocent 1) & Houben, G. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Vergelijking van een aantal numerieke oplossingsmethoden voor de diffusievergelijking

Auteur: de Kleijn, W., 31 aug 1982

Begeleider: Veltkamp, J. (Afstudeerdocent 1), Jansen, J. (Afstudeerdocent 2) & van Gemert, M. J. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Vergelijking van specifikatietalen aan de hand van een model van een gedistribueerd database systeem

Auteur: Coelen, P., 30 jun 1988

Begeleider: van Hee, K. (Afstudeerdocent 1), Aerts, A. (Afstudeerdocent 2) & Noorlander, C. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Vergelijking van theorem provers

Auteur: Rikken, E., 30 apr 1997

Begeleider: Nederpelt Lazarom, R. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Verificatie van EURIS : een mogelijke route

Auteur: Mennen, W., 31 aug 1997

Begeleider: Baeten, J. (Afstudeerdocent 1) & Vlijmen, van, S. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Verification and performance analysis of a paint factory

Auteur: Baeten, M., 30 jun 2007

Begeleider: Luttik, S. (Afstudeerdocent 1) & Trcka, N. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Verification of architectural rules and design patterns

Auteur: Shetty, K. & Menezes, V., 31 aug 2011

Begeleider: van den Brand, M. (Afstudeerdocent 1), van Wouw, K. (Afstudeerdocent 2), Kumar, P. (Externe persoon) (Afstudeerdocent 2) & Faber, A. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Verification of ASD multi-component systems in mCRL2

Auteur: Rol, M., 31 aug 2018

Begeleider: Groote, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Verification of control software of Rijkswaterstaat

Auteur: Saralaya, V., 31 aug 2012

Begeleider: Groote, J. (Afstudeerdocent 1), Pai, R. (Externe persoon) (Externe coach), Wijs, A. (Afstudeerdocent 2) & Keiren, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Verification of PLC code used at CERN

Auteur: van den Helder, P., 31 mei 2016

Begeleider: Willemse, T. (Afstudeerdocent 1) & Bosnacki, D. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Verification of PLC source code using propositional logic

Auteur: Meulen, M., 31 mei 2010

Begeleider: Groote, J. (Afstudeerdocent 1) & Hamberg, R. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Verification of security protocols: tool support for update semantics

Auteur: Nirmal, S., 31 aug 2005

Begeleider: de Vink, E. (Afstudeerdocent 1) & Orzan, S. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Verification of the I-cane prototype

Auteur: Westerveen, J., 31 dec 2009

Begeleider: Reniers, M. (Afstudeerdocent 1) & Stappers, F. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Verification of the IEEE 1394.1 panic protocol with formal methods

Auteur: van der Stap, C., 30 apr 2007

Begeleider: Romijn, J. (Afstudeerdocent 1), Kuiper, R. (Afstudeerdocent 2) & Reniers, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Verified design by contract: case studies

Auteur: Maassen, H., 31 aug 2008

Begeleider: Hemerik, C. (Afstudeerdocent 1) & Franssen, M. (Begeleider)

Scriptie/masterproef: Master

Bestand

Verifying and optimising disjoint paths in ISP networks

Auteur: Post, B., 31 okt 2014

Begeleider: Bansal, N. (Afstudeerdocent 1), Zuraniewski, P. (Externe persoon) (Externe coach) & Gijsen, B. (Externe coach)

Scriptie/masterproef: Master

Bestand

Verifying Java programs by integrating ESC/Java2 and PVS

Auteur: Sun, K., 30 nov 2006

Begeleider: Kuiper, R. (Afstudeerdocent 1), Huizing, C. (Afstudeerdocent 2) & Poll, E. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Verifying security protocols by combining static analysis and model checking

Auteur: Teeselink, E., 6 okt 2010

Begeleider: Nielson, H. R. (Externe persoon) (Afstudeerdocent 1) & Mathijssen, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Verifying SPLs using parity games expressing variability

Auteur: van Loo, S., 25 nov 2019

Begeleider: Willemse, T. A. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand
Bestand

Verkeerslichten

Auteur: Godtschalk, A., 2008

Scriptie/masterproef: Bachelor

Bestand

Verkeersprognoses en traffic assignment

Auteur: Beuker, A., 31 aug 1972

Begeleider: Benders, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Verpleegkundige personeelsinzet in ziekenhuizen

Auteur: Moonen, M., 2013

Begeleider: van Leeuwaarden, J. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

Verscherpingen van de centrale limietstelling

Auteur: Joosten, H., 31 aug 1969

Begeleider: Helmberg, G. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Verschillende ontwerpmethoden voor de besturing van een lift

Auteur: Paulissen, G., 31 mei 1989

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

Scriptie/masterproef: Master

Version management and change control

Auteur: van Bragt, B., 28 feb 1998

Begeleider: van der Ven, H. (Externe persoon) (Afstudeerdocent 1), van de Pol, J. (Afstudeerdocent 2) & Somers, L. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Video segmentation using motion and colour

Auteur: Piek, M., 30 nov 2002

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

Scriptie/masterproef: Master

Bestand

Viewing of large volumes on a (thin) client-server based configuration

Auteur: Stoetzer, M., 30 jun 2007

Begeleider: de Bliek, H. L. (Externe persoon) (Afstudeerdocent 1), Oliván-Bescós, J. (Externe persoon) (Afstudeerdocent 2) & Telea, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

View trees for Windows

Auteur: 't Hoen, P., 31 aug 1996

Begeleider: Hemerik, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Violence detection in natural language

Auteur: van Meel, M., 31 jan 2018

Begeleider: Pechenizkiy, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Virtual communities in the IMS network

Auteur: Molanus, C., 31 jan 2009

Begeleider: Lukkien, J. (Afstudeerdocent 1) & Chen, S. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Virtual platform for the ARM Cortex-M0 Processor

Auteur: Lopez Guadarrama, I., 30 apr 2015

Begeleider: Saikkonen, H. (Externe persoon) (Externe coach) & Bril, R. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

VISEQU : a Windows program to support the study of the cartel-versus-fringe model

Auteur: Polling, F., 31 aug 1998

Begeleider: de Jong, J. (Afstudeerdocent 1) & Withagen, C. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Visibility index computations on grid terrains

Auteur: Lambrechts, C., 2015

Begeleider: de Berg, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Vision and on-body sensor fusion for monitoring food intake behaviour in a restaurant environment

Auteur: Troost, P., 30 apr 2013

Begeleider: Amft, O. (Afstudeerdocent 1), van der Aa, N. (Afstudeerdocent 2) & Kakra, V. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Vision-based edge tracking for area optimization

Auteur: van den Dungen, M., 31 aug 2013

Begeleider: Corporaal, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Vision based obstacle representation for cobot collision avoidance in unstructured environments

Auteur: Bosch, T., 14 mei 2019

Begeleider: Nijmeijer, H. (Afstudeerdocent 1), Saccon, A. (Begeleider), Jalba, A. C. (Begeleider) & Bemelmans, M. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Visual analysis of multi-agent systems: a case study

Auteur: Reijrink, J., 31 aug 2016

Begeleider: van de Wetering, H. (Afstudeerdocent 1) & Postma, B. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Visual analytics for microbial phylogeny

Auteur: Dinkla, K., 31 aug 2010

Begeleider: Westenberg, M. (Afstudeerdocent 1) & Timmerman, H. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Visual analytics framework for clinical trial support

Auteur: Sokoreli, I., 30 sep 2013

Begeleider: Pechenizkiy, M. (Afstudeerdocent 1) & Tesanovic, A. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Visual anomaly detection using deep learning

Auteur: Komar, T., 29 okt 2018

Begeleider: Vanschoren, J. (Afstudeerdocent 1) & ten Dijke, N. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Visual conformance checking using BPMN

Auteur: de Bie, B., 27 mei 2019

Begeleider: Meulemans, W. (Afstudeerdocent 1), Scheepens, R. (Externe coach) & Dijkman, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Visual exploration of segmentation errors in pelvic structures

Auteur: Marcelis, F., 31 aug 2015

Begeleider: van de Wetering, H. (Afstudeerdocent 1), Raidou, R. (Afstudeerdocent 2) & Vilanova Bartroli, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Visual inspection of 3D printed products

Auteur: Li, J., 29 okt 2018

Begeleider: Holenderski, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Visual interactive grouping: follow the leader!

Auteur: Lammers, T., 31 mei 2011

Begeleider: Vliegen, R. (Externe coach) & van de Wetering, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Visualisatie van type-afleidingen in Lambda-calculus

Auteur: Tevel, J., 31 aug 1993

Begeleider: Hemerik, C. (Afstudeerdocent 1) & Poll, E. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Visualisation of modern key exchange schemes for more than two parties in CrypTool and their security analysis

Auteur: Onete, M., 31 okt 2008

Begeleider: Lange, T. (Afstudeerdocent 1) & Esslinger, B. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Visualisation of state transition graphs

Auteur: van Ham, F., 31 aug 2000

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

Scriptie/masterproef: Master

Bestand

Visualization for text-based research in philosophy

Auteur: Hofstede, S., 29 okt 2018

Begeleider: Westenberg, M. (Afstudeerdocent 1), Castermans, T. (Afstudeerdocent 2) & Koopman, R. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand