167 research outputs found

    Compilation of extended recursion in call-by-value functional languages

    Get PDF
    This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be correct.Comment: 62 pages, uses pi

    Sound and Complete Typing for lambda-mu

    Full text link
    In this paper we define intersection and union type assignment for Parigot's calculus lambda-mu. We show that this notion is complete (i.e. closed under subject-expansion), and show also that it is sound (i.e. closed under subject-reduction). This implies that this notion of intersection-union type assignment is suitable to define a semantics.Comment: In Proceedings ITRS 2010, arXiv:1101.410

    Precision measurement of the deuteron spin structure function g1dg^{d}_{1}

    Get PDF
    We report on a high-statistics measurement of the deuteron spin structure function g[sup d][sub 1] at a beam energy of 29 GeV in the kinematic range 0.029 < x < 0.8 and 1 < Q2 < 10 (GeV/c)2. The integral Gamma [sup d][sub 1] = (integral)[sup 1][sub 0]g[sup d][sub 1]dx evaluated at fixed Q2 = 3 (GeV/c)2 gives 0.042 ± 0.003(stat) ± 0.004(syst). Combining this result with our earlier measurement of g[sup p][sub 1], we find Gamma [sup p][sub 1]- Gamma [sup n][sub 1] = 0.163 ± 0.010(stat) ± 0.016(syst), which agrees with the prediction of the Bjorken sum rule with O( alpha [sup 3][sub s]) corrections, Gamma [sup p][sub 1]- Gamma [sup n][sub 1] = 0.171 ± 0.008. We find the quark contribution to the proton helicity to be Delta q = 0.30 ± 0.06

    Measurements of R=sigma_L/sigma_T for 0.03<x<0.1 and Fit to World Data

    Get PDF
    Measurements were made at SLAC of the cross section for scattering 29 GeV electrons from carbon at a laboratory angle of 4.5 degrees, corresponding to 0.03<x<0.1 and 1.3<Q^2<2.7 GeV^2. Values of R=sigma_L/sigma_T were extracted in this kinematic range by comparing these data to cross sections measured at a higher beam energy by the NMC collaboration. The results are in reasonable agreement with pQCD calculations and with extrapolations of the R1990 parameterization of previous data. A new fit is made including these data and other recent results.Comment: 8 pages, 4 figures, late

    Next-to-Leading Order QCD Analysis of Polarized Deep Inelastic Scattering Data

    Full text link
    We present a Next-to-Leading order perturbative QCD analysis of world data on the spin dependent structure functions g1p,g1ng_1^p, g_1^n, and g1dg_1^d, including the new experimental information on the Q2Q^2 dependence of g1ng_1^n. Careful attention is paid to the experimental and theoretical uncertainties. The data constrain the first moments of the polarized valence quark distributions, but only qualitatively constrain the polarized sea quark and gluon distributions. The NLO results are used to determine the Q2Q^2 dependence of the ratio g1/F1g_1/F_1 and evolve the experimental data to a constant Q2=5GeV2Q^2 = 5 GeV^2. We determine the first moments of the polarized structure functions of the proton and neutron and find agreement with the Bjorken sum rule.Comment: 21 pages, 4 figures; final version to be published in Phys. Lett. B. References updated. Uses elsart.cls version 1996/04/22, 2e-1.4

    Strategies for Controlled Placement of Nanoscale Building Blocks

    Get PDF
    The capability of placing individual nanoscale building blocks on exact substrate locations in a controlled manner is one of the key requirements to realize future electronic, optical, and magnetic devices and sensors that are composed of such blocks. This article reviews some important advances in the strategies for controlled placement of nanoscale building blocks. In particular, we will overview template assisted placement that utilizes physical, molecular, or electrostatic templates, DNA-programmed assembly, placement using dielectrophoresis, approaches for non-close-packed assembly of spherical particles, and recent development of focused placement schemes including electrostatic funneling, focused placement via molecular gradient patterns, electrodynamic focusing of charged aerosols, and others
    corecore