44 research outputs found
Testing Reactive Probabilistic Processes
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 Pictoris b with VLT/SPHERE
With an orbital distance comparable to that of Saturn in the solar system,
\bpic b is the closest (semi-major axis \,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 in September 2018. The planetary orbit is now well constrained.
With a semi-major axis (sma) of au (1 ), 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
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
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.
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.
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
PARK7/DJ-1 promotes pyruvate dehydrogenase activity and maintains T
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\u27s disease gene) is a pacemaker regulating PDH activity in CD
CMS Data and Workflow Management System
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