[{"abstract":[{"text":"At the encounter with a novel environment, contextual memory formation is greatly enhanced, accompanied with increased arousal and active exploration. Although this phenomenon has been widely observed in animal and human daily life, how the novelty in the environment is detected and contributes to contextual memory formation has lately started to be unveiled. The hippocampus has been studied for many decades for its largely known roles in encoding spatial memory, and a growing body of evidence indicates a differential involvement of dorsal and ventral hippocampal divisions in novelty detection. In this brief review article, we discuss the recent findings of the role of mossy cells in the ventral hippocampal moiety in novelty detection and put them in perspective with other novelty-related pathways in the hippocampus. We propose a mechanism for novelty-driven memory acquisition in the dentate gyrus by the direct projection of ventral mossy cells to dorsal dentate granule cells. By this projection, the ventral hippocampus sends novelty signals to the dorsal hippocampus, opening a gate for memory encoding in dentate granule cells based on information coming from the entorhinal cortex. We conclude that, contrary to the presently accepted functional independence, the dorsal and ventral hippocampi cooperate to link the novelty and contextual information, and this dorso-ventral interaction is crucial for the novelty-dependent memory formation.","lang":"eng"}],"ec_funded":1,"publication_identifier":{"issn":["10747427"],"eissn":["10959564"]},"file_date_updated":"2021-07-19T13:46:06Z","acknowledgement":"This work was supported by a European Research Council Advanced Grant 694539 to Ryuichi Shigemoto.","article_processing_charge":"No","publication_status":"published","ddc":["610"],"language":[{"iso":"eng"}],"_id":"9641","external_id":{"pmid":["34214666"],"isi":["000677694900004"]},"project":[{"name":"In situ analysis of single channel subunit composition in neurons: physiological implication in synaptic plasticity and behaviour","_id":"25CA28EA-B435-11E9-9278-68D0E5697425","grant_number":"694539","call_identifier":"H2020"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"RySh"}],"tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"doi":"10.1016/j.nlm.2021.107486","oa_version":"Published Version","pmid":1,"scopus_import":"1","year":"2021","isi":1,"type":"journal_article","article_number":"107486","title":"The role of hippocampal mossy cells in novelty detection","status":"public","oa":1,"author":[{"full_name":"Fredes, Felipe","first_name":"Felipe","last_name":"Fredes"},{"last_name":"Shigemoto","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Elsevier","quality_controlled":"1","intvolume":"       183","publication":"Neurobiology of Learning and Memory","has_accepted_license":"1","volume":183,"article_type":"original","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","date_published":"2021-06-30T00:00:00Z","date_created":"2021-07-11T22:01:16Z","month":"06","file":[{"file_name":"2021_NeurobLearnMemory_Fredes.pdf","success":1,"date_updated":"2021-07-19T13:46:06Z","checksum":"8e8298a9e8c7df146ad23f32c2a63929","date_created":"2021-07-19T13:46:06Z","creator":"cziletti","relation":"main_file","file_id":"9694","file_size":1994793,"access_level":"open_access","content_type":"application/pdf"}],"citation":{"ista":"Fredes F, Shigemoto R. 2021. The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory. 183, 107486.","ama":"Fredes F, Shigemoto R. The role of hippocampal mossy cells in novelty detection. <i>Neurobiology of Learning and Memory</i>. 2021;183. doi:<a href=\"https://doi.org/10.1016/j.nlm.2021.107486\">10.1016/j.nlm.2021.107486</a>","mla":"Fredes, Felipe, and Ryuichi Shigemoto. “The Role of Hippocampal Mossy Cells in Novelty Detection.” <i>Neurobiology of Learning and Memory</i>, vol. 183, 107486, Elsevier, 2021, doi:<a href=\"https://doi.org/10.1016/j.nlm.2021.107486\">10.1016/j.nlm.2021.107486</a>.","chicago":"Fredes, Felipe, and Ryuichi Shigemoto. “The Role of Hippocampal Mossy Cells in Novelty Detection.” <i>Neurobiology of Learning and Memory</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.nlm.2021.107486\">https://doi.org/10.1016/j.nlm.2021.107486</a>.","short":"F. Fredes, R. Shigemoto, Neurobiology of Learning and Memory 183 (2021).","apa":"Fredes, F., &#38; Shigemoto, R. (2021). The role of hippocampal mossy cells in novelty detection. <i>Neurobiology of Learning and Memory</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.nlm.2021.107486\">https://doi.org/10.1016/j.nlm.2021.107486</a>","ieee":"F. Fredes and R. Shigemoto, “The role of hippocampal mossy cells in novelty detection,” <i>Neurobiology of Learning and Memory</i>, vol. 183. Elsevier, 2021."},"day":"30","date_updated":"2023-08-10T14:10:37Z"},{"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"},"doi":"10.1016/j.celrep.2021.109313","oa_version":"Published Version","pmid":1,"scopus_import":"1","isi":1,"year":"2021","type":"journal_article","abstract":[{"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.","lang":"eng"}],"ec_funded":1,"publication_identifier":{"eissn":["22111247"]},"file_date_updated":"2021-07-19T13:32:17Z","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.).","article_processing_charge":"No","publication_status":"published","ddc":["570"],"_id":"9642","language":[{"iso":"eng"}],"external_id":{"pmid":["34233180"],"isi":["000670188500004"]},"project":[{"name":"International IST Doctoral Program","call_identifier":"H2020","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"},{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411"},{"call_identifier":"H2020","grant_number":"715571","_id":"25D4A630-B435-11E9-9278-68D0E5697425","name":"Microglia action towards neuronal circuit formation and function in health and disease"}],"department":[{"_id":"SaSi"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","has_accepted_license":"1","volume":36,"article_type":"original","license":"https://creativecommons.org/licenses/by/4.0/","date_published":"2021-07-06T00:00:00Z","date_created":"2021-07-11T22:01:16Z","month":"07","related_material":{"link":[{"url":"https://ist.ac.at/en/news/the-twinkle-and-the-brain/","relation":"press_release","description":"News on IST Homepage"}]},"file":[{"checksum":"f056255f6d01fd9a86b5387635928173","date_updated":"2021-07-19T13:32:17Z","success":1,"file_name":"2021_CellReports_Venturino.pdf","content_type":"application/pdf","access_level":"open_access","creator":"cziletti","relation":"main_file","file_id":"9693","file_size":56388540,"date_created":"2021-07-19T13:32:17Z"}],"day":"06","citation":{"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.","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>","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>.","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>.","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.","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>"},"date_updated":"2023-08-10T14:09:39Z","article_number":"109313","title":"Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain","status":"public","oa":1,"author":[{"first_name":"Alessandro","last_name":"Venturino","orcid":"0000-0003-2356-9403","full_name":"Venturino, Alessandro","id":"41CB84B2-F248-11E8-B48F-1D18A9856A87"},{"id":"4C5E7B96-F248-11E8-B48F-1D18A9856A87","full_name":"Schulz, Rouven","last_name":"Schulz","orcid":"0000-0001-5297-733X","first_name":"Rouven"},{"last_name":"De Jesús-Cortés","first_name":"Héctor","full_name":"De Jesús-Cortés, Héctor"},{"full_name":"Maes, Margaret E","id":"3838F452-F248-11E8-B48F-1D18A9856A87","first_name":"Margaret E","last_name":"Maes","orcid":"0000-0001-9642-1085"},{"first_name":"Balint","last_name":"Nagy","full_name":"Nagy, Balint","id":"93C65ECC-A6F2-11E9-8DF9-9712E6697425"},{"first_name":"Francis","last_name":"Reilly-Andújar","full_name":"Reilly-Andújar, Francis"},{"first_name":"Gloria","last_name":"Colombo","orcid":"0000-0001-9434-8902","id":"3483CF6C-F248-11E8-B48F-1D18A9856A87","full_name":"Colombo, Gloria"},{"full_name":"Cubero, Ryan J","id":"850B2E12-9CD4-11E9-837F-E719E6697425","first_name":"Ryan J","last_name":"Cubero","orcid":"0000-0003-0002-1867"},{"id":"3526230C-F248-11E8-B48F-1D18A9856A87","full_name":"Schoot Uiterkamp, Florianne E","last_name":"Schoot Uiterkamp","first_name":"Florianne E"},{"full_name":"Bear, Mark F.","first_name":"Mark F.","last_name":"Bear"},{"id":"36ACD32E-F248-11E8-B48F-1D18A9856A87","full_name":"Siegert, Sandra","last_name":"Siegert","orcid":"0000-0001-8635-0877","first_name":"Sandra"}],"issue":"1","acknowledged_ssus":[{"_id":"Bio"},{"_id":"PreCl"}],"publisher":"Elsevier","quality_controlled":"1","intvolume":"        36","publication":"Cell Reports"},{"arxiv":1,"type":"conference","isi":1,"year":"2021","scopus_import":"1","oa_version":"Preprint","doi":"10.1145/3453483.3454093","project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"external_id":{"isi":["000723661700067"],"arxiv":["2104.01189"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"KrCh"}],"_id":"9644","language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"isbn":["9781450383912"]},"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.","article_processing_charge":"No","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."}],"ec_funded":1,"citation":{"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.","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>","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>","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.","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>.","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>."},"day":"01","date_updated":"2025-07-14T09:10:06Z","conference":{"name":"PLDI: Programming Language Design and Implementation","start_date":"2021-06-20","location":"Online","end_date":"2021-06-26"},"related_material":{"record":[{"id":"14539","relation":"dissertation_contains","status":"public"}]},"date_published":"2021-06-01T00:00:00Z","date_created":"2021-07-11T22:01:17Z","month":"06","main_file_link":[{"url":"https://arxiv.org/abs/2104.01189","open_access":"1"}],"quality_controlled":"1","page":"1033-1048","publisher":"Association for Computing Machinery","publication":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","oa":1,"author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu"},{"first_name":"Ehsan Kafshdar","last_name":"Goharshady","full_name":"Goharshady, Ehsan Kafshdar"},{"id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","full_name":"Novotný, Petr","first_name":"Petr","last_name":"Novotný"},{"full_name":"Zikelic, Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","last_name":"Zikelic","orcid":"0000-0002-4681-1699","first_name":"Dorde"}],"title":"Proving non-termination by program reversal","status":"public"},{"month":"06","date_published":"2021-06-01T00:00:00Z","date_created":"2021-07-11T22:01:17Z","date_updated":"2025-07-14T09:10:06Z","day":"01","citation":{"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>","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.","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>.","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>.","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.","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>","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."},"conference":{"name":" PLDI: Programming Language Design and Implementation","end_date":"2021-06-26","start_date":"2021-06-20","location":"Online"},"author":[{"first_name":"Ali","last_name":"Asadi","full_name":"Asadi, Ali"},{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"last_name":"Fu","first_name":"Hongfei","full_name":"Fu, Hongfei","id":"3AAD03D6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Goharshady, Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87","first_name":"Amir Kafshdar","orcid":"0000-0003-1702-6584","last_name":"Goharshady"},{"first_name":"Mohammad","last_name":"Mahdavi","full_name":"Mahdavi, Mohammad"}],"oa":1,"status":"public","title":"Polynomial reachability witnesses via Stellensätze","publication":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","publisher":"Association for Computing Machinery","quality_controlled":"1","page":"772-787","main_file_link":[{"url":"https://hal.archives-ouvertes.fr/hal-03183862/","open_access":"1"}],"oa_version":"Submitted Version","doi":"10.1145/3453483.3454076","scopus_import":"1","year":"2021","type":"conference","isi":1,"article_processing_charge":"No","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).","publication_identifier":{"isbn":["9781450383912"]},"ec_funded":1,"abstract":[{"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.","lang":"eng"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"KrCh"}],"external_id":{"isi":["000723661700050"]},"project":[{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"_id":"267066CE-B435-11E9-9278-68D0E5697425","name":"Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies"}],"publication_status":"published","_id":"9645","language":[{"iso":"eng"}]},{"publication_status":"published","language":[{"iso":"eng"}],"_id":"9646","department":[{"_id":"KrCh"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"isi":["000723661700076"],"arxiv":["2011.14617"]},"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","call_identifier":"H2020"},{"name":"Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies","_id":"267066CE-B435-11E9-9278-68D0E5697425"}],"ec_funded":1,"abstract":[{"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.","lang":"eng"}],"article_processing_charge":"No","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).","publication_identifier":{"isbn":["9781450383912"]},"scopus_import":"1","type":"conference","arxiv":1,"isi":1,"year":"2021","doi":"10.1145/3453483.3454102","oa_version":"Preprint","publication":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","publisher":"Association for Computing Machinery","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2011.14617"}],"quality_controlled":"1","page":"1171-1186","status":"public","title":"Quantitative analysis of assertion violations in probabilistic programs","author":[{"last_name":"Wang","first_name":"Jinyi","full_name":"Wang, Jinyi"},{"full_name":"Sun, Yican","last_name":"Sun","first_name":"Yican"},{"first_name":"Hongfei","last_name":"Fu","id":"3AAD03D6-F248-11E8-B48F-1D18A9856A87","full_name":"Fu, Hongfei"},{"first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Goharshady, Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87","first_name":"Amir Kafshdar","orcid":"0000-0003-1702-6584","last_name":"Goharshady"}],"oa":1,"conference":{"name":"PLDI: Programming Language Design and Implementation","start_date":"2021-06-20","location":"Online","end_date":"2021-06-26"},"date_updated":"2025-07-14T09:10:06Z","day":"01","citation":{"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.","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>","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.","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>.","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.","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>","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>."},"month":"06","date_created":"2021-07-11T22:01:18Z","date_published":"2021-06-01T00:00:00Z"},{"status":"public","title":"Long lived transients in gene regulation","author":[{"last_name":"Petrov","first_name":"Tatjana","full_name":"Petrov, Tatjana"},{"id":"46613666-F248-11E8-B48F-1D18A9856A87","full_name":"Igler, Claudia","first_name":"Claudia","last_name":"Igler"},{"first_name":"Ali","last_name":"Sezgin","full_name":"Sezgin, Ali","id":"4C7638DA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"id":"47F8433E-F248-11E8-B48F-1D18A9856A87","full_name":"Guet, Calin C","orcid":"0000-0001-6220-2052","last_name":"Guet","first_name":"Calin C"}],"oa":1,"intvolume":"       893","publication":"Theoretical Computer Science","publisher":"Elsevier","quality_controlled":"1","page":"1-16","article_type":"original","volume":893,"has_accepted_license":"1","month":"06","date_published":"2021-06-04T00:00:00Z","date_created":"2021-07-11T22:01:18Z","date_updated":"2023-08-10T14:11:19Z","file":[{"date_created":"2022-05-12T12:13:27Z","file_size":2566504,"creator":"dernst","file_id":"11364","relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"file_name":"2021_TheoreticalComputerScience_Petrov.pdf","date_updated":"2022-05-12T12:13:27Z","checksum":"d3aef34cfb13e53bba4cf44d01680793"}],"day":"04","citation":{"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.","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>","short":"T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.","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>.","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>.","ista":"Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. 2021. Long lived transients in gene regulation. Theoretical Computer Science. 893, 1–16.","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>"},"abstract":[{"lang":"eng","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."}],"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).","article_processing_charge":"No","publication_identifier":{"issn":["0304-3975"]},"file_date_updated":"2022-05-12T12:13:27Z","ddc":["004"],"publication_status":"published","_id":"9647","language":[{"iso":"eng"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"ToHe"},{"_id":"CaGu"}],"external_id":{"isi":["000710180500002"]},"project":[{"call_identifier":"FWF","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"}],"doi":"10.1016/j.tcs.2021.05.023","tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"oa_version":"Published Version","scopus_import":"1","year":"2021","isi":1,"type":"journal_article"},{"pmid":1,"oa_version":"Published Version","doi":"10.1111/nph.17617","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"},"scopus_import":"1","year":"2021","type":"journal_article","isi":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).","article_processing_charge":"Yes (via OA deal)","publication_identifier":{"eissn":["1469-8137"],"issn":["0028-646x"]},"file_date_updated":"2021-10-07T13:42:47Z","ec_funded":1,"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"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"JiFr"}],"external_id":{"pmid":["34254313"],"isi":["000680587100001"]},"project":[{"_id":"261099A6-B435-11E9-9278-68D0E5697425","grant_number":"742985","call_identifier":"H2020","name":"Tracing Evolution of Auxin Transport and Polarity in Plants"},{"name":"Molecular mechanisms of endocytic cargo recognition in plants","_id":"26538374-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"I03630"}],"publication_status":"published","ddc":["580"],"language":[{"iso":"eng"}],"_id":"9656","month":"10","date_published":"2021-10-01T00:00:00Z","date_created":"2021-07-14T15:29:14Z","volume":232,"article_type":"original","has_accepted_license":"1","date_updated":"2023-08-10T14:02:41Z","file":[{"access_level":"open_access","content_type":"application/pdf","date_created":"2021-10-07T13:42:47Z","relation":"main_file","creator":"kschuh","file_id":"10105","file_size":1939800,"checksum":"6422a6eb329b52d96279daaee0fcf189","success":1,"file_name":"2021_NewPhytologist_Han.pdf","date_updated":"2021-10-07T13:42:47Z"}],"day":"01","citation":{"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>.","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>","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.","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>","short":"H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist 232 (2021) 510–522.","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."},"author":[{"full_name":"Han, Huibin","id":"31435098-F248-11E8-B48F-1D18A9856A87","last_name":"Han","first_name":"Huibin"},{"orcid":"0000-0001-6463-5257","last_name":"Adamowski","first_name":"Maciek","id":"45F536D2-F248-11E8-B48F-1D18A9856A87","full_name":"Adamowski, Maciek"},{"last_name":"Qi","orcid":"0000-0001-5187-8401","first_name":"Linlin","full_name":"Qi, Linlin","id":"44B04502-A9ED-11E9-B6FC-583AE6697425"},{"first_name":"SS","last_name":"Alotaibi","full_name":"Alotaibi, SS"},{"orcid":"0000-0002-8302-7596","last_name":"Friml","first_name":"Jiří","full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"oa":1,"status":"public","title":"PIN-mediated polar auxin transport regulations in plant tropic responses","intvolume":"       232","publication":"New Phytologist","publisher":"Wiley","page":"510-522","quality_controlled":"1","issue":"2"},{"isi":1,"year":"2021","type":"journal_article","pmid":1,"oa_version":"Published Version","doi":"10.1093/plcell/koab183","tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"department":[{"_id":"JiFr"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"pmid":["34240197"],"isi":["000702165300012"]},"publication_status":"published","ddc":["580"],"language":[{"iso":"eng"}],"_id":"9657","article_processing_charge":"No","publication_identifier":{"issn":["1040-4651"],"eissn":["1532-298x"]},"file_date_updated":"2021-07-19T12:13:34Z","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."}],"date_updated":"2023-08-10T14:01:41Z","file":[{"access_level":"open_access","content_type":"application/pdf","date_created":"2021-07-19T12:13:34Z","file_size":10566921,"relation":"main_file","file_id":"9691","creator":"cziletti","checksum":"6715712ec306c321f0204c817b7f8ae7","file_name":"2021_PlantCell_Gao.pdf","success":1,"date_updated":"2021-07-19T12:13:34Z"}],"day":"07","citation":{"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.","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>","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.","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>","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.","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>.","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>."},"month":"07","date_created":"2021-07-14T15:32:43Z","date_published":"2021-07-07T00:00:00Z","article_type":"original","volume":33,"has_accepted_license":"1","intvolume":"        33","publication":"Plant Cell","publisher":"American Society of Plant Biologists","page":"2981–3003","quality_controlled":"1","issue":"9","author":[{"full_name":"Gao, Z","first_name":"Z","last_name":"Gao"},{"full_name":"Chen, Z","last_name":"Chen","first_name":"Z"},{"full_name":"Cui, Y","first_name":"Y","last_name":"Cui"},{"first_name":"M","last_name":"Ke","full_name":"Ke, M"},{"last_name":"Xu","first_name":"H","full_name":"Xu, H"},{"last_name":"Xu","first_name":"Q","full_name":"Xu, Q"},{"first_name":"J","last_name":"Chen","full_name":"Chen, J"},{"last_name":"Li","first_name":"Y","full_name":"Li, Y"},{"last_name":"Huang","first_name":"L","full_name":"Huang, L"},{"full_name":"Zhao, H","last_name":"Zhao","first_name":"H"},{"first_name":"D","last_name":"Huang","full_name":"Huang, D"},{"last_name":"Mai","first_name":"S","full_name":"Mai, S"},{"full_name":"Xu, T","last_name":"Xu","first_name":"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"},{"full_name":"Yang, W","first_name":"W","last_name":"Yang"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jiří","orcid":"0000-0002-8302-7596","last_name":"Friml","first_name":"Jiří"},{"full_name":"Petrášek, J","first_name":"J","last_name":"Petrášek"},{"full_name":"Zhang, J","first_name":"J","last_name":"Zhang"},{"first_name":"X","last_name":"Chen","full_name":"Chen, X"}],"oa":1,"status":"public","title":"GmPIN-dependent polar auxin transport is involved in soybean nodule development"},{"date_updated":"2023-02-23T14:04:20Z","file":[{"checksum":"8b5e1fbe2f1ab936047008043150e894","date_updated":"2021-07-15T13:55:46Z","file_name":"2021_NatureCommunications_Reinhardt.pdf","success":1,"content_type":"application/pdf","access_level":"open_access","file_id":"9670","creator":"asandaue","relation":"main_file","file_size":1180227,"date_created":"2021-07-15T13:55:46Z"}],"day":"26","citation":{"short":"A. Reinhardt, B. Cheng, Nature Communications 12 (2021).","apa":"Reinhardt, A., &#38; Cheng, B. (2021). Quantum-mechanical exploration of the phase diagram of water. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-20821-w\">https://doi.org/10.1038/s41467-020-20821-w</a>","ieee":"A. Reinhardt and B. Cheng, “Quantum-mechanical exploration of the phase diagram of water,” <i>Nature Communications</i>, vol. 12, no. 1. Springer Nature, 2021.","ista":"Reinhardt A, Cheng B. 2021. Quantum-mechanical exploration of the phase diagram of water. Nature Communications. 12(1), 588.","ama":"Reinhardt A, Cheng B. Quantum-mechanical exploration of the phase diagram of water. <i>Nature Communications</i>. 2021;12(1). doi:<a href=\"https://doi.org/10.1038/s41467-020-20821-w\">10.1038/s41467-020-20821-w</a>","mla":"Reinhardt, Aleks, and Bingqing Cheng. “Quantum-Mechanical Exploration of the Phase Diagram of Water.” <i>Nature Communications</i>, vol. 12, no. 1, 588, Springer Nature, 2021, doi:<a href=\"https://doi.org/10.1038/s41467-020-20821-w\">10.1038/s41467-020-20821-w</a>.","chicago":"Reinhardt, Aleks, and Bingqing Cheng. “Quantum-Mechanical Exploration of the Phase Diagram of Water.” <i>Nature Communications</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1038/s41467-020-20821-w\">https://doi.org/10.1038/s41467-020-20821-w</a>."},"volume":12,"article_type":"original","has_accepted_license":"1","month":"01","date_created":"2021-07-15T13:48:13Z","date_published":"2021-01-26T00:00:00Z","issue":"1","intvolume":"        12","publication":"Nature Communications","publisher":"Springer Nature","quality_controlled":"1","status":"public","article_number":"588","title":"Quantum-mechanical exploration of the phase diagram of water","author":[{"first_name":"Aleks","last_name":"Reinhardt","full_name":"Reinhardt, Aleks"},{"orcid":"0000-0002-3584-9632","last_name":"Cheng","first_name":"Bingqing","full_name":"Cheng, Bingqing","id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9"}],"oa":1,"scopus_import":"1","arxiv":1,"type":"journal_article","year":"2021","doi":"10.1038/s41467-020-20821-w","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"},"pmid":1,"oa_version":"Published Version","ddc":["530","540"],"publication_status":"published","_id":"9669","language":[{"iso":"eng"}],"user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","external_id":{"arxiv":["2010.13729"],"pmid":["33500405"]},"extern":"1","abstract":[{"lang":"eng","text":"The set of known stable phases of water may not be complete, and some of the phase boundaries between them are fuzzy. Starting from liquid water and a comprehensive set of 50 ice structures, we compute the phase diagram at three hybrid density-functional-theory levels of approximation, accounting for thermal and nuclear fluctuations as well as proton disorder. Such calculations are only made tractable because we combine machine-learning methods and advanced free-energy techniques. The computed phase diagram is in qualitative agreement with experiment, particularly at pressures ≲ 8000 bar, and the discrepancy in chemical potential is comparable with the subtle uncertainties introduced by proton disorder and the spread between the three hybrid functionals. None of the hypothetical ice phases considered is thermodynamically stable in our calculations, suggesting the completeness of the experimental water phase diagram in the region considered. Our work demonstrates the feasibility of predicting the phase diagram of a polymorphic system from first principles and provides a thermodynamic way of testing the limits of quantum-mechanical calculations."}],"article_processing_charge":"No","publication_identifier":{"eissn":["2041-1723"]},"file_date_updated":"2021-07-15T13:55:46Z"},{"title":"Efficient load-balancing through distributed token dropping","status":"public","oa":1,"author":[{"full_name":"Brandt, Sebastian","first_name":"Sebastian","last_name":"Brandt"},{"full_name":"Keller, Barbara","last_name":"Keller","first_name":"Barbara"},{"id":"334EFD2E-F248-11E8-B48F-1D18A9856A87","full_name":"Rybicki, Joel","orcid":"0000-0002-6432-6646","last_name":"Rybicki","first_name":"Joel"},{"full_name":"Suomela, Jukka","last_name":"Suomela","first_name":"Jukka"},{"last_name":"Uitto","first_name":"Jara","full_name":"Uitto, Jara"}],"quality_controlled":"1","main_file_link":[{"url":"https://arxiv.org/abs/2005.07761","open_access":"1"}],"page":"129-139","publication":"Annual ACM Symposium on Parallelism in Algorithms and Architectures","date_published":"2021-07-06T00:00:00Z","date_created":"2021-07-18T22:01:22Z","month":"07","related_material":{"record":[{"id":"15074","relation":"earlier_version","status":"public"}]},"conference":{"name":"SPAA: Symposium on Parallelism in Algorithms and Architectures ","location":" Virtual Event, United States","start_date":"2021-07-06","end_date":"2021-07-08"},"day":"06","citation":{"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>.","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>","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>.","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.","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.","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>"},"date_updated":"2024-03-05T07:13:12Z","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"}],"ec_funded":1,"publication_identifier":{"isbn":["9781450380706"]},"article_processing_charge":"No","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.","publication_status":"published","language":[{"iso":"eng"}],"_id":"9678","external_id":{"arxiv":["2005.07761"]},"project":[{"grant_number":"840605","call_identifier":"H2020","_id":"26A5D39A-B435-11E9-9278-68D0E5697425","name":"Coordination in constrained and natural distributed systems"}],"department":[{"_id":"DaAl"}],"user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","doi":"10.1145/3409964.3461785","oa_version":"Preprint","scopus_import":"1","type":"conference","arxiv":1,"year":"2021"},{"quality_controlled":"1","publisher":"IOP Publishing","publication":"New Journal of Physics","intvolume":"        23","issue":"6","oa":1,"author":[{"first_name":"David","last_name":"Huber","full_name":"Huber, David"},{"full_name":"Marchukov, Oleksandr V.","first_name":"Oleksandr V.","last_name":"Marchukov"},{"full_name":"Hammer, Hans Werner","first_name":"Hans Werner","last_name":"Hammer"},{"orcid":"0000-0003-0393-5525","last_name":"Volosniev","first_name":"Artem","full_name":"Volosniev, Artem","id":"37D278BC-F248-11E8-B48F-1D18A9856A87"}],"title":"Morphology of three-body quantum states from machine learning","article_number":"065009","status":"public","day":"23","citation":{"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.","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>","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>.","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>.","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>","short":"D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics 23 (2021).","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."},"file":[{"access_level":"open_access","content_type":"application/pdf","date_created":"2021-07-19T11:47:16Z","file_size":3868445,"creator":"cziletti","relation":"main_file","file_id":"9690","checksum":"e39164ce7ea228d287cf8924e1a0f9fe","file_name":"2021_NewJPhys_Huber.pdf","success":1,"date_updated":"2021-07-19T11:47:16Z"}],"date_updated":"2023-08-10T13:58:09Z","date_created":"2021-07-18T22:01:22Z","date_published":"2021-06-23T00:00:00Z","month":"06","has_accepted_license":"1","volume":23,"article_type":"original","project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020"}],"external_id":{"isi":["000664736300001"],"arxiv":["2102.04961"]},"department":[{"_id":"MiLe"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","_id":"9679","language":[{"iso":"eng"}],"publication_status":"published","ddc":["530"],"file_date_updated":"2021-07-19T11:47:16Z","publication_identifier":{"eissn":["13672630"]},"article_processing_charge":"Yes","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.","abstract":[{"lang":"eng","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."}],"ec_funded":1,"year":"2021","arxiv":1,"type":"journal_article","isi":1,"scopus_import":"1","oa_version":"Published Version","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"},"doi":"10.1088/1367-2630/ac0576"},{"scopus_import":"1","year":"2021","isi":1,"type":"journal_article","pmid":1,"oa_version":"Published Version","doi":"10.1167/IOVS.62.10.14","tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"department":[{"_id":"SaSi"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"pmid":["34398198"],"isi":["000695230000014"]},"publication_status":"published","ddc":["570"],"language":[{"iso":"eng"}],"_id":"10000","article_processing_charge":"Yes","acknowledgement":"The authors thank Joel Dietz for maintaining the mice used in this study, Satoshi Kinoshita and the Translational Research Initiative in Pathology Laboratory at the University of Wisconsin-Madison for cutting retinal sections analyzed in this study, and Mark Banghart for statistical review of the data analysis. Supported by National Eye Institute Grants R01 EY012223 (RWN), R01 EY030123 (RWN), R01 EY029809 (LWG), R01 EY029809 (LWG) and a Vision Research CORE grant P30 EY016665, NRSA grant T32 GM081061, by an unrestricted research grant from Research to Prevent Blindness, Inc., and by a University of Wisconsin-Madison Vilas Life Cycle award and the Frederick A. Davis Research Chair (RWN). ","publication_identifier":{"issn":["0146-0404"],"eissn":["1552-5783"]},"file_date_updated":"2022-05-13T07:40:15Z","abstract":[{"lang":"eng","text":"Inhibition or targeted deletion of histone deacetylase 3 (HDAC3) is neuroprotective in a variety neurodegenerative conditions, including retinal ganglion cells (RGCs) after acute optic nerve damage. Consistent with this, induced HDAC3 expression in cultured cells shows selective toxicity to neurons. Despite an established role for HDAC3 in neuronal pathology, little is known regarding the mechanism of this pathology."}],"date_updated":"2023-08-14T06:35:17Z","file":[{"checksum":"c430967746f653aa1ae84ee617f62b73","date_updated":"2022-05-13T07:40:15Z","file_name":"2021_IOVS_Schmitt.pdf","success":1,"content_type":"application/pdf","access_level":"open_access","file_id":"11369","relation":"main_file","creator":"dernst","file_size":19707796,"date_created":"2022-05-13T07:40:15Z"}],"day":"16","citation":{"chicago":"Schmitt, Heather M., Rachel L. Fehrman, Margaret E Maes, Huan Yang, Lian Wang Guo, Cassandra L. Schlamp, Heather R. Pelzel, and Robert W. Nickells. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” <i>Investigative Ophthalmology and Visual Science</i>. Association for Research in Vision and Ophthalmology, 2021. <a href=\"https://doi.org/10.1167/IOVS.62.10.14\">https://doi.org/10.1167/IOVS.62.10.14</a>.","mla":"Schmitt, Heather M., et al. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” <i>Investigative Ophthalmology and Visual Science</i>, vol. 62, no. 10, 14, Association for Research in Vision and Ophthalmology, 2021, doi:<a href=\"https://doi.org/10.1167/IOVS.62.10.14\">10.1167/IOVS.62.10.14</a>.","ama":"Schmitt HM, Fehrman RL, Maes ME, et al. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. <i>Investigative Ophthalmology and Visual Science</i>. 2021;62(10). doi:<a href=\"https://doi.org/10.1167/IOVS.62.10.14\">10.1167/IOVS.62.10.14</a>","ista":"Schmitt HM, Fehrman RL, Maes ME, Yang H, Guo LW, Schlamp CL, Pelzel HR, Nickells RW. 2021. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. 62(10), 14.","ieee":"H. M. Schmitt <i>et al.</i>, “Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression,” <i>Investigative Ophthalmology and Visual Science</i>, vol. 62, no. 10. Association for Research in Vision and Ophthalmology, 2021.","apa":"Schmitt, H. M., Fehrman, R. L., Maes, M. E., Yang, H., Guo, L. W., Schlamp, C. L., … Nickells, R. W. (2021). Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. <i>Investigative Ophthalmology and Visual Science</i>. Association for Research in Vision and Ophthalmology. <a href=\"https://doi.org/10.1167/IOVS.62.10.14\">https://doi.org/10.1167/IOVS.62.10.14</a>","short":"H.M. Schmitt, R.L. Fehrman, M.E. Maes, H. Yang, L.W. Guo, C.L. Schlamp, H.R. Pelzel, R.W. Nickells, Investigative Ophthalmology and Visual Science 62 (2021)."},"month":"08","date_published":"2021-08-16T00:00:00Z","date_created":"2021-09-12T22:01:23Z","volume":62,"article_type":"original","has_accepted_license":"1","intvolume":"        62","publication":"Investigative Ophthalmology and Visual Science","publisher":"Association for Research in Vision and Ophthalmology","quality_controlled":"1","issue":"10","author":[{"full_name":"Schmitt, Heather M.","first_name":"Heather M.","last_name":"Schmitt"},{"full_name":"Fehrman, Rachel L.","first_name":"Rachel L.","last_name":"Fehrman"},{"full_name":"Maes, Margaret E","id":"3838F452-F248-11E8-B48F-1D18A9856A87","last_name":"Maes","orcid":"0000-0001-9642-1085","first_name":"Margaret E"},{"full_name":"Yang, Huan","first_name":"Huan","last_name":"Yang"},{"last_name":"Guo","first_name":"Lian Wang","full_name":"Guo, Lian Wang"},{"full_name":"Schlamp, Cassandra L.","first_name":"Cassandra L.","last_name":"Schlamp"},{"full_name":"Pelzel, Heather R.","first_name":"Heather R.","last_name":"Pelzel"},{"first_name":"Robert W.","last_name":"Nickells","full_name":"Nickells, Robert W."}],"oa":1,"status":"public","article_number":"14","title":"Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression"},{"external_id":{"isi":["000947350400089"],"arxiv":["2104.07466"]},"project":[{"name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S11407"},{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"KrCh"}],"publication_status":"published","_id":"10002","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-1-6654-4896-3"],"eisbn":["978-1-6654-4895-6"],"issn":["1043-6871"]},"article_processing_charge":"No","acknowledgement":"The authors are grateful to the anonymous referees for their valuable comments. A. S. is fully supported by the Vienna Science and Technology Fund (WWTF) through project ICT15–003. K. C. is supported by the Austrian Science Fund (FWF) NFN Grant No S11407-N23 (RiSE/SHiNE) and by the ERC CoG 863818 (ForM-SMArt). For M. H. the research leading to these results has received funding from the European Research Council under the European Unions Seventh Framework Programme (FP/2007–2013) / ERC Grant Agreement no. 340506.","abstract":[{"text":"We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision processes (MDPs). This problem generalizes the SCC decomposition problem of graphs and closed recurrent sets of Markov chains. The model of symbolic algorithms is widely used in formal verification and model-checking, where access to the input model is restricted to only symbolic operations (e.g., basic set operations and computation of one-step neighborhood). For an input MDP with  n  vertices and  m  edges, the classical symbolic algorithm from the 1990s for the MEC decomposition requires  O(n2)  symbolic operations and  O(1)  symbolic space. The only other symbolic algorithm for the MEC decomposition requires  O(nm−−√)  symbolic operations and  O(m−−√)  symbolic space. A main open question is whether the worst-case  O(n2)  bound for symbolic operations can be beaten. We present a symbolic algorithm that requires  O˜(n1.5)  symbolic operations and  O˜(n−−√)  symbolic space. Moreover, the parametrization of our algorithm provides a trade-off between symbolic operations and symbolic space: for all  0<ϵ≤1/2  the symbolic algorithm requires  O˜(n2−ϵ)  symbolic operations and  O˜(nϵ)  symbolic space ( O˜  hides poly-logarithmic factors). Using our techniques we present faster algorithms for computing the almost-sure winning regions of  ω -regular objectives for MDPs. We consider the canonical parity objectives for  ω -regular objectives, and for parity objectives with  d -priorities we present an algorithm that computes the almost-sure winning region with  O˜(n2−ϵ)  symbolic operations and  O˜(nϵ)  symbolic space, for all  0<ϵ≤1/2 .","lang":"eng"}],"ec_funded":1,"scopus_import":"1","type":"conference","arxiv":1,"year":"2021","isi":1,"oa_version":"Preprint","doi":"10.1109/LICS52264.2021.9470739","publisher":"Institute of Electrical and Electronics Engineers","keyword":["Computer science","Computational modeling","Markov processes","Probabilistic logic","Formal verification","Game Theory"],"quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.07466"}],"page":"1-13","publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","oa":1,"author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu"},{"last_name":"Dvorak","first_name":"Wolfgang","full_name":"Dvorak, Wolfgang"},{"full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","orcid":"0000-0002-5008-6530","last_name":"Henzinger","first_name":"Monika H"},{"full_name":"Svozil, Alexander","last_name":"Svozil","first_name":"Alexander"}],"title":"Symbolic time and space tradeoffs for probabilistic verification","status":"public","day":"07","citation":{"chicago":"Chatterjee, Krishnendu, Wolfgang Dvorak, Monika H Henzinger, and Alexander Svozil. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 1–13. Institute of Electrical and Electronics Engineers, 2021. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">https://doi.org/10.1109/LICS52264.2021.9470739</a>.","ama":"Chatterjee K, Dvorak W, Henzinger MH, Svozil A. Symbolic time and space tradeoffs for probabilistic verification. In: <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">10.1109/LICS52264.2021.9470739</a>","ista":"Chatterjee K, Dvorak W, Henzinger MH, Svozil A. 2021. Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.","mla":"Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">10.1109/LICS52264.2021.9470739</a>.","apa":"Chatterjee, K., Dvorak, W., Henzinger, M. H., &#38; Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i> (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470739\">https://doi.org/10.1109/LICS52264.2021.9470739</a>","short":"K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.","ieee":"K. Chatterjee, W. Dvorak, M. H. Henzinger, and A. Svozil, “Symbolic time and space tradeoffs for probabilistic verification,” in <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Rome, Italy, 2021, pp. 1–13."},"date_updated":"2025-07-14T09:10:07Z","conference":{"name":"LICS: Symposium on Logic in Computer Science","start_date":"2021-06-29","location":"Rome, Italy","end_date":"2021-07-02"},"date_created":"2021-09-12T22:01:24Z","date_published":"2021-07-07T00:00:00Z","month":"07"},{"isi":1,"arxiv":1,"year":"2021","type":"conference","scopus_import":"1","doi":"10.1109/LICS52264.2021.9470595","oa_version":"Preprint","_id":"10004","language":[{"iso":"eng"}],"publication_status":"published","project":[{"grant_number":"863818","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"external_id":{"arxiv":["2104.07278"],"isi":["000947350400036"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"KrCh"}],"abstract":[{"text":"Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs) extend Markov chains by incorporating non-deterministic behaviors. Given an MDP and rewards on states, a classical optimization criterion is the maximal expected total reward where the MDP stops after T steps, which can be computed by a simple dynamic programming algorithm. We consider a natural generalization of the problem where the stopping times can be chosen according to a probability distribution, such that the expected stopping time is T, to optimize the expected total reward. Quite surprisingly we establish inter-reducibility of the expected stopping-time problem for Markov chains with the Positivity problem (which is related to the well-known Skolem problem), for which establishing either decidability or undecidability would be a major breakthrough. Given the hardness of the exact problem, we consider the approximate version of the problem: we show that it can be solved in exponential time for Markov chains and in exponential space for MDPs.","lang":"eng"}],"ec_funded":1,"publication_identifier":{"eisbn":["978-1-6654-4895-6"],"issn":["1043-6871"],"isbn":["978-1-6654-4896-3"]},"acknowledgement":"We are grateful to the anonymous reviewers of LICS 2021 and of a previous version of this paper for insightful comments that helped improving the presentation. This research was partially supported by the grant ERC CoG 863818 (ForM-SMArt).","article_processing_charge":"No","conference":{"name":"LICS: Symposium on Logic in Computer Science","location":"Rome, Italy","start_date":"2021-06-29","end_date":"2021-07-02"},"day":"07","citation":{"chicago":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 1–13. Institute of Electrical and Electronics Engineers, 2021. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">https://doi.org/10.1109/LICS52264.2021.9470595</a>.","ista":"Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.","ama":"Chatterjee K, Doyen L. Stochastic processes with expected stopping time. In: <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">10.1109/LICS52264.2021.9470595</a>","mla":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:<a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">10.1109/LICS52264.2021.9470595</a>.","apa":"Chatterjee, K., &#38; Doyen, L. (2021). Stochastic processes with expected stopping time. In <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i> (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/LICS52264.2021.9470595\">https://doi.org/10.1109/LICS52264.2021.9470595</a>","short":"K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.","ieee":"K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,” in <i>Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Rome, Italy, 2021, pp. 1–13."},"date_updated":"2025-07-14T09:10:08Z","date_created":"2021-09-12T22:01:25Z","date_published":"2021-07-07T00:00:00Z","month":"07","quality_controlled":"1","page":"1-13","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.07278"}],"keyword":["Computer science","Heuristic algorithms","Memory management","Automata","Markov processes","Probability distribution","Complexity theory"],"publisher":"Institute of Electrical and Electronics Engineers","publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","title":"Stochastic processes with expected stopping time","status":"public","oa":1,"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee"},{"last_name":"Doyen","first_name":"Laurent","full_name":"Doyen, Laurent"}]},{"volume":31,"article_type":"original","date_published":"2021-08-25T00:00:00Z","date_created":"2021-09-12T22:01:25Z","month":"08","citation":{"chicago":"Bulíček, Miroslav, Erika Maringová, and Josef Málek. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” <i>Mathematical Models and Methods in Applied Sciences</i>. World Scientific, 2021. <a href=\"https://doi.org/10.1142/S0218202521500457\">https://doi.org/10.1142/S0218202521500457</a>.","mla":"Bulíček, Miroslav, et al. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” <i>Mathematical Models and Methods in Applied Sciences</i>, vol. 31, no. 09, World Scientific, 2021, doi:<a href=\"https://doi.org/10.1142/S0218202521500457\">10.1142/S0218202521500457</a>.","ama":"Bulíček M, Maringová E, Málek J. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. <i>Mathematical Models and Methods in Applied Sciences</i>. 2021;31(09). doi:<a href=\"https://doi.org/10.1142/S0218202521500457\">10.1142/S0218202521500457</a>","ista":"Bulíček M, Maringová E, Málek J. 2021. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 31(09).","ieee":"M. Bulíček, E. Maringová, and J. Málek, “On nonlinear problems of parabolic type with implicit constitutive equations involving flux,” <i>Mathematical Models and Methods in Applied Sciences</i>, vol. 31, no. 09. World Scientific, 2021.","short":"M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021).","apa":"Bulíček, M., Maringová, E., &#38; Málek, J. (2021). On nonlinear problems of parabolic type with implicit constitutive equations involving flux. <i>Mathematical Models and Methods in Applied Sciences</i>. World Scientific. <a href=\"https://doi.org/10.1142/S0218202521500457\">https://doi.org/10.1142/S0218202521500457</a>"},"day":"25","date_updated":"2023-09-04T11:43:45Z","title":"On nonlinear problems of parabolic type with implicit constitutive equations involving flux","status":"public","oa":1,"author":[{"full_name":"Bulíček, Miroslav","last_name":"Bulíček","first_name":"Miroslav"},{"id":"dbabca31-66eb-11eb-963a-fb9c22c880b4","full_name":"Maringová, Erika","last_name":"Maringová","first_name":"Erika"},{"full_name":"Málek, Josef","last_name":"Málek","first_name":"Josef"}],"issue":"09","publisher":"World Scientific","keyword":["Nonlinear parabolic systems","implicit constitutive theory","weak solutions","existence","uniqueness"],"main_file_link":[{"url":"https://arxiv.org/abs/2009.06917","open_access":"1"}],"quality_controlled":"1","intvolume":"        31","publication":"Mathematical Models and Methods in Applied Sciences","doi":"10.1142/S0218202521500457","oa_version":"Preprint","scopus_import":"1","type":"journal_article","arxiv":1,"isi":1,"year":"2021","abstract":[{"lang":"eng","text":"We study systems of nonlinear partial differential equations of parabolic type, in which the elliptic operator is replaced by the first-order divergence operator acting on a flux function, which is related to the spatial gradient of the unknown through an additional implicit equation. This setting, broad enough in terms of applications, significantly expands the paradigm of nonlinear parabolic problems. Formulating four conditions concerning the form of the implicit equation, we first show that these conditions describe a maximal monotone p-coercive graph. We then establish the global-in-time and large-data existence of a (weak) solution and its uniqueness. To this end, we adopt and significantly generalize Minty’s method of monotone mappings. A unified theory, containing several novel tools, is developed in a way to be tractable from the point of view of numerical approximations."}],"publication_identifier":{"issn":["0218-2025"],"eissn":["1793-6314"]},"acknowledgement":"M. Bulíček and J. Málek acknowledge the support of the project No. 18-12719S financed by the Czech\r\nScience foundation (GAČR). E. Maringová acknowledges support from Charles University Research program \r\nUNCE/SCI/023, the grant SVV-2020-260583 by the Ministry of Education, Youth and Sports, Czech Republic\r\nand from the Austrian Science Fund (FWF), grants P30000, W1245, and F65. M. Bulíček and J. Málek are\r\nmembers of the Nečas Center for Mathematical Modelling.\r\n","article_processing_charge":"No","publication_status":"published","language":[{"iso":"eng"}],"_id":"10005","external_id":{"isi":["000722222900004"],"arxiv":["2009.06917"]},"project":[{"_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","grant_number":"F6504","name":"Taming Complexity in Partial Differential Systems"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"JuFi"}]},{"date_created":"2021-09-13T11:12:34Z","date_published":"2021-09-14T00:00:00Z","month":"09","has_accepted_license":"1","degree_awarded":"PhD","file":[{"content_type":"application/x-zip-compressed","access_level":"closed","file_size":15022154,"file_id":"10008","relation":"source_file","creator":"shensel","date_created":"2021-09-13T11:03:24Z","checksum":"c8475faaf0b680b4971f638f1db16347","date_updated":"2021-09-15T14:37:30Z","file_name":"thesis_final_Hensel.zip"},{"date_created":"2021-09-13T14:18:56Z","file_size":6583638,"creator":"shensel","file_id":"10014","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"thesis_final_Hensel.pdf","date_updated":"2021-09-14T09:52:47Z","checksum":"1a609937aa5275452822f45f2da17f07"}],"citation":{"ieee":"S. Hensel, “Curvature driven interface evolution: Uniqueness properties of weak solution concepts,” Institute of Science and Technology Austria, 2021.","short":"S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.","apa":"Hensel, S. (2021). <i>Curvature driven interface evolution: Uniqueness properties of weak solution concepts</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:10007\">https://doi.org/10.15479/at:ista:10007</a>","chicago":"Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:10007\">https://doi.org/10.15479/at:ista:10007</a>.","mla":"Hensel, Sebastian. <i>Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:10007\">10.15479/at:ista:10007</a>.","ama":"Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:10007\">10.15479/at:ista:10007</a>","ista":"Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria."},"day":"14","date_updated":"2023-09-07T13:30:45Z","related_material":{"record":[{"relation":"part_of_dissertation","id":"10012","status":"public"},{"relation":"part_of_dissertation","id":"10013","status":"public"},{"status":"public","id":"7489","relation":"part_of_dissertation"}]},"oa":1,"author":[{"first_name":"Sebastian","last_name":"Hensel","orcid":"0000-0001-7252-8072","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","full_name":"Hensel, Sebastian"}],"title":"Curvature driven interface evolution: Uniqueness properties of weak solution concepts","status":"public","publisher":"Institute of Science and Technology Austria","page":"300","oa_version":"Published Version","supervisor":[{"first_name":"Julian L","orcid":"0000-0002-0479-558X","last_name":"Fischer","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Fischer, Julian L"}],"doi":"10.15479/at:ista:10007","type":"dissertation","year":"2021","publication_identifier":{"issn":["2663-337X"]},"file_date_updated":"2021-09-15T14:37:30Z","article_processing_charge":"No","alternative_title":["ISTA Thesis"],"abstract":[{"lang":"eng","text":"The present thesis is concerned with the derivation of weak-strong uniqueness principles for curvature driven interface evolution problems not satisfying a comparison principle. The specific examples being treated are two-phase Navier-Stokes flow with surface tension, modeling the evolution of two incompressible, viscous and immiscible fluids separated by a sharp interface, and multiphase mean curvature flow, which serves as an idealized model for the motion of grain boundaries in an annealing polycrystalline material. Our main results - obtained in joint works with Julian Fischer, Tim Laux and Theresa M. Simon - state that prior to the formation of geometric singularities due to topology changes, the weak solution concept of Abels (Interfaces Free Bound. 9, 2007) to two-phase Navier-Stokes flow with surface tension and the weak solution concept of Laux and Otto (Calc. Var. Partial Differential Equations 55, 2016) to multiphase mean curvature flow (for networks in R^2 or double bubbles in R^3) represents the unique solution to these interface evolution problems within the class of classical solutions, respectively. To the best of the author's knowledge, for interface evolution problems not admitting a geometric comparison principle the derivation of a weak-strong uniqueness principle represented an open problem, so that the works contained in the present thesis constitute the first positive results in this direction. The key ingredient of our approach consists of the introduction of a novel concept of relative entropies for a class of curvature driven interface evolution problems, for which the associated energy contains an interfacial contribution being proportional to the surface area of the evolving (network of) interface(s). The interfacial part of the relative entropy gives sufficient control on the interface error between a weak and a classical solution, and its time evolution can be computed, at least in principle, for any energy dissipating weak solution concept. A resulting stability estimate for the relative entropy essentially entails the above mentioned weak-strong uniqueness principles. The present thesis contains a detailed introduction to our relative entropy approach, which in particular highlights potential applications to other problems in curvature driven interface evolution not treated in this thesis."}],"ec_funded":1,"project":[{"name":"International IST Doctoral Program","grant_number":"665385","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"},{"grant_number":"948819","call_identifier":"H2020","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","department":[{"_id":"GradSch"},{"_id":"JuFi"}],"publication_status":"published","ddc":["515"],"_id":"10007","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"_id":"10011","publication_status":"submitted","project":[{"grant_number":"948819","call_identifier":"H2020","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials"}],"main_file_link":[{"url":"https://arxiv.org/abs/2109.04233","open_access":"1"}],"keyword":["Mean curvature flow","gradient flows","varifolds","weak solutions","weak-strong uniqueness","calibrated geometry","gradient-flow calibrations"],"external_id":{"arxiv":["2109.04233"]},"publication":"arXiv","department":[{"_id":"JuFi"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness","abstract":[{"lang":"eng","text":"We propose a new weak solution concept for (two-phase) mean curvature flow which enjoys both (unconditional) existence and (weak-strong) uniqueness properties. These solutions are evolving varifolds, just as in Brakke's formulation, but are coupled to the phase volumes by a simple transport equation. First, we show that, in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-461, (1993)], any limit point of solutions to the Allen-Cahn equation is a varifold solution in our sense. Second, we prove that any calibrated flow in the sense of Fischer et al. [arXiv:2003.05478] - and hence any classical solution to mean curvature flow - is unique in the class of our new varifold solutions. This is in sharp contrast to the case of Brakke flows, which a priori may disappear at any given time and are therefore fatally non-unique. Finally, we propose an extension of the solution concept to the multi-phase case which is at least guaranteed to satisfy a weak-strong uniqueness principle."}],"article_number":"2109.04233","status":"public","ec_funded":1,"oa":1,"article_processing_charge":"No","acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 948819), and from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813. The content of this paper was developed and parts of it were written during a visit of the first author to the Hausdorff Center of Mathematics (HCM), University of Bonn. The hospitality and the support of HCM are gratefully acknowledged.","author":[{"id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","full_name":"Hensel, Sebastian","first_name":"Sebastian","last_name":"Hensel","orcid":"0000-0001-7252-8072"},{"last_name":"Laux","first_name":"Tim","full_name":"Laux, Tim"}],"type":"preprint","arxiv":1,"year":"2021","day":"09","citation":{"ieee":"S. Hensel and T. Laux, “A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness,” <i>arXiv</i>. .","short":"S. Hensel, T. Laux, ArXiv (n.d.).","apa":"Hensel, S., &#38; Laux, T. (n.d.). A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2109.04233\">https://doi.org/10.48550/arXiv.2109.04233</a>","chicago":"Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2109.04233\">https://doi.org/10.48550/arXiv.2109.04233</a>.","mla":"Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.” <i>ArXiv</i>, 2109.04233, doi:<a href=\"https://doi.org/10.48550/arXiv.2109.04233\">10.48550/arXiv.2109.04233</a>.","ama":"Hensel S, Laux T. A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2109.04233\">10.48550/arXiv.2109.04233</a>","ista":"Hensel S, Laux T. A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. arXiv, 2109.04233."},"date_updated":"2023-05-03T10:34:38Z","doi":"10.48550/arXiv.2109.04233","date_published":"2021-09-09T00:00:00Z","date_created":"2021-09-13T12:17:10Z","oa_version":"Preprint","month":"09"},{"external_id":{"arxiv":["2108.01733"]},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2108.01733"}],"project":[{"grant_number":"948819","call_identifier":"H2020","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials"}],"department":[{"_id":"JuFi"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"arXiv","publication_status":"submitted","language":[{"iso":"eng"}],"_id":"10013","oa":1,"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 948819), and from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813.","author":[{"id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","full_name":"Hensel, Sebastian","orcid":"0000-0001-7252-8072","last_name":"Hensel","first_name":"Sebastian"},{"last_name":"Laux","first_name":"Tim","full_name":"Laux, Tim"}],"article_processing_charge":"No","article_number":"2108.01733","title":"Weak-strong uniqueness for the mean curvature flow of double bubbles","abstract":[{"text":"We derive a weak-strong uniqueness principle for BV solutions to multiphase mean curvature flow of triple line clusters in three dimensions. Our proof is based on the explicit construction of a gradient-flow calibration in the sense of the recent work of Fischer et al. [arXiv:2003.05478] for any such cluster. This extends the two-dimensional construction to the three-dimensional case of surfaces meeting along triple junctions.","lang":"eng"}],"status":"public","ec_funded":1,"citation":{"ama":"Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2108.01733\">10.48550/arXiv.2108.01733</a>","ista":"Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv, 2108.01733.","mla":"Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” <i>ArXiv</i>, 2108.01733, doi:<a href=\"https://doi.org/10.48550/arXiv.2108.01733\">10.48550/arXiv.2108.01733</a>.","chicago":"Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2108.01733\">https://doi.org/10.48550/arXiv.2108.01733</a>.","apa":"Hensel, S., &#38; Laux, T. (n.d.). Weak-strong uniqueness for the mean curvature flow of double bubbles. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2108.01733\">https://doi.org/10.48550/arXiv.2108.01733</a>","short":"S. Hensel, T. Laux, ArXiv (n.d.).","ieee":"S. Hensel and T. Laux, “Weak-strong uniqueness for the mean curvature flow of double bubbles,” <i>arXiv</i>. ."},"day":"03","date_updated":"2023-09-07T13:30:45Z","year":"2021","type":"preprint","arxiv":1,"related_material":{"record":[{"relation":"later_version","id":"13043","status":"public"},{"status":"public","id":"10007","relation":"dissertation_contains"}]},"oa_version":"Preprint","date_created":"2021-09-13T12:17:11Z","date_published":"2021-08-03T00:00:00Z","month":"08","doi":"10.48550/arXiv.2108.01733"},{"volume":10,"article_type":"original","has_accepted_license":"1","month":"07","date_published":"2021-07-02T00:00:00Z","date_created":"2021-09-14T11:36:20Z","related_material":{"record":[{"relation":"dissertation_contains","id":"10083","status":"public"}]},"date_updated":"2024-10-29T10:22:44Z","file":[{"checksum":"2a9f534b9c2200e72e2cde95afaf4eed","date_updated":"2021-09-16T09:07:06Z","success":1,"file_name":"2021_Cells_Nikonorova.pdf","content_type":"application/pdf","access_level":"open_access","creator":"cchlebak","file_id":"10021","relation":"main_file","file_size":2667848,"date_created":"2021-09-16T09:07:06Z"}],"day":"02","citation":{"short":"N. Nikonorova, E. Murphy, C. Fonseca de Lima, S. Zhu, B. van de Cotte, L. Vu, D. Balcerowicz, L. Li, X. Kong, G. De Rop, T. Beeckman, J. Friml, K. Vissenberg, P. Morris, Z. Ding, I. De Smet, Cells 10 (2021).","apa":"Nikonorova, N., Murphy, E., Fonseca de Lima, C., Zhu, S., van de Cotte, B., Vu, L., … De Smet, I. (2021). The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. <i>Cells</i>. MDPI. <a href=\"https://doi.org/10.3390/cells10071665\">https://doi.org/10.3390/cells10071665</a>","ieee":"N. Nikonorova <i>et al.</i>, “The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators,” <i>Cells</i>, vol. 10. MDPI, 2021.","ista":"Nikonorova N, Murphy E, Fonseca de Lima C, Zhu S, van de Cotte B, Vu L, Balcerowicz D, Li L, Kong X, De Rop G, Beeckman T, Friml J, Vissenberg K, Morris P, Ding Z, De Smet I. 2021. The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. Cells. 10, 1665.","ama":"Nikonorova N, Murphy E, Fonseca de Lima C, et al. The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. <i>Cells</i>. 2021;10. doi:<a href=\"https://doi.org/10.3390/cells10071665\">10.3390/cells10071665</a>","mla":"Nikonorova, N., et al. “The Arabidopsis Root Tip (Phospho)Proteomes at Growth-Promoting versus Growth-Repressing Conditions Reveal Novel Root Growth Regulators.” <i>Cells</i>, vol. 10, 1665, MDPI, 2021, doi:<a href=\"https://doi.org/10.3390/cells10071665\">10.3390/cells10071665</a>.","chicago":"Nikonorova, N, E Murphy, CF Fonseca de Lima, S Zhu, B van de Cotte, LD Vu, D Balcerowicz, et al. “The Arabidopsis Root Tip (Phospho)Proteomes at Growth-Promoting versus Growth-Repressing Conditions Reveal Novel Root Growth Regulators.” <i>Cells</i>. MDPI, 2021. <a href=\"https://doi.org/10.3390/cells10071665\">https://doi.org/10.3390/cells10071665</a>."},"status":"public","article_number":"1665 ","title":"The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators","author":[{"full_name":"Nikonorova, N","first_name":"N","last_name":"Nikonorova"},{"last_name":"Murphy","first_name":"E","full_name":"Murphy, E"},{"full_name":"Fonseca de Lima, CF","last_name":"Fonseca de Lima","first_name":"CF"},{"last_name":"Zhu","first_name":"S","full_name":"Zhu, S"},{"last_name":"van de Cotte","first_name":"B","full_name":"van de Cotte, B"},{"last_name":"Vu","first_name":"LD","full_name":"Vu, LD"},{"full_name":"Balcerowicz, D","last_name":"Balcerowicz","first_name":"D"},{"full_name":"Li, Lanxin","id":"367EF8FA-F248-11E8-B48F-1D18A9856A87","last_name":"Li","orcid":"0000-0002-5607-272X","first_name":"Lanxin"},{"first_name":"X","last_name":"Kong","full_name":"Kong, X"},{"full_name":"De Rop, G","first_name":"G","last_name":"De Rop"},{"full_name":"Beeckman, T","first_name":"T","last_name":"Beeckman"},{"full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","last_name":"Friml","first_name":"Jiří"},{"first_name":"K","last_name":"Vissenberg","full_name":"Vissenberg, K"},{"first_name":"PC","last_name":"Morris","full_name":"Morris, PC"},{"first_name":"Z","last_name":"Ding","full_name":"Ding, Z"},{"last_name":"De Smet","first_name":"I","full_name":"De Smet, I"}],"oa":1,"intvolume":"        10","publication":"Cells","publisher":"MDPI","keyword":["primary root","(phospho)proteomics","auxin","(receptor) kinase"],"quality_controlled":"1","doi":"10.3390/cells10071665","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"},"pmid":1,"oa_version":"Published Version","isi":1,"year":"2021","type":"journal_article","ec_funded":1,"abstract":[{"text":"Auxin plays a dual role in growth regulation and, depending on the tissue and concentration of the hormone, it can either promote or inhibit division and expansion processes in plants. Recent studies have revealed that, beyond transcriptional reprogramming, alternative auxincontrolled mechanisms regulate root growth. Here, we explored the impact of different concentrations of the synthetic auxin NAA that establish growth-promoting and -repressing conditions on the root tip proteome and phosphoproteome, generating a unique resource. From the phosphoproteome data, we pinpointed (novel) growth regulators, such as the RALF34-THE1 module. Our results, together with previously published studies, suggest that auxin, H+-ATPases, cell wall modifications and cell wall sensing receptor-like kinases are tightly embedded in a pathway regulating cell elongation. Furthermore, our study assigned a novel role to MKK2 as a regulator of primary root growth and a (potential) regulator of auxin biosynthesis and signalling, and suggests the importance of the MKK2\r\nThr31 phosphorylation site for growth regulation in the Arabidopsis root tip.","lang":"eng"}],"acknowledgement":"We thank the Nottingham Stock Centre for seeds, Frank Van Breusegem for the phb3 mutant, and Herman Höfte for the the1 mutant. Open Access Funding by the Austrian Science Fund (FWF).","alternative_title":["Protein Phosphorylation and Cell Signaling in Plants"],"article_processing_charge":"Yes","publication_identifier":{"issn":["2073-4409"]},"file_date_updated":"2021-09-16T09:07:06Z","publication_status":"published","ddc":["575"],"language":[{"iso":"eng"}],"_id":"10015","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"JiFr"}],"external_id":{"isi":["000676604700001"],"pmid":["34359847"]},"project":[{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"665385"},{"call_identifier":"FWF","_id":"3AC91DDA-15DF-11EA-824D-93A3E7B544D1","name":"FWF Open Access Fund"}]},{"arxiv":1,"year":"2021","type":"journal_article","doi":"10.4310/CIS.2021.v21.n4.a1","oa_version":"Preprint","language":[{"iso":"eng"}],"_id":"10023","publication_status":"published","project":[{"_id":"256E75B8-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"716117","name":"Optimal Transport and Stochastic Dynamics"},{"grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","name":"Taming Complexity in Partial Differential Systems"}],"external_id":{"arxiv":["2005.14177"]},"department":[{"_id":"JaMa"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","abstract":[{"lang":"eng","text":"We study the temporal dissipation of variance and relative entropy for ergodic Markov Chains in continuous time, and compute explicitly the corresponding dissipation rates. These are identified, as is well known, in the case of the variance in terms of an appropriate Hilbertian norm; and in the case of the relative entropy, in terms of a Dirichlet form which morphs into a version of the familiar Fisher information under conditions of detailed balance. Here we obtain trajectorial versions of these results, valid along almost every path of the random motion and most transparent in the backwards direction of time. Martingale arguments and time reversal play crucial roles, as in the recent work of Karatzas, Schachermayer and Tschiderer for conservative diffusions. Extensions are developed to general “convex divergences” and to countable state-spaces. The steepest descent and gradient flow properties for the variance, the relative entropy, and appropriate generalizations, are studied along with their respective geometries under conditions of detailed balance, leading to a very direct proof for the HWI inequality of Otto and Villani in the present context."}],"ec_funded":1,"publication_identifier":{"issn":["1526-7555"]},"acknowledgement":"I.K. acknowledges support from the U.S. National Science Foundation under Grant NSF-DMS-20-04997. J.M. acknowledges support from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 716117) and from the Austrian Science Fund (FWF) through project F65. W.S. acknowledges support from the Austrian Science Fund (FWF) under grant P28861 and by the Vienna Science and Technology Fund (WWTF) through projects MA14-008 and MA16-021.","article_processing_charge":"No","citation":{"ieee":"I. Karatzas, J. Maas, and W. Schachermayer, “Trajectorial dissipation and gradient flow for the relative entropy in Markov chains,” <i>Communications in Information and Systems</i>, vol. 21, no. 4. International Press, pp. 481–536, 2021.","short":"I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.","apa":"Karatzas, I., Maas, J., &#38; Schachermayer, W. (2021). Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. <i>Communications in Information and Systems</i>. International Press. <a href=\"https://doi.org/10.4310/CIS.2021.v21.n4.a1\">https://doi.org/10.4310/CIS.2021.v21.n4.a1</a>","mla":"Karatzas, Ioannis, et al. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.” <i>Communications in Information and Systems</i>, vol. 21, no. 4, International Press, 2021, pp. 481–536, doi:<a href=\"https://doi.org/10.4310/CIS.2021.v21.n4.a1\">10.4310/CIS.2021.v21.n4.a1</a>.","ama":"Karatzas I, Maas J, Schachermayer W. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. <i>Communications in Information and Systems</i>. 2021;21(4):481-536. doi:<a href=\"https://doi.org/10.4310/CIS.2021.v21.n4.a1\">10.4310/CIS.2021.v21.n4.a1</a>","ista":"Karatzas I, Maas J, Schachermayer W. 2021. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. 21(4), 481–536.","chicago":"Karatzas, Ioannis, Jan Maas, and Walter Schachermayer. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.” <i>Communications in Information and Systems</i>. International Press, 2021. <a href=\"https://doi.org/10.4310/CIS.2021.v21.n4.a1\">https://doi.org/10.4310/CIS.2021.v21.n4.a1</a>."},"day":"04","date_updated":"2021-09-20T12:51:18Z","article_type":"original","volume":21,"date_published":"2021-06-04T00:00:00Z","date_created":"2021-09-19T08:53:19Z","month":"06","issue":"4","quality_controlled":"1","keyword":["Markov Chain","relative entropy","time reversal","steepest descent","gradient flow"],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2005.14177"}],"page":"481-536","publisher":"International Press","publication":"Communications in Information and Systems","intvolume":"        21","title":"Trajectorial dissipation and gradient flow for the relative entropy in Markov chains","status":"public","oa":1,"author":[{"last_name":"Karatzas","first_name":"Ioannis","full_name":"Karatzas, Ioannis"},{"id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","full_name":"Maas, Jan","orcid":"0000-0002-0845-1338","last_name":"Maas","first_name":"Jan"},{"full_name":"Schachermayer, Walter","last_name":"Schachermayer","first_name":"Walter"}]}]