{"id":"W4210983863","doi":"10.1007/978-1-4471-5260-6_2","title":"Background","year":2013,"lang":"en","type":"book-chapter","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Usability; Formal methods; Life-critical system; Systems engineering; Software engineering; Context (archaeology); Method engineering; Risk analysis (engineering); Management science; Engineering; Engineering management; Human–computer interaction; Software; Medicine; Programming language","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.0007309149,0.0008838553,0.0005196203,0.001564486,0.001516255,0.003075795,0.001577542,0.001336855,0.477372],"category_scores_gemma":[0.002165193,0.0002604647,0.0003900448,0.00144649,0.0006212614,0.002550724,0.002070931,0.00152991,0.3234878],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001403905,"about_ca_system_score_gemma":0.00271246,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003434089,"about_ca_topic_score_gemma":0.005223313,"domain_scores_codex":[0.9994165,0.00006777897,0.00002149235,0.0001423367,0.0002620895,0.00008985542],"domain_scores_gemma":[0.9993533,0.0001059964,0.00002948776,0.00008218778,0.0002926045,0.0001363578],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000551495,0.00009099086,0.0001881816,0.0003377938,0.000003347046,0.00009634897,0.0002416233,0.0002505068,0.0005233524,0.1124874,0.6441915,0.2415339],"study_design_scores_gemma":[0.000001671147,0.0000066116,0.00006312116,0.00008010447,9.407313e-7,0.00003990759,0.00003223354,0.00002387602,0.00008109147,0.006140227,0.9935281,0.000002151684],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0005195637,0.003447554,0.005959677,0.002432302,0.0017793,0.0001537562,0.002136867,0.0004378528,0.9831331],"genre_scores_gemma":[0.003026053,0.003902321,0.00291568,0.001539512,0.0006289645,0.0001542851,0.002545823,0.0002366987,0.9850506],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.477372,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01634775322621746,"score_gpt":0.1832666835298903,"score_spread":0.1669189303036729,"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."}}