A Calculus of Bounded Capacities

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation

Star Formation and Dynamics in the Galactic Centre

The centre of our Galaxy is one of the most studied and yet enigmatic places in the Universe. At a distance of about 8 kpc from our Sun, the Galactic centre (GC) is the ideal environment to study the extreme processes that take place in the vicinity of a supermassive black hole (SMBH). Despite the hostile environment, several tens of early-type stars populate the central parsec of our Galaxy. A fraction of them lie in a thin ring with mild eccentricity and inner radius ~0.04 pc, while the S-stars, i.e. the ~30 stars closest to the SMBH (<0.04 pc), have randomly oriented and highly eccentric orbits. The formation of such early-type stars has been a puzzle for a long time: molecular clouds should be tidally disrupted by the SMBH before they can fragment into stars. We review the main scenarios proposed to explain the formation and the dynamical evolution of the early-type stars in the GC. In particular, we discuss the most popular in situ scenarios (accretion disc fragmentation and molecular cloud disruption) and migration scenarios (star cluster inspiral and Hills mechanism). We focus on the most pressing challenges that must be faced to shed light on the process of star formation in the vicinity of a SMBH.Comment: 68 pages, 35 figures; invited review chapter, to be published in expanded form in Haardt, F., Gorini, V., Moschella, U. and Treves, A., 'Astrophysical Black Holes'. Lecture Notes in Physics. Springer 201

String theoretic QCD axion with stabilized saxion and the pattern of supersymmetry breaking

String theoretic axion is a prime candidate for the QCD axion solving the strong CP problem. For a successful realization of the QCD axion in string theory, one needs to stabilize moduli including the scalar partner (saxion) of the QCD axion, while keeping the QCD axion unfixed until the low energy QCD instanton effects are turned on. We note that a simple generalization of KKLT moduli stabilization provides such set-up realizing the axion solution to the strong CP problem. Although some details of moduli stabilization are different from the original KKLT scenario, this set-up leads to the mirage mediation pattern of soft SUSY breaking terms as in the KKLT case, preserving flavor and CP as a consequence of approximate scaling and axionic shift symmetries. The set-up also gives an interesting pattern of moduli masses which might avoid the cosmological moduli, gravitino and axion problems.Comment: JHEP style, 21 pages, 3 figures; typos correcte

Accretion mode versus radio morphology in the LOFAR Deep Fields

Galaxie

History of clinical transplantation

How transplantation came to be a clinical discipline can be pieced together by perusing two volumes of reminiscences collected by Paul I. Terasaki in 1991-1992 from many of the persons who were directly involved. One volume was devoted to the discovery of the major histocompatibility complex (MHC), with particular reference to the human leukocyte antigens (HLAs) that are widely used today for tissue matching.1 The other focused on milestones in the development of clinical transplantation.2 All the contributions described in both volumes can be traced back in one way or other to the demonstration in the mid-1940s by Peter Brian Medawar that the rejection of allografts is an immunological phenomenon.3,4 © 2008 Springer New York

Energetic particle influence on the Earth's atmosphere

This manuscript gives an up-to-date and comprehensive overview of the effects of energetic particle precipitation (EPP) onto the whole atmosphere, from the lower thermosphere/mesosphere through the stratosphere and troposphere, to the surface. The paper summarizes the different sources and energies of particles, principally galactic cosmic rays (GCRs), solar energetic particles (SEPs) and energetic electron precipitation (EEP). All the proposed mechanisms by which EPP can affect the atmosphere are discussed, including chemical changes in the upper atmosphere and lower thermosphere, chemistry-dynamics feedbacks, the global electric circuit and cloud formation. The role of energetic particles in Earth’s atmosphere is a multi-disciplinary problem that requires expertise from a range of scientific backgrounds. To assist with this synergy, summary tables are provided, which are intended to evaluate the level of current knowledge of the effects of energetic particles on processes in the entire atmosphere