XiaoMi-AI文件搜索系统
World File Search System健全性
保护加密代码免受spectre-rsb
Spectre攻击通过在投机执行过程中泄漏秘密来保证恒定时间的cryg-fographic代码。最近的研究表明，可以保护此类代码免受头顶上最小的spectre-v1攻击，但叶子打开了保护其他幽灵变量的问题。在这项工作中，我们设计，验证，实施和验证一种新方法，以保护加密代码免受所有已知类别的Specter攻击，特别是Spectre-RSB。我们的方法结合了一个新的依赖价值的信息流类型系统，该系统即使在投机执行和编译器转换下也不会泄漏，并在生成的低级代码上启用它。我们首先使用COQ证明助手证明了类型系统的健全性和编译器转换的正确性。然后，我们在jasmin框架中实施了我们的方法，用于高保险密码学和DE-MONSTRATE，即大多数密码原始人的所有幽灵构图所产生的间接费用低于2％，对于更复杂的Quampuan-tum键后钥匙封装机制Kyber kyber kyber的较为复杂的范围仅为5-7％。
第13届自治代理国际会议和...
AAMAS 2014，是AAMAS系列的第13届会议，寻求高质量的完整论文提交，限制为8页。 将根据独创性，健全性，意义，表现，对最新技术状态的理解以及其技术贡献的整体质量对进行严格的同行评审和评估。 评论将是双盲的；作者必须避免包含任何可用于识别它们的东西。 请注意，提交摘要必须提交完整论文。 但是，摘要不会进行审查，并且必须提交完整的（8页）论文以开始审核过程。 所有作品都必须是原创的，即，它不得出现在会议记录，书籍或期刊中。 除了主要曲目中的提交外，AAMAS 2014还将在三个特殊曲目中招募论文。 特殊曲目的审核过程将类似于主要曲目，但计划委员会成员专门为该曲目选择。 诉讼中将包括所有接受特殊曲目的论文。AAMAS 2014，是AAMAS系列的第13届会议，寻求高质量的完整论文提交，限制为8页。将根据独创性，健全性，意义，表现，对最新技术状态的理解以及其技术贡献的整体质量对进行严格的同行评审和评估。 评论将是双盲的；作者必须避免包含任何可用于识别它们的东西。 请注意，提交摘要必须提交完整论文。 但是，摘要不会进行审查，并且必须提交完整的（8页）论文以开始审核过程。 所有作品都必须是原创的，即，它不得出现在会议记录，书籍或期刊中。 除了主要曲目中的提交外，AAMAS 2014还将在三个特殊曲目中招募论文。 特殊曲目的审核过程将类似于主要曲目，但计划委员会成员专门为该曲目选择。 诉讼中将包括所有接受特殊曲目的论文。进行严格的同行评审和评估。评论将是双盲的；作者必须避免包含任何可用于识别它们的东西。请注意，提交摘要必须提交完整论文。但是，摘要不会进行审查，并且必须提交完整的（8页）论文以开始审核过程。所有作品都必须是原创的，即，它不得出现在会议记录，书籍或期刊中。除了主要曲目中的提交外，AAMAS 2014还将在三个特殊曲目中招募论文。特殊曲目的审核过程将类似于主要曲目，但计划委员会成员专门为该曲目选择。诉讼中将包括所有接受特殊曲目的论文。
AB 2024-01：与气候有关的风险管理
目的本咨询公告（AB）为房利美，房地产MAC和普通证券化解决方案（统称为企业）提供联邦住房金融机构（FHFA）指南1，以管理与气候相关的风险，以支持安全且强大的操作环境。背景气候变化为企业的安全性和健全性带来了风险，及其为住房市场提供流动性，稳定和负担能力的能力。企业的财务状况，运营和交易对手可能会受到与气候变化相关的物理风险和过渡风险（共同称为与气候有关的风险）的不利影响。与气候相关的风险可以直接和间接影响企业对金融，运营，法律和声誉风险等一系列风险的影响。在气候变化的背景下，物理风险是指急性天气事件的频率，严重性和波动性引起的危害，例如野火，飓风和洪水，以及诸如降水模式，海平面上升和温度波动的气候变化之类的长期慢性变化。这些物理风险可能会导致抵押资产损失，抵押贷款犯罪率以及止赎，从而为企业和抵押融资系统造成财务压力。此外，身体风险可能会破坏企业的运营及其执行任务的能力。
通过强大的优化，可证明神经网络的强大和合理的反事实解释
反事实解释（CES）已成为解释神经网络分类器的主要方法的越来越多的兴趣。通常，输入输出对的CES定义为具有最小距离的数据点，该数据点与输入分类的输入最小距离，而该输入与输出标签相比。要解决模型参数时很容易无效的确定问题（例如，重新培训）研究提出了方法来证明在模型参数变化下由标准球界定的CES鲁棒性。但是，针对这种鲁棒性形式的现有方法并不完整，它们可能会产生令人难以置信的CES，即离群值WRT WRT训练数据集。实际上，没有现有的方法同时优化邻近性和合理性，同时保留鲁棒性保证。在这项工作中，我们提出了可证明的强大和合理的反事实表达（PREPLACE）1，这是一种利用强大优化技术来促进上述文献中限制的方法。我们制定了一种迭代算法来计算可证明可靠的CES并证明其收敛性，健全性和完整性。通过涉及六个基线的比较实验，其中五个靶向鲁棒性，我们表明，在三个评估方面，预言实现了针对指标的最新表现。关键字：可解释的AI；反事实解释；解释的鲁棒性
材料加工，从理念到实践
摘要 黄建阳博士担任密歇根理工大学材料加工研究所所长二十余年，在他的职业生涯中，许多技术从创意发展为商业实践。本次研讨会反映了他在这方面的贡献。地球上金属等材料的循环涉及矿石勘探（地质）、采矿、矿物加工、冶金、制造和回收等步骤。每个步骤都是通过使用能源加工材料来实现的。根据工艺和能源输入的形式，通过空气、水和固体方式产生具有各种环境影响的产品和副产品。以最佳经济效益获得对环境影响最小的最高效工艺是不断推动技术进步的驱动力。材料、工艺和能源中的变量是促进技术进步理念发展的常见参数。黄博士在本科和研究生学习期间学习了地球科学、矿物学、特性、矿物加工和冶金学。采矿、材料和加工以及环境和经济学大部分是研究生时期自学的，部分原因是他想进行的项目的研究需求。了解材料、能源、环境和经济学所涉及的参数是系统方法的基础。思想的有效性及其转化为实践的潜力取决于系统的健全性。作者回顾了他的研究的几个案例来说明它们之间的关系。
与气候有关的财务风险指南...
可能影响银行和金融机构的安全性和健全性的身体和过渡风险，最终影响银行系统内的更广泛的金融稳定性。认识到气候变化对经济的严重威胁，坦桑尼亚政府已经采取了多项措施，以建立旨在解决气候变化和生物多样性丧失以及增强适应和缓解能力的强大法律和政策框架。因此，坦桑尼亚制定了国家气候变化反应战略和国家适应计划，并修改了国家环境政策。这些举措与全国确定的贡献（NDC）的目标保持一致，这些目标有助于全球气候努力，以将全球地表温度的升高限制为高于工业前水平以下2°C以下，并努力进一步将温度升高到1.5°C，如《巴黎协定》中所述。在这种情况下，银行已发布了这些准则，以解决与气候相关的财务风险和银行业内部的机会。该准则纳入了巴塞尔银行监督委员会（BCBS）发布的“有效管理和监督气候相关财务风险的原则，以及其他标准设定的机构的指导，包括国际可持续性标准委员会（ISSB）。这些准则概述了银行对管理与气候相关的财务风险和机遇的审慎方法的期望，从而增强了银行业的韧性。
与气候有关的财务风险指南...
可能影响银行和金融机构的安全性和健全性的身体和过渡风险，最终影响银行系统内的更广泛的金融稳定性。认识到气候变化对经济的严重威胁，坦桑尼亚政府已经采取了多项措施，以建立旨在解决气候变化和生物多样性丧失以及增强适应和缓解能力的强大法律和政策框架。因此，坦桑尼亚制定了国家气候变化反应战略和国家适应计划，并修改了国家环境政策。这些举措与全国确定的贡献（NDC）的目标保持一致，这些目标有助于全球气候努力，以将全球地表温度的升高限制为高于工业前水平以下2°C以下，并努力进一步将温度升高到1.5°C，如《巴黎协定》中所述。在这种情况下，银行已发布了这些准则，以解决与气候相关的财务风险和银行业内部的机会。该准则纳入了巴塞尔银行监督委员会（BCBS）发布的“有效管理和监督气候相关财务风险的原则，以及其他标准设定的机构的指导，包括国际可持续性标准委员会（ISSB）。这些准则概述了银行对管理与气候相关的财务风险和机遇的审慎方法的期望，从而增强了银行业的韧性。
gensql：用于查询数据库表的生成模型
本文介绍了GensQL，这是一种用于查询数据库表的概率生成模型的概率编程系统。通过仅使用几个用于查询概率模型的关键基础来增强SQL，GENSQL可以简明地实现复杂的贝叶斯推理工作。gensql的查询计划器基于一个统一的程序化接口，用于与表格数据的概率模型进行交互，这使得使用以各种概率编程语言编写的模型，这些模型是针对特定工作量身定制的。概率模型可以通过概率程序合成，手工设计或两者的组合自动学习。gensql是使用新型类型系统和典型语义进行正式化的，这使我们能够建立证据，以确切地表征其健全性保证。我们在两项现实世界中评估了我们的系统，这是虚拟湿实验室的临床试验中的异常检测和有条件的合成数据生成 - 并表明GENSQL更准确地捕获了与普通基线相比的数据的复杂性。我们还表明，与几种替代方案相比，GENSQL中的声明语法更简洁，更容易出错。最后，gensql提供了1。7-6。8x加速度与最接近的竞争对手在代表性基准集合中相比，并在与手写代码相当的时间内运行，部分原因是其可重复使用的优化和代码专业化。
第 19 条 提交前咨询文件
2025 年 2 月至 3 月 18 日，根据理事会目前采用的当地发展计划 (LDS)。这将是在提交独立审查之前对当地计划草案进行的最后一次技术公开咨询。在此阶段，将邀请代表就该计划是否符合所有相关法律、合作义务以及是否符合国家规划政策中规定的健全性测试提出意见。收到的回复将与当地计划和计划证据基础一起提交给规划督察员，规划督察员将在独立审查后向理事会提出是否可以采纳该计划的建议。 2. 之前的磋商 2.1 自 2021 年冬季以来，委员会一直致力于审查地方规划。关于提交前地方规划的磋商是在之前的两次磋商之后进行的——2022 年夏季/秋季的问题和选择磋商，这又为 2024 年春季/夏季的首选方案磋商提供了信息。在编制提交前地方规划时，已经考虑了就这些先前磋商提出的陈述以及更广泛的计划证据基础和国家规划政策和指导。 2.2 附录 1 中的首选方案“您说，我们做”反馈报告总结了首选方案咨询回复中提出的主要问题以及在提交前地方规划中如何考虑到这些问题。
通用人工智能程序合成语言Pro5Lang的情景记忆机制
我们设计了一种陈述性记忆机制，它尽可能与神经科学和认知科学的发现保持一致，同时不违反证明合理性的数学逻辑要求。其主要特点如下。 寄存器和内容可寻址存储器中存储的值仅限于已证明的命题。由于信息处理的最小单位（一个已被证明的命题）有自足的意义，记忆管理（比如忘记不必要的知识）就变得更容易。另一个优点是，即使在合成过程中执行不完整的程序，数据结构也不太可能崩溃。由于程序执行的顺序也将变得更加灵活，因此在时间允许的情况下规划未来的行动将变得更加容易。 每次进行推理时，都会自动将已证明的命题添加到已证明命题集合中，即将信息写入联想记忆机制。目的是减轻程序负担，提高程序综合的性能。 我们计划提供两种类型的陈述性知识回忆：自动回忆和主动回忆。 （目前仅实现了主动回忆。）事件回忆并不涉及重现某一特定时刻大脑的整个内部状态，而是仅重现一个已证实的命题。这使得信息处理能够实现，例如从一个命题推断另一个命题。 回忆陈述性知识的机制也被设计成不破坏证明的合理性（第 3.7 节）。 陈述性知识分为证实命题（情景记忆）和语义记忆。 Pro5Lang 中的语义记忆是多个已证明命题的压缩和抽象版本，旨在使用 [5]2 中描述的方法通过归纳推理来获取。 （然而，在当前的实现中，语义记忆也是从一开始就手动提供的。）由于存在过度概括和获取不正确的语义记忆的可能性，因此有必要提供单独的机制来选择和忘记不正确的语义记忆。这将在第 5 节中讨论。 由于记忆空间有限，即使正确的陈述性知识也会被适当地遗忘。即使不时随机选择和删除已证明命题集合中的元素，图 2 和 Pro5Lang 中的算法也不会失去健全性。然而，证明可能需要更长的时间并且可能变得越来越难以完成。为了避免降低证明的效率，需要使用一些启发式方法来选择需要遗忘的知识。 （目前实施中尚未采取此类措施。）