×

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

阴极区带电粒子的离子通量。 (俄语。英文摘要) Zbl 1449.82019年

PDF格式BibTeX公司 XML格式引用
全文: 内政部 MNR公司

未标记结构的玻尔兹曼采样。 (英语) Zbl 1430.68164号

Panario,Daniel(编辑)等人,《分析算法和组合学第四次研讨会论文集》(ANALCO’07),美国洛杉矶新奥尔良,2007年1月6日。应用数学学报126。宾夕法尼亚州费城:工业和应用数学学会(SIAM)。201-211 (2007).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

几乎每个领域都是通用的。 (英语) 兹比尔1316.68066

Fiore,Marcelo(编辑),第23届编程语义数学基础会议论文集(MFPS XXIII),美国洛杉矶新奥尔良,2007年4月11-14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记173,103-119(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

作为概率推理的程序验证。 (英语) Zbl 1295.68084号

2007年1月17日至19日,法国尼斯,POPL'07,第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-575-4)。277-289 (2007).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对象复制程度自定义以实现高可用性。 (英语) Zbl 1283.68106号

2007年8月12日至15日,美国俄勒冈州波特兰,PODC’07,第26届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-616-5)。344-345 (2007).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于随机对象的图形文法。 (英语) Zbl 1279.68117号

