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 *

103 related articles for article (PubMed ID: 34720800)

  • 1. Mutation testing with hyperproperties.
    Fellner A; Tabaei Befrouei M; Weissenbacher G
    Softw Syst Model; 2021; 20(2):405-427. PubMed ID: 34720800
    [TBL] [Abstract][Full Text] [Related]  

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

  • 3. Visual Analysis of Hyperproperties for Understanding Model Checking Results.
    Horak T; Coenen N; Metzger N; Hahn C; Flemisch T; Mendez J; Dimov D; Finkbeiner B; Dachselt R
    IEEE Trans Vis Comput Graph; 2022 Jan; 28(1):357-367. PubMed ID: 34587083
    [TBL] [Abstract][Full Text] [Related]  

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

  • 5. Para
    Konnov I; Lazić M; Veith H; Widder J
    Form Methods Syst Des; 2017; 51(2):270-307. PubMed ID: 32009739
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Creation of mutants by using centrality criteria in social network analysis.
    Takan S
    PeerJ Comput Sci; 2020; 6():e293. PubMed ID: 33816944
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Searching and generating test inputs for mutation testing.
    Papadakis M; Malevris N
    Springerplus; 2013 Dec; 2(1):121. PubMed ID: 23607084
    [TBL] [Abstract][Full Text] [Related]  

  • 8. SMT-based verification of program changes through summary repair.
    Asadi S; Blicha M; Hyvärinen AEJ; Fedyukovich G; Sharygina N
    Form Methods Syst Des; 2022; 60(3):350-380. PubMed ID: 37829793
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 11. Suicide vectors for antibiotic marker exchange and rapid generation of multiple knockout mutants by allelic exchange in Gram-negative bacteria.
    Ortiz-Martín I; Macho AP; Lambersten L; Ramos C; Beuzón CR
    J Microbiol Methods; 2006 Dec; 67(3):395-407. PubMed ID: 16750581
    [TBL] [Abstract][Full Text] [Related]  

  • 12. An Analysis of Deterministic Chaos as an Entropy Source for Random Number Generators.
    Demir K; Ergün S
    Entropy (Basel); 2018 Dec; 20(12):. PubMed ID: 33266681
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Marijuana in the Workplace: Guidance for Occupational Health Professionals and Employers: Joint Guidance Statement of the American Association of Occupational Health Nurses and the American College of Occupational and Environmental Medicine.
    Phillips JA; Holland MG; Baldwin DD; Gifford-Meuleveld L; Mueller KL; Perkison B; Upfal M; Dreger M
    Workplace Health Saf; 2015 Apr; 63(4):139-64. PubMed ID: 25862727
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Loss of Antibiotic Tolerance in Sod-Deficient Mutants Is Dependent on the Energy Source and Arginine Catabolism in Enterococci.
    Ladjouzi R; Bizzini A; van Schaik W; Zhang X; Rincé A; Benachour A; Hartke A
    J Bacteriol; 2015 Oct; 197(20):3283-93. PubMed ID: 26260456
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Generating Phenotypical Erroneous Human Behavior to Evaluate Human-automation Interaction Using Model Checking.
    Bolton ML; Bass EJ; Siminiceanu RI
    Int J Hum Comput Stud; 2012 Nov; 70(11):888-906. PubMed ID: 23105914
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Declarative modeling of a neurulation-like process.
    Spicher A; Michel O
    Biosystems; 2007 Feb; 87(2-3):281-8. PubMed ID: 17084961
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Robust mutant strain design by pessimistic optimization.
    Apaydin M; Xu L; Zeng B; Qian X
    BMC Genomics; 2017 Oct; 18(Suppl 6):677. PubMed ID: 28984191
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Universal Verification Methodology Based Register Test Automation Flow.
    Woo JH; Cho YK; Park SK
    J Nanosci Nanotechnol; 2016 May; 16(5):5316-9. PubMed ID: 27483924
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Basins of Attraction, Commitment Sets, and Phenotypes of Boolean Networks.
    Klarner H; Heinitz F; Nee S; Siebert H
    IEEE/ACM Trans Comput Biol Bioinform; 2020; 17(4):1115-1124. PubMed ID: 30575543
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Rapid mutation of Spirulina platensis by a new mutagenesis system of atmospheric and room temperature plasmas (ARTP) and generation of a mutant library with diverse phenotypes.
    Fang M; Jin L; Zhang C; Tan Y; Jiang P; Ge N; Heping Li ; Xing X
    PLoS One; 2013; 8(10):e77046. PubMed ID: 24319517
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.