Abstract Background With the generation of vast compendia of biological datasets, the challenge is how best to interpret ‘omics data alongside biochemical and other small-scale experiments to gain meaningful biological insights. Key to this challenge are computational methods that enable domain-users to generate novel hypotheses that can be used to guide future experiments. Of particular interest are flexible modeling platforms, capable of simulating a diverse range of biological systems with low barriers of adoption to those with limited computational expertise. Results We introduce Cell4D, a spatial-temporal modeling platform combining a robust simulation engine with integrated graphics visualization, a model design editor, and an underlying XML data model capable of capturing a variety of cellular functions. Cell4D provides an interactive visualization mode, allowing intuitive feedback on model behavior and exploration of novel hypotheses, together with a non-graphics mode, compatible with high performance cloud compute solutions, to facilitate generation of statistical data. To demonstrate the flexibility and effectiveness of Cell4D, we investigate the dynamics of CEACAM1 localization in T-cell activation. We confirm the importance of Ca 2+ microdomains in activating calmodulin and highlight a key role of activated calmodulin on the surface expression of CEACAM1. We further show how lymphocyte-specific protein tyrosine kinase can help regulate this cell surface expression and exploit spatial modeling features of Cell4D to test the hypothesis that lipid rafts regulate clustering of CEACAM1 to promote trans-binding to neighbouring cells. Conclusions Through demonstrating its ability to test and generate hypotheses, Cell4D represents an effective tool to help integrate knowledge across diverse, large and small-scale datasets.

MOTIVATION: Network biology has emerged as a powerful tool to uncover the organizational properties of living systems through the application of graph theoretic approaches. However, due to limitations in underlying data models and visualization software, knowledge relating to large molecular assemblies and biologically active fragments is poorly represented. RESULTS: Here, we demonstrate a novel hypergraph implementation that better captures hierarchical structures, using components of elastic fibers and chromatin modification as models. These reveal unprecedented views of the biology of these systems, demonstrating the unique capacity of hypergraphs to resolve overlaps and uncover new insights into the subfunctionalization of variant complexes. AVAILABILITY AND IMPLEMENTATION: Hyperscape is available as a web application at http://www.compsysbio.org/hyperscape. Source code, examples and a tutorial are freely available under a GNU license. CONTACTS: [email protected] or [email protected] SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.