Biology subjects

Naldi, A.

Publications and source records attributed to Naldi, A..

14 recordsLinked to original sources

bioRxiv2025

Reproducible Boolean model analyses and simulations with the CoLoMoTo software suite: a tutorial.

This tutorial provides stepwise instructions to install the 20 tools integrated in the CoLoMoTo software suite, to develop reproducible dynamical analyses of logical models of complex biological molecular networks. The tutorial specifically focuses on the analysis of a previously published model of the regulatory network controlling mammalian cell proliferation. It includes chunks of python code to reproduce several of the results and figures published in the original article and further extend these results with the help of a selection of tools included in the CoLoMoTo suite. The notebook covers the visualisation of the network with the tool GINsim, an attractor analysis with bioLQM, the computation of synchronous attractors with BNS, the extraction of modules from the full model, MaBoSS simulations of the wild-type model, as well as of selected mutants, and finally the delineation of compressed probabilistic state transition graphs. The integration of all these analyses in an executable Jupyter notebook greatly eases their reproducibility, as well as the inclusion of further extensions. This notebook can further be used as a template and enriched with other ColoMoTo tools to enable comprehensive dynamical analyses of biological network models.

bioinformatics↗

bioRxiv2023

A large-scale Boolean model of the Rheumatoid Arthritis Fibroblast-Like Synoviocytes predicts drug synergies in the arthritic joint

Rheumatoid arthritis (RA) is a complex autoimmune disease with an unknown aetiology. However, rheumatoid arthritis fibroblast-like synoviocytes (RA-FLS) play a significant role in initiating and perpetuating destructive joint inflammation by expressing immuno-modulating cytokines, adhesion molecules, and matrix remodelling enzymes. In addition, RA-FLS are primary drivers of inflammation, displaying high proliferative rates and an apoptosis-resistant phenotype. Thus, RA-FLS-directed therapies could become a complementary approach to immune-directed therapies by predicting the optimal conditions that would favour RA-FLS apoptosis, limit inflammation, slow the proliferation rate and minimise bone erosion and cartilage destruction. In this paper, we present a large-scale Boolean model for RA-FLS that consists of five submodels focusing on apoptosis, cell proliferation, matrix degradation, bone erosion and inflammation. The five phenotype-specific submodels can be simulated independently or as a global model. In-silico simulations and perturbations reproduced the expected biological behaviour of the system under defined initial conditions and input values. The model was then used to mimic the effect of mono or combined therapeutic treatments and predict novel targets and drug candidates through drug repurposing analysis.

systems biology↗

bioRxiv2022

A versatile and interoperable computational framework for the analysis and modeling of COVID-19 disease mechanisms

The COVID-19 Disease Map project is a large-scale community effort uniting 277 scientists from 130 Institutions around the globe. We use high-quality, mechanistic content describing SARS-CoV-2-host interactions and develop interoperable bioinformatic pipelines for novel target identification and drug repurposing. Community-driven and highly interdisciplinary, the project is collaborative and supports community standards, open access, and the FAIR data principles. The coordination of community work allowed for an impressive step forward in building interfaces between Systems Biology tools and platforms. Our framework links key molecules highlighted from broad omics data analysis and computational modeling to dysregulated pathways in a cell-, tissue- or patient-specific manner. We also employ text mining and AI-assisted analysis to identify potential drugs and drug targets and use topological analysis to reveal interesting structural features of the map. The proposed framework is versatile and expandable, offering a significant upgrade in the arsenal used to understand virus-host interactions and other complex pathologies.

systems biology↗

bioRxiv2021

LNetReduce: tool for reducing linear dynamicnetworks with separated time scales

