Reliable and Robust Quantum Computing
Reliable and Robust Quantum Computing
批准号:
EP/W032635/1
负责人:
Thomas Melham
金额:
$283.81万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2022
资助国家:
英国
项目状态:
未结题
起止时间:
2022 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Over 60 years of work in computer science and engineering has defined and refined a tower of abstractions that constitute the solidfoundations of today's classical computer systems. Key challenges to reliability and correctness have been faced-and overcome-at dozens of levelsin the stack, and there is a wealth of insight and expertise in the diverse community of ICT researchers who work across it.In the last decade, progress on quantum computing has accelerated, and it is becoming an international industry in its own right.Nevertheless, quantum computing is still at the beginning of its journey. Small-scale prototype devices have demonstrated the potential forthis technology, and milestone experiments have demonstrated a quantum computer's capability to out perform classical hardware on speciallydesigned problems, but the construction of a reliable and robust large-scale quantum device capable of challenging the world's classicalsupercomputers for useful real world problems remains a huge challenge.We do not think that classical ICT has ready-made solutions to this challenge, but we believe that significant advances in the field willarise through a broad spectrum of genuinely cross-disciplinary exchange, allowing for close contact of quantum computing researchers with thescientific tools, methods and (especially) mindsets of the ICT research community - across a broad spread of the key classical computing stacks.This project will open up a dialogue between quantum computing and ICT research communities, particularly ICT researchers engaged in computersystems and architecture research, by creating a network of researchers who will co-design a research project to develop and advancesolutions for reliable and robust quantum computation, addressing key layers across the principal computing stacks.
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
10.1103/prxquantum.5.010324
发表时间:
2023-05
期刊:
PRX Quantum
影响因子:
9.7
作者:
[Hamza Jnane;Jonathan Steinberg;Z. Cai;H. C. Nguyen;Bálint Koczor]
通讯作者:
Hamza Jnane;Jonathan Steinberg;Z. Cai;H. C. Nguyen;Bálint Koczor
A Lattice-Reduction Aided Vector Perturbation Precoder Relying On Quantum Annealing
一种基于量子退火的格约化辅助矢量扰动预编码器
DOI:
10.1109/lwc.2024.3365874
发表时间:
2024
期刊:
IEEE Wireless Communications Letters
影响因子:
6.3
作者:
[Winter S]
通讯作者:
Winter S
Accelerating Finite State Machine-Based Testing using Reinforcement Learning
使用强化学习加速基于有限状态机的测试
DOI:
10.1109/tse.2024.3358416
发表时间:
2024
期刊:
IEEE Transactions on Software Engineering
影响因子:
7.4
作者:
[Türker U]
通讯作者:
Türker U
DOI:
10.1088/1751-8121/ad0ac7
发表时间:
2023-02
期刊:
Journal of Physics A: Mathematical and Theoretical
影响因子:
--
作者:
[Jonathan Foldager;Bálint Koczor]
通讯作者:
Jonathan Foldager;Bálint Koczor
DOI:
10.1145/3624699
发表时间:
2022-06
期刊:
Communications of the ACM
影响因子:
22.7
作者:
[Dhaminda B. Abeywickrama;A. Bennaceur;Greg Chance;Y. Demiris;Anastasia Kordoni;Mark Levine;Luke Moffat-Luke]
通讯作者:
Dhaminda B. Abeywickrama;A. Bennaceur;Greg Chance;Y. Demiris;Anastasia Kordoni;Mark Levine;Luke Moffat-Luke
Abstraction Discovery and Refinement for Model Checking Partially Ordered State Spaces
-
批准号:EP/E026745/1
-
项目类别:Research Grant
-
资助金额:$20.49万
-
财政年份:2006
-
负责人:Thomas Melham
-
依托单位:
国内基金
海外基金
登录
查看更多内容
供应链管理中的稳健型(Robust)策略分析和稳健型优化(Robust Optimization )方法研究
-
批准号:70601028
-
项目类别:青年科学基金项目
-
资助金额:7.0万元
-
批准年份:2006
-
负责人:王明征
-
依托单位:
心理紧张和应力影响下Robust语音识别方法研究
-
批准号:60085001
-
项目类别:专项基金项目
-
资助金额:14.0万元
-
批准年份:2000
-
负责人:韩纪庆
-
依托单位:
ROBUST语音识别方法的研究
-
批准号:69075008
-
项目类别:面上项目
-
资助金额:3.5万元
-
批准年份:1990
-
负责人:高雨青
-
依托单位:
改进型ROBUST序贯检测技术
-
批准号:68671030
-
项目类别:面上项目
-
资助金额:2.0万元
-
批准年份:1986
-
负责人:刘有恒
-
依托单位: