Mathematics and Computer Science

Zoekresultaten

• A method for the rapid generation of interfaces for heterogeneous models within digital twins

  Xavier, F. (Auteur), Cleophas, L. G. W. A. (Afstudeerdocent 1) & Manrique Negrin, D. A. (Afstudeerdocent 2), 21 aug. 2024

  Scriptie/Masterproef: Master

  Bestand

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

  Arkiliç, I. G. (Auteur), Reijers, H. A. (Afstudeerdocent 1) & Kuijpers, R. (Afstudeerdocent 2), 30 sep. 2011

  Scriptie/Masterproef: Master

  Bestand

• A methodology for analysing the end-to-end latencies of distributed CPS applications deployed on device/edge/cloud platforms

  van Wanrooij, J. C. P. (Auteur), Voeten, J. P. M. (Afstudeerdocent 1), Ruijters, D. (Externe coach) & Canjels, I. J. M. (Externe coach), 14 feb. 2023

  Scriptie/Masterproef: Master

  Bestand

• A method to derive delay-insensitive circuits

  Kwast, E. (Auteur), Rem, M. (Afstudeerdocent 1), Schols, H. M. J. L. (Afstudeerdocent 2) & de Graaff, P. J. (Afstudeerdocent 2), 30 okt. 1987

  Scriptie/Masterproef: Master

• A Method to determine Actual Time Worked from Event Logs

  Roest, R. (Auteur), van Dongen, B. F. (Afstudeerdocent 1), apr. 2022

  Scriptie/Masterproef: Bachelor

  Bestand

• A method to evaluate the usability issues experienced when using Tor browser

  Viswanathan, A. K. (Auteur), Hülsing, A. T. (Afstudeerdocent 1) & Kohls, K. (Externe coach), 30 mrt. 2022

  Scriptie/Masterproef: Master

  Bestand

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

  Mackus, W. M. J. (Auteur), Di Bucchianico, A. (Afstudeerdocent 1) & van de Wiel, M. A. (Afstudeerdocent 2), 31 aug. 2004

  Scriptie/Masterproef: Master

  Bestand

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

  Meijboom, B. R. (Auteur), Hautus, M. L. J. (Afstudeerdocent 1), Eising, F. (Afstudeerdocent 2) & van Schuppen, J. H. (Afstudeerdocent 2), 31 aug. 1982

  Scriptie/Masterproef: Master

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

  Tummalapalli B.N.V.V., K. K. (Auteur), Barosan, I. (Afstudeerdocent 1) & Luo, Y. (Afstudeerdocent 2), 30 aug. 2018

  Scriptie/Masterproef: Master

• A model based approach for software testing audit on software product quality

  Basu, R. (Auteur), Hamilton, M. A. M. (Afstudeerdocent 1) & Barosan, I. (Afstudeerdocent 2), 18 aug. 2020

  Scriptie/Masterproef: Master

  Bestand

• A model-based test platform for rail signalling systems

  Bouwman, M. (Auteur), Luttik, B. (Afstudeerdocent 1) & Janssen, B. (Externe coach), 25 mrt. 2019

  Scriptie/Masterproef: Master

  Bestand

• A model for the drying process of clay

  Wigmans, A. (Auteur), Mattheij, R. M. M. (Afstudeerdocent 1), Kaasschieter, E. F. (Afstudeerdocent 2) & van de Ven, A. A. F. (Afstudeerdocent 2), 31 aug. 1994

  Scriptie/Masterproef: Master

• A modeling language for reconfigurable distributed Hybrid systems

  Kratz, F. (Auteur), Reniers, M. A. (Afstudeerdocent 1), Lee, I. (Afstudeerdocent 2) & Pappas, G. J. (Afstudeerdocent 2), 30 nov. 2005

  Scriptie/Masterproef: Master

  Bestand

• A Modelling Approach to Nanoparticle Selective Targeting of Cancer Cells

  Walker, K. R. (Auteur), van der Hofstad, R. W. (Afstudeerdocent 1) & Albertazzi, L. (Afstudeerdocent 2), jul. 2023

  Scriptie/Masterproef: Bachelor

  Bestand

• A molecular dynamics simulation on a distributed memory parallel machine

  Kerkhof, M. (Auteur), Rem, M. (Afstudeerdocent 1), Hendriks, C. F. W. (Externe coach), Lukkien, J. J. (Afstudeerdocent 2) & van de Sluis, E. (Externe coach), 1994

  Scriptie/Masterproef: Master

