Results 11 to 20 of about 2,566,078 (299)
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 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
Williams Expansion Terms and their Importance for Accurate Stress Field Description in Specimens with a Crack [PDF]
Transactions of the VŠB-Technical University of Ostrava, Mechanical Series, 2013 The paper deals with an analysis of the stress and displacement fields in various cracked specimens (loaded in mode I as well as in mode II). The main goal is to determine an accurate approximation of the near-crack-tip fields which can be subsequently
Lucie MALÍKOVÁ, Václav VESELÝ
doaj +1 more source
A rewriting calculus for cyclic higher-order term graphs [PDF]
Mathematical Structures in Computer Science, 2005 The Rewriting Calculus (ρ-calculus, for short) was introduced at the end of the 1990s and fully integrates term-rewriting and λ-calculus. The rewrite rules, acting as elaborated abstractions, their application and the structured results obtained are first class objects of the calculus.
Bertolissi, Clara +3 more
openaire +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
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
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