×

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

无处可去,只有高:高维扩展器的观点。 (英语) 兹伯利07821714

Beliaev,Dmitry(编辑)等人,《2022年国际数学家大会》,ICM 2022,芬兰赫尔辛基,虚拟,2022年7月6日至14日。第6卷。第12-14节。柏林:欧洲数学学会(EMS)。4842-4871 (2023).
PDF格式BibTeX公司 XML格式引用

图形发散级数的渐近性:稠密有向图和2-SAT公式。 arXiv:2310.05282

预印本,arXiv:231005282[math.CO](2023)。
BibTeX公司 引用
全文: arXiv公司

带幂部分的“短”整数分区上的Boltzmann分布:极限定律和抽样。 arXiv:2303.16960

预印本,arXiv:2303.16960[math.PR](2023)。
BibTeX公司 引用
全文: arXiv公司

使用控制变量减少随机反应网络中的方差。 (英语) 兹比尔1528.68108

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 456-474 (2022).
PDF格式BibTeX公司 XML格式引用

凸晶格方程组。 (英语) Zbl 1528.68206号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 438-455 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫模型中的参数综合:一项温和的调查。 (英语) Zbl 1528.68226号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 407-437 (2022).
PDF格式BibTeX公司 XML格式引用

在贝叶斯网络循环的基础上。 (英语) Zbl 1528.68371号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 343-363 (2022).
PDF格式BibTeX公司 XML格式引用

关于概率监测。 (英语) Zbl 1528.68246号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 325-342 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过钱币列表重建了埃文斯的抽样公式。 (英语) Zbl 1524.68137号

Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13560, 339-357 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有最佳预算的POMDP控制器。 (英语) Zbl 1522.68346号

布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。2022年9月12日至16日,第19届国际会议,QEST 2022,波兰华沙。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 107-130 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机过程代数的速率提升——利用结构特性。 (英语) Zbl 1522.68371号

Ábrahám,Erika(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 67-84 (2022).
PDF格式BibTeX公司 XML格式引用

区间马尔可夫链的定量分析。 (英语) Zbl 1522.68296号

Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13030, 57-77 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

具有不确定速率的CTMC的基于抽样的验证。 (英语) Zbl 1514.68117号

Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。13372, 26-47 (2022).
PDF格式BibTeX公司 XML格式引用

约束规划中的实际均匀解采样。 (英语) Zbl 1502.68278号

Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292, 335-344 (2022).
MSC公司:68T20型 第68季度87
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过概率分解检查HyperPCTL模型。 (英语) 兹比尔1502.68189

ter Beek,Maurice H.(编辑)等,《综合形式方法》。2022年6月7日至10日,第17届国际会议,IFM 2022,瑞士卢加诺。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13274, 209-226 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

BPMN流程在运行时的概率模型检查。 (英语) Zbl 1502.68182号

ter Beek,Maurice H.(编辑)等,《综合形式方法》。2022年6月7日至10日,第17届国际会议,IFM 2022,瑞士卢加诺。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13274, 191-208 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

失控:通过控制状态消除减少概率模型。 (英语) Zbl 1498.68176号

Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 450-472 (2022).
PDF格式BibTeX公司 XML格式引用

部分可观测性下随机控制器的渐变。 (英语) Zbl 1498.68159号

Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 127-150 (2022).
PDF格式BibTeX公司 XML格式引用

组合集和几何集系统中的采样。 (英语) Zbl 1489.68003号

数学调查和专著265.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-6156-0/pbk;978-1-4740-6873-6/电子书)。十五、251页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件