[{"ddc":["000"],"publication_identifier":{"isbn":["9783959774185"],"eissn":["1868-8969"]},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","alternative_title":["LIPIcs"],"volume":367,"acknowledgement":"Timothy M. Chan: Supported by NSF grant CCF-2224271.\r\nHsien-Chih Chang: Supported by NSF CAREER award CCF-2443017.\r\nJie Gao: Supported by NSF DMS-2220271, DMS-2311064, IIS-2229876, CCF-2118953, CNS-2515159.\r\nSándor Kisfaludi-Bak: Supported by the Research Council of Finland, Grant 363444.\r\nHung Le: Supported by an NSF grant CCF-2517033 and an NSF CAREER Award CCF-2237288. Da Wei Zheng: This project has received funding from the Austrian Science Fund (FWF) grant\r\nDOI 10.55776/I5982. For open access purposes, the author has applied a CC BY public copyright license to any author-accepted manuscript version arising from this submission.","das_tickbox":"0","date_updated":"2026-06-22T08:37:44Z","language":[{"iso":"eng"}],"citation":{"ieee":"T. M. Chan, H. C. Chang, J. Gao, S. Kisfaludi-Bak, H. Le, and D. W. Zheng, “Charting the diameter computation landscape of intersection graphs in 3D and above,” in <i>42nd International Symposium on Computational Geometry</i>, New Brunswick, NJ, United States, 2026, vol. 367.","apa":"Chan, T. M., Chang, H. C., Gao, J., Kisfaludi-Bak, S., Le, H., &#38; Zheng, D. W. (2026). Charting the diameter computation landscape of intersection graphs in 3D and above. In <i>42nd International Symposium on Computational Geometry</i> (Vol. 367). New Brunswick, NJ, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2026.29\">https://doi.org/10.4230/LIPIcs.SoCG.2026.29</a>","chicago":"Chan, Timothy M., Hsien Chih Chang, Jie Gao, Sándor Kisfaludi-Bak, Hung Le, and Da Wei Zheng. “Charting the Diameter Computation Landscape of Intersection Graphs in 3D and Above.” In <i>42nd International Symposium on Computational Geometry</i>, Vol. 367. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2026.29\">https://doi.org/10.4230/LIPIcs.SoCG.2026.29</a>.","ama":"Chan TM, Chang HC, Gao J, Kisfaludi-Bak S, Le H, Zheng DW. Charting the diameter computation landscape of intersection graphs in 3D and above. In: <i>42nd International Symposium on Computational Geometry</i>. Vol 367. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2026. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2026.29\">10.4230/LIPIcs.SoCG.2026.29</a>","ista":"Chan TM, Chang HC, Gao J, Kisfaludi-Bak S, Le H, Zheng DW. 2026. Charting the diameter computation landscape of intersection graphs in 3D and above. 42nd International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 367, 29:1-29:15.","short":"T.M. Chan, H.C. Chang, J. Gao, S. Kisfaludi-Bak, H. Le, D.W. Zheng, in:, 42nd International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.","mla":"Chan, Timothy M., et al. “Charting the Diameter Computation Landscape of Intersection Graphs in 3D and Above.” <i>42nd International Symposium on Computational Geometry</i>, vol. 367, 29:1-29:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2026.29\">10.4230/LIPIcs.SoCG.2026.29</a>."},"article_number":"29:1-29:15","date_created":"2026-06-14T22:01:44Z","OA_type":"gold","publication":"42nd International Symposium on Computational Geometry","oa_version":"Published Version","arxiv":1,"external_id":{"arxiv":["2603.21790"]},"publication_status":"published","type":"conference","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"has_accepted_license":"1","oa":1,"file":[{"content_type":"application/pdf","creator":"dernst","file_id":"22114","checksum":"ffff03934cc182757d6db82d88f896e6","file_size":918197,"access_level":"open_access","date_updated":"2026-06-22T08:34:11Z","success":1,"file_name":"2026_LIPIcSSoCG_Chan.pdf","relation":"main_file","date_created":"2026-06-22T08:34:11Z"}],"quality_controlled":"1","date_published":"2026-05-27T00:00:00Z","project":[{"grant_number":"I05982","_id":"bda196b2-d553-11ed-ba76-8e8ee6c21103","name":"Static and Dynamic Hierarchical Graph Decompositions"}],"corr_author":"1","department":[{"_id":"MoHe"}],"doi":"10.4230/LIPIcs.SoCG.2026.29","title":"Charting the diameter computation landscape of intersection graphs in 3D and above","_id":"22004","abstract":[{"text":"Recent research on computing the diameter of geometric intersection graphs has made significant strides, primarily focusing on the 2D case [Duraj et al., 2024; Hsien-Chih Chang et al., 2024; Chan et al., 2025] where truly subquadratic-time algorithms were given for simple objects such as unit-disks and (axis-aligned) squares. However, in three or higher dimensions, there is no known truly subquadratic-time algorithm for any intersection graph of non-trivial objects, even basic ones such as unit balls or (axis-aligned) unit cubes. This was partially explained by the pioneering work of Bringmann et al. [Karl Bringmann et al., 2022] which gave several truly subquadratic lower bounds, notably for unit balls or unit cubes in 3D when the graph diameter Δ is at least Ω(log n), hinting at a pessimistic outlook for the complexity of the diameter problem in higher dimensions. In this paper, we substantially extend the landscape of diameter computation for objects in three and higher dimensions, giving a few positive results. Our highlighted findings include:  \r\n1) A truly subquadratic-time algorithm for deciding if the diameter of unit cubes in 3D is at most 3 (Diameter-3 hereafter), the first algorithm of its kind for objects in 3D or higher dimensions. Our algorithm is based on a novel connection to pseudolines, which is of independent interest. \r\n2) A truly subquadratic time lower bound for Diameter-3 of unit balls in 3D under the Orthogonal Vector (OV) hypothesis, giving the first separation between unit balls and unit cubes in the small diameter regime. Previously, computing the diameter for both objects was known to be quadratic hard when the diameter is Ω(log n) [Karl Bringmann et al., 2022]. \r\n3) A near-linear-time algorithm for Diameter-2 of unit cubes in 3D, generalizing the previous result for unit squares in 2D [Karl Bringmann et al., 2022]. \r\n4) A truly subquadratic-time algorithm and lower bound for Diameter-2 and Diameter-3 of rectangular boxes (of arbitrary dimension and sizes), respectively.","lang":"eng"}],"status":"public","scopus_import":"1","conference":{"end_date":"2026-06-05","name":"SoCG: Symposium on Computational Geometry","start_date":"2026-06-02","location":"New Brunswick, NJ, United States"},"file_date_updated":"2026-06-22T08:34:11Z","article_processing_charge":"Yes","fulldoi":"https://doi.org/10.4230/LIPIcs.SoCG.2026.29","OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"27","author":[{"full_name":"Chan, Timothy M.","last_name":"Chan","first_name":"Timothy M."},{"first_name":"Hsien Chih","full_name":"Chang, Hsien Chih","last_name":"Chang"},{"full_name":"Gao, Jie","last_name":"Gao","first_name":"Jie"},{"full_name":"Kisfaludi-Bak, Sándor","last_name":"Kisfaludi-Bak","first_name":"Sándor"},{"first_name":"Hung","last_name":"Le","full_name":"Le, Hung"},{"id":"af77956b-e859-11ef-8dc9-d301b898e32f","last_name":"Zheng","full_name":"Zheng, Da Wei","first_name":"Da Wei"}],"month":"05","keyword":["Graph Diameter","Geometric Intersection Graphs","Unit Ball Graphs"],"intvolume":"       367","year":"2026"},{"oa_version":"Published Version","OA_type":"hybrid","publication":"27th International Symposium on Formal Methods","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"conference","publication_status":"published","external_id":{"arxiv":["2603.00728"]},"arxiv":1,"citation":{"ieee":"M. Chalupa, T. A. Henzinger, N. E. Sarac, and E. Yu, “Quantitative monitoring of Signal First-Order logic,” in <i>27th International Symposium on Formal Methods</i>, Tokyo, Japan, 2026, vol. 16557, pp. 214–233.","apa":"Chalupa, M., Henzinger, T. A., Sarac, N. E., &#38; Yu, E. (2026). Quantitative monitoring of Signal First-Order logic. In <i>27th International Symposium on Formal Methods</i> (Vol. 16557, pp. 214–233). Tokyo, Japan: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-032-26220-2_11\">https://doi.org/10.1007/978-3-032-26220-2_11</a>","chicago":"Chalupa, Marek, Thomas A Henzinger, Naci E Sarac, and Emily Yu. “Quantitative Monitoring of Signal First-Order Logic.” In <i>27th International Symposium on Formal Methods</i>, 16557:214–33. Springer Nature, 2026. <a href=\"https://doi.org/10.1007/978-3-032-26220-2_11\">https://doi.org/10.1007/978-3-032-26220-2_11</a>.","ama":"Chalupa M, Henzinger TA, Sarac NE, Yu E. Quantitative monitoring of Signal First-Order logic. In: <i>27th International Symposium on Formal Methods</i>. Vol 16557. Springer Nature; 2026:214-233. doi:<a href=\"https://doi.org/10.1007/978-3-032-26220-2_11\">10.1007/978-3-032-26220-2_11</a>","ista":"Chalupa M, Henzinger TA, Sarac NE, Yu E. 2026. Quantitative monitoring of Signal First-Order logic. 27th International Symposium on Formal Methods. FM: Formal Methods, LNCS, vol. 16557, 214–233.","short":"M. Chalupa, T.A. Henzinger, N.E. Sarac, E. Yu, in:, 27th International Symposium on Formal Methods, Springer Nature, 2026, pp. 214–233.","mla":"Chalupa, Marek, et al. “Quantitative Monitoring of Signal First-Order Logic.” <i>27th International Symposium on Formal Methods</i>, vol. 16557, Springer Nature, 2026, pp. 214–33, doi:<a href=\"https://doi.org/10.1007/978-3-032-26220-2_11\">10.1007/978-3-032-26220-2_11</a>."},"language":[{"iso":"eng"}],"date_created":"2026-06-14T22:01:44Z","acknowledgement":"We thank the anonymous reviewers for their helpful comments. This work was supported by the European Research Council (ERC) Grants VAMOS (No. 101020093) and HYPER (No. 101055412), and by the Advanced Research and Invention Agency under the Safeguarded AI programme (MSAI-PR01-P047).","volume":16557,"date_updated":"2026-06-22T08:21:09Z","das_tickbox":"0","ddc":["000"],"alternative_title":["LNCS"],"publisher":"Springer Nature","publication_identifier":{"issn":["0302-9743"],"isbn":["9783032262196"],"eissn":["1611-3349"]},"intvolume":"     16557","keyword":["Signal first-order logic","Robustness-based quantitative semantics","Online runtime monitoring"],"ec_funded":1,"year":"2026","fulldoi":"https://doi.org/10.1007/978-3-032-26220-2_11","OA_place":"publisher","article_processing_charge":"No","file_date_updated":"2026-06-22T08:18:41Z","month":"05","day":"18","author":[{"full_name":"Chalupa, Marek","last_name":"Chalupa","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","first_name":"Marek"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724"},{"first_name":"Naci E","full_name":"Sarac, Naci E","last_name":"Sarac","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425"},{"orcid":"0000-0002-4993-773X","full_name":"Yu, Zhengqi","last_name":"Yu","id":"20aa2ae8-f2f1-11ed-bbfa-8205053f1342","first_name":"Zhengqi"}],"page":"214-233","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Quantitative monitoring of Signal First-Order logic","doi":"10.1007/978-3-032-26220-2_11","scopus_import":"1","conference":{"start_date":"2026-05-18","name":"FM: Formal Methods","location":"Tokyo, Japan","end_date":"2026-05-22"},"status":"public","_id":"22006","abstract":[{"text":"Runtime monitoring checks, during execution, whether a partial signal produced by a hybrid system satisfies its specification. Signal First-Order Logic (SFO) offers expressive real-time specifications over such signals, but currently comes only with Boolean semantics and has no tool support. We provide the first robustness-based quantitative semantics for SFO, enabling the expression and evaluation of rich real-time properties beyond the scope of existing formalisms such as Signal Temporal Logic. To enable online monitoring, we identify a past-time fragment of SFO and give a pastification procedure that transforms bounded-response SFO formulas into equisatisfiable formulas in this fragment. We then develop an efficient runtime monitoring algorithm for this past-time fragment and evaluate its performance on a set of benchmarks, demonstrating the practicality and effectiveness of our approach. To the best of our knowledge, this is the first publicly available prototype for online quantitative monitoring of full SFO.","lang":"eng"}],"oa":1,"has_accepted_license":"1","department":[{"_id":"ToHe"}],"project":[{"name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","call_identifier":"H2020"}],"file":[{"content_type":"application/pdf","file_id":"22113","creator":"dernst","checksum":"7055199ecb985e9e2e272f4988827067","date_updated":"2026-06-22T08:18:41Z","file_size":849237,"access_level":"open_access","success":1,"file_name":"2026_LNCS_Chalupa.pdf","relation":"main_file","date_created":"2026-06-22T08:18:41Z"}],"date_published":"2026-05-18T00:00:00Z","quality_controlled":"1"},{"title":"Tunable field-linked s-wave interactions in dipolar fermi mixtures","doi":"10.1038/s42005-026-02578-8","PlanS_conform":"1","article_type":"original","scopus_import":"1","_id":"22100","status":"public","abstract":[{"lang":"eng","text":"Spin mixtures of degenerate fermions are a cornerstone of quantum many-body physics, enabling superfluidity, polarons, and rich spin dynamics through s-wave scattering resonances. Combining them with strong, long-range dipolar interactions provides highly flexible control schemes promising even more exotic quantum phases. Recently, microwave shielding gave access to spin-polarized degenerate samples of dipolar fermionic molecules, where tunable p-wave interactions were enabled by field-linked resonances available only by compromising the shielding (due to experimental limitations). Here, we study the scattering properties of a fermionic dipolar spin mixture and show that a universal s-wave resonance is readily accessible without compromising the shielding. We develop a universal description of the tunable s-wave interaction and weakly bound tetratomic states based on the microwave-field parameters. The s-wave resonance paves the way to stable, controllable and strongly-interacting dipolar spin mixtures of deeply degenerate fermions and supports favorable conditions to reach this regime via evaporative cooling."}],"dataavailabilitystatement":"The data that support the findings of this study are available from the corresponding authors upon request. The computational codes that were used to generate the figures presented in this study are available from the corresponding authors upon request.","oa":1,"has_accepted_license":"1","corr_author":"1","project":[{"_id":"7c040762-9f16-11ee-852c-dd79eeee4ab3","name":"Coherent Optical Metrology Beyond Electric-Dipole-Allowed Transitions","grant_number":"F100403"},{"_id":"8fa7db46-16d5-11f0-9cad-917600954daf","name":"Polarons in Lead Halide Perovskites","grant_number":"12078"}],"department":[{"_id":"MiLe"}],"quality_controlled":"1","file":[{"content_type":"application/pdf","file_id":"22133","creator":"dernst","checksum":"3bf5852b54b9f13ec1679056a5f58c3a","date_updated":"2026-06-24T06:09:35Z","access_level":"open_access","file_size":1161879,"file_name":"2026_CommunicationsPhysics_Li.pdf","success":1,"date_created":"2026-06-24T06:09:35Z","relation":"main_file"}],"date_published":"2026-04-14T00:00:00Z","intvolume":"         9","year":"2026","OA_place":"publisher","fulldoi":"https://doi.org/10.1038/s42005-026-02578-8","supplementarymaterial":"yes","file_date_updated":"2026-06-24T06:09:35Z","article_processing_charge":"Yes","month":"04","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"14","author":[{"last_name":"Li","id":"ff19510a-0d2c-11ef-b018-c338ad2f4325","full_name":"Li, Jinglun","first_name":"Jinglun"},{"full_name":"Koutentakis, Georgios","last_name":"Koutentakis","id":"d7b23d3a-9e21-11ec-b482-f76739596b95","first_name":"Georgios"},{"first_name":"Mateja","full_name":"Hrast, Mateja","last_name":"Hrast","id":"48dbb294-2a9c-11ef-905d-f56be71f0e5d"},{"orcid":"0000-0002-6990-7802","last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","full_name":"Lemeshko, Mikhail","first_name":"Mikhail"},{"last_name":"Schindewolf","full_name":"Schindewolf, Andreas","first_name":"Andreas"},{"last_name":"Al Hyder","id":"d1c405be-ae15-11ed-8510-ccf53278162e","full_name":"Al Hyder, Ragheed","first_name":"Ragheed"}],"acknowledgement":"J.-L.Li thanks Gaoren Wang for valuable discussions on the absorbing boundary condition. G.M.K. thanks P. Giannakeas for fruitful discussions during the initial stages of this study. G.M.K. was funded by the Austrian Science Fund (FWF) [10.55776/F1004]. R.A. received funding from the Austrian Academy of Science ÖAW grant No. PR1029OEAW03. A.S. acknowledges funding from the European Union’s Horizon Europe research and innovation programme under grant agreement No. 101219560.","volume":9,"date_updated":"2026-06-24T06:10:44Z","das_tickbox":"1","ddc":["530"],"DOAJ_listed":"1","publisher":"Springer Nature","publication_identifier":{"eissn":["2399-3650"]},"OA_type":"gold","publication":"Communications Physics","researchdata_availability":"upon request","oa_version":"Published Version","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"arxiv":1,"publication_status":"published","external_id":{"arxiv":["2506.23318"]},"citation":{"short":"J. Li, G. Koutentakis, M. Hrast, M. Lemeshko, A. Schindewolf, R. Al Hyder, Communications Physics 9 (2026).","ista":"Li J, Koutentakis G, Hrast M, Lemeshko M, Schindewolf A, Al Hyder R. 2026. Tunable field-linked s-wave interactions in dipolar fermi mixtures. Communications Physics. 9, 201.","mla":"Li, Jinglun, et al. “Tunable Field-Linked s-Wave Interactions in Dipolar Fermi Mixtures.” <i>Communications Physics</i>, vol. 9, 201, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1038/s42005-026-02578-8\">10.1038/s42005-026-02578-8</a>.","apa":"Li, J., Koutentakis, G., Hrast, M., Lemeshko, M., Schindewolf, A., &#38; Al Hyder, R. (2026). Tunable field-linked s-wave interactions in dipolar fermi mixtures. <i>Communications Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s42005-026-02578-8\">https://doi.org/10.1038/s42005-026-02578-8</a>","ieee":"J. Li, G. Koutentakis, M. Hrast, M. Lemeshko, A. Schindewolf, and R. Al Hyder, “Tunable field-linked s-wave interactions in dipolar fermi mixtures,” <i>Communications Physics</i>, vol. 9. Springer Nature, 2026.","ama":"Li J, Koutentakis G, Hrast M, Lemeshko M, Schindewolf A, Al Hyder R. Tunable field-linked s-wave interactions in dipolar fermi mixtures. <i>Communications Physics</i>. 2026;9. doi:<a href=\"https://doi.org/10.1038/s42005-026-02578-8\">10.1038/s42005-026-02578-8</a>","chicago":"Li, Jinglun, Georgios Koutentakis, Mateja Hrast, Mikhail Lemeshko, Andreas Schindewolf, and Ragheed Al Hyder. “Tunable Field-Linked s-Wave Interactions in Dipolar Fermi Mixtures.” <i>Communications Physics</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1038/s42005-026-02578-8\">https://doi.org/10.1038/s42005-026-02578-8</a>."},"article_number":"201","language":[{"iso":"eng"}],"date_created":"2026-06-21T22:02:58Z"},{"fulldoi":"https://doi.org/10.15479/AT-ISTA-20833","citation":{"chicago":"Layana Franco, Lorena Alexandra, Melissa A Toups, and Beatriz Vicoso. “Research Data for ‘Causes and Consequences of Sex-Chromosome Turnovers in Diptera.’” Institute of Science and Technology Austria, 2026. <a href=\"https://doi.org/10.15479/AT-ISTA-20833\">https://doi.org/10.15479/AT-ISTA-20833</a>.","ama":"Layana Franco LA, Toups MA, Vicoso B. Research Data for “Causes and consequences of sex-chromosome turnovers in Diptera.” 2026. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20833\">10.15479/AT-ISTA-20833</a>","ieee":"L. A. Layana Franco, M. A. Toups, and B. Vicoso, “Research Data for ‘Causes and consequences of sex-chromosome turnovers in Diptera.’” Institute of Science and Technology Austria, 2026.","apa":"Layana Franco, L. A., Toups, M. A., &#38; Vicoso, B. (2026). Research Data for “Causes and consequences of sex-chromosome turnovers in Diptera.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20833\">https://doi.org/10.15479/AT-ISTA-20833</a>","mla":"Layana Franco, Lorena Alexandra, et al. <i>Research Data for “Causes and Consequences of Sex-Chromosome Turnovers in Diptera.”</i> Institute of Science and Technology Austria, 2026, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20833\">10.15479/AT-ISTA-20833</a>.","ista":"Layana Franco LA, Toups MA, Vicoso B. 2026. Research Data for ‘Causes and consequences of sex-chromosome turnovers in Diptera’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT-ISTA-20833\">10.15479/AT-ISTA-20833</a>.","short":"L.A. Layana Franco, M.A. Toups, B. Vicoso, (2026)."},"file_date_updated":"2026-01-08T01:35:08Z","article_processing_charge":"No","month":"01","date_created":"2025-12-17T10:10:57Z","user_id":"68b8ca59-c5b3-11ee-8790-cd641c68093d","day":"8","author":[{"orcid":"0000-0002-1253-6297","first_name":"Lorena Alexandra","id":"02814589-eb8f-11eb-b029-a70074f3f18f","last_name":"Layana Franco","full_name":"Layana Franco, Lorena Alexandra"},{"full_name":"Toups, Melissa A","last_name":"Toups","id":"4E099E4E-F248-11E8-B48F-1D18A9856A87","first_name":"Melissa A","orcid":"0000-0002-9752-7380"},{"orcid":"0000-0002-4579-8306","full_name":"Vicoso, Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","last_name":"Vicoso","first_name":"Beatriz"}],"keyword":["Schizophora","sex chromosomes","sex-chromosome turnover","Diptera","genomic features","out-of-X movement."],"oa_version":"Published Version","type":"research_data","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"year":"2026","oa":1,"has_accepted_license":"1","corr_author":"1","publisher":"Institute of Science and Technology Austria","department":[{"_id":"BeVi"}],"date_published":"2026-01-08T00:00:00Z","file":[{"relation":"main_file","date_created":"2025-12-17T10:09:25Z","file_name":"README.txt","success":1,"date_updated":"2025-12-17T10:09:25Z","access_level":"open_access","file_size":1201,"checksum":"0b79be6229f2ad9ac117ef00fc4f5c0e","file_id":"20834","creator":"llayanaf","content_type":"text/plain"},{"relation":"main_file","date_created":"2025-12-17T10:10:11Z","file_name":"Supplementary_Datasets.zip","success":1,"checksum":"daf1c03149dd170b14e5c8e109ee3c77","date_updated":"2025-12-17T10:10:11Z","file_size":19052849,"access_level":"open_access","content_type":"application/zip","file_id":"20835","creator":"llayanaf"},{"checksum":"251e7aab01917c2ad2fbccf465492ea1","access_level":"open_access","file_size":4575,"date_updated":"2025-12-17T10:12:05Z","content_type":"application/zip","creator":"llayanaf","file_id":"20837","relation":"main_file","date_created":"2025-12-17T10:12:05Z","success":1,"file_name":"Perl_scripts.zip"},{"file_id":"20959","creator":"llayanaf","content_type":"application/zip","date_updated":"2026-01-08T01:35:08Z","file_size":572362,"access_level":"open_access","checksum":"3cabf143b8cd286eae48c598da2b03bd","file_name":"Supplementary_Tables.zip","success":1,"date_created":"2026-01-08T01:35:08Z","relation":"main_file"}],"title":"Research Data for 'Causes and consequences of sex-chromosome turnovers in Diptera'","doi":"10.15479/AT-ISTA-20833","date_updated":"2026-06-10T09:21:49Z","_id":"20833","abstract":[{"text":"Sex-chromosome systems are highly variable across animals, but how they transition from one to another is not well understood. Diptera have undergone multiple sex-chromosome turnovers and expansions while maintaining their general chromosomal content, which makes them an ideal clade to study such transitions. We analysed more than 100 dipteran whole-genome assemblies and identified 4 new lineages that underwent sex-chromosome turnover (in addition to the 5 previously reported). We find the majority of turnovers happened in the group Schizophora, which tend to have fewer genes on the F element (the chromosome homologous to the ancestral insect X chromosome) than lower dipterans, a factor previously hypothesized to facilitate turnover. Most derived X chromosomes have higher GC content than autosomes, consistent with a high prevalence of male-achiasmy in Diptera. In addition, an excess of gene movement out of the X is detected for most of these new X chromosomes, and many of these moved genes have high testis expression in Drosophila, suggesting that out-of-X gene movement contributes to the long-term demasculinization of X chromosomes.","lang":"eng"}],"status":"public"},{"has_accepted_license":"1","oa":1,"quality_controlled":"1","date_published":"2026-03-04T00:00:00Z","file":[{"date_created":"2026-03-16T10:07:46Z","relation":"main_file","success":1,"file_name":"2026_CommunicationsPhysics_Agafonova.pdf","checksum":"62e2175e7e3ad49260ae6a7b4e0860a2","date_updated":"2026-03-16T10:07:46Z","file_size":1901772,"access_level":"open_access","content_type":"application/pdf","file_id":"21457","creator":"dernst"}],"project":[{"grant_number":"101087907","name":"A quantum hybrid of atoms and milligram-scale pendulums: towards gravitational quantum mechanics","_id":"bdb2a702-d553-11ed-ba76-f12e3e5a3bc6"}],"corr_author":"1","department":[{"_id":"GradSch"},{"_id":"OnHo"}],"doi":"10.1038/s42005-026-02514-w","title":"One-milligram torsional pendulum toward experiments at the quantum-gravity interface","status":"public","_id":"20840","abstract":[{"lang":"eng","text":"Probing the possibility of entanglement generation through gravity offers a path to tackle the question of whether gravitational fields possess a quantum mechanical nature. A potential realization necessitates systems with low-frequency dynamics at an optimal mass scale, for which the microgram-to-milligram range is a strong contender. Here, after refining a figure-of-merit for the problem, we present a 1-milligram torsional pendulum operating at 18 Hz. We demonstrate laser cooling its motion from room temperature to 240 microkelvins, surpassing by over 20-fold the coldest motions attained for oscillators ranging from micrograms to kilograms. We quantify and contrast the utility of the current approach with other platforms. The achieved performance and large improvement potential highlight milligram-scale torsional pendulums as a powerful platform for precision measurements relevant to future studies at the quantum-gravity interface."}],"PlanS_conform":"1","article_type":"original","scopus_import":"1","file_date_updated":"2026-03-16T10:07:46Z","article_processing_charge":"Yes","OA_place":"publisher","fulldoi":"https://doi.org/10.1038/s42005-026-02514-w","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"04","author":[{"first_name":"Sofya","full_name":"Agafonova, Sofya","id":"09501ff6-dca7-11ea-a8ae-b3e0b9166e80","last_name":"Agafonova","orcid":"0000-0003-0582-2946"},{"full_name":"Rosello, Pere","last_name":"Rosello","first_name":"Pere"},{"full_name":"Mekonnen, Manuel","last_name":"Mekonnen","first_name":"Manuel"},{"orcid":"0000-0002-2031-204X","full_name":"Hosten, Onur","last_name":"Hosten","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","first_name":"Onur"}],"month":"03","intvolume":"         9","year":"2026","DOAJ_listed":"1","ddc":["530"],"publication_identifier":{"eissn":["2399-3650"]},"publisher":"Springer Nature","volume":9,"acknowledgement":"We thank Gerard Higgins, Andrei Militaru, Nikolai Kiesel, and Markus Aspelmeyer for useful discussions on the topic of the figure-of-merit. We thank Teodor Strömberg for helping with the additional characterizations of the optical lever noise. We thank Johannes Fink and Scott Waitukaitis for their helpful feedback on the manuscript. This work was supported by Institute of Science and Technology Austria and the European Research Council under Grant No. 101087907 (ERC CoG QuHAMP).","date_updated":"2026-06-10T08:36:06Z","related_material":{"record":[{"relation":"research_data","id":"20842","status":"public"}]},"language":[{"iso":"eng"}],"citation":{"chicago":"Agafonova, Sofia, Pere Rosello, Manuel Mekonnen, and Onur Hosten. “One-Milligram Torsional Pendulum toward Experiments at the Quantum-Gravity Interface.” <i>Communications Physics</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1038/s42005-026-02514-w\">https://doi.org/10.1038/s42005-026-02514-w</a>.","ama":"Agafonova S, Rosello P, Mekonnen M, Hosten O. One-milligram torsional pendulum toward experiments at the quantum-gravity interface. <i>Communications Physics</i>. 2026;9. doi:<a href=\"https://doi.org/10.1038/s42005-026-02514-w\">10.1038/s42005-026-02514-w</a>","ieee":"S. Agafonova, P. Rosello, M. Mekonnen, and O. Hosten, “One-milligram torsional pendulum toward experiments at the quantum-gravity interface,” <i>Communications Physics</i>, vol. 9. Springer Nature, 2026.","apa":"Agafonova, S., Rosello, P., Mekonnen, M., &#38; Hosten, O. (2026). One-milligram torsional pendulum toward experiments at the quantum-gravity interface. <i>Communications Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s42005-026-02514-w\">https://doi.org/10.1038/s42005-026-02514-w</a>","mla":"Agafonova, Sofia, et al. “One-Milligram Torsional Pendulum toward Experiments at the Quantum-Gravity Interface.” <i>Communications Physics</i>, vol. 9, 80, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1038/s42005-026-02514-w\">10.1038/s42005-026-02514-w</a>.","ista":"Agafonova S, Rosello P, Mekonnen M, Hosten O. 2026. One-milligram torsional pendulum toward experiments at the quantum-gravity interface. Communications Physics. 9, 80.","short":"S. Agafonova, P. Rosello, M. Mekonnen, O. Hosten, Communications Physics 9 (2026)."},"article_number":"80","date_created":"2025-12-21T11:39:04Z","OA_type":"gold","publication":"Communications Physics","oa_version":"Published Version","arxiv":1,"publication_status":"published","external_id":{"arxiv":["2408.09445"]},"type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"}},{"date_created":"2025-12-29T12:06:26Z","language":[{"iso":"eng"}],"article_number":"23","citation":{"apa":"Quattrocchi, F. (2026). Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions. <i>Calculus of Variations and Partial Differential Equations</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00526-025-03193-1\">https://doi.org/10.1007/s00526-025-03193-1</a>","ieee":"F. Quattrocchi, “Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions,” <i>Calculus of Variations and Partial Differential Equations</i>, vol. 65, no. 1. Springer Nature, 2026.","ama":"Quattrocchi F. Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions. <i>Calculus of Variations and Partial Differential Equations</i>. 2026;65(1). doi:<a href=\"https://doi.org/10.1007/s00526-025-03193-1\">10.1007/s00526-025-03193-1</a>","chicago":"Quattrocchi, Filippo. “Variational Structures for the Fokker-Planck Equation with General Dirichlet Boundary Conditions.” <i>Calculus of Variations and Partial Differential Equations</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1007/s00526-025-03193-1\">https://doi.org/10.1007/s00526-025-03193-1</a>.","short":"F. Quattrocchi, Calculus of Variations and Partial Differential Equations 65 (2026).","ista":"Quattrocchi F. 2026. Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions. Calculus of Variations and Partial Differential Equations. 65(1), 23.","mla":"Quattrocchi, Filippo. “Variational Structures for the Fokker-Planck Equation with General Dirichlet Boundary Conditions.” <i>Calculus of Variations and Partial Differential Equations</i>, vol. 65, no. 1, 23, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1007/s00526-025-03193-1\">10.1007/s00526-025-03193-1</a>."},"publication_status":"published","external_id":{"arxiv":["2403.07803"]},"arxiv":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","oa_version":"Published Version","OA_type":"hybrid","publication":"Calculus of Variations and Partial Differential Equations","publication_identifier":{"issn":["0944-2669"],"eissn":["1432-0835"]},"publisher":"Springer Nature","ddc":["510"],"related_material":{"record":[{"relation":"earlier_version","id":"20571","status":"public"}]},"date_updated":"2026-04-07T08:37:46Z","volume":65,"acknowledgement":"The author would like to thank Jan Maas for suggesting this project and for many helpful comments, Antonio Agresti, Lorenzo Dello Schiavo and Julian Fischer for several fruitful discussions, Oliver Tse for pointing out the reference [10], and the anonymous reviewer for carefully reading this manuscript and providing valuable suggestions. He also gratefully acknowledges support from the Austrian Science Fund (FWF) project 10.55776/F65.Open access funding provided by Institute of Science and Technology (IST Austria).","day":"01","author":[{"orcid":"0009-0000-9773-1931","first_name":"Filippo","full_name":"Quattrocchi, Filippo","id":"3ebd6ba8-edfb-11eb-afb5-91a9745ba308","last_name":"Quattrocchi"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","issue":"1","month":"01","article_processing_charge":"Yes (via OA deal)","file_date_updated":"2026-01-05T12:36:39Z","fulldoi":"https://doi.org/10.1007/s00526-025-03193-1","OA_place":"publisher","year":"2026","intvolume":"        65","quality_controlled":"1","file":[{"file_size":958382,"access_level":"open_access","date_updated":"2026-01-05T12:36:39Z","checksum":"635370d64abaf444f50f5cca60bba1be","creator":"dernst","file_id":"20945","content_type":"application/pdf","date_created":"2026-01-05T12:36:39Z","relation":"main_file","file_name":"2026_CalculusVariations_Quattrocchi.pdf","success":1}],"date_published":"2026-01-01T00:00:00Z","department":[{"_id":"JaMa"}],"corr_author":"1","project":[{"_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","name":"Taming Complexity in Partial Differential Systems","grant_number":"F6504"}],"has_accepted_license":"1","oa":1,"_id":"20865","abstract":[{"lang":"eng","text":"We prove the convergence of a modified Jordan–Kinderlehrer–Otto scheme to a solution\r\nto the Fokker–Planck equation in Ω e R^d with general—strictly positive and temporally\r\nconstant—Dirichlet boundary conditions. We work under mild assumptions on the domain,\r\nthe drift, and the initial datum. In the special case where Ω is an interval in R1, we prove\r\nthat such a solution is a gradient flow—curve of maximal slope—within a suitable space of\r\nmeasures, endowed with a modified Wasserstein distance. Our discrete scheme and modified\r\ndistance draw inspiration from contributions by A. Figalli and N. Gigli [J. Math. Pures\r\nAppl. 94, (2010), pp. 107–130], and J. Morales [J. Math. Pures Appl. 112, (2018), pp. 41–88]\r\non an optimal-transport approach to evolution equations with Dirichlet boundary conditions.\r\nSimilarly to these works, we allow the mass to flow from/to the boundary ∂Ω throughout\r\nthe evolution. However, our leading idea is to also keep track of the mass at the boundary\r\nby working with measures defined on the whole closure Ω . The driving functional is a\r\nmodification of the classical relative entropy that also makes use of the information at the\r\nboundary. As an intermediate result, when Ω is an interval in R1, we find a formula for the\r\ndescending slope of this geodesically nonconvex functional."}],"status":"public","scopus_import":"1","PlanS_conform":"1","article_type":"original","doi":"10.1007/s00526-025-03193-1","title":"Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions"},{"acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"Bio"}],"year":"2026","article_processing_charge":"No","file_date_updated":"2026-01-28T12:38:19Z","degree_awarded":"MS","fulldoi":"https://doi.org/10.15479/AT-ISTA-20964","OA_place":"publisher","page":"22","day":"14","author":[{"first_name":"Dmitrii","id":"60466724-5355-11ee-ae5a-fa55e8f99c3d","last_name":"Vladimirtsev","full_name":"Vladimirtsev, Dmitrii"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"01","doi":"10.15479/AT-ISTA-20964","title":"Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels","_id":"20964","status":"public","has_accepted_license":"1","file":[{"date_created":"2026-01-21T14:12:13Z","relation":"main_file","embargo":"2027-01-01","embargo_to":"open_access","file_name":"2026_Vladimirtsev_Dmitrii_Thesis.pdf","file_size":2867531,"access_level":"closed","date_updated":"2026-01-21T14:12:13Z","checksum":"812857b2fbe3f6113bef22fd04bccd3e","creator":"dvladimi","file_id":"21033","content_type":"application/pdf"},{"relation":"source_file","date_created":"2026-01-21T14:41:58Z","file_name":"Source Files.zip","access_level":"closed","file_size":25023066,"date_updated":"2026-01-28T12:38:19Z","checksum":"2b969f97f8d7461bea3d255f48c2219c","creator":"dvladimi","file_id":"21034","content_type":"application/x-zip-compressed"}],"date_published":"2026-01-14T00:00:00Z","supervisor":[{"orcid":"0000-0002-8302-7596","first_name":"Jiří","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jiří"}],"department":[{"_id":"GradSch"},{"_id":"JiFr"}],"corr_author":"1","project":[{"grant_number":"101142681","name":"Cyclic nucleotides as second messengers in plants","_id":"8f347782-16d5-11f0-9cad-8c19706ee739"}],"oa_version":"Published Version","publication_status":"published","type":"dissertation","language":[{"iso":"eng"}],"citation":{"mla":"Vladimirtsev, Dmitrii. <i>Armadillo Repeat Only Proteins Are Master Regulators of Plant Cyclic-Nucleotide Gated Channels</i>. Institute of Science and Technology Austria, 2026, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20964\">10.15479/AT-ISTA-20964</a>.","short":"D. Vladimirtsev, Armadillo Repeat Only Proteins Are Master Regulators of Plant Cyclic-Nucleotide Gated Channels, Institute of Science and Technology Austria, 2026.","ista":"Vladimirtsev D. 2026. Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels. Institute of Science and Technology Austria.","ama":"Vladimirtsev D. Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels. 2026. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20964\">10.15479/AT-ISTA-20964</a>","chicago":"Vladimirtsev, Dmitrii. “Armadillo Repeat Only Proteins Are Master Regulators of Plant Cyclic-Nucleotide Gated Channels.” Institute of Science and Technology Austria, 2026. <a href=\"https://doi.org/10.15479/AT-ISTA-20964\">https://doi.org/10.15479/AT-ISTA-20964</a>.","apa":"Vladimirtsev, D. (2026). <i>Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20964\">https://doi.org/10.15479/AT-ISTA-20964</a>","ieee":"D. Vladimirtsev, “Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels,” Institute of Science and Technology Austria, 2026."},"date_created":"2026-01-09T09:22:48Z","related_material":{"record":[{"status":"public","id":"20982","relation":"part_of_dissertation"}]},"date_updated":"2026-04-07T11:41:44Z","ddc":["570"],"publication_identifier":{"issn":["2791-4585"]},"publisher":"Institute of Science and Technology Austria","alternative_title":["ISTA Master’s Thesis"]},{"publisher":"Elsevier","publication_identifier":{"issn":["0960-9822"],"eissn":["1879-0445"]},"date_updated":"2026-01-12T10:09:13Z","volume":36,"date_created":"2026-01-11T23:01:33Z","citation":{"mla":"Kücükdereli, Hakan, and Amelia M. Douglass. “Neuroscience: What Doesn’t Kill You Makes You Stronger.” <i>Current Biology</i>, vol. 36, no. 1, Elsevier, 2026, pp. R27–29, doi:<a href=\"https://doi.org/10.1016/j.cub.2025.11.056\">10.1016/j.cub.2025.11.056</a>.","short":"H. Kücükdereli, A.M. Douglass, Current Biology 36 (2026) R27–R29.","ista":"Kücükdereli H, Douglass AM. 2026. Neuroscience: What doesn’t kill you makes you stronger. Current Biology. 36(1), R27–R29.","ama":"Kücükdereli H, Douglass AM. Neuroscience: What doesn’t kill you makes you stronger. <i>Current Biology</i>. 2026;36(1):R27-R29. doi:<a href=\"https://doi.org/10.1016/j.cub.2025.11.056\">10.1016/j.cub.2025.11.056</a>","chicago":"Kücükdereli, Hakan, and Amelia M. Douglass. “Neuroscience: What Doesn’t Kill You Makes You Stronger.” <i>Current Biology</i>. Elsevier, 2026. <a href=\"https://doi.org/10.1016/j.cub.2025.11.056\">https://doi.org/10.1016/j.cub.2025.11.056</a>.","apa":"Kücükdereli, H., &#38; Douglass, A. M. (2026). Neuroscience: What doesn’t kill you makes you stronger. <i>Current Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cub.2025.11.056\">https://doi.org/10.1016/j.cub.2025.11.056</a>","ieee":"H. Kücükdereli and A. M. Douglass, “Neuroscience: What doesn’t kill you makes you stronger,” <i>Current Biology</i>, vol. 36, no. 1. Elsevier, pp. R27–R29, 2026."},"language":[{"iso":"eng"}],"type":"journal_article","external_id":{"pmid":["41494523"]},"oa_version":"None","publication":"Current Biology","OA_type":"closed access","department":[{"_id":"AmDo"},{"_id":"SiHi"}],"corr_author":"1","date_published":"2026-01-05T00:00:00Z","quality_controlled":"1","article_type":"letter_note","scopus_import":"1","_id":"20972","status":"public","abstract":[{"text":"Small amounts of stress are thought to have beneficial effects. A new study reports a mechanism by which the psychedelic drug, psilocybin, causes acute release of stress hormones, despite its known long-term anti-anxiety effects.","lang":"eng"}],"pmid":1,"title":"Neuroscience: What doesn’t kill you makes you stronger","doi":"10.1016/j.cub.2025.11.056","issue":"1","month":"01","author":[{"first_name":"Hakan","id":"5d5f6ea4-ef9e-11f0-a10a-85e12a3552af","last_name":"Kücükdereli","full_name":"Kücükdereli, Hakan"},{"first_name":"Amelia May Barnett","full_name":"Douglass, Amelia May Barnett","last_name":"Douglass","id":"de5f6fda-80fb-11ef-996f-a8c4ecd8e289","orcid":"0000-0001-5398-6473"}],"day":"05","page":"R27-R29","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.1016/j.cub.2025.11.056","article_processing_charge":"No","year":"2026","intvolume":"        36"},{"acknowledgement":"We acknowledge helpful conversations with the ENIGMA group at UC Santa Barbara and Leiden University. This work is based on observations made with the NASA/ESA/CSA JWST. The data were obtained from the Mikulski Archive for Space Telescopes at the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-03127 for JWST. These observations are associated with programmes #1219 and #1764. This work made use of numpy (C. R. Harris et al. 2020), scipy (P. Virtanen et al. 2020), jax (J. Bradbury et al. 2018), numpyro (E. Bingham et al. 2018; D. Phan, N. Pradhan & M. Jankowiak 2019), sklearn (F. Pedregosa et al. 2011), astropy (Astropy Collaboration 2013, 2018, 2022), PypeIt (J. Prochaska et al. 2020), skycalc_ipy (K. Leschinski 2021), h5py (A. Collette 2013), matplotlib (J. D. Hunter 2007), corner.py (D. Foreman-Mackey 2016), and IPython (F. Pérez & B. E. Granger 2007). TK and JFH acknowledge support from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement no. 885301). JFH acknowledges support from NSF grant no. 2307180. SEIB was supported by the Deutsche Forschungsgemeinschaft (DFG) under Emmy Noether grant number BO 5771/1-1. FW acknowledges support from NSF award AST-2513040.","volume":545,"date_updated":"2026-01-12T09:45:54Z","ddc":["520"],"DOAJ_listed":"1","publisher":"Oxford University Press","publication_identifier":{"issn":["0035-8711"],"eissn":["1365-2966"]},"oa_version":"Published Version","OA_type":"gold","publication":"Monthly Notices of the Royal Astronomical Society","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","external_id":{"arxiv":["2508.21818"]},"publication_status":"published","arxiv":1,"article_number":"staf2219","citation":{"apa":"Kist, T., Hennawi, J. F., Davies, F. B., Bañados, E., Bosman, S. E. I., Cai, Z., … Wang, F. (2026). First constraints on the local ionization topology in front of two quasars at z ∼ 7.5. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/staf2219\">https://doi.org/10.1093/mnras/staf2219</a>","ieee":"T. Kist <i>et al.</i>, “First constraints on the local ionization topology in front of two quasars at z ∼ 7.5,” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 545, no. 3. Oxford University Press, 2026.","ama":"Kist T, Hennawi JF, Davies FB, et al. First constraints on the local ionization topology in front of two quasars at z ∼ 7.5. <i>Monthly Notices of the Royal Astronomical Society</i>. 2026;545(3). doi:<a href=\"https://doi.org/10.1093/mnras/staf2219\">10.1093/mnras/staf2219</a>","chicago":"Kist, Timo, Joseph F. Hennawi, Frederick B. Davies, Eduardo Bañados, Sarah E.I. Bosman, Zheng Cai, Anna Christina Eilers, et al. “First Constraints on the Local Ionization Topology in Front of Two Quasars at z ∼ 7.5.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2026. <a href=\"https://doi.org/10.1093/mnras/staf2219\">https://doi.org/10.1093/mnras/staf2219</a>.","short":"T. Kist, J.F. Hennawi, F.B. Davies, E. Bañados, S.E.I. Bosman, Z. Cai, A.C. Eilers, X. Fan, Z. Haiman, H.D. Jun, Y. Liu, J. Yang, F. Wang, Monthly Notices of the Royal Astronomical Society 545 (2026).","ista":"Kist T, Hennawi JF, Davies FB, Bañados E, Bosman SEI, Cai Z, Eilers AC, Fan X, Haiman Z, Jun HD, Liu Y, Yang J, Wang F. 2026. First constraints on the local ionization topology in front of two quasars at z ∼ 7.5. Monthly Notices of the Royal Astronomical Society. 545(3), staf2219.","mla":"Kist, Timo, et al. “First Constraints on the Local Ionization Topology in Front of Two Quasars at z ∼ 7.5.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 545, no. 3, staf2219, Oxford University Press, 2026, doi:<a href=\"https://doi.org/10.1093/mnras/staf2219\">10.1093/mnras/staf2219</a>."},"language":[{"iso":"eng"}],"date_created":"2026-01-11T23:01:34Z","title":"First constraints on the local ionization topology in front of two quasars at z ∼ 7.5","doi":"10.1093/mnras/staf2219","article_type":"original","PlanS_conform":"1","scopus_import":"1","status":"public","_id":"20974","abstract":[{"text":"Thus far, Lyman-α damping wings towards quasars have been used to probe the global ionization state of the foreground intergalactic medium (IGM). A new parametrization has demonstrated that the damping wing signature also carries local information about the distribution of neutral hydrogen (H I) in front of the quasar before it started shining. Leveraging a recently introduced Bayesian JAX-based Hamiltonian Monte Carlo inference framework, we derive constraints on the Lorentzian-weighted H I column density NDW H I , the quasar’s distance rpatch to the first neutral patch, and its lifetime tQ based on James Webb Space\r\nTelescope (JWST) Near Infrared Spectrograph (NIRSpec) spectra of the two z ∼ 7.5 quasars J1007+2115 and J1342+0928. After folding in model-dependent topology information, we find that J1007+2115 (and J1342+0928) is most likely to reside in a (xH1)= 0.32+0.22 −0.20 (0.58+0.23 −0.23) neutral IGM while shining for a remarkably short lifetime of log10 tQ/yr = 4.14+0.74 −0.18 (an intermediate lifetime of 5.64+0.25 −0.43) along a sightline with log10 NDW\r\nH I /cm−2 = 19.70+0.35 −0.86 (20.24+0.25 −0.22) and rpatch = 28.9+54.0 −14.4 cMpc\r\n(10.9+5.6−5.9 cMpc). In light of the potential presence of local absorbers in the foreground of J1342+0928 as has been recently suggested, we also demonstrate how the Lorentzian-weighted column density NDW H I provides a natural means for quantifying their contribution to the observed damping wing signal.","lang":"eng"}],"oa":1,"has_accepted_license":"1","department":[{"_id":"ZoHa"}],"date_published":"2026-01-01T00:00:00Z","quality_controlled":"1","file":[{"file_name":"2026_MonthNoticesRAS_Kist.pdf","success":1,"relation":"main_file","date_created":"2026-01-12T09:43:07Z","creator":"dernst","file_id":"20979","content_type":"application/pdf","file_size":2174272,"access_level":"open_access","date_updated":"2026-01-12T09:43:07Z","checksum":"68f04ab0fdcee4f12341d116c5f794cd"}],"intvolume":"       545","year":"2026","fulldoi":"https://doi.org/10.1093/mnras/staf2219","OA_place":"publisher","article_processing_charge":"Yes","file_date_updated":"2026-01-12T09:43:07Z","issue":"3","month":"01","author":[{"first_name":"Timo","last_name":"Kist","full_name":"Kist, Timo"},{"first_name":"Joseph F.","full_name":"Hennawi, Joseph F.","last_name":"Hennawi"},{"first_name":"Frederick B.","full_name":"Davies, Frederick B.","last_name":"Davies"},{"first_name":"Eduardo","full_name":"Bañados, Eduardo","last_name":"Bañados"},{"last_name":"Bosman","full_name":"Bosman, Sarah E.I.","first_name":"Sarah E.I."},{"full_name":"Cai, Zheng","last_name":"Cai","first_name":"Zheng"},{"first_name":"Anna Christina","full_name":"Eilers, Anna Christina","last_name":"Eilers"},{"last_name":"Fan","full_name":"Fan, Xiaohui","first_name":"Xiaohui"},{"orcid":"0000-0003-3633-5403","first_name":"Zoltán","full_name":"Haiman, Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"},{"first_name":"Hyunsung D.","full_name":"Jun, Hyunsung D.","last_name":"Jun"},{"first_name":"Yichen","last_name":"Liu","full_name":"Liu, Yichen"},{"full_name":"Yang, Jinyi","last_name":"Yang","first_name":"Jinyi"},{"last_name":"Wang","full_name":"Wang, Feige","first_name":"Feige"}],"day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"_id":"20991","abstract":[{"text":"Rapid local adaptation to new environments is critical for species persistence, especially in introduced populations. The evolutionary success of these populations is fundamentally dictated by the organization of genetic variation—the genomic architecture—in the face of severe demographic constraints, such as the founder effects and genetic bottlenecks that frequently accompany colonization. A central question in evolutionary biology is whether rapid adaptation relies on major-effect loci, such as chromosomal inversions, or on many small-effect loci dispersed across the genome. Furthermore, the genomic architecture strongly influences the extent to which evolutionary outcomes are predictable. Using introduced populations of the marine snail, Littorina saxatilis, as a model, this thesis investigates how genetic variation and genomic structure drive adaptation following introduction. We employed a population genomics approach on experimentally and accidentally introduced populations to dissect the specific genomic features that underpin divergence in newly colonized environments.\r\n\r\nIn Chapter 2, we tested the predictability of local adaptation through an uncommon 30-year transplant experiment in nature. By distinguishing allele and chromosomal inversion frequency changes from neutral expectations, we found that evolutionary change was highly predictable at the macro-scale (phenotypes and chromosomal inversions), but less robust at the level of individual collinear loci. This result demonstrates that evolution can be predictable when a population possesses sufficient standing genetic variation (SGV), with chromosomal inversions acting as key integrated units that facilitate a rapid response to selection. Building on this, Chapter 3 applied whole-genome sequencing to three accidentally introduced populations (Venice, San Francisco, and Redwood City) to investigate their likely source and genomic patterns of divergence. We identified genomic regions of remarkable divergence potentially associated with local adaptation, and likely fuelled by SGV, while explicitly acknowledging the difficulty in disentangling selection signals from the genome-wide effects of demographic processes. Furthermore, we found that the divergence patterns relied extensively on the collinear genome in these introduced populations, and less clearly on the chromosomal inversions. This observation contrasts with local adaptation observed in the experimental system that relied on both collinear loci and highly selected chromosomal inversions, highlighting how demographic history and genomic architecture influence the detectable signature of local adaptation.\r\n\r\nA major limitation to conducting large-scale comparative evolutionary studies is the lack of data standardization, which prevents the integration of community knowledge and high-resolution environmental and genetic data. Chapter 4 addresses this by developing a community database for the Littorina system. This platform implements standardized protocols for the integration of diverse phenotypic and environmental data from multiple Littorina species. Likewise, the platform also centralizes the availability of associated genomic data through links to external repositories. This database represents a crucial tool to test complex, large-scale evolutionary hypotheses.\r\n\r\nCollectively, this thesis strongly reinforces the fundamental importance of SGV as the raw material for successful local adaptation, a conclusion supported by evidence in both experimental and accidental introductions. Furthermore, this work highlights the critical role of the genomic architecture—specifically chromosomal inversions—in driving the predictability and effectiveness of adaptive responses. Our findings underscore how the interplay between SGV and genomic architecture dictates the trajectory and detectability of evolution in colonizing populations, while simultaneously providing a necessary tool to advance comparative evolutionary genomics in emerging model organisms.","lang":"eng"}],"status":"public","title":"The genomic architecture of local adaptation in introduced populations","doi":"10.15479/AT-ISTA-20991","corr_author":"1","department":[{"_id":"GradSch"},{"_id":"NiBa"}],"supervisor":[{"orcid":"0000-0002-8548-5240","first_name":"Nicholas H","last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H"},{"orcid":"0000-0003-1050-4969","full_name":"Westram, Anja M","id":"3C147470-F248-11E8-B48F-1D18A9856A87","last_name":"Westram","first_name":"Anja M"}],"date_published":"2026-01-16T00:00:00Z","file":[{"content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_id":"20996","creator":"dgarciac","checksum":"841f1bc073d667125729b2a017f8c37a","date_updated":"2026-01-16T12:25:13Z","file_size":22456421,"access_level":"closed","file_name":"2026_Garcia_Diego_Thesis.docx","relation":"source_file","date_created":"2026-01-16T12:25:13Z"},{"success":1,"file_name":"2026_Garcia_Diego_Thesis.pdf","relation":"main_file","date_created":"2026-01-16T12:25:13Z","content_type":"application/pdf","file_id":"20997","creator":"dgarciac","checksum":"a1f33d4f183ce7072eee42a6ccf5340b","date_updated":"2026-01-16T12:25:13Z","file_size":9556719,"access_level":"open_access"},{"date_created":"2026-01-16T13:08:14Z","relation":"supplementary_material","file_name":"2026_DiegoGarcia_LittorinaDB Source Code and Protocols.rar","checksum":"98a80691067174c30fe53f38ce7344e6","description":"Source code of the PostgreSQL database, front-end and back-end of the LittorinaDB web application developed as a product of the 4th chapter of the thesis.","date_updated":"2026-01-16T13:08:14Z","access_level":"closed","file_size":54491433,"content_type":"application/x-compressed","file_id":"20998","creator":"dgarciac"},{"file_name":"2026_DiegoGarcia_Thesis-Supplementary_Material.rar","relation":"supplementary_material","date_created":"2026-01-16T13:08:14Z","content_type":"application/x-compressed","file_id":"20999","creator":"dgarciac","checksum":"99a3cab2fa36666b9a92eefc27d586da","date_updated":"2026-01-16T13:08:14Z","access_level":"open_access","file_size":7982811},{"checksum":"255fdf56b2932c46bf27c63aa6106a4f","date_updated":"2026-01-16T13:08:59Z","file_size":732,"access_level":"open_access","content_type":"text/plain","file_id":"21000","creator":"dgarciac","date_created":"2026-01-16T13:08:59Z","relation":"supplementary_material","file_name":"README.txt"}],"oa":1,"has_accepted_license":"1","year":"2026","month":"01","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","author":[{"full_name":"Garcia Castillo, Diego Fernando","last_name":"Garcia Castillo","id":"ae681a14-dc74-11ea-a0a7-c6ef18161701","first_name":"Diego Fernando"}],"page":"199","day":"16","OA_place":"publisher","fulldoi":"https://doi.org/10.15479/AT-ISTA-20991","degree_awarded":"PhD","file_date_updated":"2026-01-16T13:08:59Z","article_processing_charge":"No","date_updated":"2026-04-16T12:20:37Z","related_material":{"record":[{"relation":"research_data","status":"public","id":"18498"},{"id":"18491","status":"public","relation":"part_of_dissertation"}]},"acknowledgement":"I acknowledge the funding agencies 1Norwegian Research Council RCN project 315287.\r\n2The FIASCO project \"Illuminating range shifts through evolutionary FIASCO: contrasting\r\nFaIling And Successful ColOnizations in replicated wild populations\", funded by the\r\nEuropean Union - Next Generation EU (Piano Nazionale di Ripresa e Resilienza - MUR\r\ncode: P202229JBC, CUP: C53D23007100001). 3Ecotypic formation in Littorina saxatilis\r\nin the Western Atlantic and comparisons across the North Atlantic. University of\r\nGothenburg Research Travel Grant, Tjarno Marine Laboratory, Sweden. $3023 (2018).\r\n4JIN project (Young Researchers, Spanish Ministry of Science, RTI2018-101274-J-I00)","publisher":"Institute of Science and Technology Austria","alternative_title":["ISTA Thesis"],"publication_identifier":{"isbn":["978-3-99078-077-0"],"issn":["2663-337X"]},"ddc":["576"],"license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","type":"dissertation","tmp":{"image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)"},"publication_status":"published","oa_version":"Published Version","date_created":"2026-01-16T09:47:59Z","citation":{"mla":"Garcia Castillo, Diego Fernando. <i>The Genomic Architecture of Local Adaptation in Introduced Populations</i>. Institute of Science and Technology Austria, 2026, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20991\">10.15479/AT-ISTA-20991</a>.","short":"D.F. Garcia Castillo, The Genomic Architecture of Local Adaptation in Introduced Populations, Institute of Science and Technology Austria, 2026.","ista":"Garcia Castillo DF. 2026. The genomic architecture of local adaptation in introduced populations. Institute of Science and Technology Austria.","ama":"Garcia Castillo DF. The genomic architecture of local adaptation in introduced populations. 2026. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20991\">10.15479/AT-ISTA-20991</a>","chicago":"Garcia Castillo, Diego Fernando. “The Genomic Architecture of Local Adaptation in Introduced Populations.” Institute of Science and Technology Austria, 2026. <a href=\"https://doi.org/10.15479/AT-ISTA-20991\">https://doi.org/10.15479/AT-ISTA-20991</a>.","apa":"Garcia Castillo, D. F. (2026). <i>The genomic architecture of local adaptation in introduced populations</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20991\">https://doi.org/10.15479/AT-ISTA-20991</a>","ieee":"D. F. Garcia Castillo, “The genomic architecture of local adaptation in introduced populations,” Institute of Science and Technology Austria, 2026."},"language":[{"iso":"eng"}]},{"oa_version":"None","publication":"ACS Energy Letters","OA_type":"closed access","publication_status":"published","type":"journal_article","language":[{"iso":"eng"}],"citation":{"ieee":"N. N. Patil <i>et al.</i>, “Layered alkali-copper selenides: Deciphering thermoelectric properties and reaction pathways for nanostructuring β-CsCu5Se3,” <i>ACS Energy Letters</i>, vol. 11, no. 1. American Chemical Society, pp. 481–488, 2026.","apa":"Patil, N. N., Wu, R., Fiedler, C., Kapuria, N., Nan, B., Jakhar, N., … Singh, S. (2026). Layered alkali-copper selenides: Deciphering thermoelectric properties and reaction pathways for nanostructuring β-CsCu5Se3. <i>ACS Energy Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acsenergylett.5c02909\">https://doi.org/10.1021/acsenergylett.5c02909</a>","chicago":"Patil, Niraj Nitish, Ruiqi Wu, Christine Fiedler, Nilotpal Kapuria, Bingfei Nan, Navita Jakhar, Andreu Cabot, et al. “Layered Alkali-Copper Selenides: Deciphering Thermoelectric Properties and Reaction Pathways for Nanostructuring β-CsCu5Se3.” <i>ACS Energy Letters</i>. American Chemical Society, 2026. <a href=\"https://doi.org/10.1021/acsenergylett.5c02909\">https://doi.org/10.1021/acsenergylett.5c02909</a>.","ama":"Patil NN, Wu R, Fiedler C, et al. Layered alkali-copper selenides: Deciphering thermoelectric properties and reaction pathways for nanostructuring β-CsCu5Se3. <i>ACS Energy Letters</i>. 2026;11(1):481-488. doi:<a href=\"https://doi.org/10.1021/acsenergylett.5c02909\">10.1021/acsenergylett.5c02909</a>","ista":"Patil NN, Wu R, Fiedler C, Kapuria N, Nan B, Jakhar N, Cabot A, Ibáñez M, Ryan KM, Ganose AM, Singh S. 2026. Layered alkali-copper selenides: Deciphering thermoelectric properties and reaction pathways for nanostructuring β-CsCu5Se3. ACS Energy Letters. 11(1), 481–488.","short":"N.N. Patil, R. Wu, C. Fiedler, N. Kapuria, B. Nan, N. Jakhar, A. Cabot, M. Ibáñez, K.M. Ryan, A.M. Ganose, S. Singh, ACS Energy Letters 11 (2026) 481–488.","mla":"Patil, Niraj Nitish, et al. “Layered Alkali-Copper Selenides: Deciphering Thermoelectric Properties and Reaction Pathways for Nanostructuring β-CsCu5Se3.” <i>ACS Energy Letters</i>, vol. 11, no. 1, American Chemical Society, 2026, pp. 481–88, doi:<a href=\"https://doi.org/10.1021/acsenergylett.5c02909\">10.1021/acsenergylett.5c02909</a>."},"date_created":"2026-01-18T23:02:43Z","volume":11,"acknowledgement":"This publication has emanated from research conducted with the financial support of Taighde Éireann-Research Ireland under Grant number 22/FFP-P/11591. C.F. and M.I. would like to acknowledge the financial support of ISTA and the Werner Siemens Foundation. N.N.P. acknowledges the financial support of AMBER under grant number 12/rc/2278_p2.","date_updated":"2026-01-19T08:43:21Z","publication_identifier":{"eissn":["2380-8195"]},"publisher":"American Chemical Society","intvolume":"        11","year":"2026","article_processing_charge":"No","fulldoi":"https://doi.org/10.1021/acsenergylett.5c02909","page":"481-488","author":[{"full_name":"Patil, Niraj Nitish","last_name":"Patil","first_name":"Niraj Nitish"},{"last_name":"Wu","full_name":"Wu, Ruiqi","first_name":"Ruiqi"},{"last_name":"Fiedler","id":"bd3fceba-dc74-11ea-a0a7-c17f71817366","full_name":"Fiedler, Christine","first_name":"Christine"},{"first_name":"Nilotpal","last_name":"Kapuria","full_name":"Kapuria, Nilotpal"},{"last_name":"Nan","full_name":"Nan, Bingfei","first_name":"Bingfei"},{"orcid":"0000-0001-7408-8197","last_name":"Navita","id":"6ebe278d-ba0b-11ee-8184-f34cdc671de4","full_name":"Navita, Navita","first_name":"Navita"},{"last_name":"Cabot","full_name":"Cabot, Andreu","first_name":"Andreu"},{"full_name":"Ibáñez, Maria","last_name":"Ibáñez","id":"43C61214-F248-11E8-B48F-1D18A9856A87","first_name":"Maria","orcid":"0000-0001-5013-2843"},{"full_name":"Ryan, Kevin M.","last_name":"Ryan","first_name":"Kevin M."},{"first_name":"Alex M.","last_name":"Ganose","full_name":"Ganose, Alex M."},{"full_name":"Singh, Shalini","last_name":"Singh","first_name":"Shalini"}],"day":"09","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"1","month":"01","doi":"10.1021/acsenergylett.5c02909","title":"Layered alkali-copper selenides: Deciphering thermoelectric properties and reaction pathways for nanostructuring β-CsCu5Se3","_id":"21001","status":"public","abstract":[{"text":"Copper chalcogenides offer high charge mobility and low lattice thermal conductivity but suffer from structural instability due to dynamic Cu+ migration. Here, we report a colloidal hot-injection synthesis of ternary cesium copper selenide (CsCu5Se3) nanocrystals (NCs), achieving precise control over phase, size, and morphology through tailored precursor-ligand modulation. This strategy enabled systematic exploration of stable and metastable Cs–Cu–Se phases and mechanistic investigation of nucleation and growth, providing insight into phase modulation and dimensional control at the nanoscale. CsCu5Se3 NCs exhibit low lattice thermal conductivity (∼0.5 Wm–1K–1) and an experimental zT of 0.27 at 718 K. Complementary first-principles calculations, consistent with experimental electronic and optical responses, predict a zT of 1.05 at 1000 K. These findings elucidate the formation dynamics of CsCu5Se3 and establish ABZ (A = alkali, B = metal, Z = chalcogen) NCs as tunable platforms for advanced functional applications.","lang":"eng"}],"article_type":"letter_note","scopus_import":"1","quality_controlled":"1","date_published":"2026-01-09T00:00:00Z","department":[{"_id":"MaIb"},{"_id":"GradSch"}],"project":[{"name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery","_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A"}]},{"ddc":["540"],"publication_identifier":{"eissn":["2155-5435"]},"publisher":"American Chemical Society","volume":16,"acknowledgement":"We gratefully acknowledge the Institute of Science and Technology Austria for generous financial support. B.P. acknowledges the Austrian Science Fund (PAT 1250924) for funding.","date_updated":"2026-01-21T09:15:16Z","language":[{"iso":"eng"}],"citation":{"ieee":"A. Bena and B. Pieber, “Advances in NiI/NiIII-catalyzed C(sp2)–heteroatom cross-couplings,” <i>ACS Catalysis</i>, vol. 16, no. 2. American Chemical Society, pp. 866–881, 2026.","apa":"Bena, A., &#38; Pieber, B. (2026). Advances in NiI/NiIII-catalyzed C(sp2)–heteroatom cross-couplings. <i>ACS Catalysis</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acscatal.5c07964\">https://doi.org/10.1021/acscatal.5c07964</a>","chicago":"Bena, Aleksander, and Bartholomäus Pieber. “Advances in NiI/NiIII-Catalyzed C(Sp2)–Heteroatom Cross-Couplings.” <i>ACS Catalysis</i>. American Chemical Society, 2026. <a href=\"https://doi.org/10.1021/acscatal.5c07964\">https://doi.org/10.1021/acscatal.5c07964</a>.","ama":"Bena A, Pieber B. Advances in NiI/NiIII-catalyzed C(sp2)–heteroatom cross-couplings. <i>ACS Catalysis</i>. 2026;16(2):866-881. doi:<a href=\"https://doi.org/10.1021/acscatal.5c07964\">10.1021/acscatal.5c07964</a>","ista":"Bena A, Pieber B. 2026. Advances in NiI/NiIII-catalyzed C(sp2)–heteroatom cross-couplings. ACS Catalysis. 16(2), 866–881.","short":"A. Bena, B. Pieber, ACS Catalysis 16 (2026) 866–881.","mla":"Bena, Aleksander, and Bartholomäus Pieber. “Advances in NiI/NiIII-Catalyzed C(Sp2)–Heteroatom Cross-Couplings.” <i>ACS Catalysis</i>, vol. 16, no. 2, American Chemical Society, 2026, pp. 866–81, doi:<a href=\"https://doi.org/10.1021/acscatal.5c07964\">10.1021/acscatal.5c07964</a>."},"date_created":"2026-01-20T10:04:57Z","publication":"ACS Catalysis","OA_type":"hybrid","oa_version":"Published Version","publication_status":"published","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"has_accepted_license":"1","oa":1,"quality_controlled":"1","date_published":"2026-01-16T00:00:00Z","file":[{"checksum":"05743d6d7b4bae37aad1a91471123032","access_level":"open_access","file_size":3797064,"date_updated":"2026-01-21T09:12:10Z","content_type":"application/pdf","creator":"dernst","file_id":"21030","date_created":"2026-01-21T09:12:10Z","relation":"main_file","file_name":"2026_ACSCatalysis_Bena.pdf","success":1}],"corr_author":"1","project":[{"name":"Photoactive ligands for transformative nickel catalysis","_id":"8f1d607d-16d5-11f0-9cad-ab453295ba5e","grant_number":"PAT 1250924"}],"department":[{"_id":"BaPi"},{"_id":"GradSch"}],"doi":"10.1021/acscatal.5c07964","title":"Advances in NiI/NiIII-catalyzed C(sp2)–heteroatom cross-couplings","status":"public","_id":"21008","abstract":[{"lang":"eng","text":"C(sp2)–heteroatom couplings operating via NiI/NiIII catalysis have emerged as an alternative to canonical Pd0/PdII systems that require complex ligand architectures. Despite intensive research efforts during the past decade, catalytic methods employing this approach are still mostly confined to activated starting materials and require high catalyst loadings due to the low catalytic activity of NiI and undesired catalyst deactivation events. This article highlights recent advances in the field toward solving these long-standing challenges. We survey strategies that streamline the generation of catalytically competent NiI species from bench-stable NiII precatalysts, and discuss mechanistic studies that shed light on deactivation pathways and the rate-determining oxidative addition of aryl halides. In the final section, we highlight recently developed synthetic methodologies, which provide evidence that limitations can indeed be addressed by working at elevated temperatures, employing alternative electrophiles, harnessing the benefits of additives, or fine-tuning the metal’s reactivity through the ligand field."}],"scopus_import":"1","PlanS_conform":"1","article_type":"original","file_date_updated":"2026-01-21T09:12:10Z","article_processing_charge":"Yes (via OA deal)","fulldoi":"https://doi.org/10.1021/acscatal.5c07964","OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"16","author":[{"first_name":"Aleksander","id":"4197c39e-e8ec-11ed-86cb-afed934cd664","last_name":"Bena","full_name":"Bena, Aleksander"},{"full_name":"Pieber, Bartholomäus","id":"93e5e5b2-0da6-11ed-8a41-af589a024726","last_name":"Pieber","first_name":"Bartholomäus","orcid":"0000-0001-8689-388X"}],"page":"866-881","month":"01","issue":"2","intvolume":"        16","year":"2026"},{"publication_status":"published","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication":"Communications of the ACM","OA_type":"hybrid","oa_version":"Published Version","date_created":"2026-01-20T10:08:21Z","language":[{"iso":"eng"}],"citation":{"ama":"Barrett C, Henzinger TA, Seshia SA. Certificates in AI: Learn but verify. <i>Communications of the ACM</i>. 2026;69(1):66-75. doi:<a href=\"https://doi.org/10.1145/3737447\">10.1145/3737447</a>","chicago":"Barrett, Clark, Thomas A Henzinger, and Sanjit A. Seshia. “Certificates in AI: Learn but Verify.” <i>Communications of the ACM</i>. Association for Computing Machinery, 2026. <a href=\"https://doi.org/10.1145/3737447\">https://doi.org/10.1145/3737447</a>.","apa":"Barrett, C., Henzinger, T. A., &#38; Seshia, S. A. (2026). Certificates in AI: Learn but verify. <i>Communications of the ACM</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3737447\">https://doi.org/10.1145/3737447</a>","ieee":"C. Barrett, T. A. Henzinger, and S. A. Seshia, “Certificates in AI: Learn but verify,” <i>Communications of the ACM</i>, vol. 69, no. 1. Association for Computing Machinery, pp. 66–75, 2026.","mla":"Barrett, Clark, et al. “Certificates in AI: Learn but Verify.” <i>Communications of the ACM</i>, vol. 69, no. 1, Association for Computing Machinery, 2026, pp. 66–75, doi:<a href=\"https://doi.org/10.1145/3737447\">10.1145/3737447</a>.","short":"C. Barrett, T.A. Henzinger, S.A. Seshia, Communications of the ACM 69 (2026) 66–75.","ista":"Barrett C, Henzinger TA, Seshia SA. 2026. Certificates in AI: Learn but verify. Communications of the ACM. 69(1), 66–75."},"date_updated":"2026-01-21T08:55:24Z","volume":69,"acknowledgement":"T.A.H. thanks Đorde Žikelic for many stimulating discussions about CML. This work was supported in part by NSFCPS Frontier Grant 1545126, by a BAIR Commons project, by the Berkeley iCy-Phy Center, by the Stanford Center for Automated Reasoning, and by the ERC Advanced Grant 101020093.","publication_identifier":{"issn":["0001-0782"],"eissn":["1557-7317"]},"publisher":"Association for Computing Machinery","ddc":["000"],"year":"2026","ec_funded":1,"intvolume":"        69","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"66-75","author":[{"full_name":"Barrett, Clark","last_name":"Barrett","first_name":"Clark"},{"orcid":"0000-0002-2985-7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"first_name":"Sanjit A.","last_name":"Seshia","full_name":"Seshia, Sanjit A."}],"day":"01","month":"01","issue":"1","file_date_updated":"2026-01-21T08:52:07Z","article_processing_charge":"Yes (via OA deal)","OA_place":"publisher","fulldoi":"https://doi.org/10.1145/3737447","_id":"21012","abstract":[{"text":"In certifiable machine learning, AI systems produce not only results but also verifiable certificates that the results can be trusted.","lang":"eng"}],"status":"public","scopus_import":"1","article_type":"original","PlanS_conform":"1","doi":"10.1145/3737447","title":"Certificates in AI: Learn but verify","quality_controlled":"1","date_published":"2026-01-01T00:00:00Z","file":[{"file_id":"21028","creator":"dernst","content_type":"application/pdf","date_updated":"2026-01-21T08:52:07Z","file_size":2623108,"access_level":"open_access","checksum":"d909a9091c254b2d18ba014124663f69","file_name":"2026_CommACM_Barrett.pdf","success":1,"date_created":"2026-01-21T08:52:07Z","relation":"main_file"}],"corr_author":"1","project":[{"call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093"}],"department":[{"_id":"ToHe"}],"has_accepted_license":"1","oa":1},{"date_created":"2026-01-20T10:08:54Z","article_number":"e2024MS004576","citation":{"ieee":"B. B. GOSWAMI, Z. Lu, and C. J. Muller, “Convective self‐aggregation in diurnally oscillating sea surface temperature and solar forcing experiments,” <i>Journal of Advances in Modeling Earth Systems</i>, vol. 18, no. 1. Wiley, 2026.","apa":"GOSWAMI, B. B., Lu, Z., &#38; Muller, C. J. (2026). Convective self‐aggregation in diurnally oscillating sea surface temperature and solar forcing experiments. <i>Journal of Advances in Modeling Earth Systems</i>. Wiley. <a href=\"https://doi.org/10.1029/2024ms004576\">https://doi.org/10.1029/2024ms004576</a>","chicago":"GOSWAMI, BIDYUT B, Ziyin Lu, and Caroline J Muller. “Convective Self‐aggregation in Diurnally Oscillating Sea Surface Temperature and Solar Forcing Experiments.” <i>Journal of Advances in Modeling Earth Systems</i>. Wiley, 2026. <a href=\"https://doi.org/10.1029/2024ms004576\">https://doi.org/10.1029/2024ms004576</a>.","ama":"GOSWAMI BB, Lu Z, Muller CJ. Convective self‐aggregation in diurnally oscillating sea surface temperature and solar forcing experiments. <i>Journal of Advances in Modeling Earth Systems</i>. 2026;18(1). doi:<a href=\"https://doi.org/10.1029/2024ms004576\">10.1029/2024ms004576</a>","ista":"GOSWAMI BB, Lu Z, Muller CJ. 2026. Convective self‐aggregation in diurnally oscillating sea surface temperature and solar forcing experiments. Journal of Advances in Modeling Earth Systems. 18(1), e2024MS004576.","short":"B.B. GOSWAMI, Z. Lu, C.J. Muller, Journal of Advances in Modeling Earth Systems 18 (2026).","mla":"GOSWAMI, BIDYUT B., et al. “Convective Self‐aggregation in Diurnally Oscillating Sea Surface Temperature and Solar Forcing Experiments.” <i>Journal of Advances in Modeling Earth Systems</i>, vol. 18, no. 1, e2024MS004576, Wiley, 2026, doi:<a href=\"https://doi.org/10.1029/2024ms004576\">10.1029/2024ms004576</a>."},"language":[{"iso":"eng"}],"tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"type":"journal_article","publication_status":"published","oa_version":"Published Version","publication":"Journal of Advances in Modeling Earth Systems","OA_type":"gold","publisher":"Wiley","publication_identifier":{"eissn":["1942-2466"]},"ddc":["550"],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","DOAJ_listed":"1","date_updated":"2026-01-21T08:41:19Z","acknowledgement":"The authors gratefully acknowledge funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (Project CLUSTER, Grant Agreement No. 805041). This research was supported by the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp). We are grateful to three anonymous reviewer(s) for their insightful suggestions that have improved the quality of our manuscript. Open Access funding provided by Institute of Science and Technology Austria/KEMÖ.","volume":18,"issue":"1","month":"01","day":"12","author":[{"orcid":"0000-0001-8602-3083","full_name":"GOSWAMI, BIDYUT B","id":"3a4ac09c-6d61-11ec-bf66-884cde66b64b","last_name":"GOSWAMI","first_name":"BIDYUT B"},{"first_name":"Ziyin","full_name":"Lu, Ziyin","id":"a6e549c6-8972-11ed-ae7b-a336d97ac043","last_name":"Lu","orcid":"0009-0008-5320-7730"},{"orcid":"0000-0001-5836-5350","first_name":"Caroline J","full_name":"Muller, Caroline J","last_name":"Muller","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"publisher","fulldoi":"https://doi.org/10.1029/2024ms004576","article_processing_charge":"Yes","file_date_updated":"2026-01-21T08:39:01Z","ec_funded":1,"year":"2026","intvolume":"        18","acknowledged_ssus":[{"_id":"ScienComp"}],"department":[{"_id":"CaMu"},{"_id":"BjHo"},{"_id":"GradSch"}],"project":[{"_id":"629205d8-2b32-11ec-9570-e1356ff73576","name":"Organization of CLoUdS, and implications of Tropical  cyclones and for the Energetics of the tropics, in current and waRming climate","grant_number":"805041","call_identifier":"H2020"}],"corr_author":"1","file":[{"date_updated":"2026-01-21T08:39:01Z","access_level":"open_access","file_size":19509786,"checksum":"6ea369e3b46bea58efab4f38b6c671a7","file_id":"21027","creator":"dernst","content_type":"application/pdf","date_created":"2026-01-21T08:39:01Z","relation":"main_file","file_name":"2026_JAMES_Goswami.pdf","success":1}],"date_published":"2026-01-12T00:00:00Z","quality_controlled":"1","oa":1,"has_accepted_license":"1","PlanS_conform":"1","scopus_import":"1","article_type":"original","_id":"21013","abstract":[{"lang":"eng","text":"We have addressed convective self‐aggregation (CSA) in steady and oscillating sea surface temperature (SST) and solar radiation (SOLIN) cloud‐resolving model simulations in a non‐rotating radiative‐convective equilibrium (RCE) framework. Our experiment designs are motivated by land‐ocean heterogeneity of atmospheric convection. The steady and oscillating forcings are idealizations of ocean and land conditions, respectively, based on their differences in heat capacities. In both kinds of simulations, the diurnal mean SST and SOLIN are the same, and both SST and SOLIN are only varied in time (i.e., they are spatially homogeneous at any given time). We find that diurnally oscillating forcing accelerates CSA. Stronger long‐wave cooling in dry regions at night and during the warm SST phase (late afternoon) both allow the long‐wave feedback, known to favor aggregation, to intensify compared to steady forcing simulations. In addition to the long‐wave, reduced short‐wave warming in dry regions (during the day) further enhances radiative cooling there compared to moist regions. Overall, the radiative cooling is enhanced in dry regions compared to neighboring moist convective regions. A dry subsidence is driven by this net radiative (short‐wave plus long‐wave) cooling, consistent with earlier work on CSA. Stronger radiative cooling allows stronger subsidence which allows low‐level circulation to more efficiently transport moisture and energy up‐gradient, driving convection to aggregate faster. We also note a sensitivity of our experimental setup to initial conditions, more so at warmer SST. This stochastic behavior might be critical in reconciling the differences of opinion regarding the response of convection aggregation to oscillating SST forcing."}],"status":"public","title":"Convective self‐aggregation in diurnally oscillating sea surface temperature and solar forcing experiments","doi":"10.1029/2024ms004576"},{"publication_identifier":{"eissn":["1745-2481"],"issn":["1745-2473"],"issnl":[" 1745-2473"]},"publisher":"Springer Nature","ddc":["570"],"related_material":{"link":[{"description":"News on ISTA website","relation":"research_data","url":"https://ista.ac.at/en/news/geometry-shapes-life/"}]},"date_updated":"2026-04-28T12:55:30Z","volume":22,"acknowledgement":"We thank N. Petridou (EMBL) for sharing results before publication. N.M. was supported by funding from the European Union’s Horizon 2020 programme under the Marie Skłodowska-Curie COFUND Actions ISTplus grant agreement number 754411. Y.I.L. acknowledges funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement number 101034413. The research was supported by funding to C.-P.H. from the NOMIS Foundation, Project ID 1.844. We would like to thank past and present members of the Heisenberg and Hannezo groups for discussions, particularly S. Shamipour, V. Doddihal, M. Jovic, N. Hino, F. N. Arslan, R. Kobylinska and C. Camelo for feedback on the draft manuscript. This research was supported by the Scientific Service Units (SSU) of Institute of Science and Technology Austria through resources provided by the Aquatics Facility, Imaging & Optics Facility (IOF), Scientific Computing (SciComp) facility and Lab Support Facility (LSF). Open access funding provided by Institute of Science and Technology (IST Austria).","oaworkid":1,"date_created":"2026-01-20T10:12:19Z","language":[{"iso":"eng"}],"citation":{"ama":"Mishra N, Li YI, Hannezo EB, Heisenberg C-PJ. Geometry-driven asymmetric cell divisions pattern cell cycles and zygotic genome activation in the zebrafish embryo. <i>Nature Physics</i>. 2026;22:139-150. doi:<a href=\"https://doi.org/10.1038/s41567-025-03122-1\">10.1038/s41567-025-03122-1</a>","chicago":"Mishra, Nikhil, Yuting I Li, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Geometry-Driven Asymmetric Cell Divisions Pattern Cell Cycles and Zygotic Genome Activation in the Zebrafish Embryo.” <i>Nature Physics</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1038/s41567-025-03122-1\">https://doi.org/10.1038/s41567-025-03122-1</a>.","apa":"Mishra, N., Li, Y. I., Hannezo, E. B., &#38; Heisenberg, C.-P. J. (2026). Geometry-driven asymmetric cell divisions pattern cell cycles and zygotic genome activation in the zebrafish embryo. <i>Nature Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41567-025-03122-1\">https://doi.org/10.1038/s41567-025-03122-1</a>","ieee":"N. Mishra, Y. I. Li, E. B. Hannezo, and C.-P. J. Heisenberg, “Geometry-driven asymmetric cell divisions pattern cell cycles and zygotic genome activation in the zebrafish embryo,” <i>Nature Physics</i>, vol. 22. Springer Nature, pp. 139–150, 2026.","mla":"Mishra, Nikhil, et al. “Geometry-Driven Asymmetric Cell Divisions Pattern Cell Cycles and Zygotic Genome Activation in the Zebrafish Embryo.” <i>Nature Physics</i>, vol. 22, Springer Nature, 2026, pp. 139–50, doi:<a href=\"https://doi.org/10.1038/s41567-025-03122-1\">10.1038/s41567-025-03122-1</a>.","short":"N. Mishra, Y.I. Li, E.B. Hannezo, C.-P.J. Heisenberg, Nature Physics 22 (2026) 139–150.","ista":"Mishra N, Li YI, Hannezo EB, Heisenberg C-PJ. 2026. Geometry-driven asymmetric cell divisions pattern cell cycles and zygotic genome activation in the zebrafish embryo. Nature Physics. 22, 139–150."},"publication_status":"published","external_id":{"oaworkid":["W7118187193"]},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","oa_version":"Published Version","OA_type":"hybrid","publication":"Nature Physics","quality_controlled":"1","file":[{"checksum":"0ab7ac2fbcb61a364dba57152db64ed7","date_updated":"2026-01-21T08:21:11Z","access_level":"open_access","file_size":7335694,"content_type":"application/pdf","file_id":"21026","creator":"dernst","relation":"main_file","date_created":"2026-01-21T08:21:11Z","file_name":"2026_NaturePhysics_Mishra.pdf","success":1}],"date_published":"2026-01-05T00:00:00Z","department":[{"_id":"EdHa"},{"_id":"CaHe"}],"project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020"},{"_id":"917c023a-16d5-11f0-9cad-eb5cafc52090","name":"Cytoplasmic self-organization into cell-like compartments as a common guiding principle in early animal development"}],"corr_author":"1","has_accepted_license":"1","oa":1,"_id":"21015","abstract":[{"lang":"eng","text":"Early embryo geometry is one of the most invariant species-specific traits, yet its role in ensuring developmental reproducibility and robustness remains underexplored. Here we show that in zebrafish, the geometry of the fertilized egg—specifically its curvature and volume—serves as a critical initial condition triggering a cascade of events that influence development. The embryo geometry guides patterned asymmetric cell divisions in the blastoderm, generating radial gradients of cell volume and nucleocytoplasmic ratio. These gradients generate mitotic phase waves, with the nucleocytoplasmic ratio determining individual cell cycle periods independently of other cells. We demonstrate that reducing cell autonomy reshapes these waves, emphasizing the instructive role of geometry-derived volume patterns in setting the intrinsic period of the cell cycle oscillator. In addition to organizing cell cycles, early embryo geometry spatially patterns zygotic genome activation at the midblastula transition, a key step in establishing embryonic autonomy. Disrupting the embryo shape alters the zygotic genome activation pattern and causes ectopic germ layer specification, underscoring the developmental significance of geometry. Together, our findings reveal a symmetry-breaking function of early embryo geometry in coordinating cell cycle and transcriptional patterning."}],"status":"public","scopus_import":"1","PlanS_conform":"1","article_type":"original","doi":"10.1038/s41567-025-03122-1","title":"Geometry-driven asymmetric cell divisions pattern cell cycles and zygotic genome activation in the zebrafish embryo","page":"139-150","author":[{"orcid":"0000-0002-6425-5788","first_name":"Nikhil","full_name":"Mishra, Nikhil","last_name":"Mishra","id":"C4D70E82-1081-11EA-B3ED-9A4C3DDC885E"},{"first_name":"Yuting I","id":"ee7a5ca8-8b71-11ed-b662-b3341c05b7eb","last_name":"Li","full_name":"Li, Yuting I"},{"orcid":"0000-0001-6005-1561","first_name":"Edouard B","full_name":"Hannezo, Edouard B","last_name":"Hannezo","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","first_name":"Carl-Philipp J"}],"day":"05","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","month":"01","article_processing_charge":"Yes (via OA deal)","file_date_updated":"2026-01-21T08:21:11Z","OA_place":"publisher","fulldoi":"https://doi.org/10.1038/s41567-025-03122-1","ec_funded":1,"year":"2026","acknowledged_ssus":[{"_id":"PreCl"},{"_id":"Bio"},{"_id":"ScienComp"},{"_id":"LifeSc"}],"intvolume":"        22"},{"file_date_updated":"2026-01-21T07:45:03Z","article_processing_charge":"Yes (via OA deal)","OA_place":"publisher","fulldoi":"https://doi.org/10.1007/s44007-025-00180-y","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Giovanni","last_name":"Brigati","id":"63ff57e8-1fbb-11ee-88f2-f558ffc59cf1","full_name":"Brigati, Giovanni"},{"full_name":"Dolbeault, Jean","last_name":"Dolbeault","first_name":"Jean"},{"last_name":"Simonov","full_name":"Simonov, Nikita","first_name":"Nikita"}],"day":"08","month":"01","intvolume":"         5","year":"2026","ec_funded":1,"has_accepted_license":"1","oa":1,"date_published":"2026-01-08T00:00:00Z","file":[{"content_type":"application/pdf","file_id":"21025","creator":"dernst","checksum":"0702d8397f216555b1d5286e5d77f09c","date_updated":"2026-01-21T07:45:03Z","file_size":4992025,"access_level":"open_access","file_name":"2026_LaMatematica_Brigati.pdf","success":1,"date_created":"2026-01-21T07:45:03Z","relation":"main_file"}],"quality_controlled":"1","corr_author":"1","project":[{"grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020"}],"department":[{"_id":"JaMa"}],"doi":"10.1007/s44007-025-00180-y","title":"Logarithmic Sobolev Inequalities: A review on stability and instability results","abstract":[{"lang":"eng","text":"In this paper, we review recent results on stability and instability in logarithmic Sobolev inequalities, with a particular emphasis on strong norms. We consider several versions of these inequalities on the Euclidean space, for the Lebesgue and the Gaussian measures, and discuss their differences in terms of moments and stability. We give new and direct proofs, as well as examples and discuss the stability of a logarithmic uncertainty principle. Although we do not cover all aspects of the topic, we hope to contribute to establishing the state of the art."}],"_id":"21018","status":"public","article_type":"original","PlanS_conform":"1","scopus_import":"1","language":[{"iso":"eng"}],"citation":{"mla":"Brigati, Giovanni, et al. “Logarithmic Sobolev Inequalities: A Review on Stability and Instability Results.” <i>La Matematica</i>, vol. 5, 5, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1007/s44007-025-00180-y\">10.1007/s44007-025-00180-y</a>.","ista":"Brigati G, Dolbeault J, Simonov N. 2026. Logarithmic Sobolev Inequalities: A review on stability and instability results. La Matematica. 5, 5.","short":"G. Brigati, J. Dolbeault, N. Simonov, La Matematica 5 (2026).","chicago":"Brigati, Giovanni, Jean Dolbeault, and Nikita Simonov. “Logarithmic Sobolev Inequalities: A Review on Stability and Instability Results.” <i>La Matematica</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1007/s44007-025-00180-y\">https://doi.org/10.1007/s44007-025-00180-y</a>.","ama":"Brigati G, Dolbeault J, Simonov N. Logarithmic Sobolev Inequalities: A review on stability and instability results. <i>La Matematica</i>. 2026;5. doi:<a href=\"https://doi.org/10.1007/s44007-025-00180-y\">10.1007/s44007-025-00180-y</a>","ieee":"G. Brigati, J. Dolbeault, and N. Simonov, “Logarithmic Sobolev Inequalities: A review on stability and instability results,” <i>La Matematica</i>, vol. 5. Springer Nature, 2026.","apa":"Brigati, G., Dolbeault, J., &#38; Simonov, N. (2026). Logarithmic Sobolev Inequalities: A review on stability and instability results. <i>La Matematica</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s44007-025-00180-y\">https://doi.org/10.1007/s44007-025-00180-y</a>"},"article_number":"5","date_created":"2026-01-20T10:14:55Z","OA_type":"hybrid","publication":"La Matematica","oa_version":"Published Version","arxiv":1,"external_id":{"arxiv":["2504.08658"]},"publication_status":"published","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["510"],"publication_identifier":{"issn":["2730-9657"]},"publisher":"Springer Nature","volume":5,"acknowledgement":"This work has been supported by the Project Conviviality (ANR-23-CE40–0003) of the French National Research Agency. G.B. has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101034413. The authors thank a referee for a careful reading and suggestions which result in a significant improvement of the manuscript. Open access funding provided by Institute of Science and Technology (IST Austria). The work of GB has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101034413. This work has been supported by the Project Conviviality (ANR-23-CE40–0003) of the French National Research Agency.","date_updated":"2026-01-21T07:48:28Z"},{"date_published":"2026-01-15T00:00:00Z","quality_controlled":"1","file":[{"checksum":"c433bba3822b3c6c4a5260ad5e2429a0","date_updated":"2026-02-12T08:39:27Z","file_size":511226,"access_level":"open_access","content_type":"application/pdf","file_id":"21215","creator":"dernst","date_created":"2026-02-12T08:39:27Z","relation":"main_file","file_name":"2026_njpClimateAtmScience_Bolot.pdf","success":1}],"department":[{"_id":"CaMu"}],"project":[{"call_identifier":"H2020","grant_number":"805041","name":"Organization of CLoUdS, and implications of Tropical  cyclones and for the Energetics of the tropics, in current and waRming climate","_id":"629205d8-2b32-11ec-9570-e1356ff73576"}],"has_accepted_license":"1","oa":1,"status":"public","_id":"21035","abstract":[{"text":"According to the scientific consensus, tropical convection must decrease with global warming. This decrease is manifested by a decrease of the mass transported in the upward branch of the atmospheric overturning circulation – the convective mass flux – and a connected decrease of high clouds in the tropics, with implications for climate sensitivity. By using kilometer-scale simulations in radiative-convective equilibrium and a convective tracking algorithm, we show that no such decrease occurs in storms when taken individually and that the mass transport per storm increases instead. Storms can achieve this result by aggregating more surface of the convective cores – the inner part of the storm doing the vertical transport – so that the decrease of tropical convection is actually explained by a decrease in the total number of storms. There is little variation of the mean pressure velocity in the cores of the storms, a robust finding of this study. This remarkable invariance of the mean pressure velocity points to an emerging property of convection that should receive more attention in future studies.","lang":"eng"}],"scopus_import":"1","article_type":"original","doi":"10.1038/s41612-025-01285-5","title":"No decrease of tropical convection in individual deep convective systems with global warming","pmid":1,"day":"15","author":[{"first_name":"Maximilien","last_name":"Bolot","full_name":"Bolot, Maximilien"},{"full_name":"Roca, Rémy","last_name":"Roca","first_name":"Rémy"},{"last_name":"Fiolleau","full_name":"Fiolleau, Thomas","first_name":"Thomas"},{"orcid":"0000-0001-5836-5350","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","last_name":"Muller","full_name":"Muller, Caroline J","first_name":"Caroline J"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"01","article_processing_charge":"Yes","file_date_updated":"2026-02-12T08:39:27Z","OA_place":"publisher","fulldoi":"https://doi.org/10.1038/s41612-025-01285-5","ec_funded":1,"year":"2026","intvolume":"         9","publication_identifier":{"eissn":["2397-3722"]},"publisher":"Springer Nature","DOAJ_listed":"1","ddc":["550"],"date_updated":"2026-02-12T08:41:09Z","volume":9,"acknowledgement":"We thank Sophie Cloché for her support with the handling of the various datasets. This study benefited from the IPSL mesocenter ESPRI facility which is supported by CNRS, UPMC, Labex L-IPSL, CNES and Ecole Polytechnique. The authors acknowledge the CNES and CNRS support under the Megha-Tropiques program. C.M. gratefully acknowledges funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Project CLUSTER, Grant Agreement No. 805041).","date_created":"2026-01-25T23:01:38Z","language":[{"iso":"eng"}],"article_number":"14","citation":{"ama":"Bolot M, Roca R, Fiolleau T, Muller CJ. No decrease of tropical convection in individual deep convective systems with global warming. <i>npj Climate and Atmospheric Science</i>. 2026;9. doi:<a href=\"https://doi.org/10.1038/s41612-025-01285-5\">10.1038/s41612-025-01285-5</a>","chicago":"Bolot, Maximilien, Rémy Roca, Thomas Fiolleau, and Caroline J Muller. “No Decrease of Tropical Convection in Individual Deep Convective Systems with Global Warming.” <i>Npj Climate and Atmospheric Science</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1038/s41612-025-01285-5\">https://doi.org/10.1038/s41612-025-01285-5</a>.","apa":"Bolot, M., Roca, R., Fiolleau, T., &#38; Muller, C. J. (2026). No decrease of tropical convection in individual deep convective systems with global warming. <i>Npj Climate and Atmospheric Science</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41612-025-01285-5\">https://doi.org/10.1038/s41612-025-01285-5</a>","ieee":"M. Bolot, R. Roca, T. Fiolleau, and C. J. Muller, “No decrease of tropical convection in individual deep convective systems with global warming,” <i>npj Climate and Atmospheric Science</i>, vol. 9. Springer Nature, 2026.","mla":"Bolot, Maximilien, et al. “No Decrease of Tropical Convection in Individual Deep Convective Systems with Global Warming.” <i>Npj Climate and Atmospheric Science</i>, vol. 9, 14, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1038/s41612-025-01285-5\">10.1038/s41612-025-01285-5</a>.","short":"M. Bolot, R. Roca, T. Fiolleau, C.J. Muller, Npj Climate and Atmospheric Science 9 (2026).","ista":"Bolot M, Roca R, Fiolleau T, Muller CJ. 2026. No decrease of tropical convection in individual deep convective systems with global warming. npj Climate and Atmospheric Science. 9, 14."},"publication_status":"published","external_id":{"pmid":["41550270"]},"tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"type":"journal_article","oa_version":"Published Version","publication":"npj Climate and Atmospheric Science","OA_type":"gold"},{"arxiv":1,"external_id":{"arxiv":["2508.08768"]},"publication_status":"published","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"OA_type":"gold","publication":"Monthly Notices of the Royal Astronomical Society","oa_version":"Published Version","date_created":"2026-01-25T23:01:39Z","language":[{"iso":"eng"}],"citation":{"mla":"Chang, Seok Jun, et al. “Impact of Resonance, Raman, and Thomson Scattering on Hydrogen Line Formation in Little Red Dots.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 545, no. 4, staf2131, Oxford University Press, 2026, doi:<a href=\"https://doi.org/10.1093/mnras/staf2131\">10.1093/mnras/staf2131</a>.","short":"S.J. Chang, M. Gronke, J.J. Matthee, C. Mason, Monthly Notices of the Royal Astronomical Society 545 (2026).","ista":"Chang SJ, Gronke M, Matthee JJ, Mason C. 2026. Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots. Monthly Notices of the Royal Astronomical Society. 545(4), staf2131.","ama":"Chang SJ, Gronke M, Matthee JJ, Mason C. Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots. <i>Monthly Notices of the Royal Astronomical Society</i>. 2026;545(4). doi:<a href=\"https://doi.org/10.1093/mnras/staf2131\">10.1093/mnras/staf2131</a>","chicago":"Chang, Seok Jun, Max Gronke, Jorryt J Matthee, and Charlotte Mason. “Impact of Resonance, Raman, and Thomson Scattering on Hydrogen Line Formation in Little Red Dots.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2026. <a href=\"https://doi.org/10.1093/mnras/staf2131\">https://doi.org/10.1093/mnras/staf2131</a>.","apa":"Chang, S. J., Gronke, M., Matthee, J. J., &#38; Mason, C. (2026). Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/staf2131\">https://doi.org/10.1093/mnras/staf2131</a>","ieee":"S. J. Chang, M. Gronke, J. J. Matthee, and C. Mason, “Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots,” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 545, no. 4. Oxford University Press, 2026."},"article_number":"staf2131","date_updated":"2026-02-12T12:56:33Z","volume":545,"acknowledgement":"The authorsthank the anonymousreferee for constructive comments, which improved the clarity of this paper. SJC acknowledges support from the ERC synergy grant 101166930 – RECAP. MG thanks the Max Planck Society for support through the Max Planck Research Group, and the European Union forsupport through ERC-2024-STG 101165038 (ReMMU). JM acknowledges funding by the European Union (ERC, AGENTS, 101076224). CAM acknowledges support\r\nby the European Union ERC grant RISES (101163035), Carlsberg Foundation (CF22-1322), and VILLUM FONDEN (37459). Computations were performed on HPC systems Freya and Orion at the Max Planck Computing and Data Facility.","publication_identifier":{"issn":["0035-8711"],"eissn":["1365-2966"]},"publisher":"Oxford University Press","DOAJ_listed":"1","ddc":["520"],"year":"2026","intvolume":"       545","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Seok Jun","last_name":"Chang","full_name":"Chang, Seok Jun"},{"first_name":"Max","last_name":"Gronke","full_name":"Gronke, Max"},{"full_name":"Matthee, Jorryt J","last_name":"Matthee","id":"7439a258-f3c0-11ec-9501-9df22fe06720","first_name":"Jorryt J","orcid":"0000-0003-2871-127X"},{"last_name":"Mason","full_name":"Mason, Charlotte","first_name":"Charlotte"}],"day":"01","month":"02","issue":"4","file_date_updated":"2026-02-12T12:44:33Z","article_processing_charge":"Yes","fulldoi":"https://doi.org/10.1093/mnras/staf2131","OA_place":"publisher","status":"public","_id":"21038","abstract":[{"text":"Little Red Dots (LRDs) are compact sources at z > 5 discovered through James Webb Space Telescope spectroscopy. Their spectra exhibit broad Balmer emission lines (>~1000 km s^−1), alongside absorption features and a pronounced Balmer break – evidence for a dense, neutral hydrogen medium, in which the n = 2 state is significantly populated. When interpreted as arising\r\nfrom active galactic nucleus broad-line regions, inferred black hole masses from local scaling relations exceed expectations given their stellar masses, challenging models of early black hole–galaxy co-evolution. However, radiative transfer effects in dense media may also impact the formation of hydrogen emission lines. We model three scattering processes shaping hydrogen\r\nline profiles: resonance scattering by hydrogen in the n = 2 state, Raman scattering of ultraviolet (UV) radiation by ground-state hydrogen, and Thomson scattering by free electrons. Using 3D Monte Carlo radiative transfer simulations, we examine their imprint on line shapes and ratios. Resonance scattering produces strong deviations from Case B flux ratios, clear differences\r\nbetween Hα and Hβ, and encodes gas kinematics in line profiles but cannot broaden Hβ due to conversion to Paα. While Raman scattering can yield broad wings, scattering of the UV continuum is disfavoured given the absence of strong full width at half-maximum variations across transitions. Raman scattering of higher Lyman-series emission can produce Hα/Hβ wing\r\nwidth ratios of  >~1.28, agreeing with observations. Thomson scattering can reproduce the observed >~ 1000 km s^−1 wings under plausible conditions – e.g. Te ∼ 10^4 K and Ne ∼ 10^24 cm^−2 – and lead to black hole mass overestimates by factors  10. Our results provide a framework for interpreting hydrogen lines in LRDs and similar systems.","lang":"eng"}],"article_type":"original","scopus_import":"1","PlanS_conform":"1","doi":"10.1093/mnras/staf2131","title":"Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots","date_published":"2026-02-01T00:00:00Z","quality_controlled":"1","file":[{"file_size":5600366,"access_level":"open_access","date_updated":"2026-02-12T12:44:33Z","checksum":"52ba7d7b5b80af0c50f57e4c2acc3930","creator":"dernst","file_id":"21220","content_type":"application/pdf","relation":"main_file","date_created":"2026-02-12T12:44:33Z","file_name":"2026_MonthNoticesRAS_Chang.pdf","success":1}],"project":[{"grant_number":"101076224","_id":"bd9b2118-d553-11ed-ba76-db24564edfea","name":"Young galaxies as tracers and agents of cosmic reionization"}],"department":[{"_id":"JoMa"}],"has_accepted_license":"1","oa":1},{"fulldoi":"https://doi.org/10.1021/acsaem.5c03511","OA_place":"publisher","article_processing_charge":"Yes (via OA deal)","file_date_updated":"2026-02-12T13:55:28Z","issue":"1","month":"01","author":[{"first_name":"Matteo","full_name":"Busato, Matteo","last_name":"Busato"},{"first_name":"Mariarosaria","last_name":"Tuccillo","full_name":"Tuccillo, Mariarosaria"},{"last_name":"Celeste","full_name":"Celeste, Arcangelo","first_name":"Arcangelo"},{"last_name":"Tofoni","full_name":"Tofoni, Alessandro","first_name":"Alessandro"},{"first_name":"Laura","last_name":"Silvestri","full_name":"Silvestri, Laura"},{"full_name":"D’Angelo, Paola","last_name":"D’Angelo","first_name":"Paola"},{"first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger","full_name":"Freunberger, Stefan Alexander","orcid":"0000-0003-2902-5319"},{"full_name":"Brutti, Sergio","last_name":"Brutti","first_name":"Sergio"}],"page":"686-697","day":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"         9","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"LifeSc"}],"year":"2026","oa":1,"has_accepted_license":"1","department":[{"_id":"StFr"}],"corr_author":"1","quality_controlled":"1","date_published":"2026-01-12T00:00:00Z","file":[{"creator":"dernst","file_id":"21222","content_type":"application/pdf","file_size":5977526,"access_level":"open_access","date_updated":"2026-02-12T13:55:28Z","checksum":"81272c19df41c696c1737168d3ea8c16","success":1,"file_name":"2026_AppliedEnergyMaterials_Busato.pdf","date_created":"2026-02-12T13:55:28Z","relation":"main_file"}],"title":"Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation","doi":"10.1021/acsaem.5c03511","scopus_import":"1","article_type":"original","PlanS_conform":"1","abstract":[{"lang":"eng","text":"Formation during the first cycles of Li-rich layered oxide (LRLO) cathode materials consolidates the interphase and leads to structural changes that are decisive for long-term cyclability. However, the nature and effect of the changes are material-dependent and unknown for the important class of Co-free, Ni-poor LRLOs. Here, we analyze the processes during the tailored formation procedure of a typical class member, Li1.28Ni0.15Mn0.57O2, and demonstrate that it remarkably changes lattice composition and structure as a prerequisite for stable cycling. We combine electrochemistry, operando mass spectrometry, X-ray diffraction, and X-ray absorption spectroscopy with density functional theory simulations. Activation most prominently compresses the layer spacing along the c-axis and increases reversible structural breathing. The large capacity of ∼250 mAh g–1 originates from the Ni2+/Ni4+ and O2–/O– redox couples. Electron exchange during O-redox is smeared over the entire anionic sublattice rather than localized on specific oxygen atomic sites. This redox mechanism is reversible without detrimental oxygen evolution, avoiding continued degradation common in conventional LRLOs. Sequential Ni- and O-redox during activation irreversibly distorts the coordination of the redox-inactive Mn4+ centers. This structural evolution of the MnO6 octahedra appears to enable the superior electrochemical performance of this LRLO phase. These findings define an activation pathway for the important class of Co-free, Ni-poor LRLOs, offering potential guidance for the rational design of high-performance, more sustainable cathode materials."}],"_id":"21040","status":"public","citation":{"ista":"Busato M, Tuccillo M, Celeste A, Tofoni A, Silvestri L, D’Angelo P, Freunberger SA, Brutti S. 2026. Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation. ACS Applied Energy Materials. 9(1), 686–697.","short":"M. Busato, M. Tuccillo, A. Celeste, A. Tofoni, L. Silvestri, P. D’Angelo, S.A. Freunberger, S. Brutti, ACS Applied Energy Materials 9 (2026) 686–697.","mla":"Busato, Matteo, et al. “Structural Rearrangements of a Cobalt-Free Lithium-Rich Layered Oxide Cathode during Formation.” <i>ACS Applied Energy Materials</i>, vol. 9, no. 1, American Chemical Society, 2026, pp. 686–97, doi:<a href=\"https://doi.org/10.1021/acsaem.5c03511\">10.1021/acsaem.5c03511</a>.","ieee":"M. Busato <i>et al.</i>, “Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation,” <i>ACS Applied Energy Materials</i>, vol. 9, no. 1. American Chemical Society, pp. 686–697, 2026.","apa":"Busato, M., Tuccillo, M., Celeste, A., Tofoni, A., Silvestri, L., D’Angelo, P., … Brutti, S. (2026). Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation. <i>ACS Applied Energy Materials</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acsaem.5c03511\">https://doi.org/10.1021/acsaem.5c03511</a>","chicago":"Busato, Matteo, Mariarosaria Tuccillo, Arcangelo Celeste, Alessandro Tofoni, Laura Silvestri, Paola D’Angelo, Stefan Alexander Freunberger, and Sergio Brutti. “Structural Rearrangements of a Cobalt-Free Lithium-Rich Layered Oxide Cathode during Formation.” <i>ACS Applied Energy Materials</i>. American Chemical Society, 2026. <a href=\"https://doi.org/10.1021/acsaem.5c03511\">https://doi.org/10.1021/acsaem.5c03511</a>.","ama":"Busato M, Tuccillo M, Celeste A, et al. Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation. <i>ACS Applied Energy Materials</i>. 2026;9(1):686-697. doi:<a href=\"https://doi.org/10.1021/acsaem.5c03511\">10.1021/acsaem.5c03511</a>"},"language":[{"iso":"eng"}],"date_created":"2026-01-25T23:01:40Z","oa_version":"Published Version","OA_type":"hybrid","publication":"ACS Applied Energy Materials","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","publication_status":"published","ddc":["540"],"publisher":"American Chemical Society","publication_identifier":{"eissn":["2574-0962"]},"acknowledgement":"Elettra-Sincrotrone Trieste S.C.p.A. and its staff are acknowledged for providing synchrotron radiation beamtime and laboratory facilities, in particular the MCX and XAFS beamlines, where the XRD and XAS experiments have been carried out, supported by the projects number: 20217082, 20205109, and 20195014. This study was carried out within the MOST─Sustainable Mobility Center and received funding from the European Union Next-Generation EU (PIANO NAZIONALE DI RIPRESA E RESILIENZA (PNRR)─MISSIONE 4 COMPONENTE 2, INVESTIMENTO 1.4─D.D. 1033 17/06/2022, CN00000023). Moreover, the contribution of S.B. and A.C. to this study was carried out within the NEST─Network for Energy Sustainable Transition and received funding from the European Union Next-Generation EU (PNRR─MISSIONE 4 COMPONENTE 2, INVESTIMENTO 1.3─D.D. 1561 11/10/2022, B53C22004070006). This manuscript reflects only the authors’ views and opinions, neither the European Union nor the European Commission can be considered responsible for them. Two of us, S.B. and S.A.F., would like to thank the Alistore ERI. L.S. received funds from the Ministry of Ecological Transition in the “Ricerca di Sistema Elettrico” framework. S.A.F. is indebted to ISTA for support. The Scientific Service Units of ISTA supported this research through resources provided by the Lab Support Facility and the Miba Machine Shop.","volume":9,"date_updated":"2026-02-12T14:04:04Z"},{"year":"2026","intvolume":"        10","month":"01","author":[{"first_name":"Niklas","full_name":"Mück, Niklas","last_name":"Mück"},{"first_name":"Aïna Linn","full_name":"Georges, Aïna Linn","last_name":"Georges"},{"last_name":"Dreyer","full_name":"Dreyer, Derek","first_name":"Derek"},{"last_name":"Garg","full_name":"Garg, Deepak","first_name":"Deepak"},{"id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","last_name":"Sammler","full_name":"Sammler, Michael Joachim","first_name":"Michael Joachim"}],"day":"08","page":"1153-1182","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"publisher","fulldoi":"https://doi.org/10.1145/3776682","article_processing_charge":"Yes (via OA deal)","file_date_updated":"2026-02-12T13:51:03Z","scopus_import":"1","PlanS_conform":"1","article_type":"original","abstract":[{"lang":"eng","text":"It is common for programmers to assemble their programs from a combination of trusted and untrusted components. In this context, a trusted program component is said to be robustly safe if it behaves safely when linked against arbitrary untrusted code. Prior work has shown how various encapsulation mechanisms (in both high- and low-level languages) can be used to protect code so that it is robustly safe, but none of the existing work has explored how robust safety can be achieved in a patently unsafe language like C.\r\nIn this paper, we show how to bring robust safety to a simple yet representative C-like language we call Rec. Although Rec (like C) is inherently ”dangerous” and thus not robustly safe, we can ”save” Rec programs via compilation to Cap, a CHERI-like capability machine. To formalize the benefits of such a hardening compiler, we develop Reckon, a separation logic for verifying robust safety of Rec programs. Reckon is not sound under Rec’s unsafe, C-like semantics, but it is sound when Rec programs are hardened via compilation and linked against untrusted code running on Cap. As a crucial step in proving soundness of Reckon, we introduce a novel technique of semantic back-translation, which we formalize by building on the DimSum framework for multi-language semantics. All our results are mechanized in the Rocq prover."}],"_id":"21041","status":"public","title":"Endangered by the language but saved by the compiler: Robust safety via semantic back-translation","doi":"10.1145/3776682","department":[{"_id":"MiSa"}],"quality_controlled":"1","file":[{"checksum":"79be391061efbf9542638996959ce11a","file_size":1058876,"access_level":"open_access","date_updated":"2026-02-12T13:51:03Z","content_type":"application/pdf","creator":"dernst","file_id":"21221","relation":"main_file","date_created":"2026-02-12T13:51:03Z","file_name":"2026_ProcACMProgrammingLanguages_Mueck.pdf","success":1}],"date_published":"2026-01-08T00:00:00Z","oa":1,"has_accepted_license":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","publication_status":"published","oa_version":"Published Version","OA_type":"hybrid","publication":"Proceedings of the ACM on Programming Languages","date_created":"2026-01-25T23:01:40Z","citation":{"mla":"Mück, Niklas, et al. “Endangered by the Language but Saved by the Compiler: Robust Safety via Semantic Back-Translation.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 10, Association for Computing Machinery, 2026, pp. 1153–82, doi:<a href=\"https://doi.org/10.1145/3776682\">10.1145/3776682</a>.","ista":"Mück N, Georges AL, Dreyer D, Garg D, Sammler MJ. 2026. Endangered by the language but saved by the compiler: Robust safety via semantic back-translation. Proceedings of the ACM on Programming Languages. 10, 1153–1182.","short":"N. Mück, A.L. Georges, D. Dreyer, D. Garg, M.J. Sammler, Proceedings of the ACM on Programming Languages 10 (2026) 1153–1182.","chicago":"Mück, Niklas, Aïna Linn Georges, Derek Dreyer, Deepak Garg, and Michael Joachim Sammler. “Endangered by the Language but Saved by the Compiler: Robust Safety via Semantic Back-Translation.” <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery, 2026. <a href=\"https://doi.org/10.1145/3776682\">https://doi.org/10.1145/3776682</a>.","ama":"Mück N, Georges AL, Dreyer D, Garg D, Sammler MJ. Endangered by the language but saved by the compiler: Robust safety via semantic back-translation. <i>Proceedings of the ACM on Programming Languages</i>. 2026;10:1153-1182. doi:<a href=\"https://doi.org/10.1145/3776682\">10.1145/3776682</a>","ieee":"N. Mück, A. L. Georges, D. Dreyer, D. Garg, and M. J. Sammler, “Endangered by the language but saved by the compiler: Robust safety via semantic back-translation,” <i>Proceedings of the ACM on Programming Languages</i>, vol. 10. Association for Computing Machinery, pp. 1153–1182, 2026.","apa":"Mück, N., Georges, A. L., Dreyer, D., Garg, D., &#38; Sammler, M. J. (2026). Endangered by the language but saved by the compiler: Robust safety via semantic back-translation. <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3776682\">https://doi.org/10.1145/3776682</a>"},"language":[{"iso":"eng"}],"date_updated":"2026-02-12T13:53:04Z","volume":10,"publisher":"Association for Computing Machinery","publication_identifier":{"eissn":["2475-1421"]},"ddc":["000"]}]
