References (56 items)

This is the complete set of papers, theses, specifications, and model records cited or used as evidence in the project documents (commit e3d560e). Bibliographic details are reproduced as written in those documents, and every DOI, PMID, PMCID, and URL was mechanically checked against the repository source. Fields absent from the documents are left blank. “Access scope” records what the project actually read (for example, full text, author manuscript, or abstract only); works read only as abstracts were not used to support relation direction or mapping. Copyright remains with each author or publisher; this site includes bibliographic information and brief citations only.

Claude Sonnet 5.5 extracted this list from repository documents. Codex gpt-6.1-terra then checked 73 identifiers against the repository, finding one omission and one overstatement. The integrator rechecked both against the source text before incorporating them.

Papers, theses & reviews (45)

  1. [Boppana2023] Boppana et al.. (2023) Sci Data 10:452
    Access scope: full text (open access, CC BY 4.0 per S23 table) · Use: Cited as the basis for the current practice of using the UBERON ID first for vascular identifiers and the FMA ID when there is none, which set the anatomy node identifier rule.
    Cited in: docs/evidence_review/evidence_cards.md
  2. [BurkhoffTyberg1993] Burkhoff and Tyberg. (1993)
    Access scope: abstract only (quotation in c_sources.json is the PubMed abstract) · Use: Cited as a theoretical study in setting the limit that an experiment lowering only left-ventricular contractility must not promise pulmonary edema or a clinical heart-failure phenotype.
    Cited in: docs/c_sources.json, docs/ecosystem.md, docs/verification_protocol.md
  3. [Colunga2020] Colunga et al.. (2020) J Physiol 598:3203
    Access scope: quotations only (Wiley Scholar Gateway connector passages) · Use: Cited as an independent restatement showing what reduced derivative models of the Smith model omit and the mmHg-based unit convention.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md
  4. [S2_Cook2013] Cook, Neal, Bookstein, Gennari. (2013) Ontology of physics for biology: representing physical dependencies as a basis for biological processes. J Biomed Semantics 4:41
    Access scope: full text (PubMed/PMC and Europe PMC XML retained in docs/evidence) · Use: Supported, on the basis of the dependency classes of the OPB (Ontology of Physics for Biology), the decision to separate variable-equivalence notation and equation dependencies into different layers.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/d_sources.json
  5. [deBono2022] de Bono et al.. (2022) Front Physiol 13:795303
    Access scope: full text (open access, CC BY per S23 table) · Use: Supported the design of placing valves as compartment-boundary nodes, on the point that route nodes represent compartment boundaries at valves.
    Cited in: docs/evidence_review/evidence_cards.md
  6. [Groene2024] Gröne et al.. (2024) J Integr Bioinform 21(3)
    Access scope: full text (open access, CC BY 4.0 per S23 table) · Use: Cited as counter-evidence that the ApiNATOMY platform uses FMA, recording a limitation of the identifier rule.
    Cited in: docs/evidence_review/evidence_cards.md
  7. [Erdemir2020] Erdemir. (2020)
    Access scope: text read (PubMed) · Use: Used for the literature judgement that validation procedures are prescribed but there is no universal numerical acceptance criterion, on which the Smith 2004 RK4 value comparison was set as report-only, with no pass/fail line.
    Cited in: docs/orchestration_state.md, docs/decisions.md, docs/evidence_review/prov/smith2004_opencor_runs.ttl
  8. [S1_Gennari2011] Gennari, Neal, Galdzicki, Cook. (2011) Multiple ontologies in action: composite annotations for biosimulation models. J Biomed Inform 2011;44(1):146-154
    Access scope: full text (PubMed/PMC author manuscript); quotations only, not redistributed · Use: Used as the basis for designing the variable-semantics distinction rules and the SHACL shape rules, from the grammar of composite annotations (one OPB property and a physical-entity reference) and the limits of exact-match comparison.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/shacl/shapes_omex_v1_2.ttl
  9. [Herr2023] Herr et al.. (2023) Sci Data 10:171
    Access scope: full text (open access, CC BY 4.0 per S23 table) · Use: Cited, as current practice in which HRA anatomical structures are linked to Uberon and FMA is used when needed, in support of the identifier rule.
    Cited in: docs/evidence_review/evidence_cards.md
  10. [Hicks2015] Hicks. (2015)
    Access scope: abstract only · Use: Read as part of the simulation verification and credibility literature review, and included in the list of bases for deciding how to report the RK4 value comparison.
  11. [Imam2025] Imam et al.. (2025) Front Neuroinform 19:1541184
    Access scope: full text (open access, CC BY 4.0 per S23 table) · Use: Cited as the basis of the identifier rule, on the point that SCKAN uses UBERON as the backbone of anatomical terms and FMA as a supplement.
    Cited in: docs/evidence_review/evidence_cards.md
  12. [Jones2021] Jones et al.. (2021) J Physiol 599:4991
    Access scope: quotations only (Wiley Scholar Gateway connector passages) · Use: Cited as an independent restatement for checking parameter units (mmHg, etc.) and identifiability limits in studies derived from the Smith model.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md
  13. [Lloyd2008_PMR] Lloyd CM, Lawson JL, Hunter PJ, Nielsen PF. (2008) Bioinformatics 2008;24(18):2122-2123
    Access scope: not read (citation required by the PMR licence/citation page) · Use: Recorded as the Physiome Model Repository citation required when redistributing the Smith 2004 CellML encoding.
    Cited in: docs/physiology.md, docs/physiology_sources.json
  14. [Meng2026] Meng et al.. (2026) MedComm
    Access scope: open access quotation checked against downloaded text (CC BY) · Use: A sentence stating that “Generally” a patent foramen ovale does not cause a hemodynamically clinically significant shunt; used as the basis for keeping small heart valves and the foramen ovale only as catalogue nodes.
    Cited in: docs/evidence_review/evidence_cards.md
  15. [Mulugeta2018] Mulugeta. (2018)
    Access scope: text read (PubMed) · Use: Used for the literature judgement that validation procedures are prescribed but there is no universal numerical acceptance criterion, on which the Smith 2004 RK4 value comparison was set as report-only.
    Cited in: docs/orchestration_state.md, docs/decisions.md, docs/evidence_review/prov/smith2004_opencor_runs.ttl
  16. [Mueller2023] Müller et al.. (2023)
    Access scope: open access quotation checked against downloaded text (CC BY 4.0) · Use: Cited as a result of the survey of current closed-loop models, that the ADAVN model uses valve inertia and Bernoulli terms for all four valves.
    Cited in: docs/evidence_review/evidence_cards.md
  17. [Munarko2022] Munarko et al.. (2022) Front Physiol 13:820683
    Access scope: full text (open access, CC BY per S23 table) · Use: Cited as counter-evidence that the most common ontologies in the Physiome repository are GO, OPB, FMA, and ChEBI, recording a limitation of the identifier rule.
    Cited in: docs/evidence_review/evidence_cards.md
  18. [Nawrot2025] Nawrot et al.. (2025) Cardiol J
    Access scope: open access quotation checked against downloaded text (CC BY-NC-ND) · Use: A statement that the Eustachian valve has no significance in the adult circulation; used as the basis for keeping small valves only as catalogue nodes.
    Cited in: docs/evidence_review/evidence_cards.md
  19. [S13_Neal2014] Neal, Cooling, Smith, Thompson, Sauro, Carlson, Cook, Gennari. (2014) A reappraisal of how to build modular, reusable models of biological systems. PLoS Comput Biol 2014;10(10):e1003849
    Access scope: full text (CC BY; Europe PMC XML retained) · Use: Used the distinction that semantic equivalence is a fact detected in annotations whereas the input/output decision changes the equations at composition time, and the non-semantic error types of validity-range violations and identifier drift.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/d_sources.json
  20. [S14_Neal2015] Neal, Carlson, Thompson, James, Kim, Tran, Crampin, Cook, Gennari. (2015) Semantics-Based Composition of Integrated Cardiomyocyte Models Motivated by Real-World Use Cases. PLoS One 2015;10(12):e0145621
    Access scope: full text (CC BY 4.0; Europe PMC XML retained; earlier HTML capture in c_sources.json) · Use: Used the measured result that automatic duplicate detection missed about half of the duplicates found by experts, and the need for numerical verification after merging.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/d_sources.json, docs/c_sources.json, docs/ecosystem.md, docs/verification_protocol.md
  21. [S3_Neal2019_Harmonizing] Neal, König, Nickerson, Mısırlı, Kalbasi, Dräger, Atalag, Chelliah, Cooling, Cook, Crook, de Alba, Friedman, Garny, Gennari, Gleeson, Golebiewski, Hucka, Juty, Myers, Olivier, Sauro, Scharm, Snoep, Touré, Wipat, Wolkenhauer, Waltemath. (2019) Harmonizing semantic annotations for computational models in biology. Brief Bioinform 2019;20(2):540-550
    Access scope: full text (PubMed/PMC; Europe PMC XML retained) · Use: Used to separate semantic errors from numerical and provenance errors, on the basis of distinguishing semantic annotation (what a variable means) from provenance/curation metadata, and of the point that an identifier match is only a sufficient condition for equivalence.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/d_sources.json
  22. [S5_Neal2019_SemGen] Neal, Thompson, Kim, James, Cook, Carlson, Gennari. (2019) SemGen: a tool for semantics-based annotation and composition of biosimulation models. Bioinformatics 2019;35(9):1600-1602
    Access scope: PMC page read via two WebFetch passes; supplement not retrieved; quotations only · Use: Used as the basis for the connection allow/deny design (Q3) and for unit handling, on the point that the tool proposes duplicates and humans decide, and that unit conflicts are handled with explicit conversion factors.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md
  23. [S17_Paeme2011] Paeme, Moorhead, Chase, Lambermont, Kolh, D'Orio, Pierard, Moonen, Lancellotti, Dauby, Desaive. (2011) Mathematical multi-scale model of the cardiovascular system including mitral valve dynamics. Biomed Eng Online 2011;10:86
    Access scope: full text (CC BY 2.0; Europe PMC XML retained) · Use: Used as an independent restatement in which the E_es, P_0, lambda, R, L values of the Smith CellML are given in mmHg and mL units, to confirm the kPa label problem and the meaning of the variable dictionary.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/d_sources.json, docs/evidence_review/smith2004_variable_dictionary.md
  24. [Pathmanathan2013] Pathmanathan and Gray. (2013)
    Access scope: text read (PubMed) · Use: Used for the literature judgement that validation procedures are prescribed but there is no universal numerical acceptance criterion, on which the Smith 2004 RK4 value comparison was set as report-only.
    Cited in: docs/orchestration_state.md, docs/decisions.md, docs/evidence_review/prov/smith2004_opencor_runs.ttl
  25. [Pathmanathan2014] Pathmanathan and Gray. (2014)
    Access scope: abstract plus Wiley passages · Use: Used for the literature judgement that validation procedures are prescribed but there is no universal numerical acceptance criterion, on which the Smith 2004 RK4 value comparison was set as report-only.
    Cited in: docs/orchestration_state.md, docs/decisions.md, docs/evidence_review/prov/smith2004_opencor_runs.ttl
  26. [S19_Pironet2013] Pironet, Desaive, Kosta, Lucas, Paeme, Collet, Pretty, Kolh, Dauby. (2013) A multi-scale cardiovascular system model can account for the load-dependence of the end-systolic pressure-volume relationship. Biomed Eng Online 2013;12:8
    Access scope: full text (CC BY 2.0; Europe PMC XML retained) · Use: Used to confirm the meanings of the symbols, as the third independent restatement of the mmHg-based units, and to confirm that it names the Smith doctoral thesis as the source of a total blood volume of 1500 mL.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/d_sources.json
  27. [Regazzoni2022] Regazzoni et al.. (2022)
    Access scope: open access quotation checked against downloaded text (CC BY 4.0) · Use: A sentence stating that the four chambers (atria and ventricles) are represented as time-varying elastance elements and the four valves as non-ideal diodes; it showed the standard structure of current closed-loop models.
    Cited in: docs/evidence_review/evidence_cards.md
  28. [S18_Revie2013] Revie, Stevenson, Chase, Pretty, Lambermont, Ghuysen, Kolh, Shaw, Desaive. (2013) Evaluation of a Model-Based Hemodynamic Monitoring Method in a Porcine Study of Septic Shock. Comput Math Methods Med 2013:505417
    Access scope: full text (CC BY; Europe PMC XML retained; also returned by Wiley connector) · Use: Confirmed in Appendix A the meanings of V_spt, P_peri, P_pcd, V_d and the ventricular, septal, and pericardial equations, and found the structural inconsistency in which P_th enters P_vc.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/d_sources.json, docs/evidence_review/smith2004_variable_dictionary.md
  29. [S4_RosseMejino2003] Rosse, Mejino. (2003) A reference ontology for biomedical informatics: the Foundational Model of Anatomy. J Biomed Inform 2003;36(6):478-500
    Access scope: abstract only (PubMed); not used for any relation direction or mapping · Use: Referenced for the distinction of anatomical entities separating blood, ventricular cavity, and wall, on the basis of an abstract sentence that FMA distinguishes structures (material entity versus space).
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md
  30. [Santiago2022] Santiago. (2022)
    Access scope: text read (PubMed) · Use: Used for the literature judgement that validation procedures are prescribed but there is no universal numerical acceptance criterion, on which the Smith 2004 RK4 value comparison was set as report-only.
    Cited in: docs/orchestration_state.md, docs/decisions.md, docs/evidence_review/prov/smith2004_opencor_runs.ttl
  31. [Shanthini2023] Shanthini & Suma. (2023) Cureus
    Access scope: open access quotation checked against downloaded text (CC BY 3.0) · Use: A statement that the Thebesian valve "is embryologically the caudal remnant of the right sinoatrial valve"; used as the basis for keeping small valves only as catalogue nodes.
    Cited in: docs/evidence_review/evidence_cards.md
  32. [Shi2011] Shi et al.. (2011)
    Access scope: PMC page passages quoted in c_sources.json; extent of reading not stated · Use: Cited as the basis for the hydraulic-electrical analogy, compartment ordinary differential equations, choosing the dimensionality to fit the research purpose, and the point that parameter identification becomes harder as the model grows more complex.
    Cited in: docs/c_sources.json, docs/ecosystem.md, docs/verification_protocol.md
  33. [S6_Smith2004] Smith, Chase, Nokes, Shaw, Wake. (2004) Minimal haemodynamic system model including ventricular interaction and valve dynamics. Med Eng Phys 2004;26(2):131-139
    Access scope: published article: abstract only (PubMed), paywalled; a 36-page pre-acceptance author manuscript (card S6P) supplied by the user was read in full and is not retained; quotations only · Use: Confirmed the equations, signs, units and state-switching approach as the reference model and compared them with the CellML encoding; it is stated explicitly that the project model is not a reproduction of it.
    Cited in: docs/physiology.md, docs/physiology_sources.json, docs/ecosystem.md, docs/c_sources.json, docs/decisions.md, docs/orchestration_state.md, docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/smith2004_variable_dictionary.md, docs/evidence_review/shacl/shapes_smith2004.ttl, src/physiosim/models/cardiovascular.py
  34. [S20_SmithThesis2004] Smith BW. (2004) Minimal haemodynamic modelling of the heart & circulation for clinical application. PhD thesis, University of Canterbury
    Access scope: not read (located 2026-11-01, but every request returned a Cloudflare bot-check page; not retrieved) · Use: Identified as a candidate primary source of the equations, parameters and units of the model summarized by the 2004 paper; actual verification was deferred until the user downloads it.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md
  35. [SurlesZeigler2022] Surles-Zeigler et al.. (2022) Front Neuroinform 16:819198
    Access scope: full text (open access, CC BY 4.0 per S23 table) · Use: Cited as the basis of the SPARC vocabulary practice of placing valves as nodes with two identifiers (UBERON, FMA) and using UBERON first for terms.
    Cited in: docs/evidence_review/evidence_cards.md
  36. [Tonini2024] Tonini. (2024)
    Access scope: surveyed by a research subagent (paraphrase); not individually verified in the cards · Use: A survey result that a patent foramen ovale is added only as a branch between the atria; used as the basis for keeping small valves and the foramen ovale as catalogue nodes.
    Cited in: docs/evidence_review/evidence_cards.md
  37. [vanOsta2025] van Osta et al.. (2025)
    Access scope: open access quotation checked against downloaded text (CC BY 4.0) · Use: Cited as a result of the survey of current models, that CircAdapt uses 6 valve elements including venous–atrial connections and mimics the pericardium with a pouch module.
    Cited in: docs/evidence_review/evidence_cards.md
  38. [vanWilligen2024] van Willigen. (2024)
    Access scope: surveyed by a research subagent (paraphrase); not individually verified in the cards · Use: A survey result that the foramen ovale appears only in fetal and neonatal models; used as the basis for keeping small valves and the foramen ovale as catalogue nodes.
    Cited in: docs/evidence_review/evidence_cards.md
  39. [CB01_HeartValve] (2007) Heart valve macro- and microstructure.
    Access scope: full text, relevant sections read; metadata and original paraphrase only saved · Use: Used as the basis of the valve-boundary knowledge template of the LA–mitral–LV auxiliary file, on the points that the attachment structures of the four valves differ from one another and that the atrioventricular boundary is dynamic and non-planar.
    Cited in: src/physiosim/ontology/applied_la_mitral_lv_source_v1.json, docs/applied_la_mitral_lv.md
  40. [CB02_AVJunctions] (2000) Anatomy of the human atrioventricular junctions revisited.
    Access scope: full text, relevant sections read; metadata and paraphrase only saved · Use: Used as the basis of the auxiliary file's boundary knowledge template, on the points that the atrioventricular junction surrounds the connection of the valve orifice and leaflets and that the fibrous tissue is non-uniform.
    Cited in: src/physiosim/ontology/applied_la_mitral_lv_source_v1.json
  41. [CS_LV_Anatomy] Anatomy and myoarchitecture of the left ventricular wall in normal and in disease.
    Access scope: full text read (HTML via official PDF redirect) · Use: Used in the knowledge template of the LA–mitral–LV auxiliary file as the basis for defining the composition of the ventricular wall, septum and free wall, and the papillary muscles and chordae tendineae.
    Cited in: src/physiosim/ontology/applied_la_mitral_lv_source_v1.json
  42. [CS_Atria] Anatomy of the atria: A road map to the left atrial appendage. pp 347-351
    Access scope: official full-text PDF read (CC BY 4.0) · Use: Used as the basis of the auxiliary file's atrial knowledge template for the appendages, walls and endocardial surfaces of both atria and the distinction of the true septum.
    Cited in: src/physiosim/ontology/applied_la_mitral_lv_source_v1.json
  43. [CS_HiPCT] Multidimensional Analysis of the Adult Human Heart in Health and Disease Using Hierarchical Phase-Contrast Tomography.
    Access scope: official full-text PDF read (CC BY 4.0) · Use: A specimen-based source in which atrial wall layers and ventricular and conduction structures were imaged in 2 adult donor hearts; used only to confirm the existence of structures.
    Cited in: src/physiosim/ontology/applied_la_mitral_lv_source_v1.json
  44. [ROOT_MMWHS] Evaluation of algorithms for Multi-Modality Whole Heart Segmentation: An open-access grand challenge.
    Access scope: full text (CC BY 4.0) · Use: Used as the basis of the auxiliary file's boundary definition, on the point that the four atrial and ventricular cavities have blood-pool annotations but the cutting location is a choice of the dataset protocol.
    Cited in: src/physiosim/ontology/applied_la_mitral_lv_source_v1.json
  45. [S21_SemGenAnnotationProtocol] SemGen annotation protocol, step 5 — properties of physical energy differentials. SemGen wiki (SemBioProcess/SemGen)
    Access scope: text read (captured 2026-10-30); described in the card as an informal community document, not a specification · Use: A convention that chamber pressure specifies no sink and assumes a common ground, while transmural pressure takes the external fluid as the sink; used for the pressure reference notation.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/shacl/shapes_omex_v1_2.ttl, docs/c_sources.json, docs/ecosystem.md

