{"id":"W2054626845","doi":"10.1016/s0196-6774(02)00003-2","title":"A linear time algorithm for recognizing regular Boolean functions","year":2002,"lang":"en","type":"article","venue":"Journal of Algorithms","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Simon Fraser University; Ministry of Education, Culture, Sports, Science and Technology","keywords":"Mathematics; Monotonic function; Boolean function; Monotone polygon; Corollary; Time complexity; Combinatorics; Function (biology); Algorithm; Discrete mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009351019,0.002326542,0.002292761,0.002045343,0.001547599,0.00369771,0.004380523,0.002838145,0.01703779],"category_scores_gemma":[0.004543229,0.001104046,0.002273425,0.00307331,0.001410363,0.007726133,0.003415537,0.002918937,0.005988286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002362918,"about_ca_system_score_gemma":0.003169236,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005037261,"about_ca_topic_score_gemma":0.008231892,"domain_scores_codex":[0.9978853,0.0002131556,0.0002025387,0.000874662,0.0005257059,0.0002985816],"domain_scores_gemma":[0.9967774,0.001751156,0.0001948526,0.0006723701,0.000417223,0.0001870198],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001041906,0.0005830174,0.0009808224,0.0004721303,0.0001240964,0.0001371348,0.0002021412,0.01615382,0.023495,0.02076747,0.0251915,0.910851],"study_design_scores_gemma":[0.001127424,0.0005985187,0.001358208,0.0001102886,0.0003687905,0.0009045589,0.000500507,0.7071176,0.04738552,0.2168234,0.02354558,0.0001595571],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02848896,0.0007033218,0.9465044,0.0008379187,0.0002101498,0.0004794374,0.0008928058,0.01448544,0.007397587],"genre_scores_gemma":[0.1236031,0.0002974398,0.8615716,0.0005146049,0.0001239402,0.0005799517,0.003945261,0.0006492507,0.008714896],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01703779,"threshold_uncertainty_score":0.05699706,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02007652376892932,"score_gpt":0.245157775995278,"score_spread":0.2250812522263487,"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."}}