A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Perceptions of mental health service delivery among staff and Indigenous consumers: it's still about communication

Objective: A needs analysis was undertaken to determine the quality and effectiveness of mental health services to Indigenous consumers within a health district of Southern Queensland. The study focussed on identifying gaps in the service provision for Indigenous consumers. Tools and methodologies were developed to achieve this. Method: Data were collected through the distribution of questionnaires to the target populations: district health service staff and Indigenous consumers. Questionnaires were developed through consultation with the community and the Steering Committee in order to achieve culturally appropriate wording. Of prime importance was the adaptation of questionnaire language so it would be fully understood by Indigenous consumers. Both questionnaires were designed to provide a balanced perspective of current mental health service needs for Indigenous people within the mental health service. Results: Results suggest that existing mental health services do not adequately meet the needs of Indigenous people. Conclusions: Recommendations arising from this study indicate a need for better communication and genuine partnerships between the mental health service and Indigenous people that reflect respect of cultural heritage and recognises the importance of including Indigenous people in the design and management of mental health services. Attention to the recommendations from this study will help ensure a culturally appropriate and effective mental health service for Indigenous consumers.

A Step-by-Step Approach to Transit Oriented Development Project Delivery

A major challenge in successfully implementing transit-oriented development (TOD) is having a robust process that ensures effective appraisal, initiation and delivery of multi-stakeholder TOD projects. A step-by step project development process can assist in the methodic design, evaluation, and initiation of TOD projects. Successful TOD requires attention to transit, mixed-use development and public space. Brisbane, Australia provides a case-study where recent planning policies and infrastructure documents have laid a foundation for TOD, but where barriers lie in precinct level planning and project implementation. In this context and perhaps in others, the research effort needs to shift toward identification of appropriate project processes and strategies. This paper presents the outcomes of research conducted to date. Drawing on the mainstream approach to project development and financial evaluation for property projects, key steps for potential use in successful delivery of TOD projects have been identified, including: establish the framework; location selection; precinct context review; preliminary precinct design; the initial financial viability study; the decision stage; establishment of project structure; land acquisition; development application; and project delivery. The appropriateness of this mainstream development and appraisal process will be tested through stakeholder research, and the proposed process will then be refined for adoption in TOD projects. It is suggested that the criteria for successful TOD should be broadened beyond financial concerns in order to deliver public sector support for project initiation.

Measurement and state preparation via ion trap quantum computing

