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.

Molecular modelling of human CYP1B1 substrate interactions and investigation of allelic variant effects on metabolism

Molecular modelling of human CYP1B1 based on homology with the mammalian P450, CYP2C5, of known three-dimensional structure is reported. The enzyme model has been used to investigate the likely mode of binding for selected CYP1B1 substrates, particularly with regard to the possible effects of allelic variants of CYP1B1 on metabolism. In general, it appears that the CYP1B1 model is consistent with known substrate selectivity for the enzyme, and the sites of metabolism can be rationalized in terms of specific contacts with key amino acid residues within the CYP1B1 heme locus. Further-more, a mode of binding interaction for the inhibitor, a-naphthoflavone, is presented which accords with currently available information. The current paper shows that a combination of molecular modelling and experimental determinations on the substrate metabolism for CYP1B1 allelic variants can aid in the understanding of structure-function relationships within P450 enzymes. (C) 2003 Elsevier Science Ireland Ltd. All rights reserved.

D-Tyrosine as a chiral precusor to potent inhibitors of human nonpancreatic secretory phospholipase A(2) (IIa) with antiinflammatory activity

Few reported inhibitors of secretory phospholipase A(2) enzymes inhibit the IIa human isoform (hnpsPLA(2)-IIa) noncovalently at submicromolar concentrations. Herein, the simple chiral precursor D-tyrosine was derivastised to give a series of potent new inhibitors of hnpsPLA(2)-IIa. A 2.2-Angstrom crystal structure shows an inhibitor bound in the active site of the enzyme, chelated to a Ca2+ ion through carboxylate and amide oxygen atoms, H bonded through an amide NH group to His48, with multiple hydrophobic contacts and a T-shaped aromatic-group-His6 interaction. Antiinflammatory activity is also demonstrated for two compounds administered orally to rats.

GABAA receptor beta subunit mRNA expression in the human alcoholic brain

A competitive RT-PCR assay was used to quantify the expression of the GABA(A) receptor beta(1), beta(2) and beta(3) isoform mRNA transcripts in the superior frontal cortex and motor cortex of 21 control and 22 alcoholic cases. A single set of primers was designed that permitted amplification of all three transcripts and the internal standard simultaneously; differentiation of the individual transcripts was achieved by restriction enzyme digestion. Construction of a standard curve, using the internal standard and a concentration range of beta(2) cRNA-enabled quantitation of mRNA expression levels. No significant difference in mRNA expression was found between the control and alcoholic case groups in either the superior frontal or motor cortex for the beta(2) or beta(3) isoforms. A significant interaction was found between isoform and area, although, the two case groups did not partition on this measure. The interaction was due to a significant difference between superior frontal and motor cortex for the beta(3) isoform; this regional comparison was not significant for beta(2) mRNA. Age at death and post-mortem delay (PMD) had no significant effect on beta mRNA expression in either case group in either region. A beta(1) signal could not be detected in the RT-PCR assay. (C) 2004 Elsevier Ltd. All rights reserved.

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.

The human stress-activated protein kinase-interacting 1 gene encodes JNK-binding proteins

The orthologous proteins of the stress-activated protein kinase-interacting 1 (Sin1) family have been implicated in several different signal transduction pathways. In this study, we have investigated the function of the full-length human Sin1 protein and a C-terminally truncated isoform, Sin 1 alpha, which is produced by alternative splicing. Immunoblot analysis using an anti-Sin 1 polyclonal antibody showed that full-length Sin I and several smaller isoforms are widely expressed. Sin 1 was demonstrated to bind to c-Jun N-terminal kinase (JNK) in vitro and in vivo, while no interaction with p38- or ERK1/2-family MAPKs was observed. The Sin1 alpha isoform could also form a complex with JNK in vivo. Despite localizing in distinct compartments within the cell, both Sin1 and Sin1 alpha co-localized with JNK, suggesting that the Sin1 proteins could recruit JNK. Over-expression of full-length Sin1 inhibited the activation of JNK by UV-C in DG75 cells, as well as basal JNK-activity in HEK293 cells. These data suggest that the human Sin1 proteins may act as scaffold molecules in the regulation of signaling by JNK. (c) 2004 Elsevier Inc. All rights reserved.

The effects of alanine-substituted conantokin-G and ifenprodil on the human spermine-activated N-methyl-D-aspartate receptor