Sampaio,Augusto(编辑),第二届巴西正式方法研讨会论文集(SBMF 2005),Porto Alegre,RS,巴西,2005年11月30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记184151-170(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率倒刺同余。 (英语) Zbl 1279.68255号

Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,185-203(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用骨架对系统性能建模的结构方法。 (英语) Zbl 1279.68272号

Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,167-183(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率演算和事件结构。 (英语) Zbl 1279.68269号

Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,147-166(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

源代码中通信协议的随机建模。 (英语) Zbl 1279.68024号

Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,129-145(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

外部概率计算树逻辑。 (英语) Zbl 1279.03054号

Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,95-110(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于数据流分析的概率技术。 (英语) Zbl 1279.68034号

Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,59-77(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于图变换系统的广义半马尔可夫过程仿真。 (英语) Zbl 1278.68217号

Rensink,Arend(ed.)等人,并发和验证图形转换研讨会论文集(GT-VC 2006),德国波恩,2006年8月31日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》175,第4期,73-86(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率构型理论。 (英语) Zbl 1277.68209号

Cook,B.(ed.)等人,第四届自动推理决策程序语用学研讨会(PDPAR 2006)和第一届概率自动机和逻辑国际研讨会(PaUL 2006)的联合会议记录,西雅图,华盛顿州,美国,2006年8月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第8期,95-108(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用随机自动机网络模拟生化反应。 (英语) Zbl 1277.68215号

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

将马尔可夫过程标记为广义随机关系。 (英语) Zbl 1277.68198号

Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172,459-478(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于测试概率过程的备注。 (英语) Zbl 1277.68121号

Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172,359-397(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2007年3月24日至25日,葡萄牙布拉加,第五届编程语言定量方面研讨会论文集(QAPL 2007)。 (英语) Zbl 1275.68011号

理论计算机科学电子笔记190号,第3条。阿姆斯特丹:爱思唯尔。203页。,仅电子版(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

热力学和统计力学的问题和解决方案。1990年原件的重印。 (英语) Zbl 1259.80001号

美国主要大学博士资格认证问题与解决方案新泽西州哈肯萨克:世界科学(ISBN 978-981-02-0055-8/hbk;978-982-02-0056-5/pbk)。ix,第407页。(2007).
PDF格式BibTeX公司 XML格式引用

数据表示和有效解决方案:决策图方法。 (英语) Zbl 1323.68049号

Bernardo,Marco(编辑)等人,《绩效评估的形式化方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486,371-394(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

处理性能建模中的大状态空间。 (英语) Zbl 1323.68054号

Bernardo,Marco(编辑)等人,《绩效评估的形式化方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486,318-370(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

性能分析中的流体模型。 (英语) Zbl 1323.68051号

Bernardo,Marco(编辑)等人,《绩效评估的形式化方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486,271-317(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机模型检查。 (英语) 兹比尔1323.68379

Bernardo,Marco(编辑)等人,《绩效评估的形式化方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486,220-270(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫行为等价性调查。 (英语) Zbl 1323.68402号

Bernardo,Marco(编辑)等人,《绩效评估的形式化方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486,180-219(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机过程代数。 (英语) Zbl 1323.68406号

Bernardo,Marco(编辑)等人,《绩效评估的形式化方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486,132-179(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

广义随机Petri网简介。 (英语) Zbl 1323.68400号

Bernardo,Marco(编辑)等人,《绩效评估的形式化方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统正式设计方法国际学校,SFM 2007。高级讲座。柏林:施普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486,83-131(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

平衡附近和远离平衡的非线性动力学。 (英语) Zbl 1196.82003年

物理科学课文与阅读7.新德里:印度斯坦图书局(ISBN 978-81-85931-74-6/hbk)。vii,304页。(2007).
PDF格式BibTeX公司 XML格式引用

随机排列及其差异过程。 (英语) Zbl 1192.68456号

2007年算法分析会议,AofA 07。2007年6月17日至22日在法国胡安·莱斯·平斯举行的第十三届会议的论文。南希:离散数学与理论科学协会(DMTCS)。415-426,仅电子版(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过生成函数在一维中进行量子随机游动。 (英语) Zbl 1192.68454号

2007年算法分析会议,AofA 07。2007年6月17日至22日在法国胡安·莱斯·平斯举行的第十三届会议的论文。南希:离散数学与理论科学协会(DMTCS)。403-414,仅电子版(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

随机阿波罗网络结构的度分布和玻尔兹曼抽样。 (英语) Zbl 1192.68953号

2007年算法分析会议,AofA 07。2007年6月17日至22日在法国胡安·莱斯·平斯举行的第十三届会议的论文。南希:离散数学与理论科学协会(DMTCS)。313-324,仅电子版(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

尝试的单面变化:路径不平衡、爬升和关键采样。 (英语) Zbl 1192.68947号

2007年算法分析会议,AofA 07。2007年6月17日至22日在法国胡安·莱斯·平斯举行的第十三届会议的论文。南希:离散数学与理论科学协会(DMTCS)。303-310,仅电子版(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于正漂移随机游动的退出时间。 (英语) 兹比尔1192.68955

2007年算法分析会议,AofA 07。2007年6月17日至22日在法国胡安·莱斯·平斯举行的第十三届会议的论文。南希:离散数学与理论科学协会(DMTCS)。291-302,仅电子版(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

二维晶格约简:现实概率模型下的分析。 (英语) Zbl 1192.68976号

2007年算法分析会议,AofA 07。2007年6月17日至22日在法国胡安·莱斯·平斯举行的第十三届会议的论文。南希:离散数学与理论科学协会(DMTCS)。181-216,仅电子版(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过Boltzmann采样器的随机图的属性。 (英语) 兹比尔1192.68972

2007年算法分析会议,AofA 07。2007年6月17日至22日在法国胡安·莱斯·平斯举行的第十三届会议的论文。南希:离散数学与理论科学协会。159-168,仅电子版(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

具有记录统计的相干随机排列。 (英语) Zbl 1192.68963号

2007年算法分析会议,AofA 07。2007年6月17日至22日在法国胡安·莱斯·平斯举行的第十三届会议的论文。南希:离散数学与理论科学协会(DMTCS)。147-158,仅电子版(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

动态情况下非线性弹性材料中相间边界的条件。 (英语。俄文原件) Zbl 1189.35329号

多克。物理学。 52,第10号,571-573(2007); Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 416,第6期,第763-765页(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

尺度传感器理论中4D黑洞的相位——引力与非线性电动力学耦合。 (英语) Zbl 1181.83136号

Michail D.Todorov(编辑),《数学在工程和经济中的应用》33。第33届国际会议,2007年6月8日至14日,保加利亚索佐波尔。纽约州梅尔维尔:美国物理研究所(AIP)(ISBN 978-0-7354-0460-1/hbk)。AIP会议记录946127-134(2007)。
PDF格式BibTeX公司 XML格式引用

多孔介质中蒸发锋的流体动力学稳定性。 (英语。俄文原件) Zbl 1354.76061号

流体动力学。 42,第5期,773-783(2007); Izv的翻译。罗斯。阿卡德。墨西哥诺克。日德克。Gaza 42,No.5,106-117(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一维非定常水和蒸汽在考虑相变的情况下流经多孔介质。 (英语。俄文原件) Zbl 1354.76174号

流体动力学。 42,第4期,627-636(2007); Izv的翻译。罗斯。阿卡德。墨西哥诺克。日德克。《加沙42》,第4期,第134-143页(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

研究三维弱稀释Potts模型的临界性质。 (英语。俄文原件) Zbl 1177.82028号

牛市。俄罗斯科学院。科学。,物理学。 71,第11期,1586-1588(2007); Izv的翻译。罗斯。阿卡德。Nauk,爵士。菲兹。71,第11期,1628-1629(2007)。
MSC公司:82B20型 82B26型 82B80型 82B27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

弯曲边界二元系统中的界面张力。 (英语。俄文原件) Zbl 1179.80013号

牛市。俄罗斯科学院。科学。,物理学。 71,第5期,732-734(2007); Izv的翻译。罗斯。阿卡德。Nauk,爵士。菲兹。71,第5期,755-757(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

相变产生的位错现象电荷理论。 (英语。俄文原件) 兹比尔1177.82069

牛市。俄罗斯科学院。科学。,物理学。 71,第2期,181-186(2007); Izv的翻译。罗斯。阿卡德。Nauk,爵士。菲兹。71,第2期,192-197(2007)。
MSC公司:82个B44 82B26型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

碳氢化合物凝胶化:一个模型问题。 (英语) Zbl 1173.82318号

Jeltsch,Rolf(编辑)等人,《工业和应用数学的一些主题》。基于2006年5月26日至27日在中国上海举行的上海工业和应用数学论坛上的演讲。新泽西州哈肯萨克:世界科学(ISBN 978-981-270-934-9/hbk)。当代应用数学系列CAM 8120-133(2007)。
MSC公司:82B26型 82D25个
PDF格式BibTeX公司 XML格式引用

非平衡动力学的场论方法。 (英语) Zbl 1157.82360号

Henkel,Malte(编辑)等人,《老化与玻璃化转变》。2005年9月,应邀在卢森堡暑期学校演讲。柏林:施普林格出版社(ISBN 978-3-540-69683-4/hbk)。物理学讲义716295-348(2007)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

从urn模型到零范围过程:静力学和动力学。 (英语) Zbl 1157.82375号

Henkel,Malte(编辑)等人,《老化和玻璃化转变》。2005年9月,应邀在卢森堡暑期学校演讲。柏林:施普林格出版社(ISBN 978-3-540-69683-4/hbk)。物理课堂讲稿716261-294(2007)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

热系统中的玻璃化行为,粒状介质:初步综述。 (英语) 兹比尔1157.82399

Henkel,Malte(编辑)等人,《老化和玻璃化转变》。2005年9月,应邀在卢森堡暑期学校演讲。柏林:施普林格出版社(ISBN 978-3-540-69683-4/hbk)。物理讲稿7161-206(2007)。
PDF格式BibTeX公司 XML格式引用

关于结构玻璃转变的性质:实验方法。 (英语) Zbl 1157.82400号

Henkel,Malte(编辑)等人,《老化和玻璃化转变》。2005年9月,应邀在卢森堡暑期学校演讲。柏林:施普林格出版社(ISBN 978-3-540-69683-4/hbk)。物理课堂讲稿716,61-159(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

测试\(k)和几乎\(k)的独立性。 (英语) Zbl 1232.68093号

STOC'07年。第39届ACM计算理论年度研讨会论文集,美国加利福尼亚州圣地亚哥,2007年6月11日至13日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-631-8)。496-505 (2007).
PDF格式BibTeX公司 XML格式引用

关于散装水、纳米限制水和生物环境的新结果。 (英语) 兹比尔1149.82001

Abe,Sumiyoshi(编辑)等人,《复杂性、亚稳定性和非扩展性》。2007年7月1日至5日在意大利卡塔尼亚举行的CTNEXT 07国际会议。纽约州梅尔维尔:美国物理研究所(AIP)(ISBN 978-0-7354-0481-6/hbk)。AIP会议记录965193-217(2007)。
MSC公司:82-05 82B26型 82B27型
PDF格式BibTeX公司 XML格式引用

量子自旋链中的广义非加性熵。 (英语) Zbl 1151.82315号

Abe,Sumiyoshi(编辑)等人,《复杂性、亚稳定性和非扩展性》。2007年7月1日至5日在意大利卡塔尼亚举行的CTNEXT 07国际会议。纽约州梅尔维尔:美国物理研究所(AIP)(ISBN 978-0-7354-0481-6/hbk)。AIP会议记录965,51-59(2007)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

广义网络理论的代数方面。五、。 (英语) Zbl 1156.68491号

Atanassov,Krassimir(ed.)等人,第五届直觉模糊集和广义网国际研讨会,波兰华沙,2005年9月16日。精选论文。华沙:华沙信息技术学院(ISBN 978-83-88311-90-1/pbk)。直觉模糊集和广义网的问题5,1-9(2007)。
MSC公司:第68季度85
PDF格式BibTeX公司 XML格式引用

具有快速转换的马尔可夫报酬链的合成性。 (英语) Zbl 1149.68320号

Wolter,Katinka(编辑),绩效评估的形式化方法和随机模型。2007年9月27日至28日,第四届欧洲性能工程研讨会,EPEW 2007,德国柏林。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75210-3/pbk)。计算机科学讲义4748,18-32(2007)。
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段