Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

An easy method for handling the genus Phoneutria (Araneae, Ctenidae) for venom extraction

This paper describes an easy, cheap, and safe method of capturing and handling the medically important spider Phoneutria for venom extraction. The method does not injure or kill the spider and allows the extraction of pure venom.

Supporting content-based image retrieval and computer-aided diagnosis systems with association rule-based techniques

In this work, we take advantage of association rule mining to support two types of medical systems: the Content-based Image Retrieval (CBIR) systems and the Computer-Aided Diagnosis (CAD) systems. For content-based retrieval, association rules are employed to reduce the dimensionality of the feature vectors that represent the images and to improve the precision of the similarity queries. We refer to the association rule-based method to improve CBIR systems proposed here as Feature selection through Association Rules (FAR). To improve CAD systems, we propose the Image Diagnosis Enhancement through Association rules (IDEA) method. Association rules are employed to suggest a second opinion to the radiologist or a preliminary diagnosis of a new image. A second opinion automatically obtained can either accelerate the process of diagnosing or to strengthen a hypothesis, increasing the probability of a prescribed treatment be successful. Two new algorithms are proposed to support the IDEA method: to pre-process low-level features and to propose a preliminary diagnosis based on association rules. We performed several experiments to validate the proposed methods. The results indicate that association rules can be successfully applied to improve CBIR and CAD systems, empowering the arsenal of techniques to support medical image analysis in medical systems. (C) 2009 Elsevier B.V. All rights reserved.

An association rule-based method to support medical image diagnosis with efficiency

In this paper, we propose a method based on association rule-mining to enhance the diagnosis of medical images (mammograms). It combines low-level features automatically extracted from images and high-level knowledge from specialists to search for patterns. Our method analyzes medical images and automatically generates suggestions of diagnoses employing mining of association rules. The suggestions of diagnosis are used to accelerate the image analysis performed by specialists as well as to provide them an alternative to work on. The proposed method uses two new algorithms, PreSAGe and HiCARe. The PreSAGe algorithm combines, in a single step, feature selection and discretization, and reduces the mining complexity. Experiments performed on PreSAGe show that this algorithm is highly suitable to perform feature selection and discretization in medical images. HiCARe is a new associative classifier. The HiCARe algorithm has an important property that makes it unique: it assigns multiple keywords per image to suggest a diagnosis with high values of accuracy. Our method was applied to real datasets, and the results show high sensitivity (up to 95%) and accuracy (up to 92%), allowing us to claim that the use of association rules is a powerful means to assist in the diagnosing task.

The application of adaptive partitioned random search in feature selection problem

Feature selection is one of important and frequently used techniques in data preprocessing. It can improve the efficiency and the effectiveness of data mining by reducing the dimensions of feature space and removing the irrelevant and redundant information. Feature selection can be viewed as a global optimization problem of finding a minimum set of M relevant features that describes the dataset as well as the original N attributes. In this paper, we apply the adaptive partitioned random search strategy into our feature selection algorithm. Under this search strategy, the partition structure and evaluation function is proposed for feature selection problem. This algorithm ensures the global optimal solution in theory and avoids complete randomness in search direction. The good property of our algorithm is shown through the theoretical analysis.

Histological and histomorphometrical alterations of the periodontal ligament in gerbils submitted to teeth extraction

This study verified the effect of unilateral teeth extraction on the periodontal ligament in gerbils (Meriones unguiculatus). Ten adult male gerbils weighing about 50 g had induced occlusal alterations by upper left molar extractions while the other ten animals, only submitted to surgical stress, were considered as controls. The periodontal ligament was characterized by qualitative and quantitative analysis, histological description and histomorphometric quantification. Significant alterations were observed on the left side of the experimental group (P < 0.05), the hypofunctional region, when it was compared with the contralateral side and the corresponding region of the control group. Two months after occlusal alterations induced by unilateral teeth extraction, atrophic histological alterations and a decrease in the periodontal space on the ipsilateral side characterized the periodontal ligament. In this study it was possible to conclude that the gerbil can be used in experimental models attempting to correlate the periodontium`s biological response to various mechanical stresses, as the periodontal ligament was shown to be highly sensitive to occlusal alterations.

Bone crestal height and bone density after third-molar extraction and grafting: a long-term follow-up study

The objective of this study was to evaluate the long-term influence of xenogenic grafts on bone crestal height and radiographic density following extraction of teeth. The right and left third lower molars of 22 patients were surgically extracted, and one randomly chosen socket was filled with a xenogenic graft (Gent-Tech). The contralateral molar was left to heal naturally, serving as a paired control. Digital intraoral radiographies were taken at surgery and 2, 6, and 24 months after, to evaluate bone density (BD) and alveolar bone crest to cementoenamel junction distance. The data obtained were subjected to two-way analysis of variance and Tukey`s test (alpha = 0.05). The significant decrease in cementoenamel junction distance observed for both groups was limited to the first 6 months. BD values increased significantly in the first 6 months, with no alterations observed up to 24 months for both groups. BD was higher for the experimental group at all time points (p < 0.05). Socket grafting with the xenogenic materials tested did not changed bone crestal height and bone radiographic density in the long term.

