{"id":"W2616617106","doi":"10.1142/s0129054117500137","title":"Worst Case Branching and Other Measures of Nondeterminism","year":2017,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Nondeterministic algorithm; TRACE (psycholinguistics); Mathematics; Computation; Upper and lower bounds; Nondeterministic finite automaton; Tree (set theory); Bounded function; Discrete mathematics; Branching (polymer chemistry); Automaton; Combinatorics; Computer science; Algorithm; Automata theory; Theoretical computer science","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.005402145,0.001680042,0.001770886,0.002666943,0.001737598,0.004954474,0.003280392,0.00221055,0.006336429],"category_scores_gemma":[0.05552364,0.0007920556,0.002303449,0.002822699,0.005384617,0.01296788,0.00286246,0.006004893,0.0006101769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003325531,"about_ca_system_score_gemma":0.001390792,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009897085,"about_ca_topic_score_gemma":0.0006165269,"domain_scores_codex":[0.9937547,0.001134969,0.0003933773,0.001796816,0.002105582,0.0008143997],"domain_scores_gemma":[0.9119933,0.06731215,0.005533776,0.008515255,0.003336713,0.0033089],"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.0003261065,0.0001622941,0.005259325,0.0003831185,0.0001360096,0.0004482051,0.0008081157,0.08597812,0.009608644,0.8666928,0.001490094,0.02870717],"study_design_scores_gemma":[0.00001287619,0.00008729821,0.001094628,0.00005593915,0.00004634282,0.0003703176,0.00007687006,0.149496,0.003637423,0.8429606,0.002112979,0.00004864413],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1812688,0.005754352,0.7861819,0.002576072,0.0002727981,0.0001151603,0.0008014573,0.001302869,0.02172656],"genre_scores_gemma":[0.9089487,0.001715445,0.0819236,0.0003426475,0.0005074961,0.0002451268,0.0005242268,0.0006012864,0.005191564],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006336429,"threshold_uncertainty_score":0.02856964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04300114367963864,"score_gpt":0.3331492841058865,"score_spread":0.2901481404262479,"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."}}