823 research outputs found
NLO Corrections to Deeply-Virtual Compton Scattering
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
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
In collaboration with In Concert:Reflecting a digital library as linked data for performance ephemera
Nuclear Shadowing and the Optics of Hadronic Fluctuations
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-.Comment: 11 pages, 5 figure
Composing and realising a game-like performance for disklavier and electronics
“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
Recommended from our members
Ultrasensitive detection of lipoarabinomannan with plasmonic grating biosensors in clinical samples of HIV negative patients with tuberculosis.
BACKGROUND:Timely diagnosis of tuberculosis disease is critical for positive patient outcomes, yet potentially millions go undiagnosed or unreported each year. Sputum is widely used as the testing input, but limited by its complexity, heterogeneity, and sourcing problems. Finding methods to interrogate noninvasive, non-sputum clinical specimens is indispensable to improving access to tuberculosis diagnosis and care. In this work, economical plasmonic gratings were used to analyze tuberculosis biomarker lipoarabinomannan (LAM) from clinical urine samples by single molecule fluorescence assay (FLISA) and compared with gold standard sputum GeneXpert MTB/ RIF, culture, and reference ELISA testing results. METHODS AND FINDINGS:In this study, twenty sputum and urine sample sets were selected retrospectively from a repository of HIV-negative patient samples collected before initiation of anti-tuberculosis therapy. GeneXpert MTB/RIF and culture testing of patient sputum confirmed the presence or absence of pulmonary tuberculosis while all patient urines were reference ELISA LAM-negative. Plasmonic gratings produced by low-cost soft lithography were bound with anti-LAM capture antibody, incubated with patient urine samples, and biotinylated detection antibody. Fluorescently labeled streptavidin revealed single molecule emission by epifluorescence microscope. Using a 1 fg/mL baseline for limit of detection, single molecule FLISA demonstrated good qualitative agreement with gold standard tests on 19 of 20 patients, including accurately predicting the gold-standard-negative patients, while one gold-standard-positive patient produced no observable LAM in urine. CONCLUSIONS:Single molecule FLISA by plasmonic grating demonstrated the ability to quantify tuberculosis LAM from complex urine samples of patients from a high endemic setting with negligible interference from the complex media itself. Moreover, agreement with patient diagnoses by gold standard testing suggests that single molecule FLISA could be used as a highly sensitive test to diagnose tuberculosis noninvasively
Read/Write Digital Libraries for Musicology
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
- …