{"id":"W2770590963","doi":"10.1109/radecs.2016.8093201","title":"Investigating the efficiency of cell level hardening techniques of single event transients via SMT","year":2016,"lang":"en","type":"article","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University; Polytechnique Montréal","funders":"","keywords":"Modulo; Soft error; Computer science; Satisfiability modulo theories; Hardening (computing); Overhead (engineering); Satisfiability; Vulnerability (computing); Reliability (semiconductor); Event (particle physics); Reliability engineering; Very-large-scale integration; Computer engineering; Algorithm; Embedded system; Electronic engineering; Engineering; Mathematics; Programming language; Computer security","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.0002603144,0.00008898589,0.0001176154,0.00005479534,0.00002524946,0.000003827473,0.000172144,0.00004518398,0.00002288194],"category_scores_gemma":[0.00005304195,0.00005370305,0.0000487361,0.000149726,0.00006163814,0.00006265049,0.00001136227,0.00006316706,0.000002697482],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006399203,"about_ca_system_score_gemma":0.00001822573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001120927,"about_ca_topic_score_gemma":0.000005719822,"domain_scores_codex":[0.9992765,0.00003012481,0.000264335,0.00008473141,0.000171183,0.0001731102],"domain_scores_gemma":[0.9995216,0.0001692393,0.00006494423,0.0001810319,0.00003821489,0.00002503487],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[5.725404e-7,0.0000209182,0.00008825975,0.00005098974,0.000008352339,6.244904e-8,0.0003123304,0.01117655,0.9742297,0.0001221655,0.00007691498,0.01391322],"study_design_scores_gemma":[0.0001147105,0.00007577969,0.0002324248,0.00006643462,0.000008011383,8.915548e-7,0.00001384319,0.02841143,0.9706746,0.0001979671,0.0001314056,0.00007248077],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6038395,0.0001008771,0.3922305,0.00004178561,0.00006622598,0.0001606468,0.000003510597,0.0001302032,0.003426834],"genre_scores_gemma":[0.9930823,0.000006595867,0.006760322,0.00001185987,0.00001548669,0.000008534037,4.187815e-7,0.00001991115,0.00009453628],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3892429,"threshold_uncertainty_score":0.2189947,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01171546475641075,"score_gpt":0.2112998219523821,"score_spread":0.1995843571959713,"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."}}