書誌情報 | ファイル |
表紙・目次 (2012-06) 数理解析研究所講究録, 1799
| |
完全マッチング数え上げの高速な指数時間アルゴリズムについて (アルゴリズムと計算理論の新展開) 泉, 泰介; 和田山, 正 (2012-06) 数理解析研究所講究録, 1799: 1-12
| |
Formula Decomposition into Ternary Majorities (New Trends in Algorithms and Theory of Computation) Ueno, Kenya (2012-06) 数理解析研究所講究録, 1799: 13-20
| |
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
| |
抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開) 清水, 隆也; 森下, 篤; 山根, 智 (2012-06) 数理解析研究所講究録, 1799: 29-36
| |
セルオートマトンの合成とリミットサイクルについて (アルゴリズムと計算理論の新展開) 石田, 俊一; 井口, 修一 (2012-06) 数理解析研究所講究録, 1799: 37-43
| |
合同な四角形による球面タイリングの分類 (アルゴリズムと計算理論の新展開) 赤間, 陽二; 坂野, 雄大; 中村, 公亮 (2012-06) 数理解析研究所講究録, 1799: 44-48
| |
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
| |
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
| |
海草全単射の漸減構築 (アルゴリズムと計算理論の新展開) 酒井, 義文 (2012-06) 数理解析研究所講究録, 1799: 60-64
| |
アスペクト比を固定した最小の周囲長方形について (アルゴリズムと計算理論の新展開) 小林, 有; 堀山, 貴史 (2012-06) 数理解析研究所講究録, 1799: 65-66
| |
滑らかな常微分方程式の計算量 (アルゴリズムと計算理論の新展開) 太田, 浩行; 河村, 彰星; ツィーグラー・マルチン; レースニク・カルステン (2012-06) 数理解析研究所講究録, 1799: 67-72
| |
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
| |
Limiting Negations in Probabilistic Circuits (New Trends in Algorithms and Theory of Computation) Morizumi, Hiroki (2012-06) 数理解析研究所講究録, 1799: 81-83
| |
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
| |
格子グラフ上の最短経路問題のための劣線形領域アルゴリズム (アルゴリズムと計算理論の新展開) 今井, 達也; 野口, 俊輔; 藤, 哲郎 (2012-06) 数理解析研究所講究録, 1799: 92-99
| |
GPUを用いた簡潔trieの並列探索 (アルゴリズムと計算理論の新展開) 田部井, 靖生; 田中, 秀宗 (2012-06) 数理解析研究所講究録, 1799: 100-102
| |
Probabilistic Stabilization under Probabilistic Schedulers (New Trends in Algorithms and Theory of Computation) Yamauchi, Yukiko; Tixeuil, Sebastien; Yamashita, Masafumi (2012-06) 数理解析研究所講究録, 1799: 103-110
| |
ラベル選択付最小連結全域部分グラフ問題と化学構造式OCRへの応用 (アルゴリズムと計算理論の新展開) 藤芳, 明生; 鈴木, 昌和 (2012-06) 数理解析研究所講究録, 1799: 111-117
| |
8次格子モデルによる表の行/列操作 (アルゴリズムと計算理論の新展開) 高加, 晋司; 後藤, 隆彰; 土田, 賢省; 西野, 哲朗; 夜久, 竹夫 (2012-06) 数理解析研究所講究録, 1799: 118-122
| |