Lagrangian Reachabililty

We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system. LRT makes use of the Cauchy-Green stretching factor (SF), which is derived from an over-approximation of the gradient of the solution flows. The SF measures the discrepancy between two states propagated by the system solution from two initial states lying in a well-defined region, thereby allowing LRT to compute a reachtube with a ball-overestimate in a metric where the computed enclosure is as tight as possible. To evaluate its performance, we implemented a prototype of LRT in C++/Matlab, and ran it on a set of well-established benchmarks. Our results show that LRT compares very favorably with respect to the CAPD and Flow* tools.Comment: Accepted to CAV 201

Rare De Novo Missense Variants in RNA Helicase DDX6 Cause Intellectual Disability and Dysmorphic Features and Lead to P-Body Defects and RNA Dysregulation

Item does not contain fulltex

Mitochondrial dysfunction in sepsis is associated with diminished intramitochondrial TFAM despite its increased cellular expression

Sepsis is characterized by a dysregulated immune response, metabolic derangements and bioenergetic failure. These alterations are closely associated with a profound and persisting mitochondrial dysfunction. This however occurs despite increased expression of the nuclear-encoded transcription factor A (TFAM) that normally supports mitochondrial biogenesis and functional recovery. Since this paradox may relate to an altered intracellular distribution of TFAM in sepsis, we tested the hypothesis that enhanced extramitochondrial TFAM expression does not translate into increased intramitochondrial TFAM abundance. Accordingly, we prospectively analyzed PBMCs both from septic patients (n = 10) and lipopolysaccharide stimulated PBMCs from healthy volunteers (n = 20). Extramitochondrial TFAM protein expression in sepsis patients was 1.8-fold greater compared to controls (p = 0.001), whereas intramitochondrial TFAM abundance was approximate 80% less (p < 0.001). This was accompanied by lower mitochondrial DNA copy numbers (p < 0.001), mtND1 expression (p < 0.001) and cellular ATP content (p < 0.001) in sepsis patients. These findings were mirrored in lipopolysaccharide stimulated PBMCs taken from healthy volunteers. Furthermore, TFAM-TFB2M protein interaction within the human mitochondrial core transcription initiation complex, was 74% lower in septic patients (p < 0.001). In conclusion, our findings, which demonstrate a diminished mitochondrial TFAM abundance in sepsis and endotoxemia, may help to explain the paradox of lacking bioenergetic recovery despite enhanced TFAM expression

Interval Slopes as Numerical Abstract Domain for Floating-Point Variables

The design of embedded control systems is mainly done with model-based tools such as Matlab/Simulink. Numerical simulation is the central technique of development and verification of such tools. Floating-point arithmetic, that is well-known to only provide approximated results, is omnipresent in this activity. In order to validate the behaviors of numerical simulations using abstract interpretation-based static analysis, we present, theoretically and with experiments, a new partially relational abstract domain dedicated to floating-point variables. It comes from interval expansion of non-linear functions using slopes and it is able to mimic all the behaviors of the floating-point arithmetic. Hence it is adapted to prove the absence of run-time errors or to analyze the numerical precision of embedded control systems

Short-chain fatty acid propionate protects from hypertensive cardiovascular damage

BACKGROUND: Arterial hypertension and its organ sequelae show characteristics of T cell mediated inflammatory diseases. Experimental anti-inflammatory therapies have been shown to ameliorate hypertensive end-organ damage. Recently, the CANTOS study targeting interleukin-1β demonstrated that anti-inflammatory therapy reduces cardiovascular risk. The gut microbiome plays pivotal role in immune homeostasis and cardiovascular health. Short-chain fatty acids (SCFA) are produced from dietary fiber by gut bacteria and affect host immune homeostasis. Here, we investigated effects of the SCFA propionate in two different mouse models of hypertensive cardiovascular damage. METHODS: To investigate the effect of SCFA on hypertensive cardiac damage and atherosclerosis, wild-type NMRI (WT) or ApoE(-/-) deficient mice received propionate (200mM) or control in the drinking water. To induce hypertension, WT mice were infused with Angiotensin (Ang)II (1.44mg/kg/d s.c.) for 14 days. To accelerate the development of atherosclerosis, ApoE(-/-) mice were infused with AngII (0.72mg/kg/d s.c.) for 28 days. Cardiac damage and atherosclerosis were assessed using histology, echocardiography, in vivo electrophysiology, immunofluorescence, and flow cytometry. Blood pressure was measured by radiotelemetry. Regulatory T cell (Treg) depletion using PC61 antibody was used to examine the mode of action of propionate. RESULTS: Propionate significantly attenuated cardiac hypertrophy, fibrosis, vascular dysfunction, and hypertension in both models. Susceptibility to cardiac ventricular arrhythmias was significantly reduced in propionate-treated AngII-infused WT mice. Aortic atherosclerotic lesion area was significantly decreased in propionate-treated ApoE(-/-). Systemic inflammation was mitigated by propionate treatment, quantified as a reduction in splenic effector memory T cell frequencies and splenic T helper 17 cells in both models, and a decrease in local cardiac immune cell infiltration in WT mice. Cardioprotective effects of propionate were abrogated in Treg-depleted AngII-infused mice, suggesting the effect is Treg-dependent. CONCLUSIONS: Our data emphasize an immune-modulatory role of SCFAs and their importance for cardiovascular health. The data suggest that lifestyle modifications leading to augmented SCFA production could be a beneficial non-pharmacological preventive strategy for patients with hypertensive cardiovascular disease

