{"id":"W7133094736","doi":"","title":"Handling inductance in early power grid verification","year":2007,"lang":"","type":"dissertation","venue":"TSpace","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Division of Graduate Education; University of Toronto","keywords":"Voltage drop; Grid; Inductance; Voltage; Power grid; Power network design; RLC circuit; Node (physics)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003413575,0.0007309433,0.0006967876,0.001068122,0.0003247519,0.0004912864,0.002025056,0.001054349,0.0001119695],"category_scores_gemma":[0.0008145634,0.0008881063,0.0001797202,0.00295626,0.0001427372,0.001483302,0.0001315609,0.001655932,0.0005242673],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005993957,"about_ca_system_score_gemma":0.0004933733,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006269807,"about_ca_topic_score_gemma":0.0001500808,"domain_scores_codex":[0.9942952,0.0004529755,0.001361788,0.001673376,0.001166768,0.001049824],"domain_scores_gemma":[0.9957122,0.0002240953,0.001285534,0.001930364,0.0006091421,0.0002386481],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"observational","study_design_scores_codex":[0.001487956,0.001332149,0.008115404,0.001106821,0.0001668035,0.0001654614,0.4756891,0.001001745,0.07489182,0.2497902,0.0004935445,0.1857591],"study_design_scores_gemma":[0.002535163,0.0009990844,0.7124161,0.003084055,0.0001042625,0.00005095669,0.01609549,0.04651616,0.1991928,0.003525666,0.01107633,0.004403975],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.654417,0.001040839,0.3152213,0.0001523594,0.009074183,0.001043121,0.000003789062,0.0001685295,0.01887883],"genre_scores_gemma":[0.5709406,0.0003312748,0.4241166,0.0001206791,0.0003976111,0.0001079022,0.0001232113,0.00009515213,0.003767036],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7043006,"threshold_uncertainty_score":0.999357,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04475464543004688,"score_gpt":0.4045554362292987,"score_spread":0.3598007907992518,"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."}}