征文:教育和教育研究中的人工智能国际研讨会 (AIEER) AIEER 2024 教育和教育研究中的人工智能国际研讨会是第 27 届欧洲人工智能会议 ECAI 2024 [https://www.ecai2024.eu/] 的一部分。本次研讨会定于 2024 年 10 月 19 日至 20 日星期六和星期日举行。 研讨会范围 本次研讨会有两个不同的重点,旨在更广泛地面向教育人工智能领域。 第 1 部分。由社会科学主导的讨论,讨论人工智能应用可能有助于解决的教育中的实际问题。这包括教育和教学人工智能的研究,也包括社会科学、经济学和人文学科,包括所有学科,如教育和教学实际行动、以教育需求为重点的劳动力市场研究、教育史和相关教育文化遗产,以及决策和行为科学观点的信息预测。一方面,我们关注人工智能、教育和社会之间的联系。这包括定量和定性研究、分析教育和劳动力市场数据的数据科学方法、推荐系统的人工智能方法以及数字化学习。另一方面,我们关注如何使用人工智能来突破该领域的界限。这包括开发新方法(包括使用人工智能的方法)、寻找和提供可访问的新数据源、丰富数据等等。在这两种情况下,不同观点之间的沟通和相互理解至关重要,这也是本次研讨会的目标之一。更广泛地说,我们感兴趣的是人工智能方法如何影响教育的所有领域以及企业和劳动力市场。这包括从小学到高等教育的所有教育部门如何受到人工智能方法的影响和对其作出反应的方法。用人工智能方法设计数字化未来为教育提出了几个问题:在最广泛的层面上,立法和规范问题;在公司层面,关于投资决策以及如何保持生产力和劳动力的问题;在个人层面,关于资格以及哪些技能需要应用和可能重新学习的问题。因此,技能和资格是教育和教育研究中人工智能的核心。第 2 部分。关于可以开发哪些人工智能应用程序(以及如何开发)来解决第 1 部分提出的问题的(计算机科学主导)讨论。使用基于人工智能的系统来支持教学或学习已经发展了 40 多年,但近年来,由于 COVID-19 大流行期间电子学习工具的使用增加以及最近生成人工智能的爆炸式增长,其增长显着增加。我们正处于这一领域发展的关键时刻,人工智能专家和教育专家必须携手合作,以在教学过程中最佳地利用这项技术。本次研讨会旨在为展示新提案和反思这一具有如此社会意义的领域的最新技术创造空间。在第一部分中,我们特别关注人工智能的技术方面,重点关注用于内容创建(生成式人工智能)、学生分析(机器学习)、学习分析或教师可解释的人工智能方法的具体技术
武装部队部为我提供了住宿。这是什么类型的公园?随着住房雄心计划的实施,武装部队内部的租赁管理正在发生一些变化。为了帮助您了解影响到您的变化,您可以在此找到有关该部的住房存量的信息。武装部队部的房地产组合包括约 30,000 套住宅。并非所有人都拥有相同的地位。这对租赁管理有影响,因为租赁管理根据公园的类型遵循不同的规则。 - 州立公园(占公园总数的28%)。这些是国家所有的房屋。作为用户服务机构的武装部队部自 2023 年 1 月 1 日起将其管理委托给 NOVÉ 集团。如果您已收到 NOVE(您的新租赁管理联系人)的一份不稳定居住协议 (COP) 并需要签署,则您的住宿属于此类型。 - 已批准的园区(占园区总面积的 70%),即通过与出租人和社会或非社会运营商(例如 CDC Habitat、BATIGÈRE、SA HLM Logis Familial Varois 等)达成协议保留的住房。这些房屋不属于国家所有。武装部队部向这些运营商支付了一笔财政资助,以便其国民能够使用这些设备。如果您在入住时签署了“经典”租赁合同,您的住宿就属于此类。您不会受到州立公园特定措施的影响。 - 租赁存量(占总存量的 2%),即从私人业主租赁的住房。根据您所承担的具体职能(NAS 或 COP/A),我们为您分配了此类住宿。您不会受到州立公园特定措施的影响。 为什么我的租金和费用在 2023 年 1 月 1 日上涨?本信息中包含的信息涉及武装部队部分配的所有住宿的居住者,无论财产类型如何(国有、承包或租赁)。此外,更普遍地说,下面解释的增长也影响到法国的所有住房,无论租赁情况如何。众所周知,住宅租金包括固定部分(月租金或裸租金)和租赁费用,其中包括公用事业费用(水、电、煤气、暖气)、与公共区域维护有关的费用(集体设备的日常维修)以及房屋所有者转嫁给居住者的租赁税(例如家庭垃圾收集)。至于费用,这些费用是按月支付的,根据实际发票每年调整。关于固定部分,就是租金。 1月1日起,州立公园的占用费和保留公园的租金受到租金固定部分法定重估的影响。此次重新估价是一项合法的、普遍的措施,涉及法国所有私人和公共租赁物业。这是租赁审查指数(IRL)的应用。 2023 年年度重估为 3.6%。这一变化比近年来的变化要大得多,因为 IRL 反映了通货膨胀对租金的影响。关于在基本租金(占用费或经批准的公园租金)中添加的费用的规定;它们还遭受通货膨胀的困扰。能源成本、小型工程甚至工资上涨的增加转嫁到维护服务上,不可避免地会导致租赁费用的增加。
b'与 ED 一样,对于一般的混合态,EC 也很难计算,而且只在极少数特殊情况下才为人所知。但是,对于纯态,例如前面讨论过的 | \xcf\x88 \xce\xb8 \xe2\x9f\xa9 状态,EC = \xe2\x88\x92 Tr \xcf\x81 A log 2 ( \xcf\x81 A ) ,等于 ED 。实现纯态稀释过程的最佳方式是利用两种技术:(i)量子隐形传态,我们在一开始就介绍过,它简单地说是一个双方共享的贝尔态可以用来确定地转移一个未知的量子比特态,以及(ii)量子数据压缩[12],它的基本意思是,一个由 n 个量子比特组成的大消息,每个量子比特平均由一个密度矩阵 \xcf\x81 A 描述,可以压缩成可能更少的 k = nS ( \xcf\x81 A ) \xe2\x89\xa4 n 个量子比特;而且只要 n 足够大,就可以忠实地恢复整个消息。我们稍后会讨论量子数据压缩。纯态在渐近极限下的可逆性。有了这两个工具,爱丽丝可以先准备 n 份 | \xcf\x88 \xce\xb8 \xe2\x9f\xa9 (总共 2 n 个量子比特)在本地压缩 n 个量子比特为 k 个量子比特,然后 \xe2\x80\x9csend\xe2\x80\x9d 发送给 Bob,并使用共享的 k 个贝尔态将压缩的 k 个量子比特传送给 Bob。然后 Bob 将 k 个量子比特解压缩回未压缩的 n 个量子比特,这些量子比特属于纠缠态 | \xcf\x88 \xce\xb8 \xe2\x9f\xa9 的 n 个副本中的一半。因此,Alice 和 Bob 建立了 n 对 | \xcf\x88 \xce\xb8 \xe2\x9f\xa9 。这描述了纯态稀释过程的最佳程序。蒸馏的纠缠和纠缠成本被渐近地定义,即两个过程都涉及无限数量的初始状态的副本。对于纯态,EC = ED [7],这意味着这两个过程是渐近可逆的。但对于混合态,这两个量都很难计算。尽管如此,预计 EC ( \xcf\x81 ) \xe2\x89\xa5 ED ( \xcf\x81 ),即蒸馏出的纠缠不能比投入的多。形成的纠缠\xe2\x80\x94 是一个平均量 。然而,正如我们现在所解释的,有一个 EC 的修改,通过对纯态的 EC 取平均值获得,它被称为形成纠缠 EF [11, 13]。任何混合态 \xcf\x81 都可以分解为纯态混合 { pi , | \xcf\x88 i \xe2\x9f\xa9\xe2\x9f\xa8 \xcf\x88 i |} ,尽管分解远非唯一。以这种方式通过混合纯态构建混合态平均需要花费 P'
b'given x,y \ xe2 \ x88 \ x88 {0,1} n,设置不相交在于确定某些索引i \ xe2 \ x88 \ x88 \ x88 [n]是否x i = y i = 1。我们研究了在分布式计算方案中计算此功能的问题,在该方案中,在长度路径的两个末端将输入X和Y提供给处理器。该路径的每个顶点都有一个量子处理器,可以通过每回合交换O(log n)Qubits来与其每个邻居进行通信。我们对计算设置不相交所需的回合数感兴趣,而恒定概率远离1/2。我们称此问题\ xe2 \ x80 \ x9cset脱节在行\ xe2 \ x80 \ x9d上。集合脱节,以证明在计算模型中计算任意网络的直径的量子分布式复杂性。但是,当处理器在路径的中间顶点上使用的局部内存受到严重限制时,它们只能提供下限。更确切地说,仅当每个中间处理器的本地内存由O(log n)量子位组成时,它们的边界才适用。在这项工作中,我们证明了E \ xe2 \ x84 \ xa6 3 \ xe2 \ x88 \ x9a'
b'given x,y \ xe2 \ x88 \ x88 {0,1} n,设置不相交在于确定某些索引i \ xe2 \ x88 \ x88 \ x88 [n]是否x i = y i = 1。我们研究了在分布式计算方案中计算此功能的问题,在该方案中,在长度路径的两个末端将输入X和Y提供给处理器。该路径的每个顶点都有一个量子处理器,可以通过每回合交换O(log n)Qubits来与其每个邻居进行通信。我们对计算设置不相交所需的回合数感兴趣,而恒定概率远离1/2。我们称此问题\ xe2 \ x80 \ x9cset脱节在行\ xe2 \ x80 \ x9d上。集合脱节,以证明在计算模型中计算任意网络的直径的量子分布式复杂性。但是,当处理器在路径的中间顶点上使用的局部内存受到严重限制时,它们只能提供下限。更确切地说,仅当每个中间处理器的本地内存由O(log n)量子位组成时,它们的边界才适用。在这项工作中,我们证明了E \ xe2 \ x84 \ xa6 3 \ xe2 \ x88 \ x9a'
b'in最近的地标结果[Ji等。,arxiv:2001.04383(2020)],显示在允许玩家共享无限维度的量子状态时,近似两人游戏的值是不可决定的。在本文中,我们研究了量子系统的尺寸在t界定时,两人游戏的计算复杂性。更具体地说,我们给出一个半尺寸的尺寸的程序,以实验12(log 2(at) + log(q)log(at)) /\ xcf \ xb5 2来计算附加\ xcf \ xb5-关于具有T \ xc3 \ x97 t -dimum量的两次播放游戏的值的附加值,近似值,该量的量游戏分别。对于固定尺寸t,这在Q中以Q和准多态的多项式缩放在A中,从而改善了先前已知的近似算法,其中最差的运行时保证最充其量是Q和A中的指数。为了证明,我们与量子可分离性问题建立了联系,并采用了改进的多部分量子finetti定理,并具有线性约束,我们通过量子熵不等式得出。
b“极值图论的一个核心问题是确定给定图 H 在 \xef\xac\x81x 大小的图中诱导副本的最大数量。这个问题最早由 Pippenger 和 Golumbic [13] 研究,近年来已成为广泛研究的主题 [2, 3, 7, 8, 11, 18]。本文重点关注有向图的类似问题。准确地说,设 H 是有向图。有向图 G 中 H 的诱导密度,表示为 i ( H, G ),是 G 中 H 的诱导副本数量除以 | V ( G ) | | V ( H ) | 。对于整数 n ,设 i ( H, n ) 为所有 n 顶点有向图 G 中 i ( H, G ) 的最大值。H 的诱导性定义为为 i ( H ) = lim n \xe2\x86\x92\xe2\x88\x9e i ( H, n )。当 i ( H, n ) 对于 n \xe2\x89\xa5 2 递减时,此极限存在。只有极少数有向图的可诱导性是已知的。一类重要的例子是有向星号。对于非负整数 k 和 \xe2\x84\x93 ,让有向星号 S k,\xe2\x84\x93 为通过对具有 k + \xe2\x84\x93 叶子的星号的边进行有向图,使得中心具有出度 k 和入度 \xe2\x84\x93 。有向星形是所有边都具有相同方向的定向星形,即星形 S k,\xe2\x84\x93 ,使得 k = 0 或 \xe2\x84\x93 = 0。S 2 , 0 和 S 3 , 0 的可诱导性由 Falgas-Ravry 和 Vaughan [5] 确定。为了解决 [5] 中的一个猜想,Huang [10] 扩展了他们的结果,确定了对所有 k \xe2\x89\xa5 2 的 S k, 0 的可诱导性,表明它是通过对入度为 0 的部分进行不平衡的弧爆破而渐近获得的。注意,由于任何有向图的可诱导性等于通过反转所有弧得到的有向图的可诱导性,因此可以考虑有向星号 S k,\xe2\x84\x93 ,使得 k \xe2\x89\xa5 \xe2\x84\x93 。特别地,Huang 的结果还确定了对所有 \xe2\x84\x93 的 S 0 ,\xe2\x84\x93 的可诱导性。 [10] 的结果未涵盖的最小定向星是 S 1 , 1 ,即三个顶点上的有向路径。Thomass\xc2\xb4e [16,猜想 6.32] 猜想 i ( S 1 , 1 ) = 2 / 5,这是通过四个顶点上的有向环的迭代爆炸获得的。