{"id":"W2164875685","doi":"10.1016/j.entcs.2004.09.018","title":"Labelled Markov Processes: Stronger and Faster Approximations","year":2004,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Université Laval","funders":"Natural Sciences and Engineering Research Council of Canada; McGill University","keywords":"Markov chain; Approximations of π; Markov process; Computer science; Markov model; Mathematics; Applied mathematics; Theoretical computer science; Algorithm; Statistics; Machine learning","routes":{"ca_aff":true,"ca_fund":true,"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.0008774252,0.0001954212,0.0002127319,0.0001981764,0.0002984482,0.000215641,0.0009046511,0.00004476787,0.000009365118],"category_scores_gemma":[0.0002173888,0.0001595648,0.00002342421,0.001398952,0.001434407,0.001373545,0.0007432908,0.0002718996,0.00001467767],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001623017,"about_ca_system_score_gemma":0.0005291373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007961057,"about_ca_topic_score_gemma":0.00002589774,"domain_scores_codex":[0.9976321,0.00005377905,0.0002921346,0.0007652034,0.0004237365,0.0008330769],"domain_scores_gemma":[0.9988217,0.0002437076,0.00006526775,0.0005985693,0.0001257942,0.0001449967],"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.000004711758,0.00004759975,0.00006455965,0.00002262215,0.000002288416,0.000005332175,0.0005259514,0.0004406874,0.0002606883,0.9839946,8.228146e-7,0.01463011],"study_design_scores_gemma":[0.001710427,0.0006342086,0.0005962407,0.0002464474,0.000006799785,0.0002038055,0.00003958168,0.1664529,0.01266545,0.8159053,0.0007259657,0.0008128773],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03262813,0.0002630241,0.9651892,0.001101135,0.0001296632,0.0002540282,0.000002149002,0.0001039816,0.0003287276],"genre_scores_gemma":[0.7215493,0.00001940789,0.2781866,0.0001726941,0.00003955284,0.00002199775,0.00000108098,0.000006102586,0.000003235112],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6889212,"threshold_uncertainty_score":0.6506864,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005458906140985285,"score_gpt":0.2377292031829043,"score_spread":0.232270297041919,"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."}}