Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Two estimates concerning asymptotics of the minimizations of a Ginzburg-Landau functional

We prove two asymptotical estimates for minimizers of a Ginzburg-Landau functional of the form integral(Omega) [1/2 \del u\(2) + 1/4 epsilon(2) (1 - \u\(2))(2) W (x)] dx.

Quantum Lie algebras, their existence, uniqueness and q-antisymmetry

Quantum Lie algebras are generalizations of Lie algebras which have the quantum parameter h built into their structure. They have been defined concretely as certain submodules L-h(g) of the quantized enveloping algebras U-h(g). On them the quantum Lie product is given by the quantum adjoint action. Here we define for any finite-dimensional simple complex Lie algebra g an abstract quantum Lie algebra g(h) independent of any concrete realization. Its h-dependent structure constants are given in terms of inverse quantum Clebsch-Gordan coefficients. We then show that all concrete quantum Lie algebras L-h(g) are isomorphic to an abstract quantum Lie algebra g(h). In this way we prove two important properties of quantum Lie algebras: 1) all quantum Lie algebras L-h(g) associated to the same g are isomorphic, 2) the quantum Lie product of any Ch(B) is q-antisymmetric. We also describe a construction of L-h(g) which establishes their existence.

Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.

Oral cavity is not a reservoir for Helicobacter pylori in infected patients with functional dyspepsia

Helicobacter pylori infection is very prevalent in Brazil, infecting almost 65% of the population. The aim of this study was to evaluate the presence of this bacterium in the oral cavity of patients with functional dyspepsia (epigastric pain syndrome), establish the main sites of infection in the mouth, and assess the frequency of cagA and vacA genotypes of oral H. pylori. All 43 outpatients with epigastric pain syndrome, who entered the study, were submitted to upper gastrointestinal endoscopy to rule out organic diseases. Helicobacter pylori infection in the stomach was confirmed by a rapid urease test and urea breath tests. Samples of saliva, the tongue dorsum and supragingival dental plaque were collected from the oral cavity of each subject and subgingival dental plaque samples were collected from the patients with periodontitis; H. pylori infection was verified by polymerase chain reaction using primers that amplify the DNA sequence of a species-specific antigen present in all H. pylori strains; primers that amplify a region of urease gene, and primers for cagA and vacA (m1, m2, s1a, s1b, s2) genotyping. Thirty patients harbored H. pylori in the stomach, but it was not possible to detect H. pylori in any oral samples using P1/P2 and Urease A/B. The genotype cagA was also negative in all samples and vacA genotype could not be characterized (s-m-). The oral cavity may not be a reservoir for H. pylori in patients with epigastric pain syndrome, the bacterium being detected exclusively in the stomach.

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.

Periodontal attachment loss in an untreated isolated population of Brazil

Background: The aim of this study was to assess the prevalence, extent, and severity of clinical attachment loss (CAL) and to investigate the association of demographic, socioeconomic, and behavioral risk indicators with CAL in an untreated isolated population in Brazil. Methods: All subjects aged >= 12 years were identified by a census. Participants were submitted to a full-mouth clinical examination of six sites per tooth and were interviewed using a structured, written questionnaire. Results: Among the 214 subjects who were interviewed and examined clinically, CAL >= 5 mm in at least one site was observed in 8% of the 12- to 19-year-olds and in all dentate subjects >= 50 years of age; the age-dependent prevalence of CAL >= 7 mm in at least one site ranged from 5% among 12- to 19-year-olds to 83% among subjects >= 50 years old. Multivariate analysis identified plaque (odds ratio [OR] = 2.8), supragingival calculus (OR = 2.9 to 10.6), age >= 30 years (OR = 11.4), and smoking (OR = 2.4) as risk indicators for CAL >= 5 mm and smoking (OR = 8.2) as a risk indicator for CAL >= 7 mm. Conclusions: CAL is highly prevalent in this isolated population. The high occurrence of CAL in young age groups and the confirmation of traditional risk indicators for CAL in this study suggest that other factors, such as host susceptibility, may be needed to explain the high levels of CAL found. Age and behavioral factors were risk indicators associated significantly with the CAL found in this population and may be useful indicators of high-risk subjects for periodontal diseases.

Periodontal disease in adults with untreated congenital growth hormone deficiency: a case-control study

