[{"series_title":"Advances in Anatomy Embryology and Cell Biology","language":[{"iso":"eng"}],"external_id":{"isi":["000443802500011"]},"isi":1,"month":"05","_id":"634","abstract":[{"lang":"eng","text":"As autism spectrum disorder (ASD) is largely regarded as a neurodevelopmental condition, long-time consensus was that its hallmark features are irreversible. However, several studies from recent years using defined mouse models of ASD have provided clear evidence that in mice neurobiological and behavioural alterations can be ameliorated or even reversed by genetic restoration or pharmacological treatment either before or after symptom onset. Here, we review findings on genetic and pharmacological reversibility of phenotypes in mouse models of ASD. Our review should give a comprehensive overview on both aspects and encourage future studies to better understand the underlying molecular mechanisms that might be translatable from animals to humans."}],"publist_id":"7156","type":"book_chapter","scopus_import":"1","status":"public","oa_version":"None","alternative_title":["ADVSANAT"],"date_updated":"2025-09-11T07:25:25Z","volume":224,"publication_identifier":{"eisbn":["978-3-319-52498-6"]},"page":"189 - 211","publisher":"Springer","publication":"Translational Anatomy and Cell Biology of Autism Spectrum Disorder","date_created":"2018-12-11T11:47:37Z","citation":{"ama":"Schroeder J, Deliu E, Novarino G, Schmeisser M. Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In: Schmeisser M, Boekers T, eds. <i>Translational Anatomy and Cell Biology of Autism Spectrum Disorder</i>. Vol 224. Advances in Anatomy Embryology and Cell Biology. Springer; 2017:189-211. doi:<a href=\"https://doi.org/10.1007/978-3-319-52498-6_10\">10.1007/978-3-319-52498-6_10</a>","ieee":"J. Schroeder, E. Deliu, G. Novarino, and M. Schmeisser, “Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder,” in <i>Translational Anatomy and Cell Biology of Autism Spectrum Disorder</i>, vol. 224, M. Schmeisser and T. Boekers, Eds. Springer, 2017, pp. 189–211.","apa":"Schroeder, J., Deliu, E., Novarino, G., &#38; Schmeisser, M. (2017). Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In M. Schmeisser &#38; T. Boekers (Eds.), <i>Translational Anatomy and Cell Biology of Autism Spectrum Disorder</i> (Vol. 224, pp. 189–211). Springer. <a href=\"https://doi.org/10.1007/978-3-319-52498-6_10\">https://doi.org/10.1007/978-3-319-52498-6_10</a>","chicago":"Schroeder, Jan, Elena Deliu, Gaia Novarino, and Michael Schmeisser. “Genetic and Pharmacological Reversibility of Phenotypes in Mouse Models of Autism Spectrum Disorder.” In <i>Translational Anatomy and Cell Biology of Autism Spectrum Disorder</i>, edited by Michael Schmeisser and Tobias Boekers, 224:189–211. Advances in Anatomy Embryology and Cell Biology. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-52498-6_10\">https://doi.org/10.1007/978-3-319-52498-6_10</a>.","ista":"Schroeder J, Deliu E, Novarino G, Schmeisser M. 2017.Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In: Translational Anatomy and Cell Biology of Autism Spectrum Disorder. ADVSANAT, vol. 224, 189–211.","short":"J. Schroeder, E. Deliu, G. Novarino, M. Schmeisser, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 189–211.","mla":"Schroeder, Jan, et al. “Genetic and Pharmacological Reversibility of Phenotypes in Mouse Models of Autism Spectrum Disorder.” <i>Translational Anatomy and Cell Biology of Autism Spectrum Disorder</i>, edited by Michael Schmeisser and Tobias Boekers, vol. 224, Springer, 2017, pp. 189–211, doi:<a href=\"https://doi.org/10.1007/978-3-319-52498-6_10\">10.1007/978-3-319-52498-6_10</a>."},"intvolume":"       224","editor":[{"last_name":"Schmeisser","first_name":"Michael","full_name":"Schmeisser, Michael"},{"last_name":"Boekers","first_name":"Tobias","full_name":"Boekers, Tobias"}],"doi":"10.1007/978-3-319-52498-6_10","project":[{"name":"Transmembrane Transporters in Health and Disease","call_identifier":"FWF","grant_number":"F03523","_id":"25473368-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","department":[{"_id":"GaNo"}],"title":"Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder","year":"2017","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","article_processing_charge":"No","corr_author":"1","day":"28","author":[{"last_name":"Schroeder","full_name":"Schroeder, Jan","first_name":"Jan"},{"full_name":"Deliu, Elena","first_name":"Elena","orcid":"0000-0002-7370-5293","id":"37A40D7E-F248-11E8-B48F-1D18A9856A87","last_name":"Deliu"},{"full_name":"Novarino, Gaia","first_name":"Gaia","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7673-7178","last_name":"Novarino"},{"first_name":"Michael","full_name":"Schmeisser, Michael","last_name":"Schmeisser"}],"date_published":"2017-05-28T00:00:00Z"},{"article_processing_charge":"No","date_published":"2017-08-03T00:00:00Z","author":[{"last_name":"Bakhirkin","full_name":"Bakhirkin, Alexey","first_name":"Alexey"},{"orcid":"0000-0001-5199-3143","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere","full_name":"Ferrere, Thomas","first_name":"Thomas"},{"last_name":"Maler","full_name":"Maler, Oded","first_name":"Oded"},{"full_name":"Ulus, Dogan","first_name":"Dogan","last_name":"Ulus"}],"day":"03","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","year":"2017","publication_status":"published","title":"On the quantitative semantics of regular expressions over real-valued signals","department":[{"_id":"ToHe"}],"editor":[{"last_name":"Abate","full_name":"Abate, Alessandro","first_name":"Alessandro"},{"first_name":"Gilles","full_name":"Geeraerts, Gilles","last_name":"Geeraerts"}],"quality_controlled":"1","project":[{"grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","name":"Moderne Concurrency Paradigms","call_identifier":"FWF"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems"}],"doi":"10.1007/978-3-319-65765-3_11","publication_identifier":{"isbn":["978-331965764-6"]},"volume":10419,"main_file_link":[{"open_access":"1","url":"https://hal.archives-ouvertes.fr/hal-01552132"}],"date_created":"2018-12-11T11:47:38Z","citation":{"ista":"Bakhirkin A, Ferrere T, Maler O, Ulus D. 2017. On the quantitative semantics of regular expressions over real-valued signals. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 189–206.","chicago":"Bakhirkin, Alexey, Thomas Ferrere, Oded Maler, and Dogan Ulus. “On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.” edited by Alessandro Abate and Gilles Geeraerts, 10419:189–206. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-65765-3_11\">https://doi.org/10.1007/978-3-319-65765-3_11</a>.","apa":"Bakhirkin, A., Ferrere, T., Maler, O., &#38; Ulus, D. (2017). On the quantitative semantics of regular expressions over real-valued signals. In A. Abate &#38; G. Geeraerts (Eds.) (Vol. 10419, pp. 189–206). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. <a href=\"https://doi.org/10.1007/978-3-319-65765-3_11\">https://doi.org/10.1007/978-3-319-65765-3_11</a>","ieee":"A. Bakhirkin, T. Ferrere, O. Maler, and D. Ulus, “On the quantitative semantics of regular expressions over real-valued signals,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 189–206.","ama":"Bakhirkin A, Ferrere T, Maler O, Ulus D. On the quantitative semantics of regular expressions over real-valued signals. In: Abate A, Geeraerts G, eds. Vol 10419. Springer; 2017:189-206. doi:<a href=\"https://doi.org/10.1007/978-3-319-65765-3_11\">10.1007/978-3-319-65765-3_11</a>","mla":"Bakhirkin, Alexey, et al. <i>On the Quantitative Semantics of Regular Expressions over Real-Valued Signals</i>. Edited by Alessandro Abate and Gilles Geeraerts, vol. 10419, Springer, 2017, pp. 189–206, doi:<a href=\"https://doi.org/10.1007/978-3-319-65765-3_11\">10.1007/978-3-319-65765-3_11</a>.","short":"A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206."},"intvolume":"     10419","publisher":"Springer","page":"189 - 206","alternative_title":["LNCS"],"oa_version":"Submitted Version","date_updated":"2025-09-11T07:24:11Z","oa":1,"conference":{"name":"FORMATS: Formal Modelling and Analysis of Timed Systems","start_date":"2017-09-05","end_date":"2017-09-07","location":"Berlin, Germany"},"scopus_import":"1","status":"public","month":"08","external_id":{"isi":["000611678300011"]},"language":[{"iso":"eng"}],"isi":1,"type":"conference","abstract":[{"text":"Signal regular expressions can specify sequential properties of real-valued signals based on threshold conditions, regular operations, and duration constraints. In this paper we endow them with a quantitative semantics which indicates how robustly a signal matches or does not match a given expression. First, we show that this semantics is a safe approximation of a distance between the signal and the language defined by the expression. Then, we consider the robust matching problem, that is, computing the quantitative semantics of every segment of a given signal relative to an expression. We present an algorithm that solves this problem for piecewise-constant and piecewise-linear signals and show that for such signals the robustness map is a piecewise-linear function. The availability of an indicator describing how robustly a signal segment matches some regular pattern provides a general framework for quantitative monitoring of cyber-physical systems.","lang":"eng"}],"publist_id":"7152","_id":"636"},{"doi":"10.1007/s00454-016-9855-6","quality_controlled":"1","title":"Algorithmic solvability of the lifting extension problem","department":[{"_id":"UlWa"}],"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2017","date_published":"2017-06-01T00:00:00Z","day":"01","author":[{"last_name":"Čadek","full_name":"Čadek, Martin","first_name":"Martin"},{"first_name":"Marek","full_name":"Krcál, Marek","last_name":"Krcál","id":"33E21118-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Vokřínek","first_name":"Lukáš","full_name":"Vokřínek, Lukáš"}],"article_processing_charge":"No","arxiv":1,"type":"journal_article","_id":"1073","publist_id":"6309","abstract":[{"text":"Let X and Y be finite simplicial sets (e.g. finite simplicial complexes), both equipped with a free simplicial action of a finite group G. Assuming that Y is d-connected and dimX≤2d, for some d≥1, we provide an algorithm that computes the set of all equivariant homotopy classes of equivariant continuous maps |X|→|Y|; the existence of such a map can be decided even for dimX≤2d+1. This yields the first algorithm for deciding topological embeddability of a k-dimensional finite simplicial complex into Rn under the condition k≤23n−1. More generally, we present an algorithm that, given a lifting-extension problem satisfying an appropriate stability assumption, computes the set of all homotopy classes of solutions. This result is new even in the non-equivariant situation.","lang":"eng"}],"month":"06","external_id":{"arxiv":["1307.6444"],"isi":["000400072700008"]},"isi":1,"language":[{"iso":"eng"}],"status":"public","issue":"4","scopus_import":"1","oa":1,"date_updated":"2025-06-04T08:11:10Z","oa_version":"Submitted Version","publication":"Discrete & Computational Geometry","publisher":"Springer","date_created":"2018-12-11T11:50:00Z","intvolume":"        54","citation":{"ieee":"M. Čadek, M. Krcál, and L. Vokřínek, “Algorithmic solvability of the lifting extension problem,” <i>Discrete &#38; Computational Geometry</i>, vol. 54, no. 4. Springer, pp. 915–965, 2017.","ama":"Čadek M, Krcál M, Vokřínek L. Algorithmic solvability of the lifting extension problem. <i>Discrete &#38; Computational Geometry</i>. 2017;54(4):915-965. doi:<a href=\"https://doi.org/10.1007/s00454-016-9855-6\">10.1007/s00454-016-9855-6</a>","ista":"Čadek M, Krcál M, Vokřínek L. 2017. Algorithmic solvability of the lifting extension problem. Discrete &#38; Computational Geometry. 54(4), 915–965.","chicago":"Čadek, Martin, Marek Krcál, and Lukáš Vokřínek. “Algorithmic Solvability of the Lifting Extension Problem.” <i>Discrete &#38; Computational Geometry</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s00454-016-9855-6\">https://doi.org/10.1007/s00454-016-9855-6</a>.","apa":"Čadek, M., Krcál, M., &#38; Vokřínek, L. (2017). Algorithmic solvability of the lifting extension problem. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/s00454-016-9855-6\">https://doi.org/10.1007/s00454-016-9855-6</a>","short":"M. Čadek, M. Krcál, L. Vokřínek, Discrete &#38; Computational Geometry 54 (2017) 915–965.","mla":"Čadek, Martin, et al. “Algorithmic Solvability of the Lifting Extension Problem.” <i>Discrete &#38; Computational Geometry</i>, vol. 54, no. 4, Springer, 2017, pp. 915–65, doi:<a href=\"https://doi.org/10.1007/s00454-016-9855-6\">10.1007/s00454-016-9855-6</a>."},"page":"915 - 965","publication_identifier":{"issn":["01795376"]},"volume":54,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1307.6444"}]},{"year":"2017","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","article_processing_charge":"No","arxiv":1,"author":[{"full_name":"Goaoc, Xavier","first_name":"Xavier","last_name":"Goaoc"},{"full_name":"Paták, Pavel","first_name":"Pavel","last_name":"Paták"},{"orcid":"0000-0002-3975-1683","last_name":"Patakova","full_name":"Patakova, Zuzana","first_name":"Zuzana"},{"full_name":"Tancer, Martin","first_name":"Martin","orcid":"0000-0002-1191-6714","last_name":"Tancer"},{"last_name":"Wagner","orcid":"0000-0002-1494-0568","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","first_name":"Uli","full_name":"Wagner, Uli"}],"day":"06","date_published":"2017-10-06T00:00:00Z","editor":[{"last_name":"Loebl","full_name":"Loebl, Martin","first_name":"Martin"},{"last_name":"Nešetřil","full_name":"Nešetřil, Jaroslav","first_name":"Jaroslav"},{"full_name":"Thomas, Robin","first_name":"Robin","last_name":"Thomas"}],"quality_controlled":"1","doi":"10.1007/978-3-319-44479-6_17","department":[{"_id":"UlWa"}],"title":"Bounding helly numbers via betti numbers","oa_version":"Published Version","oa":1,"date_updated":"2026-06-18T18:48:49Z","related_material":{"record":[{"id":"1512","relation":"earlier_version","status":"public"}]},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1310.4613"}],"publication_identifier":{"isbn":["978-331944479-6"]},"page":"407 - 447","citation":{"short":"X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.","mla":"Goaoc, Xavier, et al. “Bounding Helly Numbers via Betti Numbers.” <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>, edited by Martin Loebl et al., Springer, 2017, pp. 407–47, doi:<a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">10.1007/978-3-319-44479-6_17</a>.","ieee":"X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>, M. Loebl, J. Nešetřil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.","ama":"Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Bounding helly numbers via betti numbers. In: Loebl M, Nešetřil J, Thomas R, eds. <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>. A Journey Through Discrete Mathematics. Springer; 2017:407-447. doi:<a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">10.1007/978-3-319-44479-6_17</a>","chicago":"Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers.” In <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>, edited by Martin Loebl, Jaroslav Nešetřil, and Robin Thomas, 407–47. A Journey Through Discrete Mathematics. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">https://doi.org/10.1007/978-3-319-44479-6_17</a>.","apa":"Goaoc, X., Paták, P., Patakova, Z., Tancer, M., &#38; Wagner, U. (2017). Bounding helly numbers via betti numbers. In M. Loebl, J. Nešetřil, &#38; R. Thomas (Eds.), <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i> (pp. 407–447). Springer. <a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">https://doi.org/10.1007/978-3-319-44479-6_17</a>","ista":"Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2017.Bounding helly numbers via betti numbers. In: A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. , 407–447."},"date_created":"2018-12-11T11:46:24Z","ddc":["500"],"publication":"A Journey through Discrete Mathematics: A Tribute to Jiri Matousek","publisher":"Springer","external_id":{"arxiv":["1310.4613"]},"language":[{"iso":"eng"}],"series_title":"A Journey Through Discrete Mathematics","month":"10","publist_id":"7399","abstract":[{"lang":"eng","text":"We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers b and d there exists an integer h(b, d) such that the following holds. If F is a finite family of subsets of Rd such that βi(∩G)≤b for any G⊊F and every 0 ≤ i ≤ [d/2]-1 then F has Helly number at most h(b, d). Here βi denotes the reduced Z2-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these [d/2] first Betti numbers allow for families with unbounded Helly number. Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex K, some well-behaved chain map C*(K)→C*(Rd)."}],"_id":"424","type":"book_chapter","scopus_import":"1","status":"public"},{"date_updated":"2024-09-25T10:12:10Z","oa":1,"oa_version":"Published Version","extern":"1","page":"1456-1465","date_created":"2024-09-06T08:42:13Z","citation":{"mla":"Visbal, Eli, et al. “What Is the Maximum Mass of a Population III Galaxy?” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 469, no. 2, Oxford University Press, 2017, pp. 1456–65, doi:<a href=\"https://doi.org/10.1093/mnras/stx909\">10.1093/mnras/stx909</a>.","short":"E. Visbal, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 469 (2017) 1456–1465.","ista":"Visbal E, Bryan GL, Haiman Z. 2017. What is the maximum mass of a Population III galaxy? Monthly Notices of the Royal Astronomical Society. 469(2), 1456–1465.","chicago":"Visbal, Eli, Greg L. Bryan, and Zoltán Haiman. “What Is the Maximum Mass of a Population III Galaxy?” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2017. <a href=\"https://doi.org/10.1093/mnras/stx909\">https://doi.org/10.1093/mnras/stx909</a>.","apa":"Visbal, E., Bryan, G. L., &#38; Haiman, Z. (2017). What is the maximum mass of a Population III galaxy? <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/stx909\">https://doi.org/10.1093/mnras/stx909</a>","ieee":"E. Visbal, G. L. Bryan, and Z. Haiman, “What is the maximum mass of a Population III galaxy?,” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 469, no. 2. Oxford University Press, pp. 1456–1465, 2017.","ama":"Visbal E, Bryan GL, Haiman Z. What is the maximum mass of a Population III galaxy? <i>Monthly Notices of the Royal Astronomical Society</i>. 2017;469(2):1456-1465. doi:<a href=\"https://doi.org/10.1093/mnras/stx909\">10.1093/mnras/stx909</a>"},"intvolume":"       469","publication":"Monthly Notices of the Royal Astronomical Society","publisher":"Oxford University Press","article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/mnras/stx909"}],"volume":469,"publication_identifier":{"issn":["0035-8711","1365-2966"]},"abstract":[{"text":"We utilize cosmological hydrodynamic simulations to study the formation of Population III (Pop III) stars in dark matter halos exposed to strong ionizing radiation. We simulate the formation of three halos subjected to a wide range of ionizing fluxes, and find that for high flux, ionization and photoheating can delay gas collapse and star formation up to halo masses significantly larger than the atomic cooling threshold. The threshold halo mass at which gas first collapses and cools increases with ionizing flux for intermediate values, and saturates at a value approximately an order of magnitude above the atomic cooling threshold for extremely high flux (e.g. ≈5×108 M⊙ at z≈6). This behavior can be understood in terms of photoheating, ionization/recombination, and Lyα cooling in the pressure-supported, self-shielded gas core at the center of the growing dark matter halo. We examine the spherically-averaged radial velocity profiles of collapsing gas and find that a gas mass of up to ≈106 M⊙ can reach the central regions within 3 Myr, providing an upper limit on the amount of massive Pop III stars that can form. The ionizing radiation increases this limit by a factor of a few compared to strong Lyman-Werner (LW) radiation alone. We conclude that the bright HeII 1640 Å emission recently observed from the high-redshift galaxy CR7 cannot be explained by Pop III stars alone. However, in some halos, a sufficient number of Pop III stars may form to be detectable with future telescopes such as the James Webb Space Telescope (JWST).","lang":"eng"}],"_id":"17696","type":"journal_article","language":[{"iso":"eng"}],"month":"04","status":"public","scopus_import":"1","issue":"2","publication_status":"published","year":"2017","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","author":[{"first_name":"Eli","full_name":"Visbal, Eli","last_name":"Visbal"},{"last_name":"Bryan","first_name":"Greg L.","full_name":"Bryan, Greg L."},{"full_name":"Haiman, Zoltán","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"}],"day":"17","date_published":"2017-04-17T00:00:00Z","article_processing_charge":"No","quality_controlled":"1","doi":"10.1093/mnras/stx909","title":"What is the maximum mass of a Population III galaxy?"},{"page":"4258-4267","publisher":"Oxford University Press","publication":"Monthly Notices of the Royal Astronomical Society","citation":{"mla":"Tang, Yike, et al. “On the Orbital Evolution of Supermassive Black Hole Binaries with Circumbinary Accretion Discs.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 469, no. 4, Oxford University Press, 2017, pp. 4258–67, doi:<a href=\"https://doi.org/10.1093/mnras/stx1130\">10.1093/mnras/stx1130</a>.","short":"Y. Tang, A. MacFadyen, Z. Haiman, Monthly Notices of the Royal Astronomical Society 469 (2017) 4258–4267.","ista":"Tang Y, MacFadyen A, Haiman Z. 2017. On the orbital evolution of supermassive black hole binaries with circumbinary accretion discs. Monthly Notices of the Royal Astronomical Society. 469(4), 4258–4267.","chicago":"Tang, Yike, Andrew MacFadyen, and Zoltán Haiman. “On the Orbital Evolution of Supermassive Black Hole Binaries with Circumbinary Accretion Discs.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2017. <a href=\"https://doi.org/10.1093/mnras/stx1130\">https://doi.org/10.1093/mnras/stx1130</a>.","apa":"Tang, Y., MacFadyen, A., &#38; Haiman, Z. (2017). On the orbital evolution of supermassive black hole binaries with circumbinary accretion discs. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/stx1130\">https://doi.org/10.1093/mnras/stx1130</a>","ieee":"Y. Tang, A. MacFadyen, and Z. Haiman, “On the orbital evolution of supermassive black hole binaries with circumbinary accretion discs,” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 469, no. 4. Oxford University Press, pp. 4258–4267, 2017.","ama":"Tang Y, MacFadyen A, Haiman Z. On the orbital evolution of supermassive black hole binaries with circumbinary accretion discs. <i>Monthly Notices of the Royal Astronomical Society</i>. 2017;469(4):4258-4267. doi:<a href=\"https://doi.org/10.1093/mnras/stx1130\">10.1093/mnras/stx1130</a>"},"date_created":"2024-09-06T08:44:11Z","intvolume":"       469","main_file_link":[{"url":"https://doi.org/10.1093/mnras/stx1130","open_access":"1"}],"article_type":"original","volume":469,"publication_identifier":{"issn":["0035-8711","1365-2966"]},"oa":1,"date_updated":"2024-09-25T11:16:50Z","oa_version":"Published Version","extern":"1","status":"public","scopus_import":"1","issue":"4","_id":"17698","abstract":[{"lang":"eng","text":"Gaseous circumbinary accretion discs provide a promising mechanism to facilitate the mergers of supermassive black holes (SMBHs) in galactic nuclei. We measure the torques exerted on accreting SMBH binaries, using 2D, isothermal, moving-mesh, viscous hydrodynamical simulations of circumbinary accretion discs. Our computational domain includes the entire inner region of the circumbinary disk with the individual black holes (BHs) included as point masses on the grid and a sink prescription to model accretion onto each BH. The BHs each acquire their own well-resolved accretion discs (\"minidiscs\"). We explore a range of mass removal rates for the sink prescription removing gas from the central regions of the minidiscs. We find that the torque exerted on the binary is primarily gravitational, and dominated by the gas orbiting close behind and ahead of the individual BHs. The torques from the distorted circumbinary disc farther out and from the direct accretion of angular momentum are subdominant. The torques are sensitive to the sink prescription: slower sinks result in more gas accumulating near the BHs and more negative torques, driving the binary to merger more rapidly. For faster sinks, the torques are less negative and eventually turn positive (for unphysically fast sinks). When the minidiscs are modeled as standard alpha discs, our results are insensitive to the choice of sink radius. Scaling the simulations to a binary orbital period tbin = 1yr and background disc accretion rate Mdot = 0.3MEdd in Eddington units, the binary inspirals on a timescale of 3X10^6 years, irrespective of the SMBH masses. For binaries with total mass <10^7Msun, this is shorter than the inspiral time due to gravitational wave (GW) emission alone, implying that gas discs will have a significant impact on the SMBH binary population and can affect the GW signal for Pulsar Timing Arrays."}],"type":"journal_article","language":[{"iso":"eng"}],"month":"05","day":"10","author":[{"first_name":"Yike","full_name":"Tang, Yike","last_name":"Tang"},{"last_name":"MacFadyen","full_name":"MacFadyen, Andrew","first_name":"Andrew"},{"id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman","full_name":"Haiman, Zoltán","first_name":"Zoltán"}],"date_published":"2017-05-10T00:00:00Z","article_processing_charge":"No","publication_status":"published","year":"2017","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","title":"On the orbital evolution of supermassive black hole binaries with circumbinary accretion discs","doi":"10.1093/mnras/stx1130","quality_controlled":"1"},{"article_processing_charge":"Yes","author":[{"last_name":"Yin","first_name":"Xiaodong","full_name":"Yin, Xiaodong"},{"last_name":"Zang","first_name":"Yaping","full_name":"Zang, Yaping"},{"last_name":"Zhu","first_name":"Liangliang","full_name":"Zhu, Liangliang"},{"last_name":"Low","full_name":"Low, Jonathan Z.","first_name":"Jonathan Z."},{"first_name":"Zhen-Fei","full_name":"Liu, Zhen-Fei","last_name":"Liu"},{"last_name":"Cui","full_name":"Cui, Jing","first_name":"Jing"},{"last_name":"Neaton","full_name":"Neaton, Jeffrey B.","first_name":"Jeffrey B."},{"orcid":"0000-0002-6957-6089","id":"9ebb78a5-cc0d-11ee-8322-fae086a32caf","last_name":"Venkataraman","full_name":"Venkataraman, Latha","first_name":"Latha"},{"last_name":"Campos","full_name":"Campos, Luis M.","first_name":"Luis M."}],"day":"01","tmp":{"image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)"},"date_published":"2017-10-01T00:00:00Z","year":"2017","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","title":"A reversible single-molecule switch based on activated antiaromaticity","quality_controlled":"1","doi":"10.1126/sciadv.aao2615","article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1126/sciadv.aao2615"}],"volume":3,"publication_identifier":{"eissn":["2375-2548"]},"intvolume":"         3","citation":{"ama":"Yin X, Zang Y, Zhu L, et al. A reversible single-molecule switch based on activated antiaromaticity. <i>Science Advances</i>. 2017;3(10). doi:<a href=\"https://doi.org/10.1126/sciadv.aao2615\">10.1126/sciadv.aao2615</a>","ieee":"X. Yin <i>et al.</i>, “A reversible single-molecule switch based on activated antiaromaticity,” <i>Science Advances</i>, vol. 3, no. 10. American Association for the Advancement of Science, 2017.","apa":"Yin, X., Zang, Y., Zhu, L., Low, J. Z., Liu, Z.-F., Cui, J., … Campos, L. M. (2017). A reversible single-molecule switch based on activated antiaromaticity. <i>Science Advances</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/sciadv.aao2615\">https://doi.org/10.1126/sciadv.aao2615</a>","chicago":"Yin, Xiaodong, Yaping Zang, Liangliang Zhu, Jonathan Z. Low, Zhen-Fei Liu, Jing Cui, Jeffrey B. Neaton, Latha Venkataraman, and Luis M. Campos. “A Reversible Single-Molecule Switch Based on Activated Antiaromaticity.” <i>Science Advances</i>. American Association for the Advancement of Science, 2017. <a href=\"https://doi.org/10.1126/sciadv.aao2615\">https://doi.org/10.1126/sciadv.aao2615</a>.","ista":"Yin X, Zang Y, Zhu L, Low JZ, Liu Z-F, Cui J, Neaton JB, Venkataraman L, Campos LM. 2017. A reversible single-molecule switch based on activated antiaromaticity. Science Advances. 3(10), aao2615.","short":"X. Yin, Y. Zang, L. Zhu, J.Z. Low, Z.-F. Liu, J. Cui, J.B. Neaton, L. Venkataraman, L.M. Campos, Science Advances 3 (2017).","mla":"Yin, Xiaodong, et al. “A Reversible Single-Molecule Switch Based on Activated Antiaromaticity.” <i>Science Advances</i>, vol. 3, no. 10, aao2615, American Association for the Advancement of Science, 2017, doi:<a href=\"https://doi.org/10.1126/sciadv.aao2615\">10.1126/sciadv.aao2615</a>."},"date_created":"2024-09-09T09:12:08Z","OA_type":"gold","publisher":"American Association for the Advancement of Science","publication":"Science Advances","oa_version":"Published Version","extern":"1","date_updated":"2024-12-18T07:54:32Z","oa":1,"related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1126/sciadv.abq0115"}]},"scopus_import":"1","issue":"10","status":"public","DOAJ_listed":"1","language":[{"iso":"eng"}],"article_number":"aao2615","month":"10","abstract":[{"lang":"eng","text":"Single-molecule electronic devices provide researchers with an unprecedented ability to relate novel physical phenomena to molecular chemical structures. Typically, conjugated aromatic molecular backbones are relied upon to create electronic devices, where the aromaticity of the building blocks is used to enhance conductivity. We capitalize on the classical physical organic chemistry concept of Hückel antiaromaticity by demonstrating a single-molecule switch that exhibits low conductance in the neutral state and, upon electrochemical oxidation, reversibly switches to an antiaromatic high-conducting structure. We form single-molecule devices using the scanning tunneling microscope–based break-junction technique and observe an on/off ratio of ~70 for a thiophenylidene derivative that switches to an antiaromatic state with 6-4-6-π electrons. Through supporting nuclear magnetic resonance measurements, we show that the doubly oxidized core has antiaromatic character and we use density functional theory calculations to rationalize the origin of the high-conductance state for the oxidized single-molecule junction. Together, our work demonstrates how the concept of antiaromaticity can be exploited to create single-molecule devices that are highly conducting."}],"OA_place":"publisher","_id":"17949","type":"journal_article"},{"language":[{"iso":"eng"}],"month":"11","_id":"7725","abstract":[{"text":"Phenotypic plasticity is the ability of an individual genotype to alter aspects of its phenotype depending on the current environment. It is central to the persistence, resistance and resilience of populations facing variation in physical or biological factors. Genetic variation in plasticity is pervasive, which suggests its local adaptation is plausible. Existing studies on the adaptation of plasticity typically focus on single traits and a few populations, while theory about interactions among genes (for example, pleiotropy) suggests that a multi-trait, landscape scale (for example, multiple populations) perspective is required. We present data from a landscape scale, replicated, multi-trait experiment using a classic predator–prey system centred on the water flea Daphnia pulex. We find predator regime-driven differences in genetic variation of multivariate plasticity. These differences are associated with strong divergent selection linked to a predation regime. Our findings are evidence for local adaptation of plasticity, suggesting that responses of populations to environmental variation depend on the conditions in which they evolved in the past.","lang":"eng"}],"doi":"10.1038/s41559-017-0373-6","type":"journal_article","quality_controlled":"1","title":"Predation drives local adaptation of phenotypic plasticity","status":"public","oa_version":"None","year":"2017","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","publication_status":"published","date_updated":"2021-01-12T08:15:07Z","article_processing_charge":"No","article_type":"original","publication_identifier":{"issn":["2397-334X"]},"volume":2,"day":"27","author":[{"first_name":"Julia","full_name":"Reger, Julia","last_name":"Reger"},{"last_name":"Lind","full_name":"Lind, Martin I.","first_name":"Martin I."},{"orcid":"0000-0001-8982-8813","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","last_name":"Robinson","full_name":"Robinson, Matthew Richard","first_name":"Matthew Richard"},{"last_name":"Beckerman","first_name":"Andrew P.","full_name":"Beckerman, Andrew P."}],"page":"100-107","publication":"Nature Ecology & Evolution","publisher":"Springer Nature","date_published":"2017-11-27T00:00:00Z","citation":{"short":"J. Reger, M.I. Lind, M.R. Robinson, A.P. Beckerman, Nature Ecology &#38; Evolution 2 (2017) 100–107.","mla":"Reger, Julia, et al. “Predation Drives Local Adaptation of Phenotypic Plasticity.” <i>Nature Ecology &#38; Evolution</i>, vol. 2, Springer Nature, 2017, pp. 100–07, doi:<a href=\"https://doi.org/10.1038/s41559-017-0373-6\">10.1038/s41559-017-0373-6</a>.","ieee":"J. Reger, M. I. Lind, M. R. Robinson, and A. P. Beckerman, “Predation drives local adaptation of phenotypic plasticity,” <i>Nature Ecology &#38; Evolution</i>, vol. 2. Springer Nature, pp. 100–107, 2017.","ama":"Reger J, Lind MI, Robinson MR, Beckerman AP. Predation drives local adaptation of phenotypic plasticity. <i>Nature Ecology &#38; Evolution</i>. 2017;2:100-107. doi:<a href=\"https://doi.org/10.1038/s41559-017-0373-6\">10.1038/s41559-017-0373-6</a>","ista":"Reger J, Lind MI, Robinson MR, Beckerman AP. 2017. Predation drives local adaptation of phenotypic plasticity. Nature Ecology &#38; Evolution. 2, 100–107.","apa":"Reger, J., Lind, M. I., Robinson, M. R., &#38; Beckerman, A. P. (2017). Predation drives local adaptation of phenotypic plasticity. <i>Nature Ecology &#38; Evolution</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41559-017-0373-6\">https://doi.org/10.1038/s41559-017-0373-6</a>","chicago":"Reger, Julia, Martin I. Lind, Matthew Richard Robinson, and Andrew P. Beckerman. “Predation Drives Local Adaptation of Phenotypic Plasticity.” <i>Nature Ecology &#38; Evolution</i>. Springer Nature, 2017. <a href=\"https://doi.org/10.1038/s41559-017-0373-6\">https://doi.org/10.1038/s41559-017-0373-6</a>."},"intvolume":"         2","date_created":"2020-04-30T10:46:02Z"},{"_id":"8306","abstract":[{"text":"Bias-resistant public randomness is a critical component in many (distributed) protocols. Generating public randomness is hard, however, because active adversaries may behave dishonestly to bias public random choices toward their advantage. Existing solutions do not scale to hundreds or thousands of participants, as is needed in many decentralized systems. We propose two large-scale distributed protocols, RandHound and RandHerd, which provide publicly-verifiable, unpredictable, and unbiasable randomness against Byzantine adversaries. RandHound relies on an untrusted client to divide a set of randomness servers into groups for scalability, and it depends on the pigeonhole principle to ensure output integrity, even for non-random, adversarial group choices. RandHerd implements an efficient, decentralized randomness beacon. RandHerd is structurally similar to a BFT protocol, but uses RandHound in a one-time setup to arrange participants into verifiably unbiased random secret-sharing groups, which then repeatedly produce random output at predefined intervals. Our prototype demonstrates that RandHound and RandHerd achieve good performance across hundreds of participants while retaining a low failure probability by properly selecting protocol parameters, such as a group size and secret-sharing threshold. For example, when sharding 512 nodes into groups of 32, our experiments show that RandHound can produce fresh random output after 240 seconds. RandHerd, after a setup phase of 260 seconds, is able to generate fresh random output in intervals of approximately 6 seconds. For this configuration, both protocols operate at a failure probability of at most 0.08% against a Byzantine adversary.","lang":"eng"}],"doi":"10.1109/SP.2017.45","type":"conference","quality_controlled":"1","language":[{"iso":"eng"}],"month":"06","status":"public","title":"Scalable bias-resistant distributed randomness","conference":{"name":"SP: Symposium on Security and Privacy","start_date":"2017-05-22","end_date":"2017-05-26","location":"San Jose, CA, United States"},"publication_status":"published","date_updated":"2021-01-12T08:18:02Z","oa":1,"oa_version":"Preprint","year":"2017","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","day":"01","author":[{"first_name":"E.","full_name":"Syta, E.","last_name":"Syta"},{"full_name":"Jovanovic, P.","first_name":"P.","last_name":"Jovanovic"},{"first_name":"Eleftherios","full_name":"Kokoris Kogias, Eleftherios","last_name":"Kokoris Kogias","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30"},{"full_name":"Gailly, N.","first_name":"N.","last_name":"Gailly"},{"last_name":"Gasser","full_name":"Gasser, L.","first_name":"L."},{"last_name":"Khoffi","full_name":"Khoffi, I.","first_name":"I."},{"last_name":"Fischer","full_name":"Fischer, M. J.","first_name":"M. J."},{"last_name":"Ford","first_name":"B.","full_name":"Ford, B."}],"page":"444-460","publication":"2017 IEEE Symposium on Security and Privacy","publisher":"IEEE","date_published":"2017-06-01T00:00:00Z","citation":{"mla":"Syta, E., et al. “Scalable Bias-Resistant Distributed Randomness.” <i>2017 IEEE Symposium on Security and Privacy</i>, IEEE, 2017, pp. 444–60, doi:<a href=\"https://doi.org/10.1109/SP.2017.45\">10.1109/SP.2017.45</a>.","short":"E. Syta, P. Jovanovic, E. Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer, B. Ford, in:, 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–460.","chicago":"Syta, E., P. Jovanovic, Eleftherios Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M. J. Fischer, and B. Ford. “Scalable Bias-Resistant Distributed Randomness.” In <i>2017 IEEE Symposium on Security and Privacy</i>, 444–60. IEEE, 2017. <a href=\"https://doi.org/10.1109/SP.2017.45\">https://doi.org/10.1109/SP.2017.45</a>.","apa":"Syta, E., Jovanovic, P., Kokoris Kogias, E., Gailly, N., Gasser, L., Khoffi, I., … Ford, B. (2017). Scalable bias-resistant distributed randomness. In <i>2017 IEEE Symposium on Security and Privacy</i> (pp. 444–460). San Jose, CA, United States: IEEE. <a href=\"https://doi.org/10.1109/SP.2017.45\">https://doi.org/10.1109/SP.2017.45</a>","ista":"Syta E, Jovanovic P, Kokoris Kogias E, Gailly N, Gasser L, Khoffi I, Fischer MJ, Ford B. 2017. Scalable bias-resistant distributed randomness. 2017 IEEE Symposium on Security and Privacy. SP: Symposium on Security and Privacy, 444–460.","ieee":"E. Syta <i>et al.</i>, “Scalable bias-resistant distributed randomness,” in <i>2017 IEEE Symposium on Security and Privacy</i>, San Jose, CA, United States, 2017, pp. 444–460.","ama":"Syta E, Jovanovic P, Kokoris Kogias E, et al. Scalable bias-resistant distributed randomness. In: <i>2017 IEEE Symposium on Security and Privacy</i>. IEEE; 2017:444-460. doi:<a href=\"https://doi.org/10.1109/SP.2017.45\">10.1109/SP.2017.45</a>"},"date_created":"2020-08-26T12:26:08Z","article_processing_charge":"No","main_file_link":[{"url":"https://eprint.iacr.org/2016/1067","open_access":"1"}],"publication_identifier":{"isbn":["9781509055340"],"issn":["2375-1207"]}},{"issue":"3","scopus_import":"1","status":"public","month":"06","language":[{"iso":"eng"}],"external_id":{"isi":["000404774300010"],"arxiv":["1502.07327"]},"isi":1,"type":"journal_article","abstract":[{"lang":"eng","text":"An instance of the valued constraint satisfaction problem (VCSP) is given by a finite set of variables, a finite domain of labels, and a sum of functions, each function depending on a subset of the variables. Each function can take finite values specifying costs of assignments of labels to its variables or the infinite value, which indicates an infeasible assignment. The goal is to find an assignment of labels to the variables that minimizes the sum. We study, assuming that P 6= NP, how the complexity of this very general problem depends on the set of functions allowed in the instances, the so-called constraint language. The case when all allowed functions take values in f0;1g corresponds to ordinary CSPs, where one deals only with the feasibility issue, and there is no optimization. This case is the subject of the algebraic CSP dichotomy conjecture predicting for which constraint languages CSPs are tractable (i.e., solvable in polynomial time) and for which they are NP-hard. The case when all allowed functions take only finite values corresponds to a finitevalued CSP, where the feasibility aspect is trivial and one deals only with the optimization issue. The complexity of finite-valued CSPs was fully classified by Thapper and Živný. An algebraic necessary condition for tractability of a general-valued CSP with a fixed constraint language was recently given by Kozik and Ochremiak. As our main result, we prove that if a constraint language satisfies this algebraic necessary condition, and the feasibility CSP (i.e., the problem of deciding whether a given instance has a feasible solution) corresponding to the VCSP with this language is tractable, then the VCSP is tractable. The algorithm is a simple combination of the assumed algorithm for the feasibility CSP and the standard LP relaxation. As a corollary, we obtain that a dichotomy for ordinary CSPs would imply a dichotomy for general-valued CSPs."}],"publist_id":"7138","_id":"644","volume":46,"main_file_link":[{"url":"https://arxiv.org/abs/1502.07327","open_access":"1"}],"date_created":"2018-12-11T11:47:40Z","citation":{"chicago":"Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs.” <i>SIAM Journal on Computing</i>. SIAM, 2017. <a href=\"https://doi.org/10.1137/16M1091836\">https://doi.org/10.1137/16M1091836</a>.","apa":"Kolmogorov, V., Krokhin, A., &#38; Rolinek, M. (2017). The complexity of general-valued CSPs. <i>SIAM Journal on Computing</i>. SIAM. <a href=\"https://doi.org/10.1137/16M1091836\">https://doi.org/10.1137/16M1091836</a>","ista":"Kolmogorov V, Krokhin A, Rolinek M. 2017. The complexity of general-valued CSPs. SIAM Journal on Computing. 46(3), 1087–1110.","ieee":"V. Kolmogorov, A. Krokhin, and M. Rolinek, “The complexity of general-valued CSPs,” <i>SIAM Journal on Computing</i>, vol. 46, no. 3. SIAM, pp. 1087–1110, 2017.","ama":"Kolmogorov V, Krokhin A, Rolinek M. The complexity of general-valued CSPs. <i>SIAM Journal on Computing</i>. 2017;46(3):1087-1110. doi:<a href=\"https://doi.org/10.1137/16M1091836\">10.1137/16M1091836</a>","mla":"Kolmogorov, Vladimir, et al. “The Complexity of General-Valued CSPs.” <i>SIAM Journal on Computing</i>, vol. 46, no. 3, SIAM, 2017, pp. 1087–110, doi:<a href=\"https://doi.org/10.1137/16M1091836\">10.1137/16M1091836</a>.","short":"V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110."},"intvolume":"        46","publication":"SIAM Journal on Computing","publisher":"SIAM","ec_funded":1,"page":"1087 - 1110","oa_version":"Preprint","oa":1,"date_updated":"2025-09-23T13:45:56Z","related_material":{"record":[{"id":"1637","status":"public","relation":"other"}]},"title":"The complexity of general-valued CSPs","department":[{"_id":"VlKo"}],"quality_controlled":"1","doi":"10.1137/16M1091836","project":[{"call_identifier":"FP7","name":"Discrete Optimization in Computer Vision: Theory and Practice","grant_number":"616160","_id":"25FBA906-B435-11E9-9278-68D0E5697425"}],"article_processing_charge":"No","arxiv":1,"date_published":"2017-06-29T00:00:00Z","author":[{"last_name":"Kolmogorov","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","first_name":"Vladimir","full_name":"Kolmogorov, Vladimir"},{"last_name":"Krokhin","first_name":"Andrei","full_name":"Krokhin, Andrei"},{"full_name":"Rolinek, Michal","first_name":"Michal","id":"3CB3BC06-F248-11E8-B48F-1D18A9856A87","last_name":"Rolinek"}],"day":"29","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","year":"2017","publication_status":"published"},{"date_published":"2017-09-01T00:00:00Z","day":"01","pubrep_id":"831","author":[{"last_name":"Bogomolov","orcid":"0000-0002-0686-0365","id":"369D9A44-F248-11E8-B48F-1D18A9856A87","first_name":"Sergiy","full_name":"Bogomolov, Sergiy"},{"last_name":"Giacobbe","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8180-0904","first_name":"Mirco","full_name":"Giacobbe, Mirco"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"first_name":"Hui","full_name":"Kong, Hui","last_name":"Kong","orcid":"0000-0002-3066-6941","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87"}],"article_processing_charge":"No","corr_author":"1","publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","year":"2017","title":"Conic abstractions for hybrid systems","department":[{"_id":"ToHe"}],"file":[{"date_updated":"2020-07-14T12:47:31Z","creator":"system","file_id":"4956","access_level":"open_access","file_name":"IST-2017-831-v1+1_main.pdf","date_created":"2018-12-12T10:12:38Z","relation":"main_file","checksum":"faf546914ba29bcf9974ee36b6b16750","content_type":"application/pdf","file_size":3806864}],"project":[{"call_identifier":"FWF","name":"Moderne Concurrency Paradigms","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems","call_identifier":"FWF"}],"doi":"10.1007/978-3-319-65765-3_7","quality_controlled":"1","publisher":"Springer","date_created":"2018-12-11T11:47:41Z","ddc":["005"],"citation":{"ieee":"S. Bogomolov, M. Giacobbe, T. A. Henzinger, and H. Kong, “Conic abstractions for hybrid systems,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 116–132.","ama":"Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:<a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">10.1007/978-3-319-65765-3_7</a>","chicago":"Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">https://doi.org/10.1007/978-3-319-65765-3_7</a>.","apa":"Bogomolov, S., Giacobbe, M., Henzinger, T. A., &#38; Kong, H. (2017). Conic abstractions for hybrid systems (Vol. 10419, pp. 116–132). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. <a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">https://doi.org/10.1007/978-3-319-65765-3_7</a>","ista":"Bogomolov S, Giacobbe M, Henzinger TA, Kong H. 2017. Conic abstractions for hybrid systems. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 116–132.","short":"S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.","mla":"Bogomolov, Sergiy, et al. <i>Conic Abstractions for Hybrid Systems</i>. Vol. 10419, Springer, 2017, pp. 116–32, doi:<a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">10.1007/978-3-319-65765-3_7</a>."},"page":"116 - 132","publication_identifier":{"isbn":["978-331965764-6"]},"volume":"10419 ","related_material":{"record":[{"id":"6894","relation":"dissertation_contains","status":"public"}]},"date_updated":"2026-04-08T07:47:13Z","oa":1,"alternative_title":["LNCS"],"oa_version":"Submitted Version","status":"public","conference":{"name":"FORMATS: Formal Modelling and Analysis of Timed Systems","location":"Berlin, Germany","end_date":"2017-09-07","start_date":"2017-09-05"},"file_date_updated":"2020-07-14T12:47:31Z","scopus_import":"1","type":"conference","_id":"647","has_accepted_license":"1","abstract":[{"lang":"eng","text":"Despite researchers’ efforts in the last couple of decades, reachability analysis is still a challenging problem even for linear hybrid systems. Among the existing approaches, the most practical ones are mainly based on bounded-time reachable set over-approximations. For the purpose of unbounded-time analysis, one important strategy is to abstract the original system and find an invariant for the abstraction. In this paper, we propose an approach to constructing a new kind of abstraction called conic abstraction for affine hybrid systems, and to computing reachable sets based on this abstraction. The essential feature of a conic abstraction is that it partitions the state space of a system into a set of convex polyhedral cones which is derived from a uniform conic partition of the derivative space. Such a set of polyhedral cones is able to cut all trajectories of the system into almost straight segments so that every segment of a reach pipe in a polyhedral cone tends to be straight as well, and hence can be over-approximated tightly by polyhedra using similar techniques as HyTech or PHAVer. In particular, for diagonalizable affine systems, our approach can guarantee to find an invariant for unbounded reachable sets, which is beyond the capability of bounded-time reachability analysis tools. We implemented the approach in a tool and experiments on benchmarks show that our approach is more powerful than SpaceEx and PHAVer in dealing with diagonalizable systems."}],"publist_id":"7129","month":"09","isi":1,"language":[{"iso":"eng"}],"external_id":{"isi":["000611678300007"]}},{"status":"public","scopus_import":"1","issue":"9","abstract":[{"text":"Navigation of cells along gradients of guidance cues is a determining step in many developmental and immunological processes. Gradients can either be soluble or immobilized to tissues as demonstrated for the haptotactic migration of dendritic cells (DCs) toward higher concentrations of immobilized chemokine CCL21. To elucidate how gradient characteristics govern cellular response patterns, we here introduce an in vitro system allowing to track migratory responses of DCs to precisely controlled immobilized gradients of CCL21. We find that haptotactic sensing depends on the absolute CCL21 concentration and local steepness of the gradient, consistent with a scenario where DC directionality is governed by the signal-to-noise ratio of CCL21 binding to the receptor CCR7. We find that the conditions for optimal DC guidance are perfectly provided by the CCL21 gradients we measure in vivo. Furthermore, we find that CCR7 signal termination by the G-protein-coupled receptor kinase 6 (GRK6) is crucial for haptotactic but dispensable for chemotactic CCL21 gradient sensing in vitro and confirm those observations in vivo. These findings suggest that stable, tissue-bound CCL21 gradients as sustainable “roads” ensure optimal guidance in vivo.","lang":"eng"}],"publist_id":"7050","_id":"674","type":"journal_article","external_id":{"isi":["000400741700021"]},"language":[{"iso":"eng"}],"isi":1,"month":"05","ec_funded":1,"page":"1314 - 1325","citation":{"short":"J. Schwarz, V. Bierbaum, K. Vaahtomeri, R. Hauschild, M. Brown, I. de Vries, A.F. Leithner, A. Reversat, J. Merrin, T. Tarrant, M.T. Bollenbach, M.K. Sixt, Current Biology 27 (2017) 1314–1325.","mla":"Schwarz, Jan, et al. “Dendritic Cells Interpret Haptotactic Chemokine Gradients in a Manner Governed by Signal to Noise Ratio and Dependent on GRK6.” <i>Current Biology</i>, vol. 27, no. 9, Cell Press, 2017, pp. 1314–25, doi:<a href=\"https://doi.org/10.1016/j.cub.2017.04.004\">10.1016/j.cub.2017.04.004</a>.","ama":"Schwarz J, Bierbaum V, Vaahtomeri K, et al. Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. <i>Current Biology</i>. 2017;27(9):1314-1325. doi:<a href=\"https://doi.org/10.1016/j.cub.2017.04.004\">10.1016/j.cub.2017.04.004</a>","ieee":"J. Schwarz <i>et al.</i>, “Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6,” <i>Current Biology</i>, vol. 27, no. 9. Cell Press, pp. 1314–1325, 2017.","ista":"Schwarz J, Bierbaum V, Vaahtomeri K, Hauschild R, Brown M, de Vries I, Leithner AF, Reversat A, Merrin J, Tarrant T, Bollenbach MT, Sixt MK. 2017. Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. Current Biology. 27(9), 1314–1325.","apa":"Schwarz, J., Bierbaum, V., Vaahtomeri, K., Hauschild, R., Brown, M., de Vries, I., … Sixt, M. K. (2017). Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. <i>Current Biology</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cub.2017.04.004\">https://doi.org/10.1016/j.cub.2017.04.004</a>","chicago":"Schwarz, Jan, Veronika Bierbaum, Kari Vaahtomeri, Robert Hauschild, Markus Brown, Ingrid de Vries, Alexander F Leithner, et al. “Dendritic Cells Interpret Haptotactic Chemokine Gradients in a Manner Governed by Signal to Noise Ratio and Dependent on GRK6.” <i>Current Biology</i>. Cell Press, 2017. <a href=\"https://doi.org/10.1016/j.cub.2017.04.004\">https://doi.org/10.1016/j.cub.2017.04.004</a>."},"date_created":"2018-12-11T11:47:51Z","intvolume":"        27","publisher":"Cell Press","publication":"Current Biology","volume":27,"publication_identifier":{"issn":["09609822"]},"date_updated":"2025-09-10T14:26:47Z","oa_version":"None","department":[{"_id":"MiSi"},{"_id":"Bio"},{"_id":"NanoFab"}],"title":"Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6","quality_controlled":"1","doi":"10.1016/j.cub.2017.04.004","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"},{"_id":"25A8E5EA-B435-11E9-9278-68D0E5697425","grant_number":"Y 564-B12","name":"Cytoskeletal force generation and force transduction of migrating leukocytes","call_identifier":"FWF"}],"author":[{"id":"346C1EC6-F248-11E8-B48F-1D18A9856A87","last_name":"Schwarz","full_name":"Schwarz, Jan","first_name":"Jan"},{"last_name":"Bierbaum","id":"3FD04378-F248-11E8-B48F-1D18A9856A87","first_name":"Veronika","full_name":"Bierbaum, Veronika"},{"first_name":"Kari","full_name":"Vaahtomeri, Kari","last_name":"Vaahtomeri","id":"368EE576-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7829-3518"},{"id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9843-3522","last_name":"Hauschild","full_name":"Hauschild, Robert","first_name":"Robert"},{"full_name":"Brown, Markus","first_name":"Markus","id":"3DAB9AFC-F248-11E8-B48F-1D18A9856A87","last_name":"Brown"},{"last_name":"De Vries","id":"4C7D837E-F248-11E8-B48F-1D18A9856A87","first_name":"Ingrid","full_name":"De Vries, Ingrid"},{"last_name":"Leithner","orcid":"0000-0002-1073-744X","id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87","first_name":"Alexander F","full_name":"Leithner, Alexander F"},{"id":"35B76592-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0666-8928","last_name":"Reversat","full_name":"Reversat, Anne","first_name":"Anne"},{"full_name":"Merrin, Jack","first_name":"Jack","orcid":"0000-0001-5145-4609","id":"4515C308-F248-11E8-B48F-1D18A9856A87","last_name":"Merrin"},{"first_name":"Teresa","full_name":"Tarrant, Teresa","last_name":"Tarrant"},{"full_name":"Bollenbach, Tobias","first_name":"Tobias","orcid":"0000-0003-4398-476X","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","last_name":"Bollenbach"},{"first_name":"Michael K","full_name":"Sixt, Michael K","last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179"}],"day":"09","date_published":"2017-05-09T00:00:00Z","corr_author":"1","article_processing_charge":"No","publication_status":"published","year":"2017","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"month":"08","language":[{"iso":"eng"}],"article_number":"180","type":"journal_article","abstract":[{"lang":"eng","text":"The complex antiferromagnetic orders observed in the honeycomb iridates are a double-edged sword in the search for a quantum spin-liquid: both attesting that the magnetic interactions provide many of the necessary ingredients, while simultaneously impeding access. Focus has naturally been drawn to the unusual magnetic orders that hint at the underlying spin correlations. However, the study of any particular broken symmetry state generally provides little clue about the possibility of other nearby ground states. Here we use magnetic fields approaching 100 Tesla to reveal the extent of the spin correlations in γ-lithium iridate. We find that a small component of field along the magnetic easy-axis melts long-range order, revealing a bistable, strongly correlated spin state. Far from the usual destruction of antiferromagnetism via spin polarization, the high-field state possesses only a small fraction of the total iridium moment, without evidence for long-range order up to the highest attainable magnetic fields."}],"has_accepted_license":"1","_id":"7064","issue":"1","file_date_updated":"2020-07-14T12:47:48Z","status":"public","extern":"1","oa_version":"Published Version","date_updated":"2021-01-12T08:11:39Z","oa":1,"publication_identifier":{"issn":["2041-1723"]},"volume":8,"article_type":"original","intvolume":"         8","ddc":["530"],"date_created":"2019-11-19T13:11:55Z","citation":{"short":"K.A. Modic, B.J. Ramshaw, J.B. Betts, N.P. Breznay, J.G. Analytis, R.D. McDonald, A. Shekhter, Nature Communications 8 (2017).","mla":"Modic, Kimberly A., et al. “Robust Spin Correlations at High Magnetic Fields in the Harmonic Honeycomb Iridates.” <i>Nature Communications</i>, vol. 8, no. 1, 180, Springer Nature, 2017, doi:<a href=\"https://doi.org/10.1038/s41467-017-00264-6\">10.1038/s41467-017-00264-6</a>.","ama":"Modic KA, Ramshaw BJ, Betts JB, et al. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. <i>Nature Communications</i>. 2017;8(1). doi:<a href=\"https://doi.org/10.1038/s41467-017-00264-6\">10.1038/s41467-017-00264-6</a>","ieee":"K. A. Modic <i>et al.</i>, “Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates,” <i>Nature Communications</i>, vol. 8, no. 1. Springer Nature, 2017.","apa":"Modic, K. A., Ramshaw, B. J., Betts, J. B., Breznay, N. P., Analytis, J. G., McDonald, R. D., &#38; Shekhter, A. (2017). Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-017-00264-6\">https://doi.org/10.1038/s41467-017-00264-6</a>","chicago":"Modic, Kimberly A, B. J. Ramshaw, J. B. Betts, Nicholas P. Breznay, James G. Analytis, Ross D. McDonald, and Arkady Shekhter. “Robust Spin Correlations at High Magnetic Fields in the Harmonic Honeycomb Iridates.” <i>Nature Communications</i>. Springer Nature, 2017. <a href=\"https://doi.org/10.1038/s41467-017-00264-6\">https://doi.org/10.1038/s41467-017-00264-6</a>.","ista":"Modic KA, Ramshaw BJ, Betts JB, Breznay NP, Analytis JG, McDonald RD, Shekhter A. 2017. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. Nature Communications. 8(1), 180."},"publication":"Nature Communications","publisher":"Springer Nature","quality_controlled":"1","doi":"10.1038/s41467-017-00264-6","file":[{"file_name":"2017_NatureComm_Modic.pdf","access_level":"open_access","file_id":"7091","creator":"cziletti","date_updated":"2020-07-14T12:47:48Z","file_size":1242958,"content_type":"application/pdf","checksum":"57fcd59d2f274b6b16cc89ea03cfd440","relation":"main_file","date_created":"2019-11-20T14:12:54Z"}],"title":"Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2017","publication_status":"published","article_processing_charge":"No","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_published":"2017-08-01T00:00:00Z","author":[{"full_name":"Modic, Kimberly A","first_name":"Kimberly A","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425","orcid":"0000-0001-9760-3147","last_name":"Modic"},{"last_name":"Ramshaw","full_name":"Ramshaw, B. J.","first_name":"B. J."},{"last_name":"Betts","full_name":"Betts, J. B.","first_name":"J. B."},{"first_name":"Nicholas P.","full_name":"Breznay, Nicholas P.","last_name":"Breznay"},{"full_name":"Analytis, James G.","first_name":"James G.","last_name":"Analytis"},{"first_name":"Ross D.","full_name":"McDonald, Ross D.","last_name":"McDonald"},{"last_name":"Shekhter","full_name":"Shekhter, Arkady","first_name":"Arkady"}],"day":"01"},{"publisher":"Springer","publication":"Formal Methods in System Design","date_published":"2017-11-14T00:00:00Z","date_created":"2018-12-11T11:48:16Z","citation":{"apa":"Gottlob, G., Henzinger, T. A., &#38; Weißenbacher, G. (2017). Preface of the special issue in memoriam Helmut Veith. <i>Formal Methods in System Design</i>. Springer. <a href=\"https://doi.org/10.1007/s10703-017-0307-6\">https://doi.org/10.1007/s10703-017-0307-6</a>","chicago":"Gottlob, Georg, Thomas A Henzinger, and Georg Weißenbacher. “Preface of the Special Issue in Memoriam Helmut Veith.” <i>Formal Methods in System Design</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s10703-017-0307-6\">https://doi.org/10.1007/s10703-017-0307-6</a>.","ista":"Gottlob G, Henzinger TA, Weißenbacher G. 2017. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 51(2), 267–269.","ama":"Gottlob G, Henzinger TA, Weißenbacher G. Preface of the special issue in memoriam Helmut Veith. <i>Formal Methods in System Design</i>. 2017;51(2):267-269. doi:<a href=\"https://doi.org/10.1007/s10703-017-0307-6\">10.1007/s10703-017-0307-6</a>","ieee":"G. Gottlob, T. A. Henzinger, and G. Weißenbacher, “Preface of the special issue in memoriam Helmut Veith,” <i>Formal Methods in System Design</i>, vol. 51, no. 2. Springer, pp. 267–269, 2017.","mla":"Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” <i>Formal Methods in System Design</i>, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:<a href=\"https://doi.org/10.1007/s10703-017-0307-6\">10.1007/s10703-017-0307-6</a>.","short":"G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269."},"intvolume":"        51","day":"14","page":"267 - 269","author":[{"last_name":"Gottlob","first_name":"Georg","full_name":"Gottlob, Georg"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"first_name":"Georg","full_name":"Weißenbacher, Georg","last_name":"Weißenbacher"}],"volume":51,"article_processing_charge":"No","date_updated":"2023-09-27T12:29:29Z","publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","year":"2017","oa_version":"None","status":"public","title":"Preface of the special issue in memoriam Helmut Veith","department":[{"_id":"ToHe"}],"issue":"2","type":"journal_article","doi":"10.1007/s10703-017-0307-6","quality_controlled":"1","_id":"743","publist_id":"6924","abstract":[{"lang":"eng","text":"This special issue of the Journal on Formal Methods in System Design is dedicated to Prof. Helmut Veith, who unexpectedly passed away in March 2016. Helmut Veith was a brilliant researcher, inspiring collaborator, passionate mentor, generous friend, and valued member of the formal methods community. Helmut was not only known for his numerous and influential contributions in the field of automated verification (most prominently his work on Counterexample-Guided Abstraction Refinement [1,2]), but also for his untiring and passionate efforts for the logic community: he co-organized the Vienna Summer of Logic (an event comprising twelve conferences and numerous workshops which attracted thousands of researchers from all over the world), he initiated the Vienna Center for Logic and Algorithms (which promotes international collaboration on logic and algorithms and organizes outreach events such as the LogicLounge), and he coordinated the Doctoral Program on Logical Methods in Computer Science at TU Wien (currently educating more than 40 doctoral students) and a National Research Network on Rigorous Systems Engineering (uniting fifteen researchers in Austria to address the challenge of building reliable and safe computer\r\nsystems). With his enthusiasm and commitment, Helmut completely reshaped the Austrian research landscape in the field of logic and verification in his few years as a full professor at TU Wien."}],"month":"11","external_id":{"isi":["000415615600001"]},"isi":1,"language":[{"iso":"eng"}]},{"publication_status":"published","year":"2017","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"last_name":"Matsubayashi","first_name":"Yutaka","full_name":"Matsubayashi, Yutaka"},{"first_name":"Adam","full_name":"Louani, Adam","last_name":"Louani"},{"full_name":"Dragu, Anca","first_name":"Anca","last_name":"Dragu"},{"first_name":"Besaiz","full_name":"Sanchez Sanchez, Besaiz","last_name":"Sanchez Sanchez"},{"first_name":"Eduardo","full_name":"Serna Morales, Eduardo","last_name":"Serna Morales"},{"full_name":"Yolland, Lawrence","first_name":"Lawrence","last_name":"Yolland"},{"first_name":"Attila","full_name":"György, Attila","last_name":"György","orcid":"0000-0002-1819-198X","id":"3BCEDBE0-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Vizcay","first_name":"Gema","full_name":"Vizcay, Gema"},{"full_name":"Fleck, Roland","first_name":"Roland","last_name":"Fleck"},{"first_name":"John","full_name":"Heddleston, John","last_name":"Heddleston"},{"last_name":"Chew","full_name":"Chew, Teng","first_name":"Teng"},{"first_name":"Daria E","full_name":"Siekhaus, Daria E","last_name":"Siekhaus","id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8323-8353"},{"full_name":"Stramer, Brian","first_name":"Brian","last_name":"Stramer"}],"pubrep_id":"875","day":"09","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_published":"2017-11-09T00:00:00Z","article_processing_charge":"No","quality_controlled":"1","doi":"10.1016/j.cub.2017.10.001","department":[{"_id":"DaSi"}],"title":"A moving source of matrix components is essential for De Novo basement membrane formation","file":[{"checksum":"264cf6c6c3551486ba5ea786850e000a","content_type":"application/pdf","date_created":"2018-12-12T10:09:45Z","relation":"main_file","file_size":4770657,"creator":"system","date_updated":"2020-07-14T12:47:59Z","file_id":"4770","access_level":"open_access","file_name":"IST-2017-875-v1+1_1-s2.0-S0960982217312691-main.pdf"}],"oa":1,"date_updated":"2023-09-27T12:25:31Z","oa_version":"Published Version","page":"3526 - 3534e.4","ddc":["570","576"],"intvolume":"        27","date_created":"2018-12-11T11:48:18Z","citation":{"short":"Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.","mla":"Matsubayashi, Yutaka, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” <i>Current Biology</i>, vol. 27, no. 22, Cell Press, 2017, p. 3526–3534e.4, doi:<a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">10.1016/j.cub.2017.10.001</a>.","ama":"Matsubayashi Y, Louani A, Dragu A, et al. A moving source of matrix components is essential for De Novo basement membrane formation. <i>Current Biology</i>. 2017;27(22):3526-3534e.4. doi:<a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">10.1016/j.cub.2017.10.001</a>","ieee":"Y. Matsubayashi <i>et al.</i>, “A moving source of matrix components is essential for De Novo basement membrane formation,” <i>Current Biology</i>, vol. 27, no. 22. Cell Press, p. 3526–3534e.4, 2017.","ista":"Matsubayashi Y, Louani A, Dragu A, Sanchez Sanchez B, Serna Morales E, Yolland L, György A, Vizcay G, Fleck R, Heddleston J, Chew T, Siekhaus DE, Stramer B. 2017. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 27(22), 3526–3534e.4.","chicago":"Matsubayashi, Yutaka, Adam Louani, Anca Dragu, Besaiz Sanchez Sanchez, Eduardo Serna Morales, Lawrence Yolland, Attila György, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” <i>Current Biology</i>. Cell Press, 2017. <a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">https://doi.org/10.1016/j.cub.2017.10.001</a>.","apa":"Matsubayashi, Y., Louani, A., Dragu, A., Sanchez Sanchez, B., Serna Morales, E., Yolland, L., … Stramer, B. (2017). A moving source of matrix components is essential for De Novo basement membrane formation. <i>Current Biology</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">https://doi.org/10.1016/j.cub.2017.10.001</a>"},"publisher":"Cell Press","publication":"Current Biology","volume":27,"publication_identifier":{"issn":["09609822"]},"publist_id":"6905","abstract":[{"lang":"eng","text":"The basement membrane (BM) is a thin layer of extracellular matrix (ECM) beneath nearly all epithelial cell types that is critical for cellular and tissue function. It is composed of numerous components conserved among all bilaterians [1]; however, it is unknown how all of these components are generated and subsequently constructed to form a fully mature BM in the living animal. Although BM formation is thought to simply involve a process of self-assembly [2], this concept suffers from a number of logistical issues when considering its construction in vivo. First, incorporation of BM components appears to be hierarchical [3-5], yet it is unclear whether their production during embryogenesis must also be regulated in a temporal fashion. Second, many BM proteins are produced not only by the cells residing on the BM but also by surrounding cell types [6-9], and it is unclear how large, possibly insoluble protein complexes [10] are delivered into the matrix. Here we exploit our ability to live image and genetically dissect de novo BM formation during Drosophila development. This reveals that there is a temporal hierarchy of BM protein production that is essential for proper component incorporation. Furthermore, we show that BM components require secretion by migrating macrophages (hemocytes) during their developmental dispersal, which is critical for embryogenesis. Indeed, hemocyte migration is essential to deliver a subset of ECM components evenly throughout the embryo. This reveals that de novo BM construction requires a combination of both production and distribution logistics allowing for the timely delivery of core components."}],"has_accepted_license":"1","_id":"751","type":"journal_article","language":[{"iso":"eng"}],"isi":1,"external_id":{"isi":["000415815800031"]},"month":"11","status":"public","scopus_import":"1","file_date_updated":"2020-07-14T12:47:59Z","issue":"22"},{"month":"05","language":[{"iso":"eng"}],"type":"dissertation","has_accepted_license":"1","_id":"992","OA_place":"publisher","publist_id":"6407","abstract":[{"text":"An instance of the Constraint Satisfaction Problem (CSP) is given by a finite set of\r\nvariables, a finite domain of labels, and a set of constraints, each constraint acting on\r\na subset of the variables. The goal is to find an assignment of labels to its variables\r\nthat satisfies all constraints (or decide whether one exists). If we allow more general\r\n“soft” constraints, which come with (possibly infinite) costs of particular assignments,\r\nwe obtain instances from a richer class called Valued Constraint Satisfaction Problem\r\n(VCSP). There the goal is to find an assignment with minimum total cost.\r\nIn this thesis, we focus (assuming that P\r\n6\r\n=\r\nNP) on classifying computational com-\r\nplexity of CSPs and VCSPs under certain restricting conditions. Two results are the core\r\ncontent of the work. In one of them, we consider VCSPs parametrized by a constraint\r\nlanguage, that is the set of “soft” constraints allowed to form the instances, and finish\r\nthe complexity classification modulo (missing pieces of) complexity classification for\r\nanalogously parametrized CSP. The other result is a generalization of Edmonds’ perfect\r\nmatching algorithm. This generalization contributes to complexity classfications in two\r\nways. First, it gives a new (largest known) polynomial-time solvable class of Boolean\r\nCSPs in which every variable may appear in at most two constraints and second, it\r\nsettles full classification of Boolean CSPs with planar drawing (again parametrized by a\r\nconstraint language).","lang":"eng"}],"file_date_updated":"2020-07-14T12:48:18Z","acknowledgement":"FP7/2007-2013/ERC grant agreement no 616160","status":"public","alternative_title":["ISTA Thesis"],"oa_version":"Published Version","oa":1,"date_updated":"2026-04-08T14:17:06Z","publication_identifier":{"issn":["2663-337X"]},"publisher":"Institute of Science and Technology Austria","ddc":["004"],"citation":{"short":"M. Rolinek, Complexity of Constraint Satisfaction, Institute of Science and Technology Austria, 2017.","mla":"Rolinek, Michal. <i>Complexity of Constraint Satisfaction</i>. Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_815\">10.15479/AT:ISTA:th_815</a>.","ama":"Rolinek M. Complexity of constraint satisfaction. 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_815\">10.15479/AT:ISTA:th_815</a>","ieee":"M. Rolinek, “Complexity of constraint satisfaction,” Institute of Science and Technology Austria, 2017.","ista":"Rolinek M. 2017. Complexity of constraint satisfaction. Institute of Science and Technology Austria.","chicago":"Rolinek, Michal. “Complexity of Constraint Satisfaction.” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:th_815\">https://doi.org/10.15479/AT:ISTA:th_815</a>.","apa":"Rolinek, M. (2017). <i>Complexity of constraint satisfaction</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:th_815\">https://doi.org/10.15479/AT:ISTA:th_815</a>"},"date_created":"2018-12-11T11:49:35Z","page":"97","ec_funded":1,"degree_awarded":"PhD","project":[{"call_identifier":"FP7","name":"Discrete Optimization in Computer Vision: Theory and Practice","_id":"25FBA906-B435-11E9-9278-68D0E5697425","grant_number":"616160"}],"doi":"10.15479/AT:ISTA:th_815","file":[{"relation":"main_file","date_created":"2018-12-12T10:07:55Z","content_type":"application/pdf","checksum":"81761fb939acb7585c36629f765b4373","file_size":786145,"date_updated":"2020-07-14T12:48:18Z","creator":"system","file_name":"IST-2017-815-v1+3_final_blank_signature_maybe_pdfa.pdf","file_id":"4654","access_level":"open_access"},{"file_size":5936337,"checksum":"2b2d7e1d6c1c79a9795a7aa0f860baf3","content_type":"application/zip","date_created":"2019-04-05T08:43:24Z","relation":"source_file","file_id":"6208","access_level":"closed","file_name":"2017_Thesis_Rolinek_source.zip","creator":"dernst","date_updated":"2020-07-14T12:48:18Z"}],"supervisor":[{"first_name":"Vladimir","full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87"}],"title":"Complexity of constraint satisfaction","department":[{"_id":"VlKo"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","year":"2017","publication_status":"published","article_processing_charge":"No","corr_author":"1","date_published":"2017-05-01T00:00:00Z","day":"01","author":[{"first_name":"Michal","full_name":"Rolinek, Michal","last_name":"Rolinek","id":"3CB3BC06-F248-11E8-B48F-1D18A9856A87"}],"pubrep_id":"815"},{"quality_controlled":"1","doi":"10.1007/s00453-015-9997-6","title":"A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound","department":[{"_id":"KrPi"}],"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2016","date_published":"2016-04-01T00:00:00Z","author":[{"full_name":"Kamath Hosdurg, Chethan","first_name":"Chethan","orcid":"0009-0006-6812-7317","id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","last_name":"Kamath Hosdurg"},{"full_name":"Chatterjee, Sanjit","first_name":"Sanjit","last_name":"Chatterjee"}],"das_tickbox":"1","day":"01","article_processing_charge":"No","type":"journal_article","abstract":[{"lang":"eng","text":"Boldyreva, Palacio and Warinschi introduced a multiple forking game as an extension of general forking. The notion of (multiple) forking is a useful abstraction from the actual simulation of cryptographic scheme to the adversary in a security reduction, and is achieved through the intermediary of a so-called wrapper algorithm. Multiple forking has turned out to be a useful tool in the security argument of several cryptographic protocols. However, a reduction employing multiple forking incurs a significant degradation of (Formula presented.) , where (Formula presented.) denotes the upper bound on the underlying random oracle calls and (Formula presented.) , the number of forkings. In this work we take a closer look at the reasons for the degradation with a tighter security bound in mind. We nail down the exact set of conditions for success in the multiple forking game. A careful analysis of the cryptographic schemes and corresponding security reduction employing multiple forking leads to the formulation of ‘dependence’ and ‘independence’ conditions pertaining to the output of the wrapper in different rounds. Based on the (in)dependence conditions we propose a general framework of multiple forking and a General Multiple Forking Lemma. Leveraging (in)dependence to the full allows us to improve the degradation factor in the multiple forking game by a factor of (Formula presented.). By implication, the cost of a single forking involving two random oracles (augmented forking) matches that involving a single random oracle (elementary forking). Finally, we study the effect of these observations on the concrete security of existing schemes employing multiple forking. We conclude that by careful design of the protocol (and the wrapper in the security reduction) it is possible to harness our observations to the full extent."}],"publist_id":"6177","_id":"1177","month":"04","cryptoeprintid":1,"language":[{"iso":"eng"}],"isi":1,"external_id":{"cryptoeprintid":["2013/651"],"isi":["000373640000005"]},"status":"public","acknowledgement":"We are grateful to the anonymous reviewers for their insightful comments. The\r\ndetailed reports helped us a lot to address the technical mistakes as well as to improve the overall presentation of the paper.","issue":"4","date_updated":"2026-06-22T14:07:33Z","oa":1,"oa_version":"Submitted Version","date_created":"2018-12-11T11:50:33Z","citation":{"ama":"Kamath Hosdurg C, Chatterjee S. A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. <i>Algorithmica</i>. 2016;74(4):1321-1362. doi:<a href=\"https://doi.org/10.1007/s00453-015-9997-6\">10.1007/s00453-015-9997-6</a>","ieee":"C. Kamath Hosdurg and S. Chatterjee, “A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound,” <i>Algorithmica</i>, vol. 74, no. 4. Springer, pp. 1321–1362, 2016.","ista":"Kamath Hosdurg C, Chatterjee S. 2016. A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. Algorithmica. 74(4), 1321–1362.","apa":"Kamath Hosdurg, C., &#38; Chatterjee, S. (2016). A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. <i>Algorithmica</i>. Springer. <a href=\"https://doi.org/10.1007/s00453-015-9997-6\">https://doi.org/10.1007/s00453-015-9997-6</a>","chicago":"Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” <i>Algorithmica</i>. Springer, 2016. <a href=\"https://doi.org/10.1007/s00453-015-9997-6\">https://doi.org/10.1007/s00453-015-9997-6</a>.","short":"C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.","mla":"Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” <i>Algorithmica</i>, vol. 74, no. 4, Springer, 2016, pp. 1321–62, doi:<a href=\"https://doi.org/10.1007/s00453-015-9997-6\">10.1007/s00453-015-9997-6</a>."},"intvolume":"        74","publication":"Algorithmica","publisher":"Springer","page":"1321 - 1362","volume":74,"main_file_link":[{"url":"http://eprint.iacr.org/2013/651","open_access":"1"}]},{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.4230/LIPIcs.ESA.2016.46"}],"volume":57,"publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-95977-015-6"]},"intvolume":"        57","date_created":"2022-08-12T10:58:32Z","citation":{"ista":"Goranci G, Henzinger M, Thorup M. 2016. Incremental exact min-cut in poly-logarithmic amortized update time. 24th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 57, 46.","apa":"Goranci, G., Henzinger, M., &#38; Thorup, M. (2016). Incremental exact min-cut in poly-logarithmic amortized update time. In <i>24th Annual European Symposium on Algorithms</i> (Vol. 57). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPICS.ESA.2016.46\">https://doi.org/10.4230/LIPICS.ESA.2016.46</a>","chicago":"Goranci, Gramoz, Monika Henzinger, and Mikkel Thorup. “Incremental Exact Min-Cut in Poly-Logarithmic Amortized Update Time.” In <i>24th Annual European Symposium on Algorithms</i>, Vol. 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. <a href=\"https://doi.org/10.4230/LIPICS.ESA.2016.46\">https://doi.org/10.4230/LIPICS.ESA.2016.46</a>.","ama":"Goranci G, Henzinger M, Thorup M. Incremental exact min-cut in poly-logarithmic amortized update time. In: <i>24th Annual European Symposium on Algorithms</i>. Vol 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:<a href=\"https://doi.org/10.4230/LIPICS.ESA.2016.46\">10.4230/LIPICS.ESA.2016.46</a>","ieee":"G. Goranci, M. Henzinger, and M. Thorup, “Incremental exact min-cut in poly-logarithmic amortized update time,” in <i>24th Annual European Symposium on Algorithms</i>, Aarhus, Denmark, 2016, vol. 57.","mla":"Goranci, Gramoz, et al. “Incremental Exact Min-Cut in Poly-Logarithmic Amortized Update Time.” <i>24th Annual European Symposium on Algorithms</i>, vol. 57, 46, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:<a href=\"https://doi.org/10.4230/LIPICS.ESA.2016.46\">10.4230/LIPICS.ESA.2016.46</a>.","short":"G. Goranci, M. Henzinger, M. Thorup, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016."},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication":"24th Annual European Symposium on Algorithms","oa_version":"Published Version","alternative_title":["LIPIcs"],"extern":"1","date_updated":"2024-11-06T11:58:55Z","oa":1,"scopus_import":"1","conference":{"end_date":"2016-08-24","location":"Aarhus, Denmark","start_date":"2016-08-22","name":"ESA: Annual European Symposium on Algorithms"},"status":"public","external_id":{"arxiv":["1611.06500"]},"language":[{"iso":"eng"}],"article_number":"46","month":"08","abstract":[{"text":"We present a deterministic incremental algorithm for exactly maintaining the size of a minimum cut with ~O(1) amortized time per edge insertion and O(1) query time. This result partially answers an open question posed by Thorup [Combinatorica 2007]. It also stays in sharp contrast to a polynomial conditional lower-bound for the fully-dynamic weighted minimum cut problem. Our algorithm is obtained by combining a recent sparsification technique of Kawarabayashi and Thorup [STOC 2015] and an exact incremental algorithm of Henzinger [J. of Algorithm 1997].\r\n\r\nWe also study space-efficient incremental algorithms for the minimum cut problem. Concretely, we show that there exists an O(n log n/epsilon^2) space Monte-Carlo algorithm that can process a stream of edge insertions starting from an empty graph, and with high probability, the algorithm maintains a (1+epsilon)-approximation to the minimum cut. The algorithm has ~O(1) amortized update-time and constant query-time.","lang":"eng"}],"_id":"11834","type":"conference","article_processing_charge":"No","arxiv":1,"author":[{"full_name":"Goranci, Gramoz","first_name":"Gramoz","last_name":"Goranci"},{"first_name":"Monika H","full_name":"Henzinger, Monika H","last_name":"Henzinger","orcid":"0000-0002-5008-6530","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"last_name":"Thorup","full_name":"Thorup, Mikkel","first_name":"Mikkel"}],"day":"18","date_published":"2016-08-18T00:00:00Z","year":"2016","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","title":"Incremental exact min-cut in poly-logarithmic amortized update time","quality_controlled":"1","doi":"10.4230/LIPICS.ESA.2016.46"},{"oa_version":"Published Version","alternative_title":["LIPIcs"],"extern":"1","oa":1,"date_updated":"2024-11-06T11:59:06Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.4230/LIPIcs.ESA.2016.48"}],"publication_identifier":{"isbn":["978-3-95977-015-6"],"issn":["1868-8969"]},"volume":57,"date_created":"2022-08-12T11:05:41Z","citation":{"ieee":"M. Henzinger and S. Neumann, “Incremental and fully dynamic subgraph connectivity for emergency planning,” in <i>24th Annual European Symposium on Algorithms</i>, Aarhus, Denmark, 2016, vol. 57.","ama":"Henzinger M, Neumann S. Incremental and fully dynamic subgraph connectivity for emergency planning. In: <i>24th Annual European Symposium on Algorithms</i>. Vol 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:<a href=\"https://doi.org/10.4230/LIPICS.ESA.2016.48\">10.4230/LIPICS.ESA.2016.48</a>","ista":"Henzinger M, Neumann S. 2016. Incremental and fully dynamic subgraph connectivity for emergency planning. 24th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 57, 48.","chicago":"Henzinger, Monika, and Stefan Neumann. “Incremental and Fully Dynamic Subgraph Connectivity for Emergency Planning.” In <i>24th Annual European Symposium on Algorithms</i>, Vol. 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. <a href=\"https://doi.org/10.4230/LIPICS.ESA.2016.48\">https://doi.org/10.4230/LIPICS.ESA.2016.48</a>.","apa":"Henzinger, M., &#38; Neumann, S. (2016). Incremental and fully dynamic subgraph connectivity for emergency planning. In <i>24th Annual European Symposium on Algorithms</i> (Vol. 57). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPICS.ESA.2016.48\">https://doi.org/10.4230/LIPICS.ESA.2016.48</a>","short":"M. Henzinger, S. Neumann, in:, 24th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.","mla":"Henzinger, Monika, and Stefan Neumann. “Incremental and Fully Dynamic Subgraph Connectivity for Emergency Planning.” <i>24th Annual European Symposium on Algorithms</i>, vol. 57, 48, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:<a href=\"https://doi.org/10.4230/LIPICS.ESA.2016.48\">10.4230/LIPICS.ESA.2016.48</a>."},"intvolume":"        57","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication":"24th Annual European Symposium on Algorithms","external_id":{"arxiv":["1611.05248"]},"language":[{"iso":"eng"}],"article_number":"48","month":"08","abstract":[{"text":"During the last 10 years it has become popular to study dynamic graph problems in a emergency planning or sensitivity setting: Instead of considering the general fully dynamic problem, we only have to process a single batch update of size d; after the update we have to answer queries.\r\n\r\nIn this paper, we consider the dynamic subgraph connectivity problem with sensitivity d: We are given a graph of which some vertices are activated and some are deactivated. After that we get a single update in which the states of up to $d$ vertices are changed. Then we get a sequence of connectivity queries in the subgraph of activated vertices.\r\n\r\nWe present the first fully dynamic algorithm for this problem which has an update and query time only slightly worse than the best decremental algorithm. In addition, we present the first incremental algorithm which is tight with respect to the best known conditional lower bound; moreover, the algorithm is simple and we believe it is implementable and efficient in practice.","lang":"eng"}],"_id":"11835","type":"conference","scopus_import":"1","conference":{"name":"ESA: Annual European Symposium on Algorithms","location":"Aarhus, Denmark","end_date":"2016-08-24","start_date":"2016-08-22"},"status":"public","year":"2016","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","article_processing_charge":"No","arxiv":1,"author":[{"last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","orcid":"0000-0002-5008-6530","first_name":"Monika H","full_name":"Henzinger, Monika H"},{"first_name":"Stefan","full_name":"Neumann, Stefan","last_name":"Neumann"}],"day":"18","date_published":"2016-08-18T00:00:00Z","quality_controlled":"1","doi":"10.4230/LIPICS.ESA.2016.48","title":"Incremental and fully dynamic subgraph connectivity for emergency planning"},{"month":"08","language":[{"iso":"eng"}],"external_id":{"arxiv":["1604.08342"]},"article_number":"131","type":"conference","abstract":[{"lang":"eng","text":"Given a graph where vertices are partitioned into k terminals and non-terminals, the goal is to compress the graph (i.e., reduce the number of non-terminals) using minor operations while preserving terminal distances approximately. The distortion of a compressed graph is the maximum multiplicative blow-up of distances between all pairs of terminals. We study the trade-off between the number of non-terminals and the distortion. This problem generalizes the Steiner Point Removal (SPR) problem, in which all non-terminals must be removed.\r\n\r\nWe introduce a novel black-box reduction to convert any lower bound on distortion for the SPR problem into a super-linear lower bound on the number of non-terminals, with the same distortion, for our problem. This allows us to show that there exist graphs such that every minor with distortion less than 2 / 2.5 / 3 must have Omega(k^2) / Omega(k^{5/4}) / Omega(k^{6/5}) non-terminals, plus more trade-offs in between. The black-box reduction has an interesting consequence: if the tight lower bound on distortion for the SPR problem is super-constant, then allowing any O(k) non-terminals will not help improving the lower bound to a constant.\r\n\r\nWe also build on the existing results on spanners, distance oracles and connected 0-extensions to show a number of upper bounds for general graphs, planar graphs, graphs that exclude a fixed minor and bounded treewidth graphs. Among others, we show that any graph admits a minor with O(log k) distortion and O(k^2) non-terminals, and any planar graph admits a minor with\r\n1 + epsilon distortion and ~O((k/epsilon)^2) non-terminals."}],"_id":"11836","conference":{"start_date":"2016-07-12","end_date":"2016-07-15","location":"Rome, Italy","name":"ICALP: International Colloquium on Automata, Languages, and Programming"},"scopus_import":"1","status":"public","alternative_title":["LIPIcs"],"extern":"1","oa_version":"Published Version","oa":1,"date_updated":"2024-11-06T11:58:15Z","publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-95977-013-2"]},"volume":55,"main_file_link":[{"url":"https://doi.org/10.4230/LIPICS.ICALP.2016.131","open_access":"1"}],"intvolume":"        55","citation":{"ama":"Cheung YK, Goranci G, Henzinger M. Graph minors for preserving terminal distances approximately - lower and upper bounds. In: <i>43rd International Colloquium on Automata, Languages, and Programming</i>. Vol 55. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:<a href=\"https://doi.org/10.4230/LIPICS.ICALP.2016.131\">10.4230/LIPICS.ICALP.2016.131</a>","ieee":"Y. K. Cheung, G. Goranci, and M. Henzinger, “Graph minors for preserving terminal distances approximately - lower and upper bounds,” in <i>43rd International Colloquium on Automata, Languages, and Programming</i>, Rome, Italy, 2016, vol. 55.","ista":"Cheung YK, Goranci G, Henzinger M. 2016. Graph minors for preserving terminal distances approximately - lower and upper bounds. 43rd International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 55, 131.","apa":"Cheung, Y. K., Goranci, G., &#38; Henzinger, M. (2016). Graph minors for preserving terminal distances approximately - lower and upper bounds. In <i>43rd International Colloquium on Automata, Languages, and Programming</i> (Vol. 55). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPICS.ICALP.2016.131\">https://doi.org/10.4230/LIPICS.ICALP.2016.131</a>","chicago":"Cheung, Yun Kuen, Gramoz Goranci, and Monika Henzinger. “Graph Minors for Preserving Terminal Distances Approximately - Lower and Upper Bounds.” In <i>43rd International Colloquium on Automata, Languages, and Programming</i>, Vol. 55. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. <a href=\"https://doi.org/10.4230/LIPICS.ICALP.2016.131\">https://doi.org/10.4230/LIPICS.ICALP.2016.131</a>.","short":"Y.K. Cheung, G. Goranci, M. Henzinger, in:, 43rd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.","mla":"Cheung, Yun Kuen, et al. “Graph Minors for Preserving Terminal Distances Approximately - Lower and Upper Bounds.” <i>43rd International Colloquium on Automata, Languages, and Programming</i>, vol. 55, 131, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:<a href=\"https://doi.org/10.4230/LIPICS.ICALP.2016.131\">10.4230/LIPICS.ICALP.2016.131</a>."},"date_created":"2022-08-12T11:16:01Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication":"43rd International Colloquium on Automata, Languages, and Programming","quality_controlled":"1","doi":"10.4230/LIPICS.ICALP.2016.131","title":"Graph minors for preserving terminal distances approximately - lower and upper bounds","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2016","publication_status":"published","arxiv":1,"article_processing_charge":"No","date_published":"2016-08-23T00:00:00Z","author":[{"last_name":"Cheung","full_name":"Cheung, Yun Kuen","first_name":"Yun Kuen"},{"first_name":"Gramoz","full_name":"Goranci, Gramoz","last_name":"Goranci"},{"full_name":"Henzinger, Monika H","first_name":"Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","orcid":"0000-0002-5008-6530","last_name":"Henzinger"}],"day":"23"}]