40 search results - page 5 / 8 » Solving third order linear differential equations in terms o... |
SIAMCO
2010
13 years 2 months ago
2010
Abstract. We establish results for the problem of tracking a time-dependent manifold arising in realtime optimization by casting this as a parametric generalized equation. We demon...
INFORMATICALT
2010
13 years 5 months ago
2010
To suitably complete an image without seams, block effects, and artifacts, a novel exemplar-based image completion model employing partial differential equation (PDE) is proposed. ...
SIAMSC
2010
13 years 5 months ago
2010
In this paper we extend the micro-macro decomposition based asymptotic-preserving scheme developed in [3] for the single species Boltzmann equation to the multispecies problems. A...
MOC
2010
13 years 2 months ago
2010
Spectral deferred correction (SDC) methods for solving ordinary differential equations (ODEs) were introduced by Dutt, Greengard and Rokhlin [5]. It was shown in [5] that SDC metho...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...