#### Filter Results:

- Full text PDF available (8)

#### Publication Year

1989

2017

- This year (1)
- Last 5 years (11)
- Last 10 years (11)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

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 Quipper, a scalable, expressive, functional, higher-order quantum programming language. Quipper has been used to… (More)

Quipper is a recently developed programming language for expressing quantum computations. This paper gives a brief tutorial introduction to the language, through a demonstration of how to make use of some of its key features. We illustrate many of Quipper’s language features by developing a few well known examples of Quantum computation, including quantum… (More)

- Neil J. Ross, Peter Selinger
- Quantum Information & Computation
- 2016

Given a gate set S universal for quantum computing, the problem of decomposing a unitary operator U into a circuit over S is known as the synthesis problem. This problem can be solved exactly, if U belongs to the set of circuits generated by S. Otherwise, it can be solved approximately, by finding a circuit U ′ such that ||U ′ −U || < for some chosen… (More)

1 This work was partly supported by a grant from the Engineering and Physical Sciences Research Council (United Kingdom) and Advanced Power Components (Rochester, United Kingdom). Abstract The use of behavioural modelling for operational amplifiers has been well known for many years and previous work has included modelling of specific fault conditions using… (More)

- Chris R Abbiss, Megan L R Ross, +4 authors David T Martin
- Journal of sports sciences
- 2013

The purpose of this study was to examine the distribution of pace self-selected by cyclists of varying ability, biological age and sex performing in a mountain bike World Championship event. Data were collected on cyclists performing in the Elite Male (ELITEmale; n = 75), Elite Female (ELITEfemale; n = 50), Under 23 Male (U23male; n = 62), Under 23 Female… (More)

- Ludovic Levasseur, Jean-Noël Marzo, Neil Ross, Catherine Blatier
- Annales de médecine interne
- 2002

A retrospective study was carried out using 3 606 medical files of nine detention centers in France, over a three-month period (May to July 1997). The files were analyzed to determine, age, type of addiction and subsequent type of therapy proposed: methadone, high-dose buprenorphine or abstinence. A comparison was then made to determine whether or not there… (More)

- Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith
- Commun. ACM
- 2015

The Quipper language offers a unified general-purpose programming framework for quantum computation.

- Jonathan M. Smith, Neil J. Ross, Peter Selinger, Benoît Valiron
- ArXiv
- 2014

Despite the rich literature on quantum algorithms, there is a surprisingly small amount of coverage of their concrete logical design and implementation. Most resource estimation is done at the level of complexity analysis, but actual concrete numbers (of quantum gates, qubits, etc.) can differ by orders of magnitude. The line of work we present here is a… (More)

- Matthew Amy, Jianxin Chen, Neil J. Ross
- ArXiv
- 2016

We give a finite presentation by generators and relations of unitary operators expressible over the {CNOT, T, X} gate set, also known as CNOT-dihedral operators. To this end, we introduce a notion of normal form for CNOT-dihedral circuits and prove that every CNOT-dihedral operator admits a unique normal form. Moreover, we show that in the presence of… (More)

- Neil J. Ross
- ArXiv
- 2014