机译:多Agent系统规范的应用及其在自动文摘系统中的关键技术研究。
机译:具有并发抽象数据类型的CSCW应用程序的正式规范
机译:一种疯狂的贝叶斯算法,用于状态空间推断和应用程序,用于查询芯片SEQ数据集的大集合
机译:一种用于状态空间推理和聚类的MAD-Bayes算法,用于查询ChIP-Seq数据集的大集合
机译:自动推断和有效应用时间规范。
机译:一种用于状态空间推理和聚类的MAD-Bayes算法用于查询ChIP-Seq数据集的大集合
机译:2018年学校偏好(儿童水平)数据收集。 ud商业和技术规范v 1.0。 2017年十月
机译:抽象数据类型的计算和规范理论及其应用。