{"id":"W2989372335","doi":"10.1109/tc.2019.2953751","title":"Approximate Restoring Dividers Using Inexact Cells and Estimation From Partial Remainders","year":2019,"lang":"en","type":"article","venue":"IEEE Transactions on Computers","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Computer science; Mathematics; Algorithm; Arithmetic; Applied mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00009905533,0.0002226578,0.0002054665,0.0001939263,0.000109451,0.00008651681,0.0001138331,0.00009592158,0.00002451048],"category_scores_gemma":[6.612074e-7,0.0002457677,0.00005657845,0.0001858514,0.00003398933,0.0004681798,0.000001690271,0.0002428661,0.00005762713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001651466,"about_ca_system_score_gemma":0.00001623709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008502892,"about_ca_topic_score_gemma":0.000006463029,"domain_scores_codex":[0.9989663,0.00002924381,0.0002336516,0.0002792042,0.0002062968,0.0002853088],"domain_scores_gemma":[0.9994543,0.0001136907,0.0000366342,0.0002842335,0.00001467878,0.00009648014],"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":[0.00001658406,0.00001586485,0.000042631,0.00004141348,0.00005953035,0.000002896878,0.0005572847,0.974224,0.01682426,0.000003007363,0.00005530975,0.008157253],"study_design_scores_gemma":[0.0005388483,0.0000420633,0.00008480719,0.0001159367,0.00003485648,0.000003823027,0.00004671927,0.937782,0.06101443,0.00001696339,0.00006429276,0.0002552882],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4417095,0.00001345152,0.5560009,0.00001149869,0.001839839,0.0001566757,0.000007365115,0.0002294304,0.00003137],"genre_scores_gemma":[0.9759729,0.00002467928,0.02384001,0.00003482417,0.00005676642,0.00000806285,0.000003136653,0.00005046566,0.000009155849],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5342634,"threshold_uncertainty_score":0.9999995,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01441631740575301,"score_gpt":0.2051618775464805,"score_spread":0.1907455601407274,"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."}}