{"id":"W2090557973","doi":"10.1016/j.aml.2011.12.009","title":"Implication of regular expressions","year":2011,"lang":"en","type":"article","venue":"Applied Mathematics Letters","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"P; Disjoint sets; Mathematics; Combinatorics; String (physics); Simple (philosophy); Set (abstract data type); Jump; Expression (computer science); Discrete mathematics; Time complexity; Computer science","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.0001252215,0.00009001015,0.00013173,0.00005744363,0.00005327798,0.0000163833,0.0007115908,0.00003365113,0.00002111575],"category_scores_gemma":[0.000005671185,0.00007343639,0.00003461927,0.0001358064,0.00003869978,0.0001522951,0.0002701994,0.00005630163,0.00003522802],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007883392,"about_ca_system_score_gemma":0.000007476606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004952527,"about_ca_topic_score_gemma":8.013401e-8,"domain_scores_codex":[0.9992553,0.00000592375,0.0002326034,0.0001914574,0.0001785007,0.0001362238],"domain_scores_gemma":[0.9988438,0.00004237001,0.0001641591,0.0008807493,0.00002137886,0.00004747691],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000001377291,0.0001048857,0.000003793522,0.00003569002,0.000008807426,0.000001096145,0.001898527,0.000003538693,0.5748741,0.4141435,0.003604609,0.005320043],"study_design_scores_gemma":[0.0004958424,0.00003455796,0.0009432499,0.0001140847,0.00002431935,0.0000162522,0.000190789,0.008929045,0.8483759,0.1383328,0.002120168,0.000423073],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02173597,0.000009420571,0.9714854,0.0001459481,0.00004743993,0.0001454524,0.000002245578,0.00008561227,0.006342485],"genre_scores_gemma":[0.1838848,0.000003469048,0.815833,0.0002070075,0.00001589479,0.00003198411,0.000003503033,0.000008198354,0.00001215028],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2758107,"threshold_uncertainty_score":0.2994649,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02584478879633238,"score_gpt":0.2223046989294082,"score_spread":0.1964599101330759,"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."}}