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

Number of Access:388（2025-09-03 07:55 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/27260

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
IEICE_E92-D_5_1003 pdf None 705 KB 300 2014.04.03  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
Probabilistic Model Checking of the One-Dimensional Ising Model
Creator
NRID
1000010549314 1000010549314
CreatorName
Sekizawa, Toshifusa
NRID
1000030283740 1000030283740
ORCID
0000-0002-3329-9235 0000-0002-3329-9235
researchmap permalink
tatsuhirotsuchiya72 tatsuhirotsuchiya72
Scopus Author ID
7403030658 7403030658
CreatorName
Tsuchiya, Tatsuhiro
NRID
1000040357372 1000040357372
CreatorName
Takahashi, Koichi
NRID
1000050093745 1000050093745
CreatorName
Kikuno, Tohru
Subject
verification
probabilistic model checking
the Ising model
Discrete Time Markov Chain
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
IEICE transactions on information and systems
Volume (Issue)
E92-D(5)
Page
1003-1011
Date of Issued
2009-05-01
Language
English
Handle URL
https://hdl.handle.net/11094/27260
PISSN
09168532
NCID
AA10826272
Relation.references
URI
http://search.ieice.org/
Relation.isIdenticalTo
DOI (Publisher Version)
https://doi.org/10.1587/transinf.E92.D.1003
Access Rights
open access
CopyRight
Copyright © 2009 The Institute of Electronics, Information and Communication Engineers
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article