{"id":"W2139714001","doi":"10.14736/kyb-2016-5-0757","title":"A linear programming approach to error bounds for random walks in the quarter-plane","year":2016,"lang":"en","type":"preprint","venue":"Kybernetika","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","keywords":"Random walk; Markov chain; Mathematics; Approximation error; State space; Plane (geometry); Space (punctuation); Work (physics); Product (mathematics); Markov process; Distribution (mathematics); Stationary distribution; State (computer science); Quarter (Canadian coin); Statistical physics; Applied mathematics; Mathematical analysis; Computer science; Algorithm; Statistics; Physics; Geometry","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003127344,0.0003353496,0.000577231,0.0003045851,0.0001425982,0.0005622411,0.003392237,0.0003048342,0.000007370056],"category_scores_gemma":[0.0004785497,0.0002051151,0.0003716604,0.0005491126,0.00009478927,0.0001125169,0.00095194,0.0006489051,0.00007050552],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001157991,"about_ca_system_score_gemma":0.0002429859,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002716579,"about_ca_topic_score_gemma":0.0000855332,"domain_scores_codex":[0.9963356,0.000424796,0.0005360321,0.001155739,0.0007970521,0.0007507752],"domain_scores_gemma":[0.9968265,0.0009749134,0.0001343656,0.00172164,0.0001812985,0.0001612313],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0009511916,0.004031777,0.006554006,0.003046636,0.0007959962,0.00008606994,0.04661741,0.005553785,0.0001444359,0.05953028,0.03127407,0.8414143],"study_design_scores_gemma":[0.008750128,0.0009880582,0.003456863,0.001126096,0.0001499023,0.0000660885,0.0008617233,0.3377484,0.0002438889,0.1425397,0.501313,0.002756065],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006148905,0.0003548556,0.9795258,0.007026187,0.0002974939,0.003304406,0.00002988146,0.0002002435,0.003112229],"genre_scores_gemma":[0.8293752,0.00004077536,0.1623296,0.0006267569,0.0008665472,0.004968228,0.0001194946,0.00005239508,0.001621042],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8386583,"threshold_uncertainty_score":0.8364349,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03855498802795353,"score_gpt":0.3167938980303294,"score_spread":0.2782389100023759,"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."}}