{"id":"W2017164430","doi":"10.5555/1756384.1756391","title":"Simulation of gate circuits in the algebra of transients","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"SIGNAL (programming language); State (computer science); Transient (computer programming); Binary number; Computer science; Algorithm; Process (computing); Electronic circuit; Logic gate; Word (group theory); Theoretical computer science; Mathematics; Arithmetic; Programming language; Engineering; Electrical 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.001979663,0.0004869027,0.000635929,0.0006273833,0.000579501,0.001218378,0.0009794581,0.0007935642,0.001867901],"category_scores_gemma":[0.008401688,0.0002849917,0.0007987992,0.0005318599,0.002319485,0.002164605,0.001072127,0.0008987705,0.0001949478],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001319414,"about_ca_system_score_gemma":0.001166369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001890674,"about_ca_topic_score_gemma":0.001007227,"domain_scores_codex":[0.9979241,0.0009026848,0.000133681,0.0003288293,0.0004824529,0.000228201],"domain_scores_gemma":[0.9931709,0.00494518,0.0005632027,0.0004701428,0.0005521739,0.0002984152],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006278289,0.0001721389,0.003471733,0.0001231849,0.00007271724,0.0003051278,0.0003767467,0.7006414,0.01622539,0.2659301,0.0003130492,0.0117406],"study_design_scores_gemma":[0.00004540458,0.0001134446,0.0001603195,0.00001093103,0.00001916543,0.00004392682,0.00002893277,0.9162501,0.01246999,0.0700903,0.0007526071,0.00001483472],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3289131,0.0001278763,0.6653764,0.0002034209,0.00004177007,0.0001170999,0.0001029979,0.0009775945,0.004139706],"genre_scores_gemma":[0.9556122,0.00008212178,0.04259868,0.00005363044,0.00001799787,0.00009440573,0.0001230736,0.00006574481,0.001352104],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001979663,"threshold_uncertainty_score":0.01046962,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.071351994544053,"score_gpt":0.3010094990835833,"score_spread":0.2296575045395303,"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."}}