Scripties zoeken

Zoek in alle inhoud

Filters voor Afstudeerscripties

Concepten zoeken
Geselecteerde filters

Assessing political responsibility of transnational advocacy networks through social network analysis: an empirical study

Auteur: Nnafie, S., 31 aug 2010

Begeleider: Romijn, H. (Afstudeerdocent 1) & Rooks, G. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

The semantics of ALIAS defined in mCRL2

Auteur: Jonk, R., 26 sep 2016

Begeleider: Groote, J. (Afstudeerdocent 1), Hendriks, D. (Externe coach) & Verhoeff, T. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

A trace theoretic view of protocols

Auteur: Gons, T., 30 sep 1987

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

Scriptie/Masterproef: Master

De relatie tussen deadlock en projectie bij parallele processen

Auteur: Kamps, M., 31 aug 1990

Begeleider: Rem, M. (Afstudeerdocent 1), Verhoeff, T. (Afstudeerdocent 2) & Kaldewaij, A. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Een methode voor het oplossen van besturingsproblemen in tracetheorie

Auteur: Koster, J., 30 sep 1992

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

Scriptie/Masterproef: Master

Reliable HRT intra-node multipoint RPC in DEDOS

Auteur: Wevers, H., 31 okt 1995

Begeleider: van der Stok, P. (Afstudeerdocent 1), Hooman, J. J. (Externe persoon) (Afstudeerdocent 2) & Verhoeff, T. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

A virtual reality system for offshore platform safety training

Auteur: Otten, S., 31 aug 1999

Begeleider: van Wijk, J. (Afstudeerdocent 1), van de Wetering, H. (Afstudeerdocent 2) & Verhoeff, T. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Redesign of the Tangram compiler to allow hardware sharing through automated syntax-tree folding

Auteur: Mommersteeg, G., 30 nov 2003

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Program transformations in Tangram: a framework for abstract syntax tree rephrasings

Auteur: de Wit, M., 30 nov 2003

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

A computer search for quasi-cyclic codes

Auteur: Weijs, S., 31 jul 1997

Begeleider: van Tilborg, H. (Afstudeerdocent 1), Verhoeff, T. (Afstudeerdocent 2) & Aarts, E. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

A tool for validation and comparison of delay-insensitive specifications

Auteur: Scheffers, E., 31 okt 1997

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Correctnes proof for an implementation of the CSP-interaction mechanism

Auteur: Langewouters, J., 30 jun 1993

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

Scriptie/Masterproef: Master

A DES generator for smartcard processors

Auteur: de Putter, C., 31 aug 1993

Begeleider: Rem, M. (Afstudeerdocent 1), Verhoeff, T. (Afstudeerdocent 2) & IJtsma, J. (Externe persoon) (Afstudeerdocent 2)

Scriptie/Masterproef: Master

How to beat high scores in Yahtzee : a caching structure for evaluating large recurrent functions

Auteur: Cremers, C., 30 jun 2002

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Powering data centers with renewable energy: simulation-based design of an on-site system for a TUe case study

Auteur: Patron Hernandez, A., 31 aug 2017

Begeleider: Hensen, J. (Afstudeerdocent 1), Romijn, H. (Afstudeerdocent 2), Hoes, P. (Afstudeerdocent 2), Torrens Galdiz, J. (Afstudeerdocent 2) & Zavrel, V. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Using multi criteria analysis to compare sustainable energy systems: a comparison of renewable energy options and multiple MCDA methods

Auteur: Merks, J., 30 apr 2015

Begeleider: Gibescu, M. (Afstudeerdocent 1), Kirkels, A. (Afstudeerdocent 2) & Romijn, H. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Het toestandsdiagram als specificatie van een tracestructuur

Auteur: Beuk, L., 30 nov 1985

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

Scriptie/Masterproef: Master

Discover area

Auteur: Jaasma, P., 31 aug 2014

