Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization
المؤلفون المشاركون
Hiraishi, Kunihiko
Kobayashi, Koichi
المصدر
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-8، 8ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-01-23
دولة النشر
مصر
عدد الصفحات
8
التخصصات الرئيسية
الطب البشري
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
One of the significant topics in systems biology is to develop control theory of gene regulatory networks (GRNs).
In typicalcontrol of GRNs, expression of some genes is inhibited (activated) by manipulating external stimuli and expression of other genes.
It is expected to apply control theory of GRNs to gene therapy technologies in the future.
In this paper, a control method using a Boolean network (BN) is studied.
A BN is widely used as a model of GRNs, and gene expression is expressed by a binary value (ON or OFF).
In particular, a context-sensitive probabilistic Boolean network (CS-PBN), which is one of the extended models of BNs, is used.
For CS-PBNs, the verification problem and the optimal control problem are considered.
For the verification problem, a solution method using the probabilistic model checker PRISM is proposed.
For the optimal control problem, a solution method using polynomial optimization is proposed.
Finally, a numerical example on the WNT5A network, which is related to melanoma, is presented.
The proposed methods provide us useful tools in control theory of GRNs.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Kobayashi, Koichi& Hiraishi, Kunihiko. 2014. Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization. The Scientific World Journal،Vol. 2014, no. 2014, pp.1-8.
https://search.emarefa.net/detail/BIM-1051795
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Kobayashi, Koichi& Hiraishi, Kunihiko. Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization. The Scientific World Journal No. 2014 (2014), pp.1-8.
https://search.emarefa.net/detail/BIM-1051795
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Kobayashi, Koichi& Hiraishi, Kunihiko. Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization. The Scientific World Journal. 2014. Vol. 2014, no. 2014, pp.1-8.
https://search.emarefa.net/detail/BIM-1051795
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1051795
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر