Mathematics and Computer Science

Search results

• An Approach for Development of Threat-Driven Intrusion Detection Use Cases for a Manufacturing Execution System

  van der Velden, T. P. (Author), Allodi, L. (Supervisor 1), Zambon-Mazzocato, E. (Supervisor 2) & Butela, P. (External coach), 20 Apr 2023

  Student thesis: Master

  File

• An approach to automatic generation and verification of solutions to tonal four-part harmony exercises

  Pisters, R. K. P. (Author), Borghuis, V. A. J. (Supervisor 1), van Geenen, J. L. (Supervisor 2) & Maas, H. W. M. (Supervisor 2), 31 Aug 2007

  Student thesis: Master

  File

• An Approach to Data Reduction for Medium to Large sized Datasets: Combining Lossy Decimal Reduction with Practical Significance

  Jacobs, I. C. J. (Author), Quaeghebeur, E. (Supervisor 1), Jun 2022

  Student thesis: Bachelor

  File

• An approach to scheduling in distributed hard-real-time systems

  Jansen, E. (Author), Hammer, D. K. (Supervisor 1), Lenstra, J. K. (Supervisor 2), Luit, E. J. (Supervisor 2) & Verhoosel, J. P. C. (Supervisor 2), 30 Apr 1990

  Student thesis: Master

• An approach to select redesign best practices

  Bui, T. D. T. (Author), Wilbik, A. (Supervisor 1), Vanderfeesten, I. T. P. (Supervisor 2), Fahland, D. (Supervisor 2) & Rauto, S. S. (External coach), 30 Apr 2016

  Student thesis: Master

  File

• An approach to variability management in enterprise architecture

  Rurua, N. (Author), Eshuis, H. (Supervisor 1), Razavian, M. (Supervisor 2), Fahland, D. (Supervisor 2) & Spierings, A. (External coach), 31 Oct 2015

  Student thesis: Master

  File

• An architecture for data synchronization in a mobile environment

  Bouwmans, P. F. M. (Author), Lukkien, J. J. (Supervisor 1) & Kuindersma, A. (Supervisor 2), 31 Aug 2009

  Student thesis: Master

  File

• An assessment of ECM authentication in modern vehicles

  Bokslag, W. (Author), Etalle, S. (Supervisor 1), 31 Aug 2017

  Student thesis: Master

  File

• An assessment of Silage : a stream-oriented programming language

  Schoenmakers, B. (Author), Rem, M. (Supervisor 1) & van Berkel, C. H. (Supervisor 2), 31 Jan 1988

  Student thesis: Master

• An atomic force microscopy analysis of InSb nanostructures

  van Houts, R. (Author), Bakkers, E. P. A. M. (Supervisor 1), Jung, J. (Supervisor 2) & Op het Veld, R. L. M. (Supervisor 2), 2019

  Student thesis: Bachelor

  File

• Anatomy of analogue black hole geometries: from ADM Decomposition to superradiance

  The, B. (Author), Fuster, A. (Supervisor 1), Toschi, F. (Supervisor 2) & Heefer, S. (Supervisor 2), 2024

  Student thesis: Bachelor

• An Attack Simulation Methodology for Empirical SOC Performance Evaluation

  Rosso, M. (Author), Allodi, L. (Supervisor 1), Moonsamy, V. (Supervisor 1) & Poll, E. (Supervisor 2), 2019

  Student thesis: Master

• A natural extension of the Weyl group

  Smeets, M. J. E. (Author), Cohen, A. M. (Supervisor 1), 31 Aug 2000

  Student thesis: Master

• An Automated Approach to Check Software Architecture Erosion

  Hu, R. (Author), Chaudron, M. R. V. (Supervisor 1), Vinju, J. J. (Supervisor 2) & Schuts, M. T. W. (External coach), 1 Sept 2023

  Student thesis: Master

  File

• An Automated Approach to Classify Class Role Stereotypes for Detecting Design Flaws

  Bilbas, A. (Author), Chaudron, M. R. V. (Supervisor 1), Bairampalli, S. (External coach) & Schuts, M. T. W. (External coach), 8 Mar 2024

  Student thesis: Master

  File

• An automated guided vehicle system in a container terminal

  Adriaansen, A. C. (Author), Udding, J. T. (Supervisor 1), Pogromskiy, A. Y. (Coach) & Li, Q. (Coach), 2011

  Student thesis: Master

  File

