{"id":"W1975740747","doi":"10.1109/ccece.2012.6334965","title":"Reliability evaluation of multivalued logic circuits via probabilistic transfer matrices","year":2012,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"National Science Council","keywords":"Probabilistic logic; Reliability (semiconductor); Computer science; Logic gate; Binary number; Notation; Electronic circuit; Algorithm; Logic synthesis; Theoretical computer science; Reliability engineering; Mathematics; Arithmetic; Engineering; Artificial intelligence; Electrical 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001725397,0.0007629436,0.0004753941,0.001131921,0.0002339694,0.001099897,0.0008514394,0.0005164847,0.001322142],"category_scores_gemma":[0.006009401,0.0002155886,0.0005519231,0.0005701328,0.0007928881,0.001514827,0.0008207174,0.0006398719,0.0001665471],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000910488,"about_ca_system_score_gemma":0.0004638627,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005809676,"about_ca_topic_score_gemma":0.0003310374,"domain_scores_codex":[0.9984285,0.0006065527,0.00006770189,0.0001785898,0.0006354454,0.00008318887],"domain_scores_gemma":[0.9981734,0.001218662,0.0002288791,0.0001290752,0.0002175961,0.00003246118],"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.0001508595,0.00003145667,0.0007293539,0.0001724814,0.00007108496,0.0001661728,0.0001080296,0.791253,0.02263741,0.1286942,0.0002796007,0.05570638],"study_design_scores_gemma":[0.000006510437,0.00006391609,0.0001242906,0.00001274975,0.00001497337,0.00006186634,0.00001444145,0.9455542,0.007144663,0.04661626,0.0003734193,0.00001272199],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03850695,0.0002414747,0.9588416,0.00006621166,0.00001576501,0.00002970942,0.00003343608,0.0002145659,0.002050228],"genre_scores_gemma":[0.9331686,0.000244879,0.06555484,0.00002500003,0.00002725519,0.00006305937,0.00004700941,0.0000513737,0.0008180082],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001725397,"threshold_uncertainty_score":0.009124875,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1035244848751257,"score_gpt":0.352024691733434,"score_spread":0.2485002068583084,"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."}}