{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:YB43SAHWQX7UQZZIUBGPASK4AY","short_pith_number":"pith:YB43SAHW","schema_version":"1.0","canonical_sha256":"c079b900f685ff486728a04cf0495c063097d2110fb90435027afef2baf485bc","source":{"kind":"arxiv","id":"1903.07750","version":1},"attestation_state":"computed","paper":{"title":"PyBioNetFit and the Biological Property Specification Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"q-bio.QM","authors_text":"Alexander Ionkov, Andrew Hu, Eshan D. Mitra, Herbert M. Sauro, Joshua Colvin, Richard G. Posner, Ryan Suderman, William S. Hlavacek","submitted_at":"2019-03-18T22:52:01Z","abstract_excerpt":"In systems biology modeling, important steps include model parameterization, uncertainty quantification, and evaluation of agreement with experimental observations. To help modelers perform these steps, we developed the software PyBioNetFit. PyBioNetFit is designed for parameterization, and also supports uncertainty quantification, checking models against known system properties, and solving design problems. PyBioNetFit introduces the Biological Property Specification Language (BPSL) for the formal declaration of system properties. BPSL allows qualitative data to be used alone or in combinatio"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1903.07750","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2019-03-18T22:52:01Z","cross_cats_sorted":[],"title_canon_sha256":"4237ba2a9ab1ae71acfcb3dc54de7fca456c316d5018c12067ab5ee43bcf2625","abstract_canon_sha256":"357a61466d4972602a8cbe26d2d813f628931d0dbde34dbf0689a09f3aab802c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:50:54.118613Z","signature_b64":"YqAqeJpKLZX9hfAgLhSrcC7bsoHa7POTPlrxhvX4hggXwKmh+A4NHJUDl/CF/YGpUVzsNEqR/XwbgRYU2y1dDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c079b900f685ff486728a04cf0495c063097d2110fb90435027afef2baf485bc","last_reissued_at":"2026-05-17T23:50:54.117925Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:50:54.117925Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"PyBioNetFit and the Biological Property Specification Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"q-bio.QM","authors_text":"Alexander Ionkov, Andrew Hu, Eshan D. Mitra, Herbert M. Sauro, Joshua Colvin, Richard G. Posner, Ryan Suderman, William S. Hlavacek","submitted_at":"2019-03-18T22:52:01Z","abstract_excerpt":"In systems biology modeling, important steps include model parameterization, uncertainty quantification, and evaluation of agreement with experimental observations. To help modelers perform these steps, we developed the software PyBioNetFit. PyBioNetFit is designed for parameterization, and also supports uncertainty quantification, checking models against known system properties, and solving design problems. PyBioNetFit introduces the Biological Property Specification Language (BPSL) for the formal declaration of system properties. BPSL allows qualitative data to be used alone or in combinatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.07750","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1903.07750","created_at":"2026-05-17T23:50:54.118055+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.07750v1","created_at":"2026-05-17T23:50:54.118055+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.07750","created_at":"2026-05-17T23:50:54.118055+00:00"},{"alias_kind":"pith_short_12","alias_value":"YB43SAHWQX7U","created_at":"2026-05-18T12:33:33.725879+00:00"},{"alias_kind":"pith_short_16","alias_value":"YB43SAHWQX7UQZZI","created_at":"2026-05-18T12:33:33.725879+00:00"},{"alias_kind":"pith_short_8","alias_value":"YB43SAHW","created_at":"2026-05-18T12:33:33.725879+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"1906.11365","citing_title":"Parameter Estimation and Uncertainty Quantification for Systems Biology Models","ref_index":8,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY","json":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY.json","graph_json":"https://pith.science/api/pith-number/YB43SAHWQX7UQZZIUBGPASK4AY/graph.json","events_json":"https://pith.science/api/pith-number/YB43SAHWQX7UQZZIUBGPASK4AY/events.json","paper":"https://pith.science/paper/YB43SAHW"},"agent_actions":{"view_html":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY","download_json":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY.json","view_paper":"https://pith.science/paper/YB43SAHW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.07750&json=true","fetch_graph":"https://pith.science/api/pith-number/YB43SAHWQX7UQZZIUBGPASK4AY/graph.json","fetch_events":"https://pith.science/api/pith-number/YB43SAHWQX7UQZZIUBGPASK4AY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY/action/storage_attestation","attest_author":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY/action/author_attestation","sign_citation":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY/action/citation_signature","submit_replication":"https://pith.science/pith/YB43SAHWQX7UQZZIUBGPASK4AY/action/replication_record"}},"created_at":"2026-05-17T23:50:54.118055+00:00","updated_at":"2026-05-17T23:50:54.118055+00:00"}