2005年に発行した本学情報科学研究科のリサーチレポートを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。

発行番号	IS-RR-2005-001
論文タイトル	Mathematical foundations for self-referential sentences
著者	Tadeusz, Litak
発行年月日	20050112
ページ	Page: 1-28

発行番号	IS-RR-2005-002
論文タイトル	Models for blocking probability of high-speed optical banyan networks on vertical stacking
著者	Jiang, Xiaohing
発行年月日	20050126
ページ	Page: 1-18

発行番号	IS-RR-2005-003
論文タイトル	A type theory for Krivine-style evaluation and compilation
著者	Choi, Kwanghoon/Ohori, Atsushi
発行年月日	20050131
ページ	Page: 1-29

発行番号	IS-RR-2005-004
論文タイトル	Definition and specification of accrual failure detectors
著者	Defago, Xavier/Urban, Peter/Hayashibara, Naohiro/Katayama, Takuya
発行年月日	20050322
ページ	Page: 1-19

発行番号	IS-RR-2005-005
論文タイトル	電子大学の履修管理システムを対象とした自己説明性および進化容易性を実現するためのソフトウェア構成手法の検討
著者	早坂，良/藤枝，和宏/落水，浩一郎
発行年月日	20050328
ページ	Page: 1-8

発行番号	IS-RR-2005-006
論文タイトル	Fundamental frequency estimation for noisy speech based on instantaneous amplitude and frequency
著者	Ishimoto, Yuichi/Unoki, Masashi/Akagi, Masato
発行年月日	20050328
ページ	Page: 1-31

発行番号	IS-RR-2005-007
論文タイトル	残響音声からの基本周波数推定に関する検討
著者	鵜木，祐史/石本，祐一／赤木，正人
発行年月日	20050328
ページ	Page: 1-27

発行番号	IS-RR-2005-008
論文タイトル	A lazy routing protocol for large-scale mobile ad hoc networks
著者	Cartigny, Julien /Defago, Xavier
発行年月日	20050405
ページ	Page: 1-10

発行番号	IS-RR-2005-009
論文タイトル	A sowing routing protocol for dense mobile ad hoc networks
著者	Cartigny, Julien /Defago, Xavier
発行年月日	20050719
ページ	Page: 1-8

発行番号	IS-RR-2005-010
論文タイトル	Eventually consistent compasses for robust gathering of asynchronous mobile robots with limited visibility
著者	Souissi, Samia /Defago, Xavier/Yamashita, Masafumi
発行年月日	20050720
ページ	Page: 1-20