{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:15:55Z","timestamp":1740100555385,"version":"3.37.3"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,12,12]],"date-time":"2021-12-12T00:00:00Z","timestamp":1639267200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,12]],"date-time":"2021-12-12T00:00:00Z","timestamp":1639267200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,12]]},"DOI":"10.1109\/wsc52266.2021.9715363","type":"proceedings-article","created":{"date-parts":[[2022,2,23]],"date-time":"2022-02-23T20:38:43Z","timestamp":1645648723000},"page":"1-12","source":"Crossref","is-referenced-by-count":1,"title":["Data Generation With Prospect: A Probability Specification Tool"],"prefix":"10.1109","author":[{"given":"Alan","family":"Ismaiel","sequence":"first","affiliation":[{"name":"University of Pennsylvania,Computer and Information Science Department,Philadelphia,PA,UNITED STATES,19104"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Ruchkin","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,Computer and Information Science Department,Philadelphia,PA,UNITED STATES,19104"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,Computer and Information Science Department,Philadelphia,PA,UNITED STATES,19104"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,Computer and Information Science Department,Philadelphia,PA,UNITED STATES,19104"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Shu","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,Department of Mathematics,Philadelphia,PA,UNITED STATES,19104"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2011","author":"hallagan","journal-title":"The Design of XML-based Model and Experiment Description Languages for Network Simulation","key":"ref10"},{"key":"ref11","article-title":"Probabilistic Logic for Intelligent Systems","author":"henderson","year":"2018","journal-title":"The Proceedings of the 15th International Conference on Intelligent Autonomous Systems"},{"key":"ref12","first-page":"884","article-title":"Discrete-event simulation of network systems using distributed object computing","author":"hu","year":"2005","journal-title":"Intl Symp on Performance Evaluation of Computer and Telecommunication Systems (SPECTS) Part of SummerSim"},{"year":"1995","author":"jirstrand","journal-title":"Cylindrical Algebraic Decomposition&#x2014 An Introduction","key":"ref13"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/PADS.2003.1207430"},{"year":"2009","author":"koller","journal-title":"Probabilistic Graphical Models Principles and Techniques","key":"ref15"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1111\/1467-9868.00340"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1017\/CBO9780511626630"},{"key":"ref18","article-title":"A Systematic Review of Hidden Markov Models and Their Applications","author":"mor","year":"2020","journal-title":"Archives of Computational Methods in Engineering"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/WSC.2015.7408296"},{"key":"ref4","first-page":"132","article-title":"KENDRICK: A Domain Specific Language and platform for mathematical epidemiological modelling","author":"thi","year":"2015","journal-title":"2015 IEEE International Conference on Research Innovation and Vision for Future (RIVF)"},{"key":"ref3","article-title":"Pyro: Deep Universal Probabilistic Programming","author":"bingham","year":"2018","journal-title":"Journal of Machine Learning Research"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/2567895"},{"key":"ref5","first-page":"315","article-title":"Abstract Algebra","author":"dummit","year":"2004","journal-title":"Chapter 9 6 Polynomials in Several Variables over a Field and Gröbner Bases"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1017\/CBO9781139626514"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/3314221.3314633"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1287\/opre.1080.0669"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/3-540-33099-2"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/2593882.2593900"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/WSC.2014.7020125"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1287\/ijoc.1080.0282"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/ANTS.2015.7413664"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/TII.2017.2723943"},{"year":"2003","author":"wolfram","journal-title":"The Mathematica Book Fifth Edition","key":"ref23"}],"event":{"name":"2021 Winter Simulation Conference (WSC)","start":{"date-parts":[[2021,12,12]]},"location":"Phoenix, AZ, USA","end":{"date-parts":[[2021,12,15]]}},"container-title":["2021 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9715283\/9715284\/09715363.pdf?arnumber=9715363","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,15]],"date-time":"2022-06-15T20:16:47Z","timestamp":1655324207000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9715363\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/wsc52266.2021.9715363","relation":{},"subject":[],"published":{"date-parts":[[2021,12,12]]}}}