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

In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel

Gabriel Vilallonga, Daniel Riesco, Antonio-Carlos G de Almeida

    IEEE/ACM Transactions on Computational Biology and Bioinformatics
    |October 5, 2020
    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

    Planetary health: Real challenges for elderly population.

    Clinics (Sao Paulo, Brazil)·2026
    Same author

    Neurogenesis and pesticides: news of no new neurons.

    Arquivos de neuro-psiquiatria·2024
    Same author

    Pesticide residues in food linked to sleep problems in adolescents.

    Sleep medicine·2024
    Same author

    Statin therapy in Parkinson's disease cuts mortality.

    Parkinsonism & related disorders·2024
    Same author

    Keep your eyes healthy: eat organic food.

    Nutrition reviews·2024
    Same author

    Hypertension: the dramatic rise in dangerous pesticides found on fruits and vegetables.

    Journal of hypertension·2024
    Same journal

    circ2DGNN: circRNA-Disease Association Prediction via Transformer-Based Graph Neural Network.

    IEEE/ACM transactions on computational biology and bioinformatics·2024
    Same journal

    Hierarchical Hypergraph Learning in Association- Weighted Heterogeneous Network for miRNA- Disease Association Identification.

    IEEE/ACM transactions on computational biology and bioinformatics·2024
    Same journal

    Discriminative Domain Adaption Network for Simultaneously Removing Batch Effects and Annotating Cell Types in Single-Cell RNA-Seq.

    IEEE/ACM transactions on computational biology and bioinformatics·2024
    Same journal

    MLW-BFECF: A Multi-Weighted Dynamic Cascade Forest Based on Bilinear Feature Extraction for Predicting the Stage of Kidney Renal Clear Cell Carcinoma on Multi-Modal Gene Data.

    IEEE/ACM transactions on computational biology and bioinformatics·2024
    Same journal

    An End-to-End Knowledge Graph Fused Graph Neural Network for Accurate Protein-Protein Interactions Prediction.

    IEEE/ACM transactions on computational biology and bioinformatics·2024
    Same journal

    Generative Biomedical Event Extraction With Constrained Decoding Strategy.

    IEEE/ACM transactions on computational biology and bioinformatics·2024
    See all related articles

    This study introduces a new computational method using UPPAAL-SMC to model complex biological systems and explore rare events. This approach enhances the study of Palytoxin-induced Na+/K+ pump channels and reduces research time.

    Area of Science:

    • Computational Biology
    • Systems Biology
    • Biophysics

    Background:

    • Studying biological systems, especially rare events, is challenging with traditional methods.
    • Existing computer simulations often fail to capture critical but infrequent biological occurrences.

    Purpose of the Study:

    • To develop and apply a novel methodology for modeling biological systems using formal verification.
    • To enable the exploration of rare events and conditions in biological models through controlled simulations.
    • To efficiently reproduce laboratory experiments in silico for detailed analysis.

    Main Methods:

    • Utilized UPPAAL-SMC, a formal verification tool, for modeling biological systems.
    • Developed a methodology to specify and analyze rare events using temporal logic formulas.

    Related Experiment Videos

  • Successfully reproduced experimental protocols and electrophysiological recordings in silico.

    • Main Results:

    • Created a highly detailed model of Palytoxin-induced Na+/K+ pump channels.
    • Proposed a novel diprotomeric model for the Palytoxin-pump complex.
    • Demonstrated the ability to guide simulations to explore specific biological events and conditions.

    Conclusions:

    • The developed methodology significantly reduces research effort and time for complex biological systems.
    • This approach offers a powerful tool for analyzing rare events and improving the productivity of biological research.
    • The method is applicable to a wide range of complex biological system modeling and analysis tasks.