Abstract
Stem cells play a central role in the development of organisms; hence, studying their gene regulatory networks (GRNs) is of great importance. The Reasoning Engine for Interaction Networks (RE:IN) is a toolset that supports modeling of GRNs to investigate their dynamics systematically and efficiently and make new predictions. Here we constructed a RE:IN model of the GRN which describes the regulation of gene expression in purple sea urchin stem cells. It consists of a constrained abstract Boolean network - a collection of Boolean networks, each corresponding to a possible structure and logic of the GRN consistent with experiments. We examined the model’s compatibility with observed behavior and explored its robustness. To this end, we developed several new methods for modeling GRNs in RE:IN. These include methods for handling cases where models don’t behave in accordance with observed behavior, tools for fast and efficient RE:IN modeling, and tools for synthesizing complex conditions in which models can be tested. Our results show that the current model cannot behave according to the entirety of the expected behavior. Moreover, we show that the model is robust to perturbations in a subset of key genes in the network. These results suggest that there is still work to be done to better capture the intricacies of this GRN in RE:IN. Furthermore, the tools we developed proved to be useful and may serve future research on GRNs within the RE:IN framework.
| Original language | English |
|---|---|
| Title of host publication | Computational Intelligence Methods for Bioinformatics and Biostatistics - 19th International Meeting, CIBB 2024, Revised Selected Papers |
| Editors | Luigi Cerulo, Francesco Napolitano, Francesco Bardozzo, Lu Cheng, Annalisa Occhipinti, Stefano M. Pagnotta |
| Publisher | Springer Science and Business Media Deutschland GmbH |
| Pages | 43-57 |
| Number of pages | 15 |
| ISBN (Print) | 9783031897030 |
| DOIs | |
| State | Published - 2025 |
| Event | 19th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2024 - Benevento, Italy Duration: 4 Sep 2024 → 6 Sep 2024 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Volume | 15276 LNBI |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 19th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2024 |
|---|---|
| Country/Territory | Italy |
| City | Benevento |
| Period | 4/09/24 → 6/09/24 |
Bibliographical note
Publisher Copyright:© The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.
Keywords
- Computational modeling
- Formal verification
- Gene regulatory networks