--- OA_place: publisher OA_type: hybrid _id: '19744' abstract: - lang: eng text: We consider the problem of refuting equivalence of probabilistic programs, i.e., the problem of proving that two probabilistic programs induce different output distributions. We study this problem in the context of programs with conditioning (i.e., with observe and score statements), where the output distribution is conditioned by the event that all the observe statements along a run evaluate to true, and where the probability densities of different runs may be updated via the score statements. Building on a recent work on programs without conditioning, we present a new equivalence refutation method for programs with conditioning. Our method is based on weighted restarting, a novel transformation of probabilistic programs with conditioning to the output equivalent probabilistic programs without conditioning that we introduce in this work. Our method is the first to be both a) fully automated, and b) providing provably correct answers. We demonstrate the applicability of our method on a set of programs from the probabilistic inference literature. acknowledgement: This work was partially supported by ERC CoG 863818 (ForM-SMArt) and Austrian Science Fund (FWF) 10.55776/COE12. Petr Novotný is supported by the Czech Science Foundation grant no. GA23-06963S. alternative_title: - LNCS article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Ehsan full_name: Kafshdar Goharshadi, Ehsan id: 103b4fa0-896a-11ed-bdf8-87b697bef40d last_name: Kafshdar Goharshadi orcid: 0000-0002-8595-0587 - first_name: Petr full_name: Novotný, Petr id: 3CC3B868-F248-11E8-B48F-1D18A9856A87 last_name: Novotný - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 citation: ama: 'Chatterjee K, Goharshady E, Novotný P, Zikelic D. Refuting equivalence in probabilistic programs with conditioning. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:279-300. doi:10.1007/978-3-031-90653-4_14' apa: 'Chatterjee, K., Goharshady, E., Novotný, P., & Zikelic, D. (2025). Refuting equivalence in probabilistic programs with conditioning. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15697, pp. 279–300). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90653-4_14' chicago: Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, and Dorde Zikelic. “Refuting Equivalence in Probabilistic Programs with Conditioning.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:279–300. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_14. ieee: K. Chatterjee, E. Goharshady, P. Novotný, and D. Zikelic, “Refuting equivalence in probabilistic programs with conditioning,” in 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, ON, Canada, 2025, vol. 15697, pp. 279–300. ista: 'Chatterjee K, Goharshady E, Novotný P, Zikelic D. 2025. Refuting equivalence in probabilistic programs with conditioning. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15697, 279–300.' mla: Chatterjee, Krishnendu, et al. “Refuting Equivalence in Probabilistic Programs with Conditioning.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15697, Springer Nature, 2025, pp. 279–300, doi:10.1007/978-3-031-90653-4_14. short: K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300. conference: end_date: 2025-05-08 location: Hamilton, ON, Canada name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2025-05-03 corr_author: '1' date_created: 2025-05-25T22:17:10Z date_published: 2025-05-01T00:00:00Z date_updated: 2025-06-02T11:16:13Z day: '01' ddc: - '000' department: - _id: KrCh doi: 10.1007/978-3-031-90653-4_14 ec_funded: 1 external_id: arxiv: - '2501.06579' file: - access_level: open_access checksum: 7dcd85e7e753bfa994c10b3cf9ebc185 content_type: application/pdf creator: dernst date_created: 2025-06-02T11:13:49Z date_updated: 2025-06-02T11:13:49Z file_id: '19773' file_name: 2025_TACAS_Chatterjee_Goharshadi.pdf file_size: 532181 relation: main_file success: 1 file_date_updated: 2025-06-02T11:13:49Z has_accepted_license: '1' intvolume: ' 15697' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '05' oa: 1 oa_version: Published Version page: 279-300 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' publication: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems publication_identifier: eissn: - 1611-3349 isbn: - '9783031906527' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Refuting equivalence in probabilistic programs with conditioning tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 15697 year: '2025' ... --- OA_place: repository OA_type: green _id: '19771' abstract: - lang: eng text: "This artifact allows to review and reproduce the Isabelle proofs and practical experiments from the paper *Fixed Point Certificates for Reachability and Expected Rewards in MDPs*.\r\nThe contents are two-fold:\r\nFirst, the artifact contains a formally verified certificate checker for the certificates presented in the paper.\r\nThe formal Isabelle/HOL proofs of the background theory can be inspected, checked by Isabelle and the code extraction can be retraced.\r\n\r\nSecond, the artifact contains a modified version of the model checking tool `Storm` with support for certificate generation. Together with the provided scripts and benchmark files, this allows to reproduce the experiments from the paper.\r\nAn appropriate subset of the experiments is given to allow a review in a timely manner. In addition, original logfiles from our experiments are provided, allowing a detailed inspection.\r\n\r\nThe package includes convenient installation scripts for [the TACAS 2023 VM](https://doi.org/10.5281/zenodo.7113223) (based on Ubuntu 22.04).\r\nA native installation on Linux or macOS systems (including the newer ARM-based machines) is also possible." article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Tim full_name: Quatmann, Tim last_name: Quatmann - first_name: Maximilian full_name: Schäffeler, Maximilian last_name: Schäffeler - first_name: Maximilian full_name: Weininger, Maximilian id: 02ab0197-cc70-11ed-ab61-918e71f56881 last_name: Weininger - first_name: Tobias full_name: Winkler, Tobias last_name: Winkler - first_name: Daniel full_name: Zilken, Daniel id: d8ebc24a-3f98-11f0-9044-8296d4f39ab3 last_name: Zilken citation: ama: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Artifact: Fixed point certificates for reachability and expected rewards in MDPs. 2025. doi:10.5281/ZENODO.14626585' apa: 'Chatterjee, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T., & Zilken, D. (2025). Artifact: Fixed point certificates for reachability and expected rewards in MDPs. Zenodo. https://doi.org/10.5281/ZENODO.14626585' chicago: 'Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, and Daniel Zilken. “Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14626585.' ieee: 'K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, and D. Zilken, “Artifact: Fixed point certificates for reachability and expected rewards in MDPs.” Zenodo, 2025.' ista: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. 2025. Artifact: Fixed point certificates for reachability and expected rewards in MDPs, Zenodo, 10.5281/ZENODO.14626585.' mla: 'Chatterjee, Krishnendu, et al. Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs. Zenodo, 2025, doi:10.5281/ZENODO.14626585.' short: K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025). date_created: 2025-06-02T10:13:24Z date_published: 2025-01-09T00:00:00Z date_updated: 2025-06-02T10:55:35Z day: '09' ddc: - '000' department: - _id: KrCh doi: 10.5281/ZENODO.14626585 main_file_link: - open_access: '1' url: https://doi.org/10.5281/ZENODO.14626585 month: '01' oa: 1 oa_version: Published Version publisher: Zenodo related_material: record: - id: '19743' relation: used_in_publication status: public status: public title: 'Artifact: Fixed point certificates for reachability and expected rewards in MDPs' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: research_data_reference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '19776' abstract: - lang: eng text: We use the circle method to prove that a density 1 of elements in Fq[t] are representable as a sum of three cubes of essentially minimal degree from Fq[t], assuming the Ratios Conjecture and that char(Fq)>3. Roughly speaking, to do so, we upgrade an order of magnitude result to a full asymptotic formula that was conjectured by Hooley in the number field setting. acknowledgement: We thank Alexandra Florea for discussions on cubic Gauss sums over function fields, in addition to the anonymous referee for helpful comments. While working on this paper the first two authors were supported by a FWF grant (DOI 10.55776/P36278) and the third author was supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413. Open access funding provided by Institute of Science and Technology (IST Austria). article_number: '65' article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 - first_name: Jakob full_name: Glas, Jakob id: d6423cba-dc74-11ea-a0a7-ee61689ff5fb last_name: Glas - first_name: Victor full_name: Wang, Victor id: 76096395-aea4-11ed-a680-ab8ebbd3f1b9 last_name: Wang orcid: 0000-0002-0704-7026 citation: ama: Browning TD, Glas J, Wang V. Optimal sums of three cubes in Fq[t]. Mathematische Zeitschrift. 2025;310(4). doi:10.1007/s00209-025-03765-z apa: Browning, T. D., Glas, J., & Wang, V. (2025). Optimal sums of three cubes in Fq[t]. Mathematische Zeitschrift. Springer Nature. https://doi.org/10.1007/s00209-025-03765-z chicago: Browning, Timothy D, Jakob Glas, and Victor Wang. “Optimal Sums of Three Cubes in Fq[T].” Mathematische Zeitschrift. Springer Nature, 2025. https://doi.org/10.1007/s00209-025-03765-z. ieee: T. D. Browning, J. Glas, and V. Wang, “Optimal sums of three cubes in Fq[t],” Mathematische Zeitschrift, vol. 310, no. 4. Springer Nature, 2025. ista: Browning TD, Glas J, Wang V. 2025. Optimal sums of three cubes in Fq[t]. Mathematische Zeitschrift. 310(4), 65. mla: Browning, Timothy D., et al. “Optimal Sums of Three Cubes in Fq[T].” Mathematische Zeitschrift, vol. 310, no. 4, 65, Springer Nature, 2025, doi:10.1007/s00209-025-03765-z. short: T.D. Browning, J. Glas, V. Wang, Mathematische Zeitschrift 310 (2025). corr_author: '1' date_created: 2025-06-03T07:30:21Z date_published: 2025-05-23T00:00:00Z date_updated: 2025-09-30T12:43:41Z day: '23' ddc: - '510' department: - _id: TiBr doi: 10.1007/s00209-025-03765-z ec_funded: 1 external_id: arxiv: - '2408.03668 ' isi: - '001494367000001' file: - access_level: open_access checksum: 6f71e25740c28257bf89b8bf116c2b4d content_type: application/pdf creator: dernst date_created: 2025-06-03T08:28:14Z date_updated: 2025-06-03T08:28:14Z file_id: '19782' file_name: 2025_MathZeitschrift_Browning.pdf file_size: 461622 relation: main_file success: 1 file_date_updated: 2025-06-03T08:28:14Z has_accepted_license: '1' intvolume: ' 310' isi: 1 issue: '4' language: - iso: eng month: '05' oa: 1 oa_version: Published Version project: - _id: bd8a4fdc-d553-11ed-ba76-80a0167441a3 grant_number: P36278 name: Rational curves via function field analytic number theory - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' publication: Mathematische Zeitschrift publication_identifier: eissn: - 1432-1823 issn: - 0025-5874 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Optimal sums of three cubes in Fq[t] tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 310 year: '2025' ... --- OA_place: repository OA_type: green _id: '10011' abstract: - lang: eng text: We propose a new weak solution concept for (two-phase) mean curvature flow which enjoys both (unconditional) existence and (weak-strong) uniqueness properties. These solutions are evolving varifolds, just as in Brakke's formulation, but are coupled to the phase volumes by a simple transport equation. First, we show that, in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-461, (1993)], any limit point of solutions to the Allen-Cahn equation is a varifold solution in our sense. Second, we prove that any calibrated flow in the sense of Fischer et al. [arXiv:2003.05478] - and hence any classical solution to mean curvature flow-is unique in the class of our new varifold solutions. This is in sharp contrast to the case of Brakke flows, which a priori may disappear at any given time and are therefore fatally non-unique. Finally, we propose an extension of the solution concept to the multi-phase case which is at least guaranteed to satisfy a weak-strong uniqueness principle. acknowledgement: This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 948819), and from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813. The content of this paper was developed and parts of it were written during a visit of the first author to the Hausdorff Center of Mathematics (HCM), University of Bonn. The hospitality and the support of HCM are gratefully acknowledged. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Sebastian full_name: Hensel, Sebastian id: 4D23B7DA-F248-11E8-B48F-1D18A9856A87 last_name: Hensel orcid: 0000-0001-7252-8072 - first_name: Tim full_name: Laux, Tim last_name: Laux citation: ama: 'Hensel S, Laux T. A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. Journal of Differential Geometry. 2025;130:209-268. doi:10.4310/jdg/1747065796' apa: 'Hensel, S., & Laux, T. (2025). A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. Journal of Differential Geometry. International Press. https://doi.org/10.4310/jdg/1747065796' chicago: 'Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.” Journal of Differential Geometry. International Press, 2025. https://doi.org/10.4310/jdg/1747065796.' ieee: 'S. Hensel and T. Laux, “A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness,” Journal of Differential Geometry, vol. 130. International Press, pp. 209–268, 2025.' ista: 'Hensel S, Laux T. 2025. A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. Journal of Differential Geometry. 130, 209–268.' mla: 'Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.” Journal of Differential Geometry, vol. 130, International Press, 2025, pp. 209–68, doi:10.4310/jdg/1747065796.' short: S. Hensel, T. Laux, Journal of Differential Geometry 130 (2025) 209–268. corr_author: '1' date_created: 2021-09-13T12:17:10Z date_published: 2025-05-01T00:00:00Z date_updated: 2025-05-28T09:27:05Z day: '01' department: - _id: JuFi doi: 10.4310/jdg/1747065796 ec_funded: 1 external_id: arxiv: - '2109.04233' intvolume: ' 130' keyword: - Mean curvature flow - gradient flows - varifolds - weak solutions - weak-strong uniqueness - calibrated geometry - gradient-flow calibrations language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2109.04233 month: '05' oa: 1 oa_version: Preprint page: 209-268 project: - _id: 0aa76401-070f-11eb-9043-b5bb049fa26d call_identifier: H2020 grant_number: '948819' name: Bridging Scales in Random Materials publication: Journal of Differential Geometry publication_identifier: eissn: - 1945-743X issn: - 0022-040X publication_status: published publisher: International Press quality_controlled: '1' scopus_import: '1' status: public title: 'A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 130 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '10045' abstract: - lang: eng text: "Given a fixed finite metric space (V,μ), the {\\em minimum 0-extension problem}, denoted as 0-Ext[μ], is equivalent to the following optimization problem: minimize function of the form minx∈Vn∑ifi(xi)+∑ijcijμ(xi,xj) where cij,cvi are given nonnegative costs and fi:V→R are functions given by fi(xi)=∑v∈Vcviμ(xi,v). The computational complexity of 0-Ext[μ] has been recently established by Karzanov and by Hirai: if metric μ is {\\em orientable modular} then 0-Ext[μ] can be solved in polynomial time, otherwise 0-Ext[μ] is NP-hard. To prove the tractability part, Hirai developed a theory of discrete convex functions on orientable modular graphs generalizing several known classes of functions in discrete convex analysis, such as L♮-convex functions. We consider a more general version of the problem in which unary functions fi(xi) can additionally have terms of the form cuv;iμ(xi,{u,v}) for {u,v}∈F, where set F⊆(V2) is fixed. We extend the complexity classification above by providing an explicit condition on (μ,F) for the problem to be tractable. In order to prove the tractability part, we generalize Hirai's theory and define a larger class of discrete convex functions. It covers, in particular, another well-known class of functions, namely submodular functions on an integer lattice. Finally, we improve the complexity of Hirai's algorithm for solving 0-Ext on orientable modular graphs.\r\n" acknowledgement: We thank the anonymous reviewers for their careful reading of our manuscript and their many insightful comments and suggestions. Open access funding provided by Institute of Science and Technology (IST Austria). article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Martin full_name: Dvorak, Martin id: 40ED02A8-C8B4-11E9-A9C0-453BE6697425 last_name: Dvorak orcid: 0000-0001-5293-214X - first_name: Vladimir full_name: Kolmogorov, Vladimir id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87 last_name: Kolmogorov citation: ama: Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 2025;209:279-322. doi:10.1007/s10107-024-02064-5 apa: Dvorak, M., & Kolmogorov, V. (2025). Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. Springer Nature. https://doi.org/10.1007/s10107-024-02064-5 chicago: Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” Mathematical Programming. Springer Nature, 2025. https://doi.org/10.1007/s10107-024-02064-5. ieee: M. Dvorak and V. Kolmogorov, “Generalized minimum 0-extension problem and discrete convexity,” Mathematical Programming, vol. 209. Springer Nature, pp. 279–322, 2025. ista: Dvorak M, Kolmogorov V. 2025. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 209, 279–322. mla: Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” Mathematical Programming, vol. 209, Springer Nature, 2025, pp. 279–322, doi:10.1007/s10107-024-02064-5. short: M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322. corr_author: '1' date_created: 2021-09-27T10:48:23Z date_published: 2025-01-01T00:00:00Z date_updated: 2025-05-19T13:52:10Z day: '01' ddc: - '004' department: - _id: GradSch - _id: VlKo doi: 10.1007/s10107-024-02064-5 external_id: arxiv: - '2109.10203' isi: - '001176563300001' file: - access_level: open_access checksum: 25d9bd490719b45eca84f4d93a06c69f content_type: application/pdf creator: dernst date_created: 2025-04-16T09:36:08Z date_updated: 2025-04-16T09:36:08Z file_id: '19578' file_name: 2025_MathProgramming_Dvorak.pdf file_size: 839510 relation: main_file success: 1 file_date_updated: 2025-04-16T09:36:08Z has_accepted_license: '1' intvolume: ' 209' isi: 1 keyword: - minimum 0-extension problem - metric labeling problem - discrete metric spaces - metric extensions - computational complexity - valued constraint satisfaction problems - discrete convex analysis - L-convex functions language: - iso: eng month: '01' oa: 1 oa_version: Published Version page: 279-322 publication: Mathematical Programming publication_identifier: eissn: - 1436-4646 issn: - 0025-5610 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Generalized minimum 0-extension problem and discrete convexity tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 209 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '20820' abstract: - lang: eng text: 'The high computational costs of large language models (LLMs) have led to a flurry of research on LLM compression, via methods such as quantization, sparsification, or structured pruning. A new frontier in this area is given by dynamic, non-uniform compression methods, which adjust the compression levels (e.g., sparsity) per-block or even per-layer in order to minimize accuracy loss, while guaranteeing a global compression threshold. Yet, current methods rely on estimating the "importance" of a given layer, implicitly assuming that layers contribute independently to the overall compression error. We begin from the motivating observation that this independence assumption does not generally hold for LLM compression: pruning a model further may even significantly recover performance. To address this, we propose EvoPress, a novel evolutionary framework for dynamic LLM compression. By formulating dynamic compression as a general optimization problem, EvoPress identifies optimal compression profiles in a highly efficient manner, and generalizes across diverse models and compression techniques. Via EvoPress, we achieve state-of-the-art performance for dynamic compression of Llama, Mistral, and Phi models, setting new benchmarks for structural pruning (block/layer dropping), unstructured sparsity, and quantization with dynamic bitwidths.' alternative_title: - PMLR article_processing_charge: No arxiv: 1 author: - first_name: Oliver full_name: Sieberling, Oliver last_name: Sieberling - first_name: Denis full_name: Kuznedelev, Denis last_name: Kuznedelev - first_name: Eldar full_name: Kurtic, Eldar id: 47beb3a5-07b5-11eb-9b87-b108ec578218 last_name: Kurtic - first_name: Dan-Adrian full_name: Alistarh, Dan-Adrian id: 4A899BFC-F248-11E8-B48F-1D18A9856A87 last_name: Alistarh orcid: 0000-0003-3650-940X citation: ama: 'Sieberling O, Kuznedelev D, Kurtic E, Alistarh D-A. EvoPress: Accurate dynamic model compression via evolutionary search. In: 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:55556-55590.' apa: 'Sieberling, O., Kuznedelev, D., Kurtic, E., & Alistarh, D.-A. (2025). EvoPress: Accurate dynamic model compression via evolutionary search. In 42nd International Conference on Machine Learning (Vol. 267, pp. 55556–55590). Vancouver, Canada: ML Research Press.' chicago: 'Sieberling, Oliver, Denis Kuznedelev, Eldar Kurtic, and Dan-Adrian Alistarh. “EvoPress: Accurate Dynamic Model Compression via Evolutionary Search.” In 42nd International Conference on Machine Learning, 267:55556–90. ML Research Press, 2025.' ieee: 'O. Sieberling, D. Kuznedelev, E. Kurtic, and D.-A. Alistarh, “EvoPress: Accurate dynamic model compression via evolutionary search,” in 42nd International Conference on Machine Learning, Vancouver, Canada, 2025, vol. 267, pp. 55556–55590.' ista: 'Sieberling O, Kuznedelev D, Kurtic E, Alistarh D-A. 2025. EvoPress: Accurate dynamic model compression via evolutionary search. 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 55556–55590.' mla: 'Sieberling, Oliver, et al. “EvoPress: Accurate Dynamic Model Compression via Evolutionary Search.” 42nd International Conference on Machine Learning, vol. 267, ML Research Press, 2025, pp. 55556–90.' short: O. Sieberling, D. Kuznedelev, E. Kurtic, D.-A. Alistarh, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 55556–55590. conference: end_date: 2025-07-19 location: Vancouver, Canada name: 'ICML: International Conference on Machine Learning' start_date: 2025-07-13 corr_author: '1' date_created: 2025-12-14T23:02:05Z date_published: 2025-05-01T00:00:00Z date_updated: 2025-12-16T12:34:32Z day: '01' ddc: - '000' department: - _id: DaAl external_id: arxiv: - '2410.14649' file: - access_level: open_access checksum: 1d744fbaeb199b08e8b6f48bc0dd047e content_type: application/pdf creator: dernst date_created: 2025-12-16T12:32:40Z date_updated: 2025-12-16T12:32:40Z file_id: '20828' file_name: 2025_ICML_Sieberling.pdf file_size: 908379 relation: main_file success: 1 file_date_updated: 2025-12-16T12:32:40Z has_accepted_license: '1' intvolume: ' 267' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: 55556-55590 publication: 42nd International Conference on Machine Learning publication_identifier: eissn: - 2640-3498 publication_status: published publisher: ML Research Press quality_controlled: '1' scopus_import: '1' status: public title: 'EvoPress: Accurate dynamic model compression via evolutionary search' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 267 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '20821' abstract: - lang: eng text: Modern deep neural networks exhibit heterogeneity across numerous layers of various types such as residuals, multi-head attention, etc., due to varying structures (dimensions, activation functions, etc.), distinct representation characteristics, which impact predictions. We develop a general layer-wise quantization framework with tight variance and code-length bounds, adapting to the heterogeneities over the course of training. We then apply a new layer-wise quantization technique within distributed variational inequalities (VIs), proposing a novel Quantized Optimistic Dual Averaging (QODA) algorithm with adaptive learning rates, which achieves competitive convergence rates for monotone VIs. We empirically show that QODA achieves up to a 150% speedup over the baselines in end-to-end training time for training Wasserstein GAN on 12+GPUs. acknowledgement: "This work was supported by Hasler Foundation Program: Hasler Responsible AI (project number 21043). The research was also sponsored by the Army Research Office and was accomplished under Grant Number W911NF-24-1-0048. This work was further funded by the Swiss National Science Foundation (SNSF) under grant number 200021_205011. We also acknowledge project A11 of the Swiss National Supercomputing Centre (CSCS) for providing computing resources. Dan Alistarh and Ilia Markov were supported in part through the ERC Proofof-Concept grant FastML (Grant Agreement 101158077). Ali Ramezani-Kebrya was supported by the Research Council of Norway through FRIPRO Grant under project number 356103, its Centres of Excellence scheme, Integreat - Norwegian Centre for knowledge-driven machine learning under\r\nproject number 332645 - and its Centre for Research-based Innovation funding scheme (Visual Intelligence under grant no. 309439)." alternative_title: - PMLR article_processing_charge: No arxiv: 1 author: - first_name: Anh Duc full_name: Nguyen, Anh Duc last_name: Nguyen - first_name: Ilia full_name: Markov, Ilia id: D0CF4148-C985-11E9-8066-0BDEE5697425 last_name: Markov - first_name: Frank Zhengqing full_name: Wu, Frank Zhengqing last_name: Wu - first_name: Ali full_name: Ramezani-Kebrya, Ali last_name: Ramezani-Kebrya - first_name: Kimon full_name: Antonakopoulos, Kimon last_name: Antonakopoulos - first_name: Dan-Adrian full_name: Alistarh, Dan-Adrian id: 4A899BFC-F248-11E8-B48F-1D18A9856A87 last_name: Alistarh orcid: 0000-0003-3650-940X - first_name: Volkan full_name: Cevher, Volkan last_name: Cevher citation: ama: 'Nguyen AD, Markov I, Wu FZ, et al. Layer-wise quantization for quantized optimistic dual averaging. In: 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:46026-46072.' apa: 'Nguyen, A. D., Markov, I., Wu, F. Z., Ramezani-Kebrya, A., Antonakopoulos, K., Alistarh, D.-A., & Cevher, V. (2025). Layer-wise quantization for quantized optimistic dual averaging. In 42nd International Conference on Machine Learning (Vol. 267, pp. 46026–46072). Vancouver, Canada: ML Research Press.' chicago: Nguyen, Anh Duc, Ilia Markov, Frank Zhengqing Wu, Ali Ramezani-Kebrya, Kimon Antonakopoulos, Dan-Adrian Alistarh, and Volkan Cevher. “Layer-Wise Quantization for Quantized Optimistic Dual Averaging.” In 42nd International Conference on Machine Learning, 267:46026–72. ML Research Press, 2025. ieee: A. D. Nguyen et al., “Layer-wise quantization for quantized optimistic dual averaging,” in 42nd International Conference on Machine Learning, Vancouver, Canada, 2025, vol. 267, pp. 46026–46072. ista: 'Nguyen AD, Markov I, Wu FZ, Ramezani-Kebrya A, Antonakopoulos K, Alistarh D-A, Cevher V. 2025. Layer-wise quantization for quantized optimistic dual averaging. 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 46026–46072.' mla: Nguyen, Anh Duc, et al. “Layer-Wise Quantization for Quantized Optimistic Dual Averaging.” 42nd International Conference on Machine Learning, vol. 267, ML Research Press, 2025, pp. 46026–72. short: A.D. Nguyen, I. Markov, F.Z. Wu, A. Ramezani-Kebrya, K. Antonakopoulos, D.-A. Alistarh, V. Cevher, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 46026–46072. conference: end_date: 2025-07-19 location: Vancouver, Canada name: 'ICML: International Conference on Machine Learning' start_date: 2025-07-13 date_created: 2025-12-14T23:02:06Z date_published: 2025-05-01T00:00:00Z date_updated: 2025-12-16T12:46:54Z day: '01' ddc: - '000' department: - _id: DaAl external_id: arxiv: - '2505.14371' file: - access_level: open_access checksum: a7edf0e4304171a3e035842b3aab1704 content_type: application/pdf creator: dernst date_created: 2025-12-16T12:45:41Z date_updated: 2025-12-16T12:45:41Z file_id: '20830' file_name: 2025_ICML_Nguyen.pdf file_size: 756213 relation: main_file success: 1 file_date_updated: 2025-12-16T12:45:41Z has_accepted_license: '1' intvolume: ' 267' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: 46026-46072 project: - _id: 8e35c14b-16d5-11f0-9cad-a3fc35339161 grant_number: '101158077' name: 'FastML: Efficient and Cost-Effective Distributed Machine Learning' publication: 42nd International Conference on Machine Learning publication_identifier: eissn: - 2640-3498 publication_status: published publisher: ML Research Press quality_controlled: '1' scopus_import: '1' status: public title: Layer-wise quantization for quantized optimistic dual averaging tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 267 year: '2025' ... --- OA_place: repository OA_type: green _id: '20844' abstract: - lang: eng text: "We introduce and construct a new proof system called Non-interactive Arguments of Knowledge or Space (NArKoS), where a space-bounded prover can convince a verifier they know a secret, while having access to sufficient space allows one to forge indistinguishable proofs without the secret.\r\nAn application of NArKoS are space-deniable proofs, which are proofs of knowledge (say for authentication in access control) that are sound when executed by a lightweight device like a smart-card or an RFID chip that cannot have much storage, but are deniable (in the strong sense of online deniability) as the verifier, like a card reader, can efficiently forge such proofs.\r\nWe construct NArKoS in the random oracle model using an OR-proof combining a sigma protocol (for the proof of knowledge of the secret) with a new proof system called simulatable Proof of Transient Space (simPoTS). We give two different constructions of simPoTS, one based on labelling graphs with high pebbling complexity, a technique used in the construction of memory-hard functions and proofs of space, and a more practical construction based on the verifiable space-hard functions from TCC’24 where a prover must compute a root of a sparse polynomial. In both cases, the main challenge is making the proofs efficiently simulatable." acknowledgement: "Jesko Dujmovic: Funded by the European Union (ERC, LACONIC, 101041207). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them.\r\nChristoph U. Günther and Krzysztof Pietrzak: This research was funded in whole or in part by the Austrian Science Fund (FWF) 10.55776/F85. For open access purposes, the author has applied a CC BY public copyright license to any author-accepted manuscript version arising from this submission." alternative_title: - LNCS article_processing_charge: No author: - first_name: Jesko full_name: Dujmovic, Jesko last_name: Dujmovic - first_name: Christoph Ullrich full_name: Günther, Christoph Ullrich id: ec98511c-eb8e-11eb-b029-edd25d7271a1 last_name: Günther - first_name: Krzysztof Z full_name: Pietrzak, Krzysztof Z id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87 last_name: Pietrzak orcid: 0000-0002-9139-1654 citation: ama: 'Dujmovic J, Günther CU, Pietrzak KZ. Space-deniable proofs. In: 23rd International Conference on Theory of Cryptography. Vol 16271. Springer Nature; 2025:171-202. doi:10.1007/978-3-032-12290-2_6' apa: 'Dujmovic, J., Günther, C. U., & Pietrzak, K. Z. (2025). Space-deniable proofs. In 23rd International Conference on Theory of Cryptography (Vol. 16271, pp. 171–202). Aarhus, Denmark: Springer Nature. https://doi.org/10.1007/978-3-032-12290-2_6' chicago: Dujmovic, Jesko, Christoph Ullrich Günther, and Krzysztof Z Pietrzak. “Space-Deniable Proofs.” In 23rd International Conference on Theory of Cryptography, 16271:171–202. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-12290-2_6. ieee: J. Dujmovic, C. U. Günther, and K. Z. Pietrzak, “Space-deniable proofs,” in 23rd International Conference on Theory of Cryptography, Aarhus, Denmark, 2025, vol. 16271, pp. 171–202. ista: 'Dujmovic J, Günther CU, Pietrzak KZ. 2025. Space-deniable proofs. 23rd International Conference on Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 16271, 171–202.' mla: Dujmovic, Jesko, et al. “Space-Deniable Proofs.” 23rd International Conference on Theory of Cryptography, vol. 16271, Springer Nature, 2025, pp. 171–202, doi:10.1007/978-3-032-12290-2_6. short: J. Dujmovic, C.U. Günther, K.Z. Pietrzak, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 171–202. conference: end_date: 2025-12-05 location: Aarhus, Denmark name: 'TCC: Theory of Cryptography' start_date: 2025-12-01 corr_author: '1' date_created: 2025-12-21T23:01:33Z date_published: 2025-12-05T00:00:00Z date_updated: 2025-12-29T11:44:16Z day: '05' department: - _id: KrPi doi: 10.1007/978-3-032-12290-2_6 intvolume: ' 16271' language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2025/1723 month: '12' oa: 1 oa_version: Preprint page: 171-202 project: - _id: 34a34d57-11ca-11ed-8bc3-a2688a8724e1 grant_number: F8509 name: Security and Privacy by Design for Complex Systems publication: 23rd International Conference on Theory of Cryptography publication_identifier: eissn: - 1611-3349 isbn: - '9783032122896' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Space-deniable proofs type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 16271 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20847' abstract: - lang: eng text: "We report on an experimental active matter system with motion restricted to four cardinal directions. Our particles are magnetite-doped colloidal spheres driven by the Quincke electrorotational instability. The absence of a magnetic field (|\U0001D469|=0) leads to circular trajectories interspersed with short spontaneous runs. Intermediate fields (|\U0001D469|≲20mT) linearize the motion along the axis perpendicular to \U0001D469. At high magnetic fields, we observe the surprising emergence of a second, distinct linearization along the axis parallel to \U0001D469. With numerical simulations, we show that this behavior can be explained by anisotropic magnetic susceptibility." acknowledged_ssus: - _id: M-Shop - _id: NanoFab - _id: ScienComp - _id: LifeSc acknowledgement: "This research was funded in whole or in part by the Austrian Science Fund (FWF) [Grant DOI: 10.55776/ESP298]. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant\r\nAgreement No. 949120). This research was supported by the Scientific Service Units of The Institute of Science and Technology Austria (ISTA) through resources provided by the Miba Machine Shop, Nanofabrication Facility, Scientific Computing Facility, and Lab Support Facility. We wish to acknowledge the crucial contributions of Alexandre Morin in getting the project off the ground, and Jack Merrin for creating the SU-8 deposition protocol used in the construction of our\r\ncells. We also wish to thank Kimberley Modic and Hamza Nasir for their work on single-particle characterization. " article_number: '065418' article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Eavan full_name: Fitzgerald, Eavan id: 2df8ab8f-080d-11ed-979a-bfe651ca3afa last_name: Fitzgerald - first_name: Cécile full_name: Clavaud, Cécile id: 5f654c5d-04a1-11eb-ab36-ba9ffec58bd8 last_name: Clavaud orcid: 0000-0002-1843-3803 - first_name: Debasish full_name: Das, Debasish last_name: Das - first_name: Isaac C full_name: Lenton, Isaac C id: a550210f-223c-11ec-8182-e2d45e817efb last_name: Lenton orcid: 0000-0002-5010-6984 - first_name: Scott R full_name: Waitukaitis, Scott R id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87 last_name: Waitukaitis orcid: 0000-0002-2299-3176 citation: ama: 'Fitzgerald E, Clavaud C, Das D, Lenton IC, Waitukaitis SR. Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter. Physical Review E. 2025;112(6). doi:10.1103/1ss8-31rb' apa: 'Fitzgerald, E., Clavaud, C., Das, D., Lenton, I. C., & Waitukaitis, S. R. (2025). Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter. Physical Review E. American Physical Society. https://doi.org/10.1103/1ss8-31rb' chicago: 'Fitzgerald, Eavan, Cécile Clavaud, Debasish Das, Isaac C Lenton, and Scott R Waitukaitis. “Rolling at Right Angles: Magnetic Anisotropy Enables Dual-Anisotropic Active Matter.” Physical Review E. American Physical Society, 2025. https://doi.org/10.1103/1ss8-31rb.' ieee: 'E. Fitzgerald, C. Clavaud, D. Das, I. C. Lenton, and S. R. Waitukaitis, “Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter,” Physical Review E, vol. 112, no. 6. American Physical Society, 2025.' ista: 'Fitzgerald E, Clavaud C, Das D, Lenton IC, Waitukaitis SR. 2025. Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter. Physical Review E. 112(6), 065418.' mla: 'Fitzgerald, Eavan, et al. “Rolling at Right Angles: Magnetic Anisotropy Enables Dual-Anisotropic Active Matter.” Physical Review E, vol. 112, no. 6, 065418, American Physical Society, 2025, doi:10.1103/1ss8-31rb.' short: E. Fitzgerald, C. Clavaud, D. Das, I.C. Lenton, S.R. Waitukaitis, Physical Review E 112 (2025). corr_author: '1' date_created: 2025-12-21T23:01:34Z date_published: 2025-12-01T00:00:00Z date_updated: 2025-12-29T11:19:34Z day: '01' ddc: - '530' department: - _id: ScWa doi: 10.1103/1ss8-31rb ec_funded: 1 external_id: arxiv: - '2508.05643' file: - access_level: open_access checksum: d593e933f976c3f3cde37ad66539d57d content_type: application/pdf creator: dernst date_created: 2025-12-29T11:15:42Z date_updated: 2025-12-29T11:15:42Z file_id: '20862' file_name: 2025_PhysReviewE_Fitzgerald.pdf file_size: 2131491 relation: main_file success: 1 file_date_updated: 2025-12-29T11:15:42Z has_accepted_license: '1' intvolume: ' 112' issue: '6' language: - iso: eng month: '12' oa: 1 oa_version: Published Version project: - _id: bd8eede5-d553-11ed-ba76-eaded0d13485 grant_number: E 298 name: 'MixQUIckR: Mixing with QUIncke Rollers' - _id: 0aa60e99-070f-11eb-9043-a6de6bdc3afa call_identifier: H2020 grant_number: '949120' name: 'Tribocharge: a multi-scale approach to an enduring problem in physics' publication: Physical Review E publication_identifier: eissn: - 2470-0053 issn: - 2470-0045 publication_status: published publisher: American Physical Society quality_controlled: '1' scopus_import: '1' status: public title: 'Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 112 year: '2025' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '20851' abstract: - lang: eng text: High-voltage disordered spinel LiNi0.5Mn1.5O4 is a promising cathode material for high power density in lithium-ion batteries. However, it suffers from poor cycle life associated with the rock-salt phase transformation. This study presents a straightforward synthesis approach to enhance the electrochemical performance of LiNi0.5Mn1.5O4 through a synergistic solid-state modification with LiF and AlF3. This dual modification promotes rapid Li⁺ diffusion, enables near-complete delithiation/lithiation, approaching the theoretical capacity of disordered LiNi0.5Mn1.5O4, and, more importantly, effectively mitigates the formation of the rock-salt phase, thereby enhancing structural stability, as confirmed by operando X-ray absorption spectroscopy (XAS) and synchrotron X-ray diffraction (SXRD). As a result, the optimized LiNi0.5Mn1.5O4 (10 mg AlF3 + 30 mg LiF) delivers high reversible capacities of 142.1, 139.1, 129.2, 121.6, 110.3, 93.5, and 76.1 mAh∙g−1 at 0.2C, 0.5C, 1.0C, 2.0C, 3.0C, 4.0C, and 5.0C, respectively. Full cells using graphite as the anode and a high-loading cathode exhibit excellent cycling performance. They retain 80% of their capacity after 200 cycles at 0.5C within a voltage window of 3.5–4.9 V with cathode loading of 11 mg∙cm−2. The findings of this study will significantly advance high-power LiNi0.5Mn1.5O4 materials, offering improved battery life and thereby enhancing their potential for practical applications. acknowledged_ssus: - _id: EM-Fac - _id: NanoFab acknowledgement: 'This work was supported by the European Commission-financed project IntelLigent (HORIZON-CL5-2021-D2-01-02) with project ID number 101069765. In collaboration with ALBA staff, the operando SXRD and XAS experiments were performed at BL-16-NOTOS beamline at ALBA Synchrotron Light Source (experiment number: 2023097765). This research was supported by the Scientific Service Units (SSU) of the Institute of Science and Technology Austria (ISTA) through resources provided by the Electron Microscopy Facility (EMF) and the Nanofabrication Facility (NFF), and M.I. and S.H. acknowledge financial support from ISTA and the Werner Siemens Foundation. Jordi Jacas Biendicho acknowledges the fellowship RYC2021-034994-I, funded by MICIU/AEI/10.13039/501100011033 and the European Union «NextGenerationEU»/PRTR». Jordi Llorca is a Serra Húnter Fellow and is grateful to projects MICIN/AEI/FEDER PID2021-124572OB-C31 and Maria de Maeztu Units of Excellence Programme CEX2023-001300-M, and GC 2021 SGR 01061.' article_number: e15962 article_processing_charge: Yes article_type: original author: - first_name: Xingqi full_name: Chang, Xingqi last_name: Chang - first_name: Carlos full_name: Escudero, Carlos last_name: Escudero - first_name: Ashley P. full_name: Black, Ashley P. last_name: Black - first_name: Sharona full_name: Horta, Sharona id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc last_name: Horta - first_name: Elías full_name: Martínez, Elías last_name: Martínez - first_name: Xuan full_name: Lu, Xuan last_name: Lu - first_name: Jordi full_name: Llorca, Jordi last_name: Llorca - first_name: Maria full_name: Ibáñez, Maria id: 43C61214-F248-11E8-B48F-1D18A9856A87 last_name: Ibáñez orcid: 0000-0001-5013-2843 - first_name: Jordi Jacas full_name: Biendicho, Jordi Jacas last_name: Biendicho - first_name: Andreu full_name: Cabot, Andreu last_name: Cabot citation: ama: Chang X, Escudero C, Black AP, et al. Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications. Advanced Science. 2025. doi:10.1002/advs.202515962 apa: Chang, X., Escudero, C., Black, A. P., Horta, S., Martínez, E., Lu, X., … Cabot, A. (2025). Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications. Advanced Science. Wiley. https://doi.org/10.1002/advs.202515962 chicago: Chang, Xingqi, Carlos Escudero, Ashley P. Black, Sharona Horta, Elías Martínez, Xuan Lu, Jordi Llorca, Maria Ibáñez, Jordi Jacas Biendicho, and Andreu Cabot. “Mitigating the Rock-Salt Phase Transformation in Disordered LNMO through Synergetic Solid-State AlF3/LiF Modifications.” Advanced Science. Wiley, 2025. https://doi.org/10.1002/advs.202515962. ieee: X. Chang et al., “Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications,” Advanced Science. Wiley, 2025. ista: Chang X, Escudero C, Black AP, Horta S, Martínez E, Lu X, Llorca J, Ibáñez M, Biendicho JJ, Cabot A. 2025. Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications. Advanced Science., e15962. mla: Chang, Xingqi, et al. “Mitigating the Rock-Salt Phase Transformation in Disordered LNMO through Synergetic Solid-State AlF3/LiF Modifications.” Advanced Science, e15962, Wiley, 2025, doi:10.1002/advs.202515962. short: X. Chang, C. Escudero, A.P. Black, S. Horta, E. Martínez, X. Lu, J. Llorca, M. Ibáñez, J.J. Biendicho, A. Cabot, Advanced Science (2025). date_created: 2025-12-21T23:01:35Z date_published: 2025-12-12T00:00:00Z date_updated: 2025-12-29T10:15:43Z day: '12' ddc: - '540' department: - _id: MaIb doi: 10.1002/advs.202515962 has_accepted_license: '1' language: - iso: eng month: '12' oa_version: Published Version project: - _id: 9B8F7476-BA93-11EA-9121-9846C619BF3A name: 'HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery' publication: Advanced Science publication_identifier: eissn: - 2198-3844 publication_status: epub_ahead publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '20857' abstract: - lang: eng text: 'Evolutionary games provide a flexible mathematical framework for many problems in biology and social evolution. Prisoners’ dilemma, and in particular, the important special case of donation games, represents social dilemmas where cooperation is mutually beneficial, yet defection is preferred by selfish agents. In evolutionary games on networks, the agents interact over a population structure. The existence of population structures that promote cooperative behavior is a fascinating and active research topic. Previous research establishes structures promoting cooperation in the limit of weak selection where the benefit-to-cost ratio β exceeds 1.5. The existence of such structures for medium and strong selection for 1 < ß < 2 and for weak selection for 1 < ß < 1.5 has been a long-standing open question. First, we answer the open questions in the affirmative: For every selection strength and every ß > 1, we construct networks promoting cooperation. Second, we present a robustness result with respect to β and selection strength: Our structures promote cooperation for a range of these parameter values rather than specific parameter values. Finally, we supplement our theoretical results with simulation results on small population structures that show the effectiveness of our construction over well-studied population structures.' acknowledgement: J.S. and K.C. were supported by the European Research Council CoG 863818 (ForM-SMArt) and Austrian Science Fund (FWF) 10.55776/COE12. article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Jakub full_name: Svoboda, Jakub id: 130759D2-D7DD-11E9-87D2-DE0DE6697425 last_name: Svoboda orcid: 0000-0002-1419-3267 - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X citation: ama: Svoboda J, Chatterjee K. Promoters of cooperation in evolutionary games. Proceedings of the National Academy of Sciences. 2025;122(51):e2524109122. doi:10.1073/pnas.2524109122 apa: Svoboda, J., & Chatterjee, K. (2025). Promoters of cooperation in evolutionary games. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.2524109122 chicago: Svoboda, Jakub, and Krishnendu Chatterjee. “Promoters of Cooperation in Evolutionary Games.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2025. https://doi.org/10.1073/pnas.2524109122. ieee: J. Svoboda and K. Chatterjee, “Promoters of cooperation in evolutionary games,” Proceedings of the National Academy of Sciences, vol. 122, no. 51. National Academy of Sciences, p. e2524109122, 2025. ista: Svoboda J, Chatterjee K. 2025. Promoters of cooperation in evolutionary games. Proceedings of the National Academy of Sciences. 122(51), e2524109122. mla: Svoboda, Jakub, and Krishnendu Chatterjee. “Promoters of Cooperation in Evolutionary Games.” Proceedings of the National Academy of Sciences, vol. 122, no. 51, National Academy of Sciences, 2025, p. e2524109122, doi:10.1073/pnas.2524109122. short: J. Svoboda, K. Chatterjee, Proceedings of the National Academy of Sciences 122 (2025) e2524109122. corr_author: '1' date_created: 2025-12-28T23:01:26Z date_published: 2025-12-15T00:00:00Z date_updated: 2026-02-16T12:34:04Z day: '15' ddc: - '000' department: - _id: KrCh doi: 10.1073/pnas.2524109122 ec_funded: 1 external_id: pmid: - '41397136' file: - access_level: open_access checksum: dd50b62a1efc28c0133fe9c11dbee53c content_type: application/pdf creator: dernst date_created: 2025-12-29T09:36:50Z date_updated: 2025-12-29T09:36:50Z file_id: '20860' file_name: 2025_PNAS_Svoboda.pdf file_size: 2308124 relation: main_file success: 1 file_date_updated: 2025-12-29T09:36:50Z has_accepted_license: '1' intvolume: ' 122' issue: '51' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-nd/4.0/ month: '12' oa: 1 oa_version: Published Version page: e2524109122 pmid: 1 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' publication: Proceedings of the National Academy of Sciences publication_identifier: eissn: - 1091-6490 publication_status: published publisher: National Academy of Sciences quality_controlled: '1' scopus_import: '1' status: public title: Promoters of cooperation in evolutionary games tmp: 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) short: CC BY-NC-ND (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 122 year: '2025' ... --- OA_place: repository OA_type: green _id: '20858' abstract: - lang: eng text: Targeted antigen delivery to immune cells, particularly dendritic cells, has emerged as a promising strategy to enhance therapeutic efficacy of vaccines, while minimizing adverse effects associated with conventional immunization. In this study, we use our previously described small glycomimetic molecule that is selectively recognized by the Langerhans cell (LC)-specific surface receptor Langerin and demonstrate specific delivery of protein antigens to these specialized dendritic cells. Our results show that Langerin-mediated antigen delivery significantly enhances the immune response in vivo, resulting in increased expansion and activation of antigen-specific T cells, compared to immunization with unmodified antigen. We demonstrate the feasibility of our LC-targeted platform for immune cell-specific immunization with protein antigen and underscore the potential of LCs as an access point for next-generation vaccines and immunotherapies. acknowledgement: This project was generously supported by Seedfinancing (grant no. P2282679) of the Austrian Bundesministerium für Digitalisierung und Wirtschaftsstandort and the Bundesministerium für Klimaschutz, Umwelt, Energie, Mobilität, Innovation, und Technologie, handled by the Austrian Wirtschaftsservice (aws), as well as by Life Science Call 2022 (grant no. FO999896442) of the Austrian Research Promotion Agency (FFG). We thank Mag. Michael Schunn from the PCF of the Institute of Science and Technology Austria for his continuous technical support. article_processing_charge: No article_type: original author: - first_name: Ramona full_name: Rica, Ramona last_name: Rica - first_name: Klara full_name: Klein, Klara last_name: Klein - first_name: Litty full_name: Johnson, Litty last_name: Johnson - first_name: Gabriele full_name: Carta, Gabriele last_name: Carta - first_name: Mirza full_name: Sarcevic, Mirza last_name: Sarcevic - first_name: Freyja full_name: Langer, Freyja id: 3C1BE782-F248-11E8-B48F-1D18A9856A87 last_name: Langer - first_name: Christoph full_name: Rademacher, Christoph last_name: Rademacher - first_name: Robert full_name: Wawrzinek, Robert last_name: Wawrzinek - first_name: Federica full_name: Quattrone, Federica last_name: Quattrone - first_name: Florian full_name: Sparber, Florian last_name: Sparber citation: ama: Rica R, Klein K, Johnson L, et al. Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response. Molecular Therapy. doi:10.1016/j.ymthe.2025.10.008 apa: Rica, R., Klein, K., Johnson, L., Carta, G., Sarcevic, M., Langer, F., … Sparber, F. (n.d.). Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response. Molecular Therapy. Elsevier. https://doi.org/10.1016/j.ymthe.2025.10.008 chicago: Rica, Ramona, Klara Klein, Litty Johnson, Gabriele Carta, Mirza Sarcevic, Freyja Langer, Christoph Rademacher, Robert Wawrzinek, Federica Quattrone, and Florian Sparber. “Langerhans Cell-Targeted Protein Delivery Enhances Antigen-Specific Cellular Immune Response.” Molecular Therapy. Elsevier, n.d. https://doi.org/10.1016/j.ymthe.2025.10.008. ieee: R. Rica et al., “Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response,” Molecular Therapy. Elsevier. ista: Rica R, Klein K, Johnson L, Carta G, Sarcevic M, Langer F, Rademacher C, Wawrzinek R, Quattrone F, Sparber F. Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response. Molecular Therapy. mla: Rica, Ramona, et al. “Langerhans Cell-Targeted Protein Delivery Enhances Antigen-Specific Cellular Immune Response.” Molecular Therapy, Elsevier, doi:10.1016/j.ymthe.2025.10.008. short: R. Rica, K. Klein, L. Johnson, G. Carta, M. Sarcevic, F. Langer, C. Rademacher, R. Wawrzinek, F. Quattrone, F. Sparber, Molecular Therapy (n.d.). date_created: 2025-12-28T23:01:26Z date_published: 2025-10-04T00:00:00Z date_updated: 2025-12-29T09:55:05Z day: '04' department: - _id: PreCl doi: 10.1016/j.ymthe.2025.10.008 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1101/2025.05.05.652195 month: '10' oa: 1 oa_version: Preprint publication: Molecular Therapy publication_identifier: eissn: - 1525-0024 issn: - 1525-0016 publication_status: inpress publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20859' abstract: - lang: eng text: Effective immune responses rely on the efficient migration of leukocytes. Yet, how temperature regulates migration dynamics at the single-cell level has remained poorly understood. Using zebrafish embryos and mouse tissue explants, we found that temperature positively regulates leukocyte migration speed, exploration, and arrival frequencies to wounds and lymph vessels. Complementary 2D and 3D cultures revealed that this thermokinetic control of cell migration is conserved across immune cell types, independently of the 3D tissue environment. By applying precise (sub-)cellular temperature modulation, we identified a rapid and reversible thermo-response that depends on myosin II activity. Small physiological increases in temperature (1°C –2°C), as present during fever-like conditions, profoundly increased immune responses by accelerating arrival times at lymphatic vessels and tissue wounds. These findings identify myosin-II-dependent actomyosin contractility as a critical mechanical structure regulating single-cell thermo-adaptability, with physiological implications for tuning the speed of immune responses in vivo. acknowledged_ssus: - _id: NanoFab acknowledgement: 'The authors would like to acknowledge the Super Resolution Light Microcopy and Nanoscopy (SLN) Facility of ICFO for their support with imaging experiments, Johann Osmond (Nanofabrication laboratory, ICFO) for the design and production of molds for generating confinement coverslip, Merche Rivas for cell culture of immune cells and further support from the CRG Core Facilities for Genomics and Advanced Light Microscopy. We would like to thank Michael Sixt for discussions on this work and the Quidant, Ruprecht, and Wieser lab members for critical reading of the manuscript. This research was supported by the Scientific Service Units (SSU) of IST-Austria through resources provided by the Nanofabrication Facility (NFF). C.A. acknowledges the funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement no 847517 and V.V. from the ICFOstepstone – PhD Programme funded by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement no 665884. S.W. acknowledges support through the Spanish Ministry of Economy and Competitiveness via MINECO’s Plan Nacional (BFU2017-86296-P). V.R. acknowledges funding from the European Union’s HORIZON-EIC-2021-PATHFINDEROPEN program under grant agreement no. 101046620 and European Union''s Horizon Europe program under the grant agreement no. 101072123. E.K. acknowledges funding by a fellowship of the Ministry of Innovation, Science and Research of North-Rhine-Westphalia (AZ: 421-8.03.03.02-137069) and the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC 2151 – 390873048 and by the TRA Life and Health (University of Bonn) as part of the Excellence Strategy of the federal and state governments.' article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Iván full_name: Company-Garrido, Iván last_name: Company-Garrido - first_name: Alberto full_name: Zurita Carpio, Alberto last_name: Zurita Carpio - first_name: Mariona full_name: Colomer-Rosell, Mariona last_name: Colomer-Rosell - first_name: Bernard full_name: Ciraulo, Bernard last_name: Ciraulo - first_name: Ronja full_name: Molkenbur, Ronja last_name: Molkenbur - first_name: Peter full_name: Lanzerstorfer, Peter last_name: Lanzerstorfer - first_name: Fabio full_name: Pezzano, Fabio last_name: Pezzano - first_name: Costanza full_name: Agazzi, Costanza last_name: Agazzi - first_name: Robert full_name: Hauschild, Robert id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87 last_name: Hauschild orcid: 0000-0001-9843-3522 - first_name: Saumey full_name: Jain, Saumey last_name: Jain - first_name: Jeroen M. full_name: Jacques, Jeroen M. last_name: Jacques - first_name: Valeria full_name: Venturini, Valeria last_name: Venturini - first_name: Christian full_name: Knapp, Christian last_name: Knapp - first_name: Yufei full_name: Xie, Yufei last_name: Xie - first_name: Jack full_name: Merrin, Jack id: 4515C308-F248-11E8-B48F-1D18A9856A87 last_name: Merrin orcid: 0000-0001-5145-4609 - first_name: Julian full_name: Weghuber, Julian last_name: Weghuber - first_name: Marcel full_name: Schaaf, Marcel last_name: Schaaf - first_name: Romain full_name: Quidant, Romain last_name: Quidant - first_name: Eva full_name: Kiermaier, Eva id: 3EB04B78-F248-11E8-B48F-1D18A9856A87 last_name: Kiermaier orcid: 0000-0001-6165-5738 - first_name: Jaime full_name: Ortega Arroyo, Jaime last_name: Ortega Arroyo - first_name: Verena full_name: Ruprecht, Verena id: 4D71A03A-F248-11E8-B48F-1D18A9856A87 last_name: Ruprecht orcid: 0000-0003-4088-8633 - first_name: Stefan full_name: Wieser, Stefan id: 355AA5A0-F248-11E8-B48F-1D18A9856A87 last_name: Wieser orcid: 0000-0002-2670-2217 citation: ama: Company-Garrido I, Zurita Carpio A, Colomer-Rosell M, et al. Myosin II regulates cellular thermo-adaptability and the efficiency of immune responses. Developmental Cell. 2025. doi:10.1016/j.devcel.2025.10.006 apa: Company-Garrido, I., Zurita Carpio, A., Colomer-Rosell, M., Ciraulo, B., Molkenbur, R., Lanzerstorfer, P., … Wieser, S. (2025). Myosin II regulates cellular thermo-adaptability and the efficiency of immune responses. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2025.10.006 chicago: Company-Garrido, Iván, Alberto Zurita Carpio, Mariona Colomer-Rosell, Bernard Ciraulo, Ronja Molkenbur, Peter Lanzerstorfer, Fabio Pezzano, et al. “Myosin II Regulates Cellular Thermo-Adaptability and the Efficiency of Immune Responses.” Developmental Cell. Elsevier, 2025. https://doi.org/10.1016/j.devcel.2025.10.006. ieee: I. Company-Garrido et al., “Myosin II regulates cellular thermo-adaptability and the efficiency of immune responses,” Developmental Cell. Elsevier, 2025. ista: Company-Garrido I, Zurita Carpio A, Colomer-Rosell M, Ciraulo B, Molkenbur R, Lanzerstorfer P, Pezzano F, Agazzi C, Hauschild R, Jain S, Jacques JM, Venturini V, Knapp C, Xie Y, Merrin J, Weghuber J, Schaaf M, Quidant R, Kiermaier E, Ortega Arroyo J, Ruprecht V, Wieser S. 2025. Myosin II regulates cellular thermo-adaptability and the efficiency of immune responses. Developmental Cell. mla: Company-Garrido, Iván, et al. “Myosin II Regulates Cellular Thermo-Adaptability and the Efficiency of Immune Responses.” Developmental Cell, Elsevier, 2025, doi:10.1016/j.devcel.2025.10.006. short: I. Company-Garrido, A. Zurita Carpio, M. Colomer-Rosell, B. Ciraulo, R. Molkenbur, P. Lanzerstorfer, F. Pezzano, C. Agazzi, R. Hauschild, S. Jain, J.M. Jacques, V. Venturini, C. Knapp, Y. Xie, J. Merrin, J. Weghuber, M. Schaaf, R. Quidant, E. Kiermaier, J. Ortega Arroyo, V. Ruprecht, S. Wieser, Developmental Cell (2025). date_created: 2025-12-28T23:01:27Z date_published: 2025-11-04T00:00:00Z date_updated: 2025-12-29T09:23:58Z day: '04' ddc: - '570' department: - _id: Bio - _id: NanoFab doi: 10.1016/j.devcel.2025.10.006 external_id: pmid: - '41192429' has_accepted_license: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1016/j.devcel.2025.10.006 month: '11' oa: 1 oa_version: Published Version pmid: 1 publication: Developmental Cell publication_identifier: eissn: - 1878-1551 issn: - 1534-5807 publication_status: epub_ahead publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Myosin II regulates cellular thermo-adaptability and the efficiency of immune responses tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '20866' abstract: - lang: eng text: In this work, we present hypernode automata as a specification formalism for hyperproperties of systems whose executions may be misaligned among themselves, such as concurrent systems. These automata consist of nodes labeled with hypernode logic formulas and transitions marked with synchronizing actions. Hypernode logic formulas establish relations between sequences of variable values among different system executions. This logic enables both synchronous and asynchronous analysis of traces. In its asynchronous view on execution traces, hypernode formulas establish relations on the order of value changes for each variable without correlating their timing. In both views, the analysis of different execution traces is synchronized through the transitions of hypernode automata. By combining logic’s declarative nature with automata’s procedural power, hypernode automata seamlessly integrate asynchronicity requirements at the node level with synchronicity between node transitions. We show that the model-checking problem for hypernode automata is decidable for specifications where each node specifies either a synchronous or an asynchronous requirement for the system’s executions, but not both. acknowledgement: This work was supported in part by the Austrian Science Fund (FWF) SFB project SpyCoDe 10.55776/F85, by the FWF projects ZK-35 and W1255-N23, and by the ERC Advanced Grant VAMOS 101020093. Open access funding provided by Institute of Science and Technology (IST Austria). article_number: '43' article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Ezio full_name: Bartocci, Ezio last_name: Bartocci - first_name: Marek full_name: Chalupa, Marek id: 87e34708-d6c6-11ec-9f5b-9391e7be2463 last_name: Chalupa - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Dejan full_name: Nickovic, Dejan id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87 last_name: Nickovic - first_name: Ana full_name: Oliveira da Costa, Ana id: f347ec37-6676-11ee-b395-a888cb7b4fb4 last_name: Oliveira da Costa orcid: 0000-0002-8741-5799 citation: ama: Bartocci E, Chalupa M, Henzinger TA, Nickovic D, Oliveira da Costa A. Hypernode automata. Acta Informatica. 2025;62(4). doi:10.1007/s00236-025-00509-8 apa: Bartocci, E., Chalupa, M., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2025). Hypernode automata. Acta Informatica. Springer Nature. https://doi.org/10.1007/s00236-025-00509-8 chicago: Bartocci, Ezio, Marek Chalupa, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Hypernode Automata.” Acta Informatica. Springer Nature, 2025. https://doi.org/10.1007/s00236-025-00509-8. ieee: E. Bartocci, M. Chalupa, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Hypernode automata,” Acta Informatica, vol. 62, no. 4. Springer Nature, 2025. ista: Bartocci E, Chalupa M, Henzinger TA, Nickovic D, Oliveira da Costa A. 2025. Hypernode automata. Acta Informatica. 62(4), 43. mla: Bartocci, Ezio, et al. “Hypernode Automata.” Acta Informatica, vol. 62, no. 4, 43, Springer Nature, 2025, doi:10.1007/s00236-025-00509-8. short: E. Bartocci, M. Chalupa, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Acta Informatica 62 (2025). corr_author: '1' date_created: 2025-12-29T12:07:12Z date_published: 2025-12-09T00:00:00Z date_updated: 2026-01-05T12:27:41Z day: '09' ddc: - '000' department: - _id: ToHe doi: 10.1007/s00236-025-00509-8 ec_funded: 1 external_id: arxiv: - '2305.02836' file: - access_level: open_access checksum: 06ed45a1218ad8464818803ae2968aaf content_type: application/pdf creator: dernst date_created: 2026-01-05T12:26:43Z date_updated: 2026-01-05T12:26:43Z file_id: '20944' file_name: 2025_ActaInformatica_Bartocci.pdf file_size: 7117003 relation: main_file success: 1 file_date_updated: 2026-01-05T12:26:43Z has_accepted_license: '1' intvolume: ' 62' issue: '4' language: - iso: eng month: '12' oa: 1 oa_version: Published Version project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software - _id: 34a1b658-11ca-11ed-8bc3-c75229f0241e grant_number: F8502 name: Interface Theory for Security and Privacy publication: Acta Informatica publication_identifier: eissn: - 1432-0525 issn: - 0001-5903 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '14405' relation: earlier_version status: public scopus_import: '1' status: public title: Hypernode automata tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 62 year: '2025' ... --- OA_type: closed access _id: '20868' abstract: - lang: eng text: Residents of low-latitude megacities face growing vulnerability to humid-heat stress under urbanization and global warming, yet limited research has assessed the morbidity burden of mental and behavioral disorders (MBDs) linked to humid-heat exposures in these cities. Here we quantify the hospital admissions of MBDs in Shanghai, a megacity of over 25 million inhabitants, attributable to humid heat, and project future burdens under various greenhouse gas (GHG)-emission and population scenarios. Humid heat drives a higher morbidity burden than high temperature alone, especially in humid-heat nights. Without population change, the humid-heat-related morbidity burden of MBDs would increase by 68.2% (95% empirical confidence interval 56.7%–81.6%) under the highest-GHG-emission scenario by the 2090s, while 8,465 (95% empirical confidence interval 6,928–10,053) cases would be avoided by reducing emissions to the lowest pathway. With projected population decline, the attributable hospital admissions will decrease toward century’s end. These findings highlight the benefit of GHG mitigation in reducing the growing MBD risks posed by extreme humid heat. acknowledgement: 'This research was supported by the National Natural Science Foundation of China (grants 42288101 and 42175066) and Shanghai International Science and Technology Partnership Project (grant 21230780200). G.S. is supported by the China Brain Project (grant 2025ZD0215100), the National Natural Science Foundation of China (grant 82150710554), the Chinese National Key Project (grant 2023YFE0199700), the National Natural Science Foundation of China (grant W2541022) and the EC Horizon Europe: environMENTAL project.' article_processing_charge: No article_type: original author: - first_name: Chen full_name: Liang, Chen last_name: Liang - first_name: Jiacan full_name: Yuan, Jiacan last_name: Yuan - first_name: Renhe full_name: Zhang, Renhe last_name: Zhang - first_name: Xu full_name: Tang, Xu last_name: Tang - first_name: Gunter full_name: Schumann, Gunter last_name: Schumann - first_name: Esther full_name: Hitchen, Esther last_name: Hitchen - first_name: Elli full_name: Polemiti, Elli last_name: Polemiti - first_name: Emin full_name: Serin, Emin last_name: Serin - first_name: Hedi full_name: Kebir, Hedi last_name: Kebir - first_name: Tristram A. full_name: Lett, Tristram A. last_name: Lett - first_name: Nilakshi full_name: Vaidya, Nilakshi last_name: Vaidya - first_name: Jean-Charles full_name: Roy, Jean-Charles last_name: Roy - first_name: Henrik full_name: Walter, Henrik last_name: Walter - first_name: Andreas full_name: Heinz, Andreas last_name: Heinz - first_name: Markus full_name: Ralser, Markus last_name: Ralser - first_name: Sven full_name: Twardziok, Sven last_name: Twardziok - first_name: Roland full_name: Eils, Roland last_name: Eils - first_name: Marcel full_name: Jentsch, Marcel last_name: Jentsch - first_name: Ulrike-Helene full_name: Taron, Ulrike-Helene last_name: Taron - first_name: Tatjana full_name: Schütz, Tatjana last_name: Schütz - first_name: Kerstin full_name: Schepanski, Kerstin last_name: Schepanski - first_name: Tobias full_name: Banaschewski, Tobias last_name: Banaschewski - first_name: Maja full_name: Neidhart, Maja last_name: Neidhart - first_name: Andreas full_name: Meyer-Lindenberg, Andreas last_name: Meyer-Lindenberg - first_name: Heike full_name: Tost, Heike last_name: Tost - first_name: Nathalie full_name: Holz, Nathalie last_name: Holz - first_name: Emanuel full_name: Schwarz, Emanuel last_name: Schwarz - first_name: Argyris full_name: Stringaris, Argyris last_name: Stringaris - first_name: Nina full_name: Christmann, Nina last_name: Christmann - first_name: Karina full_name: Janson, Karina last_name: Janson - first_name: Frauke full_name: Nees, Frauke last_name: Nees - first_name: Maja full_name: Neidhart, Maja last_name: Neidhart - first_name: Beke full_name: Seefried, Beke last_name: Seefried - first_name: Rieke full_name: Aden, Rieke last_name: Aden - first_name: Ole A. full_name: Andreassen, Ole A. last_name: Andreassen - first_name: Lars T. full_name: Westlye, Lars T. last_name: Westlye - first_name: Dennis full_name: van der Meer, Dennis last_name: van der Meer - first_name: Sara full_name: Fernández-Cabello, Sara last_name: Fernández-Cabello - first_name: Rikka full_name: Kjelkenes, Rikka last_name: Kjelkenes - first_name: Helga full_name: Ask, Helga last_name: Ask - first_name: Michael full_name: Rapp, Michael last_name: Rapp - first_name: Mira full_name: Tschorn, Mira last_name: Tschorn - first_name: Sarah Jane full_name: Böttger, Sarah Jane last_name: Böttger - first_name: Andre full_name: Marquand, Andre last_name: Marquand - first_name: Antoine full_name: Bernas, Antoine last_name: Bernas - first_name: Gaia full_name: Novarino, Gaia id: 3E57A680-F248-11E8-B48F-1D18A9856A87 last_name: Novarino orcid: 0000-0002-7673-7178 - first_name: Mel full_name: Slater, Mel last_name: Slater - first_name: Jaime full_name: Gallego, Jaime last_name: Gallego - first_name: Álvaro full_name: Pastor, Álvaro last_name: Pastor - first_name: Guillem full_name: Feixas, Guillem last_name: Feixas - first_name: Francisco José full_name: Eiroa-Orosa, Francisco José last_name: Eiroa-Orosa - first_name: Markus M. full_name: Nöthen, Markus M. last_name: Nöthen - first_name: Andreas J. full_name: Forstner, Andreas J. last_name: Forstner - first_name: Isabelle full_name: Claus, Isabelle last_name: Claus - first_name: Carina full_name: Mathey, Carina last_name: Mathey - first_name: Stefanie full_name: Heilmann-Heimbach, Stefanie last_name: Heilmann-Heimbach - first_name: Per full_name: Hoffmann, Per last_name: Hoffmann - first_name: Abigail full_name: Miller, Abigail last_name: Miller - first_name: Peter full_name: Sommer, Peter last_name: Sommer - first_name: Karen full_name: Schmitt, Karen last_name: Schmitt - first_name: Johannes full_name: Wilbertz, Johannes last_name: Wilbertz - first_name: Myrto full_name: Patraskaki, Myrto last_name: Patraskaki - first_name: Viktor full_name: Jirsa, Viktor last_name: Jirsa - first_name: Spase full_name: Petkoski, Spase last_name: Petkoski - first_name: Anastasios-Polykarpos full_name: Athanasiadis, Anastasios-Polykarpos last_name: Athanasiadis - first_name: Bernhard full_name: Spanlang, Bernhard last_name: Spanlang - first_name: Charlie full_name: Pearmund, Charlie last_name: Pearmund - first_name: Sören full_name: Hese, Sören last_name: Hese - first_name: Paul full_name: Renner, Paul last_name: Renner - first_name: Tianye full_name: Jia, Tianye last_name: Jia - first_name: Xiao full_name: Chang, Xiao last_name: Chang - first_name: Yuxiang full_name: Dai, Yuxiang last_name: Dai - first_name: Yunman full_name: Xia, Yunman last_name: Xia - first_name: Yuzhu full_name: Li, Yuzhu last_name: Li - first_name: Yanqing full_name: Zhang, Yanqing last_name: Zhang - first_name: Vince full_name: Calhoun, Vince last_name: Calhoun - first_name: Paul full_name: Thompson, Paul last_name: Thompson - first_name: Nicholas full_name: Clinton, Nicholas last_name: Clinton - first_name: Sylvane full_name: Desrivières, Sylvane last_name: Desrivières - first_name: Kofoworola full_name: Agunbiade, Kofoworola last_name: Agunbiade - first_name: Xinyang full_name: Yu, Xinyang last_name: Yu - first_name: Zuo full_name: Zhang, Zuo last_name: Zhang - first_name: Di full_name: Chen, Di last_name: Chen - first_name: Allan H. full_name: Young, Allan H. last_name: Young - first_name: Ameli full_name: Schwalber, Ameli last_name: Schwalber - first_name: Vanessa full_name: Köhler, Vanessa last_name: Köhler - first_name: Bernd full_name: Stahl, Bernd last_name: Stahl - first_name: George full_name: Ogoh, George last_name: Ogoh - first_name: Tamara full_name: Schikowski, Tamara last_name: Schikowski - first_name: Ragnhild full_name: Brandlistuen, Ragnhild last_name: Brandlistuen citation: ama: Liang C, Yuan J, Zhang R, et al. Projecting the morbidity burden of mental and behavioral disorders associated with increasing humid heat in Shanghai. Nature Mental Health. 2025;3(12):1532-1544. doi:10.1038/s44220-025-00519-y apa: Liang, C., Yuan, J., Zhang, R., Tang, X., Schumann, G., Hitchen, E., … Brandlistuen, R. (2025). Projecting the morbidity burden of mental and behavioral disorders associated with increasing humid heat in Shanghai. Nature Mental Health. Springer Nature. https://doi.org/10.1038/s44220-025-00519-y chicago: Liang, Chen, Jiacan Yuan, Renhe Zhang, Xu Tang, Gunter Schumann, Esther Hitchen, Elli Polemiti, et al. “Projecting the Morbidity Burden of Mental and Behavioral Disorders Associated with Increasing Humid Heat in Shanghai.” Nature Mental Health. Springer Nature, 2025. https://doi.org/10.1038/s44220-025-00519-y. ieee: C. Liang et al., “Projecting the morbidity burden of mental and behavioral disorders associated with increasing humid heat in Shanghai,” Nature Mental Health, vol. 3, no. 12. Springer Nature, pp. 1532–1544, 2025. ista: Liang C, Yuan J, Zhang R, Tang X, Schumann G, Hitchen E, Polemiti E, Serin E, Kebir H, Lett TA, Vaidya N, Roy J-C, Walter H, Heinz A, Ralser M, Twardziok S, Eils R, Jentsch M, Taron U-H, Schütz T, Schepanski K, Banaschewski T, Neidhart M, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Christmann N, Janson K, Nees F, Neidhart M, Seefried B, Aden R, Andreassen OA, Westlye LT, van der Meer D, Fernández-Cabello S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Marquand A, Bernas A, Novarino G, Slater M, Gallego J, Pastor Á, Feixas G, Eiroa-Orosa FJ, Nöthen MM, Forstner AJ, Claus I, Mathey C, Heilmann-Heimbach S, Hoffmann P, Miller A, Sommer P, Schmitt K, Wilbertz J, Patraskaki M, Jirsa V, Petkoski S, Athanasiadis A-P, Spanlang B, Pearmund C, Hese S, Renner P, Jia T, Chang X, Dai Y, Xia Y, Li Y, Zhang Y, Calhoun V, Thompson P, Clinton N, Desrivières S, Agunbiade K, Yu X, Zhang Z, Chen D, Young AH, Schwalber A, Köhler V, Stahl B, Ogoh G, Schikowski T, Brandlistuen R. 2025. Projecting the morbidity burden of mental and behavioral disorders associated with increasing humid heat in Shanghai. Nature Mental Health. 3(12), 1532–1544. mla: Liang, Chen, et al. “Projecting the Morbidity Burden of Mental and Behavioral Disorders Associated with Increasing Humid Heat in Shanghai.” Nature Mental Health, vol. 3, no. 12, Springer Nature, 2025, pp. 1532–44, doi:10.1038/s44220-025-00519-y. short: C. Liang, J. Yuan, R. Zhang, X. Tang, G. Schumann, E. Hitchen, E. Polemiti, E. Serin, H. Kebir, T.A. Lett, N. Vaidya, J.-C. Roy, H. Walter, A. Heinz, M. Ralser, S. Twardziok, R. Eils, M. Jentsch, U.-H. Taron, T. Schütz, K. Schepanski, T. Banaschewski, M. Neidhart, A. Meyer-Lindenberg, H. Tost, N. Holz, E. Schwarz, A. Stringaris, N. Christmann, K. Janson, F. Nees, M. Neidhart, B. Seefried, R. Aden, O.A. Andreassen, L.T. Westlye, D. van der Meer, S. Fernández-Cabello, R. Kjelkenes, H. Ask, M. Rapp, M. Tschorn, S.J. Böttger, A. Marquand, A. Bernas, G. Novarino, M. Slater, J. Gallego, Á. Pastor, G. Feixas, F.J. Eiroa-Orosa, M.M. Nöthen, A.J. Forstner, I. Claus, C. Mathey, S. Heilmann-Heimbach, P. Hoffmann, A. Miller, P. Sommer, K. Schmitt, J. Wilbertz, M. Patraskaki, V. Jirsa, S. Petkoski, A.-P. Athanasiadis, B. Spanlang, C. Pearmund, S. Hese, P. Renner, T. Jia, X. Chang, Y. Dai, Y. Xia, Y. Li, Y. Zhang, V. Calhoun, P. Thompson, N. Clinton, S. Desrivières, K. Agunbiade, X. Yu, Z. Zhang, D. Chen, A.H. Young, A. Schwalber, V. Köhler, B. Stahl, G. Ogoh, T. Schikowski, R. Brandlistuen, Nature Mental Health 3 (2025) 1532–1544. date_created: 2025-12-29T12:11:28Z date_published: 2025-12-01T00:00:00Z date_updated: 2026-01-05T12:02:29Z day: '01' department: - _id: GaNo doi: 10.1038/s44220-025-00519-y intvolume: ' 3' issue: '12' language: - iso: eng month: '12' oa_version: None page: 1532-1544 project: - _id: 349d1832-11ca-11ed-8bc3-d79b574010e0 grant_number: '101057429' name: Reducing the impact of major environmental challenges on mental health publication: Nature Mental Health publication_identifier: issn: - 2731-6076 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Projecting the morbidity burden of mental and behavioral disorders associated with increasing humid heat in Shanghai type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 3 year: '2025' ... --- OA_type: closed access _id: '20869' abstract: - lang: eng text: "Premise: What maintains trait divergence in the face of gene flow? Two varieties of wild snapdragon (Antirrhinum majus) characterized by divergent flower color hybridize in their native range. Selection on flower color genes is indicated by sharp clines, but the selective agents have not been demonstrated. Although previous work has focused on pollinators, pigmentation genes can also contribute to abiotic stress tolerance. We hypothesized that pigmentation in A. majus mediates stress tolerance, which could contribute to hybrid zone maintenance through parental niche divergence or hybrid maladaptation. Specifically, we tested whether morphotype mediates drought tolerance in an experiment comparing magenta-flowered var. pseudomajus, yellow-flowered var. striatum, and their pink-flowered hybrid cross.\r\nMethods: We experimentally compared drought tolerance of each morphotype from allopatric crosses within and between varieties using three greenhouse treatments. Control plants were watered as needed, while drought-treated plants were watered half as often, either from the transplant stage (“early” drought), or from flowering onset (“late” drought).\r\nResults: Parental morphotypes responded identically to drought in fitness and most phenotypic traits. However, hybrids had lower survival (14%) under late drought stress than parental morphotypes (70%). All hybrids that flowered in the late drought treatment died, compared to ~20% of flowering parental morphotypes.\r\nConclusions: Hybrid maladaptation to abiotic stress could potentially contribute to flower color divergence in the face of gene flow in A. majus. Further research should test the relevance of our results to field conditions and explicitly probe the role of flower color genes in drought tolerance." acknowledgement: Thank you to Doug Schemske and Nick Barton forcritically reviewing the manuscript, Beatriz Pablo Car-mona for assisting with data collection, Melinda Pickupand Eva Cereghetti for seedlings, and Louise Arathoon,Ksenia Khudiakova, Georg Rieckh, Daria Shiplina, andAnja Westram for help with experimental maintenance.We sincerely thank the Associate Editor Brenda Grewelland two anonymous reviewers for their thoughtfulcomments and suggestions, which substantially improved the clarity and quality of our manuscript. C.B. receivedfunding from the European Union's Horizon 2020 researchand innovation programme under the Marie Skłodowska‐Curie Grant Agreement No. 754411 article_number: e70129 article_processing_charge: No article_type: original author: - first_name: Alexandre full_name: Fuster‐Calvo, Alexandre last_name: Fuster‐Calvo - first_name: Coline C. full_name: Jaworski, Coline C. last_name: Jaworski - first_name: Thomas full_name: Ellis, Thomas id: 3153D6D4-F248-11E8-B48F-1D18A9856A87 last_name: Ellis orcid: 0000-0002-8511-0254 - first_name: Carina full_name: Baskett, Carina id: 3B4A7CE2-F248-11E8-B48F-1D18A9856A87 last_name: Baskett orcid: 0000-0002-7354-8574 citation: ama: Fuster‐Calvo A, Jaworski CC, Ellis T, Baskett C. Reduced fitness under drought stress in F1 hybrids of Antirrhinum majus varieties with divergent flower colors. American Journal of Botany. 2025;112(12). doi:10.1002/ajb2.70129 apa: Fuster‐Calvo, A., Jaworski, C. C., Ellis, T., & Baskett, C. (2025). Reduced fitness under drought stress in F1 hybrids of Antirrhinum majus varieties with divergent flower colors. American Journal of Botany. Wiley. https://doi.org/10.1002/ajb2.70129 chicago: Fuster‐Calvo, Alexandre, Coline C. Jaworski, Thomas Ellis, and Carina Baskett. “Reduced Fitness under Drought Stress in F1 Hybrids of Antirrhinum Majus Varieties with Divergent Flower Colors.” American Journal of Botany. Wiley, 2025. https://doi.org/10.1002/ajb2.70129. ieee: A. Fuster‐Calvo, C. C. Jaworski, T. Ellis, and C. Baskett, “Reduced fitness under drought stress in F1 hybrids of Antirrhinum majus varieties with divergent flower colors,” American Journal of Botany, vol. 112, no. 12. Wiley, 2025. ista: Fuster‐Calvo A, Jaworski CC, Ellis T, Baskett C. 2025. Reduced fitness under drought stress in F1 hybrids of Antirrhinum majus varieties with divergent flower colors. American Journal of Botany. 112(12), e70129. mla: Fuster‐Calvo, Alexandre, et al. “Reduced Fitness under Drought Stress in F1 Hybrids of Antirrhinum Majus Varieties with Divergent Flower Colors.” American Journal of Botany, vol. 112, no. 12, e70129, Wiley, 2025, doi:10.1002/ajb2.70129. short: A. Fuster‐Calvo, C.C. Jaworski, T. Ellis, C. Baskett, American Journal of Botany 112 (2025). date_created: 2025-12-29T12:14:26Z date_published: 2025-12-01T00:00:00Z date_updated: 2026-01-05T11:56:22Z day: '01' department: - _id: NiBa doi: 10.1002/ajb2.70129 ec_funded: 1 external_id: pmid: - '41327576 ' intvolume: ' 112' issue: '12' language: - iso: eng month: '12' oa_version: None pmid: 1 project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: American Journal of Botany publication_identifier: eissn: - 1537-2197 issn: - 0002-9122 publication_status: published publisher: Wiley quality_controlled: '1' related_material: link: - relation: software url: https://github.com/Alex-Fuster/hybrids_drought scopus_import: '1' status: public title: Reduced fitness under drought stress in F1 hybrids of Antirrhinum majus varieties with divergent flower colors type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 112 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20925' abstract: - lang: eng text: 'We prove normal typicality and dynamical typicality for a (centered) random block-band matrix model with block-dependent variances. A key feature of our model is that we achieve intermediate equilibration times, an aspect that has not been proven rigorously in any model before. Our proof builds on recently established concentration estimates for products of resolvents of Wigner type random matrices (Erdős and Riabov in Commun Math Phys 405(12): 282, 2024) and an intricate analysis of the deterministic approximation.' acknowledgement: L.E. and J.H. are supported by the ERC Advanced Grant “RMTBeyond” No. 101020331. Moreover, J.H. acknowledges (partial) financial support by the ERC Consolidator Grant “ProbQuant” (jointly with the Swiss State Secretariat for Education, Research and Innovation). C.V. was (partially) supported by the German Academic Scholarship Foundation and the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – TRR 352 – Project-ID 470903074. Moreover, C.V. acknowledges (partial) financial support by the ERC Starting Grant “FermiMath" No. 101040991 and the ERC Consolidator Grant “RAMBAS” No. 10104424, funded by the European Union. Open access funding provided by Institute of Science and Technology (IST Austria). article_number: '5' article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 - first_name: Sven Joscha full_name: Henheik, Sven Joscha id: 31d731d7-d235-11ea-ad11-b50331c8d7fb last_name: Henheik orcid: 0000-0003-1106-327X - first_name: Cornelia full_name: Vogel, Cornelia id: 1cd0554a-ea28-11f0-9f40-ff76440883cd last_name: Vogel citation: ama: Erdös L, Henheik SJ, Vogel C. Normal typicality and dynamical typicality for a random block-band matrix model. Letters in Mathematical Physics. 2025;116. doi:10.1007/s11005-025-02037-5 apa: Erdös, L., Henheik, S. J., & Vogel, C. (2025). Normal typicality and dynamical typicality for a random block-band matrix model. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-025-02037-5 chicago: Erdös, László, Sven Joscha Henheik, and Cornelia Vogel. “Normal Typicality and Dynamical Typicality for a Random Block-Band Matrix Model.” Letters in Mathematical Physics. Springer Nature, 2025. https://doi.org/10.1007/s11005-025-02037-5. ieee: L. Erdös, S. J. Henheik, and C. Vogel, “Normal typicality and dynamical typicality for a random block-band matrix model,” Letters in Mathematical Physics, vol. 116. Springer Nature, 2025. ista: Erdös L, Henheik SJ, Vogel C. 2025. Normal typicality and dynamical typicality for a random block-band matrix model. Letters in Mathematical Physics. 116, 5. mla: Erdös, László, et al. “Normal Typicality and Dynamical Typicality for a Random Block-Band Matrix Model.” Letters in Mathematical Physics, vol. 116, 5, Springer Nature, 2025, doi:10.1007/s11005-025-02037-5. short: L. Erdös, S.J. Henheik, C. Vogel, Letters in Mathematical Physics 116 (2025). corr_author: '1' date_created: 2026-01-04T23:01:33Z date_published: 2025-12-26T00:00:00Z date_updated: 2026-01-05T11:22:25Z day: '26' ddc: - '510' department: - _id: LaEr doi: 10.1007/s11005-025-02037-5 ec_funded: 1 external_id: pmid: - '41459414' has_accepted_license: '1' intvolume: ' 116' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1007/s11005-025-02037-5 month: '12' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 62796744-2b32-11ec-9570-940b20777f1d call_identifier: H2020 grant_number: '101020331' name: Random matrices beyond Wigner-Dyson-Mehta publication: Letters in Mathematical Physics publication_identifier: eissn: - 1573-0530 issn: - 0377-9017 publication_status: epub_ahead publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Normal typicality and dynamical typicality for a random block-band matrix model tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 116 year: '2025' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '20929' abstract: - lang: eng text: Insulin/insulin-like growth factor signaling inhibits FOXO transcription factors to control development, homeostasis, and aging. Here, we use proximity labeling to identify proteins interacting with the C. elegans FOXO DAF-16. We show that in well-fed, unstressed animals harboring active insulin signaling, DAF-16 forms a complex with the PAR-1/MARK serine/threonine kinase, a key regulator of cell polarity. PAR-1 inhibits DAF-16 accumulation and promotes DAF-16 phosphorylation at S249, at a conserved motif that PAR-1/human MARK2 phosphorylates in vitro. DAF-2 insulin-like receptor signaling stimulates DAF-16 S249 phosphorylation, suggesting DAF-2 activates PAR-1. DAF-2 also promotes PAR-1 expression by inhibiting DAF-16. PAR-1 knockdown, or DAF-16 S249A, prolong lifespan, whereas phosphomimetic DAF-16 S249D suppresses the longevity of daf-2 mutants. At low insulin signaling, DAF-16 proximity labeling highlights transcription factors, chromatin regulators, and DNA repair proteins. One interactor, the zinc finger/homeobox protein ZFH-2/ZFHX3, forms a complex with DAF-16 and prolongs lifespan. Our work provides entry points for hypothesis-driven studies of FOXO function and longevity. acknowledged_ssus: - _id: Bio acknowledgement: We thank de Bono lab members for helpful comments on the manuscript, and the Mass Spec Facility at the Max Perutz Labs, notably WeiQiang Chen and Markus Hartl, for invaluable discussions and comments on mass spec analyses of worm samples. All LC-MS/MS analyses were performed on instruments of the Vienna BioCenter Core Facilities (VBCF). Microscopy was supported by the Scientific Services Units (SSU) of ISTA through resources provided by the Imaging & Optics Facility (IOF). We are grateful to Dr. Geraldine Seydoux (Johns Hopkins University) for worm strains and plasmids, and Dr. Seung-Jae V. Lee (KAIST) for RNAi clones. We are grateful to Ekaterina Lashmanova for designing the daf-16::TbID::mNG::3xFLAG knock-in construct and for her outstanding support in the lab. This work was supported by a Wellcome Investigator Award (209504/A/17/Z) to MdB and an ISTplus Fellowship to MA (Marie Sklodowska-Curie agreement No 754411). article_number: '11355' article_processing_charge: Yes article_type: original author: - first_name: Murat full_name: Artan, Murat id: C407B586-6052-11E9-B3AE-7006E6697425 last_name: Artan orcid: 0000-0001-8945-6992 - first_name: Hanna full_name: Schön, Hanna id: C8E17EDC-D7AA-11E9-B7B7-45ECE5697425 last_name: Schön - first_name: Mario full_name: De Bono, Mario id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87 last_name: De Bono orcid: 0000-0001-8347-0443 citation: ama: Artan M, Schön H, de Bono M. Proximity labeling of DAF-16 FOXO highlights aging regulatory proteins. Nature Communications. 2025;16. doi:10.1038/s41467-025-66409-0 apa: Artan, M., Schön, H., & de Bono, M. (2025). Proximity labeling of DAF-16 FOXO highlights aging regulatory proteins. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-025-66409-0 chicago: Artan, Murat, Hanna Schön, and Mario de Bono. “Proximity Labeling of DAF-16 FOXO Highlights Aging Regulatory Proteins.” Nature Communications. Springer Nature, 2025. https://doi.org/10.1038/s41467-025-66409-0. ieee: M. Artan, H. Schön, and M. de Bono, “Proximity labeling of DAF-16 FOXO highlights aging regulatory proteins,” Nature Communications, vol. 16. Springer Nature, 2025. ista: Artan M, Schön H, de Bono M. 2025. Proximity labeling of DAF-16 FOXO highlights aging regulatory proteins. Nature Communications. 16, 11355. mla: Artan, Murat, et al. “Proximity Labeling of DAF-16 FOXO Highlights Aging Regulatory Proteins.” Nature Communications, vol. 16, 11355, Springer Nature, 2025, doi:10.1038/s41467-025-66409-0. short: M. Artan, H. Schön, M. de Bono, Nature Communications 16 (2025). corr_author: '1' date_created: 2026-01-04T23:01:34Z date_published: 2025-12-11T00:00:00Z date_updated: 2026-01-05T11:00:03Z day: '11' ddc: - '570' department: - _id: MaDe doi: 10.1038/s41467-025-66409-0 ec_funded: 1 external_id: pmid: - '41381452' file: - access_level: open_access checksum: 748e2e003b878b85b6048d51621d6aae content_type: application/pdf creator: dernst date_created: 2026-01-05T10:58:28Z date_updated: 2026-01-05T10:58:28Z file_id: '20941' file_name: 2025_NatureComm_Artan.pdf file_size: 1642352 relation: main_file success: 1 file_date_updated: 2026-01-05T10:58:28Z has_accepted_license: '1' intvolume: ' 16' language: - iso: eng month: '12' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships - _id: 23870BE8-32DE-11EA-91FC-C7463DDC885E grant_number: 209504/A/17/Z name: Molecular mechanisms of neural circuit function publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Proximity labeling of DAF-16 FOXO highlights aging regulatory proteins tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 16 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20935' abstract: - lang: eng text: In situ cryo-electron tomography (cryo-ET) has emerged as the method of choice to investigate the structures of biomolecules in their native context. However, challenges remain for the efficient production and sharing of large-scale cryo-ET datasets. Here, we combined cryogenic plasma-based focused ion beam (cryo-PFIB) milling with recent advances in cryo-ET acquisition and processing to generate a dataset of 1,829 annotated tomograms of the green alga Chlamydomonas reinhardtii, which we provide as a community resource to drive method development and inspire biological discovery. To assay data quality, we performed subtomogram averaging of both soluble and membrane-bound complexes ranging in size from >3 MDa to ∼200 kDa, including 80S ribosomes, Rubisco, nucleosomes, microtubules, clathrin, photosystem II, and mitochondrial ATP synthase. The majority of these density maps reached sub-nanometer resolution, demonstrating the potential of this C. reinhardtii dataset as well as the promise of modern cryo-ET workflows and open data sharing to empower visual proteomics. acknowledgement: Calculations were performed at the Max Planck Institute of Biochemistry and the Raven Supercomputer of the Max Planck Computing and Data Facility (MPCDF) in Garching, Germany; at the sciCORE (http://scicore.unibas.ch/) scientific computing center at the University of Basel, Switzerland; and at Thermo Fisher Scientific, in Eindhoven, the Netherlands. This work was supported by Thermo Fisher Scientific. All lamella preparations and tilt-series collections used in this work were conducted at Thermo Fisher R&D facilities in Brno and Eindhoven, utilizing Arctis and Krios microscopes. This work was also supported by the ERC consolidator grant “cryOcean” (fulfilled by the Swiss State Secretariat for Education, Research and Innovation, M822.00045) as well as a Swiss Nanoscience Institute PhD school grant to B.D.E. and P.V.d.S., an EMBO long-term postdoctoral fellowship (ALTF-383-2022) to G.T., an SNSF Postdoctoral Fellowship (project 210561) to F.W., a Boehringer Ingelheim Fonds fellowship to L.L., and by the Max Planck Society to J.A.G.B. and J.M.P. article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Ron full_name: Kelley, Ron last_name: Kelley - first_name: Sagar full_name: Khavnekar, Sagar last_name: Khavnekar - first_name: Ricardo D. full_name: Righetto, Ricardo D. last_name: Righetto - first_name: Jessica full_name: Heebner, Jessica last_name: Heebner - first_name: Martin full_name: Obr, Martin id: 4741CA5A-F248-11E8-B48F-1D18A9856A87 last_name: Obr orcid: 0000-0003-1756-6564 - first_name: Xianjun full_name: Zhang, Xianjun last_name: Zhang - first_name: Saikat full_name: Chakraborty, Saikat last_name: Chakraborty - first_name: Grigory full_name: Tagiltsev, Grigory last_name: Tagiltsev - first_name: Alicia full_name: Michael, Alicia id: 6437c950-2a03-11ee-914d-d6476dd7b75c last_name: Michael orcid: 0000-0002-6080-839X - first_name: Sofie full_name: Van Dorst, Sofie last_name: Van Dorst - first_name: Florent full_name: Waltz, Florent last_name: Waltz - first_name: Caitlyn L. full_name: Mccafferty, Caitlyn L. last_name: Mccafferty - first_name: Lorenz full_name: Lamm, Lorenz last_name: Lamm - first_name: Simon full_name: Zufferey, Simon last_name: Zufferey - first_name: Philippe full_name: Van Der Stappen, Philippe last_name: Van Der Stappen - first_name: Hugo full_name: Van Den Hoek, Hugo last_name: Van Den Hoek - first_name: Wojciech full_name: Wietrzynski, Wojciech last_name: Wietrzynski - first_name: Pavol full_name: Harar, Pavol id: e03d953a-6e8c-11ef-99e4-f0717d385cd5 last_name: Harar orcid: 0000-0001-5206-1794 - first_name: William full_name: Wan, William last_name: Wan - first_name: John A.G. full_name: Briggs, John A.G. last_name: Briggs - first_name: Jürgen M. full_name: Plitzko, Jürgen M. last_name: Plitzko - first_name: Benjamin D. full_name: Engel, Benjamin D. last_name: Engel - first_name: Abhay full_name: Kotecha, Abhay last_name: Kotecha citation: ama: Kelley R, Khavnekar S, Righetto RD, et al. Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii. Molecular Cell. doi:10.1016/j.molcel.2025.11.029 apa: Kelley, R., Khavnekar, S., Righetto, R. D., Heebner, J., Obr, M., Zhang, X., … Kotecha, A. (n.d.). Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii. Molecular Cell. Elsevier. https://doi.org/10.1016/j.molcel.2025.11.029 chicago: Kelley, Ron, Sagar Khavnekar, Ricardo D. Righetto, Jessica Heebner, Martin Obr, Xianjun Zhang, Saikat Chakraborty, et al. “Toward Community-Driven Visual Proteomics with Large-Scale Cryo-Electron Tomography of Chlamydomonas Reinhardtii.” Molecular Cell. Elsevier, n.d. https://doi.org/10.1016/j.molcel.2025.11.029. ieee: R. Kelley et al., “Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii,” Molecular Cell. Elsevier. ista: Kelley R, Khavnekar S, Righetto RD, Heebner J, Obr M, Zhang X, Chakraborty S, Tagiltsev G, Michael AK, Van Dorst S, Waltz F, Mccafferty CL, Lamm L, Zufferey S, Van Der Stappen P, Van Den Hoek H, Wietrzynski W, Harar P, Wan W, Briggs JAG, Plitzko JM, Engel BD, Kotecha A. Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii. Molecular Cell. mla: Kelley, Ron, et al. “Toward Community-Driven Visual Proteomics with Large-Scale Cryo-Electron Tomography of Chlamydomonas Reinhardtii.” Molecular Cell, Elsevier, doi:10.1016/j.molcel.2025.11.029. short: R. Kelley, S. Khavnekar, R.D. Righetto, J. Heebner, M. Obr, X. Zhang, S. Chakraborty, G. Tagiltsev, A.K. Michael, S. Van Dorst, F. Waltz, C.L. Mccafferty, L. Lamm, S. Zufferey, P. Van Der Stappen, H. Van Den Hoek, W. Wietrzynski, P. Harar, W. Wan, J.A.G. Briggs, J.M. Plitzko, B.D. Engel, A. Kotecha, Molecular Cell (n.d.). date_created: 2026-01-04T23:01:36Z date_published: 2025-12-19T00:00:00Z date_updated: 2026-01-05T08:32:47Z day: '19' ddc: - '570' department: - _id: AlMi doi: 10.1016/j.molcel.2025.11.029 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1016/j.molcel.2025.11.029 month: '12' oa: 1 oa_version: Published Version publication: Molecular Cell publication_identifier: eissn: - 1097-4164 issn: - 1097-2765 publication_status: inpress publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_type: closed access _id: '20973' abstract: - lang: eng text: CuAgSe-based materials are attractive for low-temperature thermoelectric (TE) applications but are limited by bipolar conduction and relatively high thermal conductivity. Herein, we report a ligand-free aqueous synthesis of Te-doped CuAgSe (CuAgSe1-xTex), where structural and electronic modulation improve carrier transport and suppress phonon propagation. Ex-situ time-resolved X-ray diffraction reveals a spontaneous growth mechanism, while density functional theory calculations show that Te-5s and 5p orbitals hybridization generates localized states and an asymmetric density of states, thereby enhancing the Seebeck coefficient. Electron microscopy and strain analyses confirm that Te-doping introduces a high density of lattice dislocations and grain boundaries, leading to a reduced lattice thermal conductivity of 0.11 W m−1K−1 at 443 K. These synergistic effects translate into device-level performance—the first integrated CuAgSe thermoelectric modules, exhibit a maximum cooling temperature difference of 27.3 K, and power density of 0.34 W cm−2 with a conversion efficiency of 3.6% at a modest temperature gradient of 136 K. These results demonstrate that CuAgSe1-xTex enables efficient energy harvesting and localized cooling under small temperature gradient, underscoring the importance of structural and electronic design beyond conventional zT benchmarks. acknowledgement: K.H.L. acknowledges financial support from the National Natural Science Foundation of China (NSFC) (Grant Number 22208293) and the National Foreign Expert Project (Y20240175). Y.L. acknowledges funding from the NSFC (Grant Number 22209034), the Innovation and Entrepreneurship Project of Overseas Returnees in Anhui Province (Grant Number 2022LCX002), and the Fundamental Research Funds for the Central Universities (JZ2024HGTB0239). Y.Z. acknowledges funding from the NSFC (Grant Number 52502313) and Wenzhou Basic Scientific Research Project (Grant Number G20240034). Q. W. acknowledges financial support from the NSFC (Grant Number 22208292), the High-Level Overseas-Educated Talents Return Program, and the “Pioneer” and “Leading Goose” R&D Program of Zhejiang [2025C04021]. K.H.L., Q. W., and X. Y. also acknowledge the Research Funds of the Institute of Zhejiang University-Quzhou (Grants No. IZQ2022RCZX101, IZQ2021RCZX003, IZQ2021RCZX002, and IZQ2024KJ0004). M.H. acknowledges the funding from the Australian Research Council and the iLAuNCH Trailblazer, Department of Education, Australia. M.H. acknowledges the computational support from the National Computational Infrastructure (NCI), Australia, and Pawsey Supercomputing Centre, Australia. article_number: e13035 article_processing_charge: No article_type: original author: - first_name: Weite full_name: Meng, Weite last_name: Meng - first_name: Mingquan full_name: Li, Mingquan last_name: Li - first_name: Qingyue full_name: Wang, Qingyue last_name: Wang - first_name: Pingan full_name: Song, Pingan last_name: Song - first_name: Xuan full_name: Yang, Xuan last_name: Yang - first_name: Wen Jun full_name: Wang, Wen Jun last_name: Wang - first_name: Min full_name: Hong, Min last_name: Hong - first_name: Maria full_name: Ibáñez, Maria id: 43C61214-F248-11E8-B48F-1D18A9856A87 last_name: Ibáñez orcid: 0000-0001-5013-2843 - first_name: Andreu full_name: Cabot, Andreu last_name: Cabot - first_name: Yu full_name: Zhang, Yu last_name: Zhang - first_name: Yu full_name: Liu, Yu last_name: Liu - first_name: Khak Ho full_name: Lim, Khak Ho last_name: Lim citation: ama: Meng W, Li M, Wang Q, et al. Efficient near room temperature thermoelectric cooling and power generation with CuAgSe. Small. 2025. doi:10.1002/smll.202513035 apa: Meng, W., Li, M., Wang, Q., Song, P., Yang, X., Wang, W. J., … Lim, K. H. (2025). Efficient near room temperature thermoelectric cooling and power generation with CuAgSe. Small. Wiley. https://doi.org/10.1002/smll.202513035 chicago: Meng, Weite, Mingquan Li, Qingyue Wang, Pingan Song, Xuan Yang, Wen Jun Wang, Min Hong, et al. “Efficient near Room Temperature Thermoelectric Cooling and Power Generation with CuAgSe.” Small. Wiley, 2025. https://doi.org/10.1002/smll.202513035. ieee: W. Meng et al., “Efficient near room temperature thermoelectric cooling and power generation with CuAgSe,” Small. Wiley, 2025. ista: Meng W, Li M, Wang Q, Song P, Yang X, Wang WJ, Hong M, Ibáñez M, Cabot A, Zhang Y, Liu Y, Lim KH. 2025. Efficient near room temperature thermoelectric cooling and power generation with CuAgSe. Small., e13035. mla: Meng, Weite, et al. “Efficient near Room Temperature Thermoelectric Cooling and Power Generation with CuAgSe.” Small, e13035, Wiley, 2025, doi:10.1002/smll.202513035. short: W. Meng, M. Li, Q. Wang, P. Song, X. Yang, W.J. Wang, M. Hong, M. Ibáñez, A. Cabot, Y. Zhang, Y. Liu, K.H. Lim, Small (2025). date_created: 2026-01-11T23:01:34Z date_published: 2025-12-30T00:00:00Z date_updated: 2026-01-12T09:37:19Z day: '30' department: - _id: MaIb doi: 10.1002/smll.202513035 external_id: pmid: - '41470065' language: - iso: eng month: '12' oa_version: None pmid: 1 publication: Small publication_identifier: eissn: - 1613-6829 issn: - 1613-6810 publication_status: epub_ahead publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: Efficient near room temperature thermoelectric cooling and power generation with CuAgSe type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ...