[{"date_created":"2018-12-11T11:55:20Z","abstract":[{"lang":"eng","text":"Considering a continuous self-map and the induced endomorphism on homology, we study the eigenvalues and eigenspaces of the latter. Taking a filtration of representations, we define the persistence of the eigenspaces, effectively introducing a hierarchical organization of the map. The algorithm that computes this information for a finite sample is proved to be stable, and to give the correct answer for a sufficiently dense sample. Results computed with an implementation of the algorithm provide evidence of its practical utility.\r\n"}],"type":"journal_article","file":[{"relation":"main_file","access_level":"open_access","creator":"system","date_updated":"2020-07-14T12:45:26Z","checksum":"3566f3a8b0c1bc550e62914a88c584ff","file_size":1317546,"file_id":"4670","file_name":"IST-2016-486-v1+1_s10208-014-9223-y.pdf","date_created":"2018-12-12T10:08:10Z","content_type":"application/pdf"}],"oa":1,"status":"public","quality_controlled":"1","day":"01","page":"1213 - 1244","scopus_import":"1","author":[{"orcid":"0000-0002-9823-6833","first_name":"Herbert","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert"},{"id":"4483EF78-F248-11E8-B48F-1D18A9856A87","full_name":"Jablonski, Grzegorz","orcid":"0000-0002-3536-9866","last_name":"Jablonski","first_name":"Grzegorz"},{"full_name":"Mrozek, Marian","last_name":"Mrozek","first_name":"Marian"}],"project":[{"name":"Topological Complex Systems","_id":"255D761E-B435-11E9-9278-68D0E5697425","grant_number":"318493","call_identifier":"FP7"}],"year":"2015","doi":"10.1007/s10208-014-9223-y","pubrep_id":"486","ddc":["000"],"title":"The persistent homology of a self-map","month":"10","intvolume":"        15","file_date_updated":"2020-07-14T12:45:26Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"Foundations of Computational Mathematics","license":"https://creativecommons.org/licenses/by/4.0/","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"acknowledgement":"This research is partially supported by the Toposys project FP7-ICT-318493-STREP, by ESF under the ACAT Research Network Programme, by the Russian Government under mega project 11.G34.31.0053, and by the Polish National Science Center under Grant No. N201 419639.","isi":1,"publication_status":"published","publisher":"Springer","volume":15,"date_published":"2015-10-01T00:00:00Z","ec_funded":1,"oa_version":"Published Version","citation":{"chicago":"Edelsbrunner, Herbert, Grzegorz Jablonski, and Marian Mrozek. “The Persistent Homology of a Self-Map.” <i>Foundations of Computational Mathematics</i>. Springer, 2015. <a href=\"https://doi.org/10.1007/s10208-014-9223-y\">https://doi.org/10.1007/s10208-014-9223-y</a>.","ieee":"H. Edelsbrunner, G. Jablonski, and M. Mrozek, “The persistent homology of a self-map,” <i>Foundations of Computational Mathematics</i>, vol. 15, no. 5. Springer, pp. 1213–1244, 2015.","mla":"Edelsbrunner, Herbert, et al. “The Persistent Homology of a Self-Map.” <i>Foundations of Computational Mathematics</i>, vol. 15, no. 5, Springer, 2015, pp. 1213–44, doi:<a href=\"https://doi.org/10.1007/s10208-014-9223-y\">10.1007/s10208-014-9223-y</a>.","ama":"Edelsbrunner H, Jablonski G, Mrozek M. The persistent homology of a self-map. <i>Foundations of Computational Mathematics</i>. 2015;15(5):1213-1244. doi:<a href=\"https://doi.org/10.1007/s10208-014-9223-y\">10.1007/s10208-014-9223-y</a>","short":"H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics 15 (2015) 1213–1244.","ista":"Edelsbrunner H, Jablonski G, Mrozek M. 2015. The persistent homology of a self-map. Foundations of Computational Mathematics. 15(5), 1213–1244.","apa":"Edelsbrunner, H., Jablonski, G., &#38; Mrozek, M. (2015). The persistent homology of a self-map. <i>Foundations of Computational Mathematics</i>. Springer. <a href=\"https://doi.org/10.1007/s10208-014-9223-y\">https://doi.org/10.1007/s10208-014-9223-y</a>"},"department":[{"_id":"HeEd"}],"external_id":{"isi":["000360862900004"]},"publist_id":"5022","language":[{"iso":"eng"}],"has_accepted_license":"1","issue":"5","_id":"2035","date_updated":"2025-09-23T14:08:54Z","article_processing_charge":"No"},{"publist_id":"5222","language":[{"iso":"eng"}],"department":[{"_id":"JoCs"}],"citation":{"apa":"Boccara, C. N., Kjønigsen, L., Hammer, I., Bjaalie, J., Leergaard, T., &#38; Witter, M. (2015). A three-plane architectonic atlas of the rat hippocampal region. <i>Hippocampus</i>. Wiley. <a href=\"https://doi.org/10.1002/hipo.22407\">https://doi.org/10.1002/hipo.22407</a>","mla":"Boccara, Charlotte N., et al. “A Three-Plane Architectonic Atlas of the Rat Hippocampal Region.” <i>Hippocampus</i>, vol. 25, no. 7, Wiley, 2015, pp. 838–57, doi:<a href=\"https://doi.org/10.1002/hipo.22407\">10.1002/hipo.22407</a>.","ama":"Boccara CN, Kjønigsen L, Hammer I, Bjaalie J, Leergaard T, Witter M. A three-plane architectonic atlas of the rat hippocampal region. <i>Hippocampus</i>. 2015;25(7):838-857. doi:<a href=\"https://doi.org/10.1002/hipo.22407\">10.1002/hipo.22407</a>","ista":"Boccara CN, Kjønigsen L, Hammer I, Bjaalie J, Leergaard T, Witter M. 2015. A three-plane architectonic atlas of the rat hippocampal region. Hippocampus. 25(7), 838–857.","short":"C.N. Boccara, L. Kjønigsen, I. Hammer, J. Bjaalie, T. Leergaard, M. Witter, Hippocampus 25 (2015) 838–857.","chicago":"Boccara, Charlotte N., Lisa Kjønigsen, Ingvild Hammer, Jan Bjaalie, Trygve Leergaard, and Menno Witter. “A Three-Plane Architectonic Atlas of the Rat Hippocampal Region.” <i>Hippocampus</i>. Wiley, 2015. <a href=\"https://doi.org/10.1002/hipo.22407\">https://doi.org/10.1002/hipo.22407</a>.","ieee":"C. N. Boccara, L. Kjønigsen, I. Hammer, J. Bjaalie, T. Leergaard, and M. Witter, “A three-plane architectonic atlas of the rat hippocampal region,” <i>Hippocampus</i>, vol. 25, no. 7. Wiley, pp. 838–857, 2015."},"external_id":{"isi":["000356812700007"]},"_id":"1874","article_processing_charge":"No","date_updated":"2025-09-23T07:29:29Z","issue":"7","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","intvolume":"        25","publication":"Hippocampus","date_published":"2015-07-01T00:00:00Z","volume":25,"oa_version":"None","publisher":"Wiley","publication_status":"published","page":"838 - 857","scopus_import":"1","day":"01","doi":"10.1002/hipo.22407","year":"2015","author":[{"first_name":"Charlotte","last_name":"Boccara","orcid":"0000-0001-7237-5109","full_name":"Boccara, Charlotte","id":"3FC06552-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kjønigsen, Lisa","last_name":"Kjønigsen","first_name":"Lisa"},{"last_name":"Hammer","first_name":"Ingvild","full_name":"Hammer, Ingvild"},{"first_name":"Jan","last_name":"Bjaalie","full_name":"Bjaalie, Jan"},{"first_name":"Trygve","last_name":"Leergaard","full_name":"Leergaard, Trygve"},{"first_name":"Menno","last_name":"Witter","full_name":"Witter, Menno"}],"title":"A three-plane architectonic atlas of the rat hippocampal region","month":"07","type":"journal_article","date_created":"2018-12-11T11:54:29Z","abstract":[{"text":"The hippocampal region, comprising the hippocampal formation and the parahippocampal region, has been one of the most intensively studied parts of the brain for decades. Better understanding of its functional diversity and complexity has led to an increased demand for specificity in experimental procedures and manipulations. In view of the complex 3D structure of the hippocampal region, precisely positioned experimental approaches require a fine-grained architectural description that is available and readable to experimentalists lacking detailed anatomical experience. In this paper, we provide the first cyto- and chemoarchitectural description of the hippocampal formation and parahippocampal region in the rat at high resolution and in the three standard sectional planes: coronal, horizontal and sagittal. The atlas uses a series of adjacent sections stained for neurons and for a number of chemical marker substances, particularly parvalbumin and calbindin. All the borders defined in one plane have been cross-checked against their counterparts in the other two planes. The entire dataset will be made available as a web-based interactive application through the Rodent Brain WorkBench (http://www.rbwb.org) which, together with this paper, provides a unique atlas resource.","lang":"eng"}],"status":"public","quality_controlled":"1"},{"type":"journal_article","abstract":[{"text":"Petrocoptis is a small genus of chasmophytic plants endemic to the Iberian Peninsula, with some localized populations in the French Pyrenees. Within the genus, a dozen species have been recognized based on morphological diversity, most of them with limited distribution area, in small populations and frequently with potential threats to their survival. To date, however, a molecular evaluation of the current systematic treatments has not been carried out. The aim of the present study is to infer phylogenetic relationships among its subordinate taxa by using plastidial rps16 intron and nuclear internal transcribed spacer (ITS) DNA sequences; and evaluate the phylogenetic placement of the genus Petrocoptis within the family Caryophyllaceae. The monophyly of Petrocoptis is supported by both ITS and rps16 intron sequence analyses. Furthermore, time estimates using BEAST analyses indicate a Middle to Late Miocene diversification (10.59 Myr, 6.44–15.26 Myr highest posterior densities [HPD], for ITS; 14.30 Myr, 8.61–21.00 Myr HPD, for rps16 intron).","lang":"eng"}],"date_created":"2018-12-11T11:54:30Z","quality_controlled":"1","status":"public","corr_author":"1","author":[{"full_name":"Cires Rodriguez, Eduardo","id":"2AD56A7A-F248-11E8-B48F-1D18A9856A87","last_name":"Cires Rodriguez","first_name":"Eduardo"},{"first_name":"José","last_name":"Prieto","full_name":"Prieto, José"}],"year":"2015","doi":"10.1007/s10265-014-0691-6","day":"24","scopus_import":"1","page":"223 - 238","month":"01","title":"Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula","isi":1,"publication":"Journal of Plant Research","intvolume":"       128","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa_version":"None","date_published":"2015-01-24T00:00:00Z","volume":128,"publication_status":"published","publisher":"Springer","language":[{"iso":"eng"}],"publist_id":"5217","external_id":{"isi":["000350826000001"]},"citation":{"apa":"Cires Rodriguez, E., &#38; Prieto, J. (2015). Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula. <i>Journal of Plant Research</i>. Springer. <a href=\"https://doi.org/10.1007/s10265-014-0691-6\">https://doi.org/10.1007/s10265-014-0691-6</a>","ista":"Cires Rodriguez E, Prieto J. 2015. Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula. Journal of Plant Research. 128(2), 223–238.","short":"E. Cires Rodriguez, J. Prieto, Journal of Plant Research 128 (2015) 223–238.","ama":"Cires Rodriguez E, Prieto J. Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula. <i>Journal of Plant Research</i>. 2015;128(2):223-238. doi:<a href=\"https://doi.org/10.1007/s10265-014-0691-6\">10.1007/s10265-014-0691-6</a>","mla":"Cires Rodriguez, Eduardo, and José Prieto. “Phylogenetic Relationships of Petrocoptis A. Braun Ex Endl. (Caryophyllaceae), a Discussed Genus from the Iberian Peninsula.” <i>Journal of Plant Research</i>, vol. 128, no. 2, Springer, 2015, pp. 223–38, doi:<a href=\"https://doi.org/10.1007/s10265-014-0691-6\">10.1007/s10265-014-0691-6</a>.","ieee":"E. Cires Rodriguez and J. Prieto, “Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula,” <i>Journal of Plant Research</i>, vol. 128, no. 2. Springer, pp. 223–238, 2015.","chicago":"Cires Rodriguez, Eduardo, and José Prieto. “Phylogenetic Relationships of Petrocoptis A. Braun Ex Endl. (Caryophyllaceae), a Discussed Genus from the Iberian Peninsula.” <i>Journal of Plant Research</i>. Springer, 2015. <a href=\"https://doi.org/10.1007/s10265-014-0691-6\">https://doi.org/10.1007/s10265-014-0691-6</a>."},"department":[{"_id":"JiFr"}],"date_updated":"2025-09-23T09:49:04Z","article_processing_charge":"No","_id":"1878","issue":"2"},{"scopus_import":"1","page":"80 - 96","day":"01","doi":"10.1111/jmi.12211","year":"2015","author":[{"last_name":"Kremer","first_name":"A","full_name":"Kremer, A"},{"full_name":"Lippens, Stefaan","first_name":"Stefaan","last_name":"Lippens"},{"first_name":"Sonia","last_name":"Bartunkova","full_name":"Bartunkova, Sonia"},{"first_name":"Bob","last_name":"Asselbergh","full_name":"Asselbergh, Bob"},{"last_name":"Blanpain","first_name":"Cendric","full_name":"Blanpain, Cendric"},{"first_name":"Matyas","last_name":"Fendrych","orcid":"0000-0002-9767-8699","id":"43905548-F248-11E8-B48F-1D18A9856A87","full_name":"Fendrych, Matyas"},{"full_name":"Goossens, A","last_name":"Goossens","first_name":"A"},{"full_name":"Holt, Matthew","first_name":"Matthew","last_name":"Holt"},{"last_name":"Janssens","first_name":"Sophie","full_name":"Janssens, Sophie"},{"last_name":"Krols","first_name":"Michiel","full_name":"Krols, Michiel"},{"first_name":"Jean","last_name":"Larsimont","full_name":"Larsimont, Jean"},{"full_name":"Mc Guire, Conor","first_name":"Conor","last_name":"Mc Guire"},{"full_name":"Nowack, Moritz","first_name":"Moritz","last_name":"Nowack"},{"first_name":"Xavier","last_name":"Saelens","full_name":"Saelens, Xavier"},{"full_name":"Schertel, Andreas","last_name":"Schertel","first_name":"Andreas"},{"full_name":"Schepens, B","last_name":"Schepens","first_name":"B"},{"full_name":"Slezak, M","last_name":"Slezak","first_name":"M"},{"last_name":"Timmerman","first_name":"Vincent","full_name":"Timmerman, Vincent"},{"first_name":"Clara","last_name":"Theunis","full_name":"Theunis, Clara"},{"first_name":"Ronald","last_name":"Van Brempt","full_name":"Van Brempt, Ronald"},{"last_name":"Visser","first_name":"Y","full_name":"Visser, Y"},{"full_name":"Guérin, Christophe","last_name":"Guérin","first_name":"Christophe"}],"title":"Developing 3D SEM in a broad biological context","month":"08","pubrep_id":"459","ddc":["570"],"type":"journal_article","oa":1,"file":[{"content_type":"application/pdf","date_created":"2018-12-12T10:11:19Z","file_name":"IST-2016-459-v1+1_KREMER_et_al-2015-Journal_of_Microscopy.pdf","date_updated":"2020-07-14T12:45:19Z","creator":"system","access_level":"open_access","relation":"main_file","file_id":"4872","file_size":2899898,"checksum":"3649c5372d1644062d728ea9287e367f"}],"date_created":"2018-12-11T11:54:30Z","abstract":[{"text":"When electron microscopy (EM) was introduced in the 1930s it gave scientists their first look into the nanoworld of cells. Over the last 80 years EM has vastly increased our understanding of the complex cellular structures that underlie the diverse functions that cells need to maintain life. One drawback that has been difficult to overcome was the inherent lack of volume information, mainly due to the limit on the thickness of sections that could be viewed in a transmission electron microscope (TEM). For many years scientists struggled to achieve three-dimensional (3D) EM using serial section reconstructions, TEM tomography, and scanning EM (SEM) techniques such as freeze-fracture. Although each technique yielded some special information, they required a significant amount of time and specialist expertise to obtain even a very small 3D EM dataset. Almost 20 years ago scientists began to exploit SEMs to image blocks of embedded tissues and perform serial sectioning of these tissues inside the SEM chamber. Using first focused ion beams (FIB) and subsequently robotic ultramicrotomes (serial block-face, SBF-SEM) microscopists were able to collect large volumes of 3D EM information at resolutions that could address many important biological questions, and do so in an efficient manner. We present here some examples of 3D EM taken from the many diverse specimens that have been imaged in our core facility. We propose that the next major step forward will be to efficiently correlate functional information obtained using light microscopy (LM) with 3D EM datasets to more completely investigate the important links between cell structures and their functions.","lang":"eng"}],"status":"public","quality_controlled":"1","publist_id":"5218","has_accepted_license":"1","language":[{"iso":"eng"}],"department":[{"_id":"JiFr"}],"citation":{"apa":"Kremer, A., Lippens, S., Bartunkova, S., Asselbergh, B., Blanpain, C., Fendrych, M., … Guérin, C. (2015). Developing 3D SEM in a broad biological context. <i>Journal of Microscopy</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/jmi.12211\">https://doi.org/10.1111/jmi.12211</a>","ista":"Kremer A, Lippens S, Bartunkova S, Asselbergh B, Blanpain C, Fendrych M, Goossens A, Holt M, Janssens S, Krols M, Larsimont J, Mc Guire C, Nowack M, Saelens X, Schertel A, Schepens B, Slezak M, Timmerman V, Theunis C, Van Brempt R, Visser Y, Guérin C. 2015. Developing 3D SEM in a broad biological context. Journal of Microscopy. 259(2), 80–96.","short":"A. Kremer, S. Lippens, S. Bartunkova, B. Asselbergh, C. Blanpain, M. Fendrych, A. Goossens, M. Holt, S. Janssens, M. Krols, J. Larsimont, C. Mc Guire, M. Nowack, X. Saelens, A. Schertel, B. Schepens, M. Slezak, V. Timmerman, C. Theunis, R. Van Brempt, Y. Visser, C. Guérin, Journal of Microscopy 259 (2015) 80–96.","ama":"Kremer A, Lippens S, Bartunkova S, et al. Developing 3D SEM in a broad biological context. <i>Journal of Microscopy</i>. 2015;259(2):80-96. doi:<a href=\"https://doi.org/10.1111/jmi.12211\">10.1111/jmi.12211</a>","mla":"Kremer, A., et al. “Developing 3D SEM in a Broad Biological Context.” <i>Journal of Microscopy</i>, vol. 259, no. 2, Wiley-Blackwell, 2015, pp. 80–96, doi:<a href=\"https://doi.org/10.1111/jmi.12211\">10.1111/jmi.12211</a>.","ieee":"A. Kremer <i>et al.</i>, “Developing 3D SEM in a broad biological context,” <i>Journal of Microscopy</i>, vol. 259, no. 2. Wiley-Blackwell, pp. 80–96, 2015.","chicago":"Kremer, A, Stefaan Lippens, Sonia Bartunkova, Bob Asselbergh, Cendric Blanpain, Matyas Fendrych, A Goossens, et al. “Developing 3D SEM in a Broad Biological Context.” <i>Journal of Microscopy</i>. Wiley-Blackwell, 2015. <a href=\"https://doi.org/10.1111/jmi.12211\">https://doi.org/10.1111/jmi.12211</a>."},"external_id":{"isi":["000358300600002"]},"_id":"1879","article_processing_charge":"No","date_updated":"2025-09-23T08:26:17Z","issue":"2","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"isi":1,"acknowledgement":"The Zeiss Merlin with Gatan 3View2XP and Zeiss Auriga were acquired through a CLEM grant from Minister Ingrid Lieten to the VIB Bio-Imaging-Core. Michiel Krols and Saskia Lippens are the recipients of a fellowship from the FWO (Fonds Wetenschappelijk Onderzoek) of Flanders.","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","file_date_updated":"2020-07-14T12:45:19Z","intvolume":"       259","publication":"Journal of Microscopy","volume":259,"date_published":"2015-08-01T00:00:00Z","oa_version":"Published Version","publisher":"Wiley-Blackwell","publication_status":"published"},{"status":"public","quality_controlled":"1","date_created":"2018-12-11T11:54:30Z","abstract":[{"text":"We investigate the relation between Bose-Einstein condensation (BEC) and superfluidity in the ground state of a one-dimensional model of interacting bosons in a strong random potential. We prove rigorously that in a certain parameter regime the superfluid fraction can be arbitrarily small while complete BEC prevails. In another regime there is both complete BEC and complete superfluidity, despite the strong disorder","lang":"eng"}],"type":"journal_article","oa":1,"file":[{"date_updated":"2020-07-14T12:45:20Z","access_level":"open_access","creator":"system","relation":"main_file","file_id":"4963","file_size":768108,"checksum":"38fdf2b5ac30445e26a5d613abd84b16","date_created":"2018-12-12T10:12:44Z","content_type":"application/pdf","file_name":"IST-2016-447-v1+1_document_1_.pdf"}],"pubrep_id":"447","ddc":["530"],"title":"Superfluid behavior of a Bose-Einstein condensate in a random potential","month":"01","scopus_import":"1","day":"15","year":"2015","doi":"10.1088/1367-2630/17/1/013022","author":[{"last_name":"Könenberg","first_name":"Martin","full_name":"Könenberg, Martin"},{"full_name":"Moser, Thomas","id":"2B5FC9A4-F248-11E8-B48F-1D18A9856A87","last_name":"Moser","first_name":"Thomas"},{"orcid":"0000-0002-6781-0521","first_name":"Robert","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Seiringer, Robert"},{"first_name":"Jakob","last_name":"Yngvason","full_name":"Yngvason, Jakob"}],"project":[{"name":"NSERC Postdoctoral fellowship","_id":"26450934-B435-11E9-9278-68D0E5697425"}],"article_number":"013022","publisher":"IOP Publishing","publication_status":"published","volume":17,"date_published":"2015-01-15T00:00:00Z","oa_version":"Published Version","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","intvolume":"        17","file_date_updated":"2020-07-14T12:45:20Z","publication":"New Journal of Physics","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"isi":1,"acknowledgement":"Support from the Natural Sciences and Engineering Research Council of Canada NSERC (MK and RS) and from the Austrian Science Fund FWF (JY, under project P 22929-N16) is gratefully acknowledged","_id":"1880","article_processing_charge":"No","date_updated":"2025-09-23T10:51:00Z","department":[{"_id":"RoSe"}],"citation":{"ieee":"M. Könenberg, T. Moser, R. Seiringer, and J. Yngvason, “Superfluid behavior of a Bose-Einstein condensate in a random potential,” <i>New Journal of Physics</i>, vol. 17. IOP Publishing, 2015.","chicago":"Könenberg, Martin, Thomas Moser, Robert Seiringer, and Jakob Yngvason. “Superfluid Behavior of a Bose-Einstein Condensate in a Random Potential.” <i>New Journal of Physics</i>. IOP Publishing, 2015. <a href=\"https://doi.org/10.1088/1367-2630/17/1/013022\">https://doi.org/10.1088/1367-2630/17/1/013022</a>.","ista":"Könenberg M, Moser T, Seiringer R, Yngvason J. 2015. Superfluid behavior of a Bose-Einstein condensate in a random potential. New Journal of Physics. 17, 013022.","short":"M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, New Journal of Physics 17 (2015).","mla":"Könenberg, Martin, et al. “Superfluid Behavior of a Bose-Einstein Condensate in a Random Potential.” <i>New Journal of Physics</i>, vol. 17, 013022, IOP Publishing, 2015, doi:<a href=\"https://doi.org/10.1088/1367-2630/17/1/013022\">10.1088/1367-2630/17/1/013022</a>.","ama":"Könenberg M, Moser T, Seiringer R, Yngvason J. Superfluid behavior of a Bose-Einstein condensate in a random potential. <i>New Journal of Physics</i>. 2015;17. doi:<a href=\"https://doi.org/10.1088/1367-2630/17/1/013022\">10.1088/1367-2630/17/1/013022</a>","apa":"Könenberg, M., Moser, T., Seiringer, R., &#38; Yngvason, J. (2015). Superfluid behavior of a Bose-Einstein condensate in a random potential. <i>New Journal of Physics</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/1367-2630/17/1/013022\">https://doi.org/10.1088/1367-2630/17/1/013022</a>"},"external_id":{"isi":["000348759300007"]},"publist_id":"5214","has_accepted_license":"1","language":[{"iso":"eng"}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"      8997","conference":{"name":"FACS: Formal Aspects of Component Software","location":"Bertinoro, Italy","start_date":"2014-09-10","end_date":"2014-09-12"},"alternative_title":["LNCS"],"acknowledgement":"This research was funded in part by the European Research Council (ERC) under grant agreement 267989 (QUAREM), by the Austrian Science Fund (FWF) project S11402-N23 (RiSE), and by the Czech Science Foundation, grant No. P202/12/G061.","publisher":"Springer","publication_status":"published","oa_version":"Preprint","ec_funded":1,"date_published":"2015-01-30T00:00:00Z","volume":8997,"external_id":{"arxiv":["1408.1256"]},"department":[{"_id":"ToHe"},{"_id":"KrCh"}],"citation":{"ista":"Fahrenberg U, Kretinsky J, Legay A, Traonouez L. 2015. Compositionality for quantitative specifications. FACS: Formal Aspects of Component Software, LNCS, vol. 8997, 306–324.","short":"U. Fahrenberg, J. Kretinsky, A. Legay, L. Traonouez, in:, Springer, 2015, pp. 306–324.","mla":"Fahrenberg, Uli, et al. <i>Compositionality for Quantitative Specifications</i>. Vol. 8997, Springer, 2015, pp. 306–24, doi:<a href=\"https://doi.org/10.1007/978-3-319-15317-9_19\">10.1007/978-3-319-15317-9_19</a>.","ama":"Fahrenberg U, Kretinsky J, Legay A, Traonouez L. Compositionality for quantitative specifications. In: Vol 8997. Springer; 2015:306-324. doi:<a href=\"https://doi.org/10.1007/978-3-319-15317-9_19\">10.1007/978-3-319-15317-9_19</a>","apa":"Fahrenberg, U., Kretinsky, J., Legay, A., &#38; Traonouez, L. (2015). Compositionality for quantitative specifications (Vol. 8997, pp. 306–324). Presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy: Springer. <a href=\"https://doi.org/10.1007/978-3-319-15317-9_19\">https://doi.org/10.1007/978-3-319-15317-9_19</a>","ieee":"U. Fahrenberg, J. Kretinsky, A. Legay, and L. Traonouez, “Compositionality for quantitative specifications,” presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy, 2015, vol. 8997, pp. 306–324.","chicago":"Fahrenberg, Uli, Jan Kretinsky, Axel Legay, and Louis Traonouez. “Compositionality for Quantitative Specifications,” 8997:306–24. Springer, 2015. <a href=\"https://doi.org/10.1007/978-3-319-15317-9_19\">https://doi.org/10.1007/978-3-319-15317-9_19</a>."},"language":[{"iso":"eng"}],"publist_id":"5216","article_processing_charge":"No","date_updated":"2025-06-11T07:22:00Z","_id":"1882","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1408.1256"}],"abstract":[{"text":"We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process the actions can be further refined and the information made more precise. We show how to compute the results of standard operations on the systems, including the quotient (residual), which has not been previously considered for quantitative non-deterministic systems. Our quantitative framework has close connections to the modal nu-calculus and is compositional with respect to general notions of distances between systems and the standard operations.","lang":"eng"}],"date_created":"2018-12-11T11:54:31Z","oa":1,"type":"conference","corr_author":"1","quality_controlled":"1","arxiv":1,"status":"public","doi":"10.1007/978-3-319-15317-9_19","year":"2015","project":[{"name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"267989"},{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23"}],"author":[{"full_name":"Fahrenberg, Uli","last_name":"Fahrenberg","first_name":"Uli"},{"full_name":"Kretinsky, Jan","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","last_name":"Kretinsky","orcid":"0000-0002-8122-2881"},{"last_name":"Legay","first_name":"Axel","full_name":"Legay, Axel"},{"first_name":"Louis","last_name":"Traonouez","full_name":"Traonouez, Louis"}],"scopus_import":"1","page":"306 - 324","day":"30","month":"01","title":"Compositionality for quantitative specifications"},{"issue":"2","article_processing_charge":"No","date_updated":"2025-09-23T07:53:52Z","_id":"1883","external_id":{"arxiv":["1012.3298"],"isi":["000349860900006"]},"department":[{"_id":"NiBa"}],"citation":{"apa":"Keller-Schmidt, S., Tugrul, M., Eguíluz, V., Hernandez Garcia, E., &#38; Klemm, K. (2015). Anomalous scaling in an age-dependent branching model. <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>. American Institute of Physics. <a href=\"https://doi.org/10.1103/PhysRevE.91.022803\">https://doi.org/10.1103/PhysRevE.91.022803</a>","ista":"Keller-Schmidt S, Tugrul M, Eguíluz V, Hernandez Garcia E, Klemm K. 2015. Anomalous scaling in an age-dependent branching model. Physical Review E Statistical Nonlinear and Soft Matter Physics. 91(2), 022803.","short":"S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, K. Klemm, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).","mla":"Keller-Schmidt, Stephanie, et al. “Anomalous Scaling in an Age-Dependent Branching Model.” <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>, vol. 91, no. 2, 022803, American Institute of Physics, 2015, doi:<a href=\"https://doi.org/10.1103/PhysRevE.91.022803\">10.1103/PhysRevE.91.022803</a>.","ama":"Keller-Schmidt S, Tugrul M, Eguíluz V, Hernandez Garcia E, Klemm K. Anomalous scaling in an age-dependent branching model. <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>. 2015;91(2). doi:<a href=\"https://doi.org/10.1103/PhysRevE.91.022803\">10.1103/PhysRevE.91.022803</a>","ieee":"S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, and K. Klemm, “Anomalous scaling in an age-dependent branching model,” <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>, vol. 91, no. 2. American Institute of Physics, 2015.","chicago":"Keller-Schmidt, Stephanie, Murat Tugrul, Víctor Eguíluz, Emilio Hernandez Garcia, and Konstantin Klemm. “Anomalous Scaling in an Age-Dependent Branching Model.” <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>. American Institute of Physics, 2015. <a href=\"https://doi.org/10.1103/PhysRevE.91.022803\">https://doi.org/10.1103/PhysRevE.91.022803</a>."},"language":[{"iso":"eng"}],"publist_id":"5213","publisher":"American Institute of Physics","publication_status":"published","oa_version":"Preprint","volume":91,"date_published":"2015-02-02T00:00:00Z","publication":"Physical Review E Statistical Nonlinear and Soft Matter Physics","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","intvolume":"        91","isi":1,"month":"02","title":"Anomalous scaling in an age-dependent branching model","year":"2015","doi":"10.1103/PhysRevE.91.022803","author":[{"last_name":"Keller-Schmidt","first_name":"Stephanie","full_name":"Keller-Schmidt, Stephanie"},{"orcid":"0000-0002-8523-0758","last_name":"Tugrul","first_name":"Murat","id":"37C323C6-F248-11E8-B48F-1D18A9856A87","full_name":"Tugrul, Murat"},{"last_name":"Eguíluz","first_name":"Víctor","full_name":"Eguíluz, Víctor"},{"full_name":"Hernandez Garcia, Emilio","first_name":"Emilio","last_name":"Hernandez Garcia"},{"full_name":"Klemm, Konstantin","last_name":"Klemm","first_name":"Konstantin"}],"scopus_import":"1","day":"02","article_number":"022803","article_type":"original","quality_controlled":"1","arxiv":1,"status":"public","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1012.3298"}],"abstract":[{"lang":"eng","text":"We introduce a one-parametric family of tree growth models, in which branching probabilities decrease with branch age τ as τ-α. Depending on the exponent α, the scaling of tree depth with tree size n displays a transition between the logarithmic scaling of random trees and an algebraic growth. At the transition (α=1) tree depth grows as (logn)2. This anomalous scaling is in good agreement with the trend observed in evolution of biological species, thus providing a theoretical support for age-dependent speciation and associating it to the occurrence of a critical point.\r\n"}],"date_created":"2018-12-11T11:54:31Z","oa":1,"type":"journal_article"},{"volume":199,"date_published":"2015-01-01T00:00:00Z","oa_version":"Preprint","publisher":"Genetics Society of America","publication_status":"published","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","intvolume":"       199","publication":"Genetics","_id":"1885","article_processing_charge":"No","date_updated":"2025-09-23T09:53:07Z","issue":"1","publist_id":"5210","language":[{"iso":"eng"}],"department":[{"_id":"GaTk"}],"citation":{"short":"G. Tkačik, J. Dubuis, M. Petkova, T. Gregor, Genetics 199 (2015) 39–59.","ista":"Tkačik G, Dubuis J, Petkova M, Gregor T. 2015. Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. Genetics. 199(1), 39–59.","mla":"Tkačik, Gašper, et al. “Positional Information, Positional Error, and Readout Precision in Morphogenesis: A Mathematical Framework.” <i>Genetics</i>, vol. 199, no. 1, Genetics Society of America, 2015, pp. 39–59, doi:<a href=\"https://doi.org/10.1534/genetics.114.171850\">10.1534/genetics.114.171850</a>.","ama":"Tkačik G, Dubuis J, Petkova M, Gregor T. Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. <i>Genetics</i>. 2015;199(1):39-59. doi:<a href=\"https://doi.org/10.1534/genetics.114.171850\">10.1534/genetics.114.171850</a>","apa":"Tkačik, G., Dubuis, J., Petkova, M., &#38; Gregor, T. (2015). Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. <i>Genetics</i>. Genetics Society of America. <a href=\"https://doi.org/10.1534/genetics.114.171850\">https://doi.org/10.1534/genetics.114.171850</a>","ieee":"G. Tkačik, J. Dubuis, M. Petkova, and T. Gregor, “Positional information, positional error, and readout precision in morphogenesis: A mathematical framework,” <i>Genetics</i>, vol. 199, no. 1. Genetics Society of America, pp. 39–59, 2015.","chicago":"Tkačik, Gašper, Julien Dubuis, Mariela Petkova, and Thomas Gregor. “Positional Information, Positional Error, and Readout Precision in Morphogenesis: A Mathematical Framework.” <i>Genetics</i>. Genetics Society of America, 2015. <a href=\"https://doi.org/10.1534/genetics.114.171850\">https://doi.org/10.1534/genetics.114.171850</a>."},"external_id":{"isi":["000347712900004"],"arxiv":["1404.5599"]},"status":"public","quality_controlled":"1","arxiv":1,"corr_author":"1","type":"journal_article","oa":1,"date_created":"2018-12-11T11:54:32Z","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1404.5599"}],"abstract":[{"text":"The concept of positional information is central to our understanding of how cells determine their location in a multicellular structure and thereby their developmental fates. Nevertheless, positional information has neither been defined mathematically nor quantified in a principled way. Here we provide an information-theoretic definition in the context of developmental gene expression patterns and examine the features of expression patterns that affect positional information quantitatively. We connect positional information with the concept of positional error and develop tools to directly measure information and error from experimental data. We illustrate our framework for the case of gap gene expression patterns in the early Drosophila embryo and show how information that is distributed among only four genes is sufficient to determine developmental fates with nearly single-cell resolution. Our approach can be generalized to a variety of different model systems; procedures and examples are discussed in detail. ","lang":"eng"}],"title":"Positional information, positional error, and readout precision in morphogenesis: A mathematical framework","month":"01","scopus_import":"1","page":"39 - 59","day":"01","doi":"10.1534/genetics.114.171850","year":"2015","author":[{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","full_name":"Tkacik, Gasper","last_name":"Tkacik","first_name":"Gasper","orcid":"0000-0002-6699-1455"},{"full_name":"Dubuis, Julien","last_name":"Dubuis","first_name":"Julien"},{"first_name":"Mariela","last_name":"Petkova","full_name":"Petkova, Mariela"},{"first_name":"Thomas","last_name":"Gregor","full_name":"Gregor, Thomas"}]},{"oa_version":"None","date_published":"2015-03-06T00:00:00Z","volume":379,"publication_status":"published","publisher":"Elsevier","acknowledgement":"F.P. was supported by the Graduate School of IST Austria. S.S. was partially supported by CRC1060 of the DFG\r\nThe authors thank Olga Symonova and Michael Kerber for sharing their implementation of the persistence algorithm. ","isi":1,"publication":"Physics Letters, Section A","intvolume":"       379","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2025-09-23T09:44:12Z","article_processing_charge":"No","_id":"1938","issue":"6","language":[{"iso":"eng"}],"publist_id":"5152","external_id":{"isi":["000349586000006"]},"citation":{"ista":"Pausinger F, Steinerberger S. 2015. On the distribution of local extrema in quantum chaos. Physics Letters, Section A. 379(6), 535–541.","short":"F. Pausinger, S. Steinerberger, Physics Letters, Section A 379 (2015) 535–541.","mla":"Pausinger, Florian, and Stefan Steinerberger. “On the Distribution of Local Extrema in Quantum Chaos.” <i>Physics Letters, Section A</i>, vol. 379, no. 6, Elsevier, 2015, pp. 535–41, doi:<a href=\"https://doi.org/10.1016/j.physleta.2014.12.010\">10.1016/j.physleta.2014.12.010</a>.","ama":"Pausinger F, Steinerberger S. On the distribution of local extrema in quantum chaos. <i>Physics Letters, Section A</i>. 2015;379(6):535-541. doi:<a href=\"https://doi.org/10.1016/j.physleta.2014.12.010\">10.1016/j.physleta.2014.12.010</a>","apa":"Pausinger, F., &#38; Steinerberger, S. (2015). On the distribution of local extrema in quantum chaos. <i>Physics Letters, Section A</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.physleta.2014.12.010\">https://doi.org/10.1016/j.physleta.2014.12.010</a>","ieee":"F. Pausinger and S. Steinerberger, “On the distribution of local extrema in quantum chaos,” <i>Physics Letters, Section A</i>, vol. 379, no. 6. Elsevier, pp. 535–541, 2015.","chicago":"Pausinger, Florian, and Stefan Steinerberger. “On the Distribution of Local Extrema in Quantum Chaos.” <i>Physics Letters, Section A</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.physleta.2014.12.010\">https://doi.org/10.1016/j.physleta.2014.12.010</a>."},"department":[{"_id":"HeEd"}],"quality_controlled":"1","status":"public","corr_author":"1","type":"journal_article","abstract":[{"lang":"eng","text":"We numerically investigate the distribution of extrema of 'chaotic' Laplacian eigenfunctions on two-dimensional manifolds. Our contribution is two-fold: (a) we count extrema on grid graphs with a small number of randomly added edges and show the behavior to coincide with the 1957 prediction of Longuet-Higgins for the continuous case and (b) we compute the regularity of their spatial distribution using discrepancy, which is a classical measure from the theory of Monte Carlo integration. The first part suggests that grid graphs with randomly added edges should behave like two-dimensional surfaces with ergodic geodesic flow; in the second part we show that the extrema are more regularly distributed in space than the grid Z2."}],"date_created":"2018-12-11T11:54:49Z","month":"03","title":"On the distribution of local extrema in quantum chaos","author":[{"id":"2A77D7A2-F248-11E8-B48F-1D18A9856A87","full_name":"Pausinger, Florian","orcid":"0000-0002-8379-3768","first_name":"Florian","last_name":"Pausinger"},{"last_name":"Steinerberger","first_name":"Stefan","full_name":"Steinerberger, Stefan"}],"year":"2015","doi":"10.1016/j.physleta.2014.12.010","day":"06","scopus_import":"1","page":"535 - 541"},{"publication_status":"published","publisher":"American Institute of Physics","volume":91,"date_published":"2015-06-15T00:00:00Z","oa_version":"Preprint","intvolume":"        91","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"Physical Review E Statistical Nonlinear and Soft Matter Physics","isi":1,"issue":"6","_id":"1940","date_updated":"2025-09-23T09:46:10Z","article_processing_charge":"No","citation":{"chicago":"Sokolowski, Thomas R, and Gašper Tkačik. “Optimizing Information Flow in Small Genetic Networks. IV. Spatial Coupling.” <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>. American Institute of Physics, 2015. <a href=\"https://doi.org/10.1103/PhysRevE.91.062710\">https://doi.org/10.1103/PhysRevE.91.062710</a>.","ieee":"T. R. Sokolowski and G. Tkačik, “Optimizing information flow in small genetic networks. IV. Spatial coupling,” <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>, vol. 91, no. 6. American Institute of Physics, 2015.","apa":"Sokolowski, T. R., &#38; Tkačik, G. (2015). Optimizing information flow in small genetic networks. IV. Spatial coupling. <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>. American Institute of Physics. <a href=\"https://doi.org/10.1103/PhysRevE.91.062710\">https://doi.org/10.1103/PhysRevE.91.062710</a>","ama":"Sokolowski TR, Tkačik G. Optimizing information flow in small genetic networks. IV. Spatial coupling. <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>. 2015;91(6). doi:<a href=\"https://doi.org/10.1103/PhysRevE.91.062710\">10.1103/PhysRevE.91.062710</a>","mla":"Sokolowski, Thomas R., and Gašper Tkačik. “Optimizing Information Flow in Small Genetic Networks. IV. Spatial Coupling.” <i>Physical Review E Statistical Nonlinear and Soft Matter Physics</i>, vol. 91, no. 6, 062710, American Institute of Physics, 2015, doi:<a href=\"https://doi.org/10.1103/PhysRevE.91.062710\">10.1103/PhysRevE.91.062710</a>.","short":"T.R. Sokolowski, G. Tkačik, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).","ista":"Sokolowski TR, Tkačik G. 2015. Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter Physics. 91(6), 062710."},"department":[{"_id":"GaTk"}],"external_id":{"arxiv":["1501.04015"],"isi":["000356131600006"]},"publist_id":"5145","language":[{"iso":"eng"}],"corr_author":"1","status":"public","quality_controlled":"1","arxiv":1,"date_created":"2018-12-11T11:54:49Z","abstract":[{"lang":"eng","text":"We typically think of cells as responding to external signals independently by regulating their gene expression levels, yet they often locally exchange information and coordinate. Can such spatial coupling be of benefit for conveying signals subject to gene regulatory noise? Here we extend our information-theoretic framework for gene regulation to spatially extended systems. As an example, we consider a lattice of nuclei responding to a concentration field of a transcriptional regulator (the &quot;input&quot;) by expressing a single diffusible target gene. When input concentrations are low, diffusive coupling markedly improves information transmission; optimal gene activation functions also systematically change. A qualitatively new regulatory strategy emerges where individual cells respond to the input in a nearly step-like fashion that is subsequently averaged out by strong diffusion. While motivated by early patterning events in the Drosophila embryo, our framework is generically applicable to spatially coupled stochastic gene expression models."}],"main_file_link":[{"url":"http://arxiv.org/abs/1501.04015","open_access":"1"}],"type":"journal_article","oa":1,"title":"Optimizing information flow in small genetic networks. IV. Spatial coupling","month":"06","day":"15","scopus_import":"1","author":[{"id":"3E999752-F248-11E8-B48F-1D18A9856A87","full_name":"Sokolowski, Thomas R","first_name":"Thomas R","last_name":"Sokolowski","orcid":"0000-0002-1287-3779"},{"first_name":"Gasper","last_name":"Tkacik","orcid":"0000-0002-6699-1455","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","full_name":"Tkacik, Gasper"}],"doi":"10.1103/PhysRevE.91.062710","year":"2015","article_number":"062710"},{"day":"01","scopus_import":"1","page":"116 - 123","project":[{"grant_number":"282300","call_identifier":"FP7","_id":"25716A02-B435-11E9-9278-68D0E5697425","name":"Polarity and subcellular dynamics in plants"},{"name":"International IST Postdoc Fellowship Programme","grant_number":"291734","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"author":[{"first_name":"Hana","last_name":"Rakusová","full_name":"Rakusová, Hana"},{"full_name":"Fendrych, Matyas","id":"43905548-F248-11E8-B48F-1D18A9856A87","last_name":"Fendrych","first_name":"Matyas","orcid":"0000-0002-9767-8699"},{"orcid":"0000-0002-8302-7596","last_name":"Friml","first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jirí"}],"year":"2015","doi":"10.1016/j.pbi.2014.12.002","title":"Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants","month":"02","type":"journal_article","date_created":"2018-12-11T11:54:51Z","status":"public","quality_controlled":"1","corr_author":"1","publist_id":"5140","language":[{"iso":"eng"}],"citation":{"ama":"Rakusová H, Fendrych M, Friml J. Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants. <i>Current Opinion in Plant Biology</i>. 2015;23(2):116-123. doi:<a href=\"https://doi.org/10.1016/j.pbi.2014.12.002\">10.1016/j.pbi.2014.12.002</a>","mla":"Rakusová, Hana, et al. “Intracellular Trafficking and PIN-Mediated Cell Polarity during Tropic Responses in Plants.” <i>Current Opinion in Plant Biology</i>, vol. 23, no. 2, Elsevier, 2015, pp. 116–23, doi:<a href=\"https://doi.org/10.1016/j.pbi.2014.12.002\">10.1016/j.pbi.2014.12.002</a>.","ista":"Rakusová H, Fendrych M, Friml J. 2015. Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants. Current Opinion in Plant Biology. 23(2), 116–123.","short":"H. Rakusová, M. Fendrych, J. Friml, Current Opinion in Plant Biology 23 (2015) 116–123.","apa":"Rakusová, H., Fendrych, M., &#38; Friml, J. (2015). Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants. <i>Current Opinion in Plant Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.pbi.2014.12.002\">https://doi.org/10.1016/j.pbi.2014.12.002</a>","chicago":"Rakusová, Hana, Matyas Fendrych, and Jiří Friml. “Intracellular Trafficking and PIN-Mediated Cell Polarity during Tropic Responses in Plants.” <i>Current Opinion in Plant Biology</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.pbi.2014.12.002\">https://doi.org/10.1016/j.pbi.2014.12.002</a>.","ieee":"H. Rakusová, M. Fendrych, and J. Friml, “Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants,” <i>Current Opinion in Plant Biology</i>, vol. 23, no. 2. Elsevier, pp. 116–123, 2015."},"department":[{"_id":"JiFr"}],"external_id":{"isi":["000349880900017"]},"_id":"1944","date_updated":"2025-09-23T09:23:09Z","article_processing_charge":"No","issue":"2","acknowledgement":"This work was supported by the European Research Council (project ERC-2011-StG-20101109-PSDP); the Agency for Innovation by Science and Technology (IWT) (predoctoral fellowship to H.R.); and the People Programme (Marie Curie Actions) of the European Union","isi":1,"intvolume":"        23","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"Current Opinion in Plant Biology","date_published":"2015-02-01T00:00:00Z","volume":23,"ec_funded":1,"oa_version":"None","publication_status":"published","publisher":"Elsevier"},{"scopus_import":"1","page":"745 - 752","day":"01","year":"2015","author":[{"full_name":"Ahmed, Umair","first_name":"Umair","last_name":"Ahmed"},{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"full_name":"Gulwani, Sumit","first_name":"Sumit","last_name":"Gulwani"}],"project":[{"call_identifier":"FWF","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23"},{"call_identifier":"FP7","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"title":"Automatic generation of alternative starting positions for simple traditional board games","month":"01","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"5410"}]},"type":"conference","oa":1,"date_created":"2018-12-11T11:52:16Z","main_file_link":[{"url":"https://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/download/9523/9300","open_access":"1"}],"abstract":[{"lang":"eng","text":"Simple board games, like Tic-Tac-Toe and CONNECT-4, play an important role not only in the development of mathematical and logical skills, but also in the emotional and social development. In this paper, we address the problem of generating targeted starting positions for such games. This can facilitate new approaches for bringing novice players to mastery, and also leads to discovery of interesting game variants. We present an approach that generates starting states of varying hardness levels for player 1 in a two-player board game, given rules of the board game, the desired number of steps required for player 1 to win, and the expertise levels of the two players. Our approach leverages symbolic methods and iterative simulation to efficiently search the extremely large state space. We present experimental results that include discovery of states of varying hardness levels for several simple grid-based board games. The presence of such states for standard game variants like 4×4 Tic-Tac-Toe opens up new games to be played that have never been played as the default start state is heavily biased. "}],"status":"public","quality_controlled":"1","arxiv":1,"publist_id":"5713","language":[{"iso":"eng"}],"department":[{"_id":"KrCh"}],"citation":{"apa":"Ahmed, U., Chatterjee, K., &#38; Gulwani, S. (2015). Automatic generation of alternative starting positions for simple traditional board games. In <i>Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence</i> (Vol. 2, pp. 745–752). Austin, TX, USA: AAAI Press.","ista":"Ahmed U, Chatterjee K, Gulwani S. 2015. Automatic generation of alternative starting positions for simple traditional board games. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2, 745–752.","short":"U. Ahmed, K. Chatterjee, S. Gulwani, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI Press, 2015, pp. 745–752.","mla":"Ahmed, Umair, et al. “Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.” <i>Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence</i>, vol. 2, AAAI Press, 2015, pp. 745–52.","ama":"Ahmed U, Chatterjee K, Gulwani S. Automatic generation of alternative starting positions for simple traditional board games. In: <i>Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence</i>. Vol 2. AAAI Press; 2015:745-752.","ieee":"U. Ahmed, K. Chatterjee, and S. Gulwani, “Automatic generation of alternative starting positions for simple traditional board games,” in <i>Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence</i>, Austin, TX, USA, 2015, vol. 2, pp. 745–752.","chicago":"Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. “Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.” In <i>Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence</i>, 2:745–52. AAAI Press, 2015."},"external_id":{"arxiv":["1411.4023"]},"_id":"1481","article_processing_charge":"No","date_updated":"2025-05-19T11:10:17Z","conference":{"name":"AAAI: Conference on Artificial Intelligence","location":"Austin, TX, USA","start_date":"2015-01-25","end_date":"2015-01-30"},"acknowledgement":"A Technical Report of this paper is available at: \r\nhttps://repository.ist.ac.at/id/eprint/146.\r\n","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"         2","publication":"Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence","volume":2,"date_published":"2015-01-01T00:00:00Z","oa_version":"None","ec_funded":1,"publisher":"AAAI Press","publication_status":"published"},{"publisher":"IEEE","publication_status":"published","oa_version":"Preprint","arxiv":1,"status":"public","date_published":"2015-10-14T00:00:00Z","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1412.6821"}],"abstract":[{"text":"Topological data analysis offers a rich source of valuable information to study vision problems. Yet, so far we lack a theoretically sound connection to popular kernel-based learning techniques, such as kernel SVMs or kernel PCA. In this work, we establish such a connection by designing a multi-scale kernel for persistence diagrams, a stable summary representation of topological features in data. We show that this kernel is positive definite and prove its stability with respect to the 1-Wasserstein distance. Experiments on two benchmark datasets for 3D shape classification/retrieval and texture recognition show considerable performance gains of the proposed method compared to an alternative approach that is based on the recently introduced persistence landscapes.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T11:52:17Z","oa":1,"conference":{"end_date":"2015-06-12","start_date":"2015-06-07","location":"Boston, MA, USA","name":"CVPR: Computer Vision and Pattern Recognition"},"type":"conference","article_processing_charge":"No","month":"10","date_updated":"2025-06-11T06:37:43Z","title":"A stable multi-scale kernel for topological machine learning","_id":"1483","doi":"10.1109/CVPR.2015.7299106","year":"2015","author":[{"first_name":"Jan","last_name":"Reininghaus","full_name":"Reininghaus, Jan","id":"4505473A-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Huber, Stefan","id":"4700A070-F248-11E8-B48F-1D18A9856A87","last_name":"Huber","first_name":"Stefan","orcid":"0000-0002-8871-5814"},{"last_name":"Bauer","first_name":"Ulrich","orcid":"0000-0002-9683-0724","id":"2ADD483A-F248-11E8-B48F-1D18A9856A87","full_name":"Bauer, Ulrich"},{"last_name":"Kwitt","first_name":"Roland","full_name":"Kwitt, Roland"}],"external_id":{"arxiv":["1412.6821"]},"scopus_import":"1","page":"4741 - 4748","department":[{"_id":"HeEd"}],"day":"14","citation":{"ieee":"J. Reininghaus, S. Huber, U. Bauer, and R. Kwitt, “A stable multi-scale kernel for topological machine learning,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA, 2015, pp. 4741–4748.","chicago":"Reininghaus, Jan, Stefan Huber, Ulrich Bauer, and Roland Kwitt. “A Stable Multi-Scale Kernel for Topological Machine Learning,” 4741–48. IEEE, 2015. <a href=\"https://doi.org/10.1109/CVPR.2015.7299106\">https://doi.org/10.1109/CVPR.2015.7299106</a>.","short":"J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.","ista":"Reininghaus J, Huber S, Bauer U, Kwitt R. 2015. A stable multi-scale kernel for topological machine learning. CVPR: Computer Vision and Pattern Recognition, 4741–4748.","ama":"Reininghaus J, Huber S, Bauer U, Kwitt R. A stable multi-scale kernel for topological machine learning. In: IEEE; 2015:4741-4748. doi:<a href=\"https://doi.org/10.1109/CVPR.2015.7299106\">10.1109/CVPR.2015.7299106</a>","mla":"Reininghaus, Jan, et al. <i>A Stable Multi-Scale Kernel for Topological Machine Learning</i>. IEEE, 2015, pp. 4741–48, doi:<a href=\"https://doi.org/10.1109/CVPR.2015.7299106\">10.1109/CVPR.2015.7299106</a>.","apa":"Reininghaus, J., Huber, S., Bauer, U., &#38; Kwitt, R. (2015). A stable multi-scale kernel for topological machine learning (pp. 4741–4748). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE. <a href=\"https://doi.org/10.1109/CVPR.2015.7299106\">https://doi.org/10.1109/CVPR.2015.7299106</a>"},"publication_identifier":{"eisbn":["978-1-4673-6964-0 "]},"language":[{"iso":"eng"}],"publist_id":"5709"},{"article_processing_charge":"No","date_updated":"2025-06-11T06:38:01Z","_id":"1495","external_id":{"arxiv":["1505.03402"]},"department":[{"_id":"HeEd"}],"citation":{"ieee":"H. Edelsbrunner, M. Iglesias Ham, and V. Kurlin, “Relaxed disk packing,” in <i>Proceedings of the 27th Canadian Conference on Computational Geometry</i>, Ontario, Canada, 2015, vol. 2015–August, pp. 128–135.","chicago":"Edelsbrunner, Herbert, Mabel Iglesias Ham, and Vitaliy Kurlin. “Relaxed Disk Packing.” In <i>Proceedings of the 27th Canadian Conference on Computational Geometry</i>, 2015–August:128–35. Queen’s University, 2015.","ista":"Edelsbrunner H, Iglesias Ham M, Kurlin V. 2015. Relaxed disk packing. Proceedings of the 27th Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry vol. 2015–August, 128–135.","short":"H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.","mla":"Edelsbrunner, Herbert, et al. “Relaxed Disk Packing.” <i>Proceedings of the 27th Canadian Conference on Computational Geometry</i>, vol. 2015–August, Queen’s University, 2015, pp. 128–35.","ama":"Edelsbrunner H, Iglesias Ham M, Kurlin V. Relaxed disk packing. In: <i>Proceedings of the 27th Canadian Conference on Computational Geometry</i>. Vol 2015-August. Queen’s University; 2015:128-135.","apa":"Edelsbrunner, H., Iglesias Ham, M., &#38; Kurlin, V. (2015). Relaxed disk packing. In <i>Proceedings of the 27th Canadian Conference on Computational Geometry</i> (Vol. 2015–August, pp. 128–135). Ontario, Canada: Queen’s University."},"language":[{"iso":"eng"}],"publist_id":"5684","publisher":"Queen's University","publication_status":"published","oa_version":"Submitted Version","ec_funded":1,"volume":"2015-August","date_published":"2015-08-01T00:00:00Z","publication":"Proceedings of the 27th Canadian Conference on Computational Geometry","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"end_date":"2015-08-12","start_date":"2015-08-10","name":"CCCG: Canadian Conference on Computational Geometry","location":"Ontario, Canada"},"month":"08","title":"Relaxed disk packing","year":"2015","author":[{"full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833"},{"full_name":"Iglesias Ham, Mabel","id":"41B58C0C-F248-11E8-B48F-1D18A9856A87","last_name":"Iglesias Ham","first_name":"Mabel"},{"full_name":"Kurlin, Vitaliy","first_name":"Vitaliy","last_name":"Kurlin"}],"project":[{"_id":"255D761E-B435-11E9-9278-68D0E5697425","grant_number":"318493","call_identifier":"FP7","name":"Topological Complex Systems"}],"page":"128-135","scopus_import":"1","day":"01","arxiv":1,"quality_controlled":"1","status":"public","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1505.03402"}],"abstract":[{"lang":"eng","text":"Motivated by biological questions, we study configurations of equal-sized disks in the Euclidean plane that neither pack nor cover. Measuring the quality by the probability that a random point lies in exactly one disk, we show that the regular hexagonal grid gives the maximum among lattice configurations. "}],"date_created":"2018-12-11T11:52:21Z","oa":1,"type":"conference"},{"date_published":"2015-07-21T00:00:00Z","volume":43,"oa_version":"Published Version","publication_status":"published","publisher":"Oxford University Press","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"acknowledgement":"Austrian Science Fund [FWF P25185-B22, FWF F4302- B09, FWFW1207-B09]. Funding for open access charge: Austrian Science Fund.\r\nWe thank Florian Breitwieser for advice during the early stages of this project. High-throughput sequencing was conducted by the Biomedical Sequencing Facility (BSF) at CeMM in Vienna.","isi":1,"file_date_updated":"2020-07-14T12:44:58Z","intvolume":"        43","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"Nucleic Acids Research","_id":"1497","date_updated":"2025-09-23T07:45:31Z","article_processing_charge":"No","issue":"21","publist_id":"5682","language":[{"iso":"eng"}],"has_accepted_license":"1","citation":{"mla":"Andergassen, Daniel, et al. “Allelome.PRO, a Pipeline to Define Allele-Specific Genomic Features from High-Throughput Sequencing Data.” <i>Nucleic Acids Research</i>, vol. 43, no. 21, e146, Oxford University Press, 2015, doi:<a href=\"https://doi.org/10.1093/nar/gkv727\">10.1093/nar/gkv727</a>.","ama":"Andergassen D, Dotter C, Kulinski T, et al. Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. <i>Nucleic Acids Research</i>. 2015;43(21). doi:<a href=\"https://doi.org/10.1093/nar/gkv727\">10.1093/nar/gkv727</a>","short":"D. Andergassen, C. Dotter, T. Kulinski, P. Guenzl, P. Bammer, D. Barlow, F. Pauler, Q. Hudson, Nucleic Acids Research 43 (2015).","ista":"Andergassen D, Dotter C, Kulinski T, Guenzl P, Bammer P, Barlow D, Pauler F, Hudson Q. 2015. Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research. 43(21), e146.","apa":"Andergassen, D., Dotter, C., Kulinski, T., Guenzl, P., Bammer, P., Barlow, D., … Hudson, Q. (2015). Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. <i>Nucleic Acids Research</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/nar/gkv727\">https://doi.org/10.1093/nar/gkv727</a>","chicago":"Andergassen, Daniel, Christoph Dotter, Tomasz Kulinski, Philipp Guenzl, Philipp Bammer, Denise Barlow, Florian Pauler, and Quanah Hudson. “Allelome.PRO, a Pipeline to Define Allele-Specific Genomic Features from High-Throughput Sequencing Data.” <i>Nucleic Acids Research</i>. Oxford University Press, 2015. <a href=\"https://doi.org/10.1093/nar/gkv727\">https://doi.org/10.1093/nar/gkv727</a>.","ieee":"D. Andergassen <i>et al.</i>, “Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data,” <i>Nucleic Acids Research</i>, vol. 43, no. 21. Oxford University Press, 2015."},"department":[{"_id":"GaNo"}],"external_id":{"isi":["000366410900009"]},"status":"public","quality_controlled":"1","type":"journal_article","file":[{"file_id":"5768","checksum":"385b83854fd0eb2e4f386867da2823e2","file_size":6863297,"creator":"dernst","access_level":"open_access","date_updated":"2020-07-14T12:44:58Z","relation":"main_file","file_name":"2015_NucleicAcidsRes_Andergassen.pdf","content_type":"application/pdf","date_created":"2018-12-20T14:18:57Z"}],"oa":1,"date_created":"2018-12-11T11:52:22Z","abstract":[{"text":"Detecting allelic biases from high-throughput sequencing data requires an approach that maximises sensitivity while minimizing false positives. Here, we present Allelome.PRO, an automated user-friendly bioinformatics pipeline, which uses high-throughput sequencing data from reciprocal crosses of two genetically distinct mouse strains to detect allele-specific expression and chromatin modifications. Allelome.PRO extends approaches used in previous studies that exclusively analyzed imprinted expression to give a complete picture of the ‘allelome’ by automatically categorising the allelic expression of all genes in a given cell type into imprinted, strain-biased, biallelic or non-informative. Allelome.PRO offers increased sensitivity to analyze lowly expressed transcripts, together with a robust false discovery rate empirically calculated from variation in the sequencing data. We used RNA-seq data from mouse embryonic fibroblasts from F1 reciprocal crosses to determine a biologically relevant allelic ratio cutoff, and define for the first time an entire allelome. Furthermore, we show that Allelome.PRO detects differential enrichment of H3K4me3 over promoters from ChIP-seq data validating the RNA-seq results. This approach can be easily extended to analyze histone marks of active enhancers, or transcription factor binding sites and therefore provides a powerful tool to identify candidate cis regulatory elements genome wide.","lang":"eng"}],"title":"Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data","month":"07","ddc":["570"],"article_number":"e146","day":"21","scopus_import":"1","author":[{"last_name":"Andergassen","first_name":"Daniel","full_name":"Andergassen, Daniel"},{"full_name":"Dotter, Christoph","id":"4C66542E-F248-11E8-B48F-1D18A9856A87","last_name":"Dotter","first_name":"Christoph","orcid":"0000-0002-9033-9096"},{"last_name":"Kulinski","first_name":"Tomasz","full_name":"Kulinski, Tomasz"},{"full_name":"Guenzl, Philipp","first_name":"Philipp","last_name":"Guenzl"},{"last_name":"Bammer","first_name":"Philipp","full_name":"Bammer, Philipp"},{"full_name":"Barlow, Denise","first_name":"Denise","last_name":"Barlow"},{"full_name":"Pauler, Florian","last_name":"Pauler","first_name":"Florian"},{"full_name":"Hudson, Quanah","first_name":"Quanah","last_name":"Hudson"}],"year":"2015","doi":"10.1093/nar/gkv727"},{"_id":"1498","date_updated":"2025-04-15T06:26:02Z","citation":{"apa":"Dragoi, C., Henzinger, T. A., &#38; Zufferey, D. (2015). The need for language support for fault-tolerant distributed systems. Presented at the SNAPL: Summit oN Advances in Programming Languages, Asilomar, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SNAPL.2015.90\">https://doi.org/10.4230/LIPIcs.SNAPL.2015.90</a>","ama":"Dragoi C, Henzinger TA, Zufferey D. The need for language support for fault-tolerant distributed systems. 2015;32:90-102. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SNAPL.2015.90\">10.4230/LIPIcs.SNAPL.2015.90</a>","mla":"Dragoi, Cezara, et al. <i>The Need for Language Support for Fault-Tolerant Distributed Systems</i>. Vol. 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SNAPL.2015.90\">10.4230/LIPIcs.SNAPL.2015.90</a>.","ista":"Dragoi C, Henzinger TA, Zufferey D. 2015. The need for language support for fault-tolerant distributed systems. 32, 90–102.","short":"C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.","chicago":"Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “The Need for Language Support for Fault-Tolerant Distributed Systems.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. <a href=\"https://doi.org/10.4230/LIPIcs.SNAPL.2015.90\">https://doi.org/10.4230/LIPIcs.SNAPL.2015.90</a>.","ieee":"C. Dragoi, T. A. Henzinger, and D. Zufferey, “The need for language support for fault-tolerant distributed systems,” vol. 32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 90–102, 2015."},"publication_identifier":{"isbn":["978-3-939897-80-4 "]},"department":[{"_id":"ToHe"}],"publist_id":"5681","language":[{"iso":"eng"}],"has_accepted_license":"1","publication_status":"published","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_published":"2015-01-01T00:00:00Z","volume":32,"ec_funded":1,"oa_version":"Published Version","intvolume":"        32","file_date_updated":"2020-07-14T12:44:58Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"alternative_title":["LIPIcs"],"conference":{"end_date":"2015-05-06","location":"Asilomar, CA, United States","name":"SNAPL: Summit oN Advances in Programming Languages","start_date":"2015-05-03"},"series_title":"Leibniz International Proceedings in Informatics","pubrep_id":"499","ddc":["005"],"title":"The need for language support for fault-tolerant distributed systems","month":"01","day":"01","page":"90 - 102","scopus_import":1,"author":[{"full_name":"Dragoi, Cezara","id":"2B2B5ED0-F248-11E8-B48F-1D18A9856A87","first_name":"Cezara","last_name":"Dragoi"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"full_name":"Zufferey, Damien","id":"4397AC76-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3197-8736","first_name":"Damien","last_name":"Zufferey"}],"project":[{"grant_number":"267989","call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling"},{"call_identifier":"FWF","grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","name":"Moderne Concurrency Paradigms"},{"name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"doi":"10.4230/LIPIcs.SNAPL.2015.90","year":"2015","corr_author":"1","status":"public","quality_controlled":"1","date_created":"2018-12-11T11:52:22Z","abstract":[{"lang":"eng","text":"Fault-tolerant distributed algorithms play an important role in many critical/high-availability applications. These algorithms are notoriously difficult to implement correctly, due to asynchronous communication and the occurrence of faults, such as the network dropping messages or computers crashing. Nonetheless there is surprisingly little language and verification support to build distributed systems based on fault-tolerant algorithms. In this paper, we present some of the challenges that a designer has to overcome to implement a fault-tolerant distributed system. Then we review different models that have been proposed to reason about distributed algorithms and sketch how such a model can form the basis for a domain-specific programming language. Adopting a high-level programming model can simplify the programmer's life and make the code amenable to automated verification, while still compiling to efficiently executable code. We conclude by summarizing the current status of an ongoing language design and implementation project that is based on this idea."}],"type":"conference","oa":1,"file":[{"date_updated":"2020-07-14T12:44:58Z","creator":"system","access_level":"open_access","relation":"main_file","file_id":"5050","file_size":489362,"checksum":"cf5e94baa89a2dc4c5de01abc676eda8","date_created":"2018-12-12T10:14:02Z","content_type":"application/pdf","file_name":"IST-2016-499-v1+1_9.pdf"}]},{"date_created":"2018-12-11T11:52:22Z","abstract":[{"lang":"eng","text":"We consider weighted automata with both positive and negative integer weights on edges and\r\nstudy the problem of synchronization using adaptive strategies that may only observe whether\r\nthe current weight-level is negative or nonnegative. We show that the synchronization problem is decidable in polynomial time for deterministic weighted automata."}],"type":"conference","oa":1,"file":[{"relation":"main_file","date_updated":"2020-07-14T12:44:58Z","creator":"system","access_level":"open_access","file_size":623563,"checksum":"49eb5021caafaabe5356c65b9c5f8c9c","file_id":"4672","date_created":"2018-12-12T10:08:12Z","content_type":"application/pdf","file_name":"IST-2016-498-v1+1_32.pdf"}],"status":"public","quality_controlled":"1","scopus_import":1,"page":"142 - 154","day":"01","doi":"10.4230/LIPIcs.CONCUR.2015.142","year":"2015","author":[{"id":"44CEF464-F248-11E8-B48F-1D18A9856A87","full_name":"Kretinsky, Jan","last_name":"Kretinsky","first_name":"Jan","orcid":"0000-0002-8122-2881"},{"full_name":"Larsen, Kim","last_name":"Larsen","first_name":"Kim"},{"first_name":"Simon","last_name":"Laursen","full_name":"Laursen, Simon"},{"last_name":"Srba","first_name":"Jiří","full_name":"Srba, Jiří"}],"project":[{"name":"Quantitative Reactive Modeling","grant_number":"267989","call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF"},{"grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"Formal methods for the design and analysis of complex systems"},{"name":"International IST Postdoc Fellowship Programme","grant_number":"291734","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"pubrep_id":"498","ddc":["000","003"],"title":"Polynomial time decidability of weighted synchronization under partial observability","month":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2020-07-14T12:44:58Z","intvolume":"        42","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png"},"conference":{"location":"Madrid, Spain","name":"CONCUR: Concurrency Theory","start_date":"2015-09-01","end_date":"2015-09-04"},"acknowledgement":"The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement 601148 (CASSTING), EU FP7 FET project SENSATION, Sino-Danish Basic Research Center IDAE4CPS, the European Research Council (ERC) under grant agreement 267989 (QUAREM), the Austrian Science Fund (FWF) project S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award), the Czech Science Foundation under grant agreement P202/12/G061, and People Programme (Marie Curie Actions) of the European Union’s Seventh Framework\r\nProgramme (FP7/2007-2013) REA Grant No 291734.","alternative_title":["LIPIcs"],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication_status":"published","volume":42,"date_published":"2015-01-01T00:00:00Z","oa_version":"Published Version","ec_funded":1,"department":[{"_id":"ToHe"},{"_id":"KrCh"}],"citation":{"ieee":"J. Kretinsky, K. Larsen, S. Laursen, and J. Srba, “Polynomial time decidability of weighted synchronization under partial observability,” presented at the CONCUR: Concurrency Theory, Madrid, Spain, 2015, vol. 42, pp. 142–154.","chicago":"Kretinsky, Jan, Kim Larsen, Simon Laursen, and Jiří Srba. “Polynomial Time Decidability of Weighted Synchronization under Partial Observability,” 42:142–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2015.142\">https://doi.org/10.4230/LIPIcs.CONCUR.2015.142</a>.","short":"J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.","ista":"Kretinsky J, Larsen K, Laursen S, Srba J. 2015. Polynomial time decidability of weighted synchronization under partial observability. CONCUR: Concurrency Theory, LIPIcs, vol. 42, 142–154.","ama":"Kretinsky J, Larsen K, Laursen S, Srba J. Polynomial time decidability of weighted synchronization under partial observability. In: Vol 42. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:142-154. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2015.142\">10.4230/LIPIcs.CONCUR.2015.142</a>","mla":"Kretinsky, Jan, et al. <i>Polynomial Time Decidability of Weighted Synchronization under Partial Observability</i>. Vol. 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–54, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2015.142\">10.4230/LIPIcs.CONCUR.2015.142</a>.","apa":"Kretinsky, J., Larsen, K., Laursen, S., &#38; Srba, J. (2015). Polynomial time decidability of weighted synchronization under partial observability (Vol. 42, pp. 142–154). Presented at the CONCUR: Concurrency Theory, Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2015.142\">https://doi.org/10.4230/LIPIcs.CONCUR.2015.142</a>"},"publist_id":"5680","has_accepted_license":"1","language":[{"iso":"eng"}],"_id":"1499","date_updated":"2025-04-15T06:26:02Z"},{"page":"382 - 421","day":"01","year":"2015","doi":"10.1214/14-AOS1281","author":[{"id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","full_name":"Bao, Zhigang","orcid":"0000-0003-3036-1475","last_name":"Bao","first_name":"Zhigang"},{"full_name":"Pan, Guangming","first_name":"Guangming","last_name":"Pan"},{"full_name":"Zhou, Wang","first_name":"Wang","last_name":"Zhou"}],"title":"Universality for the largest eigenvalue of sample covariance matrices with general population","month":"02","type":"journal_article","oa":1,"date_created":"2018-12-11T11:52:25Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1304.5690"}],"abstract":[{"lang":"eng","text":"This paper is aimed at deriving the universality of the largest eigenvalue of a class of high-dimensional real or complex sample covariance matrices of the form W N =Σ 1/2XX∗Σ 1/2 . Here, X = (xij )M,N is an M× N random matrix with independent entries xij , 1 ≤ i M,≤ 1 ≤ j ≤ N such that Exij = 0, E|xij |2 = 1/N . On dimensionality, we assume that M = M(N) and N/M → d ε (0, ∞) as N ∞→. For a class of general deterministic positive-definite M × M matrices Σ , under some additional assumptions on the distribution of xij 's, we show that the limiting behavior of the largest eigenvalue of W N is universal, via pursuing a Green function comparison strategy raised in [Probab. Theory Related Fields 154 (2012) 341-407, Adv. Math. 229 (2012) 1435-1515] by Erd″os, Yau and Yin for Wigner matrices and extended by Pillai and Yin [Ann. Appl. Probab. 24 (2014) 935-1001] to sample covariance matrices in the null case (&amp;Epsi = I ). Consequently, in the standard complex case (Ex2 ij = 0), combing this universality property and the results known for Gaussian matrices obtained by El Karoui in [Ann. Probab. 35 (2007) 663-714] (nonsingular case) and Onatski in [Ann. Appl. Probab. 18 (2008) 470-490] (singular case), we show that after an appropriate normalization the largest eigenvalue of W N converges weakly to the type 2 Tracy-Widom distribution TW2 . Moreover, in the real case, we show that whenΣ is spiked with a fixed number of subcritical spikes, the type 1 Tracy-Widom limit TW1 holds for the normalized largest eigenvalue of W N , which extends a result of Féral and Péché in [J. Math. Phys. 50 (2009) 073302] to the scenario of nondiagonal Σ and more generally distributed X . In summary, we establish the Tracy-Widom type universality for the largest eigenvalue of generally distributed sample covariance matrices under quite light assumptions on &amp;Sigma . Applications of these limiting results to statistical signal detection and structure recognition of separable covariance matrices are also discussed."}],"status":"public","quality_controlled":"1","arxiv":1,"publist_id":"5672","language":[{"iso":"eng"}],"department":[{"_id":"LaEr"}],"citation":{"ieee":"Z. Bao, G. Pan, and W. Zhou, “Universality for the largest eigenvalue of sample covariance matrices with general population,” <i>Annals of Statistics</i>, vol. 43, no. 1. Institute of Mathematical Statistics, pp. 382–421, 2015.","chicago":"Bao, Zhigang, Guangming Pan, and Wang Zhou. “Universality for the Largest Eigenvalue of Sample Covariance Matrices with General Population.” <i>Annals of Statistics</i>. Institute of Mathematical Statistics, 2015. <a href=\"https://doi.org/10.1214/14-AOS1281\">https://doi.org/10.1214/14-AOS1281</a>.","short":"Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.","ista":"Bao Z, Pan G, Zhou W. 2015. Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics. 43(1), 382–421.","mla":"Bao, Zhigang, et al. “Universality for the Largest Eigenvalue of Sample Covariance Matrices with General Population.” <i>Annals of Statistics</i>, vol. 43, no. 1, Institute of Mathematical Statistics, 2015, pp. 382–421, doi:<a href=\"https://doi.org/10.1214/14-AOS1281\">10.1214/14-AOS1281</a>.","ama":"Bao Z, Pan G, Zhou W. Universality for the largest eigenvalue of sample covariance matrices with general population. <i>Annals of Statistics</i>. 2015;43(1):382-421. doi:<a href=\"https://doi.org/10.1214/14-AOS1281\">10.1214/14-AOS1281</a>","apa":"Bao, Z., Pan, G., &#38; Zhou, W. (2015). Universality for the largest eigenvalue of sample covariance matrices with general population. <i>Annals of Statistics</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/14-AOS1281\">https://doi.org/10.1214/14-AOS1281</a>"},"external_id":{"isi":["000349738500014"],"arxiv":["1304.5690"]},"_id":"1505","article_processing_charge":"No","date_updated":"2025-09-29T11:02:34Z","issue":"1","isi":1,"acknowledgement":"B.Z. was supported  in  part  by  NSFC  Grant  11071213,  ZJNSF  Grant  R6090034  and  SRFDP  Grant 20100101110001. P.G. was supported in part by the Ministry of Education, Singapore, under Grant ARC 14/11. Z.W. was supported  in  part  by  the  Ministry  of  Education,  Singapore,  under  Grant  ARC  14/11,  and  by a Grant R-155-000-131-112 at the National University of Singapore\r\n","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","intvolume":"        43","publication":"Annals of Statistics","date_published":"2015-02-01T00:00:00Z","volume":43,"oa_version":"Preprint","publisher":"Institute of Mathematical Statistics","publication_status":"published"},{"issue":"3","date_updated":"2025-09-23T13:59:56Z","article_processing_charge":"No","_id":"1506","external_id":{"isi":["000356993100012"],"arxiv":["1208.5823"]},"citation":{"short":"Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.","ista":"Bao Z, Pan G, Zhou W. 2015. The logarithmic law of random determinant. Bernoulli. 21(3), 1600–1628.","mla":"Bao, Zhigang, et al. “The Logarithmic Law of Random Determinant.” <i>Bernoulli</i>, vol. 21, no. 3, Bernoulli Society for Mathematical Statistics and Probability, 2015, pp. 1600–28, doi:<a href=\"https://doi.org/10.3150/14-BEJ615\">10.3150/14-BEJ615</a>.","ama":"Bao Z, Pan G, Zhou W. The logarithmic law of random determinant. <i>Bernoulli</i>. 2015;21(3):1600-1628. doi:<a href=\"https://doi.org/10.3150/14-BEJ615\">10.3150/14-BEJ615</a>","apa":"Bao, Z., Pan, G., &#38; Zhou, W. (2015). The logarithmic law of random determinant. <i>Bernoulli</i>. Bernoulli Society for Mathematical Statistics and Probability. <a href=\"https://doi.org/10.3150/14-BEJ615\">https://doi.org/10.3150/14-BEJ615</a>","ieee":"Z. Bao, G. Pan, and W. Zhou, “The logarithmic law of random determinant,” <i>Bernoulli</i>, vol. 21, no. 3. Bernoulli Society for Mathematical Statistics and Probability, pp. 1600–1628, 2015.","chicago":"Bao, Zhigang, Guangming Pan, and Wang Zhou. “The Logarithmic Law of Random Determinant.” <i>Bernoulli</i>. Bernoulli Society for Mathematical Statistics and Probability, 2015. <a href=\"https://doi.org/10.3150/14-BEJ615\">https://doi.org/10.3150/14-BEJ615</a>."},"department":[{"_id":"LaEr"}],"language":[{"iso":"eng"}],"publist_id":"5671","publication_status":"published","publisher":"Bernoulli Society for Mathematical Statistics and Probability","oa_version":"Preprint","date_published":"2015-08-01T00:00:00Z","volume":21,"publication":"Bernoulli","intvolume":"        21","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"month":"08","title":"The logarithmic law of random determinant","author":[{"orcid":"0000-0003-3036-1475","first_name":"Zhigang","last_name":"Bao","id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","full_name":"Bao, Zhigang"},{"full_name":"Pan, Guangming","first_name":"Guangming","last_name":"Pan"},{"full_name":"Zhou, Wang","first_name":"Wang","last_name":"Zhou"}],"doi":"10.3150/14-BEJ615","year":"2015","day":"01","page":"1600 - 1628","arxiv":1,"quality_controlled":"1","status":"public","abstract":[{"lang":"eng","text":"Consider the square random matrix An = (aij)n,n, where {aij:= a(n)ij , i, j = 1, . . . , n} is a collection of independent real random variables with means zero and variances one. Under the additional moment condition supn max1≤i,j ≤n Ea4ij &lt;∞, we prove Girko's logarithmic law of det An in the sense that as n→∞ log | detAn| ? (1/2) log(n-1)! d/→√(1/2) log n N(0, 1)."}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1208.5823"}],"date_created":"2018-12-11T11:52:25Z","oa":1,"type":"journal_article"},{"status":"public","quality_controlled":"1","arxiv":1,"date_created":"2018-12-11T11:52:26Z","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1211.3786"}],"abstract":[{"text":"We consider generalized Wigner ensembles and general β-ensembles with analytic potentials for any β ≥ 1. The recent universality results in particular assert that the local averages of consecutive eigenvalue gaps in the bulk of the spectrum are universal in the sense that they coincide with those of the corresponding Gaussian β-ensembles. In this article, we show that local averaging is not necessary for this result, i.e. we prove that the single gap distributions in the bulk are universal. In fact, with an additional step, our result can be extended to any C4(ℝ) potential.","lang":"eng"}],"type":"journal_article","oa":1,"title":"Gap universality of generalized Wigner and β ensembles","month":"08","page":"1927 - 2036","scopus_import":"1","day":"01","year":"2015","doi":"10.4171/JEMS/548","author":[{"orcid":"0000-0001-5366-9603","first_name":"László","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László"},{"last_name":"Yau","first_name":"Horng","full_name":"Yau, Horng"}],"publisher":"European Mathematical Society","publication_status":"published","volume":17,"date_published":"2015-08-01T00:00:00Z","oa_version":"Preprint","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","intvolume":"        17","publication":"Journal of the European Mathematical Society","isi":1,"issue":"8","_id":"1508","article_processing_charge":"No","date_updated":"2025-09-23T09:08:38Z","department":[{"_id":"LaEr"}],"citation":{"apa":"Erdös, L., &#38; Yau, H. (2015). Gap universality of generalized Wigner and β ensembles. <i>Journal of the European Mathematical Society</i>. European Mathematical Society. <a href=\"https://doi.org/10.4171/JEMS/548\">https://doi.org/10.4171/JEMS/548</a>","ista":"Erdös L, Yau H. 2015. Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. 17(8), 1927–2036.","short":"L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.","ama":"Erdös L, Yau H. Gap universality of generalized Wigner and β ensembles. <i>Journal of the European Mathematical Society</i>. 2015;17(8):1927-2036. doi:<a href=\"https://doi.org/10.4171/JEMS/548\">10.4171/JEMS/548</a>","mla":"Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and β Ensembles.” <i>Journal of the European Mathematical Society</i>, vol. 17, no. 8, European Mathematical Society, 2015, pp. 1927–2036, doi:<a href=\"https://doi.org/10.4171/JEMS/548\">10.4171/JEMS/548</a>.","ieee":"L. Erdös and H. Yau, “Gap universality of generalized Wigner and β ensembles,” <i>Journal of the European Mathematical Society</i>, vol. 17, no. 8. European Mathematical Society, pp. 1927–2036, 2015.","chicago":"Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and β Ensembles.” <i>Journal of the European Mathematical Society</i>. European Mathematical Society, 2015. <a href=\"https://doi.org/10.4171/JEMS/548\">https://doi.org/10.4171/JEMS/548</a>."},"external_id":{"isi":["000360822900003"],"arxiv":["1211.3786"]},"publist_id":"5669","language":[{"iso":"eng"}]}]