[{"oa_version":"Published Version","article_processing_charge":"No","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.7548214","open_access":"1"}],"abstract":[{"text":"The software artefact to evaluate the approximation of stationary distributions implementation.","lang":"eng"}],"related_material":{"record":[{"status":"public","id":"13139","relation":"used_in_publication"}]},"department":[{"_id":"KrCh"}],"publisher":"Zenodo","month":"01","year":"2023","_id":"14990","date_created":"2024-02-14T14:27:06Z","ddc":["000"],"has_accepted_license":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"title":"Artefact for: Correct Approximation of Stationary Distributions","status":"public","doi":"10.5281/ZENODO.7548214","date_published":"2023-01-18T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"day":"18","type":"research_data_reference","author":[{"orcid":"0000-0002-1712-2165","full_name":"Meggendorfer, Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","last_name":"Meggendorfer","first_name":"Tobias"}],"citation":{"mla":"Meggendorfer, Tobias. <i>Artefact for: Correct Approximation of Stationary Distributions</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.7548214\">10.5281/ZENODO.7548214</a>.","apa":"Meggendorfer, T. (2023). Artefact for: Correct Approximation of Stationary Distributions. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.7548214\">https://doi.org/10.5281/ZENODO.7548214</a>","ama":"Meggendorfer T. Artefact for: Correct Approximation of Stationary Distributions. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.7548214\">10.5281/ZENODO.7548214</a>","ieee":"T. Meggendorfer, “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023.","chicago":"Meggendorfer, Tobias. “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.7548214\">https://doi.org/10.5281/ZENODO.7548214</a>.","ista":"Meggendorfer T. 2023. Artefact for: Correct Approximation of Stationary Distributions, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.7548214\">10.5281/ZENODO.7548214</a>.","short":"T. Meggendorfer, (2023)."},"date_updated":"2024-02-27T07:19:32Z"},{"month":"06","related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"14654"}]},"department":[{"_id":"CaMu"}],"publisher":"Zenodo","abstract":[{"lang":"eng","text":"This repository contains the data, scripts, WRF codes and files required to reproduce the results of the manuscript \"Assessing Memory in Convection Schemes Using Idealized Tests\" submitted to the Journal of Advances in Modeling Earth Systems (JAMES)."}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.7757041"}],"article_processing_charge":"No","oa_version":"Published Version","ec_funded":1,"date_created":"2024-02-14T14:37:57Z","_id":"14991","year":"2023","date_published":"2023-06-23T00:00:00Z","doi":"10.5281/ZENODO.7757041","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"title":"Data-assessing memory in convection schemes using idealized tests","project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program"}],"has_accepted_license":"1","ddc":["550"],"citation":{"ista":"Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. 2023. Data-assessing memory in convection schemes using idealized tests, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.7757041\">10.5281/ZENODO.7757041</a>.","chicago":"Hwong, Yi-Ling, Maxime Colin, Philipp Aglas, Caroline J Muller, and Steven C. Sherwood. “Data-Assessing Memory in Convection Schemes Using Idealized Tests.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.7757041\">https://doi.org/10.5281/ZENODO.7757041</a>.","ama":"Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. Data-assessing memory in convection schemes using idealized tests. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.7757041\">10.5281/ZENODO.7757041</a>","ieee":"Y.-L. Hwong, M. Colin, P. Aglas, C. J. Muller, and S. C. Sherwood, “Data-assessing memory in convection schemes using idealized tests.” Zenodo, 2023.","apa":"Hwong, Y.-L., Colin, M., Aglas, P., Muller, C. J., &#38; Sherwood, S. C. (2023). Data-assessing memory in convection schemes using idealized tests. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.7757041\">https://doi.org/10.5281/ZENODO.7757041</a>","mla":"Hwong, Yi-Ling, et al. <i>Data-Assessing Memory in Convection Schemes Using Idealized Tests</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.7757041\">10.5281/ZENODO.7757041</a>.","short":"Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023)."},"type":"research_data_reference","date_updated":"2024-02-27T07:26:31Z","author":[{"first_name":"Yi-Ling","last_name":"Hwong","full_name":"Hwong, Yi-Ling","id":"1217aa61-4dd1-11ec-9ac3-f2ba3f17ee22","orcid":"0000-0001-9281-3479"},{"full_name":"Colin, Maxime","first_name":"Maxime","last_name":"Colin"},{"full_name":"Aglas, Philipp","id":"02eace56-97fc-11ee-b81a-f0939ca85a77","last_name":"Aglas","first_name":"Philipp"},{"first_name":"Caroline J","last_name":"Muller","full_name":"Muller, Caroline J","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","orcid":"0000-0001-5836-5350"},{"first_name":"Steven C.","last_name":"Sherwood","full_name":"Sherwood, Steven C."}],"day":"23","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"arxiv":1,"page":"115-182","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.1912.10424","open_access":"1"}],"editor":[{"full_name":"Cances, Eric","first_name":"Eric","last_name":"Cances"},{"last_name":"Friesecke","first_name":"Gero","full_name":"Friesecke, Gero"}],"month":"07","publisher":"Springer","department":[{"_id":"RoSe"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"book_chapter","alternative_title":["Mathematics and Molecular Modeling"],"date_published":"2023-07-19T00:00:00Z","doi":"10.1007/978-3-031-22340-2_3","status":"public","language":[{"iso":"eng"}],"series_title":"MAMOMO","date_created":"2024-02-14T14:44:33Z","_id":"14992","year":"2023","quality_controlled":"1","article_processing_charge":"No","oa_version":"Preprint","publication_status":"published","abstract":[{"lang":"eng","text":"In this chapter we first review the Levy–Lieb functional, which gives the lowest kinetic and interaction energy that can be reached with all possible quantum states having a given density. We discuss two possible convex generalizations of this functional, corresponding to using mixed canonical and grand-canonical states, respectively. We present some recent works about the local density approximation, in which the functionals get replaced by purely local functionals constructed using the uniform electron gas energy per unit volume. We then review the known upper and lower bounds on the Levy–Lieb functionals. We start with the kinetic energy alone, then turn to the classical interaction alone, before we are able to put everything together. A later section is devoted to the Hohenberg–Kohn theorem and the role of many-body unique continuation in its proof."}],"day":"19","oa":1,"publication_identifier":{"issn":["3005-0286"],"eisbn":["9783031223402"],"isbn":["9783031223396"]},"publication":"Density Functional Theory","citation":{"short":"M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.","ista":"Lewin M, Lieb EH, Seiringer R. 2023.Universal Functionals in Density Functional Theory. In: Density Functional Theory. Mathematics and Molecular Modeling, , 115–182.","chicago":"Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Universal Functionals in Density Functional Theory.” In <i>Density Functional Theory</i>, edited by Eric Cances and Gero Friesecke, 1st ed., 115–82. MAMOMO. Springer, 2023. <a href=\"https://doi.org/10.1007/978-3-031-22340-2_3\">https://doi.org/10.1007/978-3-031-22340-2_3</a>.","apa":"Lewin, M., Lieb, E. H., &#38; Seiringer, R. (2023). Universal Functionals in Density Functional Theory. In E. Cances &#38; G. Friesecke (Eds.), <i>Density Functional Theory</i> (1st ed., pp. 115–182). Springer. <a href=\"https://doi.org/10.1007/978-3-031-22340-2_3\">https://doi.org/10.1007/978-3-031-22340-2_3</a>","ama":"Lewin M, Lieb EH, Seiringer R. Universal Functionals in Density Functional Theory. In: Cances E, Friesecke G, eds. <i>Density Functional Theory</i>. 1st ed. MAMOMO. Springer; 2023:115-182. doi:<a href=\"https://doi.org/10.1007/978-3-031-22340-2_3\">10.1007/978-3-031-22340-2_3</a>","ieee":"M. Lewin, E. H. Lieb, and R. Seiringer, “Universal Functionals in Density Functional Theory,” in <i>Density Functional Theory</i>, 1st ed., E. Cances and G. Friesecke, Eds. Springer, 2023, pp. 115–182.","mla":"Lewin, Mathieu, et al. “Universal Functionals in Density Functional Theory.” <i>Density Functional Theory</i>, edited by Eric Cances and Gero Friesecke, 1st ed., Springer, 2023, pp. 115–82, doi:<a href=\"https://doi.org/10.1007/978-3-031-22340-2_3\">10.1007/978-3-031-22340-2_3</a>."},"date_updated":"2024-02-20T08:33:06Z","edition":"1","author":[{"first_name":"Mathieu","last_name":"Lewin","full_name":"Lewin, Mathieu"},{"last_name":"Lieb","first_name":"Elliott H.","full_name":"Lieb, Elliott H."},{"full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","first_name":"Robert","last_name":"Seiringer"}],"external_id":{"arxiv":["1912.10424"]},"title":"Universal Functionals in Density Functional Theory"},{"date_published":"2023-03-02T00:00:00Z","language":[{"iso":"eng"}],"status":"public","title":"A framework for grassroots research collaboration in machine learning and global health","day":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"1st Workshop on Machine Learning & Global Health","oa":1,"author":[{"orcid":"0000-0002-4809-5059","full_name":"Currin, Christopher","id":"e8321fc5-3091-11eb-8a53-83f309a11ac9","first_name":"Christopher","last_name":"Currin"},{"full_name":"Asiedu , Mercy Nyamewaa","first_name":"Mercy Nyamewaa","last_name":"Asiedu "},{"full_name":"Fourie, Chris","first_name":"Chris","last_name":"Fourie"},{"first_name":"Benjamin","last_name":"Rosman","full_name":"Rosman, Benjamin"},{"full_name":"Turki, Houcemeddine","first_name":"Houcemeddine","last_name":"Turki"},{"first_name":"Atnafu","last_name":"Lambebo Tonja","full_name":"Lambebo Tonja, Atnafu"},{"full_name":"Abbott, Jade","last_name":"Abbott","first_name":"Jade"},{"first_name":"Marvellous","last_name":"Ajala","full_name":"Ajala, Marvellous"},{"first_name":"Sadiq Adewale","last_name":"Adedayo","full_name":"Adedayo, Sadiq Adewale"},{"full_name":"Emezue, Chris Chinenye","last_name":"Emezue","first_name":"Chris Chinenye"},{"last_name":"Machangara","first_name":"Daphne","full_name":"Machangara, Daphne"}],"type":"conference","date_updated":"2024-02-28T12:12:00Z","citation":{"ista":"Currin C, Asiedu  MN, Fourie C, Rosman B, Turki H, Lambebo Tonja A, Abbott J, Ajala M, Adedayo SA, Emezue CC, Machangara D. 2023. A framework for grassroots research collaboration in machine learning and global health. 1st Workshop on Machine Learning &#38; Global Health. ICLR: International Conference on Learning Representations.","chicago":"Currin, Christopher, Mercy Nyamewaa Asiedu , Chris Fourie, Benjamin Rosman, Houcemeddine Turki, Atnafu Lambebo Tonja, Jade Abbott, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” In <i>1st Workshop on Machine Learning &#38; Global Health</i>. OpenReview, 2023.","apa":"Currin, C., Asiedu , M. N., Fourie, C., Rosman, B., Turki, H., Lambebo Tonja, A., … Machangara, D. (2023). A framework for grassroots research collaboration in machine learning and global health. In <i>1st Workshop on Machine Learning &#38; Global Health</i>. Kigali, Rwanda: OpenReview.","ieee":"C. Currin <i>et al.</i>, “A framework for grassroots research collaboration in machine learning and global health,” in <i>1st Workshop on Machine Learning &#38; Global Health</i>, Kigali, Rwanda, 2023.","ama":"Currin C, Asiedu  MN, Fourie C, et al. A framework for grassroots research collaboration in machine learning and global health. In: <i>1st Workshop on Machine Learning &#38; Global Health</i>. OpenReview; 2023.","mla":"Currin, Christopher, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” <i>1st Workshop on Machine Learning &#38; Global Health</i>, OpenReview, 2023.","short":"C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning &#38; Global Health, OpenReview, 2023."},"quality_controlled":"1","main_file_link":[{"url":"https://openreview.net/forum?id=jHY_G91R880","open_access":"1"}],"oa_version":"Published Version","article_processing_charge":"No","publication_status":"published","publisher":"OpenReview","department":[{"_id":"TiVo"}],"month":"03","abstract":[{"lang":"eng","text":"Traditional top-down approaches for global health have historically failed to achieve social progress (Hoffman et al., 2015; Hoffman & Røttingen, 2015). Recently, however, a more holistic, multi-level approach termed One Health (OH) (Osterhaus et al., 2020) is being adopted. Several sets of challenges have been identified for the implementation of OH (dos S. Ribeiro et al., 2019), including policy and funding, education and training, and multi-actor, multi-domain, and multi-level collaborations. These exist despite the increasing accessibility to\r\nknowledge and digital collaborative research tools through the internet. To address some of these challenges, we propose a general framework for grassroots community-based means of participatory research. Additionally, we present a specific roadmap to create a Machine Learning for Global Health community in Africa. The proposed framework aims to enable any small group of individuals with scarce resources to build and sustain an online community within approximately two years. We provide a discussion on the potential impact of the proposed framework for global health research collaborations."}],"date_created":"2024-02-14T15:11:48Z","acknowledgement":"Houcemeddine Turki’s contributions to this final output have been funded through the Adapting\r\nWikidata to support clinical practice using Data Science, Semantic Web and Machine Learning\r\nproject, which is part of the Wikimedia Research Fund maintained by the Wikimedia Foundation in San Francisco, California, United States of America.","year":"2023","_id":"14993","conference":{"end_date":"2023-05-05","start_date":"2023-05-05","name":"ICLR: International Conference on Learning Representations","location":"Kigali, Rwanda"}},{"author":[{"full_name":"Majumdar, Rupak","first_name":"Rupak","last_name":"Majumdar"},{"first_name":"Kaushik","last_name":"Mallik","orcid":"0000-0001-9864-7475","full_name":"Mallik, Kaushik","id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598"},{"first_name":"Mateusz","last_name":"Rychlicki","full_name":"Rychlicki, Mateusz"},{"full_name":"Schmuck, Anne-Kathrin","last_name":"Schmuck","first_name":"Anne-Kathrin"},{"full_name":"Soudjani, Sadegh","last_name":"Soudjani","first_name":"Sadegh"}],"type":"research_data_reference","citation":{"mla":"Majumdar, Rupak, et al. <i>A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.7877790\">10.5281/ZENODO.7877790</a>.","ama":"Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.7877790\">10.5281/ZENODO.7877790</a>","ieee":"R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties.” Zenodo, 2023.","apa":"Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., &#38; Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.7877790\">https://doi.org/10.5281/ZENODO.7877790</a>","chicago":"Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.7877790\">https://doi.org/10.5281/ZENODO.7877790</a>.","ista":"Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.7877790\">10.5281/ZENODO.7877790</a>.","short":"R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023)."},"date_updated":"2024-02-27T07:39:51Z","day":"28","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2023-04-28T00:00:00Z","doi":"10.5281/ZENODO.7877790","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"title":"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties","has_accepted_license":"1","ddc":["000"],"date_created":"2024-02-14T15:13:00Z","_id":"14994","year":"2023","month":"04","department":[{"_id":"ToHe"}],"related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"14758"}]},"publisher":"Zenodo","abstract":[{"lang":"eng","text":"This resource contains the artifacts for reproducing the experimental results presented in the paper titled \"A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties\" that has been submitted in CAV 2023."}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.7877790"}],"article_processing_charge":"No","oa_version":"Published Version"},{"oa_version":"Published Version","article_processing_charge":"No","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.7877757","open_access":"1"}],"abstract":[{"lang":"eng","text":"Lincheck is a new practical and user-friendly framework for testing concurrent data structures on the Java Virtual Machine (JVM). It provides a simple and declarative way to write concurrent tests. Instead of describing how to perform the test, users specify what to test by declaring all the operations to examine; the framework automatically handles the rest. As a result, tests written with Lincheck are concise and easy to understand. \r\nThe artifact presents a collection of Lincheck tests that discover new bugs in popular libraries and implementations from the concurrency literature -- they are listed in Table 1, Section 3. To evaluate the performance of Lincheck analysis, the collection of tests also includes those which check correct data structures and, thus, always succeed. Similarly to Table 2, Section 3, the experiments demonstrate the reasonable time to perform a test. Finally, Lincheck provides user-friendly output with an easy-to-follow trace to reproduce a detected error, significantly simplifying further investigation."}],"department":[{"_id":"DaAl"}],"related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"14260"}]},"publisher":"Zenodo","month":"04","year":"2023","_id":"14995","date_created":"2024-02-14T15:14:13Z","ddc":["000"],"status":"public","title":"Lincheck: A practical framework for testing concurrent data structures on JVM","doi":"10.5281/ZENODO.7877757","date_published":"2023-04-28T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"day":"28","citation":{"short":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).","mla":"Koval, Nikita, et al. <i>Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.7877757\">10.5281/ZENODO.7877757</a>.","ieee":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.","ama":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.7877757\">10.5281/ZENODO.7877757</a>","apa":"Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., &#38; Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.7877757\">https://doi.org/10.5281/ZENODO.7877757</a>","chicago":"Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.7877757\">https://doi.org/10.5281/ZENODO.7877757</a>.","ista":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.7877757\">10.5281/ZENODO.7877757</a>."},"type":"research_data_reference","date_updated":"2024-02-27T07:46:52Z","author":[{"full_name":"Koval, Nikita","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","first_name":"Nikita","last_name":"Koval"},{"last_name":"Fedorov","first_name":"Alexander","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6","full_name":"Fedorov, Alexander"},{"full_name":"Sokolova, Maria","first_name":"Maria","last_name":"Sokolova"},{"full_name":"Tsitelov, Dmitry","first_name":"Dmitry","last_name":"Tsitelov"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X","last_name":"Alistarh","first_name":"Dan-Adrian"}]},{"year":"2023","_id":"15023","ec_funded":1,"date_created":"2024-02-25T09:23:24Z","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093 (VAMOS) and the ERC-2020-\r\nCoG 863818 (FoRM-SMArt).","conference":{"name":"NeurIPS: Neural Information Processing Systems","start_date":"2023-12-10","location":"New Orleans, LO, United States","end_date":"2023-12-16"},"arxiv":1,"oa_version":"Preprint","article_processing_charge":"No","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2312.01456"}],"abstract":[{"text":"Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of such policies remains an impediment to their deployment. We propose a novel method for learning a composition of neural network policies in stochastic environments, along with a formal certificate which guarantees that a specification over the policy's behavior is satisfied with the desired probability. Unlike prior work on verifiable RL, our approach leverages the compositional nature of logical specifications provided in SpectRL, to learn over graphs of probabilistic reach-avoid specifications. The formal guarantees are provided by learning neural network policies together with reach-avoid supermartingales (RASM) for the graph’s sub-tasks and then composing them into a global policy. We also derive a tighter lower bound compared to previous work on the probability of reach-avoidance implied by a RASM, which is required to find a compositional policy with an acceptable probabilistic threshold for complex tasks with multiple edge policies. We implement a prototype of our approach and evaluate it on a Stochastic Nine Rooms environment.","lang":"eng"}],"publication_status":"epub_ahead","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"month":"12","publication":"37th Conference on Neural Information Processing Systems","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"day":"15","citation":{"short":"D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.","ieee":"D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional policy learning in stochastic control systems with formal guarantees,” in <i>37th Conference on Neural Information Processing Systems</i>, New Orleans, LO, United States, 2023.","ama":"Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: <i>37th Conference on Neural Information Processing Systems</i>. ; 2023.","apa":"Zikelic, D., Lechner, M., Verma, A., Chatterjee, K., &#38; Henzinger, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In <i>37th Conference on Neural Information Processing Systems</i>. New Orleans, LO, United States.","mla":"Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” <i>37th Conference on Neural Information Processing Systems</i>, 2023.","ista":"Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. 2023. Compositional policy learning in stochastic control systems with formal guarantees. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems.","chicago":"Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In <i>37th Conference on Neural Information Processing Systems</i>, 2023."},"type":"conference","date_updated":"2025-07-14T09:10:04Z","author":[{"first_name":"Dorde","last_name":"Zikelic","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","full_name":"Zikelic, Dorde","orcid":"0000-0002-4681-1699"},{"first_name":"Mathias","last_name":"Lechner","full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Verma, Abhinav","id":"a235593c-d7fa-11eb-a0c5-b22ca3c66ee6","first_name":"Abhinav","last_name":"Verma"},{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"}],"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"},{"name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","call_identifier":"H2020"}],"language":[{"iso":"eng"}],"title":"Compositional policy learning in stochastic control systems with formal guarantees","status":"public","external_id":{"arxiv":["2312.01456"]},"date_published":"2023-12-15T00:00:00Z"},{"day":"13","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"author":[{"orcid":"0000-0001-6160-9766","id":"031eff0d-d481-11ee-8508-cd12a7a86e5b","full_name":"Curk, Samo","last_name":"Curk","first_name":"Samo"}],"type":"research_data_reference","citation":{"short":"S. Curk, (2023).","mla":"Curk, Samo. <i>Aggregation_data</i>. Figshare, 2023.","apa":"Curk, S. (2023). aggregation_data. Figshare.","ama":"Curk S. aggregation_data. 2023.","ieee":"S. Curk, “aggregation_data.” Figshare, 2023.","chicago":"Curk, Samo. “Aggregation_data.” Figshare, 2023.","ista":"Curk S. 2023. aggregation_data, Figshare."},"date_updated":"2024-02-26T08:45:55Z","has_accepted_license":"1","ddc":["570"],"date_published":"2023-12-13T00:00:00Z","status":"public","tmp":{"image":"/images/cc_0.png","name":"Creative Commons Public Domain Dedication (CC0 1.0)","short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode"},"title":"aggregation_data","date_created":"2024-02-26T08:37:57Z","year":"2023","_id":"15027","license":"https://creativecommons.org/publicdomain/zero/1.0/","main_file_link":[{"open_access":"1","url":"https://figshare.com/s/85798bba4ebc68d822ed"}],"oa_version":"Published Version","article_processing_charge":"No","publisher":"Figshare","related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"15001"}]},"department":[{"_id":"AnSa"}],"month":"12","abstract":[{"text":"This data repository underpins the paper, published in PNAS (doi pending) and bioarxiv (doi: https://doi.org/10.1101/2023.07.05.547777).","lang":"eng"}]},{"_id":"15035","year":"2023","ec_funded":1,"date_created":"2024-02-28T07:34:34Z","abstract":[{"lang":"eng","text":"This artifact aims to reproduce experiments from the paper Monitoring Hyperproperties With Prefix Transducers accepted at RV'23, and give further pointers to implementation of prefix transducers.\r\nIt has two parts: a pre-compiled docker image and sources that one can use to compile (locally or in docker) the software and run the experiments."}],"month":"07","department":[{"_id":"ToHe"}],"publisher":"Zenodo","related_material":{"record":[{"status":"public","id":"14076","relation":"used_in_publication"}]},"article_processing_charge":"No","oa_version":"Published Version","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.8191722","open_access":"1"}],"author":[{"id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","full_name":"Chalupa, Marek","last_name":"Chalupa","first_name":"Marek"},{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724"}],"date_updated":"2024-02-28T12:33:09Z","type":"research_data_reference","citation":{"apa":"Chalupa, M., &#38; Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.8191723\">https://doi.org/10.5281/ZENODO.8191723</a>","ieee":"M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.","ama":"Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.8191723\">10.5281/ZENODO.8191723</a>","mla":"Chalupa, Marek, and Thomas A. Henzinger. <i>Monitoring Hyperproperties with Prefix Transducers</i>. Zenodo, 2023, doi:<a href=\"https://doi.org/10.5281/ZENODO.8191723\">10.5281/ZENODO.8191723</a>.","ista":"Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.8191723\">10.5281/ZENODO.8191723</a>.","chicago":"Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” Zenodo, 2023. <a href=\"https://doi.org/10.5281/ZENODO.8191723\">https://doi.org/10.5281/ZENODO.8191723</a>.","short":"M. Chalupa, T.A. Henzinger, (2023)."},"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"28","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"title":"Monitoring hyperproperties with prefix transducers","status":"public","project":[{"name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020"}],"date_published":"2023-07-28T00:00:00Z","doi":"10.5281/ZENODO.8191723","ddc":["000"],"has_accepted_license":"1"},{"department":[{"_id":"GradSch"},{"_id":"ChLa"}],"publication_status":"submitted","month":"11","abstract":[{"lang":"eng","text":"A crucial property for achieving secure, trustworthy and interpretable deep learning systems is their robustness: small changes to a system's inputs should not result in large changes to its outputs. Mathematically, this means one strives for networks with a small Lipschitz constant. Several recent works have focused on how to construct such Lipschitz networks, typically by imposing constraints on the weight matrices. In this work, we study an orthogonal aspect, namely the role of the activation function. We show that commonly used activation functions, such as MaxMin, as well as all piece-wise linear ones with two segments unnecessarily restrict the class of representable functions, even in the simplest one-dimensional setting. We furthermore introduce the new N-activation function that is provably more expressive than currently popular activation functions. We provide code at this https URL."}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2311.06103"}],"oa_version":"Preprint","article_processing_charge":"No","arxiv":1,"date_created":"2024-02-28T17:59:32Z","year":"2023","_id":"15039","doi":"10.48550/ARXIV.2311.06103","date_published":"2023-11-10T00:00:00Z","language":[{"iso":"eng"}],"status":"public","external_id":{"arxiv":["2311.06103"]},"title":"1-Lipschitz neural networks are more expressive with N-activations","article_number":"2311.06103","type":"preprint","date_updated":"2024-03-04T07:02:39Z","citation":{"short":"B. Prach, C. Lampert, ArXiv (n.d.).","chicago":"Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">https://doi.org/10.48550/ARXIV.2311.06103</a>.","ista":"Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv, 2311.06103.","mla":"Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” <i>ArXiv</i>, 2311.06103, doi:<a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">10.48550/ARXIV.2311.06103</a>.","apa":"Prach, B., &#38; Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">https://doi.org/10.48550/ARXIV.2311.06103</a>","ama":"Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">10.48550/ARXIV.2311.06103</a>","ieee":"B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” <i>arXiv</i>. ."},"author":[{"first_name":"Bernd","last_name":"Prach","id":"2D561D42-C427-11E9-89B4-9C1AE6697425","full_name":"Prach, Bernd"},{"last_name":"Lampert","first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887"}],"day":"10","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"arXiv","oa":1},{"quality_controlled":"1","article_processing_charge":"No","oa_version":"Preprint","article_type":"original","publication_status":"published","related_material":{"link":[{"relation":"press_release","description":"News on IST Homepage","url":"https://ist.ac.at/en/news/when-is-necessary-sufficient/"}]},"abstract":[{"lang":"eng","text":"It is known that the Brauer--Manin obstruction to the Hasse principle is vacuous for smooth Fano hypersurfaces of dimension at least 3 over any number field. Moreover, for such varieties it follows from a general conjecture of Colliot-Thélène that the Brauer--Manin obstruction to the Hasse principle should be the only one, so that the Hasse principle is expected to hold. Working over the field of rational numbers and ordering Fano hypersurfaces of fixed degree and dimension by height, we prove that almost every such hypersurface satisfies the Hasse principle provided that the dimension is at least 3. This proves a conjecture of Poonen and Voloch in every case except for cubic surfaces."}],"date_created":"2020-10-19T14:28:50Z","_id":"8682","year":"2023","issue":"3","title":"The Hasse principle for random Fano hypersurfaces","external_id":{"oaworkID":["w3033938593"],"arxiv":["2006.02356"],"isi":["000966611000003"]},"day":"01","oa":1,"publication_identifier":{"issn":["0003-486X"]},"publication":"Annals of Mathematics","date_updated":"2025-08-11T11:59:49Z","citation":{"short":"T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.","chicago":"Browning, Timothy D, Pierre Le Boudec, and Will Sawin. “The Hasse Principle for Random Fano Hypersurfaces.” <i>Annals of Mathematics</i>. Princeton University, 2023. <a href=\"https://doi.org/10.4007/annals.2023.197.3.3\">https://doi.org/10.4007/annals.2023.197.3.3</a>.","ista":"Browning TD, Boudec PL, Sawin W. 2023. The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. 197(3), 1115–1203.","mla":"Browning, Timothy D., et al. “The Hasse Principle for Random Fano Hypersurfaces.” <i>Annals of Mathematics</i>, vol. 197, no. 3, Princeton University, 2023, pp. 1115–203, doi:<a href=\"https://doi.org/10.4007/annals.2023.197.3.3\">10.4007/annals.2023.197.3.3</a>.","apa":"Browning, T. D., Boudec, P. L., &#38; Sawin, W. (2023). The Hasse principle for random Fano hypersurfaces. <i>Annals of Mathematics</i>. Princeton University. <a href=\"https://doi.org/10.4007/annals.2023.197.3.3\">https://doi.org/10.4007/annals.2023.197.3.3</a>","ieee":"T. D. Browning, P. L. Boudec, and W. Sawin, “The Hasse principle for random Fano hypersurfaces,” <i>Annals of Mathematics</i>, vol. 197, no. 3. Princeton University, pp. 1115–1203, 2023.","ama":"Browning TD, Boudec PL, Sawin W. The Hasse principle for random Fano hypersurfaces. <i>Annals of Mathematics</i>. 2023;197(3):1115-1203. doi:<a href=\"https://doi.org/10.4007/annals.2023.197.3.3\">10.4007/annals.2023.197.3.3</a>"},"author":[{"id":"35827D50-F248-11E8-B48F-1D18A9856A87","full_name":"Browning, Timothy D","orcid":"0000-0002-8314-0177","first_name":"Timothy D","last_name":"Browning"},{"first_name":"Pierre Le","last_name":"Boudec","full_name":"Boudec, Pierre Le"},{"last_name":"Sawin","first_name":"Will","full_name":"Sawin, Will"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2006.02356"}],"isi":1,"month":"05","publisher":"Princeton University","department":[{"_id":"TiBr"}],"arxiv":1,"page":"1115-1203","intvolume":"       197","date_published":"2023-05-01T00:00:00Z","doi":"10.4007/annals.2023.197.3.3","status":"public","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","volume":197},{"citation":{"mla":"Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.” <i>International Mathematics Research Notices</i>, vol. 2023, no. 8, Oxford Academic, 2023, pp. 6780–808, doi:<a href=\"https://doi.org/10.1093/imrn/rnac048\">10.1093/imrn/rnac048</a>.","ama":"Wilsch FA. Integral points of bounded height on a log Fano threefold. <i>International Mathematics Research Notices</i>. 2023;2023(8):6780-6808. doi:<a href=\"https://doi.org/10.1093/imrn/rnac048\">10.1093/imrn/rnac048</a>","apa":"Wilsch, F. A. (2023). Integral points of bounded height on a log Fano threefold. <i>International Mathematics Research Notices</i>. Oxford Academic. <a href=\"https://doi.org/10.1093/imrn/rnac048\">https://doi.org/10.1093/imrn/rnac048</a>","ieee":"F. A. Wilsch, “Integral points of bounded height on a log Fano threefold,” <i>International Mathematics Research Notices</i>, vol. 2023, no. 8. Oxford Academic, pp. 6780–6808, 2023.","chicago":"Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.” <i>International Mathematics Research Notices</i>. Oxford Academic, 2023. <a href=\"https://doi.org/10.1093/imrn/rnac048\">https://doi.org/10.1093/imrn/rnac048</a>.","ista":"Wilsch FA. 2023. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023(8), 6780–6808.","short":"F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808."},"date_updated":"2023-08-01T12:23:55Z","author":[{"last_name":"Wilsch","first_name":"Florian Alexander","id":"560601DA-8D36-11E9-A136-7AC1E5697425","full_name":"Wilsch, Florian Alexander","orcid":"0000-0001-7302-8256"}],"day":"01","oa":1,"publication_identifier":{"eissn":["1687-0247"],"issn":["1073-7928"]},"publication":"International Mathematics Research Notices","title":"Integral points of bounded height on a log Fano threefold","external_id":{"arxiv":["1901.08503"],"isi":["000773116000001"]},"issue":"8","date_created":"2021-01-22T09:31:09Z","_id":"9034","year":"2023","publication_status":"published","article_type":"original","abstract":[{"text":"We determine an asymptotic formula for the number of integral points of bounded height on a blow-up of P3 outside certain planes using universal torsors.","lang":"eng"}],"quality_controlled":"1","article_processing_charge":"No","oa_version":"Preprint","type":"journal_article","volume":2023,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_published":"2023-04-01T00:00:00Z","doi":"10.1093/imrn/rnac048","status":"public","language":[{"iso":"eng"}],"intvolume":"      2023","arxiv":1,"page":"6780-6808","acknowledgement":"This work was supported by the German Academic Exchange Service. Parts of this article were prepared at the Institut de Mathémathiques de Jussieu—Paris Rive Gauche. I wish to thank Antoine Chambert-Loir for his remarks and the institute for its hospitality, as well as the anonymous referee for several useful remarks and suggestions for improvements.","month":"04","department":[{"_id":"TiBr"}],"publisher":"Oxford Academic","isi":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1901.08503"}]},{"article_number":"15","title":"Divergence of separated nets with respect to displacement equivalence","external_id":{"arxiv":["2102.13046"],"isi":["001105681500001"]},"day":"17","publication_identifier":{"issn":["0046-5755"],"eissn":["1572-9168"]},"publication":"Geometriae Dedicata","oa":1,"author":[{"full_name":"Dymond, Michael","last_name":"Dymond","first_name":"Michael"},{"orcid":"0000-0002-2512-8698","id":"21AE5134-9EAC-11EA-BEA2-D7BD3DDC885E","full_name":"Kaluza, Vojtech","last_name":"Kaluza","first_name":"Vojtech"}],"citation":{"short":"M. Dymond, V. Kaluza, Geometriae Dedicata (2023).","ista":"Dymond M, Kaluza V. 2023. Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata., 15.","chicago":"Dymond, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.” <i>Geometriae Dedicata</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/s10711-023-00862-3\">https://doi.org/10.1007/s10711-023-00862-3</a>.","apa":"Dymond, M., &#38; Kaluza, V. (2023). Divergence of separated nets with respect to displacement equivalence. <i>Geometriae Dedicata</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s10711-023-00862-3\">https://doi.org/10.1007/s10711-023-00862-3</a>","ieee":"M. Dymond and V. Kaluza, “Divergence of separated nets with respect to displacement equivalence,” <i>Geometriae Dedicata</i>. Springer Nature, 2023.","ama":"Dymond M, Kaluza V. Divergence of separated nets with respect to displacement equivalence. <i>Geometriae Dedicata</i>. 2023. doi:<a href=\"https://doi.org/10.1007/s10711-023-00862-3\">10.1007/s10711-023-00862-3</a>","mla":"Dymond, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.” <i>Geometriae Dedicata</i>, 15, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1007/s10711-023-00862-3\">10.1007/s10711-023-00862-3</a>."},"date_updated":"2024-01-11T13:06:32Z","quality_controlled":"1","oa_version":"Published Version","article_processing_charge":"Yes (via OA deal)","publication_status":"epub_ahead","article_type":"original","abstract":[{"text":"We introduce a hierachy of equivalence relations on the set of separated nets of a given Euclidean space, indexed by concave increasing functions ϕ:(0,∞)→(0,∞). Two separated nets are called ϕ-displacement equivalent if, roughly speaking, there is a bijection between them which, for large radii R, displaces points of norm at most R by something of order at most ϕ(R). We show that the spectrum of ϕ-displacement equivalence spans from the established notion of bounded displacement equivalence, which corresponds to bounded ϕ, to the indiscrete equivalence relation, coresponding to ϕ(R)∈Ω(R), in which all separated nets are equivalent. In between the two ends of this spectrum, the notions of ϕ-displacement equivalence are shown to be pairwise distinct with respect to the asymptotic classes of ϕ(R) for R→∞. We further undertake a comparison of our notion of ϕ-displacement equivalence with previously studied relations on separated nets. Particular attention is given to the interaction of the notions of ϕ-displacement equivalence with that of bilipschitz equivalence.","lang":"eng"}],"date_created":"2021-07-14T07:01:27Z","year":"2023","_id":"9651","doi":"10.1007/s10711-023-00862-3","date_published":"2023-11-17T00:00:00Z","language":[{"iso":"eng"}],"status":"public","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","type":"journal_article","main_file_link":[{"url":"https://doi.org/10.1007/s10711-023-00862-3","open_access":"1"}],"isi":1,"publisher":"Springer Nature","department":[{"_id":"UlWa"}],"month":"11","acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria). This work was started while both authors were employed at the University of Innsbruck and enjoyed the full support of Austrian Science Fund (FWF): P 30902-N35. It was continued when the first named author was employed at University of Leipzig and the second named author was employed at Institute of Science and Technology of Austria, where he was supported by an IST Fellowship.","scopus_import":"1","arxiv":1},{"month":"03","publisher":"Springer Nature","department":[{"_id":"UlWa"}],"isi":1,"arxiv":1,"page":"501-554","acknowledgement":"This work was done while both authors were employed at the University of Innsbruck and enjoyed the full support of Austrian Science Fund (FWF): P 30902-N35.","scopus_import":"1","date_published":"2023-03-01T00:00:00Z","doi":"10.1007/s11856-022-2448-6","status":"public","language":[{"iso":"eng"}],"ddc":["515","516"],"intvolume":"       253","type":"journal_article","volume":253,"file_date_updated":"2021-07-14T07:41:50Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","article_type":"original","abstract":[{"lang":"eng","text":"In 1998 Burago and Kleiner and (independently) McMullen gave examples of separated nets in Euclidean space which are non-bilipschitz equivalent to the integer lattice. We study weaker notions of equivalence of separated nets and demonstrate that such notions also give rise to distinct equivalence classes. Put differently, we find occurrences of particularly strong divergence of separated nets from the integer lattice. Our approach generalises that of Burago and Kleiner and McMullen which takes place largely in a continuous setting. Existence of irregular separated nets is verified via the existence of non-realisable density functions ρ:[0,1]d→(0,∞). In the present work we obtain stronger types of non-realisable densities."}],"file":[{"content_type":"application/pdf","file_size":900422,"checksum":"6fa0a3207dd1d6467c309fd1bcc867d1","creator":"vkaluza","access_level":"open_access","date_created":"2021-07-14T07:41:50Z","relation":"main_file","file_id":"9653","file_name":"separated_nets.pdf","date_updated":"2021-07-14T07:41:50Z"}],"quality_controlled":"1","article_processing_charge":"No","keyword":["Lipschitz","bilipschitz","bounded displacement","modulus of continuity","separated net","non-realisable density","Burago--Kleiner construction"],"oa_version":"Submitted Version","date_created":"2021-07-14T07:01:28Z","_id":"9652","year":"2023","title":"Highly irregular separated nets","external_id":{"isi":["000904950300003"],"arxiv":["1903.05923"]},"has_accepted_license":"1","citation":{"short":"M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.","ista":"Dymond M, Kaluza V. 2023. Highly irregular separated nets. Israel Journal of Mathematics. 253, 501–554.","chicago":"Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” <i>Israel Journal of Mathematics</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/s11856-022-2448-6\">https://doi.org/10.1007/s11856-022-2448-6</a>.","ieee":"M. Dymond and V. Kaluza, “Highly irregular separated nets,” <i>Israel Journal of Mathematics</i>, vol. 253. Springer Nature, pp. 501–554, 2023.","ama":"Dymond M, Kaluza V. Highly irregular separated nets. <i>Israel Journal of Mathematics</i>. 2023;253:501-554. doi:<a href=\"https://doi.org/10.1007/s11856-022-2448-6\">10.1007/s11856-022-2448-6</a>","apa":"Dymond, M., &#38; Kaluza, V. (2023). Highly irregular separated nets. <i>Israel Journal of Mathematics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s11856-022-2448-6\">https://doi.org/10.1007/s11856-022-2448-6</a>","mla":"Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” <i>Israel Journal of Mathematics</i>, vol. 253, Springer Nature, 2023, pp. 501–54, doi:<a href=\"https://doi.org/10.1007/s11856-022-2448-6\">10.1007/s11856-022-2448-6</a>."},"author":[{"full_name":"Dymond, Michael","last_name":"Dymond","first_name":"Michael"},{"id":"21AE5134-9EAC-11EA-BEA2-D7BD3DDC885E","full_name":"Kaluza, Vojtech","orcid":"0000-0002-2512-8698","last_name":"Kaluza","first_name":"Vojtech"}],"date_updated":"2023-08-14T11:26:34Z","day":"01","oa":1,"publication":"Israel Journal of Mathematics","publication_identifier":{"eissn":["1565-8511"]}},{"day":"27","oa":1,"publication":"Cold Spring Harbor Perspectives in Biology","publication_identifier":{"issn":["1943-0264"]},"author":[{"first_name":"Jiří","last_name":"Friml","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"citation":{"short":"J. Friml, Cold Spring Harbor Perspectives in Biology 14 (2022).","mla":"Friml, Jiří. “Fourteen Stations of Auxin.” <i>Cold Spring Harbor Perspectives in Biology</i>, vol. 14, no. 5, a039859, Cold Spring Harbor Laboratory, 2022, doi:<a href=\"https://doi.org/10.1101/cshperspect.a039859 \">10.1101/cshperspect.a039859 </a>.","apa":"Friml, J. (2022). Fourteen stations of auxin. <i>Cold Spring Harbor Perspectives in Biology</i>. Cold Spring Harbor Laboratory. <a href=\"https://doi.org/10.1101/cshperspect.a039859 \">https://doi.org/10.1101/cshperspect.a039859 </a>","ieee":"J. Friml, “Fourteen stations of auxin,” <i>Cold Spring Harbor Perspectives in Biology</i>, vol. 14, no. 5. Cold Spring Harbor Laboratory, 2022.","ama":"Friml J. Fourteen stations of auxin. <i>Cold Spring Harbor Perspectives in Biology</i>. 2022;14(5). doi:<a href=\"https://doi.org/10.1101/cshperspect.a039859 \">10.1101/cshperspect.a039859 </a>","chicago":"Friml, Jiří. “Fourteen Stations of Auxin.” <i>Cold Spring Harbor Perspectives in Biology</i>. Cold Spring Harbor Laboratory, 2022. <a href=\"https://doi.org/10.1101/cshperspect.a039859 \">https://doi.org/10.1101/cshperspect.a039859 </a>.","ista":"Friml J. 2022. Fourteen stations of auxin. Cold Spring Harbor Perspectives in Biology. 14(5), a039859."},"date_updated":"2023-08-02T06:54:42Z","article_number":"a039859","issue":"5","external_id":{"pmid":["34400554"],"isi":["000806563000003"]},"title":"Fourteen stations of auxin","pmid":1,"date_created":"2021-09-14T11:36:53Z","_id":"10016","year":"2022","quality_controlled":"1","article_processing_charge":"No","oa_version":"Published Version","publication_status":"published","article_type":"review","abstract":[{"text":"Auxin has always been at the forefront of research in plant physiology and development. Since the earliest contemplations by Julius von Sachs and Charles Darwin, more than a century-long struggle has been waged to understand its function. This largely reflects the failures, successes, and inevitable progress in the entire field of plant signaling and development. Here I present 14 stations on our long and sometimes mystical journey to understand auxin. These highlights were selected to give a flavor of the field and to show the scope and limits of our current knowledge. A special focus is put on features that make auxin unique among phytohormones, such as its dynamic, directional transport network, which integrates external and internal signals, including self-organizing feedback. Accented are persistent mysteries and controversies. The unexpected discoveries related to rapid auxin responses and growth regulation recently disturbed our contentment regarding understanding of the auxin signaling mechanism. These new revelations, along with advances in technology, usher us into a new, exciting era in auxin research. ","lang":"eng"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","volume":14,"intvolume":"        14","date_published":"2022-05-27T00:00:00Z","doi":"10.1101/cshperspect.a039859 ","status":"public","language":[{"iso":"eng"}],"acknowledgement":"The author thanks the whole community of researchers consciously or unconsciously working on questions related to auxin, whose hard work and enthusiasm contributed to development of this exciting story. Particular thanks go to many\r\nbrilliant present and past members of the Friml group and our numerous excellent collaborators, without whom my own personal journey would not be possible. The way of the cross with its 14 stations is a popular devotion among Roman Catholics and inspires them to make a spiritual pilgrimage through contemplation of Christ on his last day. Its aspects of gradual progress, struggle, passion, and revelation served as an inspiration for the formal depiction of our journey to understanding auxin as described in this review. It is in no way intended to reflect the personal beliefs of the author and readers. I am grateful to Nick Barton, Eva Benková, Lenka Caisová, Matyáš Fendrych, Lukáš Fiedler, Monika Frátriková, Jarmila Frimlová, Michelle Gallei, Jakub Hajný, Lukas Hoermayer, Alexandra Mally, Ondrˇej Novák, Jan Petrášek, Aleš Pěnčík, Steffen Vanneste, Tongda Xu, and Zhenbiao Yang for their valuable comments. Special thanks go to Michelle Gallei for her invaluable assistance with the figures.","scopus_import":"1","isi":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/cshperspect.a039859 "}],"month":"05","publisher":"Cold Spring Harbor Laboratory","department":[{"_id":"JiFr"}]},{"oa":1,"publication":"Journal of the Institute of Mathematics of Jussieu","publication_identifier":{"eissn":["1475-3030 "],"issn":["1474-7480"]},"day":"10","date_updated":"2023-08-02T06:55:10Z","author":[{"first_name":"Ulrich","last_name":"Derenthal","full_name":"Derenthal, Ulrich"},{"id":"560601DA-8D36-11E9-A136-7AC1E5697425","full_name":"Wilsch, Florian Alexander","orcid":"0000-0001-7302-8256","last_name":"Wilsch","first_name":"Florian Alexander"}],"citation":{"mla":"Derenthal, Ulrich, and Florian Alexander Wilsch. “Integral Points on Singular Del Pezzo Surfaces.” <i>Journal of the Institute of Mathematics of Jussieu</i>, Cambridge University Press, 2022, doi:<a href=\"https://doi.org/10.1017/S1474748022000482\">10.1017/S1474748022000482</a>.","apa":"Derenthal, U., &#38; Wilsch, F. A. (2022). Integral points on singular del Pezzo surfaces. <i>Journal of the Institute of Mathematics of Jussieu</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/S1474748022000482\">https://doi.org/10.1017/S1474748022000482</a>","ama":"Derenthal U, Wilsch FA. Integral points on singular del Pezzo surfaces. <i>Journal of the Institute of Mathematics of Jussieu</i>. 2022. doi:<a href=\"https://doi.org/10.1017/S1474748022000482\">10.1017/S1474748022000482</a>","ieee":"U. Derenthal and F. A. Wilsch, “Integral points on singular del Pezzo surfaces,” <i>Journal of the Institute of Mathematics of Jussieu</i>. Cambridge University Press, 2022.","chicago":"Derenthal, Ulrich, and Florian Alexander Wilsch. “Integral Points on Singular Del Pezzo Surfaces.” <i>Journal of the Institute of Mathematics of Jussieu</i>. Cambridge University Press, 2022. <a href=\"https://doi.org/10.1017/S1474748022000482\">https://doi.org/10.1017/S1474748022000482</a>.","ista":"Derenthal U, Wilsch FA. 2022. Integral points on singular del Pezzo surfaces. Journal of the Institute of Mathematics of Jussieu.","short":"U. Derenthal, F.A. Wilsch, Journal of the Institute of Mathematics of Jussieu (2022)."},"external_id":{"arxiv":["2109.06778"],"isi":["000881319200001"]},"title":"Integral points on singular del Pezzo surfaces","project":[{"name":"New frontiers of the Manin conjecture","grant_number":"P32428","_id":"26AEDAB2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"_id":"10018","year":"2022","date_created":"2021-09-15T10:06:48Z","keyword":["Integral points","del Pezzo surface","universal torsor","Manin’s conjecture"],"article_processing_charge":"Yes (via OA deal)","oa_version":"Published Version","quality_controlled":"1","abstract":[{"lang":"eng","text":"In order to study integral points of bounded log-anticanonical height on weak del Pezzo surfaces, we classify weak del Pezzo pairs. As a representative example, we consider a quartic del Pezzo surface of singularity type A1 + A3 and prove an analogue of Manin's conjecture for integral points with respect to its singularities and its lines."}],"publication_status":"epub_ahead","article_type":"original","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","status":"public","language":[{"iso":"eng"}],"date_published":"2022-11-10T00:00:00Z","doi":"10.1017/S1474748022000482","scopus_import":"1","acknowledgement":"The first author was partly supported by grant DE 1646/4-2 of the Deutsche Forschungsgemeinschaft. The second author was partly supported by FWF grant P 32428-N35 and conducted part of this work as a guest at the Institut de Mathématiques de Jussieu–Paris Rive Gauche invited by Antoine Chambert-Loir and funded by DAAD.","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1017/S1474748022000482"}],"isi":1,"month":"11","department":[{"_id":"TiBr"}],"publisher":"Cambridge University Press"},{"has_accepted_license":"1","issue":"1","project":[{"_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships"},{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"665385","name":"International IST Doctoral Program"},{"name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery","_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A"},{"name":"Bottom-up Engineering for Thermoelectric Applications","_id":"9B8804FC-BA93-11EA-9121-9846C619BF3A","grant_number":"M02889"}],"title":"Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance","external_id":{"isi":["000767223400008"],"pmid":["34549956"]},"day":"25","publication":"ACS Nano","publication_identifier":{"eissn":["1936-086X"],"issn":["1936-0851"]},"oa":1,"date_updated":"2023-08-02T14:41:05Z","citation":{"short":"Y. Liu, M. Calcabrini, Y. Yu, S. Lee, C. Chang, J. David, T. Ghosh, M.C. Spadaro, C. Xie, O. Cojocaru-Mirédin, J. Arbiol, M. Ibáñez, ACS Nano 16 (2022) 78–88.","chicago":"Liu, Yu, Mariano Calcabrini, Yuan Yu, Seungho Lee, Cheng Chang, Jérémy David, Tanmoy Ghosh, et al. “Defect Engineering in Solution-Processed Polycrystalline SnSe Leads to High Thermoelectric Performance.” <i>ACS Nano</i>. American Chemical Society , 2022. <a href=\"https://doi.org/10.1021/acsnano.1c06720\">https://doi.org/10.1021/acsnano.1c06720</a>.","ista":"Liu Y, Calcabrini M, Yu Y, Lee S, Chang C, David J, Ghosh T, Spadaro MC, Xie C, Cojocaru-Mirédin O, Arbiol J, Ibáñez M. 2022. Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance. ACS Nano. 16(1), 78–88.","mla":"Liu, Yu, et al. “Defect Engineering in Solution-Processed Polycrystalline SnSe Leads to High Thermoelectric Performance.” <i>ACS Nano</i>, vol. 16, no. 1, American Chemical Society , 2022, pp. 78–88, doi:<a href=\"https://doi.org/10.1021/acsnano.1c06720\">10.1021/acsnano.1c06720</a>.","apa":"Liu, Y., Calcabrini, M., Yu, Y., Lee, S., Chang, C., David, J., … Ibáñez, M. (2022). Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance. <i>ACS Nano</i>. American Chemical Society . <a href=\"https://doi.org/10.1021/acsnano.1c06720\">https://doi.org/10.1021/acsnano.1c06720</a>","ieee":"Y. Liu <i>et al.</i>, “Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance,” <i>ACS Nano</i>, vol. 16, no. 1. American Chemical Society , pp. 78–88, 2022.","ama":"Liu Y, Calcabrini M, Yu Y, et al. Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance. <i>ACS Nano</i>. 2022;16(1):78-88. doi:<a href=\"https://doi.org/10.1021/acsnano.1c06720\">10.1021/acsnano.1c06720</a>"},"author":[{"orcid":"0000-0001-7313-6740","full_name":"Liu, Yu","id":"2A70014E-F248-11E8-B48F-1D18A9856A87","first_name":"Yu","last_name":"Liu"},{"full_name":"Calcabrini, Mariano","id":"45D7531A-F248-11E8-B48F-1D18A9856A87","first_name":"Mariano","last_name":"Calcabrini"},{"first_name":"Yuan","last_name":"Yu","full_name":"Yu, Yuan"},{"orcid":"0000-0002-6962-8598","id":"BB243B88-D767-11E9-B658-BC13E6697425","full_name":"Lee, Seungho","first_name":"Seungho","last_name":"Lee"},{"id":"9E331C2E-9F27-11E9-AE48-5033E6697425","full_name":"Chang, Cheng","orcid":"0000-0002-9515-4277","first_name":"Cheng","last_name":"Chang"},{"last_name":"David","first_name":"Jérémy","full_name":"David, Jérémy"},{"first_name":"Tanmoy","last_name":"Ghosh","id":"a5fc9bc3-feff-11ea-93fe-e8015a3c7e9d","full_name":"Ghosh, Tanmoy"},{"last_name":"Spadaro","first_name":"Maria Chiara","full_name":"Spadaro, Maria Chiara"},{"full_name":"Xie, Chenyang","last_name":"Xie","first_name":"Chenyang"},{"last_name":"Cojocaru-Mirédin","first_name":"Oana","full_name":"Cojocaru-Mirédin, Oana"},{"last_name":"Arbiol","first_name":"Jordi","full_name":"Arbiol, Jordi"},{"id":"43C61214-F248-11E8-B48F-1D18A9856A87","full_name":"Ibáñez, Maria","orcid":"0000-0001-5013-2843","first_name":"Maria","last_name":"Ibáñez"}],"quality_controlled":"1","oa_version":"Published Version","article_processing_charge":"Yes (via OA deal)","keyword":["tin selenide","nanocomposite","grain growth","Zener pinning","thermoelectricity","annealing","solution processing"],"article_type":"original","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"12885"}]},"publication_status":"published","file":[{"file_name":"2022_ACSNano_Liu.pdf","relation":"main_file","date_created":"2022-03-02T16:17:29Z","success":1,"file_id":"10808","date_updated":"2022-03-02T16:17:29Z","checksum":"74f9c1aa5f95c0b992a4328e8e0247b4","content_type":"application/pdf","file_size":9050764,"creator":"cchlebak","access_level":"open_access"}],"abstract":[{"lang":"eng","text":"SnSe has emerged as one of the most promising materials for thermoelectric energy conversion due to its extraordinary performance in its single-crystal form and its low-cost constituent elements. However, to achieve an economic impact, the polycrystalline counterpart needs to replicate the performance of the single crystal. Herein, we optimize the thermoelectric performance of polycrystalline SnSe produced by consolidating solution-processed and surface-engineered SnSe particles. In particular, the SnSe particles are coated with CdSe molecular complexes that crystallize during the sintering process, forming CdSe nanoparticles. The presence of CdSe nanoparticles inhibits SnSe grain growth during the consolidation step due to Zener pinning, yielding a material with a high density of grain boundaries. Moreover, the resulting SnSe–CdSe nanocomposites present a large number of defects at different length scales, which significantly reduce the thermal conductivity. The produced SnSe–CdSe nanocomposites exhibit thermoelectric figures of merit up to 2.2 at 786 K, which is among the highest reported for solution-processed SnSe."}],"pmid":1,"ec_funded":1,"date_created":"2021-09-24T07:55:12Z","year":"2022","_id":"10042","ddc":["540"],"intvolume":"        16","doi":"10.1021/acsnano.1c06720","date_published":"2022-01-25T00:00:00Z","language":[{"iso":"eng"}],"status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"file_date_updated":"2022-03-02T16:17:29Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","volume":16,"isi":1,"department":[{"_id":"MaIb"}],"publisher":"American Chemical Society ","month":"01","acknowledgement":"This work was financially supported by IST Austria and the Werner Siemens Foundation. Y.L. acknowledges funding from the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie grant agreement No. 754411. S.L. and M.C. received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant Agreement No. 665385. J.D. acknowledges funding from the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie grant agreement no. 665919 (P-SPHERE) cofunded by Severo Ochoa Programme. C.C. acknowledges funding from the FWF “Lise Meitner Fellowship” grant agreement M 2889-N. Y.Y. and O.C.-M. acknowledge the financial support from DFG within the project SFB 917: Nanoswitches. M.C.S. received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 754510 (PROBIST) and the Severo Ochoa programme. J.D. received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No. 665919 (P-SPHERE) cofunded by Severo Ochoa Programme. The ICN2 is funded by the CERCA Program/Generalitat de Catalunya and by the Severo Ochoa program of the Spanish Ministry of Economy, Industry, and Competitiveness (MINECO, grant no. SEV-2017-0706). ICN2 acknowledges funding from Generalitat de Catalunya 2017 SGR 327 and the Spanish MINECO project NANOGEN (PID2020-116093RB-C43). This project received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No. 823717-ESTEEM3. The FIB sample preparation was conducted in the LMA-INA-Universidad de Zaragoza.","scopus_import":"1","page":"78-88"},{"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","volume":23,"intvolume":"        23","date_published":"2022-02-01T00:00:00Z","doi":"10.1038/s41580-021-00415-0","status":"public","language":[{"iso":"eng"}],"scopus_import":"1","page":"141–161","isi":1,"month":"02","publisher":"Springer Nature","department":[{"_id":"LeSa"}],"day":"01","publication_identifier":{"eissn":["1471-0080"],"issn":["1471-0072"]},"publication":"Nature Reviews Molecular Cell Biology","citation":{"ista":"Vercellino I, Sazanov LA. 2022. The assembly, regulation and function of the mitochondrial respiratory chain. Nature Reviews Molecular Cell Biology. 23, 141–161.","chicago":"Vercellino, Irene, and Leonid A Sazanov. “The Assembly, Regulation and Function of the Mitochondrial Respiratory Chain.” <i>Nature Reviews Molecular Cell Biology</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1038/s41580-021-00415-0\">https://doi.org/10.1038/s41580-021-00415-0</a>.","ama":"Vercellino I, Sazanov LA. The assembly, regulation and function of the mitochondrial respiratory chain. <i>Nature Reviews Molecular Cell Biology</i>. 2022;23:141–161. doi:<a href=\"https://doi.org/10.1038/s41580-021-00415-0\">10.1038/s41580-021-00415-0</a>","ieee":"I. Vercellino and L. A. Sazanov, “The assembly, regulation and function of the mitochondrial respiratory chain,” <i>Nature Reviews Molecular Cell Biology</i>, vol. 23. Springer Nature, pp. 141–161, 2022.","apa":"Vercellino, I., &#38; Sazanov, L. A. (2022). The assembly, regulation and function of the mitochondrial respiratory chain. <i>Nature Reviews Molecular Cell Biology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41580-021-00415-0\">https://doi.org/10.1038/s41580-021-00415-0</a>","mla":"Vercellino, Irene, and Leonid A. Sazanov. “The Assembly, Regulation and Function of the Mitochondrial Respiratory Chain.” <i>Nature Reviews Molecular Cell Biology</i>, vol. 23, Springer Nature, 2022, pp. 141–161, doi:<a href=\"https://doi.org/10.1038/s41580-021-00415-0\">10.1038/s41580-021-00415-0</a>.","short":"I. Vercellino, L.A. Sazanov, Nature Reviews Molecular Cell Biology 23 (2022) 141–161."},"author":[{"orcid":" 0000-0001-5618-3449","id":"3ED6AF16-F248-11E8-B48F-1D18A9856A87","full_name":"Vercellino, Irene","last_name":"Vercellino","first_name":"Irene"},{"last_name":"Sazanov","first_name":"Leonid A","orcid":"0000-0002-0977-7989","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A"}],"date_updated":"2023-08-02T06:55:42Z","title":"The assembly, regulation and function of the mitochondrial respiratory chain","external_id":{"pmid":["34621061"],"isi":["000705697100001"]},"date_created":"2021-10-24T22:01:35Z","pmid":1,"_id":"10182","year":"2022","quality_controlled":"1","article_processing_charge":"No","oa_version":"None","publication_status":"published","article_type":"original","abstract":[{"text":"The mitochondrial oxidative phosphorylation system is central to cellular metabolism. It comprises five enzymatic complexes and two mobile electron carriers that work in a mitochondrial respiratory chain. By coupling the oxidation of reducing equivalents coming into mitochondria to the generation and subsequent dissipation of a proton gradient across the inner mitochondrial membrane, this electron transport chain drives the production of ATP, which is then used as a primary energy carrier in virtually all cellular processes. Minimal perturbations of the respiratory chain activity are linked to diseases; therefore, it is necessary to understand how these complexes are assembled and regulated and how they function. In this Review, we outline the latest assembly models for each individual complex, and we also highlight the recent discoveries indicating that the formation of larger assemblies, known as respiratory supercomplexes, originates from the association of the intermediates of individual complexes. We then discuss how recent cryo-electron microscopy structures have been key to answering open questions on the function of the electron transport chain in mitochondrial respiration and how supercomplexes and other factors, including metabolites, can regulate the activity of the single complexes. When relevant, we discuss how these mechanisms contribute to physiology and outline their deregulation in human diseases.","lang":"eng"}]},{"abstract":[{"lang":"eng","text":"It is practical to collect a huge amount of movement data and environmental context information along with the health signals of individuals because there is the emergence of new generations of positioning and tracking technologies and rapid advancements of health sensors. The study of the relations between these datasets and their sequence similarity analysis is of interest to many applications such as health monitoring and recommender systems. However, entering all movement parameters and health signals can lead to the complexity of the problem and an increase in its computational load. In this situation, dimension reduction techniques can be used to avoid consideration of simultaneous dependent parameters in the process of similarity measurement of the trajectories. The present study provides a framework, named CaDRAW, to use spatial–temporal data and movement parameters along with independent context information in the process of measuring the similarity of trajectories. In this regard, the omission of dependent movement characteristic signals is conducted by using an unsupervised feature selection dimension reduction technique. To evaluate the effectiveness of the proposed framework, it was applied to a real contextualized movement and related health signal datasets of individuals. The results indicated the capability of the proposed framework in measuring the similarity and in decreasing the characteristic signals in such a way that the similarity results -before and after reduction of dependent characteristic signals- have small differences. The mean differences between the obtained results before and after reducing the dimension were 0.029 and 0.023 for the round path, respectively."}],"file":[{"date_updated":"2022-12-20T23:30:08Z","embargo":"2022-11-12","file_name":"A Context‑aware Dimension Reduction Framework - Journal of Ambient Intelligence 2021 (Preprint version).pdf","relation":"main_file","date_created":"2021-11-12T19:38:05Z","file_id":"10279","creator":"fkarimip","access_level":"open_access","checksum":"0a8961416a9bb2be5a1cebda65468bcf","file_size":1634958,"content_type":"application/pdf"}],"article_type":"original","publication_status":"published","article_processing_charge":"No","keyword":["general computer science"],"oa_version":"Submitted Version","quality_controlled":"1","_id":"10208","year":"2022","date_created":"2021-11-02T09:28:55Z","title":"A context-aware dimension reduction framework for trajectory and health signal analyses","external_id":{"isi":["000712198000001"]},"project":[{"call_identifier":"FWF","grant_number":"Z00342","_id":"268116B8-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"}],"has_accepted_license":"1","author":[{"full_name":"Goudarzi, Samira","last_name":"Goudarzi","first_name":"Samira"},{"last_name":"Sharif","first_name":"Mohammad","full_name":"Sharif, Mohammad"},{"full_name":"Karimipour, Farid","id":"2A2BCDC4-CF62-11E9-BE5E-3B1EE6697425","orcid":"0000-0001-6746-4174","last_name":"Karimipour","first_name":"Farid"}],"date_updated":"2023-08-02T13:31:48Z","citation":{"short":"S. Goudarzi, M. Sharif, F. Karimipour, Journal of Ambient Intelligence and Humanized Computing 13 (2022) 2621–2635.","ista":"Goudarzi S, Sharif M, Karimipour F. 2022. A context-aware dimension reduction framework for trajectory and health signal analyses. Journal of Ambient Intelligence and Humanized Computing. 13, 2621–2635.","chicago":"Goudarzi, Samira, Mohammad Sharif, and Farid Karimipour. “A Context-Aware Dimension Reduction Framework for Trajectory and Health Signal Analyses.” <i>Journal of Ambient Intelligence and Humanized Computing</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/s12652-021-03569-z\">https://doi.org/10.1007/s12652-021-03569-z</a>.","ieee":"S. Goudarzi, M. Sharif, and F. Karimipour, “A context-aware dimension reduction framework for trajectory and health signal analyses,” <i>Journal of Ambient Intelligence and Humanized Computing</i>, vol. 13. Springer Nature, pp. 2621–2635, 2022.","ama":"Goudarzi S, Sharif M, Karimipour F. A context-aware dimension reduction framework for trajectory and health signal analyses. <i>Journal of Ambient Intelligence and Humanized Computing</i>. 2022;13:2621–2635. doi:<a href=\"https://doi.org/10.1007/s12652-021-03569-z\">10.1007/s12652-021-03569-z</a>","apa":"Goudarzi, S., Sharif, M., &#38; Karimipour, F. (2022). A context-aware dimension reduction framework for trajectory and health signal analyses. <i>Journal of Ambient Intelligence and Humanized Computing</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s12652-021-03569-z\">https://doi.org/10.1007/s12652-021-03569-z</a>","mla":"Goudarzi, Samira, et al. “A Context-Aware Dimension Reduction Framework for Trajectory and Health Signal Analyses.” <i>Journal of Ambient Intelligence and Humanized Computing</i>, vol. 13, Springer Nature, 2022, pp. 2621–2635, doi:<a href=\"https://doi.org/10.1007/s12652-021-03569-z\">10.1007/s12652-021-03569-z</a>."},"oa":1,"publication_identifier":{"issn":["1868-5137"],"eissn":["1868-5145"]},"publication":"Journal of Ambient Intelligence and Humanized Computing","day":"01","month":"05","department":[{"_id":"HeEd"}],"publisher":"Springer Nature","isi":1,"page":"2621–2635","scopus_import":"1","acknowledgement":"The third author acknowledges the funding received from the Wittgenstein Prize, Austrian Science Fund (FWF), grant no. Z 342-N31.","status":"public","language":[{"iso":"eng"}],"date_published":"2022-05-01T00:00:00Z","doi":"10.1007/s12652-021-03569-z","ddc":["000"],"intvolume":"        13","volume":13,"type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","file_date_updated":"2022-12-20T23:30:08Z"},{"quality_controlled":"1","article_processing_charge":"Yes (via OA deal)","oa_version":"Published Version","related_material":{"record":[{"relation":"research_data","id":"13061","status":"public"}]},"article_type":"original","publication_status":"published","abstract":[{"lang":"eng","text":"Infections early in life can have enduring effects on an organism's development and immunity. In this study, we show that this equally applies to developing ‘superorganisms’––incipient social insect colonies. When we exposed newly mated Lasius niger ant queens to a low pathogen dose, their colonies grew more slowly than controls before winter, but reached similar sizes afterwards. Independent of exposure, queen hibernation survival improved when the ratio of pupae to workers was small. Queens that reared fewer pupae before worker emergence exhibited lower pathogen levels, indicating that high brood rearing efforts interfere with the ability of the queen's immune system to suppress pathogen proliferation. Early-life queen pathogen exposure also improved the immunocompetence of her worker offspring, as demonstrated by challenging the workers to the same pathogen a year later. Transgenerational transfer of the queen's pathogen experience to her workforce can hence durably reduce the disease susceptibility of the whole superorganism."}],"file":[{"date_updated":"2022-02-03T13:37:11Z","file_name":"2021_EcologyLetters_CasillasPerez.pdf","file_id":"10721","date_created":"2022-02-03T13:37:11Z","relation":"main_file","success":1,"access_level":"open_access","creator":"cchlebak","checksum":"0bd4210400e9876609b7c538ab4f9a3c","file_size":700087,"content_type":"application/pdf"}],"date_created":"2021-11-14T23:01:25Z","pmid":1,"ec_funded":1,"_id":"10284","year":"2022","acknowledged_ssus":[{"_id":"ScienComp"}],"has_accepted_license":"1","issue":"1","title":"Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies","external_id":{"pmid":["34725912"],"isi":["000713396100001"]},"project":[{"name":"Epidemics in ant societies on a chip","call_identifier":"H2020","grant_number":"771402","_id":"2649B4DE-B435-11E9-9278-68D0E5697425"}],"day":"01","oa":1,"publication_identifier":{"eissn":["1461-0248"],"issn":["1461-023X"]},"publication":"Ecology Letters","author":[{"id":"351ED2AA-F248-11E8-B48F-1D18A9856A87","full_name":"Casillas Perez, Barbara E","last_name":"Casillas Perez","first_name":"Barbara E"},{"orcid":"0000-0003-1122-3982","full_name":"Pull, Christopher","id":"3C7F4840-F248-11E8-B48F-1D18A9856A87","last_name":"Pull","first_name":"Christopher"},{"first_name":"Filip","last_name":"Naiser","full_name":"Naiser, Filip"},{"full_name":"Naderlinger, Elisabeth","id":"31757262-F248-11E8-B48F-1D18A9856A87","last_name":"Naderlinger","first_name":"Elisabeth"},{"full_name":"Matas, Jiri","first_name":"Jiri","last_name":"Matas"},{"full_name":"Cremer, Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868","first_name":"Sylvia","last_name":"Cremer"}],"date_updated":"2023-08-14T11:45:29Z","citation":{"ista":"Casillas Perez BE, Pull C, Naiser F, Naderlinger E, Matas J, Cremer S. 2022. Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies. Ecology Letters. 25(1), 89–100.","chicago":"Casillas Perez, Barbara E, Christopher Pull, Filip Naiser, Elisabeth Naderlinger, Jiri Matas, and Sylvia Cremer. “Early Queen Infection Shapes Developmental Dynamics and Induces Long-Term Disease Protection in Incipient Ant Colonies.” <i>Ecology Letters</i>. Wiley, 2022. <a href=\"https://doi.org/10.1111/ele.13907\">https://doi.org/10.1111/ele.13907</a>.","ieee":"B. E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, and S. Cremer, “Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies,” <i>Ecology Letters</i>, vol. 25, no. 1. Wiley, pp. 89–100, 2022.","ama":"Casillas Perez BE, Pull C, Naiser F, Naderlinger E, Matas J, Cremer S. Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies. <i>Ecology Letters</i>. 2022;25(1):89-100. doi:<a href=\"https://doi.org/10.1111/ele.13907\">10.1111/ele.13907</a>","apa":"Casillas Perez, B. E., Pull, C., Naiser, F., Naderlinger, E., Matas, J., &#38; Cremer, S. (2022). Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies. <i>Ecology Letters</i>. Wiley. <a href=\"https://doi.org/10.1111/ele.13907\">https://doi.org/10.1111/ele.13907</a>","mla":"Casillas Perez, Barbara E., et al. “Early Queen Infection Shapes Developmental Dynamics and Induces Long-Term Disease Protection in Incipient Ant Colonies.” <i>Ecology Letters</i>, vol. 25, no. 1, Wiley, 2022, pp. 89–100, doi:<a href=\"https://doi.org/10.1111/ele.13907\">10.1111/ele.13907</a>.","short":"B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, Ecology Letters 25 (2022) 89–100."},"isi":1,"month":"01","publisher":"Wiley","department":[{"_id":"SyCr"}],"acknowledgement":"The authors are grateful to G. Tkačik and V. Mireles for advice on data analyses and to A. Schloegl for help using the IST Austria HPC cluster for data processing. The authors thank J. Eilenberg for providing the fungal strain and A.V. Grasse for support with the molecular analysis. The authors also thank the Social Immunity group at IST Austria, in particular B. Milutinović, for discussions throughout and comments on the manuscript.","scopus_import":"1","page":"89-100","ddc":["573"],"intvolume":"        25","date_published":"2022-01-01T00:00:00Z","doi":"10.1111/ele.13907","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","language":[{"iso":"eng"}],"file_date_updated":"2022-02-03T13:37:11Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","volume":25}]