Extending the theory of Owicki and Gries with asynchronous message passing

We describe an extension of the theory of Owicki and Gries (1976) to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is on exploring the fitness of the extension for distributed program derivation. A number of experiments are reported, based on a running example problem, and with the aim of exploring design heuristics and of streamlining derivations and progress arguments.

Design and implementation of an automatic message-routing system for low-cost telemedicine

Email has been used for some years as a low-cost telemedicine medium to provide support for developing countries. However, all operations have been relatively small scale and fairly labour intensive to administer. A scalable, automatic message-routing system was constructed which automates many of the tasks. During a four-month study period in 2002, 485 messages were processed automatically. There were 31 referrals from eight hospitals in three countries. These referrals were handled by 25 volunteer specialists from a panel of 42. Two system operators, located 10 time zones apart, managed the system. The median time from receipt of a new referral to its allocation to a specialist was 1.0 days (interquartile range 0.7-2.4). The median interval between allocation and first reply was 0.7 days (interquartile range 0.3-2.3). Automatic message handling solves many of the problems of manual email telemedicine systems and represents a potentially scalable way of doing low-cost telemedicine in the developing world.

A synchronous multimedia annotation system for secure collaboratories

In this paper, we describe the Vannotea system - an application designed to enable collaborating groups to discuss and annotate collections of high quality images, video, audio or 3D objects. The system has been designed specifically to capture and share scholarly discourse and annotations about multimedia research data by teams of trusted colleagues within a research or academic environment. As such, it provides: authenticated access to a web browser search interface for discovering and retrieving media objects; a media replay window that can incorporate a variety of embedded plug-ins to render different scientific media formats; an annotation authoring, editing, searching and browsing tool; and session logging and replay capabilities. Annotations are personal remarks, interpretations, questions or references that can be attached to whole files, segments or regions. Vannotea enables annotations to be attached either synchronously (using jabber message passing and audio/video conferencing) or asynchronously and stand-alone. The annotations are stored on an Annotea server, extended for multimedia content. Their access, retrieval and re-use is controlled via Shibboleth identity management and XACML access policies.

Hydrothermal Stability of Modified Silica Membranes for Gas Separation

A new class of hybrid molecular sieve silica (MSS) membranes is developed and tested against standard and organic templated membranes. The hybrid membrane is synthesized by the standard sol-gel process, integrating a template (methyltriethoxysilane - MTES) and a C6 surfactant (triethylhexylammonium bromide) into the silica film matrix. After hydro treatment under a relative humidity of 96% for 50h, the hybrid membrane shows no changes in its gas separation capabilities or energy of mobility. The structural characteristics and integrity of the hybrid membrane are retained due to a high concentration of organophilic functional groups and alkoxides observed using 29 Si NMR. In contrast, the structural integrity of the membranes prepared with non-templated films deteriorated during the hydro treatment due to a large percentage of silanol groups (Si-OH) which react with water. The hybrid membranes underwent a decrease in the H2/CO2 selectivity of only 1% whereas for the non-templated membrane a 21% decrease was observed. The transport mechanism of the hybrid membranes is activated as permeation increased with temperature. The activation energy for the permeation of H2 is positive while negative for CO2. The H2 permeation obtained was 3x 10 -8 mol.m -2 .s -1 .Pa -1 and permselectivities for H2/CO2 and H2/N2 varied between 1-7 and 31-34, respectively.

The effects of Australian tall poppy attitudes on American value based leadership theory

A survey study of twenty-two Australian CEOs and their subordinates assessed relationships between Australian leader motives, Australian value based leader behaviour, subordinate tall poppy attitudes and subordinate commitment, effectiveness, motivation and satisfaction (CEMS). On the whole, the results showed general support for value based leadership processes. Subsequent regression analyses of the second main component of Value Based Leadership Theory, value based leader behaviour, revealed that the collectivistic, inspirational, integrity and visionary behaviour sub-scales of the construct were positively related with subordinate CEMS. Although the hypothesis that subordinate tall poppy attitudes would moderate value based leadership processes was not clearly supported, subsequent regression analyses found that subordinate tall poppy attitudes were negatively related with perceptions of value based leader behaviour and CEMS. These findings suggest complex relationships between the three constructs, and the proposed model for the Australian context is accordingly amended. Overall, the research supports the need to consider cultural-specific attitudes in management development.

