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
相似国自然基金
NRG-1/miR143-3p通路调控奥氮平治疗作用抵抗机制与干预靶点确认
- 批准号：82373854
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：面上项目
Fcγ受体驱动Ntrk1活化诱导巨噬细胞对抗体依赖性细胞吞噬获得性耐受的机制研究和靶标确认
- 批准号：82373892
- 批准年份：2023
- 资助金额：48 万元
- 项目类别：面上项目
APOBEC特征性突变作为卵巢透明细胞癌免疫治疗生物标志物的确认研究
- 批准号：82303968
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
针对严重耐药革兰阴性菌的药物新靶标确认及先导分子发现研究
- 批准号：82330110
- 批准年份：2023
- 资助金额：220 万元
- 项目类别：重点项目
白念珠菌F1Fo-ATP合酶中创新药靶的识别与确认研究
- 批准号：
- 批准年份：2022
- 资助金额：52 万元
- 项目类别：面上项目
相似海外基金
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