Faculteit Wiskunde & Informatica

Scripties/masterproeven

Using multi-layered perceptrons for production planning : the capacitated lot-sizing model with stockouts

Auteur: Suurmond, R., 31 aug 1998

Begeleider: Wessels, J. (Afstudeerdocent 1) & Stehouwer, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Using semantic roles to improve inference systems

Auteur: Mulders, P., 23 apr 2018

Begeleider: Menkovski, V. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Using social network analysis in open contracting data to detect corruption and collusion risks

Auteur: Herrera Murillo, D., 30 sep 2019

Begeleider: Medeiros de Carvalho, R. (Afstudeerdocent 1) & Yakovets, N. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Using trace clustering for configurable process discovery explained by eent log data

Auteur: van Oirschot, Y., 31 aug 2014

Begeleider: van Dongen, B. (Afstudeerdocent 1), Buijs, J. (Afstudeerdocent 2) & Dijkman, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Using triple scanplane information to triangulate implicit surfaces

Auteur: Sangers, J., 31 dec 1999

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

Scriptie/masterproef: Master

Using visual analytics for conformance checking and compliance rules

Auteur: Hatzidimitris, K., 30 nov 2013

Begeleider: van Dongen, B. (Afstudeerdocent 1), Bego, S. (Externe coach) & Kaymak, U. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Uzawa-type methods for the obstacle problem

Auteur: Kasumba, H., 31 aug 2007

Begeleider: Zulehner, W. (Externe persoon) (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Vakdidaktische achtergronden bij readers voor profielwerkstukken: "Kun je me de kortste weg vertellen?" en "Kun je de code kraken?"

Auteur: Tuyp, M., 31 aug 2002

Begeleider: van Asch, A. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Validating computerized systems

Auteur: Aalbers, B., 30 apr 2004

Begeleider: Houben, G. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Validation of CERN's finite state machines

Auteur: Leemans, S., 30 jun 2012

Begeleider: Willemse, T. (Afstudeerdocent 1), Keiren, J. (Afstudeerdocent 2), Glege, F. (Externe persoon) (Externe coach) & Garrido, R. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Validation of platoon control systems with explicit model of low-level control and communication-awareness

Auteur: Muhammed, S., 31 aug 2017

Begeleider: Goswami, D. (Afstudeerdocent 1), LI, H. (Externe coach) & Ozcelebi, T. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Valid inequalities for mixed 0-1 problems

Auteur: Hermans, P., 30 nov 1984

Begeleider: Benders, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Value at risk for portfolios of assets and options

Auteur: Foppen, W. & Laseroms, O., 31 okt 2000

Begeleider: Einmahl, J. (Afstudeerdocent 1) & Vries, de, C. G. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Variabiliteit van onderscheidingsvermogen van therapeutische experimenten gebruikmakend van alpha-spending stopregels

Auteur: van Rossum, J., 31 aug 1992

Begeleider: van der Laan, P. (Afstudeerdocent 1), van Strik, R. (Externe persoon) (Afstudeerdocent 2), Wijnen, J. (Externe coach) & van Es, G. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Variable dimension restart algorithms for an exchange economy with linear production technologies

Auteur: Meulendijks, G., 31 dec 1990

Begeleider: Talman, A. (Externe persoon) (Afstudeerdocent 1)

Scriptie/masterproef: Master

Variational inference on graphical models

Auteur: Koop, S., 30 sep 2019

Begeleider: Portegies, J. W. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

VDSEIR - a graphical layer on top of the Octopus toolset

Auteur: in 't Groen, A., 31 aug 2011

Begeleider: Sidorova, N. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Vectorization of code generation in CDMA

Auteur: Nas, R., 30 apr 2003

Begeleider: van Berkel, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Vectorization of fast Fourier transform and digital audio broadcast reception

Auteur: Gerritsen, D., 29 feb 2004

Begeleider: van Berkel, C. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Vector processing on FPGAs: scalability and performance

Auteur: Nelissen, M., 30 jun 2006

Begeleider: van Berkel, C. (Afstudeerdocent 1) & Sawitzki, S. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Vehicle function correctness: using mCRL2 to verify StateFlow charts and Simulink models

Auteur: Schoren, R., 31 mrt 2012

Begeleider: Groote, J. (Afstudeerdocent 1) & Huisman, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Vehicle function correctness: using mCRL2 to compare higher and lower level models

Auteur: de Langen, M., 30 jun 2013

Begeleider: Groote, J. (Afstudeerdocent 1) & Huisman, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Vehicle rerouting policies based on incident duration prediction in a stochastic network

Auteur: Meeles, T., 29 okt 2018

Begeleider: Boon, M. (Afstudeerdocent 1), Borst, S. (Afstudeerdocent 2), van den Berg, J. (. (Externe persoon) (Externe coach) & Neumann, N. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Veldberekeningen aan axiaal-symmetrische stroomspoelen in vacuüm

Auteur: Voermans, M., 31 aug 1986

Begeleider: Veltkamp, J. (Afstudeerdocent 1), Jansen, J. (Afstudeerdocent 2) & Goemans, P. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Veld en impedantie van een antenne in een cylindrische golfpijp

Auteur: Mayer, J., 31 aug 1972

Begeleider: Boersma, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Verbeteren van het proces fondsjaarverslagen: een casestudie naar de mogelijkheden van business process redesign

Auteur: Vos, R. L., 31 jan 2006

Begeleider: van Hee, K. (Afstudeerdocent 1), van der Toorn, R. (Afstudeerdocent 2), Aerts, A. (Afstudeerdocent 2) & Reijers, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Verbeteren van queries met behulp van logika

Auteur: Bisschop, G., 31 mei 1983

Begeleider: Peremans, W. (Afstudeerdocent 1) & Brock, de, E. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Verbetering van de gebruiksvriendelijkheid van een informatie-distributiesysteem bij Philips Corporate Purchasing

Auteur: Keuning, C., 31 aug 1992

Begeleider: De Bra, P. (Afstudeerdocent 1) & Houben, G. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Verbetering van de query performance in Oracle

Auteur: van der Schaaf, T., 31 aug 1988

Begeleider: Remmen, F. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Veredelen van queries in een conceptuele taal

Auteur: Pieper, F., 31 aug 1985

Begeleider: Peremans, W. (Afstudeerdocent 1) & Brock, de, E. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Vereffening van waarden horend bij een stelsel niet-lineaire vergelijkingen

Auteur: van Bemmelen, J., 31 okt 1992

Begeleider: Linssen, H. (Afstudeerdocent 1), Molenaar, J. (Afstudeerdocent 2) & Raa, te, A. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Vergelijking tussen verzamelingstheoretische rekenmodellen

Auteur: Pijnappel, W., 30 apr 1994

Begeleider: Backhouse, R. (Afstudeerdocent 1) & van der Woude, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

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