{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T14:10:16Z","timestamp":1737123016726,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678397"},{"type":"electronic","value":"9783540449140"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44914-0_7","type":"book-chapter","created":{"date-parts":[[2007,5,22]],"date-time":"2007-05-22T21:26:14Z","timestamp":1179869174000},"page":"107-123","source":"Crossref","is-referenced-by-count":0,"title":["Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Carreras","sequence":"first","affiliation":[]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,8,11]]},"reference":[{"key":"7_CR1","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"G. Alefeld and J. Herzberger. Introduction to Interval Computations. AP, NY, 1983."},{"key":"7_CR2","unstructured":"APIC\u201995. International Workshop on Applications of Interval Computations, El Paso, Texas, February 1995."},{"key":"7_CR3","unstructured":"Fr\u00e9d\u00e9ric Benhamou, David McAllester, and Pascal Van Hentenryck. CLP (Intervals) Revisited. In Proceedings of ILPS\u201994, pages 1\u201321, Ithaca, NY, USA, 1994. MIT Press."},{"issue":"2","key":"7_CR4","first-page":"48","volume":"1993","author":"D. Berleant","year":"1993","unstructured":"D. Berleant. Automatically Verified Reasoning with Both Intervals and Probability Density Functions. Interval Computations, 1993(2):48\u201370, 1993.","journal-title":"Interval Computations"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"C. Carreras, J.A. L\u00f3pez, and O. Nieto-Taladriz. Bit-width Selection in Datapath Implementations. In Proc. 12th IEEE International Symposium on System Synthesis, pages 114\u2013119, San Jose, CA, Nov 1999.","DOI":"10.1109\/ISSS.1999.814269"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"C. Carreras and I.D. Walker. Interval Methods for Improved Robot Reliability Estimation. In Proc. IEEE Annual Reliability and Maintainability Symposium, RAMS 2000, Los Angeles, CA, Jan 2000.","DOI":"10.1109\/RAMS.2000.816278"},{"key":"7_CR7","unstructured":"C. Carreras, I.D. Walker, O. Nieto-Taladriz, and J.R. Cavallaro. Robot Reliability Estimation Using Interval Methods. In Proc. MISC\u201999 International Workshop on Applications of Interval Analysis to Systems and Control, pages 371\u2013385, Girona, Spain, Feb 1999."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Fourth ACM Symposium on Principles of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"7_CR9","unstructured":"Eero Hyvonen. Evaluation of Cascaded Interval Functions. In Proceedings of Intervational Workshop on Constrain-Based Reasoning, 8th Florida AI Research Symposium, April 1995."},{"key":"7_CR10","unstructured":"Janne Pesonen et al. Interval Approach Challenges Monte Carlo Simulation. In Proceedings of Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN-95), 1995."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Kim Marriot and Peter Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"7_CR12","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R.E. Moore","year":"1979","unstructured":"R.E. Moore. Methods and Applications of Interval Analysis. SIAM, Philadelphia, 1979."},{"key":"7_CR13","volume-title":"Numerical Recipes in FORTRAN: The Art of Scientific Computing","author":"W.H. Press","year":"1992","unstructured":"W.H. Press, S.A. Teukolsky, W.T. Vetterling, and B.P. Flannery. Numerical Recipes in FORTRAN: The Art of Scientific Computing. Cambridge Univ. Press, New York, 1992."},{"key":"7_CR14","volume-title":"Computer Methods for the Range of Functions","author":"H. Ratschek","year":"1988","unstructured":"H. Ratschek and J. Rokne. Computer Methods for the Range of Functions. Ellis-Horwood, Chichester, 1988."},{"key":"7_CR15","unstructured":"C.N. Zeeb and P.J. Burns. A Comparison of Failure Probability Estimates by Monte Carlo Sampling and Latin HyperCube Sampling, 1998."}],"container-title":["Lecture Notes in Computer Science","Abstraction, Reformulation, and Approximation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44914-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T14:53:19Z","timestamp":1737039199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44914-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678397","9783540449140"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44914-0_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}