Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Cultural consonance and adult body composition in urban Brazil

In previous research in Brazil, we found socioeconomic and gender differences in body mass and percent body fat, consistent with a model in which individuals in higher socioeconomic strata, especially women, could achieve a cultural ideal of body size and shape. In this article, using new data, we examine these processes more precisely using measures of cultural consonance. Cultural consonance refers to the degree to which individuals approximate, in their own beliefs and behaviors, the shared prototypes for belief and behavior encoded in cultural models. We have found higher cultural consonance in several domains to be associated with health outcomes. Furthermore, there tends to be a general consistency in cultural consonance across domains. Here we suggest that measures of body composition can be considered indicators of individuals` success in achieving cultural ideals of the body, and that cultural consonance in several domains will be associated with body composition. Using waist circumference as an outcome, smaller waist size was associated with higher cultural consonance in lifestyle (beta = -0.311, P < 0.01) and higher cultural consonance in the consumption of high prestige foods (beta = -0.260, P < 0.01) for women (n = 161), but not for men (n = 106), controlling for age, family income, tobacco use, and dietary intake of protein and carbohydrates. Similar results were obtained using the body mass index and weight as outcomes, while there were no associations with height. These results help to illuminate the cultural mediation of body composition.

Influence of third-generation oral contraceptives on the complexity analysis and symbolic dynamics of heart rate variability

Objective To evaluate the influence of oral contraceptives (OCs) containing 20 mu mu g ethinylestradiol (EE) and 150 mu mu g gestodene (GEST) on the autonomic modulation of heart rate (HR) in women. Methods One-hundred and fifty-five women aged 24 +/-+/- 2 years were divided into four groups according to their physical activity and the use or not of an OC: active-OC, active-non-OC (NOC), sedentary-OC, and sedentary-NOC. The heart rate was registered in real time based on the electrocardiogram signal for 15 minutes, in the supine-position. The heart rate variability (HRV) was analysed using Shannon`s entropy (SE), conditional entropy (complexity index [CInd] and normalised CInd [NCI]), and symbolic analysis (0V%, 1V%, 2LV%, and 2ULV%). For statistical analysis the Kruskal-Wallis test with Dunn post hoc and the Wilcoxon test (p < 0.05 was considered significant) were applied. Results Treatment with this COC caused no significant changes in SE, CInd, NCI, or symbolic analysis in either active or sedentary groups. Active groups presented higher values for SE and 2ULV%, and lower values for 0V% when compared to sedentary groups (p < 0.05). Conclusion HRV patterns differed depending on life style; the non-linear method applied was highly reliable for identifying these changes. The use of OCs containing 20 mu mu g EE and 150 mu mu g GEST does not influence HR autonomic modulation.

Thyroid gland and cerebella lesions: New risk factors for sudden cardiac death in schizophrenia?

