{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:51:59Z","timestamp":1725490319895},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661627"},{"type":"electronic","value":"9783540487203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48720-4_20","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T05:13:05Z","timestamp":1188191585000},"page":"185-194","source":"Crossref","is-referenced-by-count":1,"title":["Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Cruz","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Benhamou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,6,11]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"O'Neil, M., Glowinski, A. and Fox, J.: A Symbolic Theory of Decision Making Applied to Several Medical Tasks, Lecture Notes in Medical Informatics, Springer, 38 (1989) 62\u201371.","DOI":"10.1007\/978-3-642-93437-7_7"},{"key":"20_CR2","unstructured":"Horn, W.: Utilizing Detailed Anatomical Knowledge for Hypothesis Formation and Hypothesis Testing in Rheumatological Decision Support. In: E. Keravnou, eds., Deep Models for Medical Knowledge Engineering, Elsevier, (1992) 27\u201350."},{"key":"20_CR3","first-page":"249","volume-title":"Proceedings of the 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97","author":"J. Cruz","year":"1997","unstructured":"Cruz, J. and Barahona, P.: A Causal-Functional Model Applied to EMG Diagnosis, Proceedings of the 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97, Springer, Grenoble, France (1997) 249\u2013260."},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0168-5597(92)90080-U","volume":"85","author":"S. Andreassen","year":"1992","unstructured":"Andreassen, S., Falck, B. and Olesen, K.G.: Diagnostic Function of the Microhuman Prototype of the Expert System MUNIN, Electroencephalography and Clinical Neurophysiology 85 (1992) 143\u2013157.","journal-title":"Electroencephalography and Clinical Neurophysiology"},{"key":"20_CR5","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BFb0029461","volume-title":"Proceedings of the 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97","author":"M. Suojanen","year":"1997","unstructured":"Suojanen, M., Olesen, K.G. and Andreassen, S.: A Method for Diagnosing in Large Medical Expert Systems Based on Causal Probabilistic Networks, Proceedings of the 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97, Springer, Grenoble, France (1997) 285\u2013295."},{"key":"20_CR6","first-page":"2386","volume-title":"The Biomedical Engineering Handbook","author":"W.D. Timmons","year":"1995","unstructured":"Timmons, W.D.: Cardiovascular Models and Control. In: The Biomedical Engineering Handbook. CRC\/IEEE Press, Connecticut (1995) 2386\u20132403."},{"key":"20_CR7","first-page":"2404","volume-title":"The Biomedical Engineering Handbook","author":"C.-S. Poon","year":"1995","unstructured":"Poon, C.-S.: Respiratory Models and Control. In: The Biomedical Engineering Handbook. CRC\/IEEE Press, Connecticut (1995) 2404\u20132421."},{"key":"20_CR8","first-page":"2375","volume-title":"The Biomedical Engineering Handbook","author":"C. Cobelli","year":"1995","unstructured":"Cobelli, C. and Saccomani, M.P.: Compartment Models of Physiologic Systems. In: The Biomedical Engineering Handbook. CRC\/IEEE Press, Connecticut (1995) 2375\u20132385."},{"key":"20_CR9","volume-title":"Electrodiagnosis in Clinical Neurology","author":"M.J. Aminoff","year":"1992","unstructured":"Aminoff M.J.: Electrodiagnosis in Clinical Neurology. 3th edn. Churchill Livingstone, New York (1992).","edition":"3th edn."},{"key":"20_CR10","first-page":"1","volume-title":"Biological Engineering","author":"R. FitzHugh","year":"1969","unstructured":"FitzHugh, R.: Mathematical models of excitation and propagation in nerve. In: Biological Engineering, chap I, McGraw-Hill, New York (1969) 1\u201385."},{"key":"20_CR11","first-page":"75","volume-title":"Handbook of Physiology, section I: Neurophysiology","author":"I. Tasaki","year":"1959","unstructured":"Tasaki, I.: Conduction of the Nerve Impulse. In: Handbook of Physiology, section I: Neurophysiology Vol. I. American Physiological Society, Washington (1959) 75\u2013121."},{"key":"20_CR12","unstructured":"Van Denneheuvel, S et al: Reduced Constraint Models. In: E. Keravnou, eds., Deep Models for Medical Knowledge Engineering, Elsevier, (1992) 89\u2013100."},{"issue":"2","key":"20_CR13","first-page":"125","volume":"2","author":"J.G. Cleary","year":"1987","unstructured":"Cleary J.G.: Logical Arithmetic. In Future Generation Computing Systems, 2(2) (1987) 125\u2013149.","journal-title":"Future Generation Computing Systems"},{"key":"20_CR14","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ (1966)."},{"key":"20_CR15","unstructured":"Benhamou, F., McAllester, D. and Van Hentenryck, P.: CLP(intervals) revisited. In Proceedings of the International Logic Programming Symposium (1994)."},{"issue":"1 and 2","key":"20_CR16","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BF00143879","volume":"1","author":"D. Haroud","year":"1996","unstructured":"Haroud, D. and Faltings, B.: Consistency techniques for continuous constraints. In Constraints 1(1 and 2) (1996) 85\u2013118.","journal-title":"Constraints"},{"key":"20_CR17","volume-title":"Ordinary Differential Equations","author":"P. Hartman","year":"1964","unstructured":"Hartman, P.: Ordinary Differential Equations. Wiley, New York (1964)."},{"key":"20_CR18","unstructured":"Older, W.: Application of Relational Interval Arithmetic to Ordinary Differential Equations, in Workshop on Constraint Languages and their use in Problem Modelling, Int'l Logic Programming Symposium, Ithaca, New York (1994)."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Deville, Y., Janssen, M. and Van Hentenryck, P.: Consistency Techniques in Ordinary Differential Equations. In: Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming-CP98. Pisa, Italy (1998) 162\u2013176.","DOI":"10.1007\/3-540-49481-2_13"},{"key":"20_CR20","unstructured":"Veloso, M. et al, ESTEEM: European Standardized Telematics Tool to Evaluate EMG Knowledge Based Systems and Methods, in Health in the New Communication Age, Laires, M.F., Ladeira, M.J. and Christensen, J.P. (Eds.), IOS Press, pp. 348\u2013356, 1995"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Medicine"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48720-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T22:42:29Z","timestamp":1684017749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48720-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661627","9783540487203"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48720-4_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}