| |
A Declarative Proof Language for the Coq Proof Assistant
Download poster
|
|
pdf niet gevonden |
A Platform for Delay Hopped Transmitted Reference UWB Communication System Prototype Development
Download poster
|
|
|
|
|
|
| pdf niet gevonden |
Adaptive Decision Making in Distributed Multi-Agent Games
Download poster |
|
|
Adaptive Feedback Reduction for Precoded Spatial Multiplexing MIMO Systems
Download poster
|
| |
|
|
|
|
| |
Adaptive Optimization of Hospital Resource Calendars for efficient patient scheduling
Download poster
|
|
|
AHA - Amortized Heap Space Usage Analysis
Download poster
|
| |
|
|
|
|
| |
Algorithm Design for Next Generation Energy Solutions using µCHP
Download poster
|
|
|
An architecture for convergent interactive media
Download poster
|
| |
|
|
|
|
|
An Efficient FFT For OFDM Based Cognitive Radio On A Reconfigurable Architecture
Download poster
|
|
|
An open source SMIL media player
Download poster
|
| |
|
|
|
|
|
Analog Calibration of an Open-loopTrack-and-Hold Circuit
Download poster
|
|
|
Analysis of blocking in IPTV and P2PTV
Download poster
|
| |
|
|
|
|
|
Annotation Suggestions and Navigation in an Audio-visual archive based on a thesaurus and textual resources related to TV programs
Download poster
|
|
|
Applying Rhythmic Similarity based on Inner Metric Analysis to Folksong Research
Download poster
|
| |
|
|
|
|
|
Approximate ESPs in Simple Cubic Polytopes Using a Rubberband Algorithm
Download poster
|
|
|
Architectural View Reconstruction through Dynamic Analysis
Download poster
|
| |
|
|
|
|
|
Armada, an evolving database system
Download poster
|
|
|
Artistic Edge and Corner Preserving Smoothing
Download poster
|
| |
|
|
|
|
|
Automated Software Testing and Release with Nix Build Farms
Download poster
|
|
|
Bayesian Incremental Utility Elicitation with Application to Hearing Aids Personalization
Download poster
|
| |
|
|
|
|
|
Bayesian network decomposition for breast cancer detection
Download poster
|
|
|
CATCH project SCRATCH - SCRipt Analysis Tools for the Cultural Heritage: Text line matching for historical handwritten document retrieval
Download poster
|
| |
|
|
|
|
|
CMOS Beamforming Techniques - Project Overview
Download poster
|
|
|
Combining Desktop and Virtual Realities to Address Demands of a Real-life Clinical Environment
Download poster
|
| |
|
|
|
|
|
Complex Automata Simulation Technique for Multi-Scale Multi-Science Systems
Download poster
|
|
|
Constructing the Overlay Network by Tuning Link weights
Download poster
|
| |
|
|
|
|
|
Coordination with Performance Guarantees
Download poster
|
|
|
Coping with Compiler Complexity - The Structure of the Essential Haskell Compiler
Download poster
|
| |
|
|
|
|
|
Daedalus: Architecture, Programming and Exploration of Networks-on-Chip based Multi-processor Embedded Systems on Chip (MPSoCs)
Download poster
|
|
|
Database Cracking
Download poster
|
| |
|
|
|
|
|
DataCell: A Column-oriented Data Stream Engine
Download poster
|
|
|
Deflated PCG Method for the Poisson Solver
Download poster
|
| |
|
|
|
|
|
Design of the Basic Building Block of a High-Speed Flexible and Modular Pipelined ADC
Download poster
|
|
|
DIME: Distributed Interactive Medical Exploratory - Towards Decision Support in Vascular Surgery through Computational Hemodynamics
Download poster
|
| |
|
|
|
|
|
Dispersion and dissipation in high-order RKDG methods for electromagnetic waves
Download poster
|
|
|
Electoral search using the Verkiezingskijker
Download poster
|
| |
|
|
|
|
|
Establishment of Inter-domain LSPs with end-to-end QoS constraints
Download poster
|
|
|
Evaluation in Cultural Heritage Information Retrieval
Download poster
|
| |
|
|
|
|
|
Generic Reflective Autonomous Management (GRAM)
Download poster
|
|
|
GENeVis: Interactive Visualization of Gene Regulatory Networks
Download poster
|
| |
|
|
|
|
|
Geometric Algebra: a new foundation for geometric programming
Download poster
|
|
|
High Performance Computing with FPGA: Performance evaluation of FPGA-based Cellular Automata accelerators
Download poster
|
| |
|
|
|
|
|
High Performance Direct Gravitational N-body Simulations
Download poster
|
|
|
Inferring Genetic Regulatory Networks from Spatial and Temporal Data Gene Expression Patterns
Download poster
|
| |
|
|
|
|
|
Infinity
Download poster
|
|
|
Integration of Design and Analysis Models
Download poster
|
| |
|
|
|
|
|
Interactive Scientific Visualization and Virtual Reality
Download poster
|
|
|
Interactive Software Prototyping for VR Applications
Download poster
|
| |
|
|
|
|
|
Inter-Operating Computing Grids: Vision and Practice
Download poster
|
|
|
Inventory Management and the Impact of Anticipation in Evolutionary Stochastic Online Dynamic Optimization
Download poster
|
| |
|
|
|
|
|
JASON: A Generic Architecture for Secure Remote Management
Download poster
|
|
|
Looking into Early Embryogenesis Models
Download poster
|
| |
|
|
|
|
|
Mask-Based Second-Generation Connectivity and Attribute Filters
Download poster
|
|
|
Mathematical Modeling of Calcification in Scleractinian Corals
Download poster
|
| |
|
|
|
|
|
Mechanisms for Multiagent Planning and Task Allocation
Download poster
|
|
|
Microthreading and its Programming Model
Download poster
|
| |
|
|
|
|
|
MITCH: State of Affairs
Download poster
|
|
|
Models of Computation: Automata and Processes
Download poster
|
| |
|
|
|
|
|
MonetDB/ SkyServer
Download poster
|
|
|
Multi-Field Data Visualisation Techniques for Medical Applications
Download poster
|
| |
|
|
|
|
|
Multi-Instance Learning
Download poster
|
|
|
On the Relation between Class-count and Modeling Effort
Download poster
|
| |
|
|
|
|
|
On the relation between effort distribution and defects
Download poster
|
|
|
Parallel current-steering D/A converters for Flexibility and Smartness
Download poster
|
| |
|
|
|
|
|
Particle Based Image Segmentation with Simulated Annealing
Download poster
|
|
|
Peer Selection and Information Spread in P2P Networking
Download poster
|
| |
|
|
|
|
|
PINPAS Java Card
Download poster
|
|
|
WS-Agreement Based Resource Negotiation in AgentScape
Download poster
|
| |
|
|
|
|
|
Practical Approaches to Secure Computation
Download poster
|
|
|
Predicting Long-Term Network Visibility on Personal Mobile Devices
Download poster
|
| |
|
|
|
|
|
|
Presenting Case Law to Laymen
Download poster
|
|
|
Privacy Enhanced security Architecture for RFID Labels (PEARL)
Download poster
|
| |
|
|
|
|
|
RCOSY: Compiling for the MOLEN polymorphic processor
Download poster
|
|
|
README: Retrieving Encoded Archival Desciptions More Effectively
Download poster
|
| |
|
|
|
|
|
Safe Airport Navigation
Download poster
|
|
|
SCARIe: Enabling the grid for astronomy.
Download poster
|
| |
|
|
|
|
|
Scriptable Compilers
Download poster
|
|
|
Secure Digital Criminal Dossier Management: combining local control and global access in distributed environments
Download poster
|
| |
|
|
|
|
|
Sensing and Authentication in Smart Environments
Download poster
|
|
|
Simulating Star Clusters on a Global Grid of GRAPEs
Download poster
|
| |
|
|
|
|
|
Skeleton-based Hierarchical Shape Segmentation
Download poster
|
|
|
Speech enhancement based on Rayleigh Mixture Modeling of speech spectral amplitude distributions
Download poster
|
| |
|
|
|
|
|
Stability analysis of railway timetables
Download poster
|
|
|
StarPlane - An Application Controlled Photonic Network
Download poster
|
| |
|
|
|
|
|
Stochastic Simulation of HIV Population Dynamics through Complex Network Modeling
Download poster
|
|
|
Stochastic Simulations Membrane-bound Pathways
Download poster
|
| |
|
|
|
|
|
Surface Reconstruction using Generalized Coulomb Potentials
Download poster
|
|
|
Survivability in WDM optical networks
Download poster
|
| |
|
|
|
|
|
Synchronising Media
Download poster
|
|
|
The Complex Automata Model of HIV-1 Co-receptor Tropism: Mutation Rate Verified
Download poster
|
| |
|
|
|
|
|
The Nijmegen Health Care Computing Initiative (2005-2007)
Download poster
|
|
|
Tree Oriented Programming - Haskell Utrecht Tools
Download poster
|
| |
|
|
|
|
|
Understanding the Volatility Smile in Options Markets through Microsimulation
Download poster
|
|
|
Use-Case Driven Self-Management Framework
Download poster
|
| |
|
|
|
|
|
Using Topical Language and Structure to Focus Retrieval
Download poster
|
|
|
Verifying Hybrid Systems in Coq Proof Assistant
Download poster
|
| |
|
|
|
|
|
Virus spread in complete bi-partite graphs
Download poster
|
|
|
Visual Comparison of Software Hierarchies
Download poster
|
| |
|
|
|
|
|
Visual Information Retrieval Using Synthetic Imagery
Download poster
|
|
|
Visualization of Quality Attributes on Software Architectures
Download poster
|
| |
|
|
|
|
|
Visualization of Very Large High-Dimensional Astronomical Data Sets
Download poster
|
|
|
Wavelet lifting on Graphics Hardware with CUDA for Faster Video Decoding
Download poster
|
| |
|
|
|
|
| |
|
|
|
|
