刷新
{{item.name}}会员
Compilation and Verification of Quantum Software in the Noisy and Approximate Regime
嘈杂近似体系中量子软件的编译与验证
基本信息
- 批准号：EP/Y004140/1
- 负责人：
- 金额：$ 28.23万
- 依托单位：
- 依托单位国家：英国
- 项目类别：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 }}
Daniel Edward Browne其他文献
Daniel Edward Browne的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Daniel Edward Browne', 18)}}的其他基金
Software Enabling Early Quantum Advantage - SEEQA
软件实现早期量子优势 - SEEQA
- 批准号：
EP/Y004310/1 - 财政年份：2023
- 资助金额：
$ 28.23万 - 项目类别：
Research Grant
Unlocking the potential of Quantum LDPC Codes for low-overhead fault-tolerance
释放量子 LDPC 码在低开销容错方面的潜力
- 批准号：
EP/Y004620/1 - 财政年份：2023
- 资助金额：
$ 28.23万 - 项目类别：
Research Grant
Reliable and Robust Quantum Computing
可靠且强大的量子计算
- 批准号：
EP/W031485/1 - 财政年份：2022
- 资助金额：
$ 28.23万 - 项目类别：
Research Grant
Quantum Code Design And Architecture
量子代码设计与架构
- 批准号：
EP/R043647/1 - 财政年份：2018
- 资助金额：
$ 28.23万 - 项目类别：
Research Grant
相似海外基金
Automated Formal Verification of Quantum Protocols for the Quantum Era
量子时代量子协议的自动形式验证
- 批准号：
24K20757 - 财政年份：2024
- 资助金额：
$ 28.23万 - 项目类别：
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
- 资助金额：
$ 28.23万 - 项目类别：
Standard Grant
Theoretical verification of the primordial universe based on theories of quantum gravity.
基于量子引力理论的原始宇宙理论验证。
- 批准号：
23K13100 - 财政年份：2023
- 资助金额：
$ 28.23万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Compilation and Verification of Quantum Software in the Noisy and Approximate Regime
嘈杂近似体系中量子软件的编译与验证
- 批准号：
EP/Y004736/1 - 财政年份：2023
- 资助金额：
$ 28.23万 - 项目类别：
Research Grant
Compilation and Verification of Quantum Software In The Noisy and Approximate Regime
嘈杂近似体系中量子软件的编译与验证
- 批准号：
EP/Y004493/1 - 财政年份：2023
- 资助金额：
$ 28.23万 - 项目类别：
Research Grant
Formal Verification of Quantum Logic Circuits
量子逻辑电路的形式验证
- 批准号：
DP220102059 - 财政年份：2022
- 资助金额：
$ 28.23万 - 项目类别：
Discovery Projects
Classical simulation and verification of quantum computation using matchgates and magic states
使用匹配门和魔法状态进行量子计算的经典模拟和验证
- 批准号：
2746767 - 财政年份：2022
- 资助金额：
$ 28.23万 - 项目类别：
Studentship
Verification of tristability of nuclear spin polarization in single quantum dot and construction of a unified model including nuclear quadrupole effect
单量子点核自旋极化三稳态验证及核四极效应统一模型构建
- 批准号：
21H01745 - 财政年份：2021
- 资助金额：
$ 28.23万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Experimental verification of novel quantum liquid crystal states in spin dimer magnets
自旋二聚体磁体中新型量子液晶态的实验验证
- 批准号：
20K03834 - 财政年份：2020
- 资助金额：
$ 28.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)