4162 results in Numerical analysis and computational science
STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 20 June 2013, pp. 545-570
- Print publication:
- September 2013
-
- Article
- Export citation
A quasi-variational inequality problem arising in the modeling of growing sandpiles
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 17 June 2013, pp. 1133-1165
- Print publication:
- July 2013
-
- Article
- Export citation
Boundary control and shape optimization for the robust design of bypass anastomoses under uncertainty
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 17 June 2013, pp. 1107-1131
- Print publication:
- July 2013
-
- Article
- Export citation
Each H1/2–stable projection yields convergence and quasi–optimality of adaptive FEM with inhomogeneous Dirichlet data in Rd
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 17 June 2013, pp. 1207-1235
- Print publication:
- July 2013
-
- Article
- Export citation
Quadratic finite elements with non-matching grids for the unilateral boundary contact
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 17 June 2013, pp. 1185-1205
- Print publication:
- July 2013
-
- Article
- Export citation
On uniqueness in electromagnetic scattering from biperiodic structures
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 17 June 2013, pp. 1167-1184
- Print publication:
- July 2013
-
- Article
- Export citation
Modeling of the oxygen transfer in the respiratory process∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 13 June 2013, pp. 935-960
- Print publication:
- July 2013
-
- Article
- Export citation
Mathematical Model of Blood Flow in an Anatomically Detailed Arterial Network of the Arm
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 13 June 2013, pp. 961-985
- Print publication:
- July 2013
-
- Article
- Export citation
Inverse modelling of image-based patient-specific blood vessels: zero-pressure geometry and in vivo stress incorporation
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 13 June 2013, pp. 1059-1075
- Print publication:
- July 2013
-
- Article
- Export citation
Optimal control of the bidomain system (III): Existence of minimizers and first-order optimality conditions
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 13 June 2013, pp. 1077-1106
- Print publication:
- July 2013
-
- Article
- Export citation
Uncertainty quantification for data assimilation in a steady incompressible Navier-Stokes problem
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 13 June 2013, pp. 1037-1057
- Print publication:
- July 2013
-
- Article
- Export citation
A comparison of coupled and uncoupled solvers for the cardiac Bidomain model∗∗∗
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 07 June 2013, pp. 1017-1035
- Print publication:
- July 2013
-
- Article
- Export citation
A predictive method allowing the use of a single ionic model in numerical cardiac electrophysiology
-
- Journal:
- ESAIM: Mathematical Modelling and Numerical Analysis / Volume 47 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 07 June 2013, pp. 987-1016
- Print publication:
- July 2013
-
- Article
- Export citation
Complexity of OM factorizations of polynomials over local fields
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 16 / October 2013
- Published online by Cambridge University Press:
- 01 June 2013, pp. 139-171
-
- Article
-
- You have access
- Export citation
RSL volume 6 issue 2 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 22 May 2013, pp. f1-f4
- Print publication:
- June 2013
-
- Article
-
- You have access
- Export citation
Transitive Primal Infon Logic–ERRATUM
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 22 May 2013, p. 366
- Print publication:
- June 2013
-
- Article
- Export citation
RSL volume 6 issue 2 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 22 May 2013, pp. b1-b4
- Print publication:
- June 2013
-
- Article
-
- You have access
- Export citation
NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 15 May 2013, pp. 394-423
- Print publication:
- September 2013
-
- Article
- Export citation
EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 13 May 2013, pp. 460-487
- Print publication:
- September 2013
-
- Article
- Export citation
Václav Šimerka: quadratic forms and factorization
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 16 / October 2013
- Published online by Cambridge University Press:
- 01 May 2013, pp. 118-129
-
- Article
-
- You have access
- Export citation