Persistent Correlation of Ghrelin Plasma Levels with Body Mass Index Both in Stable Weight Conditions and during Gastric-bypass-induced Weight Loss

Background: Studies done on serial changes in plasma ghrelin levels after gastric bypass (GBP) have yielded contrasting results since decreased, unchanged, or increased levels have been reported in the literature. This study investigates whether or not GBP has an inhibitory effect on fasting ghrelin levels independently of weight loss. Methods: Fasting ghrelin levels were measured in 115 stable body weight females, classified as normal body weight (NW; body mass index (BMI) 50kg/m2). Results: Each obese subgroup showed significantly lower ghrelin levels as compared to both NW (p < 0.0001) and OW subjects (p < 0.05 or 0.005); however, no significant differences were observed within the three obese subgroups. Forty-nine obese patients underwent a GBP. Plasma ghrelin, measured at 3, 6, and 12months after GBP, significantly increased from the sixth month on (p < 0.0001). When patients were classified, at each postoperative time point, according to their actual BMI, ghrelin was significantly (p = 0.0002) related to postoperative BMI and not significantly different from ghrelin measured in stable body weight conditions. Conclusions: Fasting ghrelin displays an inversely significant correlation with BMI in both stable body weight conditions and after GBP. No evidence was found that GBP had an effect on fasting ghrelin levels, independent of weight los

The role of posterior fossa decompression in acute cerebellitis

Background: We present two cases of children who were diagnosed with cerebellitis with acute cerebellar swelling. This rare pathology is potentially fatal, and no clear treatment guidelines are described in the literature. Discussion: Considering our experience, we discuss the different therapeutic strategies and propose aggressive surgical measures consisting of external ventricular drainage and posterior fossa decompression in case of failure of early response to medical treatment to limit secondary cerebellar and brainstem lesion

Association of interleukin 7 immunotherapy with lymphocyte counts among patients with severe coronavirus disease 2019 (COVID-19)

This case series examines whether interleukin 7 (IL-7) is associated with restored host protective immunity in patients with severe coronavirus disease 2019 (COVID-19) and immunosuppression

The effect of insulin on cardiac autonomic balance predicts weight reduction after gastric bypass

Aims/hypothesis: The aim of this study was to assess the predictive role of autonomic reactivity in body weight loss induced by gastric bypass. Methods: A group of 22 morbidly obese subjects, who were due to undergo a gastric bypass, were submitted, before surgery, to a euglycaemic-hyperinsulinaemic clamp, during which a continuous recording of the ECG was performed. The effect of insulin on cardiac autonomic balance was evaluated by performing power spectral analysis of heart rate variability. The low-to-high frequency ratio was calculated before and during the clamp and its modifications were expressed as % delta low-to-high frequency ratio (%Δ L: H). Results: Preoperative %Δ L: H showed a significant (p=0.0009, r 2=0.43), positive relationship to the reduction of body weight, measured 1 year after surgery and expressed as % excess weight loss (% EWL). Preoperative BMI was also significantly (p=0.0009, r 2=0.43) negatively related to the 12-month % EWL. In a multiple regression analysis, %Δ L: H remained a significant (p=0.003), independent predictor of body weight loss, even when preoperative BMI or age, % fat mass, insulinaemia and glucose disposal were taken into account. Conclusions/interpretation: The best correction of excess body weight was achieved by those obese subjects who had a preserved capacity to shift their cardiac autonomic balance towards a sympathetic prevalence in response to an euglycaemic-hyperinsulinaemic clamp. Further studies are needed to elucidate the mechanisms through which the autonomic nervous system influences weight reductio

Functional characterization of infiltrating T lymphocytes in human hepatic allografts

We have employed recently developed techniques in T-cell culturing to study the nature and function of infiltrating hepatic allograft T cells. Using the rationale that intragraft T cells are activated during cell mediated damage to the allograft, we were able to show that these cells would propagate and remain functionally active in the presence of the T-cell growth factor, IL-2. In several instances, phenotyiic analysis of cells grown in this manner was very similar to that found within the graft. Both proliferative and cytotoxic responses could be detected from the cultured cell lines. The majority of the proliferative responses were donor-directed and immunogenetic analysis could define donor-directed HLA reactivity, to either class I or class II antigens, or both. Monoclonal anti-HLA antibodies inhibition profiles verified the apparent HLA reactivity. In a smaller percentage of cases, only IL-2 responsiveness could be detected, and no HLA reactivity could be determined. Cytotoxicity could be detected against both class I and class II antigens, however, those cells which demonstrated a greater magnitude of donor-directed cytotoxicity appeared to be directed against class I antigens. A significant correlation between donor-directed proliferation of biopsy cultured lymphocytes and cellular rejection was found. This model appears to be useful in delineating functions of the intragraft T-cell population during rejection. © 1986

