{"id":"W4225849263","doi":"10.1109/access.2022.3158753","title":"Mapping Applications Intents to Programmable NDN Data-Planes via Event-B Machines","year":2022,"lang":"en","type":"article","venue":"IEEE Access","topic":"Caching and Content Delivery","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Semantics (computer science); Event (particle physics); Forwarding plane; Computer network; Distributed computing; Content delivery; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.0003205251,0.0001190127,0.0001286509,0.0001588782,0.000473253,0.0004408134,0.004465795,0.00001645872,0.00003150772],"category_scores_gemma":[0.0000100033,0.0001189294,0.00003604151,0.0006943726,0.00001232043,0.0009576555,0.002319438,0.0001372425,0.0000821483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004520417,"about_ca_system_score_gemma":0.00003786554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005570416,"about_ca_topic_score_gemma":0.00006492961,"domain_scores_codex":[0.998585,0.00006853289,0.0002074461,0.0005378848,0.000330511,0.0002706562],"domain_scores_gemma":[0.9985271,0.00004405284,0.00007822795,0.001199019,0.00005397522,0.00009769258],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003122133,0.000517274,0.01318084,0.00008953331,0.0001308618,0.00007851669,0.0006894962,0.009916539,0.008217383,0.001774385,0.03039933,0.9349746],"study_design_scores_gemma":[0.0005471408,0.0001107948,0.003434533,0.00003235269,0.00002247769,0.0001905515,0.0001606492,0.4232919,0.0004694975,0.003005516,0.5679635,0.0007710807],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03721199,0.0001657585,0.958891,0.001416754,0.0009721112,0.0005873825,0.00008901236,0.0003350792,0.0003308998],"genre_scores_gemma":[0.9943522,0.000004838241,0.002181108,0.001643111,0.0001528862,0.0005732685,0.00008862931,0.00001258336,0.000991342],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9571403,"threshold_uncertainty_score":0.8298633,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06508792739659432,"score_gpt":0.3230119035860743,"score_spread":0.25792397618948,"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."}}