{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T20:46:46Z","timestamp":1648586806283},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,6,29]],"date-time":"2006-06-29T00:00:00Z","timestamp":1151539200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Glob Optim"],"published-print":{"date-parts":[[2007,1,4]]},"DOI":"10.1007\/s10898-006-9043-y","type":"journal-article","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T08:10:59Z","timestamp":1151482259000},"page":"177-194","source":"Crossref","is-referenced-by-count":2,"title":["Symbolic Interval Inference Approach for Subdivision Direction Selection in Interval Partitioning Algorithms"],"prefix":"10.1007","volume":"37","author":[{"given":"Chandra Sekhar","family":"Pedamallu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linet","family":"\u00d6zdamar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tibor","family":"Csendes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,29]]},"reference":[{"key":"9043_CR1","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/BF02252252","volume":"57","author":"S. Berner","year":"1996","unstructured":"Berner S. (1996). New results on verified global optimization. Computing 57:323\u2013343","journal-title":"Computing"},{"key":"9043_CR2","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF01581266","volume":"58","author":"L. Breiman","year":"1993","unstructured":"Breiman L., Cutler A. (1993). A deterministic algorithm for global optimization. Math. Program. 58:179\u2013199","journal-title":"Math. Program."},{"key":"9043_CR3","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1023\/A:1011220023072","volume":"19","author":"L.G. Casado","year":"2001","unstructured":"Casado L.G., Martinez J.A., Garc\u00eda I. (2001). Experiments with a new selection criterion in a fast interval optimization algorithm. J. Global Optimiz. 19:247\u2013264","journal-title":"J. Global Optimiz."},{"key":"9043_CR4","first-page":"127","volume":"1930","author":"M. Ceberio","year":"2000","unstructured":"Ceberio M., Granvilliers L. (2000). Solving nonlinear systems by constraint inversion and interval arithmetic. Lecture Note Arti. Intell. 1930:127\u2013141","journal-title":"Lecture Note Arti. Intell."},{"key":"9043_CR5","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1023\/A:1008354711345","volume":"16","author":"A.E. Csallner","year":"2000a","unstructured":"Csallner A.E., Csendes T., Mark\u00f3t M.Cs. (2000a). Multi-section in interval branch and bound methods for global optimization I. Numerical Tests. J. Global Optimiz. 16:219\u2013228","journal-title":"J. Global Optimiz."},{"key":"9043_CR6","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1023\/A:1008354711345","volume":"16","author":"A.E. Csallner","year":"2000b","unstructured":"Csallner A.E., Csendes T., Mark\u00f3t M.Cs. (2000b). Multi-section in interval branch and bound methods for global optimization II Theoretical Results. J. Global Optimiz. 16:371\u2013392","journal-title":"J. Global Optimiz."},{"key":"9043_CR7","first-page":"225","volume":"8","author":"T. Csendes","year":"2000","unstructured":"Csendes T., Klatte R., Ratz D. (2000). A Posteriori Direction Selection rules for interval optimization methods. Central Eur. J. Operation Res. 8:225\u2013236","journal-title":"Central Eur. J. Operation Res."},{"key":"9043_CR8","first-page":"319","volume":"76","author":"T. Csendes","year":"1996","unstructured":"Csendes T., Ratz D. (1996). A review of subdivision selection in interval methods for global optimization. ZAMM Z. Angew. Math. Mech. 76:319\u2013322","journal-title":"ZAMM Z. Angew. Math. Mech."},{"key":"9043_CR9","doi-asserted-by":"crossref","first-page":"922","DOI":"10.1137\/S0036142995281528","volume":"34","author":"T. Csendes","year":"1997","unstructured":"Csendes T., Ratz D. (1997). Subdivision direction selection in interval methods for global optimization. SIAM J. Numer. Anal. 34:922\u2013938","journal-title":"SIAM J. Numer. Anal."},{"key":"9043_CR10","volume-title":"An analysis of the behaviour of a class of genetic adaptive systems","author":"K. De Jong","year":"1975","unstructured":"De Jong K. (1975). An analysis of the behaviour of a class of genetic adaptive systems. PhD Thesis, University of Michigan, Ann Arbor"},{"key":"9043_CR11","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.cam.2003.08.022","volume":"162","author":"L. Granvilliers","year":"2004","unstructured":"Granvilliers L. (2004). An interval component for continuous constraints. J. Comput. Appl. Math. 162:79\u201392","journal-title":"J. Comput. Appl. Math."},{"key":"9043_CR12","doi-asserted-by":"crossref","unstructured":"Granvilliers, L., Monfroy, E., Benhamou, F.: Symbolic-interval cooperation in constraint programming. Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation. London, Canada (2001)","DOI":"10.1145\/384101.384123"},{"key":"9043_CR13","unstructured":"Hammer, R., Hocks, M., Kulish, U., Ratz, D.: Numerical Toolbox for Verified computing I Berlin (1993)."},{"key":"9043_CR14","volume-title":"Global optimization using interval analysis","author":"E. Hansen","year":"1992","unstructured":"Hansen E. (1992). Global optimization using interval analysis. Marcel Dekker, New York"},{"key":"9043_CR15","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF01279453","volume":"7","author":"C. Jansson","year":"1995","unstructured":"Jansson C., Kn\u00fcppel O. (1995). A branch and bound algorithm for bound constrained global optimization. J. Global Optimiz. 7:297\u2013331","journal-title":"J. Global Optimiz."},{"key":"9043_CR16","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF01404868","volume":"32","author":"B. Kearfott","year":"1979","unstructured":"Kearfott B. (1979). An efficient degree-computation method for a generalized method of bisection. Numeric. Math. 32:109\u2013127","journal-title":"Numeric. Math."},{"key":"9043_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-3440-8","volume-title":"Applications of Interval Computations, Applied Optimization","author":"B. Kearfott","year":"1996","unstructured":"Kearfott B., Kreinovich V. (1996). Applications of Interval Computations, Applied Optimization. Kluwer, Dordrecht, The Netherlands"},{"key":"9043_CR18","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF02307379","volume":"53","author":"O. Kn\u00fcppel","year":"1994","unstructured":"Kn\u00fcppel O. (1994). PROFIL\/BIAS\u2014A fast interval library. Computing 53:277\u2013287","journal-title":"Computing"},{"key":"9043_CR19","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/BFb0092957","volume":"909","author":"A.V. Levy","year":"1982","unstructured":"Levy A.V., Montalvo A., Gomez S., Calderon A. (1982). Topics in global optimization. Lecture Note. Math. 909:18\u201333","journal-title":"Lecture Note. Math."},{"key":"9043_CR20","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0743-1066(98)10007-9","volume":"37","author":"O. Lhomme","year":"1998","unstructured":"Lhomme O., Gotlieb A., Rueher M. (1998). Dynamic optimization of interval narrowing algorithms. J. Logic Program. 37:165\u2013183","journal-title":"J. Logic Program."},{"key":"9043_CR21","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore R.E. (1966). Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"9043_CR22","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/355934.355936","volume":"7","author":"J.J. Mor\u00e9","year":"1981","unstructured":"Mor\u00e9 J.J., Garbow B.S., Hillstrom K.E. (1981). Testing unconstrained optimization software. ACM Trans. Math. Software 7:17\u201341","journal-title":"ACM Trans. Math. Software"},{"key":"9043_CR23","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations, Encyclopedia of Mathematics and its Applications, 37. Cambridge University Press, Cambridge (1990)"},{"key":"9043_CR24","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0305-0548(99)00054-4","volume":"27","author":"L. \u00d6zdamar","year":"2000","unstructured":"\u00d6zdamar L., Demirhan M. (2000). Experiments with new probabilistic search methods in global optimization. Comput. Operations Res. 27:841\u2013865","journal-title":"Comput. Operations Res."},{"key":"9043_CR25","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF01580907","volume":"56","author":"J. Pint\u00e9r","year":"1992","unstructured":"Pint\u00e9r J. (1992). Convergence qualification of adaptive partitioning algorithms in global optimization. Math. Program. 56:343\u2013360","journal-title":"Math. Program."},{"key":"9043_CR26","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1007\/978-1-4615-2025-2_14","volume-title":"Handbook of Global Optimization","author":"H. Ratschek","year":"1995","unstructured":"Ratschek H., Rokne J. (1995). Interval methods. In: Horst R., Pardalos P.M. (eds) Handbook of Global Optimization. Kluwer, Dordrecht, pp 751\u2013828"},{"key":"9043_CR27","volume-title":"New Computer Methods for Global Optimization","author":"H. Ratschek","year":"1988","unstructured":"Ratschek H., Rokne J. (1988). New Computer Methods for Global Optimization. John Wiley, New York"},{"key":"9043_CR28","volume-title":"Automatische Ergebnisverifikation bei globalen Optimierungsproblemen","author":"D. Ratz","year":"1992","unstructured":"Ratz D. (1992). Automatische Ergebnisverifikation bei globalen Optimierungsproblemen. Dissertation, Universit\u00e4t Karlsruhe, Germany"},{"key":"9043_CR29","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF01097060","volume":"7","author":"D. Ratz","year":"1995","unstructured":"Ratz D., Csendes T. (1995). On the selection of subdivision directions in Interval Branch-and-Bound Methods for Global Optimization. J. Global Optimiz. 7:183\u2013207","journal-title":"J. Global Optimiz."},{"key":"9043_CR30","volume-title":"State-Space and Multivariable Theory","author":"H.H. Rosenbrock","year":"1970","unstructured":"Rosenbrock H.H. (1970). State-Space and Multivariable Theory. Wiley, New York"},{"key":"9043_CR31","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF00143879","volume":"1","author":"D. Sam-Haroud","year":"1996","unstructured":"Sam-Haroud D., Faltings B. (1996). Consistency techniques for continuous constraints. Constraints 1:85\u2013118","journal-title":"Constraints"},{"key":"9043_CR32","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s10898-005-0937-x","volume":"33","author":"H. Schichl","year":"2005","unstructured":"Schichl H., Neumaier A. (2005). Interval analysis on directed acyclic graphs for global optimization. J. Global Optimiz. 33:541\u2013562","journal-title":"J. Global Optimiz."},{"key":"9043_CR33","doi-asserted-by":"crossref","unstructured":"Schittkowski, K.: More Test Examples for Nonlinear Programming Codes. Lecture Notes in Economics and Mathematical Systems, vol. 282. Springer-Verlag, Berlin (1987)","DOI":"10.1007\/978-3-642-61582-5"},{"key":"9043_CR34","volume-title":"Numerical Optimization of Computer Models","author":"H.P. Schwefel","year":"1981","unstructured":"Schwefel H.P. (1981). Numerical Optimization of Computer Models. Wiley, New York"},{"key":"9043_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-50871-6","volume-title":"Global Optimization","author":"A. T\u00f6rn","year":"1989","unstructured":"T\u00f6rn A., \u017dilinskas A. (1989). Global Optimization. Lecture Notes in Computer Science, vol. 350. Springer-Verlag, Berlin"}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-006-9043-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10898-006-9043-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-006-9043-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T12:12:05Z","timestamp":1559304725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10898-006-9043-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,29]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,1,4]]}},"alternative-id":["9043"],"URL":"https:\/\/doi.org\/10.1007\/s10898-006-9043-y","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6,29]]}}}