Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明（dsIPP）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
Astronomers Uncover A Strange Nearby Planet System Unlike Anything In Our Solar System
巴纳德星对于天文学家来说是夜空中最著名的恒星之一，因为它距离地球非常近。它距离我们不到六光年，是继半人马座阿尔法星之后第二近的恒星系统。 2025 年，科学家证实有四颗小行星围绕这颗附近的恒星运行。现在，一项新的研究表明[…]天文学家发现了一个与我们太阳系中任何东西都不同的奇怪的邻近行星系统，该文章首先出现在《Knowridge Science Report》上。
韩国Eresus kollari（蜘蛛亚科：Eresidae）墓地栖息地的小气候和巢址选择摘要巢址的选择和建造对于许多动物来说是重要的生活史事件。这些决定很大程度上取决于温度、湿度和太阳辐射等非生物因素。 Eresus kollari（一种挖洞蜘蛛，会挖掘自己的巢穴并在其中养育后代）在选择筑巢地点时也面临着重要的决定。在韩国，该物种经常占据暴露在阳光下的圆顶形坟墓。为了了解导致物种占据土丘栖息地的行为决策，我们进行了实地调查和实验室实验。现场调查显示，75.6%的E.kollari巢位于土丘表面，其中土丘中心附近密度最高（3.98巢/平方米）。整个半球形土丘上，巢穴集中在东、中、西三个区域，整
PM10 In Wildfire Smoke Is A Killer - Here Is How To Protect Yourself
野火烟雾中的 PM10 是杀手 - 以下是如何保护自己 2026 年 7 月，野火烟雾再次从加拿大的火灾中涌过美国边境，使几个州的天空呈现出令人毛骨悚然的橙色。在西部，随着更多的野火在炎热、干燥的条件下燃烧，烟雾也已蔓延到科罗拉多州和邻近州的社区。对话周五，2026 年 7 月 17 日 - 14:29类别大气
El Niño effect: Telangana asks farmers to go for alternative crops
Telangana 农业部长 Tummala Nageswara Rao 表示，邻近的两个上游沿岸邦马哈拉施特拉邦和卡纳塔克邦也报告降雨量下降
CAG raps Maharashtra as ₹82.78 cr helicopter lay idle for 17 months, flags ₹2 cr avoidable cost
州政府已于 2018 年 5 月批准购买这架直升机，以促进加奇罗利及邻近地区的反纳萨尔派行动
ANN's Daily Aero-Term (06.29.26): Class E Airspace
E 类空域 一般来说，如果空域不是 A 类、B 类、C 类或 D 类空域，并且是受控空域，则为 E 类空域。 E 类空域从地面或指定高度向上延伸至上方或邻近的受控空域。当指定为表面区域时，空域将被配置为包含所有仪器程序。此类还包括联邦航空公司、从 700 或 1,200 英尺 AGL 开始的空域，用于往返于航站楼或航路环境、国内航线以及指定低于 18,000 英尺 MSL 的近海空域区域。除非在较低高度指定，否则 E 类空域从美国上空 14,500 MSL 开始，包括 48 个相邻州和阿拉斯加海岸 12 海里以内的水域上方的空域，最高但不包括 18,000 英尺 MSL，以及 FL 600 以
Antusuchus rionegrinus Fernández-Dumont, Apesteguía, Pol, Bona, Pérez Mayoral & Vega, 2026 DOI: doi.org/10.1080/08912963.2026.2683112 facebook.com/sebApesteguiaABSTRACTNotosuchia 是形态最多样化的群体之一中生代鳄鱼形动物，在白垩纪冈瓦纳大陆特别丰富。其中，巨龙科是中型陆地掠食者，在白垩纪晚期广泛分布于南部大陆。在这里，我们描述了一种新的鳄形巨龙科动物，Antusuchus rionegrinus gen。等11 月，来
Platylepis avaratraensis Hermans & Nusb., in Hermans, Ranirison, Havea, Iharivolana et Nusbaumer, 2026. DOI: doi.org/10.15553/c2026v811a1 摘要马达加斯加及邻近岛屿 Goodyerinae 亚族（兰科）属的分类学和分子研究讨论了西印度洋的情况。 Goodyera R.Br.的特点和 Platylepis A.Rich。进行比较，介绍它们的历史，并详细介绍该地区目前接受的各个物种。马达加斯加北部萨瓦地区描述了一个新物种，Platylepis avaratraen
Trimeresurus hongheensisLiang、Ding、Wang、Vogel、Shi、Gong、Wu & Chen, 2025 红河竹叶青 || DOI：doi.org/10.24272/j.issn.2097-3772.2025.022摘要竹叶青属目前包含至少 56 种已知的有毒陆生到树栖物种，分布在南亚和东南亚。近年来，我们在中国云南省采集了一些绿蝰属亚属的标本。通过形态特征和系统发育分析，我们确认云南竹叶青分布于云南省红河流域以西，生活在红河流域下游及邻近地区的竹叶青物种是一个未描述的类群。新种洪河竹叶青Trimeresurus hongheensis sp.十一月可以通过
研究人员发现，南加州的圣安德烈亚斯断层和邻近的断层已达到 1000 年来的最高构造应力水平，一个断层的破裂可能会传播到另一个断层。
Noida International Airport begins commercial operations with inaugural IndiGo flight from Lucknow
新德里：位于 Jewar 的诺伊达国际机场 (NIA) 于周一开始商业客运运营，开创了印度航空业的新纪元，为国家首都地区 (NCR) 提供了第二个成熟的商业机场。由靛蓝航空运营的第一趟商业航班于上午从勒克瑙抵达，标志着这座绿地机场经过多年规划和建设后首次投入运营。首航抵达受到了庆祝活动和水炮礼炮的欢迎。机场官员表示，此次发射对于北方邦和该国迅速发展的航空业来说是一个重要的里程碑。该机场预计将缓解德里英迪拉·甘地国际机场的拥堵，同时改善北方邦西部和邻近地区的连通性。从杰瓦尔出发的首趟航班也飞往勒克瑙。据报道，首航航班搭载了几位来自 Jewar 地区的村民，他们的土地是为机场项目而征用的，象征着社
