Automatic binding-related error diagnosis in logic programs

This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result in abstract symptoms during compile-time checking of assertions based on abstract interpretation. The diagnoser analyzes the graph generated by the abstract interpreter, which is a provably safe approximation of the program semantics. The proposed algorithm traverses this graph to find the point where the actual error originates (a reason of the symptom), leading to the point the error has been reported (the symptom). The procedure is fully automatic, not requiring any interaction with the user. A prototype diagnoser has been implemented and preliminary results are encouraging.

Les substrats neuronaux sous-tendant le binding automatique et contrôlé en mémoire de travail dans la schizophrénie : une étude en IRMf.

Le déficit de mémoire de travail est une des caractéristiques centrales de la schizophrénie et est associé aux problèmes de fonctionnement quotidien des patients. Parmi les différents processus sous-tendus par la mémoire de travail, nous nous intéressons au binding. Le binding est un processus qui permet d’associer plusieurs informations (par exemple, associer le nom d’une personne avec son adresse). En mémoire de travail, les patients schizophrènes ne présentent pas de déficit de binding lorsque les informations sont associées involontairement. Ce type de binding est appelé binding automatique. Cependant, les informations peuvent aussi être associées sous le contrôle volontaire et attentionnel des participants, nous parlons alors de binding contrôlé. À l’heure actuelle, aucune étude n’a été effectuée sur le binding contrôlé en schizophrénie. Notre objectif est de déterminer s'il existe un déficit spécifique de binding contrôlé dans la schizophrénie, et de décrire les substrats neuronaux qui le sous-tendent. Dix-neuf patients schizophrènes et 18 sujets témoins ont effectué une tâche de binding en mémoire de travail dans un scanner IRM. Celle-ci consistait à mémoriser des mots et des positions spatiales dont l’association variait selon deux conditions. Dans la condition de binding contrôlé, les mots et les positions spatiales étaient présentés séparément et les participants devaient faire l’association entre les deux informations eux-mêmes. Dans la condition de binding automatique, les mots étaient d’emblée associés aux positions spatiales. Nos résultats suggèrent que les patients schizophrènes n’auraient pas de déficit de binding automatique alors qu’ils auraient un déficit de binding contrôlé par rapport aux sujets témoins. Le déficit de binding contrôlé serait sous-tendu par des niveaux d’activation plus faibles du cortex préfrontal dorsolatéral. Les processus contrôlés seraient altérés alors que les processus automatiques seraient préservés dans la schizophrénie.

Predicting metal-binding site residues in low-resolution structural models

The accurate prediction of the biochemical function of a protein is becoming increasingly important, given the unprecedented growth of both structural and sequence databanks. Consequently, computational methods are required to analyse such data in an automated manner to ensure genomes are annotated accurately. Protein structure prediction methods, for example, are capable of generating approximate structural models on a genome-wide scale. However, the detection of functionally important regions in such crude models, as well as structural genomics targets, remains an extremely important problem. The method described in the current study, MetSite, represents a fully automatic approach for the detection of metal-binding residue clusters applicable to protein models of moderate quality. The method involves using sequence profile information in combination with approximate structural data. Several neural network classifiers are shown to be able to distinguish metal sites from non-sites with a mean accuracy of 94.5%. The method was demonstrated to identify metal-binding sites correctly in LiveBench targets where no obvious metal-binding sequence motifs were detectable using InterPro. Accurate detection of metal sites was shown to be feasible for low-resolution predicted structures generated using mGenTHREADER where no side-chain information was available. High-scoring predictions were observed for a recently solved hypothetical protein from Haemophilus influenzae, indicating a putative metal-binding site.

Automatic design of decision-tree induction algorithms tailored to flexible-receptor docking data

