Displaying similar documents to “Fatgraph models of RNA structure”

Modelling DNA and RNA secondary structures using matrix insertion-deletion systems

Lakshmanan Kuppusamy, Anand Mahendran (2016)

International Journal of Applied Mathematics and Computer Science

Similarity:

Insertion and deletion are operations that occur commonly in DNA processing and RNA editing. Since biological macromolecules can be viewed as symbols, gene sequences can be represented as strings and structures can be interpreted as languages. This suggests that the bio-molecular structures that occur at different levels can be theoretically studied by formal languages. In the literature, there is no unique grammar formalism that captures various bio-molecular structures. To overcome...

A comparison of two systems of point-free topology

Rafał Gruszczyński, Andrzej Pietruszczak (2018)

Bulletin of the Section of Logic

Similarity:

This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was inspired by the Grzegorczyk’s system, and which is its variation. Our aim is to compare the two approaches and show that they are slightly different. Except for pointing to dissimilarities, we also demonstrate that the theories coincide (in the sense that their axioms...

Fixed-point free maps of Euclidean spaces

R. Z. Buzyakova, A. Chigogidze (2011)

Fundamenta Mathematicae

Similarity:

Our main result states that every fixed-point free continuous self-map of ℝⁿ is colorable. This result can be reformulated as follows: A continuous map f: ℝⁿ → ℝⁿ is fixed-point free iff f̃: βℝⁿ → βℝⁿ is fixed-point free. We also obtain a generalization of this fact and present some examples