不问关键词检索结果

双次线性交互式邻近证明

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),根据交互衍生的积极因素进行训练。在服务时,我们从…构建用户表示

函数的位置不变属性与分布属性:在测试中统一,在验证中分离

Location-Invariant Properties of Functions Versus Properties of Distributions: United in Testing but Separated in Verification

如果函数的属性可以用函数中每个值出现的频率来表征,而不管每个值出现的位置如何,则该属性称为位置不变(或对称)。众所周知,测试函数位置不变属性的(查询)复杂性与测试相应分布(的相应属性)的(样本)复杂性密切相关。当前工作的主要信息是,这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立

一层就足够了:采用预训练的视觉编码器进行图像生成

One Layer Is Enough: Adapting Pretrained Visual Encoders for Image Generation

视觉生成模型(例如扩散模型)通常在压缩的潜在空间中运行,以平衡训练效率和样本质量。与此同时,人们对利用高质量的预训练视觉表示越来越感兴趣——无论是在 VAE 内对齐它们还是直接在生成模型内对齐它们。然而,由于面向理解的特征和生成友好的潜在空间之间的根本不匹配,适应这种表示仍然具有挑战性。表示编码器受益于高维潜伏,捕捉不同的假设......

PPIC 全州范围调查:加州人和环境

PPIC Statewide Survey: Californians and the Environment

最新调查的主要结果包括: 最有可能的选民支持泽维尔·贝塞拉而不是史蒂夫·希尔顿,并表示环境问题是他们选择州长的因素之一。大多数可能的选民认为,国家应该放松土地使用和环境限制,以增加住房供应。大多数加州人反对在他们的地区建设人工智能数据中心。

2026年柔佛州选举结果评估及早期分析

Assessment and Early Analysis of the 2026 Johor State Election Results

出版物作者: 出版日期: 2026 年 7 月 15 日概要 2026 年柔佛州选举的结果标志着选民动员的重大转变,反映出国阵的实力不断增强以及对希盟的支持减弱,这可能会破坏他们在联邦团结政府内的工作关系。评论 2026 年 7 月 11 日,柔佛州选举进行了[…]2026 年柔佛州选举结果的后评估和早期分析,首次出现在 RSIS 上。

从预防到复原力:通过社区复原力框架采取全社区方法

From Prevention to Resilience: A Whole-of-Community Approach Through the Community Resilience Framework

出版物作者: 出版日期: 2026 年 7 月 14 日概要 数字生态系统和人工智能正在重塑在线激进化。虽然新加坡的整体政府方法仍然至关重要,但不断变化的威胁需要更强的社区复原力。本评论提出了社区复原力框架,该框架整合了认知、关系、道德、数字和社区复原力,以增强年轻人抵御网络极端主义影响的能力。评论 […]帖子从预防到复原力:通过社区复原力框架的全社区方法首先出现在 RSIS 上。

将 2D 设计转变为 3D 模型以进行快速原型设计的更好方法

A better way to turn 2D designs into 3D models for rapid prototyping

研究人员开发了一个自动化框架,可以帮助 AI 模型更准确、更高效地生成 CAD 程序。

3 个问题:神经透明度和人工智能设计的未来

3 Questions: Neural transparency and the future of AI design

助理教授 Pat Pataranutaporn 描述了一个新界面,可以让日常用户在聊天机器人说一句话之前了解人工智能的神经网络内部情况。

欧洲防务局发布了欧盟成员国2025-2026年军费开支审查报告。

Европейское оборонное агентство опубликовало обзор по военным расходам стран-членов ЕС в 2025-2026 гг.

欧洲防务局 (EDA) 发布了欧盟 (EU) 成员国 2025 年国防开支的最新数据以及 2026 年的预测。

日本 Terra Drone 正在与阿联酋在反无人机系统领域开展合作

Японская Terra Drone развивает сотрудничество с ОАЭ в области систем противодействия БЛА

日本公司 Terra Drone 正在扩大其在阿联酋的业务,该公司专注于不断增长的反无人机市场,在阿联酋提供无人机拦截器。

作为“夜幕降临”项目的一部分,英国正在为乌克兰开发远程导弹

Великобритания разрабатывает для Украины дальнобойную ракету в рамках проекта Nightfall

英国国防部已与多家工业公司签订了制造国家弹道作战战术导弹 (OTR) 的合同,目标是在 2027 年向乌克兰武装部队交付该产品。

截至莫斯科时间7月16日12时25分在顿巴斯和乌克兰的特别军事行动概要

Сводка проведения специальной военной операции на Донбассе и Украине по состоянию на 12.25 мск 16 июля

以下是截至莫斯科时间7月16日12时25分俄罗斯国防部在顿巴斯和乌克兰开展特别军事行动的情况摘要。

Quantum Systems 将向乌克兰武装部队提供 Mandrill DUM

Quantum Systems поставит ДУМ Mandrill ВС Украины

德国量子系统公司7月8日宣布,已与乌克兰政府签署了一份价值数百万美元的合同,供应10辆Mandrill地面遥控车。

印度尼西亚地面部队接收了两架新型 Mi-17V-5 直升机

Сухопутные войска Индонезии получили два новых вертолета Ми-17В-5

印度尼西亚陆军航空中心为其机队补充了两架由喀山直升机厂 JSC(KVZ;俄罗斯直升机控股公司 Rostec)生产的新型 Mi-17V-5 运输和攻击直升机。

英国开始向乌克兰供应火炮

Великобритания начала поставки стволов для артиллерийских орудий на Украину

7月15日,英国国防部宣布开始向乌克兰交付英国制造的火炮身管。

自乌克兰冲突爆发以来,BAE Systems 的收入增长了近 1.5 倍

Выручка BAE Systems с начала конфликта на Украине выросла почти в 1,5 раза

自乌克兰冲突爆发以来,英国 BAE Systems 公司的年收入增长了近 1.5 倍,达到超过 280 亿英镑(近 380 亿美元)。

欧盟和乌克兰签署了无人技术协议

ЕС и Украина заключили соглашение по беспилотным технологиям

在访问基辅期间,欧盟委员会主席乌苏拉·冯德莱恩和乌克兰总统弗拉基米尔·泽连斯基于7月15日签署了一项关于联合生产无人机的协议,作为“无人机交易”倡议的一部分。