691 search results - page 3 / 139 » Equational Abstractions |
MOC
1998
14 years 9 months ago
1998
Abstract. We present formulations of the Trotter-Kato theorem for approximation of linear C0-semigroups which provide very useful framework when convergence of numerical approximat...
103
click to vote
WLP
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
CADE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Context unification (CU) is the open problem of solving context equations for trees. We distinguish a new decidable variant of CU? well-nested CU ? and present a new unif...
155
click to vote
CDC
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract— In the present paper we consider uniform inputto-state stability of reaction-diffusion equations and compare it with its finite dimensional counterpart without diffusi...
ICCSA
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The equal width wave (EW) equation is a model partial differential equation for the simulation of one-dimensional wave propagation in nonlinear media with dispersion proc...