{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:72KNLENTYYF2DVXVTOHXSE3UJO","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"74cc2ec114121c57c54b52ae7e8c4229247e0101206035fa338a8d43bae8bb3b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-29T18:44:28Z","title_canon_sha256":"a01801959d1976436f19213f39dc78a09a843b8fa59030b81fea2bbad99baa4d"},"schema_version":"1.0","source":{"id":"1811.12377","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.12377","created_at":"2026-05-17T23:59:33Z"},{"alias_kind":"arxiv_version","alias_value":"1811.12377v1","created_at":"2026-05-17T23:59:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.12377","created_at":"2026-05-17T23:59:33Z"},{"alias_kind":"pith_short_12","alias_value":"72KNLENTYYF2","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"72KNLENTYYF2DVXV","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"72KNLENT","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:8355cb570fef94ab65f4e276533dc99671b7db903d9cd6ad5f2b382ca3358b6a","target":"graph","created_at":"2026-05-17T23:59:33Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Parametric models abstract part of the specification of dynamical models by integral parameters. They are for example used in computational systems biology, notably with parametric regulatory networks, which specify the global architecture (interactions) of the networks, while parameterising the precise rules for drawing the possible temporal evolutions of the states of the components. A key challenge is then to identify the discrete parameters corresponding to concrete models with desired dynamical properties. This paper addresses the restriction of the abstract execution of parametric regula","authors_text":"Juraj Kol\\v{c}\\'ak, Lo\\\"ic Paulev\\'e, Stefan Haar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-29T18:44:28Z","title":"Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.12377","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ac64cbaff692f4747ca7dc7a1b02f1c1946ad218f77bd5171dc3513eeeb61cfa","target":"record","created_at":"2026-05-17T23:59:33Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"74cc2ec114121c57c54b52ae7e8c4229247e0101206035fa338a8d43bae8bb3b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-29T18:44:28Z","title_canon_sha256":"a01801959d1976436f19213f39dc78a09a843b8fa59030b81fea2bbad99baa4d"},"schema_version":"1.0","source":{"id":"1811.12377","kind":"arxiv","version":1}},"canonical_sha256":"fe94d591b3c60ba1d6f59b8f7913744baa9c7b218645e73294e8da684bba1eb7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fe94d591b3c60ba1d6f59b8f7913744baa9c7b218645e73294e8da684bba1eb7","first_computed_at":"2026-05-17T23:59:33.696599Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:59:33.696599Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EHl2IFtoEp+PniSUtSynBaAO4cb0LGnFP20SvaeqDci5b18W5KJ9UDiMqNwdn4eBiv+J7YIlx1jpi11Y0pdOAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:59:33.697260Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.12377","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac64cbaff692f4747ca7dc7a1b02f1c1946ad218f77bd5171dc3513eeeb61cfa","sha256:8355cb570fef94ab65f4e276533dc99671b7db903d9cd6ad5f2b382ca3358b6a"],"state_sha256":"f872e3de2a228a764d70e19505e512215e766a49cf525ae1709cecdf5da1ea7d"}