{"id":"W7065255391","doi":"","title":"Efficient abstract interpretation framework for resolving security-sensitive values and information flow sources in Android","year":2014,"lang":"en","type":"dissertation","venue":"DSpace@MIT (Massachusetts Institute of Technology)","topic":"Magnetic confinement fusion research","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Android (operating system); Interpretation (philosophy); Information system; Information flow; Data flow diagram; Work flow","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.004582859,0.002151621,0.00175693,0.00309928,0.001549337,0.006486855,0.003310391,0.002321047,0.009758736],"category_scores_gemma":[0.01313296,0.001847917,0.003946612,0.001797821,0.002663164,0.01165707,0.006145272,0.004725756,0.002306618],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002542463,"about_ca_system_score_gemma":0.004235789,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007927951,"about_ca_topic_score_gemma":0.01517514,"domain_scores_codex":[0.9939572,0.001328254,0.0008634441,0.0008822223,0.002353663,0.0006152802],"domain_scores_gemma":[0.9935592,0.002743639,0.0003312053,0.001830289,0.001401228,0.000134355],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001375318,0.0002995158,0.005554237,0.001700213,0.0004316971,0.001600965,0.00285208,0.04595016,0.02029354,0.5810686,0.04767844,0.2911953],"study_design_scores_gemma":[0.0002641173,0.000150322,0.0007938417,0.0005178244,0.0005215016,0.0008324064,0.0007269891,0.4098665,0.03570354,0.4530006,0.09742429,0.0001980175],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01184286,0.001310688,0.9543358,0.001080235,0.0002424907,0.0003419821,0.001692513,0.02356551,0.005587917],"genre_scores_gemma":[0.2704051,0.001121725,0.7118474,0.0008975965,0.0002664268,0.0004389059,0.003544736,0.004406799,0.007071359],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009758736,"threshold_uncertainty_score":0.03264624,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005009498965132787,"score_gpt":0.2565286676237308,"score_spread":0.251519168658598,"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."}}