Peer grading; Peer prediction; Mechanism design;
机译:交互式系统差异隐私的形式验证(扩展摘要)
机译:可逆计算系统和元胞自动机的普遍性问题(扩展摘要)
机译:H系统的解空间和Ore-Sato定理(扩展摘要)
机译:报告敏感点检查在对等分级系统中:扩展摘要
机译:扩展抽象数据模型。
机译:摘要59:可注射延长释放局部麻醉药输送系统用于治疗术后疼痛
机译:代数多项式系统的抽象解释(扩展摘要)
机译:(摘要)最终伽利略推进系统飞行中表征(扩展摘要)