P>Aim The aim of this study was to investigate the possible associations between isolated growth hormone deficiency (IGHD) and periodontal attachment loss (PAL) in adults affected by congenital IGHD. Materials and methods Forty-five previously identified IGHD subjects were eligible for this study. The final study sample comprised 32 cases (gender:20M/12F; age:44.8 +/- 17.5) matched for age, gender, diabetes, smoking status and income to 32 controls (non-IGHD subjects). Participants were submitted to a full-mouth clinical examination of six sites per tooth and were interviewed using a structured, written questionnaire. Periodontitis was defined as proximal PAL >= 5 mm affecting >= 30% of teeth. Results No significant differences were observed in the percentage of sites with visible plaque between IGHD and non-IGHD subjects (59.4% versus 46.9%, p=0.32). IGHD subjects had significant less supragingival calculus (31.3% versus 59.4%, p=0.02) and more bleeding on probing (71.9% versus 18.8%, p < 0.01) than controls. PAL >= 5 mm was significantly more prevalent (100% versus 71.9%, p < 0.01) and affected more teeth (30.5% versus 6.7%, p < 0.01) in cases than in controls. After adjusting for supragingival calculus, IGHD cases had a higher likelihood of having periodontitis than controls (OR=17.4-17.8, 95% CI=2.3-134.9, p=0.004-0.005). Conclusion Congenital IGHD subjects have a greater chance of having PAL.

Herpes viruses in periodontal compromised sites: comparison between HIV-positive and -negative patients

Aims: The objective of this study was to compare the frequency of herpes simplex virus type 1 (HSV-1), Epstein-Barr virus (EBV) and human cytomegalovirus (HCMV) in subgingival plaque, saliva and peripheral blood of HIV-positive and-negative patients with periodontal disease. Materials and Methods: Fifty HIV-positive subjects (23 with gingivitis, 27 with periodontitis) and 50 healthy HIV-negative patients with chronic periodontitis were included in the study. Parameters of probing depth (PD), clinical attachment level (CAL), gingival index and plaque index were recorded. The samples were processed for viral identification by the nested polymerase chain reaction technique. Results: HCMV was the most prevalent virus in HIV-positive (82%) and-negative patients (84%), and the detection in the three samples was similar (p > 0.05). HSV-1 was the least prevalent virus in both groups, being detected in similar frequencies in oral sites and in peripheral blood. EBV-1 was found more frequently in saliva and subgingival plaque of HIV-positive patients than in HIV-negative patients (p <= 0.05). Conclusions: EBV-1 was more frequently recovered in oral sites of HIV-positive patients than in HIV-negative patients.

Risk indicators for increased probing depth in an isolated population in Brazil

Background: The aim of this study was to assess the prevalence, extent, and severity of probing depth (PD) and to investigate the associations between demographic, socioeconomic, and behavioral risk indicators and PD in a periodontally untreated and isolated population in Brazil. Methods: The target population consisted of all individuals aged >= 12 years as identified by a census. Consenting participants were submitted to a full-mouth clinical examination of six sites per tooth and were interviewed using a structured written questionnaire. Results: Among the 214 subjects who were interviewed and clinically examined, PD >= 4 mm was observed in 54% to 83% of the subjects, depending on age, whereas the age-dependent prevalence of PD :6 mm ranged from 5% among 12- to 19-year-olds to 50% among 40- to 49-year-olds, decreasing to 40% among subjects >= 50 years of age. Multivariate analyses identified supragingival calculus (odds ratio [OR] = 5.4 to 10.3; 95% confidence intervals [CIs]: 2.5 to 11.6 and 4.0 to 26.2 for 20% to 50% and > 50% of the sites, respectively) as a risk indicator for PD A mm, whereas age :40 years (OR = 9.0; 95% CI: 1.7 to 48.5), being a moderate/heavy smoker (OR = 3.7; 95% CI: 1.4 to 10. 1), and having supragingival calculus in 20% to 50% of sites (OR = 6.8; 95% CI: 1.4 to 32.4) or in >50% of sites (OR = 15.3; 95% CI: 3.2 to 73.6) were risk indicators for PD >= 6 mm. Having undergone urgency dental treatment was a protective factor for PD A and >= 6 mm (OR = 0.4; 95% CI: 0.2 to 0.8). Conclusions: Increased PD is highly prevalent in this isolated population. Behavioral factors played a significant role as risk indicators for increased PD in this isolated population.

Scanning Electron Microscopy In Vitro Study on the Effect of Carisolv Application on Periodontally Diseased Root Surfaces

The purpose of this study was to evaluate the characteristics of diseased root surfaces treated by the association of scaling and the application of Carisolv. Twenty-four uniradicular periodontally involved teeth were used in this study The teeth were divided randomly into three groups: eight teeth were scaled and root planed until there was a complete visible removal of calculus (group 1), Carisolv was applied on the root surfaces of eight teeth twice for 30 seconds before scaling with a sharp curette (group 2), and eight teeth received the same treatment as in group 2 but with a blunt curette (group 3). Specimens were examined using scanning electron microscopy The superficial aspect of the roots from group 1 presented scratches that mirrored the curette cutting edge, and the smear layer completely covered the surface. Root surfaces from groups 2 and 3 also presented a smear layer that covered the surface completely but it was somewhat smoother than group 1. The use of Carisolv as an adjunct to scaling and root planing presented no advantage for smear layer removal over scaling alone, suggesting that no benefit is obtained by the use of Carisolv during periodontal mechanical treatment. (Int J Periodontics Restorative Dent 2011;31:91-95.)

