Compilation by refinement for a practical assembly language

In this paper we extend the conventional framework of program refinement down to the assembler level. We describe an extension to the Refinement Calculus that supports the refinement of programs in the Guarded Command Language to programs in .NET assembler. This is illustrated by a small example.

Scaffolding and bilingual shared reading experiences: Promoting primary school students' learning and development

This paper explores the connections between scaffolding, second language learning and bilingual shared reading experiences. A socio- cultural theory of cognition underpins the investigation, which involved implementing a language and culture awareness program (LCAP) in a year 4 classroom and in the school community. Selected passages from observations are used to analyse the learning of three students, particularly in relation to languages other than English (LOTE). As these three case study students interacted in the classroom, at home and in the community, they co-constructed, appropriated and applied knowledge form one language to another. Through scaffolding, social spaces were constructed, where students learning and development were extended through a variety of activities that involved active participation, such as experimenting with language, asking questions and making suggestions. Extending these opportunities for student learning and development is considered in relation to creating teaching and learning environments that celebrate socio-cultural and linguistic diversity.

Cot-nursing using a heated, water-filled mattress and incubator care: a randomized clinical trial

Aims: To evaluate the thermal responses and weight gain in preterm infants nursed in a cot on a heated, water-filled mattress (HWM) compared with infants receiving care in an air-heated incubator and to compare mothers' stress, anxiety levels and perceptions of their infants in the two groups. Methods: Stable preterm infants weighing 1300 to 1500 g were enrolled, being randomly allocated to either the study group (n = 41) receiving care in a cot on an HWM, or the control group ( n = 33) receiving incubator care. The mean daily body temperature and episodes of cold stress and hyperthermia were recorded. Weight gain (g kg(-1) body weight d(-1)) was also calculated. The mothers completed questionnaires on their perceptions of their infants, and their anxiety and stress levels before randomization, and 2 - 3 wk later during the trial. Results: The mean body temperature was similar for the first week of the trial ( study group 36.9degreesC vs controls 36.9degreesC). There were no significant differences in the incidence of cold stress, while more hyperthermic episodes were seen in the study group ( p = 0.03). There were no significant differences in weight gain during the first ( study group 21.4 g vs controls 19.6 g) or second weeks of the trial ( study group 20.5 g vs controls 19.2 g). Neonatal morbidity did not differ between the groups. There were no differences in mothers' perceptions of their babies, or feelings of stress or anxiety. Conclusion: There were no differences between infants cot-nursed on an HWM and those receiving incubator care, with the exception of episodes of high temperature. The results suggest that the HWM may be used safely for low-weight preterm infants.

Mid-late Holocene monsoon climate retrieved from seasonal Sr/Ca and delta O-18 records of Porites lutea corals at Leizhou Peninsula, northern coast of South China Sea

South China Sea (SCS) is a major moisture source region, providing summer monsoon rainfall throughout Mainland China, which accounts for more than 80% total precipitation in the region. We report seasonal to monthly resolution Sr/Ca and delta(18)O data for five Holocene and one modem Porites corals, each covering a growth history of 9-13 years. The results reveal a general decreasing trend in sea surface temperature (SST) in the SCS from similar to 6800 to 1500 years ago, despite shorter climatic cycles. Compared with the mean Sr/Ca-SST in the 1990s (24.8 degrees C), 10-year mean Sr/Ca-SSTs were 0.9-0.5 degrees C higher between 6.8 and 5.0 thousand years before present (ky BP), dropped to the present level by similar to 2.5 ky BP, and reached a low of 22.6 degrees C (2.2 degrees C lower) by similar to 1.5 ky BP. The summer Sr/Ca-SST maxima, which are more reliable due to faster summer-time growth rates and higher sampling resolution, follow the same trend, i.e. being 1-2 degrees C higher between 6.8 and 5.0 ky BP, dropping to the present level by -2.5 ky BP, and reaching a low of 28.7 degrees C (0.7 degrees C lower) by similar to 1.5 ky BP. Such a decline in SST is accompanied by a similar decrease in the amount of monsoon moisture transported out of South China Sea, resulting in a general decrease in the seawater delta(18)O values, reflected by offsets of mean 6 180 relative to that in the 1990s. This observation is consistent with general weakening of the East Asian summer monsoon since early Holocene, in response to a continuous decline in solar radiation, which was also found in pollen, lake-level and loess/paleosol records throughout Mainland China. The climatic conditions similar to 2.5 and similar to 1.5 ky ago were also recorded in Chinese history. In contrast with the general cooling trend of the monsoon climate in East Asia, SST increased dramatically in recent time, with that in the 1990s being 2.2 degrees C warmer than that similar to 1.5 ky ago. This clearly indicates that the increase in the concentration of anthropogenic greenhouse gases played a dominant role in recent global warming, which reversed the natural climatic trend in East Asian monsoon regime. (c) 2004 Elsevier B.V. All rights reserved.

Aboriginal self-determination in Australia - The effects of minority-majority frames and target universalism on majority collective guilt and compensation attitudes

In the context of Aboriginal-Anglo Australian relations, we tested the effect of framing (multiculturalism versus separatism) and majority group members' social values (universalism) on the persuasiveness of Aboriginal group rhetoric, majority collective guilt, attitudes toward compensation, and reparations for Aboriginals. As predicted, Anglo Australians who are low on universalism report more collective guilt when presented with a multiculturalist than a separatist Aboriginal frame, whereas those high on universalism report high levels of guilt independent of frame. The same pattern was predicted and found for the persuasiveness of the rhetoric and attitudes toward compensation. Our data suggest that (a) for individuals low in universalism, framing produces attitudes consonant with compensation because it produces collective guilt and (b) the reason that universalists are more in favor of compensation and reparation is because of high collective guilt. We discuss the strategic use of language to create power through the manipulation of collective guilt in political contexts.

