1![Verified Computations Using Taylor Models and Their Applications Kyoko Makino and Martin Berz Department of Physics and Astronomy Michigan State University Verified Computations Using Taylor Models and Their Applications Kyoko Makino and Martin Berz Department of Physics and Astronomy Michigan State University](https://www.pdfsearch.io/img/f4cc941422e39d383264ca90748f85fc.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-24 10:20:49
|
---|
2![FOR RELEASE MAY 14, 2018 BY Amy Mitchell, Katie Simmons, Katerina Eva Matsa, Laura Silver, Elisa Shearer, Courtney Johnson, Mason Walker and Kyle Taylor FOR RELEASE MAY 14, 2018 BY Amy Mitchell, Katie Simmons, Katerina Eva Matsa, Laura Silver, Elisa Shearer, Courtney Johnson, Mason Walker and Kyle Taylor](https://www.pdfsearch.io/img/8694a18a4a335080208984b0001a4566.jpg) | Add to Reading ListSource URL: www.journalism.orgLanguage: English - Date: 2018-09-13 15:12:21
|
---|
3![Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University](https://www.pdfsearch.io/img/9a04335d7a92dd2037dde916d3fb1703.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-24 10:20:50
|
---|
4![Introduction Taylor model arithmetic using floating-point arithmetic Getting even more accuracy Conclusion Diddl - Goletz Introduction Taylor model arithmetic using floating-point arithmetic Getting even more accuracy Conclusion Diddl - Goletz](https://www.pdfsearch.io/img/15542864584d927f52785227a9efe3b7.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2007-07-27 03:54:27
|
---|
5![A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1 A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1](https://www.pdfsearch.io/img/15a02893aeecd20434f731b6b248826b.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-23 02:52:18
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: webinars.baker-taylor.com- Date: 2014-05-14 09:41:11
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: burton-taylor.com- Date: 2015-07-28 23:15:24
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: baker-taylor.com- Date: 2009-06-08 11:35:41
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: taylor.schooldesk.net- Date: 2018-01-21 01:59:49
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.baker-taylor.com- Date: 2018-05-09 13:17:48
|
---|