[{"oa_version":"Published Version","publisher":"ML Research Press","month":"07","author":[{"full_name":"Maddipatla, Sai A","last_name":"Maddipatla","first_name":"Sai A","id":"e957f5e5-91c9-11f0-a95f-e090f66ecb4d"},{"full_name":"Sellam, Nadav E","last_name":"Sellam","id":"ef280fe0-91c9-11f0-a95f-8dea3f5bc513","first_name":"Nadav E"},{"full_name":"Bojan, Meital I","first_name":"Meital I","id":"11d88cf5-91ca-11f0-a95f-edf9f08f47b7","last_name":"Bojan"},{"last_name":"Vedula","first_name":"Sanketh","id":"94f2fe44-70fa-11f0-b76b-92922c09452b","full_name":"Vedula, Sanketh"},{"id":"7B541462-FAF6-11E9-A490-E8DFE5697425","first_name":"Paul","last_name":"Schanda","full_name":"Schanda, Paul","orcid":"0000-0002-9350-7606"},{"first_name":"Ailie","last_name":"Marx","full_name":"Marx, Ailie"},{"first_name":"Alexander","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6","last_name":"Bronstein","orcid":"0000-0001-9699-8730","full_name":"Bronstein, Alexander"}],"conference":{"start_date":"2025-07-13","end_date":"2025-07-19","name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada"},"year":"2025","date_published":"2025-07-30T00:00:00Z","_id":"21327","acknowledged_ssus":[{"_id":"ScienComp"}],"article_processing_charge":"No","citation":{"apa":"Maddipatla, S. A., Sellam, N. E., Bojan, M. I., Vedula, S., Schanda, P., Marx, A., &#38; Bronstein, A. M. (2025). Inverse problems with experiment-guided AlphaFold. In <i>Proceedings of the 42nd International Conference on Machine Learning</i> (Vol. 267, pp. 42366–42393). Vancouver, Canada: ML Research Press.","chicago":"Maddipatla, Sai A, Nadav E Sellam, Meital I Bojan, Sanketh Vedula, Paul Schanda, Ailie Marx, and Alex M. Bronstein. “Inverse Problems with Experiment-Guided AlphaFold.” In <i>Proceedings of the 42nd International Conference on Machine Learning</i>, 267:42366–93. ML Research Press, 2025.","ama":"Maddipatla SA, Sellam NE, Bojan MI, et al. Inverse problems with experiment-guided AlphaFold. In: <i>Proceedings of the 42nd International Conference on Machine Learning</i>. Vol 267. ML Research Press; 2025:42366-42393.","ieee":"S. A. Maddipatla <i>et al.</i>, “Inverse problems with experiment-guided AlphaFold,” in <i>Proceedings of the 42nd International Conference on Machine Learning</i>, Vancouver, Canada, 2025, vol. 267, pp. 42366–42393.","mla":"Maddipatla, Sai A., et al. “Inverse Problems with Experiment-Guided AlphaFold.” <i>Proceedings of the 42nd International Conference on Machine Learning</i>, vol. 267, ML Research Press, 2025, pp. 42366–93.","ista":"Maddipatla SA, Sellam NE, Bojan MI, Vedula S, Schanda P, Marx A, Bronstein AM. 2025. Inverse problems with experiment-guided AlphaFold. Proceedings of the 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 42366–42393.","short":"S.A. Maddipatla, N.E. Sellam, M.I. Bojan, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 42366–42393."},"date_created":"2026-02-18T12:11:17Z","date_updated":"2026-02-19T08:56:43Z","oa":1,"arxiv":1,"intvolume":"       267","project":[{"grant_number":"I05812","_id":"eb9c82eb-77a9-11ec-83b8-aadd536561cf","name":"AlloSpace. The emergence and mechanisms of allostery"},{"grant_number":"I06223","_id":"bdb9578d-d553-11ed-ba76-ed5d39fce6f0","name":"Structure and mechanism of the mitochondrial MIM insertase"}],"page":"42366 - 42393","alternative_title":["PMLR"],"status":"public","publication_identifier":{"eissn":["2640-3498"]},"language":[{"iso":"eng"}],"external_id":{"arxiv":["2502.09372"]},"publication":"Proceedings of the 42nd International Conference on Machine Learning","ddc":["000","540"],"title":"Inverse problems with experiment-guided AlphaFold","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)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"This work was supported by the Israeli Science Foundation (ISF) grant number 1834/24. We acknowledge support from the Austrian Science Fund (FWF, grant numbers I5812-B and I6223) and the financial support of the Helmsley Fellowships Program for Sustainability and Health. This research uses resources of the Institute of Science and Technology Austria’s scientific computing cluster. ","day":"30","file_date_updated":"2026-02-19T08:56:10Z","OA_type":"gold","file":[{"relation":"main_file","file_id":"21338","file_size":1924177,"access_level":"open_access","checksum":"f33230a6d59b7978d4cd72795e4e9059","file_name":"2025_ICML_Maddipatla.pdf","date_created":"2026-02-19T08:56:10Z","content_type":"application/pdf","date_updated":"2026-02-19T08:56:10Z","creator":"dernst","success":1}],"license":"https://creativecommons.org/licenses/by/4.0/","OA_place":"publisher","department":[{"_id":"PaSc"},{"_id":"AlBr"},{"_id":"GradSch"}],"volume":267,"type":"conference","quality_controlled":"1","corr_author":"1","has_accepted_license":"1","abstract":[{"text":"Proteins exist as a dynamic ensemble of multiple conformations, and these motions are often crucial for their functions. However, current structure prediction methods predominantly yield a single conformation, overlooking the conformational heterogeneity revealed by diverse experimental modalities. Here, we present a framework for building experiment-grounded protein structure generative models that infer conformational ensembles consistent with measured experimental data. The key idea is to treat stateof-the-art protein structure predictors (e.g., AlphaFold3) as sequence-conditioned structural priors, and cast ensemble modeling as posterior inference of protein structures given experimental measurements. Through extensive real-data experiments, we demonstrate the generality of our method to incorporate a variety of experimental measurements. In particular, our framework uncovers previously unmodeled conformational heterogeneity from crystallographic densities, and generates high-accuracy NMR ensembles orders of magnitude faster than the status quo. Notably, we demonstrate that our ensembles outperform AlphaFold3 (Abramson et al., 2024) and sometimes better fit experimental data than publicly deposited structures to the Protein Data Bank (PDB, Burley et al. (2017)). We believe that this approach will unlock building predictive models that fully embrace experimentally observed conformational diversity.","lang":"eng"}]},{"date_created":"2026-02-18T12:12:47Z","date_updated":"2026-02-19T09:03:53Z","oa":1,"date_published":"2025-07-01T00:00:00Z","_id":"21328","citation":{"short":"F. Kovačević, Z. Yihan, M. Mondelli, in:, Proceedings of 38th Conference on Learning Theory, ML Research Press, 2025, pp. 3354–3404.","ista":"Kovačević F, Yihan Z, Mondelli M. 2025. Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. Proceedings of 38th Conference on Learning Theory. COLT: Conference on Learning Theory, PMLR, vol. 291, 3354–3404.","mla":"Kovačević, Filip, et al. “Spectral Estimators for Multi-Index Models: Precise Asymptotics and Optimal Weak Recovery.” <i>Proceedings of 38th Conference on Learning Theory</i>, vol. 291, ML Research Press, 2025, pp. 3354–404.","ieee":"F. Kovačević, Z. Yihan, and M. Mondelli, “Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery,” in <i>Proceedings of 38th Conference on Learning Theory</i>, Lyon, France, 2025, vol. 291, pp. 3354–3404.","ama":"Kovačević F, Yihan Z, Mondelli M. Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. In: <i>Proceedings of 38th Conference on Learning Theory</i>. Vol 291. ML Research Press; 2025:3354-3404.","chicago":"Kovačević, Filip, Zhang Yihan, and Marco Mondelli. “Spectral Estimators for Multi-Index Models: Precise Asymptotics and Optimal Weak Recovery.” In <i>Proceedings of 38th Conference on Learning Theory</i>, 291:3354–3404. ML Research Press, 2025.","apa":"Kovačević, F., Yihan, Z., &#38; Mondelli, M. (2025). Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. In <i>Proceedings of 38th Conference on Learning Theory</i> (Vol. 291, pp. 3354–3404). Lyon, France: ML Research Press."},"article_processing_charge":"No","conference":{"start_date":"2025-06-30","end_date":"2025-07-04","name":"COLT: Conference on Learning Theory","location":"Lyon, France"},"year":"2025","month":"07","publisher":"ML Research Press","oa_version":"Published Version","author":[{"last_name":"Kovačević","id":"d0258e7b-50b8-11ef-ad56-8b9f537b6b1b","first_name":"Filip","full_name":"Kovačević, Filip"},{"full_name":"Yihan, Zhang","first_name":"Zhang","last_name":"Yihan"},{"last_name":"Mondelli","first_name":"Marco","id":"27EB676C-8706-11E9-9510-7717E6697425","orcid":"0000-0002-3242-7020","full_name":"Mondelli, Marco"}],"external_id":{"arxiv":["2502.01583"]},"status":"public","publication_identifier":{"eissn":["2640-3498"]},"language":[{"iso":"eng"}],"project":[{"name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits","_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf","grant_number":"101161364"}],"page":"3354-3404","alternative_title":["PMLR"],"arxiv":1,"intvolume":"       291","file":[{"date_created":"2026-02-19T09:03:43Z","content_type":"application/pdf","date_updated":"2026-02-19T09:03:43Z","checksum":"19aa70ab4f57fb9067b6ebb99a5fd6f0","file_name":"2025_LearningTheory_Kovacevic.pdf","access_level":"open_access","creator":"dernst","success":1,"file_id":"21339","relation":"main_file","file_size":844611}],"department":[{"_id":"MaMo"}],"OA_place":"publisher","file_date_updated":"2026-02-19T09:03:43Z","OA_type":"gold","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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)"},"acknowledgement":"This work was done when Y. Z. was at the Institute of Science and Technology Austria. Y. Z. and\r\nM. M. are funded by the European Union (ERC, INF2, project number 101161364). Views and\r\nopinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them. The authors would like to acknowledge (in alphabetical order) discussions with Yatin Dandi, Leonardo Defilippis and Bruno Loureiro concerning their parallel work (Defilippis et al., 2025).","day":"01","publication":"Proceedings of 38th Conference on Learning Theory","ddc":["000"],"title":"Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery","corr_author":"1","has_accepted_license":"1","abstract":[{"text":"Multi-index models provide a popular framework to investigate the learnability of functions with low-dimensional structure and, also due to their connections with neural networks, they have been object of recent intensive study. In this paper, we focus on recovering the subspace spanned by the signals via spectral estimators – a family of methods routinely used in practice, often as a warm-start for iterative algorithms. Our main technical contribution is a precise asymptotic characterization of the performance of spectral methods, when sample size and input dimension grow proportionally and the dimension p of the space to recover is fixed. Specifically, we locate the top-p eigenvalues of the spectral matrix and establish the overlaps between the corresponding eigenvectors (which give the spectral estimators) and a basis of the signal subspace. Our analysis unveils a phase transition phenomenon in which, as the sample complexity grows, eigenvalues escape from the bulk of the spectrum and, when that happens, eigenvectors recover directions of the desired subspace. The precise characterization we put forward enables the optimization of the data preprocessing, thus allowing to identify the spectral estimator that requires the minimal sample size for weak recovery.","lang":"eng"}],"volume":291,"scopus_import":"1","type":"conference","quality_controlled":"1"},{"title":"Solubility of a resultant equation and applications","ddc":["510"],"publication":"Journal de l'ecole polytechnique mathematiques","day":"21","acknowledgement":"While working on this paper, the first author was supported by a FWF grant (DOI 10.55776/P36278).","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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)"},"doi":"10.5802/jep.320","OA_type":"gold","file_date_updated":"2026-02-24T07:56:34Z","department":[{"_id":"TiBr"}],"OA_place":"publisher","file":[{"success":1,"creator":"dernst","access_level":"open_access","file_name":"2025_JEP_Browning.pdf","date_updated":"2026-02-24T07:56:34Z","checksum":"828577ea48ac6109d3e9dd1aeddd45c4","date_created":"2026-02-24T07:56:34Z","content_type":"application/pdf","file_size":1003689,"relation":"main_file","file_id":"21356"}],"scopus_import":"1","quality_controlled":"1","type":"journal_article","volume":12,"has_accepted_license":"1","corr_author":"1","abstract":[{"lang":"eng","text":"The large sieve is used to estimate the density of quadratic polynomials Q ∈ Z[x],\r\nsuch that there exists an odd degree polynomial defined over Z which has resultant ±1 with Q.\r\nGiven a monic polynomial R ∈ Z[x] of odd degree, this is used to show that for almost all\r\nquadratic polynomials Q ∈ Z[x], there exists a prime p such that Q and R share a common\r\nroot in Fp. Using recent work of Landesman, an application to the average size of the odd part\r\nof the class group of quadratic number fields is also given"},{"text":" Le grand crible est utilisé pour estimer la densité des polynômes quadratiques Q ∈ Z[x] tels qu’il existe un polynôme de degré impair défini sur Z dont le résultant avec Q est égal à ±1. Étant donné un polynôme unitaire R ∈ Z[x] de degré impair, on s’en sert pour montrer que, pour presque tous les polynômes quadratiques Q ∈ Z[x], il existe un nombre premier p tel que Q et R aient une racine commune dans Fp. En utilisant des travaux récents de Landesman, on obtient également une application concernant la taille moyenne de la partie impaire du groupe de classe des corps quadratiques.","lang":"fre"}],"author":[{"last_name":"Browning","first_name":"Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","full_name":"Browning, Timothy D"},{"last_name":"Chan","first_name":"Yik Tung","id":"c4c0afc8-9262-11ed-9231-d8b0bc743af1","orcid":"0000-0001-8467-4106","full_name":"Chan, Yik Tung"}],"month":"10","oa_version":"Published Version","publisher":"Ecole polytechnique","year":"2025","article_type":"original","article_processing_charge":"Yes","citation":{"ieee":"T. D. Browning and S. Chan, “Solubility of a resultant equation and applications,” <i>Journal de l’ecole polytechnique mathematiques</i>, vol. 12. Ecole polytechnique, pp. 1677–1691, 2025.","mla":"Browning, Timothy D., and Stephanie Chan. “Solubility of a Resultant Equation and Applications.” <i>Journal de l’ecole Polytechnique Mathematiques</i>, vol. 12, Ecole polytechnique, 2025, pp. 1677–91, doi:<a href=\"https://doi.org/10.5802/jep.320\">10.5802/jep.320</a>.","ama":"Browning TD, Chan S. Solubility of a resultant equation and applications. <i>Journal de l’ecole polytechnique mathematiques</i>. 2025;12:1677-1691. doi:<a href=\"https://doi.org/10.5802/jep.320\">10.5802/jep.320</a>","chicago":"Browning, Timothy D, and Stephanie Chan. “Solubility of a Resultant Equation and Applications.” <i>Journal de l’ecole Polytechnique Mathematiques</i>. Ecole polytechnique, 2025. <a href=\"https://doi.org/10.5802/jep.320\">https://doi.org/10.5802/jep.320</a>.","apa":"Browning, T. D., &#38; Chan, S. (2025). Solubility of a resultant equation and applications. <i>Journal de l’ecole Polytechnique Mathematiques</i>. Ecole polytechnique. <a href=\"https://doi.org/10.5802/jep.320\">https://doi.org/10.5802/jep.320</a>","short":"T.D. Browning, S. Chan, Journal de l’ecole Polytechnique Mathematiques 12 (2025) 1677–1691.","ista":"Browning TD, Chan S. 2025. Solubility of a resultant equation and applications. Journal de l’ecole polytechnique mathematiques. 12, 1677–1691."},"date_published":"2025-10-21T00:00:00Z","_id":"21343","date_created":"2026-02-22T23:01:36Z","date_updated":"2026-02-24T07:57:53Z","oa":1,"DOAJ_listed":"1","intvolume":"        12","arxiv":1,"project":[{"name":"Rational curves via function field analytic number theory","_id":"bd8a4fdc-d553-11ed-ba76-80a0167441a3","grant_number":"P36278"}],"page":"1677-1691","publication_identifier":{"eissn":["2270-518X"],"issn":["2429-7100"]},"status":"public","PlanS_conform":"1","language":[{"iso":"eng"}],"external_id":{"arxiv":["2411.09264"]}},{"abstract":[{"lang":"eng","text":"We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project successfully determined all 22 028 942 edges of the implication graph between the 4694 simplest equational laws on magmas, by a combination of human-generated and automated proofs, all validated by the formal proof assistant language Lean. As a result of this project, several new constructions of magmas satisfying specific laws were discovered, and several auxiliary questions were also addressed, such as the effect of restricting attention to finite magmas."}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2512.07087","open_access":"1"}],"language":[{"iso":"eng"}],"status":"public","external_id":{"arxiv":["2512.07087"]},"arxiv":1,"type":"preprint","article_processing_charge":"No","doi":"10.48550/arXiv.2512.07087","citation":{"apa":"Bolan, M., Breitner, J., Brox, J., Carlini, N., Carneiro, M., Doorn, F. van, … Zheng, F. (n.d.). The equational theories project: Advancing collaborative mathematical research at scale. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2512.07087\">https://doi.org/10.48550/arXiv.2512.07087</a>","chicago":"Bolan, Matthew, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, et al. “The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2512.07087\">https://doi.org/10.48550/arXiv.2512.07087</a>.","ama":"Bolan M, Breitner J, Brox J, et al. The equational theories project: Advancing collaborative mathematical research at scale. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2512.07087\">10.48550/arXiv.2512.07087</a>","mla":"Bolan, Matthew, et al. “The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.” <i>ArXiv</i>, doi:<a href=\"https://doi.org/10.48550/arXiv.2512.07087\">10.48550/arXiv.2512.07087</a>.","ieee":"M. Bolan <i>et al.</i>, “The equational theories project: Advancing collaborative mathematical research at scale,” <i>arXiv</i>. .","ista":"Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, <a href=\"https://doi.org/10.48550/arXiv.2512.07087\">10.48550/arXiv.2512.07087</a>.","short":"M. Bolan, J. Breitner, J. Brox, N. Carlini, M. Carneiro, F. van Doorn, M. Dvorak, A. Goens, A. Hill, H. Husum, H.I. Mejia, Z.A. Kocsis, B.L. Floch, A. Bar-on, L. Luccioli, D. McNeil, A. Meiburg, P. Monticone, P.P. Nielsen, E.O. Osazuwa, G. Paolini, M. Petracci, B. Reinke, D. Renshaw, M. Rossel, C. Roux, J. Scanvic, S. Srinivas, A.R. Tadipatri, T. Tao, V. Tsyrklevich, F. Vaquerizo-Villar, D. Weber, F. Zheng, ArXiv (n.d.)."},"_id":"21399","date_published":"2025-12-16T00:00:00Z","oa":1,"date_created":"2026-03-04T12:00:16Z","department":[{"_id":"GradSch"},{"_id":"VlKo"}],"OA_place":"repository","date_updated":"2026-03-12T08:36:21Z","title":"The equational theories project: Advancing collaborative mathematical research at scale","publication":"arXiv","author":[{"full_name":"Bolan, Matthew","first_name":"Matthew","last_name":"Bolan"},{"full_name":"Breitner, Joachim","last_name":"Breitner","first_name":"Joachim"},{"full_name":"Brox, Jose","last_name":"Brox","first_name":"Jose"},{"full_name":"Carlini, Nicholas","last_name":"Carlini","first_name":"Nicholas"},{"first_name":"Mario","last_name":"Carneiro","full_name":"Carneiro, Mario"},{"full_name":"Doorn, Floris van","last_name":"Doorn","first_name":"Floris van"},{"last_name":"Dvorak","first_name":"Martin","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","orcid":"0000-0001-5293-214X","full_name":"Dvorak, Martin"},{"first_name":"Andrés","last_name":"Goens","full_name":"Goens, Andrés"},{"full_name":"Hill, Aaron","last_name":"Hill","first_name":"Aaron"},{"first_name":"Harald","last_name":"Husum","full_name":"Husum, Harald"},{"full_name":"Mejia, Hernán Ibarra","last_name":"Mejia","first_name":"Hernán Ibarra"},{"full_name":"Kocsis, Zoltan A.","last_name":"Kocsis","first_name":"Zoltan A."},{"first_name":"Bruno Le","last_name":"Floch","full_name":"Floch, Bruno Le"},{"full_name":"Bar-on, Amir","first_name":"Amir","last_name":"Bar-on"},{"full_name":"Luccioli, Lorenzo","first_name":"Lorenzo","last_name":"Luccioli"},{"full_name":"McNeil, Douglas","last_name":"McNeil","first_name":"Douglas"},{"full_name":"Meiburg, Alex","first_name":"Alex","last_name":"Meiburg"},{"last_name":"Monticone","first_name":"Pietro","full_name":"Monticone, Pietro"},{"last_name":"Nielsen","first_name":"Pace P.","full_name":"Nielsen, Pace P."},{"full_name":"Osazuwa, Emmanuel Osalotioman","first_name":"Emmanuel Osalotioman","last_name":"Osazuwa"},{"first_name":"Giovanni","last_name":"Paolini","full_name":"Paolini, Giovanni"},{"first_name":"Marco","last_name":"Petracci","full_name":"Petracci, Marco"},{"last_name":"Reinke","first_name":"Bernhard","full_name":"Reinke, Bernhard"},{"full_name":"Renshaw, David","last_name":"Renshaw","first_name":"David"},{"first_name":"Marcus","last_name":"Rossel","full_name":"Rossel, Marcus"},{"first_name":"Cody","last_name":"Roux","full_name":"Roux, Cody"},{"last_name":"Scanvic","first_name":"Jérémy","full_name":"Scanvic, Jérémy"},{"full_name":"Srinivas, Shreyas","last_name":"Srinivas","first_name":"Shreyas"},{"full_name":"Tadipatri, Anand Rao","first_name":"Anand Rao","last_name":"Tadipatri"},{"full_name":"Tao, Terence","last_name":"Tao","first_name":"Terence"},{"full_name":"Tsyrklevich, Vlad","last_name":"Tsyrklevich","first_name":"Vlad"},{"last_name":"Vaquerizo-Villar","first_name":"Fernando","full_name":"Vaquerizo-Villar, Fernando"},{"last_name":"Weber","first_name":"Daniel","full_name":"Weber, Daniel"},{"last_name":"Zheng","first_name":"Fan","full_name":"Zheng, Fan"}],"oa_version":"Preprint","month":"12","year":"2025","day":"16","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)"},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_status":"submitted"},{"oa_version":"Published Version","month":"10","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","author":[{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"full_name":"Křišťan, Jan Matyáš","first_name":"Jan Matyáš","last_name":"Křišťan"},{"first_name":"Stefan","last_name":"Schmid","full_name":"Schmid, Stefan"},{"orcid":"0000-0002-1419-3267","full_name":"Svoboda, Jakub","first_name":"Jakub","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","last_name":"Svoboda"},{"full_name":"Yeo, Michelle X","orcid":"0009-0001-3676-4809","id":"2D82B818-F248-11E8-B48F-1D18A9856A87","first_name":"Michelle X","last_name":"Yeo"}],"year":"2025","conference":{"start_date":"2025-10-27","end_date":"2025-10-31","name":"DISC: Symposium on Distributed Computing","location":"Berlin, Germany"},"_id":"21412","date_published":"2025-10-22T00:00:00Z","article_processing_charge":"No","citation":{"ista":"Chatterjee K, Křišťan JM, Schmid S, Svoboda J, Yeo MX. 2025. Boosting payment channel network liquidity with topology optimization and transaction selection. 39th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 356, 23.","short":"K. Chatterjee, J.M. Křišťan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.","apa":"Chatterjee, K., Křišťan, J. M., Schmid, S., Svoboda, J., &#38; Yeo, M. X. (2025). Boosting payment channel network liquidity with topology optimization and transaction selection. In <i>39th International Symposium on Distributed Computing</i> (Vol. 356). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.DISC.2025.23\">https://doi.org/10.4230/LIPIcs.DISC.2025.23</a>","chicago":"Chatterjee, Krishnendu, Jan Matyáš Křišťan, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection.” In <i>39th International Symposium on Distributed Computing</i>, Vol. 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. <a href=\"https://doi.org/10.4230/LIPIcs.DISC.2025.23\">https://doi.org/10.4230/LIPIcs.DISC.2025.23</a>.","ama":"Chatterjee K, Křišťan JM, Schmid S, Svoboda J, Yeo MX. Boosting payment channel network liquidity with topology optimization and transaction selection. In: <i>39th International Symposium on Distributed Computing</i>. Vol 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:<a href=\"https://doi.org/10.4230/LIPIcs.DISC.2025.23\">10.4230/LIPIcs.DISC.2025.23</a>","ieee":"K. Chatterjee, J. M. Křišťan, S. Schmid, J. Svoboda, and M. X. Yeo, “Boosting payment channel network liquidity with topology optimization and transaction selection,” in <i>39th International Symposium on Distributed Computing</i>, Berlin, Germany, 2025, vol. 356.","mla":"Chatterjee, Krishnendu, et al. “Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection.” <i>39th International Symposium on Distributed Computing</i>, vol. 356, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:<a href=\"https://doi.org/10.4230/LIPIcs.DISC.2025.23\">10.4230/LIPIcs.DISC.2025.23</a>."},"oa":1,"date_created":"2026-03-08T23:01:46Z","date_updated":"2026-03-09T11:52:58Z","article_number":"23","arxiv":1,"intvolume":"       356","project":[{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"alternative_title":["LIPIcs"],"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9783959774024"],"issn":["1868-8969"]},"status":"public","external_id":{"arxiv":["2508.14524"]},"ddc":["000"],"publication":"39th International Symposium on Distributed Computing","title":"Boosting payment channel network liquidity with topology optimization and transaction selection","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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":"published","day":"22","acknowledgement":"Chatterjee, Krishnendu: European Research Council CoG 863818 (ForM-SMArt) and Austrian Science Fund 10.55776/COE12.\r\nKřišťan, Jan Matyáš: Czech Science Foundation Grant no. 24-12046S.\r\nSchmid, Stefan: German Research Foundation (DFG) project ReNO (SPP 2378) from 2023-2027.\r\nSvoboda, Jakub: European Research Council CoG 863818 (ForM-SMArt) and Austrian Science Fund 10.55776/COE12.\r\nYeo, Michelle: MOE-T2EP20122-0014 (Data-Driven Distributed Algorithms).","OA_type":"gold","file_date_updated":"2026-03-09T11:51:59Z","doi":"10.4230/LIPIcs.DISC.2025.23","ec_funded":1,"file":[{"creator":"dernst","success":1,"access_level":"open_access","date_created":"2026-03-09T11:51:59Z","content_type":"application/pdf","date_updated":"2026-03-09T11:51:59Z","checksum":"8e3d1594365df60163d9df22158a37b1","file_name":"2025_DISC_Chatterjee.pdf","file_size":1130069,"relation":"main_file","file_id":"21418"}],"OA_place":"publisher","department":[{"_id":"KrCh"}],"volume":356,"quality_controlled":"1","type":"conference","scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2025/1484.pdf"}],"abstract":[{"text":"Payment channel networks (PCNs) are a promising technology that alleviates blockchain scalability by shifting the transaction load from the blockchain to the PCN. Nevertheless, the network topology has to be carefully designed to maximise the transaction throughput in PCNs. Additionally, users in PCNs also have to make optimal decisions on which transactions to forward and which to reject to prolong the lifetime of their channels. In this work, we consider an input sequence of transactions over p parties. Each transaction consists of a transaction size, source, and target, and can be either accepted or rejected (entailing a cost). The goal is to design a PCN topology among the p cooperating parties, along with the channel capacities, and then output a decision for each transaction in the sequence to minimise the cost of creating and augmenting channels, as well as the cost of rejecting transactions. Our main contribution is an 𝒪(p) approximation algorithm for the problem with p parties. We further show that with some assumptions on the distribution of transactions, we can reduce the approximation ratio to 𝒪(√p). We complement our theoretical analysis with an empirical study of our assumptions and approach in the context of the Lightning Network.","lang":"eng"}],"has_accepted_license":"1"},{"DOAJ_listed":"1","date_updated":"2026-03-09T11:43:38Z","date_created":"2026-03-08T23:01:46Z","oa":1,"date_published":"2025-04-01T00:00:00Z","_id":"21413","article_processing_charge":"Yes","citation":{"ista":"Brázdil T, Chatterjee K, Chmelik M, Forejt V, Kretinsky J, Kwiatkowska M, Meggendorfer T, Parker D, Ujma M. 2025. Learning algorithms for verification of Markov decision processes. TheoretiCS. 4, 10.","short":"T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).","chicago":"Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Kretinsky, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, and Mateusz Ujma. “Learning Algorithms for Verification of Markov Decision Processes.” <i>TheoretiCS</i>. TheoretiCS Foundation, 2025. <a href=\"https://doi.org/10.46298/theoretics.25.10\">https://doi.org/10.46298/theoretics.25.10</a>.","apa":"Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M., … Ujma, M. (2025). Learning algorithms for verification of Markov decision processes. <i>TheoretiCS</i>. TheoretiCS Foundation. <a href=\"https://doi.org/10.46298/theoretics.25.10\">https://doi.org/10.46298/theoretics.25.10</a>","mla":"Brázdil, Tomáš, et al. “Learning Algorithms for Verification of Markov Decision Processes.” <i>TheoretiCS</i>, vol. 4, 10, TheoretiCS Foundation, 2025, doi:<a href=\"https://doi.org/10.46298/theoretics.25.10\">10.46298/theoretics.25.10</a>.","ieee":"T. Brázdil <i>et al.</i>, “Learning algorithms for verification of Markov decision processes,” <i>TheoretiCS</i>, vol. 4. TheoretiCS Foundation, 2025.","ama":"Brázdil T, Chatterjee K, Chmelik M, et al. Learning algorithms for verification of Markov decision processes. <i>TheoretiCS</i>. 2025;4. doi:<a href=\"https://doi.org/10.46298/theoretics.25.10\">10.46298/theoretics.25.10</a>"},"article_type":"original","year":"2025","month":"04","oa_version":"Published Version","publisher":"TheoretiCS Foundation","author":[{"full_name":"Brázdil, Tomáš","first_name":"Tomáš","last_name":"Brázdil"},{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Martin","id":"3624234E-F248-11E8-B48F-1D18A9856A87","last_name":"Chmelik","full_name":"Chmelik, Martin"},{"last_name":"Forejt","first_name":"Vojtěch","full_name":"Forejt, Vojtěch"},{"full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","last_name":"Kretinsky"},{"first_name":"Marta","last_name":"Kwiatkowska","full_name":"Kwiatkowska, Marta"},{"id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","first_name":"Tobias","last_name":"Meggendorfer","full_name":"Meggendorfer, Tobias","orcid":"0000-0002-1712-2165"},{"full_name":"Parker, David","first_name":"David","last_name":"Parker"},{"first_name":"Mateusz","last_name":"Ujma","full_name":"Ujma, Mateusz"}],"external_id":{"arxiv":["2403.09184"]},"status":"public","publication_identifier":{"eissn":["2751-4838"]},"language":[{"iso":"eng"}],"PlanS_conform":"1","project":[{"name":"Quantitative Reactive Modeling","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"},{"name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","call_identifier":"FP7"},{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"},{"call_identifier":"FWF","grant_number":"S11402-N23","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"article_number":"10","arxiv":1,"intvolume":"         4","ec_funded":1,"file":[{"date_created":"2026-03-09T11:39:59Z","file_name":"2026_TheoretiCS_Brazdil.pdf","checksum":"2ccf563ae577ee08d82baf752292ca7b","content_type":"application/pdf","date_updated":"2026-03-09T11:39:59Z","access_level":"open_access","creator":"dernst","success":1,"file_id":"21417","relation":"main_file","file_size":861607}],"department":[{"_id":"KrCh"}],"OA_place":"publisher","OA_type":"gold","file_date_updated":"2026-03-09T11:39:59Z","doi":"10.46298/theoretics.25.10","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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)"},"day":"01","acknowledgement":"This research was funded in part by the European Research Council (ERC) under grant agreement AdG-267989 (QUAREM)*, AdG-246967 (VERIWARE)*, StG-279307 (Graph Games)*\r\n, CoG-863818 (ForM-SMArt), and AdG-834115 (FUN2MODEL), by the EU FP7 project HIERATIC*, by the German Research Foundation (DFG) project 427755713 (GOPro), by the Austrian Science Fund (FWF) projects S11402-N23 (RiSE)* , S11407-N23 (RiSE)*\r\n, and P23499-N23* , by the Czech Science Foundation grant No P202/12/P612* and GA23-06963S, by the MUNI Award in Science and Humanities (MUNI/I/1757/2021) of the Grant\r\nAgency of Masaryk University, by EPSRC project EP/K038575/1*, and by the Microsoft faculty fellows award*. A preliminary version of this article appeared at ATVA 2014 [33]. The * indicates funding that supported that version.","ddc":["000"],"title":"Learning algorithms for verification of Markov decision processes","publication":"TheoretiCS","has_accepted_license":"1","abstract":[{"text":"We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs).\r\nThe primary goal of our techniques is to improve performance by avoiding an exhaustive exploration of the state space, instead focussing on particularly relevant areas of the system, guided by heuristics. Our work builds on the previous results of Br{á}zdil et al., significantly extending it as well as refining several details and fixing errors.\r\nThe presented framework focuses on probabilistic reachability, which is a core problem in verification, and is instantiated in two distinct scenarios.\r\nThe first assumes that full knowledge of the MDP is available, in particular precise transition probabilities. It performs a heuristic-driven partial exploration of the model, yielding precise lower and upper bounds on the required probability. The second tackles the case where we may only sample the MDP without knowing the exact transition dynamics. Here, we obtain probabilistic guarantees, again in terms of both the lower and upper bounds, which provides efficient stopping criteria for the approximation. In particular, the latter is an extension of statistical model-checking (SMC) for unbounded properties in MDPs. In contrast to other related approaches, we do not restrict our attention to time-bounded (finite-horizon) or discounted properties, nor assume any particular structural properties of the MDP.","lang":"eng"}],"volume":4,"scopus_import":"1","type":"journal_article","quality_controlled":"1"},{"isi":1,"year":"2025","article_type":"original","author":[{"last_name":"Bartocci","first_name":"Ezio","full_name":"Bartocci, Ezio"},{"last_name":"Ferrere","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","full_name":"Ferrere, Thomas","orcid":"0000-0001-5199-3143"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A"},{"full_name":"Nickovic, Dejan","first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","last_name":"Nickovic"},{"orcid":"0000-0002-8741-5799","full_name":"Oliveira da Costa, Ana","first_name":"Ana","id":"f347ec37-6676-11ee-b395-a888cb7b4fb4","last_name":"Oliveira da Costa"}],"oa_version":"Published Version","month":"05","publisher":"Springer Nature","date_updated":"2025-12-30T06:50:51Z","date_created":"2024-06-02T22:00:57Z","oa":1,"citation":{"ama":"Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. Information-flow interfaces. <i>Formal Methods in System Design</i>. 2025;66:3-48. doi:<a href=\"https://doi.org/10.1007/s10703-024-00447-0\">10.1007/s10703-024-00447-0</a>","ieee":"E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-flow interfaces,” <i>Formal Methods in System Design</i>, vol. 66. Springer Nature, pp. 3–48, 2025.","mla":"Bartocci, Ezio, et al. “Information-Flow Interfaces.” <i>Formal Methods in System Design</i>, vol. 66, Springer Nature, 2025, pp. 3–48, doi:<a href=\"https://doi.org/10.1007/s10703-024-00447-0\">10.1007/s10703-024-00447-0</a>.","apa":"Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., &#38; Oliveira da Costa, A. (2025). Information-flow interfaces. <i>Formal Methods in System Design</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s10703-024-00447-0\">https://doi.org/10.1007/s10703-024-00447-0</a>","chicago":"Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Information-Flow Interfaces.” <i>Formal Methods in System Design</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/s10703-024-00447-0\">https://doi.org/10.1007/s10703-024-00447-0</a>.","short":"E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design 66 (2025) 3–48.","ista":"Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. 2025. Information-flow interfaces. Formal Methods in System Design. 66, 3–48."},"article_processing_charge":"Yes (via OA deal)","date_published":"2025-05-01T00:00:00Z","_id":"17094","project":[{"name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020"},{"_id":"34a1b658-11ca-11ed-8bc3-c75229f0241e","grant_number":"F8502","name":"Interface Theory for Security and Privacy"}],"related_material":{"record":[{"id":"11355","relation":"shorter_version","status":"public"}]},"page":"3-48","intvolume":"        66","arxiv":1,"external_id":{"arxiv":["2002.06465"],"isi":["001230084200001"]},"status":"public","publication_identifier":{"eissn":["1572-8102"],"issn":["0925-9856"]},"language":[{"iso":"eng"}],"PlanS_conform":"1","day":"01","acknowledgement":"This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 956123 and it was funded in part by the Austrian Science Fund (FWF) project W1255-N23, by the Austrian FWF project ZK-35, by the FWF project SpyCoDe 10.55776/F85 and by the ERC-2020-AdG 101020093. This paper extends the text and the results of the manuscript published at FASE 2022 [1].","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)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Information-flow interfaces","publication":"Formal Methods in System Design","ddc":["000"],"department":[{"_id":"ToHe"}],"OA_place":"publisher","file":[{"creator":"dernst","success":1,"file_name":"2025_FormalMethodsSysDesign_Bartocci.pdf","date_updated":"2025-12-30T06:50:12Z","date_created":"2025-12-30T06:50:12Z","content_type":"application/pdf","checksum":"244a71a916103b8ea08e9d0bab32bcd9","access_level":"open_access","file_size":3860690,"file_id":"20879","relation":"main_file"}],"ec_funded":1,"doi":"10.1007/s10703-024-00447-0","file_date_updated":"2025-12-30T06:50:12Z","OA_type":"hybrid","scopus_import":"1","quality_controlled":"1","type":"journal_article","volume":66,"has_accepted_license":"1","corr_author":"1","abstract":[{"lang":"eng","text":"Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the environments in which the component can be used safely, and guarantees, which are promises that the designer asks from the team that implements the component. A theory of formal contracts can be formalized as an interface theory, which supports the composition and refinement of both assumptions and guarantees. Although there is a rich landscape of contract-based design methods that address functional and extra-functional properties, we present the first interface theory designed to ensure system-wide security properties. Our framework provides a refinement relation and a composition operation that support both incremental design and independent implementability. We develop our theory for both stateless and stateful interfaces. Additionally, we introduce information-flow contracts where assumptions and guarantees are sets of flow relations. We use these contracts to illustrate how to enrich information-flow interfaces with a semantic view. We illustrate the applicability of our framework with two examples inspired by the automotive domain."}]},{"author":[{"orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert","last_name":"Edelsbrunner","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-0659-3201","full_name":"Nikitenko, Anton","first_name":"Anton","id":"3E4FF1BA-F248-11E8-B48F-1D18A9856A87","last_name":"Nikitenko"}],"month":"03","oa_version":"Published Version","publisher":"Springer Nature","isi":1,"year":"2025","article_type":"original","article_processing_charge":"Yes (via OA deal)","citation":{"ista":"Edelsbrunner H, Nikitenko A. 2025. Average and expected distortion of Voronoi paths and scapes. Discrete &#38; Computational Geometry. 73, 490–499.","short":"H. Edelsbrunner, A. Nikitenko, Discrete &#38; Computational Geometry 73 (2025) 490–499.","chicago":"Edelsbrunner, Herbert, and Anton Nikitenko. “Average and Expected Distortion of Voronoi Paths and Scapes.” <i>Discrete &#38; Computational Geometry</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/s00454-024-00660-y\">https://doi.org/10.1007/s00454-024-00660-y</a>.","apa":"Edelsbrunner, H., &#38; Nikitenko, A. (2025). Average and expected distortion of Voronoi paths and scapes. <i>Discrete &#38; Computational Geometry</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00454-024-00660-y\">https://doi.org/10.1007/s00454-024-00660-y</a>","ieee":"H. Edelsbrunner and A. Nikitenko, “Average and expected distortion of Voronoi paths and scapes,” <i>Discrete &#38; Computational Geometry</i>, vol. 73. Springer Nature, pp. 490–499, 2025.","mla":"Edelsbrunner, Herbert, and Anton Nikitenko. “Average and Expected Distortion of Voronoi Paths and Scapes.” <i>Discrete &#38; Computational Geometry</i>, vol. 73, Springer Nature, 2025, pp. 490–99, doi:<a href=\"https://doi.org/10.1007/s00454-024-00660-y\">10.1007/s00454-024-00660-y</a>.","ama":"Edelsbrunner H, Nikitenko A. Average and expected distortion of Voronoi paths and scapes. <i>Discrete &#38; Computational Geometry</i>. 2025;73:490-499. doi:<a href=\"https://doi.org/10.1007/s00454-024-00660-y\">10.1007/s00454-024-00660-y</a>"},"_id":"17149","date_published":"2025-03-01T00:00:00Z","oa":1,"date_created":"2024-06-16T22:01:07Z","date_updated":"2026-02-16T12:18:50Z","intvolume":"        73","arxiv":1,"page":"490-499","project":[{"call_identifier":"H2020","name":"Alpha Shape Theory Extended","_id":"266A2E9E-B435-11E9-9278-68D0E5697425","grant_number":"788183"},{"_id":"268116B8-B435-11E9-9278-68D0E5697425","grant_number":"Z00342","name":"Mathematics, Computer Science","call_identifier":"FWF"},{"grant_number":"I02979-N35","_id":"2561EBF4-B435-11E9-9278-68D0E5697425","name":"Persistence and stability of geometric complexes","call_identifier":"FWF"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0179-5376"],"eissn":["1432-0444"]},"status":"public","external_id":{"arxiv":["2012.03350"],"pmid":["39974750"],"isi":["001238566200004"]},"ddc":["510"],"title":"Average and expected distortion of Voronoi paths and scapes","publication":"Discrete & Computational Geometry","day":"01","acknowledgement":"The authors thank Ranita Biswas and Tatiana Ezubova for the collaboration on computational experiments that motivated the work reported in this paper. The authors also thank Daniel Bonnema for proofreading and noticing an issue with the original proof of Lemma 4.3.\r\nOpen access funding provided by Institute of Science and Technology (IST Austria).\r\nThis project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, Grant No. 788183, from the Wittgenstein Prize, Austrian Science Fund (FWF), Grant No. Z 342-N31, and from the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, Austrian Science Fund (FWF), Grant No. I 02979-N35.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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":"published","doi":"10.1007/s00454-024-00660-y","OA_type":"hybrid","file_date_updated":"2025-04-23T07:31:32Z","pmid":1,"OA_place":"publisher","department":[{"_id":"HeEd"}],"ec_funded":1,"file":[{"success":1,"creator":"dernst","access_level":"open_access","date_created":"2025-04-23T07:31:32Z","content_type":"application/pdf","date_updated":"2025-04-23T07:31:32Z","checksum":"ffb0c818222138f9f113f4bbea41e834","file_name":"2025_DiscreteComputGeom_EdelsbrunnerHe.pdf","file_size":283443,"relation":"main_file","file_id":"19610"}],"type":"journal_article","quality_controlled":"1","scopus_import":"1","volume":73,"abstract":[{"text":"The approximation of a circle with the edges of a fine square grid distorts the perimeter by a factor about 4/Pi. We prove that this factor is the same on average (in the ergodic sense) for approximations of any rectifiable curve by the edges of any non-exotic Delaunay mosaic (known as Voronoi path), and extend the results to all dimensions, generalizing Voronoi paths to Voronoi scapes.","lang":"eng"}],"has_accepted_license":"1","corr_author":"1"},{"publication":"Brain Pathology","title":"Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology","ddc":["570"],"acknowledgement":"Funding sources were Spanish Ministerio de Economía y Competitividad, Junta de Comunidades de Castilla-La Mancha (Spain), Life Science Innovation Center at University of Fukui and German Research Foundation.\r\nGrants RTI2018-095812-B-I00 and PID2021-125875OB-I00 funded by MCIN/AEI/10.13039/501100011033 and by “ERDF A way of making Europe” to Rafael Luján. This study was also supported by a grant from Junta de Comunidades de Castilla-La Mancha (SBPLY/17/180501/000229 and SBPLY/21/180501/000064) and Universidad de Castilla-La Mancha (2023-GRIN-34187) to Rafael Luján, and Life Science Innovation Center (Research and Education Program for Life Science) at University of Fukui and JSPS KAKENHI Grant Numbers 16H04662, 17K19446, 18H05120 to Yugo Fukazawa and Margarita Salas fellowship from Ministerio de Universidades and Universidad de Castilla-La Mancha to Alejandro Martín-Belmonte. German Research Foundation (DFG FOR 2143) and BIOSS-2 to Akos Kulik.","day":"01","publication_status":"published","tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1111/bpa.13279","pmid":1,"file_date_updated":"2025-04-16T09:56:08Z","OA_type":"gold","OA_place":"publisher","department":[{"_id":"RySh"}],"file":[{"relation":"main_file","file_id":"19582","file_size":8767863,"access_level":"open_access","content_type":"application/pdf","date_created":"2025-04-16T09:56:08Z","checksum":"75a172800ab2e949abb66fba97cf70f0","date_updated":"2025-04-16T09:56:08Z","file_name":"2025_BrainPathology_MartinBelmonte.pdf","success":1,"creator":"dernst"}],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","scopus_import":"1","quality_controlled":"1","type":"journal_article","volume":35,"has_accepted_license":"1","abstract":[{"text":"Voltage-gated CaV2.1 (P/Q-type) Ca2+ channels play a crucial role in regulating neurotransmitter release, thus contributing to synaptic plasticity and to processes such as learning and memory. Despite their recognized importance in neural function, there is limited information on their potential involvement in neurodegenerative conditions such as Alzheimer's disease (AD). Here, we aimed to explore the impact of AD pathology on the density and nanoscale compartmentalization of CaV2.1 channels in the hippocampus in association with GABAB receptors. Histoblotting experiments showed that the density of CaV2.1 channel was significantly reduced in the hippocampus of APP/PS1 mice in a laminar-dependent manner. CaV2.1 channel was enriched in the active zone of the axon terminals and was present at a very low density over the surface of dendritic tree of the CA1 pyramidal cells, as shown by quantitative SDS-digested freeze-fracture replica labelling (SDS-FRL). In APP/PS1 mice, the density of CaV2.1 channel in the active zone was significantly reduced in the strata radiatum and lacunosum-moleculare, while it remained unaltered in the stratum oriens. The decline in Cav2.1 channel density was found to be associated with a corresponding impairment in the GABAergic synaptic function, as evidenced by electrophysiological experiments carried out in the hippocampus of APP/PS1 mice. Remarkably, double SDS-FRL showed a co-clustering of CaV2.1 channel and GABAB1 receptor in nanodomains (~40–50 nm) in wild type mice, while in APP/PS1 mice this nanoarchitecture was absent. Together, these findings suggest that the AD pathology-induced reduction in CaV2.1 channel density and CaV2.1-GABAB1 de-clustering may play a role in the synaptic transmission alterations shown in the AD hippocampus. Therefore, uncovering these layer-dependent changes in P/Q calcium currents associated with AD pathology can benefit the development of future strategies for AD management.","lang":"eng"}],"author":[{"first_name":"Alejandro","last_name":"Martín‐Belmonte","full_name":"Martín‐Belmonte, Alejandro"},{"last_name":"Aguado","first_name":"Carolina","full_name":"Aguado, Carolina"},{"full_name":"Alfaro‐Ruiz, Rocío","last_name":"Alfaro‐Ruiz","first_name":"Rocío"},{"full_name":"Kulik, Akos","first_name":"Akos","last_name":"Kulik"},{"full_name":"de la Ossa, Luis","first_name":"Luis","last_name":"de la Ossa"},{"full_name":"Moreno‐Martínez, Ana Esther","first_name":"Ana Esther","last_name":"Moreno‐Martínez"},{"full_name":"Alberquilla, Samuel","first_name":"Samuel","last_name":"Alberquilla"},{"first_name":"Lucía","last_name":"García‐Carracedo","full_name":"García‐Carracedo, Lucía"},{"full_name":"Fernández, Miriam","last_name":"Fernández","first_name":"Miriam"},{"first_name":"Ana","last_name":"Fajardo‐Serrano","full_name":"Fajardo‐Serrano, Ana"},{"last_name":"Aso","first_name":"Ester","full_name":"Aso, Ester"},{"last_name":"Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444"},{"full_name":"Martín, Eduardo D.","last_name":"Martín","first_name":"Eduardo D."},{"full_name":"Fukazawa, Yugo","first_name":"Yugo","last_name":"Fukazawa"},{"full_name":"Ciruela, Francisco","last_name":"Ciruela","first_name":"Francisco"},{"first_name":"Rafael","last_name":"Luján","full_name":"Luján, Rafael"}],"publisher":"Wiley","month":"03","oa_version":"Published Version","isi":1,"year":"2025","article_type":"original","article_processing_charge":"Yes","citation":{"ista":"Martín‐Belmonte A, Aguado C, Alfaro‐Ruiz R, Kulik A, de la Ossa L, Moreno‐Martínez AE, Alberquilla S, García‐Carracedo L, Fernández M, Fajardo‐Serrano A, Aso E, Shigemoto R, Martín ED, Fukazawa Y, Ciruela F, Luján R. 2025. Nanoarchitecture of CaV&#62;2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology. Brain Pathology. 35(2), e13279.","short":"A. Martín‐Belmonte, C. Aguado, R. Alfaro‐Ruiz, A. Kulik, L. de la Ossa, A.E. Moreno‐Martínez, S. Alberquilla, L. García‐Carracedo, M. Fernández, A. Fajardo‐Serrano, E. Aso, R. Shigemoto, E.D. Martín, Y. Fukazawa, F. Ciruela, R. Luján, Brain Pathology 35 (2025).","chicago":"Martín‐Belmonte, Alejandro, Carolina Aguado, Rocío Alfaro‐Ruiz, Akos Kulik, Luis de la Ossa, Ana Esther Moreno‐Martínez, Samuel Alberquilla, et al. “Nanoarchitecture of CaV&#62;2.1 Channels and GABAB Receptors in the Mouse Hippocampus: Impact of APP/PS1 Pathology.” <i>Brain Pathology</i>. Wiley, 2025. <a href=\"https://doi.org/10.1111/bpa.13279\">https://doi.org/10.1111/bpa.13279</a>.","apa":"Martín‐Belmonte, A., Aguado, C., Alfaro‐Ruiz, R., Kulik, A., de la Ossa, L., Moreno‐Martínez, A. E., … Luján, R. (2025). Nanoarchitecture of CaV&#62;2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology. <i>Brain Pathology</i>. Wiley. <a href=\"https://doi.org/10.1111/bpa.13279\">https://doi.org/10.1111/bpa.13279</a>","mla":"Martín‐Belmonte, Alejandro, et al. “Nanoarchitecture of CaV&#62;2.1 Channels and GABAB Receptors in the Mouse Hippocampus: Impact of APP/PS1 Pathology.” <i>Brain Pathology</i>, vol. 35, no. 2, e13279, Wiley, 2025, doi:<a href=\"https://doi.org/10.1111/bpa.13279\">10.1111/bpa.13279</a>.","ieee":"A. Martín‐Belmonte <i>et al.</i>, “Nanoarchitecture of CaV&#62;2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology,” <i>Brain Pathology</i>, vol. 35, no. 2. Wiley, 2025.","ama":"Martín‐Belmonte A, Aguado C, Alfaro‐Ruiz R, et al. Nanoarchitecture of CaV&#62;2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology. <i>Brain Pathology</i>. 2025;35(2). doi:<a href=\"https://doi.org/10.1111/bpa.13279\">10.1111/bpa.13279</a>"},"date_published":"2025-03-01T00:00:00Z","_id":"17293","date_created":"2024-07-22T07:48:20Z","date_updated":"2025-05-19T13:58:12Z","oa":1,"DOAJ_listed":"1","intvolume":"        35","article_number":"e13279","publication_identifier":{"eissn":["1750-3639"],"issn":["1015-6305"]},"status":"public","language":[{"iso":"eng"}],"issue":"2","external_id":{"pmid":["38887180"],"isi":["001250034200001"]}},{"scopus_import":"1","type":"journal_article","quality_controlled":"1","volume":39,"has_accepted_license":"1","abstract":[{"lang":"eng","text":"Atopic dermatitis (AD) is the most common chronic inflammatory skin disease worldwide. AD is a highly complex disease with different subtypes. Many elements of AD pathophysiology have been described, but if/how they interact with each other or which mechanisms are important in which patients is still unclear. Langerhans cells (LCs) are antigen-presenting cells (APCs) in the epidermis. Depending on the context, they can act either pro- or anti-inflammatory. Many different studies have investigated LCs in the context of AD and found them to be connected to all major mechanisms of AD pathophysiology. As APCs, LCs recruit other immune cells and shape the immune response, especially adaptive immunity via polarization of T cells. As sentinel cells, LCs are primary sensors of the skin microbiome and are important for the decision of immunity versus tolerance. LCs are also involved with the integrity of the skin barrier by influencing tight junctions. Finally, LCs are important cells in the neuro-immune crosstalk in the skin. In this review, we provide an overview about the many different roles of LCs in AD. Understanding LCs might bring us closer to a more complete understanding of this highly complex disease. Potentially, modulating LCs might offer new options for targeted therapies for AD patients."}],"day":"01","acknowledgement":"This work was supported by the CK-CARE of the KühneFoundation, Switzerland; the China Scholarship Counciland Shanghai Biocelline Enterprise Co. Ltd, China.","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)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Journal of the European Academy of Dermatology and Venereology","title":"Langerhans cells: Central players in the pathophysiology of atopic dermatitis","ddc":["570"],"OA_place":"publisher","department":[{"_id":"MiSi"}],"file":[{"creator":"dernst","success":1,"access_level":"open_access","date_updated":"2025-04-16T09:59:37Z","date_created":"2025-04-16T09:59:37Z","content_type":"application/pdf","file_name":"2025_JEADV_Pan.pdf","checksum":"12555ddb3490daf10b8d44e334e7312e","file_size":457698,"relation":"main_file","file_id":"19583"}],"doi":"10.1111/jdv.20291","pmid":1,"OA_type":"hybrid","file_date_updated":"2025-04-16T09:59:37Z","page":"278-289","intvolume":"        39","issue":"2","external_id":{"isi":["001292894900001"],"pmid":["39157943"]},"publication_identifier":{"issn":["0926-9959"],"eissn":["1468-3083"]},"status":"public","language":[{"iso":"eng"}],"year":"2025","isi":1,"article_type":"original","author":[{"full_name":"Pan, Yi","last_name":"Pan","first_name":"Yi"},{"full_name":"Hochgerner, Mathias","last_name":"Hochgerner","first_name":"Mathias"},{"first_name":"Malgorzata Anna","id":"d63197a3-c188-11ed-9387-8d33a3f13871","last_name":"Cichon","full_name":"Cichon, Malgorzata Anna"},{"full_name":"Benezeder, Theresa","first_name":"Theresa","last_name":"Benezeder"},{"full_name":"Bieber, Thomas","last_name":"Bieber","first_name":"Thomas"},{"last_name":"Wolf","first_name":"Peter","full_name":"Wolf, Peter"}],"month":"02","publisher":"Wiley","oa_version":"Published Version","date_updated":"2025-05-19T13:58:50Z","date_created":"2024-08-25T22:01:07Z","oa":1,"citation":{"apa":"Pan, Y., Hochgerner, M., Cichon, M. A., Benezeder, T., Bieber, T., &#38; Wolf, P. (2025). Langerhans cells: Central players in the pathophysiology of atopic dermatitis. <i>Journal of the European Academy of Dermatology and Venereology</i>. Wiley. <a href=\"https://doi.org/10.1111/jdv.20291\">https://doi.org/10.1111/jdv.20291</a>","chicago":"Pan, Yi, Mathias Hochgerner, Malgorzata Anna Cichon, Theresa Benezeder, Thomas Bieber, and Peter Wolf. “Langerhans Cells: Central Players in the Pathophysiology of Atopic Dermatitis.” <i>Journal of the European Academy of Dermatology and Venereology</i>. Wiley, 2025. <a href=\"https://doi.org/10.1111/jdv.20291\">https://doi.org/10.1111/jdv.20291</a>.","ama":"Pan Y, Hochgerner M, Cichon MA, Benezeder T, Bieber T, Wolf P. Langerhans cells: Central players in the pathophysiology of atopic dermatitis. <i>Journal of the European Academy of Dermatology and Venereology</i>. 2025;39(2):278-289. doi:<a href=\"https://doi.org/10.1111/jdv.20291\">10.1111/jdv.20291</a>","mla":"Pan, Yi, et al. “Langerhans Cells: Central Players in the Pathophysiology of Atopic Dermatitis.” <i>Journal of the European Academy of Dermatology and Venereology</i>, vol. 39, no. 2, Wiley, 2025, pp. 278–89, doi:<a href=\"https://doi.org/10.1111/jdv.20291\">10.1111/jdv.20291</a>.","ieee":"Y. Pan, M. Hochgerner, M. A. Cichon, T. Benezeder, T. Bieber, and P. Wolf, “Langerhans cells: Central players in the pathophysiology of atopic dermatitis,” <i>Journal of the European Academy of Dermatology and Venereology</i>, vol. 39, no. 2. Wiley, pp. 278–289, 2025.","ista":"Pan Y, Hochgerner M, Cichon MA, Benezeder T, Bieber T, Wolf P. 2025. Langerhans cells: Central players in the pathophysiology of atopic dermatitis. Journal of the European Academy of Dermatology and Venereology. 39(2), 278–289.","short":"Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology 39 (2025) 278–289."},"article_processing_charge":"Yes (in subscription journal)","date_published":"2025-02-01T00:00:00Z","_id":"17459"},{"abstract":[{"text":"The brain vasculature supplies neurons with glucose and oxygen, but little is known about how vascular plasticity contributes to brain function. Using longitudinal in vivo imaging, we report that a substantial proportion of blood vessels in the adult mouse brain sporadically occlude and regress. Their regression proceeds through sequential stages of blood-flow occlusion, endothelial cell collapse, relocation or loss of pericytes, and retraction of glial endfeet. Regressing vessels are found to be widespread in mouse, monkey and human brains. We further reveal that blood vessel regression cause a reduction of neuronal activity due to a dysfunction in mitochondrial metabolism and glutamate production. Our results elucidate the mechanism of vessel regression and its role in neuronal function in the adult brain.","lang":"eng"}],"has_accepted_license":"1","type":"journal_article","quality_controlled":"1","scopus_import":"1","volume":16,"department":[{"_id":"SiHi"}],"OA_place":"publisher","ec_funded":1,"file":[{"success":1,"creator":"dernst","access_level":"open_access","date_updated":"2025-07-07T09:52:46Z","content_type":"application/pdf","date_created":"2025-07-07T09:52:46Z","checksum":"f59748cb67232cfb210035d9aef60836","file_name":"2025_NatureComm_Gao.pdf","file_size":17018106,"relation":"main_file","file_id":"19971"}],"doi":"10.1038/s41467-025-60308-0","OA_type":"gold","file_date_updated":"2025-07-07T09:52:46Z","acknowledgement":"The project was initiated in the Jan lab at UCSF. We thank Lily Jan and Yuh-Nung Jan’s generous support. We thank Liqun Luo’s lab for providing MADM-7 mice and Rolf A Brekken for VEGF-antibodies.  Drs. Yuanquan Song (UPenn), Zhaozhu Hu (JHU), Ji Hu (ShanghaiTech), Yang Xiang (U. Mass), Hao Wang (Zhejiang U.) and Ruikang Wang (U. Washington) for critical input, colleagues at Children’s Research Institute, Departments of Neuroscience, Neurology and Neurotherapeutics, Pediatrics from UT Southwestern, and colleagues from the Jan lab for discussion. Dr. Bridget Samuels, Sean Morrison (UT Southwestern), and Nannan Lu (Zhejiang U.) for critical reading. We acknowledge the assistance of the CIBR Imaging core. We also thank UT Southwestern Live Cell Imaging Facility, a Shared Resource of the Harold C. Simmons Cancer Center, supported in part by an NCI Cancer Center Support Grant, P30 CA142543K. This work is supported by CIBR funds and the American Heart Association AWRP Summer 2016 Innovative Research Grant (17IRG33410377) to W-P.G.; National Natural Science Foundation of China (No.81370031) to Z.Z.;National Key Research and Development Program of China (2016YFE0125400)to F.H.;National Natural Science Foundations of China (No. 81473202) to Y.L.; National Natural Science Foundation of China (No.31600839) and Shenzhen Science and Technology Research Program (JCYJ20170818163320865) to B.P.; National Natural Science Foundation of China (No. 31800864) and Westlake University start-up funds to J-M. J. NIH R01NS088627 to W.L.J.; NIH: R01 AG020670 and RF1AG054111 to H.Z.; R01 NS088555 to A.M.S., and European Research Council No.725780 to S.H.;W-P.G. was a recipient of Bugher-American Heart Association Dan Adams Thinking Outside the Box Award.","day":"01","tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","title":"Reduction of neuronal activity mediated by blood-vessel regression in the brain","ddc":["570"],"publication":"Nature Communications","external_id":{"isi":["001523450500035"]},"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["2041-1723"]},"status":"public","project":[{"call_identifier":"H2020","grant_number":"725780","_id":"260018B0-B435-11E9-9278-68D0E5697425","name":"Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development"}],"intvolume":"        16","article_number":"5840","oa":1,"date_created":"2020-10-06T08:58:59Z","date_updated":"2025-09-04T07:08:37Z","DOAJ_listed":"1","article_processing_charge":"Yes","citation":{"ista":"Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. 2025. Reduction of neuronal activity mediated by blood-vessel regression in the brain. Nature Communications. 16, 5840.","short":"X. Gao, J.-L. Li, X. Chen, B. Ci, F. Chen, N. Lu, B. Shen, L. Zheng, J.-M. Jia, Y. Yi, S. Zhang, Y.-C. Shi, K. Shi, N.E. Propson, Y. Huang, K. Poinsatte, Z. Zhang, Y. Yue, D.B. Bosco, Y. Lu, S. Yang, R.H. Adams, V. Lindner, F. Huang, L.-J. Wu, H. Zheng, F. Han, S. Hippenmeyer, A.M. Stowe, B. Peng, M. Margeta, X. Wang, Q. Liu, J. Körbelin, M. Trepel, H. Lu, B.O. Zhou, H. Zhao, W. Su, R.M. Bachoo, W. Ge, Nature Communications 16 (2025).","chicago":"Gao, Xiaofei, Jun-Liszt Li, Xingjun Chen, Bo Ci, Fei Chen, Nannan Lu, Bo Shen, et al. “Reduction of Neuronal Activity Mediated by Blood-Vessel Regression in the Brain.” <i>Nature Communications</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1038/s41467-025-60308-0\">https://doi.org/10.1038/s41467-025-60308-0</a>.","apa":"Gao, X., Li, J.-L., Chen, X., Ci, B., Chen, F., Lu, N., … Ge, W. (2025). Reduction of neuronal activity mediated by blood-vessel regression in the brain. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-025-60308-0\">https://doi.org/10.1038/s41467-025-60308-0</a>","mla":"Gao, Xiaofei, et al. “Reduction of Neuronal Activity Mediated by Blood-Vessel Regression in the Brain.” <i>Nature Communications</i>, vol. 16, 5840, Springer Nature, 2025, doi:<a href=\"https://doi.org/10.1038/s41467-025-60308-0\">10.1038/s41467-025-60308-0</a>.","ieee":"X. Gao <i>et al.</i>, “Reduction of neuronal activity mediated by blood-vessel regression in the brain,” <i>Nature Communications</i>, vol. 16. Springer Nature, 2025.","ama":"Gao X, Li J-L, Chen X, et al. Reduction of neuronal activity mediated by blood-vessel regression in the brain. <i>Nature Communications</i>. 2025;16. doi:<a href=\"https://doi.org/10.1038/s41467-025-60308-0\">10.1038/s41467-025-60308-0</a>"},"_id":"8616","date_published":"2025-07-01T00:00:00Z","year":"2025","isi":1,"article_type":"original","author":[{"last_name":"Gao","first_name":"Xiaofei","full_name":"Gao, Xiaofei"},{"full_name":"Li, Jun-Liszt","first_name":"Jun-Liszt","last_name":"Li"},{"full_name":"Chen, Xingjun","first_name":"Xingjun","last_name":"Chen"},{"first_name":"Bo","last_name":"Ci","full_name":"Ci, Bo"},{"full_name":"Chen, Fei","first_name":"Fei","last_name":"Chen"},{"full_name":"Lu, Nannan","first_name":"Nannan","last_name":"Lu"},{"last_name":"Shen","first_name":"Bo","full_name":"Shen, Bo"},{"last_name":"Zheng","first_name":"Lijun","full_name":"Zheng, Lijun"},{"full_name":"Jia, Jie-Min","last_name":"Jia","first_name":"Jie-Min"},{"full_name":"Yi, Yating","last_name":"Yi","first_name":"Yating"},{"full_name":"Zhang, Shiwen","first_name":"Shiwen","last_name":"Zhang"},{"full_name":"Shi, Ying-Chao","first_name":"Ying-Chao","last_name":"Shi"},{"last_name":"Shi","first_name":"Kaibin","full_name":"Shi, Kaibin"},{"full_name":"Propson, Nicholas E","first_name":"Nicholas E","last_name":"Propson"},{"full_name":"Huang, Yubin","last_name":"Huang","first_name":"Yubin"},{"full_name":"Poinsatte, Katherine","first_name":"Katherine","last_name":"Poinsatte"},{"full_name":"Zhang, Zhaohuan","first_name":"Zhaohuan","last_name":"Zhang"},{"full_name":"Yue, Yuanlei","last_name":"Yue","first_name":"Yuanlei"},{"full_name":"Bosco, Dale B","first_name":"Dale B","last_name":"Bosco"},{"full_name":"Lu, Ying-mei","last_name":"Lu","first_name":"Ying-mei"},{"full_name":"Yang, Shi-bing","first_name":"Shi-bing","last_name":"Yang"},{"first_name":"Ralf H.","last_name":"Adams","full_name":"Adams, Ralf H."},{"last_name":"Lindner","first_name":"Volkhard","full_name":"Lindner, Volkhard"},{"full_name":"Huang, Fen","last_name":"Huang","first_name":"Fen"},{"first_name":"Long-Jun","last_name":"Wu","full_name":"Wu, Long-Jun"},{"full_name":"Zheng, Hui","last_name":"Zheng","first_name":"Hui"},{"first_name":"Feng","last_name":"Han","full_name":"Han, Feng"},{"full_name":"Hippenmeyer, Simon","orcid":"0000-0003-2279-1061","id":"37B36620-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","last_name":"Hippenmeyer"},{"first_name":"Ann M.","last_name":"Stowe","full_name":"Stowe, Ann M."},{"full_name":"Peng, Bo","first_name":"Bo","last_name":"Peng"},{"last_name":"Margeta","first_name":"Marta","full_name":"Margeta, Marta"},{"full_name":"Wang, Xiaoqun","first_name":"Xiaoqun","last_name":"Wang"},{"full_name":"Liu, Qiang","first_name":"Qiang","last_name":"Liu"},{"full_name":"Körbelin, Jakob","first_name":"Jakob","last_name":"Körbelin"},{"first_name":"Martin","last_name":"Trepel","full_name":"Trepel, Martin"},{"first_name":"Hui","last_name":"Lu","full_name":"Lu, Hui"},{"full_name":"Zhou, Bo O.","first_name":"Bo O.","last_name":"Zhou"},{"full_name":"Zhao, Hu","last_name":"Zhao","first_name":"Hu"},{"last_name":"Su","first_name":"Wenzhi","full_name":"Su, Wenzhi"},{"full_name":"Bachoo, Robert M.","first_name":"Robert M.","last_name":"Bachoo"},{"full_name":"Ge, Woo-ping","last_name":"Ge","first_name":"Woo-ping"}],"oa_version":"Published Version","month":"07","publisher":"Springer Nature"},{"abstract":[{"lang":"eng","text":"Runtime verification offers scalable solutions to improve the safety and reliability of systems. However, systems that require verification or monitoring by a third party to ensure compliance with a specification might contain sensitive information, causing privacy concerns when usual runtime verification approaches are used. Privacy is compromised if protected information about the system, or sensitive data that is processed by the system, is revealed. In addition, revealing the specification being monitored may undermine the essence of third-party verification.\r\nIn this work, we propose two novel protocols for the privacy-preserving runtime verification of systems against formal sequential specifications. In our first protocol, the monitor verifies whether the system satisfies the specification without learning anything else, though both parties are aware of the specification. Our second protocol ensures that the system remains oblivious to the monitored specification, while the monitor learns only whether the system satisfies the specification and nothing more. Our protocols adapt and improve existing techniques used in cryptography, and more specifically, multi-party computation.\r\nThe sequential specification defines the observation step of the monitor, whose granularity depends on the situation (e.g., banks may be monitored on a daily basis). Our protocols exchange a single message per observation step, after an initialisation phase. This design minimises communication overhead, enabling relatively lightweight privacy-preserving monitoring. We implement our approach for monitoring specifications described by register automata and evaluate it experimentally."}],"corr_author":"1","has_accepted_license":"1","quality_controlled":"1","type":"conference","scopus_import":"1","OA_type":"hybrid","file_date_updated":"2026-01-21T07:34:58Z","doi":"10.1145/3719027.3765137","ec_funded":1,"file":[{"creator":"dernst","success":1,"access_level":"open_access","file_name":"2025_CCS_HenzingerT.pdf","content_type":"application/pdf","date_updated":"2026-01-21T07:34:58Z","date_created":"2026-01-21T07:34:58Z","checksum":"615ffddab6c7285158c2953acec6fa6f","file_size":1241912,"relation":"main_file","file_id":"21024"}],"OA_place":"publisher","department":[{"_id":"ToHe"},{"_id":"GradSch"}],"title":"Privacy-preserving runtime verification","publication":"Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security","ddc":["000"],"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)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","day":"22","acknowledgement":"This work is a part of projects VAMOS that has received fund-ing from the European Research Council (ERC), grant agreementNo 101020093 and the Austrian Science Fund (FWF) SFB projectSpyCoDe F8502.We thank anonymous reviewers for pointing us to related work [ 3] and for their valuable suggestions that improved this paper.","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9798400715259"]},"status":"public","external_id":{"arxiv":["2505.09276"]},"arxiv":1,"page":"2774-2787","related_material":{"record":[{"id":"21401","relation":"dissertation_contains","status":"public"}]},"project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020"},{"name":"Interface Theory for Security and Privacy","_id":"34a1b658-11ca-11ed-8bc3-c75229f0241e","grant_number":"F8502"}],"_id":"21020","date_published":"2025-11-22T00:00:00Z","citation":{"short":"T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.","ista":"Henzinger TA, Karimi M, Thejaswini KS. 2025. Privacy-preserving runtime verification. Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. CCS: Conference on Computer and Communications Security, 2774–2787.","mla":"Henzinger, Thomas A., et al. “Privacy-Preserving Runtime Verification.” <i>Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security</i>, Association for Computing Machinery, 2025, pp. 2774–87, doi:<a href=\"https://doi.org/10.1145/3719027.3765137\">10.1145/3719027.3765137</a>.","ieee":"T. A. Henzinger, M. Karimi, and K. S. Thejaswini, “Privacy-preserving runtime verification,” in <i>Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security</i>, Taipei, Taiwan, 2025, pp. 2774–2787.","ama":"Henzinger TA, Karimi M, Thejaswini KS. Privacy-preserving runtime verification. In: <i>Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security</i>. Association for Computing Machinery; 2025:2774-2787. doi:<a href=\"https://doi.org/10.1145/3719027.3765137\">10.1145/3719027.3765137</a>","chicago":"Henzinger, Thomas A, Mahyar Karimi, and K. S. Thejaswini. “Privacy-Preserving Runtime Verification.” In <i>Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security</i>, 2774–87. Association for Computing Machinery, 2025. <a href=\"https://doi.org/10.1145/3719027.3765137\">https://doi.org/10.1145/3719027.3765137</a>.","apa":"Henzinger, T. A., Karimi, M., &#38; Thejaswini, K. S. (2025). Privacy-preserving runtime verification. In <i>Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security</i> (pp. 2774–2787). Taipei, Taiwan: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3719027.3765137\">https://doi.org/10.1145/3719027.3765137</a>"},"article_processing_charge":"Yes (via OA deal)","oa":1,"date_created":"2026-01-20T10:17:10Z","date_updated":"2026-03-13T13:37:19Z","month":"11","publisher":"Association for Computing Machinery","oa_version":"Published Version","author":[{"full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"},{"full_name":"Karimi, Mahyar","orcid":"0009-0005-0820-1696","id":"6e5417ba-5355-11ee-ae5a-94c2e510b26b","first_name":"Mahyar","last_name":"Karimi"},{"last_name":"Thejaswini","first_name":"K. S.","id":"3807fb92-fdc1-11ee-bb4a-b4d8a431c753","full_name":"Thejaswini, K. S."}],"year":"2025","conference":{"location":"Taipei, Taiwan","name":"CCS: Conference on Computer and Communications Security","start_date":"2025-10-13","end_date":"2025-10-17"}},{"type":"preprint","arxiv":1,"article_number":"2510.11619","external_id":{"arxiv":["2510.11619"]},"status":"public","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2510.11619","open_access":"1"}],"corr_author":"1","abstract":[{"lang":"eng","text":"Multiferroic materials, in which electric polarization and magnetic order coexist and couple, offer rich opportunities for both fundamental discovery and technology. However, multiferroicity remains rare due to conflicting electronic requirements for ferroelectricity and magnetism. One route to circumvent this challenge is to exploit the noncollinear ordering of spin cycloids, whose symmetry permits the emergence of polar order. In this work, we introduce another pathway to multiferroic order in which strain generates polarization in materials that host nonpolar spin spirals. To demonstrate this phenomenon, we chose the spin spiral in the well-studied helimagnet Cr1/3NbS2. To detect the induced polarization, we introduce the technique of magnetoelectric birefringence (MEB), an optical probe that enables spatially-resolved and unambiguous detection of polar order. By combining MEB imaging with strain engineering, we confirm the onset of a polar vector at the magnetic transition, establishing strained Cr1/3NbS2 as a type-II multiferroic."}],"publication_status":"submitted","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"Y.S., V.S. and J.O. received support from the Gordon and Betty Moore Foundation’s\r\nEPiQS Initiative through Grant GBMF4537 to J.O. at UC Berkeley. Experimental and theoretical work at LBNL and UC Berkeley was funded by the Quantum Materials (KC2202) program under the U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences,\r\nMaterials Sciences and Engineering Division under Contract No. DE-AC02-05CH11231.\r\nY.S. also acknowledges support by the David J. Thouless Postdoctoral Fellowship at the\r\nDepartment of Physics, University of Washington. DGM acknowledges support from the\r\nGordon and Betty Moore Foundation’s EPiQS Initiative, Grant GBMF9069. L.Z. acknowledges the support from the U.S. Department of Energy (DOE), Office of Science, Basic\r\nEnergy Science (BES), under award No. DE-SC0024145","day":"13","year":"2025","month":"10","oa_version":"Preprint","author":[{"full_name":"Sun, Y.","first_name":"Y.","last_name":"Sun"},{"full_name":"Ahn, Y.","last_name":"Ahn","first_name":"Y."},{"full_name":"Sapkota, D.","first_name":"D.","last_name":"Sapkota"},{"last_name":"Arachchige","first_name":"H. S.","full_name":"Arachchige, H. S."},{"full_name":"Xue, R.","last_name":"Xue","first_name":"R."},{"first_name":"S.","last_name":"Mozaffari","full_name":"Mozaffari, S."},{"last_name":"Mandrus","first_name":"D. G.","full_name":"Mandrus, D. G."},{"first_name":"L.","last_name":"Zhao","full_name":"Zhao, L."},{"first_name":"J.","last_name":"Orenstein","full_name":"Orenstein, J."},{"orcid":"0000-0003-2724-3523","full_name":"Sunko, Veronika","last_name":"Sunko","first_name":"Veronika","id":"23cb1cf6-2c7a-11ef-91a4-f72fc19f20b3"}],"title":"Strain-induced multiferroicity in Cr1/3NbS2","publication":"arXiv","date_created":"2026-03-11T10:39:44Z","date_updated":"2026-03-16T08:43:57Z","OA_place":"repository","department":[{"_id":"VeSu"}],"oa":1,"date_published":"2025-10-13T00:00:00Z","OA_type":"green","_id":"21435","citation":{"ama":"Sun Y, Ahn Y, Sapkota D, et al. Strain-induced multiferroicity in Cr1/3NbS2. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2510.11619\">10.48550/arXiv.2510.11619</a>","ieee":"Y. Sun <i>et al.</i>, “Strain-induced multiferroicity in Cr1/3NbS2,” <i>arXiv</i>. .","mla":"Sun, Y., et al. “Strain-Induced Multiferroicity in Cr1/3NbS2.” <i>ArXiv</i>, 2510.11619, doi:<a href=\"https://doi.org/10.48550/arXiv.2510.11619\">10.48550/arXiv.2510.11619</a>.","apa":"Sun, Y., Ahn, Y., Sapkota, D., Arachchige, H. S., Xue, R., Mozaffari, S., … Sunko, V. (n.d.). Strain-induced multiferroicity in Cr1/3NbS2. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2510.11619\">https://doi.org/10.48550/arXiv.2510.11619</a>","chicago":"Sun, Y., Y. Ahn, D. Sapkota, H. S. Arachchige, R. Xue, S. Mozaffari, D. G. Mandrus, L. Zhao, J. Orenstein, and Veronika Sunko. “Strain-Induced Multiferroicity in Cr1/3NbS2.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2510.11619\">https://doi.org/10.48550/arXiv.2510.11619</a>.","short":"Y. Sun, Y. Ahn, D. Sapkota, H.S. Arachchige, R. Xue, S. Mozaffari, D.G. Mandrus, L. Zhao, J. Orenstein, V. Sunko, ArXiv (n.d.).","ista":"Sun Y, Ahn Y, Sapkota D, Arachchige HS, Xue R, Mozaffari S, Mandrus DG, Zhao L, Orenstein J, Sunko V. Strain-induced multiferroicity in Cr1/3NbS2. arXiv, 2510.11619."},"doi":"10.48550/arXiv.2510.11619","article_processing_charge":"No"},{"external_id":{"arxiv":["2511.16421"]},"status":"public","language":[{"iso":"eng"}],"arxiv":1,"article_number":"2511.16421","date_created":"2026-03-11T10:40:08Z","date_updated":"2026-03-16T08:52:35Z","oa":1,"article_processing_charge":"No","citation":{"ista":"Sunko V, Orenstein J. Linear magneto-birefringence as a probe of altermagnetism. arXiv, 2511.16421.","short":"V. Sunko, J. Orenstein, ArXiv (n.d.).","apa":"Sunko, V., &#38; Orenstein, J. (n.d.). Linear magneto-birefringence as a probe of altermagnetism. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2511.16421\">https://doi.org/10.48550/arXiv.2511.16421</a>","chicago":"Sunko, Veronika, and J. Orenstein. “Linear Magneto-Birefringence as a Probe of Altermagnetism.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2511.16421\">https://doi.org/10.48550/arXiv.2511.16421</a>.","ama":"Sunko V, Orenstein J. Linear magneto-birefringence as a probe of altermagnetism. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2511.16421\">10.48550/arXiv.2511.16421</a>","ieee":"V. Sunko and J. Orenstein, “Linear magneto-birefringence as a probe of altermagnetism,” <i>arXiv</i>. .","mla":"Sunko, Veronika, and J. Orenstein. “Linear Magneto-Birefringence as a Probe of Altermagnetism.” <i>ArXiv</i>, 2511.16421, doi:<a href=\"https://doi.org/10.48550/arXiv.2511.16421\">10.48550/arXiv.2511.16421</a>."},"date_published":"2025-11-20T00:00:00Z","_id":"21437","year":"2025","author":[{"orcid":"0000-0003-2724-3523","full_name":"Sunko, Veronika","last_name":"Sunko","first_name":"Veronika","id":"23cb1cf6-2c7a-11ef-91a4-f72fc19f20b3"},{"last_name":"Orenstein","first_name":"J.","full_name":"Orenstein, J."}],"month":"11","oa_version":"Preprint","corr_author":"1","abstract":[{"lang":"eng","text":"Altermagnets are a class of collinear magnets that exhibit non-relativistic spin splitting (NRSS) of electronic bands in the absence of net magnetization. Their potential to generate large spin polarization without spin-orbit coupling has created strong interest in probes that access the underlying order parameter directly. In this Perspective, we show that linear magneto-birefringence (LMB) provides a natural and broadly applicable route to detecting altermagnetic order. Building on the correspondence between the momentum-space structure of NRSS and the ferroic ordering of magnetic multipoles in real space, we demonstrate how $d$-wave and $g$-wave NRSS textures yield distinct LMB responses. We present a symmetry-based framework that identifies the optical geometries and field configurations required to isolate specific multipole components, enabling domain imaging and providing benchmarks for theoretical models of LMB."}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2511.16421"}],"type":"preprint","OA_place":"repository","department":[{"_id":"VeSu"}],"doi":"10.48550/arXiv.2511.16421","OA_type":"green","acknowledgement":"We thank Nicola Spaldin for valuable discussions. J.O. received support from the Quantum Materials (KC2202) program under the U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences, Materials Sciences and Engineering Division under Contract No. DE-AC02-05CH11231, and the Gordon and Betty Moore Foundation’s EPiQS Initiative through Grant GBMF4537 to J.O. at UC Berkeley.","day":"20","publication_status":"submitted","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)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"arXiv","title":"Linear magneto-birefringence as a probe of altermagnetism"},{"oa_version":"None","month":"12","publisher":"Institute of Science and Technology Austria","author":[{"last_name":"Agafonova","id":"09501ff6-dca7-11ea-a8ae-b3e0b9166e80","first_name":"Sofya","full_name":"Agafonova, Sofya","orcid":"0000-0003-0582-2946"}],"title":"Research Data for: 'One-milligram torsional pendulum toward experiments at the quantum-gravity interface'","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)"},"user_id":"68b8ca59-c5b3-11ee-8790-cd641c68093d","day":"22","year":"2025","date_published":"2025-12-22T00:00:00Z","file_date_updated":"2025-12-22T13:51:09Z","_id":"20842","doi":"10.15479/AT-ISTA-20842","citation":{"ama":"Agafonova S. Research Data for: “One-milligram torsional pendulum toward experiments at the quantum-gravity interface.” 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20842\">10.15479/AT-ISTA-20842</a>","mla":"Agafonova, Sofia. <i>Research Data for: “One-Milligram Torsional Pendulum toward Experiments at the Quantum-Gravity Interface.”</i> Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20842\">10.15479/AT-ISTA-20842</a>.","ieee":"S. Agafonova, “Research Data for: ‘One-milligram torsional pendulum toward experiments at the quantum-gravity interface.’” Institute of Science and Technology Austria, 2025.","apa":"Agafonova, S. (2025). Research Data for: “One-milligram torsional pendulum toward experiments at the quantum-gravity interface.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20842\">https://doi.org/10.15479/AT-ISTA-20842</a>","chicago":"Agafonova, Sofia. “Research Data for: ‘One-Milligram Torsional Pendulum toward Experiments at the Quantum-Gravity Interface.’” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20842\">https://doi.org/10.15479/AT-ISTA-20842</a>.","short":"S. Agafonova, (2025).","ista":"Agafonova S. 2025. Research Data for: ‘One-milligram torsional pendulum toward experiments at the quantum-gravity interface’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT-ISTA-20842\">10.15479/AT-ISTA-20842</a>."},"article_processing_charge":"No","file":[{"file_size":146656591,"file_id":"20854","relation":"main_file","success":1,"creator":"sagafono","date_updated":"2025-12-22T13:45:30Z","file_name":"AllData.zip","content_type":"application/x-zip-compressed","checksum":"7af34e4226a00cdcb7f154272050e217","date_created":"2025-12-22T13:45:30Z","access_level":"open_access"},{"success":1,"creator":"sagafono","date_created":"2025-12-22T13:45:33Z","date_updated":"2025-12-22T13:45:33Z","checksum":"71806a2ef9fb26ad7b78e04c6754ee4e","content_type":"application/x-zip-compressed","file_name":"SourceData.zip","access_level":"open_access","file_size":93470129,"file_id":"20855","relation":"main_file"},{"creator":"sagafono","success":1,"file_name":"readme.txt","checksum":"08facd1b4a102f83e4d99d48a85b258d","date_created":"2025-12-22T13:51:09Z","content_type":"text/plain","date_updated":"2025-12-22T13:51:09Z","access_level":"open_access","file_size":461,"file_id":"20856","relation":"main_file"}],"date_created":"2025-12-21T14:23:50Z","date_updated":"2026-03-16T10:09:21Z","department":[{"_id":"GradSch"},{"_id":"OnHo"}],"oa":1,"project":[{"name":"A quantum hybrid of atoms and milligram-scale pendulums: towards gravitational quantum mechanics","grant_number":"101087907","_id":"bdb2a702-d553-11ed-ba76-f12e3e5a3bc6"}],"related_material":{"record":[{"relation":"used_in_publication","id":"20840","status":"public"}]},"type":"research_data","status":"public","contributor":[{"last_name":"Rosello","first_name":"Pere"},{"last_name":"Mekonnen","first_name":"Manuel"},{"orcid":"0000-0002-2031-204X","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","first_name":"Onur","contributor_type":"supervisor","last_name":"Hosten"}],"has_accepted_license":"1","corr_author":"1","abstract":[{"lang":"eng","text":"Probing the possibility of entanglement generation through gravity offers a path to tackle the question of whether gravitational fields possess a quantum mechanical nature. A potential realization necessitates systems with low-frequency dynamics at an optimal mass scale, for which the microgram-to-milligram range is a strong contender. Here, after refining a figure-of-merit for the problem, we present a 1-milligram torsional pendulum operating at 18 Hz. We demonstrate laser cooling its motion from room temperature to 240~microkelvins, surpassing by over 20-fold the coldest motions attained for oscillators ranging from micrograms to kilograms. We quantify and contrast the utility of the current approach with other platforms. The achieved performance and large improvement potential highlight milligram-scale torsional pendulums as a powerful platform for precision measurements relevant to future studies at the quantum-gravity interface."}]},{"day":"01","acknowledgement":"This work was funded by the Institute of Science and Technology Austria (ISTA) and the Austrian Science Fund (grant P31445 to F.K.M.S.). Access to high-resolution cryo-ET data acquisition at European Molecular Biology Laboratory (EMBL) Heidelberg was supported through the EMBL cryo-EM platform. We thank V.-V. Hodirnau at ISTA and W. Hagen and F. Weis at EMBL Heidelberg for support in cryo-ET data acquisition. This research was also supported by the scientific service units of ISTA through resources provided by Scientific Computing, the Life Science Facility, and the EM Facility. L.M.M. was supported by National Institutes of Health grants R01 GM151775 and R21 DE032878 and by the University of Minnesota Masonic Cancer Center. D.P. was supported by the DOC doctoral fellowship program of the Austrian Academy of Sciences. R.A.D was supported by the National Institute of Allergy and Infectious Diseases (grant R01AI147890). The funders had no role in study design, data collection and analysis, decision to publish or preparation of the manuscript. Specifically, we also want to thank A. Schlögl for computational support and J. Hansen and V. Vogt for critical comments on the manuscript. We also thank the other members of the Schur lab for helpful discussions and experimental advice.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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":"published","publication":"Nature Structural & Molecular Biology","ddc":["570"],"title":"Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice","department":[{"_id":"FlSc"},{"_id":"LeSa"}],"OA_place":"publisher","file":[{"file_id":"19608","relation":"main_file","file_size":13724041,"file_name":"2025_NatureStrucBio_Obr.pdf","content_type":"application/pdf","date_updated":"2025-04-23T07:02:33Z","checksum":"c641ad94afb28917b20425db676fc3ee","date_created":"2025-04-23T07:02:33Z","access_level":"open_access","success":1,"creator":"dernst"}],"doi":"10.1038/s41594-024-01390-8","pmid":1,"file_date_updated":"2025-04-23T07:02:33Z","OA_type":"hybrid","quality_controlled":"1","type":"journal_article","scopus_import":"1","volume":32,"abstract":[{"lang":"eng","text":"Human T cell leukemia virus type 1 (HTLV-1) immature particles differ in morphology from other retroviruses, suggesting a distinct way of assembly. Here we report the results of cryo-electron tomography studies of HTLV-1 virus-like particles assembled in vitro, as well as derived from cells. This work shows that HTLV-1 uses a distinct mechanism of Gag–Gag interactions to form the immature viral lattice. Analysis of high-resolution structural information from immature capsid (CA) tubular arrays reveals that the primary stabilizing component in HTLV-1 is the N-terminal domain of CA. Mutagenesis analysis supports this observation. This distinguishes HTLV-1 from other retroviruses, in which the stabilization is provided primarily by the C-terminal domain of CA. These results provide structural details of the quaternary arrangement of Gag for an immature deltaretrovirus and this helps explain why HTLV-1 particles are morphologically distinct."}],"corr_author":"1","has_accepted_license":"1","year":"2025","isi":1,"article_type":"original","author":[{"full_name":"Obr, Martin","orcid":"0000-0003-1756-6564","last_name":"Obr","id":"4741CA5A-F248-11E8-B48F-1D18A9856A87","first_name":"Martin"},{"last_name":"Percipalle","id":"4986e21c-eb97-11eb-a6c2-a4ef0b629971","first_name":"Mathias","full_name":"Percipalle, Mathias"},{"last_name":"Chernikova","id":"7dbaf460-fa9e-11eb-b0ca-bc7c7ff21ad0","first_name":"Darya","full_name":"Chernikova, Darya"},{"full_name":"Yang, Huixin","first_name":"Huixin","last_name":"Yang"},{"full_name":"Thader, Andreas","last_name":"Thader","id":"3A18A7B8-F248-11E8-B48F-1D18A9856A87","first_name":"Andreas"},{"last_name":"Pinke","id":"4D5303E6-F248-11E8-B48F-1D18A9856A87","first_name":"Gergely","full_name":"Pinke, Gergely"},{"last_name":"Porley","id":"2FD6EA6C-F248-11E8-B48F-1D18A9856A87","first_name":"Dario J","full_name":"Porley, Dario J"},{"last_name":"Mansky","first_name":"Louis M.","full_name":"Mansky, Louis M."},{"first_name":"Robert A.","last_name":"Dick","full_name":"Dick, Robert A."},{"full_name":"Schur, Florian KM","orcid":"0000-0003-4790-8078","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","first_name":"Florian KM","last_name":"Schur"}],"oa_version":"Published Version","month":"02","publisher":"Springer Nature","oa":1,"date_created":"2024-09-08T10:29:06Z","date_updated":"2026-03-16T12:55:18Z","APC_amount":"12348 EUR","citation":{"ama":"Obr M, Percipalle M, Chernikova D, et al. Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. <i>Nature Structural &#38; Molecular Biology</i>. 2025;32:268-276. doi:<a href=\"https://doi.org/10.1038/s41594-024-01390-8\">10.1038/s41594-024-01390-8</a>","mla":"Obr, Martin, et al. “Distinct Stabilization of the Human T Cell Leukemia Virus Type 1 Immature Gag Lattice.” <i>Nature Structural &#38; Molecular Biology</i>, vol. 32, Springer Nature, 2025, pp. 268–76, doi:<a href=\"https://doi.org/10.1038/s41594-024-01390-8\">10.1038/s41594-024-01390-8</a>.","ieee":"M. Obr <i>et al.</i>, “Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice,” <i>Nature Structural &#38; Molecular Biology</i>, vol. 32. Springer Nature, pp. 268–276, 2025.","apa":"Obr, M., Percipalle, M., Chernikova, D., Yang, H., Thader, A., Pinke, G., … Schur, F. K. (2025). Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. <i>Nature Structural &#38; Molecular Biology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41594-024-01390-8\">https://doi.org/10.1038/s41594-024-01390-8</a>","chicago":"Obr, Martin, Mathias Percipalle, Darya Chernikova, Huixin Yang, Andreas Thader, Gergely Pinke, Darío Porley Esteves, Louis M. Mansky, Robert A. Dick, and Florian KM Schur. “Distinct Stabilization of the Human T Cell Leukemia Virus Type 1 Immature Gag Lattice.” <i>Nature Structural &#38; Molecular Biology</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1038/s41594-024-01390-8\">https://doi.org/10.1038/s41594-024-01390-8</a>.","short":"M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D. Porley Esteves, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural &#38; Molecular Biology 32 (2025) 268–276.","ista":"Obr M, Percipalle M, Chernikova D, Yang H, Thader A, Pinke G, Porley Esteves D, Mansky LM, Dick RA, Schur FK. 2025. Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. Nature Structural &#38; Molecular Biology. 32, 268–276."},"article_processing_charge":"Yes (in subscription journal)","_id":"17884","acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"LifeSc"},{"_id":"EM-Fac"}],"date_published":"2025-02-01T00:00:00Z","page":"268-276","project":[{"_id":"26736D6A-B435-11E9-9278-68D0E5697425","grant_number":"P31445","name":"Structural conservation and diversity in retroviral capsid","call_identifier":"FWF"},{"grant_number":"25762","_id":"9B9C98E0-BA93-11EA-9121-9846C619BF3A","name":"Structural characterization of spumavirus capsid assemblies to understand conserved Ortervirales assembly mechanisms"}],"intvolume":"        32","external_id":{"isi":["001306564000001"],"pmid":["39242978"],"oaworkid":["W4402316284"]},"oaworkid":1,"language":[{"iso":"eng"}],"status":"public","publication_identifier":{"issn":["1545-9993"],"eissn":["1545-9985"]}},{"day":"25","acknowledgement":"European Research Council, https://ror.org/0472cxd90, 101071793\r\nAustrian Academy of Sciences, 26360","tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_status":"draft","ddc":["539","570"],"title":"Substrate heterogeneity promotes cancer cell dissemination through interface roughening","department":[{"_id":"GradSch"},{"_id":"EdHa"},{"_id":"MiSi"},{"_id":"NanoFab"},{"_id":"AnSa"}],"OA_place":"repository","doi":"10.1101/2025.05.20.655037","type":"preprint","abstract":[{"lang":"eng","text":"While tumor malignancy has been extensively studied under the prism of genetic and epigenetic heterogeneity, tumor cell states also critically depend on reciprocal interactions with the microenvironment. This raises the hitherto untested possibility that heterogeneity of the untransformed tumor stroma can actively fuel malignant progression. As biological heterogeneity is inherently difficult to control, we adopted a reductionist approach and let tumor cells invade micro-engineered environments harboring obstacles with precision-controlled geometry. We find that not only the presence of obstacles, but more surprisingly their spatial disorder, causes a drastic shift from a collective to a single-cell mode of invasion – comparable in strength to cadherin loss. Combining live-imaging and perturbation experiments with minimal biophysical modeling, we demonstrate that cell detachments result both from local geometrical constraints and a global integration of spatial disorder over time. We show that different types of microenvironments map onto different universality classes of invasion dynamics - homogeneous substrates follow Kardar–Parisi–Zhang (KPZ) scaling, while disordered ones exhibit exponents consistent with KPZ with quenched disorder (KPZq). Our findings highlight generic physical principles for how the mode of cancer cell invasion depends on environmental heterogeneity, with potential implications to understand tumor evolution in vivo."}],"has_accepted_license":"1","corr_author":"1","main_file_link":[{"url":"https://doi.org/10.1101/2025.05.20.655037","open_access":"1"}],"year":"2025","author":[{"full_name":"Dunajova, Zuzana","id":"4B39F286-F248-11E8-B48F-1D18A9856A87","first_name":"Zuzana","last_name":"Dunajova"},{"orcid":"0000-0003-1671-393X","full_name":"Tasciyan, Saren","first_name":"Saren","id":"4323B49C-F248-11E8-B48F-1D18A9856A87","last_name":"Tasciyan"},{"first_name":"Juraj","id":"3e6d9473-f38e-11ec-8ae0-c4e05a8aa9e1","last_name":"Majek","full_name":"Majek, Juraj"},{"orcid":"0000-0001-5145-4609","full_name":"Merrin, Jack","first_name":"Jack","id":"4515C308-F248-11E8-B48F-1D18A9856A87","last_name":"Merrin"},{"full_name":"Sahai, Erik","last_name":"Sahai","first_name":"Erik"},{"last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K","full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179"},{"last_name":"Hannezo","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","first_name":"Edouard B","full_name":"Hannezo, Edouard B","orcid":"0000-0001-6005-1561"}],"publisher":"bioRxiv","month":"09","oa_version":"Preprint","oa":1,"date_created":"2026-03-11T08:40:06Z","date_updated":"2026-03-18T14:11:35Z","citation":{"ista":"Dunajova Z, Tasciyan S, Majek J, Merrin J, Sahai E, Sixt MK, Hannezo EB. Substrate heterogeneity promotes cancer cell dissemination through interface roughening. <a href=\"https://doi.org/10.1101/2025.05.20.655037\">10.1101/2025.05.20.655037</a>.","short":"Z. Dunajova, S. Tasciyan, J. Majek, J. Merrin, E. Sahai, M.K. Sixt, E.B. Hannezo, (n.d.).","chicago":"Dunajova, Zuzana, Saren Tasciyan, Juraj Majek, Jack Merrin, Erik Sahai, Michael K Sixt, and Edouard B Hannezo. “Substrate Heterogeneity Promotes Cancer Cell Dissemination through Interface Roughening.” bioRxiv, n.d. <a href=\"https://doi.org/10.1101/2025.05.20.655037\">https://doi.org/10.1101/2025.05.20.655037</a>.","apa":"Dunajova, Z., Tasciyan, S., Majek, J., Merrin, J., Sahai, E., Sixt, M. K., &#38; Hannezo, E. B. (n.d.). Substrate heterogeneity promotes cancer cell dissemination through interface roughening. bioRxiv. <a href=\"https://doi.org/10.1101/2025.05.20.655037\">https://doi.org/10.1101/2025.05.20.655037</a>","ieee":"Z. Dunajova <i>et al.</i>, “Substrate heterogeneity promotes cancer cell dissemination through interface roughening.” bioRxiv.","mla":"Dunajova, Zuzana, et al. <i>Substrate Heterogeneity Promotes Cancer Cell Dissemination through Interface Roughening</i>. bioRxiv, doi:<a href=\"https://doi.org/10.1101/2025.05.20.655037\">10.1101/2025.05.20.655037</a>.","ama":"Dunajova Z, Tasciyan S, Majek J, et al. Substrate heterogeneity promotes cancer cell dissemination through interface roughening. doi:<a href=\"https://doi.org/10.1101/2025.05.20.655037\">10.1101/2025.05.20.655037</a>"},"article_processing_charge":"No","_id":"21427","date_published":"2025-09-25T00:00:00Z","related_material":{"record":[{"status":"public","id":"21423","relation":"dissertation_contains"},{"id":"21439","relation":"research_data","status":"public"}]},"project":[{"grant_number":"101071793","_id":"bd91e723-d553-11ed-ba76-fe7eeb2185fd","name":"Pushing from within: Control of cell shape, integrity and motility by cytoskeletal pushing forces"},{"grant_number":"26360","_id":"34d75525-11ca-11ed-8bc3-89b6307fee9d","name":"Motile active matter models of migrating cells and chiral filaments"}],"language":[{"iso":"eng"}],"status":"public"},{"license":"https://creativecommons.org/licenses/by-nc/4.0/","file":[{"file_size":57903731,"file_id":"21479","relation":"main_file","success":1,"creator":"dernst","file_name":"2025_SiggraphAsia_Rao.pdf","checksum":"a3dc426cdf7bbd84a192e5140bb3bb49","date_created":"2026-03-23T14:41:07Z","content_type":"application/pdf","date_updated":"2026-03-23T14:41:07Z","access_level":"open_access"}],"OA_place":"publisher","department":[{"_id":"BeBi"}],"file_date_updated":"2026-03-23T14:41:07Z","OA_type":"gold","doi":"10.1145/3757377.3763962","tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","acknowledgement":"This work was supported by the ERC Consolidator Grant 4DReply (770784) and Saarbrücken Research Center for Visual Comput- ing, Interaction, and AI. We thank Oleksandr Sotnychenko for helping us with setting up data capture. Finally, we thank Shrisha Bharadwaj for discussions, proofreading and innumerable support.","day":"14","ddc":["000"],"title":"3DPR: Single image 3D portrait relighting with generative priors","publication":"Proceedings SIGGRAPH Asia 2025 Conference Papers 2025","abstract":[{"text":"Rendering novel, relit views of a human head, given a monocular portrait image as input, is an inherently underconstrained problem. The traditional graphics solution is to explicitly decompose the input image into geometry, material and lighting via differentiable rendering; but this is constrained by the multiple assumptions and approximations of the underlying models and parameterizations of these scene components. We propose 3DPR, an image-based relighting model that leverages generative priors learnt from multi-view One-Light-at-A-Time (OLAT) images captured in a light stage. We introduce a new diverse and large-scale multi-view 4K OLAT dataset of 139 subjects to learn a high-quality prior over the distribution of high-frequency face reflectance. We leverage the latent space of a pre-trained generative head model that provides a rich prior over face geometry learnt from in-the-wild image datasets. The input portrait is first embedded in the latent manifold of such a model through an encoder-based inversion process. Then a novel triplane-based reflectance network trained on our lightstage data is used to synthesize high-fidelity OLAT images to enable image-based relighting. Our reflectance network operates in the latent space of the generative head model, crucially enabling a relatively small number of lightstage images to train the reflectance model. Combining the generated OLATs according to a given HDRI environment maps yields physically accurate environmental relighting results. Through quantitative and qualitative evaluations, we demonstrate that 3DPR outperforms previous methods, particularly in preserving identity and in capturing lighting effects such as specularities, self-shadows, and subsurface scattering.","lang":"eng"}],"has_accepted_license":"1","type":"conference","quality_controlled":"1","scopus_import":"1","oa":1,"date_created":"2026-03-22T23:04:35Z","date_updated":"2026-03-23T14:45:58Z","_id":"21474","date_published":"2025-12-14T00:00:00Z","article_processing_charge":"No","citation":{"ieee":"P. Rao <i>et al.</i>, “3DPR: Single image 3D portrait relighting with generative priors,” in <i>Proceedings SIGGRAPH Asia 2025 Conference Papers 2025</i>, Hong Kong, Hong Kong, 2025.","mla":"Rao, Pramod, et al. “3DPR: Single Image 3D Portrait Relighting with Generative Priors.” <i>Proceedings SIGGRAPH Asia 2025 Conference Papers 2025</i>, 108, Association for Computing Machinery, 2025, doi:<a href=\"https://doi.org/10.1145/3757377.3763962\">10.1145/3757377.3763962</a>.","ama":"Rao P, Meka A, Zhou X, et al. 3DPR: Single image 3D portrait relighting with generative priors. In: <i>Proceedings SIGGRAPH Asia 2025 Conference Papers 2025</i>. Association for Computing Machinery; 2025. doi:<a href=\"https://doi.org/10.1145/3757377.3763962\">10.1145/3757377.3763962</a>","chicago":"Rao, Pramod, Abhimitra Meka, Xilong Zhou, Gereon Fox, B. R. Mallikarjun, Fangneng Zhan, Tim Weyrich, et al. “3DPR: Single Image 3D Portrait Relighting with Generative Priors.” In <i>Proceedings SIGGRAPH Asia 2025 Conference Papers 2025</i>. Association for Computing Machinery, 2025. <a href=\"https://doi.org/10.1145/3757377.3763962\">https://doi.org/10.1145/3757377.3763962</a>.","apa":"Rao, P., Meka, A., Zhou, X., Fox, G., Mallikarjun, B. R., Zhan, F., … Theobalt, C. (2025). 3DPR: Single image 3D portrait relighting with generative priors. In <i>Proceedings SIGGRAPH Asia 2025 Conference Papers 2025</i>. Hong Kong, Hong Kong: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3757377.3763962\">https://doi.org/10.1145/3757377.3763962</a>","short":"P. Rao, A. Meka, X. Zhou, G. Fox, B.R. Mallikarjun, F. Zhan, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, T. Beeler, M. Elgharib, M. Habermann, C. Theobalt, in:, Proceedings SIGGRAPH Asia 2025 Conference Papers 2025, Association for Computing Machinery, 2025.","ista":"Rao P, Meka A, Zhou X, Fox G, Mallikarjun BR, Zhan F, Weyrich T, Bickel B, Pfister H, Matusik W, Beeler T, Elgharib M, Habermann M, Theobalt C. 2025. 3DPR: Single image 3D portrait relighting with generative priors. Proceedings SIGGRAPH Asia 2025 Conference Papers 2025. SA: SIGGRAPH Asia, 108."},"year":"2025","conference":{"end_date":"2025-12-18","start_date":"2025-12-15","name":"SA: SIGGRAPH Asia","location":"Hong Kong, Hong Kong"},"oa_version":"Published Version","month":"12","publisher":"Association for Computing Machinery","author":[{"full_name":"Rao, Pramod","first_name":"Pramod","last_name":"Rao"},{"full_name":"Meka, Abhimitra","last_name":"Meka","first_name":"Abhimitra"},{"full_name":"Zhou, Xilong","last_name":"Zhou","first_name":"Xilong"},{"full_name":"Fox, Gereon","last_name":"Fox","first_name":"Gereon"},{"first_name":"B. R.","last_name":"Mallikarjun","full_name":"Mallikarjun, B. R."},{"first_name":"Fangneng","last_name":"Zhan","full_name":"Zhan, Fangneng"},{"last_name":"Weyrich","first_name":"Tim","full_name":"Weyrich, Tim"},{"last_name":"Bickel","first_name":"Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6511-9385","full_name":"Bickel, Bernd"},{"last_name":"Pfister","first_name":"Hanspeter","full_name":"Pfister, Hanspeter"},{"last_name":"Matusik","first_name":"Wojciech","full_name":"Matusik, Wojciech"},{"first_name":"Thabo","last_name":"Beeler","full_name":"Beeler, Thabo"},{"full_name":"Elgharib, Mohamed","first_name":"Mohamed","last_name":"Elgharib"},{"full_name":"Habermann, Marc","last_name":"Habermann","first_name":"Marc"},{"last_name":"Theobalt","first_name":"Christian","full_name":"Theobalt, Christian"}],"external_id":{"arxiv":["2510.15846"]},"language":[{"iso":"eng"}],"status":"public","publication_identifier":{"isbn":["9798400721373"]},"arxiv":1,"article_number":"108"},{"_id":"21398","date_published":"2025-09-23T00:00:00Z","doi":"10.48550/arXiv.2509.20539","citation":{"chicago":"Dvorak, Martin, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2509.20539\">https://doi.org/10.48550/arXiv.2509.20539</a>.","apa":"Dvorak, M., Figueroa-Reid, T., Hamadani, R., Hwang, B.-H., Karunus, E., Kolmogorov, V., … Sergeev, I. (n.d.). Composition direction of Seymour’s theorem for regular matroids — Formally verified. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2509.20539\">https://doi.org/10.48550/arXiv.2509.20539</a>","ieee":"M. Dvorak <i>et al.</i>, “Composition direction of Seymour’s theorem for regular matroids — Formally verified,” <i>arXiv</i>. .","mla":"Dvorak, Martin, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” <i>ArXiv</i>, doi:<a href=\"https://doi.org/10.48550/arXiv.2509.20539\">10.48550/arXiv.2509.20539</a>.","ama":"Dvorak M, Figueroa-Reid T, Hamadani R, et al. Composition direction of Seymour’s theorem for regular matroids — Formally verified. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2509.20539\">10.48550/arXiv.2509.20539</a>","ista":"Dvorak M, Figueroa-Reid T, Hamadani R, Hwang B-H, Karunus E, Kolmogorov V, Meiburg A, Nelson A, Nelson P, Sandey M, Sergeev I. Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv, <a href=\"https://doi.org/10.48550/arXiv.2509.20539\">10.48550/arXiv.2509.20539</a>.","short":"M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.)."},"article_processing_charge":"No","oa":1,"date_created":"2026-03-04T11:56:29Z","date_updated":"2026-03-27T12:36:59Z","OA_place":"repository","department":[{"_id":"GradSch"},{"_id":"VlKo"}],"month":"09","oa_version":"Preprint","title":"Composition direction of Seymour's theorem for regular matroids — Formally verified","author":[{"orcid":"0000-0001-5293-214X","full_name":"Dvorak, Martin","first_name":"Martin","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","last_name":"Dvorak"},{"first_name":"Tristan","last_name":"Figueroa-Reid","full_name":"Figueroa-Reid, Tristan"},{"first_name":"Rida","last_name":"Hamadani","full_name":"Hamadani, Rida"},{"full_name":"Hwang, Byung-Hak","first_name":"Byung-Hak","last_name":"Hwang"},{"full_name":"Karunus, Evgenia","first_name":"Evgenia","last_name":"Karunus"},{"full_name":"Kolmogorov, Vladimir","first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","last_name":"Kolmogorov"},{"full_name":"Meiburg, Alexander","last_name":"Meiburg","first_name":"Alexander"},{"full_name":"Nelson, Alexander","first_name":"Alexander","last_name":"Nelson"},{"first_name":"Peter","last_name":"Nelson","full_name":"Nelson, Peter"},{"full_name":"Sandey, Mark","first_name":"Mark","last_name":"Sandey"},{"id":"ca3c9187-9a72-11ee-a009-8af825d896b0","first_name":"Ivan","last_name":"Sergeev","full_name":"Sergeev, Ivan","orcid":"0009-0004-9145-8785"}],"publication":"arXiv","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_status":"draft","year":"2025","acknowledgement":"We would like to dedicate the paper to the memory of Klaus Truemper, whose monograph Matroid Decomposition [12]\r\nlaid the foundation for our entire work.","day":"23","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2509.20539"}],"language":[{"iso":"eng"}],"status":"public","abstract":[{"text":"Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited number of notions and results have been implemented so far. In this work, we formalize the proof of the forward (composition) direction of Seymour's theorem for regular matroids. To this end, we develop a library in Lean 4 that implements definitions and results about totally unimodular matrices, vector matroids, their standard representations, regular matroids, and 1-, 2-, and 3-sums of matrices and binary matroids given by their standard representations. Using this framework, we formally state Seymour's decomposition theorem and implement a formally verified proof of the composition direction in the setting where the matroids have finite rank and may have infinite ground sets.","lang":"eng"}],"corr_author":"1","external_id":{"arxiv":["2509.20539"]},"arxiv":1,"page":"21","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"21393"}]},"type":"preprint"},{"doi":"10.1021/jacs.5c11435","OA_type":"hybrid","file_date_updated":"2025-09-10T06:55:17Z","OA_place":"publisher","department":[{"_id":"MaIb"}],"file":[{"file_size":9997327,"relation":"main_file","file_id":"20334","creator":"dernst","success":1,"access_level":"open_access","date_updated":"2025-09-10T06:55:17Z","checksum":"52892fa91adadd39a1c42da9e01139a5","date_created":"2025-09-10T06:55:17Z","content_type":"application/pdf","file_name":"2025_JACS_Liu.pdf"}],"publication":"Journal of the American Chemical Society","title":"Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se","ddc":["540"],"day":"22","acknowledgement":"M.I. acknowledges financial support from ISTA and the Werner Siemens Foundation. The Scientific Service Units (SSU) of ISTA supported this work through resources provided by the Electron Microscopy Facility (EMF), the Lab Support Facility (LSF) and the Nanofabrication Facility (NNF) and the LSF Mass Spectrometry Service. The members of the Ibáñez research group are acknowledged, especially Christine Fiedler for scientific illustration and Ihor Cherniukh for valuable discussions. Y.L. acknowledges funding from the National Natural Science Foundation of China (NSFC) (Grants No. 22209034), the Innovation and Entrepreneurship Project of Overseas Returnees in Anhui Province (Grant No. 2022LCX002) and the Fundamental Research Funds for the Central Universities (JZ2024HGTB0239). K.H.L. acknowledges financial support from the National Natural Science Foundation of China (NSFC) (Grant No. 22208293). ICN2 acknowledges funding from Generalitat de Catalunya 2021SGR00457. Authors acknowledge the Advanced Materials programme by the Spanish Government with funding from European Union NextGenerationEU (PRTR-C17.I1) and by Generalitat de Catalunya (Project In-CAEM). The authors thank support from the project AMaDE (PID2023-149158OB-C43), funded by MCIN/AEI/10.13039/501100011033/and by “ERDF Away of making Europe”, by the “European Union”. ICN2 is supported by the Severo Ochoa program from Spanish MCIN/AEI (Grant No.: CEX2021-001214-S) and is funded by the CERCA Programme/Generalitat de Catalunya. ICN2 is founding member of e-DREAM. (68) M.H. acknowledges the funding from the Australian Research Council (FT230100316 and IH200100035). M.H. acknowledges the computational support from the National Computational Infrastructure (NCI) and Pawsey Supercomputing Centre, Australia.","publication_status":"published","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","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)"},"has_accepted_license":"1","corr_author":"1","abstract":[{"text":"Ag2Se is a promising n-type thermoelectric material, but its performance is limited by excessive carrier concentration, compositional inhomogeneity, and phase instability, challenges rooted in a narrow homogeneity range and uncontrolled Ag+ diffusion in the superionic phase. Here, we address these issues by exploiting liquid–solid interface reactions using CdSe complexes that remove surface excess Ag to yield stoichiometric Ag2Se and generate CdSe nanodomains that inhibit Ag+ diffusion and constrain grain growth. The resulting Ag2Se-CdSe nanocomposites exhibit a reproducible, stable figure of merit (zT) of 1.04 between 300 and 390 K. Beyond demonstrating high performance, we elucidate the interfacial chemical reactions that give rise to the observed microstructure and transport properties, providing a foundation for rationally engineering interfacial chemistry to tailor transport properties across diverse thermoelectric material systems.","lang":"eng"}],"scopus_import":"1","quality_controlled":"1","type":"journal_article","volume":147,"article_processing_charge":"Yes (via OA deal)","citation":{"ista":"Liu Y, Kleinhanns T, Horta S, Dutkiewicz E, Lu S, Spadaro MC, Genç A, Chen L, Lim KH, Hong M, Arbiol J, Ibáñez M. 2025. Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se. Journal of the American Chemical Society. 147(35), 32199–32208.","short":"Y. Liu, T. Kleinhanns, S. Horta, E. Dutkiewicz, S. Lu, M.C. Spadaro, A. Genç, L. Chen, K.H. Lim, M. Hong, J. Arbiol, M. Ibáñez, Journal of the American Chemical Society 147 (2025) 32199–32208.","apa":"Liu, Y., Kleinhanns, T., Horta, S., Dutkiewicz, E., Lu, S., Spadaro, M. C., … Ibáñez, M. (2025). Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se. <i>Journal of the American Chemical Society</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/jacs.5c11435\">https://doi.org/10.1021/jacs.5c11435</a>","chicago":"Liu, Yu, Tobias Kleinhanns, Sharona Horta, Ewelina Dutkiewicz, Shaoqing Lu, Maria Chiara Spadaro, Aziz Genç, et al. “Liquid-Solid Interface Reactions Drive Enhanced Thermoelectric Performance in Ag2Se.” <i>Journal of the American Chemical Society</i>. American Chemical Society, 2025. <a href=\"https://doi.org/10.1021/jacs.5c11435\">https://doi.org/10.1021/jacs.5c11435</a>.","ama":"Liu Y, Kleinhanns T, Horta S, et al. Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se. <i>Journal of the American Chemical Society</i>. 2025;147(35):32199-32208. doi:<a href=\"https://doi.org/10.1021/jacs.5c11435\">10.1021/jacs.5c11435</a>","mla":"Liu, Yu, et al. “Liquid-Solid Interface Reactions Drive Enhanced Thermoelectric Performance in Ag2Se.” <i>Journal of the American Chemical Society</i>, vol. 147, no. 35, American Chemical Society, 2025, pp. 32199–208, doi:<a href=\"https://doi.org/10.1021/jacs.5c11435\">10.1021/jacs.5c11435</a>.","ieee":"Y. Liu <i>et al.</i>, “Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se,” <i>Journal of the American Chemical Society</i>, vol. 147, no. 35. American Chemical Society, pp. 32199–32208, 2025."},"date_published":"2025-08-22T00:00:00Z","acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"LifeSc"},{"_id":"NanoFab"}],"_id":"20326","date_created":"2025-09-10T05:44:03Z","date_updated":"2026-04-02T09:03:38Z","oa":1,"author":[{"last_name":"Liu","first_name":"Yu","id":"2A70014E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7313-6740","full_name":"Liu, Yu"},{"last_name":"Kleinhanns","id":"8BD9DE16-AB3C-11E9-9C8C-2A03E6697425","first_name":"Tobias","full_name":"Kleinhanns, Tobias","orcid":"0000-0003-1537-7436"},{"last_name":"Horta","id":"03a7e858-01b1-11ec-8b71-99ae6c4a05bc","first_name":"Sharona","full_name":"Horta, Sharona"},{"first_name":"Ewelina","id":"0601cc46-c082-11ec-9b07-bb29641d1de9","last_name":"Dutkiewicz","full_name":"Dutkiewicz, Ewelina"},{"last_name":"Lu","first_name":"Shaoqing","full_name":"Lu, Shaoqing"},{"full_name":"Spadaro, Maria Chiara","last_name":"Spadaro","first_name":"Maria Chiara"},{"last_name":"Genç","first_name":"Aziz","full_name":"Genç, Aziz"},{"full_name":"Chen, Lei","last_name":"Chen","first_name":"Lei"},{"full_name":"Lim, Khak Ho","first_name":"Khak Ho","last_name":"Lim"},{"full_name":"Hong, Min","first_name":"Min","last_name":"Hong"},{"last_name":"Arbiol","first_name":"Jordi","full_name":"Arbiol, Jordi"},{"full_name":"Ibáñez, Maria","orcid":"0000-0001-5013-2843","last_name":"Ibáñez","id":"43C61214-F248-11E8-B48F-1D18A9856A87","first_name":"Maria"}],"oa_version":"Published Version","publisher":"American Chemical Society","month":"08","year":"2025","isi":1,"article_type":"original","status":"public","publication_identifier":{"eissn":["1520-5126"],"issn":["0002-7863"]},"language":[{"iso":"eng"}],"PlanS_conform":"1","issue":"35","external_id":{"isi":["001558320100001"]},"intvolume":"       147","project":[{"_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A","name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery"}],"page":"32199-32208"}]