[{"doi":"10.1103/PhysRevLett.107.230404","volume":107,"main_file_link":[{"url":"https://arxiv.org/abs/1107.4516","open_access":"1"}],"_id":"1054","extern":"1","issue":"23","citation":{"chicago":"Haller, Elmar, Mahmoud Rabie, Manfred Mark, Johann G Danzl, Russell Hart, Katharina Lauber, Guido Pupillo, and Hanns Nägerl. “Three-Body Correlation Functions and Recombination Rates for Bosons in Three Dimensions and One Dimension.” <i>Physical Review Letters</i>. American Physical Society, 2011. <a href=\"https://doi.org/10.1103/PhysRevLett.107.230404\">https://doi.org/10.1103/PhysRevLett.107.230404</a>.","mla":"Haller, Elmar, et al. “Three-Body Correlation Functions and Recombination Rates for Bosons in Three Dimensions and One Dimension.” <i>Physical Review Letters</i>, vol. 107, no. 23, American Physical Society, 2011, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.107.230404\">10.1103/PhysRevLett.107.230404</a>.","short":"E. Haller, M. Rabie, M. Mark, J.G. Danzl, R. Hart, K. Lauber, G. Pupillo, H. Nägerl, Physical Review Letters 107 (2011).","ieee":"E. Haller <i>et al.</i>, “Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension,” <i>Physical Review Letters</i>, vol. 107, no. 23. American Physical Society, 2011.","ama":"Haller E, Rabie M, Mark M, et al. Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension. <i>Physical Review Letters</i>. 2011;107(23). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.107.230404\">10.1103/PhysRevLett.107.230404</a>","apa":"Haller, E., Rabie, M., Mark, M., Danzl, J. G., Hart, R., Lauber, K., … Nägerl, H. (2011). Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.107.230404\">https://doi.org/10.1103/PhysRevLett.107.230404</a>","ista":"Haller E, Rabie M, Mark M, Danzl JG, Hart R, Lauber K, Pupillo G, Nägerl H. 2011. Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension. Physical Review Letters. 107(23)."},"acknowledgement":"We thank R. Grimm for generous support. We gratefully acknowledge funding by the Austrian Science Fund (FWF) within Project No. I153-N16 and within the framework of the European Science Foundation (ESF) EuroQUASAR collective research project QuDeGPM. G. P. acknowledges funding from the EU through NAME-QUAM and AQUTE.","month":"12","intvolume":"       107","publist_id":"6335","date_created":"2018-12-11T11:49:54Z","date_updated":"2021-01-12T06:47:57Z","arxiv":1,"publisher":"American Physical Society","publication_status":"published","type":"journal_article","publication":"Physical Review Letters","day":"02","date_published":"2011-12-02T00:00:00Z","title":"Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension","year":"2011","author":[{"last_name":"Haller","full_name":"Haller, Elmar","first_name":"Elmar"},{"full_name":"Rabie, Mahmoud","last_name":"Rabie","first_name":"Mahmoud"},{"full_name":"Mark, Manfred","last_name":"Mark","first_name":"Manfred"},{"id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","first_name":"Johann G","last_name":"Danzl","full_name":"Danzl, Johann G","orcid":"0000-0001-8559-3973"},{"first_name":"Russell","last_name":"Hart","full_name":"Hart, Russell"},{"first_name":"Katharina","full_name":"Lauber, Katharina","last_name":"Lauber"},{"full_name":"Pupillo, Guido","last_name":"Pupillo","first_name":"Guido"},{"first_name":"Hanns","full_name":"Nägerl, Hanns","last_name":"Nägerl"}],"status":"public","oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","abstract":[{"text":"We investigate local three-body correlations for bosonic particles in three dimensions and one dimension as a function of the interaction strength. The three-body correlation function g(3) is determined by measuring the three-body recombination rate in an ultracold gas of Cs atoms. In three dimensions, we measure the dependence of g(3) on the gas parameter in a BEC, finding good agreement with the theoretical prediction accounting for beyond-mean-field effects. In one dimension, we observe a reduction of g( 3) by several orders of magnitude upon increasing interactions from the weakly interacting BEC to the strongly interacting Tonks-Girardeau regime, in good agreement with predictions from the Lieb-Liniger model for all strengths of interaction.","lang":"eng"}],"external_id":{"arxiv":["1107.4516"]},"oa":1,"language":[{"iso":"eng"}]},{"external_id":{"pmid":["21257907"]},"article_processing_charge":"No","abstract":[{"text":"Imprinted genes are expressed primarily or exclusively from either the maternal or paternal allele, a phenomenon that occurs in flowering plants and mammals. Flowering plant imprinted gene expression has been described primarily in endosperm, a terminal nutritive tissue consumed by the embryo during seed development or after germination. Imprinted expression in Arabidopsis thaliana endosperm is orchestrated by differences in cytosine DNA methylation between the paternal and maternal genomes as well as by Polycomb group proteins. Currently, only 11 imprinted A. thaliana genes are known. Here, we use extensive sequencing of cDNA libraries to identify 9 paternally expressed and 34 maternally expressed imprinted genes in A. thaliana endosperm that are regulated by the DNA-demethylating glycosylase DEMETER, the DNA methyltransferase MET1, and/or the core Polycomb group protein FIE. These genes encode transcription factors, proteins involved in hormone signaling, components of the ubiquitin protein degradation pathway, regulators of histone and DNA methylation, and small RNA pathway proteins. We also identify maternally expressed genes that may be regulated by unknown mechanisms or deposited from maternal tissues. We did not detect any imprinted genes in the embryo. Our results show that imprinted gene expression is an extensive mechanistically complex phenomenon that likely affects multiple aspects of seed development.","lang":"eng"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","pmid":1,"language":[{"iso":"eng"}],"oa":1,"year":"2011","publication_identifier":{"issn":["0027-8424"],"eissn":["1091-6490"]},"oa_version":"Published Version","status":"public","page":"1755-1762","author":[{"full_name":"Hsieh, Tzung-Fu","last_name":"Hsieh","first_name":"Tzung-Fu"},{"first_name":"Juhyun","full_name":"Shin, Juhyun","last_name":"Shin"},{"full_name":"Uzawa, Rie","last_name":"Uzawa","first_name":"Rie"},{"full_name":"Silva, Pedro","last_name":"Silva","first_name":"Pedro"},{"first_name":"Stephanie","last_name":"Cohen","full_name":"Cohen, Stephanie"},{"first_name":"Matthew J.","last_name":"Bauer","full_name":"Bauer, Matthew J."},{"first_name":"Meryl","full_name":"Hashimoto, Meryl","last_name":"Hashimoto"},{"last_name":"Kirkbride","full_name":"Kirkbride, Ryan C.","first_name":"Ryan C."},{"last_name":"Harada","full_name":"Harada, John J.","first_name":"John J."},{"full_name":"Zilberman, Daniel","last_name":"Zilberman","orcid":"0000-0002-0123-8649","first_name":"Daniel","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1"},{"last_name":"Fischer","full_name":"Fischer, Robert L.","first_name":"Robert L."}],"publication_status":"published","scopus_import":"1","quality_controlled":"1","type":"journal_article","publisher":"National Academy of Sciences","title":"Regulation of imprinted gene expression in Arabidopsis endosperm","date_published":"2011-02-01T00:00:00Z","day":"01","publication":"Proceedings of the National Academy of Sciences","issue":"5","extern":"1","_id":"9483","main_file_link":[{"url":"https://doi.org/10.1073/pnas.1019273108","open_access":"1"}],"volume":108,"doi":"10.1073/pnas.1019273108","date_created":"2021-06-07T07:40:38Z","date_updated":"2021-12-14T08:33:49Z","department":[{"_id":"DaZi"}],"intvolume":"       108","article_type":"original","month":"02","citation":{"ista":"Hsieh T-F, Shin J, Uzawa R, Silva P, Cohen S, Bauer MJ, Hashimoto M, Kirkbride RC, Harada JJ, Zilberman D, Fischer RL. 2011. Regulation of imprinted gene expression in Arabidopsis endosperm. Proceedings of the National Academy of Sciences. 108(5), 1755–1762.","ama":"Hsieh T-F, Shin J, Uzawa R, et al. Regulation of imprinted gene expression in Arabidopsis endosperm. <i>Proceedings of the National Academy of Sciences</i>. 2011;108(5):1755-1762. doi:<a href=\"https://doi.org/10.1073/pnas.1019273108\">10.1073/pnas.1019273108</a>","apa":"Hsieh, T.-F., Shin, J., Uzawa, R., Silva, P., Cohen, S., Bauer, M. J., … Fischer, R. L. (2011). Regulation of imprinted gene expression in Arabidopsis endosperm. <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.1019273108\">https://doi.org/10.1073/pnas.1019273108</a>","short":"T.-F. Hsieh, J. Shin, R. Uzawa, P. Silva, S. Cohen, M.J. Bauer, M. Hashimoto, R.C. Kirkbride, J.J. Harada, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 108 (2011) 1755–1762.","mla":"Hsieh, Tzung-Fu, et al. “Regulation of Imprinted Gene Expression in Arabidopsis Endosperm.” <i>Proceedings of the National Academy of Sciences</i>, vol. 108, no. 5, National Academy of Sciences, 2011, pp. 1755–62, doi:<a href=\"https://doi.org/10.1073/pnas.1019273108\">10.1073/pnas.1019273108</a>.","ieee":"T.-F. Hsieh <i>et al.</i>, “Regulation of imprinted gene expression in Arabidopsis endosperm,” <i>Proceedings of the National Academy of Sciences</i>, vol. 108, no. 5. National Academy of Sciences, pp. 1755–1762, 2011.","chicago":"Hsieh, Tzung-Fu, Juhyun Shin, Rie Uzawa, Pedro Silva, Stephanie Cohen, Matthew J. Bauer, Meryl Hashimoto, et al. “Regulation of Imprinted Gene Expression in Arabidopsis Endosperm.” <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences, 2011. <a href=\"https://doi.org/10.1073/pnas.1019273108\">https://doi.org/10.1073/pnas.1019273108</a>."}},{"citation":{"chicago":"Zilberman, Daniel. <i>Balancing Parental Contributions in Plant Embryonic Gene Activation</i>. <i>Developmental Cell</i>. Vol. 20. Elsevier, 2011. <a href=\"https://doi.org/10.1016/j.devcel.2011.05.018\">https://doi.org/10.1016/j.devcel.2011.05.018</a>.","short":"D. Zilberman, Balancing Parental Contributions in Plant Embryonic Gene Activation, Elsevier, 2011.","mla":"Zilberman, Daniel. “Balancing Parental Contributions in Plant Embryonic Gene Activation.” <i>Developmental Cell</i>, vol. 20, no. 6, Elsevier, 2011, pp. 735–36, doi:<a href=\"https://doi.org/10.1016/j.devcel.2011.05.018\">10.1016/j.devcel.2011.05.018</a>.","ieee":"D. Zilberman, <i>Balancing parental contributions in plant embryonic gene activation</i>, vol. 20, no. 6. Elsevier, 2011, pp. 735–736.","ama":"Zilberman D. <i>Balancing Parental Contributions in Plant Embryonic Gene Activation</i>. Vol 20. Elsevier; 2011:735-736. doi:<a href=\"https://doi.org/10.1016/j.devcel.2011.05.018\">10.1016/j.devcel.2011.05.018</a>","apa":"Zilberman, D. (2011). <i>Balancing parental contributions in plant embryonic gene activation</i>. <i>Developmental Cell</i> (Vol. 20, pp. 735–736). Elsevier. <a href=\"https://doi.org/10.1016/j.devcel.2011.05.018\">https://doi.org/10.1016/j.devcel.2011.05.018</a>","ista":"Zilberman D. 2011. Balancing parental contributions in plant embryonic gene activation, Elsevier,p."},"month":"06","intvolume":"        20","date_created":"2021-06-08T06:23:39Z","date_updated":"2021-12-14T08:34:37Z","department":[{"_id":"DaZi"}],"doi":"10.1016/j.devcel.2011.05.018","main_file_link":[{"url":"https://doi.org/10.1016/j.devcel.2011.05.018","open_access":"1"}],"volume":20,"extern":"1","_id":"9522","issue":"6","publication":"Developmental Cell","title":"Balancing parental contributions in plant embryonic gene activation","date_published":"2011-06-14T00:00:00Z","day":"14","publisher":"Elsevier","type":"other_academic_publication","quality_controlled":"1","publication_status":"published","page":"735-736","author":[{"orcid":"0000-0002-0123-8649","last_name":"Zilberman","full_name":"Zilberman, Daniel","first_name":"Daniel","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1"}],"status":"public","oa_version":"Published Version","publication_identifier":{"issn":["1534-5807"],"eissn":["1878-1551"]},"year":"2011","oa":1,"language":[{"iso":"eng"}],"pmid":1,"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Little is known about chromatin remodeling events immediately after fertilization. A recent report by Autran et al. (2011) in Cell now shows that chromatin regulatory pathways that silence transposable elements are responsible for global delayed activation of gene expression in the early Arabidopsis embryo."}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","external_id":{"pmid":["21664571"]}},{"conference":{"start_date":"2011-08-29","location":"Seville, Spain","name":"CAIP: International Conference on Computer Analysis of Images and Patterns","end_date":"2011-08-31"},"_id":"9648","main_file_link":[{"open_access":"1","url":"http://hdl.handle.net/11441/30766"}],"volume":6854,"doi":"10.1007/978-3-642-23672-3_35","department":[{"_id":"HeEd"}],"date_updated":"2021-08-12T13:53:17Z","date_created":"2021-07-11T22:01:19Z","intvolume":"      6854","month":"08","citation":{"ista":"Gonzalez-Diaz R, Ion A, Jimenez MJ, Poyatos R. 2011. Incremental-decremental algorithm for computing AT-models and persistent homology. Computer Analysis of Images and Patterns. CAIP: International Conference on Computer Analysis of Images and Patterns, LNCS, vol. 6854, 286–293.","apa":"Gonzalez-Diaz, R., Ion, A., Jimenez, M. J., &#38; Poyatos, R. (2011). Incremental-decremental algorithm for computing AT-models and persistent homology. In <i>Computer Analysis of Images and Patterns</i> (Vol. 6854, pp. 286–293). Seville, Spain: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-642-23672-3_35\">https://doi.org/10.1007/978-3-642-23672-3_35</a>","ama":"Gonzalez-Diaz R, Ion A, Jimenez MJ, Poyatos R. Incremental-decremental algorithm for computing AT-models and persistent homology. In: <i>Computer Analysis of Images and Patterns</i>. Vol 6854. Springer Nature; 2011:286-293. doi:<a href=\"https://doi.org/10.1007/978-3-642-23672-3_35\">10.1007/978-3-642-23672-3_35</a>","ieee":"R. Gonzalez-Diaz, A. Ion, M. J. Jimenez, and R. Poyatos, “Incremental-decremental algorithm for computing AT-models and persistent homology,” in <i>Computer Analysis of Images and Patterns</i>, Seville, Spain, 2011, vol. 6854, pp. 286–293.","short":"R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.","mla":"Gonzalez-Diaz, Rocio, et al. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.” <i>Computer Analysis of Images and Patterns</i>, vol. 6854, Springer Nature, 2011, pp. 286–93, doi:<a href=\"https://doi.org/10.1007/978-3-642-23672-3_35\">10.1007/978-3-642-23672-3_35</a>.","chicago":"Gonzalez-Diaz, Rocio, Adrian Ion, Maria Jose Jimenez, and Regina Poyatos. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.” In <i>Computer Analysis of Images and Patterns</i>, 6854:286–93. Springer Nature, 2011. <a href=\"https://doi.org/10.1007/978-3-642-23672-3_35\">https://doi.org/10.1007/978-3-642-23672-3_35</a>."},"publication_status":"published","type":"conference","quality_controlled":"1","scopus_import":"1","publisher":"Springer Nature","alternative_title":["LNCS"],"day":"01","date_published":"2011-08-01T00:00:00Z","title":"Incremental-decremental algorithm for computing AT-models and persistent homology","publication":"Computer Analysis of Images and Patterns","year":"2011","publication_identifier":{"isbn":["9783642236716"],"eissn":["16113349"],"issn":["03029743"]},"oa_version":"Published Version","status":"public","author":[{"first_name":"Rocio","full_name":"Gonzalez-Diaz, Rocio","last_name":"Gonzalez-Diaz"},{"last_name":"Ion","full_name":"Ion, Adrian","first_name":"Adrian","id":"29F89302-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Maria Jose","last_name":"Jimenez","full_name":"Jimenez, Maria Jose"},{"first_name":"Regina","last_name":"Poyatos","full_name":"Poyatos, Regina"}],"page":"286-293","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","abstract":[{"lang":"eng","text":"In this paper, we establish a correspondence between the incremental algorithm for computing AT-models [8,9] and the one for computing persistent homology [6,14,15]. We also present a decremental algorithm for computing AT-models that allows to extend the persistence computation to a wider setting. Finally, we show how to combine incremental and decremental techniques for persistent homology computation."}],"article_processing_charge":"No","language":[{"iso":"eng"}],"oa":1},{"date_created":"2018-12-11T11:49:27Z","date_updated":"2021-01-12T08:22:18Z","publist_id":"6432","status":"public","intvolume":"        84","month":"11","author":[{"orcid":"0000-0002-2399-5827","last_name":"Serbyn","full_name":"Maksym Serbyn","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","first_name":"Maksym"},{"full_name":"Senthil, Todadri S","last_name":"Senthil","first_name":"Todadri"},{"first_name":"Patrick","last_name":"Lee","full_name":"Lee, Patrick"}],"citation":{"chicago":"Serbyn, Maksym, Todadri Senthil, and Patrick Lee. “Exotic S=1 Spin-Liquid State with Fermionic Excitations on the Triangular Lattice.” <i>Physical Review B - Condensed Matter and Materials Physics</i>. American Physical Society, 2011. <a href=\"https://doi.org/10.1103/PhysRevB.84.180403\">https://doi.org/10.1103/PhysRevB.84.180403</a>.","ieee":"M. Serbyn, T. Senthil, and P. Lee, “Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice,” <i>Physical Review B - Condensed Matter and Materials Physics</i>, vol. 84, no. 18. American Physical Society, 2011.","short":"M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 84 (2011).","mla":"Serbyn, Maksym, et al. “Exotic S=1 Spin-Liquid State with Fermionic Excitations on the Triangular Lattice.” <i>Physical Review B - Condensed Matter and Materials Physics</i>, vol. 84, no. 18, American Physical Society, 2011, doi:<a href=\"https://doi.org/10.1103/PhysRevB.84.180403\">10.1103/PhysRevB.84.180403</a>.","apa":"Serbyn, M., Senthil, T., &#38; Lee, P. (2011). Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice. <i>Physical Review B - Condensed Matter and Materials Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.84.180403\">https://doi.org/10.1103/PhysRevB.84.180403</a>","ama":"Serbyn M, Senthil T, Lee P. Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice. <i>Physical Review B - Condensed Matter and Materials Physics</i>. 2011;84(18). doi:<a href=\"https://doi.org/10.1103/PhysRevB.84.180403\">10.1103/PhysRevB.84.180403</a>","ista":"Serbyn M, Senthil T, Lee P. 2011. Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 84(18)."},"issue":"18","_id":"967","year":"2011","extern":1,"main_file_link":[{"url":"https://arxiv.org/abs/1108.3070","open_access":"1"}],"volume":84,"doi":"10.1103/PhysRevB.84.180403","title":"Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice","date_published":"2011-11-03T00:00:00Z","day":"03","publication":"Physical Review B - Condensed Matter and Materials Physics","oa":1,"type":"journal_article","publication_status":"published","quality_controlled":0,"abstract":[{"lang":"eng","text":"Motivated by recent experiments on the material Ba3NiSb 2O9, we consider a spin-one quantum antiferromagnet on a triangular lattice with the Heisenberg bilinear and biquadratic exchange interactions and a single-ion anisotropy. Using a fermionic &quot;triplon&quot; representation for spins, we study the phase diagram within mean-field theory. In addition to a fully gapped spin-liquid ground state, we find a state where one gapless triplon mode with a Fermi surface coexists with d+id topological pairing of the other triplons. Despite the existence of a Fermi surface, this ground state has fully gapped bulk spin excitations. Such a state has linear in-temperature specific heat and constant in-plane spin susceptibility, with an unusually high Wilson ratio."}],"publisher":"American Physical Society"},{"doi":"10.1103/PhysRevB.83.024506","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1009.2429"}],"volume":83,"_id":"969","extern":1,"year":"2011","issue":"2","citation":{"ista":"Serbyn M, Lee P. 2011. Isotope effect on the superfluid density in conventional and high-temperature superconductors. Physical Review B - Condensed Matter and Materials Physics. 83(2).","ama":"Serbyn M, Lee P. Isotope effect on the superfluid density in conventional and high-temperature superconductors. <i>Physical Review B - Condensed Matter and Materials Physics</i>. 2011;83(2). doi:<a href=\"https://doi.org/10.1103/PhysRevB.83.024506\">10.1103/PhysRevB.83.024506</a>","apa":"Serbyn, M., &#38; Lee, P. (2011). Isotope effect on the superfluid density in conventional and high-temperature superconductors. <i>Physical Review B - Condensed Matter and Materials Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.83.024506\">https://doi.org/10.1103/PhysRevB.83.024506</a>","short":"M. Serbyn, P. Lee, Physical Review B - Condensed Matter and Materials Physics 83 (2011).","mla":"Serbyn, Maksym, and Patrick Lee. “Isotope Effect on the Superfluid Density in Conventional and High-Temperature Superconductors.” <i>Physical Review B - Condensed Matter and Materials Physics</i>, vol. 83, no. 2, American Physical Society, 2011, doi:<a href=\"https://doi.org/10.1103/PhysRevB.83.024506\">10.1103/PhysRevB.83.024506</a>.","ieee":"M. Serbyn and P. Lee, “Isotope effect on the superfluid density in conventional and high-temperature superconductors,” <i>Physical Review B - Condensed Matter and Materials Physics</i>, vol. 83, no. 2. American Physical Society, 2011.","chicago":"Serbyn, Maksym, and Patrick Lee. “Isotope Effect on the Superfluid Density in Conventional and High-Temperature Superconductors.” <i>Physical Review B - Condensed Matter and Materials Physics</i>. American Physical Society, 2011. <a href=\"https://doi.org/10.1103/PhysRevB.83.024506\">https://doi.org/10.1103/PhysRevB.83.024506</a>."},"author":[{"full_name":"Maksym Serbyn","last_name":"Serbyn","orcid":"0000-0002-2399-5827","first_name":"Maksym","id":"47809E7E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Lee, Patrick","last_name":"Lee","first_name":"Patrick"}],"month":"01","intvolume":"        83","status":"public","publist_id":"6434","date_created":"2018-12-11T11:49:28Z","date_updated":"2021-01-12T08:22:19Z","publisher":"American Physical Society","abstract":[{"text":"We investigate the isotope effect on the London penetration depth of a superconductor which measures n S/m*, the ratio of superfluid density to effective mass. We use a simplified model of electrons weakly coupled to a single phonon frequency ω E, but assume that the energy gap Δ does not have any isotope effect. Nevertheless, we find an isotope effect for n S/m* which is significant if Δ is sufficiently large that it becomes comparable to ω E, a regime of interest to high-T c cuprate superconductors and possibly other families of unconventional superconductors with relatively high T c. Our model is too simple to describe the cuprates and it gives the wrong sign of the isotope effect when compared with experiment, but it is a proof of principle that the isotope effect exists for n S/m* in materials where the pairing gap and T c are not of phonon origin and have no isotope effect.","lang":"eng"}],"type":"journal_article","quality_controlled":0,"publication_status":"published","oa":1,"publication":"Physical Review B - Condensed Matter and Materials Physics","day":"19","title":"Isotope effect on the superfluid density in conventional and high-temperature superconductors","date_published":"2011-01-19T00:00:00Z"},{"publisher":"IST Austria","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","article_processing_charge":"No","abstract":[{"text":"Defining population structure and genetic diversity levels is of the utmost importance for developing efficient conservation strategies. Overfishing has caused mean annual catches of the European spiny lobster (Palinurus elephas) to decrease alarmingly along its distribution area. In this context, there is a need for comprehensive studies to evaluate the genetic health of the exploited populations. The present work is based on a set of 10 nuclear markers amplified in 331 individuals from 10 different localities covering most of P. elephas distribution area. Samples from Atlantic and Mediterranean basins showed small but significant differences, indicating that P. elephas populations do not behave as a single panmictic unit but form two partially-overlapping groups. Despite intense overfishing, our dataset did not recover a recent bottleneck signal, and showed a large and stable historical effective size instead. This result could be accounted for by specific life history traits (reproduction and longevity) and the limitations of molecular markers in covering very recent timescales for non temporal samples. Our study emphasizes the necessity of integrating information on effective population sizes and life history parameters when evaluating population connectivity levels from genetic data.","lang":"eng"}],"type":"research_data_reference","oa":1,"day":"12","date_published":"2011-05-12T00:00:00Z","title":"Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas)","doi":"10.5061/dryad.299h8","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5061/dryad.299h8"}],"year":"2011","_id":"9762","citation":{"ama":"Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas). 2011. doi:<a href=\"https://doi.org/10.5061/dryad.299h8\">10.5061/dryad.299h8</a>","apa":"Palero, F., Abello, P., Macpherson, E., Beaumont, M., &#38; Pascual, M. (2011). Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas). IST Austria. <a href=\"https://doi.org/10.5061/dryad.299h8\">https://doi.org/10.5061/dryad.299h8</a>","ista":"Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. 2011. Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas), IST Austria, <a href=\"https://doi.org/10.5061/dryad.299h8\">10.5061/dryad.299h8</a>.","chicago":"Palero, Ferran, Pere Abello, Enrique Macpherson, Mark Beaumont, and Marta Pascual. “Data from: Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster (Palinurus Elephas).” IST Austria, 2011. <a href=\"https://doi.org/10.5061/dryad.299h8\">https://doi.org/10.5061/dryad.299h8</a>.","short":"F. Palero, P. Abello, E. Macpherson, M. Beaumont, M. Pascual, (2011).","mla":"Palero, Ferran, et al. <i>Data from: Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster (Palinurus Elephas)</i>. IST Austria, 2011, doi:<a href=\"https://doi.org/10.5061/dryad.299h8\">10.5061/dryad.299h8</a>.","ieee":"F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas).” IST Austria, 2011."},"related_material":{"record":[{"id":"3395","status":"public","relation":"used_in_publication"}]},"author":[{"orcid":"0000-0002-0343-8329","last_name":"Palero","full_name":"Palero, Ferran","id":"3F0E2A22-F248-11E8-B48F-1D18A9856A87","first_name":"Ferran"},{"full_name":"Abello, Pere","last_name":"Abello","first_name":"Pere"},{"first_name":"Enrique","full_name":"Macpherson, Enrique","last_name":"Macpherson"},{"first_name":"Mark","full_name":"Beaumont, Mark","last_name":"Beaumont"},{"full_name":"Pascual, Marta","last_name":"Pascual","first_name":"Marta"}],"month":"05","status":"public","oa_version":"Published Version","department":[{"_id":"NiBa"}],"date_updated":"2023-02-23T11:25:25Z","date_created":"2021-08-02T07:11:19Z"},{"publisher":"Institute of Electrical and Electronics Engineers","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","abstract":[{"text":"Segmentation is the process of partitioning digital images into meaningful regions. The analysis of biological high content images often requires segmentation as a first step. We propose ilastik as an easy-to-use tool which allows the user without expertise in image processing to perform segmentation and classification in a unified way. ilastik learns from labels provided by the user through a convenient mouse interface. Based on these labels, ilastik infers a problem specific segmentation. A random forest classifier is used in the learning step, in which each pixel's neighborhood is characterized by a set of generic (nonlinear) features. ilastik supports up to three spatial plus one spectral dimension and makes use of all dimensions in the feature calculation. ilastik provides realtime feedback that enables the user to interactively refine the segmentation result and hence further fine-tune the classifier. An uncertainty measure guides the user to ambiguous regions in the images. Real time performance is achieved by multi-threading which fully exploits the capabilities of modern multi-core machines. Once a classifier has been trained on a set of representative images, it can be exported and used to automatically process a very large number of images (e.g. using the CellProfiler pipeline). ilastik is an open source project and released under the BSD license at www.ilastik.org.","lang":"eng"}],"article_processing_charge":"No","publication_status":"published","quality_controlled":"1","type":"conference","publication":"2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro","language":[{"iso":"eng"}],"day":"09","keyword":["image segmentation","biomedical imaging","three dimensional displays","neurons","retina","observers","image color analysis"],"title":"Ilastik: Interactive learning and segmentation toolkit","date_published":"2011-06-09T00:00:00Z","oa":1,"conference":{"end_date":"2011-04-02","name":"ISBI: International Symposium on Biomedical Imaging","start_date":"2011-03-30","location":"Chicago, Illinois, USA"},"_id":"9943","year":"2011","extern":"1","doi":"10.1109/isbi.2011.5872394","publication_identifier":{"isbn":["978-1-4244-4127-3"],"eissn":["1945-8452"],"issn":["1945-7928"]},"main_file_link":[{"open_access":"1","url":"https://www.researchgate.net/publication/224241106_Ilastik_Interactive_learning_and_segmentation_toolkit"}],"status":"public","department":[{"_id":"Bio"}],"oa_version":"Preprint","date_updated":"2023-02-23T14:13:38Z","date_created":"2021-08-19T11:49:58Z","citation":{"ista":"Sommer CM, Straehle C, Köthe U, Hamprecht FA. 2011. Ilastik: Interactive learning and segmentation toolkit. 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro. ISBI: International Symposium on Biomedical Imaging.","apa":"Sommer, C. M., Straehle, C., Köthe, U., &#38; Hamprecht, F. A. (2011). Ilastik: Interactive learning and segmentation toolkit. In <i>2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro</i>. Chicago, Illinois, USA: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/isbi.2011.5872394\">https://doi.org/10.1109/isbi.2011.5872394</a>","ama":"Sommer CM, Straehle C, Köthe U, Hamprecht FA. Ilastik: Interactive learning and segmentation toolkit. In: <i>2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro</i>. Institute of Electrical and Electronics Engineers; 2011. doi:<a href=\"https://doi.org/10.1109/isbi.2011.5872394\">10.1109/isbi.2011.5872394</a>","ieee":"C. M. Sommer, C. Straehle, U. Köthe, and F. A. Hamprecht, “Ilastik: Interactive learning and segmentation toolkit,” in <i>2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro</i>, Chicago, Illinois, USA, 2011.","short":"C.M. Sommer, C. Straehle, U. Köthe, F.A. Hamprecht, in:, 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro, Institute of Electrical and Electronics Engineers, 2011.","mla":"Sommer, Christoph M., et al. “Ilastik: Interactive Learning and Segmentation Toolkit.” <i>2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro</i>, Institute of Electrical and Electronics Engineers, 2011, doi:<a href=\"https://doi.org/10.1109/isbi.2011.5872394\">10.1109/isbi.2011.5872394</a>.","chicago":"Sommer, Christoph M, Christoph Straehle, Ullrich Köthe, and Fred A. Hamprecht. “Ilastik: Interactive Learning and Segmentation Toolkit.” In <i>2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro</i>. Institute of Electrical and Electronics Engineers, 2011. <a href=\"https://doi.org/10.1109/isbi.2011.5872394\">https://doi.org/10.1109/isbi.2011.5872394</a>."},"author":[{"id":"4DF26D8C-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph M","full_name":"Sommer, Christoph M","last_name":"Sommer","orcid":"0000-0003-1216-9105"},{"last_name":"Straehle","full_name":"Straehle, Christoph","first_name":"Christoph"},{"first_name":"Ullrich","full_name":"Köthe, Ullrich","last_name":"Köthe"},{"first_name":"Fred A.","full_name":"Hamprecht, Fred A.","last_name":"Hamprecht"}],"month":"06"},{"citation":{"apa":"Eggermann, E., &#38; Jonas, P. M. (2011). How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. <i>Nature Neuroscience</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nn.3002\">https://doi.org/10.1038/nn.3002</a>","ama":"Eggermann E, Jonas PM. How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. <i>Nature Neuroscience</i>. 2011;15:20-22. doi:<a href=\"https://doi.org/10.1038/nn.3002\">10.1038/nn.3002</a>","ista":"Eggermann E, Jonas PM. 2011. How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. Nature Neuroscience. 15, 20–22.","chicago":"Eggermann, Emmanuel, and Peter M Jonas. “How the ‘Slow’ Ca(2+) Buffer Parvalbumin Affects Transmitter Release in Nanodomain Coupling Regimes at GABAergic Synapses.” <i>Nature Neuroscience</i>. Nature Publishing Group, 2011. <a href=\"https://doi.org/10.1038/nn.3002\">https://doi.org/10.1038/nn.3002</a>.","ieee":"E. Eggermann and P. M. Jonas, “How the ‘slow’ Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses,” <i>Nature Neuroscience</i>, vol. 15. Nature Publishing Group, pp. 20–22, 2011.","short":"E. Eggermann, P.M. Jonas, Nature Neuroscience 15 (2011) 20–22.","mla":"Eggermann, Emmanuel, and Peter M. Jonas. “How the ‘Slow’ Ca(2+) Buffer Parvalbumin Affects Transmitter Release in Nanodomain Coupling Regimes at GABAergic Synapses.” <i>Nature Neuroscience</i>, vol. 15, Nature Publishing Group, 2011, pp. 20–22, doi:<a href=\"https://doi.org/10.1038/nn.3002\">10.1038/nn.3002</a>."},"month":"12","page":"20 - 22","author":[{"last_name":"Eggermann","full_name":"Eggermann, Emmanuel","first_name":"Emmanuel"},{"orcid":"0000-0001-5001-4804","last_name":"Jonas","full_name":"Jonas, Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M"}],"status":"public","intvolume":"        15","date_updated":"2021-01-12T07:42:37Z","date_created":"2018-12-11T12:02:38Z","publist_id":"3321","department":[{"_id":"PeJo"}],"oa_version":"Submitted Version","doi":"10.1038/nn.3002","volume":15,"main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3631701/","open_access":"1"}],"year":"2011","_id":"3318","oa":1,"language":[{"iso":"eng"}],"publication":"Nature Neuroscience","title":"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses","date_published":"2011-12-04T00:00:00Z","day":"04","abstract":[{"text":"Parvalbumin is thought to act in a manner similar to EGTA, but how a slow Ca2+ buffer affects nanodomain-coupling regimes at GABAergic synapses is unclear. Direct measurements of parvalbumin concentration and paired recordings in rodent hippocampus and cerebellum revealed that parvalbumin affects synaptic dynamics only when expressed at high levels. Modeling suggests that, in high concentrations, parvalbumin may exert BAPTA-like effects, modulating nanodomain coupling via competition with local saturation of endogenous fixed buffers.","lang":"eng"}],"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publisher":"Nature Publishing Group","publication_status":"published","scopus_import":1,"quality_controlled":"1","type":"journal_article"},{"abstract":[{"lang":"eng","text":"Powerful statistical models that can be learned efficiently from large amounts of data are currently revolutionizing computer vision. These models possess a rich internal structure reflecting task-specific relations and constraints. This monograph introduces the reader to the most popular classes of structured models in computer vision. Our focus is discrete undirected graphical models which we cover in detail together with a description of algorithms for both probabilistic inference and maximum a posteriori inference. We discuss separately recently successful techniques for prediction in general structured models. In the second part of this monograph we describe methods for parameter learning where we distinguish the classic maximum likelihood based methods from the more recent prediction-based parameter learning methods. We highlight developments to enhance current models and discuss kernelized models and latent variable models. To make the monograph more practical and to provide links to further study we provide examples of successful application of many methods in the computer vision literature."}],"article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2020-07-14T12:46:07Z","language":[{"iso":"eng"}],"oa":1,"ddc":["000"],"year":"2011","status":"public","oa_version":"Published Version","page":"185 - 365","author":[{"first_name":"Sebastian","last_name":"Nowozin","full_name":"Nowozin, Sebastian"},{"first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph","last_name":"Lampert","orcid":"0000-0001-8622-7887"}],"publisher":"Now Publishers","scopus_import":"1","quality_controlled":"1","type":"journal_article","publication_status":"published","has_accepted_license":"1","publication":"Foundations and Trends in Computer Graphics and Vision","date_published":"2011-05-23T00:00:00Z","title":"Structured learning and prediction in computer vision","day":"23","_id":"3320","issue":"3-4","doi":"10.1561/0600000033","volume":6,"file":[{"file_name":"2011_CompGraphicsVision_Nowozin.pdf","file_size":3745064,"creator":"dernst","content_type":"application/pdf","date_updated":"2020-07-14T12:46:07Z","date_created":"2020-05-14T14:34:47Z","access_level":"open_access","relation":"main_file","checksum":"f1043ef389f1558e2a226bb51568511f","file_id":"7837"}],"intvolume":"         6","date_created":"2018-12-11T12:02:39Z","date_updated":"2023-10-17T11:52:46Z","publist_id":"3315","department":[{"_id":"ChLa"}],"citation":{"ista":"Nowozin S, Lampert C. 2011. Structured learning and prediction in computer vision. Foundations and Trends in Computer Graphics and Vision. 6(3–4), 185–365.","ama":"Nowozin S, Lampert C. Structured learning and prediction in computer vision. <i>Foundations and Trends in Computer Graphics and Vision</i>. 2011;6(3-4):185-365. doi:<a href=\"https://doi.org/10.1561/0600000033\">10.1561/0600000033</a>","apa":"Nowozin, S., &#38; Lampert, C. (2011). Structured learning and prediction in computer vision. <i>Foundations and Trends in Computer Graphics and Vision</i>. Now Publishers. <a href=\"https://doi.org/10.1561/0600000033\">https://doi.org/10.1561/0600000033</a>","short":"S. Nowozin, C. Lampert, Foundations and Trends in Computer Graphics and Vision 6 (2011) 185–365.","mla":"Nowozin, Sebastian, and Christoph Lampert. “Structured Learning and Prediction in Computer Vision.” <i>Foundations and Trends in Computer Graphics and Vision</i>, vol. 6, no. 3–4, Now Publishers, 2011, pp. 185–365, doi:<a href=\"https://doi.org/10.1561/0600000033\">10.1561/0600000033</a>.","ieee":"S. Nowozin and C. Lampert, “Structured learning and prediction in computer vision,” <i>Foundations and Trends in Computer Graphics and Vision</i>, vol. 6, no. 3–4. Now Publishers, pp. 185–365, 2011.","chicago":"Nowozin, Sebastian, and Christoph Lampert. “Structured Learning and Prediction in Computer Vision.” <i>Foundations and Trends in Computer Graphics and Vision</i>. Now Publishers, 2011. <a href=\"https://doi.org/10.1561/0600000033\">https://doi.org/10.1561/0600000033</a>."},"month":"05","article_type":"original"},{"title":"Decision procedures for automating termination proofs","date_published":"2011-01-01T00:00:00Z","day":"01","quality_controlled":"1","publication_status":"published","type":"conference","scopus_import":1,"publisher":"Springer","alternative_title":["LNCS"],"date_created":"2018-12-11T12:02:40Z","date_updated":"2021-01-12T07:42:39Z","department":[{"_id":"ToHe"}],"publist_id":"3311","intvolume":"      6538","month":"01","citation":{"ista":"Piskac R, Wies T. 2011. Decision procedures for automating termination proofs. VMCAI: Verification Model Checking and Abstract Interpretation, LNCS, vol. 6538, 371–386.","apa":"Piskac, R., &#38; Wies, T. (2011). Decision procedures for automating termination proofs. In R. Jhala &#38; D. Schmidt (Eds.) (Vol. 6538, pp. 371–386). Presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-642-18275-4_26\">https://doi.org/10.1007/978-3-642-18275-4_26</a>","ama":"Piskac R, Wies T. Decision procedures for automating termination proofs. In: Jhala R, Schmidt D, eds. Vol 6538. Springer; 2011:371-386. doi:<a href=\"https://doi.org/10.1007/978-3-642-18275-4_26\">10.1007/978-3-642-18275-4_26</a>","ieee":"R. Piskac and T. Wies, “Decision procedures for automating termination proofs,” presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA, 2011, vol. 6538, pp. 371–386.","mla":"Piskac, Ruzica, and Thomas Wies. <i>Decision Procedures for Automating Termination Proofs</i>. Edited by Ranjit Jhala and David Schmidt, vol. 6538, Springer, 2011, pp. 371–86, doi:<a href=\"https://doi.org/10.1007/978-3-642-18275-4_26\">10.1007/978-3-642-18275-4_26</a>.","short":"R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.","chicago":"Piskac, Ruzica, and Thomas Wies. “Decision Procedures for Automating Termination Proofs.” edited by Ranjit Jhala and David Schmidt, 6538:371–86. Springer, 2011. <a href=\"https://doi.org/10.1007/978-3-642-18275-4_26\">https://doi.org/10.1007/978-3-642-18275-4_26</a>."},"_id":"3324","conference":{"location":"Texas, USA","start_date":"2011-01-23","end_date":"2011-01-25","name":"VMCAI: Verification Model Checking and Abstract Interpretation"},"volume":6538,"main_file_link":[{"url":"https://infoscience.epfl.ch/record/170697/","open_access":"1"}],"doi":"10.1007/978-3-642-18275-4_26","language":[{"iso":"eng"}],"oa":1,"abstract":[{"lang":"eng","text":"Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program's transition relation and then show that the relational abstraction is well-founded. The focus of current tools has been on developing sophisticated techniques for constructing the abstractions while relying on known decidable logics (such as linear arithmetic) to express them. We believe we can significantly increase the class of programs that are amenable to automated termination proofs by identifying more expressive decidable logics for reasoning about well-founded relations. We therefore present a new decision procedure for reasoning about multiset orderings, which are among the most powerful orderings used to prove termination. We show that, using our decision procedure, one can automatically prove termination of natural abstractions of programs."}],"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","oa_version":"Submitted Version","status":"public","page":"371 - 386","author":[{"last_name":"Piskac","full_name":"Piskac, Ruzica","first_name":"Ruzica"},{"first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","last_name":"Wies","full_name":"Wies, Thomas"}],"editor":[{"first_name":"Ranjit","full_name":"Jhala, Ranjit","last_name":"Jhala"},{"first_name":"David","last_name":"Schmidt","full_name":"Schmidt, David"}],"year":"2011"},{"oa_version":"Submitted Version","status":"public","author":[{"first_name":"Shaull","full_name":"Almagor, Shaull","last_name":"Almagor"},{"id":"31E297B6-F248-11E8-B48F-1D18A9856A87","first_name":"Udi","full_name":"Boker, Udi","last_name":"Boker"},{"first_name":"Orna","full_name":"Kupferman, Orna","last_name":"Kupferman"}],"page":"482 - 491","year":"2011","language":[{"iso":"eng"}],"ddc":["000"],"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"Weighted automata map input words to numerical values. Ap- plications of weighted automata include formal verification of quantitative properties, as well as text, speech, and image processing. A weighted au- tomaton is defined with respect to a semiring. For the tropical semiring, the weight of a run is the sum of the weights of the transitions taken along the run, and the value of a word is the minimal weight of an accepting run on it. In the 90’s, Krob studied the decidability of problems on rational series defined with respect to the tropical semiring. Rational series are strongly related to weighted automata, and Krob’s results apply to them. In par- ticular, it follows from Krob’s results that the universality problem (that is, deciding whether the values of all words are below some threshold) is decidable for weighted automata defined with respect to the tropical semir- ing with domain ∪ {∞}, and that the equality problem is undecidable when the domain is ∪ {∞}. In this paper we continue the study of the borders of decidability in weighted automata, describe alternative and direct proofs of the above results, and tighten them further. Unlike the proofs of Krob, which are algebraic in their nature, our proofs stay in the terrain of state machines, and the reduction is from the halting problem of a two-counter machine. This enables us to significantly simplify Krob’s reasoning, make the un- decidability result accessible to the automata-theoretic community, and strengthen it to apply already to a very simple class of automata: all the states are accepting, there are no initial nor final weights, and all the weights on the transitions are from the set {−1, 0, 1}. The fact we work directly with the automata enables us to tighten also the decidability re- sults and to show that the universality problem for weighted automata defined with respect to the tropical semiring with domain ∪ {∞}, and in fact even with domain ≥0 ∪ {∞}, is PSPACE-complete. Our results thus draw a sharper picture about the decidability of decision problems for weighted automata, in both the front of containment vs. universality and the front of the ∪ {∞} vs. the ∪ {∞} domains.","lang":"eng"}],"article_processing_charge":"No","file_date_updated":"2020-07-14T12:46:07Z","publist_id":"3309","department":[{"_id":"ToHe"}],"date_created":"2018-12-11T12:02:41Z","date_updated":"2021-01-12T07:42:40Z","intvolume":"      6996","month":"10","citation":{"apa":"Almagor, S., Boker, U., &#38; Kupferman, O. (2011). What’s decidable about weighted automata  (Vol. 6996, pp. 482–491). Presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan: Springer. <a href=\"https://doi.org/10.1007/978-3-642-24372-1_37\">https://doi.org/10.1007/978-3-642-24372-1_37</a>","ama":"Almagor S, Boker U, Kupferman O. What’s decidable about weighted automata . In: Vol 6996. Springer; 2011:482-491. doi:<a href=\"https://doi.org/10.1007/978-3-642-24372-1_37\">10.1007/978-3-642-24372-1_37</a>","ista":"Almagor S, Boker U, Kupferman O. 2011. What’s decidable about weighted automata . ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 6996, 482–491.","chicago":"Almagor, Shaull, Udi Boker, and Orna Kupferman. “What’s Decidable about Weighted Automata ,” 6996:482–91. Springer, 2011. <a href=\"https://doi.org/10.1007/978-3-642-24372-1_37\">https://doi.org/10.1007/978-3-642-24372-1_37</a>.","ieee":"S. Almagor, U. Boker, and O. Kupferman, “What’s decidable about weighted automata ,” presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan, 2011, vol. 6996, pp. 482–491.","mla":"Almagor, Shaull, et al. <i>What’s Decidable about Weighted Automata </i>. Vol. 6996, Springer, 2011, pp. 482–91, doi:<a href=\"https://doi.org/10.1007/978-3-642-24372-1_37\">10.1007/978-3-642-24372-1_37</a>.","short":"S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491."},"conference":{"location":"Taipei, Taiwan","start_date":"2011-10-11","end_date":"2011-10-14","name":"ATVA: Automated Technology for Verification and Analysis"},"_id":"3326","file":[{"content_type":"application/pdf","access_level":"open_access","date_created":"2020-05-19T16:08:32Z","relation":"main_file","date_updated":"2020-07-14T12:46:07Z","checksum":"a7ca08a2cb1b6925f4c18a3034ae5659","file_id":"7868","file_name":"2011_LNCS_Almagor.pdf","file_size":182309,"creator":"dernst"}],"volume":6996,"doi":"10.1007/978-3-642-24372-1_37","day":"14","date_published":"2011-10-14T00:00:00Z","title":"What’s decidable about weighted automata ","type":"conference","publication_status":"published","quality_controlled":"1","publisher":"Springer","alternative_title":["LNCS"],"has_accepted_license":"1"},{"quality_controlled":"1","publication_status":"published","scopus_import":1,"type":"conference","abstract":[{"text":"We report on a generic uni- and bivariate algebraic kernel that is publicly available with CGAL 3.7. It comprises complete, correct, though efficient state-of-the-art implementations on polynomials, roots of polynomial systems, and the support to analyze algebraic curves defined by bivariate polynomials. The kernel design is generic, that is, various number types and substeps can be exchanged. It is accompanied with a ready-to-use interface to enable arrangements induced by algebraic curves, that have already been used as basis for various geometric applications, as arrangements on Dupin cyclides or the triangulation of algebraic surfaces. We present two novel applications: arrangements of rotated algebraic curves and Boolean set operations on polygons bounded by segments of algebraic curves. We also provide experiments showing that our general implementation is competitive and even often clearly outperforms existing implementations that are explicitly tailored for specific types of non-linear curves that are available in CGAL.","lang":"eng"}],"article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"ACM","date_published":"2011-06-13T00:00:00Z","title":"A generic algebraic kernel for non linear geometric applications","day":"13","language":[{"iso":"eng"}],"oa":1,"_id":"3328","year":"2011","conference":{"start_date":"2011-06-13","location":"Paris, France","name":"SCG: Symposium on Computational Geometry","end_date":"2011-06-15"},"main_file_link":[{"open_access":"1","url":"https://hal.inria.fr/inria-00480031/file/RR-7274.pdf"}],"doi":"10.1145/1998196.1998224","date_updated":"2021-01-12T07:42:41Z","date_created":"2018-12-11T12:02:42Z","publist_id":"3307","oa_version":"Published Version","department":[{"_id":"HeEd"}],"status":"public","month":"06","page":"179 - 186","author":[{"last_name":"Berberich","full_name":"Berberich, Eric","first_name":"Eric"},{"first_name":"Michael","last_name":"Hemmer","full_name":"Hemmer, Michael"},{"last_name":"Kerber","full_name":"Kerber, Michael","orcid":"0000-0002-8030-9299","id":"36E4574A-F248-11E8-B48F-1D18A9856A87","first_name":"Michael"}],"citation":{"ista":"Berberich E, Hemmer M, Kerber M. 2011. A generic algebraic kernel for non linear geometric applications. SCG: Symposium on Computational Geometry, 179–186.","apa":"Berberich, E., Hemmer, M., &#38; Kerber, M. (2011). A generic algebraic kernel for non linear geometric applications (pp. 179–186). Presented at the SCG: Symposium on Computational Geometry, Paris, France: ACM. <a href=\"https://doi.org/10.1145/1998196.1998224\">https://doi.org/10.1145/1998196.1998224</a>","ama":"Berberich E, Hemmer M, Kerber M. A generic algebraic kernel for non linear geometric applications. In: ACM; 2011:179-186. doi:<a href=\"https://doi.org/10.1145/1998196.1998224\">10.1145/1998196.1998224</a>","ieee":"E. Berberich, M. Hemmer, and M. Kerber, “A generic algebraic kernel for non linear geometric applications,” presented at the SCG: Symposium on Computational Geometry, Paris, France, 2011, pp. 179–186.","mla":"Berberich, Eric, et al. <i>A Generic Algebraic Kernel for Non Linear Geometric Applications</i>. ACM, 2011, pp. 179–86, doi:<a href=\"https://doi.org/10.1145/1998196.1998224\">10.1145/1998196.1998224</a>.","short":"E. Berberich, M. Hemmer, M. Kerber, in:, ACM, 2011, pp. 179–186.","chicago":"Berberich, Eric, Michael Hemmer, and Michael Kerber. “A Generic Algebraic Kernel for Non Linear Geometric Applications,” 179–86. ACM, 2011. <a href=\"https://doi.org/10.1145/1998196.1998224\">https://doi.org/10.1145/1998196.1998224</a>."}},{"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publisher":"ACM","abstract":[{"text":"We consider the offset-deconstruction problem: Given a polygonal shape Q with n vertices, can it be expressed, up to a tolerance µ in Hausdorff distance, as the Minkowski sum of another polygonal shape P with a disk of fixed radius? If it does, we also seek a preferably simple-looking solution shape P; then, P's offset constitutes an accurate, vertex-reduced, and smoothened approximation of Q. We give an O(n log n)-time exact decision algorithm that handles any polygonal shape, assuming the real-RAM model of computation. An alternative algorithm, based purely on rational arithmetic, answers the same deconstruction problem, up to an uncertainty parameter, and its running time depends on the parameter δ (in addition to the other input parameters: n, δ and the radius of the disk). If the input shape is found to be approximable, the rational-arithmetic algorithm also computes an approximate solution shape for the problem. For convex shapes, the complexity of the exact decision algorithm drops to O(n), which is also the time required to compute a solution shape P with at most one more vertex than a vertex-minimal one. Our study is motivated by applications from two different domains. However, since the offset operation has numerous uses, we anticipate that the reverse question that we study here will be still more broadly applicable. We present results obtained with our implementation of the rational-arithmetic algorithm.","lang":"eng"}],"scopus_import":1,"quality_controlled":"1","type":"conference","publication_status":"published","language":[{"iso":"eng"}],"publication":"Proceedings of the twenty-seventh annual symposium on Computational geometry","day":"13","date_published":"2011-06-13T00:00:00Z","title":"Deconstructing approximate offsets","oa":1,"conference":{"name":"SCG: Symposium on Computational Geometry","end_date":"2011-06-15","start_date":"2011-06-13","location":"Paris, France"},"year":"2011","_id":"3329","doi":"10.1145/1998196.1998225","main_file_link":[{"url":"http://arxiv.org/abs/1109.2158","open_access":"1"}],"status":"public","publist_id":"3306","oa_version":"Preprint","department":[{"_id":"HeEd"}],"date_created":"2018-12-11T12:02:42Z","date_updated":"2023-02-23T11:12:57Z","citation":{"ista":"Berberich E, Halperin D, Kerber M, Pogalnikova R. 2011. Deconstructing approximate offsets. Proceedings of the twenty-seventh annual symposium on Computational geometry. SCG: Symposium on Computational Geometry, 187–196.","apa":"Berberich, E., Halperin, D., Kerber, M., &#38; Pogalnikova, R. (2011). Deconstructing approximate offsets. In <i>Proceedings of the twenty-seventh annual symposium on Computational geometry</i> (pp. 187–196). Paris, France: ACM. <a href=\"https://doi.org/10.1145/1998196.1998225\">https://doi.org/10.1145/1998196.1998225</a>","ama":"Berberich E, Halperin D, Kerber M, Pogalnikova R. Deconstructing approximate offsets. In: <i>Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry</i>. ACM; 2011:187-196. doi:<a href=\"https://doi.org/10.1145/1998196.1998225\">10.1145/1998196.1998225</a>","ieee":"E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Deconstructing approximate offsets,” in <i>Proceedings of the twenty-seventh annual symposium on Computational geometry</i>, Paris, France, 2011, pp. 187–196.","short":"E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, ACM, 2011, pp. 187–196.","mla":"Berberich, Eric, et al. “Deconstructing Approximate Offsets.” <i>Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry</i>, ACM, 2011, pp. 187–96, doi:<a href=\"https://doi.org/10.1145/1998196.1998225\">10.1145/1998196.1998225</a>.","chicago":"Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.” In <i>Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry</i>, 187–96. ACM, 2011. <a href=\"https://doi.org/10.1145/1998196.1998225\">https://doi.org/10.1145/1998196.1998225</a>."},"related_material":{"record":[{"id":"3115","relation":"later_version","status":"public"}]},"author":[{"last_name":"Berberich","full_name":"Berberich, Eric","first_name":"Eric"},{"first_name":"Dan","last_name":"Halperin","full_name":"Halperin, Dan"},{"full_name":"Kerber, Michael","last_name":"Kerber","orcid":"0000-0002-8030-9299","first_name":"Michael","id":"36E4574A-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Roza","full_name":"Pogalnikova, Roza","last_name":"Pogalnikova"}],"page":"187 - 196","month":"06"},{"language":[{"iso":"eng"}],"title":"Root refinement for real polynomials","date_published":"2011-06-08T00:00:00Z","day":"08","oa":1,"abstract":[{"lang":"eng","text":"We consider the problem of approximating all real roots of a square-free polynomial f. Given isolating intervals, our algorithm refines each of them to a width at most 2-L, that is, each of the roots is approximated to L bits after the binary point. Our method provides a certified answer for arbitrary real polynomials, only requiring finite approximations of the polynomial coefficient and choosing a suitable working precision adaptively. In this way, we get a correct algorithm that is simple to implement and practically efficient. Our algorithm uses the quadratic interval refinement method; we adapt that method to be able to cope with inaccuracies when evaluating f, without sacrificing its quadratic convergence behavior. We prove a bound on the bit complexity of our algorithm in terms of degree, coefficient size and discriminant. Our bound improves previous work on integer polynomials by a factor of deg f and essentially matches best known theoretical bounds on root approximation which are obtained by very sophisticated algorithms."}],"article_processing_charge":"No","publisher":"Springer","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","external_id":{"arxiv":["1104.1362"]},"scopus_import":1,"publication_status":"published","quality_controlled":"1","type":"conference","arxiv":1,"status":"public","date_updated":"2021-01-12T07:42:42Z","date_created":"2018-12-11T12:02:43Z","publist_id":"3304","department":[{"_id":"HeEd"}],"oa_version":"Preprint","citation":{"chicago":"Kerber, Michael, and Michael Sagraloff. “Root Refinement for Real Polynomials,” 209–16. Springer, 2011. <a href=\"https://doi.org/10.1145/1993886.1993920\">https://doi.org/10.1145/1993886.1993920</a>.","ieee":"M. Kerber and M. Sagraloff, “Root refinement for real polynomials,” presented at the ISSAC: International Symposium on Symbolic and Algebraic Computation, California, USA, 2011, pp. 209–216.","short":"M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.","mla":"Kerber, Michael, and Michael Sagraloff. <i>Root Refinement for Real Polynomials</i>. Springer, 2011, pp. 209–16, doi:<a href=\"https://doi.org/10.1145/1993886.1993920\">10.1145/1993886.1993920</a>.","apa":"Kerber, M., &#38; Sagraloff, M. (2011). Root refinement for real polynomials (pp. 209–216). Presented at the ISSAC: International Symposium on Symbolic and Algebraic Computation, California, USA: Springer. <a href=\"https://doi.org/10.1145/1993886.1993920\">https://doi.org/10.1145/1993886.1993920</a>","ama":"Kerber M, Sagraloff M. Root refinement for real polynomials. In: Springer; 2011:209-216. doi:<a href=\"https://doi.org/10.1145/1993886.1993920\">10.1145/1993886.1993920</a>","ista":"Kerber M, Sagraloff M. 2011. Root refinement for real polynomials. ISSAC: International Symposium on Symbolic and Algebraic Computation, 209–216."},"page":"209 - 216","month":"06","author":[{"orcid":"0000-0002-8030-9299","last_name":"Kerber","full_name":"Kerber, Michael","id":"36E4574A-F248-11E8-B48F-1D18A9856A87","first_name":"Michael"},{"first_name":"Michael","last_name":"Sagraloff","full_name":"Sagraloff, Michael"}],"year":"2011","_id":"3330","conference":{"location":"California, USA","start_date":"2011-06-08","name":"ISSAC: International Symposium on Symbolic and Algebraic Computation","end_date":"2011-06-11"},"doi":"10.1145/1993886.1993920","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1104.1362"}]},{"intvolume":"        27","department":[{"_id":"HeEd"}],"publist_id":"3301","date_updated":"2021-01-12T07:42:43Z","date_created":"2018-12-11T12:02:43Z","citation":{"ista":"Kerber M, Sagraloff M. 2011. A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics. 27(3), 419–430.","apa":"Kerber, M., &#38; Sagraloff, M. (2011). A note on the complexity of real algebraic hypersurfaces. <i>Graphs and Combinatorics</i>. Springer. <a href=\"https://doi.org/10.1007/s00373-011-1020-7\">https://doi.org/10.1007/s00373-011-1020-7</a>","ama":"Kerber M, Sagraloff M. A note on the complexity of real algebraic hypersurfaces. <i>Graphs and Combinatorics</i>. 2011;27(3):419-430. doi:<a href=\"https://doi.org/10.1007/s00373-011-1020-7\">10.1007/s00373-011-1020-7</a>","ieee":"M. Kerber and M. Sagraloff, “A note on the complexity of real algebraic hypersurfaces,” <i>Graphs and Combinatorics</i>, vol. 27, no. 3. Springer, pp. 419–430, 2011.","mla":"Kerber, Michael, and Michael Sagraloff. “A Note on the Complexity of Real Algebraic Hypersurfaces.” <i>Graphs and Combinatorics</i>, vol. 27, no. 3, Springer, 2011, pp. 419–30, doi:<a href=\"https://doi.org/10.1007/s00373-011-1020-7\">10.1007/s00373-011-1020-7</a>.","short":"M. Kerber, M. Sagraloff, Graphs and Combinatorics 27 (2011) 419–430.","chicago":"Kerber, Michael, and Michael Sagraloff. “A Note on the Complexity of Real Algebraic Hypersurfaces.” <i>Graphs and Combinatorics</i>. Springer, 2011. <a href=\"https://doi.org/10.1007/s00373-011-1020-7\">https://doi.org/10.1007/s00373-011-1020-7</a>."},"month":"03","article_type":"original","_id":"3332","issue":"3","doi":"10.1007/s00373-011-1020-7","file":[{"creator":"dernst","file_size":143976,"file_name":"2011_GraphsCombi_Kerber.pdf","file_id":"7869","checksum":"a63a1e3e885dcc68f1e3dea68dfbe213","date_updated":"2020-07-14T12:46:08Z","date_created":"2020-05-19T16:11:36Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf"}],"volume":27,"publication":"Graphs and Combinatorics","day":"17","title":"A note on the complexity of real algebraic hypersurfaces","date_published":"2011-03-17T00:00:00Z","publisher":"Springer","publication_status":"published","quality_controlled":"1","type":"journal_article","scopus_import":1,"has_accepted_license":"1","status":"public","oa_version":"Submitted Version","author":[{"first_name":"Michael","id":"36E4574A-F248-11E8-B48F-1D18A9856A87","full_name":"Kerber, Michael","last_name":"Kerber","orcid":"0000-0002-8030-9299"},{"full_name":"Sagraloff, Michael","last_name":"Sagraloff","first_name":"Michael"}],"page":"419 - 430","year":"2011","language":[{"iso":"eng"}],"oa":1,"ddc":["500"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"Given an algebraic hypersurface O in ℝd, how many simplices are necessary for a simplicial complex isotopic to O? We address this problem and the variant where all vertices of the complex must lie on O. We give asymptotically tight worst-case bounds for algebraic plane curves. Our results gradually improve known bounds in higher dimensions; however, the question for tight bounds remains unsolved for d ≥ 3.","lang":"eng"}],"article_processing_charge":"No","file_date_updated":"2020-07-14T12:46:08Z"},{"_id":"3335","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1306.3640"}],"volume":6970,"doi":"10.1007/978-3-642-25249-5_3","publist_id":"3295","department":[{"_id":"HeEd"}],"date_created":"2018-12-11T12:02:44Z","date_updated":"2021-01-12T07:42:44Z","intvolume":"      6970","month":"11","citation":{"apa":"Van De Weygaert, R., Vegter, G., Edelsbrunner, H., Jones, B., Pranav, P., Park, C., … Teillaud, M. (2011). Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In M. Gavrilova, K. Tan, &#38; M. Mostafavi (Eds.), <i>Transactions on Computational Science XIV</i> (Vol. 6970, pp. 60–101). Springer. <a href=\"https://doi.org/10.1007/978-3-642-25249-5_3\">https://doi.org/10.1007/978-3-642-25249-5_3</a>","ama":"Van De Weygaert R, Vegter G, Edelsbrunner H, et al. Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In: Gavrilova M, Tan K, Mostafavi M, eds. <i>Transactions on Computational Science XIV</i>. Vol 6970. Special Issue on Voronoi Diagrams and Delaunay Triangulation. Springer; 2011:60-101. doi:<a href=\"https://doi.org/10.1007/978-3-642-25249-5_3\">10.1007/978-3-642-25249-5_3</a>","ista":"Van De Weygaert R, Vegter G, Edelsbrunner H, Jones B, Pranav P, Park C, Hellwing W, Eldering B, Kruithof N, Bos P, Hidding J, Feldbrugge J, Ten Have E, Van Engelen M, Caroli M, Teillaud M. 2011.Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In: Transactions on Computational Science XIV. LNCS, vol. 6970, 60–101.","chicago":"Van De Weygaert, Rien, Gert Vegter, Herbert Edelsbrunner, Bernard Jones, Pratyush Pranav, Changbom Park, Wojciech Hellwing, et al. “Alpha, Betti and the Megaparsec Universe: On the Topology of the Cosmic Web.” In <i>Transactions on Computational Science XIV</i>, edited by Marina Gavrilova, Kenneth Tan, and Mir Mostafavi, 6970:60–101. Special Issue on Voronoi Diagrams and Delaunay Triangulation. Springer, 2011. <a href=\"https://doi.org/10.1007/978-3-642-25249-5_3\">https://doi.org/10.1007/978-3-642-25249-5_3</a>.","ieee":"R. Van De Weygaert <i>et al.</i>, “Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web,” in <i>Transactions on Computational Science XIV</i>, vol. 6970, M. Gavrilova, K. Tan, and M. Mostafavi, Eds. Springer, 2011, pp. 60–101.","short":"R. Van De Weygaert, G. Vegter, H. Edelsbrunner, B. Jones, P. Pranav, C. Park, W. Hellwing, B. Eldering, N. Kruithof, P. Bos, J. Hidding, J. Feldbrugge, E. Ten Have, M. Van Engelen, M. Caroli, M. Teillaud, in:, M. Gavrilova, K. Tan, M. Mostafavi (Eds.), Transactions on Computational Science XIV, Springer, 2011, pp. 60–101.","mla":"Van De Weygaert, Rien, et al. “Alpha, Betti and the Megaparsec Universe: On the Topology of the Cosmic Web.” <i>Transactions on Computational Science XIV</i>, edited by Marina Gavrilova et al., vol. 6970, Springer, 2011, pp. 60–101, doi:<a href=\"https://doi.org/10.1007/978-3-642-25249-5_3\">10.1007/978-3-642-25249-5_3</a>."},"publication_status":"published","quality_controlled":"1","type":"book_chapter","scopus_import":1,"publisher":"Springer","arxiv":1,"alternative_title":["LNCS"],"day":"09","title":"Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web","date_published":"2011-11-09T00:00:00Z","publication":"Transactions on Computational Science XIV","year":"2011","oa_version":"Preprint","series_title":"Special Issue on Voronoi Diagrams and Delaunay Triangulation","status":"public","author":[{"last_name":"Van De Weygaert","full_name":"Van De Weygaert, Rien","first_name":"Rien"},{"first_name":"Gert","full_name":"Vegter, Gert","last_name":"Vegter"},{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert"},{"first_name":"Bernard","last_name":"Jones","full_name":"Jones, Bernard"},{"last_name":"Pranav","full_name":"Pranav, Pratyush","first_name":"Pratyush"},{"first_name":"Changbom","full_name":"Park, Changbom","last_name":"Park"},{"first_name":"Wojciech","full_name":"Hellwing, Wojciech","last_name":"Hellwing"},{"last_name":"Eldering","full_name":"Eldering, Bob","first_name":"Bob"},{"full_name":"Kruithof, Nico","last_name":"Kruithof","first_name":"Nico"},{"full_name":"Bos, Patrick","last_name":"Bos","first_name":"Patrick"},{"first_name":"Johan","full_name":"Hidding, Johan","last_name":"Hidding"},{"first_name":"Job","full_name":"Feldbrugge, Job","last_name":"Feldbrugge"},{"first_name":"Eline","last_name":"Ten Have","full_name":"Ten Have, Eline"},{"first_name":"Matti","full_name":"Van Engelen, Matti","last_name":"Van Engelen"},{"last_name":"Caroli","full_name":"Caroli, Manuel","first_name":"Manuel"},{"last_name":"Teillaud","full_name":"Teillaud, Monique","first_name":"Monique"}],"page":"60 - 101","editor":[{"full_name":"Gavrilova, Marina","last_name":"Gavrilova","first_name":"Marina"},{"first_name":"Kenneth","full_name":"Tan, Kenneth","last_name":"Tan"},{"full_name":"Mostafavi, Mir","last_name":"Mostafavi","first_name":"Mir"}],"external_id":{"arxiv":["1306.3640"]},"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"We study the topology of the Megaparsec Cosmic Web in terms of the scale-dependent Betti numbers, which formalize the topological information content of the cosmic mass distribution. While the Betti numbers do not fully quantify topology, they extend the information beyond conventional cosmological studies of topology in terms of genus and Euler characteristic. The richer information content of Betti numbers goes along the availability of fast algorithms to compute them. For continuous density fields, we determine the scale-dependence of Betti numbers by invoking the cosmologically familiar filtration of sublevel or superlevel sets defined by density thresholds. For the discrete galaxy distribution, however, the analysis is based on the alpha shapes of the particles. These simplicial complexes constitute an ordered sequence of nested subsets of the Delaunay tessellation, a filtration defined by the scale parameter, α. As they are homotopy equivalent to the sublevel sets of the distance field, they are an excellent tool for assessing the topological structure of a discrete point distribution. In order to develop an intuitive understanding for the behavior of Betti numbers as a function of α, and their relation to the morphological patterns in the Cosmic Web, we first study them within the context of simple heuristic Voronoi clustering models. These can be tuned to consist of specific morphological elements of the Cosmic Web, i.e. clusters, filaments, or sheets. To elucidate the relative prominence of the various Betti numbers in different stages of morphological evolution, we introduce the concept of alpha tracks. Subsequently, we address the topology of structures emerging in the standard LCDM scenario and in cosmological scenarios with alternative dark energy content. The evolution of the Betti numbers is shown to reflect the hierarchical evolution of the Cosmic Web. We also demonstrate that the scale-dependence of the Betti numbers yields a promising measure of cosmological parameters, with a potential to help in determining the nature of dark energy and to probe primordial non-Gaussianities. We also discuss the expected Betti numbers as a function of the density threshold for superlevel sets of a Gaussian random field. Finally, we introduce the concept of persistent homology. It measures scale levels of the mass distribution and allows us to separate small from large scale features. Within the context of the hierarchical cosmic structure formation, persistence provides a natural formalism for a multiscale topology study of the Cosmic Web."}],"language":[{"iso":"eng"}],"oa":1},{"arxiv":1,"publisher":"ArXiv","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"We consider 2-player games played on a finite state space for an infinite number of rounds. The games are concurrent: in each round, the two players (player 1 and player 2) choose their moves inde- pendently and simultaneously; the current state and the two moves determine the successor state. We study concurrent games with ω-regular winning conditions specified as parity objectives. We consider the qualitative analysis problems: the computation of the almost-sure and limit-sure winning set of states, where player 1 can ensure to win with probability 1 and with probability arbitrarily close to 1, respec- tively. In general the almost-sure and limit-sure winning strategies require both infinite-memory as well as infinite-precision (to describe probabilities). We study the bounded-rationality problem for qualitative analysis of concurrent parity games, where the strategy set for player 1 is restricted to bounded-resource strategies. In terms of precision, strategies can be deterministic, uniform, finite-precision or infinite- precision; and in terms of memory, strategies can be memoryless, finite-memory or infinite-memory. We present a precise and complete characterization of the qualitative winning sets for all combinations of classes of strategies. In particular, we show that uniform memoryless strategies are as powerful as finite-precision infinite-memory strategies, and infinite-precision memoryless strategies are as power- ful as infinite-precision finite-memory strategies. We show that the winning sets can be computed in O(n2d+3) time, where n is the size of the game structure and 2d is the number of priorities (or colors), and our algorithms are symbolic. The membership problem of whether a state belongs to a winning set can be decided in NP ∩ coNP. While this complexity is the same as for the simpler class of turn-based parity games, where in each state only one of the two players has a choice of moves, our algorithms, that are obtained by characterization of the winning sets as μ-calculus formulas, are considerably more involved than those for turn-based games.","lang":"eng"}],"publication_status":"published","type":"preprint","external_id":{"arxiv":["1107.2146"]},"oa":1,"language":[{"iso":"eng"}],"publication":"arXiv","day":"11","date_published":"2011-07-11T00:00:00Z","title":"Bounded rationality in concurrent parity games","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1107.2146"}],"_id":"3338","year":"2011","citation":{"chicago":"Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” <i>ArXiv</i>. ArXiv, 2011.","ieee":"K. Chatterjee, “Bounded rationality in concurrent parity games,” <i>arXiv</i>. ArXiv, pp. 1–51, 2011.","short":"K. Chatterjee, ArXiv (2011) 1–51.","mla":"Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” <i>ArXiv</i>, ArXiv, 2011, pp. 1–51.","apa":"Chatterjee, K. (2011). Bounded rationality in concurrent parity games. <i>arXiv</i>. ArXiv.","ama":"Chatterjee K. Bounded rationality in concurrent parity games. <i>arXiv</i>. 2011:1-51.","ista":"Chatterjee K. 2011. Bounded rationality in concurrent parity games. arXiv, 1–51, ."},"related_material":{"record":[{"id":"5380","status":"public","relation":"earlier_version"}]},"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu"}],"page":"1 - 51","month":"07","status":"public","department":[{"_id":"KrCh"}],"oa_version":"Preprint","publist_id":"3287","date_created":"2018-12-11T12:02:45Z","date_updated":"2023-02-23T12:23:40Z"},{"abstract":[{"text":"Turn-based stochastic games and its important subclass Markov decision processes (MDPs) provide models for systems with both probabilistic and nondeterministic behaviors. We consider turn-based stochastic games with two classical quantitative objectives: discounted-sum and long-run average objectives. The game models and the quantitative objectives are widely used in probabilistic verification, planning, optimal inventory control, network protocol and performance analysis. Games and MDPs that model realistic systems often have very large state spaces, and probabilistic abstraction techniques are necessary to handle the state-space explosion. The commonly used full-abstraction techniques do not yield space-savings for systems that have many states with similar value, but does not necessarily have similar transition structure. A semi-abstraction technique, namely Magnifying-lens abstractions (MLA), that clusters states based on value only, disregarding differences in their transition relation was proposed for qualitative objectives (reachability and safety objectives). In this paper we extend the MLA technique to solve stochastic games with discounted-sum and long-run average objectives. We present the MLA technique based abstraction-refinement algorithm for stochastic games and MDPs with discounted-sum objectives. For long-run average objectives, our solution works for all MDPs and a sub-class of stochastic games where every state has the same value. ","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"ArXiv","external_id":{"arxiv":["1107.2132"]},"type":"preprint","publication_status":"published","arxiv":1,"publication":"arXiv","language":[{"iso":"eng"}],"date_published":"2011-07-11T00:00:00Z","title":"Magnifying lens abstraction for stochastic games with discounted and long-run average objectives","day":"11","oa":1,"year":"2011","_id":"3339","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1107.2132"}],"status":"public","date_created":"2018-12-11T12:02:46Z","date_updated":"2021-01-12T07:42:46Z","oa_version":"Preprint","department":[{"_id":"KrCh"}],"publist_id":"3286","citation":{"chicago":"Chatterjee, Krishnendu, Luca De Alfaro, and Roy Pritam. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” <i>ArXiv</i>. ArXiv, 2011.","mla":"Chatterjee, Krishnendu, et al. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” <i>ArXiv</i>, ArXiv, 2011.","short":"K. Chatterjee, L. De Alfaro, R. Pritam, ArXiv (2011).","ieee":"K. Chatterjee, L. De Alfaro, and R. Pritam, “Magnifying lens abstraction for stochastic games with discounted and long-run average objectives,” <i>arXiv</i>. ArXiv, 2011.","ama":"Chatterjee K, De Alfaro L, Pritam R. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. <i>arXiv</i>. 2011.","apa":"Chatterjee, K., De Alfaro, L., &#38; Pritam, R. (2011). Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. <i>arXiv</i>. ArXiv.","ista":"Chatterjee K, De Alfaro L, Pritam R. 2011. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv, ."},"page":"17","month":"07","author":[{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"first_name":"Luca","last_name":"De Alfaro","full_name":"De Alfaro, Luca"},{"first_name":"Roy","full_name":"Pritam, Roy","last_name":"Pritam"}]},{"external_id":{"arxiv":["1104.3348"]},"abstract":[{"lang":"eng","text":"We consider Markov decision processes (MDPs) with ω-regular specifications given as parity objectives. We consider the problem of computing the set of almost-sure winning states from where the objective can be ensured with probability 1. The algorithms for the computation of the almost-sure winning set for parity objectives iteratively use the solutions for the almost-sure winning set for Büchi objectives (a special case of parity objectives). Our contributions are as follows: First, we present the first subquadratic symbolic algorithm to compute the almost-sure winning set for MDPs with Büchi objectives; our algorithm takes O(nm)  symbolic steps as compared to the previous known algorithm that takes O(n 2) symbolic steps, where n is the number of states and m is the number of edges of the MDP. In practice MDPs often have constant out-degree, and then our symbolic algorithm takes O(nn)  symbolic steps, as compared to the previous known O(n 2) symbolic steps algorithm. Second, we present a new algorithm, namely win-lose algorithm, with the following two properties: (a) the algorithm iteratively computes subsets of the almost-sure winning set and its complement, as compared to all previous algorithms that discover the almost-sure winning set upon termination; and (b) requires O(nK)  symbolic steps, where K is the maximal number of edges of strongly connected components (scc’s) of the MDP. The win-lose algorithm requires symbolic computation of scc’s. Third, we improve the algorithm for symbolic scc computation; the previous known algorithm takes linear symbolic steps, and our new algorithm improves the constants associated with the linear number of steps. In the worst case the previous known algorithm takes 5·n symbolic steps, whereas our new algorithm takes 4 ·n symbolic steps."}],"article_processing_charge":"No","user_id":"72615eeb-f1f3-11ec-aa25-d4573ddc34fd","language":[{"iso":"eng"}],"oa":1,"year":"2011","oa_version":"Preprint","status":"public","page":"260 - 276","author":[{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H"},{"last_name":"Joglekar","full_name":"Joglekar, Manas","first_name":"Manas"},{"first_name":"Shah","full_name":"Nisarg, Shah","last_name":"Nisarg"}],"related_material":{"record":[{"id":"2831","status":"public","relation":"later_version"}]},"editor":[{"full_name":"Gopalakrishnan, Ganesh","last_name":"Gopalakrishnan","first_name":"Ganesh"},{"last_name":"Qadeer","full_name":"Qadeer, Shaz","first_name":"Shaz"}],"quality_controlled":"1","publication_status":"published","type":"conference","publisher":"Springer","alternative_title":["LNCS"],"arxiv":1,"title":"Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives","date_published":"2011-08-11T00:00:00Z","day":"11","_id":"3342","conference":{"location":"Snowbird, USA","start_date":"2011-07-14","end_date":"2011-07-20","name":"CAV: Computer Aided Verification"},"volume":6806,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1104.3348"}],"project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF"}],"doi":"10.1007/978-3-642-22110-1_21","date_created":"2018-12-11T12:02:47Z","date_updated":"2023-02-23T11:00:13Z","department":[{"_id":"KrCh"}],"publist_id":"3282","intvolume":"      6806","month":"08","citation":{"chicago":"Chatterjee, Krishnendu, Monika H Henzinger, Manas Joglekar, and Shah Nisarg. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:260–76. Springer, 2011. <a href=\"https://doi.org/10.1007/978-3-642-22110-1_21\">https://doi.org/10.1007/978-3-642-22110-1_21</a>.","short":"K. Chatterjee, M.H. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.","mla":"Chatterjee, Krishnendu, et al. <i>Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives</i>. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 260–76, doi:<a href=\"https://doi.org/10.1007/978-3-642-22110-1_21\">10.1007/978-3-642-22110-1_21</a>.","ieee":"K. Chatterjee, M. H. Henzinger, M. Joglekar, and S. Nisarg, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 260–276.","ama":"Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:260-276. doi:<a href=\"https://doi.org/10.1007/978-3-642-22110-1_21\">10.1007/978-3-642-22110-1_21</a>","apa":"Chatterjee, K., Henzinger, M. H., Joglekar, M., &#38; Nisarg, S. (2011). Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. In G. Gopalakrishnan &#38; S. Qadeer (Eds.) (Vol. 6806, pp. 260–276). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-642-22110-1_21\">https://doi.org/10.1007/978-3-642-22110-1_21</a>","ista":"Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. 2011. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. CAV: Computer Aided Verification, LNCS, vol. 6806, 260–276."}}]