• A monolithic fluid-structure interaction model to study pulse wave propagation in aortic dissections

  Boschman, A. M. (Auteur), van de Vosse, F. N. (Afstudeerdocent 1), Huberts, W. (Afstudeerdocent 2), van 't Veer, M. (Afstudeerdocent 2), van Brummelen, E. H. (Afstudeerdocent 2) & Verhoosel, C. V. (Afstudeerdocent 2), 19 dec. 2019

  Scriptie/Masterproef: Master

• A more rigorous coupled-wave analysis (MSolver)

  van Kraaij, M. G. M. M. (Auteur), Mattheij, R. M. M. (Afstudeerdocent 1), Maubach, J. M. L. (Afstudeerdocent 2) & Boef, den, A. J. (Afstudeerdocent 2), 30 jun. 2004

  Scriptie/Masterproef: Master

• A MPI-based communication library for development of parallel programs

  Frijns, M. M. J. (Auteur), Hilbers, P. A. J. (Afstudeerdocent 1), Grinwis, J. D. J. (Afstudeerdocent 2) & Lukkien, J. J. (Afstudeerdocent 2), 30 jun. 1998

  Scriptie/Masterproef: Master

• Amplitudemaximalisering van periodieke oplossingen van gewone tweede orde differentiaalvergelijkingen met behulp van periodieke stuksgewijs continue besturingen

  Bollen, J. A. M. (Auteur), Hautus, M. L. J. (Afstudeerdocent 1), 31 aug. 1975

  Scriptie/Masterproef: Master

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

  Stoitsev, V. B. (Auteur), Grefen, P. W. P. J. (Afstudeerdocent 1), van Dongen, B. F. (Afstudeerdocent 2) & van der Starre, E. (Externe coach), 31 dec. 2012

  Scriptie/Masterproef: Master

  Bestand

• A multi-level parallel solution for huffman decoding

  Drijvers, A. L. F. M. (Auteur), Mesman, B. (Afstudeerdocent 1) & Alba Pinto, C. A. (Afstudeerdocent 2), 31 aug. 2008

  Scriptie/Masterproef: Master

  Bestand

• A multilevel preconditioning technique for solving large sparse linear systems

  Courtin, M. J. M. (Auteur), Mattheij, R. M. M. (Afstudeerdocent 1) & Reusken, A. A. (Afstudeerdocent 2), 31 jul. 1997

  Scriptie/Masterproef: Master

• An access control platform based on blockchain

  Galaz Garcia, L. F. (Auteur), Holenderski, M. J. (Afstudeerdocent 1) & Holenderski, L. (Afstudeerdocent 2), 25 sep. 2017

  Scriptie/Masterproef: Master

  Bestand

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

  Ning, K. (Auteur), Lange, T. (Afstudeerdocent 1), Bernstein, D. J. (Externe coach) & Niederhagen, R. F. (Externe coach), 27 nov. 2017

  Scriptie/Masterproef: Master

  Bestand

• An adaptive and scrutable math tutoring system

  van Lankveld, G. (Auteur), Stash, N. (Afstudeerdocent 1), De Bra, P. M. E. (Afstudeerdocent 2) & Huizing, C. (Afstudeerdocent 2), 31 aug. 2017

  Scriptie/Masterproef: Master

  Bestand

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

  Chouchoulis, J. (Auteur), Koren, B. (Afstudeerdocent 1) & Shams, A. (Externe coach), 17 dec. 2018

  Scriptie/Masterproef: Master

  Bestand

• An adversarial analysis of inference capabilities acquired by state-of-the-art NLP models from the RTE dataset

  Frunză, S. (Auteur), de Campos, C. (Afstudeerdocent 1) & van Cauter, Z. M. (Afstudeerdocent 2), jun. 2022

  Scriptie/Masterproef: Bachelor

  Bestand

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

  Zwartjes, G. (Auteur) & van Geffen, J. (Auteur), Watson, B. W. (Afstudeerdocent 1), 31 jan. 2005

  Scriptie/Masterproef: Master

  Bestand

• An algebraic approach to Lie point symmetries of ordinary differential equations

  Draisma, J. (Auteur), Cohen, A. M. (Afstudeerdocent 1), 31 aug. 1998

  Scriptie/Masterproef: Master

• An algebraic semantics of message charts

  Reniers, M. (Auteur), Baeten, J. C. M. (Afstudeerdocent 1) & Mauw, S. (Afstudeerdocent 2), 30 apr. 1994

  Scriptie/Masterproef: Master

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

  van Unen, E. L. M. (Auteur), Talman, A. J. J. (Afstudeerdocent 1), 30 jun. 1990

  Scriptie/Masterproef: Master

• An algorithm that constructs primitive implementations from delay-insensitive specifications

  van Engelen, R. J. (Auteur), Verhoeff, T. (Afstudeerdocent 1), 31 aug. 1996

  Scriptie/Masterproef: Master

