{"id":"W2124618249","doi":"10.5555/1326073.1326083","title":"A geometric approach for early power grid verification using current constraints","year":2007,"lang":"en","type":"article","venue":"International Conference on Computer Aided Design","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Grid; Power (physics); Work (physics); Power grid; Current (fluid); Computer engineering; Electrical engineering; Engineering; Mathematics","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.0006424771,0.0002924189,0.0002341302,0.0007505519,0.0000786883,0.0001947618,0.0005209329,0.0001129798,0.0000897909],"category_scores_gemma":[0.00003023784,0.00030269,0.00009696408,0.000372865,0.00007947016,0.0003561873,0.00003402219,0.0002605026,0.00006774977],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002933939,"about_ca_system_score_gemma":0.00007630786,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003558898,"about_ca_topic_score_gemma":1.705214e-7,"domain_scores_codex":[0.9981905,0.00003532612,0.0004833187,0.0004029783,0.0004730482,0.0004147845],"domain_scores_gemma":[0.9989129,0.0002057134,0.0001076778,0.0002700708,0.0003755967,0.0001280293],"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.000889382,0.001016355,0.001727404,0.0002565164,0.0008849603,0.00004138629,0.001658364,0.4047798,0.03031367,0.07135125,0.01160295,0.4754779],"study_design_scores_gemma":[0.001046124,0.0002201817,0.003229872,0.00008767936,0.00001769485,0.0000213102,0.00001955971,0.9848388,0.00877109,0.00050157,0.0007926609,0.0004534409],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02933818,0.00003837401,0.9638245,0.0000170675,0.003427217,0.0006442671,0.00003132778,0.0002719075,0.002407235],"genre_scores_gemma":[0.842897,0.0000164807,0.1564445,0.00004798059,0.0004468675,0.00004045278,0.00005105649,0.00003970203,0.00001589044],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8135588,"threshold_uncertainty_score":0.9999425,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0928472050160651,"score_gpt":0.2977777790182116,"score_spread":0.2049305740021465,"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."}}