We introduce LNetReduce, a tool that simplifies linear dynamic networks. Dynamic networks are represented as digraphs labeled by integer timescale orders. Such models describe deterministic or stochastic monomolecular chemical reaction networks, but also random walks on weighted protein-protein interaction networks, spreading of infectious diseases and opinion in social networks, communication in computer networks. The reduced network is obtained by graph and label rewriting rules and reproduces the full network dynamics with good approximation at all time scales. The tool is implemented in Python with a graphical user interface. We discuss applications of LNetReduce to network design and to the study of the fundamental relation between time scales and topology in complex dynamic networks. Availabilitythe code and application examples are available at https://github.com/oradules/LNetReduce.

systems biology↗

bioRxiv2020

Logical modeling of dendritic cells in vitro differentiation from human monocytes unravels novel transcriptional regulatory interactions

Dendritic cells are the major specialized antigen-presenting cells, thereby connecting innate and adaptive immunity. Because of their role in establishing adaptive immunity, they have been used as targets for immunotherapy. Monocytes can differentiate into dendritic cells in vitro in the presence of colony-stimulating factor 2 (CSF2) and interleukin 4 (IL4), activating four signalling pathways (MAPK, JAK/STAT, NFKB, and PI3K). However, the transcriptional regulation responsible for dendritic cell differentiation from monocytes (moDCs) remains unknown. By curating scientific literature on moDCs differentiation, we established a preliminary logical model that helped us identify missing information for the activation of genes responsible for this differentiation, including missing targets for key transcription factors (TFs). Using ChIP-seq and RNA-seq data from the Blueprint consortium, we defined active and inactive promoters, together with differentially expressed genes in monocytes, moDCs, and macrophages (which correspond to an alternative cell fate). We then used this functional genomic information to predict novel targets for the identified TFs. We established a second logical model integrating this information, which enabled us to recapitulate the main established facts regarding moDCs differentiation. Prospectively, the resulting model should be useful to develop novel immunotherapies based on moDCs regulatory network.

immunology↗

bioRxiv2020

UPMaBoSS: a novel framework for dynamic cell population modeling.

One of the aims of mathematical modeling is to understand and simulate the effects of biological perturbations and suggest ways to intervene and reestablish proper cell functioning. However, it remains a challenge, especially when considering the dynamics at the level of a cell population, with cells dying, dividing and interacting. Here, we introduce a novel framework for the dynamical modelling of cell populations packaged into a dedicated tool, UPMaBoSS. We rely on the preexisting tool MaBoSS, which enables probabilistic simulations of cellular networks, and add a novel layer to account for cell interactions and population dynamics. We illustrate our methodology by means of a case study dealing with TNF-induced cell death. Interestingly, the simulation of cell population dynamics with UPMaBoSS reveals a mechanism of resistance triggered by TNF treatment. This appoach can be applied to diverse models of cellular networks, for example to study the impact of ligand release or drug treatments on cell fate decisions, such as commitment to proliferation, differentiation, apoptosis, etc. Relatively easy to encode, UPMaBoSS simulations require only moderate computational power and execution time. To ease the reproduction of simulations, we provide several Jupyter notebooks that can be accessed within a new release of the CoLoMoTo Docker image, which contains all required software and the example models.

bioinformatics↗

bioRxiv2020

Computational verification of large logical models - application to the prediction of T cell response to checkpoint inhibitors

At the crossroad between biology and mathematical modelling, computational systems biology can contribute to a mechanistic understanding of high-level biological phenomenon. But as knowledge accumulates, the size and complexity of mathematical models increase, calling for the development of efficient dynamical analysis methods. Here, we propose the use of two approaches for the development and analysis of complex cellular network models. A first approach, called "model verification" and inspired by unitary testing in software development, enables the formalisation and automated verification of validation criteria for whole models or selected sub-parts. When combined with efficient analysis methods, this approach is suitable for continuous testing, thereby greatly facilitating model development. A second approach, called "value propagation", enables efficient analytical computation of the impact of specific environmental or genetic conditions on the dynamical behaviour of some models. We apply these two approaches to the delineation and the analysis of a comprehensive model for T cell activation, taking into account CTLA4 and PD-1 checkpoint inhibitory pathways. While model verification greatly eases the delineation of logical rules complying with a set of dynamical specifications, propagation provides interesting insights into the different potential of CTLA4 and PD-1 immunotherapies. Both methods are implemented and made available in the all-inclusive CoLoMoTo Docker image, while the different steps of the model analysis are fully reported in two companion interactive jupyter notebooks, thereby ensuring the reproduction of our results.

