{"id":"W2005181510","doi":"10.1016/j.jcss.2003.04.001","title":"Subword histories and Parikh matrices","year":2003,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"semigroups and automata theory","field":"Computer Science","cited_by":85,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Decidability; Equivalence (formal languages); Sequence (biology); Type (biology); Word (group theory); Computer science; Mathematics; Discrete mathematics","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.00160917,0.00009333878,0.0002282746,0.0001598941,0.0002384977,0.0004782082,0.0004544168,0.00002728391,0.000001277812],"category_scores_gemma":[0.00001154556,0.00006091829,0.00003983407,0.0002691484,0.0001488762,0.000801656,0.00007826765,0.00006703436,9.49865e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001874713,"about_ca_system_score_gemma":0.00007531189,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004397205,"about_ca_topic_score_gemma":6.439012e-7,"domain_scores_codex":[0.9989023,0.0001331071,0.0003246325,0.00017024,0.0003122334,0.000157527],"domain_scores_gemma":[0.9992667,0.000174091,0.0002707019,0.0001086735,0.00007434964,0.0001054607],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004357337,0.00002907827,0.008999269,0.0001203244,0.00002365062,0.00007335679,0.002367788,0.00006361748,0.00009906599,0.9527311,0.00137928,0.03410906],"study_design_scores_gemma":[0.006538895,0.008446256,0.07851058,0.002601542,0.000229542,0.06400061,0.01408643,0.4300501,0.003381457,0.1228143,0.2656213,0.00371897],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4006418,0.008880431,0.5838747,0.0005443615,0.002791549,0.00009526719,4.867827e-7,0.00005590028,0.003115517],"genre_scores_gemma":[0.9504158,0.00004966172,0.04932545,0.00007124713,0.0001103502,4.331754e-7,1.217963e-8,0.000001886275,0.0000251587],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8299169,"threshold_uncertainty_score":0.4611373,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01107804895600222,"score_gpt":0.2151253469048074,"score_spread":0.2040472979488052,"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."}}