1![Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification](https://www.pdfsearch.io/img/09e0d7bdedac748bf9c5187ae8dc0760.jpg) | Add to Reading ListSource URL: nsv2015.informatik.uni-freiburg.deLanguage: English - Date: 2015-02-13 04:01:05
|
---|
2![Numerical quality: an industrial case study on code_aster Numerical Software Veri
cation Numerical quality: an industrial case study on code_aster Numerical Software Veri
cation](https://www.pdfsearch.io/img/b34dd6fb7f97c780346fd9d42d002dff.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-27 09:38:49
|
---|
3![Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France](https://www.pdfsearch.io/img/f862a08768251031f7cd625f7f213786.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:12
|
---|
4![Downloaded by [the Bodleian Libraries of the University of Oxford] at 00:41 03 NovemberOptimization Methods & Software iFirst, 2011, 1–23 Evaluation complexity of adaptive cubic regularization methods Downloaded by [the Bodleian Libraries of the University of Oxford] at 00:41 03 NovemberOptimization Methods & Software iFirst, 2011, 1–23 Evaluation complexity of adaptive cubic regularization methods](https://www.pdfsearch.io/img/78f1d43cff382e3e66739cbb800c0659.jpg) | Add to Reading ListSource URL: www.numerical.rl.ac.ukLanguage: English - Date: 2013-12-02 06:48:03
|
---|
5![User’s Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG October 12, 2001 Revised March 9, 2002 User’s Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG October 12, 2001 Revised March 9, 2002](https://www.pdfsearch.io/img/1ee91863d517747cc361503bf931bb73.jpg) | Add to Reading ListSource URL: www.jcprg.orgLanguage: English - Date: 2007-03-21 06:27:04
|
---|
6![Installation Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG ∗ Installation Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG ∗](https://www.pdfsearch.io/img/bd4f6414880882f69deb89c64a3bd257.jpg) | Add to Reading ListSource URL: www.jcprg.orgLanguage: English - Date: 2007-03-21 06:27:04
|
---|
7![8 Towards a Compiler for Reals1 EVA DARULOVA2 , Max Planck Institute for Software Systems VIKTOR KUNCAK3 , Ecole Polytechnique Federale de Lausanne Numerical software, common in scientific computing or embedded systems, 8 Towards a Compiler for Reals1 EVA DARULOVA2 , Max Planck Institute for Software Systems VIKTOR KUNCAK3 , Ecole Polytechnique Federale de Lausanne Numerical software, common in scientific computing or embedded systems,](https://www.pdfsearch.io/img/a29385bc6210e59d41d42121fdc1dbb1.jpg) | Add to Reading ListSource URL: lara.epfl.ch- Date: 2017-05-16 05:28:09
|
---|
8![J OB D ESCRIPTION Numerical Algorithms Software Engineer Palo Alto, CA THE COMPANY AERION CORPORATION, headquartered in Reno, Nevada, is seeking exceptionally talented, J OB D ESCRIPTION Numerical Algorithms Software Engineer Palo Alto, CA THE COMPANY AERION CORPORATION, headquartered in Reno, Nevada, is seeking exceptionally talented,](https://www.pdfsearch.io/img/393e02791c31b801b36b8a8dd9a76a60.jpg) | Add to Reading ListSource URL: www.aerionsupersonic.com- Date: 2015-10-26 17:57:50
|
---|
9![Collaborative WRF-based research and education with reproducible numerical weather prediction enabled by software containers Josh Hacker, John Exby, Dave Gill National Center for Atmospheric Research Collaborative WRF-based research and education with reproducible numerical weather prediction enabled by software containers Josh Hacker, John Exby, Dave Gill National Center for Atmospheric Research](https://www.pdfsearch.io/img/94b1159cbed87789d234024ed54db59a.jpg) | Add to Reading ListSource URL: www2.mmm.ucar.edu- Date: 2016-07-01 14:03:00
|
---|
10![Microsoft PowerPoint - lacsi-sans-1006 Microsoft PowerPoint - lacsi-sans-1006](https://www.pdfsearch.io/img/300cb4871f588c20a4d53c2cc22a127d.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2006-10-18 14:13:23
|
---|