Results 11 to 20 of about 59,594 (165)
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
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
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion [PDF]
Logical Methods in Computer Science, 2022 A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing (and deciding in the finite case) those sets of resource proof ...
Giulio Guerrieri +2 more
doaj +1 more source
Taylor’s Expansion for Composite Functions [PDF]
The Scientific World Journal, 2013 We build a Taylor’s expansion for composite functions. Some applications are introduced, where the proposed technique allows the authors to obtain an asymptotic expansion of high order in many small parameters of solutions.
Le Thi Phuong Ngoc, Nguyen Anh Triet
openaire +3 more sources
Taylor Expansion Policy Optimization
CoRR, 2020 In this work, we investigate the application of Taylor expansions in reinforcement learning. In particular, we propose Taylor expansion policy optimization, a policy optimization formalism that generalizes prior work (e.g., TRPO) as a first-order special case. We also show that Taylor expansions intimately relate to off-policy evaluation.
Tang, Y. (Yunhao) +2 more
openaire +5 more sources
Modification of Fourth order Runge-Kutta Method for Kutta Form With Geometric Means
Kubik, 2020 This paper discuss how to modified Fourth order Runge-Kutta Kutta method based on the geometric mean. Then we have parameters and however by re-comparing the Taylor series expansion of and up to the 4th order. For make error term re-compering
Irma Suryani +3 more
doaj +1 more source
Pipelined Stochastic Gradient Descent with Taylor Expansion
Applied Sciences, 2023 Stochastic gradient descent (SGD) is an optimization method typically used in deep learning to train deep neural network (DNN) models. In recent studies for DNN training, pipeline parallelism, a type of model parallelism, is proposed to accelerate SGD ...
Bongwon Jang, Inchul Yoo, Dongsuk Yook
doaj +1 more source
Taylor expansion for matrix functions of vector variable using the Kronecker product
Vietnam Journal of Mechanics, 2019 Taylor expansion is one of the many mathematical tools that is applied in Mechanics and Engineering. In this paper, using the partial derivative of a matrix with respect to a vector and the Kronecker product, the formulae of Taylor series of vector ...
Nguyen Van Khang +2 more
doaj +1 more source
Newton series expansion of bosonic operator functions
SciPost Physics, 2021 We show how series expansions of functions of bosonic number operators are naturally derived from finite-difference calculus. The scheme employs Newton series rather than Taylor series known from differential calculus, and also works in cases where the ...
Jürgen König, Alfred Hucht
doaj +1 more source