Home > Activiteiten > Evenementen IPN > SIREN 2007 > Posters
 

Bekijk hieronder de onderzoeksposters van SIREN 2007

 

  

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

         
 

 

     

 

 

 


Uitgelicht

Evenementen ICT

ICT.OPEN 2012

Stelling

Roadmap ICT

I/O Magazine
                   

Uitgelicht

Evenementen ICT

ICT.OPEN 2012

Stelling

Roadmap ICT

I/O Magazine
01-01-2013
Russische universiteit zoekt Nederlandse partners in IT
17-12-2012
ICT Personality Award 2012
11-11-2012
Sentinels
» Meer nieuws

10-04-2013
Sense of Contact 15
» Activiteit toevoegen
» Volledige kalender

ICT OPEN 2012


» Lees verder

Wat is de grootste uitdaging?
Complexiteit
Maatschappelijke innovatie
Wetenschappelijke paradigma's
Voldoende gekwalificeerde wetenschappers
 

» Resultaten stelling

Roadmap ICT topsectoren

» Lees verder

I/O - december 2012

» Lees verder