✦ LIBER ✦

Theory of stability regions for a class of nonhyperbolic dynamical systems and its application to constraint satisfaction problems

✍ Scribed by Jaewook Lee; Hsiao-Dong Chiang

Book ID: 111675812
Publisher: IEEE
Year: 2002
Tongue: English
Weight: 343 KB
Volume: 49
Category: Article
ISSN: 1057-7122
DOI: 10.1109/81.983867

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Stability region for a class of open-loo

Stability region for a class of open-loop unstable linear systems: Theory and application

✍ L. Scibile; B. Kouvaritakis 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 473 KB

Successive approximation technique for a

Successive approximation technique for a class of large-scale NLP problems and its application to dynamic programming

✍ Z. Q. Zuo; C. P. Wu 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 587 KB

A variational method for a generalized c

A variational method for a generalized class of functionals and its application to problems of aeromechanics

✍ A. I. Bunimovich; A. V. Dubinskii 📂 Article 📅 1975 🏛 Springer 🌐 English ⚖ 430 KB

Theory of stability and regularization o

Theory of stability and regularization of difference schemes and its application to ill-posed problems of mathematical physics

✍ Aleksander A. Samarskii 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 966 KB

A new model transformation method and it

A new model transformation method and its application to extending a class of stability criteria of neutral type systems

✍ Quan Quan; Dedong Yang; Hai Hu; Kai-Yuan Cai 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 362 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2010 Volume 6175 || A System for Solving Constraint Satisfaction Problems with SMT

✍ Strichman, Ofer; Szeider, Stefan 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 134 KB

Annotation. This Book Constitutes The Refereed Proceedings Of The 13th International Conference On Theory And Applications Of Satisfiability Testing, Sat 2010, Held In Edinburgh, Uk, In July 2010 As Part Of The Federated Logic Conference, Floc 2010. The 21 Revised Full Papers Presented Together With