Boolformer: Symbolic Regression of Logic Functions with Transformers
本文在ICML 2025的第二个AI上接受了数学研讨会。我们介绍了BoolFormer，这是一种基于变压器的模型，该模型训练有素，旨在执行布尔函数的端到端符号回归。首先，我们证明它可以预测鉴于其完整的真相表，可以预测训练期间未见的复杂功能的紧凑型公式。然后，我们证明，即使有不完整或嘈杂的观察，Boolformer仍然能够找到良好的近似表达式。我们在广泛的现实二进制分类数据集上评估了布尔形式，证明了其作为可解释的替代方案的潜力……
Small arms of the PLAN Aircraft Carrier CV17 Shangdong 003
在两周前在香港举行的开放式活动中，人民解放军海军（PLAN）展示了一系列目前发行的小型武器，船上是飞机CV17上的上床003。其中包括紧凑型QBZ-95B-I，优化用于近距离战斗的QBZ-95B-I； QBU-191，一种指定的射手步枪，用于5.8×42mm，用于中等程度；和QBU-202，a
I finally found a Windows mini PC powerful enough to replace my desktop (and it's on sale)
Minisforum AI370 Elitemini将功能强大的硬件和多达4TB的存储器塞入为紧凑型工作站建造的节省空间设计。亚马逊以折扣价提供各种版本。
Coffee Break: Armed Madhouse – AI Goes to War
对应用于武装冲突的AI技术的当前状态和未来前景的紧凑型全面讨论是不可能的任务，但我将在这里进行。让我鼓励的是对AI的预后很难。我相信AI将是历史上人类事务最深刻的转变[…]
Vintage Over Digital: Alumnus Dan Cohen’s Voyager CD Bag Merges Music and Fashion
震惊了流媒体音乐平台的趋势，并与他这一代人的成员的期望相反，音乐家丹·科恩（Dan Cohen）’25更喜欢听他最喜欢的艺术家在紧凑型唱片（CD）和唱片播放器上。他的研究和...
Project Revolver: The U.S. Navy’s Concept for Multi-Packed Torpedoes in the Indo-Pacific
海军研究办公室（ONR）正在开发的计划正在迅速前进到舰队，为弗吉尼亚级SSNS上的鱼雷提供了更深层次的杂志深度。这项工作是在单个21英寸的鱼雷管中测试和实行多包装的6.75英寸Mark 58紧凑型快速攻击武器（CRAW）鱼雷或3英寸无人机。众所周知...邮政项目左轮手枪：美国海军在印度太平洋地区的多包鱼雷的概念出现在海军新闻中。
U.S. Navy Sets Sights on Fleet-Wide Anti-Torpedo Weapon Rollout in Coming Years
上周发布的美国海军预算文件正在为当前的AN/SLQ-25 Nixie对策套件添加一系列新功能，其中包括通过甲板发射器的新硬杀手功能，该套件将在未来几年内部署到168张不同的前线船舶。硬杀武器被称为MK58紧凑型快速攻击武器（CRAW），是...美国海军在未来几年对舰队全武力武器推出的景点首次出现在海军新闻中。
U.S. Marines and Sailors Commence Koa Moana 25
美国海军陆战队和战斗物流营第15号海军物流集团15号海军陆战队远征部队已经抵达帕劳，以支持KOA MOANA 25。这次反复进行的练习致力于太平洋岛屿地区重点是建立伙伴关系，并旨在建立伙伴关系，并增强自由联想国家的紧凑型国家的卫生系统，特定于Palau和Palau和Felderiens的共和国。
New Diamond Magnetometer Paves the Way for GPS-Free Navigation
fraunhofer iaf提出了量子世界2025的紧凑型集成量子传感器，由Fraunhofer应用固态物理学研究所开发的高度积分矢量磁力仪IAF使用氮素钻石（NV）在钻石中使用氮气空位（NV），以检测具有灵活性和精确度的极小磁场，而不是可能。这个微型测量系统打开[...]
東京オフィス市場は賃料上昇率が拡大。J-REIT市場は需給改善で反発－不動産クォータリー・レビュー2025年第1四半期
1月至3月的2025年期间标志着四个季度的第一个负增长，但是当被观察时，经济仍处于逐渐恢复的趋势。房屋市场的价格继续上涨。在东京办公市场中，租金增长率正在增长。东京23个病房中的公寓租金继续上升。酒店市场的入站需求导致客人数量增加。在物流市场中，大都市地区的空置率正在进一步上升。东京证券交易所REIT指数在2025年第一季度上涨 +2.3％。与上一个财政年度相比，1月至3月期间的Real GDP（第一报告）为0.7％。由于商品和服务进口的高增长，与上一财政年度相比，外部需求捐款已减少到0.8％。在4月至6月的时期，由于美国关税加息的影响，目前预计连续第二季度会看到负面增长。在住房市场中，新住房
Rationale engineering generates a compact new tool for gene therapy
研究人员重新设计了细菌的紧凑型RNA引导的酶，使其成为人DNA的有效编辑器。
10 Python One-Liners for Working with Dates and Times
这十个紧凑型和Pythonic快捷方式将增加您的时间数据分析和处理工作流程。看看如何以及为什么。
«Высокоточные комплексы» разработали компактную РЛС для обнаружения малых беспилотников
周三，在Minsk举行的Milex -2025国际武器展览会上，将首次提出紧凑型雷达，以检测小型无人机。该产品旨在概述近区域的空气状况，并遇到空中无人机的当前威胁。
Cas9 ancestor engineered into a compact genome editing tool
麦戈文研究所的科学家以及麻省理工学院和哈佛大学的广泛研究所重新设计了他们在细菌中发现的紧凑型RNA引导的酶，成为人类DNA的有效，可编程的编辑。可以对工程蛋白（称为Novaiscb）进行调整，以对遗传密码进行精确更改，调节特定基因的活性或执行其他编辑任务。由于它的尺寸很小可以简化向细胞的递送，因此Novaiscb的开发人员表示，它是开发治疗或预防疾病的基因疗法的有前途的候选人。
Army innovation programs propel LiquidPiston’s rotary engine hybrid power systems tech
华盛顿 - 在陆军创新计划的支持下，液态培养子有望改变美国陆军的能力，因为该公司提供紧凑型，h ...
Phi-4 – small models, big results
Microsoft的Phi-4家族是新一代的紧凑型语言模型，为数学，编码和计划等复杂任务建立，通常超过较大的系统。经过高级技术和精选数据培训，它们提供了强大的推理，同时又可以效率地用于低延迟使用。
Gogo Brazil signs first Gogo Galileo HDX customer in Brazil, South America
新闻稿OGO已确认JBJ参与者LTDA（JBJAgropecuária）是南美洲Gogo Galileo HDX的第一个客户。安装完成后，总部位于巴西的农业公司可以首次优化由紧凑型，电子转导的天线ESA提供的高速宽带，该天线与Eutelsat Oneweb低地球轨道，狮子座，狮子座，[…] Brazil Brazil Signs Post gogo galileo hdx Customer in South America in South America on South America on Protession professive professive professive profe
