{"id":"W1984147068","doi":"10.1142/s0129054103002163","title":"SIMULATION OF FEEDBACK-FREE CIRCUITS IN THE ALGEBRA OF TRANSIENTS","year":2003,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Binary number; SIGNAL (programming language); Automaton; Computer science; Electronic circuit; Algorithm; Theoretical computer science; Algebra over a field; Mathematics; Arithmetic; Engineering; Electrical engineering; Programming language; Pure mathematics","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.001264239,0.0005067144,0.000630738,0.0005714976,0.0005407035,0.001084795,0.001062072,0.0006528489,0.002193242],"category_scores_gemma":[0.00380912,0.0003268849,0.001311507,0.0004454973,0.00175371,0.002173899,0.0009550087,0.0009043993,0.0002276898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001208339,"about_ca_system_score_gemma":0.0009793241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002032621,"about_ca_topic_score_gemma":0.001480837,"domain_scores_codex":[0.9988576,0.0002953176,0.0001070069,0.0002399407,0.0003587599,0.0001412557],"domain_scores_gemma":[0.9976921,0.001519484,0.0002309747,0.0002271326,0.0002266689,0.0001036791],"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.0003979909,0.0001005623,0.001338567,0.0001072354,0.00005206343,0.0002162336,0.0002803857,0.581968,0.01800323,0.3812331,0.0003623202,0.01594025],"study_design_scores_gemma":[0.00003384689,0.00006758357,0.000102357,0.000009802945,0.00001498666,0.00002978705,0.00001494279,0.8954327,0.01236969,0.09114674,0.0007623246,0.00001512437],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1076247,0.00006064288,0.8882801,0.00009323415,0.00003085039,0.00006860783,0.00009979554,0.001095998,0.002646216],"genre_scores_gemma":[0.8990574,0.0001082172,0.09847254,0.00005757633,0.000020679,0.000156372,0.0001538819,0.00009416882,0.001879137],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002193242,"threshold_uncertainty_score":0.008767128,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03886679363158629,"score_gpt":0.3409278260135017,"score_spread":0.3020610323819154,"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."}}