Mathematics and Computer Science

Zoekresultaten

• A universally applicable EMM framework

  de Ruiter, W. (Auteur), Duivesteijn, W. (Afstudeerdocent 1), van Dongen, B. F. (Afstudeerdocent 2) & Yakovets, N. (Afstudeerdocent 2), 8 jan. 2021

  Scriptie/Masterproef: Master

  Bestand

• Authentication services : theory and practice

  van Rooij, G. V. (Auteur), van Tilborg, H. C. A. (Afstudeerdocent 1) & van Pul, C. L. M. (Afstudeerdocent 2), 31 aug. 1993

  Scriptie/Masterproef: Master

• Authoring of adaptation in the GRAPPLE project

  Ploum, E. L. M. (Auteur), De Bra, P. M. E. (Afstudeerdocent 1) & van der Sluijs, K. A. M. (Afstudeerdocent 2), 31 aug. 2009

  Scriptie/Masterproef: Master

  Bestand

• Authoring resources in a concept-based educational system

  Rijsdijk, J. T. J. (Auteur), Aroyo, L. M. (Afstudeerdocent 1), 31 jan. 2006

  Scriptie/Masterproef: Master

  Bestand

• Authoring support for adaptive hypermedia

  Remmen, M. (Auteur), De Bra, P. M. E. (Afstudeerdocent 1), 31 okt. 2000

  Scriptie/Masterproef: Master

  Bestand

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

  Hubens, J. L. P. (Auteur), Aroyo, L. M. (Afstudeerdocent 1), 30 jun. 2004

  Scriptie/Masterproef: Master

  Bestand

• Authoring through concept structure level translation of adaptive hypermedia systems

  Ramp, E. W. A. (Auteur), De Bra, P. M. E. (Afstudeerdocent 1) & Brusilovsky, P. (Afstudeerdocent 2), 30 jun. 2005

  Scriptie/Masterproef: Master

  Bestand

• Autoencoders as Tools for Program Synthesis

  de Bruin, S. D. M. (Auteur), Liventsev, V. (Afstudeerdocent 1) & Petkovic, M. (Afstudeerdocent 2), 17 aug. 2021

  Scriptie/Masterproef: Master

  Bestand

• AutoFlow : Automatic support for alert sense-making

  Bimbashi, J. (Auteur), Zambon, E. (Afstudeerdocent 1), 23 aug. 2024

  Scriptie/Masterproef: Master

  Bestand

• Automated 2G traffic interception and penetration testing

  Veens, T. (Auteur), Michiels, W. (Afstudeerdocent 1) & Moonen, R. (Externe coach), 26 nov. 2018

  Scriptie/Masterproef: Master

  Bestand

• Automated algorithm configuration for ILP-based process discovery

  Slabbekoorn, J. R. (Auteur), van Dongen, B. F. (Afstudeerdocent 1) & van Zelst, S. J. (Afstudeerdocent 2), 30 apr. 2016

  Scriptie/Masterproef: Master

  Bestand

• Automated application of post-compilation countermeasures against fault attacks

  Cao, V. N. (Auteur), Stuijk, S. (Afstudeerdocent 1), Moro, N. (Externe coach) & Zussa, L. (Externe coach), 17 aug. 2023

  Scriptie/Masterproef: Master

  Bestand

• Automated Architecture Analysis of Low-Code Applications

  Kakkenberg, R. T. B. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1) & Gerholt, W. (Externe coach), 1 jul. 2024

  Scriptie/Masterproef: Master

  Bestand

• Automated Auditing of Controls using Event Knowledge Graphs

  van Neerven, B. A. (Auteur), Fahland, D. (Afstudeerdocent 1) & Leander, J. (Externe coach), 15 mrt. 2024

  Scriptie/Masterproef: Master

  Bestand

• Automated bid adjustments in search engine advertising

  Aly Ahmed, M. M. A. (Auteur), Girdzijauskas, S. (Externe coach), 31 aug. 2017

  Scriptie/Masterproef: Master

  Bestand

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

  Bharathi Venkataramanapa, G. (Auteur), den Hartog, J. I. (Afstudeerdocent 1), Schoone, H. (Externe coach), Pai, M. (Externe coach) & Zannone, N. (Afstudeerdocent 2), 31 aug. 2012

  Scriptie/Masterproef: Master

  Bestand