People with schizophrenia show a two to threefold increased risk to die prematurely than those without schizophrenia. Patients` life style, suicide, premature development of cardiovascular disease, high prevalence of metabolic syndrome and sudden cardiac death are well-known causes of the excess mortality. The exact pathophysiological cause of sudden death in schizophrenia is unknown, but it is likely that cardiac arrhythmia and respiratory abnormalities play potential role. Some antipsychotics may be associated with cardiovascular adverse events (e.g., QT interval prolongation) and lesions in specific brain regions, such as cerebella may be associated with respiratory abnormalities, suggesting that metabolic and brain dysfunction could lead to sudden cardiac death in patients with schizophrenia. However, exact knowledge regarding the association of these findings and schizophrenia is lacking. As subclinical hyperthyroidism has been linked with increased risk of cardiovascular disease and cerebella progressive atrophy has been observed in patients with schizophrenia, we propose in this paper that subclinical thyroid dysfunction and cerebella volume loss could be considered as new risk factor for sudden cardiac death in schizophrenia. (C) 2010 Elsevier Ltd. All rights reserved.

Oral Myiasis in a Captive Hippopotamus

Causes of dental infections can be related to failed dental eruption, malocclusion, abrasion, fractures with or without exposure of the dental pulp, and periodontal disease. Reports of oral myiasis in megavertebrates in captivity air infrequent, perhaps due to the difficulty in observing the oral cavity in such species. This report describes a case of oral myiasis in an adult male hippopotamus in the gingival area and alveolar mucosa of the left mandibular canine tooth. J Vet Dent 26 (3); 168 170,2009

Oral and Dental Abnormalities in Barber-Say Syndrome

A previously unreported case of Barber Say syndrome is described with special attention to dental manifestations. A 7-year-old female with multiple congenital anomalies such mammary gland hypoplasia, hypertrichosis, ectropion, and redundant skin was seen at the School of Dentistry of the University of Sao Paulo. Oral examination revealed macrostomia, broad alveolar ridges, gingival fibromatosis, taurodontism, delayed tooth eruption, and malocclusion. Dental treatment included gingivoplasty and orthodontic treatment. (C) 2010 Wiley-Liss, Inc.

Resource entitlements of indigenous minorities, their poverty and conservation of nature: Status of Australian Aborigines, comparisons with India's tribals, theory and changing policies globally

Considers the relevance of A.K. Sen’s theory of entitlements to the situation facing indigenous tribal people, its relationship to institutionalism, and to theories of property rights. Changing world views about the resource entitlements that should be given to local communities are outlined concentrating on the views expressed by the World Conservation Union (IUCN). These changing views have relevance for the resource entitlements of indigenous tribal communities and are reflected in differences in the policy approaches inherent in the Convention on International Trade in Endangered Species (CITES) and the more recent Convention on Biological Diversity. The latter embodies the view that provision of greater resource entitlements to local communities can provide economic incentives for nature conservation. There is a case for Indigenous Australians to be given greater rights to market the natural produce from their lands. Despite progress with land rights, they are not entitled to market much of the natural produce from their land. The socioeconomic status of Australian Aborigines is outlined. Their standard of living and their life expectancy are low by world standards and in comparison to other Australians. This is partly a result of historical events that have restricted their rights. These events are outlined briefly. Views differ about the appropriate development paths for Indigenous Australians and these are assessed. Concern on environmental and economic grounds is expressed about the view that the economic development of Australian Aboriginal communities would be accelerated by replacing their communal land titles by private land titles and encouraging Western-style agriculture and commercial development of their lands. Some comparisons are also made with the situation of India’s Tribals.

Orthodontic therapy in patients with pericoronal hamartoma

Pericoronal lesions are undesirable for dental eruption, and they are always associated with unerupted teeth. Pericoronal lesions are common and are usually treated by extraction of the permanent tooth. Pericoronal hamartoma is a special type of pericoronal lesion, and little information about it is available in the orthodontic literature. This report presents a patient with pericoronal hamartoma on the mandibular left permanent first molar who had orthodontic treatment. Because of the similarity of the radiographic radiolucency of pericoronal hamartoma and other lesions, a differential diagnosis must be made to avoid extraction of permanent teeth.

Agenesis of maxillary lateral incisors and associated dental anomalies

Introduction: The objectives of this study were to evaluate the prevalence of dental anomalies in patients with agenesis of maxillary lateral incisors and to compare the findings with the prevalence of these anomalies in the general population. Methods: A sample of 126 patients, aged 7 to 35 years, with agenesis of at least 1 maxillary lateral incisor was selected. Panoramic and periapical radiographs and dental casts were used to analyze other associated dental anomalies, including agenesis of other permanent teeth, ectopia of unerupted permanent teeth, microdontia of maxillary lateral incisors, and supernumerary teeth. The occurrence of these anomalies was compared with prevalence data previously reported for the general population. Statistical testing was performed with the chi-square test (P<0.05) and the odds ratio. Results: Patients with maxillary lateral incisor agenesis had a significantly increased prevalence rate of permanent tooth agenesis (18.2%), excluding the third molars. The occurrence of third-molar agenesis in a subgroup aged 14 years or older (n = 76) was 35.5%. The frequencies of maxillary second premolar agenesis (10.3%), mandibular second premolar agenesis (7.9%), microdontia of maxillary lateral incisors (38.8%), and distoangulation of mandibular second premolars (3.9%) were significantly increased in our sample compared with the general population. In a subgroup of patients aged 10 years or older (n = 115), the prevalence of palatally displaced canines was elevated (5.2%). The prevalences of mesioangulation of mandibular second molars and supernumerary teeth were not higher in the sample. Conclusions: Permanent tooth agenesis, maxillary lateral incisor microdontia, palatally displaced canines, and distoangulation of mandibular second premolars are frequently associated with maxillary lateral incisor agenesis, providing additional evidence of a genetic interrelationship in the causes of these dental anomalies. (Am J Orthod Dentofacial Orthop 2010;137:732.e1-732.e6)

Management of a permanent tooth after trauma to deciduous predecessor: an evaluation by cone-beam computed tomography

Impaction of permanent teeth represents a clinical challenge with regard to diagnosis, treatment plan, and prognosis. There is a close relationship between deciduous teeth and permanent teeth germ, and any injury in the deciduous dentition may influence the permanent teeth eruption. The extent of the damage caused to the permanent teeth germ depends on the patient age at the time of injury, type of trauma, severity, and direction of the impact. Conventional radiographic images are frequently used for diagnosis; however, recent developments in three-dimensional (3D) imaging systems have enabled dentistry to visualize structural changes effectively, with better contrast and more details, close to the reality. The cone-beam computed tomography (CBCT) has been used in the diagnosis and treatment plan of these impacted teeth. The purpose of the present case report is to describe a successful conservative management of a retained permanent maxillary lateral incisor with delayed root development after a trauma through the deciduous predecessor in a 9 year-old patient. After clinical and radiographic examination, a CBCT examination of the maxilla was requested to complement the diagnosis, providing an accurate 3D position of the retained tooth and its relationship to adjacent structures. The proposed treatment plan was the surgical exposure and orthodontic traction of the retained tooth. The lateral incisor spontaneously erupted after 6 months. Therefore, this case report suggests that permanent teeth with incomplete root formation have a great potential for spontaneous eruption because no tooth malposition or mechanical obstacles are observed.

Lateral open bite: Treatment and stability

Because of their multifactorial etiologies, dental and skeletal open bites are among the most difficult malocclusions to treat to a successful and stable result. Etiologic factors include vertical maxillary excess, skeletal pattern, abnormalities in dental eruption, and tongue-thrust problems. The purpose of this article was to report the treatment of an adult patient with a lateral open bite and a unilateral posterior crossbite. The treatment involved nonextraction therapy, including intermaxillary elastics, to obtain dentoalveolar extrusion in the region of the lateral open bite. The treatment results were successful and remained stable 2 years later. (Am J Orthod Dentofacial Orthop 2010;137:701-11)

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)

Cross-Sectional Hardness of Enamel from Human Teeth at Different Posteruptive Ages

This study evaluated, by cross-sectional hardness (CSH), enamel maturation at different depths in sound human teeth at different posteruptive ages (12 per age group): unerupted (molars; control), 2-3 years (premolars), 4-10 years (premolars) and >10 years (molars). Cross-sectional Knoop hardness was measured at 10, 30, 50, 70, 90, 110, 220 and 330 mu m depth from the surface. The data were subjected to two-way ANOVA followed by Bonferroni`s pairwise tests (alpha = 0.05). The CSH significantly increased with posteruptive age, indicating that the time of exposure in the oral cavity might result in deep enamel maturation. Copyright (C) 2009 S. Karger AG, Basel

