{"id":"W2138502430","doi":"10.1007/s00236-011-0132-0","title":"Nonatomic dual bakery algorithm with bounded tokens","year":2011,"lang":"en","type":"article","venue":"Acta Informatica","topic":"Scheduling and Optimization Algorithms","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Northern British Columbia","funders":"","keywords":"Theory of computation; Bounded function; Dual (grammatical number); Computer science; Algorithm; Mathematics; Theoretical computer science; Discrete mathematics","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.0000852717,0.0001542383,0.0001448873,0.0000944469,0.00006608645,0.00005632648,0.0001243444,0.00007619799,0.000390635],"category_scores_gemma":[0.00001302928,0.0001290834,0.0000322304,0.000172985,0.00004356563,0.0005017427,0.0000226171,0.0001618743,0.0003378705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003436591,"about_ca_system_score_gemma":0.00003143562,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006454407,"about_ca_topic_score_gemma":0.000001976224,"domain_scores_codex":[0.9992339,0.000005491567,0.0002589831,0.00006866163,0.0001686036,0.0002643504],"domain_scores_gemma":[0.9995452,0.0000249172,0.00003629782,0.0002322579,0.00004947114,0.0001118255],"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":[0.0004143539,0.0009128179,0.002642078,0.00174054,0.003642771,0.0003957809,0.173056,0.0722566,0.0003531666,0.01415697,0.05008316,0.6803458],"study_design_scores_gemma":[0.0007325524,0.00007267327,0.0006013357,0.00003828766,0.00003167025,0.0001062933,0.0007822238,0.9906002,0.001692102,0.0001140774,0.004838821,0.0003897236],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1890413,0.0001023962,0.465156,0.0001234684,0.001308396,0.0006075913,0.0000527319,0.002891638,0.3407165],"genre_scores_gemma":[0.4084301,0.00003356484,0.5909478,0.0002528954,0.00006838774,0.00002480204,0.00003611615,0.00004116659,0.0001651097],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9183437,"threshold_uncertainty_score":0.5263867,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01118819269320874,"score_gpt":0.179943442593136,"score_spread":0.1687552498999272,"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."}}