Computational Verification of Large Logical Models—Application to the Prediction of T Cell Response to Checkpoint Inhibitors
At the crossroad between biology and mathematical modeling, 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...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Frontiers Media S.A.
2020-09-01
|
| Series: | Frontiers in Physiology |
| Subjects: | |
| Online Access: | https://www.frontiersin.org/article/10.3389/fphys.2020.558606/full |