{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:WOC4SM3XA4CZUMEJE7KMZKIFKI","short_pith_number":"pith:WOC4SM3X","schema_version":"1.0","canonical_sha256":"b385c9337707059a308927d4cca905521bc0a5f0e39b1ccb9072a2ab119082e4","source":{"kind":"arxiv","id":"1810.04276","version":1},"attestation_state":"computed","paper":{"title":"Current Trends and Future Research Directions for Interactive Music","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","eess.AS"],"primary_cat":"cs.SD","authors_text":"Mauricio Toro","submitted_at":"2018-10-05T02:53:26Z","abstract_excerpt":"In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta- instruments, score-following, asynchronous dataflow languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. Formal approaches have the advantage of providing rigorous semantics of the behavior of the model and proving correctness during execution. The main disadvantage of formal approaches is lack of commercial tools."},"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":"1810.04276","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SD","submitted_at":"2018-10-05T02:53:26Z","cross_cats_sorted":["cs.AI","eess.AS"],"title_canon_sha256":"e95768e90ff10348c94273aaf0be8ce79ae5b02099b0494b48d436cb12f717a0","abstract_canon_sha256":"d4b0853a24e65fd08c191330fdc1b1ff634297fbabb1ccf2caca6b19facfe572"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:40.594673Z","signature_b64":"6ww6rpfKwmm7iK7i+wmEnHliIDf9yUQ36c22yX4lJs6njicQOIP/Vz1gKKzljqBeiUBhSSuUKlLrub+XvCiYBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b385c9337707059a308927d4cca905521bc0a5f0e39b1ccb9072a2ab119082e4","last_reissued_at":"2026-05-18T00:03:40.594092Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:40.594092Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Current Trends and Future Research Directions for Interactive Music","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","eess.AS"],"primary_cat":"cs.SD","authors_text":"Mauricio Toro","submitted_at":"2018-10-05T02:53:26Z","abstract_excerpt":"In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta- instruments, score-following, asynchronous dataflow languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. Formal approaches have the advantage of providing rigorous semantics of the behavior of the model and proving correctness during execution. The main disadvantage of formal approaches is lack of commercial tools."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.04276","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1810.04276","created_at":"2026-05-18T00:03:40.594165+00:00"},{"alias_kind":"arxiv_version","alias_value":"1810.04276v1","created_at":"2026-05-18T00:03:40.594165+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.04276","created_at":"2026-05-18T00:03:40.594165+00:00"},{"alias_kind":"pith_short_12","alias_value":"WOC4SM3XA4CZ","created_at":"2026-05-18T12:33:01.666342+00:00"},{"alias_kind":"pith_short_16","alias_value":"WOC4SM3XA4CZUMEJ","created_at":"2026-05-18T12:33:01.666342+00:00"},{"alias_kind":"pith_short_8","alias_value":"WOC4SM3X","created_at":"2026-05-18T12:33:01.666342+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/WOC4SM3XA4CZUMEJE7KMZKIFKI","json":"https://pith.science/pith/WOC4SM3XA4CZUMEJE7KMZKIFKI.json","graph_json":"https://pith.science/api/pith-number/WOC4SM3XA4CZUMEJE7KMZKIFKI/graph.json","events_json":"https://pith.science/api/pith-number/WOC4SM3XA4CZUMEJE7KMZKIFKI/events.json","paper":"https://pith.science/paper/WOC4SM3X"},"agent_actions":{"view_html":"https://pith.science/pith/WOC4SM3XA4CZUMEJE7KMZKIFKI","download_json":"https://pith.science/pith/WOC4SM3XA4CZUMEJE7KMZKIFKI.json","view_paper":"https://pith.science/paper/WOC4SM3X","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1810.04276&json=true","fetch_graph":"https://pith.science/api/pith-number/WOC4SM3XA4CZUMEJE7KMZKIFKI/graph.json","fetch_events":"https://pith.science/api/pith-number/WOC4SM3XA4CZUMEJE7KMZKIFKI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WOC4SM3XA4CZUMEJE7KMZKIFKI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WOC4SM3XA4CZUMEJE7KMZKIFKI/action/storage_attestation","attest_author":"https://pith.science/pith/WOC4SM3XA4CZUMEJE7KMZKIFKI/action/author_attestation","sign_citation":"https://pith.science/pith/WOC4SM3XA4CZUMEJE7KMZKIFKI/action/citation_signature","submit_replication":"https://pith.science/pith/WOC4SM3XA4CZUMEJE7KMZKIFKI/action/replication_record"}},"created_at":"2026-05-18T00:03:40.594165+00:00","updated_at":"2026-05-18T00:03:40.594165+00:00"}