{"id":"W2181120999","doi":"10.1109/ismvl.2001.924548","title":"Algebras for hazard detection","year":2002,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Hazard; Electronic circuit; Computation; Computer science; Digital electronics; Boolean algebra; Hazard analysis; Algorithm; Computer engineering; Logic gate; Electronic engineering; Theoretical computer science; Reliability engineering; Electrical engineering; 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.002821333,0.001162188,0.001093067,0.002655719,0.001777302,0.003414753,0.00162464,0.001412848,0.01156954],"category_scores_gemma":[0.006623194,0.0005771803,0.002384545,0.002467718,0.002746887,0.006976536,0.002957192,0.004032331,0.003401798],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001881869,"about_ca_system_score_gemma":0.001406693,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001152277,"about_ca_topic_score_gemma":0.0008805252,"domain_scores_codex":[0.9973142,0.0006625325,0.0003171858,0.0005484453,0.0009507905,0.0002068819],"domain_scores_gemma":[0.9962391,0.001608224,0.0004860045,0.0006000525,0.0008496675,0.0002170524],"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.00002345391,0.00002191265,0.0001111714,0.0001360304,0.00002174739,0.00008096953,0.0001277778,0.002300107,0.0008910823,0.966709,0.0029083,0.02666835],"study_design_scores_gemma":[0.00001124601,0.0000207079,0.00006533531,0.00004041077,0.00001708069,0.0001636942,0.00003549372,0.01389736,0.0007317809,0.9678773,0.01711212,0.0000275302],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00556508,0.004982747,0.9576858,0.001140686,0.0006772979,0.0001562704,0.0005350279,0.0005791201,0.02867805],"genre_scores_gemma":[0.3379593,0.009111692,0.6153981,0.002675346,0.003380797,0.000835211,0.001800136,0.0003405128,0.02849882],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01156954,"threshold_uncertainty_score":0.03870392,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01355194697771062,"score_gpt":0.183119671965877,"score_spread":0.1695677249881664,"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."}}