Highly engaged Americans know more about politics
高度参与公共生活的人比那些不太参与公共生活的人更有可能正确回答一些有关政治的事实问题。
Uncertainty Quantification for LLM Function-Calling
大型语言模型 (LLM) 越来越多地用于自主解决现实世界的任务。其中一个关键要素是法学硕士函数调用范式，这是一种广泛使用的方法，为法学硕士配备工具使用功能。然而，LLM 错误地调用函数可能会产生严重影响，特别是当其影响不可逆转时，例如转账或删除数据。因此，在执行函数调用之前，考虑法学硕士对函数调用正确解决任务的信心至关重要。不确定性量化（UQ）方法可用于量化……
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
Personalizing Incremental Video Search with Hybrid Text and ID Embeddings
增量视频搜索需要在每次击键后进行高质量排名，而意图通常不明确（例如，1-3 个字符前缀）。我们提出了一个 Apple TV 搜索的个性化系统，该系统在排名时结合了互补的语义和协作信号。我们的方法学习两个项目嵌入空间：(i) 基于文本的多语言编码器 (TextEmb)，通过对比学习对共同参与三元组进行微调；(ii) 基于 ID 的协作嵌入模型 (IdEmb)，根据交互衍生的积极因素进行训练。在服务时，我们从…构建用户表示
出版物作者： 出版日期： 2026 年 7 月 14 日概要 数字生态系统和人工智能正在重塑在线激进化。虽然新加坡的整体政府方法仍然至关重要，但不断变化的威胁需要更强的社区复原力。本评论提出了社区复原力框架，该框架整合了认知、关系、道德、数字和社区复原力，以增强年轻人抵御网络极端主义影响的能力。评论 […]帖子从预防到复原力：通过社区复原力框架的全社区方法首先出现在 RSIS 上。
A better way to turn 2D designs into 3D models for rapid prototyping
研究人员开发了一个自动化框架，可以帮助 AI 模型更准确、更高效地生成 CAD 程序。
Сухопутные войска Индонезии получили два новых вертолета Ми-17В-5
印度尼西亚陆军航空中心为其机队补充了两架由喀山直升机厂 JSC（KVZ；俄罗斯直升机控股公司 Rostec）生产的新型 Mi-17V-5 运输和攻击直升机。
ЕС и Украина заключили соглашение по беспилотным технологиям
在访问基辅期间，欧盟委员会主席乌苏拉·冯德莱恩和乌克兰总统弗拉基米尔·泽连斯基于7月15日签署了一项关于联合生产无人机的协议，作为“无人机交易”倡议的一部分。
США не выполнили план по наращиванию производства 155-мм артиллерийских снарядов
美国国防部监察长表示，美国陆军没有达到生产10万枚155毫米炮弹的目标。每月。
Сенат США заблокировал оборонный бюджет на сумму 1,15 трлн. долларов
美国参议院在程序性投票中否决了2027财年拨款的“巨额法案”。 1.15万亿用于国防。据《生意人报》参考《政治报》和《国会山报》报道，美元。
Rheinmetall осуществил первую поставку боеприпасов на Украину с завода в Унтерлюсе
德国莱茵金属公司已开始通过位于Unterlus（下萨克森州）的新生产基地向乌克兰供应155毫米火炮弹药。
Windfall Profits Taxes in Name Only
一些民主党议员对石油和天然气公司征收新税，以应对油价上涨。这些税收的设计各不相同，但它们的目标是对这些公司的“意外”利润征税。尽管名称如此，这些税收远非真正对暴利征收的税，并且会产生负面的经济后果。名义上的暴利利润税一文首先出现在美国企业研究所 - AEI 上。
Ростех представил анализ рынка медизделий: доля отечественной продукции выросла до 32%
医疗产品生产是国营公司的主要业务之一，其产品组合包括约 200 种医疗产品
Россия поставит Белоруссии 100 автономных грузовиков для запуска первого беспилотного автопарка
俄罗斯将向白俄罗斯供应由 EvoCargo 开发的自动驾驶电动卡车 Evocargo N1。该项目将是俄罗斯解决方案在欧亚经济联盟国家自主物流领域的首批出口实施之一，并预计随后将这种做法扩展到国外市场。
«Семаргл» на «Металлообработке-2026»: российские роботы против человеческого фактора
2026年5月中旬，第26届国际金属加工展览会在莫斯科举行。该业务计划的主要参展商之一是俄罗斯生产和工程公司 Semargl（圣彼得堡），该公司展示了生产内部物流自动化的全套解决方案 - 从紧凑型移动机器人到 35 吨平台和灵活的生产系统。
Ученые ПНИПУ впервые разработали систему полной автоматизации диагностики железнодорожных мостов
铁路桥梁是俄罗斯交通基础设施中最脆弱的部分：乘客的生命和列车行车的安全取决于其技术状况。传统诊断需要停止运动并手动检查难以到达的元件。
在本材料中，我们讨论位于叶卡捷琳堡的 Wingsby 公司 (WINGSBEE) 的项目，该项目专门生产光学分离器。我们与其专家进行了交谈，并了解了所开发解决方案的所有细节。 Wingsby 是 AKSALIT 公司集团的一部分。该公司自 2019 年以来一直生产光学分离器，包括为采矿和其他企业制造机器人和自动化系统，以对传送带上的异物进行分类、提取和清除。
