{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T05:39:26Z","timestamp":1737956366588,"version":"3.33.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T00:00:00Z","timestamp":1196467200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1007\/s11155-007-9046-5","type":"journal-article","created":{"date-parts":[[2008,2,4]],"date-time":"2008-02-04T19:22:00Z","timestamp":1202152920000},"page":"445-466","source":"Crossref","is-referenced-by-count":3,"title":["Determining the Positive Definiteness Margin of Interval Matrices"],"prefix":"10.1007","volume":"13","author":[{"given":"Lubomir V.","family":"Kolev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,2,5]]},"reference":[{"key":"9046_CR1","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF02238302","volume":"46","author":"C. Jansson","year":"1991","unstructured":"Jansson C. (1991) Interval Linear Systems with Symmetric Matrices, Skew-Symmetric Matrices and Dependencies in the Right Hand Side. Computing 46:265\u2013274","journal-title":"Computing"},{"issue":"3","key":"9046_CR2","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1137\/S0895479896313978","volume":"20","author":"C. Jansson","year":"1999","unstructured":"Jansson C., Rohn J. (1999) An Algorithm for Checking Regularity of Interval Matrices. SIAM J. Matrix Anal. Appl. 20(3):756\u2013776","journal-title":"SIAM J. Matrix Anal. Appl."},{"key":"9046_CR3","doi-asserted-by":"crossref","DOI":"10.1142\/2039","volume-title":"Interval Methods for Circuit Analysis","author":"L. Kolev","year":"1993","unstructured":"Kolev L. (1993) Interval Methods for Circuit Analysis. World Scientific, Singapore, New Jersey, London"},{"unstructured":"Kolev, L.: Methods for Checking the Positive Definiteness of Interval Matrices\u2014Part One, in: Proceedings of the VIII Int. Symposium on Theoretical Electrical Engineering (ISTET-2005), July 4\u20137, Lviv, pp. 272\u2013275.","key":"9046_CR4"},{"unstructured":"Kolev, L.: Methods for Checking the Positive Definiteness of Interval Matrices\u2014Part Two, in: Proceedings of the VIII Int. Symposium on Theoretical Electrical Engineering (ISTET-2005), July 4\u20137, Lviv, pp. 276\u2013279.","key":"9046_CR5"},{"issue":"2","key":"9046_CR6","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s11155-006-4875-1","volume":"12","author":"L. Kolev","year":"2006","unstructured":"Kolev L. (2006) Outer Interval Solution of the Eigenvalue Problem under General Form Parameter Dependency. Reliable Computing 12(2):121\u2013140","journal-title":"Reliable Computing"},{"unstructured":"Kolev, L., Filipova-Petrakieva, S., and Vrabchev, N.: Outer Bounds on the Real Eingenvalues of Interval Matrices, in: Proc. of the ISTET-2001, Linz, 19\u201322 August, 2001, pp. 383\u2013386.","key":"9046_CR7"},{"issue":"3","key":"9046_CR8","first-page":"393","volume":"50","author":"L. Kolev","year":"2005","unstructured":"Kolev L., Patrakieva S. (2005) Assessing the Stability of Linear Time-Invariant Continuous Interval Dynamic Systems. Trans. of IEEE 50(3):393\u2013397","journal-title":"Trans. of IEEE"},{"doi-asserted-by":"crossref","unstructured":"Kolev, L., Petrakieva, S., and Mladenov, V.: Interval Criterion for Stability Analysis of Discrete-Time Neural Networks with Partial State Saturation Nonlinearities, in: Proceedings of the 7th Seminar on Neural Network Applications in Electrical Engineering, NEUREL-2004, September 23\u201325, 2004, Belgrade, pp. 11\u201317.","key":"9046_CR9","DOI":"10.1109\/NEUREL.2004.1416520"},{"key":"9046_CR10","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R. Moore","year":"1979","unstructured":"Moore R. (1979) Methods and Applications of Interval Analysis. SIAM, Philadelphia"},{"unstructured":"Nenov, I., Fylstra, D., and Kolev, L.: Convexity Determination in the Microsoft Excel Solver Using Automatic Differentiation Techniques, in: Fourth Int. Conf. on Automatic Differentiation, July 20\u201323, Chicago, 2004.","key":"9046_CR11"},{"doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Complete Search in Continuous Global Optimization and Constraint Satisfaction, in: Iserles, A. (ed.), Acta Numerica 2004, Cambridge University Press, 2004.","key":"9046_CR12","DOI":"10.1017\/CBO9780511569975.004"},{"key":"9046_CR13","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/9.481618","volume":"41","author":"J. Rohn","year":"1966","unstructured":"Rohn J. (1966) An Algorithm for Checking Stability of Symmetric Interval Matrices. IEEE Trans. on Automatic Control 41:133\u2013136","journal-title":"IEEE Trans. on Automatic Control"},{"key":"9046_CR14","first-page":"795","volume":"35","author":"J. Rohn","year":"1994","unstructured":"Rohn J. (1994) Checking Positive Definiteness or Stability of Symmetric Interval Matrices Is NP-Hard. Commentat. Math. Univ. Carol. 35:795\u2013797","journal-title":"Commentat. Math. Univ. Carol."},{"key":"9046_CR15","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1137\/S0895479891219216","volume":"15","author":"J. Rohn","year":"1994","unstructured":"Rohn J. (1994) Positive Definiteness and Stability of Interval Martices. SIAM J. Matrix Anal. App. 15:175\u2013184","journal-title":"SIAM J. Matrix Anal. App."},{"key":"9046_CR16","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF02239750","volume":"42","author":"S.M. Rump","year":"1989","unstructured":"Rump S.M. (1989) Guaranteed Inclusions for the Complex Generalized Eigenproblem. Computing 42:225\u2013238","journal-title":"Computing"},{"key":"9046_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"S.M. Rump","year":"1999","unstructured":"Rump S.M. (1999) INTLAB-INTerval LABoratory. In: Tibor Csendes (ed). Developments in Reliable Computing. Kluwer Academic Publishers, Dordrecht, Netherlands, pp. 77\u2013105"},{"key":"9046_CR18","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/s10543-006-0056-1","volume":"46","author":"S.M. Rump","year":"2006","unstructured":"Rump S.M. (2006) Verification of Positive Definiteness. BIT Numerucal Mathematics 46:433\u2013452","journal-title":"BIT Numerucal Mathematics"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-007-9046-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11155-007-9046-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-007-9046-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,26]],"date-time":"2025-01-26T18:20:55Z","timestamp":1737915655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11155-007-9046-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2007,12]]}},"alternative-id":["9046"],"URL":"https:\/\/doi.org\/10.1007\/s11155-007-9046-5","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[2007,12]]}}}