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.
123 related articles for article (PubMed ID: 34972543)
41. Introduction to Formal Graphs, a new approach to the classical formalism. Vieil E Phys Chem Chem Phys; 2007 Aug; 9(29):3877-96. PubMed ID: 17637980 [TBL] [Abstract][Full Text] [Related]
42. Bond Graph Modeling of Chemiosmotic Biomolecular Energy Transduction. Gawthrop PJ IEEE Trans Nanobioscience; 2017 Apr; 16(3):177-188. PubMed ID: 28252411 [TBL] [Abstract][Full Text] [Related]
43. 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]
44. Diagnostics and a qualitative model. Druzovec M; Welzer T; Colnaric M; Gyorkos J Int J Med Inform; 2001 Sep; 63(1-2):51-60. PubMed ID: 11518665 [TBL] [Abstract][Full Text] [Related]
45. Combining Higher-Order Logic with Set Theory Formalizations. Kaliszyk C; Pąk K J Autom Reason; 2023; 67(2):20. PubMed ID: 37252035 [TBL] [Abstract][Full Text] [Related]
46. The logic of forensic pathology opinion. de Boer HH; Fronczek J; Berger CEH; Sjerps M Int J Legal Med; 2022 Jul; 136(4):1027-1036. PubMed ID: 34988615 [TBL] [Abstract][Full Text] [Related]
47. Computation as an emergent feature of adaptive synchronization. Zanin M; Papo D; Sendiña-Nadal I; Boccaletti S Phys Rev E Stat Nonlin Soft Matter Phys; 2011 Dec; 84(6 Pt 1):060102. PubMed ID: 22304028 [TBL] [Abstract][Full Text] [Related]
49. Graph-Theoretic Analysis of Belief System Dynamics under Logic Constraints. Nedić A; Olshevsky A; Uribe CA Sci Rep; 2019 Jun; 9(1):8843. PubMed ID: 31221988 [TBL] [Abstract][Full Text] [Related]
50. 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]
51. Special section on biomimetics of movement. Carpi F; Erb R; Jeronimidis G Bioinspir Biomim; 2011 Dec; 6(4):040201. PubMed ID: 22128305 [TBL] [Abstract][Full Text] [Related]
52. Bond graph modeling and validation of an energy regenerative system for emulsion pump tests. Li Y; Zhu Z; Chen G ScientificWorldJournal; 2014; 2014():289839. PubMed ID: 24967428 [TBL] [Abstract][Full Text] [Related]
53. Model Rejection and Parameter Reduction via Time Series. Cummins B; Gedeon T; Harker S; Mischaikow K SIAM J Appl Dyn Syst; 2018; 17(2):1589-1616. PubMed ID: 31762711 [TBL] [Abstract][Full Text] [Related]
54. A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. Divasón J; Joosten SJC; Thiemann R; Yamada A J Autom Reason; 2020; 64(4):699-735. PubMed ID: 32269396 [TBL] [Abstract][Full Text] [Related]
55. Energy-based analysis of biochemical cycles using bond graphs. Gawthrop PJ; Crampin EJ Proc Math Phys Eng Sci; 2014 Nov; 470(2171):20140459. PubMed ID: 25383030 [TBL] [Abstract][Full Text] [Related]
56. On the limit value of compactness of some graph classes. Lokot T; Mehler A; Abramov O PLoS One; 2018; 13(11):e0207536. PubMed ID: 30458027 [TBL] [Abstract][Full Text] [Related]
57. Network thermodynamics of biological systems: A bond graph approach. Gawthrop PJ; Pan M Math Biosci; 2022 Oct; 352():108899. PubMed ID: 36057321 [TBL] [Abstract][Full Text] [Related]
58. Comprehensive mitigation framework for concurrent application of multiple clinical practice guidelines. Wilk S; Michalowski M; Michalowski W; Rosu D; Carrier M; Kezadri-Hamiaz M J Biomed Inform; 2017 Feb; 66():52-71. PubMed ID: 27939413 [TBL] [Abstract][Full Text] [Related]
59. Model-based fault diagnosis in continuous dynamic systems. Lo CH; Wong YK; Rad AB ISA Trans; 2004 Jul; 43(3):459-75. PubMed ID: 15272799 [TBL] [Abstract][Full Text] [Related]
60. Formal verification of software-based medical devices considering medical guidelines. Daw Z; Cleaveland R; Vetter M Int J Comput Assist Radiol Surg; 2014 Jan; 9(1):145-53. PubMed ID: 23824830 [TBL] [Abstract][Full Text] [Related] [Previous] [Next] [New Search]