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.

The low fertility of repeat-breeder cows during summer heat stress is related to a low oocyte competence to develop into blastocysts

It was hypothesized the lower fertility of repeat-breeder (RB) Holstein cows is associated with oocyte quality and this negative effect is enhanced during summer heat stress (HS). During the summer and the winter, heifers (H; n = 36 and 34, respectively), peak-lactation (PL; n = 37 and 32, respectively), and RB (n = 36 and 31, respectively) Holstein cows were subjected to ovum retrieval to assess oocyte recovery, in vitro embryonic developmental rates, and blastocyst quality [terminal deoxynucleotidyl transferase-mediated dUTP nick end labeling (TUNEL)-positive cells and total cell number]. The environmental temperature and humidity, respiration rate, and cutaneous and rectal temperatures were recorded in both seasons. The summer HS increased the respiration rate and the rectal temperature of PL and RB cows, and increased the cutaneous temperature and lowered the in vitro embryo production of Holstein cows and heifers. Although cleavage rate was similar among groups [H = 51.7% +/- 4.5 (n = 375), PL = 37.9% +/- 5.1 (n = 390), RB = 41.9% +/- 4.5 (n = 666)], blastocyst rate was compromised by HS, especially in RB cows [H = 30.3% +/- 4.8 (n = 244) vs. 23.3% +/- 6.4 (n = 150), PL = 22.0% +/- 4.7 (n = 191) vs. 14.6% +/- 7.6 (n = 103), RB = 22.5% +/- 5.4 (n = 413) vs. 7.9% +/- 4.3 (n = 177)]. Moreover, the fragmentation rate of RB blastocysts was enhanced during the summer, compared with winter [4.9% +/- 0.7 (n = 14) vs. 2.2% +/- 0.2 (n = 78)] and other groups [H = 2.5% +/- 0.7 (n = 13), and PL = 2.7% +/- 0.6 (n = 14)] suggesting that the association of RB fertility problems and summer HS may potentially impair oocyte quality. Our findings provide evidence of a greater sensitivity of RB oocytes to summer HS.

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.