Results 31 to 40 of about 203,888 (281)
A new graphical calculus of proofs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We offer a simple graphical representation for proofs of intuitionistic logic, which is inspired by proof nets and interaction nets (two formalisms originating in linear logic).
Sandra Alves +2 more
doaj +1 more source
Map Calculus in GIS: a proposal and demonstration [PDF]
, 2004 This paper provides a new representation for fields (continuous surfaces) in Geographical Information Systems (GIS), based on the notion of spatial functions and their combinations.
Haklay, M
core +1 more source
Taylor Functional Calculus [PDF]
, 2014 The notion of spectrum of an operator is one of the central concepts of operator theory. It is closely connected with the existence of a functional calculus which provides important information about the structure of Banach space operators.The situation for commuting n -tuples of Banach space operators is much more complicated.
openaire +2 more sources
Uniqueness of Taylor’s functional calculus [PDF]
Proceedings of the American Mathematical Society, 1983 Two uniqueness results concerning Fréchet module structures over algebras of holomorphic functions defined on some complex manifolds are presented, containing as particular cases uniqueness theorems for J. L. Taylor’s analytic functional calculi for commuting n n -tuples of linear continuous operators on Fréchet spaces [7], [9]. Namely,
openaire +2 more sources
The Bang Calculus and the Two Girard's Translations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We study the two Girard's translations of intuitionistic implication into linear logic by exploiting the bang calculus, a paradigmatic functional language with an explicit box-operator that allows both call-by-name and call-by-value lambda-calculi to be ...
Giulio Guerrieri, Giulio Manzonetto
doaj +1 more source
Functional Calculus and Positive-Definite Functions [PDF]
Transactions of the American Mathematical Society, 1977 For a LCA group G with dual group Ĝ, let D ( G ) = D ( G ^ ) D(G) = D(\hat G) denote the convex (not closed) hull of { ⟨ x , γ ⟩ : x ∈ G , γ ∈
openaire +1 more source
Functional calculus for generators of analytic semigroups of operators
Karpatsʹkì Matematičnì Publìkacìï, 2013 We construct a functional calculus for generators of one-parameter bounded analytic semigroups of operators on a Banach space. The calculus symbol class consist of the Laplace image of the convolution algebra $\cal S'_+$ of tempered distributions with ...
O. V. Lopushansky, S. V. Sharyn
doaj +1 more source
Fractional Calculus via Functional Calculus: Theory and Applications
Nonlinear Dynamics, 2002 The paper demonstrates the power of the functional calculus definition of linear fractional differential operators via generalized Fourier transforms. The solutions are presented as convolutions of the input functions with the related impulse responses. Some examples are presented.
Kempfle, S., Schäfer, I., Beyer, H.
openaire +3 more sources
Operator representations of function algebras and functional calculus [PDF]
Opuscula Mathematica, 2011 This paper deals with some operator representations \(\Phi\) of a weak*-Dirichlet algebra \(A\), which can be extended to the Hardy spaces \(H^{p}(m)\), associated to \(A\) and to a representing measure \(m\) of \(A\), for \(1\leq p\leq\infty\).
Adina Juratoni, Nicolae Suciu
doaj +1 more source
An inverse of the evaluation functional for typed Lambda-calculus [PDF]
, 1991 In any model of typed λ-calculus conianing some basic arithmetic, a functional p - * (procedure—* expression) will be defined which inverts the evaluation functional for typed X-terms, Combined with the evaluation functional, p-e yields an efficient ...
Berger, Ulrich +2 more
core +1 more source