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 *

114 related articles for article (PubMed ID: 36353683)

  • 21. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.
    Blanchette JC; Fleury M; Lammich P; Weidenbach C
    J Autom Reason; 2018; 61(1):333-365. PubMed ID: 30069073
    [TBL] [Abstract][Full Text] [Related]  

  • 22. Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications.
    Zhang J; Kang M; Li X; Liu GY
    Front Neurorobot; 2017; 11():56. PubMed ID: 29114217
    [TBL] [Abstract][Full Text] [Related]  

  • 23. Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.
    Thiemann R; Bottesch R; Divasón J; Haslbeck MW; Joosten SJC; Yamada A
    J Autom Reason; 2020; 64(5):827-856. PubMed ID: 32831440
    [TBL] [Abstract][Full Text] [Related]  

  • 24. The Cantor-Bernstein theorem: how many proofs?
    Sieg W
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180031. PubMed ID: 30966968
    [TBL] [Abstract][Full Text] [Related]  

  • 25. Hammer for Coq: Automation for Dependent Type Theory.
    Czajka Ł; Kaliszyk C
    J Autom Reason; 2018; 61(1):423-453. PubMed ID: 30069074
    [TBL] [Abstract][Full Text] [Related]  

  • 26. A framework for automated conflict detection and resolution in medical guidelines.
    Bowles J; Caminati MB; Cha S; Mendoza J
    Sci Comput Program; 2019 Aug; 182():42-63. PubMed ID: 32029957
    [TBL] [Abstract][Full Text] [Related]  

  • 27. Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs.
    Schlaipfer M; Weissenbacher G
    J Autom Reason; 2016; 57(1):3-36. PubMed ID: 30174360
    [TBL] [Abstract][Full Text] [Related]  

  • 28. A formal proof and simple explanation of the QuickXplain algorithm.
    Rodler P
    Artif Intell Rev; 2022; 55(8):6185-6206. PubMed ID: 36337611
    [TBL] [Abstract][Full Text] [Related]  

  • 29. The challenge of computer mathematics.
    Barendregt H; Wiedijk F
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2351-73; discussion 2374-5. PubMed ID: 16188610
    [TBL] [Abstract][Full Text] [Related]  

  • 30. Formalizing biomedical concepts from textual definitions.
    Petrova A; Ma Y; Tsatsaronis G; Kissa M; Distel F; Baader F; Schroeder M
    J Biomed Semantics; 2015; 6():22. PubMed ID: 25949785
    [TBL] [Abstract][Full Text] [Related]  

  • 31. What is a proof?
    Bundy A; Jamnik M; Fugard A
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2377-88; discussion 2388-91. PubMed ID: 16188611
    [TBL] [Abstract][Full Text] [Related]  

  • 32. A Formal C Memory Model for Separation Logic.
    Krebbers R
    J Autom Reason; 2016; 57(4):319-387. PubMed ID: 30174361
    [TBL] [Abstract][Full Text] [Related]  

  • 33. A Formalization of SQL with Nulls.
    Ricciotti W; Cheney J
    J Autom Reason; 2022; 66(4):989-1030. PubMed ID: 36353685
    [TBL] [Abstract][Full Text] [Related]  

  • 34. Milk urea nitrogen concentration is higher in Brown Swiss than in Holstein dairy cows despite identical feeding.
    Kessler EC; Bruckmaier RM; Gross JJ
    J Anim Physiol Anim Nutr (Berl); 2020 Nov; 104(6):1671-1677. PubMed ID: 32588951
    [TBL] [Abstract][Full Text] [Related]  

  • 35. Description logic-based methods for auditing frame-based medical terminological systems.
    Cornet R; Abu-Hanna A
    Artif Intell Med; 2005 Jul; 34(3):201-17. PubMed ID: 15994071
    [TBL] [Abstract][Full Text] [Related]  

  • 36. Proof Complexity of Modal Resolution.
    Sigley S; Beyersdorff O
    J Autom Reason; 2022; 66(1):1-41. PubMed ID: 35068630
    [TBL] [Abstract][Full Text] [Related]  

  • 37. A tobacco smoke-derived nitrosamine, 4-(methylnitrosamino)-1-(3-pyridyl)-1-butanone, is activated by multiple human cytochrome P450s including the polymorphic human cytochrome P4502D6.
    Crespi CL; Penman BW; Gelboin HV; Gonzalez FJ
    Carcinogenesis; 1991 Jul; 12(7):1197-201. PubMed ID: 2070484
    [TBL] [Abstract][Full Text] [Related]  

  • 38. Serum indirect bilirubin levels and meconium passage in early fed normal newborns.
    Boyer DB; Vidyasagar D
    Nurs Res; 1987; 36(3):174-8. PubMed ID: 3646618
    [TBL] [Abstract][Full Text] [Related]  

  • 39. Inter-subject pattern analysis for multivariate group analysis of functional neuroimaging. A unifying formalization.
    Wang Q; Artières T; Takerkart S
    Comput Methods Programs Biomed; 2020 Dec; 197():105730. PubMed ID: 32987228
    [TBL] [Abstract][Full Text] [Related]  

  • 40. Body growth of replacement dairy heifers from 3 distinct genetic groups from commercial Brazilian dairy herds.
    Busanello M; Sousa DG; Poczynek M; de Almeida R; Bittar CMM; Mendonça FAC; Lanna DPD
    J Dairy Sci; 2022 Apr; 105(4):3222-3233. PubMed ID: 35151478
    [TBL] [Abstract][Full Text] [Related]  

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