Perceived self-other differences in persuasibility: the effects of interpersonal and group-based similarity

Two experiments examined the effects of interpersonal and group-based similarity on perceived self-other differences in persuasibility (i.e. on third-person effects, Davison, 1983). Results of Experiment 1 (N=121), based on experimentally-created groups, indicated that third-person perceptions with respect to the impact of televised product ads were accentuated when the comparison was made with interpersonally different others. Contrary to predictions, third-person perceptions were not affected by group-based similarity (i.e. ingroup or outgroup other). Results of Experiment 2 (N = 102), based an an enduring social identity, indicated that both interpersonal and group-based similarity moderated perceptions of the impact on self and other of least-liked product ads. Overall, third-person effects were more pronounced with respect to interpersonally dissimilar others. However, when social identity was salient, information about interpersonal similarity of the target did not affect perceived self-other differences with respect to ingroup targets. Results also highlighted significant differences in third-person perceptions according to the perceiver's affective evaluation of the persuasive message. (C) 1998 John Wiley & Sons, Ltd.

A novel mutation in the L12 domain of keratin 5 in the Kobner variant of epidermolysis bullosa simplex

We have identified a novel mutation within the linker L12 region of keratin 5 (K5) in a family with the Kobner variant of epidermolysis bullosa simplex. The pattern of inheritance of the disorder in this family is consistent with an autosomal dominant mode of transmission. Affected individuals develop extensive and generalized blistering at birth or early infancy but in later years clinical manifestations are largely confined to palmo-plantar surfaces. Direct sequencing of polymerase chain reaction products revealed a T to C transition within codon 323 of K5 in affected individuals, resulting in a valine to alanine substitution of the seventh residue within the L12 linker domain. This mutation was not observed in unaffected family members or in 100 K5 alleles of unrelated individuals with normal skin. The other critical regions of K5 and K14 were unremarkable in this family except for common polymorphisms that have been previously described. The valine at position 7 of the L12 domain is absolutely conserved in all type II keratins, and in other intermediate filament subunits as well, which suggests that this residue makes an important contribution to filament integrity. Secondary structure analysis revealed that alanine at this position markedly reduces both the hydrophobicity and the beta-sheet nature of the L12 domain. This is the first report of a mutation at this position in an intermediate filament subunit and reinforces the importance of this region to filament biology.

Rapid reduction in coronary risk for those who quit cigarette smoking

The objective of this study was to determine the rate of the decline in risk of a major coronary event after quitting cigarette smoking. It was a population-based case-control study of men and women aged 35 to 69 years in Newcastle, Australia, and men and women aged 35 to 64 years in Auckland, New Zealand, between 1986 and 1994. Cases were 5,572 people identified in population registers of coronary events and controls were 6,268 participants in independent community-based risk factor prevalence surveys from the same study populations. There was a rapid reduction in risk after quitting cigarette smoking. The risk of suffering a major coronary event for men who were current cigarette smokers was 3.5 (95% CI 3.0-4.0) times higher than the risk for never smokers but this fell to 1.5 (95% CI 1.1-1.9) for men who had quit for 1-3 years. Women who were current cigarette smokers were 4.8 (95% CI 4.0-5.9) times more likely to suffer a major coronary event than never smokers and this fell to 1.6 (95% CI 1.0-2.5) for women who had quit for 1-3 years. Those who had quit cigarette smoking for 4-6 years or more had a similar risk to never smokers. These results reinforce the importance of smoking cessation. The public health message is that the benefit of giving up smoking occurs rapidly.

Distribution of interleukin-2,-4,-10, tumour necrosis factor-alpha and transforming growth factor-beta mRNAs in oral lichen planus

