法属关键词检索结果

卡托预算专家表示,众议院和解计划将增加超过 1000 亿美元的赤字

House Reconciliation Plan Would Add More Than $100 Billion to Deficits, Cato Budget Expert Says

众议院预算委员会今天发布了 2027 财年预算决议,为第三项预算协调法案铺平了道路,该法案将通过授权增加国防和农业补贴支出,在不抵消支出削减的情况下产生超过 1000 亿美元的赤字。以下是卡托研究所预算和权利政策主任罗米娜·博恰 (Romina Boccia) 的一份声明:“国会正在浪费另一个机会,利用和解来完成它应该做的事情:通过减少联邦支出中的浪费、欺诈和滥用来减少赤字。立法者们没有通过改革臃肿的福利和医疗保健计划来让生活变得更加负担得起,而是利用这一强大的预算工具为农场游说团体提供另一轮特殊利益赠品并扩大国防机构,这一切都在和解应该是为了恢复财政纪律,而不是寻找新的方式来花借来的钱。”今

墨西哥人对总统克劳迪娅·谢因鲍姆 (Claudia Sheinbaum) 的评价较好,但不如 2025 年

Mexicans view President Claudia Sheinbaum favorably, but less so than in 2025

墨西哥总统克劳迪娅·谢因鲍姆仍然受欢迎,但她的好感度已下降至 64%。对经济和民主的看法也在下降。

美国人如何参与新闻、政治、宗教和公民生活

How Americans are engaged with news, politics, religion and civic life

简报 ☀️ 周四快乐!简报是您了解新闻和信息世界的指南。在这里注册!在今天的电子邮件中: 🔥 特色故事 德国监管机构本周表示,在法院上个月裁定谷歌对不准确的内容负责后,该国的媒体法适用于人工智能生成的内容 [...]

LLM 函数调用的不确定性量化

Uncertainty Quantification for LLM Function-Calling

大型语言模型 (LLM) 越来越多地用于自主解决现实世界的任务。其中一个关键要素是法学硕士函数调用范式,这是一种广泛使用的方法,为法学硕士配备工具使用功能。然而,LLM 错误地调用函数可能会产生严重影响,特别是当其影响不可逆转时,例如转账或删除数据。因此,在执行函数调用之前,考虑法学硕士对函数调用正确解决任务的信心至关重要。不确定性量化(UQ)方法可用于量化……

双次线性交互式邻近证明

Doubly Sub-linear Interactive Proofs of Proximity

我们研究双次线性交互式邻近证明(dsIPP):生成速度超快的证明,可用于证明有关巨大输入的近似断言。证明生成速度超快,因为它只需要读取输入的一小部分(亚线性)。证明的近似验证甚至更快(读取输入的更小部分)。与属性测试文献类似,近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入,但没有证明者可以欺骗验证者......

使用混合文本和 ID 嵌入个性化增量视频搜索

Personalizing Incremental Video Search with Hybrid Text and ID Embeddings

增量视频搜索需要在每次击键后进行高质量排名,而意图通常不明确(例如,1-3 个字符前缀)。我们提出了一个 Apple TV 搜索的个性化系统,该系统在排名时结合了互补的语义和协作信号。我们的方法学习两个项目嵌入空间:(i) 基于文本的多语言编码器 (TextEmb),通过对比学习对共同参与三元组进行微调;(ii) 基于 ID 的协作嵌入模型 (IdEmb),根据交互衍生的积极因素进行训练。在服务时,我们从…构建用户表示

美国参议院冻结了1.15万亿美元的国防预算。美元

Сенат США заблокировал оборонный бюджет на сумму 1,15 трлн. долларов

美国参议院在程序性投票中否决了2027财年拨款的“巨额法案”。 1.15万亿用于国防。据《生意人报》参考《政治报》和《国会山报》报道,美元。

波兰国防部:华沙尚无机会参加“反弹道联盟”

Минобороны Польши: Варшава пока не имеет возможности принять участие в «антибаллистической коалиции»

波兰目前还没有机会参加所谓的“反弹道联盟”。据俄新社报道,这是共和国国防部长弗拉迪斯拉夫·科辛尼亚克-卡米什的说法。

A. Voronin、A. Kormishin(ROBOPRO/DOKA ROBOTS Group):“我们现在正在生产数百台机器人,并设定了生产数千台机器人的目标”

А. Воронин, А. Кормишин (ГК РОБОПРО/ DОКА РОБОТС): «Сейчас мы выпускаем сотни роботов и ставим цель выйти на тысячи»

今年5月,ROBOPRO集团推出了协作机器人(cobots)新品牌DOKA ROBOTS。它的展示在金属加工行业最重要的国内盛会 Metalworking 2026 展会上进行。请阅读我们对 ROBOPRO 集团公司技术总监 Alexander Voronin 和营销部门负责人 Alexander Kormishin 的采访,详细了解其外观背后的内容以及将新品牌推向市场的战略目标是什么。

俄罗斯将向白俄罗斯提供100辆自动驾驶卡车,以启动第一支无人驾驶车队

Россия поставит Белоруссии 100 автономных грузовиков для запуска первого беспилотного автопарка

俄罗斯将向白俄罗斯供应由 EvoCargo 开发的自动驾驶电动卡车 Evocargo N1。该项目将是俄罗斯解决方案在欧亚经济联盟国家自主物流领域的首批出口实施之一,并预计随后将这种做法扩展到国外市场。

“Metalworking-2026”中的“Semargl”:俄罗斯机器人对抗人为因素

«Семаргл» на «Металлообработке-2026»: российские роботы против человеческого фактора

