Paper Info
Title
Qualitative Analysis of Gene Regulatory Networks using Network Motifs.
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 network motifs.
Year
Venue
Keywords
2013
BIOINFORMATICS 2013: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIOINFORMATICS MODELS, METHODS AND ALGORITHMS
Gene Regulatory Network,Temporal Logic,Formal Methods,Network Motif
Field
DocType
Citations 
Computer science,Artificial intelligence,Computational biology,Gene regulatory network,Machine learning
Conference
2
PageRank 
References 
Authors
0.39
2
6
Name
Order
Citations
PageRank
Sohei Ito1326.22
Takuma Ichinose2131.73
Masaya Shimakawa3417.54
Naoko Izumi4202.95
Shigeki Hagihara57812.33
Naoki Yonezaki610720.02