XiaoMi-AI文件搜索系统
World File Search SystemComputability
镜子中的变异人：人工智能带来的酷儿成长
摘要：本文以酷儿为理论基础，探索设计与人工智能 (AI) 交互并以不同方式想象人工智能的可能性，为设计和人工智能的学术讨论做出了贡献。本文通过报告一项自理论实验来实现这一目标，在该实验中，我提出了以下问题：如果我们将人工智能理解为酷儿，一种处于形成状态的突变体；一种动态的、关系的、非二元的性别变体，会怎样？那么人工智能会如何以不同的方式出现在这个世界上并对我们人类采取行动？该实验使用生成对抗网络 (GAN) 来颠覆当今对人工智能的理解，并让新的人工智能命题生根发芽。这项工作让我们得以一窥设计拒绝的形式，这可能会让设计师在使用人工智能系统进行设计时认识到文化可计算性和自决性。
PQC 与 QKD - WiN-Lab
对于基于哈希的签名，人们认为系统的安全性基于对称哈希函数的可计算性这一经过充分研究的难度。这些方法通常使用哈希树，这是一种特殊的过程，可以为多个一次性签名分配一个公共验证密钥。因此，这样的系统是有状态的，即签名的创建者必须在每次操作后更新其签名密钥，并且在创建密钥时已经确定了最大签名数量。这些程序包括已经标准化的扩展 Merkle 签名方案 (XMSS) 和 Leighton Micali 系统 (LMS)。基于哈希函数的无状态签名系统也是可行的，但创建签名需要更多的计算时间，并且必须使用更长的签名。无状态签名系统的一个例子是 SPHINCS [7]。
Drenerlolaan 5，7522 NB发动机L.M.P
•哲学博士后文凭，法国天主教学院（法国哲学家）•哲学和思想史上的博士意大利罗马路易斯大学项目管理文凭。精选出版物书籍（2018-2023）：2023：无意识的网络。哲学精神分析和人工智能，Routledge 2022：软件和写作。一项哲学和历史研究，帕尔格雷夫·麦克米伦（Palgrave Macmillan）2021：算法无意识。心理分析如何有助于理解AI，Routledge 2019：游戏迭代编号。可计算理论哲学介绍，2018年大学出版物：l'Inconsistenza del numero。ipotesi sulla natura dellacomputabilità，il prato
超级计算的案例
在本文中，超计算指的是可以构建形式系统，识别、设计、构建或利用物理系统，这些系统具有超越图灵机的能力。超计算通常指可以计算非递归函数的系统，但也有人谈到超图灵系统，它不一定计算任何非递归的东西，但在复杂性或其他指标方面却胜过图灵机。然而，一般来说，超计算和超图灵这两个术语往往可以互换使用，不同的学科对其中一个术语略有偏好。我希望说服你，数学或物理学中没有任何东西可以阻止这种系统的实现。但从某种意义上说，这是一个次要问题，因为即使我们接受超计算在物理现实中没有任何基础，它仍然是一个非常有用的逻辑思想，它提供了一个比其单纯的计算对应物更全面的数学、物理和生物过程模型。借用 MacLennan 的话 [1] ，基于标准递归的可计算性本身无法满足对具有正交幂概念的模型的现实和迫切需求，尤其是当计算
《理论与应用信息技术》期刊范围
人工智能 软件和硬件架构 智能系统 软件工程 互联网和网络 专家系统 计算机模拟 数据库系统 生物信息学 计算智能 编程语言 电子商务 无线通信 计算机系统 控制系统 系统工程 自动机理论 可计算性理论 计算复杂性 并发性理论 算法 数据结构 操作系统 计算机通信 信息理论 互联网、万维网 无线计算 移动计算 计算机安全 可靠性 密码学 容错计算 分布式计算 网格计算 并行计算 高性能计算 量子计算 计算机图形学 图像处理 科学可视化 计算几何 软件需求 软件设计 软件测试 软件维护 ERP 问题 软件配置 软件流程 软件工程工具 软件质量 形式化方法 编程语言
在高中物理课程中引入理论计算机科学
理论计算机科学是一个非平凡的主题，可以激励和教学计算机科学学位的学生。在物理课程的背景下，在高中层面上解决此主题，并将该主题中的实际问题与理论计算机科学问题联系起来，可以使对计算性理论的研究更加易于访问，并吸引了大学一级的学生。该海报描述了一种在高中物理课程的背景下，将理论计算机科学概念（例如可使用和算法复杂性）以及各种教育活动以及实施这种方法的各种教育活动的背景下进行整合的方法。这部小说促进了我们在熟悉的主题和更自然和直观的方式中扩大学生在理论计算机科学中的复杂思想的曝光。所有问题和活动都是在物理课程中构建的，但与K-12课程中其他学科的计算问题显然有关。
Oppenheim 研讨会 2024 机器学习和人工智能
摘要：一致性和信任对于成功将人工智能整合到医疗保健（包括数字孪生项目）中至关重要，该领域涉及医务人员、患者、管理人员、公共卫生官员和纳税人等各种利益相关者，所有这些人都会影响这些概念的定义方式。本次演讲介绍了一系列协作医疗案例研究，其中人工智能算法逐渐从透明变为更加不透明，因此一致性评估的难度也随之增加。这些范围从基于树的创伤诊断方法到基于 LLM 的急诊科副驾驶，以及用于从病理报告中提取结构化数据的机械电路。它们以 Veridical 数据科学 (VDS) 原则（可预测性、可计算性和稳定性 (PCS)）为指导，旨在建立信任和可解释性，使医生能够评估一致性。演讲最后讨论了将 VDS 应用于医学基础模型以及评估医疗保健中人工智能算法一致性的后续步骤。上午 10:20 至上午 10:40 咖啡/茶歇（数学员工休息室）
连续可变量子的操作量化...
在实际任务中量子状态实用性的基础的各种资源范围促使开发普遍适用的方法来衡量和比较不同类型的资源。但是，迄今为止，许多此类方法都限于有限维度或与操作任务无关。我们通过引入一种基于鲁棒性度量的连续变量量子系统来量化资源的一般方法来克服这一点，适用于多种物理相关的资源，例如光学非经典性，纠缠，真正的非高斯性和连贯性。我们特别证明该度量具有直接的操作解释，作为一类渠道歧视任务中给定状态的优势。我们表明，鲁棒性构成了任何凸资源理论中的良好，真正的资源量化符，与一种相关的基于负面的措施（称为标准鲁棒性）相反。此外，我们显示了可直接观察到的鲁棒性 - 可以将其计算为单个证人操作员的期望值 - 并建立了评估该度量的一般方法。明确将我们的结果应用于相关资源，我们证明了几类状态的鲁棒性的确切可计算性。
连续变量量子资源的操作量化
在实际任务中量子状态实用性的基础的各种资源范围促使开发普遍适用的方法来衡量和比较不同类型的资源。但是，迄今为止，许多此类方法都限于有限维度或与操作任务无关。我们通过引入一种基于鲁棒性度量的连续变量量子系统来量化资源的一般方法来克服这一点，适用于多种物理相关的资源，例如光学非经典性，纠缠，真正的非高斯性和连贯性。我们特别证明该度量具有直接的操作解释，作为一类渠道歧视任务中给定状态的优势。我们表明，鲁棒性构成了任何凸资源理论中的良好，真正的资源量化符，与一种相关的基于负面的措施（称为标准鲁棒性）相反。此外，我们显示了可直接观察到的鲁棒性 - 可以将其计算为单个证人操作员的期望值 - 并建立了评估该度量的一般方法。明确将我们的结果应用于相关资源，我们证明了几类状态的鲁棒性的确切可计算性。
综合宽松的获胜策略模板
摘要。我们提出了一种新的方法，可以在两人游戏中计算有限的胜利策略，这些策略具有ω的冠军条件。给定游戏图G和平均赢得条件φ，我们计算了一个获胜的策略模板ψ，该模板ψ在简明的数据结构中收集了目标φ的胜利策略。We use this new representation of sets of winning strategies to tackle two problems arising from applications of two-player games in the context of cyber-physical system design – (i) incremental synthesis , i.e., adapt- ing strategies to newly arriving, additional ω -regular objectives Φ ′ , and (ii) fault-tolerant control , i.e., adapting strategies to the occasional or persistent执行器不可用。我们的策略模板的主要特征（我们用于解决这些挑战）是它们的简单可计算性，适应性和组成性。对于增量综合，我们从经验上表明，如果添加的规格数量增加，我们的技术表明，我们的技术大大优于现有方法。虽然我们的方法尚未完成，但我们的原型实现将在所有1400个基准中返回完整的获胜区域，即在实践中处理大型问题类别。