In the present study. MRNA for the cytokines interleukin-2 (IL-2), IL-4, IL-10 tumour necrosis factor-alpha (TNF-alpha) and transforming growth factor beta-1 (TGF-beta-1) were investigated in oral lichen planus (OLP) lesions using in situ hybridization with S-35-labelled oligonucleotide probes on frozen tissue sections. In addition, the expression of interferon-gamma (IFN-gamma), IL-10 and IL-4 mRNAs was analysed in cultured lesional T lymphocytes from oral lichen planus by polymerase chain reaction. Cells expressing mRNA for IL-2, IL-4, IL-10, TNF-alpha and TGF-beta(1) were found in all the biopsies studied. Approximately 1-2% of the total number of infiltrating cells in the lesions were positive for each of the different cytokine mRNAs. Most biopsies contained basement membrane-oriented, mRNA-positive cells. In the cultured T-cell lines, message for IFN-gamma was detected in all the patients, IL-10 in all but one, and IL-4 in just one of the seven patients investigated. The results suggest that mRNA for both pro- and anti-inflammatory cytokines, i.e., mixed T-helper 1 (T(H)1) and T(H)2 cytokine profiles, are generated simultaneously by a limited number of cells in chronic lesions of OLP. (C) 1999 Elsevier Science Ltd. All rights reserved.

Effects of habitat modification in mangroves on the structure of mollusc and crab assemblages

The abundance and species richness of mollusc and crab assemblages were examined in a subtropical mangrove forest in Moreton Bay, Queensland, Australia, which has been disturbed and damaged by the construction of a wooden boardwalk and a path. Sections of the forest immediately adjacent to the boardwalk and path were compared with reference areas to determine whether changes to the small-scale structural complexity within the forest affected the benthic fauna. The disturbed area was characterised by having 65-80% fewer pneumatophores, significantly fewer species and individuals of molluscs, but significantly more species and individuals of crabs than the reference areas. The abundance of mangrove pneumatophores and the attached epiphytic algae were manipulated at two sites to determine whether observed differences in these features could account for the differences in the assemblage of molluscs in the disturbed area of the forest compared with reference areas. Five experimental treatments were used: undisturbed controls, pneumatophore removals (abundance reduced by ca. 65%), epiphytic algal removals (algae removed from ca. 65% of pneumatophores), pneumatophore disturbance controls and algal disturbance controls. The experimental reduction of the abundance of mangrove pneumatophores and the associated epiphytic algae led to significant declines (by as much as 83%) in the number of molluscs utilising the substratum in the modified plots. There was no significant difference in the abundance of molluscs in the pneumatophore and algal removal plots suggesting any effect was primarily related to removal of the epiphytic algae from the surface of the pneumatophores. The responses by the biota to the changes in the physical environment demonstrate that even relatively small-scale modifications to the physical structure of subtropical mangrove forests can lead to significant effects on the diversity and abundance of macrobenthic organisms in these habitats. Such modifications have the potential to cause cascading effects at higher trophic levels with a deterioration in the value of these habitats as nursery and feeding grounds. Future efforts at conservation of these estuarine environments must focus on the prevention or reduction of modifications to the physical structure and integrity of the system, rather than just on the prevention of loss of entire patches of habitat. (C) 2000 Elsevier Science B.V. All rights reserved.

Programming internet based DAI applications in Qu-Prolog

This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.

The case for a new system for oversight of research on human subjects

The increasing emphasis on evidence-based clinical practice has thrown into sharp focus multiple deficiencies in current systems of ethical review. This paper argues that a complete overhaul of systems for ethical oversight of studies involving human subjects is now required as developments in medical, epidemiological and genetic research have outstripped existing structures for ethical supervision. It shows that many problems are now evident and concludes that sequential and piecemeal amendments to present arrangements an inadequate to address these. Ar their core present systems of ethical review still rely on the integrity and judgement of individual investigators. One possible alternative is to train and license research investigators, make explicit their responsibilities and have ethics committees devote much more of their time to monitoring research activity in order to detect those infringing the rules.