Department of Mathematics and Computer Science

Scripties/Masterproeven

Syna: emotion recognition based on spatio-temporal machine learning

Auteur: Shahrokhian, D., 30 okt 2017

Scriptie/masterproef: Master

Bestand

Synchronisatie van een onderling samenhangend stelsel verkeerslichten met behulp van een wiskundig model

Auteur: Klijzing, P., 31 aug 1968

Begeleider: Benders, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Synchronisatie van en communicatie tussen sequentiele processen in een boomgestructureerd dynamisch uitbreidbaar systeem

Auteur: Bomhoff, J. & Feijen, W., 31 aug 1970

Begeleider: Dijkstra, E. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Synchronization and communication for complex systems

Auteur: Willems, R., 31 aug 1998

Begeleider: Huijberts, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Synchronization of anchors in a TDoA based ultra-wide band localization system

Auteur: Nagdeo, J., 31 aug 2018

Begeleider: Nabi Najafabadi, M. (Afstudeerdocent 1), Meuleman, G. (Externe coach) & Shettar, C. (Externe coach)

Scriptie/masterproef: Master

Bestand

Synchronous and half-synchronous stream nets

Auteur: Kempenaar, R., 31 mei 1987

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

Scriptie/masterproef: Master

Synchronous dataflow graph (SDFG) modeling and performance analysis of multiprocessor NoC based system on chip (SoC)

Auteur: Hassoun, M., 28 feb 2009

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

Scriptie/masterproef: Master

Bestand

Synchronous dataflow models for Halide programming environment

Auteur: Zhou, H., 31 aug 2016

Begeleider: Goswami, D. (Afstudeerdocent 1), Baghbanbehrouzian, A. (Afstudeerdocent 2) & Seyedalizadeh Ara, S. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Syndrome decoding of rate k/n convolutional codes over GF(p)

Auteur: Kolen, A., 31 aug 1978

Begeleider: van Lint, J. (Afstudeerdocent 1) & Post, K. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Synergieën in de logistiek en distributie, in het bijzonder in het transport, binnen Speciaalzaken Ahold

Auteur: Willemen, R., 31 aug 1996

Begeleider: Lenstra, J. (Afstudeerdocent 1), Bartoo, J. (Externe persoon) (Externe coach) & Hoogeveen, J. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Syntax-gestuurde editors voor getypeerde Lambda-termen

Auteur: Harte, M., 30 jun 1994

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

Scriptie/masterproef: Master

Synthesis of color palettes

Auteur: Wijffelaars, M., 31 mrt 2008

Begeleider: van Wijk, J. (Afstudeerdocent 1) & Vliegen, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Synthetic image generation with anomalies by learning from few data points

Auteur: Uçar, B., 30 aug 2019

Begeleider: Vanschoren, J. (Afstudeerdocent 1) & Boughorbel, F. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Synthetic remote PPG models for validation and improvement of the automatic gain tuning algorithm

Auteur: Madanda, R., 31 aug 2016

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

Scriptie/masterproef: Master

Bestand

Systeemontwikkelmethoden

Auteur: Hoskens, C., 31 jul 1998

Begeleider: Somers, L. (Afstudeerdocent 1) & Aerts, A. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Systeemspecificatie van DIABOL

Auteur: Balvers, M., 30 apr 1990

Begeleider: van Hee, K. (Afstudeerdocent 1), Lapinski, A. (Externe persoon) (Afstudeerdocent 2) & Kooge-Kramers, M. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Systematic analysis of attacks on security protocols

Auteur: Hollestelle, G., 30 nov 2005

Begeleider: Mauw, S. (Afstudeerdocent 1) & Cremers, C. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

System exploration of next generation flash devices

Auteur: de Jong, I., 31 aug 2012

Begeleider: Goossens, K. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Systolic 2-dimensional rank order filtering

Auteur: Meesters, M., 31 aug 1995

Begeleider: Rem, M. (Afstudeerdocent 1), Sijstermans, F. (Externe persoon) (Afstudeerdocent 2) & Schalij, F. (Externe coach)

Scriptie/masterproef: Master

Systolische array's en recurrente betrekkingen

Auteur: van der Aa, T., 31 aug 1986

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

Scriptie/masterproef: Master

Table compression of fuzzy logic functions

Auteur: Rütten, P., 31 dec 1993

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

Scriptie/masterproef: Master

Tactile fields and target acquisition in the user interface

Auteur: Leenders, G., 31 aug 1994

Begeleider: Somers, L. (Afstudeerdocent 1) & Keyson, D. V. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Taktiekgestuurde bewijsprogramma's

Auteur: van den Berg, A., 30 nov 1995

Begeleider: Nederpelt Lazarom, R. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Talen beschreven door reguliere expressies met recursie : taaltheoretische eigenschappen en acceptoren

Auteur: van Linder, M., 30 jun 1988

Begeleider: Hemerik, C. (Afstudeerdocent 1) & ten Eikelder, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Talen en gereedschappen voor testafleiding

Auteur: Huizer, M., 30 nov 1999

Begeleider: Feijs, L. (Afstudeerdocent 1) & Cobben, J. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Target set selection

Auteur: Teusink, J., 19 jun 2019

