32 search results - page 7 / 7 » An Extended Semidefinite Relaxation for Satisfiability |
HYBRID
2010
Springer
14 years 6 days ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
PKC
2004
Springer
13 years 10 months ago
2004
Springer
In a practical system, a message is often encrypted more than once by different encryptions, here called multiple encryption, to enhance its security. Additionally, new features ...