Sciweavers

3482 search results - page 34 / 697
» In Praise of Numerical Computation
Sort
View
AMC
2006
94views more  AMC 2006»
13 years 9 months ago
Error analysis of a specialized numerical method for mathematical models from neuroscience
The exponential Euler method is a nonstandard approximation scheme that was developed specifically for the Hodgkin-Huxley differential equation models that arise in neuroscience a...
Jiyeon Oh, Donald A. French
COMGEO
2010
ACM
13 years 9 months ago
Exact join detection for convex polyhedra and other numerical abstractions
r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Book
1702views
15 years 6 months ago
Numerical Methods with Applications
"Mathematical models are an integral part in solving engineering problems. Many times, these mathematical models are derived from engineering and science principles, while at ...
Autar K Kaw, Egwu E Kalu
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
14 years 3 months ago
Sensitivity analysis and computational uncertainty with applications to control of nonlinear parabolic partial differential equa
— In this paper we illustrate how sensitivities can be used to provide a practical precursor to dynamic transitions and numerical uncertainty in parameterized nonlinear parabolic...
John A. Burns, Lisa G. Davis
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
14 years 28 days ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi