XiaoMi-AI文件搜索系统
World File Search System可验证
![arXiv:2208.08739v2 [cs.AI] 2023 年 1 月 23 日](/simg/g:\will\search\icon\source\3\3f0034acb2c6294fdb49e2c3c8d829bc0bdf15d4.png)
arXiv:2208.08739v2 [cs.AI] 2023 年 1 月 23 日
现有可解释人工智能 (XAI) 算法的边界局限于基于技术用户对可解释性需求的问题。这种研究范式不成比例地忽略了更大的非技术最终用户群体，而他们对人工智能解释的需求要高得多，原因多种多样，例如做出更安全、更好的决策以及改善用户的预测结果。缺乏以可解释性为重点的最终用户功能支持可能会妨碍人工智能在医疗保健、刑事司法、金融和自动驾驶系统等高风险领域安全和负责任地使用。基于先前对最终用户对 XAI 需求的人为因素分析，我们确定并建模了四个新颖的 XAI 技术问题，涵盖了从设计到 XAI 算法评估的整个范围，包括基于边缘案例的推理、可定制的反事实解释、可折叠决策树和评估 XAI 效用的可验证性指标。基于这些新发现的研究问题，我们还讨论了以用户为中心的 XAI 技术开发中的未解决的问题，以启发未来的研究。我们的工作将以人为中心的 XAI 与技术 XAI 社区联系起来，并呼吁在以用户为中心的 XAI 技术开发方面建立一种新的研究范式，以便在关键任务中负责任地使用 AI。
通过数字化实现数据可靠性和可信度...
摘要。随着决策越来越多地由数据驱动，基础数据（例如，在知识图谱或 Web 上维护的数据）的可信度和可靠性是其在行业中可用性的基本要求。但是，无论是传统解决方案（例如基于纸质的数据管理流程）还是最先进的方法（例如分布式账本技术），都无法充分满足不断发展的工业数据的复杂要求和高吞吐量。受对数据可信度和可靠性有很高要求的实际用例的启发，我们认为对可数字验证的数据不变性的需求仍然是数据质量中一个尚未得到充分解决的维度。基于我们对相关工作中的缺点的讨论，我们因此提出了 ReShare，这是我们的具有双边签名的数字传输合同的新概念，以解决 RDF 知识图谱和 Web 上任意数据的这一未解决的问题。我们对 ReShare 性能和可扩展性的定量评估表明，其计算和通信开销仅为中等水平，与当今的方法相比，具有显著的成本降低潜力。通过巧妙地将数字传输合同与现有的基于 Web 的信息系统相结合，ReShare 为工业 4.0 及以后的数据共享和重用提供了良好的基础，通过易于采用的数字可验证数据不变性和不可否认性实现了数字问责制。
容错之前量子计算实用性的证据
量子计算有望在某些问题上提供比传统计算更快的速度。然而，发挥其全部潜力的最大障碍是这些系统固有的噪声。这一挑战被广泛接受的解决方案是实现容错量子电路，而这超出了当前处理器的能力。我们在此报告了在嘈杂的 127 量子比特处理器上进行的实验，并展示了在超越蛮力传统计算的规模上对电路体积的准确期望值的测量。我们认为这代表了量子计算在容错时代之前的实用性的证据。这些实验结果得益于超导处理器在这种规模上的相干性和校准方面的进步，以及表征 1 和可控制地操纵如此大型设备上的噪声的能力。我们通过将测量的期望值与精确可验证电路的输出进行比较来确定其准确性。在强纠缠状态下，量子计算机提供了正确的结果，而基于纯态的一维（矩阵积态，MPS）和二维（等距张量网络态，isoTNS）张量网络方法 2,3 等领先的经典近似方法则无法实现。这些实验展示了实现近期量子应用的基础工具 4,5 。
人工智能法案合并文本
• 使用潜意识、操纵或欺骗手段扭曲行为，妨碍知情决策，造成重大伤害。 • 利用与年龄、残疾或社会经济状况相关的弱点扭曲行为，造成重大伤害。 • 生物特征分类系统推断敏感属性（种族、政治观点、工会会员资格、宗教或哲学信仰、性生活或性取向），但标记或过滤合法获取的生物特征数据集，或执法部门对生物特征数据进行分类的情况除外。 • 社会评分，即根据社会行为或个人特征对个人或群体进行评估或分类，对这些人造成有害或不利的待遇。 • 仅根据分析或性格特征评估个人犯罪的风险，但用于增强基于与犯罪活动直接相关的客观、可验证事实的人类评估的情况除外。 • 通过从互联网或闭路电视录像中无针对性地抓取面部图像来编制面部识别数据库。 • 在工作场所或教育机构推断情绪，医疗或安全原因除外。 • 在公共场所为执法部门提供“实时”远程生物特征识别 (RBI)，但以下情况除外：
![arxiv：2503.02143v1 [cs.lg] 2025年3月4日](/simg/g:\will\search\icon\source\c\c8cd580e133e3df880ae53dad1f6ec7a27136448.webp)
arxiv：2503.02143v1 [cs.lg] 2025年3月4日
随着自主系统越来越多地部署在开放和不确定的环境中，人们对值得信赖的世界模型的需求越来越多，这些模型可以可靠地预测未来的高维度。世界模型中博学的潜在表示缺乏直接映射到有意义的物理数量和动态，从而限制了其在下游计划，控制和安全验证中的效用和解释性。In this paper, we argue for a fundamental shift from physically informed to physically interpretable world models — and crystallize four principles that leverage symbolic knowledge to achieve these ends: (1) structuring latent spaces according to the physical intent of variables, (2) learning aligned invariant and equivariant representations of the physical world, (3) adapting training to the varied granularity of supervision signals, and (4) partitioning生成输出以支持可伸缩性和可验证性。我们在实验上证明了每个原理在两个基准上的价值。本文打开了一些有趣的研究方向，以实现和利用世界模型中的全部物理解释性。关键字：世界模型，代表性学习，神经符号AI，可信赖的自主源代码：https：//github.com/trustworthy-eentine-workineered-autonomy-lab/piwm-lab/piwm-principles
基因组用纳米孔测序精确地确定脊椎动物中的全球和盆地DNA甲基化
基因组浏览定义为低通序的覆盖范围低于0.05倍，通常用于线粒体基因组恢复和物种鉴定。长阅读的纳米孔测序仪可以同时阅读DNA序列和甲基化，并且可以多重样品进行低成本基因组练习。在这里，我将纳米孔测序作为全球DNA甲基化和转座子评估的高度精确平台。仅覆盖0.001×或30 MB的读数，精度为1％。生物学和技术复制可验证高精度。浏览40种脊椎动物物种揭示了与全基因组亚硫酸盐测序一致的全球甲基化模式，平均地图率> 97％。基因组大小与全局DNA甲基化直接相关，解释了其39％的方差。只能以0.0001倍的覆盖范围或3 MB的读数来获得小鼠和灵长类动物中的精确正弦和线转座子甲基化。样品多路复用，现场可移植性和该仪器的低价合并，使基因组掠过DNA甲基化成为一种可访问的方法，用于从生态学到流行病学和低资源组的表观遗传评估。
工业部门的清洁燃料
当通过网络（例如管道）运输可再生燃料时，可以通过采购并随后退休证书的组织使用和跟踪它们。可再生燃料的证书通过规定其代表的立法的类型或可以在监管和自愿背景下运作的燃料的类型来区分。基于市场的会计使用书籍和索赔链的托管模型来促进指定来源的燃料采购（即化石，可再生）。本书和索赔模型可确保对可再生燃料属性进行跟踪，记录，并且可以进行可验证。这允许可再生燃料购买者通常通过专用注册表将属性从物理产品中解脱出来，然后将其转移。3本文件包括工业部门的主要燃料消费活动，可用清洁燃料类型的生产和分销特征以及相关法规和计划的示例。2。工业部门概述工业部门广泛地包括机械，化学和建筑材料等制造资本货物。在过去的二十年中，该行业在全球范围内的快速增长，但预计需求因地理而有所不同。例如，预计非经合组织国家（例如中国）对工业部门的可再生能源的需求将显着高于
探索中间和域所需的核心概念 -
摘要该立场论文报告了知识图联盟工作组中关于可解释的数据和元数据原则的初步讨论，该论文于2024年3月创建。目前，我们正在采取初步步骤来捕获与解释，基础，依赖和信任有关的核心概念；该范围还扩展到潜在的双重概念，例如解释性，可验证性/可重复性，可靠性和可信度。这些初始步骤包括回顾核心概念，因为它们在文献中进行了讨论，并探讨了这些最中心概念的实际上有用的定义。结论之一是，元数据标准将需要适合记录三种基础：知识的基础，依赖基础和信任的基础。目前正在重新设计的中间和域级别的元数据标准正在进行重新设计，以便变得更加模块化，可以计算，可以使人类理解，并且可以调节，这将是我们继续进行工作的建议。在公共存储库上进行了这种Lite（OWL 2 EL）本体的发展，称为MSO-EM：用于建模，模拟，优化（MSO）和认知元数据（EM）的本体论。
尼泊尔民航局 - CAAN
高度：从平均海平面测量到的水平面、点或被视为点的物体的垂直距离。 飞机 — 类型。所有具有相同基本设计的飞机，包括对其所做的所有修改，但会导致操纵或飞行特性发生变化的修改除外。 飞机 — 类似类型。所有具有相同基本设计的飞机，包括对其所做的修改，但会导致操纵或飞行特性发生变化的修改除外。 飞行技能。始终如一地运用良好的判断力和成熟的知识、技能和态度来实现飞行目标。 飞艇。轻于空气的动力飞机。 航空运营人证书是指航空运营人证书 (AOC)，它是授权运营商执行指定商业航空运输业务的证书。 AME 日志是人员维护和工程活动的可验证记录。 进近管制服务：为到达或离开受控航班提供的空中交通管制服务。 进近管制单位：为到达或离开一个或多个机场的受控航班提供空中交通管制服务的单位。适当的 ATS 机构：国家指定的负责在相关空域提供空中交通服务的相关机构。停机坪：陆地机场上划定的区域，用于飞机装卸乘客、邮件或货物、加油、停车或
8E-订单常规豁免 - 新泽西州
命令解决N.J.A.C.建立的某些要求的豁免14：8-10.3（d）案卷号。 QO19010068案卷号。 QX20030253记录派对：Stefanie A. Brand，Esq。，新泽西州董事会律师律师部董事：通过此顺序，董事会解决了实施过渡激励措施（“ TI”）规则1的规定，该规则1要求存在不可撤销的常规订单（“站立订单”（“站立订单”）之前，否则有资格的能源才能将其用作过渡可验证能量证书的基础。 BACKGROUND On May 23, 2018, the Clean Energy Act, L. 2018, c.17 (“Act”), was signed into law, and directed the Board to adopt rules and regulations to close the SREC Registration Program (“SRP”) to new registrations once 5.1% of the kilowatt-hours sold in the State are generated by solar electric power connected to the distribution system (known as the 5.1% Milestone), and continue the efficient and整个州的太阳能可再生能源的有序发展。 按日期为2019年12月6日的命令，董事会下令创建一个由固定价格和分解的TREC组成的过渡激励计划。 2通过日期为2020年1月8日的命令，董事会下令将TI计划继续向新注册开放，直到为当前正在开发的后继计划建立注册计划。 3在2020年4月6日，董事会确定5.1％的里程碑将是14：8-10.3（d）案卷号。QO19010068案卷号。QX20030253记录派对：Stefanie A.Brand，Esq。，新泽西州董事会律师律师部董事：通过此顺序，董事会解决了实施过渡激励措施（“ TI”）规则1的规定，该规则1要求存在不可撤销的常规订单（“站立订单”（“站立订单”）之前，否则有资格的能源才能将其用作过渡可验证能量证书的基础。 BACKGROUND On May 23, 2018, the Clean Energy Act, L. 2018, c.17 (“Act”), was signed into law, and directed the Board to adopt rules and regulations to close the SREC Registration Program (“SRP”) to new registrations once 5.1% of the kilowatt-hours sold in the State are generated by solar electric power connected to the distribution system (known as the 5.1% Milestone), and continue the efficient and整个州的太阳能可再生能源的有序发展。 按日期为2019年12月6日的命令，董事会下令创建一个由固定价格和分解的TREC组成的过渡激励计划。 2通过日期为2020年1月8日的命令，董事会下令将TI计划继续向新注册开放，直到为当前正在开发的后继计划建立注册计划。 3在2020年4月6日，董事会确定5.1％的里程碑将是Brand，Esq。，新泽西州董事会律师律师部董事：通过此顺序，董事会解决了实施过渡激励措施（“ TI”）规则1的规定，该规则1要求存在不可撤销的常规订单（“站立订单”（“站立订单”）之前，否则有资格的能源才能将其用作过渡可验证能量证书的基础。BACKGROUND On May 23, 2018, the Clean Energy Act, L. 2018, c.17 (“Act”), was signed into law, and directed the Board to adopt rules and regulations to close the SREC Registration Program (“SRP”) to new registrations once 5.1% of the kilowatt-hours sold in the State are generated by solar electric power connected to the distribution system (known as the 5.1% Milestone), and continue the efficient and整个州的太阳能可再生能源的有序发展。按日期为2019年12月6日的命令，董事会下令创建一个由固定价格和分解的TREC组成的过渡激励计划。2通过日期为2020年1月8日的命令，董事会下令将TI计划继续向新注册开放，直到为当前正在开发的后继计划建立注册计划。 3在2020年4月6日，董事会确定5.1％的里程碑将是2通过日期为2020年1月8日的命令，董事会下令将TI计划继续向新注册开放，直到为当前正在开发的后继计划建立注册计划。3在2020年4月6日，董事会确定5.1％的里程碑将是