{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00126313,0.0004854512,0.0009732071,0.0007848843,0.000686451,0.001296897,0.001747699,0.0009894416,0.002702912],"category_scores_gemma":[0.004341994,0.0002827481,0.0005955276,0.0008419549,0.001090531,0.002179354,0.001765548,0.001383492,0.0006060673],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008413053,"about_ca_system_score_gemma":0.000693312,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004418921,"about_ca_topic_score_gemma":0.000483088,"domain_scores_codex":[0.9981059,0.0004160305,0.0001135013,0.0003028092,0.0008654826,0.0001962324],"domain_scores_gemma":[0.9982589,0.0003897045,0.0001995271,0.0007426601,0.0003437418,0.00006539658],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004613153,0.00006245439,0.0006041237,0.0003464172,0.00006457162,0.0001817061,0.0003974352,0.1133728,0.05644416,0.4131584,0.003268859,0.4116378],"study_design_scores_gemma":[0.00006897333,0.0004801626,0.0004370542,0.00007896926,0.00006894091,0.0006251462,0.0001006249,0.8122916,0.05638909,0.09333376,0.03601995,0.0001056865],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01333188,0.0006758752,0.9809805,0.0001928253,0.0001374817,0.0000917931,0.00003770685,0.0003175852,0.004234514],"genre_scores_gemma":[0.5980862,0.0007983071,0.3934366,0.0002811093,0.0001785901,0.0002097937,0.0001100963,0.0001007612,0.006798559],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002702912,"threshold_uncertainty_score":0.009042203,"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."}}