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 relative to previous approaches. Moreover, this increase in speed allows us to infer, or 'retrodict', compatible genomes from cell fate patterns. We exploit this technique to predict highly variable cell fate patterns resulting from dig-1 reduced-function mutations and let-23 mosaics. In addition to the new insights offered, we propose our technique as a platform for aiding the design and analysis of experimental data.

""""Share and Enjoy"""": Publishing Useful and Usable Scientific Models

“…This may be needed for legal compliance (e.g. drug trials), but has been successfully used in large research consortia, for example the use of Accelrys Notebook (formerly Contur ELN) 10 by the structural genomics consortium in Oxford. Similarly, ZappyLab aims to build a free, standardised protocol repository for the life sciences.…”

“…Specific examples of the benefits of reproducible workflows to researchers are now appearing in the scientific literature. For example, new tools for membrane protein simulation [9], [10] demonstrate how complex workflows can be automated, preventing errors and differences arising from manual execution, whilst making it faster to perform new analyses. More complex tools, such as Copernicus, aim to automate more generic molecular dynamics workflows [11].…”

Temporal protein expression pattern in intracellular signalling cascade during T-cell activation: A computational study

“…(Rosner et al 2002;Corson et al 2003;Hall et al 2014). Moreover, during the last few decades, researchers have also focused on the evolution of temporal gene/protein expression patterns observed in our immune system under different immunological disorders (Rangel et al 2004;Rosenwald et al 2001).…”

Reproducibility in Research: Systems, Infrastructure, Culture

“…Even small, seemingly trivial features like putting up a web interface to your tool and its tests will allow users who are not able to install necessary dependencies to explore the running of the tool [63]. Ultimately, this can lead to making an "executable paper" appear on the Internet.…”