P_UNSAT approach of attractor calculation for Boolean gene regulatory networks

Qinbin He1, Zhile Xia1, Bin Lin1

  • 1Department of Mathematics, Taizhou University, Linhai, Zhejiang 317000, China.

Related Concept Videos

Cis-regulatory Sequences02:02

Cis-regulatory Sequences

Cis-regulatory sequences are short fragments of non-coding DNA that are present on the same chromosomes as the genes that they regulate. These fragments serve as binding sites for transcriptional regulators, proteins that are responsible for controlling gene transcription and differential gene expression across cell types in eukaryotes. Cis-regulatory sequences can be close to the gene of interest or thousands of bases away in the DNA sequence; however, those sequences that are further away are...
11.9K
Chemical Equilibria: Systematic Approach to Equilibrium Calculations01:21

Chemical Equilibria: Systematic Approach to Equilibrium Calculations

Equilibrium calculations for systems involving multiple equilibria are often complex. For example, to calculate the solubility of a sparingly soluble salt in an aqueous solution in the presence of a common ion, one must consider all the equilibria in this solution. Calculations for these systems can be complicated and tedious, so a systematic approach with a series of steps is often helpful. The process is detailed below.
The first step is to identify all the chemical reactions involved, The...
1.7K
Protein Networks02:26

Protein Networks

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
Calculating the Equilibrium Constant02:46

Calculating the Equilibrium Constant

The equilibrium constant for a reaction is calculated from the equilibrium concentrations (or pressures) of its reactants and products. If these concentrations are known, the calculation simply involves their substitution into the Kc expression.
For example, gaseous nitrogen dioxide forms dinitrogen tetroxide according to this equation:
38.3K
What is Gene Expression?01:42

What is Gene Expression?

Overview
Gene expression is the process in which DNA directs the synthesis of functional products, that is, proteins. Cells can regulate gene expression at various stages. It allows organisms to generate different cell types and enables cells to adapt to internal and external factors.
Genetic Information Flows from DNA to RNA to Protein
A gene is a stretch of DNA that serves as the blueprint for functional RNAs and proteins. Since DNA is made up of nucleotides and proteins consist of amino...
197.1K
Calculating Standard Free Energy Changes02:49

Calculating Standard Free Energy Changes

The free energy change for a reaction that occurs under the standard conditions of 1 bar pressure and at 298 K is called the standard free energy change. Since free energy is a state function, its value depends only on the conditions of the initial and final states of the system. A convenient and common approach to the calculation of free energy changes for physical and chemical reactions is by use of widely available compilations of standard state thermodynamic data. One method involves the...
25.7K