Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

Making decisions about treatment for localized prostate cancer

Objective To describe the decision-making processes used by men diagnosed with localized prostate cancer who were considering treatment. Patients and methods Men newly diagnosed with localized prostate cancer from outpatient urology clinics and urologist's private practices were approached before treatment. Their decision-making processes and information-seeking behaviour was assessed; demographic information was also obtained. Results Of 119 men approached, 108 (90%) were interviewed; 91% reported non-systematic decision processes, with deferral to the doctor, positive and negative recollections of others' cancer experiences, and the pre-existing belief that surgery is a better cancer treatment being most common. For systematic information processing the mean (SD, range) number of items considered was 4.19 (2.28, 0-11), with 57% of men considering four or fewer treatment/medical aspects of prostate cancer. Men most commonly considered cancer stage (59%), urinary incontinence (55%) and impotence (51%) after surgery, and low overall mortality (45%). Uncertainty about probabilities for cure was reported by 43% of men and fear of cancer spread by 37%. Men also described uncertainty about the probabilities of side-effects (27%), decisional uncertainty (25%) and anticipated decisional regret (18%). Overall, 73% of men sought information about prostate cancer from external sources, most commonly the Internet, followed by family and friends. Conclusions In general, men did not use information about medical treatments comprehensively or systematically when making treatment decisions, and their processing of medical information was biased by their previous beliefs about cancer and health. These findings have implications for the provision of informational and decisional support to men considering prostate cancer treatment.

Amphitheater staging: In-the-round or to the front (and what about asides)?

When the existence in Utrecht of the DeWitt/Van Buchel drawing of the Swan Theater became known in 1888, William Poel was already seven years into his inquiries into the best means of staging the public amphitheater and great hall plays of the English Renaissance.1 I mention this to emphasize that the discourse came before the fact: the belief that Shakespeare's plays are best staged as it was then imprecisely imagined they had once been staged-simply, without elaborate settings or time-consuming scene changes, with direct actor-audience address, "in-the-round"-had as much to do with reactions against the late nineteenth-century stage's pictorialism, with its set-changing interruptions and cut-and-paste revisions to Shakespeare's texts, as it had to do with presenting the Bard "authentically." Some of the confusion caused by the uneasy mixing of historical scholarship and the assumptions and practices of our own contemporary theater profession can be glimpsed in the phenomenon of modern in-the-round staging, often claimed as a more "authentic" approach to Shakespeare in performance, but one which is then modified to make possible post-Stanislavsky acting methods and to satisfy modern audience expectations.

Communicating with the community about grieving: A description and review of the foundations of a broken leg analogy of grieving

With loss permeating the lives of all people throughout the entire life span and its potential for serious long-term deleterious effects, providing effective care for those experiencing situations of loss would be an important element of any preventive community-based mental health promotion approach. The low use of mental health services by those confronted with loss, and the lack of such services in many areas, makes it imperative to enhance the competency of the broader community to provide appropriate care during times of loss. Contributory to such care is a sound knowledge of the literature concerning loss and grieving. The broken leg analogy of grief presented in this article integrates the traditional and emerging grief theories and empirical evidence into an analogy of grieving that can be easily communicated to the general community, is relevant to many losses. and vet upholds the differing positions concerning grieving held by various schools of psychiatric thought.

Food Cent$: Educating mothers with a mental illness about nutrition

People with a mental illness can have deficits in a range of areas, including food skills. Mothers who have a mental illness and have residential care of their children are particularly vulnerable to experiencing food insecurity. The food skills programme known as Food Cent$ is a new way of spending money on food using the 10-plan, so that people can learn to balance their diet and their food budget. Occupational therapists in a mental health rehabilitation service incorporated the use of Food Cent$ into a parenting programme for mothers with a mental illness. A pilot study was conducted to identify whether the Food Cent$ programme influenced behaviours and attitudes towards food and food selection and preparation and reduced grocery expenditure. The participants were six mothers with a mental illness who had children under 5 years of age in their care. A focus group was conducted to gain insight into the experiences of mothers who had attended the programme. Supermarket receipts were collected before and after the project to determine changes in dietary practices. The results indicated that attending Food Cent$ contributed to an improvement in dietary intake, food selection and preparation, and grocery expenditure. Further research is required into the effectiveness of this programme with other target groups likely to experience food insecurity.

Does participation in a pain course based on the international association for the study of pain's curricula guidelines change student knowledge about pain?

The People in Pain course was set up as a joint initiative of the Departments of Occupational Therapy and Physiotherapy within the School of Health and Rehabilitation Sciences at The University of Queensland. It was instigated in response to the publication of Pain Curricula for Occupational Therapy and Physiotherapy by the International Association for the Study of Pain (IASP) in 1994 (1). The first year it was offered, the "People in Pain" course comprised 14 h of lecture content. It was then expanded to encompass 28 h of lectures and seminar involvement. OBJECTIVES: To evaluate the impact of participation in a university pain course that meets the IASP pain curricula guidelines to increase health professional students' knowledge about pain. METHODS: Students who participated in the People in Pain course over the first three years were invited to complete the Revised Pain Knowledge and Attitudes Questionnaire (R-PKAQ) pre- and postcourse. Data obtained from 22 students in the short course formed a pilot project, and data from 22 students in the longer version of the course were used in the present study. RESULTS: Examination of the correlation matrix indicated substantial correlations between all R-PKAQ subscales except physiological basis of pain and pharmacological management of pain. In both the pilot project during the first year of the course and the expanded course in the following two years, significant improvement was found in the students' knowledge on five of the six subscales of the R-PKAQ: physiological basis of pain, psychological factors of pain perception, assessment and measurement of pain, cognitive-behavioural methods of pain relief, and pharmacological management of pain. Improvements in the developmental aspects of pain perception subscale failed to reach significance. CONCLUSIONS: An integrated pain course developed according to the pain curriculum guidelines developed by the IASP resulted in increased student knowledge regardless of the length of the program attended.