Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Synthetic Biology

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...

Introduction to Language of Pathophysiology l

Introduction to Language of Pathophysiology l

Pathophysiology investigates how biological mechanisms—typically starting at the cellular level—disrupt normal bodily functions. It bridges anatomy and physiology to explain the progression of disease. With this foundation, it is important to understand the following key terms used to describe disease processes: Diagnosis:The process of identifying a disease using clinical evaluation, including signs (objective evidence like rashes), symptoms (subjective experiences like pain), laboratory test...

FISH - Fluorescent In-situ Hybridization

FISH - Fluorescent In-situ Hybridization

Fluorescence in situ hybridization, or FISH, was developed in the early 1980s and has quickly become one of the most widely used techniques in cytogenetics. Labeled probes are used to bind complementary DNA or RNA sequences on a chromosome or in a region within a cell. Earlier, the probes could only be obtained by cloning or reverse transcription of a DNA template. Currently, the probe oligonucleotides can be synthesized synthetically. Additionally, with the advancement of optical techniques,...

Immunofluorescence Microscopy

Immunofluorescence Microscopy

A fluorescence microscope uses fluorescent chromophores called fluorochromes, which can absorb energy from a light source and then emit this energy as visible light. Fluorochromes include naturally fluorescent substances (such as chlorophylls) and fluorescent stains that are added to the specimen to create contrast. Dyes such as Texas red and FITC are examples of fluorochromes. Other examples include the nucleic acid dyes 4’,6’-diamidino-2-phenylindole (DAPI), and acridine orange.
The...

You might also read

Related Articles

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

Sort by

Same author

Introduction.

International journal of neural systems·2025

Same author

A Federated Learning Protocol for Spiking Neural Membrane Systems.

International journal of neural systems·2024

Same author

Verifiable biology.

Journal of the Royal Society, Interface·2023

Same author

Toward Full-Stack <i>In Silico</i> Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation.

ACS synthetic biology·2021

Same author

Introduction.

International journal of neural systems·2021

Same author

Automatic selection of verification tools for efficient analysis of biochemical models.

Bioinformatics (Oxford, England)·2018

Search research articles

Related Experiment Video

Updated: Jul 3, 2026

Formaldehyde-assisted Isolation of Regulatory Elements to Measure Chromatin Accessibility in Mammalian Cells

Formaldehyde-assisted Isolation of Regulatory Elements to Measure Chromatin Accessibility in Mammalian Cells

Published on: April 2, 2018

A formal language-based approach in biology.

Marian Gheorghe¹, Victor Mitrana

¹Department of Computer Science, University of Sheffield, Sheffield S1 4DP, UK. m.gheorghe@dcs.shef.ac.uk

Comparative and Functional Genomics

|July 17, 2008

Summary

This study explores computational biology and natural computing using formal language theory. It provides an overview of these advanced computational methods.

Area of Science:

Computational Biology
Formal Language Theory
Natural Computing

Background:

Formal language theory provides a robust framework for understanding complex biological systems.
Natural computing models offer alternative paradigms inspired by biological processes.

Purpose of the Study:

To present a comprehensive overview of computational biology methodologies.
To survey various natural computing models.
To highlight the application of formal language-based approaches in both fields.

Main Methods:

Literature review of computational biology techniques.
Analysis of formal language applications in computational biology.
Survey of natural computing models, including automata theory and grammar systems.

More Related Videos

Functional Complementation Analysis (FCA): A Laboratory Exercise Designed and Implemented to Supplement the Teaching of Biochemical Pathways

Functional Complementation Analysis (FCA): A Laboratory Exercise Designed and Implemented to Supplement the Teaching of Biochemical Pathways

Published on: June 24, 2016

Simple Elimination of Background Fluorescence in Formalin-Fixed Human Brain Tissue for Immunofluorescence Microscopy

Simple Elimination of Background Fluorescence in Formalin-Fixed Human Brain Tissue for Immunofluorescence Microscopy

Published on: September 3, 2017

Related Experiment Videos

Last Updated: Jul 3, 2026

Formaldehyde-assisted Isolation of Regulatory Elements to Measure Chromatin Accessibility in Mammalian Cells

Formaldehyde-assisted Isolation of Regulatory Elements to Measure Chromatin Accessibility in Mammalian Cells

Published on: April 2, 2018

Functional Complementation Analysis (FCA): A Laboratory Exercise Designed and Implemented to Supplement the Teaching of Biochemical Pathways

Functional Complementation Analysis (FCA): A Laboratory Exercise Designed and Implemented to Supplement the Teaching of Biochemical Pathways

Published on: June 24, 2016

Simple Elimination of Background Fluorescence in Formalin-Fixed Human Brain Tissue for Immunofluorescence Microscopy

Simple Elimination of Background Fluorescence in Formalin-Fixed Human Brain Tissue for Immunofluorescence Microscopy

Published on: September 3, 2017

Examination of formal language frameworks for natural computing.

Main Results:

Formal language theory is a unifying approach for diverse computational biology problems.
Natural computing models, such as DNA computing and neural networks, can be effectively described using formal languages.
The paper identifies commonalities and differences in the formal language-based approaches used in computational biology and natural computing.

Conclusions:

Formal language-based methods are essential for advancing computational biology and natural computing.
Integrating formal language theory can lead to more powerful and unified models in these fields.
This work underscores the significance of formal methods in the theoretical underpinnings of computational and biological sciences.