691 search results - page 15 / 139 » Equational Abstractions |
BIOCOMP
2009
13 years 6 months ago
2009
Abstract-- Spatial partial differential equations are commonly used to describe systems of biological entities, such as patterns created by desert vegetation and biovermiculation g...
PARA
2004
Springer
2004
Springer
A Combined Linear and Nonlinear Preconditioning Technique for Incompressible Navier-Stokes Equations
14 years 2 months ago
Abstract. We propose a new two-level nonlinear additive Schwarz preconditioned inexact Newton algorithm (ASPIN). The two-level nonlinear preconditioner combines a local nonlinear a...
ASM
2003
ASM
14 years 1 months ago
2003
ASM
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...
FOSSACS
2006
Springer
14 years 11 days ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
JSC
2007
13 years 8 months ago
2007
Abstract. We extend our recent work on set-theoretic solutions of the YangBaxter or braid relations with new results about their automorphism groups, strong twisted unions of solut...