{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:E3PFLJ6SMOTIGCQQC2T4AOAHCW","short_pith_number":"pith:E3PFLJ6S","canonical_record":{"source":{"id":"1305.3830","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2013-05-16T14:51:46Z","cross_cats_sorted":[],"title_canon_sha256":"45abb3f3ded4cdf2018c5a4249d64bee79968239d1edf6c2a6b7016831bef415","abstract_canon_sha256":"645b332f799dfa9a88666549b949a64d2f762daf14636cfbaf563512ac1d2c1f"},"schema_version":"1.0"},"canonical_sha256":"26de55a7d263a6830a1016a7c0380715b4c836be2791ed029ac699c5b2f5b611","source":{"kind":"arxiv","id":"1305.3830","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.3830","created_at":"2026-05-18T03:17:00Z"},{"alias_kind":"arxiv_version","alias_value":"1305.3830v2","created_at":"2026-05-18T03:17:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.3830","created_at":"2026-05-18T03:17:00Z"},{"alias_kind":"pith_short_12","alias_value":"E3PFLJ6SMOTI","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"E3PFLJ6SMOTIGCQQ","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"E3PFLJ6S","created_at":"2026-05-18T12:27:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:E3PFLJ6SMOTIGCQQC2T4AOAHCW","target":"record","payload":{"canonical_record":{"source":{"id":"1305.3830","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2013-05-16T14:51:46Z","cross_cats_sorted":[],"title_canon_sha256":"45abb3f3ded4cdf2018c5a4249d64bee79968239d1edf6c2a6b7016831bef415","abstract_canon_sha256":"645b332f799dfa9a88666549b949a64d2f762daf14636cfbaf563512ac1d2c1f"},"schema_version":"1.0"},"canonical_sha256":"26de55a7d263a6830a1016a7c0380715b4c836be2791ed029ac699c5b2f5b611","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:17:00.062195Z","signature_b64":"ElVV0/2d1du0o+vAoHO7L43jTCSNQkTpiipXNrWz02+rmV22svaEflILAMC4HZCKzKP16uyNvq4Xa72KnszaDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26de55a7d263a6830a1016a7c0380715b4c836be2791ed029ac699c5b2f5b611","last_reissued_at":"2026-05-18T03:17:00.061703Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:17:00.061703Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1305.3830","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:17:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a053NTlbJuFahunKO1V6oMjXO24kTP/YpCBO6yK7mf8Nbkb0AjOdGqXZqEe2cSyKV3xekebIU97stdsYu72rCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:10:08.071108Z"},"content_sha256":"894550125794d81a894cb15d193d99404947840dd4217805282fe2ca011018ca","schema_version":"1.0","event_id":"sha256:894550125794d81a894cb15d193d99404947840dd4217805282fe2ca011018ca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:E3PFLJ6SMOTIGCQQC2T4AOAHCW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Flexible RNA design under structure and sequence constraints using formal languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"q-bio.QM","authors_text":"Alain Denise (LRI, CMM), IGM), INRIA Saclay - Ile de France, INRIA Saclay - Ile de France), J\\'er\\^ome Waldisp\\\"uhl, St\\'ephane Vialette (LIGM), Yann Ponty (LIX, Yi Zhang, Yu Zhou (LRI","submitted_at":"2013-05-16T14:51:46Z","abstract_excerpt":"The problem of RNA secondary structure design (also called inverse folding) is the following: given a target secondary structure, one aims to create a sequence that folds into, or is compatible with, a given structure. In several practical applications in biology, additional constraints must be taken into account, such as the presence/absence of regulatory motifs, either at a specific location or anywhere in the sequence. In this study, we investigate the design of RNA sequences from their targeted secondary structure, given these additional sequence constraints. To this purpose, we develop a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.3830","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:17:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"olz5O8L7FS2SWUlA/W6FYSZ7rSyaZXnEmFjDOzNPGvfTP45tKevQaqn7RkbcjP80EkZJ/1NIERS3gKUkugPSBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:10:08.071800Z"},"content_sha256":"02004b3fcba17ccb6f71ccd3162afbd76e3ea9ac430dc14a6885528a6c2a1ecf","schema_version":"1.0","event_id":"sha256:02004b3fcba17ccb6f71ccd3162afbd76e3ea9ac430dc14a6885528a6c2a1ecf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E3PFLJ6SMOTIGCQQC2T4AOAHCW/bundle.json","state_url":"https://pith.science/pith/E3PFLJ6SMOTIGCQQC2T4AOAHCW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E3PFLJ6SMOTIGCQQC2T4AOAHCW/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-05-27T16:10:08Z","links":{"resolver":"https://pith.science/pith/E3PFLJ6SMOTIGCQQC2T4AOAHCW","bundle":"https://pith.science/pith/E3PFLJ6SMOTIGCQQC2T4AOAHCW/bundle.json","state":"https://pith.science/pith/E3PFLJ6SMOTIGCQQC2T4AOAHCW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E3PFLJ6SMOTIGCQQC2T4AOAHCW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:E3PFLJ6SMOTIGCQQC2T4AOAHCW","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":"645b332f799dfa9a88666549b949a64d2f762daf14636cfbaf563512ac1d2c1f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2013-05-16T14:51:46Z","title_canon_sha256":"45abb3f3ded4cdf2018c5a4249d64bee79968239d1edf6c2a6b7016831bef415"},"schema_version":"1.0","source":{"id":"1305.3830","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.3830","created_at":"2026-05-18T03:17:00Z"},{"alias_kind":"arxiv_version","alias_value":"1305.3830v2","created_at":"2026-05-18T03:17:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.3830","created_at":"2026-05-18T03:17:00Z"},{"alias_kind":"pith_short_12","alias_value":"E3PFLJ6SMOTI","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"E3PFLJ6SMOTIGCQQ","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"E3PFLJ6S","created_at":"2026-05-18T12:27:43Z"}],"graph_snapshots":[{"event_id":"sha256:02004b3fcba17ccb6f71ccd3162afbd76e3ea9ac430dc14a6885528a6c2a1ecf","target":"graph","created_at":"2026-05-18T03:17:00Z","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":"The problem of RNA secondary structure design (also called inverse folding) is the following: given a target secondary structure, one aims to create a sequence that folds into, or is compatible with, a given structure. In several practical applications in biology, additional constraints must be taken into account, such as the presence/absence of regulatory motifs, either at a specific location or anywhere in the sequence. In this study, we investigate the design of RNA sequences from their targeted secondary structure, given these additional sequence constraints. To this purpose, we develop a ","authors_text":"Alain Denise (LRI, CMM), IGM), INRIA Saclay - Ile de France, INRIA Saclay - Ile de France), J\\'er\\^ome Waldisp\\\"uhl, St\\'ephane Vialette (LIGM), Yann Ponty (LIX, Yi Zhang, Yu Zhou (LRI","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2013-05-16T14:51:46Z","title":"Flexible RNA design under structure and sequence constraints using formal languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.3830","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:894550125794d81a894cb15d193d99404947840dd4217805282fe2ca011018ca","target":"record","created_at":"2026-05-18T03:17:00Z","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":"645b332f799dfa9a88666549b949a64d2f762daf14636cfbaf563512ac1d2c1f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2013-05-16T14:51:46Z","title_canon_sha256":"45abb3f3ded4cdf2018c5a4249d64bee79968239d1edf6c2a6b7016831bef415"},"schema_version":"1.0","source":{"id":"1305.3830","kind":"arxiv","version":2}},"canonical_sha256":"26de55a7d263a6830a1016a7c0380715b4c836be2791ed029ac699c5b2f5b611","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26de55a7d263a6830a1016a7c0380715b4c836be2791ed029ac699c5b2f5b611","first_computed_at":"2026-05-18T03:17:00.061703Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:17:00.061703Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ElVV0/2d1du0o+vAoHO7L43jTCSNQkTpiipXNrWz02+rmV22svaEflILAMC4HZCKzKP16uyNvq4Xa72KnszaDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:17:00.062195Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.3830","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:894550125794d81a894cb15d193d99404947840dd4217805282fe2ca011018ca","sha256:02004b3fcba17ccb6f71ccd3162afbd76e3ea9ac430dc14a6885528a6c2a1ecf"],"state_sha256":"6c1ea0a2a5973f99f23e85f3c45ddfc7afbfe134f01dff5b74acdcc5fcad87f6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wZHXcRhOry7GNMGRESJUsNGLJG2VrJUJT+K9JyN4fajYGxU1p+a6yR1jCXvlS4875vl3xUleAyhHpM6/3lsyBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T16:10:08.075218Z","bundle_sha256":"bba323b6852217e9101eba5e30772cca2804ff6d5004dd0637c9c9ea841225c6"}}