Incremental derivation of abstraction relations for data refinements

Data refinements are refinement steps in which a program’s local data structures are changed. Data refinement proof obligations require the software designer to find an abstraction relation that relates the states of the original and new program. In this paper we describe an algorithm that helps a designer find an abstraction relation for a proposed refinement. Given sufficient time and space, the algorithm can find a minimal abstraction relation, and thus show that the refinement holds. As it executes, the algorithm displays mappings that cannot be in any abstraction relation. When the algorithm is not given sufficient resources to terminate, these mappings can help the designer find a suitable abstraction relation. The same algorithm can be used to test an abstraction relation supplied by the designer.

A Comparison of Paediatric Occupational Therapy University Program Curricula in New Zealand, Australia, and Canada

Comparisons were made of the paediatric content of professional entry-level occupational therapy university program curricula in Australia, New Zealand, and Canada using an ex post facto surveymethodology. The findings indicated that in Australia/New Zealand, paediatrics made up 20% of the total curriculum, but only 13% in Canada. Canadian reference materials were utilized less often in Canadian universities than in Australia/New Zealand. Theories taught most often in Australia/New Zealand were: Sensory Integration, Neurodevelopmental Therapy, Client-Centered Practice, Playfulness, and the Model of Human Occupation. In Canada, the most frequent theories were: Piaget’s Stages ofCognitive/Intellectual Development, Neurodevelopmental Therapy, Erikson’s Eight Stages of Psychosocial Development and Sensory Integration. The most frequently taught paediatric assessment tools in both regions were the Bruininks-Oseretsky Test of Motor Proficiency and Miller Assessment for Preschoolers. Paediatric interventionmethods taught to students in all three countries focused on activities of daily living/self-care, motor skills, perceptual and visual motor integration, and infant and child development. [Article copies available for a fee from The Haworth Document Delivery Service: 1-800-HAWORTH. E-mail address: Website: ©2006 by The Haworth Press, Inc. All rights reserved.]

A new breed of doctor? Lessons learned and changes made to library services for the MBBS program at the University of Queensland

November 2000 saw the graduation of the first cohort from the new MBBS Program at The University of Queensland. The fully integrated problem-based curriculum has provided many challenges and opportunities for The University of Queensland Library such as servicing an extensive remote student population, information technology issues and customer demand. In October 2000 all four years of the MBBS Program completed a survey on related issues such as the library's collection, web-based resources, information skills and evidence-based medicine. This paper focuses on the results of the survey, and the future directions of the library to ensure that the new doctors graduating from this program gain the essential attributes of life-long learning, information management and evidence-based principles.

Leadership Attributes and Cultural Values in Australia and New Zealand Compared: An Initial Report Based on GLOBE Data.

This paper reports a comparative study of Australian and New Zealand leadership attributes, based on the GLOBE (Global Leadership and Organizational Behavior Effectiveness) program. Responses from 344 Australian managers and 184 New Zealand managers in three industries were analyzed using exploratory and confirmatory factor analysis. Results supported some of the etic leadership dimensions identified in the GLOBE study, but also found some emic dimensions of leadership for each country. An interesting finding of the study was that the New Zealand data fitted the Australian model, but not vice versa, suggesting asymmetric perceptions of leadership in the two countries.

Interval breast cancers in an Australian mammographic screening program

Objective: To determine the incidence of interval cancers which occurred in the first 12 months after mammographic screening at a mammographic screening service. Design: Retrospective analysis of data obtained by crossmatching the screening Service and the New South Wales Central Cancer Registry databases. Setting: The Central & Eastern Sydney Service of BreastScreen NSW. Participants: Women aged 40-69 years at first screen, who attended for their first or second screen between 1 March 1988 and 31 December 1992. Main outcome measures: Interval-cancer rates per 10 000 screens and as a proportion of the underlying incidence of breast cancer (as estimated by the underlying rate in the total NSW population). Results: The 12-month interval-cancer incidence per 10 000 screens was 4.17 for the 40-49 years age group (95% confidence interval [CI], 1.35-9.73) and 4.64 for the 50-69 years age group (95% CI, 2.47-7.94). Proportional incidence rates were 30.1% for the 40-49 years age group (95% CI, 9.8-70.3) and 22% for the 50-69 years age group (95% CI, 11.7-37.7). There was no significant difference between the proportional incidence rate for the 50-69 years age group for the Central & Eastern Sydney Service and those of major successful overseas screening trials. Conclusion: Screening quality was acceptable and should result in a significant mortality reduction in the screened population. Given the small number of cancers involved, comparison of interval-cancer statistics of mammographic screening programs with trials requires age-specific or age-adjusted data, and consideration of confidence intervals of both program and trial data.

