×

找到40个文档（结果1-40）

最新的 引文 关联
托马斯·赖特;伊恩·斯塔克

键演算中基因调控模式的建模。 （英语） Zbl 1458.92039号

Gupta，Ankit（编辑）等人，《2018年SASB会议记录》，第九届静态分析和系统生物学国际研讨会，德国弗莱堡，2018年8月28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。350, 117-138 (2020).
MSC公司：92立方厘米 92D10型
PDF格式BibTeX公司 XML格式引用
\textit{T.Wright}和\textit{I.Stark}，电子。注释Theor。计算。科学。350、117--138（2020；Zbl 1458.92039）
全文： 内政部
米歇尔·博雷尔

代数、余代数和多项式微分方程中的最小化。 （英语） Zbl 1486.68109号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 71-87 (2017).
MSC公司：68问题85 13N15号 34A34飞机 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.Boreale}，莱克特。注释计算。科学。10203、71--87（2017；Zbl 1486.68109）
全文： 内政部 arXiv公司
滨野、Masahiro

基于规则的建模中RNA干扰的可持续性。 （英语） Zbl 1352.92052号

Feret，Jéróme（编辑）等人，《第三届静态分析和系统生物学国际研讨会论文集》（SASB 2012），法国多维尔，2012年9月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记31365-77，仅电子版（2014）。
MSC公司：92C40型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hamano}，电子。注释Theor。计算。科学。31365-77（2014；Zbl 1352.92052）
全文： 内政部
马蒂亚斯·约翰;塞德里克·侯赛因;约阿希姆·尼伦;阿德琳德·M·乌尔马赫。

具有优先级的属性像素。 （英语） Zbl 1275.92023号

Priami，Corrado（编辑）等人，《计算系统生物学学报》第十二卷。关于建模方法的特别问题。柏林：施普林格出版社（ISBN 978-3-642-11711-4/pbk）。计算机科学课堂讲稿5945。生物信息学课堂讲稿。《期刊副刊》，13-76（2010）。
MSC公司：92立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.John}等人，Lect。注释计算。科学。5945，13-76（2010；Zbl 1275.92023）
全文： 内政部 链接
菲利普·德尔·特德斯科;卡拉广场

系统生物学过程代数中的外部控制。 （英语） Zbl 1348.92071号

Ciobanu，Gabriel（编辑），《第二届膜计算和生物启发过程计算国际会议论文集》（MeCBIC 2008），2008年9月3日至4日，罗马尼亚伊阿什。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记227161-177（2009）。
MSC公司：92立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Del Tedesco}和\textit{C.Piazza}，电子。注释Theor。计算。科学。227161--177（2009年；Zbl 1348.92071）
全文： 内政部
阿莱西奥·科莱塔;罗伯塔·戈里;弗朗西丝卡·列维

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

尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，165-182（2009）。
MSC公司：92立方厘米 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Coletta}等人，《电子》。注释Theor。计算。科学。229，第1号，165--182（2009；Zbl 1283.92037）
全文： 内政部
苏菲涅·本基拉内;简·希尔斯顿;克里斯·麦凯;雷切尔·诺曼;卡隆·桑德兰

通过流行病学示例改进PEPA模型的连续逼近。 （英语） Zbl 1283.92064号

尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第1期，59-74（2009）。
MSC公司：92天30分 34C60个 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Benkirane}等人，《电子》。注释Theor。计算。科学。229，第1号，59-74（2009年；兹bl 1283.92064）
全文： 内政部
Joost-Pieter卡托恩;丹尼尔·克林克;Neuhäußer，Martin R。

随机系统的组合抽象。 （英语） Zbl 1262.68142号

Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813195-211（2009）。
MSC公司：87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Lect。注释计算。科学。5813，195--211（2009；Zbl 1262.68142）
全文： 内政部 链接
卢卡·博托卢西;阿尔贝托，Policriti

动力系统和随机规划：到常微分方程和回来。 （英语） Zbl 1260.92020年

Priami，Corrado（编辑）等人，《计算系统生物学学报》第十一卷。柏林：施普林格出版社（ISBN 978-3-642-04185-3/pbk）。计算机科学课程讲稿5750。生物信息学课堂讲稿。《期刊副刊》，216-267（2009）。
MSC公司：92C40型 90立方厘米15 68问题85 34C60个 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{A.Policriti}，莱克特。注释计算。科学。5750、216——267（2009年；Zbl 1260.92020年）
全文： 内政部
卡德，莫菲;简·希尔斯顿

