[{"month":"07","file":[{"file_size":2834442,"relation":"main_file","access_level":"open_access","content_type":"application/pdf","creator":"dernst","date_created":"2019-11-19T08:09:57Z","date_updated":"2020-07-14T12:45:02Z","file_name":"2018_Nature_Hilbe.pdf","checksum":"011ab905cf9a410bc2b96f15174d654d","file_id":"7049"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Submitted Version","day":"04","author":[{"first_name":"Christian","full_name":"Hilbe, Christian","orcid":"0000-0001-5116-955X","last_name":"Hilbe","id":"2FDF8F3C-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Šimsa","full_name":"Šimsa, Štepán","first_name":"Štepán"},{"first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Nowak","first_name":"Martin","full_name":"Nowak, Martin"}],"type":"journal_article","status":"public","isi":1,"scopus_import":"1","intvolume":"       559","has_accepted_license":"1","issue":"7713","article_processing_charge":"No","date_updated":"2023-09-11T13:43:22Z","oa":1,"title":"Evolution of cooperation in stochastic games","publication":"Nature","language":[{"iso":"eng"}],"ddc":["000"],"abstract":[{"lang":"eng","text":"Social dilemmas occur when incentives for individuals are misaligned with group interests 1-7 . According to the 'tragedy of the commons', these misalignments can lead to overexploitation and collapse of public resources. The resulting behaviours can be analysed with the tools of game theory 8 . The theory of direct reciprocity 9-15 suggests that repeated interactions can alleviate such dilemmas, but previous work has assumed that the public resource remains constant over time. Here we introduce the idea that the public resource is instead changeable and depends on the strategic choices of individuals. An intuitive scenario is that cooperation increases the public resource, whereas defection decreases it. Thus, cooperation allows the possibility of playing a more valuable game with higher payoffs, whereas defection leads to a less valuable game. We analyse this idea using the theory of stochastic games 16-19 and evolutionary game theory. We find that the dependence of the public resource on previous interactions can greatly enhance the propensity for cooperation. For these results, the interaction between reciprocity and payoff feedback is crucial: neither repeated interactions in a constant environment nor single interactions in a changing environment yield similar cooperation rates. Our framework shows which feedbacks between exploitation and environment - either naturally occurring or designed - help to overcome social dilemmas."}],"external_id":{"isi":["000438240900054"]},"publication_status":"published","date_published":"2018-07-04T00:00:00Z","publisher":"Nature Publishing Group","quality_controlled":"1","volume":559,"page":"246 - 249","department":[{"_id":"KrCh"}],"project":[{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407","name":"Game Theory","call_identifier":"FWF"},{"grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications"},{"call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"related_material":{"link":[{"relation":"press_release","description":"News on IST Homepage","url":"https://ist.ac.at/en/news/engineering-cooperation/"}]},"ec_funded":1,"year":"2018","acknowledgement":"European Research Council Start Grant 279307, Austrian Science Fund (FWF) grant P23499-N23, \r\nC.H. acknowledges support from the ISTFELLOW programme.","date_created":"2018-12-11T11:44:56Z","citation":{"apa":"Hilbe, C., Šimsa, Š., Chatterjee, K., &#38; Nowak, M. (2018). Evolution of cooperation in stochastic games. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41586-018-0277-x\">https://doi.org/10.1038/s41586-018-0277-x</a>","short":"C. Hilbe, Š. Šimsa, K. Chatterjee, M. Nowak, Nature 559 (2018) 246–249.","ieee":"C. Hilbe, Š. Šimsa, K. Chatterjee, and M. Nowak, “Evolution of cooperation in stochastic games,” <i>Nature</i>, vol. 559, no. 7713. Nature Publishing Group, pp. 246–249, 2018.","ama":"Hilbe C, Šimsa Š, Chatterjee K, Nowak M. Evolution of cooperation in stochastic games. <i>Nature</i>. 2018;559(7713):246-249. doi:<a href=\"https://doi.org/10.1038/s41586-018-0277-x\">10.1038/s41586-018-0277-x</a>","mla":"Hilbe, Christian, et al. “Evolution of Cooperation in Stochastic Games.” <i>Nature</i>, vol. 559, no. 7713, Nature Publishing Group, 2018, pp. 246–49, doi:<a href=\"https://doi.org/10.1038/s41586-018-0277-x\">10.1038/s41586-018-0277-x</a>.","ista":"Hilbe C, Šimsa Š, Chatterjee K, Nowak M. 2018. Evolution of cooperation in stochastic games. Nature. 559(7713), 246–249.","chicago":"Hilbe, Christian, Štepán Šimsa, Krishnendu Chatterjee, and Martin Nowak. “Evolution of Cooperation in Stochastic Games.” <i>Nature</i>. Nature Publishing Group, 2018. <a href=\"https://doi.org/10.1038/s41586-018-0277-x\">https://doi.org/10.1038/s41586-018-0277-x</a>."},"publist_id":"7764","doi":"10.1038/s41586-018-0277-x","_id":"157","file_date_updated":"2020-07-14T12:45:02Z"},{"external_id":{"pmid":["30013211"],"isi":["000443861300011"]},"abstract":[{"text":"The angiosperm seed is composed of three genetically distinct tissues: the diploid embryo that originates from the fertilized egg cell, the triploid endosperm that is produced from the fertilized central cell, and the maternal sporophytic integuments that develop into the seed coat1. At the onset of embryo development in Arabidopsis thaliana, the zygote divides asymmetrically, producing a small apical embryonic cell and a larger basal cell that connects the embryo to the maternal tissue2. The coordinated and synchronous development of the embryo and the surrounding integuments, and the alignment of their growth axes, suggest communication between maternal tissues and the embryo. In contrast to animals, however, where a network of maternal factors that direct embryo patterning have been identified3,4, only a few maternal mutations have been described to affect embryo development in plants5–7. Early embryo patterning in Arabidopsis requires accumulation of the phytohormone auxin in the apical cell by directed transport from the suspensor8–10. However, the origin of this auxin has remained obscure. Here we investigate the source of auxin for early embryogenesis and provide evidence that the mother plant coordinates seed development by supplying auxin to the early embryo from the integuments of the ovule. We show that auxin response increases in ovules after fertilization, due to upregulated auxin biosynthesis in the integuments, and this maternally produced auxin is required for correct embryo development.","lang":"eng"}],"publication_status":"published","department":[{"_id":"JiFr"}],"page":"548 - 553","volume":4,"quality_controlled":"1","publisher":"Nature Publishing Group","date_published":"2018-07-16T00:00:00Z","project":[{"_id":"25716A02-B435-11E9-9278-68D0E5697425","grant_number":"282300","name":"Polarity and subcellular dynamics in plants","call_identifier":"FP7"}],"ec_funded":1,"related_material":{"link":[{"url":"https://ist.ac.at/en/news/plant-mothers-talk-to-their-embryos-via-the-hormone-auxin/","description":"News on IST Homepage","relation":"press_release"}]},"date_created":"2018-12-11T11:44:56Z","publist_id":"7763","citation":{"apa":"Robert, H., Park, C., Gutièrrez, C., Wójcikowska, B., Pěnčík, A., Novák, O., … Laux, T. (2018). Maternal auxin supply contributes to early embryo patterning in Arabidopsis. <i>Nature Plants</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41477-018-0204-z\">https://doi.org/10.1038/s41477-018-0204-z</a>","ista":"Robert H, Park C, Gutièrrez C, Wójcikowska B, Pěnčík A, Novák O, Chen J, Grunewald W, Dresselhaus T, Friml J, Laux T. 2018. Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. 4(8), 548–553.","mla":"Robert, Hélène, et al. “Maternal Auxin Supply Contributes to Early Embryo Patterning in Arabidopsis.” <i>Nature Plants</i>, vol. 4, no. 8, Nature Publishing Group, 2018, pp. 548–53, doi:<a href=\"https://doi.org/10.1038/s41477-018-0204-z\">10.1038/s41477-018-0204-z</a>.","chicago":"Robert, Hélène, Chulmin Park, Carla Gutièrrez, Barbara Wójcikowska, Aleš Pěnčík, Ondřej Novák, Junyi Chen, et al. “Maternal Auxin Supply Contributes to Early Embryo Patterning in Arabidopsis.” <i>Nature Plants</i>. Nature Publishing Group, 2018. <a href=\"https://doi.org/10.1038/s41477-018-0204-z\">https://doi.org/10.1038/s41477-018-0204-z</a>.","short":"H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pěnčík, O. Novák, J. Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018) 548–553.","ieee":"H. Robert <i>et al.</i>, “Maternal auxin supply contributes to early embryo patterning in Arabidopsis,” <i>Nature Plants</i>, vol. 4, no. 8. Nature Publishing Group, pp. 548–553, 2018.","ama":"Robert H, Park C, Gutièrrez C, et al. Maternal auxin supply contributes to early embryo patterning in Arabidopsis. <i>Nature Plants</i>. 2018;4(8):548-553. doi:<a href=\"https://doi.org/10.1038/s41477-018-0204-z\">10.1038/s41477-018-0204-z</a>"},"acknowledgement":"This work was further supported by the Czech Science Foundation GACR (GA13-40637S) to J.F.;","year":"2018","doi":"10.1038/s41477-018-0204-z","_id":"158","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pubmed/30013211","open_access":"1"}],"oa_version":"Submitted Version","day":"16","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"07","author":[{"last_name":"Robert","full_name":"Robert, Hélène","first_name":"Hélène"},{"first_name":"Chulmin","full_name":"Park, Chulmin","last_name":"Park"},{"full_name":"Gutièrrez, Carla","first_name":"Carla","last_name":"Gutièrrez"},{"full_name":"Wójcikowska, Barbara","first_name":"Barbara","last_name":"Wójcikowska"},{"full_name":"Pěnčík, Aleš","first_name":"Aleš","last_name":"Pěnčík"},{"first_name":"Ondřej","full_name":"Novák, Ondřej","last_name":"Novák"},{"last_name":"Chen","full_name":"Chen, Junyi","first_name":"Junyi"},{"first_name":"Wim","full_name":"Grunewald, Wim","last_name":"Grunewald"},{"full_name":"Dresselhaus, Thomas","first_name":"Thomas","last_name":"Dresselhaus"},{"last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","full_name":"Friml, Jirí","first_name":"Jirí"},{"last_name":"Laux","first_name":"Thomas","full_name":"Laux, Thomas"}],"pmid":1,"type":"journal_article","status":"public","scopus_import":"1","intvolume":"         4","isi":1,"title":"Maternal auxin supply contributes to early embryo patterning in Arabidopsis","date_updated":"2025-05-07T11:12:31Z","oa":1,"issue":"8","article_processing_charge":"No","publication":"Nature Plants","language":[{"iso":"eng"}]},{"related_material":{"link":[{"url":"https://doi.org/10.1038/s41589-021-00744-3","relation":"erratum"}]},"date_created":"2018-12-11T11:44:56Z","citation":{"apa":"Fehrentz, T., Huber, F., Hartrampf, N., Bruegmann, T., Frank, J., Fine, N., … Trauner, D. (2018). Optical control of L-type Ca2+ channels using a diltiazem photoswitch. <i>Nature Chemical Biology</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41589-018-0090-8\">https://doi.org/10.1038/s41589-018-0090-8</a>","short":"T. Fehrentz, F. Huber, N. Hartrampf, T. Bruegmann, J. Frank, N. Fine, D. Malan, J.G. Danzl, D. Tikhonov, M. Sumser, P. Sasse, D. Hodson, B. Zhorov, N. Klocker, D. Trauner, Nature Chemical Biology 14 (2018) 764–767.","ieee":"T. Fehrentz <i>et al.</i>, “Optical control of L-type Ca2+ channels using a diltiazem photoswitch,” <i>Nature Chemical Biology</i>, vol. 14, no. 8. Nature Publishing Group, pp. 764–767, 2018.","ama":"Fehrentz T, Huber F, Hartrampf N, et al. Optical control of L-type Ca2+ channels using a diltiazem photoswitch. <i>Nature Chemical Biology</i>. 2018;14(8):764-767. doi:<a href=\"https://doi.org/10.1038/s41589-018-0090-8\">10.1038/s41589-018-0090-8</a>","ista":"Fehrentz T, Huber F, Hartrampf N, Bruegmann T, Frank J, Fine N, Malan D, Danzl JG, Tikhonov D, Sumser M, Sasse P, Hodson D, Zhorov B, Klocker N, Trauner D. 2018. Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. 14(8), 764–767.","chicago":"Fehrentz, Timm, Florian Huber, Nina Hartrampf, Tobias Bruegmann, James Frank, Nicholas Fine, Daniela Malan, et al. “Optical Control of L-Type Ca2+ Channels Using a Diltiazem Photoswitch.” <i>Nature Chemical Biology</i>. Nature Publishing Group, 2018. <a href=\"https://doi.org/10.1038/s41589-018-0090-8\">https://doi.org/10.1038/s41589-018-0090-8</a>.","mla":"Fehrentz, Timm, et al. “Optical Control of L-Type Ca2+ Channels Using a Diltiazem Photoswitch.” <i>Nature Chemical Biology</i>, vol. 14, no. 8, Nature Publishing Group, 2018, pp. 764–67, doi:<a href=\"https://doi.org/10.1038/s41589-018-0090-8\">10.1038/s41589-018-0090-8</a>."},"publist_id":"7762","year":"2018","doi":"10.1038/s41589-018-0090-8","article_type":"original","_id":"159","file_date_updated":"2020-07-14T12:45:03Z","abstract":[{"text":"L-type Ca2+ channels (LTCCs) play a crucial role in excitation-contraction coupling and release of hormones from secretory cells. They are targets of antihypertensive and antiarrhythmic drugs such as diltiazem. Here, we present a photoswitchable diltiazem, FHU-779, which can be used to reversibly block endogenous LTCCs by light. FHU-779 is as potent as diltiazem and can be used to place pancreatic β-cell function and cardiac activity under optical control.","lang":"eng"}],"external_id":{"isi":["000438970200010"]},"ddc":["570"],"publication_status":"published","volume":14,"quality_controlled":"1","department":[{"_id":"JoDa"}],"page":"764 - 767","date_published":"2018-07-16T00:00:00Z","publisher":"Nature Publishing Group","has_accepted_license":"1","intvolume":"        14","scopus_import":"1","isi":1,"title":"Optical control of L-type Ca2+ channels using a diltiazem photoswitch","issue":"8","article_processing_charge":"No","date_updated":"2023-09-13T09:36:35Z","oa":1,"publication":"Nature Chemical Biology","language":[{"iso":"eng"}],"file":[{"creator":"dernst","relation":"main_file","access_level":"open_access","file_size":6321000,"content_type":"application/pdf","file_name":"2018_NatureChemicalBiology_Fehrentz.pdf","checksum":"d42935094ec845f54a0688bf12986d62","file_id":"7832","date_updated":"2020-07-14T12:45:03Z","date_created":"2020-05-14T12:14:09Z"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Submitted Version","day":"16","month":"07","author":[{"last_name":"Fehrentz","full_name":"Fehrentz, Timm","first_name":"Timm"},{"full_name":"Huber, Florian","first_name":"Florian","last_name":"Huber"},{"last_name":"Hartrampf","first_name":"Nina","full_name":"Hartrampf, Nina"},{"last_name":"Bruegmann","first_name":"Tobias","full_name":"Bruegmann, Tobias"},{"last_name":"Frank","first_name":"James","full_name":"Frank, James"},{"first_name":"Nicholas","full_name":"Fine, Nicholas","last_name":"Fine"},{"first_name":"Daniela","full_name":"Malan, Daniela","last_name":"Malan"},{"orcid":"0000-0001-8559-3973","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","last_name":"Danzl","first_name":"Johann G","full_name":"Danzl, Johann G"},{"last_name":"Tikhonov","full_name":"Tikhonov, Denis","first_name":"Denis"},{"last_name":"Sumser","full_name":"Sumser, Maritn","first_name":"Maritn"},{"first_name":"Philipp","full_name":"Sasse, Philipp","last_name":"Sasse"},{"last_name":"Hodson","full_name":"Hodson, David","first_name":"David"},{"first_name":"Boris","full_name":"Zhorov, Boris","last_name":"Zhorov"},{"first_name":"Nikolaj","full_name":"Klocker, Nikolaj","last_name":"Klocker"},{"last_name":"Trauner","full_name":"Trauner, Dirk","first_name":"Dirk"}],"status":"public","type":"journal_article"},{"department":[{"_id":"BjHo"}],"volume":3,"quality_controlled":"1","publisher":"American Physical Society","date_published":"2018-10-16T00:00:00Z","project":[{"call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411"}],"external_id":{"isi":["000447469200001"]},"abstract":[{"text":"We report quantitative evidence of mixing-layer elastic instability in a viscoelastic fluid flow between two widely spaced obstacles hindering a channel flow at Re 1 and Wi 1. Two mixing layers with nonuniform shear velocity profiles are formed in the region between the obstacles. The mixing-layer instability arises in the vicinity of an inflection point on the shear velocity profile with a steep variation in the elastic stress. The instability results in an intermittent appearance of small vortices in the mixing layers and an amplification of spatiotemporal averaged vorticity in the elastic turbulence regime. The latter is characterized through scaling of friction factor with Wi and both pressure and velocity spectra. Furthermore, the observations reported provide improved understanding of the stability of the mixing layer in a viscoelastic fluid at large elasticity, i.e., Wi 1 and Re 1 and oppose the current view of suppression of vorticity solely by polymer additives.","lang":"eng"}],"ddc":["532"],"publication_status":"published","doi":"10.1103/PhysRevFluids.3.103303","file_date_updated":"2020-07-14T12:45:04Z","article_type":"original","_id":"16","ec_funded":1,"article_number":"103303","publist_id":"8039","date_created":"2018-12-11T11:44:10Z","citation":{"apa":"Varshney, A., &#38; Steinberg, V. (2018). Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. <i>Physical Review Fluids</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevFluids.3.103303\">https://doi.org/10.1103/PhysRevFluids.3.103303</a>","mla":"Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity Amplification in a Creeping Viscoelastic Flow.” <i>Physical Review Fluids</i>, vol. 3, no. 10, 103303, American Physical Society, 2018, doi:<a href=\"https://doi.org/10.1103/PhysRevFluids.3.103303\">10.1103/PhysRevFluids.3.103303</a>.","ista":"Varshney A, Steinberg V. 2018. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. 3(10), 103303.","chicago":"Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity Amplification in a Creeping Viscoelastic Flow.” <i>Physical Review Fluids</i>. American Physical Society, 2018. <a href=\"https://doi.org/10.1103/PhysRevFluids.3.103303\">https://doi.org/10.1103/PhysRevFluids.3.103303</a>.","ama":"Varshney A, Steinberg V. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. <i>Physical Review Fluids</i>. 2018;3(10). doi:<a href=\"https://doi.org/10.1103/PhysRevFluids.3.103303\">10.1103/PhysRevFluids.3.103303</a>","ieee":"A. Varshney and V. Steinberg, “Mixing layer instability and vorticity amplification in a creeping viscoelastic flow,” <i>Physical Review Fluids</i>, vol. 3, no. 10. American Physical Society, 2018.","short":"A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018)."},"acknowledgement":"This work was partially supported by the Israel Science Foundation (ISF; Grant No. 882/15) and the Binational USA-Israel Foundation (BSF; Grant No. 2016145).","year":"2018","type":"journal_article","status":"public","day":"16","oa_version":"Submitted Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"date_updated":"2020-07-14T12:45:04Z","date_created":"2018-12-12T10:13:56Z","file_name":"IST-2018-1062-v1+1_PhysRevFluids.3.103303.pdf","checksum":"7fc0a2322214d1c04debef36d5bf2e8a","file_id":"5043","file_size":1838431,"access_level":"open_access","content_type":"application/pdf","relation":"main_file","creator":"system"}],"month":"10","author":[{"full_name":"Varshney, Atul","first_name":"Atul","orcid":"0000-0002-3072-5999","id":"2A2006B2-F248-11E8-B48F-1D18A9856A87","last_name":"Varshney"},{"last_name":"Steinberg","first_name":"Victor","full_name":"Steinberg, Victor"}],"publication":"Physical Review Fluids","language":[{"iso":"eng"}],"has_accepted_license":"1","scopus_import":"1","intvolume":"         3","isi":1,"title":"Mixing layer instability and vorticity amplification in a creeping viscoelastic flow","oa":1,"date_updated":"2023-09-13T08:57:05Z","pubrep_id":"1062","issue":"10","article_processing_charge":"No"},{"language":[{"iso":"eng"}],"isi":1,"scopus_import":"1","intvolume":"     10981","has_accepted_license":"1","article_processing_charge":"No","oa":1,"date_updated":"2023-09-13T08:45:09Z","title":"Layered Concurrent Programs","type":"conference","status":"public","alternative_title":["LNCS"],"month":"07","conference":{"start_date":"2018-07-14","name":"CAV: Computer Aided Verification","end_date":"2018-07-17","location":"Oxford, UK"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"creator":"dernst","content_type":"application/pdf","access_level":"open_access","relation":"main_file","file_size":1603844,"checksum":"c64fff560fe5a7532ec10626ad1c215e","file_name":"2018_LNCS_Kragl.pdf","file_id":"5705","date_created":"2018-12-17T12:52:12Z","date_updated":"2020-07-14T12:45:04Z"}],"day":"18","oa_version":"Published Version","author":[{"full_name":"Kragl, Bernhard","first_name":"Bernhard","orcid":"0000-0001-7745-9117","last_name":"Kragl","id":"320FC952-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Qadeer","full_name":"Qadeer, Shaz","first_name":"Shaz"}],"doi":"10.1007/978-3-319-96145-3_5","_id":"160","file_date_updated":"2020-07-14T12:45:04Z","related_material":{"record":[{"status":"public","id":"8332","relation":"dissertation_contains"}]},"year":"2018","date_created":"2018-12-11T11:44:57Z","publist_id":"7761","citation":{"short":"B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.","ieee":"B. Kragl and S. Qadeer, “Layered Concurrent Programs,” presented at the CAV: Computer Aided Verification, Oxford, UK, 2018, vol. 10981, pp. 79–102.","ama":"Kragl B, Qadeer S. Layered Concurrent Programs. In: Vol 10981. Springer; 2018:79-102. doi:<a href=\"https://doi.org/10.1007/978-3-319-96145-3_5\">10.1007/978-3-319-96145-3_5</a>","chicago":"Kragl, Bernhard, and Shaz Qadeer. “Layered Concurrent Programs,” 10981:79–102. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-96145-3_5\">https://doi.org/10.1007/978-3-319-96145-3_5</a>.","ista":"Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981, 79–102.","mla":"Kragl, Bernhard, and Shaz Qadeer. <i>Layered Concurrent Programs</i>. Vol. 10981, Springer, 2018, pp. 79–102, doi:<a href=\"https://doi.org/10.1007/978-3-319-96145-3_5\">10.1007/978-3-319-96145-3_5</a>.","apa":"Kragl, B., &#38; Qadeer, S. (2018). Layered Concurrent Programs (Vol. 10981, pp. 79–102). Presented at the CAV: Computer Aided Verification, Oxford, UK: Springer. <a href=\"https://doi.org/10.1007/978-3-319-96145-3_5\">https://doi.org/10.1007/978-3-319-96145-3_5</a>"},"date_published":"2018-07-18T00:00:00Z","publisher":"Springer","volume":10981,"quality_controlled":"1","page":"79 - 102","department":[{"_id":"ToHe"}],"project":[{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["000"],"abstract":[{"text":"We present layered concurrent programs, a compact and expressive notation for specifying refinement proofs of concurrent programs. A layered concurrent program specifies a sequence of connected concurrent programs, from most concrete to most abstract, such that common parts of different programs are written exactly once. These programs are expressed in the ordinary syntax of imperative concurrent programs using gated atomic actions, sequencing, choice, and (recursive) procedure calls. Each concurrent program is automatically extracted from the layered program. We reduce refinement to the safety of a sequence of concurrent checker programs, one each to justify the connection between every two consecutive concurrent programs. These checker programs are also automatically extracted from the layered program. Layered concurrent programs have been implemented in the CIVL verifier which has been successfully used for the verification of several complex concurrent programs.","lang":"eng"}],"external_id":{"isi":["000491481600005"]},"publication_status":"published"},{"project":[{"call_identifier":"FWF","name":"Biophysics of information processing in gene regulation","_id":"254E9036-B435-11E9-9278-68D0E5697425","grant_number":"P28844-B27"},{"_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"}],"publisher":"Springer Nature","date_published":"2018-07-30T00:00:00Z","department":[{"_id":"GaTk"},{"_id":"CaGu"}],"quality_controlled":"1","volume":9,"publication_status":"published","ddc":["570"],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"external_id":{"isi":["000440149300021"]},"abstract":[{"text":"Which properties of metabolic networks can be derived solely from stoichiometry? Predictive results have been obtained by flux balance analysis (FBA), by postulating that cells set metabolic fluxes to maximize growth rate. Here we consider a generalization of FBA to single-cell level using maximum entropy modeling, which we extend and test experimentally. Specifically, we define for Escherichia coli metabolism a flux distribution that yields the experimental growth rate: the model, containing FBA as a limit, provides a better match to measured fluxes and it makes a wide range of predictions: on flux variability, regulation, and correlations; on the relative importance of stoichiometry vs. optimization; on scaling relations for growth rate distributions. We validate the latter here with single-cell data at different sub-inhibitory antibiotic concentrations. The model quantifies growth optimization as emerging from the interplay of competitive dynamics in the population and regulation of metabolism at the level of single cells.","lang":"eng"}],"file_date_updated":"2020-07-14T12:45:06Z","_id":"161","doi":"10.1038/s41467-018-05417-9","year":"2018","date_created":"2018-12-11T11:44:57Z","citation":{"apa":"De Martino, D., Mc, A. A., Bergmiller, T., Guet, C. C., &#38; Tkačik, G. (2018). Statistical mechanics for metabolic networks during steady state growth. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-018-05417-9\">https://doi.org/10.1038/s41467-018-05417-9</a>","ista":"De Martino D, Mc AA, Bergmiller T, Guet CC, Tkačik G. 2018. Statistical mechanics for metabolic networks during steady state growth. Nature Communications. 9(1), 2988.","mla":"De Martino, Daniele, et al. “Statistical Mechanics for Metabolic Networks during Steady State Growth.” <i>Nature Communications</i>, vol. 9, no. 1, 2988, Springer Nature, 2018, doi:<a href=\"https://doi.org/10.1038/s41467-018-05417-9\">10.1038/s41467-018-05417-9</a>.","chicago":"De Martino, Daniele, Andersson Anna Mc, Tobias Bergmiller, Calin C Guet, and Gašper Tkačik. “Statistical Mechanics for Metabolic Networks during Steady State Growth.” <i>Nature Communications</i>. Springer Nature, 2018. <a href=\"https://doi.org/10.1038/s41467-018-05417-9\">https://doi.org/10.1038/s41467-018-05417-9</a>.","ieee":"D. De Martino, A. A. Mc, T. Bergmiller, C. C. Guet, and G. Tkačik, “Statistical mechanics for metabolic networks during steady state growth,” <i>Nature Communications</i>, vol. 9, no. 1. Springer Nature, 2018.","ama":"De Martino D, Mc AA, Bergmiller T, Guet CC, Tkačik G. Statistical mechanics for metabolic networks during steady state growth. <i>Nature Communications</i>. 2018;9(1). doi:<a href=\"https://doi.org/10.1038/s41467-018-05417-9\">10.1038/s41467-018-05417-9</a>","short":"D. De Martino, A.A. Mc, T. Bergmiller, C.C. Guet, G. Tkačik, Nature Communications 9 (2018)."},"publist_id":"7760","ec_funded":1,"article_number":"2988","related_material":{"record":[{"status":"public","id":"5587","relation":"popular_science"}]},"status":"public","type":"journal_article","author":[{"id":"3FF5848A-F248-11E8-B48F-1D18A9856A87","last_name":"De Martino","orcid":"0000-0002-5214-4706","first_name":"Daniele","full_name":"De Martino, Daniele"},{"full_name":"Mc, Andersson Anna","first_name":"Andersson Anna","last_name":"Mc"},{"last_name":"Bergmiller","id":"2C471CFA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5396-4346","first_name":"Tobias","full_name":"Bergmiller, Tobias"},{"first_name":"Calin C","full_name":"Guet, Calin C","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","last_name":"Guet","orcid":"0000-0001-6220-2052"},{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkacik","orcid":"0000-0002-6699-1455","full_name":"Tkacik, Gasper","first_name":"Gasper"}],"month":"07","day":"30","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"date_created":"2018-12-17T16:44:28Z","date_updated":"2020-07-14T12:45:06Z","file_id":"5728","checksum":"3ba7ab27b27723c7dcf633e8fc1f8f18","file_name":"2018_NatureComm_DeMartino.pdf","relation":"main_file","file_size":1043205,"access_level":"open_access","content_type":"application/pdf","creator":"dernst"}],"language":[{"iso":"eng"}],"publication":"Nature Communications","oa":1,"date_updated":"2024-02-21T13:45:39Z","article_processing_charge":"No","issue":"1","title":"Statistical mechanics for metabolic networks during steady state growth","isi":1,"scopus_import":"1","intvolume":"         9","has_accepted_license":"1"},{"publication_status":"published","ddc":["571"],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"external_id":{"isi":["000436227500001"]},"abstract":[{"lang":"eng","text":"Facial shape is the basis for facial recognition and categorization. Facial features reflect the underlying geometry of the skeletal structures. Here, we reveal that cartilaginous nasal capsule (corresponding to upper jaw and face) is shaped by signals generated by neural structures: brain and olfactory epithelium. Brain-derived Sonic Hedgehog (SHH) enables the induction of nasal septum and posterior nasal capsule, whereas the formation of a capsule roof is controlled by signals from the olfactory epithelium. Unexpectedly, the cartilage of the nasal capsule turned out to be important for shaping membranous facial bones during development. This suggests that conserved neurosensory structures could benefit from protection and have evolved signals inducing cranial cartilages encasing them. Experiments with mutant mice revealed that the genomic regulatory regions controlling production of SHH in the nervous system contribute to facial cartilage morphogenesis, which might be a mechanism responsible for the adaptive evolution of animal faces and snouts."}],"project":[{"_id":"B6FC0238-B512-11E9-945C-1524E6697425","grant_number":"680037","call_identifier":"H2020","name":"Coordination of Patterning And Growth In the Spinal Cord"}],"publisher":"eLife Sciences Publications","date_published":"2018-06-13T00:00:00Z","department":[{"_id":"AnKi"}],"volume":7,"quality_controlled":"1","year":"2018","publist_id":"7759","citation":{"apa":"Kaucka, M., Petersen, J., Tesarova, M., Szarowska, B., Kastriti, M., Xie, M., … Adameyko, I. (2018). Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/eLife.34465\">https://doi.org/10.7554/eLife.34465</a>","short":"M. Kaucka, J. Petersen, M. Tesarova, B. Szarowska, M. Kastriti, M. Xie, A. Kicheva, K. Annusver, M. Kasper, O. Symmons, L. Pan, F. Spitz, J. Kaiser, M. Hovorakova, T. Zikmund, K. Sunadome, M.P. Matise, H. Wang, U. Marklund, H. Abdo, P. Ernfors, P. Maire, M. Wurmser, A.S. Chagin, K. Fried, I. Adameyko, ELife 7 (2018).","ieee":"M. Kaucka <i>et al.</i>, “Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage,” <i>eLife</i>, vol. 7. eLife Sciences Publications, 2018.","ama":"Kaucka M, Petersen J, Tesarova M, et al. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. <i>eLife</i>. 2018;7. doi:<a href=\"https://doi.org/10.7554/eLife.34465\">10.7554/eLife.34465</a>","chicago":"Kaucka, Marketa, Julian Petersen, Marketa Tesarova, Bara Szarowska, Maria Kastriti, Meng Xie, Anna Kicheva, et al. “Signals from the Brain and Olfactory Epithelium Control Shaping of the Mammalian Nasal Capsule Cartilage.” <i>ELife</i>. eLife Sciences Publications, 2018. <a href=\"https://doi.org/10.7554/eLife.34465\">https://doi.org/10.7554/eLife.34465</a>.","mla":"Kaucka, Marketa, et al. “Signals from the Brain and Olfactory Epithelium Control Shaping of the Mammalian Nasal Capsule Cartilage.” <i>ELife</i>, vol. 7, e34465, eLife Sciences Publications, 2018, doi:<a href=\"https://doi.org/10.7554/eLife.34465\">10.7554/eLife.34465</a>.","ista":"Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti M, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 7, e34465."},"date_created":"2018-12-11T11:44:57Z","ec_funded":1,"article_number":"e34465","related_material":{"record":[{"status":"public","relation":"research_data","id":"9838"}]},"file_date_updated":"2020-07-14T12:45:07Z","_id":"162","doi":"10.7554/eLife.34465","author":[{"first_name":"Marketa","full_name":"Kaucka, Marketa","last_name":"Kaucka"},{"last_name":"Petersen","full_name":"Petersen, Julian","first_name":"Julian"},{"full_name":"Tesarova, Marketa","first_name":"Marketa","last_name":"Tesarova"},{"full_name":"Szarowska, Bara","first_name":"Bara","last_name":"Szarowska"},{"full_name":"Kastriti, Maria","first_name":"Maria","last_name":"Kastriti"},{"last_name":"Xie","first_name":"Meng","full_name":"Xie, Meng"},{"orcid":"0000-0003-4509-4998","id":"3959A2A0-F248-11E8-B48F-1D18A9856A87","last_name":"Kicheva","first_name":"Anna","full_name":"Kicheva, Anna"},{"full_name":"Annusver, Karl","first_name":"Karl","last_name":"Annusver"},{"first_name":"Maria","full_name":"Kasper, Maria","last_name":"Kasper"},{"last_name":"Symmons","full_name":"Symmons, Orsolya","first_name":"Orsolya"},{"last_name":"Pan","first_name":"Leslie","full_name":"Pan, Leslie"},{"first_name":"Francois","full_name":"Spitz, Francois","last_name":"Spitz"},{"first_name":"Jozef","full_name":"Kaiser, Jozef","last_name":"Kaiser"},{"last_name":"Hovorakova","first_name":"Maria","full_name":"Hovorakova, Maria"},{"full_name":"Zikmund, Tomas","first_name":"Tomas","last_name":"Zikmund"},{"first_name":"Kazunori","full_name":"Sunadome, Kazunori","last_name":"Sunadome"},{"last_name":"Matise","first_name":"Michael P","full_name":"Matise, Michael P"},{"first_name":"Hui","full_name":"Wang, Hui","last_name":"Wang"},{"last_name":"Marklund","full_name":"Marklund, Ulrika","first_name":"Ulrika"},{"first_name":"Hind","full_name":"Abdo, Hind","last_name":"Abdo"},{"full_name":"Ernfors, Patrik","first_name":"Patrik","last_name":"Ernfors"},{"first_name":"Pascal","full_name":"Maire, Pascal","last_name":"Maire"},{"last_name":"Wurmser","full_name":"Wurmser, Maud","first_name":"Maud"},{"last_name":"Chagin","full_name":"Chagin, Andrei S","first_name":"Andrei S"},{"full_name":"Fried, Kaj","first_name":"Kaj","last_name":"Fried"},{"first_name":"Igor","full_name":"Adameyko, Igor","last_name":"Adameyko"}],"month":"06","day":"13","oa_version":"Published Version","file":[{"creator":"dernst","access_level":"open_access","content_type":"application/pdf","relation":"main_file","file_size":9816484,"checksum":"da2378cdcf6b5461dcde194e4d608343","file_name":"2018_eLife_Kaucka.pdf","file_id":"5727","date_created":"2018-12-17T16:41:58Z","date_updated":"2020-07-14T12:45:07Z"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","type":"journal_article","oa":1,"date_updated":"2023-09-18T09:29:07Z","article_processing_charge":"No","title":"Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage","isi":1,"has_accepted_license":"1","intvolume":"         7","scopus_import":"1","language":[{"iso":"eng"}],"publication":"eLife"},{"publication_status":"published","abstract":[{"lang":"eng","text":"For ultrafast fixation of biological samples to avoid artifacts, high-pressure freezing (HPF) followed by freeze substitution (FS) is preferred over chemical fixation at room temperature. After HPF, samples are maintained at low temperature during dehydration and fixation, while avoiding damaging recrystallization. This is a notoriously slow process. McDonald and Webb demonstrated, in 2011, that sample agitation during FS dramatically reduces the necessary time. Then, in 2015, we (H.G. and S.R.) introduced an agitation module into the cryochamber of an automated FS unit and demonstrated that the preparation of algae could be shortened from days to a couple of hours. We argued that variability in the processing, reproducibility, and safety issues are better addressed using automated FS units. For dissemination, we started low-cost manufacturing of agitation modules for two of the most widely used FS units, the Automatic Freeze Substitution Systems, AFS(1) and AFS2, from Leica Microsystems, using three dimensional (3D)-printing of the major components. To test them, several labs independently used the modules on a wide variety of specimens that had previously been processed by manual agitation, or without agitation. We demonstrate that automated processing with sample agitation saves time, increases flexibility with respect to sample requirements and protocols, and produces data of at least as good quality as other approaches."}],"external_id":{"pmid":["29969056"],"isi":["000452277700005"]},"date_published":"2018-12-01T00:00:00Z","publisher":"SAGE Publications","quality_controlled":"1","volume":66,"page":"903-921","department":[{"_id":"RySh"},{"_id":"EM-Fac"}],"year":"2018","date_created":"2018-12-11T11:44:57Z","citation":{"chicago":"Reipert, Siegfried, Helmuth Goldammer, Christine Richardson, Martin Goldberg, Timothy Hawkins, Elena Saeckl, Walter Kaufmann, Sebastian Antreich, and York Stierhof. “Agitation Modules: Flexible Means to Accelerate Automated Freeze Substitution.” <i>Journal of Histochemistry and Cytochemistry</i>. SAGE Publications, 2018. <a href=\"https://doi.org/10.1369/0022155418786698\">https://doi.org/10.1369/0022155418786698</a>.","ista":"Reipert S, Goldammer H, Richardson C, Goldberg M, Hawkins T, Saeckl E, Kaufmann W, Antreich S, Stierhof Y. 2018. Agitation modules: Flexible means to accelerate automated freeze substitution. Journal of Histochemistry and Cytochemistry. 66(12), 903–921.","mla":"Reipert, Siegfried, et al. “Agitation Modules: Flexible Means to Accelerate Automated Freeze Substitution.” <i>Journal of Histochemistry and Cytochemistry</i>, vol. 66, no. 12, SAGE Publications, 2018, pp. 903–21, doi:<a href=\"https://doi.org/10.1369/0022155418786698\">10.1369/0022155418786698</a>.","short":"S. Reipert, H. Goldammer, C. Richardson, M. Goldberg, T. Hawkins, E. Saeckl, W. Kaufmann, S. Antreich, Y. Stierhof, Journal of Histochemistry and Cytochemistry 66 (2018) 903–921.","ieee":"S. Reipert <i>et al.</i>, “Agitation modules: Flexible means to accelerate automated freeze substitution,” <i>Journal of Histochemistry and Cytochemistry</i>, vol. 66, no. 12. SAGE Publications, pp. 903–921, 2018.","ama":"Reipert S, Goldammer H, Richardson C, et al. Agitation modules: Flexible means to accelerate automated freeze substitution. <i>Journal of Histochemistry and Cytochemistry</i>. 2018;66(12):903-921. doi:<a href=\"https://doi.org/10.1369/0022155418786698\">10.1369/0022155418786698</a>","apa":"Reipert, S., Goldammer, H., Richardson, C., Goldberg, M., Hawkins, T., Saeckl, E., … Stierhof, Y. (2018). Agitation modules: Flexible means to accelerate automated freeze substitution. <i>Journal of Histochemistry and Cytochemistry</i>. SAGE Publications. <a href=\"https://doi.org/10.1369/0022155418786698\">https://doi.org/10.1369/0022155418786698</a>"},"_id":"163","article_type":"original","doi":"10.1369/0022155418786698","author":[{"last_name":"Reipert","full_name":"Reipert, Siegfried","first_name":"Siegfried"},{"last_name":"Goldammer","full_name":"Goldammer, Helmuth","first_name":"Helmuth"},{"last_name":"Richardson","full_name":"Richardson, Christine","first_name":"Christine"},{"full_name":"Goldberg, Martin","first_name":"Martin","last_name":"Goldberg"},{"last_name":"Hawkins","full_name":"Hawkins, Timothy","first_name":"Timothy"},{"last_name":"Hollergschwandtner","id":"3C054040-F248-11E8-B48F-1D18A9856A87","full_name":"Hollergschwandtner, Elena","first_name":"Elena"},{"full_name":"Kaufmann, Walter","first_name":"Walter","id":"3F99E422-F248-11E8-B48F-1D18A9856A87","last_name":"Kaufmann","orcid":"0000-0001-9735-5315"},{"full_name":"Antreich, Sebastian","first_name":"Sebastian","last_name":"Antreich"},{"full_name":"Stierhof, York","first_name":"York","last_name":"Stierhof"}],"month":"12","publication_identifier":{"issn":["0022-1554"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1369/0022155418786698"}],"oa_version":"Published Version","type":"journal_article","status":"public","pmid":1,"article_processing_charge":"No","issue":"12","date_updated":"2023-10-17T08:42:24Z","oa":1,"title":"Agitation modules: Flexible means to accelerate automated freeze substitution","isi":1,"intvolume":"        66","scopus_import":"1","language":[{"iso":"eng"}],"publication":"Journal of Histochemistry and Cytochemistry"},{"author":[{"id":"2A2006B2-F248-11E8-B48F-1D18A9856A87","last_name":"Varshney","orcid":"0000-0002-3072-5999","first_name":"Atul","full_name":"Varshney, Atul"},{"full_name":"Steinberg, Victor","first_name":"Victor","last_name":"Steinberg"}],"month":"10","file":[{"creator":"system","access_level":"open_access","file_size":1409040,"relation":"main_file","content_type":"application/pdf","checksum":"e1445be33e8165114e96246275600750","file_id":"4800","file_name":"IST-2018-1061-v1+1_PhysRevFluids.3.103302.pdf","date_updated":"2020-07-14T12:45:12Z","date_created":"2018-12-12T10:10:14Z"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Published Version","day":"15","type":"journal_article","status":"public","issue":"10","article_processing_charge":"No","oa":1,"date_updated":"2023-09-11T12:59:28Z","pubrep_id":"1061","title":"Drag enhancement and drag reduction in viscoelastic flow","isi":1,"scopus_import":"1","intvolume":"         3","has_accepted_license":"1","language":[{"iso":"eng"}],"publication":"Physical Review Fluids","publication_status":"published","ddc":["532"],"abstract":[{"lang":"eng","text":"Creeping flow of polymeric fluid without inertia exhibits elastic instabilities and elastic turbulence accompanied by drag enhancement due to elastic stress produced by flow-stretched polymers. However, in inertia-dominated flow at high Re and low fluid elasticity El, a reduction in turbulent frictional drag is caused by an intricate competition between inertial and elastic stresses. Here we explore the effect of inertia on the stability of viscoelastic flow in a broad range of control parameters El and (Re,Wi). We present the stability diagram of observed flow regimes in Wi-Re coordinates and find that the instabilities' onsets show an unexpectedly nonmonotonic dependence on El. Further, three distinct regions in the diagram are identified based on El. Strikingly, for high-elasticity fluids we discover a complete relaminarization of flow at Reynolds number in the range of 1 to 10, different from a well-known turbulent drag reduction. These counterintuitive effects may be explained by a finite polymer extensibility and a suppression of vorticity at high Wi. Our results call for further theoretical and numerical development to uncover the role of inertial effect on elastic turbulence in a viscoelastic flow."}],"external_id":{"isi":["000447311500001"]},"project":[{"name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"date_published":"2018-10-15T00:00:00Z","publisher":"American Physical Society","volume":3,"quality_controlled":"1","department":[{"_id":"BjHo"}],"year":"2018","publist_id":"8038","date_created":"2018-12-11T11:44:11Z","citation":{"apa":"Varshney, A., &#38; Steinberg, V. (2018). Drag enhancement and drag reduction in viscoelastic flow. <i>Physical Review Fluids</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevFluids.3.103302\">https://doi.org/10.1103/PhysRevFluids.3.103302</a>","short":"A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).","ieee":"A. Varshney and V. Steinberg, “Drag enhancement and drag reduction in viscoelastic flow,” <i>Physical Review Fluids</i>, vol. 3, no. 10. American Physical Society, 2018.","ama":"Varshney A, Steinberg V. Drag enhancement and drag reduction in viscoelastic flow. <i>Physical Review Fluids</i>. 2018;3(10). doi:<a href=\"https://doi.org/10.1103/PhysRevFluids.3.103302\">10.1103/PhysRevFluids.3.103302</a>","ista":"Varshney A, Steinberg V. 2018. Drag enhancement and drag reduction in viscoelastic flow. Physical Review Fluids. 3(10), 103302.","chicago":"Varshney, Atul, and Victor Steinberg. “Drag Enhancement and Drag Reduction in Viscoelastic Flow.” <i>Physical Review Fluids</i>. American Physical Society, 2018. <a href=\"https://doi.org/10.1103/PhysRevFluids.3.103302\">https://doi.org/10.1103/PhysRevFluids.3.103302</a>.","mla":"Varshney, Atul, and Victor Steinberg. “Drag Enhancement and Drag Reduction in Viscoelastic Flow.” <i>Physical Review Fluids</i>, vol. 3, no. 10, 103302, American Physical Society, 2018, doi:<a href=\"https://doi.org/10.1103/PhysRevFluids.3.103302\">10.1103/PhysRevFluids.3.103302</a>."},"article_number":"103302 ","ec_funded":1,"_id":"17","file_date_updated":"2020-07-14T12:45:12Z","doi":"10.1103/PhysRevFluids.3.103302"},{"author":[{"full_name":"Browning, Timothy D","first_name":"Timothy D","orcid":"0000-0002-8314-0177","last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87"}],"publication_status":"published","conference":{"name":"Algebraic Geometry","start_date":"2015-07-06","location":"Salt Lake City, Utah, USA","end_date":"2015-07-10"},"month":"01","day":"01","oa_version":"None","abstract":[{"lang":"eng","text":"We survey recent efforts to quantify failures of the Hasse principle in families of rationally connected varieties."}],"user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","alternative_title":["Proceedings of Symposia in Pure Mathematics"],"publisher":"American Mathematical Society","status":"public","date_published":"2018-01-01T00:00:00Z","type":"conference","extern":"1","page":"89 - 102","quality_controlled":"1","volume":97,"date_updated":"2021-01-12T06:52:54Z","issue":"2","article_processing_charge":"No","year":"2018","citation":{"chicago":"Browning, Timothy D. “How Often Does the Hasse Principle Hold?,” 97:89–102. American Mathematical Society, 2018. <a href=\"https://doi.org/10.1090/pspum/097.2/01700\">https://doi.org/10.1090/pspum/097.2/01700</a>.","ista":"Browning TD. 2018. How often does the Hasse principle hold? Algebraic Geometry, Proceedings of Symposia in Pure Mathematics, vol. 97, 89–102.","mla":"Browning, Timothy D. <i>How Often Does the Hasse Principle Hold?</i> Vol. 97, no. 2, American Mathematical Society, 2018, pp. 89–102, doi:<a href=\"https://doi.org/10.1090/pspum/097.2/01700\">10.1090/pspum/097.2/01700</a>.","short":"T.D. Browning, in:, American Mathematical Society, 2018, pp. 89–102.","ama":"Browning TD. How often does the Hasse principle hold? In: Vol 97. American Mathematical Society; 2018:89-102. doi:<a href=\"https://doi.org/10.1090/pspum/097.2/01700\">10.1090/pspum/097.2/01700</a>","ieee":"T. D. Browning, “How often does the Hasse principle hold?,” presented at the Algebraic Geometry, Salt Lake City, Utah, USA, 2018, vol. 97, no. 2, pp. 89–102.","apa":"Browning, T. D. (2018). How often does the Hasse principle hold? (Vol. 97, pp. 89–102). Presented at the Algebraic Geometry, Salt Lake City, Utah, USA: American Mathematical Society. <a href=\"https://doi.org/10.1090/pspum/097.2/01700\">https://doi.org/10.1090/pspum/097.2/01700</a>"},"date_created":"2018-12-11T11:45:01Z","title":"How often does the Hasse principle hold?","intvolume":"        97","_id":"174","language":[{"iso":"eng"}],"doi":"10.1090/pspum/097.2/01700"},{"publication_status":"published","external_id":{"arxiv":["1706.04331"]},"abstract":[{"lang":"eng","text":"For a general class of non-negative functions defined on integral ideals of number fields, upper bounds are established for their average over the values of certain principal ideals that are associated to irreducible binary forms with integer coefficients."}],"publisher":"World Scientific Publishing","date_published":"2018-11-16T00:00:00Z","page":"547-567","extern":"1","volume":15,"year":"2018","citation":{"ieee":"T. D. Browning and E. Sofos, “Averages of arithmetic functions over principal ideals,” <i>International Journal of Nuber Theory</i>, vol. 15, no. 3. World Scientific Publishing, pp. 547–567, 2018.","ama":"Browning TD, Sofos E. Averages of arithmetic functions over principal ideals. <i>International Journal of Nuber Theory</i>. 2018;15(3):547-567. doi:<a href=\"https://doi.org/10.1142/S1793042119500283\">10.1142/S1793042119500283</a>","short":"T.D. Browning, E. Sofos, International Journal of Nuber Theory 15 (2018) 547–567.","mla":"Browning, Timothy D., and Efthymios Sofos. “Averages of Arithmetic Functions over Principal Ideals.” <i>International Journal of Nuber Theory</i>, vol. 15, no. 3, World Scientific Publishing, 2018, pp. 547–67, doi:<a href=\"https://doi.org/10.1142/S1793042119500283\">10.1142/S1793042119500283</a>.","ista":"Browning TD, Sofos E. 2018. Averages of arithmetic functions over principal ideals. International Journal of Nuber Theory. 15(3), 547–567.","chicago":"Browning, Timothy D, and Efthymios Sofos. “Averages of Arithmetic Functions over Principal Ideals.” <i>International Journal of Nuber Theory</i>. World Scientific Publishing, 2018. <a href=\"https://doi.org/10.1142/S1793042119500283\">https://doi.org/10.1142/S1793042119500283</a>.","apa":"Browning, T. D., &#38; Sofos, E. (2018). Averages of arithmetic functions over principal ideals. <i>International Journal of Nuber Theory</i>. World Scientific Publishing. <a href=\"https://doi.org/10.1142/S1793042119500283\">https://doi.org/10.1142/S1793042119500283</a>"},"date_created":"2018-12-11T11:45:01Z","_id":"176","article_type":"original","doi":"10.1142/S1793042119500283","author":[{"first_name":"Timothy D","full_name":"Browning, Timothy D","orcid":"0000-0002-8314-0177","last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Sofos","first_name":"Efthymios","full_name":"Sofos, Efthymios"}],"arxiv":1,"month":"11","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1706.04331"}],"day":"16","oa_version":"Preprint","user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","status":"public","type":"journal_article","date_updated":"2021-01-12T06:53:01Z","oa":1,"issue":"3","article_processing_charge":"No","title":"Averages of arithmetic functions over principal ideals","intvolume":"        15","language":[{"iso":"eng"}],"publication":"International Journal of Nuber Theory"},{"_id":"178","doi":"10.19086/da.4375","year":"2018","citation":{"apa":"Browning, T. D., &#38; Heath-Brown, R. (2018). Counting rational points on quadric surfaces. <i>Discrete Analysis</i>. Alliance of Diamond Open Access Journals. <a href=\"https://doi.org/10.19086/da.4375\">https://doi.org/10.19086/da.4375</a>","ieee":"T. D. Browning and R. Heath-Brown, “Counting rational points on quadric surfaces,” <i>Discrete Analysis</i>, vol. 15. Alliance of Diamond Open Access Journals, pp. 1–29, 2018.","ama":"Browning TD, Heath-Brown R. Counting rational points on quadric surfaces. <i>Discrete Analysis</i>. 2018;15:1-29. doi:<a href=\"https://doi.org/10.19086/da.4375\">10.19086/da.4375</a>","short":"T.D. Browning, R. Heath-Brown, Discrete Analysis 15 (2018) 1–29.","mla":"Browning, Timothy D., and Roger Heath-Brown. “Counting Rational Points on Quadric Surfaces.” <i>Discrete Analysis</i>, vol. 15, Alliance of Diamond Open Access Journals, 2018, pp. 1–29, doi:<a href=\"https://doi.org/10.19086/da.4375\">10.19086/da.4375</a>.","chicago":"Browning, Timothy D, and Roger Heath-Brown. “Counting Rational Points on Quadric Surfaces.” <i>Discrete Analysis</i>. Alliance of Diamond Open Access Journals, 2018. <a href=\"https://doi.org/10.19086/da.4375\">https://doi.org/10.19086/da.4375</a>.","ista":"Browning TD, Heath-Brown R. 2018. Counting rational points on quadric surfaces. Discrete Analysis. 15, 1–29."},"date_created":"2018-12-11T11:45:02Z","publisher":"Alliance of Diamond Open Access Journals","date_published":"2018-09-07T00:00:00Z","page":"1 - 29","extern":"1","quality_controlled":"1","volume":15,"publication_status":"published","ddc":["512"],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"external_id":{"arxiv":["1801.00979"]},"abstract":[{"lang":"eng","text":"We give an upper bound for the number of rational points of height at most B, lying on a surface defined by a quadratic form Q. The bound shows an explicit dependence on Q. It is optimal with respect to B, and is also optimal for typical forms Q."}],"language":[{"iso":"eng"}],"publication":"Discrete Analysis","oa":1,"date_updated":"2022-08-26T09:13:02Z","article_processing_charge":"No","title":"Counting rational points on quadric surfaces","intvolume":"        15","status":"public","type":"journal_article","author":[{"full_name":"Browning, Timothy D","first_name":"Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","last_name":"Browning","orcid":"0000-0002-8314-0177"},{"last_name":"Heath-Brown","first_name":"Roger","full_name":"Heath-Brown, Roger"}],"arxiv":1,"publication_identifier":{"eissn":["2397-3129"]},"month":"09","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1801.00979"}],"day":"07","oa_version":"Preprint","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87"},{"status":"public","type":"journal_article","arxiv":1,"author":[{"full_name":"Kolmogorov, Vladimir","first_name":"Vladimir","last_name":"Kolmogorov","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87"},{"id":"3CB3BC06-F248-11E8-B48F-1D18A9856A87","last_name":"Rolinek","full_name":"Rolinek, Michal","first_name":"Michal"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"01","main_file_link":[{"url":"https://arxiv.org/abs/1405.7828","open_access":"1"}],"oa_version":"Preprint","month":"10","publication_identifier":{"issn":["0381-7032"]},"language":[{"iso":"eng"}],"publication":"Ars Combinatoria","title":"Superconcentrators of density 25.3","article_processing_charge":"No","issue":"10","oa":1,"date_updated":"2023-09-19T14:46:18Z","scopus_import":"1","intvolume":"       141","isi":1,"quality_controlled":"1","volume":141,"page":"269 - 304","department":[{"_id":"VlKo"}],"date_published":"2018-10-01T00:00:00Z","publisher":"Charles Babbage Research Centre","publication_status":"published","abstract":[{"lang":"eng","text":"An N-superconcentrator is a directed, acyclic graph with N input nodes and N output nodes such that every subset of the inputs and every subset of the outputs of same cardinality can be connected by node-disjoint paths. It is known that linear-size and bounded-degree superconcentrators exist. We prove the existence of such superconcentrators with asymptotic density 25.3 (where the density is the number of edges divided by N). The previously best known densities were 28 [12] and 27.4136 [17]."}],"external_id":{"arxiv":["1405.7828"],"isi":["000446809500022"]},"_id":"18","citation":{"apa":"Kolmogorov, V., &#38; Rolinek, M. (2018). Superconcentrators of density 25.3. <i>Ars Combinatoria</i>. Charles Babbage Research Centre.","short":"V. Kolmogorov, M. Rolinek, Ars Combinatoria 141 (2018) 269–304.","ama":"Kolmogorov V, Rolinek M. Superconcentrators of density 25.3. <i>Ars Combinatoria</i>. 2018;141(10):269-304.","ieee":"V. Kolmogorov and M. Rolinek, “Superconcentrators of density 25.3,” <i>Ars Combinatoria</i>, vol. 141, no. 10. Charles Babbage Research Centre, pp. 269–304, 2018.","chicago":"Kolmogorov, Vladimir, and Michal Rolinek. “Superconcentrators of Density 25.3.” <i>Ars Combinatoria</i>. Charles Babbage Research Centre, 2018.","mla":"Kolmogorov, Vladimir, and Michal Rolinek. “Superconcentrators of Density 25.3.” <i>Ars Combinatoria</i>, vol. 141, no. 10, Charles Babbage Research Centre, 2018, pp. 269–304.","ista":"Kolmogorov V, Rolinek M. 2018. Superconcentrators of density 25.3. Ars Combinatoria. 141(10), 269–304."},"publist_id":"8037","date_created":"2018-12-11T11:44:11Z","year":"2018"},{"file_date_updated":"2020-07-14T12:45:16Z","_id":"180","article_type":"original","doi":"10.5802/jep.64","acknowledgement":"This project has received funding from the European Research Council (ERC) under the European\r\nUnion’s Horizon 2020 research and innovation programme (grant agreement 694227 for R.S. and MDFT 725528 for M.L.). Financial support by the Austrian Science Fund (FWF), project No P 27533-N27 (R.S.) and by the US National Science Foundation, grant No PHY12-1265118 (E.H.L.) are gratefully acknowledged.","year":"2018","citation":{"ieee":"M. Lewi, É. Lieb, and R. Seiringer, “Statistical mechanics of the uniform electron gas,” <i>Journal de l’Ecole Polytechnique - Mathematiques</i>, vol. 5. Ecole Polytechnique, pp. 79–116, 2018.","ama":"Lewi M, Lieb É, Seiringer R. Statistical mechanics of the uniform electron gas. <i>Journal de l’Ecole Polytechnique - Mathematiques</i>. 2018;5:79-116. doi:<a href=\"https://doi.org/10.5802/jep.64\">10.5802/jep.64</a>","short":"M. Lewi, É. Lieb, R. Seiringer, Journal de l’Ecole Polytechnique - Mathematiques 5 (2018) 79–116.","mla":"Lewi, Mathieu, et al. “Statistical Mechanics of the Uniform Electron Gas.” <i>Journal de l’Ecole Polytechnique - Mathematiques</i>, vol. 5, Ecole Polytechnique, 2018, pp. 79–116, doi:<a href=\"https://doi.org/10.5802/jep.64\">10.5802/jep.64</a>.","chicago":"Lewi, Mathieu, Élliott Lieb, and Robert Seiringer. “Statistical Mechanics of the Uniform Electron Gas.” <i>Journal de l’Ecole Polytechnique - Mathematiques</i>. Ecole Polytechnique, 2018. <a href=\"https://doi.org/10.5802/jep.64\">https://doi.org/10.5802/jep.64</a>.","ista":"Lewi M, Lieb É, Seiringer R. 2018. Statistical mechanics of the uniform electron gas. Journal de l’Ecole Polytechnique - Mathematiques. 5, 79–116.","apa":"Lewi, M., Lieb, É., &#38; Seiringer, R. (2018). Statistical mechanics of the uniform electron gas. <i>Journal de l’Ecole Polytechnique - Mathematiques</i>. Ecole Polytechnique. <a href=\"https://doi.org/10.5802/jep.64\">https://doi.org/10.5802/jep.64</a>"},"publist_id":"7741","date_created":"2018-12-11T11:45:03Z","ec_funded":1,"project":[{"grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","name":"Analysis of quantum many-body systems","call_identifier":"H2020"},{"_id":"25C878CE-B435-11E9-9278-68D0E5697425","grant_number":"P27533_N27","name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems","call_identifier":"FWF"}],"publisher":"Ecole Polytechnique","license":"https://creativecommons.org/licenses/by-nd/4.0/","date_published":"2018-07-01T00:00:00Z","page":"79 - 116","department":[{"_id":"RoSe"}],"quality_controlled":"1","volume":5,"publication_status":"published","ddc":["510"],"tmp":{"image":"/image/cc_by_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)","short":"CC BY-ND (4.0)"},"external_id":{"arxiv":["1705.10676"]},"abstract":[{"text":"In this paper we define and study the classical Uniform Electron Gas (UEG), a system of infinitely many electrons whose density is constant everywhere in space. The UEG is defined differently from Jellium, which has a positive constant background but no constraint on the density. We prove that the UEG arises in Density Functional Theory in the limit of a slowly varying density, minimizing the indirect Coulomb energy. We also construct the quantum UEG and compare it to the classical UEG at low density.","lang":"eng"}],"language":[{"iso":"eng"}],"publication":"Journal de l'Ecole Polytechnique - Mathematiques","oa":1,"date_updated":"2023-10-17T08:05:28Z","article_processing_charge":"No","title":"Statistical mechanics of the uniform electron gas","has_accepted_license":"1","intvolume":"         5","scopus_import":"1","status":"public","type":"journal_article","author":[{"last_name":"Lewi","full_name":"Lewi, Mathieu","first_name":"Mathieu"},{"last_name":"Lieb","full_name":"Lieb, Élliott","first_name":"Élliott"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","orcid":"0000-0002-6781-0521","first_name":"Robert","full_name":"Seiringer, Robert"}],"arxiv":1,"month":"07","publication_identifier":{"issn":["2429-7100"],"eissn":["2270-518X"]},"day":"01","oa_version":"Published Version","file":[{"checksum":"1ba7cccdf3900f42c4f715ae75d6813c","file_name":"2018_JournaldeLecoleMath_Lewi.pdf","file_id":"5726","date_updated":"2020-07-14T12:45:16Z","date_created":"2018-12-17T16:38:18Z","creator":"dernst","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_size":843938}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"language":[{"iso":"eng"}],"publication":"SIAM Journal on Mathematical Analysis","title":"Power law decay for systems of randomly coupled differential equations","oa":1,"date_updated":"2023-09-15T12:05:52Z","article_processing_charge":"No","issue":"3","scopus_import":"1","intvolume":"        50","isi":1,"type":"journal_article","status":"public","author":[{"orcid":"0000-0001-5366-9603","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","full_name":"Erdös, László"},{"full_name":"Krüger, Torben H","first_name":"Torben H","last_name":"Krüger","id":"3020C786-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4821-3297"},{"first_name":"David T","full_name":"Renfrew, David T","orcid":"0000-0003-3493-121X","id":"4845BF6A-F248-11E8-B48F-1D18A9856A87","last_name":"Renfrew"}],"arxiv":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1708.01546"}],"day":"01","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"01","_id":"181","doi":"10.1137/17M1143125","citation":{"ista":"Erdös L, Krüger TH, Renfrew DT. 2018. Power law decay for systems of randomly coupled differential equations. SIAM Journal on Mathematical Analysis. 50(3), 3271–3290.","mla":"Erdös, László, et al. “Power Law Decay for Systems of Randomly Coupled Differential Equations.” <i>SIAM Journal on Mathematical Analysis</i>, vol. 50, no. 3, Society for Industrial and Applied Mathematics , 2018, pp. 3271–90, doi:<a href=\"https://doi.org/10.1137/17M1143125\">10.1137/17M1143125</a>.","chicago":"Erdös, László, Torben H Krüger, and David T Renfrew. “Power Law Decay for Systems of Randomly Coupled Differential Equations.” <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics , 2018. <a href=\"https://doi.org/10.1137/17M1143125\">https://doi.org/10.1137/17M1143125</a>.","ama":"Erdös L, Krüger TH, Renfrew DT. Power law decay for systems of randomly coupled differential equations. <i>SIAM Journal on Mathematical Analysis</i>. 2018;50(3):3271-3290. doi:<a href=\"https://doi.org/10.1137/17M1143125\">10.1137/17M1143125</a>","ieee":"L. Erdös, T. H. Krüger, and D. T. Renfrew, “Power law decay for systems of randomly coupled differential equations,” <i>SIAM Journal on Mathematical Analysis</i>, vol. 50, no. 3. Society for Industrial and Applied Mathematics , pp. 3271–3290, 2018.","short":"L. Erdös, T.H. Krüger, D.T. Renfrew, SIAM Journal on Mathematical Analysis 50 (2018) 3271–3290.","apa":"Erdös, L., Krüger, T. H., &#38; Renfrew, D. T. (2018). Power law decay for systems of randomly coupled differential equations. <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics . <a href=\"https://doi.org/10.1137/17M1143125\">https://doi.org/10.1137/17M1143125</a>"},"date_created":"2018-12-11T11:45:03Z","publist_id":"7740","acknowledgement":"The work of the second author was also partially supported by the Hausdorff Center of Mathematics.","year":"2018","ec_funded":1,"project":[{"_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804","call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems"},{"grant_number":"M02080","_id":"258F40A4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Structured Non-Hermitian Random Matrices"}],"department":[{"_id":"LaEr"}],"page":"3271 - 3290","quality_controlled":"1","volume":50,"publisher":"Society for Industrial and Applied Mathematics ","date_published":"2018-01-01T00:00:00Z","publication_status":"published","external_id":{"isi":["000437018500032"],"arxiv":["1708.01546"]},"abstract":[{"text":"We consider large random matrices X with centered, independent entries but possibly di erent variances. We compute the normalized trace of f(X)g(X∗) for f, g functions analytic on the spectrum of X. We use these results to compute the long time asymptotics for systems of coupled di erential equations with random coe cients. We show that when the coupling is critical, the norm squared of the solution decays like t−1/2.","lang":"eng"}]},{"language":[{"iso":"eng"}],"publication":"Proceedings of the 21st International Conference on Hybrid Systems","date_updated":"2023-09-11T13:30:51Z","oa":1,"article_processing_charge":"No","title":"Efficient parametric identification for STL","isi":1,"has_accepted_license":"1","scopus_import":"1","alternative_title":["HSCC Proceedings"],"status":"public","type":"conference","author":[{"last_name":"Bakhirkin","first_name":"Alexey","full_name":"Bakhirkin, Alexey"},{"full_name":"Ferrere, Thomas","first_name":"Thomas","orcid":"0000-0001-5199-3143","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere"},{"last_name":"Maler","full_name":"Maler, Oded","first_name":"Oded"}],"conference":{"name":"HSCC: Hybrid Systems: Computation and Control","start_date":"2018-04-11","location":"Porto, Portugal","end_date":"2018-04-13"},"month":"04","publication_identifier":{"isbn":["978-1-4503-5642-8 "]},"oa_version":"Submitted Version","day":"11","file":[{"creator":"dernst","relation":"main_file","file_size":5900421,"content_type":"application/pdf","access_level":"open_access","file_id":"7833","checksum":"81eabc96430e84336ea88310ac0a1ad0","file_name":"2018_HSCC_Bakhirkin.pdf","date_updated":"2020-07-14T12:45:17Z","date_created":"2020-05-14T12:18:29Z"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file_date_updated":"2020-07-14T12:45:17Z","_id":"182","doi":"10.1145/3178126.3178132","year":"2018","citation":{"ieee":"A. Bakhirkin, T. Ferrere, and O. Maler, “Efficient parametric identification for STL,” in <i>Proceedings of the 21st International Conference on Hybrid Systems</i>, Porto, Portugal, 2018, pp. 177–186.","ama":"Bakhirkin A, Ferrere T, Maler O. Efficient parametric identification for STL. In: <i>Proceedings of the 21st International Conference on Hybrid Systems</i>. ACM; 2018:177-186. doi:<a href=\"https://doi.org/10.1145/3178126.3178132\">10.1145/3178126.3178132</a>","short":"A. Bakhirkin, T. Ferrere, O. Maler, in:, Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–186.","ista":"Bakhirkin A, Ferrere T, Maler O. 2018. Efficient parametric identification for STL. Proceedings of the 21st International Conference on Hybrid Systems. HSCC: Hybrid Systems: Computation and Control, HSCC Proceedings, , 177–186.","chicago":"Bakhirkin, Alexey, Thomas Ferrere, and Oded Maler. “Efficient Parametric Identification for STL.” In <i>Proceedings of the 21st International Conference on Hybrid Systems</i>, 177–86. ACM, 2018. <a href=\"https://doi.org/10.1145/3178126.3178132\">https://doi.org/10.1145/3178126.3178132</a>.","mla":"Bakhirkin, Alexey, et al. “Efficient Parametric Identification for STL.” <i>Proceedings of the 21st International Conference on Hybrid Systems</i>, ACM, 2018, pp. 177–86, doi:<a href=\"https://doi.org/10.1145/3178126.3178132\">10.1145/3178126.3178132</a>.","apa":"Bakhirkin, A., Ferrere, T., &#38; Maler, O. (2018). Efficient parametric identification for STL. In <i>Proceedings of the 21st International Conference on Hybrid Systems</i> (pp. 177–186). Porto, Portugal: ACM. <a href=\"https://doi.org/10.1145/3178126.3178132\">https://doi.org/10.1145/3178126.3178132</a>"},"publist_id":"7739","date_created":"2018-12-11T11:45:04Z","project":[{"call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"publisher":"ACM","date_published":"2018-04-11T00:00:00Z","department":[{"_id":"ToHe"}],"page":"177 - 186","quality_controlled":"1","publication_status":"published","ddc":["000"],"external_id":{"isi":["000474781600020"]},"abstract":[{"text":"We describe a new algorithm for the parametric identification problem for signal temporal logic (STL), stated as follows. Given a densetime real-valued signal w and a parameterized temporal logic formula φ, compute the subset of the parameter space that renders the formula satisfied by the signal. Unlike previous solutions, which were based on search in the parameter space or quantifier elimination, our procedure works recursively on φ and computes the evolution over time of the set of valid parameter assignments. This procedure is similar to that of monitoring or computing the robustness of φ relative to w. Our implementation and experiments demonstrate that this approach can work well in practice.","lang":"eng"}]},{"language":[{"iso":"eng"}],"scopus_import":"1","isi":1,"title":"Localizing faults in simulink/stateflow models with STL","article_processing_charge":"No","date_updated":"2023-09-13T08:48:46Z","status":"public","type":"conference","alternative_title":["HSCC Proceedings"],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"None","day":"11","month":"04","conference":{"name":"HSCC: Hybrid Systems: Computation and Control","start_date":"2018-04-11","location":"Porto, Portugal","end_date":"2018-04-13"},"author":[{"last_name":"Bartocci","first_name":"Ezio","full_name":"Bartocci, Ezio"},{"last_name":"Ferrere","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5199-3143","first_name":"Thomas","full_name":"Ferrere, Thomas"},{"first_name":"Niveditha","full_name":"Manjunath, Niveditha","last_name":"Manjunath"},{"first_name":"Dejan","full_name":"Nickovic, Dejan","last_name":"Nickovic"}],"doi":"10.1145/3178126.3178131","_id":"183","citation":{"ista":"Bartocci E, Ferrere T, Manjunath N, Nickovic D. 2018. Localizing faults in simulink/stateflow models with STL. HSCC: Hybrid Systems: Computation and Control, HSCC Proceedings, , 197–206.","chicago":"Bartocci, Ezio, Thomas Ferrere, Niveditha Manjunath, and Dejan Nickovic. “Localizing Faults in Simulink/Stateflow Models with STL,” 197–206. Association for Computing Machinery, Inc, 2018. <a href=\"https://doi.org/10.1145/3178126.3178131\">https://doi.org/10.1145/3178126.3178131</a>.","mla":"Bartocci, Ezio, et al. <i>Localizing Faults in Simulink/Stateflow Models with STL</i>. Association for Computing Machinery, Inc, 2018, pp. 197–206, doi:<a href=\"https://doi.org/10.1145/3178126.3178131\">10.1145/3178126.3178131</a>.","ieee":"E. Bartocci, T. Ferrere, N. Manjunath, and D. Nickovic, “Localizing faults in simulink/stateflow models with STL,” presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal, 2018, pp. 197–206.","ama":"Bartocci E, Ferrere T, Manjunath N, Nickovic D. Localizing faults in simulink/stateflow models with STL. In: Association for Computing Machinery, Inc; 2018:197-206. doi:<a href=\"https://doi.org/10.1145/3178126.3178131\">10.1145/3178126.3178131</a>","short":"E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, Inc, 2018, pp. 197–206.","apa":"Bartocci, E., Ferrere, T., Manjunath, N., &#38; Nickovic, D. (2018). Localizing faults in simulink/stateflow models with STL (pp. 197–206). Presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal: Association for Computing Machinery, Inc. <a href=\"https://doi.org/10.1145/3178126.3178131\">https://doi.org/10.1145/3178126.3178131</a>"},"date_created":"2018-12-11T11:45:04Z","publist_id":"7738","year":"2018","acknowledgement":"This work was partially supported by the Austrian Science Fund (FWF) under grants S11402-N23 and S11405-N23 (RiSE/SHiNE), the CPS/IoT project (HRSM), the EU ICT COST Action IC1402 on Run-time Verification beyond Monitoring (ARVI), the AMASS project (ECSEL 692474), and the ENABLE-S3 project (ECSEL 692455). The CPS/IoT project receives support from the Austrian government through the Federal Ministry of Science, Research and Economy (BMWFW) in the funding program Hochschulraum-Strukturmittel (HRSM) 2016. The ECSEL Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Denmark, Germany, Finland, Czech Republic, Italy, Spain, Portugal, Poland, Ireland, Belgium, France, Netherlands, United Kingdom, Slovakia, Norway.","quality_controlled":"1","department":[{"_id":"ToHe"}],"page":"197 - 206","date_published":"2018-04-11T00:00:00Z","publisher":"Association for Computing Machinery, Inc","project":[{"name":"Rigorous Systems Engineering","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"}],"abstract":[{"text":"Fault-localization is considered to be a very tedious and time-consuming activity in the design of complex Cyber-Physical Systems (CPS). This laborious task essentially requires expert knowledge of the system in order to discover the cause of the fault. In this context, we propose a new procedure that AIDS designers in debugging Simulink/Stateflow hybrid system models, guided by Signal Temporal Logic (STL) specifications. The proposed method relies on three main ingredients: (1) a monitoring and a trace diagnostics procedure that checks whether a tested behavior satisfies or violates an STL specification, localizes time segments and interfaces variables contributing to the property violations; (2) a slicing procedure that maps these observable behavior segments to the internal states and transitions of the Simulink model; and (3) a spectrum-based fault-localization method that combines the previous analysis from multiple tests to identify the internal states and/or transitions that are the most likely to explain the fault. We demonstrate the applicability of our approach on two Simulink models from the automotive and the avionics domain.","lang":"eng"}],"external_id":{"isi":["000474781600022"]},"publication_status":"published"},{"type":"conference","status":"public","alternative_title":["Leibniz International Proceedings in Information, LIPIcs"],"author":[{"last_name":"Goaoc","first_name":"Xavier","full_name":"Goaoc, Xavier"},{"last_name":"Paták","first_name":"Pavel","full_name":"Paták, Pavel"},{"id":"48B57058-F248-11E8-B48F-1D18A9856A87","last_name":"Patakova","orcid":"0000-0002-3975-1683","full_name":"Patakova, Zuzana","first_name":"Zuzana"},{"id":"38AC689C-F248-11E8-B48F-1D18A9856A87","last_name":"Tancer","orcid":"0000-0002-1191-6714","full_name":"Tancer, Martin","first_name":"Martin"},{"orcid":"0000-0002-1494-0568","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","last_name":"Wagner","first_name":"Uli","full_name":"Wagner, Uli"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"date_created":"2018-12-17T16:35:02Z","date_updated":"2020-07-14T12:45:18Z","file_name":"2018_LIPIcs_Goaoc.pdf","file_id":"5725","checksum":"d12bdd60f04a57307867704b5f930afd","access_level":"open_access","relation":"main_file","file_size":718414,"content_type":"application/pdf","creator":"dernst"}],"oa_version":"Published Version","day":"11","month":"06","conference":{"start_date":"2018-06-11","name":"SoCG: Symposium on Computational Geometry","end_date":"2018-06-14","location":"Budapest, Hungary"},"language":[{"iso":"eng"}],"title":"Shellability is NP-complete","oa":1,"date_updated":"2023-09-06T11:10:57Z","scopus_import":1,"intvolume":"        99","has_accepted_license":"1","volume":99,"quality_controlled":"1","department":[{"_id":"UlWa"}],"page":"41:1 - 41:16","date_published":"2018-06-11T00:00:00Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication_status":"published","abstract":[{"text":"We prove that for every d ≥ 2, deciding if a pure, d-dimensional, simplicial complex is shellable is NP-hard, hence NP-complete. This resolves a question raised, e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every d ≥ 2 and k ≥ 0, deciding if a pure, d-dimensional, simplicial complex is k-decomposable is NP-hard. For d ≥ 3, both problems remain NP-hard when restricted to contractible pure d-dimensional complexes.","lang":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["516","000"],"_id":"184","file_date_updated":"2020-07-14T12:45:18Z","doi":"10.4230/LIPIcs.SoCG.2018.41","citation":{"ama":"Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:41:1-41:16. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.41\">10.4230/LIPIcs.SoCG.2018.41</a>","ieee":"X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Shellability is NP-complete,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99, p. 41:1-41:16.","short":"X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.","mla":"Goaoc, Xavier, et al. <i>Shellability Is NP-Complete</i>. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.41\">10.4230/LIPIcs.SoCG.2018.41</a>.","ista":"Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2018. Shellability is NP-complete. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 41:1-41:16.","chicago":"Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete,” 99:41:1-41:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.41\">https://doi.org/10.4230/LIPIcs.SoCG.2018.41</a>.","apa":"Goaoc, X., Paták, P., Patakova, Z., Tancer, M., &#38; Wagner, U. (2018). Shellability is NP-complete (Vol. 99, p. 41:1-41:16). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.41\">https://doi.org/10.4230/LIPIcs.SoCG.2018.41</a>"},"publist_id":"7736","date_created":"2018-12-11T11:45:04Z","year":"2018","acknowledgement":"Partially supported by the project EMBEDS II (CZ: 7AMB17FR029, FR: 38087RM) of Czech-French collaboration.","related_material":{"record":[{"status":"public","id":"7108","relation":"later_version"}]}},{"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["510"],"abstract":[{"lang":"eng","text":"We resolve in the affirmative conjectures of A. Skopenkov and Repovš (1998), and M. Skopenkov (2003) generalizing the classical Hanani-Tutte theorem to the setting of approximating maps of graphs on 2-dimensional surfaces by embeddings. Our proof of this result is constructive and almost immediately implies an efficient algorithm for testing whether a given piecewise linear map of a graph in a surface is approximable by an embedding. More precisely, an instance of this problem consists of (i) a graph G whose vertices are partitioned into clusters and whose inter-cluster edges are partitioned into bundles, and (ii) a region R of a 2-dimensional compact surface M given as the union of a set of pairwise disjoint discs corresponding to the clusters and a set of pairwise disjoint &quot;pipes&quot; corresponding to the bundles, connecting certain pairs of these discs. We are to decide whether G can be embedded inside M so that the vertices in every cluster are drawn in the corresponding disc, the edges in every bundle pass only through its corresponding pipe, and every edge crosses the boundary of each disc at most once."}],"publication_status":"published","date_published":"2018-01-01T00:00:00Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","quality_controlled":"1","volume":99,"department":[{"_id":"UlWa"}],"project":[{"call_identifier":"FWF","name":"Eliminating intersections in drawings of graphs","grant_number":"M02281","_id":"261FA626-B435-11E9-9278-68D0E5697425"}],"article_number":"39","year":"2018","date_created":"2018-12-11T11:45:04Z","publist_id":"7735","citation":{"ama":"Fulek R, Kynčl J. Hanani-Tutte for approximating maps of graphs. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.39\">10.4230/LIPIcs.SoCG.2018.39</a>","ieee":"R. Fulek and J. Kynčl, “Hanani-Tutte for approximating maps of graphs,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99.","short":"R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.","ista":"Fulek R, Kynčl J. 2018. Hanani-Tutte for approximating maps of graphs. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 39.","mla":"Fulek, Radoslav, and Jan Kynčl. <i>Hanani-Tutte for Approximating Maps of Graphs</i>. Vol. 99, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.39\">10.4230/LIPIcs.SoCG.2018.39</a>.","chicago":"Fulek, Radoslav, and Jan Kynčl. “Hanani-Tutte for Approximating Maps of Graphs,” Vol. 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.39\">https://doi.org/10.4230/LIPIcs.SoCG.2018.39</a>.","apa":"Fulek, R., &#38; Kynčl, J. (2018). Hanani-Tutte for approximating maps of graphs (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.39\">https://doi.org/10.4230/LIPIcs.SoCG.2018.39</a>"},"doi":"10.4230/LIPIcs.SoCG.2018.39","_id":"185","file_date_updated":"2020-07-14T12:45:19Z","month":"01","publication_identifier":{"isbn":["978-3-95977-066-8"]},"conference":{"name":"SoCG: Symposium on Computational Geometry","start_date":"2018-06-11","location":"Budapest, Hungary","end_date":"2018-06-14"},"file":[{"access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_size":718857,"creator":"dernst","date_created":"2018-12-17T12:33:52Z","date_updated":"2020-07-14T12:45:19Z","checksum":"f1b94f1a75b37c414a1f61d59fb2cd4c","file_name":"2018_LIPIcs_Fulek.pdf","file_id":"5701"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","oa_version":"Published Version","author":[{"full_name":"Fulek, Radoslav","first_name":"Radoslav","orcid":"0000-0001-8485-1774","id":"39F3FFE4-F248-11E8-B48F-1D18A9856A87","last_name":"Fulek"},{"full_name":"Kynčl, Jan","first_name":"Jan","last_name":"Kynčl"}],"status":"public","type":"conference","alternative_title":["Leibniz International Proceedings in Information, LIPIcs"],"has_accepted_license":"1","scopus_import":1,"intvolume":"        99","oa":1,"date_updated":"2021-01-12T06:53:36Z","title":"Hanani-Tutte for approximating maps of graphs","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"intvolume":"        99","scopus_import":"1","title":"The ℤ2-Genus of Kuratowski minors","article_processing_charge":"No","date_updated":"2023-08-14T12:43:51Z","oa":1,"status":"public","type":"conference","alternative_title":["LIPIcs"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1803.05085"}],"oa_version":"Submitted Version","day":"11","month":"06","conference":{"start_date":"2018-06-11","name":"SoCG: Symposium on Computational Geometry","end_date":"2018-06-14","location":"Budapest, Hungary"},"arxiv":1,"author":[{"full_name":"Fulek, Radoslav","first_name":"Radoslav","last_name":"Fulek","id":"39F3FFE4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8485-1774"},{"last_name":"Kynčl","full_name":"Kynčl, Jan","first_name":"Jan"}],"doi":"10.4230/LIPIcs.SoCG.2018.40","_id":"186","related_material":{"record":[{"relation":"later_version","id":"11593","status":"public"}]},"date_created":"2018-12-11T11:45:05Z","citation":{"short":"R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14.","ama":"Fulek R, Kynčl J. The ℤ2-Genus of Kuratowski minors. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:40.1-40.14. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.40\">10.4230/LIPIcs.SoCG.2018.40</a>","ieee":"R. Fulek and J. Kynčl, “The ℤ2-Genus of Kuratowski minors,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99, p. 40.1-40.14.","chicago":"Fulek, Radoslav, and Jan Kynčl. “The ℤ2-Genus of Kuratowski Minors,” 99:40.1-40.14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.40\">https://doi.org/10.4230/LIPIcs.SoCG.2018.40</a>.","ista":"Fulek R, Kynčl J. 2018. The ℤ2-Genus of Kuratowski minors. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 40.1-40.14.","mla":"Fulek, Radoslav, and Jan Kynčl. <i>The ℤ2-Genus of Kuratowski Minors</i>. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.40\">10.4230/LIPIcs.SoCG.2018.40</a>.","apa":"Fulek, R., &#38; Kynčl, J. (2018). The ℤ2-Genus of Kuratowski minors (Vol. 99, p. 40.1-40.14). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2018.40\">https://doi.org/10.4230/LIPIcs.SoCG.2018.40</a>"},"publist_id":"7734","year":"2018","quality_controlled":"1","volume":99,"page":"40.1 - 40.14","department":[{"_id":"UlWa"}],"date_published":"2018-06-11T00:00:00Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","project":[{"call_identifier":"FWF","name":"Eliminating intersections in drawings of graphs","_id":"261FA626-B435-11E9-9278-68D0E5697425","grant_number":"M02281"}],"abstract":[{"text":"A drawing of a graph on a surface is independently even if every pair of nonadjacent edges in the drawing crosses an even number of times. The ℤ2-genus of a graph G is the minimum g such that G has an independently even drawing on the orientable surface of genus g. An unpublished result by Robertson and Seymour implies that for every t, every graph of sufficiently large genus contains as a minor a projective t × t grid or one of the following so-called t-Kuratowski graphs: K3, t, or t copies of K5 or K3,3 sharing at most 2 common vertices. We show that the ℤ2-genus of graphs in these families is unbounded in t; in fact, equal to their genus. Together, this implies that the genus of a graph is bounded from above by a function of its ℤ2-genus, solving a problem posed by Schaefer and Štefankovič, and giving an approximate version of the Hanani-Tutte theorem on orientable surfaces.","lang":"eng"}],"external_id":{"arxiv":["1803.05085"]},"publication_status":"published"}]