Abstract specification in Object-Z and CSP

A number of integrations of the state-based specification language Object-Z and the process algebra CSP have been proposed in recent years. In developing such integrations, a number of semantic decisions have to be made. In particular, what happens when an operation's precondition is not satisfied? Is the operation blocked, i.e., prevented from occurring, or can it occur with an undefined result? Also, are outputs from operations angelic, satisfying the environment's constraints on them, or are they demonic and not influenced by the environment at all? In this paper we discuss the differences between the models, and show that by adopting a blocking model of preconditions together with an angelic model of outputs one can specify systems at higher levels of abstraction.

Pedagogical work and the 'cult of the body': Considering the role of HPE in the context of the 'new public health'

Physical education, now often explicitly identified with health in contemporary school curricula, continues to be implicated in the (re)production of the 'cult of the body'. We argue that HPE is a form of health promotion that attempts to 'make' healthy citizens of young people in the context of the 'risk society'. In our view there is still work to be done in understanding how and why physical education (as HPE) continues to be implicated in the reproduction of values associated with the cult of body. We are keen to understand why HPE continues to be ineffective in helping young people gain some measure of analytic and embodied 'distance' from the problematic aspects of the cult of the body. This paper offers an analysis of this enduring issue by using some contemporary analytic discourses including 'governmentality', 'risk society' and the 'new public health'.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Emotional Intelligence, emotional Self-Awareness, and Team Effectiveness

An issue at the forefront of recent emotional intelligence debates revolves around whether emotional intelligence can be linked to work performance. Although many authors continue to develop new and improved measures of emotional intelligence (e.g. Mayer, Caruso, & Salovey, 2001) to give us a better understanding of emotional intelligence, the links to performance in work settings, especially in the context of group effectiveness, have received much less attention. In this chapter, we present the results of a study in which we examined the role of emotional self-awareness and emotional intelligence as a predictor of group effectiveness. The study also addresses the utility of self- and peer assessment in measureing emotional self-awareness and emotional intelligence.

Exact solution of the A(n-1)((1)) trigonometric vertex model with non-diagonal open boundaries

The A(n-1)((1)) trigonometric vertex model with generic non-diagonal boundaries is studied. The double-row transfer matrix of the model is diagonalized by algebraic Bethe ansatz method in terms of the intertwiner and the corresponding face-vertex relation. The eigenvalues and the corresponding Bethe ansatz equations are obtained.

Special issue on advances in data mining and its applications

Data mining is the process to identify valid, implicit, previously unknown, potentially useful and understandable information from large databases. It is an important step in the process of knowledge discovery in databases, (Olaru & Wehenkel, 1999). In a data mining process, input data can be structured, seme-structured, or unstructured. Data can be in text, categorical or numerical values. One of the important characteristics of data mining is its ability to deal data with large volume, distributed, time variant, noisy, and high dimensionality. A large number of data mining algorithms have been developed for different applications. For example, association rules mining can be useful for market basket problems, clustering algorithms can be used to discover trends in unsupervised learning problems, classification algorithms can be applied in decision-making problems, and sequential and time series mining algorithms can be used in predicting events, fault detection, and other supervised learning problems (Vapnik, 1999). Classification is among the most important tasks in the data mining, particularly for data mining applications into engineering fields. Together with regression, classification is mainly for predictive modelling. So far, there have been a number of classification algorithms in practice. According to (Sebastiani, 2002), the main classification algorithms can be categorized as: decision tree and rule based approach such as C4.5 (Quinlan, 1996); probability methods such as Bayesian classifier (Lewis, 1998); on-line methods such as Winnow (Littlestone, 1988) and CVFDT (Hulten 2001), neural networks methods (Rumelhart, Hinton & Wiliams, 1986); example-based methods such as k-nearest neighbors (Duda & Hart, 1973), and SVM (Cortes & Vapnik, 1995). Other important techniques for classification tasks include Associative Classification (Liu et al, 1998) and Ensemble Classification (Tumer, 1996).

Knowing your allies: Medical education and interprofessional exposure

Collaborative, team-based, interprofessional approaches to patient management are becoming increasingly recognized as beneficial to health outcomes. This project aimed to develop interprofessional skills among 134 third year medical students that were of clinical educational value to the students, and through activities that directly benefited the rural health professionals in their daily work. Placements were undertaken during a six week rural clinical attachment, mainly throughout South-West Queensland. Pre- and post-placement self-report questionnaires completed by both students and health professionals were used to evaluate the project. Results showed that over 80% of the health professional group reported the medical student placements were useful. Similarly, almost 80% of medical students reported positive changes in their attitude to other health professionals from the placement, and 91% indicated they had derived clinical educational benefit from their interprofessional activity. Despite difficulties due to poor communication between the various parties involved, the project proved successful in improving medical students' skills, knowledge and perceptions concerning interprofessional practice, through a placement and educational project which delivered practical benefits to rural health professionals and rural communities.

Ecosystem dynamics at disturbed and undisturbed sites in North Queensland wet tropical rain forest. III. Nutrient returns to the forest floor through litterfall

The nutrient contents and accessions in litterfall over a period of 3 y are reported for undisturbed areas and at two sites disturbed by selective harvesting in tropical rain forest in North Queensland, Australia. Mean concentrations (mg g(-1) dry weight) of nutrients in litterfall ranged from 10 to 12 for nitrogen; 0.33 to 0.43 for phosphorus; 3.6 to 4.3 for potassium; 6.0 to 10.5 for calcium and 1.7 to 2.6 for magnesium. These concentrations are in the middle to lower part of the spectrum of values recorded for tropical forest. Accessions of nutrients in litterfall (kg ha(-1) y(-1)) ranged from 59 to 64 N; 1.9 to 2.4 P; 20 to 24K; 34 to 63 Ca; and 9 to 16 Mg. These rates, particularly for IN and P, are among the lowest recorded for tropical forests. There were no consistent between-site differences in total nutrient accessions in small litterfall. In terms of the contribution of litterfall to the accessions of nutrients to the forest floor, this suggests that the logged sites have recovered from the effects of selective harvesting within 25 y. Nutrient accessions at each site were distinctly seasonal, with maximum accessions occurring in the late dry season to late in the wet season. Leaf-fall accounted for the largest proportion of nutrient accessions over the study period, although at certain times accessions in both reproductive material and wood were significant. A cyclone which crossed the coast near the study sites resulted in large nutrient accessions over a short period but had little effect on the total annual accession. A comparison with previous studies of litterfall in Australian tropical rainforests indicates that nutrient return in litterfall is directly related to soil fertility.

Pyruvated carrageenans from Solieria robusta and its adelphoparasite Tikvahiella candida

Solieria, the type genus of the commercially important red algal family Solieriaceae (Gigartinales), contains seven or eight species, three of which are represented in Australia. The cell-wall galactans of the most common Australian Solieria species, S. robusta (Greville) Kylin, were analysed by a combination of compositional assays, linkage analysis, and Fourier transform infrared (FTIR) and C-13 nuclear magnetic resonance (NMR) spectroscopy. They are shown to be composed predominantly of carrabiose 2,4'-disulphate units (the repeating unit of iota-carrageenan) and a significant proportion of 4',6'-pyruvated carrabiose 2-sulphate units. The constituent sugars, pyruvate content, FTIR spectrum, and linkage and substitution patterns of the galactans from Tikvahiella candida Kraft et Gabrielson, an adelphoparasite of Solieria robusta, closely resemble those of its host and furnish evidence in support of a close phylogenetic relationship between the two species.