XiaoMi-AI文件搜索系统
World File Search Systemgend
SAFE-AI 研究议程（2024 年 9 月）
1. 形式保证：思考人工智能系统保证的最佳方式是什么？统计学、理论计算机科学或计量科学中是否有方法可以帮助我们开发测量方法，从而为我们提供可量化的保证水平？哪些形式置信度或概率度量是合适的，如何计算和解释它们？目前，我们可以保证人工智能系统的简单属性（Cohen 等人，2019 年），但复杂的安全属性目前仍然遥不可及。（注意：虽然形式验证目前超出了该计划的范围，但经过认证的稳健性是形式验证的一个特殊情况，它很有前景，我们希望支持其研究。）
议程 - 奥尔良，MA
一个用于跟踪EDC指标需求以及计划委员会和当地综合计划的系统。5。区域和全州经济举措参加了鳕鱼角委员会对区域政策计划的更新的经济焦点小组。《鳕鱼角委员会法》要求制定区域政策计划（RPP），该计划提供区域规划政策和目标，以指导开发和保护该地区的资源。该计划必须确定关键的资源和管理需求，包括增长政策，包含区域目标，并提供协调区域和地方规划工作的政策。
理事会例会 - 2021 年 6 月 8 日 - 议程
Meyer 议员告知议会，她参加了以下活动：a) 与 Skeena - Bulkley Valley 选区国会议员 T. Bachrach 的铁路安全市政厅谈话；以及 b) 2021 年 5 月 19 日星期三的史密瑟斯美术馆会议。会议期间，双方同意撤销进入主街树木的请求。Meyer 议员大声宣读了史密瑟斯美术馆于 2021 年 5 月 25 日发出的有关主街树木的信函。
议程更新：2025-03-06 11:19
Web3网络，令牌资产和量子突破将如何改变金钱的性质和功能？当金钱是个性化和象征化的情况下，会有针对个人需求量身定制的可编程功能会发生什么？量子技术将如何重新定义安全和信任的基础全球货币？从比特币作为价值存储的角色到中央银行数字货币的地缘政治贸易含义，该小组试图挑战传统的货币和价值看法，不仅是作为一种交换的媒介，而且是一种信息形式，而且是一种人性化，可编程，可编程和嵌入到通信系统的结构中。演讲者：Crypto.com首席合规官Antonio Alvarez Lorenzo Caroline Bowler，BTC市场首席执行官Effie DiMitropoulos首席执行官，AUDC PTY LTD首席执行官，AUDC PTY LTD主持人：Mark Staples博士
引用：Hall, L. & Clapton, W. (2021)。机器编程：性别、种族、性取向、人工智能以及边界可信度和欺骗的构建。《互联网政策评论》，10 (4)。https://doi.org/10.14763/2021.4.1601
摘要：人们越来越认识到人工智能 (AI) 的政治、社会、经济和战略影响的重要性。这引发了有关人工智能编程、使用和监管的重要伦理问题。本文认为，人工智能的编程和应用本质上都是 (顺) 性别化、性化和种族化的。毕竟，人工智能是由人类编程的，因此，谁来训练人工智能、教它学习以及这样做的伦理问题对于避免 (顺) 性别化和种族主义刻板印象的重现至关重要。本文的实证重点是欧盟资助的 iBorderCtrl 项目，该项目旨在通过实施多种基于人工智能的技术（包括面部识别和欺骗检测）来管理安全风险并提高第三国国民的过境速度。本文汇集了 1) 风险与安全 2) 人工智能与道德/移民/庇护以及 3) 种族、性别、（不）安全与人工智能等领域的文献，探讨了谎言检测对常规过境和难民保护的影响，概念重点关注性别、性取向和种族的交叉点。我们在此认为，iBorderCtrl 等人工智能边境技术存在重大风险，不仅会进一步边缘化和歧视 LGBT 人士、有色人种和寻求庇护者，还会强化现有的非入境做法和政策。