{"id":"W2087111390","doi":"10.1007/s10626-012-0138-y","title":"Methods for the estimation of the size of lookahead tree state-space","year":2012,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Tree (set theory); State space; State (computer science); Estimation; Computer science; Space (punctuation); Mathematics; Algorithm; Statistics; Combinatorics; Engineering","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003348258,0.0001683781,0.0003475902,0.00005397579,0.0001186285,0.00004409281,0.001307536,0.00006224754,9.046867e-7],"category_scores_gemma":[0.0004315577,0.00009375754,0.0002159597,0.0004081062,0.0000738368,0.000316416,0.0002368964,0.0000881128,0.000001991873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001155698,"about_ca_system_score_gemma":0.00007060026,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001661983,"about_ca_topic_score_gemma":0.00001263315,"domain_scores_codex":[0.9977417,0.0005790761,0.0006929106,0.0002272024,0.0004237684,0.0003353221],"domain_scores_gemma":[0.9960305,0.001920108,0.0006942921,0.001172594,0.0001289531,0.00005353304],"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.00005433068,0.0001512435,0.002719585,0.001587601,0.0004303156,3.160244e-7,0.01356972,0.7503768,0.01236318,0.08554842,0.0004233231,0.1327752],"study_design_scores_gemma":[0.000236907,0.00003118263,0.001370914,0.0002445,0.00003197565,0.000009385749,0.0002916932,0.9957735,0.0009074215,0.0006656115,0.0003258173,0.0001111215],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01310399,0.00264918,0.9800524,0.0002709032,0.002617419,0.001065596,0.00002640174,0.00003834688,0.0001757204],"genre_scores_gemma":[0.9338862,0.00000869509,0.06539294,0.000009753852,0.0000424174,0.0001171165,0.000001745127,0.00001648005,0.0005246541],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9207822,"threshold_uncertainty_score":0.3823321,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02138148781266268,"score_gpt":0.3420575111813494,"score_spread":0.3206760233686867,"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."}}