{"id":"W2913086526","doi":"10.1023/a:1026218512171","title":"Hazard Algebras","year":2003,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Hazard; SIGNAL (programming language); Ternary operation; Computer science; Energy (signal processing); Algorithm; Computer engineering; Electronic engineering; Arithmetic; Mathematics; Engineering; Programming language; Statistics","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.004438117,0.0001884546,0.0003156759,0.0001695946,0.0001187915,0.0000815906,0.0007155038,0.0001064735,0.00001195117],"category_scores_gemma":[0.0002637323,0.0001577451,0.000075093,0.0006679855,0.0000287326,0.0008925032,0.00009801015,0.0001784051,0.00009813369],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001152817,"about_ca_system_score_gemma":0.00007572812,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002337735,"about_ca_topic_score_gemma":6.325272e-7,"domain_scores_codex":[0.9965067,0.001904205,0.0004336936,0.0003882115,0.0002094701,0.0005577064],"domain_scores_gemma":[0.998606,0.0005241366,0.0001249741,0.0005932113,0.00004255553,0.0001091813],"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.000005856682,0.00002051716,0.0001825978,0.000040602,0.000006553938,0.00004269385,0.0003242118,0.000953078,0.0007628666,0.9512054,0.00006070937,0.04639496],"study_design_scores_gemma":[0.003982078,0.001252385,0.003207546,0.0005854858,0.00003570845,0.001826781,0.001785115,0.258876,0.2326982,0.4599449,0.03296933,0.002836499],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003710575,0.0003852797,0.9818558,0.00001829881,0.0008789003,0.0003279936,2.703487e-7,0.0002515458,0.01591083],"genre_scores_gemma":[0.1684431,0.000003017731,0.8312141,0.0000920517,0.00002688547,0.00006281566,1.428893e-7,0.00001042184,0.0001474203],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4912604,"threshold_uncertainty_score":0.6432659,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06146538210206001,"score_gpt":0.3461092963738174,"score_spread":0.2846439142717574,"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."}}