Results 11 to 20 of about 203,888 (281)
Microbial differences between dental plaque and historic dental calculus are related to oral biofilm maturation stage [PDF]
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 +5 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 +4 more sources
Quantitative functional calculus in Sobolev spaces [PDF]
Journal of Function Spaces and Applications, 2004 In the frame work of Sobolev (Bessel potential) spaces Hn(Rd,R or C), we consider the nonlinear Nemytskij operator sending a function x∈Rd↦f(x) into a composite function x∈Rd↦G(f(x),x).
Carlo Morosi, Livio Pizzocchero
doaj +7 more sources
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
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
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
Transactions of the London Mathematical Society, 2022 We construct a new topology on the space of stopped paths and introduce a calculus for causal functionals on generic domains of this space. We propose a generic approach to pathwise integration without any assumption on the variation index of a path and obtain functional change of variable formulas which extend the results of \follmer\ (1981) and Cont \
Chiu, Henry, Cont, Rama
openaire +5 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