{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:58:25Z","timestamp":1730314705678,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,3,22]]},"DOI":"10.1145\/1774088.1774520","type":"proceedings-article","created":{"date-parts":[[2010,4,27]],"date-time":"2010-04-27T08:45:48Z","timestamp":1272357948000},"page":"2055-2060","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic constraints for reliability problems"],"prefix":"10.1145","author":[{"given":"Elsa","family":"Carvalho","sequence":"first","affiliation":[{"name":"Universidade Nova de Lisboa, Portugal"}]},{"given":"Jorge","family":"Cruz","sequence":"additional","affiliation":[{"name":"Universidade Nova de Lisboa, Portugal"}]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[{"name":"Universidade Nova de Lisboa, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2010,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Gaol www.sourceforge.net\/projects\/gaol. Gaol www.sourceforge.net\/projects\/gaol."},{"key":"e_1_3_2_1_2_1","first-page":"124","volume-title":"ISLP","author":"Benhamou F.","year":"1994","unstructured":"F. Benhamou , D. McAllester , and P. van Hentenryck . CLP(intervals) revisited. In ISLP , pages 124 -- 138 . MIT Press , 1994 . F. Benhamou, D. McAllester, and P. van Hentenryck. CLP(intervals) revisited. In ISLP, pages 124--138. MIT Press, 1994."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2008.75"},{"key":"e_1_3_2_1_4_1","first-page":"115","volume-title":"Advances in Soft Computing","author":"Carvalho E.","year":"2008","unstructured":"E. Carvalho , J. Cruz , and P. Barahona . Probabilistic reasoning for inverse problems . In Advances in Soft Computing , volume 46 , pages 115 -- 128 . Springer , 2008 . E. Carvalho, J. Cruz, and P. Barahona. Probabilistic reasoning for inverse problems. In Advances in Soft Computing, volume 46, pages 115--128. Springer, 2008."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-006-0172-4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2004.07.013"},{"key":"e_1_3_2_1_7_1","volume-title":"Handling uncertainties through reliability-based optimization using evolutionary algorithms","author":"Deb K.","year":"2006","unstructured":"K. Deb , D. P. S. Gupta , and A. K. Mall . Handling uncertainties through reliability-based optimization using evolutionary algorithms , 2006 . K. Deb, D. P. S. Gupta, and A. K. Mall. Handling uncertainties through reliability-based optimization using evolutionary algorithms, 2006."},{"key":"e_1_3_2_1_8_1","first-page":"431","article-title":"Narrow reliability bounds for structural system","volume":"4","author":"Ditlevsen O.","year":"1979","unstructured":"O. Ditlevsen . Narrow reliability bounds for structural system . J. St. Mech. , 4 : 431 -- 439 , 1979 . O. Ditlevsen. Narrow reliability bounds for structural system. J. St. Mech., 4:431--439, 1979.","journal-title":"J. St. Mech."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1061\/JMCEA3.0002512","article-title":"Quadratic limit states in structural reliability","volume":"105","author":"Fiessler B.","year":"1979","unstructured":"B. Fiessler , H.-J. Neumann , and R. Rackwitz . Quadratic limit states in structural reliability . J. Engrg. Mech. Div. , 105 : 661 -- 676 , 1979 . B. Fiessler, H.-J. Neumann, and R. Rackwitz. Quadratic limit states in structural reliability. J. Engrg. Mech. Div., 105:661--676, 1979.","journal-title":"J. Engrg. Mech. Div."},{"key":"e_1_3_2_1_10_1","volume-title":"Probability, Reliability and Statistical Methods in Engineering Design","author":"Halder A.","year":"1999","unstructured":"A. Halder and S. Mahadevan . Probability, Reliability and Statistical Methods in Engineering Design . Wiley , 1999 . A. Halder and S. Mahadevan. Probability, Reliability and Statistical Methods in Engineering Design. Wiley, 1999."},{"key":"e_1_3_2_1_11_1","volume-title":"Reasoning about Uncertainty","author":"Halpern J. Y.","year":"2003","unstructured":"J. Y. Halpern . Reasoning about Uncertainty . MIT Press , 2003 . J. Y. Halpern. Reasoning about Uncertainty. MIT Press, 2003."},{"key":"e_1_3_2_1_12_1","volume-title":"Engrg. Mech. Div.","author":"Hasofer A. M.","year":"1974","unstructured":"A. M. Hasofer and N. C. Lind . Exact and invariant second-moment code format. J . Engrg. Mech. Div. , 1974 . A. M. Hasofer and N. C. Lind. Exact and invariant second-moment code format. J. Engrg. Mech. Div., 1974."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"1227","DOI":"10.1061\/JMCEA3.0002777","article-title":"Non-normal dependent vectors in structural safety","volume":"107","author":"Hohenbichler M.","year":"1981","unstructured":"M. Hohenbichler and R. Rackwitz . Non-normal dependent vectors in structural safety . J. Engrg. Mech. Div. , 107 : 1227 -- 1238 , 1981 . M. Hohenbichler and R. Rackwitz. Non-normal dependent vectors in structural safety. J. Engrg. Mech. Div., 107:1227--1238, 1981.","journal-title":"J. Engrg. Mech. Div."},{"key":"e_1_3_2_1_14_1","volume-title":"First-order concepts in system reliability. Struct. Safety, (1):177--188","author":"Hohenbichler M.","year":"1983","unstructured":"M. Hohenbichler and R. Rackwitz . First-order concepts in system reliability. Struct. Safety, (1):177--188 , 1983 . M. Hohenbichler and R. Rackwitz. First-order concepts in system reliability. Struct. Safety, (1):177--188, 1983."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-4730(97)00026-X"},{"key":"e_1_3_2_1_17_1","first-page":"232","volume-title":"Proc. of the 13th IJCAI","author":"Lhomme O.","year":"1993","unstructured":"O. Lhomme . Consistency techniques for numeric CSPs . In Proc. of the 13th IJCAI , pages 232 -- 238 , 1993 . O. Lhomme. Consistency techniques for numeric CSPs. In Proc. of the 13th IJCAI, pages 232--238, 1993."},{"key":"e_1_3_2_1_18_1","volume-title":"Interval Analysis","author":"Moore R.","year":"1966","unstructured":"R. Moore . Interval Analysis . Prentice-Hall , Englewood Cliffs , 1966 . R. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, 1966."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183278.1183282"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00143879"}],"event":{"name":"SAC'10: The 2010 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Sierre Switzerland","acronym":"SAC'10"},"container-title":["Proceedings of the 2010 ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1774088.1774520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T09:14:30Z","timestamp":1673082870000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1774088.1774520"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,22]]},"references-count":20,"alternative-id":["10.1145\/1774088.1774520","10.1145\/1774088"],"URL":"https:\/\/doi.org\/10.1145\/1774088.1774520","relation":{},"subject":[],"published":{"date-parts":[[2010,3,22]]},"assertion":[{"value":"2010-03-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}