دورية أكاديمية
Modular analysis of gene networks by linear temporal logic
| العنوان: | Modular analysis of gene networks by linear temporal logic |
|---|---|
| المؤلفون: | Ito Sohei, Ichinose Takuma, Shimakawa Masaya, Izumi Naoko, Hagihara Shigeki, Yonezaki Naoki |
| المصدر: | Journal of Integrative Bioinformatics, Vol 10, Iss 2, Pp 12-23 (2013) |
| بيانات النشر: | De Gruyter, 2013. |
| سنة النشر: | 2013 |
| المجموعة: | LCC:Biotechnology |
| مصطلحات موضوعية: | Biotechnology, TP248.13-248.65 |
| الوصف: | Despite a lot of advances in biology and genomics, it is still difficult to utilise such valuable knowledge and information to understand and analyse large biological systems due to high computational complexity. In this paper we propose a modular method with which from several small network analyses we analyse a large network by integrating them. This method is based on the qualitative framework proposed by authors in which an analysis of gene networks is reduced to checking satisfiability of linear temporal logic formulae. The problem of linear temporal logic satisfiability checking needs exponential time in the size of a formula. Thus it is difficult to analyse large networks directly in this method since the size of a formula grows linearly to the size of a network. The modular method alleviates this computational difficulty. We show some experimental results and see how we benefit from the modular analysis method. |
| نوع الوثيقة: | article |
| وصف الملف: | electronic resource |
| اللغة: | English |
| تدمد: | 1613-4516 48139742 |
| العلاقة: | https://doaj.org/toc/1613-4516Test |
| DOI: | 10.1515/jib-2013-216 |
| الوصول الحر: | https://doaj.org/article/33bab668610f481397420b8da8e0cc47Test |
| رقم الانضمام: | edsdoj.33bab668610f481397420b8da8e0cc47 |
| قاعدة البيانات: | Directory of Open Access Journals |
Full Text Finder | تدمد: | 16134516 48139742 |
|---|---|
| DOI: | 10.1515/jib-2013-216 |