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 *

123 related articles for article (PubMed ID: 34972543)

  • 21. An emergence of formal logic induced by an internal agent.
    Sawa K; Gunji YP
    Biosystems; 2014 Oct; 124():39-45. PubMed ID: 25192684
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 24. Network representation and analysis of energy coupling mechanisms in cellular metabolism by a graph-theoretical approach.
    Nath S
    Theory Biosci; 2022 Sep; 141(3):249-260. PubMed ID: 35499671
    [TBL] [Abstract][Full Text] [Related]  

  • 25. Analysis and characterization of asynchronous state transition graphs using extremal states.
    Lorenz T; Siebert H; Bockmayr A
    Bull Math Biol; 2013 Jun; 75(6):920-38. PubMed ID: 23081730
    [TBL] [Abstract][Full Text] [Related]  

  • 26. Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL.
    Li W; Paulson LC
    J Autom Reason; 2020; 64(2):331-360. PubMed ID: 32063661
    [TBL] [Abstract][Full Text] [Related]  

  • 27. An evaluation based theorem prover.
    Degano P; Sirovich F
    IEEE Trans Pattern Anal Mach Intell; 1985 Jan; 7(1):70-9. PubMed ID: 21869241
    [TBL] [Abstract][Full Text] [Related]  

  • 28. A Comprehensive Framework for Saturation Theorem Proving.
    Waldmann U; Tourret S; Robillard S; Blanchette J
    J Autom Reason; 2022; 66(4):499-539. PubMed ID: 36353684
    [TBL] [Abstract][Full Text] [Related]  

  • 29. Using Semantic Components to Represent Dynamics of an Interdisciplinary Healthcare Team in a Multi-Agent Decision Support System.
    Wilk S; Kezadri-Hamiaz M; Rosu D; Kuziemsky C; Michalowski W; Amyot D; Carrier M
    J Med Syst; 2016 Feb; 40(2):42. PubMed ID: 26590980
    [TBL] [Abstract][Full Text] [Related]  

  • 30. Flow graphs: interweaving dynamics and structure.
    Lambiotte R; Sinatra R; Delvenne JC; Evans TS; Barahona M; Latora V
    Phys Rev E Stat Nonlin Soft Matter Phys; 2011 Jul; 84(1 Pt 2):017102. PubMed ID: 21867345
    [TBL] [Abstract][Full Text] [Related]  

  • 31. Medical recommender systems based on continuous-valued logic and multi-criteria decision operators, using interpretable neural networks.
    Ochoa JGD; Csiszár O; Schimper T
    BMC Med Inform Decis Mak; 2021 Jun; 21(1):186. PubMed ID: 34112161
    [TBL] [Abstract][Full Text] [Related]  

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

  • 33. Weighted-Graph-Theoretic Methods for Many-Body Corrections within ONIOM: Smooth AIMD and the Role of High-Order Many-Body Terms.
    Zhang JH; Ricard TC; Haycraft C; Iyengar SS
    J Chem Theory Comput; 2021 May; 17(5):2672-2690. PubMed ID: 33891416
    [TBL] [Abstract][Full Text] [Related]  

  • 34. Probabilistic logic methods and some applications to biology and medicine.
    Sakhanenko NA; Galas DJ
    J Comput Biol; 2012 Mar; 19(3):316-36. PubMed ID: 22401592
    [TBL] [Abstract][Full Text] [Related]  

  • 35. Biomolecular theorem proving on a chip: a novel microfluidic solution to a classical logic problem.
    Lee SH; van Noort D; Yang KA; Lee IH; Zhang BT; Park TH
    Lab Chip; 2012 Apr; 12(10):1841-8. PubMed ID: 22441410
    [TBL] [Abstract][Full Text] [Related]  

  • 36. Mechatronic modeling of a 750kW fixed-speed wind energy conversion system using the Bond Graph Approach.
    Khaouch Z; Zekraoui M; Bengourram J; Kouider N; Mabrouki M
    ISA Trans; 2016 Nov; 65():418-436. PubMed ID: 27593956
    [TBL] [Abstract][Full Text] [Related]  

  • 37. Stability analysis and controller synthesis for hybrid dynamical systems.
    Heemels WP; De Schutter B; Lunze J; Lazar M
    Philos Trans A Math Phys Eng Sci; 2010 Nov; 368(1930):4937-60. PubMed ID: 20921005
    [TBL] [Abstract][Full Text] [Related]  

  • 38. Evolution: an axiomatic perspective.
    Freguglia P
    Riv Biol; 2002; 95(3):413-28. PubMed ID: 12680307
    [TBL] [Abstract][Full Text] [Related]  

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

  • 40. A Logic Programming Language for Computational Nucleic Acid Devices.
    Spaccasassi C; Lakin MR; Phillips A
    ACS Synth Biol; 2019 Jul; 8(7):1530-1547. PubMed ID: 30372611
    [TBL] [Abstract][Full Text] [Related]  

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