検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
仮想世界上での近距離合意問題 (計算機科学とアルゴリズムの数理的基礎とその応用) 榎本, 慎太郎 (2011-06) 数理解析研究所講究録, 1744: 217-220 | |
Approximating the path-distance-width for $k$-cocomparability graphs (Mathematical Foundations and Applications of Computer Science and Algorithms) Otachi, Yota; Saitoh, Toshiki; Yamanaka, Katsuhisa; Kijima, Shuji; Okamoto, Yoshio; Ono, Hirotaka; Uno, Yushi; Yamazaki, Koichi (2011-06) 数理解析研究所講究録, 1744: 60-66 | |
ZDDによるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用) 川原, 純; 斎藤, 寿樹; 鈴木, 拡; 湊, 真一; 吉仲, 亮 (2011-06) 数理解析研究所講究録, 1744: 35-41 | |
実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム (計算機科学とアルゴリズムの数理的基礎とその応用) 若月, 光夫; 清野, 和司; 富田, 悦次; 西野, 哲朗 (2011-06) 数理解析研究所講究録, 1744: 1-10 | |
確率的評価値をもつゲーム木における最善手探索 (計算機科学とアルゴリズムの数理的基礎とその応用) 奥山, 洋平; 畑埜, 晃平; 瀧本, 英二; 竹田, 正幸 (2011-06) 数理解析研究所講究録, 1744: 56-59 | |
UMLパッケージ図に対するグラフ文法(計算機科学とアルゴリズムの数理的基礎とその応用) 後藤, 隆彰; 西野, 哲朗; 土田, 賢省 (2011-06) 数理解析研究所講究録, 1744: 11-14 | |
確率時間WiGARによるPTCTLサブクラスのモデル検査 (計算機科学とアルゴリズムの数理的基礎とその応用) 高橋, 正樹; 清水, 隆也; 山根, 智 (2011-06) 数理解析研究所講究録, 1744: 25-34 | |
動的リアルタイムハイブリッドCEGAR による動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用) 酒井, 誠; 山根, 智 (2011-06) 数理解析研究所講究録, 1744: 15-24 | |
UNO is hard, even for a single player Demaine, Erik D.; Demaine, Martin L.; Uehara, Ryuhei; Uno, Takeaki; Uno, Yushi (2011-06) 数理解析研究所講究録, 1744: 48-55 | |
Trevisan's extractor in the presence of quantum side information (Mathematical Foundations and Applications of Computer Science and Algorithms) De, Anindya; Portmann, Christopher; Vidick, Thomas; Renner, Renato (2011-06) 数理解析研究所講究録, 1744: 42-47 |