6,534 research outputs found

    Transfinite Step-indexing for Termination

    Get PDF

    Chandra Observations of Extended X-ray Emission in Arp 220

    Full text link
    We resolve the extended X-ray emission from the prototypical ultraluminous infrared galaxy Arp 220. Extended, faint edge-brightened, soft X-ray lobes outside the optical galaxy are observed to a distance of 10 to 15 kpc on each side of the nuclear region. Bright plumes inside the optical isophotes coincide with the optical line emission and extend 11 kpc from end to end across the nucleus. The data for the plumes cannot be fit by a single temperature plasma, and display a range of temperatures from 0.2 to 1 keV. The plumes emerge from bright, diffuse circumnuclear emission in the inner 3 kpc centered on the Halpha peak, which is displaced from the radio nuclei. There is a close morphological correspondence between the Halpha and soft X-ray emission on all spatial scales. We interpret the plumes as a starburst-driven superwind, and discuss two interpretations of the emission from the lobes in the context of simulations of the merger dynamics of Arp 220.Comment: Accepted for publication in ApJ; see also astro-ph/0208477 (Paper 1

    The GALEX Arecibo SDSS Survey. VI. Second Data Release and Updated Gas Fraction Scaling Relations

    Full text link
    We present the second data release from the GALEX Arecibo SDSS Survey (GASS), an ongoing large Arecibo program to measure the HI properties for an unbiased sample of ~1000 galaxies with stellar masses greater than 10^10 Msun and redshifts 0.025<z<0.05. GASS targets are selected from the Sloan Digital Sky Survey (SDSS) spectroscopic and Galaxy Evolution Explorer (GALEX) imaging surveys, and are observed until detected or until a gas mass fraction limit of a few per cent is reached. This second data installment includes new Arecibo observations of 240 galaxies, and marks the 50% of the complete survey. We present catalogs of the HI, optical and ultraviolet parameters for these galaxies, and their HI-line profiles. Having more than doubled the size of the sample since the first data release, we also revisit the main scaling relations of the HI mass fraction with galaxy stellar mass, stellar mass surface density, concentration index, and NUV-r color, as well as the gas fraction plane introduced in our earlier work.Comment: 30 pages, 12 figures. Accepted for publication in A&A. Version with complete Appendix A available at http://www.mpa-garching.mpg.de/GASS/pubs.php . GASS released data can be found at http://www.mpa-garching.mpg.de/GASS/data.ph

    Realizing availability-oriented business models in the capital goods industry

    Get PDF
    The validation results of a concept for the development of availability-oriented business models are addressed. The developed concept contains five steps by means of primarily design thinking methods. For the validation, the developed concept is applied at Lenze, a German innovative manufacturer of drive and automation solutions for materials handling, handling technology, packaging industry, robotics and automotive industry. Therefore, a use case is defined, business models, extended value networks, persona analyses and customer journey are elaborated. The results show the applicability of the concept for the development of availability-oriented business models for the capital goods industry. © 2018 The Authors. Published by Elsevier B.V

    Entropy in Spin Foam Models: The Statistical Calculation

    Full text link
    Recently an idea for computing the entropy of black holes in the spin foam formalism has been introduced. Particularly complete calculations for the three dimensional euclidean BTZ black hole were done. The whole calculation is based on observables living at the horizon of the black hole universe. Departing from this idea of observables living at the horizon, we now go further and compute the entropy of BTZ black hole in the spirit of statistical mechanics. We compare both calculations and show that they are very interrelated and equally valid. This latter behaviour is certainly due to the importance of the observables.Comment: 11 pages, 1 figur

    Riemann solvers and undercompressive shocks of convex FPU chains

    Full text link
    We consider FPU-type atomic chains with general convex potentials. The naive continuum limit in the hyperbolic space-time scaling is the p-system of mass and momentum conservation. We systematically compare Riemann solutions to the p-system with numerical solutions to discrete Riemann problems in FPU chains, and argue that the latter can be described by modified p-system Riemann solvers. We allow the flux to have a turning point, and observe a third type of elementary wave (conservative shocks) in the atomistic simulations. These waves are heteroclinic travelling waves and correspond to non-classical, undercompressive shocks of the p-system. We analyse such shocks for fluxes with one or more turning points. Depending on the convexity properties of the flux we propose FPU-Riemann solvers. Our numerical simulations confirm that Lax-shocks are replaced by so called dispersive shocks. For convex-concave flux we provide numerical evidence that convex FPU chains follow the p-system in generating conservative shocks that are supersonic. For concave-convex flux, however, the conservative shocks of the p-system are subsonic and do not appear in FPU-Riemann solutions

    Sommerfeld's quantum condition of action and the spectra of Schwarzschild black hole

    Full text link
    If the situation of quantum gravity nowadays is nearly the same as that of the quantum mechanics in it's early time of Bohr and Sommerfeld, then a first step study of the quantum gravity from Sommerfeld's quantum condition of action might be helpful. In this short paper the spectra of Schwarzschild black hole(SBH) in quasi-classical approach of quantum mechanics is given. We find the quantum of area, the quantum of entropy and the Hawking evaporation will cease as the black hole reaches its ground state.Comment: 7 pages, no figures, submitted to Classical and Quantum Gravit

    Perturbative stability of the QCD analysis of DIS data

    Get PDF
    We perform pQCD analysis of the existing DIS data for charged leptons with account of corrections up to the NNLO. The parton distributions, value of strong coupling constant, and high-twist terms are extracted and their stability with respect to account of the NNLO corrections is analyzed. All the quantities are generally stable within their experimental errors. Obtained value of the strong coupling constant is αsNNLO(MZ)=0.1143±0.0014(exp)\alpha_s^{\rm NNLO}(M_{\rm Z})=0.1143\pm 0.0014 ({\rm exp}) with a guess αsNNNLO(MZ)0.113\alpha_s^{\rm NNNLO}(M_{\rm Z})\sim 0.113.Comment: 4 pages, LATEX, 3 figures (EPS). Talk presented at the 37th Rencontres de Moriond, QCD and Hadronic Interactions, Les Arcs 1800 (France), March 16-23 200

    Functional Big-step Semantics

    Get PDF
    When doing an interactive proof about a piece of software, it is important that the underlying programming language’s semantics does not make the proof unnecessarily difficult or unwieldy. Both smallstep and big-step semantics are commonly used, and the latter is typically given by an inductively defined relation. In this paper, we consider an alternative: using a recursive function akin to an interpreter for the language. The advantages include a better induction theorem, less duplication, accessibility to ordinary functional programmers, and the ease of doing symbolic simulation in proofs via rewriting. We believe that this style of semantics is well suited for compiler verification, including proofs of divergence preservation. We do not claim the invention of this style of semantics: our contribution here is to clarify its value, and to explain how it supports several language features that might appear to require a relational or small-step approach. We illustrate the technique on a simple imperative language with C-like for-loops and a break statement, and compare it to a variety of other approaches. We also provide ML and lambda-calculus based examples to illustrate its generality

    Later Credits: {R}esourceful Reasoning for the Later Modality

    Get PDF
    corecore