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

Combinatorial Gene Control02:33

Combinatorial Gene Control

9.7K
Combinatorial gene control is the synergistic action of several transcriptional factors to regulate the expression of a single gene. The absence of one or more of these factors may lead to a significant difference in the level of gene expression or repression.
The expression of more than 30,000 genes is controlled by approximately 2000-3000 transcription factors. This is possible because a single transcription factor can recognize more than one regulatory sequence. The specificity in gene...
9.7K
Conservative Site-specific Recombination and Phase Variation02:53

Conservative Site-specific Recombination and Phase Variation

6.9K
Because the DNA segments are cut and reorganized in a direction-specific manner, site-specific recombination has emerged as an efficient genetic engineering technique. Flippase and Cyclization recombinases or Flp and Cre, respectively, are two members of the tyrosine recombinase family derived from bacteriophages, that are used to mediate site-specific DNA insertions, deletions, and targeted expression of proteins in mammalian cell lines.
The recognition sites for Cre recombinase called LoxP...
6.9K
What is Genetic Engineering?00:49

What is Genetic Engineering?

80.5K
Overview
80.5K
Gene Conversion02:08

Gene Conversion

10.7K
Other than maintaining genome stability via DNA repair, homologous recombination plays an important role in diversifying the genome. In fact, the recombination of sequences forms the molecular basis of genomic evolution. Random and non-random permutations of genomic sequences create a library of new amalgamated sequences. These newly formed genomes can determine the fitness and survival of cells. In bacteria, homologous and non-homologous types of recombination lead to the evolution of new...
10.7K
Synthetic Biology02:55

Synthetic Biology

5.6K
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...
5.6K
Homologous Recombination02:31

Homologous Recombination

6.9K
6.9K

You might also read

Related Articles

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

Sort by
Same author

Promoting contraceptive use among unmarried female migrants in one factory in Shanghai: a pilot workplace intervention.

BMC health services research·2007
Same author

Apoptosis related protein 3, an ATRA-upregulated membrane protein arrests the cell cycle at G1/S phase by decreasing the expression of cyclin D1.

Biochemical and biophysical research communications·2007
Same author

Efficient one-pot synthesis of highly substituted pyridin-2(1H)-ones via the Vilsmeier-Haack reaction of 1-acetyl,1-carbamoyl cyclopropanes.

Organic letters·2007
Same author

Effects of Andrographitis Paniculata extracts on the expression of CD40 in endothelial cells.

Journal of Huazhong University of Science and Technology. Medical sciences = Hua zhong ke ji da xue xue bao. Yi xue Ying De wen ban = Huazhong keji daxue xuebao. Yixue Yingdewen ban·2007
Same author

Theoretical and experimental investigations on the size of alginate microspheres prepared by dropping and spraying.

Journal of microencapsulation·2007
Same author

Beneficial effects of losartan on vascular injury induced by advanced glycosylation end products and their receptors in spontaneous hypertension rats.

Molecular and cellular biochemistry·2007

Related Experiment Video

Updated: Feb 19, 2026

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy
11:53

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

Published on: October 14, 2017

12.3K

Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications.

Jie Zhang1, Man Kang1, Xiaojuan Li2

  • 1College of Information Science and Technology, Beijing University of Chemical Technology, Beijing, China.

Frontiers in Neurorobotics
|November 9, 2017
PubMed
Summary

This study formalizes genetic algorithm crossover operations using higher-order logic for robotic safety. This ensures correctness, enabling reliable application in critical systems like path planning.

Keywords:
HOL4crossover operatorformalizationgenetic algorithmhigh order logic

More Related Videos

Designing a Bio-responsive Robot from DNA Origami
13:32

Designing a Bio-responsive Robot from DNA Origami

Published on: July 8, 2013

22.9K
Automated Robotic Liquid Handling Assembly of Modular DNA Devices
11:22

Automated Robotic Liquid Handling Assembly of Modular DNA Devices

Published on: December 1, 2017

13.0K

Related Experiment Videos

Last Updated: Feb 19, 2026

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy
11:53

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

Published on: October 14, 2017

12.3K
Designing a Bio-responsive Robot from DNA Origami
13:32

Designing a Bio-responsive Robot from DNA Origami

Published on: July 8, 2013

22.9K
Automated Robotic Liquid Handling Assembly of Modular DNA Devices
11:22

Automated Robotic Liquid Handling Assembly of Modular DNA Devices

Published on: December 1, 2017

13.0K

Area of Science:

  • Robotics
  • Computer Science
  • Formal Methods

Background:

  • Genetic algorithms are crucial for optimization in robotics.
  • Ensuring the correctness of genetic algorithms is vital for safety-critical robotic systems.
  • Crossover operations are fundamental to genetic algorithms but lack formal verification.

Purpose of the Study:

  • To formally model and verify crossover operations in genetic algorithms.
  • To provide a correctness guarantee for genetic algorithm applications in robotics.
  • To introduce a formalization technique using higher-order logic and HOL4.

Main Methods:

  • Formal modeling of genetic algorithm crossover operations using higher-order logic.
  • Implementation of the formalization within the HOL4 theorem prover.
  • Application of the formalized technique to a robotic path planning problem.

Main Results:

  • Successfully formalized genetic algorithm crossover operations with higher-order logic.
  • Demonstrated the effectiveness of the formalized operations in a path planning scenario.
  • Provided a method for correctness-guaranteed application of genetic algorithms in robotics.

Conclusions:

  • Formalizing genetic algorithm crossover operations ensures their safe use in robotic applications.
  • The HOL4-based approach offers a user-friendly and effective method for formal verification.
  • This work enables the reliable deployment of genetic algorithms in safety-critical robotic systems.