Termination of real-time programs: Definitely, definitely not, or maybe

Real-time control programs are often used in contexts where (conceptually) they run forever. Repetitions within such programs (or their specifications) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate. In dealing with real-time programs and their specifications, we need to be able to represent these possibilities, and define suitable refinement orderings. A refinement ordering based on Dijkstra's weakest precondition only copes with the first alternative. Weakest liberal preconditions allow one to constrain behaviour provided the program terminates, which copes with the third alternative to some extent. However, neither of these handles the case when a program does not terminate. To handle this case a refinement ordering based on relational semantics can be used. In this paper we explore these issues and the definition of loops for real-time programs as well as corresponding refinement laws.

Further evidence of linkage at 7p22 with familial hyperaldosteronism type II and exclusion of genetic defects in the RBAK coding regions

Once thought rare, primary aldosteronism (PAL) is now reported to be responsible for 5–10% of hypertension. Unlike familial hyperaldosteronism type I (FH-I), FH-II is not glucocorticoidremediable and not associated with the hybrid CYP11B1/CYP11B2 gene mutation. At least five times more common than FH-I, FH-II is clinically indistinguishable from apparently sporadic PAL, suggesting an even higher incidence. Studies performed in collaboration with C Stratakis (NIH, Bethesda) on our largest Australian family (eight affected members) demonstrated linkage at chromosome 7p22. Linkage at this region was also found in a South American family (DNA provided by MI New, Mount Sinai School of Medicine, New York) and in a second Australian family. The combined multipoint LOD score for these 3 families is 4.61 (q = 0) with markers D7S462 and D7S517, providing strong support for this locus harbouring mutations responsible for FH-II. A newly identified recombination event in our largest Australian family has narrowed the region of linkage by 1.8 Mb, permitting exclusion of approximately half the genes residing in the originally reported 5 Mb linked locus. Candidate genes that are involved in cell cycle control are of interest as adrenal hyperplasia and adrenal adenomas are common in FH-II patients. A novel candidate gene in this linked region produces the retinoblastoma-associated Kruppel-associated box protein (RBaK) which interacts with the retinoblastoma gene product to repress the expression of genes activated by members of the E2F family of transcription factors.

The rural medicine rotation: Increasing rural recruitment through quality undergraduate rural experiences

TITLE: The Rural Medicine Rotation: Increasing Rural Recruitment through Quality Undergraduate Rural Experiences Eley Diann, University of Queensland, School of Medicine, Rural Clinical Division, Toowoomba 4350, Queensland Australia Baker Peter, University of Queensland, School of Medicine Rural, Clinical Division, Toowoomba 4350, Queensland Australia Chater Bruce, University of Queensland, Chair, Clinical School Management Committee, School of Medicine Rural Clinical Division, Queensland Australia CONTEXT: While rural background and rural exposure during medical training increases the likelihood of rural recruitment (Wilkinson, 2003), the quality and content of that exposure is the key to altering undergraduatesâ?? perceptions of rural practice. The Rural Clinical Division at University of Queensland (UQ) runs the Rural Medicine Rotation (RMR) within the School of Medicine. The RMR is one of five eight week clinical rotations in Year three and is compulsory for all students. The RMR provides the opportunity to learn from a wide range of health professionals and clinical exposure is not restricted to general practice but also includes remote area nursing, Indigenous health care, allied health professionals and medical specialists. Week 1 involves preparation for their rural placement with workshops and seminars and Week 8 consolidates their placement and includes case and project presentations and a summative assessment. Weeks 2-7 are spent living and working as part of the health team in different rural communities. SETTING: Rural communities in and around Queensland including locations such as Arnham Land, Thursday Island, Mt. Isa and Alice Springs METHOD: All aspects of the RMR are evaluated with surveys using both qualitative and quantitative free response questions, completed by all students at the end of the Week 8. RESULTS: Overall the RMR is evaluated highly and narratives offered by students show that the RMR provides a positive rural experience. The overall impact of the RMR for students in 2004 ranked 3.45 on a scale of 1 to 4 (1 = lowest and 4 = highest), and is exemplified by the following quote; â??I enjoyed my placement so much I am now considering rural medicine something I definitely had not considered beforeâ??. OUTCOME: The positive impact of the RMR on studentâ??s perceptions of rural medicine is encouraging and can help achieve the overall aim of increasing recruitment of the rural workforce in Australia.

Sharing Narratives Online: An international, self-organising curriculum in rural health

The aim of the Rural Medicine Rotation (RMR) at the University of Queensland (UQ) is to give all third year medical students exposure to and an understanding of, clinical practice in Australian rural or remote locations. A difficulty in achieving this is the relatively short period of student clinical placements, in only one or two rural or remote locations. A web-based Clinical Discussion Board (CDB) has been introduced to address this problem by allowing students at various rural sites to discuss their rural experiences and clinical issues with each other. The rationale is to encourage an understanding of the breadth and depth of rural medicine through peer-based learning. Students are required to submit a minimum of four contributions over the course of their six week rural placement. Analysis of student usage patterns shows that the majority of students exceeded the minimum submission criteria indicating motivation rather than compulsion to contribute to the CDB. There is clear evidence that contributing or responding to the CDB develops studentâ??s critical thinking skills by giving and receiving assistance from peers, challenging attitudes and beliefs and stimulating reflective thought. This is particularly evident in regard to issues involving ethics or clinical uncertainty, subject areas that are not in the medical undergraduate curriculum, yet are integral to real-world medical practice. The CDB has proved to be a successful way to understand the concerns and interests of third year medical students immersed in their RMR and also in demonstrating how technology can help address the challenge of supporting students across large geographical areas. We have recently broadened this approach by including students from the Rural Program at The Ohio State University College of Medicine. This important international exchange of ideas and approaches to learning is expected to broaden clinical training content and improve understanding of rural issues.

Australian patient safety survey

The national telephone survey found that 6.5% of respondents reported experiencing a medical adverse event during the preceding 12 months. Most reported were medication incidents, with misdiagnosis or wrong treatment second most common. Predictors of adverse event reporting included health status, hospital admission, and length of time seeing regular doctor.