{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:47:01Z","timestamp":1725475621497},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672814"},{"type":"electronic","value":"9783540464211"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720084_8","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T09:36:30Z","timestamp":1167384990000},"page":"105-120","source":"Crossref","is-referenced-by-count":5,"title":["Handling Differential Equations with Constraints for Decision Support"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Cruz","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-49481-2_13","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"Y. Deville","year":"1998","unstructured":"Deville, Y., Janssen, M., Van Hentenryck, P.: Consistency Techniques in Ordinary Differential Equations. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol.\u00a01520, pp. 162\u2013176. Springer, Heidelberg (1998)"},{"key":"8_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/3-540-48720-4_20","volume-title":"Artificial Intelligence in Medicine","author":"J. Cruz","year":"1999","unstructured":"Cruz, J., Barahona, P., Benhamou, F.: Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraints Approach. In: Horn, W., Shahar, Y., Lindberg, G., Andreassen, S., Wyatt, J.C. (eds.) AIMDM 1999. LNCS (LNAI), vol.\u00a01620, p. 185. Springer, Heidelberg (1999)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-49481-2_12","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"H. Collavizza","year":"1998","unstructured":"Collavizza, H., Delobel, F., Rueher, M.: A Note on Partial Consistencies over Continuous Domains. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol.\u00a01520, pp. 147\u2013161. Springer, Heidelberg (1998)"},{"key":"8_CR4","unstructured":"Ackerman, E., Gatewood, L., Rosevar, J., Molnar, G.: Blood Glucose Regulation and Diabetes. In: Heinmets, F. (ed.) Concepts and Models of Biomathematics, ch. 4, pp. 131\u2013156. Marcel Dekker, New York (1969)"},{"key":"8_CR5","volume-title":"Ordinary Differential Equations","author":"P. Hartman","year":"1964","unstructured":"Hartman, P.: Ordinary Differential Equations. Wiley, New York (1964)"},{"key":"8_CR6","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"8_CR7","unstructured":"Lohner, R.J.: Enclosing the solutions of ordinary initial and boundary value problems. In: Computer Arithmetic: Scientific Computation and Programming Languages, pp. 255\u2013286. Wiley - Teubner Series in Computer Science, Stuttgart (1987)"},{"key":"8_CR8","unstructured":"Nedialkov, N., Jackson, K.: Software Issues in Validated ODE Solving. Technical Report, Department of Computer Science, University of Toronto, Canada (1998)"},{"issue":"2","key":"8_CR9","first-page":"125","volume":"2","author":"J.G. Cleary","year":"1987","unstructured":"Cleary, J.G.: Logical Arithmetic. Future Generation Computing Systems\u00a02(2), 125\u2013149 (1987)","journal-title":"Future Generation Computing Systems"},{"key":"8_CR10","unstructured":"Older, W.: Application of Relational Interval Arithmetic to Ordinary Differential Equations. In: Workshop on Constraint Languages and their use in Problem Modelling, Int\u2019l Logic Programming Symposium, Ithaca, New York (1994)"},{"key":"8_CR11","unstructured":"Hickey, T.J.: CLP(F) and Constrained ODEs. In: Jourdan, Lim, Yap (eds.) Proceedings of the Workshop on Constraint Languages and their use in Problem Modelling, pp. 69\u201379 (1994)"},{"key":"8_CR12","unstructured":"Lhomme, O.: Consistency Techniques for numeric CSPs. In: Procedures of IJCAI 1993, Chambery, France, pp. 232\u2013238 (1993)"},{"key":"8_CR13","unstructured":"Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(intervals) revisited. In: Proceedings of the International Logic Programming Symposium. MIT Press, Cambridge (1994)"},{"key":"8_CR14","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L.: An Extension of the WAM for Cooperative Interval Solvers. Technical Report, Department of Computer Science, University of Nantes, France (1998)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720084_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T23:28:57Z","timestamp":1552865337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720084_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672814","9783540464211"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/10720084_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}