{"id":"W3127457110","doi":"10.1145/3197406.3197420","title":"Proving PACELC","year":2018,"lang":"en","type":"article","venue":"ACM SIGACT News","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Liveness; Computer science; Scalability; Consistency (knowledge bases); Partition (number theory); Cache coherence; Latency (audio); Model checking; Theoretical computer science; Distributed computing; Computer network; Mathematics; Artificial intelligence; Operating system; Combinatorics; 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.01093919,0.00178611,0.001399426,0.002364075,0.003176633,0.007067823,0.004343834,0.003304569,0.02097677],"category_scores_gemma":[0.05751134,0.001841011,0.004934195,0.002210734,0.007265264,0.01826978,0.01369297,0.01027028,0.005868962],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004051532,"about_ca_system_score_gemma":0.005661902,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003644255,"about_ca_topic_score_gemma":0.003035996,"domain_scores_codex":[0.9852216,0.002552173,0.0009710331,0.002892285,0.005967677,0.002395333],"domain_scores_gemma":[0.9375768,0.03967018,0.002656097,0.006962692,0.0116192,0.00151513],"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.0001062058,0.000130728,0.00130364,0.0005304095,0.0000752966,0.0005111224,0.0006045226,0.01145422,0.002812467,0.9307562,0.02310061,0.02861446],"study_design_scores_gemma":[0.00008721765,0.00006506616,0.0002076224,0.0001283936,0.00005274482,0.0002930121,0.0002458718,0.03248467,0.004475319,0.9249135,0.03700491,0.00004172256],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01342789,0.0007144301,0.8992668,0.008405701,0.0008912777,0.0003410527,0.001731099,0.005275622,0.06994613],"genre_scores_gemma":[0.5160457,0.002408867,0.4284417,0.01416951,0.003115745,0.002163863,0.006330343,0.003400212,0.023924],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02097677,"threshold_uncertainty_score":0.07017434,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01926804898218138,"score_gpt":0.2635805219920797,"score_spread":0.2443124730098983,"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."}}