Improving access to evidence-based mental health care: general practitioners and allied health professionals collaborate

This study evaluated whether projects conducted through the Access to Allied Health Services component of the Australian Better Outcomes in Mental Health Care initiative are improving access to evidence-based, non-pharmacological therapies for people with depression and anxiety. Synthesising data from the first 29 projects funded through the initiative, the study found that the models utilised in the projects have evolved over time. The projects have achieved a high level uptake; at a conservative estimate, 710 GPs and 160 allied health professionals (AHPs) have provided care to 3,476 consumers. The majority of these consumers have depression (77%) and/or anxiety disorders (55%); many are low income earners (57%); and a number have not previously accessed mental health care (40%). The projects have delivered 8,678 sessions of high quality care to these consumers, most commonly providing CBT-based cognitive and behavioural interventions (55% and 41%, respectively). In general, GPs, AHPs and consumers are sanguine about the projects, and have reported positive consumer outcomes. However, as with any new initiative, there are some practical and professional issues that need to be addressed. The projects are improving access to evidence-based, non-pharmacological therapies. The continuation and expansion of the initiative should be a priority.

Cancer detection and mammogram volume of radiologists in a population-based screening programme

This study investigates the relationship between the number of screening mammograms read by radiologists and the screening breast cancer detection rate. Cancer detection rates for incident screens (all women aged >= 40 years) were compared by increasing categories of reader volume using Poisson regression. Data from New South Wales (NSW) for a 2 year period (2000-2001) were obtained from the BreastScreen NSW programme. Cancer detection rates increased with the number of mammograms read in the programme, reaching a plateau of approximately 40 per 10,000 after 1375 mammograms per year. No significant differences in cancer detection were evident above 875 mammograms (compared to below 875 mammograms) per year (RR = 0.79, 95% CI 0.63-0.99). (c) 2005 Elsevier Ltd. All rights reserved.

Caring for someone with dementia in a rural town .2. Services

Dementia care in rural areas is in need of attention from researchers, planners and policy makers. Family carers in these areas face some significant challenges, in terms of managing the care where support services are often unavailable or inaccessible. This paper reports on a qualitative study in which a group of rural based carers participated in a focus group and interviews. Through this process, the carers' perceptions of support services were explored. Content analysis of the data revealed that, despite a number of supportive aspects of rural life, these carers felt in need of more services, a finding supported by current literature.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.