Mathematics and Computer Science

Zoekresultaten

• An assessment of ECM authentication in modern vehicles

  Bokslag, W. (Auteur), Etalle, S. (Afstudeerdocent 1), 31 aug. 2017

  Scriptie/Masterproef: Master

  Bestand

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

  Schoenmakers, B. (Auteur), Rem, M. (Afstudeerdocent 1) & van Berkel, C. H. (Afstudeerdocent 2), 31 jan. 1988

  Scriptie/Masterproef: Master

• An atomic force microscopy analysis of InSb nanostructures

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

  Scriptie/Masterproef: Bachelor

  Bestand

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

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

  Scriptie/Masterproef: Bachelor

• An Attack Simulation Methodology for Empirical SOC Performance Evaluation

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

  Scriptie/Masterproef: Master

• A natural extension of the Weyl group

  Smeets, M. J. E. (Auteur), Cohen, A. M. (Afstudeerdocent 1), 31 aug. 2000

  Scriptie/Masterproef: Master

• An Automated Approach to Check Software Architecture Erosion

  Hu, R. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1), Vinju, J. J. (Afstudeerdocent 2) & Schuts, M. T. W. (Externe coach), 1 sep. 2023

  Scriptie/Masterproef: Master

  Bestand

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

  Bilbas, A. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1), Bairampalli, S. (Externe coach) & Schuts, M. T. W. (Externe coach), 8 mrt. 2024

  Scriptie/Masterproef: Master

  Bestand

• An automated guided vehicle system in a container terminal

  Adriaansen, A. C. (Auteur), Udding, J. T. (Afstudeerdocent 1), Pogromskiy, A. Y. (Begeleider) & Li, Q. (Begeleider), 2011

  Scriptie/Masterproef: Master

  Bestand

• An automated verification approach for scheduling in complex manufacturing machines

  Kuijpers, T. J. H. (Auteur), Groote, J. F. (Afstudeerdocent 1) & Serebrenik, A. (Afstudeerdocent 2), 31 jan. 2006

  Scriptie/Masterproef: Master

  Bestand

• An automatic prediction framework for business process performances

  Pavlov, E. (Auteur), Fahland, D. (Afstudeerdocent 1), 2020

  Scriptie/Masterproef: Bachelor

  Bestand

• An automatic recognition method for building floor plans

  Jain, P. (Auteur), Westenberg, M. A. (Afstudeerdocent 1) & Speckmann, B. (Afstudeerdocent 2), 31 aug. 2009

  Scriptie/Masterproef: Master

  Bestand

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

  Pan, Y. (Auteur), Groote, J. F. (Afstudeerdocent 1), Schiffelers, R. R. H. (Afstudeerdocent 2) & Neele, T. (Afstudeerdocent 2), 9 jan. 2020

  Scriptie/Masterproef: Master

  Bestand

• An axiomatisation for rooted branching bisimulation with explicit divergence

  Spaninks, L. (Auteur), Luttik, S. P. (Afstudeerdocent 1), 31 aug. 2013

  Scriptie/Masterproef: Master

  Bestand

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

  Narayan, N. (Auteur), Holenderski, M. J. (Afstudeerdocent 1) & Gijsbers, J. (Externe coach), 27 nov. 2017

  Scriptie/Masterproef: Master

  Bestand

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

  Mariappan Haribalasubramaniam, S. (Auteur), Barosan, I. (Afstudeerdocent 1) & Yalcinkaya, I. (Externe coach), 18 aug. 2020

  Scriptie/Masterproef: Master

  Bestand

• An Efficient Approach to Subtrajectory Clustering for Road Network Construction

  Hendriks, J. A. M. (Auteur), Buchin, K. A. (Afstudeerdocent 1), 16 jul. 2020

  Scriptie/Masterproef: Master

  Bestand

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

  Wang, X. (Auteur), Jalba, A. (Afstudeerdocent 1), 24 jun. 2019

  Scriptie/Masterproef: Master

  Bestand

