Mathematics and Computer Science

Search results

• A Unified Data Model for Cyber Threat Intelligence in Operational Technology Networks

  Vijayakumar, S. (Author), Allodi, L. (Supervisor 1) & Dagrada, M. (External coach), 26 Aug 2020

  Student thesis: Master

  File

• A universally applicable EMM framework

  de Ruiter, W. (Author), Duivesteijn, W. (Supervisor 1), van Dongen, B. F. (Supervisor 2) & Yakovets, N. (Supervisor 2), 8 Jan 2021

  Student thesis: Master

  File

• Authentication services : theory and practice

  van Rooij, G. V. (Author), van Tilborg, H. C. A. (Supervisor 1) & van Pul, C. L. M. (Supervisor 2), 31 Aug 1993

  Student thesis: Master

• Authoring of adaptation in the GRAPPLE project

  Ploum, E. L. M. (Author), De Bra, P. M. E. (Supervisor 1) & van der Sluijs, K. A. M. (Supervisor 2), 31 Aug 2009

  Student thesis: Master

  File

• Authoring resources in a concept-based educational system

  Rijsdijk, J. T. J. (Author), Aroyo, L. M. (Supervisor 1), 31 Jan 2006

  Student thesis: Master

  File

• Authoring support for adaptive hypermedia

  Remmen, M. (Author), De Bra, P. M. E. (Supervisor 1), 31 Oct 2000

  Student thesis: Master

  File

• Authoring support for domain modelling in concept-based educational system

  Hubens, J. L. P. (Author), Aroyo, L. M. (Supervisor 1), 30 Jun 2004

  Student thesis: Master

  File

• Authoring through concept structure level translation of adaptive hypermedia systems

  Ramp, E. W. A. (Author), De Bra, P. M. E. (Supervisor 1) & Brusilovsky, P. (Supervisor 2), 30 Jun 2005

  Student thesis: Master

  File

• Autoencoder-based Detection of Delays, Handovers and Workloads High-Level Events

  Verwijst, I. (Author), Hassani, M. (Supervisor 1) & Mennens, R. J. P. (External coach), 25 Jun 2024

  Student thesis: Master

• Autoencoders as Tools for Program Synthesis

  de Bruin, S. D. M. (Author), Liventsev, V. (Supervisor 1) & Petkovic, M. (Supervisor 2), 17 Aug 2021

  Student thesis: Master

  File

• AutoFlow: Automatic support for alert sense-making

  Bimbashi, J. (Author), Zambon, E. (Supervisor 1), 23 Aug 2024

  Student thesis: Master

  File

• Automated 2G traffic interception and penetration testing

  Veens, T. (Author), Michiels, W. (Supervisor 1) & Moonen, R. (External coach), 26 Nov 2018

  Student thesis: Master

  File

• Automated algorithm configuration for ILP-based process discovery

  Slabbekoorn, J. R. (Author), van Dongen, B. F. (Supervisor 1) & van Zelst, S. J. (Supervisor 2), 30 Apr 2016

  Student thesis: Master

  File

• Automated application of post-compilation countermeasures against fault attacks

  Cao, V. N. (Author), Stuijk, S. (Supervisor 1), Moro, N. (External coach) & Zussa, L. (External coach), 17 Aug 2023

  Student thesis: Master

  File

• Automated Architecture Analysis of Low-Code Applications

  Kakkenberg, R. T. B. (Author), Chaudron, M. R. V. (Supervisor 1) & Gerholt, W. (External coach), 1 Jul 2024

  Student thesis: Master

  File

• Automated Auditing of Controls using Event Knowledge Graphs

  van Neerven, B. A. (Author), Fahland, D. (Supervisor 1) & Leander, J. (External coach), 15 Mar 2024

  Student thesis: Master

  File

• Automated bid adjustments in search engine advertising

  Aly Ahmed, M. M. A. (Author), Girdzijauskas, S. (External coach), 31 Aug 2017

  Student thesis: Master

  File

