Related Experiment Video
Updated: Mar 9, 2026

Gene Digital Circuits Based on CRISPR-Cas Systems and Anti-CRISPR Proteins
Published on: October 18, 2022
caspo: a toolbox for automated reasoning on the response of logical signaling networks families
Santiago Videla1, Julio Saez-Rodriguez2,3, Carito Guziolowski4
1LBSI, Fundación Instituto Leloir (IIBBA-CONICET), Buenos Aires, C1405BWE, Argentina.
Summary:
We introduce the caspo toolbox, a python package implementing a workflow for reasoning on logical networks families. Our software allows researchers to (i) a family of logical networks derived from a given topology and explaining the experimental response to various perturbations; (ii) all logical networks in a given family by their input-output behaviors; (iii) the response of the system to every possible perturbation based on the ensemble of predictions; (iv) new experimental perturbations to discriminate among a family of logical networks; and (v) a family of logical networks by finding all interventions strategies forcing a set of targets into a desired steady state.
Availability And Implementation:
caspo is open-source software distributed under the GPLv3 license. Source code is publicly hosted at http://github.com/bioasp/caspo .
Contact:
anne.siegel@irisa.fr.
Related Concept Videos
Reasoning
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...
Assembly of Signaling Complexes
Interaction domains in cell signaling
Interaction domains recognize exposed features of their binding partners containing post-translationally modified sequences,...
Deductive Reasoning
For example, a researcher can deduce specific predictions...
Block Diagram Reduction
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
Relation between Mathematical Equations and Block Diagrams
Signal Flow Graphs
In a signal-flow graph, branches denote the system's transfer functions, while nodes represent the signals. The direction of signal flow is indicated by arrows, with the corresponding...
![Technical Aspect of the Automated Synthesis and Real-Time Kinetic Evaluation of [11C]SNAP-7941](/_next/image?url=https%3A%2F%2Fcloudfront.jove.com%2FCDNSource%2Fteasers%2F59557.jpg&w=3840&q=50)
