{"id":"W4240817514","doi":"10.1007/978-0-387-39940-9_3667","title":"SPCU-Algebra","year":2009,"lang":"en","type":"book-chapter","venue":"Encyclopedia of Database Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Algebra over a field; Mathematics; Pure mathematics; Computer science","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.0004281948,0.0009812284,0.001082461,0.001821624,0.001876613,0.003981449,0.001387191,0.0007621312,0.0743559],"category_scores_gemma":[0.0008759245,0.0004821199,0.0007535403,0.002449068,0.002110066,0.004570778,0.001576182,0.003157023,0.03834815],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001232983,"about_ca_system_score_gemma":0.001266036,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001492657,"about_ca_topic_score_gemma":0.001297923,"domain_scores_codex":[0.999435,0.00009875706,0.00003040416,0.0001340925,0.0002529683,0.00004879392],"domain_scores_gemma":[0.9997432,0.00004850318,0.00001459241,0.00006075903,0.0001091213,0.00002386239],"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.00001268081,0.00001693154,0.00004513059,0.0001363573,0.000007024843,0.00002972094,0.0001007731,0.000206105,0.0004794078,0.9025755,0.04746318,0.04892735],"study_design_scores_gemma":[0.000007439006,0.00001055525,0.00009623196,0.00005093956,0.000007299702,0.0001442497,0.00003431387,0.0007133451,0.000791755,0.6954,0.3027326,0.00001130599],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.002291084,0.004270766,0.09235409,0.001239562,0.001111521,0.00009426152,0.001244784,0.002116979,0.895277],"genre_scores_gemma":[0.1545304,0.01181827,0.1285397,0.003012457,0.002850925,0.0005879787,0.006896195,0.00260933,0.6891548],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.0743559,"threshold_uncertainty_score":0.2487453,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02411850967403302,"score_gpt":0.2614214369413396,"score_spread":0.2373029272673066,"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."}}