×

找到138个文档(结果1-100)

在具有定时迁移和定时通信的多代理系统中使用成本。 (英语) Zbl 1440.68306号

Chatzigeorgiou,Alexander(编辑)等人,《SOFSEM 2020:计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议,SOFSEM 2020,塞浦路斯利马索尔,2020年1月20日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12011, 441-453 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证迁移和通信超时的多代理系统。 (英语) Zbl 07142674号

Hierons,Robert Mark(编辑)等人,《计算的理论方面——2019年ICTAC》。第16届国际学术讨论会,突尼斯哈马马特,2019年10月31日至11月4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11884, 134-151 (2019).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

尖峰神经P系统的语义研究。 (英语) Zbl 1522.68208号

Hinze,Thomas(编辑)等人,《膜计算》。2018年9月4-7日在德国德累斯顿举行的CMC 2018第19届国际会议。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11399, 108-130 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自适应P系统。 (英语) Zbl 1522.68202号

Hinze,Thomas(编辑)等人,《膜计算》。2018年9月4-7日在德国德累斯顿举行的CMC 2018第19届国际会议。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11399, 57-72 (2019).
MSC公司:2007年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用很少的膜来解决“N皇后”难题。 (英语) Zbl 1519.68083号

Graciani,Carmen(编辑)等人,《享受自然计算》。在马里奥·德·杰苏斯·佩雷斯·吉梅内斯70岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。11270, 21-32 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反应系统中的受控可逆性。 (英语) Zbl 1497.68183号

Gheorghe,Marian(编辑)等人,《膜计算》。2017年7月25日至28日在英国布拉德福德举行的CMC 2017第18届国际会议。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10725, 40-53 (2018).
MSC公司:2007年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

膜系统的连续传递语义。 (英语) Zbl 1483.68114号

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

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

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

非交换逻辑中的私有名称。 (英语) 兹比尔1392.68303

Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59,第31条,16页(2016)。
MSC公司:68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用结构演算对会话进行行为分析。 (英语) 兹比尔1461.68129

Mazzara,Manuel(编辑)等人,《系统信息学的观点》。2015年8月24日至27日,第十届安德烈·埃尔肖夫国际信息学会议,PSI 2015,纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9609, 91-106 (2016).
MSC公司:68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

随机脉冲神经P系统的自动验证。 (英语) Zbl 1473.68075号

Rozenberg,Grzegorz(编辑)等人,《膜计算》。2015年8月17日至21日,第16届国际会议,CMC 2015,西班牙巴伦西亚。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9504, 77-91 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算的理论方面——ICTAC 2014。第十一届国际学术讨论会,罗马尼亚布加勒斯特,2014年9月17日至19日。诉讼程序。 (英语) Zbl 1296.68006号

计算机科学课堂讲稿8687.柏林:施普林格出版社(ISBN 978-3-319-10881-0/pbk)。十八、477页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时P系统中的行为等效性。 (英语) Zbl 1407.68161号

Alhazov,Artiom(编辑)等人,《膜计算》。2013年8月20日至23日,第14届国际会议,CMC 2013,摩尔多瓦共和国奇塞努。修订了选定的论文。柏林:施普林格。莱克特。注释计算。科学。8340, 88-100 (2014).
MSC公司:2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

pTiMo的概率逻辑。 (英语) Zbl 1405.68210号

Liu,Zhiming(编辑)等人,《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会,中国上海,2013年9月4-6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39717-2/pbk)。《计算机科学讲义》8049、141-158(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

移动膜:可计算性和复杂性。 (英语) Zbl 1405.68115号

Liu,Zhiming(编辑)等人,《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会,中国上海,2013年9月4-6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39717-2/pbk)。《计算机科学讲义》8049,59-75(2013)。
MSC公司:2005年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

P系统中相关和静态因果关系的分析。 (英语) Zbl 1388.68053号

Csuhaj Varjú,Erzsébet(编辑)等人,膜计算。2012年8月28日至31日,第13届国际会议,CMC 2012,匈牙利布达佩斯。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-36750-2/pbk)。计算机科学课堂讲稿7762,323-341(2013)。
MSC公司:2005年第68季度 2010年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

表面带有有色Petri网物体的移动膜。 (英语) Zbl 1388.68039号

