{"id":"W4298366775","doi":"","title":"Modeling an Aircraft Landing System in Event-B","year":2014,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Aeronautics; Event (particle physics); Computer science; Aerospace engineering; Landing gear; Soft landing; Engineering; Physics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.005360982,0.0003552425,0.0004253006,0.000336874,0.0001364772,0.0002607952,0.0009529524,0.0003824256,0.00001599489],"category_scores_gemma":[0.0003755861,0.0004302897,0.0001280197,0.0002886001,0.00003749445,0.0001706334,0.0003112276,0.0009618584,0.0000336441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006918796,"about_ca_system_score_gemma":0.0001278139,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006276965,"about_ca_topic_score_gemma":0.002286409,"domain_scores_codex":[0.995154,0.002873017,0.0005966317,0.0005691731,0.0003366888,0.0004705155],"domain_scores_gemma":[0.9970539,0.0005020132,0.000145522,0.001707425,0.0004351971,0.0001559858],"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.00000218369,0.00005851529,0.0002236647,0.0004212926,0.00003088827,0.000002419881,0.002040715,0.9760879,0.0004695368,0.01345349,0.00004948438,0.007159906],"study_design_scores_gemma":[0.0002924486,2.21171e-7,0.0001455233,0.001732021,0.00001920492,0.000005962666,0.00006441049,0.9937896,0.002435023,0.0006133369,0.0005212355,0.0003809799],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3602022,0.000910493,0.626936,0.0002233113,0.000406671,0.0003785966,0.00001512522,0.0008258238,0.01010181],"genre_scores_gemma":[0.9876559,0.0001406237,0.01139252,0.00001456433,0.00005136467,0.0001039346,0.0002856248,0.0001043162,0.0002511918],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6274536,"threshold_uncertainty_score":0.9998149,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008384245550026093,"score_gpt":0.2157370198904994,"score_spread":0.2073527743404733,"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."}}