Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

A field study conducted at Kidston Gold Mine, to evaluate the impact of arsenic and zinc from mine tailing to grazing cattle

The grazing trial at Kidston Gold Mine, North Queensland, was aimed specifically to assess the uptake of metals from the tailing and the potential for unacceptable contamination of saleable meat. Further aims included estimating metal dose rates and identifying potential exposure pathways including plant uptake of heavy metals, mine tailings adhered to plants and direct ingestion of mine tailing. It was found that of the 11 metals analysed (As, Zn, Co, Cd, Cr, Sn, Pb, Sb, Hg, Se and Ni) in the animal's liver, muscle and blood during the 8-month trial period, only accumulation of arsenic and zinc occurred. A risk assessment including these two metals was conducted to determine the potential for chronic metal toxicity and long-term contamination, using the estimates of metal dose rate. It was concluded that no toxicity or long-term contamination in cattle was likely at this site. Management procedures were therefore not required at this site; however, the results highlight percent ground cover and standing dry matter (DM) as important factors in decreasing metal exposure from direct ingestion of tailings and dust adhered to plants. (C) 2002 Elsevier Science Ireland Ltd. All rights reserved.

Establishment of metanephros transplantation in mice highlights contributions by both nephrectomy and pregnancy to developmental progression

Background: It has been demonstrated that embryonic kidneys (metanephroi) xenotransplanted into the omentum of adult recipients continue to develop and display immune protection due to their more nave immune presentation. To date, this has been achieved using rat, pig and human metanephroi, with unilateral nephrectomy (UNX) of recipient rats a requisite of renal development. The aim of this study was to adapt this approach for use in mice and examine the parameters affecting successful onward development in this species. Methods: Metanephroi at embryonic age (E) 13.5 were transplanted either onto the body wall, abdominal fat pads or omentum of recipient isogenic C57/Bl6 mice using either sutures or polyglycolic acid mesh. Having established greatest success with polyglycolic acid mesh on the body wall, E12.5 and 15.5 days metanephroi from C57/Bl6 mice were then transplanted onto the body wall of control (non-pregnant non-UNX), UNX or 12.5 days post-coitum pregnant isogenic recipients. After 7 days, implanted tissue was harvested and examined using histology and immunohistochemistry for markers of renal maturation. The mean number of S-shaped bodies and glomeruli per section were recorded and statistically analysed for significant differences between all recipient groups and untransplanted metanephroi. The degree of development was scored qualitatively. Results: Transplanted E12.5 metanephroi developed S-shaped bodies and glomeruli in all recipient groups, although there were statistically higher numbers of S-shaped bodies in UNX (n = 2) and pregnant recipients (n = 9) than in control recipients (n = 4). Continued development, as indicated by mature vascularized glomeruli, was only observed in those E15.5 metanephroi transplanted into pregnant recipients (n = 11) with a 15.5-fold increase in S-shaped bodies and 4-fold increase in glomeruli compared with control transplants (n = 12). Conclusions: We have successfully established metanephros transplantation in mice and demonstrated enhancement of onward development of E12.5 metanephroi in response to both pregnancy and UNX. Using E15.5 metanephroi, continued development only occurred in pregnant recipients, implying pregnancy provides an environment conducive to continued organogenesis. This murine assay, when coupled with transgenically-tagged strains of mice, will allow the investigation of the relative contribution of donor and recipient cells to this process. Copyright (C) 2005 S. Karger AG, Basel.

Using a clinical pathway and education to reduce inappropriate prescribing of enoxaparin in patients with acute coronary syndromes: a controlled study

Aims: To evaluate efficacy of a pathway-based quality improvement intervention on appropriate prescribing of the low molecular weight heparin, enoxaparin, in patients with varying risk categories of acute coronary syndrome (ACS). Methods: Rates of enoxaparin use retrospectively evaluated before and after pathway implementation at an intervention hospital were compared to concurrent control patients at a control hospital; both were community hospitals in south-east Queensland. The study population was a group of randomly selected patients (n = 439) admitted to study hospitals with a discharge diagnosis of chest pain, angina, or myocardial infarction, and stratified into high, intermediate, low-risk ACS or non-cardiac chest pain: 146 intervention patients (September-November 2003), 147 historical controls (August-December 2001) at the intervention hospital; 146 concurrent controls (September-November 2003) at the control hospital. Interventions were active implementation of a user-modified clinical pathway coupled with an iterative education programme to medical staff versus passive distribution of a similar pathway without user modification or targeted education. Outcome measures were rates of appropriate enoxaparin use in high-risk ACS patients and rates of inappropriate use in intermediate and low-risk patients. Results: Appropriate use of enoxaparin in high-risk ACS patients was above 90% in all patient groups. Inappropriate use of enoxaparin was significantly reduced as a result of pathway use in intermediate risk (9% intervention patients vs 75% historical controls vs 45% concurrent controls) and low-risk patients (9% vs 62% vs 41%; P < 0.001 for all comparisons). Pathway use was associated with a 3.5-fold (95% CI: 1.3-9.1; P = 0.012) increase in appropriate use of enoxaparin across all patient groups. Conclusion: Active implementation of an acute chest pain pathway combined with continuous education reduced inappropriate use of enoxaparin in patients presenting with intermediate or low-risk ACS.

Near-hanging as presenting to hospitals in Queensland: Recommendations for practice

Near-hanging is an increasing presentation to hospitals in Australasia. We reviewed the clinical management and outcome of these patients as they presented to public hospitals in Queensland. A retrospective clinical record audit was made at five public hospitals between 1991 and 2000. Of 161 patients enrolled, 82% were male, 8% were Indigenous and 10% had made a previous hanging attempt. Chronic medical illnesses were documented in 11% and previous psychiatric disorders in 42%. Of the 38 patients with a Glasgow Coma Scale score (GCS) of 3 on arrival at hospital, 32% returned to independent living and 63% died. Fifty two patients received CPR, of whom 46% had an independent functional outcome. Independent predictors of mortality were a GCS on hospital arrival of 3 (AOR 150, CI 95% 12.4-1818, P