{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001118346,0.0002369235,0.0002422832,0.0002323418,0.0005461103,0.0007171903,0.00287923,0.00006028977,0.0001708371],"category_scores_gemma":[0.0001174308,0.0001990617,0.00008811807,0.001703642,0.001071518,0.0006731192,0.0008068001,0.0002011826,0.0005867623],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008768708,"about_ca_system_score_gemma":0.0001391896,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001522484,"about_ca_topic_score_gemma":7.831805e-7,"domain_scores_codex":[0.9970577,0.000184969,0.0002999785,0.001006433,0.0006954658,0.0007554468],"domain_scores_gemma":[0.9975503,0.0004271221,0.00004972829,0.001203908,0.0001324171,0.0006365112],"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.00000183018,0.00006565484,0.000007787135,0.000001047461,0.000004357768,0.00002189114,0.000606858,0.00009860751,0.00517364,0.9786749,0.0002114842,0.01513187],"study_design_scores_gemma":[0.0002690763,0.0002215107,0.000823294,0.00004116447,0.000007182817,0.00009575277,0.00002106332,0.3719896,0.0595591,0.5652214,0.001238675,0.0005122059],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06665913,0.00003252562,0.9270729,0.001547422,0.001212391,0.00016913,0.000007876346,0.0003581323,0.002940527],"genre_scores_gemma":[0.6044055,9.816744e-7,0.3938846,0.001544445,0.0001385296,0.00000862472,8.148078e-7,0.000007723002,0.000008709451],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5377464,"threshold_uncertainty_score":0.8117501,"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."}}