Sciweavers

1021 search results - page 33 / 205
» On the generalized Navier-Stokes equations
Sort
View
FSTTCS
2008
Springer
13 years 8 months ago
Sound Lemma Generation for Proving Inductive Validity of Equations
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...
Takahito Aoto
JSCIC
2007
90views more  JSCIC 2007»
13 years 7 months ago
Convex ENO Schemes for Hamilton-Jacobi Equations
In one dimension, viscosity solutions of Hamilton-Jacobi (HJ) equations can be thought as primitives of entropy solutions for conservation laws. Based on this idea, both theoretica...
Chi-Tien Lin, Xu-Dong Liu
MFPS
1993
13 years 11 months ago
Some Quasi-Varieties of Iteration Theories
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
Stephen L. Bloom, Zoltán Ésik
IJCNN
2008
IEEE
14 years 2 months ago
A formula of equations of states in singular learning machines
Abstract— Almost all learning machines used in computational intelligence are not regular but singular statistical models, because they are nonidentifiable and their Fisher info...
Sumio Watanabe
CORR
2010
Springer
85views Education» more  CORR 2010»
13 years 7 months ago
Partial Denominator Bounds for Partial Linear Difference Equations
We investigate which polynomials can possibly occur as factors in the denominators of rational solutions of a given partial linear difference equation (PLDE). Two kinds of polynom...
Manuel Kauers, Carsten Schneider