Biological Networks

Formal property-based calibration can recover mechanisms including immune regulation, autophagy-apoptosis control, and cardiac action-potential morphology. The autophagy-apoptosis model identified p53, cytoplasmic Ca2+, AMPK, and calpain as important regulators of cell fate decisions. The TLR3-TLR7 study identified the JAK-STAT pathway as responsible for synergistic inflammatory cytokine production. Biochemical pathways regulate core cellular functions, and malfunctioning pathways can cause disease. The framework supports analysis of biological pathway models with population variability.