{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00004627808,0.00008727809,0.000075137,0.00006259822,0.00004111417,0.00002186202,0.00006634261,0.00005467416,0.000501478],"category_scores_gemma":[0.000007722406,0.00008127189,0.00003822718,0.0001047631,0.000007912986,0.0001670567,0.000005022168,0.00005297204,0.000642073],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004112277,"about_ca_system_score_gemma":0.000001086898,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001709506,"about_ca_topic_score_gemma":0.00001465377,"domain_scores_codex":[0.9995502,0.000002738046,0.0001029801,0.00008929979,0.00006631955,0.0001884758],"domain_scores_gemma":[0.9997832,0.00002173019,0.00000691111,0.0001328227,0.00001626524,0.00003909696],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000243669,0.00009256779,0.0007453638,0.000373033,0.0002103491,0.000006772787,0.0009988653,0.02920523,0.2069147,0.002640065,0.2425033,0.5162854],"study_design_scores_gemma":[0.0004414842,0.00007493659,0.0004288433,0.000006035786,0.00001195069,0.000006461257,0.0000150727,0.6489667,0.2766453,0.0001895219,0.0729811,0.0002325277],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3665126,0.000348183,0.5824281,0.00009693922,0.001574424,0.000485819,0.000003805,0.002043133,0.04650703],"genre_scores_gemma":[0.9945081,0.00003132861,0.003250948,0.00005107696,0.0001353383,0.00005401584,0.000001016867,0.00003109968,0.001937083],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6279956,"threshold_uncertainty_score":0.8252764,"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."}}