M. A. Obregon, Y. A. Stepanyants (2012)
Mathematical Modelling of Natural Phenomena
Similarity:
A simple explicit numerical scheme is proposed for the solution of the Gardner–Ostrovsky equation ( + + + + ) = which is also known as the extended rotation-modified Korteweg–de Vries (KdV) equation. This equation is used for the description of internal oceanic waves affected by Earth’ rotation. Particular...
Axel Klawonn, Patrizio Neff, Oliver Rheinbach, Stefanie Vanis (2011)
ESAIM: Mathematical Modelling and Numerical Analysis
Similarity:
We consider linear elliptic systems which arise in coupled elastic continuum mechanical models. In these systems, the strain tensor := sym ( ∇) is redefined to include a matrix valued inhomogeneity () which cannot be described by a space dependent fourth order elasticity tensor. Such systems arise naturally in geometrically exact plasticity or in problems with eigenstresses. The tensor field induces a structural change of the elasticity equations. For such...
Axel Klawonn, Patrizio Neff, Oliver Rheinbach, Stefanie Vanis (2011)
ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique
Similarity:
We consider linear elliptic systems which arise in coupled elastic continuum mechanical models. In these systems, the strain tensor := sym ( ∇) is redefined to include a matrix valued inhomogeneity () which cannot be described by a space dependent fourth order elasticity tensor. Such systems arise naturally in geometrically exact plasticity or in problems with eigenstresses. The tensor field induces a structural change of the elasticity equations. For...
Nabil Rachdi, Jean-Claude Fort, Thierry Klein (2013)
ESAIM: Probability and Statistics
Similarity:
In this paper, we consider a new framework where two types of data are available: experimental data supposed to be i.i.d from and outputs from a simulated reduced model. We develop a procedure for parameter estimation to characterize a feature of the phenomenon . We prove a risk bound qualifying the proposed procedure in terms of the number of experimental data , reduced model complexity...
Alberto Carraro, Antonino Salibra (2012)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
A closed -term is if, for any other closed term , the lambda theory generated by = is consistent. Recently, it has been introduced a general technique to prove the easiness of -terms through the semantical notion of simple easiness. Simple easiness implies easiness and allows to prove consistency results construction of suitable filter models of -calculus living in the category of complete partial orderings: given a simple easy term and an arbitrary closed term , it is possible to...
Ivan Corwin, Patrik L. Ferrari, Sandrine Péché (2012)
Annales de l'I.H.P. Probabilités et statistiques
Similarity:
There has been much success in describing the limiting spatial fluctuations of growth models in the Kardar–Parisi–Zhang (KPZ) universality class. A proper rescaling of time should introduce a non-trivial temporal dimension to these limiting fluctuations. In one-dimension, the KPZ class has the dynamical scaling exponent = 3/2, that means one should find a universal space–time limiting process under the scaling of time as , space like 2/3 and fluctuations like 1/3 as → ∞. In this paper...
Bangti Jin, Peter Maass (2012)
ESAIM: Control, Optimisation and Calculus of Variations
Similarity:
This paper analyzes the continuum model/complete electrode model in the electrical impedance tomography inverse problem of determining the conductivity parameter from boundary measurements. The continuity and differentiability of the forward operator with respect to the conductivity parameter in -norms are proved. These analytical results are applied to several popular regularization formulations, which incorporate information of smoothness/sparsity on the inhomogeneity...
Alberto Carraro, Antonino Salibra (2012)
RAIRO - Theoretical Informatics and Applications
Similarity:
A closed -term is if, for any other closed term , the lambda theory generated by = is consistent. Recently, it has been introduced a general technique to prove the easiness of -terms through the semantical notion of simple easiness. Simple easiness implies easiness and allows to prove consistency results construction of suitable filter models of -calculus living in the category of complete partial orderings: given ...