A bleach program for inmates in NSW: an HIV prevention strategy

Syringe cleaning guidelines for injecting drug users (IDUs) were revised in 1993. This paper examines efforts by IDUs in NSW prisons to adopt the revised guidelines in 1994. Consecutive inmates (229) nearing release were visited and asked to call a toll free number for an interview once released. Respondents (102) did not differ from non-respondents (127). Many respondents (64%) reported ever injecting and many of these reported injecting (58%), sharing (48%) and syringe cleaning (46%) when last in prison. Some (23%) respondents reported adopting the revised syringe cleaning guidelines. Tattooing (38%) was reported more often than sexual activity in prison (4%). A new methodology for prison research was found to be feasible in this study. The potential for HIV to spread in prison still poses major public health challenges.

Cancer knowledge and skills of interns in Australia and New Zealand in 2001: comparison with 1990, and between course types

Objective: To compare the cancer knowledge and skills of interns in 2001 who graduated from graduate medical program (GMP) courses with those from non-GMP courses, and to compare the cancer knowledge and skills of interns in 2001 with those who completed a similar survey in 1990. Design: Questionnaire survey of recently graduated interns in a random sample of Australian and New Zealand hospitals. The questionnaire was designed to allow direct comparison with the 1990 survey, and was guided by the Australian Cancer Society's Ideal Oncology Curriculum for Medical Schools. Results: 443 interns completed the survey (response rate, 62%; 42 were excluded, leaving 401 surveys for analysis: 118 from GMP courses and 283 from non-GMP courses). Interns from GMP courses felt more competent than those from non-GMP courses at discussing death (P= 0.02), breaking bad news (P= 0.04) and advising on smoking cessation (P= 0.02), but less competent at preparing a patient for a hazardous procedure (P= 0.02). Mote GMP interns would refer a breast cancer patient to a multidisciplinary clinic (83% versus 70%; P= 0.03). Knowledge about cancer risks and prognosis was significantly less in GMP interns, but GMP interns rated their clinical skills, such as taking a Pap smear, higher than non-GMP interns. The GMP and non-GMP groups did not differ in their exposure to cancer patients, but compared with 1990 interns recent graduates had less exposure to patients with cancer. Conclusions: GMP curricula appear to have successfully introduced new course material and new methods of teaching, but have not always succeeded in producing doctors with better knowledge about cancer. Recent graduates have less exposure to cancer patients than those who trained 10 years ago.

Population-based mammography screening and breast cancer incidence in New South Wales, Australia

To analyse breast cancer incidence trends in New South Wales (NSW), Australia, in relation to population-based mammography screening targeting women aged 50 to 69 years. Trends in age-specific incidence of invasive breast cancers in NSW women aged >= 40 years were examined in relation to mammography screening rates and screening cancer detection rates. Incidence of invasive breast cancer in NSW women increased in all age-groups over 1972 to 2002. The incidence trend for women aged 50 to 69 years showed that the steepest rise was associated with increased participation in population-based mammography screening, which was implemented from 1988 and achieved state-wide coverage in 1995. The elevated incidence of invasive cancer significantly exceeded pre-screening levels, and persisted after rates of initial screens declined. This elevated incidence was sustained by the contribution of cancers diagnosed through subsequent screening, and resulted from increased cancer detection rates in subsequent screens. The recent increase in invasive breast cancer incidence in NSW is associated with mammography screening, and occurred mostly in the target age-group women. Persistence of higher incidence after 1994 was not explicable by inflation of cancer incidence due to detection of prevalent screen cases, but was associated with a trend of increased cancer detection rates in subsequent screening rounds, probably consequent to quality improvements in mammography screening diagnosis.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.