4162 results in Numerical analysis and computational science
THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 22 March 2010, pp. 279-286
- Print publication:
- June 2010
-
- Article
- Export citation
SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 19 March 2010, pp. 228-246
- Print publication:
- June 2010
-
- Article
- Export citation
AN INTENSIONAL LEIBNIZ SEMANTICS FOR ARISTOTELIAN LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 17 March 2010, pp. 262-272
- Print publication:
- June 2010
-
- Article
- Export citation
Well-posedness of a thermo-mechanical model for shape memory alloys under tension
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 6 / November 2010
- Published online by Cambridge University Press:
- 17 March 2010, pp. 1239-1253
- Print publication:
- November 2010
-
- Article
- Export citation
The G method for heterogeneous anisotropic diffusion on general meshes
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 4 / July 2010
- Published online by Cambridge University Press:
- 17 March 2010, pp. 597-625
- Print publication:
- July 2010
-
- Article
- Export citation
SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 17 March 2010, pp. 273-278
- Print publication:
- June 2010
-
- Article
- Export citation
Theoretical analysis of the upwind finite volume scheme on the counter-example of Peterson
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 6 / November 2010
- Published online by Cambridge University Press:
- 17 March 2010, pp. 1279-1293
- Print publication:
- November 2010
-
- Article
- Export citation
A well-conditioned integral equation for iterative solution of scattering problems with a variable Leontovitch boundary condition
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 4 / July 2010
- Published online by Cambridge University Press:
- 17 March 2010, pp. 781-801
- Print publication:
- July 2010
-
- Article
- Export citation
Numerical modelling of algebraic closure models of oceanic turbulent mixing layers
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 6 / November 2010
- Published online by Cambridge University Press:
- 17 March 2010, pp. 1255-1277
- Print publication:
- November 2010
-
- Article
- Export citation
A stochastic phase-field model determined from molecular dynamics
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 4 / July 2010
- Published online by Cambridge University Press:
- 17 March 2010, pp. 627-646
- Print publication:
- July 2010
-
- Article
- Export citation
Eigenvalue enclosures and exclosures for non-self-adjoint problems in hydrodynamics
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 13 / January 2010
- Published online by Cambridge University Press:
- 01 March 2010, pp. 65-81
-
- Article
-
- You have access
- Export citation
The character table of a group of shape (2×2.G):2
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 13 / January 2010
- Published online by Cambridge University Press:
- 01 March 2010, pp. 82-89
-
- Article
-
- You have access
- Export citation
A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 26 February 2010, pp. 247-261
- Print publication:
- June 2010
-
- Article
- Export citation
THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 26 February 2010, pp. 287-350
- Print publication:
- June 2010
-
- Article
- Export citation
Two Numerical Methods for the elliptic Monge-Ampère equation
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 4 / July 2010
- Published online by Cambridge University Press:
- 23 February 2010, pp. 737-758
- Print publication:
- July 2010
-
- Article
- Export citation
Theoretical aspects and numerical computation of the time-harmonic Green's function for an isotropic elastic half-plane with an impedance boundary condition
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 4 / July 2010
- Published online by Cambridge University Press:
- 23 February 2010, pp. 671-692
- Print publication:
- July 2010
-
- Article
- Export citation
Finite element discretization of Darcy's equations with pressure dependent porosity
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 6 / November 2010
- Published online by Cambridge University Press:
- 23 February 2010, pp. 1155-1191
- Print publication:
- November 2010
-
- Article
- Export citation
About stability and regularization of ill-posed elliptic Cauchy problems: the case of C1,1 domains
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 4 / July 2010
- Published online by Cambridge University Press:
- 23 February 2010, pp. 715-735
- Print publication:
- July 2010
-
- Article
- Export citation
An error analysis of the multi-configuration time-dependent Hartree method of quantum dynamics
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 4 / July 2010
- Published online by Cambridge University Press:
- 23 February 2010, pp. 759-780
- Print publication:
- July 2010
-
- Article
- Export citation
An iterative procedure to solve a coupled two-fluids turbulence model
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 44 / Issue 4 / July 2010
- Published online by Cambridge University Press:
- 23 February 2010, pp. 693-713
- Print publication:
- July 2010
-
- Article
- Export citation