161 research outputs found
Bounded linear types in a resource semiring
Abstract. Bounded linear types have proved to be useful for automated resource analysis and control in functional programming languages. In this paper we introduce a bounded linear typing discipline on a general notion of resource which can be modeled in a semiring. For this type system we provide both a general type-inference procedure, parameter-ized by the decision procedure of the semiring equational theory, and a (coherent) categorical semantics. This could be a useful type-theoretic and denotational framework for resource-sensitive compilation, and it represents a generalization of several existing type systems. As a non-trivial instance, motivated by hardware compilation, we present a com-plex new application to calculating and controlling timing of execution in a (recursion-free) higher-order functional programming language with local store. 1 Resource-aware types and semantics The two important things about a computer program are what it computes an
Measurement of the neutron magnetic form factor from inclusive quasielastic scattering of polarized electrons from polarized 3He
We report a measurement of the asymmetry in spin-dependent quasielastic scattering of longitudinally polarized electrons from a polarized 3He target. The neutron magnetic form factor GMn has been extracted from the measured asymmetry based on recent PWIA calculations using spin-dependent spectral functions. Our determination of GMn at Q2=0.19 (GeV/c)2 agrees with the dipole parametrization. This experiment represents the first measurement of the neutron magnetic form factor using spin-dependent electron scattering
Longitudinal double-spin asymmetry and cross section for inclusive neutral pion production at midrapidity in polarized proton collisions at sqrt(s) = 200 GeV
We report a measurement of the longitudinal double-spin asymmetry A_LL and
the differential cross section for inclusive Pi0 production at midrapidity in
polarized proton collisions at sqrt(s) = 200 GeV. The cross section was
measured over a transverse momentum range of 1 < p_T < 17 GeV/c and found to be
in good agreement with a next-to-leading order perturbative QCD calculation.
The longitudinal double-spin asymmetry was measured in the range of 3.7 < p_T <
11 GeV/c and excludes a maximal positive gluon polarization in the proton. The
mean transverse momentum fraction of Pi0's in their parent jets was found to be
around 0.7 for electromagnetically triggered events.Comment: 6 pages, 3 figures, submitted to Phys. Rev. D (RC
High non-photonic electron production in + collisions at = 200 GeV
We present the measurement of non-photonic electron production at high
transverse momentum ( 2.5 GeV/) in + collisions at
= 200 GeV using data recorded during 2005 and 2008 by the STAR
experiment at the Relativistic Heavy Ion Collider (RHIC). The measured
cross-sections from the two runs are consistent with each other despite a large
difference in photonic background levels due to different detector
configurations. We compare the measured non-photonic electron cross-sections
with previously published RHIC data and pQCD calculations. Using the relative
contributions of B and D mesons to non-photonic electrons, we determine the
integrated cross sections of electrons () at 3 GeV/10 GeV/ from bottom and charm meson decays to be = 4.0({\rm
stat.})({\rm syst.}) nb and =
6.2({\rm stat.})({\rm syst.}) nb, respectively.Comment: 17 pages, 17 figure
Evolution of the differential transverse momentum correlation function with centrality in Au+Au collisions at GeV
We present first measurements of the evolution of the differential transverse
momentum correlation function, {\it C}, with collision centrality in Au+Au
interactions at GeV. {\it C} exhibits a strong dependence
on collision centrality that is qualitatively similar to that of number
correlations previously reported. We use the observed longitudinal broadening
of the near-side peak of {\it C} with increasing centrality to estimate the
ratio of the shear viscosity to entropy density, , of the matter formed
in central Au+Au interactions. We obtain an upper limit estimate of
that suggests that the produced medium has a small viscosity per unit entropy.Comment: 7 pages, 4 figures, STAR paper published in Phys. Lett.
Longitudinal scaling property of the charge balance function in Au + Au collisions at 200 GeV
We present measurements of the charge balance function, from the charged
particles, for diverse pseudorapidity and transverse momentum ranges in Au + Au
collisions at 200 GeV using the STAR detector at RHIC. We observe that the
balance function is boost-invariant within the pseudorapidity coverage [-1.3,
1.3]. The balance function properly scaled by the width of the observed
pseudorapidity window does not depend on the position or size of the
pseudorapidity window. This scaling property also holds for particles in
different transverse momentum ranges. In addition, we find that the width of
the balance function decreases monotonically with increasing transverse
momentum for all centrality classes.Comment: 6 pages, 3 figure
Measurement of the Bottom contribution to non-photonic electron production in collisions at =200 GeV
The contribution of meson decays to non-photonic electrons, which are
mainly produced by the semi-leptonic decays of heavy flavor mesons, in
collisions at 200 GeV has been measured using azimuthal
correlations between non-photonic electrons and hadrons. The extracted
decay contribution is approximately 50% at a transverse momentum of GeV/. These measurements constrain the nuclear modification factor for
electrons from and meson decays. The result indicates that meson
production in heavy ion collisions is also suppressed at high .Comment: 6 pages, 4 figures, accepted by PR
Natural and released inoculum levels of entomopathogenic fungal biocontrol agents in soil in relation to risk assessment and in accordance with EU regulations
Effect of temperature, humidity and photoperiod on mortality of Mononychellus tanajoa (Acari: Tetranychidae) infected by Neozygites cf. floridana (Zygomycetes: Entomophthorales)
- …