• An automated verification approach for scheduling in complex manufacturing machines

  Kuijpers, T. J. H. (Author), Groote, J. F. (Supervisor 1) & Serebrenik, A. (Supervisor 2), 31 Jan 2006

  Student thesis: Master

  File

• An automatic prediction framework for business process performances

  Pavlov, E. (Author), Fahland, D. (Supervisor 1), 2020

  Student thesis: Bachelor

  File

• An automatic recognition method for building floor plans

  Jain, P. (Author), Westenberg, M. A. (Supervisor 1) & Speckmann, B. (Supervisor 2), 31 Aug 2009

  Student thesis: Master

  File

• An Automatic Transformation for Multi-Component Systems from ALIAS to mCRL2

  Pan, Y. (Author), Groote, J. F. (Supervisor 1), Schiffelers, R. R. H. (Supervisor 2) & Neele, T. (Supervisor 2), 9 Jan 2020

  Student thesis: Master

  File

• An axiomatisation for rooted branching bisimulation with explicit divergence

  Spaninks, L. (Author), Luttik, S. P. (Supervisor 1), 31 Aug 2013

  Student thesis: Master

  File

• A nearest neighbor based cold-deck imputation for X-ray tube wear estimation

  Narayan, N. (Author), Holenderski, M. J. (Supervisor 1) & Gijsbers, J. (External coach), 27 Nov 2017

  Student thesis: Master

  File

• An Effective Simulator for Hardware-In-Loop Simulation Verification of Truck platooning

  Mariappan Haribalasubramaniam, S. (Author), Barosan, I. (Supervisor 1) & Yalcinkaya, I. (External coach), 18 Aug 2020

  Student thesis: Master

  File

• An Efficient Approach to Subtrajectory Clustering for Road Network Construction

  Hendriks, J. A. M. (Author), Buchin, K. A. (Supervisor 1), 16 Jul 2020

  Student thesis: Master

  File

• An efficient end-to-end object detection pipeline on GPU using CUDA

  Wang, X. (Author), Jalba, A. (Supervisor 1), 24 Jun 2019

  Student thesis: Master

  File

• An Efficient Implementation of Edmonds’ Blossom Algorithm

  Goolkate, M. P. (Author), Pendavingh, R. A. (Supervisor 1), 25 Apr 2024

  Student thesis: Bachelor

  File

• An efficient way of constructing certain DeBruijn sequences

  van Weert, M. M. J. (Author), van Tilborg, H. C. A. (Supervisor 1) & Jansen, C. J. A. (Supervisor 2), 1993

  Student thesis: Master

• An electronic data management system within Océ

  Voeten, J. P. M. (Author) & Uittenboogaard, D. (Author), Hammer, D. K. (Supervisor 1), Wortmann, J. C. (Supervisor 2) & Erens, F. J. (Supervisor 2), 30 Jun 1991

  Student thesis: Master

• An embedded application in a real-time programming language : implementation of the control software of a copier in DEAL

  Poels, M. H. A. (Author) & Strooper, M. J. (Author), van der Stok, P. D. V. (Supervisor 1) & Roosmalen, van, O. S. (Supervisor 2), 28 Feb 1995

  Student thesis: Master

• An Embedded Linux Distribution for the Data Acquisition Hardware of the Compact Muon Solenoid Experiment at CERN

  Mor, K. S. (Author), Nabi, M. (Supervisor 1) & Meijers, F. (External coach), 4 Feb 2020

  Student thesis: Master

  File

• An Empirical Study on Dynamic Curriculum Learning in Information Retrieval

  Qian, C. (Author), Fang, M. (Supervisor 1), 28 Sept 2021

  Student thesis: Master

  File

• An error suppression model to enable ultra-sensitive cancer monitoring

  Huyghe, L. M. P. (Author), Fahland, D. (Supervisor 1) & Kloosterman, W. (External coach), 18 Jun 2023

  Student thesis: Bachelor

• An evaluation of MOMoT

  van Lier, B. J. J. (Author), Van Gorp, P. M. E. (Supervisor 1), Sidorova, N. (Supervisor 2) & Razavian, M. (Supervisor 2), 27 Mar 2017

  Student thesis: Master

  File

