3 search results - page 1 / 1 » Symbolic Computation of Recursion Operators for Nonlinear Di... |
CORR
2011
Springer
13 years 7 days ago
2011
Springer
MCS
2007
Springer
13 years 5 months ago
2007
Springer
Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those ...
SEKE
2010
Springer
13 years 3 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...