{"id":"W1928527161","doi":"10.1109/ismvl.1994.302189","title":"Full sensitivity and test generation for multiple-valued logic circuits","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Sensitivity (control systems); Transformation (genetics); Operator (biology); Computer science; Electronic circuit; Mathematics; Logic gate; Base (topology); Algorithm; Theoretical computer science; Engineering; Electronic 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.0003232022,0.00009448429,0.0001137598,0.00003434463,0.0001420577,0.0001740994,0.00009980664,0.00005866489,0.000007497355],"category_scores_gemma":[0.0002195748,0.00007397673,0.0000343932,0.0000945796,0.00002401976,0.000214893,0.00005021657,0.0000368933,0.00004209335],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000148772,"about_ca_system_score_gemma":0.000006088589,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003677298,"about_ca_topic_score_gemma":0.0001636642,"domain_scores_codex":[0.9992076,0.00004819144,0.0001279717,0.0003156152,0.0001061328,0.0001944964],"domain_scores_gemma":[0.9993521,0.0002286785,0.00004948577,0.0002265562,0.00007976046,0.00006341081],"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.000002638463,0.0003249179,0.008515445,0.00007212255,0.00002705729,0.00003164986,0.001290658,0.00004843754,0.07197449,0.6547534,0.006259229,0.2567],"study_design_scores_gemma":[0.0004862983,0.0002627205,0.0008176857,9.326959e-7,0.000004536633,0.00006189437,0.00001289405,0.9905871,0.002572469,0.001617617,0.003398533,0.0001772926],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01064111,0.0001238859,0.9862423,0.000298152,0.0002933248,0.0003715254,9.544375e-7,0.0001835312,0.00184524],"genre_scores_gemma":[0.9866143,0.000004978678,0.01199442,0.0002538147,0.0001924269,0.00002176808,0.000002740717,0.000004603464,0.0009109404],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9905387,"threshold_uncertainty_score":0.3016683,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07088544977882014,"score_gpt":0.2523131303298523,"score_spread":0.1814276805510321,"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."}}