×

找到20个文档(结果1–20)

多项式微分方程的近似约束集总。 (英语) Zbl 07810887号

Pang,Jun(编辑)等人,《系统生物学中的计算方法》。第21届国际会议,CMSB 2023,卢森堡市,卢森堡,2023年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14137, 106-123 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于抽象的化学反应网络分段模拟。 (英语) Zbl 1505.92074号

Petre,Ion(编辑)等人,《系统生物学中的计算方法》。第20届国际会议,CMSB 2022,罗马尼亚布加勒斯特,2022年9月14-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13447, 41-60 (2022).
PDF格式BibTeX公司 XML格式引用

用形式化方法分析振荡行为。 (英语) Zbl 1427.92016年

Remke,Anne(编辑)等人,《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日,意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8453, 1-25 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Petri网的自由能。 (英语) Zbl 1408.68099号

van Breugel,Franck(编辑)等人,《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8464, 268-289 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生物系统的模型检查。 (英语) Zbl 1380.92024号

Bernardo,Marco(编辑)等人,动力系统的形式化方法。2013年6月17日至22日,意大利贝蒂诺罗,第13所计算机、通信和软件系统正式设计方法国际学校,SFM 2013。高级讲座。柏林:施普林格出版社(ISBN 978-3-642-38873-6/pbk)。计算机科学课堂讲稿7938,63-112(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用抽象解释近似生物系统的概率行为。 (英语) Zbl 1283.92037号

尼古拉·卡纳塔(编辑)等人,《第二次研讨会论文集——从生物学到并发性再到向后》(FBTC 2008),冰岛雷克雅未克,2008年7月12日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,第1期,165-182(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动力学速率不确定生物系统的概率模型检验。 (英语) Zbl 1260.68226号

Bournez,Olivier(编辑)等人,《可达性问题》。2009年9月23日至25日,法国帕莱索,RP 2009第三届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04419-9/pbk)。计算机科学课堂讲稿579764-78(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

遗传调控网络的计算树规则逻辑。 (英语) Zbl 1183.68380号

Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311,48-63(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份