Faculteit Wiskunde & Informatica

Scripties/masterproeven

Security of digital rights management systems

Auteur: Jonker, H., 31 aug 2004

Begeleider: Mauw, S. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

An interactive program for checking the correctness of expressions in AUT-SL

Auteur: Leijnen, A., 31 aug 1984

Begeleider: de Bruijn, N. (. (Afstudeerdocent 1) & Balsters, H. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Een variabel dimensie algoritme op de eenheidsimplex en op de productruimte van eenheidsimplices voor niet-propere integer- en vector labellingsfuncties

Auteur: Doup, T., 31 aug 1983

Begeleider: Talman, A. (Externe persoon) (Afstudeerdocent 1) & Benders, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Business logic extraction

Auteur: Vaessen, R., 30 jun 2001

Begeleider: Houben, G. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Clusteranalyse

Auteur: Schouten, J., 31 aug 1979

Begeleider: Doornbos, R. (Afstudeerdocent 1) & Seidel, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A software testing approach supported by a tool environment for the development of component tests

Auteur: Hermans, J., 30 jun 2006

Begeleider: Romijn, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Buffering in een productielijn voor printkoppen

Auteur: Kalb, J., 31 aug 2006

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

Scriptie/masterproef: Master

Publish/subscribe as architectural style for component interaction

Auteur: van de Laar, F., 31 aug 2002

Begeleider: Chaudron, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A queueing system with priority scheduling

Auteur: Keuning, H., 31 aug 1975

Begeleider: Wessels, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Communication in a distributed environment

Auteur: van Maren, H., 31 aug 1990

Begeleider: Rem, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Voorraadbeheer op rolletjes: ontwerp en implementatie van een voorraadsysteem voor papierrollen bij Empee Golfkarton Eindhoven B.V.

Auteur: Nijsten, F., 30 apr 1994

Begeleider: Wessels, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Shop floor control (EMI Compact Disc Holland)

Auteur: van de Loo, M., 31 aug 1992

Begeleider: van der Wal, J. (Afstudeerdocent 1), van der Sterren, J. (Externe persoon) (Externe coach) & Suhonjic, S. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Ontwerp en bouw van een computerprogramma voor de oplossing van transportproblemen

Auteur: Kentstra, W., 31 jan 1989

Begeleider: Benders, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Een eerste aanzet tot het bouwen van een Decision Support System met betrekking tot procesnetwerken, dat gebaseerd is op lineaire programmering

Auteur: van Vliet, S., 28 feb 1983

Begeleider: Wessels, J. (Afstudeerdocent 1), Keulemans, W. (Externe persoon) (Afstudeerdocent 2) & Benders, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Checking proofs with a computer

Auteur: Hartevelt, D., 31 aug 2009

Begeleider: Baeten, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Tile-based rendering

Auteur: Burgers, W., 31 mrt 2005

Begeleider: Kok, A. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

A time-domain approach to H-infinity worst-case design

Auteur: Peters, M., 31 aug 1989

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

Scriptie/masterproef: Master

Markovprogrammering

Auteur: Nabbe, P., 31 aug 1972

Begeleider: Wessels, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Een portable versie van het technische deel van een decision support system voor de klasse van familie-georienteerde lineaire programmeringsproblemen

Auteur: Werrij, F., 31 aug 1984

Begeleider: Keulemans, W. (Externe persoon) (Afstudeerdocent 1) & Benders, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Hydragen: an implementation of Hera-S

Auteur: Singh, B., 31 aug 2007

Begeleider: Houben, G. (Afstudeerdocent 1) & van der Sluijs, K. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

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

Inverse problems in transient elastography

Auteur: Kho, S., 18 sep 2009

Begeleider: Sini, M. (Externe persoon) (Afstudeerdocent 1) & Kindermann, S. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Automatische generatie en template-matching van modulaire databases

Auteur: Verbruggen, M., 30 apr 2004

Begeleider: Voorhoeve, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Homogenisation of a linear reaction-diffusion system modelling smouldering combustion in perforated media

Auteur: Ng, W., 31 aug 2011

Begeleider: Muntean, A. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Een calculationele benadering van een evaluator voor functionele programmeertalen

Auteur: Vermeijlen, J., 31 aug 1990

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

Scriptie/masterproef: Master

Discrete element method in granular material simulations

Auteur: Wan, Y., 31 aug 2011

Begeleider: Obermayr, M. (Externe persoon) (Afstudeerdocent 1) & Klar, A. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

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

Solution for a class of singular linear-quadratic control problems in MATLAB

Auteur: Blaakman, E., 31 aug 1991

Begeleider: Hautus, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Advanced virtual printer: a simulation of print quality of a printer under development

Auteur: Rijbroek, D., 31 aug 2003

Begeleider: Nuij, W. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Weekplanning van het personeel bij een stuwadoorsbedrijf

Auteur: Lenssen, M., 31 aug 1982

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

Scriptie/masterproef: Master

Classificatie van graafalgoritmen

Auteur: Soons, P., 28 feb 1990

Begeleider: Kaldewaij, A. (Afstudeerdocent 1) & van den Eijnde, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Developing tool support for the design and implementation of a web site with Hera's HPG

Auteur: Mees, L., 31 jan 2005

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

Scriptie/masterproef: Master

Bestand

Het éénprodukt-voorraadprobleem met onvolledige informatie : een rollingplan aanpak

Auteur: Tielen, W., 28 feb 1983

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

Scriptie/masterproef: Master

On combined symbol and digit error control codes

Auteur: Boly, J., 1 dec 1986

Begeleider: van Lint, J. (Afstudeerdocent 1) & van Gils, W. (Externe coach)

Scriptie/masterproef: Master

Valid inequalities for mixed 0-1 problems

Auteur: Hermans, P., 30 nov 1984

Begeleider: Benders, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bewaking van de kernenergie-centrale te Dodewaard met behulp van een rekenautomaat

Auteur: Senden, W., 1 sep 1971

Begeleider: Dijkstra, E. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Ontsluiting van cultuurhistorische informatie: de chi-navigator : datamodel & implementatie

Auteur: Dorssers, G., 30 jun 2006

Begeleider: Houben, G. (Afstudeerdocent 1), Ector, F. (Externe persoon) (Afstudeerdocent 2) & Mes, V. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Niet-parametrische regressie : een praktische vergelijking van een aantal bekende methoden

Auteur: Wijbenga, H., 28 feb 1995

Begeleider: Einmahl, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Stationaire verdelingen behorende bij gesloten netwerksystemen van wachtrijen, en bij het met time-sharing en "swap"-tijden uitgebreide M/M/1-systeem

Auteur: Strijbosch, L. W., 31 aug 1975

Begeleider: Wessels, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Voorraadbeheersing van "insurance type" reserveonderdelen

Auteur: Moonen, J., 31 aug 1988

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

Scriptie/masterproef: Master

Schattingsmethoden voor de parameters in het "Dynamic Difference" model

Auteur: Kastelijn, W., 31 aug 1972

Begeleider: Doornbos, R. (Afstudeerdocent 1)

Scriptie/masterproef: Master

De implementatie van een personeelsplanningsmechanisme in een interactieve spelsimulatie

Auteur: Aerts, P., 31 mei 1984

Begeleider: Wessels, J. (Afstudeerdocent 1), de Jong, J. (Externe persoon) (Afstudeerdocent 2) & Zwart, R. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Reviewing SWAP

Auteur: Diederen, R., 30 jun 2007

Begeleider: Voorhoeve, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Optimale proefopzetten voor lineaire responsiefuncties voor mengsels

Auteur: Mendieta, E., 31 aug 1975

Begeleider: Doornbos, R. (Afstudeerdocent 1) & Linssen, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Galois connections presented calculationally

Auteur: Aarts, C., 30 jun 1992

Begeleider: Backhouse, R. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Context awareness in ambient intelligence surroundings

Auteur: van den Heuvel, H., 31 aug 2007

Begeleider: van Doorn, M. (Externe persoon) (Afstudeerdocent 1), Broekstra, J. (Afstudeerdocent 2) & Hardman, L. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Multiple testing and an application on a data set

Auteur: Thonnard, M., 2005

Scriptie/masterproef: Bachelor

Bestand

Semantiek van pointers in Pascal

Auteur: van Evert, H., 31 aug 1988

Begeleider: Rem, M. (Afstudeerdocent 1) & Bijlsma, A. (Afstudeerdocent 2)

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