A System F accounting for scalars

The Algebraic lambda-calculus and the Linear-Algebraic lambda-calculus extend the lambda-calculus with the possibility of making arbitrary linear combinations of terms. In this paper we provide a fine-grained, System F-like type system for the linear-algebraic lambda-calculus. We show that this "scalar" type system enjoys both the subject-reduction property and the strong-normalisation property, our main technical results. The latter yields a significant simplification of the linear-algebraic lambda-calculus itself, by removing the need for some restrictions in its reduction rules. But the more important, original feature of this scalar type system is that it keeps track of 'the amount of a type' that is present in each term. As an example of its use, we shown that it can serve as a guarantee that the normal form of a term is barycentric, i.e that its scalars are summing to one

Sustained activation of c-Jun N-terminal and extracellular signal-regulated kinases in port-wine stain blood vessels

BACKGROUND: Port-wine stain (PWS) is a congenital, progressive vascular malformation but the pathogenesis remains incompletely understood. OBJECTIVE: We sought to investigate the activation status of various kinases, including extracellular signal-regulated kinase, c-Jun N-terminal kinase, AKT, phosphatidylinositol 3-kinase, P70 ribosomal S6 kinase, and phosphoinositide phospholipase C γ subunit, in PWS biopsy tissues. METHODS: Immunohistochemistry was performed on 19 skin biopsy samples from 11 patients with PWS. RESULTS: c-Jun N-terminal kinase, extracellular signal-regulated kinase, and P70 ribosomal S6 kinase in pediatric and adult PWS blood vessels were consecutively activated. Activation of AKT and phosphatidylinositol 3-kinase was found in many adult hypertrophic PWS blood vessels but not in infants. Phosphoinositide phospholipase C γ subunit showed strong activation in nodular PWS blood vessels. LIMITATION: Infantile PWS sample size was small. CONCLUSION: Our data suggest a subsequent activation profile of various kinases during different stages of PWS: (1) c-Jun N-terminal and extracellular signal-regulated kinases are firstly and consecutively activated in all PWS tissues, which may contribute to both the pathogenesis and progressive development of PWS; (2) AKT and phosphatidylinositol 3-kinase are subsequently activated, and are involved in the hypertrophic development of PWS blood vessels; and (3) phosphoinositide phospholipase C γ subunit is activated in the most advanced stage of PWS and may participate in nodular formation

Anti-EGFR Antibody Efficiently and Specifically Inhibits Human TSC2−/− Smooth Muscle Cell Proliferation. Possible Treatment Options for TSC and LAM

BACKGROUND: Tuberous sclerosis complex (TSC), a tumor syndrome caused by mutations in TSC1 or TSC2 genes, is characterized by the development of hamartomas. We previously isolated, from an angiomyolipoma of a TSC2 patient, a homogenous population of smooth muscle-like cells (TSC2(-/-) ASM cells) that have a mutation in the TSC2 gene as well as TSC2 loss of heterozygosity (LOH) and consequently, do not produce the TSC2 gene product, tuberin. TSC2(-/-) ASM cell proliferation is EGF-dependent. METHODS AND FINDINGS: Effects of EGF on proliferation of TSC2(-/-) ASM cells and TSC2(-/-) ASM cells transfected with TSC2 gene were determined. In contrast to TSC2(-/-) ASM cells, growth of TSC2-transfected cells was not dependent on EGF. Moreover, phosphorylation of Akt, PTEN, Erk and S6 was significantly decreased. EGF is a proliferative factor of TSC2(-/-) ASM cells. Exposure of TSC2(-/-) ASM cells to anti-EGFR antibodies significantly inhibited their proliferation, reverted reactivity to HMB45 antibody, a marker of TSC2(-/-) cell phenotype, and inhibited constitutive phosphorylation of S6 and ERK. Exposure of TSC2(-/-) ASM cells to rapamycin reduced the proliferation rate, but only when added at plating time. Although rapamycin efficiently inhibited S6 phosphorylation, it was less efficient than anti-EGFR antibody in reverting HMB45 reactivity and blocking ERK phosphorylation. In TSC2(-/-) ASM cells specific PI3K inhibitors (e.g. LY294002, wortmannin) and Akt1 siRNA had little effect on S6 and ERK phosphorylation. Following TSC2-gene transfection, Akt inhibitor sensitivity was observed. CONCLUSION: Our results show that an EGF independent pathway is more important than that involving IGF-I for growth and survival of TSC(-/-) ASM cells, and such EGF-dependency is the result of the lack of tuberin

