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.

Distortion product otoacoustic emissions in children at school entry: A comparison with pure tone screening and tympanometry results

This study examined the test performance of distortion product otoacoustic emissions (DPOAEs) when used as a screening tool in the school setting. A total of 1003 children (mean age 6.2 years, SD = 0.4) were tested with pure-tone screening, tympanometry, and DPOAE assessment. Optimal DPOAE test performance was determined in comparison with pure-tone screening results using clinical decision analysis. The results showed hit rates of 0.86, 0.89, and 0.90, and false alarm rates of 0.52, 0.19, and 0.22 for criterion signal-to-noise ratio (SNR) values of 4, 5, and 11 dB at 1.1, 1.9, and 3.8 kHz respectively. DPOAE test performance was compromised at 1.1 kHz. In view of the different test performance characteristics across the frequencies, the use of a fixed SNR as a pass criterion for all frequencies in DPOAE assessments is not recommended. When compared to pure tone plus tympanometry results, the DPOAEs showed deterioration in test performance, suggesting that the use of DPOAEs alone might miss children with subtle middle ear dysfunction. However, when the results of a test protocol, which incorporates both DPOAEs and tympanometry, were used in comparison with the gold standard of pure-tone screening plus tympanometry, test performance was enhanced. In view of its high performance, the use of a protocol that includes both DPOAEs and tympanometry holds promise as a useful tool in the hearing screening of schoolchildren, including difficult-to-test children.

Development and evaluation of neural network freeway incident detection models using field data

This paper discusses a multi-layer feedforward (MLF) neural network incident detection model that was developed and evaluated using field data. In contrast to published neural network incident detection models which relied on simulated or limited field data for model development and testing, the model described in this paper was trained and tested on a real-world data set of 100 incidents. The model uses speed, flow and occupancy data measured at dual stations, averaged across all lanes and only from time interval t. The off-line performance of the model is reported under both incident and non-incident conditions. The incident detection performance of the model is reported based on a validation-test data set of 40 incidents that were independent of the 60 incidents used for training. The false alarm rates of the model are evaluated based on non-incident data that were collected from a freeway section which was video-taped for a period of 33 days. A comparative evaluation between the neural network model and the incident detection model in operation on Melbourne's freeways is also presented. The results of the comparative performance evaluation clearly demonstrate the substantial improvement in incident detection performance obtained by the neural network model. The paper also presents additional results that demonstrate how improvements in model performance can be achieved using variable decision thresholds. Finally, the model's fault-tolerance under conditions of corrupt or missing data is investigated and the impact of loop detector failure/malfunction on the performance of the trained model is evaluated and discussed. The results presented in this paper provide a comprehensive evaluation of the developed model and confirm that neural network models can provide fast and reliable incident detection on freeways. (C) 1997 Elsevier Science Ltd. All rights reserved.

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.

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.

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.

Anesthesia alarms in context: An observational study

This paper surveys current work on the design of alarms for anesthesia environments and notes some of the problems arising from the need to interpret alarms in context. Anesthetists' responses to audible alarms in the operating room were observed across four types of surgical procedure (laparoscopic, arthroscopic, cardiac, and intracranial) and across three phases of a procedure (induction, maintenance, and emergence). Alarms were classified as (a) requiring a corrective response, (b) being the intended result of a decision, (c) being ignored as a nuisance alarm, or (d) functioning as a reminder. Results revealed strong effects of the type of procedure and phase of procedure on the number and rate of audible alarms. Some alarms were relatively confined to specific phases; others were seen across phases, and responses differed according to phase. These results were interpreted in light of their significance for the development of effective alarm systems. Actual or potential applications of this research include the design of alarm systems that are more informative and more sensitive to operative context than are current systems.

Recognition memory effects in event-based prospective memory

