{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005842263,0.0006792181,0.000652406,0.0009696485,0.0004660698,0.0008321481,0.004379493,0.0004093389,0.0001227665],"category_scores_gemma":[0.00005078033,0.0006213773,0.0002346298,0.0008140183,0.0006932332,0.0007804965,0.001474775,0.001006868,0.0002648044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003620687,"about_ca_system_score_gemma":0.0002140797,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002253027,"about_ca_topic_score_gemma":0.00003013897,"domain_scores_codex":[0.9955918,0.00004871574,0.0005841841,0.001828342,0.001054081,0.0008928319],"domain_scores_gemma":[0.996718,0.000537427,0.0003829049,0.001871251,0.0001967798,0.0002935873],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003472374,0.0001225649,0.00003829488,0.0000598586,0.00003846624,0.0007775685,0.00108086,0.01055985,0.0003628946,0.07834559,0.000461649,0.9081489],"study_design_scores_gemma":[0.0003282686,0.0001543306,0.0003429269,0.0006764883,0.0000154041,0.0004952763,2.788644e-7,0.8129696,0.002082411,0.1772045,0.004492942,0.001237635],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007276218,0.0009868785,0.990497,0.001523915,0.002363014,0.0003261452,0.0000223378,0.0004350748,0.003772868],"genre_scores_gemma":[0.1046089,0.0002132335,0.885768,0.005494799,0.00184982,0.00003177843,0.00001610187,0.0001193532,0.001898053],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9069113,"threshold_uncertainty_score":0.9996238,"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."}}