{"id":"W2425734003","doi":"10.1109/icde.2016.7498354","title":"WatCA: The Waterloo consistency analyzer","year":2016,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Consistency (knowledge bases); Correctness; Data consistency; Eventual consistency; Replication (statistics); Key (lock); Consistency model; Distributed computing; Software; Cache coherence; Strong consistency; Variety (cybernetics); Weak consistency; Computer data storage; Operating system; Programming 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.003122768,0.001659068,0.0011206,0.005728731,0.001622822,0.004626981,0.004321421,0.0009915705,0.04480933],"category_scores_gemma":[0.01461834,0.002037448,0.00114051,0.003537032,0.001093247,0.006459112,0.002350162,0.002479371,0.01677845],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003191988,"about_ca_system_score_gemma":0.008585514,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.06518877,"about_ca_topic_score_gemma":0.07209944,"domain_scores_codex":[0.9953679,0.00058023,0.0004861193,0.0009273261,0.002143855,0.0004945838],"domain_scores_gemma":[0.991799,0.001872467,0.0006048601,0.001690893,0.003721827,0.0003109988],"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.0007464576,0.0002654507,0.009470105,0.0007858108,0.0002499477,0.0002707629,0.0004965094,0.007030179,0.01342145,0.05695921,0.6264088,0.2838954],"study_design_scores_gemma":[0.0005381707,0.0001239764,0.004316178,0.0003158045,0.0002159615,0.0004108659,0.0003258713,0.2564928,0.05150579,0.05177537,0.6337149,0.0002643577],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"software","genre_gemma":"software","genre_scores_codex":[0.008199883,0.0009320842,0.4411075,0.0007597383,0.000429298,0.0007997055,0.01428455,0.4767277,0.05675963],"genre_scores_gemma":[0.1377126,0.001177485,0.7073657,0.001248061,0.0002987735,0.001704235,0.04256442,0.04919545,0.0587333],"genre_candidate":"software","genre_consensus":"software","teacher_disagreement_score":0.06518877,"threshold_uncertainty_score":0.1499022,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01098994504572022,"score_gpt":0.2130738801989226,"score_spread":0.2020839351532024,"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."}}