{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003644391,0.0004618207,0.0003107183,0.0004990082,0.0001799707,0.0002869397,0.0005780667,0.0003572316,0.0008617407],"category_scores_gemma":[0.002482626,0.0001554788,0.0003391286,0.0003974392,0.00027019,0.0007633978,0.0002941385,0.0003383575,0.0001578304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003730301,"about_ca_system_score_gemma":0.0002641978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006663104,"about_ca_topic_score_gemma":0.0008679768,"domain_scores_codex":[0.9997371,0.00004697395,0.00001069178,0.00004555356,0.0001272728,0.00003235629],"domain_scores_gemma":[0.9987442,0.0006785474,0.0002388248,0.0002183841,0.00009695385,0.00002298906],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0003446568,0.0001266616,0.006822296,0.0003171732,0.0001106867,0.000186555,0.000122194,0.6567249,0.2184588,0.007014396,0.00020372,0.109568],"study_design_scores_gemma":[0.000009712191,0.0005344669,0.002032332,0.00001046354,0.00004504984,0.0001174313,0.00003260042,0.8681351,0.1272461,0.001291942,0.0005338016,0.00001098353],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.760123,0.000598062,0.2354262,0.00008783144,0.00002186412,0.00006739622,0.00006900685,0.0005103294,0.003096354],"genre_scores_gemma":[0.9766386,0.0001498341,0.02268451,0.00001046214,0.000004045425,0.00001233096,0.00003081117,0.00002236323,0.0004469432],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0008617407,"threshold_uncertainty_score":0.002882779,"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."}}