Biology subjects

Thieffry, D.

Publications and source records attributed to Thieffry, D..

17 recordsLinked to original sources

bioRxiv2026

TabularQual: A spreadsheet-based format for annotating and curating logical models in SBML-qual

Logical models are widely used to study regulatory and signaling systems, yet their reuse, annotation, and exchange across tools remain challenging. Although SBML Level 3 Qualitative Models (SBML-qual) provides a standard representation, its XML-based syntax is difficult to inspect and edit directly. Here we introduce TabularQual, a spreadsheet-based, community-driven representation for Boolean and multi-valued logical models, together with a bidirectional converter between spreadsheets and SBML-qual. The converter is accessible programmatically and via a web interface to support diverse user workflows. We further describe two integration strategies that enable existing modeling tools to operate with TabularQual, either through SBML-qual exchange or via direct support. Case studies using the Stress Knowledge Map and CaSQ demonstrate how this integration supports model construction, curation, and reuse. TabularQual provides a practical bridge between human-readable model representations and standardized executable formats, supporting reproducibility, interoperability, and community-driven model development.

systems biology↗

bioRxiv2025

AstroLogics: A simulation-based analysis framework for monotonous Boolean model ensemble

Boolean networks (BNs) have emerged as versatile tools for modeling cellular regulatory mechanisms due to their ability to capture key biological features despite their simplicity. Multiple BN synthesis methods, which aim to infer BNs with dynamics that corresponding to the experimental data, have emerged in a recent decade. However, these methods often posed a challenge as multiple BN candidates or "model ensemble" can be generated. While these ensembles are valuable for representing cell populations and their heterogeneity, current methods typically treat them as single components without examining their constituent features. We present AstroLogics, a novel framework designed to analyze and identify differences in both dynamical behavior and logical regulation within BN model ensembles. The framework calculates dynamical distances between BNs through exploration of their state transition graphs (STGs), enabling clustering of similarly functioning models that may represent different cellular fates or signaling mechanisms. AstroLogics also identifies key logical properties that govern each cluster, highlighting the core regulatory structures that differentiate model behaviors. Our approach leverages MaBoSS, a stochastic simulation tool that implements the Boolean Kinetic Monte-Carlo algorithm to address time interpretation in BNs. This probabilistic approximation method allows efficient probing of BN dynamics through stochastic simulations, overcoming the computational limitations of exhaustive STG analysis. Our framework also provides powerful visualization and classification capabilities for model ensembles. Through multiple use cases, we demonstrate how AstroLogics facilitates comprehensive analysis of model diversity, and discovery of key regulatory structures within BN ensembles.

bioinformatics↗

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

Targeting LINC00152 activates cAMP/Ca2+/ferroptosis axis and overcomes tamoxifen resistance in ER+ breast cancer

Tamoxifen has been the mainstay therapy to treat early, locally advanced, and metastatic estrogen receptor-positive (ER+) breast cancer, constituting around 75% of all cases. However, emergence of resistance is common, necessitating the identification of novel therapeutic targets. Here, we demonstrated that long-noncoding RNA LINC00152 confers tamoxifen resistance via blocking tamoxifen-induced ferroptosis, an iron-mediated cell death. Mechanistically, inhibiting LINC00152 reduces the mRNA stability of phosphodiesterase 4D (PDE4D), leading to activation of cAMP/PKA/CREB axis and increased expression of TRPC1 Ca2+ channel. This causes cytosolic Ca2+ overload and generation of reactive oxygen species (ROS) that is, on one hand, accompanied by downregulation of FTH1, a member of the iron sequestration unit, thus increasing intracellular Fe2+ levels; and on the other hand, inhibition of the peroxidase activity upon reduced GPX4 and xCT levels. These ultimately induce lipid peroxidation and ferroptotic cell death in combination with tamoxifen. Overexpressing PDE4D rescues LINC00152 inhibition-mediated tamoxifen sensitization by de-activating the cAMP/Ca2+/ferroptosis axis. Importantly, high LINC00152 expression is significantly correlated with high PDE4D/low ferroptosis and worse survival in multiple cohorts of tamoxifen- or tamoxifen-containing endocrine therapy-treated ER+ breast cancer patients. Overall, we identified LINC00152 inhibition as a novel mechanism of ferroptosis induction and tamoxifen sensitization, thereby revealing LINC00152 and its effectors as actionable therapeutic targets to improve clinical outcome in refractory ER+ breast cancer.

cancer biology↗

bioRxiv2021

Eoulsan 2: an efficient workflow manager for reproducible bulk, long-read and single-cell transcriptomics analyses

AO_SCPLOWBSTRACTC_SCPLOWO_ST_ABSMotivationC_ST_ABSCore sequencing facilities produce huge amounts of sequencing data that need to be analysed with automated workflows to ensure reproducibility and traceability. Eoulsan is a versatile open-source workflow engine meeting the needs of core facilities, by automating the analysis of a large number of samples. Its core design separates the description of the workflow from the actual commands to be run. This originality simplifies its usage as the user does not need to handle code, while ensuring reproducibility. Eoulsan was initially developed for bulk RNA-seq data, but the transcriptomics applications have recently widened with the advent of long-read sequencing and single-cell technologies, calling for the development of new workflows. ResultWe present Eoulsan 2, a major update that (i) enhances the workflow manager itself, (ii) facilitates the development of new modules, and (iii) expands its applications to long reads RNA-seq (Oxford Nanopore Technologies) and scRNA-seq (Smart-seq2 and 10x Genomics). The workflow manager has been rewritten, with support for execution on a larger choice of computational infrastructure (workstations, Hadoop clusters, and various job schedulers for cluster usage). Eoulsan now facilitates the development of new modules, by reusing wrappers developed for the Galaxy platform, with support for container images (Docker or Singularity) packaging tools to execute. Finally, Eoulsan natively integrates novel modules for bulk RNA-seq, as well as others specifically designed for processing long read RNA-seq and scRNA-seq. Eoulsan 2 is distributed with ready-to-use workflows and companion tutorials. Availability and implementationEoulsan is implemented in Java, supported on Linux systems and distributed under the LGPL and CeCILL-C licenses at: http://outils.genomique.biologie.ens.fr/eoulsan/. The source code and sample workflows are available on GitHub: https://github.com/GenomicParisCentre/eoulsan. A GitHub repository for modules using the Galaxy tool XML syntax is further provided at: https://github.com/GenomicParisCentre/eoulsan-tools Contacteoulsan@bio.ens.psl.eu

