Sciweavers

4285 search results - page 124 / 857
» Differential Behavioral Analysis
Sort
View
FORMATS
2006
Springer
15 years 9 months ago
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
Gordon J. Pace, Gerardo Schneider
ICPP
2006
IEEE
15 years 11 months ago
Data-Flow Analysis for MPI Programs
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
Michelle Mills Strout, Barbara Kreaseck, Paul D. H...
WCE
2007
15 years 6 months ago
Heat Transfer Analysis and Experiments with Energy Recovery Ventilator
— A numerical and experimental study has been carried out for a rotary, periodic flow energy recovery ventilator containing a porous media matrix. The governing differential equa...
M. Khairul Alam, Adriana M. Druma
BMCBI
2005
144views more  BMCBI 2005»
15 years 5 months ago
GeneRank: Using search engine technology for the analysis of microarray experiments
Background: Interpretation of simple microarray experiments is usually based on the fold-change of gene expression between a reference and a "treated" sample where the t...
Julie L. Morrison, Rainer Breitling, Desmond J. Hi...
ICMI
2007
Springer
262views Biometrics» more  ICMI 2007»
15 years 11 months ago
Automated generation of non-verbal behavior for virtual embodied characters
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to ...
Werner Breitfuss, Helmut Prendinger, Mitsuru Ishiz...