The CDC42-Interacting Protein 4 Controls Epithelial Cell Cohesion and Tumor Dissemination

SummaryThe role of endocytic proteins and the molecular mechanisms underlying epithelial cell cohesion and tumor dissemination are not well understood. Here, we report that the endocytic F-BAR-containing CDC42-interacting protein 4 (CIP4) is required for ERBB2- and TGF-β1-induced cell scattering, breast cancer (BC) cell motility and invasion into 3D matrices, and conversion from ductal breast carcinoma in situ to invasive carcinoma in mouse xenograft models. CIP4 promotes the formation of an E-cadherin-CIP4-SRC complex that controls SRC activation, E-cadherin endocytosis, and localized phosphorylation of the myosin light chain kinase, thereby impinging on the actomyosin contractility required to generate tangential forces to break cell-cell junctions. CIP4 is upregulated in ERBB2-positive human BC, correlates with increased distant metastasis, and is an independent predictor of poor disease outcome in subsets of BC patients. Thus, it critically controls cell-cell cohesion and is required for the acquisition of an invasive phenotype in breast tumors

L-Proline Induces a Mesenchymal-like Invasive Program in Embryonic Stem Cells by Remodeling H3K9 and H3K36 Methylation

SummaryMetabolites are emerging as key mediators of crosstalk between metabolic flux, cellular signaling, and epigenetic regulation of cell fate. We found that the nonessential amino acid L-proline (L-Pro) acts as a signaling molecule that promotes the conversion of embryonic stem cells into mesenchymal-like, spindle-shaped, highly motile, invasive pluripotent stem cells. This embryonic-stem-cell-to-mesenchymal-like transition (esMT) is accompanied by a genome-wide remodeling of the H3K9 and H3K36 methylation status. Consistently, L-Pro-induced esMT is fully reversible either after L-Pro withdrawal or by addition of ascorbic acid (vitamin C), which in turn reduces H3K9 and H3K36 methylation, promoting a mesenchymal-like-to-embryonic-stem-cell transition (MesT). These findings suggest that L-Pro, which is produced by proteolytic remodeling of the extracellular matrix, may act as a microenvironmental cue to control stem cell behavior

Requirements for F-BAR Proteins TOCA-1 and TOCA-2 in Actin Dynamics and Membrane Trafficking during Caenorhabditis elegans Oocyte Growth and Embryonic Epidermal Morphogenesis

The TOCA family of F-BAR–containing proteins bind to and remodel lipid bilayers via their conserved F-BAR domains, and regulate actin dynamics via their N-Wasp binding SH3 domains. Thus, these proteins are predicted to play a pivotal role in coordinating membrane traffic with actin dynamics during cell migration and tissue morphogenesis. By combining genetic analysis in Caenorhabditis elegans with cellular biochemical experiments in mammalian cells, we showed that: i) loss of CeTOCA proteins reduced the efficiency of Clathrin-mediated endocytosis (CME) in oocytes. Genetic interference with CeTOCAs interacting proteins WSP-1 and WVE-1, and other components of the WVE-1 complex, produced a similar effect. Oocyte endocytosis defects correlated well with reduced egg production in these mutants. ii) CeTOCA proteins localize to cell–cell junctions and are required for proper embryonic morphogenesis, to position hypodermal cells and to organize junctional actin and the junction-associated protein AJM-1. iii) Double mutant analysis indicated that the toca genes act in the same pathway as the nematode homologue of N-WASP/WASP, wsp-1. Furthermore, mammalian TOCA-1 and C. elegans CeTOCAs physically associated with N-WASP and WSP-1 directly, or WAVE2 indirectly via ABI-1. Thus, we propose that TOCA proteins control tissues morphogenesis by coordinating Clathrin-dependent membrane trafficking with WAVE and N-WASP–dependent actin-dynamics

A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information- Hiding ⋆

ABSTRACT. We introduce a novel modal logic, namely the doxastic µ-calculus with error control (DµCEC), and propose a formalization of probabilistic anonymity and oblivious transfer in the logic, and the validation of these formalizations on implementations formalized in probabilistic CCS. The distinguishing feature of our logic is to provide a combination of dynamic operators for belief (whence the attribute “doxastic”) with a control on the possible error of apprehension of the perceived reality, and for internalized probability. Both operators are dynamic (non-monotonic) thanks to the possibility of combining them with temporal operators, and are parameterized with a lower and upper probability bound (the error control)

Non-invasive measurement of nuclear relative stiffness from quantitative analysis of microscopy data

The connection between the properties of a cell tissue and those of the single constituent cells remains to be elucidated. At the purely mechanical level, the degree of rigidity of different cellular components, such as the nucleus and the cytoplasm, modulates the interplay between the cell inner processes and the external environment, while simultaneously mediating the mechanical interactions between neighboring cells. Being able to quantify the correlation between single-cell and tissue properties would improve our mechanobiological understanding of cell tissues. Here we develop a methodology to quantitatively extract a set of structural and motility parameters from the analysis of time-lapse movies of nuclei belonging to jammed and flocking cell monolayers. We then study in detail the correlation between the dynamical state of the tissue and the deformation of the nuclei. We observe that the nuclear deformation rate linearly correlates with the local divergence of the velocity field, which leads to a non-invasive estimate of the elastic modulus of the nucleus relative to the one of the cytoplasm. We also find that nuclei belonging to flocking monolayers, subjected to larger mechanical perturbations, are about two time stiffer than nuclei belonging to dynamically arrested monolayers, in agreement with atomic force microscopy results. Our results demonstrate a non-invasive route to the determination of nuclear relative stiffness for cells in a monolayer

Referee

incoraggiamenti, i suoi consigli e la sua amicizia sono sempre stati preziosi. Andrea, grazie per quanto hai fatto in questi anni, è veramente un piacere lavorare con te. Il supporto e il contributo di Ruggero Lanotte sono stati fondamentali per la stesura di questa tesi. Senza i suoi consigli e “teoremi ” probabilmente non sarebbe stata la stessa

Probabilistic Timed Automata for Security Analysis and Design

4 Abstract The usefulness of formal methods for the description and verification of complex systems is nowa-days widely accepted. While some system properties can be studied in a non-timed and nonprobabilistic setting, others, such as quantitative security properties, system performance andreliability properties, require a timed and probabilistic description of the system. This thesis focuses on methods for the formal modeling of probabilistic timed systems, and on algorithms forthe automated verification of their properties. The models considered describe the behavior of a system in terms of time and probability, and the formal description languages used are based onextensions of Timed Automata, Markov Decision Processes and combinations of them