{"id":"W2489659741","doi":"10.1142/9789814602648_0001","title":"SELECTED APPLICATIONS OF LOGIC TO CLASSIFICATION PROBLEM FOR C*-ALGEBRAS","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes series, Institute For Mathematical Sciences","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Mathematics","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.001108015,0.0007825181,0.0007258097,0.00279223,0.001908892,0.004584375,0.001195063,0.001131894,0.01382467],"category_scores_gemma":[0.001558687,0.0004517635,0.001088552,0.004408196,0.002574561,0.007926515,0.001324828,0.003681135,0.003490932],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003794596,"about_ca_system_score_gemma":0.000965906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00169315,"about_ca_topic_score_gemma":0.001550797,"domain_scores_codex":[0.999576,0.0001108808,0.00003052858,0.0001097123,0.0001304485,0.00004234788],"domain_scores_gemma":[0.9993808,0.000347084,0.00002910458,0.00006416343,0.0001254133,0.00005335645],"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.000007407553,0.00002225086,0.00007530728,0.0001091491,0.000004655412,0.00004382016,0.0001225437,0.0005086791,0.0003461873,0.9541675,0.0120667,0.03252566],"study_design_scores_gemma":[0.000002824964,0.00000913126,0.0001149439,0.00005111362,0.000003742501,0.00008108892,0.00004742038,0.001914094,0.0003768386,0.9378006,0.05958811,0.00001010774],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01322382,0.03986424,0.3210131,0.01048178,0.002003789,0.000178405,0.0005712959,0.0005583236,0.6121053],"genre_scores_gemma":[0.288423,0.05692452,0.2824096,0.004419256,0.005509946,0.000503568,0.001820629,0.0005343781,0.3594551],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01382467,"threshold_uncertainty_score":0.04624814,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08784543580700156,"score_gpt":0.3537328854003612,"score_spread":0.2658874495933597,"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."}}