Mathematics and Computer Science

Zoekresultaten

• Exploring Tools and Technologies for Effective Implementation of Digital Twin Systems

  Allio, A. A. T. (Auteur), Barosan, I. (Afstudeerdocent 1), 31 okt. 2024

  Scriptie/Masterproef: Master

  Bestand

• Exploring trade-offs in the design of a landscape mapping application

  Fuentes Montoya, P. E. (Auteur), Basten, T. (Afstudeerdocent 1) & Stuijk, S. (Afstudeerdocent 2), 31 aug. 2008

  Scriptie/Masterproef: Master

  Bestand

• Explosion in weighted geometric inhomogeneous random graphs

  Lodewijks, B. (Auteur), Komjathy, J. (Afstudeerdocent 1), 30 okt. 2017

  Scriptie/Masterproef: Master

  Bestand

• Explosiveness of age-dependent branching processes with contagious and incubation periods

  Gulikers, L. (Auteur), Komjathy, J. (Afstudeerdocent 1) & van der Hofstad, R. W. (Afstudeerdocent 2), 30 nov. 2014

  Scriptie/Masterproef: Master

  Bestand

• Exponential time integration methods applied to heat transfer problems

  van de Rijdt, A. (Auteur), ten Thije Boonkkamp, J. H. M. (Afstudeerdocent 1), 2020

  Scriptie/Masterproef: Bachelor

  Bestand

• Exponential Time Integration Schemes for Highly Oscillatory Problems

  Besten, L. (Auteur), ten Thije Boonkkamp, J. H. M. (Afstudeerdocent 1), 24 sep. 2022

  Scriptie/Masterproef: Bachelor

  Bestand

• Exporting content from content-e to SCORM

  Christiaens, A. W. M. (Auteur), Heuvelman, E. (Afstudeerdocent 1), Thiran, P. A. P. (Afstudeerdocent 2) & Aroyo, L. M. (Afstudeerdocent 2), 30 nov. 2004

  Scriptie/Masterproef: Master

  Bestand

• Expressing and supporting buffering and (un)bundling in the manufacturing domain using BPMN 2.0 : with a case study in the high tech manufacturing industry

  Spijkers, D. (Auteur), Grefen, P. (Afstudeerdocent 1), Traganos, K. (Afstudeerdocent 2) & Fahland, D. (Afstudeerdocent 2), 30 sep. 2019

  Scriptie/Masterproef: Master

  Bestand

• Expressing liveness properties in trace theory

  La Poutré, J. A. (Auteur), Rem, M. (Afstudeerdocent 1) & Kaldewaij, A. (Afstudeerdocent 2), 31 aug. 1986

  Scriptie/Masterproef: Master

• Expressing the scattering matrix using Gamow states

  Brinkhof, D. (Auteur), Kokkelmans, S. J. J. M. F. (Afstudeerdocent 1), Mestrom, P. M. A. (Afstudeerdocent 2) & Braun, D. J. M. (Afstudeerdocent 2), 2018

  Scriptie/Masterproef: Bachelor

  Bestand

• Expressivity of the Kleene star in process algebras with the empty process

  Muller, T. J. C. (Auteur), Luttik, S. P. (Afstudeerdocent 1), 31 aug. 2009

  Scriptie/Masterproef: Master

  Bestand

• ExSpect : de configuratie van de userinterface

  Kapteijns, J. A. J. (Auteur), Somers, L. J. A. M. (Afstudeerdocent 1), 30 jun. 1992

  Scriptie/Masterproef: Master

• ExSpect++

  van Pol, J. C. H. (Auteur), Somers, L. J. A. M. (Afstudeerdocent 1) & de Crom, P. (Afstudeerdocent 2), 31 aug. 1998

  Scriptie/Masterproef: Master

• ExSpect in een gedistribueerde omgeving

  Paulussen, R. R. (Auteur), Somers, L. J. A. M. (Afstudeerdocent 1), 30 jun. 1994

  Scriptie/Masterproef: Master

• ExSpecT op het spoor

  Verhagen, G. J. M. (Auteur), Somers, L. J. A. M. (Afstudeerdocent 1) & van der Woude, J. C. S. P. (Afstudeerdocent 2), 31 jul. 1997

  Scriptie/Masterproef: Master

• ExSpect-simulation of delay-insensitive circuits

  Jonkers, M. (Auteur), Rem, M. (Afstudeerdocent 1), Mak, R. H. (Afstudeerdocent 2) & Voorhoeve, M. (Afstudeerdocent 2), 31 aug. 1993

  Scriptie/Masterproef: Master

• Extended automotive software development process for AI applications

  Rijken, T. M. W. M. (Auteur), Barosan, I. (Afstudeerdocent 1) & Kusters, F. (Externe coach), 16 sep. 2022

  Scriptie/Masterproef: Master

  Bestand

• Extending a Domain Specific Language using model transformations: How a model to model transformation can improve the software development process

  van Schooten, L. G. T. (Auteur), Groote, J. F. (Afstudeerdocent 1) & Schuts, M. T. W. (Externe coach), 10 mei 2021

  Scriptie/Masterproef: Master

  Bestand

