High-digestible silages allow low concentrate supply without affecting milk production or methane emissions

publishedVersio

Controlled-NOT logic gate for phase qubits based on conditional spectroscopy

A controlled-NOT logic gate based on conditional spectroscopy has been demonstrated recently for a pair of superconducting flux qubits [Plantenberg et al., Nature 447, 836 (2007)]. Here we study the fidelity of this type of gate applied to a phase qubit coupled to a resonator (or a pair of capacitively coupled phase qubits). Our results show that an intrinsic fidelity of more than 99% is achievable in 45ns.Comment: 5 pages, 5 figures, To appear in Quantum Inf. Pro

Experimental considerations of acute heat stress assays to quantify coral thermal tolerance

Understanding the distribution and abundance of heat tolerant corals across seascapes is imperative for predicting responses to climate change and to support novel management actions. Thermal tolerance is variable in corals and intrinsic and extrinsic drivers of tolerance are not well understood. Traditional experimental evaluations of coral heat and bleaching tolerance typically involve ramp-and-hold experiments run across days to weeks within aquarium facilities with limits to colony replication. Field-based acute heat stress assays have emerged as an alternative experimental approach to rapidly quantify heat tolerance in many samples yet the role of key methodological considerations on the stress response measured remains unresolved. Here, we quantify the effects of coral fragment size, sampling time point, and physiological measures on the acute heat stress response in adult corals. The effect of fragment size differed between species (Acropora tenuis and Pocillopora damicornis). Most physiological parameters measured here declined over time (tissue colour, chlorophyll-a and protein content) from the onset of heating, with the exception of maximum photosynthetic efficiency (Fv/Fm) which was surprisingly stable over this time scale. Based on our experiments, we identified photosynthetic efficiency, tissue colour change, and host-specific assays such as catalase activity as key physiological measures for rapid quantification of thermal tolerance. We recommend that future applications of acute heat stress assays include larger fragments (> 9 cm2) where possible and sample between 10 and 24 h after the end of heat stress. A validated high-throughput experimental approach combined with cost-effective genomic and physiological measurements underpins the development of markers and maps of heat tolerance across seascapes and ocean warming scenarios

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency

Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in partial order semantics as a theoretical foundation for formal verification techniques. Among these, symbolic techniques have been shown to be particularly effective at finding concurrency-related bugs because they can leverage highly optimized decision procedures such as SAT/SMT solvers. This paper gives new fundamental results on partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency. In particular, we give the theoretical basis for a decision procedure that can handle a fragment of concurrent programs endowed with least fixed point operators. In addition, we show that a certain partial order semantics of relaxed sequential consistency is equivalent to the conjunction of three extensively studied weak memory axioms by Alglave et al. An important consequence of this equivalence is an asymptotically smaller symbolic encoding for bounded model checking which has only a quadratic number of partial order constraints compared to the state-of-the-art cubic-size encoding.Comment: 15 pages, 3 figure

A Survey of Finite Algebraic Geometrical Structures Underlying Mutually Unbiased Quantum Measurements

The basic methods of constructing the sets of mutually unbiased bases in the Hilbert space of an arbitrary finite dimension are discussed and an emerging link between them is outlined. It is shown that these methods employ a wide range of important mathematical concepts like, e.g., Fourier transforms, Galois fields and rings, finite and related projective geometries, and entanglement, to mention a few. Some applications of the theory to quantum information tasks are also mentioned.Comment: 20 pages, 1 figure to appear in Foundations of Physics, Nov. 2006 two more references adde

Nonparametric Information Geometry

The differential-geometric structure of the set of positive densities on a given measure space has raised the interest of many mathematicians after the discovery by C.R. Rao of the geometric meaning of the Fisher information. Most of the research is focused on parametric statistical models. In series of papers by author and coworkers a particular version of the nonparametric case has been discussed. It consists of a minimalistic structure modeled according the theory of exponential families: given a reference density other densities are represented by the centered log likelihood which is an element of an Orlicz space. This mappings give a system of charts of a Banach manifold. It has been observed that, while the construction is natural, the practical applicability is limited by the technical difficulty to deal with such a class of Banach spaces. It has been suggested recently to replace the exponential function with other functions with similar behavior but polynomial growth at infinity in order to obtain more tractable Banach spaces, e.g. Hilbert spaces. We give first a review of our theory with special emphasis on the specific issues of the infinite dimensional setting. In a second part we discuss two specific topics, differential equations and the metric connection. The position of this line of research with respect to other approaches is briefly discussed.Comment: Submitted for publication in the Proceedings od GSI2013 Aug 28-30 2013 Pari

Non BPS noncommutative vortices

We construct exact vortex solutions to the equations of motion of the Abelian Higgs model defined in non commutative space, analyzing in detail the properties of these solutions beyond the BPS point. We show that our solutions behave as smooth deformations of vortices in ordinary space time except for parity symmetry breaking effects induced by the non commutative parameter $\theta$.Comment: 17 pages, 5 figure

Measuring readiness-to-hand through differences in attention to the task vs. attention to the tool

New interaction techniques, like multi-touch, tangible inter-action, and mid-air gestures often promise to be more intuitive and natural; however, there is little work on how to measure these constructs. One way is to leverage the phenomenon of tool embodiment—when a tool becomes an extension of one’s body, attention shifts to the task at hand, rather than the tool itself. In this work, we constructed a framework to measure tool embodiment by incorporating philosophical and psychological concepts. We applied this framework to design and conduct a study that uses attention to measure readiness-to-hand with both a physical tool and a virtual tool. We introduce a novel task where participants use a tool to rotate an object, while simultaneously responding to visual stimuli both near their hand and near the task. Our results showed that participants paid more attention to the task than to both kinds of tool. We also discuss how this evaluation framework can be used to investigate whether novel interaction techniques allow for this kind of tool embodiment.Postprin

An M-theory solution generating technique and SL(2,R)

In this paper we generalize the O(p+1,p+1) solution generating technique (this is a method used to deform Dp-branes by turning on a NS-NS B-field) to M-theory, in order to be able to deform M5-brane supergravity solutions directly in eleven dimensions, by turning on a non zero three form A. We find that deforming the M5-brane, in some cases, corresponds to performing certain SL(2,R) transformations of the Kahler structure parameter for the three-torus, on which the M5-brane has been compactified. We show that this new M-theory solution generating technique can be reduced to the O(p+1,p+1) solution generating technique with p=4. Further, we find that it implies that the open membrane metric and generalized noncommutativity parameter are manifestly deformation independent for electric and light-like deformations. We also generalize the O(p+1,p+1) method to the type IIA/B NS5-brane in order to be able to deform NS5-branes with RR three and two forms, respectively. In the type IIA case we use the newly obtained solution generating technique and deformation independence to derive a covariant expression for an open D2-brane coupling, relevant for OD2-theory.Comment: 24 pages, Latex. v2:Sections 3.2 and 3.3 improved. v3:Some clarifications added. Version published in JHE