1![Dynamics, numerical analysis, and some geometry Ludwig Gauckler ∗ Ernst Hairer † Dynamics, numerical analysis, and some geometry Ludwig Gauckler ∗ Ernst Hairer †](https://www.pdfsearch.io/img/c00fecb3620e659e76d6dcd7294240de.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-28 17:09:47
|
---|
2![Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France](https://www.pdfsearch.io/img/5bed8c44d9c7b185c0a268d0014f7a45.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2012-12-19 06:23:54
|
---|
3![A Study on Real-time Multibody Simulation with Contacts Carl Johan Gribel Numerical Analysis Lund Institute of Technology Supervisor: Prof. Claus F¨ A Study on Real-time Multibody Simulation with Contacts Carl Johan Gribel Numerical Analysis Lund Institute of Technology Supervisor: Prof. Claus F¨](https://www.pdfsearch.io/img/470acafb75980bcf60c30a8e521044af.jpg) | Add to Reading ListSource URL: fileadmin.cs.lth.seLanguage: English - Date: 2009-11-22 17:52:40
|
---|
4![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
|
---|
5![Numerical Analysis Group Internal ReportResults from a numerical evaluation of LANCELOT B Nicholas I. M. Gould Numerical Analysis Group Internal ReportResults from a numerical evaluation of LANCELOT B Nicholas I. M. Gould](https://www.pdfsearch.io/img/7ca3397c69a3544a3f4d94b901a403c7.jpg) | Add to Reading ListSource URL: www.numerical.rl.ac.ukLanguage: English - Date: 2013-12-02 06:58:46
|
---|
6![206 Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 2, 206–219 A seventh order numerical method for singular perturbed differential-difference equations with negative shift 206 Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 2, 206–219 A seventh order numerical method for singular perturbed differential-difference equations with negative shift](https://www.pdfsearch.io/img/4a6e2a89f6581e94ae033e05ebdd6452.jpg) | Add to Reading ListSource URL: www.lana.ltLanguage: English - Date: 2011-06-21 06:23:48
|
---|
7![POLITECNICO DI TORINO Numerical analysis of blasting: Explosion modeling, FEM code validation and application in explosive metal forming. Giacomo Bolla INTRODUCTION POLITECNICO DI TORINO Numerical analysis of blasting: Explosion modeling, FEM code validation and application in explosive metal forming. Giacomo Bolla INTRODUCTION](https://www.pdfsearch.io/img/e504d9d9eeb4d8edd65119373549f785.jpg) | Add to Reading ListSource URL: proceedings2015.caeconference.comLanguage: English - Date: 2015-11-17 04:11:27
|
---|
8![Motivation A combined abstract domain for lists Analysis of list-manipulating programs Static Analysis of List-Manipulating Programs via Bit-Vectors and Numerical Abstractions Motivation A combined abstract domain for lists Analysis of list-manipulating programs Static Analysis of List-Manipulating Programs via Bit-Vectors and Numerical Abstractions](https://www.pdfsearch.io/img/790af8aafb575f8706c51efa1153bfd6.jpg) | Add to Reading ListSource URL: lqchen.github.ioLanguage: English - Date: 2018-08-14 11:59:25
|
---|
9![On the Approximability of the Maximum Common Subgraph Problem Viggo Kann Department of Numerical Analysis and Computing Science Royal Institute of Technology SStockholm On the Approximability of the Maximum Common Subgraph Problem Viggo Kann Department of Numerical Analysis and Computing Science Royal Institute of Technology SStockholm](https://www.pdfsearch.io/img/b17f5fac27d6ea0072a8f4143cb4fe74.jpg) | Add to Reading ListSource URL: www.nada.kth.seLanguage: English - Date: 2006-06-03 18:31:12
|
---|
10![Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization Xueguang Wu ∗† Liqian Chen † Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization Xueguang Wu ∗† Liqian Chen †](https://www.pdfsearch.io/img/5274cc26625590b1324fa4c837c6b15f.jpg) | Add to Reading ListSource URL: lqchen.github.ioLanguage: English - Date: 2018-08-14 11:59:25
|
---|