• An alternative method and implementation for the generation of a Hamiltonian path through the binary neighbour-swap graph

  van Heck, I. (Auteur), 2016

  Scriptie/Masterproef: Bachelor

  Bestand

• Analyse en benadering van wachtrijen voor verkeerslichten

  Gootzen, Y. A. P. M. (Auteur) & Timmerman, R. W. (Auteur), Boon, M. A. A. (Afstudeerdocent 1) & van Leeuwaarden, J. S. H. (Afstudeerdocent 2), 27 jul. 2015

  Scriptie/Masterproef: Bachelor

  Bestand

• Analyse en simulatie van een integraal productiebesturingssysteem

  van der Hoeven, C. (Auteur), Wessels, J. (Afstudeerdocent 1), Grünwald, H. J. (Afstudeerdocent 2) & van der Stroom, A. P. (Afstudeerdocent 2), 31 aug. 1979

  Scriptie/Masterproef: Master

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

  Weerts, E. (Auteur), van der Wal, J. (Afstudeerdocent 1) & Sebregts, R. G. C. (Externe coach), 31 aug. 2009

  Scriptie/Masterproef: Master

  Bestand

• Analysemethoden ten behoeve van de planning van Datanet-1

  Kuipers, J. (Auteur), van der Wal, J. (Afstudeerdocent 1), 31 aug. 1988

  Scriptie/Masterproef: Master

• Analyse naar de oorzaak van kromming in de Athlonplaat

  Hanoeman, S. (Auteur), Dijkstra, J. B. (Afstudeerdocent 1), Lahr, F. (Externe coach) & van der Laan, P. (Afstudeerdocent 2), 31 aug. 2002

  Scriptie/Masterproef: Master

  Bestand

• Analyse van antwoorden met behulp van een CAS

  Ballemans, K. (Auteur), Cuypers, F. G. M. T. (Afstudeerdocent 1), 2013

  Scriptie/Masterproef: Bachelor

  Bestand

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

  Habbema, J. D. F. (Auteur), Hamaker, H. C. (Afstudeerdocent 1), 31 aug. 1971

  Scriptie/Masterproef: Master

• Analyse van een productielijn met buffers

  Meyfroyt, P. H. A. (Auteur), Adan, I. J. B. F. (Afstudeerdocent 1) & Resing, J. A. C. (Afstudeerdocent 2), 2010

  Scriptie/Masterproef: Bachelor

  Bestand

• Analyse van een verkeersmodel

  van der Velde, A. G. I. (Auteur), Huijberts, H. J. C. (Afstudeerdocent 1), 31 aug. 1997

  Scriptie/Masterproef: Master

• Analyse van fouten bij patiënt-bestraling

  Roelen, J. A. M. (Auteur), van de Wal, J. (Afstudeerdocent 1) & Vos, P. (Externe coach), 31 okt. 2003

  Scriptie/Masterproef: Master

• Analyse van FRIDA met behulp van CPNTOOLS

  Poupa, B. G. J. J. (Auteur), Sidorova, N. (Afstudeerdocent 1), 31 mei 2005

  Scriptie/Masterproef: Master

  Bestand

• Analyse van het transportsysteem in een assemblagefabriek

  Repkes, J. P. (Auteur), Zijm, W. H. M. (Afstudeerdocent 1), 31 mrt. 1988

  Scriptie/Masterproef: Master

• Analyse van multi-echelon lijnsystemen met eindige capaciteiten

  Speck, C. J. (Auteur), van der Wal, J. (Afstudeerdocent 1), 31 aug. 1991

  Scriptie/Masterproef: Master

• Analysis and design of pharmacokinetic models

  Eyzaguirre Pérez, R. H. (Auteur), van Berkum, E. E. M. (Afstudeerdocent 1) & van der Knaap, H. C. M. (Externe coach), 31 aug. 2006

  Scriptie/Masterproef: Master

  Bestand

• Analysis and Geometric Interpretation of PDE-G-CNNs

  Bon, D. L. J. (Auteur), Duits, R. (Afstudeerdocent 1) & Bellaard, G. (Afstudeerdocent 2), 19 jul. 2022

  Scriptie/Masterproef: Master

  Bestand

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

  Yu, C. (Auteur), Comuzzi, M. (Afstudeerdocent 1), 31 aug. 2012

  Scriptie/Masterproef: Master

  Bestand

• Analysis and Implementation of the Post-Quantum Cryptographic Scheme: Classic McEliece

  Vettas, N. (Auteur), de Weger, B. (Afstudeerdocent 1) & Weenink, T. J. (Externe coach), 11 dec. 2023

  Scriptie/Masterproef: Master

  Bestand