Picropodophyllin causes mitotic arrest and catastrophe by depolymerizing microtubules via Insulin-like growth factor-1 receptor-independent mechanism

Picropodophyllin (PPP) is an anticancer drug undergoing clinical development in NSCLC. PPP has been shown to suppress IGF-1R signaling and to induce a G2/M cell cycle phase arrest but the exact mechanisms remain to be elucidated. The present study identified an IGF-1-independent mechanism of PPP leading to pro-metaphase arrest. The mitotic block was induced in human cancer cell lines and in an A549 xenograft mouse but did not occur in normal hepatocytes/mouse tissues. Cell cycle arrest by PPP occurred in vitro and in vivo accompanied by prominent CDK1 activation, and was IGF-1R-independent since it occurred also in IGF-1R-depleted and null cells. The tumor cells were not arrested in G2/M but in mitosis. Centrosome separation was prevented during mitotic entry, resulting in a monopolar mitotic spindle with subsequent prometaphase-arrest, independent of Plk1/Aurora A or Eg5, and leading to cell features of mitotic catastrophe. PPP also increased soluble tubulin and decreased spindle-associated tubulin within minutes, indicating that it interfered with microtubule dynamics. These results provide a novel IGF-1R-independent mechanism of antitumor effects of PPP

On the relative expressiveness of higher-order session processes

By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π

Transcriptomics of Haemophilus (Glässerella) parasuis serovar 5 subjected to culture conditions partially mimetic to natural infection for the search of new vaccine antigens

11 p.Haemophilus (Glässerella) parasuis is the etiological agent of Glässer’s disease in pigs. Control of this disorder has been traditionally based on bacterins. The search for alternative vaccines has focused mainly on the study of outer membrane proteins. This study investigates the transcriptome of H. (G.) parasuis serovar 5 subjected to in vitro conditions mimicking to those existing during an infection (high temperature and iron-restriction), with the aim of detecting the overexpression of genes coding proteins exposed on bacterial surface, which could represent good targets as vaccine candidates. The transcriptomic approach identified 13 upregulated genes coding surface proteins: TbpA, TbpB, HxuA, HxuB, HxuC, FhuA, FimD, TolC, an autotransporter, a protein with immunoglobulin folding domains, another large protein with a tetratricopeptide repeat and two small proteins that did not contain any known domains. Of these, the first six genes coded proteins being related to iron extraction. Six of the proteins have already been tested as vaccine antigens in murine and/or porcine infection models and showed protection against H. (G.) parasuis. However, the remaining seven have not yet been tested and, consequently, they could become useful as putative antigens in the prevention of Glässer’s disease. Anyway, the expression of this seven novel vaccine candidates should be shown in other serovars different from serovar 5.S

Macroalgal-Associated Dinoflagellates Belonging to the Genus Symbiodinium in Caribbean Reefs

Coral-algal symbiosis has been a subject of great attention during the last two decades in response to global coral reef decline. However, the occurrence and dispersion of free-living dinoflagellates belonging to the genus Symbiodinium are less documented. Here ecological and molecular evidence is presented demonstrating the existence of demersal free-living Symbiodinium populations in Caribbean reefs and the possible role of the stoplight parrotfish (Sparisoma viride) as Symbiodinium spp. dispersers. Communities of free-living Symbiodinium were found within macroalgal beds consisting of Halimeda spp., Lobophora variegata, Amphiroa spp., Caulerpa spp. and Dictyota spp. Viable Symbiodinium spp. cells were isolated and cultured from macroalgal beds and S. viride feces. Further identification of Symbiodinium spp. type was determined by length variation in the Internal Transcribed Spacer 2 (ITS2, nuclear rDNA) and length variation in domain V of the chloroplast large subunit ribosomal DNA (cp23S-rDNA). Determination of free-living Symbiodinium and mechanisms of dispersal is important in understanding the life cycle of Symbiodinium spp

Pharmacological targeting of MTHFD2 suppresses acute myeloid leukemia by inducing thymidine depletion and replication stress

The folate metabolism enzyme MTHFD2 (methylenetetrahydrofolate dehydrogenase/cyclohydrolase) is consistently overexpressed in cancer but its roles are not fully characterized, and current candidate inhibitors have limited potency for clinical development. In the present study, we demonstrate a role for MTHFD2 in DNA replication and genomic stability in cancer cells, and perform a drug screen to identify potent and selective nanomolar MTHFD2 inhibitors; protein cocrystal structures demonstrated binding to the active site of MTHFD2 and target engagement. MTHFD2 inhibitors reduced replication fork speed and induced replication stress followed by S-phase arrest and apoptosis of acute myeloid leukemia cells in vitro and in vivo, with a therapeutic window spanning four orders of magnitude compared with nontumorigenic cells. Mechanistically, MTHFD2 inhibitors prevented thymidine production leading to misincorporation of uracil into DNA and replication stress. Overall, these results demonstrate a functional link between MTHFD2-dependent cancer metabolism and replication stress that can be exploited therapeutically with this new class of inhibitors

D-Fusion: A Distinctive Fusion Calculus

We study the relative expressive power of Fusion and pi-calculus. Fusion is commonly regarded as a generalisation of pi-calculus. Actually, we prove that there is no uniform fully abstract embedding of pi-calculus into Fusion. This fact motivates the introduction of a new calculus, D-Fusion, with two binders, λ and ν. We show that D-Fusion is strictly more expressive than both pi-calculus and Fusion. The expressiveness gap is further clarified by the existence of a fully abstract encoding of mixed guarded choice into the choice-free fragment of D-Fusion

An asynchronous, distributed implementation of mobile ambients

Abstract We present a first distributed implementation of the Cardelli-Gordon’s ambient calculus. We use Jocaml as an implementation language and we present a formal translation of Ambients into the distributed join calculus, the process calculus associated with Jocaml. We prove the correctness of the translation.

Efficient Bisimilarities from Second-order Reaction Semantics for π-calculus

We investigate Leifer and Milner RPO approach for deriving efficient (finitely branching) LTS’s and bisimilarities for π-calculus. To this aim, we work in a category of second-order term contexts and we apply a general pruning technique, which allows to simplify the set of transitions in the LTS obtained from the original RPO approach. The resulting LTS and bisimilarity provide an alternative presentation of symbolic LTS and Sangiorgi’s open bisimilarity