Results 1 to 10 of about 59,276 (165)
Taylor expansion in linear logic is invertible [PDF]
Logical Methods in Computer Science, 2018 Each Multiplicative Exponential Linear Logic (MELL) proof-net can be expanded into a differential net, which is its Taylor expansion. We prove that two different MELL proof-nets have two different Taylor expansions.
Daniel de Carvalho
doaj +5 more sources
A new type of Taylor series expansion [PDF]
Journal of Inequalities and Applications, 2018 We present a variant of the classical integration by parts to introduce a new type of Taylor series expansion and to present some closed forms for integrals involving Jacobi and Laguerre polynomials, which cannot be directly obtained by usual symbolic ...
Mohammad Masjed-Jamei +3 more
doaj +5 more sources
Finite chemical potential equation of state for QCD from an alternative expansion scheme [PDF]
EPJ Web of Conferences, 2022 The Taylor expansion approach to the equation of state of QCD at finite chemical potential struggles to reach large chemical potential μB. This is primarily due to the intrinsic diffculty in precisely determining higher order Taylor coefficients, as well
Parotto Paolo +8 more
doaj +1 more source
Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications [PDF]
Logical Methods in Computer Science, 2023 Originating in Girard's Linear logic, Ehrhard and Regnier's Taylor expansion of $\lambda$-terms has been broadly used as a tool to approximate the terms of several variants of the $\lambda$-calculus. Many results arise from a Commutation theorem relating
Rémy Cerda, Lionel Vaux Auclair
doaj +1 more source
On the Taylor Expansion of Value Functions [PDF]
Operations Research, 2020 We introduce a framework for approximate dynamic programming that we apply to discrete time chains on $\mathbb{Z}_+^d$ with countable action sets. Our approach is grounded in the approximation of the (controlled) chain's generator by that of another Markov process. In simple terms, our approach stipulates applying a second-order Taylor expansion to the
Anton Braverman +2 more
openaire +3 more sources
Hybrid solution method for ultra-wideband positioning in coal mines
Gong-kuang zidonghua, 2021 Ultra-wideband positioning is based on the marked point distance measured by the base station and a set of non-linear positioning equations to obtain the precise device position by applying Taylor series expansion algorithm, Chan algorithm or least ...
CHEN Meirong +3 more
doaj +1 more source
Taylor Expansion of Discount Factors
CoRR, 2021 In practical reinforcement learning (RL), the discount factor used for estimating value functions often differs from that used for defining the evaluation objective. In this work, we study the effect that this discrepancy of discount factors has during learning, and discover a family of objectives that interpolate value functions of two distinct ...
Yunhao Tang +3 more
openaire +4 more sources
Taylor‐based adaptive sliding mode control method for robot manipulators
IET Control Theory & Applications, 2023 This paper develops a novel Taylor‐based adaptive sliding mode control method (ASMC) for robot manipulators. In the first new scheme, sliding mode control (SMC) is effectively enhanced using the Taylor expansion for achieving a less conservative sign ...
Alireza Fateh +2 more
doaj +1 more source
Mathematics, 2023 In the existing literature, there are only two in-plane equilibrium equations for membrane problems; one does not take into account the contribution of deflection to in-plane equilibrium at all, and the other only partly takes it into account.
Jun-Yi Sun, Ji Wu, Xue Li, Xiao-Ting He
doaj +1 more source
Revisiting Call-by-value B\"ohm trees in light of their Taylor expansion [PDF]
Logical Methods in Computer Science, 2020 The call-by-value lambda calculus can be endowed with permutation rules, arising from linear logic proof-nets, having the advantage of unblocking some redexes that otherwise get stuck during the reduction.
Emma Kerinec +2 more
doaj +1 more source