{"id":"W2888674064","doi":"10.1007/s00607-018-0655-0","title":"Policy expressions and the bottom-up design of computing policies","year":2018,"lang":"en","type":"article","venue":"Computing","topic":"Network Packet Processing and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"National Science Foundation","keywords":"Equivalence (formal languages); Computer science; Set (abstract data type); Generalization; Predicate (mathematical logic); Policy analysis; Expression (computer science); Representation (politics); Theoretical computer science; Mathematics; Discrete mathematics; Law; Programming language; Political science","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":[],"consensus_categories":[],"category_scores_codex":[0.0009828607,0.0001116625,0.0001774559,0.0001011622,0.0006246621,0.0001716998,0.0005440134,0.00004235479,7.571011e-7],"category_scores_gemma":[0.0002901691,0.00007739743,0.00003064583,0.0006036175,0.0004010486,0.0001462968,0.0005261753,0.0001165996,0.00000270973],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000158732,"about_ca_system_score_gemma":0.000111222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005486743,"about_ca_topic_score_gemma":6.317337e-7,"domain_scores_codex":[0.9988472,0.0002037156,0.0002581272,0.0002278737,0.0001981954,0.0002648581],"domain_scores_gemma":[0.998622,0.000579252,0.0002148519,0.0003164907,0.0002155227,0.00005189973],"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.00006953918,0.00008255465,0.001466813,0.0001121666,0.00007647758,0.000002657252,0.0892946,0.1124027,0.002232271,0.3528989,0.004133556,0.4372278],"study_design_scores_gemma":[0.0004851352,0.00003253357,0.0004826813,0.0001428497,0.00000489738,0.00001429619,0.0001078645,0.9928507,0.001070818,0.004667362,0.00004588564,0.00009493207],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01782738,0.0001879379,0.9795576,0.0008400615,0.0002574192,0.0001064961,1.674996e-7,0.0001288983,0.00109406],"genre_scores_gemma":[0.835442,0.00001152519,0.1637109,0.0003413182,0.000437488,5.506005e-7,2.40054e-7,0.000006987241,0.00004894069],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.880448,"threshold_uncertainty_score":0.4804459,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02624988976159084,"score_gpt":0.2896066737618062,"score_spread":0.2633567840002153,"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."}}