{"id":"W1121207097","doi":"","title":"Static Analysis for Efficient Affine Arithmetic on GPUs","year":2008,"lang":"en","type":"dissertation","venue":"UWSpace (University of Waterloo)","topic":"Matrix Theory and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Ontario Centres of Excellence","keywords":"Affine transformation; Arithmetic; Computer science; Parallel computing; Affine arithmetic; Mathematics; Pure mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005960035,0.0006868695,0.0006201214,0.001273778,0.0008252803,0.001770107,0.001017758,0.0003771128,0.00923108],"category_scores_gemma":[0.003907872,0.0003780224,0.0007482351,0.001456869,0.0008883452,0.001972803,0.001251933,0.001086866,0.001717056],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001300834,"about_ca_system_score_gemma":0.001482117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00436219,"about_ca_topic_score_gemma":0.005913115,"domain_scores_codex":[0.9989693,0.0001528819,0.00005279547,0.00011989,0.0005461695,0.0001590637],"domain_scores_gemma":[0.9989349,0.0003721967,0.00009310101,0.0002222564,0.0003434372,0.00003401185],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004204533,0.0001128999,0.004492444,0.0004245926,0.00006399921,0.0003706993,0.000409471,0.1805507,0.02802793,0.4710644,0.02799398,0.2860684],"study_design_scores_gemma":[0.00002685335,0.00007166919,0.0008572409,0.00006298329,0.00002975035,0.00009144993,0.00007436556,0.8547826,0.01037024,0.1134785,0.02013036,0.0000240615],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06430334,0.001571419,0.8850999,0.0006792107,0.0003802658,0.0001246561,0.0003968259,0.004134183,0.04331015],"genre_scores_gemma":[0.7044536,0.001307775,0.266071,0.0004756279,0.0004081285,0.0002294844,0.001085808,0.001792544,0.024176],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00923108,"threshold_uncertainty_score":0.03088105,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01008470538257326,"score_gpt":0.2087577755978822,"score_spread":0.1986730702153089,"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."}}