検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。


検索結果表示: 1-10 / 31.
検索結果:
書誌情報ファイル
FIXED POINT THEOREM AND PERIODICITY THEOREM FOR DYNAMICAL SYSTEMS OF ITERATED DISCRETE LAPLACIANS ON THE PLANE LATTICE (Mathematical Foundation of Algorithms and Computer Science)
  Guerlebeck, K.; Hadlich, C.; Suzuki, Osamu (2010-06)
  数理解析研究所講究録, 1691: 22-28
file type icon 
Public-Key Encryption with New Algebraic Properties (Mathematical Foundation of Algorithms and Computer Science)
  Hirano, Takato; Tanaka, Keisuke (2010-06)
  数理解析研究所講究録, 1691: 36-43
file type icon 
Proxy Re-Encryption based on Learning with Errors (Mathematical Foundation of Algorithms and Computer Science)
  Xagawa, Keita; Tanaka, Keisuke (2010-06)
  数理解析研究所講究録, 1691: 29-35
file type icon 
コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)
  安井, 雅俊; 山根, 智 (2010-06)
  数理解析研究所講究録, 1691: 15-21
file type icon 
Approximating the path-distance-width for asteroidal triple-free graphs (Mathematical Foundation of Algorithms and Computer Science)
  Otachi, Yota; Yamazaki, Koichi (2010-06)
  数理解析研究所講究録, 1691: 58-64
file type icon 
Automorphism Classification of Cellular Automata : a continuation (Mathematical Foundation of Algorithms and Computer Science)
  Nishio, Hidenosuke (2010-06)
  数理解析研究所講究録, 1691: 51-57
file type icon 
直方体分割の24次格子グラフ表現とその応用 (アルゴリズムと計算機科学の数理的基盤とその応用)
  後藤, 隆彰; 西野, 哲朗; 土田, 賢省; 本橋, 友江; 夜久, 竹夫 (2010-06)
  数理解析研究所講究録, 1691: 115-119
file type icon 
画像切り出しに対するアルゴリズムの提案 (アルゴリズムと計算機科学の数理的基盤とその応用)
  安齋, 進也; 全, 眞嬉; 葛西, 亮生; コルマン, マティアス; 徳山, 豪 (2010-06)
  数理解析研究所講究録, 1691: 195-199
file type icon 
盤面および使用セルを考慮した回転型セル迷路のPSPACE完全性 (アルゴリズムと計算機科学の数理的基盤とその応用)
  上條, 裕介; 上嶋, 章宏 (2010-06)
  数理解析研究所講究録, 1691: 167-173
file type icon 
絵画的迷路作成アルゴリズムの改善 (アルゴリズムと計算機科学の数理的基盤とその応用)
  中井, 亮平; 岡本, 吉央 (2010-06)
  数理解析研究所講究録, 1691: 162-166
file type icon