{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:K2KQA43TIWGXOOXDUJVX7LCLJG","short_pith_number":"pith:K2KQA43T","canonical_record":{"source":{"id":"1204.5577","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2012-04-25T07:25:31Z","cross_cats_sorted":[],"title_canon_sha256":"a0c8a2ba5a364a78950dedfca6f5d58535c322b1309f35983d8fc90f3a47e539","abstract_canon_sha256":"7e89cfb2d31065390de1354d543d054f1b4a0b5b71913fec4597d257ffa642eb"},"schema_version":"1.0"},"canonical_sha256":"5695007373458d773ae3a26b7fac4b49977eb38a262bf25030241a2f63c51ffc","source":{"kind":"arxiv","id":"1204.5577","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.5577","created_at":"2026-05-18T03:10:24Z"},{"alias_kind":"arxiv_version","alias_value":"1204.5577v2","created_at":"2026-05-18T03:10:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.5577","created_at":"2026-05-18T03:10:24Z"},{"alias_kind":"pith_short_12","alias_value":"K2KQA43TIWGX","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"K2KQA43TIWGXOOXD","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"K2KQA43T","created_at":"2026-05-18T12:27:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:K2KQA43TIWGXOOXDUJVX7LCLJG","target":"record","payload":{"canonical_record":{"source":{"id":"1204.5577","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2012-04-25T07:25:31Z","cross_cats_sorted":[],"title_canon_sha256":"a0c8a2ba5a364a78950dedfca6f5d58535c322b1309f35983d8fc90f3a47e539","abstract_canon_sha256":"7e89cfb2d31065390de1354d543d054f1b4a0b5b71913fec4597d257ffa642eb"},"schema_version":"1.0"},"canonical_sha256":"5695007373458d773ae3a26b7fac4b49977eb38a262bf25030241a2f63c51ffc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:10:24.522937Z","signature_b64":"nkMvQAba0fNmr5Y2smoULYdkwBckRqOts/8P31XmDOgufAnDCZG4AFuMUk2p410MaTKj3SyHqNz2853ggJ8/CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5695007373458d773ae3a26b7fac4b49977eb38a262bf25030241a2f63c51ffc","last_reissued_at":"2026-05-18T03:10:24.521975Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:10:24.521975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1204.5577","source_version":2,"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-18T03:10:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"26vT2lw7iF9vFddDebv0OugV6/vr+n6EtGtN2XZ04r2G4PktxCMc1e5GGIKWgkie2zT5RtaUHr7mOSxLFzyeDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T04:50:51.984518Z"},"content_sha256":"dc6d4ebfdfb126b1b949d3aee9a9b3abefc5aec214ef403a5479f8fb3fa45eea","schema_version":"1.0","event_id":"sha256:dc6d4ebfdfb126b1b949d3aee9a9b3abefc5aec214ef403a5479f8fb3fa45eea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:K2KQA43TIWGXOOXDUJVX7LCLJG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated derivation of the adjoint of high-level transient finite element programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.MS","authors_text":"(2) Department of Computing Imperial College London, 3), (3) Grantham Institute for Climate Change Imperial College London, (4) Simula Research Laboratory Lysaker Norway), David A. Ham (2, Engineering Imperial College London, Marie E. Rognes (4) ((1) Department of Earth Science, Patrick E. Farrell (1), Simon F. Funke (1","submitted_at":"2012-04-25T07:25:31Z","abstract_excerpt":"In this paper we demonstrate a new technique for deriving discrete adjoint and tangent linear models of finite element models. The technique is significantly more efficient and automatic than standard algorithmic differentiation techniques. The approach relies on a high-level symbolic representation of the forward problem. In contrast to developing a model directly in Fortran or C++, high-level systems allow the developer to express the variational problems to be solved in near-mathematical notation. As such, these systems have a key advantage: since the mathematical structure of the problem i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.5577","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"},"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-18T03:10:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vg6orVuXheUZHcHMtU0ITzk5cyZA7iaB5Y7gSRL624FIZs0e7HMGSf0VdRNTmk867OaRpCuRYG5RW2iH/gE4AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T04:50:51.984993Z"},"content_sha256":"f8fb4fb239374dced612acf9bd3d662bb8b4d4064cdbefd4ec1d1829045733b2","schema_version":"1.0","event_id":"sha256:f8fb4fb239374dced612acf9bd3d662bb8b4d4064cdbefd4ec1d1829045733b2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K2KQA43TIWGXOOXDUJVX7LCLJG/bundle.json","state_url":"https://pith.science/pith/K2KQA43TIWGXOOXDUJVX7LCLJG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K2KQA43TIWGXOOXDUJVX7LCLJG/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-08-06T04:50:51Z","links":{"resolver":"https://pith.science/pith/K2KQA43TIWGXOOXDUJVX7LCLJG","bundle":"https://pith.science/pith/K2KQA43TIWGXOOXDUJVX7LCLJG/bundle.json","state":"https://pith.science/pith/K2KQA43TIWGXOOXDUJVX7LCLJG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K2KQA43TIWGXOOXDUJVX7LCLJG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:K2KQA43TIWGXOOXDUJVX7LCLJG","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":"7e89cfb2d31065390de1354d543d054f1b4a0b5b71913fec4597d257ffa642eb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2012-04-25T07:25:31Z","title_canon_sha256":"a0c8a2ba5a364a78950dedfca6f5d58535c322b1309f35983d8fc90f3a47e539"},"schema_version":"1.0","source":{"id":"1204.5577","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.5577","created_at":"2026-05-18T03:10:24Z"},{"alias_kind":"arxiv_version","alias_value":"1204.5577v2","created_at":"2026-05-18T03:10:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.5577","created_at":"2026-05-18T03:10:24Z"},{"alias_kind":"pith_short_12","alias_value":"K2KQA43TIWGX","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"K2KQA43TIWGXOOXD","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"K2KQA43T","created_at":"2026-05-18T12:27:11Z"}],"graph_snapshots":[{"event_id":"sha256:f8fb4fb239374dced612acf9bd3d662bb8b4d4064cdbefd4ec1d1829045733b2","target":"graph","created_at":"2026-05-18T03:10:24Z","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":"In this paper we demonstrate a new technique for deriving discrete adjoint and tangent linear models of finite element models. The technique is significantly more efficient and automatic than standard algorithmic differentiation techniques. The approach relies on a high-level symbolic representation of the forward problem. In contrast to developing a model directly in Fortran or C++, high-level systems allow the developer to express the variational problems to be solved in near-mathematical notation. As such, these systems have a key advantage: since the mathematical structure of the problem i","authors_text":"(2) Department of Computing Imperial College London, 3), (3) Grantham Institute for Climate Change Imperial College London, (4) Simula Research Laboratory Lysaker Norway), David A. Ham (2, Engineering Imperial College London, Marie E. Rognes (4) ((1) Department of Earth Science, Patrick E. Farrell (1), Simon F. Funke (1","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2012-04-25T07:25:31Z","title":"Automated derivation of the adjoint of high-level transient finite element programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.5577","kind":"arxiv","version":2},"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:dc6d4ebfdfb126b1b949d3aee9a9b3abefc5aec214ef403a5479f8fb3fa45eea","target":"record","created_at":"2026-05-18T03:10:24Z","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":"7e89cfb2d31065390de1354d543d054f1b4a0b5b71913fec4597d257ffa642eb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2012-04-25T07:25:31Z","title_canon_sha256":"a0c8a2ba5a364a78950dedfca6f5d58535c322b1309f35983d8fc90f3a47e539"},"schema_version":"1.0","source":{"id":"1204.5577","kind":"arxiv","version":2}},"canonical_sha256":"5695007373458d773ae3a26b7fac4b49977eb38a262bf25030241a2f63c51ffc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5695007373458d773ae3a26b7fac4b49977eb38a262bf25030241a2f63c51ffc","first_computed_at":"2026-05-18T03:10:24.521975Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:10:24.521975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nkMvQAba0fNmr5Y2smoULYdkwBckRqOts/8P31XmDOgufAnDCZG4AFuMUk2p410MaTKj3SyHqNz2853ggJ8/CA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:10:24.522937Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.5577","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc6d4ebfdfb126b1b949d3aee9a9b3abefc5aec214ef403a5479f8fb3fa45eea","sha256:f8fb4fb239374dced612acf9bd3d662bb8b4d4064cdbefd4ec1d1829045733b2"],"state_sha256":"74c0173ba4b76f1fc027d6c3777231fd558480473f4359dd78bfbefd9d9664aa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d49Ob4Rjoeis4yOf38irt7T8bnXs1Q6lK1fmfcik4YlG4mEMOo3Fqm2PnYS1WFAntEEWMmegEgbWgyVKGvToAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T04:50:51.988640Z","bundle_sha256":"46c1ade975e9ce33c9cba9ab024a0ed0b440f72525720fe75a7e1a94fdc4853c"}}