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.

The origin of a Robertsonian chromosomal translocation in house mice inferred from linked microsatellite markers

The Western European house mouse, Mus domesticus, includes many distinct Robertsonian (Rb) chromosomal races. Two competing hypotheses may explain the distribution of Rb translocations found in different populations: they may have arisen independently multiple times or they may have arisen once and been spread through long distance dispersal. We investigated the origin of the Rb 5.15 translocation using 6 microsatellite loci linked to the centromeres of chromosomes 5 and 15 in 84 individuals from 3 Rb populations and 4 neighboring standard-karyotype populations. Microsatellite variation on the 5.15 metacentric chromosomes was significantly reduced relative to the amount of variation found on acrocentric chromosomes 5 and 15, suggesting that linked microsatellite loci can track specific mutational events. Phylogenetic analyses resulted in trees which are consistent with multiple origins of the 5.15 metacentric found in the three Rb populations. These results suggest that cytologically indistinguishable mutations have arisen independently in natural populations of house mice.

Leadership in the Asian Century: Lessons from GLOBE

In this paper, based on the results of the Global Leadership and Organizational Behavior Effectiveness (GLOBE) 61-nation study of culture and leadership, we present findings related to three ‘clusters’ of countries. These clusters are: (1) the ‘Anglo culture’ cluster (Australia, Canada, Ireland, New Zealand, white South Africa, UK, and USA), the ‘Southern Asia’ cluster (Iran, India, Thailand, Malaysia, Indonesia, and the Philippines), and the ‘Confucian Asia’ cluster (China, Hong Kong, Japan, Singapore, South Korea, and Taiwan). Data from the GLOBE study, reporting middle managers’ perceptions of societal practices and values, and of the factors that facilitate and inhibit effective leadership will be compared across the three clusters. Results demonstrate that, despite differences in cultures, especially cultural values, perceptions of effective leadership vary substantially only in respect of the extent that participation is seen to facilitate leadership. In the Anglo cluster, participative leadership is seen as much more facilitative of leadership, than in either of the Asian clusters. Results are discussed in terms of effective leadership styles suitable for management in the twenty-first century, where Asian economies are likely to play a more dominant role than they have in recent history.

'Living together on one's own': Cohousing for older people - an example from Denmark and The Netherlands

‘Living together on one’s own’ is the seemingly contradictory expression of the National Association of Housing Communities for Elderly People (LVGO) in The Netherlands which in fact captures the essence of cohousing. Cohousing is a novel kind of neighbourhood, housing a novel form of intentional community, which began to take shape in Denmark in the early to mid-1960s and, independently, in The Netherlands a few years later. The inventors of cohousing wanted to live in a much more communal or community-oriented neighbourhood than was usual, but they wanted to do so without sacrificing the privacy of individual families or households and their dwellings. Could they have their cake and eat it too? It would seem so. What is cohousing for older people (op-cohousing)? Op-cohousing is essentially no different, except for the differences in outlook or expectations, experience, interests and abilities that a particular, exclusively older, group of people have brought to this housing type. I discuss and analyse several communities in both countries.

(FAB07_002) From the 'Curry to the 'Weal: Aboriginal town camps and compounds of the back-blocks

My involvement with Aboriginal people began in 1972 in my final year of architecture, when a small group of students were asked to advise on some Aboriginal building projects in Mt Isa and Cloncurry. This led to my Doctoral research and grew into the Aboriginal Environments Research Centre now well established at the university of Queensland. Although the personnel of this Centre have completed over 140 field trips in the last 20 years, it is a set of data collected largely from the first ten field trips in 1972-76 that will be presented in this paper.

From possessive pronoun to emphatic determiner: 'so' in Mauritian Creole

This paper argues that at a particular stage in the genesis of Mauritian Creole (MC), the 3sg possessive pronoun 'so', inherited from the French 'son' was used as a definite determiner as well as a possessive pronoun. It was used when there was a need to single out a unique element in the discourse, or to introduce a new referent which was to become the focus of attention. 'So' was mostly used with genitive constructions, where a phonologically null determiner was equally grammatical. This paper argues that, in the early creole, genitive constructions licensed the determinative use of this pronoun. The use of 'so' with genitive constructions is no longer grammatical in modern MC, but this particle continues to be used as an emphatic determiner, where it now modifies both singular and plural NPs.

The Indotriradites dolianitii Morphon, a distinctive group of miospore species from the Lower Carboniferous of Gondwana

An emended diagnosis and generic reallocation are proposed for the trilete miospore Indotriradites dolianitii (Daemon, 1974) Loboziak et al., comb. nov. A new species, I. daemonii Loboziak et al., sp. nov., from Viséan strata of Western Gondwana, is erected. These two species, together with I. zosteriformis (Playford et Satterthwait) Playford, 1991 from the Viséan of Australia, belong to a cohesive morphological miospore category, here termed the Indotriradites dolianitii Morphon, which is evidently restricted to the Lower Carboniferous of Gondwana.

Radiizonates arcuatus, a distinctive new miospore species from the Lower Carboniferous of Western Gondwana

A new species of trilete zonate miospores, Radiizonates arcuatus, is established for Lower Carboniferous Western Gondwanan forms hitherto ascribed misguidedly to Radiizonates genuinus (Jushko) Loboziak and Alpern (1978), a Russian Lower Carboniferous species. The latter binomen is, moreover, not a valid combination and is more correctly designated as Vallatisporites genuinus (Jushko) Byvsheva, 1980. R. arcuatus is, from records to date, confined to westerly parts of Gondwana (Brazil, North Africa and Middle East), in which it is characteristic of Early Carboniferous strata, albeit with some slightly older and slightly younger occurrences.

Sections of some spores from the Lower Carboniferous of Spitsbergen

Sections of four lower Carboniferous dispersed-spore species, Labiadensites fimbriatus (Waltz) Hacquebard and Barss, Cristatisporites echinatus Playford, Camptozonotriletes velatus (Waltz) Playford, and Spinozonotriletes uncatus Hacquebard, are discussed and illustrated.

A shift from passive teaching at medical conferences to more interactive methods improves physician learning

Conferences that deliver interactive sessions designed to enhance physician participation, such as role play, small discussion groups, workshops, hands-on training, problem- or case-based learning and individualised training sessions, are effective for physician education.

Language policy spread: Learning from health and social policy models

Except for a few large scale projects, language planners have tended to talk and argue among themselves rather than to see language policy development as an inherently political process. A comparison with a social policy example, taken from the United States, suggests that it is important to understand the problem and to develop solutions in the context of the political process, as this is where decisions will ultimately be made.