{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000409051,0.0003658656,0.0005683937,0.001378216,0.0001364551,0.00009360615,0.0003116497,0.0005570874,0.0003876249],"category_scores_gemma":[0.0004376914,0.0003802508,0.0001244595,0.0004693303,0.0002168771,0.0001289774,0.000108439,0.0007730435,0.000008327395],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003499627,"about_ca_system_score_gemma":0.0001481092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00021798,"about_ca_topic_score_gemma":0.0002640827,"domain_scores_codex":[0.9980894,0.00002856869,0.0007023206,0.0004159524,0.0003769409,0.0003868246],"domain_scores_gemma":[0.9983628,0.0001815201,0.0006317479,0.000402572,0.0003566502,0.00006468076],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006213121,0.0003044725,0.003153036,0.001613565,0.0003306363,0.000004816908,0.01004827,0.001631747,0.001274234,0.04085041,0.00128788,0.9388796],"study_design_scores_gemma":[0.01130472,0.002012714,0.03901028,0.01543797,0.000892507,0.000007450822,0.05806064,0.3946858,0.06302074,0.07865649,0.332033,0.004877658],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9684711,0.0002455392,0.01178869,0.00133812,0.0006123838,0.0019386,0.0002735886,0.000111654,0.01522037],"genre_scores_gemma":[0.9886483,0.00002770303,0.00981338,0.00002103138,0.00007183584,0.0002331235,0.0008419101,0.00002423946,0.0003184884],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.934002,"threshold_uncertainty_score":0.9998649,"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."}}