systems biology↗

bioRxiv2020

Benchmarking joint multi-omics dimensionality reduction approaches for cancer study

High-dimensional multi-omics data are now standard in biology. They can greatly enhance our understanding of biological systems when effectively integrated. To achieve this multi-omics data integration, Joint Dimensionality Reduction (jDR) methods are among the most efficient approaches. However, several jDR methods are available, urging the need for a comprehensive benchmark with practical guidelines. We performed a systematic evaluation of nine representative jDR methods using three complementary benchmarks. First, we evaluated their performances in retrieving ground-truth sample clustering from simulated multi-omics datasets. Second, we used TCGA cancer data to assess their strengths in predicting survival, clinical annotations and known pathways/biological processes. Finally, we assessed their classification of multi-omics single-cell data. From these in-depth comparisons, we observed that intNMF performs best in clustering, while MCIA offers a consistent and effective behavior across many contexts. The full code of this benchmark is implemented in a Jupyter notebook - multi-omics mix (momix) - to foster reproducibility, and support data producers, users and future developers.

bioinformatics↗

bioRxiv2019

An altered metabolism could contribute to the low activation of neonatal CD8+T cells

A low response of neonatal T cells to infections contributes to a high incidence of morbidity and mortality of neonates. Here we evaluated the impact of the cytoplasmic and mitochondrial levels of Reactive Oxygen Species (ROS) of adult and neonatal CD8+T cells on their activation potential. We further constructed a logical model to decipher the interplay of metabolism and ROS on T cell signaling. Our model captures the interplay between antigen recognition, ROS and metabolic status in T cell responses. This model displays alternative stable states corresponding to different cell fates, i.e. quiescent, activated and anergic states, depending on ROS status. Stochastic simulations with this model further indicate that differences in ROS status at the cell population level tentatively explain the lower activation rate of neonatal compared to adult CD8+T cells upon TCR engagement.

immunology↗

bioRxiv2019

System analysis of the functional cross-talk between PPAR , LXR and FXR in the human HepaRG liver cells

Transcriptional regulations exert a critical control of metabolic homeostasis. In particular, the nuclear receptors (NRs) are involved in regulating numerous pathways of the intermediate metabolism. The purpose of the present study was to explore in liver cells the interconnectedness between three of them, LXR, FXR, and PPAR, all three known to act on lipid and glucose metabolism, and also on inflammation. The human cell line HepaRG was selected for its best proximity to human primary hepatocytes. Global gene expression of differentiated HepaRG cells was assessed after 4 hours and 24 hours of exposure to GW3965 (LXR agonist), GW7647 (PPAR agonist), and GW4064 and CDCA (FXR synthetic and natural agonist, respectively). Our work revealed that, contrary to our expectations, NR specificity is largely present at the level of target genes, with a smaller than expected overlap of the set of genes targeted by the different NRs. It also highlighted the much broader activity of the synthetic FXR ligand compared to CDCA. More importantly, our results revealed that activation of FXR has a pro-proliferative effect and decreases polyploidy of hepatocytes, while LXR inhibits the cell cycle progression, inducing hepatocyte differentiation and a higher polyploidism. Conclusion: these results highlight the importance of analyzing the different NR activities in a context allowing a direct confrontation of each receptor outcome, and reveals the opposite role of FXR and LXR in hepatocyte cells division and maturation.

physiology↗

bioRxiv2018

Prediction of Mutations to Control Pathways Enabling Tumour Cell Invasion with the CoLoMoTo Interactive Notebook (Tutorial)

