[{"status":"public","oa_version":"Published Version","oa":1,"has_accepted_license":"1","article_processing_charge":"No","related_material":{"record":[{"id":"9281","status":"public","relation":"other"},{"status":"public","id":"10108","relation":"shorter_version"}]},"language":[{"iso":"eng"}],"alternative_title":["IST Austria Technical Report"],"publisher":"IST Austria","page":"17","year":"2021","publication_status":"published","publication_identifier":{"issn":["2664-1690"]},"date_published":"2021-09-01T00:00:00Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","type":"technical_report","title":"Differential monitoring","file":[{"relation":"main_file","date_created":"2021-08-20T19:59:44Z","creator":"fmuehlbo","content_type":"application/pdf","access_level":"open_access","checksum":"0f9aafd59444cb6bdca6925d163ab946","file_id":"9948","file_name":"differentialmonitoring-techreport.pdf","date_updated":"2021-09-03T12:34:28Z","file_size":"320453"}],"ddc":["005"],"abstract":[{"lang":"eng","text":"We argue that the time is ripe to investigate differential monitoring, in which the specification of a program's behavior is implicitly given by a second program implementing the same informal specification. Similar ideas have been proposed before, and are currently implemented in restricted form for testing and specialized run-time analyses, aspects of which we combine. We discuss the challenges of implementing differential monitoring as a general-purpose, black-box run-time monitoring framework, and present promising results of a preliminary implementation, showing low monitoring overheads for diverse programs."}],"doi":"10.15479/AT:ISTA:9946","file_date_updated":"2021-09-03T12:34:28Z","acknowledgement":"The authors would like to thank Borzoo Bonakdarpour, Derek Dreyer, Adrian Francalanza, Owolabi Legunsen, Matthew Milano, Manuel Rigger, Cesar Sanchez, and the members of the IST Verification Seminar for their helpful comments and insights on various stages of this work, as well as the reviewers of RV’21 for their helpful suggestions on the actual paper.","_id":"9946","date_created":"2021-08-20T20:00:37Z","keyword":["run-time verification","software engineering","implicit specification"],"author":[{"first_name":"Fabian","id":"6395C5F6-89DF-11E9-9C97-6BDFE5697425","last_name":"Mühlböck","full_name":"Mühlböck, Fabian","orcid":"0000-0003-1548-0177"},{"first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A"}],"date_updated":"2023-08-14T07:20:29Z","day":"01","month":"09","department":[{"_id":"ToHe"}],"citation":{"apa":"Mühlböck, F., &#38; Henzinger, T. A. (2021). <i>Differential monitoring</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:9946\">https://doi.org/10.15479/AT:ISTA:9946</a>","mla":"Mühlböck, Fabian, and Thomas A. Henzinger. <i>Differential Monitoring</i>. IST Austria, 2021, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9946\">10.15479/AT:ISTA:9946</a>.","short":"F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.","chicago":"Mühlböck, Fabian, and Thomas A Henzinger. <i>Differential Monitoring</i>. IST Austria, 2021. <a href=\"https://doi.org/10.15479/AT:ISTA:9946\">https://doi.org/10.15479/AT:ISTA:9946</a>.","ista":"Mühlböck F, Henzinger TA. 2021. Differential monitoring, IST Austria, 17p.","ama":"Mühlböck F, Henzinger TA. <i>Differential Monitoring</i>. IST Austria; 2021. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9946\">10.15479/AT:ISTA:9946</a>","ieee":"F. Mühlböck and T. A. Henzinger, <i>Differential monitoring</i>. IST Austria, 2021."},"project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF","grant_number":"Z211"}]},{"date_published":"2021-08-24T00:00:00Z","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2024-02-21T12:40:30Z","year":"2021","author":[{"id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","last_name":"Vicoso","first_name":"Beatriz","full_name":"Vicoso, Beatriz","orcid":"0000-0002-4579-8306"}],"publisher":"Institute of Science and Technology Austria","_id":"9949","date_created":"2021-08-21T13:44:22Z","related_material":{"record":[{"status":"public","id":"10166","relation":"used_in_publication"}]},"article_processing_charge":"No","file_date_updated":"2021-08-21T13:43:59Z","oa":1,"has_accepted_license":"1","status":"public","oa_version":"None","doi":"10.15479/AT:ISTA:9949","citation":{"ista":"Vicoso B. 2021. Data from Hyulmans et al 2021, ‘Transitions to asexuality and evolution of gene expression in Artemia brine shrimp’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:9949\">10.15479/AT:ISTA:9949</a>.","ama":"Vicoso B. Data from Hyulmans et al 2021, “Transitions to asexuality and evolution of gene expression in Artemia brine shrimp.” 2021. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9949\">10.15479/AT:ISTA:9949</a>","chicago":"Vicoso, Beatriz. “Data from Hyulmans et Al 2021, ‘Transitions to Asexuality and Evolution of Gene Expression in Artemia Brine Shrimp.’” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/AT:ISTA:9949\">https://doi.org/10.15479/AT:ISTA:9949</a>.","short":"B. Vicoso, (2021).","apa":"Vicoso, B. (2021). Data from Hyulmans et al 2021, “Transitions to asexuality and evolution of gene expression in Artemia brine shrimp.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:9949\">https://doi.org/10.15479/AT:ISTA:9949</a>","mla":"Vicoso, Beatriz. <i>Data from Hyulmans et Al 2021, “Transitions to Asexuality and Evolution of Gene Expression in Artemia Brine Shrimp.”</i> Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:9949\">10.15479/AT:ISTA:9949</a>.","ieee":"B. Vicoso, “Data from Hyulmans et al 2021, ‘Transitions to asexuality and evolution of gene expression in Artemia brine shrimp.’” Institute of Science and Technology Austria, 2021."},"file":[{"relation":"main_file","date_created":"2021-08-21T13:43:59Z","checksum":"90461837eed66beac6fa302993cf0ca9","access_level":"open_access","content_type":"application/zip","creator":"bvicoso","success":1,"file_name":"Data.zip","date_updated":"2021-08-21T13:43:59Z","file_id":"9950","file_size":139188306}],"department":[{"_id":"BeVi"}],"month":"08","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"24","type":"research_data","title":"Data from Hyulmans et al 2021, \"Transitions to asexuality and evolution of gene expression in Artemia brine shrimp\""},{"quality_controlled":"1","author":[{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","last_name":"Alistarh","first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X"},{"id":"4B865388-F248-11E8-B48F-1D18A9856A87","last_name":"Töpfer","first_name":"Martin","full_name":"Töpfer, Martin"},{"full_name":"Uznański, Przemysław","last_name":"Uznański","first_name":"Przemysław"}],"publisher":"Association for Computing Machinery","page":"55-65","publication_status":"published","publication_identifier":{"isbn":["9781450385480"]},"year":"2021","date_updated":"2023-08-11T10:56:04Z","date_published":"2021-07-21T00:00:00Z","oa_version":"None","status":"public","acknowledgement":"We would like to thank Rati Gelashvili for very useful discussions, and the PODC anonymous reviewers for their careful reading of our paper, and for their useful remarks. This work is partially supported by the Polish National Science Center (NCN) grant UMO2017/25/B/ST6/02010.","article_processing_charge":"No","language":[{"iso":"eng"}],"date_created":"2021-08-22T22:01:20Z","_id":"9951","external_id":{"isi":["000744439800005"]},"abstract":[{"lang":"eng","text":"There has recently been a surge of interest in the computational and complexity properties of the population model, which assumes n anonymous, computationally-bounded nodes, interacting at random, with the goal of jointly computing global predicates. Significant work has gone towards investigating majority or consensus dynamics in this model: that is, assuming that every node is initially in one of two states X or Y, determine which state had higher initial count.\r\n\r\nIn this paper, we consider a natural generalization of majority/consensus, which we call comparison : in its simplest formulation, we are given two baseline states, X and Y, present in any initial configuration in fixed, but possibly small counts. One of these states has higher count than the other: we will assume |X_0| > C |Y_0| for some constant C > 1. The challenge is to design a protocol by which nodes can quickly and reliably decide on which of the baseline states X_0 and Y_0 has higher initial count. We begin by analyzing a simple and general dynamics solving the above comparison problem, which uses O( log n ) states per node, and converges in O(log n) (parallel) time, with high probability, to a state where the whole population votes on opinions X or Y at rates proportional to the initial concentrations of |X_0| vs. |Y_0|. We then describe how this procedure can be bootstrapped to solve comparison, i.e. have every node in the population reach the \"correct'' decision, with probability 1 - o(1), at the cost of O (log log n) additional states. Further, we prove that this dynamics is self-stabilizing, in the sense that it converges to the correct decision from arbitrary initial states, and leak-robust, in the sense that it can withstand spurious faulty reactions, which are known to occur in practical implementations of population protocols. Our analysis is based on a new martingale concentration result relating the discrete-time evolution of a population protocol to its expected (steady-state) analysis, which should be a useful tool when analyzing opinion dynamics and epidemic dissemination in the population model."}],"publication":"Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing","citation":{"short":"D.-A. Alistarh, M. Töpfer, P. Uznański, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 55–65.","apa":"Alistarh, D.-A., Töpfer, M., &#38; Uznański, P. (2021). Comparison dynamics in population protocols. In <i>Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing</i> (pp. 55–65). Virtual, Italy: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3465084.3467915\">https://doi.org/10.1145/3465084.3467915</a>","mla":"Alistarh, Dan-Adrian, et al. “Comparison Dynamics in Population Protocols.” <i>Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing</i>, Association for Computing Machinery, 2021, pp. 55–65, doi:<a href=\"https://doi.org/10.1145/3465084.3467915\">10.1145/3465084.3467915</a>.","ista":"Alistarh D-A, Töpfer M, Uznański P. 2021. Comparison dynamics in population protocols. Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing, 55–65.","chicago":"Alistarh, Dan-Adrian, Martin Töpfer, and Przemysław Uznański. “Comparison Dynamics in Population Protocols.” In <i>Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing</i>, 55–65. Association for Computing Machinery, 2021. <a href=\"https://doi.org/10.1145/3465084.3467915\">https://doi.org/10.1145/3465084.3467915</a>.","ama":"Alistarh D-A, Töpfer M, Uznański P. Comparison dynamics in population protocols. In: <i>Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing</i>. Association for Computing Machinery; 2021:55-65. doi:<a href=\"https://doi.org/10.1145/3465084.3467915\">10.1145/3465084.3467915</a>","ieee":"D.-A. Alistarh, M. Töpfer, and P. Uznański, “Comparison dynamics in population protocols,” in <i>Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing</i>, Virtual, Italy, 2021, pp. 55–65."},"scopus_import":"1","conference":{"end_date":"2021-07-30","location":"Virtual, Italy","name":"PODC: Symposium on Principles of Distributed Computing","start_date":"2021-07-26"},"doi":"10.1145/3465084.3467915","title":"Comparison dynamics in population protocols","type":"conference","day":"21","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","isi":1,"month":"07","department":[{"_id":"DaAl"}]},{"isi":1,"month":"07","department":[{"_id":"EdHa"}],"intvolume":"       134","day":"01","scopus_import":"1","citation":{"ieee":"A. Chaigne, M. B. Smith, R. L. Cavestany, E. B. Hannezo, K. J. Chalut, and E. K. Paluch, “Three-dimensional geometry controls division symmetry in stem cell colonies,” <i>Journal of Cell Science</i>, vol. 134, no. 14. The Company of Biologists, 2021.","apa":"Chaigne, A., Smith, M. B., Cavestany, R. L., Hannezo, E. B., Chalut, K. J., &#38; Paluch, E. K. (2021). Three-dimensional geometry controls division symmetry in stem cell colonies. <i>Journal of Cell Science</i>. The Company of Biologists. <a href=\"https://doi.org/10.1242/jcs.255018\">https://doi.org/10.1242/jcs.255018</a>","mla":"Chaigne, Agathe, et al. “Three-Dimensional Geometry Controls Division Symmetry in Stem Cell Colonies.” <i>Journal of Cell Science</i>, vol. 134, no. 14, jcs255018, The Company of Biologists, 2021, doi:<a href=\"https://doi.org/10.1242/jcs.255018\">10.1242/jcs.255018</a>.","short":"A. Chaigne, M.B. Smith, R.L. Cavestany, E.B. Hannezo, K.J. Chalut, E.K. Paluch, Journal of Cell Science 134 (2021).","ama":"Chaigne A, Smith MB, Cavestany RL, Hannezo EB, Chalut KJ, Paluch EK. Three-dimensional geometry controls division symmetry in stem cell colonies. <i>Journal of Cell Science</i>. 2021;134(14). doi:<a href=\"https://doi.org/10.1242/jcs.255018\">10.1242/jcs.255018</a>","ista":"Chaigne A, Smith MB, Cavestany RL, Hannezo EB, Chalut KJ, Paluch EK. 2021. Three-dimensional geometry controls division symmetry in stem cell colonies. Journal of Cell Science. 134(14), jcs255018.","chicago":"Chaigne, Agathe, Matthew B. Smith, R. L. Cavestany, Edouard B Hannezo, Kevin J. Chalut, and Ewa K. Paluch. “Three-Dimensional Geometry Controls Division Symmetry in Stem Cell Colonies.” <i>Journal of Cell Science</i>. The Company of Biologists, 2021. <a href=\"https://doi.org/10.1242/jcs.255018\">https://doi.org/10.1242/jcs.255018</a>."},"external_id":{"isi":["000681395800008"]},"date_created":"2021-08-22T22:01:20Z","_id":"9952","acknowledgement":"We would like to thank the entire Paluch and Baum laboratories at the MRC-LMCB and the Chalut lab at the Cambridge SCI for discussions and feedback throughout the project, and the MRC-LMCB microscopy platform, in particular Andrew Vaughan, for technical support.","volume":134,"issue":"14","file_date_updated":"2021-08-23T07:32:20Z","date_updated":"2023-08-11T10:55:36Z","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"article_type":"original","author":[{"first_name":"Agathe","last_name":"Chaigne","full_name":"Chaigne, Agathe"},{"full_name":"Smith, Matthew B.","first_name":"Matthew B.","last_name":"Smith"},{"first_name":"R. L.","last_name":"Cavestany","full_name":"Cavestany, R. L."},{"id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","last_name":"Hannezo","first_name":"Edouard B","full_name":"Hannezo, Edouard B","orcid":"0000-0001-6005-1561"},{"first_name":"Kevin J.","last_name":"Chalut","full_name":"Chalut, Kevin J."},{"first_name":"Ewa K.","last_name":"Paluch","full_name":"Paluch, Ewa K."}],"ddc":["570"],"file":[{"date_created":"2021-08-23T07:32:20Z","relation":"main_file","checksum":"f086f9d7cb63b2474c01921cb060c513","content_type":"application/pdf","creator":"asandaue","access_level":"open_access","file_name":"2021_JournalOfCellScience_Chaigne.pdf","success":1,"date_updated":"2021-08-23T07:32:20Z","file_id":"9954","file_size":8651724}],"title":"Three-dimensional geometry controls division symmetry in stem cell colonies","type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1242/jcs.255018","publication":"Journal of Cell Science","abstract":[{"text":"Proper control of division orientation and symmetry, largely determined by spindle positioning, is essential to development and homeostasis. Spindle positioning has been extensively studied in cells dividing in two-dimensional (2D) environments and in epithelial tissues, where proteins such as NuMA (also known as NUMA1) orient division along the interphase long axis of the cell. However, little is known about how cells control spindle positioning in three-dimensional (3D) environments, such as early mammalian embryos and a variety of adult tissues. Here, we use mouse embryonic stem cells (ESCs), which grow in 3D colonies, as a model to investigate division in 3D. We observe that, at the periphery of 3D colonies, ESCs display high spindle mobility and divide asymmetrically. Our data suggest that enhanced spindle movements are due to unequal distribution of the cell–cell junction protein E-cadherin between future daughter cells. Interestingly, when cells progress towards differentiation, division becomes more symmetric, with more elongated shapes in metaphase and enhanced cortical NuMA recruitment in anaphase. Altogether, this study suggests that in 3D contexts, the geometry of the cell and its contacts with neighbors control division orientation and symmetry.","lang":"eng"}],"language":[{"iso":"eng"}],"article_number":"jcs255018","article_processing_charge":"Yes (in subscription journal)","has_accepted_license":"1","oa":1,"oa_version":"Published Version","status":"public","date_published":"2021-07-01T00:00:00Z","publication_identifier":{"issn":["00219533"],"eissn":["14779137"]},"publication_status":"published","year":"2021","quality_controlled":"1","publisher":"The Company of Biologists"},{"department":[{"_id":"GaNo"}],"month":"10","isi":1,"pmid":1,"day":"01","intvolume":"        97","citation":{"ieee":"K. Picard <i>et al.</i>, “Microglial-glucocorticoid receptor depletion alters the response of hippocampal microglia and neurons in a chronic unpredictable mild stress paradigm in female mice,” <i>Brain, Behavior, and Immunity</i>, vol. 97. Elsevier, pp. 423–439, 2021.","short":"K. Picard, K. Bisht, S. Poggini, S. Garofalo, M.T. Golia, B. Basilico, F. Abdallah, N. Ciano Albanese, I. Amrein, N. Vernoux, K. Sharma, C.W. Hui, J. C. Savage, C. Limatola, D. Ragozzino, L. Maggi, I. Branchi, M.È. Tremblay, Brain, Behavior, and Immunity 97 (2021) 423–439.","apa":"Picard, K., Bisht, K., Poggini, S., Garofalo, S., Golia, M. T., Basilico, B., … Tremblay, M. È. (2021). Microglial-glucocorticoid receptor depletion alters the response of hippocampal microglia and neurons in a chronic unpredictable mild stress paradigm in female mice. <i>Brain, Behavior, and Immunity</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.bbi.2021.07.022\">https://doi.org/10.1016/j.bbi.2021.07.022</a>","mla":"Picard, Katherine, et al. “Microglial-Glucocorticoid Receptor Depletion Alters the Response of Hippocampal Microglia and Neurons in a Chronic Unpredictable Mild Stress Paradigm in Female Mice.” <i>Brain, Behavior, and Immunity</i>, vol. 97, Elsevier, 2021, pp. 423–39, doi:<a href=\"https://doi.org/10.1016/j.bbi.2021.07.022\">10.1016/j.bbi.2021.07.022</a>.","ista":"Picard K, Bisht K, Poggini S, Garofalo S, Golia MT, Basilico B, Abdallah F, Ciano Albanese N, Amrein I, Vernoux N, Sharma K, Hui CW, C. Savage J, Limatola C, Ragozzino D, Maggi L, Branchi I, Tremblay MÈ. 2021. Microglial-glucocorticoid receptor depletion alters the response of hippocampal microglia and neurons in a chronic unpredictable mild stress paradigm in female mice. Brain, Behavior, and Immunity. 97, 423–439.","ama":"Picard K, Bisht K, Poggini S, et al. Microglial-glucocorticoid receptor depletion alters the response of hippocampal microglia and neurons in a chronic unpredictable mild stress paradigm in female mice. <i>Brain, Behavior, and Immunity</i>. 2021;97:423-439. doi:<a href=\"https://doi.org/10.1016/j.bbi.2021.07.022\">10.1016/j.bbi.2021.07.022</a>","chicago":"Picard, Katherine, Kanchan Bisht, Silvia Poggini, Stefano Garofalo, Maria Teresa Golia, Bernadette Basilico, Fatima Abdallah, et al. “Microglial-Glucocorticoid Receptor Depletion Alters the Response of Hippocampal Microglia and Neurons in a Chronic Unpredictable Mild Stress Paradigm in Female Mice.” <i>Brain, Behavior, and Immunity</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.bbi.2021.07.022\">https://doi.org/10.1016/j.bbi.2021.07.022</a>."},"scopus_import":"1","external_id":{"pmid":["34343616"],"isi":["000702878400007"]},"_id":"9953","date_created":"2021-08-22T22:01:21Z","volume":97,"acknowledgement":"We acknowledge that Université Laval stands on the traditional and unceded land of the Huron-Wendat peoples; and that the University of Victoria exists on the territory of the Lekwungen peoples and that the Songhees, Esquimalt and WSÁNEÆ peoples have relationships to this land. We thank Emmanuel Planel for the access to the epifluorescence microscope and Julie-Christine Lévesque at the Bioimaging Platform of CRCHU de Québec-Université Laval for technical assistance. We also thank the Centre for Advanced Materials and Related Technology for the access to the confocal microscope with Airyscan. K.P. was supported by a doctoral scholarship from Fonds de Recherche du Québec – Santé (FRQS), an excellence award from Fondation du CHU de Québec, as well as from Centre Thématique de Recherche en Neurosciences and from Fondation Famille-Choquette. K.B. was supported by excellence scholarships from Université Laval and Fondation du CHU de Québec. S.G. is supported by FIRC-AIRC fellowship for Italy 22329/2018 and by Pilot ARISLA NKINALS 2019. C.W.H. and J.C.S. were supported by postdoctoral fellowships from FRQS. This study was funded by a Natural Sciences and Engineering Research Council of Canada (NSERC) Discovery grant (RGPIN-2014-05308) awarded to M.E.T., by ERANET neuron 2017 MicroSynDep to M.E.T. and I.B., and by the Italian Ministry of Health, grant RF-2018-12367249 to I.B, by PRIN 2017, AIRC 2019 and Ministero della Salute RF2018 to C.L. M.E.T. is a Tier II Canada Research Chair in Neurobiology of Aging and Cognition.","date_updated":"2023-10-03T09:49:18Z","article_type":"original","author":[{"last_name":"Picard","first_name":"Katherine","full_name":"Picard, Katherine"},{"full_name":"Bisht, Kanchan","last_name":"Bisht","first_name":"Kanchan"},{"last_name":"Poggini","first_name":"Silvia","full_name":"Poggini, Silvia"},{"full_name":"Garofalo, Stefano","last_name":"Garofalo","first_name":"Stefano"},{"last_name":"Golia","first_name":"Maria Teresa","full_name":"Golia, Maria Teresa"},{"orcid":"0000-0003-1843-3173","full_name":"Basilico, Bernadette","last_name":"Basilico","id":"36035796-5ACA-11E9-A75E-7AF2E5697425","first_name":"Bernadette"},{"full_name":"Abdallah, Fatima","first_name":"Fatima","last_name":"Abdallah"},{"last_name":"Ciano Albanese","first_name":"Naomi","full_name":"Ciano Albanese, Naomi"},{"full_name":"Amrein, Irmgard","first_name":"Irmgard","last_name":"Amrein"},{"last_name":"Vernoux","first_name":"Nathalie","full_name":"Vernoux, Nathalie"},{"last_name":"Sharma","first_name":"Kaushik","full_name":"Sharma, Kaushik"},{"full_name":"Hui, Chin Wai","first_name":"Chin Wai","last_name":"Hui"},{"first_name":"Julie","last_name":"C. Savage","full_name":"C. Savage, Julie"},{"first_name":"Cristina","last_name":"Limatola","full_name":"Limatola, Cristina"},{"full_name":"Ragozzino, Davide","first_name":"Davide","last_name":"Ragozzino"},{"first_name":"Laura","last_name":"Maggi","full_name":"Maggi, Laura"},{"full_name":"Branchi, Igor","first_name":"Igor","last_name":"Branchi"},{"last_name":"Tremblay","first_name":"Marie Ève","full_name":"Tremblay, Marie Ève"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","title":"Microglial-glucocorticoid receptor depletion alters the response of hippocampal microglia and neurons in a chronic unpredictable mild stress paradigm in female mice","main_file_link":[{"open_access":"1","url":"https://www.zora.uzh.ch/id/eprint/208855/1/ZORA208855.pdf"}],"doi":"10.1016/j.bbi.2021.07.022","abstract":[{"text":"Chronic psychological stress is one of the most important triggers and environmental risk factors for neuropsychiatric disorders. Chronic stress can influence all organs via the secretion of stress hormones, including glucocorticoids by the adrenal glands, which coordinate the stress response across the body. In the brain, glucocorticoid receptors (GR) are expressed by various cell types including microglia, which are its resident immune cells regulating stress-induced inflammatory processes. To study the roles of microglial GR under normal homeostatic conditions and following chronic stress, we generated a mouse model in which the GR gene is depleted in microglia specifically at adulthood to prevent developmental confounds. We first confirmed that microglia were depleted in GR in our model in males and females among the cingulate cortex and the hippocampus, both stress-sensitive brain regions. Then, cohorts of microglial-GR depleted and wild-type (WT) adult female mice were housed for 3 weeks in a standard or stressful condition, using a chronic unpredictable mild stress (CUMS) paradigm. CUMS induced stress-related behavior in both microglial-GR depleted and WT animals as demonstrated by a decrease of both saccharine preference and progressive ratio breakpoint. Nevertheless, the hippocampal microglial and neural mechanisms underlying the adaptation to stress occurred differently between the two genotypes. Upon CUMS exposure, microglial morphology was altered in the WT controls, without any apparent effect in microglial-GR depleted mice. Furthermore, in the standard environment condition, GR depleted-microglia showed increased expression of pro-inflammatory genes, and genes involved in microglial homeostatic functions (such as Trem2, Cx3cr1 and Mertk). On the contrary, in CUMS condition, GR depleted-microglia showed reduced expression levels of pro-inflammatory genes and increased neuroprotective as well as anti-inflammatory genes compared to WT-microglia. Moreover, in microglial-GR depleted mice, but not in WT mice, CUMS led to a significant reduction of CA1 long-term potentiation and paired-pulse ratio. Lastly, differences in adult hippocampal neurogenesis were observed between the genotypes during normal homeostatic conditions, with microglial-GR deficiency increasing the formation of newborn neurons in the dentate gyrus subgranular zone independently from stress exposure. Together, these findings indicate that, although the deletion of microglial GR did not prevent the animal’s ability to respond to stress, it contributed to modulating hippocampal functions in both standard and stressful conditions, notably by shaping the microglial response to chronic stress.","lang":"eng"}],"publication":"Brain, Behavior, and Immunity","article_processing_charge":"No","language":[{"iso":"eng"}],"status":"public","oa_version":"Submitted Version","oa":1,"publication_status":"published","year":"2021","publication_identifier":{"issn":["0889-1591"]},"date_published":"2021-10-01T00:00:00Z","publisher":"Elsevier","quality_controlled":"1","page":"423-439"},{"acknowledgement":"We thank Tarun Yenamandra and Duarte David for helping us with the comparisons. This work was supported by the\r\nERC Consolidator Grant 4DReply (770784). We also acknowledge support from InterDigital.","file_date_updated":"2021-08-24T06:02:15Z","date_created":"2021-08-24T06:03:00Z","_id":"9957","author":[{"last_name":"B R","first_name":"Mallikarjun","full_name":"B R, Mallikarjun"},{"last_name":"Tewari","first_name":"Ayush","full_name":"Tewari, Ayush"},{"full_name":"Oh, Tae-Hyun","first_name":"Tae-Hyun","last_name":"Oh"},{"last_name":"Weyrich","first_name":"Tim","full_name":"Weyrich, Tim"},{"full_name":"Bickel, Bernd","orcid":"0000-0001-6511-9385","first_name":"Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel"},{"last_name":"Seidel","first_name":"Hans-Peter","full_name":"Seidel, Hans-Peter"},{"full_name":"Pfister, Hanspeter","first_name":"Hanspeter","last_name":"Pfister"},{"first_name":"Wojciech","last_name":"Matusik","full_name":"Matusik, Wojciech"},{"last_name":"Elgharib","first_name":"Mohamed","full_name":"Elgharib, Mohamed"},{"full_name":"Theobalt, Christian","last_name":"Theobalt","first_name":"Christian"}],"date_updated":"2023-08-11T11:08:35Z","day":"01","arxiv":1,"isi":1,"month":"09","department":[{"_id":"BeBi"}],"external_id":{"isi":["000739917304096"],"arxiv":["2008.10247"]},"citation":{"ama":"B R M, Tewari A, Oh T-H, et al. Monocular reconstruction of neural face reflectance fields. In: <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition</i>. IEEE; 2021:4791-4800. doi:<a href=\"https://doi.org/10.1109/CVPR46437.2021.00476\">10.1109/CVPR46437.2021.00476</a>","chicago":"B R, Mallikarjun, Ayush Tewari, Tae-Hyun Oh, Tim Weyrich, Bernd Bickel, Hans-Peter Seidel, Hanspeter Pfister, Wojciech Matusik, Mohamed Elgharib, and Christian Theobalt. “Monocular Reconstruction of Neural Face Reflectance Fields.” In <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition</i>, 4791–4800. IEEE, 2021. <a href=\"https://doi.org/10.1109/CVPR46437.2021.00476\">https://doi.org/10.1109/CVPR46437.2021.00476</a>.","ista":"B R M, Tewari A, Oh T-H, Weyrich T, Bickel B, Seidel H-P, Pfister H, Matusik W, Elgharib M, Theobalt C. 2021. Monocular reconstruction of neural face reflectance fields. Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 4791–4800.","apa":"B R, M., Tewari, A., Oh, T.-H., Weyrich, T., Bickel, B., Seidel, H.-P., … Theobalt, C. (2021). Monocular reconstruction of neural face reflectance fields. In <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition</i> (pp. 4791–4800). Nashville, TN, United States; Virtual: IEEE. <a href=\"https://doi.org/10.1109/CVPR46437.2021.00476\">https://doi.org/10.1109/CVPR46437.2021.00476</a>","mla":"B R, Mallikarjun, et al. “Monocular Reconstruction of Neural Face Reflectance Fields.” <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition</i>, IEEE, 2021, pp. 4791–800, doi:<a href=\"https://doi.org/10.1109/CVPR46437.2021.00476\">10.1109/CVPR46437.2021.00476</a>.","short":"M. B R, A. Tewari, T.-H. Oh, T. Weyrich, B. Bickel, H.-P. Seidel, H. Pfister, W. Matusik, M. Elgharib, C. Theobalt, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2021, pp. 4791–4800.","ieee":"M. B R <i>et al.</i>, “Monocular reconstruction of neural face reflectance fields,” in <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition</i>, Nashville, TN, United States; Virtual, 2021, pp. 4791–4800."},"scopus_import":"1","conference":{"end_date":"2021-06-25","start_date":"2021-06-20","name":"CVPR: Conference on Computer Vision and Pattern Recognition","location":"Nashville, TN, United States; Virtual"},"oa_version":"Preprint","status":"public","has_accepted_license":"1","oa":1,"article_processing_charge":"No","language":[{"iso":"eng"}],"quality_controlled":"1","publisher":"IEEE","page":"4791-4800","publication_status":"published","year":"2021","publication_identifier":{"isbn":["978-166544509-2"],"issn":["1063-6919"]},"date_published":"2021-09-01T00:00:00Z","title":"Monocular reconstruction of neural face reflectance fields","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"conference","file":[{"file_size":4746649,"date_updated":"2021-08-24T06:02:15Z","file_name":"R_Monocular_Reconstruction_of_Neural_Face_Reflectance_Fields_CVPR_2021_paper[1].pdf","file_id":"9958","checksum":"961db0bde76dd87cf833930080bb9f38","content_type":"application/pdf","creator":"bbickel","access_level":"open_access","relation":"main_file","date_created":"2021-08-24T06:02:15Z"}],"ddc":["000"],"abstract":[{"text":"The reflectance field of a face describes the reflectance properties responsible for complex lighting effects including diffuse, specular, inter-reflection and self shadowing. Most existing methods for estimating the face reflectance from a monocular image assume faces to be diffuse with very few approaches adding a specular component. This still leaves out important perceptual aspects of reflectance as higher-order global illumination effects and self-shadowing are not modeled. We present a new neural representation for face reflectance where we can estimate all components of the reflectance responsible for the final appearance from a single monocular image. Instead of modeling each component of the reflectance separately using parametric models, our neural representation allows us to generate a basis set of faces in a geometric deformation-invariant space, parameterized by the input light direction, viewpoint and face geometry. We learn to reconstruct this reflectance field of a face just from a monocular image, which can be used to render the face from any viewpoint in any light condition. Our method is trained on a light-stage training dataset, which captures 300 people illuminated with 150 light conditions from 8 viewpoints. We show that our method outperforms existing monocular reflectance reconstruction methods, in terms of photorealism due to better capturing of physical premitives, such as sub-surface scattering, specularities, self-shadows and other higher-order effects.","lang":"eng"}],"publication":"Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition","doi":"10.1109/CVPR46437.2021.00476"},{"project":[{"call_identifier":"H2020","grant_number":"850899","name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E"}],"citation":{"ama":"Maskara N, Michailidis A, Ho WW, et al. Discrete time-crystalline order enabled by quantum many-body scars: Entanglement steering via periodic driving. <i>Physical Review Letters</i>. 2021;127(9). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.127.090602\">10.1103/PhysRevLett.127.090602</a>","ista":"Maskara N, Michailidis A, Ho WW, Bluvstein D, Choi S, Lukin MD, Serbyn M. 2021. Discrete time-crystalline order enabled by quantum many-body scars: Entanglement steering via periodic driving. Physical Review Letters. 127(9), 090602.","chicago":"Maskara, N., Alexios Michailidis, W. W. Ho, D. Bluvstein, S. Choi, M. D. Lukin, and Maksym Serbyn. “Discrete Time-Crystalline Order Enabled by Quantum Many-Body Scars: Entanglement Steering via Periodic Driving.” <i>Physical Review Letters</i>. American Physical Society, 2021. <a href=\"https://doi.org/10.1103/PhysRevLett.127.090602\">https://doi.org/10.1103/PhysRevLett.127.090602</a>.","mla":"Maskara, N., et al. “Discrete Time-Crystalline Order Enabled by Quantum Many-Body Scars: Entanglement Steering via Periodic Driving.” <i>Physical Review Letters</i>, vol. 127, no. 9, 090602, American Physical Society, 2021, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.127.090602\">10.1103/PhysRevLett.127.090602</a>.","short":"N. Maskara, A. Michailidis, W.W. Ho, D. Bluvstein, S. Choi, M.D. Lukin, M. Serbyn, Physical Review Letters 127 (2021).","apa":"Maskara, N., Michailidis, A., Ho, W. W., Bluvstein, D., Choi, S., Lukin, M. D., &#38; Serbyn, M. (2021). Discrete time-crystalline order enabled by quantum many-body scars: Entanglement steering via periodic driving. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.127.090602\">https://doi.org/10.1103/PhysRevLett.127.090602</a>","ieee":"N. Maskara <i>et al.</i>, “Discrete time-crystalline order enabled by quantum many-body scars: Entanglement steering via periodic driving,” <i>Physical Review Letters</i>, vol. 127, no. 9. American Physical Society, 2021."},"external_id":{"arxiv":["2102.13160"],"isi":["000692200100002"]},"department":[{"_id":"MaSe"}],"month":"08","isi":1,"arxiv":1,"day":"27","intvolume":"       127","date_updated":"2023-08-11T10:57:51Z","author":[{"first_name":"N.","last_name":"Maskara","full_name":"Maskara, N."},{"first_name":"Alexios","last_name":"Michailidis","id":"36EBAD38-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8443-1064","full_name":"Michailidis, Alexios"},{"last_name":"Ho","first_name":"W. W.","full_name":"Ho, W. W."},{"first_name":"D.","last_name":"Bluvstein","full_name":"Bluvstein, D."},{"full_name":"Choi, S.","first_name":"S.","last_name":"Choi"},{"last_name":"Lukin","first_name":"M. D.","full_name":"Lukin, M. D."},{"first_name":"Maksym","last_name":"Serbyn","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2399-5827","full_name":"Serbyn, Maksym"}],"article_type":"letter_note","_id":"9960","date_created":"2021-08-28T08:08:58Z","issue":"9","acknowledgement":"We thank Dmitry Abanin, Ehud Altman, Iris Cong, Sepehr Ebadi, Alex Keesling, Harry Levine, Ahmed Omran, Hannes Pichler, Rhine Samajdar, Guilia Semeghini, Tout Wang, Norman Yao, and Harry Zhou or stimulating discussions. We acknowledge support from the Center for Ultracold Atoms, the National Science Foundation, the Vannevar Bush Faculty Fellowship, the U.S. Department of Energy, the Army Research Office MURI, and the DARPA ONISQ program (M. L., N. M, W. W. H., D. B.); the European Research Council (ERC) under the European Union’s Horizon 2020 Research and Innovation Programme Grant Agreement No. 850899 (A. M. and M. S.); the Department of Energy Computational Science Graduate Fellowship under Awards No. DESC0021110 (N. M.); the Moore Foundation EPiQS initiative Grant No. GBMF4306, the National University of Singapore (NUS) Development Grant AY2019/2020 and the Stanford Institute for Theoretical Physics (W. W. H.); the NSF Graduate Research Fellowship Program (Grant No. DGE1745303) and The Fannie and John Hertz Foundation (D. B.); the Miller Institute for Basic Research in Science (S. C.); DOE Quantum Systems Accelerator – Contract No. 7568717; and DOE Programmable Quantum Simulators for Lattice Gauge Theories and Gauge-Gravity Correspondence – Grant No. DE-SC0021013.","volume":127,"doi":"10.1103/PhysRevLett.127.090602","publication":"Physical Review Letters","abstract":[{"text":"The control of many-body quantum dynamics in complex systems is a key challenge in the quest to reliably produce and manipulate large-scale quantum entangled states. Recently, quench experiments in Rydberg atom arrays [Bluvstein et al. Science 371, 1355 (2021)] demonstrated that coherent revivals associated with quantum many-body scars can be stabilized by periodic driving, generating stable subharmonic responses over a wide parameter regime. We analyze a simple, related model where these phenomena originate from spatiotemporal ordering in an effective Floquet unitary, corresponding to discrete time-crystalline behavior in a prethermal regime. Unlike conventional discrete time crystals, the subharmonic response exists only for Néel-like initial states, associated with quantum scars. We predict robustness to perturbations and identify emergent timescales that could be observed in future experiments. Our results suggest a route to controlling entanglement in interacting quantum systems by combining periodic driving with many-body scars.","lang":"eng"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2102.13160"}],"type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Discrete time-crystalline order enabled by quantum many-body scars: Entanglement steering via periodic driving","date_published":"2021-08-27T00:00:00Z","publication_status":"published","year":"2021","publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"publisher":"American Physical Society","quality_controlled":"1","article_number":"090602","ec_funded":1,"language":[{"iso":"eng"}],"article_processing_charge":"No","oa":1,"status":"public","oa_version":"Submitted Version"},{"publication_identifier":{"eissn":["2469-9969"],"issn":["2469-9950"]},"publication_status":"published","year":"2021","date_published":"2021-08-15T00:00:00Z","quality_controlled":"1","publisher":"American Physical Society","article_processing_charge":"No","language":[{"iso":"eng"}],"article_number":"L081112","ec_funded":1,"oa_version":"Submitted Version","status":"public","oa":1,"doi":"10.1103/PhysRevB.104.L081112","abstract":[{"lang":"eng","text":"The notion of Thouless energy plays a central role in the theory of Anderson localization. We investigate and compare the scaling of Thouless energy across the many-body localization (MBL) transition in a Floquet model. We use a combination of methods that are reliable on the ergodic side of the transition (e.g., spectral form factor) and methods that work on the MBL side (e.g., typical matrix elements of local operators) to obtain a complete picture of the Thouless energy behavior across the transition. On the ergodic side, Thouless energy decreases slowly with the system size, while at the transition it becomes comparable to the level spacing. Different probes yield consistent estimates of Thouless energy in their overlapping regime of applicability, giving the location of the transition point nearly free of finite-size drift. This work establishes a connection between different definitions of Thouless energy in a many-body setting and yields insights into the MBL transition in Floquet systems."}],"publication":"Physical Review B","title":"Thouless energy across the many-body localization transition in Floquet systems","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","main_file_link":[{"url":"https://arxiv.org/abs/2012.15676","open_access":"1"}],"date_updated":"2023-08-11T10:57:09Z","article_type":"letter_note","author":[{"last_name":"Sonner","first_name":"Michael","full_name":"Sonner, Michael"},{"full_name":"Serbyn, Maksym","orcid":"0000-0002-2399-5827","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","last_name":"Serbyn","first_name":"Maksym"},{"full_name":"Papić, Zlatko","last_name":"Papić","first_name":"Zlatko"},{"first_name":"Dmitry A.","last_name":"Abanin","full_name":"Abanin, Dmitry A."}],"date_created":"2021-08-28T16:44:55Z","_id":"9961","acknowledgement":"We thank S. Garratt for useful comments on the manuscript. This work was supported by the Swiss National Science Foundation (M. Sonner and D.A.A.) and by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (M. Serbyn, Grant Agreement No. 850899, and D.A.A., Grant Agreement No. 864597). Z.P. acknowledges support from EPSRC Grant No. EP/R020612/1 and from Leverhulme Trust Research Leadership Award No. RL-2019-015. The computations were performed on the Baobab cluster of the University\r\nof Geneva.","volume":104,"issue":"8","citation":{"ieee":"M. Sonner, M. Serbyn, Z. Papić, and D. A. Abanin, “Thouless energy across the many-body localization transition in Floquet systems,” <i>Physical Review B</i>, vol. 104, no. 8. American Physical Society, 2021.","mla":"Sonner, Michael, et al. “Thouless Energy across the Many-Body Localization Transition in Floquet Systems.” <i>Physical Review B</i>, vol. 104, no. 8, L081112, American Physical Society, 2021, doi:<a href=\"https://doi.org/10.1103/PhysRevB.104.L081112\">10.1103/PhysRevB.104.L081112</a>.","short":"M. Sonner, M. Serbyn, Z. Papić, D.A. Abanin, Physical Review B 104 (2021).","apa":"Sonner, M., Serbyn, M., Papić, Z., &#38; Abanin, D. A. (2021). Thouless energy across the many-body localization transition in Floquet systems. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.104.L081112\">https://doi.org/10.1103/PhysRevB.104.L081112</a>","ista":"Sonner M, Serbyn M, Papić Z, Abanin DA. 2021. Thouless energy across the many-body localization transition in Floquet systems. Physical Review B. 104(8), L081112.","ama":"Sonner M, Serbyn M, Papić Z, Abanin DA. Thouless energy across the many-body localization transition in Floquet systems. <i>Physical Review B</i>. 2021;104(8). doi:<a href=\"https://doi.org/10.1103/PhysRevB.104.L081112\">10.1103/PhysRevB.104.L081112</a>","chicago":"Sonner, Michael, Maksym Serbyn, Zlatko Papić, and Dmitry A. Abanin. “Thouless Energy across the Many-Body Localization Transition in Floquet Systems.” <i>Physical Review B</i>. American Physical Society, 2021. <a href=\"https://doi.org/10.1103/PhysRevB.104.L081112\">https://doi.org/10.1103/PhysRevB.104.L081112</a>."},"project":[{"call_identifier":"H2020","grant_number":"850899","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E","name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control"}],"external_id":{"isi":["000689734500009"],"arxiv":["2012.15676"]},"isi":1,"month":"08","department":[{"_id":"MaSe"}],"intvolume":"       104","day":"15","arxiv":1},{"department":[{"_id":"GradSch"},{"_id":"SiHi"}],"month":"09","day":"02","project":[{"_id":"2625A13E-B435-11E9-9278-68D0E5697425","name":"Molecular Mechanisms of Radial Neuronal Migration","grant_number":"24812"}],"citation":{"ieee":"A. H. Hansen, “Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration,” Institute of Science and Technology Austria, 2021.","short":"A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration, Institute of Science and Technology Austria, 2021.","mla":"Hansen, Andi H. <i>Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:9962\">10.15479/at:ista:9962</a>.","apa":"Hansen, A. H. (2021). <i>Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:9962\">https://doi.org/10.15479/at:ista:9962</a>","ista":"Hansen AH. 2021. Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration. Institute of Science and Technology Austria.","ama":"Hansen AH. Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:9962\">10.15479/at:ista:9962</a>","chicago":"Hansen, Andi H. “Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:9962\">https://doi.org/10.15479/at:ista:9962</a>."},"date_created":"2021-08-29T12:36:50Z","_id":"9962","file_date_updated":"2022-09-03T22:30:04Z","date_updated":"2023-09-22T09:58:30Z","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"author":[{"full_name":"Hansen, Andi H","first_name":"Andi H","id":"38853E16-F248-11E8-B48F-1D18A9856A87","last_name":"Hansen"}],"keyword":["Neuronal migration","Non-cell-autonomous","Cell-autonomous","Neurodevelopmental disease"],"ddc":["570"],"file":[{"file_id":"9971","file_name":"Thesis_Hansen.docx","date_updated":"2022-09-03T22:30:04Z","embargo_to":"open_access","file_size":10629190,"date_created":"2021-08-30T09:17:39Z","relation":"source_file","access_level":"closed","creator":"ahansen","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","checksum":"66b56f5b988b233dc66a4f4b4fb2cdfe"},{"file_name":"Thesis_Hansen_PDFA-1a.pdf","date_updated":"2022-09-03T22:30:04Z","file_id":"9972","embargo":"2022-09-02","file_size":13457469,"date_created":"2021-08-30T09:29:44Z","relation":"main_file","checksum":"204fa40321a1c6289b68c473634c4bf3","access_level":"open_access","creator":"ahansen","content_type":"application/pdf"}],"degree_awarded":"PhD","title":"Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration","type":"dissertation","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","doi":"10.15479/at:ista:9962","abstract":[{"text":"The brain is one of the largest and most complex organs and it is composed of billions of neurons that communicate together enabling e.g. consciousness. The cerebral cortex is the largest site of neural integration in the central nervous system. Concerted radial migration of newly born cortical projection neurons, from their birthplace to their final position, is a key step in the assembly of the cerebral cortex. The cellular and molecular mechanisms regulating radial neuronal migration in vivo are however still unclear. Recent evidence suggests that distinct signaling cues act cell-autonomously but differentially at certain steps during the overall migration process. Moreover, functional analysis of genetic mosaics (mutant neurons present in wild-type/heterozygote environment) using the MADM (Mosaic Analysis with Double Markers) analyses in comparison to global knockout also indicate a significant degree of non-cell-autonomous and/or community effects in the control of cortical neuron migration. The interactions of cell-intrinsic (cell-autonomous) and cell-extrinsic (non-cell-autonomous) components are largely unknown. In part of this thesis work we established a MADM-based experimental strategy for the quantitative analysis of cell-autonomous gene function versus non-cell-autonomous and/or community effects. The direct comparison of mutant neurons from the genetic mosaic (cell-autonomous) to mutant neurons in the conditional and/or global knockout (cell-autonomous + non-cell-autonomous) allows to quantitatively analyze non-cell-autonomous effects. Such analysis enable the high-resolution analysis of projection neuron migration dynamics in distinct environments with concomitant isolation of genomic and proteomic profiles. Using these experimental paradigms and in combination with computational modeling we show and characterize the nature of non-cell-autonomous effects to coordinate radial neuron migration. Furthermore, this thesis discusses recent developments in neurodevelopment with focus on neuronal polarization and non-cell-autonomous mechanisms in neuronal migration.","lang":"eng"}],"alternative_title":["ISTA Thesis"],"related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"8569"},{"id":"960","status":"public","relation":"part_of_dissertation"}]},"language":[{"iso":"eng"}],"article_processing_charge":"No","supervisor":[{"first_name":"Simon","last_name":"Hippenmeyer","id":"37B36620-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2279-1061","full_name":"Hippenmeyer, Simon"}],"has_accepted_license":"1","oa":1,"oa_version":"Published Version","status":"public","date_published":"2021-09-02T00:00:00Z","publication_identifier":{"issn":["2663-337X"]},"publication_status":"published","year":"2021","page":"182","publisher":"Institute of Science and Technology Austria"},{"oa_version":"Submitted Version","status":"public","oa":1,"article_processing_charge":"No","related_material":{"record":[{"id":"14506","status":"public","relation":"dissertation_contains"}]},"language":[{"iso":"eng"}],"ec_funded":1,"quality_controlled":"1","publisher":"IEEE","year":"2021","publication_identifier":{"isbn":["978-1-6654-4501-6"],"eissn":["1861-2288"],"eisbn":["978-3-9031-7639-3"]},"publication_status":"published","date_published":"2021-06-21T00:00:00Z","title":"LightPIR: Privacy-preserving route discovery for payment channel networks","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"conference","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.04293"}],"abstract":[{"text":"Payment channel networks are a promising approach to improve the scalability of cryptocurrencies: they allow to perform transactions in a peer-to-peer fashion, along multihop routes in the network, without requiring consensus on the blockchain. However, during the discovery of cost-efficient routes for the transaction, critical information may be revealed about the transacting entities. This paper initiates the study of privacy-preserving route discovery mechanisms for payment channel networks. In particular, we present LightPIR, an approach which allows a client to learn the shortest (or cheapest in terms of fees) path between two nodes without revealing any information about the endpoints of the transaction to the servers. The two main observations which allow for an efficient solution in LightPIR are that: (1) surprisingly, hub labelling algorithms – which were developed to preprocess “street network like” graphs so one can later efficiently compute shortest paths – also perform well for the graphs underlying payment channel networks, and that (2) hub labelling algorithms can be conveniently combined with private information retrieval. LightPIR relies on a simple hub labeling heuristic on top of existing hub labeling algorithms which leverages the specific topological features of cryptocurrency networks to further minimize storage and bandwidth overheads. In a case study considering the Lightning network, we show that our approach is an order of magnitude more efficient compared to a privacy-preserving baseline based on using private information retrieval on a database that stores all pairs shortest paths.","lang":"eng"}],"doi":"10.23919/IFIPNetworking52078.2021.9472205","date_created":"2021-08-29T22:01:16Z","_id":"9969","author":[{"orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z","first_name":"Krzysztof Z","last_name":"Pietrzak","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Iosif","last_name":"Salem","full_name":"Salem, Iosif"},{"full_name":"Schmid, Stefan","first_name":"Stefan","last_name":"Schmid"},{"full_name":"Yeo, Michelle X","first_name":"Michelle X","last_name":"Yeo","id":"2D82B818-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2023-11-30T10:54:50Z","day":"21","arxiv":1,"isi":1,"month":"06","department":[{"_id":"KrPi"}],"external_id":{"arxiv":["2104.04293"],"isi":["000853016800008"]},"citation":{"ieee":"K. Z. Pietrzak, I. Salem, S. Schmid, and M. X. Yeo, “LightPIR: Privacy-preserving route discovery for payment channel networks,” presented at the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland, 2021.","short":"K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.","apa":"Pietrzak, K. Z., Salem, I., Schmid, S., &#38; Yeo, M. X. (2021). LightPIR: Privacy-preserving route discovery for payment channel networks. Presented at the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland: IEEE. <a href=\"https://doi.org/10.23919/IFIPNetworking52078.2021.9472205\">https://doi.org/10.23919/IFIPNetworking52078.2021.9472205</a>","mla":"Pietrzak, Krzysztof Z., et al. <i>LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks</i>. IEEE, 2021, doi:<a href=\"https://doi.org/10.23919/IFIPNetworking52078.2021.9472205\">10.23919/IFIPNetworking52078.2021.9472205</a>.","ama":"Pietrzak KZ, Salem I, Schmid S, Yeo MX. LightPIR: Privacy-preserving route discovery for payment channel networks. In: IEEE; 2021. doi:<a href=\"https://doi.org/10.23919/IFIPNetworking52078.2021.9472205\">10.23919/IFIPNetworking52078.2021.9472205</a>","ista":"Pietrzak KZ, Salem I, Schmid S, Yeo MX. 2021. LightPIR: Privacy-preserving route discovery for payment channel networks. 2021 IFIP Networking Conference (IFIP Networking).","chicago":"Pietrzak, Krzysztof Z, Iosif Salem, Stefan Schmid, and Michelle X Yeo. “LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks.” IEEE, 2021. <a href=\"https://doi.org/10.23919/IFIPNetworking52078.2021.9472205\">https://doi.org/10.23919/IFIPNetworking52078.2021.9472205</a>."},"scopus_import":"1","project":[{"grant_number":"682815","call_identifier":"H2020","name":"Teaching Old Crypto New Tricks","_id":"258AA5B2-B435-11E9-9278-68D0E5697425"}],"conference":{"end_date":"2021-06-24","name":"2021 IFIP Networking Conference (IFIP Networking)","start_date":"2021-06-21","location":"Espoo and Helsinki, Finland"}},{"doi":"10.1007/s00220-021-04199-4","publication":"Communications in Mathematical Physics","abstract":[{"lang":"eng","text":"In this article we introduce a complete gradient estimate for symmetric quantum Markov semigroups on von Neumann algebras equipped with a normal faithful tracial state, which implies semi-convexity of the entropy with respect to the recently introduced noncommutative 2-Wasserstein distance. We show that this complete gradient estimate is stable under tensor products and free products and establish its validity for a number of examples. As an application we prove a complete modified logarithmic Sobolev inequality with optimal constant for Poisson-type semigroups on free group factors."}],"file":[{"relation":"main_file","date_created":"2021-09-08T07:34:24Z","checksum":"8a602f916b1c2b0dc1159708b7cb204b","creator":"cchlebak","access_level":"open_access","content_type":"application/pdf","file_name":"2021_CommunMathPhys_Wirth.pdf","date_updated":"2021-09-08T09:46:34Z","file_id":"9990","file_size":505971}],"ddc":["621"],"title":"Complete gradient estimates of quantum Markov semigroups","type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_published":"2021-08-30T00:00:00Z","publication_identifier":{"eissn":["1432-0916"],"issn":["0010-3616"]},"year":"2021","publication_status":"published","page":"761–791","quality_controlled":"1","publisher":"Springer Nature","language":[{"iso":"eng"}],"ec_funded":1,"article_processing_charge":"Yes (via OA deal)","has_accepted_license":"1","oa":1,"oa_version":"Published Version","status":"public","project":[{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"},{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411"},{"grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","name":"Taming Complexity in Partial Differential Systems"}],"scopus_import":"1","citation":{"ieee":"M. Wirth and H. Zhang, “Complete gradient estimates of quantum Markov semigroups,” <i>Communications in Mathematical Physics</i>, vol. 387. Springer Nature, pp. 761–791, 2021.","apa":"Wirth, M., &#38; Zhang, H. (2021). Complete gradient estimates of quantum Markov semigroups. <i>Communications in Mathematical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00220-021-04199-4\">https://doi.org/10.1007/s00220-021-04199-4</a>","short":"M. Wirth, H. Zhang, Communications in Mathematical Physics 387 (2021) 761–791.","mla":"Wirth, Melchior, and Haonan Zhang. “Complete Gradient Estimates of Quantum Markov Semigroups.” <i>Communications in Mathematical Physics</i>, vol. 387, Springer Nature, 2021, pp. 761–791, doi:<a href=\"https://doi.org/10.1007/s00220-021-04199-4\">10.1007/s00220-021-04199-4</a>.","chicago":"Wirth, Melchior, and Haonan Zhang. “Complete Gradient Estimates of Quantum Markov Semigroups.” <i>Communications in Mathematical Physics</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s00220-021-04199-4\">https://doi.org/10.1007/s00220-021-04199-4</a>.","ista":"Wirth M, Zhang H. 2021. Complete gradient estimates of quantum Markov semigroups. Communications in Mathematical Physics. 387, 761–791.","ama":"Wirth M, Zhang H. Complete gradient estimates of quantum Markov semigroups. <i>Communications in Mathematical Physics</i>. 2021;387:761–791. doi:<a href=\"https://doi.org/10.1007/s00220-021-04199-4\">10.1007/s00220-021-04199-4</a>"},"external_id":{"isi":["000691214200001"],"arxiv":["2007.13506"]},"isi":1,"department":[{"_id":"JaMa"}],"month":"08","arxiv":1,"intvolume":"       387","day":"30","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2023-08-11T11:09:07Z","article_type":"original","keyword":["Mathematical Physics","Statistical and Nonlinear Physics"],"author":[{"full_name":"Wirth, Melchior","orcid":"0000-0002-0519-4241","id":"88644358-0A0E-11EA-8FA5-49A33DDC885E","last_name":"Wirth","first_name":"Melchior"},{"id":"D8F41E38-9E66-11E9-A9E2-65C2E5697425","last_name":"Zhang","first_name":"Haonan","full_name":"Zhang, Haonan"}],"date_created":"2021-08-30T10:07:44Z","_id":"9973","volume":387,"acknowledgement":"Both authors would like to thank Jan Maas for fruitful discussions and helpful comments.","file_date_updated":"2021-09-08T09:46:34Z"},{"day":"18","month":"08","department":[{"_id":"StFr"}],"citation":{"ieee":"D. Cao <i>et al.</i>, “Sharp kinetic acceleration potentials during mediated redox catalysis of insulators,” <i>Research Square</i>. Research Square.","short":"D. Cao, X. Shen, A. Wang, F. Yu, Y. Wu, S. Shi, S.A. Freunberger, Y. Chen, Research Square (n.d.).","apa":"Cao, D., Shen, X., Wang, A., Yu, F., Wu, Y., Shi, S., … Chen, Y. (n.d.). Sharp kinetic acceleration potentials during mediated redox catalysis of insulators. <i>Research Square</i>. Research Square. <a href=\"https://doi.org/10.21203/rs.3.rs-750965/v1\">https://doi.org/10.21203/rs.3.rs-750965/v1</a>","mla":"Cao, Deqing, et al. “Sharp Kinetic Acceleration Potentials during Mediated Redox Catalysis of Insulators.” <i>Research Square</i>, Research Square, doi:<a href=\"https://doi.org/10.21203/rs.3.rs-750965/v1\">10.21203/rs.3.rs-750965/v1</a>.","chicago":"Cao, Deqing, Xiaoxiao Shen, Aiping Wang, Fengjiao Yu, Yuping Wu, Siqi Shi, Stefan Alexander Freunberger, and Yuhui Chen. “Sharp Kinetic Acceleration Potentials during Mediated Redox Catalysis of Insulators.” <i>Research Square</i>. Research Square, n.d. <a href=\"https://doi.org/10.21203/rs.3.rs-750965/v1\">https://doi.org/10.21203/rs.3.rs-750965/v1</a>.","ista":"Cao D, Shen X, Wang A, Yu F, Wu Y, Shi S, Freunberger SA, Chen Y. Sharp kinetic acceleration potentials during mediated redox catalysis of insulators. Research Square, <a href=\"https://doi.org/10.21203/rs.3.rs-750965/v1\">10.21203/rs.3.rs-750965/v1</a>.","ama":"Cao D, Shen X, Wang A, et al. Sharp kinetic acceleration potentials during mediated redox catalysis of insulators. <i>Research Square</i>. doi:<a href=\"https://doi.org/10.21203/rs.3.rs-750965/v1\">10.21203/rs.3.rs-750965/v1</a>"},"acknowledgement":"This work was financially supported by the National Natural Science Foundation of China (51773092, 21975124, 11874254, 51802187, U2030206). S.A.F. is indebted to IST Austria for support. ","file_date_updated":"2021-08-31T14:02:19Z","date_created":"2021-08-31T12:54:16Z","_id":"9978","author":[{"full_name":"Cao, Deqing","last_name":"Cao","first_name":"Deqing"},{"first_name":"Xiaoxiao","last_name":"Shen","full_name":"Shen, Xiaoxiao"},{"full_name":"Wang, Aiping","first_name":"Aiping","last_name":"Wang"},{"full_name":"Yu, Fengjiao","first_name":"Fengjiao","last_name":"Yu"},{"last_name":"Wu","first_name":"Yuping","full_name":"Wu, Yuping"},{"last_name":"Shi","first_name":"Siqi","full_name":"Shi, Siqi"},{"orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander","first_name":"Stefan Alexander","last_name":"Freunberger","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425"},{"full_name":"Chen, Yuhui","last_name":"Chen","first_name":"Yuhui"}],"keyword":["Catalysis","Energy engineering","Materials theory and modeling"],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2023-10-17T13:06:29Z","title":"Sharp kinetic acceleration potentials during mediated redox catalysis of insulators","type":"preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["541"],"file":[{"checksum":"1878e91c29d5769ed5a827b0b7addf00","access_level":"open_access","creator":"cchlebak","content_type":"application/pdf","date_created":"2021-08-31T14:02:19Z","relation":"main_file","file_size":1019662,"success":1,"file_name":"2021_ResearchSquare_Cao.pdf","date_updated":"2021-08-31T14:02:19Z","file_id":"9979"}],"abstract":[{"text":"Redox mediators could catalyse otherwise slow and energy-inefficient cycling of Li-S and Li-O 2 batteries by shuttling electrons/holes between the electrode and the solid insulating storage materials. For mediators to work efficiently they need to oxidize the solid with fast kinetics yet the lowest possible overpotential. Here, we found that when the redox potentials of mediators are tuned via, e.g., Li + concentration in the electrolyte, they exhibit distinct threshold potentials, where the kinetics accelerate several-fold within a range as small as 10 mV. This phenomenon is independent of types of mediators and electrolyte. The acceleration originates from the overpotentials required to activate fast Li + /e – extraction and the following chemical step at specific abundant surface facets. Efficient redox catalysis at insulating solids requires therefore carefully considering the surface conditions of the storage materials and electrolyte-dependent redox potentials, which may be tuned by salt concentrations or solvents.","lang":"eng"}],"publication":"Research Square","doi":"10.21203/rs.3.rs-750965/v1","oa_version":"Preprint","status":"public","has_accepted_license":"1","oa":1,"article_processing_charge":"No","related_material":{"record":[{"relation":"later_version","status":"public","id":"10813"}]},"language":[{"iso":"eng"}],"publisher":"Research Square","page":"21","publication_status":"submitted","year":"2021","publication_identifier":{"eissn":["2693-5015"]},"date_published":"2021-08-18T00:00:00Z"},{"month":"08","department":[{"_id":"StFr"}],"ddc":["621"],"title":"Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","day":"16","type":"preprint","main_file_link":[{"open_access":"1","url":"https://www.researchsquare.com/article/rs-818607/v1"}],"citation":{"mla":"Prehal, Christian, et al. “Mechanism of Li2S Formation and Dissolution in Lithium-Sulphur Batteries.” <i>Research Square</i>, doi:<a href=\"https://doi.org/10.21203/rs.3.rs-818607/v1\">10.21203/rs.3.rs-818607/v1</a>.","apa":"Prehal, C., Talian, S. D., Vizintin, A., Amenitsch, H., Dominko, R., Freunberger, S. A., &#38; Wood, V. (n.d.). Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. <i>Research Square</i>. <a href=\"https://doi.org/10.21203/rs.3.rs-818607/v1\">https://doi.org/10.21203/rs.3.rs-818607/v1</a>","short":"C. Prehal, S.D. Talian, A. Vizintin, H. Amenitsch, R. Dominko, S.A. Freunberger, V. Wood, Research Square (n.d.).","ama":"Prehal C, Talian SD, Vizintin A, et al. Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. <i>Research Square</i>. doi:<a href=\"https://doi.org/10.21203/rs.3.rs-818607/v1\">10.21203/rs.3.rs-818607/v1</a>","chicago":"Prehal, Christian, Sara Drvarič Talian, Alen Vizintin, Heinz Amenitsch, Robert Dominko, Stefan Alexander Freunberger, and Vanessa Wood. “Mechanism of Li2S Formation and Dissolution in Lithium-Sulphur Batteries.” <i>Research Square</i>, n.d. <a href=\"https://doi.org/10.21203/rs.3.rs-818607/v1\">https://doi.org/10.21203/rs.3.rs-818607/v1</a>.","ista":"Prehal C, Talian SD, Vizintin A, Amenitsch H, Dominko R, Freunberger SA, Wood V. Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. Research Square, <a href=\"https://doi.org/10.21203/rs.3.rs-818607/v1\">10.21203/rs.3.rs-818607/v1</a>.","ieee":"C. Prehal <i>et al.</i>, “Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries,” <i>Research Square</i>. ."},"doi":"10.21203/rs.3.rs-818607/v1","abstract":[{"text":"Insufficient understanding of the mechanism that reversibly converts sulphur into lithium sulphide (Li2S) via soluble polysulphides (PS) hampers the realization of high performance lithium-sulphur cells. Typically Li2S formation is explained by direct electroreduction of a PS to Li2S; however, this is not consistent with the size of the insulating Li2S deposits. Here, we use in situ small and wide angle X-ray scattering (SAXS/WAXS) to track the growth and dissolution of crystalline and amorphous deposits from atomic to sub-micron scales during charge and discharge. Stochastic modelling based on the SAXS data allows quantification of the chemical phase evolution during discharge and charge. We show that Li2S deposits predominantly via disproportionation of transient, solid Li2S2 to form primary Li2S crystallites and solid Li2S4 particles. We further demonstrate that this process happens in reverse during charge. These findings show that the discharge capacity and rate capability in Li-S battery cathodes are therefore limited by mass transport through the increasingly tortuous network of Li2S / Li2S4 / carbon pores rather than electron transport through a passivating surface film.","lang":"eng"}],"publication":"Research Square","article_processing_charge":"No","language":[{"iso":"eng"}],"date_created":"2021-09-02T08:45:00Z","_id":"9980","oa_version":"Preprint","status":"public","acknowledgement":"This project has received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie grant NanoEvolution, grant agreement No 894042. The authors acknowledge TU Graz for support through the Lead Project LP-03. Likewise, the use of SOMAPP Lab, a core facility supported by the Austrian Federal Ministry of Education, Science and Research, the Graz University\r\n6 of Technology, the University of Graz, and Anton Paar GmbH is acknowledged. S.D.T, A.V. and R.D. acknowledge the financial support by the Slovenian Research Agency (ARRS) research core funding P2-0393. Furthermore, A.V. acknowledge the funding from the Slovenian Research Agency, research project Z2-1863. S.A.F. is indebted to IST Austria for support. ","oa":1,"publication_status":"submitted","year":"2021","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2021-12-03T10:35:42Z","date_published":"2021-08-16T00:00:00Z","keyword":["Li2S","Lithium Sulphur Batteries","SAXS","WAXS"],"author":[{"full_name":"Prehal, Christian","first_name":"Christian","last_name":"Prehal"},{"full_name":"Talian, Sara Drvarič","last_name":"Talian","first_name":"Sara Drvarič"},{"last_name":"Vizintin","first_name":"Alen","full_name":"Vizintin, Alen"},{"last_name":"Amenitsch","first_name":"Heinz","full_name":"Amenitsch, Heinz"},{"first_name":"Robert","last_name":"Dominko","full_name":"Dominko, Robert"},{"last_name":"Freunberger","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","first_name":"Stefan Alexander","orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander"},{"full_name":"Wood, Vanessa","last_name":"Wood","first_name":"Vanessa"}],"page":"21"},{"volume":11,"issue":"3","file_date_updated":"2021-09-02T14:05:43Z","date_created":"2021-09-02T11:49:47Z","_id":"9981","author":[{"last_name":"De Nicola","id":"42832B76-F248-11E8-B48F-1D18A9856A87","first_name":"Stefano","orcid":"0000-0002-4842-6671","full_name":"De Nicola, Stefano"}],"article_type":"original","keyword":["General Physics and Astronomy"],"date_updated":"2023-08-11T10:59:29Z","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"intvolume":"        11","day":"02","arxiv":1,"isi":1,"month":"09","department":[{"_id":"MaSe"}],"external_id":{"arxiv":["2103.16468"],"isi":["000692534200001"]},"citation":{"ista":"De Nicola S. 2021. Importance sampling scheme for the stochastic simulation of quantum spin dynamics. SciPost Physics. 11(3), 048.","chicago":"De Nicola, Stefano. “Importance Sampling Scheme for the Stochastic Simulation of Quantum Spin Dynamics.” <i>SciPost Physics</i>. SciPost, 2021. <a href=\"https://doi.org/10.21468/scipostphys.11.3.048\">https://doi.org/10.21468/scipostphys.11.3.048</a>.","ama":"De Nicola S. Importance sampling scheme for the stochastic simulation of quantum spin dynamics. <i>SciPost Physics</i>. 2021;11(3). doi:<a href=\"https://doi.org/10.21468/scipostphys.11.3.048\">10.21468/scipostphys.11.3.048</a>","short":"S. De Nicola, SciPost Physics 11 (2021).","apa":"De Nicola, S. (2021). Importance sampling scheme for the stochastic simulation of quantum spin dynamics. <i>SciPost Physics</i>. SciPost. <a href=\"https://doi.org/10.21468/scipostphys.11.3.048\">https://doi.org/10.21468/scipostphys.11.3.048</a>","mla":"De Nicola, Stefano. “Importance Sampling Scheme for the Stochastic Simulation of Quantum Spin Dynamics.” <i>SciPost Physics</i>, vol. 11, no. 3, 048, SciPost, 2021, doi:<a href=\"https://doi.org/10.21468/scipostphys.11.3.048\">10.21468/scipostphys.11.3.048</a>.","ieee":"S. De Nicola, “Importance sampling scheme for the stochastic simulation of quantum spin dynamics,” <i>SciPost Physics</i>, vol. 11, no. 3. SciPost, 2021."},"project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411"}],"oa_version":"Published Version","status":"public","has_accepted_license":"1","oa":1,"article_processing_charge":"No","language":[{"iso":"eng"}],"ec_funded":1,"article_number":"048","quality_controlled":"1","publisher":"SciPost","publication_status":"published","publication_identifier":{"eissn":["2666-9366"],"issn":["2542-4653"]},"year":"2021","date_published":"2021-09-02T00:00:00Z","title":"Importance sampling scheme for the stochastic simulation of quantum spin dynamics","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","file":[{"file_name":"2021_SciPostPhys_DeNicola.pdf","success":1,"date_updated":"2021-09-02T14:05:43Z","file_id":"9984","file_size":373833,"date_created":"2021-09-02T14:05:43Z","relation":"main_file","checksum":"e4ec69d893e31811efc6093cb6ea8eb7","creator":"cchlebak","content_type":"application/pdf","access_level":"open_access"}],"ddc":["519"],"abstract":[{"text":"The numerical simulation of dynamical phenomena in interacting quantum systems is a notoriously hard problem. Although a number of promising numerical methods exist, they often have limited applicability due to the growth of entanglement or the presence of the so-called sign problem. In this work, we develop an importance sampling scheme for the simulation of quantum spin dynamics, building on a recent approach mapping quantum spin systems to classical stochastic processes. The importance sampling scheme is based on identifying the classical trajectory that yields the largest contribution to a given quantum observable. An exact transformation is then carried out to preferentially sample trajectories that are close to the dominant one. We demonstrate that this approach is capable of reducing the temporal growth of fluctuations in the stochastic quantities, thus extending the range of accessible times and system sizes compared to direct sampling. We discuss advantages and limitations of the proposed approach, outlining directions\r\nfor further developments.","lang":"eng"}],"publication":"SciPost Physics","doi":"10.21468/scipostphys.11.3.048"},{"doi":"10.1038/s41467-021-25281-4","publication":"Nature Communications","abstract":[{"lang":"eng","text":"AMPA receptor (AMPAR) abundance and positioning at excitatory synapses regulates the strength of transmission. Changes in AMPAR localisation can enact synaptic plasticity, allowing long-term information storage, and is therefore tightly controlled. Multiple mechanisms regulating AMPAR synaptic anchoring have been described, but with limited coherence or comparison between reports, our understanding of this process is unclear. Here, combining synaptic recordings from mouse hippocampal slices and super-resolution imaging in dissociated cultures, we compare the contributions of three AMPAR interaction domains controlling transmission at hippocampal CA1 synapses. We show that the AMPAR C-termini play only a modulatory role, whereas the extracellular N-terminal domain (NTD) and PDZ interactions of the auxiliary subunit TARP γ8 are both crucial, and each is sufficient to maintain transmission. Our data support a model in which γ8 accumulates AMPARs at the postsynaptic density, where the NTD further tunes their positioning. This interplay between cytosolic (TARP γ8) and synaptic cleft (NTD) interactions provides versatility to regulate synaptic transmission and plasticity."}],"ddc":["612"],"file":[{"checksum":"1bf4f6a561f96bc426d754de9cb57710","creator":"cchlebak","access_level":"open_access","content_type":"application/pdf","date_created":"2021-09-08T12:57:06Z","relation":"main_file","file_size":18310502,"date_updated":"2021-09-08T12:57:06Z","success":1,"file_name":"2021_NatureCommunications_Watson.pdf","file_id":"9991"}],"title":"AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions","type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_published":"2021-08-23T00:00:00Z","year":"2021","publication_status":"published","publication_identifier":{"eissn":["2041-1723"]},"quality_controlled":"1","publisher":"Nature Publishing Group","language":[{"iso":"eng"}],"article_number":"5083","article_processing_charge":"Yes","has_accepted_license":"1","oa":1,"oa_version":"Published Version","status":"public","scopus_import":"1","citation":{"ieee":"J. Watson, A. Pinggera, H. Ho, and I. H. Greger, “AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions,” <i>Nature Communications</i>, vol. 12, no. 1. Nature Publishing Group, 2021.","ama":"Watson J, Pinggera A, Ho H, Greger IH. AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions. <i>Nature Communications</i>. 2021;12(1). doi:<a href=\"https://doi.org/10.1038/s41467-021-25281-4\">10.1038/s41467-021-25281-4</a>","ista":"Watson J, Pinggera A, Ho H, Greger IH. 2021. AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions. Nature Communications. 12(1), 5083.","chicago":"Watson, Jake, Alexandra Pinggera, Hinze Ho, and Ingo H. Greger. “AMPA Receptor Anchoring at CA1 Synapses Is Determined by N-Terminal Domain and TARP Γ8 Interactions.” <i>Nature Communications</i>. Nature Publishing Group, 2021. <a href=\"https://doi.org/10.1038/s41467-021-25281-4\">https://doi.org/10.1038/s41467-021-25281-4</a>.","apa":"Watson, J., Pinggera, A., Ho, H., &#38; Greger, I. H. (2021). AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions. <i>Nature Communications</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41467-021-25281-4\">https://doi.org/10.1038/s41467-021-25281-4</a>","short":"J. Watson, A. Pinggera, H. Ho, I.H. Greger, Nature Communications 12 (2021).","mla":"Watson, Jake, et al. “AMPA Receptor Anchoring at CA1 Synapses Is Determined by N-Terminal Domain and TARP Γ8 Interactions.” <i>Nature Communications</i>, vol. 12, no. 1, 5083, Nature Publishing Group, 2021, doi:<a href=\"https://doi.org/10.1038/s41467-021-25281-4\">10.1038/s41467-021-25281-4</a>."},"external_id":{"isi":["000687672000006"],"pmid":["34426577 "]},"isi":1,"pmid":1,"month":"08","department":[{"_id":"PeJo"}],"intvolume":"        12","day":"23","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2023-08-11T11:07:51Z","article_type":"original","author":[{"full_name":"Watson, Jake","orcid":"0000-0002-8698-3823","first_name":"Jake","id":"63836096-4690-11EA-BD4E-32803DDC885E","last_name":"Watson"},{"last_name":"Pinggera","first_name":"Alexandra","full_name":"Pinggera, Alexandra"},{"full_name":"Ho, Hinze","last_name":"Ho","first_name":"Hinze"},{"full_name":"Greger, Ingo H.","first_name":"Ingo H.","last_name":"Greger"}],"date_created":"2021-09-05T22:01:23Z","_id":"9985","acknowledgement":"The authors are very grateful to Andrew Penn for advice and discussions on surface receptor labelling in slice tissue, dissociated culture transfection, and for providing tdTomato and BirAER expression plasmids. This work would not have been possible without support from the Biological Services teams at both the Laboratory of Molecular Biology and Ares facilities. We are also very grateful to Nick Barry and Jerome Boulanger of the LMB Light Microscopy facility for support with confocal and STORM imaging and analysis, Junichi Takagi for providing scFv-Clasp expression constructs, Veronica Chang for assistance with scFv-Clasp protein production, and Nejc Kejzar for assistance with cluster analysis. We would like to thank Teru Nakagawa and Ole Paulsen for critical reading of the manuscript and constructive feedback. This work was supported by grants from the Medical Research Council (MC_U105174197) and BBSRC (BB/N002113/1).","volume":12,"issue":"1","file_date_updated":"2021-09-08T12:57:06Z"},{"status":"public","oa_version":"Published Version","oa":1,"has_accepted_license":"1","article_processing_charge":"Yes","article_number":"9222","language":[{"iso":"eng"}],"publisher":"MDPI","quality_controlled":"1","publication_identifier":{"issn":["1661-6596"],"eissn":["1422-0067"]},"year":"2021","publication_status":"published","date_published":"2021-08-26T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","title":"Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants","ddc":["575"],"file":[{"date_created":"2021-09-06T12:50:19Z","relation":"main_file","checksum":"6b7055cf89f1b7ed8594c3fdf56f000b","creator":"cchlebak","access_level":"open_access","content_type":"application/pdf","date_updated":"2021-09-07T09:04:53Z","file_name":"2021_IntJMolecularSciences_Velasquez.pdf","file_id":"9988","file_size":2162247}],"abstract":[{"text":"Size control is a fundamental question in biology, showing incremental complexity in plants, whose cells possess a rigid cell wall. The phytohormone auxin is a vital growth regulator with central importance for differential growth control. Our results indicate that auxin-reliant growth programs affect the molecular complexity of xyloglucans, the major type of cell wall hemicellulose in eudicots. Auxin-dependent induction and repression of growth coincide with reduced and enhanced molecular complexity of xyloglucans, respectively. In agreement with a proposed function in growth control, genetic interference with xyloglucan side decorations distinctly modulates auxin-dependent differential growth rates. Our work proposes that auxin-dependent growth programs have a spatially defined effect on xyloglucan’s molecular structure, which in turn affects cell wall mechanics and specifies differential, gravitropic hypocotyl growth.","lang":"eng"}],"publication":"International Journal of Molecular Sciences","doi":"10.3390/ijms22179222","issue":"17","file_date_updated":"2021-09-07T09:04:53Z","volume":22,"acknowledgement":"We are grateful to Paul Knox, Markus Pauly, Malcom O’Neill, and Ignacio Zarra for providing published material; the BOKU-VIBT Imaging Center for access and M. Debreczeny for expertise; J.I. Thaker and Georg Seifert for critical reading.\r\n","_id":"9986","date_created":"2021-09-05T22:01:24Z","author":[{"full_name":"Velasquez, Silvia Melina","first_name":"Silvia Melina","last_name":"Velasquez"},{"full_name":"Guo, Xiaoyuan","first_name":"Xiaoyuan","last_name":"Guo"},{"orcid":"0000-0003-4675-6893","full_name":"Gallemi, Marçal","last_name":"Gallemi","id":"460C6802-F248-11E8-B48F-1D18A9856A87","first_name":"Marçal"},{"full_name":"Aryal, Bibek","last_name":"Aryal","first_name":"Bibek"},{"first_name":"Peter","last_name":"Venhuizen","full_name":"Venhuizen, Peter"},{"first_name":"Elke","last_name":"Barbez","full_name":"Barbez, Elke"},{"last_name":"Dünser","first_name":"Kai Alexander","full_name":"Dünser, Kai Alexander"},{"last_name":"Darino","first_name":"Martin","full_name":"Darino, Martin"},{"full_name":"Pӗnčík, Aleš","last_name":"Pӗnčík","first_name":"Aleš"},{"full_name":"Novák, Ondřej","last_name":"Novák","first_name":"Ondřej"},{"first_name":"Maria","last_name":"Kalyna","full_name":"Kalyna, Maria"},{"last_name":"Mouille","first_name":"Gregory","full_name":"Mouille, Gregory"},{"full_name":"Benková, Eva","orcid":"0000-0002-8510-9739","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","last_name":"Benková","first_name":"Eva"},{"full_name":"Bhalerao, Rishikesh P.","first_name":"Rishikesh P.","last_name":"Bhalerao"},{"last_name":"Mravec","first_name":"Jozef","full_name":"Mravec, Jozef"},{"last_name":"Kleine-Vehn","first_name":"Jürgen","full_name":"Kleine-Vehn, Jürgen"}],"keyword":["auxin","growth","cell wall","xyloglucans","hypocotyls","gravitropism"],"article_type":"original","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2023-10-31T19:29:38Z","day":"26","intvolume":"        22","month":"08","department":[{"_id":"EvBe"}],"pmid":1,"isi":1,"external_id":{"pmid":["34502129"],"isi":["000694347100001"]},"citation":{"chicago":"Velasquez, Silvia Melina, Xiaoyuan Guo, Marçal Gallemi, Bibek Aryal, Peter Venhuizen, Elke Barbez, Kai Alexander Dünser, et al. “Xyloglucan Remodeling Defines Auxin-Dependent Differential Tissue Expansion in Plants.” <i>International Journal of Molecular Sciences</i>. MDPI, 2021. <a href=\"https://doi.org/10.3390/ijms22179222\">https://doi.org/10.3390/ijms22179222</a>.","ama":"Velasquez SM, Guo X, Gallemi M, et al. Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants. <i>International Journal of Molecular Sciences</i>. 2021;22(17). doi:<a href=\"https://doi.org/10.3390/ijms22179222\">10.3390/ijms22179222</a>","ista":"Velasquez SM, Guo X, Gallemi M, Aryal B, Venhuizen P, Barbez E, Dünser KA, Darino M, Pӗnčík A, Novák O, Kalyna M, Mouille G, Benková E, Bhalerao RP, Mravec J, Kleine-Vehn J. 2021. Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants. International Journal of Molecular Sciences. 22(17), 9222.","apa":"Velasquez, S. M., Guo, X., Gallemi, M., Aryal, B., Venhuizen, P., Barbez, E., … Kleine-Vehn, J. (2021). Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants. <i>International Journal of Molecular Sciences</i>. MDPI. <a href=\"https://doi.org/10.3390/ijms22179222\">https://doi.org/10.3390/ijms22179222</a>","mla":"Velasquez, Silvia Melina, et al. “Xyloglucan Remodeling Defines Auxin-Dependent Differential Tissue Expansion in Plants.” <i>International Journal of Molecular Sciences</i>, vol. 22, no. 17, 9222, MDPI, 2021, doi:<a href=\"https://doi.org/10.3390/ijms22179222\">10.3390/ijms22179222</a>.","short":"S.M. Velasquez, X. Guo, M. Gallemi, B. Aryal, P. Venhuizen, E. Barbez, K.A. Dünser, M. Darino, A. Pӗnčík, O. Novák, M. Kalyna, G. Mouille, E. Benková, R.P. Bhalerao, J. Mravec, J. Kleine-Vehn, International Journal of Molecular Sciences 22 (2021).","ieee":"S. M. Velasquez <i>et al.</i>, “Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants,” <i>International Journal of Molecular Sciences</i>, vol. 22, no. 17. MDPI, 2021."},"scopus_import":"1"},{"month":"07","department":[{"_id":"KrCh"}],"isi":1,"day":"15","arxiv":1,"citation":{"ieee":"P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, and V. Toman, “Stateless model checking under a reads-value-from equivalence,” in <i>33rd International Conference on Computer-Aided Verification </i>, Virtual, 2021, vol. 12759, pp. 341–366.","ama":"Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. Stateless model checking under a reads-value-from equivalence. In: <i>33rd International Conference on Computer-Aided Verification </i>. Vol 12759. Springer Nature; 2021:341-366. doi:<a href=\"https://doi.org/10.1007/978-3-030-81685-8_16\">10.1007/978-3-030-81685-8_16</a>","ista":"Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. 2021. Stateless model checking under a reads-value-from equivalence. 33rd International Conference on Computer-Aided Verification . CAV: Computer Aided Verification , LNCS, vol. 12759, 341–366.","chicago":"Agarwal, Pratyush, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, and Viktor Toman. “Stateless Model Checking under a Reads-Value-from Equivalence.” In <i>33rd International Conference on Computer-Aided Verification </i>, 12759:341–66. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/978-3-030-81685-8_16\">https://doi.org/10.1007/978-3-030-81685-8_16</a>.","apa":"Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., &#38; Toman, V. (2021). Stateless model checking under a reads-value-from equivalence. In <i>33rd International Conference on Computer-Aided Verification </i> (Vol. 12759, pp. 341–366). Virtual: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-81685-8_16\">https://doi.org/10.1007/978-3-030-81685-8_16</a>","short":"P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.","mla":"Agarwal, Pratyush, et al. “Stateless Model Checking under a Reads-Value-from Equivalence.” <i>33rd International Conference on Computer-Aided Verification </i>, vol. 12759, Springer Nature, 2021, pp. 341–66, doi:<a href=\"https://doi.org/10.1007/978-3-030-81685-8_16\">10.1007/978-3-030-81685-8_16</a>."},"conference":{"start_date":"2021-07-20","name":"CAV: Computer Aided Verification ","location":"Virtual","end_date":"2021-07-23"},"scopus_import":"1","project":[{"name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425","grant_number":"ICT15-003"},{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","call_identifier":"H2020"}],"external_id":{"isi":["000698732400016"],"arxiv":["2105.06424"]},"_id":"9987","date_created":"2021-09-05T22:01:24Z","file_date_updated":"2022-05-13T07:00:20Z","acknowledgement":"The research was partially funded by the ERC CoG 863818 (ForM-SMArt) and the Vienna Science and Technology Fund (WWTF) through project ICT15-003.","volume":"12759 ","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2025-07-14T09:10:15Z","author":[{"full_name":"Agarwal, Pratyush","first_name":"Pratyush","last_name":"Agarwal"},{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"last_name":"Pathak","first_name":"Shreya","full_name":"Pathak, Shreya"},{"orcid":"0000-0002-8943-0722","full_name":"Pavlogiannis, Andreas","last_name":"Pavlogiannis","id":"49704004-F248-11E8-B48F-1D18A9856A87","first_name":"Andreas"},{"full_name":"Toman, Viktor","orcid":"0000-0001-9036-063X","first_name":"Viktor","id":"3AF3DA7C-F248-11E8-B48F-1D18A9856A87","last_name":"Toman"}],"file":[{"date_created":"2022-05-13T07:00:20Z","relation":"main_file","checksum":"4b346e5fbaa8b9bdf107819c7b2aadee","access_level":"open_access","content_type":"application/pdf","creator":"dernst","success":1,"file_name":"2021_LNCS_Agarwal.pdf","date_updated":"2022-05-13T07:00:20Z","file_id":"11368","file_size":1516756}],"ddc":["000"],"type":"conference","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Stateless model checking under a reads-value-from equivalence","doi":"10.1007/978-3-030-81685-8_16","abstract":[{"lang":"eng","text":"Stateless model checking (SMC) is one of the standard approaches to the verification of concurrent programs. As scheduling non-determinism creates exponentially large spaces of thread interleavings, SMC attempts to partition this space into equivalence classes and explore only a few representatives from each class. The efficiency of this approach depends on two factors: (a) the coarseness of the partitioning, and (b) the time to generate representatives in each class. For this reason, the search for coarse partitionings that are efficiently explorable is an active research challenge. In this work we present   RVF-SMC , a new SMC algorithm that uses a novel reads-value-from (RVF) partitioning. Intuitively, two interleavings are deemed equivalent if they agree on the value obtained in each read event, and read events induce consistent causal orderings between them. The RVF partitioning is provably coarser than recent approaches based on Mazurkiewicz and “reads-from” partitionings. Our experimental evaluation reveals that RVF is quite often a very effective equivalence, as the underlying partitioning is exponentially coarser than other approaches. Moreover,   RVF-SMC  generates representatives very efficiently, as the reduction in the partitioning is often met with significant speed-ups in the model checking task."}],"publication":"33rd International Conference on Computer-Aided Verification ","article_processing_charge":"Yes","ec_funded":1,"alternative_title":["LNCS"],"language":[{"iso":"eng"}],"related_material":{"record":[{"relation":"dissertation_contains","id":"10199","status":"public"}]},"status":"public","oa_version":"Published Version","oa":1,"has_accepted_license":"1","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"eisbn":["978-3-030-81685-8"],"isbn":["978-3-030-81684-1"]},"publication_status":"published","year":"2021","date_published":"2021-07-15T00:00:00Z","publisher":"Springer Nature","quality_controlled":"1","page":"341-366"},{"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","type":"dissertation","degree_awarded":"PhD","title":"Wound healing in the Arabidopsis root meristem","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"file":[{"file_name":"Thesis_vupload.docx","date_updated":"2021-09-15T22:30:26Z","file_id":"9993","file_size":25179004,"embargo_to":"open_access","date_created":"2021-09-09T07:29:48Z","relation":"source_file","checksum":"c763064adaa720e16066c1a4f9682bbb","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","access_level":"closed","creator":"lhoermaye"},{"date_created":"2021-09-09T14:25:08Z","relation":"main_file","checksum":"53911b06e93d7cdbbf4c7f4c162fa70f","content_type":"application/pdf","creator":"lhoermaye","access_level":"open_access","date_updated":"2021-09-15T22:30:26Z","file_name":"Thesis_vfinal_pdfa.pdf","file_id":"9996","embargo":"2021-09-09","file_size":6246900}],"ddc":["575"],"abstract":[{"text":"Blood – this is what animals use to heal wounds fast and efficient. Plants do not have blood circulation and their cells cannot move. However, plants have evolved remarkable capacities to regenerate tissues and organs preventing further damage. In my PhD research, I studied the wound healing in the Arabidopsis root. I used a UV laser to ablate single cells in the root tip and observed the consequent wound healing. Interestingly, the inner adjacent cells induced a\r\ndivision plane switch and subsequently adopted the cell type of the killed cell to replace it. We termed this form of wound healing “restorative divisions”. This initial observation triggered the questions of my PhD studies: How and why do cells orient their division planes, how do they feel the wound and why does this happen only in inner adjacent cells.\r\nFor answering these questions, I used a quite simple experimental setup: 5 day - old seedlings were stained with propidium iodide to visualize cell walls and dead cells; ablation was carried out using a special laser cutter and a confocal microscope. Adaptation of the novel vertical microscope system made it possible to observe wounds in real time. This revealed that restorative divisions occur at increased frequency compared to normal divisions. Additionally,\r\nthe major plant hormone auxin accumulates in wound adjacent cells and drives the expression of the wound-stress responsive transcription factor ERF115. Using this as a marker gene for wound responses, we found that an important part of wound signalling is the sensing of the collapse of the ablated cell. The collapse causes a radical pressure drop, which results in strong tissue deformations. These deformations manifest in an invasion of the now free spot specifically by the inner adjacent cells within seconds, probably because of higher pressure of the inner tissues. Long-term imaging revealed that those deformed cells continuously expand towards the wound hole and that this is crucial for the restorative division. These wound-expanding cells exhibit an abnormal, biphasic polarity of microtubule arrays\r\nbefore the division. Experiments inhibiting cell expansion suggest that it is the biphasic stretching that induces those MT arrays. Adapting the micromanipulator aspiration system from animal scientists at our institute confirmed the hypothesis that stretching influences microtubule stability. In conclusion, this shows that microtubules react to tissue deformation\r\nand this facilitates the observed division plane switch. This puts mechanical cues and tensions at the most prominent position for explaining the growth and wound healing properties of plants. Hence, it shines light onto the importance of understanding mechanical signal transduction. ","lang":"eng"}],"doi":"10.15479/at:ista:9992","oa":1,"has_accepted_license":"1","status":"public","oa_version":"Published Version","ec_funded":1,"alternative_title":["ISTA Thesis"],"related_material":{"record":[{"status":"public","id":"6351","relation":"part_of_dissertation"},{"id":"6943","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"8002"}]},"language":[{"iso":"eng"}],"article_processing_charge":"No","supervisor":[{"first_name":"Jiří","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří"}],"page":"168","publisher":"Institute of Science and Technology Austria","date_published":"2021-09-13T00:00:00Z","publication_identifier":{"issn":["2663-337X"]},"year":"2021","publication_status":"published","day":"13","department":[{"_id":"GradSch"},{"_id":"JiFr"}],"month":"09","project":[{"grant_number":"P29988","call_identifier":"FWF","name":"RNA-directed DNA methylation in plant development","_id":"262EF96E-B435-11E9-9278-68D0E5697425"},{"grant_number":"742985","call_identifier":"H2020","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","_id":"261099A6-B435-11E9-9278-68D0E5697425"}],"citation":{"ieee":"L. Hörmayer, “Wound healing in the Arabidopsis root meristem,” Institute of Science and Technology Austria, 2021.","ista":"Hörmayer L. 2021. Wound healing in the Arabidopsis root meristem. Institute of Science and Technology Austria.","ama":"Hörmayer L. Wound healing in the Arabidopsis root meristem. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:9992\">10.15479/at:ista:9992</a>","chicago":"Hörmayer, Lukas. “Wound Healing in the Arabidopsis Root Meristem.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:9992\">https://doi.org/10.15479/at:ista:9992</a>.","apa":"Hörmayer, L. (2021). <i>Wound healing in the Arabidopsis root meristem</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:9992\">https://doi.org/10.15479/at:ista:9992</a>","short":"L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of Science and Technology Austria, 2021.","mla":"Hörmayer, Lukas. <i>Wound Healing in the Arabidopsis Root Meristem</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:9992\">10.15479/at:ista:9992</a>."},"file_date_updated":"2021-09-15T22:30:26Z","_id":"9992","date_created":"2021-09-09T07:37:20Z","author":[{"orcid":"0000-0001-8295-2926","full_name":"Hörmayer, Lukas","last_name":"Hörmayer","id":"2EEE7A2A-F248-11E8-B48F-1D18A9856A87","first_name":"Lukas"}],"date_updated":"2023-09-07T13:38:33Z","tmp":{"short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"}},{"month":"08","department":[{"_id":"GradSch"},{"_id":"KrCh"}],"isi":1,"pmid":1,"day":"31","intvolume":"        11","citation":{"ista":"Schmid L, Shati P, Hilbe C, Chatterjee K. 2021. The evolution of indirect reciprocity under action and assessment generosity. Scientific Reports. 11(1), 17443.","ama":"Schmid L, Shati P, Hilbe C, Chatterjee K. The evolution of indirect reciprocity under action and assessment generosity. <i>Scientific Reports</i>. 2021;11(1). doi:<a href=\"https://doi.org/10.1038/s41598-021-96932-1\">10.1038/s41598-021-96932-1</a>","chicago":"Schmid, Laura, Pouya Shati, Christian Hilbe, and Krishnendu Chatterjee. “The Evolution of Indirect Reciprocity under Action and Assessment Generosity.” <i>Scientific Reports</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1038/s41598-021-96932-1\">https://doi.org/10.1038/s41598-021-96932-1</a>.","apa":"Schmid, L., Shati, P., Hilbe, C., &#38; Chatterjee, K. (2021). The evolution of indirect reciprocity under action and assessment generosity. <i>Scientific Reports</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41598-021-96932-1\">https://doi.org/10.1038/s41598-021-96932-1</a>","mla":"Schmid, Laura, et al. “The Evolution of Indirect Reciprocity under Action and Assessment Generosity.” <i>Scientific Reports</i>, vol. 11, no. 1, 17443, Springer Nature, 2021, doi:<a href=\"https://doi.org/10.1038/s41598-021-96932-1\">10.1038/s41598-021-96932-1</a>.","short":"L. Schmid, P. Shati, C. Hilbe, K. Chatterjee, Scientific Reports 11 (2021).","ieee":"L. Schmid, P. Shati, C. Hilbe, and K. Chatterjee, “The evolution of indirect reciprocity under action and assessment generosity,” <i>Scientific Reports</i>, vol. 11, no. 1. Springer Nature, 2021."},"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","call_identifier":"H2020"},{"name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"Z211"}],"external_id":{"isi":["000692406400018"],"pmid":["34465830"]},"_id":"9997","date_created":"2021-09-11T16:22:02Z","file_date_updated":"2021-09-13T10:31:21Z","issue":"1","volume":11,"acknowledgement":"This work was supported by the European Research Council CoG 863818 (ForM-SMArt) (to K.C.) and the European Research Council Starting Grant 850529: E-DIRECT (to C.H.). L.S. received additional partial support by the Austrian Science Fund (FWF) under Grant Z211-N23 (Wittgenstein Award).","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2025-07-14T09:10:09Z","article_type":"original","keyword":["Multidisciplinary"],"author":[{"full_name":"Schmid, Laura","orcid":"0000-0002-6978-7329","id":"38B437DE-F248-11E8-B48F-1D18A9856A87","last_name":"Schmid","first_name":"Laura"},{"last_name":"Shati","first_name":"Pouya","full_name":"Shati, Pouya"},{"full_name":"Hilbe, Christian","first_name":"Christian","last_name":"Hilbe"},{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu"}],"file":[{"file_size":2424943,"file_name":"2021_ScientificReports_Schmid.pdf","success":1,"date_updated":"2021-09-13T10:31:21Z","file_id":"10006","checksum":"19df8816cf958b272b85841565c73182","creator":"cchlebak","access_level":"open_access","content_type":"application/pdf","relation":"main_file","date_created":"2021-09-13T10:31:21Z"}],"ddc":["003"],"type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"The evolution of indirect reciprocity under action and assessment generosity","doi":"10.1038/s41598-021-96932-1","abstract":[{"text":"Indirect reciprocity is a mechanism for the evolution of cooperation based on social norms. This mechanism requires that individuals in a population observe and judge each other’s behaviors. Individuals with a good reputation are more likely to receive help from others. Previous work suggests that indirect reciprocity is only effective when all relevant information is reliable and publicly available. Otherwise, individuals may disagree on how to assess others, even if they all apply the same social norm. Such disagreements can lead to a breakdown of cooperation. Here we explore whether the predominantly studied ‘leading eight’ social norms of indirect reciprocity can be made more robust by equipping them with an element of generosity. To this end, we distinguish between two kinds of generosity. According to assessment generosity, individuals occasionally assign a good reputation to group members who would usually be regarded as bad. According to action generosity, individuals occasionally cooperate with group members with whom they would usually defect. Using individual-based simulations, we show that the two kinds of generosity have a very different effect on the resulting reputation dynamics. Assessment generosity tends to add to the overall noise and allows defectors to invade. In contrast, a limited amount of action generosity can be beneficial in a few cases. However, even when action generosity is beneficial, the respective simulations do not result in full cooperation. Our results suggest that while generosity can favor cooperation when individuals use the most simple strategies of reciprocity, it is disadvantageous when individuals use more complex social norms.","lang":"eng"}],"publication":"Scientific Reports","article_processing_charge":"Yes","article_number":"17443","ec_funded":1,"related_material":{"record":[{"id":"10293","status":"public","relation":"dissertation_contains"}]},"language":[{"iso":"eng"}],"status":"public","oa_version":"Published Version","oa":1,"has_accepted_license":"1","year":"2021","publication_status":"published","publication_identifier":{"eissn":["2045-2322"]},"date_published":"2021-08-31T00:00:00Z","publisher":"Springer Nature","quality_controlled":"1"},{"volume":27,"acknowledgement":"First of all we would like to thank Andrei Okounkov for invaluable discussions, advises and sharing with us his fantastic viewpoint on modern quantum geometry. We are also grateful to D. Korb and Z. Zhou for their interest and comments. The work of A. Smirnov was supported in part by RFBR Grants under Numbers 15-02-04175 and 15-01-04217 and in part by NSF Grant DMS–2054527. The work of P. Koroteev, A.M. Zeitlin and A. Smirnov is supported in part by AMS Simons travel Grant. A. M. Zeitlin is partially supported by Simons Collaboration Grant, Award ID: 578501. Open access funding provided by Institute of Science and Technology (IST Austria).","file_date_updated":"2021-09-13T11:31:34Z","issue":"5","date_created":"2021-09-12T22:01:22Z","_id":"9998","article_type":"original","author":[{"first_name":"Peter","last_name":"Koroteev","full_name":"Koroteev, Peter"},{"full_name":"Pushkar, Petr","last_name":"Pushkar","id":"151DCEB6-9EC3-11E9-8480-ABECE5697425","first_name":"Petr"},{"full_name":"Smirnov, Andrey V.","first_name":"Andrey V.","last_name":"Smirnov"},{"full_name":"Zeitlin, Anton M.","last_name":"Zeitlin","first_name":"Anton M."}],"date_updated":"2023-08-14T06:34:14Z","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"intvolume":"        27","day":"30","isi":1,"department":[{"_id":"TaHa"}],"month":"08","external_id":{"isi":["000692795200001"]},"citation":{"ista":"Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. 2021. Quantum K-theory of quiver varieties and many-body systems. Selecta Mathematica. 27(5), 87.","chicago":"Koroteev, Peter, Petr Pushkar, Andrey V. Smirnov, and Anton M. Zeitlin. “Quantum K-Theory of Quiver Varieties and Many-Body Systems.” <i>Selecta Mathematica</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s00029-021-00698-3\">https://doi.org/10.1007/s00029-021-00698-3</a>.","ama":"Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. Quantum K-theory of quiver varieties and many-body systems. <i>Selecta Mathematica</i>. 2021;27(5). doi:<a href=\"https://doi.org/10.1007/s00029-021-00698-3\">10.1007/s00029-021-00698-3</a>","short":"P. Koroteev, P. Pushkar, A.V. Smirnov, A.M. Zeitlin, Selecta Mathematica 27 (2021).","apa":"Koroteev, P., Pushkar, P., Smirnov, A. V., &#38; Zeitlin, A. M. (2021). Quantum K-theory of quiver varieties and many-body systems. <i>Selecta Mathematica</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00029-021-00698-3\">https://doi.org/10.1007/s00029-021-00698-3</a>","mla":"Koroteev, Peter, et al. “Quantum K-Theory of Quiver Varieties and Many-Body Systems.” <i>Selecta Mathematica</i>, vol. 27, no. 5, 87, Springer Nature, 2021, doi:<a href=\"https://doi.org/10.1007/s00029-021-00698-3\">10.1007/s00029-021-00698-3</a>.","ieee":"P. Koroteev, P. Pushkar, A. V. Smirnov, and A. M. Zeitlin, “Quantum K-theory of quiver varieties and many-body systems,” <i>Selecta Mathematica</i>, vol. 27, no. 5. Springer Nature, 2021."},"scopus_import":"1","project":[{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"oa_version":"Published Version","status":"public","has_accepted_license":"1","oa":1,"article_processing_charge":"Yes (via OA deal)","language":[{"iso":"eng"}],"article_number":"87","quality_controlled":"1","publisher":"Springer Nature","publication_status":"published","publication_identifier":{"eissn":["1420-9020"],"issn":["1022-1824"]},"year":"2021","date_published":"2021-08-30T00:00:00Z","title":"Quantum K-theory of quiver varieties and many-body systems","type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","ddc":["530"],"file":[{"checksum":"beadc5a722ffb48190e1e63ee2dbfee5","creator":"cchlebak","access_level":"open_access","content_type":"application/pdf","date_created":"2021-09-13T11:31:34Z","relation":"main_file","file_size":584648,"date_updated":"2021-09-13T11:31:34Z","file_name":"2021_SelectaMath_Koroteev.pdf","success":1,"file_id":"10010"}],"abstract":[{"lang":"eng","text":"We define quantum equivariant K-theory of Nakajima quiver varieties. We discuss type A in detail as well as its connections with quantum XXZ spin chains and trigonometric Ruijsenaars-Schneider models. Finally we study a limit which produces a K-theoretic version of results of Givental and Kim, connecting quantum geometry of flag varieties and Toda lattice."}],"publication":"Selecta Mathematica","doi":"10.1007/s00029-021-00698-3"}]