Management of a previously eroded tropical Alfisol with herbaceous legumes: Soil loss and physical properties under mound tillage

A study was carried out on a previously eroded Oxic Paleustalf in Ibadan, southwestern Nigeria to determine the extent of soil degradation under mound tillage with some herbaceous legumes and residue management methods. A series of factorial experiments was carried out on 12 existing runoff plots. The study commenced in 1996 after a 5-year natural fallow. Mound tillage was introduced in 1997 till 1999. The legumes - Vigna unguiculata (cowpea), Mucuna pruriens and Pueraria phaseoloides - were intercropped with maize in 1996 and 1998 while yam was planted alone in 1997 and 1999. This paper covers 1997-1999. At the end of each year, residues were either burned or mulched on respective plots. Soil loss, runoff, variations in mound height, bulk density, soil water retention and sorptivity were measured. Cumulative runoff was similar among interactions of legume and residue management in 1997 (57-151 mm) and 1999 (206-397 mm). However, in 1998, cumulative runoff of 95 mm observed for Mucuna-burned residue was significantly greater than the 46 mm observed for cowpea-burned residue and the 39-51 mm observed for mulched residues of cowpea, Mucuna and Pueraria. Cumulative soil loss of 7.6 Mg ha(-1) observed for Mucuna-burned residue in 1997 was significantly greater than those for Pueraria-mulched (0.9 Mg ha(-1)) and Mucuna-mulched (1.4 Mg ha(-1)) residues whereas in 1999 it was similar to soil loss from cowpea treatments and Pueraria-burned residue (2.3-5.3 Mg ha(-1)). There were no significant differences in soil loss in 1998 (1-3.2 Mg ha(-1)) whereas Mucuna-burned residue had a greater soil loss (28.6 Mg ha(-1)) than mulched cowpea (6.9 Mg ha(-1)) and Pueraria (5.4 Ms ha(-1)). Mound heights (23 cm average) decreased non-linearly with cumulative rainfall. A cumulative rainfall of 500 mm removed 0.3-2.3 cm of soil from mounds in 1997, 3.5-6.9 cm in 1998 and 2.3-4.6 cm in 1999, indicating that (detached but less transported) soil from mounds was far higher than observed soil loss in each year. Soil water retention was improved at potentials ranging from -1 to -1500 kPa by Mucuna-mulched residue compared to the various burned-residue treatments. Also, mound sorptivity at -1 cm water head (14.3 cm h(-1/2)) was higher than furrow sorptivity (8.5 cm h(-1/2)), indicating differences in hydraulic characteristics between mound and furrow. Pueraria-mulched residues for mounds had the highest sorptivity of 17.24 cm h(-1/2), whereas the least value of 6.96 cm h(-1/2) was observed in furrow of Mucuna-burned residue. Pueraria phas eoloides was considered the best option for soil conservation on the previously eroded soil, cultivated with mound tillage. (c) 2005 Elsevier B.V. All rights reserved.

Prevalence, severity, and heritability of Stephanofilaria lesions on cattle in central and southern Queensland, Australia

Observations of cattle in central and southern Queensland are collated to de. ne the prevalence and area of Stephanofilaria lesions associated with infestations of the buffalo fly, Haematobia irritans exigua. The observations were made on herds that were being used for other purposes. In a survey of similar to 1500 animals at Belmont in central Queensland in 1982, 98% of cows and 70% of calves had lesions. Most lesions were on the neck and dewlap and 10% were raw and weeping at the time of sampling. The total area of lesions per animal was strongly related to cattle breed and age. Old Bos taurus animals had the greatest area of lesions, whereas young Bos indicus had the least. Heritability estimates were low, averaging 0.01 for calves and 0.18 for cows. A smaller survey of cows and steers at Craighoyle in central Queensland in 1986 showed a higher numbers of lesions and positive correlations between the total lesion area and animal size. The lesion area increased with tick survival, suggesting that tick-resistant animals are also resistant to Stephanofilaria infection. Steers had smaller areas of lesions than cows, as found previously with cattle ticks. Long-term monitoring observations in central and southern Queensland between 1981 and 1986 showed that the total area of lesions was seasonal with a peak in late summer, consistent with the seasonal incidence of buffalo fly. Animals segregated into Low and High lesion herds maintained their differences over time. The lesions penetrated the dermis of the cattle hides and rendered the affected area unusable, but few lesions occurred on valuable parts of the hide so such economic effects are likely to be insignificant. One animal nearly died of a haemorrhage from a lesion on the dewlap and had to be treated. The results can inform policy on buffalo fly control, and biosecurity preparations in relation to the potential establishment of the OldWorld screw-worm fly, Chrysomyia bezziana, in Australia, which will be facilitated by the lesions. The results emphasise the significant animal welfare and biosecurity risks posed by the lesions in northern Australia.

Model checking Z specifications using SAL

The Symbolic Analysis Laboratory (SAL) is a suite of tools for analysis of state transition systems. Tools supported include a simulator and four temporal logic model checkers. The common input language to these tools was originally developed with translation from other languages, both programming and specification languages, in mind. It is, therefore, a rich language supporting a range of type definitions and expressions. In this paper, we investigate the translation of Z specifications into the SAL language as a means of providing model checking support for Z. This is facilitated by a library of SAL definitions encoding the Z mathematical toolkit.