3614 search results - page 189 / 723 » Numerical Computing with MATLAB |
171
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
126
click to vote
ISCAS
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents an analysis technique that can be used to compute the harmonic and intermodulation distortion levels of a sampled-data circuit directly from a SPICE transient ...
180
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
168
Voted
IJCAI
2003
15 years 7 months ago
2003
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
168
click to vote
ADCM
2007
15 years 6 months ago
2007
Given an arbitrary finite sequence of vectors in a finite–dimensional Hilbert space, we describe an algorithm, which computes a Parseval frame for the subspace generated by the...