Results 11 to 20 of about 75,717 (294)
TheoretiCSWe introduce a calculus of extensional resource terms. These are resource terms à la Ehrhard-Regnier, but in infinitely eta-long form. The calculus still retains a finite syntax and dynamics: in particular, we prove strong confluence and normalization.
Lison Blondeau-Patissier +2 more
openaire +3 more sources
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 +5 more sources
Taylor Expansion for Generalized Functions
Journal of Mathematical Analysis and Applications, 1996 The author considers the following asymptotic Taylor expansion for a distribution \(f\in{\mathcal D}'\) on the straight line \(\{ hy;\;h\in{\mathbf R}\}, \;y\in{\mathbf R}^{n}\): \[ f(x+\varepsilon y)\sim\sum_{|k|=0}^{\infty} {{D^{k}f(x)}\over {k!}}(\varepsilon y)^{k},\;\text{as} \;\varepsilon\rightarrow 0\tag{1} \] introduced in [\textit{R.
Stanković, B.
openaire +2 more sources
Coherent Taylor expansion as a bimonad
Mathematical Structures in Computer ScienceAbstract We extend the recently introduced setting of coherent differentiation by taking into account not only differentiation but also Taylor expansion in categories which are not necessarily (left) additive. The main idea consists in extending summability into an infinitary functor which intuitively maps any object to the object of its countable ...
Ehrhard, Thomas, Walch, Aymeric
openaire +5 more sources
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 +5 more sources
Taylor Expansion, lambda-Reduction and Normalization.
, 2017 We introduce a notion of reduction on resource vectors, i.e. infinite linear combinations of resource lambda-terms. The latter form the multilinear fragment of the differential lambda-calculus introduced by Ehrhard and Regnier, and resource vectors are the target of the Taylor expansion of lambda-terms.
Vaux, Lionel
openaire +4 more sources
Taylor expansion for RBFs decomposition
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
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