Mathematics and Computer Science

Zoekresultaten

• ADISA: automatic data / information structuring application

  van Tilborg, R. (Auteur), Voorhoeve, M. (Afstudeerdocent 1), 31 aug. 2003

  Scriptie/Masterproef: Master

  Bestand

• A discontinuous Galerkin method for multi-dimensional moment systems

  Wolf, M. C. W. (Auteur), van Brummelen, E. H. (Afstudeerdocent 1) & Abdelmalik, M. R. A. (Afstudeerdocent 2), 30 sep. 2015

  Scriptie/Masterproef: Master

  Bestand

• A discontinuous Galerkin scheme for the Richards equation: on dynamic capillarity effects in porous media

  Krämer, A. S. (Auteur), Pop, I. S. (Afstudeerdocent 1) & Rohde, C. (Afstudeerdocent 2), 31 jan. 2016

  Scriptie/Masterproef: Master

  Bestand

• A diskless cluster architecture for hashing operations

  Antakis, S. (Auteur), de Weger, B. M. M. (Afstudeerdocent 1) & Garvey, P. (Afstudeerdocent 2), 31 aug. 2010

  Scriptie/Masterproef: Master

  Bestand

• A distributed patient information system : central server handling

  van Drimmelen, L. P. (Auteur), De Bra, P. M. E. (Afstudeerdocent 1), Korlaar, A. (Afstudeerdocent 2) & Ying-Lie O (Afstudeerdocent 2), 31 aug. 1998

  Scriptie/Masterproef: Master

• A distributed PDM system

  Litjens, V. (Auteur), Aerts, A. T. M. (Afstudeerdocent 1), 31 jul. 2000

  Scriptie/Masterproef: Master

  Bestand

• A distributed safety mechanism for autonomous vehicle software using hypervisors

  van der Perk, P. J. (Auteur), Goossens, K. G. W. (Afstudeerdocent 1) & Terechko, A. (Externe coach), 28 okt. 2019

  Scriptie/Masterproef: Master

  Bestand

• A domain specific language for web information systems: what about evolving data models?

  Smeets, G. J. W. M. (Auteur), van den Brand, M. G. J. (Afstudeerdocent 1) & Arnoldus, B. J. (Afstudeerdocent 2), 31 aug. 2010

  Scriptie/Masterproef: Master

  Bestand

• A Domain-Specific Query Language to Investigate Industrial Network Security Data

  Pejathaya Murali, S. (Auteur), Allodi, L. (Afstudeerdocent 1) & Dagrada, M. (Externe coach), 24 aug. 2020

  Scriptie/Masterproef: Master

  Bestand

• Adopting the factorized model of execution in a graph database engine

  Wortel, K. Y. (Auteur), Yakovets, N. (Afstudeerdocent 1) & van de Wall, A. A. G. (Afstudeerdocent 2), 19 dec. 2022

  Scriptie/Masterproef: Master

  Bestand

• Adoption and evaluation of automotive-conform development processes

  Diks, J. (Auteur), Goossens, K. (Afstudeerdocent 1), 30 aug. 2019

  Scriptie/Masterproef: Master

  Bestand

• Advanced connection management

  Wu, L.-Z. (Auteur), Verhoeven, P. H. F. M. (Afstudeerdocent 1), Lukkien, J. J. (Afstudeerdocent 2) & de Lange, A. A. J. (Externe coach), 31 aug. 2004

  Scriptie/Masterproef: Master

• Advanced meshing and solution techniques for industrial 3-D electromagnetic simulations

  Shchetnikava, V. (Auteur), Schilders, W. H. A. (Afstudeerdocent 1) & Schoenmaker, W. (Afstudeerdocent 2), 31 aug. 2009

  Scriptie/Masterproef: Master

  Bestand

• Advanced regression methods for energy signatures of buildings

  Xie, J. (Auteur), Di Bucchianico, A. (Afstudeerdocent 1), Elkhuizen, S. G. (Afstudeerdocent 2) & Keune, A. (Externe coach), 19 dec. 2016

  Scriptie/Masterproef: Master

  Bestand

• Advanced ultrasound beam forming using GPGPU technology

  van Bavel, Y. (Auteur), Corporaal, H. (Afstudeerdocent 1), van den Braak, G. J. W. (Afstudeerdocent 2), Lukkien, J. J. (Afstudeerdocent 2) & Brands, P. J. (Externe coach), 30 nov. 2013

  Scriptie/Masterproef: Master

  Bestand

• Advanced virtual printer: a simulation of print quality of a printer under development

  Rijbroek, D. H. L. (Auteur), Nuij, W. A. A. (Afstudeerdocent 1), 31 aug. 2003

  Scriptie/Masterproef: Master

  Bestand

