刷新
{{item.name}}会员
Compilation and Verification of Quantum Software In The Noisy and Approximate Regime
嘈杂近似体系中量子软件的编译与验证
基本信息
- 批准号：EP/Y004493/1
- 负责人：
- 金额：$ 4.39万
- 依托单位：
- 依托单位国家：英国
- 项目类别：Research Grant
- 财政年份：2023
- 资助国家：英国
- 起止时间：2023 至 无数据
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
目前GtR中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为摘要中包含个人详细信息等敏感信息。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Noah Linden其他文献
2 2 0 A pr 2 00 6 New Limits on Fault-Tolerant Quantum Computation
2 2 0 A pr 2 00 6 容错量子计算的新限制
- DOI：
- 发表时间：
2008 - 期刊：
- 影响因子：0
- 作者：
Harry Buhrman;R. Cleve;Monique Laurent;Noah Linden;Falk Unger - 通讯作者：
Falk Unger
The Hadamard gate cannot be replaced by a resource state in universal quantum computation
通用量子计算中的哈达玛门无法用资源状态替代
- DOI：
- 发表时间：
2023 - 期刊：
- 影响因子：0
- 作者：
Benjamin D. M. Jones;Paul Skrzypczyk;Noah Linden - 通讯作者：
Noah Linden
Lightweight Detection of a Small Number of Large Errors in a Quantum Circuit
量子电路中少量大误差的轻量级检测
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：6.4
- 作者：
Noah Linden;Ronald de Wolf - 通讯作者：
Ronald de Wolf
Noah Linden的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Noah Linden', 18)}}的其他基金
Software Enabling Early Quantum Advantage - SEEQA
软件实现早期量子优势 - SEEQA
- 批准号：
EP/Y004191/1 - 财政年份：2023
- 资助金额：
$ 4.39万 - 项目类别：
Research Grant
Reliable and Robust Quantum Computing
可靠且强大的量子计算
- 批准号：
EP/W032104/1 - 财政年份：2022
- 资助金额：
$ 4.39万 - 项目类别：
Research Grant
相似海外基金
Automated Formal Verification of Quantum Protocols for the Quantum Era
量子时代量子协议的自动形式验证
- 批准号：
24K20757 - 财政年份：2024
- 资助金额：
$ 4.39万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
FET: SHF: Small: A Verification Framework for Hybrid Classical and Quantum Protocols (VeriHCQ)
FET：SHF：小型：混合经典和量子协议的验证框架 (VeriHCQ)
- 批准号：
2330974 - 财政年份：2024
- 资助金额：
$ 4.39万 - 项目类别：
Standard Grant
Theoretical verification of the primordial universe based on theories of quantum gravity.
基于量子引力理论的原始宇宙理论验证。
- 批准号：
23K13100 - 财政年份：2023
- 资助金额：
$ 4.39万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Compilation and Verification of Quantum Software in the Noisy and Approximate Regime
嘈杂近似体系中量子软件的编译与验证
- 批准号：
EP/Y004736/1 - 财政年份：2023
- 资助金额：
$ 4.39万 - 项目类别：
Research Grant
Compilation and Verification of Quantum Software in the Noisy and Approximate Regime
嘈杂近似体系中量子软件的编译与验证
- 批准号：
EP/Y004140/1 - 财政年份：2023
- 资助金额：
$ 4.39万 - 项目类别：
Research Grant
Formal Verification of Quantum Logic Circuits
量子逻辑电路的形式验证
- 批准号：
DP220102059 - 财政年份：2022
- 资助金额：
$ 4.39万 - 项目类别：
Discovery Projects
Classical simulation and verification of quantum computation using matchgates and magic states
使用匹配门和魔法状态进行量子计算的经典模拟和验证
- 批准号：
2746767 - 财政年份：2022
- 资助金额：
$ 4.39万 - 项目类别：
Studentship
Verification of tristability of nuclear spin polarization in single quantum dot and construction of a unified model including nuclear quadrupole effect
单量子点核自旋极化三稳态验证及核四极效应统一模型构建
- 批准号：
21H01745 - 财政年份：2021
- 资助金额：
$ 4.39万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Experimental verification of novel quantum liquid crystal states in spin dimer magnets
自旋二聚体磁体中新型量子液晶态的实验验证
- 批准号：
20K03834 - 财政年份：2020
- 资助金额：
$ 4.39万 - 项目类别：
Grant-in-Aid for Scientific Research (C)