[{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2024-06-06T00:00:00Z","date_updated":"2026-04-07T13:00:02Z","title":"Improved convergence of score-based diffusion models via prediction-correction","article_processing_charge":"No","year":"2024","publication_status":"draft","author":[{"full_name":"Pedrotti, Francesco","id":"d3ac8ac6-dc8d-11ea-abe3-e2a9628c4c3c","first_name":"Francesco","last_name":"Pedrotti"},{"first_name":"Jan","orcid":"0000-0002-0845-1338","last_name":"Maas","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","full_name":"Maas, Jan"},{"last_name":"Mondelli","orcid":"0000-0002-3242-7020","first_name":"Marco","full_name":"Mondelli, Marco","id":"27EB676C-8706-11E9-9510-7717E6697425"}],"type":"preprint","OA_place":"repository","external_id":{"arxiv":["2305.14164"]},"oa":1,"related_material":{"record":[{"id":"18897","relation":"later_version","status":"public"},{"status":"public","relation":"dissertation_contains","id":"17336"}]},"day":"06","arxiv":1,"_id":"17350","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2305.14164"}],"publication":"arXiv","status":"public","oa_version":"Preprint","month":"06","corr_author":"1","project":[{"_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","name":"Taming Complexity in Partial Differential Systems","grant_number":"F6504"},{"_id":"059876FA-7A3F-11EA-A408-12923DDC885E","name":"Prix Lopez-Loretta 2019 - Marco Mondelli"}],"language":[{"iso":"eng"}],"doi":"10.48550/arXiv.2305.14164","citation":{"short":"F. Pedrotti, J. Maas, M. Mondelli, ArXiv (n.d.).","chicago":"Pedrotti, Francesco, Jan Maas, and Marco Mondelli. “Improved Convergence of Score-Based Diffusion Models via Prediction-Correction.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2305.14164.","apa":"Pedrotti, F., Maas, J., & Mondelli, M. (n.d.). Improved convergence of score-based diffusion models via prediction-correction. arXiv. https://doi.org/10.48550/arXiv.2305.14164","ama":"Pedrotti F, Maas J, Mondelli M. Improved convergence of score-based diffusion models via prediction-correction. arXiv. doi:10.48550/arXiv.2305.14164","ista":"Pedrotti F, Maas J, Mondelli M. Improved convergence of score-based diffusion models via prediction-correction. arXiv, 10.48550/arXiv.2305.14164.","ieee":"F. Pedrotti, J. Maas, and M. Mondelli, “Improved convergence of score-based diffusion models via prediction-correction,” arXiv. .","mla":"Pedrotti, Francesco, et al. “Improved Convergence of Score-Based Diffusion Models via Prediction-Correction.” ArXiv, doi:10.48550/arXiv.2305.14164."},"abstract":[{"lang":"eng","text":"Score-based generative models (SGMs) are powerful tools to sample from\r\ncomplex data distributions. Their underlying idea is to (i) run a forward\r\nprocess for time $T_1$ by adding noise to the data, (ii) estimate its score\r\nfunction, and (iii) use such estimate to run a reverse process. As the reverse\r\nprocess is initialized with the stationary distribution of the forward one, the\r\nexisting analysis paradigm requires $T_1\\to\\infty$. This is however\r\nproblematic: from a theoretical viewpoint, for a given precision of the score\r\napproximation, the convergence guarantee fails as $T_1$ diverges; from a\r\npractical viewpoint, a large $T_1$ increases computational costs and leads to\r\nerror propagation. This paper addresses the issue by considering a version of\r\nthe popular predictor-corrector scheme: after running the forward process, we\r\nfirst estimate the final distribution via an inexact Langevin dynamics and then\r\nrevert the process. Our key technical contribution is to provide convergence\r\nguarantees which require to run the forward process only for a fixed finite\r\ntime $T_1$. Our bounds exhibit a mild logarithmic dependence on the input\r\ndimension and the subgaussian norm of the target distribution, have minimal\r\nassumptions on the data, and require only to control the $L^2$ loss on the\r\nscore approximation, which is the quantity minimized in practice."}],"date_created":"2024-07-31T07:56:40Z","department":[{"_id":"JaMa"},{"_id":"MaMo"}]},{"_id":"17352","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2402.04151","open_access":"1"}],"corr_author":"1","publication":"arXiv","month":"02","status":"public","oa_version":"Preprint","project":[{"grant_number":"F6504","name":"Taming Complexity in Partial Differential Systems","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2"},{"grant_number":"26293","name":"The impact of deleterious mutations on small populations","_id":"34d33d68-11ca-11ed-8bc3-ec13763c0ca8"}],"language":[{"iso":"eng"}],"doi":"10.48550/arXiv.2402.04151","citation":{"chicago":"Khudiakova, Kseniia, Jan Maas, and Francesco Pedrotti. “L∞-Optimal Transport of Anisotropic Log-Concave Measures and Exponential Convergence in Fisher’s Infinitesimal Model.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2402.04151.","short":"K. Khudiakova, J. Maas, F. Pedrotti, ArXiv (n.d.).","ieee":"K. Khudiakova, J. Maas, and F. Pedrotti, “L∞-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher’s infinitesimal model,” arXiv. .","mla":"Khudiakova, Kseniia, et al. “L∞-Optimal Transport of Anisotropic Log-Concave Measures and Exponential Convergence in Fisher’s Infinitesimal Model.” ArXiv, 2402.04151, doi:10.48550/arXiv.2402.04151.","ista":"Khudiakova K, Maas J, Pedrotti F. L∞-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher’s infinitesimal model. arXiv, 2402.04151.","apa":"Khudiakova, K., Maas, J., & Pedrotti, F. (n.d.). L∞-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher’s infinitesimal model. arXiv. https://doi.org/10.48550/arXiv.2402.04151","ama":"Khudiakova K, Maas J, Pedrotti F. L∞-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher’s infinitesimal model. arXiv. doi:10.48550/arXiv.2402.04151"},"abstract":[{"text":"We prove upper bounds on the $L^\\infty$-Wasserstein distance from optimal\r\ntransport between strongly log-concave probability densities and log-Lipschitz\r\nperturbations. In the simplest setting, such a bound amounts to a\r\ntransport-information inequality involving the $L^\\infty$-Wasserstein metric\r\nand the relative $L^\\infty$-Fisher information. We show that this inequality\r\ncan be sharpened significantly in situations where the involved densities are\r\nanisotropic. Our proof is based on probabilistic techniques using Langevin\r\ndynamics. As an application of these results, we obtain sharp exponential rates\r\nof convergence in Fisher's infinitesimal model from quantitative genetics,\r\ngeneralising recent results by Calvez, Poyato, and Santambrogio in dimension 1\r\nto arbitrary dimensions.","lang":"eng"}],"department":[{"_id":"JaMa"}],"date_created":"2024-07-31T08:07:40Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"2402.04151","date_published":"2024-02-07T00:00:00Z","date_updated":"2026-04-07T13:00:02Z","title":"L∞-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher's infinitesimal model","year":"2024","article_processing_charge":"No","publication_status":"draft","author":[{"first_name":"Kseniia","orcid":"0000-0002-6246-1465","last_name":"Khudiakova","id":"4E6DC800-AE37-11E9-AC72-31CAE5697425","full_name":"Khudiakova, Kseniia"},{"orcid":"0000-0002-0845-1338","last_name":"Maas","first_name":"Jan","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","full_name":"Maas, Jan"},{"first_name":"Francesco","last_name":"Pedrotti","full_name":"Pedrotti, Francesco","id":"d3ac8ac6-dc8d-11ea-abe3-e2a9628c4c3c"}],"type":"preprint","OA_place":"repository","external_id":{"arxiv":["2402.04151"]},"oa":1,"related_material":{"record":[{"status":"public","relation":"later_version","id":"20050"},{"status":"public","id":"17336","relation":"dissertation_contains"}]},"day":"07","arxiv":1},{"_id":"17353","month":"05","status":"public","oa_version":"Preprint","corr_author":"1","publication":"arXiv","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2404.15205"}],"abstract":[{"text":"In this paper we derive estimates for the Hessian of the logarithm\r\n(log-Hessian) for solutions to the heat equation. For initial data in the form\r\nof log-Lipschitz perturbation of strongly log-concave measures, the log-Hessian\r\nadmits an explicit, uniform (in space) lower bound. This yields a new estimate\r\nfor the Lipschitz constant of a transport map pushing forward the standard\r\nGaussian to a measure in this class. Further connections are discussed with\r\nscore-based diffusion models and improved Gaussian logarithmic Sobolev\r\ninequalities. Finally, we show that assuming only fast decay of the tails of\r\nthe initial datum does not suffice to guarantee uniform log-Hessian upper\r\nbounds.","lang":"eng"}],"date_created":"2024-07-31T08:17:14Z","department":[{"_id":"JaMa"}],"language":[{"iso":"eng"}],"doi":"10.48550/arXiv.2404.15205","citation":{"chicago":"Brigati, Giovanni, and Francesco Pedrotti. “Heat Flow, Log-Concavity, and Lipschitz Transport Maps.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2404.15205.","short":"G. Brigati, F. Pedrotti, ArXiv (n.d.).","ieee":"G. Brigati and F. Pedrotti, “Heat flow, log-concavity, and Lipschitz transport maps,” arXiv. .","mla":"Brigati, Giovanni, and Francesco Pedrotti. “Heat Flow, Log-Concavity, and Lipschitz Transport Maps.” ArXiv, 2404.15205, doi:10.48550/arXiv.2404.15205.","ama":"Brigati G, Pedrotti F. Heat flow, log-concavity, and Lipschitz transport maps. arXiv. doi:10.48550/arXiv.2404.15205","ista":"Brigati G, Pedrotti F. Heat flow, log-concavity, and Lipschitz transport maps. arXiv, 2404.15205.","apa":"Brigati, G., & Pedrotti, F. (n.d.). Heat flow, log-concavity, and Lipschitz transport maps. arXiv. https://doi.org/10.48550/arXiv.2404.15205"},"publication_status":"draft","year":"2024","article_processing_charge":"No","author":[{"id":"63ff57e8-1fbb-11ee-88f2-f558ffc59cf1","full_name":"Brigati, Giovanni","last_name":"Brigati","first_name":"Giovanni"},{"id":"d3ac8ac6-dc8d-11ea-abe3-e2a9628c4c3c","full_name":"Pedrotti, Francesco","last_name":"Pedrotti","first_name":"Francesco"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Heat flow, log-concavity, and Lipschitz transport maps","date_published":"2024-05-08T00:00:00Z","date_updated":"2026-04-07T13:00:02Z","article_number":"2404.15205","day":"08","related_material":{"record":[{"status":"public","id":"20591","relation":"later_version"},{"status":"public","id":"17336","relation":"dissertation_contains"}]},"arxiv":1,"OA_place":"repository","type":"preprint","oa":1,"external_id":{"arxiv":["2404.15205"]}},{"author":[{"full_name":"Bauer, Martin","first_name":"Martin","last_name":"Bauer"},{"id":"6F7C4B96-A8E9-11E9-A7CA-09ECE5697425","full_name":"Ishida, Sadashige","orcid":"0000-0002-3121-3100","last_name":"Ishida","first_name":"Sadashige"},{"first_name":"Peter W.","last_name":"Michor","full_name":"Michor, Peter W."}],"publication_status":"draft","year":"2024","article_processing_charge":"No","keyword":["space of space curves","symplectic stuctures"],"title":"Symplectic structures on the space of space curves","date_updated":"2026-04-28T09:59:01Z","date_published":"2024-07-29T00:00:00Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","arxiv":1,"day":"29","acknowledgement":"The authors are grateful to Boris Khesin for valuable comments on the MW symplectic structure and S. Ishida thanks Albert Chern for insightful discussions on space curves and Chris Wojtan for his continuous support. M. Bauer was partially supported by NSF grant DMS-1953244 and by the Binational Science Foundation (BSF). S. Ishida was partially supported by ERC Consolidator Grant 101045083 “CoDiNA” funded by the European Research Council. Some figures were generated by the software Houdini and its education license was provided by SideFX.","related_material":{"record":[{"relation":"dissertation_contains","id":"20551","status":"public"},{"status":"public","id":"21743","relation":"later_version"}]},"oa":1,"external_id":{"arxiv":["2407.19908"]},"OA_place":"repository","type":"preprint","status":"public","publication":"arXiv","oa_version":"Preprint","month":"07","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2407.19908"}],"_id":"17361","abstract":[{"text":"We present symplectic structures on the shape space of unparameterized space curves that generalize the classical Marsden-Weinstein structure. Our method integrates the Liouville 1-form of the Marsden-Weinstein structure with Riemannian structures that have been introduced in mathematical shape analysis. We also derive Hamiltonian vector fields for several classical Hamiltonian functions with respect to these new symplectic structures.","lang":"eng"}],"department":[{"_id":"GradSch"},{"_id":"ChWo"}],"date_created":"2024-08-01T06:34:08Z","doi":"10.48550/arXiv.2407.19908","citation":{"short":"M. Bauer, S. Ishida, P.W. Michor, ArXiv (n.d.).","chicago":"Bauer, Martin, Sadashige Ishida, and Peter W. Michor. “Symplectic Structures on the Space of Space Curves.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2407.19908.","ista":"Bauer M, Ishida S, Michor PW. Symplectic structures on the space of space curves. arXiv, 10.48550/arXiv.2407.19908.","ama":"Bauer M, Ishida S, Michor PW. Symplectic structures on the space of space curves. arXiv. doi:10.48550/arXiv.2407.19908","apa":"Bauer, M., Ishida, S., & Michor, P. W. (n.d.). Symplectic structures on the space of space curves. arXiv. https://doi.org/10.48550/arXiv.2407.19908","mla":"Bauer, Martin, et al. “Symplectic Structures on the Space of Space Curves.” ArXiv, doi:10.48550/arXiv.2407.19908.","ieee":"M. Bauer, S. Ishida, and P. W. Michor, “Symplectic structures on the space of space curves,” arXiv. ."},"language":[{"iso":"eng"}],"project":[{"_id":"34bc2376-11ca-11ed-8bc3-9a3b3961a088","name":"Computational Discovery of Numerical Algorithms for Animation and Simulation of Natural Phenomena","grant_number":"101045083"}]},{"acknowledged_ssus":[{"_id":"ScienComp"}],"corr_author":"1","status":"public","ddc":["576"],"oa_version":"Published Version","month":"08","_id":"17362","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.15479/AT:ISTA:17362","citation":{"chicago":"Elkrewi, Marwan N, and Beatriz Vicoso. “Data for: ‘Single-Nucleus Atlas of the Artemia Female Reproductive System Suggests Germline Repression of the Z Chromosome.’” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:17362.","short":"M.N. Elkrewi, B. Vicoso, (2024).","ieee":"M. N. Elkrewi and B. Vicoso, “Data for: ‘Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.’” Institute of Science and Technology Austria, 2024.","mla":"Elkrewi, Marwan N., and Beatriz Vicoso. Data for: “Single-Nucleus Atlas of the Artemia Female Reproductive System Suggests Germline Repression of the Z Chromosome.” Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17362.","apa":"Elkrewi, M. N., & Vicoso, B. (2024). Data for: “Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17362","ista":"Elkrewi MN, Vicoso B. 2024. Data for: ‘Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:17362.","ama":"Elkrewi MN, Vicoso B. Data for: “Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.” 2024. doi:10.15479/AT:ISTA:17362"},"project":[{"name":"The highjacking of meiosis for asexual reproduction","grant_number":"F8810","_id":"34ae1506-11ca-11ed-8bc3-c14f4c474396"}],"publisher":"Institute of Science and Technology Austria","date_created":"2024-08-02T07:27:45Z","abstract":[{"text":"This is the supplementary data for the paper titled \"Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome\", where we described the generation and analysis of single-nucleus expression and chromatin-accessibility data from the female reproductive system of Artemia franciscana. We compared our dataset to the published Drosophila single-nucleus data (over 400 million years of divergence) and highlighted the extreme conservation of several of the molecular pathways of oogenesis and meiosis. We found evidence of global transcriptional quiescence and chromatin condensation in late germ cells, highlighting the conserved role of this repressive stage in arthropod oogenesis. Additionally, we explored the expression patterns of the ZW sex chromosomes during oogenesis. Our data shows that the Z-chromosome is consistently downregulated in germline cells. While this is partly driven by a lack of dosage compensation in the germline, a subset of cells show stronger repression of the Z chromosome.","lang":"eng"}],"has_accepted_license":"1","department":[{"_id":"GradSch"},{"_id":"BeVi"}],"date_updated":"2026-04-16T12:20:41Z","date_published":"2024-08-05T00:00:00Z","title":"Data for: \"Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome\"","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_size":2465,"access_level":"open_access","content_type":"text/plain","date_created":"2024-08-05T22:24:18Z","relation":"main_file","checksum":"26b5d41b3103f4284dd97d56e370a5b6","creator":"melkrewi","file_name":"README.txt","date_updated":"2024-08-05T22:24:18Z","file_id":"17394","success":1},{"date_updated":"2024-08-05T23:28:52Z","success":1,"file_id":"17395","content_type":"application/x-zip-compressed","access_level":"open_access","file_size":2526735400,"checksum":"95adab5e36148015da313505e3910707","creator":"melkrewi","file_name":"Data_artemia_single_nucleus_atlas.zip","relation":"main_file","date_created":"2024-08-05T23:28:52Z"}],"author":[{"orcid":"0000-0002-5328-7231","last_name":"Elkrewi","first_name":"Marwan N","id":"0B46FACA-A8E1-11E9-9BD3-79D1E5697425","full_name":"Elkrewi, Marwan N"},{"orcid":"0000-0002-4579-8306","last_name":"Vicoso","first_name":"Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","full_name":"Vicoso, Beatriz"}],"year":"2024","article_processing_charge":"No","oa":1,"type":"research_data","license":"https://creativecommons.org/licenses/by/4.0/","related_material":{"record":[{"relation":"used_in_publication","id":"17890","status":"public"}]},"file_date_updated":"2024-08-05T23:28:52Z","day":"05"},{"external_id":{"isi":["001315424500021"],"arxiv":["2301.06897"]},"article_type":"original","publication_identifier":{"issn":["0036-1410"],"eissn":["1095-7154"]},"acknowledgement":"The first author’s research was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme grant 948819. . The second author’s research was supported by the VICI subsidy VI.C.212.027 of the Netherlands Organisation for Scientific Research (NWO).","day":"01","arxiv":1,"date_updated":"2025-09-08T08:46:57Z","title":"Reaction-diffusion equations with transport noise and critical superlinear diffusion: Global well-posedness of weakly dissipative systems","author":[{"first_name":"Antonio","last_name":"Agresti","orcid":"0000-0002-9573-2962","full_name":"Agresti, Antonio","id":"673cd0cc-9b9a-11eb-b144-88f30e1fbb72"},{"full_name":"Veraar, Mark","first_name":"Mark","last_name":"Veraar"}],"project":[{"call_identifier":"H2020","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials","grant_number":"948819"}],"doi":"10.1137/23M1562482","citation":{"short":"A. Agresti, M. Veraar, SIAM Journal on Mathematical Analysis 56 (2024) 4870–4927.","chicago":"Agresti, Antonio, and Mark Veraar. “Reaction-Diffusion Equations with Transport Noise and Critical Superlinear Diffusion: Global Well-Posedness of Weakly Dissipative Systems.” SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics, 2024. https://doi.org/10.1137/23M1562482.","ista":"Agresti A, Veraar M. 2024. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Global well-posedness of weakly dissipative systems. SIAM Journal on Mathematical Analysis. 56(4), 4870–4927.","apa":"Agresti, A., & Veraar, M. (2024). Reaction-diffusion equations with transport noise and critical superlinear diffusion: Global well-posedness of weakly dissipative systems. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/23M1562482","ama":"Agresti A, Veraar M. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Global well-posedness of weakly dissipative systems. SIAM Journal on Mathematical Analysis. 2024;56(4):4870-4927. doi:10.1137/23M1562482","ieee":"A. Agresti and M. Veraar, “Reaction-diffusion equations with transport noise and critical superlinear diffusion: Global well-posedness of weakly dissipative systems,” SIAM Journal on Mathematical Analysis, vol. 56, no. 4. Society for Industrial and Applied Mathematics, pp. 4870–4927, 2024.","mla":"Agresti, Antonio, and Mark Veraar. “Reaction-Diffusion Equations with Transport Noise and Critical Superlinear Diffusion: Global Well-Posedness of Weakly Dissipative Systems.” SIAM Journal on Mathematical Analysis, vol. 56, no. 4, Society for Industrial and Applied Mathematics, 2024, pp. 4870–927, doi:10.1137/23M1562482."},"department":[{"_id":"JuFi"}],"scopus_import":"1","volume":56,"_id":"17372","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2301.06897","open_access":"1"}],"oa_version":"Preprint","quality_controlled":"1","ec_funded":1,"type":"journal_article","isi":1,"oa":1,"page":"4870-4927","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2024-08-01T00:00:00Z","article_processing_charge":"No","year":"2024","publication_status":"published","language":[{"iso":"eng"}],"intvolume":" 56","date_created":"2024-08-04T22:01:21Z","abstract":[{"text":"In this paper, we investigate the global well-posedness of reaction-diffusion systems with transport noise on the d-dimensional torus. We show new global well-posedness results for a large class of scalar equations (e.g. the Allen-Cahn equation), and dissipative systems (e.g. equations in coagulation dynamics). Moreover, we prove global well-posedness for two weakly dissipative systems: Lotka-Volterra equations for d∈{1,2,3,4} and the Brusselator for d∈{1,2,3}. Many of the results are also new without transport noise. The proofs are based on maximal regularity techniques, positivity results, and sharp blow-up criteria developed in our recent works, combined with energy estimates based on Itô's formula and stochastic Gronwall inequalities. Key novelties include the introduction of new Lζ -coercivity/dissipativity conditions and the development of an Lp(Lq) -framework for systems of reaction-diffusion equations, which are needed when treating dimensions d∈{2,3} in the case of cubic or higher order nonlinearities.","lang":"eng"}],"publisher":"Society for Industrial and Applied Mathematics","corr_author":"1","status":"public","month":"08","publication":"SIAM Journal on Mathematical Analysis","issue":"4"},{"oa":1,"isi":1,"type":"conference","date_published":"2024-07-13T00:00:00Z","article_number":"41","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","file":[{"access_level":"open_access","content_type":"application/pdf","file_size":59683257,"creator":"dernst","checksum":"4650f6d1419e675929133e46a91ca177","file_name":"2024_SIGGRAPH_Rao.pdf","date_created":"2024-08-05T08:25:18Z","relation":"main_file","date_updated":"2024-08-05T08:25:18Z","success":1,"file_id":"17387"}],"article_processing_charge":"Yes (in subscription journal)","year":"2024","publication_status":"published","language":[{"iso":"eng"}],"publisher":"Association for Computing Machinery","has_accepted_license":"1","abstract":[{"text":"Achieving photorealistic 3D view synthesis and relighting of human portraits is pivotal for advancing AR/VR applications. Existing methodologies in portrait relighting demonstrate substantial limitations in terms of generalization and 3D consistency, coupled with inaccuracies in physically realistic lighting and identity preservation. Furthermore, personalization from a single view is difficult to achieve and often requires multiview images during the testing phase or involves slow optimization processes. This paper introduces Lite2Relight , a novel technique that can predict 3D consistent head poses of portraits while performing physically plausible light editing at interactive speed. Our method uniquely extends the generative capabilities and efficient volumetric representation of EG3D, leveraging a lightstage dataset to implicitly disentangle face reflectance and perform relighting under target HDRI environment maps. By utilizing a pre-trained geometry-aware encoder and a feature alignment module, we map input images into a relightable 3D space, enhancing them with a strong face geometry and reflectance prior. Through extensive quantitative and qualitative evaluations, we show that our method outperforms the state-of-the-art methods in terms of efficacy, photorealism, and practical application. This includes producing 3D-consistent results of the full head, including hair, eyes, and expressions. Lite2Relight paves the way for large-scale adoption of photorealistic portrait editing in various domains, offering a robust, interactive solution to a previously constrained problem.","lang":"eng"}],"date_created":"2024-08-04T22:01:21Z","ddc":["000"],"status":"public","month":"07","publication":"Proceedings - SIGGRAPH 2024 Conference Papers","external_id":{"isi":["001282218200076"],"arxiv":["2407.10487"]},"conference":{"location":"Denver, CO, United States","name":"SIGGRAPH: Computer Graphics and Interactive Techniques Conference","start_date":"2024-07-27","end_date":"2024-08-01"},"arxiv":1,"file_date_updated":"2024-08-05T08:25:18Z","publication_identifier":{"isbn":["9798400705250"]},"acknowledgement":"This work was supported by the ERC Consolidator Grant 4DReply (770784). We extend our gratitude to Shrisha Bharadwaj for providing feedback and constant support.","day":"13","date_updated":"2025-09-08T08:48:22Z","title":"Lite2Relight: 3D-aware single image portrait relighting","author":[{"full_name":"Rao, Pramod","last_name":"Rao","first_name":"Pramod"},{"first_name":"Gereon","last_name":"Fox","full_name":"Fox, Gereon"},{"first_name":"Abhimitra","last_name":"Meka","full_name":"Meka, Abhimitra"},{"first_name":"B. R.","last_name":"Mallikarjun","full_name":"Mallikarjun, B. R."},{"full_name":"Zhan, Fangneng","first_name":"Fangneng","last_name":"Zhan"},{"last_name":"Weyrich","first_name":"Tim","full_name":"Weyrich, Tim"},{"orcid":"0000-0001-6511-9385","last_name":"Bickel","first_name":"Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","full_name":"Bickel, Bernd"},{"full_name":"Pfister, Hanspeter","last_name":"Pfister","first_name":"Hanspeter"},{"last_name":"Matusik","first_name":"Wojciech","full_name":"Matusik, Wojciech"},{"first_name":"Mohamed","last_name":"Elgharib","full_name":"Elgharib, Mohamed"},{"full_name":"Theobalt, Christian","first_name":"Christian","last_name":"Theobalt"}],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"chicago":"Rao, Pramod, Gereon Fox, Abhimitra Meka, B. R. Mallikarjun, Fangneng Zhan, Tim Weyrich, Bernd Bickel, et al. “Lite2Relight: 3D-Aware Single Image Portrait Relighting.” In Proceedings - SIGGRAPH 2024 Conference Papers. Association for Computing Machinery, 2024. https://doi.org/10.1145/3641519.3657470.","short":"P. Rao, G. Fox, A. Meka, B.R. Mallikarjun, F. Zhan, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, M. Elgharib, C. Theobalt, in:, Proceedings - SIGGRAPH 2024 Conference Papers, Association for Computing Machinery, 2024.","mla":"Rao, Pramod, et al. “Lite2Relight: 3D-Aware Single Image Portrait Relighting.” Proceedings - SIGGRAPH 2024 Conference Papers, 41, Association for Computing Machinery, 2024, doi:10.1145/3641519.3657470.","ieee":"P. Rao et al., “Lite2Relight: 3D-aware single image portrait relighting,” in Proceedings - SIGGRAPH 2024 Conference Papers, Denver, CO, United States, 2024.","ama":"Rao P, Fox G, Meka A, et al. Lite2Relight: 3D-aware single image portrait relighting. In: Proceedings - SIGGRAPH 2024 Conference Papers. Association for Computing Machinery; 2024. doi:10.1145/3641519.3657470","ista":"Rao P, Fox G, Meka A, Mallikarjun BR, Zhan F, Weyrich T, Bickel B, Pfister H, Matusik W, Elgharib M, Theobalt C. 2024. Lite2Relight: 3D-aware single image portrait relighting. Proceedings - SIGGRAPH 2024 Conference Papers. SIGGRAPH: Computer Graphics and Interactive Techniques Conference, 41.","apa":"Rao, P., Fox, G., Meka, A., Mallikarjun, B. R., Zhan, F., Weyrich, T., … Theobalt, C. (2024). Lite2Relight: 3D-aware single image portrait relighting. In Proceedings - SIGGRAPH 2024 Conference Papers. Denver, CO, United States: Association for Computing Machinery. https://doi.org/10.1145/3641519.3657470"},"doi":"10.1145/3641519.3657470","scopus_import":"1","department":[{"_id":"BeBi"}],"quality_controlled":"1","oa_version":"Published Version","_id":"17374"},{"type":"journal_article","ec_funded":1,"isi":1,"oa":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_number":"063302","date_published":"2024-06-01T00:00:00Z","publication_status":"published","article_processing_charge":"No","year":"2024","language":[{"iso":"eng"}],"intvolume":" 65","date_created":"2024-08-04T22:01:22Z","abstract":[{"text":"We consider the spectral radius of a large random matrix X with independent, identically distributed entries. We show that its typical size is given by a precise three-term asymptotics with an optimal error term beyond the radius of the celebrated circular law. The coefficients in this asymptotics are universal but they differ from a similar asymptotics recently proved for the rightmost eigenvalue of X in Cipolloni et al., Ann. Probab. 51(6), 2192–2242 (2023). To access the more complicated spectral radius, we need to establish a new decorrelation mechanism for the low-lying singular values of X − z for different complex shift parameters z using the Dyson Brownian Motion.","lang":"eng"}],"publisher":"AIP Publishing","corr_author":"1","month":"06","status":"public","publication":"Journal of Mathematical Physics","issue":"6","external_id":{"arxiv":["2210.15643"],"isi":["001252240700002"]},"day":"01","acknowledgement":"L.E. and Y.X. were supported by the ERC Advanced Grant “RMTBeyond” Grant No. 101020331.","article_type":"original","publication_identifier":{"issn":["0022-2488"]},"arxiv":1,"title":"Precise asymptotics for the spectral radius of a large random matrix","date_updated":"2025-09-08T08:44:57Z","author":[{"full_name":"Cipolloni, Giorgio","id":"42198EFA-F248-11E8-B48F-1D18A9856A87","last_name":"Cipolloni","orcid":"0000-0002-4901-7992","first_name":"Giorgio"},{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","last_name":"Erdös","first_name":"László"},{"id":"7902bdb1-a2a4-11eb-a164-c9216f71aea3","full_name":"Xu, Yuanyuan","orcid":"0000-0003-1559-1205","last_name":"Xu","first_name":"Yuanyuan"}],"project":[{"grant_number":"101020331","name":"Random matrices beyond Wigner-Dyson-Mehta","_id":"62796744-2b32-11ec-9570-940b20777f1d","call_identifier":"H2020"}],"doi":"10.1063/5.0209705","citation":{"short":"G. Cipolloni, L. Erdös, Y. Xu, Journal of Mathematical Physics 65 (2024).","chicago":"Cipolloni, Giorgio, László Erdös, and Yuanyuan Xu. “Precise Asymptotics for the Spectral Radius of a Large Random Matrix.” Journal of Mathematical Physics. AIP Publishing, 2024. https://doi.org/10.1063/5.0209705.","apa":"Cipolloni, G., Erdös, L., & Xu, Y. (2024). Precise asymptotics for the spectral radius of a large random matrix. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0209705","ama":"Cipolloni G, Erdös L, Xu Y. Precise asymptotics for the spectral radius of a large random matrix. Journal of Mathematical Physics. 2024;65(6). doi:10.1063/5.0209705","ista":"Cipolloni G, Erdös L, Xu Y. 2024. Precise asymptotics for the spectral radius of a large random matrix. Journal of Mathematical Physics. 65(6), 063302.","ieee":"G. Cipolloni, L. Erdös, and Y. Xu, “Precise asymptotics for the spectral radius of a large random matrix,” Journal of Mathematical Physics, vol. 65, no. 6. AIP Publishing, 2024.","mla":"Cipolloni, Giorgio, et al. “Precise Asymptotics for the Spectral Radius of a Large Random Matrix.” Journal of Mathematical Physics, vol. 65, no. 6, 063302, AIP Publishing, 2024, doi:10.1063/5.0209705."},"scopus_import":"1","department":[{"_id":"LaEr"}],"volume":65,"_id":"17375","oa_version":"Preprint","quality_controlled":"1","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2210.15643","open_access":"1"}]},{"date_published":"2024-10-01T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","file":[{"date_created":"2025-01-09T13:36:53Z","relation":"main_file","file_name":"2024_BulletinLondonMathSoc_Kwan.pdf","creator":"dernst","checksum":"7117f9819eaeb45eef1b0a226f9c2709","file_size":175966,"access_level":"open_access","content_type":"application/pdf","success":1,"file_id":"18814","date_updated":"2025-01-09T13:36:53Z"}],"publication_status":"published","year":"2024","article_processing_charge":"Yes (via OA deal)","oa":1,"type":"journal_article","isi":1,"page":"3196-3208","status":"public","publication":"Bulletin of the London Mathematical Society","ddc":["510"],"month":"10","issue":"10","intvolume":" 56","language":[{"iso":"eng"}],"OA_type":"hybrid","publisher":"London Mathematical Society","abstract":[{"lang":"eng","text":"The inertia bound and ratio bound (also known as the Cvetković bound and Hoffman bound) are two fundamental inequalities in spectral graph theory, giving upper bounds on the independence number α(G) of a graph G in terms of spectral information about a weighted adjacency matrix of G. For both inequalities, given a graph G, one needs to make a judicious choice of weighted adjacency matrix to obtain as strong a bound as possible.\r\nWhile there is a well-established theory surrounding the ratio bound, the inertia bound is much more mysterious, and its limits are rather unclear. In fact, only recently did Sinkovic find the first example of a graph for which the inertia bound is not tight (for any weighted adjacency matrix), answering a longstanding question of Godsil. We show that the inertia bound can be extremely far from tight, and in fact can significantly underperform the ratio bound: for example, one of our results is that for infinitely many n, there is an n-vertex graph for which even the unweighted ratio bound can prove α(G)≤4n3/4, but the inertia bound is always at least n/4. In particular, these results address questions of Rooney, Sinkovic, and Wocjan--Elphick--Abiad."}],"date_created":"2024-08-04T22:01:22Z","has_accepted_license":"1","title":"The inertia bound is far from tight","date_updated":"2025-09-08T08:45:39Z","author":[{"id":"5fca0887-a1db-11eb-95d1-ca9d5e0453b3","full_name":"Kwan, Matthew Alan","first_name":"Matthew Alan","orcid":"0000-0002-4003-7567","last_name":"Kwan"},{"first_name":"Yuval","last_name":"Wigderson","full_name":"Wigderson, Yuval"}],"external_id":{"isi":["001279563300001"],"arxiv":["2312.04925"]},"OA_place":"publisher","arxiv":1,"day":"01","publication_identifier":{"eissn":["1469-2120"],"issn":["0024-6093"]},"file_date_updated":"2025-01-09T13:36:53Z","acknowledgement":"The authors are grateful to Noga Alon, Anurag Bishnoi, Clive Elphick, and Ferdinand Ihringer for helpful comments and interesting discussions on earlier drafts of this paper. Matthew Kwan is supported by ERC Starting Grant “RANDSTRUCT” No. 101076777. Yuval Wigderson is supported by Dr. Max Rössler, the Walter Haefner Foundation, and the ETH Zürich Foundation.\r\nOpen access funding provided by Eidgenossische Technische Hochschule Zurich.","article_type":"original","oa_version":"Published Version","quality_controlled":"1","_id":"17376","citation":{"ieee":"M. A. Kwan and Y. Wigderson, “The inertia bound is far from tight,” Bulletin of the London Mathematical Society, vol. 56, no. 10. London Mathematical Society, pp. 3196–3208, 2024.","mla":"Kwan, Matthew Alan, and Yuval Wigderson. “The Inertia Bound Is Far from Tight.” Bulletin of the London Mathematical Society, vol. 56, no. 10, London Mathematical Society, 2024, pp. 3196–208, doi:10.1112/blms.13127.","apa":"Kwan, M. A., & Wigderson, Y. (2024). The inertia bound is far from tight. Bulletin of the London Mathematical Society. London Mathematical Society. https://doi.org/10.1112/blms.13127","ista":"Kwan MA, Wigderson Y. 2024. The inertia bound is far from tight. Bulletin of the London Mathematical Society. 56(10), 3196–3208.","ama":"Kwan MA, Wigderson Y. The inertia bound is far from tight. Bulletin of the London Mathematical Society. 2024;56(10):3196-3208. doi:10.1112/blms.13127","chicago":"Kwan, Matthew Alan, and Yuval Wigderson. “The Inertia Bound Is Far from Tight.” Bulletin of the London Mathematical Society. London Mathematical Society, 2024. https://doi.org/10.1112/blms.13127.","short":"M.A. Kwan, Y. Wigderson, Bulletin of the London Mathematical Society 56 (2024) 3196–3208."},"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.1112/blms.13127","project":[{"_id":"bd95085b-d553-11ed-ba76-e55d3349be45","name":"Randomness and structure in combinatorics","grant_number":"101076777"}],"volume":56,"scopus_import":"1","department":[{"_id":"MaKw"}]},{"OA_place":"repository","external_id":{"pmid":["39079770"],"isi":["001375335200001"]},"publication_identifier":{"issn":["1360-1385"]},"file_date_updated":"2025-11-24T15:12:50Z","article_type":"original","acknowledgement":"This work was supported by funding from the National Science Centre, Poland, under the OPUS call in the Weave program and the Austrian Science Fund, Austria project (FWF)/OPUS – Peptide receptor complexes for auxin canalization and regeneration in Arabidopsis (grant \r\n2021/43/I/NZ1/01835) to E.M., and grant I 6123-B to J.F.","day":"01","date_updated":"2025-11-24T15:13:16Z","title":"BiAux, a newly discovered compound triggering auxin signaling","author":[{"full_name":"Wójcikowska, Barbara","first_name":"Barbara","last_name":"Wójcikowska"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jiří","first_name":"Jiří","orcid":"0000-0002-8302-7596","last_name":"Friml"},{"first_name":"Ewa","last_name":"Mazur","full_name":"Mazur, Ewa"}],"project":[{"_id":"bd76d395-d553-11ed-ba76-f678c14f9033","name":"Peptide receptors for auxin canalization in Arabidopsis","grant_number":"I06123"}],"citation":{"mla":"Wójcikowska, Barbara, et al. “BiAux, a Newly Discovered Compound Triggering Auxin Signaling.” Trends in Plant Science, vol. 29, no. 12, Elsevier, 2024, pp. 1279–81, doi:10.1016/j.tplants.2024.07.008.","ieee":"B. Wójcikowska, J. Friml, and E. Mazur, “BiAux, a newly discovered compound triggering auxin signaling,” Trends in Plant Science, vol. 29, no. 12. Elsevier, pp. 1279–1281, 2024.","ama":"Wójcikowska B, Friml J, Mazur E. BiAux, a newly discovered compound triggering auxin signaling. Trends in Plant Science. 2024;29(12):1279-1281. doi:10.1016/j.tplants.2024.07.008","ista":"Wójcikowska B, Friml J, Mazur E. 2024. BiAux, a newly discovered compound triggering auxin signaling. Trends in Plant Science. 29(12), 1279–1281.","apa":"Wójcikowska, B., Friml, J., & Mazur, E. (2024). BiAux, a newly discovered compound triggering auxin signaling. Trends in Plant Science. Elsevier. https://doi.org/10.1016/j.tplants.2024.07.008","chicago":"Wójcikowska, Barbara, Jiří Friml, and Ewa Mazur. “BiAux, a Newly Discovered Compound Triggering Auxin Signaling.” Trends in Plant Science. Elsevier, 2024. https://doi.org/10.1016/j.tplants.2024.07.008.","short":"B. Wójcikowska, J. Friml, E. Mazur, Trends in Plant Science 29 (2024) 1279–1281."},"doi":"10.1016/j.tplants.2024.07.008","department":[{"_id":"JiFr"}],"scopus_import":"1","volume":29,"_id":"17377","oa_version":"Submitted Version","quality_controlled":"1","isi":1,"type":"journal_article","oa":1,"page":"1279-1281","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2024-12-01T00:00:00Z","year":"2024","article_processing_charge":"No","publication_status":"published","file":[{"success":1,"file_id":"20691","date_updated":"2025-11-24T15:12:50Z","creator":"dernst","file_name":"2024_TrendsPlantScience_Wojcikowska_submittedversion.pdf","checksum":"89a83fe25b9ec1aad8e22d134a342c09","relation":"main_file","date_created":"2025-11-24T15:12:50Z","content_type":"application/pdf","access_level":"open_access","file_size":277636}],"OA_type":"green","language":[{"iso":"eng"}],"intvolume":" 29","has_accepted_license":"1","abstract":[{"text":"Lateral root (LR) formation, that is vital for plant development, is one of many auxin-modulated processes, but the underlying regulatory mechanism is not yet fully known. Recently, \r\nGonzález-García et al. discovered the BiAux compound and showed that it is involved in LR development via regulating specific auxin coreceptors.","lang":"eng"}],"pmid":1,"date_created":"2024-08-04T22:01:22Z","publisher":"Elsevier","month":"12","status":"public","ddc":["580"],"corr_author":"1","publication":"Trends in Plant Science","issue":"12"},{"doi":"10.1038/s41598-024-67787-z","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"apa":"Severin, B., Lennon, D. T., Camenzind, L. C., Vigneau, F., Fedele, F., Jirovec, D., … Ares, N. (2024). Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-024-67787-z","ista":"Severin B, Lennon DT, Camenzind LC, Vigneau F, Fedele F, Jirovec D, Ballabio A, Chrastina D, Isella G, de Kruijf M, Carballido MJ, Svab S, Kuhlmann AV, Geyer S, Froning FNM, Moon H, Osborne MA, Sejdinovic D, Katsaros G, Zumbühl DM, Briggs GAD, Ares N. 2024. Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning. Scientific Reports. 14, 17281.","ama":"Severin B, Lennon DT, Camenzind LC, et al. Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning. Scientific Reports. 2024;14. doi:10.1038/s41598-024-67787-z","mla":"Severin, B., et al. “Cross-Architecture Tuning of Silicon and SiGe-Based Quantum Devices Using Machine Learning.” Scientific Reports, vol. 14, 17281, Springer Nature, 2024, doi:10.1038/s41598-024-67787-z.","ieee":"B. Severin et al., “Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning,” Scientific Reports, vol. 14. Springer Nature, 2024.","short":"B. Severin, D.T. Lennon, L.C. Camenzind, F. Vigneau, F. Fedele, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, M. de Kruijf, M.J. Carballido, S. Svab, A.V. Kuhlmann, S. Geyer, F.N.M. Froning, H. Moon, M.A. Osborne, D. Sejdinovic, G. Katsaros, D.M. Zumbühl, G.A.D. Briggs, N. Ares, Scientific Reports 14 (2024).","chicago":"Severin, B., D. T. Lennon, L. C. Camenzind, F. Vigneau, F. Fedele, Daniel Jirovec, A. Ballabio, et al. “Cross-Architecture Tuning of Silicon and SiGe-Based Quantum Devices Using Machine Learning.” Scientific Reports. Springer Nature, 2024. https://doi.org/10.1038/s41598-024-67787-z."},"project":[{"_id":"c0977eea-5a5b-11eb-8a69-a862db0cf4d1","grant_number":"I05060","name":"High impedance circuit quantum electrodynamics with hole spins"},{"call_identifier":"FWF","_id":"2641CE5E-B435-11E9-9278-68D0E5697425","name":"Hole spin orbit qubits in Ge quantum wells","grant_number":"P30207"}],"volume":14,"scopus_import":"1","department":[{"_id":"GeKa"}],"quality_controlled":"1","oa_version":"Published Version","_id":"17389","external_id":{"arxiv":["2107.12975"],"pmid":["39068242"],"isi":["001281273100062"]},"arxiv":1,"acknowledgement":"We acknowledge Ang Li, Erik P. A. M. Bakkers (University of Eindhoven) for the fabrication of the Ge/Si nanowire. This work was supported by the Royal Society, the EPSRC National Quantum Technology Hub in Networked Quantum Information Technology (EP/M013243/1), Quantum Technology Capital (EP/N014995/1), EPSRC Platform Grant (EP/R029229/1), the European Research Council (Grant agreement 948932), the Swiss Nanoscience Institute, the NCCR SPIN, the EU H2020 European Microkelvin Platform EMP grant No. 824109, the Scientific Service Units of IST Austria through resources provided by the nanofabrication facility, the FWF-I 05060 and the FWF-P 30207 project.","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"10066"}]},"article_type":"original","publication_identifier":{"issn":["2045-2322"]},"file_date_updated":"2024-08-05T08:52:14Z","day":"27","date_updated":"2025-09-08T08:49:16Z","title":"Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning","author":[{"full_name":"Severin, B.","last_name":"Severin","first_name":"B."},{"full_name":"Lennon, D. T.","last_name":"Lennon","first_name":"D. T."},{"full_name":"Camenzind, L. C.","last_name":"Camenzind","first_name":"L. C."},{"full_name":"Vigneau, F.","first_name":"F.","last_name":"Vigneau"},{"full_name":"Fedele, F.","last_name":"Fedele","first_name":"F."},{"last_name":"Jirovec","orcid":"0000-0002-7197-4801","first_name":"Daniel","full_name":"Jirovec, Daniel","id":"4C473F58-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ballabio","first_name":"A.","full_name":"Ballabio, A."},{"full_name":"Chrastina, D.","first_name":"D.","last_name":"Chrastina"},{"first_name":"G.","last_name":"Isella","full_name":"Isella, G."},{"full_name":"de Kruijf, M.","first_name":"M.","last_name":"de Kruijf"},{"last_name":"Carballido","first_name":"M. J.","full_name":"Carballido, M. J."},{"last_name":"Svab","first_name":"S.","full_name":"Svab, S."},{"full_name":"Kuhlmann, A. V.","last_name":"Kuhlmann","first_name":"A. V."},{"first_name":"S.","last_name":"Geyer","full_name":"Geyer, S."},{"full_name":"Froning, F. N. M.","last_name":"Froning","first_name":"F. N. M."},{"full_name":"Moon, H.","last_name":"Moon","first_name":"H."},{"full_name":"Osborne, M. A.","first_name":"M. A.","last_name":"Osborne"},{"first_name":"D.","last_name":"Sejdinovic","full_name":"Sejdinovic, D."},{"first_name":"Georgios","last_name":"Katsaros","orcid":"0000-0001-8342-202X","full_name":"Katsaros, Georgios","id":"38DB5788-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Zumbühl, D. M.","first_name":"D. M.","last_name":"Zumbühl"},{"last_name":"Briggs","first_name":"G. A. D.","full_name":"Briggs, G. A. D."},{"last_name":"Ares","first_name":"N.","full_name":"Ares, N."}],"intvolume":" 14","language":[{"iso":"eng"}],"publisher":"Springer Nature","date_created":"2024-08-05T08:50:51Z","abstract":[{"text":"The potential of Si and SiGe-based devices for the scaling of quantum circuits is tainted by device variability. Each device needs to be tuned to operation conditions and each device realisation requires a different tuning protocol. We demonstrate that it is possible to automate the tuning of a 4-gate Si FinFET, a 5-gate GeSi nanowire and a 7-gate Ge/SiGe heterostructure double quantum dot device from scratch with the same algorithm. We achieve tuning times of 30, 10, and 92 min, respectively. The algorithm also provides insight into the parameter space landscape for each of these devices, allowing for the characterization of the regions where double quantum dot regimes are found. These results show that overarching solutions for the tuning of quantum devices are enabled by machine learning.","lang":"eng"}],"pmid":1,"has_accepted_license":"1","acknowledged_ssus":[{"_id":"NanoFab"}],"publication":"Scientific Reports","ddc":["530"],"month":"07","status":"public","oa":1,"isi":1,"type":"journal_article","date_published":"2024-07-27T00:00:00Z","article_number":"17281","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","file":[{"access_level":"open_access","content_type":"application/pdf","file_size":2255741,"file_name":"2024_ScientificReports_Severin.pdf","checksum":"0b34b89e5f4f3f7b32ffadf104394594","creator":"dernst","date_created":"2024-08-05T08:52:14Z","relation":"main_file","date_updated":"2024-08-05T08:52:14Z","file_id":"17390","success":1}],"year":"2024","article_processing_charge":"Yes","publication_status":"published"},{"_id":"17396","oa_version":"Published Version","quality_controlled":"1","project":[{"call_identifier":"H2020","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program","grant_number":"101034413"}],"citation":{"ama":"Quishpe-Vásquez C, Oliva P, López-Barrera EA, Casallas Garcia A. Wildfires impact on PM2.5 concentration in galicia Spain. Journal of Environmental Management. 2024;367. doi:10.1016/j.jenvman.2024.122093","ista":"Quishpe-Vásquez C, Oliva P, López-Barrera EA, Casallas Garcia A. 2024. Wildfires impact on PM2.5 concentration in galicia Spain. Journal of Environmental Management. 367, 122093.","apa":"Quishpe-Vásquez, C., Oliva, P., López-Barrera, E. A., & Casallas Garcia, A. (2024). Wildfires impact on PM2.5 concentration in galicia Spain. Journal of Environmental Management. Elsevier. https://doi.org/10.1016/j.jenvman.2024.122093","mla":"Quishpe-Vásquez, César, et al. “Wildfires Impact on PM2.5 Concentration in Galicia Spain.” Journal of Environmental Management, vol. 367, 122093, Elsevier, 2024, doi:10.1016/j.jenvman.2024.122093.","ieee":"C. Quishpe-Vásquez, P. Oliva, E. A. López-Barrera, and A. Casallas Garcia, “Wildfires impact on PM2.5 concentration in galicia Spain,” Journal of Environmental Management, vol. 367. Elsevier, 2024.","short":"C. Quishpe-Vásquez, P. Oliva, E.A. López-Barrera, A. Casallas Garcia, Journal of Environmental Management 367 (2024).","chicago":"Quishpe-Vásquez, César, Patricia Oliva, Ellie Anne López-Barrera, and Alejandro Casallas Garcia. “Wildfires Impact on PM2.5 Concentration in Galicia Spain.” Journal of Environmental Management. Elsevier, 2024. https://doi.org/10.1016/j.jenvman.2024.122093."},"tmp":{"image":"/images/cc_by_nc.png","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","short":"CC BY-NC (4.0)"},"doi":"10.1016/j.jenvman.2024.122093","department":[{"_id":"CaMu"}],"scopus_import":"1","volume":367,"title":"Wildfires impact on PM2.5 concentration in galicia Spain","date_updated":"2025-09-08T08:53:10Z","author":[{"full_name":"Quishpe-Vásquez, César","last_name":"Quishpe-Vásquez","first_name":"César"},{"last_name":"Oliva","first_name":"Patricia","full_name":"Oliva, Patricia"},{"full_name":"López-Barrera, Ellie Anne","first_name":"Ellie Anne","last_name":"López-Barrera"},{"id":"92081129-2d75-11ef-a48d-b04dd7a2385a","full_name":"Casallas Garcia, Alejandro","first_name":"Alejandro","orcid":"0000-0002-1988-5035","last_name":"Casallas Garcia"}],"license":"https://creativecommons.org/licenses/by-nc/4.0/","external_id":{"pmid":["39106804"],"isi":["001289532100001"]},"day":"01","acknowledgement":"Alejandro Casallas was partially funded by a fellowship from the Abdus Salam International Centre for Theoretical Physics – ICTP. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101034413 awarded to Alejandro Casallas. ","file_date_updated":"2024-08-09T13:37:24Z","publication_identifier":{"issn":["0301-4797"]},"article_type":"original","publication":"Journal of Environmental Management","ddc":["550"],"month":"09","status":"public","language":[{"iso":"eng"}],"intvolume":" 367","pmid":1,"abstract":[{"lang":"eng","text":"Wildfire intensity and severity have been increasing in the Iberian Peninsula in recent years, particularly in the Galicia region, due to rising temperatures and accumulating drier combustible vegetation in unmanaged lands. This leads to substantial emissions of air pollutants, notably fine particles (PM2.5), posing a risk to public health. This study aims to assess the impact of local and regional wildfires on PM2.5 levels in Galicia's main cities and their implications for air quality and public health. Over a decade (2013–2022), PM2.5 data during wildfire seasons were analyzed using statistical methods and Lagrangian tracking to monitor smoke plume evolution. The results reveal a notable increase in PM2.5 concentration during the wildfire season (June–November) in Galicia, surpassing health guidelines during extreme events and posing a significant health risk to the population. Regional wildfire analyses indicate that smoke plumes from Northern Portugal contribute to pollution in Galician cities, influencing the seasonality of heightened PM2.5 levels. During extensive wildfires, elevated PM2.5 concentration values persisted for several days, potentially exacerbating health concerns in Galicia. These findings underscore the urgency of implementing air pollution prevention and management measures in the region, including developing effective alerts for large-scale events and improved wildfire management strategies to mitigate their impact on air quality in Galician cities."}],"date_created":"2024-08-06T05:54:52Z","has_accepted_license":"1","publisher":"Elsevier","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2024-09-01T00:00:00Z","article_number":"122093","publication_status":"published","year":"2024","article_processing_charge":"Yes (in subscription journal)","file":[{"date_updated":"2024-08-09T13:37:23Z","file_id":"17405","success":1,"file_size":1595118,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","date_created":"2024-08-09T13:37:23Z","creator":"acasalla","checksum":"6fa476a4c08aded413844d92336b0e52","file_name":"Fires_Galicia_SM.pdf"},{"success":1,"file_id":"17406","date_updated":"2024-08-09T13:37:24Z","checksum":"859dcdef9555c383b702cf8cc7da66f2","creator":"acasalla","file_name":"Fires_Galicia.pdf","relation":"main_file","date_created":"2024-08-09T13:37:24Z","content_type":"application/pdf","access_level":"open_access","file_size":13662676}],"isi":1,"type":"journal_article","ec_funded":1,"oa":1},{"intvolume":" 14683","language":[{"iso":"eng"}],"publisher":"Springer Nature","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"We present version 2.0 of the Partial Exploration Tool (PET), a tool for verification of probabilistic systems. We extend the previous version by adding support for stochastic games, based on a recent unified framework for sound value iteration algorithms. Thereby, PET2 is the first tool implementing a sound and efficient approach for solving stochastic games with objectives of the type reachability/safety and mean payoff. We complement this approach by developing and implementing a partial-exploration based variant for all three objectives. Our experimental evaluation shows that PET2 offers the most efficient partial-exploration based algorithm and is the most viable tool on SGs, even outperforming unsound tools."}],"has_accepted_license":"1","date_created":"2024-08-09T11:24:54Z","status":"public","corr_author":"1","month":"07","ddc":["000"],"publication":"36th International Conference on Computer Aided Verification","oa":1,"isi":1,"ec_funded":1,"type":"conference","page":"359-372","date_published":"2024-07-01T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","file":[{"date_updated":"2024-08-12T08:39:12Z","file_id":"17419","success":1,"content_type":"application/pdf","access_level":"open_access","file_size":368487,"creator":"dernst","checksum":"c888231d0a47b55786b7b4c0f02216bb","file_name":"2024_CAV_Meggendorfer.pdf","relation":"main_file","date_created":"2024-08-12T08:39:12Z"}],"article_processing_charge":"Yes (in subscription journal)","year":"2024","publication_status":"published","citation":{"ista":"Meggendorfer T, Weininger M. 2024. Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. 36th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 14683, 359–372.","apa":"Meggendorfer, T., & Weininger, M. (2024). Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In 36th International Conference on Computer Aided Verification (Vol. 14683, pp. 359–372). Montreal, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-65633-0_16","ama":"Meggendorfer T, Weininger M. Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In: 36th International Conference on Computer Aided Verification. Vol 14683. Springer Nature; 2024:359-372. doi:10.1007/978-3-031-65633-0_16","mla":"Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.” 36th International Conference on Computer Aided Verification, vol. 14683, Springer Nature, 2024, pp. 359–72, doi:10.1007/978-3-031-65633-0_16.","ieee":"T. Meggendorfer and M. Weininger, “Playing games with your PET: Extending the Partial Exploration Tool to stochastic games,” in 36th International Conference on Computer Aided Verification, Montreal, Canada, 2024, vol. 14683, pp. 359–372.","short":"T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.","chicago":"Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.” In 36th International Conference on Computer Aided Verification, 14683:359–72. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-65633-0_16."},"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.1007/978-3-031-65633-0_16","project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020","grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program"}],"volume":14683,"department":[{"_id":"KrCh"}],"scopus_import":"1","quality_controlled":"1","oa_version":"Published Version","_id":"17402","external_id":{"arxiv":["2405.03885"],"isi":["001307897000016"]},"conference":{"end_date":"2024-07-27","name":"CAV: Computer Aided Verification","location":"Montreal, Canada","start_date":"2024-07-24"},"arxiv":1,"publication_identifier":{"issn":["0302-9743"],"isbn":["9783031656323"],"eisbn":["9783031656330"],"eissn":["1611-3349"]},"file_date_updated":"2024-08-12T08:39:12Z","acknowledgement":"M. Weininger has received funding from the EU’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 101034413.","day":"01","date_updated":"2025-09-08T08:53:55Z","title":"Playing games with your PET: Extending the Partial Exploration Tool to stochastic games","author":[{"first_name":"Tobias","orcid":"0000-0002-1712-2165","last_name":"Meggendorfer","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","full_name":"Meggendorfer, Tobias"},{"full_name":"Weininger, Maximilian","id":"02ab0197-cc70-11ed-ab61-918e71f56881","last_name":"Weininger","first_name":"Maximilian"}]},{"OA_place":"publisher","external_id":{"arxiv":["2404.15101"]},"day":"01","acknowledgement":"We thank M. Lechner for helpful discussions.","file_date_updated":"2024-08-12T07:56:38Z","publication_identifier":{"eissn":["2662-4443"]},"article_type":"original","arxiv":1,"title":"Designing athermal disordered solids with automatic differentiation","date_updated":"2025-05-08T09:45:35Z","author":[{"id":"26dd9e7c-e86a-11eb-a854-82ac731c9ae2","full_name":"Zu, Mengjie","last_name":"Zu","first_name":"Mengjie"},{"full_name":"Goodrich, Carl Peter","id":"EB352CD2-F68A-11E9-89C5-A432E6697425","last_name":"Goodrich","orcid":"0000-0002-1307-5074","first_name":"Carl Peter"}],"project":[{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"citation":{"apa":"Zu, M., & Goodrich, C. P. (2024). Designing athermal disordered solids with automatic differentiation. Communications Materials. Springer Nature. https://doi.org/10.1038/s43246-024-00583-4","ista":"Zu M, Goodrich CP. 2024. Designing athermal disordered solids with automatic differentiation. Communications Materials. 5, 141.","ama":"Zu M, Goodrich CP. Designing athermal disordered solids with automatic differentiation. Communications Materials. 2024;5. doi:10.1038/s43246-024-00583-4","ieee":"M. Zu and C. P. Goodrich, “Designing athermal disordered solids with automatic differentiation,” Communications Materials, vol. 5. Springer Nature, 2024.","mla":"Zu, Mengjie, and Carl Peter Goodrich. “Designing Athermal Disordered Solids with Automatic Differentiation.” Communications Materials, vol. 5, 141, Springer Nature, 2024, doi:10.1038/s43246-024-00583-4.","short":"M. Zu, C.P. Goodrich, Communications Materials 5 (2024).","chicago":"Zu, Mengjie, and Carl Peter Goodrich. “Designing Athermal Disordered Solids with Automatic Differentiation.” Communications Materials. Springer Nature, 2024. https://doi.org/10.1038/s43246-024-00583-4."},"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.1038/s43246-024-00583-4","department":[{"_id":"CaGo"}],"scopus_import":"1","volume":5,"_id":"17407","oa_version":"Published Version","quality_controlled":"1","APC_amount":"3534 EUR","type":"journal_article","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2024-08-01T00:00:00Z","article_number":"141","publication_status":"published","article_processing_charge":"Yes","year":"2024","file":[{"file_id":"17416","success":1,"date_updated":"2024-08-12T07:56:38Z","file_name":"2024_CommMaterials_Zu.pdf","creator":"dernst","checksum":"d6f74e242db5f46bb0e380ee23a268af","relation":"main_file","date_created":"2024-08-12T07:56:38Z","content_type":"application/pdf","access_level":"open_access","file_size":9824134}],"OA_type":"gold","language":[{"iso":"eng"}],"intvolume":" 5","has_accepted_license":"1","date_created":"2024-08-11T22:01:11Z","abstract":[{"lang":"eng","text":"The ability to control forces between sub-micron-scale building blocks offers significant potential for designing new materials through self-assembly. Traditionally, this involves identifying a crystal structure with a desired property and then designing building-block interactions so that it assembles spontaneously. However, this paradigm fails for structurally disordered solids, which lack a well-defined structure. Here, we show that disordered solids can still be treated from an inverse self-assembly perspective by bypassing structure and directly targeting material properties. Using the Poisson’s ratio as a primary example, we demonstrate how differentiable programming links interaction parameters with emergent behavior, enabling iterative training to achieve the desired Poisson’s ratio. We also tune other properties, including pressure and local 8-fold structural order, and can even control multiple properties simultaneously. This robust, transferable, and scalable approach can handle a wide variety of systems and properties, demonstrating the utility of disordered solids as a practical avenue for self-assembly platforms."}],"publisher":"Springer Nature","corr_author":"1","ddc":["530"],"month":"08","status":"public","publication":"Communications Materials"},{"oa":1,"isi":1,"type":"journal_article","file":[{"relation":"main_file","date_created":"2024-08-12T08:14:44Z","checksum":"318759626ec83b13f909c82904393ef1","file_name":"2024_BMCBio_Nagai.pdf","creator":"dernst","file_size":3345718,"content_type":"application/pdf","access_level":"open_access","success":1,"file_id":"17417","date_updated":"2024-08-12T08:14:44Z"}],"publication_status":"published","article_processing_charge":"Yes","year":"2024","date_published":"2024-08-02T00:00:00Z","article_number":"157","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publisher":"Springer Nature","has_accepted_license":"1","abstract":[{"text":"Background: The remarkable regenerative abilities observed in planarians and cnidarians are closely linked to the active proliferation of adult stem cells and the precise differentiation of their progeny, both of which typically deteriorate during aging in low regenerative animals. While regeneration-specific genes conserved in highly regenerative organisms may confer regenerative abilities and long-term maintenance of tissue homeostasis, it remains unclear whether introducing these regenerative genes into low regenerative animals can improve their regeneration and aging processes.\r\n\r\nResults: Here, we ectopically express highly regenerative species-specific JmjC domain-encoding genes (HRJDs) in Drosophila, a widely used low regenerative model organism. Surprisingly, HRJD expression impedes tissue regeneration in the developing wing disc but extends organismal lifespan when expressed in the intestinal stem cell lineages of the adult midgut under non-regenerative conditions. Notably, HRJDs enhance the proliferative activity of intestinal stem cells while maintaining their differentiation fidelity, ameliorating age-related decline in gut barrier functions.\r\n\r\nConclusions: These findings together suggest that the introduction of highly regenerative species-specific genes can improve stem cell functions and promote a healthy lifespan when expressed in aging animals.","lang":"eng"}],"pmid":1,"date_created":"2024-08-11T22:01:11Z","intvolume":" 22","language":[{"iso":"eng"}],"month":"08","ddc":["570"],"status":"public","publication":"BMC Biology","day":"02","article_type":"original","acknowledgement":"We thank I. Miguel-Aliaga, N. Shinoda, M. Furuse, Y. Izumi, BDSC, Kyoto Stock Center, Drosophila Genomics Resource Center (DGRC), and Developmental Studies Hybridoma Bank (DSHB) for fly stocks and reagents.\r\nThis work was supported by JSPS/MEXT KAKENHI (grant numbers JP22J01430 to H.N., JP21H04774, JP23H04766, JP24H00567 to M.M., and JP17H06332, JP22H02762, JP23K18134, JP23H04696 to Y.N.), AMED-Aging (JP21gm5010001 to M.M.), AMED-PRIME (JP22gm6110025 to Y.N.), and Sadako O. Hirai Ban Award for Young Researchers (H.N.)","file_date_updated":"2024-08-12T08:14:44Z","publication_identifier":{"eissn":["1741-7007"]},"external_id":{"isi":["001282893200001"],"pmid":["39090637"]},"author":[{"id":"608df3e6-e2ab-11ed-8890-c9318cec7da4","full_name":"Nagai, Hiroki","orcid":"0000-0003-1671-9434","last_name":"Nagai","first_name":"Hiroki"},{"full_name":"Adachi, Yuya","last_name":"Adachi","first_name":"Yuya"},{"full_name":"Nakasugi, Tenki","last_name":"Nakasugi","first_name":"Tenki"},{"full_name":"Takigawa, Ema","last_name":"Takigawa","first_name":"Ema"},{"last_name":"Ui","first_name":"Junichiro","full_name":"Ui, Junichiro"},{"last_name":"Makino","first_name":"Takashi","full_name":"Makino, Takashi"},{"full_name":"Miura, Masayuki","first_name":"Masayuki","last_name":"Miura"},{"full_name":"Nakajima, Yu Ichiro","last_name":"Nakajima","first_name":"Yu Ichiro"}],"title":"Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut","date_updated":"2025-09-08T08:51:29Z","volume":22,"scopus_import":"1","department":[{"_id":"XiFe"}],"doi":"10.1186/s12915-024-01956-4","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"ieee":"H. NAGAI et al., “Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut,” BMC Biology, vol. 22. Springer Nature, 2024.","mla":"NAGAI, HIROKI, et al. “Highly Regenerative Species-Specific Genes Improve Age-Associated Features in the Adult Drosophila Midgut.” BMC Biology, vol. 22, 157, Springer Nature, 2024, doi:10.1186/s12915-024-01956-4.","ama":"NAGAI H, Adachi Y, Nakasugi T, et al. Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut. BMC Biology. 2024;22. doi:10.1186/s12915-024-01956-4","ista":"NAGAI H, Adachi Y, Nakasugi T, Takigawa E, Ui J, Makino T, Miura M, Nakajima YI. 2024. Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut. BMC Biology. 22, 157.","apa":"NAGAI, H., Adachi, Y., Nakasugi, T., Takigawa, E., Ui, J., Makino, T., … Nakajima, Y. I. (2024). Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut. BMC Biology. Springer Nature. https://doi.org/10.1186/s12915-024-01956-4","chicago":"NAGAI, HIROKI, Yuya Adachi, Tenki Nakasugi, Ema Takigawa, Junichiro Ui, Takashi Makino, Masayuki Miura, and Yu Ichiro Nakajima. “Highly Regenerative Species-Specific Genes Improve Age-Associated Features in the Adult Drosophila Midgut.” BMC Biology. Springer Nature, 2024. https://doi.org/10.1186/s12915-024-01956-4.","short":"H. NAGAI, Y. Adachi, T. Nakasugi, E. Takigawa, J. Ui, T. Makino, M. Miura, Y.I. Nakajima, BMC Biology 22 (2024)."},"quality_controlled":"1","oa_version":"Published Version","_id":"17408"},{"_id":"17409","oa_version":"Published Version","quality_controlled":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.1038/s41467-024-50587-4","citation":{"short":"S. Van Vliet, J. Sheng, C.N. Stindt, B.L. Feringa, Nature Communications 15 (2024).","chicago":"Van Vliet, Sven, Jinyu Sheng, Charlotte N. Stindt, and Ben L. Feringa. “All-Visible-Light-Driven Salicylidene Schiff-Base-Functionalized Artificial Molecular Motors.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-50587-4.","ama":"Van Vliet S, Sheng J, Stindt CN, Feringa BL. All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors. Nature Communications. 2024;15. doi:10.1038/s41467-024-50587-4","ista":"Van Vliet S, Sheng J, Stindt CN, Feringa BL. 2024. All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors. Nature Communications. 15, 6461.","apa":"Van Vliet, S., Sheng, J., Stindt, C. N., & Feringa, B. L. (2024). All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-50587-4","mla":"Van Vliet, Sven, et al. “All-Visible-Light-Driven Salicylidene Schiff-Base-Functionalized Artificial Molecular Motors.” Nature Communications, vol. 15, 6461, Springer Nature, 2024, doi:10.1038/s41467-024-50587-4.","ieee":"S. Van Vliet, J. Sheng, C. N. Stindt, and B. L. Feringa, “All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors,” Nature Communications, vol. 15. Springer Nature, 2024."},"department":[{"_id":"RaKl"}],"scopus_import":"1","volume":15,"title":"All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors","date_updated":"2025-09-08T08:52:15Z","author":[{"full_name":"Van Vliet, Sven","last_name":"Van Vliet","first_name":"Sven"},{"id":"639f0526-27c9-11ee-95a6-966cd7f102d8","full_name":"Sheng, Jinyu","last_name":"Sheng","first_name":"Jinyu"},{"full_name":"Stindt, Charlotte N.","first_name":"Charlotte N.","last_name":"Stindt"},{"first_name":"Ben L.","last_name":"Feringa","full_name":"Feringa, Ben L."}],"external_id":{"isi":["001282384300020"],"pmid":["39085193"]},"day":"31","acknowledgement":"Financial support from the Netherlands Organization for Scientific Research (NWO-CW), the Dutch Ministry of Education, Culture and Science (Gravitation program No.024.001.035), the China Scholarship Council (CSC PhD Fellowship No.201808330459 to J. S.). We thank Dr. Youxin Fu, Dr. Alexander Ryabchun, Dr. Wojciech Danowski, Dr. Jianyu Zhang and Yahan Shan from University of Groningen for their help to this project and fruitful discussions.","publication_identifier":{"eissn":["2041-1723"]},"file_date_updated":"2024-08-12T08:23:10Z","article_type":"original","DOAJ_listed":"1","ddc":["540"],"status":"public","month":"07","publication":"Nature Communications","language":[{"iso":"eng"}],"intvolume":" 15","abstract":[{"text":"Light-driven rotary molecular motors are among the most promising classes of responsive molecular machines and take advantage of their intrinsic chirality which governs unidirectional rotation. As a consequence of their dynamic function, they receive considerable interest in the areas of supramolecular chemistry, asymmetric catalysis and responsive materials. Among the emerging classes of responsive photochromic molecules, multistate first-generation molecular motors driven by benign visible light remain unexplored, which limits the exploitation of the full potential of these mechanical light-powered systems. Herein, we describe a series of all-visible-light-driven first-generation molecular motors based on the salicylidene Schiff base functionality. Remarkable redshifts up to 100 nm in absorption are achieved compared to conventional first-generation motor structures. Taking advantage of all-visible-light-driven multistate motor scaffolds, adaptive behaviour is found as well, and potential application in multistate photoluminescence is demonstrated. These functional visible-light-responsive motors will likely stimulate the design and synthesis of more sophisticated nanomachinery with a myriad of future applications in powering dynamic systems.","lang":"eng"}],"has_accepted_license":"1","pmid":1,"date_created":"2024-08-11T22:01:11Z","publisher":"Springer Nature","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_number":"6461","date_published":"2024-07-31T00:00:00Z","publication_status":"published","article_processing_charge":"Yes","year":"2024","file":[{"file_id":"17418","success":1,"date_updated":"2024-08-12T08:23:10Z","date_created":"2024-08-12T08:23:10Z","relation":"main_file","file_name":"2024_NatureComm_vanVliet.pdf","checksum":"4aca2ea30fe529947cb2f4c7fc2af2df","creator":"dernst","file_size":1355696,"access_level":"open_access","content_type":"application/pdf"}],"type":"journal_article","isi":1,"oa":1},{"article_processing_charge":"No","year":"2024","publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2024-07-30T00:00:00Z","article_number":"014078","type":"journal_article","isi":1,"oa":1,"publication":"Physical Review Applied","status":"public","month":"07","abstract":[{"text":"We present a cavity-electromechanical system comprising a superconducting quantum interference device which is embedded in a microwave resonator and coupled via a pickup loop to a 6-μg magnetically levitated superconducting sphere. The motion of the sphere in the magnetic trap induces a frequency shift in the SQUID-cavity system. We use microwave spectroscopy to characterize the system, and we demonstrate that the electromechanical interaction is tunable. The measured displacement sensitivity of 10−7m/√Hz defines a path towards ground-state cooling of levitated particles with Planck-scale masses at millikelvin environment temperatures.","lang":"eng"}],"date_created":"2024-08-11T22:01:12Z","publisher":"American Physical Society","language":[{"iso":"eng"}],"intvolume":" 22","author":[{"full_name":"Schmidt, Philip","last_name":"Schmidt","first_name":"Philip"},{"last_name":"Claessen","first_name":"Remi","full_name":"Claessen, Remi"},{"full_name":"Higgins, Gerard","last_name":"Higgins","first_name":"Gerard"},{"first_name":"Joachim","last_name":"Hofer","full_name":"Hofer, Joachim"},{"last_name":"Hansen","first_name":"Jannek J.","full_name":"Hansen, Jannek J."},{"first_name":"Peter","last_name":"Asenbaum","full_name":"Asenbaum, Peter"},{"id":"2DCF8DE6-F248-11E8-B48F-1D18A9856A87","full_name":"Zemlicka, Martin","first_name":"Martin","last_name":"Zemlicka"},{"last_name":"Uhl","first_name":"Kevin","full_name":"Uhl, Kevin"},{"first_name":"Reinhold","last_name":"Kleiner","full_name":"Kleiner, Reinhold"},{"last_name":"Gross","first_name":"Rudolf","full_name":"Gross, Rudolf"},{"full_name":"Huebl, Hans","first_name":"Hans","last_name":"Huebl"},{"full_name":"Trupke, Michael","first_name":"Michael","last_name":"Trupke"},{"last_name":"Aspelmeyer","first_name":"Markus","full_name":"Aspelmeyer, Markus"}],"date_updated":"2025-09-08T08:50:31Z","title":"Remote sensing of a levitated superconductor with a flux-tunable microwave cavity","article_type":"original","publication_identifier":{"eissn":["2331-7019"]},"acknowledgement":"We gratefully acknowledge valuable discussions with Uros Delic, Lorenzo Magrini, and Corentin Gut. This work was supported by the European Union’s Horizon 2020 research and innovation program under Grant No. 863132 (iQLev) and No. 101080143 (SuperMeQ), the European Research Council under Grant No. 951234 (ERC Synergy QXtreme), the Austrian and Bavarian Academy of Sciences (Topical Team SGQ), the Alexander von Humboldt Foundation through a Feodor Lynen Fellowship (P.S.), the Swedish Research Council under Grant No. 2020-00381 (G.H.), and the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) via Germany’s Excellence Strategy EXC-2111-390814868 (H.H., R.G.).","day":"30","arxiv":1,"external_id":{"isi":["001284571700002"],"arxiv":["2401.08854"]},"_id":"17410","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2401.08854"}],"oa_version":"Preprint","quality_controlled":"1","scopus_import":"1","department":[{"_id":"JoFi"}],"volume":22,"citation":{"short":"P. Schmidt, R. Claessen, G. Higgins, J. Hofer, J.J. Hansen, P. Asenbaum, M. Zemlicka, K. Uhl, R. Kleiner, R. Gross, H. Huebl, M. Trupke, M. Aspelmeyer, Physical Review Applied 22 (2024).","chicago":"Schmidt, Philip, Remi Claessen, Gerard Higgins, Joachim Hofer, Jannek J. Hansen, Peter Asenbaum, Martin Zemlicka, et al. “Remote Sensing of a Levitated Superconductor with a Flux-Tunable Microwave Cavity.” Physical Review Applied. American Physical Society, 2024. https://doi.org/10.1103/PhysRevApplied.22.014078.","apa":"Schmidt, P., Claessen, R., Higgins, G., Hofer, J., Hansen, J. J., Asenbaum, P., … Aspelmeyer, M. (2024). Remote sensing of a levitated superconductor with a flux-tunable microwave cavity. Physical Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.22.014078","ista":"Schmidt P, Claessen R, Higgins G, Hofer J, Hansen JJ, Asenbaum P, Zemlicka M, Uhl K, Kleiner R, Gross R, Huebl H, Trupke M, Aspelmeyer M. 2024. Remote sensing of a levitated superconductor with a flux-tunable microwave cavity. Physical Review Applied. 22, 014078.","ama":"Schmidt P, Claessen R, Higgins G, et al. Remote sensing of a levitated superconductor with a flux-tunable microwave cavity. Physical Review Applied. 2024;22. doi:10.1103/PhysRevApplied.22.014078","ieee":"P. Schmidt et al., “Remote sensing of a levitated superconductor with a flux-tunable microwave cavity,” Physical Review Applied, vol. 22. American Physical Society, 2024.","mla":"Schmidt, Philip, et al. “Remote Sensing of a Levitated Superconductor with a Flux-Tunable Microwave Cavity.” Physical Review Applied, vol. 22, 014078, American Physical Society, 2024, doi:10.1103/PhysRevApplied.22.014078."},"doi":"10.1103/PhysRevApplied.22.014078"},{"quality_controlled":"1","oa_version":"Published Version","_id":"17411","citation":{"ieee":"J. A. Scott, H. Zakerinia, and C. Lampert, “PEFLL: Personalized federated learning by learning to learn,” in 12th International Conference on Learning Representations, Vienna, Austria, 2024.","mla":"Scott, Jonathan A., et al. “PEFLL: Personalized Federated Learning by Learning to Learn.” 12th International Conference on Learning Representations, OpenReview, 2024.","apa":"Scott, J. A., Zakerinia, H., & Lampert, C. (2024). PEFLL: Personalized federated learning by learning to learn. In 12th International Conference on Learning Representations. Vienna, Austria: OpenReview.","ista":"Scott JA, Zakerinia H, Lampert C. 2024. PEFLL: Personalized federated learning by learning to learn. 12th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.","ama":"Scott JA, Zakerinia H, Lampert C. PEFLL: Personalized federated learning by learning to learn. In: 12th International Conference on Learning Representations. OpenReview; 2024.","chicago":"Scott, Jonathan A, Hossein Zakerinia, and Christoph Lampert. “PEFLL: Personalized Federated Learning by Learning to Learn.” In 12th International Conference on Learning Representations. OpenReview, 2024.","short":"J.A. Scott, H. Zakerinia, C. Lampert, in:, 12th International Conference on Learning Representations, OpenReview, 2024."},"scopus_import":"1","department":[{"_id":"ChLa"}],"title":"PEFLL: Personalized federated learning by learning to learn","date_updated":"2026-04-07T11:46:11Z","author":[{"full_name":"Scott, Jonathan A","id":"e499926b-f6e0-11ea-865d-9c63db0031e8","last_name":"Scott","first_name":"Jonathan A"},{"full_name":"Zakerinia, Hossein","id":"653bd8b6-f394-11eb-9cf6-c0bbf6cd78d4","last_name":"Zakerinia","orcid":"0009-0007-3977-6462","first_name":"Hossein"},{"full_name":"Lampert, Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","last_name":"Lampert","orcid":"0000-0001-8622-7887"}],"external_id":{"arxiv":["2306.05515"]},"conference":{"end_date":"2024-03-07","start_date":"2024-03-07","name":"ICLR: International Conference on Learning Representations","location":"Vienna, Austria"},"arxiv":1,"day":"07","file_date_updated":"2024-08-12T07:38:06Z","acknowledgement":"This research was supported by the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp).\r\n","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"21198"}]},"corr_author":"1","month":"03","publication":"12th International Conference on Learning Representations","ddc":["000"],"status":"public","acknowledged_ssus":[{"_id":"ScienComp"}],"language":[{"iso":"eng"}],"publisher":"OpenReview","has_accepted_license":"1","date_created":"2024-08-11T22:01:12Z","abstract":[{"lang":"eng","text":"We present PeFLL, a new personalized federated learning algorithm that improves\r\nover the state-of-the-art in three aspects: 1) it produces more accurate models,\r\nespecially in the low-data regime, and not only for clients present during its\r\ntraining phase, but also for any that may emerge in the future; 2) it reduces the\r\namount of on-client computation and client-server communication by providing\r\nfuture clients with ready-to-use personalized models that require no additional\r\nfinetuning or optimization; 3) it comes with theoretical guarantees that establish\r\ngeneralization from the observed clients to future ones.\r\nAt the core of PeFLL lies a learning-to-learn approach that jointly trains an\r\nembedding network and a hypernetwork. The embedding network is used to\r\nrepresent clients in a latent descriptor space in a way that reflects their similarity\r\nto each other. The hypernetwork takes as input such descriptors and outputs the\r\nparameters of fully personalized client models. In combination, both networks\r\nconstitute a learning algorithm that achieves state-of-the-art performance in several\r\npersonalized federated learning benchmarks"}],"date_published":"2024-03-07T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"date_updated":"2024-08-12T07:38:06Z","file_id":"17415","success":1,"file_size":1029219,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","date_created":"2024-08-12T07:38:06Z","checksum":"81b7ea2e667adaf9c7a7b6b376b1f251","file_name":"2024_ICLR_Scott.pdf","creator":"dernst"}],"publication_status":"published","article_processing_charge":"No","year":"2024","oa":1,"type":"conference"},{"page":"2287-2294","type":"journal_article","oa":1,"year":"2024","article_processing_charge":"Yes","publication_status":"published","file":[{"date_created":"2025-01-09T12:29:09Z","relation":"main_file","creator":"dernst","checksum":"4a49515ec90354d005852e741bff1d29","file_name":"2024_EnergyAdvances_Gong.pdf","file_size":1448762,"access_level":"open_access","content_type":"application/pdf","success":1,"file_id":"18812","date_updated":"2025-01-09T12:29:09Z"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2024-09-01T00:00:00Z","date_created":"2024-08-11T22:01:12Z","abstract":[{"lang":"eng","text":"The electroreduction of biomass-derived benzaldehyde (BZH) provides a potentially cost-effective route to produce benzyl alcohol (BA). This reaction competes with the electrochemical self-coupling of BZH to hydrobenzoin (HDB), which holds significance as a biofuel. Herein, we demonstrate the selectivity towards one or the other product strongly depends on the surface chemistry of the catalyst, specifically on its ability to adsorb hydrogen, as showcased with Cu2S electrocatalysts. We particularly analyze the effect of surface ligands, oleylamine (OAm), on the selective conversion of BZH to BA or HDB. The effect of the electrode potential, electrolyte pH, and temperature are studied. Results indicate that bare Cu2S exhibits higher selectivity towards BA, while OAm-capped Cu2S promotes HDB formation. This difference is explained by the competing adsorption of protons and BZH. During the BZH electrochemical conversion, electrons first transfer to the C in the C[double bond, length as m-dash]O group to form a ketyl radical. Then the radical either couples with surrounding H+ to form BA or self-couple to produce HDB, depending on the H+ availability that is affected by the electrocatalyst surface properties. The presence of OAm inhibits the H adsorption on the electrode surface therefore reducing the formation of high-energy state Had and its combination with ketyl radicals to form BA. Instead, the presence of OAm promotes the outer sphere reaction for obtaining HDB."}],"has_accepted_license":"1","publisher":"Royal Society of Chemistry","language":[{"iso":"eng"}],"OA_type":"gold","intvolume":" 3","issue":"9","publication":"Energy Advances","month":"09","status":"public","ddc":["540"],"acknowledgement":"L. Gong and J. Yu thank the China Scholarship Council for the scholarship support. ICN2 acknowledges funding from Generalitat de Catalunya 2021SGR00457. This study is part of the Advanced Materials programme and was supported by MCIN with funding from European Union NextGenerationEU (PRTR-C17.I1) and by Generalitat de Catalunya. The authors thank support from the project NANOGEN (PID2020-116093RB-C43), funded by MCIN/AEI/10.13039/501100011033/and by “ERDF A way 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. Part of the present work has been performed in the framework of Universitat Autònoma de Barcelona Materials Science PhD program. Authors acknowledge the use of instrumentation as well as the technical advice provided by the Joint Electron Microscopy Center at ALBA (JEMCA). ICN2 acknowledges funding from Grant IU16-014206 (METCAM-FIB) funded by the European Union through the European Regional Development Fund (ERDF), with the support of the Ministry of Research and Universities, Generalitat de Catalunya. ICN2 is founding member of e-DREAM.","file_date_updated":"2025-01-09T12:29:09Z","publication_identifier":{"eissn":["2753-1457"]},"article_type":"original","day":"01","DOAJ_listed":"1","license":"https://creativecommons.org/licenses/by-nc/3.0/","OA_place":"publisher","author":[{"last_name":"Gong","first_name":"Li","full_name":"Gong, Li"},{"full_name":"Zhao, Shiling","first_name":"Shiling","last_name":"Zhao"},{"full_name":"Yu, Jing","first_name":"Jing","last_name":"Yu"},{"last_name":"Li","first_name":"Junshan","full_name":"Li, Junshan"},{"full_name":"Arbiol, Jordi","first_name":"Jordi","last_name":"Arbiol"},{"full_name":"Kallio, Tanja","last_name":"Kallio","first_name":"Tanja"},{"orcid":"0000-0003-4566-5877","last_name":"Calcabrini","first_name":"Mariano","id":"45D7531A-F248-11E8-B48F-1D18A9856A87","full_name":"Calcabrini, Mariano"},{"full_name":"Martínez-Alanis, Paulina R.","first_name":"Paulina R.","last_name":"Martínez-Alanis"},{"last_name":"Ibáñez","orcid":"0000-0001-5013-2843","first_name":"Maria","full_name":"Ibáñez, Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Cabot","first_name":"Andreu","full_name":"Cabot, Andreu"}],"date_updated":"2025-01-09T12:30:16Z","title":"Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin","department":[{"_id":"MaIb"}],"scopus_import":"1","volume":3,"citation":{"chicago":"Gong, Li, Shiling Zhao, Jing Yu, Junshan Li, Jordi Arbiol, Tanja Kallio, Mariano Calcabrini, Paulina R. Martínez-Alanis, Maria Ibáñez, and Andreu Cabot. “Influence of the Catalyst Surface Chemistry on the Electrochemical Self-Coupling of Biomass-Derived Benzaldehyde into Hydrobenzoin.” Energy Advances. Royal Society of Chemistry, 2024. https://doi.org/10.1039/d4ya00334a.","short":"L. Gong, S. Zhao, J. Yu, J. Li, J. Arbiol, T. Kallio, M. Calcabrini, P.R. Martínez-Alanis, M. Ibáñez, A. Cabot, Energy Advances 3 (2024) 2287–2294.","mla":"Gong, Li, et al. “Influence of the Catalyst Surface Chemistry on the Electrochemical Self-Coupling of Biomass-Derived Benzaldehyde into Hydrobenzoin.” Energy Advances, vol. 3, no. 9, Royal Society of Chemistry, 2024, pp. 2287–94, doi:10.1039/d4ya00334a.","ieee":"L. Gong et al., “Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin,” Energy Advances, vol. 3, no. 9. Royal Society of Chemistry, pp. 2287–2294, 2024.","apa":"Gong, L., Zhao, S., Yu, J., Li, J., Arbiol, J., Kallio, T., … Cabot, A. (2024). Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin. Energy Advances. Royal Society of Chemistry. https://doi.org/10.1039/d4ya00334a","ista":"Gong L, Zhao S, Yu J, Li J, Arbiol J, Kallio T, Calcabrini M, Martínez-Alanis PR, Ibáñez M, Cabot A. 2024. Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin. Energy Advances. 3(9), 2287–2294.","ama":"Gong L, Zhao S, Yu J, et al. Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin. Energy Advances. 2024;3(9):2287-2294. doi:10.1039/d4ya00334a"},"tmp":{"name":"Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/3.0/legalcode","short":"CC BY-NC (3.0)","image":"/images/cc_by_nc.png"},"doi":"10.1039/d4ya00334a","_id":"17412","quality_controlled":"1","oa_version":"Published Version"},{"month":"07","ddc":["000"],"status":"public","publication":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","language":[{"iso":"eng"}],"intvolume":" 14739","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"Certification helps to increase trust in formal verification of safety-critical systems which require assurance on their correctness. In hardware model checking, a widely used formal verification technique, phase abstraction is considered one of the most commonly used preprocessing techniques. We present an approach to certify an extended form of phase abstraction using a generic certificate format. As in earlier works our approach involves constructing a witness circuit with an inductive invariant property that certifies the correctness of the entire model checking process, which is then validated by an independent certificate checker. We have implemented and evaluated the proposed approach including certification for various preprocessing configurations on hardware model checking competition benchmarks. As an improvement on previous work in this area, the proposed method is able to efficiently complete certification with an overhead of a fraction of model checking time."}],"has_accepted_license":"1","date_created":"2024-08-11T22:01:13Z","publisher":"Springer Nature","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2024-07-01T00:00:00Z","year":"2024","article_processing_charge":"Yes (in subscription journal)","publication_status":"published","file":[{"date_updated":"2024-08-12T06:53:39Z","success":1,"file_id":"17414","access_level":"open_access","content_type":"application/pdf","file_size":556902,"checksum":"7d7839fc8c5c680ea3ac09f40a66e55d","file_name":"2024_LNCS_Froleyks.pdf","creator":"dernst","date_created":"2024-08-12T06:53:39Z","relation":"main_file"}],"isi":1,"ec_funded":1,"type":"conference","oa":1,"page":"284-303","_id":"17413","quality_controlled":"1","oa_version":"Published Version","project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software"}],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"ama":"Froleyks N, Yu E, Biere A, Heljanko K. Certifying phase abstraction. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 14739. Springer Nature; 2024:284-303. doi:10.1007/978-3-031-63498-7_17","ista":"Froleyks N, Yu E, Biere A, Heljanko K. 2024. Certifying phase abstraction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). IJCAR: International Joint Conference on Automated Reasoning, LNCS, vol. 14739, 284–303.","apa":"Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying phase abstraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14739, pp. 284–303). Nancy, France: Springer Nature. https://doi.org/10.1007/978-3-031-63498-7_17","ieee":"N. Froleyks, E. Yu, A. Biere, and K. Heljanko, “Certifying phase abstraction,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Nancy, France, 2024, vol. 14739, pp. 284–303.","mla":"Froleyks, Nils, et al. “Certifying Phase Abstraction.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14739, Springer Nature, 2024, pp. 284–303, doi:10.1007/978-3-031-63498-7_17.","short":"N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.","chicago":"Froleyks, Nils, Emily Yu, Armin Biere, and Keijo Heljanko. “Certifying Phase Abstraction.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14739:284–303. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-63498-7_17."},"doi":"10.1007/978-3-031-63498-7_17","department":[{"_id":"ToHe"}],"scopus_import":"1","volume":14739,"date_updated":"2025-09-08T08:49:53Z","title":"Certifying phase abstraction","author":[{"last_name":"Froleyks","first_name":"Nils","full_name":"Froleyks, Nils"},{"full_name":"Yu, Zhengqi","id":"20aa2ae8-f2f1-11ed-bbfa-8205053f1342","first_name":"Zhengqi","last_name":"Yu"},{"full_name":"Biere, Armin","last_name":"Biere","first_name":"Armin"},{"full_name":"Heljanko, Keijo","last_name":"Heljanko","first_name":"Keijo"}],"conference":{"location":"Nancy, France","name":"IJCAR: International Joint Conference on Automated Reasoning","start_date":"2024-07-03","end_date":"2024-07-06"},"external_id":{"arxiv":["2405.04297"],"isi":["001273489700017"]},"acknowledgement":"This work is supported by the Austrian Science Fund (FWF) under the project W1255-N23, the LIT AI Lab funded by the State of Upper Austria, the ERC-2020-AdG 101020093, the Academy of Finland under the project 336092 and by a gift from Intel Corporation.","file_date_updated":"2024-08-12T06:53:39Z","publication_identifier":{"isbn":["9783031634970"],"issn":["0302-9743"],"eissn":["1611-3349"]},"day":"01","arxiv":1}]