2026年5月中旬,第26届国际金属加工展览会在莫斯科举行。该业务计划的主要参展商之一是俄罗斯生产和工程公司 Semargl(圣彼得堡),该公司展示了生产内部物流自动化的全套解决方案 - 从紧凑型移动机器人到 35 吨平台和灵活的生产系统。

迎接麦克纳特 2026 年愿景的挑战:科学与社会如何加强研究生态系统

Meeting the Challenge of McNutt’s 2026 Vision: How Science & Society is Strengthening the Research Ecosystem

6 月 2 日,科学与社会团队出席了由美国国家科学院院长 Marcia McNutt 在华盛顿特区发表的第三届年度科学状况演讲。她谈到了美国科学研究生态系统的现状,随后举行了由立法者、研究人员、慈善家和行业领袖参加的小组讨论。她的建议为展望科学的发展方向和检查阿斯彭研究所科学与社会项目综合平台的工作提供了有用的视角。在接下来的章节中,我们将重点介绍我们的工作如何为推进 McNutt 发现的许多机会做出贡献。《迎接 McNutt 2026 年愿景的挑战:科学与社会如何加强研究生态系统》一文首先出现在阿斯彭研究所。

路易斯安那州采取改革,为释放的囚犯提供身份证明文件

Louisiana adopts reforms to provide released inmates with identification documents

众议院第 167 号法案规定了公共安全和惩教部在帮助囚犯出狱前获得必要文件方面的更明确作用。路易斯安那州采取改革为释放的囚犯提供身份证明文件的帖子首先出现在 Reason Foundation 上。

莫斯科更加积极地颠覆非俄罗斯组织

Moscow Ever More Actively Subverting Non-Russian Organizations

内容提要:莫斯科长期以来一直试图扰乱和摧毁反对其控制俄罗斯联邦非俄罗斯人民的运动。鉴于这些组织在国际上获得了新的影响力,他们越来越多地寻求颠覆和控制它们,不仅在国内,而且在国外。这种方法的根源在于[…]莫斯科更加积极地颠覆非俄罗斯组织的帖子首先出现在詹姆斯敦。

航空网络安全:FAA 和 TSA 正在网络安全方面开展合作,但需要解决关键缺陷

Aviation Cybersecurity: FAA and TSA Are Collaborating on Cybersecurity but Need to Address Key Shortfalls

GAO 发现美国联邦航空管理局 (FAA) 和运输安全管理局 (TSA) 共同努力确保国家空域系统 (NAS) 中运行的互连系统的网络安全。美国联邦航空局定义了负责实现该机构相关目标的实体的角色和职责。相比之下,TSA 却没有。 TSA 在其 2018 年网络安全路线图中定义了优先考虑机构内部和运输系统部门网络安全的目的和目标。然而,该路线图已经过时,不再与最新的国土安全部网络安全战略保持一致。该路线图也没有确定负责实施该路线图的办公室,也没有定义该机构在监督机场和飞机运营商安全计划方面与网络安全相关的角色和职责。在 TSA 更新其网络安全路线图以明确其航空网络安全角色和职责之前,该机构无法完

联邦房地产:进一步整合 DOT 办公空间可节省数亿美元

Federal Real Property: Further Consolidating DOT Office Space Could Save Hundreds of Millions of Dollars

GAO 的发现 根据《高效利用空间和改进技术 (USE IT) 法案》60% 利用率的基准,交通运输部 (DOT) 及其下属机构的办公空间利用率不足。具体而言,GAO 发现,根据 USE IT 基准,2025 年 8 月和 9 月,交通部 189 栋办公楼(包括交通部和联邦航空管理局 (FAA) 总部大楼)中 89% 的利用率不足。这与 DOT 2026 年 3 月的《信息技术使用法案》报告基本一致。DOT 未充分利用的办公空间每年的租赁、运营和维护成本高达数亿美元。2025 年 8 月,DOT 宣布打算整合华盛顿特区 FAA 办公空间,包括在 2027 年夏季之前完全腾出 FAA 总部大楼。

科技聚焦:人体和环境中的微塑料

Science & Tech Spotlight: Microplastics in the Body and Environment

为什么这很重要 在全球范围内,每年有超过 2400 万吨塑料(相当于 1200 万辆汽车的重量)进入环境。较大的塑料逐渐分解成较小的微塑料,这些微塑料可以进入人类和其他动物的器官、血液和细胞。要点微塑料的主要来源包括汽车轮胎、合成纤维、塑料瓶和油漆。接触微塑料与人类和其他生物体的健康问题有关,但科学家尚未确定微塑料导致此类问题的程度。联邦机构已宣布采取行动测量和去除人体内的微塑料,考虑对饮用水中的微塑料进行潜在监管,并减少合成纤维中微塑料的暴露。科学是什么?微塑料是小于 5,000 微米(即 5 毫米)的塑料颗粒。最小的微塑料称为“纳米塑料”,小于 1 微米(见图 1)。图 1. 微塑料的相对

社区项目资金/国会指导支出:预计 2022-2024 财年大部分资金将有义务

Community Project Funding/Congressionally Directed Spending: Most Fiscal Year 2022-2024 Funds Are Estimated to Be Obligated

GAO 的发现 GAO 估计,截至 2024 财年(GAO 开始审查时最近完成的财年)2022、2023 和 2024 财年(财年)指定用于社区项目资助/国会指导支出 (CPF/CDS) 项目的 390 亿美元拨款中,各机构记录了约 61% 的债务。 GAO 还估计,截至 2024 财年末,约 16% 的资金已支出。见下图。 GAO 估计,由于受助者拒绝提供资金或未提交所需文件等原因,约 1% 的 2022-2024 财年项目无法取得进展。截至 2024 年 9 月 30 日,2022-2024 财年社区项目资金/国会指导支出资金的预计承担和支出金额和百分比注:有关更多详细信息,包括估计的置信