• Automated data classification for mainframes

  Pai, S. (Auteur), den Hartog, J. I. (Afstudeerdocent 1), Schoone, H. (Externe coach), Pai, R. M. (Externe coach) & Zannone, N. (Afstudeerdocent 2), 31 aug. 2012

  Scriptie/Masterproef: Master

  Bestand

• Automated datasheet generation: for LED products

  Jurado Solis, P. (Auteur), Medeiros de Carvalho, R. (Afstudeerdocent 1), van der Voort, E. (Externe coach) & Yakovets, N. (Afstudeerdocent 2), 28 mei 2018

  Scriptie/Masterproef: Master

  Bestand

• Automated discovery of event data from relational databases

  Wolters, R. M. L. (Auteur), Reijers, H. (Afstudeerdocent 1) & Gonzalez Lopez de Murillas, E. (Afstudeerdocent 2), 25 mrt. 2019

  Scriptie/Masterproef: Master

  Bestand

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

  Knopp, K. H. (Auteur), Hess, S. (Afstudeerdocent 1) & Hillmann, L. (Afstudeerdocent 2), jun. 2024

  Scriptie/Masterproef: Bachelor

  Bestand

• Automated Integrity Control in AKTS

  Pham, V. V. S. (Auteur), Dignum, F. P. M. (Afstudeerdocent 1) & Lucardie, L. (Afstudeerdocent 2), 31 aug. 1995

  Scriptie/Masterproef: Master

• Automated line haul scheduling for LTL-carriers

  Lavrijsen, N. P. H. J. (Auteur), Stougie, L. (Afstudeerdocent 1), 28 feb. 2002

  Scriptie/Masterproef: Master

  Bestand

• Automated machine learning with gradient boosting and meta-learning

  van Hoof, J. M. A. P. (Auteur), Vanschoren, J. (Afstudeerdocent 1), 28 jan. 2019

  Scriptie/Masterproef: Master

  Bestand

• Automated methods for multiscale modeling

  van den Heuvel, A.-W. (Auteur), Baumeier, B. (Afstudeerdocent 1), 18 jul. 2023

  Scriptie/Masterproef: Bachelor

  Bestand

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

  Ok, B. (Auteur), Voeten, J. P. M. (Afstudeerdocent 1), Schiffelers, R. R. H. (Externe coach) & Adyanthaya, S. (Afstudeerdocent 2), 31 jan. 2015

  Scriptie/Masterproef: Master

  Bestand

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

  te Selle, J. (Auteur), Pechenizkiy, M. (Afstudeerdocent 1), Medeiros de Carvalho, R. (Afstudeerdocent 2) & Weelinck, T. (Externe coach), 2 feb. 2022

  Scriptie/Masterproef: Master

  Bestand

• Automated Outlier Detection for Inkjet Printing

  Ben Fredj, E. (Auteur), Di Bucchianico, A. (Afstudeerdocent 1), 23 feb. 2023

  Scriptie/Masterproef: Master

  Bestand

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

  Niesten, L. (Auteur), van der Hoorn, W. L. F. (Afstudeerdocent 1), jun. 2021

  Scriptie/Masterproef: Bachelor

  Bestand

• Automated Path Map Generation for AGV Systems

  Teusink, J. (Auteur), Spieksma, F. C. R. (Afstudeerdocent 1), van Eekelen, J. A. W. M. (Externe coach) & van Rhee, E. G. M. (Externe coach), 21 feb. 2022

  Scriptie/Masterproef: Master

  Bestand

• Automated process recommendation within a workflow management system

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

  Scriptie/Masterproef: Master

  Bestand

• Automated program verification using SMT

  van der Horst, M. (Auteur), Zantema, H. (Afstudeerdocent 1), 13 jan. 2022

  Scriptie/Masterproef: Master

  Bestand

• Automated proof of theorems in geometries over division rings

  Conijn, B. J. (Auteur), Sterk, H. J. M. (Afstudeerdocent 1), 2011

  Scriptie/Masterproef: Bachelor

  Bestand

• Automated reengineering using evolutionary coupling

  Hermans, F. (Auteur), Serebrenik, A. (Afstudeerdocent 1), 31 aug. 2011

  Scriptie/Masterproef: Master

  Bestand

