Results 231 to 240 of about 1,751,206 (262)
Some of the next articles are maybe not open access.
Nonequilibrium statistical mechanics near equilibrium: computing higher-order terms
Nonlinearity, 1998Summary: Using Sinai-Ruelle-Bowen measures to describe nonequilibrium steady states, one can in principle compute the coefficients of expansions around equilibrium. We discuss how this can be done in practice, and how the results correspond to the zero noise limit when there is a stochastic perturbation. The approach used is formal rather than rigorous.
openaire +1 more source
Higher order terms in the saddle point approximation
Proceedings of the IEEE, 1967An integral of the type which commonly occurs in radiation theory is evaluated by the method of steepest descent to optain a well-known asymptotic expansion. The coefficients of the first three terms of this expansion are given in terms of functions and derivatives of functions which appear in the integrand; the coefficient of the third term does not ...
R.H. Schafer, R.G. Kouyoumjian
openaire +1 more source
The Embedding Path Order for Lambda-Free Higher-Order Terms
Journal of applied logistics, 2021The embedding path order, introduced in this article, is a variant of the recursive path order (RPO) for untyped λ-free higher-order terms (also called applicative first-order terms). Unlike other higher-order variants of RPO, it is a ground-total and well-founded simplification order, making it more suitable for the superposition calculus.
openaire +1 more source
Higher order Hardy-Rellich inequalities with boundary remainder terms
2009We determine boundary remainder terms for some higher order Hardy–Rellich inequalities involving the polyharmonic operator $(−\Delta)^m$. The results are proved by studying suitable auxiliary boundary eigenvalue problems, the optimal constants found may not be the classical Hardy–Rellich ones.
openaire +2 more sources
Dispersion approximation using higher-order Taylor series terms
Applied Optics, 1987J P, Marfice, O R, Baiocchi
openaire +2 more sources
A total AC-compatible reduction ordering on higher-order terms
1998The higher-order rewriting in presence of associative and commutative (AC) symbols is considered. A higher-order reduction ordering which allows to state the termination of a given rewriting system is presented. This ordering is an AC-extensiou of λ-RPO and is defined on simply-typed λ-terms in Β-normal η-long form. It is total on ground terms.
openaire +1 more source
Higher-Order Inter-chromosomal Hubs Shape 3D Genome Organization in the Nucleus
Cell, 2018Noah Ollikainen +2 more
exaly

