文献

J-GLOBAL ID：201502214695869240   整理番号：15A1062120

モノトーン多項式系に於けるニュートン法の上限境界及び確立的ワンカウンターオートマトンのP時間モデルチェック

Upper Bounds for Newton’s Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata

著者 (3件)： STEWART Alistair (Univ. Edinburgh) ,  ETESSAMI Kousha (Univ. Edinburgh) ,  YANNAKAKIS Mihalis (Columbia Univ.)
資料名： Journal of the ACM (Association for Computing Machinery)  (Journal of the ACM (Association for Computing Machinery))
巻： 62  号： 4  ページ： 30:1-30:33  発行年： 2015年08月 
JST資料番号： C0267A  ISSN： 0004-5411  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

シソーラス用語： *オートマトン ,  *時間依存性 ,  *計算理論 ,  *時間 ,  *Newton-Raphson法 ,  文脈自由文法 ,  プッシュダウンオートマトン ,  モデル ,  確率系 ,  符号化 ,  速度 ,  Turing機械
準シソーラス用語： Markov連鎖モデル ,  *Newton法 ,  Turingマシン ,  確率システム ,  確率文脈自由文法 ,  *時間オートマトン ,  収束速度 ,  *多項式時間 ,  離散時間モデル

分類 (2件)： オートマトン理論  (JB04000O) ,  計算機利用技術一般  (JE01000C)

タイトルに関連する用語 (6件)： 多項式 ,  ニュートン法 ,  上限 ,  境界 ,  モデル ,  チェック