{"id":"W2584089743","doi":"10.1109/icecs.2016.7841185","title":"Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis","year":2016,"lang":"en","type":"article","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Concordia University","funders":"","keywords":"Soft error; Computer science; Reduction (mathematics); Very-large-scale integration; Computer engineering; Propagation delay; Algorithm; Satisfiability modulo theories; Fault injection; Electronic engineering; Reliability engineering; Embedded system; Mathematics; Software; Engineering","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.0003740001,0.00005259474,0.0000816647,0.00006859304,0.00003521147,0.000007985351,0.0001695954,0.0000320906,0.000008407313],"category_scores_gemma":[0.0004519282,0.0000296879,0.00001687597,0.0003956292,0.00004231462,0.0001633873,0.00002712469,0.00003647887,6.524785e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002291552,"about_ca_system_score_gemma":0.00002119036,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009109856,"about_ca_topic_score_gemma":0.00001025378,"domain_scores_codex":[0.9995956,0.00001615579,0.0001250089,0.0001086964,0.00005675077,0.00009780472],"domain_scores_gemma":[0.9992091,0.0003505975,0.00004082542,0.0003496246,0.00003326753,0.00001660806],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007739248,0.00002111948,0.0005452121,0.000155135,0.0005145728,6.435976e-8,0.0003536389,0.15499,0.7572455,0.005636449,0.003109842,0.07742073],"study_design_scores_gemma":[0.0001239739,0.000047959,0.0003130268,0.00001683014,0.0001716563,0.000002960783,0.00002901671,0.918789,0.07810601,0.0009096683,0.001393233,0.0000967227],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1099466,0.0001832542,0.8889523,0.0002475737,0.00005004697,0.0003513707,0.00001229225,0.00009799274,0.0001585652],"genre_scores_gemma":[0.9861658,0.00001598374,0.01370673,0.000007413436,0.00002621126,0.00002395156,0.000007228242,0.000009478531,0.00003721174],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8762192,"threshold_uncertainty_score":0.1210638,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02752483759007756,"score_gpt":0.2968237455194748,"score_spread":0.2692989079293972,"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."}}