Carbon dioxide and climate impulse response functions for the computation of greenhouse gas metrics: a multi-model analysis

The responses of carbon dioxide (CO2) and other climate variables to an emission pulse of CO2 into the atmosphere are often used to compute the Global Warming Potential (GWP) and Global Temperature change Potential (GTP), to characterize the response timescales of Earth System models, and to build reduced-form models. In this carbon cycle-climate model intercomparison project, which spans the full model hierarchy, we quantify responses to emission pulses of different magnitudes injected under different conditions. The CO2 response shows the known rapid decline in the first few decades followed by a millennium-scale tail. For a 100 Gt-C emission pulse added to a constant CO2 concentration of 389 ppm, 25 ± 9% is still found in the atmosphere after 1000 yr; the ocean has absorbed 59 ± 12% and the land the remainder (16 ± 14%). The response in global mean surface air temperature is an increase by 0.20 ± 0.12 °C within the first twenty years; thereafter and until year 1000, temperature decreases only slightly, whereas ocean heat content and sea level continue to rise. Our best estimate for the Absolute Global Warming Potential, given by the time-integrated response in CO2 at year 100 multiplied by its radiative efficiency, is 92.5 × 10−15 yr W m−2 per kg-CO2. This value very likely (5 to 95% confidence) lies within the range of (68 to 117) × 10−15 yr W m−2 per kg-CO2. Estimates for time-integrated response in CO2 published in the IPCC First, Second, and Fourth Assessment and our multi-model best estimate all agree within 15% during the first 100 yr. The integrated CO2 response, normalized by the pulse size, is lower for pre-industrial conditions, compared to present day, and lower for smaller pulses than larger pulses. In contrast, the response in temperature, sea level and ocean heat content is less sensitive to these choices. Although, choices in pulse size, background concentration, and model lead to uncertainties, the most important and subjective choice to determine AGWP of CO2 and GWP is the time horizon.

Everolimus is a potent inhibitor of activated hepatic stellate cell functions in vitro and in vivo , while demonstrating anti-angiogenic activities

Progression of liver fibrosis to HCC (hepatocellular carcinoma) is a very complex process which involves several pathological phenomena, including hepatic stellate cell activation, inflammation, fibrosis and angiogenesis. Therefore inhibiting multiple pathological processes using a single drug can be an effective choice to curb the progression of HCC. In the present study, we used the mTOR inhibitor everolimus to observe its effect on the in vitro activation of hepatic stellate cells and angiogenesis. The results of the present study demonstrated that everolimus treatment blocked the functions of the immortalized human activated hepatic stellate cell line LX-2 without affecting the viability and migration of primary human stellate cells. We also observed that treatment with everolimus (20 nM) inhibited collagen production by activated stellate cells, as well as cell contraction. Everolimus treatment was also able to attenuate the activation of primary stellate cells to their activated form. Angiogenesis studies showed that everolimus blocked angiogenesis in a rat aortic ring assay and inhibited the tube formation and migration of liver sinusoidal endothelial cells. Finally, everolimus treatment reduced the load of tumoral myofibroblasts in a rat model of HCC. These data suggest that everolimus targets multiple mechanisms, making it a potent blocker of the progression of HCC from liver fibrosis.

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.