823 research outputs found

    NLO Corrections to Deeply-Virtual Compton Scattering

    Full text link
    We have calculated the NLO corrections to the twist-2 part of the deeply-virtual Compton scattering amplitude. Our results for the transverse and antisymmetric parts agree with recent calculations by Ji and Osborne and by Belitsky and M\"uller. In addition we present NLO results for the longitudinal part of the amplitude.Comment: 8 pages, Latex. Error in polarised gluonic coefficient in Eq.(8) correcte

    Proving equivalence between imperative and MapReduce implementations using program transformations

    Get PDF
    Distributed programs are often formulated in popular functional frameworks like MapReduce, Spark and Thrill, but writing efficient algorithms for such frameworks is usually a non-trivial task. As the costs of running faulty algorithms at scale can be severe, it is highly desirable to verify their correctness. We propose to employ existing imperative reference implementations as specifications for MapReduce implementations. To this end, we present a novel verification approach in which equivalence between an imperative and a MapReduce implementation is established by a series of program transformations. In this paper, we present how the equivalence framework can be used to prove equivalence between an imperative implementation of the PageRank algorithm and its MapReduce variant. The eight individual transformation steps are individually presented and explained

    Nuclear Shadowing and the Optics of Hadronic Fluctuations

    Get PDF
    A coordinate space description of shadowing in deep-inelastic lepton-nucleus scattering is presented. The picture in the laboratory frame is that of quark-gluon fluctuations of the high-energy virtual photon, propagating coherently over large light-cone distances in the nuclear medium. We discuss the detailed dependence of the coherence effects on the invariant mass of the fluctuation. We comment on the issue of possible saturation in the shadowing effects at very small Bjorken-xx.Comment: 11 pages, 5 figure

    Composing and realising a game-like performance for disklavier and electronics

    Get PDF
    “Climb!” is a musical composition that combines the ideas of a classical virtuoso piece and a computer game. We present a case study of the composition process and realization of “Climb!”, written for Disklavier and a digital interactive engine, which was co-developed together with the musical score. Specifically, the engine combines a system for recognising and responding to musical trigger phrases along with a dynamic digital score renderer. This tool chain allows for the composer’s original scoring to include notational elements such as trigger phrases to be automatically extracted to auto-configure the engine for live performance. We reflect holistically on the development process to date and highlight the emerging challenges and opportunities. For example, this includes the potential for further developing the workflow around the scoring process and the ways in which support for musical triggers has shaped the compositional approach

    Read/Write Digital Libraries for Musicology

    Get PDF
    The Web and other digital technologies have democratised music creation, reception, and analysis, putting music in the hands, ears, and minds of billions of users. Music digital libraries typically focus on an essential subset of this deluge—commercial and academic publications, and historical materials—but neglect to incorporate contributions by scholars, performers, and enthusiasts, such as annotations or performed interpretations of these artifacts, despite their potential utility for many types of users. In this paper we consider means by which digital libraries for musicology may incorporate such contributions into their collections, adhering to principles of FAIR data management and respecting contributor rights as outlined in the EU’s General Data Protection Regulation. We present an overview of centralised and decentralised approaches to this problem, and propose hybrid solutions in which contributions reside in a) user-controlled personal online datastores, b) decentralised file storage, and c) are published and aggregated into digital library collections. We outline the implementation of these ideas using Solid, a Web decentralisation project building on W3C standard technologies to facilitate publication and control over Linked Data. We demonstrate the feasibility of this approach by implementing prototypes supporting two types of contribution: Web Annotations describing or analysing musical elements in score encodings and music recordings; and, music performances and associated metadata supporting performance analyses across many renditions of a given piece. Finally, we situate these ideas within a wider conception of enriched, decentralised, and interconnected online music repositories
    • …
    corecore