{"id":"W2951207499","doi":"10.1007/s00446-019-00355-1","title":"Deciding and verifying network properties locally with few output bits","year":2019,"lang":"en","type":"article","venue":"Distributed Computing","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec en Outaouais","funders":"Agence Nationale de la Recherche; Natural Sciences and Engineering Research Council of Canada; Institut national de recherche en informatique et en automatique (INRIA)","keywords":"Predicate (mathematical logic); Verdict; Computer science; Theory of computation; Boolean network; Discrete mathematics; Theoretical computer science; Mathematics; Algorithm; Boolean function; Law; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.005431774,0.001423652,0.002046788,0.0008666579,0.00166977,0.004584142,0.002503832,0.002648693,0.005724007],"category_scores_gemma":[0.03746739,0.001255542,0.001755454,0.0008867824,0.00410774,0.01179371,0.004961363,0.003378629,0.001328705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001793264,"about_ca_system_score_gemma":0.002668422,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001204479,"about_ca_topic_score_gemma":0.002112116,"domain_scores_codex":[0.9890556,0.003577485,0.0008443103,0.002498469,0.002526348,0.001497774],"domain_scores_gemma":[0.8754101,0.1030758,0.005516218,0.01218919,0.002625892,0.001182703],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0119451,0.001069752,0.02478379,0.001479532,0.0006937979,0.002330169,0.001882946,0.4071642,0.2058764,0.1667683,0.006582038,0.169424],"study_design_scores_gemma":[0.0004970907,0.0005696957,0.00110952,0.00006865699,0.0001997428,0.0002563391,0.000437966,0.634976,0.1461143,0.2146343,0.001056556,0.00007987474],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3853365,0.0001679471,0.6046528,0.001146691,0.0001042366,0.0002087382,0.0004286464,0.003729487,0.004224955],"genre_scores_gemma":[0.9338028,0.00007204226,0.06329946,0.0002222923,0.00009666677,0.000136777,0.0003489414,0.0005071005,0.001514034],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005724007,"threshold_uncertainty_score":0.02872628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01325192211516647,"score_gpt":0.1993719256950851,"score_spread":0.1861200035799186,"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."}}