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.

Prediction of carbon monoxide in fires by conditional moment closure

Carbon monoxide is the chief killer in fires. Dangerous levels of CO can occur when reacting combustion gases are quenched by heat transfer, or by mixing of the fire plume in a cooled under- or overventilated upper layer. In this paper, carbon monoxide predictions for enclosure fires are modeled by the conditional moment closure (CMC) method and are compared with laboratory data. The modeled fire situation is a buoyant, turbulent, diffusion flame burning under a hood. The fire plume entrains fresh air, and the postflame gases are cooled considerably under the hood by conduction and radiation, emulating conditions which occur in enclosure fires and lead to the freezing of CO burnout. Predictions of CO in the cooled layer are presented in the context of a complete computational fluid dynamics solution of velocity, temperature, and major species concentrations. A range of underhood equivalence ratios, from rich to lean, are investigated. The CMC method predicts CO in very good agreement with data. In particular, CMC is able to correctly predict CO concentrations in lean cooled gases, showing its capability in conditions where reaction rates change considerably.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Ultrastructure and small-subunit ribosomal DNA sequence of Henneguya lesteri n. sp (Myxosporea), a parasite of sand whiting Sillago analis (Sillaginidae) from the coast of Queensland, Australia

Henneguya lesteri n. sp, (Myxosporea) is described from sand whiting, Sillago analis, from the southern Queensland coast of Australia. H. lesteri displays a preference for the pseudobranchs and is typically positioned along the afferent blood vessels, displacing the adjoining lamellae and disrupting their normal array, The plasmodia appeared as whitish-hyaline, elliptical cysts (mean dimensions 230 x 410 mum) attached to the oral mucosa lining of the hyoid arch on the inner surface of the operculum. Infections of the gills were also found, in which the plasmodia were spherical, averaged 240 x 240 mum in size and were located on the inner hemibranch margin. The parasites lodged in the gill filament crypts and generated a mild hyperplastic response of the branchial epithelium, In histological sections, the plasmodium wall and adjoining ectoplasm appeared as a finely granulated, weakly eosinophilic layer, Ultrastructurally, this section of the host-parasite interface contained an intricate complex of pinocytotic channels. H. lesteri is polysporic, disporoblastic and pansporoblast forming. Sporogenesis is asynchronous, with the earliest developmental stages aligned predominantly along the plasmodium periphery, and maturing sporoblasts and spores toward the center. Ultrastructural details of sporoblast and spore development are in agreement with previously described myxosporeans. The mature spore is drop-shaped, length (mean) 9.1 mum, width 4.7 mum, thickness 2.5 mum, and comprises 2 polar capsules positioned closely together, a binucleated sporoplasm and a caudal process of 12.6 mum. The polar capsules are elongated, 3.2 x 1.6 mum, with 4 turns of the polar filament. Mean length of the everted filament is 23.2 mum, Few studies have analyzed the 18S gene-of marine Myxosporea. In fact, H. lesteri is the first marine species of Henneguya to be characterized at the molecular level: we determined 1966 bp of the small-subunit (18S) rDNA, The results indicated that differences between this and the hitherto studied freshwater Henneguya species are greater than differences among the freshwater Henneguya species.

On the relation between the conditional moment closure and unsteady flamelets

We consider the relation between the conditional moment closure (CMC) and the unsteady flamelet model (FM). The CMC equations were originally constructed as global equations, while FM was derived asymptotically for a thin reaction zone. The recent tendency is to use FM-type equations as global equations. We investigate the possible consequences and suggest a new version of FM: coordinate-invariant FM (CIFM). Unlike FM, CIFM complies with conditional properties of the exact transport equations which are used effectively in CMC. We analyse the assumptions needed to obtain another global version of FM: representative interactive flamelets (RIF), from original FM and demonstrate that, in homogeneous turbulence, one of these assumptions is equivalent to the main CMC hypothesis.

Flaviviruses isolated from mosquitoes collected during the first recorded outbreak of Japanese encephalitis virus on Cape York Peninsula, Australia

In response to an outbreak of Japanese encephalitis (JE) virus on Cape York Peninsula, Australia, in 1998, mosquitoes were collected using CO2 and octenol-baited Centers for Disease Control and Prevention light traps. A total of 35,235 adult mosquitoes, comprising 31 species, were processed for virus isolation. No isolates of JE virus were recovered from these mosquitoes. However, 18 isolates of Kokobera virus, another flavivirus were obtained from Culex annulirostris. Twelve isolates were from western Cape York (minimum infection rate (MIR) of 0.61: 1,000 mosquitoes) and 6 were from the Northern Peninsula Area (MIR of 1.0:1,000). Potential explanations for the failure to detect JE virus in mosquitoes collected from Cape York Peninsula include the timing of collections, the presence of alternative bloodmeal hosts, differences in pig husbandry, asynchronous porcine seroconversion, and the presence of other flaviviruses.

Genetic monogamy in the absence of paternity guards: the Capricorn silvereye, Zosterops lateralis chlorocephalus, on Heron Island

We investigated the genetic mating system of a socially monogamous passerine bird, the Capricorn silvereye Zosterops lateralis chlorocephalus, on an island of the Great Barrier Reef. There were no cases of extrapair paternity (EPP) among 122 offspring from 53 broods detectable by minisatellite or microsatellite DNA fingerprinting. Behavioral observations of paired birds showed that this was not a consequence of efficacious paternity guards and that females did not engage in extrapair copulation (EPC). Frequency of intrapair copulations was also low, with only 14 cases observed during 199 hours of observations of the 11 focal pairs in the fertile periods of females, and this was consistent with anatomical features of the cloacal protuberance in males. In this population, young birds form life-time pair bonds soon after gaining independence but females are obviously not attempting EPC possibly to redress this early mate choice. This is despite the fact that they breed in high density with a synchronous start and asynchronous spread of laying in a protracted season and males do not positively exhibit mate guarding behavior when females are fertile. Our results support high fidelity of socially monogamous birds on islands and are consistent with the hypothesis that sexual selection is reduced where genetic variation in fitness is limited.