• Automated compliance checking of z/OS against GSD 331 and DISA STIG

  Bharathi Venkataramanapa, G. (Author), den Hartog, J. I. (Supervisor 1), Schoone, H. (External coach), Pai, M. (External coach) & Zannone, N. (Supervisor 2), 31 Aug 2012

  Student thesis: Master

  File

• Automated data classification for mainframes

  Pai, S. (Author), den Hartog, J. I. (Supervisor 1), Schoone, H. (External coach), Pai, R. M. (External coach) & Zannone, N. (Supervisor 2), 31 Aug 2012

  Student thesis: Master

  File

• Automated datasheet generation: for LED products

  Jurado Solis, P. (Author), Medeiros de Carvalho, R. (Supervisor 1), van der Voort, E. (External coach) & Yakovets, N. (Supervisor 2), 28 May 2018

  Student thesis: Master

  File

• Automated discovery of event data from relational databases

  Wolters, R. M. L. (Author), Reijers, H. (Supervisor 1) & Gonzalez Lopez de Murillas, E. (Supervisor 2), 25 Mar 2019

  Student thesis: Master

  File

• Automated estimation of stochastic lattice model parameters: Modeling tumor evolution: simulating metastasis with the cellular Potts model

  Knopp, K. H. (Author), Hess, S. (Supervisor 1) & Hillmann, L. (Supervisor 2), Jun 2024

  Student thesis: Bachelor

  File

• Automated Integrity Control in AKTS

  Pham, V. V. S. (Author), Dignum, F. P. M. (Supervisor 1) & Lucardie, L. (Supervisor 2), 31 Aug 1995

  Student thesis: Master

• Automated line haul scheduling for LTL-carriers

  Lavrijsen, N. P. H. J. (Author), Stougie, L. (Supervisor 1), 28 Feb 2002

  Student thesis: Master

  File

• Automated machine learning with gradient boosting and meta-learning

  van Hoof, J. M. A. P. (Author), Vanschoren, J. (Supervisor 1), 28 Jan 2019

  Student thesis: Master

  File

• Automated methods for multiscale modeling

  van den Heuvel, A.-W. (Author), Baumeier, B. (Supervisor 1), 18 Jul 2023

  Student thesis: Bachelor

  File

• Automated multi-core deployment for high-end servo control

  Ok, B. (Author), Voeten, J. P. M. (Supervisor 1), Schiffelers, R. R. H. (External coach) & Adyanthaya, S. (Supervisor 2), 31 Jan 2015

  Student thesis: Master

  File

• Automated Object Recognition of Solar Panels in Aerial Photographs: a case study in the Liander Service Area

  te Selle, J. (Author), Pechenizkiy, M. (Supervisor 1), Medeiros de Carvalho, R. (Supervisor 2) & Weelinck, T. (External coach), 2 Feb 2022

  Student thesis: Master

  File

• Automated Outlier Detection for Inkjet Printing

  Ben Fredj, E. (Author), Di Bucchianico, A. (Supervisor 1), 23 Feb 2023

  Student thesis: Master

  File

• Automated particle estimation at the interface of two adjacent homogeneous Poisson point processes

  Niesten, L. (Author), van der Hoorn, W. L. F. (Supervisor 1), Jun 2021

  Student thesis: Bachelor

  File

• Automated Path Map Generation for AGV Systems

  Teusink, J. (Author), Spieksma, F. C. R. (Supervisor 1), van Eekelen, J. A. W. M. (External coach) & van Rhee, E. G. M. (External coach), 21 Feb 2022

  Student thesis: Master

  File

• Automated process recommendation within a workflow management system

  de Wolf, D. A. (Author), Angelov, S. A. (Supervisor 1), Dijkman, R. M. (Supervisor 2) & Westergaard, M. (Supervisor 2), 2011

  Student thesis: Master

  File

• Automated program verification using SMT

  van der Horst, M. (Author), Zantema, H. (Supervisor 1), 13 Jan 2022

  Student thesis: Master

  File

