loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Sohei Ito 1 ; Shigeki Hagihara 2 and Naoki Yonezaki 2

Affiliations: 1 National Fisheries University, Japan ; 2 Tokyo Institute of Technology, Japan

ISBN: 978-989-758-070-3

Keyword(s): Gene Regulatory Network, Homeostasis, Temporal Logic, Strong Satisfiability, Network Motif, Systems Biology.

Related Ontology Subjects/Areas/Topics: Bioinformatics ; Biomedical Engineering ; Systems Biology

Abstract: We proposed a novel framework to analyse homeostasis of gene networks using linear temporal logic. We formulate a kind of homeostasis as strong satisfiability of reactive system specifications. Both behaviours and properties of gene networks are specified in linear temporal logic and homeostasis of the network is checked by strong satisfiability checkers. Though this framework is simple and applicable for many networks, the computational complexity is heavy and large networks cannot be directly analysed. In this paper we present an approximate analysis method to mitigate this computational difficulty. We approximately specify a network specification using fewer propositions such that approximated specifications guarantee homeostasis of the network. However it is difficult to find such safely approximated specifications for any gene network. Thus we present approximate specifications for network motifs, which are common patterns appearing in many gene networks. We demonstrate our appro ximate method and see that our approximate method is quite efficient in analysing large networks. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

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

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:
Ito, S.; Hagihara, S. and Yonezaki, N. (2015). Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs.In Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms - Volume 1: BIOINFORMATICS, (BIOSTEC 2015) ISBN 978-989-758-070-3, pages 93-101. DOI: 10.5220/0005177000930101

@conference{bioinformatics15,
author={Sohei Ito. and Shigeki Hagihara. and Naoki Yonezaki.},
title={Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs},
booktitle={Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms - Volume 1: BIOINFORMATICS, (BIOSTEC 2015)},
year={2015},
pages={93-101},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005177000930101},
isbn={978-989-758-070-3},
}

TY - CONF

JO - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms - Volume 1: BIOINFORMATICS, (BIOSTEC 2015)
TI - Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs
SN - 978-989-758-070-3
AU - Ito, S.
AU - Hagihara, S.
AU - Yonezaki, N.
PY - 2015
SP - 93
EP - 101
DO - 10.5220/0005177000930101

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.