A participatory design agenda for ubiquitous computing and multimodal interaction: A case study of dental practice

This paper reflects upon our attempts to bring a participatory design approach to design research into interfaces that better support dental practice. The project brought together design researchers, general and specialist dental practitioners, the CEO of a dental software company and, to a limited extent, dental patients. We explored the potential for deployment of speech and gesture technologies in the challenging and authentic context of dental practices. The paper describes the various motivations behind the project, the negotiation of access and the development of the participant relationships as seen from the researchers' perspectives. Conducting participatory design sessions with busy professionals demands preparation, improvisation, and clarity of purpose. The paper describes how we identified what went well and when to shift tactics. The contribution of the paper is in its description of what we learned in bringing participatory design principles to a project that spanned technical research interests, commercial objectives and placing demands upon the time of skilled professionals. Copyright © 2010 ACM, Inc

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.

A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

Fast evolution strategies

Evolution strategies are a class of general optimisation algorithms which are applicable to functions that are multimodal, nondifferentiable, or even discontinuous. Although recombination operators have been introduced into evolution strategies, the primary search operator is still mutation. Classical evolution strategies rely on Gaussian mutations. A new mutation operator based on the Cauchy distribution is proposed in this paper. It is shown empirically that the new evolution strategy based on Cauchy mutation outperforms the classical evolution strategy on most of the 23 benchmark problems tested in this paper. The paper also shows empirically that changing the order of mutating the objective variables and mutating the strategy parameters does not alter the previous conclusion significantly, and that Cauchy mutations with different scaling parameters still outperform the Gaussian mutation with self-adaptation. However, the advantage of Cauchy mutations disappears when recombination is used in evolution strategies. It is argued that the search step size plays an important role in determining evolution strategies' performance. The large step size of recombination plays a similar role as Cauchy mutation.

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.

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.

Haptic information stabilizes and destabilizes coordination dynamics

Goal-directed, coordinated movements in humans emerge from a variety of constraints that range from 'high-level' cognitive strategies based oil perception of the task to 'low-level' neuromuscular-skeletal factors such as differential contributions to coordination from flexor and extensor muscles. There has been a tendency in the literature to dichotomize these sources of constraint, favouring one or the other rather than recognizing and understanding their mutual interplay. In this experiment, subjects were required to coordinate rhythmic flexion and extension movements with an auditory metronome, the rate of which was systematically increased. When subjects started in extension on the beat of the metronome, there was a small tendency to switch to flexion at higher rates, but not vice versa. When subjects: were asked to contact a physical stop, the location of which was either coincident with or counterphase to the auditor) stimulus, two effects occurred. When haptic contact was coincident with sound, coordination was stabilized for both flexion and extension. When haptic contact was counterphase to the metronome, coordination was actually destabilized, with transitions occurring from both extension to flexion on the beat and from flexion to extension on the beat. These results reveal the complementary nature of strategic and neuromuscular factors in sensorimotor coordination. They also suggest the presence of a multimodal neural integration process-which is parametrizable by rate and context - in which intentional movement, touch and sound are bound into a single, coherent unit.