{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:54:17Z","timestamp":1725515657610},"publisher-location":"Boston, MA","reference-count":26,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387096797"},{"type":"electronic","value":"9780387096803"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-09680-3_20","type":"book-chapter","created":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T11:37:14Z","timestamp":1216640234000},"page":"285-298","source":"Crossref","is-referenced-by-count":2,"title":["Solving Monotone Polynomial Equations"],"prefix":"10.1007","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Kiefer","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Luttenberger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Esparza, J., Schwoon, S., Suwimonteerabuth, D.: SDSIrep: A reputation system based on SDSI. In: Proceedings of TACAS (Tools and Algorithms for the Construction and Analysis of Systems), LNCS, vol. 4963, pp. 501\u2013516. Springer (2008)","DOI":"10.1007\/978-3-540-78800-3_39"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Br\u00b4zdil, T., Ku\u010dera, A., Stra\u017eovsk\u00fd, O.: On the decidability of temporal properties of probabilistic pushdown automata. In: Proceedings of STACS\u20192005, LNCS, vol. 3404, pp. 145\u2013157. Springer (2005)","DOI":"10.1007\/978-3-540-31856-9_12"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Canny, J.: Some algebraic and geometric computations in PSPACE. In: Proceedings of STOC, pp. 460\u2013467 (1988)","DOI":"10.1145\/62212.62257"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1186\/1471-2105-5-71","volume":"5","author":"R. Dowell","year":"2004","unstructured":"Dowell, R., Eddy, S.: Evaluation of several lightweight stochastic context-free grammars for RNA secondary structure prediction. BMC Bioinformatics 5(71) (2004)","journal-title":"BMC Bioinformatics"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Durbin, R., Eddy, S., Krogh, A., Michison, G.: Biological Sequence Analysis: Probabilistic Models of Proteins and Nucleic Acids. Cambridge University Press (1998)","DOI":"10.1017\/CBO9780511790492"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Esparza, J., Gawlitza, T., Kiefer, S., Seidl, H.: Approximative methods for monotone systems of min-max-polynomial equations. In: Proceedings of ICALP 2008 (to appear)","DOI":"10.1007\/978-3-540-70575-8_57"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Esparza, J., Kiefer, S., Luttenberger, M.: On fixed point equations over commutative semirings. In: Proceedings of STACS, LNCS 4397, pp. 296\u2013307. Springer (2007)","DOI":"10.1007\/978-3-540-70918-3_26"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Esparza, J., Kiefer, S., Luttenberger, M.: Convergence thresholds of Newton\u2019s method for monotone polynomial equations. In: Proceedings of STACS, pp. 289\u2013300 (2008)","DOI":"10.1145\/1250790.1250822"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Esparza, J., Ku\u010dera, A., Mayr, R.: Model-checking probabilistic pushdown automata. In: Proceedings of LICS 2004, pp. 12\u201321 (2004)","DOI":"10.1109\/LICS.2004.1319596"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Esparza, J., Ku\u010dera, A., Mayr, R.: Quantitative analysis of probabilistic pushdown automata: Expectations and variances. In: Proceedings of LICS 2005, pp. 117\u2013126. IEEE Computer Society Press (2005)","DOI":"10.1109\/LICS.2005.39"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Etessami, K., Yannakakis, M.: Algorithmic verification of recursive probabilistic systems. In: Proceedings of TACAS 2005, LNCS 3440, pp. 253\u2013270. Springer (2005)","DOI":"10.1007\/978-3-540-31980-1_17"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Etessami, K., Yannakakis, M.: Checking LTL properties of recursive Markov chains. In: Proceedings of 2nd Int. Conf. on Quantitative Evaluation of Systems (QEST\u201905) (2005)","DOI":"10.1109\/QEST.2005.8"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Etessami, K., Yannakakis, M.: Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations. In: Proceedings of STACS, pp. 340\u2013352. Springer (2005)","DOI":"10.1007\/978-3-540-31856-9_28"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Etessami, K., Yannakakis, M.: Recursive Markov decision processes and recursive stochastic games. In: Proceedings of ICALP 2005, LNCS, vol. 3580, pp. 891\u2013903. Springer (2005)","DOI":"10.1007\/11523468_72"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Etessami, K., Yannakakis, M.: Efficient qualitative analysis of classes of recursive Markov decision processes and simple stochastic games. In: STACS, pp. 634\u2013645 (2006)","DOI":"10.1007\/11672142_52"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Fagin, R., Karlin, A., Kleinberg, J., Raghavan, P., Rajagopalan, S., Rubinfeld, R., Sudan, M., Tomkins, A.: Random walks with \u201cback buttons\u201d (extended abstract). In: STOC, pp. 484\u2013493 (2000)","DOI":"10.1145\/335305.335362"},{"issue":"3","key":"20_CR17","doi-asserted-by":"publisher","first-page":"810","DOI":"10.1214\/aoap\/1015345350","volume":"11","author":"R. Fagin","year":"2001","unstructured":"Fagin, R., Karlin, A., Kleinberg, J., Raghavan, P., Rajagopalan, S., Rubinfeld, R., Sudan, M., Tomkins, A.: Random walks with \u201cback buttons\u201d. Annals of Applied Probability 11(3), 810\u2013862 (2001)","journal-title":"Annals of Applied Probability"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Gawlitza, T., Seidl, H.: Precise relational invariants through strategy iteration. In: CSL, pp. 23\u201340 (2007)","DOI":"10.1007\/978-3-540-74915-8_6"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Geman, S., Johnson, M.: Probabilistic grammars and their applications (2002)","DOI":"10.1016\/B0-08-043076-7\/00489-7"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Harris, T.: The Theory of Branching Processes. Springer (1963)","DOI":"10.1007\/978-3-642-51866-9"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Kiefer, S., Luttenberger, M., Esparza, J.: On the convergence of Newton\u2019s method for monotone systems of polynomial equations. In: Proceedings of STOC, pp. 217\u2013226. ACM (2007)","DOI":"10.1145\/1250790.1250822"},{"issue":"13","key":"20_CR22","doi-asserted-by":"publisher","first-page":"3423","DOI":"10.1093\/nar\/gkg614","volume":"31","author":"B. Knudsen","year":"2003","unstructured":"Knudsen, B., Hein, J.: Pfold: RNA secondary structure prediction using stochastic context-free grammars. Nucleic Acids Research 31(13), 3423\u20133428 (2003)","journal-title":"Nucleic Acids Research"},{"key":"20_CR23","unstructured":"Manning, C., Sch\u00fctze, H.: Foundations of Statistical Natural Language Processing. MIT Press (1999)"},{"key":"20_CR24","doi-asserted-by":"publisher","first-page":"5112","DOI":"10.1093\/nar\/22.23.5112","volume":"22","author":"Y. Sakabikara","year":"1994","unstructured":"Sakabikara, Y., Brown, M., Hughey, R., Mian, I., Sjolander, K., Underwood, R., Haussler, D.: Stochastic context-free grammars for tRNA. Nucleic Acids Research 22, 5112\u20135120 (1994)","journal-title":"Nucleic Acids Research"},{"issue":"4","key":"20_CR25","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/0885-064X(92)90003-T","volume":"8","author":"P. Tiwari","year":"1992","unstructured":"Tiwari, P.: A problem that is easier to solve on the unit-cost algebraic RAM. J. Complexity 8(4), 393\u2013397 (1992)","journal-title":"J. Complexity"},{"key":"20_CR26","doi-asserted-by":"publisher","first-page":"138","DOI":"10.2307\/2841222","volume":"4","author":"H. Watson","year":"1874","unstructured":"Watson, H., Galton, F.: On the probability of the extinction of families. J. Anthropol. Inst. Great Britain and Ireland 4, 138\u2013144 (1874)","journal-title":"J. Anthropol. Inst. Great Britain and Ireland"}],"container-title":["IFIP International Federation for Information Processing","Fifth Ifip International Conference On Theoretical Computer Science \u2013 Tcs 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-09680-3_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:44:33Z","timestamp":1619574273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-09680-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387096797","9780387096803"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-09680-3_20","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[]}}