コレクションホームページ

1691 アルゴリズムと計算機科学の数理的基盤とその応用   31
(http://hdl.handle.net/2433/139711)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 31
書誌情報ファイル
表紙・目次
   (2010-06)
  数理解析研究所講究録, 1691
file type icon
A Note on Tatami Tilings (Mathematical Foundation of Algorithms and Computer Science)
  ALHAZOV, Artiom, MORITA, Kenichi, IWAMOTO, Chuzo (2010-06)
  数理解析研究所講究録, 1691: 1-7
file type icon
動的再構成可能プロセッサ向け仕様記述言語の開発と実問題の適用 (アルゴリズムと計算機科学の数理的基盤とその応用)
  中居, 佑輝, 山根, 智 (2010-06)
  数理解析研究所講究録, 1691: 8-14
file type icon
コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)
  安井, 雅俊, 山根, 智 (2010-06)
  数理解析研究所講究録, 1691: 15-21
file type icon
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
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
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
The Membrane Systems Language Class (Mathematical Foundation of Algorithms and Computer Science)
  ALHAZOV, Artiom, CIUBOTARU, Constantin, ROGOZHIN, Yurii, IVANOV, Sergiu (2010-06)
  数理解析研究所講究録, 1691: 44-50
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
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
ユークリッド平面上の積空比定数のエネルギー最小化車両経路問題の近似アルゴリズムについて (アルゴリズムと計算機科学の数理的基盤とその応用)
  長崎, 大生, 武井, 由智 (2010-06)
  数理解析研究所講究録, 1691: 65-71
file type icon
対数優/劣モジュラ分布からのサンプリング (アルゴリズムと計算機科学の数理的基盤とその応用)
  来嶋, 秀治 (2010-06)
  数理解析研究所講究録, 1691: 72-77
file type icon
A Polynomial-time Perfect Sampler for the Q-Ising with local fields (Mathematical Foundation of Algorithms and Computer Science)
  Yamamoto, Masaki, Kijima, Shuji, Matsui, Yasuko (2010-06)
  数理解析研究所講究録, 1691: 78-84
file type icon
Multiple Random WalkのCover Timeについて (アルゴリズムと計算機科学の数理的基盤とその応用)
  穂坂, 祐輔, 小野, 廣隆, 山下, 雅史 (2010-06)
  数理解析研究所講究録, 1691: 85-90
file type icon
任意のカバー時間を持つ木の構成法 (アルゴリズムと計算機科学の数理的基盤とその応用)
  野中, 良哲, 小野, 廣隆, 山下, 雅史 (2010-06)
  数理解析研究所講究録, 1691: 91-95
file type icon
区間二部グラフの効率の良い認識に関する研究 (アルゴリズムと計算機科学の数理的基盤とその応用)
  栗林, 康之, 斎藤, 寿樹, 上原, 隆平 (2010-06)
  数理解析研究所講究録, 1691: 96-101
file type icon
ラベル選択を有する最小全域木問題 (アルゴリズムと計算機科学の数理的基盤とその応用)
  Fujiyoshi, Akio, Suzuki, Masakazu (2010-06)
  数理解析研究所講究録, 1691: 102-107
file type icon
最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性 (アルゴリズムと計算機科学の数理的基盤とその応用)
  中西, 裕陽, 富田, 悦次, 若月, 光夫 (2010-06)
  数理解析研究所講究録, 1691: 108-114
file type icon
直方体分割の24次格子グラフ表現とその応用 (アルゴリズムと計算機科学の数理的基盤とその応用)
  後藤, 隆彰, 西野, 哲朗, 土田, 賢省, 本橋, 友江, 夜久, 竹夫 (2010-06)
  数理解析研究所講究録, 1691: 115-119
file type icon
Chaitin $\Omega$ and halting problems II (Mathematical Foundation of Algorithms and Computer Science)
  Tadaki, Kohtaro (2010-06)
  数理解析研究所講究録, 1691: 120-126
file type icon
文献一覧(目次の昇順ソート): 1 - 20 / 31