Sciweavers

3 search results - page 1 / 1
» Sounding liquids: Automatic sound synthesis from fluid simul...
Sort
View
TOG
2010
69views more  TOG 2010»
14 years 8 months ago
Sounding liquids: Automatic sound synthesis from fluid simulation
William Moss, Hengchin Yeh, Jeong-Mo Hong, Ming C....
SIAMAM
2000
100views more  SIAMAM 2000»
14 years 9 months ago
Phase Transition Near a Liquid-Gas Coexistence Equilibrium
Effects of small perturbations from a liquid-gas coexistence equilibrium (the Maxwell states) is studied for an isothermal (or isentropic) gas-liquid phase transition in a sealed o...
Xiao-Ping Wang, Xinfu Chen
ENTCS
2010
120views more  ENTCS 2010»
14 years 10 months ago
Simulation and Synthesis of Deduction Calculi
This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based ...
Renate A. Schmidt