Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

Assessment of low-flow, low-gradient, severe aortic stenosis: an invasive evaluation is required for decision making.

Low-flow, low-gradient severe aortic stenosis (AS) is characterised by a small aortic valve area (AVA) and low mean gradient (MG) secondary to a low cardiac output and may occur in patients with either a preserved or reduced left ventricular ejection fraction (LVEF). Symptomatic patients presenting with low-flow, low-gradient severe AS have a dismal prognosis independent of baseline LVEF if managed conservatively and should therefore undergo aortic valve replacement if feasible. Transthoracic echocardiography (TTE) is the first-line investigation for the assessment of AS haemodynamic severity. However, when confronted with guideline-discordant AVA (small) and MG (low) values, there are several reasons other than severe AS combined with a low cardiac output which may lead to such a situation, including erroneous measurements, small body size, inherent inconsistencies in the guidelines' criteria, prolonged ejection time and aortic pseudostenosis. The distinction between these various entities poses a diagnostic challenge. However, it is important to make a distinction because each has very different implications in terms of risk stratification and therapeutic management. In such instances, cardiac catheterisation forms an integral part of the work-up of these patients in order to confirm or refute the echocardiographic findings to guide management decisions appropriately.

Pulmonary veins to left atrium cycle length gradient predicts procedural and clinical outcomes of persistent atrial fibrillation ablation.

BACKGROUND Rapid pulmonary vein (PV) activity has been shown to maintain paroxysmal atrial fibrillation (AF). We evaluated in persistent AF the cycle length (CL) gradient between PVs and the left atrium (LA) in an attempt to identify the subset of patients where PVs play an important role. METHODS AND RESULTS Ninety-seven consecutive patients undergoing first ablation for persistent AF were studied. For each PV, the CL of the fastest activation was assessed over 1 minute (PVfast) using Lasso recordings. The PV to LA CL gradient was quantified by the ratio of PVfast to LA appendage (LAA) AF CL. Stepwise ablation terminated AF in 73 patients (75%). In the AF termination group, the PVfast CL was much shorter than the LAA CL resulting in lower PVfast/LAA ratios compared with the nontermination group (71±10% versus 92±7%; P<0.001). Within the termination group, PVfast/LAA ratios were notably lower if AF terminated after PV isolation or limited adjunctive substrate ablation compared with patients who required moderate or extensive ablation (63±6% versus 75±8%; P<0.001). PVfast/LAA ratio <69% predicted AF termination after PV isolation or limited substrate ablation with 74% positive predictive value and 95% negative predictive value. After a mean follow-up of 29±17 months, freedom from arrhythmia recurrence off-antiarrhythmic drugs was achieved in most patients with PVfast/LAA ratios <69% as opposed to the remaining population (80% versus 43%; P<0.001). CONCLUSIONS The PV to LA CL gradient may identify the subset of patients in whom persistent AF is likely to terminate after PV isolation or limited substrate ablation and better long-term outcomes are achieved.

Impact of mitral regurgitation on clinical outcomes of patients with low-ejection fraction, low-gradient severe aortic stenosis undergoing transcatheter aortic valve implantation.

BACKGROUND Up to 1 in 6 patients undergoing transcatheter aortic valve implantation (TAVI) present with low-ejection fraction, low-gradient (LEF-LG) severe aortic stenosis and concomitant relevant mitral regurgitation (MR) is present in 30% to 55% of these patients. The effect of MR on clinical outcomes of LEF-LG patients undergoing TAVI is unknown. METHODS AND RESULTS Of 606 consecutive patients undergoing TAVI, 113 (18.7%) patients with LEF-LG severe aortic stenosis (mean gradient ≤40 mm Hg, aortic valve area <1.0 cm(2), left ventricular ejection fraction <50%) were analyzed. LEF-LG patients were dichotomized into ≤mild MR (n=52) and ≥moderate MR (n=61). Primary end point was all-cause mortality at 1 year. No differences in mortality were observed at 30 days (P=0.76). At 1 year, LEF-LG patients with ≥moderate MR had an adjusted 3-fold higher rate of all-cause mortality (11.5% versus 38.1%; adjusted hazard ratio, 3.27 [95% confidence interval, 1.31-8.15]; P=0.011), as compared with LEF-LG patients with ≤mild MR. Mortality was mainly driven by cardiac death (adjusted hazard ratio, 4.62; P=0.005). As compared with LEF-LG patients with ≥moderate MR assigned to medical therapy, LEF-LG patients with ≥moderate MR undergoing TAVI had significantly lower all-cause mortality (hazard ratio, 0.38; 95% confidence interval, 0.019-0.75) at 1 year. CONCLUSIONS Moderate or severe MR is a strong independent predictor of late mortality in LEF-LG patients undergoing TAVI. However, LEF-LG patients assigned to medical therapy have a dismal prognosis independent of MR severity suggesting that TAVI should not be withheld from symptomatic patients with LEF-LG severe aortic stenosis even in the presence of moderate or severe MR.

