[{"article_processing_charge":"No","department":[{"_id":"KrCh"}],"title":"Artefact for: Correct Approximation of Stationary Distributions","ddc":["000"],"tmp":{"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","image":"/images/cc_by.png"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2024-02-27T07:19:32Z","publisher":"Zenodo","year":"2023","date_created":"2024-02-14T14:27:06Z","status":"public","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.7548214"}],"oa_version":"Published Version","author":[{"last_name":"Meggendorfer","full_name":"Meggendorfer, Tobias","orcid":"0000-0002-1712-2165","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","first_name":"Tobias"}],"_id":"14990","has_accepted_license":"1","date_published":"2023-01-18T00:00:00Z","doi":"10.5281/ZENODO.7548214","related_material":{"record":[{"id":"13139","relation":"used_in_publication","status":"public"}]},"month":"01","oa":1,"day":"18","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>.","ieee":"T. Meggendorfer, “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023.","short":"T. Meggendorfer, (2023).","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>","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>.","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>"},"license":"https://creativecommons.org/licenses/by/4.0/","abstract":[{"text":"The software artefact to evaluate the approximation of stationary distributions implementation.","lang":"eng"}],"type":"research_data_reference"},{"date_updated":"2024-02-27T07:26:31Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Zenodo","ddc":["550"],"tmp":{"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","image":"/images/cc_by.png"},"article_processing_charge":"No","ec_funded":1,"department":[{"_id":"CaMu"}],"title":"Data-assessing memory in convection schemes using idealized tests","project":[{"grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program"}],"status":"public","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.7757041"}],"author":[{"full_name":"Hwong, Yi-Ling","orcid":"0000-0001-9281-3479","last_name":"Hwong","first_name":"Yi-Ling","id":"1217aa61-4dd1-11ec-9ac3-f2ba3f17ee22"},{"last_name":"Colin","full_name":"Colin, Maxime","first_name":"Maxime"},{"full_name":"Aglas, Philipp","last_name":"Aglas","first_name":"Philipp","id":"02eace56-97fc-11ee-b81a-f0939ca85a77"},{"last_name":"Muller","orcid":"0000-0001-5836-5350","full_name":"Muller, Caroline J","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","first_name":"Caroline J"},{"first_name":"Steven C.","last_name":"Sherwood","full_name":"Sherwood, Steven C."}],"oa_version":"Published Version","year":"2023","date_created":"2024-02-14T14:37:57Z","oa":1,"month":"06","has_accepted_license":"1","_id":"14991","date_published":"2023-06-23T00:00:00Z","related_material":{"record":[{"relation":"used_in_publication","id":"14654","status":"public"}]},"doi":"10.5281/ZENODO.7757041","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)."}],"type":"research_data_reference","citation":{"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>","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>","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>.","short":"Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).","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.","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>."},"day":"23"},{"alternative_title":["Mathematics and Molecular Modeling"],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["3005-0286"],"isbn":["9783031223396"],"eisbn":["9783031223402"]},"type":"book_chapter","_id":"14992","date_published":"2023-07-19T00:00:00Z","doi":"10.1007/978-3-031-22340-2_3","external_id":{"arxiv":["1912.10424"]},"arxiv":1,"month":"07","publication_status":"published","quality_controlled":"1","publication":"Density Functional Theory","oa":1,"editor":[{"full_name":"Cances, Eric","last_name":"Cances","first_name":"Eric"},{"last_name":"Friesecke","full_name":"Friesecke, Gero","first_name":"Gero"}],"series_title":"MAMOMO","author":[{"last_name":"Lewin","full_name":"Lewin, Mathieu","first_name":"Mathieu"},{"full_name":"Lieb, Elliott H.","last_name":"Lieb","first_name":"Elliott H."},{"first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Seiringer, Robert","orcid":"0000-0002-6781-0521","last_name":"Seiringer"}],"oa_version":"Preprint","department":[{"_id":"RoSe"}],"edition":"1","day":"19","citation":{"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>","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>","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>.","ista":"Lewin M, Lieb EH, Seiringer R. 2023.Universal Functionals in Density Functional Theory. In: Density Functional Theory. Mathematics and Molecular Modeling, , 115–182.","short":"M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.","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>."},"abstract":[{"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.","lang":"eng"}],"year":"2023","date_created":"2024-02-14T14:44:33Z","page":"115-182","status":"public","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.1912.10424","open_access":"1"}],"article_processing_charge":"No","title":"Universal Functionals in Density Functional Theory","publisher":"Springer","date_updated":"2024-02-20T08:33:06Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"publisher":"OpenReview","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2024-02-28T12:12:00Z","department":[{"_id":"TiVo"}],"title":"A framework for grassroots research collaboration in machine learning and global health","article_processing_charge":"No","oa_version":"Published Version","author":[{"id":"e8321fc5-3091-11eb-8a53-83f309a11ac9","first_name":"Christopher","last_name":"Currin","full_name":"Currin, Christopher","orcid":"0000-0002-4809-5059"},{"first_name":"Mercy Nyamewaa","last_name":"Asiedu ","full_name":"Asiedu , Mercy Nyamewaa"},{"full_name":"Fourie, Chris","last_name":"Fourie","first_name":"Chris"},{"full_name":"Rosman, Benjamin","last_name":"Rosman","first_name":"Benjamin"},{"last_name":"Turki","full_name":"Turki, Houcemeddine","first_name":"Houcemeddine"},{"first_name":"Atnafu","full_name":"Lambebo Tonja, Atnafu","last_name":"Lambebo Tonja"},{"first_name":"Jade","full_name":"Abbott, Jade","last_name":"Abbott"},{"last_name":"Ajala","full_name":"Ajala, Marvellous","first_name":"Marvellous"},{"full_name":"Adedayo, Sadiq Adewale","last_name":"Adedayo","first_name":"Sadiq Adewale"},{"first_name":"Chris Chinenye","last_name":"Emezue","full_name":"Emezue, Chris Chinenye"},{"full_name":"Machangara, Daphne","last_name":"Machangara","first_name":"Daphne"}],"main_file_link":[{"url":"https://openreview.net/forum?id=jHY_G91R880","open_access":"1"}],"status":"public","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.","date_created":"2024-02-14T15:11:48Z","year":"2023","quality_controlled":"1","publication_status":"published","oa":1,"publication":"1st Workshop on Machine Learning & Global Health","date_published":"2023-03-02T00:00:00Z","_id":"14993","month":"03","conference":{"location":"Kigali, Rwanda","end_date":"2023-05-05","name":"ICLR: International Conference on Learning Representations","start_date":"2023-05-05"},"language":[{"iso":"eng"}],"type":"conference","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."}],"day":"02","citation":{"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.","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.","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.","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.","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.","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."}},{"tmp":{"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","image":"/images/cc_by.png"},"ddc":["000"],"date_updated":"2024-02-27T07:39:51Z","publisher":"Zenodo","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ToHe"}],"title":"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties","article_processing_charge":"No","oa_version":"Published Version","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.7877790"}],"author":[{"first_name":"Rupak","last_name":"Majumdar","full_name":"Majumdar, Rupak"},{"last_name":"Mallik","full_name":"Mallik, Kaushik","orcid":"0000-0001-9864-7475","id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","first_name":"Kaushik"},{"full_name":"Rychlicki, Mateusz","last_name":"Rychlicki","first_name":"Mateusz"},{"first_name":"Anne-Kathrin","full_name":"Schmuck, Anne-Kathrin","last_name":"Schmuck"},{"full_name":"Soudjani, Sadegh","last_name":"Soudjani","first_name":"Sadegh"}],"status":"public","date_created":"2024-02-14T15:13:00Z","year":"2023","oa":1,"date_published":"2023-04-28T00:00:00Z","doi":"10.5281/ZENODO.7877790","related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"14758"}]},"_id":"14994","has_accepted_license":"1","month":"04","type":"research_data_reference","abstract":[{"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.","lang":"eng"}],"day":"28","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>.","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.","short":"R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).","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>","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>.","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>.","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>"}},{"type":"research_data_reference","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."}],"citation":{"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.","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>.","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>","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>","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>.","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>.","short":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023)."},"day":"28","oa":1,"month":"04","related_material":{"record":[{"relation":"used_in_publication","id":"14260","status":"public"}]},"date_published":"2023-04-28T00:00:00Z","doi":"10.5281/ZENODO.7877757","_id":"14995","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.7877757","open_access":"1"}],"author":[{"id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","first_name":"Nikita","last_name":"Koval","full_name":"Koval, Nikita"},{"full_name":"Fedorov, Alexander","last_name":"Fedorov","first_name":"Alexander","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6"},{"first_name":"Maria","full_name":"Sokolova, Maria","last_name":"Sokolova"},{"last_name":"Tsitelov","full_name":"Tsitelov, Dmitry","first_name":"Dmitry"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian"}],"oa_version":"Published Version","status":"public","date_created":"2024-02-14T15:14:13Z","year":"2023","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2024-02-27T07:46:52Z","publisher":"Zenodo","ddc":["000"],"title":"Lincheck: A practical framework for testing concurrent data structures on JVM","department":[{"_id":"DaAl"}],"article_processing_charge":"No"},{"citation":{"short":"D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 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.","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.","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.","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.","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."},"day":"15","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"}],"type":"conference","language":[{"iso":"eng"}],"conference":{"name":"NeurIPS: Neural Information Processing Systems","start_date":"2023-12-10","location":"New Orleans, LO, United States","end_date":"2023-12-16"},"external_id":{"arxiv":["2312.01456"]},"arxiv":1,"month":"12","_id":"15023","date_published":"2023-12-15T00:00:00Z","oa":1,"publication":"37th Conference on Neural Information Processing Systems","publication_status":"epub_ahead","quality_controlled":"1","year":"2023","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).","project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"},{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020"}],"status":"public","oa_version":"Preprint","author":[{"first_name":"Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","last_name":"Zikelic"},{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","first_name":"Mathias","last_name":"Lechner","full_name":"Lechner, Mathias"},{"full_name":"Verma, Abhinav","last_name":"Verma","first_name":"Abhinav","id":"a235593c-d7fa-11eb-a0c5-b22ca3c66ee6"},{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger"}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2312.01456","open_access":"1"}],"article_processing_charge":"No","ec_funded":1,"title":"Compositional policy learning in stochastic control systems with formal guarantees","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"date_updated":"2025-07-14T09:10:04Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"date_created":"2024-02-26T08:37:57Z","year":"2023","oa_version":"Published Version","author":[{"id":"031eff0d-d481-11ee-8508-cd12a7a86e5b","first_name":"Samo","last_name":"Curk","full_name":"Curk, Samo","orcid":"0000-0001-6160-9766"}],"main_file_link":[{"open_access":"1","url":"https://figshare.com/s/85798bba4ebc68d822ed"}],"status":"public","title":"aggregation_data","department":[{"_id":"AnSa"}],"article_processing_charge":"No","date_updated":"2024-02-26T08:45:55Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Figshare","tmp":{"image":"/images/cc_0.png","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)","short":"CC0 (1.0)"},"ddc":["570"],"citation":{"ieee":"S. Curk, “aggregation_data.” Figshare, 2023.","mla":"Curk, Samo. <i>Aggregation_data</i>. Figshare, 2023.","chicago":"Curk, Samo. “Aggregation_data.” Figshare, 2023.","ama":"Curk S. aggregation_data. 2023.","apa":"Curk, S. (2023). aggregation_data. Figshare.","ista":"Curk S. 2023. aggregation_data, Figshare.","short":"S. Curk, (2023)."},"day":"13","type":"research_data_reference","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"}],"license":"https://creativecommons.org/publicdomain/zero/1.0/","month":"12","date_published":"2023-12-13T00:00:00Z","related_material":{"record":[{"relation":"used_in_publication","id":"15001","status":"public"}]},"_id":"15027","has_accepted_license":"1","oa":1},{"type":"research_data_reference","abstract":[{"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.","lang":"eng"}],"day":"28","citation":{"ieee":"M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.","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>.","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>","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>.","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>.","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>","short":"M. Chalupa, T.A. Henzinger, (2023)."},"oa":1,"date_published":"2023-07-28T00:00:00Z","related_material":{"record":[{"id":"14076","relation":"used_in_publication","status":"public"}]},"doi":"10.5281/ZENODO.8191723","_id":"15035","has_accepted_license":"1","month":"07","oa_version":"Published Version","author":[{"first_name":"Marek","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","full_name":"Chalupa, Marek","last_name":"Chalupa"},{"orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"main_file_link":[{"url":"https://doi.org/10.5281/zenodo.8191722","open_access":"1"}],"status":"public","project":[{"call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"date_created":"2024-02-28T07:34:34Z","year":"2023","tmp":{"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","image":"/images/cc_by.png"},"ddc":["000"],"publisher":"Zenodo","date_updated":"2024-02-28T12:33:09Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Monitoring hyperproperties with prefix transducers","department":[{"_id":"ToHe"}],"article_processing_charge":"No","ec_funded":1},{"publication_status":"submitted","oa":1,"publication":"arXiv","_id":"15039","doi":"10.48550/ARXIV.2311.06103","date_published":"2023-11-10T00:00:00Z","arxiv":1,"external_id":{"arxiv":["2311.06103"]},"month":"11","language":[{"iso":"eng"}],"abstract":[{"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.","lang":"eng"}],"type":"preprint","day":"10","citation":{"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>","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>.","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>","ista":"Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv, 2311.06103.","short":"B. Prach, C. Lampert, ArXiv (n.d.).","ieee":"B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” <i>arXiv</i>. .","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>."},"date_updated":"2024-03-04T07:02:39Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"2311.06103","article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"ChLa"}],"title":"1-Lipschitz neural networks are more expressive with N-activations","status":"public","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2311.06103"}],"oa_version":"Preprint","author":[{"last_name":"Prach","full_name":"Prach, Bernd","id":"2D561D42-C427-11E9-89B4-9C1AE6697425","first_name":"Bernd"},{"id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","last_name":"Lampert","orcid":"0000-0001-8622-7887","full_name":"Lampert, Christoph"}],"year":"2023","date_created":"2024-02-28T17:59:32Z"},{"ddc":["520"],"date_updated":"2023-12-13T12:00:15Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"American Astronomical Society","article_number":"131","title":"Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations","article_processing_charge":"Yes","article_type":"original","status":"public","volume":952,"acknowledgement":"This paper includes data collected by the Kepler mission and obtained from the MAST data archive at the Space Telescope Science Institute (STScI). Funding for the Kepler mission is provided by the NASA Science Mission Directorate. STScI is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5–26555. We acknowledge that this research was supported in part by the National Science Foundation under grant No. NSF PHY-1748958. S.M. acknowledges support from the Spanish Ministry of Science and Innovation (MICINN) with the Ramón y Cajal fellowship No. RYC-2015-17697, the grant No. PID2019-107061GB-C66, and through AEI under the Severo Ochoa Centres of Excellence Programme 2020–2023 (CEX2019-000920-S). S.M. and D.G.R. acknowledge support from the Spanish Ministry of Science and Innovation (MICINN) with the grant No. PID2019-107187GB-I00. Z.R.C. acknowledges support from National Aeronautics and Space Administration via the TESS Guest Investigator Program (grant No. 80NSSC18K18584). The work presented here was partially supported by the NASA grant NNX17AF27G. A.R.G.S. acknowledges the support by FCT through national funds and by FEDER through COMPETE2020 by the following grants: UIDB/04434/2020 and UIDP/04434/2020. A.R.G.S. is supported by FCT through the work contract No. 2020.02480.CEECIND/CP1631/CT0001. R.A.G., L.A., and S.N.B. acknowledge the support from PLATO and GOLF CNES grants. S.N.B. acknowledges support from PLATO ASI-INAF agreement No. 2015-019-R.1-2018.","date_created":"2023-08-01T14:19:16Z","year":"2023","has_accepted_license":"1","abstract":[{"text":"The ages of solar-like stars have been at the center of many studies such as exoplanet characterization or Galactic-archeology. While ages are usually computed from stellar evolution models, relations linking ages to other stellar properties, such as rotation and magnetic activity, have been investigated. With the large catalog of 55,232 rotation periods, Prot, and photometric magnetic activity index, Sph from Kepler data, we have the opportunity to look for such magneto-gyro-chronology relations. Stellar ages are obtained with two stellar evolution codes that include treatment of angular momentum evolution, hence using Prot as input in addition to classical atmospheric parameters. We explore two different ways of predicting stellar ages on three subsamples with spectroscopic observations: solar analogs, late-F and G dwarfs, and K dwarfs. We first perform a Bayesian analysis to derive relations between Sph and ages between 1 and 5 Gyr, and other stellar properties. For late-F and G dwarfs, and K dwarfs, the multivariate regression favors the model with Prot and Sph with median differences of 0.1% and 0.2%, respectively. We also apply Machine Learning techniques with a Random Forest algorithm to predict ages up to 14 Gyr with the same set of input parameters. For late-F, G and K dwarfs together, predicted ages are on average within 5.3% of the model ages and improve to 3.1% when including Prot. These are very promising results for a quick age estimation for solar-like stars with photometric observations, especially with current and future space missions.","lang":"eng"}],"isi":1,"day":"01","citation":{"short":"S. Mathur, Z.R. Claytor, Â.R.G. Santos, R.A. García, L. Amard, L.A. Bugnet, E. Corsaro, A. Bonanno, S.N. Breton, D. Godoy-Rivera, M.H. Pinsonneault, J. van Saders, The Astrophysical Journal 952 (2023).","chicago":"Mathur, Savita, Zachary R. Claytor, Ângela R. G. Santos, Rafael A. García, Louis Amard, Lisa Annabelle Bugnet, Enrico Corsaro, et al. “Magnetic Activity Evolution of Solar-like Stars. I. Sph–Age Relation Derived from Kepler Observations.” <i>The Astrophysical Journal</i>. American Astronomical Society, 2023. <a href=\"https://doi.org/10.3847/1538-4357/acd118\">https://doi.org/10.3847/1538-4357/acd118</a>.","apa":"Mathur, S., Claytor, Z. R., Santos, Â. R. G., García, R. A., Amard, L., Bugnet, L. A., … van Saders, J. (2023). Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations. <i>The Astrophysical Journal</i>. American Astronomical Society. <a href=\"https://doi.org/10.3847/1538-4357/acd118\">https://doi.org/10.3847/1538-4357/acd118</a>","ista":"Mathur S, Claytor ZR, Santos ÂRG, García RA, Amard L, Bugnet LA, Corsaro E, Bonanno A, Breton SN, Godoy-Rivera D, Pinsonneault MH, van Saders J. 2023. Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations. The Astrophysical Journal. 952(2), 131.","ama":"Mathur S, Claytor ZR, Santos ÂRG, et al. Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations. <i>The Astrophysical Journal</i>. 2023;952(2). doi:<a href=\"https://doi.org/10.3847/1538-4357/acd118\">10.3847/1538-4357/acd118</a>","mla":"Mathur, Savita, et al. “Magnetic Activity Evolution of Solar-like Stars. I. Sph–Age Relation Derived from Kepler Observations.” <i>The Astrophysical Journal</i>, vol. 952, no. 2, 131, American Astronomical Society, 2023, doi:<a href=\"https://doi.org/10.3847/1538-4357/acd118\">10.3847/1538-4357/acd118</a>.","ieee":"S. Mathur <i>et al.</i>, “Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations,” <i>The Astrophysical Journal</i>, vol. 952, no. 2. American Astronomical Society, 2023."},"tmp":{"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","image":"/images/cc_by.png"},"file":[{"date_updated":"2023-08-02T07:42:26Z","file_name":"2023_AstrophysicalJour_Mathur.pdf","success":1,"content_type":"application/pdf","access_level":"open_access","checksum":"f12452834d7ed6748dbf5ace18af4723","creator":"dernst","file_size":4192386,"file_id":"13448","relation":"main_file","date_created":"2023-08-02T07:42:26Z"}],"department":[{"_id":"LiBu"}],"author":[{"last_name":"Mathur","full_name":"Mathur, Savita","first_name":"Savita"},{"first_name":"Zachary R.","last_name":"Claytor","full_name":"Claytor, Zachary R."},{"first_name":"Ângela R. G.","full_name":"Santos, Ângela R. G.","last_name":"Santos"},{"first_name":"Rafael A.","last_name":"García","full_name":"García, Rafael A."},{"full_name":"Amard, Louis","last_name":"Amard","first_name":"Louis"},{"id":"d9edb345-f866-11ec-9b37-d119b5234501","first_name":"Lisa Annabelle","last_name":"Bugnet","full_name":"Bugnet, Lisa Annabelle","orcid":"0000-0003-0142-4000"},{"first_name":"Enrico","last_name":"Corsaro","full_name":"Corsaro, Enrico"},{"first_name":"Alfio","last_name":"Bonanno","full_name":"Bonanno, Alfio"},{"full_name":"Breton, Sylvain N.","last_name":"Breton","first_name":"Sylvain N."},{"first_name":"Diego","last_name":"Godoy-Rivera","full_name":"Godoy-Rivera, Diego"},{"first_name":"Marc H.","last_name":"Pinsonneault","full_name":"Pinsonneault, Marc H."},{"first_name":"Jennifer","last_name":"van Saders","full_name":"van Saders, Jennifer"}],"oa_version":"Published Version","quality_controlled":"1","publication_status":"published","intvolume":"       952","oa":1,"publication":"The Astrophysical Journal","doi":"10.3847/1538-4357/acd118","date_published":"2023-08-01T00:00:00Z","_id":"13443","month":"08","external_id":{"isi":["001034185700001"]},"keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"language":[{"iso":"eng"}],"file_date_updated":"2023-08-02T07:42:26Z","publication_identifier":{"issn":["0004-637X"],"eissn":["1538-4357"]},"type":"journal_article","issue":"2"},{"article_processing_charge":"No","department":[{"_id":"LiBu"}],"title":"Asteroseismology with the Roman galactic bulge time-domain survey","article_number":"2307.03237","date_updated":"2023-08-02T07:36:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2023","date_created":"2023-08-02T07:30:43Z","status":"public","oa_version":"Preprint","author":[{"first_name":"Daniel","full_name":"Huber, Daniel","last_name":"Huber"},{"first_name":"Marc","full_name":"Pinsonneault, Marc","last_name":"Pinsonneault"},{"full_name":"Beck, Paul","last_name":"Beck","first_name":"Paul"},{"first_name":"Timothy R.","last_name":"Bedding","full_name":"Bedding, Timothy R."},{"last_name":"Joss Bland-Hawthorn","full_name":"Joss Bland-Hawthorn, Joss Bland-Hawthorn","first_name":"Joss Bland-Hawthorn"},{"last_name":"Breton","full_name":"Breton, Sylvain N.","first_name":"Sylvain N."},{"last_name":"Bugnet","full_name":"Bugnet, Lisa Annabelle","orcid":"0000-0003-0142-4000","id":"d9edb345-f866-11ec-9b37-d119b5234501","first_name":"Lisa Annabelle"},{"first_name":"William J.","last_name":"Chaplin","full_name":"Chaplin, William J."},{"full_name":"Garcia, Rafael A.","last_name":"Garcia","first_name":"Rafael A."},{"first_name":"Samuel K.","full_name":"Grunblatt, Samuel K.","last_name":"Grunblatt"},{"first_name":"Joyce A.","last_name":"Guzik","full_name":"Guzik, Joyce A."},{"full_name":"Hekker, Saskia","last_name":"Hekker","first_name":"Saskia"},{"full_name":"Kawaler, Steven D.","last_name":"Kawaler","first_name":"Steven D."},{"first_name":"Stephane","last_name":"Mathis","full_name":"Mathis, Stephane"},{"last_name":"Mathur","full_name":"Mathur, Savita","first_name":"Savita"},{"last_name":"Metcalfe","full_name":"Metcalfe, Travis","first_name":"Travis"},{"first_name":"Benoit","last_name":"Mosser","full_name":"Mosser, Benoit"},{"first_name":"Melissa K.","full_name":"Ness, Melissa K.","last_name":"Ness"},{"first_name":"Anthony L.","last_name":"Piro","full_name":"Piro, Anthony L."},{"first_name":"Aldo","full_name":"Serenelli, Aldo","last_name":"Serenelli"},{"last_name":"Sharma","full_name":"Sharma, Sanjib","first_name":"Sanjib"},{"first_name":"David R.","full_name":"Soderblom, David R.","last_name":"Soderblom"},{"first_name":"Keivan G.","full_name":"Stassun, Keivan G.","last_name":"Stassun"},{"first_name":"Dennis","last_name":"Stello","full_name":"Stello, Dennis"},{"first_name":"Jamie","full_name":"Tayar, Jamie","last_name":"Tayar"},{"first_name":"Gerard T. van","full_name":"Belle, Gerard T. van","last_name":"Belle"},{"first_name":"Joel C.","last_name":"Zinn","full_name":"Zinn, Joel C."}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2307.03237","open_access":"1"}],"external_id":{"arxiv":["2307.03237"]},"arxiv":1,"month":"07","_id":"13447","date_published":"2023-07-06T00:00:00Z","doi":"10.48550/arXiv.2307.03237","publication":"arXiv","oa":1,"publication_status":"submitted","citation":{"ieee":"D. Huber <i>et al.</i>, “Asteroseismology with the Roman galactic bulge time-domain survey,” <i>arXiv</i>. .","mla":"Huber, Daniel, et al. “Asteroseismology with the Roman Galactic Bulge Time-Domain Survey.” <i>ArXiv</i>, 2307.03237, doi:<a href=\"https://doi.org/10.48550/arXiv.2307.03237\">10.48550/arXiv.2307.03237</a>.","apa":"Huber, D., Pinsonneault, M., Beck, P., Bedding, T. R., Joss Bland-Hawthorn, J. B.-H., Breton, S. N., … Zinn, J. C. (n.d.). Asteroseismology with the Roman galactic bulge time-domain survey. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2307.03237\">https://doi.org/10.48550/arXiv.2307.03237</a>","chicago":"Huber, Daniel, Marc Pinsonneault, Paul Beck, Timothy R. Bedding, Joss Bland-Hawthorn Joss Bland-Hawthorn, Sylvain N. Breton, Lisa Annabelle Bugnet, et al. “Asteroseismology with the Roman Galactic Bulge Time-Domain Survey.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2307.03237\">https://doi.org/10.48550/arXiv.2307.03237</a>.","ista":"Huber D, Pinsonneault M, Beck P, Bedding TR, Joss Bland-Hawthorn JB-H, Breton SN, Bugnet LA, Chaplin WJ, Garcia RA, Grunblatt SK, Guzik JA, Hekker S, Kawaler SD, Mathis S, Mathur S, Metcalfe T, Mosser B, Ness MK, Piro AL, Serenelli A, Sharma S, Soderblom DR, Stassun KG, Stello D, Tayar J, Belle GT van, Zinn JC. Asteroseismology with the Roman galactic bulge time-domain survey. arXiv, 2307.03237.","ama":"Huber D, Pinsonneault M, Beck P, et al. Asteroseismology with the Roman galactic bulge time-domain survey. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2307.03237\">10.48550/arXiv.2307.03237</a>","short":"D. Huber, M. Pinsonneault, P. Beck, T.R. Bedding, J.B.-H. Joss Bland-Hawthorn, S.N. Breton, L.A. Bugnet, W.J. Chaplin, R.A. Garcia, S.K. Grunblatt, J.A. Guzik, S. Hekker, S.D. Kawaler, S. Mathis, S. Mathur, T. Metcalfe, B. Mosser, M.K. Ness, A.L. Piro, A. Serenelli, S. Sharma, D.R. Soderblom, K.G. Stassun, D. Stello, J. Tayar, G.T. van Belle, J.C. Zinn, ArXiv (n.d.)."},"day":"06","abstract":[{"lang":"eng","text":"Asteroseismology has transformed stellar astrophysics. Red giant asteroseismology is a prime example, with oscillation periods and amplitudes that are readily detectable with time-domain space-based telescopes. These oscillations can be used to infer masses, ages and radii for large numbers of stars, providing unique constraints on stellar populations in our galaxy. The cadence, duration, and spatial resolution of the Roman galactic bulge time-domain survey (GBTDS) are well-suited for asteroseismology and will probe an important population not studied by prior missions. We identify photometric precision as a key requirement for realizing the potential of asteroseismology with Roman. A precision of 1 mmag per 15-min cadence or better for saturated stars will enable detections of the populous red clump star population in the Galactic bulge. If the survey efficiency is better than expected, we argue for repeat observations of the same fields to improve photometric precision, or covering additional fields to expand the stellar population reach if the photometric precision for saturated stars is better than 1 mmag. Asteroseismology is relatively insensitive to the timing of the observations during the mission, and the prime red clump targets can be observed in a single 70 day campaign in any given field. Complementary stellar characterization, particularly astrometry tied to the Gaia system, will also dramatically expand the diagnostic power of asteroseismology. We also highlight synergies to Roman GBTDS exoplanet science using transits and microlensing."}],"type":"preprint","language":[{"iso":"eng"}]},{"oa_version":"Published Version","author":[{"first_name":"Sam","last_name":"Geen","full_name":"Geen, Sam"},{"last_name":"Agrawal","full_name":"Agrawal, Poojan","first_name":"Poojan"},{"full_name":"Crowther, Paul A.","last_name":"Crowther","first_name":"Paul A."},{"full_name":"Keller, B. W.","last_name":"Keller","first_name":"B. W."},{"full_name":"de Koter, Alex","last_name":"de Koter","first_name":"Alex"},{"last_name":"Keszthelyi","full_name":"Keszthelyi, Zsolt","first_name":"Zsolt"},{"last_name":"van de Voort","full_name":"van de Voort, Freeke","first_name":"Freeke"},{"full_name":"Ali, Ahmad A.","last_name":"Ali","first_name":"Ahmad A."},{"first_name":"Frank","full_name":"Backs, Frank","last_name":"Backs"},{"first_name":"Lars","last_name":"Bonne","full_name":"Bonne, Lars"},{"first_name":"Vittoria","last_name":"Brugaletta","full_name":"Brugaletta, Vittoria"},{"last_name":"Derkink","full_name":"Derkink, Annelotte","first_name":"Annelotte"},{"first_name":"Sylvia","full_name":"Ekström, Sylvia","last_name":"Ekström"},{"first_name":"Yvonne A.","last_name":"Fichtner","full_name":"Fichtner, Yvonne A."},{"first_name":"Luca","full_name":"Grassitelli, Luca","last_name":"Grassitelli"},{"id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d","first_name":"Ylva Louise Linsdotter","last_name":"Götberg","orcid":"0000-0002-6960-6911","full_name":"Götberg, Ylva Louise Linsdotter"},{"first_name":"Erin R.","last_name":"Higgins","full_name":"Higgins, Erin R."},{"first_name":"Eva","last_name":"Laplace","full_name":"Laplace, Eva"},{"first_name":"Kong","full_name":"You Liow, Kong","last_name":"You Liow"},{"first_name":"Marta","last_name":"Lorenzo","full_name":"Lorenzo, Marta"},{"first_name":"Anna F.","last_name":"McLeod","full_name":"McLeod, Anna F."},{"last_name":"Meynet","full_name":"Meynet, Georges","first_name":"Georges"},{"full_name":"Newsome, Megan","last_name":"Newsome","first_name":"Megan"},{"full_name":"André Oliva, G.","last_name":"André Oliva","first_name":"G."},{"last_name":"Ramachandran","full_name":"Ramachandran, Varsha","first_name":"Varsha"},{"full_name":"Rey, Martin P.","last_name":"Rey","first_name":"Martin P."},{"first_name":"Steven","full_name":"Rieder, Steven","last_name":"Rieder"},{"last_name":"Romano-Díaz","full_name":"Romano-Díaz, Emilio","first_name":"Emilio"},{"full_name":"Sabhahit, Gautham","last_name":"Sabhahit","first_name":"Gautham"},{"first_name":"Andreas A. C.","last_name":"Sander","full_name":"Sander, Andreas A. C."},{"full_name":"Sarwar, Rafia","last_name":"Sarwar","first_name":"Rafia"},{"full_name":"Stinshoff, Hanno","last_name":"Stinshoff","first_name":"Hanno"},{"first_name":"Mitchel","full_name":"Stoop, Mitchel","last_name":"Stoop"},{"first_name":"Dorottya","full_name":"Szécsi, Dorottya","last_name":"Szécsi"},{"first_name":"Maxime","last_name":"Trebitsch","full_name":"Trebitsch, Maxime"},{"first_name":"Jorick S.","last_name":"Vink","full_name":"Vink, Jorick S."},{"first_name":"Ethan","full_name":"Winch, Ethan","last_name":"Winch"}],"quality_controlled":"1","publication_status":"published","publication":"Publications of the Astronomical Society of the Pacific","intvolume":"       135","oa":1,"extern":"1","doi":"10.1088/1538-3873/acb6b5","date_published":"2023-03-09T00:00:00Z","_id":"13449","month":"03","external_id":{"arxiv":["2301.13611"]},"arxiv":1,"keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0004-6280"],"eissn":["1538-3873"]},"type":"journal_article","issue":"1044","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"IOP Publishing","date_updated":"2023-08-21T12:09:14Z","article_number":"021001","title":"Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop","article_processing_charge":"No","article_type":"original","main_file_link":[{"url":"https://doi.org/10.1088/1538-3873/acb6b5","open_access":"1"}],"status":"public","volume":135,"date_created":"2023-08-03T10:09:57Z","year":"2023","scopus_import":"1","abstract":[{"text":"Stars strongly impact their environment, and shape structures on all scales throughout the universe, in a process known as \"feedback.\" Due to the complexity of both stellar evolution and the physics of larger astrophysical structures, there remain many unanswered questions about how feedback operates and what we can learn about stars by studying their imprint on the wider universe. In this white paper, we summarize discussions from the Lorentz Center meeting \"Bringing Stellar Evolution and Feedback Together\" in 2022 April and identify key areas where further dialog can bring about radical changes in how we view the relationship between stars and the universe they live in.","lang":"eng"}],"day":"09","citation":{"mla":"Geen, Sam, et al. “Bringing Stellar Evolution and Feedback Together: Summary of Proposals from the Lorentz Center Workshop.” <i>Publications of the Astronomical Society of the Pacific</i>, vol. 135, no. 1044, 021001, IOP Publishing, 2023, doi:<a href=\"https://doi.org/10.1088/1538-3873/acb6b5\">10.1088/1538-3873/acb6b5</a>.","ieee":"S. Geen <i>et al.</i>, “Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop,” <i>Publications of the Astronomical Society of the Pacific</i>, vol. 135, no. 1044. IOP Publishing, 2023.","short":"S. Geen, P. Agrawal, P.A. Crowther, B.W. Keller, A. de Koter, Z. Keszthelyi, F. van de Voort, A.A. Ali, F. Backs, L. Bonne, V. Brugaletta, A. Derkink, S. Ekström, Y.A. Fichtner, L. Grassitelli, Y.L.L. Götberg, E.R. Higgins, E. Laplace, K. You Liow, M. Lorenzo, A.F. McLeod, G. Meynet, M. Newsome, G. André Oliva, V. Ramachandran, M.P. Rey, S. Rieder, E. Romano-Díaz, G. Sabhahit, A.A.C. Sander, R. Sarwar, H. Stinshoff, M. Stoop, D. Szécsi, M. Trebitsch, J.S. Vink, E. Winch, Publications of the Astronomical Society of the Pacific 135 (2023).","apa":"Geen, S., Agrawal, P., Crowther, P. A., Keller, B. W., de Koter, A., Keszthelyi, Z., … Winch, E. (2023). Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop. <i>Publications of the Astronomical Society of the Pacific</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/1538-3873/acb6b5\">https://doi.org/10.1088/1538-3873/acb6b5</a>","chicago":"Geen, Sam, Poojan Agrawal, Paul A. Crowther, B. W. Keller, Alex de Koter, Zsolt Keszthelyi, Freeke van de Voort, et al. “Bringing Stellar Evolution and Feedback Together: Summary of Proposals from the Lorentz Center Workshop.” <i>Publications of the Astronomical Society of the Pacific</i>. IOP Publishing, 2023. <a href=\"https://doi.org/10.1088/1538-3873/acb6b5\">https://doi.org/10.1088/1538-3873/acb6b5</a>.","ista":"Geen S, Agrawal P, Crowther PA, Keller BW, de Koter A, Keszthelyi Z, van de Voort F, Ali AA, Backs F, Bonne L, Brugaletta V, Derkink A, Ekström S, Fichtner YA, Grassitelli L, Götberg YLL, Higgins ER, Laplace E, You Liow K, Lorenzo M, McLeod AF, Meynet G, Newsome M, André Oliva G, Ramachandran V, Rey MP, Rieder S, Romano-Díaz E, Sabhahit G, Sander AAC, Sarwar R, Stinshoff H, Stoop M, Szécsi D, Trebitsch M, Vink JS, Winch E. 2023. Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop. Publications of the Astronomical Society of the Pacific. 135(1044), 021001.","ama":"Geen S, Agrawal P, Crowther PA, et al. Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop. <i>Publications of the Astronomical Society of the Pacific</i>. 2023;135(1044). doi:<a href=\"https://doi.org/10.1088/1538-3873/acb6b5\">10.1088/1538-3873/acb6b5</a>"}},{"quality_controlled":"1","publication_status":"published","oa":1,"publication":"The Astrophysical Journal","intvolume":"       943","extern":"1","date_published":"2023-01-20T00:00:00Z","doi":"10.3847/1538-4357/aca655","_id":"13450","month":"01","external_id":{"arxiv":["2211.12438"]},"arxiv":1,"keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"publication_identifier":{"issn":["0004-637X"],"eissn":["1538-4357"]},"language":[{"iso":"eng"}],"type":"journal_article","issue":"1","oa_version":"Published Version","author":[{"full_name":"O‘Grady, Anna J. G.","last_name":"O‘Grady","first_name":"Anna J. G."},{"last_name":"Drout","full_name":"Drout, Maria R.","first_name":"Maria R."},{"last_name":"Gaensler","full_name":"Gaensler, B. M.","first_name":"B. M."},{"first_name":"C. S.","last_name":"Kochanek","full_name":"Kochanek, C. S."},{"first_name":"Kathryn F.","last_name":"Neugent","full_name":"Neugent, Kathryn F."},{"first_name":"Carolyn L.","last_name":"Doherty","full_name":"Doherty, Carolyn L."},{"first_name":"Joshua S.","last_name":"Speagle","full_name":"Speagle, Joshua S."},{"full_name":"Shappee, B. J.","last_name":"Shappee","first_name":"B. J."},{"first_name":"Michael","last_name":"Rauch","full_name":"Rauch, Michael"},{"id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d","first_name":"Ylva Louise Linsdotter","last_name":"Götberg","full_name":"Götberg, Ylva Louise Linsdotter","orcid":"0000-0002-6960-6911"},{"first_name":"Bethany","full_name":"Ludwig, Bethany","last_name":"Ludwig"},{"first_name":"Todd A.","full_name":"Thompson, Todd A.","last_name":"Thompson"}],"scopus_import":"1","abstract":[{"lang":"eng","text":"In previous work, we identified a population of 38 cool and luminous variable stars in the Magellanic Clouds and examined 11 in detail in order to classify them as either Thorne–Żytkow objects (TŻOs; red supergiants with a neutron star cores) or super-asymptotic giant branch (sAGB) stars (the most massive stars that will not undergo core collapse). This population includes HV 2112, a peculiar star previously considered in other works to be either a TŻO or high-mass asymptotic giant branch (AGB) star. Here we continue this investigation, using the kinematic and radio environments and local star formation history of these stars to place constraints on the age of the progenitor systems and the presence of past supernovae. These stars are not associated with regions of recent star formation, and we find no evidence of past supernovae at their locations. Finally, we also assess the presence of heavy elements and lithium in their spectra compared to red supergiants. We find strong absorption in Li and s-process elements compared to RSGs in most of the sample, consistent with sAGB nucleosynthesis, while HV 2112 shows additional strong lines associated with TŻO nucleosynthesis. Coupled with our previous mass estimates, the results are consistent with the stars being massive (∼4–6.5 M⊙) or sAGB (∼6.5–12 M⊙) stars in the thermally pulsing phase, providing crucial observations of the transition between low- and high-mass stellar populations. HV 2112 is more ambiguous; it could either be a maximally massive sAGB star, or a TŻO if the minimum mass for stability extends down to ≲13 M⊙."}],"day":"20","citation":{"ieee":"A. J. G. O‘Grady <i>et al.</i>, “Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow object and super-AGB star candidates,” <i>The Astrophysical Journal</i>, vol. 943, no. 1. American Astronomical Society, 2023.","mla":"O‘Grady, Anna J. G., et al. “Cool, Luminous, and Highly Variable Stars in the Magellanic Clouds. II. Spectroscopic and Environmental Analysis of Thorne–Żytkow Object and Super-AGB Star Candidates.” <i>The Astrophysical Journal</i>, vol. 943, no. 1, 18, American Astronomical Society, 2023, doi:<a href=\"https://doi.org/10.3847/1538-4357/aca655\">10.3847/1538-4357/aca655</a>.","ista":"O‘Grady AJG, Drout MR, Gaensler BM, Kochanek CS, Neugent KF, Doherty CL, Speagle JS, Shappee BJ, Rauch M, Götberg YLL, Ludwig B, Thompson TA. 2023. Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow object and super-AGB star candidates. The Astrophysical Journal. 943(1), 18.","chicago":"O‘Grady, Anna J. G., Maria R. Drout, B. M. Gaensler, C. S. Kochanek, Kathryn F. Neugent, Carolyn L. Doherty, Joshua S. Speagle, et al. “Cool, Luminous, and Highly Variable Stars in the Magellanic Clouds. II. Spectroscopic and Environmental Analysis of Thorne–Żytkow Object and Super-AGB Star Candidates.” <i>The Astrophysical Journal</i>. American Astronomical Society, 2023. <a href=\"https://doi.org/10.3847/1538-4357/aca655\">https://doi.org/10.3847/1538-4357/aca655</a>.","ama":"O‘Grady AJG, Drout MR, Gaensler BM, et al. Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow object and super-AGB star candidates. <i>The Astrophysical Journal</i>. 2023;943(1). doi:<a href=\"https://doi.org/10.3847/1538-4357/aca655\">10.3847/1538-4357/aca655</a>","apa":"O‘Grady, A. J. G., Drout, M. R., Gaensler, B. M., Kochanek, C. S., Neugent, K. F., Doherty, C. L., … Thompson, T. A. (2023). Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow object and super-AGB star candidates. <i>The Astrophysical Journal</i>. American Astronomical Society. <a href=\"https://doi.org/10.3847/1538-4357/aca655\">https://doi.org/10.3847/1538-4357/aca655</a>","short":"A.J.G. O‘Grady, M.R. Drout, B.M. Gaensler, C.S. Kochanek, K.F. Neugent, C.L. Doherty, J.S. Speagle, B.J. Shappee, M. Rauch, Y.L.L. Götberg, B. Ludwig, T.A. Thompson, The Astrophysical Journal 943 (2023)."},"date_updated":"2023-08-21T12:07:05Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"American Astronomical Society","article_number":"18","title":"Cool, luminous, and highly variable stars in the Magellanic Clouds. II. Spectroscopic and environmental analysis of Thorne–Żytkow object and super-AGB star candidates","article_processing_charge":"No","article_type":"original","main_file_link":[{"url":"https://doi.org/10.3847/1538-4357/aca655","open_access":"1"}],"status":"public","volume":943,"date_created":"2023-08-03T10:10:12Z","year":"2023"},{"author":[{"last_name":"Brighi","orcid":"0000-0002-7969-2729","full_name":"Brighi, Pietro","id":"4115AF5C-F248-11E8-B48F-1D18A9856A87","first_name":"Pietro"},{"first_name":"Marko","id":"F75EE9BE-5C90-11EA-905D-16643DDC885E","full_name":"Ljubotina, Marko","last_name":"Ljubotina"},{"full_name":"Abanin, Dmitry A.","last_name":"Abanin","first_name":"Dmitry A."},{"id":"47809E7E-F248-11E8-B48F-1D18A9856A87","first_name":"Maksym","last_name":"Serbyn","orcid":"0000-0002-2399-5827","full_name":"Serbyn, Maksym"}],"oa_version":"Published Version","department":[{"_id":"MaSe"}],"ec_funded":1,"file":[{"success":1,"content_type":"application/pdf","checksum":"f763000339b5fd543c14377109920690","access_level":"open_access","date_updated":"2023-08-07T09:48:08Z","file_name":"2023_PhysRevB_Brighi.pdf","file_id":"13981","date_created":"2023-08-07T09:48:08Z","relation":"main_file","file_size":3051398,"creator":"dernst"}],"tmp":{"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","image":"/images/cc_by.png"},"type":"journal_article","issue":"5","file_date_updated":"2023-08-07T09:48:08Z","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"language":[{"iso":"eng"}],"month":"08","arxiv":1,"external_id":{"arxiv":["2303.16876"]},"date_published":"2023-08-01T00:00:00Z","doi":"10.1103/physrevb.108.054201","_id":"13963","publication":"Physical Review B","intvolume":"       108","oa":1,"quality_controlled":"1","publication_status":"published","date_created":"2023-08-05T18:25:22Z","year":"2023","volume":108,"acknowledgement":"We thank A. A. Michailidis and A. Mirlin for insightful discussions. P.B., M.L., and M.S. acknowledge support by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant Agreement No. 850899). D.A. was\r\nsupported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant Agreement No. 864597) and by the Swiss National Science Foundation. P.B., M.L., and M.S. acknowledge PRACE for awarding us access to Joliot-Curie at GENCI@CEA, France, where the TEBD simulations were performed. The TEBD simulations were performed using the ITensor library [60].","article_type":"original","status":"public","project":[{"_id":"23841C26-32DE-11EA-91FC-C7463DDC885E","grant_number":"850899","name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control","call_identifier":"H2020"}],"title":"Many-body localization proximity effect in a two-species bosonic Hubbard model","article_processing_charge":"Yes (in subscription journal)","article_number":"054201","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"American Physical Society","date_updated":"2023-08-07T09:51:39Z","ddc":["530"],"citation":{"chicago":"Brighi, Pietro, Marko Ljubotina, Dmitry A. Abanin, and Maksym Serbyn. “Many-Body Localization Proximity Effect in a Two-Species Bosonic Hubbard Model.” <i>Physical Review B</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/physrevb.108.054201\">https://doi.org/10.1103/physrevb.108.054201</a>.","ista":"Brighi P, Ljubotina M, Abanin DA, Serbyn M. 2023. Many-body localization proximity effect in a two-species bosonic Hubbard model. Physical Review B. 108(5), 054201.","apa":"Brighi, P., Ljubotina, M., Abanin, D. A., &#38; Serbyn, M. (2023). Many-body localization proximity effect in a two-species bosonic Hubbard model. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevb.108.054201\">https://doi.org/10.1103/physrevb.108.054201</a>","ama":"Brighi P, Ljubotina M, Abanin DA, Serbyn M. Many-body localization proximity effect in a two-species bosonic Hubbard model. <i>Physical Review B</i>. 2023;108(5). doi:<a href=\"https://doi.org/10.1103/physrevb.108.054201\">10.1103/physrevb.108.054201</a>","short":"P. Brighi, M. Ljubotina, D.A. Abanin, M. Serbyn, Physical Review B 108 (2023).","ieee":"P. Brighi, M. Ljubotina, D. A. Abanin, and M. Serbyn, “Many-body localization proximity effect in a two-species bosonic Hubbard model,” <i>Physical Review B</i>, vol. 108, no. 5. American Physical Society, 2023.","mla":"Brighi, Pietro, et al. “Many-Body Localization Proximity Effect in a Two-Species Bosonic Hubbard Model.” <i>Physical Review B</i>, vol. 108, no. 5, 054201, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/physrevb.108.054201\">10.1103/physrevb.108.054201</a>."},"day":"01","abstract":[{"lang":"eng","text":"The many-body localization (MBL) proximity effect is an intriguing phenomenon where a thermal bath localizes due to the interaction with a disordered system. The interplay of thermal and nonergodic behavior in these systems gives rise to a rich phase diagram, whose exploration is an active field of research. In this paper, we study a bosonic Hubbard model featuring two particle species representing the bath and the disordered system. Using state-of-the-art numerical techniques, we investigate the dynamics of the model in different regimes, based on which we obtain a tentative phase diagram as a function of coupling strength and bath size. When the bath is composed of a single particle, we observe clear signatures of a transition from an MBL proximity effect to a delocalized phase. Increasing the bath size, however, its thermalizing effect becomes stronger and eventually the whole system delocalizes in the range of moderate interaction strengths studied. In this regime, we characterize particle transport, revealing diffusive behavior of the originally localized bosons."}],"scopus_import":"1","has_accepted_license":"1"},{"article_number":"102087","title":"Concepts, mechanisms and implications of long-term epigenetic inheritance","pmid":1,"article_processing_charge":"Yes (via OA deal)","ddc":["570"],"publisher":"Elsevier","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-12-13T12:05:31Z","volume":81,"date_created":"2023-08-06T22:01:10Z","year":"2023","article_type":"original","status":"public","has_accepted_license":"1","scopus_import":"1","isi":1,"day":"01","citation":{"mla":"Hollwey, Elizabeth, et al. “Concepts, Mechanisms and Implications of Long-Term Epigenetic Inheritance.” <i>Current Opinion in Genetics and Development</i>, vol. 81, no. 8, 102087, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.gde.2023.102087\">10.1016/j.gde.2023.102087</a>.","ieee":"E. Hollwey, A. Briffa, M. Howard, and D. Zilberman, “Concepts, mechanisms and implications of long-term epigenetic inheritance,” <i>Current Opinion in Genetics and Development</i>, vol. 81, no. 8. Elsevier, 2023.","short":"E. Hollwey, A. Briffa, M. Howard, D. Zilberman, Current Opinion in Genetics and Development 81 (2023).","ama":"Hollwey E, Briffa A, Howard M, Zilberman D. Concepts, mechanisms and implications of long-term epigenetic inheritance. <i>Current Opinion in Genetics and Development</i>. 2023;81(8). doi:<a href=\"https://doi.org/10.1016/j.gde.2023.102087\">10.1016/j.gde.2023.102087</a>","apa":"Hollwey, E., Briffa, A., Howard, M., &#38; Zilberman, D. (2023). Concepts, mechanisms and implications of long-term epigenetic inheritance. <i>Current Opinion in Genetics and Development</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.gde.2023.102087\">https://doi.org/10.1016/j.gde.2023.102087</a>","chicago":"Hollwey, Elizabeth, Amy Briffa, Martin Howard, and Daniel Zilberman. “Concepts, Mechanisms and Implications of Long-Term Epigenetic Inheritance.” <i>Current Opinion in Genetics and Development</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.gde.2023.102087\">https://doi.org/10.1016/j.gde.2023.102087</a>.","ista":"Hollwey E, Briffa A, Howard M, Zilberman D. 2023. Concepts, mechanisms and implications of long-term epigenetic inheritance. Current Opinion in Genetics and Development. 81(8), 102087."},"abstract":[{"lang":"eng","text":"Many modes and mechanisms of epigenetic inheritance have been elucidated in eukaryotes. Most of them are relatively short-term, generally not exceeding one or a few organismal generations. However, emerging evidence indicates that one mechanism, cytosine DNA methylation, can mediate epigenetic inheritance over much longer timescales, which are mostly or completely inaccessible in the laboratory. Here we discuss the evidence for, and mechanisms and implications of, such long-term epigenetic inheritance. We argue that compelling evidence supports the long-term epigenetic inheritance of gene body methylation, at least in the model angiosperm Arabidopsis thaliana, and that variation in such methylation can therefore serve as an epigenetic basis for phenotypic variation in natural populations."}],"file":[{"file_id":"13980","relation":"main_file","date_created":"2023-08-07T08:32:26Z","file_size":2568632,"creator":"dernst","success":1,"access_level":"open_access","content_type":"application/pdf","checksum":"a294cd9506b80ed6ef218ef44ed32765","date_updated":"2023-08-07T08:32:26Z","file_name":"2023_CurrentOpinionGenetics_Hollwey.pdf"}],"department":[{"_id":"DaZi"}],"tmp":{"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","image":"/images/cc_by.png"},"oa_version":"Published Version","author":[{"first_name":"Elizabeth","id":"b8c4f54b-e484-11eb-8fdc-a54df64ef6dd","full_name":"Hollwey, Elizabeth","last_name":"Hollwey"},{"first_name":"Amy","last_name":"Briffa","full_name":"Briffa, Amy"},{"last_name":"Howard","full_name":"Howard, Martin","first_name":"Martin"},{"last_name":"Zilberman","orcid":"0000-0002-0123-8649","full_name":"Zilberman, Daniel","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","first_name":"Daniel"}],"doi":"10.1016/j.gde.2023.102087","date_published":"2023-08-01T00:00:00Z","_id":"13965","month":"08","external_id":{"isi":["001047020200001"],"pmid":["37441873"]},"quality_controlled":"1","intvolume":"        81","publication":"Current Opinion in Genetics and Development","oa":1,"publication_identifier":{"eissn":["1879-0380"],"issn":["0959-437X"]},"language":[{"iso":"eng"}],"file_date_updated":"2023-08-07T08:32:26Z","type":"journal_article","issue":"8"},{"month":"07","external_id":{"arxiv":["2203.12666"]},"arxiv":1,"date_published":"2023-07-15T00:00:00Z","doi":"10.1103/PhysRevB.108.045115","_id":"13966","oa":1,"publication":"Physical Review B","intvolume":"       108","quality_controlled":"1","publication_status":"published","type":"journal_article","issue":"4","publication_identifier":{"eissn":["2469-9969"],"issn":["2469-9950"]},"language":[{"iso":"eng"}],"department":[{"_id":"MiLe"},{"_id":"TaHa"}],"ec_funded":1,"oa_version":"Preprint","author":[{"first_name":"Giacomo","id":"4CA96FD4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8823-9777","full_name":"Bighin, Giacomo","last_name":"Bighin"},{"last_name":"Ho","full_name":"Ho, Quoc P","orcid":"0000-0001-6889-1418","id":"3DD82E3C-F248-11E8-B48F-1D18A9856A87","first_name":"Quoc P"},{"last_name":"Lemeshko","orcid":"0000-0002-6990-7802","full_name":"Lemeshko, Mikhail","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail"},{"first_name":"T. V.","last_name":"Tscherbul","full_name":"Tscherbul, T. V."}],"scopus_import":"1","citation":{"ieee":"G. Bighin, Q. P. Ho, M. Lemeshko, and T. V. Tscherbul, “Diagrammatic Monte Carlo for electronic correlation in molecules: High-order many-body perturbation theory with low scaling,” <i>Physical Review B</i>, vol. 108, no. 4. American Physical Society, 2023.","mla":"Bighin, Giacomo, et al. “Diagrammatic Monte Carlo for Electronic Correlation in Molecules: High-Order Many-Body Perturbation Theory with Low Scaling.” <i>Physical Review B</i>, vol. 108, no. 4, 045115, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/PhysRevB.108.045115\">10.1103/PhysRevB.108.045115</a>.","ista":"Bighin G, Ho QP, Lemeshko M, Tscherbul TV. 2023. Diagrammatic Monte Carlo for electronic correlation in molecules: High-order many-body perturbation theory with low scaling. Physical Review B. 108(4), 045115.","chicago":"Bighin, Giacomo, Quoc P Ho, Mikhail Lemeshko, and T. V. Tscherbul. “Diagrammatic Monte Carlo for Electronic Correlation in Molecules: High-Order Many-Body Perturbation Theory with Low Scaling.” <i>Physical Review B</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/PhysRevB.108.045115\">https://doi.org/10.1103/PhysRevB.108.045115</a>.","apa":"Bighin, G., Ho, Q. P., Lemeshko, M., &#38; Tscherbul, T. V. (2023). Diagrammatic Monte Carlo for electronic correlation in molecules: High-order many-body perturbation theory with low scaling. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.108.045115\">https://doi.org/10.1103/PhysRevB.108.045115</a>","ama":"Bighin G, Ho QP, Lemeshko M, Tscherbul TV. Diagrammatic Monte Carlo for electronic correlation in molecules: High-order many-body perturbation theory with low scaling. <i>Physical Review B</i>. 2023;108(4). doi:<a href=\"https://doi.org/10.1103/PhysRevB.108.045115\">10.1103/PhysRevB.108.045115</a>","short":"G. Bighin, Q.P. Ho, M. Lemeshko, T.V. Tscherbul, Physical Review B 108 (2023)."},"day":"15","abstract":[{"lang":"eng","text":"We present a low-scaling diagrammatic Monte Carlo approach to molecular correlation energies. Using combinatorial graph theory to encode many-body Hugenholtz diagrams, we sample the Møller-Plesset (MPn) perturbation series, obtaining accurate correlation energies up to n=5, with quadratic scaling in the number of basis functions. Our technique reduces the computational complexity of the molecular many-fermion correlation problem, opening up the possibility of low-scaling, accurate stochastic computations for a wide class of many-body systems described by Hugenholtz diagrams."}],"title":"Diagrammatic Monte Carlo for electronic correlation in molecules: High-order many-body perturbation theory with low scaling","article_processing_charge":"No","article_number":"045115","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2024-08-07T07:16:52Z","publisher":"American Physical Society","date_created":"2023-08-06T22:01:10Z","year":"2023","volume":108,"acknowledgement":"We acknowledge stimulating discussions with Sergey Varganov, Artur Izmaylov, Jacek Kłos, Piotr Żuchowski, Dominika Zgid, Nikolay Prokof'ev, Boris Svistunov, Robert Parrish, and Andreas Heßelmann. G.B. and Q.P.H. acknowledge support from the Austrian Science Fund (FWF) under Projects No. M2641-N27 and No. M2751. M.L. acknowledges support by the FWF under Project No. P29902-N27, and by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON). T.V.T. was supported by the NSF CAREER award No. PHY-2045681. This work is supported by the German Research Foundation (DFG) under Germany's Excellence Strategy EXC2181/1-390900948 (the Heidelberg STRUCTURES Excellence Cluster). The authors acknowledge support by the state of Baden-Württemberg through bwHPC.","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2203.12666"}],"article_type":"original","project":[{"name":"A path-integral approach to composite impurities","call_identifier":"FWF","_id":"26986C82-B435-11E9-9278-68D0E5697425","grant_number":"M02641"},{"name":"Algebro-Geometric Applications of Factorization Homology","call_identifier":"FWF","_id":"26B96266-B435-11E9-9278-68D0E5697425","grant_number":"M02751"},{"_id":"26031614-B435-11E9-9278-68D0E5697425","grant_number":"P29902","name":"Quantum rotations in the presence of a many-body environment","call_identifier":"FWF"},{"name":"Angulon: physics and applications of a new quasiparticle","call_identifier":"H2020","_id":"2688CF98-B435-11E9-9278-68D0E5697425","grant_number":"801770"}],"status":"public"},{"arxiv":1,"conference":{"end_date":"2023-06-29","location":"Boston, MA, United States","start_date":"2023-06-26","name":"LICS: Symposium on Logic in Computer Science"},"external_id":{"arxiv":["2304.09930"],"isi":["001036707700042"]},"month":"07","_id":"13967","doi":"10.1109/LICS56636.2023.10175771","date_published":"2023-07-01T00:00:00Z","intvolume":"      2023","publication":"38th Annual ACM/IEEE Symposium on Logic in Computer Science","oa":1,"publication_status":"published","quality_controlled":"1","type":"conference","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9798350335873"],"issn":["1043-6871"]},"department":[{"_id":"KrCh"}],"oa_version":"Preprint","author":[{"last_name":"Kretinsky","full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","first_name":"Jan"},{"last_name":"Meggendorfer","orcid":"0000-0002-1712-2165","full_name":"Meggendorfer, Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","first_name":"Tobias"},{"id":"02ab0197-cc70-11ed-ab61-918e71f56881","first_name":"Maximilian","last_name":"Weininger","full_name":"Weininger, Maximilian"}],"scopus_import":"1","citation":{"apa":"Kretinsky, J., Meggendorfer, T., &#38; Weininger, M. (2023). Stopping criteria for value iteration on stochastic games with quantitative objectives. In <i>38th Annual ACM/IEEE Symposium on Logic in Computer Science</i> (Vol. 2023). Boston, MA, United States: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/LICS56636.2023.10175771\">https://doi.org/10.1109/LICS56636.2023.10175771</a>","ista":"Kretinsky J, Meggendorfer T, Weininger M. 2023. Stopping criteria for value iteration on stochastic games with quantitative objectives. 38th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science vol. 2023.","ama":"Kretinsky J, Meggendorfer T, Weininger M. Stopping criteria for value iteration on stochastic games with quantitative objectives. In: <i>38th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Vol 2023. Institute of Electrical and Electronics Engineers; 2023. doi:<a href=\"https://doi.org/10.1109/LICS56636.2023.10175771\">10.1109/LICS56636.2023.10175771</a>","chicago":"Kretinsky, Jan, Tobias Meggendorfer, and Maximilian Weininger. “Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.” In <i>38th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Vol. 2023. Institute of Electrical and Electronics Engineers, 2023. <a href=\"https://doi.org/10.1109/LICS56636.2023.10175771\">https://doi.org/10.1109/LICS56636.2023.10175771</a>.","short":"J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2023.","ieee":"J. Kretinsky, T. Meggendorfer, and M. Weininger, “Stopping criteria for value iteration on stochastic games with quantitative objectives,” in <i>38th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Boston, MA, United States, 2023, vol. 2023.","mla":"Kretinsky, Jan, et al. “Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.” <i>38th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, vol. 2023, Institute of Electrical and Electronics Engineers, 2023, doi:<a href=\"https://doi.org/10.1109/LICS56636.2023.10175771\">10.1109/LICS56636.2023.10175771</a>."},"day":"01","isi":1,"abstract":[{"text":"A classic solution technique for Markov decision processes (MDP) and stochastic games (SG) is value iteration (VI). Due to its good practical performance, this approximative approach is typically preferred over exact techniques, even though no practical bounds on the imprecision of the result could be given until recently. As a consequence, even the most used model checkers could return arbitrarily wrong results. Over the past decade, different works derived stopping criteria, indicating when the precision reaches the desired level, for various settings, in particular MDP with reachability, total reward, and mean payoff, and SG with reachability.In this paper, we provide the first stopping criteria for VI on SG with total reward and mean payoff, yielding the first anytime algorithms in these settings. To this end, we provide the solution in two flavours: First through a reduction to the MDP case and second directly on SG. The former is simpler and automatically utilizes any advances on MDP. The latter allows for more local computations, heading towards better practical efficiency.Our solution unifies the previously mentioned approaches for MDP and SG and their underlying ideas. To achieve this, we isolate objective-specific subroutines as well as identify objective-independent concepts. These structural concepts, while surprisingly simple, form the very essence of the unified solution.","lang":"eng"}],"article_processing_charge":"No","title":"Stopping criteria for value iteration on stochastic games with quantitative objectives","date_updated":"2023-12-13T12:06:10Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Institute of Electrical and Electronics Engineers","year":"2023","date_created":"2023-08-06T22:01:10Z","acknowledgement":"This research was funded in part by DFG projects 383882557 “SUV” and 427755713 “GOPro”.","volume":2023,"status":"public","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2304.09930","open_access":"1"}]},{"file_date_updated":"2023-08-07T07:48:11Z","publication_identifier":{"eissn":["2296-424X"]},"language":[{"iso":"eng"}],"type":"journal_article","acknowledged_ssus":[{"_id":"EM-Fac"}],"quality_controlled":"1","publication_status":"published","publication":"Frontiers in Physics","intvolume":"        11","oa":1,"doi":"10.3389/fphy.2023.1202132","date_published":"2023-07-14T00:00:00Z","_id":"13968","month":"07","external_id":{"isi":["001038636400001"]},"oa_version":"Published Version","author":[{"full_name":"Hasler, Roger","last_name":"Hasler","first_name":"Roger"},{"full_name":"Steger-Polt, Marie Helene","last_name":"Steger-Polt","first_name":"Marie Helene"},{"full_name":"Reiner-Rozman, Ciril","last_name":"Reiner-Rozman","first_name":"Ciril"},{"last_name":"Fossati","full_name":"Fossati, Stefan","first_name":"Stefan"},{"last_name":"Lee","orcid":"0000-0002-6962-8598","full_name":"Lee, Seungho","id":"BB243B88-D767-11E9-B658-BC13E6697425","first_name":"Seungho"},{"first_name":"Patrik","full_name":"Aspermair, Patrik","last_name":"Aspermair"},{"last_name":"Kleber","full_name":"Kleber, Christoph","first_name":"Christoph"},{"first_name":"Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5013-2843","full_name":"Ibáñez, Maria","last_name":"Ibáñez"},{"first_name":"Jakub","full_name":"Dostalek, Jakub","last_name":"Dostalek"},{"last_name":"Knoll","full_name":"Knoll, Wolfgang","first_name":"Wolfgang"}],"tmp":{"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","image":"/images/cc_by.png"},"file":[{"date_updated":"2023-08-07T07:48:11Z","file_name":"2023_FrontiersPhysics_Hasler.pdf","success":1,"content_type":"application/pdf","access_level":"open_access","checksum":"fb36dda665e57bab006a000bf0faacd5","creator":"dernst","file_size":2421758,"relation":"main_file","date_created":"2023-08-07T07:48:11Z","file_id":"13978"}],"department":[{"_id":"MaIb"}],"abstract":[{"text":"The use of multimodal readout mechanisms next to label-free real-time monitoring of biomolecular interactions can provide valuable insight into surface-based reaction mechanisms. To this end, the combination of an electrolyte-gated field-effect transistor (EG-FET) with a fiber optic-coupled surface plasmon resonance (FO-SPR) probe serving as gate electrode has been investigated to deconvolute surface mass and charge density variations associated to surface reactions. However, applying an electrochemical potential on such gold-coated FO-SPR gate electrodes can induce gradual morphological changes of the thin gold film, leading to an irreversible blue-shift of the SPR wavelength and a substantial signal drift. We show that mild annealing leads to optical and electronic signal stabilization (20-fold lower signal drift than as-sputtered fiber optic gates) and improved overall analytical performance characteristics. The thermal treatment prevents morphological changes of the thin gold-film occurring during operation, hence providing reliable and stable data immediately upon gate voltage application. Thus, the readout output of both transducing principles, the optical FO-SPR and electronic EG-FET, stays constant throughout the whole sensing time-window and the long-term effect of thermal treatment is also improved, providing stable signals even after 1 year of storage. Annealing should therefore be considered a necessary modification for applying fiber optic gate electrodes in real-time multimodal investigations of surface reactions at the solid-liquid interface.","lang":"eng"}],"isi":1,"day":"14","citation":{"apa":"Hasler, R., Steger-Polt, M. H., Reiner-Rozman, C., Fossati, S., Lee, S., Aspermair, P., … Knoll, W. (2023). Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing. <i>Frontiers in Physics</i>. Frontiers. <a href=\"https://doi.org/10.3389/fphy.2023.1202132\">https://doi.org/10.3389/fphy.2023.1202132</a>","chicago":"Hasler, Roger, Marie Helene Steger-Polt, Ciril Reiner-Rozman, Stefan Fossati, Seungho Lee, Patrik Aspermair, Christoph Kleber, Maria Ibáñez, Jakub Dostalek, and Wolfgang Knoll. “Optical and Electronic Signal Stabilization of Plasmonic Fiber Optic Gate Electrodes: Towards Improved Real-Time Dual-Mode Biosensing.” <i>Frontiers in Physics</i>. Frontiers, 2023. <a href=\"https://doi.org/10.3389/fphy.2023.1202132\">https://doi.org/10.3389/fphy.2023.1202132</a>.","ama":"Hasler R, Steger-Polt MH, Reiner-Rozman C, et al. Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing. <i>Frontiers in Physics</i>. 2023;11. doi:<a href=\"https://doi.org/10.3389/fphy.2023.1202132\">10.3389/fphy.2023.1202132</a>","ista":"Hasler R, Steger-Polt MH, Reiner-Rozman C, Fossati S, Lee S, Aspermair P, Kleber C, Ibáñez M, Dostalek J, Knoll W. 2023. Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing. Frontiers in Physics. 11, 1202132.","short":"R. Hasler, M.H. Steger-Polt, C. Reiner-Rozman, S. Fossati, S. Lee, P. Aspermair, C. Kleber, M. Ibáñez, J. Dostalek, W. Knoll, Frontiers in Physics 11 (2023).","ieee":"R. Hasler <i>et al.</i>, “Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing,” <i>Frontiers in Physics</i>, vol. 11. Frontiers, 2023.","mla":"Hasler, Roger, et al. “Optical and Electronic Signal Stabilization of Plasmonic Fiber Optic Gate Electrodes: Towards Improved Real-Time Dual-Mode Biosensing.” <i>Frontiers in Physics</i>, vol. 11, 1202132, Frontiers, 2023, doi:<a href=\"https://doi.org/10.3389/fphy.2023.1202132\">10.3389/fphy.2023.1202132</a>."},"has_accepted_license":"1","scopus_import":"1","article_type":"original","status":"public","volume":11,"acknowledgement":"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. 813863–BORGES. We further thank the office of the Federal Government of Lower Austria, K3-Group–Culture, Science and Education, for their financial support as part of the project “Responsive Wound Dressing”. We gratefully acknowledge the financial support from the Austrian Research Promotion Agency (FFG; 888067).\r\nWe thank the Electron Microscopy Facility at IST Austria for their support with sputter coating the FO tips and Bernhard Pichler from AIT for software development to facilitate data evaluation.","date_created":"2023-08-06T22:01:11Z","year":"2023","ddc":["530"],"date_updated":"2023-12-13T12:04:10Z","publisher":"Frontiers","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"1202132","title":"Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing","article_processing_charge":"Yes"},{"citation":{"mla":"Arroyo Guevara, Alan M., and Stefan Felsner. “Approximating the Bundled Crossing Number.” <i>Journal of Graph Algorithms and Applications</i>, vol. 27, no. 6, Brown University, 2023, pp. 433–57, doi:<a href=\"https://doi.org/10.7155/jgaa.00629\">10.7155/jgaa.00629</a>.","ieee":"A. M. Arroyo Guevara and S. Felsner, “Approximating the bundled crossing number,” <i>Journal of Graph Algorithms and Applications</i>, vol. 27, no. 6. Brown University, pp. 433–457, 2023.","short":"A.M. Arroyo Guevara, S. Felsner, Journal of Graph Algorithms and Applications 27 (2023) 433–457.","ama":"Arroyo Guevara AM, Felsner S. Approximating the bundled crossing number. <i>Journal of Graph Algorithms and Applications</i>. 2023;27(6):433-457. doi:<a href=\"https://doi.org/10.7155/jgaa.00629\">10.7155/jgaa.00629</a>","chicago":"Arroyo Guevara, Alan M, and Stefan Felsner. “Approximating the Bundled Crossing Number.” <i>Journal of Graph Algorithms and Applications</i>. Brown University, 2023. <a href=\"https://doi.org/10.7155/jgaa.00629\">https://doi.org/10.7155/jgaa.00629</a>.","apa":"Arroyo Guevara, A. M., &#38; Felsner, S. (2023). Approximating the bundled crossing number. <i>Journal of Graph Algorithms and Applications</i>. Brown University. <a href=\"https://doi.org/10.7155/jgaa.00629\">https://doi.org/10.7155/jgaa.00629</a>","ista":"Arroyo Guevara AM, Felsner S. 2023. Approximating the bundled crossing number. Journal of Graph Algorithms and Applications. 27(6), 433–457."},"day":"01","abstract":[{"text":"Bundling crossings is a strategy which can enhance the readability\r\nof graph drawings. In this paper we consider good drawings, i.e., we require that\r\nany two edges have at most one common point which can be a common vertex or a\r\ncrossing. Our main result is that there is a polynomial-time algorithm to compute an\r\n8-approximation of the bundled crossing number of a good drawing with no toothed\r\nhole. In general the number of toothed holes has to be added to the 8-approximation.\r\nIn the special case of circular drawings the approximation factor is 8, this improves\r\nupon the 10-approximation of Fink et al. [14]. Our approach also works with the same\r\napproximation factor for families of pseudosegments, i.e., curves intersecting at most\r\nonce. We also show how to compute a 9/2-approximation when the intersection graph of\r\nthe pseudosegments is bipartite and has no toothed hole.","lang":"eng"}],"scopus_import":"1","related_material":{"record":[{"id":"11185","relation":"earlier_version","status":"public"}]},"has_accepted_license":"1","date_created":"2023-08-06T22:01:11Z","year":"2023","volume":27,"acknowledgement":"This work was initiated during the Workshop on Geometric Graphs in November 2019 in Strobl, Austria. We would like to thank Oswin Aichholzer, Fabian Klute, Man-Kwun Chiu, Martin Balko, Pavel Valtr for their avid discussions during the workshop. The first author has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie grant agreement No 754411. The second author has been supported by the German Research Foundation DFG Project FE 340/12-1. An extended abstract of this paper has been published in the proceedings of WALCOM 2022 in the Springer LNCS series, vol. 13174, pages 383–395.","article_type":"original","project":[{"call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"status":"public","page":"433-457","title":"Approximating the bundled crossing number","article_processing_charge":"Yes","publisher":"Brown University","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-09-25T10:56:10Z","ddc":["510"],"type":"journal_article","issue":"6","publication_identifier":{"issn":["1526-1719"]},"language":[{"iso":"eng"}],"file_date_updated":"2023-08-07T08:00:48Z","month":"07","external_id":{"arxiv":["2109.14892"]},"arxiv":1,"date_published":"2023-07-01T00:00:00Z","doi":"10.7155/jgaa.00629","_id":"13969","publication":"Journal of Graph Algorithms and Applications","intvolume":"        27","oa":1,"quality_controlled":"1","publication_status":"published","oa_version":"Published Version","author":[{"id":"3207FDC6-F248-11E8-B48F-1D18A9856A87","first_name":"Alan M","last_name":"Arroyo Guevara","orcid":"0000-0003-2401-8670","full_name":"Arroyo Guevara, Alan M"},{"first_name":"Stefan","full_name":"Felsner, Stefan","last_name":"Felsner"}],"department":[{"_id":"UlWa"}],"ec_funded":1,"file":[{"date_updated":"2023-08-07T08:00:48Z","file_name":"2023_JourGraphAlgorithms_Arroyo.pdf","checksum":"9c30d2b8e324cc1c904f2aeec92013a3","access_level":"open_access","content_type":"application/pdf","success":1,"relation":"main_file","file_id":"13979","date_created":"2023-08-07T08:00:48Z","creator":"dernst","file_size":865774}],"tmp":{"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","image":"/images/cc_by.png"}}]