{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:S2M6CE4TG47QQVL6FB63DOST5H","short_pith_number":"pith:S2M6CE4T","schema_version":"1.0","canonical_sha256":"9699e11393373f08557e287db1ba53e9ffe63a2a501b33c927fa4d153eed8348","source":{"kind":"arxiv","id":"1506.07861","version":2},"attestation_state":"computed","paper":{"title":"Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"cs.LO","authors_text":"Luca Cardelli, Luca Laurenti, Marta Kwiatkowska","submitted_at":"2015-06-24T10:44:38Z","abstract_excerpt":"Stochastic evolution of Chemical Reactions Networks (CRNs) over time is usually analysed through solving the Chemical Master Equation (CME) or performing extensive simulations. Analysing stochasticity is often needed, particularly when some molecules occur in low numbers. Unfortunately, both approaches become infeasible if the system is complex and/or it cannot be ensured that initial populations are small. We develop a probabilistic logic for CRNs that enables stochastic analysis of the evolution of populations of molecular species. We present an approximate model checking algorithm based on "},"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":"1506.07861","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-06-24T10:44:38Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"8cb7e0342a49eaf045096132fc407fcfb373aabc9254fe9f56ae625eb4b0fea0","abstract_canon_sha256":"07c23aa3ff19b2aa1a4f34893cb3b98b15eb0f7b2589e6d1c0c586a1d2a655c2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:33:31.972245Z","signature_b64":"9Dxm7/g99A1XmjYjgjbLY62WF6G7Mm3azmk9Vbqy0wSdCXa+WWcojk3d9X2S3l2vd6aBNYcfiQDkEj/np5ekCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9699e11393373f08557e287db1ba53e9ffe63a2a501b33c927fa4d153eed8348","last_reissued_at":"2026-05-18T01:33:31.971473Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:33:31.971473Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"cs.LO","authors_text":"Luca Cardelli, Luca Laurenti, Marta Kwiatkowska","submitted_at":"2015-06-24T10:44:38Z","abstract_excerpt":"Stochastic evolution of Chemical Reactions Networks (CRNs) over time is usually analysed through solving the Chemical Master Equation (CME) or performing extensive simulations. Analysing stochasticity is often needed, particularly when some molecules occur in low numbers. Unfortunately, both approaches become infeasible if the system is complex and/or it cannot be ensured that initial populations are small. We develop a probabilistic logic for CRNs that enables stochastic analysis of the evolution of populations of molecular species. We present an approximate model checking algorithm based on "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.07861","kind":"arxiv","version":2},"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":"1506.07861","created_at":"2026-05-18T01:33:31.971605+00:00"},{"alias_kind":"arxiv_version","alias_value":"1506.07861v2","created_at":"2026-05-18T01:33:31.971605+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.07861","created_at":"2026-05-18T01:33:31.971605+00:00"},{"alias_kind":"pith_short_12","alias_value":"S2M6CE4TG47Q","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_16","alias_value":"S2M6CE4TG47QQVL6","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_8","alias_value":"S2M6CE4T","created_at":"2026-05-18T12:29:39.896362+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H","json":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H.json","graph_json":"https://pith.science/api/pith-number/S2M6CE4TG47QQVL6FB63DOST5H/graph.json","events_json":"https://pith.science/api/pith-number/S2M6CE4TG47QQVL6FB63DOST5H/events.json","paper":"https://pith.science/paper/S2M6CE4T"},"agent_actions":{"view_html":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H","download_json":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H.json","view_paper":"https://pith.science/paper/S2M6CE4T","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1506.07861&json=true","fetch_graph":"https://pith.science/api/pith-number/S2M6CE4TG47QQVL6FB63DOST5H/graph.json","fetch_events":"https://pith.science/api/pith-number/S2M6CE4TG47QQVL6FB63DOST5H/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H/action/timestamp_anchor","attest_storage":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H/action/storage_attestation","attest_author":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H/action/author_attestation","sign_citation":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H/action/citation_signature","submit_replication":"https://pith.science/pith/S2M6CE4TG47QQVL6FB63DOST5H/action/replication_record"}},"created_at":"2026-05-18T01:33:31.971605+00:00","updated_at":"2026-05-18T01:33:31.971605+00:00"}