X-ray emission during the muonic cascade in hydrogen

We report our investigations of X rays emitted during the muonic cascade in hydrogen employing charge coupled devices as X-ray detectors. The density dependence of the relative X-ray yields for the muonic hydrogen lines (K_alpha, K_beta, K_gamma) has been measured at densities between 0.00115 and 0.97 of liquid hydrogen density. In this density region collisional processes dominate the cascade down to low energy levels. A comparison with recent calculations is given in order to demonstrate the influence of Coulomb deexcitation.Comment: 5 pages, Tex, 4 figures, submitted to Physical Review Letter

Analysis of Software Patches Using Numerical Abstract Interpretation

International audienceWe present a static analysis for software patches. Given two syntactically close versions of a program, our analysis can infer a semantic difference, and prove that both programs compute the same outputs when run on the same inputs. Our method is based on abstract interpretation, and parametric in the choice of an abstract domain. We focus on numeric properties only. Our method is able to deal with unbounded executions of infinite-state programs, reading from infinite input streams. Yet, it is limited to comparing terminating executions, ignoring non terminating ones.We first present a novel concrete collecting semantics, expressing the behaviors of both programs at the same time. Then, we propose an abstraction of infinite input streams able to prove that programs that read from the same stream compute equal output values. We then show how to leverage classic numeric abstract domains, such as polyhedra or octagons, to build an effective static analysis. We also introduce a novel numeric domain to bound differences between the values of the variables in the two programs, which has linear cost, and the right amount of relationality to express useful properties of software patches.We implemented a prototype and experimented on a few small examples from the literature. Our prototype operates on a toy language, and assumes a joint syntactic representation of two versions of a program given, which distinguishes between common and distinctive parts

Association of Under-Approximation Techniques for Generating Tests from Models

International audienceIn this paper we present a Model-Based Testing approach with which we generate tests from an abstraction of a source behavioural model. We show a new algorithm that computes the abstraction as an under-approximation of the source model. Our first contribution is to combine two previous approaches proposed by Ball and Pasareanu et al. to compute May, Must+ and Must- abstract transition relations. Prooftechniques are used to compute these transition relations. The tests obtained by covering the abstract transitions have to be instantiated from the source model. So, following Pasareanu et al., our algorithm additionally computes a concrete transition relation: the tests obtained as sequences of concrete transitions need not be instantiated from the source model. Another contribution is to propose a choice of relevant paramaters and heuristics to pilot the tests computation. We experiment our approach and compare it with a previous approach of ours to compute tests from an abstraction that over-approximates the source model

Lifting CDCL to template-based abstract domains for program verification

The success of Conflict Driven Clause Learning (CDCL) for Boolean satisfiability has inspired adoption in other domains. We present a novel lifting of CDCL to program analysis called Abstract Conflict Driven Learning for Programs (ACDLP). ACDLP alternates between model search, which performs over-approximate deduction with constraint propagation, and conflict analysis, which performs under-approximate abduction with heuristic choice. We instantiate the model search and conflict analysis algorithms with an abstract domain of template polyhedra, strictly generalizing CDCL from the Boolean lattice to a richer lattice structure. Our template polyhedra can express intervals, octagons and restricted polyhedral constraints over program variables. We have implemented ACDLP for automatic bounded safety verification of C programs. We evaluate the performance of our analyser by comparing with CBMC, which uses Boolean CDCL, and Astrée, a commercial abstract interpretation tool. We observe two orders of magnitude reduction in the number of decisions, propagations, and conflicts as well as a 1.5x speedup in runtime compared to CBMC. Compared to Astrée, ACDLP solves twice as many benchmarks and has much higher precision. This is the first instantiation of CDCL with a template polyhedra abstract domain