Sustained proliferation in cancer: mechanisms and novel therapeutic targets

Proliferation is an important part of cancer development and progression. This is manifest by altered expression and/or activity of cell cycle related proteins. Constitutive activation of many signal transduction pathways also stimulates cell growth. Early steps in tumor development are associated with a fibrogenic response and the development of a hypoxic environment which favors the survival and proliferation of cancer stem cells. Part of the survival strategy of cancer stem cells may manifested by alterations in cell metabolism. Once tumors appear, growth and metastasis may be supported by overproduction of appropriate hormones (in hormonally dependent cancers), by promoting angiogenesis, by undergoing epithelial to mesenchymal transition, by triggering autophagy, and by taking cues from surrounding stromal cells. A number of natural compounds (e.g., curcumin, resveratrol, indole-3-carbinol, brassinin, sulforaphane, epigallocatechin-3-gallate, genistein, ellagitannins, lycopene and quercetin) have been found to inhibit one or more pathways that contribute to proliferation (e.g., hypoxia inducible factor 1, nuclear factor kappa B, phosphoinositide 3 kinase/Akt, insulin-like growth factor receptor 1, Wnt, cell cycle associated proteins, as well as androgen and estrogen receptor signaling). These data, in combination with bioinformatics analyses, will be very important for identifying signaling pathways and molecular targets that may provide early diagnostic markers and/or critical targets for the development of new drugs or drug combinations that block tumor formation and progression

A multi-targeted approach to suppress tumor-promoting inflammation

Cancers harbor significant genetic heterogeneity and patterns of relapse following many therapies are due to evolved resistance to treatment. While efforts have been made to combine targeted therapies, significant levels of toxicity have stymied efforts to effectively treat cancer with multi-drug combinations using currently approved therapeutics. We discuss the relationship between tumor-promoting inflammation and cancer as part of a larger effort to develop a broad-spectrum therapeutic approach aimed at a wide range of targets to address this heterogeneity. Specifically, macrophage migration inhibitory factor, cyclooxygenase-2, transcription factor nuclear factor-κB, tumor necrosis factor alpha, inducible nitric oxide synthase, protein kinase B, and CXC chemokines are reviewed as important antiinflammatory targets while curcumin, resveratrol, epigallocatechin gallate, genistein, lycopene, and anthocyanins are reviewed as low-cost, low toxicity means by which these targets might all be reached simultaneously. Future translational work will need to assess the resulting synergies of rationally designed antiinflammatory mixtures (employing low-toxicity constituents), and then combine this with similar approaches targeting the most important pathways across the range of cancer hallmark phenotypes

Honokiol, a Small Molecular Weight Natural Product, Inhibits Angiogenesis in Vitro and Tumor Growth in Vivo

Natural products comprise a major source of small molecular weight angiogenesis inhibitors. We have used the transformed endothelial cell line SVR as an effective screen of natural product extracts to isolate anti-angiogenesis and anti-tumor compounds. Aqueous extracts of Magnolia grandiflora exhibit potent activity in our SVR proliferation assays. We found that the small molecular weight compound honokiol is the active principle of magnolia extract. Honokiol exhibited potent anti-proliferative activity against SVR cells in vitro. In addition, honokiol demonstrated preferential inhibition of primary human endothelial cells compared with fibroblasts and this inhibition was antagonized by antibodies against TNF alpha-related apoptosis-inducing ligand. In vivo, honokiol was highly effective against angiosarcoma in nude mice. Our preclinical data suggests that honokiol is a systemically available and non-toxic inhibitor of angiogenesis and should be further evaluated as a potential chemotherapeutic agent

Novel curcumin- and emodin-related compounds identified by in silico 2D/3D conformer screening induce apoptosis in tumor cells

BACKGROUND: Inhibition of the COP9 signalosome (CSN) associated kinases CK2 and PKD by curcumin causes stabilization of the tumor suppressor p53. It has been shown that curcumin induces tumor cell death and apoptosis. Curcumin and emodin block the CSN-directed c-Jun signaling pathway, which results in diminished c-Jun steady state levels in HeLa cells. The aim of this work was to search for new CSN kinase inhibitors analogue to curcumin and emodin by means of an in silico screening method. METHODS: Here we present a novel method to identify efficient inhibitors of CSN-associated kinases. Using curcumin and emodin as lead structures an in silico screening with our in-house database containing more than 10(6 )structures was carried out. Thirty-five compounds were identified and further evaluated by the Lipinski's rule-of-five. Two groups of compounds can be clearly discriminated according to their structures: the curcumin-group and the emodin-group. The compounds were evaluated in in vitro kinase assays and in cell culture experiments. RESULTS: The data revealed 3 compounds of the curcumin-group (e.g. piceatannol) and 4 of the emodin-group (e.g. anthrachinone) as potent inhibitors of CSN-associated kinases. Identified agents increased p53 levels and induced apoptosis in tumor cells as determined by annexin V-FITC binding, DNA fragmentation and caspase activity assays. CONCLUSION: Our data demonstrate that the new in silico screening method is highly efficient for identifying potential anti-tumor drugs

