English
Related papers

Related papers: Towards a Multi Target Quantum Computational Logic

200 papers

Quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister, a system of qubits, representing a…

Quantum Physics · Physics 2007-05-23 M. L. Dalla Chiara , R. Giuntini , R. Leporini

Quantified CTL (QCTL) is a well-studied temporal logic that extends CTL with quantification over atomic propositions. It has recently come to the fore as a powerful intermediary framework to study logics for strategic reasoning. We extend…

Logic in Computer Science · Computer Science 2018-09-05 Raphaël Berthon , Bastien Maubert , Aniello Murano

Quantum machine learning (QML) is a computational paradigm that seeks to apply quantum-mechanical resources to solve learning problems. As such, the goal of this framework is to leverage quantum processors to tackle optimization,…

Quantum Physics · Physics 2025-11-21 Su Yeon Chang , M. Cerezo

Qualitative Choice Logic (QCL) and Conjunctive Choice Logic (CCL) are formalisms for preference handling, with especially QCL being well established in the field of AI. So far, analyses of these logics need to be done on a case-by-case…

Logic in Computer Science · Computer Science 2021-06-10 Michael Bernreiter , Jan Maly , Stefan Woltran

The term quantum logic has different connotations for different people, having been considered as everything from a metaphysical attack on classical reasoning to an exercise in abstract algebra. Our aim here is to give a uniform…

Quantum Physics · Physics 2007-05-23 Bob Coecke , David Moore , Alexander Wilce

Quantum machine learning (QML) is a rapidly growing field that combines quantum computing principles with traditional machine learning. It seeks to revolutionize machine learning by harnessing the unique capabilities of quantum mechanics…

Quantum Physics · Physics 2024-11-15 Jun Qi , Chao-Han Yang , Samuel Yen-Chi Chen , Pin-Yu Chen

Quantum compilation is the process of converting a target unitary operation into a trainable unitary represented by a quantum circuit. It has a wide range of applications, including gate optimization, quantum-assisted compiling, quantum…

Quantum Physics · Physics 2024-11-27 Vu Tuan Hai , Nguyen Tan Viet , Jesus Urbaneja , Nguyen Vu Linh , Lan Nguyen Tran , Le Bin Ho

The concrete schemes to realize three types of basic quantum logical gates using linear quadripartite cluster states of optical continuous variables are proposed. The influences of noises and finite squeezing on the computation precision…

Quantum Physics · Physics 2015-05-13 Aihong Tan , Changde Xie , Kunchi Peng

Supervised Quantum Machine Learning (QML) represents an intersection of quantum computing and classical machine learning, aiming to use quantum resources to support model training and inference. This paper reviews recent developments in…

Quantum Physics · Physics 2025-06-26 Srikanth Thudumu , Jason Fisher , Hung Du

Quantum machine learning (QML) is a promising early use case for quantum computing. There has been progress in the last five years from theoretical studies and numerical simulations to proof of concepts. Use cases demonstrated on…

Quantum Physics · Physics 2024-04-30 Daniel Goldsmith , M M Hassan Mahmud

Quantum computers are expected to be able to solve mathematical problems that cannot be solved using conventional computers. Many of these problems are of practical importance, especially in the areas of cryptography and secure…

Quantum Physics · Physics 2007-05-23 T. B. Pittman , B. C. Jacobs , J. D. Franson

Quantum machine learning (QML) aims to use quantum computers to enhance machine learning, but it is often limited by the required number of samples due to quantum noise and statistical limits on expectation value estimates. While efforts…

Quantum Physics · Physics 2024-12-17 Nathaniel Helgesen , Michael Felsberg , Jan-Åke Larsson

Quantum computation is based on implementing selected unitary transformations which represent algorithms. A generalized optimal control theory is used to find the driving field that generates a prespecified unitary transformation. The…

Quantum Physics · Physics 2009-11-07 Jose P. Palao , Ronnie Kosloff

We describe how one may go about performing quantum computation with arbitrary "quantum stuff", as long as it has some basic physical properties. Imagine a long strip of stuff, equipped with regularly spaced wires to provide input settings…

Quantum Physics · Physics 2019-12-03 Lucien Hardy , Adam G. M. Lewis

The application of near-term quantum devices to machine learning (ML) has attracted much attention. In one such attempt, Mitarai et al. (2018) proposed a framework to use a quantum circuit for supervised ML tasks, which is called quantum…

Quantum Physics · Physics 2021-12-14 Naoko Koide-Majima , Kei Majima

A quantum system subject to external fields is said to be controllable if these fields can be adjusted to guide the state vector to a desired destination in the state space of the system. Fundamental results on controllability are reviewed…

Nuclear Theory · Physics 2008-11-26 John W. Clark , Dennis G. Lucarelli , Tzyh-Jong Tarn

Quantum Computing (QC) claims to improve the efficiency of solving complex problems, compared to classical computing. When QC is integrated with Machine Learning (ML), it creates a Quantum Machine Learning (QML) system. This paper aims to…

Quantum Physics · Physics 2025-06-11 Kamila Zaman , Alberto Marchisio , Muhammad Abdullah Hanif , Muhammad Shafique

In order for quantum communications systems to become widely used, it will probably be necessary to develop quantum repeaters that can extend the range of quantum key distribution systems and correct for errors in the transmission of…

Quantum Physics · Physics 2007-05-23 J. D. Franson , B. C. Jacobs , T. B. Pittman

In this paper, two quantum networks for the addition operation are presented. One is the Modified Quantum Plain (MQP) adder, and the other is the Quantum Carry Look-Ahead (QCLA) adder. The MQP adder is obtained by modifying the Conventional…

Quantum Physics · Physics 2007-05-23 Kai-Wen Cheng , Chien-Cheng Tseng

In a digital quantum simulator, basic two-qubit interactions are manipulated by means of fast local control operations to establish a desired target Hamiltonian. Here we consider a quantum simulator based on logical systems, i.e. where…

Quantum Physics · Physics 2023-02-08 Ferran Riera-Sàbat , Pavel Sekatski , Wolfgang Dür
‹ Prev 1 2 3 10 Next ›