• Advances in Structure-Preserving Reduced Order Models for the Incompressible Navier-Stokes Equations

  Rosenberger, H. (Auteur), Koren, B. (Afstudeerdocent 1), Sanderse, B. (Externe coach) & Haasdonk, B. (Externe coach), 21 okt. 2021

  Scriptie/Masterproef: Master

  Bestand

• Advances in Understanding and Initializing Einsum Networks

  Smits, J. (Auteur), de Campos, C. (Afstudeerdocent 1), 9 aug. 2021

  Scriptie/Masterproef: Master

  Bestand

• Advancing duplicate question detection with deep learning

  Pumnea, A. M. (Auteur), Abedjan, Z. (Externe coach) & Müller, K.-R. (Externe coach), 28 jan. 2019

  Scriptie/Masterproef: Master

  Bestand

• Adversarial Attacks on Deep Dreams

  Hoekstra, S. (Auteur), Quaeghebeur, E. (Afstudeerdocent 1), Gala, G. (Afstudeerdocent 2), Joosse, R. (Externe coach) & Stoelinga, E. (Externe coach), 16 nov. 2022

  Scriptie/Masterproef: Master

  Bestand

• Adversarial datasets through sentence length and conjunctions

  Sharifzadeh, R. A. (Auteur), de Campos, C. (Afstudeerdocent 1), 27 jun. 2022

  Scriptie/Masterproef: Bachelor

  Bestand

• Adversarial Examples for Object Detectors

  Majhi, A. (Auteur), Michiels, W. (Externe coach) & Schalij, F. (Externe coach), 2020

  Scriptie/Masterproef: Bachelor

  Bestand

• Adversarial NLP Benchmarks: Data Characteristics Complicating Automated Generation of Adversarial Examples

  Meeuwesen, E. A. (Auteur), van Cauter, Z. M. (Afstudeerdocent 1) & de Campos, C. (Afstudeerdocent 2), jul. 2022

  Scriptie/Masterproef: Bachelor

  Bestand

• Adversarial Noise Benchmarking On Image Caption

  van Genuchten, H. J. M. (Auteur), de Campos, C. (Afstudeerdocent 1) & van Cauter, Z. M. (Afstudeerdocent 2), jun. 2022

  Scriptie/Masterproef: Bachelor

  Bestand

• Aerial Imagery Pixel-level Segmentation

  Heffels, M. R. (Auteur), Vanschoren, J. (Afstudeerdocent 1), 20 nov. 2020

  Scriptie/Masterproef: Master

  Bestand

• Aethra DB: Optimising Analytical Processing through Query-Tailored Code Generation

  Smet, O. M. (Auteur), Bonetta, D. (Afstudeerdocent 1), 14 dec. 2023

  Scriptie/Masterproef: Master

  Bestand

• A face-based approach for automatic metro-map generation

  Zhang, L. (Auteur), van Goethem, A. (Afstudeerdocent 1), 28 okt. 2021

  Scriptie/Masterproef: Master

  Bestand

• A faster algorithm for DBSCAN

  Gunawan, A. (Auteur), de Berg, M. T. (Afstudeerdocent 1), 28 feb. 2013

  Scriptie/Masterproef: Master

  Bestand

• A feasibility study of the implementation of the MHT algorithm on SPLICE

  van den Berg, J. C. F. (Auteur), Rem, M. (Afstudeerdocent 1), Hooman, J. J. M. (Afstudeerdocent 2), de Jong, E. (Afstudeerdocent 2) & Mak, R. H. (Afstudeerdocent 2), 31 aug. 1995

  Scriptie/Masterproef: Master

• A Feasibility Study on Automated Database Exercise Generation with Large Language Models

  Aerts, W. J. H. (Auteur), Fletcher, G. H. L. (Afstudeerdocent 1), 1 nov. 2023

  Scriptie/Masterproef: Master

  Bestand

• A feasibility study on CityGML for cadastral purposes

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

  Scriptie/Masterproef: Master

  Bestand

• A Feynman-Kac formula for a degenerate Kolmogorov backward equation

  van Doren, B. (Auteur), Tse, O. T. C. (Afstudeerdocent 1) & Manita, O. (Afstudeerdocent 2), 16 aug. 2021

  Scriptie/Masterproef: Bachelor

  Bestand

• Afhankelijkheid en afleidbaarheid in het relationele model

  de Vries, A. J. (Auteur), Lunbeck, R. J. (Afstudeerdocent 1) & Remmen, F. (Afstudeerdocent 2), 31 aug. 1980

  Scriptie/Masterproef: Master

• A finite element error estimator and some applications

  Anderson, P. (Auteur), Jansen, J. K. M. (Afstudeerdocent 1) & Reusken, A. A. (Afstudeerdocent 2), 30 apr. 1994

  Scriptie/Masterproef: Master

