Hsp70 in mitochondrial biogenesis

The family of hsp70 (70 kilodalton heat shock protein) molecular chaperones plays an essential and diverse role in cellular physiology, Hsp70 proteins appear to elicit their effects by interacting with polypeptides that present domains which exhibit non-native conformations at distinct stages during their life in the cell. In this paper we review work pertaining to the functions of hsp70 proteins in chaperoning mitochondrial protein biogenesis. Hsp70 proteins function in protein synthesis, protein translocation across mitochondrial membranes, protein folding and finally the delivery of misfolded proteins to proteolytic enzymes in the mitochondrial matrix

Vacuum Fluctuations, Geometric Modular Action and Relativistic Quantum Information Theory

A summary of some lines of ideas leading to model-independent frameworks of relativistic quantum field theory is given. It is followed by a discussion of the Reeh-Schlieder theorem and geometric modular action of Tomita-Takesaki modular objects associated with the quantum field vacuum state and certain algebras of observables. The distillability concept, which is significant in specifying useful entanglement in quantum information theory, is discussed within the setting of general relativistic quantum field theory.Comment: 26 pages. Contribution for the Proceedings of a Conference on Special Relativity held at Potsdam, 200

Mechanical loading of stem cells for improvement of transplantation outcome in a model of acute myocardial infarction: the role of loading history

Stem cell therapy for tissue repair is a rapidly evolving field and the factors that dictate the physiological responsiveness of stem cells remain under intense investigation. In this study we hypothesized that the mechanical loading history of muscle-derived stem cells (MDSCs) would significantly impact MDSC survival, host tissue angiogenesis, and myocardial function after MDSC transplantation into acutely infarcted myocardium. Mice with acute myocardial infarction by permanent left coronary artery ligation were injected with either nonstimulated (NS) or mechanically stimulated (MS) MDSCs. Mechanical stimulation consisted of stretching the cells with equibiaxial stretch with a magnitude of 10% and frequency of 0.5 Hz. MS cell-transplanted hearts showed improved cardiac contractility, increased numbers of host CD31 + cells, and decreased fibrosis, in the peri-infarct region, compared to the hearts treated with NS MDSCs. MS MDSCs displayed higher vascular endothelial growth factor expression than NS cells in vitro. These findings highlight an important role for cyclic mechanical loading preconditioning of donor MDSCs in optimizing MDSC transplantation for myocardial repair

The Yogi Project: Software property checking via static analysis and testing

Abstract. We present Yogi, a tool that checks properties of C programs by combining static analysis and testing. Yogi implements the Dash algorithm which performs verification by combining directed testing and abstraction. We have engineered Yogi in such a way that it plugs into Microsoft’s Static Driver Verifier framework. We have used this framework to run Yogi on 69 Windows Vista drivers with 85 properties. We find that the new algorithm enables Yogi to scale much better than Slam, which is the current engine driving Microsoft’s Static Driver Verifier.

Shape Refinement through Explicit Heap Analysis

Shape analysis is a promising technique to prove program properties about recursive data structures. The challenge is to automatically determine the data-structure type, and to supply the shape analysis with the necessary information about the data structure. We present a stepwise approach to the selection of instrumentation predicates for a TVLA-based shape analysis, which takes us a step closer towards the fully automatic verification of data structures. The approach uses two techniques to guide the refinement of shape abstractions: (1) during program exploration, an explicit heap analysis collects sample instances of the heap structures, which are used to identify the data structures that are manipulated by the program; and (2) during abstraction refinement along an infeasible error path, we consider different possible heap abstractions and choose the coarsest one that eliminates the infeasible path. We have implemented this combined approach for automatic shape refinement as an extension of the software model checker BLAST. Example programs from a data-structure library that manipulate doubly-linked lists and trees were successfully verified by our tool

Bcl-2 is a therapeutic target for hypodiploid b-lineage acute lymphoblastic leukemia

Acute lymphoblastic leukemia (ALL) is the most common cancer in children. The highest rates of treatment failure occur in specific genetic subsets of ALL, including hypodiploid B-cell ALL (B-ALL), for which effective alternative therapies to current intensive chemotherapy treatments have yet to be developed. Here, we integrated biochemical and genomic profiling with functional drug assays to select effective agents with therapeutic potential against hypodiploid B-ALL. ABT-199, a selective Bcl-2 inhibitor, was effective in reducing leukemic burden in vitro and in vivo in patient-derived xenograft models of hypodiploid B-ALL. Daily oral treatment with ABT-199 significantly increased survival in xenografted mice. The unexpected efficacy of ABT-199 observed in hypodiploid leukemias lacking BIM expression (the major reported mediator of ABT-199-induced apoptosis) led us to investigate the mechanism of action of ABT-199 in the absence of BIM. Treatment with ABT-199 elicited responses in a dose-dependent manner, from cell-cycle arrest at low nanomolar concentrations to cell death at concentrations above 100 nmol/L. Collectively, these results demonstrate the efficacy of Bcl-2 inhibition and potential therapeutic strategy in hypodiploid B-ALL. SIGNIFICANCE: These results demonstrate the efficacy of ABT-199 in vivo and provide encouraging preclinical data of Bcl-2 as a potential target for the treatment of hypodiploid B-ALL.Ernesto Diaz-Flores, Evan Q. Comeaux, Kailyn L. Kim, Ella Melnik, Kyle Beckman, Kara L. Davis, Kevin Wu, Jon Akutagawa, Olga Bridges, Roberta Marino, Margo Wohlfeil, Benjamin S. Braun, Charles G. Mullighan and Mignon L. Lo