2465 search results - page 53 / 493 » Automata on Linear Orderings |
SIAMSC
2011
13 years 2 months ago
2011
We propose a numerical method to approximate the solution of second order elliptic problems in nonvariational form. The method is of Galerkin type using conforming finite elements...
ISIPTA
2003
IEEE
14 years 1 months ago
2003
IEEE
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
ICALP
1998
Springer
14 years 11 hour ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
JCAM
2010
13 years 2 months ago
2010
Linear interpolatory subdivision schemes of Cr smoothness have
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper studies directional dynamics in cellular automata, a formalism previously introduced by the third author. The central idea is to study the dynamical behaviour of a cell...