BooleSim: an interactive Boolean network simulator

نویسندگان

Matthias Bock

Till Scharp

Chaitanya Talnikar

Edda Klipp

چکیده

SUMMARY BooleSim (Boolean network simulator) is an open-source in-browser tool for simulation and manipulation of Boolean networks. It was developed mainly during Google's Summer of Code 2012 and uses the biographer project for network visualization. It can be used specifically for the modeling of gene regulatory or signal transduction networks. AVAILABILITY AND IMPLEMENTATION BooleSim is free software and can be downloaded from GitHub (https://github.com/matthiasbock/BooleSim). Online version available at http://rumo.biologie.hu-berlin.de/boolesim/.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

NetWork: An Interactive Interface to the Tools for Analysis of Genetic Network Structure and Dynamics

We designed a Java applet called NetWork which enables a user to interactively construct and visualize a genetic network of interest, and to and to evaluate and explore its dynamics in the framework of a Boolean network model. NetWork displays the mechanism of gene interactions at the level of gene expression and enables the visualization of large genetic networks. NetWork can serve as an inter...

متن کامل

An Improved Algorithm for Network Reliability Evaluation

Binary Decision Diagram (BDD) is a data structure proved to be compact in representation and efficient in manipulation of Boolean formulas. Using Binary decision diagram in network reliability analysis has already been investigated by some researchers. In this paper we show how an exact algorithm for network reliability can be improved and implemented efficiently by using CUDD - Colorado Univer...

متن کامل

Berry Iii: an Interactive Simulator for Artificial Creatures

BERRY III is an interactive tool for the construction and simulation of neural network controlled artificial creatures that can be considered either as biological models or as simulated robots. Environments and creatures can be built and modified during simulation time using a large set of graphical editors and viewers. The simulator also includes an extensive package for generation of graphs a...

متن کامل

Symbolic Verification of MOS Circuits

The program MOSSYM simulates the behavior of a MOS circuit represented as a switch-level network symbolically. That is, during simulator operation the user can set an input to either 0, 1, or a Boolean variable. The simulator then computes the behavior of the circuit as a function of the past and present input variables. By using heuristically efficient Boolean function manipulation algorithms,...

متن کامل