{"id":"W1593046698","doi":"10.1007/978-3-642-18098-9_11","title":"State Complexity of Catenation Combined with Union and Intersection","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Catenation; Intersection (aeronautics); State (computer science); Computer science; Combined operations; Composition (language); Algorithm; Engineering; Law; Political 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.0023099,0.0007079115,0.002231058,0.002079333,0.002169662,0.007705489,0.00298428,0.002395617,0.0159469],"category_scores_gemma":[0.0170538,0.00121923,0.003261054,0.003115071,0.003673842,0.02045587,0.004709763,0.005493949,0.0009991442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003138917,"about_ca_system_score_gemma":0.002251632,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002680897,"about_ca_topic_score_gemma":0.002525571,"domain_scores_codex":[0.9958425,0.0008309889,0.0002958526,0.0007310324,0.001595892,0.0007037048],"domain_scores_gemma":[0.9738967,0.01991453,0.0009050696,0.003271855,0.001356446,0.0006552687],"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.0003021266,0.00008007512,0.001009809,0.0002093782,0.0000441826,0.0001070908,0.0004058979,0.02573087,0.002044622,0.9484161,0.002785164,0.01886466],"study_design_scores_gemma":[0.00002402141,0.00002995929,0.0003526659,0.00001890176,0.00004010216,0.00006970748,0.00006708058,0.09386206,0.001888093,0.902489,0.001127058,0.00003147381],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4765657,0.001824402,0.4231739,0.003790972,0.0003440465,0.0001927996,0.00160768,0.001235598,0.09126496],"genre_scores_gemma":[0.9626786,0.00041231,0.02627479,0.0001437358,0.0002508447,0.0001209002,0.0007016768,0.0002627971,0.009154267],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0159469,"threshold_uncertainty_score":0.05334771,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02188874904367145,"score_gpt":0.2190697652432465,"score_spread":0.1971810161995751,"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."}}