検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
On Algebraic Structure of Neighborhoods of Cellular Automata : Decidability Results (Theoretical Computer Science and its Applications) Nishio, Hidenosuke; Margenstern, Maurice; Haeseler, Friedrich von (2005-04) 数理解析研究所講究録, 1426: 256-262 | |
量子アルゴリズムによる近似文字列出現頻度問い合わせ (計算機科学基礎理論とその応用) 小林, 健了; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2005-04) 数理解析研究所講究録, 1426: 225-231 | |
DNA形態変化におけるエネルギー障壁値の高速近似計算 (計算機科学基礎理論とその応用) 武田, 勉; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2005-04) 数理解析研究所講究録, 1426: 238-244 | |
分子構造変化のモデル化と反応速度の理論的解析 (計算機科学基礎理論とその応用) 塩崎, 真史; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2005-04) 数理解析研究所講究録, 1426: 232-237 | |
計算万能な双曲セル・オートマトンについて (計算機科学基礎理論とその応用) 今井, 克暢; 岩本, 宙造; 森田, 憲一 (2005-04) 数理解析研究所講究録, 1426: 250-255 | |
非同期セル空間における順序機械構成 (計算機科学基礎理論とその応用) 斉, 金山; 森田, 憲一 (2005-04) 数理解析研究所講究録, 1426: 245-249 | |
A Hierarchy of Tree Edit Distance Measures (Theoretical Computer Science and its Applications) Kuboyama, Tetsuji; Shin, Kilho; Miyahara, Tetsuhiro (2005-04) 数理解析研究所講究録, 1426: 20-25 | |
配列を扱う非線形先頭再帰プログラムからの再帰除去 (計算機科学基礎理論とその応用) 高須, 洋平; 酒井, 正彦; 西田, 直樹; 草刈, 圭一朗; 坂部, 俊樹 (2005-04) 数理解析研究所講究録, 1426: 39-44 | |
パラメタ付き時間インターバルオートマトンに対するパラメトリック検証の高速化手法 (計算機科学基礎理論とその応用) 橋本, 英明; 谷本, 匡亮; 中田, 明夫; 東野, 輝夫 (2005-04) 数理解析研究所講究録, 1426: 263-269 | |
$O(n^3)$で認識される文脈自由木言語のサブクラスについて (計算機科学基礎理論とその応用) Kawaharada, Ikuo; Fujiyoshi, Akio (2005-04) 数理解析研究所講究録, 1426: 32-38 |
絞り込み
発行日
- 44 2005
資料種別