Proving Temporal Properties of Z Specifications Using Abstraction

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.

Assessment of the Availability of Bone Volume for Grafting in the Donor Retromolar Region Using Computed Tomography: A Pilot Study

Purpose: The purpose of this study was to evaluate the area and volume of bone available for grafting in a donor retromolar region using computed tomography (CT). Materials and Methods: Ten patients previously scanned by multislice CT were selected for evaluation. Images from partially and completely dentate patients at least 18 years of age were included in the study; those from patients with impacted or erupted third molars or intrabony lesions in the study area were not included. Computer software with appropriate tools was used to handle the images. Two calibrated observers made measurements separately. Safety margins in relation to the lingual cortex, the base of mandible, and the alveolar canal were established in each cross-section of the CTs. Measurements were done by using cross-sectional views, and the results were calculated after three-dimensional reconstruction, providing area and volume data. Results: The mean area of bone available for grafting was 8.12 cm(2) ( range, 0.00 to 13.60 cm(2)) and 8.32 cm(2) ( range, 0.00 to 14.30 cm(2)) for observers 1 and 2, respectively. Mean available bone volume for grafting was 0.79 cm(3) ( range, 0.00 to 1.50 cm(3)) for observer 1 and 0.85 cm(3) ( range, 0.00 to 1.60 cm(3)) for observer 2. Interobserver analysis showed substantial agreement. Conclusion: The retromolar region showed a wide variety of anatomic differences among patients. Three-dimensional multislice CT allows reproducible measurements of the area and volume of the retromolar region. Int J Oral Maxillofac Implants 2010; 25: 374-378

Assessment of linear measurements of bone for implant sites in the presence of metallic artefacts using cone beam computed tomography and multislice computed tomography

The objective was to evaluate the influence of dental metallic artefacts on implant sites using multislice and cone-beam computed tomography techniques. Ten dried human mandibles were scanned twice by each technique, with and without dental metallic artefacts. Metallic restorations were placed at the top of the alveolar ridge adjacent to the mental foramen region for the second scanning. Linear measurements (thickness and height) for each cross-section were performed by a single examiner using computer software. All mandibles were analysed at both the right and the left mental foramen regions. For the multislice technique, dental metallic artefact produced an increase of 5% in bone thickness and a reduction of 6% in bone height; no significant differences (p > 0.05) were detected when comparing measurements performed with and without metallic artefacts. With respect to the cone-beam technique, dental metallic artefact produced an increase of 6% in bone thickness and a reduction of 0.68% in bone height. No significant differences (p > 0.05) were observed when comparing measurements performed with and without metallic artefacts. The presence of dental metallic artefacts did not alter the linear measurements obtained with both techniques, although its presence made the location of the alveolar bone crest more difficult.

Efficacy of Profile .04 taper series 29 in removing filling materials during root canal retreatment-an in vitro study

Objective. The aim of this study was to compare Profile .04 taper series 29 instruments and hand files for gutta-percha removal. Study design. Twenty maxillary central incisors with a single straight canal were instrumented and filled. The teeth were divided into 2 groups of 10 specimens each, according to gutta-percha removal techniques: Group 1- Profile series 29 and Group 2- hand files and solvent. The amount of time for gutta-percha removal and the number of fractured instruments were evaluated. Radiographs were taken and the teeth were grooved longitudinally and split. The area of residual debris was measured using computer software. Results. The time for filling material removal was significantly shorter when Profile series 29 was used (P = .00). Regarding cleanliness, there were no statistical differences in the teeth halves evaluations (P = .05). Hand instruments cleaned the canals significantly better than Profiles, in the radiographic analysis considering the whole canal. Overall, the radiographic analysis showed a smaller percentage of residual debris than the teeth halves analysis. Conclusion. The Profile series 29 instruments proved to be faster than hand instruments in removing root filling materials; however, hand instruments yielded better root canal cleanliness. Some residual debris was not visualized by radiographs. (Oral Surg Oral Med Oral Pathol Oral Radiol Endod 2009; 108: e46-e50)

