[{"language":[{"iso":"eng"}],"isi":1,"abstract":[{"text":"The actin cytoskeleton plays a key role in cell migration and cellular morphodynamics in most eukaryotes. The ability of the actin cytoskeleton to assemble and disassemble in a spatiotemporally controlled manner allows it to form higher-order structures, which can generate forces required for a cell to explore and navigate through its environment. It is regulated not only via a complex synergistic and competitive interplay between actin-binding proteins (ABP), but also by filament biochemistry and filament geometry. The lack of structural insights into how geometry and ABPs regulate the actin cytoskeleton limits our understanding of the molecular mechanisms that define actin cytoskeleton remodeling and, in turn, impact emerging cell migration characteristics. With the advent of cryo-electron microscopy (cryo-EM) and advanced computational methods, it is now possible to define these molecular mechanisms involving actin and its interactors at both atomic and ultra-structural levels in vitro and in cellulo. In this review, we will provide an overview of the available cryo-EM methods, applicable to further our understanding of the actin cytoskeleton, specifically in the context of cell migration. We will discuss how these methods have been employed to elucidate ABP- and geometry-defined regulatory mechanisms in initiating, maintaining, and disassembling cellular actin networks in migratory protrusions.","lang":"eng"}],"doi":"10.1042/bst20220221","publication_identifier":{"eissn":["1470-8752"],"issn":["0300-5127"]},"volume":51,"ddc":["570"],"fulldoi":"https://doi.org/10.1042/bst20220221","related_material":{"record":[{"id":"22744","relation":"dissertation_contains","status":"public"}]},"intvolume":"        51","acknowledgement":"We apologize for not being able to mention and cite additional excellent work that would have fit the scope of this review, due to space restraints. We thank Jesse Hansen for comments on the manuscript. We acknowledge support from the Austrian Science Fund (FWF): P33367 and the Institute of Science and Technology Austria.","issue":"1","citation":{"chicago":"Fäßler, Florian, Manjunath Javoor, and Florian KM Schur. “Deciphering the Molecular Mechanisms of Actin Cytoskeleton Regulation in Cell Migration Using Cryo-EM.” <i>Biochemical Society Transactions</i>. Portland Press, 2023. <a href=\"https://doi.org/10.1042/bst20220221\">https://doi.org/10.1042/bst20220221</a>.","short":"F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.","ama":"Fäßler F, Javoor M, Schur FK. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. <i>Biochemical Society Transactions</i>. 2023;51(1):87-99. doi:<a href=\"https://doi.org/10.1042/bst20220221\">10.1042/bst20220221</a>","ieee":"F. Fäßler, M. Javoor, and F. K. Schur, “Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM,” <i>Biochemical Society Transactions</i>, vol. 51, no. 1. Portland Press, pp. 87–99, 2023.","mla":"Fäßler, Florian, et al. “Deciphering the Molecular Mechanisms of Actin Cytoskeleton Regulation in Cell Migration Using Cryo-EM.” <i>Biochemical Society Transactions</i>, vol. 51, no. 1, Portland Press, 2023, pp. 87–99, doi:<a href=\"https://doi.org/10.1042/bst20220221\">10.1042/bst20220221</a>.","ista":"Fäßler F, Javoor M, Schur FK. 2023. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. 51(1), 87–99.","apa":"Fäßler, F., Javoor, M., &#38; Schur, F. K. (2023). Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. <i>Biochemical Society Transactions</i>. Portland Press. <a href=\"https://doi.org/10.1042/bst20220221\">https://doi.org/10.1042/bst20220221</a>"},"day":"01","external_id":{"isi":["000926043100001"],"pmid":["36695514"]},"keyword":["Biochemistry"],"oa_version":"Published Version","status":"public","has_accepted_license":"1","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"_id":"12421","file":[{"checksum":"4e7069845e3dad22bb44fb71ec624c60","relation":"main_file","creator":"dernst","file_name":"2023_BioChemicalSocietyTransactions_Faessler.pdf","content_type":"application/pdf","access_level":"open_access","file_size":10045006,"date_created":"2023-03-16T07:58:16Z","date_updated":"2023-03-16T07:58:16Z","success":1,"file_id":"12728"}],"publication":"Biochemical Society Transactions","author":[{"last_name":"Fäßler","orcid":"0000-0001-7149-769X","first_name":"Florian","id":"404F5528-F248-11E8-B48F-1D18A9856A87","full_name":"Fäßler, Florian"},{"full_name":"Javoor, Manjunath","id":"305ab18b-dc7d-11ea-9b2f-b58195228ea2","first_name":"Manjunath","last_name":"Javoor","orcid":"0000-0003-2311-2112"},{"orcid":"0000-0003-4790-8078","last_name":"Schur","first_name":"Florian KM","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","full_name":"Schur, Florian KM"}],"date_published":"2023-02-01T00:00:00Z","article_processing_charge":"No","date_updated":"2026-09-03T09:36:24Z","month":"02","date_created":"2023-01-27T10:08:19Z","title":"Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM","article_type":"original","oa":1,"quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"87-99","file_date_updated":"2023-03-16T07:58:16Z","publisher":"Portland Press","publication_status":"published","department":[{"_id":"FlSc"}],"project":[{"name":"Structure and isoform diversity of the Arp2/3 complex","_id":"9B954C5C-BA93-11EA-9121-9846C619BF3A","grant_number":"P33367"}],"scopus_import":"1","type":"journal_article","year":"2023","corr_author":"1","pmid":1},{"day":"27","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2023/808"}],"oa_version":"Preprint","external_id":{"isi":["001160724400011"]},"citation":{"apa":"Auerbach, B., Hoffmann, C., &#38; Pascual Perez, G. (2023). Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In <i>21st International Conference on Theory of Cryptography</i> (Vol. 14371, pp. 301–330). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-48621-0_11\">https://doi.org/10.1007/978-3-031-48621-0_11</a>","ista":"Auerbach B, Hoffmann C, Pascual Perez G. 2023. Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. 21st International Conference on Theory of Cryptography. , LNCS, vol. 14371, 301–330.","mla":"Auerbach, Benedikt, et al. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” <i>21st International Conference on Theory of Cryptography</i>, vol. 14371, Springer Nature, 2023, pp. 301–30, doi:<a href=\"https://doi.org/10.1007/978-3-031-48621-0_11\">10.1007/978-3-031-48621-0_11</a>.","ieee":"B. Auerbach, C. Hoffmann, and G. Pascual Perez, “Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing,” in <i>21st International Conference on Theory of Cryptography</i>, 2023, vol. 14371, pp. 301–330.","ama":"Auerbach B, Hoffmann C, Pascual Perez G. Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In: <i>21st International Conference on Theory of Cryptography</i>. Vol 14371. Springer Nature; 2023:301-330. doi:<a href=\"https://doi.org/10.1007/978-3-031-48621-0_11\">10.1007/978-3-031-48621-0_11</a>","short":"B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.","chicago":"Auerbach, Benedikt, Charlotte Hoffmann, and Guillermo Pascual Perez. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” In <i>21st International Conference on Theory of Cryptography</i>, 14371:301–30. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-48621-0_11\">https://doi.org/10.1007/978-3-031-48621-0_11</a>."},"status":"public","doi":"10.1007/978-3-031-48621-0_11","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"isbn":["9783031486203"]},"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"The generic-group model (GGM) aims to capture algorithms working over groups of prime order that only rely on the group operation, but do not exploit any additional structure given by the concrete implementation of the group. In it, it is possible to prove information-theoretic lower bounds on the hardness of problems like the discrete logarithm (DL) or computational Diffie-Hellman (CDH). Thus, since its introduction, it has served as a valuable tool to assess the concrete security provided by cryptographic schemes based on such problems. A work on the related algebraic-group model (AGM) introduced a method, used by many subsequent works, to adapt GGM lower bounds for one problem to another, by means of conceptually simple reductions.\r\nIn this work, we propose an alternative approach to extend GGM bounds from one problem to another. Following an idea by Yun [EC15], we show that, in the GGM, the security of a large class of problems can be reduced to that of geometric search-problems. By reducing the security of the resulting geometric-search problems to variants of the search-by-hypersurface problem, for which information theoretic lower bounds exist, we give alternative proofs of several results that used the AGM approach.\r\nThe main advantage of our approach is that our reduction from geometric search-problems works, as well, for the GGM with preprocessing (more precisely the bit-fixing GGM introduced by Coretti, Dodis and Guo [Crypto18]). As a consequence, this opens up the possibility of transferring preprocessing GGM bounds from one problem to another, also by means of simple reductions. Concretely, we prove novel preprocessing bounds on the hardness of the d-strong discrete logarithm, the d-strong Diffie-Hellman inversion, and multi-instance CDH problems, as well as a large class of Uber assumptions. Additionally, our approach applies to Shoup’s GGM without additional restrictions on the query behavior of the adversary, while the recent works of Zhang, Zhou, and Katz [AC22] and Zhandry [Crypto22] highlight that this is not the case for the AGM approach."}],"isi":1,"fulldoi":"https://doi.org/10.1007/978-3-031-48621-0_11","alternative_title":["LNCS"],"intvolume":"     14371","volume":14371,"page":"301-330","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","publisher":"Springer Nature","quality_controlled":"1","oa":1,"department":[{"_id":"KrPi"}],"corr_author":"1","scopus_import":"1","year":"2023","type":"conference","publication":"21st International Conference on Theory of Cryptography","date_published":"2023-11-27T00:00:00Z","author":[{"id":"D33D2B18-E445-11E9-ABB7-15F4E5697425","full_name":"Auerbach, Benedikt","last_name":"Auerbach","orcid":"0000-0002-7553-6606","first_name":"Benedikt"},{"id":"0f78d746-dc7d-11ea-9b2f-83f92091afe7","full_name":"Hoffmann, Charlotte","orcid":"0000-0003-2027-5549","last_name":"Hoffmann","first_name":"Charlotte"},{"full_name":"Pascual Perez, Guillermo","id":"2D7ABD02-F248-11E8-B48F-1D18A9856A87","first_name":"Guillermo","last_name":"Pascual Perez","orcid":"0000-0001-8630-415X"}],"_id":"14692","date_created":"2023-12-17T23:00:54Z","title":"Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing","article_processing_charge":"No","month":"11","date_updated":"2026-09-07T11:37:53Z"},{"date_published":"2023-11-27T00:00:00Z","author":[{"first_name":"Benedikt","last_name":"Auerbach","orcid":"0000-0002-7553-6606","full_name":"Auerbach, Benedikt","id":"D33D2B18-E445-11E9-ABB7-15F4E5697425"},{"first_name":"Miguel","orcid":"0000-0002-2505-4246","last_name":"Cueto Noval","full_name":"Cueto Noval, Miguel","id":"ffc563a3-f6e0-11ea-865d-e3cce03d17cc"},{"last_name":"Pascual Perez","orcid":"0000-0001-8630-415X","first_name":"Guillermo","id":"2D7ABD02-F248-11E8-B48F-1D18A9856A87","full_name":"Pascual Perez, Guillermo"},{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","full_name":"Pietrzak, Krzysztof Z","orcid":"0000-0002-9139-1654","last_name":"Pietrzak","first_name":"Krzysztof Z"}],"publication":"21st International Conference on Theory of Cryptography","conference":{"name":"TCC: Theory of Cryptography","location":"Taipei, Taiwan","start_date":"2023-11-29","end_date":"2023-12-02"},"_id":"14691","title":"On the cost of post-compromise security in concurrent Continuous Group-Key Agreement","date_created":"2023-12-17T23:00:53Z","month":"11","date_updated":"2026-09-07T11:37:56Z","article_processing_charge":"No","publication_status":"published","publisher":"Springer Nature","page":"271-300","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","quality_controlled":"1","oa":1,"corr_author":"1","year":"2023","type":"conference","scopus_import":"1","department":[{"_id":"KrPi"}],"publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"isbn":["9783031486203"]},"doi":"10.1007/978-3-031-48621-0_10","abstract":[{"lang":"eng","text":"Continuous Group-Key Agreement (CGKA) allows a group of users to maintain a shared key. It is the fundamental cryptographic primitive underlying group messaging schemes and related protocols, most notably TreeKEM, the underlying key agreement protocol of the Messaging Layer Security (MLS) protocol, a standard for group messaging by the IETF. CKGA works in an asynchronous setting where parties only occasionally must come online, and their messages are relayed by an untrusted server. The most expensive operation provided by CKGA is that which allows for a user to refresh their key material in order to achieve forward secrecy (old messages are secure when a user is compromised) and post-compromise security (users can heal from compromise). One caveat of early CGKA protocols is that these update operations had to be performed sequentially, with any user wanting to update their key material having had to receive and process all previous updates. Late versions of TreeKEM do allow for concurrent updates at the cost of a communication overhead per update message that is linear in the number of updating parties. This was shown to be indeed necessary when achieving PCS in just two rounds of communication by [Bienstock et al. TCC’20].\r\nThe recently proposed protocol CoCoA [Alwen et al. Eurocrypt’22], however, shows that this overhead can be reduced if PCS requirements are relaxed, and only a logarithmic number of rounds is required. The natural question, thus, is whether CoCoA is optimal in this setting.\r\nIn this work we answer this question, providing a lower bound on the cost (concretely, the amount of data to be uploaded to the server) for CGKA protocols that heal in an arbitrary k number of rounds, that shows that CoCoA is very close to optimal. Additionally, we extend CoCoA to heal in an arbitrary number of rounds, and propose a modification of it, with a reduced communication cost for certain k.\r\nWe prove our bound in a combinatorial setting where the state of the protocol progresses in rounds, and the state of the protocol in each round is captured by a set system, each set specifying a set of users who share a secret key. We show this combinatorial model is equivalent to a symbolic model capturing building blocks including PRFs and public-key encryption, related to the one used by Bienstock et al.\r\nOur lower bound is of order k•n1+1/(k-1)/log(k), where 2≤k≤log(n) is the number of updates per user the protocol requires to heal. This generalizes the n2 bound for k=2 from Bienstock et al.. This bound almost matches the k⋅n1+2/(k-1) or k2⋅n1+1/(k-1) efficiency we get for the variants of the CoCoA protocol also introduced in this paper."}],"isi":1,"language":[{"iso":"eng"}],"intvolume":"     14371","related_material":{"record":[{"relation":"dissertation_contains","id":"22664","status":"public"}]},"alternative_title":["LNCS"],"fulldoi":"https://doi.org/10.1007/978-3-031-48621-0_10","volume":14371,"oa_version":"Preprint","external_id":{"isi":["001160724400010"]},"day":"27","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2023/1123"}],"citation":{"ieee":"B. Auerbach, M. Cueto Noval, G. Pascual Perez, and K. Z. Pietrzak, “On the cost of post-compromise security in concurrent Continuous Group-Key Agreement,” in <i>21st International Conference on Theory of Cryptography</i>, Taipei, Taiwan, 2023, vol. 14371, pp. 271–300.","ama":"Auerbach B, Cueto Noval M, Pascual Perez G, Pietrzak KZ. On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. In: <i>21st International Conference on Theory of Cryptography</i>. Vol 14371. Springer Nature; 2023:271-300. doi:<a href=\"https://doi.org/10.1007/978-3-031-48621-0_10\">10.1007/978-3-031-48621-0_10</a>","chicago":"Auerbach, Benedikt, Miguel Cueto Noval, Guillermo Pascual Perez, and Krzysztof Z Pietrzak. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.” In <i>21st International Conference on Theory of Cryptography</i>, 14371:271–300. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-48621-0_10\">https://doi.org/10.1007/978-3-031-48621-0_10</a>.","short":"B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.","mla":"Auerbach, Benedikt, et al. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.” <i>21st International Conference on Theory of Cryptography</i>, vol. 14371, Springer Nature, 2023, pp. 271–300, doi:<a href=\"https://doi.org/10.1007/978-3-031-48621-0_10\">10.1007/978-3-031-48621-0_10</a>.","ista":"Auerbach B, Cueto Noval M, Pascual Perez G, Pietrzak KZ. 2023. On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. 21st International Conference on Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 14371, 271–300.","apa":"Auerbach, B., Cueto Noval, M., Pascual Perez, G., &#38; Pietrzak, K. Z. (2023). On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. In <i>21st International Conference on Theory of Cryptography</i> (Vol. 14371, pp. 271–300). Taipei, Taiwan: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-48621-0_10\">https://doi.org/10.1007/978-3-031-48621-0_10</a>"},"status":"public"},{"status":"public","has_accepted_license":"1","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"issue":"2271","citation":{"mla":"Svoboda, Jakub, et al. “Coexistence Times in the Moran Process with Environmental Heterogeneity.” <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>, vol. 479, no. 2271, 20220685, The Royal Society, 2023, doi:<a href=\"https://doi.org/10.1098/rspa.2022.0685\">10.1098/rspa.2022.0685</a>.","short":"J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).","ama":"Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. Coexistence times in the Moran process with environmental heterogeneity. <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>. 2023;479(2271). doi:<a href=\"https://doi.org/10.1098/rspa.2022.0685\">10.1098/rspa.2022.0685</a>","chicago":"Svoboda, Jakub, Josef Tkadlec, Kamran Kaveh, and Krishnendu Chatterjee. “Coexistence Times in the Moran Process with Environmental Heterogeneity.” <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>. The Royal Society, 2023. <a href=\"https://doi.org/10.1098/rspa.2022.0685\">https://doi.org/10.1098/rspa.2022.0685</a>.","ieee":"J. Svoboda, J. Tkadlec, K. Kaveh, and K. Chatterjee, “Coexistence times in the Moran process with environmental heterogeneity,” <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>, vol. 479, no. 2271. The Royal Society, 2023.","apa":"Svoboda, J., Tkadlec, J., Kaveh, K., &#38; Chatterjee, K. (2023). Coexistence times in the Moran process with environmental heterogeneity. <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>. The Royal Society. <a href=\"https://doi.org/10.1098/rspa.2022.0685\">https://doi.org/10.1098/rspa.2022.0685</a>","ista":"Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. 2023. Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 479(2271), 20220685."},"day":"29","oa_version":"Published Version","external_id":{"isi":["000957125500002"]},"volume":479,"ddc":["000"],"related_material":{"record":[{"relation":"dissertation_contains","id":"20138","status":"public"}],"link":[{"url":"https://doi.org/10.6084/m9.figshare.21261771.v1","relation":"research_data"}]},"fulldoi":"https://doi.org/10.1098/rspa.2022.0685","intvolume":"       479","acknowledgement":"J.S. and K.C. acknowledge support from the ERC CoG 863818 (ForM-SMArt)","language":[{"iso":"eng"}],"abstract":[{"text":"Populations evolve in spatially heterogeneous environments. While a certain trait might bring a fitness advantage in some patch of the environment, a different trait might be advantageous in another patch. Here, we study the Moran birth–death process with two types of individuals in a population stretched across two patches of size N, each patch favouring one of the two types. We show that the long-term fate of such populations crucially depends on the migration rate μ\r\n between the patches. To classify the possible fates, we use the distinction between polynomial (short) and exponential (long) timescales. We show that when μ is high then one of the two types fixates on the whole population after a number of steps that is only polynomial in N. By contrast, when μ is low then each type holds majority in the patch where it is favoured for a number of steps that is at least exponential in N. Moreover, we precisely identify the threshold migration rate μ⋆ that separates those two scenarios, thereby exactly delineating the situations that support long-term coexistence of the two types. We also discuss the case of various cycle graphs and we present computer simulations that perfectly match our analytical results.","lang":"eng"}],"isi":1,"doi":"10.1098/rspa.2022.0685","publication_identifier":{"eissn":["1471-2946"],"issn":["1364-5021"]},"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"department":[{"_id":"KrCh"}],"type":"journal_article","year":"2023","scopus_import":"1","oa":1,"article_number":"20220685","quality_controlled":"1","file_date_updated":"2023-04-03T06:25:29Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","publisher":"The Royal Society","article_processing_charge":"No","date_updated":"2026-09-16T06:59:32Z","month":"03","date_created":"2023-04-02T22:01:09Z","article_type":"original","title":"Coexistence times in the Moran process with environmental heterogeneity","ec_funded":1,"_id":"12787","file":[{"date_updated":"2023-04-03T06:25:29Z","file_id":"12796","success":1,"file_size":827784,"date_created":"2023-04-03T06:25:29Z","access_level":"open_access","content_type":"application/pdf","file_name":"2023_ProceedingsRoyalSocietyA_Svoboda.pdf","creator":"dernst","checksum":"13953d349fbefcb5d21ccc6b303297eb","relation":"main_file"}],"publication":"Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences","date_published":"2023-03-29T00:00:00Z","author":[{"id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","full_name":"Svoboda, Jakub","last_name":"Svoboda","orcid":"0000-0002-1419-3267","first_name":"Jakub"},{"id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87","full_name":"Tkadlec, Josef","last_name":"Tkadlec","orcid":"0000-0002-1097-9684","first_name":"Josef"},{"first_name":"Kamran","last_name":"Kaveh","full_name":"Kaveh, Kamran"},{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}]},{"publication_status":"published","publisher":"Neural Information Processing Systems Foundation","file_date_updated":"2026-08-13T07:49:38Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"publisher","quality_controlled":"1","oa":1,"year":"2023","type":"conference","OA_type":"gold","department":[{"_id":"FrLo"}],"date_published":"2023-12-20T00:00:00Z","author":[{"last_name":"Montagna","first_name":"Francesco","full_name":"Montagna, Francesco"},{"full_name":"Mastakouri, Atalanti A.","last_name":"Mastakouri","first_name":"Atalanti A."},{"first_name":"Elias","last_name":"Eulig","full_name":"Eulig, Elias"},{"full_name":"Noceti, Nicoletta","first_name":"Nicoletta","last_name":"Noceti"},{"last_name":"Rosasco","first_name":"Lorenzo","full_name":"Rosasco, Lorenzo"},{"first_name":"Dominik","last_name":"Janzing","full_name":"Janzing, Dominik"},{"full_name":"Aragam, Bryon","first_name":"Bryon","last_name":"Aragam"},{"orcid":"0000-0002-4850-0683","last_name":"Locatello","first_name":"Francesco","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","full_name":"Locatello, Francesco"}],"file":[{"file_name":"2023_Neurips_Montagna.pdf","creator":"dernst","relation":"main_file","checksum":"71d38402b4edef4c084b39f3e2f04526","access_level":"open_access","content_type":"application/pdf","file_size":7640984,"date_created":"2026-08-13T07:49:38Z","date_updated":"2026-08-13T07:49:38Z","file_id":"22701","success":1}],"publication":"37th Conference on Neural Information Processing Systems","supplementarymaterial":"yes","conference":{"end_date":"2023-12-16","start_date":"2023-12-12","location":"New Orleans, LA, United States","name":"NeurIPS: Neural Information Processing Systems"},"_id":"14954","title":"Assumption violations in causal discovery and the robustness of score matching","date_created":"2024-02-07T15:11:56Z","arxiv":1,"month":"12","researchdata_availability":"no","date_updated":"2026-09-17T12:59:55Z","article_processing_charge":"No","oa_version":"Published Version","external_id":{"arxiv":["2310.13387"]},"day":"20","citation":{"ista":"Montagna F, Mastakouri AA, Eulig E, Noceti N, Rosasco L, Janzing D, Aragam B, Locatello F. 2023. Assumption violations in causal discovery and the robustness of score matching. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 36.","apa":"Montagna, F., Mastakouri, A. A., Eulig, E., Noceti, N., Rosasco, L., Janzing, D., … Locatello, F. (2023). Assumption violations in causal discovery and the robustness of score matching. In <i>37th Conference on Neural Information Processing Systems</i> (Vol. 36). New Orleans, LA, United States: Neural Information Processing Systems Foundation. <a href=\"https://doi.org/10.52202/075280-2050\">https://doi.org/10.52202/075280-2050</a>","ieee":"F. Montagna <i>et al.</i>, “Assumption violations in causal discovery and the robustness of score matching,” in <i>37th Conference on Neural Information Processing Systems</i>, New Orleans, LA, United States, 2023, vol. 36.","short":"F. Montagna, A.A. Mastakouri, E. Eulig, N. Noceti, L. Rosasco, D. Janzing, B. Aragam, F. Locatello, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.","ama":"Montagna F, Mastakouri AA, Eulig E, et al. Assumption violations in causal discovery and the robustness of score matching. In: <i>37th Conference on Neural Information Processing Systems</i>. Vol 36. Neural Information Processing Systems Foundation; 2023. doi:<a href=\"https://doi.org/10.52202/075280-2050\">10.52202/075280-2050</a>","chicago":"Montagna, Francesco, Atalanti A. Mastakouri, Elias Eulig, Nicoletta Noceti, Lorenzo Rosasco, Dominik Janzing, Bryon Aragam, and Francesco Locatello. “Assumption Violations in Causal Discovery and the Robustness of Score Matching.” In <i>37th Conference on Neural Information Processing Systems</i>, Vol. 36. Neural Information Processing Systems Foundation, 2023. <a href=\"https://doi.org/10.52202/075280-2050\">https://doi.org/10.52202/075280-2050</a>.","mla":"Montagna, Francesco, et al. “Assumption Violations in Causal Discovery and the Robustness of Score Matching.” <i>37th Conference on Neural Information Processing Systems</i>, vol. 36, Neural Information Processing Systems Foundation, 2023, doi:<a href=\"https://doi.org/10.52202/075280-2050\">10.52202/075280-2050</a>."},"status":"public","has_accepted_license":"1","publication_identifier":{"eissn":["1049-5258"]},"doi":"10.52202/075280-2050","abstract":[{"lang":"eng","text":"When domain knowledge is limited and experimentation is restricted by ethical,\r\nfinancial, or time constraints, practitioners turn to observational causal discovery\r\nmethods to recover the causal structure, exploiting the statistical properties of their\r\ndata. Because causal discovery without further assumptions is an ill-posed problem,\r\neach algorithm comes with its own set of usually untestable assumptions, some\r\nof which are hard to meet in real datasets. Motivated by these considerations, this\r\npaper extensively benchmarks the empirical performance of recent causal discovery\r\nmethods on observational iid data generated under different background conditions,\r\nallowing for violations of the critical assumptions required by each selected approach. Our experimental findings show that score matching-based methods demonstrate surprising performance in the false positive and false negative rate of the\r\ninferred graph in these challenging scenarios, and we provide theoretical insights\r\ninto their performance. This work is also the first effort to benchmark the stability of\r\ncausal discovery algorithms with respect to the values of their hyperparameters. Finally, we hope this paper will set a new standard for the evaluation of causal discovery methods and can serve as an accessible entry point for practitioners interested\r\nin the field, highlighting the empirical implications of different algorithm choices."}],"language":[{"iso":"eng"}],"intvolume":"        36","acknowledgement":"We thank Kun Zhang and Carl-Johann Simon-Gabriel for the insightful discussions. This work\r\nhas been supported by AFOSR, grant n. FA8655-20-1-7035. FM is supported by Programma\r\nOperativo Nazionale ricerca e innovazione 2014-2020. FM partially contributed to this work during an internship at Amazon Web Services with FL. FL partially contributed while at AWS.","alternative_title":["Advances in Neural Information Processing Systems"],"fulldoi":"https://doi.org/10.52202/075280-2050","ddc":["000"],"das_tickbox":"0","volume":36},{"ddc":["000"],"das_tickbox":"1","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093 (VAMOS) and the ERC-2020-\r\nCoG 863818 (FoRM-SMArt).","alternative_title":["Advances in Neural Information Processing Systems"],"abstract":[{"text":"Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of such policies remains an impediment to their deployment. We propose a novel method for learning a composition of neural network policies in stochastic environments, along with a formal certificate which guarantees that a specification over the policy's behavior is satisfied with the desired probability. Unlike prior work on verifiable RL, our approach leverages the compositional nature of logical specifications provided in SpectRL, to learn over graphs of probabilistic reach-avoid specifications. The formal guarantees are provided by learning neural network policies together with reach-avoid supermartingales (RASM) for the graph’s sub-tasks and then composing them into a global policy. We also derive a tighter lower bound compared to previous work on the probability of reach-avoidance implied by a RASM, which is required to find a compositional policy with an acceptable probabilistic threshold for complex tasks with multiple edge policies. We implement a prototype of our approach and evaluate it on a Stochastic Nine Rooms environment.","lang":"eng"}],"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1049-5258"]},"status":"public","has_accepted_license":"1","citation":{"short":"D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.","ama":"Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: <i>37th Conference on Neural Information Processing Systems</i>. Neural Information Processing Systems Foundation; 2023.","chicago":"Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In <i>37th Conference on Neural Information Processing Systems</i>. Neural Information Processing Systems Foundation, 2023.","ieee":"D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional policy learning in stochastic control systems with formal guarantees,” in <i>37th Conference on Neural Information Processing Systems</i>, New Orleans, LA, United States, 2023.","mla":"Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” <i>37th Conference on Neural Information Processing Systems</i>, Neural Information Processing Systems Foundation, 2023.","ista":"Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. 2023. Compositional policy learning in stochastic control systems with formal guarantees. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, .","apa":"Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., &#38; Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In <i>37th Conference on Neural Information Processing Systems</i>. New Orleans, LA, United States: Neural Information Processing Systems Foundation."},"external_id":{"arxiv":["2312.01456"]},"oa_version":"Published Version","day":"15","date_updated":"2026-09-17T12:59:12Z","month":"12","article_processing_charge":"No","title":"Compositional policy learning in stochastic control systems with formal guarantees","arxiv":1,"date_created":"2024-02-25T09:23:24Z","_id":"15023","conference":{"name":"NeurIPS: Neural Information Processing Systems","location":"New Orleans, LA, United States","start_date":"2023-12-10","end_date":"2023-12-16"},"ec_funded":1,"author":[{"full_name":"Zikelic, Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","first_name":"Dorde","last_name":"Zikelic","orcid":"0000-0002-4681-1699"},{"full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","first_name":"Mathias","last_name":"Lechner"},{"full_name":"Verma, Abhinav","id":"a235593c-d7fa-11eb-a0c5-b22ca3c66ee6","first_name":"Abhinav","last_name":"Verma"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000-0002-2985-7724"}],"date_published":"2023-12-15T00:00:00Z","publication":"37th Conference on Neural Information Processing Systems","file":[{"date_created":"2024-07-22T11:45:17Z","file_size":562008,"date_updated":"2024-07-22T11:45:17Z","success":1,"file_id":"17309","checksum":"739c6d72506b778302d4e708723bf12c","relation":"main_file","creator":"dernst","file_name":"2023_NeurIPS_Zikelic.pdf","content_type":"application/pdf","access_level":"open_access"}],"type":"conference","year":"2023","corr_author":"1","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"project":[{"grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software"}],"oa":1,"quality_controlled":"1","publisher":"Neural Information Processing Systems Foundation","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2024-07-22T11:45:17Z"},{"abstract":[{"lang":"eng","text":"This paper provides statistical sample complexity bounds for score-matching and\r\nits applications in causal discovery. We demonstrate that accurate estimation of the\r\nscore function is achievable by training a standard deep ReLU neural network using\r\nstochastic gradient descent. We establish bounds on the error rate of recovering\r\ncausal relationships using the score-matching-based causal discovery method of\r\nRolland et al. [2022], assuming a sufficiently good estimation of the score function.\r\nFinally, we analyze the upper bound of score-matching estimation within the scorebased generative modeling, which has been applied for causal discovery but is also\r\nof independent interest within the domain of generative models.y"}],"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9781713899921"],"eissn":["1049-5258"]},"doi":"10.52202/075280-0147","ddc":["000"],"das_tickbox":"0","volume":36,"acknowledgement":"We are thankful to the reviewers for providing constructive feedback and Kun Zhang and Dominik\r\nJanzing for helpful discussion on the special case of deterministic children. This work was supported\r\nby Hasler Foundation Program: Hasler Responsible AI (project number 21043). This work was\r\nsupported by the Swiss National Science Foundation (SNSF) under grant number 200021_205011.\r\nFrancesco Locatello did not contribute to this work at Amazon. ","intvolume":"        36","fulldoi":"https://doi.org/10.52202/075280-0147","alternative_title":["Advances in Neural Information Processing Systems"],"citation":{"mla":"Zhu, Zhenyu, et al. “Sample Complexity Bounds for Score-Matching: Causal Discovery and Generative Modeling.” <i>37th Conference on Neural Information Processing Systems</i>, vol. 36, Neural Information Processing Systems Foundation, 2023, pp. 3325–37, doi:<a href=\"https://doi.org/10.52202/075280-0147\">10.52202/075280-0147</a>.","ieee":"Z. Zhu, F. Locatello, and V. Cevher, “Sample complexity bounds for score-matching: Causal discovery and generative modeling,” in <i>37th Conference on Neural Information Processing Systems</i>, New Orleans, LA, United States, 2023, vol. 36, pp. 3325–3337.","chicago":"Zhu, Zhenyu, Francesco Locatello, and Volkan Cevher. “Sample Complexity Bounds for Score-Matching: Causal Discovery and Generative Modeling.” In <i>37th Conference on Neural Information Processing Systems</i>, 36:3325–37. Neural Information Processing Systems Foundation, 2023. <a href=\"https://doi.org/10.52202/075280-0147\">https://doi.org/10.52202/075280-0147</a>.","ama":"Zhu Z, Locatello F, Cevher V. Sample complexity bounds for score-matching: Causal discovery and generative modeling. In: <i>37th Conference on Neural Information Processing Systems</i>. Vol 36. Neural Information Processing Systems Foundation; 2023:3325-3337. doi:<a href=\"https://doi.org/10.52202/075280-0147\">10.52202/075280-0147</a>","short":"Z. Zhu, F. Locatello, V. Cevher, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023, pp. 3325–3337.","apa":"Zhu, Z., Locatello, F., &#38; Cevher, V. (2023). Sample complexity bounds for score-matching: Causal discovery and generative modeling. In <i>37th Conference on Neural Information Processing Systems</i> (Vol. 36, pp. 3325–3337). New Orleans, LA, United States: Neural Information Processing Systems Foundation. <a href=\"https://doi.org/10.52202/075280-0147\">https://doi.org/10.52202/075280-0147</a>","ista":"Zhu Z, Locatello F, Cevher V. 2023. Sample complexity bounds for score-matching: Causal discovery and generative modeling. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 36, 3325–3337."},"oa_version":"Published Version","external_id":{"arxiv":["2310.18123"]},"day":"27","has_accepted_license":"1","status":"public","supplementarymaterial":"yes","conference":{"start_date":"2023-12-12","location":"New Orleans, LA, United States","name":"NeurIPS: Neural Information Processing Systems","end_date":"2023-12-16"},"_id":"14953","date_published":"2023-10-27T00:00:00Z","author":[{"full_name":"Zhu, Zhenyu","first_name":"Zhenyu","last_name":"Zhu"},{"full_name":"Locatello, Francesco","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","first_name":"Francesco","orcid":"0000-0002-4850-0683","last_name":"Locatello"},{"last_name":"Cevher","first_name":"Volkan","full_name":"Cevher, Volkan"}],"file":[{"relation":"main_file","checksum":"6f10adadefceb3bb50ad0b2637493381","creator":"dernst","file_name":"2023_Neurips_Zhu.pdf","content_type":"application/pdf","access_level":"open_access","file_size":305362,"date_created":"2026-08-13T07:02:51Z","date_updated":"2026-08-13T07:02:51Z","success":1,"file_id":"22700"}],"publication":"37th Conference on Neural Information Processing Systems","researchdata_availability":"no","date_updated":"2026-09-17T12:59:35Z","month":"10","article_processing_charge":"No","title":"Sample complexity bounds for score-matching: Causal discovery and generative modeling","date_created":"2024-02-07T15:11:11Z","arxiv":1,"OA_place":"publisher","quality_controlled":"1","oa":1,"publication_status":"published","publisher":"Neural Information Processing Systems Foundation","file_date_updated":"2026-08-13T07:02:51Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"3325-3337","corr_author":"1","year":"2023","scopus_import":"1","type":"conference","OA_type":"gold","department":[{"_id":"FrLo"}]},{"volume":13965,"ddc":["000"],"related_material":{"record":[{"id":"22808","relation":"dissertation_contains","status":"public"}]},"alternative_title":["LNCS"],"fulldoi":"https://doi.org/10.1007/978-3-031-37703-7_17","acknowledgement":"This work is supported by the European Research Council under Grant No.: ERC-2020-AdG101020093.","intvolume":"     13965","language":[{"iso":"eng"}],"abstract":[{"text":"Machine-learned systems are in widespread use for making decisions about humans, and it is important that they are fair, i.e., not biased against individuals based on sensitive attributes. We present runtime verification of algorithmic fairness for systems whose models are unknown, but are assumed to have a Markov chain structure. We introduce a specification language that can model many common algorithmic fairness properties, such as demographic parity, equal opportunity, and social burden. We build monitors that observe a long sequence of events as generated by a given system, and output, after each observation, a quantitative estimate of how fair or biased the system was on that run until that point in time. The estimate is proven to be correct modulo a variable error bound and a given confidence level, where the error bound gets tighter as the observed sequence gets longer. Our monitors are of two types, and use, respectively, frequentist and Bayesian statistical inference techniques. While the frequentist monitors compute estimates that are objectively correct with respect to the ground truth, the Bayesian monitors compute estimates that are correct subject to a given prior belief about the system’s model. Using a prototype implementation, we show how we can monitor if a bank is fair in giving loans to applicants from different social backgrounds, and if a college is fair in admitting students while maintaining a reasonable financial burden on the society. Although they exhibit different theoretical complexities in certain cases, in our experiments, both frequentist and Bayesian monitors took less than a millisecond to update their verdicts after each observation.","lang":"eng"}],"isi":1,"doi":"10.1007/978-3-031-37703-7_17","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"isbn":["9783031377020"],"eisbn":["9783031377037"]},"status":"public","has_accepted_license":"1","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"ista":"Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.","apa":"Henzinger, T. A., Karimi, M., Kueffner, K., &#38; Mallik, K. (2023). Monitoring algorithmic fairness. In <i>Computer Aided Verification</i> (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">https://doi.org/10.1007/978-3-031-37703-7_17</a>","ieee":"T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness,” in <i>Computer Aided Verification</i>, Paris, France, 2023, vol. 13965, pp. 358–382.","chicago":"Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In <i>Computer Aided Verification</i>, 13965:358–382. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">https://doi.org/10.1007/978-3-031-37703-7_17</a>.","short":"T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.","ama":"Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: <i>Computer Aided Verification</i>. Vol 13965. Springer Nature; 2023:358–382. doi:<a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">10.1007/978-3-031-37703-7_17</a>","mla":"Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” <i>Computer Aided Verification</i>, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:<a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">10.1007/978-3-031-37703-7_17</a>."},"day":"18","oa_version":"Published Version","external_id":{"isi":["001310804800017"],"arxiv":["2305.15979"]},"article_processing_charge":"Yes (in subscription journal)","date_updated":"2026-09-18T07:41:29Z","month":"07","date_created":"2023-07-25T18:32:40Z","arxiv":1,"title":"Monitoring algorithmic fairness","conference":{"end_date":"2023-07-22","name":"CAV: Computer Aided Verification","location":"Paris, France","start_date":"2023-07-17"},"ec_funded":1,"_id":"13310","publication":"Computer Aided Verification","file":[{"file_name":"2023_LNCS_CAV_HenzingerT.pdf","creator":"dernst","checksum":"ccaf94bf7d658ba012c016e11869b54c","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_size":647760,"date_created":"2023-07-31T08:11:20Z","file_id":"13327","success":1,"date_updated":"2023-07-31T08:11:20Z"}],"date_published":"2023-07-18T00:00:00Z","author":[{"first_name":"Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Mahyar","last_name":"Karimi","orcid":"0009-0005-0820-1696","full_name":"Karimi, Mahyar","id":"6e5417ba-5355-11ee-ae5a-94c2e510b26b"},{"id":"8121a2d0-dc85-11ea-9058-af578f3b4515","full_name":"Kueffner, Konstantin","orcid":"0000-0001-8974-2542","last_name":"Kueffner","first_name":"Konstantin"},{"first_name":"Kaushik","orcid":"0000-0001-9864-7475","last_name":"Mallik","full_name":"Mallik, Kaushik","id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598"}],"project":[{"name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093"}],"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"corr_author":"1","scopus_import":"1","type":"conference","year":"2023","oa":1,"quality_controlled":"1","file_date_updated":"2023-07-31T08:11:20Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"358–382","publication_status":"published","publisher":"Springer Nature"},{"day":"12","external_id":{"isi":["001062819300057"],"arxiv":["2305.04699"]},"oa_version":"Published Version","citation":{"mla":"Henzinger, Thomas A., et al. “Runtime Monitoring of Dynamic Fairness Properties.” <i>FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency</i>, Association for Computing Machinery, 2023, pp. 604–14, doi:<a href=\"https://doi.org/10.1145/3593013.3594028\">10.1145/3593013.3594028</a>.","ieee":"T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Runtime monitoring of dynamic fairness properties,” in <i>FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency</i>, Chicago, IL, United States, 2023, pp. 604–614.","chicago":"Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Runtime Monitoring of Dynamic Fairness Properties.” In <i>FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency</i>, 604–14. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3593013.3594028\">https://doi.org/10.1145/3593013.3594028</a>.","ama":"Henzinger TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: <i>FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency</i>. Association for Computing Machinery; 2023:604-614. doi:<a href=\"https://doi.org/10.1145/3593013.3594028\">10.1145/3593013.3594028</a>","short":"T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.","apa":"Henzinger, T. A., Karimi, M., Kueffner, K., &#38; Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In <i>FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency</i> (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3593013.3594028\">https://doi.org/10.1145/3593013.3594028</a>","ista":"Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Runtime monitoring of dynamic fairness properties. FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. FAccT: Conference on Fairness, Accountability and Transparency, 604–614."},"has_accepted_license":"1","status":"public","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.1145/3593013.3594028","publication_identifier":{"isbn":["9781450372527"]},"language":[{"iso":"eng"}],"isi":1,"abstract":[{"lang":"eng","text":"A machine-learned system that is fair in static decision-making tasks may have biased societal impacts in the long-run. This may happen when the system interacts with humans and feedback patterns emerge, reinforcing old biases in the system and creating new biases. While existing works try to identify and mitigate long-run biases through smart system design, we introduce techniques for monitoring fairness in real time. Our goal is to build and deploy a monitor that will continuously observe a long sequence of events generated by the system in the wild, and will output, with each event, a verdict on how fair the system is at the current point in time. The advantages of monitoring are two-fold. Firstly, fairness is evaluated at run-time, which is important because unfair behaviors may not be eliminated a priori, at design-time, due to partial knowledge about the system and the environment, as well as uncertainties and dynamic changes in the system and the environment, such as the unpredictability of human behavior. Secondly, monitors are by design oblivious to how the monitored system is constructed, which makes them suitable to be used as trusted third-party fairness watchdogs. They function as computationally lightweight statistical estimators, and their correctness proofs rely on the rigorous analysis of the stochastic process that models the assumptions about the underlying dynamics of the system. We show, both in theory and experiments, how monitors can warn us (1) if a bank’s credit policy over time has created an unfair distribution of credit scores among the population, and (2) if a resource allocator’s allocation policy over time has made unfair allocations. Our experiments demonstrate that the monitors introduce very low overhead. We believe that runtime monitoring is an important and mathematically rigorous new addition to the fairness toolbox."}],"fulldoi":"https://doi.org/10.1145/3593013.3594028","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"22808"}]},"acknowledgement":"The authors would like to thank the anonymous reviewers for their valuable comments and helpful suggestions. This work is supported by the European Research Council under Grant No.: ERC-2020-AdG 101020093.","ddc":["000"],"page":"604-614","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2023-07-18T07:43:10Z","publisher":"Association for Computing Machinery","publication_status":"published","oa":1,"quality_controlled":"1","department":[{"_id":"ToHe"}],"project":[{"name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"year":"2023","type":"conference","scopus_import":"1","corr_author":"1","file":[{"relation":"main_file","checksum":"96c759db9cdf94b81e37871a66a6ff48","creator":"dernst","file_name":"2023_ACM_HenzingerT.pdf","content_type":"application/pdf","access_level":"open_access","file_size":4100596,"date_created":"2023-07-18T07:43:10Z","success":1,"file_id":"13245","date_updated":"2023-07-18T07:43:10Z"}],"publication":"FAccT '23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency","author":[{"last_name":"Henzinger","orcid":"0000-0002-2985-7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"id":"6e5417ba-5355-11ee-ae5a-94c2e510b26b","full_name":"Karimi, Mahyar","last_name":"Karimi","orcid":"0009-0005-0820-1696","first_name":"Mahyar"},{"full_name":"Kueffner, Konstantin","id":"8121a2d0-dc85-11ea-9058-af578f3b4515","first_name":"Konstantin","last_name":"Kueffner","orcid":"0000-0001-8974-2542"},{"full_name":"Mallik, Kaushik","id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","first_name":"Kaushik","orcid":"0000-0001-9864-7475","last_name":"Mallik"}],"date_published":"2023-06-12T00:00:00Z","_id":"13228","ec_funded":1,"conference":{"end_date":"2023-06-15","name":"FAccT: Conference on Fairness, Accountability and Transparency","location":"Chicago, IL, United States","start_date":"2023-06-12"},"arxiv":1,"date_created":"2023-07-16T22:01:09Z","title":"Runtime monitoring of dynamic fairness properties","article_processing_charge":"Yes (via OA deal)","month":"06","date_updated":"2026-09-18T07:41:29Z"},{"status":"public","day":"01","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2308.00341"}],"oa_version":"Preprint","external_id":{"arxiv":["2308.00341"]},"citation":{"apa":"Henzinger, T. A., Kueffner, K., &#38; Mallik, K. (2023). Monitoring algorithmic fairness under partial observations. In <i>23rd International Conference on Runtime Verification</i> (Vol. 14245, pp. 291–311). Thessaloniki, Greece: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-44267-4_15\">https://doi.org/10.1007/978-3-031-44267-4_15</a>","ista":"Henzinger TA, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness under partial observations. 23rd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 291–311.","mla":"Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness under Partial Observations.” <i>23rd International Conference on Runtime Verification</i>, vol. 14245, Springer Nature, 2023, pp. 291–311, doi:<a href=\"https://doi.org/10.1007/978-3-031-44267-4_15\">10.1007/978-3-031-44267-4_15</a>.","short":"T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.","ama":"Henzinger TA, Kueffner K, Mallik K. Monitoring algorithmic fairness under partial observations. In: <i>23rd International Conference on Runtime Verification</i>. Vol 14245. Springer Nature; 2023:291-311. doi:<a href=\"https://doi.org/10.1007/978-3-031-44267-4_15\">10.1007/978-3-031-44267-4_15</a>","chicago":"Henzinger, Thomas A, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness under Partial Observations.” In <i>23rd International Conference on Runtime Verification</i>, 14245:291–311. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-44267-4_15\">https://doi.org/10.1007/978-3-031-44267-4_15</a>.","ieee":"T. A. Henzinger, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness under partial observations,” in <i>23rd International Conference on Runtime Verification</i>, Thessaloniki, Greece, 2023, vol. 14245, pp. 291–311."},"related_material":{"record":[{"id":"22808","relation":"dissertation_contains","status":"public"}]},"fulldoi":"https://doi.org/10.1007/978-3-031-44267-4_15","alternative_title":["LNCS"],"intvolume":"     14245","acknowledgement":"This work is supported by the European Research Council under Grant No.: ERC-2020-AdG 101020093.","volume":14245,"doi":"10.1007/978-3-031-44267-4_15","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783031442667"]},"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"As AI and machine-learned software are used increasingly for making decisions that affect humans, it is imperative that they remain fair and unbiased in their decisions. To complement design-time bias mitigation measures, runtime verification techniques have been introduced recently to monitor the algorithmic fairness of deployed systems. Previous monitoring techniques assume full observability of the states of the (unknown) monitored system. Moreover, they can monitor only fairness properties that are specified as arithmetic expressions over the probabilities of different events. In this work, we extend fairness monitoring to systems modeled as partially observed Markov chains (POMC), and to specifications containing arithmetic expressions over the expected values of numerical functions on event sequences. The only assumptions we make are that the underlying POMC is aperiodic and starts in the stationary distribution, with a bound on its mixing time being known. These assumptions enable us to estimate a given property for the entire distribution of possible executions of the monitored POMC, by observing only a single execution. Our monitors observe a long run of the system and, after each new observation, output updated PAC-estimates of how fair or biased the system is. The monitors are computationally lightweight and, using a prototype implementation, we demonstrate their effectiveness on several real-world examples."}],"project":[{"call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093"}],"department":[{"_id":"ToHe"}],"corr_author":"1","scopus_import":"1","type":"conference","year":"2023","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"291-311","publication_status":"published","publisher":"Springer Nature","quality_controlled":"1","oa":1,"date_created":"2023-10-29T23:01:15Z","arxiv":1,"title":"Monitoring algorithmic fairness under partial observations","article_processing_charge":"No","month":"10","date_updated":"2026-09-18T07:41:29Z","publication":"23rd International Conference on Runtime Verification","date_published":"2023-10-01T00:00:00Z","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger","first_name":"Thomas A"},{"id":"8121a2d0-dc85-11ea-9058-af578f3b4515","full_name":"Kueffner, Konstantin","last_name":"Kueffner","orcid":"0000-0001-8974-2542","first_name":"Konstantin"},{"id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","full_name":"Mallik, Kaushik","orcid":"0000-0001-9864-7475","last_name":"Mallik","first_name":"Kaushik"}],"ec_funded":1,"conference":{"end_date":"2023-10-06","location":"Thessaloniki, Greece","name":"RV: Conference on Runtime Verification","start_date":"2023-10-03"},"_id":"14454"},{"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Machine learning models are vulnerable to adversarial perturbations, and a thought-provoking paper by Bubeck and Sellke has analyzed this phenomenon through the lens of over-parameterization: interpolating smoothly the data requires significantly more parameters than simply memorizing it. However, this \"universal\" law provides only a necessary condition for robustness, and it is unable to discriminate between models. In this paper, we address these gaps by focusing on empirical risk minimization in two prototypical settings, namely, random features and the neural tangent kernel (NTK). We prove that, for random features, the model is not robust for any degree of over-parameterization, even when the necessary condition coming from the universal law of robustness is satisfied. In contrast, for even activations, the NTK model meets the universal lower bound, and it is robust as soon as the necessary condition on over-parameterization is fulfilled. This also addresses a conjecture in prior work by Bubeck, Li and Nagaraj. Our analysis decouples the effect of the kernel of the model from an \"interaction matrix\", which describes the interaction with the test data and captures the effect of the activation. Our theoretical results are corroborated by numerical evidence on both synthetic and standard datasets (MNIST, CIFAR-10)."}],"alternative_title":["PMLR"],"related_material":{"record":[{"id":"22857","relation":"dissertation_contains","status":"public"}],"link":[{"relation":"software","url":"https://github.com/simone-bombari/beyond-universal-robustness"}]},"acknowledgement":"Simone Bombari and Marco Mondelli were partially supported by the 2019 Lopez-Loreta prize, and\r\nthe authors would like to thank Hamed Hassani for helpful discussions.\r\n","intvolume":"       202","volume":202,"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2302.01629","open_access":"1"}],"day":"27","external_id":{"arxiv":["2302.01629"]},"oa_version":"Preprint","citation":{"short":"S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.","ama":"Bombari S, Kiyani S, Mondelli M. Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. In: <i>Proceedings of the 40th International Conference on Machine Learning</i>. Vol 202. ML Research Press; 2023:2738-2776.","chicago":"Bombari, Simone, Shayan Kiyani, and Marco Mondelli. “Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels.” In <i>Proceedings of the 40th International Conference on Machine Learning</i>, 202:2738–76. ML Research Press, 2023.","ieee":"S. Bombari, S. Kiyani, and M. Mondelli, “Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels,” in <i>Proceedings of the 40th International Conference on Machine Learning</i>, Honolulu, HI, United States, 2023, vol. 202, pp. 2738–2776.","mla":"Bombari, Simone, et al. “Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels.” <i>Proceedings of the 40th International Conference on Machine Learning</i>, vol. 202, ML Research Press, 2023, pp. 2738–76.","ista":"Bombari S, Kiyani S, Mondelli M. 2023. Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. Proceedings of the 40th International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 202, 2738–2776.","apa":"Bombari, S., Kiyani, S., &#38; Mondelli, M. (2023). Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. In <i>Proceedings of the 40th International Conference on Machine Learning</i> (Vol. 202, pp. 2738–2776). Honolulu, HI, United States: ML Research Press."},"status":"public","publication":"Proceedings of the 40th International Conference on Machine Learning","author":[{"last_name":"Bombari","first_name":"Simone","id":"ca726dda-de17-11ea-bc14-f9da834f63aa","full_name":"Bombari, Simone"},{"first_name":"Shayan","last_name":"Kiyani","full_name":"Kiyani, Shayan","id":"f5a2b424-e339-11ed-8435-ff3b4fe70cf8"},{"last_name":"Mondelli","orcid":"0000-0002-3242-7020","first_name":"Marco","id":"27EB676C-8706-11E9-9510-7717E6697425","full_name":"Mondelli, Marco"}],"date_published":"2023-10-27T00:00:00Z","_id":"12859","conference":{"location":"Honolulu, HI, United States","name":"ICML: International Conference on Machine Learning","start_date":"2023-07-23","end_date":"2023-07-29"},"arxiv":1,"date_created":"2023-04-23T16:11:03Z","title":"Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels","article_processing_charge":"No","month":"10","date_updated":"2026-09-21T13:07:01Z","page":"2738-2776","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publisher":"ML Research Press","publication_status":"published","oa":1,"quality_controlled":"1","department":[{"_id":"GradSch"},{"_id":"MaMo"}],"project":[{"name":"Prix Lopez-Loretta 2019 - Marco Mondelli","_id":"059876FA-7A3F-11EA-A408-12923DDC885E"}],"year":"2023","type":"conference","corr_author":"1"},{"abstract":[{"lang":"eng","text":"This data repository underpins the paper, published in PNAS (doi pending) and bioarxiv (doi: https://doi.org/10.1101/2023.07.05.547777)."}],"_id":"15027","author":[{"id":"031eff0d-d481-11ee-8508-cd12a7a86e5b","full_name":"Curk, Samo","orcid":"0000-0001-6160-9766","last_name":"Curk","first_name":"Samo"}],"date_published":"2023-12-13T00:00:00Z","month":"12","date_updated":"2026-09-24T10:27:35Z","ddc":["570"],"article_processing_charge":"No","title":"aggregation_data","related_material":{"record":[{"relation":"used_in_publication","id":"15001","status":"public"}]},"date_created":"2024-02-26T08:37:57Z","oa":1,"citation":{"mla":"Curk, Samo. <i>Aggregation_data</i>. Figshare, 2023.","ieee":"S. Curk, “aggregation_data.” Figshare, 2023.","ama":"Curk S. aggregation_data. 2023.","chicago":"Curk, Samo. “Aggregation_data.” Figshare, 2023.","short":"S. Curk, (2023).","apa":"Curk, S. (2023). aggregation_data. Figshare.","ista":"Curk S. 2023. aggregation_data, Figshare."},"OA_place":"publisher","publisher":"Figshare","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://figshare.com/s/85798bba4ebc68d822ed"}],"day":"13","tmp":{"legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","short":"CC0 (1.0)","image":"/images/cc_0.png","name":"Creative Commons Public Domain Dedication (CC0 1.0)"},"type":"research_data_reference","year":"2023","corr_author":"1","status":"public","has_accepted_license":"1","OA_type":"gold","department":[{"_id":"AnSa"}],"license":"https://creativecommons.org/publicdomain/zero/1.0/"},{"publisher":"Zenodo","oa_version":"None","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.10308791","open_access":"1"}],"day":"08","citation":{"apa":"Lemoult, G. (2023). Directed percolation and puff jamming near the transition to pipe turbulence. Zenodo. <a href=\"https://doi.org/10.5281/zenodo.10308791\">https://doi.org/10.5281/zenodo.10308791</a>","ista":"Lemoult G. 2023. Directed percolation and puff jamming near the transition to pipe turbulence, Zenodo, <a href=\"https://doi.org/10.5281/zenodo.10308791\">10.5281/zenodo.10308791</a>.","mla":"Lemoult, Grégoire. <i>Directed Percolation and Puff Jamming near the Transition to Pipe Turbulence</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/zenodo.10308791\">10.5281/zenodo.10308791</a>.","ieee":"G. Lemoult, “Directed percolation and puff jamming near the transition to pipe turbulence.” Zenodo, 2023.","chicago":"Lemoult, Grégoire. “Directed Percolation and Puff Jamming near the Transition to Pipe Turbulence.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/zenodo.10308791\">https://doi.org/10.5281/zenodo.10308791</a>.","short":"G. Lemoult, (2023).","ama":"Lemoult G. Directed percolation and puff jamming near the transition to pipe turbulence. 2023. doi:<a href=\"https://doi.org/10.5281/zenodo.10308791\">10.5281/zenodo.10308791</a>"},"oa":1,"OA_place":"repository","year":"2023","type":"research_data_reference","status":"public","OA_type":"green","department":[{"_id":"BjHo"}],"author":[{"full_name":"Lemoult, Grégoire","last_name":"Lemoult","first_name":"Grégoire"}],"date_published":"2023-12-08T00:00:00Z","doi":"10.5281/zenodo.10308791","abstract":[{"text":"The onset of turbulence in pipe flow has defied detailed understanding ever since Reynolds' first observations revealed the spatially-heterogeneous nature of the transition. While recent theoretical studies and experiments in simpler, shear-driven flows suggest that the onset of turbulence is a directed percolation non-equilibrium phase transition, whether these findings are generic and apply also to open or pressure-driven flows is unknown. In pipe flow, the extremely long time scales near the transition make direct observations of critical behavior virtually impossible. Here, we circumvent these limitations by experimentally characterizing all pairwise interactions between localized patches of turbulence (\"puffs\"), and using these interactions as input to renormalization group and computer simulations of minimal models that extrapolate to long length and time scales. We show that the universality class of the transition is directed percolation, from which emerges a jammed phase of puffs above the critical point. The stronger interactions in the jamming regime enable us to explicitly measure the turbulent fraction and confirm model predictions. Our work shows that directed percolation scaling applies beyond simple closed shear flows, and underscores how statistical mechanics can lead to profound, quantitative and predictive insights on turbulent flows and their phases.","lang":"eng"}],"_id":"23012","title":"Directed percolation and puff jamming near the transition to pipe turbulence","fulldoi":"https://doi.org/10.5281/zenodo.10308791","date_created":"2026-10-01T07:47:57Z","related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"17128"}]},"month":"12","date_updated":"2026-10-01T07:50:31Z","article_processing_charge":"No"},{"title":"Glutamate and GABA neurons share cascading Onecut3/NAV2-driven differentiation trajectories in the developing hypothalamus","fulldoi":"https://doi.org/10.6084/m9.figshare.22680433","related_material":{"record":[{"relation":"used_in_publication","id":"18445","status":"public"}]},"date_created":"2026-09-17T11:23:46Z","month":"04","date_updated":"2026-10-01T12:17:26Z","ddc":["570"],"article_processing_charge":"No","author":[{"first_name":"Maja","last_name":"Zupancic","full_name":"Zupancic, Maja"},{"last_name":"Keimpema","first_name":"Erik","full_name":"Keimpema, Erik"},{"last_name":"Tretiakov","first_name":"Evgenii","full_name":"Tretiakov, Evgenii"},{"full_name":"Bhandari, Pradeep","first_name":"Pradeep","last_name":"Bhandari"},{"full_name":"Eder, Stephanie","first_name":"Stephanie","last_name":"Eder"},{"last_name":"Lev","first_name":"Itamar","full_name":"Lev, Itamar"},{"full_name":"Härtig, Wolfgang","first_name":"Wolfgang","last_name":"Härtig"},{"last_name":"Zimmer","first_name":"Manuel","full_name":"Zimmer, Manuel"},{"full_name":"Clotman, Frederic","first_name":"Frederic","last_name":"Clotman"},{"first_name":"Tibor","last_name":"Harkany","full_name":"Harkany, Tibor"}],"date_published":"2023-04-23T00:00:00Z","doi":"10.6084/m9.figshare.22680433","abstract":[{"lang":"eng","text":"## Rationale:\r\nDifferentiation trajectories to generate specialized cellular features rely on sets of transcription factors (TFs) whose temporal dynamics and coexistence underlie morphological and neurochemical divergence among neurons and neuroendocrine cells. Even though transcriptional programs were extensively studied in the developing nervous system, the coupling of TFs to effector gene networks that time and shape the morphogenesis of these polarized cells is less known.\r\n\r\n## Results:\r\nHere, we make the curious observation that evolutionarily conserved Onecut3, a subordinate in the Onecut TF family known to control fate selection in progenitors, is instead expressed in fate-restricted neuroblasts in the vertebrate hypothalamus. In particular, a pool of Ascl1-containing progenitors in the midgestational mouse hypothalamus gives rise to both GABA and glutamate neurons destined to the periventricular and lateral hypothalamus, respectively, which uniformly upregulate Onecut3 only when exiting the proliferative zone of the 3rd ventricle. By combining single-cell RNA-seq, genetic Onecut3 reporters, gain-of-function models in vitro, and loss-of-function analysis in early-developing mice and C. elegans, we identify that Onecut3 instructs neuronal differentiation and maturation, through a Navigator-2 pathway to modulate neuritogenesis and leading process motility.\r\n\r\n\r\n## Conclusion:\r\nOnecut3 executes an unexpected function by inducing cytoskeletal modifications of key importance for neuronal maturation and network integration during the morphogenesis of many neuronal phenotypes in the vertebrate hypothalamus."}],"_id":"22961","type":"research_data_reference","year":"2023","department":[{"_id":"RySh"}],"status":"public","OA_type":"green","publisher":"Repository","oa_version":"None","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","main_file_link":[{"url":"https://doi.org/10.6084/m9.figshare.22680433","open_access":"1"}],"day":"23","oa":1,"citation":{"ista":"Zupancic M, Keimpema E, Tretiakov E, Bhandari P, Eder S, Lev I, Härtig W, Zimmer M, Clotman F, Harkany T. 2023. Glutamate and GABA neurons share cascading Onecut3/NAV2-driven differentiation trajectories in the developing hypothalamus, Repository, <a href=\"https://doi.org/10.6084/m9.figshare.22680433\">10.6084/m9.figshare.22680433</a>.","apa":"Zupancic, M., Keimpema, E., Tretiakov, E., Bhandari, P., Eder, S., Lev, I., … Harkany, T. (2023). Glutamate and GABA neurons share cascading Onecut3/NAV2-driven differentiation trajectories in the developing hypothalamus. Repository. <a href=\"https://doi.org/10.6084/m9.figshare.22680433\">https://doi.org/10.6084/m9.figshare.22680433</a>","ieee":"M. Zupancic <i>et al.</i>, “Glutamate and GABA neurons share cascading Onecut3/NAV2-driven differentiation trajectories in the developing hypothalamus.” Repository, 2023.","ama":"Zupancic M, Keimpema E, Tretiakov E, et al. Glutamate and GABA neurons share cascading Onecut3/NAV2-driven differentiation trajectories in the developing hypothalamus. 2023. doi:<a href=\"https://doi.org/10.6084/m9.figshare.22680433\">10.6084/m9.figshare.22680433</a>","short":"M. Zupancic, E. Keimpema, E. Tretiakov, P. Bhandari, S. Eder, I. Lev, W. Härtig, M. Zimmer, F. Clotman, T. Harkany, (2023).","chicago":"Zupancic, Maja, Erik Keimpema, Evgenii Tretiakov, Pradeep Bhandari, Stephanie Eder, Itamar Lev, Wolfgang Härtig, Manuel Zimmer, Frederic Clotman, and Tibor Harkany. “Glutamate and GABA Neurons Share Cascading Onecut3/NAV2-Driven Differentiation Trajectories in the Developing Hypothalamus.” Repository, 2023. <a href=\"https://doi.org/10.6084/m9.figshare.22680433\">https://doi.org/10.6084/m9.figshare.22680433</a>.","mla":"Zupancic, Maja, et al. <i>Glutamate and GABA Neurons Share Cascading Onecut3/NAV2-Driven Differentiation Trajectories in the Developing Hypothalamus</i>. Repository, 2023, doi:<a href=\"https://doi.org/10.6084/m9.figshare.22680433\">10.6084/m9.figshare.22680433</a>."},"OA_place":"repository"},{"publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"doi":"10.1103/PhysRevLett.131.168201","abstract":[{"text":"The elastic Leidenfrost effect occurs when a vaporizable soft solid is lowered onto a hot surface. Evaporative flow couples to elastic deformation, giving spontaneous bouncing or steady-state floating. The effect embodies an unexplored interplay between thermodynamics, elasticity, and lubrication: despite being observed, its basic theoretical description remains a challenge. Here, we provide a theory of elastic Leidenfrost floating. As weight increases, a rigid solid sits closer to the hot surface. By contrast, we discover an elasticity-dominated regime where the heavier the solid, the higher it floats. This geometry-governed behavior is reminiscent of the dynamics of large liquid Leidenfrost drops. We show that this elastic regime is characterized by Hertzian behavior of the solid’s underbelly and derive how the float height scales with materials parameters. Introducing a dimensionless elastic Leidenfrost number, we capture the crossover between rigid and Hertzian behavior. Our results provide theoretical underpinning for recent experiments, and point to the design of novel soft machines.","lang":"eng"}],"isi":1,"language":[{"iso":"eng"}],"acknowledgement":"We are grateful to Dominic Vella, Jens Eggers, John Kolinski, Joshua Dijksman, and Daniel Bonn for insightful discussions. J. B. and A. S. acknowledge the support of the Engineering and Physical Sciences Research Council (EPSRC) through New Investigator Award No. EP/\r\nT000961/1. A. S. acknowledges the support of Royal Society under Grant No. RGS/R2/202135. J. E. S. acknowledges EPSRC Grants No. EP/N016602/1, EP/S022848/1, EP/S029966/1, and EP/P031684/1.","intvolume":"       131","related_material":{"record":[{"id":"14523","relation":"research_data","status":"public"},{"id":"23005","relation":"dissertation_contains","status":"public"}]},"fulldoi":"https://doi.org/10.1103/PhysRevLett.131.168201","ddc":["530"],"volume":131,"oa_version":"Published Version","external_id":{"isi":["001164388300007"],"pmid":["37925690"]},"day":"20","citation":{"mla":"Binysh, Jack, et al. “Modeling Leidenfrost Levitation of Soft Elastic Solids.” <i>Physical Review Letters</i>, vol. 131, no. 16, 168201, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.131.168201\">10.1103/PhysRevLett.131.168201</a>.","short":"J. Binysh, I. Chakraborty, M.V. Chubynsky, V.L. Diaz Melian, S.R. Waitukaitis, J.E. Sprittles, A. Souslov, Physical Review Letters 131 (2023).","chicago":"Binysh, Jack, Indrajit Chakraborty, Mykyta V. Chubynsky, Vicente L Diaz Melian, Scott R Waitukaitis, James E. Sprittles, and Anton Souslov. “Modeling Leidenfrost Levitation of Soft Elastic Solids.” <i>Physical Review Letters</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/PhysRevLett.131.168201\">https://doi.org/10.1103/PhysRevLett.131.168201</a>.","ama":"Binysh J, Chakraborty I, Chubynsky MV, et al. Modeling Leidenfrost levitation of soft elastic solids. <i>Physical Review Letters</i>. 2023;131(16). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.131.168201\">10.1103/PhysRevLett.131.168201</a>","ieee":"J. Binysh <i>et al.</i>, “Modeling Leidenfrost levitation of soft elastic solids,” <i>Physical Review Letters</i>, vol. 131, no. 16. American Physical Society, 2023.","apa":"Binysh, J., Chakraborty, I., Chubynsky, M. V., Diaz Melian, V. L., Waitukaitis, S. R., Sprittles, J. E., &#38; Souslov, A. (2023). Modeling Leidenfrost levitation of soft elastic solids. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.131.168201\">https://doi.org/10.1103/PhysRevLett.131.168201</a>","ista":"Binysh J, Chakraborty I, Chubynsky MV, Diaz Melian VL, Waitukaitis SR, Sprittles JE, Souslov A. 2023. Modeling Leidenfrost levitation of soft elastic solids. Physical Review Letters. 131(16), 168201."},"issue":"16","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","status":"public","date_published":"2023-10-20T00:00:00Z","author":[{"full_name":"Binysh, Jack","first_name":"Jack","last_name":"Binysh"},{"full_name":"Chakraborty, Indrajit","last_name":"Chakraborty","first_name":"Indrajit"},{"last_name":"Chubynsky","first_name":"Mykyta V.","full_name":"Chubynsky, Mykyta V."},{"first_name":"Vicente L","last_name":"Diaz Melian","full_name":"Diaz Melian, Vicente L","id":"b6798902-eea0-11ea-9cbc-a8e14286c631"},{"full_name":"Waitukaitis, Scott R","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","first_name":"Scott R","orcid":"0000-0002-2299-3176","last_name":"Waitukaitis"},{"full_name":"Sprittles, James E.","first_name":"James E.","last_name":"Sprittles"},{"full_name":"Souslov, Anton","first_name":"Anton","last_name":"Souslov"}],"publication":"Physical Review Letters","file":[{"file_size":724098,"date_created":"2023-11-13T09:12:58Z","success":1,"file_id":"14524","date_updated":"2023-11-13T09:12:58Z","checksum":"1a419e25b762aadffbcc8eb2e609bd97","relation":"main_file","file_name":"2023_PhysRevLetters_Binysh.pdf","creator":"dernst","content_type":"application/pdf","access_level":"open_access"}],"_id":"14514","article_type":"original","title":"Modeling Leidenfrost levitation of soft elastic solids","date_created":"2023-11-12T23:00:55Z","month":"10","date_updated":"2026-10-02T08:44:47Z","article_processing_charge":"Yes (in subscription journal)","publication_status":"published","publisher":"American Physical Society","file_date_updated":"2023-11-13T09:12:58Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","quality_controlled":"1","article_number":"168201","oa":1,"pmid":1,"scopus_import":"1","type":"journal_article","year":"2023","department":[{"_id":"ScWa"}]},{"title":"Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer","fulldoi":"https://doi.org/10.5281/ZENODO.8277285","date_created":"2024-01-31T12:08:26Z","related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"14885"}]},"date_updated":"2026-10-02T08:57:44Z","month":"08","ddc":["550"],"article_processing_charge":"No","author":[{"full_name":"Shaw, Thomas","id":"3caa3f91-1f03-11ee-96ce-e0e553054d6e","first_name":"Thomas","last_name":"Shaw","orcid":"0000-0001-7640-6152"},{"full_name":"Buri, Pascal","id":"317987aa-9421-11ee-ac5a-b941b041abba","first_name":"Pascal","last_name":"Buri"},{"last_name":"McCarthy","first_name":"Michael","full_name":"McCarthy, Michael"},{"full_name":"Miles, Evan","first_name":"Evan","last_name":"Miles"},{"full_name":"Pellicciotti, Francesca","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","first_name":"Francesca","last_name":"Pellicciotti","orcid":"0000-0002-5554-8087"}],"date_published":"2023-08-23T00:00:00Z","doi":"10.5281/ZENODO.8277285","abstract":[{"lang":"eng","text":"GLACIER METEOROLOGICAL DATA SWISS ALPS -2022\r\n"}],"_id":"14919","year":"2023","type":"research_data_reference","corr_author":"1","status":"public","department":[{"_id":"FrPe"}],"publisher":"Zenodo","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/ZENODO.8277285"}],"day":"23","citation":{"apa":"Shaw, T., Buri, P., McCarthy, M., Miles, E., &#38; Pellicciotti, F. (2023). Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.8277285\">https://doi.org/10.5281/ZENODO.8277285</a>","ista":"Shaw T, Buri P, McCarthy M, Miles E, Pellicciotti F. 2023. Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.8277285\">10.5281/ZENODO.8277285</a>.","mla":"Shaw, Thomas, et al. <i>Air Temperature and Near-Surface Meteorology Datasets on Three Swiss Glaciers - Extreme 2022 Summer</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.8277285\">10.5281/ZENODO.8277285</a>.","ama":"Shaw T, Buri P, McCarthy M, Miles E, Pellicciotti F. Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.8277285\">10.5281/ZENODO.8277285</a>","chicago":"Shaw, Thomas, Pascal Buri, Michael McCarthy, Evan Miles, and Francesca Pellicciotti. “Air Temperature and Near-Surface Meteorology Datasets on Three Swiss Glaciers - Extreme 2022 Summer.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.8277285\">https://doi.org/10.5281/ZENODO.8277285</a>.","short":"T. Shaw, P. Buri, M. McCarthy, E. Miles, F. Pellicciotti, (2023).","ieee":"T. Shaw, P. Buri, M. McCarthy, E. Miles, and F. Pellicciotti, “Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer.” Zenodo, 2023."},"oa":1},{"year":"2023","type":"research_data_reference","department":[{"_id":"FrPe"}],"status":"public","OA_type":"green","oa_version":"None","publisher":"Zenodo","day":"23","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.8277284","open_access":"1"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","OA_place":"repository","oa":1,"citation":{"mla":"Shaw, Thomas E., et al. <i>Air Temperature and Near-Surface Meteorology Datasets on Three Swiss Glaciers - Extreme 2022 Summer</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/zenodo.8277284\">10.5281/zenodo.8277284</a>.","ieee":"T. E. Shaw, P. Buri, M. McCarthy, E. S. Miles, and F. Pelliciotti, “Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer.” Zenodo, 2023.","chicago":"Shaw, Thomas E., Pascal Buri, Michael McCarthy, Evan S. Miles, and Francesca Pelliciotti. “Air Temperature and Near-Surface Meteorology Datasets on Three Swiss Glaciers - Extreme 2022 Summer.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/zenodo.8277284\">https://doi.org/10.5281/zenodo.8277284</a>.","ama":"Shaw TE, Buri P, McCarthy M, Miles ES, Pelliciotti F. Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer. 2023. doi:<a href=\"https://doi.org/10.5281/zenodo.8277284\">10.5281/zenodo.8277284</a>","short":"T.E. Shaw, P. Buri, M. McCarthy, E.S. Miles, F. Pelliciotti, (2023).","apa":"Shaw, T. E., Buri, P., McCarthy, M., Miles, E. S., &#38; Pelliciotti, F. (2023). Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer. Zenodo. <a href=\"https://doi.org/10.5281/zenodo.8277284\">https://doi.org/10.5281/zenodo.8277284</a>","ista":"Shaw TE, Buri P, McCarthy M, Miles ES, Pelliciotti F. 2023. Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer, Zenodo, <a href=\"https://doi.org/10.5281/zenodo.8277284\">10.5281/zenodo.8277284</a>."},"title":"Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer","acknowledgement":"This work was funded by the EU Horizon 2020 Marie Skłodowska-Curie Actions Grant 101026058.","date_created":"2026-10-02T08:58:12Z","related_material":{"record":[{"status":"public","id":"14885","relation":"used_in_publication"}]},"fulldoi":"https://doi.org/10.5281/zenodo.8277284","ddc":["550"],"date_updated":"2026-10-02T08:59:03Z","month":"08","article_processing_charge":"No","date_published":"2023-08-23T00:00:00Z","author":[{"last_name":"Shaw","first_name":"Thomas E.","full_name":"Shaw, Thomas E."},{"first_name":"Pascal","last_name":"Buri","full_name":"Buri, Pascal"},{"full_name":"McCarthy, Michael","last_name":"McCarthy","first_name":"Michael"},{"first_name":"Evan S.","last_name":"Miles","full_name":"Miles, Evan S."},{"full_name":"Pelliciotti, Francesca","first_name":"Francesca","last_name":"Pelliciotti"}],"doi":"10.5281/zenodo.8277284","abstract":[{"lang":"eng","text":"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\r\n GLACIER METEOROLOGICAL DATA\r\n    SWISS ALPS -2022\r\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\r\nData gathered and structured by Thomas Shaw (WSL, Switzerland (until Oct 2022)).\r\n\r\nOn and off-glacier meteorological data were gathered and analysed as part of a Marie-Curie project 'TEMPEST' (tempestglacier.com).\r\nThe dataset consists of hourly low-cost AWS (Davis Vantage Pro2) and simple temperature ('T-')logger (Onset TidBitv2) sensor records on three glaciers in the Swiss Alps (Canton Valais).\r\n\r\nThe glaciers are:\r\nHaut Glacier d'Arolla (45.967°N, 7.526°E)\r\nGlacier d'Otemma (45.956°N, 7.454°E)\r\nGlacier du Corbassière (45.975°N, 7.303°E)\r\n\r\nData are provided in individual Excel files per glacier that contain all hourly data for the sub-period of comparison (11 August-18 September, 2022).\r\nData are quality controlled and checked for obvious errors. Any uncertain values are set to NaN.\r\nAir temperature data at 'T-Logger' stations were corrected for heating errors using the comparison of measurements in artificially (AWS) and naturally ventilated (T-Logger) radiation shields on Arolla and Corbassiere glaciers.\r\nA multiple linear regression model was applied to estimate these differences at all T-Loggers on all glaciers as a function of incoming shortwave radiation (MeteoSwiss station-derived) and wind speed (measured at AWS).\r\n\r\nEach Excel file contains a 'META' tab for simple metadata related to station locations (latitude 'LAT' (°), longitude 'LON' (°), elevation 'ELE' (m a.s.l.) and flowpath length 'FPL' (m)) and a 'DATA' tab for the hourly data. \r\nSuffixes to the station names in each column provide the variable measured at that site:\r\n'TA' - 2m air temperature (°C)\r\n'TA_Hi' - Maximum air temperature for timestep (°C)\r\n'TA_Lo' - Minimum air temperature for timestep (°C)\r\n'RH' - 2m relative humiditiy (%)\r\n'FF' - Wind speed (m s^-1)\r\n'FF_Hi' - Maximum wind speed for timestep (m s^-1)\r\n'FF_Lo' - Minimum wind speed for timestep (m s^-1)\r\n'DIR' - Wind direction (°)\r\n'DEW' - Dewpoint temperature (°C)\r\n'PRESS' - Air pressure (mbar)\r\n'CHILL' - Calculated wind chill temperature (°C)\r\n'Heat_idx' - Calculated heat index (°C)\r\n'THSW' - A calculated index that uses humidity and temperature like for the Heat Index, but also includes the heating effects of sunshine and the cooling effects of wind (like Wind Chill) to calculate an apparent temperature of what it \"feels\" like out in the shade\r\n\r\nWind speeds and direction measured at off-glacier sites 'OG' are for the lower off-glacier station ('OG_Low'). "}],"_id":"23030"},{"publisher":"Zenodo","oa_version":"None","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.8005257"}],"day":"05","oa":1,"citation":{"ista":"Muñoz Hermosilla JM. 2023. A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen, Zenodo, <a href=\"https://doi.org/10.5281/zenodo.8005257\">10.5281/zenodo.8005257</a>.","apa":"Muñoz Hermosilla, J. M. (2023). A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen. Zenodo. <a href=\"https://doi.org/10.5281/zenodo.8005257\">https://doi.org/10.5281/zenodo.8005257</a>","short":"J.M. Muñoz Hermosilla, (2023).","ama":"Muñoz Hermosilla JM. A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen. 2023. doi:<a href=\"https://doi.org/10.5281/zenodo.8005257\">10.5281/zenodo.8005257</a>","chicago":"Muñoz Hermosilla, José M. “A 3D Glacier Dynamics-Line Plume Model to Estimate the Frontal Ablation of Hansbreen.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/zenodo.8005257\">https://doi.org/10.5281/zenodo.8005257</a>.","ieee":"J. M. Muñoz Hermosilla, “A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen.” Zenodo, 2023.","mla":"Muñoz Hermosilla, José M. <i>A 3D Glacier Dynamics-Line Plume Model to Estimate the Frontal Ablation of Hansbreen</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/zenodo.8005257\">10.5281/zenodo.8005257</a>."},"OA_place":"repository","year":"2023","type":"research_data_reference","department":[{"_id":"FrPe"}],"OA_type":"green","status":"public","author":[{"first_name":"José M","last_name":"Muñoz Hermosilla","full_name":"Muñoz Hermosilla, José M"}],"date_published":"2023-06-05T00:00:00Z","doi":"10.5281/zenodo.8005257","abstract":[{"text":"There are 4 tar.xz files with the result of the model for the paper: A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen, Svalbard. These archives can be unzipped on Linux using the tar command, or on other systems using a specific software.\r\n\r\nFrontPositions includes data files with the coordinates of the nodes of the front positons.\r\n\r\nCalvingStats includes txt files with some characteristics of the calving events.\r\n\r\nHydrologyOutput includes csv files with the main results of the hydrological model.\r\n\r\nModelOutput include output and visualization files of the model results. The .vtu and .pvtu files are best viewed in the software Paraview.","lang":"eng"}],"contributor":[{"contributor_type":"contact_person","last_name":"Muñoz Hermosilla","first_name":"José M"}],"_id":"23031","title":"A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen","fulldoi":"https://doi.org/10.5281/zenodo.8005257","related_material":{"record":[{"status":"public","id":"18628","relation":"used_in_publication"}]},"date_created":"2026-10-02T09:16:51Z","month":"06","date_updated":"2026-10-02T09:16:55Z","ddc":["550"],"article_processing_charge":"No"},{"_id":"18634","abstract":[{"text":"There are 4 tar.xz files with the result of the model for the paper: A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen, Svalbard. ","lang":"eng"}],"doi":"10.5281/ZENODO.8005257","author":[{"full_name":"Muñoz Hermosilla, José M","id":"e1037a6d-646e-11ef-b402-e0ed9ab0901e","first_name":"José M","orcid":"0000-0002-1990-8508","last_name":"Muñoz Hermosilla"}],"date_published":"2023-06-05T00:00:00Z","article_processing_charge":"No","date_updated":"2026-10-02T09:16:15Z","month":"06","ddc":["550"],"fulldoi":"https://doi.org/10.5281/ZENODO.8005257","related_material":{"record":[{"relation":"research_data","id":"18628","status":"public"}]},"date_created":"2024-12-09T09:33:07Z","title":"A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen","citation":{"ieee":"J. M. Muñoz Hermosilla, “A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen.” Zenodo, 2023.","ama":"Muñoz Hermosilla JM. A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.8005257\">10.5281/ZENODO.8005257</a>","chicago":"Muñoz Hermosilla, José M. “A 3D Glacier Dynamics-Line Plume Model to Estimate the Frontal Ablation of Hansbreen.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.8005257\">https://doi.org/10.5281/ZENODO.8005257</a>.","short":"J.M. Muñoz Hermosilla, (2023).","mla":"Muñoz Hermosilla, José M. <i>A 3D Glacier Dynamics-Line Plume Model to Estimate the Frontal Ablation of Hansbreen</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.8005257\">10.5281/ZENODO.8005257</a>.","ista":"Muñoz Hermosilla JM. 2023. A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.8005257\">10.5281/ZENODO.8005257</a>.","apa":"Muñoz Hermosilla, J. M. (2023). A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.8005257\">https://doi.org/10.5281/ZENODO.8005257</a>"},"oa":1,"OA_place":"repository","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.8005258"}],"day":"05","publisher":"Zenodo","oa_version":"Published Version","department":[{"_id":"FrPe"}],"status":"public","year":"2023","type":"research_data_reference","corr_author":"1"},{"_id":"23032","abstract":[{"lang":"eng","text":"Datasets in .csv or .xlsx format sorted into folders by figures. In some cases additional files with roi/well-to-sample mapping were provided.\r\n\r\nFor more details contact authors."}],"doi":"10.6084/m9.figshare.24772872","author":[{"first_name":"Karen","last_name":"Sarkisyan","full_name":"Sarkisyan, Karen"}],"date_published":"2023-12-08T00:00:00Z","article_processing_charge":"No","month":"12","date_updated":"2026-10-02T09:22:30Z","ddc":["580"],"fulldoi":"https://doi.org/10.6084/m9.figshare.24772872","related_material":{"record":[{"id":"15179","relation":"used_in_publication","status":"public"}]},"date_created":"2026-10-02T09:22:23Z","title":"A hybrid pathway for self-sustained luminescence - Raw data","oa":1,"citation":{"ista":"Sarkisyan K. 2023. A hybrid pathway for self-sustained luminescence - Raw data, Figshare, <a href=\"https://doi.org/10.6084/m9.figshare.24772872\">10.6084/m9.figshare.24772872</a>.","apa":"Sarkisyan, K. (2023). A hybrid pathway for self-sustained luminescence - Raw data. Figshare. <a href=\"https://doi.org/10.6084/m9.figshare.24772872\">https://doi.org/10.6084/m9.figshare.24772872</a>","ieee":"K. Sarkisyan, “A hybrid pathway for self-sustained luminescence - Raw data.” Figshare, 2023.","short":"K. Sarkisyan, (2023).","ama":"Sarkisyan K. A hybrid pathway for self-sustained luminescence - Raw data. 2023. doi:<a href=\"https://doi.org/10.6084/m9.figshare.24772872\">10.6084/m9.figshare.24772872</a>","chicago":"Sarkisyan, Karen. “A Hybrid Pathway for Self-Sustained Luminescence - Raw Data.” Figshare, 2023. <a href=\"https://doi.org/10.6084/m9.figshare.24772872\">https://doi.org/10.6084/m9.figshare.24772872</a>.","mla":"Sarkisyan, Karen. <i>A Hybrid Pathway for Self-Sustained Luminescence - Raw Data</i>. Figshare, 2023, doi:<a href=\"https://doi.org/10.6084/m9.figshare.24772872\">10.6084/m9.figshare.24772872</a>."},"OA_place":"repository","main_file_link":[{"open_access":"1","url":"https://doi.org/10.6084/m9.figshare.24772872"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","day":"08","publisher":"Figshare","oa_version":"None","OA_type":"green","status":"public","department":[{"_id":"FyKo"}],"type":"research_data_reference","year":"2023"}]