The annotated bibliography highlights work in the area of algorithmic test generation from formal speci cations with guaranteed fault coverage, i.e., fault model-driven test derivation. A fault model is understood as a triple, comprising a nite state speci cation, conformance relation and fault domain that is the set of possible implementations. The fault model can be specialized to Input/Outpu...

introduction: the purpose of this study was to evaluate the sealing ability of 3 obturation techniques in oval-shaped canals by bacterial leakage assessment. methods: sixty mandibular incisors with oval canals were selected after providing buccolingual and mesiodistal radiographs. the teeth were sectioned at a 10 mm distance from the apex. after instrumentation, the teeth were divided into 3 gr...

Within the Phenacoccinae (Hemiptera: Coccoidea: Pseudococcidae), there are four nominal genera that include species with clusters or groups of multilocular disc pores and/or oral collar tubular ducts of more than one size, namely Peliococcus Borchsenius (= Spinococcus Borchsenius and Eupeliococcus Săvescu), Peliococcopsis Borchsenius, Erimococcus Ezzat, and Seyneria Goux. This study analysed mo...

A.V. Artamonov, B. Bassalleck, B. Bhuyan, ∗ E.W. Blackmore, D.A. Bryman, S. Chen, † I-H. Chiang, I.-A. Christidi, P.S. Cooper, M.V. Diwan, J.S. Frank, T. Fujiwara, J. Hu, D.E. Jaffe, S. Kabe, S.H. Kettell, M.M. Khabibullin, A.N. Khotjantsev, P. Kitching, ‡ M. Kobayashi, T.K. Komatsubara, A. Konaka, A.P. Kozhevnikov, Yu.G. Kudenko, A. Kushnirenko, § L.G. Landsberg, B. Lewis, K.K. Li, L.S. Litten...

We introduce two generalized condensation principles: Local Club Condensation and Stationary Condensation. We show that while Strong Condensation (a generalized Condensation principle introduced by Hugh Woodin in [19]) is inconsistent with an ω1-Erdős cardinal, Stationary Condensation and Local Club Condensation (which should be thought of as weakenings of Strong Condensation) are both consiste...

statement of problem: when a tooth is treated endodontically, there are several objectives, which must be met for the root canal therapy to be successful. one of those objectives is the complete obturation of the root canal system. purpose: the purpose of this study was to evaluate the apical sealability of the theramfil endodontic obturation technique and compared it with lateral condensation....