Sciweavers

10604 search results - page 62 / 2121
» Computational Fluid Dynamics
Sort
View
JUCS
2008
134views more  JUCS 2008»
13 years 10 months ago
Computability of Topological Pressure for Sofic Shifts with Applications in Statistical Physics
: The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological...
Christoph Spandl
ICSE
2004
IEEE-ACM
14 years 10 months ago
Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams
Dynamic slicing algorithms can greatly reduce the debugging effort by focusing the attention of the user on a relevant subset of program statements. Recently algorithms for forwar...
Xiangyu Zhang, Rajiv Gupta, Youtao Zhang
VLSID
2005
IEEE
107views VLSI» more  VLSID 2005»
14 years 3 months ago
Design, Testing, and Applications of Digital Microfluidics-Based Biochips
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. The first part of th...
Krishnendu Chakrabarty
INTETAIN
2005
Springer
14 years 3 months ago
Water, Temperature and Proximity Sensing for a Mixed Reality Art Installation
”Fluids” is an interactive and immersive mixed reality art installation that explores the relation of intimacy between reality and virtuality. We live in two different but con...
Isaac Rudomín, Marissa Díaz, Benjam&...
ICAD
2004
13 years 11 months ago
A Toolkit for Interactive Sonification
This paper describes work-in-progress on an Interactive Sonification Toolkit which has been developed in order to aid the analysis of general data sets. The toolkit allows the des...
Sandra Pauletto, Andy Hunt