Background: This paper addresses the prediction of the free energy of binding of a drug candidate with enzyme InhA associated with Mycobacterium tuberculosis. This problem is found within rational drug design, where interactions between drug candidates and target proteins are verified through molecular docking simulations. In this application, it is important not only to correctly predict the free energy of binding, but also to provide a comprehensible model that could be validated by a domain specialist. Decision-tree induction algorithms have been successfully used in drug-design related applications, specially considering that decision trees are simple to understand, interpret, and validate. There are several decision-tree induction algorithms available for general-use, but each one has a bias that makes it more suitable for a particular data distribution. In this article, we propose and investigate the automatic design of decision-tree induction algorithms tailored to particular drug-enzyme binding data sets. We investigate the performance of our new method for evaluating binding conformations of different drug candidates to InhA, and we analyze our findings with respect to decision tree accuracy, comprehensibility, and biological relevance. Results: The empirical analysis indicates that our method is capable of automatically generating decision-tree induction algorithms that significantly outperform the traditional C4.5 algorithm with respect to both accuracy and comprehensibility. In addition, we provide the biological interpretation of the rules generated by our approach, reinforcing the importance of comprehensible predictive models in this particular bioinformatics application. Conclusions: We conclude that automatically designing a decision-tree algorithm tailored to molecular docking data is a promising alternative for the prediction of the free energy from the binding of a drug candidate with a flexible-receptor.

Evidence for divided automatic attention

A long-standing debate in the literature is whether attention can form two or more independent spatial foci in addition to the well-known unique spatial focus. There is evidence that voluntary visual attention divides in space. The possibility that this also occurs for automatic visual attention was investigated here. Thirty-six female volunteers were tested. In each trial, a prime stimulus was presented in the left or right visual hemifield. This stimulus was characterized by the blinking of a superior, middle or inferior ring, the blinking of all these rings, or the blinking of the superior and inferior rings. A target stimulus to which the volunteer should respond with the same side hand or a target stimulus to which she should not respond was presented 100 ms later in a primed location, a location between two primed locations or a location in the contralateral hemifield. Reaction time to the positive target stimulus in a primed location was consistently shorter than reaction time in the horizontally corresponding contralateral location. This attentional effect was significantly smaller or absent when the positive target stimulus appeared in the middle location after the double prime stimulus. These results suggest that automatic visual attention can focus on two separate locations simultaneously, to some extent sparing the region in between.

Synthesis, screening for antiacetylcholinesterase activity and binding mode prediction of a new series of [3-(disubstituted-phosphate)-4,4,4-trifluoro-butyl]-carbamic acid ethyl esters

A series of nine new [3-(disubstituted-phosphate)-4,4,4-trifluoro-butyl]-carbamic acid ethyl esters (phosphate-carbamate compounds) was obtained through the reaction of (4,4,4-trifluoro-3-hydroxybut-1-yl)-carbamic acid ethyl esters with phosphorus oxychloride followed by the addition of alcohols. The products were characterized by ¹H, 13C, 31P, and 19F NMR spectroscopy, GC-MS, and elemental analysis. All the synthesized compounds were screened for acetylcholinesterase (AChE) inhibitory activity using the Ellman method. All compounds containing phosphate and carbamate pharmacophores in their structures showed enzyme inhibition, being the compound bearing the diethoxy phosphate group (2b) the most active compound. Molecular modeling studies were performed to investigate the detailed interactions between AChE active site and small-molecule inhibitor candidates, providing valuable structural insights into AChE inhibition.

Ticks produce highly selective chemokine binding proteins with antiinflammatory activity

