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

Network Function of a Circuit01:25

Network Function of a Circuit

Frequency response analysis in electrical circuits provides vital insights into a circuit's behavior as the frequency of the input signal changes. The transfer function, a mathematical tool, is instrumental in understanding this behavior. It defines the relationship between phasor output and input and comes in four types: voltage gain, current gain, transfer impedance, and transfer admittance. The critical components of the transfer function are the poles and zeros.
Neural Circuits01:25

Neural Circuits

Neural circuits and neuronal pools are two of the main structures found in the nervous system. Neural circuits are networks of neurons that work together to carry out a specific task or process. They consist of interconnected neurons and glial cells, which provide structural and metabolic support.
Neuronal pools are collections of nerve cells with similar functions and interact through chemical and electrical signals. These pools include both interneurons (the central neural circuit nodes that...
Sequence Networks of Rotating Machines01:24

Sequence Networks of Rotating Machines

A Y-connected synchronous generator, grounded through a neutral impedance, is designed to produce balanced internal phase voltages with only positive-sequence components. The generator's sequence networks include a source voltage that is exclusively in the positive-sequence network. The sequence components of line-to-ground voltages at the generator terminals illustrate this configuration.
Zero-sequence current induces a voltage drop across the generator's neutral impedance and other...
State Space Representation01:27

State Space Representation

The frequency-domain technique, commonly used in analyzing and designing feedback control systems, is effective for linear, time-invariant systems. However, it falls short when dealing with nonlinear, time-varying, and multiple-input multiple-output systems. The time-domain or state-space approach addresses these limitations by utilizing state variables to construct simultaneous, first-order differential equations, known as state equations, for an nth-order system.
Consider an RLC circuit, a...
Network Covalent Solids02:18

Network Covalent Solids

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...
Vector Algebra: Graphical Method01:10

Vector Algebra: Graphical Method

Vectors can be multiplied by scalars, added to other vectors, or subtracted from other vectors. The vector sum of two (or more) vectors is called the resultant vector or, for short, the resultant.
We use the laws of geometry to construct resultant vectors, followed by trigonometry to find vector magnitudes and directions. For a geometric construction of the sum of two vectors in a plane, we follow the parallelogram rule. Suppose two vectors are at arbitrary positions. Translate either one of...

You might also read

Related Articles

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

Sort by
Same author

Boolean Networks with Classic and New Updating Modes Applied to Genetic Regulation in Some Familial Diseases.

International journal of molecular sciencesยท2025
Same author

Effective removal of the rhodamine B dye by citric acid-modified clay as adsorbent: kinetics, thermodynamics and adsorption isotherms.

Environmental science and pollution research internationalยท2025
Same author

The work of Pierre Magal on differential equations, functional analysis and mathematical biology.

Journal of mathematical biologyยท2025
Same author

Editorial.

Mathematical medicine and biology : a journal of the IMAยท2025
Same author

A signal-processing tool adapted to the periodic biphasic phenomena: the Dynalet transform.

Mathematical medicine and biology : a journal of the IMAยท2024
Same author

A biomechanical model for cell sensing and migration.

Computer methods in biomechanics and biomedical engineeringยท2024

Related Experiment Video

Updated: May 14, 2026

Design, Surface Treatment, Cellular Plating, and Culturing of Modular Neuronal Networks Composed of Functionally Inter-connected Circuits
10:32

Design, Surface Treatment, Cellular Plating, and Culturing of Modular Neuronal Networks Composed of Functionally Inter-connected Circuits

Published on: April 15, 2015

Formal methods for Hopfield-like networks.

Hedi Ben Amor1, Fabien Corblin, Eric Fanchon

  • 1UJF-University of Grenoble 1-CNRS, AGIM Laboratory, Laboratory of Ageing Imaging and Modeling, FRE 3405, Domaine de la Merci, 38700 La Tronche, France.

Acta Biotheoretica
|February 6, 2013
PubMed
Summary
This summary is machine-generated.

This study introduces a novel method for building biological models by formalizing knowledge as constraints, avoiding trial-and-error. This approach automatically identifies all consistent models, aiding in network analysis and design.

More Related Videos

Two-Photon Polymerization 3D-Printing of Micro-scale Neuronal Cell Culture Devices
07:38

Two-Photon Polymerization 3D-Printing of Micro-scale Neuronal Cell Culture Devices

Published on: June 7, 2024

Related Experiment Videos

Last Updated: May 14, 2026

Design, Surface Treatment, Cellular Plating, and Culturing of Modular Neuronal Networks Composed of Functionally Inter-connected Circuits
10:32

Design, Surface Treatment, Cellular Plating, and Culturing of Modular Neuronal Networks Composed of Functionally Inter-connected Circuits

Published on: April 15, 2015

Two-Photon Polymerization 3D-Printing of Micro-scale Neuronal Cell Culture Devices
07:38

Two-Photon Polymerization 3D-Printing of Micro-scale Neuronal Cell Culture Devices

Published on: June 7, 2024

Area of Science:

  • Systems Biology
  • Computational Biology
  • Bioinformatics

Background:

  • Traditional biological model construction relies on iterative trial-and-error for architecture and parameter optimization.
  • Existing methods often struggle to integrate diverse knowledge sources and explore the full model space.

Purpose of the Study:

  • To present a constraint-based approach for constructing and analyzing biological regulatory networks, eliminating the need for trial-and-error.
  • To automatically characterize the complete set of models consistent with available biological knowledge.

Main Methods:

  • Formalizing biological knowledge (structure and dynamics) as constraints.
  • Compiling these constraints into Boolean formulas in conjunctive normal form.
  • Utilizing a Boolean satisfiability (SAT) solver to analyze the formalized knowledge.

Main Results:

  • Successfully applied the method to Hopfield-like networks, a common formalism for neural and regulatory networks.
  • Demonstrated the ability to find cycles in 3-node networks and determine the regulatory network for Arabidopsis thaliana flower morphogenesis.
  • Showcased the flexibility of the approach in formulating high-level queries and integrating formalized intuitions.

Conclusions:

  • The constraint-based, SAT-solver approach offers an automated and systematic way to build and analyze biological models.
  • This method facilitates model discovery from data and the design of biological networks with specific behaviors.
  • The technique holds significant potential for advancing systems biology and synthetic biology applications.