{"id":"W2160664342","doi":"10.1109/mwscas.1994.519194","title":"Token ring arbitration circuits for dynamic priority algorithms","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; University of Regina","funders":"","keywords":"Computer science; Security token; Arbitration; Token ring; Ring (chemistry); Algorithm; Electronic circuit; Parallel computing; Computer network; Engineering; Electrical engineering","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004211835,0.00008091265,0.00008284103,0.00005989643,0.0001165796,0.0001124434,0.0004457062,0.00005370523,0.00002070239],"category_scores_gemma":[0.00009347482,0.00007934853,0.00004216916,0.0002071846,0.0000158761,0.0008017741,0.00005045671,0.00007270791,0.00005359648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006988912,"about_ca_system_score_gemma":0.00001065267,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006566762,"about_ca_topic_score_gemma":0.000004056364,"domain_scores_codex":[0.9991584,0.00003771482,0.000184723,0.0002668992,0.000157182,0.0001950588],"domain_scores_gemma":[0.9993603,0.00005694437,0.00006459647,0.0003959664,0.00007434792,0.00004780632],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[7.315221e-7,0.00005549552,0.00005803114,0.00002408551,0.000007108532,6.262114e-7,0.0005732638,0.00007827511,0.003431104,0.2643651,0.0001712877,0.7312349],"study_design_scores_gemma":[0.0001617278,0.00004699802,0.001829769,0.000004288505,0.000002366373,0.000006247055,0.000007770696,0.9865528,0.005400934,0.004239557,0.001633124,0.0001143683],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002648817,0.0000440064,0.9834096,0.0002414118,0.0004724298,0.0002939795,0.00000111663,0.0002459137,0.01264271],"genre_scores_gemma":[0.1747398,0.00001021822,0.8243568,0.0001792832,0.00004382444,0.00004015756,0.000001526809,0.000005453096,0.0006229627],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9864746,"threshold_uncertainty_score":0.3235739,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05134657811609136,"score_gpt":0.3080800003687205,"score_spread":0.2567334222526291,"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."}}