Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference

ISSN： 1619-1366

Source： Software and Systems Modeling (SoSyM), Vol.3, Iss.2, 2004-05, pp. : 136-149

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Numerical simulation of dense gas-particle flows using the Euler Lagrange approach

By Deen N.G. Hoef M.A. Van Der Annaland M. Van Sint Kuipers J.A.M.

Progress in Computational Fluid Dynamics, An International Journal, Vol. 7, Iss. 2-3, 2007-04 ,pp. : 152-162

Inderscience Publishers

Access to resources Recommend Favorite

Algebraic decision trees and Euler characteristics

By Yao A.C.-C.

Theoretical Computer Science, Vol. 141, Iss. 1, 1995-04 ,pp. : 133-150

Elsevier

Access to resources Recommend Favorite

Multigrid solution of Euler equations using high-resolution NVD differencing scheme for unstructured meshes

By Ng Khai Ching Yusoff Mohd. Zamri Ng Eddie Yin Kwee

Progress in Computational Fluid Dynamics, An International Journal, Vol. 6, Iss. 7, 2006-09 ,pp. : 389-401

Inderscience Publishers

Access to resources Recommend Favorite

Energy aware DAG scheduling on heterogeneous systems

By Baskiyar Sanjeev Abdel-Kader Rabab

Cluster Computing, Vol. 13, Iss. 4, 2010-12 ,pp. : 373-383

Springer Publishing Company

Access to resources Recommend Favorite

Asymptotic Preserving Scheme for Euler System with Large Friction

By Coquel F. Godlewski E.

Journal of Scientific Computing, Vol. 48, Iss. 1-3, 2011-07 ,pp. : 164-172

Springer Publishing Company

Access to resources Recommend Favorite