{"id":"W2151083564","doi":"10.5555/1870926.1871113","title":"RALF: reliability analysis for logic faults: an exact algorithm and its applications","year":2010,"lang":"en","type":"article","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Benchmark (surveying); Computer science; Algorithm; Testability; Combinational logic; Monte Carlo method; Set (abstract data type); Reliability (semiconductor); Fault (geology); Logic gate; Theoretical computer science; Mathematics; Reliability engineering; 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.0002383224,0.00009527388,0.0001326816,0.00008883187,0.00006171803,0.00002104567,0.0001024832,0.00009103942,0.00005800066],"category_scores_gemma":[0.00005889612,0.00008837312,0.00005160503,0.0003258853,0.0000157444,0.0001486867,0.000007281604,0.0001384826,0.000008071863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003391464,"about_ca_system_score_gemma":0.000009801064,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007574056,"about_ca_topic_score_gemma":0.00005575404,"domain_scores_codex":[0.999412,0.00001206821,0.0001375742,0.0001966304,0.00006354676,0.0001781607],"domain_scores_gemma":[0.9993682,0.0001776195,0.00001856006,0.0003014633,0.00005523003,0.00007895268],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000464705,0.0001114916,0.000676528,0.00009033024,0.000364808,2.195457e-7,0.0001215454,0.8133143,0.006422835,0.01484094,0.0003067932,0.1637456],"study_design_scores_gemma":[0.0001262056,0.00002787812,0.002469898,2.583943e-7,0.00008938125,8.118169e-7,0.000005549472,0.9851372,0.001629426,0.001457829,0.008939004,0.0001165955],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1227793,0.0001122597,0.8752426,0.00007174957,0.0000698067,0.0005843963,0.0000364942,0.0003834885,0.0007198795],"genre_scores_gemma":[0.936877,0.00002738718,0.06247527,0.00003946169,0.00008758925,0.00030916,0.00006234946,0.00001746193,0.0001043451],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8140976,"threshold_uncertainty_score":0.3603751,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005864453966639256,"score_gpt":0.2524264124626998,"score_spread":0.2465619584960605,"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."}}