Orthodontic-surgical treatment of Class III malocclusion with extraction of an impacted canine and multi-segmented maxillary surgery

Establishment of a treatment plan is based on efficacy and easy application by the clinician, and acceptance by the patient. Treatment of adult patients with Class III malocclusion might require orthognathic surgery, especially when the deformity is severe, with a significant impact on facial esthetics. Impacted teeth can remarkably influence treatment planning, which should be precise and concise to allow a reasonably short treatment time with low biologic cost. We report here the case of a 20-year-old man who had a skeletal Class III malocclusion and impaction of the maxillary right canine, leading to remarkable deviation of the maxillary midline; this was his chief complaint. Because of the severely deviated position of the impacted canine, treatment included extraction of the maxillary right canine and left first premolar for midline correction followed by leveling, alignment, correction of compensatory tooth positioning, and orthognathic surgery to correct the skeletal Class III malocclusion because of the severe maxillary deficiency. This treatment approach allowed correction of the maxillary dental midline discrepancy to the midsagittal plane and establishment of good occlusion and optimal esthetics. (Am J Orthod Dentofacial Orthop 2010;137:840-9)

Strategic maxillary second-molar extraction in Class II malocclusion

Maxillary second-molar extraction in Class II malocclusion is a controversial issue in orthodontics. This treatment protocol is rigorous and not routine. In this case report, we present the orthodontic treatment of a patient with a Class II malocclusion, maxillary crowding, and no mandibular first molars, treated with extraction of the maxillary second molars. The mechanotherapy and indications of maxillary second- molar extraction are discussed. (Am J Orthod Dentofacial Orthop 2009;136:878-86)

Long-term stability of Class II malocclusion treated with 2-and 4-premolar extraction protocols

Introduction: The objective of this study was to cephalometrically compare the stability of complete Class II malocclusion treatment with 2 or 4 premolar extractions after a mean period of 9.35 years. Methods: A sample of 57 records from patients with complete Class II malocclusion was selected and divided into 2 groups. Group 1 consisted of 30 patients with an initial mean age of 12.87 years treated with extraction of 2 maxillary premolars. Group 2 consisted of 27 patients with an initial mean age of 13.72 years treated with extraction of 4 premolars. T tests were used to compare the groups` initial cephalometric characteristics and posttreatment changes. Pearson correlation coefficients were calculated to determine the correlation between treatment and posttreatment dental-relationship changes. Results: During the posttreatment period, both groups had similar behavior, except that group 1 had a statistically greater maxillary forward displacement and a greater increase in the apical-base relationship than group 2. On the other hand, group 2 had a statistically greater molar-relationship relapse toward Class II. There were significant positive correlations between the amounts of treatment and posttreatment dentoalveolar-relationship changes. Conclusions: Treatment of complete Class II malocclusions with 2 maxillary premolar extractions or 4 premolar extractions had similar long-term posttreatment stability. (Am J Orthod Dentofacial Orthop 2009;136:154.e1-154.e10)

Influence of cephalometric characteristics on the occlusal success rate of Class II malocclusions treated with 2-and 4-premolar extraction protocols

Introduction: The objectives of this investigation were to compare the initial cephalometric characteristics of complete Class II Division 1 malocclusions treated with 2 or 4 premolar extractions and to verify their influence on the occlusal success rate of these treatment protocols. Methods: A sample of 98 records from patients with complete Class II Division 1 malocclusion was divided into 2 groups with the following characteristics: group 1 consisted of 55 patients treated with 2 maxillary first premolar extractions at an initial mean age of 13.07 years; group 2 included 43 patients treated with 4 premolar extractions, with an initial mean age of 12.92 years. Initial and final occlusal statuses were evaluated on dental casts with Grainger`s treatment priority index (TPI), and the initial cephalometric characteristics were obtained from the pretreatment cephalograms. The initial cephalometric characteristics and the initial and final occlusal statuses of the groups were compared with the t test. A multiple regression analysis was used to evaluate the influence of all variables in the final TPI. Results: The 2-premolar extraction protocol provided a statistically smaller TPI and consequently a better occlusal success rate than the 4-premolar extraction protocol. The 4-premolar extraction group had statistically smaller apical base lengths, more vertical facial growth patterns, and greater hard- and soft-tissue convexities at pretreatment than the 2-premolar extraction group. However, the multiple regression analysis showed that only the extraction protocol was significantly associated with the final occlusal status. Conclusions: The initial cephalometric characteristics of the groups did not influence the occlusal success rate of these 2 treatment protocols.