<--- Back to Details
First PageDocument Content
Economy / Computational science / Numerical analysis / Computer science / Validation / Electromagnetism / Quantitative analyst / Business
Date: 2015-02-13 04:01:05
Economy
Computational science
Numerical analysis
Computer science
Validation
Electromagnetism
Quantitative analyst
Business

Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification

Add to Reading List

Source URL: nsv2015.informatik.uni-freiburg.de

Download Document from Source Website

File Size: 1,72 MB

Share Document on Facebook

Similar Documents

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

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∗

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

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

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

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