Specifications & recommendations (8)

  1. [S15_OMEX1.0] Neal, Gennari, Waltemath, Nickerson, König. (2020) OMEX metadata specification version 1.0. J Integr Bioinform 2020;17(2-3):20200020
    Access scope: abstract only (Europe PMC XML is a short record; full text not obtained) · Use: Only confirmed that v1.2 'builds on version 1.0'; the normative text used was v1.2.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/d_sources.json
  2. [S16_OMEX1.2] Gennari, König, Misirli, Neal, Nickerson, Waltemath. (2021) OMEX metadata specification (version 1.2). J Integr Bioinform 2021;18(3):20210020 (16 pages)
    Access scope: full text of the published PDF (obtained from the Humboldt University repository, CC BY 4.0) read; quotations with section numbers · Use: Used as the normative basis for the composite annotation format (isVersionOf for the property, isPropertyOf for the bearing entity, pressure as the source and sink of an energy difference) and the SHACL shape rules.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/d_sources.json, docs/evidence_review/shacl/shapes_omex_v1_2.ttl, docs/evidence_review/shacl/report_ws267.md
  3. [S22_BioModelsQualifiers1.1] BioModels.net qualifiers, version 1.1 (COMBINE specification). COMBINE specifications
    Access scope: specification text read (raw GitHub markdown, 2026-11-01), not retained · Use: Used qualifiers such as bqbiol:occursIn, isPartOf, isPropertyOf and hasPart as standard relations in valve nodes and composite-entity notation.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/shacl/shapes_omex_v1_2.ttl
  4. [CellML2.0] CellML 2.0 normative specification. cellml.org
    Access scope: specification passages quoted in c_sources.json (accessed 2026-10-30) · Use: Cited the rules that equivalent-variable connections require compatible unit conversion and that the equivalence network must have no cycles, to explain that CellML validity does not guarantee biological compatibility.
    Cited in: docs/c_sources.json, docs/ecosystem.md, docs/verification_protocol.md
  5. [CellMLMetadata] CellML metadata specification. cellml.org
    Access scope: retrieved 2026-10-30 (SHA-256 recorded in ontology_sources.json); extent of reading not stated · Use: Recorded as the official source of the CellML annotation conventions (cellml_conventions) used when linking ontologies.
    Cited in: docs/ontology_sources.json, docs/ontology.md
  6. [S7_SHACL] (2017) W3C SHACL — Shapes Constraint Language. W3C Recommendation, 20 July 2017
    Access scope: specification text read in full (several windows) · Use: Used as the basis of the SHACL shapes files and the runner that validate structural rules of the annotation graph (e.g., a flow variable has exactly one source and one sink).
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/shacl/shapes_omex_v1_2.ttl, docs/evidence_review/shacl/shapes_smith2004.ttl, docs/evidence_review/shacl/run_shacl.py, docs/evidence_review/shacl/report_ws267.md
  7. [S8_PROV-O] (2013) W3C PROV-O — The PROV Ontology. W3C Recommendation, 30 April 2013
    Access scope: specification text read (three windows) · Use: Used as the vocabulary of the provenance graph (prov) that records which CellML file and hash a solver activity used to produce which CSV.
    Cited in: docs/evidence_review/evidence_cards.md, docs/evidence_review/evidence_review.md, docs/evidence_review/prov/README.md, docs/evidence_review/prov/check_prov.py, docs/evidence_review/prov/smith2004_opencor_runs.ttl
  8. [IEEE754] IEEE 754 double arithmetic.
    Access scope: No record of the extent of reading in the documents (only the name of the standard is cited) · Use: Cited as the basis of the tolerance |dt| <= N_steps * eps(2.22e-16) * t_max for comparing OpenCOR output times (a double-precision floating-point arithmetic standard, not a biomedical reference).

