The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Model-based clustering in gene expression microarrays: An application to breast cancer data

In microarray studies, the application of clustering techniques is often used to derive meaningful insights into the data. In the past, hierarchical methods have been the primary clustering tool employed to perform this task. The hierarchical algorithms have been mainly applied heuristically to these cluster analysis problems. Further, a major limitation of these methods is their inability to determine the number of clusters. Thus there is a need for a model-based approach to these. clustering problems. To this end, McLachlan et al. [7] developed a mixture model-based algorithm (EMMIX-GENE) for the clustering of tissue samples. To further investigate the EMMIX-GENE procedure as a model-based -approach, we present a case study involving the application of EMMIX-GENE to the breast cancer data as studied recently in van 't Veer et al. [10]. Our analysis considers the problem of clustering the tissue samples on the basis of the genes which is a non-standard problem because the number of genes greatly exceed the number of tissue samples. We demonstrate how EMMIX-GENE can be useful in reducing the initial set of genes down to a more computationally manageable size. The results from this analysis also emphasise the difficulty associated with the task of separating two tissue groups on the basis of a particular subset of genes. These results also shed light on why supervised methods have such a high misallocation error rate for the breast cancer data.

Ocular melanoma is not associated with CDKN2A or MC1R variants - a population-based study

Germline variants in the melanocortin 1 receptor gene (MC1R) and the p16 gene (CDKN2A) are associated with an increased risk of cutaneous melanoma. The frequency of these germline variants was examined in a population-based, incident series of 62 ocular melanoma cases and ethnicity-matched population controls. In both cases and controls, 59% of individuals carried at least one MC1R variant and there were no significant differences in the frequency of any of the five most common variants of MC1R. We also found no significant differences between cases and controls in the frequency of any of the four most common variants of CDKN2A, and no melanoma case carried a deleterious germline CDKN2A mutation. Our findings argue against an important predisposing effect of the MC1R and CDKN2A genes for ocular melanoma.

Testamentary capacity and aphasia: A descriptive case report with implications for clinical practice

Background: Testamentary capacity (the capacity to make a will) is recognised in the literature as an important issue for speech-language pathologists' assessment of people with aphasia, but current guidelines for clinical practice lack an empirical base. Aims: The research aimed to suggest some guidelines for clinical practice based on information considered relevant for the court in determining testamentary capacity. Methods & Procedures: A recent legal case involving a challenge to the will of a woman with severe aphasia was critically examined with reference to current guidelines in the literature regarding assessment of testamentary capacity. Outcomes & Results: Examination of the information available on the case indicated that the judge gave priority to accounts of the everyday communication of the person with aphasia (including reported discourse samples) over the information provided by expert medical witnesses. The extent to which communication effectiveness could be maximised was found to be a matter of key significance to the determination of capacity. Conclusions: This study has implications for speech-language pathologists' assessment practices and reports, as well as for scope of practice with regard to legal decision making of people with aphasia. These issues are discussed in relation to the World Health Organisation's ICF framework of functioning for social participation.

Physiological responses to repeated bouts of high-intensity ultraendurance cycling - a field study case report

The present study aimed to 1) examine the relationship between laboratory-based measures and high-intensity ultraendurance (HIU) performance during an intermittent 24-h relay ultraendurance mountain bike race (similar to20 min cycling, similar to60min recovery), and 2) examine physiological and performance based changes throughout the HIU event. Prior to the HIU event, four highly-trained male cyclists (age = 24.0 +/- 2.1 yr; mass = 75.0 +/- 2.7 kg; (V)over dot O-2peak = 70 +/- 3 ml.kg(-1).min(-1)) performed 1) a progressive exercise test to determine peak Volume of oxygen uptake ((V)over dot O-2peak), peak power output (PPO), and ventilatory threshold (T-vent), 2) time-to-fatigue tests at 100% (TF100) and 150% of PPO (TF150), and 3) a laboratory simulated 40-km time trial (TT40). Blood lactate (Lac(-)), haematocrit and haemoglobin were measured at 6-h intervals throughout the HIU event, while heart rate (HR) was recorded continuously. Intermittent HIU performance, performance HR, recovery HR, and Lac declined (P < 0.05), while plasma volume expanded (P < 0.05) during the HIU event. TF100 was related to the decline in lap time (r = -0.96; P < 0.05), and a trend (P = 0.081) was found between TF150 and average intermittent HIU speed (r = 0.92). However, other measures (V)over dot O-2peak, PPO, T-vent, and TT40) were not related to HIU performance. Measures of high-intensity endurance performance (TF100, TF150) were better predictors of intermittent HIU performance than traditional laboratory-based measures of aerobic capacity.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Climate change and biotic invasions: a case history of a tropical woody vine

The impacts of climate change in the potential distribution and relative abundance of a C3 shrubby vine, Cryptostegia grandiflora, were investigated using the CLIMEX modelling package. Based upon its current naturalised distribution, C. grandiflora appears to occupy only a small fraction of its potential distribution in Australia under current climatic conditions; mostly in apparently sub-optimal habitat. The potential distribution of C. grandiflora is sensitive towards changes in climate and atmospheric chemistry in the expected range of this century, particularly those that result in increased temperature and water use efficiency. Climate change is likely to increase the potential distribution and abundance of the plant, further increasing the area at risk of invasion, and threatening the viability of current control strategies markedly. By identifying areas at risk of invasion, and vulnerabilities of control strategies, this analysis demonstrates the utility of climate models for providing information suitable to help formulate large-scale, long-term strategic plans for controlling biotic invasions. The effects of climate change upon the potential distribution of C. grandiflora are sufficiently great that strategic control plans for biotic invasions should routinely include their consideration. Whilst the effect of climate change upon the efficacy of introduced biological control agents remain unknown, their possible effect in the potential distribution of C. grandiflora will likely depend not only upon their effects on the population dynamics of C. grandiflora, but also on the gradient of climatic suitability adjacent to each segment of the range boundary.