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.

Tooth Tissue Engineering: Optimal Dental Stem Cell Harvest Based on Tooth Development

Our long-term objective is to devise reliable methods to generate biological replacement teeth exhibiting the physical properties and functions of naturally formed human teeth. Previously, we demonstrated the successful use of tissue engineering approaches to generate small, bioengineered tooth crowns from harvested pig and rat postnatal dental stem cells (DSCs). To facilitate characterizations of human DSCs, we have developed a novel radiographic staging system to accurately correlate human third molar tooth developmental stage with anticipated harvested DSC yield. Our results demonstrated that DSC yields were higher in less developed teeth (Stages 1 and 2), and lower in more developed teeth (Stages 3, 4, and 5). The greatest cell yields and colony-forming units (CFUs) capability was obtained from Stages 1 and 2 tooth dental pulp. We conclude that radiographic developmental staging can be used to accurately assess the utility of harvested human teeth for future dental tissue engineering applications.

Effect of recombinant human bone morphogenetic protein-7 (rhBMP-7) on the viability, proliferation and differentiation of osteoblast-like cells cultured on a chemically modified titanium surface

Aim: The aim of the present study was to assess the influence of the chemical characteristics and roughness of titanium surfaces on the viability, proliferation and differentiation of osteoblast-like cells cultured in a medium supplemented with recombinant human bone morphogenetic protein-7 (rhBMP-7). Material and methods: Osteo-1 cells were grown on titanium disks presenting with the following surfaces: (1) machined, (2) coarse grit-blasted and acid-attacked (SLA) and (3) chemically modified SLA (SLAmod) in the absence or presence of 20 ng/ml rhBMP-7 in culture medium. The viability and number of osteo-1 cells were evaluated after 24 h. Analyses of total protein content (TP) and alkaline phosphatase (AP) activity at 7, 14 and 21 days, collagen content at 7 and 21 days and mineralized matrix formation at 21 days were performed. Results: Cell viability (P=0.5516), cell number (P=0.3485), collagen content (P=0.1165) and mineralized matrix formation (P=0.5319) were not affected by the different surface configurations or by the addition of rhBMP-7 to the medium. Osteo-1 cells cultured on SLA surfaces showed a significant increase in TP at 21 days. The ALPase/TP ratio (P=0.00001) was affected by treatment and time. Conclusion: The results suggest that the addition of rhBMP-7 to the culture medium did not exert any effect on the viability, proliferation or differentiation of osteoblast-like cells grown on the different surfaces tested. All titanium surfaces analyzed allowed the complete expression of the osteoblast phenotype such as matrix mineralization by osteo-1 cells.

Influence of Calcium Hydroxide Association on the Physical Properties of AH Plus