Real-Time Monitoring of Tumorigenesis, Dissemination, & Drug Response in a Preclinical Model of Lymphangioleiomyomatosis/Tuberous Sclerosis Complex

Background: TSC2-deficient cells can proliferate in the lungs, kidneys, and other organs causing devastating progressive multisystem disorders such as lymphangioleiomyomatosis (LAM) and tuberous sclerosis complex (TSC). Preclinical models utilizing LAM patient-derived cells have been difficult to establish. We developed a novel animal model system to study the molecular mechanisms of TSC/LAM pathogenesis and tumorigenesis and provide a platform for drug testing. Methods and Findings: TSC2-deficient human cells, derived from the angiomyolipoma of a LAM patient, were engineered to co-express both sodium-iodide symporter (NIS) and green fluorescent protein (GFP). Cells were inoculated intraparenchymally, intravenously, or intratracheally into athymic NCr nu/nu mice and cells were tracked and quantified using single photon emission computed tomography (SPECT) and computed tomography (CT). Surprisingly, TSC2-deficient cells administered intratracheally resulted in rapid dissemination to lymph node basins throughout the body, and histopathological changes in the lung consistent with LAM. Estrogen was found to be permissive for tumor growth and dissemination. Rapamycin inhibited tumor growth, but tumors regrew after the drug treatment was withdrawn. Conclusions: We generated homogeneous NIS/GFP co-expressing TSC2-deficient, patient-derived cells that can proliferate and migrate in vivo after intratracheal instillation. Although the animal model we describe has some limitations, we demonstrate that systemic tumors formed from TSC2-deficient cells can be monitored and quantified noninvasively over time using SPECT/CT, thus providing a much needed model system for in vivo drug testing and mechanistic studies of TSC2-deficient cells and their related clinical syndromes

Peroxiredoxin 3 Is a Redox-Dependent Target of Thiostrepton in Malignant Mesothelioma Cells

Thiostrepton (TS) is a thiazole antibiotic that inhibits expression of FOXM1, an oncogenic transcription factor required for cell cycle progression and resistance to oncogene-induced oxidative stress. The mechanism of action of TS is unclear and strategies that enhance TS activity will improve its therapeutic potential. Analysis of human tumor specimens showed FOXM1 is broadly expressed in malignant mesothelioma (MM), an intractable tumor associated with asbestos exposure. The mechanism of action of TS was investigated in a cell culture model of human MM. As for other tumor cell types, TS inhibited expression of FOXM1 in MM cells in a dose-dependent manner. Suppression of FOXM1 expression and coincidental activation of ERK1/2 by TS were abrogated by pre-incubation of cells with the antioxidant N-acetyl-L-cysteine (NAC), indicating its mechanism of action in MM cells is redox-dependent. Examination of the mitochondrial thioredoxin reductase 2 (TR2)-thioredoxin 2 (TRX2)-peroxiredoxin 3 (PRX3) antioxidant network revealed that TS modifies the electrophoretic mobility of PRX3. Incubation of recombinant human PRX3 with TS in vitro also resulted in PRX3 with altered electrophoretic mobility. The cellular and recombinant species of modified PRX3 were resistant to dithiothreitol and SDS and suppressed by NAC, indicating that TS covalently adducts cysteine residues in PRX3. Reduction of endogenous mitochondrial TRX2 levels by the cationic triphenylmethane gentian violet (GV) promoted modification of PRX3 by TS and significantly enhanced its cytotoxic activity. Our results indicate TS covalently adducts PRX3, thereby disabling a major mitochondrial antioxidant network that counters chronic mitochondrial oxidative stress. Redox-active compounds like GV that modify the TR2/TRX2 network may significantly enhance the efficacy of TS, thereby providing a combinatorial approach for exploiting redox-dependent perturbations in mitochondrial function as a therapeutic approach in mesothelioma