• A finite element model of blood perfusion

  Baert, S. A. M. (Auteur), Mattheij, R. M. M. (Afstudeerdocent 1), Kaasschieter, E. F. (Afstudeerdocent 2) & Huyghe, J. M. R. J. (Afstudeerdocent 2), 30 jun. 1998

  Scriptie/Masterproef: Master

• A finite-source feedback queueing network as a model for the IEEE 802.11 distributed coordination function

  Winands, E. M. M. (Auteur), Resing, J. A. C. (Afstudeerdocent 1), Denteneer, T. J. J. (Externe coach), Pronk, S. P. P. (Externe coach), Rietman, R. (Externe coach) & Boxma, O. J. (Afstudeerdocent 2), 30 jun. 2003

  Scriptie/Masterproef: Master

  Bestand

• Afleiden en bewijzen van functionele programma's

  Robinson, R. W. J. M. (Auteur), Rem, M. (Afstudeerdocent 1), van Hee, K. M. (Afstudeerdocent 2) & Boots, P. J. H. M. (Afstudeerdocent 2), 31 aug. 1986

  Scriptie/Masterproef: Master

• Afleiding en representatie van enige attribuut evaluatie algoritmen

  Janssen, J. J. (Auteur), Kruseman Aretz, F. E. J. (Afstudeerdocent 1) & Marcelis, A. J. J. M. (Afstudeerdocent 2), 31 dec. 1989

  Scriptie/Masterproef: Master

• A flexibility metric for processors

  Huang, S. (Auteur), Waeijen, L. (Afstudeerdocent 1), Corporaal, H. (Afstudeerdocent 2) & van Berkel, K. (Afstudeerdocent 2), 25 mrt. 2019

  Scriptie/Masterproef: Master

  Bestand

• A flexible memory shuffling unit for image processing accelerators

  Xie, R. Z. (Auteur), Corporaal, H. (Afstudeerdocent 1) & Peemen, M. C. J. (Afstudeerdocent 2), 30 nov. 2013

  Scriptie/Masterproef: Master

  Bestand

• A flexible simulation framework for modeling a feed-pushing AGV in a dairy farm

  Buermann, M. (Auteur), Boon, M. A. A. (Afstudeerdocent 1) & Verriet, J. H. (Externe coach), 20 dec. 2022

  Scriptie/Masterproef: Master

  Bestand

• A Forecasting Framework for Recirculation in Baggage Handling Systems

  van der Sanden, G. M. (Auteur), Fahland, D. (Afstudeerdocent 1) & Bernard, H. F. (Externe coach), 7 dec. 2020

  Scriptie/Masterproef: Master

  Bestand

• A Formal Analysis of Secure Group Communication in Messenger Applications

  Matei, A. (Auteur), Schäge, S. (Afstudeerdocent 1), Thiessen, S. (Externe coach) & Swam, M. (Externe coach), 7 sep. 2023

  Scriptie/Masterproef: Master

  Bestand

• A formal analysis of the tunnel control systems of the Rijkswaterstaat GITO

  Jilissen, K. H. J. (Auteur), Groote, J. F. (Afstudeerdocent 1) & Dieleman, P. (Afstudeerdocent 2), 29 aug. 2022

  Scriptie/Masterproef: Master

  Bestand

• A formal definition of a functional notation

  Baartmans, M. C. M. (Auteur), Kruseman Aretz, F. E. J. (Afstudeerdocent 1) & Hoogerwoord, R. R. (Afstudeerdocent 2), 31 mei 1987

  Scriptie/Masterproef: Master

• A formal design of the nucleus

  Masthoff, J. F. M. (Auteur), Hoogerwoord, R. R. (Afstudeerdocent 1), 31 dec. 1992

  Scriptie/Masterproef: Master

• A formalisation of the foam rubber wrapper principle

  Schols, H. M. J. L. (Auteur), Rem, M. (Afstudeerdocent 1), Udding, J. T. (Afstudeerdocent 2) & Mak, R. H. (Afstudeerdocent 2), 28 feb. 1985

  Scriptie/Masterproef: Master

• A formal language for cognitive agent models

  Hendriks, M. (Auteur), Kuiper, R. (Afstudeerdocent 1), 30 nov. 2010

  Scriptie/Masterproef: Master

  Bestand

• A formal processor model in mCRL2

  Bosch, B. A. G. (Auteur), Groote, J. F. (Afstudeerdocent 1), 31 aug. 2017

  Scriptie/Masterproef: Master

  Bestand

• A framework for aligning social media and web analytics data to support search engine marketing

  Ongan, M. (Auteur), Pechenizkiy, M. (Afstudeerdocent 1) & Budziak, G. (Externe coach), 31 aug. 2011

  Scriptie/Masterproef: Master

  Bestand