{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T10:40:55Z","timestamp":1687689655702},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,8,18]],"date-time":"2012-08-18T00:00:00Z","timestamp":1345248000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10601-012-9126-y","type":"journal-article","created":{"date-parts":[[2012,8,17]],"date-time":"2012-08-17T13:46:49Z","timestamp":1345211209000},"page":"432-460","source":"Crossref","is-referenced-by-count":17,"title":["Interval-based projection method for under-constrained numerical systems"],"prefix":"10.1007","volume":"17","author":[{"given":"Daisuke","family":"Ishii","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Goldsztejn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Jermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,18]]},"reference":[{"key":"9126_CR1","doi-asserted-by":"crossref","unstructured":"Araya, I., Trombettoni, G., Neveu, B. (2010). Exploiting monotonicity in interval constraint propagation. In Proc. of AAAI\u201910.","DOI":"10.1609\/aaai.v24i1.7541"},{"issue":"1","key":"9126_CR2","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1023\/A:1009998515856","volume":"4","author":"M Beltran","year":"1998","unstructured":"Beltran, M., Castillo, G., Kreinovich, V. (1998). Algorithms that still produce a solution (maybe not optimal) even when interrupted: Shary\u2019s idea justified. Reliable Computing, 4(1), 39\u201353.","journal-title":"Reliable Computing"},{"key":"9126_CR3","unstructured":"Benhamou, F., McAllester, D., Van Hentenryck, P. (1994). CLP(intervals) revisited. In Proc. of Intl. Symp. on Logic Prog (pp. 124\u2013138). The MIT Press."},{"key":"9126_CR4","doi-asserted-by":"crossref","unstructured":"Collins, G.E. (1998). Quantifier elimination by cylindrical algebraic decomposition\u2014twenty years of progress. Quantifier Elimination and Cylindrical Algebraic Decomposition (pp.\u00a08\u201323).","DOI":"10.1007\/978-3-7091-9459-1_2"},{"key":"9126_CR5","doi-asserted-by":"crossref","unstructured":"Goldsztejn, A. (2006). A branch and prune algorithm for the approximation of non-linear ae-solution sets. In Proc. of ACM SAC 2006 (pp.\u00a01650\u20131654).","DOI":"10.1145\/1141277.1141665"},{"key":"9126_CR6","doi-asserted-by":"crossref","unstructured":"Goldsztejn, A., & Jaulin, L. (2006). Inner and outer approximations of existentially quantified equality constraints. In Proc. of CP\u201906, LNCS4204 (pp.\u00a0198\u2013212).","DOI":"10.1007\/11889205_16"},{"key":"9126_CR7","first-page":"1","volume":"14","author":"A Goldsztejn","year":"2010","unstructured":"Goldsztejn, A., & Jaulin, L. (2010). Inner approximation of the range of vector-valued functions. Reliable Computing, 14, 1\u201323.","journal-title":"Reliable Computing"},{"key":"9126_CR8","unstructured":"Goualard, F. (2008). Gaol: NOT just another interval library (version\u00a03.1.1). http:\/\/sourceforge.net\/projects\/gaol\/ . Accessed 3 Aug 2012"},{"key":"9126_CR9","unstructured":"Granvilliers, L. (2010). Realpaver (version 1.1). http:\/\/pagesperso.lina.univ-nantes.fr\/~granvilliers-l\/realpaver\/ . Accessed 3 Aug 2012"},{"key":"9126_CR10","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF01933165","volume":"21","author":"E Hansen","year":"1981","unstructured":"Hansen, E., & Sengupta, S. (1981) Bounding solutions of systems of equations using interval analysis. BIT, 21, 203\u2013211.","journal-title":"BIT"},{"issue":"1","key":"9126_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s12555-010-0101-3","volume":"8","author":"P Herrero","year":"2010","unstructured":"Herrero, P., Jaulin, L., Vehi, J., Sainz, M. (2010). Guaranteed set-point computation with application to the control of a sailboat. International Journal of Control, Automation and Systems, 8(1), 1\u20137.","journal-title":"International Journal of Control, Automation and Systems"},{"issue":"5","key":"9126_CR12","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s11155-005-0044-1","volume":"11","author":"P Herrero","year":"2005","unstructured":"Herrero, P., Sainz, M.A., Veh, J., Jaulin, L. (2005). Quantified set inversion algorithm with applications to control. Reliable Computing, 11(5), 369\u2013382.","journal-title":"Reliable Computing"},{"key":"9126_CR13","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E. (2001). Applied interval analysis, with examples in parameter and state estimation, robust control and robotics. Springer."},{"key":"9126_CR14","unstructured":"Kearfott, R.B., Nakao, M.T., Neumaier, A., Rump, S.M., Shary, S.P., Van\u00a0Hentenryck, P. (2005) Standardized notation in interval analysis. In Proc. of XIII Baikal International School-seminar \u201cOptimization methods and their applications\u201d (pp.\u00a0106\u2013113)."},{"issue":"2","key":"9126_CR15","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/78928.78931","volume":"16","author":"RB Kearfott","year":"1990","unstructured":"Kearfott, R.B., & Novoa III, M. (1990). Algorithm 681: intbis, a portable interval newton\/bisection package. ACM Transactions on Mathematical Software, 16(2), 152\u2013157.","journal-title":"ACM Transactions on Mathematical Software"},{"key":"9126_CR16","unstructured":"Khalil, H.K. (2002). Nonlinear systems, (3rd edn). Prentice Hall."},{"key":"9126_CR17","unstructured":"Lhomme, O. (1993). Consistency techniques for numeric CSPs. In Proc. of the 13th International Joint Conference on Artificial Intelligence (IJCAI\u201993) (pp.\u00a0232\u2013238)."},{"key":"9126_CR18","unstructured":"Moore, R. (1966). Interval analysis. Prentice-Hall."},{"key":"9126_CR19","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/B978-0-12-505630-4.50020-1","volume-title":"Reliability in Computing","author":"A Neumaier","year":"1988","unstructured":"Neumaier, A. (1988). The enclosure of solutions of parameter-dependent systems of equations. In R.\u00a0Moore (Ed.), Reliability in Computing (pp.\u00a0269\u2013286). San Diego: Academic Press."},{"key":"9126_CR20","unstructured":"Neumaier, A. (1990). Interval methods for systems of equations. Cambridge University Press."},{"issue":"9","key":"9126_CR21","first-page":"861","volume":"6","author":"S Ratschan","year":"2000","unstructured":"Ratschan, S. (2000). Uncertainty propagation in heterogeneous algebras for approximate quantified constraint solving. Journal of Universal Computer Science 6(9), 861\u2013880.","journal-title":"Journal of Universal Computer Science"},{"key":"9126_CR22","first-page":"257","volume-title":"Techniques de la robotique, architecture et commande","author":"C Reboulet","year":"1988","unstructured":"Reboulet, C. (1988). Mod\u00e9lisation des robots parall\u00e8les. In J.D. Boissonat, B.\u00a0Faverjon, J.P. Merlet (Eds.), Techniques de la robotique, architecture et commande (pp.\u00a0257\u2013284). Paris, France: Hermes sciences."},{"key":"9126_CR23","volume-title":"Handbook of constraint programming (Foundations of Artificial Intelligence)","author":"F Rossi","year":"2006","unstructured":"Rossi, F., van Beek, P., Walsh, T. (2006). Handbook of constraint programming (Foundations of Artificial Intelligence). New York, NY, USA: Elsevier Science Inc."},{"issue":"5","key":"9126_CR24","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1023\/A:1020505620702","volume":"8","author":"SP Shary","year":"2002","unstructured":"Shary, S.P. (2002) A new technique in systems analysis under interval uncertainty and ambiguity. Reliable Computing 8(5), 321\u2013418.","journal-title":"Reliable Computing"},{"key":"9126_CR25","doi-asserted-by":"crossref","unstructured":"Van\u00a0Hentenryck, P., Michel, L., Deville, Y. (1997). Numerica: A modeling language for global optimization. MIT Press.","DOI":"10.7551\/mitpress\/5073.001.0001"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-012-9126-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-012-9126-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-012-9126-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T10:16:27Z","timestamp":1687688187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-012-9126-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,18]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["9126"],"URL":"https:\/\/doi.org\/10.1007\/s10601-012-9126-y","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,18]]}}}