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 *

141 related articles for article (PubMed ID: 32310952)

  • 41. Evaluation of properties over phylogenetic trees using stochastic logics.
    Requeno JI; Colom JM
    BMC Bioinformatics; 2016 Jun; 17(1):235. PubMed ID: 27301397
    [TBL] [Abstract][Full Text] [Related]  

  • 42. Monitoring hyperproperties.
    Finkbeiner B; Hahn C; Stenger M; Tentrup L
    Form Methods Syst Des; 2019; 54(3):336-363. PubMed ID: 31806925
    [TBL] [Abstract][Full Text] [Related]  

  • 43. Logical properties of foundational relations in bio-ontologies.
    Bittner T; Donnelly M
    Artif Intell Med; 2007 Mar; 39(3):197-216. PubMed ID: 17428644
    [TBL] [Abstract][Full Text] [Related]  

  • 44. starMC: an automata based CTL* model checker.
    Amparore EG; Donatelli S; Gallà F
    PeerJ Comput Sci; 2022; 8():e823. PubMed ID: 35494878
    [TBL] [Abstract][Full Text] [Related]  

  • 45. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.
    Pârvu O; Gilbert D
    PLoS One; 2016; 11(5):e0154847. PubMed ID: 27187178
    [TBL] [Abstract][Full Text] [Related]  

  • 46. BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge.
    Calzone L; Fages F; Soliman S
    Bioinformatics; 2006 Jul; 22(14):1805-7. PubMed ID: 16672256
    [TBL] [Abstract][Full Text] [Related]  

  • 47. 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]  

  • 48. A new approach to knowledge-based design of recurrent neural networks.
    Kolman E; Margaliot M
    IEEE Trans Neural Netw; 2008 Aug; 19(8):1389-401. PubMed ID: 18701369
    [TBL] [Abstract][Full Text] [Related]  

  • 49. 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]  

  • 50. Compositional RL Agents That Follow Language Commands in Temporal Logic.
    Kuo YL; Katz B; Barbu A
    Front Robot AI; 2021; 8():689550. PubMed ID: 34350213
    [TBL] [Abstract][Full Text] [Related]  

  • 51. Multiscale Modelling Tool: Mathematical modelling of collective behaviour without the maths.
    Marshall JAR; Reina A; Bose T
    PLoS One; 2019; 14(9):e0222906. PubMed ID: 31568526
    [TBL] [Abstract][Full Text] [Related]  

  • 52. Improving the development of event-driven control systems in the batch processing industry. A case study.
    Sanchez A; Rotstein G; Alsop N; Bromberg JP; Gollain C; Sorensen S; Macchietto S; Jakeman C
    ISA Trans; 2002 Jul; 41(3):343-63. PubMed ID: 12160348
    [TBL] [Abstract][Full Text] [Related]  

  • 53. Selective dissemination and indexing of scientific information.
    Schneider JH
    Science; 1971 Jul; 173(3994):300-8. PubMed ID: 5559903
    [TBL] [Abstract][Full Text] [Related]  

  • 54. Some formal approaches to the analysis of kinetic data in terms of linear compartmental systems.
    BERMAN M; WEISS MF; SHAHN E
    Biophys J; 1962 May; 2(3):289-316. PubMed ID: 13867976
    [TBL] [Abstract][Full Text] [Related]  

  • 55. Synthesis from hyperproperties.
    Finkbeiner B; Hahn C; Lukert P; Stenger M; Tentrup L
    Acta Inform; 2020; 57(1):137-163. PubMed ID: 32189717
    [TBL] [Abstract][Full Text] [Related]  

  • 56. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.
    Grobelna I; Szcześniak P
    Sensors (Basel); 2022 Sep; 22(18):. PubMed ID: 36146285
    [TBL] [Abstract][Full Text] [Related]  

  • 57. An end-to-end workflow for engineering of biological networks from high-level specifications.
    Beal J; Weiss R; Densmore D; Adler A; Appleton E; Babb J; Bhatia S; Davidsohn N; Haddock T; Loyall J; Schantz R; Vasilev V; Yaman F
    ACS Synth Biol; 2012 Aug; 1(8):317-31. PubMed ID: 23651286
    [TBL] [Abstract][Full Text] [Related]  

  • 58. 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]  

  • 59. A formal methods approach to interpretable reinforcement learning for robotic planning.
    Li X; Serlin Z; Yang G; Belta C
    Sci Robot; 2019 Dec; 4(37):. PubMed ID: 33137718
    [TBL] [Abstract][Full Text] [Related]  

  • 60. Development and use of analytical quality specifications in the in vitro diagnostics medical device industry.
    Powers DM; Greenberg N
    Scand J Clin Lab Invest; 1999 Nov; 59(7):539-43. PubMed ID: 10667695
    [TBL] [Abstract][Full Text] [Related]  

    [Previous]   [Next]    [New Search]
    of 8.