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.

Influence of Quinidine, Cimetidine, and Ketoconazole on the Enantioselective Pharmacokinetics and Metabolism of Metoprolol in Rats

Metoprolol is a beta-blocker and its racemic mixture is used for the treatment of hypertension. In the present study we investigated the influence of CYP2D and CYP3A on the stereoselective metabolism of metoprolol in rats. Male Wistar rats (n = 6 per group) received racemic metoprolol (15 mg/kg) orally, with or without pretreatment with the CYP inhibitor ketoconazole (50 mg/kg), cimetidine (150 mg/kg), or quinidine (80 mg/kg). Blood samples were collected up to 48 h after metoprolol administration. The plasma concentrations of the stereoisomers of metoprolol, O-demethylmetoprolol (ODM), alpha-hydroxymetoprolol (OHM) (Chiralpak(R) AD column), and metoprolol acidic metabolite (AODM) (Chiralcel(R) OD-R column) were determined by HPLC using fluorescence detection (lambda(exc) = 229 nm; lambda(em) = 298 nm). CYP3A inhibition by ketoconazole reduced the plasma concentrations of ODM and AODM and favored the formation of OHM. CYP2D and CYP3A inhibition by cimetidine reduced the plasma concentrations of OHM and AODM and favored the formation of ODM. The inhibition of CYP2D by quinidine reduced the plasma concentrations of OHM and favored the formation of ODM. In conclusion, the results suggest that CYP3A is involved in the formation of ODM and CYP2D is involved in the formation of AODM. Chirality 21:886-893, 2009. (C) 2009 Wiley-Liss, Inc.

Extramedullary plasmacytoma of the third eyelid gland in a dog

