ICRAM (the International Campaign to Revitalise Academic Medicine): Agenda setting

Following die launch by the BMJ and others of the campaign to promote academic medicine, a working party of 20 medical academics from all over the world was convened to develop a plan of action.

Exploring the use of Viagra in place of animal and plant potency products in traditional Chinese medicine

Recently, conservationists have debated whether consumers of animal and plant potency products used to treat erectile dysfunction (ED) in traditional Chinese medicine (TCM) might be switching to Viagra, consequently consuming fewer of these animals and plants. To address this question, a survey examined the medical decisions of male consumers of TCM in Hong Kong who were over the age of 50. As predicted, these consumers reported selectively switching to Western medicines to treat ED, but not to treat other health ailments. These findings provide support for the possibility that Viagra may have conservation benefits for certain species.

Book review: Humane medicine by Miles Little

No abstract

Issues in geriatric medicine

In Australia there has been rapid growth in the number of geriatricians and the provision of aged care services. This has been accompanied by increasing sophistication in the assessment and management of the common syndromes of old age: impaired cognition, incontinence, impaired mobility, impaired homeostasis and iatrogenic disease. Innovative systems of service delivery have been developed in diverse fields including dementia services and orthogeriatrics. Adequate planning and funding strategies are required to ensure that older people continue to have appropriate access to high quality services and that there is provision for education and research in ageing.

Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.