Probabilistic Model Checking of the One-Dimensional Ising Model

Sekizawa, Toshifusa; Tsuchiya, Tatsuhiro; Takahashi, Koichi et al.

IEICE transactions on information and systems, 2009, E92-D(5), 1003-1011

アクセス数:334件（2025-07-01 11:09 集計）

固定URL: https://hdl.handle.net/11094/27260

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
IEICE_E92-D_5_1003 pdf なし 705 KB 294 2014.04.03  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
Probabilistic Model Checking of the One-Dimensional Ising Model
著者
NRID
1000010549314 1000010549314
著者名
Sekizawa, Toshifusa
NRID
1000030283740 1000030283740
ORCID
0000-0002-3329-9235 0000-0002-3329-9235
researchmap permalink
tatsuhirotsuchiya72 tatsuhirotsuchiya72
Scopus Author ID
7403030658 7403030658
著者名
Tsuchiya, Tatsuhiro
NRID
1000040357372 1000040357372
著者名
Takahashi, Koichi
NRID
1000050093745 1000050093745
著者名
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
言語
英語
ハンドルURL
https://hdl.handle.net/11094/27260
PISSN
09168532
NCID
AA10826272
関連情報 (references)
URI
http://search.ieice.org/
関連情報 (isIdenticalTo)
DOI (出版社版)
https://doi.org/10.1587/transinf.E92.D.1003
アクセス権
open access
権利情報
Copyright © 2009 The Institute of Electronics, Information and Communication Engineers
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article