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 *

111 related articles for article (PubMed ID: 31806925)

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

  • 22. Towards efficient verification of population protocols.
    Blondin M; Esparza J; Jaax S; Meyer PJ
    Form Methods Syst Des; 2021; 57(3):305-342. PubMed ID: 34866798
    [TBL] [Abstract][Full Text] [Related]  

  • 23. The complexity of the gapped consecutive-ones property problem for matrices of bounded maximum degree.
    Maňuch J; Patterson M
    J Comput Biol; 2011 Sep; 18(9):1243-53. PubMed ID: 21899429
    [TBL] [Abstract][Full Text] [Related]  

  • 24. Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study.
    Requeno JI; Colom JM
    J Integr Bioinform; 2014 Oct; 11(3):248. PubMed ID: 25339082
    [TBL] [Abstract][Full Text] [Related]  

  • 25. How do I update my model? On the resilience of Predictive Process Monitoring models to change.
    Rizzi W; Di Francescomarino C; Ghidini C; Maggi FM
    Knowl Inf Syst; 2022; 64(5):1385-1416. PubMed ID: 35340819
    [TBL] [Abstract][Full Text] [Related]  

  • 26. Infinite Factorial Unbounded-State Hidden Markov Model.
    Valera I; Ruiz FJ; Perez-Cruz F
    IEEE Trans Pattern Anal Mach Intell; 2016 Sep; 38(9):1816-28. PubMed ID: 26571511
    [TBL] [Abstract][Full Text] [Related]  

  • 27. Mobile Robot Networks for Environmental Monitoring: A Cooperative Receding Horizon Temporal Logic Control Approach.
    Lu Q; Han QL
    IEEE Trans Cybern; 2019 Feb; 49(2):698-711. PubMed ID: 30452384
    [TBL] [Abstract][Full Text] [Related]  

  • 28. Event dependence in U.S. executions.
    Baumgartner FR; Box-Steffensmeier JM; Campbell BW
    PLoS One; 2018; 13(1):e0190244. PubMed ID: 29293583
    [TBL] [Abstract][Full Text] [Related]  

  • 29. An algebraic model of an associative noise-like coding memory.
    Bottini S
    Biol Cybern; 1980; 36(4):221-8. PubMed ID: 7370366
    [TBL] [Abstract][Full Text] [Related]  

  • 30. Using Hadoop MapReduce for Parallel Genetic Algorithms: A Comparison of the Global, Grid and Island Models.
    Ferrucci F; Salza P; Sarro F
    Evol Comput; 2018; 26(4):535-567. PubMed ID: 28661707
    [TBL] [Abstract][Full Text] [Related]  

  • 31. Distributed sequence alignment applications for the public computing architecture.
    Pellicer S; Chen G; Chan KC; Pan Y
    IEEE Trans Nanobioscience; 2008 Mar; 7(1):35-43. PubMed ID: 18334454
    [TBL] [Abstract][Full Text] [Related]  

  • 32. Witnessing the elimination of magic wands.
    Blom S; Huisman M
    Int J Softw Tools Technol Transf; 2015; 17(6):757-781. PubMed ID: 27194940
    [TBL] [Abstract][Full Text] [Related]  

  • 33. Parameterized runtime analyses of evolutionary algorithms for the planar euclidean traveling salesperson problem.
    Sutton AM; Neumann F; Nallaperuma S
    Evol Comput; 2014; 22(4):595-628. PubMed ID: 24479542
    [TBL] [Abstract][Full Text] [Related]  

  • 34. PAC-Bayes Unleashed: Generalisation Bounds with Unbounded Losses.
    Haddouche M; Guedj B; Rivasplata O; Shawe-Taylor J
    Entropy (Basel); 2021 Oct; 23(10):. PubMed ID: 34682054
    [TBL] [Abstract][Full Text] [Related]  

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

  • 36. Strategies in unbounded number line estimation? Evidence from eye-tracking.
    Reinert RM; Huber S; Nuerk HC; Moeller K
    Cogn Process; 2015 Sep; 16 Suppl 1():359-63. PubMed ID: 26216761
    [TBL] [Abstract][Full Text] [Related]  

  • 37. Linear Temporal Logic (LTL) Based Monitoring of Smart Manufacturing Systems.
    Heddy G; Huzaifa U; Beling P; Haimes Y; Marvel J; Weiss B; LaViers A
    Proc Annu Conf Progn Health Manag Soc; 2015; 6():039. PubMed ID: 28730154
    [TBL] [Abstract][Full Text] [Related]  

  • 38. TECH-VER: A Verification Checklist to Reduce Errors in Models and Improve Their Credibility.
    Büyükkaramikli NC; Rutten-van Mölken MPMH; Severens JL; Al M
    Pharmacoeconomics; 2019 Nov; 37(11):1391-1408. PubMed ID: 31705406
    [TBL] [Abstract][Full Text] [Related]  

  • 39. Parameterized model checking of rendezvous systems.
    Aminof B; Kotek T; Rubin S; Spegni F; Veith H
    Distrib Comput; 2018; 31(3):187-222. PubMed ID: 31258231
    [TBL] [Abstract][Full Text] [Related]  

  • 40. Model Checking Temporal Logic Formulas Using Sticker Automata.
    Zhu W; Feng C; Wu H
    Biomed Res Int; 2017; 2017():7941845. PubMed ID: 29119114
    [TBL] [Abstract][Full Text] [Related]  

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