コレクションホームページ

1799 アルゴリズムと計算理論の新展開   35
(http://hdl.handle.net/2433/172037)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 35
書誌情報ファイル
表紙・目次
   (2012-06)
  数理解析研究所講究録, 1799
file type icon
完全マッチング数え上げの高速な指数時間アルゴリズムについて (アルゴリズムと計算理論の新展開)
  泉, 泰介, 和田山, 正 (2012-06)
  数理解析研究所講究録, 1799: 1-12
file type icon
Formula Decomposition into Ternary Majorities (New Trends in Algorithms and Theory of Computation)
  Ueno, Kenya (2012-06)
  数理解析研究所講究録, 1799: 13-20
file type icon
Hybrid Automata Theoretic Specification and Verification of CPU-DRP Reconfigurable Systems (New Trends in Algorithms and Theory of Computation)
  Yanase, Ryo, Gao, Ying, Minami, Shota, Yamane, Satoshi (2012-06)
  数理解析研究所講究録, 1799: 21-28
file type icon
抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開)
  清水, 隆也, 森下, 篤, 山根, 智 (2012-06)
  数理解析研究所講究録, 1799: 29-36
file type icon
セルオートマトンの合成とリミットサイクルについて (アルゴリズムと計算理論の新展開)
  石田, 俊一, 井口, 修一 (2012-06)
  数理解析研究所講究録, 1799: 37-43
file type icon
合同な四角形による球面タイリングの分類 (アルゴリズムと計算理論の新展開)
  赤間, 陽二, 坂野, 雄大, 中村, 公亮 (2012-06)
  数理解析研究所講究録, 1799: 44-48
file type icon
Variants of Petri net controlled grammars and their parsing algorithms (New Trends in Algorithms and Theory of Computation)
  Nishida, Taishin Yasunobu (2012-06)
  数理解析研究所講究録, 1799: 49-56
file type icon
Relations between language classes in terms of insertion and locality (New Trends in Algorithms and Theory of Computation)
  Fujioka, Kaoru (2012-06)
  数理解析研究所講究録, 1799: 57-59
file type icon
海草全単射の漸減構築 (アルゴリズムと計算理論の新展開)
  酒井, 義文 (2012-06)
  数理解析研究所講究録, 1799: 60-64
file type icon
アスペクト比を固定した最小の周囲長方形について (アルゴリズムと計算理論の新展開)
  小林, 有, 堀山, 貴史 (2012-06)
  数理解析研究所講究録, 1799: 65-66
file type icon
滑らかな常微分方程式の計算量 (アルゴリズムと計算理論の新展開)
  太田, 浩行, 河村, 彰星, ツィーグラー・マルチン, レースニク・カルステン (2012-06)
  数理解析研究所講究録, 1799: 67-72
file type icon
On QMA Protocols with Two Short Quantum Proofs (New Trends in Algorithms and Theory of Computation)
  Le Gall, Francois, Nakagawa, Shota, Nishimura, Harumichi (2012-06)
  数理解析研究所講究録, 1799: 73-80
file type icon
Limiting Negations in Probabilistic Circuits (New Trends in Algorithms and Theory of Computation)
  Morizumi, Hiroki (2012-06)
  数理解析研究所講究録, 1799: 81-83
file type icon
Greedy Algorithms for Multi-Queue Buffer Management with Class Segregation (New Trends in Algorithms and Theory of Computation)
  ITOH, TOSHIYA, YOSHIMOTO, SEIJI (2012-06)
  数理解析研究所講究録, 1799: 84-91
file type icon
格子グラフ上の最短経路問題のための劣線形領域アルゴリズム (アルゴリズムと計算理論の新展開)
  今井, 達也, 野口, 俊輔, 藤, 哲郎 (2012-06)
  数理解析研究所講究録, 1799: 92-99
file type icon
GPUを用いた簡潔trieの並列探索 (アルゴリズムと計算理論の新展開)
  田部井, 靖生, 田中, 秀宗 (2012-06)
  数理解析研究所講究録, 1799: 100-102
file type icon
Probabilistic Stabilization under Probabilistic Schedulers (New Trends in Algorithms and Theory of Computation)
  Yamauchi, Yukiko, Tixeuil, Sebastien, Yamashita, Masafumi (2012-06)
  数理解析研究所講究録, 1799: 103-110
file type icon
ラベル選択付最小連結全域部分グラフ問題と化学構造式OCRへの応用 (アルゴリズムと計算理論の新展開)
  藤芳, 明生, 鈴木, 昌和 (2012-06)
  数理解析研究所講究録, 1799: 111-117
file type icon
8次格子モデルによる表の行/列操作 (アルゴリズムと計算理論の新展開)
  高加, 晋司, 後藤, 隆彰, 土田, 賢省, 西野, 哲朗, 夜久, 竹夫 (2012-06)
  数理解析研究所講究録, 1799: 118-122
file type icon
文献一覧(目次の昇順ソート): 1 - 20 / 35