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

発行番号	IS-RR-2007-001
論文タイトル	Reasoning with abstractions as context-based reasoning
著者	Saeger, Stijn De/Shimojima, Atsushi
発行年月日	20070112
ページ	Page: 1-16

発行番号	IS-RR-2007-002
論文タイトル	Collision prevention using group communication for asynchronous cooperative mobile robots
著者	Yared, Rami/Defago, Xavier/Wiesmann, Matthias
発行年月日	20070222
ページ	Page: 1-21

発行番号	IS-RR-2007-003
論文タイトル	Self-stabilizing algorithm for circle formation by disoriented oblivious mobile robots
著者	Defago, Xavier/Souissi, Samia
発行年月日	20070226
ページ	Page: 1-17

発行番号	IS-RR-2007-004
論文タイトル	Algebraic approaches to formal analysis of the mondex electronic purse system
著者	Kong, Weiqiang/Ogata, Kazuhiro/Futatsugi, Kokichi
発行年月日	20070323
ページ	Page: 1-43

発行番号	IS-RR-2007-005
論文タイトル	ソフトウェアアカウンタビリティ実現のためのGORAと法理論の利用に関する報告
著者	杉森，隼人/落水，浩一郎
発行年月日	20070328
ページ	Page: 1-35

発行番号	IS-RR-2007-006
論文タイトル	Tight bound on the gathering of two oblivious mobile robots with inconsistent compasses
著者	Yamashita, Masafumi/Souissi, Samia/Defago, Xavier
発行年月日	20070403
ページ	Page: 1-15

発行番号	IS-RR-2007-007
論文タイトル	ED FD: Improving the phi accrual failure detector
著者	Xiong, Naixue/Defago, Xavier
発行年月日	20070427
ページ	Page: 1-29

発行番号	IS-RR-2007-008
論文タイトル	Estimation of fundamental frequency of reverberant speech by utilizing complex cepstrum analysis
著者	Unoki, Masashi/Hosorogiya, Toshihiro
発行年月日	20070618
ページ	Page: 1-14

発行番号	IS-RR-2007-009
論文タイトル	IECを用いた素片接続コストの重み係数推定
著者	平井，啓之/小谷，一孔/党，建武
発行年月日	20070706
ページ	Page: 1-10

発行番号	IS-RR-2007-010
論文タイトル	Definition and realization of software accountability
著者	Ochimizu, Koichiro/Hayasaka, Ryo
発行年月日	20070720
ページ	Page: 1-12

発行番号	IS-RR-2007-011
論文タイトル	LP-baesd method of blind restoration to improve intelligibility of bone-conducted speech
著者	Thang, Tat Vu/Unoki, Masashi/Akagi, Masato
発行年月日	20071005
ページ	Page: 1-10

発行番号	IS-RR-2007-012
論文タイトル	MDAフレームワークのEDA分野への適用
著者	岩政，幹人/落水，浩一郎
発行年月日	20071120
ページ	Page: 1-50