検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| More Reliable Protein NMR Peak Assignment via Improved 2-Interval Scheduling (New Aspects of Theoretical Computer Science) Chen, Zhi-Zhong; Jiang, Tao; Lin, Guohui; Rizzi, Romeo; Wen, Jianjun; Xu, Dong; Xu, Ying (2003-05) 数理解析研究所講究録, 1325: 175-180 |  |
| 類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開) 山田, 敬三; 平田, 耕一; 原尾, 政輝 (2003-05) 数理解析研究所講究録, 1325: 233-237 | |
| バンド幅問題に対するvolume respecting embedding法の実験的評価 (計算機科学基礎理論の新展開) 駒原, 雄祐; 中野, 泰男; 山崎, 浩一 (2003-05) 数理解析研究所講究録, 1325: 158-163 | |
| 結び目の非自明性判定問題の計算量について (計算機科学基礎理論の新展開) 原, 正雄; 谷, 聖一; 山本, 慎 (2003-05) 数理解析研究所講究録, 1325: 227-232 | |
| MPR束における「結び既約元」の数理的性質について (計算機科学基礎理論の新展開) 宮川, 幹平; 成嶋, 弘 (2003-05) 数理解析研究所講究録, 1325: 221-226 | |
| 一般化ブロックパズルのPSPACE完全性の別証明 (計算機科学基礎理論の新展開) 北川, 智博; 岩田, 茂樹 (2003-05) 数理解析研究所講究録, 1325: 209-214 | |
| 平均次数の高いVC-PMの近似アルゴリズム (計算機科学基礎理論の新展開) 竹内, 元気; 築地, 立家 (2003-05) 数理解析研究所講究録, 1325: 181-184 | |
| Information dynamics of cellular automata : CA computation and information theory (New Aspects of Theoretical Computer Science) Nishio, Hidenosuke; Saito, Takashi (2003-05) 数理解析研究所講究録, 1325: 197-202 | |
| $m×n$分割表の近似数え上げスキームの提案 (計算機科学基礎理論の新展開) 来嶋, 秀治; 松井, 知己 (2003-05) 数理解析研究所講究録, 1325: 215-220 | |
| Shrinking alternating two-pushdown automata (New Aspects of Theoretical Computer Science) Otto, Friedrich; Moriya, Etsuro (2003-05) 数理解析研究所講究録, 1325: 191-196 | |
絞り込み
発行日
- 42 2003
資料種別