{"id":"W2912431218","doi":"10.1002/spe.2689","title":"Faster remainder by direct computation: Applications to compilers and software libraries","year":2019,"lang":"en","type":"article","venue":"Software Practice and Experience","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick; Université TÉLUQ; Université du Québec à Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Remainder; Divisibility rule; Divisor (algebraic geometry); Multiplication (music); Mathematics; Integer (computer science); Arithmetic; Inverse; Greatest common divisor; Quotient; Multiple; Division (mathematics); Compiler; Subtraction; Discrete mathematics; Computer science; Combinatorics","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.0001923189,0.0001617491,0.0002002257,0.00004879165,0.0002425253,0.000496841,0.0003234876,0.00005347205,0.00001589836],"category_scores_gemma":[0.0003179765,0.0001446779,0.00002283233,0.0004013318,0.0001064473,0.001981673,0.0003770775,0.0001358799,0.00005592351],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001321736,"about_ca_system_score_gemma":0.00003431066,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002513915,"about_ca_topic_score_gemma":3.585391e-7,"domain_scores_codex":[0.9985994,0.000109068,0.0001917583,0.0005990875,0.0002421784,0.0002584912],"domain_scores_gemma":[0.9980633,0.001181692,0.0001000853,0.0003366994,0.00009274816,0.0002254341],"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.00003795625,0.0001343278,0.006694104,0.00006033509,0.0000310385,0.000009692013,0.01642147,0.00004821269,0.0004538266,0.004610007,0.003153831,0.9683452],"study_design_scores_gemma":[0.0007597438,0.0005484813,0.003471895,0.00008937857,0.00002553693,0.0001632889,0.007222766,0.003864,0.001261599,0.006716427,0.9747317,0.001145158],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004732174,0.000871848,0.9906708,0.002442243,0.0001680074,0.0003671313,0.000006590805,0.0002161205,0.0005250981],"genre_scores_gemma":[0.03261565,0.00006919668,0.9619792,0.00482786,0.0000422518,0.0001282301,0.000003900023,0.00001299836,0.0003207442],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9715779,"threshold_uncertainty_score":0.5899793,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0162781158321195,"score_gpt":0.3049469259117814,"score_spread":0.2886688100796619,"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."}}