咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Reachability analysis of quantum Markov decision processes
收藏 引用
INFORMATION AND COMPUTATION 2018年 263卷 31-51页
作者: Ying, Shenggang Ying, Mingsheng Univ Technol Sydney Fac Engn & Informat Technol Ctr Quantum Software & Informat Sydney NSW Australia Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China Tsinghua Univ Dept Comp Sci & Technol Beijing Peoples R China
We introduce the notion of quantum Markov decision process (qMDP) as a semantic model of nondeterministic and concurrent quantum programs. It is shown by examples that qMDPs can be used in analysis of quantum algorith... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Algorithmic Analysis of Termination Problems for quantum Programs
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2018年 第POPL期2卷 1-29页
作者: Li, Yangjia Ying, Mingsheng Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing 100190 Peoples R China Univ Technol Sydney Sydney NSW Australia Tsinghua Univ Beijing 100084 Peoples R China
We introduce the notion of linear ranking super-martingale (LRSM) for quantum programs (with nondeterministic choices, namely angelic and demonic choices). Several termination theorems are established showing that the... 详细信息
来源: 评论
A Flowchart Language for quantum programming
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2011年 第4期37卷 466-485页
作者: Ying, Mingsheng Feng, Yuan Univ Technol Sydney Fac Engn & Informat Technol Ctr Quantum Computat & Intelligent Syst Sydney NSW 2007 Australia Tsinghua Univ Dept Comp Sci & Technol Tsinghua Natl Lab Informat Sci & Technol State Key Lab Intelligent Technol & Syst Beijing 100084 Peoples R China
Several high-level quantum programming languages have been proposed in the previous research. In this paper, we define a low-level flowchart language for quantum programming, which can be used in implementation of hig... 详细信息
来源: 评论
Extending scientific computing system with structural quantum programming capabilities
收藏 引用
BULLETIN OF THE POLISH ACADEMY OF SCIENCES-TECHNICAL SCIENCES 2010年 第1期58卷 77-88页
作者: Gawron, P. Klamka, J. Miszczak, J. A. Winiarczyk, R. Polish Acad Sci Inst Theoret & Appl Informat PL-44100 Gliwice Poland
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming languages and we use quantum pseudo-code ba... 详细信息
来源: 评论
t Verification of quantum programs
收藏 引用
SCIENCE OF COMPUTER programming 2013年 第9期78卷 1679-1700页
作者: Ying, Mingsheng Yu, Nengkun Feng, Yuan Duan, Runyao Univ Technol Sydney Ctr Quantum Computat & Intelligent Syst QCIS Fac Engn & Informat Technol Sydney NSW 2007 Australia Tsinghua Univ Dept Comp Sci & Technol Tsinghua Natl Lab Informat Sci & Technol Beijing 100084 Peoples R China Chinese Acad Sci AMSS UTS Joint Res Lab Quantum Computat Beijing Peoples R China
This paper develops verification methodology for quantum programs, and the contribution of the paper is two-fold. Sharir, Pnueli and Hart [M. Sharir, A. Pnueli, S. Hart, Verification of probabilistic programs, SIAM Jo... 详细信息
来源: 评论
quantum Computing: State-of-art and Challenges
Quantum Computing: State-of-art and Challenges
收藏 引用
Workshop-School on Theoretical Computer Science (WEIT)
作者: Vizzotto, Juliana Kaizer CT UFSM Dept Linguagens & Sistemas Computacao Programa Posgrad Informat Santa Maria RS Brazil
In this article we review the concept of quantum computing and briefly discuss the state-of-art and some actual challenges in the field of software (i.e. programming languages and algorithms) for quantum computing.
来源: 评论
quantum programming With Mixed States
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年 170卷 185-199页
作者: Zuliani, Paolo Princeton Univ Dept Comp Sci Princeton NJ 08544 USA
In this paper we offer a programming approach to quantum computation using mixed states. Mixed-state quantum systems generalise standard (pure) quantum systems by allowing the state of the system to be a probabilistic... 详细信息
来源: 评论
quantum Arrows in Haskell
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2008年 第C期210卷 139-152页
作者: Vizzotto, Juliana Kaizer da Rocha Costa, Antonio Carlos Sabry, Amr Univ Fed Rio Grande do Sul Porto Alegre RS Brazil Univ Catolica Pelotas Pelotas Brazil Indiana Univ Bloomington IN 47405 USA
We argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and classical worlds. We discuss two alter... 详细信息
来源: 评论
Simulating and Compiling Code for the Sequential quantum Random Access Machine
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2007年 170卷 101-124页
作者: Nagarajan, Rajagopal Papanikolaou, Nikolaos Williams, David Univ Warwick Dept Comp Sci Coventry CV4 7AL W Midlands England City Univ London Sch Informat London EC1V 0HB England
We present the SQRAM architecture for quantum computing, which is based on Knill's QRAM model. We detail a suitable instruction set, which implements a universal set of quantum gates, and demonstrate the operation... 详细信息
来源: 评论