{"id":"W2139509158","doi":"10.1016/j.peva.2009.12.008","title":"Symbolic partition refinement with automatic balancing of time and space","year":2010,"lang":"en","type":"article","venue":"Performance Evaluation","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"IBM (Canada)","funders":"","keywords":"Markov chain; Computer science; Partition (number theory); Markov model; Markov process; Preprocessor; State space; Theoretical computer science; Algorithm; Variable-order Markov model; Mathematics; Artificial intelligence; Machine learning","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.003131416,0.001133312,0.001248779,0.00121879,0.001027449,0.001582986,0.002108307,0.0007683398,0.006038005],"category_scores_gemma":[0.01231448,0.0006148738,0.0007333803,0.001044638,0.002900789,0.002851175,0.003177193,0.001470284,0.001023753],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00159859,"about_ca_system_score_gemma":0.002756562,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00477322,"about_ca_topic_score_gemma":0.006241404,"domain_scores_codex":[0.9957812,0.001303071,0.0001803634,0.0004480961,0.001707676,0.0005795847],"domain_scores_gemma":[0.9917971,0.004239649,0.0004719368,0.002158798,0.001118867,0.0002135933],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001811405,0.0003074358,0.001709194,0.0004603928,0.00009317567,0.0002134501,0.0009165719,0.4820072,0.08460415,0.1496849,0.003277542,0.2749147],"study_design_scores_gemma":[0.0002040773,0.0001683419,0.000305779,0.00004417382,0.00006380277,0.00005324092,0.0001287156,0.872668,0.05528115,0.06799519,0.003046909,0.00004066782],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03125475,0.00007254064,0.9634889,0.00008432703,0.00003908373,0.00007842795,0.00004272178,0.002393622,0.002545658],"genre_scores_gemma":[0.6613423,0.00006608706,0.3351761,0.00005197299,0.00002328177,0.0001655321,0.0001484302,0.0008785956,0.002147713],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006038005,"threshold_uncertainty_score":0.02019918,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01808420996405736,"score_gpt":0.2860252269698289,"score_spread":0.2679410170057716,"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."}}