{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005616866,0.0003604222,0.0002703232,0.0004235362,0.0004129272,0.001155052,0.001053858,0.0005383616,0.005716544],"category_scores_gemma":[0.002100626,0.0002007872,0.0002709202,0.0004896701,0.0006649231,0.00149458,0.0004603263,0.0009701761,0.0006471348],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001028342,"about_ca_system_score_gemma":0.0007525578,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005181052,"about_ca_topic_score_gemma":0.0007413533,"domain_scores_codex":[0.9995728,0.00009403423,0.00003779955,0.00007353241,0.0001541024,0.00006782547],"domain_scores_gemma":[0.9994844,0.0002935905,0.00005836916,0.00006236137,0.00008187965,0.00001942012],"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.0001861716,0.00005387412,0.0001138612,0.0002061483,0.00001848831,0.0001056845,0.00008465587,0.02809209,0.02619046,0.7893227,0.002659743,0.1529661],"study_design_scores_gemma":[0.000227524,0.0002960373,0.0001720359,0.00007416787,0.00008468249,0.0003447816,0.00003983466,0.5432493,0.05413037,0.335255,0.06606209,0.00006415756],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01180396,0.0006147876,0.9758174,0.0001617722,0.0001325375,0.00009485206,0.00006202814,0.0008840472,0.0104286],"genre_scores_gemma":[0.5086577,0.0009957333,0.4783032,0.0002496545,0.0001190251,0.0003264667,0.0001674815,0.0001580815,0.01102266],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005716544,"threshold_uncertainty_score":0.01912373,"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."}}