• An Efficient Implementation of Edmonds’ Blossom Algorithm

  Goolkate, M. P. (Auteur), Pendavingh, R. A. (Afstudeerdocent 1), 25 apr. 2024

  Scriptie/Masterproef: Bachelor

  Bestand

• An efficient way of constructing certain DeBruijn sequences

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

  Scriptie/Masterproef: Master

• An electronic data management system within Océ

  Voeten, J. P. M. (Auteur) & Uittenboogaard, D. (Auteur), Hammer, D. K. (Afstudeerdocent 1), Wortmann, J. C. (Afstudeerdocent 2) & Erens, F. J. (Afstudeerdocent 2), 30 jun. 1991

  Scriptie/Masterproef: Master

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

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

  Scriptie/Masterproef: Master

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

  Mor, K. S. (Auteur), Nabi, M. (Afstudeerdocent 1) & Meijers, F. (Externe coach), 4 feb. 2020

  Scriptie/Masterproef: Master

  Bestand

• An Empirical Study on Dynamic Curriculum Learning in Information Retrieval

  Qian, C. (Auteur), Fang, M. (Afstudeerdocent 1), 28 sep. 2021

  Scriptie/Masterproef: Master

  Bestand

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

  Huyghe, L. M. P. (Auteur), Fahland, D. (Afstudeerdocent 1) & Kloosterman, W. (Externe coach), 18 jun. 2023

  Scriptie/Masterproef: Bachelor

• An evaluation of MOMoT

  van Lier, B. J. J. (Auteur), Van Gorp, P. M. E. (Afstudeerdocent 1), Sidorova, N. (Afstudeerdocent 2) & Razavian, M. (Afstudeerdocent 2), 27 mrt. 2017

  Scriptie/Masterproef: Master

  Bestand

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

  Koopmans, M. A. (Auteur), Hammer, D. K. (Afstudeerdocent 1) & Hemerik, C. (Afstudeerdocent 2), 31 aug. 1996

  Scriptie/Masterproef: Master

• An evaluation of special case 3-coloring algorithms

  Schmeink, E. (Auteur), Roeloffzen, M. J. M. (Afstudeerdocent 1), 20 jul. 2023

  Scriptie/Masterproef: Master

  Bestand

• An evaluation of thresholds for business process model metrics

  Boomsma, R. D. (Auteur), Vanderfeesten, I. T. P. (Afstudeerdocent 1), Fahland, D. (Afstudeerdocent 2), Reijers, H. A. (Afstudeerdocent 2) & Cramer, S. (Externe coach), 30 okt. 2017

  Scriptie/Masterproef: Master

  Bestand

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

  Holzscherer, C. D. (Auteur), Peremans, W. J. (Afstudeerdocent 1), 31 aug. 1981

  Scriptie/Masterproef: Master

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

  Grooteman, J. (Auteur), Fahland, D. (Afstudeerdocent 1), Mannhardt, F. (Afstudeerdocent 2) & Yakovets, N. (Afstudeerdocent 2), 29 sep. 2023

  Scriptie/Masterproef: Master

  Bestand

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

  Bongaerts, N. M. (Auteur), Frohn, M. (Afstudeerdocent 1) & Keijsper, J. C. M. (Afstudeerdocent 2), 2023

  Scriptie/Masterproef: Bachelor

  Bestand

• A new simulation model for urban traffic networks

  van Endhoven, E. (Auteur), Boon, M. A. A. (Afstudeerdocent 1) & van Nifterick, W. (Externe coach), 31 aug. 2016

  Scriptie/Masterproef: Master

  Bestand

• A new take on batch detection in process mining

  Slenders, B. F. (Auteur), Fahland, D. (Afstudeerdocent 1), mrt. 2022

  Scriptie/Masterproef: Bachelor

  Bestand

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

  Ingwersen, C. (Auteur), Smeulders, B. M. L. (Afstudeerdocent 1) & Abdul Roda, M. (Externe coach), 11 mei 2023

  Scriptie/Masterproef: Master

  Bestand

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

  Heutmekers, L. J. G. (Auteur), Hammer, D. K. (Afstudeerdocent 1), Roosmalen, van, O. S. (Afstudeerdocent 2) & Lemmens, W. J. M. (Afstudeerdocent 2), 31 aug. 1992

  Scriptie/Masterproef: Master

