{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001017632,0.0005386085,0.001007951,0.0003172158,0.000561385,0.000122337,0.001037629,0.0005021101,0.0001551068],"category_scores_gemma":[0.003769362,0.0004115262,0.0002432106,0.0005171516,0.001098461,0.0002166612,0.0001423509,0.0003160489,0.00004213379],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001681287,"about_ca_system_score_gemma":0.0005633383,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003535553,"about_ca_topic_score_gemma":0.0002245264,"domain_scores_codex":[0.996629,0.00002702588,0.001004572,0.0009014969,0.0008036059,0.000634298],"domain_scores_gemma":[0.9954053,0.002098155,0.0005182534,0.0006817334,0.001060738,0.0002357777],"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.0000547493,0.00006048204,6.847836e-7,0.001793111,0.00005170317,2.111545e-7,0.000165602,0.0001299884,0.001179365,0.9905481,0.0004531861,0.00556282],"study_design_scores_gemma":[0.0002203015,0.0006981335,8.305789e-7,0.0003090585,0.0001053199,0.00001165969,0.000009173783,0.0005662881,0.003054827,0.9131507,0.08142868,0.0004450649],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003713594,0.00007744054,0.965211,0.002330227,0.00008816401,0.007022278,0.0003175365,0.0001715936,0.02474457],"genre_scores_gemma":[0.005444059,0.00001956394,0.9759745,0.0002078632,0.0003894293,0.003103878,0.0002033422,0.0001229143,0.01453445],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0809755,"threshold_uncertainty_score":0.9998336,"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."}}