• Automated proof of theorems in geometries over division rings

  Conijn, B. J. (Author), Sterk, H. J. M. (Supervisor 1), 2011

  Student thesis: Bachelor

  File

• Automated reengineering using evolutionary coupling

  Hermans, F. (Author), Serebrenik, A. (Supervisor 1), 31 Aug 2011

  Student thesis: Master

  File

• Automated schema matching for Universal Data Services

  Maas, T. (Author), den Adel, R. (Supervisor 1) & Aerts, A. T. M. (Supervisor 2), 31 May 2009

  Student thesis: Master

  File

• Automated security review of Java card applets with static code analysis

  Lie, R. E. A. (Author), Serebrenik, A. (Supervisor 1), Breunesse, C.-B. (External coach), Poll, E. (Supervisor 2) & Witteman, M. F. (External coach), 31 Aug 2012

  Student thesis: Master

  File

• Automated summarization of movies and TV series on a semantic level

  Tsoneva, T. (Author), Aarts, E. H. L. (Supervisor 1), Barbieri, M. (Supervisor 2) & Weda, J. (Supervisor 2), 30 Apr 2007

  Student thesis: Master

  File

• Automated techniques for reconstructing and assessing correspondence between UML designs and implementations

  van Opzeeland, D. J. A. (Author), Chaudron, M. R. V. (Supervisor 1), 31 Aug 2005

  Student thesis: Master

  File

• Automated test control block generation and minimization

  Marinissen, E. J. (Author), Rem, M. (Supervisor 1), Dekker, R. W. C. (Supervisor 2) & Beenker, F. (Supervisor 2), 14 Mar 1990

  Student thesis: Master

• Automated Time-series Tool: Importing, Analysing and Modelling

  Loeffen, B. (Author), Kapodistria, S. (Supervisor 1), Valkhoff, N. (External coach) & Jansma, F. (External coach), 23 Nov 2022

  Student thesis: Master

  File

• Automated Translation of Event Data from Relational to Graph Databases

  Leander, J. (Author), Fahland, D. (Supervisor 1) & Fletcher, G. H. L. (Supervisor 2), 20 May 2020

  Student thesis: Master

  File

• Automated typesetting: the mathematics of beautiful texts

  Roordink, J. (Author), Hurkens, C. (Supervisor 1), 15 Aug 2019

  Student thesis: Bachelor

  File

• Automated verification of Owicki/Gries proof outlines: comparing PVS and Isabelle

  Koudijs, J. C. (Author), Romijn, J. M. T. (Supervisor 1), Mooij, A. J. (Supervisor 2) & Wesselink, J. W. (Supervisor 2), 31 Jan 2006

  Student thesis: Master

  File

• Automatically Block-structuring of BPMN Models

  Tang, C. (Author), van Dongen, B. F. (Supervisor 1), Brons, D. (External coach) & Papapetrou, O. (Supervisor 2), 31 Aug 2022

  Student thesis: Master

  File

• Automatically proving equality of infinite sequences

  Roelofs, S. (Author), Zantema, H. (Supervisor 1), 28 Oct 2019

  Student thesis: Master

  File

• Automatically responding to customers

  Huijzer, T. H. (Author), Yakovets, N. (Supervisor 1), 25 Mar 2019

  Student thesis: Master

  File

• Automatically Scheduling Halide-HLS

  Schellekens, R. F. M. (Author), Corporaal, H. (Supervisor 1), 4 Feb 2020

  Student thesis: Master

  File

• Automatically testing semantics preservation in SLCO to Java transformation

  Wiłkowski, M. (Author), Wijs, A. (Supervisor 1), 26 Nov 2019

  Student thesis: Master

  File

• Automatic Anti-Pattern Detection in Microservice Architectures based on Distributed Tracing

  Hübener, T. (Author), Luo, Y. (Supervisor 1), 16 Aug 2021

  Student thesis: Master

  File