{"id":"W2094490973","doi":"10.1145/1185642.1185643","title":"Use of Ada in Lockheed Martin for air traffic management and beyond","year":2006,"lang":"en","type":"article","venue":"","topic":"Air Traffic Management and Optimization","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Lockheed Martin (Canada)","funders":"","keywords":"Computer science; Air traffic control; Programming language; Software engineering; Operating system; Aerospace 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.0009293708,0.0005622159,0.0004021587,0.000427649,0.0005722629,0.001285824,0.0007953043,0.0006438436,0.04934591],"category_scores_gemma":[0.001514649,0.0003995975,0.0003841082,0.0004757149,0.0005692152,0.001907592,0.0007881273,0.0009551675,0.01562581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005597544,"about_ca_system_score_gemma":0.0005381089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002294217,"about_ca_topic_score_gemma":0.003275504,"domain_scores_codex":[0.9994448,0.0001947383,0.00002597139,0.00006592709,0.0001918611,0.00007680245],"domain_scores_gemma":[0.999388,0.0002401017,0.00003058898,0.0001496782,0.0001113428,0.00008018032],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0007948649,0.0001282299,0.001231,0.0003741274,0.00005399267,0.0003161038,0.0002914883,0.007666035,0.01065013,0.1257631,0.1785063,0.6742247],"study_design_scores_gemma":[0.0001257268,0.0002379465,0.001144135,0.0001785672,0.00005407425,0.0003826247,0.00005604303,0.03729796,0.01169883,0.03762858,0.911154,0.00004136554],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.0210086,0.01426264,0.54826,0.005854967,0.005012268,0.0001567501,0.0006186977,0.02670808,0.3781181],"genre_scores_gemma":[0.3826432,0.007705866,0.2762562,0.00142721,0.001260355,0.0002007805,0.001005845,0.002706162,0.3267945],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.04934591,"threshold_uncertainty_score":0.1650785,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00722977226177921,"score_gpt":0.1719959260228656,"score_spread":0.1647661537610864,"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."}}