Begeleider: Lu, Y. (Afstudeerdocent 1), Romijn, H. (Afstudeerdocent 2) & Winthagen, V. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

The development of cooperation: enhanching the role of technology in Dutch development cooperation policy

Auteur: Daamen, A., 31 aug 2007

Begeleider: Romijn, H. (Afstudeerdocent 1), Biemond, I. (Afstudeerdocent 2) & Szirmai, A. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Prepaid water in Namibia: understanding the ongoing transition

Auteur: van Herwijnen, F., 30 apr 2012

Begeleider: Romijn, H. (Afstudeerdocent 1) & Raven, R. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Visualization of Dataflow Models: towards LIME-next generation Tool Chain for Dataflow Models

Auteur: Nayak, N., 31 aug 2010

Begeleider: Verhoeff, T. (Afstudeerdocent 1), Kourzanov, P. =. P. (Externe persoon) (Afstudeerdocent 2) & Dajsuren, Y. (Externe coach)

Scriptie/Masterproef: Master

Bestand

Generating C code from platform specific models towards LIME-next generation tool chain for dataflow models

Auteur: Shetty, N., 31 aug 2010

Begeleider: Verhoeff, T. (Afstudeerdocent 1), Kourzanov, P. =. P. (Externe persoon) (Afstudeerdocent 2) & Dajsuren, Y. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Traffic aware and low power MAC protocol analysis and validation

Auteur: Bilos, A., 31 dec 2009

Begeleider: Lukkien, J. (Afstudeerdocent 1) & Verhoeven, P. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Requirements, design and implementation of T-ReCS basic

Auteur: Driessen, M., 31 aug 2005

