卢茨·克林肯伯格;凯文·巴茨;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;约书亚·莫尔曼;托拜厄斯·温克勒 概率程序的生成函数。 (英语) Zbl 07496650号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561231-248(2021年)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Klinkenberg}等人,Lect。注释计算。科学。12561、231--248(2021;Zbl 07496650) 全文: 内政部 arXiv公司
巴特·雅各布斯 通过渠道学习:期望最大化的期望部分。 (英语) Zbl 07515958号 Barbara König(编辑),第35届编程语义数学基础会议论文集,MFPS XXXV,英国伦敦,2019年6月4-7日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。347, 143-160 (2019).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},电子。注释Theor。计算。科学。347,143-160(2019;Zbl 07515958) 全文: 内政部