Sciweavers

Share
3 search results - page 1 / 1
» Sounding liquids: Automatic sound synthesis from fluid simul...
Sort
View
TOG
2010
69views more  TOG 2010»
8 years 12 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»
9 years 1 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»
9 years 1 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
books