Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 29.

前
1
2
3
次

検索結果:

書誌情報	ファイル
Local Structure of Cellular Automata (Foundations of Theoretical Computer Science : For New Computational View) Nishio, Hidenosuke; Worsch, Thomas (2008-05) 数理解析研究所講究録, 1599: 17-23
ストップウォッチオートマトンによるプリエンプティブスケジューリングの仕様記述と有界モデル検査 (理論計算機科学の深化 : 新たな計算世界観を求めて) 瀧内, 新悟; 山根, 智 (2008-05) 数理解析研究所講究録, 1599: 1-8
表紙・目次 (2008-05) 数理解析研究所講究録, 1599
On Patterns of Threshold Circuits computing the PARITY function (Foundations of Theoretical Computer Science : For New Computational View) Uchizawa, Kei; Takimoto, Eiji (2008-05) 数理解析研究所講究録, 1599: 91-96
On the path distance width of the complete $k$-ary trees (Foundations of Theoretical Computer Science : For New Computational View) Ukegawa, Kazuyuki; Aoki, Kazumasa; Kozawa, Kyohei; Otachi, Yota; Yamazaki, Koichi (2008-05) 数理解析研究所講究録, 1599: 119-126
$\mathrm{XOR}^2$=90 : Graded Algebra Structure of the Boolean Algebra of Local Transition Rules (Foundations of Theoretical Computer Science : For New Computational View) FUJIO, Mitsuhiko (2008-05) 数理解析研究所講究録, 1599: 97-102
重み付きグラフ上の枝被覆に対する次数均等化と重み最小化 (理論計算機科学の深化 : 新たな計算世界観を求めて) 原田, 雄太; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05) 数理解析研究所講究録, 1599: 57-64
局所探索法による熱力学的DNA配列設計の改良 (理論計算機科学の深化 : 新たな計算世界観を求めて) 川下, 優; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05) 数理解析研究所講究録, 1599: 27-34
確率的な枝重みをもつ有向非巡回グラフにおける最長路長さの分布関数の解析的な計算に関する考察 (理論計算機科学の深化 : 新たな計算世界観を求めて) 安藤, 映; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05) 数理解析研究所講究録, 1599: 170-175
グラフ上の線形Cover Timeランダムウォーク実現の必要条件 (理論計算機科学の深化 : 新たな計算世界観を求めて) 野中, 良哲; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2008-05) 数理解析研究所講究録, 1599: 73-78