Summary: Mathematical models and their simulation are increasingly used to gain insights into cellular pathways and regulatory networks. Dynamics of regulatory factors can be modeled using Boolean networks (BNs), among others. Text-based representations of models are precise descriptions, but hard to understand and interpret. ViSiBooL aims at providing a graphical way of modeling and simulating networks. By providing visualizations of static and dynamic network properties simultaneously, it is possible to directly observe the effects of changes in the network structure on the behavior. In order to address the challenges of clear design and a user-friendly graphical user interface (GUI), ViSiBooL implements visual representations of BNs. Additionally temporal extensions of the BNs for the modeling of regulatory time delays are incorporated. The GUI of ViSiBooL allows to model, organize, simulate and visualize BNs as well as corresponding simulation results such as attractors. Attractor searches are performed in parallel to the modeling process. Hence, changes in the network behavior are visualized at the same time.

Availability And Implementation: ViSiBooL (Java 8) is freely available at http://sysbio.uni-ulm.de/?Software:ViSiBooL .

Contact: hans.kestler@uni-ulm.de.

Download full-text PDF

Source
http://dx.doi.org/10.1093/bioinformatics/btw661DOI Listing

Publication Analysis

Top Keywords

boolean networks
8
changes network
8
gui visibool
8
visibool-visualization simulation
4
simulation boolean
4
networks
4
networks temporal
4
temporal constraints
4
constraints summary
4
summary mathematical
4

Similar Publications

Background: In the realm of system biology, it is a challenging endeavor to infer a gene regulatory network from time-series gene expression data. Numerous Boolean network inference techniques have emerged for reconstructing a gene regulatory network from a time-series gene expression dataset. However, most of these techniques pose scalability concerns given their capability to consider only two to three regulatory genes over a specific target gene.

View Article and Find Full Text PDF

Can we turn AI black boxes into code? Although this mission sounds extremely challenging, we show that it is not entirely impossible by presenting a proof-of-concept method, MIPS, that can synthesize programs based on the automated mechanistic interpretability of neural networks trained to perform the desired task, auto-distilling the learned algorithm into Python code. We test MIPS on a benchmark of 62 algorithmic tasks that can be learned by an RNN and find it highly complementary to GPT-4: MIPS solves 32 of them, including 13 that are not solved by GPT-4 (which also solves 30). MIPS uses an integer autoencoder to convert the RNN into a finite state machine, then applies Boolean or integer symbolic regression to capture the learned algorithm.

View Article and Find Full Text PDF

Introduction: Medicine quality can be influenced by environmental factors. In low- and middle-income countries (LMICs) with tropical climates, storage facilities of medicines in healthcare settings and homes may be suboptimal. However, knowledge of the effects of temperature and other climatic and environmental factors on the quality of medicines is limited.

View Article and Find Full Text PDF

Background: Alzheimer's disease (AD) is a chronic, progressive neurodegenerative disorder characterized by cognitive decline, memory loss, and impaired reasoning. It is the leading cause of dementia in older adults, marked by the pathological accumulation of amyloid-beta plaques and neurofibrillary tangles. These pathological changes lead to widespread neuronal damage, significantly impacting daily functioning and quality of life.

View Article and Find Full Text PDF

This paper describes Epihiper, a state-of-the-art, high performance computational modeling framework for epidemic science. The Epihiper modeling framework supports custom disease models, and can simulate epidemics over dynamic, large-scale networks while supporting modulation of the epidemic evolution through a set of user-programmable interventions. The nodes and edges of the social-contact network have customizable sets of static and dynamic attributes which allow the user to specify intervention target sets at a very fine-grained level; these also permit the network to be updated in response to nonpharmaceutical interventions, such as school closures.

View Article and Find Full Text PDF

Want AI Summaries of new PubMed Abstracts delivered to your In-box?

Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!