×
戴维·齐亚鲁吉;莫雷诺，法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯

信号通路的声明性观点。 （英语） Zbl 1443.92092号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 183-201 (2015).
摘要：由于湿法技术的固有局限性，有关细胞信号通路的实验数据通常考虑单个通路或其中的一小部分。我们提出了一种在连贯框架中合成信号通路数据的方法。我们的方法是将信号通路指定为一个可计算执行的模型。我们依靠时间并发约束语言ntcc将手中的系统表示为一组类似化学计量的方程，类似于分子相互作用的基本特征。我们的方法的主要优势来自于约束（逻辑中的公式）的使用和离散时钟的建模ntcc（国家输电公司）我们可以处理部分信息，表示生物系统的几个特征可能尚未确定。我们可以明确表示反应发生所需的时间。我们对一些众所周知的交叉对话网络进行了建模和模拟，如TNF（α）、EGF和胰岛素信号通路及其相互作用。
关于整个系列，请参见[Zbl 1325.68011号]。

引用于1文件

MSC公司：

92C40型 生物化学、分子生物学
92立方厘米 系统生物学、网络
92立方37 细胞生物学

关键词：

细胞信号通路;串扰网络;胰岛素信号通路

软件：

生物-PEPA;生物CHAM;酯类
PDF格式BibTeX公司 XML格式引用
\textit{D.Chiarugi}等人，Lect。注释计算。科学。9465，183--201（2015；Zbl 1443.92092）
全文： 内政部

参考文献：

