209 entries found.

PhD Computer Science

Student Thesis Content
Chen, WeiExploring Deep Learning for Intelligent Image Retrieval
Georgiou, TheodorosMulti-Dimensional Feature and Data Mining
Holanda, Pedro TimboProgressive Indices: Indexing Without Prejudice
Meertens, Q.A.Misclassification Bias in Statistical Learning
Pi, LeiExternal knowledge absorption in Chinese SMEs
Proenca, Hugo Robust Rules for Prediction and Description
Samaee Mofrad, NeginBusiness Incubators: the Impact of their Support
Stork, LiseKnowledge Extraction from Archives of Natural History Collections
Wang, HuiSearching by Learning

Student Thesis Content
Bagheri, SaminehSelf-Adjusting Surrogate-Assisted Optimization Techniques for Expensive Constrained Black Box Problems
Blok, BobCreatIef, Creatiever, CreaTiefst?
Changizi, BehnazConstraint-Based Analysis of Business Process Models
De Paula Bueno, MarcosUnraveling Temporal Processes using Probabilistic Graphical Models
Echtenbruck, MartinaOptimally weighted ensembles of surrogate models for sequential parameter optimization
Koch, MilanData-Driven Machine Learning and Optimization Pipelines for Real-World Applications
Mirsoleimani, AliStructured Parallel Programming for Monte Carlo Tree Search
Niknam, SobhanGeneralized Strictly Periodic Scheduling Analysis, Resource Optimization, and Implementation of Adaptive Streaming Applications
Pijnenburg, MarkData Science for Tax Administration
Raasveldt, MarkIntegrating Analytics with Relational Databases
Serbanescu, VladSoftware Development by Abstract Behavioural Specification
Shan, HongchangTowards High Performance and Efficient Brain Computer Interface Character Speller: Convolutional Neural Network based Methods
Soltani, MozhanExploring Means to Facilitate Software Debugging
Tang, XiaoqinOptimization and Application of 3D Reconstruction for Optical Projection Tomography
Toubman, ArmonCalculated Moves: Generating Air Combat Behaviour
Wang, PengOn the Power Efficiency, Low latency, and Quality of Service in Network-on-Chip

Student Thesis Content
Azadbakht, KeyvanAsynchronous Programming in the Abstract Behavioural Specification Language
Blom, Koen van derMulti-objective Mixed-integer Evolutionary Algorithms for Building Spatial Design
Fuchs, ChristianFault-Tolerant Satellite Computing with Modern Semiconductors
Kuindersma, EstherCleared for take-off, Game-based learning to prepare airline pilots for critical situations

Student Thesis Content
Bezirgiannis, NikolaosAbstract Behavioral Specification: Unifying Modeling and Programming
Cachucho, Ricardo de Gouveia da Costa Methods and Tools for Mining Multivariate Time Series
Fernández-Sáez, Ana M.Studying the Benefits of Using UML on Software Maintenance: an Evidence-Based Approach
Liu, YuExploring Images with Deep Learning for Classification, Retrieval and Synthesis
Maulana, A.Many Objective Optimization and Complex Network Analysis
Schraffenberger, HannaArguably Augmented Reality, Relationships Between the Virtual and the Real
Stein, Bas vanData Driven Modeling & Optimization of Industrial Processes
Wang, HaoStochastic and Deterministic Algorithms for Continuous Black-Box Optimization

Student Thesis Content
Cai, Fuyu Fuzzy systems and unsupervised computing: exploration of applications in biology
Guo, Yanming Deep learning for visual understanding
Guo, Yuanhao Shape analysis for phenotype characterization from high-throughput imaging
Liu, DiLatency, energy, and schedulability of real-time embedded systems
Radosavljevik, DejanApplying data mining in telecommunications
Ruijl, BenAdvances in computational methods for Quantum Field Theory calculations
Spasic, Jelena Improved hard real-time scheduling and transformations for embedded streaming applications
Yang, Kaifeng Multi-objective Bayesian global optimization for continuous problems and applications

Student Thesis Content
Cannella, Emanuele Semi-partitioned scheduling and task migration in dataflow networks
Jongmans, Sung-Shik Automata-theoretic protocol programming
Karasneh, BilalAn online corpus of UML Design Models: construction and empirical studies
Nobakht , BehroozActors at work
Pinho Rebelo de Sá, C.F. (Claudio)Pattern mining for label ranking
Rijn, Jan van Massively collaborative machine learning
Tleis, Mohamed Image analysis for gene expression based phenotype characterization in yeast cells
Vis, Jonathan K.Algorithms for the Description of Molecular Sequences
Weber, Christina Real-time foresight: preparedness for dynamic innovation networks
Wu, Song Large scale visual search
Yang, Zhiwei Meta-heuristics for vehicle routing and inventory routing problems

