Searching across hundreds of databases
Boolean and multi-valued logical formalisms are increasingly used to model complex cellular networks. To ease the development and analysis of logical models, a series of software tools have been proposed, often with specific assets. However, combining these tools typically implies a series of cumbersome software installation and model conversion steps. In this respect, the CoLoMoTo Interactive Notebook provides a joint distribution of several logical modeling software tools, along with an interactive web Python interface easing the chaining of complementary analyses. Our computational workflow combines (1) the importation of a GINsim model and its display, (2) its format conversion using the Java library BioLQM, (3) the formal prediction of mutations using the OCaml software Pint, (4) the model checking using the C++ software NuSMV, (5) quantitative stochastic simulations using the C++ software MaBoSS, and (6) the visualization of results using the Python library matplotlib. To illustrate our approach, we use a recent Boolean model of the signaling network controlling tumor cell invasion and migration. Our model analysis culminates with the prediction of sets of mutations presumably involved in a metastatic phenotype.
Pubmed ID: 30034343 RIS Download
Publication data is provided by the National Library of Medicine ® and PubMed ®. Data is retrieved from PubMed ® on a weekly schedule. For terms and conditions see the National Library of Medicine Terms and Conditions.
VANO is a Volume image object AnNOtation System for 3D multicolor image stacks, developed by Hanchuan Peng, Fuhui Long, and Gene Myers. VANO provides a well-coordinated way to annotate hundreds or thousands of 3D image objects. It combines 3D views of images and spread sheet neatly, and is just easy to manage 3D segmented image objects. It also lets you incorporate your segmentation priors, and lets you edit your segmentation results! This system has been used in building the first digital nuclei atlases of C. elegans at the post-embryonic stage (joint work with Stuart Kim lab, Stanford Univ), the single-neuron level fruit fly neuronal atlas of late embryos (with Chris Doe lab, Univ of Oregon, HHMI), and the compartment-level of digital map(s) of adult fruit fly brains (several labs at Janelia Farm, HHMI). VANO is cross-platform software. Currently the downloadable versions are for Windows (XP and Vista) and Mac (Intel-chip based, Leopard or Tiger OS). If you need VANO for different systems (such as 64bit or 32bit, Redhat Linux, Ubuntu, etc), you can either compile the software, or send an email to pengh (at) janelia.hhmi.org. VANO is Open-Source. You can download both the source code files and pre-complied versions at the Software Downloads page.
View all literature mentionsThe SciCrunch Infrastructure was developed as a cooperative data platform to be used by diverse communities in making data more FAIR.
scicrunch.org