[1] Arias，J.，Guzman，M.，Olarte，C.：定时并发约束编程的符号模型。选举人。注释Theor。计算。科学。312, 161–177 (2015) ·Zbl 1342.68222号 ·doi:10.1016/j.entcs.2015.04.010
[2] Berry，G.：酯酶的基础。摘自：Plotkin，D.，Stirling，C.，Tofte，M.（编辑）《证明、语言与互动》，《罗宾·米尔纳的论文》，第425-454页。麻省理工学院出版社，剑桥（2000）
[3] Blinov，M.L.，Ruebenacker，O.，Moraru，I.I.：细胞内网络的复杂性和模块性：建模和模拟的系统方法。IET系统。生物学2（5），363–368（2008）·doi:10.1049/iet-syb:20080092
[4] Bockmayr，A.，Courtois，A.：使用混合并发约束编程来建模动态生物系统。收录：Stuckey，P.J.（编辑）ICLP 2002。LNCS，第2401卷，第85页。斯普林格，海德堡（2002）·Zbl 1045.68527号 ·doi:10.1007/3-540-45619-87
[5] Bodei，C.，Braccali，A.，Chiarugi，D.：关于推导代谢网络中的因果关系。BMC生物信息。2008年8月9日·doi:10.186/1471-2105-9-S4-S8
[6] Bodei，C.，Braccali，A.，Chiarugi，D.，Gori，R.：基于因果关系的生物特性分类。电子。注释理论。计算。科学。9, 116–133 (2008)
[7] Bortolussi，L.，Policriti，A.：在随机并发约束规划中建模生物系统。约束条件13（1-2），66-90（2008）·Zbl 1144.92001号 ·doi:10.1007/s10601-007-9034-8
[8] Chiarugi，D.，Curti，M.，Degano，P.，Marangoni，R.：VICE：虚拟细胞。在：Schachter，V.，Danos，V.（编辑）CMSB 2004。LNCS（LNBI），第3082卷，第207-220页。斯普林格，海德堡（2005）·Zbl 1088.68818号 ·doi:10.1007/978-3-540-25974-9_16
[9] Chiarugi，D.、Falaschi，M.、Hermith，D.，Guzman，M.和Olarte，C.：用生物通道模拟信号通路。选举人。注释Theor。计算。科学。293, 17–34 (2013) ·doi:10.1016/j.entcs.2013.02.016
[10] Chiarugi，D.、Falaschi，M.、Hermith，D.和Olarte，C.：生物化学系统中时空模式的验证。收录：《理论计算机科学电子笔记》，第页，出版社（2015年）·Zbl 1351.68157号 ·doi:10.1016/j.entcs.2015.06.009
[11] Chiarugi，D.，Falaschi，M.，Olarte，C.，Palamidessi，C.：定时并发约束编程中信号通路的合成建模。摘自：《第一届ACM生物信息学和计算生物学国际会议论文集》，BCB 2010，第414-417页。ACM（2010）·数字对象标识代码：10.1145/1854776.1854843
[12] Ciocchetta，F.，Hillston，J.：生物环境保护：生物系统建模和分析框架。西奥。计算。科学。410(33–34), 3065–3084 (2009) ·Zbl 1173.68041号 ·doi:10.1016/j.tcs.2009.02.037
[13] Csehi，S.，Mathieu，S..，Seifert，U.，Lange，A.，Zweyer，M.，Wernig，A.，Adam，D.：肿瘤坏死因子（TNF）通过p55 TNF受体死亡域干扰胰岛素信号。生物化学。生物物理学。Res.Commun公司。329, 397–405 (2005) ·doi:10.1016/j.bbrc.2005.01.140
[14] Devlin，T.M.：生物化学与临床相关性教材。威利-莱斯，纽约（2002年）·doi:10.1002/0471254959
[15] Gaudet，S.等人：由生产和生存细胞因子触发的信号和反应概要。分子细胞。蛋白质组学4，1569–1590（2008）
[16] Fages，F.，Soliman，S.，Chabrier Rivier，N.：生物化学抽象机器生物芯片中的交互网络建模和查询。生物学杂志。物理学。化学。4（2），64–73（2004年）·doi:10.4024/2040402.jbpc.04.02
[17] Fayruzov，T.、Janssen，J.、Vermeir，D.、Cornelis，C.、De Cock，M.：用答案集编程建模基因和蛋白质调控网络。国际JDMB 5（2），209–229（2011）·doi:10.1504/IJDMB.2011.039178
[18] Finkel，T.，Gutkind，J.S.：信号转导与人类疾病。威利-莱斯，霍博肯（2003）·doi:10.1002/0471482706
[19] Fisher，J.，Henzinger，T.A.：可执行细胞生物学。自然生物技术。1239年12月25日至1249年（2007年）·doi:10.1038/nbt1356
[20] Gaudet，S.，Janes，K.A.，Albeck，J.G.，Pace，E.A.，Lauffenburger，D.A.，Sorger，P.K.：由生产和生存细胞因子触发的信号和反应概要。分子细胞。蛋白质组学4（10），1569–1590（2005）·doi:10.1074/mcp。M500158-MCP200型
[21] Gillespie，D.T.：化学动力学的随机模拟。每年。物理版。《化学》58，35–55（2007）·doi:10.1146/annurev.physchem.58.032806.104637
[22] Goss，P.，Peccoud，J.：使用随机petri网对分子生物学中的随机系统进行定量建模。《生物化学》95，6750–6754（1998）
[23] Gupta，V.、Jagadeesan，R.、Saraswat，V.A.：概率并发约束编程。收录：Mazurkiewicz，A.，Winkowski，J.（编辑）CONCUR 1997。LNCS，第1243卷，第243-257页。斯普林格，海德堡（1997）·Zbl 1002.68026号 ·doi:10.1007/3-540-63141-017
[24] Martí-Oliet，N.，Meseguer，J.：重写逻辑：路线图和书目。理论。计算。科学。285(2), 121–154 (2002) ·Zbl 1027.68613号 ·doi:10.1016/S0304-3975（01）00357-7
[25] Mendler，N.P.，Panangaden，P.，Scott，P.J.，Seely，R.A.G.：并发约束编程的逻辑视图。Nord.J.计算。2(2), 181–220 (1995) ·Zbl 0839.68020号
[26] Milner，R.：沟通与并发。计算机科学国际丛书。Prentice Hall，Upper Saddle River（1989）
[27] Milner，R.：通信和移动系统：\[\圆周率\]-微积分。剑桥大学出版社，剑桥（1999）·Zbl 0942.68002号
[28] Nielsen，M.，Palamidessi，C.，Valencia，F.：时间并发约束编程：表示、逻辑和应用。Nord.J.计算。9(1), 145–188 (2002) ·Zbl 1018.68019号
[29] Ninio，J.：稳态方法的替代方法：根据首次通过时间和路径概率推导反应速率。程序。国家。阿卡德。科学。美国84663–667（1987年）·doi:10.1073/pnas.84.3.663
[30] Olarte，C.、Rueda，C.、Valencia，F.D.：并发约束编程的模型和新兴趋势。约束18（4），535–578（2013）·Zbl 1317.90283号 ·doi:10.1007/s10601-013-9145-3
[31] Olarte，C.，Valencia，F.D.：通用并发约束编程：符号语义和安全应用。摘自：Wainwright，R.L.，Haddad，H.（eds.）《2008年ACM应用计算研讨会（SAC）论文集》，2008年3月16日至20日，巴西塞阿拉福塔莱萨，第145-150页。ACM（2008）·doi:10.1145/1363686.1363726
[32] Reddy，V.N.，Liebman，M.N.，Mavrovouniotis，M.L.：生化反应系统的定性分析。计算。《生物医学》26（1），9–24（1996）·doi:10.1016/0010-4825（95）00042-9
[33] Saraswat，V.：并发约束编程。麻省理工学院出版社，剑桥（1993）·Zbl 1002.68026号
[34] Saraswat，V.A.、Jagadeesan，R.、Gupta，V.：定时默认并发约束编程。J.塞姆。计算。22(5/6), 475–520 (1996) ·Zbl 0876.68041号 ·doi:10.1006/jsco.1996.0064
[35] Saraswat，V.A.，Rinard，M.C.，Panangaden，P.：并发约束编程的语义基础。1991年1月21日至23日，美国佛罗里达州奥兰多，Wise，D.S.（编辑），第十八届ACM编程语言原理研讨会会议记录，第333–352页。ACM出版社（1991）·数字对象标识代码：10.1145/99583.99627
[36] Smolka，G.：高阶并发约束编程的基础。收录：Jouannaud，J.-P.（编辑）《计算逻辑中的约束》。LNCS，第845卷，第50-72页。斯普林格，海德堡（1994）·doi:10.1007/BFb0016844文件
[37] Talcott，C.：路径逻辑。收录人：Degano，P.、Bernardo，M.、Zavataro，G.（编辑）SFM 2008。LNCS，第5016卷，第21-53页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-68894-52
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。