検索


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

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


検索結果表示: 1-10 / 41.
検索結果:
書誌情報ファイル
ビット列で表現された完全二分木の判定アルゴリズム(計算理論とアルゴリズムの新展開)
  漆山, 龍哉; 三河, 賢治; 長谷川, 誠 (2006-05)
  数理解析研究所講究録, 1489: 102-105
file type icon 
確率時間オートマトンの確率時間弱模倣検証理論(計算理論とアルゴリズムの新展開)
  橋爪, 裕樹; 山根, 智 (2006-05)
  数理解析研究所講究録, 1489: 1-7
file type icon 
DNA 分子の濃度と反応速度の関係解析(計算理論とアルゴリズムの新展開)
  塩崎, 真史; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2006-05)
  数理解析研究所講究録, 1489: 85-90
file type icon 
時間オートマトンによる Value-Density スケジューリングアルゴリズムの性能解析手法(計算理論とアルゴリズムの新展開)
  坂倉, 賢昭; 山根, 智 (2006-05)
  数理解析研究所講究録, 1489: 8-14
file type icon 
How does the neighborhood affect the global behavior of cellular automata?(New Trends in Theory of Computation and Algorithm)
  Nishio, Hidenosuke (2006-05)
  数理解析研究所講究録, 1489: 15-21
file type icon 
CFG/PDA の alternation 付与方法ほかについて(計算理論とアルゴリズムの新展開)
  守屋, 悦朗 (2006-05)
  数理解析研究所講究録, 1489: 22-28
file type icon 
A Message Passing Algorithm for MAX2SAT(New Trends in Theory of Computation and Algorithm)
  Watanabe, Osamu; Yamamoto, Masaki (2006-05)
  数理解析研究所講究録, 1489: 106-113
file type icon 
Complexity-Theoretical Quantum List Decoding and Applications to Quantum Hardcore Functions(New Trends in Theory of Computation and Algorithm)
  Kawachi, Akinori; Yamakami, Tomoyuki (2006-05)
  数理解析研究所講究録, 1489: 114-120
file type icon 
Geometric Characterization of Quantum Oracle Identification(New Trends in Theory of Computation and Algorithm)
  Kawachi, Akinori; Yamashita, Shigeru (2006-05)
  数理解析研究所講究録, 1489: 121-127
file type icon 
The Confluence Problem for Flat TRSs(New Trends in Theory of Computation and Algorithm)
  Mitsuhashi, Ichiro; Oyamaguchi, Michio; Jacquemard, Florent (2006-05)
  数理解析研究所講究録, 1489: 250-255
file type icon