Results 1 to 10 of about 75,847 (293)
On the Taylor Expansion of Probabilistic lambda-terms. [PDF]
, 2019 We generalise Ehrhard and Regnier’s Taylor expansion from pure to probabilistic lambda-terms. We prove that the Taylor expansion is adequate when seen as a way to give semantics to probabilistic lambda-terms, and that there is a precise correspondence with probabilistic Böhm trees, as introduced by the second author.
Ugo Dal Lago, Thomas Leventis
core +7 more sources
Taylor expansion for RBFs decomposition [PDF]
AIP Conference ProceedingsThe Taylor expansion is used to obtain an approximation of the inverse multiquadric radial basis function (IMRBF) interpolation matrix. The proposed approximation matrix allows an efficient computation of the action of the interpolation matrix, so it can be profitably used in the iterative solution of the interpolation system even if the original ...
Egidi N.
openaire +3 more sources
Taylor expansion for Call-By-Push-Value
, 2020 The connection between the Call-By-Push-Value lambda-calculus introduced by Levy and Linear Logic introduced by Girard has been widely explored through a denotational view reflecting the precise ruling of resources in this language. We take a further step in this direction and apply Taylor expansion introduced by Ehrhard and Regnier.
Jules Chouquet, Christine Tasson
openaire +4 more sources
Low-complexity channel estimation in massive MIMO based on Kaptyn series expansion
Dianxin kexue, 2016 In order to reduce the complexity of the massive MIMO channel estimation, a channel estimation method based on Kapteyn series expansion was proposed. By using Taylor series to expand the inversion, the complexity was greatly reduced.
Bing WANG +3 more
doaj +2 more sources
On maximal totally real embeddings
Complex ManifoldsWe consider complex structures with totally real zero section of the tangent bundle. We assume that the complex structure tensor is real-analytic along the fibers of the tangent bundle.
Pali Nefton
doaj +1 more source
ETRI JournalIn this study, a direct position tracking method for non-circular (NC) signals using distributed passive arrays is proposed. First, we calculate the initial positions of sources using a direct position determination (DPD) approach; next, we transform the
Jinke Cao, Xiaofei Zhang, Honghao Hao
doaj +1 more source
On the Convergence Order of Jarratt-Type Methods for Nonlinear Equations
AxiomsThe order of convergence for Jarratt-type methods in solving nonlinear equations is determined without relying on Taylor expansion. Unlike previous studies, we depend solely on assumptions about the derivatives of the involved operator up to the second ...
Shobha M. Erappa +4 more
doaj +1 more source
Beyond linear fields: the Lie-Taylor expansion. [PDF]
Proc Math Phys Eng Sci, 2017 Arter W.
europepmc +1 more source
Accelerated computation for 2D isogeometric acoustic model with ground reflection by integrating Taylor expansion and deep neural network. [PDF]
Sci ProgGao J, Ma H, Miao D, Yao R, Zhang Y.
europepmc +1 more source