The expression of conflict in computer-mediated and face-to-face groups

This study integrated the research streams of computer-mediated communication (CMC) and group conflict by comparing the expression of different types of conflict in CMC groups and face-to face (FTF) groups over time. The main aim of the study was to compare the cues-filtered-out approach against the social information processing theory A laboratory study was conducted with 39 groups (19 CMC and 20 FTF) in which members were required to work together over three sessions. The frequencies of task, process, and relationship conflict were analyzed. Findings supported the social information processing theory. There was more process and relationship conflict in CMC groups compared to FTF groups on Day 1. However, this difference disappeared on Days 2 and 3. There was no difference between CMC and FTF groups in the amount of task conflict expressed on any day.

Independent and conjugate eye movements during optokinesis in teleost fish

In response to movements involving a large part of the visual field, the eyes of vertebrates typically show an optokinetic nystagmus, a response in which both eyes are tightly yoked. Using a comparative approach, this study sets out to establish whether fish with independent spontaneous eye movements show independent optokinetic nystagmus in each eye. Two fish with independent spontaneous eye movements, the pipefish Corythoichthyes intestinalis and the sandlance Limnichthyes fasciatus were compared with the butterflyfish Chaetodon rainfordi, which exhibits tightly yoked eye movements. In the butterflyfish a single whole-field stimulus elicits conjugate optokinesis, whereas the sandlance and pipefish show asynchronous optokinetic movements. In a split drum experiment, when both eyes were stimulated in opposite directions with different speeds, both the sandlance and the pipefish compensated independently with each eye. The optokinetic response in the butterflyfish showed some disconjugacy but was generally confused. When one eye was occluded, the seeing eye was capable of driving the occluded eye in both the butterflyfish and the pipefish but not in the sandlance. Monocular occlusion therefore unmasks a link between the two eyes in the pipefish, which is overridden when both eyes receive visual input. The sandlance never showed any correlation between the eyes during optokinesis in all stimulus conditions. This suggests that there are different levels of linkage between the two eyes in the oculomotor system of teleosts, depending on the visual input.

Virtual learning communities beyond the classroom: perceptions of tertiary Chinese language and non-language learners

As class contact times are reduced as a result of fiscal restraints in the modern tertiary sector, language instructors are placed in the position of having to find new ways to provide experience and continuity in language learning. Extending 'learning communities'—sites of learner knowledge exchange, exposure to diverse learning styles and strategies, and mutual support—beyond the classroom is one solution to maintaining successful linguistic competencies amongst learners. This, however, can conflict with the diverse extra-curricular commitments faced by tertiary students. The flexibility of web-based learning platforms provides one means of overcoming these obstacles. This study investigates learner perceptions of the use of the WebCT platform's computer medicated communication (CMC) tools as a means of extending the community of learning in tertiary Chinese language and non-language courses. Learner responses to Likert and open-ended questionnaires show that flexibility and reduction of negative affect are seen as significant benefits to 'virtual' interaction and communication, although responses are notably stronger in the non-language compared with the language cohort. While both learner cohorts acknowledge positive learning outcomes, CMC is not seen to consistently further interpersonal rapport beyond that established in the classroom. Maintaining a balance between web-based and classroom learning emerges as a concern, especially amongst language learners. [Author abstract, ed]

Negotiating cross-cultural difference in electronic discussion

Although a good deal of research exists both on computer-mediated communication(CMC) and on cross-cultural communication, rarely are the two areas brought together. In practice, however, extrapolation from one context to the other is common, with the internet and email being increasingly used to teach cross-cultural communication. What assumptions about the transfer of culture into cyberspace inform these practices? And are these assumptions well-founded? This paper explores practices of discussion on French and British internet media sites to determine the extent to which they reflect communicative practices elsewhere in those cultures. The case studies underline the importance of attending to the interaction between culture and genre, and have pedagogical implications for the use of such sites in the teaching of cross-cultural communication.

Diving behaviour of a reptile (Crocodylus johnstoni) in the wild: Interactions with heart rate and body temperature

The differences in physical properties of air and water pose unique behavioural and physiological demands on semiaquatic animals. The aim of this study was to describe the diving behaviour of the freshwater crocodile Crocodylus johnstoni in the wild and to assess the relationships between diving, body temperature, and heart rate. Time-depth recorders, temperature-sensitive radio transmitters, and heart rate transmitters were deployed on each of six C. johnstoni (4.0-26.5 kg), and data were obtained from five animals. Crocodiles showed the greatest diving activity in the morning (0600-1200 hours) and were least active at night, remaining at the water surface. Surprisingly, activity pattern was asynchronous with thermoregulation, and activity was correlated to light rather than to body temperature. Nonetheless, crocodiles thermoregulated and showed a typical heart rate hysteresis pattern (heart rate during heating greater than heart rate during cooling) in response to heating and cooling. Additionally, dive length decreased with increasing body temperature. Maximum diving length was 119.6 min, but the greatest proportion of diving time was spent on relatively short (

Evaluating the Baylis-Hillman reaction of cyclic enones using surfactants in water

Conjugated cyclic enones react smoothly in water with a variety of aldehydes (Baylis-Hillman reaction) in the presence of surfactants above their critical micelle concentrations (CMC).