A case of extramedullary plasmacytoma of the third eyelid gland in a 7-year-old American Cocker Spaniel is reported. An enlargement of the third eyelid gland, abundant mucopurulent discharge, mild hyperemia and corneal pigmentation in the OD was present. Excisional biopsy of the mass revealed the gland was infiltrated and partially destroyed by a uniform population of neoplastic plasma cells. The neoplastic cells were positive for CD138, Ki-67 and lambda light chain. CD20, CD3, kappa light chain and cytokeratin were negative. Twelve months following surgery, no recurrence was observed. To the authors` knowledge, this is the first extramedullary plasmacytoma of the third eyelid gland reported in dogs.

CO(2) Laser (10.6 mu m) Parameters for Caries Prevention in Dental Enamel

Although CO(2) laser irradiation can decrease enamel demineralisation, it has still not been clarified which laser wavelength and which irradiation conditions represent the optimum parameters for application as preventive treatment. The aim of the present explorative study was to find low-fluence CO(2) laser (lambda = 10.6 mu m) parameters resulting in a maximum caries-preventive effect with the least thermal damage. Different laser parameters were systematically evaluated in 3 steps. In the first experiment, 5 fluences of 0.1, 0.3, 0.4, 0.5 and 0.6 J/cm(2), combined with high repetition rates and 10 mu s pulse duration, were chosen for the experiments. In a second experiment, the influence of different pulse durations (5, 10, 20, 30 and 50 mu s) on the demineralisation of dental enamel was assessed. Finally, 3 different irradiation times (2, 5 and 9 s) were tested in a third experiment. In total, 276 bovine enamel blocks were used for the experiments. An 8-day pH-cycling regime was performed after the laser treatment. Demineralisation was assessed by lesion depth measurements with a polarised light microscope, and morphological changes were assessed with a scanning electron microscope. Irradiation with 0.3 J/cm(2), 5 mu s, 226 Hz for 9 s (2,036 overlapping pulses) increased caries resistance by up to 81% compared to the control and was even significantly better than fluoride application (25%, p < 0.0001). Scanning electron microscopy examination did not reveal any obvious damage caused by the laser irradiation. Copyright (C) 2009 S. Karger AG, Basel

Effect of low-intensity laser therapy on mast cell degranulation in human oral mucosa

Little is known about the physiological mechanisms related to low-intensity laser therapy (LILT), particularly in acute inflammation and subsequent wound healing. The objective of this study was to verify the effect of LILT on mast cell degranulation. Epulis fissuratum tissues from eight patients were used. One part of the lesion was irradiated with an AsGaAl laser (lambda = 670 nm, 8.0 J/cm(2), 5 mW, 4 min). The other part was not irradiated. Then, the specimens were immediately removed, fixed and examined by light microscopy. The number of mast cells was similar in laser-treated samples when compared with non-irradiated specimens. The degranulation indexes of the mast cells observed in the irradiated samples were significantly higher than those of controls (P < 0.05). LILT with the parameters used increased the number of degranulated mast cells in oral mucosa.

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.

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.)

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)

Stability of nonlinear difference inclusions

The stability of difference inclusions x(k+1) is an element of F(x(k)) is studied, where F(x) = {F(x, gimel) : is an element of Lambda} and the selections F(., gimel) : E -->E assume values in a Banach space E, partially ordered by a cone K. It is assumed that the operators F(.,gimel) are heterotone or pseudoconcave. The main results concern asymptotically stable absorbing sets, and include the case of a single equilibrium point. The results are applied to a number of practical problems.

Human twinning is not linked to the region of chromosome 4 syntenic with the sheep twinning gene FecB

The tendency to dizygotic (DZ) twinning is inherited in both humans and sheep, and a fecundity gene in sheep (FecB) maps to sheep chromosome 6, syntenic with human 4q21-25. Our aim was to see whether a gene predisposing to human DZ twinning mapped to this region. DNA was collected from 169 pairs and 17 sets of 3 sisters (trios) from Australia and New Zealand who had each had spontaneous DZ twins, mostly before the age of 35, and from a replication sample of 111 families (92 affected sister pairs) from The Netherlands. Exclusion mapping was carried out after typing 26 markers on chromosome 4, of which 8 spanned the region Likely to contain the human homologue of the sheep FecB gene. We used nonparametric affected sib pair methods for linkage analysis [ASPEX 2.2, Hinds and Risch, 1999]. Complete exclusion of linkage (lod < -2) of a gene conferring a relative risk for sibs as low as 1.5 ((s) > 1.5) was obtained for all but the p terminus region on chromosome 4. Exclusion in the syntenic region was stronger, down to lambda (s) = 1.3. We concluded that if there is a gene influencing DZ twinning on chromosome 4, its effect must be minor. (C) 2001 Wiley-Liss, Inc.

The visual ecology of avian photoreceptors

The spectral sensitivities of avian retinal photoreceptors are examined with respect to microspectrophotometric measurements of single cells, spectrophotometric measurements of extracted or in vitro regenerated visual pigments, and molecular genetic analyses of visual pigment opsin protein sequences. Bird species from diverse orders are compared in relation to their evolution, their habitats and the multiplicity of visual tasks they must perform. Birds have five different types of visual pigment and seven different types of photo receptor-rods, double (uneven twin) cones and four types of single cone. The spectral locations of the wavelengths of maximum absorbance (lambda (max)) of the different visual pigments, and the spectral transmittance characteristics of the intraocular spectral filters (cone oil droplets) that also determine photoreceptor spectral sensitivity, vary according to both habitat and phylogenetic relatedness. The primary influence on avian retinal design appears to be the range of wavelengths available for vision, regardless of whether that range is determined by the spectral distribution of the natural illumination or the spectral transmittance of the ocular media (cornea, aqueous humour, lens, vitreous humour). Nevertheless, other variations in spectral sensitivity exist that reflect the variability and complexity of avian visual ecology. (C) 2001 Elsevier Science Ltd. All rights reserved.

Chemistry, properties, and phylogenetic implications of the methylated carrageenans from red algae of the genus Areschougia (Areschougiaceae, Gigartinales, Rhodophyta)

The three Australian-endemic species comprising the genus Aresehougia have been examined to determine the structure of their nonfibrillar wall components. The polysaccharide extracted from the most widely distributed species, A. congesta (Turner) J. Agardh, was shown by compositional analyses, Fourier transform infrared (FTIR) spectroscopy, linkage analysis, and C-13-NMR spectroscopy to be a carrageenan composed predominantly of the repeating disaccharides 6'-O-methylcarrabiose 2,4'-disulfate, carrabiose 2,4-disulfate (the repeating unit of L-carrageenan), 4',6'-O-(1-carboxyethylidene)carrabiose 2-sulfate, and 6'-O-methylcarrabiose 2-sulfate. The carrageenan also contained small amounts of 4-linked Galp residues, some bearing methyl ether substitution at O-3 and some possibly bearing sulfate ester and/or glycosyl substitutions at O-3. The A. congesta carrageenan had unique rheological properties, its gels having some similarities to those of commercial iota -carrageenan but with the viscosity of commercial lambda -carrageenan. Polysaccharides from A. ligulata Harvey ex J. Agardh and A. stuartii Harvey were shown by constituent sugar and FTIR analyses to be sulfated galactans rich in mono-O-methylgalactose. The carrageenan structures of Areschougia spp. were consistent with those of the genera Rhabdonia, Erythroclonium, and Austroclonium, the other genera constituting the family Areschougiaceae.