{"id":"W2084584786","doi":"10.1142/s0129054106004200","title":"COVERING OF TRANSIENT SIMULATION OF FEEDBACK-FREE CIRCUITS BY BINARY ANALYSIS","year":2006,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Binary number; Transient (computer programming); Converse; Electronic circuit; Mathematics; Function (biology); Logic gate; Topology (electrical circuits); Computer science; Algorithm; Discrete mathematics; Arithmetic; Combinatorics; Physics; Quantum mechanics","routes":{"ca_aff":true,"ca_fund":true,"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.0005432254,0.00009647762,0.0002714082,0.001019127,0.00006305797,0.00007629285,0.002510062,0.00002582142,0.00001152745],"category_scores_gemma":[0.00007333072,0.00008924071,0.0002033009,0.001658673,0.0003202392,0.001645647,0.0002131289,0.00007884063,6.298052e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007917539,"about_ca_system_score_gemma":0.0002149269,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002576754,"about_ca_topic_score_gemma":0.000004151193,"domain_scores_codex":[0.9975415,0.00003427147,0.0008835244,0.0001945526,0.001215026,0.0001311608],"domain_scores_gemma":[0.9963571,0.0002217413,0.001103038,0.0003441253,0.001922839,0.00005117389],"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.000009143123,0.0002300288,0.001727606,0.000006823542,0.0001131816,0.000003380903,0.0002237927,0.9420223,0.02372336,0.01528287,0.00005673229,0.01660081],"study_design_scores_gemma":[0.0008311442,0.0003083011,0.07666167,0.00008321246,0.00006847711,0.00002670271,0.00001455423,0.8857623,0.02120825,0.01462393,0.0002554824,0.0001559126],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2886626,0.00005666777,0.7104401,0.0002186778,0.0004241375,0.00003570991,0.000009200222,0.000005891362,0.0001470624],"genre_scores_gemma":[0.9336311,0.000009069903,0.06626082,0.00002446176,0.00005918966,4.131702e-7,0.000003346105,0.000002537891,0.000009010229],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6449686,"threshold_uncertainty_score":0.4664361,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01194898620976811,"score_gpt":0.2785502464606693,"score_spread":0.2666012602509013,"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."}}