Student Thesis Content
Gard, JérômeCorporate venture management in SMEs: evidence from the German IT consulting industry
Jong, A.P.A. de (Staas) Computed fingertip touch for the instrumental control of musical sound
Larios Vargas, EnriqueDesign and development of a comprehensive data management platform for cytomics
Osman, Mohd Hafeez BinInteractive Scalable Condensation of Reverse Engineered UML Class Diagrams for Software Comprehension
Rot, Jurriaan C.Enhanced Coinduction
Stettina, Christoph J.Governance of Innovation Project Management: Necessary and Neglected
Vespier, UgoMining Sensor Data from Complex Systems
Viana de Carvalho, RafaelComputational Modelling of Mycobacterium Infection and Innate Immune Response in Zebrafish
Vliet, Rudy vanDNA Expressions – A formal notation for DNA
Zhai, Jiali TeddyAdaptive Streaming Applications: Analysis and Implementation Models
Zhao, YuanyuanModelling the dynamics of the innovation process

Student Thesis Content
Bamakhrama, Mohamed A.M.On hard real-time scheduling of cyclo-static dataflow and its application in system-level design
Cao, LuBiological model representation and analysis
Etemadi Idgahi, RaminQuality-driven multi-objective optimization of software architecture design: method, tool, and application
Gaida, DanielDynamic real-time substrate feed optimization of anaerobic co-digestion plants
Helvensteijn, MichielAbstract delta modeling : software product lines and beyond
Holzmann, Thomas O.Matchmaking for open innovation : perspectives on multi-sided markets
Kieft, NatašaEvaluation of different design space description methods for analysing combustion engine operation limits
Miao, ShengfaStructural health monitoring meets data mining
Rietveld, Kristian F.D.A versatile tuple-based optimization framework
Schraagen, Marijn P.Aspects of record linkage
Takes, Frank W.Algorithms for analyzing and mining real-world graphs

Student Thesis Content
Balevic, AnaExploiting multi-level parallelism in streaming applications for heterogeneous platforms with GPUs
Duivesteijn, WouterExceptional model mining
Gouw, Stijn deCombining monitoring with run-time assertion checking
Haastregt, Sven J.J. vanEstimation and optimization of the performance of polyhedral process networks
Holm, MattiasOptimizing Pointer Linked Data Structures
Koch, PatrickEfficient tuning in supervised machine learning
Nezhinsky, Alexander E.Pattern recognition in high-throughput zebrafish imaging
Reehuis, Edgar J.J.Guiding evolutionary search towards innovative solutions
Yan, KuanImage analysis and platform development for automated phenotyping in cytomics
Zhou, ZhaoTechnology Entrepreneurship - A Process Framework

Student Thesis Content
Bertens, Laura M.F.Computerised modelling for developmental biology : an exploration with case studies
Heijstek, WernerArchitecture design in global and model-centric software development
I. GrabeStatic analysis of unbounded structures in object-oriented programs
I.M. HeinleApplication of evolutionary strategies to industrial forming simulations for the identification and validation of constitutive laws
Kallergi, AmaliaConnecting the dots : playful interactions with scientific image data in repositories
Kruisselbrink, Johannes W.Evolution strategies for robust optimization
KSAWERY MULINSKIDesigning Structural Supply Chain Flexibility
M.N. TranWorkload modeling and performance evaluation in parallel systems
Nadezhkin, DmitryParallelizing dynamic sequential programs using polyhedral process networks
Rahmani, HosseinAnalysis of protein-protein interaction networks by means of annotated graph mining algorithms
Vu, Van ThieuOpportunities for performance optimization of applications through code generation
Witsenburg, M.D.J. (Tijn)Hybrid similarities : a method to insert relational information into existing data mining tools

