{"id":"W2107000858","doi":"10.1007/s00224-007-9049-y","title":"Incremental Branching Programs","year":2007,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"semigroups and automata theory","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"McGill University","keywords":"Branching (polymer chemistry); Nondeterministic algorithm; Computation; Computer science; Exponential function; Mathematics; Combinatorics; Discrete mathematics; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.0007118579,0.000601346,0.0006487404,0.001259205,0.001488863,0.002937755,0.001367635,0.0009627031,0.01534995],"category_scores_gemma":[0.003570311,0.0004744285,0.000867907,0.001709293,0.002285361,0.006129369,0.002308257,0.003223325,0.001694841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001715917,"about_ca_system_score_gemma":0.0009692102,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001291764,"about_ca_topic_score_gemma":0.001432488,"domain_scores_codex":[0.9992309,0.0001760506,0.00003674769,0.0001826499,0.0002743589,0.00009945939],"domain_scores_gemma":[0.9979875,0.001166519,0.00006895375,0.000309067,0.0003187243,0.0001491217],"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.0000214367,0.00001846242,0.0001024134,0.00002797545,0.000004440823,0.00002697582,0.0001194649,0.0009197171,0.0004639227,0.9843915,0.002018349,0.01188546],"study_design_scores_gemma":[0.00000871098,0.000007129624,0.00008733719,0.000009091254,0.00001195042,0.00003726781,0.00003081876,0.007599052,0.000563389,0.9839197,0.007719901,0.000005629899],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06041007,0.001753516,0.6896561,0.003198141,0.0004169704,0.0001651908,0.0007661605,0.002040592,0.2415933],"genre_scores_gemma":[0.7881413,0.001316505,0.1347962,0.0007716697,0.0005165937,0.0002472384,0.001138812,0.0005427757,0.07252906],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01534995,"threshold_uncertainty_score":0.05135071,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0161668605177624,"score_gpt":0.2463214989355354,"score_spread":0.230154638417773,"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."}}