{"id":"W2029413222","doi":"10.1016/j.tcs.2003.10.010","title":"From cascade decompositions to bit-vector algorithms","year":2003,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Algorithm; Automaton; Cascade; Mathematics; Computation; Bit array; Bounded function; Computer science; Theoretical computer science; Type (biology)","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.001144978,0.001006695,0.001006762,0.001606351,0.001164048,0.002718054,0.001477383,0.001365671,0.01798584],"category_scores_gemma":[0.00564131,0.000754872,0.001009212,0.002282637,0.002092632,0.008289019,0.002870509,0.003368733,0.003561594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001126376,"about_ca_system_score_gemma":0.0007798783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006997538,"about_ca_topic_score_gemma":0.0010793,"domain_scores_codex":[0.9990232,0.0002969544,0.00006141457,0.0002098451,0.0002902451,0.0001183524],"domain_scores_gemma":[0.9974995,0.001359028,0.0001277409,0.0006409733,0.0002469491,0.0001257434],"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.0001156693,0.00004108787,0.0001242829,0.00007892817,0.00001198062,0.00002787541,0.0001105146,0.006003628,0.001079158,0.9342799,0.005850796,0.0522762],"study_design_scores_gemma":[0.00001221203,0.00001405742,0.0000290828,0.00001535921,0.000007325879,0.00002534808,0.00001255891,0.02464492,0.0006432339,0.9714007,0.003188488,0.000006753275],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01870654,0.001049735,0.9501167,0.001125297,0.0002589768,0.00008655612,0.0002212216,0.001333755,0.02710122],"genre_scores_gemma":[0.4337263,0.002544751,0.5226532,0.001380731,0.0009257809,0.0004130599,0.00105754,0.001329551,0.0359691],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01798584,"threshold_uncertainty_score":0.06016868,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008736864146077434,"score_gpt":0.2541217396581379,"score_spread":0.2453848755120605,"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."}}