JAIST Research Report (School of Information Science) published in 2005; listed in chronological order.
Full article is stored in the shelves near the Doctoral Dissertations in the 3rd floor.

Publication #	IS-RR-2005-001
Title	Mathematical foundations for self-referential sentences
Author(s)	Tadeusz, Litak
Date Published	20050112
Pages	1-28

Publication #	IS-RR-2005-002
Title	Models for blocking probability of high-speed optical banyan networks on vertical stacking
Author(s)	Jiang, Xiaohing
Date Published	20050126
Pages	1-18

Publication #	IS-RR-2005-003
Title	A type theory for Krivine-style evaluation and compilation
Author(s)	Choi, Kwanghoon/Ohori, Atsushi
Date Published	20050131
Pages	1-29

Publication #	IS-RR-2005-004
Title	Definition and specification of accrual failure detectors
Author(s)	Defago, Xavier/Urban, Peter/Hayashibara, Naohiro/Katayama, Takuya
Date Published	20050322
Pages	1-19

Publication #	IS-RR-2005-005
Title	電子大学の履修管理システムを対象とした自己説明性および進化容易性を実現するためのソフトウェア構成手法の検討
Author(s)	早坂，良/藤枝，和宏/落水，浩一郎
Date Published	20050328
Pages	1-8

Publication #	IS-RR-2005-006
Title	Fundamental frequency estimation for noisy speech based on instantaneous amplitude and frequency
Author(s)	Ishimoto, Yuichi/Unoki, Masashi/Akagi, Masato
Date Published	20050328
Pages	1-31

Publication #	IS-RR-2005-007
Title	残響音声からの基本周波数推定に関する検討
Author(s)	鵜木，祐史/石本，祐一／赤木，正人
Date Published	20050328
Pages	1-27

Publication #	IS-RR-2005-008
Title	A lazy routing protocol for large-scale mobile ad hoc networks
Author(s)	Cartigny, Julien /Defago, Xavier
Date Published	20050405
Pages	1-10

Publication #	IS-RR-2005-009
Title	A sowing routing protocol for dense mobile ad hoc networks
Author(s)	Cartigny, Julien /Defago, Xavier
Date Published	20050719
Pages	1-8

Publication #	IS-RR-2005-010
Title	Eventually consistent compasses for robust gathering of asynchronous mobile robots with limited visibility
Author(s)	Souissi, Samia /Defago, Xavier/Yamashita, Masafumi
Date Published	20050720
Pages	1-20