Faculteit Wiskunde & Informatica

Scripties/masterproeven

A mathematical view on entity-relationship models

Auteur: van der Lee, P., 1 dec 1986

Begeleider: van Hee, K. (Afstudeerdocent 1) & Rem, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A memory-centric SIMD neural network accelerator: balancing efficiency & flexibility

Auteur: Broere, J., 31 aug 2013

Begeleider: Corporaal, H. (Afstudeerdocent 1) & Peemen, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A mesh routing chip in Tangram

Auteur: Cheung, H., 30 nov 1994

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

Scriptie/masterproef: Master

A meta model for the mapping of hierarchical message structures

Auteur: Boer, E., 30 apr 1999

Begeleider: Somers, L. (Afstudeerdocent 1), de Crom, P. (Afstudeerdocent 2), van Eijk, P. H. (Externe persoon) (Afstudeerdocent 2) & Hofman, W. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A method for decomposing delay-insensitive circuits

Auteur: van der Veeken, R., 30 okt 1987

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

Scriptie/masterproef: Master

A method for identifying undesired medical treatment variants using process and data mining techniques

Auteur: Cremers, L., 31 jul 2018

Begeleider: Vanderfeesten, I. (Afstudeerdocent 1), Medeiros de Carvalho, R. (Afstudeerdocent 2) & Pechenizkiy, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A methodological business process redesign approach for documented processes: a case study within ASML

Auteur: Arkiliç, I., 30 sep 2011

Begeleider: Reijers, H. (Afstudeerdocent 1) & Kuijpers, R. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A method to derive delay-insensitive circuits

Auteur: Kwast, E., 30 okt 1987

Begeleider: Rem, M. (Afstudeerdocent 1), Schols, H. (Afstudeerdocent 2) & de Graaff, P. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A mixed effects model for analysis of experimental variation in cDNA microarrays

Auteur: Mackus, W., 31 aug 2004

Begeleider: Di Bucchianico, A. (Afstudeerdocent 1) & van de Wiel, M. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A model and a prediction algorithm for SO2 concentration in the Rijnmond area

Auteur: Meijboom, B., 31 aug 1982

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

Scriptie/masterproef: Master

A model based approach and tool support for software process audit on software product quality in automotive domain

Auteur: Tummalapalli B.N.V.V., K., 30 aug 2018

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

Scriptie/masterproef: Master

A model-based test platform for rail signalling systems

Auteur: Bouwman, M., 25 mrt 2019

Begeleider: Luttik, B. (Afstudeerdocent 1) & Janssen, B. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A model for the drying process of clay

Auteur: Wigmans, A., 31 aug 1994

Begeleider: Mattheij, R. (Afstudeerdocent 1), Kaasschieter, E. (Afstudeerdocent 2) & van de Ven, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A modeling language for reconfigurable distributed Hybrid systems

Auteur: Kratz, F., 30 nov 2005

Begeleider: Reniers, M. (Afstudeerdocent 1), Lee, I. (Externe persoon) (Afstudeerdocent 2) & Pappas, G. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A molecular dynamics simulation on a distributed memory parallel machine

Auteur: Kerkhof, M., 1994

Begeleider: Rem, M. (Afstudeerdocent 1), Hendriks, C. (Externe persoon) (Externe coach), Lukkien, J. (Afstudeerdocent 2) & van de Sluis, E. (Externe coach)

Scriptie/masterproef: Master

A more rigorous coupled-wave analysis (MSolver)

Auteur: van Kraaij, M., 30 jun 2004

Begeleider: Mattheij, R. (Afstudeerdocent 1), Maubach, J. (Afstudeerdocent 2) & Boef, den, A. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

A MPI-based communication library for development of parallel programs

Auteur: Frijns, M., 30 jun 1998

Begeleider: Hilbers, P. (Afstudeerdocent 1), Grinwis, J. (Externe persoon) (Afstudeerdocent 2) & Lukkien, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

A multi-aspect reference architecture for a business process cloud platform

Auteur: Stoitsev, V., 31 dec 2012

Begeleider: Grefen, P. (Afstudeerdocent 1), van Dongen, B. (Afstudeerdocent 2) & van der Starre, E. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

A multi-level parallel solution for huffman decoding

Auteur: Drijvers, A., 31 aug 2008

Begeleider: Mesman, B. (Afstudeerdocent 1) & Alba Pinto, C. A. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

A multilevel preconditioning technique for solving large sparse linear systems

Auteur: Courtin, M., 31 jul 1997

Begeleider: Mattheij, R. (Afstudeerdocent 1) & Reusken, A. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

An access control platform based on blockchain

Auteur: Galaz Garcia, L., 25 sep 2017

Begeleider: Holenderski, M. (Afstudeerdocent 1) & Holenderski, L. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

An adaption of the crossbred algorithm for solving multivariate quadratic systems over F2 on GPUs

Auteur: Ning, K., 27 nov 2017

Begeleider: Lange, T. (Afstudeerdocent 1), Bernstein, D. (Externe coach) & Niederhagen, R. (Externe coach)

Scriptie/masterproef: Master

Bestand

An adaptive and scrutable math tutoring system

Auteur: van Lankveld, G., 31 aug 2017

Begeleider: Stash, N. (Afstudeerdocent 1), De Bra, P. (Afstudeerdocent 2) & Huizing, C. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

