{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005686017,0.0004194649,0.0006882259,0.0003306542,0.0005248957,0.00122762,0.001146563,0.0007499033,0.005437212],"category_scores_gemma":[0.001908702,0.0002967112,0.000832856,0.000433449,0.001352665,0.001656721,0.0008155665,0.000860391,0.0004744828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009046234,"about_ca_system_score_gemma":0.0008631488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002050265,"about_ca_topic_score_gemma":0.001819442,"domain_scores_codex":[0.9995806,0.0001633582,0.00002234888,0.00006990544,0.0001069912,0.00005678223],"domain_scores_gemma":[0.9991486,0.0005766811,0.00005465314,0.0001081122,0.00006508431,0.00004686703],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001839197,0.00005767632,0.0003572405,0.00007146603,0.00002752508,0.0001168356,0.0001331356,0.4005406,0.0067999,0.5836472,0.0005233972,0.007541144],"study_design_scores_gemma":[0.00004047625,0.00004820358,0.00007047693,0.00001095964,0.00001157551,0.00003767864,0.00002397996,0.7475358,0.004870506,0.2454584,0.001880897,0.00001105711],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1342598,0.0003170224,0.8260406,0.0002730167,0.0001281781,0.00009496674,0.0001887294,0.001139301,0.03755836],"genre_scores_gemma":[0.9533864,0.0002117953,0.04005554,0.0000483621,0.00002556966,0.00007037167,0.0001430955,0.0001013386,0.005957423],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005437212,"threshold_uncertainty_score":0.01818931,"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."}}