Why Computer Scientists Consult Oracles
Ben Brubaker，Quanta Magazine 向一个魔法 8 球提出一个问题，它会回答是、否或一些令人讨厌的犹豫不决的问题。我们认为这是孩子的玩具，但理论计算机...
Research: The Most Difficult Thing I’ve Attempted
Max Rubin-Toles，COL ’25，亚利桑那州图森 去年秋天，我写了我的第一个证明。今年秋天，我申请了理论计算机科学博士课程，希望成为一名机器学习研究员。宾夕法尼亚大学就业服务中心的资助让我……
超過確率何分の1の豪雨が基準?－治水事業の整備基準を確率の面から見てみよう
是因为全球变暖的影响吗？近年来，各地出现线性降水带形成的大量降雨和暴雨短时集中降水。这些降水可能会导致陡坡上发生山体滑坡，并因河流泛滥而引发洪水。 由于日本是一个山多平原少的岛国，因此与大陆国家相比，有很多坡度陡峭的河流。大雨时，水位突然上涨，更容易发生洪水。因此，自古以来全国各地都开展河流防洪工作。特别是位于木曾川（长良川、木曾川、揖斐川）集中的浓尾平原环地区的爱知县、岐阜县、三重县，重点抓好防洪工作。 在涉及水的分配和循环的水文学和涉及水流和防洪的水力学中，在确定堤坝等设施的维护水平时使用“超出概率”的概念。这是维护的目标标准，决定了设施能够承受大雨的可能性。超标概率使用基于过去降雨记录的
第六届负责任计算基础研讨会 (FORC) 将于 2025 年 6 月 4 日至 6 日在美国加利福尼亚州斯坦福大学举行。征文通知已发布。今年有几项变化（见下文），其中最紧迫的是将有两个提交周期，第一个提交周期大约在一个月后。请提交您的优秀论文，以期在 FORC 中再次取得成功。对于熟悉 FORC 以往版本的人士，简要总结一下：与之前的征文通知相比，我们正在实施两项主要变化。首先，我们将在 11 月至 12 月引入额外的提交周期，并提前通知作者，并将有关已接受论文的信息发布到会议网站上。第二，我们将用“亮点”取代会议的“非档案轨道”，以引起社区对更多激动人心的发展的关注。亮点轨道中的工作将通过轻
Ending a 90-Year-Old Challenge: Superfast Algorithm Rewrites Network Flow Rules
研究人员创造了一种革命性的网络流算法，可以实现动态网络的超快速计算，从而彻底改变了理论计算机科学中问题的处理和解决方式。这一突破让人想起了幸运卢克——那个比影子还快的人——拉斯穆斯·金和他的团队开发了一种超快算法 [...]
比较不同方法对同人蝎 Tityus stigmurus (Thorell, 1876) 发育阶段的估计。摘要确定发育阶段是监测具有医学重要性的节肢动物种群的重要工具，包括一些蝎子物种。因此，蝎子发育阶段的预测工具可能为公共卫生提供有用的信息。因此，本研究比较了不同方法来估计在圣保罗收集的外来和具有医学重要性的蝎子物种 Tityus stigmurus 的发育阶段。我们测试了以下形态测量方法的适用性：分组（K 均值和 Ward 法）、理论和分布频率，用于野外捕获的 T. stigmurus 个体的龄期估计。这些方法在 5 龄期之前显示出相似的结果。我们的结果证实了文献中关于层次聚类方法在确定样本
第五届负责任计算基础研讨会 (FORC) 将于 2024 年 6 月 12 日至 14 日在马萨诸塞州剑桥的哈佛大学举行。征文通知已经发出。请提交您的优秀论文，以便 FORC 再次取得成功。FORC 是计算和社会领域数学研究的论坛。该研讨会旨在催化一个社区的形成，支持将理论计算机科学、统计学、经济学和其他相关分析领域应用于紧迫和预期的社会关注问题。主题包括但不限于：机器学习公平性的理论方法，包括定义、算法、下限和权衡的研究；隐私的正式方法，包括差异隐私；计算和数学的社会选择，包括分配和重新划分选区；分配和公平划分的公平性；经济激励，包括社会公益机制设计；稳健性的指标和含义，包括可解释性的形式化
2024 Motwani Postdoc Announced
斯坦福大学理论小组邀请申请 Motwani 理论计算机科学博士后奖学金。以下是信息和申请说明。在职位填满之前将接受申请，但申请人的审核将在 12 月 15 日之后开始。网站：https://academicjobsonline.org/ajo/jobs/26450电子邮件：theory.stanford@gmail.com
2023 Motwani Postdoc Announced
斯坦福大学理论组邀请 Motwani 理论计算机科学博士后奖学金申请。信息和申请说明如下。职位招满之前将一直接受申请，但申请人的审核将在 12 月 15 日之后开始。网站：https://academicjobsonline.org/ajo/jobs/23929电子邮件：theory.stanford@gmail.com
#111 – Richard Karp: Algorithms and Computational Complexity
理查德·卡普是伯克利大学的教授，也是理论计算机科学史上最重要的人物之一。1985 年，他因在算法理论方面的研究而获得图灵奖，包括开发用于解决网络最大流问题的 Edmonds-Karp 算法、用于在二分图中查找最大基数匹配的 Hopcroft-Karp 算法，以及他在复杂性理论方面的里程碑式论文《组合问题的可约性》，他在论文中证明了 21 个问题是 NP 完全的。这篇论文可能是 NP 完全性和 P vs NP 问题研究兴趣激增的最重要催化剂。通过支持我们的赞助商来支持此播客：- Eight Sleep：https://eightsleep.com/lex- Cash App – 使用代码“Lex
