{"id":"W2143473941","doi":"10.1145/2789208","title":"Upper Bounds for Newton’s Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata","year":2015,"lang":"en","type":"article","venue":"Journal of the ACM","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Royal Society of Canada; National Science Foundation","keywords":"Mathematics; Monotone polygon; Upper and lower bounds; Combinatorics; Rounding; Discrete mathematics; Rate of convergence; Function (biology); Newton's method; Probabilistic logic; Markov chain; Context (archaeology); Applied mathematics; Computer science; Nonlinear system","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01617758,0.004851166,0.003367379,0.00495728,0.003154161,0.006185596,0.006408212,0.003628158,0.01126761],"category_scores_gemma":[0.100738,0.002116377,0.005662606,0.003170085,0.008509299,0.01376396,0.008157456,0.01475115,0.002420929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006893554,"about_ca_system_score_gemma":0.00576643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005331166,"about_ca_topic_score_gemma":0.00660061,"domain_scores_codex":[0.9801612,0.005725048,0.0008010396,0.003734641,0.007207342,0.002370719],"domain_scores_gemma":[0.8831693,0.09419667,0.004419842,0.008259716,0.007949891,0.002004567],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001106655,0.0002725591,0.004096344,0.001164247,0.0003104041,0.0004243377,0.0008053344,0.4380172,0.01026051,0.4659638,0.006674234,0.07090441],"study_design_scores_gemma":[0.00002667483,0.00005877361,0.0001802449,0.0001369555,0.00004912237,0.00007007684,0.00003436703,0.8510823,0.002815055,0.1442067,0.001302668,0.00003706034],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01538946,0.002514522,0.9656025,0.001914508,0.0002470068,0.0001894387,0.000361329,0.00168289,0.01209832],"genre_scores_gemma":[0.3532241,0.002385161,0.6267462,0.001518313,0.0005915547,0.00106004,0.001399121,0.002972305,0.01010317],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01617758,"threshold_uncertainty_score":0.08555627,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09159530198170775,"score_gpt":0.3446193043581732,"score_spread":0.2530240023764655,"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."}}