Logic programming to predict cell fate patterns and retrodict genotypes in organogenesis.

ABSTRACT: Caenorhabditis elegans vulval development is a paradigm system for understanding cell differentiation in the process of organogenesis. Through temporal and spatial controls, the fate pattern of six cells is determined by the competition of the LET-23 and the Notch signalling pathways. Modelling cell fate determination in vulval development using state-based models, coupled with formal analysis techniques, has been established as a powerful approach in predicting the outcome of combinations of mutations. However, computing the outcomes of complex and highly concurrent models can become prohibitive. Here, we show how logic programs derived from state machines describing the differentiation of C. elegans vulval precursor cells can increase the speed of prediction by four orders of magnitude r

SUBMITTER: Hall BA 

PROVIDER: S-EPMC4233684 | biostudies-literature | 2014 Sep

REPOSITORIES: biostudies-literature