XiaoMi-AI文件搜索系统
World File Search SystemPODC
分布式模型检查有限的TreeDepth
我们确定在界图中，在界面模型中，每个单声道二阶逻辑（MSO）公式都可以在恒定数量的圆圈中确定。据我们所知，这标志着有关分布式模型检查的第一个元理论。在MSO中表达了图形上各种优化问题。示例包括确定图表是否具有大小的集团，它是否允许颜色的颜色，是否包含图形𝐻作为子图或次要，或者是否可以通过vertex-disewoint路径连接𝐺中的终端顶点。我们的元理论可显着增强Bousquet等人的工作。[PODC 2022]，该[PODC 2022]专注于具有有界TreeDeptth的图形上的MSO的分布式认证。此外，我们的结果可以扩展到求解在MSO中表达的优化和计数问题，并在界面的TreeDeppth图中。
Shai Vardi
信息系统与技术委员会会议（CIST）2022，2023，2024; ACM经济与计算会议（EC）2017，2018，2020，2021;讨论者决策科学研究所（DSI）会议，2020年；信息系统经济学理论（TEIS），2024年。审查员（J）管理科学，信息系统研究（ISR），运营研究数学，运营研究，经济理论杂志，信息通知杂志有关计算，网络科学和工程交易（TNSE），算法，算法，计算机和系统科学杂志，杂志理论计算机科学（ITCS）。评论者（c）ICIS，CIST，WINE，Stoc，Focs，Soda，ICADA，ICAD，ITC，SPAA，ESA，DISC，DISC，PODC，StACS，SAGT。
管制专业人士之间的倦怠
如Barros Neto（2002）所解释的那样，管理过程包括指导管理员工作的四个基本功能：计划，组织，指导和控制，形成首字母缩写PODC。在计划中，管理员定义了目标并制定了行动计划以实现这些目标，并考虑了资源和截止日期。组织涉及构建人类和物质资源，有效地分配任务和责任。导演包括领导和激励团队，有效沟通，并做出决定指导既定目标的行动。最后，控制涉及监视和评估绩效，将结果与计划进行比较以及实施必要的调整以纠正偏差。这种连续的周期可确保组织活动有效地协调，以适应变化并不断提高绩效。
cv.pdf div>
Conference reviewing AAAI Conference on Artificial Intelligence 2021 Conference on Artificial Intelligence, Ethics, and Society (AIES) 2019 Conference on Economics and Computation (EC) 2020 Conference on Learning Theory (COLT) 2018 Conference on Neural Information Processing Systems (NeurIPS) 2017, 2018, 2019, 2020, 2021 European Symposium on Algorithms (ESA) 2020 Innovations in Theoretical Computer Science (ITCS) 2021，2022国际自动机，语言和节目（ICALP）2022国际人工智能与统计会议（AISTATS）2019年国际学习代表国际会议（ICLR）2022，2022，2024国际机器学习国际机器学习会议（ICML）2017，2019，2019，2019年，2019年，2018年国际智能国际会议（2020年），2018年国际会议（IMAI）2018年国际会议（I），2018年（I）离散算法研讨会（SODA）2018，2020，2021，2023关于计算机科学基础（FOCS）2019年分布式计算原理（PODC）2016 2016年计算理论的研讨会（STOC）2017，2021，2021，2021，2024 on Web and Internet经济学（葡萄酒）的
实用的大规模证明异步总计...
我们提出了简单且实用的协议，以产生与异步总订单广播所使用的随机性。协议在带有动态变化的股份的验证验证设置中安全。可以将它们插入异步的总订单广播中的现有协议中，并将其变成带有动态利益的异步总订单广播。我们的贡献依赖于两种重要技术。“君士坦丁堡中的随机甲壳：使用密码学的实用异步拜占庭一致” [Cachin，Kursawe和Shoup，PODC 2000]，通过使用阈值密码来影响实用的总订单广播的设计。但是，它需要一个设置协议才能有效。在带有动态利益的验证验证设置中，必须不断地重新计算此设置，从而使协议不切实际。“异步拜占庭式拜占庭与次级交流的一致性” [Blum，Katz，Liu-Zhang和Loss，TCC 2020]，展示了如何使用初始设置进行广播以渐近地生成子序列设置。该协议诉诸于完全同态加密，因此并非实际效率。我们采用动态危险将其方法采用的验证验证设置，将其应用于君士坦丁堡纸，并消除完全同构加密的需求。这将产生简单且实用的证明协议。
乔治·瓦格斯
2020 当选为美国国家发明家科学院 (NAI) 院士 2017 当选为美国国家工程院 (NAE) 院士 2015 印度理工学院孟买分校杰出校友奖 2015 年 P4 论文荣获 SIGCOMM CCR 最佳论文奖 2014 年 SIGCOMM 终身奖，表彰其“对网络算法的持续和多样化贡献，对研究和工业界都产生了深远影响” 2014 年 Koji Kobayashi 计算机与通信奖，表彰其“对网络算法领域及其在高速分组网络中的应用所做出的贡献” 2014 年 SIGCOMM 最佳论文奖，表彰其“分布式拥塞感知负载平衡” 2014 年 IETF 应用网络研究奖，表彰其“报头空间分析” 最佳论文奖，ANCS 2013，表彰其“数据包解析器的设计原理” 2010-2011 斯坦福大学计算机科学系杰出访问学者 2008 OSDI 最佳论文奖，OSDI 2008 论文“Harnessing Memory Redundancy” 2002，当选为 ACM 会士 2001 计算机科学最佳教师奖，加州大学圣地亚哥分校，2001，由毕业本科生投票选出 1998 最佳导师奖，SIGMETRICS 1997 Big Fish，年度导师奖，华盛顿大学研究生工程学生协会 (AGES) 1997。 1996 ONR 青年研究员奖 1996（在 416 名科学领域的申请者中，有 34 人获奖，1996 年选出 2 名计算机科学家） 1996 PODC 最佳学生论文，与学生 Mahesh Jayaram 合作撰写的论文。 1993 1989-1991 DEC 研究生教育项目 (GEEP) 学者