{"id":"W1500786493","doi":"10.3233/fi-2010-285","title":"An Improved Bound for an Extension of Fine and Wilf’s Theorem and Its Optimality","year":2010,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"semigroups and automata theory","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Extension (predicate logic); Mathematics; Discrete mathematics; Combinatorics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00886472,0.002410785,0.004195922,0.004419672,0.003429392,0.004609189,0.006788376,0.00450908,0.01810217],"category_scores_gemma":[0.04502211,0.001193136,0.00464991,0.004078303,0.006991006,0.01767172,0.007773865,0.01055181,0.005099992],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005841326,"about_ca_system_score_gemma":0.003348154,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003372257,"about_ca_topic_score_gemma":0.002522323,"domain_scores_codex":[0.9899731,0.001690965,0.000431685,0.002623112,0.003225754,0.00205534],"domain_scores_gemma":[0.9700033,0.02035397,0.000879951,0.004470185,0.002998895,0.001293578],"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.001026441,0.0003156035,0.002138522,0.0008850518,0.0001751905,0.000550507,0.0006938158,0.02980867,0.006900131,0.8176135,0.04274748,0.09714506],"study_design_scores_gemma":[0.00007532861,0.0002020504,0.0009825233,0.0002070377,0.0001323899,0.0005244719,0.00008387453,0.09139617,0.003423523,0.8742975,0.02854366,0.0001314297],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07615393,0.01171034,0.7087485,0.01391333,0.004321573,0.000331933,0.001704702,0.001568201,0.1815475],"genre_scores_gemma":[0.5842122,0.00648082,0.3345033,0.007701862,0.005098729,0.0009574026,0.002012234,0.002214023,0.05681938],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01810217,"threshold_uncertainty_score":0.06055778,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01652142535345347,"score_gpt":0.2746668975644844,"score_spread":0.2581454722110309,"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."}}