12194 search results - page 47 / 2439 » cans 2010 |
153
Voted
JCAM
2010
14 years 10 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...
117
Voted
JSYML
2010
14 years 10 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...
147
Voted
PAMI
2010
14 years 10 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...
115
Voted
SIAMADS
2010
14 years 10 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...
104
Voted
SIAMDM
2010
14 years 10 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...