• An execution graph specification tool for DEDOS

  van Leeuwen, J. J. (Auteur), Hammer, D. K. (Afstudeerdocent 1), Huizing, C. (Afstudeerdocent 2) & van Gorp, P. C. N. (Afstudeerdocent 2), 30 jun. 1998

  Scriptie/Masterproef: Master

• An Experimental Analysis of Preclustering Algorithms for Imprecise Points

  Slavchev, I. D. (Auteur), de Berg, M. T. (Afstudeerdocent 1), 29 mrt. 2023

  Scriptie/Masterproef: Master

  Bestand

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

  de Waal, R. R. A. M. (Auteur), Rem, M. (Afstudeerdocent 1) & Lukkien, J. J. (Afstudeerdocent 2), 31 aug. 1994

  Scriptie/Masterproef: Master

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

  Mallick, S. (Auteur), de Berg, M. (Afstudeerdocent 1), 30 sep. 2021

  Scriptie/Masterproef: Master

  Bestand

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

  Aerts, T. C. M. (Auteur), de Berg, M. T. (Afstudeerdocent 1), 16 aug. 2023

  Scriptie/Masterproef: Master

  Bestand

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

  Roozen, L. A. (Auteur), Cuijpers, P. J. L. (Afstudeerdocent 1) & Ashjaei, M. (Externe coach), 6 jul. 2023

  Scriptie/Masterproef: Master

  Bestand

• An experimental evaluation of the logarithmic priority-R tree

  Abbas, U. (Auteur), Haverkort, H. J. (Afstudeerdocent 1), de Berg, M. T. (Afstudeerdocent 2) & van de Wetering, H. M. M. (Afstudeerdocent 2), 30 nov. 2006

  Scriptie/Masterproef: Master

  Bestand

• An Experimental Evaluation of the Min-Max Latency Multi-Robot Patrolling Problem

  Dragomir, A. (Auteur), de Berg, M. T. (Afstudeerdocent 1), 30 nov. 2022

  Scriptie/Masterproef: Master

  Bestand

• An experimental evaluation of various approxiate watershed algorithms on triangulated terrains

  Koopal, S. (Auteur), de Berg, M. T. (Afstudeerdocent 1) & Tsirogiannis, K. (Afstudeerdocent 2), 31 mrt. 2013

  Scriptie/Masterproef: Master

  Bestand

• An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems

  Keiren, J. J. A. (Auteur), Willemse, T. A. C. (Afstudeerdocent 1), 31 aug. 2009

  Scriptie/Masterproef: Master

  Bestand

• An experimental study of human action recognition system using machine learning

  Bi, T. (Auteur), Ozcelebi, T. (Afstudeerdocent 1) & Sekulovski, D. (Externe coach), 31 aug. 2016

  Scriptie/Masterproef: Master

  Bestand

• An experiment on two-handed interaction in the personal space station

  Verheijen, B. (Auteur), van Liere, R. (Afstudeerdocent 1), 30 jun. 2004

  Scriptie/Masterproef: Master

  Bestand

• An Explainable Approach to Multi-contextual Fake News Detection

  Kapadia, P. (Auteur), Pechenizkiy, M. (Afstudeerdocent 1), Pei, Y. (Afstudeerdocent 2) & Das, B. (Externe coach), 29 okt. 2021

  Scriptie/Masterproef: Master

  Bestand

• An exploration and evaluation of concept based interpretability methods as a measure of representation quality in neural networks

  Remmits, Y. L. J. A. (Auteur), Menkovski, V. (Afstudeerdocent 1) & Stolikj, M. (Externe coach), 30 sep. 2019

  Scriptie/Masterproef: Master

  Bestand