{"id":"W2130747899","doi":"10.1109/ismvl.2010.63","title":"Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups","year":2010,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Abelian group; Algebra over a field; Matrix representation; Theoretical computer science; Matrix (chemical analysis); Computer science; Representation (politics); Mathematics; Algorithm; Pure mathematics; Group (periodic table)","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":[],"consensus_categories":[],"category_scores_codex":[0.00060612,0.0001261302,0.000175113,0.0004445561,0.0001140354,0.0001205472,0.000925723,0.00009925109,0.00001297316],"category_scores_gemma":[0.0001499441,0.0001069573,0.0001424508,0.001598516,0.00002900408,0.0002261609,0.00009664548,0.0001625134,0.00005386819],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003459195,"about_ca_system_score_gemma":0.00002099802,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000275424,"about_ca_topic_score_gemma":0.0003595044,"domain_scores_codex":[0.9987603,0.00003056469,0.0003039099,0.0004714377,0.0001912557,0.0002424663],"domain_scores_gemma":[0.9981154,0.0005267981,0.00009194561,0.001106808,0.00007226245,0.00008682233],"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.00003517836,0.0005415953,0.007422091,0.00001727533,0.0001041914,0.000002539757,0.0004841269,0.01230387,0.006531089,0.2209685,0.000135284,0.7514543],"study_design_scores_gemma":[0.0002885047,0.0001120067,0.02047249,0.0000041012,0.00003106406,0.0000016172,0.000008132331,0.9445044,0.01777342,0.01338928,0.003198056,0.000216891],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1123102,0.000006418129,0.8865064,0.0001014764,0.0001805822,0.0004786574,0.000003925651,0.00007919266,0.0003330973],"genre_scores_gemma":[0.5184016,0.000004429282,0.4811422,0.0001068328,0.0000208047,0.0002680744,0.000008974186,0.000005207975,0.00004193238],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9322006,"threshold_uncertainty_score":0.4361593,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02206333187180988,"score_gpt":0.3129632775987513,"score_spread":0.2908999457269414,"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."}}