{"id":"W2159401583","doi":"10.5555/1874620.1874889","title":"Finite precision bit-width allocation using SAT-modulo theory","year":2009,"lang":"en","type":"article","venue":"Design, Automation, and Test in Europe","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":40,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Modulo; Bit (key); Context (archaeology); Computer science; Finite field; Algorithm; Division (mathematics); Arithmetic; Mathematics; Discrete 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.001204,0.0001351184,0.0001492123,0.0001632142,0.0001341845,0.000185853,0.0002851403,0.00004450147,0.000005492874],"category_scores_gemma":[0.001218736,0.000114375,0.00001915891,0.0009614719,0.00003091796,0.0005522589,0.000047589,0.00009136822,0.0000183568],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002200329,"about_ca_system_score_gemma":0.00004534213,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000671171,"about_ca_topic_score_gemma":2.968471e-7,"domain_scores_codex":[0.9985151,0.0004710213,0.0002962888,0.0003356665,0.0001896177,0.0001922566],"domain_scores_gemma":[0.9981821,0.001210091,0.0001119332,0.0002934059,0.0001319058,0.00007059966],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005796356,0.0001524425,0.0007118187,0.000008235649,0.000003047863,0.00001183261,0.0006767726,0.002860727,0.005792368,0.01915413,0.00004653875,0.9705763],"study_design_scores_gemma":[0.0002440429,0.0002002034,0.08125257,0.00005699824,0.00000453926,0.00001451412,0.000005075903,0.8497928,0.001160113,0.06650236,0.0005838881,0.0001828536],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008960701,0.0001871461,0.9898065,0.0002644059,0.0001355603,0.0001856083,9.298354e-7,0.0001737554,0.000285422],"genre_scores_gemma":[0.2880349,0.00006716346,0.7113391,0.0004141073,0.00005618322,0.000003045458,0.000003043355,0.000008787261,0.00007378287],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9703934,"threshold_uncertainty_score":0.4664077,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03213031079417149,"score_gpt":0.2864878461000372,"score_spread":0.2543575353058657,"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."}}