Bloodsucking parasites such as ticks have evolved a wide variety of immunomodulatory proteins that are secreted in their saliva, allowing them to feed for long periods of time without being detected by the host immune system. One possible strategy used by ticks to evade the host immune response is to produce proteins that selectively bind and neutralize the chemokines that normally recruit cells of the innate immune system that protect the host from parasites. We have identified distinct cDNAs encoding novel chemokine binding proteins (CHPBs), which we have termed Evasins, using an expression cloning approach. These CHBPs have unusually stringent chemokine selectivity, differentiating them from broader spectrum viral CHBPs. Evasin-1 binds to CCL3, CCL4, and CCL18; Evasin-3 binds to CXCL8 and CXCL1; and Evasin-4 binds to CCL5 and CCL11. We report the characterization of Evasin-1 and -3, which are unrelated in primary sequence and tertiary structure, and reveal novel folds. Administration of recombinant Evasin-1 and - 3 in animal models of disease demonstrates that they have potent antiinflammatory properties. These novel CHBPs designed by nature are even smaller than the recently described single-domain antibodies (Hollinger, P., and P. J. Hudson. 2005. Nat. Biotechnol. 23: 1126-1136), and may be therapeutically useful as novel antiinflammatory agents in the future.

Lsa21, a novel leptospiral protein binding adhesive matrix molecules and present during human infection

Background: It has been well documented over past decades that interaction of pathogens with the extracellular matrix (ECM) plays a primary role in host cell attachment and invasion. Adherence to host tissues is mediated by surface-exposed proteins expressed by the microorganisms during infection. The mechanisms by which pathogenic leptospires invade and colonize the host remain poorly understood since few virulence factors contributing to the pathogenesis of the disease have been identified. Whole-genome sequencing analysis of L. interrogans allowed identification of a repertoire of putative leptospiral surface proteins. Results: Here, we report the identification and characterization of a new leptospiral protein that exhibits extracellular matrix-binding properties, called as Lsa21 (leptospiral surface adhesin, 21 kDa). Compatible with its role in adhesion, the protein was shown to be surface-exposed by indirect immunofluorescence. Attachment of Lsa21 to laminin, collagen IV, and plasma fibronectin was specific and dose dependent. Laminin oxidation by sodium metaperiodate reduced the protein-laminin interaction in a concentration-dependent manner, indicating that laminin sugar moieties are crucial for this interaction. The gene coding for Lsa21 is present in pathogenic strains belonging to the L. interrogans species but was not found in the saprophytic L. biflexa serovar Patoc strain Patoc 1. Loss of gene expression occurs upon culture attenuation of pathogenic strains. Environmental factors such as osmolarity and temperature affect Lsa21 expression at the transcriptional level. Moreover, anti-Lsa21 serum labeled liver and kidney tissues of human fatal cases of leptospirosis. Conclusion: Our data suggest a role of Lsa21 in the pathogenesis of leptospirosis.

Changes in Calcium-Binding Protein Expression in Human Cortical Contusion Tissue

Traumatic brain injury (TBI) produces several cellular changes, such as gliosis, axonal and dendritic plasticity, and inhibition-excitation imbalance, as well as cell death, which can initiate epileptogenesis. It has been demonstrated that dysfunction of the inhibitory components of the cerebral cortex after injury may cause status epilepticus in experimental models; we proposed to analyze the response of cortical interneurons and astrocytes after TBI in humans. Twelve contusion samples were evaluated, identifying the expression of glial fibrillary acidic protein (GFAP) and calcium-binding proteins (CaBPs). The study was made in sectors with and without preserved cytoarchitecture evaluated with NeuN immunoreactivity (IR). In sectors with total loss of NeuN-IR the results showed a remarkable loss of CaBP-IR both in neuropil and somata. In sectors with conserved cytoarchitecture less drastic changes in CaBP-IR were detected. These changes include a decrease in the amount of parvalbumin (PV-IR) neurons in layer II, an increase of calbindin (CB-IR) neurons in layers III and V, and an increase in calretinin (CR-IR) neurons in layer II. We also observed glial fibrillary acidic protein immunoreactivity (GFAP-IR) in the white matter, in the gray-white matter transition, and around the sectors with NeuN-IR total loss. These findings may reflect dynamic activity as a consequence of the lesion that is associated with changes in the excitatory circuits of neighboring hyperactivated glutamatergic neurons, possibly due to the primary impact, or secondary events such as hypoxia-ischemia. Temporal evolution of these changes may be the substrate linking severe cortical contusion and the resulting epileptogenic activity observed in some patients.

