XiaoMi-AI文件搜索系统
World File Search System公开性
2025 - 公民预算战略文件
2025 年预算战略文件 (BSP) 是一份重要文件，概述了考虑到该国经济状况后提出的预算优先事项。它旨在提高国家预算编制的公开性，因为它构成了详细预算编制的基础，因为当局正在努力在今年晚些时候向议会提交和批准 2025 年预算。BSP 允许每个人参与国家预算制定过程。
马丁·海德格尔的理解概念
摘要 本文的主要目的是证明 Hubert Dreyfus 使用理解 (Verstehen) 对人工智能 (AI) 的不足。我的补充目标是对马丁·海德格尔的理解 (Verstehen) 概念提供一个原则性的解释。德雷福斯和其他证实主义者认为，理解 (Verstehen) 是有社会目的的行为和巧妙的具体应对。以这种方式构想的理解 (Verstehen) 据称挑战了依赖于形式规则、“理性”决策和知识的明确表示的人工智能 (AI) 认知模型。这种解释不能令人满意，原因有二。首先，它维持了一种外在的、目标导向的意向性，而这种意向性很容易受到人工智能 (AI) 成功的影响。其次，它忽略了对海德格尔本体论至关重要的自我理解 (Seinsverständnis) 的系统性和构成性分析。最近的释经工作重复了这些不足之处，未能改善关于海德格尔与人工智能 (AI) 关系的讨论。为了解决这一疏忽，我弥合了海德格尔的理解和公开性 (Erschlossenhei t) 概念之间的差距 (SZ §44 / 256-278)。我认为，理解表征了对实体的前理论把握和引发自我理解 (Seinsverständnis) 问题的前本体论结构。这一结果支持了海德格尔向存在感 (Sein) 作为可理解性基础的现象学突破。关键词：马丁·海德格尔、休伯特·德雷福斯、理解、知识、公开性、现象学
Jado 19.01.1-210.II_Maqueta.Jado
摘要：欧洲委员会《关于获取官方文件权利的公约》（2009 年）是第一部承认一般文件获取权的具有约束力的国际法律文书。尽管该公约有许多积极的方面，例如对实质范围的广泛定义、对受益人群体的慷慨规定以及豁免清单，但它仍然显示出一些不足之处。该公约未能明确保障文件获取权和公开性的推定。对“公共当局”的定义狭窄、未能设定明确的时间框架以及对国家保留没有限制，严重损害了信息权的有效性。本文的论点是，本可以采用更为进步的规定，可以说不存在限制参与公约的风险。
迪恩之家 - 会议、议程和会议记录
在讨论下列事项时，可能需要通过以下决议，将新闻界和公众排除在外，因为考虑到《宪法》第 13 条 13.02(e) 款（有利于公开性的推定）。可能需要做出这一决定，因为公开审议此事可能会披露属于《1972 年地方政府法》附表 12A 中豁免信息描述之一的信息。行政部门将需要决定，在所有情况下，维持豁免的公众利益是否大于披露信息的公众利益。建议根据《1972 年地方政府法》第 100A(4) 条，将公众排除在下一个业务项目之外，理由是它涉及可能披露《法案》附表 12A 第 1 部分第 3 段定义的豁免信息，即与任何特定人员（包括持有该信息的机构）的财务或商业事务有关的信息。
迪恩之家 - 会议、议程和会议记录
在讨论下列事项时，可能需要通过以下决议，将新闻界和公众排除在外，因为考虑到《宪法》第 13 条 13.02(e) 款（有利于公开性的推定）。可能需要做出这一决定，因为公开审议此事可能会披露属于《1972 年地方政府法》附表 12A 中豁免信息描述之一的信息。行政部门将需要决定，在所有情况下，维持豁免的公众利益是否大于披露信息的公众利益。建议根据《1972 年地方政府法》第 100A(4) 条，将公众排除在下一个业务项目之外，理由是它涉及可能披露《法案》附表 12A 第 1 部分第 3 段定义的豁免信息，即与任何特定人员（包括持有该信息的机构）的财务或商业事务有关的信息。
弗吉尼亚州 VPPA 备忘录 FIN V2 3.3.21
6 VA 法典 §2.2-4343(A)10 有效期至 2021 年 3 月 1 日；VA 法典 §2.2-4343(A)10 自 2021 年 3 月 1 日起生效。7 VA 法典 §2.2-4300。全文：为了使联邦的公共机构能够以合理的成本获得高质量的商品和服务，所有采购程序都以公平公正的方式进行，避免任何不当行为或不当表象，所有合格的供应商都能够获得公共业务，并且不会任意或反复无常地排除任何投标人，大会的意图是，在最大程度上寻求竞争，采购程序涉及公开性和行政效率，各个公共机构在制定此类竞争的细节方面享有广泛的灵活性，在竞争之前明确合同授予规则，规范反映采购机构的采购需求，而不是偏袒特定供应商，并且买方和供应商可以自由交换有关所寻求采购的内容和所提供内容的信息。公共机构在采购货物和非专业服务时可以考虑最佳价值概念，但不能考虑建筑或专业服务。考虑最佳价值的标准、因素和基础以及考虑最佳价值的过程应如采购招标中所述。
具有有效公共验证的完全同态加密
我们提出了一种有效的公开性验证的完全同态加密方案，该方案能够通过密文评估任意布尔电路，还产生了正确的同质计算的简洁证明。我们的方案基于DUCAS和MICCIANCIO（EUROCRYPT'15）提出的FHEW，我们将Ginx同型累加器（Eurocrypt'16）结合起来，以改善自举效率。为了使证明效果生成证明，我们将广泛使用的Rank-1约束系统（R1C）推广到环设置并获得环R1C，并在FHEW中属于同型同态计算。特别是，我们开发了在环R1C中有效表达的技术，即“非算术”操作，例如用于FHEW结构中使用的小工具分解和模量切换。我们通过将RING R1CS实例转换为多项式的汇总检查协议，然后将其编译为简洁的非交互式证明，通过将基于晶格的基于晶格的多项式承诺纳入Cini，Malavolta，Malavolta，Nguyen，nguyen和Wee（Wee（Wee）（Wee（Crypto'24））。结合在一起，我们公开的可验证的FHE方案依赖于有关晶格问题的标准硬度，以便在时间O（| c | 2·Poly（λ））和大小O（log 2 | C | C |·Poly（λ））中产生简洁的电路C的简洁证明。此外，我们的计划还实现了Walter（EPRINT 2024/1207）的最近提议的IND-SA（在半活性攻击下没有可区分性），当可以验证同型计算时，该安全性准确地捕获了客户数据隐私。