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.

Effect of temperature and heating rate on the sintering of leucite-based dental porcelains

The aim of this work was to determine the effect of temperature and heating rate on the densification of four leucite-based dental porcelains: two low-fusion (Dentsply Ceramco and Ivoclar) and two high-fusion commercial porcelains (Dentsply Ceramco). Porcelain powders were characterized by differential thermal analysis (DTA), X-ray diffraction (XRD), particle size distribution, helium picnometry, and by scanning electron microscopy. Test specimens were sintered from 600 to 1050 degrees C, with heating rates of 55 degrees C/min and 10 degrees C/min. The bulk density of the specimens was measured by the Archimedes method in water, and microstructures of fracture surfaces were analyzed by scanning electron microscopy (SEM). The results showed that densification of specimens increased with the increase in temperature. The increase in the heating rate had no effect on the densification of the porcelains studied. Both high-fusion materials and one of the low-fusing porcelains reached the maximum densification at a temperature that was 50 degrees C lower than that recommended by the manufactures. (C) 2011 Elsevier Ltd and Techna Group S.r.l. All rights reserved.

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.

Quaternary continental weathering geochronology by laser-heating Ar-40/Ar-39 analysis of supergene cryptomelane

Incremental laser-heating analyses of supergene cryptomelane clusters extracted from three distinct weathering profiles from the Mary Valley region, southeast Queensland, Australia, yield reproducible and well-defined plateau ages ranging from 346 +/- 15 to 291 +/- 14 ka (2 a). Precipitation of supergene cryptomelane in this period implies that relative humid climate prevailed in southeast Queensland from 340 to 290 ha, a result consistent with oxygen isotope analyses of marine sediments from Ocean Drilling Program Site 820 and with regional pollen and spore records. These results, the first report on the precise Ar-40/Ar-39 dating of Quaternary supergene cryptomelane, indicate that Ar-40/Ar-39 analysis of pedogenic minerals provides a reliable geochronometer for the study of Quaternary surficial processes useful in the study of soil formation rates, continental paleoclimates, and archaeological sites devoid of datable volcanic minerals.

Using Theory to Understand the Multiple Determinants of Low Participation in Worksite Health Promotion Programs

Low participation at the employee or worksite level limits the potential public health impact of worksite-based interventions. Ecological models suggest that multiple levels of influence operate to determine participation patterns in worksite health promotion programs. Most investigations into the determinants of low participation study the intrapersonal, interpersonal, and institutional influences on employee participation. Community- and policy-level influences have not received attention, nor has consideration been given to worksite-level participation issues. The purpose of this article is to discuss one macrosocial theoretical perspective—political economy of health—that may guide practitioners and researchers interested in addressing the community- and policy-level determinants of participation in worksite health promotion programs. The authors argue that using theory to investigate the full spectrum of determinants offers a more complete range of intervention and research options for maximizing employee and worksite levels of participation.

Youth unemployment outflow rates and labor market programs: Australian evidence

A matching function methodology is used to investigate the macroeconomic effects of labor market program (LMP) commencements on youth unemployment outflows in Australia using unpublished data that classify commencements and outflows by duration of unemployment. The results indicate that LMPs have had significant effects on outflows from short-term unemployment. There is a net positive effect from LMP commencements on short-term unemployed female outflow rates. However; females experienced negative spillover effects from male LMP commencements. These spillover effects appear to be associated with wage subsidy programs and suggest the net impact Of such programs may have been overstated in previous studies.