---

175 entries found.

---

PhD Computer Science

---

2018

Student	Thesis
Bezirgiannis, Nikolaos	Abstract Behavioral Specification: Unifying Modeling and Programming
Stein, Bas van	Data Driven Modeling & Optimization of Industrial Processes

2017

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

2016

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

2015

Student	Thesis
Christoph Stettina	Governance of Innovation Project Management: Necessary and Neglected
Enrique Larios Vargas	Design and development of a comprehensive data management platform for cytomics
Hafeez Mohd Bin Osman	Interactive Scalable Condensation of Reverse Engineered UML Class Diagrams for Software Comprehension
Jerome Gard	Corporate venture management in SMEs: evidence from the German IT consulting industry
Jurriaan Rot	Enhanced Coinduction
Rafael Viana de Carvalho	Computational Modelling of Mycobacterium Infection and Innate Immune Response in Zebrafish
Rudy van Vliet	DNA Expressions – A formal notation for DNA
Staas de Jong	Computed fingertip touch for the instrumental control of musical sound
Teddy Jiali Zhai	Adaptive Streaming Applications: Analysis and Implementation Models
Ugo Vespier	Mining Sensor Data from Complex Systems
Yuan Yuan Zhao	Modelling the dynamics of the innovation process

2014

Student	Thesis
D. Gaida	Dynamic real-time substrate feed optimization of anaerobic co-digestion plants
F.W. Takes	Algorithms for analyzing and mining real-world graphs
K.F.D. Rietveld	A versatile tuple-based optimization framework
LU CAO	Biological model representation and analysis
M. Helvensteijn	Abstract delta modeling : software product lines and beyond
M.A.M. Bamakhrama	On hard real-time scheduling of cyclo-static dataflow and its application in system-level design
M.P. Schraagen	Aspects of record linkage
N. Kieft	Evaluation of different design space description methods for analysing combustion engine operation limits
R. Etemadi Idgahi	Quality-driven multi-objective optimization of software architecture design: method, tool, and application
S. Miao	Structural health monitoring meets data mining
T.O. Holzmann	Matchmaking for open innovation : perspectives on multi-sided markets

2013

Student	Thesis
A. Balevic	Exploiting multi-level parallelism in streaming applications for heterogeneous platforms with GPUs
A.E. Nezhinsky	Pattern recognition in high-throughput zebrafish imaging
E.J.J. Reehuis	Guiding evolutionary search towards innovative solutions
K. Yan	Image analysis and platform development for automated phenotyping in cytomics
MATTIAS HOLM	Optimizing Pointer Linked Data Structures
P. Koch	Efficient tuning in supervised machine learning
S. de Gouw	Combining monitoring with run-time assertion checking
S.J.J. van Haastregt	Estimation and optimization of the performance of polyhedral process networks
W. Duivesteijn	Exceptional model mining
ZHAO ZHOU	Technology Entrepreneurship - A Process Framework

2012

Student	Thesis
A. Kallergi	Connecting the dots : playful interactions with scientific image data in repositories
D. Nadezhkin	Parallelizing dynamic sequential programs using polyhedral process networks (2012-12-20)
H. Rahmani	Analysis of protein-protein interaction networks by means of annotated graph mining algorithms
I. Grabe	Static analysis of unbounded structures in object-oriented programs
I.M. Heinle	Application of evolutionary strategies to industrial forming simulations for the identification and validation of constitutive laws
J.W. Kruisselbrink	Evolution strategies for robust optimization
KSAWERY MULINSKI	Designing Structural Supply Chain Flexibility
L.M.F. Bertens	Computerised modelling for developmental biology : an exploration with case studies
M.D.J. Witsenburg	Hybrid similarities : a method to insert relational information into existing data mining tools
M.N. Tran	Workload modeling and performance evaluation in parallel systems
V.T. Vu	Opportunities for performance optimization of applications through code generation
W. Heijstek	Architecture design in global and model-centric software development

2011

Student	Thesis
A.A.J. Oerlemans	Content-based retrieval of visual information
CHRISTIAN KRAUSE	Reconfigurable Component Connectors
E. Stupka	Fish genomes : a powerful tool to uncover new functional elements in vertebrates
JOSÉ M.P. PROENÇA	Synchronous Coordination of Distributed Components
Julia Dmitrieva	Aspects of Ontology Visualization and Integration
Jun Wang	Spiking Neural P Systems
LACRAMIOARA ASTEFANOEI	An executable theory of multi-agent systems refinement
MOHAMMED IZADI	Model Checking of Component Connectors
STEPHANIE KEMPER	Modelling and Analysis of Real-time Coordination Patterns
W. Mensink	Subject of innovation or: how to redevelop 'the patient' with technology
Y. Zhang	Heterogeneous data analysis for annotation of microRNAs and novel genome assembly
YOUNG-JOO MOON	Stochastic Models for Quality of Service of Component Connectors

2010

Student	Thesis
A. Grüner	Testing object Interactions
A. Nugroho	The effects of UML modeling on the quality of software
B. Thomée	A picture is worth a thousand words : content-based image retrieval techniques
E.M.W. Lameijer	Interactive evolutionary algorithms and data mining for drug design
J.S. de Bruin	Service-oriented discovery of knowledge : foundations, implementations and applications
M.M. Jaghoori	Time at your service : schedulability analysis of real-time and distributed services
Maxime Kaplan	Commercieel Onderhandelen: Een Transdisciplinaire Aanpak
P.W.H. van der Putten	On data mining in context : cases, fusion and evaluation
Ron Breukelaar	Interaction and Evolutionary Algorithms
S. Meijer	Transformations for polyhedral process networks
Spek, H.L.A. van der	Transparent Restructuring of Pointer-Linked Data

