{"id":"W4401598533","doi":"10.1007/978-3-031-68400-5_12","title":"CDS Composition of Multi-round Protocols","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Data Storage Technologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Composition (language)","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002276147,0.000694147,0.0009518919,0.001023687,0.001755277,0.00252334,0.001407889,0.0009194766,0.01585479],"category_scores_gemma":[0.005298916,0.0009001992,0.0008407507,0.001404895,0.00120915,0.004520486,0.003883626,0.002614169,0.003582363],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001575182,"about_ca_system_score_gemma":0.001489758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001042446,"about_ca_topic_score_gemma":0.001288384,"domain_scores_codex":[0.9977319,0.0006558941,0.0001688684,0.0004483041,0.0007157866,0.0002793587],"domain_scores_gemma":[0.9960277,0.001754022,0.0001615804,0.001289411,0.0004939229,0.0002733248],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005200178,0.00009811774,0.0003181377,0.0001986591,0.00002821896,0.0001965011,0.0003965031,0.01090082,0.01330729,0.8766446,0.00608155,0.09130971],"study_design_scores_gemma":[0.0001298232,0.00009438971,0.0003604406,0.0001010719,0.00007286203,0.0003269369,0.0001956218,0.1488575,0.04278231,0.7410367,0.06599466,0.00004766266],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03515403,0.000452575,0.8970827,0.0004359534,0.0002928213,0.0002938493,0.0003928754,0.00237141,0.06352381],"genre_scores_gemma":[0.3915114,0.0006550212,0.5114415,0.0002712516,0.0001886766,0.0005189119,0.001047025,0.001221208,0.09314509],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01585479,"threshold_uncertainty_score":0.05303961,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03271625657244092,"score_gpt":0.3067580909927956,"score_spread":0.2740418344203547,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}