Unified derivations of measurement-based schemes for quantum computation

We present unified, systematic derivations of schemes in the two known measurement-based models of quantum computation. The first model (introduced by Raussendorf and Briegel, [Phys. Rev. Lett. 86, 5188 (2001)]) uses a fixed entangled state, adaptive measurements on single qubits, and feedforward of the measurement results. The second model (proposed by Nielsen, [Phys. Lett. A 308, 96 (2003)] and further simplified by Leung, [Int. J. Quant. Inf. 2, 33 (2004)]) uses adaptive two-qubit measurements that can be applied to arbitrary pairs of qubits, and feedforward of the measurement results. The underlying principle of our derivations is a variant of teleportation introduced by Zhou, Leung, and Chuang, [Phys. Rev. A 62, 052316 (2000)]. Our derivations unify these two measurement-based models of quantum computation and provide significantly simpler schemes.

Relationship between thirty post-thaw spermatozoal characteristics and the field fertility of 11 high-use Australian dairy AI sires

This study determined the relationship between two measures of field fertility of I I high-use Australian artificial insemination (AI) dairy bulls and thirty standard laboratory assessments of spermatozoal post-thaw viability. The two measures of field fertility used, conception rates (cCR) and non-return rates (cNRR), were both corrected for all major non-bull variables. Sperm viability assessments were conducted on semen collected within the same season as that used to derive the field fertility estimates. These assessments measured sperm concentration, motility, morphology and membrane integrity at thawing, after 2 h incubation and after the swim-up sperm selection procedure. Derivations of these measures and in vitro embryo fertilizing and developmental capacity were also determined. The Genstat Statistical Package [Genstat 5 Release 4.2 Reference Manual, VSN International, Oxford, 20001 was used to conduct an analysis of variance on the viability parameters across semen straws and bulls, and to calculate the strength of correlation between each semen parameter, cNRR and cCR in a correlation matrix. Step forward multiple regression identified the combination of semen parameters that were most highly correlated with cCR and with cNRR. The sperm parameters identified as being most predictive of cCR were the percentage of morphologically normal sperm immediately post-thaw (zeroNorm), the number of morphologically normal sperm after the swim-up procedure (nSuNorm), and the rate of zygote cleavage in vitro (Clv); the predictive equation formed by these parameters accounted for 70% of variance. The predictive equation produced for cNRR contained the variables zeroNorm, the proportion of membrane intact sperm after 2 h incubation at 37 degreesC (twoMem) and Clv and accounted for 76.5% of the variation. ZeroNorm was found to be consistent across straws and semen batches within-bull and the sperm parameter with the strongest individual predictive capacity for both cCR (P = 0.1) and cNRR (P = 0.001). Post-thaw sperm parameters can be used to predict field fertility of Australian dairy sires; the calculated predictive equations are particularly useful for identifying and monitoring bulls of very high and very low potential fertility within a group. (C) 2003 Elsevier B.V. All rights reserved.

Pulse transit time as a derived noninvasive mean to monitor arterial distensibility changes in children

Changes in arterial distensibility have been widely used to identify the presence of cardiovascular abnormalities like hypertension. Pulse wave velocity (PWV) has shown to be related to arterial distensibility. However, the lack of suitable techniques to measure PWV nonintrusively has impeded its clinical usefulness. Pulse transit time (PTT) is a noninvasive technique derived from the principle of PWV. PTT has shown its capabilities in cardiovascular and cardiorespiratory studies in adults. However, no known study has been conducted to understand the suitability and utility of PTT to estimate PWV in children. Two computational methods to derive PWV from PTT values obtained from 23 normotensive Caucasian children (19 males, aged 5-12 years old) from their finger and toe were conducted. Furthermore, the effects of adopting different postures on the PWV derivations were investigated. Statistical analyses were performed in comparison with two previous PWV studies conducted on children. Results revealed that PWV derived from the upper limb correlated significantly (P

On functionally-fitted Runge-Kutta methods

Functionally-fitted methods are generalizations of collocation techniques to integrate an equation exactly if its solution is a linear combination of a chosen set of basis functions. When these basis functions are chosen as the power functions, we recover classical algebraic collocation methods. This paper shows that functionally-fitted methods can be derived with less restrictive conditions than previously stated in the literature, and that other related results can be derived in a much more elegant way. The novelty in our approach is to fully retain the collocation framework without reverting back into derivations based on cumbersome Taylor series expansions.

Progress in deriving concurrent programs: Emphasizing the role of stable guards

We present some techniques to obtain smooth derivations of concurrent programs that address both safety and progress in a formal manner. Our techniques form an extension to the calculational method of Feijen and van Casteren using a UNITY style progress logic. We stress the role of stable guards, and we illustrate the derivation techniques on some examples in which progress plays an essential role.

Towards a methodology for deriving contract-compliant business processes

This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring collaborative interactions between parties, including their internal processes, to ensure contract-compliant behaviour. The methodology requires a formal model of contracts to facilitate process derivations and to form a basis for contract analysis tools and run-time process execution.

Extending the theory of Owicki and Gries with asynchronous message passing

We describe an extension of the theory of Owicki and Gries (1976) to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is on exploring the fitness of the extension for distributed program derivation. A number of experiments are reported, based on a running example problem, and with the aim of exploring design heuristics and of streamlining derivations and progress arguments.