Attenuation by all-trans-retinoic acid of sodium chloride-enhanced gastric carcinogenesis induced by N-methyl-N′-nitro-N-nitrosoguanidine in Wistar rats

The effect of prolonged administration of all-trans-retinoic acid (RA) on sodium chloride-enhanced gastric carcinogenesis induced by N-methyl-N′-nitro-N-nitrosoguanidine, and the labelling and apoptotic indices and immunoreactivity of transforming growth factor (TGF) α in the gastric cancers was investigated in Wistar rats. After 25 weeks of carcinogen treatment, the rats were given chow pellets containing 10% sodium chloride and subcutaneous injections of RA at doses of 0.75 or 1.5 mg kg−1 body weight every other day. In week 52, oral supplementation with sodium chloride significantly increased the incidence of gastric cancers compared with the untreated controls. Long-term administration of RA at both doses significantly reduced the incidence of gastric cancers, which was enhanced by oral administration of sodium chloride. RA at both doses significantly decreased the labelling index and TGF-α immunoreactivity of gastric cancers, which were enhanced by administration of sodium chloride, and significantly increased the apoptotic index of cancers, which was lowered by administration of sodium chloride. These findings suggest that RA attenuates gastric carcinogenesis, enhanced by sodium chloride, by increasing apoptosis, decreasing DNA synthesis, and reducing TGF-α expression in gastric cancers. © 1999 Cancer Research Campaig

Drosophila Parkin requires PINK1 for mitochondrial translocation and ubiquitinates Mitofusin

Loss of the E3 ubiquitin ligase Parkin causes early onset Parkinson's disease, a neurodegenerative disorder of unknown etiology. Parkin has been linked to multiple cellular processes including protein degradation, mitochondrial homeostasis, and autophagy; however, its precise role in pathogenesis is unclear. Recent evidence suggests that Parkin is recruited to damaged mitochondria, possibly affecting mitochondrial fission and/or fusion, to mediate their autophagic turnover. The precise mechanism of recruitment and the ubiquitination target are unclear. Here we show in Drosophila cells that PINK1 is required to recruit Parkin to dysfunctional mitochondria and promote their degradation. Furthermore, PINK1 and Parkin mediate the ubiquitination of the profusion factor Mfn on the outer surface of mitochondria. Loss of Drosophila PINK1 or parkin causes an increase in Mfn abundance in vivo and concomitant elongation of mitochondria. These findings provide a molecular mechanism by which the PINK1/Parkin pathway affects mitochondrial fission/fusion as suggested by previous genetic interaction studies. We hypothesize that Mfn ubiquitination may provide a mechanism by which terminally damaged mitochondria are labeled and sequestered for degradation by autophagy

Untyped Recursion Schemes and Infinite Intersection Types

Abstract. A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then model-checked. As recursion schemes are essentially terms of the simply-typed lambda-calculus with recursion and tree constructors, however, it was not clear how the new framework applies to programs written in languages with more advanced type systems. To circumvent the limitation, this paper introduces an untyped version of recursion schemes and develops an in-finite intersection type system that is equivalent to the model checking of untyped recursion schemes, so that the model checking can be re-duced to type checking as in recent work by Kobayashi and Ong for typed recursion schemes. The type system is undecidable but we can obtain decidable subsets of the type system by restricting the shapes of intersection types, yielding a sound (but incomplete in general) model checking algorithm.

Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

Symbolic execution is a well established method for test input generation. Despite of having achieved tremendous success over numerical domains, existing symbolic execution techniques for heap-based programs are limited due to the lack of a succinct and precise description for symbolic values over unbounded heaps. In this work, we present a new symbolic execution method for heap-based programs based on separation logic. The essence of our proposal is context-sensitive lazy initialization, a novel approach for efficient test input generation. Our approach differs from existing approaches in two ways. Firstly, our approach is based on separation logic, which allows us to precisely capture preconditions of heap-based programs so that we avoid generating invalid test inputs. Secondly, we generate only fully initialized test inputs, which are more useful in practice compared to those partially initialized test inputs generated by the state-of-the-art tools. We have implemented our approach as a tool, called Java StarFinder, and evaluated it on a set of programs with complex heap inputs. The results show that our approach significantly reduces the number of invalid test inputs and improves the test coverage

Conformal oxide coating of Carbon Nanotubes

The International Roadmap for Ferroelectric Memories requires three-dimensional integration of high-dielectric materials onto metal interconnects or bottom electrodes by 2010. We report the first integration of high-dielectric oxide films onto carbon nanotube electrodes with an aim of ultra-high integration density of FeRAMs (Tb/in2).Comment: 4 pages, 3 figure

HUWE1 E3 ligase promotes PINK1/PARKINindependent mitophagy by regulating AMBRA1 activation via IKKa

The selective removal of undesired or damaged mitochondria by autophagy, known as mitophagy, is crucial for cellular homoeostasis, and prevents tumour diffusion, neurodegeneration and ageing. The pro-autophagic molecule AMBRA1 (autophagy/beclin-1 regulator-1) has been defined as a novel regulator of mitophagy in both PINK1/PARKIN-dependent and -independent systems. Here, we identified the E3 ubiquitin ligase HUWE1 as a key inducing factor in AMBRA1-mediated mitophagy, a process that takes place independently of the main mitophagy receptors. Furthermore, we show that mitophagy function of AMBRA1 is post-translationally controlled, upon HUWE1 activity, by a positive phosphorylation on its serine 1014. This modification is mediated by the IKKα kinase and induces structural changes in AMBRA1, thus promoting its interaction with LC3/GABARAP (mATG8) proteins and its mitophagic activity. Altogether, these results demonstrate that AMBRA1 regulates mitophagy through a novel pathway, in which HUWE1 and IKKα are key factors, shedding new lights on the regulation of mitochondrial quality control and homoeostasis in mammalian cells

Prohibitins Are Required for Cancer Cell Proliferation and Adhesion

Prohibitin 1 (PHB1) is a highly conserved protein that together with its homologue prohibitin 2 (PHB2) mainly localizes to the inner mitochondrial membrane. Although it was originally identified by its ability to inhibit G1/S progression in human fibroblasts, its role as tumor suppressor is debated. To determine the function of prohibitins in maintaining cell homeostasis, we generated cancer cell lines expressing prohibitin-directed shRNAs. We show that prohibitin proteins are necessary for the proliferation of cancer cells. Down-regulation of prohibitin expression drastically reduced the rate of cell division. Furthermore, mitochondrial morphology was not affected, but loss of prohibitins did lead to the degradation of the fusion protein OPA1 and, in certain cancer cell lines, to a reduced capability to exhibit anchorage-independent growth. These cancer cells also exhibited reduced adhesion to the extracellular matrix. Taken together, these observations suggest prohibitins play a crucial role in adhesion processes in the cell and thereby sustaining cancer cell propagation and survival