Mathematics and Computer Science

Zoekresultaten

• Applications of deep generative models to Tokamak Nuclear Fusion

  Nieuwenhuizen, D. M. (Auteur), Koelman, J. M. V. A. (Afstudeerdocent 1), Menkovski, V. (Afstudeerdocent 2), Citrin, J. (Afstudeerdocent 2) & van de Plassche, K. L. (Externe coach), mrt. 2021

  Scriptie/Masterproef: Master

  Bestand

• Applications of Gröbner bases and the underlying theory

  Jansen, D. (Auteur), Sterk, H. J. M. (Afstudeerdocent 1), 2020

  Scriptie/Masterproef: Bachelor

  Bestand

• Applications of MathWorks Tools in Model-Based Systems Engineering

  Chatterjee, J. (Auteur), Barosan, I. (Afstudeerdocent 1) & Schmaltz, J. (Externe coach), 24 nov. 2020

  Scriptie/Masterproef: Master

  Bestand

• Applying AlphaZero to the game of International Draughts

  Syam, F. (Auteur), Wesselink, J. W. (Afstudeerdocent 1), 10 feb. 2023

  Scriptie/Masterproef: Master

  Bestand

• Applying ASD to design and verify the back and controller

  Beohar, H. (Auteur), Baeten, J. C. M. (Afstudeerdocent 1), 31 aug. 2008

  Scriptie/Masterproef: Master

  Bestand

• Applying BiLSTM and CNN to assist actionable ontology building from FMEA documents

  Kamath, R. R. (Auteur), Gionis, A. (Externe coach), 25 nov. 2019

  Scriptie/Masterproef: Master

  Bestand

• Applying efficient global optimization on industrial use cases

  Cheng, Y. (Auteur), Medeiros de Carvalho, R. (Afstudeerdocent 1) & Solin, A. (Externe coach), 31 jul. 2020

  Scriptie/Masterproef: Master

  Bestand

• Applying higher-order correlation to optimize replacement of assets in stock portfolios

  Aerts, G. (Auteur), Papapetrou, O. (Afstudeerdocent 1), Broeders, D. (Externe coach) & Heijmans, R. (Externe coach), 29 jul. 2021

  Scriptie/Masterproef: Master

  Bestand

• Applying level set methods to simulate a model for hypha tip-growth

  Harcarik, C. (Auteur), Prokert, G. (Afstudeerdocent 1), 11 jul. 2023

  Scriptie/Masterproef: Bachelor

  Bestand

• Applying memoization as an approximate computing method for transiently powered systems

  Perju, D. Ş. (Auteur), Yang, Y. (Externe coach) & Bhatti, N. (Externe coach), 30 aug. 2019

  Scriptie/Masterproef: Master

  Bestand

• Applying model based techniques for process improvement and assessment in the automotive domain

  Narayanan, P. V. (Auteur), Luo, Y. (Afstudeerdocent 1) & Barosan, I. (Afstudeerdocent 2), 29 jun. 2017

  Scriptie/Masterproef: Master

• Applying Monte Carlo Tree Search to International Draughts

  Joosten, T. L. (Auteur), Wesselink, J. W. (Afstudeerdocent 1), 13 jan. 2023

  Scriptie/Masterproef: Master

  Bestand

• Applying process mining to multi-instance processes

  Teeuwen, R. M. A. (Auteur), van Dongen, B. F. (Afstudeerdocent 1) & Scheepens, R. J. (Externe coach), 24 aug. 2020

  Scriptie/Masterproef: Master

  Bestand

• Applying reduction rules to optimize conformance checking

  Breukink, S. C. (Auteur), van Dongen, B. (Afstudeerdocent 1), 30 sep. 2019

  Scriptie/Masterproef: Master

  Bestand

• Applying state machine learning at ASML

  Premchand, J. R. P. (Auteur), Voeten, J. (Afstudeerdocent 1), Schiffelers, R. (Afstudeerdocent 2) & Hendriks, D. (Externe coach), 29 okt. 2018

  Scriptie/Masterproef: Master

  Bestand

• Applying Transfer Learning to GNN-based Automated Process Discovery

  van Gaans, S. J. M. (Auteur), Fahland, D. (Afstudeerdocent 1), 19 apr. 2024

  Scriptie/Masterproef: Master

  Bestand

• Appointment scheduling

  van Egmond, H. (Auteur), Boon, M. A. A. (Afstudeerdocent 1), 6 feb. 2023

  Scriptie/Masterproef: Bachelor

  Bestand

• Approximating average and worst-case quality measure values for d-dimensional space-filling curves

  Sasburg, S. B. (Auteur), Haverkort, H. J. (Afstudeerdocent 1), 30 nov. 2011

  Scriptie/Masterproef: Master

  Bestand

