A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
First-Order Unification on Compressed Terms
2011
International Conference on Rewriting Techniques and Applications
Preserved Fulltext
In this work, STGs are used in the context of first-order unification. Hence, we want to represent terms containing first-order variables. ...
The first-order matching problem is a particular case of first-order unification in which only one of the terms given as input may contain variables. ...
In terms of Meta, it suffices to take n = 1, and to use large random trees. ...
doi:10.4230/lipics.rta.2011.51
dblp:conf/rta/GasconMR11
fatcat:5sawbklfvnfzjhxn577qxikc3y
On First-order Cons-free Term Rewriting and PTIME
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In this paper, we prove that (first-order) cons-free term rewriting with a call-by-value reduction strategy exactly characterises the class of PTIME-computable functions. ...
We use this to give an alternative proof of the result by Carvalho and Simonsen which states that cons-free term rewriting with linearity constraints characterises this class. ...
Cons-free Term Rewriting We assume the basic notions of first-order term rewriting to be understood. ...
arXiv:1711.03399v2
fatcat:n3wwedfzsbc7jefegcanzewani
First Order Hyperbolic Boundary Value Problems With a Large Oscillatory Zero Order Term
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We wish to establish a uniform energy estimate with respect to ϵ, which is needed in mentioned applications and justification of geometric optics solutions, but the zero order oscillatory term gives rise ...
We study the weakly stable hyperbolic boundary value problem with a large zero order oscillatory coefficient. ...
For the first equation in (3.49) involving σ 1 2 , the first term on the right hand side satisfies: (3.50) − E Q1 [L(∂)(I − E P )U 2 ] = −E Q1 [L(∂)(−R(L(∂)U 1 + e iθ3 M U 1 )] = −E Q1 [L(∂)(−R(L(∂)U 1 ...
arXiv:2104.08532v2
fatcat:s4hfltoeobdjfd34fqxvu76cnq
On the comparison principle for second order elliptic equations without first and zeroth order terms
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2008.08399v1 fatcat:e5payi7vnbf5roo5uexmibefpyOther Versions
In Section 6 we shall see that this is also necessary when the equation is without first-and zeroth order terms. ...
Next, |x − y| < 2t, and when recalling the definition of δ, the first term on the right-hand side is bounded by 4L 2 r t where L r is the Lipschitz constant of Q in B r (x 0 ). ...
arXiv:2008.08399v3
fatcat:vm4n6i4i5nhqfdjrkvptsp2dxy
Gradient estimates for nonlinear elliptic equations with first order terms
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We study existence and Lorentz regularity of distributional solutions to elliptic equations with either a convection or a drift first order term. ...
The presence of such a term makes the problem not coercive. The main tools are pointwise estimates of the rearrangements of both the solution and its gradient. ...
The non coercivity is given by the presence of first order terms. ...
arXiv:1901.02673v2
fatcat:7y7wmsgs2feabhaokl5tcpt74y
Measuring Triebel-Lizorkin fractional smoothness on domains in terms of first-order differences
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In this note we give equivalent characterizations for a fractional Triebel-Lizorkin space F^s_p,q(Ω) in terms of first-order differences in a uniform domain Ω. ...
First we study the term β.a β.a . ...
Thus, one can apply only at the last norm the characterization using first order differences, which follows from [PS17, Theorem 1.2]. Corollary 1.1 (to [PS17, Theorem 1.2]). ...
arXiv:1804.05780v4
fatcat:mcu37vic3vcovpytacbxhur2dq
Determining nonsmooth first order terms from partial boundary measurements
[article]
2006
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
We give a similar result for determining a convection term. ...
The following lemma shows that one may use pseudodifferential operators to conjugate away the main part Q ♯ of the first order term Q. Lemma 5.2. ...
Elliptic equations of first order To extend the Nakamura-Uhlmann pseudodifferential conjugation method to logarithmic Carleman weights, we will need to solve first order elliptic equations with variable ...
arXiv:math/0609133v1
fatcat:jxan7eplwbbj3dbxygda6d7p7u
Regularizing effect and decay results for a parabolic problem with repulsive superlinear first order terms
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
and long, short time decay concerning parabolic Cauchy-Dirichlet problems of the type < a r r a y > We assume that A(t,x) is a coercive, bounded and measurable matrix, the growth rate q of the gradient term ...
As shown in [3, 4] when p = 2 and in [17] for 1 < p < N in a more general context, we need to fix (1.2) in order to get an existence result when a superlinear growth in the gradient term occurs. ...
to rewrite (3.19) only in terms of S n,ε (G k (u)) and S n (G k (u)). ...
arXiv:1712.09246v3
fatcat:4ngchzprtffoxdataz3mnjuyke
The gravitational Hamiltonian, first order action, Poincaré charges and surface terms
2015
Classical and quantum gravity
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2015 pre-print arXiv:1505.01518v1 fatcat:zm4vk7kau5extdqe5sduao2rsuOther Versions
More precisely, our starting point is the gravitational first order Holst action with surface terms and fall-off conditions that make the variational principle and the covariant phase space formulation ...
Unlike the case of the Einstein-Hilbert action with Gibbons-Hawking-York or Hawking-Horowitz terms, here we do recover the ADM energy-momentum from the covariant surface term also when more general variations ...
FIRST ORDER ACTION WITH BOUNDARY TERMS Our starting point is the covariant and Lorentz-gauge invariant first-order Holst action [15] with the additional surface integral term first put forward in [17 ...
doi:10.1088/0264-9381/32/19/195024
fatcat:xi3lnjr72rfhldmafxjzgwpkl4
Optimal control of a first order Fokker-Planck equation with reaction term and density constraints
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Sobolev regularity, for the solution of a first order MFG, has been established in [34] , and improved in [42] ; see also [25] . The paper is organized as follows. ...
In order to analyze (3.1) we now introduce several notations. ...
From its definition, S i satisfies for any (t, τ, x) ∈ [0, T ] × [0, T ] × [0, 1]: deriving both terms in (A.3) w.r.t. x, it comes: Since ∂ x S τ,x i (τ ) = 1, solving (A.4) gives the result (A.2). ...
arXiv:2109.12836v2
fatcat:m5lexqlqyjgqzbnzw5bryzk2oe
On the Liouville property for fully nonlinear equations with superlinear first-order terms
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
order terms are two. ...
Nonetheless, it is also by now well-known that the perturbation of second-order operators
with suitable nonlinearities, such as zero-th and first-order terms, ...
arXiv:2107.13262v2
fatcat:iwgmwlyt4veyrp4dptds5c6d3m
The recursive path and polynomial ordering for first-order and higher-order terms
2012
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The ordering is extended to higher-order terms, providing a new fully automatable use of polynomial interpretations in combination with betareduction. ...
In most termination tools two ingredients, namely recursive path orderings (RPO) and polynomial interpretation orderings (POLO), are used in a consecutive disjoint way to solve the final constraints generated ...
In order to ease the reading, the ordering is first presented in Section 3 for first-order terms and later on for higher-order terms. ...
doi:10.1093/logcom/exs027
fatcat:mzp6vkpzufgsxal2obzvkyfgym
Long-term Hydrodynamic Simulations on the Planetesimals Trapped in the First-order Mean Motion Resonances
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We perform long-term 2D hydrodynamic simulations to study the dynamics of planetesimals in the j:(j+1) first-order exterior resonances, and reexamine the theoretical expressions. ...
In this study, we focus on the j : (j + 1) first-order exterior resonances. ...
In this paper, we perform long-term hydrodynamic simulations to study the dynamics of planetesimals trapped in the first-order resonances, and reexamine the analytical expressions of the equilibrium eccentricity ...
arXiv:1904.07552v3
fatcat:7am65xjgsvepjhmwm3depkrzyy
First-Order Phase Transition in Three-Dimensional QED with Chern-Simons Term
1995
Physical Review Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In the presence of a Chern--Simons term, the chiral phase transition turns out to be first order, in sharp contrast to the phase transition in pure three-dimensional QED. ...
We have studied the chiral phase transition in three-dimensional QED in the presence of a Chern--Simons term for the gauge field. ...
In this letter we show that there is a rst-order chiral phase transition in the presence of an explicit CS term. ...
doi:10.1103/physrevlett.74.18
pmid:10057688
fatcat:3i5oltcxw5avtglop54cadgrke
Identifiability at the boundary for first-order terms
2006
Applicable Analysis
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We also consider a steady state heat equation with convection term ∆+2W ·∇ and recover the boundary values of the convection term W from the Dirichlet to Neumann map. ...
Ours are not the first results on identifiability at the boundary for first-order terms. ...
The identifiability at the boundary is often a first step in recovering the coefficients in the interior. ...
doi:10.1080/00036810600603377
fatcat:wdui3oeo35asxdnu6liijzm2rm
« Previous
Showing results 1 — 15 out of 10,740,182 results