English
Related papers

Related papers: Alternation in Quantum Programming: From Superposi…

200 papers

Formal languages are essential for computer programming and are constructed to be easily processed by computers. In contrast, natural languages are much more challenging and instigated the field of Natural Language Processing (NLP). One…

Computation and Language · Computer Science 2024-08-15 Daphne Wang

Given the impending timeline of developing good-quality quantum processing units, it is time to rethink the approach to advance quantum computing research. Rather than waiting for quantum hardware technologies to mature, we need to start…

Quantum Physics · Physics 2024-05-12 Koen Bertels , Emma Turki , Tamara Sarac , Aritra Sarkar , Imran Ashraf

The field of quantum algorithms is vibrant. Still, there is currently a lack of programming languages for describing quantum computation on a practical scale, i.e., not just at the level of toy problems. We address this issue by introducing…

Programming Languages · Computer Science 2013-07-08 Alexander S. Green , Peter LeFanu Lumsdaine , Neil J. Ross , Peter Selinger , Benoît Valiron

In this paper we present an alternative approach to formalize the theory of logic programming. In this formalization we allow existential quantified variables and equations in queries. In opposite to standard approaches the role of answer…

Logic in Computer Science · Computer Science 2022-07-20 Ján Komara

Digital-analog quantum computing (DAQC) is an alternative paradigm for universal quantum computation combining digital single-qubit gates with global analog operations acting on a register of interacting qubits. Currently, no available…

Machine Learning algorithms are extensively used in an increasing number of systems, applications, technologies, and products, both in industry and in society as a whole. They enable computing devices to learn from previous experience and…

Quantum Physics · Physics 2025-02-17 Lucas Lamata

Quantum computing systems rely on the principles of quantum mechanics to perform a multitude of computationally challenging tasks more efficiently than their classical counterparts. The architecture of software-intensive systems can empower…

Software Engineering · Computer Science 2023-03-23 Arif Ali Khan , Aakash Ahmad , Muhammad Waseem , Peng Liang , Mahdi Fahmideh , Tommi Mikkonen , Pekka Abrahamsson

Quantum computing has the potential to solve complex problems faster and more efficiently than classical computing. It can achieve speedups by leveraging quantum phenomena like superposition, entanglement, and tunneling. Quantum walks (QWs)…

Research in software engineering is essential for improving development practices, leading to reliable and secure software. Leveraging the principles of quantum physics, quantum computing has emerged as a new computational paradigm that…

Software Engineering · Computer Science 2025-02-14 Ashis Kumar Mandal , Md Nadim , Chanchal K. Roy , Banani Roy , Kevin A. Schneider

None of the quantum computing applications imagined will ever become a reality without quantum software. Quantum programmes have, to date, been coded with ad hoc techniques. Researchers in the field of quantum software engineering are,…

Software Engineering · Computer Science 2021-03-31 Ricardo Pérez-Castillo , Luis Jiménez-Navajas , Mario Piattini

Quantum computers take advantage of interfering quantum alternatives in order to handle problems that might be too time consuming with algorithms based on classical logic. Developing quantum computers requires new ways of thinking beyond…

Quantum Physics · Physics 2014-09-10 W. C. Parke

The focus of this Visualization Viewpoints article is to provide some background on Quantum Computing (QC), to explore ideas related to how visualization helps in understanding QC, and examine how QC might be useful for visualization with…

People are witnessing quantum computing revolutions nowadays. Progress in the number of qubits, coherence times and gate fidelities are happening. Although quantum error correction era has not arrived, the research and development of…

Quantum Physics · Physics 2023-10-17 Guanru Feng , Dawei Lu , Jun Li , Tao Xin , Bei Zeng

The quantum circuit model is the most widely used model of quantum computation. It provides both a framework for formulating quantum algorithms and an architecture for the physical construction of quantum computers. However, several other…

Quantum Physics · Physics 2008-09-16 Stephen P. Jordan

Quantum software represents disruptive technologies in terms of quantum-specific software systems, services, and applications - leverage the principles of quantum mechanics via programmable quantum bits (Qubits) that manipulate quantum…

Quantum annealing is a generic algorithm using quantum-mechanical fluctuations to search for the solution of an optimization problem. The present paper first reviews the fundamentals of quantum annealing and then reports on preliminary…

Disordered Systems and Neural Networks · Physics 2010-06-10 Masayuki Ohzeki , Hidetoshi Nishimori

In this research notebook in the four-part, quantum computation and applications, quantum computation and algorithms, quantum communication protocol, and universal quantum computation for quantum engineers, researchers, and scientists, we…

Quantum Physics · Physics 2021-01-07 Bhupesh Bishnoi

Quantum computing is no longer only a scientific interest but is rapidly becoming an industrially available technology that can potentially overcome the limits of classical computation. Over the last years, all major companies have provided…

Software Engineering · Computer Science 2022-04-12 Manuel De Stefano , Fabiano Pecorelli , Dario Di Nucci , Fabio Palomba , Andrea De Lucia

Entanglement is a non local property of quantum states which has no classical counterpart and plays a decisive role in quantum information theory. Several protocols, like the teleportation, are based on quantum entangled states. Moreover,…

Logic in Computer Science · Computer Science 2008-12-08 Simon Perdrix

Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they communicate and cooperate. Moreover, to model concurrent and…

Quantum Physics · Physics 2007-05-23 Marie Lalire , Philippe Jorrand