{"id":"W2401586919","doi":"","title":"Restricted sets of trajectories and decidability of shuffle decompositions.","year":2004,"lang":"en","type":"article","venue":"DCFS","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University; Acadia University","funders":"","keywords":"Decidability; Unary operation; Mathematics; Regular language; Context (archaeology); Set (abstract data type); Discrete mathematics; Combinatorics; Automaton; Computer science; Theoretical computer science; Programming language","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.0001032396,0.00005187299,0.0001151681,0.0000456724,0.00003270425,0.00001345259,0.0002124682,0.00002875479,0.000004714605],"category_scores_gemma":[0.00003767169,0.00004614929,0.00002730608,0.0002354368,0.00008581811,0.0001523027,0.00007367235,0.00003422874,0.000001082356],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001352419,"about_ca_system_score_gemma":0.00004289785,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001017759,"about_ca_topic_score_gemma":0.000009849809,"domain_scores_codex":[0.9994981,0.00002650551,0.000160639,0.0001338109,0.00009941634,0.00008158193],"domain_scores_gemma":[0.9994848,0.0001019401,0.00006061895,0.0002730084,0.00004689006,0.00003276083],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00006078376,0.0006851283,0.02965258,0.000225593,0.00007024124,0.00001906375,0.007037519,0.0004402965,0.1175384,0.784207,0.0003000295,0.05976336],"study_design_scores_gemma":[0.001033926,0.0002945485,0.5537557,0.00008657802,0.00001372108,0.00002849148,0.0001188686,0.002203876,0.2176739,0.2243048,0.0002759443,0.0002096183],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9661678,0.0001610563,0.03301312,0.0001785899,0.00007975441,0.00006288208,0.000008539981,0.00004306339,0.0002851953],"genre_scores_gemma":[0.9732677,0.000008557835,0.02668166,0.00002309717,0.000009826047,0.000002476139,0.000001590035,0.000002131369,0.000002911436],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5599023,"threshold_uncertainty_score":0.1881913,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008540758322706883,"score_gpt":0.2390265918184794,"score_spread":0.2304858334957726,"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."}}