Csuhaj-Varjü,Erzsébet(编辑)等人,《膜计算》。2012年8月28日至31日,第13届国际会议,CMC 2012,匈牙利布达佩斯。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-36750-2/pbk)。计算机科学课堂讲稿7762128-144(2013)。
MSC公司:2005年第68季度 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于重写策略的定时移动语义。 (英语) Zbl 1315.68191号

Eleftherakis,George(编辑)等人,《软件工程和形式化方法》。第十届国际会议,2012年SEFM,希腊塞萨洛尼基,2012年10月1日至5日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33825-0/pbk)。计算机科学课堂讲稿75041-155(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于具有受控迁移率的膜系统的可计算能力。 (英语) Zbl 1357.68063号

Cooper,S.Barry(编辑)等人,《世界是如何计算的》。2012年6月18日至23日在英国剑桥举行的图灵一百周年会议和第八届欧洲可计算性会议(CiE 2012)。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-30869-7/pbk)。计算机科学课堂讲稿7318,626-635(2012)。
MSC公司:2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

膜系统中的定量因果关系。 (英语) Zbl 1350.68098号

Gheorghe,Marian(编辑)等人,《膜计算》。2011年8月23日至26日,第十二届国际会议,CMC 2011,法国枫丹白露。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28023-8/pbk)。计算机科学讲义7184,62-72(2012)。
MSC公司:2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

催化Petri网是图灵完备的。 (英语) Zbl 1350.68200号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2012年3月5日至9日在西班牙科鲁尼亚举行的2012年拉丁美洲旅游协会第六届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28331-4/pbk)。计算机科学讲义7183192-203(2012)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

膜系统和Petri网中的时间延迟。 (英语) Zbl 1457.68092号

Massink,Mieke(编辑)等人,第九届编程语言定量方面研讨会论文集,德国萨尔布吕肯,2011年4月1日至3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)57、47-60(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

过程计算和自然计算中的移动性。 (英语) Zbl 1238.68005号

自然计算系列柏林:施普林格出版社(ISBN 978-3-642-24866-5/hbk;978-3-442-24867-2/电子书)。xiii,208页。(2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

增强型移动膜中流动性的可计算能力。 (英语) Zbl 1344.68078号

Löwe,Benedikt(编辑)等人,《上下文中的计算模型》。2011年6月27日至7月2日在保加利亚索非亚举行的第七届欧洲可计算性会议,CiE 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21874-3/pbk)。计算机科学课堂讲稿6735160-170(2011)。
MSC公司:2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用可移动膜的A下限。 (英语) Zbl 1341.68049号

Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。2011年7月25日至27日,第13届国际研讨会,DCFS 2011,德国利姆堡Gießen/Limburg。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学课堂讲稿6808,275-288(2011)。
MSC公司:2005年第68季度 2010年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

表面有物体的相互移动膜的时间逻辑。 (英语) Zbl 1330.68063号

Kelemen,Jozef(编辑)等人,《计算、合作与生活》。在盖奥盖·普恩60岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-1999-8/pbk)。计算机科学讲座笔记6610,138-150(2011)。
MSC公司:2005年第68季度 03B44号 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过溶解压平过渡P系统。 (英语) Zbl 1259.68050号

Gheorghe,Marian(编辑)等人,《膜计算》。2010年8月24日至27日,第11届国际会议,CMC 2010,德国耶拿。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18122-1/pbk)。计算机科学课堂讲稿650153-64(2010)。
MSC公司:2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学和膜系统中的移动性。 (英语) Zbl 1259.68067号

Gheorghe,Marian(编辑)等人,《膜计算》。2010年8月24日至27日,第11届国际会议,CMC 2010,德国耶拿。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18122-1/pbk)。计算机科学课程讲稿6501,7-17(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

UTP和时序逻辑模型检查。 (英语) Zbl 1286.68066号

Andrew Butterfield(编辑),统一编程理论。第二届国际研讨会,2008年UTP,爱尔兰都柏林,2008年9月8-10日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-14520-9/pbk)。计算机科学课堂讲稿5713,22-41(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

类型膜系统。 (英语) 兹比尔1273.68111

Péun,Gheorghe(编辑)等人,《膜计算》。2009年8月24日至27日,第十届WMC国际研讨会,罗马尼亚Curtea de Arges。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-11466-3/pbk)。计算机科学课堂讲稿5957169-181(2010)。
MSC公司:2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过最大化规则数量进化:复杂性研究。 (英语) Zbl 1273.68156号

