{"id":"W1609143095","doi":"10.1007/978-3-540-69295-9_26","title":"An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Swarm behaviour; Software engineering; Systems engineering; Artificial intelligence; 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.002999798,0.0003157311,0.0004516984,0.0004432095,0.0001714104,0.00004769492,0.002034242,0.0001381467,5.5128e-7],"category_scores_gemma":[0.0005935021,0.0002159343,0.00006153213,0.0007378825,0.0002974431,0.0006457735,0.0003213564,0.0004082454,2.34763e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002111453,"about_ca_system_score_gemma":0.0006904293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001903161,"about_ca_topic_score_gemma":0.00002185969,"domain_scores_codex":[0.9966101,0.0005317528,0.000404562,0.0008430759,0.001373894,0.0002366362],"domain_scores_gemma":[0.9955478,0.001838456,0.0003268557,0.00152545,0.0007074201,0.00005397943],"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.00002137282,0.00007517623,0.00009985632,0.00003849224,0.000006907641,0.000002784698,0.001057437,0.9628046,0.0005862482,0.000133765,7.089984e-8,0.03517326],"study_design_scores_gemma":[0.0004451559,0.0006487153,0.0006048716,0.0005306983,0.00001473824,0.000005388965,0.00000141701,0.9685063,0.00988604,0.01911848,5.504143e-7,0.0002376234],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02041068,0.00009237161,0.9778237,0.00001956296,0.0005365968,0.001000886,0.000001316327,0.00009378084,0.00002108037],"genre_scores_gemma":[0.6024536,0.000002376825,0.3974777,0.00001205092,0.00002151711,0.00001794115,0.000001096189,0.00001282499,8.486919e-7],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.582043,"threshold_uncertainty_score":0.8805544,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08366728721329393,"score_gpt":0.3265659421670226,"score_spread":0.2428986549537287,"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."}}