An advanced fluid-structure interaction software package for industrial problems in nuclear reactor applications

Auteur: Chouchoulis, J., 17 dec 2018

Begeleider: Koren, B. (Afstudeerdocent 1) & Shams, A. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

An agile approach supported by a tool environment for the development of software components

Auteur: Zwartjes, G. & van Geffen, J., 31 jan 2005

Begeleider: Watson, B. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

An algebraic approach to Lie point symmetries of ordinary differential equations

Auteur: Draisma, J., 31 aug 1998

Begeleider: Cohen, A. (Afstudeerdocent 1)

Scriptie/masterproef: Master

An algebraic semantics of message charts

Auteur: Reniers, M., 30 apr 1994

Begeleider: Baeten, J. (Afstudeerdocent 1) & Mauw, S. (Afstudeerdocent 2)

Scriptie/masterproef: Master

An algorithm based on a sequence of linear stationary point problems for finding equilibria in an economy with linear production technologies

Auteur: van Unen, E., 30 jun 1990

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

Scriptie/masterproef: Master

An algorithm that constructs primitive implementations from delay-insensitive specifications

Auteur: van Engelen, R., 31 aug 1996

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Analyse en benadering van wachtrijen voor verkeerslichten

Auteur: Gootzen, Y. & Timmerman, R., 27 jul 2015

Begeleider: Boon, M. (Afstudeerdocent 1) & van Leeuwaarden, J. (Afstudeerdocent 2)

Scriptie/masterproef: Bachelor

Bestand

Analyse en simulatie van een integraal productiebesturingssysteem

Auteur: van der Hoeven, C., 31 aug 1979

Begeleider: Wessels, J. (Afstudeerdocent 1), Grünwald, H. (Afstudeerdocent 2) & van der Stroom, A. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Analyse en voorspelling van sterftekansen: en de invloed hiervan op de technische voorziening van een pensioenfonds

Auteur: Weerts, E., 31 aug 2009

Begeleider: van der Wal, J. (Afstudeerdocent 1) & Sebregts, R. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Analysemethoden ten behoeve van de planning van Datanet-1

Auteur: Kuipers, J., 31 aug 1988

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

Scriptie/masterproef: Master

Analyse naar de oorzaak van kromming in de Athlonplaat

Auteur: Hanoeman, S., 31 aug 2002

Begeleider: Dijkstra, J. (Afstudeerdocent 1), Lahr, F. (Externe persoon) (Externe coach) & van der Laan, P. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Analyse van antwoorden met behulp van een CAS

Auteur: Ballemans, K., 2013

Begeleider: Cuypers, F. (Afstudeerdocent 1)

Scriptie/masterproef: Bachelor

Bestand

Analyse van een lineair-regressie-probleem bij aanwezigheid van voorafinformatie

Auteur: Habbema, J., 31 aug 1971

Begeleider: Hamaker, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Analyse van een productielijn met buffers

Auteur: Meyfroyt, P., 2010

Begeleider: Adan, I. (Afstudeerdocent 1) & Resing, J. (Afstudeerdocent 2)

Scriptie/masterproef: Bachelor

Bestand

Analyse van een verkeersmodel

Auteur: van der Velde, A., 31 aug 1997

Begeleider: Huijberts, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Analyse van fouten bij patiënt-bestraling

Auteur: Roelen, J., 31 okt 2003

Begeleider: van de Wal, J. (Externe persoon) (Afstudeerdocent 1) & Vos, P. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Analyse van FRIDA met behulp van CPNTOOLS

Auteur: Poupa, B., 31 mei 2005

Begeleider: Sidorova, N. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Analyse van het transportsysteem in een assemblagefabriek

Auteur: Repkes, J., 31 mrt 1988

Begeleider: Zijm, W. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Analyse van multi-echelon lijnsystemen met eindige capaciteiten

Auteur: Speck, C., 31 aug 1991

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

Scriptie/masterproef: Master

Analysis and design of pharmacokinetic models

Auteur: Eyzaguirre Pérez, R., 31 aug 2006

Begeleider: van Berkum, E. (Afstudeerdocent 1) & van der Knaap, H. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Analysis and implementation of patterns for mass customization in business process monitoring

Auteur: Yu, C., 31 aug 2012

Begeleider: Comuzzi, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Analysis and improvement of data handling performance of a visualization tool

Auteur: Sogeler, D., 31 aug 2006

Begeleider: De Bra, P. (Afstudeerdocent 1) & van der Linden, E. (. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Analysis and improvement of process models with respect to key performance indicators: a debt collection case study

Auteur: Syring, A., 28 mei 2018

Begeleider: de Leoni, M. (Afstudeerdocent 1), Schouten, M. (Externe persoon) (Externe coach), Duivesteijn, W. (Afstudeerdocent 2) & Türetken, O. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Analysis and modeling of the timing behavior of GPU architectures

Auteur: Voudouris, P., 31 dec 2014

Begeleider: Corporaal, H. (Afstudeerdocent 1) & van den Braak, G. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Analysis of 3D MRI blood-flow data using Helmholtz decomposition

Auteur: Arias, A., 30 nov 2011

Begeleider: Jalba, A. (Afstudeerdocent 1), Duits, R. (Afstudeerdocent 2) & van Pelt, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand