{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004840511,0.0004300239,0.0004680384,0.0007623832,0.0005242025,0.0008398828,0.0005801315,0.000415472,0.002571927],"category_scores_gemma":[0.002755729,0.0003115714,0.0008652148,0.0005210151,0.0009956876,0.00141649,0.00133094,0.0006264347,0.0002453059],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001071324,"about_ca_system_score_gemma":0.0006204327,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009782839,"about_ca_topic_score_gemma":0.0005265594,"domain_scores_codex":[0.9991208,0.0001703084,0.00005797551,0.0001714198,0.0003405781,0.0001389774],"domain_scores_gemma":[0.9981237,0.001068745,0.0001830154,0.0003339966,0.0002075298,0.00008300279],"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.0008009737,0.000168143,0.004085724,0.0004300022,0.0000719747,0.0006780805,0.0006281033,0.3339707,0.1177485,0.4528371,0.001429985,0.08715076],"study_design_scores_gemma":[0.00002984101,0.0001371878,0.001027215,0.0000415643,0.00005336254,0.0001768754,0.00004193142,0.8040809,0.05212227,0.1381361,0.004126024,0.00002669185],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2414913,0.0002384755,0.7457691,0.000125899,0.00004206123,0.00008575206,0.0002408148,0.001340164,0.0106664],"genre_scores_gemma":[0.9362891,0.0001897829,0.06037764,0.00007891338,0.00003296839,0.0001496287,0.0003307694,0.0001630461,0.002388222],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002571927,"threshold_uncertainty_score":0.00860399,"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."}}