{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:02:14Z","timestamp":1761580934996},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s00607-011-0173-9","type":"journal-article","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T22:48:44Z","timestamp":1321915724000},"page":"271-280","source":"Crossref","is-referenced-by-count":6,"title":["A class of problems that can be solved using interval algorithms"],"prefix":"10.1007","volume":"94","author":[{"given":"Bart\u0142omiej Jacek","family":"Kubica","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,23]]},"reference":[{"key":"173_CR1","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1002\/mana.19981920103","volume":"192","author":"G Alefeld","year":"1998","unstructured":"Alefeld G, Kreinovich V, Mayer G (1998) The shape of the solution set for systems of interval linear equations with dependent coefficients. Math Nachr 192: 23\u201336","journal-title":"Math Nachr"},{"key":"173_CR2","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s11155-006-4872-4","volume":"12","author":"T Beelitz","year":"2006","unstructured":"Beelitz T, Lang B, Bischof CH (2006) Efficient task scheduling in the parallel result-verifying solution of nonlinear systems. Reliab Comput 12: 141\u2013151","journal-title":"Reliab Comput"},{"key":"173_CR3","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"2009","unstructured":"Cormen TH, Leiserson CE, Rivest RL, Stein C (2009) Introduction to algorithms. MIT Press, Cambridge"},{"key":"173_CR4","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/s10898-006-9132-y","volume":"38","author":"J Fernandez","year":"2007","unstructured":"Fernandez J, Toth B (2007) Obtaining an outer approximation of the efficient set of nonlinear biobjective problems. J Glob Optim 38: 315\u2013331","journal-title":"J Glob Optim"},{"key":"173_CR5","doi-asserted-by":"crossref","unstructured":"Goualard F (2005) On considering an interval constraint solving algorithm as a free-steering nonlinear Gauss-Seidel procedure. In: SAC\u201905 proceedings of the 2005 ACM symposium on applied computing, ACM, New York","DOI":"10.1145\/1066677.1067004"},{"key":"173_CR6","volume-title":"Global optimization using interval analysis","author":"E Hansen","year":"2004","unstructured":"Hansen E, Walster W (2004) Global optimization using interval analysis. Marcel Dekker, New York"},{"key":"173_CR7","unstructured":"Intel threading building blocks. http:\/\/www.threadingbuildingblocks.org"},{"key":"173_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied interval analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin L, Kieffer M, Didrit O, Walter E (2001) Applied interval analysis. Springer, London"},{"key":"173_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous global search: continuous problems","author":"RB Kearfott","year":"1996","unstructured":"Kearfott RB (1996) Rigorous global search: continuous problems. Kluwer, Dordrecht"},{"key":"173_CR10","unstructured":"Kearfott RB, Nakao MT, Neumaier A, Rump SM, Shary SP, van Hentenryck P (2002) Standardized notation in interval analysis. http:\/\/www.mat.univie.ac.at\/~neum\/software\/int\/notation.ps.gz"},{"key":"173_CR11","first-page":"2657","volume":"16","author":"V Kreinovich","year":"2010","unstructured":"Kreinovich V, Kubica BJ (2010) From computing sets of optima, Pareto sets and sets of Nash equilibria to general decision-related set computations. J Univers Comput Sci 16: 2657\u20132685","journal-title":"J Univers Comput Sci"},{"issue":"3","key":"173_CR12","first-page":"207","volume":"15","author":"BJ Kubica","year":"2011","unstructured":"Kubica BJ (2011) Interval methods for solving underdetermined nonlinear equations systems 2008. SCAN 2008 proceedings. Reliab Comput 15(3): 207\u2013217","journal-title":"Reliab Comput"},{"key":"173_CR13","first-page":"1382","volume":"4967","author":"BJ Kubica","year":"2008","unstructured":"Kubica BJ, Wo\u017aniak A (2008) Interval methods for computing the Pareto-front of a multicriterial problem. PPAM 2007 proceedings. LNCS 4967: 1382\u20131391","journal-title":"LNCS"},{"key":"173_CR14","unstructured":"Kubica BJ, Wo\u017aniak A (2012) A multi-threaded interval algorithm for the Pareto-front computation in a multi-core environment. Presented at PARA 2008 conference, accepted for publication in LNCS 6126"},{"key":"173_CR15","first-page":"103","volume":"165","author":"BJ Kubica","year":"2008","unstructured":"Kubica BJ (2008) Can interval computations be applied over spaces of non-numbers?. Prace Naukowe Politechniki Warszawskiej. Elektronika 165: 103\u2013112","journal-title":"Prace Naukowe Politechniki Warszawskiej. Elektronika"},{"key":"173_CR16","first-page":"121","volume":"169","author":"BJ Kubica","year":"2009","unstructured":"Kubica BJ (2009) Shared-memory parallelization of an interval equations systems solver\u2014comparison of tools. Prace Naukowe Politechniki Warszawskiej. Elektronika 169: 121\u2013128","journal-title":"Prace Naukowe Politechniki Warszawskiej. Elektronika"},{"key":"173_CR17","unstructured":"Kubica BJ (2009) Intel TBB as a tool for parallelization of an interval solver of nonlinear equations systems. ICCE internal report no 09-02"},{"key":"173_CR18","unstructured":"Kubica BJ, Wo\u017aniak A (2010) Using the second-order information in Pareto-set computations of a multi-criteria problem. Presented at PARA 2010 conference, accepted for publication in LNCS"},{"key":"173_CR19","first-page":"446","volume":"6068","author":"BJ Kubica","year":"2010","unstructured":"Kubica BJ, Wo\u017aniak A (2010) An interval method for seeking the Nash equilibria of non-cooperative games. PPAM 2009 proceedings. LNCS 6068: 446\u2013455","journal-title":"LNCS"},{"key":"173_CR20","unstructured":"Kubica BJ, Wo\u017aniak A (2010) Computing Pareto sets of multicriteria problems using interval methods. Presented at SCAN 2010 conference"},{"key":"173_CR21","unstructured":"Moir M, Shavit N (2007) Concurrent data structures. http:\/\/www.cs.tau.ac.il\/~shanir\/concurrent-data-structures.pdf"},{"key":"173_CR22","first-page":"181","volume":"2385","author":"S Ratschan","year":"2002","unstructured":"Ratschan S (2002) Continuous first-order constraint satisfaction. LNCS 2385: 181\u2013195","journal-title":"LNCS"},{"key":"173_CR23","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1023\/A:1011428127620","volume":"7","author":"IA Sharaya","year":"2001","unstructured":"Sharaya IA (2001) On maximal inner estimation of the solution sets of linear systems with interval parameters. Reliab Comput 7: 409\u2013424","journal-title":"Reliab Comput"},{"issue":"1","key":"173_CR24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF02388185","volume":"2","author":"SP Shary","year":"1996","unstructured":"Shary SP (1996) Algebraic approach to the interval linear static identification, tolerance and control problems, or one more application of Kaucher arithmetic. Reliab Comput 2(1): 3\u201333","journal-title":"Reliab Comput"},{"key":"173_CR25","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1023\/A:1014754803382","volume":"7","author":"SP Shary","year":"2001","unstructured":"Shary SP (2001) A surprising approach in interval global optimization. Reliab Comput 7: 497\u2013505","journal-title":"Reliab Comput"},{"key":"173_CR26","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1023\/A:1020505620702","volume":"8","author":"SP Shary","year":"2002","unstructured":"Shary SP (2002) A new technique in systems analysis under interval uncertainty and ambiguity. Reliab Comput 8: 321\u2013418","journal-title":"Reliab Comput"},{"key":"173_CR27","unstructured":"Shary SP (2010) Konechnomiernyi Intiervalnyi Analiz. XYZ"},{"issue":"3","key":"173_CR28","doi-asserted-by":"crossref","first-page":"369","DOI":"10.2478\/v10006-009-0031-5","volume":"19","author":"BG Toth","year":"2009","unstructured":"Toth BG, Kreinovich V (2009) Verified methods for computing Pareto-sets: general algorithmic analysis. Int J Appl Math Comput Sci 19(3): 369\u2013380","journal-title":"Int J Appl Math Comput Sci"},{"key":"173_CR29","first-page":"176","volume":"4","author":"K Villaverde","year":"1993","unstructured":"Villaverde K, Kreinovich V (1993) A linear-time algorithm that locates local extrema of a function of one variable from interval measurement results. Interval Comput 4: 176\u2013194","journal-title":"Interval Comput"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s00607-011-0173-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T18:45:36Z","timestamp":1560969936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-011-0173-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,23]]},"references-count":29,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["173"],"URL":"https:\/\/doi.org\/10.1007\/s00607-011-0173-9","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,23]]}}}