[{"author":[{"full_name":"Zikelic, Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4681-1699","first_name":"Dorde","last_name":"Zikelic"},{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias","last_name":"Lechner","first_name":"Mathias"},{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","last_name":"Henzinger","first_name":"Thomas A"}],"citation":{"short":"D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).","ieee":"D. Zikelic, M. Lechner, K. Chatterjee, and T. A. Henzinger, “Learning stabilizing policies in stochastic control systems,” <i>arXiv</i>. .","apa":"Zikelic, D., Lechner, M., Chatterjee, K., &#38; Henzinger, T. A. (n.d.). Learning stabilizing policies in stochastic control systems. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2205.11991\">https://doi.org/10.48550/arXiv.2205.11991</a>","ama":"Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2205.11991\">10.48550/arXiv.2205.11991</a>","mla":"Zikelic, Dorde, et al. “Learning Stabilizing Policies in Stochastic Control Systems.” <i>ArXiv</i>, doi:<a href=\"https://doi.org/10.48550/arXiv.2205.11991\">10.48550/arXiv.2205.11991</a>.","ista":"Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. arXiv, <a href=\"https://doi.org/10.48550/arXiv.2205.11991\">10.48550/arXiv.2205.11991</a>.","chicago":"Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2205.11991\">https://doi.org/10.48550/arXiv.2205.11991</a>."},"date_updated":"2025-07-14T09:10:00Z","type":"preprint","day":"24","publication":"arXiv","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","oa":1,"doi":"10.48550/arXiv.2205.11991","date_published":"2022-05-24T00:00:00Z","language":[{"iso":"eng"}],"project":[{"call_identifier":"H2020","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software"},{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"665385"}],"title":"Learning stabilizing policies in stochastic control systems","external_id":{"arxiv":["2205.11991"]},"status":"public","arxiv":1,"date_created":"2023-11-24T13:22:30Z","ec_funded":1,"year":"2022","_id":"14601","related_material":{"record":[{"relation":"dissertation_contains","id":"14539","status":"public"}]},"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"publication_status":"submitted","month":"05","abstract":[{"text":"In this work, we address the problem of learning provably stable neural\r\nnetwork policies for stochastic control systems. While recent work has\r\ndemonstrated the feasibility of certifying given policies using martingale\r\ntheory, the problem of how to learn such policies is little explored. Here, we\r\nstudy the effectiveness of jointly learning a policy together with a martingale\r\ncertificate that proves its stability using a single learning algorithm. We\r\nobserve that the joint optimization problem becomes easily stuck in local\r\nminima when starting from a randomly initialized policy. Our results suggest\r\nthat some form of pre-training of the policy is required for the joint\r\noptimization to repair and verify the policy successfully.","lang":"eng"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2205.11991"}],"oa_version":"Preprint","article_processing_charge":"No"},{"article_type":"original","publication_status":"published","abstract":[{"text":"Weak convergence of inertial iterative method for solving variational inequalities is the focus of this paper. The cost function is assumed to be non-Lipschitz and monotone. We propose a projection-type method with inertial terms and give weak convergence analysis under appropriate conditions. Some test results are performed and compared with relevant methods in the literature to show the efficiency and advantages given by our proposed methods.","lang":"eng"}],"file":[{"creator":"dernst","access_level":"open_access","checksum":"869efe8cb09505dfa6012f67d20db63d","file_size":4282586,"content_type":"application/pdf","date_updated":"2021-03-16T23:30:06Z","embargo":"2021-03-15","file_name":"2020_ApplicAnalysis_Shehu.pdf","date_created":"2020-10-12T10:42:54Z","relation":"main_file","file_id":"8648"}],"quality_controlled":"1","article_processing_charge":"No","oa_version":"Submitted Version","ec_funded":1,"date_created":"2020-03-09T07:06:52Z","_id":"7577","year":"2022","external_id":{"isi":["000518364100001"],"arxiv":["2101.08057"]},"title":"Weak convergence for variational inequalities with inertial-type method","project":[{"name":"Discrete Optimization in Computer Vision: Theory and Practice","_id":"25FBA906-B435-11E9-9278-68D0E5697425","grant_number":"616160","call_identifier":"FP7"}],"has_accepted_license":"1","issue":"1","date_updated":"2024-03-05T14:01:52Z","citation":{"short":"Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216.","mla":"Shehu, Yekini, and Olaniyi S. Iyiola. “Weak Convergence for Variational Inequalities with Inertial-Type Method.” <i>Applicable Analysis</i>, vol. 101, no. 1, Taylor &#38; Francis, 2022, pp. 192–216, doi:<a href=\"https://doi.org/10.1080/00036811.2020.1736287\">10.1080/00036811.2020.1736287</a>.","apa":"Shehu, Y., &#38; Iyiola, O. S. (2022). Weak convergence for variational inequalities with inertial-type method. <i>Applicable Analysis</i>. Taylor &#38; Francis. <a href=\"https://doi.org/10.1080/00036811.2020.1736287\">https://doi.org/10.1080/00036811.2020.1736287</a>","ieee":"Y. Shehu and O. S. Iyiola, “Weak convergence for variational inequalities with inertial-type method,” <i>Applicable Analysis</i>, vol. 101, no. 1. Taylor &#38; Francis, pp. 192–216, 2022.","ama":"Shehu Y, Iyiola OS. Weak convergence for variational inequalities with inertial-type method. <i>Applicable Analysis</i>. 2022;101(1):192-216. doi:<a href=\"https://doi.org/10.1080/00036811.2020.1736287\">10.1080/00036811.2020.1736287</a>","chicago":"Shehu, Yekini, and Olaniyi S. Iyiola. “Weak Convergence for Variational Inequalities with Inertial-Type Method.” <i>Applicable Analysis</i>. Taylor &#38; Francis, 2022. <a href=\"https://doi.org/10.1080/00036811.2020.1736287\">https://doi.org/10.1080/00036811.2020.1736287</a>.","ista":"Shehu Y, Iyiola OS. 2022. Weak convergence for variational inequalities with inertial-type method. Applicable Analysis. 101(1), 192–216."},"author":[{"full_name":"Shehu, Yekini","id":"3FC7CB58-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9224-7139","last_name":"Shehu","first_name":"Yekini"},{"first_name":"Olaniyi S.","last_name":"Iyiola","full_name":"Iyiola, Olaniyi S."}],"day":"01","oa":1,"publication_identifier":{"eissn":["1563-504X"],"issn":["0003-6811"]},"publication":"Applicable Analysis","month":"01","publisher":"Taylor & Francis","department":[{"_id":"VlKo"}],"isi":1,"arxiv":1,"page":"192-216","acknowledgement":"The project of the first author has received funding from the European Research Council (ERC) under the European Union's Seventh Framework Program (FP7 - 2007-2013) (Grant agreement No. 616160).","scopus_import":"1","date_published":"2022-01-01T00:00:00Z","doi":"10.1080/00036811.2020.1736287","status":"public","language":[{"iso":"eng"}],"ddc":["510","515","518"],"intvolume":"       101","type":"journal_article","volume":101,"file_date_updated":"2021-03-16T23:30:06Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"has_accepted_license":"1","issue":"4","project":[{"name":"Alpha Shape Theory Extended","call_identifier":"H2020","_id":"266A2E9E-B435-11E9-9278-68D0E5697425","grant_number":"788183"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"external_id":{"arxiv":["1912.12685"]},"title":"When different norms lead to same billiard trajectories?","day":"01","publication":"European Journal of Mathematics","publication_identifier":{"issn":["2199-675X"],"eissn":["2199-6768"]},"oa":1,"author":[{"last_name":"Akopyan","first_name":"Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","full_name":"Akopyan, Arseniy","orcid":"0000-0002-2548-617X"},{"full_name":"Karasev, Roman","last_name":"Karasev","first_name":"Roman"}],"citation":{"mla":"Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” <i>European Journal of Mathematics</i>, vol. 8, no. 4, Springer Nature, 2022, pp. 1309–12, doi:<a href=\"https://doi.org/10.1007/s40879-020-00405-0\">10.1007/s40879-020-00405-0</a>.","ama":"Akopyan A, Karasev R. When different norms lead to same billiard trajectories? <i>European Journal of Mathematics</i>. 2022;8(4):1309-1312. doi:<a href=\"https://doi.org/10.1007/s40879-020-00405-0\">10.1007/s40879-020-00405-0</a>","apa":"Akopyan, A., &#38; Karasev, R. (2022). When different norms lead to same billiard trajectories? <i>European Journal of Mathematics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s40879-020-00405-0\">https://doi.org/10.1007/s40879-020-00405-0</a>","ieee":"A. Akopyan and R. Karasev, “When different norms lead to same billiard trajectories?,” <i>European Journal of Mathematics</i>, vol. 8, no. 4. Springer Nature, pp. 1309–1312, 2022.","chicago":"Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” <i>European Journal of Mathematics</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/s40879-020-00405-0\">https://doi.org/10.1007/s40879-020-00405-0</a>.","ista":"Akopyan A, Karasev R. 2022. When different norms lead to same billiard trajectories? European Journal of Mathematics. 8(4), 1309–1312.","short":"A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312."},"date_updated":"2024-02-22T15:58:42Z","quality_controlled":"1","oa_version":"Published Version","article_processing_charge":"Yes (via OA deal)","article_type":"original","publication_status":"published","file":[{"creator":"dernst","access_level":"open_access","content_type":"application/pdf","file_size":263926,"checksum":"f53e71fd03744075adcd0b8fc1b8423d","date_updated":"2020-07-14T12:48:03Z","date_created":"2020-05-04T10:33:42Z","relation":"main_file","file_id":"7796","file_name":"2020_EuropMathematics_Akopyan.pdf"}],"abstract":[{"text":"Extending a result of Milena Radnovic and Serge Tabachnikov, we establish conditionsfor two different non-symmetric norms to define the same billiard reflection law.","lang":"eng"}],"date_created":"2020-05-03T22:00:48Z","ec_funded":1,"year":"2022","_id":"7791","ddc":["510"],"intvolume":"         8","doi":"10.1007/s40879-020-00405-0","date_published":"2022-12-01T00:00:00Z","language":[{"iso":"eng"}],"status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"file_date_updated":"2020-07-14T12:48:03Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":8,"department":[{"_id":"HeEd"}],"publisher":"Springer Nature","month":"12","acknowledgement":"AA was supported by European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 78818 Alpha). RK was supported by the Federal professorship program Grant 1.456.2016/1.4 and the Russian Foundation for Basic Research Grants 18-01-00036 and 19-01-00169. Open access funding provided by Institute of Science and Technology (IST Austria). The authors thank Alexey Balitskiy, Milena Radnović, and Serge Tabachnikov for useful discussions.","scopus_import":"1","arxiv":1,"page":"1309 - 1312"},{"year":"2022","_id":"8125","date_created":"2020-07-16T12:24:28Z","oa_version":"Preprint","article_processing_charge":"No","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/2020.01.08.898528 "}],"abstract":[{"lang":"eng","text":"Context, such as behavioral state, is known to modulate memory formation and retrieval, but is usually ignored in associative memory models. Here, we propose several types of contextual modulation for associative memory networks that greatly increase their performance. In these networks, context inactivates specific neurons and connections, which modulates the effective connectivity of the network. Memories are stored only by the active components, thereby reducing interference from memories acquired in other contexts. Such networks exhibit several beneficial characteristics, including enhanced memory capacity, high robustness to noise, increased robustness to memory overloading, and better memory retention during continual learning. Furthermore, memories can be biased to have different relative strengths, or even gated on or off, according to contextual cues, providing a candidate model for cognitive control of memory and efficient memory search. An external context-encoding network can dynamically switch the memory network to a desired state, which we liken to experimentally observed contextual signals in prefrontal cortex and hippocampus. Overall, our work illustrates the benefits of organizing memory around context, and provides an important link between behavioral studies of memory and mechanistic details of neural circuits.</jats:p><jats:sec><jats:title>SIGNIFICANCE</jats:title><jats:p>Memory is context dependent — both encoding and recall vary in effectiveness and speed depending on factors like location and brain state during a task. We apply this idea to a simple computational model of associative memory through contextual gating of neurons and synaptic connections. Intriguingly, this results in several advantages, including vastly enhanced memory capacity, better robustness, and flexible memory gating. Our model helps to explain (i) how gating and inhibition contribute to memory processes, (ii) how memory access dynamically changes over time, and (iii) how context representations, such as those observed in hippocampus and prefrontal cortex, may interact with and control memory processes."}],"publisher":"Cold Spring Harbor Laboratory","publication_status":"published","department":[{"_id":"TiVo"}],"month":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"bioRxiv","oa":1,"day":"21","citation":{"short":"W.F. Podlaski, E.J. Agnes, T.P. Vogels, BioRxiv (2022).","ama":"Podlaski WF, Agnes EJ, Vogels TP. High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. <i>bioRxiv</i>. 2022. doi:<a href=\"https://doi.org/10.1101/2020.01.08.898528\">10.1101/2020.01.08.898528</a>","apa":"Podlaski, W. F., Agnes, E. J., &#38; Vogels, T. P. (2022). High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. <i>bioRxiv</i>. Cold Spring Harbor Laboratory. <a href=\"https://doi.org/10.1101/2020.01.08.898528\">https://doi.org/10.1101/2020.01.08.898528</a>","ieee":"W. F. Podlaski, E. J. Agnes, and T. P. Vogels, “High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating,” <i>bioRxiv</i>. Cold Spring Harbor Laboratory, 2022.","mla":"Podlaski, William F., et al. “High Capacity and Dynamic Accessibility in Associative Memory Networks with Context-Dependent Neuronal and Synaptic Gating.” <i>BioRxiv</i>, Cold Spring Harbor Laboratory, 2022, doi:<a href=\"https://doi.org/10.1101/2020.01.08.898528\">10.1101/2020.01.08.898528</a>.","ista":"Podlaski WF, Agnes EJ, Vogels TP. 2022. High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. bioRxiv, <a href=\"https://doi.org/10.1101/2020.01.08.898528\">10.1101/2020.01.08.898528</a>.","chicago":"Podlaski, William F., Everton J. Agnes, and Tim P Vogels. “High Capacity and Dynamic Accessibility in Associative Memory Networks with Context-Dependent Neuronal and Synaptic Gating.” <i>BioRxiv</i>. Cold Spring Harbor Laboratory, 2022. <a href=\"https://doi.org/10.1101/2020.01.08.898528\">https://doi.org/10.1101/2020.01.08.898528</a>."},"type":"preprint","date_updated":"2024-03-06T12:03:59Z","author":[{"first_name":"William F.","last_name":"Podlaski","full_name":"Podlaski, William F.","orcid":"0000-0001-6619-7502"},{"orcid":"0000-0001-7184-7311","full_name":"Agnes, Everton J.","last_name":"Agnes","first_name":"Everton J."},{"orcid":"0000-0003-3295-6181","full_name":"Vogels, Tim P","id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","first_name":"Tim P","last_name":"Vogels"}],"language":[{"iso":"eng"}],"title":"High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating","status":"public","locked":"1","doi":"10.1101/2020.01.08.898528","date_published":"2022-12-21T00:00:00Z"},{"article_type":"original","publication_status":"published","abstract":[{"lang":"eng","text":"We associate a certain tensor product lattice to any primitive integer lattice and ask about its typical shape. These lattices are related to the tangent bundle of Grassmannians and their study is motivated by Peyre's programme on \"freeness\" for rational points of bounded height on Fano\r\nvarieties."}],"quality_controlled":"1","oa_version":"Preprint","article_processing_charge":"No","date_created":"2021-02-25T09:56:57Z","year":"2022","_id":"9199","project":[{"grant_number":"EP-P026710-2","_id":"26A8D266-B435-11E9-9278-68D0E5697425","name":"Between rational and integral points"},{"call_identifier":"FWF","_id":"26AEDAB2-B435-11E9-9278-68D0E5697425","grant_number":"P32428","name":"New frontiers of the Manin conjecture"}],"title":"Equidistribution and freeness on Grassmannians","external_id":{"isi":["000961514100004"],"arxiv":["2102.11552"]},"issue":"10","author":[{"full_name":"Browning, Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","first_name":"Timothy D","last_name":"Browning"},{"full_name":"Horesh, Tal","id":"C8B7BF48-8D81-11E9-BCA9-F536E6697425","first_name":"Tal","last_name":"Horesh"},{"first_name":"Florian Alexander","last_name":"Wilsch","full_name":"Wilsch, Florian Alexander","id":"560601DA-8D36-11E9-A136-7AC1E5697425","orcid":"0000-0001-7302-8256"}],"citation":{"ieee":"T. D. Browning, T. Horesh, and F. A. Wilsch, “Equidistribution and freeness on Grassmannians,” <i>Algebra &#38; Number Theory</i>, vol. 16, no. 10. Mathematical Sciences Publishers, pp. 2385–2407, 2022.","apa":"Browning, T. D., Horesh, T., &#38; Wilsch, F. A. (2022). Equidistribution and freeness on Grassmannians. <i>Algebra &#38; Number Theory</i>. Mathematical Sciences Publishers. <a href=\"https://doi.org/10.2140/ant.2022.16.2385\">https://doi.org/10.2140/ant.2022.16.2385</a>","ama":"Browning TD, Horesh T, Wilsch FA. Equidistribution and freeness on Grassmannians. <i>Algebra &#38; Number Theory</i>. 2022;16(10):2385-2407. doi:<a href=\"https://doi.org/10.2140/ant.2022.16.2385\">10.2140/ant.2022.16.2385</a>","mla":"Browning, Timothy D., et al. “Equidistribution and Freeness on Grassmannians.” <i>Algebra &#38; Number Theory</i>, vol. 16, no. 10, Mathematical Sciences Publishers, 2022, pp. 2385–407, doi:<a href=\"https://doi.org/10.2140/ant.2022.16.2385\">10.2140/ant.2022.16.2385</a>.","ista":"Browning TD, Horesh T, Wilsch FA. 2022. Equidistribution and freeness on Grassmannians. Algebra &#38; Number Theory. 16(10), 2385–2407.","chicago":"Browning, Timothy D, Tal Horesh, and Florian Alexander Wilsch. “Equidistribution and Freeness on Grassmannians.” <i>Algebra &#38; Number Theory</i>. Mathematical Sciences Publishers, 2022. <a href=\"https://doi.org/10.2140/ant.2022.16.2385\">https://doi.org/10.2140/ant.2022.16.2385</a>.","short":"T.D. Browning, T. Horesh, F.A. Wilsch, Algebra &#38; Number Theory 16 (2022) 2385–2407."},"date_updated":"2023-08-02T06:46:38Z","day":"01","publication":"Algebra & Number Theory","publication_identifier":{"issn":["1937-0652"],"eissn":["1944-7833"]},"oa":1,"publisher":"Mathematical Sciences Publishers","department":[{"_id":"TiBr"}],"month":"12","main_file_link":[{"url":"https://arxiv.org/abs/2102.11552","open_access":"1"}],"isi":1,"arxiv":1,"page":"2385-2407","acknowledgement":"The authors are very grateful to Will Sawin for useful remarks about this topic. While working on this paper the first two authors were supported by EPSRC grant EP/P026710/1, and the first and last authors by FWF grant P 32428-N35.","scopus_import":"1","doi":"10.2140/ant.2022.16.2385","date_published":"2022-12-01T00:00:00Z","language":[{"iso":"eng"}],"status":"public","intvolume":"        16","type":"journal_article","volume":16,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8"},{"language":[{"iso":"eng"}],"status":"public","doi":"10.1287/moor.2020.1116","date_published":"2022-02-01T00:00:00Z","intvolume":"        47","volume":47,"type":"journal_article","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Institute for Operations Research and the Management Sciences","department":[{"_id":"GradSch"},{"_id":"KrCh"}],"month":"02","isi":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1904.13360"}],"page":"100-119","arxiv":1,"scopus_import":"1","acknowledgement":"Partially supported by Austrian Science Fund (FWF) NFN Grant No RiSE/SHiNE S11407, by CONICYT Chile through grant PII 20150140, and by ECOS-CONICYT through grant C15E03.\r\n","project":[{"call_identifier":"FWF","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory"}],"title":"Finite-memory strategies in POMDPs with long-run average objectives","external_id":{"arxiv":["1904.13360"],"isi":["000731918100001"]},"issue":"1","author":[{"last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","full_name":"Saona Urmeneta, Raimundo J","orcid":"0000-0001-5103-038X","first_name":"Raimundo J","last_name":"Saona Urmeneta"},{"last_name":"Ziliotto","first_name":"Bruno","full_name":"Ziliotto, Bruno"}],"date_updated":"2023-09-05T13:16:11Z","citation":{"short":"K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.","chicago":"Chatterjee, Krishnendu, Raimundo J Saona Urmeneta, and Bruno Ziliotto. “Finite-Memory Strategies in POMDPs with Long-Run Average Objectives.” <i>Mathematics of Operations Research</i>. Institute for Operations Research and the Management Sciences, 2022. <a href=\"https://doi.org/10.1287/moor.2020.1116\">https://doi.org/10.1287/moor.2020.1116</a>.","ista":"Chatterjee K, Saona Urmeneta RJ, Ziliotto B. 2022. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 47(1), 100–119.","mla":"Chatterjee, Krishnendu, et al. “Finite-Memory Strategies in POMDPs with Long-Run Average Objectives.” <i>Mathematics of Operations Research</i>, vol. 47, no. 1, Institute for Operations Research and the Management Sciences, 2022, pp. 100–19, doi:<a href=\"https://doi.org/10.1287/moor.2020.1116\">10.1287/moor.2020.1116</a>.","ama":"Chatterjee K, Saona Urmeneta RJ, Ziliotto B. Finite-memory strategies in POMDPs with long-run average objectives. <i>Mathematics of Operations Research</i>. 2022;47(1):100-119. doi:<a href=\"https://doi.org/10.1287/moor.2020.1116\">10.1287/moor.2020.1116</a>","apa":"Chatterjee, K., Saona Urmeneta, R. J., &#38; Ziliotto, B. (2022). Finite-memory strategies in POMDPs with long-run average objectives. <i>Mathematics of Operations Research</i>. Institute for Operations Research and the Management Sciences. <a href=\"https://doi.org/10.1287/moor.2020.1116\">https://doi.org/10.1287/moor.2020.1116</a>","ieee":"K. Chatterjee, R. J. Saona Urmeneta, and B. Ziliotto, “Finite-memory strategies in POMDPs with long-run average objectives,” <i>Mathematics of Operations Research</i>, vol. 47, no. 1. Institute for Operations Research and the Management Sciences, pp. 100–119, 2022."},"publication":"Mathematics of Operations Research","publication_identifier":{"eissn":["1526-5471"],"issn":["0364-765X"]},"oa":1,"day":"01","abstract":[{"text":"Partially observable Markov decision processes (POMDPs) are standard models for dynamic systems with probabilistic and nondeterministic behaviour in uncertain environments. We prove that in POMDPs with long-run average objective, the decision maker has approximately optimal strategies with finite memory. This implies notably that approximating the long-run value is recursively enumerable, as well as a weak continuity property of the value with respect to the transition function. ","lang":"eng"}],"article_type":"original","publication_status":"published","oa_version":"Preprint","article_processing_charge":"No","keyword":["Management Science and Operations Research","General Mathematics","Computer Science Applications"],"quality_controlled":"1","year":"2022","_id":"9311","date_created":"2021-04-08T09:33:31Z"},{"arxiv":1,"page":"563 - 590","acknowledgement":"I am most thankful to my advisor, Emmanuel Kowalski, for suggesting this problem and for his guidance during these years. I also would like to thank Youness Lamzouri for informing me about his work on sum of incomplete Birch sums and Tal Horesh for her suggestions on a previous version of the paper. Finally, I am very grateful to the anonymous referee for their careful reading of the manuscript and their valuable comments.","scopus_import":"1","month":"05","department":[{"_id":"TiBr"}],"publisher":"Cambridge University Press","isi":1,"type":"journal_article","volume":172,"file_date_updated":"2021-12-01T14:01:54Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_published":"2022-05-01T00:00:00Z","doi":"10.1017/S030500412100030X","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"language":[{"iso":"eng"}],"ddc":["510"],"intvolume":"       172","date_created":"2021-05-02T22:01:29Z","_id":"9364","year":"2022","publication_status":"published","article_type":"original","abstract":[{"text":"Let t : Fp → C be a complex valued function on Fp. A classical problem in analytic number theory is bounding the maximum M(t) := max 0≤H<p ∣ 1/√p ∑ 0≤n<H t (n) ∣ of the absolute value of the incomplete sums(1/√p)∑0≤n<H t (n). In this very general context one of the most important results is the Pólya–Vinogradov bound M(t)≤IIˆtII∞ log 3p, where ˆt : Fp → C is the normalized Fourier transform of t. In this paper we provide a lower bound for certain incomplete Kloosterman sums, namely we prove that for any ε > 0 there exists a large subset of a ∈ F×p such that for kl a,1,p : x → e((ax+x) / p) we have M(kla,1,p) ≥ (1−ε/√2π + o(1)) log log p, as p→∞. Finally, we prove a result on the growth of the moments of {M (kla,1,p)}a∈F×p. 2020 Mathematics Subject Classification: 11L03, 11T23 (Primary); 14F20, 60F10 (Secondary).","lang":"eng"}],"file":[{"creator":"cchlebak","access_level":"open_access","file_size":334064,"content_type":"application/pdf","checksum":"614d2e9b83a78100408e4ee7752a80a8","date_updated":"2021-12-01T14:01:54Z","date_created":"2021-12-01T14:01:54Z","success":1,"relation":"main_file","file_id":"10395","file_name":"2021_MathProcCamPhilSoc_Bonolis.pdf"}],"quality_controlled":"1","article_processing_charge":"Yes (via OA deal)","oa_version":"Published Version","citation":{"ista":"Bonolis D. 2022. On the size of the maximum of incomplete Kloosterman sums. Mathematical Proceedings of the Cambridge Philosophical Society. 172(3), 563–590.","chicago":"Bonolis, Dante. “On the Size of the Maximum of Incomplete Kloosterman Sums.” <i>Mathematical Proceedings of the Cambridge Philosophical Society</i>. Cambridge University Press, 2022. <a href=\"https://doi.org/10.1017/S030500412100030X\">https://doi.org/10.1017/S030500412100030X</a>.","ieee":"D. Bonolis, “On the size of the maximum of incomplete Kloosterman sums,” <i>Mathematical Proceedings of the Cambridge Philosophical Society</i>, vol. 172, no. 3. Cambridge University Press, pp. 563–590, 2022.","ama":"Bonolis D. On the size of the maximum of incomplete Kloosterman sums. <i>Mathematical Proceedings of the Cambridge Philosophical Society</i>. 2022;172(3):563-590. doi:<a href=\"https://doi.org/10.1017/S030500412100030X\">10.1017/S030500412100030X</a>","apa":"Bonolis, D. (2022). On the size of the maximum of incomplete Kloosterman sums. <i>Mathematical Proceedings of the Cambridge Philosophical Society</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/S030500412100030X\">https://doi.org/10.1017/S030500412100030X</a>","mla":"Bonolis, Dante. “On the Size of the Maximum of Incomplete Kloosterman Sums.” <i>Mathematical Proceedings of the Cambridge Philosophical Society</i>, vol. 172, no. 3, Cambridge University Press, 2022, pp. 563–90, doi:<a href=\"https://doi.org/10.1017/S030500412100030X\">10.1017/S030500412100030X</a>.","short":"D. Bonolis, Mathematical Proceedings of the Cambridge Philosophical Society 172 (2022) 563–590."},"author":[{"first_name":"Dante","last_name":"Bonolis","id":"6A459894-5FDD-11E9-AF35-BB24E6697425","full_name":"Bonolis, Dante"}],"date_updated":"2023-08-02T06:47:48Z","day":"01","oa":1,"publication":"Mathematical Proceedings of the Cambridge Philosophical Society","publication_identifier":{"issn":["0305-0041"],"eissn":["1469-8064"]},"title":"On the size of the maximum of incomplete Kloosterman sums","external_id":{"arxiv":["1811.10563"],"isi":["000784421500001"]},"has_accepted_license":"1","issue":"3"},{"date_published":"2022-01-01T00:00:00Z","doi":"10.1007/s10208-021-09520-0","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"language":[{"iso":"eng"}],"ddc":["516"],"intvolume":"        22","type":"journal_article","volume":22,"file_date_updated":"2021-07-14T06:44:36Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","month":"0","publisher":"Springer Nature","department":[{"_id":"HeEd"}],"isi":1,"page":"967-1012","acknowledgement":"First and foremost, we acknowledge Siargey Kachanovich for discussions. We thank Herbert Edelsbrunner and all members of his group, all former and current members of the Datashape team (formerly known as Geometrica), and André Lieutier for encouragement. We further thank the reviewers of Foundations of Computational Mathematics and the reviewers and program committee of the Symposium on Computational Geometry for their feedback, which improved the exposition.\r\nThis work was funded by the European Research Council under the European Union’s ERC Grant Agreement number 339025 GUDHI (Algorithmic Foundations of Geometric Understanding in Higher Dimensions). This work was also supported by the French government, through the 3IA Côte d’Azur Investments in the Future project managed by the National Research Agency (ANR) with the reference number ANR-19-P3IA-0002. Mathijs Wintraecken also received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement no. 754411.","scopus_import":"1","external_id":{"isi":["000673039600001"]},"title":"The topological correctness of PL approximations of isomanifolds","project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020"}],"has_accepted_license":"1","date_updated":"2023-08-02T06:49:17Z","author":[{"first_name":"Jean-Daniel","last_name":"Boissonnat","full_name":"Boissonnat, Jean-Daniel"},{"last_name":"Wintraecken","first_name":"Mathijs","orcid":"0000-0002-7472-2220","id":"307CFBC8-F248-11E8-B48F-1D18A9856A87","full_name":"Wintraecken, Mathijs"}],"citation":{"short":"J.-D. Boissonnat, M. Wintraecken, Foundations of Computational Mathematics  22 (2022) 967–1012.","chicago":"Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL Approximations of Isomanifolds.” <i>Foundations of Computational Mathematics </i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/s10208-021-09520-0\">https://doi.org/10.1007/s10208-021-09520-0</a>.","ista":"Boissonnat J-D, Wintraecken M. 2022. The topological correctness of PL approximations of isomanifolds. Foundations of Computational Mathematics . 22, 967–1012.","mla":"Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL Approximations of Isomanifolds.” <i>Foundations of Computational Mathematics </i>, vol. 22, Springer Nature, 2022, pp. 967–1012, doi:<a href=\"https://doi.org/10.1007/s10208-021-09520-0\">10.1007/s10208-021-09520-0</a>.","ama":"Boissonnat J-D, Wintraecken M. The topological correctness of PL approximations of isomanifolds. <i>Foundations of Computational Mathematics </i>. 2022;22:967-1012. doi:<a href=\"https://doi.org/10.1007/s10208-021-09520-0\">10.1007/s10208-021-09520-0</a>","apa":"Boissonnat, J.-D., &#38; Wintraecken, M. (2022). The topological correctness of PL approximations of isomanifolds. <i>Foundations of Computational Mathematics </i>. Springer Nature. <a href=\"https://doi.org/10.1007/s10208-021-09520-0\">https://doi.org/10.1007/s10208-021-09520-0</a>","ieee":"J.-D. Boissonnat and M. Wintraecken, “The topological correctness of PL approximations of isomanifolds,” <i>Foundations of Computational Mathematics </i>, vol. 22. Springer Nature, pp. 967–1012, 2022."},"day":"01","oa":1,"publication":"Foundations of Computational Mathematics ","publication_identifier":{"eissn":["1615-3383"]},"publication_status":"published","article_type":"original","related_material":{"record":[{"relation":"earlier_version","id":"7952","status":"public"}]},"abstract":[{"text":"Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. manifolds defined as the zero set of some multivariate vector-valued smooth function f : Rd → Rd−n. A natural (and efficient) way to approximate an isomanifold is to consider its Piecewise-Linear (PL) approximation based on a triangulation T of the ambient space Rd. In this paper, we give conditions under which the PL-approximation of an isomanifold is topologically equivalent to the isomanifold. The conditions are easy to satisfy in the sense that they can always be met by taking a sufficiently\r\nfine triangulation T . This contrasts with previous results on the triangulation of manifolds where, in arbitrary dimensions, delicate perturbations are needed to guarantee topological correctness, which leads to strong limitations in practice. We further give a bound on the Fréchet distance between the original isomanifold and its PL-approximation. Finally we show analogous results for the PL-approximation of an isomanifold with boundary.","lang":"eng"}],"file":[{"date_created":"2021-07-14T06:44:36Z","relation":"main_file","file_id":"9650","file_name":"Boissonnat-Wintraecken2021_Article_TheTopologicalCorrectnessOfPLA.pdf","date_updated":"2021-07-14T06:44:36Z","file_size":1455699,"content_type":"application/pdf","checksum":"f1d372ec3c08ec22e84f8e93e1126b8c","creator":"mwintrae","access_level":"open_access"}],"quality_controlled":"1","article_processing_charge":"Yes (via OA deal)","oa_version":"Published Version","date_created":"2021-07-14T06:44:53Z","ec_funded":1,"_id":"9649","year":"2022"},{"external_id":{"isi":["000822975900002"]},"title":"Multitier mechanics control stromal adaptations in swelling lymph nodes","project":[{"_id":"25FE9508-B435-11E9-9278-68D0E5697425","grant_number":"724373","call_identifier":"H2020","name":"Cellular navigation along spatial gradients"}],"has_accepted_license":"1","date_updated":"2023-08-02T06:53:07Z","citation":{"mla":"Assen, Frank P., et al. “Multitier Mechanics Control Stromal Adaptations in Swelling Lymph Nodes.” <i>Nature Immunology</i>, vol. 23, Springer Nature, 2022, pp. 1246–55, doi:<a href=\"https://doi.org/10.1038/s41590-022-01257-4\">10.1038/s41590-022-01257-4</a>.","ieee":"F. P. Assen <i>et al.</i>, “Multitier mechanics control stromal adaptations in swelling lymph nodes,” <i>Nature Immunology</i>, vol. 23. Springer Nature, pp. 1246–1255, 2022.","ama":"Assen FP, Abe J, Hons M, et al. Multitier mechanics control stromal adaptations in swelling lymph nodes. <i>Nature Immunology</i>. 2022;23:1246-1255. doi:<a href=\"https://doi.org/10.1038/s41590-022-01257-4\">10.1038/s41590-022-01257-4</a>","apa":"Assen, F. P., Abe, J., Hons, M., Hauschild, R., Shamipour, S., Kaufmann, W., … Sixt, M. K. (2022). Multitier mechanics control stromal adaptations in swelling lymph nodes. <i>Nature Immunology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41590-022-01257-4\">https://doi.org/10.1038/s41590-022-01257-4</a>","chicago":"Assen, Frank P, Jun Abe, Miroslav Hons, Robert Hauschild, Shayan Shamipour, Walter Kaufmann, Tommaso Costanzo, et al. “Multitier Mechanics Control Stromal Adaptations in Swelling Lymph Nodes.” <i>Nature Immunology</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1038/s41590-022-01257-4\">https://doi.org/10.1038/s41590-022-01257-4</a>.","ista":"Assen FP, Abe J, Hons M, Hauschild R, Shamipour S, Kaufmann W, Costanzo T, Krens G, Brown M, Ludewig B, Hippenmeyer S, Heisenberg C-PJ, Weninger W, Hannezo EB, Luther SA, Stein JV, Sixt MK. 2022. Multitier mechanics control stromal adaptations in swelling lymph nodes. Nature Immunology. 23, 1246–1255.","short":"F.P. Assen, J. Abe, M. Hons, R. Hauschild, S. Shamipour, W. Kaufmann, T. Costanzo, G. Krens, M. Brown, B. Ludewig, S. Hippenmeyer, C.-P.J. Heisenberg, W. Weninger, E.B. Hannezo, S.A. Luther, J.V. Stein, M.K. Sixt, Nature Immunology 23 (2022) 1246–1255."},"author":[{"id":"3A8E7F24-F248-11E8-B48F-1D18A9856A87","full_name":"Assen, Frank P","orcid":"0000-0003-3470-6119","first_name":"Frank P","last_name":"Assen"},{"first_name":"Jun","last_name":"Abe","full_name":"Abe, Jun"},{"first_name":"Miroslav","last_name":"Hons","id":"4167FE56-F248-11E8-B48F-1D18A9856A87","full_name":"Hons, Miroslav","orcid":"0000-0002-6625-3348"},{"full_name":"Hauschild, Robert","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9843-3522","last_name":"Hauschild","first_name":"Robert"},{"last_name":"Shamipour","first_name":"Shayan","id":"40B34FE2-F248-11E8-B48F-1D18A9856A87","full_name":"Shamipour, Shayan"},{"orcid":"0000-0001-9735-5315","full_name":"Kaufmann, Walter","id":"3F99E422-F248-11E8-B48F-1D18A9856A87","first_name":"Walter","last_name":"Kaufmann"},{"first_name":"Tommaso","last_name":"Costanzo","id":"D93824F4-D9BA-11E9-BB12-F207E6697425","full_name":"Costanzo, Tommaso","orcid":"0000-0001-9732-3815"},{"orcid":"0000-0003-4761-5996","full_name":"Krens, Gabriel","id":"2B819732-F248-11E8-B48F-1D18A9856A87","first_name":"Gabriel","last_name":"Krens"},{"first_name":"Markus","last_name":"Brown","id":"3DAB9AFC-F248-11E8-B48F-1D18A9856A87","full_name":"Brown, Markus"},{"full_name":"Ludewig, Burkhard","last_name":"Ludewig","first_name":"Burkhard"},{"full_name":"Hippenmeyer, Simon","id":"37B36620-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2279-1061","last_name":"Hippenmeyer","first_name":"Simon"},{"last_name":"Heisenberg","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Weninger, Wolfgang","last_name":"Weninger","first_name":"Wolfgang"},{"first_name":"Edouard B","last_name":"Hannezo","full_name":"Hannezo, Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561"},{"first_name":"Sanjiv A.","last_name":"Luther","full_name":"Luther, Sanjiv A."},{"first_name":"Jens V.","last_name":"Stein","full_name":"Stein, Jens V."},{"last_name":"Sixt","first_name":"Michael K","orcid":"0000-0002-4561-241X","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","full_name":"Sixt, Michael K"}],"day":"11","oa":1,"publication":"Nature Immunology","publication_identifier":{"issn":["1529-2908"],"eissn":["1529-2916"]},"publication_status":"published","article_type":"original","abstract":[{"text":"Lymph nodes (LNs) comprise two main structural elements: fibroblastic reticular cells that form dedicated niches for immune cell interaction and capsular fibroblasts that build a shell around the organ. Immunological challenge causes LNs to increase more than tenfold in size within a few days. Here, we characterized the biomechanics of LN swelling on the cellular and organ scale. We identified lymphocyte trapping by influx and proliferation as drivers of an outward pressure force, causing fibroblastic reticular cells of the T-zone (TRCs) and their associated conduits to stretch. After an initial phase of relaxation, TRCs sensed the resulting strain through cell matrix adhesions, which coordinated local growth and remodeling of the stromal network. While the expanded TRC network readopted its typical configuration, a massive fibrotic reaction of the organ capsule set in and countered further organ expansion. Thus, different fibroblast populations mechanically control LN swelling in a multitier fashion.","lang":"eng"}],"file":[{"checksum":"628e7b49809f22c75b428842efe70c68","content_type":"application/pdf","file_size":11475325,"access_level":"open_access","creator":"dernst","file_name":"2022_NatureImmunology_Assen.pdf","file_id":"11642","success":1,"date_created":"2022-07-25T07:11:32Z","relation":"main_file","date_updated":"2022-07-25T07:11:32Z"}],"quality_controlled":"1","article_processing_charge":"No","oa_version":"Published Version","acknowledged_ssus":[{"_id":"Bio"},{"_id":"EM-Fac"},{"_id":"PreCl"},{"_id":"LifeSc"}],"date_created":"2021-08-06T09:09:11Z","ec_funded":1,"_id":"9794","year":"2022","date_published":"2022-07-11T00:00:00Z","doi":"10.1038/s41590-022-01257-4","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","language":[{"iso":"eng"}],"intvolume":"        23","ddc":["570"],"type":"journal_article","volume":23,"file_date_updated":"2022-07-25T07:11:32Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","month":"07","publisher":"Springer Nature","department":[{"_id":"SiHi"},{"_id":"CaHe"},{"_id":"EdHa"},{"_id":"EM-Fac"},{"_id":"Bio"},{"_id":"MiSi"}],"isi":1,"page":"1246-1255","acknowledgement":"This research was supported by the Scientific Service Units of IST Austria through resources provided by the Imaging and Optics, Electron Microscopy, Preclinical and Life Science Facilities. We thank C. Moussion for providing anti-PNAd antibody and D. Critchley for Talin1-floxed mice, and E. Papusheva for providing a custom 3D channel alignment script. This work was supported by a European Research Council grant ERC-CoG-72437 to M.S. M.H. was supported by Czech Sciencundation GACR 20-24603Y and Charles University PRIMUS/20/MED/013.","scopus_import":"1"},{"year":"2022","_id":"9955","pmid":1,"date_created":"2021-08-23T08:40:59Z","oa_version":"None","article_processing_charge":"No","quality_controlled":"1","abstract":[{"text":"Neurons can change their classical neurotransmitters during ontogeny, sometimes going through stages of dual release. Here, we explored the development of the neurotransmitter identity of neurons of the avian nucleus isthmi parvocellularis (Ipc), whose axon terminals are retinotopically arranged in the optic tectum (TeO) and exert a focal gating effect upon the ascending transmission of retinal inputs. Although cholinergic and glutamatergic markers are both found in Ipc neurons and terminals of adult pigeons and chicks, the mRNA expression of the vesicular acetylcholine transporter, VAChT, is weak or absent. To explore how the Ipc neurotransmitter identity is established during ontogeny, we analyzed the expression of mRNAs coding for cholinergic (ChAT, VAChT, and CHT) and glutamatergic (VGluT2 and VGluT3) markers in chick embryos at different developmental stages. We found that between E12 and E18, Ipc neurons expressed all cholinergic mRNAs and also VGluT2 mRNA; however, from E16 through posthatch stages, VAChT mRNA expression was specifically diminished. Our ex vivo deposits of tracer crystals and intracellular filling experiments revealed that Ipc axons exhibit a mature paintbrush morphology late in development, experiencing marked morphological transformations during the period of presumptive dual vesicular transmitter release. Additionally, although ChAT protein immunoassays increasingly label the growing Ipc axon, this labeling was consistently restricted to sparse portions of the terminal branches. Combined, these results suggest that the synthesis of glutamate and acetylcholine, and their vesicular release, is complexly linked to the developmental processes of branching, growing and remodeling of these unique axons.","lang":"eng"}],"publication_status":"published","article_type":"original","publication":"Journal of Comparative Neurology","publication_identifier":{"issn":["0021-9967"],"eissn":["1096-9861"]},"day":"01","citation":{"short":"R. Reyes‐Pinto, J.L. Ferrán, T.A. Vega Zuniga, C. González‐Cabrera, H. Luksch, J. Mpodozis, L. Puelles, G.J. Marín, Journal of Comparative Neurology 530 (2022) 553–573.","mla":"Reyes‐Pinto, Rosana, et al. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” <i>Journal of Comparative Neurology</i>, vol. 530, no. 2, Wiley, 2022, pp. 553–73, doi:<a href=\"https://doi.org/10.1002/cne.25229\">10.1002/cne.25229</a>.","ieee":"R. Reyes‐Pinto <i>et al.</i>, “Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum,” <i>Journal of Comparative Neurology</i>, vol. 530, no. 2. Wiley, pp. 553–573, 2022.","apa":"Reyes‐Pinto, R., Ferrán, J. L., Vega Zuniga, T. A., González‐Cabrera, C., Luksch, H., Mpodozis, J., … Marín, G. J. (2022). Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. <i>Journal of Comparative Neurology</i>. Wiley. <a href=\"https://doi.org/10.1002/cne.25229\">https://doi.org/10.1002/cne.25229</a>","ama":"Reyes‐Pinto R, Ferrán JL, Vega Zuniga TA, et al. Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. <i>Journal of Comparative Neurology</i>. 2022;530(2):553-573. doi:<a href=\"https://doi.org/10.1002/cne.25229\">10.1002/cne.25229</a>","chicago":"Reyes‐Pinto, Rosana, José L. Ferrán, Tomas A Vega Zuniga, Cristian González‐Cabrera, Harald Luksch, Jorge Mpodozis, Luis Puelles, and Gonzalo J. Marín. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” <i>Journal of Comparative Neurology</i>. Wiley, 2022. <a href=\"https://doi.org/10.1002/cne.25229\">https://doi.org/10.1002/cne.25229</a>.","ista":"Reyes‐Pinto R, Ferrán JL, Vega Zuniga TA, González‐Cabrera C, Luksch H, Mpodozis J, Puelles L, Marín GJ. 2022. Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. Journal of Comparative Neurology. 530(2), 553–573."},"author":[{"first_name":"Rosana","last_name":"Reyes‐Pinto","full_name":"Reyes‐Pinto, Rosana"},{"full_name":"Ferrán, José L.","first_name":"José L.","last_name":"Ferrán"},{"first_name":"Tomas A","last_name":"Vega Zuniga","id":"2E7C4E78-F248-11E8-B48F-1D18A9856A87","full_name":"Vega Zuniga, Tomas A"},{"full_name":"González‐Cabrera, Cristian","first_name":"Cristian","last_name":"González‐Cabrera"},{"full_name":"Luksch, Harald","first_name":"Harald","last_name":"Luksch"},{"full_name":"Mpodozis, Jorge","last_name":"Mpodozis","first_name":"Jorge"},{"full_name":"Puelles, Luis","first_name":"Luis","last_name":"Puelles"},{"first_name":"Gonzalo J.","last_name":"Marín","full_name":"Marín, Gonzalo J."}],"date_updated":"2023-08-11T10:58:17Z","issue":"2","title":"Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum","external_id":{"pmid":["34363623"],"isi":["000686420000001"]},"scopus_import":"1","acknowledgement":"This work was supported by FONDECYT grants 1151432 and 1210169 to Gonzalo J. Marín. FONDECYT grant 1210069 to Jorge Mpodozis. Spanish Ministry of Science, Innovation and Universities (MCIU), State Research Agency (AEI) and European Regional Development Fund (FEDER), PGC2018-098229-B-100 to José L Ferrán. Spanish Ministry of Economy and Competitiveness Excellency Grant BFU2014-57516P (with European Community FEDER support), and a Seneca Foundation (Autonomous Community of Murcia) Excellency Research contract, ref: 19904/ GERM/15; project name: Genoarchitectonic Brain Development and Applications to Neurodegenerative Diseases and Cancer (5672 Fundación Séneca) to Luis Puelles. The authors gratefully acknowledge the valuable editorial help provided by Sara Fernández-Collemann. The authors also thank Elisa Sentis and Solano Henríquez for expert technical help.","page":"553-573","isi":1,"publisher":"Wiley","department":[{"_id":"MaJö"}],"month":"02","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","volume":530,"type":"journal_article","intvolume":"       530","language":[{"iso":"eng"}],"status":"public","doi":"10.1002/cne.25229","date_published":"2022-02-01T00:00:00Z"},{"page":"709-764","arxiv":1,"scopus_import":"1","acknowledgement":"We warmly thank S. Gukov for valuable discussions on the GPPV invariant ̂Z𝑎(𝑀3; 𝑞). The first\r\nauthor was supported in part by the center of excellence grant ‘Center for Quantum Geometry\r\nof Moduli Spaces’ from the Danish National Research Foundation (DNRF95) and by the ERCSynergy\r\ngrant ‘ReNewQuantum’. The second author received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie grant agreement no. 754411.","month":"03","publisher":"Wiley","department":[{"_id":"TaHa"}],"isi":1,"volume":105,"type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","file_date_updated":"2022-03-24T11:42:25Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","language":[{"iso":"eng"}],"date_published":"2022-03-01T00:00:00Z","doi":"10.1112/jlms.12506","ddc":["510"],"intvolume":"       105","_id":"9977","year":"2022","date_created":"2021-08-31T12:51:40Z","ec_funded":1,"abstract":[{"text":"For a Seifert fibered homology sphere X we show that the q-series invariant Zˆ0(X; q) introduced by Gukov-Pei-Putrov-Vafa, is a resummation of the Ohtsuki series Z0(X). We show that for every even k ∈ N there exists a full asymptotic expansion of Zˆ0(X; q) for q tending to e 2πi/k, and in particular that the limit Zˆ0(X; e 2πi/k) exists and is equal to the\r\nWRT quantum invariant τk(X). We show that the poles of the Borel transform of Z0(X) coincide with the classical complex Chern-Simons values, which we further show classifies the corresponding components of the moduli space of flat SL(2, C)-connections.","lang":"eng"}],"file":[{"date_updated":"2022-03-24T11:42:25Z","date_created":"2022-03-24T11:42:25Z","success":1,"relation":"main_file","file_id":"10917","file_name":"2022_JourLondonMathSoc_Andersen.pdf","creator":"dernst","access_level":"open_access","content_type":"application/pdf","file_size":649130,"checksum":"9c72327d39f34f1a6eaa98fa4b8493f2"}],"article_type":"original","publication_status":"published","article_processing_charge":"Yes (via OA deal)","oa_version":"Published Version","quality_controlled":"1","citation":{"ama":"Mistegaard W, Andersen JE. Resurgence analysis of quantum invariants of Seifert fibered homology spheres. <i>Journal of the London Mathematical Society</i>. 2022;105(2):709-764. doi:<a href=\"https://doi.org/10.1112/jlms.12506\">10.1112/jlms.12506</a>","ieee":"W. Mistegaard and J. E. Andersen, “Resurgence analysis of quantum invariants of Seifert fibered homology spheres,” <i>Journal of the London Mathematical Society</i>, vol. 105, no. 2. Wiley, pp. 709–764, 2022.","apa":"Mistegaard, W., &#38; Andersen, J. E. (2022). Resurgence analysis of quantum invariants of Seifert fibered homology spheres. <i>Journal of the London Mathematical Society</i>. Wiley. <a href=\"https://doi.org/10.1112/jlms.12506\">https://doi.org/10.1112/jlms.12506</a>","mla":"Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” <i>Journal of the London Mathematical Society</i>, vol. 105, no. 2, Wiley, 2022, pp. 709–64, doi:<a href=\"https://doi.org/10.1112/jlms.12506\">10.1112/jlms.12506</a>.","ista":"Mistegaard W, Andersen JE. 2022. Resurgence analysis of quantum invariants of Seifert fibered homology spheres. Journal of the London Mathematical Society. 105(2), 709–764.","chicago":"Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” <i>Journal of the London Mathematical Society</i>. Wiley, 2022. <a href=\"https://doi.org/10.1112/jlms.12506\">https://doi.org/10.1112/jlms.12506</a>.","short":"W. Mistegaard, J.E. Andersen, Journal of the London Mathematical Society 105 (2022) 709–764."},"date_updated":"2023-08-02T06:53:51Z","author":[{"full_name":"Mistegaard, William","id":"41B03CD0-62AE-11E9-84EF-0718E6697425","first_name":"William","last_name":"Mistegaard"},{"full_name":"Andersen, Jørgen Ellegaard","first_name":"Jørgen Ellegaard","last_name":"Andersen"}],"oa":1,"publication_identifier":{"eissn":["1469-7750"]},"publication":"Journal of the London Mathematical Society","day":"01","external_id":{"arxiv":["1811.05376"],"isi":["000755205700001"]},"title":"Resurgence analysis of quantum invariants of Seifert fibered homology spheres","project":[{"name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"issue":"2","has_accepted_license":"1"},{"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). ","scopus_import":"1","month":"08","publisher":"Association for Research in Vision and Ophthalmology","department":[{"_id":"SaSi"}],"isi":1,"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","type":"journal_article","volume":62,"file_date_updated":"2022-05-13T07:40:15Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_published":"2021-08-16T00:00:00Z","doi":"10.1167/IOVS.62.10.14","status":"public","tmp":{"image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"language":[{"iso":"eng"}],"intvolume":"        62","ddc":["570"],"pmid":1,"date_created":"2021-09-12T22:01:23Z","_id":"10000","year":"2021","publication_status":"published","article_type":"original","abstract":[{"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.","lang":"eng"}],"file":[{"date_updated":"2022-05-13T07:40:15Z","file_name":"2021_IOVS_Schmitt.pdf","date_created":"2022-05-13T07:40:15Z","relation":"main_file","success":1,"file_id":"11369","creator":"dernst","access_level":"open_access","checksum":"c430967746f653aa1ae84ee617f62b73","file_size":19707796,"content_type":"application/pdf"}],"quality_controlled":"1","article_processing_charge":"Yes","oa_version":"Published Version","author":[{"last_name":"Schmitt","first_name":"Heather M.","full_name":"Schmitt, Heather M."},{"full_name":"Fehrman, Rachel L.","first_name":"Rachel L.","last_name":"Fehrman"},{"full_name":"Maes, Margaret E","id":"3838F452-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9642-1085","first_name":"Margaret E","last_name":"Maes"},{"first_name":"Huan","last_name":"Yang","full_name":"Yang, Huan"},{"full_name":"Guo, Lian Wang","last_name":"Guo","first_name":"Lian Wang"},{"last_name":"Schlamp","first_name":"Cassandra L.","full_name":"Schlamp, Cassandra L."},{"first_name":"Heather R.","last_name":"Pelzel","full_name":"Pelzel, Heather R."},{"full_name":"Nickells, Robert W.","last_name":"Nickells","first_name":"Robert W."}],"citation":{"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).","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.","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>.","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>","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>","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>."},"date_updated":"2023-08-14T06:35:17Z","day":"16","oa":1,"publication":"Investigative Ophthalmology and Visual Science","publication_identifier":{"issn":["0146-0404"],"eissn":["1552-5783"]},"title":"Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression","external_id":{"pmid":["34398198"],"isi":["000695230000014"]},"has_accepted_license":"1","article_number":"14","issue":"10"},{"language":[{"iso":"eng"}],"status":"public","doi":"10.1109/LICS52264.2021.9470739","date_published":"2021-07-07T00:00:00Z","type":"conference","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"KrCh"}],"publisher":"Institute of Electrical and Electronics Engineers","month":"07","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.07466"}],"isi":1,"page":"1-13","conference":{"end_date":"2021-07-02","name":"LICS: Symposium on Logic in Computer Science","location":"Rome, Italy","start_date":"2021-06-29"},"arxiv":1,"scopus_import":"1","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.","project":[{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S11407","name":"Game Theory"},{"grant_number":"863818","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"title":"Symbolic time and space tradeoffs for probabilistic verification","external_id":{"isi":["000947350400089"],"arxiv":["2104.07466"]},"date_updated":"2025-07-14T09:10:07Z","citation":{"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.","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>.","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.","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>","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>","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>.","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."},"author":[{"first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"last_name":"Dvorak","first_name":"Wolfgang","full_name":"Dvorak, Wolfgang"},{"orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","last_name":"Henzinger"},{"first_name":"Alexander","last_name":"Svozil","full_name":"Svozil, Alexander"}],"publication_identifier":{"eisbn":["978-1-6654-4895-6"],"isbn":["978-1-6654-4896-3"],"issn":["1043-6871"]},"publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","oa":1,"day":"07","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"}],"publication_status":"published","oa_version":"Preprint","article_processing_charge":"No","keyword":["Computer science","Computational modeling","Markov processes","Probabilistic logic","Formal verification","Game Theory"],"quality_controlled":"1","year":"2021","_id":"10002","ec_funded":1,"date_created":"2021-09-12T22:01:24Z"},{"keyword":["Computer science","Heuristic algorithms","Memory management","Automata","Markov processes","Probability distribution","Complexity theory"],"article_processing_charge":"No","oa_version":"Preprint","quality_controlled":"1","abstract":[{"lang":"eng","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."}],"publication_status":"published","_id":"10004","year":"2021","ec_funded":1,"date_created":"2021-09-12T22:01:25Z","title":"Stochastic processes with expected stopping time","external_id":{"isi":["000947350400036"],"arxiv":["2104.07278"]},"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","call_identifier":"H2020"}],"oa":1,"publication_identifier":{"issn":["1043-6871"],"isbn":["978-1-6654-4896-3"],"eisbn":["978-1-6654-4895-6"]},"publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","day":"07","date_updated":"2025-07-14T09:10:08Z","author":[{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"first_name":"Laurent","last_name":"Doyen","full_name":"Doyen, Laurent"}],"citation":{"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>","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.","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>","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>.","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.","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>.","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."},"isi":1,"main_file_link":[{"url":"https://arxiv.org/abs/2104.07278","open_access":"1"}],"month":"07","publisher":"Institute of Electrical and Electronics Engineers","department":[{"_id":"KrCh"}],"scopus_import":"1","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).","page":"1-13","conference":{"end_date":"2021-07-02","name":"LICS: Symposium on Logic in Computer Science","start_date":"2021-06-29","location":"Rome, Italy"},"arxiv":1,"status":"public","language":[{"iso":"eng"}],"date_published":"2021-07-07T00:00:00Z","doi":"10.1109/LICS52264.2021.9470595","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"conference"},{"day":"25","publication_identifier":{"issn":["0218-2025"],"eissn":["1793-6314"]},"publication":"Mathematical Models and Methods in Applied Sciences","oa":1,"author":[{"full_name":"Bulíček, Miroslav","last_name":"Bulíček","first_name":"Miroslav"},{"last_name":"Maringová","first_name":"Erika","full_name":"Maringová, Erika","id":"dbabca31-66eb-11eb-963a-fb9c22c880b4"},{"full_name":"Málek, Josef","first_name":"Josef","last_name":"Málek"}],"citation":{"short":"M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021).","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>.","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).","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>.","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.","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>","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>"},"date_updated":"2023-09-04T11:43:45Z","issue":"09","project":[{"name":"Taming Complexity in Partial Differential Systems","grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2"}],"title":"On nonlinear problems of parabolic type with implicit constitutive equations involving flux","external_id":{"isi":["000722222900004"],"arxiv":["2009.06917"]},"date_created":"2021-09-12T22:01:25Z","year":"2021","_id":"10005","quality_controlled":"1","oa_version":"Preprint","article_processing_charge":"No","keyword":["Nonlinear parabolic systems","implicit constitutive theory","weak solutions","existence","uniqueness"],"publication_status":"published","article_type":"original","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."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":31,"intvolume":"        31","doi":"10.1142/S0218202521500457","date_published":"2021-08-25T00:00:00Z","language":[{"iso":"eng"}],"status":"public","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","scopus_import":"1","arxiv":1,"isi":1,"main_file_link":[{"url":"https://arxiv.org/abs/2009.06917","open_access":"1"}],"department":[{"_id":"JuFi"}],"publisher":"World Scientific","month":"08"},{"abstract":[{"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.","lang":"eng"}],"file":[{"date_created":"2021-09-13T11:03:24Z","relation":"source_file","file_id":"10008","file_name":"thesis_final_Hensel.zip","date_updated":"2021-09-15T14:37:30Z","file_size":15022154,"content_type":"application/x-zip-compressed","checksum":"c8475faaf0b680b4971f638f1db16347","creator":"shensel","access_level":"closed"},{"checksum":"1a609937aa5275452822f45f2da17f07","file_size":6583638,"content_type":"application/pdf","access_level":"open_access","creator":"shensel","file_name":"thesis_final_Hensel.pdf","file_id":"10014","date_created":"2021-09-13T14:18:56Z","relation":"main_file","date_updated":"2021-09-14T09:52:47Z"}],"related_material":{"record":[{"status":"public","id":"10012","relation":"part_of_dissertation"},{"id":"10013","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"7489"}]},"publication_status":"published","article_processing_charge":"No","oa_version":"Published Version","_id":"10007","year":"2021","date_created":"2021-09-13T11:12:34Z","ec_funded":1,"title":"Curvature driven interface evolution: Uniqueness properties of weak solution concepts","project":[{"name":"International IST Doctoral Program","call_identifier":"H2020","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"},{"name":"Bridging Scales in Random Materials","call_identifier":"H2020","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","grant_number":"948819"}],"has_accepted_license":"1","supervisor":[{"last_name":"Fischer","first_name":"Julian L","orcid":"0000-0002-0479-558X","full_name":"Fischer, Julian L","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87"}],"citation":{"short":"S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.","ista":"Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.","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>.","ieee":"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>","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>","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>."},"author":[{"full_name":"Hensel, Sebastian","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7252-8072","last_name":"Hensel","first_name":"Sebastian"}],"date_updated":"2023-09-07T13:30:45Z","oa":1,"publication_identifier":{"issn":["2663-337X"]},"day":"14","month":"09","publisher":"Institute of Science and Technology Austria","department":[{"_id":"GradSch"},{"_id":"JuFi"}],"degree_awarded":"PhD","page":"300","status":"public","language":[{"iso":"eng"}],"date_published":"2021-09-14T00:00:00Z","doi":"10.15479/at:ista:10007","alternative_title":["ISTA Thesis"],"ddc":["515"],"type":"dissertation","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file_date_updated":"2021-09-15T14:37:30Z"},{"abstract":[{"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.","lang":"eng"}],"month":"09","publication_status":"submitted","department":[{"_id":"JuFi"}],"keyword":["Mean curvature flow","gradient flows","varifolds","weak solutions","weak-strong uniqueness","calibrated geometry","gradient-flow calibrations"],"article_processing_charge":"No","oa_version":"Preprint","main_file_link":[{"url":"https://arxiv.org/abs/2109.04233","open_access":"1"}],"arxiv":1,"_id":"10011","year":"2021","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.","ec_funded":1,"date_created":"2021-09-13T12:17:10Z","external_id":{"arxiv":["2109.04233"]},"status":"public","title":"A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness","project":[{"name":"Bridging Scales in Random Materials","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","call_identifier":"H2020","grant_number":"948819"}],"language":[{"iso":"eng"}],"date_published":"2021-09-09T00:00:00Z","doi":"10.48550/arXiv.2109.04233","article_number":"2109.04233","author":[{"last_name":"Hensel","first_name":"Sebastian","orcid":"0000-0001-7252-8072","full_name":"Hensel, Sebastian","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Laux","first_name":"Tim","full_name":"Laux, Tim"}],"type":"preprint","citation":{"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>","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>","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>. .","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>.","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.","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>."},"date_updated":"2023-05-03T10:34:38Z","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"arXiv","day":"09"},{"oa_version":"Preprint","article_processing_charge":"No","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2108.01733"}],"abstract":[{"lang":"eng","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."}],"department":[{"_id":"JuFi"}],"publication_status":"submitted","related_material":{"record":[{"id":"13043","status":"public","relation":"later_version"},{"status":"public","id":"10007","relation":"dissertation_contains"}]},"month":"08","year":"2021","_id":"10013","ec_funded":1,"date_created":"2021-09-13T12:17:11Z","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.","arxiv":1,"article_number":"2108.01733","project":[{"name":"Bridging Scales in Random Materials","call_identifier":"H2020","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","grant_number":"948819"}],"language":[{"iso":"eng"}],"external_id":{"arxiv":["2108.01733"]},"title":"Weak-strong uniqueness for the mean curvature flow of double bubbles","status":"public","doi":"10.48550/arXiv.2108.01733","date_published":"2021-08-03T00:00:00Z","publication":"arXiv","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"day":"03","type":"preprint","author":[{"orcid":"0000-0001-7252-8072","full_name":"Hensel, Sebastian","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","first_name":"Sebastian","last_name":"Hensel"},{"last_name":"Laux","first_name":"Tim","full_name":"Laux, Tim"}],"date_updated":"2023-09-07T13:30:45Z","citation":{"ieee":"S. Hensel and T. Laux, “Weak-strong uniqueness for the mean curvature flow of double bubbles,” <i>arXiv</i>. .","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>","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>","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>.","ista":"Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv, 2108.01733.","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>.","short":"S. Hensel, T. Laux, ArXiv (n.d.)."}},{"title":"The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators","external_id":{"pmid":["34359847"],"isi":["000676604700001"]},"project":[{"grant_number":"665385","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program"},{"_id":"3AC91DDA-15DF-11EA-824D-93A3E7B544D1","call_identifier":"FWF","name":"FWF Open Access Fund"}],"has_accepted_license":"1","article_number":"1665 ","date_updated":"2024-10-29T10:22:44Z","citation":{"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>.","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.","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>","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>","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>.","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.","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)."},"author":[{"last_name":"Nikonorova","first_name":"N","full_name":"Nikonorova, N"},{"full_name":"Murphy, E","first_name":"E","last_name":"Murphy"},{"last_name":"Fonseca de Lima","first_name":"CF","full_name":"Fonseca de Lima, CF"},{"last_name":"Zhu","first_name":"S","full_name":"Zhu, S"},{"full_name":"van de Cotte, B","last_name":"van de Cotte","first_name":"B"},{"full_name":"Vu, LD","last_name":"Vu","first_name":"LD"},{"last_name":"Balcerowicz","first_name":"D","full_name":"Balcerowicz, D"},{"orcid":"0000-0002-5607-272X","id":"367EF8FA-F248-11E8-B48F-1D18A9856A87","full_name":"Li, Lanxin","last_name":"Li","first_name":"Lanxin"},{"full_name":"Kong, X","first_name":"X","last_name":"Kong"},{"full_name":"De Rop, G","first_name":"G","last_name":"De Rop"},{"first_name":"T","last_name":"Beeckman","full_name":"Beeckman, T"},{"full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","first_name":"Jiří","last_name":"Friml"},{"full_name":"Vissenberg, K","last_name":"Vissenberg","first_name":"K"},{"last_name":"Morris","first_name":"PC","full_name":"Morris, PC"},{"first_name":"Z","last_name":"Ding","full_name":"Ding, Z"},{"first_name":"I","last_name":"De Smet","full_name":"De Smet, I"}],"day":"02","oa":1,"publication":"Cells","publication_identifier":{"issn":["2073-4409"]},"article_type":"original","related_material":{"record":[{"status":"public","id":"10083","relation":"dissertation_contains"}]},"publication_status":"published","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"}],"file":[{"access_level":"open_access","creator":"cchlebak","checksum":"2a9f534b9c2200e72e2cde95afaf4eed","file_size":2667848,"content_type":"application/pdf","date_updated":"2021-09-16T09:07:06Z","file_name":"2021_Cells_Nikonorova.pdf","file_id":"10021","success":1,"relation":"main_file","date_created":"2021-09-16T09:07:06Z"}],"quality_controlled":"1","keyword":["primary root","(phospho)proteomics","auxin","(receptor) kinase"],"article_processing_charge":"Yes","oa_version":"Published Version","pmid":1,"date_created":"2021-09-14T11:36:20Z","ec_funded":1,"_id":"10015","year":"2021","date_published":"2021-07-02T00:00:00Z","doi":"10.3390/cells10071665","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","language":[{"iso":"eng"}],"alternative_title":["Protein Phosphorylation and Cell Signaling in Plants"],"ddc":["575"],"intvolume":"        10","type":"journal_article","volume":10,"file_date_updated":"2021-09-16T09:07:06Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"07","publisher":"MDPI","department":[{"_id":"JiFr"}],"isi":1,"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)."},{"issue":"4","project":[{"name":"Optimal Transport and Stochastic Dynamics","_id":"256E75B8-B435-11E9-9278-68D0E5697425","grant_number":"716117","call_identifier":"H2020"},{"name":"Taming Complexity in Partial Differential Systems","grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2"}],"title":"Trajectorial dissipation and gradient flow for the relative entropy in Markov chains","external_id":{"arxiv":["2005.14177"]},"day":"04","publication_identifier":{"issn":["1526-7555"]},"publication":"Communications in Information and Systems","oa":1,"date_updated":"2021-09-20T12:51:18Z","citation":{"short":"I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.","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>.","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.","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>","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>","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>.","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."},"author":[{"last_name":"Karatzas","first_name":"Ioannis","full_name":"Karatzas, Ioannis"},{"orcid":"0000-0002-0845-1338","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","full_name":"Maas, Jan","first_name":"Jan","last_name":"Maas"},{"last_name":"Schachermayer","first_name":"Walter","full_name":"Schachermayer, Walter"}],"quality_controlled":"1","oa_version":"Preprint","keyword":["Markov Chain","relative entropy","time reversal","steepest descent","gradient flow"],"article_processing_charge":"No","article_type":"original","publication_status":"published","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."}],"date_created":"2021-09-19T08:53:19Z","ec_funded":1,"year":"2021","_id":"10023","intvolume":"        21","doi":"10.4310/CIS.2021.v21.n4.a1","date_published":"2021-06-04T00:00:00Z","language":[{"iso":"eng"}],"status":"public","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","type":"journal_article","volume":21,"main_file_link":[{"url":"https://arxiv.org/abs/2005.14177","open_access":"1"}],"department":[{"_id":"JaMa"}],"publisher":"International Press","month":"06","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.","arxiv":1,"page":"481-536"}]