Experimental Surgical and Orthodontic Extrusion of Teeth in Dogs

The purpose of this study was to evaluate histologically the root surfaces of teeth submitted to orthodontic and surgical extrusion procedures in a dog model. Eighteen adult male dogs, divided into six groups of three dogs each, were used in the study Each animal underwent two procedures: rapid orthodontic extrusion and surgical extrusion of the maxillary lateral incisors. The animals were sacrificed to produce samples at 7, 14, 45, 90, 120, and 180 days after surgery for assessment of cross sections of the coronal, medial, and apical thirds of the treated teeth. At early time points, some active surface and inflammatory resorption was observed exclusively in the surgical extrusion group; however, samples collected at later times demonstrated functional repair of the resorption gaps in both groups. Ankylosis was observed as a minor event and was apparently of a transient nature in samples of the surgical extrusion group. The results demonstrate the importance of maintaining the periodontal ligament and cementum surface; both are vital for the prevention of root resorption. It may be postulated that orthodontic extrusion is more conservative and physiologic than surgical extrusion; however the results showed that function was restored in both groups. (Int J Periodontics Restorative Dent 2009;29:435-443.)

Miniplates as skeletal anchorage for treating mandibular second molar impactions

Mandibular second molar impactions can be difficult to correct and might require surgery. A young man with an impacted mandibular right second molar was treated with a miniplate, which provided anchorage to upright the tooth. Although other devices are available, this technique appears to be predictable and quick, and has few side effects.