{"id":"W1946205157","doi":"10.3233/fun-2008-83405","title":"A Relation-Algebraic Theory of Bisimulations","year":2008,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Brock University","funders":"","keywords":"Relation (database); Algebraic theory; Mathematics; Algebraic number; Algebra over a field; Computer science; Pure 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.003111545,0.0008702679,0.0008269969,0.002471798,0.002322504,0.004672732,0.002001785,0.00143539,0.00588879],"category_scores_gemma":[0.004122572,0.0005668827,0.002072253,0.002361809,0.008153159,0.01181837,0.003763032,0.004949874,0.001307716],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002810126,"about_ca_system_score_gemma":0.001328178,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001291862,"about_ca_topic_score_gemma":0.0008437049,"domain_scores_codex":[0.9962937,0.0009297957,0.0002769713,0.000771469,0.001419455,0.0003085312],"domain_scores_gemma":[0.997542,0.001041222,0.0002253365,0.0004826013,0.0005090101,0.0001998848],"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.000002548888,0.000004141761,0.00001723908,0.00001760452,0.000002896383,0.00001524517,0.00006424102,0.0004901284,0.000167244,0.9978021,0.0001163976,0.001300246],"study_design_scores_gemma":[0.000008767125,0.00002056663,0.00004352682,0.0000229574,0.00001165332,0.00007442156,0.00006716878,0.005784248,0.0005688376,0.9774884,0.01589749,0.00001192545],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008479187,0.001640737,0.9534953,0.00124857,0.0002921144,0.00006503549,0.000127573,0.0002455851,0.03440588],"genre_scores_gemma":[0.5527071,0.00413554,0.4230047,0.001388738,0.001448746,0.0005365561,0.0006018308,0.0002718649,0.01590488],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00588879,"threshold_uncertainty_score":0.02038896,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0531799845477055,"score_gpt":0.2803547063932557,"score_spread":0.2271747218455502,"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."}}