×

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

集值映射的随机提升。 (英语) Zbl 1487.49015号

Lirkov,Ivan(编辑)等人,《大规模科学计算》。第13届国际会议,LSSC 2021,保加利亚索佐波尔,2021年6月7-11日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13127, 297-305 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于比例集总率的推理。 (英语) Zbl 1491.68030号

阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,巴黎,法国,2021年8月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12846, 372-390 (2021).
MSC公司:68平方米 60J20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

生命科学重写理论:CTMC语义学的统一理论。 (英语) Zbl 1502.68146号

Gadducci,Fabio(编辑)等人,《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12150185-202(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有效的余代数划分精化。 (英语) Zbl 1442.68112号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。85,第32条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用

计算标记马尔可夫链的概率双相似距离的算法。 (英语) Zbl 1442.68152号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。85,第27条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率微积分与p-自动机的等价性。 (英语) Zbl 1489.68122号

Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329, 64-75 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络(代数)统计中离散方法的综述。 (英语) Zbl 1360.05156号

Harrington,Heather A.(编辑)等人,《离散数学中的代数和几何方法》。2015年1月11日,美国德克萨斯州圣安东尼奥市,AMS应用离散数学中代数和几何方法特别会议。诉讼程序。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-2321-6/pbk;978-1-474-3743-5/电子书)。《当代数学》685,251-277(2017)。
PDF格式BibTeX公司 XML格式引用

转移率部分未知的马尔可夫跳跃线性不确定系统的滑模控制。 (英语) Zbl 1317.93070号

MSC公司:93B12号机组 60J75型 93E03型 93二氧化碳
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散时间马尔可夫模型的反例生成:介绍性调查。 (英语) Zbl 1445.68130号

Bernardo,Marco(编辑)等人,可执行软件模型的形式化方法。2014年6月16日至20日,意大利贝蒂诺罗,第14所计算机、通信和软件系统正式设计方法国际学校,SFM 2014。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8483, 65-121 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交互式马尔可夫链教程。 (英语) Zbl 1426.68187号

Remke,Anne(编辑)等人,《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日,意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8453, 26-66 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件