{"id":"W2113155657","doi":"10.1145/1391469.1391574","title":"Optimizing imprecise fixed-point arithmetic circuits specified by Taylor Series through arithmetic transform","year":2008,"lang":"en","type":"article","venue":"","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Saturation arithmetic; Arbitrary-precision arithmetic; Fixed-point arithmetic; Affine arithmetic; Arithmetic; Taylor series; Quantization (signal processing); Arithmetic circuit complexity; Series (stratigraphy); Floating point; Algorithm; Mathematics; Computer science","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.0009234785,0.0006068115,0.0005525739,0.0003791895,0.000225438,0.0009471749,0.0006823166,0.0004510534,0.001163883],"category_scores_gemma":[0.003239395,0.0002696485,0.0003709339,0.0006917504,0.0007267059,0.0009291884,0.0003681347,0.000694228,0.0002452829],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007274533,"about_ca_system_score_gemma":0.0006244128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005436248,"about_ca_topic_score_gemma":0.0008047432,"domain_scores_codex":[0.9994187,0.0001342404,0.00003126217,0.00006453297,0.0003045249,0.00004683197],"domain_scores_gemma":[0.9993292,0.0004012416,0.0001079823,0.00007187916,0.00008047896,0.000009268317],"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.00006590258,0.00001320368,0.0002004082,0.00008856691,0.00001866768,0.00004964081,0.00005468613,0.8796071,0.01496854,0.07318432,0.000200234,0.03154881],"study_design_scores_gemma":[0.00001840009,0.00008567691,0.00006307137,0.00001558486,0.00001728502,0.00003245555,0.00001692374,0.9595388,0.01498477,0.02395921,0.00125884,0.000008956255],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04129969,0.000126626,0.9548835,0.00007558014,0.00001258648,0.00001862448,0.00002299549,0.0001581425,0.003402315],"genre_scores_gemma":[0.6894019,0.0002973968,0.3082686,0.00003830284,0.00001767635,0.00008353703,0.00005049441,0.0001006164,0.001741497],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001163883,"threshold_uncertainty_score":0.005278111,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03232738421579037,"score_gpt":0.2613277696845557,"score_spread":0.2290003854687653,"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."}}