133 citations
- Université Grenoble AlpesFR6 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Université Paris CitéFR2 papers
- University of OxfordGB2 papers
- Canterbury Christ Church UniversityGB1 paper
- Centre Inria de l'Université Grenoble AlpesFR1 paper
- Institut de Planétologie et d'Astrophysique de GrenobleFR1 paper
- Institute of MiningRU1 paper
- Laboratoire d'Astrophysique de BordeauxFR1 paper
- Laboratoire des Sciences pour la Conception, l'Optimisation et la ProductionFR1 paper
- Laboratory Preuves, Programmes et SystèmesFR1 paper
4 papers · 1 filter
An overview of QML with a concrete implementation in Haskell
Jonathan Grattage
This paper gives an introduction to and overview of the functional quantum programming language QML. The syntax of this language is defined and explained, along with a new QML defi…
One-dimensional quantum cellular automata over finite, unbounded configurations
Pablo Arrighi, Vincent Nesme, Reinhard Werner
One-dimensional quantum cellular automata (QCA) consist in a line of identical, finite dimensional quantum systems. These evolve in discrete time steps according to a local, shift-…
Finding Optimal Flows Efficiently
Mehdi Mhalla, Simon Perdrix
Among the models of quantum computation, the One-way Quantum Computer is one of the most promising proposals of physical realization, and opens new perspectives for parallelization…
Generalized Flow and Determinism in Measurement-based Quantum Computation
D. E. Browne, E. Kashefi, M. Mhalla +1
We extend the notion of quantum information flow defined by Danos and Kashefi for the one-way model and present a necessary and sufficient condition for the deterministic computati…