Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Women's health Australia: On the progress of the main cohort studies

More than 41,000 women aged 18-23, 45-50, and 70-75 years in 1996 are participating in the Australian Longitudinal Study on Women's Health (Women's Health Australia). Baseline surveys were conducted for all three cohorts in 1996, and the first follow-up survey of the mid-age group in 1998 has achieved a response rate exceeding 90%. The main findings so far reflect the large differences in the life experiences of the three cohorts. The young women report high levels of stress. The physical and mental health of those with young children is worse than for those without children, but confounding by sociodemographic characteristics may account for the differences. Two thirds of young women in the healthy weight or underweight range would like to weigh less, and early onset of dieting is associated with poorer physical and mental health. Most of the women in the mid-age group have multiple roles-in paid work, home duties, and caring for children and other dependents. The potential of the study to investigate the long-term impact of such busy lives on health outcomes is considerable. At this stage, the main health issues for these women relate to tiredness, weight gain, and menopause. The older cohort presents a picture of positive aging. These women are heavier users of health services than the mid-age and younger women, and they are also more satisfied with these services. Although their physical health is poorer, their mental health is better, and they report less stress than women in the other two cohorts. The follow-up survey of this group, planned for 1999, will focus on the coping strategies used by these women. An overall goal of the project is to understand the interactions among social roles, life events, and women's health in order to provide a basis for improved health policies and services. Analysis of these interactions, which relies on both quantitative and qualitative data, poses many challenges that will be addressed as the longitudinal data become available.

Progress in high field MRI at the University of Florida

In this article we report on progress in high magnetic field MRI at the University of Florida in support of our new 750MHz wide bore and 11.7T/40cm MR instruments. The primary emphasis is on the associated rf technology required, particularly high frequency volume and phased array coils. Preliminary imaging results at 750MHz are presented. Our results imply that the pursuit of even higher fields seems warranted. (C) 2002 Elsevier Science B.V. All rights reserved.

Progress in integrated assessment and modelling

Environmental processes have been modelled for decades. However. the need for integrated assessment and modeling (IAM) has,town as the extent and severity of environmental problems in the 21st Century worsens. The scale of IAM is not restricted to the global level as in climate change models, but includes local and regional models of environmental problems. This paper discusses various definitions of IAM and identifies five different types of integration that Lire needed for the effective solution of environmental problems. The future is then depicted in the form of two brief scenarios: one optimistic and one pessimistic. The current state of IAM is then briefly reviewed. The issues of complexity and validation in IAM are recognised as more complex than in traditional disciplinary approaches. Communication is identified as a central issue both internally among team members and externally with decision-makers. stakeholders and other scientists. Finally it is concluded that the process of integrated assessment and modelling is considered as important as the product for any particular project. By learning to work together and recognise the contribution of all team members and participants, it is believed that we will have a strong scientific and social basis to address the environmental problems of the 21st Century. (C) 2002 Elsevier Science Ltd. All rights reserved.

Phylogeny, evolution and historical zoogeography of ticks: a review of recent progress

There has been much progress in our understanding of the phylogeny and evolution of ticks, particularly hard ticks, in the past 5 years. Indeed, a consensus about the phylogeny of the hard ticks has emerged. Our current working hypothesis for the phylogeny of ticks is quite different to the working hypothesis of 5 years ago. So that the classification reflects our knowledge of ticks, several changes to the nomenclature of ticks are imminent. One subfamily, the Hyalomminae, will probably be sunk, yet another, the Bothriocrotoninae n. subfamily, will be created. Bothriocrotoninae n. subfamily, and Bothriocroton n. genus, are being created to house an early-diverging ('basal') lineage of endemic Australian ticks that used to be in the genus Aponomma (ticks of reptiles). There has been progress in our understanding of the subfamily Rhipicephalinae. The genus Rhipicephalus is almost certainly paraphyletic with respect to the genus Boophilus. Thus, the genus Boophilus will probably become a subgenus of Rhipicephalus. This change to the nomenclature, unlike other options, will keep the name Boophilus in common usage. Rhipicephalus (Boophilus) microplus may still called B. microplus, and Rhipicephalus (Boophilus) annulatus may still be called B. annulatus, but the nomenclature will have been changed to reflect our knowledge of the phylogeny and evolution of these ticks. New insights into the historical zoogeography of ticks will also be presented.