{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005593349,0.00009640548,0.0001368306,0.0001883448,0.0001818955,0.00003116934,0.0005730076,0.00005158479,0.0001029069],"category_scores_gemma":[0.0002321724,0.00008881191,0.00006116307,0.0005208682,0.0001305065,0.001742853,0.0001450398,0.0001005302,0.000238168],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004777337,"about_ca_system_score_gemma":0.00007382685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002974393,"about_ca_topic_score_gemma":1.799309e-7,"domain_scores_codex":[0.9987887,0.00008110906,0.0005419462,0.0001048457,0.000315436,0.0001680129],"domain_scores_gemma":[0.9987422,0.0002160549,0.0002494771,0.0006429726,0.00008747193,0.00006183553],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006574341,0.00004118087,0.002325939,0.00002565451,0.00001717253,5.177549e-7,0.006027869,0.0004944874,0.00007488575,0.9816779,0.0003835333,0.008924308],"study_design_scores_gemma":[0.001592599,0.0004132391,0.2760431,0.0001107749,0.00003071988,0.0001565237,0.0007838669,0.5689717,0.007595283,0.1216121,0.02197275,0.0007174189],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.083666,0.00002428417,0.893209,0.00007872731,0.000256556,0.0002093819,0.000002901647,0.000126255,0.02242693],"genre_scores_gemma":[0.5881626,0.000008611657,0.411382,0.0001813803,0.00001165367,0.00001393353,0.000005892251,0.000003939867,0.0002299829],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8600658,"threshold_uncertainty_score":0.3621645,"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."}}