We investigate in detail the effects of a QND vibrational number measurement made on single ions in a recently proposed measurement scheme for the vibrational state of a register of ions in a linear rf trap [C. D'HELON and G. J. MILBURN, Phys Rev. A 54, 5141 (1996)]. The performance of a measurement shows some interesting patterns which are closely related to searching.

Expokit: A software package for computing matrix exponentials

Expokit provides a set of routines aimed at computing matrix exponentials. More precisely, it computes either a small matrix exponential in full, the action of a large sparse matrix exponential on an operand vector, or the solution of a system of linear ODEs with constant inhomogeneity. The backbone of the sparse routines consists of matrix-free Krylov subspace projection methods (Arnoldi and Lanczos processes), and that is why the toolkit is capable of coping with sparse matrices of large dimension. The software handles real and complex matrices and provides specific routines for symmetric and Hermitian matrices. The computation of matrix exponentials is a numerical issue of critical importance in the area of Markov chains and furthermore, the computed solution is subject to probabilistic constraints. In addition to addressing general matrix exponentials, a distinct attention is assigned to the computation of transient states of Markov chains.

Continuity of care and readmission in two service systems: a comparative Victorian and Groningen case-register study

Objective: We compared service consumption, continuity of care and risk of readmission in a record linkage follow-up study of cohorts of patients with schizophrenia and related disorders in Victoria (Australia) and in Groningen (The Netherlands). These areas are interesting to compare because mental health care is in a different stage of deiustitutionalization. More beds are available in Groningen and more community resources are available in Victoria. Method: The cohorts were followed for 4 years, since discharge from inpatient services using record linkage data available in the psychiatric case-registers in both areas. Survival analysis was used to study continuity of care and risk of readmission. Results: Available indicators showed a higher level of continuity of care in Victoria. While the relative risk of readmission was the same in both areas and not affected by aftercare contact after discharge, the number of days spent in hospital was much higher in the Groningen register area. Conclusion: These findings provide further support for earlier reports that the risk of readmission is predominantly affected by attributes of mental illness. However, the duration of admissions, is strongly affected by service system variables, including the provision of continuity of care.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

HIV infection among women admitted to the gynaecology service of a district hospital in South Africa

Our objective was to determine the prevalence of HIV infection and disease-specific HIV prevalence among women admitted to the gynaecology service of a district hospital in South Africa over a 3-month period in 1997. This was done with the goal of developing HIV education and counselling services in this setting. HIV status was determined among 196 (96%) of 205 consecutive admissions; 82 (42%) tested HIV positive. The HIV-infected women were younger than the HIV uninfected women (mean age 27 vs 33 years, P=0.001). The disease-specific HIV prevalence was greater than or equal to 40% among women who had had abortions, pelvic inflammatory disease, or ectopic pregnancy. The length of hospital stay (mean 5.4 days) and mortality (1%) were similar in the 2 groups. Inpatient gynaecology services may be act important setting in Africa, within which to provide HIV education, counselling and care.

Providing evidence-based answers to clinical questions - A pilot information service for general practitioners

Objective: To pilot a clinical information service for general practitioners. Methods: A representative sample of 31 GPs was invited to submit clinical questions to a local academic department of general practice. Their views on the service and the usefulness of the information were obtained by telephone interview. Results: Over one month, nine GPs (29% of the sample, 45% of those stating an interest), submitted 20 enquiries comprising 45 discrete clinical questions. The median time to search for evidence, appraise it and write answers to each enquiry was 2.5 hours (range, 1.0-7.4 hours). The median interval between receipt of questions and dispatch of answers was 3 clays (range, 1-12 days). Conclusions: The GPs found the answers useful in clinical decision making; in four out of 20 cases patient management was altered.

Preliminary experiences with a single-patient trials service in general practice

Objective: To pilot a single-patient trials (SPTs) service in general practice, designed to improve decision-making about long-term medications for chronic conditions. Design: 12-week within-patient, randomised, double-blind, placebo-controlled, crossover comparison of ibuprofen with paracetamol for osteoarthritis, involving three pairs of two-week treatment periods for each participating patient. Setting and patients: Patients attending an academic general practice with a clinical diagnosis of osteoarthritis, with pain of at least a month's duration severe enough to warrant consideration of long-term non-steroidal anti-inflammatory drug (NSAID) use. Main outcome measures: Pain and stiffness; measures of overall arthritis compared with previous fortnight; preference for NSAID at the end of each two-week treatment period; use of escape analgesia; side effects; and management changes as a result of the SPTs. Results: Eight of 14 patients completed SPTs. One was a clear responder to NSAIDs, five were non-responders, and two were indefinite. Of the five who were using NSAIDs before the SPT, two continued and three ceased using them. Clinically useful information assisted decision-making for all eight participants. Medication management changed for six. Conclusions: Single-patient trials can be successfully implemented in general practice and might be a valuable method for GPs to identify patients who respond to medication for chronic stable conditions such as osteoarthritis, in which individual response to medication is variable.

An object-oriented neural network approach to short-term traffic forecasting

This paper discusses an object-oriented neural network model that was developed for predicting short-term traffic conditions on a section of the Pacific Highway between Brisbane and the Gold Coast in Queensland, Australia. The feasibility of this approach is demonstrated through a time-lag recurrent network (TLRN) which was developed for predicting speed data up to 15 minutes into the future. The results obtained indicate that the TLRN is capable of predicting speed up to 5 minutes into the future with a high degree of accuracy (90-94%). Similar models, which were developed for predicting freeway travel times on the same facility, were successful in predicting travel times up to 15 minutes into the future with a similar degree of accuracy (93-95%). These results represent substantial improvements on conventional model performance and clearly demonstrate the feasibility of using the object-oriented approach for short-term traffic prediction. (C) 2001 Elsevier Science B.V. All rights reserved.