[{"language":[{"iso":"eng"}],"article_number":"5c08400","citation":{"chicago":"Ibarra-Espinosa, Sergio, Edmilson Dias de Freitas, Benjamin Gaubert, Pablo Lichtig, Karl Ropkins, Iara da Silva, Guilherme Martins Pereira, et al. “A Century of Vehicular Emissions in Brazil: Unveiling the Impacts of Unique Fuel Mix on Air Quality.” <i>Environmental Science &#38;amp; Technology</i>. American Chemical Society, 2026. <a href=\"https://doi.org/10.1021/acs.est.5c08400\">https://doi.org/10.1021/acs.est.5c08400</a>.","ama":"Ibarra-Espinosa S, Dias de Freitas E, Gaubert B, et al. A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality. <i>Environmental Science &#38;amp; Technology</i>. 2026;60(6). doi:<a href=\"https://doi.org/10.1021/acs.est.5c08400\">10.1021/acs.est.5c08400</a>","ieee":"S. Ibarra-Espinosa <i>et al.</i>, “A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality,” <i>Environmental Science &#38;amp; Technology</i>, vol. 60, no. 6. American Chemical Society, 2026.","apa":"Ibarra-Espinosa, S., Dias de Freitas, E., Gaubert, B., Lichtig, P., Ropkins, K., da Silva, I., … Brasseur, G. (2026). A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality. <i>Environmental Science &#38;amp; Technology</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acs.est.5c08400\">https://doi.org/10.1021/acs.est.5c08400</a>","mla":"Ibarra-Espinosa, Sergio, et al. “A Century of Vehicular Emissions in Brazil: Unveiling the Impacts of Unique Fuel Mix on Air Quality.” <i>Environmental Science &#38;amp; Technology</i>, vol. 60, no. 6, 5c08400, American Chemical Society, 2026, doi:<a href=\"https://doi.org/10.1021/acs.est.5c08400\">10.1021/acs.est.5c08400</a>.","ista":"Ibarra-Espinosa S, Dias de Freitas E, Gaubert B, Lichtig P, Ropkins K, da Silva I, Martins Pereira G, Schuch D, Nascimento J, Hoinaski L, Martins LD, Gavidia-Calderón M, Vara-Vela A, Toledo de Almeida Albuquerque T, Ynoue RY, Diez S, Mera Z, Casallas Garcia A, Vallejo F, Diaz V, Pedruzzi R, Abrutzky R, Franco MA, Huneeus N, Jorquera H, Belalcázar-Cerón LC, Rojas NY, de Fatima Andrade M, Emmons L, Brasseur G. 2026. A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality. Environmental Science &#38;amp; Technology. 60(6), 5c08400.","short":"S. Ibarra-Espinosa, E. Dias de Freitas, B. Gaubert, P. Lichtig, K. Ropkins, I. da Silva, G. Martins Pereira, D. Schuch, J. Nascimento, L. Hoinaski, L.D. Martins, M. Gavidia-Calderón, A. Vara-Vela, T. Toledo de Almeida Albuquerque, R.Y. Ynoue, S. Diez, Z. Mera, A. Casallas Garcia, F. Vallejo, V. Diaz, R. Pedruzzi, R. Abrutzky, M.A. Franco, N. Huneeus, H. Jorquera, L.C. Belalcázar-Cerón, N.Y. Rojas, M. de Fatima Andrade, L. Emmons, G. Brasseur, Environmental Science &#38;amp; Technology 60 (2026)."},"date_created":"2026-02-09T06:54:10Z","oa_version":"None","researchdata_availability":"yes","OA_type":"closed access","publication":"Environmental Science &amp; Technology","publication_status":"published","external_id":{"pmid":["41636708"]},"type":"journal_article","ddc":["550"],"publication_identifier":{"issn":["0013-936X"],"eissn":["1520-5851"]},"publisher":"American Chemical Society","volume":60,"acknowledgement":"Part of this material is based upon work supported by the NSF National Center for Atmospheric Research, which is a major facility sponsored by the National Science Foundation under Cooperative Agreement No. 1852977. Casallas was supported by the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie grant agreement No. 101034413. E. D. Freitas thanks the support provided by the National Council for Scientific and Technological Development (CNPq, Process number 313210/2022–5). Silva gratefully acknowledges the financial support from the National Council for Scientific and Technological Development (CNPq), process number 140512/2021–7. P. Lichtig was supported by base funding from the National Commission for Atomic Energy (CNEA, Arg.) and by NSF NCAR. R.Y. Ynoue thanks the support provided by the National Council for Scientific and Technological Development (CNPq, Process number 406728/2022–4). M. A. Franco thanks the support provided by the National Council for Scientific and Technological Development (CNPq, Process number 407752/2023–4). G. M. Pereira thanks the support by the Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP; Process numbers 2018/07848–9, 2016/18438–0, and 2019/01316–80) and Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES; Process number 88887.103225/2025–00). M.F. Andrade thanks the support by FAPESP (Process number 2016/18438–0) and CNPQ (Klimapolis INCT).","das_tickbox":"1","date_updated":"2026-07-28T07:03:54Z","article_processing_charge":"No","supplementarymaterial":"yes","fulldoi":"https://doi.org/10.1021/acs.est.5c08400","day":"17","author":[{"first_name":"Sergio","full_name":"Ibarra-Espinosa, Sergio","last_name":"Ibarra-Espinosa"},{"first_name":"Edmilson","full_name":"Dias de Freitas, Edmilson","last_name":"Dias de Freitas"},{"full_name":"Gaubert, Benjamin","last_name":"Gaubert","first_name":"Benjamin"},{"first_name":"Pablo","last_name":"Lichtig","full_name":"Lichtig, Pablo"},{"first_name":"Karl","last_name":"Ropkins","full_name":"Ropkins, Karl"},{"first_name":"Iara","last_name":"da Silva","full_name":"da Silva, Iara"},{"full_name":"Martins Pereira, Guilherme","last_name":"Martins Pereira","first_name":"Guilherme"},{"last_name":"Schuch","full_name":"Schuch, Daniel","first_name":"Daniel"},{"last_name":"Nascimento","full_name":"Nascimento, Janaina","first_name":"Janaina"},{"last_name":"Hoinaski","full_name":"Hoinaski, Leonardo","first_name":"Leonardo"},{"last_name":"Martins","full_name":"Martins, Leila Droprinchinski","first_name":"Leila Droprinchinski"},{"last_name":"Gavidia-Calderón","full_name":"Gavidia-Calderón, Mario","first_name":"Mario"},{"first_name":"Angel","last_name":"Vara-Vela","full_name":"Vara-Vela, Angel"},{"full_name":"Toledo de Almeida Albuquerque, Taciana","last_name":"Toledo de Almeida Albuquerque","first_name":"Taciana"},{"first_name":"Rita Yuri","full_name":"Ynoue, Rita Yuri","last_name":"Ynoue"},{"first_name":"Sebastian","last_name":"Diez","full_name":"Diez, Sebastian"},{"first_name":"Zamir","last_name":"Mera","full_name":"Mera, Zamir"},{"last_name":"Casallas Garcia","id":"92081129-2d75-11ef-a48d-b04dd7a2385a","full_name":"Casallas Garcia, Alejandro","first_name":"Alejandro","orcid":"0000-0002-1988-5035"},{"first_name":"Fidel","last_name":"Vallejo","full_name":"Vallejo, Fidel"},{"first_name":"Valeria","full_name":"Diaz, Valeria","last_name":"Diaz"},{"last_name":"Pedruzzi","full_name":"Pedruzzi, Rizzieri","first_name":"Rizzieri"},{"first_name":"Rosana","last_name":"Abrutzky","full_name":"Abrutzky, Rosana"},{"first_name":"Marco A.","last_name":"Franco","full_name":"Franco, Marco A."},{"first_name":"Nicolas","last_name":"Huneeus","full_name":"Huneeus, Nicolas"},{"first_name":"Hector","full_name":"Jorquera, Hector","last_name":"Jorquera"},{"first_name":"Luis Carlos","last_name":"Belalcázar-Cerón","full_name":"Belalcázar-Cerón, Luis Carlos"},{"first_name":"Néstor Y.","full_name":"Rojas, Néstor Y.","last_name":"Rojas"},{"first_name":"Maria","full_name":"de Fatima Andrade, Maria","last_name":"de Fatima Andrade"},{"first_name":"Louisa","full_name":"Emmons, Louisa","last_name":"Emmons"},{"first_name":"Guy","full_name":"Brasseur, Guy","last_name":"Brasseur"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"6","month":"02","intvolume":"        60","ec_funded":1,"year":"2026","has_accepted_license":"1","date_published":"2026-02-17T00:00:00Z","quality_controlled":"1","department":[{"_id":"CaMu"}],"project":[{"name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","call_identifier":"H2020"}],"doi":"10.1021/acs.est.5c08400","pmid":1,"title":"A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality","dataavailabilitystatement":"Scripts available here https://github.com/ibarraespinosa/musica_vein and here https://github.com/atmoschem/vein.","_id":"21164","abstract":[{"text":"Global emission inventories often fail to capture the complexities of vehicular pollution in regions with unique fuel mixes, such as Brazil’s extensive biofuel use, leading to significant uncertainties in atmospheric modeling. This study presents a century-long (1960–2100) bottom-up vehicular emission inventory for Brazil, leveraging locally derived emission factors. Our estimates reveal substantial discrepancies in magnitude, timing, and speciation of non-CO2 pollutants (CO, NMHC, PM2.5) compared to leading global inventories (EDGAR, CEDS, CAMS), highlighting critical inaccuracies in widely used data sets. More critically, future projections under Shared Socioeconomic Pathways (SSPs) uncover a novel positive feedback mechanism: rising temperatures significantly enhance vehicular evaporative nonmethane hydrocarbon (NMHC) emissions. This temperature-dependent increase and subsequent NMHC oxidation to CO2 suggest an overlooked pathway that could amplify climate warming and air pollution globally, particularly after a breakpoint around 2050 (p < 0.05). While historical emissions peaked in the 1990s–2000s, nonexhaust PM becomes increasingly important. Air quality simulations using our inventory in the MUSICA model show good regional PM2.5 agreement but highlight challenges in resolving local primary pollutant peaks. This comprehensive inventory provides crucial data for Brazil and uncovers globally relevant climate–chemistry interactions, urging a re-evaluation of regional specificities in global emission assessments.","lang":"eng"}],"status":"public","scopus_import":"1","article_type":"original"},{"has_accepted_license":"1","oa":1,"quality_controlled":"1","date_published":"2026-03-01T00:00:00Z","file":[{"checksum":"9d46167619be91210c45ee9e1f187395","file_size":3012737,"access_level":"open_access","date_updated":"2026-07-28T06:48:08Z","content_type":"application/pdf","creator":"dernst","file_id":"22594","relation":"main_file","date_created":"2026-07-28T06:48:08Z","success":1,"file_name":"2026_ReviewsGeophysics_Sauter.pdf"}],"project":[{"grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020"}],"department":[{"_id":"FrPe"}],"doi":"10.1029/2024RG000869","title":"Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review","_id":"20971","abstract":[{"lang":"eng","text":"Mountain glaciers are among the natural systems most vulnerable to climate change. However, their interactions with the atmosphere are complex and not fully understood. These interactions can trigger rapid adjustments and climate feedbacks that either amplify or attenuate atmospheric signals, influencing both glacier response and large-scale atmospheric circulation. Observing this functional coupling in nature is challenging because the key processes occur over a wide range of spatial and temporal scales. However, recent advances in observational techniques and modeling have provided new insights into these interactions. In this review, we summarize the current state of knowledge on glacier-atmosphere interactions in high-mountain regions at different scales, and highlight recent advances in observational and numerical modeling. We also highlight important knowledge gaps and outline future research directions to improve the prediction of glacier change in a warming world."}],"status":"public","dataavailabilitystatement":"Data were not used, nor created for this research. Software (other than for typesetting) was not used for this research.","article_type":"original","scopus_import":"1","PlanS_conform":"1","supplementarymaterial":"no","file_date_updated":"2026-07-28T06:48:08Z","article_processing_charge":"Yes (in subscription journal)","fulldoi":"https://doi.org/10.1029/2024RG000869","OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","author":[{"first_name":"T.","full_name":"Sauter, T.","last_name":"Sauter"},{"full_name":"Brock, B. W.","last_name":"Brock","first_name":"B. W."},{"last_name":"Collier","full_name":"Collier, E.","first_name":"E."},{"first_name":"B.","full_name":"Goger, B.","last_name":"Goger"},{"first_name":"A. R.","last_name":"Groos","full_name":"Groos, A. R."},{"first_name":"K. F.","full_name":"Haualand, K. F.","last_name":"Haualand"},{"full_name":"Mott, R.","last_name":"Mott","first_name":"R."},{"last_name":"Nicholson","full_name":"Nicholson, L.","first_name":"L."},{"first_name":"R.","last_name":"Prinz","full_name":"Prinz, R."},{"orcid":"0000-0001-7640-6152","id":"3caa3f91-1f03-11ee-96ce-e0e553054d6e","last_name":"Shaw","full_name":"Shaw, Thomas","first_name":"Thomas"},{"first_name":"I.","full_name":"Stiperski, I.","last_name":"Stiperski"},{"first_name":"A.","full_name":"Georgi, A.","last_name":"Georgi"},{"first_name":"M.","last_name":"Haugeneder","full_name":"Haugeneder, M."},{"first_name":"A.","last_name":"Mandal","full_name":"Mandal, A."},{"last_name":"Reynolds","full_name":"Reynolds, D.","first_name":"D."},{"first_name":"M.","last_name":"Saigger","full_name":"Saigger, M."},{"last_name":"Sicart","full_name":"Sicart, J. E.","first_name":"J. E."},{"full_name":"Voordendag, A.","last_name":"Voordendag","first_name":"A."}],"month":"03","issue":"1","intvolume":"        64","year":"2026","ec_funded":1,"ddc":["550"],"publication_identifier":{"eissn":["1944-9208"],"issn":["8755-1209"]},"publisher":"Wiley","volume":64,"acknowledgement":"This work is the result of collaboration and discussions within HEFEX II, and we are grateful to all colleagues who have contributed to and enriched these discussions in various ways. T. Sauter acknowledges funding from the German Research Foundation (DFG) (Grant 543257843). This research was funded in part by the Austrian Science Fund (FWF) (Grant https://doi.org/10.55776/P36624 and https://doi.org/10.55776/P36306) for which E. Collier and R. Prinz are grateful. A. R. Groos, T. E. Shaw, R. Mott and M. Haugeneder acknowledge Transnational Access from the European Union's H2020 project INTERACT III (Grant 871120) for participation in the HEFEX II campaign and working group. I. Stiperski (Grant Agreement No. 101001691) and A. R. Groos (Grant Agreement No. 948290) acknowledge funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program. R. Mott acknowledges funding from the Swiss National Science Foundation (SNSF) (Grant 200021_219918). B. Goger is supported by EXCLAIM, a project funded by ETH Zurich. J.E. Sicart acknowledges LabEx OSUG@2020 (Investissements d'avenir - ANR10 LABX56) for participation in the HEFEX II campaign and working group. T. E. Shaw acknowledges funding from the EU Horizon 2020 Marie Skłodowska-Curie Grant 101026058 and 101034413. K. F. Haualand and T. Sauter are supported by the JOSTICE project funded by the Research Council of Norway (RCN Grant 302458).","das_tickbox":"1","date_updated":"2026-07-28T06:49:58Z","language":[{"iso":"eng"}],"citation":{"ista":"Sauter T, Brock BW, Collier E, Goger B, Groos AR, Haualand KF, Mott R, Nicholson L, Prinz R, Shaw T, Stiperski I, Georgi A, Haugeneder M, Mandal A, Reynolds D, Saigger M, Sicart JE, Voordendag A. 2026. Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review. Reviews of Geophysics. 64(1), e2024RG000869.","short":"T. Sauter, B.W. Brock, E. Collier, B. Goger, A.R. Groos, K.F. Haualand, R. Mott, L. Nicholson, R. Prinz, T. Shaw, I. Stiperski, A. Georgi, M. Haugeneder, A. Mandal, D. Reynolds, M. Saigger, J.E. Sicart, A. Voordendag, Reviews of Geophysics 64 (2026).","mla":"Sauter, T., et al. “Glacier-Atmosphere Interactions and Feedbacks in High-Mountain Regions - A Review.” <i>Reviews of Geophysics</i>, vol. 64, no. 1, e2024RG000869, Wiley, 2026, doi:<a href=\"https://doi.org/10.1029/2024RG000869\">10.1029/2024RG000869</a>.","ieee":"T. Sauter <i>et al.</i>, “Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review,” <i>Reviews of Geophysics</i>, vol. 64, no. 1. Wiley, 2026.","apa":"Sauter, T., Brock, B. W., Collier, E., Goger, B., Groos, A. R., Haualand, K. F., … Voordendag, A. (2026). Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review. <i>Reviews of Geophysics</i>. Wiley. <a href=\"https://doi.org/10.1029/2024RG000869\">https://doi.org/10.1029/2024RG000869</a>","chicago":"Sauter, T., B. W. Brock, E. Collier, B. Goger, A. R. Groos, K. F. Haualand, R. Mott, et al. “Glacier-Atmosphere Interactions and Feedbacks in High-Mountain Regions - A Review.” <i>Reviews of Geophysics</i>. Wiley, 2026. <a href=\"https://doi.org/10.1029/2024RG000869\">https://doi.org/10.1029/2024RG000869</a>.","ama":"Sauter T, Brock BW, Collier E, et al. Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review. <i>Reviews of Geophysics</i>. 2026;64(1). doi:<a href=\"https://doi.org/10.1029/2024RG000869\">10.1029/2024RG000869</a>"},"article_number":"e2024RG000869","date_created":"2026-01-11T23:01:33Z","researchdata_availability":"no","publication":"Reviews of Geophysics","OA_type":"hybrid","oa_version":"Published Version","publication_status":"published","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"}},{"publication_identifier":{"issn":["1097-2765"],"eissn":["1097-4164"]},"publisher":"Elsevier","ddc":["570"],"das_tickbox":"1","date_updated":"2026-07-28T07:39:23Z","volume":86,"acknowledgement":"Calculations were performed at the Max Planck Institute of Biochemistry and the Raven Supercomputer of the Max Planck Computing and Data Facility (MPCDF) in Garching, Germany; at the sciCORE (http://scicore.unibas.ch/) scientific computing center at the University of Basel, Switzerland; and at Thermo Fisher Scientific, in Eindhoven, the Netherlands. This work was supported by Thermo Fisher Scientific. All lamella preparations and tilt-series collections used in this work were conducted at Thermo Fisher R&D facilities in Brno and Eindhoven, utilizing Arctis and Krios microscopes. This work was also supported by the ERC consolidator grant “cryOcean” (fulfilled by the Swiss State Secretariat for Education, Research and Innovation, M822.00045) as well as a Swiss Nanoscience Institute PhD school grant to B.D.E. and P.V.d.S., an EMBO long-term postdoctoral fellowship (ALTF-383-2022) to G.T., an SNSF Postdoctoral Fellowship (project 210561) to F.W., a Boehringer Ingelheim Fonds fellowship to L.L., and by the Max Planck Society to J.A.G.B. and J.M.P.","date_created":"2026-01-04T23:01:36Z","language":[{"iso":"eng"}],"citation":{"apa":"Kelley, R., Khavnekar, S., Righetto, R. D., Heebner, J., Obr, M., Zhang, X., … Kotecha, A. (2026). Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii. <i>Molecular Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.molcel.2025.11.029\">https://doi.org/10.1016/j.molcel.2025.11.029</a>","ieee":"R. Kelley <i>et al.</i>, “Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii,” <i>Molecular Cell</i>, vol. 86, no. 1. Elsevier, p. 213–230.e7, 2026.","ama":"Kelley R, Khavnekar S, Righetto RD, et al. Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii. <i>Molecular Cell</i>. 2026;86(1):213-230.e7. doi:<a href=\"https://doi.org/10.1016/j.molcel.2025.11.029\">10.1016/j.molcel.2025.11.029</a>","chicago":"Kelley, Ron, Sagar Khavnekar, Ricardo D. Righetto, Jessica Heebner, Martin Obr, Xianjun Zhang, Saikat Chakraborty, et al. “Toward Community-Driven Visual Proteomics with Large-Scale Cryo-Electron Tomography of Chlamydomonas Reinhardtii.” <i>Molecular Cell</i>. Elsevier, 2026. <a href=\"https://doi.org/10.1016/j.molcel.2025.11.029\">https://doi.org/10.1016/j.molcel.2025.11.029</a>.","short":"R. Kelley, S. Khavnekar, R.D. Righetto, J. Heebner, M. Obr, X. Zhang, S. Chakraborty, G. Tagiltsev, A.K. Michael, S. Van Dorst, F. Waltz, C.L. Mccafferty, L. Lamm, S. Zufferey, P. Van Der Stappen, H. Van Den Hoek, W. Wietrzynski, P. Harar, W. Wan, J.A.G. Briggs, J.M. Plitzko, B.D. Engel, A. Kotecha, Molecular Cell 86 (2026) 213–230.e7.","ista":"Kelley R, Khavnekar S, Righetto RD, Heebner J, Obr M, Zhang X, Chakraborty S, Tagiltsev G, Michael AK, Van Dorst S, Waltz F, Mccafferty CL, Lamm L, Zufferey S, Van Der Stappen P, Van Den Hoek H, Wietrzynski W, Harar P, Wan W, Briggs JAG, Plitzko JM, Engel BD, Kotecha A. 2026. Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii. Molecular Cell. 86(1), 213–230.e7.","mla":"Kelley, Ron, et al. “Toward Community-Driven Visual Proteomics with Large-Scale Cryo-Electron Tomography of Chlamydomonas Reinhardtii.” <i>Molecular Cell</i>, vol. 86, no. 1, Elsevier, 2026, p. 213–230.e7, doi:<a href=\"https://doi.org/10.1016/j.molcel.2025.11.029\">10.1016/j.molcel.2025.11.029</a>."},"publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","oa_version":"Published Version","OA_type":"hybrid","researchdata_availability":"yes","publication":"Molecular Cell","quality_controlled":"1","file":[{"content_type":"application/pdf","creator":"dernst","file_id":"22599","checksum":"96a2f8519124d1a0d9de8d2594bf7147","access_level":"open_access","file_size":26749637,"date_updated":"2026-07-28T07:38:45Z","success":1,"file_name":"2026_MolecularCell_Kelley.pdf","relation":"main_file","date_created":"2026-07-28T07:38:45Z"}],"date_published":"2026-01-08T00:00:00Z","department":[{"_id":"AlMi"}],"has_accepted_license":"1","oa":1,"dataavailabilitystatement":"Raw EM data are available at the EMPIAR under accession code EMPIAR: EMPIAR-11830. Annotation and processing information for all 1,829 tomograms are provided in spreadsheet format.153 The following subtomogram averages have been deposited at the Electron Microscopy Data Bank (EMDB): 80S ribosome (EMDB: EMD-51847), nucleosome (EMDB: EMD-19906), PSII (EMDB: EMD-51731), Rubisco (EMDB: EMD-51848), microtubule (EMDB: EMD-51804), clathrin (EMDB: EMD-51789), and ATP synthase (EMDB: EMD-51802). Segmentations shown in Figures 2 and 3 are deposited on Zenodo (https://doi.org/10.5281/zenodo.15875785). Particle positions and orientations used for STA, along with all resources derived from this work, are available on GitHub (https://github.com/Chromatin-Structure-Rhythms-Lab/ChlamyAnnotations). Reconstructed tomograms and annotations are also available to explore interactively at the CZII Cryo-ET Data Portal (DS-10302, https://cryoetdataportal.czscience.com/datasets/10302/). Raw data for cryo-PFIB/SEM slice-and-view of a whole C. reinhardtii cell has also been deposited (EMPIAR: EMPIAR-11275).\r\n\r\nThis paper does not report original code.\r\n\r\nAny additional information required to reanalyze the data reported in this paper is available from the lead contact upon request.","_id":"20935","abstract":[{"lang":"eng","text":"In situ cryo-electron tomography (cryo-ET) has emerged as the method of choice to investigate the structures of biomolecules in their native context. However, challenges remain for the efficient production and sharing of large-scale cryo-ET datasets. Here, we combined cryogenic plasma-based focused ion beam (cryo-PFIB) milling with recent advances in cryo-ET acquisition and processing to generate a dataset of 1,829 annotated tomograms of the green alga Chlamydomonas reinhardtii, which we provide as a community resource to drive method development and inspire biological discovery. To assay data quality, we performed subtomogram averaging of both soluble and membrane-bound complexes ranging in size from >3 MDa to ∼200 kDa, including 80S ribosomes, Rubisco, nucleosomes, microtubules, clathrin, photosystem II, and mitochondrial ATP synthase. The majority of these density maps reached sub-nanometer resolution, demonstrating the potential of this C. reinhardtii dataset as well as the promise of modern cryo-ET workflows and open data sharing to empower visual proteomics."}],"status":"public","PlanS_conform":"1","article_type":"original","scopus_import":"1","doi":"10.1016/j.molcel.2025.11.029","title":"Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii","author":[{"last_name":"Kelley","full_name":"Kelley, Ron","first_name":"Ron"},{"last_name":"Khavnekar","full_name":"Khavnekar, Sagar","first_name":"Sagar"},{"first_name":"Ricardo D.","last_name":"Righetto","full_name":"Righetto, Ricardo D."},{"first_name":"Jessica","last_name":"Heebner","full_name":"Heebner, Jessica"},{"orcid":"0000-0003-1756-6564","first_name":"Martin","id":"4741CA5A-F248-11E8-B48F-1D18A9856A87","last_name":"Obr","full_name":"Obr, Martin"},{"full_name":"Zhang, Xianjun","last_name":"Zhang","first_name":"Xianjun"},{"full_name":"Chakraborty, Saikat","last_name":"Chakraborty","first_name":"Saikat"},{"first_name":"Grigory","full_name":"Tagiltsev, Grigory","last_name":"Tagiltsev"},{"full_name":"Michael, Alicia","last_name":"Michael","id":"6437c950-2a03-11ee-914d-d6476dd7b75c","first_name":"Alicia","orcid":"0000-0002-6080-839X"},{"full_name":"Van Dorst, Sofie","last_name":"Van Dorst","first_name":"Sofie"},{"last_name":"Waltz","full_name":"Waltz, Florent","first_name":"Florent"},{"last_name":"Mccafferty","full_name":"Mccafferty, Caitlyn L.","first_name":"Caitlyn L."},{"last_name":"Lamm","full_name":"Lamm, Lorenz","first_name":"Lorenz"},{"last_name":"Zufferey","full_name":"Zufferey, Simon","first_name":"Simon"},{"first_name":"Philippe","last_name":"Van Der Stappen","full_name":"Van Der Stappen, Philippe"},{"full_name":"Van Den Hoek, Hugo","last_name":"Van Den Hoek","first_name":"Hugo"},{"first_name":"Wojciech","full_name":"Wietrzynski, Wojciech","last_name":"Wietrzynski"},{"orcid":"0000-0001-5206-1794","first_name":"Pavol","id":"e03d953a-6e8c-11ef-99e4-f0717d385cd5","last_name":"Harar","full_name":"Harar, Pavol"},{"first_name":"William","full_name":"Wan, William","last_name":"Wan"},{"full_name":"Briggs, John A.G.","last_name":"Briggs","first_name":"John A.G."},{"first_name":"Jürgen M.","full_name":"Plitzko, Jürgen M.","last_name":"Plitzko"},{"last_name":"Engel","full_name":"Engel, Benjamin D.","first_name":"Benjamin D."},{"full_name":"Kotecha, Abhay","last_name":"Kotecha","first_name":"Abhay"}],"page":"213-230.e7","day":"08","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"1","month":"01","article_processing_charge":"Yes (in subscription journal)","file_date_updated":"2026-07-28T07:38:45Z","supplementarymaterial":"yes","fulldoi":"https://doi.org/10.1016/j.molcel.2025.11.029","OA_place":"publisher","year":"2026","intvolume":"        86"},{"OA_type":"green","researchdata_availability":"upon request","publication":"Molecular Therapy","main_file_link":[{"url":"https://doi.org/10.1101/2025.05.05.652195","open_access":"1"}],"oa_version":"Preprint","type":"journal_article","external_id":{"biorxivid":["10.1101/2025.05.05.652195"]},"publication_status":"published","citation":{"chicago":"Rica, Ramona, Klara Klein, Litty Johnson, Gabriele Carta, Mirza Sarcevic, Freyja Langer, Christoph Rademacher, Robert Wawrzinek, Federica Quattrone, and Florian Sparber. “Langerhans Cell-Targeted Protein Delivery Enhances Antigen-Specific Cellular Immune Response.” <i>Molecular Therapy</i>. Elsevier, 2026. <a href=\"https://doi.org/10.1016/j.ymthe.2025.10.008\">https://doi.org/10.1016/j.ymthe.2025.10.008</a>.","ama":"Rica R, Klein K, Johnson L, et al. Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response. <i>Molecular Therapy</i>. 2026;34(1):397-406. doi:<a href=\"https://doi.org/10.1016/j.ymthe.2025.10.008\">10.1016/j.ymthe.2025.10.008</a>","ieee":"R. Rica <i>et al.</i>, “Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response,” <i>Molecular Therapy</i>, vol. 34, no. 1. Elsevier, pp. 397–406, 2026.","apa":"Rica, R., Klein, K., Johnson, L., Carta, G., Sarcevic, M., Langer, F., … Sparber, F. (2026). Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response. <i>Molecular Therapy</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ymthe.2025.10.008\">https://doi.org/10.1016/j.ymthe.2025.10.008</a>","mla":"Rica, Ramona, et al. “Langerhans Cell-Targeted Protein Delivery Enhances Antigen-Specific Cellular Immune Response.” <i>Molecular Therapy</i>, vol. 34, no. 1, Elsevier, 2026, pp. 397–406, doi:<a href=\"https://doi.org/10.1016/j.ymthe.2025.10.008\">10.1016/j.ymthe.2025.10.008</a>.","ista":"Rica R, Klein K, Johnson L, Carta G, Sarcevic M, Langer F, Rademacher C, Wawrzinek R, Quattrone F, Sparber F. 2026. Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response. Molecular Therapy. 34(1), 397–406.","short":"R. Rica, K. Klein, L. Johnson, G. Carta, M. Sarcevic, F. Langer, C. Rademacher, R. Wawrzinek, F. Quattrone, F. Sparber, Molecular Therapy 34 (2026) 397–406."},"language":[{"iso":"eng"}],"date_created":"2025-12-28T23:01:26Z","acknowledgement":"This project was generously supported by Seedfinancing (grant no. P2282679) of the Austrian Bundesministerium für Digitalisierung und Wirtschaftsstandort and the Bundesministerium für Klimaschutz, Umwelt, Energie, Mobilität, Innovation, und Technologie, handled by the Austrian Wirtschaftsservice (aws), as well as by Life Science Call 2022 (grant no. FO999896442) of the Austrian Research Promotion Agency (FFG). We thank Mag. Michael Schunn from the PCF of the Institute of Science and Technology Austria for his continuous technical support.","volume":34,"date_updated":"2026-07-28T07:37:08Z","publisher":"Elsevier","publication_identifier":{"eissn":["1525-0024"],"issn":["1525-0016"]},"intvolume":"        34","year":"2026","fulldoi":"https://doi.org/10.1016/j.ymthe.2025.10.008","OA_place":"repository","supplementarymaterial":"yes","article_processing_charge":"No","biorxivid":1,"month":"01","issue":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Rica, Ramona","last_name":"Rica","first_name":"Ramona"},{"first_name":"Klara","last_name":"Klein","full_name":"Klein, Klara"},{"full_name":"Johnson, Litty","last_name":"Johnson","first_name":"Litty"},{"full_name":"Carta, Gabriele","last_name":"Carta","first_name":"Gabriele"},{"first_name":"Mirza","full_name":"Sarcevic, Mirza","last_name":"Sarcevic"},{"last_name":"Langer","id":"3C1BE782-F248-11E8-B48F-1D18A9856A87","full_name":"Langer, Freyja","first_name":"Freyja"},{"last_name":"Rademacher","full_name":"Rademacher, Christoph","first_name":"Christoph"},{"last_name":"Wawrzinek","full_name":"Wawrzinek, Robert","first_name":"Robert"},{"first_name":"Federica","full_name":"Quattrone, Federica","last_name":"Quattrone"},{"first_name":"Florian","full_name":"Sparber, Florian","last_name":"Sparber"}],"day":"07","page":"397-406","title":"Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response","doi":"10.1016/j.ymthe.2025.10.008","article_type":"original","scopus_import":"1","_id":"20858","abstract":[{"text":"Targeted antigen delivery to immune cells, particularly dendritic cells, has emerged as a promising strategy to enhance therapeutic efficacy of vaccines, while minimizing adverse effects associated with conventional immunization. In this study, we use our previously described small glycomimetic molecule that is selectively recognized by the Langerhans cell (LC)-specific surface receptor Langerin and demonstrate specific delivery of protein antigens to these specialized dendritic cells. Our results show that Langerin-mediated antigen delivery significantly enhances the immune response in vivo, resulting in increased expansion and activation of antigen-specific T cells, compared to immunization with unmodified antigen. We demonstrate the feasibility of our LC-targeted platform for immune cell-specific immunization with protein antigen and underscore the potential of LCs as an access point for next-generation vaccines and immunotherapies.","lang":"eng"}],"status":"public","dataavailabilitystatement":"The data that support the findings of this study are available on request from the corresponding authors.","oa":1,"department":[{"_id":"PreCl"}],"date_published":"2026-01-07T00:00:00Z","quality_controlled":"1"},{"_id":"20537","status":"public","abstract":[{"lang":"eng","text":"In this personal account, I describe the work performed in my research group on the development of methods that harness heterogeneous photocatalysts for light-mediated nickel-catalyzed cross-couplings. This includes catalytic systems using carbon nitride materials, dye-sensitized TiO₂, covalent organic frameworks (COFs), and conjugated polymers. The rationale behind the selection of materials and how their use led to the identification of catalyst deactivation, structure–activity relationships, and future opportunities is discussed."}],"scopus_import":"1","article_type":"original","doi":"10.1055/a-2690-9269","title":"Photochemical cross-couplings using semiconducting materials","date_published":"2026-01-01T00:00:00Z","quality_controlled":"1","department":[{"_id":"BaPi"}],"corr_author":"1","year":"2026","intvolume":"        37","author":[{"first_name":"Bartholomäus","last_name":"Pieber","id":"93e5e5b2-0da6-11ed-8a41-af589a024726","full_name":"Pieber, Bartholomäus","orcid":"0000-0001-8689-388X"}],"day":"01","page":"43-54","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"1","month":"01","article_processing_charge":"No","isi":1,"fulldoi":"https://doi.org/10.1055/a-2690-9269","das_tickbox":"1","date_updated":"2026-07-28T07:42:47Z","volume":37,"publication_identifier":{"issn":["0936-5214"],"eissn":["1437-2096"]},"publisher":"Georg Thieme Verlag","external_id":{"isi":["001582268500001"]},"publication_status":"published","type":"journal_article","oa_version":"None","publication":"Synlett","OA_type":"closed access","date_created":"2025-10-26T23:01:35Z","language":[{"iso":"eng"}],"citation":{"mla":"Pieber, Bartholomäus. “Photochemical Cross-Couplings Using Semiconducting Materials.” <i>Synlett</i>, vol. 37, no. 1, Georg Thieme Verlag, 2026, pp. 43–54, doi:<a href=\"https://doi.org/10.1055/a-2690-9269\">10.1055/a-2690-9269</a>.","short":"B. Pieber, Synlett 37 (2026) 43–54.","ista":"Pieber B. 2026. Photochemical cross-couplings using semiconducting materials. Synlett. 37(1), 43–54.","ama":"Pieber B. Photochemical cross-couplings using semiconducting materials. <i>Synlett</i>. 2026;37(1):43-54. doi:<a href=\"https://doi.org/10.1055/a-2690-9269\">10.1055/a-2690-9269</a>","chicago":"Pieber, Bartholomäus. “Photochemical Cross-Couplings Using Semiconducting Materials.” <i>Synlett</i>. Georg Thieme Verlag, 2026. <a href=\"https://doi.org/10.1055/a-2690-9269\">https://doi.org/10.1055/a-2690-9269</a>.","apa":"Pieber, B. (2026). Photochemical cross-couplings using semiconducting materials. <i>Synlett</i>. Georg Thieme Verlag. <a href=\"https://doi.org/10.1055/a-2690-9269\">https://doi.org/10.1055/a-2690-9269</a>","ieee":"B. Pieber, “Photochemical cross-couplings using semiconducting materials,” <i>Synlett</i>, vol. 37, no. 1. Georg Thieme Verlag, pp. 43–54, 2026."}},{"project":[{"name":"Prix Lopez-Loretta 2019 - Marco Mondelli","_id":"059876FA-7A3F-11EA-A408-12923DDC885E"},{"grant_number":"101161364","_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf","name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits"},{"grant_number":"PCEGP3_181181","name":"Improving estimation and prediction of common complex disease risk","_id":"9B8D11D6-BA93-11EA-9121-9846C619BF3A"}],"corr_author":"1","department":[{"_id":"GradSch"},{"_id":"MaRo"},{"_id":"MaMo"}],"supervisor":[{"orcid":"0000-0001-8982-8813","first_name":"Matthew Richard","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","last_name":"Robinson","full_name":"Robinson, Matthew Richard"},{"orcid":"0000-0002-3242-7020","first_name":"Marco","full_name":"Mondelli, Marco","last_name":"Mondelli","id":"27EB676C-8706-11E9-9510-7717E6697425"}],"file":[{"checksum":"9ab386790515628d957a194f30a7ccb4","file_size":25109878,"access_level":"open_access","date_updated":"2026-07-13T14:52:19Z","content_type":"application/pdf","creator":"adepope","file_id":"22316","date_created":"2026-07-13T14:52:19Z","relation":"main_file","file_name":"2026_Depope_Al_Thesis.pdf"},{"checksum":"8ed8fb63f76a695d5b6fec35343f4b90","date_updated":"2026-07-13T14:56:41Z","file_size":1203199939,"access_level":"closed","content_type":"application/zip","file_id":"22317","creator":"adepope","date_created":"2026-07-13T14:56:41Z","relation":"source_file","file_name":"2026_Depope_Al_Thesis.zip"}],"date_published":"2026-07-11T00:00:00Z","doi_confirm":"1","oa":1,"has_accepted_license":"1","abstract":[{"lang":"eng","text":"Uncovering the genetic architecture of complex traits and pinpointing causal molecular drivers require the ability to distinguish true signals from noise within massive, high-dimensional omics datasets. To extract meaningful biological insights from these datasets, such as identifying causal genetic variants and proteins, scalable and accurate inference methods are essential. To this end, this thesis develops novel Bayesian inference frameworks based on Vector Approximate Message Passing and demonstrates their effectiveness in the modeling of disease onset times and quantitative physical and clinical measures.\r\n\r\nFirst, we introduce gVAMP, a Bayesian framework tailored for Genome-Wide Association Studies that enables the joint modeling of quantitative complex traits across millions of genetic variants. gVAMP demonstrates superior accuracy in variable selection and out-of-sample polygenic risk prediction compared to state-of-the-art approaches. We model human height using 17 million whole-genome sequence variants from the UK Biobank, incorporating a vast number of rare variants and revealing novel associations. gVAMP achieves a prediction accuracy of approximately 46% for human height, representing the highest reported performance for this trait to date. \r\n\r\nSecond, we present vampW, a Bayesian framework for survival analysis applied to proteomic data. By effectively handling right-censoring and complex protein dependencies within the UK Biobank Pharma Proteomics Project dataset, vampW identifies 219 protein associations across 24 disease outcomes, the majority of which are not among the top marginal discoveries. We further adjust protein levels for exponential age effects, yielding 1,308 associations and highlighting the sensitivity of the analysis to the chosen age-correction methodology. Finally, vampW improves upon the variable selection capabilities of the commonly used (penalized) variants of the Cox proportional hazards model and delivers state-of-the-art out-of-sample prediction of disease onset times.\r\n\r\nCollectively, these methods provide powerful tools for dissecting the genetic architecture of complex traits and the proteomic drivers of disease onset. Furthermore, by delivering accurate polygenic risk scores and precise predictions of onset times, this work advances the capabilities of personalized medicine and clinical risk stratification."}],"_id":"22258","status":"public","title":"From sparse selection to risk prediction: Approximate message passing for proteomic survival models and large-scale genomics","doi":"10.15479/AT-ISTA-22258","month":"07","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","page":"169","author":[{"id":"0b77531d-dbcd-11ea-9d1d-a8eee0bf3830","last_name":"Depope","full_name":"Depope, Al","first_name":"Al"}],"day":"11","OA_place":"publisher","fulldoi":"https://doi.org/10.15479/AT-ISTA-22258","degree_awarded":"PhD","file_date_updated":"2026-07-13T14:56:41Z","article_processing_charge":"No","year":"2026","keyword":["Approximate Message Passing","GWAS","Genomics","Proteomics","Survival modeling"],"acknowledged_ssus":[{"_id":"ScienComp"}],"publisher":"Institute of Science and Technology Austria","alternative_title":["ISTA Thesis"],"publication_identifier":{"issn":["2663-337X"]},"ddc":["576","610","006"],"date_updated":"2026-07-28T07:08:15Z","related_material":{"record":[{"relation":"part_of_dissertation","id":"21488","status":"public"}]},"das_tickbox":"1","acknowledgement":"This work was supported in part by the Swiss National Science Foundation through the\r\nEccellenza Grant \"Improving estimation and prediction of common complex disease risk\"\r\n(grant number PCEGP3_181181); the European Research Council through the grant\r\n\"Inference in High Dimensions: Light-speed Algorithms and Information Limits\" (grant\r\nnumber 101161364); and the Fondation Jean-Jacques et Felicia Lopez-Loreta through the\r\nPrix Lopez-Loretta 2019.\r\n","date_created":"2026-07-10T13:27:20Z","citation":{"ista":"Depope A. 2026. From sparse selection to risk prediction: Approximate message passing for proteomic survival models and large-scale genomics. Institute of Science and Technology Austria.","short":"A. Depope, From Sparse Selection to Risk Prediction: Approximate Message Passing for Proteomic Survival Models and Large-Scale Genomics, Institute of Science and Technology Austria, 2026.","mla":"Depope, Al. <i>From Sparse Selection to Risk Prediction: Approximate Message Passing for Proteomic Survival Models and Large-Scale Genomics</i>. Institute of Science and Technology Austria, 2026, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-22258\">10.15479/AT-ISTA-22258</a>.","ieee":"A. Depope, “From sparse selection to risk prediction: Approximate message passing for proteomic survival models and large-scale genomics,” Institute of Science and Technology Austria, 2026.","apa":"Depope, A. (2026). <i>From sparse selection to risk prediction: Approximate message passing for proteomic survival models and large-scale genomics</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-22258\">https://doi.org/10.15479/AT-ISTA-22258</a>","chicago":"Depope, Al. “From Sparse Selection to Risk Prediction: Approximate Message Passing for Proteomic Survival Models and Large-Scale Genomics.” Institute of Science and Technology Austria, 2026. <a href=\"https://doi.org/10.15479/AT-ISTA-22258\">https://doi.org/10.15479/AT-ISTA-22258</a>.","ama":"Depope A. From sparse selection to risk prediction: Approximate message passing for proteomic survival models and large-scale genomics. 2026. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-22258\">10.15479/AT-ISTA-22258</a>"},"language":[{"iso":"eng"}],"type":"dissertation","publication_status":"published","oa_version":"Published Version"},{"DOAJ_listed":"1","ddc":["000","570"],"publication_identifier":{"eissn":["2666-979X"]},"publisher":"Elsevier","volume":6,"acknowledgement":"We thank Malgorzata Borczyk for creating the gene burden scores. We thank Robin Beaumont, Amedeo Roberto Esposito, Gareth Hawkes, Philip Schniter, Matthew Stephens, Pragya Sur, Peter Visscher, Michael Weedon, and Harry Wright for providing valuable suggestions and comments on earlier versions of the work. This project was funded by a Lopez-Loreta Prize to M.M., an SNSF Eccellenza Grant to M.R.R. (PCEGP3-181181), an ERC Starting Grant to M.M. (INF2, project number 101161364), and core funding from ISTA. High-performance computing was supported by the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp). We would like to acknowledge the participants and investigators of the UK Biobank study. We gratefully acknowledge the All of Us participants for their contributions, without whom this research would not have been possible. We also thank the National Institutes of Health All of Us Research Program for making available the participant data (and/or samples and/or cohort) examined in this study.","das_tickbox":"1","date_updated":"2026-07-28T07:08:15Z","related_material":{"link":[{"url":"https://ista.ac.at/en/news/big-data-and-human-height/","description":"News on ISTA website","relation":"press_release"}],"record":[{"id":"22258","status":"public","relation":"dissertation_contains"}]},"language":[{"iso":"eng"}],"citation":{"ieee":"A. Depope, J. Bajzik, M. Mondelli, and M. R. Robinson, “Joint modeling of whole-genome sequencing data for human height via approximate message passing,” <i>Cell Genomics</i>, vol. 6, no. 5. Elsevier, 2026.","apa":"Depope, A., Bajzik, J., Mondelli, M., &#38; Robinson, M. R. (2026). Joint modeling of whole-genome sequencing data for human height via approximate message passing. <i>Cell Genomics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.xgen.2026.101162\">https://doi.org/10.1016/j.xgen.2026.101162</a>","chicago":"Depope, Al, Jakub Bajzik, Marco Mondelli, and Matthew Richard Robinson. “Joint Modeling of Whole-Genome Sequencing Data for Human Height via Approximate Message Passing.” <i>Cell Genomics</i>. Elsevier, 2026. <a href=\"https://doi.org/10.1016/j.xgen.2026.101162\">https://doi.org/10.1016/j.xgen.2026.101162</a>.","ama":"Depope A, Bajzik J, Mondelli M, Robinson MR. Joint modeling of whole-genome sequencing data for human height via approximate message passing. <i>Cell Genomics</i>. 2026;6(5). doi:<a href=\"https://doi.org/10.1016/j.xgen.2026.101162\">10.1016/j.xgen.2026.101162</a>","ista":"Depope A, Bajzik J, Mondelli M, Robinson MR. 2026. Joint modeling of whole-genome sequencing data for human height via approximate message passing. Cell Genomics. 6(5), 101162.","short":"A. Depope, J. Bajzik, M. Mondelli, M.R. Robinson, Cell Genomics 6 (2026).","mla":"Depope, Al, et al. “Joint Modeling of Whole-Genome Sequencing Data for Human Height via Approximate Message Passing.” <i>Cell Genomics</i>, vol. 6, no. 5, 101162, Elsevier, 2026, doi:<a href=\"https://doi.org/10.1016/j.xgen.2026.101162\">10.1016/j.xgen.2026.101162</a>."},"article_number":"101162","date_created":"2026-03-23T15:10:03Z","OA_type":"gold","researchdata_availability":"yes","publication":"Cell Genomics","oa_version":"Published Version","external_id":{"pmid":["41713425"]},"publication_status":"published","type":"journal_article","tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"has_accepted_license":"1","oa":1,"file":[{"date_created":"2026-07-28T07:06:26Z","relation":"main_file","success":1,"file_name":"2026_CellGenomics_Depope.pdf","checksum":"6b59686f8d9733add4f23d23f3dd9df0","date_updated":"2026-07-28T07:06:26Z","access_level":"open_access","file_size":3736705,"content_type":"application/pdf","file_id":"22596","creator":"dernst"}],"quality_controlled":"1","date_published":"2026-05-13T00:00:00Z","project":[{"_id":"059876FA-7A3F-11EA-A408-12923DDC885E","name":"Prix Lopez-Loretta 2019 - Marco Mondelli"},{"_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf","name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits","grant_number":"101161364"},{"_id":"9B8D11D6-BA93-11EA-9121-9846C619BF3A","name":"Improving estimation and prediction of common complex disease risk","grant_number":"PCEGP3_181181"}],"corr_author":"1","department":[{"_id":"MaMo"},{"_id":"MaRo"}],"doi":"10.1016/j.xgen.2026.101162","pmid":1,"title":"Joint modeling of whole-genome sequencing data for human height via approximate message passing","abstract":[{"text":"Human height is a model for the genetic analysis of complex traits, and recent studies suggest the presence of thousands of common genetic variant associations and hundreds of low-frequency/rare variants. Here, we develop a new algorithmic paradigm based on approximate message passing (genomic vector approximate message passing [gVAMP]) for identifying DNA sequence variants associated with complex traits and common diseases in large-scale whole-genome sequencing (WGS) data. We show that gVAMP accurately localizes associations to variants with the correct frequency and position in the DNA, outperforming existing fine-mapping methods in selecting the appropriate genetic variants within WGS data. We then apply gVAMP to jointly model the relationship of tens of millions of WGS variants with human height in hundreds of thousands of UK Biobank individuals. We identify 59 rare variants and gene burden scores alongside many hundreds of DNA regions containing common variant associations and show that understanding the genetic basis of complex traits will require the joint analysis of hundreds of millions of variables measured on millions of people. The polygenic risk scores obtained from gVAMP have high accuracy (including a prediction accuracy of ∼46% for human height) and outperform current methods for downstream tasks such as mixed linear model association testing across 13 UK Biobank traits. In conclusion, gVAMP offers a scalable foundation for a wider range of analyses in WGS data.","lang":"eng"}],"_id":"21488","status":"public","dataavailabilitystatement":"This project uses the UK Biobank data under project number 35520. UK Biobank genotypic and phenotypic data are available through a formal request at http://www.ukbiobank.ac.uk. It also uses genotypic and phenotypic data from the All of Us study, which are also available through a formal request at https://www.researchallofus.org/data-tools/data-access/. All summary statistic estimates are released publicly on Dryad: https://doi.org/10.5061/dryad.cz8w9gjjc.\r\n•\r\nThe gVAMP code developed in this work is open source and has been deposited on GitHub, where it is publicly available at https://github.com/medical-genomics-group/gVAMP, and the code used to generate the data in the manuscript are available from Zenodo https://doi.org/10.5281/zenodo.17935521. The URLs of other software used are listed in the key resources table.","scopus_import":"1","article_type":"original","supplementarymaterial":"yes","file_date_updated":"2026-07-28T07:06:26Z","article_processing_charge":"Yes","fulldoi":"https://doi.org/10.1016/j.xgen.2026.101162","OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"13","author":[{"full_name":"Depope, Al","id":"0b77531d-dbcd-11ea-9d1d-a8eee0bf3830","last_name":"Depope","first_name":"Al"},{"first_name":"Jakub","full_name":"Bajzik, Jakub","last_name":"Bajzik","id":"b995e25b-8c4b-11ed-a6d8-f71b7bcd6122"},{"orcid":"0000-0002-3242-7020","full_name":"Mondelli, Marco","id":"27EB676C-8706-11E9-9510-7717E6697425","last_name":"Mondelli","first_name":"Marco"},{"first_name":"Matthew Richard","full_name":"Robinson, Matthew Richard","last_name":"Robinson","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","orcid":"0000-0001-8982-8813"}],"month":"05","issue":"5","intvolume":"         6","year":"2026"},{"ddc":["570"],"publisher":"Elsevier","publication_identifier":{"issn":["0960-9822"],"eissn":["1879-0445"]},"acknowledgement":"We thank Itai Reiger for their assistance with experiments. We thank Cori Bargmann (Rockefeller University) for providing introgressed strains carrying HW alleles of npr-1 and glb-5. Some graphics were created with Biorender.com. We are grateful to WormBase for providing valuable data and resources. Some strains were provided by the Caenorhabditis Genetics Center (CGC), which is funded by NIH Office of Research Infrastructure Programs (P40 OD010440). O.R. is grateful for the support of the Morris Kahn Foundation. C.K.E. was supported by an EMBO fellowship ALTF 6-2022. This work is funded by Eric and Wendy Schmidt Fund for Strategic Innovation Polymath Award 0140001000 (O.R.); European Research Council grant 335624 (O.R.); Israel Science Foundation 979/21 (Y.B.T.); and the US-Israel Binational Science Foundation 2023036 (Y.B.T.).","volume":36,"date_updated":"2026-07-28T07:32:06Z","das_tickbox":"1","citation":{"mla":"Ewe, Chee Kiang, et al. “Neuronal RNAi and Oxygen-Sensing Circuit Shape Germline Resilience to Heat Stress.” <i>Current Biology</i>, vol. 36, no. 14, Elsevier, 2026, p. 3566–3579.e5, doi:<a href=\"https://doi.org/10.1016/j.cub.2026.06.016\">10.1016/j.cub.2026.06.016</a>.","ista":"Ewe CK, Achache H, Schön H, Kontorovich L, Teichman G, Weiss S, Mogilevskaya A, Valenski M, Anava S, Bardapurkar R, Gingold H, Posner R, Antonova O, de Bono M, Tzur YB, Rechavi O. 2026. Neuronal RNAi and oxygen-sensing circuit shape germline resilience to heat stress. Current Biology. 36(14), 3566–3579.e5.","short":"C.K. Ewe, H. Achache, H. Schön, L. Kontorovich, G. Teichman, S. Weiss, A. Mogilevskaya, M. Valenski, S. Anava, R. Bardapurkar, H. Gingold, R. Posner, O. Antonova, M. de Bono, Y.B. Tzur, O. Rechavi, Current Biology 36 (2026) 3566–3579.e5.","chicago":"Ewe, Chee Kiang, Hanna Achache, Hanna Schön, Leonid Kontorovich, Guy Teichman, Shir Weiss, Anna Mogilevskaya, et al. “Neuronal RNAi and Oxygen-Sensing Circuit Shape Germline Resilience to Heat Stress.” <i>Current Biology</i>. Elsevier, 2026. <a href=\"https://doi.org/10.1016/j.cub.2026.06.016\">https://doi.org/10.1016/j.cub.2026.06.016</a>.","ama":"Ewe CK, Achache H, Schön H, et al. Neuronal RNAi and oxygen-sensing circuit shape germline resilience to heat stress. <i>Current Biology</i>. 2026;36(14):3566-3579.e5. doi:<a href=\"https://doi.org/10.1016/j.cub.2026.06.016\">10.1016/j.cub.2026.06.016</a>","ieee":"C. K. Ewe <i>et al.</i>, “Neuronal RNAi and oxygen-sensing circuit shape germline resilience to heat stress,” <i>Current Biology</i>, vol. 36, no. 14. Elsevier, p. 3566–3579.e5, 2026.","apa":"Ewe, C. K., Achache, H., Schön, H., Kontorovich, L., Teichman, G., Weiss, S., … Rechavi, O. (2026). Neuronal RNAi and oxygen-sensing circuit shape germline resilience to heat stress. <i>Current Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cub.2026.06.016\">https://doi.org/10.1016/j.cub.2026.06.016</a>"},"language":[{"iso":"eng"}],"date_created":"2026-07-12T22:02:18Z","publication":"Current Biology","OA_type":"hybrid","researchdata_availability":"upon request","oa_version":"Published Version","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"external_id":{"pmid":["42409014"]},"publication_status":"published","oa":1,"has_accepted_license":"1","department":[{"_id":"MaDe"}],"quality_controlled":"1","date_published":"2026-07-20T00:00:00Z","file":[{"success":1,"file_name":"2026_CurrentBiology_KiangEwe.pdf","relation":"main_file","date_created":"2026-07-28T07:31:44Z","creator":"dernst","file_id":"22598","content_type":"application/pdf","file_size":6795092,"access_level":"open_access","date_updated":"2026-07-28T07:31:44Z","checksum":"5ec4472d81fd44de03ccb92b1eb690a6"}],"pmid":1,"title":"Neuronal RNAi and oxygen-sensing circuit shape germline resilience to heat stress","doi":"10.1016/j.cub.2026.06.016","scopus_import":"1","article_type":"original","status":"public","_id":"22267","abstract":[{"lang":"eng","text":"Thermal pollution, whether local or driven by global warming, threatens biodiversity in part through its detrimental effects on reproduction. Non-coding small RNAs (sRNAs) are crucial for maintaining germline developmental robustness under heat stress. Remarkably, we uncovered that neuronal sRNAs regulate germ cells’ thermotolerance, affecting both spermatogenic and oogenic germlines in a cell-non-autonomous manner. Furthermore, we demonstrate that, in RNAi mutants, an oxygen-sensing neural circuit, modulated by neuropeptide signaling, antagonizes germline maintenance, likely reflecting the nematode’s innate association of reduced oxygen levels with food availability and reproductive permissive environments. Finally, we provide evidence that laboratory-domesticated alleles of oxygen-response genes encoding neuropeptide receptor NPR-1 and hexacoordinated globin GLB-5 compromise germline thermotolerance. Hence, our findings raise the possibility that sensory perception, independent of direct environmental change, modulates germline integrity, highlighting a novel mechanism by which neural circuits integrate environmental information to safeguard reproductive fitness in fluctuating environments."}],"dataavailabilitystatement":"* All NGS data are available through GEO under accession number GSE331410.\r\n* This paper does not report original code.\r\n* Any additional information required to reanalyze the data reported in this paper is available from the lead contact upon request.","OA_place":"publisher","fulldoi":"https://doi.org/10.1016/j.cub.2026.06.016","supplementarymaterial":"yes","file_date_updated":"2026-07-28T07:31:44Z","article_processing_charge":"Yes (in subscription journal)","month":"07","issue":"14","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"20","author":[{"last_name":"Ewe","full_name":"Ewe, Chee Kiang","first_name":"Chee Kiang"},{"first_name":"Hanna","last_name":"Achache","full_name":"Achache, Hanna"},{"first_name":"Hanna","full_name":"Schön, Hanna","last_name":"Schön","id":"C8E17EDC-D7AA-11E9-B7B7-45ECE5697425"},{"first_name":"Leonid","full_name":"Kontorovich, Leonid","last_name":"Kontorovich"},{"first_name":"Guy","last_name":"Teichman","full_name":"Teichman, Guy"},{"first_name":"Shir","last_name":"Weiss","full_name":"Weiss, Shir"},{"last_name":"Mogilevskaya","full_name":"Mogilevskaya, Anna","first_name":"Anna"},{"first_name":"Myriam","full_name":"Valenski, Myriam","last_name":"Valenski"},{"full_name":"Anava, Sarit","last_name":"Anava","first_name":"Sarit"},{"first_name":"Rutwik","full_name":"Bardapurkar, Rutwik","last_name":"Bardapurkar"},{"full_name":"Gingold, Hila","last_name":"Gingold","first_name":"Hila"},{"last_name":"Posner","full_name":"Posner, Rachel","first_name":"Rachel"},{"last_name":"Antonova","full_name":"Antonova, Olga","first_name":"Olga"},{"last_name":"De Bono","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","full_name":"De Bono, Mario","first_name":"Mario","orcid":"0000-0001-8347-0443"},{"first_name":"Yonatan B.","last_name":"Tzur","full_name":"Tzur, Yonatan B."},{"first_name":"Oded","last_name":"Rechavi","full_name":"Rechavi, Oded"}],"page":"3566-3579.e5","intvolume":"        36","year":"2026"},{"publisher":"American Chemical Society","publication_identifier":{"issn":["1530-6984"],"eissn":["1530-6992"]},"ddc":["540"],"date_updated":"2026-07-28T09:57:28Z","das_tickbox":"1","acknowledgement":"This work was supported primarily by the Institute of Science and Technology Austria. L.V. was supported in part by the National Science Foundation (No. NSF-DMR 2241180). Z.-F.L. was supported by an NSF CAREER Award, No. DMR-2044552 and an Alfred P. Sloan Research Fellowship, No. FG-2024-21750.","volume":26,"date_created":"2026-06-10T07:27:19Z","citation":{"apa":"Gulyaev, A., Hazarika, J., Liu, Z.-F., &#38; Venkataraman, L. (2026). A computationally efficient and accurate method for predicting conductance of single-molecule junctions. <i>Nano Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acs.nanolett.6c01462\">https://doi.org/10.1021/acs.nanolett.6c01462</a>","ieee":"A. Gulyaev, J. Hazarika, Z.-F. Liu, and L. Venkataraman, “A computationally efficient and accurate method for predicting conductance of single-molecule junctions,” <i>Nano Letters</i>, vol. 26, no. 22. American Chemical Society, pp. 7429–7434, 2026.","ama":"Gulyaev A, Hazarika J, Liu Z-F, Venkataraman L. A computationally efficient and accurate method for predicting conductance of single-molecule junctions. <i>Nano Letters</i>. 2026;26(22):7429–7434. doi:<a href=\"https://doi.org/10.1021/acs.nanolett.6c01462\">10.1021/acs.nanolett.6c01462</a>","chicago":"Gulyaev, Artem, Jyotisman Hazarika, Zhen-Fei Liu, and Latha Venkataraman. “A Computationally Efficient and Accurate Method for Predicting Conductance of Single-Molecule Junctions.” <i>Nano Letters</i>. American Chemical Society, 2026. <a href=\"https://doi.org/10.1021/acs.nanolett.6c01462\">https://doi.org/10.1021/acs.nanolett.6c01462</a>.","short":"A. Gulyaev, J. Hazarika, Z.-F. Liu, L. Venkataraman, Nano Letters 26 (2026) 7429–7434.","ista":"Gulyaev A, Hazarika J, Liu Z-F, Venkataraman L. 2026. A computationally efficient and accurate method for predicting conductance of single-molecule junctions. Nano Letters. 26(22), 7429–7434.","mla":"Gulyaev, Artem, et al. “A Computationally Efficient and Accurate Method for Predicting Conductance of Single-Molecule Junctions.” <i>Nano Letters</i>, vol. 26, no. 22, American Chemical Society, 2026, pp. 7429–7434, doi:<a href=\"https://doi.org/10.1021/acs.nanolett.6c01462\">10.1021/acs.nanolett.6c01462</a>."},"language":[{"iso":"eng"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"chemrxivid":1,"type":"journal_article","external_id":{"chemrxivid":["10.26434/chemrxiv.15001696"],"pmid":["42223342"]},"publication_status":"published","oa_version":"Published Version","publication":"Nano Letters","OA_type":"hybrid","department":[{"_id":"LaVe"},{"_id":"GradSch"}],"corr_author":"1","date_published":"2026-06-01T00:00:00Z","file":[{"file_name":"2026_NanoLetters_Gulyaev.pdf","success":1,"date_created":"2026-06-16T09:11:35Z","relation":"main_file","creator":"dernst","file_id":"22013","content_type":"application/pdf","access_level":"open_access","file_size":3362800,"date_updated":"2026-06-16T09:11:35Z","checksum":"897551374cac28e0db26dcb0b676b8e7"}],"quality_controlled":"1","oa":1,"has_accepted_license":"1","article_type":"letter_note","scopus_import":"1","PlanS_conform":"1","_id":"21980","abstract":[{"lang":"eng","text":"Despite significant progress in the field of molecular electronics over the last two decades, the quantitative prediction of metal-molecule-metal junction conductance remains a challenge. The standard computational framework combines density functional theory (DFT) with nonequilibrium Green’s functions (NEGF) using low-rung exchange-correlation functionals such as PBE, which overestimate the conductances. More advanced correction methods exist but require complex workflows and high computational cost, limiting their accessibility. Here, we introduce a physically motivated approach that approximates results obtained with high-rung functionals. Our method fits the PBE-calculated transmission to a Breit-Wigner form and subsequently refines the fit parameters using molecular orbital energies and metal densities of states computed for the isolated subsystems with high-rung functionals. This approach is applicable to a broad range of molecular junctions yielding conductance values in quantitative agreement with experiments. Our approach is simple, low-cost, and accurate, making it well-suited for routine and large-scale prediction of single-molecule junction conductance."}],"status":"public","title":"A computationally efficient and accurate method for predicting conductance of single-molecule junctions","pmid":1,"doi":"10.1021/acs.nanolett.6c01462","issue":"22","month":"06","day":"01","page":"7429–7434","author":[{"first_name":"Artem","full_name":"Gulyaev, Artem","id":"83ed7901-7380-11f0-bf20-a0788d5e654d","last_name":"Gulyaev"},{"full_name":"Hazarika, Jyotisman","last_name":"Hazarika","id":"d87714c4-663d-11f0-bd06-caece19833e5","first_name":"Jyotisman","orcid":"0009-0007-2542-7878"},{"last_name":"Liu","full_name":"Liu, Zhen-Fei","first_name":"Zhen-Fei"},{"first_name":"Latha","full_name":"Venkataraman, Latha","id":"9ebb78a5-cc0d-11ee-8322-fae086a32caf","last_name":"Venkataraman","orcid":"0000-0002-6957-6089"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.1021/acs.nanolett.6c01462","OA_place":"publisher","article_processing_charge":"Yes (via OA deal)","file_date_updated":"2026-06-16T09:11:35Z","year":"2026","intvolume":"        26"},{"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","author":[{"full_name":"Kleinhanns, Tobias","last_name":"Kleinhanns","id":"8BD9DE16-AB3C-11E9-9C8C-2A03E6697425","first_name":"Tobias","orcid":"0000-0003-1537-7436"}],"page":"59","day":"18","month":"06","file_date_updated":"2026-07-01T07:35:17Z","article_processing_charge":"No","OA_place":"publisher","fulldoi":"https://doi.org/10.15479/AT-ISTA-22017","degree_awarded":"PhD","year":"2026","supervisor":[{"first_name":"Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87","last_name":"Ibáñez","full_name":"Ibáñez, Maria","orcid":"0000-0001-5013-2843"}],"date_published":"2026-06-18T00:00:00Z","file":[{"relation":"source_file","date_created":"2026-06-30T09:17:15Z","file_name":"2026_Kleinhanns_Tobias_Thesis_Source_File.docx","file_size":15658266,"access_level":"closed","date_updated":"2026-06-30T09:17:15Z","checksum":"3df7e865a7d1da8972ccd8acb8b4c16c","creator":"tkleinha","file_id":"22226","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document"},{"embargo":"2026-12-18","embargo_to":"open_access","file_name":"2026_Kleinhanns_Tobias_Thesis_Main_File_A4.pdf","relation":"main_file","date_created":"2026-07-01T07:35:17Z","creator":"tkleinha","file_id":"22232","content_type":"application/pdf","access_level":"closed","file_size":9909375,"date_updated":"2026-07-01T07:35:17Z","checksum":"40ec279272a963636ff29c964032dcba"}],"corr_author":"1","project":[{"name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery","_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A"}],"department":[{"_id":"GradSch"},{"_id":"MaIb"}],"has_accepted_license":"1","doi_confirm":"1","_id":"22017","status":"public","doi":"10.15479/AT-ISTA-22017","title":"Unraveling the origin and evolution of defects to enable advanced thermoelectric performance","date_created":"2026-06-18T08:00:03Z","language":[{"iso":"eng"}],"citation":{"ama":"Kleinhanns T. Unraveling the origin and evolution of defects to enable advanced thermoelectric performance. 2026. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-22017\">10.15479/AT-ISTA-22017</a>","chicago":"Kleinhanns, Tobias. “Unraveling the Origin and Evolution of Defects to Enable Advanced Thermoelectric Performance.” Institute of Science and Technology Austria, 2026. <a href=\"https://doi.org/10.15479/AT-ISTA-22017\">https://doi.org/10.15479/AT-ISTA-22017</a>.","apa":"Kleinhanns, T. (2026). <i>Unraveling the origin and evolution of defects to enable advanced thermoelectric performance</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-22017\">https://doi.org/10.15479/AT-ISTA-22017</a>","ieee":"T. Kleinhanns, “Unraveling the origin and evolution of defects to enable advanced thermoelectric performance,” Institute of Science and Technology Austria, 2026.","mla":"Kleinhanns, Tobias. <i>Unraveling the Origin and Evolution of Defects to Enable Advanced Thermoelectric Performance</i>. Institute of Science and Technology Austria, 2026, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-22017\">10.15479/AT-ISTA-22017</a>.","short":"T. Kleinhanns, Unraveling the Origin and Evolution of Defects to Enable Advanced Thermoelectric Performance, Institute of Science and Technology Austria, 2026.","ista":"Kleinhanns T. 2026. Unraveling the origin and evolution of defects to enable advanced thermoelectric performance. Institute of Science and Technology Austria."},"publication_status":"published","type":"dissertation","oa_version":"Published Version","publication_identifier":{"isbn":["978-3-99078-081-7"],"issn":["2663-337X"]},"publisher":"Institute of Science and Technology Austria","alternative_title":["ISTA Thesis"],"ddc":["546","530"],"das_tickbox":"1","date_updated":"2026-07-28T09:55:13Z","related_material":{"record":[{"relation":"part_of_dissertation","id":"15182","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"12237"},{"relation":"part_of_dissertation","id":"20326","status":"public"}]}},{"doi":"10.1103/db9d-9bns","title":"Anomalous multigap topological phases in periodically driven quantum rotors","abstract":[{"text":"We demonstrate that periodically driven quantum rotors provide a promising and broadly applicable platform to implement multigap topological phases, where groups of bands can acquire topological invariants due to non-Abelian braiding of band degeneracies. By adiabatically varying the periodic kicks to the rotor we find nodal-line braiding, which causes sign flips of topological charges of band nodes and can prevent them from annihilating, indicated by nonzero values of the patch Euler class. In particular, we report on the emergence of an anomalous Dirac string phase arising in the strongly driven regime, a truly out-of-equilibrium phase of the quantum rotor. This phase emanates from braiding processes involving all (quasienergy) gaps and manifests itself with edge states at zero angular momentum. Our results reveal direct applications in state-of-the-art experiments of quantum rotors, such as linear molecules driven by periodic far-off-resonant laser pulses or artificial quantum rotors in optical lattices, whose extensive versatility offers precise modification and observation of novel non-Abelian topological properties.","lang":"eng"}],"_id":"21009","status":"public","scopus_import":"1","article_type":"original","PlanS_conform":"1","has_accepted_license":"1","oa":1,"file":[{"file_name":"2026_PhysicalReviewA_Karle.pdf","success":1,"date_created":"2026-01-21T09:04:48Z","relation":"main_file","content_type":"application/pdf","file_id":"21029","creator":"dernst","checksum":"ca62a5050a234c0554e2583b1c126057","date_updated":"2026-01-21T09:04:48Z","file_size":2650256,"access_level":"open_access"}],"quality_controlled":"1","date_published":"2026-01-12T00:00:00Z","corr_author":"1","project":[{"call_identifier":"H2020","_id":"2688CF98-B435-11E9-9278-68D0E5697425","name":"Angulon: physics and applications of a new quasiparticle","grant_number":"801770"}],"department":[{"_id":"MiLe"}],"intvolume":"       113","year":"2026","ec_funded":1,"file_date_updated":"2026-01-21T09:04:48Z","article_processing_charge":"Yes (via OA deal)","OA_place":"publisher","fulldoi":"https://doi.org/10.1103/db9d-9bns","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"orcid":"0000-0002-6963-0129","first_name":"Volker","full_name":"Karle, Volker","id":"D7C012AE-D7ED-11E9-95E8-1EC5E5697425","last_name":"Karle"},{"first_name":"Mikhail","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","last_name":"Lemeshko","full_name":"Lemeshko, Mikhail","orcid":"0000-0002-6990-7802"},{"first_name":"Adrien","full_name":"Bouhon, Adrien","last_name":"Bouhon"},{"first_name":"Robert-Jan","last_name":"Slager","full_name":"Slager, Robert-Jan"},{"first_name":"F. Nur","full_name":"Ünal, F. Nur","last_name":"Ünal"}],"day":"12","month":"01","issue":"1","volume":113,"acknowledgement":"We thank G. M. Koutentakis, S. Wimberger, J. G. E. Harris, T. Enss, and A. Ghazaryan for fruitful discussions. M.L. acknowledges support by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON). R.-J.S. acknowledges funding from a EPSRC ERC underwrite (Grant No. EP/X025829/1), a EPSRC New Investigator Award (Grant No. EP/W00187X/1), and Trinity College, Cambridge. F.N.Ü. acknowledges support from the Marie Skłodowska-Curie Programme of the European Commission (Grant No. 893915), a Simons Investigator Award (Grant No. 511029), Trinity College Cambridge, and the Royal Society (Grant No. URF/R1/241667).","date_updated":"2026-07-29T08:59:30Z","related_material":{"record":[{"relation":"earlier_version","id":"19425","status":"public"}]},"ddc":["530"],"publication_identifier":{"issn":["2469-9926"],"eissn":["2469-9934"]},"publisher":"American Physical Society","OA_type":"hybrid","publication":"Physical Review A","oa_version":"Published Version","arxiv":1,"publication_status":"published","external_id":{"arxiv":["2408.16848"]},"type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"language":[{"iso":"eng"}],"citation":{"mla":"Karle, Volker, et al. “Anomalous Multigap Topological Phases in Periodically Driven Quantum Rotors.” <i>Physical Review A</i>, vol. 113, no. 1, 012216, American Physical Society, 2026, doi:<a href=\"https://doi.org/10.1103/db9d-9bns\">10.1103/db9d-9bns</a>.","short":"V. Karle, M. Lemeshko, A. Bouhon, R.-J. Slager, F.N. Ünal, Physical Review A 113 (2026).","ista":"Karle V, Lemeshko M, Bouhon A, Slager R-J, Ünal FN. 2026. Anomalous multigap topological phases in periodically driven quantum rotors. Physical Review A. 113(1), 012216.","ama":"Karle V, Lemeshko M, Bouhon A, Slager R-J, Ünal FN. Anomalous multigap topological phases in periodically driven quantum rotors. <i>Physical Review A</i>. 2026;113(1). doi:<a href=\"https://doi.org/10.1103/db9d-9bns\">10.1103/db9d-9bns</a>","chicago":"Karle, Volker, Mikhail Lemeshko, Adrien Bouhon, Robert-Jan Slager, and F. Nur Ünal. “Anomalous Multigap Topological Phases in Periodically Driven Quantum Rotors.” <i>Physical Review A</i>. American Physical Society, 2026. <a href=\"https://doi.org/10.1103/db9d-9bns\">https://doi.org/10.1103/db9d-9bns</a>.","apa":"Karle, V., Lemeshko, M., Bouhon, A., Slager, R.-J., &#38; Ünal, F. N. (2026). Anomalous multigap topological phases in periodically driven quantum rotors. <i>Physical Review A</i>. American Physical Society. <a href=\"https://doi.org/10.1103/db9d-9bns\">https://doi.org/10.1103/db9d-9bns</a>","ieee":"V. Karle, M. Lemeshko, A. Bouhon, R.-J. Slager, and F. N. Ünal, “Anomalous multigap topological phases in periodically driven quantum rotors,” <i>Physical Review A</i>, vol. 113, no. 1. American Physical Society, 2026."},"article_number":"012216","date_created":"2026-01-20T10:06:07Z"},{"oa_version":"None","researchdata_availability":"yes","OA_type":"closed access","publication":"Marine Pollution Bulletin","type":"journal_article","publication_status":"published","external_id":{"pmid":["41774948"]},"article_number":"119493","citation":{"ieee":"A. B. Jöst <i>et al.</i>, “Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis,” <i>Marine Pollution Bulletin</i>, vol. 227, no. 6. Elsevier, 2026.","apa":"Jöst, A. B., Rodriguez Moreno, M. J., Kim, T., Baker, D. M., Yasuhara, M., Not, C. A., &#38; Karanovic, I. (2026). Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis. <i>Marine Pollution Bulletin</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.marpolbul.2026.119493\">https://doi.org/10.1016/j.marpolbul.2026.119493</a>","chicago":"Jöst, Anna B., Maximiliano J Rodriguez Moreno, Taihun Kim, David M. Baker, Moriaki Yasuhara, Christelle A. Not, and Ivana Karanovic. “Ostracod Shell Chemistry as Proxy for Coastal Marine Conditions of a Highly Urbanized Megacity (Hong Kong SAR) and an Agro-Centric Oceanic Province (Jeju Island, Republic of Korea) – a Preliminary Comparative Analysis.” <i>Marine Pollution Bulletin</i>. Elsevier, 2026. <a href=\"https://doi.org/10.1016/j.marpolbul.2026.119493\">https://doi.org/10.1016/j.marpolbul.2026.119493</a>.","ama":"Jöst AB, Rodriguez Moreno MJ, Kim T, et al. Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis. <i>Marine Pollution Bulletin</i>. 2026;227(6). doi:<a href=\"https://doi.org/10.1016/j.marpolbul.2026.119493\">10.1016/j.marpolbul.2026.119493</a>","ista":"Jöst AB, Rodriguez Moreno MJ, Kim T, Baker DM, Yasuhara M, Not CA, Karanovic I. 2026. Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis. Marine Pollution Bulletin. 227(6), 119493.","short":"A.B. Jöst, M.J. Rodriguez Moreno, T. Kim, D.M. Baker, M. Yasuhara, C.A. Not, I. Karanovic, Marine Pollution Bulletin 227 (2026).","mla":"Jöst, Anna B., et al. “Ostracod Shell Chemistry as Proxy for Coastal Marine Conditions of a Highly Urbanized Megacity (Hong Kong SAR) and an Agro-Centric Oceanic Province (Jeju Island, Republic of Korea) – a Preliminary Comparative Analysis.” <i>Marine Pollution Bulletin</i>, vol. 227, no. 6, 119493, Elsevier, 2026, doi:<a href=\"https://doi.org/10.1016/j.marpolbul.2026.119493\">10.1016/j.marpolbul.2026.119493</a>."},"language":[{"iso":"eng"}],"date_created":"2026-03-08T23:01:44Z","acknowledgement":"We thank the KIOST staff of the Jeju Marine Research Center for assisting sample collection, the research assistants and students of the Yoon Idea Lab led by Prof. Dr. Tae-Hyun Yoon at Hanyang University for facilitating and assisting in ICP-MS test runs involved in a pilot study preceding this study, Ms. Garance Perrois and Mr. Léonard Pons for assistance with statistics-related questions, and the two anonymous reviewers for their valuable comments and suggestions. The study described in this article was partially supported by grants from the Brain Pool Program through NRF funded by the Ministry of Science and ICT (reference code: 2019H1D3A1A01070922 to ABJ), by the Ministry of Oceans and Fisheries (grant number RS-2024-00406249 to TK), by the Korea Institute of Marine Science and Technology (KIMST), funded by the Ministry of Oceans and Fisheries (grant number RS-2025-02304432 to TK), and by the Korea Institute of Ocean Science and Technology (PEA0404 to TK).","volume":227,"date_updated":"2026-07-29T10:09:31Z","das_tickbox":"1","publisher":"Elsevier","publication_identifier":{"eissn":["1879-3363"],"issn":["002-5326X"]},"intvolume":"       227","year":"2026","fulldoi":"https://doi.org/10.1016/j.marpolbul.2026.119493","article_processing_charge":"No","supplementarymaterial":"yes","issue":"6","month":"06","day":"01","author":[{"last_name":"Jöst","full_name":"Jöst, Anna B.","first_name":"Anna B."},{"last_name":"Rodriguez Moreno","id":"59bea3b2-8c82-11ef-a41a-af7b0efd9065","full_name":"Rodriguez Moreno, Maximiliano J","first_name":"Maximiliano J"},{"last_name":"Kim","full_name":"Kim, Taihun","first_name":"Taihun"},{"full_name":"Baker, David M.","last_name":"Baker","first_name":"David M."},{"last_name":"Yasuhara","full_name":"Yasuhara, Moriaki","first_name":"Moriaki"},{"first_name":"Christelle A.","full_name":"Not, Christelle A.","last_name":"Not"},{"first_name":"Ivana","full_name":"Karanovic, Ivana","last_name":"Karanovic"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis","pmid":1,"doi":"10.1016/j.marpolbul.2026.119493","article_type":"original","scopus_import":"1","dataavailabilitystatement":"The datasets analysed during the current study are available within the manuscript and the associated supplementary materials.","_id":"21406","abstract":[{"lang":"eng","text":"This preliminary study investigates the trace-element composition of ostracod shells (Ostracoda: Crustacea) as biogenic calcium carbonates in their role as environmental sentinels of pollution. Using high-resolution in-situ analysis, we compared two contrasting coastal systems: the highly urbanized seascape of metropolitan megacity Hong Kong (HKSAR) and the agriculturally dominated waters of rural retreat Jeju Island, Republic of Korea (ROK). The goal was to assess whether anthropogenic stress gradients affect trace element-to‑calcium ratios (E/Ca) in the carapaces of shallow-marine Neonesidea Maddocks, 1969 species. Hereby, the focus is laid on potential differences in the effects of extreme urbanization and extreme agriculturalization. We analyzed 12 trace elements commonly incorporated into ostracod shells using Inductively Coupled Plasma–Mass Spectrometry (ICP-MS). Only Mn/Ca, Mg/Ca, and Ni/Ca ratios showed strong correlations with specific seawater physicochemical parameters. Notably, Mn/Ca differed significantly between the two sites, seemingly driven mainly by variations in nitrite nitrogen levels. This suggests that Mn incorporation is sensitive to pollution source, urban versus agricultural, though species-specific uptake effects cannot be excluded. No significant differences in elemental uptake were found between adult and A-1 juvenile stages of Neonesidea mutsuensis Ishizaki, 1961 or Neonesidea elegans (Brady, 1969), supporting the use of both age groups in environmental reconstructions and increasing potential sample yields. While remaining empirical and exploratory, our tentative findings suggest that ostracod geochemistry holds promise for marine pollution monitoring and cautiously supports the application of ostracod Mn/Ca ratios to reconstruct anthropogenic, particularly nitrogen-related, impacts in nearshore environments using sediment core records."}],"status":"public","department":[{"_id":"FrPe"}],"quality_controlled":"1","date_published":"2026-06-01T00:00:00Z"},{"dataavailabilitystatement":"The authors declare that the minimum dataset that is necessary to\r\ninterpret, verify, and extend the research in this article is included in\r\nthe supplementary information, the source data, and the archived data\r\nrepository (https://doi.org/10.15479/AT-ISTA-21137). This is also available\r\non GitHub at https://github.com/Suyash-Naik/2026-\r\nKeratinepithlialspreadingcoordinate-Data. Source data are provided\r\nwith this paper. The framework to develop the vertex models used in this paper are\r\navailable online on GitHub and archived in the source data provided.\r\nCustom scripts used for analysis of imaging and simulation data are\r\nprovided along with data files for all panels in the source data for this\r\nmanuscript on GitHub and in data repo (https://doi.org/10.15479/ATISTA-\r\n21137). Framework for the vertex model is available at https://\r\ngithub.com/yketta/cells. Code for analysis is available on GitHub\r\nhttps://github.com/Suyash-Naik/2026-\r\nKeratinepithlialspreadingcoordinate-Data.","status":"public","_id":"22608","abstract":[{"lang":"eng","text":"For tissues to spread, they must deform while staying intact. How spreading tissues balance flexibility with integrity is not yet well understood. Here, we show that keratin intermediate filaments adapt tissue mechanical resilience to the stresses arising in epithelial tissues during spreading. By analyzing the expansion of the enveloping cell layer (EVL) over the yolk cell in zebrafish embryos in vivo, we find that keratin network maturation in EVL cells is promoted by stresses building up within the spreading tissue. Through genetic interference and tissue rheology experiments, complemented by a vertex model with mechanochemical feedback, we demonstrate that stress-induced keratin network maturation in the EVL increases tissue viscosity, to prevent tissue rupture. Further, keratins are required in the yolk cell for mechanosensitive actomyosin network contraction and flow, the forces pulling the EVL. These dual mechanosensitive functions of keratins enable a balance between pulling force production and EVL mechanical resilience, ensuring uniform and robust tissue spreading."}],"scopus_import":"1","article_type":"original","PlanS_conform":"1","doi":"10.1038/s41467-026-72366-z","pmid":1,"title":"Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties","quality_controlled":"1","file":[{"content_type":"application/pdf","creator":"dernst","file_id":"22609","checksum":"f26d96e180c1d034d9c9c8f57c3c258b","access_level":"open_access","file_size":15363936,"date_updated":"2026-07-29T10:27:25Z","success":1,"file_name":"2026_NatureComm_Naik.pdf","relation":"main_file","date_created":"2026-07-29T10:27:25Z"}],"date_published":"2026-07-17T00:00:00Z","department":[{"_id":"Bio"},{"_id":"CaHe"},{"_id":"EdHa"}],"corr_author":"1","project":[{"_id":"8f060199-16d5-11f0-9cad-f3253b266c46","name":"Keratins in epithelial tissue spreading","grant_number":"PAT 5044023"},{"call_identifier":"FWF","name":"Nano-Analytics of Cellular Systems","_id":"252C3B08-B435-11E9-9278-68D0E5697425","grant_number":"W1250-B20"}],"has_accepted_license":"1","oa":1,"year":"2026","acknowledged_ssus":[{"_id":"Bio"},{"_id":"ScienComp"},{"_id":"LifeSc"},{"_id":"EM-Fac"}],"intvolume":"        17","day":"17","author":[{"first_name":"Suyash","full_name":"Naik, Suyash","last_name":"Naik","id":"2C0B105C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8421-5508"},{"first_name":"Yann-Edwin","full_name":"Keta, Yann-Edwin","last_name":"Keta"},{"full_name":"Pranjic-Ferscha, Kornelija","last_name":"Pranjic-Ferscha","id":"4362B3C2-F248-11E8-B48F-1D18A9856A87","first_name":"Kornelija"},{"orcid":"0000-0001-6005-1561","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","last_name":"Hannezo","full_name":"Hannezo, Edouard B","first_name":"Edouard B"},{"full_name":"Henkes, Silke","last_name":"Henkes","first_name":"Silke"},{"orcid":"0000-0002-0912-4566","last_name":"Heisenberg","id":"39427864-F248-11E8-B48F-1D18A9856A87","full_name":"Heisenberg, Carl-Philipp J","first_name":"Carl-Philipp J"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"07","article_processing_charge":"Yes","supplementarymaterial":"yes","file_date_updated":"2026-07-29T10:27:25Z","fulldoi":"https://doi.org/10.1038/s41467-026-72366-z","OA_place":"publisher","das_tickbox":"1","related_material":{"record":[{"status":"public","id":"20465","relation":"earlier_version"}]},"date_updated":"2026-07-29T10:33:31Z","volume":17,"acknowledgement":"We thank all members of the Heisenberg, Henkes, and Hannezo groups for their support. We are also grateful to the Imaging and Optics, Scientific Computing, Life Science Support, and Cryo-Electron Microscopy facilities at ISTA for their technical assistance and support. Numerical simulations were performed using the computational resources from Lorentz Institute and the Academic Leiden Interdisciplinary Cluster Environment (ALICE) provided by Leiden University, and from PMMH provided by Sorbonne Université. S.N has received funding from European Union’s Horizon 2020 research and innovation programme (grant agreement No. 665385). This work was supported by the Austrian Science Fund (FWF) under projects PAT5044023 and W1250 awarded to C.-P.H.","publication_identifier":{"eissn":["2041-1723"]},"publisher":"Springer Nature","ddc":["570"],"publication_status":"published","external_id":{"pmid":["42143048"]},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","oa_version":"Published Version","publication":"Nature Communications","OA_type":"gold","researchdata_availability":"yes","date_created":"2026-07-29T09:10:35Z","language":[{"iso":"eng"}],"article_number":"6499","citation":{"apa":"Naik, S., Keta, Y.-E., Pranjic-Ferscha, K., Hannezo, E. B., Henkes, S., &#38; Heisenberg, C.-P. J. (2026). Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-026-72366-z\">https://doi.org/10.1038/s41467-026-72366-z</a>","ieee":"S. Naik, Y.-E. Keta, K. Pranjic-Ferscha, E. B. Hannezo, S. Henkes, and C.-P. J. Heisenberg, “Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties,” <i>Nature Communications</i>, vol. 17. Springer Nature, 2026.","ama":"Naik S, Keta Y-E, Pranjic-Ferscha K, Hannezo EB, Henkes S, Heisenberg C-PJ. Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. <i>Nature Communications</i>. 2026;17. doi:<a href=\"https://doi.org/10.1038/s41467-026-72366-z\">10.1038/s41467-026-72366-z</a>","chicago":"Naik, Suyash, Yann-Edwin Keta, Kornelija Pranjic-Ferscha, Edouard B Hannezo, Silke Henkes, and Carl-Philipp J Heisenberg. “Keratins Coordinate Tissue Spreading by Balancing Spreading Forces with Tissue Material Properties.” <i>Nature Communications</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1038/s41467-026-72366-z\">https://doi.org/10.1038/s41467-026-72366-z</a>.","short":"S. Naik, Y.-E. Keta, K. Pranjic-Ferscha, E.B. Hannezo, S. Henkes, C.-P.J. Heisenberg, Nature Communications 17 (2026).","ista":"Naik S, Keta Y-E, Pranjic-Ferscha K, Hannezo EB, Henkes S, Heisenberg C-PJ. 2026. Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. Nature Communications. 17, 6499.","mla":"Naik, Suyash, et al. “Keratins Coordinate Tissue Spreading by Balancing Spreading Forces with Tissue Material Properties.” <i>Nature Communications</i>, vol. 17, 6499, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1038/s41467-026-72366-z\">10.1038/s41467-026-72366-z</a>."}},{"ddc":["540"],"publication_identifier":{"issn":["0044-8249"],"eissn":["1521-3757"]},"publisher":"Wiley","acknowledgement":"Diese Forschung wurde durch die Scientific Service Units (SSU) des IST Austria unterstützt, durch Nutzung von Ressourcen der Lab Support Facility (LSF).\r\nOpen Access funding provided by Institute of Science and Technology Austria.","das_tickbox":"1","date_updated":"2026-07-29T11:00:05Z","language":[{"iso":"ger"}],"article_number":"e5487708","citation":{"ieee":"J. R. Hoffman Jr, S. A. Freunberger, and S. R. Waitukaitis, “Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung,” <i>Angewandte Chemie</i>. Wiley, 2026.","apa":"Hoffman Jr, J. R., Freunberger, S. A., &#38; Waitukaitis, S. R. (2026). Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung. <i>Angewandte Chemie</i>. Wiley. <a href=\"https://doi.org/10.1002/ange.5487708\">https://doi.org/10.1002/ange.5487708</a>","chicago":"Hoffman Jr, John R, Stefan Alexander Freunberger, and Scott R Waitukaitis. “Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung.” <i>Angewandte Chemie</i>. Wiley, 2026. <a href=\"https://doi.org/10.1002/ange.5487708\">https://doi.org/10.1002/ange.5487708</a>.","ama":"Hoffman Jr JR, Freunberger SA, Waitukaitis SR. Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung. <i>Angewandte Chemie</i>. 2026. doi:<a href=\"https://doi.org/10.1002/ange.5487708\">10.1002/ange.5487708</a>","ista":"Hoffman Jr JR, Freunberger SA, Waitukaitis SR. 2026. Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung. Angewandte Chemie., e5487708.","short":"J.R. Hoffman Jr, S.A. Freunberger, S.R. Waitukaitis, Angewandte Chemie (2026).","mla":"Hoffman Jr, John R., et al. “Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung.” <i>Angewandte Chemie</i>, e5487708, Wiley, 2026, doi:<a href=\"https://doi.org/10.1002/ange.5487708\">10.1002/ange.5487708</a>."},"date_created":"2026-07-28T18:03:20Z","main_file_link":[{"url":"https://doi.org/10.1002/ange.5487708","open_access":"1"}],"oa_version":"Published Version","researchdata_availability":"upon request","OA_type":"hybrid","publication":"Angewandte Chemie","publication_status":"epub_ahead","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","has_accepted_license":"1","oa":1,"quality_controlled":"1","date_published":"2026-07-26T00:00:00Z","department":[{"_id":"StFr"},{"_id":"ScWa"}],"corr_author":"1","doi":"10.1002/ange.5487708","title":"Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung","dataavailabilitystatement":"The data that support the findings of this study are available from the corresponding author upon reasonable request.","_id":"22601","status":"public","abstract":[{"lang":"eng","text":"Kontaktelektrifizierung tritt allgegenwärtig in der Natur auf, doch die Identität der Ladungsträger bleibt in den meisten Fällen unklar, mit Elektronen, Ionen oder nanoskopischen Materialfragmenten als mögliche Kandidaten. Ein Material, bei dem die übertragene Spezies mehr gewiss erscheint, sind Ionomere, d. h. Polymere mit mobilen Ionen, deren Ladung durch fest gebundene Gegenladungen ausgeglichen wird. Wenn Ionomere mit einer neutralen Oberfläche in Kontakt kommen, lädt sich diese mit dem Vorzeichen der mobilen Ionen auf, was stark auf Ionentransfer hindeutet. Der zugrundeliegende Mechanismus sowie die bestimmenden Einflussfaktoren dieses Transfers sind jedoch bislang nur unzureichend verstanden. In der vorliegenden Arbeit zeigen wir, dass die Bindungsaffinität zwischen den mobilen Ionen und dem Ionomer den Ladungstransfer maßgeblich bestimmt. Wir untersuchen Ionomere mit gebundenen Anionen und Kationen und erzeugen mittels Ionenaustausch Proben mit einer Reihe unterschiedlicher übertragbarer Ionen. Für das anionische Ionomer beobachten wir eine starke Abhängigkeit von der Bindungsaffinität, wobei mobile Kationen mit der höchsten Affinität am wenigsten Ladung übertragen. Eine schwächere, aber trotzdem klare Abhängigkeit wurde für das kationische Ionomer gemessen, welches der freien Hydratationsenergie der mobilen Anionen folgt. Mithilfe von optischer Emissionsspektroskopie mit induktiv gekoppeltem Plasma (ICP‐OES) bestätigen wir den Transfer von mobilen Ionen auf die Oberfläche der Gegenprobe. Unsere Ergebnisse bestätigen die Ladungsträgeridentität und den Mechanismus des Ladungstransfers bei ionomerischen Materialien, was auch für das allgemeine Verständnis von Kontaktelektrifizierung von Bedeutung sein könnte."}],"article_type":"original","scopus_import":"1","article_processing_charge":"No","supplementarymaterial":"yes","OA_place":"publisher","fulldoi":"https://doi.org/10.1002/ange.5487708","author":[{"full_name":"Hoffman Jr, John R","id":"0cf4072c-94e2-11ee-bdf9-90a13138901e","last_name":"Hoffman Jr","first_name":"John R"},{"full_name":"Freunberger, Stefan Alexander","last_name":"Freunberger","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","first_name":"Stefan Alexander","orcid":"0000-0003-2902-5319"},{"id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","last_name":"Waitukaitis","full_name":"Waitukaitis, Scott R","first_name":"Scott R","orcid":"0000-0002-2299-3176"}],"day":"26","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"07","acknowledged_ssus":[{"_id":"LifeSc"}],"year":"2026"},{"intvolume":"       116","year":"2026","article_processing_charge":"No","supplementarymaterial":"no","fulldoi":"https://doi.org/10.1007/s11005-026-02087-3","OA_place":"repository","author":[{"first_name":"Giovanna","last_name":"Marcelli","full_name":"Marcelli, Giovanna"},{"first_name":"Lorenzo","full_name":"Pigozzi, Lorenzo","last_name":"Pigozzi","id":"efb8f850-3208-11ee-ac71-8c4f5803b9c6"},{"full_name":"Porta, Marcello","last_name":"Porta","first_name":"Marcello"}],"day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"4","month":"08","doi":"10.1007/s11005-026-02087-3","title":"Longitudinal conductivity at integer quantum Hall transitions","dataavailabilitystatement":"Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.","_id":"22404","status":"public","abstract":[{"text":"We consider a class of two-dimensional tight binding models displaying conical intersections of the Bloch bands at the Fermi level. The setting includes the case of generic transitions between quantum Hall phases. We consider the longitudinal conductivity, as given by Kubo formula, describing the variation of the current after introducing a space-homogeneous electric field, in an adiabatic way. We obtain an explicit expression for the longitudinal conductivity, completely determined by the number of conical intersections and by the shape of the cones. In particular, the formula reproduces the known quantized values found for graphene and for the critical Haldane model. Furthermore, we discuss the validity of Kubo formula in presence of conical intersections in the spectrum, starting from the time-dependent Schrödinger equation. For electric fields which are weak and slowly varying in space and in time, we prove the validity of linear response from quantum dynamics.","lang":"eng"}],"scopus_import":"1","article_type":"original","mathsc":["81V70"],"oa":1,"date_published":"2026-08-01T00:00:00Z","quality_controlled":"1","department":[{"_id":"RoSe"},{"_id":"GradSch"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2503.01381"}],"oa_version":"Preprint","researchdata_availability":"not applicable","publication":"Letters in Mathematical Physics","OA_type":"green","publication_status":"published","external_id":{"arxiv":["2503.01381"]},"arxiv":1,"type":"journal_article","language":[{"iso":"eng"}],"article_number":"82","citation":{"short":"G. Marcelli, L. Pigozzi, M. Porta, Letters in Mathematical Physics 116 (2026).","ista":"Marcelli G, Pigozzi L, Porta M. 2026. Longitudinal conductivity at integer quantum Hall transitions. Letters in Mathematical Physics. 116(4), 82.","mla":"Marcelli, Giovanna, et al. “Longitudinal Conductivity at Integer Quantum Hall Transitions.” <i>Letters in Mathematical Physics</i>, vol. 116, no. 4, 82, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1007/s11005-026-02087-3\">10.1007/s11005-026-02087-3</a>.","apa":"Marcelli, G., Pigozzi, L., &#38; Porta, M. (2026). Longitudinal conductivity at integer quantum Hall transitions. <i>Letters in Mathematical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s11005-026-02087-3\">https://doi.org/10.1007/s11005-026-02087-3</a>","ieee":"G. Marcelli, L. Pigozzi, and M. Porta, “Longitudinal conductivity at integer quantum Hall transitions,” <i>Letters in Mathematical Physics</i>, vol. 116, no. 4. Springer Nature, 2026.","ama":"Marcelli G, Pigozzi L, Porta M. Longitudinal conductivity at integer quantum Hall transitions. <i>Letters in Mathematical Physics</i>. 2026;116(4). doi:<a href=\"https://doi.org/10.1007/s11005-026-02087-3\">10.1007/s11005-026-02087-3</a>","chicago":"Marcelli, Giovanna, Lorenzo Pigozzi, and Marcello Porta. “Longitudinal Conductivity at Integer Quantum Hall Transitions.” <i>Letters in Mathematical Physics</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1007/s11005-026-02087-3\">https://doi.org/10.1007/s11005-026-02087-3</a>."},"date_created":"2026-07-26T22:01:40Z","volume":116,"acknowledgement":"G. M. and M. P. acknowledge support by the European Research Council through the ERC-StG MaMBoQ, n. 802901. G. M. acknowledges financial support from the Independent Research Fund Denmark–Natural Sciences, grant DFF–10.46540/2032-00005B and from the European Research Council through the ERC CoG UniCoSM, grant agreement n.724939. M. P. acknowledges support from the MUR, PRIN 2022 project MaIQuFi cod. 20223J85K3. This work has been carried out under the auspices of the GNFM of INdAM. We thank the anonymous referees for comments on a previous version of this manuscript.","das_tickbox":"1","date_updated":"2026-07-29T10:51:55Z","publication_identifier":{"issn":["0377-9017"],"eissn":["1573-0530"]},"publisher":"Springer Nature"},{"ddc":["500"],"publisher":"EPI Sciences","publication_identifier":{"eissn":["3117-4604"]},"acknowledgement":"We would like to thank David Bartl and Jasmin Blanchette for frequent consultations.\r\nWe would also like to express gratitude to Henrik Böving for a help with generalization\r\nfrom extended rationals to extended linearly ordered fields and to Andrew Yang for the\r\nproof of Finset.univ_sum_of_zero_when_not. We would also like to acknowledge Antoine\r\nChambert-Loir, Apurva Nakade, Yaël Dillies, Richard Copley, Edward van de Meent, Markus\r\nHimmel, Mario Carneiro, and Kevin Buzzard.","volume":2,"date_updated":"2026-07-29T10:50:17Z","related_material":{"record":[{"relation":"earlier_version","id":"20071","status":"public"}]},"das_tickbox":"0","citation":{"mla":"Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally Verified.” <i>Annals of Formalized Mathematics</i>, vol. 2, 14253, EPI Sciences, 2026, doi:<a href=\"https://doi.org/10.46298/afm.14253\">10.46298/afm.14253</a>.","ista":"Dvorak M, Kolmogorov V. 2026. Duality theory in linear optimization and its extensions -- formally verified. Annals of Formalized Mathematics. 2, 14253.","short":"M. Dvorak, V. Kolmogorov, Annals of Formalized Mathematics 2 (2026).","chicago":"Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally Verified.” <i>Annals of Formalized Mathematics</i>. EPI Sciences, 2026. <a href=\"https://doi.org/10.46298/afm.14253\">https://doi.org/10.46298/afm.14253</a>.","ama":"Dvorak M, Kolmogorov V. Duality theory in linear optimization and its extensions -- formally verified. <i>Annals of Formalized Mathematics</i>. 2026;2. doi:<a href=\"https://doi.org/10.46298/afm.14253\">10.46298/afm.14253</a>","ieee":"M. Dvorak and V. Kolmogorov, “Duality theory in linear optimization and its extensions -- formally verified,” <i>Annals of Formalized Mathematics</i>, vol. 2. EPI Sciences, 2026.","apa":"Dvorak, M., &#38; Kolmogorov, V. (2026). Duality theory in linear optimization and its extensions -- formally verified. <i>Annals of Formalized Mathematics</i>. EPI Sciences. <a href=\"https://doi.org/10.46298/afm.14253\">https://doi.org/10.46298/afm.14253</a>"},"article_number":"14253","language":[{"iso":"eng"}],"date_created":"2026-07-29T09:06:55Z","publication":"Annals of Formalized Mathematics","OA_type":"hybrid","researchdata_availability":"no","oa_version":"Published Version","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"arxiv":1,"publication_status":"published","external_id":{"arxiv":["2409.08119"]},"has_accepted_license":"1","corr_author":"1","department":[{"_id":"VlKo"},{"_id":"GradSch"}],"date_published":"2026-03-13T00:00:00Z","quality_controlled":"1","title":"Duality theory in linear optimization and its extensions -- formally verified","doi":"10.46298/afm.14253","PlanS_conform":"1","article_type":"original","mathsc":["68V20","15A39","90C05"],"status":"public","_id":"22607","abstract":[{"text":"Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over linearly ordered fields in Lean 4. Furthermore, we extend duality theory to the case when some coefficients are allowed to take \"infinite values\".\r\nCode: https://github.com/madvorak/duality/tree/v3.2.0","lang":"eng"}],"OA_place":"publisher","fulldoi":"https://doi.org/10.46298/afm.14253","supplementarymaterial":"no","article_processing_charge":"Yes (in subscription journal)","month":"03","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"13","author":[{"orcid":"0000-0001-5293-214X","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","last_name":"Dvorak","full_name":"Dvorak, Martin","first_name":"Martin"},{"first_name":"Vladimir","full_name":"Kolmogorov, Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","last_name":"Kolmogorov"}],"intvolume":"         2","keyword":["Farkas lemma","linear programming","extended reals","calculus of inductive constructions"],"year":"2026"},{"acknowledged_ssus":[{"_id":"LifeSc"}],"year":"2026","fulldoi":"https://doi.org/10.1002/anie.5487708","OA_place":"publisher","supplementarymaterial":"yes","article_processing_charge":"Yes (via OA deal)","month":"07","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"21","author":[{"full_name":"Hoffman Jr, John R","id":"0cf4072c-94e2-11ee-bdf9-90a13138901e","last_name":"Hoffman Jr","first_name":"John R"},{"first_name":"Stefan Alexander","full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger","orcid":"0000-0003-2902-5319"},{"orcid":"0000-0002-2299-3176","first_name":"Scott R","last_name":"Waitukaitis","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","full_name":"Waitukaitis, Scott R"}],"title":"Ion transfer during ionomer contact electrification: Binding affinity controls charging","pmid":1,"doi":"10.1002/anie.5487708","scopus_import":"1","article_type":"original","_id":"22602","abstract":[{"lang":"eng","text":"Contact electrification occurs ubiquitously in nature, but the identity of charge carriers in most situations remains uncertain, with electrons, ions, or nanoscopic material fragments as viable candidates. One material where the species transferred seems more certain is ionomers, i.e., polymers that contain mobile ions balanced by fixed counter‐charges. When ionomers touch a neutral surface, the latter becomes charged in the sign of the mobile ion, strongly suggesting ion transfer. However, the mechanism and governing factors of transfer remain poorly understood. Here, we demonstrate that binding affinity between mobile ion and ionomer controls charge transfer with ionomers. We use ionomers with fixed anions and cations and perform ion exchange to create samples with a series of transferrable ions. We observe a strong binding‐affinity dependence for the anionic ionomer, such that mobile cations with the highest affinity transfers the least charge. Weaker, yet clear dependence was measured for the cationic ionomer, which follows the hydration free energy of the mobile anion. Using inductively coupled plasma optical emission spectroscopy (ICP‐OES), we confirm transfer of the mobile ions to the counter sample's surface. Our results confirm the identify and mechanism of charge transfer with ionomeric materials, with potential implications for contact electrification more broadly."}],"status":"public","dataavailabilitystatement":"The data that support the findings of this study are available from the corresponding author upon reasonable request.","oa":1,"has_accepted_license":"1","corr_author":"1","department":[{"_id":"StFr"},{"_id":"ScWa"}],"quality_controlled":"1","date_published":"2026-07-21T00:00:00Z","OA_type":"hybrid","publication":"Angewandte Chemie International Edition","researchdata_availability":"upon request","oa_version":"Published Version","main_file_link":[{"url":"https://doi.org/10.1002/anie.5487708","open_access":"1"}],"type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"epub_ahead","external_id":{"pmid":["42478784"]},"citation":{"chicago":"Hoffman Jr, John R, Stefan Alexander Freunberger, and Scott R Waitukaitis. “Ion Transfer during Ionomer Contact Electrification: Binding Affinity Controls Charging.” <i>Angewandte Chemie International Edition</i>. Wiley, 2026. <a href=\"https://doi.org/10.1002/anie.5487708\">https://doi.org/10.1002/anie.5487708</a>.","ama":"Hoffman Jr JR, Freunberger SA, Waitukaitis SR. Ion transfer during ionomer contact electrification: Binding affinity controls charging. <i>Angewandte Chemie International Edition</i>. 2026. doi:<a href=\"https://doi.org/10.1002/anie.5487708\">10.1002/anie.5487708</a>","ieee":"J. R. Hoffman Jr, S. A. Freunberger, and S. R. Waitukaitis, “Ion transfer during ionomer contact electrification: Binding affinity controls charging,” <i>Angewandte Chemie International Edition</i>. Wiley, 2026.","apa":"Hoffman Jr, J. R., Freunberger, S. A., &#38; Waitukaitis, S. R. (2026). Ion transfer during ionomer contact electrification: Binding affinity controls charging. <i>Angewandte Chemie International Edition</i>. Wiley. <a href=\"https://doi.org/10.1002/anie.5487708\">https://doi.org/10.1002/anie.5487708</a>","mla":"Hoffman Jr, John R., et al. “Ion Transfer during Ionomer Contact Electrification: Binding Affinity Controls Charging.” <i>Angewandte Chemie International Edition</i>, e5487708, Wiley, 2026, doi:<a href=\"https://doi.org/10.1002/anie.5487708\">10.1002/anie.5487708</a>.","ista":"Hoffman Jr JR, Freunberger SA, Waitukaitis SR. 2026. Ion transfer during ionomer contact electrification: Binding affinity controls charging. Angewandte Chemie International Edition., e5487708.","short":"J.R. Hoffman Jr, S.A. Freunberger, S.R. Waitukaitis, Angewandte Chemie International Edition (2026)."},"article_number":"e5487708","language":[{"iso":"eng"}],"date_created":"2026-07-28T18:04:19Z","acknowledgement":"This research was supported by the Scientific Service Units (SSU) of IST-Austria through resources provided by the Lab Support Facility (LSF).\r\nOpen Access funding provided by Institute of Science and Technology Austria.","date_updated":"2026-07-29T11:25:58Z","das_tickbox":"1","ddc":["540"],"publisher":"Wiley","publication_identifier":{"eissn":["1521-3773"],"issn":["1433-7851"]}},{"oa_version":"Published Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"dissertation","publication_status":"published","citation":{"ama":"Dvorak M. Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids. 2026. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-21393\">10.15479/AT-ISTA-21393</a>","chicago":"Dvorak, Martin. “Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids.” Institute of Science and Technology Austria, 2026. <a href=\"https://doi.org/10.15479/AT-ISTA-21393\">https://doi.org/10.15479/AT-ISTA-21393</a>.","apa":"Dvorak, M. (2026). <i>Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-21393\">https://doi.org/10.15479/AT-ISTA-21393</a>","ieee":"M. Dvorak, “Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids,” Institute of Science and Technology Austria, 2026.","mla":"Dvorak, Martin. <i>Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids</i>. Institute of Science and Technology Austria, 2026, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-21393\">10.15479/AT-ISTA-21393</a>.","short":"M. Dvorak, Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.","ista":"Dvorak M. 2026. Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids. Institute of Science and Technology Austria."},"language":[{"iso":"eng"}],"date_created":"2026-03-04T09:26:46Z","related_material":{"link":[{"relation":"software","description":"Full version of all definitions, statements, and proofs for Chapter 3.1 (Linear duality)","url":"https://github.com/madvorak/duality/tree/v3.5.0"},{"url":"https://github.com/madvorak/vcsp/tree/v8.2.0","relation":"software","description":"Full version of all definitions, statements, and proofs for Chapter 3.2 (Valued Constraint Satisfaction Problems)"},{"url":"https://github.com/Ivan-Sergeyev/seymour/tree/v1.2.0","relation":"software","description":"Full version of all definitions, statements, and proofs for Chapter 4 (Seymour project)"},{"url":"https://github.com/madvorak/chomsky/tree/v1.2.0","relation":"software","description":"Full version of all definitions, statements, and proofs for Chapter 5 (Theory of grammars)"},{"url":"https://github.com/madvorak/grammars","description":"Old version (Lean 3) of the project about grammars","relation":"software"},{"url":"https://github.com/madvorak/preliminaries/blob/main/Preliminaries.lean","relation":"software","description":"Demonstration of (minimal) requirements for selected algebraic classes used in my Ph.D. thesis"}],"record":[{"relation":"part_of_dissertation","status":"public","id":"13120"},{"status":"public","id":"20071","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"21398"}]},"date_updated":"2026-07-29T12:56:52Z","ddc":["511","000"],"publisher":"Institute of Science and Technology Austria","alternative_title":["ISTA Thesis"],"publication_identifier":{"isbn":["978-3-99078-074-9"],"issn":["2663-337X"]},"year":"2026","degree_awarded":"PhD","fulldoi":"https://doi.org/10.15479/AT-ISTA-21393","OA_place":"repository","article_processing_charge":"No","file_date_updated":"2026-03-04T09:03:37Z","month":"03","page":"160","day":"04","author":[{"orcid":"0000-0001-5293-214X","first_name":"Martin","last_name":"Dvorak","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","full_name":"Dvorak, Martin"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","title":"Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids","doi":"10.15479/AT-ISTA-21393","abstract":[{"text":"This thesis documents a voyage towards truth and beauty via formal verification of theorems. To this end, we develop libraries in Lean 4 that present definitions and results from diverse areas of MathematiCS (i.e., Mathematics and Computer Science). The aim is to create code that is understandable, believable, useful, and elegant. The code should stand for itself as much as possible without a need for documentation; however, this text redundantly documents our code artifacts and provides additional context that isn’t present in the code. This thesis is written for readers who know Lean 4 but are not familiar with any of the topics presented. We manifest truth and beauty in three formalized areas of MathematiCS.\r\n\r\nWe formalize general grammars in Lean 4 and use grammars to show closure of the class of type-0 languages under four operations; union, reversal, concatenation, and the Kleene star.\r\n\r\nOur second stop is the theory of optimization. Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over linearly ordered fields in Lean 4. Furthermore, we extend duality theory to the case when some coefficients are allowed to take “infinite values”. Additionally, we develop the basics of the theory of optimization in terms of the framework called General-Valued Constraint Satisfaction Problems, and we prove that, if a Rational-Valued Constraint Satisfaction Problem template has symmetric fractional polymorphisms of all arities, then its basic LP relaxation is tight.\r\n\r\nOur third stop is matroid theory. Seymour’s decomposition theorem is a hallmark result in matroid theory, presenting a structural characterization of the class of regular matroids. We aim to formally verify Seymour’s theorem in Lean 4. First, we build a library for working with totally unimodular matrices. We define binary matroids and their standard representations, and we prove that they form a matroid in the sense how Mathlib defines matroids. We define regular matroids to be matroids for which there exists a full representation rational matrix that is totally unimodular, and we prove that all regular matroids are binary. We define 1-sum, 2-sum, and 3 sum of binary matroids as specific ways to compose their standard representation matrices. We prove that the 1-sum, the 2-sum, and the 3-sum of regular matroids are a regular matroid, which concludes the composition direction of the Seymour’s theorem. The (more difficult) decomposition direction remains unproved.\r\n\r\nIn the pursuit of truth, we focus on identifying the trusted code in each project and presenting it faithfully. We emphasize the readability and believability of definitions rather than choosing definitions that are easier to work with. In search for beauty, we focus on the philosophical framework of Roger Scruton, who emphasizes that beauty is not a mere decoration but, most importantly, beauty is the means for shaping our place in the world and a source of redemption, where it can be viewed as a substitute for religion.","lang":"eng"}],"_id":"21393","status":"public","doi_confirm":"1","oa":1,"has_accepted_license":"1","department":[{"_id":"GradSch"},{"_id":"VlKo"}],"corr_author":"1","file":[{"relation":"main_file","date_created":"2026-03-04T08:56:15Z","success":1,"file_name":"2026_Dvorak_Martin_Thesis.pdf","file_size":1771231,"access_level":"open_access","date_updated":"2026-03-04T08:56:15Z","checksum":"cface6dc18152680962b5361575f6e4f","creator":"mdvorak","file_id":"21394","content_type":"application/pdf"},{"file_name":"2026_Dvorak_Martin_Thesis.docx","date_created":"2026-03-04T09:03:37Z","relation":"source_file","file_id":"21395","creator":"mdvorak","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_updated":"2026-03-04T09:03:37Z","access_level":"closed","file_size":864585,"checksum":"290ddfacfb7e07fb07e6f0b334e67c90"}],"date_published":"2026-03-04T00:00:00Z","supervisor":[{"first_name":"Vladimir","full_name":"Kolmogorov, Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","last_name":"Kolmogorov"},{"last_name":"Blanchette","full_name":"Blanchette, Jasmin","first_name":"Jasmin"}]},{"external_id":{"arxiv":["2403.02627"],"isi":["001506904300001"]},"publication_status":"published","arxiv":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","oa_version":"Published Version","OA_type":"hybrid","publication":"Discrete & Computational Geometry","researchdata_availability":"no","date_created":"2025-06-22T22:02:07Z","language":[{"iso":"eng"}],"citation":{"mla":"Aronov, Boris, et al. “Eight-Partitioning Points in 3D, and Efficiently Too.” <i>Discrete &#38; Computational Geometry</i>, vol. 75, Springer Nature, 2026, pp. 1331–55, doi:<a href=\"https://doi.org/10.1007/s00454-025-00739-0\">10.1007/s00454-025-00739-0</a>.","short":"B. Aronov, A. Basit, I. Ramesh, G. Tasinato, U. Wagner, Discrete &#38; Computational Geometry 75 (2026) 1331–1355.","ista":"Aronov B, Basit A, Ramesh I, Tasinato G, Wagner U. 2026. Eight-partitioning points in 3D, and efficiently too. Discrete &#38; Computational Geometry. 75, 1331–1355.","ama":"Aronov B, Basit A, Ramesh I, Tasinato G, Wagner U. Eight-partitioning points in 3D, and efficiently too. <i>Discrete &#38; Computational Geometry</i>. 2026;75:1331-1355. doi:<a href=\"https://doi.org/10.1007/s00454-025-00739-0\">10.1007/s00454-025-00739-0</a>","chicago":"Aronov, Boris, Abdul Basit, Indu Ramesh, Gianluca Tasinato, and Uli Wagner. “Eight-Partitioning Points in 3D, and Efficiently Too.” <i>Discrete &#38; Computational Geometry</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1007/s00454-025-00739-0\">https://doi.org/10.1007/s00454-025-00739-0</a>.","apa":"Aronov, B., Basit, A., Ramesh, I., Tasinato, G., &#38; Wagner, U. (2026). Eight-partitioning points in 3D, and efficiently too. <i>Discrete &#38; Computational Geometry</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00454-025-00739-0\">https://doi.org/10.1007/s00454-025-00739-0</a>","ieee":"B. Aronov, A. Basit, I. Ramesh, G. Tasinato, and U. Wagner, “Eight-partitioning points in 3D, and efficiently too,” <i>Discrete &#38; Computational Geometry</i>, vol. 75. Springer Nature, pp. 1331–1355, 2026."},"das_tickbox":"0","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1007/s00454-025-00759-w"}],"record":[{"relation":"earlier_version","id":"18917","status":"public"},{"status":"public","id":"20339","relation":"dissertation_contains"}]},"date_updated":"2026-07-29T13:13:17Z","volume":75,"acknowledgement":"Work by BA was supported by NSF grants CCF 15-40656 and CCF 20-08551, and by grant 2014/170 from the US-Israel Binational Science Foundation. Part of this research was conducted while BA was visiting ISTA in the summers of 2022 and 2023. The visit of BA to ISTA in the summer of 2022 was supported by an ISTA Visiting Professorship. Research of BA also partially supported by ERC grant no. 882971, “GeoScape,” and by the Erdős Center. Work by AB was supported by Australian Research Council grant DP220102212. Work by IR was supported by a Tandon School of Engineering Fellowship and by NSF Grant CCF-20-08551. BA and AB would like to thank William Steiger for insightful initial discussions of the problems addressed in this work. Open Access funding enabled and organized by CAUL and its Member Institutions.","publication_identifier":{"issn":["0179-5376"],"eissn":["1432-0444"]},"publisher":"Springer Nature","ddc":["500"],"year":"2026","intvolume":"        75","author":[{"first_name":"Boris","last_name":"Aronov","full_name":"Aronov, Boris"},{"last_name":"Basit","full_name":"Basit, Abdul","first_name":"Abdul"},{"full_name":"Ramesh, Indu","last_name":"Ramesh","first_name":"Indu"},{"first_name":"Gianluca","last_name":"Tasinato","id":"0433290C-AF8F-11E9-A4C7-F729E6697425","full_name":"Tasinato, Gianluca"},{"full_name":"Wagner, Uli","last_name":"Wagner","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","first_name":"Uli","orcid":"0000-0002-1494-0568"}],"page":"1331-1355","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"06","article_processing_charge":"Yes (via OA deal)","supplementarymaterial":"yes","file_date_updated":"2026-07-23T11:14:05Z","isi":1,"fulldoi":"https://doi.org/10.1007/s00454-025-00739-0","OA_place":"publisher","status":"public","_id":"19860","abstract":[{"lang":"eng","text":"An eight-partition of a finite set of points (respectively, of a continuous mass distribution) in R^3\r\n consists of three planes that divide the space into 8 octants, such that each open octant contains at most 1/8 of the points (respectively, of the mass). In 1966, Hadwiger showed that any mass distribution in R^3 admits an eight-partition; moreover, one can prescribe the normal direction of one of the three planes. The analogous result for finite point sets follows by a standard limit argument. We prove the following variant of this result: any mass distribution (or point set) in R^3 admits an eight-partition for which the intersection of two of the planes is a line with a prescribed direction. Moreover, we present an efficient algorithm for calculating an eight-partition of a set of n points in R^3 (with prescribed normal direction of one of the planes) in time O(n^7/3). A preliminary version of this work appeared in SoCG’24 (Aronov et al., 40th International Symposium on Computational Geometry, 2024)."}],"PlanS_conform":"1","scopus_import":"1","article_type":"original","doi":"10.1007/s00454-025-00739-0","title":"Eight-partitioning points in 3D, and efficiently too","date_published":"2026-06-01T00:00:00Z","quality_controlled":"1","file":[{"date_created":"2026-07-23T11:14:05Z","relation":"main_file","success":1,"file_name":"2026_DiscreteCompGeom_Aronov.pdf","date_updated":"2026-07-23T11:14:05Z","access_level":"open_access","file_size":525281,"checksum":"a32774a0d14f46cafbd77bfb9d9ac4b6","file_id":"22395","creator":"dernst","content_type":"application/pdf"}],"department":[{"_id":"UlWa"}],"has_accepted_license":"1","oa":1},{"language":[{"iso":"eng"}],"citation":{"ieee":"A. Spasić, “Studying the evolutionary systems biology of the lac operon,” Institute of Science and Technology Austria, 2026.","apa":"Spasić, A. (2026). <i>Studying the evolutionary systems biology of the lac operon</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-22399\">https://doi.org/10.15479/AT-ISTA-22399</a>","chicago":"Spasić, Aleksa. “Studying the Evolutionary Systems Biology of the Lac Operon.” Institute of Science and Technology Austria, 2026. <a href=\"https://doi.org/10.15479/AT-ISTA-22399\">https://doi.org/10.15479/AT-ISTA-22399</a>.","ama":"Spasić A. Studying the evolutionary systems biology of the lac operon. 2026. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-22399\">10.15479/AT-ISTA-22399</a>","ista":"Spasić A. 2026. Studying the evolutionary systems biology of the lac operon. Institute of Science and Technology Austria.","short":"A. Spasić, Studying the Evolutionary Systems Biology of the Lac Operon, Institute of Science and Technology Austria, 2026.","mla":"Spasić, Aleksa. <i>Studying the Evolutionary Systems Biology of the Lac Operon</i>. Institute of Science and Technology Austria, 2026, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-22399\">10.15479/AT-ISTA-22399</a>."},"date_created":"2026-07-25T13:08:32Z","oa_version":"Published Version","publication_status":"published","type":"dissertation","ddc":["576"],"publication_identifier":{"issn":["2791-4585"]},"alternative_title":["ISTA Master’s Thesis"],"publisher":"Institute of Science and Technology Austria","das_tickbox":"0","date_updated":"2026-07-31T10:52:08Z","article_processing_charge":"No","file_date_updated":"2026-07-27T13:07:23Z","degree_awarded":"MS","fulldoi":"https://doi.org/10.15479/AT-ISTA-22399","OA_place":"publisher","day":"27","page":"32","author":[{"full_name":"Spasić, Aleksa","id":"ecee9d38-4040-11ef-8843-b941efb445d6","last_name":"Spasić","first_name":"Aleksa"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","month":"07","year":"2026","has_accepted_license":"1","oa":1,"doi_confirm":"1","file":[{"file_name":"Aleksa_Spasic_Thesis_final.pdf","success":1,"relation":"main_file","date_created":"2026-07-27T13:00:07Z","creator":"aspasic","file_id":"22588","content_type":"application/pdf","file_size":1986078,"access_level":"open_access","date_updated":"2026-07-27T13:00:07Z","checksum":"c29880dd71fcc37f23ac6e2843066ede"},{"file_name":"Thesis_final.docx","date_created":"2026-07-27T13:00:22Z","relation":"source_file","creator":"aspasic","file_id":"22589","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","access_level":"closed","file_size":1868853,"date_updated":"2026-07-27T13:07:23Z","checksum":"4ebe3bd2d833d913c0756343cca5e5f0"}],"date_published":"2026-07-27T00:00:00Z","supervisor":[{"first_name":"Calin C","full_name":"Guet, Calin C","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","last_name":"Guet","orcid":"0000-0001-6220-2052"},{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkačik","full_name":"Tkačik, Gašper","first_name":"Gašper","orcid":"0000-0002-6699-1455"}],"department":[{"_id":"GradSch"},{"_id":"GaTk"},{"_id":"CaGu"}],"corr_author":"1","doi":"10.15479/AT-ISTA-22399","title":"Studying the evolutionary systems biology of the lac operon","_id":"22399","status":"public","abstract":[{"text":"Gaining an understanding of how biological regulation evolves is a fundamental research \r\nquestion in both evolutionary biology and molecular genetics. In order to gain more insight \r\ninto this topic, we focus on studying the simple gene regulatory system of the lac operon in \r\nE. coli. We show that simple population genetic models can shed light on evolution \r\nexperiments and that this combined approach of modelling the experimental system gives \r\ninsight to better understand the causes of evolutionary change in the experiment. We also \r\nstudy the natural diversity in the lac operon from 308 publicly available E. coli genomes that \r\ncome from various host species and different regions of the world. Evidence that selection is \r\ngenerally maintaining the function of the lac operon across the sample regardless of host \r\nspecies is provided and we show that different protein coding genes in the operon are under \r\ndifferent selective constraints on protein sequence preservation. A similar frameshift \r\nmutation found in experimental evolution studies is shown to be present in the sample we \r\nanalyzed, indicating that selectively relevant variants in evolution experiments are also \r\npresent in natural populations. We show that there is no simple phylogenetic relationship \r\nbetween host species, geographical location and the lac operon sequence. Finally, we argue \r\nthat a combined approach of comparative genomics, experimental evolution and theoretical \r\nmodelling contributes to a more complete understanding of molecular evolution. ","lang":"eng"}]}]
