XiaoMi-AI文件搜索系统
World File Search System选择函数
稳定性、策略证明性和累积报价...
摘要 我们描述了在多对一匹配的合同环境中，何时可以保证存在稳定且不受策略影响的机制。我们引入了三个新条件——可观察到的替代性、可观察到的规模单调性和不可通过合同条款操纵性——并表明当满足这些条件时，累积报价机制是唯一稳定且不受策略影响的机制（对于工人而言）。此外，我们表明我们的三个条件在某种意义上是必要的：如果某个公司的选择函数不符合我们的三个条件中的任何一个，我们可以为其他公司构建单位需求选择函数，这样就不存在稳定且不受策略影响的机制。因此，我们的结果为实践中累积报价机制的普遍性提供了理论依据。
部分单峰域上的策略证明规则
摘要 我们考虑仅在线性有序替代方案集的子集上表现出单峰性的域。我们将此类域称为部分单峰域，并对这些域上的一致和策略证明社会选择函数进行了表征。我们获得了以下有趣的辅助结果：（i）我们表征了广义顶连通域上的所有一致和策略证明社会选择函数，广义顶连通域是最大单峰域的重要子类，（ii）我们表明策略证明性和群体策略证明性在部分单峰域上是等价的，（iii）最后，我们识别并表征接近匿名的部分单峰域上的一致和策略证明的 SCF。作为这一结果的应用，我们获得了多峰域（Stiglitz (1974)、Epple 和 Romano (1996a)）、多个单峰域（Reffgen (2015)）和图上的单峰域（Demange (1982)、Schummer 和 Vohra (2002)）上的一致和策略证明的社会选择函数的特征。
第 14 届声音与音乐计算会议论文集...
Jeffrey M. Morris Ferin Martino 的巡演：将同一算法艺术装置改编到不同场地和平台的经验教训 Tejaswinee Kelkar、Alexander Refsum Jensenius 探索“声音追踪”中的旋律和运动特征 Ryan Kirkbride Troop：一种用于现场编码的协作工具 Yusuke Wada、Yoshiaki Bando、Eita Nakamura、Katsutoshi Itoyama、Kazuyoshi Yoshii 一种自适应卡拉 OK 系统，可与用户的歌声同步播放音乐音频信号的伴奏部分 Jose J. Valero-Mas、José M. Iñesta 对起始选择函数中阈值建立的描述性统计和自适应方法的实验评估 Raul Masu、Andrea Conci、Cristina Core、Antonella de Angeli、Fabio Morreale Robinflock：一种用于与儿童互动场景的复音算法作曲家Philippe Kocher 技术辅助的多时间音乐表演 Peter Lennox、Ian McKenzie 通过组织传导研究空间音乐感受质