1,458 research outputs found

    Tools for integrated sequence-structure analysis with UCSF Chimera

    Get PDF
    BACKGROUND: Comparing related structures and viewing the structures in the context of sequence alignments are important tasks in protein structure-function research. While many programs exist for individual aspects of such work, there is a need for interactive visualization tools that: (a) provide a deep integration of sequence and structure, far beyond mapping where a sequence region falls in the structure and vice versa; (b) facilitate changing data of one type based on the other (for example, using only sequence-conserved residues to match structures, or adjusting a sequence alignment based on spatial fit); (c) can be used with a researcher's own data, including arbitrary sequence alignments and annotations, closely or distantly related sets of proteins, etc.; and (d) interoperate with each other and with a full complement of molecular graphics features. We describe enhancements to UCSF Chimera to achieve these goals. RESULTS: The molecular graphics program UCSF Chimera includes a suite of tools for interactive analyses of sequences and structures. Structures automatically associate with sequences in imported alignments, allowing many kinds of crosstalk. A novel method is provided to superimpose structures in the absence of a pre-existing sequence alignment. The method uses both sequence and secondary structure, and can match even structures with very low sequence identity. Another tool constructs structure-based sequence alignments from superpositions of two or more proteins. Chimera is designed to be extensible, and mechanisms for incorporating user-specific data without Chimera code development are also provided. CONCLUSION: The tools described here apply to many problems involving comparison and analysis of protein structures and their sequences. Chimera includes complete documentation and is intended for use by a wide range of scientists, not just those in the computational disciplines. UCSF Chimera is free for non-commercial use and is available for Microsoft Windows, Apple Mac OS X, Linux, and other platforms from

    Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting

    Full text link
    The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axioms of linear algebra in the form of a rewrite system, while the latter uses equalities. When given by rewrites, algebraic lambda-calculi are not confluent unless further restrictions are added. We provide a type system for the linear-algebraic lambda-calculus enforcing strong normalisation, which gives back confluence. The type system allows an abstract interpretation in System F.Comment: In Proceedings LSFA 2011, arXiv:1203.542

    Structure and magnetic properties of the cubic oxide fluoride BaFeO2F

    Get PDF
    Fluorination of the parent oxide, BaFeO3- δ, with polyvinylidine fluoride gives rise to a cubic compound with a = 4.0603(4) Å at 298K. 57Fe Mössbauer spectra confirmed that all the iron is present as Fe3+. Neutron diffraction data showed complete occupancy of the anion sites indicating a composition BaFeO2F, with a large displacement of the iron off-site. The magnetic ordering temperature was determined as TN = 645±5K. Neutron diffraction data at 4.2K established G-type antiferromagnetism with a magnetic moment per Fe3+ ion of 3.95μB. However, magnetisation measurements indicated the presence of a weak ferromagnetic moment which is assigned to the canting of the antiferromagnetic structure. 57Fe Mössbauer spectra in the temperature range 10 to 300K were fitted with a model of fluoride ion distribution that retains charge neutrality of the perovskite unit cel
    • …
    corecore