We evaluated the effects of Ala-7-conantokin-G (Con-G(A7)) and ifenprodil on the modulation by spermine of [H-3]MK801 binding to human cortical membranes. Human cortical tissue was obtained at autopsy and stored at -80 degreesC until assay. Both Con-GA7 and ifenprodil inhibited [H-3]MK801 binding, but spermine affected these inhibitions differently. Con-G(A7) IC50 changed little with spermine concentration, indicative of a non-competitive interaction, whereas the rightward shift in ifenprodil IC50 with increasing spermine concentration suggested partial competition. When the two agents were tested against the biphasic activation of [H-3]MK801 binding by spermine, they again differed in their effects. In the activation phase Con-G(A7) was a non-competitive inhibitor of spermine activation, and may even enhance the spermine EC50, while the ifenprodil data indicated a partially competitive interaction. Both agents were non-competitive in the inhibitory phase. Overall, the data suggest that Con-G(A7) and ifenprodil interact differently with the polyamine modulation of the glutamate-N-methyl-D-aspartate receptor. (C) 2004 IBRO. Published by Elsevier Ltd. All rights reserved.

Comparative agonist/antagonist responses in mutant human C5a receptors define the ligand binding site

The C terminus is responsible for all of the agonist activity of C5a at human C5a receptors (C5aRs). In this report we have mapped the ligand binding site on the C5aR using a series of agonist and antagonist peptide mimics of the C terminus of C5a as well as receptors mutated at putative interaction sites ( Ile(116), Arg(175), Arg(206), Glu(199), Asp(282), and Val(286)). Agonist peptide 1 (Phe-Lys-Pro-D-cyclohexylalanine-cyclohexylalanine-D-Arg) can be converted to an antagonist by substituting the bulkier Trp for cyclohexylalanine at position 5 ( peptide 2). Conversely, mutation of C5aR transmembrane residue Ile(116) to the smaller Ala (I116A) makes the receptor respond to peptide 2 as an agonist (Gerber, B. O., Meng, E. C., Dotsch, V., Baranski, T. J., and Bourne, H. R. (2001) J. Biol. Chem. 276, 3394 - 3400). However, a potent cyclic hexapeptide antagonist, Phe-cyclo-[Orn-Pro-D-cyclohexylalanine-Trp-Arg] ( peptide 3), derived from peptide 2 and which binds to the same receptor site, remains a full antagonist at I116AC5aR. This suggests that although the residue at position 5 might bind near to Ile(116), the latter is not essential for either activation or antagonism. Arg(206) and Arg(175) both appear to interact with the C-terminal carboxylate of C5a agonist peptides, suggesting a dynamic binding mechanism that may be a part of a receptor activation switch. Asp(282) has been previously shown to interact with the side chain of the C-terminal Arg residue, and Glu(199) may also interact with this side chain in both C5a and peptide mimics. Using these interactions to orient NMR-derived ligand structures in the binding site of C5aR, a new model of the interaction between peptide antagonists and the C5aR is presented.

Functional characterisation of an engineered multidomain human P450 E1 by molecular Lego

The human cytochrome P450s constitute an important family of monooxygenase enzymes that carry out essential roles in the metabolism of endogenous compounds and foreign chemicals. We present here results of a fusion between a human P450 enzyme and a bacterial reductase that for the first time is shown does not require the addition of lipids or detergents to achieve wild-type-like activities. The fusion enzyme, P450 2E1-BMR, contains the N-terminally modified residues 22-493 of the human P450 2E1 fused at the C-terminus to residues 473-1049 of the P450 BM3 reductase (BMR). The P450 2E1-BMR enzyme is active, self-sufficient and presents the typical marker activities of the native human P450 2E1: the hydroxylation of p-nitrophenol (K (M)=1.84 +/- 0.09 mM and k (cat) of 2.98 +/- 0.04 nmol of p-nitrocatechol formed per minute per nanomole of P450) and chlorzoxazone (K (M)=0.65 +/- 0.08 mM and k (cat) of 0.95 +/- 0.10 nmol of 6-hydroxychlorzoxazone formed per minute per nanomole of P450). A 3D model of human P450 2E1 was generated to rationalise the functional data and to allow an analysis of the surface potentials. The distribution of charges on the model of P450 2E1 compared with that of the FMN domain of BMR provides the ground for the understanding of the interaction between the fused domains. The results point the way to successfully engineer a variety of catalytically self-sufficient human P450 enzymes for drug metabolism studies in solution.

