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.

Argon ion laser and halogen lamp activation of a dark and light resin composite: microhardness after long-term storage

The objective of this study was to evaluate in vitro light activation of the nano-filled resin composite Vita shade A1 and A3 with a halogen lamp (QTH) and argon ion laser by Knoop microhardness profile. Materials and methods: Specimens of nanofilled composite resin (Z350-3 M-ESPE) Vita shade A1 and A3 were prepared with a single increment inserted in 2.0-mm-thick and 3-mm diameter disc-shaped Teflon mold. The light activation was performed with QTH for 20 s (with an intensity of approximately 1,000 mW/cm(2) and 700 mW/cm(2)) and argon ion laser for 10 s (with a power of 150 mW and 200 mW). Knoop microhardness test was performed after 24 h and 6 months. The specimens were divided into the 16 experimental groups (n = 10), according to the factors under study: photoactivation form, resin shade, and storage time. Knoop microhardness data was analyzed by a factorial ANOVA and TukeyA ` s tests at the 0.05 level of significance. Results: Argon ion laser was not able to photo-activate the darker shade of the nanofilled resin composite evaluated but when used with 200 mW it can be as effective as QTH to photo-activate the lighter shade with only 50% of the time exposure. After 6 months storage, an increase in the means of Knoop microhardness values were observed. Conclusions: Light-activation significantly influenced the Knoop microhardness values for the darker nanofilled resin composite.

Calcitonin, sodium alendronate and high intensity laser in the treatment of traumatized teeth: a preliminary study

The aim of this study was to evaluate the influence of erbium:yttrium-aluminum-garnet (Er:YAG) laser compared with traditional treatment on dentin permeability to calcitonin and sodium alendronate. Forty bovine roots were sectioned and divided into eight groups. Groups 1 and 2 (G1/G2) were immersed in saline solution; G1T/G2T were immersed in ethylene diamine tetra-acetic acid plus sodium lauryl ether sulfate (EDTA-T) and sodium hypochlorite (NaOCl); G1I/G2I were irradiated with Er:YAG laser (2.94 mu m, 6 Hz, 40.4 J/cm(2)); G1TI/G2TI were immersed in EDTA-T, NaOCl and subjected to Er:YAG irradiation. After 4 h the radioactivity of the saline solution was measured. Statistical analysis revealed a significant difference (P < 0.05) when the groups treated with EDTA-T and NaOCl followed by Er:YAG laser irradiation were compared with the groups treated with EDTA-T only and with the groups that received no treatment. Er:YAG laser associated with traditional procedures significantly increased the diffusion of calcitonin and sodium alendronate through dentin. All groups showed calcitonin and sodium alendronate diffusion.

Effect of laser phototherapy on recurring herpes labialis prevention: an in vivo study

Alternative treatment for recurrent labial infection by herpes simplex virus (HSV) have been considered. The aim of this study was to evaluate the effectiveness of laser phototherapy in prevention and reduction of severity of labial manifestations of herpes labialis virus. Seventy-one patients, divided into experimental (n = 41) and control (n = 30) groups were followed up for 16 months. Patients in the control group were treated topically with aciclovir and patients in the experimental group were subjected to laser phototherapy (one session per week, 10 weeks): 780 nm, 60 mW, 3.0 J/cm(2) or 4.5 J/cm(2) on healthy (no HSV-1 infection) and affected (with HSV-1 infection) tissues. Patients in the experimental group presented a significant decrease in dimension of herpes labialis lesions (P = 0.013) and inflammatory edema (P = 0.031). The reduction in pain level (P = 0.051) and monthly recurrences (P = 0.076) did not reach statistical significance. This study represents an in vivo indication that this treatment should be further considered as an effective alternative to therapeutic regimens for herpes labialis lesions.

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.

Stem cell proliferation under low intensity laser irradiation: A preliminary study

Background and Objectives: Phototherapy with low intensity laser irradiation has shown to be effective in promoting the proliferation of different cells. The aim of this in vitro study was to evaluate the potential effect of laser phototherapy (660 nm) on human dental pulp stem cell (hDPSC) proliferation. Study Design/Materials and Methods: The hDPSC cell strain was used. Cells cultured under nutritional deficit (10% FBS) were either irradiated or not (control) using two different power settings (20 mW/6 seconds to 40 mW/3 seconds), with an InGaAIP diode laser. The cell growth was indirectly assessed by measuring the cell mitochondrial activity through the MTT reduction-based cytotoxicity assay. Results: The group irradiated with the 20 mW setting presented significantly higher MTT activity at 72 hours than the other two groups (negative control-10% FBSand lased 40 mW with 3 seconds exposure time). After 24 hours of the first irradiation, cultures grown under nutritional deficit (10% FBS) and irradiated presented significantly higher viable cells than the non-irradiated cultures grown under the same nutritional conditions. Conclusions: Under the conditions of this study it was possible to conclude that the cell strain hDPSC responds positively to laser phototherapy by improving the cell growth when cultured under nutritional deficit conditions. Thus, the association of laser phototherapy and hDPSC cells could be of importance for future tissue engineering and regenerative medicine. Moreover, it opens the possibility of using laser phototherapy for improving the cell growth of other types of stem cells.

Composite pre-heating: Effects on marginal adaptation, degree of conversion and mechanical properties

Objectives. This study evaluated the effect of composite pre-polymerization temperature and energy density on the marginal adaptation (MA), degree of conversion (DC), flexural strength (FS), and polymer cross-linking (PCL) of a resin composite (Filtek Z350, 3M/ESPE). Methods. For MA, class V cavities (4mmx2mmx2mm) were prepared in 40 bovine incisors. The adhesive system Adper Single Bond 2 (3M/ESPE) was applied. Before being placed in the cavities, the resin composite was either kept at room-temperature (25 degrees C) or previously pre-heated to 68 degrees C in the Calset (TM) device (AdDent Inc., Danbury, CT, USA). The composite was then light polymerized for 20 or 40s at 600mW/cm(2) (12 or 24 J/cm(2), respectively). The percentage of gaps was analyzed by scanning electron microscopy, after sectioning the restorations and preparing epoxy resin replicas. DC (n = 3) was obtained by FT-Raman spectroscopy on irradiated and non-irradiated composite surfaces. FS (n = 10) was measured by the three-point-bending test. KHN (n = 6) was measured after 24h dry storage and again after immersion in 100% ethanol solution for 24 h, to calculate PCL density. Data were analyzed by appropriate statistical analyses. Results. The pre-heated composite showed better MA than the room-temperature groups. A higher number of gaps were observed in the room-temperature groups, irrespective of the energy density, mainly in the axial wall (p < 0.05). Composite pre-heating and energy density did not affect the DC, FS and PCL (p > 0.05). Significance. Pre-heating the composite prior to light polymerization similar in a clinical situation did not alter the mechanical properties and monomer conversion of the composite, but provided enhanced composite adaptation to cavity walls. (C) 2010 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Influence of irradiant energy on degree of conversion, polymerization rate and shrinkage stress in an experimental resin composite system

Objective. This study evaluated the degree of conversion (DC), maximum rate of cure (R(p)(max)), and polymerization stress (PS) developed by an experimental dental composite subjected to different irradiant energies (3,6,12, 24, or 48J/cm(2)) under constant irradiance (500 mw/cm(2)). Methods. DC and R(p)(max) were monitored for 10 min on the bottom surface of 2-mm thick disks and on 150-mu m thick films (representing the top of the specimen) using ATR-FTIR. PS was monitored for 10 min in 2-mm thick disks bonded to two glass rods (O = 5 mm) attached to a universal testing machine. One-way ANOVA/Tukey tests were used and differences in DC and R(p)(max) between top and bottom surfaces were examined using Student`s t-test. Statistical testing was performed at a pre-set alpha of 0.05. Results. For a given surface, DC showed differences among all groups, except at the top between 24 and 48 J/cm(2). R(p)(max) was similar among all groups at the same surface and statistically higher at the top surface. PS also showed significant differences among all groups. Data for 48 J/cm(2) were not obtained due to specimen failure at the glass/composite interface. Significance. Increases in irradiant exposure led to significant increases in DC and PS, but had no effect on R(p)(max) (c) 2008 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Stress intensity factor threshold in dental porcelains

