[图书][B] The SPIN model checker: Primer and reference manual

GJ Holzmann - 2004 - cin.ufpe.br
… The methodology we describe in this book centers on the use of the model checker SPIN. …
At the time of writing, SPIN is one of the most widely used logic model checkers in the world. …

Theoretical Tailspins: Reading" Alternative" Performance in Spin Magazine

J Finnegan - Postmodern Culture, 1999 - muse.jhu.edu
… a letter published by Spin further implicating Spin as it simultaneously … SPIN had a clue, we
get “The A to Z of Alternative Culture.” Why can’t people realize that the basis of an alternative

Service planning instrument (SPIn)

NJ Jones, D Robinson - Handbook of recidivism risk/needs …, 2018 - Wiley Online Library
… The SPIn was designed to guide offender classification decisions by predicting risk of …
SPIn tool will also be described in this article: The Service Planning Instrument for Women (SPIn-W…

Don't spin the pen: two alternative methods for second-stage sampling in urban cluster surveys

RF Grais, AMC Rose, JP Guthmann - Emerging themes in epidemiology, 2007 - Springer
… "Spinning the pen" is often justified as a way to avoid costly … An additional problem is that
the spin-the-pen method relies … compared the spin-the-pen method to two alternative methods …

Guidelines for the Simulations of Nitroxide X-Band cw EPR Spectra from Site-Directed Spin Labeling Experiments Using SimLabel

E Etienne, A Pierro, KC Tamburrini, A Bonucci, E Mileo… - Molecules, 2023 - mdpi.com
… Site-directed spin labeling (SDSL) combined with continuous wave electron paramagnetic …
X-band spectrum recorded on a frozen solution. Finally, we propose guidelines to perform the …

Crystalline-state reaction with allosteric effect in spin-crossover, interpenetrated networks with magnetic and optical bistability.

V Niel, A Thompson, M Muñoz, A Galet… - … (International ed. in …, 2003 - ora.ox.ac.uk
… The transformation does not affect the crystallinity of the sample but alters significantly the
spin-crossover transition; the compound shows magnetic and chromatic bistability (see picture)…

In silico molecular engineering of dysprosocenium-based complexes to decouple spin energy levels from molecular vibrations

A Ullah, J Cerdá, JJ Baldoví, SA Varganov… - The journal of …, 2019 - ACS Publications
… from spin states and thereby enhance magnetic memory. Herein, we study the spin-…
pentamethylcyclopentadienyl), which currently holds the hysteresis record (80 K), by means …

Spin in scientific writing: scientific mischief and legal jeopardy

RH Fletcher, B Black - Med. & L., 2007 - HeinOnline
… , when, and how medical research is published, and so have substantial influence over
the final form of publications, we will end by suggesting ways in which editors can minimize "spin

A practical guide to protein dynamics from 15N spin relaxation in solution

S Morin - Progress in nuclear magnetic resonance spectroscopy, 2011 - Elsevier
… This review was prepared in order to serve as a practical guide for the study of protein (or
other macromolecule) ps–ns and μs–ms dynamics using 15 N spin relaxation data from …

[引用][C] Spin alternative record guide

E Weisbard, C Marks - 1995 - Vintage