咨询与建议

限定检索结果

文献类型

  • 51 篇 期刊文献
  • 40 篇 会议

馆藏范围

  • 91 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 75 篇 工学
    • 52 篇 计算机科学与技术...
    • 40 篇 软件工程
    • 11 篇 电气工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 信息与通信工程
    • 1 篇 控制科学与工程
  • 29 篇 理学
    • 23 篇 物理学
    • 5 篇 数学
  • 5 篇 管理学
    • 5 篇 管理科学与工程(可...
  • 3 篇 教育学
    • 3 篇 教育学

主题

  • 91 篇 quantum programm...
  • 26 篇 quantum computin...
  • 6 篇 qiskit
  • 4 篇 verification
  • 3 篇 termination
  • 3 篇 compilers
  • 3 篇 quantum simulati...
  • 3 篇 quantum random w...
  • 3 篇 quantum algorith...
  • 3 篇 quantum computin...
  • 3 篇 security
  • 3 篇 formal verificat...
  • 3 篇 quantum computat...
  • 3 篇 programming lang...
  • 2 篇 quantum walk
  • 2 篇 quantum nonlocal...
  • 2 篇 full abstraction
  • 2 篇 curriculum
  • 2 篇 abstract interpr...
  • 2 篇 computational mo...

机构

  • 6 篇 chinese acad sci...
  • 4 篇 tsinghua univ de...
  • 4 篇 univ technol syd...
  • 4 篇 tsinghua univ pe...
  • 3 篇 oak ridge natl l...
  • 2 篇 lawrence berkele...
  • 2 篇 kyushu univ fuku...
  • 2 篇 north china inst...
  • 2 篇 mit csail 32 vas...
  • 2 篇 cleveland state ...
  • 2 篇 chinese acad sci...
  • 2 篇 cleveland state ...
  • 2 篇 inesc tec high a...
  • 2 篇 max planck insti...
  • 2 篇 univ technol syd...
  • 2 篇 max planck inst ...
  • 1 篇 chitkara univ in...
  • 1 篇 univ castilla la...
  • 1 篇 univ waterloo wa...
  • 1 篇 imdea software i...

作者

  • 12 篇 ying mingsheng
  • 6 篇 mccaskey alexand...
  • 6 篇 feng yuan
  • 6 篇 yu nengkun
  • 5 篇 nguyen thien
  • 3 篇 zhou li
  • 3 篇 li zhou
  • 3 篇 zhao jianjun
  • 2 篇 tao runzhou
  • 2 篇 de visme marc
  • 2 篇 zuliani paolo
  • 2 篇 sang janche
  • 2 篇 alvarado-valient...
  • 2 篇 roetteler martin
  • 2 篇 garcia-alonso jo...
  • 2 篇 clairambault pie...
  • 2 篇 hou tong
  • 2 篇 santos-olmo anto...
  • 2 篇 li yangjia
  • 2 篇 ding dong

语言

  • 83 篇 英文
  • 8 篇 其他
检索条件"主题词=Quantum Programming"
91 条 记 录,以下是81-90 订阅
排序:
Verification of Distributed quantum Programs
收藏 引用
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2022年 第3期23卷 19-19页
作者: Feng, Yuan Li, Sanjiang Ying, Mingsheng Univ Technol Sydney Ctr Quantum Software & Informat 15 Broadway Ultimo NSW 2007 Australia Chinese Acad Sci Inst Software 4 Zhongguancun South Fourth St Beijing 100190 Peoples R China Tsinghua Univ Dept Comp Sci 30 Shuangqing Rd Beijing 100190 Peoples R China
Distributed quantum systems and especially the quantum Internet have the ever-increasing potential to fully demonstrate the power of quantum computation. This is particularly true given that developing a general-purpo... 详细信息
来源: 评论
Exploring quantum Comprehension Through the Elitzur-Vaidman Bomb Testing Problem
收藏 引用
BRAZILIAN JOURNAL OF PHYSICS 2023年 第6期53卷 152-152页
作者: Pinto, Vinicius Pereira de Oliveira, Bruno Pereira Yasuoka, Fatima Maria Mitsue Courteille, Philippe Wilhelm de Castro Neto, Jarbas Caiado Univ Sao Paulo Sao Carlos Inst Phys BR-13560970 Sao Carlos SP Brazil BR Labs Tecnol Opt & Foton Ltda BR-13567020 Sao Carlos SP Brazil
The Elitzur-Vaidman bomb testing problem is a thought experiment in quantum mechanics that explores the concepts of quantum superposition and entanglement. The problem creates a scenario where a bomb is activated by a... 详细信息
来源: 评论
QISS: quantum-Enhanced Sustainable Security Incident Handling in the IoT
收藏 引用
INFORMATION 2024年 第4期15卷 181-181页
作者: Blanco, Carlos Santos-Olmo, Antonio Sanchez, Luis Enrique Univ Cantabria Dept Comp Sci & Elect Santander 39005 Spain Univ Castilla La Mancha Techonol & Informat Syst Dept Ciudad Real 13071 Spain
As the Internet of Things (IoT) becomes more integral across diverse sectors, including healthcare, energy provision and industrial automation, the exposure to cyber vulnerabilities and potential attacks increases acc... 详细信息
来源: 评论
A formally certified end-to-end implementation of Shor's factorization algorithm
收藏 引用
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA 2023年 第21期120卷 e2218775120-e2218775120页
作者: Peng, Yuxiang Hietala, Kesha Tao, Runzhou Li, Liyi Rand, Robert Hicks, Michael Wu, Xiaodi Univ Maryland Dept Comp Sci College Pk MD 20740 USA Univ Maryland Joint Ctr Quantum Informat & Comp Sci College Pk MD 20740 USA Columbia Univ Dept Comp Sci New York NY 10027 USA Univ Chicago Dept Comp Sci Chicago IL 60637 USA
quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but it is useful only if computed answers are correct. While hardware-level decoherence errors have garnered signifi... 详细信息
来源: 评论
quantum Weakest Preconditions for Reasoning about Expected Runtimes of quantum Programs  22
Quantum Weakest Preconditions for Reasoning about Expected R...
收藏 引用
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
作者: Junyi Liu Li Zhou Gilles Barthe Mingsheng Ying Institute of Software Chinese Academy of Sciences China and University of Chinese Academy of Sciences China Max Planck Institute for Security and Privacy Germany Max Planck Institute for Security and Privacy Germany and IMDEA Software Institute Spain Institute of Software Chinese Academy of Sciences China and Tsinghua University China
We study expected runtimes for quantum programs. Inspired by recent work on probabilistic programs, we first define expected runtime as a generalisation of quantum weakest precondition. Then, we show that the expected... 详细信息
来源: 评论
Introduction to quantum Computing  20
Introduction to Quantum Computing
收藏 引用
Proceedings of the 51st ACM Technical Symposium on Computer Science Education
作者: Chris Granade Mariia Mykhailova Mark Tsang Microsoft Corporation Redmond WA USA
In just hours or days, a quantum computer can solve complex problems that would otherwise take billions of years for today's computers to solve. This has massive implications for research and workforce development... 详细信息
来源: 评论
Development of quantum Safe Polynomial-Based Cryptography in Classical and quantum Framework
收藏 引用
INTERNET TECHNOLOGY LETTERS 2024年 第0期
作者: Hasija, Taniya Ramkumar, K. R. Singh, Bhupendra Chitkara Univ Inst Engn & Technol Rajpura Punjab India Def Res & Dev Org Ctr Artificial Intelligence & Robot Bangalore India
The advent of quantum computers has brought forth a substantial danger to the security of current cryptographic algorithms, necessitating the development of quantum-resistant algorithms to ensure data protection. The ... 详细信息
来源: 评论
quantum Expectation Transformers for Cost Analysis  22
Quantum Expectation Transformers for Cost Analysis
收藏 引用
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
作者: Martin Avanzini Georg Moser Romain Pechoux Simon Perdrix Vladimir Zamdzhiev Inria Sophia Antipolis France University of Innsbruck Austria Inria LORIA and Universite de Lorraine France
We introduce a new kind of expectation transformer for a mixed classical-quantum programming language. Our semantic approach relies on a new notion of a cost structure, which we introduce and which can be seen as a sp... 详细信息
来源: 评论
quantum Hoare Logic with Classical Variables
收藏 引用
ACM TRANSACTIONS ON quantum COMPUTING 2021年 第4期2卷 1-1页
作者: Feng, Yuan Ying, Mingsheng Univ Technol Sydney Sydney Australia Chinese Acad Sci Beijing Peoples R China Tsinghua Univ Beijing Peoples R China Univ Technol Sydney Ctr Quantum Software & Informat Sydney NSW Australia Chinese Acad Sci Inst Software Beijing Peoples R China
Hoare logic provides a syntax-oriented method to reason about program correctness and has been proven effective in the verification of classical and probabilistic programs. Existing proposals for quantumHoare logic ei... 详细信息
来源: 评论
quantum Weakest Preconditions for Reasoning about Expected Runtimes of quantum Programs
收藏 引用
Journal of the ACM 1000年
作者: Junyi Liu Li Zhou Gilles Barthe Mingsheng Ying Institute of Software Chinese Academy of Sciences Beijing China Institute of Software Chinese Academy of Sciences Beijing China IMDEA Software Institute Boadilla del Monte Spain Department of Computer Science Tsinghua University Beijing China
We study expected runtimes for quantum programs. Inspired by recent work on probabilistic programs, we first define expected runtime as a generalisation of quantum weakest precondition. Then, we show that the expected... 详细信息
来源: 评论