The stress intensity factor threshold (K(IO)) is related to the stress level at which cracks start to grow stably, causing the weakening of porcelain prostheses during their use. The values of K(IO) of seven dental porcelains (with and without reinforcing leucite crystal, KAlSi(2)O(6)) stored in air (22 degrees C, 60% relative humidity) and artificial saliva (37 degrees C) were determined by measuring the crack growth velocity of radial cracks generated at the corner of Vickers indentations. The results of K(IO) were correlated with the leucite content, fracture toughness (K(Ic)), and chemical composition of the porcelains. It was observed that K(IO) increased with the increase of leucite content (only for the leucite-based porcelains) and with the increase of K(Ic). The increase in Al(2)O(3) content or the decrease in the alkali oxide (K(2)O and Na(2)O) content of the material`s glassy matrix tended to increase the K(IO) values. Storage media (air and saliva) did not significantly affect the K(IO) of porcelains tested, indicating that the control parameter of K(IO) value was not the water content of the storage media.

Degree of conversion and mechanical properties of a BisGMA : TEGDMA composite as a function of the applied radiant exposure

Objective: Verify the influence of radiant exposure (H) on composite degree of conversion (DC) and mechanical properties. Methods: Composite was photoactivated with 3, 6, 12, 24, or 48 J/cm(2). Properties were measured after 48-h dry storage at room temperature. DC was determined on the flat surfaces of 6 mm x 2 mm disk-shaped specimens using FTIR. Flexural strength (FS) and modulus (FM) were accessed by three-point bending. Knoop microhardness number (KHN) was measured on fragments of FS specimens. Data were analyzed by one-way ANOVA/Tukey test, Student`s t-test, and regression analysis. Results: DC/top between 6 and 12 J/cm(2) and between 24 and 48 J/cm(2) were not statistically different. No differences between DC/top and bottom were detected. DC/bottom, FM, and KHN/top showed significant differences among all H levels. FS did not vary between 12 and 24 J/cm(2) and between 24 and 48 J/cm(2). KHN/bottom at 3 and 6 J/cm(2) was similar. KHN between top and bottom was different up to 12 J/cm(2). Regression analyses having H as independent variable showed a plateau region above 24 J/cm(2). KHN increased exponentially (top) or linearly (bottom) with DC. FS and FM increased almost linearly with DC/bottom up to 55% conversion. Conclusions: DC and mechanical properties increased with radiant exposure. Variables leveled off at high H levels. (C) 2007 Wiley Periodicals, Inc.

