loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Sohei Ito 1 ; Takuma Ichinose 2 ; Masaya Shimakawa 2 ; Naoko Izumi 3 ; Shigeki Hagihara 2 and Naoki Yonezaki 2

Affiliations: 1 The University of Tokyo, Japan ; 2 Tokyo Institute of Technology, Japan ; 3 Jumonji University, Japan

ISBN: 978-989-8565-35-8

Keyword(s): Gene Regulatory Network, Temporal Logic, Formal Methods, Network Motif.

Related Ontology Subjects/Areas/Topics: Algorithms and Software Tools ; Bioinformatics ; Biomedical Engineering ; Systems Biology

Abstract: We developed a method for analysing gene regulatory networks in a purely qualitative fashion. Behaviours of networks are captured as transition systems using propositions for gene states (ON or OFF), and those related to threshold values for gene activation/inhibition. Possible behaviours of networks are specified by logical formulae in Linear Temporal Logic (LTL). With this specification, it is possible to check whether some/all behaviours satisfy a biological property, which is difficult for quantitative analyses like an ordinary differential equation approach. Our method uses satisfiability checking of LTL. Due to the complexity of LTL satisfiability checking, analyses of large networks are generally intractable in this method. To tackle this issue, in this paper, we propose approximate analysis method in which we specify behaviours in simpler formulae which compress/expand the possible behaviours of networks. We present approximate specifications for some network patterns called n etwork motifs. (More)

PDF ImageFull Text

Download
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 54.162.15.31

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., Ichinose T., Shimakawa M., Izumi N., Hagihara S. and Yonezaki N. (2013). Qualitative Analysis of Gene Regulatory Networks using Network Motifs.In Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms - Volume 1: BIOINFORMATICS, (BIOSTEC 2013) ISBN 978-989-8565-35-8, pages 15-24. DOI: 10.5220/0004188400150024

@conference{bioinformatics13,
author={Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki},
title={Qualitative Analysis of Gene Regulatory Networks using Network Motifs},
booktitle={Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms - Volume 1: BIOINFORMATICS, (BIOSTEC 2013)},
year={2013},
pages={15-24},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004188400150024},
isbn={978-989-8565-35-8},
}

TY - CONF

JO - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms - Volume 1: BIOINFORMATICS, (BIOSTEC 2013)
TI - Qualitative Analysis of Gene Regulatory Networks using Network Motifs
SN - 978-989-8565-35-8
AU - Ito S.
AU - Ichinose T.
AU - Shimakawa M.
AU - Izumi N.
AU - Hagihara S.
AU - Yonezaki N.
PY - 2013
SP - 15
EP - 24
DO - 10.5220/0004188400150024

Login or register to post comments.

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