×

找到12个文档(结果1-12)

木棒断裂,在余代数和概率中。 (英语) Zbl 07628072号

Hansen,Helle Hvid(编辑)等,《计算机科学中的协同代数方法》。2022年4月2日至3日,第16届IFIP WG 1.3国际研讨会,CMCS 2022,与ETAPS 2022共同举办,德国慕尼黑。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13225, 176-193 (2022).
MSC公司:68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

神经网络通过正向状态变换和反向损失变换。 (英语) Zbl 07515959号

Barbara König(编辑),第35届编程语义数学基础会议论文集,MFPS XXXV,英国伦敦,2019年6月4-7日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。347, 161-177 (2019).
MSC公司:68纳米30 68问题55
PDF格式BibTeX公司 XML格式引用

通过渠道学习:期望最大化的期望部分。 (英语) Zbl 07515958号

Barbara König(编辑),第35届编程语义数学基础会议论文集,MFPS XXXV,英国伦敦,2019年6月4-7日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。347143-160(2019年)。
MSC公司:68纳米30 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量子贝叶斯理论中的上下条件。 (英语) Zbl 1486.60004号

Peter Selinger等人,《第十五届量子物理与逻辑国际会议论文集》,QPL'18,加拿大哈利法克斯,2018年6月3-7日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)287225-238(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

概率分布和量子分布之间距离的注释。 (英语) Zbl 1525.60007号

Silva,Alexandra(编辑),第33届编程语义数学基础会议论文集(MFPS XXXII),斯洛文尼亚卢布尔雅那,2017年6月12-15日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。336, 173-187 (2018).
MSC公司:60A10英寸 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率和贝叶斯推理的一种类型理论。 (英语) Zbl 1433.68264号

Uustalu,Tarmo(编辑),第21届国际校样和程序类型会议,2015年5月18日至21日,爱沙尼亚塔林。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69,第1条,第34页(2018年)。
PDF格式BibTeX公司 XML格式引用

贝叶斯推理中影响的形式语义。 (英语) Zbl 1441.68253号

Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第21条,第14页(2017年)。
MSC公司:68层37
PDF格式BibTeX公司 XML格式引用
全文: 内政部

仿射单子和副作用-绿色。 (英语) Zbl 1475.18031号

Hasuo,Ichiro(编辑),计算机科学中的协代数方法。2016年4月2日至3日,第13届IFIP工作组1.3国际研讨会,CMCS 2016,与ETAPS 2016合办,荷兰埃因霍温。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9608, 53-72 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

出版年份