Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Guidelines for Sketching a Curve01:23

Guidelines for Sketching a Curve

151
Curve sketching is a systematic method for understanding the overall behavior of a function by analyzing its key mathematical features. A function defines a curve on the coordinate plane, where the horizontal axis represents the input variable and the vertical axis represents the output. The process begins by determining the domain, which specifies the set of input values for which the function is defined and establishes the horizontal extent of the graph.Intercepts with the horizontal and...
151
Curve Sketching and Derivatives01:22

Curve Sketching and Derivatives

83
Understanding the behavior of a function through its first and second derivatives is essential for analyzing its graph. Derivatives provide insight into where a function increases or decreases, where it attains local maxima or minima, and how its curvature behaves across different intervals.The first derivative of a function reveals the slope of the tangent line at any given point. Points where the derivative is zero or undefined are considered critical, as they often indicate potential extrema...
83
Protein Networks02:26

Protein Networks

4.6K
An organism can have thousands of different proteins, and these proteins must cooperate to ensure the health of an organism. Proteins bind to other proteins and form complexes to carry out their functions. Many proteins interact with multiple other proteins creating a complex network of protein interactions.
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,...
4.6K
Protein Networks02:26

Protein Networks

2.9K
2.9K
Network Covalent Solids02:18

Network Covalent Solids

16.2K
Network covalent solids contain a three-dimensional network of covalently bonded atoms as found in the crystal structures of nonmetals like diamond, graphite, silicon, and some covalent compounds, such as silicon dioxide (sand) and silicon carbide (carborundum, the abrasive on sandpaper). Many minerals have networks of covalent bonds.
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...
16.2K
Theory of Attribution I: Correspondent Inference Theory01:15

Theory of Attribution I: Correspondent Inference Theory

601
Correspondent inference theory, proposed by Jones and Davis in 1965, seeks to explain how individuals infer stable personality traits from observed behaviors. It suggests that people attribute actions to underlying dispositions rather than external circumstances, particularly when the behavior appears intentional and socially significant.Voluntary Behavior and Dispositional AttributionAccording to this theory, individuals are more likely to attribute behavior to personal traits when it appears...
601

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

TabularQual: A spreadsheet-based format for annotating and curating logical models in SBML-qual.

bioRxiv : the preprint server for biology·2026
Same author

Control-guided refinement of partially specified Boolean networks: applications to RTK signaling.

Bioinformatics (Oxford, England)·2026
Same author

An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?

Journal of mathematical biology·2025
Same author

Systems Biology in ELIXIR: modelling in the spotlight.

F1000Research·2024
Same author

Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data.

PloS one·2023
Same author

Trap spaces of multi-valued networks: definition, computation, and applications.

Bioinformatics (Oxford, England)·2023
Same journal

metaLoc: protein localisation prediction workflow.

Bioinformatics advances·2026
Same journal

Fuscan: a robust DNA fusion caller for targeted sequencing data in cancer diagnostics.

Bioinformatics advances·2026
Same journal

Correction to: Pathogenicity patterns in cytochrome P450 family.

Bioinformatics advances·2026
Same journal

Region-aware bridge modeling enables interpretable mesoscale representation of spatial transcriptomic tissue sections.

Bioinformatics advances·2026
Same journal

Microbiome differential abundance methodologies to detect relevant taxa associated with chemotherapy toxicity rate in colorectal cancer.

Bioinformatics advances·2026
Same journal

maldipickr dereplicates microbial MALDI-TOF spectra to facilitate multiplexed isolation.

Bioinformatics advances·2026
See all related articles

Related Experiment Video

Updated: Feb 12, 2026

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
10:44

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

2.7K

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.

Bioinformatics Advances
|February 11, 2026
PubMed
Summary
This summary is machine-generated.

Sketchbook is a novel tool for designing and analyzing Boolean network sketches, which combine static and dynamic logical constraints. It efficiently computes all possible models using a graphical interface and a powerful inference engine.

More Related Videos

Modeling the Functional Network for Spatial Navigation in the Human Brain
05:55

Modeling the Functional Network for Spatial Navigation in the Human Brain

Published on: October 13, 2023

1.6K
Perfusable Vascular Network with a Tissue Model in a Microfluidic Device
07:05

Perfusable Vascular Network with a Tissue Model in a Microfluidic Device

Published on: April 4, 2018

14.9K

Related Experiment Videos

Last Updated: Feb 12, 2026

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
10:44

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

2.7K
Modeling the Functional Network for Spatial Navigation in the Human Brain
05:55

Modeling the Functional Network for Spatial Navigation in the Human Brain

Published on: October 13, 2023

1.6K
Perfusable Vascular Network with a Tissue Model in a Microfluidic Device
07:05

Perfusable Vascular Network with a Tissue Model in a Microfluidic Device

Published on: April 4, 2018

14.9K

Area of Science:

  • Computational Biology
  • Systems Biology
  • Bioinformatics

Background:

  • Boolean networks are widely used to model biological systems.
  • Partial specification of models is crucial for managing complexity.
  • Existing tools may lack efficient methods for handling partial specifications.

Purpose of the Study:

  • To introduce Sketchbook, a software tool for designing and analyzing Boolean network sketches.
  • To provide a framework for combining static and dynamic logical constraints in Boolean models.
  • To enable efficient computation of all admissible candidate models.

Main Methods:

  • Development of a graphical user interface for intuitive model design.
  • Implementation of a high-performance inference engine for model computation.
  • Utilizing Boolean network sketches for partial model specification.

Main Results:

  • Sketchbook enables the design and analysis of Boolean network sketches.
  • The tool efficiently computes the complete set of admissible candidate models.
  • Combines a user-friendly interface with a robust computational backend.

Conclusions:

  • Sketchbook offers a powerful solution for modeling complex biological systems with partial specifications.
  • The tool facilitates the exploration of multiple model possibilities.
  • Freely available software promotes reproducible research in systems biology.