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.

Model-Driven safety evaluation with state-event-based component failure annotations

Over the past years, the paradigm of component-based software engineering has been established in the construction of complex mission-critical systems. Due to this trend, there is a practical need for techniques that evaluate critical properties (such as safety, reliability, availability or performance) of these systems. In this paper, we review several high-level techniques for the evaluation of safety properties for component-based systems and we propose a new evaluation model (State Event Fault Trees) that extends safety analysis towards a lower abstraction level. This model possesses a state-event semantics and strong encapsulation, which is especially useful for the evaluation of component-based software systems. Finally, we compare the techniques and give suggestions for their combined usage

Prospects for control of African trypanosomiasis by tsetse vector manipulation

The extensive antigenic variation phenomena African trypanosomes display in their mammalian host have hampered efforts to develop effective vaccines against trypanosomiasis. Human disease management aims largely to treat infected hosts by chemotherapy, whereas control of animal diseases relies on reducing tsetse populations as well as on drug therapy. The control strategies for animal diseases are carried out and financed by livestock owners, who have an obvious economic incentive. Sustaining largely insecticide-based control at a local level and relying on drugs for treatment of infected hosts for a disease for which there is no evidence of acquired immunity could prove extremely costly in the long run. It is more likely that a combination of several methods in an integrated, phased and area-wide approach would be more effective in controlling these diseases and subsequently improving agricultural output. New approaches that are environmentally acceptable, efficacious and affordable are clearly desirable for control of various medically and agriculturally important insects including tsetse. Here, Serap Aksoy and colleagues discuss molecular genetic approaches to modulate tsetse vector competence.

The practice of participatory planning at Mapoon Aboriginal settlement: Towards community control, ownership and autonomy

The practice of participatory planning in discrete Indigenous settlements has been established since the early 1990s. In addition to technical and economic goals, participatory planning also seeks community development outcomes, including community control, ownership and autonomy. This paper presents an evaluation of one such planning project, conducted at Mapoon in 1995. The Plan successfully improved physical infrastructure and housing, but had mixed success in terms of community development. Despite various efforts to follow participatory processes, the Plan was essentially a passing event, community control progressively diminished after its completion, and outcomes fell short of notions of ownership and autonomy. This suggests some misunderstandings between the practice of participatory planning and the workings of governance.

Optimal unravellings for feedback control in linear quantum systems

For quantum systems with linear dynamics in phase space much of classical feedback control theory applies. However, there are some questions that are sensible only for the quantum case: Given a fixed interaction between the system and the environment what is the optimal measurement on the environment for a particular control problem? We show that for a broad class of optimal (state- based) control problems ( the stationary linear-quadratic-Gaussian class), this question is a semidefinite program. Moreover, the answer also applies to Markovian (current-based) feedback.

Seizure detection algorithm for neonates based on wave-sequence analysis

Objective: The description and evaluation of the performance of a new real-time seizure detection algorithm in the newborn infant. Methods: The algorithm includes parallel fragmentation of EEG signal into waves; wave-feature extraction and averaging; elementary, preliminary and final detection. The algorithm detects EEG waves with heightened regularity, using wave intervals, amplitudes and shapes. The performance of the algorithm was assessed with the use of event-based and liberal and conservative time-based approaches and compared with the performance of Gotman's and Liu's algorithms. Results: The algorithm was assessed on multi-channel EEG records of 55 neonates including 17 with seizures. The algorithm showed sensitivities ranging 83-95% with positive predictive values (PPV) 48-77%. There were 2.0 false positive detections per hour. In comparison, Gotman's algorithm (with 30 s gap-closing procedure) displayed sensitivities of 45-88% and PPV 29-56%; with 7.4 false positives per hour and Liu's algorithm displayed sensitivities of 96-99%, and PPV 10-25%; with 15.7 false positives per hour. Conclusions: The wave-sequence analysis based algorithm displayed higher sensitivity, higher PPV and a substantially lower level of false positives than two previously published algorithms. Significance: The proposed algorithm provides a basis for major improvements in neonatal seizure detection and monitoring. Published by Elsevier Ireland Ltd. on behalf of International Federation of Clinical Neurophysiology.

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.

A dynamic model with on-line identification for rotary sugar drying processes

A dynamic modelling methodology, which combines on-line variable estimation and parameter identification with physical laws to form an adaptive model for rotary sugar drying processes, is developed in this paper. In contrast to the conventional rate-based models using empirical transfer coefficients, the heat and mass transfer rates are estimated by using on-line measurements in the new model. Furthermore, a set of improved sectional solid transport equations with localized parameters is developed in this work to reidentified on-line using measurement data, the model is able to closely track the dynamic behaviour of rotary drying processes within a broad range of operational conditions. This adaptive model is validated against experimental data obtained from a pilot-scale rotary sugar dryer. The proposed modelling methodology can be easily incorporated into nonlinear model based control schemes to form a unified modelling and control framework.place the global correlation for the computation of solid retention time. Since a number of key model variables and parameters are identified on-line using measurement data, the model is able to closely track the dynamic behaviour of rotary drying processes within a broad range of operational conditions. This adaptive model is validated against experimental data obtained from a pilot-scale rotary sugar dryer. The proposed modelling methodology can be easily incorporated into nonlinear model based control schemes to form a unified modelling and control framework.

Scabies: more than just an irritation

Human scabies, caused by skin infestation with the arthropod mite, Sarcoptes scabiei, typically results in a papular, intensely pruritic eruption involving the interdigital spaces, and flexure creases. Recent research has led to a reassessment of the morbidity attributable to this parasite in endemic communities, particularly resulting from secondary skin sepsis and postinfective complications including glomerulonephritis. This has led to studies of the benefits of community based control programmes, and to concerns regarding the emergence of drug resistance when such strategies are employed. The renewed research interest into the biology of this infection has resulted in the application of molecular tools. This has established that canine and human scabies populations are genetically distinct, a finding with major implications for the formulation of public health control policies. Further research is needed to increase understanding of drug resistance, and to identify new drug targets and potential vaccine candidates.