167 research outputs found
Compilation of extended recursion in call-by-value functional languages
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
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
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
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
We present a Next-to-Leading order perturbative QCD analysis of world data on
the spin dependent structure functions , and , including
the new experimental information on the dependence of . 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 dependence of the ratio
and evolve the experimental data to a constant . 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
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
- …