Bottom Quark Mass Determination from low-n Sum Rules

We study the uncertainties in the MSbar bottom quark mass determination using relativistic sum rules to O(alpha_S^2). We include charm mass effects and secondary b bbar production and treat the experimental continuum region more conservatively than previous analyses. The PDG treatment of the region between the resonances Upsilon (4S) and Upsilon (5S) is reconsidered. Our final result reads: m_b(m_b)=(4.20 \pm 0.09) GeV.Comment: 4 pages, Talk given at QCD 03, Montpellier, France, 2-9 July 200

Lithium in field Am and normal A-F-type stars

Preliminary abundances of lithium and a few other elements have been obtained for 31 field Am stars with good Hipparcos parallaxes, as well as for 36 normal A and F stars. Radial and projected rotational velocities were determined as well. We examine the Li abundance as a function of the stellar parameters: for normal stars, it is clearly bimodal for Teff < 7500 K, while Am-Fm stars are all somewhat Li-deficient in this range. The most Li-deficient stars - either Am or normal - tend to be at least slightly evolved, but the reverse is not true.Comment: 4 pages, 2 figures, poster presented at the conference "Element stratification in stars, 40 years of atomic diffusion", eds. G. Alecian, O. Richard and S. Vauclair, EAS Publication Series, in pres

From vertex detectors to inner trackers with CMOS pixel sensors

The use of CMOS Pixel Sensors (CPS) for high resolution and low material vertex detectors has been validated with the 2014 and 2015 physics runs of the STAR-PXL detector at RHIC/BNL. This opens the door to the use of CPS for inner tracking devices, with 10-100 times larger sensitive area, which require therefore a sensor design privileging power saving, response uniformity and robustness. The 350 nm CMOS technology used for the STAR-PXL sensors was considered as too poorly suited to upcoming applications like the upgraded ALICE Inner Tracking System (ITS), which requires sensors with one order of magnitude improvement on readout speed and improved radiation tolerance. This triggered the exploration of a deeper sub-micron CMOS technology, Tower-Jazz 180 nm, for the design of a CPS well adapted for the new ALICE-ITS running conditions. This paper reports the R&D results for the conception of a CPS well adapted for the ALICE-ITS.Comment: 4 pages, 4 figures, VCI 2016 conference proceeding

A generic framework for context-sensitive analysis of modular programs

Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in order to validate/debug the program and/or to specialize the program obtaining important improvements. Unfortunately, context-sensitive analysis of modular programs poses important theoretical and practical problems. One solution, used in several proposals, is to resort to context-free analysis. Other proposals do address context-sensitive analysis, but are only applicable when the description domain used satisfies rather restrictive properties. In this paper, we argüe that a general framework for context-sensitive analysis of modular programs, Le., one that allows using all the domains which have proved useful in practice in the non-modular setting, is indeed feasible and very useful. Driven by our experience in the design and implementation of analysis and specialization techniques in the context of CiaoPP, the Ciao system preprocessor, in this paper we discuss a number of design goals for context-sensitive analysis of modular programs as well as the problems which arise in trying to meet these goals. We also provide a high-level description of a framework for analysis of modular programs which does substantially meet these objectives. This framework is generic in that it can be instantiated in different ways in order to adapt to different contexts. Finally, the behavior of the different instantiations w.r.t. the design goals that motivate our work is also discussed

Entropies, volumes, and Einstein metrics

We survey the definitions and some important properties of several asymptotic invariants of smooth manifolds, and discuss some open questions related to them. We prove that the (non-)vanishing of the minimal volume is a differentiable property, which is not invariant under homeomorphisms. We also formulate an obstruction to the existence of Einstein metrics on four-manifolds involving the volume entropy. This generalizes both the Gromov--Hitchin--Thorpe inequality and Sambusetti's obstruction.Comment: This is a substantial revision and expansion of the 2004 preprint, which I prepared in spring of 2010 and which has since been published. The version here is essentially the published one, minus the problems introduced by Springer productio

Tactics for Reasoning modulo AC in Coq

We present a set of tools for rewriting modulo associativity and commutativity (AC) in Coq, solving a long-standing practical problem. We use two building blocks: first, an extensible reflexive decision procedure for equality modulo AC; second, an OCaml plug-in for pattern matching modulo AC. We handle associative only operations, neutral elements, uninterpreted function symbols, and user-defined equivalence relations. By relying on type-classes for the reification phase, we can infer these properties automatically, so that end-users do not need to specify which operation is A or AC, or which constant is a neutral element.Comment: 16

New limits for neutrinoless tau decays

Neutrinoless 3-prong tau lepton decays into a charged lepton and either two charged particles or one neutral meson have been searched for using 4.79fb^(-1) of data collected with the CLEO II detector at Cornell Electron Storage Ring. This analysis represents an update of a previous study and the addition of six decay channels. In all channels the numbers of events found are compatible with background estimates and branching fraction upper limits are set for 28 different decay modes. These limits are either more stringent than those set previously or represent the first attempt to find these decays

Relativistic Magnetic Monopole Flux Constraints from RICE

We report an upper limit on the flux of relativistic monopoles based on the non-observation of in-ice showers by the Radio Ice Cherenkov Experiment (RICE) at the South Pole. We obtain a 95% C.L. limit of order 10^{-18}/(cm^2-s-sr) for intermediate mass monopoles of 10^7<gamma<10^{12} at the anticipated energy E=10^{16} GeV. This bound is over an order of magnitude stronger than all previously published experimental limits for this range of boost parameters gamma, and exceeds two orders of magnitude improvement over most of the range. We review the physics of radio detection, describe a Monte Carlo simulation including continuous and stochastic energy losses, and compare to previous experimental limits.Comment: 16 pages, 6 figures. Accepted for publication in Phys. Rev. D. Minor revisions, including expanded discussion of monopole energy uncertaint