{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006239268,0.0001028196,0.0001450254,0.0000759941,0.00004765214,0.0000191615,0.0004878604,0.00007403685,0.00008729771],"category_scores_gemma":[0.0008761886,0.00008134471,0.00005558843,0.0004475079,0.00006446291,0.001000433,0.00004690846,0.00007636582,0.00003926441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001105409,"about_ca_system_score_gemma":0.00005875209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002768645,"about_ca_topic_score_gemma":0.000001159387,"domain_scores_codex":[0.9978333,0.0006402683,0.0003685414,0.0002545363,0.0006736926,0.0002296988],"domain_scores_gemma":[0.9985499,0.0001620663,0.00007372264,0.0006680278,0.0004749046,0.00007141676],"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.00001273122,0.0008805163,0.004046367,0.000253158,0.00002116262,9.893107e-8,0.003414138,0.003443059,0.03586053,0.5771632,0.00003681087,0.3748683],"study_design_scores_gemma":[0.0004585331,0.00009704199,0.1296916,0.00001398078,0.00005426129,0.000005598946,0.00002932413,0.7811964,0.03579282,0.05238202,0.00006309994,0.0002153308],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1380732,0.0001039597,0.8550248,0.000038036,0.0003495818,0.0005810745,8.183006e-7,0.00009888566,0.005729593],"genre_scores_gemma":[0.7156228,0.000001958984,0.2842682,0.00002282536,0.00002287136,0.00004331256,0.000001051231,0.00000346745,0.00001346196],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7777534,"threshold_uncertainty_score":0.3317141,"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."}}