{"id":"W1974278282","doi":"10.1142/s0129054107004917","title":"ON THE STATE COMPLEXITY OF COMBINED OPERATIONS AND THEIR ESTIMATION","year":2007,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University; Queen's University","funders":"","keywords":"State (computer science); Nondeterministic algorithm; Computational complexity theory; Estimation; Computer science; Theoretical computer science; Class (philosophy); Algorithm; Mathematical optimization; Mathematics; Artificial intelligence; 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.004228685,0.001144086,0.001390147,0.002380206,0.0007671535,0.002741513,0.001780091,0.001228111,0.004175529],"category_scores_gemma":[0.04042499,0.0006638106,0.00162076,0.001923554,0.002652154,0.009001373,0.002688678,0.003083422,0.0003647837],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001988011,"about_ca_system_score_gemma":0.001353216,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001971883,"about_ca_topic_score_gemma":0.001102602,"domain_scores_codex":[0.995217,0.001351811,0.0002639705,0.001093163,0.001610036,0.000464114],"domain_scores_gemma":[0.9205492,0.06949817,0.003123339,0.003957358,0.002168026,0.0007039974],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006174012,0.0001892455,0.008623551,0.0004760476,0.0002229292,0.0002402333,0.0003968481,0.6326538,0.01007574,0.2585298,0.00102319,0.08695128],"study_design_scores_gemma":[0.000007346825,0.00005071973,0.0009642043,0.00001904504,0.00002975875,0.00005195868,0.00002611979,0.8957388,0.002822525,0.09992038,0.000334048,0.00003511233],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1043237,0.0005794219,0.8913317,0.0003074248,0.00003323723,0.00006725454,0.0002167052,0.0002400594,0.002900471],"genre_scores_gemma":[0.8382711,0.0006830705,0.1577166,0.00006666753,0.0001465308,0.0002989215,0.0005643608,0.0002134086,0.002039273],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004228685,"threshold_uncertainty_score":0.02236366,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02741647812262987,"score_gpt":0.2995984270744542,"score_spread":0.2721819489518243,"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."}}