• Extending a formal verifiable language

  Savelyev, Y. (Auteur), Franssen, M. G. J. (Afstudeerdocent 1), 31 aug. 2009

  Scriptie/Masterproef: Master

  Bestand

• Extending BPMN for analysis of human physical risk factors in manufacturing processes

  Polderdijk, M. (Auteur), Vanderfeesten, I. T. P. (Afstudeerdocent 1), Erasmus, J. (Afstudeerdocent 2), Fahland, D. (Afstudeerdocent 2), Bosch, T. (Externe coach) & Rhijn, van, J. W. (Externe coach), 24 apr. 2017

  Scriptie/Masterproef: Master

  Bestand

• Extending BPMN for modeling manufacturing processes

  Aspridou, M. (Auteur), Vanderfeesten, I. T. P. (Afstudeerdocent 1), Traganos, K. (Afstudeerdocent 2), Buijs, J. C. A. M. (Afstudeerdocent 2) & Erasmus, J. (Afstudeerdocent 2), 30 okt. 2017

  Scriptie/Masterproef: Master

  Bestand

• Extending clean with exception handling

  van den Berg, S. (Auteur), Plasmeijer, M. J. (Afstudeerdocent 1), Pepels, B. (Afstudeerdocent 2) & Watson, B. W. (Afstudeerdocent 2), 31 aug. 2005

  Scriptie/Masterproef: Master

  Bestand

• Extending Dafny to concurrency: Owicki-Gries style program verification for the Dafny program verifier

  Denissen, P. E. J. G. (Auteur), Kuiper, R. (Afstudeerdocent 1) & Huizing, C. (Afstudeerdocent 2), 27 nov. 2017

  Scriptie/Masterproef: Master

  Bestand

• Extending DigiD to the private sector (DigiD-2)

  Moniava, G. (Auteur), Verheul, E. R. (Afstudeerdocent 1) & Schoenmakers, L. A. M. (Afstudeerdocent 2), 31 aug. 2008

  Scriptie/Masterproef: Master

  Bestand

• Extending DRM technology to suport co-creation

  Elsackers, J. M. (Auteur), de Weger, B. M. M. (Afstudeerdocent 1), Koster, R. P. (Externe coach) & Kamperman, F. L. A. J. (Externe coach), 1 okt. 2009

  Scriptie/Masterproef: Master

• Extending EMF for modularity

  van Schuylenburg, S. B. (Auteur), Verhoeff, T. (Afstudeerdocent 1), 31 mrt. 2016

  Scriptie/Masterproef: Master

  Bestand

• Extending halide to improve software development for imaging DSPs

  Vocke, S. (Auteur), Corporaal, H. (Afstudeerdocent 1), 31 aug. 2016

  Scriptie/Masterproef: Master

  Bestand

• Extending Knowledge Graphs to Predict System and Item Behavior

  Cuprinsu, N. C. (Auteur), Fahland, D. (Afstudeerdocent 1) & McMenamin, L. (Externe coach), 6 dec. 2022

  Scriptie/Masterproef: Master

  Bestand

• Extending muC/OS-II with FPDS and reservations

  Cools, W. A. (Auteur), Bril, R. J. (Afstudeerdocent 1) & Holenderski, M. J. (Afstudeerdocent 2), 31 aug. 2010

  Scriptie/Masterproef: Master

  Bestand

• Extending RTAI/Linux with FPDS

  Bergsma, M. (Auteur), Holenderski, M. J. (Afstudeerdocent 1), Bril, R. J. (Afstudeerdocent 2) & Lukkien, J. J. (Afstudeerdocent 2), 31 aug. 2009

  Scriptie/Masterproef: Master

  Bestand

• Extending security architecture of PERSONA

  He, Z. (Auteur), Petkovic, M. (Afstudeerdocent 1) & Asim, M. (Afstudeerdocent 2), 31 okt. 2011

  Scriptie/Masterproef: Master

  Bestand

• Extending service discovery protocols with support for context information

  Buchina, N. G. (Auteur), Cuijpers, P. J. L. (Afstudeerdocent 1) & Stolikj, M. (Afstudeerdocent 2), 31 okt. 2014

  Scriptie/Masterproef: Master

  Bestand

• Extending the Functionality of Spectral Sensors

  Li, F. F. (Auteur), Fiore, A. (Afstudeerdocent 1) & van Elst, D. M. J. (Afstudeerdocent 2), 31 aug. 2023

  Scriptie/Masterproef: Master

  Bestand

• Extending the Scope of Algebraic Kernelization for Constraint Satisfaction Problems

  Beukers, S. (Auteur), Jansen, B. M. P. (Afstudeerdocent 1), 30 aug. 2021

  Scriptie/Masterproef: Master

  Bestand

• Extending the σ-game to Fp with p ≥3

  Vennix, T. H. J. (Auteur), Cuypers, F. G. M. T. (Afstudeerdocent 1), 23 jun. 2021

  Scriptie/Masterproef: Bachelor

  Bestand

