English
Related papers

Related papers: A functional quantum programming language

200 papers

To address the urgent need in the NISQ era for high-performance, scalable quantum compilers and to advance the integration of classical and quantum computing, we present QLLVM, an advanced Quantum-Classical co-compilation framework built on…

Quantum Physics · Physics 2026-04-17 Yu Zhu , Qiming Du , Yuqiong Jin , Woji He , Hang Lian , Xin Zhou , Jinchen Xu , Zheng Shan

This report introduces a novel class of reasoning architectures, termed Quantum Circuit Reasoning Models (QCRM), which extend the concept of Variational Quantum Circuits (VQC) from energy minimization and classification tasks to structured…

Quantum Physics · Physics 2025-12-10 Andrew Kiruluta

Quantum computing is concerned with computer technology based on the principles of quantum mechanics, with operations performed at the quantum level. Quantum computational models make it possible to analyze the resources required for…

Formal Languages and Automata Theory · Computer Science 2019-01-24 Amandeep Singh Bhatia , Ajay Kumar

We present a scalable, robust approach to creating quantum programs of arbitrary size and complexity. The approach is based on the true abstraction of the problem. The quantum program is expressed in terms of a high-level model together…

Quantum machine learning (QML) is an emerging field that investigates the capabilities of quantum computers for learning tasks. While QML models can theoretically offer advantages such as exponential speed-ups, challenges in data loading…

Quantum Physics · Physics 2025-11-03 Florian J. Kiwit , Bernhard Jobst , Andre Luckow , Frank Pollmann , Carlos A. Riofrío

We propose a notion of quantum control in a quantum programming language which permits the superposition of finitely many quantum operations without performing a measurement. This notion takes the form of a conditional construct similar to…

Programming Languages · Computer Science 2015-11-06 Costin Bădescu , Prakash Panangaden

This work describes the selection approach and analysis of existing AutoML frameworks regarding their capability of a) incorporating Quantum Machine Learning (QML) algorithms into this automated solving approach of the AutoML framing and b)…

Machine Learning · Computer Science 2023-10-09 Dennis Klau , Marc Zöller , Christian Tutschku

We propose a quantum kernel learning (QKL) framework to address the inherent data sparsity issues often encountered in training large-scare acoustic models in low-resource scenarios. We project acoustic features based on…

With fault-tolerant quantum computing on the horizon, there is growing interest in applying quantum computational methods to data-intensive scientific fields like remote sensing. Quantum machine learning (QML) has already demonstrated…

Quantum Physics · Physics 2026-02-24 Tomasz Rybotycki , Sebastian Dziura , Piotr Gawron

Quantum machine learning (QML) has emerged as a promising field that leans on the developments in quantum computing to explore large complex machine learning problems. Recently, some purely quantum machine learning models were proposed such…

Quantum Physics · Physics 2021-06-02 Mahdi Chehimi , Walid Saad

A logical system derived from linear logic and called QMLL is introduced and shown able to capture all unitary quantum circuits. Conversely, any proof is shown to compute, through a concrete GoI interpretation, some quantum circuits. The…

Logic in Computer Science · Computer Science 2012-10-03 Ugo Dal Lago , Claudia Faggian

Quantum Natural Language Processing (QNLP) offers a novel approach to encoding and understanding the complexity of natural languages through the power of quantum computation. This paper presents a pretrained quantum context-sensitive…

Computation and Language · Computer Science 2026-03-12 Charles M. Varmantchaonala , Niclas Götting , Nils-Erik Schütte , Jean Louis E. K. Fendji , Christopher Gies

In recent work, Benjamin Schumacher and Michael~D. Westmoreland investigate a version of quantum mechanics which they call "modal quantum theory" but which we prefer to call "discrete quantum theory". This theory is obtained by…

Quantum Physics · Physics 2011-01-20 Roshan P. James , Gerardo Ortiz , Amr Sabry

This paper introduces a formal metalanguage called the lambda-q calculus for the specification of quantum programming languages. This metalanguage is an extension of the lambda calculus, which provides a formal setting for the specification…

Quantum Physics · Physics 2008-02-03 Philip Maymin

Quantum computing (QC) and machine learning (ML), taken individually or combined into quantum-assisted ML (QML), are ascending computing paradigms whose calculations come with huge potential for speedup, increase in precision, and resource…

Categorical Query Language is an open-source query and data integration scripting language that can be applied to common challenges in the field of computational science. We discuss how the structure-preserving nature of CQL data migrations…

Databases · Computer Science 2019-03-27 Kristopher Brown , David I. Spivak , Ryan Wisnesky

We present a composable design scheme for the development of hybrid quantum/classical algorithms and workflows for applications of quantum simulation. Our object-oriented approach is based on constructing an expressive set of common data…

Quantum Machine Learning represents a paradigm shift at the intersection of Quantum Computing and Machine Learning, leveraging quantum phenomena such as superposition, entanglement, and quantum parallelism to address the limitations of…

Quantum Physics · Physics 2025-01-17 Sahil Tomar , Rajeshwar Tripathi , Sandeep Kumar

Quantum Natural Language Processing (QNLP) deals with the design and implementation of NLP models intended to be run on quantum hardware. In this paper, we present results on the first NLP experiments conducted on Noisy Intermediate-Scale…

Computation and Language · Computer Science 2023-05-05 Robin Lorenz , Anna Pearson , Konstantinos Meichanetzidis , Dimitri Kartsaklis , Bob Coecke

This paper introduces the hybrid quantum language with general recursion $\mathtt{Hyrql}$, driven towards resource-analysis. By design, $\mathtt{Hyrql}$ does not require the specification of an initial set of quantum gates. Hence, it is…

Logic in Computer Science · Computer Science 2026-02-17 Kostia Chardonnet , Emmanuel Hainry , Romain Péchoux , Thomas Vinet
‹ Prev 1 8 9 10 Next ›