[{"date_published":"2021-07-06T00:00:00Z","external_id":{"pmid":["34233180"],"isi":["000670188500004"]},"file":[{"file_size":56388540,"content_type":"application/pdf","creator":"cziletti","relation":"main_file","date_created":"2021-07-19T13:32:17Z","checksum":"f056255f6d01fd9a86b5387635928173","file_name":"2021_CellReports_Venturino.pdf","access_level":"open_access","success":1,"date_updated":"2021-07-19T13:32:17Z","file_id":"9693"}],"publication_identifier":{"eissn":["22111247"]},"scopus_import":"1","date_updated":"2023-08-10T14:09:39Z","type":"journal_article","oa_version":"Published Version","day":"06","article_processing_charge":"No","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","acknowledgement":"We thank the scientific service units at IST Austria, especially the IST bioimaging facility, the preclinical facility, and, specifically, Michael Schunn and Sonja Haslinger for excellent support; Plexxikon for the PLX food; the Csicsvari group for advice and equipment for in vivo recording; Jürgen Siegert for the light-entrainment design; Marco Benevento, Soledad Gonzalo Cogno, Pat King, and all Siegert group members for constant feedback on the project and manuscript; Lorena Pantano (PILM Bioinformatics Core) for assisting with sample-size determination for OD plasticity experiments; and Ana Morello from MIT for technical assistance with VEPs recordings. This research was supported by a DOC Fellowship from the Austrian Academy of Sciences at the Institute of Science and Technology Austria to R.S., from the European Union Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Actions program (grants 665385 to G.C.; 754411 to R.J.A.C.), the European Research Council (grant 715571 to S.S.), and the National Eye Institute of the National Institutes of Health under award numbers R01EY029245 (to M.F.B.) and R01EY023037 (diversity supplement to H.D.J-C.).","acknowledged_ssus":[{"_id":"Bio"},{"_id":"PreCl"}],"ec_funded":1,"doi":"10.1016/j.celrep.2021.109313","language":[{"iso":"eng"}],"has_accepted_license":"1","department":[{"_id":"SaSi"}],"file_date_updated":"2021-07-19T13:32:17Z","publisher":"Elsevier","article_type":"original","volume":36,"issue":"1","date_created":"2021-07-11T22:01:16Z","month":"07","article_number":"109313","status":"public","intvolume":"        36","isi":1,"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"},"year":"2021","citation":{"mla":"Venturino, Alessandro, et al. “Microglia Enable Mature Perineuronal Nets Disassembly upon Anesthetic Ketamine Exposure or 60-Hz Light Entrainment in the Healthy Brain.” <i>Cell Reports</i>, vol. 36, no. 1, 109313, Elsevier, 2021, doi:<a href=\"https://doi.org/10.1016/j.celrep.2021.109313\">10.1016/j.celrep.2021.109313</a>.","apa":"Venturino, A., Schulz, R., De Jesús-Cortés, H., Maes, M. E., Nagy, B., Reilly-Andújar, F., … Siegert, S. (2021). Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain. <i>Cell Reports</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.celrep.2021.109313\">https://doi.org/10.1016/j.celrep.2021.109313</a>","ama":"Venturino A, Schulz R, De Jesús-Cortés H, et al. Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain. <i>Cell Reports</i>. 2021;36(1). doi:<a href=\"https://doi.org/10.1016/j.celrep.2021.109313\">10.1016/j.celrep.2021.109313</a>","ieee":"A. Venturino <i>et al.</i>, “Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain,” <i>Cell Reports</i>, vol. 36, no. 1. Elsevier, 2021.","short":"A. Venturino, R. Schulz, H. De Jesús-Cortés, M.E. Maes, B. Nagy, F. Reilly-Andújar, G. Colombo, R.J. Cubero, F.E. Schoot Uiterkamp, M.F. Bear, S. Siegert, Cell Reports 36 (2021).","chicago":"Venturino, Alessandro, Rouven Schulz, Héctor De Jesús-Cortés, Margaret E Maes, Balint Nagy, Francis Reilly-Andújar, Gloria Colombo, et al. “Microglia Enable Mature Perineuronal Nets Disassembly upon Anesthetic Ketamine Exposure or 60-Hz Light Entrainment in the Healthy Brain.” <i>Cell Reports</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.celrep.2021.109313\">https://doi.org/10.1016/j.celrep.2021.109313</a>.","ista":"Venturino A, Schulz R, De Jesús-Cortés H, Maes ME, Nagy B, Reilly-Andújar F, Colombo G, Cubero RJ, Schoot Uiterkamp FE, Bear MF, Siegert S. 2021. Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain. Cell Reports. 36(1), 109313."},"quality_controlled":"1","author":[{"last_name":"Venturino","first_name":"Alessandro","id":"41CB84B2-F248-11E8-B48F-1D18A9856A87","full_name":"Venturino, Alessandro","orcid":"0000-0003-2356-9403"},{"orcid":"0000-0001-5297-733X","full_name":"Schulz, Rouven","id":"4C5E7B96-F248-11E8-B48F-1D18A9856A87","first_name":"Rouven","last_name":"Schulz"},{"full_name":"De Jesús-Cortés, Héctor","first_name":"Héctor","last_name":"De Jesús-Cortés"},{"first_name":"Margaret E","last_name":"Maes","id":"3838F452-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9642-1085","full_name":"Maes, Margaret E"},{"full_name":"Nagy, Balint","id":"93C65ECC-A6F2-11E9-8DF9-9712E6697425","first_name":"Balint","last_name":"Nagy"},{"full_name":"Reilly-Andújar, Francis","first_name":"Francis","last_name":"Reilly-Andújar"},{"first_name":"Gloria","last_name":"Colombo","id":"3483CF6C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9434-8902","full_name":"Colombo, Gloria"},{"id":"850B2E12-9CD4-11E9-837F-E719E6697425","full_name":"Cubero, Ryan J","orcid":"0000-0003-0002-1867","last_name":"Cubero","first_name":"Ryan J"},{"last_name":"Schoot Uiterkamp","first_name":"Florianne E","full_name":"Schoot Uiterkamp, Florianne E","id":"3526230C-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Mark F.","last_name":"Bear","full_name":"Bear, Mark F."},{"last_name":"Siegert","first_name":"Sandra","orcid":"0000-0001-8635-0877","full_name":"Siegert, Sandra","id":"36ACD32E-F248-11E8-B48F-1D18A9856A87"}],"project":[{"grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships"},{"call_identifier":"H2020","_id":"25D4A630-B435-11E9-9278-68D0E5697425","grant_number":"715571","name":"Microglia action towards neuronal circuit formation and function in health and disease"}],"publication_status":"published","abstract":[{"lang":"eng","text":"Perineuronal nets (PNNs), components of the extracellular matrix, preferentially coat parvalbumin-positive interneurons and constrain critical-period plasticity in the adult cerebral cortex. Current strategies to remove PNN are long-lasting, invasive, and trigger neuropsychiatric symptoms. Here, we apply repeated anesthetic ketamine as a method with minimal behavioral effect. We find that this paradigm strongly reduces PNN coating in the healthy adult brain and promotes juvenile-like plasticity. Microglia are critically involved in PNN loss because they engage with parvalbumin-positive neurons in their defined cortical layer. We identify external 60-Hz light-flickering entrainment to recapitulate microglia-mediated PNN removal. Importantly, 40-Hz frequency, which is known to remove amyloid plaques, does not induce PNN loss, suggesting microglia might functionally tune to distinct brain frequencies. Thus, our 60-Hz light-entrainment strategy provides an alternative form of PNN intervention in the healthy adult brain."}],"publication":"Cell Reports","title":"Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain","pmid":1,"ddc":["570"],"related_material":{"link":[{"relation":"press_release","url":"https://ist.ac.at/en/news/the-twinkle-and-the-brain/","description":"News on IST Homepage"}]},"oa":1,"_id":"9642"},{"year":"2021","citation":{"ieee":"K. Chatterjee, E. K. Goharshady, P. Novotný, and D. Zikelic, “Proving non-termination by program reversal,” in <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Online, 2021, pp. 1033–1048.","ama":"Chatterjee K, Goharshady EK, Novotný P, Zikelic D. Proving non-termination by program reversal. In: <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>. Association for Computing Machinery; 2021:1033-1048. doi:<a href=\"https://doi.org/10.1145/3453483.3454093\">10.1145/3453483.3454093</a>","chicago":"Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “Proving Non-Termination by Program Reversal.” In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, 1033–48. Association for Computing Machinery, 2021. <a href=\"https://doi.org/10.1145/3453483.3454093\">https://doi.org/10.1145/3453483.3454093</a>.","short":"K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.","ista":"Chatterjee K, Goharshady EK, Novotný P, Zikelic D. 2021. Proving non-termination by program reversal. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 1033–1048.","apa":"Chatterjee, K., Goharshady, E. K., Novotný, P., &#38; Zikelic, D. (2021). Proving non-termination by program reversal. In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i> (pp. 1033–1048). Online: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3453483.3454093\">https://doi.org/10.1145/3453483.3454093</a>","mla":"Chatterjee, Krishnendu, et al. “Proving Non-Termination by Program Reversal.” <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Association for Computing Machinery, 2021, pp. 1033–48, doi:<a href=\"https://doi.org/10.1145/3453483.3454093\">10.1145/3453483.3454093</a>."},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.01189"}],"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu"},{"full_name":"Goharshady, Ehsan Kafshdar","last_name":"Goharshady","first_name":"Ehsan Kafshdar"},{"id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","full_name":"Novotný, Petr","last_name":"Novotný","first_name":"Petr"},{"id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","first_name":"Dorde","last_name":"Zikelic"}],"quality_controlled":"1","project":[{"grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020"}],"publication_status":"published","abstract":[{"lang":"eng","text":"We present a new approach to proving non-termination of non-deterministic integer programs. Our technique is rather simple but efficient. It relies on a purely syntactic reversal of the program's transition system followed by a constraint-based invariant synthesis with constraints coming from both the original and the reversed transition system. The latter task is performed by a simple call to an off-the-shelf SMT-solver, which allows us to leverage the latest advances in SMT-solving. Moreover, our method offers a combination of features not present (as a whole) in previous approaches: it handles programs with non-determinism, provides relative completeness guarantees and supports programs with polynomial arithmetic. The experiments performed with our prototype tool RevTerm show that our approach, despite its simplicity and stronger theoretical guarantees, is at least on par with the state-of-the-art tools, often achieving a non-trivial improvement under a proper configuration of its parameters."}],"title":"Proving non-termination by program reversal","publication":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","related_material":{"record":[{"id":"14539","relation":"dissertation_contains","status":"public"}]},"oa":1,"_id":"9644","publisher":"Association for Computing Machinery","date_created":"2021-07-11T22:01:17Z","month":"06","conference":{"end_date":"2021-06-26","name":"PLDI: Programming Language Design and Implementation","start_date":"2021-06-20","location":"Online"},"status":"public","isi":1,"type":"conference","date_updated":"2025-07-14T09:10:06Z","oa_version":"Preprint","day":"01","article_processing_charge":"No","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","acknowledgement":"We thank the anonymous reviewers for their helpful comments. This research was partially supported by the ERCCoG 863818 (ForM-SMArt) and the Czech Science Foundation grant No. GJ19-15134Y.","ec_funded":1,"language":[{"iso":"eng"}],"doi":"10.1145/3453483.3454093","department":[{"_id":"KrCh"}],"date_published":"2021-06-01T00:00:00Z","external_id":{"isi":["000723661700067"],"arxiv":["2104.01189"]},"page":"1033-1048","arxiv":1,"publication_identifier":{"isbn":["9781450383912"]},"scopus_import":"1"},{"acknowledgement":"This research was partially supported by the ERC CoG 863818 (ForM-SMArt), the National Natural Science Foundation of China (NSFC) Grant No. 61802254, the Huawei Innovation Research Program, the Facebook PhD Fellowship Program, and DOC Fellowship No. 24956 of the Austrian Academy of Sciences (ÖAW).","department":[{"_id":"KrCh"}],"doi":"10.1145/3453483.3454076","language":[{"iso":"eng"}],"ec_funded":1,"day":"01","oa_version":"Submitted Version","type":"conference","date_updated":"2025-07-14T09:10:06Z","article_processing_charge":"No","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","scopus_import":"1","publication_identifier":{"isbn":["9781450383912"]},"page":"772-787","external_id":{"isi":["000723661700050"]},"date_published":"2021-06-01T00:00:00Z","abstract":[{"lang":"eng","text":"We consider the fundamental problem of reachability analysis over imperative programs with real variables. Previous works that tackle reachability are either unable to handle programs consisting of general loops (e.g. symbolic execution), or lack completeness guarantees (e.g. abstract interpretation), or are not automated (e.g. incorrectness logic). In contrast, we propose a novel approach for reachability analysis that can handle general and complex loops, is complete, and can be entirely automated for a wide family of programs. Through the notion of Inductive Reachability Witnesses (IRWs), our approach extends ideas from both invariant generation and termination to reachability analysis.\r\n\r\nWe first show that our IRW-based approach is sound and complete for reachability analysis of imperative programs. Then, we focus on linear and polynomial programs and develop automated methods for synthesizing linear and polynomial IRWs. In the linear case, we follow the well-known approaches using Farkas' Lemma. Our main contribution is in the polynomial case, where we present a push-button semi-complete algorithm. We achieve this using a novel combination of classical theorems in real algebraic geometry, such as Putinar's Positivstellensatz and Hilbert's Strong Nullstellensatz. Finally, our experimental results show we can prove complex reachability objectives over various benchmarks that were beyond the reach of previous methods."}],"publication_status":"published","project":[{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"},{"_id":"267066CE-B435-11E9-9278-68D0E5697425","name":"Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies"}],"_id":"9645","oa":1,"publication":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","title":"Polynomial reachability witnesses via Stellensätze","year":"2021","author":[{"full_name":"Asadi, Ali","last_name":"Asadi","first_name":"Ali"},{"last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Fu","first_name":"Hongfei","id":"3AAD03D6-F248-11E8-B48F-1D18A9856A87","full_name":"Fu, Hongfei"},{"id":"391365CE-F248-11E8-B48F-1D18A9856A87","full_name":"Goharshady, Amir Kafshdar","orcid":"0000-0003-1702-6584","first_name":"Amir Kafshdar","last_name":"Goharshady"},{"full_name":"Mahdavi, Mohammad","last_name":"Mahdavi","first_name":"Mohammad"}],"quality_controlled":"1","main_file_link":[{"url":"https://hal.archives-ouvertes.fr/hal-03183862/","open_access":"1"}],"citation":{"apa":"Asadi, A., Chatterjee, K., Fu, H., Goharshady, A. K., &#38; Mahdavi, M. (2021). Polynomial reachability witnesses via Stellensätze. In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i> (pp. 772–787). Online: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3453483.3454076\">https://doi.org/10.1145/3453483.3454076</a>","mla":"Asadi, Ali, et al. “Polynomial Reachability Witnesses via Stellensätze.” <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Association for Computing Machinery, 2021, pp. 772–87, doi:<a href=\"https://doi.org/10.1145/3453483.3454076\">10.1145/3453483.3454076</a>.","short":"A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.","chicago":"Asadi, Ali, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Mohammad Mahdavi. “Polynomial Reachability Witnesses via Stellensätze.” In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, 772–87. Association for Computing Machinery, 2021. <a href=\"https://doi.org/10.1145/3453483.3454076\">https://doi.org/10.1145/3453483.3454076</a>.","ista":"Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. 2021. Polynomial reachability witnesses via Stellensätze. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation.  PLDI: Programming Language Design and Implementation, 772–787.","ieee":"A. Asadi, K. Chatterjee, H. Fu, A. K. Goharshady, and M. Mahdavi, “Polynomial reachability witnesses via Stellensätze,” in <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Online, 2021, pp. 772–787.","ama":"Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. Polynomial reachability witnesses via Stellensätze. In: <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>. Association for Computing Machinery; 2021:772-787. doi:<a href=\"https://doi.org/10.1145/3453483.3454076\">10.1145/3453483.3454076</a>"},"status":"public","conference":{"start_date":"2021-06-20","location":"Online","end_date":"2021-06-26","name":" PLDI: Programming Language Design and Implementation"},"month":"06","date_created":"2021-07-11T22:01:17Z","isi":1,"publisher":"Association for Computing Machinery"},{"article_processing_charge":"No","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"01","date_updated":"2025-07-14T09:10:06Z","type":"conference","oa_version":"Preprint","language":[{"iso":"eng"}],"doi":"10.1145/3453483.3454102","department":[{"_id":"KrCh"}],"ec_funded":1,"acknowledgement":"We are very thankful to the anonymous reviewers for the helpful and valuable comments. The work was partially supported by the National Natural Science Foundation of China (NSFC) Grant No. 61802254, the Huawei Innovation Research Program, the ERC CoG 863818 (ForM-SMArt), the Facebook PhD Fellowship Program and DOC Fellowship #24956 of the Austrian Academy of Sciences (ÖAW).","page":"1171-1186","date_published":"2021-06-01T00:00:00Z","external_id":{"isi":["000723661700076"],"arxiv":["2011.14617"]},"publication_identifier":{"isbn":["9781450383912"]},"scopus_import":"1","arxiv":1,"quality_controlled":"1","author":[{"first_name":"Jinyi","last_name":"Wang","full_name":"Wang, Jinyi"},{"first_name":"Yican","last_name":"Sun","full_name":"Sun, Yican"},{"last_name":"Fu","first_name":"Hongfei","id":"3AAD03D6-F248-11E8-B48F-1D18A9856A87","full_name":"Fu, Hongfei"},{"last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"id":"391365CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1702-6584","full_name":"Goharshady, Amir Kafshdar","first_name":"Amir Kafshdar","last_name":"Goharshady"}],"main_file_link":[{"url":"https://arxiv.org/abs/2011.14617","open_access":"1"}],"citation":{"apa":"Wang, J., Sun, Y., Fu, H., Chatterjee, K., &#38; Goharshady, A. K. (2021). Quantitative analysis of assertion violations in probabilistic programs. In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i> (pp. 1171–1186). Online: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3453483.3454102\">https://doi.org/10.1145/3453483.3454102</a>","mla":"Wang, Jinyi, et al. “Quantitative Analysis of Assertion Violations in Probabilistic Programs.” <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Association for Computing Machinery, 2021, pp. 1171–86, doi:<a href=\"https://doi.org/10.1145/3453483.3454102\">10.1145/3453483.3454102</a>.","chicago":"Wang, Jinyi, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Quantitative Analysis of Assertion Violations in Probabilistic Programs.” In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, 1171–86. Association for Computing Machinery, 2021. <a href=\"https://doi.org/10.1145/3453483.3454102\">https://doi.org/10.1145/3453483.3454102</a>.","short":"J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.","ista":"Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. 2021. Quantitative analysis of assertion violations in probabilistic programs. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 1171–1186.","ieee":"J. Wang, Y. Sun, H. Fu, K. Chatterjee, and A. K. Goharshady, “Quantitative analysis of assertion violations in probabilistic programs,” in <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Online, 2021, pp. 1171–1186.","ama":"Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. Quantitative analysis of assertion violations in probabilistic programs. In: <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>. Association for Computing Machinery; 2021:1171-1186. doi:<a href=\"https://doi.org/10.1145/3453483.3454102\">10.1145/3453483.3454102</a>"},"year":"2021","oa":1,"_id":"9646","publication":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","title":"Quantitative analysis of assertion violations in probabilistic programs","publication_status":"published","abstract":[{"lang":"eng","text":"We consider the fundamental problem of deriving quantitative bounds on the probability that a given assertion is violated in a probabilistic program. We provide automated algorithms that obtain both lower and upper bounds on the assertion violation probability. The main novelty of our approach is that we prove new and dedicated fixed-point theorems which serve as the theoretical basis of our algorithms and enable us to reason about assertion violation bounds in terms of pre and post fixed-point functions. To synthesize such fixed-points, we devise algorithms that utilize a wide range of mathematical tools, including repulsing ranking supermartingales, Hoeffding's lemma, Minkowski decompositions, Jensen's inequality, and convex optimization. On the theoretical side, we provide (i) the first automated algorithm for lower-bounds on assertion violation probabilities, (ii) the first complete algorithm for upper-bounds of exponential form in affine programs, and (iii) provably and significantly tighter upper-bounds than the previous approaches. On the practical side, we show our algorithms can handle a wide variety of programs from the literature and synthesize bounds that are remarkably tighter than previous results, in some cases by thousands of orders of magnitude."}],"project":[{"grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"},{"_id":"267066CE-B435-11E9-9278-68D0E5697425","name":"Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies"}],"publisher":"Association for Computing Machinery","isi":1,"status":"public","date_created":"2021-07-11T22:01:18Z","month":"06","conference":{"location":"Online","start_date":"2021-06-20","name":"PLDI: Programming Language Design and Implementation","end_date":"2021-06-26"}},{"language":[{"iso":"eng"}],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","doi":"10.1016/j.tcs.2021.05.023","has_accepted_license":"1","department":[{"_id":"ToHe"},{"_id":"CaGu"}],"acknowledgement":"Tatjana Petrov’s research was supported in part by SNSF Advanced Postdoctoral Mobility Fellowship grant number P300P2 161067, the Ministry of Science, Research and the Arts of the state of Baden-Wurttemberg, and the DFG Centre of Excellence 2117 ‘Centre for the Advanced Study of Collective Behaviour’ (ID: 422037984). Claudia Igler is the recipient of a DOC Fellowship of the Austrian Academy of Sciences. Thomas A. Henzinger’s research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","date_updated":"2023-08-10T14:11:19Z","type":"journal_article","oa_version":"Published Version","day":"04","publication_identifier":{"issn":["0304-3975"]},"scopus_import":"1","date_published":"2021-06-04T00:00:00Z","external_id":{"isi":["000710180500002"]},"file":[{"date_created":"2022-05-12T12:13:27Z","relation":"main_file","file_size":2566504,"creator":"dernst","content_type":"application/pdf","date_updated":"2022-05-12T12:13:27Z","file_id":"11364","success":1,"access_level":"open_access","checksum":"d3aef34cfb13e53bba4cf44d01680793","file_name":"2021_TheoreticalComputerScience_Petrov.pdf"}],"page":"1-16","title":"Long lived transients in gene regulation","publication":"Theoretical Computer Science","ddc":["004"],"oa":1,"_id":"9647","project":[{"grant_number":"Z211","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"publication_status":"published","abstract":[{"text":"Gene expression is regulated by the set of transcription factors (TFs) that bind to the promoter. The ensuing regulating function is often represented as a combinational logic circuit, where output (gene expression) is determined by current input values (promoter bound TFs) only. However, the simultaneous arrival of TFs is a strong assumption, since transcription and translation of genes introduce intrinsic time delays and there is no global synchronisation among the arrival times of different molecular species at their targets. We present an experimentally implementable genetic circuit with two inputs and one output, which in the presence of small delays in input arrival, exhibits qualitatively distinct population-level phenotypes, over timescales that are longer than typical cell doubling times. From a dynamical systems point of view, these phenotypes represent long-lived transients: although they converge to the same value eventually, they do so after a very long time span. The key feature of this toy model genetic circuit is that, despite having only two inputs and one output, it is regulated by twenty-three distinct DNA-TF configurations, two of which are more stable than others (DNA looped states), one promoting and another blocking the expression of the output gene. Small delays in input arrival time result in a majority of cells in the population quickly reaching the stable state associated with the first input, while exiting of this stable state occurs at a slow timescale. In order to mechanistically model the behaviour of this genetic circuit, we used a rule-based modelling language, and implemented a grid-search to find parameter combinations giving rise to long-lived transients. Our analysis shows that in the absence of feedback, there exist path-dependent gene regulatory mechanisms based on the long timescale of transients. The behaviour of this toy model circuit suggests that gene regulatory networks can exploit event timing to create phenotypes, and it opens the possibility that they could use event timing to memorise events, without regulatory feedback. The model reveals the importance of (i) mechanistically modelling the transitions between the different DNA-TF states, and (ii) employing transient analysis thereof.","lang":"eng"}],"citation":{"apa":"Petrov, T., Igler, C., Sezgin, A., Henzinger, T. A., &#38; Guet, C. C. (2021). Long lived transients in gene regulation. <i>Theoretical Computer Science</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.tcs.2021.05.023\">https://doi.org/10.1016/j.tcs.2021.05.023</a>","mla":"Petrov, Tatjana, et al. “Long Lived Transients in Gene Regulation.” <i>Theoretical Computer Science</i>, vol. 893, Elsevier, 2021, pp. 1–16, doi:<a href=\"https://doi.org/10.1016/j.tcs.2021.05.023\">10.1016/j.tcs.2021.05.023</a>.","chicago":"Petrov, Tatjana, Claudia Igler, Ali Sezgin, Thomas A Henzinger, and Calin C Guet. “Long Lived Transients in Gene Regulation.” <i>Theoretical Computer Science</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.tcs.2021.05.023\">https://doi.org/10.1016/j.tcs.2021.05.023</a>.","short":"T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.","ista":"Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. 2021. Long lived transients in gene regulation. Theoretical Computer Science. 893, 1–16.","ieee":"T. Petrov, C. Igler, A. Sezgin, T. A. Henzinger, and C. C. Guet, “Long lived transients in gene regulation,” <i>Theoretical Computer Science</i>, vol. 893. Elsevier, pp. 1–16, 2021.","ama":"Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. Long lived transients in gene regulation. <i>Theoretical Computer Science</i>. 2021;893:1-16. doi:<a href=\"https://doi.org/10.1016/j.tcs.2021.05.023\">10.1016/j.tcs.2021.05.023</a>"},"quality_controlled":"1","author":[{"full_name":"Petrov, Tatjana","first_name":"Tatjana","last_name":"Petrov"},{"last_name":"Igler","first_name":"Claudia","id":"46613666-F248-11E8-B48F-1D18A9856A87","full_name":"Igler, Claudia"},{"first_name":"Ali","last_name":"Sezgin","id":"4C7638DA-F248-11E8-B48F-1D18A9856A87","full_name":"Sezgin, Ali"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","first_name":"Thomas A","last_name":"Henzinger"},{"id":"47F8433E-F248-11E8-B48F-1D18A9856A87","full_name":"Guet, Calin C","orcid":"0000-0001-6220-2052","first_name":"Calin C","last_name":"Guet"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png"},"year":"2021","intvolume":"       893","isi":1,"date_created":"2021-07-11T22:01:18Z","month":"06","status":"public","volume":893,"file_date_updated":"2022-05-12T12:13:27Z","article_type":"original","publisher":"Elsevier"},{"quality_controlled":"1","author":[{"id":"31435098-F248-11E8-B48F-1D18A9856A87","full_name":"Han, Huibin","last_name":"Han","first_name":"Huibin"},{"orcid":"0000-0001-6463-5257","full_name":"Adamowski, Maciek","id":"45F536D2-F248-11E8-B48F-1D18A9856A87","first_name":"Maciek","last_name":"Adamowski"},{"id":"44B04502-A9ED-11E9-B6FC-583AE6697425","full_name":"Qi, Linlin","orcid":"0000-0001-5187-8401","last_name":"Qi","first_name":"Linlin"},{"full_name":"Alotaibi, SS","last_name":"Alotaibi","first_name":"SS"},{"last_name":"Friml","first_name":"Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jiří","orcid":"0000-0002-8302-7596"}],"citation":{"mla":"Han, Huibin, et al. “PIN-Mediated Polar Auxin Transport Regulations in Plant Tropic Responses.” <i>New Phytologist</i>, vol. 232, no. 2, Wiley, 2021, pp. 510–22, doi:<a href=\"https://doi.org/10.1111/nph.17617\">10.1111/nph.17617</a>.","apa":"Han, H., Adamowski, M., Qi, L., Alotaibi, S., &#38; Friml, J. (2021). PIN-mediated polar auxin transport regulations in plant tropic responses. <i>New Phytologist</i>. Wiley. <a href=\"https://doi.org/10.1111/nph.17617\">https://doi.org/10.1111/nph.17617</a>","ama":"Han H, Adamowski M, Qi L, Alotaibi S, Friml J. PIN-mediated polar auxin transport regulations in plant tropic responses. <i>New Phytologist</i>. 2021;232(2):510-522. doi:<a href=\"https://doi.org/10.1111/nph.17617\">10.1111/nph.17617</a>","ieee":"H. Han, M. Adamowski, L. Qi, S. Alotaibi, and J. Friml, “PIN-mediated polar auxin transport regulations in plant tropic responses,” <i>New Phytologist</i>, vol. 232, no. 2. Wiley, pp. 510–522, 2021.","short":"H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist 232 (2021) 510–522.","chicago":"Han, Huibin, Maciek Adamowski, Linlin Qi, SS Alotaibi, and Jiří Friml. “PIN-Mediated Polar Auxin Transport Regulations in Plant Tropic Responses.” <i>New Phytologist</i>. Wiley, 2021. <a href=\"https://doi.org/10.1111/nph.17617\">https://doi.org/10.1111/nph.17617</a>.","ista":"Han H, Adamowski M, Qi L, Alotaibi S, Friml J. 2021. PIN-mediated polar auxin transport regulations in plant tropic responses. New Phytologist. 232(2), 510–522."},"year":"2021","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"},"oa":1,"ddc":["580"],"_id":"9656","publication":"New Phytologist","title":"PIN-mediated polar auxin transport regulations in plant tropic responses","pmid":1,"publication_status":"published","abstract":[{"text":"Tropisms, growth responses to environmental stimuli such as light or gravity, are spectacular examples of adaptive plant development. The plant hormone auxin serves as a major coordinative signal. The PIN auxin exporters, through their dynamic polar subcellular localizations, redirect auxin fluxes in response to environmental stimuli and the resulting auxin gradients across organs underly differential cell elongation and bending. In this review, we discuss recent advances concerning regulations of PIN polarity during tropisms, focusing on PIN phosphorylation and trafficking. We also cover how environmental cues regulate PIN actions during tropisms, and a crucial role of auxin feedback on PIN polarity during bending termination. Finally, the interactions between different tropisms are reviewed to understand plant adaptive growth in the natural environment.","lang":"eng"}],"project":[{"grant_number":"742985","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","_id":"261099A6-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"grant_number":"I03630","name":"Molecular mechanisms of endocytic cargo recognition in plants","call_identifier":"FWF","_id":"26538374-B435-11E9-9278-68D0E5697425"}],"volume":232,"issue":"2","publisher":"Wiley","article_type":"original","file_date_updated":"2021-10-07T13:42:47Z","isi":1,"intvolume":"       232","status":"public","date_created":"2021-07-14T15:29:14Z","month":"10","article_processing_charge":"Yes (via OA deal)","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"01","date_updated":"2023-08-10T14:02:41Z","type":"journal_article","oa_version":"Published Version","language":[{"iso":"eng"}],"doi":"10.1111/nph.17617","has_accepted_license":"1","department":[{"_id":"JiFr"}],"ec_funded":1,"acknowledgement":"We are grateful to Lukas Fiedler, Alexandra Mally (IST Austria) and Dr. Bartel Vanholme (VIB, Ghent) for their critical comments on the manuscript. We apologize to those researchers whose great work was not cited. This work is supported by the European Research Council under the European Union’s Horizon 2020 research and innovation Programme (ERC grant agreement number 742985), and the Austrian Science Fund (FWF, grant number I 3630-B25) to JF. HH is supported by the China Scholarship Council (CSC scholarship, 201506870018) and a starting grant from Jiangxi Agriculture University (9232308314).","page":"510-522","date_published":"2021-10-01T00:00:00Z","external_id":{"pmid":["34254313"],"isi":["000680587100001"]},"file":[{"success":1,"date_updated":"2021-10-07T13:42:47Z","file_id":"10105","file_name":"2021_NewPhytologist_Han.pdf","checksum":"6422a6eb329b52d96279daaee0fcf189","access_level":"open_access","relation":"main_file","date_created":"2021-10-07T13:42:47Z","file_size":1939800,"content_type":"application/pdf","creator":"kschuh"}],"publication_identifier":{"issn":["0028-646x"],"eissn":["1469-8137"]},"scopus_import":"1"},{"publication_status":"published","abstract":[{"lang":"eng","text":"To overcome nitrogen deficiency, legume roots establish symbiotic interactions with nitrogen-fixing rhizobia that is fostered in specialized organs (nodules). Similar to other organs, nodule formation is determined by a local maximum of the phytohormone auxin at the primordium site. However, how auxin regulates nodule development remains poorly understood. Here, we found that in soybean, (Glycine max), dynamic auxin transport driven by PIN-FORMED (PIN) transporter GmPIN1 is involved in nodule primordium formation. GmPIN1 was specifically expressed in nodule primordium cells and GmPIN1 was polarly localized in these cells. Two nodulation regulators, (iso)flavonoids trigger expanded distribution of GmPIN1b to root cortical cells, and cytokinin rearranges GmPIN1b polarity. Gmpin1abc triple mutants generated with CRISPR-Cas9 showed impaired establishment of auxin maxima in nodule meristems and aberrant divisions in the nodule primordium cells. Moreover, overexpression of GmPIN1 suppressed nodule primordium initiation. GmPIN9d, an ortholog of Arabidopsis thaliana PIN2, acts together with GmPIN1 later in nodule development to acropetally transport auxin in vascular bundles, fine-tuning the auxin supply for nodule enlargement. Our findings reveal how PIN-dependent auxin transport modulates different aspects of soybean nodule development and suggest that establishment of auxin gradient is a prerequisite for the proper interaction between legumes and rhizobia."}],"title":"GmPIN-dependent polar auxin transport is involved in soybean nodule development","publication":"Plant Cell","pmid":1,"ddc":["580"],"oa":1,"_id":"9657","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png"},"year":"2021","citation":{"ama":"Gao Z, Chen Z, Cui Y, et al. GmPIN-dependent polar auxin transport is involved in soybean nodule development. <i>Plant Cell</i>. 2021;33(9):2981–3003. doi:<a href=\"https://doi.org/10.1093/plcell/koab183\">10.1093/plcell/koab183</a>","ieee":"Z. Gao <i>et al.</i>, “GmPIN-dependent polar auxin transport is involved in soybean nodule development,” <i>Plant Cell</i>, vol. 33, no. 9. American Society of Plant Biologists, pp. 2981–3003, 2021.","chicago":"Gao, Z, Z Chen, Y Cui, M Ke, H Xu, Q Xu, J Chen, et al. “GmPIN-Dependent Polar Auxin Transport Is Involved in Soybean Nodule Development.” <i>Plant Cell</i>. American Society of Plant Biologists, 2021. <a href=\"https://doi.org/10.1093/plcell/koab183\">https://doi.org/10.1093/plcell/koab183</a>.","short":"Z. Gao, Z. Chen, Y. Cui, M. Ke, H. Xu, Q. Xu, J. Chen, Y. Li, L. Huang, H. Zhao, D. Huang, S. Mai, T. Xu, X. Liu, S. Li, Y. Guan, W. Yang, J. Friml, J. Petrášek, J. Zhang, X. Chen, Plant Cell 33 (2021) 2981–3003.","ista":"Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell. 33(9), 2981–3003.","apa":"Gao, Z., Chen, Z., Cui, Y., Ke, M., Xu, H., Xu, Q., … Chen, X. (2021). GmPIN-dependent polar auxin transport is involved in soybean nodule development. <i>Plant Cell</i>. American Society of Plant Biologists. <a href=\"https://doi.org/10.1093/plcell/koab183\">https://doi.org/10.1093/plcell/koab183</a>","mla":"Gao, Z., et al. “GmPIN-Dependent Polar Auxin Transport Is Involved in Soybean Nodule Development.” <i>Plant Cell</i>, vol. 33, no. 9, American Society of Plant Biologists, 2021, pp. 2981–3003, doi:<a href=\"https://doi.org/10.1093/plcell/koab183\">10.1093/plcell/koab183</a>."},"quality_controlled":"1","author":[{"last_name":"Gao","first_name":"Z","full_name":"Gao, Z"},{"full_name":"Chen, Z","first_name":"Z","last_name":"Chen"},{"last_name":"Cui","first_name":"Y","full_name":"Cui, Y"},{"full_name":"Ke, M","last_name":"Ke","first_name":"M"},{"first_name":"H","last_name":"Xu","full_name":"Xu, H"},{"last_name":"Xu","first_name":"Q","full_name":"Xu, Q"},{"last_name":"Chen","first_name":"J","full_name":"Chen, J"},{"first_name":"Y","last_name":"Li","full_name":"Li, Y"},{"full_name":"Huang, L","last_name":"Huang","first_name":"L"},{"first_name":"H","last_name":"Zhao","full_name":"Zhao, H"},{"full_name":"Huang, D","first_name":"D","last_name":"Huang"},{"full_name":"Mai, S","last_name":"Mai","first_name":"S"},{"last_name":"Xu","first_name":"T","full_name":"Xu, T"},{"full_name":"Liu, X","first_name":"X","last_name":"Liu"},{"full_name":"Li, S","first_name":"S","last_name":"Li"},{"full_name":"Guan, Y","first_name":"Y","last_name":"Guan"},{"last_name":"Yang","first_name":"W","full_name":"Yang, W"},{"full_name":"Friml, Jiří","orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jiří","last_name":"Friml"},{"last_name":"Petrášek","first_name":"J","full_name":"Petrášek, J"},{"first_name":"J","last_name":"Zhang","full_name":"Zhang, J"},{"last_name":"Chen","first_name":"X","full_name":"Chen, X"}],"date_created":"2021-07-14T15:32:43Z","month":"07","status":"public","intvolume":"        33","isi":1,"file_date_updated":"2021-07-19T12:13:34Z","publisher":"American Society of Plant Biologists","article_type":"original","volume":33,"issue":"9","doi":"10.1093/plcell/koab183","language":[{"iso":"eng"}],"department":[{"_id":"JiFr"}],"has_accepted_license":"1","type":"journal_article","date_updated":"2023-08-10T14:01:41Z","oa_version":"Published Version","day":"07","article_processing_charge":"No","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_identifier":{"eissn":["1532-298x"],"issn":["1040-4651"]},"date_published":"2021-07-07T00:00:00Z","file":[{"access_level":"open_access","file_name":"2021_PlantCell_Gao.pdf","checksum":"6715712ec306c321f0204c817b7f8ae7","file_id":"9691","date_updated":"2021-07-19T12:13:34Z","success":1,"file_size":10566921,"creator":"cziletti","content_type":"application/pdf","date_created":"2021-07-19T12:13:34Z","relation":"main_file"}],"external_id":{"pmid":["34240197"],"isi":["000702165300012"]},"page":"2981–3003"},{"publication":"Annual ACM Symposium on Parallelism in Algorithms and Architectures","title":"Efficient load-balancing through distributed token dropping","oa":1,"related_material":{"record":[{"id":"15074","status":"public","relation":"earlier_version"}]},"_id":"9678","project":[{"call_identifier":"H2020","_id":"26A5D39A-B435-11E9-9278-68D0E5697425","grant_number":"840605","name":"Coordination in constrained and natural distributed systems"}],"publication_status":"published","abstract":[{"text":"We introduce a new graph problem, the token dropping game, and we show how to solve it efficiently in a distributed setting. We use the token dropping game as a tool to design an efficient distributed algorithm for stable orientations and more generally for locally optimal semi-matchings. The prior work by Czygrinow et al. (DISC 2012) finds a stable orientation in O(Δ^5) rounds in graphs of maximum degree Δ, while we improve it to O(Δ^4) and also prove a lower bound of Ω(Δ). For the more general problem of locally optimal semi-matchings, the prior upper bound is O(S^5) and our new algorithm runs in O(C · S^4) rounds, which is an improvement for C = o(S); here C and S are the maximum degrees of customers and servers, respectively.","lang":"eng"}],"main_file_link":[{"url":"https://arxiv.org/abs/2005.07761","open_access":"1"}],"citation":{"ama":"Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. Efficient load-balancing through distributed token dropping. In: <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>. ; 2021:129-139. doi:<a href=\"https://doi.org/10.1145/3409964.3461785\">10.1145/3409964.3461785</a>","ieee":"S. Brandt, B. Keller, J. Rybicki, J. Suomela, and J. Uitto, “Efficient load-balancing through distributed token dropping,” in <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>,  Virtual Event, United States, 2021, pp. 129–139.","ista":"Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. 2021. Efficient load-balancing through distributed token dropping. Annual ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures , 129–139.","chicago":"Brandt, Sebastian, Barbara Keller, Joel Rybicki, Jukka Suomela, and Jara Uitto. “Efficient Load-Balancing through Distributed Token Dropping.” In <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, 129–39, 2021. <a href=\"https://doi.org/10.1145/3409964.3461785\">https://doi.org/10.1145/3409964.3461785</a>.","short":"S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.","mla":"Brandt, Sebastian, et al. “Efficient Load-Balancing through Distributed Token Dropping.” <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, 2021, pp. 129–39, doi:<a href=\"https://doi.org/10.1145/3409964.3461785\">10.1145/3409964.3461785</a>.","apa":"Brandt, S., Keller, B., Rybicki, J., Suomela, J., &#38; Uitto, J. (2021). Efficient load-balancing through distributed token dropping. In <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i> (pp. 129–139).  Virtual Event, United States. <a href=\"https://doi.org/10.1145/3409964.3461785\">https://doi.org/10.1145/3409964.3461785</a>"},"author":[{"full_name":"Brandt, Sebastian","last_name":"Brandt","first_name":"Sebastian"},{"first_name":"Barbara","last_name":"Keller","full_name":"Keller, Barbara"},{"full_name":"Rybicki, Joel","orcid":"0000-0002-6432-6646","id":"334EFD2E-F248-11E8-B48F-1D18A9856A87","last_name":"Rybicki","first_name":"Joel"},{"last_name":"Suomela","first_name":"Jukka","full_name":"Suomela, Jukka"},{"full_name":"Uitto, Jara","last_name":"Uitto","first_name":"Jara"}],"quality_controlled":"1","year":"2021","date_created":"2021-07-18T22:01:22Z","conference":{"name":"SPAA: Symposium on Parallelism in Algorithms and Architectures ","end_date":"2021-07-08","start_date":"2021-07-06","location":" Virtual Event, United States"},"month":"07","status":"public","ec_funded":1,"doi":"10.1145/3409964.3461785","language":[{"iso":"eng"}],"department":[{"_id":"DaAl"}],"acknowledgement":"We thank Orr Fischer, Juho Hirvonen, and Tuomo Lempiäinen for valuable discussions. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 840605.","article_processing_charge":"No","user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","date_updated":"2024-03-05T07:13:12Z","type":"conference","oa_version":"Preprint","day":"06","publication_identifier":{"isbn":["9781450380706"]},"scopus_import":"1","arxiv":1,"date_published":"2021-07-06T00:00:00Z","external_id":{"arxiv":["2005.07761"]},"page":"129-139"},{"ec_funded":1,"has_accepted_license":"1","department":[{"_id":"MiLe"}],"language":[{"iso":"eng"}],"doi":"10.1088/1367-2630/ac0576","acknowledgement":"We thank Aidan Tracy for his input during the initial stages of this project. We thank Nathan Harshman, Achim Richter, Wojciech Rzadkowski, and Dane Hudson Smith for helpful discussions and comments on the manuscript. This work has been supported by European Union's Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant Agreement No. 754411 (AGV); by the German Aeronautics and Space Administration (DLR) through Grant No. 50 WM 1957 (OVM); by the Deutsche Forschungsgemeinschaft through Project VO 2437/1-1 (Project No. 413495248) (AGV and HWH); by the Deutsche Forschungsgemeinschaft through Collaborative Research Center SFB 1245 (Project No. 279384907) and by the Bundesministerium für Bildung und Forschung under Contract 05P18RDFN1 (HWH). HWH also thanks the ECT* for hospitality during the workshop 'Universal physics in Many-Body Quantum Systems—From Atoms to Quarks'. This infrastructure is part of a project that has received funding from the European Union's Horizon 2020 research and innovation program under Grant Agreement No. 824093. We acknowledge support by the Deutsche Forschungsgemeinschaft and the Open Access Publishing Fund of Technische Universität Darmstadt.","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"Yes","oa_version":"Published Version","type":"journal_article","date_updated":"2023-08-10T13:58:09Z","day":"23","scopus_import":"1","publication_identifier":{"eissn":["13672630"]},"arxiv":1,"external_id":{"isi":["000664736300001"],"arxiv":["2102.04961"]},"file":[{"relation":"main_file","date_created":"2021-07-19T11:47:16Z","content_type":"application/pdf","creator":"cziletti","file_size":3868445,"success":1,"date_updated":"2021-07-19T11:47:16Z","file_id":"9690","file_name":"2021_NewJPhys_Huber.pdf","checksum":"e39164ce7ea228d287cf8924e1a0f9fe","access_level":"open_access"}],"date_published":"2021-06-23T00:00:00Z","title":"Morphology of three-body quantum states from machine learning","publication":"New Journal of Physics","_id":"9679","oa":1,"ddc":["530"],"project":[{"_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411"}],"abstract":[{"text":"The relative motion of three impenetrable particles on a ring, in our case two identical fermions and one impurity, is isomorphic to a triangular quantum billiard. Depending on the ratio κ of the impurity and fermion masses, the billiards can be integrable or non-integrable (also referred to in the main text as chaotic). To set the stage, we first investigate the energy level distributions of the billiards as a function of 1/κ ∈ [0, 1] and find no evidence of integrable cases beyond the limiting values 1/κ = 1 and 1/κ = 0. Then, we use machine learning tools to analyze properties of probability distributions of individual quantum states. We find that convolutional neural networks can correctly classify integrable and non-integrable states. The decisive features of the wave functions are the normalization and a large number of zero elements, corresponding to the existence of a nodal line. The network achieves typical accuracies of 97%, suggesting that machine learning tools can be used to analyze and classify the morphology of probability densities obtained in theory or experiment.","lang":"eng"}],"publication_status":"published","citation":{"apa":"Huber, D., Marchukov, O. V., Hammer, H. W., &#38; Volosniev, A. (2021). Morphology of three-body quantum states from machine learning. <i>New Journal of Physics</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/1367-2630/ac0576\">https://doi.org/10.1088/1367-2630/ac0576</a>","mla":"Huber, David, et al. “Morphology of Three-Body Quantum States from Machine Learning.” <i>New Journal of Physics</i>, vol. 23, no. 6, 065009, IOP Publishing, 2021, doi:<a href=\"https://doi.org/10.1088/1367-2630/ac0576\">10.1088/1367-2630/ac0576</a>.","short":"D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics 23 (2021).","chicago":"Huber, David, Oleksandr V. Marchukov, Hans Werner Hammer, and Artem Volosniev. “Morphology of Three-Body Quantum States from Machine Learning.” <i>New Journal of Physics</i>. IOP Publishing, 2021. <a href=\"https://doi.org/10.1088/1367-2630/ac0576\">https://doi.org/10.1088/1367-2630/ac0576</a>.","ista":"Huber D, Marchukov OV, Hammer HW, Volosniev A. 2021. Morphology of three-body quantum states from machine learning. New Journal of Physics. 23(6), 065009.","ieee":"D. Huber, O. V. Marchukov, H. W. Hammer, and A. Volosniev, “Morphology of three-body quantum states from machine learning,” <i>New Journal of Physics</i>, vol. 23, no. 6. IOP Publishing, 2021.","ama":"Huber D, Marchukov OV, Hammer HW, Volosniev A. Morphology of three-body quantum states from machine learning. <i>New Journal of Physics</i>. 2021;23(6). doi:<a href=\"https://doi.org/10.1088/1367-2630/ac0576\">10.1088/1367-2630/ac0576</a>"},"author":[{"full_name":"Huber, David","first_name":"David","last_name":"Huber"},{"full_name":"Marchukov, Oleksandr V.","first_name":"Oleksandr V.","last_name":"Marchukov"},{"full_name":"Hammer, Hans Werner","first_name":"Hans Werner","last_name":"Hammer"},{"first_name":"Artem","last_name":"Volosniev","id":"37D278BC-F248-11E8-B48F-1D18A9856A87","full_name":"Volosniev, Artem","orcid":"0000-0003-0393-5525"}],"quality_controlled":"1","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"},"year":"2021","intvolume":"        23","isi":1,"month":"06","date_created":"2021-07-18T22:01:22Z","article_number":"065009","status":"public","issue":"6","volume":23,"file_date_updated":"2021-07-19T11:47:16Z","publisher":"IOP Publishing","article_type":"original"},{"publisher":"Institute of Science and Technology Austria","file_date_updated":"2022-07-29T22:30:05Z","degree_awarded":"PhD","status":"public","month":"07","date_created":"2021-07-27T13:40:30Z","author":[{"id":"469E6004-F248-11E8-B48F-1D18A9856A87","full_name":"Agrawal, Nishchal","last_name":"Agrawal","first_name":"Nishchal"}],"citation":{"ama":"Agrawal N. Transition to turbulence and drag reduction in particle-laden pipe flows. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:9728\">10.15479/at:ista:9728</a>","ieee":"N. Agrawal, “Transition to turbulence and drag reduction in particle-laden pipe flows,” Institute of Science and Technology Austria, 2021.","chicago":"Agrawal, Nishchal. “Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:9728\">https://doi.org/10.15479/at:ista:9728</a>.","short":"N. Agrawal, Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows, Institute of Science and Technology Austria, 2021.","ista":"Agrawal N. 2021. Transition to turbulence and drag reduction in particle-laden pipe flows. Institute of Science and Technology Austria.","apa":"Agrawal, N. (2021). <i>Transition to turbulence and drag reduction in particle-laden pipe flows</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:9728\">https://doi.org/10.15479/at:ista:9728</a>","mla":"Agrawal, Nishchal. <i>Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:9728\">10.15479/at:ista:9728</a>."},"year":"2021","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"},"_id":"9728","ddc":["532"],"related_material":{"record":[{"id":"6189","relation":"part_of_dissertation","status":"public"}]},"oa":1,"title":"Transition to turbulence and drag reduction in particle-laden pipe flows","abstract":[{"text":"Most real-world flows are multiphase, yet we know little about them compared to their single-phase counterparts. Multiphase flows are more difficult to investigate as their dynamics occur in large parameter space and involve complex phenomena such as preferential concentration, turbulence modulation, non-Newtonian rheology, etc. Over the last few decades, experiments in particle-laden flows have taken a back seat in favour of ever-improving computational resources. However, computers are still not powerful enough to simulate a real-world fluid with millions of finite-size particles. Experiments are essential not only because they offer a reliable way to investigate real-world multiphase flows but also because they serve to validate numerical studies and steer the research in a relevant direction. In this work, we have experimentally investigated particle-laden flows in pipes, and in particular, examined the effect of particles on the laminar-turbulent transition and the drag scaling in turbulent flows.\r\n\r\nFor particle-laden pipe flows, an earlier study [Matas et al., 2003] reported how the sub-critical (i.e., hysteretic) transition that occurs via localised turbulent structures called puffs is affected by the addition of particles. In this study, in addition to this known transition, we found a super-critical transition to a globally fluctuating state with increasing particle concentration. At the same time, the Newtonian-type transition via puffs is delayed to larger Reynolds numbers. At an even higher concentration, only the globally fluctuating state is found. The dynamics of particle-laden flows are hence determined by two competing instabilities that give rise to three flow regimes: Newtonian-type turbulence at low, a particle-induced globally fluctuating state at high, and a coexistence state at intermediate concentrations.\r\n\r\nThe effect of particles on turbulent drag is ambiguous, with studies reporting drag reduction, no net change, and even drag increase. The ambiguity arises because, in addition to particle concentration, particle shape, size, and density also affect the net drag. Even similar particles might affect the flow dissimilarly in different Reynolds number and concentration ranges. In the present study, we explored a wide range of both Reynolds number and concentration, using spherical as well as cylindrical particles. We found that the spherical particles do not reduce drag while the cylindrical particles are drag-reducing within a specific Reynolds number interval. The interval strongly depends on the particle concentration and the relative size of the pipe and particles. Within this interval, the magnitude of drag reduction reaches a maximum. These drag reduction maxima appear to fall onto a distinct power-law curve irrespective of the pipe diameter and particle concentration, and this curve can be considered as the maximum drag reduction asymptote for a given fibre shape. Such an asymptote is well known for polymeric flows but had not been identified for particle-laden flows prior to this work.","lang":"eng"}],"publication_status":"published","page":"118","keyword":["Drag Reduction","Transition to Turbulence","Multiphase Flows","particle Laden Flows","Complex Flows","Experiments","Fluid Dynamics"],"file":[{"access_level":"closed","checksum":"77436be3563a90435024307b1b5ee7e8","file_name":"Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows.zip","date_updated":"2022-07-29T22:30:05Z","file_id":"9744","file_size":22859658,"content_type":"application/x-zip-compressed","creator":"nagrawal","date_created":"2021-07-28T13:32:02Z","relation":"source_file","embargo_to":"open_access"},{"embargo":"2022-07-28","file_size":18658048,"creator":"nagrawal","content_type":"application/pdf","date_created":"2021-07-28T13:32:05Z","relation":"main_file","access_level":"open_access","checksum":"72a891d7daba85445c29b868c22575ed","file_name":"Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows.pdf","file_id":"9745","date_updated":"2022-07-29T22:30:05Z"}],"date_published":"2021-07-29T00:00:00Z","publication_identifier":{"issn":["2663-337X"]},"alternative_title":["ISTA Thesis"],"article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","supervisor":[{"last_name":"Hof","first_name":"Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2057-2754","full_name":"Hof, Björn"}],"day":"29","oa_version":"Published Version","type":"dissertation","date_updated":"2024-02-28T13:14:39Z","has_accepted_license":"1","department":[{"_id":"GradSch"},{"_id":"BjHo"}],"doi":"10.15479/at:ista:9728","language":[{"iso":"eng"}],"acknowledged_ssus":[{"_id":"M-Shop"}]},{"publication_status":"published","abstract":[{"lang":"eng","text":"This thesis is the result of the research carried out by the author during his PhD at IST Austria between 2017 and 2021. It mainly focuses on the Fröhlich polaron model, specifically to its regime of strong coupling. This model, which is rigorously introduced and discussed in the introduction, has been of great interest in condensed matter physics and field theory for more than eighty years. It is used to describe an electron interacting with the atoms of a solid material (the strength of this interaction is modeled by the presence of a coupling constant α in the Hamiltonian of the system). The particular regime examined here, which is mathematically described by considering the limit α →∞, displays many interesting features related to the emergence of classical behavior, which allows for a simplified effective description of the system under analysis. The properties, the range of validity and a quantitative analysis of the precision of such classical approximations are the main object of the present work. We specify our investigation to the study of the ground state energy of the system, its dynamics and its effective mass. For each of these problems, we provide in the introduction an overview of the previously known results and a detailed account of the original contributions by the author."}],"project":[{"call_identifier":"H2020","_id":"256E75B8-B435-11E9-9278-68D0E5697425","name":"Optimal Transport and Stochastic Dynamics","grant_number":"716117"},{"_id":"25C6DC12-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"694227","name":"Analysis of quantum many-body systems"},{"name":"Taming Complexity in Partial Differential Systems","grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2"}],"oa":1,"related_material":{"record":[{"id":"9787","status":"public","relation":"part_of_dissertation"},{"id":"9792","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"9225"},{"id":"9781","status":"public","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"9791"}]},"ddc":["515","519","539"],"_id":"9733","title":"The polaron at strong coupling","year":"2021","tmp":{"name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)","image":"/image/cc_by_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","short":"CC BY-ND (4.0)"},"author":[{"first_name":"Dario","last_name":"Feliciangeli","orcid":"0000-0003-0754-8530","full_name":"Feliciangeli, Dario","id":"41A639AA-F248-11E8-B48F-1D18A9856A87"}],"citation":{"mla":"Feliciangeli, Dario. <i>The Polaron at Strong Coupling</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:9733\">10.15479/at:ista:9733</a>.","apa":"Feliciangeli, D. (2021). <i>The polaron at strong coupling</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:9733\">https://doi.org/10.15479/at:ista:9733</a>","ista":"Feliciangeli D. 2021. The polaron at strong coupling. Institute of Science and Technology Austria.","chicago":"Feliciangeli, Dario. “The Polaron at Strong Coupling.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:9733\">https://doi.org/10.15479/at:ista:9733</a>.","short":"D. Feliciangeli, The Polaron at Strong Coupling, Institute of Science and Technology Austria, 2021.","ama":"Feliciangeli D. The polaron at strong coupling. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:9733\">10.15479/at:ista:9733</a>","ieee":"D. Feliciangeli, “The polaron at strong coupling,” Institute of Science and Technology Austria, 2021."},"status":"public","date_created":"2021-07-27T15:48:30Z","month":"08","degree_awarded":"PhD","publisher":"Institute of Science and Technology Austria","file_date_updated":"2022-03-10T12:13:57Z","doi":"10.15479/at:ista:9733","license":"https://creativecommons.org/licenses/by-nd/4.0/","language":[{"iso":"eng"}],"department":[{"_id":"GradSch"},{"_id":"RoSe"},{"_id":"JaMa"}],"has_accepted_license":"1","ec_funded":1,"day":"20","supervisor":[{"last_name":"Seiringer","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Seiringer, Robert","orcid":"0000-0002-6781-0521"},{"id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0845-1338","full_name":"Maas, Jan","last_name":"Maas","first_name":"Jan"}],"date_updated":"2024-03-06T12:30:44Z","type":"dissertation","oa_version":"Published Version","article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication_identifier":{"issn":["2663-337X"]},"alternative_title":["ISTA Thesis"],"page":"180","date_published":"2021-08-20T00:00:00Z","file":[{"date_created":"2021-08-19T14:03:48Z","relation":"main_file","content_type":"application/pdf","creator":"dfelicia","file_size":1958710,"date_updated":"2021-09-06T09:28:56Z","file_id":"9944","access_level":"open_access","file_name":"Thesis_FeliciangeliA.pdf","checksum":"e88bb8ca43948abe060eb2d2fa719881"},{"access_level":"closed","file_name":"thesis.7z","checksum":"72810843abee83705853505b3f8348aa","date_updated":"2022-03-10T12:13:57Z","file_id":"9945","content_type":"application/octet-stream","creator":"dfelicia","file_size":3771669,"date_created":"2021-08-19T14:06:35Z","relation":"source_file"}]},{"publication_identifier":{"eissn":["2050-084X"]},"scopus_import":"1","date_published":"2021-07-28T00:00:00Z","external_id":{"pmid":["34318749"],"isi":["000692027800001"]},"acknowledgement":"We would like to thank Leif Tueffers and João Botelho for discussions and suggestions as well as Kira Haas and Julia Bunk for technical support. We acknowledge financial support from the German Science Foundation (grant SCHU 1415/12-2 to HS, and funding under Germany’s Excellence Strategy EXC 2167–390884018 as well as the Research Training Group 2501 TransEvo to HS and SN), the Max Planck Society (IMPRS scholarship to AB; Max-Planck fellowship to HS), and the Leibniz Science Campus Evolutionary Medicine of the Lung (EvoLUNG, to HS and SN). This work was further supported by the German Science Foundation Research Infrastructure NGS_CC (project 407495230) as part of the Next Generation Sequencing Competence Network (project 423957469). NGS analyses were carried out at the Competence Centre for Genomic Analysis Kiel (CCGA Kiel).","doi":"10.7554/elife.68876","language":[{"iso":"eng"}],"department":[{"_id":"CaGu"}],"date_updated":"2023-08-11T10:26:29Z","type":"journal_article","oa_version":"Published Version","day":"28","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","date_created":"2021-07-28T13:36:57Z","month":"07","status":"public","article_number":"e68876","intvolume":"        10","isi":1,"publisher":"eLife Sciences Publications","article_type":"original","volume":10,"publication_status":"published","abstract":[{"text":"Evolutionary adaptation is a major source of antibiotic resistance in bacterial pathogens. Evolution-informed therapy aims to constrain resistance by accounting for bacterial evolvability. Sequential treatments with antibiotics that target different bacterial processes were previously shown to limit adaptation through genetic resistance trade-offs and negative hysteresis. Treatment with homogeneous sets of antibiotics is generally viewed to be disadvantageous, as it should rapidly lead to cross-resistance. We here challenged this assumption by determining the evolutionary response of Pseudomonas aeruginosa to experimental sequential treatments involving both heterogenous and homogeneous antibiotic sets. To our surprise, we found that fast switching between only β-lactam antibiotics resulted in increased extinction of bacterial populations. We demonstrate that extinction is favored by low rates of spontaneous resistance emergence and low levels of spontaneous cross-resistance among the antibiotics in sequence. The uncovered principles may help to guide the optimized use of available antibiotics in highly potent, evolution-informed treatment designs.","lang":"eng"}],"publication":"eLife","title":"High potency of sequential therapy with only beta-lactam antibiotics","pmid":1,"oa":1,"_id":"9746","year":"2021","main_file_link":[{"url":"https://doi.org/10.7554/eLife.68876","open_access":"1"}],"citation":{"mla":"Batra, Aditi, et al. “High Potency of Sequential Therapy with Only Beta-Lactam Antibiotics.” <i>ELife</i>, vol. 10, e68876, eLife Sciences Publications, 2021, doi:<a href=\"https://doi.org/10.7554/elife.68876\">10.7554/elife.68876</a>.","apa":"Batra, A., Römhild, R., Rousseau, E., Franzenburg, S., Niemann, S., &#38; Schulenburg, H. (2021). High potency of sequential therapy with only beta-lactam antibiotics. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/elife.68876\">https://doi.org/10.7554/elife.68876</a>","chicago":"Batra, Aditi, Roderich Römhild, Emilie Rousseau, Sören Franzenburg, Stefan Niemann, and Hinrich Schulenburg. “High Potency of Sequential Therapy with Only Beta-Lactam Antibiotics.” <i>ELife</i>. eLife Sciences Publications, 2021. <a href=\"https://doi.org/10.7554/elife.68876\">https://doi.org/10.7554/elife.68876</a>.","short":"A. Batra, R. Römhild, E. Rousseau, S. Franzenburg, S. Niemann, H. Schulenburg, ELife 10 (2021).","ista":"Batra A, Römhild R, Rousseau E, Franzenburg S, Niemann S, Schulenburg H. 2021. High potency of sequential therapy with only beta-lactam antibiotics. eLife. 10, e68876.","ama":"Batra A, Römhild R, Rousseau E, Franzenburg S, Niemann S, Schulenburg H. High potency of sequential therapy with only beta-lactam antibiotics. <i>eLife</i>. 2021;10. doi:<a href=\"https://doi.org/10.7554/elife.68876\">10.7554/elife.68876</a>","ieee":"A. Batra, R. Römhild, E. Rousseau, S. Franzenburg, S. Niemann, and H. Schulenburg, “High potency of sequential therapy with only beta-lactam antibiotics,” <i>eLife</i>, vol. 10. eLife Sciences Publications, 2021."},"quality_controlled":"1","author":[{"full_name":"Batra, Aditi","last_name":"Batra","first_name":"Aditi"},{"last_name":"Römhild","first_name":"Roderich","full_name":"Römhild, Roderich","orcid":"0000-0001-9480-5261","id":"68E56E44-62B0-11EA-B963-444F3DDC885E"},{"full_name":"Rousseau, Emilie","first_name":"Emilie","last_name":"Rousseau"},{"full_name":"Franzenburg, Sören","last_name":"Franzenburg","first_name":"Sören"},{"last_name":"Niemann","first_name":"Stefan","full_name":"Niemann, Stefan"},{"first_name":"Hinrich","last_name":"Schulenburg","full_name":"Schulenburg, Hinrich"}]},{"volume":169,"publisher":"Humana","intvolume":"       169","place":"New York","month":"07","date_created":"2021-07-30T09:34:56Z","status":"public","citation":{"short":"W. Kaufmann, D. Kleindienst, H. Harada, R. Shigemoto, in:,  Receptor and Ion Channel Detection in the Brain, Humana, New York, 2021, pp. 267–283.","chicago":"Kaufmann, Walter, David Kleindienst, Harumi Harada, and Ryuichi Shigemoto. “High-Resolution Localization and Quantitation of Membrane Proteins by SDS-Digested Freeze-Fracture Replica Labeling (SDS-FRL).” In <i> Receptor and Ion Channel Detection in the Brain</i>, 169:267–83. Neuromethods. New York: Humana, 2021. <a href=\"https://doi.org/10.1007/978-1-0716-1522-5_19\">https://doi.org/10.1007/978-1-0716-1522-5_19</a>.","ista":"Kaufmann W, Kleindienst D, Harada H, Shigemoto R. 2021.High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL). In:  Receptor and Ion Channel Detection in the Brain. Neuromethods, vol. 169, 267–283.","ama":"Kaufmann W, Kleindienst D, Harada H, Shigemoto R. High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL). In: <i> Receptor and Ion Channel Detection in the Brain</i>. Vol 169. Neuromethods. New York: Humana; 2021:267-283. doi:<a href=\"https://doi.org/10.1007/978-1-0716-1522-5_19\">10.1007/978-1-0716-1522-5_19</a>","ieee":"W. Kaufmann, D. Kleindienst, H. Harada, and R. Shigemoto, “High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL),” in <i> Receptor and Ion Channel Detection in the Brain</i>, vol. 169, New York: Humana, 2021, pp. 267–283.","mla":"Kaufmann, Walter, et al. “High-Resolution Localization and Quantitation of Membrane Proteins by SDS-Digested Freeze-Fracture Replica Labeling (SDS-FRL).” <i> Receptor and Ion Channel Detection in the Brain</i>, vol. 169, Humana, 2021, pp. 267–83, doi:<a href=\"https://doi.org/10.1007/978-1-0716-1522-5_19\">10.1007/978-1-0716-1522-5_19</a>.","apa":"Kaufmann, W., Kleindienst, D., Harada, H., &#38; Shigemoto, R. (2021). High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL). In <i> Receptor and Ion Channel Detection in the Brain</i> (Vol. 169, pp. 267–283). New York: Humana. <a href=\"https://doi.org/10.1007/978-1-0716-1522-5_19\">https://doi.org/10.1007/978-1-0716-1522-5_19</a>"},"quality_controlled":"1","author":[{"id":"3F99E422-F248-11E8-B48F-1D18A9856A87","full_name":"Kaufmann, Walter","orcid":"0000-0001-9735-5315","first_name":"Walter","last_name":"Kaufmann"},{"full_name":"Kleindienst, David","id":"42E121A4-F248-11E8-B48F-1D18A9856A87","first_name":"David","last_name":"Kleindienst"},{"last_name":"Harada","first_name":"Harumi","id":"2E55CDF2-F248-11E8-B48F-1D18A9856A87","full_name":"Harada, Harumi","orcid":"0000-0001-7429-7896"},{"first_name":"Ryuichi","last_name":"Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi"}],"year":"2021","title":"High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL)","publication":" Receptor and Ion Channel Detection in the Brain","_id":"9756","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"9562"}]},"ddc":["573"],"project":[{"grant_number":"694539","name":"In situ analysis of single channel subunit composition in neurons: physiological implication in synaptic plasticity and behaviour","_id":"25CA28EA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"call_identifier":"H2020","_id":"25CBA828-B435-11E9-9278-68D0E5697425","grant_number":"720270","name":"Human Brain Project Specific Grant Agreement 1 (HBP SGA 1)"}],"abstract":[{"text":"High-resolution visualization and quantification of membrane proteins contribute to the understanding of their functions and the roles they play in physiological and pathological conditions. Sodium dodecyl sulfate-digested freeze-fracture replica labeling (SDS-FRL) is a powerful electron microscopy method to study quantitatively the two-dimensional distribution of transmembrane proteins and their tightly associated proteins. During treatment with SDS, intracellular organelles and proteins not anchored to the replica are dissolved, whereas integral membrane proteins captured and stabilized by carbon/platinum deposition remain on the replica. Their intra- and extracellular domains become exposed on the surface of the replica, facilitating the accessibility of antibodies and, therefore, providing higher labeling efficiency than those obtained with other immunoelectron microscopy techniques. In this chapter, we describe the protocols of SDS-FRL adapted for mammalian brain samples, and optimization of the SDS treatment to increase the labeling efficiency for quantification of Cav2.1, the alpha subunit of P/Q-type voltage-dependent calcium channels utilizing deep learning algorithms.","lang":"eng"}],"publication_status":"published","keyword":["Freeze-fracture replica: Deep learning","Immunogold labeling","Integral membrane protein","Electron microscopy"],"date_published":"2021-07-27T00:00:00Z","page":"267-283","alternative_title":["Neuromethods"],"publication_identifier":{"eisbn":["9781071615225"],"isbn":["9781071615218"]},"user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","article_processing_charge":"No","oa_version":"None","series_title":"Neuromethods","date_updated":"2024-03-25T23:30:16Z","type":"book_chapter","day":"27","ec_funded":1,"has_accepted_license":"1","department":[{"_id":"RySh"},{"_id":"EM-Fac"}],"doi":"10.1007/978-1-0716-1522-5_19","language":[{"iso":"eng"}],"acknowledgement":"This work was supported by the European Union (European Research Council Advanced grant no. 694539 and Human Brain Project Ref. 720270 to R. S.) and the Austrian Academy of Sciences (DOC fellowship to D.K.)."},{"article_processing_charge":"Yes","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","date_updated":"2023-08-10T14:16:46Z","oa_version":"Published Version","day":"15","doi":"10.1371/journal.pcbi.1009124","language":[{"iso":"eng"}],"department":[{"_id":"CaHe"}],"has_accepted_license":"1","acknowledgement":"The authors thank Inez Lam of Johns Hopkins University for valuable comments on an earlier version of the manuscript. We also thank the facilitators of the 2019–2020 eLife Community Ambassador program.","date_published":"2021-07-15T00:00:00Z","file":[{"date_updated":"2021-08-05T12:06:49Z","file_id":"9771","access_level":"open_access","checksum":"e56d91f0eeadb36f143a90e2c1b3ab63","file_name":"2021_PlosCompBio_Bartlett.pdf","date_created":"2021-08-05T12:06:49Z","relation":"main_file","content_type":"application/pdf","creator":"cchlebak","file_size":693633}],"external_id":{"pmid":["34264932"],"isi":["000677713500008"]},"publication_identifier":{"eissn":["15537358"],"issn":["1553734X"]},"scopus_import":"1","citation":{"mla":"Bartlett, Michael John, et al. “Ten Simple Rules to Improve Academic Work- Life Balance.” <i>PLoS Computational Biology</i>, vol. 17, no. 7, e1009124, Public Library of Science, 2021, doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1009124\">10.1371/journal.pcbi.1009124</a>.","apa":"Bartlett, M. J., Arslan, F. N., Bankston, A., &#38; Sarabipour, S. (2021). Ten simple rules to improve academic work- life balance. <i>PLoS Computational Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pcbi.1009124\">https://doi.org/10.1371/journal.pcbi.1009124</a>","ama":"Bartlett MJ, Arslan FN, Bankston A, Sarabipour S. Ten simple rules to improve academic work- life balance. <i>PLoS Computational Biology</i>. 2021;17(7). doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1009124\">10.1371/journal.pcbi.1009124</a>","ieee":"M. J. Bartlett, F. N. Arslan, A. Bankston, and S. Sarabipour, “Ten simple rules to improve academic work- life balance,” <i>PLoS Computational Biology</i>, vol. 17, no. 7. Public Library of Science, 2021.","chicago":"Bartlett, Michael John, Feyza N Arslan, Adriana Bankston, and Sarvenaz Sarabipour. “Ten Simple Rules to Improve Academic Work- Life Balance.” <i>PLoS Computational Biology</i>. Public Library of Science, 2021. <a href=\"https://doi.org/10.1371/journal.pcbi.1009124\">https://doi.org/10.1371/journal.pcbi.1009124</a>.","short":"M.J. Bartlett, F.N. Arslan, A. Bankston, S. Sarabipour, PLoS Computational Biology 17 (2021).","ista":"Bartlett MJ, Arslan FN, Bankston A, Sarabipour S. 2021. Ten simple rules to improve academic work- life balance. PLoS Computational Biology. 17(7), e1009124."},"author":[{"last_name":"Bartlett","first_name":"Michael John","full_name":"Bartlett, Michael John"},{"last_name":"Arslan","first_name":"Feyza N","orcid":"0000-0001-5809-9566","full_name":"Arslan, Feyza N","id":"49DA7910-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Bankston, Adriana","last_name":"Bankston","first_name":"Adriana"},{"first_name":"Sarvenaz","last_name":"Sarabipour","full_name":"Sarabipour, Sarvenaz"}],"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"},"year":"2021","title":"Ten simple rules to improve academic work- life balance","publication":"PLoS Computational Biology","pmid":1,"ddc":["613"],"oa":1,"_id":"9759","publication_status":"published","volume":17,"issue":"7","file_date_updated":"2021-08-05T12:06:49Z","publisher":"Public Library of Science","article_type":"letter_note","intvolume":"        17","isi":1,"date_created":"2021-08-01T22:01:21Z","month":"07","status":"public","article_number":"e1009124"},{"scopus_import":"1","publication_identifier":{"eissn":["2521-327X"]},"arxiv":1,"external_id":{"arxiv":["2101.05742"],"isi":["000669830600001"]},"file":[{"relation":"main_file","date_created":"2021-08-06T06:44:31Z","file_size":2312482,"content_type":"application/pdf","creator":"cchlebak","file_id":"9774","date_updated":"2021-08-06T06:44:31Z","file_name":"2021_Quantum_Sack.pdf","checksum":"9706c2bb8e748e9b5b138381995a7f6f","access_level":"open_access"}],"date_published":"2021-07-01T00:00:00Z","ec_funded":1,"department":[{"_id":"GradSch"},{"_id":"MaSe"}],"has_accepted_license":"1","language":[{"iso":"eng"}],"doi":"10.22331/Q-2021-07-01-491","acknowledgement":"We would like to thank D. Abanin and R. Medina for fruitful discussions and A. Smith and I. Kim for valuable feedback on the manuscript. We acknowledge support by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant Agreement No. 850899).","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"Yes","oa_version":"Published Version","date_updated":"2023-12-13T14:47:25Z","type":"journal_article","day":"01","intvolume":"         5","isi":1,"month":"07","date_created":"2021-08-01T22:01:21Z","article_number":"491","status":"public","volume":5,"file_date_updated":"2021-08-06T06:44:31Z","publisher":"Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften","article_type":"original","title":"Quantum annealing initialization of the quantum approximate optimization algorithm","publication":"Quantum","_id":"9760","ddc":["530"],"related_material":{"record":[{"id":"14622","relation":"dissertation_contains","status":"public"}]},"oa":1,"project":[{"grant_number":"850899","name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E","call_identifier":"H2020"}],"abstract":[{"text":"The quantum approximate optimization algorithm (QAOA) is a prospective near-term quantum algorithm due to its modest circuit depth and promising benchmarks. However, an external parameter optimization required in the QAOA could become a performance bottleneck. This motivates studies of the optimization landscape and search for heuristic ways of parameter initialization. In this work we visualize the optimization landscape of the QAOA applied to the MaxCut problem on random graphs, demonstrating that random initialization of the QAOA is prone to converging to local minima with suboptimal performance. We introduce the initialization of QAOA parameters based on the Trotterized quantum annealing (TQA) protocol, parameterized by the Trotter time step. We find that the TQA initialization allows to circumvent\r\nthe issue of false minima for a broad range of time steps, yielding the same performance as the best result out of an exponentially scaling number of random initializations. Moreover, we demonstrate that the optimal value of the time step coincides with the point of proliferation of Trotter errors in quantum annealing. Our results suggest practical ways of initializing QAOA protocols on near-term quantum devices and reveal new connections between QAOA and quantum annealing.","lang":"eng"}],"publication_status":"published","citation":{"apa":"Sack, S., &#38; Serbyn, M. (2021). Quantum annealing initialization of the quantum approximate optimization algorithm. <i>Quantum</i>. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften. <a href=\"https://doi.org/10.22331/Q-2021-07-01-491\">https://doi.org/10.22331/Q-2021-07-01-491</a>","mla":"Sack, Stefan, and Maksym Serbyn. “Quantum Annealing Initialization of the Quantum Approximate Optimization Algorithm.” <i>Quantum</i>, vol. 5, 491, Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2021, doi:<a href=\"https://doi.org/10.22331/Q-2021-07-01-491\">10.22331/Q-2021-07-01-491</a>.","short":"S. Sack, M. Serbyn, Quantum 5 (2021).","chicago":"Sack, Stefan, and Maksym Serbyn. “Quantum Annealing Initialization of the Quantum Approximate Optimization Algorithm.” <i>Quantum</i>. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2021. <a href=\"https://doi.org/10.22331/Q-2021-07-01-491\">https://doi.org/10.22331/Q-2021-07-01-491</a>.","ista":"Sack S, Serbyn M. 2021. Quantum annealing initialization of the quantum approximate optimization algorithm. Quantum. 5, 491.","ama":"Sack S, Serbyn M. Quantum annealing initialization of the quantum approximate optimization algorithm. <i>Quantum</i>. 2021;5. doi:<a href=\"https://doi.org/10.22331/Q-2021-07-01-491\">10.22331/Q-2021-07-01-491</a>","ieee":"S. Sack and M. Serbyn, “Quantum annealing initialization of the quantum approximate optimization algorithm,” <i>Quantum</i>, vol. 5. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2021."},"quality_controlled":"1","author":[{"first_name":"Stefan","last_name":"Sack","orcid":"0000-0001-5400-8508","full_name":"Sack, Stefan","id":"dd622248-f6e0-11ea-865d-ce382a1c81a5"},{"orcid":"0000-0002-2399-5827","full_name":"Serbyn, Maksym","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","last_name":"Serbyn","first_name":"Maksym"}],"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"},"year":"2021"},{"file_date_updated":"2021-08-04T14:01:30Z","publisher":"MDPI","article_type":"original","issue":"7","volume":10,"date_created":"2021-08-01T22:01:22Z","month":"06","article_number":"1593","status":"public","intvolume":"        10","isi":1,"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"},"year":"2021","citation":{"ista":"Muench NA, Patel S, Maes ME, Donahue RJ, Ikeda A, Nickells RW. 2021. The influence of mitochondrial dynamics and function on retinal ganglion cell susceptibility in optic nerve disease. Cells. 10(7), 1593.","short":"N.A. Muench, S. Patel, M.E. Maes, R.J. Donahue, A. Ikeda, R.W. Nickells, Cells 10 (2021).","chicago":"Muench, Nicole A., Sonia Patel, Margaret E Maes, Ryan J. Donahue, Akihiro Ikeda, and Robert W. Nickells. “The Influence of Mitochondrial Dynamics and Function on Retinal Ganglion Cell Susceptibility in Optic Nerve Disease.” <i>Cells</i>. MDPI, 2021. <a href=\"https://doi.org/10.3390/cells10071593\">https://doi.org/10.3390/cells10071593</a>.","ama":"Muench NA, Patel S, Maes ME, Donahue RJ, Ikeda A, Nickells RW. The influence of mitochondrial dynamics and function on retinal ganglion cell susceptibility in optic nerve disease. <i>Cells</i>. 2021;10(7). doi:<a href=\"https://doi.org/10.3390/cells10071593\">10.3390/cells10071593</a>","ieee":"N. A. Muench, S. Patel, M. E. Maes, R. J. Donahue, A. Ikeda, and R. W. Nickells, “The influence of mitochondrial dynamics and function on retinal ganglion cell susceptibility in optic nerve disease,” <i>Cells</i>, vol. 10, no. 7. MDPI, 2021.","mla":"Muench, Nicole A., et al. “The Influence of Mitochondrial Dynamics and Function on Retinal Ganglion Cell Susceptibility in Optic Nerve Disease.” <i>Cells</i>, vol. 10, no. 7, 1593, MDPI, 2021, doi:<a href=\"https://doi.org/10.3390/cells10071593\">10.3390/cells10071593</a>.","apa":"Muench, N. A., Patel, S., Maes, M. E., Donahue, R. J., Ikeda, A., &#38; Nickells, R. W. (2021). The influence of mitochondrial dynamics and function on retinal ganglion cell susceptibility in optic nerve disease. <i>Cells</i>. MDPI. <a href=\"https://doi.org/10.3390/cells10071593\">https://doi.org/10.3390/cells10071593</a>"},"author":[{"full_name":"Muench, Nicole A.","last_name":"Muench","first_name":"Nicole A."},{"full_name":"Patel, Sonia","first_name":"Sonia","last_name":"Patel"},{"last_name":"Maes","first_name":"Margaret E","full_name":"Maes, Margaret E","orcid":"0000-0001-9642-1085","id":"3838F452-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Ryan J.","last_name":"Donahue","full_name":"Donahue, Ryan J."},{"full_name":"Ikeda, Akihiro","first_name":"Akihiro","last_name":"Ikeda"},{"last_name":"Nickells","first_name":"Robert W.","full_name":"Nickells, Robert W."}],"quality_controlled":"1","publication_status":"published","abstract":[{"lang":"eng","text":"The important roles of mitochondrial function and dysfunction in the process of neurodegeneration are widely acknowledged. Retinal ganglion cells (RGCs) appear to be a highly vulnerable neuronal cell type in the central nervous system with respect to mitochondrial dysfunction but the actual reasons for this are still incompletely understood. These cells have a unique circumstance where unmyelinated axons must bend nearly 90° to exit the eye and then cross a translaminar pressure gradient before becoming myelinated in the optic nerve. This region, the optic nerve head, contains some of the highest density of mitochondria present in these cells. Glaucoma represents a perfect storm of events occurring at this location, with a combination of changes in the translaminar pressure gradient and reassignment of the metabolic support functions of supporting glia, which appears to apply increased metabolic stress to the RGC axons leading to a failure of axonal transport mechanisms. However, RGCs themselves are also extremely sensitive to genetic mutations, particularly in genes affecting mitochondrial dynamics and mitochondrial clearance. These mutations, which systemically affect the mitochondria in every cell, often lead to an optic neuropathy as the sole pathologic defect in affected patients. This review summarizes knowledge of mitochondrial structure and function, the known energy demands of neurons in general, and places these in the context of normal and pathological characteristics of mitochondria attributed to RGCs. "}],"publication":"Cells","title":"The influence of mitochondrial dynamics and function on retinal ganglion cell susceptibility in optic nerve disease","pmid":1,"oa":1,"ddc":["570"],"_id":"9761","date_published":"2021-06-25T00:00:00Z","external_id":{"isi":["000678193300001"],"pmid":["34201955"]},"file":[{"relation":"main_file","date_created":"2021-08-04T14:01:30Z","file_size":4555611,"content_type":"application/pdf","creator":"cziletti","success":1,"date_updated":"2021-08-04T14:01:30Z","file_id":"9768","file_name":"2021_Cells_Muench.pdf","checksum":"e0497ce5c77fa3b65a538c7d6e0f6c66","access_level":"open_access"}],"publication_identifier":{"eissn":["20734409"]},"scopus_import":"1","type":"journal_article","date_updated":"2023-08-10T14:14:53Z","oa_version":"Published Version","day":"25","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"Yes","acknowledgement":"The authors are grateful to Kazuya Oikawa and Gillian McLellan for generously sharing some of their data for this review, and to Janis Eells for helpful comments on the manuscript.","language":[{"iso":"eng"}],"doi":"10.3390/cells10071593","department":[{"_id":"SaSi"}],"has_accepted_license":"1"},{"abstract":[{"lang":"eng","text":"A few years ago, flow equations were introduced as a technique for calculating the ground-state energies of cold Bose gases with and without impurities. In this paper, we extend this approach to compute observables other than the energy. As an example, we calculate the densities, and phase fluctuations of one-dimensional Bose gases with one and two impurities. For a single mobile impurity, we use flow equations to validate the mean-field results obtained upon the Lee-Low-Pines transformation. We show that the mean-field approximation is accurate for all values of the boson-impurity interaction strength as long as the phase coherence length is much larger than the healing length of the condensate. For two static impurities, we calculate impurity-impurity interactions induced by the Bose gas. We find that leading order perturbation theory fails when boson-impurity interactions are stronger than boson-boson interactions. The mean-field approximation reproduces the flow equation results for all values of the boson-impurity interaction strength as long as boson-boson interactions are weak."}],"publication_status":"published","project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"},{"name":"Angulon: physics and applications of a new quasiparticle","grant_number":"801770","call_identifier":"H2020","_id":"2688CF98-B435-11E9-9278-68D0E5697425"}],"_id":"9769","oa":1,"ddc":["530"],"publication":"SciPost Physics","title":"Impurities in a one-dimensional Bose gas: The flow equation approach","year":"2021","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"},"quality_controlled":"1","author":[{"full_name":"Brauneis, Fabian","last_name":"Brauneis","first_name":"Fabian"},{"full_name":"Hammer, Hans-Werner","first_name":"Hans-Werner","last_name":"Hammer"},{"id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6990-7802","full_name":"Lemeshko, Mikhail","last_name":"Lemeshko","first_name":"Mikhail"},{"first_name":"Artem","last_name":"Volosniev","id":"37D278BC-F248-11E8-B48F-1D18A9856A87","full_name":"Volosniev, Artem","orcid":"0000-0003-0393-5525"}],"citation":{"ieee":"F. Brauneis, H.-W. Hammer, M. Lemeshko, and A. Volosniev, “Impurities in a one-dimensional Bose gas: The flow equation approach,” <i>SciPost Physics</i>, vol. 11, no. 1. SciPost, 2021.","ama":"Brauneis F, Hammer H-W, Lemeshko M, Volosniev A. Impurities in a one-dimensional Bose gas: The flow equation approach. <i>SciPost Physics</i>. 2021;11(1). doi:<a href=\"https://doi.org/10.21468/scipostphys.11.1.008\">10.21468/scipostphys.11.1.008</a>","chicago":"Brauneis, Fabian, Hans-Werner Hammer, Mikhail Lemeshko, and Artem Volosniev. “Impurities in a One-Dimensional Bose Gas: The Flow Equation Approach.” <i>SciPost Physics</i>. SciPost, 2021. <a href=\"https://doi.org/10.21468/scipostphys.11.1.008\">https://doi.org/10.21468/scipostphys.11.1.008</a>.","short":"F. Brauneis, H.-W. Hammer, M. Lemeshko, A. Volosniev, SciPost Physics 11 (2021).","ista":"Brauneis F, Hammer H-W, Lemeshko M, Volosniev A. 2021. Impurities in a one-dimensional Bose gas: The flow equation approach. SciPost Physics. 11(1), 008.","apa":"Brauneis, F., Hammer, H.-W., Lemeshko, M., &#38; Volosniev, A. (2021). Impurities in a one-dimensional Bose gas: The flow equation approach. <i>SciPost Physics</i>. SciPost. <a href=\"https://doi.org/10.21468/scipostphys.11.1.008\">https://doi.org/10.21468/scipostphys.11.1.008</a>","mla":"Brauneis, Fabian, et al. “Impurities in a One-Dimensional Bose Gas: The Flow Equation Approach.” <i>SciPost Physics</i>, vol. 11, no. 1, 008, SciPost, 2021, doi:<a href=\"https://doi.org/10.21468/scipostphys.11.1.008\">10.21468/scipostphys.11.1.008</a>."},"article_number":"008","status":"public","month":"07","date_created":"2021-08-04T15:00:55Z","isi":1,"intvolume":"        11","article_type":"original","publisher":"SciPost","file_date_updated":"2021-08-10T11:44:59Z","issue":"1","volume":11,"acknowledgement":"We thank Matthias Heinz and Volker Karle for helpful comments on the manuscript; Zoran Ristivojevic for useful correspondence regarding mean-field calculations of induced impurity-impurity interactions; Fabian Grusdt for sharing with us the data for the densities presented in Ref. [14]. This work has received funding from the DFG Project No. 413495248 [VO 2437/1-1] (F. B., H.-W. H., A. G. V.) and European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 754411 (A. G. V.). M. L. acknowledges support by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON). H.-W.H. thanks the ECT* for hospitality during the workshop “Universal physics in Many-Body Quantum Systems – From Atoms to Quarks\". This infrastructure is part of a project that has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 824093. H.-W.H. was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - Project-ID 279384907 - SFB 1245.","department":[{"_id":"MiLe"}],"has_accepted_license":"1","language":[{"iso":"eng"}],"doi":"10.21468/scipostphys.11.1.008","ec_funded":1,"day":"13","oa_version":"Published Version","type":"journal_article","date_updated":"2023-08-11T10:25:44Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"Yes","arxiv":1,"scopus_import":"1","publication_identifier":{"eissn":["2542-4653"]},"file":[{"success":1,"file_id":"9875","date_updated":"2021-08-10T11:44:59Z","checksum":"eaa847346b1a023d97bbb291779610ed","file_name":"2021_SciPostPhysics_Brauneis.pdf","access_level":"open_access","relation":"main_file","date_created":"2021-08-10T11:44:59Z","file_size":1085300,"creator":"asandaue","content_type":"application/pdf"}],"external_id":{"arxiv":["2101.10958"],"isi":["000680039500013"]},"date_published":"2021-07-13T00:00:00Z"},{"oa":1,"_id":"9770","publication":"Physical Review B","title":"Interplay between friction and spin-orbit coupling as a source of spin polarization","publication_status":"published","abstract":[{"lang":"eng","text":"We study an effective one-dimensional quantum model that includes friction and spin-orbit coupling (SOC), and show that the model exhibits spin polarization when both terms are finite. Most important, strong spin polarization can be observed even for moderate SOC, provided that the friction is strong. Our findings might help to explain the pronounced effect of chirality on spin distribution and transport in chiral molecules. In particular, our model implies static magnetic properties of a chiral molecule, which lead to Shiba-like states when a molecule is placed on a superconductor, in accordance with recent experimental data."}],"project":[{"call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411"},{"call_identifier":"H2020","_id":"2688CF98-B435-11E9-9278-68D0E5697425","grant_number":"801770","name":"Angulon: physics and applications of a new quasiparticle"}],"author":[{"last_name":"Volosniev","first_name":"Artem","orcid":"0000-0003-0393-5525","full_name":"Volosniev, Artem","id":"37D278BC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Alpern, Hen","first_name":"Hen","last_name":"Alpern"},{"full_name":"Paltiel, Yossi","last_name":"Paltiel","first_name":"Yossi"},{"full_name":"Millo, Oded","first_name":"Oded","last_name":"Millo"},{"orcid":"0000-0002-6990-7802","full_name":"Lemeshko, Mikhail","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","last_name":"Lemeshko","first_name":"Mikhail"},{"first_name":"Areg","last_name":"Ghazaryan","full_name":"Ghazaryan, Areg","orcid":"0000-0001-9666-3543","id":"4AF46FD6-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":"1","citation":{"mla":"Volosniev, Artem, et al. “Interplay between Friction and Spin-Orbit Coupling as a Source of Spin Polarization.” <i>Physical Review B</i>, vol. 104, no. 2, 024430, American Physical Society, 2021, doi:<a href=\"https://doi.org/10.1103/physrevb.104.024430\">10.1103/physrevb.104.024430</a>.","apa":"Volosniev, A., Alpern, H., Paltiel, Y., Millo, O., Lemeshko, M., &#38; Ghazaryan, A. (2021). Interplay between friction and spin-orbit coupling as a source of spin polarization. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevb.104.024430\">https://doi.org/10.1103/physrevb.104.024430</a>","ieee":"A. Volosniev, H. Alpern, Y. Paltiel, O. Millo, M. Lemeshko, and A. Ghazaryan, “Interplay between friction and spin-orbit coupling as a source of spin polarization,” <i>Physical Review B</i>, vol. 104, no. 2. American Physical Society, 2021.","ama":"Volosniev A, Alpern H, Paltiel Y, Millo O, Lemeshko M, Ghazaryan A. Interplay between friction and spin-orbit coupling as a source of spin polarization. <i>Physical Review B</i>. 2021;104(2). doi:<a href=\"https://doi.org/10.1103/physrevb.104.024430\">10.1103/physrevb.104.024430</a>","ista":"Volosniev A, Alpern H, Paltiel Y, Millo O, Lemeshko M, Ghazaryan A. 2021. Interplay between friction and spin-orbit coupling as a source of spin polarization. Physical Review B. 104(2), 024430.","chicago":"Volosniev, Artem, Hen Alpern, Yossi Paltiel, Oded Millo, Mikhail Lemeshko, and Areg Ghazaryan. “Interplay between Friction and Spin-Orbit Coupling as a Source of Spin Polarization.” <i>Physical Review B</i>. American Physical Society, 2021. <a href=\"https://doi.org/10.1103/physrevb.104.024430\">https://doi.org/10.1103/physrevb.104.024430</a>.","short":"A. Volosniev, H. Alpern, Y. Paltiel, O. Millo, M. Lemeshko, A. Ghazaryan, Physical Review B 104 (2021)."},"main_file_link":[{"url":"https://arxiv.org/abs/2101.05173","open_access":"1"}],"year":"2021","isi":1,"intvolume":"       104","article_number":"024430","status":"public","date_created":"2021-08-04T15:05:32Z","month":"07","volume":104,"issue":"2","article_type":"original","publisher":"American Physical Society","doi":"10.1103/physrevb.104.024430","language":[{"iso":"eng"}],"department":[{"_id":"MiLe"}],"ec_funded":1,"acknowledgement":"We thank Rafael Barfknecht for useful discussions. This work has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 754411 (A.G.\r\nand A.G.V.). M.L. acknowledges support by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON). Y.P. and O.M. acknowledge funding from the Nidersachsen Ministry of Science and Culture, and from the\r\nAcademia Sinica Research Program. O.M. is thankful for support through the Harry de Jur Chair in Applied Science.","article_processing_charge":"No","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"01","type":"journal_article","date_updated":"2023-08-10T14:27:07Z","oa_version":"Preprint","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"scopus_import":"1","arxiv":1,"date_published":"2021-07-01T00:00:00Z","external_id":{"isi":["000678780800003"],"arxiv":["2101.05173"]}},{"acknowledgement":"We thank Drs. Carolina Borges-Merjane and Jose Guzman for critically reading the manuscript, and Pablo Castillo for discussions. We are grateful to Alois Schlögl for help with analysis, Florian Marr for excellent technical assistance and cell reconstruction, Christina Altmutter for technical help, Eleftheria Kralli-Beller for manuscript editing, and the Scientific Service Units of IST Austria for support. This project received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement No 692692) and the Fond zur Förderung der Wissenschaftlichen Forschung (Z 312-B27, Wittgenstein award), both to P.J.","acknowledged_ssus":[{"_id":"SSU"}],"ec_funded":1,"department":[{"_id":"PeJo"}],"has_accepted_license":"1","language":[{"iso":"eng"}],"doi":"10.1038/s41467-021-23153-5","oa_version":"Published Version","type":"journal_article","date_updated":"2023-08-10T14:16:16Z","day":"18","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","scopus_import":"1","publication_identifier":{"issn":["2041-1723"]},"file":[{"access_level":"open_access","checksum":"6036a8cdae95e1707c2a04d54e325ff4","file_name":"2021_NatureCommunications_Vandael.pdf","file_id":"10563","date_updated":"2021-12-17T11:34:50Z","success":1,"file_size":3108845,"creator":"kschuh","content_type":"application/pdf","date_created":"2021-12-17T11:34:50Z","relation":"main_file"}],"external_id":{"isi":["000655481800014"]},"keyword":["general physics and astronomy","general biochemistry","genetics and molecular biology","general chemistry"],"date_published":"2021-05-18T00:00:00Z","project":[{"_id":"25B7EB9E-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Biophysics and circuit function of a giant cortical glumatergic synapse","grant_number":"692692"},{"call_identifier":"FWF","_id":"25C5A090-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","grant_number":"Z00312"}],"abstract":[{"text":"The hippocampal mossy fiber synapse is a key synapse of the trisynaptic circuit. Post-tetanic potentiation (PTP) is the most powerful form of plasticity at this synaptic connection. It is widely believed that mossy fiber PTP is an entirely presynaptic phenomenon, implying that PTP induction is input-specific, and requires neither activity of multiple inputs nor stimulation of postsynaptic neurons. To directly test cooperativity and associativity, we made paired recordings between single mossy fiber terminals and postsynaptic CA3 pyramidal neurons in rat brain slices. By stimulating non-overlapping mossy fiber inputs converging onto single CA3 neurons, we confirm that PTP is input-specific and non-cooperative. Unexpectedly, mossy fiber PTP exhibits anti-associative induction properties. EPSCs show only minimal PTP after combined pre- and postsynaptic high-frequency stimulation with intact postsynaptic Ca2+ signaling, but marked PTP in the absence of postsynaptic spiking and after suppression of postsynaptic Ca2+ signaling (10 mM EGTA). PTP is largely recovered by inhibitors of voltage-gated R- and L-type Ca2+ channels, group II mGluRs, and vacuolar-type H+-ATPase, suggesting the involvement of retrograde vesicular glutamate signaling. Transsynaptic regulation of PTP extends the repertoire of synaptic computations, implementing a brake on mossy fiber detonation and a “smart teacher” function of hippocampal mossy fiber synapses.","lang":"eng"}],"publication_status":"published","title":"Transsynaptic modulation of presynaptic short-term plasticity in hippocampal mossy fiber synapses","publication":"Nature Communications","_id":"9778","ddc":["570"],"related_material":{"link":[{"description":"News on IST Homepage","url":"https://ist.ac.at/en/news/synaptic-transmission-not-a-one-way-street/","relation":"press_release"}]},"oa":1,"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"},"year":"2021","citation":{"apa":"Vandael, D. H., Okamoto, Y., &#38; Jonas, P. M. (2021). Transsynaptic modulation of presynaptic short-term plasticity in hippocampal mossy fiber synapses. <i>Nature Communications</i>. Springer. <a href=\"https://doi.org/10.1038/s41467-021-23153-5\">https://doi.org/10.1038/s41467-021-23153-5</a>","mla":"Vandael, David H., et al. “Transsynaptic Modulation of Presynaptic Short-Term Plasticity in Hippocampal Mossy Fiber Synapses.” <i>Nature Communications</i>, vol. 12, no. 1, 2912, Springer, 2021, doi:<a href=\"https://doi.org/10.1038/s41467-021-23153-5\">10.1038/s41467-021-23153-5</a>.","chicago":"Vandael, David H, Yuji Okamoto, and Peter M Jonas. “Transsynaptic Modulation of Presynaptic Short-Term Plasticity in Hippocampal Mossy Fiber Synapses.” <i>Nature Communications</i>. Springer, 2021. <a href=\"https://doi.org/10.1038/s41467-021-23153-5\">https://doi.org/10.1038/s41467-021-23153-5</a>.","short":"D.H. Vandael, Y. Okamoto, P.M. Jonas, Nature Communications 12 (2021).","ista":"Vandael DH, Okamoto Y, Jonas PM. 2021. Transsynaptic modulation of presynaptic short-term plasticity in hippocampal mossy fiber synapses. Nature Communications. 12(1), 2912.","ieee":"D. H. Vandael, Y. Okamoto, and P. M. Jonas, “Transsynaptic modulation of presynaptic short-term plasticity in hippocampal mossy fiber synapses,” <i>Nature Communications</i>, vol. 12, no. 1. Springer, 2021.","ama":"Vandael DH, Okamoto Y, Jonas PM. Transsynaptic modulation of presynaptic short-term plasticity in hippocampal mossy fiber synapses. <i>Nature Communications</i>. 2021;12(1). doi:<a href=\"https://doi.org/10.1038/s41467-021-23153-5\">10.1038/s41467-021-23153-5</a>"},"author":[{"orcid":"0000-0001-7577-1676","full_name":"Vandael, David H","id":"3AE48E0A-F248-11E8-B48F-1D18A9856A87","last_name":"Vandael","first_name":"David H"},{"first_name":"Yuji","last_name":"Okamoto","id":"3337E116-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0408-6094","full_name":"Okamoto, Yuji"},{"first_name":"Peter M","last_name":"Jonas","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804"}],"quality_controlled":"1","month":"05","date_created":"2021-08-06T07:22:55Z","status":"public","article_number":"2912","intvolume":"        12","isi":1,"file_date_updated":"2021-12-17T11:34:50Z","publisher":"Springer","article_type":"original","issue":"1","volume":12},{"month":"02","date_created":"2021-08-06T08:25:57Z","status":"public","article_number":"2101.12566","title":"The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics","publication":"arXiv","_id":"9787","ddc":["510"],"oa":1,"related_material":{"record":[{"id":"10224","relation":"later_version","status":"public"},{"status":"public","relation":"dissertation_contains","id":"9733"}]},"project":[{"_id":"25C6DC12-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Analysis of quantum many-body systems","grant_number":"694227"}],"abstract":[{"lang":"eng","text":"We investigate the Fröhlich polaron model on a three-dimensional torus, and give a proof of the second-order quantum corrections to its ground-state energy in the strong-coupling limit. Compared to previous work in the confined case, the translational symmetry (and its breaking in the Pekar approximation) makes the analysis substantially more challenging."}],"publication_status":"submitted","citation":{"apa":"Feliciangeli, D., &#38; Seiringer, R. (n.d.). The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. <i>arXiv</i>.","mla":"Feliciangeli, Dario, and Robert Seiringer. “The Strongly Coupled Polaron on the Torus: Quantum Corrections to the Pekar Asymptotics.” <i>ArXiv</i>, 2101.12566.","ista":"Feliciangeli D, Seiringer R. The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv, 2101.12566.","short":"D. Feliciangeli, R. Seiringer, ArXiv (n.d.).","chicago":"Feliciangeli, Dario, and Robert Seiringer. “The Strongly Coupled Polaron on the Torus: Quantum Corrections to the Pekar Asymptotics.” <i>ArXiv</i>, n.d.","ama":"Feliciangeli D, Seiringer R. The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. <i>arXiv</i>.","ieee":"D. Feliciangeli and R. Seiringer, “The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics,” <i>arXiv</i>. ."},"main_file_link":[{"url":"https://arxiv.org/abs/2101.12566","open_access":"1"}],"author":[{"id":"41A639AA-F248-11E8-B48F-1D18A9856A87","full_name":"Feliciangeli, Dario","orcid":"0000-0003-0754-8530","first_name":"Dario","last_name":"Feliciangeli"},{"last_name":"Seiringer","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Seiringer, Robert","orcid":"0000-0002-6781-0521"}],"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"},"year":"2021","arxiv":1,"external_id":{"arxiv":["2101.12566"]},"date_published":"2021-02-01T00:00:00Z","ec_funded":1,"has_accepted_license":"1","department":[{"_id":"RoSe"}],"language":[{"iso":"eng"}],"acknowledgement":"Funding from the European Union’s Horizon 2020 research and innovation programme under the ERC grant agreement No 694227 is gratefully acknowledged. We would also like to thank Rupert Frank for many helpful discussions, especially related to the Gross coordinate transformation defined in Def. 4.1.\r\n","article_processing_charge":"No","user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","oa_version":"Preprint","date_updated":"2023-09-07T13:30:10Z","type":"preprint","day":"01"}]