{"id":"W4237615549","doi":"10.1007/3-540-44977-9_5","title":"Simulation of Gate Circuits in the Algebra of Transients","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"SIGNAL (programming language); Computer science; Binary number; State (computer science); Algorithm; Transient (computer programming); Electronic circuit; Word (group theory); Process (computing); Logic gate; Theoretical computer science; Arithmetic; Mathematics; Programming language; 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.002298433,0.0002645208,0.0003954079,0.0006775574,0.00006137477,0.0000716438,0.002884639,0.0002097534,0.000005314039],"category_scores_gemma":[0.0002449785,0.0002103948,0.00009442918,0.001033251,0.0005385929,0.0004787854,0.0001694916,0.0004419667,0.00000291064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009748634,"about_ca_system_score_gemma":0.000183569,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001045376,"about_ca_topic_score_gemma":0.00001155017,"domain_scores_codex":[0.9971359,0.0001450033,0.0007127337,0.0006915396,0.0009961639,0.0003186192],"domain_scores_gemma":[0.9972982,0.0007472445,0.00046382,0.001217684,0.0002330297,0.00004005432],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002873418,0.00003878123,0.00005818511,0.00006256849,0.00000371531,0.000005068232,0.002889775,0.6285298,0.0002244466,0.04041361,8.70382e-7,0.3277703],"study_design_scores_gemma":[0.0002128677,0.0001353004,0.000896942,0.0002672893,0.000005224999,0.000009094761,3.690809e-7,0.8889503,0.003657767,0.1054771,0.000144622,0.000243173],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009165244,0.0001583045,0.9961171,0.0001175844,0.0006836457,0.000421302,0.000002781564,0.00001880786,0.00156397],"genre_scores_gemma":[0.6770094,0.00001243701,0.3225311,0.0003847195,0.00003356852,0.000004016149,0.000001345772,0.00001065967,0.000012708],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6760929,"threshold_uncertainty_score":0.8579651,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03544301679159931,"score_gpt":0.2878685339540906,"score_spread":0.2524255171624913,"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."}}