Model records (3)

  1. [S9_SmithWS267] CellML model by Geoffrey Nunns (Auckland Bioengineering Institute); SemSim annotation by Chris Thompson. SemSim-annotated Smith 2004 CellML (PMR workspace 267, "semantic-annotation"). Physiome Model Repository
    Access scope: file downloaded and fully parsed (SHA-256 92d98dcc...0715); CC BY 3.0 Unported via the PMR-wide statement · Use: Evidence material containing the 32 equations and examples of SemSim composite annotations, which became the object of SHACL validation and the variable dictionary (it is not an executable model).
    Cited in: docs/physiology.md, docs/physiology_sources.json, docs/evidence_review/evidence_cards.md, docs/evidence_review/shacl/ws267_omex_form.ttl, docs/evidence_review/shacl/report_ws267.md
  2. [Smith2004_CellML_canonical] CellML model by Geoffrey Nunns (Auckland Bioengineering Institute); Smith BW, Chase JG, Nokes RI, Shaw GM, Wake G 2004 (PMID 15036180). Smith 2004 canonical CellML encoding. Physiome Model Repository
    Access scope: file downloaded (SHA-256 8cca17e8...3e60); CC BY 3.0 Unported per the PMR licence/citation page · Use: The executable canonical Smith 2004 CellML encoding, used as the reference model for the equations E1-E32, the 76-variable dictionary, and the OpenCOR runs.
    Cited in: docs/physiology.md, docs/physiology_sources.json, docs/c_sources.json, docs/evidence_review/evidence_cards.md, docs/evidence_review/smith2004_variable_dictionary.md, docs/evidence_review/shacl/smith2004_dependencies.ttl, docs/evidence_review/prov/smith2004_opencor_runs.ttl
  3. [PMR_ZeroD_CVS] Zero dimensional (lumped parameter) modelling of native human cardiovascular dynamics. Physiome Model Repository
    Access scope: licence/citation page only inspected; equations and numerical outputs not checked · Use: Recorded only as an attribution path for a reusable lumped-parameter cardiovascular CellML model; not used as a basis for equation verification.
    Cited in: docs/c_sources.json, docs/ecosystem.md

Conflicts across documents (reproduced as written)

Repository documents differ in their bibliographic details or stated access scope. Both versions are shown without correction.

Excluded items and reasons