A logical model of Ewing sarcoma cell epithelial-to-mesenchymal transition supports the existence of hybrid cellular phenotypes.

Ewing sarcoma (ES) is a highly aggressive pediatric tumor driven by the RNA-binding protein EWS (EWS)/friend leukemia integration 1 transcription factor (FLI1) chimeric transcription factor, which is involved in epithelial-mesenchymal transition (EMT). EMT stabilizes a hybrid cell state, boosting metastatic potential and drug resistance. Nevertheless, the mechanisms underlying the maintenance of this hybrid phenotype in ES remain elusive. Our study proposes a logical EMT model for ES, highlighting zinc finger E-box-binding homeobox 2 (ZEB2), miR-145, and miR-200 circuits that maintain hybrid states. The model aligns with experimental findings and reveals a previously unknown circuit supporting the mesenchymal phenotype. These insights emphasize the role of ZEB2 in the maintenance of the hybrid state in ES.

The Wnt pathway can stabilize hybrid phenotypes in the epithelial-mesenchymal transition: A logical modeling approach.

The Wnt pathway is important to regulate a variety of biochemical functions and can contribute to cancer development through its influence on the epithelial-mesenchymal transition (EMT). Multiple circuits have been reported to participate in the regulation of the Wnt signaling, however, the way these circuits coordinately regulate this signaling is still unclear. Moreover, the mechanisms responsible for the appearance of hybrid phenotypes (cells presenting both E and M features) are not well determined. The hybrid phenotype can present much higher metastatic potential than the mesenchymal phenotype. In this study, we propose a Boolean model of the Wnt pathway signaling contemplating recent published biochemical information on hepatocarcinoma. The model presents good coherence with experimental data for perturbed and wild-type cases. With the model, we propose two new molecular circuits involving several molecules that can stabilize hybrid states during the EMT. Moreover, we found that the two well studied circuits, AKT1/ß-catenin and SNAIL1/miR-34, can cooperate with the predicted ones to favor the stabilization of the hybrid states. These findings highlight some possible unrecognized mechanisms during Wnt signaling and may provide alternative therapeutic strategies to control cancer metastatization.

Induced genome maintenance pathways in pre-cancer tissues describe an anti-cancer barrier in tumor development.

A recent model proposing that a barrier is raised against tumor evolution in pre-cancer tissues is investigated. For that we quantify expression alterations in genome maintenance pathways: DNA damage response, death pathways and cell cycle and also differentially expressed genes in transcriptomes of pre-cancerous and cancerous lesions deposited in the GEO database. We find that the main alterations in pre-cancer samples comprising the barrier are: (1) DNA double strand-breaks signaling and repair pathways induction, (2) upregulation of cyclin-dependent kinases, (3) p53 dependent (and independent) repair and apoptosis pathways induction and (4) replicative senescence induction early in tissue transformation. In the cancer samples we find that the induced pathways in pre-cancer are systematically inhibited and the only remaining induced pathway is p53, whereas the retinoblastoma pathway arises induced in most samples. The results give support to the model, furthermore they reveal the involvement of additional mechanisms in pre-cancer, including the early induction of replicative senescence and of p53 independent apoptosis.

Modelling, property verification and behavioural equivalence of lactose operon regulation.

Understanding biochemical pathways is one of the biggest challenges in the field of molecular biology nowadays. Computer science can contribute in this area by providing formalisms and tools to simulate and analyse pathways. One formalism that is suited for modelling concurrent systems is Milner's Calculus of Communicating Systems (CCS). This paper shows the viability of using CCS to model and reason about biochemical networks. As a case study, we describe the regulation of lactose operon. After describing this operon formally using CCS, we validate our model by automatically checking some known properties for lactose regulation. Moreover, since biological systems tend to be very complex, we propose to use multiple descriptions of the same system at different levels of abstraction. The compatibility of these multiple views can be assured via mathematical proofs of observational equivalence.