Begeleider: van den Nieuwelaar, N. (. (Afstudeerdocent 1), Worms, J. (Externe persoon) (Afstudeerdocent 2) & Verhoeff, T. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

The discovery of bottlenecks within the BIM design process by using process mining: the concept of process mining in combination with BIM models in the design phase of construction projects

Auteur: van der Graaf, C., 31 okt 2017

Begeleider: de Vries, B. (Afstudeerdocent 1), Beetz, J. (Afstudeerdocent 2), Verhoeff, T. (Afstudeerdocent 2), Imbrechts, P. (Externe persoon) (Externe coach) & Malvar, V. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

Resource modeling of software components in the OSAS framework

Auteur: Gebreweld, A., 4 okt 2012

Begeleider: Lukkien, J. (Afstudeerdocent 1) & Verhoeven, P. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

The influence of contextual factors on 'last-mile' distribution models for solar home system distributors in East Africa

Auteur: van Gemert, M., 29 mrt 2018

Begeleider: Romijn, H. (Afstudeerdocent 1), Castaldi, C. (Afstudeerdocent 2) & Kirkels, A. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

A critical analysis of the IOI grading process: with an application of algorithm taxonomies

Auteur: van Leeuwen, W. T., 30 nov 2005

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Performance benchmarking of freeRTOS and its hardware abstraction

Auteur: Xu, T., 31 dec 2008

Begeleider: Lukkien, J. (Afstudeerdocent 1), van der Stok, P. (Afstudeerdocent 2), Verhoeven, P. (Afstudeerdocent 2), Schoofs, A. (Afstudeerdocent 2) & Mesman, B. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Bank transaction minimization

Auteur: Salomé, D., 31 aug 2017

Begeleider: Nederlof, J. (Afstudeerdocent 1) & Verhoeff, T. (Afstudeerdocent 2)

Scriptie/Masterproef: Bachelor

Bestand

Time-of-Flight Electron Energy Loss Spectroscopy by using miniaturized RF technology

Auteur: van Ninhuijs, M., 2016

Begeleider: Mutsaers, P. (Afstudeerdocent 1) & Verhoeven, W. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Extending BPMN for modeling manufacturing processes

Auteur: Aspridou, M., 30 okt 2017

Begeleider: Vanderfeesten, I. (Afstudeerdocent 1), Traganos, K. (Afstudeerdocent 2), Buijs, J. (Afstudeerdocent 2) & Erasmus, J. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Towards zero energy hospitals: Utrecht University Medical Center case study

Auteur: Dainese, E., 31 aug 2018

Begeleider: Walker, S. (Afstudeerdocent 1), Maassen, W. (Afstudeerdocent 2) & Zeiler, W. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Reconstructing a level-1-network from quartets

Auteur: Sonke, W., 2013

Begeleider: Keijsper, J. (Afstudeerdocent 1) & Pendavingh, R. (Afstudeerdocent 2)

Scriptie/Masterproef: Bachelor

Bestand

Care quest: tool in helping informal caregivers living a more balanced and sustainable life

Auteur: Putzu, M., jun 2017

Begeleider: Lu, Y. (Afstudeerdocent 1) & Khan, J. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

CM circuits master

Auteur: Seetsen, W., jun 2017

Begeleider: Khan, J. (Afstudeerdocent 1) & Hupfeld, A. (Afstudeerdocent 2)

Scriptie/Masterproef: Bachelor

Towards in vitro spatial organization of caspase-9

Auteur: van der Zon, N., 22 feb 2018

Begeleider: Rosier, B. (Afstudeerdocent 1) & de Greef, T. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

A microfluidic toolbox for supramolecular chemistry and chemical biology

Auteur: Rosier, B., 31 okt 2014

Begeleider: de Greef, T. (Afstudeerdocent 1) & Meijer, E. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Design implementation of behavioural change techniques to improve perceived euhydration

Auteur: van den Broek, S., jun 2018

Begeleider: Vos, S. (Afstudeerdocent 1) & Khan, J. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Design tools for fencers

Auteur: Giunta, L., 2016

Begeleider: Khan, V. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Qrious: stop to restart

Auteur: Smeding, T. M., jun 2018

Begeleider: Khan, J. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

On-node processing: algorithms for activity classification and monitoring in wireless sensor networks

Auteur: Albu, D., 31 dec 2009

Begeleider: Lukkien, J. (Afstudeerdocent 1) & Verhoeven, P. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Constructing shortest covering walks of neighbour-swap graphs: generating linear extensions of posets by adjacent transpositions

Auteur: Bellaard, G., 24 jul 2019

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/Masterproef: Bachelor

Bestand

Efficient identification of abnormal behavior in complex systems by using dependence matrices

Auteur: Ni, J., 28 okt 2019

Begeleider: Verhoeff, T. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Cosmic rays: CORSIKA predictions for separated tracks

Auteur: van der Drift, D., 30 nov 2012

Begeleider: van Leeuwen, K. (Afstudeerdocent 1) & Klein, S. (Externe persoon) (Externe coach)

Scriptie/Masterproef: Master

Bestand

Lijnbreedteversmalling en frequentiestabilisatie van optisch teruggekoppelde diodelasers

Auteur: Constantinescu, R., 31 okt 1992

Begeleider: van Leeuwen, K. (Afstudeerdocent 1) & Megens, H. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

De fotonstatistiek van een twee-niveau-atoom in een laser-stralingsveld

Auteur: Wijnands, M. N., 31 aug 1988

Begeleider: van Leeuwen, K. (Afstudeerdocent 1)

Scriptie/Masterproef: Master

Bestand

Laser cooling of a leaky system: iron

Auteur: Herfst, R., 31 dec 2004

Begeleider: Beijerinck, H. (Afstudeerdocent 1), van Leeuwen, K. (Afstudeerdocent 2) & Smeets, B. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand

Atomic beam preparation for quantum optics experiments

Auteur: Cornelussen, R., 30 apr 1999

Begeleider: Koolen, A. (Afstudeerdocent 1), van Leeuwen, K. (Afstudeerdocent 2) & Beijerinck, H. (Afstudeerdocent 2)

Scriptie/Masterproef: Master

Bestand