XiaoMi-AI文件搜索系统
World File Search System同构
基于结的基于钥匙交换协议
结是嵌入s 1，→s 3的环境同位素类型（请参见图2和定义2.1），自从远古时代以来，人类使用了自鞋款发明以来的最新时代。结的数学研究始于开尔文勋爵，假设原子实际上是结，分子是在以太中流动的链接。他的合作者彼得·泰特（Peter Tait）随后发起了结理论领域。基本问题是：给定两个结，它们是否相同？在20世纪初期的拓扑发展发展之后，开发了许多结的结[39]，以便对这个问题提供答案。当发现与3个和4个manifolds的研究深入联系时，对结理论的兴趣就会上升。例如，使用结来证明有异国情调的r 4，即同构但不构型的歧管对r 4 [15]。Jones和Witten通过发现琼斯多项式[20]及其与量子拓扑的量子场理论[41]的关系彻底改变了领域。这些突破之后，发现了Khovanov同源性[22]和结式同源性[35]，这些[35]极大地概括了琼斯和亚历山大多项式，并提供了积极的研究领域。在本文中，我们主要对结理论的两个方面感兴趣。第一个是一个称为连接总和的操作（请参见图5），该总和需要两个方向的结，将其切开并胶合
增强自主无人机导航的隐私和安全性
摘要 - 自主无人驾驶汽车（UAV）已成为国防，执法，灾难响应和产品交付的重要工具。这些自主导航系统需要一个无线通信网络，并且最近是基于深度学习的。在诸如边境保护或灾难响应之类的关键场景中，确保自主无人机的安全导航至关重要。但是，这些自主无人机容易受到通过通信网络或深度学习模型的对抗性攻击 - 窃听 /中间 /成员 /成员推理 /重建。为了解决这种敏感性，我们提出了一种创新的方法，该方法结合了增强学习（RL）和完全同型加密（FHE），以实现安全的自主无人机导航。此端到端的安全框架是为无人机摄像机捕获的实时视频供稿而设计的，并利用FHE对加密的输入图像执行推断。虽然FHE允许对加密数据进行计算，但某些计算运算符尚未实现。卷积神经网络，完全连接的神经网络，激活功能和OpenAI Gym库被精心适应FHE域，以实现加密的数据处理。我们通过广泛的实验证明了我们提出的方法的功效。我们提出的方法可确保自主无人机导航中的安全性和隐私性，并且绩效损失微不足道。索引术语 - 自主无人驾驶汽车，完全同构加密，隐私，增强学习
可通过基于晶格的Snarks
摘要。完全同态加密（FHE）是一种普遍的加密原始原始性，可以在加密数据上计算。在各种加密协议中，这可以使计算将计算外包给第三方，同时保留输入对计算的隐私。但是，这些方案对对手做出了诚实而有趣的假设。以前的工作试图通过将FHE与可验证的计算（VC）相结合来重新移动此假设。最近的工作通过引入环上的同构计算的完整性检查来提高了这种方法的灵活性。但是，对于大乘积深度的电路，有效的fhe也需要称为维护操作的非环计算，即Modswitching和Keyswitching，无法通过现有构造有效验证。我们提出了第一个有效可验证的FHE方案，该方案通常使用双CRT表示，在该方案中通常计算了FHE方案，并使用基于晶格的Snarks来分别证明该计算的组件，包括维护操作，包括维护操作。因此，我们的构造理论上可以处理引导操作。我们还介绍了对包含多个密文 - ciphertext多平台的计算的加密数据的可验证计算的首次实现。具体而言，我们验证了一个近似神经网络的同态计算，该计算在不到1秒钟内包含三层和> 100个密文，同时保持合理的摊贩成本。
即时物流
表 2.1 JIT 制造的示例定义 13 表 2.2 制造业中的 JIT 实践 15 表 3.1 JIT 和供应链管理的要素 42 表 3.2 精益供应链、敏捷性和 RSC 的比较 43 表 4.1 JIT 采购的典型实践 65 表 4.2 购买阻力和营销人员对 JIT 的反应 66 表 4.3 竞争优先级和采购 68 表 4.4 市场、关系和 JIT 关系在交换特征上的比较 69 表 4.5 库存类型及其用途 80 表 4.6 库存管理的缺陷及其症状 82 表 4.7 产品特征及其对运输的影响 98 表 4.8 运输选择标准及其对企业和服务提供商的影响 100 表 4.9 改善运输服务所需的信息 101 表 5.1 质量改进系统摘要 115 表 6.1 实施 JIT 物流的常见问题及其克服策略142 表 6.2 实施 JIT 物流的运营成功因素 143 表 6.3 供应链中采用 JIT 物流的制度同构维度 154 表 6.4 JIT 物流早期到高级阶段的绩效衡量标准 156 表 6.5 SCOR 绩效衡量标准 159
应用程序意识近似同质加密
完全同态加密（FHE）是在加密数据上执行计算的强大工具。Cheon-Kim-Kim-Song（CKKS）方案是近似FHE的实例化，对于具有真实和复数的机器学习应用程序特别有效。al-尽管CKK具有明确的效率优势，但混乱始终围绕着准确描述图书馆中的应用，并安全地实例化了这些问题的计划，尤其是在Li和Micciancio（Eurocrypt'21）的关键恢复攻击之后，用于IND-CPA D设置。目前在IND-CPA D的应用程序不合时宜的，通用的定义以及软件库中CKK的高效，特定于应用程序的实例之间存在差距，这导致了Guo等人的最新攻击。（USENIX SECurity'24）。要缩小此差距，我们介绍了应用程序意识到的同构加密（AAHE）的概念，并设计了相关的安全性定义。该模型更紧密地与实践中的方案实施和使用的方式更加紧密，同时还可以识别和解决流行库中潜在的漏洞。然后，我们提供了一种应用程序规范语言（ASL），并制定指南，以实现AAHE模型，以实现CKKS实际应用的IND-CPA D安全性。我们在OpenFhe库中提出了ASL的概念证明实现，以显示Guo等人的攻击方式。可以反驳。更重要的是，我们表明我们的新模型和ASL可用于确切方案的安全有效实例化，并应对Cheon等人最近的IND-CPA D攻击。（CCS'24）和Checri等。（加密24）。
LE GALL, François 研究兴趣
我的研究领域是理论计算机科学，即从数学角度研究计算的学科。我主要研究算法、计算复杂性和量子计算。我对算法的研究主要集中在图算法和代数算法上。特别是对于代数算法，我的主要目标是为出现在多个科学和技术领域的代数问题开发良好的算法。具体来说，我已经发现了用于测试代数结构（如群）同构的算法，以及用于线性和双线性代数的基本运算的算法。例如，我的一个成果（参考文献 [6]）关注矩阵乘法的复杂性，这是理论计算机科学中的主要开放问题之一，并在这个问题上取得了进展。复杂性理论是理论计算机科学的另一个核心问题。其目标是阐明几种计算模型的计算能力并证明它们的局限性（即证明它们无法计算什么）。该领域最著名的开放问题是 P ̸ =NP 猜想，它被克莱研究所选为千年难题。最近，我对分布式计算的计算复杂性特别感兴趣。量子计算是基于量子力学定律的计算范例。我最具代表性的成果是改进了三角形查找问题的量子复杂性（参考文献 [7]）。这个问题在量子环境中研究了 15 年多，要求确定给定的 n 节点图是否包含三角形。虽然先前的研究发现了一种运行时间为 O（n 9 / 7）的量子算法，但我的结果将复杂性进一步降低到 O（n 5 / 4）。
li – mg – zr – cl尖晶石
摘要：基于氯化物的固体电解质是由于其高LI +离子电导率和与高压氧化物阴极的全溶剂锂电池相关的材料而引人入胜的材料。然而，这些材料的主要示例仅限于三价金属（例如SC，Y和IN），这些金属价格昂贵且稀缺。在这里，我们通过用二二元和四价金属（例如Mg 2+和Zr 4+）代替三价金属来扩展这种材料家族。我们合成李2 mg 1/3 zr 1/3 cl 4在尖晶石晶体结构中，并将其性质与先前报道的高性能LI 2 SC 2/3 Cl 4进行比较。我们发现Li 2 mg 1/3 Zr 1/3 cl 4的离子电导率较低（在30°C时为0.028 ms/cm），比同构结构LI 2 SC 2/3 Cl 4（30°C时1.6 ms/cm）。我们将这种差异归因于Mg 2+和Zr 4+在LI 2 mg 1/3 Zr 1/3 Cl 4中的无序排列，这可能会阻止LI+迁移途径。但是，我们表明，Li 2 -Z Mg 1 - 3 Z /2 Zr Z Cl 4之间的Aliovalent取代在Li 2 MgCl 4和Li 2 Zrcl 6之间可以提高离子电导率，而ZR 4+含量的增加，可能是由于引入了Li +空位。这项工作为基于卤化物的固体电解质打开了一个新的维度，从而加快了低成本固态电池的开发。■简介
图形产品和测量等效性：分类，刚性和定量方面
我们从测量组理论的角度研究组的图形产品。我们首先建立了无限无限群体的图形产物的完整度量等效性分类，而无需转介且没有部分共轭。这发现了其分类的应用，直到相应性，以及同构和对其自称群体的研究。我们还得出了与图形产品的概率测量作用相关的von Neumann代数的结构特性。对等效分类语句的变体对定义图的假设更少。我们还提供了量化等效分类定理的量化版本，该版本可以跟踪相关的共体的整合性。作为一种应用，我们解决了大型右角Artin组的定量轨道等效性的反问题。然后，我们建立了几个刚性定理。首先，本着monod – shalom的工作精神，我们在施加了额外的真人性假设的情况下，实现了概率衡量图形产品的概率衡量作用的刚性。第二，我们在定义图和顶点组上建立了足够的条件，以确保图形g在无扭转组之间的测量等效性（从某种意义上说，每个无扭转的可计数组H均等效于G，实际上是G）。使用Higman组作为顶点组的变化，我们构建了一个刚性的组的第一个示例，该组是在无扭力组中刚度刚性的，但在准等级分析中却不是。
![arxiv：2312.02242v1 [hep-ph] 2023年12月4日](/simg/g:\will\search\icon\source\f\f2aeec6bc00a22e1af35e56df141431d09ff5140.webp)
arxiv：2312.02242v1 [hep-ph] 2023年12月4日
虽然对NATURE量子机械的模拟进行模拟的第一个建议可以追溯到Richard Feynman 1，但最近尝试将量子化理论应用于高能物理系统研究的最新尝试已被证明是特别成功的。As a paradigmatic example quantum state tomography, a procedure that allows full re- construction of the density matrix of a system by perform- ing a complementary series of measurements on an ensem- ble of identical copies of the system under scrutiny 2 , is ide- ally applicable to colliders, where large numbers of events are generated 3–6 , and has been applied to numerical simulation studies of various high energy particle physics systems 4–7 。量子算法，包括量子机学习技术，是为了识别Standard模型和数据8-10中的签名，以及对撞机事件的更计算经济模拟11。这些结果验证了粒子物理和量子信息的两个领域之间的预期一致性（标准模型基于量子场理论，这是量子理论），但可以进一步利用这种联系背后的数学细节，从而导致对这两个领域的新见解。在本文中，我们确定了choi-jamiolkowski同构12或状态通道二重性，是一种理论原理，使量子信息理论在计算标准模型散射振幅的计算中系统地应用，并认为值得以下原因引起粒子物理社区的注意。
DNA介导的T细胞参与和肿瘤杀死的多特异性抗体的组装
已经开发了创造性的方法来实现此属性。[1,2]在许多早期的概念验证研究中，BSAB是通过使用双功能交联试剂对两种不同的IgG或Fab进行化学交联产生的，这些试剂与抗体的硫醇和原发胺群特异性反应。[3,4]尽管以这种方式制备的几个BSAB已促进了临床试验，但[5-7]当前开发的绝大多数BSAB是通过重组抗体工程产生的。超过100种不同格式的多特异性抗体（MSAB）是基于免疫球蛋白G（IgG）或其成分进行了设计的（在参考文献[1]），有些包含FC，而另一些则没有。众所周知的无FC格式示例是串联单链可变片段（SCFV）[8]和串联纳米词。[9]中，由串联抗CD19和抗CD3 SCFV（blinatumomomab）组成的双特异性T细胞Endager（咬）是第一个FDA认可的BSAB，用于治疗急性淋巴细胞性白血病。[10,11]含有FC的天然IgG是对称的。向IgG引入双特异性或不对称性能，已经开发了各种方法来有利于异二聚体重型链配对。一些突出的例子是旋钮孔，[12]基于结构性的诱变，[13]和骨膜转向[14]，这些诱变有利于异二聚体或脱离FC的同构化。此外，将旋钮孔和附加IgG的两个臂之一与另一个SCFV或FAB相加的一个允许组装Tristexific抗体。[15]