Sketchbook: logical model inference from Boolean network sketches
Ondřej Huvar1, Nikola Beneš1, Luboš Brim1
1Faculty of Informatics, Masaryk University, Brno 602 00, Czech Republic.
Summary:
Sketchbook is a tool for design and analysis of Boolean network sketches, a framework for partial specification of Boolean network models combining static and dynamic logical constraints. The tool combines an intuitive graphical interface with a high-performance inference engine able to efficiently compute the whole set of all admissible candidate models.
Availability And Implementation:
All software and data are freely available as a reproducible artefact at https://doi.org/10.5281/zenodo.15828328. The up-to-date version of the tool is accessible through https://github.com/sybila/biodivine-sketchbook.
Related Concept Videos
Guidelines for Sketching a Curve
Curve Sketching and Derivatives
Protein Networks
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
Protein Networks
Network Covalent Solids
To break or to melt a covalent network solid, covalent bonds must be broken. Because covalent bonds are relatively strong, covalent network solids are typically...
Theory of Attribution I: Correspondent Inference Theory


