{"id":"W6969604086","doi":"10.5281/zenodo.7626541","title":"Java Code to Explain Probabilistic Bisimilarity Distances for Labelled Markov Chains","year":2023,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Geological Modeling and Analysis","field":"Earth and Planetary Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Probabilistic logic; Markov chain; Concurrency; Sequence (biology); Probabilistic CTL; Similarity (geometry); Markov process; Markov model; Variable-order Markov model","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.001386067,0.001816188,0.0007051132,0.00195479,0.0007967424,0.001980293,0.003016504,0.002562637,0.03903716],"category_scores_gemma":[0.008812059,0.001450076,0.002340761,0.001506173,0.001099727,0.003965678,0.002230271,0.003340528,0.0128895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001668594,"about_ca_system_score_gemma":0.001770746,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004185085,"about_ca_topic_score_gemma":0.005384123,"domain_scores_codex":[0.9988029,0.0002085357,0.0001500077,0.0002037666,0.000484945,0.0001498251],"domain_scores_gemma":[0.9969544,0.001921834,0.0002553846,0.000338586,0.0004485167,0.00008123954],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004373026,0.0003741173,0.003249469,0.001323197,0.0001215952,0.001354789,0.0009076917,0.08629644,0.01324739,0.6150469,0.09299819,0.1846429],"study_design_scores_gemma":[0.000205814,0.000065441,0.0006617821,0.0003366042,0.00005388258,0.0006390827,0.00006847244,0.4045615,0.009960105,0.3130583,0.2702861,0.0001028575],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.001130399,0.0001353189,0.9665904,0.000276489,0.0001664175,0.0001903697,0.00157455,0.02499301,0.004943062],"genre_scores_gemma":[0.02978379,0.0004240077,0.94478,0.0006115256,0.0001378585,0.001062255,0.003344972,0.01168724,0.008168275],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.03903716,"threshold_uncertainty_score":0.1305923,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04975794245997532,"score_gpt":0.2464973679763503,"score_spread":0.196739425516375,"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."}}