{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003544601,0.001230864,0.002617997,0.002013911,0.002941456,0.01347014,0.005639518,0.003011363,0.01208192],"category_scores_gemma":[0.03814701,0.002280151,0.003562572,0.005403967,0.006009988,0.05324748,0.004419322,0.007486978,0.0009642871],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006570671,"about_ca_system_score_gemma":0.003342675,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003631413,"about_ca_topic_score_gemma":0.002639909,"domain_scores_codex":[0.991932,0.002050623,0.0007937592,0.001612476,0.00271382,0.0008974095],"domain_scores_gemma":[0.9359453,0.0514948,0.002637481,0.00660867,0.001993858,0.00131996],"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.0005435703,0.0001910985,0.002967174,0.0002668889,0.0001329215,0.0002019299,0.00101647,0.06502543,0.002651575,0.8879333,0.003520455,0.03554928],"study_design_scores_gemma":[0.00003493922,0.00002803411,0.0005989922,0.00002115344,0.00004549317,0.0001137085,0.0001384016,0.08158632,0.001462751,0.9147424,0.001189783,0.00003805739],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4965936,0.00238991,0.4522214,0.00462143,0.0002506168,0.000226552,0.002632586,0.001097637,0.0399663],"genre_scores_gemma":[0.9298288,0.001050918,0.05754484,0.0002089319,0.000394556,0.0003372795,0.001919853,0.0004809938,0.008233867],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01347014,"threshold_uncertainty_score":0.04767376,"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."}}