Adherence of Plasmodium falciparum infected erythrocytes to CHO-745 cells and inhibition of binding by protein A in the presence of human serum

Adhesion of erythrocytes infected with the malaria parasite Plasmodium falciparum to human host receptors is a process associated with severe malarial pathology. A number of in vitro cell lines are available as models for these adhesive processes, including Chinese hamster ovary (CHO) cells which express the placental adhesion receptor chondroitin-4-sulphate (CSA) on their surface. CHO-745 cells, a glycosaminoglycan-negative mutant CHO cell line lacking CSA and other reported P. falciparum adhesion receptors, are often used for recombinant expression of host receptors and for receptor binding studies. In this study we show that P. falciparum-infected erythrocytes can be easily selected for adhesion to an endogenous receptor on the surface of CHO-745 cells, bringing into question the validity of using these cells as a tool for P. falciparum adhesin expression studies. The adhesive interaction between CHO-745 cells and parasitized erythrocytes described here is not mediated by the known P. falciparum adhesion receptors CSA, CD36, or ICAM-1. However, we found that CHO-745-selected parasitized erythrocytes bind normal human IgM and that adhesion to CHO-745 cells is inhibited by protein A in the presence of serum, but not in its absence, indicating a non-specific inhibitory effect. Thus, protein A, which has been used as an inhibitor for a recently described interaction between infected erythrocytes and the placenta, may not be an appropriate in vitro inhibitor for understanding in vivo adhesive interactions. (c) 2005 Australian Society for Parasitology Inc. Published by Elsevier Ltd. All rights reserved.

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.

Searching oligo sets of human chromosome 12 using evolutionary strategies

DNA microarray is a powerful tool to measure the level of a mixed population of nucleic acids at one time, which has great impact in many aspects of life sciences research. In order to distinguish nucleic acids with very similar composition by hybridization, it is necessary to design probes with high specificities, i.e. uniqueness, and also sensitivities, i.e., suitable melting temperature and no secondary structure. We make use of available biology tools to gain necessary sequence information of human chromosome 12, and combined with evolutionary strategy (ES) to find unique subsequences representing all predicted exons. The results are presented and discussed.