{"id":"W2883140496","doi":"10.1145/3241950.3241953","title":"Synchronous Signals","year":2018,"lang":"en","type":"article","venue":"ACM SIGAda Ada Letters","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"General Dynamics (Canada)","funders":"","keywords":"Computer science; Synchronizing; Concurrency; Synchronization (alternating current); Abstraction; Code (set theory); Interface (matter); Blocking (statistics); Concurrency control; Parallel computing; Distributed computing; Programming language; Computer network; Transmission (telecommunications); Set (abstract data type); 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002206112,0.0001769263,0.0001990635,0.00005869037,0.0001829961,0.0002280101,0.001978182,0.0000548776,0.00005895329],"category_scores_gemma":[0.00008530767,0.0001619941,0.00007564522,0.0003673384,0.0001132961,0.0004761609,0.0003362457,0.0001167178,0.0006661675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005400431,"about_ca_system_score_gemma":0.0000462192,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001104346,"about_ca_topic_score_gemma":0.00001321697,"domain_scores_codex":[0.9984092,0.00005762322,0.0002670565,0.0004626267,0.0003572167,0.0004462901],"domain_scores_gemma":[0.9982533,0.0001147727,0.0001042598,0.001320687,0.00008051092,0.0001264919],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002106808,0.0001446137,0.002001098,0.00006657089,0.0001459764,0.0004216619,0.00190199,0.0002290916,0.2063422,0.01340494,0.706465,0.06885584],"study_design_scores_gemma":[0.002083652,0.0006291753,0.01145562,0.0003849078,0.00003272401,0.000280434,0.00012878,0.01971985,0.06471232,0.003483435,0.8948491,0.002240013],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2203232,0.0001893027,0.7564837,0.01828956,0.001648603,0.0002302587,0.00001151559,0.0004082911,0.002415583],"genre_scores_gemma":[0.9744487,0.000002058708,0.01403324,0.01084161,0.0005169249,0.00001727083,0.000003694854,0.0000125624,0.0001238725],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7541255,"threshold_uncertainty_score":0.8562458,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01215564041353887,"score_gpt":0.2366414925190289,"score_spread":0.2244858521054901,"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."}}