Minimum carbon payment along an aridity gradient for dryland afforestation in non annex I countries with stochastic weather and prices

Recent findings demonstrate that trees in deserts are efficient carbon sinks. It remains however unknown whether the Clean Development Mechanism will accelerate the planting of trees in Non Annex I dryland countries. We estimated the price of carbon at which a farmer would be indifferent between his customary activity and the planting of trees to trade carbon credits, along an aridity gradient. Carbon yields were simulated by means of the CO2FIX v3.1 model for Pinus halepensis with its respective yield classes along the gradient (Arid – 100mm to Dry Sub Humid conditions – 900mm). Wheat and pasture yields were predicted on somewhat similar nitrogen-based quadratic models, using 30 years of weather data to simulate moisture stress. Stochastic production, input and output prices were afterwards simulated on a Monte Carlo matrix. Results show that, despite the high levels of carbon uptake, carbon trading by afforesting is unprofitable anywhere along the gradient. Indeed, the price of carbon would have to raise unrealistically high, and the certification costs would have to drop significantly, to make the Clean Development Mechanism worthwhile for non annex I dryland countries farmers. From a government agency's point of view the Clean Development Mechanism is attractive. However, such agencies will find it difficult to demonstrate “additionality”, even if the rule may be somewhat flexible. Based on these findings, we will further discuss why the Clean Development Mechanism, a supposedly pro-poor instrument, fails to assist farmers in Non Annex I dryland countries living at minimum subsistence level.

Induction of root-resistance by leaf-herbivory follows a vertical gradient

Leaf-herbivory can lead to systemic changes in root metabolism and resistance. As yet, it is unknown if these changes affect the whole root system, or if they are more pronounced in the upper root parts, which are closer to the actual site of attack. As this spatial aspect may be an important determinant of the interactions that can be expected to occur within the rhizosphere, we investigated if leaf-herbivore induced root resistance differs between upper and lower roots of maize. We also tested if the density of leaf-herbivores correlates with intensity of the root response. The systemic increase in resistance was found to be more pronounced in the upper than the lower roots and was independent of leaf herbivore density. The results suggest that there is a vertical gradient in the strength of the root response following leaf-herbivory, and that soil organisms living closer to the surface may be more affected by leaf-attack than the ones living in deeper soil layers.

Natural and anthropogenic methane fluxes in Eurasia: a mesoscale quantification by generalized atmospheric inversion

Eight surface observation sites providing quasi-continuous measurements of atmospheric methane mixingratios have been operated since the mid-2000’s in Siberia. For the first time in a single work, we assimilate 1 year of these in situ observations in an atmospheric inversion. Our objective is to quantify methane surface fluxes from anthropogenic and wetland sources at the mesoscale in the Siberian lowlands for the year 2010. To do so, we first inquire about the way the inversion uses the observations and the way the fluxes are constrained by the observation sites. As atmospheric inver- sions at the mesoscale suffer from mis-quantified sources of uncertainties, we follow recent innovations in inversion techniques and use a new inversion approach which quantifies the uncertainties more objectively than the previous inversion systems. We find that, due to errors in the representation of the atmospheric transport and redundant pieces of information, only one observation every few days is found valuable by the inversion. The remaining high-resolution quasi-continuous signal is representative of very local emission patterns difficult to analyse with a mesoscale system. An analysis of the use of information by the inversion also reveals that the observation sites constrain methane emissions within a radius of 500 km. More observation sites than the ones currently in operation are then necessary to constrain the whole Siberian lowlands. Still, the fluxes within the constrained areas are quantified with objectified uncertainties. Finally, the tolerance intervals for posterior methane fluxes are of roughly 20 % (resp. 50 %) of the fluxes for anthropogenic (resp. wetland) sources. About 50–70 % of Siberian lowlands emissions are constrained by the inversion on average on an annual basis. Extrapolating the figures on the constrained areas to the whole Siberian lowlands, we find a regional methane budget of 5–28 TgCH4 for the year 2010, i.e. 1–5 % of the global methane emissions. As very few in situ observations are available in the region of interest, observations of methane total columns from the Greenhouse Gas Observing SATellite (GOSAT) are tentatively used for the evaluation of the inversion results, but they exhibit only a marginal signal from the fluxes within the region of interest.