比查姆

生化抽象机(Biocham)是一个系统生物学的建模环境,具有静态分析或从时间逻辑约束推断未知模型参数的独特特性。Biocham主要包括:基于规则的生化系统建模语言(与SBML兼容);几个模拟器(布尔、微分、随机)是一种基于时序逻辑的语言,用于形式化生物系统的时间特性,并根据此类规范验证模型,开发/校正/完成/耦合模型的独特功能,包括从时间逻辑约束中推断高维动力学参数。Biocham是一个受GNU通用公共许可证GPL版本2保护的自由软件。这是一个开放源代码许可证,允许免费使用此软件。特别欢迎在应用、研究或教学中使用Biocham的反馈。


zbMATH中的参考文献(参考文献45篇文章)

显示第1到第20个结果,共45个。
按年份排序(引用)
  1. 艾米丽,阿拉特;尼伦,约阿希姆;Versari,Cristian:计算线性方程组的差分抽象(2021)
  2. 特罗查克,马特伊;萨夫雷内克,大卫;布里姆,卢博什;萨拉戈维奇,雅库布;乔文ý,一月:生化系统规范和分析的可执行生化空间(2020年)
  3. 赖特,托马斯;斯塔克,伊恩:键演算中基因调控的模型模式(2020)
  4. 卡德利,卢卡;三巴斯通,米尔科;柴可夫斯基,麦克斯;Vandin,Andrea:微分等价的符号计算(2019)
  5. 阿尔瓦雷斯·布伊拉·罗切斯,玛丽娅·埃琳娜;马丁内斯加西亚,胡安卡洛斯;Dávila Velderrain,何塞;Domínguez-Hüttinger,Elisa;Martínez-Sánchez,Mariana Esther:医疗系统生物学建模方法。疾病过程出现背后的监管动态(2018年)
  6. 鲍迪埃,阿德里安;法吉斯,弗朗索瓦;Soliman,Sylvain:反应网络中多稳态的图形要求及其在生物模型中的验证(2018)
  7. 卡德利,卢卡;三巴斯通,米尔科;柴可夫斯基,麦克斯;Vandin,Andrea:微分等价的符号计算(2016)
  8. 法吉斯,弗朗索瓦;马丁内斯,蒂埃里;罗森布鲁斯,大卫A。;索利曼,西尔文:《影响系统与反应系统》(2016)
  9. 巴列里尼,保罗;Duflot,Marie:表达统计模型检验方法在遗传电路分析中的应用(2015)
  10. 巴托奇、埃齐奥;博尔托鲁西,卢卡;嫩子,劳拉;Sanguinetti,Guido:使用时间特性鲁棒性的随机模型的系统设计(2015)
  11. 查维斯,玛达琳娜;Carta,Alfonso:使用互联布尔网络进行吸引子计算:在\texite中测试增长率模型。大肠杆菌(2015)
  12. 戴维德,恰鲁吉;法拉希,莫雷诺;奥拉特,卡洛斯;Palamidessi,Catuscia:信号通路的声明性观点(2015)
  13. 法吉斯,弗朗索瓦;同性恋,史蒂文;Soliman,Sylvain:从常微分方程推断反应系统(2015)
  14. 伊藤,苏海;一号木犀,Takuma;岛川,Masaya;泉、直子;Hagihara,Shigeki;Yonezaki,Naoki:时间逻辑对基因调控网络的定性分析(2015)
  15. 帕迪尼,乔瓦尼;米兰佐,保罗;Maggiolo Schettini,Andrea:生化途径中的成分识别(2015)
  16. 阿马尔,帕特里克;Paulevé,Loïc:HSIM:系统生物学的混合随机模拟系统(2014)
  17. 布里姆,卢博什;乔斯卡,米兰;萨夫雷内克,大卫:生物系统的模型检验(2013)
  18. 戴维德,恰鲁吉;法拉希,莫雷诺;赫米思,戴安娜;古兹曼,米歇尔;奥拉特,卡洛斯:用bioways模拟信号通路(2013)ioport公司
  19. 德加佩里,A。;Calder,M.:生物系统多尺度建模的过程代数框架(2013)
  20. 帕迪尼,乔瓦尼;米兰佐,保罗;Maggiolo Schettini,Andrea:生化途径中成分识别的算法(2013)