--- DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '20116' abstract: - lang: eng text: Auxin regulates various aspects of plant growth and development by modulating the transcription of target genes through the degradation of auxin/indole-3-acetic acid (Aux/IAA) repressors via the 26S proteasome. Proteasome regulator 1 (PTRE1), a positive regulator of proteasome activity, has been implicated in auxin-mediated proteasome suppression; however, the mechanism by which auxin modulates PTRE1 function remains unclear. Here, we demonstrate that auxin promotes the interaction between germin-like protein 1 (GLP1) and PTRE1, facilitating PTRE1 retention at the plasma membrane. The relocation of PTRE1 results in reduced nuclear 26S proteasome activity, and thus the attenuated Aux/IAA degradation and altered Aux/IAA homeostasis, ultimately resulting in suppressed auxin-mediated transcriptional regulation. Our findings uncover a previously uncharacterized regulatory axis in auxin signaling that controls Aux/IAA protein stability, functioning alongside the TIR1- and TRANSMEMBRANE KINASE 1 (TMK1)-mediated pathways, and highlight the coordination of auxin signaling from the cell surface to the nucleus via auxin-induced PTRE1 relocation, which fine-tunes Aux/IAA protein homeostasis and auxin responses. acknowledgement: The study was supported by the National Natural Science Foundation of China (NSFC; 32230011, 91954206, and 31721001). We thank Dr. Deli Lin (Shanghai Jiao Tong University) for kind help with the laser confocal microscope observation and the Arabidopsis Biological Resource Center (ABRC) for providing T-DNA insertional mutants. article_number: '116056' article_processing_charge: Yes article_type: original author: - first_name: Faqing full_name: Xu, Faqing last_name: Xu - first_name: Yongqiang full_name: Yu, Yongqiang last_name: Yu - first_name: Bin full_name: Guan, Bin id: 56aad729-cca2-11ed-a45a-9b4138991a48 last_name: Guan - first_name: Tongda full_name: Xu, Tongda last_name: Xu - first_name: Zhihong full_name: Xu, Zhihong last_name: Xu - first_name: Hongwei full_name: Xue, Hongwei last_name: Xue citation: ama: Xu F, Yu Y, Guan B, Xu T, Xu Z, Xue H. Germin-like protein 1 interacts with proteasome regulator 1 to regulate auxin signaling by controlling Aux/IAA homeostasis. Cell Reports. 2025;44(8). doi:10.1016/j.celrep.2025.116056 apa: Xu, F., Yu, Y., Guan, B., Xu, T., Xu, Z., & Xue, H. (2025). Germin-like protein 1 interacts with proteasome regulator 1 to regulate auxin signaling by controlling Aux/IAA homeostasis. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2025.116056 chicago: Xu, Faqing, Yongqiang Yu, Bin Guan, Tongda Xu, Zhihong Xu, and Hongwei Xue. “Germin-like Protein 1 Interacts with Proteasome Regulator 1 to Regulate Auxin Signaling by Controlling Aux/IAA Homeostasis.” Cell Reports. Elsevier, 2025. https://doi.org/10.1016/j.celrep.2025.116056. ieee: F. Xu, Y. Yu, B. Guan, T. Xu, Z. Xu, and H. Xue, “Germin-like protein 1 interacts with proteasome regulator 1 to regulate auxin signaling by controlling Aux/IAA homeostasis,” Cell Reports, vol. 44, no. 8. Elsevier, 2025. ista: Xu F, Yu Y, Guan B, Xu T, Xu Z, Xue H. 2025. Germin-like protein 1 interacts with proteasome regulator 1 to regulate auxin signaling by controlling Aux/IAA homeostasis. Cell Reports. 44(8), 116056. mla: Xu, Faqing, et al. “Germin-like Protein 1 Interacts with Proteasome Regulator 1 to Regulate Auxin Signaling by Controlling Aux/IAA Homeostasis.” Cell Reports, vol. 44, no. 8, 116056, Elsevier, 2025, doi:10.1016/j.celrep.2025.116056. short: F. Xu, Y. Yu, B. Guan, T. Xu, Z. Xu, H. Xue, Cell Reports 44 (2025). date_created: 2025-08-04T13:39:11Z date_published: 2025-07-24T00:00:00Z date_updated: 2025-09-30T14:13:45Z day: '24' ddc: - '580' department: - _id: JiFr doi: 10.1016/j.celrep.2025.116056 external_id: isi: - '001542038500001' pmid: - '40714631' file: - access_level: open_access checksum: 3c43e040a4a7a65ec67ae1d2bb81261a content_type: application/pdf creator: dernst date_created: 2025-08-05T06:15:09Z date_updated: 2025-08-05T06:15:09Z file_id: '20120' file_name: 2025_CellReports_Xu.pdf file_size: 24178018 relation: main_file success: 1 file_date_updated: 2025-08-05T06:15:09Z has_accepted_license: '1' intvolume: ' 44' isi: 1 issue: '8' language: - iso: eng month: '07' oa: 1 oa_version: Published Version pmid: 1 publication: Cell Reports publication_identifier: eissn: - 2211-1247 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Germin-like protein 1 interacts with proteasome regulator 1 to regulate auxin signaling by controlling Aux/IAA homeostasis tmp: image: /images/cc_by_nc.png legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) short: CC BY-NC (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 44 year: '2025' ... --- OA_place: publisher _id: '20117' acknowledged_ssus: - _id: Bio - _id: LifeSc - _id: PreCl acknowledgement: "I would also like to acknowledge the invaluable assistance provided by the Plant\r\nFacility, Imaging & Optics Facility, and the Lab Support Facility. The technical support and\r\nresources offered by these facilities were indispensable to the successful completion of my\r\nexperiments." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Yiqun full_name: Wang, Yiqun id: 82F537F2-B517-11E9-84D7-6433E6697425 last_name: Wang citation: ama: Wang Y. The role of dynamin related protein 2A in cytokinin regulated plant growth and development. 2025. doi:10.15479/AT-ISTA-20117 apa: Wang, Y. (2025). The role of dynamin related protein 2A in cytokinin regulated plant growth and development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20117 chicago: Wang, Yiqun. “The Role of Dynamin Related Protein 2A in Cytokinin Regulated Plant Growth and Development.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20117. ieee: Y. Wang, “The role of dynamin related protein 2A in cytokinin regulated plant growth and development,” Institute of Science and Technology Austria, 2025. ista: Wang Y. 2025. The role of dynamin related protein 2A in cytokinin regulated plant growth and development. Institute of Science and Technology Austria. mla: Wang, Yiqun. The Role of Dynamin Related Protein 2A in Cytokinin Regulated Plant Growth and Development. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20117. short: Y. Wang, The Role of Dynamin Related Protein 2A in Cytokinin Regulated Plant Growth and Development, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-08-04T15:24:21Z date_published: 2025-08-04T00:00:00Z date_updated: 2026-04-07T11:49:34Z day: '04' ddc: - '580' degree_awarded: PhD department: - _id: GradSch - _id: EvBe doi: 10.15479/AT-ISTA-20117 file: - access_level: closed checksum: 36b87c17d12c7bf5955d6d812acb8d77 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: yiqwang date_created: 2025-08-22T08:22:10Z date_updated: 2025-08-22T08:53:46Z file_id: '20209' file_name: 2025_Wang_Yiqun_Thesis.docx file_size: 25798848 relation: source_file - access_level: closed checksum: 8d7a2383f66377da675d379ec30ea0fe content_type: application/pdf creator: yiqwang date_created: 2025-08-22T10:32:30Z date_updated: 2025-09-03T09:36:52Z embargo: 2026-09-03 embargo_to: open_access file_id: '20211' file_name: 2025_Wang_Yiqun_Thesis.pdf file_size: 12628313 relation: main_file file_date_updated: 2025-09-03T09:36:52Z has_accepted_license: '1' language: - iso: eng month: '08' oa_version: Published Version page: '108' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '18063' relation: part_of_dissertation 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: The role of dynamin related protein 2A in cytokinin regulated plant growth and development type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ... --- OA_place: publisher _id: '20138' abstract: - lang: eng text: "The evolution shapes the world around us.\r\nNot only in biology, where the fittest individuals spread their genes but also in physics and social dynamics, the evolutionary forces determine the development of a state of matter or public opinions.\r\nMany models describe these dynamics.\r\nThis thesis examines the role of the structure in the models of selection.\r\nThe population structure is represented as a graph or a network, and each vertex is occupied by one individual.\r\nEvery individual has a type and fitness that represents the reproductive potential and depends on the type, occupied vertex, and the arrangement of the neighbors.\r\nThe evolution is modeled in discrete steps; in one step, one individual is replaced by a neighbor selected randomly with the influence of fitness.\r\n\r\n\r\n\r\nThe role of the networks is widely examined in the literature.\r\nThe structures that promote the spread of the desired type compared to the structureless case are called amplifiers.\r\nThe existence of amplifiers in various settings is an intensively studied topic, and in some settings, the amplifiers have been identified.\r\nMoreover, there are other important questions about the number of steps until one type spreads over the whole network (fixation time), the computational complexity, and the questions about the robustness of these processes.\r\n\r\n\r\nThis thesis explores the role of structure in evolution from many perspectives.\r\nFirst, it introduces different models and various choices that can be made in the models of evolution.\r\nIt highlights the role of the structure in the real world and how this is reflected in these models.\r\nThen, it describes the previous results and open problems.\r\nSecond, the thesis describes an amplifier for two variants of the Moran process: one with a constant birth rate and the other with a constant death rate.\r\nThis is an important contribution to the robustness of the amplification.\r\nThird, the thesis determines the complexity of spatial games.\r\nThese are processes where the fitness comes from a game, and the strength of selection is high.\r\nIt shows that determining the fate of cooperation in these games is a PSPACE-complete problem.\r\nFourth, the thesis describes the amplifier of cooperation for spatial games.\r\nThis is the first amplifier in this setting.\r\nFifth, the thesis examines the coexistence in the Moran process with environmental heterogeneity.\r\nIn this setting, the fitness depends not only on the type of the individual but also on the occupied vertex.\r\nThe chapter determines the relationship between the interactions of vertices of different types and the coexistence time.\r\nSixth, the thesis examines the social balance on networks and proposes a stochastic dynamic partially aware of the state of the graph, which reaches a balanced position quickly.\r\nFinally, the thesis presents conclusions and outlines the directions for future work.\r\n\r\n\r\n" acknowledgement: "This work was supported by the European Research Council CoG 863818 (ForMSMArt) and Austrian Science Fund 10.55776/COE12.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Jakub full_name: Svoboda, Jakub id: 130759D2-D7DD-11E9-87D2-DE0DE6697425 last_name: Svoboda orcid: 0000-0002-1419-3267 citation: ama: Svoboda J. Structural properties of games on graphs. 2025. doi:10.15479/AT-ISTA-20138 apa: Svoboda, J. (2025). Structural properties of games on graphs. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20138 chicago: Svoboda, Jakub. “Structural Properties of Games on Graphs.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20138. ieee: J. Svoboda, “Structural properties of games on graphs,” Institute of Science and Technology Austria, 2025. ista: Svoboda J. 2025. Structural properties of games on graphs. Institute of Science and Technology Austria. mla: Svoboda, Jakub. Structural Properties of Games on Graphs. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20138. short: J. Svoboda, Structural Properties of Games on Graphs, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-08-05T14:33:59Z date_published: 2025-08-05T00:00:00Z date_updated: 2026-04-07T11:49:12Z day: '05' ddc: - '000' - '519' degree_awarded: PhD department: - _id: GradSch - _id: KrCh doi: 10.15479/AT-ISTA-20138 ec_funded: 1 file: - access_level: open_access checksum: c6c4df9777f4537940de7ab392ad57e2 content_type: application/pdf creator: jsvoboda date_created: 2025-08-14T09:54:43Z date_updated: 2025-08-14T09:54:43Z file_id: '20177' file_name: 2025_Svoboda_Jakub_Thesis.pdf file_size: 5927291 relation: main_file success: 1 - access_level: closed checksum: 485e9f9822821bc03666d245d80aaa08 content_type: application/zip creator: jsvoboda date_created: 2025-08-14T09:55:20Z date_updated: 2025-08-21T11:48:39Z file_id: '20178' file_name: 2025_Svoboda_Jakub_Thesis.zip file_size: 6731815 relation: source_file file_date_updated: 2025-08-21T11:48:39Z has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '167' project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '12787' relation: part_of_dissertation status: public - id: '12101' relation: part_of_dissertation status: public - id: '12257' relation: part_of_dissertation status: public - id: '15297' relation: part_of_dissertation status: public - id: '18703' relation: part_of_dissertation status: public status: public supervisor: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X title: Structural properties of games on graphs tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20143' abstract: - lang: eng text: Bacteria and archaea deploy diverse antiviral defense systems, many of which remain mechanistically uncharacterized. Here, we characterize Kiwa, a widespread two-component system composed of the transmembrane sensor KwaA and the DNA-binding effector KwaB. Cryogenic electron microscopy (cryo-EM) analysis reveals that KwaA and KwaB assemble into a large, membrane-associated supercomplex. Upon phage binding, KwaA senses infection at the membrane, leading to KwaB binding of ejected phage DNA and inhibition of replication and late transcription, without inducing host cell death. Although KwaB can bind DNA independently, its antiviral activity requires association with KwaA, suggesting spatial or conformational regulation. We show that the phage-encoded DNA-mimic protein Gam directly binds and inhibits KwaB but that co-expression with the Gam-targeted RecBCD system restores protection by Kiwa. Our findings support a model in which Kiwa coordinates membrane-associated detection of phage infection with downstream DNA binding by its effector, forming a spatially coordinated antiviral mechanism. acknowledgement: We thank Rotem Sorek (Weizmann Institute of Science) for the Lambda Gam mutant and Ian Molineux (University of Texas) for T4Δgp2. We thank You Yu (Zhejiang University-University of Edinburgh Institute) and J. De La Cruz (MSK) for assistance with cryo-EM data collection and Lyuqin Zheng (MSK) for discussions on structural analysis. We thank the Imaging and Microscopy Centre (IMC) at the University of Southampton. This work was supported by Royal Society grant RGS\R2\222312 to F.L.N.; Welch Foundation grant F-1938 and National Institutes of Health R35GM138348 to D.W.T.; Wessex Medical Research Innovation grant AE06 to T.A.; and NIH grant GM145888 and Maloris Foundation and Memorial Sloan-Kettering Core grant (P30-CA008748) to D.J.P. In addition to MSKCC cryo-EM resources, some of this work was performed at the National Center for CryoEM Access and Training (NCCAT) and the Simons Electron Microscopy Center located at the New York Structural Biology Center, supported by the NIH Common Fund Transformative High Resolution Cryo-Electron Microscopy program (U24 GM129539) and Simons Foundation (SF349247) and NY State Assembly grants. This research used NSLS-II MX X-ray User Resources (FMX) of the National Synchrotron Light Source II, operated for the DOE Office of Science by Brookhaven National Laboratory under contract no. DE-SC0012704. The Center for BioMolecular Structure (CBMS) is primarily supported by the NIH, the National Institute of General Medical Sciences (NIGMS) through a Center Core P30 Grant (P30GM133893), and by the DOE Office of Biological and Environmental Research (KP1605010). R.K. and E.V.K. are supported by the Intramural Research Program of the NIH (National Library of Medicine). article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Zhiying full_name: Zhang, Zhiying last_name: Zhang - first_name: Thomas C. full_name: Todeschini, Thomas C. last_name: Todeschini - first_name: Yi full_name: Wu, Yi last_name: Wu - first_name: Roman full_name: Kogay, Roman last_name: Kogay - first_name: Ameena full_name: Naji, Ameena last_name: Naji - first_name: Joaquin full_name: Cardenas Rodriguez, Joaquin last_name: Cardenas Rodriguez - first_name: Rupavidhya full_name: Mondi, Rupavidhya last_name: Mondi - first_name: Daniel full_name: Kaganovich, Daniel last_name: Kaganovich - first_name: David W. full_name: Taylor, David W. last_name: Taylor - first_name: Jack Peter Kelly full_name: Bravo, Jack Peter Kelly id: 96aecfa5-8931-11ee-af30-aa6a5d6eee0e last_name: Bravo orcid: 0000-0003-0456-0753 - first_name: Marianna full_name: Teplova, Marianna last_name: Teplova - first_name: Triana full_name: Amen, Triana last_name: Amen - first_name: Eugene full_name: Koonin, Eugene last_name: Koonin - first_name: Dinshaw J. full_name: Patel, Dinshaw J. last_name: Patel - first_name: Franklin L. full_name: Nobrega, Franklin L. last_name: Nobrega citation: ama: Zhang Z, Todeschini TC, Wu Y, et al. Kiwa is a membrane-embedded defense supercomplex activated at phage attachment sites. Cell. 2025;188(21):5862-5877.e23. doi:10.1016/j.cell.2025.07.002 apa: Zhang, Z., Todeschini, T. C., Wu, Y., Kogay, R., Naji, A., Cardenas Rodriguez, J., … Nobrega, F. L. (2025). Kiwa is a membrane-embedded defense supercomplex activated at phage attachment sites. Cell. Elsevier. https://doi.org/10.1016/j.cell.2025.07.002 chicago: Zhang, Zhiying, Thomas C. Todeschini, Yi Wu, Roman Kogay, Ameena Naji, Joaquin Cardenas Rodriguez, Rupavidhya Mondi, et al. “Kiwa Is a Membrane-Embedded Defense Supercomplex Activated at Phage Attachment Sites.” Cell. Elsevier, 2025. https://doi.org/10.1016/j.cell.2025.07.002. ieee: Z. Zhang et al., “Kiwa is a membrane-embedded defense supercomplex activated at phage attachment sites,” Cell, vol. 188, no. 21. Elsevier, p. 5862–5877.e23, 2025. ista: Zhang Z, Todeschini TC, Wu Y, Kogay R, Naji A, Cardenas Rodriguez J, Mondi R, Kaganovich D, Taylor DW, Bravo JPK, Teplova M, Amen T, Koonin E, Patel DJ, Nobrega FL. 2025. Kiwa is a membrane-embedded defense supercomplex activated at phage attachment sites. Cell. 188(21), 5862–5877.e23. mla: Zhang, Zhiying, et al. “Kiwa Is a Membrane-Embedded Defense Supercomplex Activated at Phage Attachment Sites.” Cell, vol. 188, no. 21, Elsevier, 2025, p. 5862–5877.e23, doi:10.1016/j.cell.2025.07.002. short: Z. Zhang, T.C. Todeschini, Y. Wu, R. Kogay, A. Naji, J. Cardenas Rodriguez, R. Mondi, D. Kaganovich, D.W. Taylor, J.P.K. Bravo, M. Teplova, T. Amen, E. Koonin, D.J. Patel, F.L. Nobrega, Cell 188 (2025) 5862–5877.e23. date_created: 2025-08-07T05:00:04Z date_published: 2025-10-16T00:00:00Z date_updated: 2025-12-29T14:15:58Z day: '16' ddc: - '570' department: - _id: JaBr doi: 10.1016/j.cell.2025.07.002 external_id: isi: - '001603560700005' pmid: - '40730155' file: - access_level: open_access checksum: b944de5fbd7455f58e1ff338ad352239 content_type: application/pdf creator: dernst date_created: 2025-12-29T14:15:25Z date_updated: 2025-12-29T14:15:25Z file_id: '20875' file_name: 2025_Cell_Zhang.pdf file_size: 32104588 relation: main_file success: 1 file_date_updated: 2025-12-29T14:15:25Z has_accepted_license: '1' intvolume: ' 188' isi: 1 issue: '21' language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: 5862-5877.e23 pmid: 1 publication: Cell publication_identifier: eissn: - 1097-4172 issn: - 0092-8674 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Kiwa is a membrane-embedded defense supercomplex activated at phage attachment sites 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: 188 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '20146' abstract: - lang: eng text: "This criteria catalogue and the accompanying assessment questions were developed by a working group of KEMÖ (Kooperation E-Medien Österreich, the Austrian Academic Library Consortium). They are intended to support research institutions and organisations in the evaluation of Open Science Infrastructures. The 20 criteria outlined in the catalogue provide a structured basis for making informed decisions regarding the financial support of these infrastructures.\r\n\r\nThe assessment questions are intended to be completed by Open Science Infrastructures and can be shared with them accordingly." article_processing_charge: No author: - first_name: Paul full_name: Gredler, Paul last_name: Gredler - first_name: Christian full_name: Kaier, Christian last_name: Kaier - first_name: Patrick full_name: Danowski, Patrick id: 2EBD1598-F248-11E8-B48F-1D18A9856A87 last_name: Danowski orcid: 0000-0002-6026-4409 - first_name: Michael full_name: Zoyer, Michael last_name: Zoyer - first_name: Katharina full_name: Rieck, Katharina last_name: Rieck - first_name: Andreas full_name: Ferus, Andreas last_name: Ferus - first_name: Elisabeth full_name: Rosenberger, Elisabeth last_name: Rosenberger - first_name: Alexander full_name: Löffler, Alexander last_name: Löffler - first_name: Lisa full_name: Hofer, Lisa last_name: Hofer - first_name: Laura full_name: Still, Laura last_name: Still citation: ama: Gredler P, Kaier C, Danowski P, et al. Catalogue of Criteria for Assessing the Funding Eligibility of Open Science Infrastructures. Zenodo; 2025. doi:10.5281/zenodo.15269364 apa: Gredler, P., Kaier, C., Danowski, P., Zoyer, M., Rieck, K., Ferus, A., … Still, L. (2025). Catalogue of criteria for assessing the funding eligibility of Open Science infrastructures. Zenodo. https://doi.org/10.5281/zenodo.15269364 chicago: Gredler, Paul, Christian Kaier, Patrick Danowski, Michael Zoyer, Katharina Rieck, Andreas Ferus, Elisabeth Rosenberger, Alexander Löffler, Lisa Hofer, and Laura Still. Catalogue of Criteria for Assessing the Funding Eligibility of Open Science Infrastructures. Zenodo, 2025. https://doi.org/10.5281/zenodo.15269364. ieee: P. Gredler et al., Catalogue of criteria for assessing the funding eligibility of Open Science infrastructures. Zenodo, 2025. ista: Gredler P, Kaier C, Danowski P, Zoyer M, Rieck K, Ferus A, Rosenberger E, Löffler A, Hofer L, Still L. 2025. Catalogue of criteria for assessing the funding eligibility of Open Science infrastructures, Zenodo,p. mla: Gredler, Paul, et al. Catalogue of Criteria for Assessing the Funding Eligibility of Open Science Infrastructures. Zenodo, 2025, doi:10.5281/zenodo.15269364. short: P. Gredler, C. Kaier, P. Danowski, M. Zoyer, K. Rieck, A. Ferus, E. Rosenberger, A. Löffler, L. Hofer, L. Still, Catalogue of Criteria for Assessing the Funding Eligibility of Open Science Infrastructures, Zenodo, 2025. date_created: 2025-08-07T11:10:14Z date_published: 2025-08-07T00:00:00Z date_updated: 2025-08-11T07:20:03Z day: '07' ddc: - '020' department: - _id: E-Lib doi: 10.5281/zenodo.15269364 has_accepted_license: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.5281/zenodo.15269364 month: '08' oa: 1 oa_version: Published Version publication_status: published publisher: Zenodo status: public title: Catalogue of criteria for assessing the funding eligibility of Open Science infrastructures 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: working_paper user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_place: publisher _id: '20147' abstract: - lang: eng text: "Quantitative properties offer a framework for specifying and verifying system behaviors beyond the traditional boolean perspective. For example, while a boolean property may specify whether a server eventually grants every request it receives, a quantitative one may map each server execution to its average response time. This quantitative view is relatively well-studied in the context of static verification. However, although such properties often appear in practice as performance or robustness measures in a dynamic verification context, a general theoretical framework for their analysis and classification from a monitoring perspective is still missing.\r\n\r\nIn this thesis, we aim to develop such a framework that takes resource-precision tradeoffs of monitors as a central consideration. We present the first theory of monitorability for quantitative properties where monitors can be naturally approximate and compared regarding their precision and resource use. In particular, we show that additional monitor resources such as registers or states lead to strictly better approximations for some properties. To enable such analyses in a machine-model independent way, we describe an abstract notion of monitors that can be instantiated with concrete models of monitors. Within this framework, we study how abstract monitors behave and identify classes of properties amenable to approximate monitoring with resource-precision considerations. We then extend the boolean safety-liveness dichotomy and safety-progress hierarchy to the quantitative setting with a monitoring perspective. In particular, we prove that every property is the pointwise minimum of a safety property and a liveness property, and properties that are both safe and co-safe can be approximately monitored arbitrarily precisely using only finitely many states. We also study the classes of quantitative properties definable by finite-state quantitative automata and provide algorithms for deciding their safety or liveness as well as their safety-liveness decompositions. Finally, we present the first general-purpose tool for automating the analysis, verification, and monitoring of quantitative automata.\r\n\r\n-------------------------------------------------------------------------------------------------------------------------------------------------------------- In reference to IEEE copyrighted material which is used with permission in this thesis, the IEEE does not\r\nendorse any of ISTA's products or services. Internal or personal use of this\r\nmaterial is permitted. If interested in reprinting/republishing IEEE copyrighted material for advertising or promotional\r\npurposes or for creating new collective works for resale or redistribution, please go to\r\nhttp://www.ieee.org/publications_standards/publications/rights/rights_link.html to learn how to obtain a License from\r\nRightsLink.\r\n" acknowledgement: "This work was supported in part by the Austrian Science Fund (FWF)\r\nunder grant Z211-N23 (Wittgenstein Award) and the ERC-2020-AdG 101020093.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Naci E full_name: Sarac, Naci E id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425 last_name: Sarac citation: ama: Sarac NE. A monitoring-oriented theory and classification of quantitative specifications. 2025. doi:10.15479/AT-ISTA-20147 apa: Sarac, N. E. (2025). A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20147 chicago: Sarac, Naci E. “A Monitoring-Oriented Theory and Classification of Quantitative Specifications.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20147. ieee: N. E. Sarac, “A monitoring-oriented theory and classification of quantitative specifications,” Institute of Science and Technology Austria, 2025. ista: Sarac NE. 2025. A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria. mla: Sarac, Naci E. A Monitoring-Oriented Theory and Classification of Quantitative Specifications. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20147. short: N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-08-07T15:57:57Z date_published: 2025-08-07T00:00:00Z date_updated: 2026-04-07T12:02:57Z day: '07' ddc: - '000' degree_awarded: PhD department: - _id: GradSch - _id: ToHe doi: 10.15479/AT-ISTA-20147 ec_funded: 1 file: - access_level: closed checksum: 0f3015f1db36576a23d8d669afb60b41 content_type: application/x-zip-compressed creator: esarac date_created: 2025-08-21T09:40:28Z date_updated: 2025-09-10T08:19:51Z file_id: '20200' file_name: 2025_Sarac_NaciEge_Thesis.zip file_size: 8884801 relation: source_file - access_level: open_access checksum: 332ed2fe61f580641664ec3f05d30f14 content_type: application/pdf creator: esarac date_created: 2025-08-21T09:40:34Z date_updated: 2025-08-21T09:40:34Z file_id: '20201' file_name: 2025_Sarac_NaciEge_Thesis.pdf file_size: 2955584 relation: main_file success: 1 file_date_updated: 2025-09-10T08:19:51Z has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '149' project: - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: Formal methods for the design and analysis of complex systems - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '11775' relation: part_of_dissertation status: public - id: '13140' relation: part_of_dissertation status: deleted - id: '19741' relation: part_of_dissertation status: public - id: '9356' relation: part_of_dissertation status: public - id: '19643' relation: part_of_dissertation status: deleted - id: '17634' relation: part_of_dissertation status: public - id: '20342' relation: part_of_dissertation status: public - id: '13221' relation: part_of_dissertation status: public status: public supervisor: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 title: A monitoring-oriented theory and classification of quantitative specifications 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: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ... --- OA_place: publisher _id: '20149' abstract: - lang: eng text: "Immune responses depend on the coordinated and efficient migration of leukocytes. These\r\ncells, which are embedded and tightly confined within tissues, must navigate and traverse\r\ndiverse and complex three-dimensional environments. Leukocytes adapt their locomotory\r\nbehavior to the mechanical, geometrical, and biochemical characteristics of their\r\nsurroundings. In low-density environments, where the pore size of the interstitial matrix\r\nallows free passage, these cells position the nucleus directly behind the lamellipodium, the\r\nprotrusive actin structure that forms the leading front of the cell. In this configuration, they\r\nuse the nucleus as a gauge to identify the path of least resistance.\r\nHere, we show that in high-density environments, where the pore size precludes free passage\r\nof the cell body, leukocytes reposition the microtubule-organizing center (MTOC) and\r\nassociated organelles in front of the nucleus. In this configuration, they use actin structures\r\nprotruding orthogonally to the direction of migration in order to open a path for the cell body.\r\nWe identify two distinct actin populations that serve this purpose at different subcellular\r\nlocalizations. At the leading edge, local indentation of the plasma membrane leads to\r\nrecruitment of the Wiskott-Aldrich syndrome protein (WASp), which, via Arp2/3, results in\r\nthe formation of individual actin foci. At the cell body, actin polymerization is triggered by\r\nDOCK8, a Cdc42 exchange factor, resulting in the formation of a central actin pool.\r\nWe demonstrate that the central and peripheral actin pools are functionally communicating\r\nand that depletion of the central actin pool leads to increased actin accumulation at the cell\r\nfront, resulting in excessive extension of the leading edge." acknowledged_ssus: - _id: Bio - _id: LifeSc - _id: M-Shop - _id: NanoFab acknowledgement: "I would like to acknowledge the\r\nfinancial support of the European Research Council through the ERC-SyG grant “Pushing from\r\nwithin: Control of cell shape, integrity and motility by cytoskeletal pushing forces”\r\n(01071793), which made this research possible. " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Patricia full_name: Dos Reis Rodrigues, Patricia id: 26E95904-5160-11E9-9C0B-C5B0DC97E90F last_name: Dos Reis Rodrigues orcid: 0000-0003-1681-508X citation: ama: Dos Reis Rodrigues P. Coordination of protrusive forces in immune cell migration . 2025. doi:10.15479/AT-ISTA-20149 apa: Dos Reis Rodrigues, P. (2025). Coordination of protrusive forces in immune cell migration . Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20149 chicago: Dos Reis Rodrigues, Patricia. “Coordination of Protrusive Forces in Immune Cell Migration .” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20149. ieee: P. Dos Reis Rodrigues, “Coordination of protrusive forces in immune cell migration ,” Institute of Science and Technology Austria, 2025. ista: Dos Reis Rodrigues P. 2025. Coordination of protrusive forces in immune cell migration . Institute of Science and Technology Austria. mla: Dos Reis Rodrigues, Patricia. Coordination of Protrusive Forces in Immune Cell Migration . Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20149. short: P. Dos Reis Rodrigues, Coordination of Protrusive Forces in Immune Cell Migration , Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-08-08T09:18:02Z date_published: 2025-08-08T00:00:00Z date_updated: 2026-04-28T13:26:50Z day: '08' ddc: - '570' degree_awarded: PhD department: - _id: GradSch - _id: MiSi doi: 10.15479/AT-ISTA-20149 file: - access_level: open_access checksum: fda8a1070667c3562263f4867609b41b content_type: application/pdf creator: prodrigu date_created: 2025-08-27T12:59:10Z date_updated: 2025-08-27T12:59:10Z file_id: '20232' file_name: 2025_ReisRodrigues_Patricia_Thesis.pdf file_size: 63885565 relation: main_file success: 1 - access_level: closed checksum: e8b65affcbce846a926454df4b2867b9 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: prodrigu date_created: 2025-08-27T13:00:30Z date_updated: 2025-08-27T13:02:28Z file_id: '20233' file_name: 2025_ReisRodrigues_Patricia_Thesis.docx file_size: 50483434 relation: source_file file_date_updated: 2025-08-27T13:02:28Z has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '114' project: - _id: bd91e723-d553-11ed-ba76-fe7eeb2185fd grant_number: '101071793' name: 'Pushing from within: Control of cell shape, integrity and motility by cytoskeletal pushing forces' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '10703' relation: part_of_dissertation status: public - id: '20082' relation: part_of_dissertation status: public status: public supervisor: - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 title: 'Coordination of protrusive forces in immune cell migration ' tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20154' abstract: - lang: eng text: In long-lived mammals, including humans, brain cell homeostasis is critical for maintaining brain function throughout life. Most neurons are generated during development and must maintain their cellular identity and plasticity to preserve brain function. Although extensive studies indicate the importance of recycling and regenerating cellular molecules to maintain cellular homeostasis, recent evidence has shown that some proteins and RNAs do not turn over for months and even years. We propose that these long-lived cellular molecules may be the basis for maintaining brain function in the long term, but also a potential convergent target of brain aging. We highlight key discoveries and challenges, and propose potential directions to unravel the mystery of brain cell longevity. acknowledgement: The work was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) (470322152 – T1347/3-1; 497658532 – T1347/4-1; 507965872 – T1347/5-1; and 460333672 – CRC1540 Exploring Brain Mechanics) to T.T., the Schram Foundation (T.T.), the European Research Council (ERC-2018-STG, 804468 EAGER; ERC-2023-COG, 101125034 NEUTIME) to T.T., the Hans-Georg Geis und Xue Hong Dong-Geis Foundation and Forschungsstiftung Medizin am Universitätsklinikum Erlangen to T.T., and the Interdisciplinary Centre for Clinical Research Erlangen (Interdisziplinäres Zentrum für Klinische Forschung, Universitätsklinikum Erlangen; P162 to T.T.). We thank Dr Laura J. Harrison for editing assistance. article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Martin W full_name: Hetzer, Martin W id: 86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed last_name: Hetzer orcid: 0000-0002-2111-992X - first_name: Tomohisa full_name: Toda, Tomohisa last_name: Toda citation: ama: Hetzer M, Toda T. Long-lived cellular molecules in the brain. Trends in Neurosciences. 2025;48(9):645-654. doi:10.1016/j.tins.2025.07.004 apa: Hetzer, M., & Toda, T. (2025). Long-lived cellular molecules in the brain. Trends in Neurosciences. Elsevier. https://doi.org/10.1016/j.tins.2025.07.004 chicago: Hetzer, Martin, and Tomohisa Toda. “Long-Lived Cellular Molecules in the Brain.” Trends in Neurosciences. Elsevier, 2025. https://doi.org/10.1016/j.tins.2025.07.004. ieee: M. Hetzer and T. Toda, “Long-lived cellular molecules in the brain,” Trends in Neurosciences, vol. 48, no. 9. Elsevier, pp. 645–654, 2025. ista: Hetzer M, Toda T. 2025. Long-lived cellular molecules in the brain. Trends in Neurosciences. 48(9), 645–654. mla: Hetzer, Martin, and Tomohisa Toda. “Long-Lived Cellular Molecules in the Brain.” Trends in Neurosciences, vol. 48, no. 9, Elsevier, 2025, pp. 645–54, doi:10.1016/j.tins.2025.07.004. short: M. Hetzer, T. Toda, Trends in Neurosciences 48 (2025) 645–654. corr_author: '1' date_created: 2025-08-10T22:01:29Z date_published: 2025-09-01T00:00:00Z date_updated: 2025-12-29T13:47:58Z day: '01' ddc: - '570' department: - _id: MaHe doi: 10.1016/j.tins.2025.07.004 external_id: isi: - '001568965400001' pmid: - '40744775' file: - access_level: open_access checksum: 90942491b499f70b0bf48b8aec2e7387 content_type: application/pdf creator: dernst date_created: 2025-12-29T13:47:27Z date_updated: 2025-12-29T13:47:27Z file_id: '20873' file_name: 2025_TrendsNeurosciences_Hetzer.pdf file_size: 327847 relation: main_file success: 1 file_date_updated: 2025-12-29T13:47:27Z has_accepted_license: '1' intvolume: ' 48' isi: 1 issue: '9' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: 645-654 pmid: 1 publication: Trends in Neurosciences publication_identifier: eissn: - 1878-108X issn: - 0166-2236 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Long-lived cellular molecules in the brain 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: 48 year: '2025' ... --- OA_place: repository OA_type: green _id: '20155' abstract: - lang: eng text: We study time averages for the norm of solutions to kinetic Fokker–Planck equations associated with general Hamiltonians. We provide fully explicit and constructive decay estimates for systems subject to a confining potential, allowing fat-tail, subexponential and (super-)exponential local equilibria, which also include the classic Maxwellian case. The key step in our estimates is a modified Poincaré inequality, obtained via a Lions–Poincaré inequality and an averaging lemma. acknowledgement: The first author was funded by the European Union's Horizon 2020 research andinnovation program under the Marie Sklodowska-Curie grant agreements 754362 and 101034413,and partially by Project EFI (ANR-17-CE40-0030) of the French National Research Agency (ANR).The work of the second author was partially funded by the European Research Council (ERC) underthe European Union's Horizon 2020 research and innovation programme (grant agreement 810367),and by the Agence Nationale de la Recherche under grants ANR-19-CE40-0010 (QuAMProcs) andANR-21-CE40-0006 (SINEQ). article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Giovanni full_name: Brigati, Giovanni id: 63ff57e8-1fbb-11ee-88f2-f558ffc59cf1 last_name: Brigati - first_name: Gabriel full_name: Stoltz, Gabriel last_name: Stoltz citation: ama: Brigati G, Stoltz G. How to construct explicit decay rates for kinetic Fokker–Planck equations? SIAM Journal on Mathematical Analysis. 2025;57(4):3587-3622. doi:10.1137/24M1700351 apa: Brigati, G., & Stoltz, G. (2025). How to construct explicit decay rates for kinetic Fokker–Planck equations? SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/24M1700351 chicago: Brigati, Giovanni, and Gabriel Stoltz. “How to Construct Explicit Decay Rates for Kinetic Fokker–Planck Equations?” SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics, 2025. https://doi.org/10.1137/24M1700351. ieee: G. Brigati and G. Stoltz, “How to construct explicit decay rates for kinetic Fokker–Planck equations?,” SIAM Journal on Mathematical Analysis, vol. 57, no. 4. Society for Industrial and Applied Mathematics, pp. 3587–3622, 2025. ista: Brigati G, Stoltz G. 2025. How to construct explicit decay rates for kinetic Fokker–Planck equations? SIAM Journal on Mathematical Analysis. 57(4), 3587–3622. mla: Brigati, Giovanni, and Gabriel Stoltz. “How to Construct Explicit Decay Rates for Kinetic Fokker–Planck Equations?” SIAM Journal on Mathematical Analysis, vol. 57, no. 4, Society for Industrial and Applied Mathematics, 2025, pp. 3587–622, doi:10.1137/24M1700351. short: G. Brigati, G. Stoltz, SIAM Journal on Mathematical Analysis 57 (2025) 3587–3622. corr_author: '1' date_created: 2025-08-10T22:01:29Z date_published: 2025-08-01T00:00:00Z date_updated: 2025-11-05T13:51:40Z day: '01' department: - _id: JaMa doi: 10.1137/24M1700351 ec_funded: 1 external_id: arxiv: - '2302.14506' isi: - '001550830900006' intvolume: ' 57' isi: 1 issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2302.14506 month: '08' oa: 1 oa_version: Preprint page: 3587-3622 project: - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' publication: SIAM Journal on Mathematical Analysis publication_identifier: eissn: - 1095-7154 issn: - 0036-1410 publication_status: published publisher: Society for Industrial and Applied Mathematics quality_controlled: '1' scopus_import: '1' status: public title: How to construct explicit decay rates for kinetic Fokker–Planck equations? type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 57 year: '2025' ... --- OA_place: publisher _id: '20167' acknowledged_ssus: - _id: Bio - _id: LifeSc acknowledgement: "This work was supported by EMBO (ALTF 302-2019 to Niko Amin-Wetzel), the FWF\r\n(ESPRIT PR1054E140 to Niko Amin-Wetzel), the European Research Council\r\n(Advanced Grant 269058 to Mario de Bono) and Wellcome (209504/A/17/Z\r\nInvestigator Award to Mario de Bono). " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Hanna full_name: Schön, Hanna id: C8E17EDC-D7AA-11E9-B7B7-45ECE5697425 last_name: Schön citation: ama: Schön H. The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. 2025. doi:10.15479/AT-ISTA-20167 apa: Schön, H. (2025). The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20167 chicago: Schön, Hanna. “The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20167. ieee: H. Schön, “The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs,” Institute of Science and Technology Austria, 2025. ista: Schön H. 2025. The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. Institute of Science and Technology Austria. mla: Schön, Hanna. The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20167. short: H. Schön, The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-08-13T11:13:13Z date_published: 2025-08-13T00:00:00Z date_updated: 2026-04-07T11:50:26Z day: '13' ddc: - '570' degree_awarded: PhD department: - _id: GradSch - _id: MaDe doi: 10.15479/AT-ISTA-20167 file: - access_level: closed checksum: b40c74404b8d9593802dabf57bfdf10f content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: hschoen date_created: 2025-09-08T14:33:50Z date_updated: 2025-09-09T08:57:04Z file_id: '20311' file_name: 2025_Schoen_Hanna_Thesis.docx file_size: 78812587 relation: source_file - access_level: closed checksum: 16abc3ff66396ce2457fe07ffa8bed90 content_type: application/pdf creator: hschoen date_created: 2025-09-11T14:20:59Z date_updated: 2025-09-18T14:12:29Z embargo: 2026-09-15 embargo_to: open_access file_id: '20347' file_name: 2025_Schoen_Hanna_Thesis.pdf file_size: 9667057 relation: main_file file_date_updated: 2025-09-18T14:12:29Z has_accepted_license: '1' language: - iso: eng month: '08' oa_version: Published Version page: '171' project: - _id: 23870BE8-32DE-11EA-91FC-C7463DDC885E grant_number: 209504/A/17/Z name: Molecular mechanisms of neural circuit function - _id: 23813290-32DE-11EA-91FC-C7463DDC885E grant_number: ALTF 302-2019 name: Control of gene expression at the endoplasmic reticulum publication_identifier: isbn: - 978-3-99078-061-9 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria status: public supervisor: - first_name: Mario full_name: de Bono, Mario id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87 last_name: de Bono orcid: 0000-0001-8347-0443 title: The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs 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: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20182' abstract: - lang: eng text: Sex chromosomes have evolved many times throughout the tree of life, and understanding what has shaped their unusual morphological, sequence, and regulatory features has been a long-standing goal. Most early insights into insect sex chromosome biology came from a few model species, such as the fruit fly Drosophila melanogaster, which limited broad-scale evolutionary inferences. More recently, extensive comparative genomics studies have uncovered several unexpected patterns, which we highlight in this review. First, we describe the conservation of the ancestral X chromosome over 450 million years but also its recurrent turnover (i.e. its reversal to an autosome when a new X chromosome arose) in at least one order. We then summarize classical and more recent findings on how insects modulate the expression of X-linked genes following the degradation of the Y chromosome and how the diverse mechanisms of dosage compensation identified may elucidate important principles of sex chromosome regulatory evolution. acknowledgement: This work was supported by an Austrian Research Fund (FWF) grant to B.V. (PAT 8748323) and by the Louisiana Board of Regents Research Competitiveness Subprogram (LEQSF(2025-28)-RD-A-20) to MAT. article_number: '101411' article_processing_charge: Yes (via OA deal) article_type: review author: - first_name: Melissa A full_name: Toups, Melissa A id: 4E099E4E-F248-11E8-B48F-1D18A9856A87 last_name: Toups orcid: 0000-0002-9752-7380 - first_name: Beatriz full_name: Vicoso, Beatriz id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87 last_name: Vicoso orcid: 0000-0002-4579-8306 citation: ama: 'Toups MA, Vicoso B. Insect sex chromosome evolution: Conservation, turnover, and mechanisms of dosage compensation. Current Opinion in Insect Science. 2025;72. doi:10.1016/j.cois.2025.101411' apa: 'Toups, M. A., & Vicoso, B. (2025). Insect sex chromosome evolution: Conservation, turnover, and mechanisms of dosage compensation. Current Opinion in Insect Science. Elsevier. https://doi.org/10.1016/j.cois.2025.101411' chicago: 'Toups, Melissa A, and Beatriz Vicoso. “Insect Sex Chromosome Evolution: Conservation, Turnover, and Mechanisms of Dosage Compensation.” Current Opinion in Insect Science. Elsevier, 2025. https://doi.org/10.1016/j.cois.2025.101411.' ieee: 'M. A. Toups and B. Vicoso, “Insect sex chromosome evolution: Conservation, turnover, and mechanisms of dosage compensation,” Current Opinion in Insect Science, vol. 72. Elsevier, 2025.' ista: 'Toups MA, Vicoso B. 2025. Insect sex chromosome evolution: Conservation, turnover, and mechanisms of dosage compensation. Current Opinion in Insect Science. 72, 101411.' mla: 'Toups, Melissa A., and Beatriz Vicoso. “Insect Sex Chromosome Evolution: Conservation, Turnover, and Mechanisms of Dosage Compensation.” Current Opinion in Insect Science, vol. 72, 101411, Elsevier, 2025, doi:10.1016/j.cois.2025.101411.' short: M.A. Toups, B. Vicoso, Current Opinion in Insect Science 72 (2025). corr_author: '1' date_created: 2025-08-17T22:01:35Z date_published: 2025-12-01T00:00:00Z date_updated: 2025-12-30T13:14:38Z day: '01' ddc: - '570' department: - _id: BeVi doi: 10.1016/j.cois.2025.101411 external_id: isi: - '001582424100001' file: - access_level: open_access checksum: 262640abc34277686b56eb60102976f6 content_type: application/pdf creator: dernst date_created: 2025-12-30T13:14:20Z date_updated: 2025-12-30T13:14:20Z file_id: '20917' file_name: 2025_CurrOpinionInsectScience_Toups.pdf file_size: 897079 relation: main_file success: 1 file_date_updated: 2025-12-30T13:14:20Z has_accepted_license: '1' intvolume: ' 72' isi: 1 language: - iso: eng month: '12' oa: 1 oa_version: Published Version project: - _id: 8ed82125-16d5-11f0-9cad-fbcae312235b grant_number: PAT 8748323 name: Sex chromosomes in evolution and development publication: Current Opinion in Insect Science publication_identifier: eissn: - 2214-5753 issn: - 2214-5745 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: 'Insect sex chromosome evolution: Conservation, turnover, and mechanisms of dosage compensation' 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: 72 year: '2025' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '20183' abstract: - lang: eng text: The unequal segregation of organelles has been proposed to be an intrinsic mechanism that contributes to cell fate divergence during asymmetric cell division; however, in vivo evidence is sparse. Using super-resolution microscopy, we analysed the segregation of organelles during the division of the neuroblast QL.p in C. elegans larvae. QL.p divides to generate a daughter that survives, QL.pa, and a daughter that dies, QL.pp. We found that mitochondria segregate unequally by density and morphology and that this is dependent on mitochondrial dynamics. Furthermore, we found that mitochondrial density in QL.pp correlates with the time it takes QL.pp to die. We propose that low mitochondrial density in QL.pp promotes the cell death fate and ensures that QL.pp dies in a highly reproducible and timely manner. Our results provide in vivo evidence that the unequal segregation of mitochondria can contribute to cell fate divergence during asymmetric cell division in a developing animal. acknowledgement: We thank members of the Conradt lab, the Center for Cell and Molecular Dynamics (https://www.uclccmd.co.uk/) and T. Schedl for discussions and comments on the manuscript. We thank L. McGuinness for excellent technical support. Some strains were provided by the Caenorhabditis Genetics Center (CGC), which is funded by NIH Office of Research Infrastructure Programs (P40 OD010440). We thank Alex Hajnal (University of Zurich, Switzerland) and Andrew deMello (ETH Zurich, Switzerland) for their support of S.B. This work was supported by a predoctoral fellowship from the Studienstiftung des deutschen Volkes to NM, funds from UCL (Division of Biosciences, UCL LSM Capital Equipment Fund) to B.C., and a Wolfson Fellowship from the Royal Society (https://royalsociety.org/) to B.C. (RSWF\R1\180008), and the Biotechnology and Biological Sciences Research Council (https://bbsrc.ukri.org/) (BB/V007572/1 and BB/V015648/1to B.C.). article_number: '7174' article_processing_charge: Yes article_type: original author: - first_name: Ioannis full_name: Segos, Ioannis last_name: Segos - first_name: Jens full_name: Van Eeckhoven, Jens last_name: Van Eeckhoven - first_name: Simon full_name: Berger, Simon last_name: Berger - first_name: Nikhil full_name: Mishra, Nikhil id: C4D70E82-1081-11EA-B3ED-9A4C3DDC885E last_name: Mishra orcid: 0000-0002-6425-5788 - first_name: Eric J. full_name: Lambie, Eric J. last_name: Lambie - first_name: Barbara full_name: Conradt, Barbara last_name: Conradt citation: ama: Segos I, Van Eeckhoven J, Berger S, Mishra N, Lambie EJ, Conradt B. Unequal segregation of mitochondria during asymmetric cell division contributes to cell fate divergence in sister cells in vivo. Nature Communications. 2025;16. doi:10.1038/s41467-025-62484-5 apa: Segos, I., Van Eeckhoven, J., Berger, S., Mishra, N., Lambie, E. J., & Conradt, B. (2025). Unequal segregation of mitochondria during asymmetric cell division contributes to cell fate divergence in sister cells in vivo. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-025-62484-5 chicago: Segos, Ioannis, Jens Van Eeckhoven, Simon Berger, Nikhil Mishra, Eric J. Lambie, and Barbara Conradt. “Unequal Segregation of Mitochondria during Asymmetric Cell Division Contributes to Cell Fate Divergence in Sister Cells in Vivo.” Nature Communications. Springer Nature, 2025. https://doi.org/10.1038/s41467-025-62484-5. ieee: I. Segos, J. Van Eeckhoven, S. Berger, N. Mishra, E. J. Lambie, and B. Conradt, “Unequal segregation of mitochondria during asymmetric cell division contributes to cell fate divergence in sister cells in vivo,” Nature Communications, vol. 16. Springer Nature, 2025. ista: Segos I, Van Eeckhoven J, Berger S, Mishra N, Lambie EJ, Conradt B. 2025. Unequal segregation of mitochondria during asymmetric cell division contributes to cell fate divergence in sister cells in vivo. Nature Communications. 16, 7174. mla: Segos, Ioannis, et al. “Unequal Segregation of Mitochondria during Asymmetric Cell Division Contributes to Cell Fate Divergence in Sister Cells in Vivo.” Nature Communications, vol. 16, 7174, Springer Nature, 2025, doi:10.1038/s41467-025-62484-5. short: I. Segos, J. Van Eeckhoven, S. Berger, N. Mishra, E.J. Lambie, B. Conradt, Nature Communications 16 (2025). date_created: 2025-08-17T22:01:35Z date_published: 2025-08-04T00:00:00Z date_updated: 2025-09-01T09:47:29Z day: '04' ddc: - '570' department: - _id: CaHe doi: 10.1038/s41467-025-62484-5 external_id: pmid: - '40759648' file: - access_level: open_access checksum: f28e73963ea1f55876d0d1afca0f706a content_type: application/pdf creator: dernst date_created: 2025-09-01T09:46:44Z date_updated: 2025-09-01T09:46:44Z file_id: '20261' file_name: 2025_NatureComm_Segos.pdf file_size: 3775190 relation: main_file success: 1 file_date_updated: 2025-09-01T09:46:44Z has_accepted_license: '1' intvolume: ' 16' language: - iso: eng month: '08' oa: 1 oa_version: Published Version pmid: 1 publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Unequal segregation of mitochondria during asymmetric cell division contributes to cell fate divergence in sister cells in vivo tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 16 year: '2025' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '20184' abstract: - lang: eng text: Specialized DNA polymerases facilitate various cellular processes. Despite extensive research, the mutagenic effects of these error-prone enzymes on genomes are not fully understood. Here we show that Pol IV promotes genomic instability in Pseudomonas aeruginosa by misincorporating oxidized guanine nucleotides. This activity led to a distinctive mutational signature, characterized by A-to-C transversions occurring preferentially at AT sites flanked by a 5’G and/or 3’C. Furthermore, Pol IV preferentially targeted pathogenicity genes located at specific chromosomal locations near the replication termination region and rRNA-encoding operons. Half of the mutation events catalyzed by Pol IV impaired gene function. This can be attributed to the bias of Pol IV for mutating codons with its preferred sequence contexts, leading to substitutions to unreactive alanine and glycine residues. Remarkably, mutation signatures identified for Pol IV were found in clinical isolate genomes of P. aeruginosa, providing compelling evidence for its role in genetic diversification during pathogen adaptation. acknowledgement: "This work was supported by the Secretaría de Ciencia y Técnica (33620230100926CB), Universidad Nacional de Córdoba; and the Agencia Nacional de Promoción Científica y Técnica (PICT 2018-4527).\r\n\r\n" article_number: '1148' article_processing_charge: Yes article_type: original author: - first_name: Sofía D. full_name: Castell, Sofía D. last_name: Castell - first_name: Consuelo M. full_name: Fernandez, Consuelo M. last_name: Fernandez - first_name: Ignacio N. full_name: Tumas, Ignacio N. last_name: Tumas - first_name: Lucía M. full_name: Margara, Lucía M. last_name: Margara - first_name: Maria C full_name: Miserendino, Maria C id: 273e0cbd-72f0-11ef-b75a-f9f932e292fa last_name: Miserendino - first_name: Danilo G. full_name: Ceschin, Danilo G. last_name: Ceschin - first_name: Roberto J. full_name: Pezza, Roberto J. last_name: Pezza - first_name: Mariela R. full_name: Monti, Mariela R. last_name: Monti citation: ama: Castell SD, Fernandez CM, Tumas IN, et al. The low-fidelity DNA Pol IV accelerates evolution of pathogenicity genes in Pseudomonas aeruginosa. Communications Biology. 2025;8. doi:10.1038/s42003-025-08589-5 apa: Castell, S. D., Fernandez, C. M., Tumas, I. N., Margara, L. M., Miserendino, M. C., Ceschin, D. G., … Monti, M. R. (2025). The low-fidelity DNA Pol IV accelerates evolution of pathogenicity genes in Pseudomonas aeruginosa. Communications Biology. Springer Nature. https://doi.org/10.1038/s42003-025-08589-5 chicago: Castell, Sofía D., Consuelo M. Fernandez, Ignacio N. Tumas, Lucía M. Margara, Maria C Miserendino, Danilo G. Ceschin, Roberto J. Pezza, and Mariela R. Monti. “The Low-Fidelity DNA Pol IV Accelerates Evolution of Pathogenicity Genes in Pseudomonas Aeruginosa.” Communications Biology. Springer Nature, 2025. https://doi.org/10.1038/s42003-025-08589-5. ieee: S. D. Castell et al., “The low-fidelity DNA Pol IV accelerates evolution of pathogenicity genes in Pseudomonas aeruginosa,” Communications Biology, vol. 8. Springer Nature, 2025. ista: Castell SD, Fernandez CM, Tumas IN, Margara LM, Miserendino MC, Ceschin DG, Pezza RJ, Monti MR. 2025. The low-fidelity DNA Pol IV accelerates evolution of pathogenicity genes in Pseudomonas aeruginosa. Communications Biology. 8, 1148. mla: Castell, Sofía D., et al. “The Low-Fidelity DNA Pol IV Accelerates Evolution of Pathogenicity Genes in Pseudomonas Aeruginosa.” Communications Biology, vol. 8, 1148, Springer Nature, 2025, doi:10.1038/s42003-025-08589-5. short: S.D. Castell, C.M. Fernandez, I.N. Tumas, L.M. Margara, M.C. Miserendino, D.G. Ceschin, R.J. Pezza, M.R. Monti, Communications Biology 8 (2025). date_created: 2025-08-17T22:01:35Z date_published: 2025-08-02T00:00:00Z date_updated: 2025-09-30T14:18:46Z day: '02' ddc: - '570' department: - _id: PaSc - _id: GradSch doi: 10.1038/s42003-025-08589-5 external_id: isi: - '001541878500001' pmid: - '40753298' has_accepted_license: '1' intvolume: ' 8' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1038/s42003-025-08589-5 month: '08' oa: 1 oa_version: Published Version pmid: 1 publication: Communications Biology publication_identifier: eissn: - 2399-3642 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: The low-fidelity DNA Pol IV accelerates evolution of pathogenicity genes in Pseudomonas aeruginosa tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 8 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20185' abstract: - lang: eng text: We show a local rigidity result for the integrability of symplectic billiards. We prove that any domain which is close to an ellipse, and for which the symplectic billiard map is rationally integrable must be an ellipse as well. This is in spirit of the result of [2] for Birkhoff billiards. acknowledgement: The author would like to thank Corentin Fierobe, Vadim Kaloshin, Illya Koval and Yunzhe Li for useful discussions. The author would also like to thank the referee for useful remarks. Open access funding provided by Institute of Science and Technology (IST Austria). European Research Council (885707) Mr Daniel Tsodikovich article_number: '306' article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Daniel full_name: Tsodikovich, Daniel id: 04531810-fb3e-11ef-87f0-800a4ce333db last_name: Tsodikovich citation: ama: Tsodikovich D. Local rigidity for symplectic billiards. Journal of Geometric Analysis. 2025;35(10). doi:10.1007/s12220-025-02148-4 apa: Tsodikovich, D. (2025). Local rigidity for symplectic billiards. Journal of Geometric Analysis. Springer Nature. https://doi.org/10.1007/s12220-025-02148-4 chicago: Tsodikovich, Daniel. “Local Rigidity for Symplectic Billiards.” Journal of Geometric Analysis. Springer Nature, 2025. https://doi.org/10.1007/s12220-025-02148-4. ieee: D. Tsodikovich, “Local rigidity for symplectic billiards,” Journal of Geometric Analysis, vol. 35, no. 10. Springer Nature, 2025. ista: Tsodikovich D. 2025. Local rigidity for symplectic billiards. Journal of Geometric Analysis. 35(10), 306. mla: Tsodikovich, Daniel. “Local Rigidity for Symplectic Billiards.” Journal of Geometric Analysis, vol. 35, no. 10, 306, Springer Nature, 2025, doi:10.1007/s12220-025-02148-4. short: D. Tsodikovich, Journal of Geometric Analysis 35 (2025). corr_author: '1' date_created: 2025-08-17T22:01:35Z date_published: 2025-08-07T00:00:00Z date_updated: 2025-12-30T09:29:27Z day: '07' ddc: - '510' department: - _id: VaKa doi: 10.1007/s12220-025-02148-4 ec_funded: 1 external_id: arxiv: - '2501.08849' isi: - '001546433200002' file: - access_level: open_access checksum: ed86500742b3fd93db3287558a630383 content_type: application/pdf creator: dernst date_created: 2025-12-30T09:28:58Z date_updated: 2025-12-30T09:28:58Z file_id: '20907' file_name: 2025_JourGeomAnalysis_Tsodikovich.pdf file_size: 484344 relation: main_file success: 1 file_date_updated: 2025-12-30T09:28:58Z has_accepted_license: '1' intvolume: ' 35' isi: 1 issue: '10' language: - iso: eng month: '08' oa: 1 oa_version: Published Version project: - _id: 9B8B92DE-BA93-11EA-9121-9846C619BF3A call_identifier: H2020 grant_number: '885707' name: Spectral rigidity and integrability for billiards and geodesic flows publication: Journal of Geometric Analysis publication_identifier: issn: - 1050-6926 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Local rigidity for symplectic billiards 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: 35 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20186' abstract: - lang: eng text: Enforcement of information-flow policies has been extensively studied by language-based approaches over the past few decades. In this paper, we propose an alternative, novel, general, and effective approach using enforcement of hyperproperties– a powerful formalism for expressing and reasoning about a wide range of information-flow security policies. We study black- vs. gray- vs. white-box enforcement of hyperproperties expressed by nondeterministic finite-word hyperautomata (NFH), where the enforcer has null, some, or complete information about the implementation of the system under scrutiny. Given an NFH, in order to generate a runtime enforcer, we reduce the problem to controller synthesis for hyperproperties and subsequently to the satisfiability problem for quantified Boolean formulas (QBFs). The resulting enforcers are transferable with low-overhead. We conduct a rich set of case studies, including information-flow control for JavaScript code, as well as synthesizing obfuscators for control plants. acknowledgement: This project was funded in part by the Austrian Science Fund (FWF) SFB project SpyCoDe F8502, Vienna Science and Technology Fund (WWTF) [10.47379/ICT19018] (ProbInG) and WWTF project ICT22-023 (TAIGER), National Science Foundation (NSF) CPS Award 1837680, NSF award ECCS-2144416 and NSF SaTC Award 2245114. Open access funding provided by Institute of Science and Technology (IST Austria). article_number: '30' article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Tzu Han full_name: Hsu, Tzu Han last_name: Hsu - first_name: Ana A full_name: Oliveira Da Costa, Ana A id: 8b282559-50b0-11ef-861e-d6ace0d92e9b last_name: Oliveira Da Costa - first_name: Andrew full_name: Wintenberg, Andrew last_name: Wintenberg - first_name: Ezio full_name: Bartocci, Ezio last_name: Bartocci - first_name: Borzoo full_name: Bonakdarpour, Borzoo last_name: Bonakdarpour citation: ama: Hsu TH, Oliveira da Costa AA, Wintenberg A, Bartocci E, Bonakdarpour B. Gray-box runtime enforcement of hyperproperties. Acta Informatica. 2025;62(3). doi:10.1007/s00236-025-00502-1 apa: Hsu, T. H., Oliveira da Costa, A. A., Wintenberg, A., Bartocci, E., & Bonakdarpour, B. (2025). Gray-box runtime enforcement of hyperproperties. Acta Informatica. Springer Nature. https://doi.org/10.1007/s00236-025-00502-1 chicago: Hsu, Tzu Han, Ana A Oliveira da Costa, Andrew Wintenberg, Ezio Bartocci, and Borzoo Bonakdarpour. “Gray-Box Runtime Enforcement of Hyperproperties.” Acta Informatica. Springer Nature, 2025. https://doi.org/10.1007/s00236-025-00502-1. ieee: T. H. Hsu, A. A. Oliveira da Costa, A. Wintenberg, E. Bartocci, and B. Bonakdarpour, “Gray-box runtime enforcement of hyperproperties,” Acta Informatica, vol. 62, no. 3. Springer Nature, 2025. ista: Hsu TH, Oliveira da Costa AA, Wintenberg A, Bartocci E, Bonakdarpour B. 2025. Gray-box runtime enforcement of hyperproperties. Acta Informatica. 62(3), 30. mla: Hsu, Tzu Han, et al. “Gray-Box Runtime Enforcement of Hyperproperties.” Acta Informatica, vol. 62, no. 3, 30, Springer Nature, 2025, doi:10.1007/s00236-025-00502-1. short: T.H. Hsu, A.A. Oliveira da Costa, A. Wintenberg, E. Bartocci, B. Bonakdarpour, Acta Informatica 62 (2025). corr_author: '1' date_created: 2025-08-17T22:01:36Z date_published: 2025-09-01T00:00:00Z date_updated: 2025-09-30T14:20:11Z day: '01' ddc: - '000' department: - _id: ToHe doi: 10.1007/s00236-025-00502-1 external_id: isi: - '001546115300001' file: - access_level: open_access checksum: 90a43350fd4a8c5cb5b1b0e1aea7970d content_type: application/pdf creator: dernst date_created: 2025-09-02T05:53:47Z date_updated: 2025-09-02T05:53:47Z file_id: '20267' file_name: 2025_ActaInformatica_Hsu.pdf file_size: 6505049 relation: main_file success: 1 file_date_updated: 2025-09-02T05:53:47Z has_accepted_license: '1' intvolume: ' 62' isi: 1 issue: '3' language: - iso: eng month: '09' oa: 1 oa_version: Published Version project: - _id: 34a1b658-11ca-11ed-8bc3-c75229f0241e grant_number: F8502 name: Interface Theory for Security and Privacy publication: Acta Informatica publication_identifier: eissn: - 1432-0525 issn: - 0001-5903 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Gray-box runtime enforcement of hyperproperties tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 62 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20187' abstract: - lang: eng text: Very long-chain fatty acids (VLCFAs), being constituents of different types of lipids, are critical factors in plant development, presumably due to their impact on the endomembrane system. The VLCFAs are synthesized in the endoplasmic reticulum by a heterotetrameric enzymatic complex including β-ketoacyl CoA reductase 1 (KCR1), whose mutant is lethal. Here, we describe the ectopic shoot meristems (esm) mutant, a viable kcr1 allele presumably affecting surface properties of the KCR1 protein. This kcr1-2 mutant shows reduced fatty acyl elongation that impacts VLCFAs. The kcr1-2 plants show severe defects during different stages of development, which all correlate with defects in polar localization and subcellular trafficking of PIN auxin transporters and resulting asymmetric auxin distribution. Detailed analysis of KCR1 expression and patterning defects in kcr1-2 suggests that KCR1 plays a role in delineating boundaries around meristematic and specialized differentiating tissues, including root and shoot meristems, initiating lateral roots, lateral root primordia, and trichomes. In these contexts, KCR1-produced VLCFAs may act in a non-cell-autonomous manner. Viable kcr1-2 represents a useful tool to study VLCFA roles in plant development and highlights VLCFAs as critical developmental factors at the interface of cell polarity and tissue development. acknowledged_ssus: - _id: Bio - _id: EM-Fac - _id: LifeSc acknowledgement: "We gratefully acknowledge the Imaging and Optics, Electron Microscopy (especially Vanessa Zheden for technical assistance) and Life Science (in particular Dorota Jaworska) facilities at ISTA for their continuous support. Authors would like to thank Michelle Gallei for advice during the generation of the transgenic lines; Zuzana Gelová for advice with DR5rev::GFP analyses; Ivan Kulich for help and advice on trichome imaging; Aline Monzer for generous help with hypocotyl and root analyses; Shutang Tan for help with the NGS data analysis; and Milan Župunski for advice on abiotic stress experiments. We would like to thank Dolf Weijers for the SOSEKI (SOK) marker line seeds. This work has benefited from the support of IJPB's Plant Observatory platforms P0-Chem.\r\n\r\nThis work was supported by Austrian Science Fund (FWF) (I 6123-B) and Science and Technology Department of Jiangxi Province (20223BCJ25037) to Huibin Han. The IJPB benefits from the support of Saclay Plant Sciences-SPS (ANR-17-EUR-0007)." article_number: e70396 article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: David full_name: Babic, David id: db566d23-f6e0-11ea-865d-e6f270e968e7 last_name: Babic - first_name: Rashed full_name: Abualia, Rashed id: 4827E134-F248-11E8-B48F-1D18A9856A87 last_name: Abualia orcid: 0000-0002-9357-9415 - first_name: Lukas full_name: Fiedler, Lukas id: 7c417475-8972-11ed-ae7b-8b674ca26986 last_name: Fiedler - first_name: Linlin full_name: Qi, Linlin id: 44B04502-A9ED-11E9-B6FC-583AE6697425 last_name: Qi orcid: 0000-0001-5187-8401 - first_name: Frédérique full_name: Tellier, Frédérique last_name: Tellier - first_name: Adrijana full_name: Smoljan, Adrijana id: cced8a85-223e-11ed-af04-b0596c55053b last_name: Smoljan - first_name: Hana full_name: Rakusova, Hana id: 4CAAA450-78D2-11EA-8E57-B40A396E08BA last_name: Rakusova - first_name: Petr full_name: Valošek, Petr id: 3CDB6F94-F248-11E8-B48F-1D18A9856A87 last_name: Valošek - first_name: Huibin full_name: Han, Huibin id: 31435098-F248-11E8-B48F-1D18A9856A87 last_name: Han - first_name: Eva full_name: Benková, Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 - first_name: Jean Denis full_name: Faure, Jean Denis last_name: Faure - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 citation: ama: Babic D, Abualia R, Fiedler L, et al. Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development. Plant Journal. 2025;123(3). doi:10.1111/tpj.70396 apa: Babic, D., Abualia, R., Fiedler, L., Qi, L., Tellier, F., Smoljan, A., … Friml, J. (2025). Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development. Plant Journal. Wiley. https://doi.org/10.1111/tpj.70396 chicago: Babic, David, Rashed Abualia, Lukas Fiedler, Linlin Qi, Frédérique Tellier, Adrijana Smoljan, Hana Rakusova, et al. “Biosynthesis of Very Long-Chain Fatty Acids Is Required for Arabidopsis Auxin-Mediated Embryonic and Post-Embryonic Development.” Plant Journal. Wiley, 2025. https://doi.org/10.1111/tpj.70396. ieee: D. Babic et al., “Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development,” Plant Journal, vol. 123, no. 3. Wiley, 2025. ista: Babic D, Abualia R, Fiedler L, Qi L, Tellier F, Smoljan A, Rakusova H, Valošek P, Han H, Benková E, Faure JD, Friml J. 2025. Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development. Plant Journal. 123(3), e70396. mla: Babic, David, et al. “Biosynthesis of Very Long-Chain Fatty Acids Is Required for Arabidopsis Auxin-Mediated Embryonic and Post-Embryonic Development.” Plant Journal, vol. 123, no. 3, e70396, Wiley, 2025, doi:10.1111/tpj.70396. short: D. Babic, R. Abualia, L. Fiedler, L. Qi, F. Tellier, A. Smoljan, H. Rakusova, P. Valošek, H. Han, E. Benková, J.D. Faure, J. Friml, Plant Journal 123 (2025). corr_author: '1' date_created: 2025-08-17T22:01:36Z date_published: 2025-08-01T00:00:00Z date_updated: 2026-04-07T11:52:02Z day: '01' ddc: - '580' department: - _id: EvBe - _id: JiFr - _id: GradSch doi: 10.1111/tpj.70396 external_id: isi: - '001547884300001' pmid: - '40782342' file: - access_level: open_access checksum: 1cdc3341d2d23101abca72521f1f23cb content_type: application/pdf creator: dernst date_created: 2025-09-01T14:09:31Z date_updated: 2025-09-01T14:09:31Z file_id: '20264' file_name: 2025_PlantJournal_Babic.pdf file_size: 5791111 relation: main_file success: 1 file_date_updated: 2025-09-01T14:09:31Z has_accepted_license: '1' intvolume: ' 123' isi: 1 issue: '3' language: - iso: eng month: '08' oa: 1 oa_version: Published Version pmid: 1 project: - _id: bd76d395-d553-11ed-ba76-f678c14f9033 grant_number: I06123 name: Peptide receptors for auxin canalization in Arabidopsis publication: Plant Journal publication_identifier: eissn: - 1365-313X issn: - 0960-7412 publication_status: published publisher: Wiley quality_controlled: '1' related_material: record: - id: '20362' relation: dissertation_contains status: public scopus_import: '1' status: public title: Biosynthesis of very long-chain fatty acids is required for Arabidopsis auxin-mediated embryonic and post-embryonic development tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 123 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '20188' abstract: - lang: eng text: Collective cell migration is coordinated by the front-to-rear intercellular propagation of EGFR-Ras-ERK pathway activation. However, the molecular mechanisms integrating front-to-rear information into this intercellular signaling cascade, particularly the determinants of cellular front-side specification, remain elusive. We visualized the activity of EGFR, Ras, Rac1 and Rab5A (hereafter Rab5) by using FRET biosensors and chemogenetic tools. Whereas EGFR activation was uniformly observed within cells, Ras activation was biased to the front side within cells. The polarized Ras activation depended on Merlin and Rac1, which also showed front-biased activation. Furthermore, Rab5, a crucial regulator of cell migration, demonstrated similar front-biased activation and was found to function downstream of Ras while being necessary for Rac1 activation. Thus, the positive feedback loop consisting of Ras, Rab5 and Rac1 is activated primarily at the front of collectively migrating cells. These findings offer new spatio-temporal insight into processing front–rear information during collective cell migration. acknowledgement: We are grateful to the members of the Matsuda Laboratory for their helpful input, to K. Hirano, T. Uesugi and K. Takakura, who provided technical assistance, and to the Medical Research Support Center of Kyoto University for DNA sequence analysis. This work was supported by the Kyoto University Live Imaging Center. Financial support was provided by Japan Society for the Promotion of Science (JSPS) KAKENHI grants (21H05226 to K.T., 19H00993 and 20H05898 to M.M.), a Japan Science and Technology Agency (JST) CREST grant (JPMJCR1654 to M.M.), and a JST Moonshot Research and Development Program grant (JPMJPS2022 to M.M.). Open Access funding provided by Tokushima University. Deposited in PMC for immediate release. article_number: '263779' article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Yuya full_name: Jikko, Yuya last_name: Jikko - first_name: Eriko full_name: Deguchi, Eriko last_name: Deguchi - first_name: Kimiya full_name: Matsuda, Kimiya last_name: Matsuda - first_name: Naoya full_name: Hino, Naoya id: 5299a9ce-7679-11eb-a7bc-d1e62b936307 last_name: Hino - first_name: Shinya full_name: Tsukiji, Shinya last_name: Tsukiji - first_name: Michiyuki full_name: Matsuda, Michiyuki last_name: Matsuda - first_name: Kenta full_name: Terai, Kenta last_name: Terai citation: ama: Jikko Y, Deguchi E, Matsuda K, et al. Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration. Journal of Cell Science. 2025;138(15). doi:10.1242/jcs.263779 apa: Jikko, Y., Deguchi, E., Matsuda, K., Hino, N., Tsukiji, S., Matsuda, M., & Terai, K. (2025). Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.263779 chicago: Jikko, Yuya, Eriko Deguchi, Kimiya Matsuda, Naoya Hino, Shinya Tsukiji, Michiyuki Matsuda, and Kenta Terai. “Front-Biased Activation of the Ras-Rab5-Rac1 Loop Coordinates Collective Cell Migration.” Journal of Cell Science. The Company of Biologists, 2025. https://doi.org/10.1242/jcs.263779. ieee: Y. Jikko et al., “Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration,” Journal of Cell Science, vol. 138, no. 15. The Company of Biologists, 2025. ista: Jikko Y, Deguchi E, Matsuda K, Hino N, Tsukiji S, Matsuda M, Terai K. 2025. Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration. Journal of Cell Science. 138(15), 263779. mla: Jikko, Yuya, et al. “Front-Biased Activation of the Ras-Rab5-Rac1 Loop Coordinates Collective Cell Migration.” Journal of Cell Science, vol. 138, no. 15, 263779, The Company of Biologists, 2025, doi:10.1242/jcs.263779. short: Y. Jikko, E. Deguchi, K. Matsuda, N. Hino, S. Tsukiji, M. Matsuda, K. Terai, Journal of Cell Science 138 (2025). date_created: 2025-08-17T22:01:36Z date_published: 2025-08-01T00:00:00Z date_updated: 2025-11-27T14:12:24Z day: '01' ddc: - '570' department: - _id: CaHe doi: 10.1242/jcs.263779 external_id: isi: - '001567723900009' pmid: - '40667649' file: - access_level: open_access checksum: 29f42619dab5ce251a20c769ed4581c0 content_type: application/pdf creator: dernst date_created: 2025-09-01T10:02:24Z date_updated: 2025-09-01T10:02:24Z file_id: '20262' file_name: 2025_JourCellScience_Jikko.pdf file_size: 12393297 relation: main_file success: 1 file_date_updated: 2025-09-01T10:02:24Z has_accepted_license: '1' intvolume: ' 138' isi: 1 issue: '15' language: - iso: eng month: '08' oa: 1 oa_version: Published Version pmid: 1 publication: Journal of Cell Science publication_identifier: eissn: - 1477-9137 issn: - ' 0021-9533' publication_status: published publisher: The Company of Biologists quality_controlled: '1' scopus_import: '1' status: public title: Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration 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: 138 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '20189' abstract: - lang: eng text: Certification was made mandatory for the first time in the latest hardware model checking competition. In this case study, we investigate the trade-offs of requiring certificates for both passing and failing properties in the competition. Our evaluation shows that participating model checkers were able to produce compact, correct certificates that could be verified with minimal overhead. Furthermore, the certifying winner of the competition outperforms the previous non-certifying state-of-the-art model checker, demonstrating that certification can be adopted without compromising model checking efficiency. acknowledgement: "This work is supported in part by the ERC-2020-AdG 101020093, the LIT AI Lab funded by the State of Upper Austria, the Research Council of Finland under the project 336092, and a gift from Intel Corporation.\r\nFurthermore we of course also owe a big thank-you to the submitters of model checkers and benchmarks to the competition over all these years. Without their enthusiasm and support neither the competition nor this study would exist." alternative_title: - LNCS article_processing_charge: Yes (in subscription journal) author: - first_name: Nils full_name: Froleyks, Nils last_name: Froleyks - first_name: Zhengqi full_name: Yu, Zhengqi id: 20aa2ae8-f2f1-11ed-bbfa-8205053f1342 last_name: Yu orcid: 0000-0002-4993-773X - first_name: Mathias full_name: Preiner, Mathias last_name: Preiner - first_name: Armin full_name: Biere, Armin last_name: Biere - first_name: Keijo full_name: Heljanko, Keijo last_name: Heljanko citation: ama: 'Froleyks N, Yu E, Preiner M, Biere A, Heljanko K. Introducing certificates to the hardware model checking competition. In: 37th International Conference on Computer Aided Verification. Vol 15931. Springer Nature; 2025:281-295. doi:10.1007/978-3-031-98668-0_14' apa: 'Froleyks, N., Yu, E., Preiner, M., Biere, A., & Heljanko, K. (2025). Introducing certificates to the hardware model checking competition. In 37th International Conference on Computer Aided Verification (Vol. 15931, pp. 281–295). Zagreb, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-98668-0_14' chicago: Froleyks, Nils, Emily Yu, Mathias Preiner, Armin Biere, and Keijo Heljanko. “Introducing Certificates to the Hardware Model Checking Competition.” In 37th International Conference on Computer Aided Verification, 15931:281–95. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-98668-0_14. ieee: N. Froleyks, E. Yu, M. Preiner, A. Biere, and K. Heljanko, “Introducing certificates to the hardware model checking competition,” in 37th International Conference on Computer Aided Verification, Zagreb, Croatia, 2025, vol. 15931, pp. 281–295. ista: 'Froleyks N, Yu E, Preiner M, Biere A, Heljanko K. 2025. Introducing certificates to the hardware model checking competition. 37th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 15931, 281–295.' mla: Froleyks, Nils, et al. “Introducing Certificates to the Hardware Model Checking Competition.” 37th International Conference on Computer Aided Verification, vol. 15931, Springer Nature, 2025, pp. 281–95, doi:10.1007/978-3-031-98668-0_14. short: N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295. conference: end_date: 2025-07-25 location: Zagreb, Croatia name: 'CAV: Computer Aided Verification' start_date: 2025-07-23 date_created: 2025-08-17T22:01:36Z date_published: 2025-01-01T00:00:00Z date_updated: 2025-12-01T12:34:05Z day: '01' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-031-98668-0_14 ec_funded: 1 external_id: isi: - '001562507100014' file: - access_level: open_access checksum: 15ec1bc9b9409d3b2736f4c9d5f42fd1 content_type: application/pdf creator: dernst date_created: 2025-09-02T05:46:10Z date_updated: 2025-09-02T05:46:10Z file_id: '20266' file_name: 2025_CAV_Froleyks.pdf file_size: 1078274 relation: main_file success: 1 file_date_updated: 2025-09-02T05:46:10Z has_accepted_license: '1' intvolume: ' 15931' isi: 1 language: - iso: eng month: '01' oa: 1 oa_version: Published Version page: 281-295 project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: 37th International Conference on Computer Aided Verification publication_identifier: eissn: - 1611-3349 isbn: - '9783031986673' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Introducing certificates to the hardware model checking competition 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: 15931 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '20191' abstract: - lang: eng text: High-entropy alloys (HEAs) show great potential for catalyzing complex multi-step reactions, but optimizing their parameters, i.e., composition, but also their crystallinity and morphology, remains a significant challenge. In this study, FeCoNiMoW HEAs are synthesized into either amorphous nanosheets (HEANS) or crystalline nanoparticles (HEANP), which are then used to catalyze the lithium–sulfur (Li–S) reaction of Li–S batteries (LSBs). Evaluations in symmetric cells, coin cells, and pouch cells reveal that HEANS significantly enhance LSB performance, achieving initial discharge capacities up to 1632 mAh g−1. The batteries also exhibit excellent cycling stability over 1000 cycles at 3Cand maintain high-rate performance up to 10C with a capacity of 614 mAh g−1. Comprehensive in situ analyses and density functional theory calculations demonstrate that amorphous HEANS provide more active sites, better ionic conductivity and stronger chemical interactions with lithium polysulfides (LiPS). These properties effectively suppress the shuttle effect, promote the complete S8 → Li2S conversion by reducing the impedance of the solid-electrolyte interphase, and accelerate the Li2S4 → Li2S2 step by lowering the nucleation energy barrier. Overall, this study highlights the superior catalytic properties of amorphous 2D HEAs in LSBs and offers new insights into the mechanisms of LiPS conversion. acknowledged_ssus: - _id: EM-Fac acknowledgement: The authors acknowledge support from the 2BoSS project of the ERA-MIN3 program with the Spanish grant number PCI2022-132985/AEI/10.13039/50110001103, and funding from Generalitat de Catalunya 2021SGR01581 and European Union NextGenerationEU/PRTR. L.Yang, C.Huang, X.Lu, A.Yu, C.Li, J.Yu, and X.Bi thank the China Scholarship Council (CSC) for the scholarship support. This research was supported by the Scientific Service Units (SSU) of ISTA through resources provided by the Electron Microscopy Facility (EMF), and by the Werner Siemens Foundation (WSS) for financial support. article_number: e13859 article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Ren full_name: He, Ren last_name: He - first_name: Seungho full_name: Lee, Seungho id: BB243B88-D767-11E9-B658-BC13E6697425 last_name: Lee orcid: 0000-0002-6962-8598 - first_name: Yang full_name: Ding, Yang last_name: Ding - first_name: Chen full_name: Huang, Chen last_name: Huang - first_name: Xuan full_name: Lu, Xuan last_name: Lu - first_name: Lirong full_name: Zheng, Lirong last_name: Zheng - first_name: Ao full_name: Yu, Ao last_name: Yu - first_name: Chaoyue full_name: Zhang, Chaoyue last_name: Zhang - first_name: Canhuang full_name: Li, Canhuang last_name: Li - first_name: Xiaoyu full_name: Bi, Xiaoyu last_name: Bi - first_name: Yaqiang full_name: Li, Yaqiang last_name: Li - first_name: Yaqi full_name: Liao, Yaqi last_name: Liao - first_name: Junshan full_name: Li, Junshan last_name: Li - first_name: Ahmad full_name: Ostovari Moghaddam, Ahmad last_name: Ostovari Moghaddam - first_name: Salimov full_name: Yernar, Salimov last_name: Yernar - first_name: Ying full_name: Xu, Ying last_name: Xu - first_name: Maria full_name: Ibáñez, Maria id: 43C61214-F248-11E8-B48F-1D18A9856A87 last_name: Ibáñez orcid: 0000-0001-5013-2843 - first_name: Chaoqi full_name: Zhang, Chaoqi last_name: Zhang - first_name: Linlin full_name: Yang, Linlin last_name: Yang - first_name: Yingtang full_name: Zhou, Yingtang last_name: Zhou - first_name: Andreu full_name: Cabot, Andreu last_name: Cabot citation: ama: He R, Lee S, Ding Y, et al. Amorphous high entropy alloy nanosheets enabling robust Li–S batteries. Advanced Functional Materials. 2025. doi:10.1002/adfm.202513859 apa: He, R., Lee, S., Ding, Y., Huang, C., Lu, X., Zheng, L., … Cabot, A. (2025). Amorphous high entropy alloy nanosheets enabling robust Li–S batteries. Advanced Functional Materials. Wiley. https://doi.org/10.1002/adfm.202513859 chicago: He, Ren, Seungho Lee, Yang Ding, Chen Huang, Xuan Lu, Lirong Zheng, Ao Yu, et al. “Amorphous High Entropy Alloy Nanosheets Enabling Robust Li–S Batteries.” Advanced Functional Materials. Wiley, 2025. https://doi.org/10.1002/adfm.202513859. ieee: R. He et al., “Amorphous high entropy alloy nanosheets enabling robust Li–S batteries,” Advanced Functional Materials. Wiley, 2025. ista: He R, Lee S, Ding Y, Huang C, Lu X, Zheng L, Yu A, Zhang C, Li C, Bi X, Li Y, Liao Y, Li J, Ostovari Moghaddam A, Yernar S, Xu Y, Ibáñez M, Zhang C, Yang L, Zhou Y, Cabot A. 2025. Amorphous high entropy alloy nanosheets enabling robust Li–S batteries. Advanced Functional Materials., e13859. mla: He, Ren, et al. “Amorphous High Entropy Alloy Nanosheets Enabling Robust Li–S Batteries.” Advanced Functional Materials, e13859, Wiley, 2025, doi:10.1002/adfm.202513859. short: R. He, S. Lee, Y. Ding, C. Huang, X. Lu, L. Zheng, A. Yu, C. Zhang, C. Li, X. Bi, Y. Li, Y. Liao, J. Li, A. Ostovari Moghaddam, S. Yernar, Y. Xu, M. Ibáñez, C. Zhang, L. Yang, Y. Zhou, A. Cabot, Advanced Functional Materials (2025). date_created: 2025-08-17T22:01:37Z date_published: 2025-08-06T00:00:00Z date_updated: 2025-09-30T14:20:56Z day: '06' ddc: - '540' department: - _id: MaIb doi: 10.1002/adfm.202513859 external_id: isi: - '001544757200001' has_accepted_license: '1' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1002/adfm.202513859 month: '08' oa: 1 oa_version: Published Version project: - _id: 9B8F7476-BA93-11EA-9121-9846C619BF3A name: 'HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery' publication: Advanced Functional Materials publication_identifier: eissn: - 1616-3028 issn: - 1616-301X publication_status: epub_ahead publisher: Wiley quality_controlled: '1' scopus_import: '1' status: public title: Amorphous high entropy alloy nanosheets enabling robust Li–S batteries tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2025' ... --- OA_place: publisher OA_type: diamond PlanS_conform: '1' _id: '20192' abstract: - lang: eng text: We study the physical origin and spectroscopic impact of extreme nebular emission in high-redshift galaxies. The nebular continuum, which can appear during an extreme starburst, is of particular importance as it tends to redden UV slopes and has a significant contribution to the UV luminosities of galaxies. Furthermore, its shape can be used to infer the gas density and temperature of the interstellar medium. First, we provide a theoretical background, showing how different stellar populations (SPS models, initial mass functions (IMFs), and stellar temperatures) and nebular conditions impact observed galaxy spectra. We demonstrate that, for systems with strong nebular continuum emission, 1) UV fluxes can increase by up to 0.7~mag (or more in the case of hot/massive stars) above the stellar continuum, which may help reconcile the surprising abundance of bright high-redshift galaxies and the elevated UV luminosity density at z>10, 2) at high gas densities, UV slopes can redden from \beta<-2.5 to \beta\sim-1, 3) observational measurements of \xi_{\rm ion} are gross underestimates, and 4) UV downturns from two-photon emission can masquerade as damped Ly\alpha systems. Second, we present a dataset of 58 galaxies observed with NIRSpec on JWST at 2.510 galaxies, finding that UV slopes and UV downturns are in some cases redder or steeper than expected from SPS models, which may hint at more exotic (e.g. hotter/more massive stars or AGN) ionizing sources. acknowledgement: 'HK thanks Andrey Kravtsov for insightful comments and thoughtful discussions. We sincerely thank the PIs and Co-Is of the JWST programs where spectral data was made publicly available on the DJA. We refer interested readers to the following papers for survey descriptions regarding the spectral data: Bunker et al. (2023a); D’Eugenio et al. (2024); Bezanson et al. (2022); Barrufet et al. (2024); de Graaff et al. (2024); Finkelstein et al. (2024); Glazebrook et al. (2024); Pierel et al. (2024); Siebert et al. (2024); Maseda et al. (2024). This work is based in part on observations made with the NASA/ESA/CSA James Webb Space Telescope. The data were obtained from the Mikulski Archive for Space Telescopes at the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-03127 for JWST. These observations are associated with programs listed in Table 1. AJC and AS acknowledge funding from the “FirstGalaxies” Advanced Grant from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant agreement No. 789056). ' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Harley full_name: Katz, Harley last_name: Katz - first_name: Alex J. full_name: Cameron, Alex J. last_name: Cameron - first_name: Aayush full_name: Saxena, Aayush last_name: Saxena - first_name: Laia full_name: Barrufet, Laia last_name: Barrufet - first_name: Nicholas full_name: Choustikov, Nicholas last_name: Choustikov - first_name: Nikko J. full_name: Cleri, Nikko J. last_name: Cleri - first_name: Anna full_name: De Graaff, Anna last_name: De Graaff - first_name: Richard S. full_name: Ellis, Richard S. last_name: Ellis - first_name: Robert A.E. full_name: Fosbury, Robert A.E. last_name: Fosbury - first_name: Kasper E. full_name: Heintz, Kasper E. last_name: Heintz - first_name: Michael full_name: Maseda, Michael last_name: Maseda - first_name: Jorryt J full_name: Matthee, Jorryt J id: 7439a258-f3c0-11ec-9501-9df22fe06720 last_name: Matthee orcid: 0000-0003-2871-127X - first_name: Ian full_name: Mcconachie, Ian last_name: Mcconachie - first_name: Pascal A. full_name: Oesch, Pascal A. last_name: Oesch citation: ama: 'Katz H, Cameron AJ, Saxena A, et al. 21 Balmer Jump Street: The nebular continuum at high redshift and implications for the bright galaxy problem, UV continuum slopes, and early stellar populations. The Open Journal of Astrophysics. 2025;8. doi:10.33232/001c.142570' apa: 'Katz, H., Cameron, A. J., Saxena, A., Barrufet, L., Choustikov, N., Cleri, N. J., … Oesch, P. A. (2025). 21 Balmer Jump Street: The nebular continuum at high redshift and implications for the bright galaxy problem, UV continuum slopes, and early stellar populations. The Open Journal of Astrophysics. Maynooth Academic Publishing. https://doi.org/10.33232/001c.142570' chicago: 'Katz, Harley, Alex J. Cameron, Aayush Saxena, Laia Barrufet, Nicholas Choustikov, Nikko J. Cleri, Anna De Graaff, et al. “21 Balmer Jump Street: The Nebular Continuum at High Redshift and Implications for the Bright Galaxy Problem, UV Continuum Slopes, and Early Stellar Populations.” The Open Journal of Astrophysics. Maynooth Academic Publishing, 2025. https://doi.org/10.33232/001c.142570.' ieee: 'H. Katz et al., “21 Balmer Jump Street: The nebular continuum at high redshift and implications for the bright galaxy problem, UV continuum slopes, and early stellar populations,” The Open Journal of Astrophysics, vol. 8. Maynooth Academic Publishing, 2025.' ista: 'Katz H, Cameron AJ, Saxena A, Barrufet L, Choustikov N, Cleri NJ, De Graaff A, Ellis RS, Fosbury RAE, Heintz KE, Maseda M, Matthee JJ, Mcconachie I, Oesch PA. 2025. 21 Balmer Jump Street: The nebular continuum at high redshift and implications for the bright galaxy problem, UV continuum slopes, and early stellar populations. The Open Journal of Astrophysics. 8.' mla: 'Katz, Harley, et al. “21 Balmer Jump Street: The Nebular Continuum at High Redshift and Implications for the Bright Galaxy Problem, UV Continuum Slopes, and Early Stellar Populations.” The Open Journal of Astrophysics, vol. 8, Maynooth Academic Publishing, 2025, doi:10.33232/001c.142570.' short: H. Katz, A.J. Cameron, A. Saxena, L. Barrufet, N. Choustikov, N.J. Cleri, A. De Graaff, R.S. Ellis, R.A.E. Fosbury, K.E. Heintz, M. Maseda, J.J. Matthee, I. Mcconachie, P.A. Oesch, The Open Journal of Astrophysics 8 (2025). date_created: 2025-08-17T22:01:37Z date_published: 2025-07-25T00:00:00Z date_updated: 2025-09-30T14:29:33Z day: '25' ddc: - '520' department: - _id: JoMa doi: 10.33232/001c.142570 external_id: arxiv: - '2408.03189' file: - access_level: open_access checksum: ba469d132907147f9e86d87f9124dd14 content_type: application/pdf creator: dernst date_created: 2025-09-30T14:28:25Z date_updated: 2025-09-30T14:28:25Z file_id: '20412' file_name: 2025_OpenJourAstrophysics_Katz.pdf file_size: 1836432 relation: main_file success: 1 file_date_updated: 2025-09-30T14:28:25Z has_accepted_license: '1' intvolume: ' 8' language: - iso: eng month: '07' oa: 1 oa_version: Published Version publication: The Open Journal of Astrophysics publication_identifier: eissn: - 2565-6120 publication_status: published publisher: Maynooth Academic Publishing quality_controlled: '1' scopus_import: '1' status: public title: '21 Balmer Jump Street: The nebular continuum at high redshift and implications for the bright galaxy problem, UV continuum slopes, and early stellar populations' 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: 8 year: '2025' ...