{"id":"W2802046167","doi":"10.1007/s11334-018-0310-0","title":"Introduction to special issue on verification and evaluation of computer systems","year":2018,"lang":"en","type":"article","venue":"Innovations in Systems and Software Engineering","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Computer Applications; Political science","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.003773441,0.002345872,0.002527674,0.004596489,0.001160401,0.004752612,0.002195125,0.003569661,0.06965335],"category_scores_gemma":[0.01159129,0.0008164486,0.001926332,0.002199801,0.001717304,0.005222657,0.002619071,0.006270283,0.02979203],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001904805,"about_ca_system_score_gemma":0.002168868,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009372986,"about_ca_topic_score_gemma":0.001961818,"domain_scores_codex":[0.9963207,0.0005911727,0.0003739457,0.0007739014,0.001731106,0.0002091904],"domain_scores_gemma":[0.9877648,0.004802697,0.0005707218,0.001320836,0.004426615,0.001114425],"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.00004402614,0.00005009741,0.0001901892,0.0006075149,0.00003800937,0.00009591455,0.00002419511,0.0005380816,0.0005158635,0.005906214,0.9157436,0.07624625],"study_design_scores_gemma":[0.00001316612,0.00008106444,0.0007458456,0.0003846707,0.00003689672,0.0002999252,0.0000188484,0.00136585,0.0003936191,0.01362509,0.9830124,0.00002255105],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.0006593394,0.08167935,0.03205759,0.02606739,0.8211629,0.0001521877,0.0005665893,0.0005332201,0.03712146],"genre_scores_gemma":[0.005262149,0.04291558,0.008177434,0.01058803,0.8146122,0.0001423709,0.0009817578,0.000973943,0.1163466],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.06965335,"threshold_uncertainty_score":0.2330136,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02269678944781473,"score_gpt":0.2861557639173261,"score_spread":0.2634589744695113,"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."}}