{"id":"W2102763958","doi":"10.1145/1629911.1629962","title":"Fast vectorless power grid verification using an approximate inverse technique","year":2009,"lang":"en","type":"article","venue":"","topic":"Low-power high-performance VLSI design","field":"Engineering","cited_by":48,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Grid; Inverse; Node (physics); Margin (machine learning); Power (physics); Algorithm; Power grid; Voltage; Mathematical optimization; Mathematics; Electrical 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.0006992062,0.0004900992,0.0004730334,0.0004068337,0.0002938255,0.0006578577,0.0006921577,0.0004237739,0.002698391],"category_scores_gemma":[0.002385314,0.000323737,0.0004063987,0.0003321721,0.000658309,0.001453347,0.0008168957,0.001099269,0.0004919286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004129997,"about_ca_system_score_gemma":0.0009045373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001681689,"about_ca_topic_score_gemma":0.002715612,"domain_scores_codex":[0.9993805,0.0001491349,0.00002369064,0.00005550117,0.0003399262,0.00005130504],"domain_scores_gemma":[0.9990006,0.0005451292,0.00007743168,0.0002192568,0.0001414364,0.00001611685],"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.0003483048,0.00008876992,0.0008861204,0.0001760283,0.0000382855,0.0001726062,0.0002345275,0.4970945,0.07021956,0.1087272,0.002456392,0.3195577],"study_design_scores_gemma":[0.00001733477,0.00004590296,0.00006107232,0.000006351979,0.000004641493,0.00005164312,0.000009184532,0.9762449,0.0119533,0.01038109,0.001217441,0.000007112109],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004884451,0.0000175302,0.9937722,0.00003612388,0.000005268838,0.0000134574,0.00001264852,0.0005090835,0.0007492398],"genre_scores_gemma":[0.3735835,0.00006868986,0.6239659,0.00006382135,0.00001514988,0.00007579658,0.00009148185,0.0001638547,0.001971894],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002698391,"threshold_uncertainty_score":0.009027004,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01611103526799932,"score_gpt":0.2272000585507615,"score_spread":0.2110890232827622,"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."}}