139 entries found.

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 visua understanding
Yuanhao Guo Shape analysis for phenotype characterization from high-throughput imaging

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 Sa 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

Student Thesis
Christoph Stettina Governance of Innovation Project Management: Necessary and Neglected
Enrique Larios Vargas Design and development of a comprehensive data management
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
Jiali Zhai Adaptive Streaming Applications: Analysis and Implementation Models
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
Ugo Vespier Mining Sensor Data from Complex Systems
Yuan Yuan Zhao Modelling the dynamics of the innovation process

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

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

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

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
J. Wang Spiking Neural P Systems
JOSÉ M.P. PROENÇA Synchronous Coordination of Distributed Components
JULIA DMITRIEVA Aspects of Ontology Visualization and Integration prof dr J.N. Kok
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

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

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

Student Thesis
A. KHADR 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
H. 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. ZIVKOVIC Execution Platform Modeling for System-Level Architecture Performance Analysis
X. MA Patterns of Enterprise system Implementation

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

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

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

Student Thesis
P. Frisco Theory of Molecular Computing. Splicing and Membrane systems
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

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

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

Student Thesis
A.J.C. Bik Compiler Support for Sparse Matrix Computations
M.A.A. Andries Graph Rewrite Systems and Visual Database Languages

Student Thesis
P. ten Pas Trees and Texts

Student Thesis
P.W. Hoogers Behavioural Aspects of Petri Net