{"id":"W4246765009","doi":"10.1016/s1571-0661(05)82541-1","title":"Preface","year":2003,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"IBM; Library science; Model checking; Computer science; Operations research; Programming language; Mathematics","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.001374852,0.001203091,0.001102138,0.003074066,0.002472539,0.006535167,0.002067216,0.001918553,0.5830162],"category_scores_gemma":[0.008931823,0.0004425276,0.0009813588,0.002834656,0.0008064935,0.004677374,0.003069045,0.002810498,0.4146901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0022119,"about_ca_system_score_gemma":0.002641916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002436626,"about_ca_topic_score_gemma":0.003002466,"domain_scores_codex":[0.9983501,0.0001872942,0.00012357,0.000345364,0.000857944,0.0001357141],"domain_scores_gemma":[0.996057,0.000650714,0.0001516889,0.0005258603,0.002008175,0.0006066664],"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.00002981931,0.00001949745,0.0001012736,0.000153747,0.00000352345,0.00003634938,0.00007691261,0.00006619945,0.0001398464,0.004968054,0.9408159,0.05358885],"study_design_scores_gemma":[0.000002626046,0.000009491928,0.0001312718,0.00008268367,0.000001742528,0.00004639726,0.00004383598,0.00002460317,0.00005936661,0.001366955,0.9982273,0.000003710516],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"editorial","genre_scores_codex":[0.001173558,0.01311523,0.007764014,0.02552257,0.1091541,0.0004606354,0.01558368,0.003324356,0.8239018],"genre_scores_gemma":[0.004790302,0.00744453,0.00386386,0.006053075,0.01589864,0.0002648048,0.0164882,0.001778931,0.9434177],"genre_candidate":"editorial","genre_consensus":null,"teacher_disagreement_score":0.5830162,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007605294203265922,"score_gpt":0.2722688846522394,"score_spread":0.2646635904489734,"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."}}