bioinformatics↗

bioRxiv2020

Evaluating the reproducibility of single-cell gene regulatory network inference algorithms

Networks are powerful tools to represent and investigate biological systems. The development of algorithms inferring regulatory interactions from functional genomics data has been an active area of research. With the advent of single-cell RNA-seq data (scRNA-seq), numerous methods specifically designed to take advantage of single-cell datasets have been proposed. However, published benchmarks on single-cell network inference are mostly based on simulated data. Once applied to real data, these benchmarks take into account only a small set of genes and only compare the inferred networks with an imposed ground-truth. Here, we benchmark four single-cell network inference methods based on their reproducibility, i.e. their ability to infer similar networks when applied to two independent datasets for the same biological condition. We tested each of these methods on real data from three biological conditions: human retina, T-cells in colorectal cancer, and human hematopoiesis. GENIE3 results to be the most reproducible algorithm, independently from the single-cell sequencing platform, the cell type annotation system, the number of cells constituting the dataset, or the thresholding applied to the links of the inferred networks. In order to ensure the reproducibility and ease extensions of this benchmark study, we implemented all the analyses in scNET, a Jupyter notebook available at https://github.com/ComputationalSystemsBiology/scNET.

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

Cis acting variation is common, can propagates across multiple regulatory layers, but is often buffered in developmental programs

Precise patterns of gene expression are driven by interactions between transcription factors, regulatory DNA sequence, and chromatin. How DNA mutations affecting any one of these regulatory layers is buffered or propagated to gene expression remains unclear. To address this, we quantified allele-specific changes in chromatin accessibility, histone modifications, and gene expression in F1 embryos generated from eight Drosophila crosses, at three embryonic stages, yielding a comprehensive dataset of 240 samples spanning multiple regulatory layers. Genetic variation in cis-regulatory elements is common, highly heritable, and surprisingly consistent in its effects across embryonic stages. Much of this variation does not propagate to gene expression. When it does, it acts through H3K4me3 or alternatively through chromatin accessibility and H3K27ac. The magnitude and evolutionary impact of mutations is influenced by a genes regulatory complexity (i.e. enhancer number), with transcription factors being most robust to cis-acting, and most influenced by trans-acting, variation. Overall, the impact of genetic variation on regulatory phenotypes appears context-dependent even within the constraints of embryogenesis.

genomics↗

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

Deciphering and modelling the TGF-β signalling interplays specifying the dorsal-ventral axis of the sea urchin embryo.

During sea urchin development, secretion of Nodal and BMP2/4 ligands and their antagonists Lefty and Chordin from a ventral organizer region specifies the ventral and dorsal territories. This process relies on a complex interplay between the Nodal and BMP pathways through numerous regulatory circuits. To decipher the interplay between these pathways, we used a combination of treatments with recombinant Nodal and BMP2/4 proteins and a computational modelling approach. We assembled a logical model focusing on cell responses to signalling inputs along the dorsal-ventral axis, which was extended to cover ligand diffusion and enable multicellular simulations. Our model simulations accurately recapitulate gene expression in wild type embryos, accounting for the specification of ventral ectoderm, ciliary band and dorsal ectoderm. Our model simulations further recapitulate various morphant phenotypes, reveals a dominance of the BMP pathway over the Nodal pathway, and stresses the crucial impact of the rate of Smad activation in D/V patterning. These results emphasise the key role of the mutual antagonism between the Nodal and BMP2/4 pathways in driving early dorsal-ventral patterning of the sea urchin embryo. Summary StatementWe propose a predictive computational model of the regulatory network controlling the dorsal-ventral axis specification in sea urchin embryos, and highlight key features of Nodal and BMP antagonism.

developmental 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

RSAT Var-tools: an accessible and flexible framework to predict the impact of regulatory variants on transcription factor binding

Gene regulatory regions contain short and degenerated DNA sites recognized by transcription factors (TFs). When such regions harbor SNPs, the DNA motifs where TFs bind may be affected, thereby altering the transcriptional regulation of the target genes. Such regulatory SNPs have been implicated as causal variants in GWAS studies. In this study, we describe the application of the programs Var-tools designed to predict regulatory variants, and present four case studies to illustrate their usage and applications. In brief, Var-tools facilitate i) obtaining variation information, ii) interconversion of variation file formats, iii) retrieval of sequences surrounding variants, and iv) calculating the change on predicted TF affinity scores between alleles, using motif scanning approaches. Notably, the tools support the analysis of haplotypes. The tools are included within the well-maintained suite Regulatory Sequence Analysis Tools (RSAT, http://rsat.eu), and accessible through a web interface that currently enables analysis of five metazoa and ten plant genomes. Vart-tools can also be used in command-line with any locally-installed Ensembl genome. Users can input personal collections of variants and motifs, providing flexibility in the analysis.

bioinformatics↗

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

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↗