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

Simulation of a Hybrid Optical/Radio/Acoustic Extension to IceCube for EeV Neutrino Detection

Astrophysical neutrinos at $\sim$EeV energies promise to be an interesting source for astrophysics and particle physics. Detecting the predicted cosmogenic (``GZK'') neutrinos at 10$^{16}$ - 10$^{20}$ eV would test models of cosmic ray production at these energies and probe particle physics at $\sim$100 TeV center-of-mass energy. While IceCube could detect $\sim$1 GZK event per year, it is necessary to detect 10 or more events per year in order to study temporal, angular, and spectral distributions. The IceCube observatory may be able to achieve such event rates with an extension including optical, radio, and acoustic receivers. We present results from simulating such a hybrid detector.Comment: 4 pages, 2 figures; to appear in the Proceedings of the 29th ICRC, Pune, Indi

Les nouveaux immortels : le succès des séries télévisées fantastiques destinées au public adolescent

Naissance du genre " fantastique pour adolescents " dans les séries télévisées des années 1990, représentation de cet âge confrontée au vieillissement des acteurs

How much input is nedded from the microstructure to model ductile fracture?

International audienceNew phenomena of ductile behavior are briefly presented that are mostly relevant for anisotropic materials. These include void rotation induced ductility enhancement under off-axes loading and two modes of coalescence that are different from the internal necking mode. The effects associated with some phenomena are of first order and the general question arises as to what microstructural parameters affect ductile behavior

Interface Engineering to Create a Strong Spin Filter Contact to Silicon

Integrating epitaxial and ferromagnetic Europium Oxide (EuO) directly on silicon is a perfect route to enrich silicon nanotechnology with spin filter functionality. To date, the inherent chemical reactivity between EuO and Si has prevented a heteroepitaxial integration without significant contaminations of the interface with Eu silicides and Si oxides. We present a solution to this long-standing problem by applying two complementary passivation techniques for the reactive EuO/Si interface: ($i$) an $in\:situ$ hydrogen-Si $(001)$ passivation and ($ii$) the application of oxygen-protective Eu monolayers --- without using any additional buffer layers. By careful chemical depth profiling of the oxide-semiconductor interface via hard x-ray photoemission spectroscopy, we show how to systematically minimize both Eu silicide and Si oxide formation to the sub-monolayer regime --- and how to ultimately interface-engineer chemically clean, heteroepitaxial and ferromagnetic EuO/Si $(001)$ in order to create a strong spin filter contact to silicon.Comment: 11 pages of scientific paper, 10 high-resolution color figures. Supplemental information on the thermodynamic problem available (PDF). High-resolution abstract graphic available (PNG). Original research (2016

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

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

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