• Automated schema matching for Universal Data Services

  Maas, T. (Auteur), den Adel, R. (Afstudeerdocent 1) & Aerts, A. T. M. (Afstudeerdocent 2), 31 mei 2009

  Scriptie/Masterproef: Master

  Bestand

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

  Lie, R. E. A. (Auteur), Serebrenik, A. (Afstudeerdocent 1), Breunesse, C.-B. (Externe coach), Poll, E. (Afstudeerdocent 2) & Witteman, M. F. (Externe coach), 31 aug. 2012

  Scriptie/Masterproef: Master

  Bestand

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

  Tsoneva, T. (Auteur), Aarts, E. H. L. (Afstudeerdocent 1), Barbieri, M. (Afstudeerdocent 2) & Weda, J. (Afstudeerdocent 2), 30 apr. 2007

  Scriptie/Masterproef: Master

  Bestand

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

  van Opzeeland, D. J. A. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1), 31 aug. 2005

  Scriptie/Masterproef: Master

  Bestand

• Automated test control block generation and minimization

  Marinissen, E. J. (Auteur), Rem, M. (Afstudeerdocent 1), Dekker, R. W. C. (Afstudeerdocent 2) & Beenker, F. (Afstudeerdocent 2), 14 mrt. 1990

  Scriptie/Masterproef: Master

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

  Loeffen, B. (Auteur), Kapodistria, S. (Afstudeerdocent 1), Valkhoff, N. (Externe coach) & Jansma, F. (Externe coach), 23 nov. 2022

  Scriptie/Masterproef: Master

  Bestand

• Automated Translation of Event Data from Relational to Graph Databases

  Leander, J. (Auteur), Fahland, D. (Afstudeerdocent 1) & Fletcher, G. H. L. (Afstudeerdocent 2), 20 mei 2020

  Scriptie/Masterproef: Master

  Bestand

• Automated typesetting: the mathematics of beautiful texts

  Roordink, J. (Auteur), Hurkens, C. (Afstudeerdocent 1), 15 aug. 2019

  Scriptie/Masterproef: Bachelor

  Bestand

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

  Koudijs, J. C. (Auteur), Romijn, J. M. T. (Afstudeerdocent 1), Mooij, A. J. (Afstudeerdocent 2) & Wesselink, J. W. (Afstudeerdocent 2), 31 jan. 2006

  Scriptie/Masterproef: Master

  Bestand

• Automatically Block-structuring of BPMN Models

  Tang, C. (Auteur), van Dongen, B. F. (Afstudeerdocent 1), Brons, D. (Externe coach) & Papapetrou, O. (Afstudeerdocent 2), 31 aug. 2022

  Scriptie/Masterproef: Master

  Bestand

• Automatically proving equality of infinite sequences

  Roelofs, S. (Auteur), Zantema, H. (Afstudeerdocent 1), 28 okt. 2019

  Scriptie/Masterproef: Master

  Bestand

• Automatically responding to customers

  Huijzer, T. H. (Auteur), Yakovets, N. (Afstudeerdocent 1), 25 mrt. 2019

  Scriptie/Masterproef: Master

  Bestand

• Automatically Scheduling Halide-HLS

  Schellekens, R. F. M. (Auteur), Corporaal, H. (Afstudeerdocent 1), 4 feb. 2020

  Scriptie/Masterproef: Master

  Bestand

• Automatically testing semantics preservation in SLCO to Java transformation

  Wiłkowski, M. (Auteur), Wijs, A. (Afstudeerdocent 1), 26 nov. 2019

  Scriptie/Masterproef: Master

  Bestand

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

  Hübener, T. (Auteur), Luo, Y. (Afstudeerdocent 1), 16 aug. 2021

  Scriptie/Masterproef: Master

  Bestand

• Automatic checking of dynamic architectural rules

  Verdaasdonk, R. C. A. (Auteur), van den Brand, M. G. J. (Afstudeerdocent 1), Tesanovic, A. (Afstudeerdocent 2) & Trew, T. (Afstudeerdocent 2), 31 aug. 2007

  Scriptie/Masterproef: Master

  Bestand

• Automatic code modernization with Rascal

  Liu, T. (Auteur), van den Brand, M. (Afstudeerdocent 1), Schuts, M. T. W. (Externe coach) & Schmaltz, J. (Afstudeerdocent 2), 29 okt. 2018

  Scriptie/Masterproef: Master

  Bestand