Formal Analysis of Rewriting System Representing RNA Folding

Krishnendu Ghosh, Julia Goldman

2023

Abstract

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.

Paper Citation

in Harvard Style

Ghosh K. and Goldman J. (2023). Formal Analysis of Rewriting System Representing RNA Folding. In Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2023) - Volume 3: BIOINFORMATICS; ISBN 978-989-758-631-6, SciTePress, pages 235-242. DOI: 10.5220/0011734300003414

in Bibtex Style

@conference{bioinformatics23,
author={Krishnendu Ghosh and Julia Goldman},
title={Formal Analysis of Rewriting System Representing RNA Folding},
booktitle={Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2023) - Volume 3: BIOINFORMATICS},
year={2023},
pages={235-242},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011734300003414},
isbn={978-989-758-631-6},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2023) - Volume 3: BIOINFORMATICS
TI - Formal Analysis of Rewriting System Representing RNA Folding
SN - 978-989-758-631-6
AU - Ghosh K.
AU - Goldman J.
PY - 2023
SP - 235
EP - 242
DO - 10.5220/0011734300003414
PB - SciTePress