{"id":"W2150864252","doi":"10.1145/505306.505344","title":"Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Graph; Implementation; Arithmetic; Theoretical computer science; Boolean function; Walsh function; Algorithm; Influence diagram; Graph theory; Mathematics; Programming language; Decision tree; Artificial intelligence","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.00109153,0.0007835956,0.0005706297,0.001558176,0.0005133995,0.001689434,0.0006385721,0.0005628531,0.004323144],"category_scores_gemma":[0.00674869,0.0003062688,0.0006897486,0.0009887278,0.0007887152,0.002745262,0.0007892784,0.0006549285,0.001245057],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008073327,"about_ca_system_score_gemma":0.001232794,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001319752,"about_ca_topic_score_gemma":0.001936725,"domain_scores_codex":[0.9983953,0.0004546234,0.0001194496,0.00028114,0.0005959083,0.0001535133],"domain_scores_gemma":[0.9971347,0.001641288,0.0002797466,0.0003734292,0.000495645,0.00007516953],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0007703512,0.0001757166,0.001883645,0.0003659651,0.00008324293,0.0002693475,0.0003830906,0.1396383,0.07156964,0.3176682,0.002261385,0.464931],"study_design_scores_gemma":[0.0001499809,0.0003527616,0.000652942,0.00007922687,0.00006393687,0.0002776591,0.000160784,0.5480078,0.154879,0.2837325,0.01156703,0.00007649031],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06103708,0.0001059217,0.9328147,0.00009045305,0.00003935759,0.00009366673,0.0001242119,0.002175079,0.003519626],"genre_scores_gemma":[0.4265647,0.0001742535,0.5699596,0.00005531523,0.00002613609,0.000149157,0.0004229359,0.0002134021,0.002434412],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004323144,"threshold_uncertainty_score":0.01446241,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05062126250057109,"score_gpt":0.2906408386498991,"score_spread":0.2400195761493281,"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."}}