{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002351427,0.0009453034,0.0008788506,0.001536815,0.001259335,0.004846124,0.001437877,0.001186734,0.007523081],"category_scores_gemma":[0.004744599,0.0007358716,0.001315112,0.002449698,0.003268039,0.007179906,0.001495006,0.002989164,0.00149286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00182886,"about_ca_system_score_gemma":0.001042077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001210912,"about_ca_topic_score_gemma":0.001546377,"domain_scores_codex":[0.9975799,0.0009728268,0.0002340958,0.0004245605,0.0006295921,0.0001589298],"domain_scores_gemma":[0.9975722,0.001497007,0.0002585071,0.0003159002,0.0002446322,0.0001116582],"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.00001390117,0.00001084298,0.00004988871,0.00006779315,0.000007283454,0.00002327862,0.00008711316,0.001367047,0.0002773683,0.9863396,0.001100761,0.01065514],"study_design_scores_gemma":[0.000003418312,0.000004962178,0.00002287612,0.00002083085,0.000004257941,0.00002927879,0.00001782845,0.002340831,0.0001806797,0.9912941,0.006075542,0.000005421184],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01292295,0.01636763,0.9024012,0.001989128,0.0004663121,0.0001012765,0.0005543149,0.0004477038,0.06474945],"genre_scores_gemma":[0.4511088,0.01266318,0.5008286,0.000727958,0.0009987712,0.0004117464,0.001229041,0.0002178725,0.03181397],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007523081,"threshold_uncertainty_score":0.02516723,"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."}}