2009

Student	Thesis
Andries Stam	Interaction Protocols in PARADIGM - Extensions to a Modeling Language through Tool Development
Fabrice Colas	Data Mining Scenarios for the Discovery of Subtypes and the Comparison of Algorithms
Hristo N. Nikolov	System-Level Design Methodology for Streaming Multi-Processor Embedded Systems
J.F.J. Laros	Metrics and visualisation for crime analysis and genomics
Jos Rohling	Network Properties of the Mammalian Circadian Clock
Mounia Belmamoune	Spatio-Temporal Framework for Integrative Analysis of Zebrafish Developmental Studies
Nicole Röttmer	Innovation Performance and Clusters - A Dynamic Capability Perspective on Regional Technology Clusters
PETER KINNE	Integratives Wertemanagement
Rui Li	Mixed-Integer Evolution Strategies for Parameter Optimization and Their Applications to Medical Image Analysis
T.K. Cocx	Algorithmic tools for data-oriented law enforcement

2008

Student	Thesis
A.E. Khedr	Adoption of new technologies in a highly uncertain environment
C. Zissulescu-Ianculescu	Synthesis of a parallel data stream processor from data flow process networks
E.H. DE GRAAF	Mining semi-structured data
Hui Li	Workload Characterization, Modeling, and Prediction in Grid Computing
J. KAZIUS	Computers and Drug Discovery: Construction and Data Mining of chemical and Biological Databases
J. Lemaitre	Model-based specification and design of large-scale signal processing systems
J.J. JACOB	Domain Specific Modeling and Analysis
M.L. Cristea	Parallel and Distributed Processing in High Speed Traffic Monitoring
O.M. Shir	Niching in Derandomized Evolution Strategies and its Applications in Quantum Control
R. Brijder	Models of Natural Computation: Gene Assembly and Membrane Systems
V.D. Živković	Execution Platform Modeling for System-Level Architecture Performance Analysis
X. MA	Patterns of Enterprise system Implementation

2007

Student	Thesis
A. Turjan	Compiling Nested Loop Programs to Process Networks
D.J. Broekens	Affect and Learning: A Computational Analysis
J.V. Guillen Scholten	Mobile Channels for Exogeneous Coordination of Distributed Systems
M.C.M. WELTEN	Spatio-temporal gene expression analysis from 3D in situ hybridisation images

2006

Student	Thesis
M. Haneda	Statistical compiler tuning
M. Kyas	Verifying OCL specifications of UML models
P.J. van der Mark	Code generation for large scale applications
S.Nijssen	Mining structured data
V.H. Berk	Process query systems

2005

Student	Thesis
C.V. HENKEL	Experimental DNA computing
E. ÁBRAHÁM	An Assertional Proof System for Multithreaded Java - Theory and Tool Support
J. EGGERMONT	Data Mining using Genetic Programming; Classification and Symbolic Regression
TJ.E. GELSEMA	Effective Models for the Structure of pi-Calculus Processes with Replication

2004

Student	Thesis
P. Frisco	Theory of Molecular Computing. Splicing and Membrane systems
S. MANETH	Models of Tree Translation
T.P. STEFANOV	Converting weakly dynamic programs to equivalent process network specifications

2003

Student	Thesis
D. CHERESIZ	Complex Streamed Media Processor Architecture
M.H. ter Beek	Team automata : a formal approach to the modeling of collaboration between system components
S. ALLIOT	Architecture Exploration for Large Scale Array Signal Processing Systems
S.M. BOHTE	Spiking Neural Networks

2002

Student	Thesis
D.R. Tauritz	Adaptive Information Filtering; concepts and algorithms
E. Rijpkema	Modelling task level parallellism in piece-wise regular programs
J.I. van Hemert	Application of evolutionary computation to constraint satisfaction and data mining
M.C. van Wezel	Neural Networks for Intelligent Data Analysis; Theoretical and experimental aspects
N. van Vugt	Models of Molecular Computing
R. van Stee	On-line Scheduling and Bin Packing
T. Kisuki	Iterative compilation in program organization

2001

Student	Thesis
Breg, F.	Java for High Performance Computing
Hage, J.	Structural Aspects for Switching Classes
Hoen, P.J. 't	Towards Distributed Development of Large Object-Oriented Models
Jelasity, M.	The Shape of Evolutionary Search: Discovering and Representing Search Space Structure
Lamers, M.	Neural Networks for Analysis of Data in the Environmental Epidemiology
Sebe, N.W.	Improving Visual Matching. Similarity Noise Distribution and Optimal Metrics

2000

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

1999

Student	Thesis
Kamsteeg, G.J.	Formalization of Process Algebra with Data in the Calculus of Constructions with Inductive Types
Kemenade, C.H.M. van	Recombinative Evolutionary Search

1998

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

1997

Student	Thesis
Juurlink, B.H.H.	Computational Models for Parallel Computers

1996

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

1995

Student	Thesis
P. ten Pas	Trees and Texts

1994

Student	Thesis
P.W. Hoogers	Behavioural Aspects of Petri Net
Ramackers, G.J.	Integrated Object Modelling

1993

Student	Thesis
Morssink, P.J.A.	Behaviour Modelling in Information Systems Design: Application of the Paradigm Formalism
Sassen, J.M.A.	Design Issues of Human Operation Support Systems

1992

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

1991

Student	Thesis
Jense, H.	Interactive Inspection of Volume Data

1990

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

1988

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

1987

Student	Thesis
Aalbersberg, IJsbrand Jan	Studies in Trace Theory
Hoogeboom, Hendrik Jan	Coordinated Pair Systems

1983

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

1980

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