4983 search results - page 70 / 997 » order 2008 |
ENTCS
2008
13 years 8 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
JC
2008
13 years 8 months ago
2008
For two subsets W and V of a normed space X. The relative Kolmogorov n-width of W relative to V in X is defined by Kn(W, V )X := inf Ln sup f W inf gV Ln f - g X, where the infimu...
SIAMJO
2010
13 years 7 months ago
2010
Abstract. This paper concerns second-order analysis for a remarkable class of variational systems in finite-dimensional and infinite-dimensional spaces, which is particularly imp...
SIAMSC
2010
13 years 7 months ago
2010
The emergence of multicore architectures and highly scalable platforms motivates the development of novel algorithms and techniques that emphasize concurrency and are tolerant of ...
SIAMSC
2010
13 years 7 months ago
2010
Magnetohydrodynamics (MHD) is a fluid theory that describes Plasma Physics by treating the plasma as a fluid of charged particles. Hence, the equations that describe the plasma f...