Probabilistic Model Checking of the One-Dimensional Ising Model

このアイテムのアクセス数:156件（2022-07-06 03:41 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27260

ファイル	フォーマット	サイズ	閲覧回数	説明
IEICE_E92-D_5_1003	pdf	705 KB	226

タイトル	Probabilistic Model Checking of the One-Dimensional Ising Model
著者	Sekizawa, Toshifusa Sekizawa, Toshifusa
	Tsuchiya, Tatsuhiro Tsuchiya, Tatsuhiro
	Takahashi, Koichi Takahashi, Koichi
	Kikuno, Tohru Kikuno, Tohru
キーワード等	verification
	probabilistic model checking
	the Ising model
	Discrete Time Markov Chain
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	IEICE transactions on information and systems
巻	E92-D
号	5
開始ページ	1003
終了ページ	1011
刊行年月	2009-05-01
ISSN	09168532
NCID	AA10826272
DOI (出版社版)	info:doi/10.1587/transinf.E92.D.1003
URL	http://hdl.handle.net/11094/27260
関連情報 (references)	http://search.ieice.org/
権利情報	Copyright © 2009 The Institute of Electronics, Information and Communication Engineers
言語	英語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	IEICE transactions on information and systems.E92-D(5) P.1003-P.1011
DC.title	Probabilistic Model Checking of the One-Dimensional Ising Model
DC.creator	Sekizawa, Toshifusa
	Tsuchiya, Tatsuhiro
	Takahashi, Koichi
	Kikuno, Tohru
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	英語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2009-05-01
DC.identifier	info:doi/10.1587/transinf.E92.D.1003
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/27260
DC.subject	verification
	probabilistic model checking
	the Ising model
	Discrete Time Markov Chain
DC.rights	Copyright © 2009 The Institute of Electronics, Information and Communication Engineers
citation_title	Probabilistic Model Checking of the One-Dimensional Ising Model
citation_author	Sekizawa, Toshifusa
	Tsuchiya, Tatsuhiro
	Takahashi, Koichi
	Kikuno, Tohru
citation_publisher	電子情報通信学会
citation_language	英語
citation_date	2009-05-01
citation_journal_title	IEICE transactions on information and systems
citation_volume	E92-D
citation_issue	5
citation_firstpage	1003
citation_lastpage	1011
citation_issn	09168532
citation_doi	info:doi/10.1587/transinf.E92.D.1003
citation_public_url	http://hdl.handle.net/11094/27260
citation_keywords	verification
	probabilistic model checking
	the Ising model
	Discrete Time Markov Chain