{"id":"W2110796071","doi":"10.1145/2024724.2024879","title":"Power grid verification using node and branch dominance","year":2011,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Scalability; Grid; Node (physics); Power grid; Dominance (genetics); Voltage; Power (physics); Distributed computing; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002925324,0.0009141741,0.0008349467,0.001039794,0.0008134783,0.001586761,0.00138013,0.000536119,0.003332485],"category_scores_gemma":[0.01415762,0.000590758,0.001055147,0.0009631073,0.001824835,0.004119756,0.002457578,0.001696595,0.0005810382],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001217465,"about_ca_system_score_gemma":0.002048994,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004048212,"about_ca_topic_score_gemma":0.004686088,"domain_scores_codex":[0.9960938,0.001267701,0.000175163,0.000494901,0.001592578,0.000375875],"domain_scores_gemma":[0.9920637,0.005237629,0.0004634857,0.0009647618,0.001107039,0.0001633815],"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.0003190763,0.00009624685,0.002370303,0.0002240257,0.00007358046,0.0004052679,0.0003156487,0.4504431,0.02638821,0.4073913,0.002918286,0.109055],"study_design_scores_gemma":[0.00002859164,0.00005264422,0.0001297693,0.00002142273,0.0000185177,0.00005858007,0.00002483708,0.8082263,0.009318778,0.1802053,0.001897993,0.00001716798],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0147589,0.00005664744,0.9812176,0.0001515074,0.00001553222,0.00004351519,0.00008071821,0.0003305325,0.003345111],"genre_scores_gemma":[0.6707992,0.0002823935,0.3236921,0.0002853626,0.00006597295,0.0001916855,0.0003948877,0.0003227908,0.003965674],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004048212,"threshold_uncertainty_score":0.01547074,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01877508211899222,"score_gpt":0.1958139886392453,"score_spread":0.1770389065202531,"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."}}