{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007041869,0.001103936,0.001262514,0.0009268134,0.001391964,0.004836102,0.002358312,0.001386431,0.003553769],"category_scores_gemma":[0.01814714,0.001123977,0.001216038,0.001064988,0.003028588,0.004826115,0.003037076,0.003742289,0.0009243613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002776176,"about_ca_system_score_gemma":0.003718494,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001789213,"about_ca_topic_score_gemma":0.002003894,"domain_scores_codex":[0.9936808,0.002729392,0.0004875838,0.0006624999,0.001575176,0.0008644477],"domain_scores_gemma":[0.9921996,0.004786129,0.0003634164,0.001148433,0.001181994,0.0003204258],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002100376,0.00008857789,0.0003219965,0.0001764061,0.00003598024,0.00009100678,0.0002621275,0.1995375,0.002892757,0.7373562,0.002633517,0.05639384],"study_design_scores_gemma":[0.00003117583,0.00003637345,0.00002934354,0.00004869975,0.0000280013,0.00002199512,0.00003678708,0.5911223,0.004031422,0.3999664,0.00463068,0.00001685444],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005120698,0.0001465826,0.9907044,0.000419347,0.00006496725,0.00007032209,0.00004566329,0.000434851,0.002993219],"genre_scores_gemma":[0.3468809,0.0005007217,0.6467552,0.0004722855,0.0001393555,0.0003831632,0.0002134795,0.0004002635,0.004254732],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007041869,"threshold_uncertainty_score":0.0372414,"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."}}