Skip to main content

Table 2 Data processing for logical analysis by discretization and formal encoding as CTL formula

From: Unraveling the regulation of mTORC2 using logical modeling

 
  1. The tables show measured components, time points in minutes and readout. For the CTL formulas the settings are given, which is the measurements, the initial state and fixed components. If no measurement at time point 0 is available, the set up of the experiment is used, e.g. stimulation of the receptor. The fixed components encode a knock down/out in that component. Additionally, the option Delta=0 encodes a steady-state (more details see “Methods” section). T_4B Time series data of selected components from Fig. 4b in [13]. The table shows measurements that were discretized by mean value. CTL formula uses time point 0 as initial state and further data points as sequence. T_7A Perturbation experiment with knock down of mTORC1 component Raptor leads to sustained Akt activity, encoded as fixpoint in the CTL formula with fixed mTORC1 (Fig. 7 in [13]). T_8A PI3K inhibition by Wortmannin causes complete inhibition of all pathway components including Akt and mTORC1 target p70-S6K (Fig. 8 in [13]). The Data in encoded as a fixpoint with fixed PI3K. M_1A Data from Huang et al., where Tsc2-/- cells show inactive mTORC1 and mTORC2, encoded as fixpoint with fixed Tsc (Fig. 1 in [16]). M_3BC and M_3BC2 Combined data sets from two experiments for showing the independence of Tsc effect on mTORC2 and negative feedback (Fig. 3 in [16]), encoded as fixpoint with Tsc and IRS fixed