In Vitro Identification of Novel Plasminogen-Binding Receptors of the Pathogen Leptospira interrogans

Background: Leptospirosis is a multisystem disease caused by pathogenic strains of the genus Leptospira. We have reported that Leptospira are able to bind plasminogen (PLG), to generate active plasmin in the presence of activator, and to degrade purified extracellular matrix fibronectin. Methodology/Principal Findings: We have now cloned, expressed and purified 14 leptospiral recombinant proteins. The proteins were confirmed to be surface exposed by immunofluorescence microscopy and were evaluated for their ability to bind plasminogen (PLG). We identified eight as PLG-binding proteins, including the major outer membrane protein LipL32, the previously published rLIC12730, rLIC10494, Lp29, Lp49, LipL40 and MPL36, and one novel leptospiral protein, rLIC12238. Bound PLG could be converted to plasmin by the addition of urokinase-type PLG activator (uPA), showing specific proteolytic activity, as assessed by its reaction with the chromogenic plasmin substrate, D-Val-Leu-Lys 4-nitroanilide dihydrochloride. The addition of the lysine analog 6-aminocaproic acid (ACA) inhibited the protein-PLG interaction, thus strongly suggesting the involvement of lysine residues in plasminogen binding. The binding of leptospiral surface proteins to PLG was specific, dose-dependent and saturable. PLG and collagen type IV competed with LipL32 protein for the same binding site, whereas separate binding sites were observed for plasma fibronectin. Conclusions/Significance: PLG-binding/activation through the proteins/receptors on the surface of Leptospira could help the bacteria to specifically overcome tissue barriers, facilitating its spread throughout the host.

Phylogenetic nomenclature and evolution of mannose-binding lectin (MBL2) haplotypes

Background: Polymorphisms of the mannose-binding lectin gene (MBL2) affect the concentration and functional efficiency of the protein. We recently used haplotype-specific sequencing to identify 23 MBL2 haplotypes, associated with enhanced susceptibility to several diseases. Results: In this work, we applied the same method in 288 and 470 chromosomes from Gabonese and European adults, respectively, and found three new haplotypes in the last group. We propose a phylogenetic nomenclature to standardize MBL2 studies and found two major phylogenetic branches due to six strongly linked polymorphisms associated with high MBL production. They presented high Fst values and were imbedded in regions with high nucleotide diversity and significant Tajima's D values. Compared to others using small sample sizes and unphased genotypic data, we found differences in haplotyping, frequency estimation, Fu and Li's D* and Fst results. Conclusion: Using extensive testing for selective neutrality, we confirmed that stochastic evolutionary factors have had a major role in shaping this polymorphic gene worldwide.

The Function and Three-Dimensional Structure of a Thromboxane A(2)/Cysteinyl Leukotriene-Binding Protein from the Saliva of a Mosquito Vector of the Malaria Parasite

The highly expressed D7 protein family of mosquito saliva has previously been shown to act as an anti-inflammatory mediator by binding host biogenic amines and cysteinyl leukotrienes (CysLTs). In this study we demonstrate that AnSt-D7L1, a two-domain member of this group from Anopheles stephensi, retains the CysLT binding function seen in the homolog AeD7 from Aedes aegypti but has lost the ability to bind biogenic amines. Unlike any previously characterized members of the D7 family, AnSt-D7L1 has acquired the important function of binding thromboxane A(2) (TXA(2)) and its analogs with high affinity. When administered to tissue preparations, AnSt-D7L1 abrogated Leukotriene C(4) (LTC(4))-induced contraction of guinea pig ileum and contraction of rat aorta by the TXA(2) analog U46619. The protein also inhibited platelet aggregation induced by both collagen and U46619 when administered to stirred platelets. The crystal structure of AnSt-D7L1 contains two OBP-like domains and has a structure similar to AeD(7). In AnSt-D7L1, the binding pocket of the C-terminal domain has been rearranged relative to AeD7, making the protein unable to bind biogenic amines. Structures of the ligand complexes show that CysLTs and TXA(2) analogs both bind in the same hydrophobic pocket of the N-terminal domain. The TXA(2) analog U46619 is stabilized by hydrogen bonding interactions of the omega-5 hydroxyl group with the phenolic hydroxyl group of Tyr 52. LTC(4) and occupies a very similar position to LTE(4) in the previously determined structure of its complex with AeD7. As yet, it is not known what, if any, new function has been acquired by the rearranged C-terminal domain. This article presents, to our knowledge, the first structural characterization of a protein from mosquito saliva that inhibits collagen mediated platelet activation.

