{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:72KNLENTYYF2DVXVTOHXSE3UJO","short_pith_number":"pith:72KNLENT","canonical_record":{"source":{"id":"1811.12377","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-29T18:44:28Z","cross_cats_sorted":[],"title_canon_sha256":"a01801959d1976436f19213f39dc78a09a843b8fa59030b81fea2bbad99baa4d","abstract_canon_sha256":"74cc2ec114121c57c54b52ae7e8c4229247e0101206035fa338a8d43bae8bb3b"},"schema_version":"1.0"},"canonical_sha256":"fe94d591b3c60ba1d6f59b8f7913744baa9c7b218645e73294e8da684bba1eb7","source":{"kind":"arxiv","id":"1811.12377","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:72KNLENTYYF2DVXVTOHXSE3UJO","target":"record","payload":{"canonical_record":{"source":{"id":"1811.12377","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-29T18:44:28Z","cross_cats_sorted":[],"title_canon_sha256":"a01801959d1976436f19213f39dc78a09a843b8fa59030b81fea2bbad99baa4d","abstract_canon_sha256":"74cc2ec114121c57c54b52ae7e8c4229247e0101206035fa338a8d43bae8bb3b"},"schema_version":"1.0"},"canonical_sha256":"fe94d591b3c60ba1d6f59b8f7913744baa9c7b218645e73294e8da684bba1eb7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:33.697260Z","signature_b64":"EHl2IFtoEp+PniSUtSynBaAO4cb0LGnFP20SvaeqDci5b18W5KJ9UDiMqNwdn4eBiv+J7YIlx1jpi11Y0pdOAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fe94d591b3c60ba1d6f59b8f7913744baa9c7b218645e73294e8da684bba1eb7","last_reissued_at":"2026-05-17T23:59:33.696599Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:33.696599Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.12377","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:59:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XsApeG3Zd6jhsO3WjNfTFq8TKRdwCZRAnqyAXSVHAN5leoVx7BbeIogT8CSvuPM6yFJO5AEmMCUqD2XbvMVCCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:06:58.162878Z"},"content_sha256":"ac64cbaff692f4747ca7dc7a1b02f1c1946ad218f77bd5171dc3513eeeb61cfa","schema_version":"1.0","event_id":"sha256:ac64cbaff692f4747ca7dc7a1b02f1c1946ad218f77bd5171dc3513eeeb61cfa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:72KNLENTYYF2DVXVTOHXSE3UJO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Juraj Kol\\v{c}\\'ak, Lo\\\"ic Paulev\\'e, Stefan Haar","submitted_at":"2018-11-29T18:44:28Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.12377","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:59:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oShX6i9xcfawJDP9og62N7hP/qMueHkNR3D8Riogs9w7MYhCT/hbt07FJFIz4JB0cFOATwkwMf6l11Gi7U6KBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:06:58.163220Z"},"content_sha256":"8355cb570fef94ab65f4e276533dc99671b7db903d9cd6ad5f2b382ca3358b6a","schema_version":"1.0","event_id":"sha256:8355cb570fef94ab65f4e276533dc99671b7db903d9cd6ad5f2b382ca3358b6a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/72KNLENTYYF2DVXVTOHXSE3UJO/bundle.json","state_url":"https://pith.science/pith/72KNLENTYYF2DVXVTOHXSE3UJO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/72KNLENTYYF2DVXVTOHXSE3UJO/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-02T12:06:58Z","links":{"resolver":"https://pith.science/pith/72KNLENTYYF2DVXVTOHXSE3UJO","bundle":"https://pith.science/pith/72KNLENTYYF2DVXVTOHXSE3UJO/bundle.json","state":"https://pith.science/pith/72KNLENTYYF2DVXVTOHXSE3UJO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/72KNLENTYYF2DVXVTOHXSE3UJO/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EN02ARTih11IVqZTuXB1mxMOdQ+EBup6CtTf849MEdFRU4mKl3SH91gnxfQw+nkcIyrZv/GyWPXSgBGEcrk4CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T12:06:58.165137Z","bundle_sha256":"24266abb77b340e9fcfc6eced1c215ab6252920353407190969249f312e058ee"}}