Results 1 to 10 of about 20,650 (265)
Compositional Changes and Comparative Analysis of Oral Microbial Community During the Formation of Canine Dental Calculus [PDF]
AnimalsPeriodontal disease remains a prevalent clinical condition in dogs, significantly impacting the quality of life of affected animals. Dental calculus is closely associated with periodontal disease, primarily because it serves as a reservoir for dental ...
Liwei Zeng +7 more
doaj +2 more sources
Relating Functional and Imperative Session Types [PDF]
Logical Methods in Computer Science, 2022 Imperative session types provide an imperative interface to session-typed communication. In such an interface, channel references are first-class objects with operations that change the typestate of the channel.
Hannes Saffrich, Peter Thiemann
doaj +1 more source
Fréchet differential of a power series in Banach algebras [PDF]
Opuscula Mathematica, 2010 We present two new forms in which the Fréchet differential of a power series in a unitary Banach algebra can be expressed in terms of absolutely convergent series involving the commutant \(C(T) : A \mapsto [A,T]\).
Benedetto Silvestri
doaj +1 more source
Quaternions and Functional Calculus [PDF]
Symmetry, 2019 In this paper, we develop the notion of generalized characters and a corresponding Gelfand theory for quaternionic C * -algebras. These are C*-algebras whose structure permits an action of the quaternions. Applications are made to functional calculus, and we develop an S-functional calculus related to what we term structural regular functions.
Elham Ghamari, Dan Kučerovský
openaire +1 more source
The untyped stack calculus and Bohm's theorem [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The stack calculus is a functional language in which is in a Curry-Howard correspondence with classical logic. It enjoys confluence but, as well as Parigot's lambda-mu, does not admit the Bohm Theorem, typical of the lambda-calculus.
Alberto Carraro
doaj +1 more source
Sheaves and functional calculus [PDF]
Pacific Journal of Mathematics, 1990 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Deferrari, G. +2 more
openaire +3 more sources
Operator calculus on the class of Sato’s hyperfunctions
Karpatsʹkì Matematičnì Publìkacìï, 2013 We construct a functional calculus for generators of analytic semigroups of operators on a Banach space. The symbol class of the calculus consists of hyperfunctions with a compact support in $[0,\infty)$.
M.I. Patra, S.V. Sharyn
doaj +3 more sources
Calculus of functional centrality
CoRR, 2023 In this document, we present another perspective for the calculus of optimal geometrical primitives and functions according to the centrality requirements. The shortest paths expressed in spatial and temporal domains are studied. We show the effectiveness of this formulation by providing solutions that cannot be easily accessed by classical formulation
openaire +2 more sources
Control Flow Analysis for SF Combinator Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Programs that transform other programs often require access to the internal structure of the program to be transformed. This is at odds with the usual extensional view of functional programming, as embodied by the lambda calculus and SK combinator ...
Martin Lester
doaj +1 more source
A useful algebra for functional calculus [PDF]
Mathematica Bohemica, 2019 We show that some unital complex commutative LF-algebra of ${\mathcal{C}}^{(\infty)}$ $\mathbb{N}$-tempered functions on $\mathbb{R}^+$ (M. Hemdaoui, 2017) equipped with its natural convex vector bornology is useful for functional calculus.
Mohammed Hemdaoui
doaj +1 more source