XiaoMi-AI文件搜索系统
World File Search System编译器
糖尿病研究的研究审查
印度班加罗尔的Ja那教计算机科学和信息技术系摘要：有效的量子电路汇编对于最大化嘈杂的中等规模量子（NISQ）设备的实用性至关重要。本文使用动态编程提出了一种新型的自适应量子电路汇编技术，该技术可以显着降低电路深度，同时保持高保真度。我们的方法称为ADAQC（自适应量子编译器），根据特定的量子硬件约束和噪声特性，动态调整了编译策略。与最先进的编译器相比，我们证明了电路深度降低30％，基准电路在超导二极管体系结构上的忠诚度损失不到1％。此外，我们还对各种量子算法和硬件配置中ADAQC的性能进行了全面分析，从而展示了其在现实世界中的适应性和效率。索引术语：量子计算，电路编译，NISQ，动态编程，自适应算法
任何非局部游戏的量子优势
我们展示了一种将任何 k 个证明者非局部博弈编译成单证明者交互式博弈的通用方法，同时保持相同的（量子）完整性和（经典）健全性保证（安全参数中的加性因子最多可忽略不计）。我们的编译器使用任何满足辅助（量子）输入自然正确性的量子同态加密方案（Mahadev，FOCS 2018；Brakerski，CRYPTO 2018）。同态加密方案用作模拟空间分离效果的加密机制，并且需要对加密查询评估 k - 1 个证明者策略（选出 k 个）。结合从著名的 CHSH 博弈（Clauser、Horne、Shimonyi 和 Holt，Physical Review Letters 1969）开始的（纠缠）多证明者非局部博弈的丰富文献，我们的编译器为构建机制来经典地验证量子优势提供了一个广泛的框架。
信息电池
应对可再生能源的间歇性是一项根本挑战，负荷转移和电网规模存储是关键的应对措施。我们提出了信息电池 (IB)，其中能量以信息的形式存储——具体来说，是已完成的计算任务的结果。因此，信息电池通过推测负荷转移提供存储，预测未来将执行的计算。我们从分布式系统的角度出发，评估通过增强编译器工具链、键值存储和现代超大规模计算中的其他重要元素，IB 存储系统的实用程度。具体来说，我们通过增强 Rust 编译器来实现一个特定的 IB 原型，以实现透明的函数级预计算和缓存。我们评估了这带来的开销，以及宏观层面的作业预测和功率预测。我们还评估了 IB 系统的操作空间，以确定给定功率和计算机制下任何 IB 系统的最佳效率。
CS8803 O13 教学大纲：量子计算简介
量子计算有望为一类重要问题带来指数级加速。数十个量子比特的量子计算机已经得到演示，预计未来几年量子比特数量将超过百个。量子计算是一个跨学科领域，涉及的主题包括物理设备（离子阱、超导、自旋等）、纠错码（表面码或短码）、系统和架构（内存/微架构）、编译器和工具（模拟和编程）、算法和应用程序。本课程旨在为计算机科学和电子工程专业的学生提供量子计算的基本背景知识，并使他们掌握在真实量子计算机上编写代码和优化量子程序的技能。本课程将更多地关注量子计算的“计算”方面，并将涵盖近期（NISQ 计算模型）和长期（容错量子计算）量子计算的架构、编译器和应用程序。
锥形量热仪注释书目 1982-1991 - GovInfo
编译器已知的量热仪。具体排除的内容包括： — 制造商的宣传资料 — 专有或不向公众开放的报告 — 仅包含摘要、不附带数据的出版物 — 具有短暂或非技术意义的参考资料。
CS8803教学大纲：量子计算简介
量子计算承诺针对一类重要问题的指数加速。量子计算机已经证明了数十个Qubit的量子计算机，并且预计未来几年的量子计数预计将跨越一百。量子计算是一个跨学科领域到错误校正代码（表面代码或shor代码）到系统和体系结构（内存/微观结构）到编译器和工具（仿真和编程），算法和应用程序。本课程的目的是为CS和ECE的学生提供量子计算的基本背景，并为他们提供编写代码并在实际量子计算机上优化量子程序的技能。本课程将更多地关注量子计算的“计算”方面，并将涵盖量子计算的架构，编译器和应用程序的近期（NISQ计算模型）和长期（容错的量子计算）。
CS7400 (在线) 量子计算简介
量子计算有望为一类重要问题带来指数级加速。数十个量子比特的量子计算机已经得到演示，预计未来几年量子比特数量将超过百个。量子计算是一个跨学科领域，涉及的主题包括物理设备（离子阱、超导、自旋等）、纠错码（表面码或短码）、系统和架构（内存/微架构）、编译器和工具（模拟和编程）、算法和应用程序。本课程旨在为计算机科学和电子工程专业的学生提供量子计算的基本背景知识，并使他们掌握在真实量子计算机上编写代码和优化量子程序的技能。本课程将更多地关注量子计算的“计算”方面，并将涵盖近期（NISQ 计算模型）和长期（容错量子计算）量子计算的架构、编译器和应用程序。
CS7400 (在线) 量子计算简介
量子计算有望为一类重要问题带来指数级加速。数十个量子比特的量子计算机已经得到演示，预计未来几年量子比特数量将超过百个。量子计算是一个跨学科领域，涉及的主题包括物理设备（离子阱、超导、自旋等）、纠错码（表面码或短码）、系统和架构（内存/微架构）、编译器和工具（模拟和编程）、算法和应用程序。本课程旨在为计算机科学和电子工程专业的学生提供量子计算的基本背景知识，并使他们掌握在真实量子计算机上编写代码和优化量子程序的技能。本课程将更多地关注量子计算的“计算”方面，并将涵盖近期（NISQ 计算模型）和长期（容错量子计算）量子计算的架构、编译器和应用程序。
OU：自动化零知识协议的并行化
零知识证明（ZKP）是一种强大的加密原理，用于许多分散或以隐私为中心的应用程序。但是，ZKP的高开销可以限制其实际适用性。我们设计了一种编程语言OU，旨在在编写有效的ZKP时减轻程序员的负担以及编译器框架Lian，该框架可以自动化对计算集群的语句分析和分布。lian使用编程语言语义，形式方法和组合优化，将OU程序自动将OU程序划分为有效尺寸的块，以进行并行ZK提供和/或验证。我们贡献：（1）一种前端语言，用户可以在熟悉的语法中将证明语句写为命令式程序； （2）自动分析程序并将其编译成优化的IR的编译器体系结构和实现，可以将其提升为各种ZKP构造； （3）基于伪树状优化和整数线性编程的切割算法，将指令重新定义，然后将程序分配为有效尺寸的块，以进行并行评估和有效的状态和解。