Prospective memory (ProM) is the memory for future actions. It requires retrieving content of anaction in response to an ambiguous cue. Currently, it is unclear if ProM is a distinct form of memory, or merely a variant of retrospective memory (RetM). While content retrieval in ProM appears analogous to conventional RetM, less is known about the process of cue detection. Using a modified version of the standard ProM paradigm, three experiments manipulated stimulus characteristics known to influence RetM, in order to examine their effects on ProM performance. Experiment 1 (N — 80) demonstrated that low frequency stimuli elicited significantly higher hit rates and lower false alarm rates than high frequency stimuli, comparable to the mirror effect in RetM. Experiment 2 (N = 80) replicated these results, and showed that repetition of distracters during the test phase significantly increased false alarm rates to second and subsequent presentations of low frequency distracters. Building on these results. Experiment 3 (AT = 40) showed that when the study list was strengthened, the repeated presentation of targets and distracters did not significantly affect response rates. These experiments demonstrate more overlap between ProM and RetM than has previously been acknowledged. The implications for theories of ProM are considered.

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.

The impact of an expert's gender on jurors' decisions

This study uses a simulated civil trial to examine the effect of a male expert's testimony in a male-dominated industry as compared to a female expert's testimony in a traditionally female-dominated industry. ... As noted by Cooper et al., research on persuasion has reliably demonstrated that, under conditions of message complexity, people rely on heuristic cues rather than the content of the message when judging its validity. ... Similarly, Swenson, Nash, and Roos determined that a female expert witness in a child custody dispute was perceived as possessing greater expertise than a male expert, although this difference was only marginally significant. Findings from an unpublished dissertation, which investigated the influence of expert gender in a case involving child sexual abuse, also found some support, in terms of whether or not jurors reached a verdict in a specified period of time or remained hung, for the hypothesis that a female expert would be more influential than her male counterpart. ... Within each of these trial domains (construction, women's clothing), the second experimental variable was manipulated by varying the gender of the plaintiff's expert witness, with half of the participants receiving testimony from a female expert (Dr. Elizabeth Pinder) and half of the participants receiving testimony from a male expert (Dr. Michael Pinder).

Conversational influences on young children's responses to misleading questions

The present study investigated the degree to which young children's suggestible responses were related to their pragmatic language ability. In Experiment 1, forty-seven 5- and 6-year-olds were read a short picture story followed the next day by a postevent synopsis that included both consistent and misleading details about the original story. Six days later, a suggestibility effect was evident with responses to questions about the details that had been misled being less accurate than to those about details not misled. Although age significantly correlated with this effect, the relationship was not significant after controlling for the children's pragmatic language ability. The procedure in Experiment 2 was identical with the exception that the thirty-nine 5- and 6-year-olds were questioned in a format that made explicit the intended reference point of the interrogation. A suggestibility effect was now not evident nor was accuracy related to age. Taken together, these results support the position that young children's suggestibility requires a consideration not only in terms of suggestible memories but also in terms of suggestible responses that can result from incorrectly interpreting the intended message of an experimenter's questions. (C) 2001 Elsevier Science Inc. All rights reserved.

Long-term outcomes of genetic counseling in women at increased risk of developing hereditary breast cancer Information,

This multicenter study evaluated the impact of genetic counseling in 218 women at risk of developing hereditary breast cancer. Women were assessed prior to counseling and 12-month post-counseling using self-administered, mailed questionnaires. Compared to baseline, breast cancer genetics knowledge was increased significantly at follow-up. and greater increases in knowledge were associated with educational level. Breast cancer anxiety decreased significantly from baseline to follow-up, and these decreases were associated with improvements in perceived risk. A significant decrease in clinical breast examination was observed at the 12-month follow-up. Findings suggest that women with a family history of breast cancer benefit from attending familial cancer clinics as it leads to increases in breast cancer genetics knowledge and decreases in breast cancer anxiety. The lowered rates of clinical breast examination indicate that the content of genetic counseling may need to be reviewed to ensure that women receive and take away the right message. (C) 2001 Elsevier Science Ireland Ltd. All rights reserved.