A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

Nondeterministic gates for photonic single-rail quantum logic

We discuss techniques for producing, manipulating, and measuring qubits encoded optically as vacuum- and single-photon states. We show that a universal set of nondeterministic gates can be constructed using linear optics and photon counting. We investigate the efficacy of a test gate given realistic detector efficiencies.

A role for the dominant thalamus in language? A linguistic comparison of two cases subsequent to unilateral thalamotomy procedures in the dominant and non-dominant hemispheres

Background: Thalamotomy has been reported to be successful in ameliorating the motor symptoms of tremor and/or rigidity in people with Parkinson's disease (PD), emphasising the bona fide contribution of this subcortical nucleus to the neural circuitry subserving motor function. Despite evidence of parallel yet segregated associative and motor cortico-subcortical-cortical circuits, comparatively few studies have investigated the effects of this procedure on cognitive functions. In particular, research pertaining to the impact of thalamotomy on linguistic processes is fundamentally lacking. Aims: The purpose of this research was to investigate the effects of thalamotomy in the language dominant and non-dominant hemispheres on linguistic functioning, relative to operative theoretical models of subcortical participation in language. This paper compares the linguistic profiles of two males with PD, aged 75 years (10 years of formal education) and 62 years (22 years of formal education), subsequent to unilateral thalamotomy procedures within the language dominant and non-dominant hemispheres, respectively. Methods & Procedures: Comprehensive linguistic profiles comprising general and high-level linguistic abilities in addition to on-line semantic processing skills were compiled up to 1 month prior to surgery and 3 months post-operatively, within perceived on'' periods (i.e., when optimally medicated). Pre- and post-operative language performances were compared within-subjects to a group of 16 non-surgical Parkinson's controls (NSPD) and a group of 16 non-neurologically impaired adults (NC). Outcomes & Results: The findings of this research suggest a laterality effect with regard to the contribution of the thalamus to high-level linguistic abilities and, potentially, the temporal processing of semantic information. This outcome supports the application of high-level linguistic assessments and measures of semantic processing proficiency to the clinical management of individuals with dominant thalamic lesions. Conclusions: The results reported lend support to contemporary theories of dominant thalamic participation in language, serving to further elucidate our current understanding of the role of subcortical structures in mediating linguistic processes, relevant to cortical hemispheric dominance.

Educational brokers in global education markets

This article undertakes a text analysis of the promotional materials generated by two educational brokers, the British Council’s Education Counselling Service (ECS) and Australia’s International Development Programme (IDP-Education Australia).By focusing on the micropractices of branding, the constructions of the "international student" and "international education" are examined to uncover the relations between international education and globalisation.The conclusion reached here is that the dominant marketing messages used to brand and sell education are unevenly weighted in favour of the economic imperative.International education remains fixed in modernist spatiotemporal contexts that ignore the challenges presented by globalisation.Developing new notions of international education will require a more critical engagement with the geopolitics of knowledge and with issues of subjectivity, difference, and power.Ultimately, a more sustained and comprehensive engagement with the noneconomic dimensions of globalisation will be necessary to achieve new visions of international education.

A probabilistic analysis of Clostridium perfringens growth during food service operations

The purpose of this study was threefold: first, the study was designed to illustrate the use of data and information collected in food safety surveys in a quantitative risk assessment. In this case, the focus was on the food service industry; however, similar data from other parts of the food chain could be similarly incorporated. The second objective was to quantitatively describe and better understand the role that the food service industry plays in the safety of food. The third objective was to illustrate the additional decision-making information that is available when uncertainty and variability are incorporated into the modelling of systems. (C) 2002 Elsevier Science B.V. All rights reserved.

Point source inoculation of Mesocyclops (Copepoda : Cyclopidae) gives widespread control of Ochlerotatus and Aedes (Diptera : Culicidae) immatures in service manholes and pits in North Queensland, Australia

