検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
Space Complexity of Self-Stabilizing Leader Election in Population Protocol on Hypernetworks (New Streams of Computation Theory and Algorithms) Xu, Xiaoguang; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2015-04) 数理解析研究所講究録, 1941: 41-44 | |
Tangleとイデアルについて (計算理論とアルゴリズムの新潮流) 山崎, 浩一 (2015-04) 数理解析研究所講究録, 1941: 37-40 | |
連結2辺支配集合問題の近似アルゴリズム (計算理論とアルゴリズムの新潮流) 下田, 知明; 藤戸, 敏弘 (2015-04) 数理解析研究所講究録, 1941: 6-16 | |
項書換え系の停止性証明のための重み付き経路順序の抽象化 (計算理論とアルゴリズムの新潮流) 尾前, 貴則; 草刈, 圭一朗; 山田, 晃久; 坂部, 俊樹 (2015-04) 数理解析研究所講究録, 1941: 66-73 | |
直径の小さなグラフ上の全域木混雑度問題 (計算理論とアルゴリズムの新潮流) 久保, 浩平; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2015-04) 数理解析研究所講究録, 1941: 17-21 | |
行列多項式$I+A+A^2+dots+A^{N-1}$の計算における行列乗算回数 (計算理論とアルゴリズムの新潮流) 松本, 耕太朗; 高木, 直史; 高木, 一義 (2015-04) 数理解析研究所講究録, 1941: 57-65 | |
The Team Assembling Problem for Heterogeneous Mobile Robots (New Streams of Computation Theory and Algorithms) Liu, Zhiqiang; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2015-04) 数理解析研究所講究録, 1941: 31-36 | |
3入力多数決ゲートを用いた5変数論理関数の最小段数回路 (計算理論とアルゴリズムの新潮流) 守家, 大雄; 高木, 一義; 高木, 直史 (2015-04) 数理解析研究所講究録, 1941: 1-5 | |
最大カットのベンチマークを最適化ソルバーで解く (計算理論とアルゴリズムの新潮流) 生田, 拓人; 今井, 浩; 矢野, 洋祐 (2015-04) 数理解析研究所講究録, 1941: 49-56 | |
表紙・目次 (2015-04) 数理解析研究所講究録, 1941 |
絞り込み
分類
- 12 410
資料種別