Sciweavers

1330 search results - page 45 / 266
» No Classic Boundary Conditions
Sort
View
AMC
2005
134views more  AMC 2005»
13 years 10 months ago
The Fourier spectral method for the Cahn-Hilliard equation
In this paper, a Fourier spectral method for numerically solving Cahn-Hilliard equation with periodic boundary conditions is developed. We establish their semi-discrete and fully d...
Xingde Ye, Xiao-Liang Cheng
JOTA
2010
91views more  JOTA 2010»
13 years 5 months ago
Structure of Viability Kernels for Some Linear Differential Games
A convenient form of necessary and sufficient conditions of viability for differential games with linear dynamics is proposed. These conditions are utilized to construct maximal vi...
N. D. Botkin, E. A. Ryazantseva
ECSQARU
2005
Springer
14 years 4 months ago
Conditional Deduction Under Uncertainty
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
Audun Jøsang, Simon Pope, Milan Daniel
GG
2010
Springer
13 years 12 months ago
Local Confluence for Rules with Nested Application Conditions
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
Hartmut Ehrig, Annegret Habel, Leen Lambers, Ferna...
SIAMMAX
2011
92views more  SIAMMAX 2011»
13 years 1 months ago
A Condition for Convexity of a Product of Positive Definite Quadratic Forms
A sufficient condition for the convexity of a finite product of positive definite quadratic forms is given in terms of the condition numbers of the underlying matrices. When only...
Minghua Lin, Gord Sinnamon