Begeleider: Spieksma, F. (Afstudeerdocent 1) & Swennenhuis, C. (Afstudeerdocent 2)

Scriptie/masterproef: Bachelor

Bestand

Task execution time prediction for motion control applications

Auteur: Gozek, A., 31 okt 2013

Begeleider: Voeten, J. (Afstudeerdocent 1), Frijns, R. (Afstudeerdocent 2) & Gidalov, N. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

t-Designs, t > 3

Auteur: Driessen, L., 31 aug 1978

Begeleider: van Lint, J. (Afstudeerdocent 1) & van Tilborg, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Technique for forecasting in Medtronic's logistics environment

Auteur: Vaes, M., 30 jun 1992

Begeleider: Moonen, F. (Externe persoon) (Externe coach), Busch, E. (Externe persoon) (Externe coach) & van der Wal, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Techniques and processes for assessing compatibility of third-party software components

Auteur: Blankers, L., 30 jun 2006

Begeleider: Chaudron, M. (Afstudeerdocent 1) & Land, R. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Techniques for collaborative product development: processes or data exchanged to satisfy the requirements of the design-in-context use case that occurs in the discrete manufacturing supply chain

Auteur: Gu, C., 30 jun 2007

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

Scriptie/masterproef: Master

Technische realisatie van een amusementsspel op Internet

Auteur: van Zandbeek, J., 30 apr 1997

Begeleider: Somers, L. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Telepath: a path-index based graph database engine

Auteur: Mak, G., 27 nov 2017

Begeleider: Fletcher, G. (Afstudeerdocent 1), Yakovets, N. (Afstudeerdocent 2) & Poulovassilis, A. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Temporal-behavior evaluation of a network on chip

Auteur: van Berkel, R., 31 jan 2015

Begeleider: Bril, R. (Afstudeerdocent 1), Goossens, K. (Afstudeerdocent 2) & van den Berg, B. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Tensor network methods for quantum simulation

Auteur: van Eersel, H., 31 jan 2011

Begeleider: de Vink, E. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Terminatie en confluentie in AHA!

Auteur: Smits, D., 30 apr 2004

Begeleider: De Bra, P. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Terrain classification for unmanned ground vehicles in mining environments: using statistical descriptors of spectral and spatial terrain cues

Auteur: Knieps, O., 28 nov 2016

Begeleider: Luttik, S. (Afstudeerdocent 1), Folkesson, J. (Externe persoon) (Externe coach) & Salmén, M. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Test fixture optimization

Auteur: Oudman, F., 30 sep 2019

Begeleider: Mak, R. (Afstudeerdocent 1), Spierings, M. (Afstudeerdocent 2) & Corporaal, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Testing compilers using grammars

Auteur: van Breugel, F., 31 aug 1989

Begeleider: Rem, M. (Afstudeerdocent 1) & Gerritsen, M. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Testing for multimodality

Auteur: Stoepker, I. V., 2016

Begeleider: Pires da Silva Castro, R. (Afstudeerdocent 1) & van den Heuvel, E. (Afstudeerdocent 2)

Scriptie/masterproef: Bachelor

Bestand

Testing ICs derived from abstract circuits

Auteur: Goorden, J., 31 mrt 1988

Begeleider: Rem, M. (Afstudeerdocent 1), van Berkel, C. (Afstudeerdocent 2) & Beenker, F. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Testing the ATerm library

Auteur: Lem, P., 31 aug 2008

Begeleider: van den Brand, M. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Testing the Linux VFS with two mCRL2 models

Auteur: Dresens, R., 31 jan 2007

Begeleider: Groote, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Test protocol expansion : memory handling and efficiency improvements

Auteur: Boosten, M. & Jacobs, H., 31 dec 1996

Begeleider: Aarts, E. (Afstudeerdocent 1), Marinissen, E. (Afstudeerdocent 2) & Wouters, C. R. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Test protocol expansion : models and solution approaches

Auteur: van Wijngaarden, M., 31 aug 1995

Begeleider: Aarts, E. (Afstudeerdocent 1), Marinissen, E. (Afstudeerdocent 2) & Wouters, C. R. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Testruimten voor operatoren van fractionele integratie

Auteur: Mans, M., 31 okt 1989

Begeleider: de Graaf, J. (Afstudeerdocent 1) & van Eijndhoven, S. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Test time and wire length minimization for scanned IC designs : a layout-driven partitioning approach

Auteur: Tap, M., 30 apr 1999

Begeleider: Aarts, E. (Afstudeerdocent 1), Marinissen, E. (Afstudeerdocent 2) & de Kock, E. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Test time reduction algorithms for core-based ICs

Auteur: Aerts, J., 30 apr 1998

Begeleider: Lenstra, J. (Afstudeerdocent 1), Aarts, E. (Afstudeerdocent 2), Hurkens, C. (Afstudeerdocent 2) & Marinissen, E. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Text-editing met behulp van syntactische analyse

Auteur: Fabrie, R., 31 aug 1976

Begeleider: Kruseman Aretz, F. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Texture synthesis for data visualization

Auteur: Holten, D., 30 apr 2005

Begeleider: van Wijk, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand