Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1

First Page		Document Content
Date: 2017-11-14 22:52:13 Computational fluid dynamics Modeling and simulation ADCIRC Computational science Physical oceanography Data parallelism Numerical modeling Conceptual model Application software Applied mathematics		Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1 Add to Reading List Source URL: correctness-workshop.github.io Download Document from Source Website File Size: 3,45 MB 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