44 research outputs found

    Testing Reactive Probabilistic Processes

    Full text link
    We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random behaviour. We characterize the testing equivalence in terms of ready-traces. From the characterization it follows that the equivalence is insensitive to the exact moment in time in which an internal probabilistic choice occurs, which is inherent from the original testing equivalence of De Nicola and Hennessy. We also show decidability of the testing equivalence for finite systems for which the complete model may not be known

    Post conjunction detection of β\beta Pictoris b with VLT/SPHERE

    Get PDF
    With an orbital distance comparable to that of Saturn in the solar system, \bpic b is the closest (semi-major axis \simeq\,9\,au) exoplanet that has been imaged to orbit a star. Thus it offers unique opportunities for detailed studies of its orbital, physical, and atmospheric properties, and of disk-planet interactions. With the exception of the discovery observations in 2003 with NaCo at the Very Large Telescope (VLT), all following astrometric measurements relative to \bpic have been obtained in the southwestern part of the orbit, which severely limits the determination of the planet's orbital parameters. We aimed at further constraining \bpic b orbital properties using more data, and, in particular, data taken in the northeastern part of the orbit. We used SPHERE at the VLT to precisely monitor the orbital motion of beta \bpic b since first light of the instrument in 2014. We were able to monitor the planet until November 2016, when its angular separation became too small (125 mas, i.e., 1.6\,au) and prevented further detection. We redetected \bpic b on the northeast side of the disk at a separation of 139\,mas and a PA of 30^{\circ} in September 2018. The planetary orbit is now well constrained. With a semi-major axis (sma) of a=9.0±0.5a = 9.0 \pm 0.5 au (1 σ\sigma ), it definitely excludes previously reported possible long orbital periods, and excludes \bpic b as the origin of photometric variations that took place in 1981. We also refine the eccentricity and inclination of the planet. From an instrumental point of view, these data demonstrate that it is possible to detect, if they exist, young massive Jupiters that orbit at less than 2 au from a star that is 20 pc away.Comment: accepted by A&

    Design concepts for the Cherenkov Telescope Array CTA: an advanced facility for ground-based high-energy gamma-ray astronomy

    Get PDF
    Ground-based gamma-ray astronomy has had a major breakthrough with the impressive results obtained using systems of imaging atmospheric Cherenkov telescopes. Ground-based gamma-ray astronomy has a huge potential in astrophysics, particle physics and cosmology. CTA is an international initiative to build the next generation instrument, with a factor of 5-10 improvement in sensitivity in the 100 GeV-10 TeV range and the extension to energies well below 100 GeV and above 100 TeV. CTA will consist of two arrays (one in the north, one in the south) for full sky coverage and will be operated as open observatory. The design of CTA is based on currently available technology. This document reports on the status and presents the major design concepts of CTA

    Southern African Large Telescope Spectroscopy of BL Lacs for the CTA project

    Get PDF
    In the last two decades, very-high-energy gamma-ray astronomy has reached maturity: over 200 sources have been detected, both Galactic and extragalactic, by ground-based experiments. At present, Active Galactic Nuclei (AGN) make up about 40% of the more than 200 sources detected at very high energies with ground-based telescopes, the majority of which are blazars, i.e. their jets are closely aligned with the line of sight to Earth and three quarters of which are classified as high-frequency peaked BL Lac objects. One challenge to studies of the cosmological evolution of BL Lacs is the difficulty of obtaining redshifts from their nearly featureless, continuum-dominated spectra. It is expected that a significant fraction of the AGN to be detected with the future Cherenkov Telescope Array (CTA) observatory will have no spectroscopic redshifts, compromising the reliability of BL Lac population studies, particularly of their cosmic evolution. We started an effort in 2019 to measure the redshifts of a large fraction of the AGN that are likely to be detected with CTA, using the Southern African Large Telescope (SALT). In this contribution, we present two results from an on-going SALT program focused on the determination of BL Lac object redshifts that will be relevant for the CTA observatory

    PARK7/DJ-1 promotes pyruvate dehydrogenase activity and maintains T<sub>reg </sub>homeostasis during ageing.

    No full text
    Pyruvate dehydrogenase (PDH) is the gatekeeper enzyme of the tricarboxylic acid (TCA) cycle. Here we show that the deglycase DJ-1 (encoded by PARK7, a key familial Parkinson’s disease gene) is a pacemaker regulating PDH activity in CD4+ regulatory T cells (Treg cells). DJ-1 binds to PDHE1-β (PDHB), inhibiting phosphorylation of PDHE1-α (PDHA), thus promoting PDH activity and oxidative phosphorylation (OXPHOS). Park7 (Dj-1) deletion impairs Treg survival starting in young mice and reduces Treg homeostatic proliferation and cellularity only in aged mice. This leads to increased severity in aged mice during the remission of experimental autoimmune encephalomyelitis (EAE). Dj-1 deletion also compromises differentiation of inducible Treg cells especially in aged mice, and the impairment occurs via regulation of PDHB. These findings provide unforeseen insight into the complicated regulatory machinery of the PDH complex. As Treg homeostasis is dysregulated in many complex diseases, the DJ-1–PDHB axis represents a potential target to maintain or re-establish Treg homeostasis

    PARK7/DJ-1 promotes pyruvate dehydrogenase activity and maintains T(reg) homeostasis during ageing.

    No full text
    Pyruvate dehydrogenase (PDH) is the gatekeeper enzyme of the tricarboxylic acid (TCA) cycle. Here we show that the deglycase DJ-1 (encoded by PARK7, a key familial Parkinson's disease gene) is a pacemaker regulating PDH activity in CD4(+) regulatory T cells (T(reg) cells). DJ-1 binds to PDHE1-β (PDHB), inhibiting phosphorylation of PDHE1-α (PDHA), thus promoting PDH activity and oxidative phosphorylation (OXPHOS). Park7 (Dj-1) deletion impairs T(reg) survival starting in young mice and reduces T(reg) homeostatic proliferation and cellularity only in aged mice. This leads to increased severity in aged mice during the remission of experimental autoimmune encephalomyelitis (EAE). Dj-1 deletion also compromises differentiation of inducible T(reg) cells especially in aged mice, and the impairment occurs via regulation of PDHB. These findings provide unforeseen insight into the complicated regulatory machinery of the PDH complex. As T(reg) homeostasis is dysregulated in many complex diseases, the DJ-1-PDHB axis represents a potential target to maintain or re-establish T(reg) homeostasis

    CMS Data and Workflow Management System

    No full text
    CMS expects to manage many tens of peta bytes of data to be distributed over several computing centers around the world. The CMS distributed computing and analysis model is designed to serve, process and archive the large number of events that will be generated when the CMS detector starts taking data. The underlying concepts and the overall architecture of the CMS data and workflow management system will be presented. In addition the experience in using the system for MC production, initial detector commissioning activities and data analysis will be summarized
    corecore