Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

Cooperative Control for Target Tracking with Onboard Sensing

Abstract We consider the cooperative control of a team of robots to estimate the position of a moving target using onboard sensing. In particular, we do not as-sume that the robot positions are known, but estimate their positions using relative onboard sensing. Our probabilistic localization and control method takes into ac-count the motion and sensing capabilities of the individual robots to minimize the expected future uncertainty of the target position. It reasons about multiple possi-ble sensing topologies and incorporates an efficient topology switching technique to generate locally optimal controls in polynomial time complexity. Simulations show the performance of our approach and prove its flexibility to find suitable sensing topologies depending on the limited sensing capabilities of the robots and the movements of the target. Furthermore, we demonstrate the applicability of our method in various experiments with single and multiple quadrotor robots tracking a ground vehicle in an indoor environment

Heavy Quark Mass Effects in Deep Inelastic Scattering and Global QCD Analysis

A new implementation of the general PQCD formalism of Collins, including heavy quark mass effects, is described. Important features that contribute to the accuracy and efficiency of the calculation of both neutral current (NC) and charged current (CC) processess are explicitly discussed. This new implementation is applied to the global analysis of the full HERA I data sets on NC and CC cross sections, with correlated systematic errors, in conjunction with the usual fixed-target and hadron collider data sets. By using a variety of parametrizations to explore the parton parameter space, robust new parton distribution function (PDF) sets (CTEQ6.5) are obtained. The new quark distributions are consistently higher in the region x ~ 10^{-3} than previous ones, with important implications on hadron collider phenomenology, especially at the LHC. The uncertainties of the parton distributions are reassessed and are compared to the previous ones. A new set of CTEQ6.5 eigenvector PDFs that encapsulates these uncertainties is also presented.Comment: 32 pages, 12 figures; updated, Publication Versio

Spectroscopic investigations of neptunium`s and plutonium`s oxidation states in sol-gel glasses as a function of initial valance and thermal history

Several oxidation states of neptunium and plutonium, Pu(III),Pu (IV), PU(VI), Np(IV), Np(V) and Np (VI), were studied in glasses prepared by a sol-gel technology. The oxidation state of these actinides was determined primarily by absorption spectrometry and followed as a function of the solidification process, subsequent aging and thermal treatments. It was determined that the initial oxidation state of the actinides in the starting solutions was essentially maintained through the solidification process to form the glasses. However, during densification and removal of residual solvents at elevated temperatures, both actinides in the different sol-gel products converted completely to their tetravalent states. These results are discussed in terms of our findings in comparable studies that only the tetravalent states of plutonium and neptunium are formed in glasses prepared by dissolving their dioxides in different molten- glass formulations

Probing Gauge-Mediated Supersymmetry Breaking Through Polarized Electron Beams in an e+e−e^+e^- Collider

Using the facts that in Gauge-Mediated Supersymmetry Breaking schemes, masses of the right and the left sfermions can differ widely, and the gravitino is the Lightest Supersymmetric Particle, we show that it is possible to obtain unambiguous signatures of such schemes in a high energy $e^+e^-$ collider if one looks at the asymmetries in the cross-sections for certain final states with left-and right-polarized beams.Comment: Plain LaTeX file, with four postscript figures adde

Equality, Quasi-Implicit Products, and Large Eliminations

This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including implicit arguments, are dropped during reduction of terms. We develop the metatheory for an undecidable version of the system with unannotated terms. We then devise a decidable system with annotated terms, justified in terms of the unannotated system. Finally, we show how the approach can be extended to account for large eliminations, using what we call quasi-implicit products.Comment: In Proceedings ITRS 2010, arXiv:1101.410

Uncertainties on parton distribution functions from the ZEUS NLO QCD fit to data on deep inelastic scattering

An NLO QCD analysis of the ZEUS data on $e^+ p$ deep inelastic scattering together with fixed-target data has been performed from which the gluon and quark densities of the proton and the value of the strong coupling parameter, $\alpha_s(M_Z^2)$, have been extracted. The study includes a full treatment of the experimental systematic uncertainties, including point-to-point correlations. Different ways of incorporating correlated systematic uncertainties into the fit are discussed and compared.Comment: 8 pages, 1 figure. Invited talk at the Conference on Advanced Statistical Techniques in Particle Physics, March 18-22 2002, Durham, U

Constraints from b→sγb \to s \gamma on gauge-mediated supersymmetry breaking models

We consider the branching ratio of $b \to s\gamma$ in gauge mediated supersymmetry breaking theories. Useful bounds on the parameter space of these models are derived from the experimental bounds on $b \to s\gamma$. Constraints on masses of NLSP are presented as a function of $tan\beta$ and $M/\Lambda$ for $\mu0$.Comment: 12 pages(Latex), 3 PS Figures (uuencoded, epsf.tex); minor modification in the introductory part of the tex

A global reanalysis of nuclear parton distribution functions

We determine the nuclear modifications of parton distribution functions of bound protons at scales $Q^2\ge 1.69$ GeV$^2$ and momentum fractions $10^{-5}\le x\le 1$ in a global analysis which utilizes nuclear hard process data, sum rules and leading-order DGLAP scale evolution. The main improvements over our earlier work {\em EKS98} are the automated $\chi^2$ minimization, simplified and better controllable fit functions, and most importantly, the possibility for error estimates. The resulting 16-parameter fit to the N=514 datapoints is good, $\chi^2/{\rm d.o.f}=0.82$. Within the error estimates obtained, the old {\em EKS98} parametrization is found to be fully consistent with the present analysis, with no essential difference in terms of $\chi^2$ either. We also determine separate uncertainty bands for the nuclear gluon and sea quark modifications in the large-$x$ region where they are not stringently constrained by the available data. Comparison with other global analyses is shown and uncertainties demonstrated. Finally, we show that RHIC-BRAHMS data for inclusive hadron production in d+Au collisions lend support for a stronger gluon shadowing at $x<0.01$ and also that fairly large changes in the gluon modifications do not rapidly deteriorate the goodness of the overall fits, as long as the initial gluon modifications in the region $x\sim 0.02-0.04$ remain small.Comment: 33 pages, 14 figure

Unpolarized structure functions at Jefferson Lab

Over the past decade measurements of unpolarized structure functions at Jefferson Lab with unprecedented precision have significantly advanced our knowledge of nucleon structure. These have for the first time allowed quantitative tests of the phenomenon of quark-hadron duality, and provided a deeper understanding of the transition from hadron to quark degrees of freedom in inclusive scattering. Dedicated Rosenbluth-separation experiments have yielded high-precision transverse and longitudinal structure functions in regions previously unexplored, and new techniques have enabled the first glimpses of the structure of the free neutron, without contamination from nuclear effects.Comment: 21 pages, 9 figures; typo in Eq. (3) corrected, references added; to appear in J. Phys. Conf. Proc. "New Insights into the Structure of Matter: The First Decade of Science at Jefferson Lab", eds. D. Higinbotham, W. Melnitchouk, A. Thoma