{"id":"W2896032622","doi":"10.4204/eptcs.282.6","title":"Refining Santa: An Exercise in Efficient Synchronization","year":2018,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Refining (metallurgy); Computer science; Synchronization (alternating current); Simple (philosophy); Programming language; Telecommunications","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.004496606,0.0006340354,0.0008272348,0.0006459188,0.001850293,0.002034922,0.002432963,0.001292097,0.006979558],"category_scores_gemma":[0.01412065,0.001044736,0.001081845,0.0009622341,0.00336772,0.006970077,0.004296399,0.002978049,0.001914398],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009834339,"about_ca_system_score_gemma":0.002148758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002539313,"about_ca_topic_score_gemma":0.003436752,"domain_scores_codex":[0.9970907,0.0009679227,0.0001879323,0.0004337676,0.0009646582,0.0003550291],"domain_scores_gemma":[0.9928803,0.002561393,0.0002447499,0.003582325,0.0005606393,0.0001705958],"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.0002037945,0.00006308548,0.0007266223,0.0001519811,0.00002565738,0.0002095156,0.001188234,0.02154692,0.01465142,0.8551248,0.002652023,0.103456],"study_design_scores_gemma":[0.0001328901,0.0001688365,0.0003166816,0.0001259287,0.00008582244,0.0003177553,0.0004431424,0.1692944,0.03574907,0.7338803,0.05941244,0.00007281815],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02539937,0.0001114416,0.9617173,0.0006424077,0.00004889826,0.0001049626,0.00003345593,0.001646637,0.01029546],"genre_scores_gemma":[0.4051248,0.0003011822,0.5810471,0.0002508784,0.00006718109,0.0001755027,0.00009590183,0.001011621,0.01192578],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006979558,"threshold_uncertainty_score":0.02378058,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0077748444266685,"score_gpt":0.2470950750184608,"score_spread":0.2393202305917923,"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."}}