Results 21 to 30 of about 26,719 (309)
A Calculus of Bounded Capacities [PDF]
, 2003 Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed
V. Sassone +14 more
core +1 more source
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
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
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 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
A calculus for overloaded functions with subtyping
Proceedings of the 1992 ACM conference on LISP and functional programming, 1992 We present a simple extension of typed λ-claculus where functions can be overloaded by adding different “pieces of code”. In short, the code of an overloaded function is formed by several branches of code; the branch to execute is chosen, when the function is applied, according to a particular selection rule which ...
CASTAGNA G., GHELLI, GIORGIO, LONGO G.
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
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
openaire +2 more sources
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
Vector–valued functional calculus for a convolution algebra of distributions on cone [PDF]
Математичні Студії, 2011 For {the} Fourier image $widehat{D}'_Gamma$ of {the} algebra $D'_Gamma$ of the distributions with supports on {a}cone $Gamma$ the functional calculus for generators of$n$--parametric $(C_o)$--semigroups of operators is determined.
O. V. Lopushansky +2 more
doaj