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

Deductive biocomputing.

Jeff Shrager1, Richard Waldinger, Mark Stickel

  • 1Department of Plant Biology, Carnegie Institution of Washington, Stanford, California, United States of America. jshrager@stanford.edu

Plos One
|April 7, 2007
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

A multi-scale cognitive interaction model of instrument operations at the Linac Coherent Light Source.

The Review of scientific instruments·2025
Same author

Virtual Trials: Causally-validated treatment effects efficiently learned from an observational cancer registry.

Artificial intelligence in medicine·2023
Same author

Is Cancer Solvable? Towards Efficient and Ethical Biomedical Science.

The Journal of law, medicine & ethics : a journal of the American Society of Law, Medicine & Ethics·2019
Same author

Prototyping a precision oncology 3.0 rapid learning platform.

BMC bioinformatics·2018
Same author

Precision medicine: Fantasy meets reality.

Science (New York, N.Y.)·2016
Same author

UNDERSTANDING NITROGEN LIMITATION IN AUREOCOCCUS ANOPHAGEFFERENS (PELAGOPHYCEAE) THROUGH cDNA AND qRT-PCR ANALYSIS(1).

Journal of phycology·2016
Same journal

Analysis of strength degradation of coal and rock masses and stability of mined areas under long term immersion environment.

PloS one·2026
Same journal

Biogenic Silver-Selenium nanocomposite with anticancer activity and potent efficacy against vancomycin-resistant Staphylococcus aureus.

PloS one·2026
Same journal

Preparation and physicochemical characterization of a biodegradable chitosan/carboxymethyl cellulose hydrogel synthesized in NaOH/urea medium.

PloS one·2026
Same journal

Action-guilt, survivor-guilt, and depression in combat-related PTSD.

PloS one·2026
Same journal

Explainable machine learning for predicting activities of daily living at discharge in stroke patients: A retrospective study using SHAP interpretability.

PloS one·2026
Same journal

Deep learning based two-way feature depiction model for brain tumor detection.

PloS one·2026
See all related articles

BioDeducta is a new platform that uses automated deduction to help biologists achieve computational goals. It combines knowledge, software, and data, providing clear explanations for biological queries.

Area of Science:

  • Computational Biology
  • Bioinformatics
  • Systems Biology

Background:

  • Biologists increasingly depend on computational tools for research.
  • Understanding the methods and data behind these tools is crucial for accurate application.
  • Computational tools need to 'understand' biology to serve user goals and explain results.

Purpose of the Study:

  • To develop a deduction-based approach for biocomputation.
  • To create a platform that integrates biological knowledge, software, and data.
  • To enable biologists to express and solve complex queries in a high-level biological language.

Main Methods:

  • Implemented an open-source, web-based platform called BioDeducta.
  • Combined SRI's SNARK theorem prover with the BioBike knowledge base.

Related Experiment Videos

  • Users express goals as high-level conjectures; a domain theory guides automated deduction.

    • Main Results:

    • BioDeducta successfully combines knowledge, software, and data for biocomputation.
    • Proofs generated by the system provide detailed provenance for computed results.
    • Demonstrated the platform's capability by replicating an analysis of cyanobacteria adaptation genes.

    Conclusions:

    • Automated deduction, guided by biological domain theory, simplifies complex biological queries.
    • This approach enhances biologists' ability to efficiently use integrated knowledge, data, and tools.
    • Steps towards more intuitive and efficient biocomputational research are achieved.