{"id":"W7095310199","doi":"","title":"SPECIAL SECTION ON THE INDUSTRIALIZATION OF FORMAL METHODS: A VIEW FROM FORMAL METHODS","year":2005,"lang":"en","type":"article","venue":"","topic":"Prenatal Screening and Diagnostics","field":"Medicine","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Special section; Variety (cybernetics); Formal methods; Software; Software development; Industrialisation; Package development process; Section (typography)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007298969,0.001238707,0.00147284,0.003172178,0.001543427,0.004246839,0.0014522,0.004397649,0.009244728],"category_scores_gemma":[0.01134383,0.0006509021,0.001822898,0.002072488,0.007693436,0.005724256,0.002126514,0.01101344,0.002664067],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003700777,"about_ca_system_score_gemma":0.001447989,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001899122,"about_ca_topic_score_gemma":0.002321048,"domain_scores_codex":[0.9964038,0.001557254,0.0003688179,0.0004740872,0.0009392559,0.0002568856],"domain_scores_gemma":[0.9839255,0.01239482,0.0005287409,0.0007289037,0.00188501,0.0005370823],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005972318,0.00008701604,0.0004576605,0.0009089861,0.0000398409,0.000454285,0.0008062222,0.00140521,0.0008443256,0.3673314,0.5406352,0.08696996],"study_design_scores_gemma":[0.00001374611,0.00008500642,0.0003445453,0.0005512701,0.00001440045,0.0005381011,0.0001085947,0.001042439,0.0002463792,0.06926669,0.9277604,0.00002848781],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"editorial","genre_gemma":"methods","genre_scores_codex":[0.002215203,0.2505297,0.1067007,0.2159286,0.3268882,0.0001546799,0.0001969234,0.0005924678,0.09679351],"genre_scores_gemma":[0.031454,0.1772528,0.0303998,0.05397259,0.6300046,0.000280979,0.0002799661,0.0008283177,0.07552695],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.009244728,"threshold_uncertainty_score":0.03860116,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08988083028424163,"score_gpt":0.3964718504676066,"score_spread":0.306591020183365,"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."}}