数据关键词检索结果

SATA 为亚速尔航空投标设定了 2026 年第三季度末截止日期

SATA sets late-3Q26 deadline for Azores Airlines bids

本文仅适用于订阅商业航空新闻、运营商和机场数据

加利福尼亚州努纳武特地区放弃成为加拿大北部的利益相关者

Nunavut, CA discards becoming stakeholder in Canadian North

本文仅适用于订阅商业航空新闻、运营商和机场数据

出租人寻求清算巴林 MAE 的 570 万美元债务

Lessor seeks winding up of Bahrain's MAE over $5.7mn debt

本文仅适用于订阅商业航空新闻、运营商和机场数据

阿根廷 Flybondi 考虑对前高管采取法律行动

Argentina’s Flybondi mulls legal action against ex-execs

本文仅适用于订阅商业航空新闻、运营商和机场数据

FlyGabon 妈妈谈 B737 增补消息

FlyGabon mum on reported B737 addition

本文仅适用于订阅商业航空新闻、运营商和机场数据

阿根廷放宽航空认证流程

Argentina eases aviation certification processes

本文仅适用于订阅商业航空新闻、运营商和机场数据

留尼汪岛的 Air Austral 寻求 410 万美元用于机队更新

Réunion's Air Austral seeks $4.1mn for fleet renewal

本文仅适用于订阅商业航空新闻、运营商和机场数据

由于伊朗战争导致成本上升,印度阿卡萨航空寻求资金

India's Akasa Air seeks funding as Iran war drives up costs

本文仅适用于订阅商业航空新闻、运营商和机场数据

印度 Bajaj Aviation 最后一家全球 5000 强公司退役

India's Bajaj Aviation retires last Global 5000

本文仅适用于订阅商业航空新闻、运营商和机场数据

俄罗斯乌拉尔航空公司推进 MC-21-300 机库谈判

Russia’s Ural Airlines advances talks for MC-21-300s, hangar

本文仅适用于订阅商业航空新闻、运营商和机场数据

巴基斯坦政府向 PIA 转让价值 5100 万美元的财产

Pakistani gov't transfers properties worth $51mn to PIA

本文仅适用于订阅商业航空新闻、运营商和机场数据

法案针对低空飞行飞机的松绳危险

Bill Targets Slackline Hazards to Low-Flying Aircraft

该措施将要求美国联邦航空管理局 (FAA) 在六个月内进行审查,并可能导致更新标记、航行通告和障碍物数据政策。

AAPA:亚太地区航空公司 2025 年财务业绩有所改善

AAPA: Asia Pacific airlines saw financial performance improve in 2025

亚太航空公司协会 (AAPA) 发布的初步财务业绩数据显示,在 [...] 的推动下,亚太航空公司 2025 年综合净利润将达到 121 亿美元

IATA发布2025年世界航空运输统计报告

IATA releases 2025 World Air Transport Statistics report

国际航空运输协会 (IATA) 发布了最新版本的世界航空运输统计 (WATS),提供截至 2025 年的全面统计数据。WATS 每年更新一次,提供数据 [...]

移民法院:利益相关者对使用远程听证会的看法

Immigration Courts: Stakeholder Perspectives on the Use of Remote Hearings

GAO 的发现司法部移民审查执行办公室 (EOIR) 亲自或使用远程技术(例如 WebEx——基于互联网的视频电话会议平台或电话)进行移民法庭诉讼。根据 EOIR 政策,移民法官可以酌情决定听证会参与者使用哪种远程媒体(如果有)。 EOIR 收集每次听证会所使用媒体的数据,该数据仅反映法官和被告的位置。根据 GAO 对这些数据的分析,在 2022 财年至 2025 财年举行的近 600 万场听证会上,约 63%(即 380 万场听证会)是现场举行的。在约 220 万场远程听证会中,大多数使用 WebEx(约 78% 或 170 万场)。在此期间,远程听证会的数量增加了近 50%,而现场听证会的

LLM 函数调用的不确定性量化

Uncertainty Quantification for LLM Function-Calling

大型语言模型 (LLM) 越来越多地用于自主解决现实世界的任务。其中一个关键要素是法学硕士函数调用范式,这是一种广泛使用的方法,为法学硕士配备工具使用功能。然而,LLM 错误地调用函数可能会产生严重影响,特别是当其影响不可逆转时,例如转账或删除数据。因此,在执行函数调用之前,考虑法学硕士对函数调用正确解决任务的信心至关重要。不确定性量化(UQ)方法可用于量化……

一般分布属性的交互式证明

Interactive Proofs for General Distribution Properties

假设 Alice 从未知分布中收集了少量样本,并且想了解该分布。鲍勃是一位不受信任的数据分析师,他声称已经对分布进行了复杂的数据分析,并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明(使用比自己运行分析所需的资源更少的资源)?我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...

CLaRa:通过连续潜在推理连接检索和生成

CLaRa: Bridging Retrieval and Generation with Continuous Latent Reasoning

检索增强生成(RAG)利用外部知识增强了大型语言模型(LLM),但仍然受到长上下文和不相交的检索生成优化的影响。在这项工作中,我们提出了 CLaRa(连续潜在推理),这是一个在共享连续空间中执行基于嵌入的压缩和联合优化的统一框架。为了获得语义丰富且可检索的压缩向量,从而减少输入生成器的文档长度,我们引入了 SCP,一种基于问答和释义的密钥保留数据合成框架......