• Approximating open quantum systems: using Stinespring dilation

  Chen, D. V. R. (Auteur), Tse, O. T. C. (Afstudeerdocent 1), Kokkelmans, S. J. J. M. F. (Afstudeerdocent 2), de Keijzer, R. J. P. T. (Afstudeerdocent 2) & Visser, L. Y. (Afstudeerdocent 2), jun. 2024

  Scriptie/Masterproef: Bachelor

  Bestand

• Approximating the optimal policy for structural replacement of a machine with Brownian degradation increments

  Razenberg, M. C. M. (Auteur), Kapodistria, S. (Afstudeerdocent 1), 16 jul. 2019

  Scriptie/Masterproef: Bachelor

  Bestand

• Approximating the Temporal Order of Events in Big Data Streams

  Baltus, N. (Auteur), Papapetrou, O. (Afstudeerdocent 1), 26 jul. 2021

  Scriptie/Masterproef: Master

  Bestand

• Approximation Algorithm for Technology Diffusion

  van der Zande, T. J. G. (Auteur), Sanità, L. (Afstudeerdocent 1), jul. 2022

  Scriptie/Masterproef: Bachelor

  Bestand

• Approximation Algorithms for Segment k-Means Clustering

  Vancea, V. (Auteur), Monemizadeh, M. (Afstudeerdocent 1), 1 nov. 2023

  Scriptie/Masterproef: Master

  Bestand

• Approximation of inverses of BTTB matrices: for preconditioning applications

  Schneider, F. S. (Auteur), Hochstenbach, M. E. (Afstudeerdocent 1), Pisarenco, M. (Externe coach) & Haasdonk, B. (Externe coach), 30 jan. 2017

  Scriptie/Masterproef: Master

  Bestand

• Approximation of preconditions for a programming language with backtracking

  Riemens, D. K. (Auteur), Kruseman Aretz, F. E. J. (Afstudeerdocent 1) & Feijs, L. M. G. (Afstudeerdocent 2), 30 apr. 1994

  Scriptie/Masterproef: Master

• Approximation of the Luneburg lens with discrete layers using geometric optics

  Ronckers, L. J. A. (Auteur), Anthonissen, M. J. H. (Afstudeerdocent 1), jul. 2022

  Scriptie/Masterproef: Bachelor

  Bestand

• Approximation of the optimal inventory replenishment policy for multi-items used in a warehouse

  Haverhals, J. A. (Auteur), Resing, J. (Afstudeerdocent 1), Bierbooms, J. J. P. H. (Externe coach) & Hoeven, M. A. M. (Externe coach), 24 jun. 2019

  Scriptie/Masterproef: Master

  Bestand

• Approximations based on the Weinberg series for the Two-Body T Matrix

  Schmiermann, A. I. (Auteur), Kokkelmans, S. J. J. M. F. (Afstudeerdocent 1), Mestrom, P. M. A. (Afstudeerdocent 2) & Li, J. (Afstudeerdocent 2), 2019

  Scriptie/Masterproef: Bachelor

  Bestand

• A practical data structure for the dynamic lower envelope of pseudo-lines

  van Loon, B. (Auteur), Buchin, K. A. (Afstudeerdocent 1) & Mulzer, W. (Externe coach), 25 sep. 2020

  Scriptie/Masterproef: Master

  Bestand

• A Predictable Task Migration Mechanism with Partial Application Stalling on a MPSoC

  Tuzzi, A. (Auteur), Goswami, D. (Afstudeerdocent 1) & Nelson, A. T. (Afstudeerdocent 2), 24 feb. 2020

  Scriptie/Masterproef: Master

  Bestand

• A preprocessor for Dedos

  Paland, H. A. A. (Auteur), Hammer, D. K. (Afstudeerdocent 1), Lemmens, W. J. M. (Afstudeerdocent 2) & Roosmalen, van, O. S. (Afstudeerdocent 2), 31 aug. 1991

  Scriptie/Masterproef: Master

• A probabilistic analysis of local search

  Vossen, T. W. M. (Auteur), Aarts, E. H. L. (Afstudeerdocent 1), Verhoeven, M. G. A. (Afstudeerdocent 2) & ten Eikelder, H. M. M. (Afstudeerdocent 2), 28 feb. 1995

  Scriptie/Masterproef: Master

• A Process-Aware Perspective on the Use of the Performance Spectrum in Predictive Process Monitoring of Business Processes

  Costache, I. (Auteur), Fahland, D. (Afstudeerdocent 1), 2021

  Scriptie/Masterproef: Bachelor

  Bestand

