skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Formal Analysis of Rewriting System Representing RNA Folding [Formal Analysis of Rewriting System Representing RNA Folding]
Prediction of RNA structure is an important problem in understanding biological processes in living organism. Computational models have been created to study the processes with the aim of unravelling the RNA structure. In this work, a novel formalism for formal analysis of RNA structure prediction is described. A graph rewriting system is formalized to represent structural dynamics of RNA structure under uncertainty. Probabilistic model checking is performed on queries seeking structural properties in RNA. Experiments were conducted to evaluate the computational feasibility of the model.  more » « less
Award ID(s):
2227898
PAR ID:
10412724
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies - BIOINFORMATICS, (BIOSTEC 2023) ISBN 978-989-758-631-6; ISSN 2184-4305, SciTePress,
Page Range / eLocation ID:
235 to 242
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. A synthetic biology approach toward constructing an RNA-based genome expands our understanding of living things and opens avenues for technological advancement. For the precise design of an artificial RNA replicon either from scratch or based on a natural RNA replicon, understanding structure–function relationships of RNA sequences is critical. However, our knowledge remains limited to a few particular structural elements intensively studied so far. Here, we conducted a series of site-directed mutagenesis studies of yeast narnaviruses ScNV20S and ScNV23S, perhaps the simplest natural autonomous RNA replicons, to identify RNA elements required for maintenance and replication. RNA structure disruption corresponding to various portions of the entire narnavirus genome suggests that pervasive RNA folding, in addition to the precise secondary structure of genome termini, is essential for maintenance of the RNA replicon in vivo. Computational RNA structure analyses suggest that this scenario likely applies to other “narna-like" viruses. This finding implies selective pressure on these simplest autonomous natural RNA replicons to fold into a unique structure that acquires both thermodynamic and biological stability. We propose the importance of pervasive RNA folding for the design of RNA replicons that could serve as a platform for in vivo continuous evolution as well as an interesting model to study the origin of life. 
    more » « less
  2. The folding of RNA and DNA strands plays crucial roles in biological systems and bionanotechnology. However, studying these processes with high-resolution numerical models is beyond current computational capabilities due to the timescales and system sizes involved. In this article, we present a new coarse-grained model for investigating the folding dynamics of nucleic acids. Our model represents three nucleotides with a patchy particle and is parameterized using well-established nearest-neighbor models. Thanks to the reduction of degrees of freedom and to a bond-swapping mechanism, our model allows for simulations at timescales and length scales that are currently inaccessible to more detailed models. To validate the performance of our model, we conducted extensive simulations of various systems: We examined the thermodynamics of DNA hairpins, capturing their stability and structural transitions, the folding of an MMTV pseudoknot, which is a complex RNA structure involved in viral replication, and also explored the folding of an RNA tile containing a k-type pseudoknot. Finally, we evaluated the performance of the new model in reproducing the melting temperatures of oligomers and the dependence on the toehold length of the displacement rate in toehold-mediated displacement processes, a key reaction used in molecular computing. All in all, the successful reproduction of experimental data and favorable comparisons with existing coarse-grained models validate the effectiveness of the new model. 
    more » « less
  3. Abstract Nearly two decades after Westhof and Michel first proposed that RNA tetraloops may interact with distal helices, tetraloop–receptor interactions have been recognized as ubiquitous elements of RNA tertiary structure. The unique architecture of GNRA tetraloops ( N =any nucleotide, R =purine) enables interaction with a variety of receptors, e.g., helical minor grooves and asymmetric internal loops. The most common example of the latter is the GAAA tetraloop–11 nt tetraloop receptor motif. Biophysical characterization of this motif provided evidence for the modularity of RNA structure, with applications spanning improved crystallization methods to RNA tectonics. In this review, we identify and compare types of GNRA tetraloop–receptor interactions. Then we explore the abundance of structural, kinetic, and thermodynamic information on the frequently occurring and most widely studied GAAA tetraloop–11 nt receptor motif. Studies of this interaction have revealed powerful paradigms for structural assembly of RNA, as well as providing new insights into the roles of cations, transition states and protein chaperones in RNA folding pathways. However, further research will clearly be necessary to characterize other tetraloop–receptor and long-range tertiary binding interactions in detail – an important milestone in the quantitative prediction of free energy landscapes for RNA folding. 
    more » « less
  4. Abstract Structured RNA lies at the heart of many central biological processes, from gene expression to catalysis. RNA structure prediction is not yet possible due to a lack of high-quality reference data associated with organismal phenotypes that could inform RNA function. We present GARNET (Gtdb Acquired RNa with Environmental Temperatures), a new database for RNA structural and functional analysis anchored to the Genome Taxonomy Database (GTDB). GARNET links RNA sequences to experimental and predicted optimal growth temperatures of GTDB reference organisms. Using GARNET, we develop sequence- and structure-aware RNA generative models, with overlapping triplet tokenization providing optimal encoding for a GPT-like model. Leveraging hyperthermophilic RNAs in GARNET and these RNA generative models, we identify mutations in ribosomal RNA that confer increased thermostability to theEscherichia coliribosome. The GTDB-derived data and deep learning models presented here provide a foundation for understanding the connections between RNA sequence, structure, and function. 
    more » « less
  5. Abstract This work seeks to remedy two deficiencies in the current nucleic acid nanotechnology software environment: the lack of both a fast and user-friendly visualization tool and a standard for structural analyses of simulated systems. We introduce here oxView, a web browser-based visualizer that can load structures with over 1 million nucleotides, create videos from simulation trajectories, and allow users to perform basic edits to DNA and RNA designs. We additionally introduce open-source software tools for extracting common structural parameters to characterize large DNA/RNA nanostructures simulated using the coarse-grained modeling tool, oxDNA, which has grown in popularity in recent years and is frequently used to prototype new nucleic acid nanostructural designs, model biophysics of DNA/RNA processes, and rationalize experimental results. The newly introduced software tools facilitate the computational characterization of DNA/RNA designs by providing multiple analysis scripts, including mean structures and structure flexibility characterization, hydrogen bond fraying, and interduplex angles. The output of these tools can be loaded into oxView, allowing users to interact with the simulated structure in a 3D graphical environment and modify the structures to achieve the required properties. We demonstrate these newly developed tools by applying them to design and analysis of a range of DNA/RNA nanostructures. 
    more » « less