[{"fulldoi":"https://doi.org/10.1214/21-AAP1705","article_type":"original","isi":1,"corr_author":"1","article_processing_charge":"No","quality_controlled":"1","publication_identifier":{"issn":["1050-5164"]},"intvolume":"        32","issue":"2","_id":"10548","type":"journal_article","doi":"10.1214/21-AAP1705","publication_status":"published","date_published":"2022-04-28T00:00:00Z","arxiv":1,"month":"04","scopus_import":"1","acknowledgement":"The authors thank Ivan Nourdin and Felix Otto for inspiring discussions. The work of MD is financially supported by the CNRS-Momentum program. Financial support of AG is acknowledged from the European Research Council under the European Community’s Seventh Framework Programme (FP7/2014-2019 Grant Agreement QUANTHOM 335410).","page":"1179-1209","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2022","external_id":{"isi":["000791003700011"],"arxiv":["1910.04088"]},"publication":"Annals of Applied Probability","language":[{"iso":"eng"}],"department":[{"_id":"JuFi"}],"abstract":[{"lang":"eng","text":"Consider a linear elliptic partial differential equation in divergence form with a random coefficient field. The solution operator displays fluctuations around its expectation. The recently developed pathwise theory of fluctuations in stochastic homogenization reduces the characterization of these fluctuations to those of the so-called standard homogenization commutator. In this contribution, we investigate the scaling limit of this key quantity: starting\r\nfrom a Gaussian-like coefficient field with possibly strong correlations, we establish the convergence of the rescaled commutator to a fractional Gaussian field, depending on the decay of correlations of the coefficient field, and we\r\ninvestigate the (non)degeneracy of the limit. This extends to general dimension $d\\ge1$ previous results so far limited to dimension $d=1$, and to the continuum setting with strong correlations recent results in the discrete iid case."}],"oa":1,"date_created":"2021-12-16T12:10:16Z","day":"28","author":[{"first_name":"Mitia","last_name":"Duerinckx","full_name":"Duerinckx, Mitia"},{"first_name":"Julian L","last_name":"Fischer","full_name":"Fischer, Julian L","orcid":"0000-0002-0479-558X","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Antoine","last_name":"Gloria","full_name":"Gloria, Antoine"}],"citation":{"ama":"Duerinckx M, Fischer JL, Gloria A. Scaling limit of the homogenization commutator for Gaussian coefficient  fields. <i>Annals of Applied Probability</i>. 2022;32(2):1179-1209. doi:<a href=\"https://doi.org/10.1214/21-AAP1705\">10.1214/21-AAP1705</a>","short":"M. Duerinckx, J.L. Fischer, A. Gloria, Annals of Applied Probability 32 (2022) 1179–1209.","chicago":"Duerinckx, Mitia, Julian L Fischer, and Antoine Gloria. “Scaling Limit of the Homogenization Commutator for Gaussian Coefficient  Fields.” <i>Annals of Applied Probability</i>. Institute of Mathematical Statistics, 2022. <a href=\"https://doi.org/10.1214/21-AAP1705\">https://doi.org/10.1214/21-AAP1705</a>.","mla":"Duerinckx, Mitia, et al. “Scaling Limit of the Homogenization Commutator for Gaussian Coefficient  Fields.” <i>Annals of Applied Probability</i>, vol. 32, no. 2, Institute of Mathematical Statistics, 2022, pp. 1179–209, doi:<a href=\"https://doi.org/10.1214/21-AAP1705\">10.1214/21-AAP1705</a>.","ista":"Duerinckx M, Fischer JL, Gloria A. 2022. Scaling limit of the homogenization commutator for Gaussian coefficient  fields. Annals of Applied Probability. 32(2), 1179–1209.","apa":"Duerinckx, M., Fischer, J. L., &#38; Gloria, A. (2022). Scaling limit of the homogenization commutator for Gaussian coefficient  fields. <i>Annals of Applied Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/21-AAP1705\">https://doi.org/10.1214/21-AAP1705</a>","ieee":"M. Duerinckx, J. L. Fischer, and A. Gloria, “Scaling limit of the homogenization commutator for Gaussian coefficient  fields,” <i>Annals of Applied Probability</i>, vol. 32, no. 2. Institute of Mathematical Statistics, pp. 1179–1209, 2022."},"publisher":"Institute of Mathematical Statistics","main_file_link":[{"url":"https://arxiv.org/abs/1910.04088","open_access":"1"}],"volume":32,"date_updated":"2026-08-12T09:22:31Z","title":"Scaling limit of the homogenization commutator for Gaussian coefficient  fields","status":"public","oa_version":"Preprint"},{"arxiv":1,"month":"03","date_published":"2022-03-31T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ec_funded":1,"year":"2022","external_id":{"arxiv":["2203.17143"]},"project":[{"grant_number":"948819","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials","call_identifier":"H2020"}],"publication":"arXiv","department":[{"_id":"JuFi"}],"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Phase-field models such as the Allen-Cahn equation may give rise to the formation and evolution of geometric shapes, a phenomenon that may be analyzed rigorously in suitable scaling regimes. In its sharp-interface limit, the vectorial Allen-Cahn equation with a potential with N≥3 distinct minima has been conjectured to describe the evolution of branched interfaces by multiphase mean curvature flow.\r\nIn the present work, we give a rigorous proof for this statement in two and three ambient dimensions and for a suitable class of potentials: As long as a strong solution to multiphase mean curvature flow exists, solutions to the vectorial Allen-Cahn equation with well-prepared initial data converge towards multiphase mean curvature flow in the limit of vanishing interface width parameter ε↘0. We even establish the rate of convergence O(ε1/2).\r\nOur approach is based on the gradient flow structure of the Allen-Cahn equation and its limiting motion: Building on the recent concept of \"gradient flow calibrations\" for multiphase mean curvature flow, we introduce a notion of relative entropy for the vectorial Allen-Cahn equation with multi-well potential. This enables us to overcome the limitations of other approaches, e.g. avoiding the need for a stability analysis of the Allen-Cahn operator or additional convergence hypotheses for the energy at positive times."}],"oa":1,"date_created":"2023-11-23T09:30:02Z","day":"31","author":[{"first_name":"Julian L","last_name":"Fischer","orcid":"0000-0002-0479-558X","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Fischer, Julian L"},{"id":"25647992-AA84-11E9-9D75-8427E6697425","full_name":"Marveggio, Alice","last_name":"Marveggio","first_name":"Alice"}],"citation":{"ista":"Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv, 2203.17143.","mla":"Fischer, Julian L., and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen-Cahn Equation towards Multiphase Mean Curvature Flow.” <i>ArXiv</i>, 2203.17143, doi:<a href=\"https://doi.org/10.48550/ARXIV.2203.17143\">10.48550/ARXIV.2203.17143</a>.","short":"J.L. Fischer, A. Marveggio, ArXiv (n.d.).","ama":"Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/ARXIV.2203.17143\">10.48550/ARXIV.2203.17143</a>","chicago":"Fischer, Julian L, and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen-Cahn Equation towards Multiphase Mean Curvature Flow.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/ARXIV.2203.17143\">https://doi.org/10.48550/ARXIV.2203.17143</a>.","ieee":"J. L. Fischer and A. Marveggio, “Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow,” <i>arXiv</i>. .","apa":"Fischer, J. L., &#38; Marveggio, A. (n.d.). Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/ARXIV.2203.17143\">https://doi.org/10.48550/ARXIV.2203.17143</a>"},"main_file_link":[{"url":"https://arxiv.org/abs/2203.17143","open_access":"1"}],"date_updated":"2026-08-12T09:15:49Z","title":"Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow","status":"public","oa_version":"Preprint","fulldoi":"https://doi.org/10.48550/ARXIV.2203.17143","corr_author":"1","article_processing_charge":"No","article_number":"2203.17143","_id":"14597","type":"preprint","doi":"10.48550/ARXIV.2203.17143","related_material":{"record":[{"relation":"dissertation_contains","id":"14587","status":"public"},{"id":"17481","status":"public","relation":"later_version"}]},"publication_status":"draft"},{"year":"2022","file":[{"file_id":"12423","creator":"dernst","file_size":9160451,"date_updated":"2023-01-27T10:36:50Z","relation":"main_file","content_type":"application/pdf","file_name":"2022_Development_Kogure.pdf","checksum":"871b9c58eb79b9e60752de25a46938d6","access_level":"open_access","date_created":"2023-01-27T10:36:50Z","success":1}],"publication":"Development","external_id":{"isi":["000903991700002"],"pmid":["36227591"]},"keyword":["Developmental Biology","Molecular Biology"],"acknowledgement":"iona intestinalis adults were provided by Dr Yutaka Satou (Kyoto University) and Dr Manabu Yoshida (the University of Tokyo) with support from the National Bio-Resource Project of AMED, Japan. We thank Dr Hidehiko Hashimoto and Dr Yuji Mizotani for technical information about 1P-myosin antibody staining. We thank Dr Kaoru Imai and Dr Yutaka Satou for valuable discussion about Admp and for the DNA construct of Bmp2/4 under the Dlx.b upstream sequence. We thank Ms Maki Kogure for constructing the FUSION360 of the intercalating epidermal cell.\r\nThis work was supported by funding from the Japan Society for the Promotion of Science (JP16H01451, JP21H00440). Open Access funding provided by Keio University: Keio Gijuku Daigaku.","scopus_import":"1","date_published":"2022-11-01T00:00:00Z","month":"11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"status":"public","title":"Admp regulates tail bending by controlling ventral epidermal cell polarity via phosphorylated myosin localization in Ciona","volume":149,"date_updated":"2026-08-12T09:59:24Z","oa_version":"Published Version","ddc":["570"],"oa":1,"abstract":[{"text":"Ventral tail bending, which is transient but pronounced, is found in many chordate embryos and constitutes an interesting model of how tissue interactions control embryo shape. Here, we identify one key upstream regulator of ventral tail bending in embryos of the ascidian Ciona. We show that during the early tailbud stages, ventral epidermal cells exhibit a boat-shaped morphology (boat cell) with a narrow apical surface where phosphorylated myosin light chain (pMLC) accumulates. We further show that interfering with the function of the BMP ligand Admp led to pMLC localizing to the basal instead of the apical side of ventral epidermal cells and a reduced number of boat cells. Finally, we show that cutting ventral epidermal midline cells at their apex using an ultraviolet laser relaxed ventral tail bending. Based on these results, we propose a previously unreported function for Admp in localizing pMLC to the apical side of ventral epidermal cells, which causes the tail to bend ventrally by resisting antero-posterior notochord extension at the ventral side of the tail.","lang":"eng"}],"department":[{"_id":"CaHe"}],"language":[{"iso":"eng"}],"citation":{"ieee":"Y. S. Kogure <i>et al.</i>, “Admp regulates tail bending by controlling ventral epidermal cell polarity via phosphorylated myosin localization in Ciona,” <i>Development</i>, vol. 149, no. 21. Company of Biologists, 2022.","apa":"Kogure, Y. S., Muraoka, H., Koizumi, W. C., Gelin-alessi, R., Godard, B. G., Oka, K., … Hotta, K. (2022). Admp regulates tail bending by controlling ventral epidermal cell polarity via phosphorylated myosin localization in Ciona. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.200215\">https://doi.org/10.1242/dev.200215</a>","ama":"Kogure YS, Muraoka H, Koizumi WC, et al. Admp regulates tail bending by controlling ventral epidermal cell polarity via phosphorylated myosin localization in Ciona. <i>Development</i>. 2022;149(21). doi:<a href=\"https://doi.org/10.1242/dev.200215\">10.1242/dev.200215</a>","short":"Y.S. Kogure, H. Muraoka, W.C. Koizumi, R. Gelin-alessi, B.G. Godard, K. Oka, C.-P.J. Heisenberg, K. Hotta, Development 149 (2022).","chicago":"Kogure, Yuki S., Hiromochi Muraoka, Wataru C. Koizumi, Raphaël Gelin-alessi, Benoit G Godard, Kotaro Oka, Carl-Philipp J Heisenberg, and Kohji Hotta. “Admp Regulates Tail Bending by Controlling Ventral Epidermal Cell Polarity via Phosphorylated Myosin Localization in Ciona.” <i>Development</i>. Company of Biologists, 2022. <a href=\"https://doi.org/10.1242/dev.200215\">https://doi.org/10.1242/dev.200215</a>.","ista":"Kogure YS, Muraoka H, Koizumi WC, Gelin-alessi R, Godard BG, Oka K, Heisenberg C-PJ, Hotta K. 2022. Admp regulates tail bending by controlling ventral epidermal cell polarity via phosphorylated myosin localization in Ciona. Development. 149(21), dev200215.","mla":"Kogure, Yuki S., et al. “Admp Regulates Tail Bending by Controlling Ventral Epidermal Cell Polarity via Phosphorylated Myosin Localization in Ciona.” <i>Development</i>, vol. 149, no. 21, dev200215, Company of Biologists, 2022, doi:<a href=\"https://doi.org/10.1242/dev.200215\">10.1242/dev.200215</a>."},"publisher":"Company of Biologists","author":[{"first_name":"Yuki S.","last_name":"Kogure","full_name":"Kogure, Yuki S."},{"full_name":"Muraoka, Hiromochi","first_name":"Hiromochi","last_name":"Muraoka"},{"first_name":"Wataru C.","last_name":"Koizumi","full_name":"Koizumi, Wataru C."},{"last_name":"Gelin-alessi","first_name":"Raphaël","full_name":"Gelin-alessi, Raphaël"},{"first_name":"Benoit G","last_name":"Godard","full_name":"Godard, Benoit G","id":"33280250-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Kotaro","last_name":"Oka","full_name":"Oka, Kotaro"},{"last_name":"Heisenberg","first_name":"Carl-Philipp J","full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566","id":"39427864-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Kohji","last_name":"Hotta","full_name":"Hotta, Kohji"}],"day":"01","date_created":"2023-01-16T09:50:12Z","article_processing_charge":"No","has_accepted_license":"1","quality_controlled":"1","file_date_updated":"2023-01-27T10:36:50Z","article_type":"original","fulldoi":"https://doi.org/10.1242/dev.200215","corr_author":"1","isi":1,"doi":"10.1242/dev.200215","type":"journal_article","publication_status":"published","publication_identifier":{"issn":["0950-1991"],"eissn":["1477-9129"]},"pmid":1,"_id":"12231","issue":"21","intvolume":"       149","article_number":"dev200215"},{"ddc":["570"],"oa_version":"Published Version","date_updated":"2026-08-12T09:59:40Z","volume":149,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"title":"Sequential and additive expression of miR-9 precursors control timing of neurogenesis","status":"public","date_created":"2023-01-16T09:53:17Z","day":"01","publisher":"Company of Biologists","author":[{"first_name":"Ximena","last_name":"Soto","full_name":"Soto, Ximena"},{"full_name":"Burton, Joshua","first_name":"Joshua","last_name":"Burton"},{"full_name":"Manning, Cerys S.","first_name":"Cerys S.","last_name":"Manning"},{"last_name":"Minchington","first_name":"Thomas","full_name":"Minchington, Thomas","id":"7d1648cb-19e9-11eb-8e7a-f8c037fb3e3f"},{"full_name":"Lea, Robert","first_name":"Robert","last_name":"Lea"},{"last_name":"Lee","first_name":"Jessica","full_name":"Lee, Jessica"},{"first_name":"Jochen","last_name":"Kursawe","full_name":"Kursawe, Jochen"},{"last_name":"Rattray","first_name":"Magnus","full_name":"Rattray, Magnus"},{"full_name":"Papalopulu, Nancy","first_name":"Nancy","last_name":"Papalopulu"}],"citation":{"mla":"Soto, Ximena, et al. “Sequential and Additive Expression of MiR-9 Precursors Control Timing of Neurogenesis.” <i>Development</i>, vol. 149, no. 19, dev200474, Company of Biologists, 2022, doi:<a href=\"https://doi.org/10.1242/dev.200474\">10.1242/dev.200474</a>.","ista":"Soto X, Burton J, Manning CS, Minchington T, Lea R, Lee J, Kursawe J, Rattray M, Papalopulu N. 2022. Sequential and additive expression of miR-9 precursors control timing of neurogenesis. Development. 149(19), dev200474.","short":"X. Soto, J. Burton, C.S. Manning, T. Minchington, R. Lea, J. Lee, J. Kursawe, M. Rattray, N. Papalopulu, Development 149 (2022).","ama":"Soto X, Burton J, Manning CS, et al. Sequential and additive expression of miR-9 precursors control timing of neurogenesis. <i>Development</i>. 2022;149(19). doi:<a href=\"https://doi.org/10.1242/dev.200474\">10.1242/dev.200474</a>","chicago":"Soto, Ximena, Joshua Burton, Cerys S. Manning, Thomas Minchington, Robert Lea, Jessica Lee, Jochen Kursawe, Magnus Rattray, and Nancy Papalopulu. “Sequential and Additive Expression of MiR-9 Precursors Control Timing of Neurogenesis.” <i>Development</i>. Company of Biologists, 2022. <a href=\"https://doi.org/10.1242/dev.200474\">https://doi.org/10.1242/dev.200474</a>.","apa":"Soto, X., Burton, J., Manning, C. S., Minchington, T., Lea, R., Lee, J., … Papalopulu, N. (2022). Sequential and additive expression of miR-9 precursors control timing of neurogenesis. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.200474\">https://doi.org/10.1242/dev.200474</a>","ieee":"X. Soto <i>et al.</i>, “Sequential and additive expression of miR-9 precursors control timing of neurogenesis,” <i>Development</i>, vol. 149, no. 19. Company of Biologists, 2022."},"department":[{"_id":"AnKi"}],"language":[{"iso":"eng"}],"abstract":[{"text":"MicroRNAs (miRs) have an important role in tuning dynamic gene expression. However, the mechanism by which they are quantitatively controlled is unknown. We show that the amount of mature miR-9, a key regulator of neuronal development, increases during zebrafish neurogenesis in a sharp stepwise manner. We characterize the spatiotemporal profile of seven distinct microRNA primary transcripts (pri-mir)-9s that produce the same mature miR-9 and show that they are sequentially expressed during hindbrain neurogenesis. Expression of late-onset pri-mir-9-1 is added on to, rather than replacing, the expression of early onset pri-mir-9-4 and -9-5 in single cells. CRISPR/Cas9 mutation of the late-onset pri-mir-9-1 prevents the developmental increase of mature miR-9, reduces late neuronal differentiation and fails to downregulate Her6 at late stages. Mathematical modelling shows that an adaptive network containing Her6 is insensitive to linear increases in miR-9 but responds to stepwise increases of miR-9. We suggest that a sharp stepwise increase of mature miR-9 is created by sequential and additive temporal activation of distinct loci. This may be a strategy to overcome adaptation and facilitate a transition of Her6 to a new dynamic regime or steady state.","lang":"eng"}],"oa":1,"external_id":{"isi":["000918161000003"],"pmid":["36189829"]},"file":[{"file_name":"2022_Development_Soto.pdf","relation":"main_file","content_type":"application/pdf","file_size":9348839,"date_updated":"2023-01-30T08:35:44Z","file_id":"12438","creator":"dernst","access_level":"open_access","success":1,"date_created":"2023-01-30T08:35:44Z","checksum":"d7c29b74e9e4032308228cc704a30e88"}],"publication":"Development","year":"2022","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"10","date_published":"2022-10-01T00:00:00Z","scopus_import":"1","acknowledgement":"We are grateful to Dr Tom Pettini for the advice on smiFISH technique and Dr Laure Bally-Cuif for sharing plasmids. The authors also thank the Biological Services Facility, Bioimaging and Systems Microscopy Facilities of the University of Manchester for technical support.\r\nThis work was supported by a Wellcome Trust Senior Research Fellowship (090868/Z/09/Z) and a Wellcome Trust Investigator Award (224394/Z/21/Z) to N.P. and a Medical Research Council Career Development Award to C.S.M. (MR/V032534/1). J.B. was supported by a Wellcome Trust Four-Year PhD Studentship in Basic Science (219992/Z/19/Z). Open Access funding provided by The University of Manchester. Deposited in PMC for immediate release.","keyword":["Developmental Biology","Molecular Biology"],"related_material":{"link":[{"relation":"software","url":" https://github.com/burtonjosh/StepwiseMir9"}]},"publication_status":"published","type":"journal_article","doi":"10.1242/dev.200474","article_number":"dev200474","intvolume":"       149","issue":"19","_id":"12245","pmid":1,"publication_identifier":{"eissn":["1477-9129"],"issn":["0950-1991"]},"file_date_updated":"2023-01-30T08:35:44Z","quality_controlled":"1","has_accepted_license":"1","article_processing_charge":"No","isi":1,"fulldoi":"https://doi.org/10.1242/dev.200474","article_type":"original"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","scopus_import":"1","acknowledgement":"YJ was supported by the National Research Foundation of Korea (NRF) (Grant Nos. NRF-2018K2A9A1A06069211 and NRF-2019R1A2C1089017). The work at Yonsei was supported by the NRF (Grant Nos. NRF-2017R1A5A-1014862 (SRC program: vdWMRC center), NRF-2019R1A2C2002601, and NRF-2021R1A2C1006375). WK acknowledges the support by the NRF (Grant Nos. 2018R1D1A1B07050087, 2018R1A6A1A03025340).","month":"01","date_published":"2022-01-20T00:00:00Z","external_id":{"isi":["000775191800001"],"pmid":["34986467"]},"publication":"Journal of Physics: Condensed Matter","file":[{"access_level":"open_access","date_created":"2022-02-07T10:35:28Z","success":1,"checksum":"b6c705c7f03dcb1dbcb06b1b4d4938d6","date_updated":"2022-02-07T10:35:28Z","file_size":1742414,"creator":"cchlebak","file_id":"10741","file_name":"2022_JPhysCondensMatter_Nauman.pdf","relation":"main_file","content_type":"application/pdf"}],"year":"2022","day":"20","date_created":"2022-02-06T23:01:31Z","citation":{"mla":"Nauman, Muhammad, et al. “Low-Field Magnetic Anisotropy of Sr2IrO4.” <i>Journal of Physics: Condensed Matter</i>, vol. 34, no. 13, 135802, IOP Publishing, 2022, doi:<a href=\"https://doi.org/10.1088/1361-648X/ac484d\">10.1088/1361-648X/ac484d</a>.","ista":"Nauman M, Hussain T, Choi J, Lee N, Choi YJ, Kang W, Jo Y. 2022. Low-field magnetic anisotropy of Sr2IrO4. Journal of Physics: Condensed Matter. 34(13), 135802.","ama":"Nauman M, Hussain T, Choi J, et al. Low-field magnetic anisotropy of Sr2IrO4. <i>Journal of Physics: Condensed Matter</i>. 2022;34(13). doi:<a href=\"https://doi.org/10.1088/1361-648X/ac484d\">10.1088/1361-648X/ac484d</a>","short":"M. Nauman, T. Hussain, J. Choi, N. Lee, Y.J. Choi, W. Kang, Y. Jo, Journal of Physics: Condensed Matter 34 (2022).","chicago":"Nauman, Muhammad, Tayyaba Hussain, Joonyoung Choi, Nara Lee, Young Jai Choi, Woun Kang, and Younjung Jo. “Low-Field Magnetic Anisotropy of Sr2IrO4.” <i>Journal of Physics: Condensed Matter</i>. IOP Publishing, 2022. <a href=\"https://doi.org/10.1088/1361-648X/ac484d\">https://doi.org/10.1088/1361-648X/ac484d</a>.","ieee":"M. Nauman <i>et al.</i>, “Low-field magnetic anisotropy of Sr2IrO4,” <i>Journal of Physics: Condensed Matter</i>, vol. 34, no. 13. IOP Publishing, 2022.","apa":"Nauman, M., Hussain, T., Choi, J., Lee, N., Choi, Y. J., Kang, W., &#38; Jo, Y. (2022). Low-field magnetic anisotropy of Sr2IrO4. <i>Journal of Physics: Condensed Matter</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/1361-648X/ac484d\">https://doi.org/10.1088/1361-648X/ac484d</a>"},"publisher":"IOP Publishing","author":[{"last_name":"Nauman","first_name":"Muhammad","id":"32c21954-2022-11eb-9d5f-af9f93c24e71","orcid":"0000-0002-2111-4846","full_name":"Nauman, Muhammad"},{"first_name":"Tayyaba","last_name":"Hussain","full_name":"Hussain, Tayyaba"},{"last_name":"Choi","first_name":"Joonyoung","full_name":"Choi, Joonyoung"},{"full_name":"Lee, Nara","first_name":"Nara","last_name":"Lee"},{"last_name":"Choi","first_name":"Young Jai","full_name":"Choi, Young Jai"},{"full_name":"Kang, Woun","last_name":"Kang","first_name":"Woun"},{"last_name":"Jo","first_name":"Younjung","full_name":"Jo, Younjung"}],"abstract":[{"text":"Magnetic anisotropy in strontium iridate (Sr2IrO4) is essential because of its strong spin–orbit coupling and crystal field effect. In this paper, we present a detailed mapping of the out-of-plane (OOP) magnetic anisotropy in Sr2IrO4 for different sample orientations using torque magnetometry measurements in the low-magnetic-field region before the isospins are completely ordered. Dominant in-plane anisotropy was identified at low fields, confirming the b axis as an easy magnetization axis. Based on the fitting analysis of the strong uniaxial magnetic anisotropy, we observed that the main anisotropic effect arises from a spin–orbit-coupled magnetic exchange interaction affecting the OOP interaction. The effect of interlayer exchange interaction results in additional anisotropic terms owing to the tilting of the isospins. The results are relevant for understanding OOP magnetic anisotropy and provide a new way to analyze the effects of spin–orbit-coupling and interlayer magnetic exchange interactions. This study provides insight into the understanding of bulk magnetic, magnetotransport, and spintronic behavior on Sr2IrO4 for future studies.","lang":"eng"}],"language":[{"iso":"eng"}],"department":[{"_id":"KiMo"}],"oa":1,"ddc":["530"],"oa_version":"Published Version","date_updated":"2026-08-12T14:03:01Z","volume":34,"title":"Low-field magnetic anisotropy of Sr2IrO4","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"status":"public","isi":1,"article_type":"original","fulldoi":"https://doi.org/10.1088/1361-648X/ac484d","file_date_updated":"2022-02-07T10:35:28Z","has_accepted_license":"1","quality_controlled":"1","article_processing_charge":"No","intvolume":"        34","article_number":"135802","_id":"10735","issue":"13","pmid":1,"publication_identifier":{"eissn":["1361-648X"]},"publication_status":"published","type":"journal_article","doi":"10.1088/1361-648X/ac484d"},{"alternative_title":["LIPIcs"],"related_material":{"record":[{"id":"15094","status":"public","relation":"dissertation_contains"},{"id":"13182","status":"public","relation":"later_version"}]},"publication_status":"submitted","type":"journal_article","_id":"11660","file_date_updated":"2022-07-27T09:30:30Z","has_accepted_license":"1","quality_controlled":"1","article_processing_charge":"No","corr_author":"1","ddc":["510"],"oa_version":"Submitted Version","date_updated":"2026-08-13T09:41:58Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"status":"public","title":"A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs","day":"25","date_created":"2022-07-27T09:31:15Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","author":[{"last_name":"Biswas","first_name":"Ranita","full_name":"Biswas, Ranita","id":"3C2B033E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5372-7890"},{"id":"34D2A09C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6249-0832","full_name":"Cultrera di Montesano, Sebastiano","first_name":"Sebastiano","last_name":"Cultrera di Montesano"},{"last_name":"Edelsbrunner","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert"},{"last_name":"Saghafian","first_name":"Morteza","full_name":"Saghafian, Morteza"}],"citation":{"ama":"Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. <i>LIPIcs</i>.","short":"R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, LIPIcs (n.d.).","chicago":"Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “A Window to the Persistence of 1D Maps. I: Geometric Characterization of Critical Point Pairs.” <i>LIPIcs</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, n.d.","mla":"Biswas, Ranita, et al. “A Window to the Persistence of 1D Maps. I: Geometric Characterization of Critical Point Pairs.” <i>LIPIcs</i>, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.","ista":"Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. LIPIcs.","ieee":"R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs,” <i>LIPIcs</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.","apa":"Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &#38; Saghafian, M. (n.d.). A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. <i>LIPIcs</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik."},"abstract":[{"text":"We characterize critical points of 1-dimensional maps paired in persistent homology geometrically and this way get elementary proofs of theorems about the symmetry of persistence diagrams and the variation of such maps. In particular, we identify branching points and endpoints of networks as the sole source of asymmetry and relate the cycle basis in persistent homology with a version of the stable marriage problem. Our analysis provides the foundations of fast algorithms for maintaining collections of interrelated sorted lists together with their persistence diagrams. ","lang":"eng"}],"department":[{"_id":"GradSch"},{"_id":"HeEd"}],"language":[{"iso":"eng"}],"oa":1,"project":[{"call_identifier":"H2020","name":"Alpha Shape Theory Extended","_id":"266A2E9E-B435-11E9-9278-68D0E5697425","grant_number":"788183"},{"grant_number":"Z00342","_id":"268116B8-B435-11E9-9278-68D0E5697425","name":"Mathematics, Computer Science","call_identifier":"FWF"},{"grant_number":"I02979-N35","_id":"2561EBF4-B435-11E9-9278-68D0E5697425","name":"Persistence and stability of geometric complexes","call_identifier":"FWF"}],"publication":"LIPIcs","file":[{"file_size":564836,"date_updated":"2022-07-27T09:30:30Z","file_id":"11661","creator":"scultrer","file_name":"window 1.pdf","content_type":"application/pdf","relation":"main_file","date_created":"2022-07-27T09:30:30Z","access_level":"open_access","checksum":"95903f9d1649e8e437a967b6f2f64730"}],"ec_funded":1,"year":"2022","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, grant no. 788183, from the Wittgenstein Prize, Austrian Science Fund (FWF), grant no. Z 342-N31, and from the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, Austrian Science Fund (FWF), grant no. I 02979-N35. ","date_published":"2022-07-25T00:00:00Z","month":"07"},{"scopus_import":"1","acknowledgement":"We acknowledge K. Kubiasová for excellent technical assistance, J. Neuhold, A. Lehner and A. Sedivy for technical assistance with protein production and purification at Vienna Biocenter Core Facilities; Creoptix for performing GCI; and the Bioimaging, Electron Microscopy and Life Science Facilities at ISTA, the Plant Sciences Core Facility of CEITEC Masaryk University, the Core Facility CELLIM (MEYS CR, LM2018129 Czech-BioImaging) and J. Sprakel for their assistance. J.F. is grateful to R. Napier for many insightful suggestions and support. We thank all past and present members of the Friml group for their support and for other contributions to this effort to clarify the controversial role of ABP1 over the past seven years. The project received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement no. 742985 to J.F. and 833867 to D.W.); the Austrian Science Fund (FWF; P29988 to J.F.); the Netherlands Organization for Scientific Research (NWO; VICI grant 865.14.001 to D.W. and VENI grant VI.Veni.212.003 to A.K.); the Ministry of Education, Science and Technological Development of the Republic of Serbia (contract no. 451-03-68/2022-14/200053 to B.D.Ž.); and the MEXT/JSPS KAKENHI to K.T. (20K06685) and T.K. (20H05687 and 20H05910).","month":"09","date_published":"2022-09-15T00:00:00Z","page":"575-581","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ec_funded":1,"year":"2022","external_id":{"pmid":["36071161"],"isi":["000851357500002"]},"project":[{"call_identifier":"H2020","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","grant_number":"742985","_id":"261099A6-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"RNA-directed DNA methylation in plant development","_id":"262EF96E-B435-11E9-9278-68D0E5697425","grant_number":"P29988"}],"file":[{"creator":"amally","file_id":"14483","file_size":79774945,"date_updated":"2023-11-02T17:12:37Z","relation":"main_file","content_type":"application/pdf","file_name":"Friml Nature 2022_merged.pdf","checksum":"a6055c606aefb900bf62ae3e7d15f921","access_level":"open_access","date_created":"2023-11-02T17:12:37Z","success":1}],"publication":"Nature","abstract":[{"text":"The phytohormone auxin triggers transcriptional reprogramming through a well-characterized perception machinery in the nucleus. By contrast, mechanisms that underlie fast effects of auxin, such as the regulation of ion fluxes, rapid phosphorylation of proteins or auxin feedback on its transport, remain unclear1,2,3. Whether auxin-binding protein 1 (ABP1) is an auxin receptor has been a source of debate for decades1,4. Here we show that a fraction of Arabidopsis thaliana ABP1 is secreted and binds auxin specifically at an acidic pH that is typical of the apoplast. ABP1 and its plasma-membrane-localized partner, transmembrane kinase 1 (TMK1), are required for the auxin-induced ultrafast global phospho-response and for downstream processes that include the activation of H+-ATPase and accelerated cytoplasmic streaming. abp1 and tmk mutants cannot establish auxin-transporting channels and show defective auxin-induced vasculature formation and regeneration. An ABP1(M2X) variant that lacks the capacity to bind auxin is unable to complement these defects in abp1 mutants. These data indicate that ABP1 is the auxin receptor for TMK1-based cell-surface signalling, which mediates the global phospho-response and auxin canalization.","lang":"eng"}],"language":[{"iso":"eng"}],"department":[{"_id":"JiFr"},{"_id":"GradSch"},{"_id":"EvBe"},{"_id":"EM-Fac"}],"oa":1,"day":"15","date_created":"2023-01-16T10:04:48Z","citation":{"chicago":"Friml, Jiří, Michelle C Gallei, Zuzana Gelová, Alexander J Johnson, Ewa Mazur, Aline Monzer, Lesia Rodriguez Solovey, et al. “ABP1–TMK Auxin Perception for Global Phosphorylation and Auxin Canalization.” <i>Nature</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1038/s41586-022-05187-x\">https://doi.org/10.1038/s41586-022-05187-x</a>.","short":"J. Friml, M.C. Gallei, Z. Gelová, A.J. Johnson, E. Mazur, A. Monzer, L. Rodriguez Solovey, M. Roosjen, I. Verstraeten, B.D. Živanović, M. Zou, L. Fiedler, C. Giannini, P. Grones, M. Hrtyan, W. Kaufmann, A. Kuhn, M. Narasimhan, M. Randuch, N. Rýdza, K. Takahashi, S. Tan, A. Teplova, T. Kinoshita, D. Weijers, H. Rakusová, Nature 609 (2022) 575–581.","ama":"Friml J, Gallei MC, Gelová Z, et al. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. <i>Nature</i>. 2022;609(7927):575-581. doi:<a href=\"https://doi.org/10.1038/s41586-022-05187-x\">10.1038/s41586-022-05187-x</a>","ista":"Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.","mla":"Friml, Jiří, et al. “ABP1–TMK Auxin Perception for Global Phosphorylation and Auxin Canalization.” <i>Nature</i>, vol. 609, no. 7927, Springer Nature, 2022, pp. 575–81, doi:<a href=\"https://doi.org/10.1038/s41586-022-05187-x\">10.1038/s41586-022-05187-x</a>.","apa":"Friml, J., Gallei, M. C., Gelová, Z., Johnson, A. J., Mazur, E., Monzer, A., … Rakusová, H. (2022). ABP1–TMK auxin perception for global phosphorylation and auxin canalization. <i>Nature</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41586-022-05187-x\">https://doi.org/10.1038/s41586-022-05187-x</a>","ieee":"J. Friml <i>et al.</i>, “ABP1–TMK auxin perception for global phosphorylation and auxin canalization,” <i>Nature</i>, vol. 609, no. 7927. Springer Nature, pp. 575–581, 2022."},"author":[{"full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","last_name":"Friml","first_name":"Jiří"},{"first_name":"Michelle C","last_name":"Gallei","full_name":"Gallei, Michelle C","orcid":"0000-0003-1286-7368","id":"35A03822-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Gelová, Zuzana","orcid":"0000-0003-4783-1752","id":"0AE74790-0E0B-11E9-ABC7-1ACFE5697425","last_name":"Gelová","first_name":"Zuzana"},{"full_name":"Johnson, Alexander J","orcid":"0000-0002-2739-8843","id":"46A62C3A-F248-11E8-B48F-1D18A9856A87","last_name":"Johnson","first_name":"Alexander J"},{"last_name":"Mazur","first_name":"Ewa","full_name":"Mazur, Ewa"},{"first_name":"Aline","last_name":"Monzer","id":"2DB5D88C-D7B3-11E9-B8FD-7907E6697425","full_name":"Monzer, Aline"},{"full_name":"Rodriguez Solovey, Lesia","id":"3922B506-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7244-7237","first_name":"Lesia","last_name":"Rodriguez Solovey"},{"full_name":"Roosjen, Mark","last_name":"Roosjen","first_name":"Mark"},{"full_name":"Verstraeten, Inge","id":"362BF7FE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7241-2328","first_name":"Inge","last_name":"Verstraeten"},{"last_name":"Živanović","first_name":"Branka D.","full_name":"Živanović, Branka D."},{"last_name":"Zou","first_name":"Minxia","id":"5c243f41-03f3-11ec-841c-96faf48a7ef9","full_name":"Zou, Minxia"},{"full_name":"Fiedler, Lukas","id":"7c417475-8972-11ed-ae7b-8b674ca26986","last_name":"Fiedler","first_name":"Lukas"},{"first_name":"Caterina","last_name":"Giannini","full_name":"Giannini, Caterina","id":"e3fdddd5-f6e0-11ea-865d-ca99ee6367f4"},{"full_name":"Grones, Peter","first_name":"Peter","last_name":"Grones"},{"first_name":"Mónika","last_name":"Hrtyan","full_name":"Hrtyan, Mónika","id":"45A71A74-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kaufmann, Walter","id":"3F99E422-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9735-5315","first_name":"Walter","last_name":"Kaufmann"},{"full_name":"Kuhn, Andre","last_name":"Kuhn","first_name":"Andre"},{"first_name":"Madhumitha","last_name":"Narasimhan","full_name":"Narasimhan, Madhumitha","id":"44BF24D0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8600-0671"},{"full_name":"Randuch, Marek","id":"6ac4636d-15b2-11ec-abd3-fb8df79972ae","first_name":"Marek","last_name":"Randuch"},{"full_name":"Rýdza, Nikola","first_name":"Nikola","last_name":"Rýdza"},{"full_name":"Takahashi, Koji","first_name":"Koji","last_name":"Takahashi"},{"full_name":"Tan, Shutang","orcid":"0000-0002-0471-8285","id":"2DE75584-F248-11E8-B48F-1D18A9856A87","last_name":"Tan","first_name":"Shutang"},{"id":"e3736151-106c-11ec-b916-c2558e2762c6","full_name":"Teplova, Anastasiia","first_name":"Anastasiia","last_name":"Teplova"},{"first_name":"Toshinori","last_name":"Kinoshita","full_name":"Kinoshita, Toshinori"},{"last_name":"Weijers","first_name":"Dolf","full_name":"Weijers, Dolf"},{"full_name":"Rakusová, Hana","last_name":"Rakusová","first_name":"Hana"}],"publisher":"Springer Nature","volume":609,"date_updated":"2026-08-14T09:33:45Z","title":"ABP1–TMK auxin perception for global phosphorylation and auxin canalization","status":"public","ddc":["580"],"acknowledged_ssus":[{"_id":"Bio"},{"_id":"EM-Fac"},{"_id":"LifeSc"}],"oa_version":"Submitted Version","article_type":"original","fulldoi":"https://doi.org/10.1038/s41586-022-05187-x","corr_author":"1","isi":1,"article_processing_charge":"No","file_date_updated":"2023-11-02T17:12:37Z","has_accepted_license":"1","quality_controlled":"1","pmid":1,"publication_identifier":{"eissn":["1476-4687"],"issn":["0028-0836"]},"intvolume":"       609","_id":"12291","issue":"7927","type":"journal_article","doi":"10.1038/s41586-022-05187-x","related_material":{"record":[{"status":"public","id":"20364","relation":"dissertation_contains"},{"relation":"dissertation_contains","id":"19395","status":"public"}]},"publication_status":"published"},{"degree_awarded":"PhD","oa_version":"Published Version","ddc":["004"],"OA_place":"publisher","status":"public","tmp":{"short":"CC BY-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","image":"/image/cc_by_nd.png","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)"},"title":"Learning verifiable representations","date_updated":"2026-08-19T09:28:05Z","citation":{"ieee":"M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.","apa":"Lechner, M. (2022). <i>Learning verifiable representations</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:11362\">https://doi.org/10.15479/at:ista:11362</a>","ama":"Lechner M. Learning verifiable representations. 2022. doi:<a href=\"https://doi.org/10.15479/at:ista:11362\">10.15479/at:ista:11362</a>","short":"M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.","chicago":"Lechner, Mathias. “Learning Verifiable Representations.” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/at:ista:11362\">https://doi.org/10.15479/at:ista:11362</a>.","ista":"Lechner M. 2022. Learning verifiable representations. Institute of Science and Technology Austria.","mla":"Lechner, Mathias. <i>Learning Verifiable Representations</i>. Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/at:ista:11362\">10.15479/at:ista:11362</a>."},"publisher":"Institute of Science and Technology Austria","author":[{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias","last_name":"Lechner","first_name":"Mathias"}],"date_created":"2022-05-12T07:14:01Z","day":"12","oa":1,"language":[{"iso":"eng"}],"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"abstract":[{"lang":"eng","text":"Deep learning has enabled breakthroughs in challenging computing problems and has emerged as the standard problem-solving tool for computer vision and natural language processing tasks.\r\nOne exception to this trend is safety-critical tasks where robustness and resilience requirements contradict the black-box nature of neural networks. \r\nTo deploy deep learning methods for these tasks, it is vital to provide guarantees on neural network agents' safety and robustness criteria. \r\nThis can be achieved by developing formal verification methods to verify the safety and robustness properties of neural networks.\r\n\r\nOur goal is to design, develop and assess safety verification methods for neural networks to improve their reliability and trustworthiness in real-world applications.\r\nThis thesis establishes techniques for the verification of compressed and adversarially trained models as well as the design of novel neural networks for verifiably safe decision-making.\r\n\r\nFirst, we establish the problem of verifying quantized neural networks. Quantization is a technique that trades numerical precision for the computational efficiency of running a neural network and is widely adopted in industry.\r\nWe show that neglecting the reduced precision when verifying a neural network can lead to wrong conclusions about the robustness and safety of the network, highlighting that novel techniques for quantized network verification are necessary. We introduce several bit-exact verification methods explicitly designed for quantized neural networks and experimentally confirm on realistic networks that the network's robustness and other formal properties are affected by the quantization.\r\n\r\nFurthermore, we perform a case study providing evidence that adversarial training, a standard technique for making neural networks more robust, has detrimental effects on the network's performance. This robustness-accuracy tradeoff has been studied before regarding the accuracy obtained on classification datasets where each data point is independent of all other data points. On the other hand, we investigate the tradeoff empirically in robot learning settings where a both, a high accuracy and a high robustness, are desirable.\r\nOur results suggest that the negative side-effects of adversarial training outweigh its robustness benefits in practice.\r\n\r\nFinally, we consider the problem of verifying safety when running a Bayesian neural network policy in a feedback loop with systems over the infinite time horizon. Bayesian neural networks are probabilistic models for learning uncertainties in the data and are therefore often used on robotic and healthcare applications where data is inherently stochastic.\r\nWe introduce a method for recalibrating Bayesian neural networks so that they yield probability distributions over safe decisions only.\r\nOur method learns a safety certificate that guarantees safety over the infinite time horizon to determine which decisions are safe in every possible state of the system.\r\nWe demonstrate the effectiveness of our approach on a series of reinforcement learning benchmarks."}],"file":[{"checksum":"8eefa9c7c10ca7e1a2ccdd731962a645","date_created":"2022-05-13T12:33:26Z","access_level":"closed","creator":"mlechner","file_id":"11378","date_updated":"2022-05-13T12:49:00Z","file_size":13210143,"content_type":"application/zip","relation":"source_file","file_name":"src.zip"},{"access_level":"open_access","date_created":"2022-05-16T08:02:28Z","checksum":"1b9e1e5a9a83ed9d89dad2f5133dc026","file_size":2732536,"date_updated":"2022-05-17T15:19:39Z","file_id":"11382","creator":"mlechner","file_name":"thesis_main-a2.pdf","relation":"main_file","content_type":"application/pdf"}],"project":[{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems"},{"call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"year":"2022","ec_funded":1,"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","page":"124","month":"05","date_published":"2022-05-12T00:00:00Z","supervisor":[{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724"}],"keyword":["neural networks","verification","machine learning"],"publication_status":"published","related_material":{"record":[{"id":"11366","status":"public","relation":"part_of_dissertation"},{"id":"7808","status":"public","relation":"part_of_dissertation"},{"id":"10666","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"10667"},{"relation":"part_of_dissertation","status":"public","id":"10665"}]},"alternative_title":["ISTA Thesis"],"doi":"10.15479/at:ista:11362","type":"dissertation","_id":"11362","license":"https://creativecommons.org/licenses/by-nd/4.0/","publication_identifier":{"isbn":["978-3-99078-017-6"]},"has_accepted_license":"1","file_date_updated":"2022-05-17T15:19:39Z","article_processing_charge":"No","corr_author":"1","fulldoi":"https://doi.org/10.15479/at:ista:11362"},{"article_type":"original","fulldoi":"https://doi.org/10.1016/j.aim.2022.108236","researchdata_availability":"no","corr_author":"1","isi":1,"article_processing_charge":"No","das_tickbox":"0","quality_controlled":"1","publication_identifier":{"eissn":["1090-2082"],"issn":["0001-8708"]},"_id":"10765","issue":"3","article_number":"108236","intvolume":"       398","doi":"10.1016/j.aim.2022.108236","type":"journal_article","publication_status":"published","scopus_import":"1","acknowledgement":"We are grateful to Mikhail Borovoi, Zeev Rudnick and Olivier Wienberg for their interest in our\r\nwork. We would like to address our gratitude to Ulrich Derenthal for his generous support at Leibniz Universitat Hannover. We are in debt to Tim Browning for an enlightening discussion and to the anonymous referees for critical comments, which lead to overall improvements of various preliminary versions of this paper. Part of this work was carried out and reported during a visit to the University of Science and Technology of China. We thank Yongqi Liang for offering warm hospitality. The first author was supported by a Humboldt-Forschungsstipendium. The second author was supported by grant DE 1646/4-2 of the Deutsche Forschungsgemeinschaft.","arxiv":1,"date_published":"2022-03-26T00:00:00Z","month":"03","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","year":"2022","publication":"Advances in Mathematics","external_id":{"isi":["000792517300014"],"arxiv":["2003.07287"]},"oa":1,"supplementarymaterial":"no","abstract":[{"text":"We establish the Hardy-Littlewood property (à la Borovoi-Rudnick) for Zariski open subsets in affine quadrics of the form q(x1,...,xn)=m, where q is a non-degenerate integral quadratic form in  n>3 variables and m is a non-zero integer. This gives asymptotic formulas for the density of integral points taking coprime polynomial values, which is a quantitative version of the arithmetic purity of strong approximation property off infinity for affine quadrics.","lang":"eng"}],"language":[{"iso":"eng"}],"department":[{"_id":"TiBr"}],"main_file_link":[{"url":"https://arxiv.org/abs/2003.07287","open_access":"1"}],"author":[{"last_name":"Cao","first_name":"Yang","full_name":"Cao, Yang"},{"id":"21f1b52f-2fd1-11eb-a347-a4cdb9b18a51","full_name":"Huang, Zhizhong","first_name":"Zhizhong","last_name":"Huang"}],"citation":{"apa":"Cao, Y., &#38; Huang, Z. (2022). Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics. <i>Advances in Mathematics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.aim.2022.108236\">https://doi.org/10.1016/j.aim.2022.108236</a>","ieee":"Y. Cao and Z. Huang, “Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics,” <i>Advances in Mathematics</i>, vol. 398, no. 3. Elsevier, 2022.","ista":"Cao Y, Huang Z. 2022. Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics. Advances in Mathematics. 398(3), 108236.","mla":"Cao, Yang, and Zhizhong Huang. “Arithmetic Purity of the Hardy-Littlewood Property and Geometric Sieve for Affine Quadrics.” <i>Advances in Mathematics</i>, vol. 398, no. 3, 108236, Elsevier, 2022, doi:<a href=\"https://doi.org/10.1016/j.aim.2022.108236\">10.1016/j.aim.2022.108236</a>.","chicago":"Cao, Yang, and Zhizhong Huang. “Arithmetic Purity of the Hardy-Littlewood Property and Geometric Sieve for Affine Quadrics.” <i>Advances in Mathematics</i>. Elsevier, 2022. <a href=\"https://doi.org/10.1016/j.aim.2022.108236\">https://doi.org/10.1016/j.aim.2022.108236</a>.","ama":"Cao Y, Huang Z. Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics. <i>Advances in Mathematics</i>. 2022;398(3). doi:<a href=\"https://doi.org/10.1016/j.aim.2022.108236\">10.1016/j.aim.2022.108236</a>","short":"Y. Cao, Z. Huang, Advances in Mathematics 398 (2022)."},"publisher":"Elsevier","day":"26","date_created":"2022-02-20T23:01:30Z","status":"public","title":"Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics","date_updated":"2026-08-19T13:00:41Z","volume":398,"oa_version":"Preprint"},{"quality_controlled":"1","article_processing_charge":"No","das_tickbox":"0","researchdata_availability":"no","corr_author":"1","isi":1,"article_type":"original","fulldoi":"https://doi.org/10.4064/aa210430-1-7","publication_status":"published","related_material":{"record":[{"relation":"earlier_version","id":"12077","status":"public"}]},"doi":"10.4064/aa210430-1-7","type":"journal_article","_id":"17058","issue":"4","intvolume":"       204","publication_identifier":{"eissn":["1730-6264"],"issn":["0065-1036"]},"publication":"Acta Arithmetica","external_id":{"arxiv":["2104.14946"],"isi":["000844789100001"]},"year":"2022","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","page":"317-346","scopus_import":"1","date_published":"2022-08-22T00:00:00Z","month":"08","arxiv":1,"oa_version":"Preprint","status":"public","title":"On the leading constant in the Manin-type conjecture for Campana points","date_updated":"2026-08-19T12:54:59Z","volume":204,"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2104.14946","open_access":"1"}],"publisher":"Institute of Mathematics","citation":{"ieee":"A. L. Shute, “On the leading constant in the Manin-type conjecture for Campana points,” <i>Acta Arithmetica</i>, vol. 204, no. 4. Institute of Mathematics, pp. 317–346, 2022.","apa":"Shute, A. L. (2022). On the leading constant in the Manin-type conjecture for Campana points. <i>Acta Arithmetica</i>. Institute of Mathematics. <a href=\"https://doi.org/10.4064/aa210430-1-7\">https://doi.org/10.4064/aa210430-1-7</a>","chicago":"Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” <i>Acta Arithmetica</i>. Institute of Mathematics, 2022. <a href=\"https://doi.org/10.4064/aa210430-1-7\">https://doi.org/10.4064/aa210430-1-7</a>.","ama":"Shute AL. On the leading constant in the Manin-type conjecture for Campana points. <i>Acta Arithmetica</i>. 2022;204(4):317-346. doi:<a href=\"https://doi.org/10.4064/aa210430-1-7\">10.4064/aa210430-1-7</a>","short":"A.L. Shute, Acta Arithmetica 204 (2022) 317–346.","mla":"Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” <i>Acta Arithmetica</i>, vol. 204, no. 4, Institute of Mathematics, 2022, pp. 317–46, doi:<a href=\"https://doi.org/10.4064/aa210430-1-7\">10.4064/aa210430-1-7</a>.","ista":"Shute AL. 2022. On the leading constant in the Manin-type conjecture for Campana points. Acta Arithmetica. 204(4), 317–346."},"author":[{"last_name":"Shute","first_name":"Alec L","orcid":"0000-0002-1812-2810","id":"440EB050-F248-11E8-B48F-1D18A9856A87","full_name":"Shute, Alec L"}],"day":"22","date_created":"2024-05-28T13:39:26Z","supplementarymaterial":"no","oa":1,"abstract":[{"lang":"eng","text":"We compare the Manin-type conjecture for Campana points recently formulated by Pieropan, Smeets, Tanimoto and Várilly-Alvarado with an alternative prediction of Browning and Van Valckenborgh in the special case of the orbifold (P1,D), where D=1/2[0]+1/2[1]+1/2[∞]. We find that the two predicted leading constants do not agree, and we discuss whether thin sets could explain this discrepancy. Motivated by this, we provide a counterexample to the Manin-type conjecture for Campana points, by considering orbifolds corresponding to squareful values of binary quadratic forms."}],"language":[{"iso":"eng"}],"department":[{"_id":"TiBr"}]},{"type":"journal_article","doi":"10.1103/PhysRevMaterials.6.125605","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"20203"},{"relation":"dissertation_contains","id":"22684","status":"public"}]},"publication_status":"published","publication_identifier":{"eissn":["2475-9953"]},"article_number":"125605","intvolume":"         6","issue":"12","_id":"12109","article_processing_charge":"No","quality_controlled":"1","fulldoi":"https://doi.org/10.1103/PhysRevMaterials.6.125605","article_type":"original","isi":1,"corr_author":"1","volume":6,"date_updated":"2026-08-27T11:42:43Z","title":"Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach","status":"public","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"NanoFab"},{"_id":"ScienComp"}],"oa_version":"Preprint","department":[{"_id":"ScWa"},{"_id":"NanoFab"}],"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Kelvin probe force microscopy (KPFM) is a powerful tool for studying contact electrification (CE) at the nanoscale, but converting KPFM voltage maps to charge density maps is nontrivial due to long-range forces and complex system geometry. Here we present a strategy using finite-element method (FEM) simulations to determine the Green's function of the KPFM probe/insulator/ground system, which allows us to quantitatively extract surface charge. Testing our approach with synthetic data, we find that accounting for the atomic force microscope (AFM) tip, cone, and cantilever is necessary to recover a known input and that existing methods lead to gross miscalculation or even the incorrect sign of the underlying charge. Applying it to experimental data, we demonstrate its capacity to extract realistic surface charge densities and fine details from contact-charged surfaces. Our method gives a straightforward recipe to convert qualitative KPFM voltage data into quantitative charge data over a range of experimental conditions, enabling quantitative CE at the nanoscale."}],"oa":1,"date_created":"2023-01-08T23:00:53Z","day":"29","citation":{"chicago":"Pertl, Felix, Juan Carlos A Sobarzo Ponce, Lubuna B Shafeek, Tobias Cramer, and Scott R Waitukaitis. “Quantifying Nanoscale Charge Density Features of Contact-Charged Surfaces with an FEM/KPFM-Hybrid Approach.” <i>Physical Review Materials</i>. American Physical Society, 2022. <a href=\"https://doi.org/10.1103/PhysRevMaterials.6.125605\">https://doi.org/10.1103/PhysRevMaterials.6.125605</a>.","ama":"Pertl F, Sobarzo Ponce JCA, Shafeek LB, Cramer T, Waitukaitis SR. Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach. <i>Physical Review Materials</i>. 2022;6(12). doi:<a href=\"https://doi.org/10.1103/PhysRevMaterials.6.125605\">10.1103/PhysRevMaterials.6.125605</a>","short":"F. Pertl, J.C.A. Sobarzo Ponce, L.B. Shafeek, T. Cramer, S.R. Waitukaitis, Physical Review Materials 6 (2022).","mla":"Pertl, Felix, et al. “Quantifying Nanoscale Charge Density Features of Contact-Charged Surfaces with an FEM/KPFM-Hybrid Approach.” <i>Physical Review Materials</i>, vol. 6, no. 12, 125605, American Physical Society, 2022, doi:<a href=\"https://doi.org/10.1103/PhysRevMaterials.6.125605\">10.1103/PhysRevMaterials.6.125605</a>.","ista":"Pertl F, Sobarzo Ponce JCA, Shafeek LB, Cramer T, Waitukaitis SR. 2022. Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach. Physical Review Materials. 6(12), 125605.","apa":"Pertl, F., Sobarzo Ponce, J. C. A., Shafeek, L. B., Cramer, T., &#38; Waitukaitis, S. R. (2022). Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach. <i>Physical Review Materials</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevMaterials.6.125605\">https://doi.org/10.1103/PhysRevMaterials.6.125605</a>","ieee":"F. Pertl, J. C. A. Sobarzo Ponce, L. B. Shafeek, T. Cramer, and S. R. Waitukaitis, “Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach,” <i>Physical Review Materials</i>, vol. 6, no. 12. American Physical Society, 2022."},"publisher":"American Physical Society","author":[{"last_name":"Pertl","first_name":"Felix","full_name":"Pertl, Felix","orcid":"0000-0003-0463-5794","id":"6313aec0-15b2-11ec-abd3-ed67d16139af"},{"id":"4B807D68-AE37-11E9-AC72-31CAE5697425","full_name":"Sobarzo Ponce, Juan Carlos A","last_name":"Sobarzo Ponce","first_name":"Juan Carlos A"},{"full_name":"Shafeek, Lubuna B","id":"3CD37A82-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7180-6050","last_name":"Shafeek","first_name":"Lubuna B"},{"last_name":"Cramer","first_name":"Tobias","full_name":"Cramer, Tobias"},{"last_name":"Waitukaitis","first_name":"Scott R","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2299-3176","full_name":"Waitukaitis, Scott R"}],"main_file_link":[{"open_access":"1","url":" https://doi.org/10.48550/arXiv.2209.01889"}],"ec_funded":1,"year":"2022","external_id":{"isi":["000908384800001"],"arxiv":["2209.01889"]},"project":[{"grant_number":"949120","_id":"0aa60e99-070f-11eb-9043-a6de6bdc3afa","call_identifier":"H2020","name":"Tribocharge: a multi-scale approach to an enduring problem in physics"}],"publication":"Physical Review Materials","arxiv":1,"date_published":"2022-12-29T00:00:00Z","month":"12","scopus_import":"1","acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement\r\nNo. 949120). This research was supported by the Scientific Service Units of the Institute of Science and Technology Austria (ISTA) through resources provided by the Miba Machine\r\nShop, the Nanofabrication Facility, and the Scientific Computing Facility. We thank F. Stumpf from Park Systems for useful discussions and support with scanning probe microscopy.\r\nF.P. and J.C.S. contributed equally to this work.","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8"},{"publication_status":"published","alternative_title":["LNCS"],"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"18088"}]},"doi":"10.1007/978-3-031-07085-3_28","type":"conference","_id":"11476","intvolume":"     13276","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"eisbn":["9783031070853"],"isbn":["9783031070846"]},"quality_controlled":"1","article_processing_charge":"No","corr_author":"1","isi":1,"fulldoi":"https://doi.org/10.1007/978-3-031-07085-3_28","oa_version":"Preprint","status":"public","title":"CoCoA: Concurrent continuous group key agreement","date_updated":"2026-09-07T14:12:36Z","volume":13276,"main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2022/251"}],"author":[{"full_name":"Alwen, Joël","last_name":"Alwen","first_name":"Joël"},{"last_name":"Auerbach","first_name":"Benedikt","id":"D33D2B18-E445-11E9-ABB7-15F4E5697425","orcid":"0000-0002-7553-6606","full_name":"Auerbach, Benedikt"},{"first_name":"Miguel","last_name":"Cueto Noval","full_name":"Cueto Noval, Miguel","id":"ffc563a3-f6e0-11ea-865d-e3cce03d17cc","orcid":"0000-0002-2505-4246"},{"first_name":"Karen","last_name":"Klein","id":"3E83A2F8-F248-11E8-B48F-1D18A9856A87","full_name":"Klein, Karen"},{"first_name":"Guillermo","last_name":"Pascual Perez","orcid":"0000-0001-8630-415X","id":"2D7ABD02-F248-11E8-B48F-1D18A9856A87","full_name":"Pascual Perez, Guillermo"},{"first_name":"Krzysztof Z","last_name":"Pietrzak","full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9139-1654"},{"first_name":"Michael","last_name":"Walter","full_name":"Walter, Michael"}],"citation":{"chicago":"Alwen, Joël, Benedikt Auerbach, Miguel Cueto Noval, Karen Klein, Guillermo Pascual Perez, Krzysztof Z Pietrzak, and Michael Walter. “CoCoA: Concurrent Continuous Group Key Agreement.” In <i>Advances in Cryptology – EUROCRYPT 2022</i>, 13276:815–844. Cham: Springer Nature, 2022. <a href=\"https://doi.org/10.1007/978-3-031-07085-3_28\">https://doi.org/10.1007/978-3-031-07085-3_28</a>.","short":"J. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2022, Springer Nature, Cham, 2022, pp. 815–844.","ama":"Alwen J, Auerbach B, Cueto Noval M, et al. CoCoA: Concurrent continuous group key agreement. In: <i>Advances in Cryptology – EUROCRYPT 2022</i>. Vol 13276. Cham: Springer Nature; 2022:815–844. doi:<a href=\"https://doi.org/10.1007/978-3-031-07085-3_28\">10.1007/978-3-031-07085-3_28</a>","ista":"Alwen J, Auerbach B, Cueto Noval M, Klein K, Pascual Perez G, Pietrzak KZ, Walter M. 2022. CoCoA: Concurrent continuous group key agreement. Advances in Cryptology – EUROCRYPT 2022. EUROCRYPT: Theory and Applications of Cryptology and Information Security, LNCS, vol. 13276, 815–844.","mla":"Alwen, Joël, et al. “CoCoA: Concurrent Continuous Group Key Agreement.” <i>Advances in Cryptology – EUROCRYPT 2022</i>, vol. 13276, Springer Nature, 2022, pp. 815–844, doi:<a href=\"https://doi.org/10.1007/978-3-031-07085-3_28\">10.1007/978-3-031-07085-3_28</a>.","ieee":"J. Alwen <i>et al.</i>, “CoCoA: Concurrent continuous group key agreement,” in <i>Advances in Cryptology – EUROCRYPT 2022</i>, Trondheim, Norway, 2022, vol. 13276, pp. 815–844.","apa":"Alwen, J., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., Pietrzak, K. Z., &#38; Walter, M. (2022). CoCoA: Concurrent continuous group key agreement. In <i>Advances in Cryptology – EUROCRYPT 2022</i> (Vol. 13276, pp. 815–844). Cham: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-07085-3_28\">https://doi.org/10.1007/978-3-031-07085-3_28</a>"},"publisher":"Springer Nature","day":"25","date_created":"2022-06-30T16:48:00Z","oa":1,"abstract":[{"text":"Messaging platforms like Signal are widely deployed and provide strong security in an asynchronous setting. It is a challenging problem to construct a protocol with similar security guarantees that can efficiently scale to large groups. A major bottleneck are the frequent key rotations users need to perform to achieve post compromise forward security.\r\n\r\nIn current proposals – most notably in TreeKEM (which is part of the IETF’s Messaging Layer Security (MLS) protocol draft) – for users in a group of size n to rotate their keys, they must each craft a message of size log(n) to be broadcast to the group using an (untrusted) delivery server.\r\n\r\nIn larger groups, having users sequentially rotate their keys requires too much bandwidth (or takes too long), so variants allowing any T≤n users to simultaneously rotate their keys in just 2 communication rounds have been suggested (e.g. “Propose and Commit” by MLS). Unfortunately, 2-round concurrent updates are either damaging or expensive (or both); i.e. they either result in future operations being more costly (e.g. via “blanking” or “tainting”) or are costly themselves requiring Ω(T) communication for each user [Bienstock et al., TCC’20].\r\n\r\nIn this paper we propose CoCoA; a new scheme that allows for T concurrent updates that are neither damaging nor costly. That is, they add no cost to future operations yet they only require Ω(log2(n)) communication per user. To circumvent the [Bienstock et al.] lower bound, CoCoA increases the number of rounds needed to complete all updates from 2 up to (at most) log(n); though typically fewer rounds are needed.\r\n\r\nThe key insight of our protocol is the following: in the (non-concurrent version of) TreeKEM, a delivery server which gets T concurrent update requests will approve one and reject the remaining T−1. In contrast, our server attempts to apply all of them. If more than one user requests to rotate the same key during a round, the server arbitrarily picks a winner. Surprisingly, we prove that regardless of how the server chooses the winners, all previously compromised users will recover after at most log(n) such update rounds.\r\n\r\nTo keep the communication complexity low, CoCoA is a server-aided CGKA. That is, the delivery server no longer blindly forwards packets, but instead actively computes individualized packets tailored to each user. As the server is untrusted, this change requires us to develop new mechanisms ensuring robustness of the protocol.","lang":"eng"}],"language":[{"iso":"eng"}],"department":[{"_id":"GradSch"},{"_id":"KrPi"}],"publication":"Advances in Cryptology – EUROCRYPT 2022","project":[{"call_identifier":"H2020","name":"Teaching Old Crypto New Tricks","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","grant_number":"682815"},{"name":"International IST Doctoral Program","call_identifier":"H2020","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"external_id":{"isi":["000832305300028"]},"place":"Cham","conference":{"start_date":"2022-05-30","name":"EUROCRYPT: Theory and Applications of Cryptology and Information Security","end_date":"2022-06-03","location":"Trondheim, Norway"},"year":"2022","ec_funded":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"815–844","acknowledgement":"We thank Marta Mularczyk and Yiannis Tselekounis for their very helpful feedback on an earlier draft of this paper.","scopus_import":"1","date_published":"2022-05-25T00:00:00Z","month":"05"},{"language":[{"iso":"eng"}],"department":[{"_id":"KrCh"}],"abstract":[{"text":"Spatial games form a widely-studied class of games from biology and physics modeling the evolution of social behavior. Formally, such a game is defined by a square (d by d) payoff matrix M and an undirected graph G. Each vertex of G represents an individual, that initially follows some strategy i ∈ {1,2,…,d}. In each round of the game, every individual plays the matrix game with each of its neighbors: An individual following strategy i meeting a neighbor following strategy j receives a payoff equal to the entry (i,j) of M. Then, each individual updates its strategy to its neighbors' strategy with the highest sum of payoffs, and the next round starts. The basic computational problems consist of reachability between configurations and the average frequency of a strategy. For general spatial games and graphs, these problems are in PSPACE. In this paper, we examine restricted setting: the game is a prisoner’s dilemma; and G is a subgraph of grid. We prove that basic computational problems for spatial games with prisoner’s dilemma on a subgraph of a grid are PSPACE-hard.","lang":"eng"}],"oa":1,"date_created":"2023-01-01T23:00:50Z","day":"14","citation":{"ieee":"K. Chatterjee, R. Ibsen-Jensen, I. R. Jecker, and J. Svoboda, “Complexity of spatial games,” in <i>42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, Madras, India, 2022, vol. 250.","apa":"Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., &#38; Svoboda, J. (2022). Complexity of spatial games. In <i>42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i> (Vol. 250). Madras, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11\">https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11</a>","short":"K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.","chicago":"Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Ismael R Jecker, and Jakub Svoboda. “Complexity of Spatial Games.” In <i>42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, Vol. 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. <a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11\">https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11</a>.","ama":"Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Complexity of spatial games. In: <i>42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>. Vol 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:<a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11\">10.4230/LIPIcs.FSTTCS.2022.11</a>","ista":"Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2022. Complexity of spatial games. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and Theoretical Computer Science vol. 250, 11:1-11:14.","mla":"Chatterjee, Krishnendu, et al. “Complexity of Spatial Games.” <i>42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, vol. 250, 11:1-11:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:<a href=\"https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11\">10.4230/LIPIcs.FSTTCS.2022.11</a>."},"author":[{"last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"full_name":"Ibsen-Jensen, Rasmus","id":"3B699956-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4783-0389","first_name":"Rasmus","last_name":"Ibsen-Jensen"},{"full_name":"Jecker, Ismael R","id":"85D7C63E-7D5D-11E9-9C0F-98C4E5697425","first_name":"Ismael R","last_name":"Jecker"},{"first_name":"Jakub","last_name":"Svoboda","full_name":"Svoboda, Jakub","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","orcid":"0000-0002-1419-3267"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","volume":250,"date_updated":"2026-09-16T06:59:32Z","status":"public","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"title":"Complexity of spatial games","ddc":["000"],"oa_version":"Published Version","date_published":"2022-12-14T00:00:00Z","month":"12","acknowledgement":"Krishnendu Chatterjee: The research was partially supported by the ERC CoG 863818\r\n(ForM-SMArt).\r\nIsmaël Jecker: The research was partially supported by the ERC grant 950398 (INFSYS).\r\nJakub Svoboda: The research was partially supported by the ERC CoG 863818 (ForM-SMArt)","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ec_funded":1,"year":"2022","conference":{"location":"Madras, India","end_date":"2022-12-20","start_date":"2022-12-18","name":"FSTTCS: Foundations of Software Technology and Theoretical Computer Science"},"project":[{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"}],"publication":"42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science","file":[{"date_created":"2023-01-20T10:19:19Z","success":1,"access_level":"open_access","checksum":"a21e3ba2421e2c4a06aa2cb6d530ede1","file_name":"2022_LIPICs_Chatterjee.pdf","content_type":"application/pdf","relation":"main_file","file_size":657396,"date_updated":"2023-01-20T10:19:19Z","file_id":"12323","creator":"dernst"}],"publication_identifier":{"isbn":["9783959772617"],"issn":["1868-8969"]},"intvolume":"       250","article_number":"11:1-11:14","_id":"12101","type":"conference","doi":"10.4230/LIPIcs.FSTTCS.2022.11","related_material":{"record":[{"id":"20138","status":"public","relation":"dissertation_contains"}]},"publication_status":"published","fulldoi":"https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11","corr_author":"1","article_processing_charge":"No","file_date_updated":"2023-01-20T10:19:19Z","quality_controlled":"1","has_accepted_license":"1"},{"isi":1,"fulldoi":"https://doi.org/10.1103/physreve.106.034321","article_type":"original","quality_controlled":"1","article_processing_charge":"No","issue":"3","_id":"12257","intvolume":"       106","article_number":"034321","publication_identifier":{"issn":["2470-0045"],"eissn":["2470-0053"]},"publication_status":"published","related_material":{"record":[{"relation":"dissertation_contains","id":"20138","status":"public"}]},"doi":"10.1103/physreve.106.034321","type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_published":"2022-09-29T00:00:00Z","arxiv":1,"month":"09","acknowledgement":"K.C. acknowledges support from ERC Start Grant No. (279307: Graph Games), ERC Consolidator Grant No. (863818: ForM-SMart), and Austrian Science Fund (FWF)\r\nGrants No. P23499-N23 and No. S11407-N23 (RiSE). This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie\r\nSkłodowska-Curie Grant Agreement No. 665385.","scopus_import":"1","publication":"Physical Review E","project":[{"grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications"},{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"},{"grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF"},{"call_identifier":"FWF","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407"},{"grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","call_identifier":"H2020"}],"external_id":{"arxiv":["2210.02394"],"isi":["000870243100001"]},"year":"2022","ec_funded":1,"citation":{"short":"K. Chatterjee, J. Svoboda, D. Zikelic, A. Pavlogiannis, J. Tkadlec, Physical Review E 106 (2022).","chicago":"Chatterjee, Krishnendu, Jakub Svoboda, Dorde Zikelic, Andreas Pavlogiannis, and Josef Tkadlec. “Social Balance on Networks: Local Minima and Best-Edge Dynamics.” <i>Physical Review E</i>. American Physical Society, 2022. <a href=\"https://doi.org/10.1103/physreve.106.034321\">https://doi.org/10.1103/physreve.106.034321</a>.","ama":"Chatterjee K, Svoboda J, Zikelic D, Pavlogiannis A, Tkadlec J. Social balance on networks: Local minima and best-edge dynamics. <i>Physical Review E</i>. 2022;106(3). doi:<a href=\"https://doi.org/10.1103/physreve.106.034321\">10.1103/physreve.106.034321</a>","mla":"Chatterjee, Krishnendu, et al. “Social Balance on Networks: Local Minima and Best-Edge Dynamics.” <i>Physical Review E</i>, vol. 106, no. 3, 034321, American Physical Society, 2022, doi:<a href=\"https://doi.org/10.1103/physreve.106.034321\">10.1103/physreve.106.034321</a>.","ista":"Chatterjee K, Svoboda J, Zikelic D, Pavlogiannis A, Tkadlec J. 2022. Social balance on networks: Local minima and best-edge dynamics. Physical Review E. 106(3), 034321.","ieee":"K. Chatterjee, J. Svoboda, D. Zikelic, A. Pavlogiannis, and J. Tkadlec, “Social balance on networks: Local minima and best-edge dynamics,” <i>Physical Review E</i>, vol. 106, no. 3. American Physical Society, 2022.","apa":"Chatterjee, K., Svoboda, J., Zikelic, D., Pavlogiannis, A., &#38; Tkadlec, J. (2022). Social balance on networks: Local minima and best-edge dynamics. <i>Physical Review E</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physreve.106.034321\">https://doi.org/10.1103/physreve.106.034321</a>"},"publisher":"American Physical Society","author":[{"last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"last_name":"Svoboda","first_name":"Jakub","orcid":"0000-0002-1419-3267","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","full_name":"Svoboda, Jakub"},{"last_name":"Zikelic","first_name":"Dorde","full_name":"Zikelic, Dorde","orcid":"0000-0002-4681-1699","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Pavlogiannis","first_name":"Andreas","orcid":"0000-0002-8943-0722","id":"49704004-F248-11E8-B48F-1D18A9856A87","full_name":"Pavlogiannis, Andreas"},{"id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1097-9684","full_name":"Tkadlec, Josef","first_name":"Josef","last_name":"Tkadlec"}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2210.02394","open_access":"1"}],"date_created":"2023-01-16T09:57:57Z","day":"29","oa":1,"department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"abstract":[{"text":"Structural balance theory is an established framework for studying social relationships of friendship and enmity. These relationships are modeled by a signed network whose energy potential measures the level of imbalance, while stochastic dynamics drives the network toward a state of minimum energy that captures social balance. It is known that this energy landscape has local minima that can trap socially aware dynamics, preventing it from reaching balance. Here we first study the robustness and attractor properties of these local minima. We show that a stochastic process can reach them from an abundance of initial states and that some local minima cannot be escaped by mild perturbations of the network. Motivated by these anomalies, we introduce best-edge dynamics (BED), a new plausible stochastic process. We prove that BED always reaches balance and that it does so fast in various interesting settings.","lang":"eng"}],"oa_version":"Preprint","status":"public","title":"Social balance on networks: Local minima and best-edge dynamics","volume":106,"date_updated":"2026-09-16T06:59:33Z"},{"related_material":{"record":[{"id":"20234","status":"public","relation":"dissertation_contains"}]},"publication_status":"published","type":"journal_article","doi":"10.1287/moor.2020.1116","intvolume":"        47","_id":"9311","issue":"1","publication_identifier":{"issn":["0364-765X"],"eissn":["1526-5471"]},"quality_controlled":"1","article_processing_charge":"No","isi":1,"article_type":"original","fulldoi":"https://doi.org/10.1287/moor.2020.1116","oa_version":"Preprint","date_updated":"2026-09-16T07:00:33Z","volume":47,"title":"Finite-memory strategies in POMDPs with long-run average objectives","status":"public","day":"01","date_created":"2021-04-08T09:33:31Z","main_file_link":[{"url":"https://arxiv.org/abs/1904.13360","open_access":"1"}],"author":[{"first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"first_name":"Raimundo J","last_name":"Saona Urmeneta","full_name":"Saona Urmeneta, Raimundo J","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","orcid":"0000-0001-5103-038X"},{"last_name":"Ziliotto","first_name":"Bruno","full_name":"Ziliotto, Bruno"}],"publisher":"Institute for Operations Research and the Management Sciences","citation":{"ieee":"K. Chatterjee, R. J. Saona Urmeneta, and B. Ziliotto, “Finite-memory strategies in POMDPs with long-run average objectives,” <i>Mathematics of Operations Research</i>, vol. 47, no. 1. Institute for Operations Research and the Management Sciences, pp. 100–119, 2022.","apa":"Chatterjee, K., Saona Urmeneta, R. J., &#38; Ziliotto, B. (2022). Finite-memory strategies in POMDPs with long-run average objectives. <i>Mathematics of Operations Research</i>. Institute for Operations Research and the Management Sciences. <a href=\"https://doi.org/10.1287/moor.2020.1116\">https://doi.org/10.1287/moor.2020.1116</a>","mla":"Chatterjee, Krishnendu, et al. “Finite-Memory Strategies in POMDPs with Long-Run Average Objectives.” <i>Mathematics of Operations Research</i>, vol. 47, no. 1, Institute for Operations Research and the Management Sciences, 2022, pp. 100–19, doi:<a href=\"https://doi.org/10.1287/moor.2020.1116\">10.1287/moor.2020.1116</a>.","ista":"Chatterjee K, Saona Urmeneta RJ, Ziliotto B. 2022. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 47(1), 100–119.","chicago":"Chatterjee, Krishnendu, Raimundo J Saona Urmeneta, and Bruno Ziliotto. “Finite-Memory Strategies in POMDPs with Long-Run Average Objectives.” <i>Mathematics of Operations Research</i>. Institute for Operations Research and the Management Sciences, 2022. <a href=\"https://doi.org/10.1287/moor.2020.1116\">https://doi.org/10.1287/moor.2020.1116</a>.","ama":"Chatterjee K, Saona Urmeneta RJ, Ziliotto B. Finite-memory strategies in POMDPs with long-run average objectives. <i>Mathematics of Operations Research</i>. 2022;47(1):100-119. doi:<a href=\"https://doi.org/10.1287/moor.2020.1116\">10.1287/moor.2020.1116</a>","short":"K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119."},"abstract":[{"text":"Partially observable Markov decision processes (POMDPs) are standard models for dynamic systems with probabilistic and nondeterministic behaviour in uncertain environments. We prove that in POMDPs with long-run average objective, the decision maker has approximately optimal strategies with finite memory. This implies notably that approximating the long-run value is recursively enumerable, as well as a weak continuity property of the value with respect to the transition function. ","lang":"eng"}],"language":[{"iso":"eng"}],"department":[{"_id":"GradSch"},{"_id":"KrCh"}],"oa":1,"project":[{"call_identifier":"FWF","name":"Game Theory","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425"}],"external_id":{"arxiv":["1904.13360"],"isi":["000731918100001"]},"publication":"Mathematics of Operations Research","year":"2022","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","scopus_import":"1","acknowledgement":"Partially supported by Austrian Science Fund (FWF) NFN Grant No RiSE/SHiNE S11407, by CONICYT Chile through grant PII 20150140, and by ECOS-CONICYT through grant C15E03.\r\n","keyword":["Management Science and Operations Research","General Mathematics","Computer Science Applications"],"arxiv":1,"date_published":"2022-02-01T00:00:00Z","month":"02","page":"100-119"},{"page":"3112-3119","date_published":"2022-08-29T00:00:00Z","month":"08","scopus_import":"1","acknowledgement":"S.A.F. and C.P. are indebted to the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant Agreement No. 636069). 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. S.A.F. and S.M. are indebted to Institute of Science and Technology Austria (ISTA) for support. This research was supported by the Scientific Service Units of ISTA through resources provided by the Electron Microscopy Facility and the Miba Machine Shop. C.P. thanks Vanessa Wood (ETH Zürich) for her continuing support.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2022","file":[{"checksum":"cf0bed3a2535c11d27244cd029dbc1d0","access_level":"open_access","success":1,"date_created":"2023-01-20T08:43:51Z","file_id":"12319","creator":"dernst","date_updated":"2023-01-20T08:43:51Z","file_size":3827583,"relation":"main_file","content_type":"application/pdf","file_name":"2022_ACSEnergyLetters_Prehal.pdf"}],"publication":"ACS Energy Letters","external_id":{"pmid":["36120663"],"isi":["000860787000001"]},"oa":1,"language":[{"iso":"eng"}],"department":[{"_id":"StFr"},{"_id":"EM-Fac"}],"abstract":[{"text":"Capacity, rate performance, and cycle life of aprotic Li–O2 batteries critically depend on reversible electrodeposition of Li2O2. Current understanding states surface-adsorbed versus solvated LiO2 controls Li2O2 growth as surface film or as large particles. Herein, we show that Li2O2 forms across a wide range of electrolytes, carbons, and current densities as particles via solution-mediated LiO2 disproportionation, bringing into question the prevalence of any surface growth under practical conditions. We describe a unified O2 reduction mechanism, which can explain all found capacity relations and Li2O2 morphologies with exclusive solution discharge. Determining particle morphology and achievable capacities are species mobilities, true areal rate, and the degree of LiO2 association in solution. Capacity is conclusively limited by mass transport through the tortuous Li2O2 rather than electron transport through a passivating Li2O2 film. Provided that species mobilities and surface growth are high, high capacities are also achieved with weakly solvating electrolytes, which were previously considered prototypical for low capacity via surface growth.","lang":"eng"}],"citation":{"ama":"Prehal C, Mondal S, Lovicar L, Freunberger SA. Exclusive solution discharge in Li-O₂ batteries? <i>ACS Energy Letters</i>. 2022;7(9):3112-3119. doi:<a href=\"https://doi.org/10.1021/acsenergylett.2c01711\">10.1021/acsenergylett.2c01711</a>","chicago":"Prehal, Christian, Soumyadip Mondal, Ludek Lovicar, and Stefan Alexander Freunberger. “Exclusive Solution Discharge in Li-O₂ Batteries?” <i>ACS Energy Letters</i>. American Chemical Society, 2022. <a href=\"https://doi.org/10.1021/acsenergylett.2c01711\">https://doi.org/10.1021/acsenergylett.2c01711</a>.","short":"C. Prehal, S. Mondal, L. Lovicar, S.A. Freunberger, ACS Energy Letters 7 (2022) 3112–3119.","ista":"Prehal C, Mondal S, Lovicar L, Freunberger SA. 2022. Exclusive solution discharge in Li-O₂ batteries? ACS Energy Letters. 7(9), 3112–3119.","mla":"Prehal, Christian, et al. “Exclusive Solution Discharge in Li-O₂ Batteries?” <i>ACS Energy Letters</i>, vol. 7, no. 9, American Chemical Society, 2022, pp. 3112–19, doi:<a href=\"https://doi.org/10.1021/acsenergylett.2c01711\">10.1021/acsenergylett.2c01711</a>.","apa":"Prehal, C., Mondal, S., Lovicar, L., &#38; Freunberger, S. A. (2022). Exclusive solution discharge in Li-O₂ batteries? <i>ACS Energy Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acsenergylett.2c01711\">https://doi.org/10.1021/acsenergylett.2c01711</a>","ieee":"C. Prehal, S. Mondal, L. Lovicar, and S. A. Freunberger, “Exclusive solution discharge in Li-O₂ batteries?,” <i>ACS Energy Letters</i>, vol. 7, no. 9. American Chemical Society, pp. 3112–3119, 2022."},"author":[{"last_name":"Prehal","first_name":"Christian","full_name":"Prehal, Christian"},{"full_name":"Mondal, Soumyadip","id":"d25d21ef-dc8d-11ea-abe3-ec4576307f48","first_name":"Soumyadip","last_name":"Mondal"},{"full_name":"Lovicar, Ludek","id":"36DB3A20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6206-4200","last_name":"Lovicar","first_name":"Ludek"},{"full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319","last_name":"Freunberger","first_name":"Stefan Alexander"}],"publisher":"American Chemical Society","date_created":"2022-09-08T09:51:09Z","day":"29","status":"public","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"title":"Exclusive solution discharge in Li-O₂ batteries?","date_updated":"2026-09-16T07:07:04Z","volume":7,"oa_version":"Published Version","acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"M-Shop"}],"ddc":["540"],"fulldoi":"https://doi.org/10.1021/acsenergylett.2c01711","article_type":"original","isi":1,"corr_author":"1","article_processing_charge":"Yes (via OA deal)","quality_controlled":"1","has_accepted_license":"1","file_date_updated":"2023-01-20T08:43:51Z","publication_identifier":{"eissn":["2380-8195"]},"pmid":1,"issue":"9","_id":"12065","intvolume":"         7","doi":"10.1021/acsenergylett.2c01711","type":"journal_article","publication_status":"published","related_material":{"record":[{"status":"public","id":"20607","relation":"dissertation_contains"}]}},{"oa_version":"Preprint","OA_place":"repository","title":"Memorization and optimization in deep neural networks with minimum over-parameterization","status":"public","date_updated":"2026-09-21T13:07:01Z","volume":35,"author":[{"full_name":"Bombari, Simone","id":"ca726dda-de17-11ea-bc14-f9da834f63aa","first_name":"Simone","last_name":"Bombari"},{"full_name":"Amani, Mohammad Hossein","first_name":"Mohammad Hossein","last_name":"Amani"},{"last_name":"Mondelli","first_name":"Marco","full_name":"Mondelli, Marco","orcid":"0000-0002-3242-7020","id":"27EB676C-8706-11E9-9510-7717E6697425"}],"citation":{"ista":"Bombari S, Amani MH, Mondelli M. 2022. Memorization and optimization in deep neural networks with minimum over-parameterization. 36th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 35, 7628–7640.","mla":"Bombari, Simone, et al. “Memorization and Optimization in Deep Neural Networks with Minimum Over-Parameterization.” <i>36th Conference on Neural Information Processing Systems</i>, vol. 35, Neural Information Processing Systems Foundation, 2022, pp. 7628–40.","chicago":"Bombari, Simone, Mohammad Hossein Amani, and Marco Mondelli. “Memorization and Optimization in Deep Neural Networks with Minimum Over-Parameterization.” In <i>36th Conference on Neural Information Processing Systems</i>, 35:7628–40. Neural Information Processing Systems Foundation, 2022.","ama":"Bombari S, Amani MH, Mondelli M. Memorization and optimization in deep neural networks with minimum over-parameterization. In: <i>36th Conference on Neural Information Processing Systems</i>. Vol 35. Neural Information Processing Systems Foundation; 2022:7628-7640.","short":"S. Bombari, M.H. Amani, M. Mondelli, in:, 36th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2022, pp. 7628–7640.","apa":"Bombari, S., Amani, M. H., &#38; Mondelli, M. (2022). Memorization and optimization in deep neural networks with minimum over-parameterization. In <i>36th Conference on Neural Information Processing Systems</i> (Vol. 35, pp. 7628–7640). New Orleans, LA, United States: Neural Information Processing Systems Foundation.","ieee":"S. Bombari, M. H. Amani, and M. Mondelli, “Memorization and optimization in deep neural networks with minimum over-parameterization,” in <i>36th Conference on Neural Information Processing Systems</i>, New Orleans, LA, United States, 2022, vol. 35, pp. 7628–7640."},"publisher":"Neural Information Processing Systems Foundation","main_file_link":[{"open_access":"1","url":" https://doi.org/10.48550/arXiv.2205.10217"}],"date_created":"2023-02-10T13:46:37Z","day":"24","oa":1,"language":[{"iso":"eng"}],"department":[{"_id":"MaMo"}],"abstract":[{"text":"The Neural Tangent Kernel (NTK) has emerged as a powerful tool to provide memorization, optimization and generalization guarantees in deep neural networks. A line of work has studied the NTK spectrum for two-layer and deep networks with at least a layer with Ω(N) neurons, N being the number of training samples. Furthermore, there is increasing evidence suggesting that deep networks with sub-linear layer widths are powerful memorizers and optimizers, as long as the number of parameters exceeds the number of samples. Thus, a natural open question is whether the NTK is well conditioned in such a challenging sub-linear setup. In this paper, we answer this question in the affirmative. Our key technical contribution is a lower bound on the smallest NTK eigenvalue for deep networks with the minimum possible over-parameterization: the number of parameters is roughly Ω(N) and, hence, the number of neurons is as little as Ω(N−−√). To showcase the applicability of our NTK bounds, we provide two results concerning memorization capacity and optimization guarantees for gradient descent training.","lang":"eng"}],"publication":"36th Conference on Neural Information Processing Systems","conference":{"location":"New Orleans, LA, United States","end_date":"2022-12-09","name":"NeurIPS: Neural Information Processing Systems","start_date":"2022-11-28"},"project":[{"name":"Prix Lopez-Loretta 2019 - Marco Mondelli","_id":"059876FA-7A3F-11EA-A408-12923DDC885E"}],"external_id":{"arxiv":["2205.10217"]},"year":"2022","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"7628-7640","date_published":"2022-07-24T00:00:00Z","arxiv":1,"month":"07","acknowledgement":"The authors were partially supported by the 2019 Lopez-Loreta prize, and they would like to thank\r\nQuynh Nguyen, Mahdi Soltanolkotabi and Adel Javanmard for helpful discussions.\r\n","publication_status":"published","alternative_title":["Advances in Neural Information Processing Systems"],"related_material":{"record":[{"relation":"dissertation_contains","id":"22857","status":"public"}]},"type":"conference","_id":"12537","OA_type":"green","intvolume":"        35","publication_identifier":{"eissn":["1049-5258"],"isbn":["9781713871088"]},"quality_controlled":"1","article_processing_charge":"No","corr_author":"1"},{"publication_identifier":{"issn":["2663-337X"]},"_id":"11196","type":"dissertation","doi":"10.15479/at:ista:11196","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"7473"},{"status":"public","id":"11222","relation":"part_of_dissertation"}]},"alternative_title":["ISTA Thesis"],"publication_status":"published","fulldoi":"https://doi.org/10.15479/at:ista:11196","corr_author":"1","article_processing_charge":"No","file_date_updated":"2023-04-20T22:30:03Z","has_accepted_license":"1","abstract":[{"text":"One of the fundamental questions in Neuroscience is how the structure of synapses and their physiological properties are related. While synaptic transmission remains a dynamic process, electron microscopy provides images with comparably low temporal resolution (Studer et al., 2014). The current work overcomes this challenge and describes an improved “Flash and Freeze” technique (Watanabe et al., 2013a; Watanabe et al., 2013b) to study synaptic transmission at the hippocampal mossy fiber-CA3 pyramidal neuron synapses, using mouse acute brain slices and organotypic slices culture. The improved method allowed for selective stimulation of presynaptic mossy fiber boutons and the observation of synaptic vesicle pool dynamics at the active zones. Our results uncovered several intriguing morphological features of mossy fiber boutons. First, the docked vesicle pool was largely depleted (more than 70%) after stimulation, implying that the docked synaptic vesicles pool and readily releasable pool are vastly overlapping in mossy fiber boutons. Second, the synaptic vesicles are skewed towards larger diameters, displaying a wide range of sizes. An increase in the mean diameter of synaptic vesicles, after single and repetitive stimulation, suggests that smaller vesicles have a higher release probability. Third, we observed putative endocytotic structures after moderate light stimulation, matching the timing of previously described ultrafast endocytosis (Watanabe et al., 2013a; Delvendahl et al., 2016). \r\n\tIn addition, synaptic transmission depends on a sophisticated system of protein machinery and calcium channels (Südhof, 2013b), which amplifies the challenge in studying synaptic communication as these interactions can be potentially modified during synaptic plasticity. And although recent study elucidated the potential correlation between physiological and morphological properties of synapses during synaptic plasticity (Vandael et al., 2020), the molecular underpinning of it remains unknown. Thus, the presented work tries to overcome this challenge and aims to pinpoint changes in the molecular architecture at hippocampal mossy fiber bouton synapses during short- and long-term potentiation (STP and LTP), we combined chemical potentiation, with the application of a cyclic adenosine monophosphate agonist (i.e. forskolin) and freeze-fracture replica immunolabelling. This method allowed the localization of membrane-bound proteins with nanometer precision within the active zone, in particular, P/Q-type calcium channels and synaptic vesicle priming proteins Munc13-1/2. First, we found that the number of clusters of Munc13-1 in the mossy fiber bouton active zone increased significantly during STP, but decreased to lower than the control value during LTP. Secondly, although the distance between the calcium channels and Munc13-1s did not change after induction of STP, it shortened during the LTP phase. Additionally, forskolin did not affect Munc13-2 distribution during STP and LTP. These results indicate the existence of two distinct mechanisms that govern STP and LTP at mossy fiber bouton synapses: an increase in the readily realizable pool in the case of STP and a potential increase in release probability during LTP. “Flash and freeze” and functional electron microscopy, are versatile methods that can be successfully applied to intact brain circuits to study synaptic transmission even at the molecular level.\r\n","lang":"eng"}],"language":[{"iso":"eng"}],"department":[{"_id":"PeJo"},{"_id":"GradSch"}],"oa":1,"day":"20","date_created":"2022-04-20T09:47:12Z","citation":{"ieee":"O. Kim, “Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses,” Institute of Science and Technology Austria, 2022.","apa":"Kim, O. (2022). <i>Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:11196\">https://doi.org/10.15479/at:ista:11196</a>","ama":"Kim O. Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses. 2022. doi:<a href=\"https://doi.org/10.15479/at:ista:11196\">10.15479/at:ista:11196</a>","chicago":"Kim, Olena. “Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses.” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/at:ista:11196\">https://doi.org/10.15479/at:ista:11196</a>.","short":"O. Kim, Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses, Institute of Science and Technology Austria, 2022.","mla":"Kim, Olena. <i>Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses</i>. Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/at:ista:11196\">10.15479/at:ista:11196</a>.","ista":"Kim O. 2022. Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses. Institute of Science and Technology Austria."},"author":[{"id":"3F8ABDDA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2344-1039","full_name":"Kim, Olena","first_name":"Olena","last_name":"Kim"}],"publisher":"Institute of Science and Technology Austria","date_updated":"2026-06-18T10:49:27Z","title":"Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png"},"status":"public","OA_place":"publisher","ddc":["570"],"acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"PreCl"}],"oa_version":"Published Version","degree_awarded":"PhD","month":"04","supervisor":[{"full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M","last_name":"Jonas"}],"date_published":"2022-04-20T00:00:00Z","page":"132","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","ec_funded":1,"year":"2022","project":[{"grant_number":"708497","_id":"25BAF7B2-B435-11E9-9278-68D0E5697425","name":"Presynaptic calcium channels distribution and impact on coupling at the hippocampal mossy fiber synapse","call_identifier":"H2020"},{"name":"Biophysics and circuit function of a giant cortical glutamatergic synapse","call_identifier":"H2020","_id":"25B7EB9E-B435-11E9-9278-68D0E5697425","grant_number":"692692"},{"name":"Zellkommunikation in Gesundheit und Krankheit","call_identifier":"FWF","grant_number":"W01205","_id":"25C3DBB6-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"Synaptic communication in neuronal microcircuits","_id":"25C5A090-B435-11E9-9278-68D0E5697425","grant_number":"Z00312"}],"file":[{"file_id":"11220","creator":"okim","embargo":"2023-04-19","file_size":21273537,"date_updated":"2023-04-20T22:30:03Z","content_type":"application/pdf","relation":"main_file","file_name":"Olena_KIM_thesis_final.pdf","checksum":"1616a8bf6f13a57c892dac873dcd0936","date_created":"2022-04-20T14:21:56Z","access_level":"open_access"},{"file_size":59248569,"date_updated":"2023-04-20T22:30:03Z","file_id":"11221","creator":"okim","file_name":"KIM_thesis_final.zip","content_type":"application/x-zip-compressed","relation":"source_file","embargo_to":"open_access","date_created":"2022-04-20T14:22:56Z","access_level":"closed","checksum":"1acb433f98dc42abb0b4b0cbb0c4b918"}]},{"_id":"11879","publication_identifier":{"isbn":["978-3-99078-022-0"],"issn":["2663-337X"]},"alternative_title":["ISTA Thesis"],"publication_status":"published","type":"dissertation","doi":"10.15479/at:ista:11879","corr_author":"1","fulldoi":"https://doi.org/10.15479/at:ista:11879","file_date_updated":"2023-09-09T22:30:03Z","has_accepted_license":"1","article_processing_charge":"No","day":"17","date_created":"2022-08-17T07:58:53Z","citation":{"mla":"Artner, Christina. <i>Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature</i>. Institute of Science and Technology Austria, 2022, doi:<a href=\"https://doi.org/10.15479/at:ista:11879\">10.15479/at:ista:11879</a>.","ista":"Artner C. 2022. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria.","chicago":"Artner, Christina. “Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature.” Institute of Science and Technology Austria, 2022. <a href=\"https://doi.org/10.15479/at:ista:11879\">https://doi.org/10.15479/at:ista:11879</a>.","short":"C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.","ama":"Artner C. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. 2022. doi:<a href=\"https://doi.org/10.15479/at:ista:11879\">10.15479/at:ista:11879</a>","ieee":"C. Artner, “Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature,” Institute of Science and Technology Austria, 2022.","apa":"Artner, C. (2022). <i>Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:11879\">https://doi.org/10.15479/at:ista:11879</a>"},"publisher":"Institute of Science and Technology Austria","author":[{"first_name":"Christina","last_name":"Artner","id":"45DF286A-F248-11E8-B48F-1D18A9856A87","full_name":"Artner, Christina"}],"abstract":[{"text":"As the overall global mean surface temperature is increasing due to climate change, plant\r\nadaptation to those stressful conditions is of utmost importance for their survival. Plants are\r\nsessile organisms, thus to compensate for their lack of mobility, they evolved a variety of\r\nmechanisms enabling them to flexibly adjust their physiological, growth and developmental\r\nprocesses to fluctuating temperatures and to survive in harsh environments. While these unique\r\nadaptation abilities provide an important evolutionary advantage, overall modulation of plant\r\ngrowth and developmental program due to non-optimal temperature negatively affects biomass\r\nproduction, crop productivity or sensitivity to pathogens. Thus, understanding molecular\r\nprocesses underlying plant adaptation to increased temperature can provide important\r\nresources for breeding strategies to ensure sufficient agricultural food production.\r\nAn increase in ambient temperature by a few degrees leads to profound changes in organ growth\r\nincluding enhanced hypocotyl elongation, expansion of petioles, hyponastic growth of leaves and\r\ncotyledons, collectively named thermomorphogenesis (Casal & Balasubramanian, 2019). Auxin,\r\none of the best-studied growth hormones, plays an essential role in this process by direct\r\nactivation of transcriptional and non-transcriptional processes resulting in elongation growth\r\n(Majda & Robert, 2018).To modulate hypocotyl growth in response to high ambient temperature\r\n(hAT), auxin needs to be redistributed accordingly. PINs, auxin efflux transporters, are key\r\ncomponents of the polar auxin transport (PAT) machinery, which controls the amount and\r\ndirection of auxin translocated in the plant tissues and organs(Adamowski & Friml, 2015). Hence,\r\nPIN-mediated transport is tightly linked with thermo-morphogenesis, and interference with PAT\r\nthrough either chemical or genetic means dramatically affecting the adaptive responses to hAT.\r\nIntriguingly, despite the key role of PIN mediated transport in growth response to hAT, whether\r\nand how PINs at the level of expression adapt to fluctuation in temperature is scarcely\r\nunderstood.\r\nWith genetic, molecular and advanced bio-imaging approaches, we demonstrate the role of PIN\r\nauxin transporters in the regulation of hypocotyl growth in response to hAT. We show that via\r\nadjustment of PIN3, PIN4 and PIN7 expression in cotyledons and hypocotyls, auxin distribution is modulated thereby determining elongation pattern of epidermal cells at hAT. Furthermore, we\r\nidentified three Zinc-Finger (ZF) transcription factors as novel molecular components of the\r\nthermo-regulatory network, which through negative regulation of PIN transcription adjust the\r\ntransport of auxin at hAT. Our results suggest that the ZF-PIN module might be a part of the\r\nnegative feedback loop attenuating the activity of the thermo-sensing pathway to restrain\r\nexaggerated growth and developmental responses to hAT.","lang":"eng"}],"language":[{"iso":"eng"}],"department":[{"_id":"GradSch"},{"_id":"EvBe"}],"oa":1,"ddc":["580"],"OA_place":"publisher","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"},{"_id":"SSU"}],"oa_version":"Published Version","degree_awarded":"PhD","date_updated":"2026-04-07T14:30:39Z","title":"Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature","status":"public","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","acknowledgement":"I would like to acknowledge ISTA and all the people from the Scientific Service Units and at ISTA, in particular Dorota Jaworska for excellent technical and scientific support as well as ÖAW for funding my research for over 3 years (DOC ÖAW Fellowship PR1022OEAW02).","keyword":["high ambient temperature","auxin","PINs","Zinc-Finger proteins","thermomorphogenesis","stress"],"month":"08","supervisor":[{"first_name":"Eva","last_name":"Benková","full_name":"Benková, Eva","orcid":"0000-0002-8510-9739","id":"38F4F166-F248-11E8-B48F-1D18A9856A87"}],"date_published":"2022-08-17T00:00:00Z","page":"128","project":[{"name":"Hormonal regulation of plant adaptive responses to environmental signals","_id":"2685A872-B435-11E9-9278-68D0E5697425"}],"file":[{"checksum":"a2c2fdc28002538840490bfa6a08b2cb","date_created":"2022-08-17T12:08:49Z","access_level":"open_access","content_type":"application/pdf","relation":"main_file","file_name":"ChristinaArtner_PhD_Thesis_2022.pdf","file_id":"11907","creator":"cartner","file_size":11113608,"embargo":"2023-09-08","date_updated":"2023-09-09T22:30:03Z"},{"relation":"source_file","content_type":"application/octet-stream","file_name":"ChristinaArtner_PhD_Thesis_2022.7z","creator":"cartner","file_id":"11908","date_updated":"2023-09-09T22:30:03Z","file_size":19097730,"checksum":"66b461c074b815fbe63481b3f46a9f43","access_level":"closed","date_created":"2022-08-17T12:08:59Z","embargo_to":"open_access"}],"year":"2022"},{"date_published":"2022-04-05T00:00:00Z","month":"04","acknowledgement":"We thank Farnaz Freeman for technical assistance. This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by the Bioimaging Facility (BIF) and the Life Science Facility (LSF). This work supported by the European Union’s Horizon 2020 research and innovation program (ERC) grant 715508 to G.N. (REVERSEAUTISM) and grant 825759 to G.T. (ENDpoiNTs); the Fondazione Cariplo 2017-0886 to A.L.T.; E-Rare-3 JTC 2018 IMPACT to M. Gabriele; and the Austrian Science Fund FWF I 4205-B to G.N. Graphical abstract and figures were created using BioRender.com.","keyword":["General Biochemistry","Genetics and Molecular Biology"],"scopus_import":"1","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","ec_funded":1,"year":"2022","project":[{"_id":"25444568-B435-11E9-9278-68D0E5697425","grant_number":"715508","name":"Probing the Reversibility of Autism Spectrum Disorders by Employing in vivo and in vitro Models","call_identifier":"H2020"},{"grant_number":"I04205","_id":"2690FEAC-B435-11E9-9278-68D0E5697425","name":"Identification of converging Molecular Pathways Across Chromatinopathies as Targets for Therapy","call_identifier":"FWF"}],"external_id":{"pmid":["35385734"],"isi":["000785983900003"]},"file":[{"file_name":"2022_CellReports_Villa.pdf","content_type":"application/pdf","relation":"main_file","date_updated":"2022-04-15T09:06:25Z","file_size":"7808644","creator":"dernst","file_id":"11164","success":1,"date_created":"2022-04-15T09:06:25Z","access_level":"open_access","checksum":"b4e8d68f0268dec499af333e6fd5d8e1"}],"publication":"Cell Reports","department":[{"_id":"JoDa"},{"_id":"GaNo"}],"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Mutations in the chromodomain helicase DNA-binding 8 (CHD8) gene are a frequent cause of autism spectrum disorder (ASD). While its phenotypic spectrum often encompasses macrocephaly, implicating cortical abnormalities, how CHD8 haploinsufficiency affects neurodevelopmental is unclear. Here, employing human cerebral organoids, we find that CHD8 haploinsufficiency disrupted neurodevelopmental trajectories with an accelerated and delayed generation of, respectively, inhibitory and excitatory neurons that yields, at days 60 and 120, symmetrically opposite expansions in their proportions. This imbalance is consistent with an enlargement of cerebral organoids as an in vitro correlate of patients’ macrocephaly. Through an isogenic design of patient-specific mutations and mosaic organoids, we define genotype-phenotype relationships and uncover their cell-autonomous nature. Our results define cell-type-specific CHD8-dependent molecular defects related to an abnormal program of proliferation and alternative splicing. By identifying cell-type-specific effects of CHD8 mutations, our study uncovers reproducible developmental alterations that may be employed for neurodevelopmental disease modeling."}],"oa":1,"date_created":"2022-04-15T09:03:10Z","day":"05","publisher":"Elsevier","citation":{"apa":"Villa, C. E., Cheroni, C., Dotter, C., López-Tóbon, A., Oliveira, B., Sacco, R., … Novarino, G. (2022). CHD8 haploinsufficiency links autism to transient alterations in excitatory and inhibitory trajectories. <i>Cell Reports</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.celrep.2022.110615\">https://doi.org/10.1016/j.celrep.2022.110615</a>","ieee":"C. E. Villa <i>et al.</i>, “CHD8 haploinsufficiency links autism to transient alterations in excitatory and inhibitory trajectories,” <i>Cell Reports</i>, vol. 39, no. 1. Elsevier, 2022.","ama":"Villa CE, Cheroni C, Dotter C, et al. CHD8 haploinsufficiency links autism to transient alterations in excitatory and inhibitory trajectories. <i>Cell Reports</i>. 2022;39(1). doi:<a href=\"https://doi.org/10.1016/j.celrep.2022.110615\">10.1016/j.celrep.2022.110615</a>","short":"C.E. Villa, C. Cheroni, C. Dotter, A. López-Tóbon, B. Oliveira, R. Sacco, A.Ç. Yahya, J. Morandell, M. Gabriele, M. Tavakoli, J. Lyudchik, C.M. Sommer, M. Gabitto, J.G. Danzl, G. Testa, G. Novarino, Cell Reports 39 (2022).","chicago":"Villa, Carlo Emanuele, Cristina Cheroni, Christoph Dotter, Alejandro López-Tóbon, Bárbara Oliveira, Roberto Sacco, Aysan Çerağ Yahya, et al. “CHD8 Haploinsufficiency Links Autism to Transient Alterations in Excitatory and Inhibitory Trajectories.” <i>Cell Reports</i>. Elsevier, 2022. <a href=\"https://doi.org/10.1016/j.celrep.2022.110615\">https://doi.org/10.1016/j.celrep.2022.110615</a>.","mla":"Villa, Carlo Emanuele, et al. “CHD8 Haploinsufficiency Links Autism to Transient Alterations in Excitatory and Inhibitory Trajectories.” <i>Cell Reports</i>, vol. 39, no. 1, 110615, Elsevier, 2022, doi:<a href=\"https://doi.org/10.1016/j.celrep.2022.110615\">10.1016/j.celrep.2022.110615</a>.","ista":"Villa CE, Cheroni C, Dotter C, López-Tóbon A, Oliveira B, Sacco R, Yahya AÇ, Morandell J, Gabriele M, Tavakoli M, Lyudchik J, Sommer CM, Gabitto M, Danzl JG, Testa G, Novarino G. 2022. CHD8 haploinsufficiency links autism to transient alterations in excitatory and inhibitory trajectories. Cell Reports. 39(1), 110615."},"author":[{"last_name":"Villa","first_name":"Carlo Emanuele","full_name":"Villa, Carlo Emanuele"},{"last_name":"Cheroni","first_name":"Cristina","full_name":"Cheroni, Cristina"},{"orcid":"0000-0002-9033-9096","id":"4C66542E-F248-11E8-B48F-1D18A9856A87","full_name":"Dotter, Christoph","first_name":"Christoph","last_name":"Dotter"},{"last_name":"López-Tóbon","first_name":"Alejandro","full_name":"López-Tóbon, Alejandro"},{"last_name":"Oliveira","first_name":"Bárbara","id":"3B03AA1A-F248-11E8-B48F-1D18A9856A87","full_name":"Oliveira, Bárbara"},{"first_name":"Roberto","last_name":"Sacco","id":"42C9F57E-F248-11E8-B48F-1D18A9856A87","full_name":"Sacco, Roberto"},{"last_name":"Yahya","first_name":"Aysan Çerağ","id":"365A65F8-F248-11E8-B48F-1D18A9856A87","full_name":"Yahya, Aysan Çerağ"},{"last_name":"Morandell","first_name":"Jasmin","id":"4739D480-F248-11E8-B48F-1D18A9856A87","full_name":"Morandell, Jasmin"},{"full_name":"Gabriele, Michele","last_name":"Gabriele","first_name":"Michele"},{"first_name":"Mojtaba","last_name":"Tavakoli","full_name":"Tavakoli, Mojtaba","orcid":"0000-0002-7667-6854","id":"3A0A06F4-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Julia","last_name":"Lyudchik","full_name":"Lyudchik, Julia","id":"46E28B80-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Sommer, Christoph M","orcid":"0000-0003-1216-9105","id":"4DF26D8C-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph M","last_name":"Sommer"},{"full_name":"Gabitto, Mariano","first_name":"Mariano","last_name":"Gabitto"},{"orcid":"0000-0001-8559-3973","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","full_name":"Danzl, Johann G","first_name":"Johann G","last_name":"Danzl"},{"first_name":"Giuseppe","last_name":"Testa","full_name":"Testa, Giuseppe"},{"full_name":"Novarino, Gaia","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7673-7178","first_name":"Gaia","last_name":"Novarino"}],"date_updated":"2026-09-26T22:30:06Z","volume":39,"status":"public","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"title":"CHD8 haploinsufficiency links autism to transient alterations in excitatory and inhibitory trajectories","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"ddc":["570"],"oa_version":"Published Version","fulldoi":"https://doi.org/10.1016/j.celrep.2022.110615","article_type":"original","isi":1,"corr_author":"1","article_processing_charge":"Yes","file_date_updated":"2022-04-15T09:06:25Z","quality_controlled":"1","has_accepted_license":"1","pmid":1,"publication_identifier":{"issn":["2211-1247"]},"intvolume":"        39","article_number":"110615","issue":"1","_id":"11160","type":"journal_article","doi":"10.1016/j.celrep.2022.110615","related_material":{"record":[{"id":"18674","status":"public","relation":"dissertation_contains"},{"id":"18681","status":"public","relation":"dissertation_contains"},{"id":"12364","status":"public","relation":"dissertation_contains"}]},"publication_status":"published"}]