[{"has_accepted_license":"1","ddc":["000"],"author":[{"full_name":"El-Hayek, Antoine","orcid":"0000-0003-4268-7368","last_name":"El-Hayek","first_name":"Antoine","id":"888a098e-fcac-11ee-aff7-d347be57b725"},{"first_name":"Kathrin","last_name":"Hanauer","full_name":"Hanauer, Kathrin"},{"full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","last_name":"Henzinger","first_name":"Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"}],"_id":"19858","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","conference":{"location":"Liverpool, United Kingdom","end_date":"2025-06-11","name":"SAND: Symposium on Algorithmic Foundations of Dynamic Networks","start_date":"2025-06-09"},"oa":1,"file_date_updated":"2025-06-23T11:23:29Z","quality_controlled":"1","corr_author":"1","publication_status":"published","project":[{"call_identifier":"H2020","_id":"bd9ca328-d553-11ed-ba76-dc4f890cfe62","name":"The design and evaluation of modern fully dynamic data structures","grant_number":"101019564"},{"grant_number":"Z00422","_id":"34def286-11ca-11ed-8bc3-da5948e1613c","name":"Efficient algorithms"},{"name":"Static and Dynamic Hierarchical Graph Decompositions","_id":"bda196b2-d553-11ed-ba76-8e8ee6c21103","grant_number":"I05982"},{"_id":"bd9e3a2e-d553-11ed-ba76-8aa684ce17fe","name":"Fast Algorithms for a Reactive Network Layer","grant_number":"P33775"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","day":"02","external_id":{"isi":["001532136900004"],"arxiv":["2310.01149"]},"OA_type":"gold","date_updated":"2025-09-30T13:37:28Z","file":[{"relation":"main_file","creator":"dernst","date_created":"2025-06-23T11:23:29Z","file_id":"19872","access_level":"open_access","date_updated":"2025-06-23T11:23:29Z","file_name":"2025_LIPIcs_ElHayek.pdf","file_size":995666,"content_type":"application/pdf","success":1,"checksum":"ad93a1e052adb29d7bfe8bd551bab193"}],"oa_version":"Published Version","citation":{"ama":"El-Hayek A, Hanauer K, Henzinger M. On b-matching and fully-dynamic maximum k-edge coloring. In: <i>4th Symposium on Algorithmic Foundations of Dynamic Networks</i>. Vol 330. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SAND.2025.4\">10.4230/LIPIcs.SAND.2025.4</a>","short":"A. El-Hayek, K. Hanauer, M. Henzinger, in:, 4th Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.","ieee":"A. El-Hayek, K. Hanauer, and M. Henzinger, “On b-matching and fully-dynamic maximum k-edge coloring,” in <i>4th Symposium on Algorithmic Foundations of Dynamic Networks</i>, Liverpool, United Kingdom, 2025, vol. 330.","ista":"El-Hayek A, Hanauer K, Henzinger M. 2025. On b-matching and fully-dynamic maximum k-edge coloring. 4th Symposium on Algorithmic Foundations of Dynamic Networks. SAND: Symposium on Algorithmic Foundations of Dynamic Networks, LIPIcs, vol. 330, 4.","mla":"El-Hayek, Antoine, et al. “On B-Matching and Fully-Dynamic Maximum k-Edge Coloring.” <i>4th Symposium on Algorithmic Foundations of Dynamic Networks</i>, vol. 330, 4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SAND.2025.4\">10.4230/LIPIcs.SAND.2025.4</a>.","apa":"El-Hayek, A., Hanauer, K., &#38; Henzinger, M. (2025). On b-matching and fully-dynamic maximum k-edge coloring. In <i>4th Symposium on Algorithmic Foundations of Dynamic Networks</i> (Vol. 330). Liverpool, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SAND.2025.4\">https://doi.org/10.4230/LIPIcs.SAND.2025.4</a>","chicago":"El-Hayek, Antoine, Kathrin Hanauer, and Monika Henzinger. “On B-Matching and Fully-Dynamic Maximum k-Edge Coloring.” In <i>4th Symposium on Algorithmic Foundations of Dynamic Networks</i>, Vol. 330. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. <a href=\"https://doi.org/10.4230/LIPIcs.SAND.2025.4\">https://doi.org/10.4230/LIPIcs.SAND.2025.4</a>."},"OA_place":"publisher","alternative_title":["LIPIcs"],"date_created":"2025-06-22T22:02:06Z","ec_funded":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"abstract":[{"lang":"eng","text":"Given a graph G that undergoes a sequence of edge insertions and deletions, we study the Maximum k-Edge Coloring problem (MkEC): Having access to k different colors, color as many edges of G as possible such that no two adjacent edges share the same color. While this problem is different from simply maintaining a b-matching with b = k, the two problems are related. However, maximum b-matching can be solved efficiently in the static setting, whereas MkEC is NP-hard and even APX-hard for k ≥ 2. \r\nWe present new results on both problems: For b-matching, we show a new integrality gap result and we adapt Wajc’s matching sparsification scheme [David Wajc, 2020] for the case where b is a constant.\r\nUsing these as basis, we give three new algorithms for the dynamic MkEC problem: Our MatchO algorithm builds on the dynamic (2+ε)-approximation algorithm of Bhattacharya, Gupta, and Mohan [Sayan Bhattacharya et al., 2017] for b-matching and achieves a (2+ε)(k+1)/k-approximation in O(poly(log n, ε^-1)) update time against an oblivious adversary. Our MatchA algorithm builds on the dynamic (7+ε)-approximation algorithm by Bhattacharya, Henzinger, and Italiano [Sayan Bhattacharya et al., 2015] for fractional b-matching and achieves a (7+ε)(3k+3)/(3k-1)-approximation in O(poly(log n, ε^-1)) update time against an adaptive adversary. Moreover, our reductions use the dynamic b-matching algorithm as a black box, so any future improvement in the approximation ratio for dynamic b-matching will automatically translate into a better approximation ratio for our algorithms. Finally, we present a greedy algorithm with O(Δ+k) update time, which guarantees a 2.16 approximation factor."}],"volume":330,"isi":1,"month":"06","article_processing_charge":"No","department":[{"_id":"MoHe"}],"status":"public","title":"On b-matching and fully-dynamic maximum k-edge coloring","publication_identifier":{"isbn":["9783959773683"],"issn":["1868-8969"]},"article_number":"4","arxiv":1,"acknowledgement":"This project has received funding from the European Research Council (ERC) under the\r\nEuropean Union’s Horizon 2020 research and innovation programme (MoDynStruct, No. 101019564) and the Austrian Science Fund (FWF) grant DOI 10.55776/Z422, grant DOI 10.55776/I5982, and grant DOI 10.55776/P33775 with additional funding from the netidee SCIENCE Stiftung, 2020–2024. This work was further supported by the Federal Ministry of Education and Research (BMBF) project, 6G-RIC: 6G Research and Innovation Cluster, grant 16KISK020K.","intvolume":"       330","year":"2025","publication":"4th Symposium on Algorithmic Foundations of Dynamic Networks","language":[{"iso":"eng"}],"date_published":"2025-06-02T00:00:00Z","scopus_import":"1","license":"https://creativecommons.org/licenses/by/4.0/","type":"conference","doi":"10.4230/LIPIcs.SAND.2025.4"},{"day":"01","external_id":{"arxiv":["2211.16086 "]},"OA_type":"gold","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"35-65","date_updated":"2025-06-23T12:01:36Z","file_date_updated":"2025-06-23T11:59:22Z","oa":1,"publisher":"École normale supérieure de Rennes","_id":"19859","author":[{"last_name":"Lichev","full_name":"Lichev, Lyuben","id":"9aa8388e-d003-11ee-8458-c4c1d7447977","first_name":"Lyuben"},{"full_name":"Schapira, Bruno","last_name":"Schapira","first_name":"Bruno"}],"has_accepted_license":"1","ddc":["510"],"publication_status":"published","DOAJ_listed":"1","corr_author":"1","quality_controlled":"1","year":"2025","intvolume":"         8","acknowledgement":"We thank Dieter Mitsche for enlightening discussions, Balázs Ráth for a number of comments\r\nand corrections on a first version of this paper, and an anonymous referee for several useful remarks.","arxiv":1,"publication_identifier":{"eissn":["2644-9463"]},"title":"Color-avoiding percolation on the Erdős–Rényi random graph","doi":"10.5802/ahl.228","type":"journal_article","scopus_import":"1","publication":"Annales Henri Lebesgue","date_published":"2025-06-01T00:00:00Z","language":[{"iso":"eng"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"article_type":"original","date_created":"2025-06-22T22:02:07Z","OA_place":"publisher","citation":{"chicago":"Lichev, Lyuben, and Bruno Schapira. “Color-Avoiding Percolation on the Erdős–Rényi Random Graph.” <i>Annales Henri Lebesgue</i>. École normale supérieure de Rennes, 2025. <a href=\"https://doi.org/10.5802/ahl.228\">https://doi.org/10.5802/ahl.228</a>.","mla":"Lichev, Lyuben, and Bruno Schapira. “Color-Avoiding Percolation on the Erdős–Rényi Random Graph.” <i>Annales Henri Lebesgue</i>, vol. 8, École normale supérieure de Rennes, 2025, pp. 35–65, doi:<a href=\"https://doi.org/10.5802/ahl.228\">10.5802/ahl.228</a>.","apa":"Lichev, L., &#38; Schapira, B. (2025). Color-avoiding percolation on the Erdős–Rényi random graph. <i>Annales Henri Lebesgue</i>. École normale supérieure de Rennes. <a href=\"https://doi.org/10.5802/ahl.228\">https://doi.org/10.5802/ahl.228</a>","ieee":"L. Lichev and B. Schapira, “Color-avoiding percolation on the Erdős–Rényi random graph,” <i>Annales Henri Lebesgue</i>, vol. 8. École normale supérieure de Rennes, pp. 35–65, 2025.","ista":"Lichev L, Schapira B. 2025. Color-avoiding percolation on the Erdős–Rényi random graph. Annales Henri Lebesgue. 8, 35–65.","short":"L. Lichev, B. Schapira, Annales Henri Lebesgue 8 (2025) 35–65.","ama":"Lichev L, Schapira B. Color-avoiding percolation on the Erdős–Rényi random graph. <i>Annales Henri Lebesgue</i>. 2025;8:35-65. doi:<a href=\"https://doi.org/10.5802/ahl.228\">10.5802/ahl.228</a>"},"oa_version":"Published Version","file":[{"content_type":"application/pdf","file_size":746588,"date_updated":"2025-06-23T11:59:22Z","file_name":"2025_AnnalesHenriLebesgue_Lichev.pdf","success":1,"checksum":"cca22d171b7affa010d17f5e793b0045","date_created":"2025-06-23T11:59:22Z","creator":"dernst","relation":"main_file","file_id":"19875","access_level":"open_access"}],"status":"public","department":[{"_id":"MaKw"}],"article_processing_charge":"Yes","month":"06","abstract":[{"lang":"eng","text":"We consider a recently introduced model of color-avoiding percolation (abbreviated CA-percolation) defined as follows. Every edge in a graph G is colored in some of k>=2 colors. Two vertices u and v in G are said to be CA-connected if u and v may be connected using any subset of k-1 colors. CA-connectivity defines an equivalence relation on the vertex set of G whose classes are called CA-components.\r\nWe study the component structure of a randomly colored Erdős–Rényi random graph of constant average degree. We distinguish three regimes for the size of the largest component: a supercritical regime, a so-called intermediate regime, and a subcritical regime, in which the largest CA-component has respectively linear, logarithmic, and bounded size. Interestingly, in the subcritical regime, the bound is deterministic and given by the number of colors."}],"volume":8},{"doi":"10.1007/s00454-025-00739-0","type":"journal_article","scopus_import":"1","date_published":"2025-06-12T00:00:00Z","publication":"Discrete & Computational Geometry","language":[{"iso":"eng"}],"year":"2025","acknowledgement":"BA and AB would like to thank William Steiger for insightful initial discussions of the problems addressed in this work. Open Access funding enabled and organized by CAUL and its Member Institutions.","arxiv":1,"publication_identifier":{"eissn":["1432-0444"],"issn":["0179-5376"]},"title":"Eight-partitioning points in 3D, and efficiently too","status":"public","related_material":{"link":[{"url":"https://doi.org/10.1007/s00454-025-00759-w","relation":"erratum"}],"record":[{"status":"public","id":"18917","relation":"earlier_version"},{"status":"public","id":"20339","relation":"dissertation_contains"}]},"department":[{"_id":"UlWa"}],"article_processing_charge":"Yes (via OA deal)","isi":1,"month":"06","abstract":[{"text":"An eight-partition of a finite set of points (respectively, of a continuous mass distribution) in R^3\r\n consists of three planes that divide the space into 8 octants, such that each open octant contains at most 1/8 of the points (respectively, of the mass). In 1966, Hadwiger showed that any mass distribution in R^3 admits an eight-partition; moreover, one can prescribe the normal direction of one of the three planes. The analogous result for finite point sets follows by a standard limit argument. We prove the following variant of this result: any mass distribution (or point set) in R^3 admits an eight-partition for which the intersection of two of the planes is a line with a prescribed direction. Moreover, we present an efficient algorithm for calculating an eight-partition of a set of n points in R^3 (with prescribed normal direction of one of the planes) in time O(n^7/3). A preliminary version of this work appeared in SoCG’24 (Aronov et al., 40th International Symposium on Computational Geometry, 2024).","lang":"eng"}],"date_created":"2025-06-22T22:02:07Z","article_type":"original","OA_place":"publisher","citation":{"ama":"Aronov B, Basit A, Ramesh I, Tasinato G, Wagner U. Eight-partitioning points in 3D, and efficiently too. <i>Discrete &#38; Computational Geometry</i>. 2025. doi:<a href=\"https://doi.org/10.1007/s00454-025-00739-0\">10.1007/s00454-025-00739-0</a>","short":"B. Aronov, A. Basit, I. Ramesh, G. Tasinato, U. Wagner, Discrete &#38; Computational Geometry (2025).","mla":"Aronov, Boris, et al. “Eight-Partitioning Points in 3D, and Efficiently Too.” <i>Discrete &#38; Computational Geometry</i>, Springer Nature, 2025, doi:<a href=\"https://doi.org/10.1007/s00454-025-00739-0\">10.1007/s00454-025-00739-0</a>.","apa":"Aronov, B., Basit, A., Ramesh, I., Tasinato, G., &#38; Wagner, U. (2025). Eight-partitioning points in 3D, and efficiently too. <i>Discrete &#38; Computational Geometry</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00454-025-00739-0\">https://doi.org/10.1007/s00454-025-00739-0</a>","chicago":"Aronov, Boris, Abdul Basit, Indu Ramesh, Gianluca Tasinato, and Uli Wagner. “Eight-Partitioning Points in 3D, and Efficiently Too.” <i>Discrete &#38; Computational Geometry</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/s00454-025-00739-0\">https://doi.org/10.1007/s00454-025-00739-0</a>.","ista":"Aronov B, Basit A, Ramesh I, Tasinato G, Wagner U. 2025. Eight-partitioning points in 3D, and efficiently too. Discrete &#38; Computational Geometry.","ieee":"B. Aronov, A. Basit, I. Ramesh, G. Tasinato, and U. Wagner, “Eight-partitioning points in 3D, and efficiently too,” <i>Discrete &#38; Computational Geometry</i>. Springer Nature, 2025."},"oa_version":"Published Version","date_updated":"2026-06-18T18:18:28Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1007/s00454-025-00739-0"}],"external_id":{"isi":["001506904300001"],"arxiv":["2403.02627"]},"OA_type":"hybrid","day":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"epub_ahead","quality_controlled":"1","oa":1,"publisher":"Springer Nature","_id":"19860","author":[{"last_name":"Aronov","full_name":"Aronov, Boris","first_name":"Boris"},{"first_name":"Abdul","last_name":"Basit","full_name":"Basit, Abdul"},{"first_name":"Indu","full_name":"Ramesh, Indu","last_name":"Ramesh"},{"id":"0433290C-AF8F-11E9-A4C7-F729E6697425","first_name":"Gianluca","last_name":"Tasinato","full_name":"Tasinato, Gianluca"},{"full_name":"Wagner, Uli","orcid":"0000-0002-1494-0568","last_name":"Wagner","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","first_name":"Uli"}],"ddc":["500"]},{"related_material":{"record":[{"id":"18712","status":"public","relation":"research_data"}]},"status":"public","month":"07","abstract":[{"text":"Assortative mating and sexual selection are widespread in nature and can play an important role in speciation by facilitating the buildup and maintenance of reproductive isolation (RI). However, their contribution to genome-wide suppression of gene flow during RI is rarely quantified.\r\nHere, we consider a polygenic “magic” trait that is divergently selected across two populations connected by migration, while also serving as the basis of assortative mating, thus generating sexual selection on one or both sexes. We obtain theoretical predictions for divergence at\r\nindividual trait loci by assuming that the effect of all other loci on any locus can be encapsulated via an effective migration rate, which bears a simple relationship to measurable fitness components of migrants and various early-generation hybrids. Our analysis clarifies how “tipping\r\npoints” (characterized by an abrupt collapse of adaptive divergence) arise, and when assortative mating can shift the critical level of migration beyond which divergence collapses. We quantify the relative contributions of viability and sexual selection to genome-wide barriers to gene\r\nflow and discuss how these depend on existing divergence levels. Our results suggest that effective migration rates provide a useful way of understanding genomic divergence, even in scenarios involving multiple, interacting mechanisms of RI. ","lang":"eng"}],"volume":79,"isi":1,"article_processing_charge":"Yes (via OA deal)","department":[{"_id":"NiBa"}],"date_created":"2025-06-23T13:51:00Z","article_type":"original","tmp":{"image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"file":[{"file_name":"2025_Evolution_Surendranadh.pdf","date_updated":"2025-12-30T08:43:33Z","file_size":2784295,"content_type":"application/pdf","checksum":"288ca936cef794d68a55356e70671846","success":1,"file_id":"20898","relation":"main_file","date_created":"2025-12-30T08:43:33Z","creator":"dernst","access_level":"open_access"}],"oa_version":"Published Version","citation":{"chicago":"Surendranadh, Parvathy, and Himani Sachdeva. “Effect of Assortative Mating and Sexual Selection on Polygenic Barriers to Gene Flow.” <i>Evolution</i>. Oxford University Press, 2025. <a href=\"https://doi.org/10.1093/evolut/qpaf047\">https://doi.org/10.1093/evolut/qpaf047</a>.","apa":"Surendranadh, P., &#38; Sachdeva, H. (2025). Effect of assortative mating and sexual selection on polygenic barriers to gene flow. <i>Evolution</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/evolut/qpaf047\">https://doi.org/10.1093/evolut/qpaf047</a>","mla":"Surendranadh, Parvathy, and Himani Sachdeva. “Effect of Assortative Mating and Sexual Selection on Polygenic Barriers to Gene Flow.” <i>Evolution</i>, vol. 79, no. 7, Oxford University Press, 2025, pp. 1185–98, doi:<a href=\"https://doi.org/10.1093/evolut/qpaf047\">10.1093/evolut/qpaf047</a>.","ieee":"P. Surendranadh and H. Sachdeva, “Effect of assortative mating and sexual selection on polygenic barriers to gene flow,” <i>Evolution</i>, vol. 79, no. 7. Oxford University Press, pp. 1185–1198, 2025.","ista":"Surendranadh P, Sachdeva H. 2025. Effect of assortative mating and sexual selection on polygenic barriers to gene flow. Evolution. 79(7), 1185–1198.","short":"P. Surendranadh, H. Sachdeva, Evolution 79 (2025) 1185–1198.","ama":"Surendranadh P, Sachdeva H. Effect of assortative mating and sexual selection on polygenic barriers to gene flow. <i>Evolution</i>. 2025;79(7):1185-1198. doi:<a href=\"https://doi.org/10.1093/evolut/qpaf047\">10.1093/evolut/qpaf047</a>"},"acknowledged_ssus":[{"_id":"ScienComp"}],"OA_place":"publisher","doi":"10.1093/evolut/qpaf047","date_published":"2025-07-01T00:00:00Z","publication":"Evolution","language":[{"iso":"eng"}],"scopus_import":"1","type":"journal_article","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","acknowledgement":"We thank Nick Barton for useful comments on the manuscript. This research was supported by the Scientific Service Units (SSU) of Institute of Science and Technology Austria (ISTA) through resources provided by Scientific Computing (SciComp).","issue":"7","intvolume":"        79","year":"2025","title":"Effect of assortative mating and sexual selection on polygenic barriers to gene flow","publication_identifier":{"issn":["0014-3820"],"eissn":["1558-5646"]},"publication_status":"published","quality_controlled":"1","corr_author":"1","file_date_updated":"2025-12-30T08:43:33Z","oa":1,"ddc":["570"],"has_accepted_license":"1","author":[{"full_name":"Surendranadh, Parvathy","last_name":"Surendranadh","orcid":"0000-0001-6395-386X","first_name":"Parvathy","id":"455235B8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Sachdeva, Himani","last_name":"Sachdeva","first_name":"Himani"}],"_id":"19876","publisher":"Oxford University Press","date_updated":"2025-12-30T08:44:13Z","page":"1185-1198","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_type":"hybrid","external_id":{"isi":["001490646300001"]},"day":"01"},{"date_created":"2025-06-23T13:51:58Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"file":[{"file_id":"19883","relation":"main_file","creator":"dernst","date_created":"2025-06-24T06:04:17Z","access_level":"open_access","file_name":"2025_PPoPP_Frantar.pdf","date_updated":"2025-06-24T06:04:17Z","file_size":1330044,"content_type":"application/pdf","checksum":"a0566ea3c168e8273501a5eb7d767cf8","success":1}],"oa_version":"Published Version","citation":{"short":"E. Frantar, R.L. Castro, J. Chen, T. Hoefler, D.-A. Alistarh, in:, Proceedings of the 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2025, pp. 239–251.","ama":"Frantar E, Castro RL, Chen J, Hoefler T, Alistarh D-A. MARLIN: Mixed-precision auto-regressive parallel inference on Large Language Models. In: <i>Proceedings of the 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming</i>. Association for Computing Machinery; 2025:239-251. doi:<a href=\"https://doi.org/10.1145/3710848.3710871\">10.1145/3710848.3710871</a>","chicago":"Frantar, Elias, Roberto L. Castro, Jiale Chen, Torsten Hoefler, and Dan-Adrian Alistarh. “MARLIN: Mixed-Precision Auto-Regressive Parallel Inference on Large Language Models.” In <i>Proceedings of the 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming</i>, 239–51. Association for Computing Machinery, 2025. <a href=\"https://doi.org/10.1145/3710848.3710871\">https://doi.org/10.1145/3710848.3710871</a>.","apa":"Frantar, E., Castro, R. L., Chen, J., Hoefler, T., &#38; Alistarh, D.-A. (2025). MARLIN: Mixed-precision auto-regressive parallel inference on Large Language Models. In <i>Proceedings of the 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming</i> (pp. 239–251). Las Vegas, NV, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3710848.3710871\">https://doi.org/10.1145/3710848.3710871</a>","mla":"Frantar, Elias, et al. “MARLIN: Mixed-Precision Auto-Regressive Parallel Inference on Large Language Models.” <i>Proceedings of the 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming</i>, Association for Computing Machinery, 2025, pp. 239–51, doi:<a href=\"https://doi.org/10.1145/3710848.3710871\">10.1145/3710848.3710871</a>.","ieee":"E. Frantar, R. L. Castro, J. Chen, T. Hoefler, and D.-A. Alistarh, “MARLIN: Mixed-precision auto-regressive parallel inference on Large Language Models,” in <i>Proceedings of the 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming</i>, Las Vegas, NV, United States, 2025, pp. 239–251.","ista":"Frantar E, Castro RL, Chen J, Hoefler T, Alistarh D-A. 2025. MARLIN: Mixed-precision auto-regressive parallel inference on Large Language Models. Proceedings of the 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming. PPoPP: Symposium on Principles and Practice of Parallel Programming, 239–251."},"OA_place":"publisher","related_material":{"record":[{"relation":"software","id":"19884","status":"public"}]},"status":"public","isi":1,"abstract":[{"lang":"eng","text":"As inference on Large Language Models (LLMs) emerges as an important workload in machine learning applications, model weight quantization has become a standard technique for efficient GPU deployment. Quantization not only reduces model size, but has also been shown to yield substantial speedups for single-user inference, due to reduced memory movement, with low accuracy impact. Yet, it remains a key open question whether speedups are achievable also in batched settings with multiple parallel clients, which are highly relevant for practical serving. It is unclear whether GPU kernels can be designed to remain practically memory-bound, while supporting the substantially increased compute requirements of batched workloads.\r\nIn this paper, we resolve this question positively by introducing a new design for Mixed-precision Auto-Regressive LINear kernels, called MARLIN. Concretely, given a model whose weights are compressed via quantization to, e.g., 4 bits per element, MARLIN shows that batchsizes up to 16-32 can be practically supported with close to maximum (4×) quantization speedup, and larger batchsizes up to 64-128 with gradually decreasing, but still significant, acceleration. MARLIN accomplishes this via a combination of techniques, such as asynchronous memory access, complex task scheduling and pipelining, and bespoke quantization support. Our experiments show that MARLIN's near-optimal performance on individual LLM layers across different scenarios can also lead to significant end-to-end LLM inference speedups (of up to 2.8×) when integrated with the popular vLLM open-source serving engine. Finally, we show that MARLIN is extensible to further compression techniques, like NVIDIA 2:4 sparsity, leading to additional speedups."}],"month":"02","article_processing_charge":"Yes (via OA deal)","department":[{"_id":"DaAl"}],"acknowledgement":"The authors would like to thank the Neural Magic team, in particular Michael Goin, Alexander Matveev, and Rob Shaw, for support with the vLLM integration. This research was supported in part by generous grants from NVIDIA and Google.","year":"2025","title":"MARLIN: Mixed-precision auto-regressive parallel inference on Large Language Models","publication_identifier":{"isbn":["9798400714436"]},"arxiv":1,"doi":"10.1145/3710848.3710871","publication":"Proceedings of the 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming","date_published":"2025-02-28T00:00:00Z","language":[{"iso":"eng"}],"scopus_import":"1","type":"conference","conference":{"start_date":"2025-03-01","name":"PPoPP: Symposium on Principles and Practice of Parallel Programming","location":"Las Vegas, NV, United States","end_date":"2025-03-05"},"oa":1,"file_date_updated":"2025-06-24T06:04:17Z","has_accepted_license":"1","ddc":["000"],"_id":"19877","author":[{"id":"09a8f98d-ec99-11ea-ae11-c063a7b7fe5f","first_name":"Elias","full_name":"Frantar, Elias","last_name":"Frantar"},{"first_name":"Roberto L.","last_name":"Castro","full_name":"Castro, Roberto L."},{"first_name":"Jiale","id":"4d0a9064-1ff6-11ee-9fa6-ec046c604785","orcid":"0000-0001-5337-5875","last_name":"Chen","full_name":"Chen, Jiale"},{"first_name":"Torsten","last_name":"Hoefler","full_name":"Hoefler, Torsten"},{"first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X"}],"publisher":"Association for Computing Machinery","publication_status":"published","corr_author":"1","quality_controlled":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","OA_type":"hybrid","day":"28","external_id":{"isi":["001437826500019"],"arxiv":["2408.11743"]},"date_updated":"2025-09-30T13:41:57Z","page":"239-251"},{"quality_controlled":"1","corr_author":"1","publication_status":"published","publisher":"Wiley","author":[{"last_name":"Melo Velasco","full_name":"Melo Velasco, Juan Vicente","id":"2611dec0-b9c6-11ed-9bea-a81c2b17a549","first_name":"Juan Vicente"},{"last_name":"Miles","full_name":"Miles, Evan","first_name":"Evan"},{"id":"22a2674a-61ce-11ee-94b5-d18813baf16f","first_name":"Michael","last_name":"McCarthy","full_name":"McCarthy, Michael"},{"first_name":"Thomas","id":"3caa3f91-1f03-11ee-96ce-e0e553054d6e","orcid":"0000-0001-7640-6152","last_name":"Shaw","full_name":"Shaw, Thomas"},{"id":"001b0422-8d15-11ed-bc51-cab6c037a228","first_name":"Catriona Louise","full_name":"Fyffe, Catriona Louise","last_name":"Fyffe"},{"id":"f06891fd-9f42-11ee-8632-a20971c43046","first_name":"Adrià","last_name":"Fontrodona-Bach","full_name":"Fontrodona-Bach, Adrià"},{"id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","first_name":"Francesca","last_name":"Pellicciotti","orcid":"0000-0002-5554-8087","full_name":"Pellicciotti, Francesca"}],"_id":"19878","has_accepted_license":"1","ddc":["550"],"oa":1,"file_date_updated":"2025-06-24T06:27:34Z","date_updated":"2025-09-30T13:42:28Z","external_id":{"isi":["001508794200001"]},"OA_type":"hybrid","day":"15","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","department":[{"_id":"FrPe"}],"article_processing_charge":"Yes (via OA deal)","month":"06","volume":130,"isi":1,"abstract":[{"text":"Rock debris partially covers glaciers worldwide, with varying extents and distributions, and controls sub‐debris melt rates by modifying energy transfer from the atmosphere to the ice. Two key physical properties controlling this energy exchange are thermal conductivity (k) and aerodynamic roughness length (z0). Accurate representation of these properties in energy‐balance models is critical for understanding climate‐glacier interactions and predicting the behavior of debris‐covered glaciers. However, k and z0 have been derived at very few sites from limited local measurements, using different approaches, and most model applications rely on values reported from these few sites and studies. We derive k and z0 using established and modified approaches from data at three locations on Pirámide Glacier in the central Chilean Andes. By comparing methods and evaluating melt simulated with an energy‐balance model, we reveal substantial differences between approaches. These lead to discrepancies between ice melt from energy‐balance simulations and observed data, and highlight the impact of method choice on calculated ice melt. Optimizing k against measured melt appears a viable approach to constrain melt simulations. Determining z0 seems less critical, as it has a smaller impact on total melt. Profile aerodynamic method measurements for estimating z0, despite higher costs, are independent of ice melt calculations. The large, unexpected differences between methods indicate a substantial knowledge gap. The fact that field‐derived k and z0 fail to work well in energy‐balance models, suggests that model values represent bulk properties distinct from theoretical field measurements. Addressing this gap is essential for improving glacier melt predictions.","lang":"eng"}],"status":"public","OA_place":"publisher","citation":{"ama":"Melo Velasco JV, Miles E, McCarthy M, et al. Method dependence in thermal conductivity and aerodynamic roughness length estimates on a debris‐covered glacier. <i>Journal of Geophysical Research: Earth Surface</i>. 2025;130(6). doi:<a href=\"https://doi.org/10.1029/2025jf008360\">10.1029/2025jf008360</a>","short":"J.V. Melo Velasco, E. Miles, M. McCarthy, T. Shaw, C.L. Fyffe, A. Fontrodona-Bach, F. Pellicciotti, Journal of Geophysical Research: Earth Surface 130 (2025).","mla":"Melo Velasco, Juan Vicente, et al. “Method Dependence in Thermal Conductivity and Aerodynamic Roughness Length Estimates on a Debris‐covered Glacier.” <i>Journal of Geophysical Research: Earth Surface</i>, vol. 130, no. 6, e2025JF008360, Wiley, 2025, doi:<a href=\"https://doi.org/10.1029/2025jf008360\">10.1029/2025jf008360</a>.","apa":"Melo Velasco, J. V., Miles, E., McCarthy, M., Shaw, T., Fyffe, C. L., Fontrodona-Bach, A., &#38; Pellicciotti, F. (2025). Method dependence in thermal conductivity and aerodynamic roughness length estimates on a debris‐covered glacier. <i>Journal of Geophysical Research: Earth Surface</i>. Wiley. <a href=\"https://doi.org/10.1029/2025jf008360\">https://doi.org/10.1029/2025jf008360</a>","chicago":"Melo Velasco, Juan Vicente, Evan Miles, Michael McCarthy, Thomas Shaw, Catriona Louise Fyffe, Adrià Fontrodona-Bach, and Francesca Pellicciotti. “Method Dependence in Thermal Conductivity and Aerodynamic Roughness Length Estimates on a Debris‐covered Glacier.” <i>Journal of Geophysical Research: Earth Surface</i>. Wiley, 2025. <a href=\"https://doi.org/10.1029/2025jf008360\">https://doi.org/10.1029/2025jf008360</a>.","ieee":"J. V. Melo Velasco <i>et al.</i>, “Method dependence in thermal conductivity and aerodynamic roughness length estimates on a debris‐covered glacier,” <i>Journal of Geophysical Research: Earth Surface</i>, vol. 130, no. 6. Wiley, 2025.","ista":"Melo Velasco JV, Miles E, McCarthy M, Shaw T, Fyffe CL, Fontrodona-Bach A, Pellicciotti F. 2025. Method dependence in thermal conductivity and aerodynamic roughness length estimates on a debris‐covered glacier. Journal of Geophysical Research: Earth Surface. 130(6), e2025JF008360."},"oa_version":"Published Version","file":[{"content_type":"application/pdf","file_name":"2025_JGREarthSurface_MeloVelasco.pdf","date_updated":"2025-06-24T06:27:34Z","file_size":3949928,"success":1,"checksum":"ca91541516c71d240321630ca42b4dc4","date_created":"2025-06-24T06:27:34Z","creator":"dernst","relation":"main_file","file_id":"19886","access_level":"open_access"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"article_type":"original","date_created":"2025-06-23T13:54:01Z","type":"journal_article","scopus_import":"1","date_published":"2025-06-15T00:00:00Z","language":[{"iso":"eng"}],"publication":"Journal of Geophysical Research: Earth Surface","doi":"10.1029/2025jf008360","article_number":"e2025JF008360","publication_identifier":{"eissn":["2169-9011"],"issn":["2169-9003"]},"title":"Method dependence in thermal conductivity and aerodynamic roughness length estimates on a debris‐covered glacier","year":"2025","intvolume":"       130","issue":"6","acknowledgement":"This project received funding from the Swiss National Science Foundation (Grant 204322, project “REsolving the thickNess Of debris on Earth's glacIers and its Rate of change,” RENOIR). We thank Lars Groeneveld, Diego Hernández, Alonso Mejías, Gabriela Reyes and Gabriela Tala for their support during fieldwork. Open access funding provided by Institute of Science and Technology Austria/KEMÖ."},{"date_updated":"2025-09-30T13:42:59Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","external_id":{"arxiv":["2312.13061"],"isi":["001443061400001"]},"day":"01","OA_type":"hybrid","quality_controlled":"1","corr_author":"1","publication_status":"published","has_accepted_license":"1","ddc":["510"],"author":[{"last_name":"Dvořák","full_name":"Dvořák, Zdeněk","first_name":"Zdeněk"},{"full_name":"Moore, Benjamin","last_name":"Moore","id":"6dc1a1be-bf1c-11ed-8d2b-d044840f49d6","first_name":"Benjamin"},{"full_name":"Seifrtová, Michaela","last_name":"Seifrtová","first_name":"Michaela"},{"full_name":"Šámal, Robert","last_name":"Šámal","first_name":"Robert"}],"_id":"19879","publisher":"Elsevier","oa":1,"file_date_updated":"2025-06-24T06:33:30Z","language":[{"iso":"eng"}],"date_published":"2025-06-01T00:00:00Z","publication":"European Journal of Combinatorics","scopus_import":"1","type":"journal_article","doi":"10.1016/j.ejc.2025.104138","title":"Precoloring extension in planar near-Eulerian-triangulations","arxiv":1,"publication_identifier":{"issn":["0195-6698"]},"article_number":"104138","acknowledgement":"Supported by project 22-17398S (Flows and cycles in graphs on surfaces) of Czech Science Foundation. An extended abstract appeared in Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB’23)","intvolume":"       127","year":"2025","month":"06","volume":127,"abstract":[{"text":"We consider the 4-precoloring extension problem in planar near-Eulerian- triangulations, i.e., plane graphs where all faces except possibly for the outer one have length three, all vertices not incident with the outer face have even degree, and exactly the vertices incident with the outer face are precolored. We give a necessary topological condition for the precoloring to extend, and give a complete characterization when the outer face has length at most five and when all vertices of the outer face have odd degree and are colored using only three colors.","lang":"eng"}],"isi":1,"article_processing_charge":"Yes (via OA deal)","department":[{"_id":"MaKw"}],"status":"public","file":[{"file_id":"19887","date_created":"2025-06-24T06:33:30Z","creator":"dernst","relation":"main_file","access_level":"open_access","content_type":"application/pdf","date_updated":"2025-06-24T06:33:30Z","file_name":"2025_EuropJournCombinatorics_Dvorak.pdf","file_size":564203,"checksum":"8b3585df45b25091fba9bee9854b7d01","success":1}],"oa_version":"Published Version","citation":{"ista":"Dvořák Z, Moore B, Seifrtová M, Šámal R. 2025. Precoloring extension in planar near-Eulerian-triangulations. European Journal of Combinatorics. 127, 104138.","ieee":"Z. Dvořák, B. Moore, M. Seifrtová, and R. Šámal, “Precoloring extension in planar near-Eulerian-triangulations,” <i>European Journal of Combinatorics</i>, vol. 127. Elsevier, 2025.","chicago":"Dvořák, Zdeněk, Benjamin Moore, Michaela Seifrtová, and Robert Šámal. “Precoloring Extension in Planar Near-Eulerian-Triangulations.” <i>European Journal of Combinatorics</i>. Elsevier, 2025. <a href=\"https://doi.org/10.1016/j.ejc.2025.104138\">https://doi.org/10.1016/j.ejc.2025.104138</a>.","apa":"Dvořák, Z., Moore, B., Seifrtová, M., &#38; Šámal, R. (2025). Precoloring extension in planar near-Eulerian-triangulations. <i>European Journal of Combinatorics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ejc.2025.104138\">https://doi.org/10.1016/j.ejc.2025.104138</a>","mla":"Dvořák, Zdeněk, et al. “Precoloring Extension in Planar Near-Eulerian-Triangulations.” <i>European Journal of Combinatorics</i>, vol. 127, 104138, Elsevier, 2025, doi:<a href=\"https://doi.org/10.1016/j.ejc.2025.104138\">10.1016/j.ejc.2025.104138</a>.","short":"Z. Dvořák, B. Moore, M. Seifrtová, R. Šámal, European Journal of Combinatorics 127 (2025).","ama":"Dvořák Z, Moore B, Seifrtová M, Šámal R. Precoloring extension in planar near-Eulerian-triangulations. <i>European Journal of Combinatorics</i>. 2025;127. doi:<a href=\"https://doi.org/10.1016/j.ejc.2025.104138\">10.1016/j.ejc.2025.104138</a>"},"OA_place":"publisher","article_type":"original","date_created":"2025-06-23T13:54:46Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"}},{"project":[{"call_identifier":"H2020","name":"Angulon: physics and applications of a new quasiparticle","_id":"2688CF98-B435-11E9-9278-68D0E5697425","grant_number":"801770"},{"grant_number":"101062862","name":"Non-Equilibrium Field Theory of Molecular Rotations","_id":"bd7b5202-d553-11ed-ba76-9b1c1b258338"},{"_id":"8fa7db46-16d5-11f0-9cad-917600954daf","name":"Polarons in Lead Halide Perovskites","grant_number":"12078"}],"day":"21","external_id":{"pmid":["40526561"],"arxiv":["2503.14124"],"isi":["001512872900010"]},"OA_type":"hybrid","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2025-09-30T13:40:55Z","publisher":"AIP Publishing","author":[{"full_name":"Al Hyder, Ragheed","last_name":"Al Hyder","first_name":"Ragheed","id":"d1c405be-ae15-11ed-8510-ccf53278162e"},{"orcid":"0000-0002-6990-7802","last_name":"Lemeshko","full_name":"Lemeshko, Mikhail","first_name":"Mikhail","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87"},{"id":"9d13b3cb-30a2-11eb-80dc-f772505e8660","first_name":"Alberto","full_name":"Cappellaro, Alberto","last_name":"Cappellaro","orcid":"0000-0001-6110-2359"}],"_id":"19880","ddc":["530"],"has_accepted_license":"1","file_date_updated":"2025-06-23T14:03:30Z","oa":1,"quality_controlled":"1","corr_author":"1","publication_status":"published","arxiv":1,"article_number":"234106","publication_identifier":{"eissn":["1089-7690"],"issn":["0021-9606"]},"pmid":1,"title":"Quantum transport in the presence of a chiral molecular potential","year":"2025","intvolume":"       162","issue":"23","acknowledgement":"We thank Artem Volosniev, Narcis Avarvari, Georgios Koutentakis, Sandro Wimberger, and Binghai Yan for useful discussions. R.A. received funding from the Austrian Academy of Science ÖWA, Grant No. PR1029OEAW03. M.L. acknowledges support by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON). A.C. received funding from the European Union’s Horizon Europe research and innovation program under the Marie Skłodowska-Curie Grant Agreement No. 101062862-NeqMolRot.","type":"journal_article","scopus_import":"1","date_published":"2025-06-21T00:00:00Z","language":[{"iso":"eng"}],"publication":"The Journal of Chemical Physics","doi":"10.1063/5.0271155","OA_place":"publisher","citation":{"chicago":"Al Hyder, Ragheed, Mikhail Lemeshko, and Alberto Cappellaro. “Quantum Transport in the Presence of a Chiral Molecular Potential.” <i>The Journal of Chemical Physics</i>. AIP Publishing, 2025. <a href=\"https://doi.org/10.1063/5.0271155\">https://doi.org/10.1063/5.0271155</a>.","apa":"Al Hyder, R., Lemeshko, M., &#38; Cappellaro, A. (2025). Quantum transport in the presence of a chiral molecular potential. <i>The Journal of Chemical Physics</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/5.0271155\">https://doi.org/10.1063/5.0271155</a>","mla":"Al Hyder, Ragheed, et al. “Quantum Transport in the Presence of a Chiral Molecular Potential.” <i>The Journal of Chemical Physics</i>, vol. 162, no. 23, 234106, AIP Publishing, 2025, doi:<a href=\"https://doi.org/10.1063/5.0271155\">10.1063/5.0271155</a>.","ieee":"R. Al Hyder, M. Lemeshko, and A. Cappellaro, “Quantum transport in the presence of a chiral molecular potential,” <i>The Journal of Chemical Physics</i>, vol. 162, no. 23. AIP Publishing, 2025.","ista":"Al Hyder R, Lemeshko M, Cappellaro A. 2025. Quantum transport in the presence of a chiral molecular potential. The Journal of Chemical Physics. 162(23), 234106.","short":"R. Al Hyder, M. Lemeshko, A. Cappellaro, The Journal of Chemical Physics 162 (2025).","ama":"Al Hyder R, Lemeshko M, Cappellaro A. Quantum transport in the presence of a chiral molecular potential. <i>The Journal of Chemical Physics</i>. 2025;162(23). doi:<a href=\"https://doi.org/10.1063/5.0271155\">10.1063/5.0271155</a>"},"oa_version":"Published Version","file":[{"file_id":"19881","date_created":"2025-06-23T14:03:30Z","creator":"dernst","relation":"main_file","access_level":"open_access","content_type":"application/pdf","date_updated":"2025-06-23T14:03:30Z","file_size":7202681,"file_name":"2025_JourChemicalPhysics_AlHyder.pdf","checksum":"e278631d949657baa9d5309dad5f4b77","success":1}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2025-06-23T13:55:28Z","ec_funded":1,"article_type":"original","department":[{"_id":"MiLe"}],"article_processing_charge":"Yes (via OA deal)","abstract":[{"lang":"eng","text":"We investigate quantum transport in a two-dimensional electron system coupled to a chiral molecular potential, demonstrating how molecular chirality and orientation affect charge and spin transport properties. We propose a minimal model for realizing true chiral symmetry breaking on a magnetized surface, with a crucial role played by the tilt angle of the molecular dipole with respect to the surface. For non-zero tilting, we show that the Hall response exhibits clear signatures of chirality-induced effects, in both charge- and spin-resolved observables. Concerning the former, tilted enantiomers produce asymmetric Hall conductances and, even more remarkably, the persistence of this feature in the absence of spin–orbit coupling (SOC) signals how the enantiospecific charge response results from electron scattering off the molecular potential. Concerning spin-resolved observables where SOC plays a relevant role, we reveal that chiral symmetry breaking is crucial in enabling spin-flipping processes."}],"month":"06","isi":1,"volume":162,"status":"public"},{"status":"public","abstract":[{"lang":"eng","text":"This .zip file contains the data to reproduce the figures and supplementary figures of \"Automated All-RF Tuning for Spin Qubit Readout and Control\" by Cornelius Carlsson and Jaime Saez-Mollejo et al."}],"month":"06","article_processing_charge":"No","corr_author":"1","department":[{"_id":"GradSch"},{"_id":"GeKa"}],"date_created":"2025-06-24T06:56:03Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"file_date_updated":"2025-06-25T07:11:52Z","oa":1,"file":[{"creator":"jsaezmol","date_created":"2025-06-24T15:14:13Z","relation":"main_file","file_id":"19893","access_level":"open_access","content_type":"application/x-zip-compressed","file_name":"DatasetsPaper.zip","file_size":3404814792,"date_updated":"2025-06-24T15:14:13Z","success":1,"checksum":"eff1ae9e46599fdfab8da00a2ca3c289"},{"file_name":"README.txt","date_updated":"2025-06-25T07:11:52Z","file_size":622,"content_type":"text/plain","success":1,"checksum":"21840ceac04d677a799b8e5bd919804f","relation":"main_file","creator":"jsaezmol","date_created":"2025-06-25T07:11:52Z","file_id":"19899","access_level":"open_access"}],"contributor":[{"last_name":"Carlsson","first_name":"Cornelius","contributor_type":"researcher"},{"last_name":"Fedele","first_name":"Federico ","contributor_type":"researcher"},{"last_name":"Calcaterra","contributor_type":"researcher","first_name":"Stefano"},{"contributor_type":"researcher","first_name":" Daniel ","last_name":"Chrastina"},{"first_name":"Giovanni ","contributor_type":"researcher","last_name":"Isella"},{"last_name":"Katsaros","orcid":"0000-0001-8342-202X","first_name":"Georgios","id":"38DB5788-F248-11E8-B48F-1D18A9856A87","contributor_type":"researcher"},{"last_name":"Ares","first_name":"Natalia","contributor_type":"researcher"}],"ddc":["530"],"has_accepted_license":"1","oa_version":"Published Version","_id":"19885","author":[{"id":"e0390f72-f6e0-11ea-865d-862393336714","first_name":"Jaime","full_name":"Saez Mollejo, Jaime","last_name":"Saez Mollejo"}],"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"NanoFab"}],"citation":{"ista":"Saez Mollejo J. 2025. Automated All-RF Tuning for Spin Qubit Readout and Control, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:19885\">10.15479/AT:ISTA:19885</a>.","ieee":"J. Saez Mollejo, “Automated All-RF Tuning for Spin Qubit Readout and Control.” Institute of Science and Technology Austria, 2025.","mla":"Saez Mollejo, Jaime. <i>Automated All-RF Tuning for Spin Qubit Readout and Control</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:19885\">10.15479/AT:ISTA:19885</a>.","apa":"Saez Mollejo, J. (2025). Automated All-RF Tuning for Spin Qubit Readout and Control. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:19885\">https://doi.org/10.15479/AT:ISTA:19885</a>","chicago":"Saez Mollejo, Jaime. “Automated All-RF Tuning for Spin Qubit Readout and Control.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT:ISTA:19885\">https://doi.org/10.15479/AT:ISTA:19885</a>.","ama":"Saez Mollejo J. Automated All-RF Tuning for Spin Qubit Readout and Control. 2025. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:19885\">10.15479/AT:ISTA:19885</a>","short":"J. Saez Mollejo, (2025)."},"publisher":"Institute of Science and Technology Austria","date_updated":"2025-07-01T07:19:26Z","doi":"10.15479/AT:ISTA:19885","date_published":"2025-06-01T00:00:00Z","type":"research_data","acknowledgement":"The authors would like to thank Barnaby van Straaten, Jonas Schuff, Daniel Jirovec and Hanifa Tidjani for fruitful discussions. This research was supported by the Scientific Service Units of ISTA through resources provided by the MIBA Machine Shop and the Nanofabrication Facility. G.K. acknowledges support from the NOMIS Foundation, the HORIZON-RIA (project no. 101069515) and the FWF Projects (DOIs: 10.55776/F86 and 10.55776/I5060). N.A. acknowledges support from the European Research Council (grant agreement 948932), and the Royal Society (grant no. URF/R1/191150). This project received support from the US Army Research Office (ARO) under Award No. W911NF-24-2-0043. C.C. acknowledges support from the UKRI Doctoral Training Partnership related to EP/W524311/1 (project ref. 2887634).","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","year":"2025","title":"Automated All-RF Tuning for Spin Qubit Readout and Control","project":[{"grant_number":"101069515","_id":"34c0acea-11ca-11ed-8bc3-8775e10fd452","name":"Integrated Germanium Quantum Technology"},{"grant_number":"I05060","name":"High impedance circuit quantum electrodynamics with hole spins","_id":"c0977eea-5a5b-11eb-8a69-a862db0cf4d1"},{"grant_number":"F8606","name":"Center for Correlated Quantum Materials and Solid State Quantum Systems: Conventional  and unconventional topological superconductors","_id":"34a66131-11ca-11ed-8bc3-a31681c6b03e"}]},{"title":"Reciprocity and inequality in social dilemmas","publication_identifier":{"issn":["2663-337X"]},"acknowledgement":"The research for this thesis was supported by the European Research Council\r\n(grant agreements No. 863818 and No. 850529), the European Union’s Horizon 2020 research and innovation programme (Marie Skłodowska-Curie grant agreement No. 754411),\r\nthe Austrian Science Fund (grant DOI 10.55776/COE12), the French Agence Nationale\r\nde la Recherche under the Programme d’investissements d’avenir (project reference 17-\r\nEURE-0010) and the Australian Government through the Australian Research Council\r\n(grant No. SR200100005, “Securing Antarctica’s Environmental Future”).","year":"2025","date_published":"2025-06-25T00:00:00Z","language":[{"iso":"eng"}],"supervisor":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"}],"degree_awarded":"PhD","license":"https://creativecommons.org/licenses/by-nc/4.0/","type":"dissertation","doi":"10.15479/AT-ISTA-19903","file":[{"access_level":"closed","creator":"vhuebner","date_created":"2025-06-25T13:38:07Z","relation":"source_file","file_id":"19905","checksum":"794c02f8c82ca59ba6dda3bd7eed871a","content_type":"application/x-xz","date_updated":"2025-06-25T13:38:07Z","file_size":6192760,"file_name":"Thesis Valentin Hübner source.tar.xz"},{"access_level":"open_access","date_created":"2025-07-09T13:37:00Z","creator":"vhuebner","relation":"main_file","file_id":"19976","checksum":"ac56063d81c81e40322b6ff5a8c4912e","content_type":"application/pdf","date_updated":"2025-07-09T13:37:00Z","file_size":4837864,"file_name":"Thesis Valentin Hübner.pdf"}],"oa_version":"Published Version","citation":{"ieee":"V. Hübner, “Reciprocity and inequality in social dilemmas,” Institute of Science and Technology Austria, 2025.","ista":"Hübner V. 2025. Reciprocity and inequality in social dilemmas. Institute of Science and Technology Austria.","apa":"Hübner, V. (2025). <i>Reciprocity and inequality in social dilemmas</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-19903\">https://doi.org/10.15479/AT-ISTA-19903</a>","mla":"Hübner, Valentin. <i>Reciprocity and Inequality in Social Dilemmas</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-19903\">10.15479/AT-ISTA-19903</a>.","chicago":"Hübner, Valentin. “Reciprocity and Inequality in Social Dilemmas.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-19903\">https://doi.org/10.15479/AT-ISTA-19903</a>.","ama":"Hübner V. Reciprocity and inequality in social dilemmas. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-19903\">10.15479/AT-ISTA-19903</a>","short":"V. Hübner, Reciprocity and Inequality in Social Dilemmas, Institute of Science and Technology Austria, 2025."},"OA_place":"publisher","alternative_title":["ISTA Thesis"],"date_created":"2025-06-25T13:50:10Z","ec_funded":1,"tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png"},"month":"06","abstract":[{"lang":"eng","text":"Cooperation, that is, one person paying a cost for another's benefit, is a fundamental principle without which no form of society could exist. The extent to which humans cooperate with each other is also an essential feature that differentiates them from other animals. Cooperation occurs even in the absence of altruistic motivations, when it is selfishly incentivised by the expectation of a future reward. For example, many economic interactions are well described that way. This kind of cooperation requires that people exhibit reciprocal behaviour that acts as a mechanism that rewards cooperation.\r\nWith game-theoretic models, it is possible to formally study potential such mechanisms and under what conditions they can exist. This thesis contributes to this effort by analysing recently introduced models of cooperation that advance on previous work by taking into account the potential for pre-existing inequality among cooperating individuals as well as the different forms that reciprocity can take.\r\nIndividuals may differ both intrinsically, in their abilities, as well as extrinsically, in the amount of resources they have available. Allowing for such differences in a model of cooperation helps to understand how inequality affects the potential for, and outcomes of, cooperation among unequals. In this thesis, it is shown that in the presence of intrinsic inequality, a similar unequal distribution of resources can increase the potential for cooperation. This effect is stronger the smaller the group is in which cooperation takes place. It is also shown that under particular assumptions, if the unequal members of a group vary the size of their contributions to a cooperative effort over time, they can thereby increase their efficiency and improve the collective outcome.\r\nCooperative behaviour in a two-person interaction can be rewarded either by direct reciprocation whenever the same two people interact again, or indirectly by a third party who observed the interaction. In the latter case of indirect reciprocity, individuals are proximally rewarded by a good reputation, which ultimately translates to being rewarded with cooperative behaviour by others. This mechanism can enable selfishly motivated cooperation even in circumstances where individuals are unlikely to meet again, akin to how money facilitates trade. While these two forms of reciprocity have mostly been studied in isolation, this thesis analyses both direct and indirect reciprocity in a general model in order to compare their relative effectiveness under different circumstances. The contribution of this thesis is an extension of previous work regarding a specific kind of interaction, whose parameters allow for convenient mathematical analysis, to the most general set of possible interactions."}],"article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"KrCh"}],"related_material":{"record":[{"id":"19843","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"15083"},{"id":"19074","status":"public","relation":"part_of_dissertation"}]},"status":"public","project":[{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"},{"grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","day":"25","date_updated":"2026-04-07T12:30:57Z","page":"157","has_accepted_license":"1","ddc":["519"],"_id":"19903","author":[{"full_name":"Hübner, Valentin","last_name":"Hübner","orcid":"0009-0001-5009-4987","id":"2c8aa207-dc7d-11ea-9b2f-f22972ecd910","first_name":"Valentin"}],"publisher":"Institute of Science and Technology Austria","oa":1,"file_date_updated":"2025-07-09T13:37:00Z","corr_author":"1","publication_status":"published"},{"status":"public","department":[{"_id":"MaLo"}],"corr_author":"1","article_processing_charge":"No","month":"06","file_date_updated":"2025-07-02T08:10:21Z","oa":1,"tmp":{"image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"date_created":"2025-06-27T07:34:52Z","ec_funded":1,"publisher":"Institute of Science and Technology Austria","citation":{"ama":"Springstein BL. Files for “Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape.” 2025. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:19915\">10.15479/AT:ISTA:19915</a>","short":"B.L. Springstein, (2025).","ieee":"B. L. Springstein, “Files for ‘Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape.’” Institute of Science and Technology Austria, 2025.","ista":"Springstein BL. 2025. Files for ‘Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:19915\">10.15479/AT:ISTA:19915</a>.","mla":"Springstein, Benjamin L. <i>Files for “Evolutionary Repurposing of a DNA Segregation Machinery into a Cytoskeletal System Controlling Cyanobacterial Cell Shape.”</i> Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:19915\">10.15479/AT:ISTA:19915</a>.","apa":"Springstein, B. L. (2025). Files for “Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:19915\">https://doi.org/10.15479/AT:ISTA:19915</a>","chicago":"Springstein, Benjamin L. “Files for ‘Evolutionary Repurposing of a DNA Segregation Machinery into a Cytoskeletal System Controlling Cyanobacterial Cell Shape.’” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT:ISTA:19915\">https://doi.org/10.15479/AT:ISTA:19915</a>."},"author":[{"full_name":"Springstein, Benjamin L","orcid":"0000-0002-3461-5391","last_name":"Springstein","id":"b4eb62ef-ac72-11ed-9503-ed3b4d66c083","first_name":"Benjamin L"}],"_id":"19915","oa_version":"Published Version","contributor":[{"contributor_type":"project_leader","first_name":"Benjamin L","id":"b4eb62ef-ac72-11ed-9503-ed3b4d66c083","last_name":"Springstein","orcid":"0000-0002-3461-5391"},{"last_name":"Javoor","first_name":"Manjunath","id":"305ab18b-dc7d-11ea-9b2f-b58195228ea2","contributor_type":"researcher"},{"first_name":"Daniela","contributor_type":"researcher","last_name":"Megrian"},{"contributor_type":"researcher","id":"ffab949d-133f-11ed-8f02-94de21ace503","first_name":"Roman","last_name":"Hajdu"},{"contributor_type":"researcher","first_name":"Dustin M","last_name":"Hanke"},{"last_name":"Schur","orcid":"0000-0003-4790-8078","first_name":"Florian KM","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","contributor_type":"researcher"},{"orcid":"0000-0001-7309-9724","last_name":"Loose","first_name":"Martin","id":"462D4284-F248-11E8-B48F-1D18A9856A87","contributor_type":"supervisor"}],"file":[{"checksum":"5b85c299bdd46cbde000e3449da835e0","success":1,"content_type":"video/x-msvideo","file_size":2003892,"file_name":"Supplementary Movie 1) in vivo time lapse microscopy of mNG-CorM.avi","date_updated":"2025-06-27T07:35:29Z","access_level":"open_access","file_id":"19916","date_created":"2025-06-27T07:35:29Z","creator":"bsprings","relation":"main_file"},{"content_type":"video/x-msvideo","date_updated":"2025-06-27T07:35:28Z","file_size":126618,"file_name":"Supplementary Movie 2) mNG-CorM single cell.avi","checksum":"a05c19dad5ac10bc05f349c3507a70a7","success":1,"file_id":"19917","date_created":"2025-06-27T07:35:28Z","creator":"bsprings","relation":"main_file","access_level":"open_access"},{"access_level":"open_access","file_id":"19918","creator":"bsprings","date_created":"2025-06-27T07:35:29Z","relation":"main_file","checksum":"b3ac037572b2c4cfed4212222915b268","success":1,"content_type":"video/x-msvideo","file_name":"Supplementary Movie 3) mNG-(1-40)CorM single cell.avi","date_updated":"2025-06-27T07:35:29Z","file_size":383114},{"success":1,"checksum":"f4f6b3d1b6add03990f80edbfa14a688","file_name":"Supplementary Movie 4) in vitro FRAP of CorM.avi","date_updated":"2025-06-27T07:35:29Z","file_size":4188170,"content_type":"video/x-msvideo","access_level":"open_access","relation":"main_file","creator":"bsprings","date_created":"2025-06-27T07:35:29Z","file_id":"19919"},{"file_id":"19920","date_created":"2025-06-27T07:35:29Z","creator":"bsprings","relation":"main_file","access_level":"open_access","content_type":"video/x-msvideo","date_updated":"2025-06-27T07:35:29Z","file_name":"Supplementary Movie 5) in vitro FRAP of (1-40)CorM.avi","file_size":3862712,"checksum":"57e0cbcfdd347f75808c7ae049136f22","success":1},{"access_level":"open_access","creator":"bsprings","date_created":"2025-06-27T07:35:29Z","relation":"main_file","file_id":"19921","success":1,"checksum":"58d36666c1f3155d5a641e6b47f3843f","content_type":"video/x-msvideo","file_size":3183046,"file_name":"Supplementary Movie 6) in vitro CorM filament tracking.avi","date_updated":"2025-06-27T07:35:29Z"},{"checksum":"509a0d7db16cf1db581b719d355718db","success":1,"file_name":"Supplementary Movie 7) in vitro CorM dual color imaging.avi","file_size":468600,"date_updated":"2025-06-27T07:35:29Z","content_type":"video/x-msvideo","access_level":"open_access","file_id":"19922","relation":"main_file","date_created":"2025-06-27T07:35:29Z","creator":"bsprings"},{"content_type":"video/x-msvideo","file_size":3038980,"date_updated":"2025-06-27T07:35:29Z","file_name":"Supplementary Movie 8) in vivo MinC oscillation.avi","checksum":"e6e5f8755819503eeb7081049d3d6aa5","success":1,"file_id":"19923","creator":"bsprings","date_created":"2025-06-27T07:35:29Z","relation":"main_file","access_level":"open_access"},{"file_id":"19924","date_created":"2025-06-27T07:35:29Z","creator":"bsprings","relation":"main_file","access_level":"open_access","content_type":"video/x-msvideo","file_size":21730482,"date_updated":"2025-06-27T07:35:29Z","file_name":"Supplementary Movie 9) in vitro CorM + MinC.avi","checksum":"c6c0e4cd9766ecafce52d99a0ac8c339","success":1},{"content_type":"video/x-msvideo","file_name":"Supplementary Movie 10) in vitro CorM + MinC(S50A+L55D).avi","file_size":28315550,"date_updated":"2025-06-27T07:35:29Z","checksum":"abe15b253a7c9a1dc484a614dd2ab30a","success":1,"file_id":"19925","creator":"bsprings","date_created":"2025-06-27T07:35:29Z","relation":"main_file","access_level":"open_access"},{"access_level":"open_access","file_id":"19926","relation":"main_file","creator":"bsprings","date_created":"2025-06-27T07:35:30Z","checksum":"d5cc3426aa3e066ee175e6c3a66cf84d","success":1,"file_size":25693552,"file_name":"Supplementary Movie 11) in vitro CorM + MinC(delta46-67).avi","date_updated":"2025-06-27T07:35:30Z","content_type":"video/x-msvideo"},{"file_id":"19927","relation":"main_file","creator":"bsprings","date_created":"2025-06-27T07:35:30Z","access_level":"open_access","file_name":"Supplementary Movie 12) in vitro CorM + buffer ctrl.avi","file_size":25349196,"date_updated":"2025-06-27T07:35:30Z","content_type":"video/x-msvideo","checksum":"70daf423216753ec5c73afe18f347821","success":1},{"access_level":"open_access","date_created":"2025-07-02T08:10:11Z","creator":"bsprings","relation":"main_file","file_id":"19944","success":1,"checksum":"215744428591d013c0193d6df842ae06","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_size":46992,"date_updated":"2025-07-02T08:10:11Z","file_name":"Readme ISTA repository_Springstein 2025_v2.docx"},{"access_level":"open_access","date_created":"2025-07-02T08:10:21Z","creator":"bsprings","relation":"main_file","file_id":"19945","success":1,"checksum":"693e1c5a1fca4afcf428c325057636d7","content_type":"application/pdf","date_updated":"2025-07-02T08:10:21Z","file_size":79915541,"file_name":"Main Figures.pdf"},{"success":1,"checksum":"51ef5c8e98c388394746c90d04626443","date_updated":"2025-07-02T08:10:19Z","file_name":"Supplementary Figure 1.pdf","file_size":6860499,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","date_created":"2025-07-02T08:10:19Z","creator":"bsprings","file_id":"19946"},{"relation":"main_file","creator":"bsprings","date_created":"2025-07-02T08:10:19Z","file_id":"19947","access_level":"open_access","file_size":3025601,"date_updated":"2025-07-02T08:10:19Z","file_name":"Supplementary Figure 2.pdf","content_type":"application/pdf","success":1,"checksum":"18a416d158b8a74a199054ef618beb08"},{"relation":"main_file","date_created":"2025-07-02T08:10:19Z","creator":"bsprings","file_id":"19948","access_level":"open_access","file_name":"Supplementary Figure 3.pdf","date_updated":"2025-07-02T08:10:19Z","file_size":2130970,"content_type":"application/pdf","success":1,"checksum":"8d252711086b99123bd47a20a1bb96c5"},{"file_size":583089,"file_name":"Supplementary Figure 4.pdf","date_updated":"2025-07-02T08:10:19Z","content_type":"application/pdf","checksum":"c038000e7b5b1fed77888bcba8268e3a","success":1,"file_id":"19949","relation":"main_file","date_created":"2025-07-02T08:10:19Z","creator":"bsprings","access_level":"open_access"},{"access_level":"open_access","creator":"bsprings","date_created":"2025-07-02T08:10:19Z","relation":"main_file","file_id":"19950","success":1,"checksum":"73e4ae52520ff1037336fd088139872f","content_type":"application/pdf","date_updated":"2025-07-02T08:10:19Z","file_size":81663,"file_name":"Supplementary Figure 5.pdf"},{"success":1,"checksum":"b5e75fda4fc9a2599972341777a8de4b","content_type":"application/pdf","file_size":19661623,"date_updated":"2025-07-02T08:10:20Z","file_name":"Supplementary Figure 6.pdf","access_level":"open_access","date_created":"2025-07-02T08:10:20Z","creator":"bsprings","relation":"main_file","file_id":"19951"},{"access_level":"open_access","relation":"main_file","date_created":"2025-07-02T08:10:20Z","creator":"bsprings","file_id":"19952","success":1,"checksum":"aab9ea12e09c12a97d33e3d2d44471e7","file_name":"Supplementary Figure 7.pdf","file_size":3756335,"date_updated":"2025-07-02T08:10:20Z","content_type":"application/pdf"},{"file_name":"Supplementary Figure 8.pdf","date_updated":"2025-07-02T08:10:20Z","file_size":3216820,"content_type":"application/pdf","checksum":"b4c7b6947a0aa2840b7dacc1489896df","success":1,"file_id":"19953","relation":"main_file","creator":"bsprings","date_created":"2025-07-02T08:10:20Z","access_level":"open_access"},{"file_size":7449121,"date_updated":"2025-07-02T08:10:21Z","file_name":"Supplementary Figure 9.pdf","content_type":"application/pdf","success":1,"checksum":"8423814c4dfefad5757835aab8295b2e","relation":"main_file","creator":"bsprings","date_created":"2025-07-02T08:10:21Z","file_id":"19954","access_level":"open_access"},{"success":1,"checksum":"31ecac7daf4b50e2ea443f398fdc2110","content_type":"application/pdf","file_size":6168864,"date_updated":"2025-07-02T08:10:21Z","file_name":"Supplementary Figure 10.pdf","access_level":"open_access","date_created":"2025-07-02T08:10:21Z","creator":"bsprings","relation":"main_file","file_id":"19955"}],"has_accepted_license":"1","doi":"10.15479/AT:ISTA:19915","date_updated":"2026-06-10T08:05:45Z","type":"research_data","date_published":"2025-06-27T00:00:00Z","year":"2025","day":"27","user_id":"68b8ca59-c5b3-11ee-8790-cd641c68093d","acknowledgement":"We thank all members of the Martin Loose lab at ISTA for helpful discussions and Marko Kojic for critical reading of the manuscript. This research was supported by the Scientific Service Units (SSU) of ISTA through resources provided by the Imaging & Optics Facility (IOF), the Scientific Computing (SciComp) and the Electron Microscopy Facility (EMF), as well as the Lab Support Facility (LSF). This project has received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant Agreement No.101034413 awarded to BLS as well as an ERC grant (ActinID, 101076260) from the European Union awarded to FKMS. Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them.\r\n\r\nWe are grateful for Antonia Herrero (Sevilla University) for sharing her extensive BACTH plasmid library and other plasmids as well as cyanobacterial strains. Likewise, we would like to thank Tal Dagan and Fabian Nies (both Kiel University) for sharing cyanobacterial strains and plasmids and for valuable discussions.\r\n\r\nWe would further like to express our gratitude to Nicolas Sapay and Alexis Michon for providing the Amphipaseek code, which enabled us to perform our large-scale amphipathic helix screen of cyanobacterial CorR proteins. Finally, we also want to thank Jesse Hansen for advice in cryo-EM data processing","project":[{"name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","call_identifier":"H2020"},{"name":"A molecular atlas of Actin filament IDentities in the cell motility machinery","_id":"bd980d18-d553-11ed-ba76-ceaa645c97eb","grant_number":"101076260"}],"title":"Files for \"Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape\""},{"date_updated":"2025-12-30T09:00:42Z","external_id":{"pmid":["40471139"],"isi":["001502896900001"]},"day":"01","OA_type":"hybrid","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","publication_status":"published","publisher":"Rockefeller University Press","author":[{"first_name":"Riem","last_name":"Gawish","full_name":"Gawish, Riem"},{"full_name":"Varada, Rajagopal","last_name":"Varada","first_name":"Rajagopal"},{"first_name":"Florian","last_name":"Deckert","full_name":"Deckert, Florian"},{"full_name":"Hladik, Anastasiya","last_name":"Hladik","first_name":"Anastasiya"},{"first_name":"Linda","last_name":"Steinbichl","full_name":"Steinbichl, Linda"},{"last_name":"Cimatti","full_name":"Cimatti, Laura","first_name":"Laura"},{"full_name":"Milanovic, Katarina","last_name":"Milanovic","first_name":"Katarina"},{"first_name":"Mamta","last_name":"Jain","full_name":"Jain, Mamta"},{"first_name":"Natalya","full_name":"Torgasheva, Natalya","last_name":"Torgasheva"},{"first_name":"Andrea","full_name":"Tanzer, Andrea","last_name":"Tanzer"},{"first_name":"Kim","last_name":"De Paepe","full_name":"De Paepe, Kim"},{"first_name":"Tom","full_name":"Van De Wiele, Tom","last_name":"Van De Wiele"},{"first_name":"Bela","last_name":"Hausmann","full_name":"Hausmann, Bela"},{"first_name":"Michaela","full_name":"Lang, Michaela","last_name":"Lang"},{"first_name":"Martin","last_name":"Pechhacker","full_name":"Pechhacker, Martin"},{"first_name":"Nahla","full_name":"Ibrahim, Nahla","last_name":"Ibrahim"},{"id":"4C7D837E-F248-11E8-B48F-1D18A9856A87","first_name":"Ingrid","full_name":"De Vries, Ingrid","last_name":"De Vries"},{"last_name":"Brostjan","full_name":"Brostjan, Christine","first_name":"Christine"},{"full_name":"Sixt, Michael K","last_name":"Sixt","orcid":"0000-0002-6620-9179","first_name":"Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Gasche","full_name":"Gasche, Christoph","first_name":"Christoph"},{"last_name":"Boon","full_name":"Boon, Louis","first_name":"Louis"},{"full_name":"Berry, David","last_name":"Berry","first_name":"David"},{"first_name":"Michael F.","last_name":"Jantsch","full_name":"Jantsch, Michael F."},{"first_name":"Fatima C.","full_name":"Pereira, Fatima C.","last_name":"Pereira"},{"full_name":"Vesely, Cornelia","last_name":"Vesely","first_name":"Cornelia"}],"_id":"19928","ddc":["570"],"has_accepted_license":"1","oa":1,"file_date_updated":"2025-12-30T09:00:04Z","type":"journal_article","scopus_import":"1","publication":"Journal of Experimental Medicine","date_published":"2025-09-01T00:00:00Z","language":[{"iso":"eng"}],"doi":"10.1084/jem.20240109","pmid":1,"publication_identifier":{"issn":["0022-1007"],"eissn":["1540-9538"]},"article_number":"e20240109","title":"Filamin A editing in myeloid cells reduces intestinal inflammation and protects from colitis","year":"2025","intvolume":"       222","issue":"9","acknowledgement":"Sequencing was performed by the Vienna BioCenter Core Facilities (Medical University of Vienna Core Facility) and the Biomedical Sequencing Facility at CeMM, Vienna. Cell sorting and flow cytometry were performed at the Core Facility Flow Cytometry and Imaging (Medical University of Vienna). We thank Jasmin Schwarz, Gudrun Kohl, Petra Pjevac, and Joana Seneca Silva from the Joint Microbiome Facility of the Medical University of Vienna and the University of Vienna for assisting with amplicon and metagenomic sequencing, as well as repositing of sequencing data. We thank Sophia Derdak and Michael Schuster for initial data analysis, Robert Vilvoi and Stephan Hemm for animal handling, Marcel Kertesz for mouse genotyping, and Salwan Roumaia for next generation sequencing sample preparation. Treatment schemes and graphical abstracts were created with https://BioRender.com.\r\n\r\nThis work was supported by the Austrian Science Fund, grant number ZK 57-B28 to C. Vesely, R. Gawish, and F.C. Pereira; grant number V 1025-B to R. Gawish; grant number DOC32-B28 to R. Varada and M.F. Jantsch; and F8007 and P32678 to M.F. Jantsch. Open Access funding provided by Medical University of Vienna.","department":[{"_id":"MiSi"}],"article_processing_charge":"Yes (via OA deal)","abstract":[{"lang":"eng","text":"Patho-mechanistic origins of ulcerative colitis are still poorly understood. The actin cross-linker filamin A (FLNA) impacts cellular responses through interaction with cytosolic proteins. Posttranscriptional A-to-I editing generates two forms of FLNA: genome-encoded FLNAQ and FLNAR. FLNA is edited in colon fibroblasts, smooth muscle cells, and endothelial cells. We found that the FLNA editing status determines colitis severity. Editing was highest in healthy colons and reduced during murine and human colitis. Mice that exclusively express FLNAR were highly resistant to DSS-induced colitis, whereas fully FLNAQ animals developed severe inflammation. While the genetic induction of FLNA editing influenced transcriptional states of structural cells and microbiome composition, we found that FLNAR exerts protection specifically via myeloid cells, which are physiologically unedited. Introducing fixed FLNAR did not hamper cell migration but reduced macrophage inflammation and rendered neutrophils less prone to NETosis. Thus, loss of FLNA editing correlates with colitis severity, and targeted editing of myeloid cells serves as a novel therapeutic approach in intestinal inflammation."}],"isi":1,"volume":222,"month":"09","status":"public","OA_place":"publisher","citation":{"apa":"Gawish, R., Varada, R., Deckert, F., Hladik, A., Steinbichl, L., Cimatti, L., … Vesely, C. (2025). Filamin A editing in myeloid cells reduces intestinal inflammation and protects from colitis. <i>Journal of Experimental Medicine</i>. Rockefeller University Press. <a href=\"https://doi.org/10.1084/jem.20240109\">https://doi.org/10.1084/jem.20240109</a>","mla":"Gawish, Riem, et al. “Filamin A Editing in Myeloid Cells Reduces Intestinal Inflammation and Protects from Colitis.” <i>Journal of Experimental Medicine</i>, vol. 222, no. 9, e20240109, Rockefeller University Press, 2025, doi:<a href=\"https://doi.org/10.1084/jem.20240109\">10.1084/jem.20240109</a>.","chicago":"Gawish, Riem, Rajagopal Varada, Florian Deckert, Anastasiya Hladik, Linda Steinbichl, Laura Cimatti, Katarina Milanovic, et al. “Filamin A Editing in Myeloid Cells Reduces Intestinal Inflammation and Protects from Colitis.” <i>Journal of Experimental Medicine</i>. Rockefeller University Press, 2025. <a href=\"https://doi.org/10.1084/jem.20240109\">https://doi.org/10.1084/jem.20240109</a>.","ista":"Gawish R, Varada R, Deckert F, Hladik A, Steinbichl L, Cimatti L, Milanovic K, Jain M, Torgasheva N, Tanzer A, De Paepe K, Van De Wiele T, Hausmann B, Lang M, Pechhacker M, Ibrahim N, de Vries I, Brostjan C, Sixt MK, Gasche C, Boon L, Berry D, Jantsch MF, Pereira FC, Vesely C. 2025. Filamin A editing in myeloid cells reduces intestinal inflammation and protects from colitis. Journal of Experimental Medicine. 222(9), e20240109.","ieee":"R. Gawish <i>et al.</i>, “Filamin A editing in myeloid cells reduces intestinal inflammation and protects from colitis,” <i>Journal of Experimental Medicine</i>, vol. 222, no. 9. Rockefeller University Press, 2025.","ama":"Gawish R, Varada R, Deckert F, et al. Filamin A editing in myeloid cells reduces intestinal inflammation and protects from colitis. <i>Journal of Experimental Medicine</i>. 2025;222(9). doi:<a href=\"https://doi.org/10.1084/jem.20240109\">10.1084/jem.20240109</a>","short":"R. Gawish, R. Varada, F. Deckert, A. Hladik, L. Steinbichl, L. Cimatti, K. Milanovic, M. Jain, N. Torgasheva, A. Tanzer, K. De Paepe, T. Van De Wiele, B. Hausmann, M. Lang, M. Pechhacker, N. Ibrahim, I. de Vries, C. Brostjan, M.K. Sixt, C. Gasche, L. Boon, D. Berry, M.F. Jantsch, F.C. Pereira, C. Vesely, Journal of Experimental Medicine 222 (2025)."},"oa_version":"Published Version","file":[{"checksum":"708d61fb8cf1d83ee1e33ddcfde0857e","success":1,"file_size":9349311,"file_name":"2025_JEM_Gawish.pdf","date_updated":"2025-12-30T09:00:04Z","content_type":"application/pdf","access_level":"open_access","file_id":"20899","relation":"main_file","date_created":"2025-12-30T09:00:04Z","creator":"dernst"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"article_type":"original","date_created":"2025-06-29T22:01:15Z"},{"has_accepted_license":"1","ddc":["520"],"author":[{"full_name":"Gurung-López, Siddhartha","last_name":"Gurung-López","first_name":"Siddhartha"},{"first_name":"Chris","last_name":"Byrohl","full_name":"Byrohl, Chris"},{"full_name":"Gronke, Max","last_name":"Gronke","first_name":"Max"},{"first_name":"Daniele","full_name":"Spinoso, Daniele","last_name":"Spinoso"},{"first_name":"Alberto","id":"018f0249-0e87-11f0-b167-cbce08fbd541","orcid":"0000-0001-5586-6950","last_name":"Torralba Torregrosa","full_name":"Torralba Torregrosa, Alberto"},{"first_name":"Alberto","full_name":"Fernández-Soto, Alberto","last_name":"Fernández-Soto"},{"full_name":"Arnalte-Mur, Pablo","last_name":"Arnalte-Mur","first_name":"Pablo"},{"first_name":"Vicent J.","full_name":"Martínez, Vicent J.","last_name":"Martínez"}],"_id":"19929","publisher":"EDP Sciences","oa":1,"file_date_updated":"2025-06-30T08:28:40Z","quality_controlled":"1","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","external_id":{"isi":["001507317300003"],"arxiv":["2501.04077"]},"OA_type":"diamond","date_updated":"2026-02-16T12:11:56Z","file":[{"date_updated":"2025-06-30T08:28:40Z","file_size":5758102,"file_name":"2025_AstronomyAstrophysics_GurungLopez.pdf","content_type":"application/pdf","checksum":"a50a817b72f03534c6a867035b51e433","success":1,"file_id":"19933","relation":"main_file","date_created":"2025-06-30T08:28:40Z","creator":"dernst","access_level":"open_access"}],"oa_version":"Published Version","citation":{"ieee":"S. Gurung-López <i>et al.</i>, “zELDA II: Reconstruction of galactic Lyman-alpha spectra attenuated by the intergalactic medium using neural networks,” <i>Astronomy &#38; Astrophysics</i>, vol. 698. EDP Sciences, 2025.","ista":"Gurung-López S, Byrohl C, Gronke M, Spinoso D, Torralba Torregrosa A, Fernández-Soto A, Arnalte-Mur P, Martínez VJ. 2025. zELDA II: Reconstruction of galactic Lyman-alpha spectra attenuated by the intergalactic medium using neural networks. Astronomy &#38; Astrophysics. 698, A139.","mla":"Gurung-López, Siddhartha, et al. “ZELDA II: Reconstruction of Galactic Lyman-Alpha Spectra Attenuated by the Intergalactic Medium Using Neural Networks.” <i>Astronomy &#38; Astrophysics</i>, vol. 698, A139, EDP Sciences, 2025, doi:<a href=\"https://doi.org/10.1051/0004-6361/202453547\">10.1051/0004-6361/202453547</a>.","apa":"Gurung-López, S., Byrohl, C., Gronke, M., Spinoso, D., Torralba Torregrosa, A., Fernández-Soto, A., … Martínez, V. J. (2025). zELDA II: Reconstruction of galactic Lyman-alpha spectra attenuated by the intergalactic medium using neural networks. <i>Astronomy &#38; Astrophysics</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/0004-6361/202453547\">https://doi.org/10.1051/0004-6361/202453547</a>","chicago":"Gurung-López, Siddhartha, Chris Byrohl, Max Gronke, Daniele Spinoso, Alberto Torralba Torregrosa, Alberto Fernández-Soto, Pablo Arnalte-Mur, and Vicent J. Martínez. “ZELDA II: Reconstruction of Galactic Lyman-Alpha Spectra Attenuated by the Intergalactic Medium Using Neural Networks.” <i>Astronomy &#38; Astrophysics</i>. EDP Sciences, 2025. <a href=\"https://doi.org/10.1051/0004-6361/202453547\">https://doi.org/10.1051/0004-6361/202453547</a>.","ama":"Gurung-López S, Byrohl C, Gronke M, et al. zELDA II: Reconstruction of galactic Lyman-alpha spectra attenuated by the intergalactic medium using neural networks. <i>Astronomy &#38; Astrophysics</i>. 2025;698. doi:<a href=\"https://doi.org/10.1051/0004-6361/202453547\">10.1051/0004-6361/202453547</a>","short":"S. Gurung-López, C. Byrohl, M. Gronke, D. Spinoso, A. Torralba Torregrosa, A. Fernández-Soto, P. Arnalte-Mur, V.J. Martínez, Astronomy &#38; Astrophysics 698 (2025)."},"OA_place":"publisher","date_created":"2025-06-29T22:01:15Z","article_type":"original","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"volume":698,"isi":1,"abstract":[{"lang":"eng","text":"Context. The observed Lyman-alpha (Lyα) line profile is a convolution of the complex Lyα radiative transfer taking place in the interstellar, circumgalactic, and intergalactic media (ISM, CGM, and IGM, respectively). Discerning the different components of the Lyα line is crucial in order to use it as a probe of galaxy formation or the evolution of the IGM.\r\n\r\nAims. We aim to present the second version of zELDA (redshift Estimator for Line profiles of Distant Lyman-Alpha emitters), an open-source Python module focused on modelling and fitting observed Lyα line profiles. This new version of zELDA focuses on disentangling the galactic from the IGM effects.\r\n\r\nMethods. We built realistic Lyα line profiles that include the ISM and IGM contributions by combining the Monte Carlo radiative-transfer simulations for the so-called shell model (ISM) and IGM transmission curves generated from TNG100. We used these mock line profiles to train different artificial neural networks. These use the observed spectrum as input and the outflow parameters of the best fitting ‘shell model’ as output along with the redshift and Lyα emission IGM escape fraction of the source.\r\n\r\nResults. We measured the accuracy of zELDA on mock Lyα line profiles. We find that zELDA is capable of reconstructing the ISM emerging Lyα line profile with high levels of accuracy (Kolmogórov-Smirnov<0.1) for 95% of the cases for HST/COS-like observations and 80% for MUSE-WIDE-like observations. zELDA is able to measure the IGM transmission with typical uncertainties below 10% for HST/COS and MUSE-WIDE data.\r\n\r\nConclusions. This work represents a step forward in the high-precision reconstruction of IGM-attenuated Lyα line profiles. zELDA allows the disentanglement of the galactic and IGM contribution shaping the Lyα line shape and thus allows us to use Lyα as a tool to study galaxy and ISM evolution."}],"month":"06","article_processing_charge":"No","department":[{"_id":"JoMa"}],"status":"public","title":"zELDA II: Reconstruction of galactic Lyman-alpha spectra attenuated by the intergalactic medium using neural networks","article_number":"A139","arxiv":1,"publication_identifier":{"eissn":["1432-0746"],"issn":["0004-6361"]},"acknowledgement":"The authors acknowledge the financial support from the MICIU with funding from the European Union NextGenerationEU and Generalitat Valenciana in the call Programa de Planes Complementarios de I+D+i (PRTR 2022) Project (VAL-JPAS), reference ASFAE/2022/025. This work is part of the research Project PID2023-149420NB-I00 funded by MICIU/AEI/10.13039/501100011033 and by ERDF/EU. This work is also supported by the project of excellence PROMETEO CIPROM/2023/21 of the Conselleria de Educación, Universidades y Empleo (Generalitat Valenciana). MG thanks the Max Planck Society for support through the Max Planck Research Group. DS acknowledges the support by the Tsinghua Shui Mu Scholarship, funding of the National Key R&D Program of China (grant no. 2023YFA1605600), the science research grants from the China Manned Space Project with no. CMS-CSST2021-A05, and the Tsinghua University Initiative Scientific Research Program (no. 20223080023). This research made use of matplotlib, a Python library for publication quality graphics (Hunter 2007), NumPy (Harris et al. 2020) and SciPy (Virtanen et al. 2020).","intvolume":"       698","year":"2025","publication":"Astronomy & Astrophysics","language":[{"iso":"eng"}],"date_published":"2025-06-01T00:00:00Z","scopus_import":"1","type":"journal_article","doi":"10.1051/0004-6361/202453547"},{"publication_status":"published","quality_controlled":"1","file_date_updated":"2025-06-30T08:22:08Z","oa":1,"_id":"19930","author":[{"first_name":"D.","last_name":"Dottorini","full_name":"Dottorini, D."},{"first_name":"A.","last_name":"Calabrò","full_name":"Calabrò, A."},{"last_name":"Pentericci","full_name":"Pentericci, L.","first_name":"L."},{"last_name":"Mascia","full_name":"Mascia, Sara","first_name":"Sara","id":"edaf889c-c7cd-11ef-ab1b-bb28c431bd29"},{"last_name":"Llerena","full_name":"Llerena, M.","first_name":"M."},{"last_name":"Napolitano","full_name":"Napolitano, L.","first_name":"L."},{"first_name":"P.","last_name":"Santini","full_name":"Santini, P."},{"first_name":"G.","full_name":"Roberts-Borsani, G.","last_name":"Roberts-Borsani"},{"first_name":"M.","last_name":"Castellano","full_name":"Castellano, M."},{"first_name":"R.","last_name":"Amorin","full_name":"Amorin, R."},{"last_name":"Dickinson","full_name":"Dickinson, M.","first_name":"M."},{"first_name":"A.","last_name":"Fontana","full_name":"Fontana, A."},{"first_name":"N.","last_name":"Hathi","full_name":"Hathi, N."},{"last_name":"Hirschmann","full_name":"Hirschmann, M.","first_name":"M."},{"last_name":"Koekemoer","full_name":"Koekemoer, A. M.","first_name":"A. M."},{"full_name":"Lucas, R. A.","last_name":"Lucas","first_name":"R. A."},{"first_name":"E.","full_name":"Merlin, E.","last_name":"Merlin"},{"full_name":"Morales, A.","last_name":"Morales","first_name":"A."},{"full_name":"Pacucci, F.","last_name":"Pacucci","first_name":"F."},{"first_name":"S.","full_name":"Wilkins, S.","last_name":"Wilkins"},{"first_name":"P.","last_name":"Arrabal Haro","full_name":"Arrabal Haro, P."},{"full_name":"Bagley, M.","last_name":"Bagley","first_name":"M."},{"first_name":"S. L.","last_name":"Finkelstein","full_name":"Finkelstein, S. L."},{"first_name":"J.","last_name":"Kartaltepe","full_name":"Kartaltepe, J."},{"last_name":"Papovich","full_name":"Papovich, C.","first_name":"C."},{"full_name":"Pirzkal, N.","last_name":"Pirzkal","first_name":"N."}],"has_accepted_license":"1","ddc":["520"],"publisher":"EDP Sciences","date_updated":"2026-02-16T12:11:39Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","external_id":{"isi":["001510826300019"],"arxiv":["2412.01623"]},"OA_type":"diamond","status":"public","article_processing_charge":"No","month":"06","abstract":[{"lang":"eng","text":"We present an analysis of the UV continuum slope, β, using a sample of 726 galaxies with z > 4, selected from a mixture of JWST ERS, GTO, and GO observational programs. We considered only spectroscopic data obtained with the low-resolution (R ∼ 30 − 300) PRISM/CLEAR NIRSpec configuration. Studying the correlation between β and MUV, we find an overall decreasing trend, described by β = ( − 0.055 ± 0.017)MUV + ( − 2.98 ± 0.34). This is consistent with previous studies, where brighter galaxies show redder β values. However, when analyzing the trend in separate redshift bins, we find that at high redshift the relation becomes much flatter and is consistent with a flat slope within 1σ. Furthermore, we find that β tends to decrease with redshift, following β = ( − 0.075 ± 0.010)z + ( − 1.496 ± 0.056). This is consistent with most recent results showing a steepening of the spectra at higher z. We selected a sample of galaxies with extremely blue slopes (i.e., β < −2.6). Such slopes are steeper than predicted by stellar evolution models – even for dust-free, young, metal-poor populations – when the contribution of nebular emission is included. We selected 44 extremely blue galaxies (XBGs) and investigated the possible physical origin of their steep slopes by comparing them to a subsample of redder galaxies (matched in Δz = ±0.5 and ΔMUV = ±0.2). We find that XBGs have younger stellar populations, stronger ionization fields, lower dust attenuation, and lower but not pristine metallicity (∼10% Z⊙) compared to red galaxies. However, these properties alone cannot explain the extreme β values. Using indirect inference of Lyman continuum escape with the most recent models, we estimated the escape fraction fesc > 10% in at least 25% of the XBGs, whereas all the red sources exhibit much lower fesc values. A reduced nebular continuum contribution – resulting from either a high escape fraction or a bursty star formation history – is likely the origin of the extremely blue slopes."}],"volume":698,"isi":1,"department":[{"_id":"JoMa"}],"date_created":"2025-06-29T22:01:15Z","article_type":"original","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"oa_version":"Published Version","file":[{"content_type":"application/pdf","date_updated":"2025-06-30T08:22:08Z","file_size":2442076,"file_name":"2025_AstronomyAstrophysics_Dottorini.pdf","checksum":"100f897d468de9d0113277c870035b62","success":1,"file_id":"19932","creator":"dernst","date_created":"2025-06-30T08:22:08Z","relation":"main_file","access_level":"open_access"}],"OA_place":"publisher","citation":{"ieee":"D. Dottorini <i>et al.</i>, “Evolution of the UV slope of galaxies at cosmic morning (z &#62; 4): The properties of extremely blue galaxies,” <i>Astronomy &#38; Astrophysics</i>, vol. 698. EDP Sciences, 2025.","ista":"Dottorini D, Calabrò A, Pentericci L, Mascia S, Llerena M, Napolitano L, Santini P, Roberts-Borsani G, Castellano M, Amorin R, Dickinson M, Fontana A, Hathi N, Hirschmann M, Koekemoer AM, Lucas RA, Merlin E, Morales A, Pacucci F, Wilkins S, Arrabal Haro P, Bagley M, Finkelstein SL, Kartaltepe J, Papovich C, Pirzkal N. 2025. Evolution of the UV slope of galaxies at cosmic morning (z &#62; 4): The properties of extremely blue galaxies. Astronomy &#38; Astrophysics. 698, A234.","mla":"Dottorini, D., et al. “Evolution of the UV Slope of Galaxies at Cosmic Morning (z &#62; 4): The Properties of Extremely Blue Galaxies.” <i>Astronomy &#38; Astrophysics</i>, vol. 698, A234, EDP Sciences, 2025, doi:<a href=\"https://doi.org/10.1051/0004-6361/202453267\">10.1051/0004-6361/202453267</a>.","apa":"Dottorini, D., Calabrò, A., Pentericci, L., Mascia, S., Llerena, M., Napolitano, L., … Pirzkal, N. (2025). Evolution of the UV slope of galaxies at cosmic morning (z &#62; 4): The properties of extremely blue galaxies. <i>Astronomy &#38; Astrophysics</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/0004-6361/202453267\">https://doi.org/10.1051/0004-6361/202453267</a>","chicago":"Dottorini, D., A. Calabrò, L. Pentericci, Sara Mascia, M. Llerena, L. Napolitano, P. Santini, et al. “Evolution of the UV Slope of Galaxies at Cosmic Morning (z &#62; 4): The Properties of Extremely Blue Galaxies.” <i>Astronomy &#38; Astrophysics</i>. EDP Sciences, 2025. <a href=\"https://doi.org/10.1051/0004-6361/202453267\">https://doi.org/10.1051/0004-6361/202453267</a>.","ama":"Dottorini D, Calabrò A, Pentericci L, et al. Evolution of the UV slope of galaxies at cosmic morning (z &#62; 4): The properties of extremely blue galaxies. <i>Astronomy &#38; Astrophysics</i>. 2025;698. doi:<a href=\"https://doi.org/10.1051/0004-6361/202453267\">10.1051/0004-6361/202453267</a>","short":"D. Dottorini, A. Calabrò, L. Pentericci, S. Mascia, M. Llerena, L. Napolitano, P. Santini, G. Roberts-Borsani, M. Castellano, R. Amorin, M. Dickinson, A. Fontana, N. Hathi, M. Hirschmann, A.M. Koekemoer, R.A. Lucas, E. Merlin, A. Morales, F. Pacucci, S. Wilkins, P. Arrabal Haro, M. Bagley, S.L. Finkelstein, J. Kartaltepe, C. Papovich, N. Pirzkal, Astronomy &#38; Astrophysics 698 (2025)."},"doi":"10.1051/0004-6361/202453267","scopus_import":"1","publication":"Astronomy & Astrophysics","date_published":"2025-06-01T00:00:00Z","language":[{"iso":"eng"}],"type":"journal_article","acknowledgement":"We acknowledges support from the INAF Large Grant for Extragalactic Surveys with JWST and from the PRIN 2022 MUR project 2022CB3PJ3 – First Light And Galaxy aSsembly (FLAGS) funded by the European Union – Next Generation EU. PS acknowledges INAF Mini Grant 2022 “The evolution of passive galaxies through cosmic time”. Part of the research activities described in this paper were carried out with the contribution of the Next Generation EU funds within the National Recovery and Resilience Plan (PNRR), Mission 4 – Education and Research, Component 2 – From Research to Business (M4C2), Investment Line 3.1 – Strengthening and creation of Research Infrastructures, Project IR0000034 – “STILES – Strengthening the Italian Leadership in ELT and SKA”. RA acknowledges support of Grant project PID2023-147386NB-I00 funded by MICIU/AEI/10.13039/501100011033 and by ERDF/EU, and the Severo Ochoa grant CEX2021-001131-S funded by MCIN/AEI/10.13039/50110001103.","year":"2025","intvolume":"       698","title":"Evolution of the UV slope of galaxies at cosmic morning (z > 4): The properties of extremely blue galaxies","arxiv":1,"article_number":"A234","publication_identifier":{"eissn":["1432-0746"],"issn":["0004-6361"]}},{"oa":1,"file_date_updated":"2025-06-30T08:44:24Z","_id":"19931","author":[{"last_name":"Furtak","full_name":"Furtak, Lukas J.","first_name":"Lukas J."},{"first_name":"Amy R.","full_name":"Secunda, Amy R.","last_name":"Secunda"},{"first_name":"Jenny E.","full_name":"Greene, Jenny E.","last_name":"Greene"},{"first_name":"Adi","full_name":"Zitrin, Adi","last_name":"Zitrin"},{"first_name":"Ivo","last_name":"Labbé","full_name":"Labbé, Ivo"},{"first_name":"Miriam","last_name":"Golubchik","full_name":"Golubchik, Miriam"},{"first_name":"Rachel","full_name":"Bezanson, Rachel","last_name":"Bezanson"},{"first_name":"Vasily","full_name":"Kokorev, Vasily","last_name":"Kokorev"},{"last_name":"Atek","full_name":"Atek, Hakim","first_name":"Hakim"},{"first_name":"Gabriel B.","full_name":"Brammer, Gabriel B.","last_name":"Brammer"},{"first_name":"Iryna","last_name":"Chemerynska","full_name":"Chemerynska, Iryna"},{"last_name":"Cutler","full_name":"Cutler, Sam E.","first_name":"Sam E."},{"last_name":"Dayal","full_name":"Dayal, Pratika","first_name":"Pratika"},{"last_name":"Feldmann","full_name":"Feldmann, Robert","first_name":"Robert"},{"first_name":"Seiji","last_name":"Fujimoto","full_name":"Fujimoto, Seiji"},{"first_name":"Karl","last_name":"Glazebrook","full_name":"Glazebrook, Karl"},{"first_name":"Joel","full_name":"Leja, Joel","last_name":"Leja"},{"full_name":"Ma, Yilun","last_name":"Ma","first_name":"Yilun"},{"full_name":"Matthee, Jorryt J","last_name":"Matthee","orcid":"0000-0003-2871-127X","first_name":"Jorryt J","id":"7439a258-f3c0-11ec-9501-9df22fe06720"},{"full_name":"Naidu, Rohan P.","last_name":"Naidu","first_name":"Rohan P."},{"full_name":"Nelson, Erica J.","last_name":"Nelson","first_name":"Erica J."},{"first_name":"Pascal A.","last_name":"Oesch","full_name":"Oesch, Pascal A."},{"first_name":"Richard","full_name":"Pan, Richard","last_name":"Pan"},{"full_name":"Price, Sedona H.","last_name":"Price","first_name":"Sedona H."},{"last_name":"Suess","full_name":"Suess, Katherine A.","first_name":"Katherine A."},{"first_name":"Bingjie","full_name":"Wang, Bingjie","last_name":"Wang"},{"last_name":"Weaver","full_name":"Weaver, John R.","first_name":"John R."},{"last_name":"Whitaker","full_name":"Whitaker, Katherine E.","first_name":"Katherine E."}],"has_accepted_license":"1","ddc":["520"],"publisher":"EDP Sciences","publication_status":"published","quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_type":"diamond","day":"01","external_id":{"arxiv":["2502.07875"],"isi":["001510826300017"]},"date_updated":"2026-02-16T12:11:22Z","date_created":"2025-06-29T22:01:16Z","article_type":"original","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"oa_version":"Published Version","file":[{"file_id":"19934","date_created":"2025-06-30T08:44:24Z","creator":"dernst","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"2025_AstronomyAstrophysics_Furtak.pdf","date_updated":"2025-06-30T08:44:24Z","file_size":1835865,"checksum":"567fa02a9791d489355ec75d02bb1cb9","success":1}],"OA_place":"publisher","citation":{"ama":"Furtak LJ, Secunda AR, Greene JE, et al. Investigating photometric and spectroscopic variability in the multiply imaged little red dot A2744-QSO1. <i>Astronomy &#38; Astrophysics</i>. 2025;698. doi:<a href=\"https://doi.org/10.1051/0004-6361/202554110\">10.1051/0004-6361/202554110</a>","short":"L.J. Furtak, A.R. Secunda, J.E. Greene, A. Zitrin, I. Labbé, M. Golubchik, R. Bezanson, V. Kokorev, H. Atek, G.B. Brammer, I. Chemerynska, S.E. Cutler, P. Dayal, R. Feldmann, S. Fujimoto, K. Glazebrook, J. Leja, Y. Ma, J.J. Matthee, R.P. Naidu, E.J. Nelson, P.A. Oesch, R. Pan, S.H. Price, K.A. Suess, B. Wang, J.R. Weaver, K.E. Whitaker, Astronomy &#38; Astrophysics 698 (2025).","ieee":"L. J. Furtak <i>et al.</i>, “Investigating photometric and spectroscopic variability in the multiply imaged little red dot A2744-QSO1,” <i>Astronomy &#38; Astrophysics</i>, vol. 698. EDP Sciences, 2025.","ista":"Furtak LJ, Secunda AR, Greene JE, Zitrin A, Labbé I, Golubchik M, Bezanson R, Kokorev V, Atek H, Brammer GB, Chemerynska I, Cutler SE, Dayal P, Feldmann R, Fujimoto S, Glazebrook K, Leja J, Ma Y, Matthee JJ, Naidu RP, Nelson EJ, Oesch PA, Pan R, Price SH, Suess KA, Wang B, Weaver JR, Whitaker KE. 2025. Investigating photometric and spectroscopic variability in the multiply imaged little red dot A2744-QSO1. Astronomy &#38; Astrophysics. 698, A227.","apa":"Furtak, L. J., Secunda, A. R., Greene, J. E., Zitrin, A., Labbé, I., Golubchik, M., … Whitaker, K. E. (2025). Investigating photometric and spectroscopic variability in the multiply imaged little red dot A2744-QSO1. <i>Astronomy &#38; Astrophysics</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/0004-6361/202554110\">https://doi.org/10.1051/0004-6361/202554110</a>","mla":"Furtak, Lukas J., et al. “Investigating Photometric and Spectroscopic Variability in the Multiply Imaged Little Red Dot A2744-QSO1.” <i>Astronomy &#38; Astrophysics</i>, vol. 698, A227, EDP Sciences, 2025, doi:<a href=\"https://doi.org/10.1051/0004-6361/202554110\">10.1051/0004-6361/202554110</a>.","chicago":"Furtak, Lukas J., Amy R. Secunda, Jenny E. Greene, Adi Zitrin, Ivo Labbé, Miriam Golubchik, Rachel Bezanson, et al. “Investigating Photometric and Spectroscopic Variability in the Multiply Imaged Little Red Dot A2744-QSO1.” <i>Astronomy &#38; Astrophysics</i>. EDP Sciences, 2025. <a href=\"https://doi.org/10.1051/0004-6361/202554110\">https://doi.org/10.1051/0004-6361/202554110</a>."},"status":"public","article_processing_charge":"No","volume":698,"month":"06","isi":1,"abstract":[{"lang":"eng","text":"JWST observations have uncovered a new population of red, compact objects at high redshifts dubbed “little red dots” (LRDs), which typically show broad emission lines and are thought to be dusty active galactic nuclei (AGNs). Some of their other features, however, challenge the AGN explanation, such as prominent Balmer breaks and extremely faint or even missing metal high-ionization lines, X-ray, or radio emission, including in deep stacks. Time variability is another robust test of AGN activity. Here, we exploit the z = 7.045 multiply imaged LRD A2744-QSO1, which offers a particularly unique test of variability due to lensing-induced time delays between the three images spanning 22 yr (2.7 yr in the rest-frame), to investigate its photometric and spectroscopic variability. We find the equivalent widths (EWs) of the broad Hα and Hβ lines, which are independent of magnification and other systematics, to exhibit significant variations, of up to 18 ± 3% for Hα and up to 22 ± 8% in Hβ, on a timescale of 875 d (2.4 yr) in the rest-frame. This suggests that A2744-QSO1 is indeed an AGN. We find no significant photometric variability beyond the limiting systematic uncertainties, so it currently cannot be determined whether the EW variations are due to line-flux or continuum variability. These results are consistent with a typical damped random walk variability model for an AGN such as A2744-QSO1 (MBH = 4 × 107 M⊙) given the sparse sampling of the light curve with the available data. Our results therefore support the AGN interpretation of this LRD, and highlight the need for further photometric and spectroscopic monitoring in order to build a detailed and reliable light curve."}],"department":[{"_id":"JoMa"}],"acknowledgement":"We would like to thank Xihan Ji, Hannah Übler, and Roberto Maiolino, for cordial and useful discussions. The BGU lensing group acknowledges support by grant No. 2020750 from the United States-Israel Binational Science Foundation (BSF) and grant No. 2109066 from the United States National Science Foundation (NSF), and by the Israel Science Foundation Grant No. 864/23. P.D. warmly thanks the European Commission’s and University of Groningen’s CO-FUND Rosalind Franklin program. This work is based on observations obtained with the NASA/ESA/CSA JWST, namely programs GO-2756, -2561, -2883, -3538, -4111, and -3516, retrieved from the Mikulski Archive for Space Telescopes (MAST) at the Space Telescope Science Institute (STScI). STScI is operated by the Association of Universities for Research in Astronomy, Inc. under NASA contract NAS 5-26555. The spectroscopy products presented herein, from JWST program GO-2561, were retrieved from the Dawn JWST Archive (DJA). DJA is an initiative of the Cosmic Dawn Center (DAWN), which is funded by the Danish National Research Foundation under grant DNRF140. The data used in this work may be retrieved from the MAST archive at: http://dx.doi.org/10.17909/p7t7-te67. This work also makes use of the Center for Computational Astrophysics at the Flatiron Institute which is supported by the Simons Foundation. Support for JWST programs GO-2561, -4111, and -3516 was provided by NASA through grants from STScI. This research made use of Astropy, (http://www.astropy.org) a community-developed core Python package for Astronomy (Astropy Collaboration 2013, 2018) and Photutils, an Astropy package for detection and photometry of astronomical sources (Bradley et al. 2024), as well as the packages NumPy (van der Walt et al. 2011), SciPy (Virtanen et al. 2020), Matplotlib (Hunter 2007), and the MAAT Astronomy and Astrophysics tools for MATLAB (Ofek 2014).","year":"2025","intvolume":"       698","title":"Investigating photometric and spectroscopic variability in the multiply imaged little red dot A2744-QSO1","article_number":"A227","arxiv":1,"publication_identifier":{"eissn":["1432-0746"],"issn":["0004-6361"]},"doi":"10.1051/0004-6361/202554110","scopus_import":"1","publication":"Astronomy & Astrophysics","date_published":"2025-06-01T00:00:00Z","language":[{"iso":"eng"}],"type":"journal_article"},{"OA_place":"publisher","citation":{"chicago":"Spies, Simon, Niklas Mück, Haoyi Zeng, Michael Joachim Sammler, Andrea Lattuada, Peter Müller, and Derek Dreyer. “Destabilizing Iris.” <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery, 2025. <a href=\"https://doi.org/10.1145/3729284\">https://doi.org/10.1145/3729284</a>.","mla":"Spies, Simon, et al. “Destabilizing Iris.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 9, no. PLDI, Association for Computing Machinery, 2025, pp. 848–73, doi:<a href=\"https://doi.org/10.1145/3729284\">10.1145/3729284</a>.","apa":"Spies, S., Mück, N., Zeng, H., Sammler, M. J., Lattuada, A., Müller, P., &#38; Dreyer, D. (2025). Destabilizing Iris. <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3729284\">https://doi.org/10.1145/3729284</a>","ieee":"S. Spies <i>et al.</i>, “Destabilizing Iris,” <i>Proceedings of the ACM on Programming Languages</i>, vol. 9, no. PLDI. Association for Computing Machinery, pp. 848–873, 2025.","ista":"Spies S, Mück N, Zeng H, Sammler MJ, Lattuada A, Müller P, Dreyer D. 2025. Destabilizing Iris. Proceedings of the ACM on Programming Languages. 9(PLDI), 848–873.","short":"S. Spies, N. Mück, H. Zeng, M.J. Sammler, A. Lattuada, P. Müller, D. Dreyer, Proceedings of the ACM on Programming Languages 9 (2025) 848–873.","ama":"Spies S, Mück N, Zeng H, et al. Destabilizing Iris. <i>Proceedings of the ACM on Programming Languages</i>. 2025;9(PLDI):848-873. doi:<a href=\"https://doi.org/10.1145/3729284\">10.1145/3729284</a>"},"oa_version":"Published Version","file":[{"access_level":"open_access","creator":"dernst","date_created":"2025-06-30T09:01:08Z","relation":"main_file","file_id":"19938","success":1,"checksum":"6b72d84c10a10ba7cd1646e2c36dc1ff","content_type":"application/pdf","file_name":"2025_ProcACMProg_Spies.pdf","file_size":843343,"date_updated":"2025-06-30T09:01:08Z"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2025-06-30T08:47:31Z","article_type":"original","department":[{"_id":"MiSa"}],"article_processing_charge":"Yes (in subscription journal)","volume":9,"month":"06","abstract":[{"lang":"eng","text":"The separation logic framework Iris has been built on the premise that all assertions are stable, meaning they unconditionally enjoy the famous frame rule. This gives Iris—and the numerous program logics that build on it—very modular reasoning principles. But stability also comes at a cost. It excludes a core feature of the Viper verifier family, heap-dependent expression assertions, which lift program expressions to the assertion level in order to reduce redundancy between code and specifications and better facilitate SMT-based automation.\r\nIn this paper, we bring heap-dependent expression assertions to Iris with Daenerys. To do so, we must first revisit the very core of Iris, extending it with a new form of unstable resources (and adapting the frame rule accordingly). On top, we then build a program logic with heap-dependent expression assertions and lay the foundations for connecting Iris to SMT solvers. We apply Daenerys to several case studies, including some that go beyond what Viper and Iris can do individually and others that benefit from the connection to SMT."}],"status":"public","publication_identifier":{"eissn":["2475-1421"]},"title":"Destabilizing Iris","year":"2025","intvolume":"         9","acknowledgement":"We would like to thank the anonymous reviewers for their helpful feedback and Alex Summers\r\nfor insightful discussions. This work was funded in part by a Google PhD Fellowship for the first\r\nauthor.","issue":"PLDI","type":"journal_article","scopus_import":"1","publication":"Proceedings of the ACM on Programming Languages","date_published":"2025-06-01T00:00:00Z","language":[{"iso":"eng"}],"doi":"10.1145/3729284","publisher":"Association for Computing Machinery","author":[{"last_name":"Spies","full_name":"Spies, Simon","first_name":"Simon"},{"first_name":"Niklas","full_name":"Mück, Niklas","last_name":"Mück"},{"first_name":"Haoyi","last_name":"Zeng","full_name":"Zeng, Haoyi"},{"last_name":"Sammler","full_name":"Sammler, Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","first_name":"Michael Joachim"},{"last_name":"Lattuada","full_name":"Lattuada, Andrea","first_name":"Andrea"},{"first_name":"Peter","last_name":"Müller","full_name":"Müller, Peter"},{"first_name":"Derek","last_name":"Dreyer","full_name":"Dreyer, Derek"}],"_id":"19935","ddc":["000"],"has_accepted_license":"1","oa":1,"file_date_updated":"2025-06-30T09:01:08Z","quality_controlled":"1","corr_author":"1","publication_status":"published","OA_type":"hybrid","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"848-873","date_updated":"2025-06-30T09:10:11Z"},{"publisher":"Association for Computing Machinery","_id":"19936","author":[{"first_name":"Kimaya","last_name":"Bedarkar","full_name":"Bedarkar, Kimaya"},{"full_name":"Elbeheiry, Laila","last_name":"Elbeheiry","first_name":"Laila"},{"first_name":"Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","last_name":"Sammler","full_name":"Sammler, Michael Joachim"},{"last_name":"Gäher","full_name":"Gäher, Lennard","first_name":"Lennard"},{"full_name":"Brandenburg, Björn","last_name":"Brandenburg","first_name":"Björn"},{"full_name":"Dreyer, Derek","last_name":"Dreyer","first_name":"Derek"},{"last_name":"Garg","full_name":"Garg, Deepak","first_name":"Deepak"}],"has_accepted_license":"1","ddc":["000"],"file_date_updated":"2025-06-30T09:08:05Z","oa":1,"quality_controlled":"1","corr_author":"1","publication_status":"published","OA_type":"hybrid","day":"13","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"73-97","date_updated":"2025-06-30T09:09:55Z","OA_place":"publisher","citation":{"ama":"Bedarkar K, Elbeheiry L, Sammler MJ, et al. RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers. <i>Proceedings of the ACM on Programming Languages</i>. 2025;9(PLDI):73-97. doi:<a href=\"https://doi.org/10.1145/3729249\">10.1145/3729249</a>","short":"K. Bedarkar, L. Elbeheiry, M.J. Sammler, L. Gäher, B. Brandenburg, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 9 (2025) 73–97.","ieee":"K. Bedarkar <i>et al.</i>, “RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers,” <i>Proceedings of the ACM on Programming Languages</i>, vol. 9, no. PLDI. Association for Computing Machinery, pp. 73–97, 2025.","ista":"Bedarkar K, Elbeheiry L, Sammler MJ, Gäher L, Brandenburg B, Dreyer D, Garg D. 2025. RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers. Proceedings of the ACM on Programming Languages. 9(PLDI), 73–97.","mla":"Bedarkar, Kimaya, et al. “RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 9, no. PLDI, Association for Computing Machinery, 2025, pp. 73–97, doi:<a href=\"https://doi.org/10.1145/3729249\">10.1145/3729249</a>.","apa":"Bedarkar, K., Elbeheiry, L., Sammler, M. J., Gäher, L., Brandenburg, B., Dreyer, D., &#38; Garg, D. (2025). RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers. <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3729249\">https://doi.org/10.1145/3729249</a>","chicago":"Bedarkar, Kimaya, Laila Elbeheiry, Michael Joachim Sammler, Lennard Gäher, Björn Brandenburg, Derek Dreyer, and Deepak Garg. “RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers.” <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery, 2025. <a href=\"https://doi.org/10.1145/3729249\">https://doi.org/10.1145/3729249</a>."},"oa_version":"Published Version","file":[{"access_level":"open_access","file_id":"19939","date_created":"2025-06-30T09:08:05Z","creator":"dernst","relation":"main_file","checksum":"8c18d777feb342a7265c54b16205ec4c","success":1,"content_type":"application/pdf","date_updated":"2025-06-30T09:08:05Z","file_name":"2025_ProcACMProg_Bedarkar.pdf","file_size":1043790}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"article_type":"original","date_created":"2025-06-30T08:47:58Z","department":[{"_id":"MiSa"}],"article_processing_charge":"Yes (in subscription journal)","month":"06","volume":9,"abstract":[{"lang":"eng","text":"There has been a recent upsurge of interest in formal, machine-checked verification of timing guarantees for C implementations of real-time system schedulers. However, prior work has only considered tick-based schedulers, which enjoy a clearly defined notion of time: the time \"quantum\". In this work, we present a new approach to real-time systems verification for interrupt-free schedulers, which are commonly used in deeply embedded and resource-constrained systems but which do not enjoy a natural notion of periodic time. Our approach builds on and connects two recently developed Rocq-based systems—RefinedC (for foundational C verification) and Prosa (for verified response-time analysis)—adapting the former to reason about timed traces and the latter to reason about overheads. We apply the resulting system, which we call RefinedProsa, to verify Rössl, a simple yet representative, fixed-priority, non-preemptive, interrupt-free scheduler implemented in C."}],"status":"public","publication_identifier":{"issn":["2475-1421"]},"title":"RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers","year":"2025","intvolume":"         9","issue":"PLDI","acknowledgement":"We would like to thank the anonymous reviewers for their helpful feedback.\r\nThis project has received funding from the European Research Council (ERC) under the European\r\nUnion’s Horizon 2020 research and innovation programme (grant agreement No 803111).","type":"journal_article","scopus_import":"1","date_published":"2025-06-13T00:00:00Z","language":[{"iso":"eng"}],"publication":"Proceedings of the ACM on Programming Languages","doi":"10.1145/3729249"},{"status":"public","article_processing_charge":"No","abstract":[{"lang":"eng","text":"Simplets are elementary units within simplicial complexes and are fundamental for analyzing the structure of simplicial complexes. Previous efforts have mainly focused on accurately counting or approximating the number of simplets rather than studying their frequencies. However, analyzing simplet frequencies is more practical for large-scale simplicial complexes. This paper introduces the Simplet Frequency Distribution (SFD) vector, which enables the analysis of simplet frequencies in simplicial complexes. Additionally, we provide a bound on the sample complexity required to approximate the SFD vector using any uniform sampling-based algorithm accurately. We extend the definition of simplet frequency distribution to encompass simplices, allowing for the analysis of simplet frequencies within simplices of simplicial complexes. This paper introduces the Simplet Degree Vector (SDV) and the Simplet Degree Centrality (SDC), facilitating this analysis for each simplex. Furthermore, we present a bound on the sample complexity required for accurately approximating the SDV and SDC for a set of simplices using any uniform sampling-based algorithm. We also introduce algorithms for approximating SFD, geometric SFD, SDV, and SDC. We also validate the theoretical bounds with experiments on random simplicial complexes and demonstrate the practical application through a case study."}],"month":"11","volume":719,"isi":1,"department":[{"_id":"HeEd"}],"ec_funded":1,"article_type":"original","date_created":"2025-06-30T08:48:48Z","oa_version":"None","citation":{"ama":"Mahini M, Beigy H, Qadami S, Saghafian M. Simplet-based signatures and approximation in simplicial complexes: Frequency, degree, and centrality. <i>Information Sciences</i>. 2025;719(11). doi:<a href=\"https://doi.org/10.1016/j.ins.2025.122425\">10.1016/j.ins.2025.122425</a>","short":"M. Mahini, H. Beigy, S. Qadami, M. Saghafian, Information Sciences 719 (2025).","ista":"Mahini M, Beigy H, Qadami S, Saghafian M. 2025. Simplet-based signatures and approximation in simplicial complexes: Frequency, degree, and centrality. Information Sciences. 719(11), 122425.","ieee":"M. Mahini, H. Beigy, S. Qadami, and M. Saghafian, “Simplet-based signatures and approximation in simplicial complexes: Frequency, degree, and centrality,” <i>Information Sciences</i>, vol. 719, no. 11. Elsevier, 2025.","mla":"Mahini, Mohammad, et al. “Simplet-Based Signatures and Approximation in Simplicial Complexes: Frequency, Degree, and Centrality.” <i>Information Sciences</i>, vol. 719, no. 11, 122425, Elsevier, 2025, doi:<a href=\"https://doi.org/10.1016/j.ins.2025.122425\">10.1016/j.ins.2025.122425</a>.","apa":"Mahini, M., Beigy, H., Qadami, S., &#38; Saghafian, M. (2025). Simplet-based signatures and approximation in simplicial complexes: Frequency, degree, and centrality. <i>Information Sciences</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ins.2025.122425\">https://doi.org/10.1016/j.ins.2025.122425</a>","chicago":"Mahini, Mohammad, Hamid Beigy, Salman Qadami, and Morteza Saghafian. “Simplet-Based Signatures and Approximation in Simplicial Complexes: Frequency, Degree, and Centrality.” <i>Information Sciences</i>. Elsevier, 2025. <a href=\"https://doi.org/10.1016/j.ins.2025.122425\">https://doi.org/10.1016/j.ins.2025.122425</a>."},"doi":"10.1016/j.ins.2025.122425","scopus_import":"1","publication":"Information Sciences","date_published":"2025-11-01T00:00:00Z","language":[{"iso":"eng"}],"type":"journal_article","issue":"11","acknowledgement":"The authors would like to thank the anonymous reviewers for their valuable comments and suggestions, which improved this paper.\r\nWork by the first and fourth authors is partially supported by the European Research Council (ERC), grant no. 788183, by the Wittgenstein Prize, Austrian Science Fund (FWF), grant no. Z 342-N31, and by the DFG Collaborative Research Center TRR 109, Austrian Science Fund (FWF), grant no. I 02979-N35.","year":"2025","intvolume":"       719","title":"Simplet-based signatures and approximation in simplicial complexes: Frequency, degree, and centrality","publication_identifier":{"issn":["0020-0255"]},"article_number":"122425","publication_status":"published","quality_controlled":"1","corr_author":"1","author":[{"first_name":"Mohammad","full_name":"Mahini, Mohammad","last_name":"Mahini"},{"first_name":"Hamid","last_name":"Beigy","full_name":"Beigy, Hamid"},{"first_name":"Salman","full_name":"Qadami, Salman","last_name":"Qadami"},{"id":"f86f7148-b140-11ec-9577-95435b8df824","first_name":"Morteza","last_name":"Saghafian","full_name":"Saghafian, Morteza"}],"_id":"19937","publisher":"Elsevier","date_updated":"2025-12-30T09:05:32Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"isi":["001516170500002"]},"day":"01","OA_type":"closed access","project":[{"call_identifier":"H2020","grant_number":"788183","name":"Alpha Shape Theory Extended","_id":"266A2E9E-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"Mathematics, Computer Science","_id":"268116B8-B435-11E9-9278-68D0E5697425","grant_number":"Z00342"},{"_id":"2561EBF4-B435-11E9-9278-68D0E5697425","name":"Persistence and stability of geometric complexes","grant_number":"I02979-N35","call_identifier":"FWF"}]},{"contributor":[{"contributor_type":"researcher","first_name":"Darja","last_name":"Rohden"},{"contributor_type":"researcher","first_name":"Federico","last_name":"Napoli"},{"contributor_type":"researcher","first_name":"Ben","last_name":"Tatman"},{"last_name":"Schanda","first_name":"Paul","contributor_type":"researcher"}],"has_accepted_license":"1","file":[{"file_size":1160,"file_name":"README","date_updated":"2025-07-03T10:30:14Z","content_type":"application/octet-stream","checksum":"a2ef61aa9fb5313c7d426913eb0482c0","success":1,"file_id":"19960","relation":"main_file","date_created":"2025-07-03T10:30:14Z","creator":"pschanda","access_level":"open_access"},{"access_level":"open_access","file_id":"19961","relation":"main_file","creator":"pschanda","date_created":"2025-07-03T10:30:55Z","checksum":"8fb77b96d0fcc95c9903005652207a8c","success":1,"date_updated":"2025-07-03T10:30:55Z","file_name":"data_Arg_MASNMR_Rohden.zip","file_size":128597184,"content_type":"application/zip"},{"checksum":"a60cc16d20b089c4bef94040a99cfba5","success":1,"file_name":"20240903_ubi_DN_Argd1C13_2D_spectra.tar.xz","date_updated":"2025-08-14T07:06:58Z","file_size":4766564,"content_type":"application/x-xz","access_level":"open_access","file_id":"20172","relation":"main_file","date_created":"2025-08-14T07:06:58Z","creator":"pschanda"}],"ddc":["572"],"oa_version":"Published Version","_id":"19956","author":[{"last_name":"Schanda","orcid":"0000-0002-9350-7606","full_name":"Schanda, Paul","first_name":"Paul","id":"7B541462-FAF6-11E9-A490-E8DFE5697425"}],"acknowledged_ssus":[{"_id":"NMR"},{"_id":"LifeSc"}],"citation":{"ieee":"P. Schanda, “Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme.” Institute of Science and Technology Austria, 2025.","ista":"Schanda P. 2025. Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT-ISTA-19956\">10.15479/AT-ISTA-19956</a>.","chicago":"Schanda, Paul. “Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-19956\">https://doi.org/10.15479/AT-ISTA-19956</a>.","apa":"Schanda, P. (2025). Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-19956\">https://doi.org/10.15479/AT-ISTA-19956</a>","mla":"Schanda, Paul. <i>Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-19956\">10.15479/AT-ISTA-19956</a>.","short":"P. Schanda, (2025).","ama":"Schanda P. Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-19956\">10.15479/AT-ISTA-19956</a>"},"publisher":"Institute of Science and Technology Austria","date_created":"2025-07-03T04:21:37Z","tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png"},"oa":1,"file_date_updated":"2025-08-14T07:06:58Z","abstract":[{"lang":"eng","text":"The specific introduction of 1H-13C or 1H-15N moieties into otherwise deuterated proteins holds great potential for high-resolution solution and magic-angle spinning (MAS) NMR studies of protein structure and dynamics. Arginine residues play key roles for example at active sites of enzymes. Taking advantage of a chemically synthesized Arg with a 13C-1H2 group in an otherwise deuterated backbone, we demonstrate here the usefulness of proton-detected arginine MAS NMR approaches to probe arginine dynamics. In experiments on crystalline ubiquitin and the 134 kDa tetrameric enzyme malate dehydrogenase we detected a wide range of motions, from sites that are rigid on time scales of at least tens of milliseconds to residues undergoing predominantly nanosecond motions. Spin-relaxation and dipolar-coupling measurements enabled quantitative determination of these dynamics. We observed microsecond dynamics of residue Arg54 in crystalline ubiquitin, whose backbone is known to sample different β-turn conformations on this time scale. The labeling scheme and experiments presented here expand the toolkit for high-resolution proton-detected MAS NMR"}],"month":"07","article_processing_charge":"No","corr_author":"1","department":[{"_id":"PaSc"}],"related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"20258"}]},"status":"public","title":"Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme","project":[{"_id":"eb9c82eb-77a9-11ec-83b8-aadd536561cf","name":"AlloSpace. The emergence and mechanisms of allostery","grant_number":"I05812"}],"user_id":"68b8ca59-c5b3-11ee-8790-cd641c68093d","year":"2025","day":"03","date_published":"2025-07-03T00:00:00Z","type":"research_data","date_updated":"2026-06-10T08:20:38Z","doi":"10.15479/AT-ISTA-19956"},{"citation":{"short":"K.D. Kuhn, U.H. Cho, M. Hetzer, Life Science Alliance 8 (2025).","ama":"Kuhn KD, Cho UH, Hetzer M. PSME3 regulates migration and differentiation of myoblasts. <i>Life Science Alliance</i>. 2025;8(9). doi:<a href=\"https://doi.org/10.26508/lsa.202503208\">10.26508/lsa.202503208</a>","chicago":"Kuhn, Kenneth D, Ukrae H. Cho, and Martin Hetzer. “PSME3 Regulates Migration and Differentiation of Myoblasts.” <i>Life Science Alliance</i>. Embo Press, 2025. <a href=\"https://doi.org/10.26508/lsa.202503208\">https://doi.org/10.26508/lsa.202503208</a>.","mla":"Kuhn, Kenneth D., et al. “PSME3 Regulates Migration and Differentiation of Myoblasts.” <i>Life Science Alliance</i>, vol. 8, no. 9, e202503208, Embo Press, 2025, doi:<a href=\"https://doi.org/10.26508/lsa.202503208\">10.26508/lsa.202503208</a>.","apa":"Kuhn, K. D., Cho, U. H., &#38; Hetzer, M. (2025). PSME3 regulates migration and differentiation of myoblasts. <i>Life Science Alliance</i>. Embo Press. <a href=\"https://doi.org/10.26508/lsa.202503208\">https://doi.org/10.26508/lsa.202503208</a>","ieee":"K. D. Kuhn, U. H. Cho, and M. Hetzer, “PSME3 regulates migration and differentiation of myoblasts,” <i>Life Science Alliance</i>, vol. 8, no. 9. Embo Press, 2025.","ista":"Kuhn KD, Cho UH, Hetzer M. 2025. PSME3 regulates migration and differentiation of myoblasts. Life Science Alliance. 8(9), e202503208."},"acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"Bio"}],"OA_place":"publisher","file":[{"access_level":"open_access","file_id":"20904","date_created":"2025-12-30T09:17:09Z","creator":"dernst","relation":"main_file","checksum":"591d47aa39fc969986c7d3b966890f5f","success":1,"content_type":"application/pdf","date_updated":"2025-12-30T09:17:09Z","file_size":5471288,"file_name":"2025_LifeScienceAlliance_Kuhn.pdf"}],"oa_version":"Published Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2025-07-06T22:01:22Z","article_type":"original","department":[{"_id":"MaHe"}],"isi":1,"month":"09","volume":8,"abstract":[{"text":"The acquisition of cellular identity requires large-scale alterations in cellular state. The noncanonical proteasome activator PSME3 is known to regulate diverse cellular processes, but its importance for differentiation remains unclear. Here, we demonstrate that PSME3 binds dynamically to highly active promoters over the course of differentiation. However, loss of PSME3 does not globally affect mRNA transcription. We find instead that PSME3 influences the levels of several adhesion-related proteins and acts upstream of the HSP90 co-chaperone NUDC to regulate cell motility and myoblast differentiation in a proteasome-independent manner. Our findings reveal several new facets of PSME3 functionality and highlight its importance for the differentiation of myogenic cells.","lang":"eng"}],"article_processing_charge":"Yes","status":"public","pmid":1,"publication_identifier":{"eissn":["2575-1077"]},"article_number":"e202503208","title":"PSME3 regulates migration and differentiation of myoblasts","intvolume":"         8","year":"2025","acknowledgement":"All proteomics analysis was done by the ISTA LSF Mass Spectrometry Service: Ewelina Dutkiewicz-Kopczynska processed the samples (digest and cleanup); Bella Bruszel optimized the acquisition methods, acquired the data, and performed all searches; and Armel Nicolas provided pre- and post-project consulting and post-processed the search results using a development version of their data analysis package, proteoCraft (publication pending). The authors would like to thank Saki for their clarity of thought and insight, as well as Dr. Lorenzo Puri and the members of his laboratory for invaluable discussions relating to the project. This research was further supported by the Lab Support Facility and the Imaging and Optics Facility of ISTA.","issue":"9","type":"journal_article","language":[{"iso":"eng"}],"date_published":"2025-09-01T00:00:00Z","publication":"Life Science Alliance","scopus_import":"1","doi":"10.26508/lsa.202503208","publisher":"Embo Press","ddc":["570"],"has_accepted_license":"1","author":[{"id":"7deed7e0-0133-11f0-8590-c4600b08d0f4","first_name":"Kenneth D","full_name":"Kuhn, Kenneth D","last_name":"Kuhn"},{"last_name":"Cho","full_name":"Cho, Ukrae H.","first_name":"Ukrae H."},{"id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed","first_name":"Martin W","full_name":"Hetzer, Martin W","orcid":"0000-0002-2111-992X","last_name":"Hetzer"}],"_id":"19963","APC_amount":"4215,38 EUR","file_date_updated":"2025-12-30T09:17:09Z","oa":1,"PlanS_conform":"1","quality_controlled":"1","corr_author":"1","DOAJ_listed":"1","publication_status":"published","project":[{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"day":"01","external_id":{"isi":["001511452100001"],"pmid":["40537284"]},"OA_type":"gold","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-05-20T08:38:04Z"}]