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
相似国自然基金
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
- 资助金额：
$ 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