{"id":"W1601200610","doi":"10.1109/pacrim.2005.1517376","title":"First thoughts on determining a method for fast autocorrelation classification","year":2005,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Boolean function; Heuristics; Autocorrelation; Boolean expression; Computer science; Class (philosophy); Standard Boolean model; Boolean data type; Theoretical computer science; Maximum satisfiability problem; Algorithm; And-inverter graph; Mathematics; Artificial intelligence; Statistics","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.005825215,0.001160227,0.001110877,0.002096281,0.001397137,0.003059368,0.002902116,0.002417351,0.02051678],"category_scores_gemma":[0.02371042,0.001287949,0.001813428,0.001297602,0.003394712,0.009303884,0.001576565,0.003420294,0.0066793],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001936171,"about_ca_system_score_gemma":0.001688275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002843405,"about_ca_topic_score_gemma":0.003538851,"domain_scores_codex":[0.9962921,0.001558256,0.0003110013,0.0006559899,0.0008970314,0.0002855531],"domain_scores_gemma":[0.9897774,0.005762208,0.0004678675,0.001786145,0.001940848,0.0002655537],"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.0003475098,0.0002041436,0.001690561,0.001085953,0.00009461888,0.0003375312,0.0007360638,0.01899766,0.01566079,0.5202826,0.01955918,0.4210034],"study_design_scores_gemma":[0.0001235883,0.0003155496,0.001117253,0.0005497235,0.00006737033,0.001313147,0.0006683088,0.1436182,0.02542659,0.6545138,0.1719851,0.0003012797],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001554091,0.0009054834,0.9921114,0.001171688,0.0002358552,0.00009868674,0.00004129374,0.0005636389,0.003317843],"genre_scores_gemma":[0.02197146,0.001019252,0.9704642,0.0004408613,0.0002519868,0.0001928747,0.0001068317,0.000390838,0.005161725],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02051678,"threshold_uncertainty_score":0.06863546,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06627732594397472,"score_gpt":0.3611006124351996,"score_spread":0.2948232864912249,"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."}}