Student Thesis Content
A.A.J. OerlemansContent-based retrieval of visual information
E. StupkaFish genomes : a powerful tool to uncover new functional elements in vertebrates
José M.P. ProençaSynchronous Coordination of Distributed Components
Julia DmitrievaAspects of Ontology Visualization and Integration
Jun WangSpiking Neural P Systems
Krause, ChristianReconfigurable Component Connectors
Lăcrămioara AştefănoaeiAn executable theory of multi-agent systems refinement
Mohammad IzadiModel Checking of Component Connectors
Stephanie KemperModelling and Analysis of Real-time Coordination Patterns
W. MensinkSubject of innovation or: how to redevelop 'the patient' with technology
Y. ZhangHeterogeneous data analysis for annotation of microRNAs and novel genome assembly
Young-Joo MoonStochastic Models for Quality of Service of Component Connectors

Student Thesis Content
A. GrünerTesting object Interactions
A. NugrohoThe effects of UML modeling on the quality of software
B. ThoméeA picture is worth a thousand words : content-based image retrieval techniques
Breukelaar, RonInteraction and Evolutionary Algorithms
E.M.W. LameijerInteractive evolutionary algorithms and data mining for drug design
J.S. de BruinService-oriented discovery of knowledge : foundations, implementations and applications
M.M. JaghooriTime at your service : schedulability analysis of real-time and distributed services
Maxime KaplanCommercieel Onderhandelen: Een Transdisciplinaire Aanpak
P.W.H. van der PuttenOn data mining in context : cases, fusion and evaluation
S. MeijerTransformations for polyhedral process networks
Spek, Harmen L.A. van derTransparent Restructuring of Pointer-Linked Data

Student Thesis Content
Belmamoune, MouniaSpatio-Temporal Framework for Integrative Analysis of Zebrafish Developmental Studies
Cocx, Tim K. Algorithmic tools for data-oriented law enforcement
Colas, FabriceData Mining Scenarios for the Discovery of Subtypes and the Comparison of Algorithms
Laros, Jeroen F.J.Metrics and visualisation for crime analysis and genomics
Li, RuiMixed-Integer Evolution Strategies for Parameter Optimization and Their Applications to Medical Image Analysis
Nikolov, Hristo N.System-Level Design Methodology for Streaming Multi-Processor Embedded Systems
Rohling, JosNetwork Properties of the Mammalian Circadian Clock
Röttmer, NicoleInnovation Performance and Clusters - A Dynamic Capability Perspective on Regional Technology Clusters
Stam, AndriesInteraction Protocols in PARADIGM - Extensions to a Modeling Language through Tool Development

Student Thesis Content
A.E. KhedrAdoption of new technologies in a highly uncertain environment
Brijder, RobertModels of Natural Computation: Gene Assembly and Membrane Systems
C. Zissulescu-IanculescuSynthesis of a parallel data stream processor from data flow process networks
Graaf, Edgar H. deMining semi-structured data
Hui LiWorkload Characterization, Modeling, and Prediction in Grid Computing
Jacob, Joost F.Domain Specific Modeling and Analysis
Kazius, Jeroen Computers and Drug Discovery: Construction and Data Mining of chemical and Biological Databases
Lemaitre, JérômeModel-based specification and design of large-scale signal processing systems
M.L. CristeaParallel and Distributed Processing in High Speed Traffic Monitoring
Shir, Ofer M.Niching in Derandomized Evolution Strategies and its Applications in Quantum Control
V.D. ŽivkovićExecution Platform Modeling for System-Level Architecture Performance Analysis
Xiaofeng MaPatterns of Enterprise system Implementation - the case of Chinese aerospace corporate transformation

Student Thesis Content
A. TurjanCompiling Nested Loop Programs to Process Networks
Broekens, D.J. (Joost)Affect and Learning: A Computational Analysis
J.V. Guillen ScholtenMobile Channels for Exogeneous Coordination of Distributed Systems
M.C.M. WeltenSpatio-temporal gene expression analysis from 3D in situ hybridisation images

Student Thesis Content
M. HanedaStatistical compiler tuning
M. KyasVerifying OCL specifications of UML models
Nijssen, SiegfriedMining structured data
Paul J. van der MarkCode generation for large scale applications
Vincent H. BerkProcess query systems : advanced technologies for process detection and tracking

Student Thesis Content
Ábrahám, ErikaAn Assertional Proof System for Multithreaded Java - Theory and Tool Support
Eggermont, JeroenData Mining using Genetic Programming; Classification and Symbolic Regression
Gelsema, Tjalling E.Effective Models for the Structure of pi-Calculus Processes with Replication
Henkel, Christiaan V.Experimental DNA computing

