{"id":"W2164687814","doi":"10.1002/spe.1029","title":"The CoreASM modeling framework","year":2011,"lang":"en","type":"article","venue":"Software Practice and Experience","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University; Defence Research and Development Canada","funders":"","keywords":"Computer science; Key (lock); Software engineering; Systems engineering; Set (abstract data type); Data science; Management science; Engineering; Programming language; Computer security","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.0004218356,0.0001140146,0.00009275953,0.00001720977,0.0006096025,0.0003510544,0.0007948023,0.00005893934,0.000003390345],"category_scores_gemma":[0.001249593,0.00007950766,0.00002914555,0.0002173127,0.00007848372,0.0009445192,0.0002714113,0.0001950709,0.00003592388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001039014,"about_ca_system_score_gemma":0.00004307559,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001579291,"about_ca_topic_score_gemma":0.000001570991,"domain_scores_codex":[0.9988963,0.00009198457,0.0001881769,0.0003166812,0.0002192692,0.0002876041],"domain_scores_gemma":[0.9984331,0.0006936443,0.0001048911,0.0005437817,0.0001225819,0.0001020307],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001068713,0.0001869264,0.003920753,0.00002988914,0.00006729503,0.0001337044,0.2035915,0.0005707507,0.00001911791,0.6221355,0.00102793,0.1682098],"study_design_scores_gemma":[0.0006783777,0.0005346413,0.001471245,0.000409396,0.00004736361,0.001475378,0.02933632,0.5530472,0.0002597656,0.1700124,0.2409639,0.001763992],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01222396,0.001225296,0.9833106,0.0004058572,0.0005831151,0.00008124921,5.519363e-7,0.0002285869,0.001940723],"genre_scores_gemma":[0.8748379,0.0001399542,0.1244398,0.0004541236,0.0000561723,0.00002086213,3.795891e-7,0.000005188435,0.00004563991],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8626139,"threshold_uncertainty_score":0.4688632,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04228456517063216,"score_gpt":0.2829391912181352,"score_spread":0.240654626047503,"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."}}