{"id":"W2160863424","doi":"10.1109/newcas.2008.4606371","title":"Verification of fixed-point circuits specified by Taylor Series using Arithmetic Transform","year":2008,"lang":"en","type":"article","venue":"","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Taylor series; Arithmetic; Saturation arithmetic; Fixed-point arithmetic; Quantization (signal processing); Algorithm; Computer science; Arbitrary-precision arithmetic; Series (stratigraphy); Electronic circuit; Implementation; Simple (philosophy); Floating point; 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":[],"consensus_categories":[],"category_scores_codex":[0.0001774766,0.0001088187,0.0002001401,0.00005408843,0.00009924672,0.00002794177,0.0003597332,0.00004363204,0.00004417627],"category_scores_gemma":[0.00003364191,0.00009114372,0.00006621688,0.0004157821,0.00009549071,0.0004589678,0.00003232783,0.00007498523,0.000008097548],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002593792,"about_ca_system_score_gemma":0.00002951074,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005818839,"about_ca_topic_score_gemma":6.123698e-7,"domain_scores_codex":[0.9989825,0.00005031643,0.000282147,0.0002643896,0.0002266661,0.0001939588],"domain_scores_gemma":[0.9993768,0.00007613065,0.00007621642,0.000323524,0.00006901679,0.00007830744],"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.00001169691,0.0002832665,0.0001149656,0.00004470347,0.00003041416,0.00001615875,0.001430068,0.00005501706,0.2332713,0.03948832,0.0005342626,0.7247198],"study_design_scores_gemma":[0.0006608872,0.0003777623,0.002750219,0.00002394111,0.00001372728,0.0001958065,0.000153614,0.09858546,0.8751422,0.01388383,0.007673359,0.0005391526],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009754106,0.00008390166,0.9863317,0.0005830279,0.0001930991,0.0001217195,0.000003902136,0.00007421978,0.002854303],"genre_scores_gemma":[0.3179964,0.00005242797,0.6814221,0.0001005042,0.00004015505,0.00000531544,0.000001627112,0.000008436501,0.0003730396],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7241807,"threshold_uncertainty_score":0.3716733,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04589429743245357,"score_gpt":0.2692221587860459,"score_spread":0.2233278613535924,"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."}}