{"id":"W4392414320","doi":"","title":"Algorithmic methods for the verification of consistency in distributed systems","year":2021,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Campus France; Centre National pour la Recherche Scientifique et Technique; Agence Universitaire de la Francophonie; Agence Nationale de la Recherche","keywords":"Consistency (knowledge bases); Computer science; Distributed computing; Software engineering; Theoretical computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01302166,0.003192844,0.002414251,0.004503191,0.002167763,0.005294795,0.005884058,0.003229201,0.0071259],"category_scores_gemma":[0.05432871,0.00197931,0.006075152,0.004323852,0.006299211,0.008817257,0.006640543,0.007917709,0.001908399],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003617704,"about_ca_system_score_gemma":0.004924268,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004818043,"about_ca_topic_score_gemma":0.004227123,"domain_scores_codex":[0.9800881,0.00792385,0.001974629,0.002153269,0.006637238,0.001222953],"domain_scores_gemma":[0.9489532,0.04148531,0.001784772,0.004388381,0.003038845,0.0003494506],"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.0001695319,0.0002404905,0.001532627,0.001572908,0.0003279148,0.0003741321,0.0006580948,0.2115045,0.002410521,0.6833762,0.003973179,0.09385986],"study_design_scores_gemma":[0.0001229516,0.00004782316,0.0001473486,0.0002120295,0.000078488,0.00008501692,0.00008864608,0.3842416,0.001441578,0.6049868,0.008510868,0.0000367842],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001308794,0.0005318923,0.9946657,0.0003602739,0.00008116056,0.0002047266,0.0001052488,0.0004394896,0.002302636],"genre_scores_gemma":[0.0842618,0.00144282,0.908589,0.0004197013,0.0004266441,0.001265909,0.0008322764,0.0003410298,0.002420865],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01302166,"threshold_uncertainty_score":0.06886595,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02526508603056809,"score_gpt":0.282789748318744,"score_spread":0.2575246622881759,"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."}}