衰老会破坏各个器官系统的组织稳态。在这里，我们确定组织驻留巨噬细胞（TRM）是通过衰老中性粒细胞的清除受损而导致与年龄相关的器官衰退的中央协调者，这一过程受...
How AI Is Redefining Security in Cloud Hosting Infrastructure
黑客每天都变得越来越聪明。数字也支持了这一说法。
House Bill Targets Foreign-Adversary Ownership Of GA Companies
《通用航空保护法》将扩大联邦对航空收购和某些机场相关交易的审查。
Vertical Aerospace Set for Historic eVTOL Debut at Farnborough International Airshow 2026
Vertical Aerospace 计划在范堡罗国际航展上进行首次公开 eVTOL 演示飞行，但须符合批准的飞行条件。在 2026 年范堡罗国际航展上历史性 eVTOL 首次亮相的垂直航空航天套装首先出现在 AviationSource News 上。
Croatia Airlines extends select seasonal routes into winter
克罗地亚航空计划在即将到来的冬季（即 10 月 25 日）期间升级其部分季节性航线。部分航班将延长至传统的夏季航班时刻表之外，其中一些航班将全年运营，而另一些航班将在冬季的大部分时间维持不变。该航空公司去年 7 月推出的萨格勒布 - 马德里航线是季节性航班，现在将在全年大部分时间运营。航班将每周继续运营 3 班，直至 2027 年 1 月 16 日，然后暂停两个月。航班计划于 3 月 15 日恢复。克罗地亚航空在冬季期间不会在该航线上面临直接竞争。克罗地亚首都和斯德哥尔摩之间的航班去年冬季延长至 1 月中旬，然后在整个 2 月和 3 月的大部分时间暂停，现在将在整个冬季运行。克罗地亚航空计划在
Uncertainty Quantification for LLM Function-Calling
大型语言模型 (LLM) 越来越多地用于自主解决现实世界的任务。其中一个关键要素是法学硕士函数调用范式，这是一种广泛使用的方法，为法学硕士配备工具使用功能。然而，LLM 错误地调用函数可能会产生严重影响，特别是当其影响不可逆转时，例如转账或删除数据。因此，在执行函数调用之前，考虑法学硕士对函数调用正确解决任务的信心至关重要。不确定性量化（UQ）方法可用于量化……
Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本，并且想了解该分布。鲍勃是一位不受信任的数据分析师，他声称已经对分布进行了复杂的数据分析，并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明（使用比自己运行分析所需的资源更少的资源）？我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
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)，根据交互衍生的积极因素进行训练。在服务时，我们从…构建用户表示
如果函数的属性可以用函数中每个值出现的频率来表征，而不管每个值出现的位置如何，则该属性称为位置不变（或对称）。众所周知，测试函数位置不变属性的（查询）复杂性与测试相应分布（的相应属性）的（样本）复杂性密切相关。当前工作的主要信息是，这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
ВМС США рассматривают возможность строительства кораблей в Республике Корея
美国海军已正式向韩国主要造船商发出两份信息请求（RFI），以评估其建造补给油轮和驱逐舰级军舰的能力。
Ботулинотерапия: хроническая мигрень под контролем
由医学博士、Nacimbio Holding 科学顾问 Igor Nikitin 讲述
Роботизированная рука со стразами (+ видео)
个人医疗器械和器械的生产越来越吸引制造商。我们听说过镀金助听器和霓虹灯手杖，现在他们又添加了闪闪发光的莱茵石、3D 打印、仿生控制的假肢。残疾人有时不再局限于标准医疗服务；他们独立地尝试寻找未来的医疗设备。
In Iran, Trump Has Found an Opponent He Cannot Easily Dominate
在对伊朗战争的第136天，特朗普总统提出了一个新计划。他将对穿越霍尔木兹海峡的船只征收通行费，以换取保护它们免受伊朗军队的侵害。但那是那时……阅读更多 ›《在伊朗，特朗普找到了一个他无法轻易统治的对手》一文首先出现在 JINSA 上。
After the landslide: Australian politics since the 2025 election
理查德·丹尼斯 (Richard Denniss) 和艾米·雷梅基斯 (Amy Remeikis) 讨论了自工党在选举中取得压倒性胜利以来澳大利亚政治格局发生的巨大变化。《压倒性胜利之后：自 2025 年大选以来的澳大利亚政治》一文首先出现在澳大利亚研究所上。
