These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

116 related articles for article (PubMed ID: 36186273)

  • 1. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020.
    Biere A; Parker D
    Int J Softw Tools Technol Transf; 2022; 24(5):663-665. PubMed ID: 36186273
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
    Farrell M; Mavrakis N; Ferrando A; Dixon C; Gao Y
    Front Robot AI; 2021; 8():639282. PubMed ID: 35155585
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Industrial hardware and software verification with ACL2.
    Hunt WA; Kaufmann M; Moore JS; Slobodova A
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871049
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Runtime verification in uncertain environment based on probabilistic model learning.
    Zhou G; Yang C; Lu P; Chen X
    Math Biosci Eng; 2022 Sep; 19(12):13607-13627. PubMed ID: 36654060
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Macromolecular crowding: chemistry and physics meet biology (Ascona, Switzerland, 10-14 June 2012).
    Foffi G; Pastore A; Piazza F; Temussi PA
    Phys Biol; 2013 Aug; 10(4):040301. PubMed ID: 23912807
    [TBL] [Abstract][Full Text] [Related]  

  • 6. A formal analysis method for composition protocol based on model checking.
    Xiao M; Zhao H; Yang K; Ouyang R; Song W
    Sci Rep; 2022 May; 12(1):8493. PubMed ID: 35595820
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Computational Modeling, Formal Analysis, and Tools for Systems Biology.
    Bartocci E; Lió P
    PLoS Comput Biol; 2016 Jan; 12(1):e1004591. PubMed ID: 26795950
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.
    Foughali M; Zuepke A
    Front Robot AI; 2022; 9():791757. PubMed ID: 35494538
    [TBL] [Abstract][Full Text] [Related]  

  • 9. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
    Monteiro PT; Dumas E; Besson B; Mateescu R; Page M; Freitas AT; de Jong H
    BMC Bioinformatics; 2009 Dec; 10():450. PubMed ID: 20042075
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Model checking: recent improvements and applications.
    Bošnački D; Wijs A
    Int J Softw Tools Technol Transf; 2018; 20(5):493-497. PubMed ID: 30956545
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Focus issue on surface plasmon photonics introduction.
    Berini P; Bouhelier A; Garcia de Abajo J; Park N
    Opt Express; 2013 Nov; 21(22):27286-90. PubMed ID: 24216952
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Automatic selection of verification tools for efficient analysis of biochemical models.
    Bakir ME; Konur S; Gheorghe M; Krasnogor N; Stannett M
    Bioinformatics; 2018 Sep; 34(18):3187-3195. PubMed ID: 29688313
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Temporal logics for phylogenetic analysis via model checking.
    Requeno JI; Casado Gde M; Blanco R; Colom JM
    IEEE/ACM Trans Comput Biol Bioinform; 2013; 10(4):1058-70. PubMed ID: 24334397
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets.
    Majma N; Babamir SM; Monadjemi A
    J Med Syst; 2017 Feb; 41(2):27. PubMed ID: 28005249
    [TBL] [Abstract][Full Text] [Related]  

  • 15. SBML-SAT: a systems biology markup language (SBML) based sensitivity analysis tool.
    Zi Z; Zheng Y; Rundell AE; Klipp E
    BMC Bioinformatics; 2008 Aug; 9():342. PubMed ID: 18706080
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Formal verification of Matrix based MATLAB models using interactive theorem proving.
    Gauhar A; Rashid A; Hasan O; Bispo J; Cardoso JMP
    PeerJ Comput Sci; 2021; 7():e440. PubMed ID: 33834107
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Model checking software for phylogenetic trees using distribution and database methods.
    Requeno JI; Colom JM
    J Integr Bioinform; 2013 Nov; 10(3):229. PubMed ID: 24231143
    [TBL] [Abstract][Full Text] [Related]  

  • 18. A comparative runtime analysis of heuristic algorithms for satisfiability problems.
    Zhou Y; He J; Nie Q
    Artif Intell; 2009 Feb; 173(2):240-257. PubMed ID: 20126510
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices.
    Gaglio S; Lo Re G; Martorella G; Peri D
    Sensors (Basel); 2020 Dec; 21(1):. PubMed ID: 33375337
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Position paper: the science of deep specification.
    Appel AW; Beringer L; Chlipala A; Pierce BC; Shao Z; Weirich S; Zdancewic S
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871056
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.