Boolean and multi-valued logical formalisms are increasingly used to model complex cellular networks. To ease the development and analysis of logical models, a series of software tools have been proposed, often with specific assets. However, combining these tools typically implies a series of cumbersome software installation and model conversion steps. In this respect, the CoLoMoTo Interactive Notebook provides a joint distribution of several logical modelling software tools, along with an interactive web Python interface easing the chaining of complementary analyses. In this protocol, we demonstrate the assets of this approach through the analysis of a computational model of biological network. Our computational workflow combines (1) the importation of a GINsim model and its display, (2) its format conversion using the Java library BioLQM, (3) the formal prediction of mutations using the OCaml software Pint, (4) the model checking using the C++ software NuSMV, (5) quantitative stochastic simulations using the C++ software MaBoSS, and (6) the visualisation of results using the Python library matplotlib. Starting with a recent Boolean model of the signalling network controlling tumour cell invasion and migration, our model analysis culminates with the prediction of sets of mutations presumably involved in a metastatic phenotype.

systems biology↗

bioRxiv2018

bioLQM: a java library for the manipulation and conversion of Logical Qualitative Models of biological networks

Here we introduce bioLQM, a new Java software toolkit for the conversion, modification, and analysis of Logical Qualitative Models of biological regulatory networks, aiming to foster the development of novel complementary tools by providing core modelling operations. Based on the definition of multi-valued logical models, it implements import and export facilities, notably for the recent SBML-qual exchange format, as well as for formats used by several popular tools, facilitating the design of workflows combining these tools. Model modifications enable the definition of various perturbations, as well as model reduction, easing the analysis of large models. Another modification enables the study of multi-valued models with tools limited to the Boolean case. Finally, bioLQM provides a framework for the development of novel analysis tools. The current version implements the usual updating modes for model simulation (notably synchronous, asynchronous, and random asynchronous), as well as some static analysis features for the identification of attractors. The bioLQM software can be integrated into analysis workflows through command line and scripting interfaces. As a Java library, it further provides core data structures to the GINsim and EpiLog interactive tools, which supply graphical interfaces and additional analysis methods for cellular and multi-cellular qualitative models.

systems biology↗

bioRxiv2018

The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks

Analysing models of biological networks typically relies on workflows in which different software tools with sensitive parameters are chained together, many times with additional manual steps. The accessibility and reproducibility of such workflows is challenging, as publications often overlook analysis details, and because some of these tools may be difficult to install, and/or have a steep learning curve. The CoLoMoTo Interactive Notebook provides a unified environment to edit, execute, share, and reproduce analyses of qualitative models of biological networks. This framework combines the power of different technologies to ensure repeatability and to reduce users learning curve of these technologies. The framework is distributed as a Docker image with the tools ready to be run without any installation step besides Docker, and is available on Linux, macOS, and Microsoft Windows. The embedded computational workflows are edited with a Jupyter web interface, enabling the inclusion of textual annotations, along with the explicit code to execute, as well as the visualisation of the results. The resulting notebook files can then be shared and re-executed in the same environment. To date, the CoLoMoTo Interactive Notebook provides access to software tools including GINsim, BioLQM, Pint, MaBoSS, and Cell Collective for the modelling and analysis of Boolean and multi-valued networks. More tools will be included in the future. We developed a Python interface for each of these tools to offer a seamless integration in the Jupyter web interface and ease the chaining of complementary analyses.

bioinformatics↗

bioRxiv2018

Logical modelling and analysis of cellular regulatory networks with GINsim 3.0

The logical formalism is well adapted to model large cellular networks, for which detailed kinetic data are scarce. This tutorial focuses on this well-established qualitative framework. Relying on GINsim (release 3.0), a software implementing this formalism, we guide the reader step by step towards the definition, the analysis and the simulation of a four-node model of the mammalian p53-Mdm2 network.

systems biology↗