7 research outputs found

    Effective ambiguity checking in biosequence analysis

    Get PDF
    BACKGROUND: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of RNA secondary structures with stochastic context free grammars. Several types of analysis are invalidated by the presence of ambiguity. As this problem inherits undecidability (as we show here) from the namely problem for context free languages, there is no complete algorithmic solution to the problem of ambiguity checking. RESULTS: We explain frequently observed sources of ambiguity, and show how to avoid them. We suggest four testing procedures that may help to detect ambiguity when present, including a just-in-time test that permits to work safely with a potentially ambiguous grammar. We introduce, for the special case of stochastic context free grammars and RNA structure modeling, an automated partial procedure for proving non-ambiguity. It is used to demonstrate non-ambiguity for several relevant grammars. CONCLUSION: Our mechanical proof procedure and our testing methods provide a powerful arsenal of methods to ensure non-ambiguity

    Locomotif - a graphical programming system for RNA motif search

    Get PDF
    Reeder J. Locomotif - a graphical programming system for RNA motif search. Bielefeld (Germany): Bielefeld University; 2006.In this thesis, I am presenting the results of my work in designing, implementing and installing a software environment for RNA motif searches: Locomotif. It includes a visual editor for motif definition, translation of the motif structure to XML code and client-server interactions, and further, translation of the XML code to ADP and compilation to C

    Locomotif: from graphical motif description to RNA motif search

    No full text
    Reeder J, Reeder J, Giegerich R. Locomotif: from graphical motif description to RNA motif search. In: Bioinformatics. Bioinformatics. Vol 23. OXFORD UNIV PRESS; 2007: I392-I400.Motivation and Results: Motivated by the recent rise of interest in small regulatory RNAs, we present Locomotif-a new approach for locating RNA motifs that goes beyond the previous ones in three ways: ( 1) motif search is based on efficient dynamic programming algorithms, incorporating the established thermodynamic model of RNA secondary structure formation. ( 2) motifs are described graphically, using a Java-based editor, and search algorithms are derived from the graphics in a fully automatic way. The editor allows us to draw secondary structures, annotated with size and sequence information. They closely resemble the established, but informal way in which RNA motifs are communicated in the literature. Thus, the learning effort for Locomotif users is minimal. ( 3) Locomotif employs a client-server approach. Motifs are designed by the user locally. Search programs are generated and compiled on a bioinformatics server. They are made available both for execution on the server, and for download as C source code plus an appropriate makefile

    A graphical programming system for molecular motif search

    No full text
    Reeder J, Giegerich R. A graphical programming system for molecular motif search. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering. ACM Press; 2006: 131-140

    Contents

    No full text
    I thank my supervisor, Robert Giegerich, for providing me with an interesting research topic and for his support throughout the years, both scientifically, as well as by offering me the chance to continue my work while taking care of my daughter. Thanks also to Jens Stoye for appraising this thesis. I thank Peter Steffen who developed the ADP compiler that is an integral part of the Locomotif system and adapted it for my needs. I thank Jan Krüger for help in installing the system on the webserver and for guidance in XML and Java questions. Nan Zhang gave me a headstart on the XML schema. I appreciate the financial support from the DFG. I enjoyed being part of the GK Bioin-formatik and value travel opportunities and scientific merit of the BREW workshops in Helsinki and Berlin. I thank Jens Reeder for many ideas, discussions, hours spent debugging the Locomotif system and proofreading this thesis, but most of all for his enduring emotional support over all these years. I am deeply grateful for my daughter Emma
    corecore