{"id":"W2943308041","doi":"10.23919/date.2019.8714966","title":"Finding All DC Operating Points Using Interval Arithmetic Based Verification Algorithms","year":2019,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Scalability; Interval (graph theory); Interval arithmetic; Algorithm; CMOS; State (computer science); Operator (biology); Mathematics; Electronic 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.002006197,0.001096663,0.0007555316,0.00187471,0.0007056459,0.001493888,0.001704334,0.0007057307,0.003534781],"category_scores_gemma":[0.007577599,0.0004439693,0.001423019,0.001011992,0.001580678,0.00328984,0.001753051,0.001750402,0.0007090366],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000665742,"about_ca_system_score_gemma":0.001286981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009739074,"about_ca_topic_score_gemma":0.0009300542,"domain_scores_codex":[0.9975705,0.0005346822,0.0002403405,0.0004950588,0.000970395,0.0001890389],"domain_scores_gemma":[0.9951761,0.003230579,0.0003867628,0.0005369905,0.0006021624,0.00006743387],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005270072,0.0001401471,0.001759735,0.0005717464,0.0001455823,0.0002333197,0.0004136434,0.2490599,0.05522691,0.2518137,0.002010644,0.4380977],"study_design_scores_gemma":[0.00009964388,0.0002233856,0.0002698958,0.0000986016,0.00007606055,0.0002171608,0.00008216534,0.7684157,0.05211408,0.1743411,0.003993991,0.00006817322],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008814943,0.00007950554,0.9893438,0.00003981581,0.00001110157,0.00003857344,0.00005787986,0.0006174158,0.00099697],"genre_scores_gemma":[0.2426128,0.000234244,0.7557376,0.00006385602,0.00002975597,0.0001122973,0.0002940858,0.0001904007,0.0007249232],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003534781,"threshold_uncertainty_score":0.01182508,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02724159183669614,"score_gpt":0.2504830014121572,"score_spread":0.2232414095754611,"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."}}