咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 90 篇 quantum programm...
  • 26 篇 quantum computin...
  • 6 篇 qiskit
  • 4 篇 verification
  • 3 篇 compilers
  • 3 篇 quantum simulati...
  • 3 篇 quantum algorith...
  • 3 篇 quantum computin...
  • 3 篇 security
  • 3 篇 formal verificat...
  • 3 篇 quantum computat...
  • 3 篇 programming lang...
  • 2 篇 quantum walk
  • 2 篇 termination
  • 2 篇 quantum nonlocal...
  • 2 篇 quantum random w...
  • 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 篇 univ thessaly de...

作者

  • 12 篇 ying mingsheng
  • 6 篇 mccaskey alexand...
  • 6 篇 feng yuan
  • 6 篇 yu nengkun
  • 5 篇 nguyen thien
  • 3 篇 zhou li
  • 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
  • 2 篇 blanco carlos

语言

  • 82 篇 英文
  • 8 篇 其他
检索条件"主题词=Quantum Programming"
90 条 记 录,以下是1-10 订阅
排序:
quantum programming Without the quantum Physics  22nd
Quantum Programming Without the Quantum Physics
收藏 引用
22nd Asian Symposium on programming Languages and Systems
作者: Inoue, Jun Natl Inst Adv Ind Sci & Technol 1-8-31 Midorigaoka Ikeda Osaka Japan
We propose a quantum programming paradigm where all data are familiar classical data, and the only non-classical element is a random number generator that can return results with negative probability. Currently, the v... 详细信息
来源: 评论
Creating a quantum programming Course from Scratch A Computer Science Professor's Journey  2025
Creating a Quantum Programming Course from Scratch A Compute...
收藏 引用
56th Technical Symposium on Computer Science Education
作者: Guerin, Joshua T. Univ Northern Colorado Greeley CO 80639 USA
quantum Computing is generating significant excitement within the interdisciplinary academic community, government, and industry. Despite rapid growth in the area, formal education in non-classical computing is limite... 详细信息
来源: 评论
Model-Driven Engineering for quantum programming: A Case Study on Ground State Energy Calculation  48
Model-Driven Engineering for Quantum Programming: A Case Stu...
收藏 引用
48th Annual IEEE International Computers, Software, and Applications Conference (COMPSAC) - Digital Development for a Better Future
作者: Polat, Furkan Tuncer, Hasan Moin, Armin Challenger, Moharram Univ Antwerp Dept Comp Sci Antwerp Belgium Flanders Make Strateg Res Ctr Antwerp Belgium Purdue Univ Dept Phys & Astron W Lafayette IN 47907 USA Univ Colorado Dept Comp Sci Colorado Springs CO 80907 USA Koc Univ Elect & Elect Engn Istanbul Turkiye
This study introduces a novel framework that brings together two main quantum programming methodologies, gate-based quantum Computing and quantum Annealing, by applying the Model-Driven Engineering principles. This ai... 详细信息
来源: 评论
A Coq-Based Infrastructure for quantum programming, Verification and Simulation  1
收藏 引用
18th Annual Conference on Theory and Applications of Models of Computation (TAMC)
作者: Tao, Wenxuan Chen, Gang Nanjing Univ Aeronaut & Astronaut Coll Comp Sci & Technol Nanjing 211106 Peoples R China
quantum programming presents a significant departure from traditional programming due to its non-intuitive algorithm design and reliance on intricate linear algebraic derivations. Therefore, formal verification using ... 详细信息
来源: 评论
Towards Continuous Development for quantum programming in Decentralized IoT environments
收藏 引用
Procedia Computer Science 2024年 238卷 7-14页
作者: Michail Alexandros Kourtis Nikolay Tcholtchev Ilie-Daniel Gheorghe-Pop Colin Kai-Uwe Becker Georgios Xylouris Evangelos Markakis Matic Petric Raphael Seidel Sebastian Bock National Center of Scientific Research “Demokritos” Athens Greece Fraunhofer Institute for Open Communication Systems (FOKUS) Berlin Germany Department of Electrical and Computer Engineering Hellenic Mediterranean University Heraklion Greece
The progression in quantum computing and the rapid development of quantum computation hardware has raised expectations for its application to commercially relevant use cases in the future. However, the need for high-l... 详细信息
来源: 评论
quantum Simulation of Generalized Hardy's Paradox and Corresponding Hardy's Inequality via quantum programming
收藏 引用
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS 2021年 第5期60卷 1972-1979页
作者: Hou, Tong Ding, Dong Wang, Can Zhang, Xiao-chun He, Ying-qiu North China Inst Sci & Technol Coll Sci Beijing 101601 Peoples R China
Hardy's paradox can demonstrate the conflict between quantum mechanics and local realism. Experimental testing of Hardy's paradox has been carried out, but it involved only a few qubits. We propose a simple bu... 详细信息
来源: 评论
quantum programming with Inductive Datatypes: Causality and Affine Type Theory  23rd
Quantum Programming with Inductive Datatypes: Causality and ...
收藏 引用
23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS)
作者: Pechoux, Romain Perdrix, Simon Rennela, Mathys Zamdzhiev, Vladimir Univ Lorraine CNRS INRIA LORIA F-54000 Nancy France Leiden Univ Leiden Netherlands
Inductive datatypes in programming languages allow users to define useful data structures such as natural numbers, lists, trees, and others. In this paper we show how inductive datatypes may be added to the quantum pr... 详细信息
来源: 评论
Experimenting quantum phenomena on NISQ computers using high level quantum programming
收藏 引用
EPJ quantum TECHNOLOGY 2022年 第1期9卷 6-6页
作者: Tran, Duc M. Nguyen, Duy, V Le, Bin Ho Nguyen, Hung Q. Vietnam Natl Univ VNU Univ Sci Nano & Energy Ctr Hanoi 120401 Vietnam Phenikaa Univ Phenikaa Inst Adv Study Hanoi 12116 Vietnam Phenikaa Univ Fac Comp Sci Hanoi 12116 Vietnam Vietnam Acad Sci & Technol Ctr Phys Inst Appl Mech & Informat Ho Chi Minh City 7000O Vietnam Tohoku Univ Res Inst Elect Commun Sendai Miyagi 9808577 Japan
We execute the quantum eraser, the Elitzur-Vaidman bomb, and the Hardy's paradox experiment using high-level programming language on a generic, gate-based superconducting quantum processor made publicly available ... 详细信息
来源: 评论
Ket quantum programming
收藏 引用
ACM JOURNAL ON EMERGING TECHNOLOGIES IN COMPUTING SYSTEMS 2022年 第1期18卷 12-12页
作者: Ribeiro Da Rosa, Evandro Chagas De Santiago, Rafael Univ Fed Santa Catarina Dept Informat Estatist BR-88040900 Florianopolis SC Brazil
quantum programming languages (QPL) fill the gap between quantum mechanics and classical programming constructions, simplifying the development of quantum applications. However, most QPL addresses the inherent quantum... 详细信息
来源: 评论
Reversibility for quantum programming Language QML
收藏 引用
IEEE LATIN AMERICA TRANSACTIONS 2020年 第10期18卷 1692-1698页
作者: Plata-Cesar, Nely Raymundo Marcial-Romero, Jose Antonio Hernandez-Servin, Jose Univ Autonoma Estado Mexico Fac Ingn Toluca Mexico
We present an extension of the denotational semantic model of the quantum programming language QML, to which computational reversibility is incorporated. The semantics of QML is defined in a functional setting which c... 详细信息
来源: 评论