• An evaluation of object-oriented languages for DEDOS/Deal

  Koopmans, M. A. (Author), Hammer, D. K. (Supervisor 1) & Hemerik, C. (Supervisor 2), 31 Aug 1996

  Student thesis: Master

• An evaluation of special case 3-coloring algorithms

  Schmeink, E. (Author), Roeloffzen, M. J. M. (Supervisor 1), 20 Jul 2023

  Student thesis: Master

  File

• An evaluation of thresholds for business process model metrics

  Boomsma, R. D. (Author), Vanderfeesten, I. T. P. (Supervisor 1), Fahland, D. (Supervisor 2), Reijers, H. A. (Supervisor 2) & Cramer, S. (External coach), 30 Oct 2017

  Student thesis: Master

  File

• A new class of languages defined with real-time push-down automata

  Holzscherer, C. D. (Author), Peremans, W. J. (Supervisor 1), 31 Aug 1981

  Student thesis: Master

• A New Framework for Filtering Noise from an Event Log to Improve Process Model Quality

  Grooteman, J. (Author), Fahland, D. (Supervisor 1), Mannhardt, F. (Supervisor 2) & Yakovets, N. (Supervisor 2), 29 Sept 2023

  Student thesis: Master

  File

• A New Method to Measure Tree-basedness of Rooted Binary Phylogenetic Networks

  Bongaerts, N. M. (Author), Frohn, M. (Supervisor 1) & Keijsper, J. C. M. (Supervisor 2), 2023

  Student thesis: Bachelor

  File

• A new simulation model for urban traffic networks

  van Endhoven, E. (Author), Boon, M. A. A. (Supervisor 1) & van Nifterick, W. (External coach), 31 Aug 2016

  Student thesis: Master

  File

• A new take on batch detection in process mining

  Slenders, B. F. (Author), Fahland, D. (Supervisor 1), Mar 2022

  Student thesis: Bachelor

  File

• An exact branch-price-and-cut algorithm for the multi-compartment vehicle routing problem with pickups and deliveries

  Ingwersen, C. (Author), Smeulders, B. M. L. (Supervisor 1) & Abdul Roda, M. (External coach), 11 May 2023

  Student thesis: Master

  File

• An execution-graph analyzer for DEAL, the application language of DEDOS

  Heutmekers, L. J. G. (Author), Hammer, D. K. (Supervisor 1), Roosmalen, van, O. S. (Supervisor 2) & Lemmens, W. J. M. (Supervisor 2), 31 Aug 1992

  Student thesis: Master

• An execution graph specification tool for DEDOS

  van Leeuwen, J. J. (Author), Hammer, D. K. (Supervisor 1), Huizing, C. (Supervisor 2) & van Gorp, P. C. N. (Supervisor 2), 30 Jun 1998

  Student thesis: Master

• An Experimental Analysis of Preclustering Algorithms for Imprecise Points

  Slavchev, I. D. (Author), de Berg, M. T. (Supervisor 1), 29 Mar 2023

  Student thesis: Master

  File

• An experimental environment for a continuous version of the prisoner's dilemma

  de Waal, R. R. A. M. (Author), Rem, M. (Supervisor 1) & Lukkien, J. J. (Supervisor 2), 31 Aug 1994

  Student thesis: Master

• An experimental evaluation of sliding-window algorithms for k-means clustering

  Mallick, S. (Author), de Berg, M. (Supervisor 1), 30 Sept 2021

  Student thesis: Master

  File

• An Experimental Evaluation of Stable Algorithms for the Broadcast Range-Assignment Problem

  Aerts, T. C. M. (Author), de Berg, M. T. (Supervisor 1), 16 Aug 2023

  Student thesis: Master

  File

• An experimental evaluation of the effect of preemption in a time-sensitive network

  Roozen, L. A. (Author), Cuijpers, P. J. L. (Supervisor 1) & Ashjaei, M. (External coach), 6 Jul 2023

  Student thesis: Master

  File

• An experimental evaluation of the logarithmic priority-R tree

  Abbas, U. (Author), Haverkort, H. J. (Supervisor 1), de Berg, M. T. (Supervisor 2) & van de Wetering, H. M. M. (Supervisor 2), 30 Nov 2006

  Student thesis: Master

  File