{"id":"W1975197452","doi":"10.1145/2259051.2259058","title":"Collection disjointness analysis","year":2012,"lang":"en","type":"article","venue":"","topic":"Software Engineering Research","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Dataflow; Java; Computer science; Static analysis; Programming language; Inference; Theoretical computer science; Artificial intelligence","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.004083628,0.001351609,0.001490357,0.008093727,0.003041887,0.003182804,0.003024431,0.001056602,0.007711117],"category_scores_gemma":[0.02210437,0.001056305,0.00348428,0.004700025,0.002747762,0.008568922,0.005567403,0.002341287,0.001226756],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001663145,"about_ca_system_score_gemma":0.003759807,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003826768,"about_ca_topic_score_gemma":0.003056578,"domain_scores_codex":[0.9857819,0.001321646,0.00108296,0.002572445,0.007822894,0.001418037],"domain_scores_gemma":[0.9750292,0.009658133,0.002740072,0.0062137,0.00583358,0.0005253472],"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.0008766883,0.0003990196,0.06214148,0.001598693,0.0005620477,0.00246988,0.002804151,0.03287885,0.08105346,0.3347024,0.01743462,0.4630787],"study_design_scores_gemma":[0.00009668485,0.00043448,0.02380741,0.0006059897,0.0008909715,0.003383206,0.001157247,0.191761,0.245363,0.4105026,0.12159,0.0004073469],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07319149,0.0007111004,0.9025536,0.000426518,0.000118267,0.0004165416,0.001924644,0.009494055,0.01116387],"genre_scores_gemma":[0.5023367,0.0006203236,0.4798964,0.0004900876,0.0002432592,0.0006868861,0.005080751,0.004030568,0.00661504],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008093727,"threshold_uncertainty_score":0.02579623,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01787534946981946,"score_gpt":0.2740234515998597,"score_spread":0.2561481021300403,"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."}}