[{"date_created":"2025-06-30T08:47:31Z","oa_version":"Published Version","_id":"19935","publication":"Proceedings of the ACM on Programming Languages","file":[{"relation":"main_file","file_size":843343,"date_created":"2025-06-30T09:01:08Z","checksum":"6b72d84c10a10ba7cd1646e2c36dc1ff","creator":"dernst","file_name":"2025_ProcACMProg_Spies.pdf","file_id":"19938","success":1,"content_type":"application/pdf","date_updated":"2025-06-30T09:01:08Z","access_level":"open_access"}],"date_published":"2025-06-01T00:00:00Z","publication_identifier":{"eissn":["2475-1421"]},"OA_type":"hybrid","oa":1,"author":[{"full_name":"Spies, Simon","last_name":"Spies","first_name":"Simon"},{"full_name":"Mück, Niklas","first_name":"Niklas","last_name":"Mück"},{"first_name":"Haoyi","last_name":"Zeng","full_name":"Zeng, Haoyi"},{"id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","last_name":"Sammler","first_name":"Michael Joachim","full_name":"Sammler, Michael Joachim"},{"full_name":"Lattuada, Andrea","first_name":"Andrea","last_name":"Lattuada"},{"first_name":"Peter","last_name":"Müller","full_name":"Müller, Peter"},{"first_name":"Derek","last_name":"Dreyer","full_name":"Dreyer, Derek"}],"title":"Destabilizing Iris","acknowledgement":"We would like to thank the anonymous reviewers for their helpful feedback and Alex Summers\r\nfor insightful discussions. This work was funded in part by a Google PhD Fellowship for the first\r\nauthor.","article_type":"original","OA_place":"publisher","department":[{"_id":"MiSa"}],"day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","date_updated":"2025-06-30T09:10:11Z","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"published","type":"journal_article","publisher":"Association for Computing Machinery","corr_author":"1","has_accepted_license":"1","intvolume":" 9","scopus_import":"1","doi":"10.1145/3729284","citation":{"chicago":"Spies, Simon, Niklas Mück, Haoyi Zeng, Michael Joachim Sammler, Andrea Lattuada, Peter Müller, and Derek Dreyer. “Destabilizing Iris.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2025. https://doi.org/10.1145/3729284.","ieee":"S. Spies et al., “Destabilizing Iris,” Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI. Association for Computing Machinery, pp. 848–873, 2025.","ista":"Spies S, Mück N, Zeng H, Sammler MJ, Lattuada A, Müller P, Dreyer D. 2025. Destabilizing Iris. Proceedings of the ACM on Programming Languages. 9(PLDI), 848–873.","ama":"Spies S, Mück N, Zeng H, et al. Destabilizing Iris. Proceedings of the ACM on Programming Languages. 2025;9(PLDI):848-873. doi:10.1145/3729284","short":"S. Spies, N. Mück, H. Zeng, M.J. Sammler, A. Lattuada, P. Müller, D. Dreyer, Proceedings of the ACM on Programming Languages 9 (2025) 848–873.","apa":"Spies, S., Mück, N., Zeng, H., Sammler, M. J., Lattuada, A., Müller, P., & Dreyer, D. (2025). Destabilizing Iris. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3729284","mla":"Spies, Simon, et al. “Destabilizing Iris.” Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI, Association for Computing Machinery, 2025, pp. 848–73, doi:10.1145/3729284."},"abstract":[{"lang":"eng","text":"The separation logic framework Iris has been built on the premise that all assertions are stable, meaning they unconditionally enjoy the famous frame rule. This gives Iris—and the numerous program logics that build on it—very modular reasoning principles. But stability also comes at a cost. It excludes a core feature of the Viper verifier family, heap-dependent expression assertions, which lift program expressions to the assertion level in order to reduce redundancy between code and specifications and better facilitate SMT-based automation.\r\nIn this paper, we bring heap-dependent expression assertions to Iris with Daenerys. To do so, we must first revisit the very core of Iris, extending it with a new form of unstable resources (and adapting the frame rule accordingly). On top, we then build a program logic with heap-dependent expression assertions and lay the foundations for connecting Iris to SMT solvers. We apply Daenerys to several case studies, including some that go beyond what Viper and Iris can do individually and others that benefit from the connection to SMT."}],"article_processing_charge":"Yes (in subscription journal)","license":"https://creativecommons.org/licenses/by/4.0/","month":"06","file_date_updated":"2025-06-30T09:01:08Z","issue":"PLDI","page":"848-873","quality_controlled":"1","year":"2025","ddc":["000"],"language":[{"iso":"eng"}],"volume":9},{"scopus_import":"1","doi":"10.1145/3729249","citation":{"apa":"Bedarkar, K., Elbeheiry, L., Sammler, M. J., Gäher, L., Brandenburg, B., Dreyer, D., & Garg, D. (2025). RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3729249","mla":"Bedarkar, Kimaya, et al. “RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers.” Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI, Association for Computing Machinery, 2025, pp. 73–97, doi:10.1145/3729249.","short":"K. Bedarkar, L. Elbeheiry, M.J. Sammler, L. Gäher, B. Brandenburg, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 9 (2025) 73–97.","ama":"Bedarkar K, Elbeheiry L, Sammler MJ, et al. RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers. Proceedings of the ACM on Programming Languages. 2025;9(PLDI):73-97. doi:10.1145/3729249","ista":"Bedarkar K, Elbeheiry L, Sammler MJ, Gäher L, Brandenburg B, Dreyer D, Garg D. 2025. RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers. Proceedings of the ACM on Programming Languages. 9(PLDI), 73–97.","chicago":"Bedarkar, Kimaya, Laila Elbeheiry, Michael Joachim Sammler, Lennard Gäher, Björn Brandenburg, Derek Dreyer, and Deepak Garg. “RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2025. https://doi.org/10.1145/3729249.","ieee":"K. Bedarkar et al., “RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers,” Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI. Association for Computing Machinery, pp. 73–97, 2025."},"abstract":[{"lang":"eng","text":"There has been a recent upsurge of interest in formal, machine-checked verification of timing guarantees for C implementations of real-time system schedulers. However, prior work has only considered tick-based schedulers, which enjoy a clearly defined notion of time: the time \"quantum\". In this work, we present a new approach to real-time systems verification for interrupt-free schedulers, which are commonly used in deeply embedded and resource-constrained systems but which do not enjoy a natural notion of periodic time. Our approach builds on and connects two recently developed Rocq-based systems—RefinedC (for foundational C verification) and Prosa (for verified response-time analysis)—adapting the former to reason about timed traces and the latter to reason about overheads. We apply the resulting system, which we call RefinedProsa, to verify Rössl, a simple yet representative, fixed-priority, non-preemptive, interrupt-free scheduler implemented in C."}],"publication_status":"published","publisher":"Association for Computing Machinery","type":"journal_article","corr_author":"1","has_accepted_license":"1","intvolume":" 9","quality_controlled":"1","year":"2025","ddc":["000"],"language":[{"iso":"eng"}],"volume":9,"article_processing_charge":"Yes (in subscription journal)","month":"06","file_date_updated":"2025-06-30T09:08:05Z","page":"73-97","issue":"PLDI","date_published":"2025-06-13T00:00:00Z","publication_identifier":{"issn":["2475-1421"]},"OA_type":"hybrid","oa":1,"date_created":"2025-06-30T08:47:58Z","oa_version":"Published Version","_id":"19936","publication":"Proceedings of the ACM on Programming Languages","file":[{"file_id":"19939","date_updated":"2025-06-30T09:08:05Z","content_type":"application/pdf","success":1,"access_level":"open_access","relation":"main_file","date_created":"2025-06-30T09:08:05Z","checksum":"8c18d777feb342a7265c54b16205ec4c","file_size":1043790,"creator":"dernst","file_name":"2025_ProcACMProg_Bedarkar.pdf"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","date_updated":"2025-06-30T09:09:55Z","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"title":"RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers","author":[{"full_name":"Bedarkar, Kimaya","first_name":"Kimaya","last_name":"Bedarkar"},{"full_name":"Elbeheiry, Laila","first_name":"Laila","last_name":"Elbeheiry"},{"last_name":"Sammler","first_name":"Michael Joachim","full_name":"Sammler, Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7"},{"first_name":"Lennard","last_name":"Gäher","full_name":"Gäher, Lennard"},{"full_name":"Brandenburg, Björn","last_name":"Brandenburg","first_name":"Björn"},{"first_name":"Derek","last_name":"Dreyer","full_name":"Dreyer, Derek"},{"last_name":"Garg","first_name":"Deepak","full_name":"Garg, Deepak"}],"acknowledgement":"We would like to thank the anonymous reviewers for their helpful feedback.\r\nThis project has received funding from the European Research Council (ERC) under the European\r\nUnion’s Horizon 2020 research and innovation programme (grant agreement No 803111).","article_type":"original","OA_place":"publisher","day":"13","department":[{"_id":"MiSa"}]},{"year":"2025","quality_controlled":"1","volume":719,"language":[{"iso":"eng"}],"isi":1,"article_processing_charge":"No","issue":"11","month":"11","doi":"10.1016/j.ins.2025.122425","scopus_import":"1","abstract":[{"lang":"eng","text":"Simplets are elementary units within simplicial complexes and are fundamental for analyzing the structure of simplicial complexes. Previous efforts have mainly focused on accurately counting or approximating the number of simplets rather than studying their frequencies. However, analyzing simplet frequencies is more practical for large-scale simplicial complexes. This paper introduces the Simplet Frequency Distribution (SFD) vector, which enables the analysis of simplet frequencies in simplicial complexes. Additionally, we provide a bound on the sample complexity required to approximate the SFD vector using any uniform sampling-based algorithm accurately. We extend the definition of simplet frequency distribution to encompass simplices, allowing for the analysis of simplet frequencies within simplices of simplicial complexes. This paper introduces the Simplet Degree Vector (SDV) and the Simplet Degree Centrality (SDC), facilitating this analysis for each simplex. Furthermore, we present a bound on the sample complexity required for accurately approximating the SDV and SDC for a set of simplices using any uniform sampling-based algorithm. We also introduce algorithms for approximating SFD, geometric SFD, SDV, and SDC. We also validate the theoretical bounds with experiments on random simplicial complexes and demonstrate the practical application through a case study."}],"citation":{"ama":"Mahini M, Beigy H, Qadami S, Saghafian M. Simplet-based signatures and approximation in simplicial complexes: Frequency, degree, and centrality. Information Sciences. 2025;719(11). doi:10.1016/j.ins.2025.122425","short":"M. Mahini, H. Beigy, S. Qadami, M. Saghafian, Information Sciences 719 (2025).","ista":"Mahini M, Beigy H, Qadami S, Saghafian M. 2025. Simplet-based signatures and approximation in simplicial complexes: Frequency, degree, and centrality. Information Sciences. 719(11), 122425.","ieee":"M. Mahini, H. Beigy, S. Qadami, and M. Saghafian, “Simplet-based signatures and approximation in simplicial complexes: Frequency, degree, and centrality,” Information Sciences, vol. 719, no. 11. Elsevier, 2025.","chicago":"Mahini, Mohammad, Hamid Beigy, Salman Qadami, and Morteza Saghafian. “Simplet-Based Signatures and Approximation in Simplicial Complexes: Frequency, Degree, and Centrality.” Information Sciences. Elsevier, 2025. https://doi.org/10.1016/j.ins.2025.122425.","apa":"Mahini, M., Beigy, H., Qadami, S., & Saghafian, M. (2025). Simplet-based signatures and approximation in simplicial complexes: Frequency, degree, and centrality. Information Sciences. Elsevier. https://doi.org/10.1016/j.ins.2025.122425","mla":"Mahini, Mohammad, et al. “Simplet-Based Signatures and Approximation in Simplicial Complexes: Frequency, Degree, and Centrality.” Information Sciences, vol. 719, no. 11, 122425, Elsevier, 2025, doi:10.1016/j.ins.2025.122425."},"type":"journal_article","corr_author":"1","publisher":"Elsevier","publication_status":"published","intvolume":" 719","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2025-12-30T09:05:32Z","status":"public","author":[{"first_name":"Mohammad","last_name":"Mahini","full_name":"Mahini, Mohammad"},{"full_name":"Beigy, Hamid","last_name":"Beigy","first_name":"Hamid"},{"last_name":"Qadami","first_name":"Salman","full_name":"Qadami, Salman"},{"id":"f86f7148-b140-11ec-9577-95435b8df824","full_name":"Saghafian, Morteza","first_name":"Morteza","last_name":"Saghafian"}],"title":"Simplet-based signatures and approximation in simplicial complexes: Frequency, degree, and centrality","day":"01","department":[{"_id":"HeEd"}],"ec_funded":1,"article_type":"original","acknowledgement":"The authors would like to thank the anonymous reviewers for their valuable comments and suggestions, which improved this paper.\r\nWork by the first and fourth authors is partially supported by the European Research Council (ERC), grant no. 788183, by the Wittgenstein Prize, Austrian Science Fund (FWF), grant no. Z 342-N31, and by the DFG Collaborative Research Center TRR 109, Austrian Science Fund (FWF), grant no. I 02979-N35.","publication_identifier":{"issn":["0020-0255"]},"OA_type":"closed access","date_published":"2025-11-01T00:00:00Z","external_id":{"isi":["001516170500002"]},"project":[{"_id":"266A2E9E-B435-11E9-9278-68D0E5697425","grant_number":"788183","call_identifier":"H2020","name":"Alpha Shape Theory Extended"},{"call_identifier":"FWF","name":"Mathematics, Computer Science","_id":"268116B8-B435-11E9-9278-68D0E5697425","grant_number":"Z00342"},{"_id":"2561EBF4-B435-11E9-9278-68D0E5697425","grant_number":"I02979-N35","name":"Persistence and stability of geometric complexes","call_identifier":"FWF"}],"_id":"19937","article_number":"122425","oa_version":"None","date_created":"2025-06-30T08:48:48Z","publication":"Information Sciences"},{"file":[{"relation":"main_file","file_size":1160,"date_created":"2025-07-03T10:30:14Z","checksum":"a2ef61aa9fb5313c7d426913eb0482c0","creator":"pschanda","file_name":"README","file_id":"19960","success":1,"content_type":"application/octet-stream","date_updated":"2025-07-03T10:30:14Z","access_level":"open_access"},{"access_level":"open_access","date_updated":"2025-07-03T10:30:55Z","success":1,"content_type":"application/zip","file_id":"19961","file_name":"data_Arg_MASNMR_Rohden.zip","creator":"pschanda","checksum":"8fb77b96d0fcc95c9903005652207a8c","date_created":"2025-07-03T10:30:55Z","file_size":128597184,"relation":"main_file"},{"access_level":"open_access","date_updated":"2025-08-14T07:06:58Z","success":1,"content_type":"application/x-xz","file_id":"20172","file_name":"20240903_ubi_DN_Argd1C13_2D_spectra.tar.xz","creator":"pschanda","date_created":"2025-08-14T07:06:58Z","checksum":"a60cc16d20b089c4bef94040a99cfba5","file_size":4766564,"relation":"main_file"}],"date_created":"2025-07-03T04:21:37Z","oa_version":"Published Version","_id":"19956","project":[{"name":"AlloSpace. The emergence and mechanisms of allostery","_id":"eb9c82eb-77a9-11ec-83b8-aadd536561cf","grant_number":"I05812"}],"oa":1,"date_published":"2025-07-03T00:00:00Z","contributor":[{"contributor_type":"researcher","last_name":"Rohden","first_name":"Darja"},{"first_name":"Federico","last_name":"Napoli","contributor_type":"researcher"},{"first_name":"Ben","last_name":"Tatman","contributor_type":"researcher"},{"contributor_type":"researcher","first_name":"Paul","last_name":"Schanda"}],"department":[{"_id":"PaSc"}],"day":"03","author":[{"first_name":"Paul","last_name":"Schanda","orcid":"0000-0002-9350-7606","full_name":"Schanda, Paul","id":"7B541462-FAF6-11E9-A490-E8DFE5697425"}],"title":"Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme","status":"public","date_updated":"2026-06-10T08:20:38Z","tmp":{"short":"CC BY-NC (4.0)","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png"},"user_id":"68b8ca59-c5b3-11ee-8790-cd641c68093d","has_accepted_license":"1","publisher":"Institute of Science and Technology Austria","type":"research_data","corr_author":"1","citation":{"mla":"Schanda, Paul. Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19956.","apa":"Schanda, P. (2025). Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19956","ieee":"P. Schanda, “Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme.” Institute of Science and Technology Austria, 2025.","chicago":"Schanda, Paul. “Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19956.","ista":"Schanda P. 2025. Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme, Institute of Science and Technology Austria, 10.15479/AT-ISTA-19956.","short":"P. Schanda, (2025).","ama":"Schanda P. Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme. 2025. doi:10.15479/AT-ISTA-19956"},"abstract":[{"text":"The specific introduction of 1H-13C or 1H-15N moieties into otherwise deuterated proteins holds great potential for high-resolution solution and magic-angle spinning (MAS) NMR studies of protein structure and dynamics. Arginine residues play key roles for example at active sites of enzymes. Taking advantage of a chemically synthesized Arg with a 13C-1H2 group in an otherwise deuterated backbone, we demonstrate here the usefulness of proton-detected arginine MAS NMR approaches to probe arginine dynamics. In experiments on crystalline ubiquitin and the 134 kDa tetrameric enzyme malate dehydrogenase we detected a wide range of motions, from sites that are rigid on time scales of at least tens of milliseconds to residues undergoing predominantly nanosecond motions. Spin-relaxation and dipolar-coupling measurements enabled quantitative determination of these dynamics. We observed microsecond dynamics of residue Arg54 in crystalline ubiquitin, whose backbone is known to sample different β-turn conformations on this time scale. The labeling scheme and experiments presented here expand the toolkit for high-resolution proton-detected MAS NMR","lang":"eng"}],"doi":"10.15479/AT-ISTA-19956","related_material":{"record":[{"id":"20258","relation":"used_in_publication","status":"public"}]},"month":"07","file_date_updated":"2025-08-14T07:06:58Z","article_processing_charge":"No","license":"https://creativecommons.org/licenses/by-nc/4.0/","acknowledged_ssus":[{"_id":"NMR"},{"_id":"LifeSc"}],"year":"2025","ddc":["572"]},{"volume":8,"language":[{"iso":"eng"}],"ddc":["570"],"year":"2025","acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"Bio"}],"quality_controlled":"1","file_date_updated":"2025-12-30T09:17:09Z","issue":"9","month":"09","isi":1,"article_processing_charge":"Yes","abstract":[{"text":"The acquisition of cellular identity requires large-scale alterations in cellular state. The noncanonical proteasome activator PSME3 is known to regulate diverse cellular processes, but its importance for differentiation remains unclear. Here, we demonstrate that PSME3 binds dynamically to highly active promoters over the course of differentiation. However, loss of PSME3 does not globally affect mRNA transcription. We find instead that PSME3 influences the levels of several adhesion-related proteins and acts upstream of the HSP90 co-chaperone NUDC to regulate cell motility and myoblast differentiation in a proteasome-independent manner. Our findings reveal several new facets of PSME3 functionality and highlight its importance for the differentiation of myogenic cells.","lang":"eng"}],"citation":{"short":"K.D. Kuhn, U.H. Cho, M. Hetzer, Life Science Alliance 8 (2025).","ama":"Kuhn KD, Cho UH, Hetzer M. PSME3 regulates migration and differentiation of myoblasts. Life Science Alliance. 2025;8(9). doi:10.26508/lsa.202503208","chicago":"Kuhn, Kenneth D, Ukrae H. Cho, and Martin Hetzer. “PSME3 Regulates Migration and Differentiation of Myoblasts.” Life Science Alliance. Embo Press, 2025. https://doi.org/10.26508/lsa.202503208.","ista":"Kuhn KD, Cho UH, Hetzer M. 2025. PSME3 regulates migration and differentiation of myoblasts. Life Science Alliance. 8(9), e202503208.","ieee":"K. D. Kuhn, U. H. Cho, and M. Hetzer, “PSME3 regulates migration and differentiation of myoblasts,” Life Science Alliance, vol. 8, no. 9. Embo Press, 2025.","apa":"Kuhn, K. D., Cho, U. H., & Hetzer, M. (2025). PSME3 regulates migration and differentiation of myoblasts. Life Science Alliance. Embo Press. https://doi.org/10.26508/lsa.202503208","mla":"Kuhn, Kenneth D., et al. “PSME3 Regulates Migration and Differentiation of Myoblasts.” Life Science Alliance, vol. 8, no. 9, e202503208, Embo Press, 2025, doi:10.26508/lsa.202503208."},"doi":"10.26508/lsa.202503208","scopus_import":"1","intvolume":" 8","PlanS_conform":"1","has_accepted_license":"1","type":"journal_article","corr_author":"1","publisher":"Embo Press","publication_status":"published","date_updated":"2026-05-20T08:38:04Z","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"MaHe"}],"day":"01","acknowledgement":"All proteomics analysis was done by the ISTA LSF Mass Spectrometry Service: Ewelina Dutkiewicz-Kopczynska processed the samples (digest and cleanup); Bella Bruszel optimized the acquisition methods, acquired the data, and performed all searches; and Armel Nicolas provided pre- and post-project consulting and post-processed the search results using a development version of their data analysis package, proteoCraft (publication pending). The authors would like to thank Saki for their clarity of thought and insight, as well as Dr. Lorenzo Puri and the members of his laboratory for invaluable discussions relating to the project. This research was further supported by the Lab Support Facility and the Imaging and Optics Facility of ISTA.","APC_amount":"4215,38 EUR","OA_place":"publisher","article_type":"original","title":"PSME3 regulates migration and differentiation of myoblasts","author":[{"id":"7deed7e0-0133-11f0-8590-c4600b08d0f4","first_name":"Kenneth D","last_name":"Kuhn","full_name":"Kuhn, Kenneth D"},{"full_name":"Cho, Ukrae H.","first_name":"Ukrae H.","last_name":"Cho"},{"full_name":"Hetzer, Martin W","orcid":"0000-0002-2111-992X","first_name":"Martin W","last_name":"Hetzer","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed"}],"oa":1,"external_id":{"isi":["001511452100001"],"pmid":["40537284"]},"publication_identifier":{"eissn":["2575-1077"]},"OA_type":"gold","DOAJ_listed":"1","date_published":"2025-09-01T00:00:00Z","file":[{"file_id":"20904","content_type":"application/pdf","success":1,"date_updated":"2025-12-30T09:17:09Z","access_level":"open_access","relation":"main_file","file_size":5471288,"date_created":"2025-12-30T09:17:09Z","checksum":"591d47aa39fc969986c7d3b966890f5f","creator":"dernst","file_name":"2025_LifeScienceAlliance_Kuhn.pdf"}],"publication":"Life Science Alliance","_id":"19963","project":[{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"pmid":1,"date_created":"2025-07-06T22:01:22Z","oa_version":"Published Version","article_number":"e202503208"},{"publisher":"IOP Publishing","type":"journal_article","publication_status":"published","intvolume":" 170","has_accepted_license":"1","doi":"10.3847/1538-3881/addd21","scopus_import":"1","abstract":[{"text":"It has been suggested that giant planet occurrence peaks for stars with M* ≈ 3 M⊙ at a value a factor of 4 higher than observed for solar-mass stars. This population of giant planets predicted to frequently orbit main-sequence B stars at a ≈ 10 au is difficult to characterize during the few hundred million years while fusion persists in their host stars. By the time those stars become massive, young white dwarfs, any giant planets present would still be luminous as a consequence of their recent formation. From an initial sample of 2195 Gaia-identified massive, young white dwarfs, we use homogeneous Spitzer Infrared Array Camera (IRAC) photometry to search for evidence of unresolved giant planets. For 30 systems, these IRAC data provide sensitivity to objects with M ≲ 10 MJup, and we identify one candidate with M ≈ 4 MJup orbiting the white dwarf GALEX J071816.4+373139. Correcting for the possibility that some of the white dwarfs in our sample result from mergers, we find a giant planet occurrence n GP = 0.11+0.13-0.07 for stars with initial masses M* ≳ 3 M⊙. Our occurrence inference is consistent with both the Doppler-inferred occurrence of giant planets orbiting M* ≈ 2 M⊙ giant stars and the theoretically predicted factor of 4 enhancement in the occurrence of giant planets orbiting M* ≈ 3 M⊙ stars relative to solar-mass stars. Future James Webb Space Telescope NIRCam observations of our sample would provide sensitivity to Saturn-mass planets and thereby a definitive estimate of the occurrence of giant planets orbiting stars with M* ≳ 3 M⊙.","lang":"eng"}],"citation":{"chicago":"Cheng, Sihao, Kevin C. Schlaufman, and Ilaria Caiazzo. “A Candidate Giant Planet Companion to the Massive, Young White Dwarf GALEX J071816.4+373139 Informs the Occurrence of Giant Planets Orbiting B Stars.” The Astronomical Journal. IOP Publishing, 2025. https://doi.org/10.3847/1538-3881/addd21.","ista":"Cheng S, Schlaufman KC, Caiazzo I. 2025. A candidate giant planet companion to the massive, young White Dwarf GALEX J071816.4+373139 informs the occurrence of giant planets orbiting B stars. The Astronomical Journal. 170(1), 47.","ieee":"S. Cheng, K. C. Schlaufman, and I. Caiazzo, “A candidate giant planet companion to the massive, young White Dwarf GALEX J071816.4+373139 informs the occurrence of giant planets orbiting B stars,” The Astronomical Journal, vol. 170, no. 1. IOP Publishing, 2025.","ama":"Cheng S, Schlaufman KC, Caiazzo I. A candidate giant planet companion to the massive, young White Dwarf GALEX J071816.4+373139 informs the occurrence of giant planets orbiting B stars. The Astronomical Journal. 2025;170(1). doi:10.3847/1538-3881/addd21","short":"S. Cheng, K.C. Schlaufman, I. Caiazzo, The Astronomical Journal 170 (2025).","apa":"Cheng, S., Schlaufman, K. C., & Caiazzo, I. (2025). A candidate giant planet companion to the massive, young White Dwarf GALEX J071816.4+373139 informs the occurrence of giant planets orbiting B stars. The Astronomical Journal. IOP Publishing. https://doi.org/10.3847/1538-3881/addd21","mla":"Cheng, Sihao, et al. “A Candidate Giant Planet Companion to the Massive, Young White Dwarf GALEX J071816.4+373139 Informs the Occurrence of Giant Planets Orbiting B Stars.” The Astronomical Journal, vol. 170, no. 1, 47, IOP Publishing, 2025, doi:10.3847/1538-3881/addd21."},"isi":1,"article_processing_charge":"Yes","file_date_updated":"2025-07-08T06:40:54Z","issue":"1","month":"07","ddc":["520"],"year":"2025","quality_controlled":"1","volume":170,"language":[{"iso":"eng"}],"_id":"19964","date_created":"2025-07-06T22:01:22Z","article_number":"47","oa_version":"Published Version","file":[{"checksum":"144b0e46aa3dff0cdf8c6ee7d4fe2fe4","date_created":"2025-07-08T06:40:54Z","file_size":931173,"relation":"main_file","file_name":"2025_AstronomicalJour_Cheng.pdf","creator":"dernst","file_id":"19975","access_level":"open_access","date_updated":"2025-07-08T06:40:54Z","content_type":"application/pdf","success":1}],"publication":"The Astronomical Journal","arxiv":1,"publication_identifier":{"issn":["0004-6256"],"eissn":["1538-3881"]},"OA_type":"gold","DOAJ_listed":"1","date_published":"2025-07-01T00:00:00Z","oa":1,"external_id":{"isi":["001514518100001"],"arxiv":["2408.03985"]},"author":[{"full_name":"Cheng, Sihao","last_name":"Cheng","first_name":"Sihao"},{"last_name":"Schlaufman","first_name":"Kevin C.","full_name":"Schlaufman, Kevin C."},{"orcid":"0000-0002-4770-5388","full_name":"Caiazzo, Ilaria","last_name":"Caiazzo","first_name":"Ilaria","id":"8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d"}],"title":"A candidate giant planet companion to the massive, young White Dwarf GALEX J071816.4+373139 informs the occurrence of giant planets orbiting B stars","day":"01","department":[{"_id":"IlCa"}],"acknowledgement":"We thank Jay Farihi, Guangwei Fu, J. J. Hermes, Mary Anne Limbach, and Daniel Thorngren for useful discussions. S.C. thanks Siyu Yao for her constant inspiration and encouragement. S.C. acknowledges the support of the Martin A. and Helen Chooljian Member Fund, funding from the Zurich Insurance Company, and the Fund for Natural Sciences at the Institute for Advanced Study. This work has made use of data from the European Space Agency (ESA) mission Gaia (https://www.cosmos.esa.int/gaia), processed by the Gaia Data Processing and Analysis Consortium (DPAC; https://www.cosmos.esa.int/web/gaia/dpac/consortium). Funding for the DPAC has been provided by national institutions, in particular the institutions participating in the Gaia Multilateral Agreement. This work is based in part on observations made with the Spitzer Space Telescope, which is operated by the Jet Propulsion Laboratory, California Institute of Technology under a contract with NASA. This publication makes use of data products from the Wide-field Infrared Survey Explorer, which is a joint project of the University of California, Los Angeles, and the Jet Propulsion Laboratory/California Institute of Technology, funded by the National Aeronautics and Space Administration. This research has made use of the NASA Exoplanet Archive, which is operated by the California Institute of Technology, under contract with the National Aeronautics and Space Administration under the Exoplanet Exploration Program. This research has made use of NASA’s Astrophysics Data System.\r\nFacilities: ADS - , ESO:VISTA - European Southern Observatory's 4.1 meter Visible and Infrared Survey Telescope for Astronomy, Exoplanet Archive - , Gaia - , IRSA - , NEOWISE - , Spitzer - Spitzer Space Telescope satellite, UKIRT - United Kingdom Infrared Telescope, WISE - Wide-field Infrared Survey Explorer.\r\nSoftware: astropy (Astropy Collaboration et al. 2013, 2018, 2022), numpy (C. R. Harris et al. 2020), matplotlib (J. D. Hunter 2007), R (R Core Team 2024), SciPy (P. Virtanen et al. 2020).","OA_place":"publisher","article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-02-19T09:31:41Z","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public"},{"month":"06","issue":"25","file_date_updated":"2025-07-08T05:52:26Z","article_processing_charge":"Yes (in subscription journal)","isi":1,"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","language":[{"iso":"eng"}],"volume":122,"quality_controlled":"1","year":"2025","ddc":["000"],"has_accepted_license":"1","intvolume":" 122","publication_status":"published","publisher":"National Academy of Sciences","type":"journal_article","citation":{"apa":"Mcavoy, A., Sehwag, U. M., Hilbe, C., Chatterjee, K., Barfuss, W., Su, Q., … Plotkin, J. B. (2025). Unilateral incentive alignment in two-agent stochastic games. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.2319927121","mla":"Mcavoy, Alex, et al. “Unilateral Incentive Alignment in Two-Agent Stochastic Games.” Proceedings of the National Academy of Sciences, vol. 122, no. 25, e2319927121, National Academy of Sciences, 2025, doi:10.1073/pnas.2319927121.","ieee":"A. Mcavoy et al., “Unilateral incentive alignment in two-agent stochastic games,” Proceedings of the National Academy of Sciences, vol. 122, no. 25. National Academy of Sciences, 2025.","ista":"Mcavoy A, Sehwag UM, Hilbe C, Chatterjee K, Barfuss W, Su Q, Leonard NE, Plotkin JB. 2025. Unilateral incentive alignment in two-agent stochastic games. Proceedings of the National Academy of Sciences. 122(25), e2319927121.","chicago":"Mcavoy, Alex, Udari Madhushani Sehwag, Christian Hilbe, Krishnendu Chatterjee, Wolfram Barfuss, Qi Su, Naomi Ehrich Leonard, and Joshua B. Plotkin. “Unilateral Incentive Alignment in Two-Agent Stochastic Games.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2025. https://doi.org/10.1073/pnas.2319927121.","short":"A. Mcavoy, U.M. Sehwag, C. Hilbe, K. Chatterjee, W. Barfuss, Q. Su, N.E. Leonard, J.B. Plotkin, Proceedings of the National Academy of Sciences 122 (2025).","ama":"Mcavoy A, Sehwag UM, Hilbe C, et al. Unilateral incentive alignment in two-agent stochastic games. Proceedings of the National Academy of Sciences. 2025;122(25). doi:10.1073/pnas.2319927121"},"abstract":[{"text":"Multiagent learning is challenging when agents face mixed-motivation interactions, where conflicts of interest arise as agents independently try to optimize their respective outcomes. Recent advancements in evolutionary game theory have identified a class of “zero-determinant” strategies, which confer an agent with significant unilateral control over outcomes in repeated games. Building on these insights, we present a comprehensive generalization of zero-determinant strategies to stochastic games, encompassing dynamic environments. We propose an algorithm that allows an agent to discover strategies enforcing predetermined linear (or approximately linear) payoff relationships. Of particular interest is the relationship in which both payoffs are equal, which serves as a proxy for fairness in symmetric games. We demonstrate that an agent can discover strategies enforcing such relationships through experience alone, without coordinating with an opponent. In finding and using such a strategy, an agent (“enforcer”) can incentivize optimal and equitable outcomes, circumventing potential exploitation. In particular, from the opponent’s viewpoint, the enforcer transforms a mixed-motivation problem into a cooperative problem, paving the way for more collaboration and fairness in multiagent systems.","lang":"eng"}],"scopus_import":"1","doi":"10.1073/pnas.2319927121","OA_place":"publisher","article_type":"original","acknowledgement":"We gratefully acknowledge the support from the European Research Council (Starting Grant 850529: E-DIRECT) and the Max Planck Society (C.H.), the European Research Council (Consolidator Grant 863818: ForM-SMArt) (K.C.), the Shanghai Pujiang Program (No. 23PJ1405500) (Q.S.), the Army Research Office (Grant No. W911NF-18-1-0325) (N.E.L.), and the John Templeton Foundation (Grant No. 62281) (J.B.P.).","department":[{"_id":"KrCh"}],"day":"24","ec_funded":1,"author":[{"full_name":"Mcavoy, Alex","first_name":"Alex","last_name":"Mcavoy"},{"full_name":"Sehwag, Udari Madhushani","first_name":"Udari Madhushani","last_name":"Sehwag"},{"orcid":"0000-0001-5116-955X","full_name":"Hilbe, Christian","first_name":"Christian","last_name":"Hilbe","id":"2FDF8F3C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Barfuss","first_name":"Wolfram","full_name":"Barfuss, Wolfram"},{"last_name":"Su","first_name":"Qi","full_name":"Su, Qi"},{"last_name":"Leonard","first_name":"Naomi Ehrich","full_name":"Leonard, Naomi Ehrich"},{"last_name":"Plotkin","first_name":"Joshua B.","full_name":"Plotkin, Joshua B."}],"title":"Unilateral incentive alignment in two-agent stochastic games","status":"public","tmp":{"short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"date_updated":"2025-09-30T13:47:14Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"Proceedings of the National Academy of Sciences","file":[{"success":1,"content_type":"application/pdf","date_updated":"2025-07-08T05:52:26Z","access_level":"open_access","file_id":"19972","creator":"dernst","file_name":"2025_PNAS_McAvoy.pdf","relation":"main_file","file_size":29525932,"date_created":"2025-07-08T05:52:26Z","checksum":"3b35befd959a3e37aa9080a64a6afaf3"}],"article_number":"e2319927121","oa_version":"Published Version","date_created":"2025-07-06T22:01:23Z","pmid":1,"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"}],"_id":"19965","external_id":{"isi":["001522351900001"],"pmid":["40523172"]},"oa":1,"date_published":"2025-06-24T00:00:00Z","OA_type":"hybrid","publication_identifier":{"eissn":["1091-6490"],"issn":["0027-8424"]}},{"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","status":"public","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_updated":"2025-09-30T13:47:45Z","title":"Multiple ionic memories in asymmetric nanochannels revealed by mem-spectrometry","author":[{"first_name":"Simon","last_name":"Jouveshomme","full_name":"Jouveshomme, Simon"},{"full_name":"Lizée, Mathieu","first_name":"Mathieu","last_name":"Lizée"},{"id":"48c58128-57b0-11ee-9095-dc28fd97fc1d","orcid":"0000-0002-5728-9189","full_name":"Robin, Paul","last_name":"Robin","first_name":"Paul"},{"full_name":"Bocquet, Lydéric","last_name":"Bocquet","first_name":"Lydéric"}],"article_type":"original","OA_place":"publisher","acknowledgement":"The authors acknowledge ERC n-AQUA for funding. S J acknowledges CNRS for funding. The authors thank Hummink for pipette supply and characterization. P R acknowledges funding from the European Union Horizon 2020 research and innovation program under the Marie Skodowska-Curie Grant Agreement No. 101034413.","department":[{"_id":"EdHa"}],"day":"01","ec_funded":1,"date_published":"2025-06-01T00:00:00Z","DOAJ_listed":"1","OA_type":"gold","publication_identifier":{"eissn":["1367-2630"]},"external_id":{"isi":["001517731700001"]},"oa":1,"article_number":"065001","oa_version":"Published Version","date_created":"2025-07-06T22:01:23Z","project":[{"grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020"}],"_id":"19966","publication":"New Journal of Physics","file":[{"file_id":"19973","content_type":"application/pdf","success":1,"date_updated":"2025-07-08T06:11:59Z","access_level":"open_access","relation":"main_file","file_size":1296141,"checksum":"e0e11aa01c54b20ee6cdd1f6b999571f","date_created":"2025-07-08T06:11:59Z","creator":"dernst","file_name":"2025_NewJourPhysics_Jouveshomme.pdf"}],"quality_controlled":"1","year":"2025","ddc":["530"],"language":[{"iso":"eng"}],"volume":27,"article_processing_charge":"Yes","isi":1,"month":"06","issue":"6","file_date_updated":"2025-07-08T06:11:59Z","scopus_import":"1","doi":"10.1088/1367-2630/ade61b","citation":{"apa":"Jouveshomme, S., Lizée, M., Robin, P., & Bocquet, L. (2025). Multiple ionic memories in asymmetric nanochannels revealed by mem-spectrometry. New Journal of Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/ade61b","mla":"Jouveshomme, Simon, et al. “Multiple Ionic Memories in Asymmetric Nanochannels Revealed by Mem-Spectrometry.” New Journal of Physics, vol. 27, no. 6, 065001, IOP Publishing, 2025, doi:10.1088/1367-2630/ade61b.","ieee":"S. Jouveshomme, M. Lizée, P. Robin, and L. Bocquet, “Multiple ionic memories in asymmetric nanochannels revealed by mem-spectrometry,” New Journal of Physics, vol. 27, no. 6. IOP Publishing, 2025.","chicago":"Jouveshomme, Simon, Mathieu Lizée, Paul Robin, and Lydéric Bocquet. “Multiple Ionic Memories in Asymmetric Nanochannels Revealed by Mem-Spectrometry.” New Journal of Physics. IOP Publishing, 2025. https://doi.org/10.1088/1367-2630/ade61b.","ista":"Jouveshomme S, Lizée M, Robin P, Bocquet L. 2025. Multiple ionic memories in asymmetric nanochannels revealed by mem-spectrometry. New Journal of Physics. 27(6), 065001.","ama":"Jouveshomme S, Lizée M, Robin P, Bocquet L. Multiple ionic memories in asymmetric nanochannels revealed by mem-spectrometry. New Journal of Physics. 2025;27(6). doi:10.1088/1367-2630/ade61b","short":"S. Jouveshomme, M. Lizée, P. Robin, L. Bocquet, New Journal of Physics 27 (2025)."},"abstract":[{"text":"Recently discovered nanofluidic memristors, have raised promises for the development of iontronics and neuromorphic computing with ions. Ionic memory effects are related to ion dynamics inside nanochannels, with timescales associated with the manifold physicochemical phenomena occurring at confined interfaces. Here, we explore experimentally the frequency-dependent current–voltage response of model nanochannels—namely glass nanopipettes—to investigate memory effects in ion transport. This characterisation, which we refer to as mem-spectrometry, highlights two characteristic frequencies, associated with short and long timescales of the order of 50 ms and 50 s in the present system. Whereas the former can be associated with ionic diffusion, very long timescales are difficult to explain with conventional transport phenomena. We develop a minimal model accounting for these mem-spectrometry results, pointing to surface charge regulation and ionic adsorption-desorption as possible origins for the long-term memory. Our work demonstrates the relevance of mem-spectrometry to highlight subtle ion transport properties in nanochannels, giving hereby new insights on the mechanisms governing ion transport and current rectification in charged conical nanopores.","lang":"eng"}],"publication_status":"published","type":"journal_article","publisher":"IOP Publishing","has_accepted_license":"1","intvolume":" 27"},{"doi":"10.1051/0004-6361/202453251","scopus_import":"1","abstract":[{"text":"Context. Investigating the ionizing emission of star-forming galaxies and the escape fraction of ionizing photons is critical to understanding their contribution to reionization and their impact on the surrounding environment. The number of ionizing photons available to reionize the intergalactic medium (IGM) depends on not only the abundance of galaxies but also their efficiency in producing ionizing photons (ξion). This quantity is thus fundamental to quantify the role of faint versus bright sources in driving this process, as we must assess their relative contribution to the total ionizing emissivity.\r\n\r\nAims. Our goal is to estimate the ξion using Balmer lines (Hα or Hβ) in a sample of 761 galaxies at 4 ≤ z ≤ 10 selected from different JWST spectroscopic surveys. We aim to determine the redshift evolution of ξion and the relation of ξion with the physical properties of the galaxies.\r\n\r\nMethods. We used the available HST and JWST photometry to perform a spectral energy distribution (SED) fitting in the sample to determine their physical properties and relate them with ξion. We used the BAGPIPES code for the SED fitting and assumed a delayed exponential model for the star formation history. We used the NIRSpec spectra from prism or grating configurations to estimate Balmer luminosities, and then constrained ξion values after dust correction.\r\n\r\nResults. We find a mean value of 1025.22 Hz erg−1 for ξion in the sample with an observed scatter of 0.42 dex. We find an increase in the median values of ξion with redshift from 1025.09 Hz erg−1 at z ∼ 4.18 to 1025.28 Hz erg−1 at z ∼ 7.14, confirming the redshift evolution of ξion found in other studies. Regarding the relation between ξion and physical properties, we find a decrease in ξion with increasing stellar mass, indicating that low-mass galaxies are efficient producers of ionizing photons. We also find an increase in ξion with increasing specific star formation rate (sSFR) and increasing UV absolute magnitude. This indicates that faint galaxies and galaxies with high sSFR are also efficient producers. We also investigated the relation of ξion with the rest-frame equivalent width (EW) of [OIII]λ5007 and find that galaxies with the higher EW([OIII]λ5007) are more efficient producers of ionizing photons, with the best fit leading to the relation log(ξion) = 0.43 × log(EW[OIII])+23.99. Similarly, we find that galaxies with higher O32 = [OIII]λ5007/[OII]λλ3727,3729 and lower gas-phase metallicities (based on the R23 = ([OIII]λλ4959,5007+[OII]λλ3727,3729)/Hβ calibration) show higher ξion values.","lang":"eng"}],"citation":{"mla":"Llerena, M., et al. “The Ionizing Photon Production Efficiency of Star-Forming Galaxies at z ∼ 4–10.” Astronomy & Astrophysics, vol. 698, A302, EDP Sciences, 2025, doi:10.1051/0004-6361/202453251.","apa":"Llerena, M., Pentericci, L., Napolitano, L., Mascia, S., Amorín, R., Calabrò, A., … Santini, P. (2025). The ionizing photon production efficiency of star-forming galaxies at z ∼ 4–10. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202453251","ama":"Llerena M, Pentericci L, Napolitano L, et al. The ionizing photon production efficiency of star-forming galaxies at z ∼ 4–10. Astronomy & Astrophysics. 2025;698. doi:10.1051/0004-6361/202453251","short":"M. Llerena, L. Pentericci, L. Napolitano, S. Mascia, R. Amorín, A. Calabrò, M. Castellano, N.J. Cleri, M. Giavalisco, N.A. Grogin, N.P. Hathi, M. Hirschmann, A.M. Koekemoer, T. Nanayakkara, F. Pacucci, L. Shen, S.M. Wilkins, I. Yoon, L.Y.A. Yung, R. Bhatawdekar, R.A. Lucas, X. Wang, P. Arrabal Haro, M.B. Bagley, S.L. Finkelstein, J.S. Kartaltepe, E. Merlin, C. Papovich, N. Pirzkal, P. Santini, Astronomy & Astrophysics 698 (2025).","ista":"Llerena M, Pentericci L, Napolitano L, Mascia S, Amorín R, Calabrò A, Castellano M, Cleri NJ, Giavalisco M, Grogin NA, Hathi NP, Hirschmann M, Koekemoer AM, Nanayakkara T, Pacucci F, Shen L, Wilkins SM, Yoon I, Yung LYA, Bhatawdekar R, Lucas RA, Wang X, Arrabal Haro P, Bagley MB, Finkelstein SL, Kartaltepe JS, Merlin E, Papovich C, Pirzkal N, Santini P. 2025. The ionizing photon production efficiency of star-forming galaxies at z ∼ 4–10. Astronomy & Astrophysics. 698, A302.","ieee":"M. Llerena et al., “The ionizing photon production efficiency of star-forming galaxies at z ∼ 4–10,” Astronomy & Astrophysics, vol. 698. EDP Sciences, 2025.","chicago":"Llerena, M., L. Pentericci, L. Napolitano, Sara Mascia, R. Amorín, A. Calabrò, M. Castellano, et al. “The Ionizing Photon Production Efficiency of Star-Forming Galaxies at z ∼ 4–10.” Astronomy & Astrophysics. EDP Sciences, 2025. https://doi.org/10.1051/0004-6361/202453251."},"publisher":"EDP Sciences","type":"journal_article","publication_status":"published","intvolume":" 698","has_accepted_license":"1","ddc":["520"],"year":"2025","quality_controlled":"1","volume":698,"language":[{"iso":"eng"}],"isi":1,"article_processing_charge":"No","file_date_updated":"2025-07-08T06:17:02Z","month":"06","OA_type":"diamond","publication_identifier":{"issn":["0004-6361"],"eissn":["1432-0746"]},"arxiv":1,"date_published":"2025-06-20T00:00:00Z","external_id":{"arxiv":["2412.01358"],"isi":["001512479700026"]},"oa":1,"_id":"19967","oa_version":"Published Version","article_number":"A302","date_created":"2025-07-06T22:01:23Z","file":[{"file_name":"2025_AstronomyAstrophysics_Llerena.pdf","creator":"dernst","file_size":7557993,"date_created":"2025-07-08T06:17:02Z","checksum":"92745034d9448d38b6b0394407ae39a0","relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"date_updated":"2025-07-08T06:17:02Z","file_id":"19974"}],"publication":"Astronomy & Astrophysics","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_updated":"2026-02-16T12:12:15Z","status":"public","title":"The ionizing photon production efficiency of star-forming galaxies at z ∼ 4–10","author":[{"last_name":"Llerena","first_name":"M.","full_name":"Llerena, M."},{"first_name":"L.","last_name":"Pentericci","full_name":"Pentericci, L."},{"first_name":"L.","last_name":"Napolitano","full_name":"Napolitano, L."},{"full_name":"Mascia, Sara","first_name":"Sara","last_name":"Mascia","id":"edaf889c-c7cd-11ef-ab1b-bb28c431bd29"},{"full_name":"Amorín, R.","first_name":"R.","last_name":"Amorín"},{"full_name":"Calabrò, A.","last_name":"Calabrò","first_name":"A."},{"first_name":"M.","last_name":"Castellano","full_name":"Castellano, M."},{"full_name":"Cleri, N. J.","first_name":"N. J.","last_name":"Cleri"},{"first_name":"M.","last_name":"Giavalisco","full_name":"Giavalisco, M."},{"full_name":"Grogin, N. A.","last_name":"Grogin","first_name":"N. A."},{"full_name":"Hathi, N. P.","last_name":"Hathi","first_name":"N. P."},{"full_name":"Hirschmann, M.","last_name":"Hirschmann","first_name":"M."},{"first_name":"A. M.","last_name":"Koekemoer","full_name":"Koekemoer, A. M."},{"full_name":"Nanayakkara, T.","last_name":"Nanayakkara","first_name":"T."},{"first_name":"F.","last_name":"Pacucci","full_name":"Pacucci, F."},{"full_name":"Shen, L.","first_name":"L.","last_name":"Shen"},{"full_name":"Wilkins, S. M.","first_name":"S. M.","last_name":"Wilkins"},{"full_name":"Yoon, I.","first_name":"I.","last_name":"Yoon"},{"full_name":"Yung, L. Y.A.","last_name":"Yung","first_name":"L. Y.A."},{"full_name":"Bhatawdekar, R.","last_name":"Bhatawdekar","first_name":"R."},{"full_name":"Lucas, R. A.","last_name":"Lucas","first_name":"R. A."},{"first_name":"X.","last_name":"Wang","full_name":"Wang, X."},{"full_name":"Arrabal Haro, P.","first_name":"P.","last_name":"Arrabal Haro"},{"last_name":"Bagley","first_name":"M. B.","full_name":"Bagley, M. B."},{"full_name":"Finkelstein, S. L.","first_name":"S. L.","last_name":"Finkelstein"},{"last_name":"Kartaltepe","first_name":"J. S.","full_name":"Kartaltepe, J. S."},{"first_name":"E.","last_name":"Merlin","full_name":"Merlin, E."},{"full_name":"Papovich, C.","first_name":"C.","last_name":"Papovich"},{"first_name":"N.","last_name":"Pirzkal","full_name":"Pirzkal, N."},{"full_name":"Santini, P.","last_name":"Santini","first_name":"P."}],"department":[{"_id":"JoMa"}],"day":"20","OA_place":"publisher","article_type":"original","acknowledgement":"We thank the anonymous referee for the detailed review and useful suggestions that helped to improve this paper. We wish to thank all our colleagues in the CEERS collaboration for their hard work and valuable contributions to this project. We thank Pietro Bergamini for providing us with the magnification factors for the lensed sources. MLl acknowledges support from the INAF Large Grant 2022 “Extragalactic Surveys with JWST” (PI L. Pentericci), the PRIN 2022 MUR project 2022CB3PJ3 – First Light And Galaxy aSsembly (FLAGS) funded by the European Union – Next Generation EU, and INAF Mini-grant “Galaxies in the epoch of Reionization and their analogs at lower redshift” (PI M. Llerena). RA acknowledges support of grant PID2023-147386NB-I00 funded by MICIU/AEI/10.13039/501100011033 and by ERDF/EU, and the Severo Ochoa grant CEX2021-001131-S This work is based on observations made with the NASA/ESA/CSA James Webb Space Telescope (JWST). The JWST data presented in this article were obtained from the Mikulski Archive for Space Telescopes (MAST) at the Space Telescope Science Institute. The specific observations analyzed are associated with program JWST-GO-3073 and can be accessed via DOI. We acknowledge support from INAF Mini-grant “Reionization and Fundamental Cosmology with High-Redshift Galaxies”. This work has made extensive use of Python packages astropy (Astropy Collaboration 2018), numpy (Harris et al. 2020), Matplotlib (Hunter 2007) and LiMe (Fernández et al. 2024)."},{"oa_version":"None","publication_status":"published","date_created":"2025-07-06T22:01:23Z","type":"conference","_id":"19968","publisher":"Academy of Management","publication":"85th Annual Meeting of the Academy of Management","intvolume":" 2025","scopus_import":"1","date_published":"2025-06-17T00:00:00Z","publication_identifier":{"issn":["0065-0668"],"eissn":["2151-6561"]},"OA_type":"closed access","doi":"10.5465/AMPROC.2025.54bp","citation":{"mla":"Plata, Carlos, and Alejandro Casallas Garcia. “Machine Learning Analysis of the Factors Influencing University-Industry Collaborations.” 85th Annual Meeting of the Academy of Management, vol. 2025, no. 1, Academy of Management, 2025, doi:10.5465/AMPROC.2025.54bp.","apa":"Plata, C., & Casallas Garcia, A. (2025). Machine learning analysis of the factors influencing university-industry collaborations. In 85th Annual Meeting of the Academy of Management (Vol. 2025). Copenhagen, Denmark: Academy of Management. https://doi.org/10.5465/AMPROC.2025.54bp","short":"C. Plata, A. Casallas Garcia, in:, 85th Annual Meeting of the Academy of Management, Academy of Management, 2025.","ama":"Plata C, Casallas Garcia A. Machine learning analysis of the factors influencing university-industry collaborations. In: 85th Annual Meeting of the Academy of Management. Vol 2025. Academy of Management; 2025. doi:10.5465/AMPROC.2025.54bp","ista":"Plata C, Casallas Garcia A. 2025. Machine learning analysis of the factors influencing university-industry collaborations. 85th Annual Meeting of the Academy of Management. AOM: Annual Meeting of the Academy of Management vol. 2025.","chicago":"Plata, Carlos, and Alejandro Casallas Garcia. “Machine Learning Analysis of the Factors Influencing University-Industry Collaborations.” In 85th Annual Meeting of the Academy of Management, Vol. 2025. Academy of Management, 2025. https://doi.org/10.5465/AMPROC.2025.54bp.","ieee":"C. Plata and A. Casallas Garcia, “Machine learning analysis of the factors influencing university-industry collaborations,” in 85th Annual Meeting of the Academy of Management, Copenhagen, Denmark, 2025, vol. 2025, no. 1."},"abstract":[{"lang":"eng","text":"In the dynamic arena of innovation, the relations between academia and industry are a keystone for breakthroughs and practical applications. Yet, the groundwork of these pivotal University-Industry (U-I) partnerships remains covered in complexity. This paper delves into these intricate relations, unraveling the factors that help successful collaborations. Grounded in the Resource-Based Theory, our study transcends traditional analytical boundaries, leveraging a neural network model to understand a comprehensive dataset from the UK’s Higher Education Statistics Agency, SCIMAGO Rankings, and Clarivate Publications. This novel approach helps to make clear the interplay of academic load, administrative support, scientific output, and university rank in sculpting U-I collaboration dynamics. Our findings suggest that reduced academic load and robust administrative support significantly bolster U-I collaborations. However, the influence of scientific output and university ranking is more nuanced, challenging the common belief. High scientific output, while indicative of expertise, doesn't always align with industry goals. Similarly, while higher-ranked universities could attract more collaborations, the benefits are not universal. This paper not only contributes to a deeper understanding of U-I collaborations, but also provides actionable insights for university administrators, policymakers, and industry leaders. In a world where innovation is key, understanding these collaborative dynamics is crucial for fostering partnerships that push the boundaries of research and practical application."}],"article_processing_charge":"No","title":"Machine learning analysis of the factors influencing university-industry collaborations","author":[{"first_name":"Carlos","last_name":"Plata","full_name":"Plata, Carlos"},{"first_name":"Alejandro","last_name":"Casallas Garcia","orcid":"0000-0002-1988-5035","full_name":"Casallas Garcia, Alejandro","id":"92081129-2d75-11ef-a48d-b04dd7a2385a"}],"month":"06","issue":"1","department":[{"_id":"CaMu"}],"day":"17","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","conference":{"location":"Copenhagen, Denmark","end_date":"2025-07-29","name":"AOM: Annual Meeting of the Academy of Management","start_date":"2025-07-25"},"year":"2025","status":"public","language":[{"iso":"eng"}],"volume":2025,"date_updated":"2025-09-09T08:39:03Z"},{"page":"207-245","file_date_updated":"2025-12-30T09:03:55Z","month":"09","isi":1,"article_processing_charge":"Yes (via OA deal)","volume":38,"language":[{"iso":"eng"}],"year":"2025","ddc":["510"],"quality_controlled":"1","intvolume":" 38","PlanS_conform":"1","has_accepted_license":"1","publisher":"Springer Nature","type":"journal_article","corr_author":"1","publication_status":"published","abstract":[{"text":"In the stochastic population protocol model, we are given a connected graph with n nodes, and in every time step, a scheduler samples an edge of the graph uniformly at random and the nodes connected by this edge interact. A fundamental task in this model is stable leader election, in which all nodes start in an identical state and the aim is to reach a configuration in which (1)\r\nexactly one node is elected as leader and (2) this node remains as the unique leader no matter what sequence of interactions follows. On cliques, the complexity of this problem has recently been settled: time-optimal protocols stabilize in (n log n) expected steps using (log log n) states, whereas protocols that use O(1) states require (n2) expected steps. In this work, we investigate the complexity of stable leader election on graphs. We provide the first non-trivial time lower bounds on general graphs, showing that, when moving beyond cliques, the complexity of stable leader election can range from O(1) to (n3) expected steps. We describe a protocol that is time-optimal on many graph families, but uses polynomially-many states. In contrast, we give a near-time-optimal protocol that uses only O(log2 n) states that is at most a factor O(log n) slower. Finally, we observe that for many graphs the constant-state protocol of Beauquier et al. [OPODIS 2013] is at most a factor O(n log n) slower than the fast polynomial-state protocol, and among constant-state protocols, this protocol has near-optimal average case complexity on dense random graphs.","lang":"eng"}],"citation":{"apa":"Alistarh, D.-A., Rybicki, J., & Voitovych, S. (2025). Near-optimal leader election in population protocols on graphs. Distributed Computing. Springer Nature. https://doi.org/10.1007/s00446-025-00487-7","mla":"Alistarh, Dan-Adrian, et al. “Near-Optimal Leader Election in Population Protocols on Graphs.” Distributed Computing, vol. 38, Springer Nature, 2025, pp. 207–45, doi:10.1007/s00446-025-00487-7.","ama":"Alistarh D-A, Rybicki J, Voitovych S. Near-optimal leader election in population protocols on graphs. Distributed Computing. 2025;38:207-245. doi:10.1007/s00446-025-00487-7","short":"D.-A. Alistarh, J. Rybicki, S. Voitovych, Distributed Computing 38 (2025) 207–245.","chicago":"Alistarh, Dan-Adrian, Joel Rybicki, and Sasha Voitovych. “Near-Optimal Leader Election in Population Protocols on Graphs.” Distributed Computing. Springer Nature, 2025. https://doi.org/10.1007/s00446-025-00487-7.","ista":"Alistarh D-A, Rybicki J, Voitovych S. 2025. Near-optimal leader election in population protocols on graphs. Distributed Computing. 38, 207–245.","ieee":"D.-A. Alistarh, J. Rybicki, and S. Voitovych, “Near-optimal leader election in population protocols on graphs,” Distributed Computing, vol. 38. Springer Nature, pp. 207–245, 2025."},"related_material":{"record":[{"status":"public","id":"11844","relation":"earlier_version"}]},"doi":"10.1007/s00446-025-00487-7","scopus_import":"1","department":[{"_id":"DaAl"}],"day":"01","ec_funded":1,"article_type":"original","OA_place":"publisher","acknowledgement":"We thank all anonymous reviewers for their helpful comments. We would also like to thank Jakob Solnerzik and Olivier Stietel for catching some errors in the proofs. Open Access funding enabled and organized by Projekt DEAL. We gratefully acknowledge funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 805223 ScaleML).","title":"Near-optimal leader election in population protocols on graphs","author":[{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X"},{"id":"334EFD2E-F248-11E8-B48F-1D18A9856A87","last_name":"Rybicki","first_name":"Joel","full_name":"Rybicki, Joel","orcid":"0000-0002-6432-6646"},{"last_name":"Voitovych","first_name":"Sasha","full_name":"Voitovych, Sasha"}],"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_updated":"2025-12-30T09:04:18Z","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"date_updated":"2025-12-30T09:03:55Z","success":1,"content_type":"application/pdf","access_level":"open_access","file_id":"20900","creator":"dernst","file_name":"2025_DistributedComp_Alistarh.pdf","relation":"main_file","checksum":"2789c0fdfb58f64930f05f6ac2b3ca61","date_created":"2025-12-30T09:03:55Z","file_size":770705}],"publication":"Distributed Computing","project":[{"grant_number":"805223","_id":"268A44D6-B435-11E9-9278-68D0E5697425","name":"Elastic Coordination for Scalable Machine Learning","call_identifier":"H2020"}],"_id":"19969","oa_version":"Published Version","date_created":"2025-07-06T22:01:24Z","external_id":{"arxiv":["2205.12597"],"isi":["001518300400001"]},"oa":1,"publication_identifier":{"issn":["0178-2770"],"eissn":["1432-0452"]},"OA_type":"hybrid","arxiv":1,"date_published":"2025-09-01T00:00:00Z"},{"article_processing_charge":"Yes (in subscription journal)","isi":1,"month":"06","issue":"27","page":"24174-24334","file_date_updated":"2025-12-30T09:07:31Z","quality_controlled":"1","ddc":["540"],"year":"2025","language":[{"iso":"eng"}],"volume":19,"publication_status":"published","publisher":"American Chemical Society","type":"journal_article","has_accepted_license":"1","intvolume":" 19","PlanS_conform":"1","scopus_import":"1","doi":"10.1021/acsnano.5c03911","citation":{"apa":"Ju, X., Chen, C., Oral, C. M., Sevim, S., Golestanian, R., Sun, M., … Pumera, M. (2025). Technology roadmap of micro/nanorobots. ACS Nano. American Chemical Society. https://doi.org/10.1021/acsnano.5c03911","mla":"Ju, Xiaohui, et al. “Technology Roadmap of Micro/Nanorobots.” ACS Nano, vol. 19, no. 27, American Chemical Society, 2025, pp. 24174–334, doi:10.1021/acsnano.5c03911.","chicago":"Ju, Xiaohui, Chuanrui Chen, Cagatay M. Oral, Semih Sevim, Ramin Golestanian, Mengmeng Sun, Negin Bouzari, et al. “Technology Roadmap of Micro/Nanorobots.” ACS Nano. American Chemical Society, 2025. https://doi.org/10.1021/acsnano.5c03911.","ieee":"X. Ju et al., “Technology roadmap of micro/nanorobots,” ACS Nano, vol. 19, no. 27. American Chemical Society, pp. 24174–24334, 2025.","ista":"Ju X et al. 2025. Technology roadmap of micro/nanorobots. ACS Nano. 19(27), 24174–24334.","ama":"Ju X, Chen C, Oral CM, et al. Technology roadmap of micro/nanorobots. ACS Nano. 2025;19(27):24174-24334. doi:10.1021/acsnano.5c03911","short":"X. Ju, C. Chen, C.M. Oral, S. Sevim, R. Golestanian, M. Sun, N. Bouzari, X. Lin, M. Urso, J.S. Nam, Y. Cho, X. Peng, F.C. Landers, S. Yang, A. Adibi, N. Taz, R. Wittkowski, D. Ahmed, W. Wang, V. Magdanz, M. Medina-Sánchez, M. Guix, N. Bari, B. Behkam, R. Kapral, Y. Huang, J. Tang, B. Wang, K. Morozov, A. Leshansky, S.A. Abbasi, H. Choi, S. Ghosh, B. Borges Fernandes, G. Battaglia, P. Fischer, A. Ghosh, B. Jurado Sánchez, A. Escarpa, Q. Martinet, J.A. Palacci, E. Lauga, J. Moran, M.A. Ramos-Docampo, B. Städler, R.S. Herrera Restrepo, G. Yossifon, J.D. Nicholas, J. Ignés-Mullol, J. Puigmartí-Luis, Y. Liu, L.D. Zarzar, C.W. Shields, L. Li, S. Li, X. Ma, D.H. Gracias, O. Velev, S. Sánchez, M.J. Esplandiu, J. Simmchen, A. Lobosco, S. Misra, Z. Wu, J. Li, A. Kuhn, A. Nourhani, T. Maric, Z. Xiong, A. Aghakhani, Y. Mei, Y. Tu, F. Peng, E. Diller, M.S. Sakar, A. Sen, J. Law, Y. Sun, A. Pena-Francesch, K. Villa, H. Li, D.E. Fan, K. Liang, T.J. Huang, X.-Z. Chen, S. Tang, X. Zhang, J. Cui, H. Wang, W. Gao, V. Kumar Bandari, O.G. Schmidt, X. Wu, J. Guan, M. Sitti, B.J. Nelson, S. Pané, L. Zhang, H. Shahsavan, Q. He, I.-D. Kim, J. Wang, M. Pumera, ACS Nano 19 (2025) 24174–24334."},"abstract":[{"lang":"eng","text":"nspired by Richard Feynman’s 1959 lecture and the 1966 film Fantastic Voyage, the field of micro/nanorobots has evolved from science fiction to reality, with significant advancements in biomedical and environmental applications. Despite the rapid progress, the deployment of functional micro/nanorobots remains limited. This review of the technology roadmap identifies key challenges hindering their widespread use, focusing on propulsion mechanisms, fundamental theoretical aspects, collective behavior, material design, and embodied intelligence. We explore the current state of micro/nanorobot technology, with an emphasis on applications in biomedicine, environmental remediation, analytical sensing, and other industrial technological aspects. Additionally, we analyze issues related to scaling up production, commercialization, and regulatory frameworks that are crucial for transitioning from research to practical applications. We also emphasize the need for interdisciplinary collaboration to address both technical and nontechnical challenges, such as sustainability, ethics, and business considerations. Finally, we propose a roadmap for future research to accelerate the development of micro/nanorobots, positioning them as essential tools for addressing grand challenges and enhancing the quality of life."}],"title":"Technology roadmap of micro/nanorobots","author":[{"last_name":"Ju","first_name":"Xiaohui","full_name":"Ju, Xiaohui"},{"last_name":"Chen","first_name":"Chuanrui","full_name":"Chen, Chuanrui"},{"last_name":"Oral","first_name":"Cagatay M.","full_name":"Oral, Cagatay M."},{"full_name":"Sevim, Semih","last_name":"Sevim","first_name":"Semih"},{"last_name":"Golestanian","first_name":"Ramin","full_name":"Golestanian, Ramin"},{"first_name":"Mengmeng","last_name":"Sun","full_name":"Sun, Mengmeng"},{"full_name":"Bouzari, Negin","last_name":"Bouzari","first_name":"Negin"},{"first_name":"Xiankun","last_name":"Lin","full_name":"Lin, Xiankun"},{"first_name":"Mario","last_name":"Urso","full_name":"Urso, Mario"},{"first_name":"Jong Seok","last_name":"Nam","full_name":"Nam, Jong Seok"},{"last_name":"Cho","first_name":"Yujang","full_name":"Cho, Yujang"},{"last_name":"Peng","first_name":"Xia","full_name":"Peng, Xia"},{"first_name":"Fabian C.","last_name":"Landers","full_name":"Landers, Fabian C."},{"full_name":"Yang, Shihao","last_name":"Yang","first_name":"Shihao"},{"full_name":"Adibi, Azin","first_name":"Azin","last_name":"Adibi"},{"last_name":"Taz","first_name":"Nahid","full_name":"Taz, Nahid"},{"last_name":"Wittkowski","first_name":"Raphael","full_name":"Wittkowski, Raphael"},{"full_name":"Ahmed, Daniel","first_name":"Daniel","last_name":"Ahmed"},{"first_name":"Wei","last_name":"Wang","full_name":"Wang, Wei"},{"full_name":"Magdanz, Veronika","last_name":"Magdanz","first_name":"Veronika"},{"full_name":"Medina-Sánchez, Mariana","first_name":"Mariana","last_name":"Medina-Sánchez"},{"last_name":"Guix","first_name":"Maria","full_name":"Guix, Maria"},{"last_name":"Bari","first_name":"Naimat","full_name":"Bari, Naimat"},{"last_name":"Behkam","first_name":"Bahareh","full_name":"Behkam, Bahareh"},{"first_name":"Raymond","last_name":"Kapral","full_name":"Kapral, Raymond"},{"full_name":"Huang, Yaxin","first_name":"Yaxin","last_name":"Huang"},{"first_name":"Jinyao","last_name":"Tang","full_name":"Tang, Jinyao"},{"last_name":"Wang","first_name":"Ben","full_name":"Wang, Ben"},{"first_name":"Konstantin","last_name":"Morozov","full_name":"Morozov, Konstantin"},{"full_name":"Leshansky, Alexander","last_name":"Leshansky","first_name":"Alexander"},{"full_name":"Abbasi, Sarmad Ahmad","first_name":"Sarmad Ahmad","last_name":"Abbasi"},{"full_name":"Choi, Hongsoo","first_name":"Hongsoo","last_name":"Choi"},{"first_name":"Subhadip","last_name":"Ghosh","full_name":"Ghosh, Subhadip"},{"full_name":"Borges Fernandes, Bárbara","first_name":"Bárbara","last_name":"Borges Fernandes"},{"first_name":"Giuseppe","last_name":"Battaglia","full_name":"Battaglia, Giuseppe"},{"first_name":"Peer","last_name":"Fischer","full_name":"Fischer, Peer"},{"full_name":"Ghosh, Ambarish","first_name":"Ambarish","last_name":"Ghosh"},{"full_name":"Jurado Sánchez, Beatriz","first_name":"Beatriz","last_name":"Jurado Sánchez"},{"first_name":"Alberto","last_name":"Escarpa","full_name":"Escarpa, Alberto"},{"last_name":"Martinet","first_name":"Quentin","orcid":"0000-0002-2916-6632","full_name":"Martinet, Quentin","id":"b37485a8-d343-11eb-a0e9-df8c484ef8ab"},{"first_name":"Jérémie A","last_name":"Palacci","orcid":"0000-0002-7253-9465","full_name":"Palacci, Jérémie A","id":"8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d"},{"last_name":"Lauga","first_name":"Eric","full_name":"Lauga, Eric"},{"last_name":"Moran","first_name":"Jeffrey","full_name":"Moran, Jeffrey"},{"full_name":"Ramos-Docampo, Miguel A.","first_name":"Miguel A.","last_name":"Ramos-Docampo"},{"full_name":"Städler, Brigitte","last_name":"Städler","first_name":"Brigitte"},{"first_name":"Ramón Santiago","last_name":"Herrera Restrepo","full_name":"Herrera Restrepo, Ramón Santiago"},{"full_name":"Yossifon, Gilad","last_name":"Yossifon","first_name":"Gilad"},{"last_name":"Nicholas","first_name":"James D.","full_name":"Nicholas, James D."},{"first_name":"Jordi","last_name":"Ignés-Mullol","full_name":"Ignés-Mullol, Jordi"},{"first_name":"Josep","last_name":"Puigmartí-Luis","full_name":"Puigmartí-Luis, Josep"},{"full_name":"Liu, Yutong","last_name":"Liu","first_name":"Yutong"},{"first_name":"Lauren D.","last_name":"Zarzar","full_name":"Zarzar, Lauren D."},{"full_name":"Shields, C. Wyatt","last_name":"Shields","first_name":"C. Wyatt"},{"first_name":"Longqiu","last_name":"Li","full_name":"Li, Longqiu"},{"full_name":"Li, Shanshan","last_name":"Li","first_name":"Shanshan"},{"first_name":"Xing","last_name":"Ma","full_name":"Ma, Xing"},{"full_name":"Gracias, David H.","last_name":"Gracias","first_name":"David H."},{"full_name":"Velev, Orlin","first_name":"Orlin","last_name":"Velev"},{"full_name":"Sánchez, Samuel","last_name":"Sánchez","first_name":"Samuel"},{"first_name":"Maria Jose","last_name":"Esplandiu","full_name":"Esplandiu, Maria Jose"},{"full_name":"Simmchen, Juliane","last_name":"Simmchen","first_name":"Juliane"},{"full_name":"Lobosco, Antonio","first_name":"Antonio","last_name":"Lobosco"},{"full_name":"Misra, Sarthak","first_name":"Sarthak","last_name":"Misra"},{"full_name":"Wu, Zhiguang","first_name":"Zhiguang","last_name":"Wu"},{"last_name":"Li","first_name":"Jinxing","full_name":"Li, Jinxing"},{"last_name":"Kuhn","first_name":"Alexander","full_name":"Kuhn, Alexander"},{"full_name":"Nourhani, Amir","first_name":"Amir","last_name":"Nourhani"},{"last_name":"Maric","first_name":"Tijana","full_name":"Maric, Tijana"},{"full_name":"Xiong, Ze","first_name":"Ze","last_name":"Xiong"},{"last_name":"Aghakhani","first_name":"Amirreza","full_name":"Aghakhani, Amirreza"},{"full_name":"Mei, Yongfeng","first_name":"Yongfeng","last_name":"Mei"},{"last_name":"Tu","first_name":"Yingfeng","full_name":"Tu, Yingfeng"},{"last_name":"Peng","first_name":"Fei","full_name":"Peng, Fei"},{"first_name":"Eric","last_name":"Diller","full_name":"Diller, Eric"},{"full_name":"Sakar, Mahmut Selman","first_name":"Mahmut Selman","last_name":"Sakar"},{"full_name":"Sen, Ayusman","first_name":"Ayusman","last_name":"Sen"},{"full_name":"Law, Junhui","first_name":"Junhui","last_name":"Law"},{"first_name":"Yu","last_name":"Sun","full_name":"Sun, Yu"},{"full_name":"Pena-Francesch, Abdon","first_name":"Abdon","last_name":"Pena-Francesch"},{"full_name":"Villa, Katherine","first_name":"Katherine","last_name":"Villa"},{"first_name":"Huaizhi","last_name":"Li","full_name":"Li, Huaizhi"},{"full_name":"Fan, Donglei Emma","last_name":"Fan","first_name":"Donglei Emma"},{"last_name":"Liang","first_name":"Kang","full_name":"Liang, Kang"},{"full_name":"Huang, Tony Jun","first_name":"Tony Jun","last_name":"Huang"},{"last_name":"Chen","first_name":"Xiang-Zhong","full_name":"Chen, Xiang-Zhong"},{"full_name":"Tang, Songsong","last_name":"Tang","first_name":"Songsong"},{"full_name":"Zhang, Xueji","last_name":"Zhang","first_name":"Xueji"},{"full_name":"Cui, Jizhai","last_name":"Cui","first_name":"Jizhai"},{"full_name":"Wang, Hong","last_name":"Wang","first_name":"Hong"},{"last_name":"Gao","first_name":"Wei","full_name":"Gao, Wei"},{"full_name":"Kumar Bandari, Vineeth","last_name":"Kumar Bandari","first_name":"Vineeth"},{"first_name":"Oliver G.","last_name":"Schmidt","full_name":"Schmidt, Oliver G."},{"full_name":"Wu, Xianghua","first_name":"Xianghua","last_name":"Wu"},{"last_name":"Guan","first_name":"Jianguo","full_name":"Guan, Jianguo"},{"full_name":"Sitti, Metin","last_name":"Sitti","first_name":"Metin"},{"first_name":"Bradley J.","last_name":"Nelson","full_name":"Nelson, Bradley J."},{"full_name":"Pané, Salvador","last_name":"Pané","first_name":"Salvador"},{"first_name":"Li","last_name":"Zhang","full_name":"Zhang, Li"},{"full_name":"Shahsavan, Hamed","last_name":"Shahsavan","first_name":"Hamed"},{"first_name":"Qiang","last_name":"He","full_name":"He, Qiang"},{"full_name":"Kim, Il-Doo","first_name":"Il-Doo","last_name":"Kim"},{"full_name":"Wang, Joseph","first_name":"Joseph","last_name":"Wang"},{"full_name":"Pumera, Martin","last_name":"Pumera","first_name":"Martin"}],"OA_place":"publisher","article_type":"review","acknowledgement":"The content is solely the responsibility of the authors and does not necessarily represent the official views of the funding agencies. Martin Pumera acknowledges the financial support of Grant Agency of the Czech Republic (EXPRO: 25-15484X). Xiaohui Ju, Xia Peng and Cagatay M. Oral acknowledge ERDF/ESF project TECHSCALE (No. CZ.02.01.01/00/22_008/0004587) for financial support. Xiaohui Ju acknowledges the financial support from Czech Grant Agency GACR standard grant No. 25-15996S. Salvador Pane, Fabian Landers and Semih Sevim acknowledge funding from the European Union's Horizon 2020 Proactive Open program under FETPROACT-EIC-05-2019 ANGIE (No. 952152) and the European Union’s Horizon Europe Research and Innovation Programme under the EVA project (GA no. 101047081).Li Zhang acknowledges funding support from the Hong Kong Research Grants Council (RGC) with grant numbers R4015-2, RFS2122-4S03, and STG1/E-401/23-N. Hamed Shahsavan acknowledges Natural Sciences and Engineering Research Council of Canada (NSERC). Cagatay M. Oral and Hamed Shahsavan were in part funded by the WIN-CEITEC BUT Joint Seed Funding Program. Qiang He and Xiankun Lin acknowledge the National Natural Science Foundation of China (22193033, U22A20346) and Heilongjiang Provincial Key R&D Program (2022ZX02C23) for providing financial support. Il-Doo Kim acknowledges the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIT) (No. RS-2024-00435493). Ramin Golestanian acknowledges support from the Max Planck School Matter to Life and the MaxSynBio Consortium which are jointly funded by the Federal Ministry of Education and Research (BMBF) of Germany and the Max Planck Society. Bradley J. Nelson and Semih Sevim acknowledge funding from the Swiss National Science Foundation under SNSF-Sinergia project no. 198643. Raphael Wittkowski is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) − 535275785. Daniel Ahmed acknowledges the support provided by the European Research Council, as part of the European Union’s Horizon 2020 research and innovation program (grant agreement 853309, SONOBOTS) and Swiss National Science Foundation (SNSF) under the SNSF Project funding MINT 2022 grant agreement No. 213058. Daniel Ahmed also extends thanks to Zhiyuan Zhang, Mahmoud Medany, and Prajwal Agrawal for helpful discussions. Wei Wang acknowledges the National Natural Science Foundation of China (T2322006) and the Shenzhen Science and Technology Program (RCYX20210609103122038). Mariana Medina-Sánchez acknowledges the financial support received from the European Union’s Horizon 2020 research and innovation program (ERC Starting Grant Nr. 853609), the HORIZON-MSCA-2022-COFUND-101126600-SmartBRAIN3, and the Grant PID2023-148899OA-I00 funded by MICIU/AEI/ 10.13039/501100011033. Maria Guix acknowledges the financial support from the Spanish Ministry of Science (grants RYC2020-945030119-I and PID2023-151682NA-I00 funded by MCIN/ AEI /10.13039/501100011033/ and FEDER) and Unidades de Excelencia María de Maeztu 2021 CEX2021-001202-M. Bahareh Behkam and Naimat Kalim Bari acknowledge support from the National Science Foundation (CBET-2318093). Naimat Kalim Bari also gratefully acknowledges financial support from the Virginia Tech Presidential Postdoctoral Fellowship. Raymond Kapral acknowledges the Natural Sciences and Engineering Research Council of Canada. Giuseppe Battaglia, Subhadip Ghosh and Bárbara Borges Fernandes thank the European Research Council ChessTaG grant 769798 (G.B.); Ministry of Science and Innovation of Spain, Proyectos I+D+I PID2020-119914RBI00 and Proyectos I+D+I PID2023-149206OB-I00 and the Agencia de Gestión de Ayudas Universitarias y de Investigación (AGAUR) for the grant SGR 01538 and for SG fellowship (2022 BP 00214). Alexander Leshansky and Konstantin Morozov acknowledge the support of the Israel Science Foundation (ISF) via grant no. 2899/21. Alberto Escarpa and Beatriz Jurado Sánchez acknowledge support from The Spanish Ministry of Science, Innovation and Universities [Grant PID2023-152298NB-I00 funded by MCIN/AEI/10.13039/501100011033 and FEDER, UE (A.E, B. J. S), grant TED2021-132720B-I00, funded by MCIN/AEI/10.13039/501100011033 and the European Union “NextGenerationEU”/PRTR (A.E, B. J. S); grant CNS2023-144653 funded by MCIN/AEI/10.13039/ 501100011033 and the European Union “NextGenerationEU”/PRTR] and Junta de Comunidades de Castilla la Mancha (grant number SBPLY/23/180225/000058). Jeremie Palacci acknowledges support from the European Union through ERC grant (VULCAN, 101086998). Josep Puigmartí-Luis acknowledges the Agencia Estatal de Investigación (AEI) for the María de Maeztu, project no. CEX2021-001202-M, the Ministerio de Ciencia, Innovación y Universidades (Grant No. PID2020-116612RB-C33 funded by MCIN/AEI/10.13039/501100011033) and the Generalitat de Catalunya (2021 SGR 00270). James D. Nicholas, Jordi Ignés-Mullol, and Josep Puigmartí-Luis acknowledge support from the European Union’s Horizon Europe Research and Innovation Programme under the EVA project (GA no: 101047081). Josep Puigmartí-Luis and Jordi Ignés-Mullol acknowledge support from the European Union’s Horizon 2020 Proactive Open program under FETPROACT-EIC-05-2019 ANGIE (No. 952152). Jordi Ignés-Mullol also acknowledges the Ministerio de Ciencia, Innovación y Universidades (Grant No. PID2022-137713NB-C21 funded by MICIU/AEI/10.13039/501100011033). Lauren Zarzar and Yutong Liu acknowledge support from the US Army Research Office (Grant W911NF-18-1-0414). Longqiu Li acknowledges the National Natural Science Foundation of China (52125505, U23A20637) for providing financial support. Wyatt Shields acknowledges support from the National Science Foundation (NSF) through a CAREER grant (CBET 2143419). Xing Ma acknowledges the support from Shenzhen Science and Technology Program (RCJC20231211090000001). David H. Gracias acknowledges support from the NIH-NIBIB (R01EB017742). The content is solely the responsibility of the authors and does not necessarily represent the official views of the NIH. Samuel Sánchez acknowledges funding from the European Research Council (ERC) under the European Union’s Horizon 2020 and Horizon Europe research and innovation programmes (grants agreement No 866348, i-NanoSwarms), the CERCA program by the Generalitat de Catalunya, the project 2021 SGR 01606, and the \"Centro de Excelencia Severo Ochoa\" (Grant CEX2023-001282-S). Maria Jose Esplandiu acknowledges the Ministerio de Ciencia e Innovación of Spain (MICIN) through PID 2021-124568NB-I00 and TED2021-129898B-C21 project. Sarthak Misra and Antonio Lobosco acknowledge funding from European Research Council (ERC) under the European Union’s Horizon 2020 Research and Innovation Programme (Grant Nr. 866494, project-MAESTRO). Jinxing Li acknowledges support from the National Science Foundation under Award Nos. CMMI 2323917, ECCS-2216131, ECCS 2339495, ECCS-2334134, NIH NIBIB Trailblazer R21 Award, and Henry Ford Hospital + MSU Cancer Research Pilot Award. Ze Xiong acknowledges the financial support from the International S&T Cooperation Program of Shanghai (24490710900) and the start-up grant from ShanghaiTech University (2023F0209-000-02). Yongfeng Mei acknowledges the National Natural Science Foundation of China (62375054), Science and Technology Commission of Shanghai Municipality (24520750200, 24CL2900200), and Shanghai Talent Programs. Ayusman Sen thanks the National Science Foundation, the Air Force Office of Scientific Research, and the Sloan Foundation for their financial support. Abdon Pena-Francesch acknowledges support from the Air Force Office of Scientific Research under award number FA9550-24-1-0185. Katherine Villa acknowledges funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (GA no. 101076680; PhotoSwim) and the support from the Spanish Ministry of Science (MCIN/AEI/10.13039/501100011033) and the European Union (Next generation EU/PRTR) through the Ramón y Cajal grant, RYC2021-031075-I. Kang Liang acknowledges support from the Australian Research Council (DP250101401 and FT220100479) and the National Breast Cancer Foundation, Australia (IIRS-22–104). Jizhai Cui acknowledges the National Key Technologies R&D Program of China (2022YFA1207000) and Shanghai Rising-Star Program (24QA2700700). Xiang-Zhong Chen acknowledges the National Natural Science Foundation of China (52473254) and the National Key Research and Development Program of China (2023YFB35070003)","day":"27","department":[{"_id":"JePa"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_updated":"2025-12-30T09:07:44Z","oa_version":"Published Version","date_created":"2025-07-10T14:53:27Z","project":[{"grant_number":"101086998","_id":"bdac72da-d553-11ed-ba76-eae56e802b74","name":"VULCAN: matter, powered from within"}],"pmid":1,"_id":"19998","publication":"ACS Nano","file":[{"creator":"dernst","file_name":"2025_ACSNano_Ju.pdf","relation":"main_file","file_size":11892237,"date_created":"2025-12-30T09:07:31Z","checksum":"5f6034144bf9f649ff74fed01b04aa22","content_type":"application/pdf","success":1,"date_updated":"2025-12-30T09:07:31Z","access_level":"open_access","file_id":"20901"}],"date_published":"2025-06-27T00:00:00Z","publication_identifier":{"issn":["1936-0851"],"eissn":["1936-086X"]},"OA_type":"hybrid","external_id":{"isi":["001519731400001"],"pmid":["40577644"]},"oa":1},{"article_processing_charge":"Yes","file_date_updated":"2025-07-14T08:28:25Z","month":"07","year":"2025","ddc":["570"],"quality_controlled":"1","volume":16,"language":[{"iso":"eng"}],"publisher":"Springer Nature","type":"journal_article","publication_status":"published","intvolume":" 16","PlanS_conform":"1","has_accepted_license":"1","doi":"10.1038/s41467-025-60668-7","scopus_import":"1","abstract":[{"text":"While the most widely used CRISPR-Cas enzyme is the Cas9 endonuclease from Streptococcus pyogenes (Cas9), it exhibits single-turnover enzyme kinetics which leads to long residence times on product DNA. This blocks access to DNA repair machinery and acts as a major bottleneck during CRISPR-Cas9 gene editing. Cas9 can eventually be removed from the product by extrinsic factors, such as translocating polymerases, but the mechanisms contributing to Cas9 dissociation following cleavage remain poorly understood. Here, we employ truncated guide RNAs as a strategy to weaken PAM-distal nucleic acid interactions and promote faster enzyme turnover. Using kinetics-guided cryo-EM, we examine the conformational landscape of a multi-turnover Cas9, including the first detailed snapshots of Cas9 dissociating from product DNA. We discovered that while the PAM-distal product dissociates from Cas9 following cleavage, tight binding of the PAM-proximal product directly inhibits re-binding of new targets. Our work provides direct evidence as to why Cas9 acts as a single-turnover enzyme and will guide future Cas9 engineering efforts.","lang":"eng"}],"citation":{"apa":"Kiernan, K., & Taylor, D. W. (2025). Visualization of a multi-turnover Cas9 after product release. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-025-60668-7","mla":"Kiernan, Kaitlyn, and David W. Taylor. “Visualization of a Multi-Turnover Cas9 after Product Release.” Nature Communications, vol. 16, 5681, Springer Nature, 2025, doi:10.1038/s41467-025-60668-7.","ieee":"K. Kiernan and D. W. Taylor, “Visualization of a multi-turnover Cas9 after product release,” Nature Communications, vol. 16. Springer Nature, 2025.","chicago":"Kiernan, Kaitlyn, and David W. Taylor. “Visualization of a Multi-Turnover Cas9 after Product Release.” Nature Communications. Springer Nature, 2025. https://doi.org/10.1038/s41467-025-60668-7.","ista":"Kiernan K, Taylor DW. 2025. Visualization of a multi-turnover Cas9 after product release. Nature Communications. 16, 5681.","ama":"Kiernan K, Taylor DW. Visualization of a multi-turnover Cas9 after product release. Nature Communications. 2025;16. doi:10.1038/s41467-025-60668-7","short":"K. Kiernan, D.W. Taylor, Nature Communications 16 (2025)."},"title":"Visualization of a multi-turnover Cas9 after product release","author":[{"id":"91e8ab53-b70a-11ef-adcb-f779f833b451","full_name":"Kiernan, Kaitlyn","first_name":"Kaitlyn","last_name":"Kiernan"},{"last_name":"Taylor","first_name":"David W.","full_name":"Taylor, David W."}],"day":"01","department":[{"_id":"LeSa"}],"acknowledgement":"We thank Dr. Kenneth Johnson for assistance with kinetic analysis and helpful discussion as well as Dr. Jack Bravo and members of the Taylor lab for insightful comments on the manuscript. Data were collected at the Sauer Structural Biology Laboratory at the University of Texas at Austin. This work was supported by a National Institutes of Health grant R35GM138348 (to D.W.T.). The content is solely the responsibility of the authors and does not necessarily represent the official views of the National Institutes of Health. Computational resources for this work were supported by the Welch Foundation grant F-1938 (to D.W.T.).","article_type":"original","OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2025-07-14T08:30:06Z","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","_id":"20002","pmid":1,"date_created":"2025-07-13T22:01:21Z","oa_version":"Published Version","article_number":"5681","file":[{"file_id":"20018","access_level":"open_access","date_updated":"2025-07-14T08:28:25Z","success":1,"content_type":"application/pdf","checksum":"fa9a1eaa7e2e60467768cbaed307aceb","date_created":"2025-07-14T08:28:25Z","file_size":6875712,"relation":"main_file","file_name":"2025_NatureComm_Kiernan.pdf","creator":"dernst"}],"publication":"Nature Communications","publication_identifier":{"eissn":["2041-1723"]},"OA_type":"gold","DOAJ_listed":"1","date_published":"2025-07-01T00:00:00Z","oa":1,"external_id":{"pmid":["40593576"]}},{"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","status":"public","date_updated":"2025-09-30T14:00:26Z","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"author":[{"id":"d1c405be-ae15-11ed-8510-ccf53278162e","full_name":"Al Hyder, Ragheed","last_name":"Al Hyder","first_name":"Ragheed"},{"first_name":"Victor E.","last_name":"Colussi","full_name":"Colussi, Victor E."},{"first_name":"Matija","last_name":"Čufar","full_name":"Čufar, Matija"},{"full_name":"Brand, Joachim","last_name":"Brand","first_name":"Joachim"},{"full_name":"Recati, Alessio","first_name":"Alessio","last_name":"Recati"},{"last_name":"Bruun","first_name":"Georg M.","full_name":"Bruun, Georg M."}],"title":"Lattice Bose polarons at strong coupling and quantum criticality","OA_place":"publisher","article_type":"original","day":"01","department":[{"_id":"MiLe"}],"DOAJ_listed":"1","date_published":"2025-07-01T00:00:00Z","arxiv":1,"OA_type":"diamond","publication_identifier":{"eissn":["2542-4653"]},"oa":1,"external_id":{"isi":["001523515000002"],"arxiv":["2412.07597"]},"date_created":"2025-07-13T22:01:22Z","article_number":"002","oa_version":"Published Version","_id":"20003","publication":"Scipost Physics","file":[{"file_id":"20014","date_updated":"2025-07-14T07:02:38Z","content_type":"application/pdf","success":1,"access_level":"open_access","relation":"main_file","date_created":"2025-07-14T07:02:38Z","checksum":"a2ce71aab685b7ea29e7abcf81e2fcc1","file_size":9769204,"creator":"dernst","file_name":"2025_SciPostPhys_AlHyder.pdf"}],"quality_controlled":"1","year":"2025","ddc":["530"],"language":[{"iso":"eng"}],"volume":19,"article_processing_charge":"No","isi":1,"month":"07","file_date_updated":"2025-07-14T07:02:38Z","issue":"1","scopus_import":"1","doi":"10.21468/SciPostPhys.19.1.002","citation":{"apa":"Al Hyder, R., Colussi, V. E., Čufar, M., Brand, J., Recati, A., & Bruun, G. M. (2025). Lattice Bose polarons at strong coupling and quantum criticality. Scipost Physics. SciPost Foundation. https://doi.org/10.21468/SciPostPhys.19.1.002","mla":"Al Hyder, Ragheed, et al. “Lattice Bose Polarons at Strong Coupling and Quantum Criticality.” Scipost Physics, vol. 19, no. 1, 002, SciPost Foundation, 2025, doi:10.21468/SciPostPhys.19.1.002.","short":"R. Al Hyder, V.E. Colussi, M. Čufar, J. Brand, A. Recati, G.M. Bruun, Scipost Physics 19 (2025).","ama":"Al Hyder R, Colussi VE, Čufar M, Brand J, Recati A, Bruun GM. Lattice Bose polarons at strong coupling and quantum criticality. Scipost Physics. 2025;19(1). doi:10.21468/SciPostPhys.19.1.002","ieee":"R. Al Hyder, V. E. Colussi, M. Čufar, J. Brand, A. Recati, and G. M. Bruun, “Lattice Bose polarons at strong coupling and quantum criticality,” Scipost Physics, vol. 19, no. 1. SciPost Foundation, 2025.","ista":"Al Hyder R, Colussi VE, Čufar M, Brand J, Recati A, Bruun GM. 2025. Lattice Bose polarons at strong coupling and quantum criticality. Scipost Physics. 19(1), 002.","chicago":"Al Hyder, Ragheed, Victor E. Colussi, Matija Čufar, Joachim Brand, Alessio Recati, and Georg M. Bruun. “Lattice Bose Polarons at Strong Coupling and Quantum Criticality.” Scipost Physics. SciPost Foundation, 2025. https://doi.org/10.21468/SciPostPhys.19.1.002."},"abstract":[{"lang":"eng","text":"The problem of mobile impurities in quantum baths is of fundamental importance in many-body physics. There has recently been significant progress regarding our understanding of this due to cold atom experiments, but so far it has mainly been concerned with cases where the bath has no or only weak interactions, or the impurity interacts weakly with the bath. Here, we address this gap by developing a new theoretical framework for exploring a mobile impurity interacting strongly with a highly correlated bath of bosons in the quantum critical regime of a Mott insulator (MI) to superfluid (SF) quantum phase transition. Our framework is based on a powerful quantum Gutzwiller (QGW) description of the bosonic bath combined with diagrammatic field theory for the impurity-bath interactions. By resumming a selected class of diagrams to infinite order, a rich picture emerges where the impurity is dressed by the fundamental modes of the bath, which change character from gapped particle-hole excitations in the MI to Higgs and gapless Goldstone modes in the SF. This gives rise to the existence of several quasiparticle (polaron) branches with properties reflecting the strongly correlated environment. In particular, one polaron branch exhibits a sharp cusp in its energy, while a new ground-state polaron emerges at the O(2) quantum phase transition point for integer filling, which reflects the nonanalytic behavior at the transition and the appearance of the Goldstone mode in the SF phase. Smooth versions of these features are inherited in the polaron spectrum away from integer filling due to the influence of Mott physics on the bosonic bath. We furthermore compare our diagrammatic results with quantum Monte Carlo calculations, obtaining excellent agreement. This accuracy is quite remarkable for such a highly non-trivial case of strong interactions between the impurity and bosons in a maximally correlated quantum critical regime, and it establishes the utility of our framework. Finally, our results show how impurities can be used as quantum sensors and highlight fundamental differences between experiments performed at a fixed particle number or a fixed chemical potential."}],"publication_status":"published","publisher":"SciPost Foundation","corr_author":"1","type":"journal_article","has_accepted_license":"1","intvolume":" 19","PlanS_conform":"1"},{"oa":1,"external_id":{"arxiv":["2410.21204"]},"arxiv":1,"publication_identifier":{"isbn":["9783959773706"],"eissn":["1868-8969"]},"OA_type":"gold","date_published":"2025-06-20T00:00:00Z","file":[{"file_id":"20016","access_level":"open_access","success":1,"content_type":"application/pdf","date_updated":"2025-07-14T07:24:22Z","file_size":661893,"date_created":"2025-07-14T07:24:22Z","checksum":"b5313ed8575ea87913c71a6e3c7513c8","relation":"main_file","file_name":"2025_LIPIcs.SoCG_Edelsbrunner.pdf","creator":"dernst"}],"publication":"41st International Symposium on Computational Geometry","_id":"20005","project":[{"grant_number":"Z00342","_id":"268116B8-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Mathematics, Computer Science"},{"name":"Persistence and stability of geometric complexes","call_identifier":"FWF","_id":"2561EBF4-B435-11E9-9278-68D0E5697425","grant_number":"I02979-N35"}],"date_created":"2025-07-13T22:01:22Z","article_number":"43","oa_version":"Published Version","date_updated":"2025-07-14T07:26:14Z","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"HeEd"}],"day":"20","acknowledgement":"Herbert Edelsbrunner: partially supported by the Wittgenstein Prize, Austrian Science\r\nFund (FWF), grant no. Z 342-N31, and by the DFG Collaborative Research Center TRR 109,\r\nAustrian Science Fund (FWF), grant no. I 02979-N35.\r\nAlexey Garber: partially supported by the Simons Foundation.\r\nMorteza Saghafian: partially supported by the Wittgenstein Prize, Austrian Science Fund (FWF),\r\ngrant no. Z 342-N31, and by the DFG Collaborative Research Center TRR 109, Austrian Science\r\nFund (FWF), grant no. I 02979-N35","OA_place":"publisher","title":"On spheres with k points inside","author":[{"orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert","first_name":"Herbert","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Garber, Alexey","first_name":"Alexey","last_name":"Garber"},{"last_name":"Saghafian","first_name":"Morteza","full_name":"Saghafian, Morteza","id":"f86f7148-b140-11ec-9577-95435b8df824"}],"alternative_title":["LIPIcs"],"abstract":[{"lang":"eng","text":"We generalize a classical result by Boris Delaunay that introduced Delaunay triangulations. In particular, we prove that for a locally finite and coarsely dense generic point set A in ℝ^d, every generic point of ℝ^d belongs to exactly binom(d+k,d) simplices whose vertices belong to A and whose circumspheres enclose exactly k points of A. We extend this result to the cases in which the points are weighted, and when A contains only finitely many points in ℝ^d or in 𝕊^d. Furthermore, we use the result to give a new geometric proof for the fact that volumes of hypersimplices are Eulerian numbers."}],"citation":{"short":"H. Edelsbrunner, A. Garber, M. Saghafian, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.","ama":"Edelsbrunner H, Garber A, Saghafian M. On spheres with k points inside. In: 41st International Symposium on Computational Geometry. Vol 332. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.SoCG.2025.43","chicago":"Edelsbrunner, Herbert, Alexey Garber, and Morteza Saghafian. “On Spheres with k Points Inside.” In 41st International Symposium on Computational Geometry, Vol. 332. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.SoCG.2025.43.","ieee":"H. Edelsbrunner, A. Garber, and M. Saghafian, “On spheres with k points inside,” in 41st International Symposium on Computational Geometry, Kanazawa, Japan, 2025, vol. 332.","ista":"Edelsbrunner H, Garber A, Saghafian M. 2025. On spheres with k points inside. 41st International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 332, 43.","apa":"Edelsbrunner, H., Garber, A., & Saghafian, M. (2025). On spheres with k points inside. In 41st International Symposium on Computational Geometry (Vol. 332). Kanazawa, Japan: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2025.43","mla":"Edelsbrunner, Herbert, et al. “On Spheres with k Points Inside.” 41st International Symposium on Computational Geometry, vol. 332, 43, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.SoCG.2025.43."},"doi":"10.4230/LIPIcs.SoCG.2025.43","scopus_import":"1","intvolume":" 332","has_accepted_license":"1","type":"conference","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","corr_author":"1","publication_status":"published","volume":332,"language":[{"iso":"eng"}],"year":"2025","conference":{"start_date":"2025-06-23","end_date":"2025-06-27","name":"SoCG: Symposium on Computational Geometry","location":"Kanazawa, Japan"},"ddc":["510"],"quality_controlled":"1","file_date_updated":"2025-07-14T07:24:22Z","month":"06","article_processing_charge":"Yes"},{"intvolume":" 332","has_accepted_license":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","type":"conference","corr_author":"1","publication_status":"published","abstract":[{"lang":"eng","text":"In numerous fields, dynamic time series data require continuous updates, necessitating efficient data processing techniques for accurate analysis. This paper examines the banana tree data structure, specifically designed to efficiently maintain the multi-scale topological descriptor commonly known as persistent homology for dynamically changing time series data. We implement this data structure and conduct an experimental study to assess its properties and runtime for update operations. Our findings indicate that banana trees are highly effective with unbiased random data, outperforming state-of-the-art static algorithms in these scenarios. Additionally, our results show that real-world time series share structural properties with unbiased random walks, suggesting potential practical utility for our implementation."}],"citation":{"chicago":"Ost, Lara, Sebastiano Cultrera di Montesano, and Herbert Edelsbrunner. “Banana Trees for the Persistence in Time Series Experimentally.” In 41st International Symposium on Computational Geometry, Vol. 332. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.SoCG.2025.71.","ieee":"L. Ost, S. Cultrera di Montesano, and H. Edelsbrunner, “Banana trees for the persistence in time series experimentally,” in 41st International Symposium on Computational Geometry, Kanazawa, Japan, 2025, vol. 332.","ista":"Ost L, Cultrera di Montesano S, Edelsbrunner H. 2025. Banana trees for the persistence in time series experimentally. 41st International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 332, 71.","ama":"Ost L, Cultrera di Montesano S, Edelsbrunner H. Banana trees for the persistence in time series experimentally. In: 41st International Symposium on Computational Geometry. Vol 332. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.SoCG.2025.71","short":"L. Ost, S. Cultrera di Montesano, H. Edelsbrunner, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.","apa":"Ost, L., Cultrera di Montesano, S., & Edelsbrunner, H. (2025). Banana trees for the persistence in time series experimentally. In 41st International Symposium on Computational Geometry (Vol. 332). Kanazawa, Japan: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2025.71","mla":"Ost, Lara, et al. “Banana Trees for the Persistence in Time Series Experimentally.” 41st International Symposium on Computational Geometry, vol. 332, 71, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.SoCG.2025.71."},"doi":"10.4230/LIPIcs.SoCG.2025.71","related_material":{"link":[{"relation":"software","url":"https://github.com/laraost/BananaPersist"}]},"scopus_import":"1","file_date_updated":"2025-07-14T08:23:38Z","month":"06","article_processing_charge":"Yes","volume":332,"language":[{"iso":"eng"}],"conference":{"name":"SoCG: Symposium on Computational Geometry","end_date":"2025-06-27","location":"Kanazawa, Japan","start_date":"2025-06-23"},"ddc":["000"],"year":"2025","quality_controlled":"1","file":[{"file_size":834623,"date_created":"2025-07-14T08:23:38Z","checksum":"3a4a7a707a56e0cfdf51428782dee55a","relation":"main_file","file_name":"2025_LIPIcs.SoCG_Ost.pdf","creator":"dernst","file_id":"20017","access_level":"open_access","success":1,"content_type":"application/pdf","date_updated":"2025-07-14T08:23:38Z"}],"publication":"41st International Symposium on Computational Geometry","_id":"20006","project":[{"name":"Vienna Graduate School on Computational Optimization","grant_number":"W1260-N35","_id":"9B9290DE-BA93-11EA-9121-9846C619BF3A"},{"call_identifier":"FWF","name":"Persistence and stability of geometric complexes","grant_number":"I02979-N35","_id":"2561EBF4-B435-11E9-9278-68D0E5697425"},{"_id":"268116B8-B435-11E9-9278-68D0E5697425","grant_number":"Z00342","name":"Mathematics, Computer Science","call_identifier":"FWF"}],"date_created":"2025-07-13T22:01:22Z","oa_version":"Published Version","article_number":"71","oa":1,"external_id":{"arxiv":["2405.17920"]},"arxiv":1,"OA_type":"gold","publication_identifier":{"isbn":["9783959773706"],"eissn":["1868-8969"]},"date_published":"2025-06-20T00:00:00Z","department":[{"_id":"HeEd"}],"day":"20","acknowledgement":"Lara Ost: Supported by the Vienna Graduate School on Computational Optimization\r\n(VGSCO), FWF project no. W1260-N35.\r\nSebastiano Cultrera di Montesano: Supported by the Eric and Wendy Schmidt Center at the Broad Institute of MIT and Harvard.\r\nHerbert Edelsbrunner: Partially supported by the Wittgenstein Prize, FWF grant no. Z 342-N31,\r\nand by the DFG Collaborative Research Center TRR 109, FWF grant no. I 02979-N35.","OA_place":"publisher","author":[{"first_name":"Lara","last_name":"Ost","full_name":"Ost, Lara"},{"full_name":"Cultrera di Montesano, Sebastiano","orcid":"0000-0001-6249-0832","last_name":"Cultrera di Montesano","first_name":"Sebastiano","id":"34D2A09C-F248-11E8-B48F-1D18A9856A87"},{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner","first_name":"Herbert","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833"}],"title":"Banana trees for the persistence in time series experimentally","alternative_title":["LIPIcs"],"date_updated":"2025-12-30T11:04:33Z","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"scopus_import":"1","doi":"10.1145/3717823.3718173","citation":{"mla":"Anastos, Michael, et al. “Smoothed Analysis for Graph Isomorphism.” Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 2098–106, doi:10.1145/3717823.3718173.","apa":"Anastos, M., Kwan, M. A., & Moore, B. (2025). Smoothed analysis for graph isomorphism. In Proceedings of the 57th Annual ACM Symposium on Theory of Computing (pp. 2098–2106). Prague, Czechia: Association for Computing Machinery. https://doi.org/10.1145/3717823.3718173","ista":"Anastos M, Kwan MA, Moore B. 2025. Smoothed analysis for graph isomorphism. Proceedings of the 57th Annual ACM Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 2098–2106.","ieee":"M. Anastos, M. A. Kwan, and B. Moore, “Smoothed analysis for graph isomorphism,” in Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Prague, Czechia, 2025, pp. 2098–2106.","chicago":"Anastos, Michael, Matthew Alan Kwan, and Benjamin Moore. “Smoothed Analysis for Graph Isomorphism.” In Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2098–2106. Association for Computing Machinery, 2025. https://doi.org/10.1145/3717823.3718173.","ama":"Anastos M, Kwan MA, Moore B. Smoothed analysis for graph isomorphism. In: Proceedings of the 57th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2025:2098-2106. doi:10.1145/3717823.3718173","short":"M. Anastos, M.A. Kwan, B. Moore, in:, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 2098–2106."},"abstract":[{"text":"There is no known polynomial-time algorithm for graph isomorphism testing, but elementary combinatorial “refinement” algorithms seem to be very efficient in practice. Some philosophical justification for this phenomenon is provided by a classical theorem of Babai, Erdős and Selkow: an extremely simple polynomial-time combinatorial algorithm (variously known as “naïve refinement”, “naïve vertex classification”, “colour refinement” or the “1-dimensional Weisfeiler–Leman algorithm”) yields a so-called canonical labelling scheme for “almost all graphs”. More precisely, for a typical outcome of a random graph G(n,1/2), this simple combinatorial algorithm assigns labels to vertices in a way that easily permits isomorphism-testing against any other graph.","lang":"eng"}],"publication_status":"published","type":"conference","corr_author":"1","publisher":"Association for Computing Machinery","has_accepted_license":"1","quality_controlled":"1","conference":{"start_date":"2025-06-23","end_date":"2025-06-27","name":"STOC: Symposium on Theory of Computing","location":"Prague, Czechia"},"ddc":["000"],"year":"2025","language":[{"iso":"eng"}],"article_processing_charge":"Yes (via OA deal)","month":"06","page":"2098-2106","file_date_updated":"2025-07-14T06:13:10Z","date_published":"2025-06-15T00:00:00Z","OA_type":"hybrid","publication_identifier":{"issn":["0737-8017"],"isbn":["9798400715105"]},"arxiv":1,"external_id":{"arxiv":["2410.06095"]},"oa":1,"oa_version":"Published Version","date_created":"2025-07-13T22:01:23Z","project":[{"name":"Randomness and structure in combinatorics","_id":"bd95085b-d553-11ed-ba76-e55d3349be45","grant_number":"101076777"},{"grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020"},{"name":"Combinatorial Optimisation Problems on Sparse Random Graphs","grant_number":"ESP3863424","_id":"8f906bd2-16d5-11f0-9cad-e07be8aa9ac9"}],"_id":"20007","publication":"Proceedings of the 57th Annual ACM Symposium on Theory of Computing","file":[{"file_id":"20012","content_type":"application/pdf","success":1,"date_updated":"2025-07-14T06:13:10Z","access_level":"open_access","relation":"main_file","file_size":706445,"date_created":"2025-07-14T06:13:10Z","checksum":"cf0ab9cb9c6abda188de13dc3f9a4c9b","creator":"dernst","file_name":"2025_STOC_Anastos.pdf"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_updated":"2025-07-14T06:33:50Z","author":[{"id":"0b2a4358-bb35-11ec-b7b9-e3279b593dbb","first_name":"Michael","last_name":"Anastos","full_name":"Anastos, Michael"},{"id":"5fca0887-a1db-11eb-95d1-ca9d5e0453b3","first_name":"Matthew Alan","last_name":"Kwan","full_name":"Kwan, Matthew Alan","orcid":"0000-0002-4003-7567"},{"id":"6dc1a1be-bf1c-11ed-8d2b-d044840f49d6","last_name":"Moore","first_name":"Benjamin","full_name":"Moore, Benjamin"}],"title":"Smoothed analysis for graph isomorphism","OA_place":"publisher","acknowledgement":"All authors were supported by ERC Starting Grant “RANDSTRUCT” No. 101076777. Michael Anastos was also supported in part by the Austrian Science Fund (FWF)[10.55776/ESP3863424] and by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 101034413. For Open Access purposes, the authors have applied a CC BY public copyright license to any author accepted manuscript version arising from this submission.","department":[{"_id":"MaKw"}],"day":"15","ec_funded":1},{"publication":"Trends in Ecology and Evolution","file":[{"file_id":"20905","content_type":"application/pdf","success":1,"date_updated":"2025-12-30T09:21:14Z","access_level":"open_access","relation":"main_file","file_size":699156,"checksum":"0a7c6e8600c878dac7082681e4409b50","date_created":"2025-12-30T09:21:14Z","creator":"dernst","file_name":"2025_TrendsEcoloEvolution_Vicoso.pdf"}],"oa_version":"Published Version","date_created":"2025-07-13T22:01:23Z","project":[{"name":"Sex chromosomes in evolution and development","grant_number":"PAT 8748323","_id":"8ed82125-16d5-11f0-9cad-fbcae312235b"}],"_id":"20009","external_id":{"isi":["001550437400006"]},"oa":1,"date_published":"2025-08-01T00:00:00Z","OA_type":"hybrid","publication_identifier":{"issn":["0169-5347"]},"article_type":"original","OA_place":"publisher","acknowledgement":"I thank the Vicoso group for in-depth discussions of the original article highlighted here. This work was supported by an Austrian Research Fund (FWF) grant to B.V. (PAT 8748323).","day":"01","department":[{"_id":"BeVi"}],"title":"Sex chromosome evolution in action in fourspine sticklebacks","author":[{"orcid":"0000-0002-4579-8306","full_name":"Vicoso, Beatriz","last_name":"Vicoso","first_name":"Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87"}],"status":"public","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_updated":"2025-12-30T09:22:29Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","intvolume":" 40","PlanS_conform":"1","publication_status":"published","corr_author":"1","publisher":"Elsevier","type":"journal_article","citation":{"ista":"Vicoso B. 2025. Sex chromosome evolution in action in fourspine sticklebacks. Trends in Ecology and Evolution. 40(8), 728–730.","ieee":"B. Vicoso, “Sex chromosome evolution in action in fourspine sticklebacks,” Trends in Ecology and Evolution, vol. 40, no. 8. Elsevier, pp. 728–730, 2025.","chicago":"Vicoso, Beatriz. “Sex Chromosome Evolution in Action in Fourspine Sticklebacks.” Trends in Ecology and Evolution. Elsevier, 2025. https://doi.org/10.1016/j.tree.2025.06.010.","ama":"Vicoso B. Sex chromosome evolution in action in fourspine sticklebacks. Trends in Ecology and Evolution. 2025;40(8):728-730. doi:10.1016/j.tree.2025.06.010","short":"B. Vicoso, Trends in Ecology and Evolution 40 (2025) 728–730.","mla":"Vicoso, Beatriz. “Sex Chromosome Evolution in Action in Fourspine Sticklebacks.” Trends in Ecology and Evolution, vol. 40, no. 8, Elsevier, 2025, pp. 728–30, doi:10.1016/j.tree.2025.06.010.","apa":"Vicoso, B. (2025). Sex chromosome evolution in action in fourspine sticklebacks. Trends in Ecology and Evolution. Elsevier. https://doi.org/10.1016/j.tree.2025.06.010"},"abstract":[{"lang":"eng","text":"The suppression of recombination between young X and Y chromosomes is a crucial step in their evolution, but why it occurs is not known. The detailed characterization of the polymorphic sex chromosomes of the fourspine stickleback by Liu et al. promises to shed new light on this longstanding question."}],"scopus_import":"1","doi":"10.1016/j.tree.2025.06.010","month":"08","issue":"8","page":"728-730","file_date_updated":"2025-12-30T09:21:14Z","article_processing_charge":"Yes (via OA deal)","isi":1,"language":[{"iso":"eng"}],"volume":40,"quality_controlled":"1","year":"2025","ddc":["570"]},{"month":"07","file_date_updated":"2025-12-30T09:09:53Z","page":"25043-25051","issue":"28","article_processing_charge":"Yes (via OA deal)","isi":1,"language":[{"iso":"eng"}],"volume":147,"quality_controlled":"1","ddc":["540"],"year":"2025","has_accepted_license":"1","PlanS_conform":"1","intvolume":" 147","publication_status":"published","type":"journal_article","corr_author":"1","publisher":"American Chemical Society","citation":{"apa":"Li, L., Shi, W., Mahajan, A., Zhang, J., Gómez-Gómez, M., Labella, J., … Venkataraman, L. (2025). Too fast for spin flipping: Absence of chirality-induced spin selectivity in coherent electron transport through single-molecule junctions. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/jacs.5c08517","mla":"Li, Liang, et al. “Too Fast for Spin Flipping: Absence of Chirality-Induced Spin Selectivity in Coherent Electron Transport through Single-Molecule Junctions.” Journal of the American Chemical Society, vol. 147, no. 28, American Chemical Society, 2025, pp. 25043–51, doi:10.1021/jacs.5c08517.","short":"L. Li, W. Shi, A. Mahajan, J. Zhang, M. Gómez-Gómez, J. Labella, S. Louie, T. Torres, S. Barlow, S.R. Marder, D.R. Reichman, L. Venkataraman, Journal of the American Chemical Society 147 (2025) 25043–25051.","ama":"Li L, Shi W, Mahajan A, et al. Too fast for spin flipping: Absence of chirality-induced spin selectivity in coherent electron transport through single-molecule junctions. Journal of the American Chemical Society. 2025;147(28):25043-25051. doi:10.1021/jacs.5c08517","ista":"Li L, Shi W, Mahajan A, Zhang J, Gómez-Gómez M, Labella J, Louie S, Torres T, Barlow S, Marder SR, Reichman DR, Venkataraman L. 2025. Too fast for spin flipping: Absence of chirality-induced spin selectivity in coherent electron transport through single-molecule junctions. Journal of the American Chemical Society. 147(28), 25043–25051.","ieee":"L. Li et al., “Too fast for spin flipping: Absence of chirality-induced spin selectivity in coherent electron transport through single-molecule junctions,” Journal of the American Chemical Society, vol. 147, no. 28. American Chemical Society, pp. 25043–25051, 2025.","chicago":"Li, Liang, Wanzhuo Shi, Ankit Mahajan, Junxiang Zhang, Marta Gómez-Gómez, Jorge Labella, Shayan Louie, et al. “Too Fast for Spin Flipping: Absence of Chirality-Induced Spin Selectivity in Coherent Electron Transport through Single-Molecule Junctions.” Journal of the American Chemical Society. American Chemical Society, 2025. https://doi.org/10.1021/jacs.5c08517."},"abstract":[{"text":"Chirality-induced spin selectivity (CISS), which refers to the ability of chiral molecules to preferentially select spins during electron transfer, has attracted great attention during the past two decades. However, the theoretical and experimental understanding of the CISS effect remains preliminary. In this study, we demonstrate that there is no distinguishable CISS effect in the case of coherent electron transport through single chiral molecular junctions for a set of four molecule studied here. Our conclusion is based on statistical evaluations of thousands of single-molecule junctions across four different molecules with different origins of chirality measured by the scanning tunneling microscope-based break-junction technique. The experimental results for all molecules show no dependence on external magnetic field or chirality in both conductance and current–voltage measurements. In addition, ab initio Hartree-Fork calculations combined with the nonequilibrium Green’s function method reveal that the spin–orbit coupling within chiral junctions bound to a few gold atoms is generally too weak to induce detectable spin polarizations from spin flipping or spin filtering during the ultrafast electron-transport time scale. The absence of an observable CISS effect in the coherent electron-transport regime suggests that the effect may only be found in other electron-transfer regimes and requires further experimental and theoretical efforts to achieve a comprehensive understanding.","lang":"eng"}],"scopus_import":"1","doi":"10.1021/jacs.5c08517","acknowledgement":"We thank the National Science Foundation (NSF-DMR 2241180) for supporting this research. This work was supported in part by the Institute of Science and Technology Austria. The synthesis of 1R and 1S was supported by the US Air Force Office of Scientific Research through grant no. FA9550-23-1-0648. The synthesis of 3 was supported by the Spanish MCIN/AEI/10.13039/501100011033 grant, the European Union Next Generation EU/PRTR (TED2021-131255B–C43), MCIU/AEI/10.13039/501100011033/FEDER, UE (PID) (PID2023-151167NB-I00), the Comunidad de Madrid and the Spanish State through the Recovery, Transformation and Resilience Plan [“Materiales Disruptivos Bidimensionales (2D)” (MAD2D-CM) (UAM1)-MRR Materiales Avanzados]. IMDEA Nanociencia acknowledges support from the “Severo Ochoa” Programme for Centres of Excellence in R&D (MINECO, CEX2020-001039 S). M.G.G. acknowledges MICIU, Spain, for a F.P.U. The work of DRR and AM was supported by the Spin-COntrolled Chemical Process Engineering (SCOPE) program of the Defense Advanced Research Project Agency grant HR0011-23-9-0109. Numerical calculations were performed on the Delta system at the National Center for Supercomputing Applications through allocation CHE230028 from the Advanced Cyberinfrastructure Coordination Ecosystem: Services and Support (ACCESS) program, which is supported by National Science Foundation grants #2138259, #2138286, #2138307, #2137603, and #2138296.","OA_place":"publisher","article_type":"original","department":[{"_id":"LaVe"}],"day":"01","author":[{"full_name":"Li, Liang","first_name":"Liang","last_name":"Li"},{"full_name":"Shi, Wanzhuo","last_name":"Shi","first_name":"Wanzhuo"},{"full_name":"Mahajan, Ankit","first_name":"Ankit","last_name":"Mahajan"},{"full_name":"Zhang, Junxiang","last_name":"Zhang","first_name":"Junxiang"},{"first_name":"Marta","last_name":"Gómez-Gómez","full_name":"Gómez-Gómez, Marta"},{"last_name":"Labella","first_name":"Jorge","full_name":"Labella, Jorge"},{"first_name":"Shayan","last_name":"Louie","full_name":"Louie, Shayan"},{"full_name":"Torres, Tomás","first_name":"Tomás","last_name":"Torres"},{"full_name":"Barlow, Stephen","last_name":"Barlow","first_name":"Stephen"},{"full_name":"Marder, Seth R.","first_name":"Seth R.","last_name":"Marder"},{"full_name":"Reichman, David R.","last_name":"Reichman","first_name":"David R."},{"first_name":"Latha","last_name":"Venkataraman","orcid":"0000-0002-6957-6089","full_name":"Venkataraman, Latha","id":"9ebb78a5-cc0d-11ee-8322-fae086a32caf"}],"title":"Too fast for spin flipping: Absence of chirality-induced spin selectivity in coherent electron transport through single-molecule junctions","status":"public","date_updated":"2025-12-30T09:11:26Z","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Journal of the American Chemical Society","file":[{"access_level":"open_access","content_type":"application/pdf","success":1,"date_updated":"2025-12-30T09:09:53Z","file_id":"20902","file_name":"2025_JACS_Li.pdf","creator":"dernst","file_size":5524744,"date_created":"2025-12-30T09:09:53Z","checksum":"f2bbe7d64de2d0d78aa2be933d12b096","relation":"main_file"}],"date_created":"2025-07-13T22:01:23Z","oa_version":"Published Version","_id":"20010","oa":1,"external_id":{"isi":["001522009200001"]},"date_published":"2025-07-01T00:00:00Z","OA_type":"hybrid","publication_identifier":{"eissn":["1520-5126"],"issn":["0002-7863"]}},{"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2025-09-30T14:01:55Z","status":"public","author":[{"full_name":"Richter, Cedric","last_name":"Richter","first_name":"Cedric"},{"full_name":"Chalupa, Marek","first_name":"Marek","last_name":"Chalupa","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463"},{"full_name":"Jakobs, Marie-Christine","last_name":"Jakobs","first_name":"Marie-Christine"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"title":"Cooperative software verification via dynamic program splitting","ec_funded":1,"day":"01","department":[{"_id":"ToHe"}],"acknowledgement":"This work is partially supported by the German Research Foundation (DFG) – WE2290/13-2 (Coop2), and in part by the ERC-2020-AdG 101020093.","publication_identifier":{"isbn":["9798331505691"],"eissn":["1558-1225"]},"OA_type":"closed access","date_published":"2025-05-01T00:00:00Z","external_id":{"isi":["001538318100163"]},"_id":"20024","project":[{"name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"date_created":"2025-07-16T11:32:29Z","oa_version":"None","publication":"47th International Conference on Software Engineering","year":"2025","conference":{"start_date":"2025-04-26","end_date":"2025-05-06","name":"ICSE: International Conference on Software Engineering","location":"Ottawa, ON, Canada"},"quality_controlled":"1","language":[{"iso":"eng"}],"isi":1,"article_processing_charge":"No","page":"2087-2099","month":"05","doi":"10.1109/ICSE55347.2025.00092","scopus_import":"1","abstract":[{"lang":"eng","text":"Cooperative software verification divides the task of software verification among several verification tools in order to increase efficiency and effectiveness. The basic approach is to let verifiers work on different parts of a program and at the end join verification results. While this idea is intuitively appealing, cooperative verification is usually hindered by the fact that program decomposition (1) is often static, disregarding strengths and weaknesses of employed verifiers, and (2) often represents the decomposed program parts in a specific proprietary format, thereby making the use of off-the-shelf verifiers in cooperative verification difficult. In this paper, we propose a novel cooperative verification scheme that we call dynamic program splitting (DPS). Splitting decomposes programs into (smaller) programs, and thus directly enables the use of off-the-shelf tools. In DPS, splitting is dynamically applied on demand: Verification starts by giving a verification task (a program plus a correctness specification) to a verifier V1. Whenever V1 finds the current task to be hard to verify, it splits the task (i.e., the program) and restarts verification on subtasks. DPS continues until (1) a violation is found, (2) all subtasks are completed or (3) some user-defined stopping criterion is met. In the latter case, the remaining uncompleted subtasks are merged into a single one and are given to a next verifier V2, repeating the same procedure on the still unverified program parts. This way, the decomposition is steered by what is hard to verify for particular verifiers, leveraging their complementary strengths. We have implemented dynamic program splitting and evaluated it on benchmarks of the annual software verification competition SV-COMP. The evaluation shows that cooperative verification with DPS is able to solve verification tasks that none of the constituent verifiers can solve, without any significant overhead."}],"citation":{"ama":"Richter C, Chalupa M, Jakobs M-C, Wehrheim H. Cooperative software verification via dynamic program splitting. In: 47th International Conference on Software Engineering. IEEE; 2025:2087-2099. doi:10.1109/ICSE55347.2025.00092","short":"C. Richter, M. Chalupa, M.-C. Jakobs, H. Wehrheim, in:, 47th International Conference on Software Engineering, IEEE, 2025, pp. 2087–2099.","ieee":"C. Richter, M. Chalupa, M.-C. Jakobs, and H. Wehrheim, “Cooperative software verification via dynamic program splitting,” in 47th International Conference on Software Engineering, Ottawa, ON, Canada, 2025, pp. 2087–2099.","chicago":"Richter, Cedric, Marek Chalupa, Marie-Christine Jakobs, and Heike Wehrheim. “Cooperative Software Verification via Dynamic Program Splitting.” In 47th International Conference on Software Engineering, 2087–99. IEEE, 2025. https://doi.org/10.1109/ICSE55347.2025.00092.","ista":"Richter C, Chalupa M, Jakobs M-C, Wehrheim H. 2025. Cooperative software verification via dynamic program splitting. 47th International Conference on Software Engineering. ICSE: International Conference on Software Engineering, 2087–2099.","apa":"Richter, C., Chalupa, M., Jakobs, M.-C., & Wehrheim, H. (2025). Cooperative software verification via dynamic program splitting. In 47th International Conference on Software Engineering (pp. 2087–2099). Ottawa, ON, Canada: IEEE. https://doi.org/10.1109/ICSE55347.2025.00092","mla":"Richter, Cedric, et al. “Cooperative Software Verification via Dynamic Program Splitting.” 47th International Conference on Software Engineering, IEEE, 2025, pp. 2087–99, doi:10.1109/ICSE55347.2025.00092."},"publisher":"IEEE","type":"conference","corr_author":"1","publication_status":"published"}]