Introduction: This study evaluated in vitro the radiopacity, setting time, flow, film thickness, solubility, and dimensional changes of AH Plus sealer pure (Dentsply De Trey Gmbh, Konstanz, Germany) and containing 5% and 10% of calcium hydroxide. Methods: The study was performed according to the requirements of the ISO 6876:2001 standard and the American National Standards Institute/American Dental Association (ANSI/ADA)`s Specification No. 57. The following tests were performed: setting time, flow, film thickness, dimensional stability, radiopacity, and solubility. Data were analyzed statistically by analysis of variance and the Tukey tests with a significance level of 5%. Results: The addition of 5% or 10% calcium hydroxide to AH Plus sealer did not alter significantly the radiopacity or setting time values (p > 0.05). Adding 10% calcium hydroxide reduced the flow compared with pure AH Plus and AH Plus/5% calcium hydroxide. The addition of 5% and 10% calcium hydroxide increased the solubility and expansion of AH Plus. All materials presented expansion valued above those recommended by the ADA. The addition of calcium hydroxide to the sealer resulted in greater film thickness. Conclusions: The addition of 5% calcium hydroxide did not affect most physical properties of AH Plus sealer. (J Endod 2010;36:1048-1051)

The requirement of zinc and calcium ions for functional MMP activity in demineralized dentin matrices

The progressive degradation of resin-dentin bonds is due, in part, to the slow degradation of collagen fibrils in the hybrid layer by endogenous matrix metalloproteinases (MMPs) of the dentin matrix. In in vitro durability studies, the storage medium composition might be important because the optimum activity of MMPs requires both zinc and calcium. Objective. This study evaluated the effect of different storage media on changes in matrix stiffness, loss of dry weight or solubilization of collagen from demineralized dentin beams incubated in vitro for up to 60 days. Methods. Dentin beams (1 mm x 2 mm x 6 mm) were completely demineralized in 10% phosphoric acid. After baseline measurements of dry mass and elastic modulus (E) (3-point bending, 15% strain) the beams were divided into 5 groups (n = 11/group) and incubated at 37 degrees C in either media containing both zinc and calcium designated as complete medium (CM), calcium-free medium, zinc-free medium, a doubled-zinc medium or water. Beams were retested at 3, 7, 14, 30, and 60 days of incubation. The incubation media was hydrolyzed with HCl for the quantitation of hydroxyproline (HOP) as an index of solubilization of collagen by MMPs. Data were analyzed using repeated measures of ANOVA. Results. Both the storage medium and the storage time showed significant effects on E, mass loss and HOP release (p < 0.05). The incubation in CM resulted in relatively rapid and significant (p < 0.05) decreases in stiffness, and increasing amounts of mass loss. The HOP content of the experimental media also increased with incubation time but was significantly lower (p < 0.05) than in the control CM medium, the recommended storage medium. Conclusions. The storage solutions used to age resin-dentin bonds should be buffered solutions that contain both calcium and zinc. The common use of water as an aging medium may underestimate the hydrolytic activity of endogenous dentin MMPs. (c) 2010 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Evaluation of physicochemical properties of four root canal sealers

P>Aim To assess the physicochemical properties and the surface morphology of AH Plus, GuttaFlow, RoekoSeal and Activ GP root canal sealers. Methodology Five samples of each material were evaluated for setting time, dimensional alteration, solubility and radiopacity tests, according to ANSI/ADA Specification 57. A total of 50 mL of deionized distilled water from the solubility tests were used to measure the metal solubility by atomic absorption spectrometry. The morphologies of the external surface and the cross-section of the samples were analysed by means of a scanning electron microscope (SEM). Statistical analysis was performed by using one-way anova and post hoc Tukey-Kramer tests with the null hypothesis set as 5%. Results AH Plus had the longest setting time (580.6 +/- 3.05 min) (P < 0.05). Activ GP did not have a mean value on the radiopacity and solubility tests (1.31 +/- 0.35 mm and 11.8 +/- 0.43%, respectively) in accordance with ANSI/ADA, being significantly different from the other materials (P < 0.05), which had mean values for these tests in accordance with the ADA`s requirements. GuttaFlow was the only sealer that conformed to the Specification 57 concerning the dimensional alteration test (0.44 +/- 0.16%) (P < 0.05). The spectrometry test revealed significant Ca2+, K+, Zn2+ ion release from Activ GP sealer (32.57 +/- 5.0, 1.57 +/- 0.22 and 8.20 +/- 1.74 mu g mL-1, respectively). In SEM analysis, the loss of matrix was evident and the filler particles were more distinguishable in all groups. Conclusions The setting time of all sealers was in accordance with ANSI/ADA`s requirements. Activ GP did not fulfill ANSI/ADA`s protocols regarding radiopacity, dimensional alteration and solubility. GuttaFlow was the only sealer that conformed to the Specification 57 in all tests. SEM analysis revealed that the surfaces of all sealers had micromorphological changes after the solubility test.

Physicochemical Properties of Methacrylate Resin-based Root Canal Sealers

