Sciweavers

691 search results - page 5 / 139
» Equational Abstractions
Sort
View
APPML
2010
133views more  APPML 2010»
13 years 7 months ago
Fractional relaxation equations on Banach spaces
Abstract. We study existence and qualitative properties of solutions for the abstract fractional relaxation equation (0.1) u (t) - AD t u(t) + u(t) = f(t), 0 < < 1, t 0, u(...
Carlos Lizama, Humberto Prado
IMAMS
2003
93views Mathematics» more  IMAMS 2003»
13 years 9 months ago
Application of PDE Methods to Visualization of Heart Data
Abstract. We apply new methods based on Partial Differential Equations techniques (polysplines) to the visualization of the heart surface.
Ognyan Kounchev, Michael J. Wilson
CORR
2006
Springer
116views Education» more  CORR 2006»
13 years 7 months ago
Rewriting modulo in Deduction modulo
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
Frédéric Blanqui
JSCIC
2008
94views more  JSCIC 2008»
13 years 7 months ago
Second-Order Accurate Computation of Curvatures in a Level Set Framework Using Novel High-Order Reinitialization Schemes
Abstract We present a high-order accurate scheme for the reinitialization equation of Sussman et al. (J. Comput. Phys. 114:146
Antoine du Chéné, Chohong Min, Fr&ea...
JGO
2008
54views more  JGO 2008»
13 years 7 months ago
A nonconvex dissipative system and its applications (I)
Abstract In order to study the uniformly translating solution of some non-linear evolution equations such as the complex Ginzburg
Zhaosheng Feng