--- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '21883' abstract: - lang: eng text: Three-dimensional (3D) printing has rapidly developed from a niche hobbyist activity into a widely accessible and indispensable technology across multiple scientific disciplines. Within microscopy, optical engineering laboratories and imaging core facilities, 3D printing enables creating customised solutions for sample holders, optical components and everyday laboratory tools that traditionally required specialised machining. By providing rapid prototyping, low-cost production and reproducibility, 3D printing facilitates innovation and efficiency in facility operations. This article provides a perspective on the possibilities, challenges, and practical aspects of implementing 3D printing within microscopy core facilities. Instead of providing technical review about 3D printing, we focus on service organisation, user engagement, resource management and community-driven repositories for design dissemination. Our aim is to share insights with those considering the implementation of 3D printing as a service for developing add-on components to ease the operation of different aspects of the machine-park driven services and those who are managing advanced instrumentation within research groups. acknowledged_ssus: - _id: Bio - _id: M-Shop acknowledgement: "This work was supported by the Scientific Service Units (SSU) of Institute of Science and Technology Austria (ISTA) through resources provided by the Imaging & Optics Facility (IOF) and the MiBa Machine Shop. Specifically; Robert Hauschild (IOF), sharing designs, insights and pioneering 3D printing activities at the Imaging and Optics Facility; Bernhard Hochreiter (IOF), for support and testing of anoxic chamber. We also thank Ana Rita Carvalho Faria and Oliver Biehlmaier (Biozentrum University of Basel, Imaging Core Facility) for sharing the design of the adopted power meter.\r\nOpen Access funding provided by Institute of Science and Technology Austria." article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Mohammad full_name: Goudarzi, Mohammad id: 3384113A-F248-11E8-B48F-1D18A9856A87 last_name: Goudarzi - first_name: Maximilian full_name: Schuster, Maximilian id: 37e65def-d415-11eb-ae59-a7b67be103db last_name: Schuster - first_name: Arthur full_name: Milberger, Arthur last_name: Milberger - first_name: Manuel full_name: Gunkel, Manuel last_name: Gunkel - first_name: Stefan full_name: Terjung, Stefan last_name: Terjung - first_name: Gabriel full_name: Krens, Gabriel id: 2B819732-F248-11E8-B48F-1D18A9856A87 last_name: Krens orcid: 0000-0003-4761-5996 citation: ama: Goudarzi M, Schuster M, Milberger A, Gunkel M, Terjung S, Krens G. 3D printing in core facilities – Low pain, high gain. Journal of Microscopy. 2026;302(3):382-395. doi:10.1111/jmi.70106 apa: Goudarzi, M., Schuster, M., Milberger, A., Gunkel, M., Terjung, S., & Krens, G. (2026). 3D printing in core facilities – Low pain, high gain. Journal of Microscopy. Wiley. https://doi.org/10.1111/jmi.70106 chicago: Goudarzi, Mohammad, Maximilian Schuster, Arthur Milberger, Manuel Gunkel, Stefan Terjung, and Gabriel Krens. “3D Printing in Core Facilities – Low Pain, High Gain.” Journal of Microscopy. Wiley, 2026. https://doi.org/10.1111/jmi.70106. ieee: M. Goudarzi, M. Schuster, A. Milberger, M. Gunkel, S. Terjung, and G. Krens, “3D printing in core facilities – Low pain, high gain,” Journal of Microscopy, vol. 302, no. 3. Wiley, pp. 382–395, 2026. ista: Goudarzi M, Schuster M, Milberger A, Gunkel M, Terjung S, Krens G. 2026. 3D printing in core facilities – Low pain, high gain. Journal of Microscopy. 302(3), 382–395. mla: Goudarzi, Mohammad, et al. “3D Printing in Core Facilities – Low Pain, High Gain.” Journal of Microscopy, vol. 302, no. 3, Wiley, 2026, pp. 382–95, doi:10.1111/jmi.70106. short: M. Goudarzi, M. Schuster, A. Milberger, M. Gunkel, S. Terjung, G. Krens, Journal of Microscopy 302 (2026) 382–395. corr_author: '1' das_tickbox: '0' date_created: 2026-05-17T22:02:11Z date_published: 2026-06-01T00:00:00Z date_updated: 2026-07-27T14:02:46Z day: '01' ddc: - '600' department: - _id: Bio doi: 10.1111/jmi.70106 external_id: pmid: - '42104760' file: - access_level: open_access checksum: 06dfad92b1465ed614a1201b4129960a content_type: application/pdf creator: dernst date_created: 2026-07-27T14:01:34Z date_updated: 2026-07-27T14:01:34Z file_id: '22593' file_name: 2026_JourMicroscopy_Goudarzi.pdf file_size: 4625767 relation: main_file success: 1 file_date_updated: 2026-07-27T14:01:34Z fulldoi: https://doi.org/10.1111/jmi.70106 has_accepted_license: '1' intvolume: ' 302' issue: '3' language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 382-395 pmid: 1 publication: Journal of Microscopy publication_identifier: eissn: - 1365-2818 issn: - 0022-2720 publication_status: published publisher: Wiley quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: 3D printing in core facilities – Low pain, high gain 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: 302 year: '2026' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '21872' abstract: - lang: eng text: Magneto-optic Kerr effect (MOKE) is a powerful probe of broken time-reversal symmetry (T), typically used to study ferromagnets. While MOKE has been observed in some antiferromagnets (AFMs) with vanishing magnetization, it is often associated with structures whose symmetry is lower than basic collinear, bipartite order. In contrast, theory predicts a mechanism for MOKE intrinsic to all AFMs of A-type, i.e. layered AFMs in which ferromagnetic layers are antiferromagnetically aligned. Here we report the experimental confirmation of this mechanism in a bulk AFM. We achieve this by measuring the imaginary component of MOKE as a function of photon energy in MnBi2Te4, an A-type AFM where T is preserved in combination with a translation, and comparing the experimental results with model calculations. Our model suggests that observable MOKE should be expected in all collinear A-type AFMs with out-of-plane spin order, thus enabling optical detection of AFM domains and expanding the scope of MOKE to few-layer AFMs. acknowledgement: We thank Christine Kuntscher for providing optical conductivity and reflectance data published in ref. 33, and Nicola Spaldin, Joel Moore and Bevin Huang for useful discussions. V.S. and J.O. received support from the Gordon and Betty Moore Foundation’s EPiQS Initiative through Grant GBMF4537 awarded to J.O. at UC Berkeley. Experimental and theoretical work at LBNL and UC Berkeley was funded by the Quantum Materials (KC2202) program under the U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences, Materials Sciences and Engineering Division under Contract No. DE-AC02-05CH11231. Work at the University of Kansas was supported by the U.S. Department of Energy, Office of Science, Basic Energy Sciences, EPSCoR, and Materials Sciences and Engineering Division under Award No. DE-SC0025319. Parts of device fabrication were performed in the KU Nanofabrication Facility, which is supported by the National Institutes of Health NIGMS P30GM145499. Work at ORNL was supported by the U. S. Department of Energy, Office of Science, Basic Energy Sciences, Materials Sciences and Engineering Division. For the DFT calculations we used resources provided by the Swedish National Infrastructure for Computing (SNIC) at C3SE. We acknowledge support from the US National Science Foundation (NSF) Grant Number 2201516 under the Accelnet program of Office of International Science and Engineering (OISE). This publication is funded in part by a QuantEmX grant from ICAM and the Gordon and Betty Moore Foundation through Grant GBMF9616 to S. K. article_number: '7364' article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Veronika full_name: Sunko, Veronika id: 23cb1cf6-2c7a-11ef-91a4-f72fc19f20b3 last_name: Sunko orcid: 0000-0003-2724-3523 - first_name: Salman full_name: Ahsanullah, Salman last_name: Ahsanullah - first_name: Vivek full_name: Jain, Vivek last_name: Jain - first_name: Sophie full_name: Weber, Sophie last_name: Weber - first_name: Sivaloganathan full_name: Kumaran, Sivaloganathan last_name: Kumaran - first_name: Jiaqiang full_name: Yan, Jiaqiang last_name: Yan - first_name: Joseph full_name: Orenstein, Joseph last_name: Orenstein - first_name: Dmitry full_name: Ovchinnikov, Dmitry last_name: Ovchinnikov citation: ama: Sunko V, Ahsanullah S, Jain V, et al. Magneto-optical Kerr effect in an A-type antiferromagnet. Nature Communications. 2026;17. doi:10.1038/s41467-026-72577-4 apa: Sunko, V., Ahsanullah, S., Jain, V., Weber, S., Kumaran, S., Yan, J., … Ovchinnikov, D. (2026). Magneto-optical Kerr effect in an A-type antiferromagnet. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-026-72577-4 chicago: Sunko, Veronika, Salman Ahsanullah, Vivek Jain, Sophie Weber, Sivaloganathan Kumaran, Jiaqiang Yan, Joseph Orenstein, and Dmitry Ovchinnikov. “Magneto-Optical Kerr Effect in an A-Type Antiferromagnet.” Nature Communications. Springer Nature, 2026. https://doi.org/10.1038/s41467-026-72577-4. ieee: V. Sunko et al., “Magneto-optical Kerr effect in an A-type antiferromagnet,” Nature Communications, vol. 17. Springer Nature, 2026. ista: Sunko V, Ahsanullah S, Jain V, Weber S, Kumaran S, Yan J, Orenstein J, Ovchinnikov D. 2026. Magneto-optical Kerr effect in an A-type antiferromagnet. Nature Communications. 17, 7364. mla: Sunko, Veronika, et al. “Magneto-Optical Kerr Effect in an A-Type Antiferromagnet.” Nature Communications, vol. 17, 7364, Springer Nature, 2026, doi:10.1038/s41467-026-72577-4. short: V. Sunko, S. Ahsanullah, V. Jain, S. Weber, S. Kumaran, J. Yan, J. Orenstein, D. Ovchinnikov, Nature Communications 17 (2026). corr_author: '1' das_tickbox: '1' dataavailabilitystatement: The datasets generated and analyzed during the study of “Magneto-optical Kerr effect in an A-type antiferromagnet" are available in the ISTA REx repository with https://doi.org/10.15479/AT-ISTA-21422. date_created: 2026-05-12T21:31:27Z date_published: 2026-07-27T00:00:00Z date_updated: 2026-07-27T13:59:27Z day: '27' ddc: - '530' department: - _id: VeSu doi: 10.1038/s41467-026-72577-4 external_id: arxiv: - '2504.16167' file: - access_level: open_access checksum: bde19c4342933c05fe801c2bef7dc732 content_type: application/pdf creator: dernst date_created: 2026-07-27T13:58:06Z date_updated: 2026-07-27T13:58:06Z file_id: '22592' file_name: 2026_NatureComm_Sunko.pdf file_size: 1054779 relation: main_file success: 1 file_date_updated: 2026-07-27T13:58:06Z fulldoi: https://doi.org/10.1038/s41467-026-72577-4 has_accepted_license: '1' intvolume: ' 17' language: - iso: eng month: '07' oa: 1 oa_version: Published Version publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '21422' relation: research_data status: public researchdata_availability: yes scopus_import: '1' status: public supplementarymaterial: yes title: Magneto-optical Kerr effect in an A-type antiferromagnet 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: 17 year: '2026' ... --- OA_type: closed access _id: '21950' abstract: - lang: eng text: One Health initiatives are modern paradigms for research and health care practices in various fields. Concrete definitions of the One Health framework, however, remain heterogeneous, leading to conceptual problems and uncertainties in the application of the framework. This article discusses several approaches to the One Health concept, and their associated consequences, with special focus on animal experimentation. The first issue addressed is how One Health should be defined, as well as what (and who) should be considered within a One Health approach. In order to shed further light on this, we explore the history of animals in biomedical science, highlighting historical milestones in the use of animal models, as well as the development and current state of ethical considerations in the field of animal experimentation. The second issue comes with the inclusion of animal experimentation per se as part of the One Health concept. Therefore, particular attention is paid to bioethical principles and the resulting problems that can arise when applying them to the One Health concept. Arguments such as the idea of inequality between humans and non-human animals, and the premise that all actions are done for the benefit of humans, are raised and then used to explore the question of whether the One Health concept is compatible with existing bioethical principles. Based on the bioethical principles of protecting the environment, the biodiversity and biosphere, this paper seeks an inclusive perspective of the One Health concept. Successful solutions will be based on this concept, which embraces all living beings. The authors conclude that a multispecies ethics approach could help create a more ethical ecosystem that is aligned with the wellbeing of all life on a shared planet. article_processing_charge: No article_type: original author: - first_name: Yesim Isil full_name: Ulman, Yesim Isil last_name: Ulman - first_name: Nikos full_name: Kostomitsopoulos, Nikos last_name: Kostomitsopoulos - first_name: Samuel full_name: Camenzind, Samuel last_name: Camenzind - first_name: Maria full_name: Kitsara, Maria last_name: Kitsara - first_name: Ilja Richard full_name: Pavone, Ilja Richard last_name: Pavone - first_name: Sophie full_name: Schober, Sophie id: 80b0a0ef-4b9f-11ec-b119-8d9d94c4a1d8 last_name: Schober citation: ama: 'Ulman YI, Kostomitsopoulos N, Camenzind S, Kitsara M, Pavone IR, Schober S. Emerging bioethical conflicts: One Health and animal experimentation. Alternatives to Laboratory Animals. 2026;54(4):226-235. doi:10.1177/02611929261453330' apa: 'Ulman, Y. I., Kostomitsopoulos, N., Camenzind, S., Kitsara, M., Pavone, I. R., & Schober, S. (2026). Emerging bioethical conflicts: One Health and animal experimentation. Alternatives to Laboratory Animals. SAGE Publications. https://doi.org/10.1177/02611929261453330' chicago: 'Ulman, Yesim Isil, Nikos Kostomitsopoulos, Samuel Camenzind, Maria Kitsara, Ilja Richard Pavone, and Sophie Schober. “Emerging Bioethical Conflicts: One Health and Animal Experimentation.” Alternatives to Laboratory Animals. SAGE Publications, 2026. https://doi.org/10.1177/02611929261453330.' ieee: 'Y. I. Ulman, N. Kostomitsopoulos, S. Camenzind, M. Kitsara, I. R. Pavone, and S. Schober, “Emerging bioethical conflicts: One Health and animal experimentation,” Alternatives to Laboratory Animals, vol. 54, no. 4. SAGE Publications, pp. 226–235, 2026.' ista: 'Ulman YI, Kostomitsopoulos N, Camenzind S, Kitsara M, Pavone IR, Schober S. 2026. Emerging bioethical conflicts: One Health and animal experimentation. Alternatives to Laboratory Animals. 54(4), 226–235.' mla: 'Ulman, Yesim Isil, et al. “Emerging Bioethical Conflicts: One Health and Animal Experimentation.” Alternatives to Laboratory Animals, vol. 54, no. 4, SAGE Publications, 2026, pp. 226–35, doi:10.1177/02611929261453330.' short: Y.I. Ulman, N. Kostomitsopoulos, S. Camenzind, M. Kitsara, I.R. Pavone, S. Schober, Alternatives to Laboratory Animals 54 (2026) 226–235. corr_author: '1' das_tickbox: '1' date_created: 2026-06-07T22:01:36Z date_published: 2026-07-01T00:00:00Z date_updated: 2026-07-27T14:13:17Z day: '01' department: - _id: PreCl doi: 10.1177/02611929261453330 external_id: pmid: - '42185081' fulldoi: https://doi.org/10.1177/02611929261453330 intvolume: ' 54' issue: '4' language: - iso: eng month: '07' oa_version: None page: 226-235 pmid: 1 publication: Alternatives to Laboratory Animals publication_identifier: eissn: - 2632-3559 issn: - 0261-1929 publication_status: published publisher: SAGE Publications quality_controlled: '1' scopus_import: '1' status: public title: 'Emerging bioethical conflicts: One Health and animal experimentation' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 54 year: '2026' ... --- OA_type: closed access _id: '21900' abstract: - lang: eng text: Individually silencing 125 fruit fly genes reveals opposing fitness effects of mutations between females and males, as well as between germline and somatic tissues. article_processing_charge: No article_type: comment author: - first_name: Filip full_name: Ruzicka, Filip id: 347955dd-57b0-11ee-9095-c28bdd368f4b last_name: Ruzicka citation: ama: Ruzicka F. Reverse genetics of sexual antagonism. Nature Ecology & Evolution. 2026;10:1035-1036. doi:10.1038/s41559-026-03036-y apa: Ruzicka, F. (2026). Reverse genetics of sexual antagonism. Nature Ecology & Evolution. Springer Nature. https://doi.org/10.1038/s41559-026-03036-y chicago: Ruzicka, Filip. “Reverse Genetics of Sexual Antagonism.” Nature Ecology & Evolution. Springer Nature, 2026. https://doi.org/10.1038/s41559-026-03036-y. ieee: F. Ruzicka, “Reverse genetics of sexual antagonism,” Nature Ecology & Evolution, vol. 10. Springer Nature, pp. 1035–1036, 2026. ista: Ruzicka F. 2026. Reverse genetics of sexual antagonism. Nature Ecology & Evolution. 10, 1035–1036. mla: Ruzicka, Filip. “Reverse Genetics of Sexual Antagonism.” Nature Ecology & Evolution, vol. 10, Springer Nature, 2026, pp. 1035–36, doi:10.1038/s41559-026-03036-y. short: F. Ruzicka, Nature Ecology & Evolution 10 (2026) 1035–1036. corr_author: '1' das_tickbox: '0' date_created: 2026-05-20T14:36:45Z date_published: 2026-06-01T00:00:00Z date_updated: 2026-07-27T14:05:02Z day: '01' department: - _id: BeVi doi: 10.1038/s41559-026-03036-y external_id: pmid: - '42067637 ' fulldoi: https://doi.org/10.1038/s41559-026-03036-y intvolume: ' 10' language: - iso: eng month: '06' oa_version: None page: 1035-1036 pmid: 1 publication: Nature Ecology & Evolution publication_identifier: eissn: - 2397-334X publication_status: published publisher: Springer Nature quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Reverse genetics of sexual antagonism type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 10 year: '2026' ... --- OA_place: publisher _id: '21957' abstract: - lang: eng text: "This thesis investigates algorithmic certification and approximation methods for degenerate semidefinite programs (SDPs) and the singular roots of polynomial systems. In the first part, we present a hybrid symbolic-numeric algorithm for certifying the feasibility of weakly feasible, degenerate SDPs. By reformulating linear matrix inequalities (LMIs) into a structured polynomial system via facial reduction and incidence varieties, we guarantee the existence of an isolated exact solution. This algebraic reduction enables the certification of maximum-rank numerical approximations using methods from algebraic geometry.\r\n\r\nIn the second part, we address the severe ill-conditioning and loss of quadratic convergence that plague standard path-tracking methods near isolated singular roots. To overcome this, we propose tracking algorithms that achieve superlinear convergence without the computational bloat characteristic of classical deflation techniques. By modeling the solution path as a generalized fractional Puiseux series, our approach combines an explicitly derived algebraic predictor with a localized hyperplane desingularization phase during the corrector step. Furthermore, we introduce a continuous path-limit method and an extension of the geometric sequence rule to directly extract exact fractional exponents. This bypasses traditional heuristic trial-and-error methods and explicitly accommodates sparse series expansions. Numerical experiments confirm that our method significantly reduces the cumulative number of matrix inversions while achieving high-accuracy root approximations, even for heavily degenerate systems exhibiting higher coranks." acknowledgement: 'Funding: Vienna Graduate School on Computational Optimization (FWF), grant DOI: 10.55776/W1260.' alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Jeferson full_name: Zapata, Jeferson id: 00223538-AF8F-11E9-A4C7-F729E6697425 last_name: Zapata citation: ama: 'Zapata J. Overcoming degeneracy and singularity: Techniques for semidefinite programs and homotopy continuation endgames. 2026. doi:10.15479/AT-ISTA-21957' apa: 'Zapata, J. (2026). Overcoming degeneracy and singularity: Techniques for semidefinite programs and homotopy continuation endgames. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21957' chicago: 'Zapata, Jeferson. “Overcoming Degeneracy and Singularity: Techniques for Semidefinite Programs and Homotopy Continuation Endgames.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-21957.' ieee: 'J. Zapata, “Overcoming degeneracy and singularity: Techniques for semidefinite programs and homotopy continuation endgames,” Institute of Science and Technology Austria, 2026.' ista: 'Zapata J. 2026. Overcoming degeneracy and singularity: Techniques for semidefinite programs and homotopy continuation endgames. Institute of Science and Technology Austria.' mla: 'Zapata, Jeferson. Overcoming Degeneracy and Singularity: Techniques for Semidefinite Programs and Homotopy Continuation Endgames. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21957.' short: 'J. Zapata, Overcoming Degeneracy and Singularity: Techniques for Semidefinite Programs and Homotopy Continuation Endgames, Institute of Science and Technology Austria, 2026.' corr_author: '1' das_tickbox: '1' date_created: 2026-06-08T13:29:52Z date_published: 2026-06-09T00:00:00Z date_updated: 2026-07-27T14:30:42Z day: '09' ddc: - '500' degree_awarded: PhD department: - _id: GradSch - _id: VlKo doi: 10.15479/AT-ISTA-21957 doi_confirm: '1' file: - access_level: closed checksum: b11a959e99d3dcf61040282b5c837141 content_type: application/zip creator: jzapata date_created: 2026-06-08T13:20:02Z date_updated: 2026-06-08T13:20:02Z file_id: '21958' file_name: istaustriathesis_JZapata.zip file_size: 40811933 relation: source_file - access_level: open_access checksum: edf1e5899b2e31505cd1aa3fe8bd4b7f content_type: application/pdf creator: jzapata date_created: 2026-06-10T13:33:25Z date_updated: 2026-06-10T13:33:25Z file_id: '21992' file_name: 4_Final_Thesis_JZapata_REX.pdf file_size: 2207892 relation: main_file success: 1 file_date_updated: 2026-06-10T13:33:25Z fulldoi: https://doi.org/10.15479/AT-ISTA-21957 has_accepted_license: '1' language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: '89' project: - _id: 9B9290DE-BA93-11EA-9121-9846C619BF3A grant_number: W1260-N35 name: Vienna Graduate School on Computational Optimization publication_identifier: isbn: - 978-3-99078-079-4 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '21144' relation: part_of_dissertation status: public status: public supervisor: - first_name: Vladimir full_name: Kolmogorov, Vladimir id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87 last_name: Kolmogorov title: 'Overcoming degeneracy and singularity: Techniques for semidefinite programs and homotopy continuation endgames' 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: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2026' ... --- OA_place: repository _id: '21360' acknowledged_ssus: - _id: LifeSc - _id: Bio acknowledgement: "I would like to acknowledge the Austrian Academy of Sciences (ÖAW) and European\r\nResearch Executive Agency (REA) for funding my research (DOC ÖAW Fellowship\r\n26130, Horizon Europe BOLERO Project 101060393). " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Stefan full_name: Riegler, Stefan id: FF6018E0-D806-11E9-8E43-0B14E6697425 last_name: Riegler orcid: 0000-0003-3413-1343 citation: ama: 'Riegler S. Root system plasticity under nutrient limitation: Investigating hormonal and molecular drivers in Arabidopsis thaliana and Coffea  species. 2026. doi:10.15479/AT-ISTA-21360' apa: 'Riegler, S. (2026). Root system plasticity under nutrient limitation: Investigating hormonal and molecular drivers in Arabidopsis thaliana and Coffea  species. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21360' chicago: 'Riegler, Stefan. “Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis Thaliana and Coffea  Species.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-21360.' ieee: 'S. Riegler, “Root system plasticity under nutrient limitation: Investigating hormonal and molecular drivers in Arabidopsis thaliana and Coffea  species,” Institute of Science and Technology Austria, 2026.' ista: 'Riegler S. 2026. Root system plasticity under nutrient limitation: Investigating hormonal and molecular drivers in Arabidopsis thaliana and Coffea  species. Institute of Science and Technology Austria.' mla: 'Riegler, Stefan. Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis Thaliana and Coffea  Species. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21360.' short: 'S. Riegler, Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis Thaliana and Coffea  Species, Institute of Science and Technology Austria, 2026.' corr_author: '1' das_tickbox: '1' date_created: 2026-02-27T09:08:14Z date_published: 2026-02-26T00:00:00Z date_updated: 2026-07-27T14:30:08Z day: '26' ddc: - '570' - '575' - '583' degree_awarded: PhD department: - _id: GradSch - _id: EvBe doi: 10.15479/AT-ISTA-21360 doi_confirm: '1' file: - access_level: closed checksum: 2f1f44e8536c2538f94a440217452c9f content_type: application/x-zip-compressed creator: sriegler date_created: 2026-03-02T10:59:50Z date_updated: 2026-03-02T10:59:50Z file_id: '21386' file_name: 2026_Riegler_Stefan_Thesis.zip file_size: 31430022 relation: source_file - access_level: closed checksum: 2e8dc39640bc26ae5684c944c619719b content_type: application/pdf creator: sriegler date_created: 2026-03-02T10:59:49Z date_updated: 2026-03-02T10:59:49Z embargo: 2027-02-27 embargo_to: open_access file_id: '21387' file_name: 2026_Riegler_Stefan_Thesis.pdf file_size: 11635090 relation: main_file file_date_updated: 2026-03-02T10:59:50Z fulldoi: https://doi.org/10.15479/AT-ISTA-21360 has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/licenses/by-sa/4.0/ month: '02' oa_version: Published Version page: '185' project: - _id: 34afa094-11ca-11ed-8bc3-a375845a59fb grant_number: '101060393' name: Breeding for coffee and cocoa root resilience in low input farming systems based on improved rootstocks publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '21363' relation: research_data status: public status: public supervisor: - first_name: Eva full_name: Benková, Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 title: 'Root system plasticity under nutrient limitation: Investigating hormonal and molecular drivers in Arabidopsis thaliana and Coffea species' tmp: image: /images/cc_by_sa.png legal_code_url: https://creativecommons.org/licenses/by-sa/4.0/legalcode name: Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0) short: CC BY-SA (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2026' ... --- _id: '21363' abstract: - lang: eng text: The data contains information on coffee differential gene expression as well as co-expression and trait correlations in two separate experiments. First, contrasting nitrogen supply, second, intra- and interspecific grafting. article_processing_charge: No author: - first_name: Stefan full_name: Riegler, Stefan id: FF6018E0-D806-11E9-8E43-0B14E6697425 last_name: Riegler orcid: 0000-0003-3413-1343 citation: ama: 'Riegler S. Thesis Data for Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis thaliana and Coffea  species. 2026. doi:10.15479/AT-ISTA-21363' apa: 'Riegler, S. (2026). Thesis Data for Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis thaliana and Coffea  species. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21363' chicago: 'Riegler, Stefan. “Thesis Data for Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis Thaliana and Coffea  Species.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-21363.' ieee: 'S. Riegler, “Thesis Data for Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis thaliana and Coffea  species.” Institute of Science and Technology Austria, 2026.' ista: 'Riegler S. 2026. Thesis Data for Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis thaliana and Coffea  species, Institute of Science and Technology Austria, 10.15479/AT-ISTA-21363.' mla: 'Riegler, Stefan. Thesis Data for Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis Thaliana and Coffea  Species. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21363.' short: S. Riegler, (2026). contributor: - contributor_type: supervisor first_name: Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 corr_author: '1' date_created: 2026-02-27T09:18:41Z date_published: 2026-02-27T00:00:00Z date_updated: 2026-07-27T14:30:07Z day: '27' ddc: - '575' department: - _id: GradSch - _id: EvBe doi: 10.15479/AT-ISTA-21363 file: - access_level: closed checksum: de9145fa166a28c588b5184a2d3d4fee content_type: application/vnd.openxmlformats-officedocument.spreadsheetml.sheet creator: sriegler date_created: 2026-02-27T09:11:33Z date_updated: 2026-02-27T09:11:33Z embargo: 2027-02-27 embargo_to: open_access file_id: '21364' file_name: SupplementaryTables.xlsx file_size: 63749444 relation: main_file - access_level: closed checksum: ce1f163551c96cee45943a8ea29720b6 content_type: text/plain creator: sriegler date_created: 2026-02-27T09:13:11Z date_updated: 2026-02-27T09:13:11Z embargo: 2027-02-27 embargo_to: open_access file_id: '21365' file_name: ReadMe.txt file_size: 124 relation: main_file file_date_updated: 2026-02-27T09:13:11Z fulldoi: https://doi.org/10.15479/AT-ISTA-21363 has_accepted_license: '1' month: '02' oa_version: Published Version publisher: Institute of Science and Technology Austria related_material: record: - id: '21360' relation: used_in_publication status: public status: public title: 'Thesis Data for Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis thaliana and Coffea species' tmp: image: /images/cc_by_sa.png legal_code_url: https://creativecommons.org/licenses/by-sa/4.0/legalcode name: Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0) short: CC BY-SA (4.0) type: research_data user_id: 68b8ca59-c5b3-11ee-8790-cd641c68093d year: '2026' ... --- OA_type: closed access _id: '21164' abstract: - lang: eng text: 'Global emission inventories often fail to capture the complexities of vehicular pollution in regions with unique fuel mixes, such as Brazil’s extensive biofuel use, leading to significant uncertainties in atmospheric modeling. This study presents a century-long (1960–2100) bottom-up vehicular emission inventory for Brazil, leveraging locally derived emission factors. Our estimates reveal substantial discrepancies in magnitude, timing, and speciation of non-CO2 pollutants (CO, NMHC, PM2.5) compared to leading global inventories (EDGAR, CEDS, CAMS), highlighting critical inaccuracies in widely used data sets. More critically, future projections under Shared Socioeconomic Pathways (SSPs) uncover a novel positive feedback mechanism: rising temperatures significantly enhance vehicular evaporative nonmethane hydrocarbon (NMHC) emissions. This temperature-dependent increase and subsequent NMHC oxidation to CO2 suggest an overlooked pathway that could amplify climate warming and air pollution globally, particularly after a breakpoint around 2050 (p < 0.05). While historical emissions peaked in the 1990s–2000s, nonexhaust PM becomes increasingly important. Air quality simulations using our inventory in the MUSICA model show good regional PM2.5 agreement but highlight challenges in resolving local primary pollutant peaks. This comprehensive inventory provides crucial data for Brazil and uncovers globally relevant climate–chemistry interactions, urging a re-evaluation of regional specificities in global emission assessments.' acknowledgement: Part of this material is based upon work supported by the NSF National Center for Atmospheric Research, which is a major facility sponsored by the National Science Foundation under Cooperative Agreement No. 1852977. Casallas was supported by the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie grant agreement No. 101034413. E. D. Freitas thanks the support provided by the National Council for Scientific and Technological Development (CNPq, Process number 313210/2022–5). Silva gratefully acknowledges the financial support from the National Council for Scientific and Technological Development (CNPq), process number 140512/2021–7. P. Lichtig was supported by base funding from the National Commission for Atomic Energy (CNEA, Arg.) and by NSF NCAR. R.Y. Ynoue thanks the support provided by the National Council for Scientific and Technological Development (CNPq, Process number 406728/2022–4). M. A. Franco thanks the support provided by the National Council for Scientific and Technological Development (CNPq, Process number 407752/2023–4). G. M. Pereira thanks the support by the Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP; Process numbers 2018/07848–9, 2016/18438–0, and 2019/01316–80) and Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES; Process number 88887.103225/2025–00). M.F. Andrade thanks the support by FAPESP (Process number 2016/18438–0) and CNPQ (Klimapolis INCT). article_number: 5c08400 article_processing_charge: No article_type: original author: - first_name: Sergio full_name: Ibarra-Espinosa, Sergio last_name: Ibarra-Espinosa - first_name: Edmilson full_name: Dias de Freitas, Edmilson last_name: Dias de Freitas - first_name: Benjamin full_name: Gaubert, Benjamin last_name: Gaubert - first_name: Pablo full_name: Lichtig, Pablo last_name: Lichtig - first_name: Karl full_name: Ropkins, Karl last_name: Ropkins - first_name: Iara full_name: da Silva, Iara last_name: da Silva - first_name: Guilherme full_name: Martins Pereira, Guilherme last_name: Martins Pereira - first_name: Daniel full_name: Schuch, Daniel last_name: Schuch - first_name: Janaina full_name: Nascimento, Janaina last_name: Nascimento - first_name: Leonardo full_name: Hoinaski, Leonardo last_name: Hoinaski - first_name: Leila Droprinchinski full_name: Martins, Leila Droprinchinski last_name: Martins - first_name: Mario full_name: Gavidia-Calderón, Mario last_name: Gavidia-Calderón - first_name: Angel full_name: Vara-Vela, Angel last_name: Vara-Vela - first_name: Taciana full_name: Toledo de Almeida Albuquerque, Taciana last_name: Toledo de Almeida Albuquerque - first_name: Rita Yuri full_name: Ynoue, Rita Yuri last_name: Ynoue - first_name: Sebastian full_name: Diez, Sebastian last_name: Diez - first_name: Zamir full_name: Mera, Zamir last_name: Mera - first_name: Alejandro full_name: Casallas Garcia, Alejandro id: 92081129-2d75-11ef-a48d-b04dd7a2385a last_name: Casallas Garcia orcid: 0000-0002-1988-5035 - first_name: Fidel full_name: Vallejo, Fidel last_name: Vallejo - first_name: Valeria full_name: Diaz, Valeria last_name: Diaz - first_name: Rizzieri full_name: Pedruzzi, Rizzieri last_name: Pedruzzi - first_name: Rosana full_name: Abrutzky, Rosana last_name: Abrutzky - first_name: Marco A. full_name: Franco, Marco A. last_name: Franco - first_name: Nicolas full_name: Huneeus, Nicolas last_name: Huneeus - first_name: Hector full_name: Jorquera, Hector last_name: Jorquera - first_name: Luis Carlos full_name: Belalcázar-Cerón, Luis Carlos last_name: Belalcázar-Cerón - first_name: Néstor Y. full_name: Rojas, Néstor Y. last_name: Rojas - first_name: Maria full_name: de Fatima Andrade, Maria last_name: de Fatima Andrade - first_name: Louisa full_name: Emmons, Louisa last_name: Emmons - first_name: Guy full_name: Brasseur, Guy last_name: Brasseur citation: ama: 'Ibarra-Espinosa S, Dias de Freitas E, Gaubert B, et al. A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality. Environmental Science &amp; Technology. 2026;60(6). doi:10.1021/acs.est.5c08400' apa: 'Ibarra-Espinosa, S., Dias de Freitas, E., Gaubert, B., Lichtig, P., Ropkins, K., da Silva, I., … Brasseur, G. (2026). A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality. Environmental Science &amp; Technology. American Chemical Society. https://doi.org/10.1021/acs.est.5c08400' chicago: 'Ibarra-Espinosa, Sergio, Edmilson Dias de Freitas, Benjamin Gaubert, Pablo Lichtig, Karl Ropkins, Iara da Silva, Guilherme Martins Pereira, et al. “A Century of Vehicular Emissions in Brazil: Unveiling the Impacts of Unique Fuel Mix on Air Quality.” Environmental Science &amp; Technology. American Chemical Society, 2026. https://doi.org/10.1021/acs.est.5c08400.' ieee: 'S. Ibarra-Espinosa et al., “A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality,” Environmental Science &amp; Technology, vol. 60, no. 6. American Chemical Society, 2026.' ista: 'Ibarra-Espinosa S, Dias de Freitas E, Gaubert B, Lichtig P, Ropkins K, da Silva I, Martins Pereira G, Schuch D, Nascimento J, Hoinaski L, Martins LD, Gavidia-Calderón M, Vara-Vela A, Toledo de Almeida Albuquerque T, Ynoue RY, Diez S, Mera Z, Casallas Garcia A, Vallejo F, Diaz V, Pedruzzi R, Abrutzky R, Franco MA, Huneeus N, Jorquera H, Belalcázar-Cerón LC, Rojas NY, de Fatima Andrade M, Emmons L, Brasseur G. 2026. A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality. Environmental Science &amp; Technology. 60(6), 5c08400.' mla: 'Ibarra-Espinosa, Sergio, et al. “A Century of Vehicular Emissions in Brazil: Unveiling the Impacts of Unique Fuel Mix on Air Quality.” Environmental Science &amp; Technology, vol. 60, no. 6, 5c08400, American Chemical Society, 2026, doi:10.1021/acs.est.5c08400.' short: S. Ibarra-Espinosa, E. Dias de Freitas, B. Gaubert, P. Lichtig, K. Ropkins, I. da Silva, G. Martins Pereira, D. Schuch, J. Nascimento, L. Hoinaski, L.D. Martins, M. Gavidia-Calderón, A. Vara-Vela, T. Toledo de Almeida Albuquerque, R.Y. Ynoue, S. Diez, Z. Mera, A. Casallas Garcia, F. Vallejo, V. Diaz, R. Pedruzzi, R. Abrutzky, M.A. Franco, N. Huneeus, H. Jorquera, L.C. Belalcázar-Cerón, N.Y. Rojas, M. de Fatima Andrade, L. Emmons, G. Brasseur, Environmental Science &amp; Technology 60 (2026). das_tickbox: '1' dataavailabilitystatement: Scripts available here https://github.com/ibarraespinosa/musica_vein and here https://github.com/atmoschem/vein. date_created: 2026-02-09T06:54:10Z date_published: 2026-02-17T00:00:00Z date_updated: 2026-07-28T07:03:54Z day: '17' ddc: - '550' department: - _id: CaMu doi: 10.1021/acs.est.5c08400 ec_funded: 1 external_id: pmid: - '41636708' fulldoi: https://doi.org/10.1021/acs.est.5c08400 has_accepted_license: '1' intvolume: ' 60' issue: '6' language: - iso: eng month: '02' oa_version: None pmid: 1 project: - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' publication: Environmental Science & Technology publication_identifier: eissn: - 1520-5851 issn: - 0013-936X publication_status: published publisher: American Chemical Society quality_controlled: '1' researchdata_availability: yes scopus_import: '1' status: public supplementarymaterial: yes title: 'A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 60 year: '2026' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20971' abstract: - lang: eng text: Mountain glaciers are among the natural systems most vulnerable to climate change. However, their interactions with the atmosphere are complex and not fully understood. These interactions can trigger rapid adjustments and climate feedbacks that either amplify or attenuate atmospheric signals, influencing both glacier response and large-scale atmospheric circulation. Observing this functional coupling in nature is challenging because the key processes occur over a wide range of spatial and temporal scales. However, recent advances in observational techniques and modeling have provided new insights into these interactions. In this review, we summarize the current state of knowledge on glacier-atmosphere interactions in high-mountain regions at different scales, and highlight recent advances in observational and numerical modeling. We also highlight important knowledge gaps and outline future research directions to improve the prediction of glacier change in a warming world. acknowledgement: This work is the result of collaboration and discussions within HEFEX II, and we are grateful to all colleagues who have contributed to and enriched these discussions in various ways. T. Sauter acknowledges funding from the German Research Foundation (DFG) (Grant 543257843). This research was funded in part by the Austrian Science Fund (FWF) (Grant https://doi.org/10.55776/P36624 and https://doi.org/10.55776/P36306) for which E. Collier and R. Prinz are grateful. A. R. Groos, T. E. Shaw, R. Mott and M. Haugeneder acknowledge Transnational Access from the European Union's H2020 project INTERACT III (Grant 871120) for participation in the HEFEX II campaign and working group. I. Stiperski (Grant Agreement No. 101001691) and A. R. Groos (Grant Agreement No. 948290) acknowledge funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program. R. Mott acknowledges funding from the Swiss National Science Foundation (SNSF) (Grant 200021_219918). B. Goger is supported by EXCLAIM, a project funded by ETH Zurich. J.E. Sicart acknowledges LabEx OSUG@2020 (Investissements d'avenir - ANR10 LABX56) for participation in the HEFEX II campaign and working group. T. E. Shaw acknowledges funding from the EU Horizon 2020 Marie Skłodowska-Curie Grant 101026058 and 101034413. K. F. Haualand and T. Sauter are supported by the JOSTICE project funded by the Research Council of Norway (RCN Grant 302458). article_number: e2024RG000869 article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: T. full_name: Sauter, T. last_name: Sauter - first_name: B. W. full_name: Brock, B. W. last_name: Brock - first_name: E. full_name: Collier, E. last_name: Collier - first_name: B. full_name: Goger, B. last_name: Goger - first_name: A. R. full_name: Groos, A. R. last_name: Groos - first_name: K. F. full_name: Haualand, K. F. last_name: Haualand - first_name: R. full_name: Mott, R. last_name: Mott - first_name: L. full_name: Nicholson, L. last_name: Nicholson - first_name: R. full_name: Prinz, R. last_name: Prinz - first_name: Thomas full_name: Shaw, Thomas id: 3caa3f91-1f03-11ee-96ce-e0e553054d6e last_name: Shaw orcid: 0000-0001-7640-6152 - first_name: I. full_name: Stiperski, I. last_name: Stiperski - first_name: A. full_name: Georgi, A. last_name: Georgi - first_name: M. full_name: Haugeneder, M. last_name: Haugeneder - first_name: A. full_name: Mandal, A. last_name: Mandal - first_name: D. full_name: Reynolds, D. last_name: Reynolds - first_name: M. full_name: Saigger, M. last_name: Saigger - first_name: J. E. full_name: Sicart, J. E. last_name: Sicart - first_name: A. full_name: Voordendag, A. last_name: Voordendag citation: ama: Sauter T, Brock BW, Collier E, et al. Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review. Reviews of Geophysics. 2026;64(1). doi:10.1029/2024RG000869 apa: Sauter, T., Brock, B. W., Collier, E., Goger, B., Groos, A. R., Haualand, K. F., … Voordendag, A. (2026). Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review. Reviews of Geophysics. Wiley. https://doi.org/10.1029/2024RG000869 chicago: Sauter, T., B. W. Brock, E. Collier, B. Goger, A. R. Groos, K. F. Haualand, R. Mott, et al. “Glacier-Atmosphere Interactions and Feedbacks in High-Mountain Regions - A Review.” Reviews of Geophysics. Wiley, 2026. https://doi.org/10.1029/2024RG000869. ieee: T. Sauter et al., “Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review,” Reviews of Geophysics, vol. 64, no. 1. Wiley, 2026. ista: Sauter T, Brock BW, Collier E, Goger B, Groos AR, Haualand KF, Mott R, Nicholson L, Prinz R, Shaw T, Stiperski I, Georgi A, Haugeneder M, Mandal A, Reynolds D, Saigger M, Sicart JE, Voordendag A. 2026. Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review. Reviews of Geophysics. 64(1), e2024RG000869. mla: Sauter, T., et al. “Glacier-Atmosphere Interactions and Feedbacks in High-Mountain Regions - A Review.” Reviews of Geophysics, vol. 64, no. 1, e2024RG000869, Wiley, 2026, doi:10.1029/2024RG000869. short: T. Sauter, B.W. Brock, E. Collier, B. Goger, A.R. Groos, K.F. Haualand, R. Mott, L. Nicholson, R. Prinz, T. Shaw, I. Stiperski, A. Georgi, M. Haugeneder, A. Mandal, D. Reynolds, M. Saigger, J.E. Sicart, A. Voordendag, Reviews of Geophysics 64 (2026). das_tickbox: '1' dataavailabilitystatement: Data were not used, nor created for this research. Software (other than for typesetting) was not used for this research. date_created: 2026-01-11T23:01:33Z date_published: 2026-03-01T00:00:00Z date_updated: 2026-07-28T06:49:58Z day: '01' ddc: - '550' department: - _id: FrPe doi: 10.1029/2024RG000869 ec_funded: 1 file: - access_level: open_access checksum: 9d46167619be91210c45ee9e1f187395 content_type: application/pdf creator: dernst date_created: 2026-07-28T06:48:08Z date_updated: 2026-07-28T06:48:08Z file_id: '22594' file_name: 2026_ReviewsGeophysics_Sauter.pdf file_size: 3012737 relation: main_file success: 1 file_date_updated: 2026-07-28T06:48:08Z fulldoi: https://doi.org/10.1029/2024RG000869 has_accepted_license: '1' intvolume: ' 64' issue: '1' language: - iso: eng month: '03' oa: 1 oa_version: Published Version project: - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' publication: Reviews of Geophysics publication_identifier: eissn: - 1944-9208 issn: - 8755-1209 publication_status: published publisher: Wiley quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review 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: 64 year: '2026' ... --- OA_type: closed access _id: '20537' abstract: - lang: eng text: In this personal account, I describe the work performed in my research group on the development of methods that harness heterogeneous photocatalysts for light-mediated nickel-catalyzed cross-couplings. This includes catalytic systems using carbon nitride materials, dye-sensitized TiO₂, covalent organic frameworks (COFs), and conjugated polymers. The rationale behind the selection of materials and how their use led to the identification of catalyst deactivation, structure–activity relationships, and future opportunities is discussed. article_processing_charge: No article_type: original author: - first_name: Bartholomäus full_name: Pieber, Bartholomäus id: 93e5e5b2-0da6-11ed-8a41-af589a024726 last_name: Pieber orcid: 0000-0001-8689-388X citation: ama: Pieber B. Photochemical cross-couplings using semiconducting materials. Synlett. 2026;37(1):43-54. doi:10.1055/a-2690-9269 apa: Pieber, B. (2026). Photochemical cross-couplings using semiconducting materials. Synlett. Georg Thieme Verlag. https://doi.org/10.1055/a-2690-9269 chicago: Pieber, Bartholomäus. “Photochemical Cross-Couplings Using Semiconducting Materials.” Synlett. Georg Thieme Verlag, 2026. https://doi.org/10.1055/a-2690-9269. ieee: B. Pieber, “Photochemical cross-couplings using semiconducting materials,” Synlett, vol. 37, no. 1. Georg Thieme Verlag, pp. 43–54, 2026. ista: Pieber B. 2026. Photochemical cross-couplings using semiconducting materials. Synlett. 37(1), 43–54. mla: Pieber, Bartholomäus. “Photochemical Cross-Couplings Using Semiconducting Materials.” Synlett, vol. 37, no. 1, Georg Thieme Verlag, 2026, pp. 43–54, doi:10.1055/a-2690-9269. short: B. Pieber, Synlett 37 (2026) 43–54. corr_author: '1' das_tickbox: '1' date_created: 2025-10-26T23:01:35Z date_published: 2026-01-01T00:00:00Z date_updated: 2026-07-28T07:42:47Z day: '01' department: - _id: BaPi doi: 10.1055/a-2690-9269 external_id: isi: - '001582268500001' fulldoi: https://doi.org/10.1055/a-2690-9269 intvolume: ' 37' isi: 1 issue: '1' language: - iso: eng month: '01' oa_version: None page: 43-54 publication: Synlett publication_identifier: eissn: - 1437-2096 issn: - 0936-5214 publication_status: published publisher: Georg Thieme Verlag quality_controlled: '1' scopus_import: '1' status: public title: Photochemical cross-couplings using semiconducting materials type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 37 year: '2026' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '21980' abstract: - lang: eng text: Despite significant progress in the field of molecular electronics over the last two decades, the quantitative prediction of metal-molecule-metal junction conductance remains a challenge. The standard computational framework combines density functional theory (DFT) with nonequilibrium Green’s functions (NEGF) using low-rung exchange-correlation functionals such as PBE, which overestimate the conductances. More advanced correction methods exist but require complex workflows and high computational cost, limiting their accessibility. Here, we introduce a physically motivated approach that approximates results obtained with high-rung functionals. Our method fits the PBE-calculated transmission to a Breit-Wigner form and subsequently refines the fit parameters using molecular orbital energies and metal densities of states computed for the isolated subsystems with high-rung functionals. This approach is applicable to a broad range of molecular junctions yielding conductance values in quantitative agreement with experiments. Our approach is simple, low-cost, and accurate, making it well-suited for routine and large-scale prediction of single-molecule junction conductance. acknowledgement: This work was supported primarily by the Institute of Science and Technology Austria. L.V. was supported in part by the National Science Foundation (No. NSF-DMR 2241180). Z.-F.L. was supported by an NSF CAREER Award, No. DMR-2044552 and an Alfred P. Sloan Research Fellowship, No. FG-2024-21750. article_processing_charge: Yes (via OA deal) article_type: letter_note author: - first_name: Artem full_name: Gulyaev, Artem id: 83ed7901-7380-11f0-bf20-a0788d5e654d last_name: Gulyaev - first_name: Jyotisman full_name: Hazarika, Jyotisman id: d87714c4-663d-11f0-bd06-caece19833e5 last_name: Hazarika orcid: 0009-0007-2542-7878 - first_name: Zhen-Fei full_name: Liu, Zhen-Fei last_name: Liu - first_name: Latha full_name: Venkataraman, Latha id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf last_name: Venkataraman orcid: 0000-0002-6957-6089 chemrxivid: 1 citation: ama: Gulyaev A, Hazarika J, Liu Z-F, Venkataraman L. A computationally efficient and accurate method for predicting conductance of single-molecule junctions. Nano Letters. 2026;26(22):7429–7434. doi:10.1021/acs.nanolett.6c01462 apa: Gulyaev, A., Hazarika, J., Liu, Z.-F., & Venkataraman, L. (2026). A computationally efficient and accurate method for predicting conductance of single-molecule junctions. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.6c01462 chicago: Gulyaev, Artem, Jyotisman Hazarika, Zhen-Fei Liu, and Latha Venkataraman. “A Computationally Efficient and Accurate Method for Predicting Conductance of Single-Molecule Junctions.” Nano Letters. American Chemical Society, 2026. https://doi.org/10.1021/acs.nanolett.6c01462. ieee: A. Gulyaev, J. Hazarika, Z.-F. Liu, and L. Venkataraman, “A computationally efficient and accurate method for predicting conductance of single-molecule junctions,” Nano Letters, vol. 26, no. 22. American Chemical Society, pp. 7429–7434, 2026. ista: Gulyaev A, Hazarika J, Liu Z-F, Venkataraman L. 2026. A computationally efficient and accurate method for predicting conductance of single-molecule junctions. Nano Letters. 26(22), 7429–7434. mla: Gulyaev, Artem, et al. “A Computationally Efficient and Accurate Method for Predicting Conductance of Single-Molecule Junctions.” Nano Letters, vol. 26, no. 22, American Chemical Society, 2026, pp. 7429–7434, doi:10.1021/acs.nanolett.6c01462. short: A. Gulyaev, J. Hazarika, Z.-F. Liu, L. Venkataraman, Nano Letters 26 (2026) 7429–7434. corr_author: '1' das_tickbox: '1' date_created: 2026-06-10T07:27:19Z date_published: 2026-06-01T00:00:00Z date_updated: 2026-07-28T09:57:28Z day: '01' ddc: - '540' department: - _id: LaVe - _id: GradSch doi: 10.1021/acs.nanolett.6c01462 external_id: chemrxivid: - 10.26434/chemrxiv.15001696 pmid: - '42223342' file: - access_level: open_access checksum: 897551374cac28e0db26dcb0b676b8e7 content_type: application/pdf creator: dernst date_created: 2026-06-16T09:11:35Z date_updated: 2026-06-16T09:11:35Z file_id: '22013' file_name: 2026_NanoLetters_Gulyaev.pdf file_size: 3362800 relation: main_file success: 1 file_date_updated: 2026-06-16T09:11:35Z fulldoi: https://doi.org/10.1021/acs.nanolett.6c01462 has_accepted_license: '1' intvolume: ' 26' issue: '22' language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 7429–7434 pmid: 1 publication: Nano Letters publication_identifier: eissn: - 1530-6992 issn: - 1530-6984 publication_status: published publisher: American Chemical Society quality_controlled: '1' scopus_import: '1' status: public title: A computationally efficient and accurate method for predicting conductance of single-molecule junctions 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: 26 year: '2026' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '21009' abstract: - lang: eng text: We demonstrate that periodically driven quantum rotors provide a promising and broadly applicable platform to implement multigap topological phases, where groups of bands can acquire topological invariants due to non-Abelian braiding of band degeneracies. By adiabatically varying the periodic kicks to the rotor we find nodal-line braiding, which causes sign flips of topological charges of band nodes and can prevent them from annihilating, indicated by nonzero values of the patch Euler class. In particular, we report on the emergence of an anomalous Dirac string phase arising in the strongly driven regime, a truly out-of-equilibrium phase of the quantum rotor. This phase emanates from braiding processes involving all (quasienergy) gaps and manifests itself with edge states at zero angular momentum. Our results reveal direct applications in state-of-the-art experiments of quantum rotors, such as linear molecules driven by periodic far-off-resonant laser pulses or artificial quantum rotors in optical lattices, whose extensive versatility offers precise modification and observation of novel non-Abelian topological properties. acknowledgement: We thank G. M. Koutentakis, S. Wimberger, J. G. E. Harris, T. Enss, and A. Ghazaryan for fruitful discussions. M.L. acknowledges support by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON). R.-J.S. acknowledges funding from a EPSRC ERC underwrite (Grant No. EP/X025829/1), a EPSRC New Investigator Award (Grant No. EP/W00187X/1), and Trinity College, Cambridge. F.N.Ü. acknowledges support from the Marie Skłodowska-Curie Programme of the European Commission (Grant No. 893915), a Simons Investigator Award (Grant No. 511029), Trinity College Cambridge, and the Royal Society (Grant No. URF/R1/241667). article_number: '012216' article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Volker full_name: Karle, Volker id: D7C012AE-D7ED-11E9-95E8-1EC5E5697425 last_name: Karle orcid: 0000-0002-6963-0129 - first_name: Mikhail full_name: Lemeshko, Mikhail id: 37CB05FA-F248-11E8-B48F-1D18A9856A87 last_name: Lemeshko orcid: 0000-0002-6990-7802 - first_name: Adrien full_name: Bouhon, Adrien last_name: Bouhon - first_name: Robert-Jan full_name: Slager, Robert-Jan last_name: Slager - first_name: F. Nur full_name: Ünal, F. Nur last_name: Ünal citation: ama: Karle V, Lemeshko M, Bouhon A, Slager R-J, Ünal FN. Anomalous multigap topological phases in periodically driven quantum rotors. Physical Review A. 2026;113(1). doi:10.1103/db9d-9bns apa: Karle, V., Lemeshko, M., Bouhon, A., Slager, R.-J., & Ünal, F. N. (2026). Anomalous multigap topological phases in periodically driven quantum rotors. Physical Review A. American Physical Society. https://doi.org/10.1103/db9d-9bns chicago: Karle, Volker, Mikhail Lemeshko, Adrien Bouhon, Robert-Jan Slager, and F. Nur Ünal. “Anomalous Multigap Topological Phases in Periodically Driven Quantum Rotors.” Physical Review A. American Physical Society, 2026. https://doi.org/10.1103/db9d-9bns. ieee: V. Karle, M. Lemeshko, A. Bouhon, R.-J. Slager, and F. N. Ünal, “Anomalous multigap topological phases in periodically driven quantum rotors,” Physical Review A, vol. 113, no. 1. American Physical Society, 2026. ista: Karle V, Lemeshko M, Bouhon A, Slager R-J, Ünal FN. 2026. Anomalous multigap topological phases in periodically driven quantum rotors. Physical Review A. 113(1), 012216. mla: Karle, Volker, et al. “Anomalous Multigap Topological Phases in Periodically Driven Quantum Rotors.” Physical Review A, vol. 113, no. 1, 012216, American Physical Society, 2026, doi:10.1103/db9d-9bns. short: V. Karle, M. Lemeshko, A. Bouhon, R.-J. Slager, F.N. Ünal, Physical Review A 113 (2026). corr_author: '1' date_created: 2026-01-20T10:06:07Z date_published: 2026-01-12T00:00:00Z date_updated: 2026-07-29T08:59:30Z day: '12' ddc: - '530' department: - _id: MiLe doi: 10.1103/db9d-9bns ec_funded: 1 external_id: arxiv: - '2408.16848' file: - access_level: open_access checksum: ca62a5050a234c0554e2583b1c126057 content_type: application/pdf creator: dernst date_created: 2026-01-21T09:04:48Z date_updated: 2026-01-21T09:04:48Z file_id: '21029' file_name: 2026_PhysicalReviewA_Karle.pdf file_size: 2650256 relation: main_file success: 1 file_date_updated: 2026-01-21T09:04:48Z fulldoi: https://doi.org/10.1103/db9d-9bns has_accepted_license: '1' intvolume: ' 113' issue: '1' language: - iso: eng month: '01' oa: 1 oa_version: Published Version project: - _id: 2688CF98-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '801770' name: 'Angulon: physics and applications of a new quasiparticle' publication: Physical Review A publication_identifier: eissn: - 2469-9934 issn: - 2469-9926 publication_status: published publisher: American Physical Society quality_controlled: '1' related_material: record: - id: '19425' relation: earlier_version status: public scopus_import: '1' status: public title: Anomalous multigap topological phases in periodically driven quantum rotors 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: 113 year: '2026' ... --- OA_type: closed access _id: '21406' abstract: - lang: eng text: 'This preliminary study investigates the trace-element composition of ostracod shells (Ostracoda: Crustacea) as biogenic calcium carbonates in their role as environmental sentinels of pollution. Using high-resolution in-situ analysis, we compared two contrasting coastal systems: the highly urbanized seascape of metropolitan megacity Hong Kong (HKSAR) and the agriculturally dominated waters of rural retreat Jeju Island, Republic of Korea (ROK). The goal was to assess whether anthropogenic stress gradients affect trace element-to‑calcium ratios (E/Ca) in the carapaces of shallow-marine Neonesidea Maddocks, 1969 species. Hereby, the focus is laid on potential differences in the effects of extreme urbanization and extreme agriculturalization. We analyzed 12 trace elements commonly incorporated into ostracod shells using Inductively Coupled Plasma–Mass Spectrometry (ICP-MS). Only Mn/Ca, Mg/Ca, and Ni/Ca ratios showed strong correlations with specific seawater physicochemical parameters. Notably, Mn/Ca differed significantly between the two sites, seemingly driven mainly by variations in nitrite nitrogen levels. This suggests that Mn incorporation is sensitive to pollution source, urban versus agricultural, though species-specific uptake effects cannot be excluded. No significant differences in elemental uptake were found between adult and A-1 juvenile stages of Neonesidea mutsuensis Ishizaki, 1961 or Neonesidea elegans (Brady, 1969), supporting the use of both age groups in environmental reconstructions and increasing potential sample yields. While remaining empirical and exploratory, our tentative findings suggest that ostracod geochemistry holds promise for marine pollution monitoring and cautiously supports the application of ostracod Mn/Ca ratios to reconstruct anthropogenic, particularly nitrogen-related, impacts in nearshore environments using sediment core records.' acknowledgement: 'We thank the KIOST staff of the Jeju Marine Research Center for assisting sample collection, the research assistants and students of the Yoon Idea Lab led by Prof. Dr. Tae-Hyun Yoon at Hanyang University for facilitating and assisting in ICP-MS test runs involved in a pilot study preceding this study, Ms. Garance Perrois and Mr. Léonard Pons for assistance with statistics-related questions, and the two anonymous reviewers for their valuable comments and suggestions. The study described in this article was partially supported by grants from the Brain Pool Program through NRF funded by the Ministry of Science and ICT (reference code: 2019H1D3A1A01070922 to ABJ), by the Ministry of Oceans and Fisheries (grant number RS-2024-00406249 to TK), by the Korea Institute of Marine Science and Technology (KIMST), funded by the Ministry of Oceans and Fisheries (grant number RS-2025-02304432 to TK), and by the Korea Institute of Ocean Science and Technology (PEA0404 to TK).' article_number: '119493' article_processing_charge: No article_type: original author: - first_name: Anna B. full_name: Jöst, Anna B. last_name: Jöst - first_name: Maximiliano J full_name: Rodriguez Moreno, Maximiliano J id: 59bea3b2-8c82-11ef-a41a-af7b0efd9065 last_name: Rodriguez Moreno - first_name: Taihun full_name: Kim, Taihun last_name: Kim - first_name: David M. full_name: Baker, David M. last_name: Baker - first_name: Moriaki full_name: Yasuhara, Moriaki last_name: Yasuhara - first_name: Christelle A. full_name: Not, Christelle A. last_name: Not - first_name: Ivana full_name: Karanovic, Ivana last_name: Karanovic citation: ama: Jöst AB, Rodriguez Moreno MJ, Kim T, et al. Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis. Marine Pollution Bulletin. 2026;227(6). doi:10.1016/j.marpolbul.2026.119493 apa: Jöst, A. B., Rodriguez Moreno, M. J., Kim, T., Baker, D. M., Yasuhara, M., Not, C. A., & Karanovic, I. (2026). Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis. Marine Pollution Bulletin. Elsevier. https://doi.org/10.1016/j.marpolbul.2026.119493 chicago: Jöst, Anna B., Maximiliano J Rodriguez Moreno, Taihun Kim, David M. Baker, Moriaki Yasuhara, Christelle A. Not, and Ivana Karanovic. “Ostracod Shell Chemistry as Proxy for Coastal Marine Conditions of a Highly Urbanized Megacity (Hong Kong SAR) and an Agro-Centric Oceanic Province (Jeju Island, Republic of Korea) – a Preliminary Comparative Analysis.” Marine Pollution Bulletin. Elsevier, 2026. https://doi.org/10.1016/j.marpolbul.2026.119493. ieee: A. B. Jöst et al., “Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis,” Marine Pollution Bulletin, vol. 227, no. 6. Elsevier, 2026. ista: Jöst AB, Rodriguez Moreno MJ, Kim T, Baker DM, Yasuhara M, Not CA, Karanovic I. 2026. Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis. Marine Pollution Bulletin. 227(6), 119493. mla: Jöst, Anna B., et al. “Ostracod Shell Chemistry as Proxy for Coastal Marine Conditions of a Highly Urbanized Megacity (Hong Kong SAR) and an Agro-Centric Oceanic Province (Jeju Island, Republic of Korea) – a Preliminary Comparative Analysis.” Marine Pollution Bulletin, vol. 227, no. 6, 119493, Elsevier, 2026, doi:10.1016/j.marpolbul.2026.119493. short: A.B. Jöst, M.J. Rodriguez Moreno, T. Kim, D.M. Baker, M. Yasuhara, C.A. Not, I. Karanovic, Marine Pollution Bulletin 227 (2026). das_tickbox: '1' dataavailabilitystatement: The datasets analysed during the current study are available within the manuscript and the associated supplementary materials. date_created: 2026-03-08T23:01:44Z date_published: 2026-06-01T00:00:00Z date_updated: 2026-07-29T10:09:31Z day: '01' department: - _id: FrPe doi: 10.1016/j.marpolbul.2026.119493 external_id: pmid: - '41774948' fulldoi: https://doi.org/10.1016/j.marpolbul.2026.119493 intvolume: ' 227' issue: '6' language: - iso: eng month: '06' oa_version: None pmid: 1 publication: Marine Pollution Bulletin publication_identifier: eissn: - 1879-3363 issn: - 002-5326X publication_status: published publisher: Elsevier quality_controlled: '1' researchdata_availability: yes scopus_import: '1' status: public supplementarymaterial: yes title: Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 227 year: '2026' ... --- OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '22608' abstract: - lang: eng text: For tissues to spread, they must deform while staying intact. How spreading tissues balance flexibility with integrity is not yet well understood. Here, we show that keratin intermediate filaments adapt tissue mechanical resilience to the stresses arising in epithelial tissues during spreading. By analyzing the expansion of the enveloping cell layer (EVL) over the yolk cell in zebrafish embryos in vivo, we find that keratin network maturation in EVL cells is promoted by stresses building up within the spreading tissue. Through genetic interference and tissue rheology experiments, complemented by a vertex model with mechanochemical feedback, we demonstrate that stress-induced keratin network maturation in the EVL increases tissue viscosity, to prevent tissue rupture. Further, keratins are required in the yolk cell for mechanosensitive actomyosin network contraction and flow, the forces pulling the EVL. These dual mechanosensitive functions of keratins enable a balance between pulling force production and EVL mechanical resilience, ensuring uniform and robust tissue spreading. acknowledged_ssus: - _id: Bio - _id: ScienComp - _id: LifeSc - _id: EM-Fac acknowledgement: We thank all members of the Heisenberg, Henkes, and Hannezo groups for their support. We are also grateful to the Imaging and Optics, Scientific Computing, Life Science Support, and Cryo-Electron Microscopy facilities at ISTA for their technical assistance and support. Numerical simulations were performed using the computational resources from Lorentz Institute and the Academic Leiden Interdisciplinary Cluster Environment (ALICE) provided by Leiden University, and from PMMH provided by Sorbonne Université. S.N has received funding from European Union’s Horizon 2020 research and innovation programme (grant agreement No. 665385). This work was supported by the Austrian Science Fund (FWF) under projects PAT5044023 and W1250 awarded to C.-P.H. article_number: '6499' article_processing_charge: Yes article_type: original author: - first_name: Suyash full_name: Naik, Suyash id: 2C0B105C-F248-11E8-B48F-1D18A9856A87 last_name: Naik orcid: 0000-0001-8421-5508 - first_name: Yann-Edwin full_name: Keta, Yann-Edwin last_name: Keta - first_name: Kornelija full_name: Pranjic-Ferscha, Kornelija id: 4362B3C2-F248-11E8-B48F-1D18A9856A87 last_name: Pranjic-Ferscha - first_name: Edouard B full_name: Hannezo, Edouard B id: 3A9DB764-F248-11E8-B48F-1D18A9856A87 last_name: Hannezo orcid: 0000-0001-6005-1561 - first_name: Silke full_name: Henkes, Silke last_name: Henkes - first_name: Carl-Philipp J full_name: Heisenberg, Carl-Philipp J id: 39427864-F248-11E8-B48F-1D18A9856A87 last_name: Heisenberg orcid: 0000-0002-0912-4566 citation: ama: Naik S, Keta Y-E, Pranjic-Ferscha K, Hannezo EB, Henkes S, Heisenberg C-PJ. Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. Nature Communications. 2026;17. doi:10.1038/s41467-026-72366-z apa: Naik, S., Keta, Y.-E., Pranjic-Ferscha, K., Hannezo, E. B., Henkes, S., & Heisenberg, C.-P. J. (2026). Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-026-72366-z chicago: Naik, Suyash, Yann-Edwin Keta, Kornelija Pranjic-Ferscha, Edouard B Hannezo, Silke Henkes, and Carl-Philipp J Heisenberg. “Keratins Coordinate Tissue Spreading by Balancing Spreading Forces with Tissue Material Properties.” Nature Communications. Springer Nature, 2026. https://doi.org/10.1038/s41467-026-72366-z. ieee: S. Naik, Y.-E. Keta, K. Pranjic-Ferscha, E. B. Hannezo, S. Henkes, and C.-P. J. Heisenberg, “Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties,” Nature Communications, vol. 17. Springer Nature, 2026. ista: Naik S, Keta Y-E, Pranjic-Ferscha K, Hannezo EB, Henkes S, Heisenberg C-PJ. 2026. Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. Nature Communications. 17, 6499. mla: Naik, Suyash, et al. “Keratins Coordinate Tissue Spreading by Balancing Spreading Forces with Tissue Material Properties.” Nature Communications, vol. 17, 6499, Springer Nature, 2026, doi:10.1038/s41467-026-72366-z. short: S. Naik, Y.-E. Keta, K. Pranjic-Ferscha, E.B. Hannezo, S. Henkes, C.-P.J. Heisenberg, Nature Communications 17 (2026). corr_author: '1' das_tickbox: '1' dataavailabilitystatement: "The authors declare that the minimum dataset that is necessary to\r\ninterpret, verify, and extend the research in this article is included in\r\nthe supplementary information, the source data, and the archived data\r\nrepository (https://doi.org/10.15479/AT-ISTA-21137). This is also available\r\non GitHub at https://github.com/Suyash-Naik/2026-\r\nKeratinepithlialspreadingcoordinate-Data. Source data are provided\r\nwith this paper. The framework to develop the vertex models used in this paper are\r\navailable online on GitHub and archived in the source data provided.\r\nCustom scripts used for analysis of imaging and simulation data are\r\nprovided along with data files for all panels in the source data for this\r\nmanuscript on GitHub and in data repo (https://doi.org/10.15479/ATISTA-\r\n21137). Framework for the vertex model is available at https://\r\ngithub.com/yketta/cells. Code for analysis is available on GitHub\r\nhttps://github.com/Suyash-Naik/2026-\r\nKeratinepithlialspreadingcoordinate-Data." date_created: 2026-07-29T09:10:35Z date_published: 2026-07-17T00:00:00Z date_updated: 2026-07-29T10:33:31Z day: '17' ddc: - '570' department: - _id: Bio - _id: CaHe - _id: EdHa doi: 10.1038/s41467-026-72366-z external_id: pmid: - '42143048' file: - access_level: open_access checksum: f26d96e180c1d034d9c9c8f57c3c258b content_type: application/pdf creator: dernst date_created: 2026-07-29T10:27:25Z date_updated: 2026-07-29T10:27:25Z file_id: '22609' file_name: 2026_NatureComm_Naik.pdf file_size: 15363936 relation: main_file success: 1 file_date_updated: 2026-07-29T10:27:25Z fulldoi: https://doi.org/10.1038/s41467-026-72366-z has_accepted_license: '1' intvolume: ' 17' language: - iso: eng month: '07' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 8f060199-16d5-11f0-9cad-f3253b266c46 grant_number: PAT 5044023 name: Keratins in epithelial tissue spreading - _id: 252C3B08-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: W1250-B20 name: Nano-Analytics of Cellular Systems publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '20465' relation: earlier_version status: public researchdata_availability: yes scopus_import: '1' status: public supplementarymaterial: yes title: Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties 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: 17 year: '2026' ... --- OA_place: publisher OA_type: hybrid _id: '22601' abstract: - lang: eng text: Kontaktelektrifizierung tritt allgegenwärtig in der Natur auf, doch die Identität der Ladungsträger bleibt in den meisten Fällen unklar, mit Elektronen, Ionen oder nanoskopischen Materialfragmenten als mögliche Kandidaten. Ein Material, bei dem die übertragene Spezies mehr gewiss erscheint, sind Ionomere, d. h. Polymere mit mobilen Ionen, deren Ladung durch fest gebundene Gegenladungen ausgeglichen wird. Wenn Ionomere mit einer neutralen Oberfläche in Kontakt kommen, lädt sich diese mit dem Vorzeichen der mobilen Ionen auf, was stark auf Ionentransfer hindeutet. Der zugrundeliegende Mechanismus sowie die bestimmenden Einflussfaktoren dieses Transfers sind jedoch bislang nur unzureichend verstanden. In der vorliegenden Arbeit zeigen wir, dass die Bindungsaffinität zwischen den mobilen Ionen und dem Ionomer den Ladungstransfer maßgeblich bestimmt. Wir untersuchen Ionomere mit gebundenen Anionen und Kationen und erzeugen mittels Ionenaustausch Proben mit einer Reihe unterschiedlicher übertragbarer Ionen. Für das anionische Ionomer beobachten wir eine starke Abhängigkeit von der Bindungsaffinität, wobei mobile Kationen mit der höchsten Affinität am wenigsten Ladung übertragen. Eine schwächere, aber trotzdem klare Abhängigkeit wurde für das kationische Ionomer gemessen, welches der freien Hydratationsenergie der mobilen Anionen folgt. Mithilfe von optischer Emissionsspektroskopie mit induktiv gekoppeltem Plasma (ICP‐OES) bestätigen wir den Transfer von mobilen Ionen auf die Oberfläche der Gegenprobe. Unsere Ergebnisse bestätigen die Ladungsträgeridentität und den Mechanismus des Ladungstransfers bei ionomerischen Materialien, was auch für das allgemeine Verständnis von Kontaktelektrifizierung von Bedeutung sein könnte. acknowledged_ssus: - _id: LifeSc acknowledgement: "Diese Forschung wurde durch die Scientific Service Units (SSU) des IST Austria unterstützt, durch Nutzung von Ressourcen der Lab Support Facility (LSF).\r\nOpen Access funding provided by Institute of Science and Technology Austria." article_number: e5487708 article_processing_charge: No article_type: original author: - first_name: John R full_name: Hoffman Jr, John R id: 0cf4072c-94e2-11ee-bdf9-90a13138901e last_name: Hoffman Jr - first_name: Stefan Alexander full_name: Freunberger, Stefan Alexander id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425 last_name: Freunberger orcid: 0000-0003-2902-5319 - 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: 'Hoffman Jr JR, Freunberger SA, Waitukaitis SR. Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung. Angewandte Chemie. 2026. doi:10.1002/ange.5487708' apa: 'Hoffman Jr, J. R., Freunberger, S. A., & Waitukaitis, S. R. (2026). Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung. Angewandte Chemie. Wiley. https://doi.org/10.1002/ange.5487708' chicago: 'Hoffman Jr, John R, Stefan Alexander Freunberger, and Scott R Waitukaitis. “Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung.” Angewandte Chemie. Wiley, 2026. https://doi.org/10.1002/ange.5487708.' ieee: 'J. R. Hoffman Jr, S. A. Freunberger, and S. R. Waitukaitis, “Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung,” Angewandte Chemie. Wiley, 2026.' ista: 'Hoffman Jr JR, Freunberger SA, Waitukaitis SR. 2026. Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung. Angewandte Chemie., e5487708.' mla: 'Hoffman Jr, John R., et al. “Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung.” Angewandte Chemie, e5487708, Wiley, 2026, doi:10.1002/ange.5487708.' short: J.R. Hoffman Jr, S.A. Freunberger, S.R. Waitukaitis, Angewandte Chemie (2026). corr_author: '1' das_tickbox: '1' dataavailabilitystatement: The data that support the findings of this study are available from the corresponding author upon reasonable request. date_created: 2026-07-28T18:03:20Z date_published: 2026-07-26T00:00:00Z date_updated: 2026-07-29T11:00:05Z day: '26' ddc: - '540' department: - _id: StFr - _id: ScWa doi: 10.1002/ange.5487708 fulldoi: https://doi.org/10.1002/ange.5487708 has_accepted_license: '1' language: - iso: ger main_file_link: - open_access: '1' url: https://doi.org/10.1002/ange.5487708 month: '07' oa: 1 oa_version: Published Version publication: Angewandte Chemie publication_identifier: eissn: - 1521-3757 issn: - 0044-8249 publication_status: epub_ahead publisher: Wiley quality_controlled: '1' researchdata_availability: upon request scopus_import: '1' status: public supplementarymaterial: yes title: 'Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung' 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: '2026' ... --- OA_place: repository OA_type: green _id: '22404' abstract: - lang: eng text: We consider a class of two-dimensional tight binding models displaying conical intersections of the Bloch bands at the Fermi level. The setting includes the case of generic transitions between quantum Hall phases. We consider the longitudinal conductivity, as given by Kubo formula, describing the variation of the current after introducing a space-homogeneous electric field, in an adiabatic way. We obtain an explicit expression for the longitudinal conductivity, completely determined by the number of conical intersections and by the shape of the cones. In particular, the formula reproduces the known quantized values found for graphene and for the critical Haldane model. Furthermore, we discuss the validity of Kubo formula in presence of conical intersections in the spectrum, starting from the time-dependent Schrödinger equation. For electric fields which are weak and slowly varying in space and in time, we prove the validity of linear response from quantum dynamics. acknowledgement: G. M. and M. P. acknowledge support by the European Research Council through the ERC-StG MaMBoQ, n. 802901. G. M. acknowledges financial support from the Independent Research Fund Denmark–Natural Sciences, grant DFF–10.46540/2032-00005B and from the European Research Council through the ERC CoG UniCoSM, grant agreement n.724939. M. P. acknowledges support from the MUR, PRIN 2022 project MaIQuFi cod. 20223J85K3. This work has been carried out under the auspices of the GNFM of INdAM. We thank the anonymous referees for comments on a previous version of this manuscript. article_number: '82' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Giovanna full_name: Marcelli, Giovanna last_name: Marcelli - first_name: Lorenzo full_name: Pigozzi, Lorenzo id: efb8f850-3208-11ee-ac71-8c4f5803b9c6 last_name: Pigozzi - first_name: Marcello full_name: Porta, Marcello last_name: Porta citation: ama: Marcelli G, Pigozzi L, Porta M. Longitudinal conductivity at integer quantum Hall transitions. Letters in Mathematical Physics. 2026;116(4). doi:10.1007/s11005-026-02087-3 apa: Marcelli, G., Pigozzi, L., & Porta, M. (2026). Longitudinal conductivity at integer quantum Hall transitions. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-026-02087-3 chicago: Marcelli, Giovanna, Lorenzo Pigozzi, and Marcello Porta. “Longitudinal Conductivity at Integer Quantum Hall Transitions.” Letters in Mathematical Physics. Springer Nature, 2026. https://doi.org/10.1007/s11005-026-02087-3. ieee: G. Marcelli, L. Pigozzi, and M. Porta, “Longitudinal conductivity at integer quantum Hall transitions,” Letters in Mathematical Physics, vol. 116, no. 4. Springer Nature, 2026. ista: Marcelli G, Pigozzi L, Porta M. 2026. Longitudinal conductivity at integer quantum Hall transitions. Letters in Mathematical Physics. 116(4), 82. mla: Marcelli, Giovanna, et al. “Longitudinal Conductivity at Integer Quantum Hall Transitions.” Letters in Mathematical Physics, vol. 116, no. 4, 82, Springer Nature, 2026, doi:10.1007/s11005-026-02087-3. short: G. Marcelli, L. Pigozzi, M. Porta, Letters in Mathematical Physics 116 (2026). das_tickbox: '1' dataavailabilitystatement: Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study. date_created: 2026-07-26T22:01:40Z date_published: 2026-08-01T00:00:00Z date_updated: 2026-07-29T10:51:55Z day: '01' department: - _id: RoSe - _id: GradSch doi: 10.1007/s11005-026-02087-3 external_id: arxiv: - '2503.01381' fulldoi: https://doi.org/10.1007/s11005-026-02087-3 intvolume: ' 116' issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2503.01381 mathsc: - 81V70 month: '08' oa: 1 oa_version: Preprint publication: Letters in Mathematical Physics publication_identifier: eissn: - 1573-0530 issn: - 0377-9017 publication_status: published publisher: Springer Nature quality_controlled: '1' researchdata_availability: not applicable scopus_import: '1' status: public supplementarymaterial: no title: Longitudinal conductivity at integer quantum Hall transitions type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 116 year: '2026' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '22607' abstract: - lang: eng text: "Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over linearly ordered fields in Lean 4. Furthermore, we extend duality theory to the case when some coefficients are allowed to take \"infinite values\".\r\nCode: https://github.com/madvorak/duality/tree/v3.2.0" acknowledgement: "We would like to thank David Bartl and Jasmin Blanchette for frequent consultations.\r\nWe would also like to express gratitude to Henrik Böving for a help with generalization\r\nfrom extended rationals to extended linearly ordered fields and to Andrew Yang for the\r\nproof of Finset.univ_sum_of_zero_when_not. We would also like to acknowledge Antoine\r\nChambert-Loir, Apurva Nakade, Yaël Dillies, Richard Copley, Edward van de Meent, Markus\r\nHimmel, Mario Carneiro, and Kevin Buzzard." article_number: '14253' article_processing_charge: Yes (in subscription journal) 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. Duality theory in linear optimization and its extensions -- formally verified. Annals of Formalized Mathematics. 2026;2. doi:10.46298/afm.14253 apa: Dvorak, M., & Kolmogorov, V. (2026). Duality theory in linear optimization and its extensions -- formally verified. Annals of Formalized Mathematics. EPI Sciences. https://doi.org/10.46298/afm.14253 chicago: Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally Verified.” Annals of Formalized Mathematics. EPI Sciences, 2026. https://doi.org/10.46298/afm.14253. ieee: M. Dvorak and V. Kolmogorov, “Duality theory in linear optimization and its extensions -- formally verified,” Annals of Formalized Mathematics, vol. 2. EPI Sciences, 2026. ista: Dvorak M, Kolmogorov V. 2026. Duality theory in linear optimization and its extensions -- formally verified. Annals of Formalized Mathematics. 2, 14253. mla: Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally Verified.” Annals of Formalized Mathematics, vol. 2, 14253, EPI Sciences, 2026, doi:10.46298/afm.14253. short: M. Dvorak, V. Kolmogorov, Annals of Formalized Mathematics 2 (2026). corr_author: '1' das_tickbox: '0' date_created: 2026-07-29T09:06:55Z date_published: 2026-03-13T00:00:00Z date_updated: 2026-07-29T10:50:17Z day: '13' ddc: - '500' department: - _id: VlKo - _id: GradSch doi: 10.46298/afm.14253 external_id: arxiv: - '2409.08119' fulldoi: https://doi.org/10.46298/afm.14253 has_accepted_license: '1' intvolume: ' 2' keyword: - Farkas lemma - linear programming - extended reals - calculus of inductive constructions language: - iso: eng mathsc: - 68V20 - 15A39 - 90C05 month: '03' oa_version: Published Version publication: Annals of Formalized Mathematics publication_identifier: eissn: - 3117-4604 publication_status: published publisher: EPI Sciences quality_controlled: '1' related_material: record: - id: '20071' relation: earlier_version status: public researchdata_availability: no status: public supplementarymaterial: no title: Duality theory in linear optimization and its extensions -- formally verified 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: 2 year: '2026' ... --- OA_place: publisher OA_type: hybrid _id: '22602' abstract: - lang: eng text: Contact electrification occurs ubiquitously in nature, but the identity of charge carriers in most situations remains uncertain, with electrons, ions, or nanoscopic material fragments as viable candidates. One material where the species transferred seems more certain is ionomers, i.e., polymers that contain mobile ions balanced by fixed counter‐charges. When ionomers touch a neutral surface, the latter becomes charged in the sign of the mobile ion, strongly suggesting ion transfer. However, the mechanism and governing factors of transfer remain poorly understood. Here, we demonstrate that binding affinity between mobile ion and ionomer controls charge transfer with ionomers. We use ionomers with fixed anions and cations and perform ion exchange to create samples with a series of transferrable ions. We observe a strong binding‐affinity dependence for the anionic ionomer, such that mobile cations with the highest affinity transfers the least charge. Weaker, yet clear dependence was measured for the cationic ionomer, which follows the hydration free energy of the mobile anion. Using inductively coupled plasma optical emission spectroscopy (ICP‐OES), we confirm transfer of the mobile ions to the counter sample's surface. Our results confirm the identify and mechanism of charge transfer with ionomeric materials, with potential implications for contact electrification more broadly. acknowledged_ssus: - _id: LifeSc acknowledgement: "This research was supported by the Scientific Service Units (SSU) of IST-Austria through resources provided by the Lab Support Facility (LSF).\r\nOpen Access funding provided by Institute of Science and Technology Austria." article_number: e5487708 article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: John R full_name: Hoffman Jr, John R id: 0cf4072c-94e2-11ee-bdf9-90a13138901e last_name: Hoffman Jr - first_name: Stefan Alexander full_name: Freunberger, Stefan Alexander id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425 last_name: Freunberger orcid: 0000-0003-2902-5319 - 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: 'Hoffman Jr JR, Freunberger SA, Waitukaitis SR. Ion transfer during ionomer contact electrification: Binding affinity controls charging. Angewandte Chemie International Edition. 2026. doi:10.1002/anie.5487708' apa: 'Hoffman Jr, J. R., Freunberger, S. A., & Waitukaitis, S. R. (2026). Ion transfer during ionomer contact electrification: Binding affinity controls charging. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.5487708' chicago: 'Hoffman Jr, John R, Stefan Alexander Freunberger, and Scott R Waitukaitis. “Ion Transfer during Ionomer Contact Electrification: Binding Affinity Controls Charging.” Angewandte Chemie International Edition. Wiley, 2026. https://doi.org/10.1002/anie.5487708.' ieee: 'J. R. Hoffman Jr, S. A. Freunberger, and S. R. Waitukaitis, “Ion transfer during ionomer contact electrification: Binding affinity controls charging,” Angewandte Chemie International Edition. Wiley, 2026.' ista: 'Hoffman Jr JR, Freunberger SA, Waitukaitis SR. 2026. Ion transfer during ionomer contact electrification: Binding affinity controls charging. Angewandte Chemie International Edition., e5487708.' mla: 'Hoffman Jr, John R., et al. “Ion Transfer during Ionomer Contact Electrification: Binding Affinity Controls Charging.” Angewandte Chemie International Edition, e5487708, Wiley, 2026, doi:10.1002/anie.5487708.' short: J.R. Hoffman Jr, S.A. Freunberger, S.R. Waitukaitis, Angewandte Chemie International Edition (2026). corr_author: '1' das_tickbox: '1' dataavailabilitystatement: The data that support the findings of this study are available from the corresponding author upon reasonable request. date_created: 2026-07-28T18:04:19Z date_published: 2026-07-21T00:00:00Z date_updated: 2026-07-29T11:25:58Z day: '21' ddc: - '540' department: - _id: StFr - _id: ScWa doi: 10.1002/anie.5487708 external_id: pmid: - '42478784' fulldoi: https://doi.org/10.1002/anie.5487708 has_accepted_license: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1002/anie.5487708 month: '07' oa: 1 oa_version: Published Version pmid: 1 publication: Angewandte Chemie International Edition publication_identifier: eissn: - 1521-3773 issn: - 1433-7851 publication_status: epub_ahead publisher: Wiley quality_controlled: '1' researchdata_availability: upon request scopus_import: '1' status: public supplementarymaterial: yes title: 'Ion transfer during ionomer contact electrification: Binding affinity controls charging' 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: '2026' ... --- OA_place: repository _id: '21393' abstract: - lang: eng text: "This thesis documents a voyage towards truth and beauty via formal verification of theorems. To this end, we develop libraries in Lean 4 that present definitions and results from diverse areas of MathematiCS (i.e., Mathematics and Computer Science). The aim is to create code that is understandable, believable, useful, and elegant. The code should stand for itself as much as possible without a need for documentation; however, this text redundantly documents our code artifacts and provides additional context that isn’t present in the code. This thesis is written for readers who know Lean 4 but are not familiar with any of the topics presented. We manifest truth and beauty in three formalized areas of MathematiCS.\r\n\r\nWe formalize general grammars in Lean 4 and use grammars to show closure of the class of type-0 languages under four operations; union, reversal, concatenation, and the Kleene star.\r\n\r\nOur second stop is the theory of optimization. Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over linearly ordered fields in Lean 4. Furthermore, we extend duality theory to the case when some coefficients are allowed to take “infinite values”. Additionally, we develop the basics of the theory of optimization in terms of the framework called General-Valued Constraint Satisfaction Problems, and we prove that, if a Rational-Valued Constraint Satisfaction Problem template has symmetric fractional polymorphisms of all arities, then its basic LP relaxation is tight.\r\n\r\nOur third stop is matroid theory. Seymour’s decomposition theorem is a hallmark result in matroid theory, presenting a structural characterization of the class of regular matroids. We aim to formally verify Seymour’s theorem in Lean 4. First, we build a library for working with totally unimodular matrices. We define binary matroids and their standard representations, and we prove that they form a matroid in the sense how Mathlib defines matroids. We define regular matroids to be matroids for which there exists a full representation rational matrix that is totally unimodular, and we prove that all regular matroids are binary. We define 1-sum, 2-sum, and 3 sum of binary matroids as specific ways to compose their standard representation matrices. We prove that the 1-sum, the 2-sum, and the 3-sum of regular matroids are a regular matroid, which concludes the composition direction of the Seymour’s theorem. The (more difficult) decomposition direction remains unproved.\r\n\r\nIn the pursuit of truth, we focus on identifying the trusted code in each project and presenting it faithfully. We emphasize the readability and believability of definitions rather than choosing definitions that are easier to work with. In search for beauty, we focus on the philosophical framework of Roger Scruton, who emphasizes that beauty is not a mere decoration but, most importantly, beauty is the means for shaping our place in the world and a source of redemption, where it can be viewed as a substitute for religion." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Martin full_name: Dvorak, Martin id: 40ED02A8-C8B4-11E9-A9C0-453BE6697425 last_name: Dvorak orcid: 0000-0001-5293-214X citation: ama: 'Dvorak M. Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids. 2026. doi:10.15479/AT-ISTA-21393' apa: 'Dvorak, M. (2026). Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21393' chicago: 'Dvorak, Martin. “Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-21393.' ieee: 'M. Dvorak, “Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids,” Institute of Science and Technology Austria, 2026.' ista: 'Dvorak M. 2026. Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids. Institute of Science and Technology Austria.' mla: 'Dvorak, Martin. Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21393.' short: 'M. Dvorak, Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.' corr_author: '1' date_created: 2026-03-04T09:26:46Z date_published: 2026-03-04T00:00:00Z date_updated: 2026-07-29T12:56:52Z day: '04' ddc: - '511' - '000' degree_awarded: PhD department: - _id: GradSch - _id: VlKo doi: 10.15479/AT-ISTA-21393 doi_confirm: '1' file: - access_level: open_access checksum: cface6dc18152680962b5361575f6e4f content_type: application/pdf creator: mdvorak date_created: 2026-03-04T08:56:15Z date_updated: 2026-03-04T08:56:15Z file_id: '21394' file_name: 2026_Dvorak_Martin_Thesis.pdf file_size: 1771231 relation: main_file success: 1 - access_level: closed checksum: 290ddfacfb7e07fb07e6f0b334e67c90 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: mdvorak date_created: 2026-03-04T09:03:37Z date_updated: 2026-03-04T09:03:37Z file_id: '21395' file_name: 2026_Dvorak_Martin_Thesis.docx file_size: 864585 relation: source_file file_date_updated: 2026-03-04T09:03:37Z fulldoi: https://doi.org/10.15479/AT-ISTA-21393 has_accepted_license: '1' language: - iso: eng month: '03' oa: 1 oa_version: Published Version page: '160' publication_identifier: isbn: - 978-3-99078-074-9 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: link: - description: Full version of all definitions, statements, and proofs for Chapter 3.1 (Linear duality) relation: software url: https://github.com/madvorak/duality/tree/v3.5.0 - description: Full version of all definitions, statements, and proofs for Chapter 3.2 (Valued Constraint Satisfaction Problems) relation: software url: https://github.com/madvorak/vcsp/tree/v8.2.0 - description: Full version of all definitions, statements, and proofs for Chapter 4 (Seymour project) relation: software url: https://github.com/Ivan-Sergeyev/seymour/tree/v1.2.0 - description: Full version of all definitions, statements, and proofs for Chapter 5 (Theory of grammars) relation: software url: https://github.com/madvorak/chomsky/tree/v1.2.0 - description: Old version (Lean 3) of the project about grammars relation: software url: https://github.com/madvorak/grammars - description: Demonstration of (minimal) requirements for selected algebraic classes used in my Ph.D. thesis relation: software url: https://github.com/madvorak/preliminaries/blob/main/Preliminaries.lean record: - id: '13120' relation: part_of_dissertation status: public - id: '20071' relation: part_of_dissertation status: public - id: '21398' relation: part_of_dissertation status: public status: public supervisor: - first_name: Vladimir full_name: Kolmogorov, Vladimir id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87 last_name: Kolmogorov - first_name: Jasmin full_name: Blanchette, Jasmin last_name: Blanchette title: 'Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids' 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: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2026' ... --- OA_place: publisher OA_type: gold _id: '22617' abstract: - lang: eng text: "Consider a 4-player version of Matching Pennies where a team of three players competes against the Devil. Each player simultaneously says \"Heads\" or \"Tails\". The team wins if all four choices match; otherwise the Devil wins. If all team players randomise independently, they win with probability 1/8; if all players share a common source of randomness, they win with probability 1/2. What happens when each pair of team players shares a source of randomness? Can the team do better than win with probability 1/4? The surprising (and nontrivial) answer is yes!\r\nWe introduce Dicey Games, a formal framework motivated by the study of distributed systems with shared sources of randomness (of which the above example is a specific instance). We characterise the existence, representation and computational complexity of optimal strategies in Dicey Games, and we study the problem of allocating limited sources of randomness optimally within a team." acknowledgement: "This work was supported in part by the ERC-2020-AdG 101020093 (VAMOS).\r\nLéonard Brice: Part of this work was realised when this author was an FNRS aspirant at Université libre de Bruxelles.\r\nK. S. Thejaswini: Part of this work was realised when this author was a post-doctoral researcher at IST Austria.\r\nAcknowledgements We thank all our colleagues who took the time to hear our puzzle and wasted several hours of their research time in pursuit of the optimal bounds for the 3-player matching.\r\npennies problem.\r\n" alternative_title: - LIPIcs article_number: 23:1-23:26 article_processing_charge: No arxiv: 1 author: - first_name: Leonard J full_name: Brice, Leonard J id: ce3b3409-db6c-11f0-aa64-ad678f7fd937 last_name: Brice - 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: K. S. full_name: Thejaswini, K. S. last_name: Thejaswini citation: ama: 'Brice LJ, Henzinger TA, Thejaswini KS. Dicey games: Shared sources of randomness in distributed systems. In: 41st Annual Symposium on Logic in Computer Science. Vol 380. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2026. doi:10.4230/LIPIcs.LICS.2026.23' apa: 'Brice, L. J., Henzinger, T. A., & Thejaswini, K. S. (2026). Dicey games: Shared sources of randomness in distributed systems. In 41st Annual Symposium on Logic in Computer Science (Vol. 380). Lisbon, Portugal: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.LICS.2026.23' chicago: 'Brice, Leonard J, Thomas A Henzinger, and K. S. Thejaswini. “Dicey Games: Shared Sources of Randomness in Distributed Systems.” In 41st Annual Symposium on Logic in Computer Science, Vol. 380. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. https://doi.org/10.4230/LIPIcs.LICS.2026.23.' ieee: 'L. J. Brice, T. A. Henzinger, and K. S. Thejaswini, “Dicey games: Shared sources of randomness in distributed systems,” in 41st Annual Symposium on Logic in Computer Science, Lisbon, Portugal, 2026, vol. 380.' ista: 'Brice LJ, Henzinger TA, Thejaswini KS. 2026. Dicey games: Shared sources of randomness in distributed systems. 41st Annual Symposium on Logic in Computer Science. LICS: Logic in Computer Science, LIPIcs, vol. 380, 23:1-23:26.' mla: 'Brice, Leonard J., et al. “Dicey Games: Shared Sources of Randomness in Distributed Systems.” 41st Annual Symposium on Logic in Computer Science, vol. 380, 23:1-23:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.LICS.2026.23.' short: L.J. Brice, T.A. Henzinger, K.S. Thejaswini, in:, 41st Annual Symposium on Logic in Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. conference: end_date: 2026-07-23 location: Lisbon, Portugal name: 'LICS: Logic in Computer Science' start_date: 2026-07-20 corr_author: '1' das_tickbox: '0' date_created: 2026-08-02T22:01:52Z date_published: 2026-07-09T00:00:00Z date_updated: 2026-08-03T07:03:28Z day: '09' ddc: - '000' department: - _id: ToHe doi: 10.4230/LIPIcs.LICS.2026.23 ec_funded: 1 external_id: arxiv: - '2601.18303' file: - access_level: open_access checksum: 5d0ff4d267565188a8b4c7502e1bd243 content_type: application/pdf creator: dernst date_created: 2026-08-03T07:02:30Z date_updated: 2026-08-03T07:02:30Z file_id: '22625' file_name: 2026_LIPICSLICS_Brice.pdf file_size: 919708 relation: main_file success: 1 file_date_updated: 2026-08-03T07:02:30Z fulldoi: https://doi.org/10.4230/LIPIcs.LICS.2026.23 has_accepted_license: '1' intvolume: ' 380' keyword: - Concurrent games - Shared randomness - Topology - Algebraic Geometry language: - iso: eng month: '07' 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 publication: 41st Annual Symposium on Logic in Computer Science publication_identifier: isbn: - '9783959774345' issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: 'Dicey games: Shared sources of randomness in distributed systems' 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: 380 year: '2026' ...