541 research outputs found

    Transforming data by calculation

    Get PDF
    Thispaperaddressesthefoundationsofdata-modeltransformation.A catalog of data mappings is presented which includes abstraction and representa- tion relations and associated constraints. These are justified in an algebraic style via the pointfree-transform, a technique whereby predicates are lifted to binary relation terms (of the algebra of programming) in a two-level style encompassing both data and operations. This approach to data calculation, which also includes transformation of recursive data models into “flat” database schemes, is offered as alternative to standard database design from abstract models. The calculus is also used to establish a link between the proposed transformational style and bidi- rectional lenses developed in the context of the classical view-update problem.Fundação para a Ciência e a Tecnologia (FCT

    Neutrino and Antineutrino Inclusive Charged-current Cross Section Measurements with the MINOS Near Detector

    Get PDF
    The energy dependence of the neutrino-iron and antineutrino-iron inclusive charged-current cross sections and their ratio have been measured using a high-statistics sample with the MINOS Near Detector exposed to the NuMI beam from the Main Injector at Fermilab. Neutrino and antineutrino fluxes were determined using a low hadronic energy subsample of charged-current events. We report measurements of neutrino-Fe (antineutrinoFe) cross section in the energy range 3-50 GeV (5-50 GeV) with precision of 2-8% (3-9%) and their ratio which is measured with precision 2-8%. The data set spans the region from low energy, where accurate measurements are sparse, up to the high-energy scaling region where the cross section is well understood.Comment: accepted by PR
    corecore