Results 31 to 40 of about 4,689,287 (347)
The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus [PDF]
Logical Methods in Computer Science, 2009 In a functional calculus, the so called \Omega-rule states that if two terms P and Q applied to any closed term N return the same value (i.e. PN = QN), then they are equal (i.e. P = Q holds).
Benedetto Intrigila, Richard Statman
doaj +1 more source
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
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
Microbiome, 2019 Background Dental calculus, calcified oral plaque biofilm, contains microbial and host biomolecules that can be used to study historic microbiome communities and host responses. Dental calculus does not typically accumulate as much today as historically,
Irina M. Velsko +10 more
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
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
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
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
Non-commutative Calculus, Optimal Transport and Functional Inequalities in Dissipative Quantum Systems [PDF]
Journal of statistical physics, 2018 We study dynamical optimal transport metrics between density matrices associated to symmetric Dirichlet forms on finite-dimensional $$C^*$$ C ∗ -algebras.
E. Carlen, J. Maas
semanticscholar +1 more source
Polynomial as a new variable - a Banach algebra with a functional calculus [PDF]
, 2015 Given any square matrix or a bounded operator $A$ in a Hilbert space such that $p(A)$ is normal (or similar to normal), we construct a Banach algebra, depending on the polynomial $p$, for which a simple functional calculus holds.
O. Nevanlinna
semanticscholar +1 more source