Results 11 to 20 of about 1,855,215 (295)
A Reduction Ordering for Higher-Order Terms [PDF]
, 1999 We investigate one of the classical problems of the theory of term rewriting, namely termination. We present an ordering for comparing higher-order terms that can be utilized for testing termination and decreasingness of higher-order conditional term rewriting systems.
Avenhaus, Jürgen +2 more
core +5 more sources
About Boundary Terms in Higher Order Theories [PDF]
, 2011 It is shown that when in a higher order variational principle one fixes fields at the boundary leaving the field derivatives unconstrained, then the variational principle (in particular the solution space) is not invariant with respect to the addition of boundary terms to the action, as it happens instead when the correct procedure is applied. Examples
Fatibene, Lorenzo +2 more
openaire +5 more sources
Higher Order Expectations, Illiquidity, and Short-Term Trading [PDF]
SSRN Electronic Journal, 2011 When trading frequencies between liquidity traders and short term, heterogeneously informed investors differ, asset prices reflect Higher Order Expectations (HOEs) about both fundamentals and liquidity trading, and multiple, self-fulfilling equilibria arise.
Xavier Vives, Giovanni Cespa
openaire +6 more sources
A Transfinite Knuth–Bendix Order for Lambda-Free Higher-Order Terms [PDF]
, 2017 We generalize the Knuth–Bendix order (KBO) to higher-order terms without λ-abstraction. The restriction of this new order to first-order terms coincides with the traditional KBO. The order has many useful properties, including transitivity, the subterm property, compatibility with contexts (monotonicity), stability under substitution, and well ...
Becker, Heiko +3 more
openaire +6 more sources
Higher Order Terms in Multiscale Expansions: A Linearized KdV Hierarchy [PDF]
Journal of Nonlinear Mathematical Physics, 2002 We consider a wide class of model equations, able to describe wave propagation in dispersive nonlinear media. The Korteweg-de Vries (KdV) equation is derived in this general frame under some conditions, the physical meanings of which are clarified. It is obtained as usual at leading order in some multiscale expansion.
Herve ́ Leblond, H. Leblond
openaire +6 more sources
Bounded Higher-order Unification using Regular Terms [PDF]
EPiC Series in Computing, 2018 We present an algorithm for the bounded unification of higher-order terms.The algorithm extends G. P. Huet's pre-unification algorithm with rules for the generation and folding of regular terms.The concise form of the algorithm allows the reuse of the pre-unification correctness proof.
Tomer Libal
openaire +3 more sources
The marginality principle revisited: Should "higher-order" terms always be accompanied by "lower-order" terms in regression analyses? [PDF]
Biom J, 2023 The marginality principle guides analysts to avoid omitting lower-order terms from models in which higher-order terms are included as covariates. Lower-order terms are viewed as “marginal” to higher-order terms.
Morris TP, van Smeden M, Pham TM.
europepmc +6 more sources
Axioms, 2023 This work provides new adequate conditions for difference equations with forcing, positive and negative terms to have non-oscillatory solutions. A few mathematical inequalities and the properties of discrete fractional calculus serve as the fundamental ...
Jehad Alzabut +4 more
doaj +1 more source
Review of the Influence of non-singular higher order terms on the stress field of thin welded lap joints and small inclined cracks in plates [PDF]
Fracture and Structural Integrity, 2017 In stress analysis of cracked plates, alongside the stress intensity factor which quantifies the singular stress component perpendicular to the crack plane, the role played in crack growth by the constant term parallel to the crack plane, called the T ...
F. Berto +3 more
doaj +3 more sources
Exponentially accurate solution tracking for nonlinear ODEs, the higher order Stokes phenomenon and double transseries resummation [PDF]
, 2012 We demonstrate the conjunction of new exponential-asymptotic effects in the context of a second order nonlinear ordinary differential equation with a small parameter.
Olde Daalhuis, Adri +3 more
core +1 more source