1028 search results - page 171 / 206 » Stochastic Differential Equations |
EGH
2003
Springer
14 years 2 months ago
2003
Springer
This paper presents a physically-based, visually-realistic interactive cloud simulation. Clouds in our system are modeled using partial differential equations describing fluid mot...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
HAPTICS
2002
IEEE
14 years 1 months ago
2002
IEEE
Soft objects are often desired in applications such as virtual surgery training. Soft object simulations are computationally intensive because object deformation involves numerica...
CLUSTER
2000
IEEE
14 years 1 months ago
2000
IEEE
Simulating the propagation of 3D ultrasonic waves in a nonlinear medium is a demanding task. It requires the solution of time-dependent and nonlinear partial differential equation...
SC
2000
ACM
14 years 1 months ago
2000
ACM
This paper describes performance tuning experiences with a three-dimensional unstructured grid Euler flow code from NASA, which we have reimplemented in the PETSc framework and p...