生物分子过程的过程代数建模风格。 （英语） Zbl 1260.92030

Priami，Corrado（编辑）等人，《计算系统生物学学报》第十一卷。柏林：施普林格出版社（ISBN 978-3-642-04185-3/pbk）。计算机科学课程讲稿5750。生物信息学课堂讲稿。《期刊副刊》，1-25（2009）。
MSC公司：92C45型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Calder}和\textit{J.Hillston}，莱克特。注释计算。科学。5750，1-25（2009年；Zbl 1260.92030）
全文： 内政部
卢卡·卡德利;菲利普·加德纳;奥赞·卡拉马诺·乌拉尔

rho-GTP结合蛋白在吞噬作用中的过程模型。 （英语） Zbl 1279.68252号

尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第3期，87-102（2008）。
MSC公司：68问题85 87年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，《电子》。注释Theor。计算。科学。194，第3号，87--102（2008；Zbl 1279.68252）
全文： 内政部
克里斯·麦凯格;雷切尔·诺曼;卡隆·桑德兰

人口动力学的过程代数模型。 （英语） Zbl 1171.92336号

Horimoto，Katsuhisa（编辑）等人，代数生物学。2008年7月31日至8月2日，第三届国际会议，AB 2008，奥地利哈根堡城堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85100-4/pbk）。计算机科学课堂讲稿5147139-155（2008）。
MSC公司：92D25型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.McCaig}等人，Lect。注释计算。科学。5147、139--155（2008年；Zbl 1171.92336）
全文： 内政部 链接
卢卡·卡德利;吉安路易吉·扎瓦塔罗

生物化学的计算能力。 （英语） Zbl 1171.92318号

Horimoto，Katsuhisa（编辑）等人，代数生物学。2008年7月31日至8月2日，第三届国际会议，AB 2008，奥地利哈根堡城堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85100-4/pbk）。计算机科学讲义5147，65-80（2008）。
MSC公司：92C40型 2005年第68季度 92-08
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}和\textit{G.Zavataro}，莱克特。注释计算。科学。5147，65-80（2008；Zbl 1171.92318）
全文： 内政部
卢卡·博托卢西;阿尔贝托，Policriti

随机（pi）演算的混合语义。 （英语） Zbl 1171.68563号

Horimoto，Katsuhisa（编辑）等人，代数生物学。2008年7月31日至8月2日，第三届国际会议，AB 2008，奥地利哈根堡城堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85100-4/pbk）。计算机科学课堂讲稿514740-55（2008）。
MSC公司：68问题85 65年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{A.Policriti}，莱克特。注释计算。科学。5147、40-55（2008年；Zbl 1171.68563）
全文： 内政部
Bradley，Jeremy T。

滴答钟：利用随机过程代数对昼夜节律进行性能分析。 （英语） Zbl 1180.92005年

Thomas，Nigel（编辑）等人，《计算机性能工程》，第五届欧洲性能工程研讨会，EPEW 2008，西班牙马洛卡棕榈岛，2008年9月24日至25日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87411-9/pbk）。计算机科学课堂讲稿5261，79-94（2008）。
MSC公司：92B25型 92立方37 92C30型 34A99型
PDF格式BibTeX公司 XML格式引用
\textit{J.T.Bradley}，莱克特。注释计算。科学。5261，79-94（2008；Zbl 1180.92005）
全文： 内政部
吉安路易吉·扎瓦塔罗;卢卡·卡德利

化学动力学中的终止问题。 （英语） 兹比尔1160.68478

van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。2008年8月19日至22日，加拿大多伦多，第19届国际会议，CONCUR 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学课堂讲稿5201，477-491（2008）。
MSC公司：68问题85 2010年第68季度 80A30型
PDF格式BibTeX公司 XML格式引用
\textit{G.Zavataro}和\textit{L.Cardelli}，莱克特。注释计算。科学。5201、477--491（2008年；Zbl 1160.68478）
全文： 内政部
卢卡·博托卢西;阿尔贝托，Policriti

随机并发约束规划和微分方程。 （英语） Zbl 1279.92031号

Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》190，第3期，27-42（2007）。
MSC公司：92立方厘米 68问题85 34A99型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{A.Policriti}，电子。注释Theor。计算。科学。190，第3号，27-42（2007；Zbl 1279.92031）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件