×

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

语境的随机关系预设和动态逻辑。 (英语) Zbl 1467.68131号

Coecke,Bob(编辑)等人,《第十一届量子物理与逻辑研讨会论文集》,QPL'14,日本京都,2014年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)172115-132(2014)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

概率过程组合子合成性质的定点表征。 (英语) Zbl 1464.68246号

Borgsteröm,Johannes(ed.)等人,《第21届并发表达性国际研讨会暨第11届结构操作语义研讨会论文集》,EXPRESS/SOS 2014,意大利罗马,2014年9月1日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)160,63-78(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

非流动系统的概率。 (英语) Zbl 1464.68140号

Ayala-Rincón,Mauricio(编辑)等人,第九届计算模型发展国际研讨会论文集,DCM’13,阿根廷布宜诺斯艾利斯,2013年8月26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)144,1-15(2014)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

双相似概率自动机的格结构。 (英语) Zbl 1464.68183号

Holik,Lukas(编辑)等人,《第十五届无限状态系统验证国际研讨会论文集》,《INFINITY’13》,越南河内,2013年10月14日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)140,1-15(2014)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

临界状态下的稀释平均场自旋玻璃模型。 (英语) Zbl 1456.82926号

《统计力学杂志》。理论实验。 2014年第4期,论文编号:P04013,21页(2014); 勘误表同上,2015年,第3号,E03001号文件,第1页(2015年)。
PDF格式BibTeX公司 XML格式引用

统一逻辑和概率:人工智能的新曙光? (英语) Zbl 1419.68072号

Laurent,Anne(编辑)等人,《基于知识的系统中的信息处理和不确定性管理》。2014年7月15日至19日,第15届国际会议,IPMU 2014,法国蒙彼利埃。诉讼程序。第一部分查姆:施普林格。Commun公司。计算。信息科学。442, 10-14 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于矩阵范数和顶奇异向量的绘制。 (英语) Zbl 1422.68305号

Chekuri,Chandra(编辑),第25届ACM-SIAM离散算法年度研讨会论文集,SODA 2014,波特兰,俄勒冈州,美国,2014年1月5-7日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1562-1581 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

使用扩展器进行基于模型的草图绘制和恢复。 (英语) Zbl 1455.94046号

Chekuri,Chandra(编辑),第25届ACM-SIAM离散算法年度研讨会论文集,SODA 2014,波特兰,俄勒冈州,美国,2014年1月5-7日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1529-1543 (2014).
PDF格式BibTeX公司 XML格式引用

改进了计数间隔的浓度范围。 (英语) Zbl 1422.68052号

Chekuri,Chandra(编辑),第25届ACM-SIAM离散算法年度研讨会论文集,SODA 2014,波特兰,俄勒冈州,美国,2014年1月5-7日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。669-686 (2014).
PDF格式BibTeX公司 XML格式引用

容错分布式存储的多项式时间近似方案。 (英语) 兹比尔1421.68210

Chekuri,Chandra(编辑),第25届ACM-SIAM离散算法年度研讨会论文集,SODA 2014,波特兰,俄勒冈州,美国,2014年1月5-7日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。628-644 (2014).
PDF格式BibTeX公司 XML格式引用

可能安全或活着。 (英语) Zbl 1394.68231号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第55号论文,第10页(2014年)。
PDF格式BibTeX公司 XML格式引用

关于标记马尔可夫链的总变差距离。 (英语) Zbl 1395.68202号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第33号论文,第10页(2014年)。
PDF格式BibTeX公司 XML格式引用

概率多计数器自动机中的零可达性。 (英语) Zbl 1401.68151号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第22号论文,第10页(2014年)。
PDF格式BibTeX公司 XML格式引用

布朗运动和一般连续随机过程的区域理论方法。 (英语) Zbl 1395.68201号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第15号论文,第10页(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

线性时序逻辑重量监控:复杂性和可判定性。 (英语) 兹比尔1401.68182

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第11号论文,第10页(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

权衡分析满足概率模型检查。 (英语) Zbl 1401.68181号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。论文编号:1,10 p.(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动力学平均场模型中粗化现象的缩放。 (英语) Zbl 1373.82054号

Jang,Sun Young(编辑)等人,《国际数学家大会会议记录》(ICM 2014),韩国首尔,2014年8月13日至21日。第四卷:特邀讲座。首尔:KM Kyung Moon Sa(ISBN 978-89-6105-807-0/hbk;978-89-6 105-803-2/套)。1087-1100 (2014).
MSC公司:82C26型 35C06型
PDF格式BibTeX公司 XML格式引用

社会选择、计算复杂性、高斯几何和布尔函数。 (英语) Zbl 1375.91074号

Jang,Sun Young(编辑)等人,《国际数学家大会会议记录》(ICM 2014),韩国首尔,2014年8月13日至21日。第四卷:特邀讲座。首尔:KM Kyung Moon Sa(ISBN 978-89-6105-807-0/hbk;978-89-6 105-803-2/套)。633-658 (2014).
MSC公司:91B14号机组 87年第68季度 94立方厘米10 60G15年
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

随机结构和算法。 (英语) 兹比尔1373.05177

Jang,Sun Young(编辑)等人,《国际数学家大会会议记录》(ICM 2014),韩国首尔,2014年8月13日至21日。第一卷:全体讲座和仪式。首尔:KM Kyung Moon Sa(ISBN 978-89-6105-804-9/hbk;978-89-6 105-803-2/套)。311-340 (2014).
PDF格式BibTeX公司 XML格式引用

关于马尔科夫模型最大熵计算的复杂性。 (英语) Zbl 1360.68501号

Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29571-583(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多环境马尔可夫决策过程。 (英语) Zbl 1360.68598号

Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29,531-543(2014)。
PDF格式BibTeX公司 XML格式引用

非终止进程的信息泄漏。 (英语) 兹比尔1360.68422

Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29,517-529(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一个时间旅行位与对数旅行位一样好。 (英语) Zbl 1360.68468号

Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29,469-480(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率系统中诊断和可预测性的基础。 (英语) Zbl 1360.68627号

Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29,417-429(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

铁磁Potts模型:细化#BIS硬度和相关结果。 (英语) Zbl 1359.68131号

Jansen,Klaus(编辑)等,近似、随机化和组合优化。算法和技术。2014年9月4日至6日,西班牙巴塞罗那加泰罗尼亚政治大学,第17届组合优化问题近似算法国际研讨会(APPROX 2014)和第18届随机化与计算国际研讨会(RANDOM 2014)论文集。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-74-3)。LIPIcs–莱布尼茨国际信息学论文集28,677-691(2014)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件