{"id":"W7002436744","doi":"","title":"2nd International Workshop on Automated Program Analysis, Testing, and Verification (WAPATV) 23rd International Conference on Software Engineering, Westin Harbour Castle Hotel, Toronto, Ontario, Canada, May 12 - 19, 2001 ; ICSE 2001 workshop 4","year":2001,"lang":"en","type":"article","venue":"","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Software; Harbour; Computer software","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.006773998,0.002046693,0.002569532,0.00252326,0.001616225,0.006533345,0.002884609,0.001921597,0.03848513],"category_scores_gemma":[0.009921709,0.001161546,0.002000154,0.001821109,0.002314433,0.006868844,0.004898063,0.004637853,0.0106801],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001987337,"about_ca_system_score_gemma":0.004302825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005513153,"about_ca_topic_score_gemma":0.01197433,"domain_scores_codex":[0.9945812,0.00180408,0.0003574494,0.001173676,0.001609151,0.0004744279],"domain_scores_gemma":[0.9913527,0.002787553,0.0002022349,0.002826468,0.002182651,0.0006483199],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004930813,0.0004375352,0.001404104,0.0003929457,0.0001502731,0.0003635731,0.0007137926,0.004638042,0.006967325,0.05004802,0.2543905,0.6800008],"study_design_scores_gemma":[0.0001978185,0.0004689068,0.003456179,0.0005576244,0.0002361777,0.001466594,0.0004887121,0.08391057,0.0191919,0.1635656,0.7263386,0.0001212658],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01193132,0.009759497,0.910324,0.008698204,0.007265938,0.0004408502,0.0009036398,0.01032739,0.04034927],"genre_scores_gemma":[0.1155462,0.01036602,0.6644939,0.002885888,0.003406789,0.0006652111,0.007119262,0.005042152,0.1904746],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.03848513,"threshold_uncertainty_score":0.1287456,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06473506740593873,"score_gpt":0.3274572424475106,"score_spread":0.2627221750415718,"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."}}