Sciweavers

159 search results - page 17 / 32
» Reflections on the Simulation of Complex Systems for Science
Sort
View
ICALP
2004
Springer
14 years 29 days ago
Linear and Branching Metrics for Quantitative Transition Systems
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
Luca de Alfaro, Marco Faella, Mariëlle Stoeli...
ACMSE
2006
ACM
14 years 1 months ago
HELLAS: a specialized architecture for interactive deformable object modeling
Applications involving interactive modeling of deformable objects require highly iterative, floating-point intensive numerical simulations. As the complexity of these models incr...
Shrirang M. Yardi, Benjamin Bishop, Thomas P. Kell...
ISCAS
2008
IEEE
121views Hardware» more  ISCAS 2008»
14 years 2 months ago
Wave propagation in oscillators coupled by time-varying resistor with timing mismatch
— Synchronization phenomena in coupled oscillatory systems are very important model to describe various higherdimensional nonlinear phenomena in the field of natural science. In...
Yoko Uwate, Yoshifumi Nishio
GI
2009
Springer
13 years 5 months ago
Coarse graining of an individual-based plant model
: The evolution and structuring of plant communities is governed by local plant-to-plant interaction. It has been shown that the individual variability of the organisms and the spa...
Johannes Hoefener, Lars Rudolf, Uta Berger, Thilo ...
MMM
2005
Springer
185views Multimedia» more  MMM 2005»
14 years 1 months ago
Database Support for Haptic Exploration in Very Large Virtual Environments
The efficient management of complex objects has become an enabling technology for modern multimedia information systems as well as for many novel database applications. Unfortunat...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...