{"id":"W54721420","doi":"10.1007/978-3-642-33314-9_17","title":"Relation Algebras, Matrices, and Multi-valued Decision Diagrams","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"","keywords":"Relation (database); Algebra over a field; Representation (politics); Matrix (chemical analysis); Matrix representation; Relation algebra; Matrix algebra; Computer science; Logical matrix; Theoretical computer science; Pure mathematics; Mathematics; Algebra representation; Data mining; Cellular algebra; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002217869,0.0004691592,0.0004216113,0.0008173456,0.0002982034,0.0005135834,0.002140706,0.0004600877,0.00001174332],"category_scores_gemma":[0.0003283296,0.0004244382,0.00008226838,0.0006881568,0.0005200938,0.00159498,0.001268811,0.000746602,0.00006717485],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002884046,"about_ca_system_score_gemma":0.0001747143,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001570894,"about_ca_topic_score_gemma":0.00001934081,"domain_scores_codex":[0.9964273,0.00007797974,0.0006019195,0.001311656,0.0009836276,0.0005975457],"domain_scores_gemma":[0.9973038,0.0004584785,0.0004212077,0.001393217,0.0001953376,0.000227892],"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.000004279948,0.00001976894,0.0002487175,0.00002127765,0.000003898301,0.000006197025,0.0004439552,0.001246637,0.00005232627,0.08788136,0.000005909095,0.9100657],"study_design_scores_gemma":[0.0003077446,0.00009383926,0.004799493,0.0002882617,0.00001198228,0.00008044018,1.066287e-7,0.8770686,0.0005518388,0.1152604,0.0009258835,0.0006113991],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002723422,0.003120825,0.9929243,0.00008113228,0.002537123,0.0004623302,0.000001930707,0.00018266,0.0004173383],"genre_scores_gemma":[0.01728888,0.0003969439,0.9815868,0.0003170252,0.000289535,0.000009386639,0.000004817915,0.00003006068,0.00007653814],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9094543,"threshold_uncertainty_score":0.9998208,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03099110886587993,"score_gpt":0.289139860361894,"score_spread":0.2581487514960141,"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."}}