Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
The American Experiment, Exhibit 2
林登·约翰逊总统图书馆和德克萨斯大学布里斯科美国历史中心举办的第二次定义国家文献的展览突出了道路上的岔路口。美国实验的帖子，展览 2 首先出现在 UT 奥斯汀新闻 - 德克萨斯大学奥斯汀分校。
When silence is safer: a review and decision-theoretic framework for LLM abstention in healthcare
大型语言模型 (LLM) 旨在生成用户提示的答案，这通常会促使他们做出响应，即使不确定性很高、信息不完整或拒绝更合适。在医疗保健领域，这种倾向可能是危险的：自信地陈述但不准确的医疗建议可能会造成重大伤害，因此戒烟的能力尤其重要。在本文中，我们回顾了调查医疗保健领域法学硕士放弃行为的研究。文献强调了两个主要动机：（1）不确定性驱动的弃权，即模型在置信度较低时拒绝做出响应；（2）安全驱动的弃权，即模型拒绝提供潜在有害的信息。大多数现有机制都是外在的，依赖辅助工具来确定何时弃权。我们发现最先进的法学硕士仍然难以拒绝不适当的提示，而且很少有基准评估现实医疗场景中的弃权，其表现落后于其他领域。基于这些发
Harcledo toyoshiaoae Kodama, Watabe, Nakaguchi & Wakabayashi, 2026「オオメダマヨコエビ」 DOI: doi.org/10.1080/14772000.2026.2659885摘要深海视觉环境在光线中呈现出极端的梯度强度，导致眼睛形态的差异。在片脚亚目的中，这种特化在远洋的 Hyperiideans 中已有记载，而深海的 Eusiridae 仍然鲜为人知。在日本的一次深海调查中，我们收集了一种眼睛明显放大的eusirid片脚类动物。使用形态学和四个 DNA 条形码区域的综合分类法表明，它代表了单型 Harcledo Barnard
家庭研究所提出了一项我以前从未见过的促产建议。我见过的大多数有关婴儿奖金的文献都表明，提供的金额必须很大才能产生实质性效果。这个版本可以利用一点损失厌恶情绪：特朗普总统推出了一个小额储蓄账户，其中存入 1,000 美元，为新兴成年人在他的“特朗普账户”中提供支持，这是在《美丽大法案》中通过的。传统基金会提议进行一项更大的投资，打算在结婚后到期。这些想法是好的开始。但这方面最完整的提案是芬兰最近提出的一项名为 Vauvasampo 的提案。针对美国的情况，这项提议很简单：每个在 2026 年或未来任何一年出生的美国公民孩子都会有一定数额的资金，也许是 15,000 美元，以他们的名义投资，我们称
‘Guns Versus Butter’: Tracing the Nazi Origins of a Classic Economic Model
Danile Smith 在《每日经济》中追溯了枪炮与黄油模型的黑暗/纳粹历史：维基百科关于枪炮与黄油模型的条目声称这个类比的起源可以追溯到第一次世界大战期间的美国。然而，这似乎站不住脚。引用的参考文献无法支持它，并且广泛搜索了 [...]
关于鲜为人知的蜘蛛物种 Centromerus obscurus Boesenberg, 1902 的身份和新物种的描述（Araneae: Linyphiidae）摘要根据保加利亚新收集的材料，讨论了鲜为人知的蜘蛛物种 Centromerus obscurus Boesenberg,1902 的分类地位和分布。此外，通过查阅相关文献和新收集的材料，研究人员发现了中心粒属的一个新种，C. thaleri sp。 n.，是根据两种性别进行描述的，Centromerus obscurus 被认为是 nomen dubium stat。重新会议。 Deltshev, C. 和 Indzhov, S.
Thaumasia Perty, 1833 苗圃网蜘蛛（Araneae: Pisauridae）在新热带地区捕食 Polistes canadensis (Linnaeus, 1758)（膜翅目：胡蜂科）的首次记录摘要Thaumasia Perty, 1833 是栖息在新热带地区的机会主义蜘蛛。这项研究报告了巴西半干旱地区的一种 Thaumasia 属蜘蛛正在捕食 Polistes canadensis (Linnaeus, 1758)。据观察，一只Thaumasia 属蜘蛛从喷泉水面快速移动，捕捉加拿大 P. canadensis 个体。成功捕获黄蜂后，Thaumasia sp。观察到它部分
Experiment — en metod med förhinder
尼尔斯·古斯塔夫森 (Nils Gustafsson) 和尼尔斯·霍姆伯格 (Nils Holmberg) 的著作《实验》（学生文献，2023 年）体现了社会科学的新趋势，人们对实验越来越感兴趣，尤其是对如何设计这些实验（如果可能的话）来提供有关因果关系和政策效应问题的答案。研究例如歧视引发[...]
Aerospace Projects Review June 2026 Rewards
六月奖励已于 7 月 1 日发出。如果您是订户或赞助人，您*应该*收到一封包含链接/密码的电子邮件。纯属偶然，这次所有的文献都来自期刊。据我记忆，过去 12 年里从未发生过这种情况。本月的奖励包括：图表：[...]
缬草 A. Cádiz-Véliz、A.E. Villarroel 和 Nic。 García, Cádiz-Véliz, García, Villarroel et Zúñiga-Acevedo, 2026. DOI: doi.org/10.11646/phytotaxa.741.1.6 Researchgate.net/publication/400718107AbstractValeriana 包含约 436 个物种，代表了成功的进化辐射续断目，是南美洲重要的多样化中心。在智利，目前已识别出 46 个物种，其中 41.3% 为特有物种；有两种被报告为濒临灭绝，一种可能已经灭绝。该属主要以
Scientists Unlock Hidden DNA From 1,300-Year-Old Manuscripts
历史羊皮纸可能含有遗传线索，可以在不损害手稿的情况下进行研究。科学家们已经证明，可以从历史羊皮纸手稿中收集细胞材料而不损坏它们。该方法可以对 1,300 年前的文献进行基因分析，有可能揭示有关贸易路线、农业实践和 [...]
Proficiency or Penalty? Grade Retention Policy and Its Implications for English Learners in Utah
熟练度还是惩罚？犹他州的成绩保留政策及其对英语学习者的影响 0vpthomas2026 年 6 月 30 日公共教育的一个共同目标是确保所有学生都能掌握学术知识。事实上，美国大多数州已经通过共同核心商定了一套统一的掌握标准。为此，对于立法者来说，让学生重读三年级，如果他们无法达到阅读能力，可以再“参加一次”，这可能是有意义的。这种变革理论——行动问责——促使许多州通过保留条款加强其扫盲立法。包括哥伦比亚特区在内的十八个州要求不熟练的三年级学生保留成绩，并有不同的正当理由豁免。俄克拉荷马州和犹他州都在 2026 年扫盲立法中增加了保留要求。我们的研究旨在确定立法者使用的变革理论是否与现有的关于成
Classic Aero-TV: Czech Manufacturer Banks on Accelerated STOL
自 2022 年起（YouTube 版）：Zlin 的 Noble Savage Norden SportairUSA（总部位于阿肯色州的 FAA 认证维修站和飞机及零部件分销商）宣布，Zlin 的新型 Savage Norden STOL 飞机的美国版已获得 FAA 特殊轻型运动飞机类别的认证。 Zlin 以前的名字或许更广为人知的是 Moravan Otrokovice，它是一家捷克飞机制造商，生产轻型农用飞机、特技飞行飞机和野外飞机。该公司的 Savage Norden 是一款基本干净的、高翼、短距起降、铝制单翼飞机，专为野外使用而设计。该机的 Norden 绰号是对世界北部（北欧）气候
摩洛哥蜘蛛的第一份目录（Arachnida：Araneae）：对摩洛哥引用的所有蜘蛛物种及其所在地进行严格审查摘要在最近出版了 1840 年至 2024 年期间记录的摩洛哥第一份蜘蛛清单（Benhalima & Bosmans 2024）之后，作者对所有提到的物种进行了编目，并补充了截至 2026 年 1 月发布的其他物种的清单。作者介绍了第一个摩洛哥蜘蛛清单摩洛哥蜘蛛物种名录，记录了 47 个科 246 属 638 种蜘蛛，其中包括 180 种特有蜘蛛。根据《世界蜘蛛目录》（2026）和目前的工作，目录中未包括 63 种蜘蛛，其中未遗漏 7 种来源可疑的蜘蛛。对于每个物种，都提供了文献中引用