Simultaneous quantification of 12 different nucleotides and nucleosides released from renal epithelium and in human urine samples using ion-pair reversed-phase HPLC

Nucleotides and nucleosides are not only involved in cellular metabolism but also act extracellularly via P1 and P2 receptors, to elicit a wide variety of physiological and pathophysiological responses through paracrine and autocrine signalling pathways. For the first time, we have used an ion-pair reversed-phase high-performance liquid chromatography ultraviolet (UV)-coupled method to rapidly and simultaneously quantify 12 different nucleotides and nucleosides (adenosine triphosphate, adenosine diphosphate, adenosine monophosphate, adenosine, uridine triphosphate, uridine diphosphate, uridine monophosphate, uridine, guanosine triphosphate, guanosine diphosphate, guanosine monophosphate, guanosine): (1) released from a mouse renal cell line (M1 cortical collecting duct) and (2) in human biological samples (i.e., urine). To facilitate analysis of urine samples, a solid-phase extraction step was incorporated (overall recovery rate ? 98 %). All samples were analyzed following injection (100 ?l) into a Synergi Polar-RP 80 Å (250 × 4.6 mm) reversed-phase column with a particle size of 10 ?m, protected with a guard column. A gradient elution profile was run with a mobile phase (phosphate buffer plus ion-pairing agent tetrabutylammonium hydrogen sulfate; pH 6) in 2-30 % acetonitrile (v/v) for 35 min (including equilibration time) at 1 ml min(-1) flow rate. Eluted compounds were detected by UV absorbance at 254 nm and quantified using standard curves for nucleotide and nucleoside mixtures of known concentration. Following validation (specificity, linearity, limits of detection and quantitation, system precision, accuracy, and intermediate precision parameters), this protocol was successfully and reproducibly used to quantify picomolar to nanomolar concentrations of nucleosides and nucleotides in isotonic and hypotonic cell buffers that transiently bathed M1 cells, and urine samples from normal subjects and overactive bladder patients

Observation of ηc→ωω\eta_c\to\omega\omega in J/ψ→γωωJ/\psi\to\gamma\omega\omega

Using a sample of $(1310.6\pm7.0)\times10^6$ $J/\psi$ events recorded with the BESIII detector at the symmetric electron positron collider BEPCII, we report the observation of the decay of the $(1^1 S_0)$ charmonium state $\eta_c$ into a pair of $\omega$ mesons in the process $J/\psi\to\gamma\omega\omega$. The branching fraction is measured for the first time to be $\mathcal{B}(\eta_c\to\omega\omega)= (2.88\pm0.10\pm0.46\pm0.68)\times10^{-3}$, where the first uncertainty is statistical, the second systematic and the third is from the uncertainty of $\mathcal{B}(J/\psi\to\gamma\eta_c)$. The mass and width of the $\eta_c$ are determined as $M=(2985.9\pm0.7\pm2.1)\,$MeV/$c^2$ and $\Gamma=(33.8\pm1.6\pm4.1)\,$MeV.Comment: 13 pages, 6 figure

Measurement of proton electromagnetic form factors in e+e−→ppˉe^+e^- \to p\bar{p} in the energy region 2.00-3.08 GeV

The process of $e^+e^- \rightarrow p\bar{p}$ is studied at 22 center-of-mass energy points ($\sqrt{s}$) from 2.00 to 3.08 GeV, exploiting 688.5~pb$^{-1}$ of data collected with the BESIII detector operating at the BEPCII collider. The Born cross section~($\sigma_{p\bar{p}}$) of $e^+e^- \rightarrow p\bar{p}$ is measured with the energy-scan technique and it is found to be consistent with previously published data, but with much improved accuracy. In addition, the electromagnetic form-factor ratio ($|G_{E}/G_{M}|$) and the value of the effective ($|G_{\rm{eff}}|$), electric ($|G_E|$) and magnetic ($|G_M|$) form factors are measured by studying the helicity angle of the proton at 16 center-of-mass energy points. $|G_{E}/G_{M}|$ and $|G_M|$ are determined with high accuracy, providing uncertainties comparable to data in the space-like region, and $|G_E|$ is measured for the first time. We reach unprecedented accuracy, and precision results in the time-like region provide information to improve our understanding of the proton inner structure and to test theoretical models which depend on non-perturbative Quantum Chromodynamics