{"id":"W2106154414","doi":"","title":"Nondeterministic Bimachines and Rational Relations with Finite Codomain","year":2006,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Nondeterministic algorithm; Mathematics; Rational function; Finite set; Discrete mathematics; Pure 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001221376,0.0004687597,0.0004642624,0.0007655683,0.0009856794,0.002064398,0.0006015245,0.0006695699,0.003111321],"category_scores_gemma":[0.003532838,0.0003907908,0.0009442366,0.0005446211,0.005013454,0.004553601,0.001930429,0.001903101,0.0005502771],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008346846,"about_ca_system_score_gemma":0.0006375606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004532996,"about_ca_topic_score_gemma":0.0004435826,"domain_scores_codex":[0.9981831,0.0004131006,0.0001713704,0.0005826923,0.0004227401,0.0002270144],"domain_scores_gemma":[0.997761,0.001156076,0.0002951977,0.000470302,0.0002196899,0.00009768773],"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.00002520056,0.000009412181,0.0003218119,0.00003858137,0.000004666763,0.00007603032,0.0003452863,0.001321374,0.003515265,0.9883153,0.000113136,0.005913957],"study_design_scores_gemma":[0.00001379114,0.00005997783,0.0005073111,0.00003141581,0.00001475041,0.0003291669,0.0002093919,0.01235993,0.0147969,0.9574474,0.01419565,0.00003435176],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1823753,0.001313171,0.7869897,0.0004277338,0.0001424088,0.00008952543,0.0001932887,0.000470759,0.02799816],"genre_scores_gemma":[0.8598956,0.0006104703,0.1297237,0.0001699183,0.0001043483,0.0001694683,0.0002128704,0.0001117807,0.009001763],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003111321,"threshold_uncertainty_score":0.01040846,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004265870775491289,"score_gpt":0.1904749824786068,"score_spread":0.1862091117031155,"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."}}