• A process based approach for website analysis and improvement

  Bijsmans, R. J. L. (Auteur), van Dongen, B. F. (Afstudeerdocent 1) & Vanderfeesten, I. T. P. (Afstudeerdocent 2), 30 nov. 2011

  Scriptie/Masterproef: Master

  Bestand

• A Process Mining-based Approach to Accounts Payable Recovery Audit

  van Asseldonk, M. D. A. (Auteur), Wilbik, A. M. (Afstudeerdocent 1), Fahland, D. (Afstudeerdocent 2) & van de Water, F. (Externe coach), 29 apr. 2020

  Scriptie/Masterproef: Master

  Bestand

• A program for the vehicle routing problem based on a travelling salesman approach

  Willems, R. F. W. M. (Auteur), Benders, J. F. (Afstudeerdocent 1), 31 aug. 1977

  Scriptie/Masterproef: Master

• A Prolog interpreter for a dss-machine

  Sprenkels, L. A. (Auteur), van Hee, K. M. (Afstudeerdocent 1) & Lapinski, A. K. (Afstudeerdocent 2), 31 mei 1988

  Scriptie/Masterproef: Master

• A proof assistant based on terms with binding structures

  Smeijers, F. A. M. (Auteur), Hemerik, C. (Afstudeerdocent 1) & Franssen, M. G. J. (Afstudeerdocent 2), 31 aug. 2009

  Scriptie/Masterproef: Master

  Bestand

• A proof system for object oriented programming using separation logic

  Middelkoop, R. (Auteur), Huizing, C. (Afstudeerdocent 1) & Kuiper, R. (Afstudeerdocent 2), 30 nov. 2003

  Scriptie/Masterproef: Master

  Bestand

• A proposal for a Model-Based Functional Safety methodology for automotive software applications

  Vonk, J. R. F. (Auteur), Barosan, I. (Afstudeerdocent 1), van Bergeijk, J. H. (Externe coach) & van Uden, J. G. S. (Externe coach), 15 mei 2024

  Scriptie/Masterproef: Master

  Bestand

• A prototype parallel particle tracking blood flow simulation system

  Sijpkes, P. E. (Auteur), Hilbers, P. A. J. (Afstudeerdocent 1), van Wijk, J. J. (Afstudeerdocent 2), Mak, R. H. (Afstudeerdocent 2), van de Vosse, F. N. (Afstudeerdocent 2) & Kuijpers, N. H. L. (Afstudeerdocent 2), 31 aug. 2006

  Scriptie/Masterproef: Master

  Bestand

• A Pulsed Laser Phase plate for Transmission Electron Microscopy

  Schaap, W. J. (Auteur), van Leeuwen, K. A. H. (Afstudeerdocent 1) & Luiten, O. J. (Afstudeerdocent 2), aug. 2023

  Scriptie/Masterproef: Master

  Bestand

• A purely force-directed algorithm for drawing curved metro maps

  Miermans, M. D. (Auteur), Haverkort, H. J. (Afstudeerdocent 1), 30 jun. 2014

  Scriptie/Masterproef: Master

  Bestand

• A queueing network with coupled processor

  Douwes, A. S. (Auteur), Resing, J. A. C. (Afstudeerdocent 1), 2020

  Scriptie/Masterproef: Bachelor

  Bestand

• A queueing system with delayed arrival process

  van den Dobbelsteen, R. (Auteur), Resing, J. A. C. (Afstudeerdocent 1), 30 nov. 2014

  Scriptie/Masterproef: Master

  Bestand

• A queueing system with priority scheduling

  Keuning, H. K. (Auteur), Wessels, J. (Afstudeerdocent 1), 31 aug. 1975

  Scriptie/Masterproef: Master

• A queue with bounded response time and maximum storage utilization

  Janse, W. J. (Auteur), Rem, M. (Afstudeerdocent 1), Kaldewaij, A. (Afstudeerdocent 2) & Zwaan, G. (Afstudeerdocent 2), 31 aug. 1988

  Scriptie/Masterproef: Master

• A queuing model with reneging to address disparity between patient bloodtypes

  Ossenblok, F. T. L. (Auteur), Resing, J. A. C. (Afstudeerdocent 1), 5 jul. 2024

  Scriptie/Masterproef: Bachelor

  Bestand

• A Raman Quantum Free-Electron Laser Model

  Schouwenaars, S. (Auteur), Schaap, B. H. (Afstudeerdocent 1) & Luiten, O. J. (Afstudeerdocent 2), 2022

  Scriptie/Masterproef: Master

  Bestand

• A ray tracing approach to computational electromagnetics for reverberation chambers

  Nauwelaerts, F. (Auteur), Aerts, A. T. M. (Afstudeerdocent 1) & Van Troyen, D. (Afstudeerdocent 2), 28 feb. 2009

  Scriptie/Masterproef: Master

  Bestand