• Extending traditional request logging: what developers require from logging solutions and anonymization of privacy sensitive information in logs

  Oostdam, S. N. W. (Auteur), Fahland, D. (Afstudeerdocent 1), Zannone, N. (Afstudeerdocent 2) & van de Water, F. (Externe coach), 27 mei 2019

  Scriptie/Masterproef: Master

  Bestand

• Extending tree pattern matching for application to peephole optimizations

  van Oirschot, J. (Auteur), Corporaal, H. (Afstudeerdocent 1), Jordans, R. (Afstudeerdocent 2), Cleophas, L. (Afstudeerdocent 2) & Lopes, N. (Externe coach), 29 apr. 2019

  Scriptie/Masterproef: Master

  Bestand

• Extensibility of International Data Spaces (IDS) for disruption management: A case study in the agricultural sector

  Mikhailovskaia, D. E. (Auteur), Meratnia, N. (Afstudeerdocent 1), 13 mrt. 2023

  Scriptie/Masterproef: Master

  Bestand

• Extension of a discretisation method for the incompressible Navier-Stokes equations with the capability to handle moving bodies

  Ingwersen, C. (Auteur), 2 feb. 2019

  Scriptie/Masterproef: Bachelor

  Bestand

• Extension of Graded by implementing cut and paste operations on meshes

  Biemans, M.-D. (Auteur), van Overveld, C. W. A. M. (Afstudeerdocent 1), Nuij, W. A. A. (Afstudeerdocent 2) & Segers, J. P. L. (Afstudeerdocent 2), 30 apr. 1997

  Scriptie/Masterproef: Master

• Extension of the C method for overhanging gratings

  Zheng, Y. (Auteur), Anthonissen, M. J. H. (Afstudeerdocent 1) & van der Aa, N. P. (Afstudeerdocent 2), 31 aug. 2006

  Scriptie/Masterproef: Master

  Bestand

• Extension of the finite volume: complete flux scheme to linear source terms

  van den Berkmortel, S. M. L. (Auteur), Anthonissen, M. J. H. (Afstudeerdocent 1) & ten Thije Boonkkamp, J. H. M. (Afstudeerdocent 2), 2016

  Scriptie/Masterproef: Bachelor

  Bestand

• Extension of the Homogeneous and Complete Flux Schemes to the Momentum Equation for Plasma Simulations: Stabilizing the Ventzek Algorithm when Including Ion Inertia

  Verbeek, M. J. G. (Auteur), ten Thije Boonkkamp, J. H. M. (Afstudeerdocent 1), Cheng, H. (Externe coach), Mihailova, D. (Afstudeerdocent 2), Janssen, J. F. J. (Afstudeerdocent 2) & Hagelaar, G. J. M. (Externe coach), 7 sep. 2022

  Scriptie/Masterproef: Master

  Bestand

• Extensions and enrichement of ExSpect

  Verkoulen, P. A. C. (Auteur), van Hee, K. M. (Afstudeerdocent 1) & Voorhoeve, M. (Afstudeerdocent 2), 31 dec. 1989

  Scriptie/Masterproef: Master

• External PPG by external pressure on human skin feasibility study: producing PPG signals on human skin using external air pressure

  Shakarchi, H. J. (Auteur), 26 feb. 2018

  Scriptie/Masterproef: Master

  Bestand

• Extracting Architecture Knowledge from Software System Documentation to Create Knowledge Graph

  Yang, L. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1) & Rukmono, S. (Afstudeerdocent 2), 27 nov. 2023

  Scriptie/Masterproef: Master

  Bestand

• Extracting features to discriminate OSA and non-OSA

  Pei, W. (Auteur), Calders, T. G. K. (Afstudeerdocent 1), Winter, S. (Externe coach) & Hoang, T. L. (Afstudeerdocent 2), 31 aug. 2013

  Scriptie/Masterproef: Master

  Bestand

• Extracting GXF models from C code towards LIME-ng tool-chain for dataflow models

  Deshpande, A. S. (Auteur), Verhoeff, T. (Afstudeerdocent 1), Kourzanov, P. (Afstudeerdocent 2) & Dajsuren, Y. (Afstudeerdocent 2), 31 aug. 2010

  Scriptie/Masterproef: Master

  Bestand

• Extracting Order Patterns From Business Processes

  Viola, V. (Auteur), Fahland, D. (Afstudeerdocent 1) & Verbeek, H. M. W. (Afstudeerdocent 2), 2020

  Scriptie/Masterproef: Bachelor

  Bestand

• Extracting real-life workflow models from relational data and using these to generate field-based usability testing scenarios at Philips Healthcare

  Hoornaar, T. J. (Auteur), Sidorova, N. (Afstudeerdocent 1), Kessels, A. C. J. M. (Externe coach), Eshuis, H. (Afstudeerdocent 2) & van Eck, M. L. (Afstudeerdocent 2), 31 aug. 2017

  Scriptie/Masterproef: Master

  Bestand