生物佩帕

在这项工作中,我们提出了生物PEPA,过程代数的建模和分析生化网络。它是PEPA的一种修正方法,最初用于计算机系统的性能分析,以处理生物模型的某些特征,如化学计量学和一般动力学定律的使用。生物PEPA可以被看作是生物系统的中间、形式、组成的代表,可以进行不同种类的分析。生物PEPA丰富了一些等价概念,特别是PEPA的同构和强互模拟被认为是我们的语言。最后,我们将生物模型翻译成新语言,并报告了一些分析结果。


ZBMaX中的参考文献(102篇)1标准条款

显示结果1至20的102。
按年份排序(引文
  1. Bortolussi,卢卡;Hillston,简;洛莱蒂,米歇尔:广播系统的流体近似(2020)
  2. Boreale,米歇尔:多项式微分方程的代数、余代数和极小化(2019)
  3. Cardelli,卢卡;TrbasOne,Micro;Tschaikowski,马克斯;范丁,安德列:微分等效的符号计算(2019)
  4. J·LVEZ,豪尔赫;奥利弗,Stephen G.:柔性网:具有不确定参数的动态系统的建模形式(2019)
  5. Sanguinetti,Guido(ED);Huynh Thu,V·N Anh(ED):基因调控网络。方法与协议(2019)
  6. To罗,Mauricio:生态系统个体建模的形式语言综述(2019)
  7. Baier,克里斯特尔;de Alfaro,卢卡;PROJJT,Vojt.Ch;KWATKOWSKA,马尔塔:概率系统模型检验(2018)
  8. 阿德霍尔德,Andrej;HuMeYER,Dirk;GrigeGrcZyk,马珂:半机械模型中的近似贝叶斯推断(2017)
  9. Boreale,米歇尔:多项式微分方程的代数、余代数和极小化(2017)
  10. Giannakis,康斯坦丁诺斯,安东尼科斯,西奥多:生物分子过程建模的膜自动机(2017)
  11. Grzegorczyk,马珂;AdHOLD,Andrej;HuMEER,Dirk:以直接路径非平衡热力学积分为目标的Bayes因子(2017)
  12. Bortolussi,卢卡:马尔可夫人口模型的混合行为(2016)
  13. Bortolussi,卢卡;GAST,尼古拉斯:超越常微分方程的平均场极限(2016)
  14. Bortolussi,卢卡;Milios,Dimitrios;Sanguinetti,Gudio:不确定连续时间马尔可夫链的光滑模型检验(2016)
  15. Cardelli,卢卡;TrbasOne,Micro;Tschaikowski,马克斯;范丁,安德列:微分等效的符号计算(2016)
  16. 科尔文,Robert J.:利用混合过程代数建模和分析神经网络(2016)
  17. D,D,T.A. R,N.K;Trjjak,M;Kalm,M.;ALAGOVI,J.Burm,L.:Kappa和BNGL中具有语义的形式化生化空间(2016)
  18. Hillston,简:集体适应系统的定量分析(2016)
  19. Olarte,C.,Chiarugi,D,Falaschi,M,Hemith.,D.:生物化学系统中空间和时间依赖性的证明理论观点(2016)
  20. Vandin,安德列;TrbASTOne,Micro:集体适应系统的定量抽象(2016)

进一步的出版物可以在:HTTP://HOMEPGA.FI.E.AC.UK/JEH/BIO-PEPA/RealthCys.HTML