Evaluating Uncertainty in Signaling Networks Using Logical Modeling

Abstract

Systems biology studies the structure and dynamics of biological systems using mathematical approaches. Bottom-up approaches create models from prior knowledge but usually cannot cope with uncertainty, whereas top-down approaches infer models directly from data using statistical methods but mostly neglect valuable known information from former studies. Here, we want to present a workflow that includes prior knowledge while allowing for uncertainty in the modeling process. We build not one but all possible models that arise from the uncertainty using logical modeling and subsequently filter for those models in agreement with data in a top-down manner. This approach enables us to investigate new and more complex biological research questions, however, the encoding in such a framework is often not obvious and thus not easily accessible for researcher from life sciences. To mitigate this problem, we formulate a pipeline with specific templates to address some research questions common in signaling network analysis. To illustrate the potential of this approach, we applied the pipeline to growth factor signaling processes in two renal cancer cell lines. These two cell lines originate from similar tissue, but surprisingly showed a very different behavior toward the cancer drug Sorafenib. Thus our aim was to explore differences between these cell lines regarding three sources of uncertainty in one analysis: possible targets of Sorafenib, crosstalk between involved pathways, and the effect of a mutation in mammalian target of Rapamycin (mTOR) in one of the cell lines. We were able to show that the model pools from the cell lines are disjoint, thus the discrepancies in behavior originate from differences in the cellular wiring. Also the mutation in mTOR is not affecting its activity in the pathway. The results on Sorafenib, while not fully clarifying the mechanisms involved, illustrate the potential of this analysis for generating new hypotheses.

Patient-Specific Modeling of Diffuse Large B-Cell Lymphoma

“…Having established the model that describes the different GC stages as attractors, we next used the model to simulate the effect of perturbations and predict the impact of inhibitors. For this aim, a copy-number loss or ectopic expression of a gene was implemented into the model by decreasing or increasing the activity level of an affected component [ 55 ] ( Section 2.2 ). For example, we can simulate an ectopic expression of ERK by substituting the function from to .…”

Computational Verification of Large Logical Models—Application to the Prediction of T Cell Response to Checkpoint Inhibitors

“…The approach presented here could also be improved by taking into account and tracking uncertainty during model conception (Thobe et al, 2018 ), or yet by taking advantage of computational repairing methods (Gebser et al, 2010 ) to identify more precisely remaining inconsistencies with biological data. Furthermore, other software engineering techniques, such as code coverage , could be borrowed to further improve model building and verification.…”

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

“…The approach presented here could also be improved by taking into account and tracking uncertainty during model conception (Thobe et al, 2018), or yet by taking advantage of computational repairing methods (Gebser et al, 2010) to identify more precisely remaining inconsistencies with biological data. Furthermore, other software engineering techniques, such as code coverage , could be borrowed to further improve model building and verification.…”