Clinical, Histological, and Microbiological Findings in Peri-Implant Disease: A Pilot Study

Objectives: This study is intended to verify the correlation among clinical indices of the peri-implant soft tissues, the histological condition and the presence of 3 pathogens commonly associated with peri-implant diseases (Aggregatibacter actinomycetemcomitans, Porphyromonas gingivalis, and Tannerella forsythia). Materials: Four clinical indices, Gingival Index (GI), Sulcus Bleeding Index, GI modified by Mombelli, and Plaque Index modified by Mombelli (mPI) were evaluated around I dental implant of each subject (n = 10). Subgingival plaque was collected for bacterial analysis (polymerase chain reaction) and a biopsy of peri-implant soft tissues for histological analysis was harvested. The clinical indices and detected pathogens correlated with a developed histological index (HI). Results: There was no statistically significant relationship between the clinical indices (GI, Sulcus Bleeding Index, and GI modified by Mombelli) and the HI, except for the mPI on the central area of lingual aspects (r = 0.85, P = 0.0029). There was a tendency for a positive correlation between the mPI on the central area of buccal aspects and the HI (r = 0.63, P = 0.0544). The counting of lymphocytes and plasmocytes correlated positively with 111, thus suggesting the index reliability. The prevalence of A. actinomycetemcomitans, P. gingivalis, and T. forsythia did not present a significant relationship with the HI. Conclusion: Despite the small number of samples and the poor statistical significance, the mPI seems to be useful for evaluation of inflammatory severity on soft tissue around dental implants as demonstrated by its relationship with the HI. Further studies are necessary to elucidate this subject. (Implant Dent 2009;18:334-344)

Effectiveness of 0.50% and 0.75% chlorhexidine dentifrices in orthodontic patients: A double-blind and randomized controlled trial

Introduction: In this double-blind and randomized controlled trial, we analyzed whether a lower concentration of chlorhexidine in dentifrices could reduce the risk of tooth staining without compromising its effectiveness in controlling gingivitis, bleeding, and dental plaque. Methods: Volunteers with fixed orthodontic appliances were randomly divided into 3 groups: control, 1100 ppm F, NaF (n = 27); experimental, chlorhexidine 0.50% (n = 27); and experimental, chlorhexidine 0.75% (n = 27). At baseline, and after 6 and 12 weeks, clinical examinations were carried out. Staining, calculus, gingivitis, bleeding, and dental plaque data were analyzed with Friedman tests to evaluate intragroup changes over time. To detect intergroup differences after 12 months, the data were evaluated with Kruskal-Wallis tests. Dunn tests were used in both situations for necessary post-hoc analyses. Results: The groups were statistically similar for the stain, calculus, and plaque indexes, but there were statistically significant differences for the gingival and bleeding indexes. During the experimental periods, gingivitis and bleeding scores improved in all 3 groups. Only the 0.75% chlorhexidine dentifrice significantly increased the stain index, although most patients did not notice the stains. The intergroup comparison showed a statistically significant better performance of the experimental groups regarding the gingival and bleeding indexes. Conclusions: This study suggests that the use of dentifrices with lower concentration of chlorhexidine can reduce the risk of tooth staining without compromising its effectiveness in controlling gingivitis and bleeding in orthodontic patients. (Am J Orthod Dentofacial Orthop 2009; 136: 651-6)

Effects of the domestic use of a disclosing solution on the denture biofilm: a preliminary study

To investigate the effect of the home use of a disclosing agent on the microbial composition of denture biofilm, by means of a cross-over randomized clinical trial. Two interventions were tested during 7 days each: (i) oral and denture hygiene instructions and (ii) instructions associated with the home use of a disclosing agent (1% neutral red). Eleven participants with visible biofilm deposits over their maxillary complete dentures were randomly assigned to one of the two sequences of interventions: (i) I followed by II, and (ii) II followed by I. A washout period of 7 days was established. After each intervention, samples of denture biofilm were evaluated by DNA checkerboard hybridization for the detection of Candida spp. and 17 bacterial species. Counts were low for all the tested species, and no significant difference was found between the tested interventions ( Wilcoxon test, P > 0.05). The home use of a disclosing agent does not remarkably change the composition of denture biofilm.