ブラウズ "1554 計算機科学の理論とその応用": タイトル

移動: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
あるいは、最初の数文字を入力してください(日本語はこちらのみ可):  
検索結果表示: 1 - 20 / 40  次ページ >
書誌情報ファイル
3正則グラフの巡回セールスマン問題に対する厳密アルゴリズムの改善(計算機科学の理論とその応用)
  岩間, 一雄; 中島, 拓也 (2007-05)
  数理解析研究所講究録, 1554: 145-152
file type icon
Alternating CFG の拡張について(計算機科学の理論とその応用)
  守屋, 悦朗; Otto, Friedrich; Messerschmidt, Hartmut (2007-05)
  数理解析研究所講究録, 1554: 9-15
file type icon
Approximation Algorithm for Maximum Triangle Packing and Metric Maximum Clustering(Theory of Computer Science and Its Applications)
  CHEN, Zhi-Zhong; Tanahashi, Ruka; Sekiyama, Tatsuyuki (2007-05)
  数理解析研究所講究録, 1554: 71-77
file type icon
Branch-length とtree-length(計算機科学の理論とその応用)
  梅澤, 香織; 山崎, 浩一 (2007-05)
  数理解析研究所講究録, 1554: 230-237
file type icon
Confluence of Length Preserving String Rewriting Systems is Undecidable(Theory of Computer Science and Its Applications)
  Wang, Yi; Sakai, Masahiko; Nishida, Naoki; Sakabe, Toshiki; Kusakari, Keiichirou (2007-05)
  数理解析研究所講究録, 1554: 171-177
file type icon
DAG の高さを4以下に制限したタスクスケジューリングの近似アルゴリズムについて(計算機科学の理論とその応用)
  清水, 豪樹; 大山口, 通夫; 山田, 俊行; 柳本, 貴之; 小松, 健悟 (2007-05)
  数理解析研究所講究録, 1554: 210-216
file type icon
Decidability of Innermost Termination for Semi-Constructor Term Rewriting Systems(Theory of Computer Science and Its Applications)
  Uchiyama, Keita; Sakai, Masahiro; Nishida, Naoki; Sakabe, Toshiki; Kusakari, Keiichirou (2007-05)
  数理解析研究所講究録, 1554: 166-170
file type icon
Direct Binary Search 法によるマルチトニング(計算機科学の理論とその応用)
  平野, 祐樹; 中野, 浩嗣 (2007-05)
  数理解析研究所講究録, 1554: 161-165
file type icon
A Fast Algorithm for Computing Jones Polynomials of Montesinos Links(Theory of Computer Science and Its Applications)
  Murakami, Masahiko; Hara, Masao; Yamamoto, Makoto; Tani, Seiichi (2007-05)
  数理解析研究所講究録, 1554: 153-160
file type icon
An Improved Approximation Algorithm for Maximum Edge 2-Coloring in Simple Graph(Theory of Computer Science and Its Applications)
  CHEN, Zhi-Zhong; Tanahashi, Ruka (2007-05)
  数理解析研究所講究録, 1554: 78-84
file type icon
$K$- 開発閉包な左線形項書換えシステムの合流性(計算機科学の理論とその応用)
  岩見, 宗弘 (2007-05)
  数理解析研究所講究録, 1554: 258-263
file type icon
$k$-Set Agreement を解く故障検知器(計算機科学の理論とその応用)
  坂田, 敦; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2007-05)
  数理解析研究所講究録, 1554: 269-275
file type icon
A Lattice-Based Cryptosystem and Proof of Knowledge on Its Secret Key(Theory of Computer Science and Its Applications)
  Xagawa, Keita; Kawachi, Akinori; Tanaka, Keisuke (2007-05)
  数理解析研究所講究録, 1554: 40-47
file type icon
Negation-Limited Complexity of Parity and Inverters(Theory of Computer Science and Its Applications)
   (2007-05)
  数理解析研究所講究録, 1554: 131-138
file type icon
Neighborhood Function for CA(Theory of Computer Science and Its Applications)
  Nishio, Hidenosuke; Worsch, Thomas (2007-05)
  数理解析研究所講究録, 1554: 16-23
file type icon
Orthogonal Drawings for Plane Graphs with Specified Face Areas(Theory of Computer Science and Its Applications)
  Kawaguchi, Akifumi; Nagamochi, Hiroshi (2007-05)
  数理解析研究所講究録, 1554: 85-92
file type icon
Private Approximation of the Set Cover Problem : Extended Abstract(Theory of Computer Science and Its Applications)
  Yashiro, Masatoshi; Tanaka, Keisuke (2007-05)
  数理解析研究所講究録, 1554: 48-55
file type icon
Ptolemaic Graph 上の最長路問題に関する研究(計算機科学の理論とその応用)
  高原, 祥浩; 寺本, 幸生; 上原, 隆平 (2007-05)
  数理解析研究所講究録, 1554: 109-116
file type icon
Quantum Asymmetric-Key Cryptosystems Secure Against Computationally Unbounded Adversaries(Theory of Computer Science and Its Applications)
  Kawachi, Akinori; Portmann, Christopher (2007-05)
  数理解析研究所講究録, 1554: 117-124
file type icon
Variations on Neighborhoods in CA(Theory of Computer Science and Its Applications)
  Worsch, Thomas; Nishio, Hidenosuke (2007-05)
  数理解析研究所講究録, 1554: 24-31
file type icon