<--- Back to Details
First PageDocument Content
Computational fluid dynamics / Modeling and simulation / ADCIRC / Computational science / Physical oceanography / Data parallelism / Numerical modeling / Conceptual model / Application software / Applied mathematics
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

Similar Documents

Computing / Computational science / GESIS  Leibniz Institute for the Social Sciences / Leibniz Association / Knowledge / Electromagnetism / Social computing / Computer science / Computational social science / Social science / Big data / Science

Computational Social Science for the World Wide Web (CSSW3) Ingmar Weber Claudia Wagner

DocID: 1xUCa - View Document

Theoretical computer science / Theory of computation / Computability theory / Mathematics / Turing machine / Alan Turing / Models of computation / Ambient calculus / Turing completeness / Halting problem / Computability / Reduction

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

Computational linguistics / Linguistics / Natural language processing / Applied linguistics / Semantics / Computational science / Artificial neural networks / Speech recognition / Sentiment analysis / SemEval / Word embedding / Word-sense disambiguation

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