Péun,Gheorghe(编辑)等人,《膜计算》。2009年8月24日至27日,第十届WMC国际研讨会,罗马尼亚Curtea de Arges。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-11466-3/pbk)。计算机科学课堂讲稿5957149-157(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用促进剂和抑制剂重写膜系统的逻辑规范。 (英语) Zbl 1347.68125号

Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,5-22(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

第二届膜计算和生物启发过程计算国际会议论文集(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。 (英语) Zbl 1279.68011号

理论计算机科学电子笔记227.阿姆斯特丹:爱思唯尔。193页。,仅电子版(2009年)。
MSC公司:68-06 2005年第68季度 65年第68季度 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 链接

简单、增强、可相互移动的膜。 (英语) Zbl 1260.68143号

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

使用三个移动膜的图灵完整性。 (英语) Zbl 1253.68121号

Calude,Cristian S.(编辑)等人,《非常规计算》。2009年9月7日至11日,第8届国际会议,UC 2009,葡萄牙蓬塔德尔加达。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03744-3/pbk)。计算机科学课堂讲稿5715,42-55(2009)。
MSC公司:2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

双P系统。 (英语) Zbl 1196.68086号

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

使用增强型移动膜描述免疫系统。 (英语) Zbl 1279.92026号

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

时空互动。 (英语) Zbl 1277.68172号

Goldin,Dina(编辑)等人,交互计算基础研讨会论文集(FinCo 2007),葡萄牙布拉加,2007年3月31日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》203,第3期,第5-18页(2008年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

MeCBIC 2008年。第二届膜计算和生物启发过程计算国际会议。论文基于2008年9月3日至4日在罗马尼亚伊阿什伊举行的会议上的发言。 (英语) Zbl 1202.68004号

Iaši:“AI.i.Cuza”大学,“A.Myller”研讨会。vii,193页。(2008).
PDF格式BibTeX公司 XML格式引用

非确定性数据流的非互斥语义和因果关系。 (英语) 兹比尔1161.68557

Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。计算机科学讲义5160,66-80(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从基因调控到随机融合。 (英语) Zbl 1166.68319号

Calude,Cristian S.(编辑)等人,《非常规计算》。2008年8月25日至28日在奥地利维也纳举行的2008年加州大学第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85193-6/pbk)。计算机科学课堂讲稿5204,51-63(2008)。
MSC公司:2005年第68季度 2010年第68季度 68问题85
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格式引用
全文: 内政部

将移动环境转换为P系统。 (英语) Zbl 1277.68162号

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

将移动环境编码为\(\pi\)-演算。 (英语) Zbl 1185.68439号

Virbitskaite,Irina(编辑)等人,《系统信息学的观点》。2006年6月27日至30日,俄罗斯新西伯利亚,第六届安德烈·埃尔肖夫国际纪念大会,PSI 2006。修订论文。柏林:施普林格出版社(ISBN 978-3-540-70880-3/pbk)。计算机科学讲义4378148-165(2007)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有计时器和类型的移动环境。 (英语) Zbl 1147.68586号

Jones,Cliff B.(编辑)等人,《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会,中国澳门,2007年9月26日至28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75290-5/pbk)。计算机科学课堂讲稿4711,50-63(2007)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

适用于移动环境的定时器和接近度。 (英语) Zbl 1188.68202号

Diekert,Volker(编辑)等人,《计算机科学——理论与应用》。第二届俄罗斯计算机科学国际研讨会,CSR 2007,俄罗斯叶卡捷琳堡,2007年9月3-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74509-9/pbk)。计算机科学课堂讲稿4649,33-43(2007)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

膜系统中的事件、因果关系和并发性。 (英语) Zbl 1137.68380号

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

关于具有可移动膜的P系统的可达性问题。 (英语) Zbl 1137.68370号

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

膜计算中的操作语义和重写逻辑。 (英语) Zbl 1273.68201号

Peter Mosses等人,《结构操作语义学第二次研讨会论文集》(SOS 2005),葡萄牙里斯本,2005年7月10日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》156,第1期,57-78(2006)。
MSC公司:68问题55 2005年第68季度 2010年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过改写策略表达膜的控制机制。 (英语) 兹比尔1187.68223

Hoogeboom,Hendrik Jan(编辑)等人,《膜计算》。2006年7月17日至21日在荷兰莱顿举行的2006年世界气象大会第七届国际研讨会。修订、精选和邀请论文。柏林:施普林格出版社(ISBN 978-3-540-69088-7/pbk)。计算机科学课堂讲稿4361154-169(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

传记参考