×

基因调控网络的建模和分析。 (英语) Zbl 1400.92178号

Cazals,Frédéric(编辑)等人,《计算生物学和生物医学建模》。多学科的努力。Olivier Faugeras和Joél Janin的前言。柏林:施普林格出版社(ISBN 978-3-642-31207-6/hbk;978-3-442-31208-3/电子书)。47-80 (2013).
摘要:本章介绍了使用三种不同形式建模遗传调控网络的基本原理:离散、混合和连续微分系统。简要回顾了每种形式主义的数学工具。本章以几个简单的例子为基础,详细阐述了网络动力学、时间演化和渐近行为的研究和分析。
关于整个系列,请参见[Zbl 1255.92001年].

MSC公司:

92C40型 生物化学、分子生物学
92立方厘米 系统生物学、网络
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] http://en.wikipedia.org/wiki/File:核糖体_mRNA_translation_en.svg
[2] http://www.en.wikipedia.org/wiki/File:Simple_transcription_elon
[3] U.阿龙\(系统生物学导论:生物电路的设计原理)。Chapman&Hall/CRC,博卡拉顿,2006年·Zbl 1141.92002号
[4] J.阿拉伯。关于调节布尔网络中不动点的数目\(《数学生物学公报》),70(5):1398-14092008·Zbl 1144.92323号
[5] J.Aracena、J.Demongeot和E.Goles。离散神经网络中的正负电路\(IEEE神经网络汇刊,2004年15:77-83·Zbl 1076.68047号
[6] J.Barnat、L.Brim、I.Choerná、S.Draáan、J.Fabrikozá和D.Šafránek。通过ltl模型检查对转录调控进行算法分析\(理论计算机科学),2009年。
[7] G.Batt、M.Page、I.Cantone、G.Goessler、P.Monteiro和H.de Jong。使用符号模型检查对监管网络的定性模型进行有效的参数搜索\(生物信息学),26(18):i603-i6102010。
[8] G.Bernot、J.-P.Comet、A.Richard和J.Guespin。形式化方法在生物调控网络中的富有成效的应用:用时序逻辑扩展托马斯的异步逻辑方法\(J.Theor.Biol.),229(3):339-3472004年。
[9] R.Casey、H.de Jong和J.L.Gouzé。遗传调控网络的分段线性模型:平衡及其稳定性\(《数学生物学杂志》,52:27-562006年·Zbl 1091.92030
[10] M.Chaves和J.L.Gouzé。定性框架中遗传网络的精确控制:双稳态开关示例\(Automat.\),第47:105-1112011页·Zbl 1235.93021号
[11] A.Cimatti、E.Clarke、E.Giunchiglia、F.Giunchillia、M.Pistore和M.Roven。NuSMV2:用于符号模型检查的开源工具。2002年,计算机辅助验证国际会议(CAV 2002)·Zbl 1010.68766号
[12] O.Cinquin和J.Demongeot。生物系统中正反馈和负反馈的作用\(C.R.生物学),325(11):1085-10952002。
[13] F.Corblin、E.Fanchon和L.Trilling。形式化方法在解码离散遗传网络中的应用\(BMC生物信息学),11(385),2010年。
[14] F.Corblin、S.Tripodi、E.Fanchon、D.Ropers和L.Trilling。一种基于声明约束的离散遗传调控网络分析方法\(生物系统),98(2):91-1042009。
[15] F.Dardel和F.Képès\(生物信息学:基因组学和后基因组学)。奇切斯特·威利,2005年。
[16] H.德容。遗传调控系统的建模和模拟:文献综述\(计算生物学杂志),9(1):67-1032002。
[17] H.de Jong、J.L.Gouzé、C.Hernandez、M.Page、T.Sari和J.Geiselmann。使用分段线性模型对遗传调控网络进行定性模拟\(《公牛数学生物学》),66:301-3402004年·Zbl 1334.92282号
[18] L.Edelstein-Keshet\(生物学中的数学模型)。SIAM应用数学经典,费城,2005年。
[19] E.A.艾默生\(理论计算机科学手册,B卷:形式模型和语义),时间和模态逻辑一章,第995-1072页。麻省理工学院出版社,1990年·兹比尔0900.03030
[20] S.Gama-Castro、H.Salgado、M.Peralta-Gil、A.Santos-Zavaleta、L.Muniz-Rascado、H.Solano-Lira、V.Jimenez-Jacinto、V.Weiss、J.S。加西亚-索特洛、A.洛佩兹-富恩特斯、L.波隆-索特罗、S.阿尔基西拉-埃尔南德斯、A.梅迪纳-里韦拉、I.马丁内斯-弗洛雷斯、K.阿尔基西拉-埃尔南德兹、R.马丁尼兹-阿达姆、C.博纳维德斯-马丁内兹、J.米兰达-里奥斯、A.M。韦尔塔、A.Mendoza-Vargas、L.Collado-Torres、B.Taboada、L.Vega-Alvarado、M.Olevera、L.Oleversa、R.Grande、E.Morett和J.Collado-Vides。RegulonDB 7.0版:整合在遗传感觉反应单元(Gensor units)内的大肠杆菌K-12的转录调控\(核酸研究),2010年。
[21] T.S.Gardner、C.R.Cantor和J.J.Collins。大肠杆菌基因切换开关的构建\(《自然》),403:339-3422000。
[22] L.Glass和S.A.Kauffman。连续、非线性生化控制网络的逻辑分析\(J.Theor.Biol.),39:103-1291973。
[23] J.L.Gouzé。动力系统中的正负电路\(《生物系统杂志》),1998年11月16日至15日·Zbl 1058.37537号
[24] F.Grognard、J.-L.Gouzé和H.de Jong。基因调控网络的分段线性模型:理论和实例。在I.Queinnec、S.Tarbouriech、G.Garcia和S.Niculescu编辑的《生物与控制理论:当前挑战》中,《控制与信息科学(LNCIS)课堂讲稿》357,第137-159页。Springer-Verlag,2007年。
[25] J.Guespin-Michel和M.Kaufman。细菌中的正反馈电路和适应性调节。(生物学报),49(4):207-182001。
[26] M.考夫曼、C.索莱和R.托马斯。关于多态相互作用图的一个新的必要条件\(理论生物学杂志),248:675-6852007。
[27] 香港哈利勒\(非线性系统)。新泽西州普伦蒂斯·霍尔,2002年·Zbl 1003.34002号
[28] E.Klipp、R.Herwig、A.Howald、C.Wierling和H.Lehrach\(系统生物学实践)。Wiley VCH,Weinheim,2005年。
[29] E.Plahte、T.Mestl和S.W.Omholt。动力系统中的反馈回路、稳定性和多稳态\(《生物系统杂志》),3:569-5771995。
[30] E.Remy、P.Ruet和D.Thieffry。布尔动力学框架中多稳态和吸引圈的图形要求。(应用数学进展),41(3):335-3502008·Zbl 1169.05333号
[31] A.理查德。离散动力系统中的正回路和最大不动点数\(离散应用数学),157(15):3281-32882009·Zbl 1193.05085号
[32] A.理查德。异步自动机网络中的负电路和持续振荡\(应用数学进展),44(4):378-3922010·Zbl 1201.37117号
[33] A.理查德和J.-P.彗星。离散动力系统多重平稳的必要条件\(离散应用数学\),155(18):2403-24132007·Zbl 1125.37062号
[34] D.Ropers、H.de Jong、M.Page、D.Schneider和J.Geiselmann。大肠杆菌中碳饥饿反应的定性模拟\(生物系统),84(2):124-1522006。
[35] E.H.斯努西。分段线性微分方程的定性动力学:离散映射方法\(系统动力学和稳定性),4:189-2071989·Zbl 0678.34010号
[36] E.H.斯努西。多重平稳性和稳定周期性的必要条件\(《生物系统杂志》),6:3-91998年·Zbl 0982.92001号
[37] C.灵魂。多基地的图形要求\(ComPlexUs),1:123-1332003年。
[38] C.灵魂。分化和基因调控的数学方法\(C.R.Biologies),329:13-20,2006年。
[39] R.托马斯。系统的逻辑结构与其产生多个稳态和持续振荡的能力之间的关系。在\(协同学系列\),第9卷,第180-193页。施普林格,1981年。
[40] G.亚吉尔和E.亚吉尔。效应剂浓度与诱导酶合成速率的关系\(生物物理学杂志),1971年11月11日至27日。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。