3482 search results - page 58 / 697 » In Praise of Numerical Computation |
CDC
2010
IEEE
13 years 17 days ago
2010
IEEE
— This paper considers the problem of verifying stability of large-scale nonlinear dynamical systems. Using a comparison principle approach we present a numerical method of estim...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
It is well known that antipodal grasps can be achieved on curved objects in the presence of friction. This paper presents an efficient algorithm that finds, up to numerical reso...
SQJ
2010
13 years 3 months ago
2010
The identification of occurrences of design patterns in programs can help maintainers to understand the program design and implementation. It can also help them to make informed ch...
ISSAC
2001
Springer
14 years 1 months ago
2001
Springer
Backward and mixed chains of recurrences are introduced. A complete set of chains of recurrences manipulation tools is described. Applications of these tools, related to the safet...
TAPIA
2005
ACM
14 years 2 months ago
2005
ACM
We present a numerical study for two systems of conservation laws using a spacetime discontinuous Galerkin (SDG) method with causal spacetime triangulations and the piecewise cons...