Telehealth in audiology: The need and potential to reach underserved communities

Permanent hearing loss is a leading global health care burden, with 1 in 10 people affected to a mild or greater degree. A shortage of trained healthcare professionals and associated infrastructure and resource limitations mean that hearing health services are unavailable to the majority of the world population. Utilizing information and communication technology in hearing health care, or tele-audiology, combined with automation offer unique opportunities for improved clinical care, widespread access to services, and more cost-effective and sustainable hearing health care. Tele-audiology demonstrates significant potential in areas such as education and training of hearing health care professionals, paraprofessionals, parents, and adults with hearing disorders; screening for auditory disorders; diagnosis of hearing loss; and intervention services. Global connectivity is rapidly growing with increasingly widespread distribution into underserved communities where audiological services may be facilitated through telehealth models. Although many questions related to aspects such as quality control, licensure, jurisdictional responsibility, certification and reimbursement still need to be addressed; no alternative strategy can currently offer the same potential reach for impacting the global burden of hearing loss in the near and foreseeable future.

The effects of information request ambiguity and construct incongruence on query development

This paper examines the effects of information request ambiguity and construct incongruence on end user's ability to develop SQL queries with an interactive relational database query language. In this experiment, ambiguity in information requests adversely affected accuracy and efficiency. Incongruities among the information request, the query syntax, and the data representation adversely affected accuracy, efficiency, and confidence. The results for ambiguity suggest that organizations might elicit better query development if end users were sensitized to the nature of ambiguities that could arise in their business contexts. End users could translate natural language queries into pseudo-SQL that could be examined for precision before the queries were developed. The results for incongruence suggest that better query development might ensue if semantic distances could be reduced by giving users data representations and database views that maximize construct congruence for the kinds of queries in typical domains. (C) 2001 Elsevier Science B.V. All rights reserved.

An in vitro study of non-axial forces upon the retention of an O-ring attachment

Objective The purpose of this study was to evaluate the retention force of an O-ring attachment system in different inclinations to the ideal path of insertion, using devices to compensate angulations. Material and methods Two implants were inserted into an aluminum base, and ball attachments were screwed to implants. Cylinders with O-rings were placed on ball attachments and connected to the test device using positioners to compensate implant angulations (0 degrees, 7 degrees, and 14 degrees). Plexiglass bases were used to simulate implant angulations. The base and the test device were positioned in a testing apparatus, which simulated insertion/removal of an overdenture. A total of 2900 cycles, simulating 2 years of overdenture use, were performed and 36 O-rings were tested. The force required for each cycle was recorded with computer software. Longitudinal sections of ball attachment-positioner-cylinder with O-rings of each angulation were obtained to analyze the relationship among them, and O-ring sections tested in each angulation were compared with an unused counterpart. A mixed linear model was used to analyze the data, and the comparison was performed by orthogonal contrasts (alpha=0.05). Results At 0 degrees, the retention force decreased significantly over time, and the retention force was significantly different in all comparisons, except from 12 to 18 months. When the implants were positioned at 7 degrees, the retention force was statistically different at 0 and 24 months. At 14 degrees, significant differences were found from 6 and 12 to 24 months. Conclusions Within the limitations of this study, it was concluded that O-rings for implant/attachments perpendicular to the occlusal plane were adequately retentive over the first year and that the retentive capacity of O-ring was affected by implant inclinations despite the proposed positioners. To cite this article:Rodrigues RCS, Faria ACL, Macedo AP, Sartori IAM, de Mattos MGC, Ribeiro RF. An in vitro study of non-axial forces upon the retention of an O-ring attachment.Clin. Oral Impl. Res. 20, 2009; 1314-1319.doi: 10.1111/j.1600-0501.2009.01742.x.