This study details the novel application of predacious copepods, genus Mesocyclops, for control of Ochlerotatus tremulus (Theobald) group and Aedes aegypti (L.) mosquito larvae in subterranean habitats in north Queensland, Australia. During June 1997, 50 Mesocyclops sp. I were inoculated into one service manhole in South Townsville. Wet season rainfall and flooding in both 1998 and 2000 was responsible for the dispersal of copepods via the underground pipe system to 29 of 35 manholes over an area of 1.33 km(2). Significant reductions in Aedes and Ochlerotatus larvae ensued. In these habitats, Mesocyclops and Metacyclops were able to survive dry periods, when substrate moisture content ranged from 13.8 to 79.9%. At the semiarid inland towns of Hughenden and Richmond, cracking clay soil prevents drainage of water from shallow service pits where Oc. tremulus immatures numbered from 292-18,460 per pit. Introduction of Mesocyclops copepods into these sites during May 1999 resulted in 100% control of Oc. tremulus for 18 mo. One uninoculated pit subsequently became positive for Mesocyclops with resultant control of mosquito larvae.

Prolonged retention after aggregation into secretory granules of human R183H-growth hormone (GH), a mutant that causes autosomal dominant GH deficiency type II

Human R183H-GH causes autosomal dominant GH deficiency type II. Because we show here that the mutant hormone is fully bioactive, we have sought to locate an impairment in its progress through the secretory pathway as assessed by pulse chase experiments. Newly synthesized wild-type and R183H-GH were stable when expressed transiently in AtT20 cells, and both formed equivalent amounts of Lubrol-insoluble aggregates within 40 min after synthesis. There was no evidence for intermolecular disulfide bond formation in aggregates of wild-type hormone or the R183H mutant. Both wildtype and R183H-GH were packaged into secretory granules, assessed by the ability of 1 mm BaCl2 to stimulate release and by immunocytochemistry. The mutant differed from wildtype hormone in its retention in the cells after packaging into secretory granules; 50% more R183H-GH than wild-type aggregates were retained in AtT20 cells 120 min after synthesis, and stimulated release of R183H-GH or a mixture of R183H-GH and wild-type that had been retained in the cell was reduced. The longer retention of R183H-GH aggregates indicates that a single point mutation in a protein contained in secretory granules affects the rate of secretory granule release.

Ubiquitous travel service delivery

Free independent travelers require flexible, reactive service delivery due to their regularly changing location and activities and the lack of a wired Internet connection. A ubiquitous travel service delivery system that is able to dynamically deliver services in response to relevant events, such as changing location, availability of new last-minute specials, work opportunities, and safety issues can provide added value while retaining the flexibility that is so important to independent travelers. This article describes such a system. An engineering design research approach has been adopted to design the system. Issues addressed include traveler and service states and events, contexts, situations, and situation-action rules. An architecture is proposed that is based on distributed, cooperating software agents and mobile data technologies. The role of these agents is to continuously monitor situations that are occurring in the physical and virtual service spaces and to take the required action for any situations that are relevant to the traveler.

Application of fairness theory to service failures and service recovery

This article presents a fairness theory-based conceptual framework for studying and managing consumers’ emotions during service recovery attempts. The conceptual framework highlights the central role played by counterfactual thinking and accountability. Findings from five focus groups are also presented to lend further support to the conceptual framework. Essentially, the article argues that a service failure event triggers an emotional response in the consumer, and from here the consumer commences an assessment of the situation, considering procedural justice, interactional justice, and distributive justice elements, while engaging in counterfactual thinking and apportioning accountability. More specifically, the customer assesses whether the service provider could and should have done something more to remedy the problem and how the customer would have felt had these actions been taken. The authors argue that during this process situational effort is taken into account when assessing accountability. When service providers do not appear to exhibit an appropriate level of effort, consumers attribute this to the service provider not caring. This in turn leads to the customer feeling more negative emotions, such as anger and frustration. Managerial implications of the study are discussed.

The role of gender in reactions to service failure and recovery

Male and female consumers place different emphasis on elements of the service recovery process. Perceptions were influenced by gender of the service provider and by a match of customer and service provider gender. The study, an experimental design with 712 respondents, found that when service providers, irrespective of gender, display concern and give customers voice and a sizable compensation, both men and women reported more positive attitudes compared with when this was not so. Combinations of high voice with high outcome and high voice with high concern were especially important in positively influencing perceptions of effort, regardless of gender. However, the authors also found that there were significant differences between male and female respondents regarding their perceptions of how service recovery should be handled. Women want their views heard during service recovery attempts and to be allowed to provide input. Men, in contrast, do not view voice as important.