{"id":"W2772423762","doi":"10.5555/3199700.3199779","title":"Power grid verification under transient constraints","year":2017,"lang":"en","type":"article","venue":"International Conference on Computer Aided Design","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Transient (computer programming); Grid; Computer science; Bounded function; Power grid; Voltage; Electronic engineering; Power (physics); Current (fluid); Control theory (sociology); Electrical engineering; Mathematics; Engineering; Physics","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002353017,0.0002702301,0.0002040553,0.0001700116,0.0001808637,0.0004895999,0.0009748128,0.0001121136,0.0008058502],"category_scores_gemma":[0.00001521574,0.0002706198,0.00007731202,0.00004110653,0.0001741768,0.0005298064,0.00004093834,0.0002526098,0.0006548941],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001507163,"about_ca_system_score_gemma":0.00007039928,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004687232,"about_ca_topic_score_gemma":0.000001217647,"domain_scores_codex":[0.9985409,0.00004472392,0.0003318655,0.0003547934,0.0004427376,0.000284946],"domain_scores_gemma":[0.9988899,0.00007150146,0.0001029672,0.0006129628,0.0002093767,0.0001133093],"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.0004617012,0.0005538686,0.0005526514,0.00007918926,0.001181919,0.0002130824,0.002011485,0.3020127,0.06624632,0.4211858,0.0681785,0.1373229],"study_design_scores_gemma":[0.002033539,0.0003380865,0.02613105,0.0002731621,0.00002186638,0.00004981632,0.00004501833,0.9385806,0.02187001,0.004912088,0.004842733,0.0009020579],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0178339,0.000008918753,0.9379771,0.0008262867,0.005486734,0.0003100463,0.00002702631,0.0003363837,0.03719362],"genre_scores_gemma":[0.9881799,0.00004003558,0.01097591,0.0002603742,0.0003168965,0.00003594009,0.00002291932,0.00003623314,0.0001318187],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.970346,"threshold_uncertainty_score":0.9999746,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05841634298126667,"score_gpt":0.2729791999133271,"score_spread":0.2145628569320604,"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."}}