{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003603089,0.0007352781,0.0006113657,0.0007196297,0.0004404708,0.001762754,0.001438541,0.000871423,0.004595353],"category_scores_gemma":[0.02312241,0.0004667584,0.0007599222,0.0006715689,0.001668979,0.003848915,0.001603631,0.001229146,0.0007980178],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007616836,"about_ca_system_score_gemma":0.001465289,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001452635,"about_ca_topic_score_gemma":0.00109472,"domain_scores_codex":[0.9942459,0.001977537,0.0004108069,0.0008383738,0.001888251,0.0006391176],"domain_scores_gemma":[0.9816738,0.01023426,0.001265388,0.004275062,0.002375794,0.0001756785],"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.001092631,0.0001418373,0.005872678,0.0005923498,0.0001208418,0.001447033,0.0004272839,0.611901,0.03853945,0.2320812,0.006899919,0.1008836],"study_design_scores_gemma":[0.00008745176,0.0001507126,0.0003758233,0.00006625386,0.00003090864,0.0003204237,0.00007459537,0.8180801,0.0530096,0.1238862,0.003889593,0.00002836645],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03292536,0.00009821223,0.9588805,0.0001965835,0.0000568469,0.00005486195,0.0002728784,0.002857158,0.004657602],"genre_scores_gemma":[0.9172364,0.0001247642,0.07950828,0.0002063805,0.00003290865,0.0001181659,0.0004571579,0.0003529908,0.001962909],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004595353,"threshold_uncertainty_score":0.01905519,"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."}}