{"id":"W1486877437","doi":"10.1007/3-540-44674-5_26","title":"The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Parameterized complexity; Intersection (aeronautics); Finite-state machine; Transducer; Automaton; Composition (language); Computational complexity theory; Computer science; State (computer science); Finite state; Representation (politics); Algorithm; Time complexity; Theoretical computer science; Acoustics","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.0007864482,0.000281577,0.0003990459,0.0003682824,0.0002855746,0.0002501361,0.0013654,0.0001133973,0.000004859739],"category_scores_gemma":[0.00006550331,0.0002092073,0.0000835013,0.0003415822,0.001542432,0.0003145469,0.000629,0.0003428058,0.000003128214],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008466921,"about_ca_system_score_gemma":0.0001180161,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004907224,"about_ca_topic_score_gemma":0.00006303623,"domain_scores_codex":[0.9979675,0.00008170401,0.0005376213,0.0006408583,0.0005025236,0.000269839],"domain_scores_gemma":[0.9975377,0.0009979213,0.0002943626,0.000935623,0.0001695424,0.00006481737],"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.00006669812,0.0001039604,0.0000162536,0.00007203008,0.00003551537,0.00002833248,0.00173776,0.07096822,0.003654609,0.1399834,0.0000111066,0.7833221],"study_design_scores_gemma":[0.0002720445,0.0003194656,0.0002109374,0.000350652,0.00000574877,0.0000473728,4.630302e-7,0.8260351,0.005546662,0.166937,0.00006658585,0.00020799],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01142867,0.00009881823,0.9864131,0.0004963364,0.0005957507,0.0003099764,0.00002118246,0.00007064347,0.0005655291],"genre_scores_gemma":[0.9191133,0.0001012601,0.08038405,0.0003024537,0.00003956276,0.000005640842,0.000009375806,0.00001360212,0.00003074139],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9076846,"threshold_uncertainty_score":0.8531225,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02824155305727554,"score_gpt":0.2603732987965553,"score_spread":0.2321317457392797,"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."}}