[{"department":[{"_id":"SyCr"}],"pmid":1,"issue":"1669","corr_author":"1","scopus_import":"1","isi":1,"publication":"Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences","citation":{"ieee":"F. Theis, L. V. Ugelvig, C. Marr, and S. Cremer, “Opposing effects of allogrooming on disease transmission in ant societies,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669. Royal Society, 2015.","apa":"Theis, F., Ugelvig, L. V., Marr, C., & Cremer, S. (2015). Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2014.0108","ama":"Theis F, Ugelvig LV, Marr C, Cremer S. Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2015;370(1669). doi:10.1098/rstb.2014.0108","ista":"Theis F, Ugelvig LV, Marr C, Cremer S. 2015. Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 370(1669).","mla":"Theis, Fabian, et al. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, Royal Society, 2015, doi:10.1098/rstb.2014.0108.","chicago":"Theis, Fabian, Line V Ugelvig, Carsten Marr, and Sylvia Cremer. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2015. https://doi.org/10.1098/rstb.2014.0108.","short":"F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015)."},"status":"public","quality_controlled":"1","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","publication_identifier":{"eissn":["1471-2970"],"issn":["0962-8436"]},"acknowledgement":"We thank Meghan L. Vyleta for the genetical fungal strain characterization and Eva Sixt for ant drawings, Matthias Konrad for discussion and Christopher D. Pull, Barbara Casillas-Peréz, Sebastian Novak, as well as three anonymous reviewers and the theme issue editors Peter Kappeler and Charlie Nunn for valuable comments on the manuscript.","date_updated":"2026-08-12T06:27:32Z","title":"Opposing effects of allogrooming on disease transmission in ant societies","month":"05","day":"26","ec_funded":1,"external_id":{"pmid":["25870394"],"isi":["000354143400010"]},"oa_version":"Submitted Version","publication_status":"published","article_type":"original","abstract":[{"text":"To prevent epidemics, insect societies have evolved collective disease defences that are highly effective at curing exposed individuals and limiting disease transmission to healthy group members. Grooming is an important sanitary behaviour—either performed towards oneself (self-grooming) or towards others (allogrooming)—to remove infectious agents from the body surface of exposed individuals, but at the risk of disease contraction by the groomer. We use garden ants (Lasius neglectus) and the fungal pathogen Metarhizium as a model system to study how pathogen presence affects self-grooming and allogrooming between exposed and healthy individuals. We develop an epidemiological SIS model to explore how experimentally observed grooming patterns affect disease spread within the colony, thereby providing a direct link between the expression and direction of sanitary behaviours, and their effects on colony-level epidemiology. We find that fungus-exposed ants increase self-grooming, while simultaneously decreasing allogrooming. This behavioural modulation seems universally adaptive and is predicted to contain disease spread in a great variety of host–pathogen systems. In contrast, allogrooming directed towards pathogen-exposed individuals might both increase and decrease disease risk. Our model reveals that the effect of allogrooming depends on the balance between pathogen infectiousness and efficiency of social host defences, which are likely to vary across host–pathogen systems.","lang":"eng"}],"related_material":{"record":[{"relation":"research_data","id":"9721","status":"public"}]},"publist_id":"5273","oa":1,"year":"2015","volume":370,"date_published":"2015-05-26T00:00:00Z","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4410374/"}],"publisher":"Royal Society","_id":"1830","intvolume":" 370","type":"journal_article","doi":"10.1098/rstb.2014.0108","project":[{"grant_number":"243071","_id":"25DC711C-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Social Vaccination in Ant Colonies: from Individual Mechanisms to Society Effects"},{"grant_number":"302004","_id":"25DDF0F0-B435-11E9-9278-68D0E5697425","name":"Collective disease defence and pathogen detection abilities in ant societies: a chemo-neuro-immunological approach","call_identifier":"FP7"},{"_id":"25E0E184-B435-11E9-9278-68D0E5697425","name":"Schnellboot Antnet Junge Akademie"},{"name":"Fellowship of Wissenschaftskolleg zu Berlin","_id":"25E24DB2-B435-11E9-9278-68D0E5697425"}],"date_created":"2018-12-11T11:54:15Z","author":[{"first_name":"Fabian","last_name":"Theis","full_name":"Theis, Fabian"},{"orcid":"0000-0003-1832-8883","id":"3DC97C8E-F248-11E8-B48F-1D18A9856A87","full_name":"Ugelvig, Line V","last_name":"Ugelvig","first_name":"Line V"},{"full_name":"Marr, Carsten","first_name":"Carsten","last_name":"Marr"},{"last_name":"Cremer","first_name":"Sylvia","orcid":"0000-0002-2193-3868","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","full_name":"Cremer, Sylvia"}]},{"day":"29","oa_version":"Published Version","month":"12","department":[{"_id":"SyCr"}],"status":"public","date_published":"2015-12-29T00:00:00Z","oa":1,"year":"2015","abstract":[{"text":"To prevent epidemics, insect societies have evolved collective disease defences that are highly effective at curing exposed individuals and limiting disease transmission to healthy group members. Grooming is an important sanitary behaviour—either performed towards oneself (self-grooming) or towards others (allogrooming)—to remove infectious agents from the body surface of exposed individuals, but at the risk of disease contraction by the groomer. We use garden ants (Lasius neglectus) and the fungal pathogen Metarhizium as a model system to study how pathogen presence affects self-grooming and allogrooming between exposed and healthy individuals. We develop an epidemiological SIS model to explore how experimentally observed grooming patterns affect disease spread within the colony, thereby providing a direct link between the expression and direction of sanitary behaviours, and their effects on colony-level epidemiology. We find that fungus-exposed ants increase self-grooming, while simultaneously decreasing allogrooming. This behavioural modulation seems universally adaptive and is predicted to contain disease spread in a great variety of host–pathogen systems. In contrast, allogrooming directed towards pathogen-exposed individuals might both increase and decrease disease risk. Our model reveals that the effect of allogrooming depends on the balance between pathogen infectiousness and efficiency of social host defences, which are likely to vary across host–pathogen systems.","lang":"eng"}],"related_material":{"record":[{"relation":"used_in_publication","id":"1830","status":"public"}]},"citation":{"ieee":"F. Theis, L. V. Ugelvig, C. Marr, and S. Cremer, “Data from: Opposing effects of allogrooming on disease transmission in ant societies.” Dryad, 2015.","apa":"Theis, F., Ugelvig, L. V., Marr, C., & Cremer, S. (2015). Data from: Opposing effects of allogrooming on disease transmission in ant societies. Dryad. https://doi.org/10.5061/dryad.dj2bf","ama":"Theis F, Ugelvig LV, Marr C, Cremer S. Data from: Opposing effects of allogrooming on disease transmission in ant societies. 2015. doi:10.5061/dryad.dj2bf","ista":"Theis F, Ugelvig LV, Marr C, Cremer S. 2015. Data from: Opposing effects of allogrooming on disease transmission in ant societies, Dryad, 10.5061/dryad.dj2bf.","mla":"Theis, Fabian, et al. Data from: Opposing Effects of Allogrooming on Disease Transmission in Ant Societies. Dryad, 2015, doi:10.5061/dryad.dj2bf.","chicago":"Theis, Fabian, Line V Ugelvig, Carsten Marr, and Sylvia Cremer. “Data from: Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.” Dryad, 2015. https://doi.org/10.5061/dryad.dj2bf.","short":"F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, (2015)."},"user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","main_file_link":[{"url":"https://doi.org/10.5061/dryad.dj2bf","open_access":"1"}],"publisher":"Dryad","_id":"9721","date_updated":"2026-08-12T06:27:32Z","doi":"10.5061/dryad.dj2bf","title":"Data from: Opposing effects of allogrooming on disease transmission in ant societies","author":[{"full_name":"Theis, Fabian","last_name":"Theis","first_name":"Fabian"},{"first_name":"Line V","last_name":"Ugelvig","id":"3DC97C8E-F248-11E8-B48F-1D18A9856A87","full_name":"Ugelvig, Line V","orcid":"0000-0003-1832-8883"},{"full_name":"Marr, Carsten","last_name":"Marr","first_name":"Carsten"},{"last_name":"Cremer","first_name":"Sylvia","orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2021-07-26T09:38:36Z","type":"research_data_reference","article_processing_charge":"No"},{"oa_version":"Preprint","external_id":{"isi":["000355920800016"],"arxiv":["1409.0110"]},"ec_funded":1,"day":"20","month":"05","arxiv":1,"volume":56,"date_published":"2015-05-20T00:00:00Z","year":"2015","oa":1,"publist_id":"5295","abstract":[{"text":"Atomic form factors are widely used for the characterization of targets and specimens, from crystallography to biology. By using recent mathematical results, here we derive an analytical expression for the atomic form factor within the independent particle model constructed from nonrelativistic screened hydrogenic wave functions. The range of validity of this analytical expression is checked by comparing the analytically obtained form factors with the ones obtained within the Hartee-Fock method. As an example, we apply our analytical expression for the atomic form factor to evaluate the differential cross section for Rayleigh scattering off neutral atoms.","lang":"eng"}],"publication_status":"published","_id":"1811","publisher":"AIP Publishing","main_file_link":[{"url":"http://arxiv.org/abs/1409.0110","open_access":"1"}],"date_created":"2018-12-11T11:54:08Z","author":[{"full_name":"Safari, Laleh","id":"3C325E5E-F248-11E8-B48F-1D18A9856A87","first_name":"Laleh","last_name":"Safari"},{"full_name":"Santos, José","last_name":"Santos","first_name":"José"},{"full_name":"Amaro, Pedro","first_name":"Pedro","last_name":"Amaro"},{"full_name":"Jänkälä, Kari","last_name":"Jänkälä","first_name":"Kari"},{"first_name":"Filippo","last_name":"Fratini","full_name":"Fratini, Filippo"}],"doi":"10.1063/1.4921227","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7","grant_number":"291734"}],"type":"journal_article","intvolume":" 56","corr_author":"1","issue":"5","department":[{"_id":"MiLe"}],"status":"public","citation":{"short":"L. Safari, J. Santos, P. Amaro, K. Jänkälä, F. Fratini, Journal of Mathematical Physics 56 (2015).","mla":"Safari, Laleh, et al. “Analytical Evaluation of Atomic Form Factors: Application to Rayleigh Scattering.” Journal of Mathematical Physics, vol. 56, no. 5, 052105, AIP Publishing, 2015, doi:10.1063/1.4921227.","ista":"Safari L, Santos J, Amaro P, Jänkälä K, Fratini F. 2015. Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. 56(5), 052105.","chicago":"Safari, Laleh, José Santos, Pedro Amaro, Kari Jänkälä, and Filippo Fratini. “Analytical Evaluation of Atomic Form Factors: Application to Rayleigh Scattering.” Journal of Mathematical Physics. AIP Publishing, 2015. https://doi.org/10.1063/1.4921227.","ieee":"L. Safari, J. Santos, P. Amaro, K. Jänkälä, and F. Fratini, “Analytical evaluation of atomic form factors: Application to Rayleigh scattering,” Journal of Mathematical Physics, vol. 56, no. 5. AIP Publishing, 2015.","apa":"Safari, L., Santos, J., Amaro, P., Jänkälä, K., & Fratini, F. (2015). Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/1.4921227","ama":"Safari L, Santos J, Amaro P, Jänkälä K, Fratini F. Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. 2015;56(5). doi:10.1063/1.4921227"},"publication":"Journal of Mathematical Physics","isi":1,"scopus_import":"1","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Analytical evaluation of atomic form factors: Application to Rayleigh scattering","date_updated":"2026-08-12T13:58:42Z","acknowledgement":"The research leading to these results has received funding from the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement n◦ [291734]. F.F. acknowledges support by Fundação de Amparo à Pesquisa do estado de Minas Gerais (FAPEMIG), by Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), and by the Austrian Science Fund (FWF) through the START Grant No. Y 591-N16.","article_processing_charge":"No","article_number":"052105"},{"corr_author":"1","issue":"10","department":[{"_id":"LaEr"}],"status":"public","isi":1,"scopus_import":"1","citation":{"ieee":"J. Alt, “The local semicircle law for random matrices with a fourfold symmetry,” Journal of Mathematical Physics, vol. 56, no. 10. AIP Publishing, 2015.","ama":"Alt J. The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. 2015;56(10). doi:10.1063/1.4932606","apa":"Alt, J. (2015). The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/1.4932606","short":"J. Alt, Journal of Mathematical Physics 56 (2015).","mla":"Alt, Johannes. “The Local Semicircle Law for Random Matrices with a Fourfold Symmetry.” Journal of Mathematical Physics, vol. 56, no. 10, 103301, AIP Publishing, 2015, doi:10.1063/1.4932606.","ista":"Alt J. 2015. The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. 56(10), 103301.","chicago":"Alt, Johannes. “The Local Semicircle Law for Random Matrices with a Fourfold Symmetry.” Journal of Mathematical Physics. AIP Publishing, 2015. https://doi.org/10.1063/1.4932606."},"publication":"Journal of Mathematical Physics","quality_controlled":"1","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-08-12T13:58:57Z","title":"The local semicircle law for random matrices with a fourfold symmetry","article_number":"103301","article_processing_charge":"No","day":"09","oa_version":"Preprint","ec_funded":1,"external_id":{"arxiv":["1506.04683"],"isi":["000364237000026"]},"month":"10","volume":56,"date_published":"2015-10-09T00:00:00Z","year":"2015","oa":1,"arxiv":1,"abstract":[{"lang":"eng","text":"We consider real symmetric and complex Hermitian random matrices with the additional symmetry hxy = hN-y,N-x. The matrix elements are independent (up to the fourfold symmetry) and not necessarily identically distributed. This ensemble naturally arises as the Fourier transform of a Gaussian orthogonal ensemble. Italso occurs as the flip matrix model - an approximation of the two-dimensional Anderson model at small disorder. We show that the density of states converges to the Wigner semicircle law despite the new symmetry type. We also prove the local version of the semicircle law on the optimal scale."}],"publication_status":"published","publist_id":"5472","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"149"}]},"main_file_link":[{"url":"http://arxiv.org/abs/1506.04683","open_access":"1"}],"publisher":"AIP Publishing","_id":"1677","doi":"10.1063/1.4932606","project":[{"grant_number":"338804","name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7","_id":"258DCDE6-B435-11E9-9278-68D0E5697425"}],"author":[{"id":"36D3D8B6-F248-11E8-B48F-1D18A9856A87","full_name":"Alt, Johannes","last_name":"Alt","first_name":"Johannes"}],"date_created":"2018-12-11T11:53:25Z","intvolume":" 56","type":"journal_article"},{"department":[{"_id":"MiLe"}],"issue":"6","publication":"Physical Review A","citation":{"mla":"Amaro, Pedro, et al. “Quantum Interference Shifts in Laser Spectroscopy with Elliptical Polarization.” Physical Review A, vol. 92, no. 6, 062506, American Physical Society, 2015, doi:10.1103/PhysRevA.92.062506.","ista":"Amaro P, Fratini F, Safari L, Antognini A, Indelicato P, Pohl R, Santos J. 2015. Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A. 92(6), 062506.","chicago":"Amaro, Pedro, Filippo Fratini, Laleh Safari, Aldo Antognini, Paul Indelicato, Randolf Pohl, and José Santos. “Quantum Interference Shifts in Laser Spectroscopy with Elliptical Polarization.” Physical Review A. American Physical Society, 2015. https://doi.org/10.1103/PhysRevA.92.062506.","short":"P. Amaro, F. Fratini, L. Safari, A. Antognini, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).","ieee":"P. Amaro et al., “Quantum interference shifts in laser spectroscopy with elliptical polarization,” Physical Review A, vol. 92, no. 6. American Physical Society, 2015.","apa":"Amaro, P., Fratini, F., Safari, L., Antognini, A., Indelicato, P., Pohl, R., & Santos, J. (2015). Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.92.062506","ama":"Amaro P, Fratini F, Safari L, et al. Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A. 2015;92(6). doi:10.1103/PhysRevA.92.062506"},"scopus_import":"1","isi":1,"status":"public","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","article_processing_charge":"No","article_number":"062506","title":"Quantum interference shifts in laser spectroscopy with elliptical polarization","date_updated":"2026-08-12T14:20:30Z","month":"12","ec_funded":1,"external_id":{"arxiv":["1511.03585"],"isi":["000367373900002"]},"oa_version":"Preprint","day":"31","publist_id":"5584","publication_status":"published","article_type":"original","abstract":[{"text":"We investigate the quantum interference shifts between energetically close states, where the state structure is observed by laser spectroscopy. We report a compact and analytical expression that models the quantum interference induced shift for any admixture of circular polarization of the incident laser and angle of observation. An experimental scenario free of quantum interference can thus be predicted with this formula. Although this study is exemplified here for muonic deuterium, it can be applied to any other laser spectroscopy measurement of ns-n′p frequencies of a nonrelativistic atomic system, via an ns→n′p→n′′s scheme.","lang":"eng"}],"arxiv":1,"oa":1,"year":"2015","volume":92,"date_published":"2015-12-31T00:00:00Z","_id":"1587","publisher":"American Physical Society","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1511.03585"}],"intvolume":" 92","type":"journal_article","author":[{"full_name":"Amaro, Pedro","last_name":"Amaro","first_name":"Pedro"},{"full_name":"Fratini, Filippo","first_name":"Filippo","last_name":"Fratini"},{"id":"3C325E5E-F248-11E8-B48F-1D18A9856A87","full_name":"Safari, Laleh","first_name":"Laleh","last_name":"Safari"},{"full_name":"Antognini, Aldo","first_name":"Aldo","last_name":"Antognini"},{"full_name":"Indelicato, Paul","last_name":"Indelicato","first_name":"Paul"},{"full_name":"Pohl, Randolf","first_name":"Randolf","last_name":"Pohl"},{"last_name":"Santos","first_name":"José","full_name":"Santos, José"}],"date_created":"2018-12-11T11:52:53Z","project":[{"grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"}],"doi":"10.1103/PhysRevA.92.062506"},{"publication_status":"published","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 "input") 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."}],"publist_id":"5145","year":"2015","oa":1,"volume":91,"date_published":"2015-06-15T00:00:00Z","arxiv":1,"month":"06","day":"15","external_id":{"arxiv":["1501.04015"],"isi":["000356131600006"]},"oa_version":"Preprint","type":"journal_article","intvolume":" 91","doi":"10.1103/PhysRevE.91.062710","date_created":"2018-12-11T11:54:49Z","author":[{"orcid":"0000-0002-1287-3779","id":"3E999752-F248-11E8-B48F-1D18A9856A87","full_name":"Sokolowski, Thomas R","last_name":"Sokolowski","first_name":"Thomas R"},{"full_name":"Tkacik, Gasper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6699-1455","first_name":"Gasper","last_name":"Tkacik"}],"main_file_link":[{"url":"http://arxiv.org/abs/1501.04015","open_access":"1"}],"publisher":"American Physical Society","_id":"1940","scopus_import":"1","isi":1,"publication":"Physical Review E","citation":{"short":"T.R. Sokolowski, G. Tkačik, Physical Review E 91 (2015).","mla":"Sokolowski, Thomas R., and Gašper Tkačik. “Optimizing Information Flow in Small Genetic Networks. IV. Spatial Coupling.” Physical Review E, vol. 91, no. 6, 062710, American Physical Society, 2015, doi:10.1103/PhysRevE.91.062710.","ista":"Sokolowski TR, Tkačik G. 2015. Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E. 91(6), 062710.","chicago":"Sokolowski, Thomas R, and Gašper Tkačik. “Optimizing Information Flow in Small Genetic Networks. IV. Spatial Coupling.” Physical Review E. American Physical Society, 2015. https://doi.org/10.1103/PhysRevE.91.062710.","ieee":"T. R. Sokolowski and G. Tkačik, “Optimizing information flow in small genetic networks. IV. Spatial coupling,” Physical Review E, vol. 91, no. 6. American Physical Society, 2015.","apa":"Sokolowski, T. R., & Tkačik, G. (2015). Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.91.062710","ama":"Sokolowski TR, Tkačik G. Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E. 2015;91(6). doi:10.1103/PhysRevE.91.062710"},"status":"public","department":[{"_id":"GaTk"}],"issue":"6","corr_author":"1","article_number":"062710","article_processing_charge":"No","date_updated":"2026-08-12T14:28:08Z","title":"Optimizing information flow in small genetic networks. IV. Spatial coupling","quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}]},{"title":"Anomalous scaling in an age-dependent branching model","date_updated":"2026-08-12T14:26:46Z","article_processing_charge":"No","article_number":"022803","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"quality_controlled":"1","status":"public","publication":"Physical Review E","citation":{"short":"S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, K. Klemm, Physical Review E 91 (2015).","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. 91(2), 022803.","mla":"Keller-Schmidt, Stephanie, et al. “Anomalous Scaling in an Age-Dependent Branching Model.” Physical Review E, vol. 91, no. 2, 022803, American Physical Society, 2015, doi:10.1103/PhysRevE.91.022803.","chicago":"Keller-Schmidt, Stephanie, Murat Tugrul, Víctor Eguíluz, Emilio Hernandez Garcia, and Konstantin Klemm. “Anomalous Scaling in an Age-Dependent Branching Model.” Physical Review E. American Physical Society, 2015. https://doi.org/10.1103/PhysRevE.91.022803.","ieee":"S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, and K. Klemm, “Anomalous scaling in an age-dependent branching model,” Physical Review E, vol. 91, no. 2. American Physical Society, 2015.","ama":"Keller-Schmidt S, Tugrul M, Eguíluz V, Hernandez Garcia E, Klemm K. Anomalous scaling in an age-dependent branching model. Physical Review E. 2015;91(2). doi:10.1103/PhysRevE.91.022803","apa":"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. American Physical Society. https://doi.org/10.1103/PhysRevE.91.022803"},"scopus_import":"1","isi":1,"issue":"2","department":[{"_id":"NiBa"}],"date_created":"2018-12-11T11:54:31Z","author":[{"full_name":"Keller-Schmidt, Stephanie","last_name":"Keller-Schmidt","first_name":"Stephanie"},{"id":"37C323C6-F248-11E8-B48F-1D18A9856A87","full_name":"Tugrul, Murat","orcid":"0000-0002-8523-0758","first_name":"Murat","last_name":"Tugrul"},{"full_name":"Eguíluz, Víctor","last_name":"Eguíluz","first_name":"Víctor"},{"last_name":"Hernandez Garcia","first_name":"Emilio","full_name":"Hernandez Garcia, Emilio"},{"full_name":"Klemm, Konstantin","first_name":"Konstantin","last_name":"Klemm"}],"doi":"10.1103/PhysRevE.91.022803","intvolume":" 91","type":"journal_article","_id":"1883","publisher":"American Physical Society","main_file_link":[{"url":"https://arxiv.org/abs/1012.3298","open_access":"1"}],"arxiv":1,"oa":1,"year":"2015","volume":91,"date_published":"2015-02-02T00:00:00Z","publist_id":"5213","article_type":"original","publication_status":"published","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"}],"external_id":{"arxiv":["1012.3298"],"isi":["000349860900006"]},"oa_version":"Preprint","day":"02","month":"02"},{"day":"01","ec_funded":1,"external_id":{"arxiv":["1411.3880"],"isi":["000372683700002"]},"oa_version":"Preprint","month":"06","oa":1,"year":"2015","volume":5,"date_published":"2015-06-01T00:00:00Z","arxiv":1,"alternative_title":["Artifical Intelligence"],"publication_status":"published","abstract":[{"lang":"eng","text":"We consider partially observable Markov decision processes (POMDPs) with a set of target states and every transition is associated with an integer cost. The optimization objec- tive we study asks to minimize the expected total cost till the target set is reached, while ensuring that the target set is reached almost-surely (with probability 1). We show that for integer costs approximating the optimal cost is undecidable. For positive costs, our results are as follows: (i) we establish matching lower and upper bounds for the optimal cost and the bound is double exponential; (ii) we show that the problem of approximating the optimal cost is decidable and present ap- proximation algorithms developing on the existing algorithms for POMDPs with finite-horizon objectives. While the worst- case running time of our algorithm is double exponential, we present efficient stopping criteria for the algorithm and show experimentally that it performs well in many examples."}],"related_material":{"record":[{"relation":"later_version","id":"1529","status":"public"}]},"publist_id":"5286","publisher":"AAAI Press","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1411.3880"}],"_id":"1820","project":[{"name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"}],"doi":"10.1609/aaai.v29i1.9683","date_created":"2018-12-11T11:54:11Z","author":[{"first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"last_name":"Chmelik","first_name":"Martin","full_name":"Chmelik, Martin","id":"3624234E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Raghav","last_name":"Gupta","full_name":"Gupta, Raghav"},{"full_name":"Kanodia, Ayush","first_name":"Ayush","last_name":"Kanodia"}],"type":"conference","intvolume":" 5","corr_author":"1","department":[{"_id":"KrCh"}],"status":"public","scopus_import":"1","isi":1,"publication":"Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence ","page":"3496-3502","citation":{"apa":"Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2015). Optimal cost almost-sure reachability in POMDPs. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3496–3502). Austin, TX, USA: AAAI Press. https://doi.org/10.1609/aaai.v29i1.9683","ama":"Chatterjee K, Chmelik M, Gupta R, Kanodia A. Optimal cost almost-sure reachability in POMDPs. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence . Vol 5. AAAI Press; 2015:3496-3502. doi:10.1609/aaai.v29i1.9683","ieee":"K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” in Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , Austin, TX, USA, 2015, vol. 5, pp. 3496–3502.","short":"K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , AAAI Press, 2015, pp. 3496–3502.","chicago":"Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , 5:3496–3502. AAAI Press, 2015. https://doi.org/10.1609/aaai.v29i1.9683.","mla":"Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , vol. 5, AAAI Press, 2015, pp. 3496–502, doi:10.1609/aaai.v29i1.9683.","ista":"Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2015. Optimal cost almost-sure reachability in POMDPs. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence . IAAI: Innovative Applications of Artificial Intelligence, Artifical Intelligence, vol. 5, 3496–3502."},"quality_controlled":"1","conference":{"location":"Austin, TX, USA","end_date":"2015-01-30","name":"IAAI: Innovative Applications of Artificial Intelligence","start_date":"2015-01-25"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"date_updated":"2026-08-19T09:31:47Z","acknowledgement":" The research was partly supported by Austrian Science Fund (FWF) Grant No P23499-N23, FWF NFN Grant No S11407-N23 (RiSE), ERC Start grant (279307: Graph Games), and Microsoft faculty fellows award.","title":"Optimal cost almost-sure reachability in POMDPs","article_processing_charge":"No"},{"article_number":"e1002299","article_processing_charge":"No","date_updated":"2026-08-27T22:31:14Z","title":"Quantifying the determinants of evolutionary dynamics leading to drug resistance","quality_controlled":"1","language":[{"iso":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"scopus_import":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"citation":{"apa":"Chevereau, G., Lukacisinova, M., Batur, T., Guvenek, A., Ayhan, D., Toprak, E., & Bollenbach, M. T. (2015). Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002299","ama":"Chevereau G, Lukacisinova M, Batur T, et al. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 2015;13(11). doi:10.1371/journal.pbio.1002299","ieee":"G. Chevereau et al., “Quantifying the determinants of evolutionary dynamics leading to drug resistance,” PLoS Biology, vol. 13, no. 11. Public Library of Science, 2015.","chicago":"Chevereau, Guillaume, Marta Lukacisinova, Tugce Batur, Aysegul Guvenek, Dilay Ayhan, Erdal Toprak, and Mark Tobias Bollenbach. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.” PLoS Biology. Public Library of Science, 2015. https://doi.org/10.1371/journal.pbio.1002299.","mla":"Chevereau, Guillaume, et al. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.” PLoS Biology, vol. 13, no. 11, e1002299, Public Library of Science, 2015, doi:10.1371/journal.pbio.1002299.","ista":"Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan D, Toprak E, Bollenbach MT. 2015. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 13(11), e1002299.","short":"G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015)."},"publication":"PLoS Biology","pubrep_id":"468","status":"public","department":[{"_id":"ToBo"}],"corr_author":"1","ddc":["570"],"issue":"11","type":"journal_article","intvolume":" 13","project":[{"grant_number":"RGP0042/2013","_id":"25EB3A80-B435-11E9-9278-68D0E5697425","name":"Revealing the fundamental limits of cell growth"},{"grant_number":"P27201-B22","_id":"25E9AF9E-B435-11E9-9278-68D0E5697425","name":"Revealing the mechanisms underlying drug interactions","call_identifier":"FWF"},{"grant_number":"303507","name":"Optimality principles in responses to antibiotics","call_identifier":"FP7","_id":"25E83C2C-B435-11E9-9278-68D0E5697425"}],"doi":"10.1371/journal.pbio.1002299","author":[{"first_name":"Guillaume","last_name":"Chevereau","full_name":"Chevereau, Guillaume","id":"424D78A0-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Dravecka, Marta","id":"4342E402-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2519-8004","first_name":"Marta","last_name":"Dravecka"},{"first_name":"Tugce","last_name":"Batur","full_name":"Batur, Tugce"},{"full_name":"Guvenek, Aysegul","last_name":"Guvenek","first_name":"Aysegul"},{"full_name":"Ayhan, Dilay","first_name":"Dilay","last_name":"Ayhan"},{"first_name":"Erdal","last_name":"Toprak","full_name":"Toprak, Erdal"},{"last_name":"Bollenbach","first_name":"Mark Tobias","orcid":"0000-0003-4398-476X","full_name":"Bollenbach, Mark Tobias","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2018-12-11T11:53:04Z","publisher":"Public Library of Science","_id":"1619","file":[{"file_id":"4723","relation":"main_file","checksum":"0e82e3279f50b15c6c170c042627802b","access_level":"open_access","file_size":1387760,"content_type":"application/pdf","date_created":"2018-12-12T10:09:00Z","file_name":"IST-2016-468-v1+1_journal.pbio.1002299.pdf","creator":"system","date_updated":"2020-07-14T12:45:07Z"}],"abstract":[{"lang":"eng","text":"The emergence of drug resistant pathogens is a serious public health problem. It is a long-standing goal to predict rates of resistance evolution and design optimal treatment strategies accordingly. To this end, it is crucial to reveal the underlying causes of drug-specific differences in the evolutionary dynamics leading to resistance. However, it remains largely unknown why the rates of resistance evolution via spontaneous mutations and the diversity of mutational paths vary substantially between drugs. Here we comprehensively quantify the distribution of fitness effects (DFE) of mutations, a key determinant of evolutionary dynamics, in the presence of eight antibiotics representing the main modes of action. Using precise high-throughput fitness measurements for genome-wide Escherichia coli gene deletion strains, we find that the width of the DFE varies dramatically between antibiotics and, contrary to conventional wisdom, for some drugs the DFE width is lower than in the absence of stress. We show that this previously underappreciated divergence in DFE width among antibiotics is largely caused by their distinct drug-specific dose-response characteristics. Unlike the DFE, the magnitude of the changes in tolerated drug concentration resulting from genome-wide mutations is similar for most drugs but exceptionally small for the antibiotic nitrofurantoin, i.e., mutations generally have considerably smaller resistance effects for nitrofurantoin than for other drugs. A population genetics model predicts that resistance evolution for drugs with this property is severely limited and confined to reproducible mutational paths. We tested this prediction in laboratory evolution experiments using the “morbidostat”, a device for evolving bacteria in well-controlled drug environments. Nitrofurantoin resistance indeed evolved extremely slowly via reproducible mutations—an almost paradoxical behavior since this drug causes DNA damage and increases the mutation rate. Overall, we identified novel quantitative characteristics of the evolutionary landscape that provide the conceptual foundation for predicting the dynamics of drug resistance evolution."}],"publication_status":"published","publist_id":"5547","related_material":{"record":[{"relation":"research_data","id":"9711","status":"public"},{"status":"public","id":"9765","relation":"research_data"},{"status":"public","id":"6263","relation":"dissertation_contains"}]},"file_date_updated":"2020-07-14T12:45:07Z","volume":13,"date_published":"2015-11-18T00:00:00Z","year":"2015","oa":1,"has_accepted_license":"1","month":"11","day":"18","oa_version":"Published Version","ec_funded":1,"external_id":{"isi":["000365898900011"]}},{"department":[{"_id":"HeEd"}],"scopus_import":"1","publication":"Topological Methods in Data Analysis and Visualization III.","page":"135-150","citation":{"short":"D. Günther, J. Reininghaus, H.-P. Seidel, T. Weinkauf, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III., Springer Nature, Cham, 2014, pp. 135–150.","chicago":"Günther, David, Jan Reininghaus, Hans-Peter Seidel, and Tino Weinkauf. “Notes on the Simplification of the Morse-Smale Complex.” In Topological Methods in Data Analysis and Visualization III., edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci, and Ronald Peikert, 135–50. Mathematics and Visualization. Cham: Springer Nature, 2014. https://doi.org/10.1007/978-3-319-04099-8_9.","ista":"Günther D, Reininghaus J, Seidel H-P, Weinkauf T. 2014.Notes on the simplification of the Morse-Smale complex. In: Topological Methods in Data Analysis and Visualization III. , 135–150.","mla":"Günther, David, et al. “Notes on the Simplification of the Morse-Smale Complex.” Topological Methods in Data Analysis and Visualization III., edited by Peer-Timo Bremer et al., Springer Nature, 2014, pp. 135–50, doi:10.1007/978-3-319-04099-8_9.","ama":"Günther D, Reininghaus J, Seidel H-P, Weinkauf T. Notes on the simplification of the Morse-Smale complex. In: Bremer P-T, Hotz I, Pascucci V, Peikert R, eds. Topological Methods in Data Analysis and Visualization III. Mathematics and Visualization. Cham: Springer Nature; 2014:135-150. doi:10.1007/978-3-319-04099-8_9","apa":"Günther, D., Reininghaus, J., Seidel, H.-P., & Weinkauf, T. (2014). Notes on the simplification of the Morse-Smale complex. In P.-T. Bremer, I. Hotz, V. Pascucci, & R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III. (pp. 135–150). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-04099-8_9","ieee":"D. Günther, J. Reininghaus, H.-P. Seidel, and T. Weinkauf, “Notes on the simplification of the Morse-Smale complex,” in Topological Methods in Data Analysis and Visualization III., P.-T. Bremer, I. Hotz, V. Pascucci, and R. Peikert, Eds. Cham: Springer Nature, 2014, pp. 135–150."},"status":"public","quality_controlled":"1","language":[{"iso":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_processing_charge":"No","publication_identifier":{"eisbn":["9783319040998"],"issn":["1612-3786"],"eissn":["2197-666X"],"isbn":["9783319040981"]},"acknowledgement":"This research is supported and funded by the Digiteo unTopoVis project, the TOPOSYS project FP7-ICT-318493-STREP, and MPC-VCC.","date_updated":"2025-04-15T08:37:54Z","title":"Notes on the simplification of the Morse-Smale complex","month":"03","series_title":"Mathematics and Visualization","day":"19","ec_funded":1,"place":"Cham","oa_version":"None","publication_status":"published","abstract":[{"lang":"eng","text":"The Morse-Smale complex can be either explicitly or implicitly represented. Depending on the type of representation, the simplification of the Morse-Smale complex works differently. In the explicit representation, the Morse-Smale complex is directly simplified by explicitly reconnecting the critical points during the simplification. In the implicit representation, on the other hand, the Morse-Smale complex is given by a combinatorial gradient field. In this setting, the simplification changes the combinatorial flow, which yields an indirect simplification of the Morse-Smale complex. The topological complexity of the Morse-Smale complex is reduced in both representations. However, the simplifications generally yield different results. In this chapter, we emphasize properties of the two representations that cause these differences. We also provide a complexity analysis of the two schemes with respect to running time and memory consumption."}],"year":"2014","date_published":"2014-03-19T00:00:00Z","publisher":"Springer Nature","_id":"10817","type":"book_chapter","project":[{"_id":"255D761E-B435-11E9-9278-68D0E5697425","name":"Topological Complex Systems","call_identifier":"FP7","grant_number":"318493"}],"doi":"10.1007/978-3-319-04099-8_9","editor":[{"first_name":"Peer-Timo","last_name":"Bremer","full_name":"Bremer, Peer-Timo"},{"first_name":"Ingrid","last_name":"Hotz","full_name":"Hotz, Ingrid"},{"first_name":"Valerio","last_name":"Pascucci","full_name":"Pascucci, Valerio"},{"full_name":"Peikert, Ronald","first_name":"Ronald","last_name":"Peikert"}],"author":[{"last_name":"Günther","first_name":"David","full_name":"Günther, David"},{"id":"4505473A-F248-11E8-B48F-1D18A9856A87","full_name":"Reininghaus, Jan","first_name":"Jan","last_name":"Reininghaus"},{"first_name":"Hans-Peter","last_name":"Seidel","full_name":"Seidel, Hans-Peter"},{"full_name":"Weinkauf, Tino","first_name":"Tino","last_name":"Weinkauf"}],"date_created":"2022-03-04T08:33:57Z"},{"department":[{"_id":"KrCh"}],"status":"public","publication":"Verification, Model Checking, and Abstract Interpretation","citation":{"ieee":"B. Aminof, S. Jacobs, A. Khalimov, and S. Rubin, “Parameterized model checking of token-passing systems,” in Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 262–281.","ama":"Aminof B, Jacobs S, Khalimov A, Rubin S. Parameterized model checking of token-passing systems. In: Verification, Model Checking, and Abstract Interpretation. Vol 8318. Springer Nature; 2014:262-281. doi:10.1007/978-3-642-54013-4_15","apa":"Aminof, B., Jacobs, S., Khalimov, A., & Rubin, S. (2014). Parameterized model checking of token-passing systems. In Verification, Model Checking, and Abstract Interpretation (Vol. 8318, pp. 262–281). San Diego, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-642-54013-4_15","short":"B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.","mla":"Aminof, Benjamin, et al. “Parameterized Model Checking of Token-Passing Systems.” Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer Nature, 2014, pp. 262–81, doi:10.1007/978-3-642-54013-4_15.","ista":"Aminof B, Jacobs S, Khalimov A, Rubin S. 2014. Parameterized model checking of token-passing systems. Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 262–281.","chicago":"Aminof, Benjamin, Swen Jacobs, Ayrat Khalimov, and Sasha Rubin. “Parameterized Model Checking of Token-Passing Systems.” In Verification, Model Checking, and Abstract Interpretation, 8318:262–81. Springer Nature, 2014. https://doi.org/10.1007/978-3-642-54013-4_15."},"page":"262-281","scopus_import":"1","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"start_date":"2014-01-19","name":"VMCAI: Verifcation, Model Checking, and Abstract Interpretation","location":"San Diego, CA, United States","end_date":"2014-01-21"},"quality_controlled":"1","title":"Parameterized model checking of token-passing systems","publication_identifier":{"isbn":["9783642540127"],"eissn":["1611-3349"],"issn":["0302-9743"],"eisbn":["9783642540134"]},"date_updated":"2025-04-15T06:29:59Z","acknowledgement":"This work was supported by the Austrian Science Fund through grant P23499-N23\r\nand through the RiSE network (S11403, S11405, S11406, S11407-N23); ERC Starting Grant (279307: Graph Games); Vienna Science and Technology Fund (WWTF)\r\ngrants PROSEED, ICT12-059, and VRG11-005.","article_processing_charge":"No","external_id":{"arxiv":["1311.4425"]},"ec_funded":1,"oa_version":"Preprint","day":"30","month":"01","arxiv":1,"alternative_title":["LNCS"],"oa":1,"year":"2014","volume":8318,"date_published":"2014-01-30T00:00:00Z","publication_status":"published","abstract":[{"lang":"eng","text":"We revisit the parameterized model checking problem for token-passing systems and specifications in indexed CTL ∗ \\X. Emerson and Namjoshi (1995, 2003) have shown that parameterized model checking of indexed CTL ∗ \\X in uni-directional token rings can be reduced to checking rings up to some cutoff size. Clarke et al. (2004) have shown a similar result for general topologies and indexed LTL \\X, provided processes cannot choose the directions for sending or receiving the token.\r\nWe unify and substantially extend these results by systematically exploring fragments of indexed CTL ∗ \\X with respect to general topologies. For each fragment we establish whether a cutoff exists, and for some concrete topologies, such as rings, cliques and stars, we infer small cutoffs. Finally, we show that the problem becomes undecidable, and thus no cutoffs exist, if processes are allowed to choose the directions in which they send or from which they receive the token."}],"_id":"10884","publisher":"Springer Nature","main_file_link":[{"open_access":"1","url":" https://doi.org/10.48550/arXiv.1311.4425"}],"date_created":"2022-03-18T13:01:22Z","author":[{"id":"4A55BD00-F248-11E8-B48F-1D18A9856A87","full_name":"Aminof, Benjamin","last_name":"Aminof","first_name":"Benjamin"},{"full_name":"Jacobs, Swen","first_name":"Swen","last_name":"Jacobs"},{"full_name":"Khalimov, Ayrat","first_name":"Ayrat","last_name":"Khalimov"},{"last_name":"Rubin","first_name":"Sasha","full_name":"Rubin, Sasha","id":"2EC51194-F248-11E8-B48F-1D18A9856A87"}],"doi":"10.1007/978-3-642-54013-4_15","project":[{"grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","call_identifier":"FWF","grant_number":"S11407"},{"grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications"}],"intvolume":" 8318","type":"conference"},{"related_material":{"record":[{"relation":"later_version","id":"681","status":"public"}]},"abstract":[{"text":"Two-player games on graphs provide the theoretical framework for many important problems such as reactive synthesis. While the traditional study of two-player zero-sum games has been extended to multi-player games with several notions of equilibria, they are decidable only for perfect-information games, whereas several applications require imperfect-information games.\r\nIn this paper we propose a new notion of equilibria, called doomsday equilibria, which is a strategy profile such that all players satisfy their own objective, and if any coalition of players deviates and violates even one of the players objective, then the objective of every player is violated.\r\nWe present algorithms and complexity results for deciding the existence of doomsday equilibria for various classes of ω-regular objectives, both for imperfect-information games, and for perfect-information games.We provide optimal complexity bounds for imperfect-information games, and in most cases for perfect-information games.","lang":"eng"}],"publication_status":"published","alternative_title":["LNCS"],"arxiv":1,"date_published":"2014-01-30T00:00:00Z","volume":8318,"year":"2014","oa":1,"month":"01","oa_version":"Preprint","ec_funded":1,"external_id":{"arxiv":["1311.3238"]},"day":"30","OA_place":"repository","intvolume":" 8318","type":"conference","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"},{"first_name":"Emmanuel","last_name":"Filiot","full_name":"Filiot, Emmanuel"},{"full_name":"Raskin, Jean-François","first_name":"Jean-François","last_name":"Raskin"}],"date_created":"2022-03-18T13:03:15Z","doi":"10.1007/978-3-642-54013-4_5","project":[{"grant_number":"P 23499-N23","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Game Theory","grant_number":"S11407"},{"name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"_id":"10885","publisher":"Springer Nature","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.1311.3238","open_access":"1"}],"citation":{"short":"K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.","ista":"Chatterjee K, Doyen L, Filiot E, Raskin J-F. 2014. Doomsday equilibria for omega-regular games. VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 78–97.","mla":"Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.” VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer Nature, 2014, pp. 78–97, doi:10.1007/978-3-642-54013-4_5.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean-François Raskin. “Doomsday Equilibria for Omega-Regular Games.” In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, 8318:78–97. Springer Nature, 2014. https://doi.org/10.1007/978-3-642-54013-4_5.","ieee":"K. Chatterjee, L. Doyen, E. Filiot, and J.-F. Raskin, “Doomsday equilibria for omega-regular games,” in VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 78–97.","ama":"Chatterjee K, Doyen L, Filiot E, Raskin J-F. Doomsday equilibria for omega-regular games. In: VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. Vol 8318. Springer Nature; 2014:78-97. doi:10.1007/978-3-642-54013-4_5","apa":"Chatterjee, K., Doyen, L., Filiot, E., & Raskin, J.-F. (2014). Doomsday equilibria for omega-regular games. In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation (Vol. 8318, pp. 78–97). San Diego, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-642-54013-4_5"},"page":"78-97","publication":"VMCAI 2014: Verification, Model Checking, and Abstract Interpretation","scopus_import":"1","status":"public","department":[{"_id":"KrCh"}],"article_processing_charge":"No","title":"Doomsday equilibria for omega-regular games","date_updated":"2026-04-16T10:00:03Z","acknowledgement":" Supported by Austrian Science Fund (FWF) Grant No P23499-N23, FWF NFN Grant No\r\nS11407-N23 (RiSE), ERC Start grant (279307: Graph Games), and Microsoft faculty fellows award.","publication_identifier":{"issn":["0302-9743"],"isbn":["9783642540127"],"eissn":["1611-3349"],"eisbn":["9783642540134"]},"OA_type":"green","language":[{"iso":"eng"}],"conference":{"location":"San Diego, CA, United States","end_date":"2014-01-21","name":"VMCAI: Verifcation, Model Checking, and Abstract Interpretation","start_date":"2014-01-19"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1"},{"publisher":"Springer","_id":"10886","quality_controlled":"1","language":[{"iso":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","type":"conference","article_processing_charge":"No","doi":"10.1007/978-3-319-04099-8_16","publication_identifier":{"eisbn":["9783319040998"],"issn":["1612-3786"],"eissn":["2197-666X"],"isbn":["9783319040981"]},"date_updated":"2023-09-05T14:13:16Z","acknowledgement":"This research is partially supported by the TOPOSYS project FP7-ICT-318493-STREP.","author":[{"last_name":"Zobel","first_name":"Valentin","full_name":"Zobel, Valentin"},{"last_name":"Reininghaus","first_name":"Jan","id":"4505473A-F248-11E8-B48F-1D18A9856A87","full_name":"Reininghaus, Jan"},{"full_name":"Hotz, Ingrid","first_name":"Ingrid","last_name":"Hotz"}],"title":"Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature","date_created":"2022-03-18T13:05:39Z","month":"03","department":[{"_id":"HeEd"}],"day":"19","oa_version":"None","scopus_import":"1","publication_status":"published","abstract":[{"lang":"eng","text":"We propose a method for visualizing two-dimensional symmetric positive definite tensor fields using the Heat Kernel Signature (HKS). The HKS is derived from the heat kernel and was originally introduced as an isometry invariant shape signature. Each positive definite tensor field defines a Riemannian manifold by considering the tensor field as a Riemannian metric. On this Riemmanian manifold we can apply the definition of the HKS. The resulting scalar quantity is used for the visualization of tensor fields. The HKS is closely related to the Gaussian curvature of the Riemannian manifold and the time parameter of the heat kernel allows a multiscale analysis in a natural way. In this way, the HKS represents field related scale space properties, enabling a level of detail analysis of tensor fields. This makes the HKS an interesting new scalar quantity for tensor fields, which differs significantly from usual tensor invariants like the trace or the determinant. A method for visualization and a numerical realization of the HKS for tensor fields is proposed in this chapter. To validate the approach we apply it to some illustrating simple examples as isolated critical points and to a medical diffusion tensor data set."}],"publication":"Topological Methods in Data Analysis and Visualization III ","page":"249-262","citation":{"ieee":"V. Zobel, J. Reininghaus, and I. Hotz, “Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature,” in Topological Methods in Data Analysis and Visualization III , 2014, pp. 249–262.","ama":"Zobel V, Reininghaus J, Hotz I. Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. In: Topological Methods in Data Analysis and Visualization III . Springer; 2014:249-262. doi:10.1007/978-3-319-04099-8_16","apa":"Zobel, V., Reininghaus, J., & Hotz, I. (2014). Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. In Topological Methods in Data Analysis and Visualization III (pp. 249–262). Springer. https://doi.org/10.1007/978-3-319-04099-8_16","short":"V. Zobel, J. Reininghaus, I. Hotz, in:, Topological Methods in Data Analysis and Visualization III , Springer, 2014, pp. 249–262.","mla":"Zobel, Valentin, et al. “Visualization of Two-Dimensional Symmetric Positive Definite Tensor Fields Using the Heat Kernel Signature.” Topological Methods in Data Analysis and Visualization III , Springer, 2014, pp. 249–62, doi:10.1007/978-3-319-04099-8_16.","ista":"Zobel V, Reininghaus J, Hotz I. 2014. Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. Topological Methods in Data Analysis and Visualization III . , Mathematics and Visualization, , 249–262.","chicago":"Zobel, Valentin, Jan Reininghaus, and Ingrid Hotz. “Visualization of Two-Dimensional Symmetric Positive Definite Tensor Fields Using the Heat Kernel Signature.” In Topological Methods in Data Analysis and Visualization III , 249–62. Springer, 2014. https://doi.org/10.1007/978-3-319-04099-8_16."},"year":"2014","date_published":"2014-03-19T00:00:00Z","status":"public","alternative_title":["Mathematics and Visualization"]},{"alternative_title":["LNCS"],"date_published":"2014-11-08T00:00:00Z","volume":8889,"year":"2014","related_material":{"record":[{"status":"public","id":"481","relation":"later_version"}]},"abstract":[{"text":"In this paper, we introduce planar matchings on directed pseudo-line arrangements, which yield a planar set of pseudo-line segments such that only matching-partners are adjacent. By translating the planar matching problem into a corresponding stable roommates problem we show that such matchings always exist.\r\nUsing our new framework, we establish, for the first time, a complete, rigorous definition of weighted straight skeletons, which are based on a so-called wavefront propagation process. We present a generalized and unified approach to treat structural changes in the wavefront that focuses on the restoration of weak planarity by finding planar matchings.","lang":"eng"}],"publication_status":"published","oa_version":"None","external_id":{"isi":["000354865900010"]},"day":"08","month":"11","author":[{"full_name":"Biedl, Therese","first_name":"Therese","last_name":"Biedl"},{"orcid":"0000-0002-8871-5814","id":"4700A070-F248-11E8-B48F-1D18A9856A87","full_name":"Huber, Stefan","last_name":"Huber","first_name":"Stefan"},{"full_name":"Palfrader, Peter","first_name":"Peter","last_name":"Palfrader"}],"date_created":"2022-03-21T07:09:03Z","doi":"10.1007/978-3-319-13075-0_10","intvolume":" 8889","type":"conference","_id":"10892","publisher":"Springer Nature","status":"public","citation":{"chicago":"Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.” In 25th International Symposium, ISAAC 2014, 8889:117–27. Springer Nature, 2014. https://doi.org/10.1007/978-3-319-13075-0_10.","mla":"Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.” 25th International Symposium, ISAAC 2014, vol. 8889, Springer Nature, 2014, pp. 117–27, doi:10.1007/978-3-319-13075-0_10.","ista":"Biedl T, Huber S, Palfrader P. 2014. Planar matchings for weighted straight skeletons. 25th International Symposium, ISAAC 2014. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 8889, 117–127.","short":"T. Biedl, S. Huber, P. Palfrader, in:, 25th International Symposium, ISAAC 2014, Springer Nature, 2014, pp. 117–127.","apa":"Biedl, T., Huber, S., & Palfrader, P. (2014). Planar matchings for weighted straight skeletons. In 25th International Symposium, ISAAC 2014 (Vol. 8889, pp. 117–127). Jeonju, Korea: Springer Nature. https://doi.org/10.1007/978-3-319-13075-0_10","ama":"Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. In: 25th International Symposium, ISAAC 2014. Vol 8889. Springer Nature; 2014:117-127. doi:10.1007/978-3-319-13075-0_10","ieee":"T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight skeletons,” in 25th International Symposium, ISAAC 2014, Jeonju, Korea, 2014, vol. 8889, pp. 117–127."},"page":"117-127","publication":"25th International Symposium, ISAAC 2014","isi":1,"scopus_import":"1","corr_author":"1","department":[{"_id":"HeEd"}],"title":"Planar matchings for weighted straight skeletons","acknowledgement":"T. Biedl was supported by NSERC and the Ross and Muriel Cheriton Fellowship. P. Palfrader was supported by Austrian Science Fund (FWF): P25816-N15.","date_updated":"2025-09-29T13:22:55Z","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783319130743"],"issn":["0302-9743"],"eisbn":["9783319130750"]},"article_processing_charge":"No","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","conference":{"start_date":"2014-12-15","location":"Jeonju, Korea","end_date":"2014-12-17","name":"ISAAC: International Symposium on Algorithms and Computation"},"language":[{"iso":"eng"}],"quality_controlled":"1"},{"series_title":"Mathematics and Visualization","month":"03","day":"19","oa_version":"None","place":"Cham","ec_funded":1,"abstract":[{"lang":"eng","text":"Saddle periodic orbits are an essential and stable part of the topological skeleton of a 3D vector field. Nevertheless, there is currently no efficient algorithm to robustly extract these features. In this chapter, we present a novel technique to extract saddle periodic orbits. Exploiting the analytic properties of such an orbit, we propose a scalar measure based on the finite-time Lyapunov exponent (FTLE) that indicates its presence. Using persistent homology, we can then extract the robust cycles of this field. These cycles thereby represent the saddle periodic orbits of the given vector field. We discuss the different existing FTLE approximation schemes regarding their applicability to this specific problem and propose an adapted version of FTLE called Normalized Velocity Separation. Finally, we evaluate our method using simple analytic vector field data."}],"publication_status":"published","date_published":"2014-03-19T00:00:00Z","volume":1,"year":"2014","publisher":"Springer","_id":"10893","intvolume":" 1","type":"book_chapter","project":[{"grant_number":"318493","_id":"255D761E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Topological Complex Systems"}],"doi":"10.1007/978-3-319-04099-8_4","author":[{"last_name":"Kasten","first_name":"Jens","full_name":"Kasten, Jens"},{"first_name":"Jan","last_name":"Reininghaus","full_name":"Reininghaus, Jan","id":"4505473A-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Reich","first_name":"Wieland","full_name":"Reich, Wieland"},{"last_name":"Scheuermann","first_name":"Gerik","full_name":"Scheuermann, Gerik"}],"editor":[{"full_name":"Bremer, Peer-Timo","first_name":"Peer-Timo","last_name":"Bremer"},{"last_name":"Hotz","first_name":"Ingrid","full_name":"Hotz, Ingrid"},{"last_name":"Pascucci","first_name":"Valerio","full_name":"Pascucci, Valerio"},{"last_name":"Peikert","first_name":"Ronald","full_name":"Peikert, Ronald"}],"date_created":"2022-03-21T07:11:23Z","department":[{"_id":"HeEd"}],"scopus_import":"1","citation":{"chicago":"Kasten, Jens, Jan Reininghaus, Wieland Reich, and Gerik Scheuermann. “Toward the Extraction of Saddle Periodic Orbits.” In Topological Methods in Data Analysis and Visualization III , edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci, and Ronald Peikert, 1:55–69. Mathematics and Visualization. Cham: Springer, 2014. https://doi.org/10.1007/978-3-319-04099-8_4.","mla":"Kasten, Jens, et al. “Toward the Extraction of Saddle Periodic Orbits.” Topological Methods in Data Analysis and Visualization III , edited by Peer-Timo Bremer et al., vol. 1, Springer, 2014, pp. 55–69, doi:10.1007/978-3-319-04099-8_4.","ista":"Kasten J, Reininghaus J, Reich W, Scheuermann G. 2014.Toward the extraction of saddle periodic orbits. In: Topological Methods in Data Analysis and Visualization III . vol. 1, 55–69.","short":"J. Kasten, J. Reininghaus, W. Reich, G. Scheuermann, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III , Springer, Cham, 2014, pp. 55–69.","apa":"Kasten, J., Reininghaus, J., Reich, W., & Scheuermann, G. (2014). Toward the extraction of saddle periodic orbits. In P.-T. Bremer, I. Hotz, V. Pascucci, & R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III (Vol. 1, pp. 55–69). Cham: Springer. https://doi.org/10.1007/978-3-319-04099-8_4","ama":"Kasten J, Reininghaus J, Reich W, Scheuermann G. Toward the extraction of saddle periodic orbits. In: Bremer P-T, Hotz I, Pascucci V, Peikert R, eds. Topological Methods in Data Analysis and Visualization III . Vol 1. Mathematics and Visualization. Cham: Springer; 2014:55-69. doi:10.1007/978-3-319-04099-8_4","ieee":"J. Kasten, J. Reininghaus, W. Reich, and G. Scheuermann, “Toward the extraction of saddle periodic orbits,” in Topological Methods in Data Analysis and Visualization III , vol. 1, P.-T. Bremer, I. Hotz, V. Pascucci, and R. Peikert, Eds. Cham: Springer, 2014, pp. 55–69."},"page":"55-69","publication":"Topological Methods in Data Analysis and Visualization III ","status":"public","quality_controlled":"1","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","date_updated":"2025-04-15T08:37:54Z","acknowledgement":"First, we thank the reviewers of this paper for their ideas and critical comments. In addition, we thank Ronny Peikert and Filip Sadlo for a fruitful discussions. This research is supported by the European Commission under the TOPOSYS project FP7-ICT-318493-STREP, the European Social Fund (ESF App. No. 100098251), and the European Science Foundation under the ACAT Research Network Program.","publication_identifier":{"eisbn":["9783319040998"],"eissn":["2197-666X"],"isbn":["9783319040981"],"issn":["1612-3786"]},"title":"Toward the extraction of saddle periodic orbits"},{"article_processing_charge":"No","title":"PHAT – Persistent Homology Algorithms Toolbox","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783662441985"],"eisbn":["9783662441992"]},"date_updated":"2026-06-18T17:35:15Z","language":[{"iso":"eng"}],"conference":{"start_date":"2014-08-05","end_date":"2014-08-09","location":"Seoul, South Korea","name":"ICMS: International Congress on Mathematical Software"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","quality_controlled":"1","publication":"ICMS 2014: International Congress on Mathematical Software","citation":{"ista":"Bauer U, Kerber M, Reininghaus J, Wagner H. 2014. PHAT – Persistent Homology Algorithms Toolbox. ICMS 2014: International Congress on Mathematical Software. ICMS: International Congress on Mathematical SoftwareLNCS vol. 8592, 137–143.","mla":"Bauer, Ulrich, et al. “PHAT – Persistent Homology Algorithms Toolbox.” ICMS 2014: International Congress on Mathematical Software, vol. 8592, Springer Berlin Heidelberg, 2014, pp. 137–43, doi:10.1007/978-3-662-44199-2_24.","chicago":"Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “PHAT – Persistent Homology Algorithms Toolbox.” In ICMS 2014: International Congress on Mathematical Software, 8592:137–43. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. https://doi.org/10.1007/978-3-662-44199-2_24.","short":"U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, in:, ICMS 2014: International Congress on Mathematical Software, Springer Berlin Heidelberg, Berlin, Heidelberg, 2014, pp. 137–143.","ieee":"U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “PHAT – Persistent Homology Algorithms Toolbox,” in ICMS 2014: International Congress on Mathematical Software, Seoul, South Korea, 2014, vol. 8592, pp. 137–143.","apa":"Bauer, U., Kerber, M., Reininghaus, J., & Wagner, H. (2014). PHAT – Persistent Homology Algorithms Toolbox. In ICMS 2014: International Congress on Mathematical Software (Vol. 8592, pp. 137–143). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-44199-2_24","ama":"Bauer U, Kerber M, Reininghaus J, Wagner H. PHAT – Persistent Homology Algorithms Toolbox. In: ICMS 2014: International Congress on Mathematical Software. Vol 8592. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2014:137-143. doi:10.1007/978-3-662-44199-2_24"},"page":"137-143","scopus_import":"1","status":"public","department":[{"_id":"HeEd"}],"intvolume":" 8592","type":"conference","date_created":"2022-03-21T07:12:16Z","author":[{"full_name":"Bauer, Ulrich","id":"2ADD483A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9683-0724","first_name":"Ulrich","last_name":"Bauer"},{"last_name":"Kerber","first_name":"Michael","full_name":"Kerber, Michael"},{"id":"4505473A-F248-11E8-B48F-1D18A9856A87","full_name":"Reininghaus, Jan","first_name":"Jan","last_name":"Reininghaus"},{"first_name":"Hubert","last_name":"Wagner","full_name":"Wagner, Hubert"}],"doi":"10.1007/978-3-662-44199-2_24","_id":"10894","publisher":"Springer Berlin Heidelberg","related_material":{"record":[{"status":"public","id":"1433","relation":"later_version"}]},"publication_status":"published","abstract":[{"lang":"eng","text":"PHAT is a C++ library for the computation of persistent homology by matrix reduction. We aim for a simple generic design that decouples algorithms from data structures without sacrificing efficiency or user-friendliness. This makes PHAT a versatile platform for experimenting with algorithmic ideas and comparing them to state of the art implementations."}],"year":"2014","volume":8592,"date_published":"2014-09-01T00:00:00Z","month":"09","series_title":"LNCS","place":"Berlin, Heidelberg","oa_version":"None","day":"01"},{"abstract":[{"lang":"eng","text":"The theory of graph games is the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic processes, we use 2 1/2-player games where some transitions of the game graph are controlled by two adversarial players, the System and the Environment, and the other transitions are determined probabilistically. We consider 2 1/2-player games where the objective of the System is the conjunction of a qualitative objective (specified as a parity condition) and a quantitative objective (specified as a mean-payoff condition). We establish that the problem of deciding whether the System can ensure that the probability to satisfy the mean-payoff parity objective is at least a given threshold is in NP ∩ coNP, matching the best known bound in the special case of 2-player games (where all transitions are deterministic). We present an algorithm running in time O(d·n2d·MeanGame) to compute the set of almost-sure winning states from which the objective can be ensured with probability 1, where n is the number of states of the game, d the number of priorities of the parity objective, and MeanGame is the complexity to compute the set of almost-sure winning states in 2 1/2-player mean-payoff games. Our results are useful in the synthesis of stochastic reactive systems with both functional requirement (given as a qualitative objective) and performance requirement (given as a quantitative objective). "}],"publication_status":"published","related_material":{"record":[{"relation":"earlier_version","status":"public","id":"5405"}]},"publist_id":"4758","date_published":"2014-04-01T00:00:00Z","volume":8412,"year":"2014","alternative_title":["LNCS"],"month":"04","day":"01","oa_version":"None","ec_funded":1,"type":"conference","intvolume":" 8412","project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23"},{"grant_number":"S11407","call_identifier":"FWF","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"doi":"10.1007/978-3-642-54830-7_14","date_created":"2018-12-11T11:56:21Z","author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"},{"last_name":"Gimbert","first_name":"Hugo","full_name":"Gimbert, Hugo"},{"first_name":"Youssouf","last_name":"Oualhadj","full_name":"Oualhadj, Youssouf"}],"publisher":"Springer","_id":"2212","scopus_import":1,"page":"210 - 225","citation":{"ieee":"K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, “Perfect-information stochastic mean-payoff parity games,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 210–225.","ama":"Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. Perfect-information stochastic mean-payoff parity games. In: Vol 8412. Springer; 2014:210-225. doi:10.1007/978-3-642-54830-7_14","apa":"Chatterjee, K., Doyen, L., Gimbert, H., & Oualhadj, Y. (2014). Perfect-information stochastic mean-payoff parity games (Vol. 8412, pp. 210–225). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-54830-7_14","short":"K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, in:, Springer, 2014, pp. 210–225.","mla":"Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. Vol. 8412, Springer, 2014, pp. 210–25, doi:10.1007/978-3-642-54830-7_14.","ista":"Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2014. Perfect-information stochastic mean-payoff parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 210–225.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Youssouf Oualhadj. “Perfect-Information Stochastic Mean-Payoff Parity Games,” 8412:210–25. Springer, 2014. https://doi.org/10.1007/978-3-642-54830-7_14."},"status":"public","department":[{"_id":"KrCh"}],"acknowledgement":"This research was supported by European project Cassting (FP7-601148).\r\nA Technical Report of this paper is available at: \r\nhttps://repository.ist.ac.at/id/eprint/128.","date_updated":"2023-02-23T12:24:50Z","title":"Perfect-information stochastic mean-payoff parity games","quality_controlled":"1","language":[{"iso":"eng"}],"conference":{"start_date":"2014-04-05","name":"FoSSaCS: Foundations of Software Science and Computation Structures","end_date":"2014-04-13","location":"Grenoble, France"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"publication_status":"published","abstract":[{"lang":"eng","text":"We consider two-player partial-observation stochastic games on finitestate graphs where player 1 has partial observation and player 2 has perfect observation. The winning condition we study are ε-regular conditions specified as parity objectives. The qualitative-analysis problem given a partial-observation stochastic game and a parity objective asks whether there is a strategy to ensure that the objective is satisfied with probability 1 (resp. positive probability). These qualitative-analysis problems are known to be undecidable. However in many applications the relevant question is the existence of finite-memory strategies, and the qualitative-analysis problems under finite-memory strategies was recently shown to be decidable in 2EXPTIME.We improve the complexity and show that the qualitative-analysis problems for partial-observation stochastic parity games under finite-memory strategies are EXPTIME-complete; and also establish optimal (exponential) memory bounds for finite-memory strategies required for qualitative analysis."}],"related_material":{"record":[{"relation":"earlier_version","id":"5408","status":"public"}]},"publist_id":"4757","oa":1,"year":"2014","date_published":"2014-04-01T00:00:00Z","volume":8412,"arxiv":1,"alternative_title":["LNCS"],"month":"04","day":"01","external_id":{"arxiv":["1401.3289"]},"ec_funded":1,"oa_version":"Preprint","type":"conference","intvolume":" 8412","project":[{"grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","call_identifier":"FWF","grant_number":"S11407"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7","grant_number":"279307"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"doi":"10.1007/978-3-642-54830-7_16","date_created":"2018-12-11T11:56:21Z","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"},{"full_name":"Nain, Sumit","first_name":"Sumit","last_name":"Nain"},{"last_name":"Vardi","first_name":"Moshe","full_name":"Vardi, Moshe"}],"publisher":"Springer","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1401.3289"}],"_id":"2213","scopus_import":1,"citation":{"short":"K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257.","ista":"Chatterjee K, Doyen L, Nain S, Vardi M. 2014. The complexity of partial-observation stochastic parity games with finite-memory strategies. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 242–257.","mla":"Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. Vol. 8412, Springer, 2014, pp. 242–57, doi:10.1007/978-3-642-54830-7_16.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. “The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies,” 8412:242–57. Springer, 2014. https://doi.org/10.1007/978-3-642-54830-7_16.","ieee":"K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, “The complexity of partial-observation stochastic parity games with finite-memory strategies,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 242–257.","ama":"Chatterjee K, Doyen L, Nain S, Vardi M. The complexity of partial-observation stochastic parity games with finite-memory strategies. In: Vol 8412. Springer; 2014:242-257. doi:10.1007/978-3-642-54830-7_16","apa":"Chatterjee, K., Doyen, L., Nain, S., & Vardi, M. (2014). The complexity of partial-observation stochastic parity games with finite-memory strategies (Vol. 8412, pp. 242–257). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-54830-7_16"},"page":"242 - 257","status":"public","department":[{"_id":"KrCh"}],"date_updated":"2023-02-23T12:24:58Z","acknowledgement":"This research was supported by European project Cassting (FP7-601148), NSF grants CNS 1049862 and CCF-1139011, by NSF Expe ditions in Computing project “ExCAPE: Expeditions in Computer Augmented Program Engineering”, by BSF grant 9800096, and by gift from Intel.","title":"The complexity of partial-observation stochastic parity games with finite-memory strategies","quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"conference":{"end_date":"2014-04-13","location":"Grenoble, France","name":"FoSSaCS: Foundations of Software Science and Computation Structures","start_date":"2014-04-05"}},{"publist_id":"4756","file_date_updated":"2020-07-14T12:45:33Z","abstract":[{"lang":"eng","text":"A hallmark of immune cell trafficking is directional guidance via gradients of soluble or surface bound chemokines. Vascular endothelial cells produce, transport and deposit either their own chemokines or chemokines produced by the underlying stroma. Endothelial heparan sulfate (HS) was suggested to be a critical scaffold for these chemokine pools, but it is unclear how steep chemokine gradients are sustained between the lumenal and ablumenal aspects of blood vessels. Addressing this question by semi-quantitative immunostaining of HS moieties around blood vessels with a pan anti-HS IgM mAb, we found a striking HS enrichment in the basal lamina of resting and inflamed post capillary skin venules, as well as in high endothelial venules (HEVs) of lymph nodes. Staining of skin vessels with a glycocalyx probe further suggested that their lumenal glycocalyx contains much lower HS density than their basolateral extracellular matrix (ECM). This polarized HS pattern was observed also in isolated resting and inflamed microvascular dermal cells. Notably, progressive skin inflammation resulted in massive ECM deposition and in further HS enrichment around skin post capillary venules and their associated pericytes. Inflammation-dependent HS enrichment was not compromised in mice deficient in the main HS degrading enzyme, heparanase. Our results suggest that the blood vasculature patterns steep gradients of HS scaffolds between their lumenal and basolateral endothelial aspects, and that inflammatory processes can further enrich the HS content nearby inflamed vessels. We propose that chemokine gradients between the lumenal and ablumenal sides of vessels could be favored by these sharp HS scaffold gradients."}],"publication_status":"published","date_published":"2014-01-22T00:00:00Z","volume":9,"oa":1,"year":"2014","has_accepted_license":"1","month":"01","oa_version":"Published Version","ec_funded":1,"external_id":{"isi":["000330283100061"]},"day":"22","type":"journal_article","intvolume":" 9","date_created":"2018-12-11T11:56:22Z","author":[{"last_name":"Stoler Barak","first_name":"Liat","full_name":"Stoler Barak, Liat"},{"last_name":"Moussion","first_name":"Christine","full_name":"Moussion, Christine","id":"3356F664-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Shezen","first_name":"Elias","full_name":"Shezen, Elias"},{"full_name":"Hatzav, Miki","last_name":"Hatzav","first_name":"Miki"},{"id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179","first_name":"Michael K","last_name":"Sixt"},{"last_name":"Alon","first_name":"Ronen","full_name":"Alon, Ronen"}],"project":[{"grant_number":"289720","name":"Stromal Cell-immune Cell Interactions in Health and Disease","call_identifier":"FP7","_id":"25A76F58-B435-11E9-9278-68D0E5697425"}],"doi":"10.1371/journal.pone.0085699","_id":"2214","publisher":"Public Library of Science","file":[{"creator":"system","date_created":"2018-12-12T10:07:48Z","file_name":"IST-2016-433-v1+1_journal.pone.0085699.pdf","date_updated":"2020-07-14T12:45:33Z","file_size":12634775,"access_level":"open_access","content_type":"application/pdf","file_id":"4646","relation":"main_file","checksum":"84a8033bda2e07e39405f5acc85f4eca"}],"citation":{"mla":"Stoler Barak, Liat, et al. “Blood Vessels Pattern Heparan Sulfate Gradients between Their Apical and Basolateral Aspects.” PLoS One, vol. 9, no. 1, e85699, Public Library of Science, 2014, doi:10.1371/journal.pone.0085699.","ista":"Stoler Barak L, Moussion C, Shezen E, Hatzav M, Sixt MK, Alon R. 2014. Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. 9(1), e85699.","chicago":"Stoler Barak, Liat, Christine Moussion, Elias Shezen, Miki Hatzav, Michael K Sixt, and Ronen Alon. “Blood Vessels Pattern Heparan Sulfate Gradients between Their Apical and Basolateral Aspects.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0085699.","short":"L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M.K. Sixt, R. Alon, PLoS One 9 (2014).","ieee":"L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M. K. Sixt, and R. Alon, “Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects,” PLoS One, vol. 9, no. 1. Public Library of Science, 2014.","ama":"Stoler Barak L, Moussion C, Shezen E, Hatzav M, Sixt MK, Alon R. Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085699","apa":"Stoler Barak, L., Moussion, C., Shezen, E., Hatzav, M., Sixt, M. K., & Alon, R. (2014). Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0085699"},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publication":"PLoS One","isi":1,"scopus_import":"1","pubrep_id":"433","status":"public","department":[{"_id":"MiSi"}],"ddc":["570"],"issue":"1","article_processing_charge":"No","article_number":"e85699","title":"Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects","acknowledgement":"Michael Sixt's research is supported by the European Research Council (ERC Starting grant).","date_updated":"2025-09-29T11:30:42Z","language":[{"iso":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","quality_controlled":"1"},{"oa_version":"None","external_id":{"isi":["000337245500009"]},"day":"14","month":"05","date_published":"2014-05-14T00:00:00Z","volume":15,"year":"2014","publist_id":"4755","abstract":[{"lang":"eng","text":"Homologous recombination is crucial for genome stability and for genetic exchange. Although our knowledge of the principle steps in recombination and its machinery is well advanced, homology search, the critical step of exploring the genome for homologous sequences to enable recombination, has remained mostly enigmatic. However, recent methodological advances have provided considerable new insights into this fundamental step in recombination that can be integrated into a mechanistic model. These advances emphasize the importance of genomic proximity and nuclear organization for homology search and the critical role of homology search mediators in this process. They also aid our understanding of how homology search might lead to unwanted and potentially disease-promoting recombination events."}],"publication_status":"published","_id":"2215","publisher":"Nature Publishing Group","date_created":"2018-12-11T11:56:22Z","author":[{"full_name":"Renkawitz, Jörg","id":"3F0587C8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2856-3369","first_name":"Jörg","last_name":"Renkawitz"},{"full_name":"Lademann, Claudio","last_name":"Lademann","first_name":"Claudio"},{"full_name":"Jentsch, Stefan","first_name":"Stefan","last_name":"Jentsch"}],"doi":"10.1038/nrm3805","type":"journal_article","intvolume":" 15","issue":"6","department":[{"_id":"MiSi"}],"status":"public","page":"369 - 383","citation":{"ista":"Renkawitz J, Lademann C, Jentsch S. 2014. Mechanisms and principles of homology search during recombination. Nature Reviews Molecular Cell Biology. 15(6), 369–383.","mla":"Renkawitz, Jörg, et al. “Mechanisms and Principles of Homology Search during Recombination.” Nature Reviews Molecular Cell Biology, vol. 15, no. 6, Nature Publishing Group, 2014, pp. 369–83, doi:10.1038/nrm3805.","chicago":"Renkawitz, Jörg, Claudio Lademann, and Stefan Jentsch. “Mechanisms and Principles of Homology Search during Recombination.” Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2014. https://doi.org/10.1038/nrm3805.","short":"J. Renkawitz, C. Lademann, S. Jentsch, Nature Reviews Molecular Cell Biology 15 (2014) 369–383.","ieee":"J. Renkawitz, C. Lademann, and S. Jentsch, “Mechanisms and principles of homology search during recombination,” Nature Reviews Molecular Cell Biology, vol. 15, no. 6. Nature Publishing Group, pp. 369–383, 2014.","ama":"Renkawitz J, Lademann C, Jentsch S. Mechanisms and principles of homology search during recombination. Nature Reviews Molecular Cell Biology. 2014;15(6):369-383. doi:10.1038/nrm3805","apa":"Renkawitz, J., Lademann, C., & Jentsch, S. (2014). Mechanisms and principles of homology search during recombination. Nature Reviews Molecular Cell Biology. Nature Publishing Group. https://doi.org/10.1038/nrm3805"},"publication":"Nature Reviews Molecular Cell Biology","isi":1,"scopus_import":"1","language":[{"iso":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","quality_controlled":"1","title":"Mechanisms and principles of homology search during recombination","acknowledgement":"J.R. was supported by a Boehringer Ingelheim Fonds PhD stipend.","date_updated":"2025-09-29T11:30:10Z","article_processing_charge":"No"}]