{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001771126,0.0004696858,0.0004623682,0.001136865,0.0003526714,0.001466261,0.0008023297,0.0007022755,0.001537973],"category_scores_gemma":[0.006465386,0.0003177529,0.000634162,0.0007465962,0.001947383,0.002227682,0.001247241,0.001055766,0.0001956501],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001155311,"about_ca_system_score_gemma":0.000605222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005607677,"about_ca_topic_score_gemma":0.0003606351,"domain_scores_codex":[0.9974856,0.0008213065,0.0001107296,0.0003933196,0.0009543591,0.0002345843],"domain_scores_gemma":[0.9951923,0.003646321,0.000244259,0.0004300396,0.0003603156,0.0001268586],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004531768,0.000101082,0.00199274,0.0003281091,0.00006638883,0.001099273,0.0005996259,0.1391261,0.04673129,0.5737082,0.002050462,0.2337436],"study_design_scores_gemma":[0.00004249827,0.0001989105,0.0006570936,0.00006185225,0.00004227311,0.0007783299,0.00005571947,0.4682123,0.04058582,0.4840826,0.005227346,0.00005520778],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08901373,0.0005826973,0.8999686,0.0004477569,0.00005220154,0.00006670271,0.0001160226,0.001376785,0.008375559],"genre_scores_gemma":[0.9224072,0.0002129099,0.07505527,0.0002077218,0.00004958022,0.00006058686,0.0001095256,0.0001110422,0.001786148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001771126,"threshold_uncertainty_score":0.009366691,"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."}}