Student Thesis Content
Frisco, PierluigiTheory of Molecular Computing. Splicing and Membrane systems
Maneth, SebastianModels of Tree Translation
Stefanov, Todor P.Converting weakly dynamic programs to equivalent process network specifications

Student Thesis Content
Beek, Maurice H. terTeam automata : a formal approach to the modeling of collaboration between system components
D. CHERESIZComplex Streamed Media Processor Architecture
S. ALLIOTArchitecture Exploration for Large Scale Array Signal Processing Systems
S.M. BOHTESpiking Neural Networks

Student Thesis Content
E. RijpkemaModelling task level parallellism in piece-wise regular programs
J.I. van HemertApplication of evolutionary computation to constraint satisfaction and data mining
N. van VugtModels of Molecular Computing
R. van SteeOn-line Scheduling and Bin Packing
T. KisukiIterative compilation in program organization
Tauritz, Daniel R.Adaptive Information Filtering; concepts and algorithms
Wezel, Michiel C. vanNeural Networks for Intelligent Data Analysis; Theoretical and experimental aspects

Student Thesis Content
Breg, Fabian Java for High Performance Computing
Hage, JurriaanStructural Aspects for Switching Classes
Hoen, Pieter Jan 'tTowards Distributed Development of Large Object-Oriented Models
Jelasity, Marc The Shape of Evolutionary Search: Discovering and Representing Search Space Structure
Lamers, MaartenNeural Networks for Analysis of Data in the Environmental Epidemiology
Sebe, Nicu W. Improving Visual Matching. Similarity Noise Distribution and Optimal Metrics

Student Thesis Content
Soest, ErwinT.M. van Determination of Vessel Location, Diameter and Flux from Magnetic Resonance Flow Data for Angiography

Student Thesis Content
Kamsteeg, GertjanFormalization of Process Algebra with Data in the Calculus of Constructions with Inductive Types
Kemenade, C.H.M. (Kees) van Recombinative Evolutionary Search

Student Thesis Content
Duin, Arno C.N. van Parallel Sparse Matrix Computations
Engelen, Robert A. van Ctadel: A Generator of Efficient Numerical Codes

Student Thesis Content
Juurlink, Ben H.H. Computational Models for Parallel Computers

Student Thesis Content
Andries, Marc A.A.Graph Rewrite Systems and Visual Database Languages
Bik, Aart J.C.Compiler Support for Sparse Matrix Computations
Keesmaat, N.W. (Iko)Vector Controlled Concurrent Systems

Student Thesis Content
Pas, Paulien tenTrees and Texts

Student Thesis Content
Hoogers, Peter W.Behavioural Aspects of Petri Net
Ramackers, Guus J. Integrated Object Modelling

Student Thesis Content
Morssink, Pieter Jan A. Behaviour Modelling in Information Systems Design: Application of the Paradigm Formalism
Sassen, J.M.A. (Annemarie)Design Issues of Human Operation Support Systems

Student Thesis Content
Corthout, M.E.A. Point Containment and the PHAROS chip
Jong, Edwin deTransaction-based Programming
Pol, E.J.D. Point Containment and the PHAROS chip
Veltkamp, Remco C. Closed Object Boundaries from Scattered Points

Student Thesis Content
Jense, Hans Interactive Inspection of Volume Data

Student Thesis Content
Herman, I. The use of Projective Geometry in Computer Graphics
Leih, GeorgeGraph Grammers and Petri Nets with References
Oosterom, Peter van Reactive Data Structures for Geographic Information Systems
Schouten, H.J. Graphical Interaction in a User Interface Management System
Zuidweg, J. (Han)Concurrent System Verification with Process Algebra

Student Thesis Content
Nat, M. van derQuicker than Quicksort. An Appraisal of Linear Time Sorting Methods
Steen, Maarten van Modelling Dynamic Systems by Parallel Decision Processes
Teunissen, Wim J.M. A Hierarchical Modelling System for Raster Graphics

Student Thesis Content
Aalbersberg, IJsbrand JanStudies in Trace Theory
Hoogeboom, Hendrik JanCoordinated Pair Systems

Student Thesis Content
Kleijn, H.C.M. (Jetty)Selective Substitution Grammars based on Context-Free Productions

Student Thesis Content
Osinga, M. Documentation of Chemical Reactions
Weide, Theo P. van derDatastructures: An axiomatic approach and the use of binomial trees in developing and analyzing algorithms