Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 43.

前
1
2
3
4
...
5
次

検索結果:

書誌情報	ファイル
モバイルエージェント実行計画問題について (計算機科学基礎理論とその応用) 佐々木, 淳; 宮田, 敬三; 櫟, 粛之; 増山, 繁 (2005-04) 数理解析研究所講究録, 1426: 78-83
進化的ネットワークにおける探索アルゴリズムの提案 (計算機科学基礎理論とその応用) 緒方, 司; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2005-04) 数理解析研究所講究録, 1426: 84-90
The Sampling Twice Technique for the RSA-based Cryptosystems with Anonymity : Extended Abstract (Theoretical Computer Science and its Applications) Hayashi, Ryotaro; Tanaka, Keisuke (2005-04) 数理解析研究所講究録, 1426: 64-70
部分IDの一意性を考慮したID集合生成に関する問題 (計算機科学基礎理論とその応用) 牧山, 幸史; 納富, 貞嘉; 安浦, 寛人 (2005-04) 数理解析研究所講究録, 1426: 91-95
A Model and Methods for Moderately-Hard Functions : Extended Abstract (Theoretical Computer Science and its Applications) Onodera, Takao; Tanaka, Keisuke (2005-04) 数理解析研究所講究録, 1426: 57-63
Improved Deterministic Approximation Algorithms for Max TSP (Theoretical Computer Science and its Applications) Chen, Zhi-Zhong; Okamoto, Yuusuke; Wang, Lusheng (2005-04) 数理解析研究所講究録, 1426: 1-6
On NK-Community Problem (Theoretical Computer Science and its Applications) Nakamura, Atsuyoshi; Shigezumi, Takeya; Yamamoto, Masaki (2005-04) 数理解析研究所講究録, 1426: 71-77
An Energy Complexity Measure for Threshold Circuits that is Motivated by Biological Data on Cortical Computations (Theoretical Computer Science and its Applications) Uchizawa, Kei (2005-04) 数理解析研究所講究録, 1426: 96-100
項到達可能性の判定における成長TRSに対する手法と正規化規則による手法の関係 (計算機科学基礎理論とその応用) 村田, 龍彦; 酒井, 正彦; 西田, 直樹; 草刈, 圭一朗; 坂部, 俊樹 (2005-04) 数理解析研究所講究録, 1426: 106-112
変換と部分評価に基づく非左辺正規なメタ項の停止性証明 (計算機科学基礎理論とその応用) 蛸島, 洋明; 酒井, 正彦; 坂部, 俊樹; 西田, 直樹; 草刈, 圭一朗 (2005-04) 数理解析研究所講究録, 1426: 113-118