{"id":"W2574407746","doi":"10.1109/tc.2017.2653780","title":"Two Approximate Voting Schemes for Reliable Computing","year":2017,"lang":"en","type":"article","venue":"IEEE Transactions on Computers","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Triple modular redundancy; Computer science; Modular design; Redundancy (engineering); Voting; Probabilistic logic; Overhead (engineering); Scheme (mathematics); Algorithm; Theoretical computer science; Mathematics; Artificial intelligence","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.0001793091,0.0001748912,0.0001761208,0.00009515127,0.000691196,0.0001792651,0.0003185013,0.00005947276,0.000004182017],"category_scores_gemma":[0.00000555529,0.0002021918,0.0001085528,0.00005767663,0.0000377181,0.0002142324,0.000001374088,0.0002327599,0.0000168001],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001349813,"about_ca_system_score_gemma":0.00001766458,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001087274,"about_ca_topic_score_gemma":0.000008492435,"domain_scores_codex":[0.999095,0.00001085829,0.0001927624,0.0002149941,0.0001142053,0.0003721718],"domain_scores_gemma":[0.9992757,0.0001715477,0.00006605473,0.0003871393,0.00003541038,0.00006415308],"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.00000614786,0.00001805939,0.000005005415,0.00005230535,0.00005728158,7.213542e-7,0.00005568809,0.9255648,0.0003395877,0.0003386072,0.0003205583,0.07324123],"study_design_scores_gemma":[0.0007061363,0.00004809898,0.00001570553,0.00006582341,0.00001990766,0.000004717034,0.000005392714,0.9788793,0.01839619,0.0000477756,0.001607264,0.0002037272],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02593866,0.0000314732,0.9699643,0.00006735791,0.002633099,0.0003146158,0.000008152422,0.0005797207,0.0004626809],"genre_scores_gemma":[0.9441134,0.000006436519,0.05555833,0.00005416854,0.0001445541,0.00002649844,0.000001978538,0.0000539846,0.00004067788],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9181747,"threshold_uncertainty_score":0.8245143,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01230735922508124,"score_gpt":0.2551684797242756,"score_spread":0.2428611204991943,"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."}}