✦ LIBER ✦

Software model checking is a rich research field

✍ Scribed by Antti Valmari

Publisher: Springer
Year: 2008
Tongue: English
Weight: 311 KB
Volume: 11
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-008-0089-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ising model in a transverse random field

✍ T.F. Cassol; W. Figueiredo; J.A. Plascak 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 298 KB

Spin−32 Ising model in a random field

✍ M. Jaščur; T. Kaneyoshi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 356 KB

The Ising model in a random magnetic fie

The Ising model in a random magnetic field

✍ Daniel S. Fisher; Jürg Fröhlich; Thomas Spencer 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 352 KB

On the mean-field Ising model in a rando

On the mean-field Ising model in a random external field

✍ S. R. Salinas; W. F. Wreszinski 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 528 KB

The one-dimensional Ising model with a t

The one-dimensional Ising model with a transverse field

✍ Pierre Pfeuty 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 448 KB

The one-dimensional Ising model with a transverse field is solved exactly by transforming the set of Pauli operators to a new set of Fermi operators. The elementary excitations, the ground-state energy and the free energy are found. The instantaneous correlation function between any two spins is cal

Decorated ferrimagnetic Ising model with

Decorated ferrimagnetic Ising model with a random crystal field

✍ A. Benyoussef; A. El Kenz; M. El yadari 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 371 KB

A mean-field approximation is used to study the effects of random crystal field on the critical behaviour of decorated ferrimagnetic Ising model, in which the two magnetic atoms A and B have spins s A ¼ 1 2 and S B ¼ 1, respectively. The results indicate that there may exist some interesting phenome