{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003820718,0.0004238388,0.000588393,0.0001034406,0.0004276306,0.0002437869,0.00119672,0.0001423454,0.0002076017],"category_scores_gemma":[0.00007360444,0.0003474647,0.0002473467,0.0009258359,0.000242962,0.001639889,0.0002038877,0.0003790804,0.0001196236],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008156103,"about_ca_system_score_gemma":0.00006502252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001155242,"about_ca_topic_score_gemma":0.000003248159,"domain_scores_codex":[0.9969179,0.0001405957,0.0006222471,0.0008979261,0.0005925761,0.0008287648],"domain_scores_gemma":[0.9983637,0.0002685728,0.0001192996,0.0008291689,0.0001194831,0.0002997543],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002738939,0.0005833177,0.00002397124,0.00005911616,0.0001027778,0.0003101279,0.005370096,0.000127781,0.01035739,0.03194927,0.005724555,0.9453642],"study_design_scores_gemma":[0.006102811,0.003031286,0.0008541024,0.0001760518,0.0001219741,0.003309209,0.001333321,0.1389146,0.5026802,0.1616772,0.1763209,0.005478304],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000700919,0.000587903,0.9741201,0.003103315,0.0007164173,0.0003735457,0.00001153505,0.0004771851,0.0199091],"genre_scores_gemma":[0.03417763,0.0004659988,0.9612253,0.0009643229,0.0001666659,0.0000598954,0.000004790638,0.00003988332,0.002895499],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9398859,"threshold_uncertainty_score":0.9998977,"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."}}