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

1744 計算機科学とアルゴリズムの数理的基礎とその応用   36
(http://hdl.handle.net/2433/170394)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 36
書誌情報ファイル
表紙・目次
   (2011-06)
  数理解析研究所講究録, 1744
file type icon
実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム (計算機科学とアルゴリズムの数理的基礎とその応用)
  若月, 光夫, 清野, 和司, 富田, 悦次, 西野, 哲朗 (2011-06)
  数理解析研究所講究録, 1744: 1-10
file type icon
UMLパッケージ図に対するグラフ文法(計算機科学とアルゴリズムの数理的基礎とその応用)
  後藤, 隆彰, 西野, 哲朗, 土田, 賢省 (2011-06)
  数理解析研究所講究録, 1744: 11-14
file type icon
動的リアルタイムハイブリッドCEGAR による動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用)
  酒井, 誠, 山根, 智 (2011-06)
  数理解析研究所講究録, 1744: 15-24
file type icon
確率時間WiGARによるPTCTLサブクラスのモデル検査 (計算機科学とアルゴリズムの数理的基礎とその応用)
  高橋, 正樹, 清水, 隆也, 山根, 智 (2011-06)
  数理解析研究所講究録, 1744: 25-34
file type icon
ZDDによるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用)
  川原, 純, 斎藤, 寿樹, 鈴木, 拡, 湊, 真一, 吉仲, 亮 (2011-06)
  数理解析研究所講究録, 1744: 35-41
file type icon
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
file type icon
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
file type icon
確率的評価値をもつゲーム木における最善手探索 (計算機科学とアルゴリズムの数理的基礎とその応用)
  奥山, 洋平, 畑埜, 晃平, 瀧本, 英二, 竹田, 正幸 (2011-06)
  数理解析研究所講究録, 1744: 56-59
file type icon
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
file type icon
Approximating Maximum Edge 2-Coloring in Simple Graphs (Mathematical Foundations and Applications of Computer Science and Algorithms)
  Chen, Zhi-Zhong, Konno, Sayuri, Matsushita, Yuki (2011-06)
  数理解析研究所講究録, 1744: 67-76
file type icon
Universality of Reversible Logic Elements with 1-Bit Memory : Extended Abstract (Mathematical Foundations and Applications of Computer Science and Algorithms)
  Morita, Kenichi, Ogiro, Tsuyoshi, Alhazov, Artiom, Tanizawa, Tsuyoshi (2011-06)
  数理解析研究所講究録, 1744: 77-84
file type icon
2次の効用関数を持つ不可分財の最適配分問題に対する近似解法の研究 (計算機科学とアルゴリズムの数理的基礎とその応用)
  鈴木, 瞬也, 塩浦, 昭義 (2011-06)
  数理解析研究所講究録, 1744: 85-92
file type icon
タブローの最適配置問題 (計算機科学とアルゴリズムの数理的基礎とその応用)
  安齋, 進也, 全, 眞嬉, 葛西, 亮生, コルマン, マティアス, 徳山, 豪 (2011-06)
  数理解析研究所講究録, 1744: 93-98
file type icon
組合せの効率的な生成法 (計算機科学とアルゴリズムの数理的基礎とその応用)
  Shimizu, Toshihiro, Fukunaga, Takuro, Nagamochi, Hiroshi (2011-06)
  数理解析研究所講究録, 1744: 99-106
file type icon
最長共通部分配列計算におけるrun長の対数時間寄与 (計算機科学とアルゴリズムの数理的基礎とその応用)
  酒井, 義文 (2011-06)
  数理解析研究所講究録, 1744: 107-114
file type icon
A Searchable Compressed Edit-Sensitive Parsing (Mathematical Foundations and Applications of Computer Science and Algorithms)
  Kishiue, Naoya, Nakahara, Masaya, Maruyama, Shirou, Sakamoto, Hiroshi (2011-06)
  数理解析研究所講究録, 1744: 115-122
file type icon
圧縮文字列上での $q$-gram 頻度の高速な計算方法 (計算機科学とアルゴリズムの数理的基礎とその応用)
  Goto, Keisuke, Bannai, Hideo, Inenaga, Shunsuke, Takeda, Masayuki (2011-06)
  数理解析研究所講究録, 1744: 123-128
file type icon
Dynamic Programming Algorithm for Optimal Double-Base Chains : Extended Abstract (Mathematical Foundations and Applications of Computer Science and Algorithms)
  Suppakitpaisarn, Vorapong, Edahiro, Masato, Imai, Hiroshi (2011-06)
  数理解析研究所講究録, 1744: 129-136
file type icon
Local Composition of Cellular Automata via Hit-or-Miss Transform (Mathematical Foundations and Applications of Computer Science and Algorithms)
  Fujio, Mitsuhiko (2011-06)
  数理解析研究所講究録, 1744: 137-143
file type icon
文献一覧(目次の昇順ソート): 1 - 20 / 36