The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA

First Page		Document Content
Date: 2010-07-21 10:31:15 Parallel computing Computing Computer engineering Computer science Electrical engineering Electronic engineering Electromagnetism Message Passing Interface Model checking Computer programming Computational science Simulation		The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 998,62 KB Share Document on Facebook

	Computational Social Science for the World Wide Web (CSSW3) Ingmar Weber Claudia Wagner DocID: 1xUCa - View Document
	Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗ DocID: 1xUAX - View Document
	Inducing Domain-Specific Sentiment Lexicons from Unlabeled Corpora Abstract A word’s sentiment depends on the domain in which it is used. Computational social science research thus requires sentiment lexicons that DocID: 1xUpS - View Document
	Multi-source annotation projection of coreference chains: assessing strategies and testing opportunities Yulia Grishina and Manfred Stede Applied Computational Linguistics FSP Cognitive Science University of Potsdam DocID: 1vrep - View Document
	Computational Imaging of Light in Flight Matthias B. Hullin Institute of Computer Science II, University of Bonn, Regina-Pacis-Weg 3, 53113 Bonn, Germany This is an author-prepared version (Sections 3 and 4 revised and e DocID: 1vqBM - View Document