巴特·雅各布斯 木棒断裂,在余代数和概率中。 (英语) 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格式引用 \textit{B.Jacobs},莱克特。注释计算。科学。13225、176--193(2022;Zbl 07628072) 全文: 内政部
赫尔曼·格乌弗斯;巴特·雅各布斯 相关隔离和相互模拟。 (英语) Zbl 1525.68083号 日志。方法计算。科学。 17,第3号,第15号论文,35页(2021年)。MSC公司:68问题85 03B70号 18个B05 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Geuvers}和\textit{B.Jacobs},Log。方法计算。科学。17,第3号,第15号论文,35页(2021;Zbl 1525.68083) 全文: arXiv公司 链接
巴特·雅各布斯;亚伯拉罕·韦斯特班 状态之间和谓词之间的距离。 (英语) Zbl 1528.60014号 日志。方法计算。科学。 16,第1号,第26号论文,第27页(2020年)。MSC公司:60磅99 第81页第16页 18B99型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}和\textit{A.Westeban},Log。方法计算。科学。16,第1号,第26号论文,第27页(2020年;Zbl 1528.60014) 全文: arXiv公司 链接
B.雅各布斯。 基于信道的共轭先验透视图。 (英语) Zbl 1442.62054号 数学。结构。计算。科学。 30,第1号,44-61(2020年)。MSC公司:2015年1月62日 62N01号 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},数学。结构。计算。科学。30,第1号,44--61(2020;Zbl 1442.62054) 全文: 内政部 arXiv公司
巴特·雅各布斯;戴维·斯普伦格 神经网络通过正向状态变换和反向损失变换。 (英语) 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格式引用 \textit{B.Jacobs}和\textit{D.Sprunger},电子。注释Theor。计算。科学。347,161--177(2019;Zbl 07515959) 全文: 内政部 arXiv公司
巴特·雅各布斯 通过渠道学习:期望最大化的期望部分。 (英语) Zbl 07515958号 Barbara König(编辑),第35届编程语义数学基础会议论文集,MFPS XXXV,英国伦敦,2019年6月4-7日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。347143-160(2019年)。MSC公司:68纳米30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},电子。注释Theor。计算。科学。347143-160(2019年;兹bl 07515958) 全文: 内政部
巴特·雅各布斯 量子贝叶斯理论中的上下条件。 (英语) Zbl 1486.60004号 Peter Selinger等人,《第十五届量子物理与逻辑国际会议论文集》,QPL'18,加拿大哈利法克斯,2018年6月3-7日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)287225-238(2019年)。MSC公司:60A05型 第81页第16页 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},电子。程序。西奥。计算。科学。(EPTCS)287,225--238(2019;Zbl 1486.60004) 全文: arXiv公司 链接
肯塔·乔;巴特·雅各布斯 通过字符串图进行分解和贝叶斯反演。 (英语) 兹比尔1452.18008 数学。结构。计算。科学。 29,第7期,938-971(2019)。 审核人:Ernst-Erich Doberkat(多特蒙德) MSC公司:18立方厘米 28A50型 62C10个 PDF格式BibTeX公司 XML格式引用 \textit{K.Cho}和\textit{B.Jacobs},数学。结构。计算。科学。29,第7号,938--971(2019;Zbl 1452.18008) 全文: 内政部 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格式引用 \textit{B.Jacobs},电子。注释Theor。计算。科学。336173--187(2018年;Zbl 1525.60007) 全文: 内政部
罗宾·亚当斯;巴特·雅各布斯 概率和贝叶斯推理的一种类型理论。 (英语) Zbl 1433.68264号 Uustalu,Tarmo(编辑),第21届国际校样和程序类型会议,2015年5月18日至21日,爱沙尼亚塔林。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69,第1条,第34页(2018年)。MSC公司:87年第68季度 03B70号 2015年1月62日 68纳米30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Adams}和\textit{B.Jacobs},LIPIcs——莱布尼茨国际程序。通知。69,第1条,第34页(2018;Zbl 1433.68264) 全文: 内政部 arXiv公司
巴特·雅各布斯;法比奥·扎纳西 贝叶斯推理中影响的形式语义。 (英语) 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格式引用 \textit{B.Jacobs}和\textit{F.Zanasi},LIPIcs——莱布尼茨国际程序。通知。83,第21条,第14页(2017年;Zbl 1441.68253) 全文: 内政部
巴特·雅各布斯 仿射单子和副作用-绿色。 (英语) Zbl 1475.18031号 Hasuo,Ichiro(编辑),计算机科学中的协代数方法。2016年4月2日至3日,第13届IFIP工作组1.3国际研讨会,CMCS 2016,与ETAPS 2016合办,荷兰埃因霍温。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9608, 53-72 (2016).MSC公司:18N15号 18立方厘米 03G12号机组 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},莱克特。注释计算。科学。9608,53-72(2016年;兹bl 1475.18031) 全文: 内政部 哈尔