12194 search results - page 47 / 2439 » cans 2010 |
134
Voted
JCAM
2010
14 years 7 months ago
2010
Fornberg and Meyer-Spasche proposed some time ago a simple strategy to correct finite difference schemes in the presence of a free boundary that cuts across a Cartesian grid. We sh...
98
Voted
JSYML
2010
14 years 7 months ago
2010
In this paper, we introduce the systems ns-ACA0 and ns-WKL0 of non-standard second-order arithmetic in which we can formalize non-standard arguments in ACA0 and WKL0, respectively...
115
Voted
PAMI
2010
14 years 7 months ago
2010
A variety of different scripts are used in writing languages throughout the world. In a multi-script, multilingual environment, it is essential to know the script used in writing a...
93
Voted
SIAMADS
2010
14 years 7 months ago
2010
We study the extent to which properties of infinite-dimensional dynamical systems can be accurately detected by examining observations of such systems. Let H be a separable Hilbert...
SIAMDM
2010
14 years 7 months ago
2010
We investigate algebraic structures that can be placed on vertices of the multiplihedra, a family of polytopes originating in the study of higher categories and homotopy theory. Mo...