Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with

Gilles Bernot1, Jean-Paul Comet, Adrien Richard

  • 1La.M.I., Laboratoire de Méthodes Informatiques, UMR 8042, CNRS & Université d'Evry,Boulevard François Mitterrand, 91025 Evry Cedex, France. bernot@lami.univ-evry.fr

Related Concept Videos

Neural Regulation01:37

Neural Regulation

Digestion begins with a cephalic phase that prepares the digestive system to receive food. When our brain processes visual or olfactory information about food, it triggers impulses in the cranial nerves innervating the salivary glands and stomach to prepare for food.
Circadian Rhythms and Gene Regulation02:19

Circadian Rhythms and Gene Regulation

The biological clock is involved in many aspects of regulating complex physiology in all animals. It was in 1935 when German zoologists, Hans Kalmus and Erwin Bünning, discovered the existence of circadian rhythm in Drosophila melanogaster. However, the internal molecular mechanisms behind the circadian clock remained a mystery until 1984, when Jeffrey C. Hall, Michael Rosbash, and Michael W. Young discovered the expression of the Per gene oscillating over a 24-hour cycle. In subsequent years,...
Synthetic Biology02:55

Synthetic Biology

Synthetic biology is an interdisciplinary science that involves using principles from disciplines such as engineering, molecular biology, cell biology, and systems biology. It involves remodeling existing organisms from nature or constructing completely new synthetic organisms for applications such as protein or enzyme production, bioremediation, value-added macromolecule production, and the addition of desirable traits to crops, to name a few.
Golden rice
Golden rice is a genetically modified...
Regulation of Metabolism01:19

Regulation of Metabolism

Cellular needs and conditions vary from cell to cell and change within individual cells over time. For example, the required enzymes and energetic demands of stomach cells are different from those of fat storage cells, skin cells, blood cells, and nerve cells. Furthermore, a digestive cell works much harder to process and break down nutrients during the time that closely follows a meal compared with many hours after a meal. As these cellular demands and conditions vary, so do the amounts and...
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,...
Circadian Rhythms and Gene Regulation02:19

Circadian Rhythms and Gene Regulation

The biological clock is involved in many aspects of regulating complex physiology in all animals. It was in 1935 when German zoologists, Hans Kalmus and Erwin Bünning, discovered the existence of circadian rhythm in Drosophila melanogaster. However, the internal molecular mechanisms behind the circadian clock remained a mystery until 1984, when Jeffrey C. Hall, Michael Rosbash, and Michael W. Young discovered the expression of the Per gene oscillating over a 24-hour cycle. In subsequent years,...