{"id":"W1596039687","doi":"10.1007/3-540-36390-4_2","title":"Cascade Decompositions are Bit-Vector Algorithms","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Automaton; Computer science; Algorithm; Bit array; Cascade; Computation; Bounded function; Theoretical computer science; Mathematics; 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.0008194181,0.001199518,0.0009862244,0.001687699,0.001101579,0.002561794,0.001403045,0.001183358,0.02942114],"category_scores_gemma":[0.003258391,0.0008400021,0.001149546,0.002447,0.001131231,0.006029654,0.001946853,0.002516308,0.008559213],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009947011,"about_ca_system_score_gemma":0.0008627607,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005431566,"about_ca_topic_score_gemma":0.001020962,"domain_scores_codex":[0.9990734,0.0001805365,0.00007010967,0.00022682,0.0003327263,0.0001163621],"domain_scores_gemma":[0.9987595,0.0004822109,0.00008031764,0.0003805406,0.0002232908,0.00007417436],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003280934,0.000132778,0.0002546045,0.0002384093,0.000036954,0.00005390679,0.0001230789,0.009251929,0.005913969,0.7130058,0.02221693,0.2484436],"study_design_scores_gemma":[0.00005051072,0.00006419088,0.0001259621,0.0000556725,0.00003416465,0.0001072032,0.00003084492,0.08321226,0.006115349,0.8921505,0.01802917,0.00002416374],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01571692,0.0008394282,0.9299316,0.0006188865,0.0003720719,0.000236074,0.0005214391,0.003193742,0.04856983],"genre_scores_gemma":[0.3114696,0.001958652,0.6068584,0.001051187,0.0005929898,0.0007952517,0.002100793,0.001973184,0.07319994],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02942114,"threshold_uncertainty_score":0.09842354,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01628224680208691,"score_gpt":0.2374581817309211,"score_spread":0.2211759349288343,"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."}}