Introduction: This study assessed in vitro the physicochemical properties of 2 methacrylate resin-based sealers (Epiphany SE and Hybrid Root SEAL), comparing the results with a well-established epoxy resin-based sealer (AH Plus). Methods: Five samples of each material were used for each test (setting time, flow, radiopacity, dimensional change after setting, and solubility) according to American National Standards Institute/American Dental Association (ANSI/ADA) Specification 57. The samples were assigned to 3 groups: I, AH Plus; II, Epiphany SE; and III, Hybrid Root SEAL. The distilled and deionized water used at the solubility test was submitted to atomic absorption spectrometry to observe the presence of Ca2+, K+, Ni2+, and Zn2+ ions. In addition, the surface morphology of the specimens was analyzed by means of scanning electron microscopy (SEM). Statistical analysis was performed by using one-way analysis of variance and Tukey-Kramer test (P < .05). Results: Flow, radiopacity, and solubility of all sealers were in accordance with ANSI/ADA. The setting time of Hybrid Root SEAL did not agree with ANSUADA requirements. The dimensional change of all sealers was greater than the values considered acceptable by ANSI/ADA. The spectrometry analysis showed significant Ca2+ ions release for AH Plus. In SEM analysis, Hybrid Root SEAL presented spherical monomers with inferior size than AH Plus and Epiphany SE. Conclusions: It might be concluded that physicochemical properties of the tested sealers conformed to ANSI/ADA (2000) standardization, except for the setting time of Hybrid Root SEAL and the dimensional change of all sealers, which did not fulfill the ANSI/ADA requirements. (J Endod 2010;36:1531-1536)

Laboratory evaluation of the physicochemical properties of a new root canal sealer based on Copaifera multijuga oil-resin

Aim To compare a new root canal sealer based on Copaifera multijuga oil-resin (Biosealer) using three other established sealers (Sealer 26 (R), Endofill (R) and AH plus (R)) in terms of their physicochemical properties. Methodology The study was carried out according to the requirements of Specification Number 57 of the American Dental Association (ADA) and consisted of the following tests: setting time, flow, film thickness, dimensional stability, radiopacity and solubility/disintegration. Data were analysed statistically using anova and Tukey`s test for multiple comparisons. The significance level was set at 5% for all analyses. Results Sealer 26 (R) and AH Plus (R) had the longest setting time (P < 0.05). All materials presented flow in with the ADA`s guidelines. Regarding film thick-ness, Sealer 26 (R) did not have a satisfactory performance, as it had a higher mean value than the maximum allowed by the ADA (0.05 mm), being significantly different from the other materials (P < 0.05), which had mean values for film thickness in accordance with the ADA`s recommendations. Regarding the solubility and disintegration, only Endofill (R) did not meet the ADA`s specifications and presented the worst results of all materials (P < 0.05). Sealer 26 (R) presented the greatest dimensional changes and differed significantly from all other sealers (P < 0.05). Biosealer had the lowest radiopacity values and was significantly different from the other sealers (P < 0.05). Conclusion The experimental sealer based on Copaifera multijuga oil-resin presented satisfactory results in the physicochemical tests required by the ADA.

A comparative study of physicochemical properties of AH Plus, Epiphany, and Epiphany SE root canal sealers

P>Aim To assess the physicochemical properties and the surface morphology of AH Plus, Epiphany, and Epiphany SE root canal sealers. Methodology Five samples of each material were employed for each test according to ANSI/ADA specification 57. The samples were assigned to four groups: (i) AH Plus; (ii) Epiphany; (iii) Epiphany + Thinning Resin; (iv) Epiphany SE. The distilled water used during the solubility test was submitted to spectrometry to verify the release of calcium ions. The morphologies of the external surface and the cross-section of the samples were analysed by means of a scanning electron microscope (SEM). Statistical analysis was performed by using One-Way anova and post hoc Tukey-Kramer tests with the null hypothesis set as 5%. Results Setting time, flow and radiopacity results were in accordance with ANSI/ADA requirements whereas the dimensional change of all sealers and solubility of Epiphany did not fulfil ANSI/ADA protocols. AH Plus and Epiphany SE were similar in terms of flow, radiopacity, solubility and dimensional change. The spectrometry test revealed significant calcium ion release from Epiphany with and without the thinning resin. SEM analysis revealed essentially a homogeneous surface with compact layer and some rough areas. Conclusions Setting time, flow, and radiopacity tests conformed to ANSI/ADA standardization. The dimensional change in all groups and the solubility of Epiphany were greater than values considered acceptable, with higher amounts of calcium ion release. Epiphany SE revealed more organized, compacted, and homogeneous polymers in a reduced resin matrix when compared with the other groups.

Solubility of Epiphany Endodontic Sealer Prepared with Resinous Solvent

