{"id":"W2076087052","doi":"10.1016/j.tcs.2006.05.021","title":"Approximating and computing behavioural distances in probabilistic transition systems","year":2006,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":65,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Functor; Probabilistic logic; Mathematics; Equivalence (formal languages); Metric (unit); Probability measure; Discrete mathematics; Statistics","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.004096812,0.0009967866,0.001689363,0.002100638,0.001045432,0.002779595,0.003627141,0.001887471,0.002105734],"category_scores_gemma":[0.04278799,0.001113195,0.001050271,0.001985559,0.003257386,0.007296672,0.00428427,0.003807474,0.0002402465],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003542332,"about_ca_system_score_gemma":0.001581588,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00864256,"about_ca_topic_score_gemma":0.009254638,"domain_scores_codex":[0.9967115,0.001101148,0.0002516242,0.0007674994,0.0008267607,0.0003414446],"domain_scores_gemma":[0.9503695,0.04275749,0.001828152,0.002458025,0.001461458,0.001125391],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005173429,0.0001401023,0.006277001,0.000179285,0.00006618274,0.00007627516,0.0005622043,0.8216602,0.001562725,0.119903,0.0005044698,0.04855128],"study_design_scores_gemma":[0.00001334731,0.00003073193,0.0003163675,0.00000766408,0.00001097087,0.00001551603,0.00004929126,0.8873317,0.0005336853,0.1115352,0.0001469075,0.000008672556],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3046521,0.0003299071,0.6922261,0.0005802286,0.00003992646,0.00004977892,0.0001831929,0.0007231806,0.001215595],"genre_scores_gemma":[0.8992913,0.0001533479,0.09891715,0.0000727322,0.0000465388,0.00006094711,0.0003418681,0.0001061033,0.001010085],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00864256,"threshold_uncertainty_score":0.02570152,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01054023630763494,"score_gpt":0.2271227122498332,"score_spread":0.2165824759421983,"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."}}