Effects of neonatal handling on central noradrenergic and nitric oxidergic systems and reproductive parameters in female rats

Early-life environmental events that disrupt the mother-pup relationship may induce profound long-lasting changes on several behavioral and neuroendocrine systems. The neonatal handling procedure, which involves repeated brief maternal separations followed by experimental manipulations, reduces sexual behavior and induces anovulatory estrous cycles in female rats. On the afternoon of proestrus, neonatally handled females show a reduced surge of luteinizing hormone (LH) and an increased content of gonadotropin-releasing hormone in the medial preoptic area (MPOA). In order to detect the possible causes for the reduced ovulation and sexual behavior, the present study aimed to analyze the effects of neonatal handling on noradrenaline (NA) and nitric oxide (NO) levels in the MPOA on the afternoon of proestrus. Neonatal handling reduced MHPG (NA metabolite) levels and MHPG/NA ratio in the MPOA, indicating decreased NAergic activity. Additionally, neonatal handling decreased NO levels, as measured by the metabolites (NO x), nitrite and nitrate in the same period. We may conclude that the neonatal handling procedure decreased activity of the NAergic and NOergic systems in the MPOA during proestrus, which is involved in the control of LH and FSH secretion, and this may possibly explain the anovulatory estrous cycles and reduced sexual behavior of the neonatally handled female rats. Copyright (c) 2007 S. Karger AG, Basel.

Neonatal handling reduces the number of cells in the medial preoptic area of female rats

Early-life events may induce alterations in neuronal function in adulthood. A crucial aspect in studying long-lasting effects induced by environmental interventions imposed to the animal several weeks before is finding a stable change that could be causally related to the phenotype observed in adulthood. In order to explain an adult trait, it seems necessary to look back to early life and establish a temporal line between events. The neonatal handling procedure is an experimental tool to analyze the long-lasting impact of early-life events. Aside from the neuroendocrine response to stress, neonatal handling also alters the functionality of the hypothalamus-pituitary-gonad (HPG) axis. Reductions in ovulation and surge of the luteinizing hormone (LH) on the proestrous day were shown in female rats. Considering the importance of the medial preoptic area (MPA) for the control of ovulation, the present study aimed to verify the effects of neonatal handling on the numerical density and cell size in the MPA in 11-day-old and 90-day-old female rats. Cellular proliferation was also assessed using BrdU (5-bromo-2`-deoxyuridine) in 11-day-old pups. Results showed that neonatal handling induces a stable reduction in the number of cells and in the size of the cell soma, which were lower in handled females than in nonhandled ones at both ages. Cellular proliferation in the MPA was also reduced 24 h after the last manipulation. The repeated mother-infant disruption imposed by the handling procedure ""lesioned"" the MPA. The dysfunction in the ovulation mechanisms induced by the handling procedure could be related to that neuronal loss. The study also illustrates the impact of an environmental intervention on the development of the brain. (C) 2008 Elsevier B.V. All rights reserved