Crystallization, data collection and data processing of maltose-binding protein (MalE) from the phytopathogen Xanthomonas axonopodis pv. citri

Maltose-binding protein is the periplasmic component of the ABC transporter responsible for the uptake of maltose/maltodextrins. The Xanthomonas axonopodis pv. citri maltose-binding protein MalE has been crystallized at 293 Kusing the hanging-drop vapour-diffusion method. The crystal belonged to the primitive hexagonal space group P6(1)22, with unit-cell parameters a = 123.59, b = 123.59, c = 304.20 angstrom, and contained two molecules in the asymetric unit. It diffracted to 2.24 angstrom resolution.

Production of the refolded oligopeptide-binding protein (OppA) encoded by the citrus pathogen Xanthomonas axonopodis pv. citri

The oligopeptide-binding protein, OppA, binds and ushers oligopeptide substrates to the membrane-associated oligopeptide permease (Opp), a multi-component ABC-type transporter involved in the uptake of oligopeptides expressed by several bacterial species. In the present study, we report the cloning, purification, refolding and conformational analysis of a recombinant OppA protein derived from Xanthomonas axonopodis pv. citri (X. citri), the etiological agent of citrus canker. The oppA gene was expressed in Escherichia coli BL21 (DE3) strain under optimized inducing conditions and the recombinant protein remained largely insoluble. Solubilization was achieved following refolding of the denatured protein. Circular dichroism analysis indicated that the recombinant OppA protein preserved conformational features of orthologs expressed by other bacterial species. The refolded recombinant OppA represents a useful tool for structural and functional analyses of the X. citri protein.

Genetic variability and natural selection at the ligand domain of the Duffy binding protein in brazilian Plasmodium vivax populations

Background: Plasmodium vivax malaria is a major public health challenge in Latin America, Asia and Oceania, with 130-435 million clinical cases per year worldwide. Invasion of host blood cells by P. vivax mainly depends on a type I membrane protein called Duffy binding protein (PvDBP). The erythrocyte-binding motif of PvDBP is a 170 amino-acid stretch located in its cysteine-rich region II (PvDBP(II)), which is the most variable segment of the protein. Methods: To test whether diversifying natural selection has shaped the nucleotide diversity of PvDBP(II) in Brazilian populations, this region was sequenced in 122 isolates from six different geographic areas. A Bayesian method was applied to test for the action of natural selection under a population genetic model that incorporates recombination. The analysis was integrated with a structural model of PvDBP(II), and T-and B-cell epitopes were localized on the 3-D structure. Results: The results suggest that: (i) recombination plays an important role in determining the haplotype structure of PvDBP(II), and (ii) PvDBP(II) appears to contain neutrally evolving codons as well as codons evolving under natural selection. Diversifying selection preferentially acts on sites identified as epitopes, particularly on amino acid residues 417, 419, and 424, which show strong linkage disequilibrium. Conclusions: This study shows that some polymorphisms of PvDBP(II) are present near the erythrocyte-binding domain and might serve to elude antibodies that inhibit cell invasion. Therefore, these polymorphisms should be taken into account when designing vaccines aimed at eliciting antibodies to inhibit erythrocyte invasion.