Calculus analysis with calculus photography:Imp:Pt:Calculus:Nom

BACKGROUND Correct diagnosis of the presence and extent of subgingival calculus is important for periodontal treatment planning… (More)

 

BACKGROUND It has been suggested that the 655 nm InGaAsP diode laser radiation can induce considerably higher amounts of… (More)

Supragingival calculus is frequent in all ages from adolescence to old age. The influence of tobacco smoking on the occurrence… (More)

We introduce the spi calculus, an extension of the pi calculus designed for describing and analyzing cryptographic protocols. We… (More)

We extend Belnap's Display Logic to give a cut-free Gentzen-style calculus for relation algebras. The calculus gives many… (More)

The effectiveness of a newly-developed Er:YAG laser with a fiber delivery system to remove subgingival calculus was examined in… (More)

We present a translation of Parigot’s λμ-calculus [10] into the usual λ-calculus. This translation, which is based on the so… (More)

In Milner's polyadic π-calculus there is a notion of sorts which is analogous to the notion of types in functional programming… (More)

The present paper introduces a typing system for a version of Milner's polyadic calculus, and a typing inference algorithm linear… (More)