Purpose: To evaluate in vitro the solubility of the Epiphany endodontic filling material Epiphany (Pentron Clinical Technologies, Wallingford, CT) prepared with its resinous solvent. Methods: The specimens were prepared in the following experimental conditions: (1) GI, epiphany without photoactivation; (2) GII, Epiphany prepared with resinous solvent without photoactivation; (3) Gill, Epiphany followed by photoactivation; and (4) GIV, Epiphany prepared with resinous solvent followed by photoactivation. Ten specimens of each group were obtained from Teflon molds with 80% reduction in volume of the specimen`s dimensions based on American National Standard Institute/American Dental Association (ANSI/ADA) Specification No. 57. The samples were weighted and immersed in distilled water for 7 days. After this period, they were removed, dried, and weighed again. Solubility was calculated by using samples weight loss (%). The immersion liquid was evaluated through atomic absorption spectrometry. Results: The sealers without photoactivation were statistically similar (p > 0.05) between themselves (GI = 6.93% and GII = 6.39%) and different from the uncured sealers, which were statistically different between themselves (p < 0.05) (GIII = 3.56% and GIV = 0.47%). Only the Epiphany sealer prepared with resinous solvent followed by photoactivation presented solubility values within ANSI/ADA requirements, liberating the following amounts of ions: 114.43 mu g of Ca(2+)/mL, 2.4 mu g of Mg(2+)/mL, 0.33 mu g of Fe(2+)/mL, 0.11 mu 4g of Zn(2+)/mL, 1.31 mu g of Ni(2+)/mL, and 7.1 mu g of Na(+)/mL. Conclusion: The association of resinous solvent to the Epiphany sealer followed by photoactivation resulted in a filling material with low solubility and expressive liberation of calcium ions. (J Endod 2009;35:715-718)

Incremental parsing in language-based editors: user needs and how to meet them

Incremental parsing has long been recognized as a technique of great utility in the construction of language-based editors, and correspondingly, the area currently enjoys a mature theory. Unfortunately, many practical considerations have been largely overlooked in previously published algorithms. Many user requirements for an editing system necessarily impact on the design of its incremental parser, but most approaches focus only on one: response time. This paper details an incremental parser based on LR parsing techniques and designed for use in a modeless syntax recognition editor. The nature of this editor places significant demands on the structure and quality of the document representation it uses, and hence, on the parser. The strategy presented here is novel in that both the parser and the representation it constructs are tolerant of the inevitable and frequent syntax errors that arise during editing. This is achieved by a method that differs from conventional error repair techniques, and that is more appropriate for use in an interactive context. Furthermore, the parser aims to minimize disturbance to this representation, not only to ensure other system components can operate incrementally, but also to avoid unfortunate consequences for certain user-oriented services. The algorithm is augmented with a limited form of predictive tree-building, and a technique is presented for the determination of valid symbols for menu-based insertion. Copyright (C) 2001 John Wiley & Sons, Ltd.

A critical comparison of the external and internal boron requirements for contrasting species in boron-buffered solution culture

Despite reports that boron (B) requirements differ among plant species there is a shortage of critical evidence to demonstrate unequivocally whether species differ in internal or external B requirements or both. The present research was conducted to establish the external and internal B requirements of three contrasting species, a woody dicot (marri), an herbaceous dicot (sunflower) and a monocot (wheat) using B-buffered solution culture. Boron-buffered solution culture provided satisfactory control of external B concentrations ranging from 0.04 to 30 muM throughout the 20- (sunflower and wheat) or 40-day (marri) growth period. At low external B concentrations (less than or equal to 0.13 muM), the growth of marri and sunflower was severely depressed but by contrast the vegetative growth of wheat plants was satisfactory and free of B deficiency symptoms. Marri and sunflower plants achieved total maximum shoot growth at greater than or equal to1.2 muM B in solutions while wheat plants did so at greater than or equal to 0.6 muM B. The critical B concentrations (mg kg(-1) dry matter) in the youngest open leaf blades of marri, sunflower and wheat plants were 17.9, 19.7 and 1.2 on 20, 10 and 10 days after transplanting (DAT), respectively. Lower internal and external B requirements of wheat were matched by a lower uptake rate of B compared to marri and sunflower.