{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00402184,0.001645656,0.002170065,0.00283337,0.0006724159,0.001934272,0.00317607,0.001692039,0.004505359],"category_scores_gemma":[0.02809749,0.001054091,0.001360445,0.001982647,0.001085005,0.00323824,0.00235026,0.002962113,0.0007231912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001615904,"about_ca_system_score_gemma":0.002347186,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005450647,"about_ca_topic_score_gemma":0.006297408,"domain_scores_codex":[0.9976547,0.0007162652,0.0002143215,0.0005038781,0.0007375125,0.000173304],"domain_scores_gemma":[0.9647583,0.02924506,0.001898878,0.001766955,0.00186667,0.0004641034],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005645658,0.0001977932,0.002928411,0.0004767642,0.0002462309,0.00008394956,0.0001866418,0.6874122,0.006181781,0.03421043,0.001789305,0.2657219],"study_design_scores_gemma":[0.00001357799,0.00001752344,0.0002006645,0.0000168457,0.00001264094,0.00001305753,0.000007894275,0.9875354,0.0009253527,0.01101211,0.0002315238,0.00001339321],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002533232,0.0001417586,0.9964229,0.00003944344,0.00001781491,0.00003228537,0.00007824115,0.0005131009,0.0002211301],"genre_scores_gemma":[0.2002696,0.0004156264,0.7962741,0.0000860915,0.0001110574,0.0005273822,0.0006283628,0.0004432809,0.001244451],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005450647,"threshold_uncertainty_score":0.02126974,"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."}}