{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:35:45Z","timestamp":1742913345086,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031206108"},{"type":"electronic","value":"9783031206115"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-20611-5_1","type":"book-chapter","created":{"date-parts":[[2022,11,23]],"date-time":"2022-11-23T00:14:47Z","timestamp":1669162487000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Comparison of\u00a0Higher-Order Approximations to\u00a0Solve Dynamical Systems Using Interval Constraint Solving"],"prefix":"10.1007","author":[{"given":"Angel F. Garcia","family":"Contreras","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martine","family":"Ceberio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,11,23]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1023\/A:1024467732637","volume":"4","author":"M Berz","year":"1998","unstructured":"Berz, M., Makino, K.: Verified integration of odes and flows using differential algebraic methods on high-order taylor models. Reliable Comput. 4, 361\u2013369 (1998)","journal-title":"Reliable Comput."},{"key":"1_CR2","doi-asserted-by":"publisher","DOI":"10.1002\/9781119121534","volume-title":"Numerical Methods for Ordinary Differential Equations","author":"JC Butcher","year":"2016","unstructured":"Butcher, J.C.: Numerical Methods for Ordinary Differential Equations. Wiley, Hoboken (2016)"},{"unstructured":"Chabert, G.: Ibex - an interval-based explorer. Online slides (2007). https:\/\/agora.bourges.univ-orleans.fr\/ramdani\/gtmea\/legacy\/www2.lirmm.fr\/ensemble\/IMG\/pdf\/slides_chabert.pdf","key":"1_CR3"},{"issue":"11","key":"1_CR4","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.1016\/j.artint.2009.03.002","volume":"173","author":"G Chabert","year":"2009","unstructured":"Chabert, G., Jaulin, L.: Contractor programming. Artif. Intell. 173(11), 1079\u20131100 (2009)","journal-title":"Artif. Intell."},{"issue":"3","key":"1_CR5","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/A:1009922003700","volume":"5","author":"H Collavizza","year":"1999","unstructured":"Collavizza, H., Delobel, F., Rueher, M.: Comparing partial consistencies. Reliable Comput. 5(3), 213\u2013228 (1999)","journal-title":"Reliable Comput."},{"issue":"1","key":"1_CR6","first-page":"79","volume":"22","author":"JA dit Sandretto","year":"2016","unstructured":"dit Sandretto, J.A., Chapoutot, A.: Validated explicit and implicit Runge-Kutta methods. Reliable Comput. 22(1), 79\u2013103 (2016)","journal-title":"Reliable Comput."},{"doi-asserted-by":"crossref","unstructured":"Garcia Contreras, A., Throneberry, G., Olumoye, O., Valera, L., Ceberio, M., Abdelkefi, A.: Interval-based solving techniques for large-scale dynamical systems. In: Proceedings of the 2020 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference (IDETC-CIE) (2020)","key":"1_CR7","DOI":"10.1115\/1.0002219V"},{"key":"1_CR8","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-030-86702-7_2","volume-title":"Applied Computer Sciences in Engineering","author":"AFG Contreras","year":"2021","unstructured":"Contreras, A.F.G., Ceberio, M.: Solving dynamical systems using windows of sliding subproblems. In: Figueroa-Garc\u00eda, J.C., D\u00edaz-Gutierrez, Y., Gaona-Garc\u00eda, E.E., Orjuela-Ca\u00f1\u00f3n, A.D. (eds.) WEA 2021. CCIS, vol. 1431, pp. 13\u201324. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86702-7_2"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-74061-2_9","volume-title":"Static Analysis","author":"E Goubault","year":"2007","unstructured":"Goubault, E., Putot, S.: Under-approximations of computations in real numbers based on generalized affine arithmetic. In: Nielson, H.R., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol. 4634, pp. 137\u2013152. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74061-2_9"},{"issue":"1","key":"1_CR10","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1145\/1132973.1132980","volume":"32","author":"L Granvilliers","year":"2006","unstructured":"Granvilliers, L., Benhamou, F.: Algorithm 852: realpaver: an interval solver using constraint satisfaction techniques. ACM Trans. Math. Software (TOMS) 32(1), 138\u2013156 (2006)","journal-title":"ACM Trans. Math. Software (TOMS)"},{"issue":"10","key":"1_CR11","doi-asserted-by":"publisher","first-page":"1145","DOI":"10.1016\/j.apnum.2006.10.006","volume":"57","author":"Y Lin","year":"2007","unstructured":"Lin, Y., Stadtherr, M.A.: Validated solutions of initial value problems for parametric odes. Appl. Numer. Math. 57(10), 1145 (2007)","journal-title":"Appl. Numer. Math."},{"issue":"4","key":"1_CR12","first-page":"379","volume":"4","author":"K Makino","year":"2003","unstructured":"Makino, K., Berz, M.: Taylor models and other validated functional inclusion methods. Int. J. Pure Appl. Math. 4(4), 379\u2013456 (2003)","journal-title":"Int. J. Pure Appl. Math."},{"doi-asserted-by":"crossref","unstructured":"Moore, R.E.: Methods and applications of interval analysis. SIAM (1979)","key":"1_CR13","DOI":"10.1137\/1.9781611970906"},{"doi-asserted-by":"crossref","unstructured":"Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to interval analysis. SIAM (2009)","key":"1_CR14","DOI":"10.1137\/1.9780898717716"},{"key":"1_CR15","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-31019-6_1","volume-title":"Applied Computer Sciences in Engineering","author":"O Olumoye","year":"2019","unstructured":"Olumoye, O., Throneberry, G., Garcia, A., Valera, L., Abdelkefi, A., Ceberio, M.: Solving large dynamical systems by constraint sampling. In: Figueroa-Garc\u00eda, J.C., Duarte-Gonz\u00e1lez, M., Jaramillo-Isaza, S., Orjuela-Ca\u00f1on, A.D., D\u00edaz-Gutierrez, Y. (eds.) WEA 2019. CCIS, vol. 1052, pp. 3\u201315. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31019-6_1"},{"issue":"3","key":"1_CR16","first-page":"341","volume":"6","author":"SM Rump","year":"2015","unstructured":"Rump, S.M., Kashiwagi, M.: Implementation and improvements of affine arithmetic. Nonlinear Theory Appl. Inst. Electron. Inf. Commun. Eng. (NOLTA-IEICE) 6(3), 341\u2013359 (2015)","journal-title":"Nonlinear Theory Appl. Inst. Electron. Inf. Commun. Eng. (NOLTA-IEICE)"},{"doi-asserted-by":"crossref","unstructured":"Valera, L., Garcia, A., Gholamy, A., Ceberio, M., Florez, H.: Towards predictions of large dynamic systems\u2019 behavior using reduced-order modeling and interval computations. In: Proceedings for the 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 345\u2013350. IEEE (2017)","key":"1_CR17","DOI":"10.1109\/SMC.2017.8122627"}],"container-title":["Communications in Computer and Information Science","Applied Computer Sciences in Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-20611-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,20]],"date-time":"2022-12-20T20:10:39Z","timestamp":1671567039000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-20611-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031206108","9783031206115"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-20611-5_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"23 November 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WEA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Workshop on Engineering Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bogot\u00e1","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Colombia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 November 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"woea2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ieee.udistrital.edu.co\/wea2022","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easy Chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"143","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.83","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.73","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}