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 *

83 related articles for article (PubMed ID: 26900259)

  • 1. Under-approximating loops in C programs for fast counterexample detection.
    Kroening D; Lewis M; Weissenbacher G
    Form Methods Syst Des; 2015; 47():75-92. PubMed ID: 26900259
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems.
    Liu Y; Ma Y; Yang Y; Zheng T
    Micromachines (Basel); 2021 Aug; 12(9):. PubMed ID: 34577703
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Inference suppression and semantic memory retrieval: every counterexample counts.
    De Neys W; Schaeken W; d'Ydewalle G
    Mem Cognit; 2003 Jun; 31(4):581-95. PubMed ID: 12872874
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications.
    Błądek I; Krawiec K; Swan J
    Evol Comput; 2018; 26(3):441-469. PubMed ID: 29786460
    [TBL] [Abstract][Full Text] [Related]  

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

  • 6. Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration.
    Cattaruzza D; Abate A; Schrammel P; Kroening D
    J Autom Reason; 2021; 65(2):157-203. PubMed ID: 33678930
    [TBL] [Abstract][Full Text] [Related]  

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

  • 8. Extreme cognitions are associated with diminished ability to use disconfirming evidence.
    Haigh M; Dodd AL
    Psychol Psychother; 2017 Mar; 90(1):70-83. PubMed ID: 27240102
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Fast computation of far-field pulse-echo PSF of arbitrary arrays for large sparse 2-D ultrasound array design.
    Li Z; Chi C
    Ultrasonics; 2018 Mar; 84():63-73. PubMed ID: 29078097
    [TBL] [Abstract][Full Text] [Related]  

  • 10. A Case Study of Performance Degradation Attributable to Run-Time Bounds Checks on C++ Vector Access.
    Flater D; Guthrie WF
    J Res Natl Inst Stand Technol; 2013; 118():260-79. PubMed ID: 26401432
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Counterexamples in sentential reasoning.
    Johnson-Laird PN; Hasson U
    Mem Cognit; 2003 Oct; 31(7):1105-13. PubMed ID: 14704025
    [TBL] [Abstract][Full Text] [Related]  

  • 12. An optimal algorithm for automatic genotype elimination.
    O'Connell JR; Weeks DE
    Am J Hum Genet; 1999 Dec; 65(6):1733-40. PubMed ID: 10577928
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Loopholes and missing links in protein modeling.
    Rossi KA; Weigelt CA; Nayeem A; Krystek SR
    Protein Sci; 2007 Sep; 16(9):1999-2012. PubMed ID: 17660258
    [TBL] [Abstract][Full Text] [Related]  

  • 14. An improved parametric model for hysteresis loop approximation.
    Lapshin RV
    Rev Sci Instrum; 2020 Jun; 91(6):065106. PubMed ID: 32611047
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Approaching ultimate intrinsic signal-to-noise ratio with loop and dipole antennas.
    Lattanzi R; Wiggins GC; Zhang B; Duan Q; Brown R; Sodickson DK
    Magn Reson Med; 2018 Mar; 79(3):1789-1803. PubMed ID: 28675512
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Classical physics and quantum loops.
    Holstein BR; Donoghue JF
    Phys Rev Lett; 2004 Nov; 93(20):201602. PubMed ID: 15600910
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Developmental trends in everyday conditional reasoning: the retrieval and inhibition interplay.
    De Neys W; Everaerts D
    J Exp Child Psychol; 2008 Aug; 100(4):252-63. PubMed ID: 18430433
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Efficiently computing exact geodesic loops within finite steps.
    Xin SQ; He Y; Fu CW
    IEEE Trans Vis Comput Graph; 2012 Jun; 18(6):879-89. PubMed ID: 21690647
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Studies of DNA dumbbells. VI. Analysis of optical melting curves of dumbbells with a sixteen-base pair duplex stem and end-loops of variable size and sequence.
    Paner TM; Riccelli PV; Owczarzy R; Benight AS
    Biopolymers; 1996 Dec; 39(6):779-93. PubMed ID: 8946800
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Approximation of Loop Subdivision Surfaces for Fast Rendering.
    Guiqing Li ; Canjiang Ren ; Jiahua Zhang ; Weiyin Ma
    IEEE Trans Vis Comput Graph; 2011 Apr; 17(4):500-14. PubMed ID: 20513928
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 5.