{"id":"W3147922043","doi":"10.1145/3447993.3448622","title":"Verification","year":2021,"lang":"en","type":"article","venue":"","topic":"Energy Harvesting in Wireless Networks","field":"Engineering","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Backscatter (email); Real-time computing; Computer network; Embedded system; Wireless; Telecommunications","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.0000153233,0.00002615546,0.00002545093,0.000005883045,0.000009311272,0.00001080835,0.00002449321,0.000021558,0.0001521388],"category_scores_gemma":[0.000008993336,0.00002832431,0.000008447735,0.00007338251,0.000003482103,0.00002784843,0.000004539412,0.00003404109,0.0000639046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009405722,"about_ca_system_score_gemma":0.000003581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.266116e-7,"about_ca_topic_score_gemma":0.000006160599,"domain_scores_codex":[0.9998275,0.000003640435,0.00004159713,0.00004260843,0.00002879634,0.0000558758],"domain_scores_gemma":[0.9998517,0.00001343809,0.000002051177,0.0001031223,0.00001375965,0.00001591203],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[2.54542e-7,0.000007942882,0.0006330306,0.00001877396,0.00001542505,0.00001426652,0.00003397087,0.8813745,0.03192027,0.0380966,0.01588763,0.03199735],"study_design_scores_gemma":[0.0001363163,0.000003282207,0.009879599,0.0000239783,0.000005621344,0.00002030977,0.00003138001,0.6325082,0.2097205,0.0005322308,0.1469063,0.000232204],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1784878,0.0006504355,0.1540843,0.0001012722,0.0007920978,0.00001910336,4.848565e-7,0.001559803,0.6643047],"genre_scores_gemma":[0.9898642,0.00004214781,0.007965678,0.00003691109,0.00006957182,0.000002894177,0.00000714168,0.000009996849,0.002001504],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8113763,"threshold_uncertainty_score":0.1665813,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005344735645933315,"score_gpt":0.1660067073107113,"score_spread":0.160661971664778,"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."}}