コレクションホームページ
1041 アルゴリズムと計算の理論
35
1041 アルゴリズムと計算の理論
35
(http://hdl.handle.net/2433/61342)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 35
書誌情報 | ファイル |
---|---|
表紙・目次 (1998-04) 数理解析研究所講究録, 1041 | |
Planar Topological Inference (Algorithms and Theory of Computing) Chen, Zhi-Zhong; Grigni, Michelangelo; Papadimitriou, Christos H. (1998-04) 数理解析研究所講究録, 1041: 1-8 | |
$n$-cube上の交差antichainの個数の評価について (アルゴリズムと計算の理論) 宮川, 正弘 (1998-04) 数理解析研究所講究録, 1041: 9-11 | |
BDDによる計算代数・計算幾何の不変量計算 (アルゴリズムと計算の理論) 今井, 浩; 今井, 桂子 (1998-04) 数理解析研究所講究録, 1041: 12-18 | |
Some Modifications of Lockout-Free Mutual Exclusion Algorithms (Algorithms and Theory of Computing) Kurumazaki, Hironobu; Kawa, Minako; Nishitani, Yasuaki; Igarashi, Yoshihide (1998-04) 数理解析研究所講究録, 1041: 19-26 | |
Lookahead Scheduling Requests for Efficient Paging (Algorithms and Theory of Computing) Kiniwa, Jun; Kameda, Tiko[Tsunehiko] (1998-04) 数理解析研究所講究録, 1041: 27-34 | |
確率的分散アルゴリズムに対するネットワークのサイズに関する情報について (アルゴリズムと計算の理論) 坂本, 直志 (1998-04) 数理解析研究所講究録, 1041: 35-38 | |
$k$-コータリのgraph-nondominatednessについて (アルゴリズムと計算の理論) 原田, 隆; 山下, 雅史 (1998-04) 数理解析研究所講究録, 1041: 39-43 | |
祖先形質の最節約復元順序集合について : On MPR-posets in phylogeny (アルゴリズムと計算の理論) Narushima, Hiroshi (1998-04) 数理解析研究所講究録, 1041: 44-49 | |
最節約復元順序集合の極値問題について : On extremal problems of MPR-posets (アルゴリズムと計算の理論) Miyakawa, Kampei; Narushima, Hiroshi (1998-04) 数理解析研究所講究録, 1041: 50-55 | |
ランダムに生成された和積形論理式が充足不能となるしきい値について (アルゴリズムと計算の理論) 坊野, 博典; 岩間, 一雄 (1998-04) 数理解析研究所講究録, 1041: 56-62 | |
二分モーメントグラフによる除算表現の大きさの指数下界 (アルゴリズムと計算の理論) 中西, 正樹; 浜口, 清治; 柏原, 敏伸 (1998-04) 数理解析研究所講究録, 1041: 63-70 | |
否定素子数限定論理回路における単調論理関数の複雑さ (アルゴリズムと計算の理論) 天野, 一幸; 丸岡, 章 (1998-04) 数理解析研究所講究録, 1041: 71-78 | |
到達可能性判定問題の計算量について(縮約版) (アルゴリズムと計算の理論) 垂井, 淳; 戸田, 誠之助 (1998-04) 数理解析研究所講究録, 1041: 79-86 | |
Proof Search in Acyclic Matrix Graphs (Algorithms and Theory of Computing) Fronhofer, Bertram (1998-04) 数理解析研究所講究録, 1041: 87-94 | |
Learning One-Variable Pattern Languages in Linear Average Time (Algorithms and Theory of Computing) Reischuk, Rudiger; Zeugmann, Thomas (1998-04) 数理解析研究所講究録, 1041: 95-102 | |
Towards TCS Concepts for Characterizing Expertise in Learning Systems Validation (Algorithms and Theory of Computing) Grieser, Gunter; Jantke, Klaus P.; Lange, Steffen (1998-04) 数理解析研究所講究録, 1041: 103-110 | |
計算モデルとしての推論加群系 (アルゴリズムと計算の理論) 山崎, 勇 (1998-04) 数理解析研究所講究録, 1041: 111-118 | |
RECURSIVE ENUMERABILITY IN SET THEORY (Algorithms and Theory of Computing) Wate, Masamichi; Yaku, Takeo (1998-04) 数理解析研究所講究録, 1041: 119-126 | |
A Note on Two-dimensional Probabilistic Turing Machines (Algorithms and Theory of Computing) Okazaki, Tokio; Inoue, Katsushi; Ito, Akira; Wang, Yue (1998-04) 数理解析研究所講究録, 1041: 127-134 |
文献一覧(目次の昇順ソート): 1 - 20 / 35