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 Experiment Videos

Using interval logic for order assembly

Z Cui1

  • 1Advanced Computation Laboratory, Imperial Cancer Research Fund, London, United Kingdom.

Proceedings. International Conference on Intelligent Systems for Molecular Biology
|January 1, 1994
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

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

Sort by
Same author

Search for Light Pseudoscalar Bosons, Pair-Produced in Higgs Boson Decays in the Four-Electron Final State in Proton-Proton Collisions at sqrt[s]=13  TeV.

Physical review letters·2026
Same author

Observation of Suppressed Charged-Particle Production in Ultrarelativistic Oxygen-Oxygen Collisions.

Physical review letters·2026
Same author

Chicory reduces enteric methane emissions and maintains milk yield but decreases milk fat content compared with perennial ryegrass in dairy cows.

Journal of dairy science·2026
Same author

Observation of tWZ Production at the CMS Experiment.

Physical review letters·2026
Same author

Evidence for the Collective Nature of Radial Flow in Pb+Pb Collisions with the ATLAS Detector.

Physical review letters·2026
Same author

A novel BRCA mutation classification system reveals differential responses to PARP inhibition and prognostic outcomes in epithelial ovarian cancer: a multicenter study.

ESMO open·2026
Same journal

Proceedings of the 8th International Conference on Intelligent Systems for Molecular Biology (ISMB 2000). San Diego, California, USA. August 19-23, 2000.

Proceedings. International Conference on Intelligent Systems for Molecular Biology·2001
Same journal

Analysis of gene expression data with pathway scores.

Proceedings. International Conference on Intelligent Systems for Molecular Biology·2000
Same journal

Towards a complete map of the protein space based on a unified sequence and structure analysis of all known proteins.

Proceedings. International Conference on Intelligent Systems for Molecular Biology·2000
Same journal

Mining for putative regulatory elements in the yeast genome using gene expression data.

Proceedings. International Conference on Intelligent Systems for Molecular Biology·2000
Same journal

A multiple alignment algorithm for metabolic pathway analysis using enzyme hierarchy.

Proceedings. International Conference on Intelligent Systems for Molecular Biology·2000
Same journal

Sequence database search using jumping alignments.

Proceedings. International Conference on Intelligent Systems for Molecular Biology·2000
See all related articles

This study introduces a new spatial-temporal logic to overcome limitations in genome mapping. The proposed formalism integrates metric, orientation, and uncertainty information for enhanced genetic data representation and querying.

Area of Science:

  • Bioinformatics
  • Computational Biology
  • Genomics

Background:

  • Temporal logic, specifically interval logic, has been applied to genome mapping.
  • Existing interval logic has limitations in representing complex genomic information like partial order, distance, and local orientation.

Purpose of the Study:

  • To propose an integrated spatial-temporal logic formalism for genome mapping.
  • To develop a deductive and object-oriented data model for genetic databases based on this formalism.
  • To provide a formal basis for a declarative query language for genetic data.

Main Methods:

  • Development of an integrated spatial-temporal logic merging metric information, local orientation, and uncertainty.
  • Design of a deductive and object-oriented data model for genetic databases.

Related Experiment Videos

  • Definition of inference rules for the genetic deductive database.

    • Main Results:

    • The proposed formalism effectively integrates spatial and temporal aspects with metric information, local orientation, and uncertainty.
    • The deductive and object-oriented data model supports hierarchical representation of genetic data (unordered, partially ordered, completely ordered).
    • The formalism provides a foundation for a declarative query language.

    Conclusions:

    • The integrated spatial-temporal logic formalism enhances the representation of complex genomic information.
    • The developed data model and inference rules facilitate advanced genetic data management and querying.
    • This work offers a formal basis for more expressive genetic databases and query languages.