Results 1 to 10 of about 2,567,431 (306)
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 +5 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
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
Heat transfer of power-law fluids with variable thermal conductivities on a horizontal rough surface
工程科学学报, 2023 Power-law fluids have recently received increasing attention because of their applications in different industrial fields. In previous works, the energy and momentum equations for power-law fluids were considered the same as those for Newtonian fluids ...
Fangfang LIU +3 more
doaj +1 more source
Extrapolation of Duffing Equation Solution by Using RBF Network
Современные информационные технологии и IT-образование, 2021 The article considers the problem of approximation of the solution of the Cauchy problem for an ordinary differential equation of the second order. The approximation scheme is based on the Taylor expansion of the solution with a remainder in the Lagrange
Tatyana Lazovskaya +3 more
doaj +1 more source
Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors [PDF]
Logical Methods in Computer Science, 2019 It has been known since Ehrhard and Regnier's seminal work on the Taylor expansion of $\lambda$-terms that this operation commutes with normalization: the expansion of a $\lambda$-term is always normalizable and its normal form is the expansion of the B\"
Lionel Vaux
doaj +1 more source