×

找到93个文档(结果1-93)

用于多方交互的基于约束的语言。 (英语) Zbl 07313964号

Nalon,Cláudia(编辑)等人,《逻辑和语义框架及其应用第15届国际研讨会论文集》,LSFA 2020,虚拟研讨会,2020年8月27日至28日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。351, 25-50 (2020).
MSC公司:68倍
PDF格式BibTeX公司 XML格式引用
全文: 内政部

蛋白质网络的计算能力。 (英语) Zbl 1483.68109号

Lepori,Alberto(编辑)等人,《膜计算》。2016年7月25日至29日,第17届国际会议,CMC 2016,意大利米兰。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。10105, 103-118 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生物化学系统中空间和时间模式的验证。 (英语) Zbl 1351.68157号

Pauleve,Loic(编辑)等人,第五届静态分析和系统生物学国际研讨会(SASB 2014)的后期报道,德国慕尼黑,2014年9月10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记316,29-44(2015)。
MSC公司:60年第68季度 03B70号 2005年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

膜结石的全局发生计数分析。 (英语) 兹伯利1417.68118

Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9527, 179-200 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

膜相互作用因果特性分析。 (英语) Zbl 1337.68100号

Merelli,Emanuela(编辑)等人,《第四届计算机科学与生物学相互作用国际研讨会论文集》(CS2Bio'13),意大利佛罗伦萨,2013年6月6日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》299,15-31(2013)。
MSC公司:2005年第68季度 第68季度55 92立方37 92立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于规则的模型中的包含。 (英语) Zbl 1283.92045号

Feret,Jéróme(编辑)等人,第二届静态分析和系统生物学国际研讨会论文集(SASB 2011),意大利威尼斯,2011年9月13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记284125-137(2012)。
MSC公司:92立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正式的细胞机器。 (英语) Zbl 1283.92039号

Feret,Jéróme(编辑)等人,第二届静态分析和系统生物学国际研讨会论文集(SASB 2011),意大利威尼斯,2011年9月13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记284,55-74(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

广义布尔网络的控制流分析。 (英语) Zbl 1283.92058号

Feret,Jéróme(编辑)等人,第二届静态分析和系统生物学国际研讨会论文集(SASB 2011),意大利威尼斯,2011年9月13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记284,3-22(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用\(\kappa\)-演算搜索分布式恶意软件。 (英语) Zbl 1342.68078号

Owe,Olaf(编辑)等人,《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22952-7/pbk)。计算机科学课堂讲稿6914,102-113(2011)。
MSC公司:68号30 92天30分
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交互式系统的模块化验证与生物学应用。 (英语) Zbl 1283.68204号

Krivine,Jean(编辑)等人,第一届计算机科学与生物学相互作用国际研讨会论文集(CS2Bio'10),荷兰阿姆斯特丹,2010年6月10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记268,61-75(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于模式形成模型的带钩子的过程代数。 (英语) Zbl 1283.68237号

Krivine,Jean(编辑)等人,第一届计算机科学与生物学相互作用国际研讨会论文集(CS2Bio'10),荷兰阿姆斯特丹,2010年6月10日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》268,31-47(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生化系统语言:设计和形式规范。 (英语) Zbl 1275.92020年

Priami,Corrado(编辑)等人,《计算系统生物学学报》第十二卷。关于建模方法的特别问题。柏林:施普林格出版社(ISBN 978-3-642-11711-4/pbk)。计算机科学课堂讲稿5945。生物信息学课堂讲稿。《期刊副刊》,77-145(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Priami,Corrado(编辑)等人,《计算系统生物学学报》第十二卷。关于建模方法的特别问题。柏林:施普林格出版社(ISBN 978-3-642-11711-4/pbk)。计算机科学课堂讲稿5945。生物信息学课堂讲稿。《Subline期刊》,13-76(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于分析生物相关特性的类型规程。 (英语) Zbl 1348.92066号

Ciobanu,Gabriel(编辑),《第二届膜计算和生物启发过程计算国际会议论文集》(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记227,97-111(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生物-PEPA中生物隔间的建模。 (英语) Zbl 1348.92069号

Ciobanu,Gabriel(编辑),《第二届膜计算和生物启发过程计算国际会议论文集》(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记2277-95(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

膜结石的控制流分析。 (英语) Zbl 1348.92068号

Ciobanu,Gabriel(编辑),《第二届膜计算和生物启发过程计算国际会议论文集》(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记227,59-75(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将随机CLS转换为Maude。 (英语) Zbl 1347.68340号

Ciobanu,Gabriel(编辑),《第二届膜计算和生物启发过程计算国际会议论文集》(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记227,37-58(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

用于自主计算的高阶图形演算。 (英语) Zbl 1194.68117号

Lipshteyn,Marina(编辑)等人,《图论、计算智能和思维》。纪念马丁·查尔斯·格伦比奇60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-02028-5/pbk)。计算机科学课堂讲稿5420,15-26(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

以激活、萌芽和交配为原始动作的投影膜演算。 (英语) Zbl 1260.92018年

Priami,Corrado(编辑)等人,《计算系统生物学学报》第十一卷。柏林:施普林格出版社(ISBN 978-3-642-04185-3/pbk)。计算机科学课程讲稿5750。生物信息学课堂讲稿。期刊副刊,164-186(2009)。
MSC公司:92立方37
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Priami,Corrado(编辑)等人,《计算系统生物学学报》第十一卷。柏林:施普林格出版社(ISBN 978-3-642-04185-3/pbk)。计算机科学课程讲稿5750。生物信息学课堂讲稿。《期刊副刊》,1-25(2009)。
MSC公司:92C45型 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用K语言中的结构化数据定义和执行P系统。 (英语) Zbl 1196.68084号

Corne,David Wolfe(编辑)等人,《膜计算》。2008年7月28日至31日在英国爱丁堡举行的2008年世界气象大会第九届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-95884-0/pbk)。计算机科学课堂讲稿5391374-393(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机双图。 (英语) Zbl 1286.68354号

Bauer,Andrej(编辑)等人,《第24届编程语义数学基础会议论文集》(MFPS XXIV),美国宾夕法尼亚州费城,2008年5月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记21873-96(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

β-粘合剂的静态分析。 (英语) Zbl 1279.68197号

尼古拉·卡纳塔(编辑)等人,第一次研讨会《从生物学到并发性再到并发性(FBTC 2007)》会议记录,葡萄牙里斯本,2007年9月8日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》194,第3期,69-85(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于模拟生物系统的中间语言。 (英语) Zbl 1279.92030号

尼古拉·卡纳塔(编辑)等人,第一次研讨会《从生物学到并发性再到并发性(FBTC 2007)》会议记录,葡萄牙里斯本,2007年9月8日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》194,第3期,19-34(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

brane calculi中的表达问题:一项调查。 (英语) Zbl 1279.68251号

Palamidessi,Catuscia(ed.)等人,《LIX并发理论新兴趋势研讨会论文集》(LIX 2006),法国巴黎,2006年11月13日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记209,107-124(2008)。
MSC公司:68问题85 2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

增强型移动膜的计算能力。 (英语) Zbl 1142.68355号

Beckmann,Arnold(编辑)等人,《逻辑与算法理论》。第四届欧洲可计算性会议,2008年6月15日至20日,希腊雅典,CiE 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69405-2/pbk)。计算机科学课堂讲稿5028,326-335(2008)。
MSC公司:2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算系统生物学中时间逻辑特性的模型修正。 (英语) Zbl 1137.68534号

De Raedt,Luc(编辑)等人,概率归纳逻辑编程。理论和应用。柏林:施普林格出版社(ISBN 978-3-540-78651-1/pbk)。计算机科学课堂讲稿4911。人工智能课堂讲稿,287-304(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

{\(\kappa\)}中的DNA加成模型。 (英语) Zbl 1277.68080号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,209-222(2007)。
MSC公司:2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过膜结石中的活动小泡进行通讯。 (英语) Zbl 1277.68212号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,187-196(2007)。
MSC公司:68问题85 2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在{\(\pi\)}@中编码催化P系统。 (英语) Zbl 1277.68211号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,171-186(2007)。
MSC公司:68问题85 2005年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

β结合剂结构同余的可判定性。 (英语) Zbl 1277.68200号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记171,第2期,155-170(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

蛋白质和细胞的简单演算。 (英语) Zbl 1277.68195号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,139-154(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于分析生物系统的时间并发约束编程。 (英语) Zbl 1277.68188号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,117-137(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组织P系统和(膜)膜系统,在弦上进行配对和滴水操作。 (英语) Zbl 1277.68075号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,105-115(2007)。
MSC公司:2005年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于线性时间组织P系统的3-着色问题的解决方案。 (英语) Zbl 1277.68073号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,81-93(2007)。
MSC公司:2005年第68季度 05C15号 05C85号 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

外周蛋白的膜系统:运输和进化。 (英语) Zbl 1277.68072号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,37-53(2007)。
MSC公司:2005年第68季度 2017年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有标记膜的膜系统。 (英语) Zbl 1277.68071号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,25-36(2007)。
MSC公司:2005年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

膜计算和膜结石(一些个人笔记)。 (英语) Zbl 1277.68079号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,3-10页(2007年)。
MSC公司:2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模拟生物膜的循环序列演算。 (英语) Zbl 1137.68371号

Eleftherakis,George(编辑)等人,《膜计算》。2007年6月25日至28日,希腊塞萨洛尼基WMC 2007第八届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-77311-5/pbk)。计算机科学课堂讲稿4860,54-76(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件