{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004265391,0.0002909251,0.0003990689,0.0000499801,0.0003624536,0.0006345265,0.0006911609,0.00009377105,0.000002229562],"category_scores_gemma":[0.00002511173,0.0002328802,0.0000524844,0.000719064,0.0000535943,0.0004291364,0.0003388066,0.0002552729,0.00003977578],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006425806,"about_ca_system_score_gemma":0.00008617486,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003576815,"about_ca_topic_score_gemma":0.000003970245,"domain_scores_codex":[0.9977925,0.00008218723,0.0003897586,0.0006754068,0.0003641102,0.0006960054],"domain_scores_gemma":[0.9987991,0.00009424815,0.0002091424,0.0005603639,0.0001754375,0.0001617186],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001629291,0.0002345462,0.3182998,0.0008647426,0.0004439377,0.0002774393,0.002546889,0.4149653,0.002266393,0.05922773,0.004140825,0.1965695],"study_design_scores_gemma":[0.001208152,0.0002049712,0.02949654,0.001369235,0.00001536717,0.0001550477,0.0002027923,0.9577413,0.0003488589,0.0001421595,0.008391565,0.0007240054],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3630007,0.0006994181,0.6348687,0.0001302215,0.0003121332,0.0002604842,0.00001033056,0.0002807842,0.0004371851],"genre_scores_gemma":[0.9915804,0.000006622165,0.008027453,0.0001521536,0.0001371239,0.000005995877,0.00002945849,0.00001914727,0.00004168043],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6285797,"threshold_uncertainty_score":0.9496578,"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."}}