{"id":"W126306277","doi":"10.1007/978-3-319-11764-5_16","title":"Incremental Verification of Computing Policies","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Network Packet Processing and Optimization","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Predicate (mathematical logic); Property (philosophy); Computer science; Set (abstract data type); Mathematical economics; Sequence (biology); Action (physics); Algorithm; Mathematics; Programming language; Philosophy; Epistemology","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.005478357,0.001369338,0.001576771,0.001543382,0.001270482,0.004062562,0.004788679,0.001657461,0.009539078],"category_scores_gemma":[0.03127443,0.001533424,0.0030385,0.001416135,0.003278488,0.007412281,0.00647225,0.004296964,0.002224567],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002759381,"about_ca_system_score_gemma":0.004393876,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005579878,"about_ca_topic_score_gemma":0.006415217,"domain_scores_codex":[0.9901502,0.0028829,0.0006513139,0.001753447,0.003308517,0.001253578],"domain_scores_gemma":[0.9624379,0.02284257,0.0009721398,0.01051085,0.002762147,0.0004743331],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001496869,0.0004806102,0.003045024,0.000969379,0.0002752135,0.0005294402,0.0006797588,0.1876584,0.02493906,0.3341782,0.0123833,0.4333647],"study_design_scores_gemma":[0.0001306048,0.0001138926,0.0004217041,0.00009100316,0.0001079152,0.0001319488,0.00010361,0.6475964,0.02914932,0.3161599,0.005935725,0.00005789392],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0217285,0.0002422357,0.9614397,0.0004559472,0.0001586431,0.0002462386,0.0003486566,0.009383576,0.0059966],"genre_scores_gemma":[0.4999592,0.0002520897,0.4917158,0.0003015991,0.0001540926,0.0002958785,0.001397284,0.001340127,0.004583947],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009539078,"threshold_uncertainty_score":0.03191137,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01472573712548257,"score_gpt":0.2461241649650206,"score_spread":0.231398427839538,"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."}}