The human papillomavirus type 16 E7 protein binds human interferon regulatory factor-9 via a novel PEST domain required for transformation

It is critical that viruses are able to avoid the antiviral activities of interferon (IFN). We have shown previously that the human papillomavirus (HPV) is able to avoid IFN-alpha via interaction of the HPV-16 E7 protein with IFN regulatory factor-9 (IRF-9). Here, we investigated the details of the interaction using HPV-16 E7 peptide mapping to show that IRF-9 binds HPV-16 E7 in a domain encompassing amino acids 25-36. A closer examination of this region indicates this is a novel proline, glutamate, serine, and threonine-rich (PEST) domain, with a PEST score of 8.74. We have also mapped the region of interaction within IRF-9 and found that amino acids 354-393 play an important role in binding to HPV-16 E7. This region of IRF-9 encompasses the IRF association domain (IAD), a region important for protein-protein interaction central to IRF function. Finally, we used alanine-scanning mutagenesis to determine if E7-IRF-9 interaction was important for E7-mediated cellular transformation and found that the HPV-16 E7 mutants Y25A, E26A, S31A, S32A, and E35A, but not L28A and N29A, caused loss of transformation ability. Preliminary data suggest loss of IRF-9 interaction with E7 mutants correlated with transformation. Our work suggests E7- IRF- 9 interaction is important for the transforming ability of HPV-16 E7 and that HPV-16 E7 may interact with other IRF proteins that have IAD domains.

Influence of predominant patterns of coordination on the exploitation of interaction torques in a two-joint rhythmic arm movement

In this study we investigate the coordination between rhythmic flexion-extension (FE) and supination-pronation (SP) movements at the elbow joint-complex, while manipulating the intersegmental dynamics by means of a 2-degrees of freedom (df) robot arm. We hypothesized that constraints imposed by the structure of the neuromuscular-skeletal system would (1) result in predominant pattern(s) of coordination in the absence of interaction torques and (2) influence the capabilities of participants to exploit artificially induced interaction torques. Two experiments were conducted in which different conditions of interaction torques were applied on the SP-axis as a function of FE movements. These conditions promoted different patterns of coordination between the 2-df. Control trials conducted in the absence of interaction torques revealed that both the in-phase (supination synchronized with flexion) and the anti-phase (pronation synchronized with flexion) patterns were spontaneously established by participants. The predominance of these patterns of coordination is explained in terms of the mechanical action of bi-articular muscles acting at the elbow joint-complex, and in terms of the reflexes that link the activity of the muscles involved. Results obtained in the different conditions of interaction torques revealed that those neuromuscular-skeletal constraints either impede or favor the exploitation of intersegmental dynamics depending on the context. Interaction torques were indeed found to be exploited to a greater extent in conditions in which the profiles of interaction torques favored one of the two predominant patterns of coordination (i.e., in-phase or anti-phase) as opposed to other patterns of coordination (e.g., 90 degrees or 270 degrees). Those results are discussed in relation to recent studies reporting exploitation of interaction torques in the context of rhythmic movements.

Reconstruction and in silico analysis of the MAPK signaling pathways in the human blood fluke, Schistosoma japonicum

At present, little is known about signal transduction mechanisms in schistosomes, which cause the disease of schistosomiasis. The mitogen-activated protein kinase (MAPK) signaling pathways, which are evolutionarily conserved from yeast to Homo sapiens, play key roles in multiple cellular processes. Here, we reconstructed the hypothetical MAPK signaling pathways in Schistosoma japonicum and compared the schistosome pathways with those of model eukaryote species. We identified 60 homologous components in the S. japoncium MAPK signaling pathways. Among these, 27 were predicted to be full-length sequences. Phylogenetic analysis of these proteins confirmed the evolutionary conservation of the MAPK signaling pathways. Remarkably, we identified S. japonicum homologues of GTP-binding protein beta and alpha-I subunits in the yeast mating pathway, which might be involved in the regulation of different life stages and female sexual maturation processes as well in schistosomes. In addition, several pathway member genes, including ERK, JNK, Sja-DSP, MRAS and RAS, were determined through quantitative PCR analysis to be expressed in a stage-specific manner, with ERK, JNK and their inhibitor Sja-DSP markedly upregulated in adult female schistosomes. (c) 2006 Federation of European Biochemical Societies. Published by Elsevier B.V. All rights reserved.