The Ambiguity of Simplicity

First Page		Document Content
Date: 2016-03-08 15:28:03 Physics Quantum mechanics Statistical mechanics Quantum information science Spin model Quantum computing Ising model Entropy Quantum entanglement Introduction to quantum mechanics Causal sets Quantum annealing		The Ambiguity of Simplicity Add to Reading List Source URL: www.santafe.edu Download Document from Source Website File Size: 745,22 KB Share Document on Facebook

	Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich DocID: 1xVPm - View Document
	Model Checking DSL-Generated C Source Code Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de Abstract. We report on the application of SPIN for model-che DocID: 1tO6n - View Document
	Parallelizing the Spin Model Checker Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA DocID: 1sVQt - View Document
	Monte Carlo Methods for Quantum Spin Models Stefan Wessel Institute for Theoretical Solid State Physics JARA-FIT and JARA-HPC RWTH Aachen University DocID: 1qW7w - View Document