{"id":"W2554383746","doi":"10.1007/978-3-319-48869-1","title":"Verified Software. Theories, Tools, and Experiments","year":2016,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Software engineering","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.00309556,0.00152955,0.001153362,0.001835593,0.000729261,0.003426599,0.001961905,0.002141102,0.01768147],"category_scores_gemma":[0.01370638,0.001265665,0.000847596,0.002038388,0.002816988,0.005565484,0.001836434,0.002785178,0.006499375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001383975,"about_ca_system_score_gemma":0.002475365,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001237236,"about_ca_topic_score_gemma":0.00123026,"domain_scores_codex":[0.9951265,0.001427909,0.0003333686,0.0004527602,0.002528702,0.0001308094],"domain_scores_gemma":[0.9877908,0.007629179,0.0004371906,0.002761706,0.001253929,0.000127173],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001211205,0.0001268637,0.0004465547,0.001422194,0.00003878634,0.00008988746,0.0002066764,0.01042643,0.002190346,0.537554,0.03416014,0.4132169],"study_design_scores_gemma":[0.000122353,0.0001190605,0.0004209094,0.0007460936,0.00006165978,0.0002831895,0.0001063903,0.04908099,0.006619123,0.7924275,0.149974,0.0000386563],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.007120713,0.02772756,0.8480685,0.003255913,0.001234181,0.0003415708,0.001447689,0.007449925,0.1033539],"genre_scores_gemma":[0.2516235,0.02542338,0.6271095,0.001821168,0.001040508,0.001151069,0.003498374,0.003396627,0.08493596],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01768147,"threshold_uncertainty_score":0.05915046,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07323841759567382,"score_gpt":0.3723079387014487,"score_spread":0.2990695211057749,"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."}}