Formal Analysis of Rewriting System Representing RNA Folding

Krishnendu Ghosh; Julia Goldman

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Formal Analysis of Rewriting System Representing RNA Folding

Topics: Simulation and Modeling; Systems Biology

In Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOSTEC, 235-242, 2023 , Lisbon, Portugal

Authors: Krishnendu Ghosh ¹ and Julia Goldman ²

Affiliations: ¹ Department of Computer Science, College of Charleston, SC, U.S.A. ; ² Department of Mathematics, Texas Christian University, TX, U.S.A.

Keyword(s): RNA Folding, Probabilistic Model Checking, Rewriting System, Stochastic Modeling.

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.16.75.59

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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) - BIOINFORMATICS; ISBN 978-989-758-631-6; ISSN 2184-4305, SciTePress, pages 235-242. DOI: 10.5220/0011734300003414

@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) - BIOINFORMATICS},
year={2023},
pages={235-242},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011734300003414},
isbn={978-989-758-631-6},
issn={2184-4305},
}

TY - CONF

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