[{"volume":42,"pmid":1,"quality_controlled":"1","author":[{"id":"A057D288-3E88-11E9-986D-0CF4E5697425","first_name":"Fabrizio","last_name":"Lombardi","orcid":"0000-0003-2623-5249","full_name":"Lombardi, Fabrizio"},{"first_name":"Hans J.","last_name":"Herrmann","full_name":"Herrmann, Hans J."},{"full_name":"Parrino, Liborio","last_name":"Parrino","first_name":"Liborio"},{"first_name":"Dietmar","last_name":"Plenz","full_name":"Plenz, Dietmar"},{"full_name":"Scarpetta, Silvia","last_name":"Scarpetta","first_name":"Silvia"},{"last_name":"Vaudano","first_name":"Anna Elisabetta","full_name":"Vaudano, Anna Elisabetta"},{"last_name":"De Arcangelis","first_name":"Lucilla","full_name":"De Arcangelis, Lucilla"},{"first_name":"Oren","last_name":"Shriki","full_name":"Shriki, Oren"}],"title":"Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state","language":[{"iso":"eng"}],"related_material":{"record":[{"id":"10821","status":"public","relation":"earlier_version"}]},"file":[{"checksum":"9c71eb2a03aa160415f01ad95f49ceb5","access_level":"open_access","file_id":"14914","relation":"main_file","file_size":5599007,"success":1,"date_updated":"2024-01-30T14:07:08Z","date_created":"2024-01-30T14:07:08Z","content_type":"application/pdf","creator":"dernst","file_name":"2023_CellReports_Lombardi.pdf"}],"corr_author":"1","date_published":"2023-10-31T00:00:00Z","isi":1,"publisher":"Elsevier","date_created":"2023-10-08T22:01:15Z","oa":1,"article_type":"original","project":[{"grant_number":"M03318","_id":"eb943429-77a9-11ec-83b8-9f471cdf5c67","name":"Functional Advantages of Critical Brain Dynamics"},{"name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"has_accepted_license":"1","_id":"14402","ddc":["570"],"scopus_import":"1","intvolume":"        42","publication":"Cell Reports","publication_status":"published","department":[{"_id":"GaTk"}],"fulldoi":"https://doi.org/10.1016/j.celrep.2023.113162","external_id":{"isi":["001086695500001"],"pmid":["37777965"]},"article_number":"113162","date_updated":"2026-07-06T12:48:55Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"Yes","oa_version":"Published Version","month":"10","citation":{"chicago":"Lombardi, Fabrizio, Hans J. Herrmann, Liborio Parrino, Dietmar Plenz, Silvia Scarpetta, Anna Elisabetta Vaudano, Lucilla De Arcangelis, and Oren Shriki. “Beyond Pulsed Inhibition: Alpha Oscillations Modulate Attenuation and Amplification of Neural Activity in the Awake Resting State.” <i>Cell Reports</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.celrep.2023.113162\">https://doi.org/10.1016/j.celrep.2023.113162</a>.","mla":"Lombardi, Fabrizio, et al. “Beyond Pulsed Inhibition: Alpha Oscillations Modulate Attenuation and Amplification of Neural Activity in the Awake Resting State.” <i>Cell Reports</i>, vol. 42, no. 10, 113162, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.celrep.2023.113162\">10.1016/j.celrep.2023.113162</a>.","short":"F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano, L. De Arcangelis, O. Shriki, Cell Reports 42 (2023).","ista":"Lombardi F, Herrmann HJ, Parrino L, Plenz D, Scarpetta S, Vaudano AE, De Arcangelis L, Shriki O. 2023. Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. Cell Reports. 42(10), 113162.","apa":"Lombardi, F., Herrmann, H. J., Parrino, L., Plenz, D., Scarpetta, S., Vaudano, A. E., … Shriki, O. (2023). Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. <i>Cell Reports</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.celrep.2023.113162\">https://doi.org/10.1016/j.celrep.2023.113162</a>","ama":"Lombardi F, Herrmann HJ, Parrino L, et al. Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. <i>Cell Reports</i>. 2023;42(10). doi:<a href=\"https://doi.org/10.1016/j.celrep.2023.113162\">10.1016/j.celrep.2023.113162</a>","ieee":"F. Lombardi <i>et al.</i>, “Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state,” <i>Cell Reports</i>, vol. 42, no. 10. Elsevier, 2023."},"file_date_updated":"2024-01-30T14:07:08Z","type":"journal_article","day":"31","license":"https://creativecommons.org/licenses/by/4.0/","ec_funded":1,"abstract":[{"lang":"eng","text":"Alpha oscillations are a distinctive feature of the awake resting state of the human brain. However, their functional role in resting-state neuronal dynamics remains poorly understood. Here we show that, during resting wakefulness, alpha oscillations drive an alternation of attenuation and amplification bouts in neural activity. Our analysis indicates that inhibition is activated in pulses that last for a single alpha cycle and gradually suppress neural activity, while excitation is successively enhanced over a few alpha cycles to amplify neural activity. Furthermore, we show that long-term alpha amplitude fluctuations—the “waxing and waning” phenomenon—are an attenuation-amplification mechanism described by a power-law decay of the activity rate in the “waning” phase. Importantly, we do not observe such dynamics during non-rapid eye movement (NREM) sleep with marginal alpha oscillations. The results suggest that alpha oscillations modulate neural activity not only through pulses of inhibition (pulsed inhibition hypothesis) but also by timely enhancement of excitation (or disinhibition)."}],"issue":"10","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"year":"2023","status":"public","acknowledgement":"This research was funded in whole or in part by the Austrian Science Fund (FWF) (grant PT1013M03318 to F.L.). For the purpose of open access, the author has applied a CC BY public copyright license to any Author Accepted Manuscript version arising from this submission. The study was supported by the European Union Horizon 2020 Research and Innovation Program under the Marie Sklodowska-Curie action (grant agreement 754411 to F.L.) and in part by the NextGenerationEU through the grant TAlent in ReSearch@University of Padua – STARS@UNIPD (to F.L.) (project BRAINCIP [brain criticality and information processing]). L.d.A. acknowledges support from the Italian MIUR project PRIN2017WZFTZP and partial support from NEXTGENERATIONEU (NGEU) funded by the Ministry of University and Research (MUR), National Recovery and Resilience Plan (NRRP), and project MNESYS (PE0000006)—a multiscale integrated approach to the study of the nervous system in health and disease (DN. 1553 11.10.2022). O.S. acknowledges support from the Israel Science Foundation, grant 504/17. The work was supported in part by DIRP ZIAMH02797 (to D.P.).","publication_identifier":{"eissn":["2211-1247"]},"doi":"10.1016/j.celrep.2023.113162"},{"_id":"14502","year":"2023","status":"public","ddc":["570"],"doi":"10.15479/AT:ISTA:14502","abstract":[{"text":"A precise quantitative description of the ultrastructural characteristics underlying biological mechanisms is often key to their understanding. This is particularly true for dynamic extra- and intracellular filamentous assemblies, playing a role in cell motility, cell integrity, cytokinesis, tissue formation and maintenance. For example, genetic manipulation or modulation of actin regulatory proteins frequently manifests in changes of the morphology, dynamics, and ultrastructural architecture of actin filament-rich cell peripheral structures, such as lamellipodia or filopodia. However, the observed ultrastructural effects often remain subtle and require sufficiently large datasets for appropriate quantitative analysis. The acquisition of such large datasets has been enabled by recent advances in high-throughput cryo-electron tomography (cryo-ET) methods. This also necessitates the development of complementary approaches to maximize the extraction of relevant biological information. We have developed a computational toolbox for the semi-automatic quantification of segmented and vectorized fila- mentous networks from pre-processed cryo-electron tomograms, facilitating the analysis and cross-comparison of multiple experimental conditions. GUI-based components simplify the processing of data and allow users to obtain a large number of ultrastructural parameters describing filamentous assemblies. We demonstrate the feasibility of this workflow by analyzing cryo-ET data of untreated and chemically perturbed branched actin filament networks and that of parallel actin filament arrays. In principle, the computational toolbox presented here is applicable for data analysis comprising any type of filaments in regular (i.e. parallel) or random arrangement. We show that it can ease the identification of key differences between experimental groups and facilitate the in-depth analysis of ultrastructural data in a time-efficient manner.","lang":"eng"}],"oa":1,"date_created":"2023-11-08T19:40:54Z","project":[{"name":"Structure and isoform diversity of the Arp2/3 complex","grant_number":"P33367","_id":"9B954C5C-BA93-11EA-9121-9846C619BF3A"}],"tmp":{"name":"GNU Affero General Public License v3.0","legal_code_url":"https://www.gnu.org/licenses/agpl-3.0.html","short":"GNU AGPLv3  "},"has_accepted_license":"1","file_date_updated":"2023-11-21T08:20:23Z","keyword":["cryo-electron tomography","actin cytoskeleton","toolbox"],"type":"software","day":"21","license":"https://choosealicense.com/licenses/agpl-3.0/","publisher":"Institute of Science and Technology Austria","month":"11","citation":{"chicago":"Dimchev, Georgi A, Behnam Amiri, Florian Fäßler, Martin Falcke, and Florian KM Schur. “Computational Toolbox for Ultrastructural Quantitative Analysis of Filament Networks in Cryo-ET Data.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/AT:ISTA:14502\">https://doi.org/10.15479/AT:ISTA:14502</a>.","mla":"Dimchev, Georgi A., et al. <i>Computational Toolbox for Ultrastructural Quantitative Analysis of Filament Networks in Cryo-ET Data</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:14502\">10.15479/AT:ISTA:14502</a>.","short":"G.A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, F.K. Schur, (2023).","apa":"Dimchev, G. A., Amiri, B., Fäßler, F., Falcke, M., &#38; Schur, F. K. (2023). Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:14502\">https://doi.org/10.15479/AT:ISTA:14502</a>","ista":"Dimchev GA, Amiri B, Fäßler F, Falcke M, Schur FK. 2023. Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:14502\">10.15479/AT:ISTA:14502</a>.","ama":"Dimchev GA, Amiri B, Fäßler F, Falcke M, Schur FK. Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. 2023. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:14502\">10.15479/AT:ISTA:14502</a>","ieee":"G. A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, and F. K. Schur, “Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data.” Institute of Science and Technology Austria, 2023."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"id":"10290","status":"public","relation":"used_for_analysis_in"}]},"file":[{"date_created":"2023-11-08T20:23:07Z","date_updated":"2023-11-08T20:23:07Z","file_name":"Computational_Toolbox_v1.2.zip","creator":"fschur","content_type":"application/zip","access_level":"open_access","checksum":"a8b9adeb53a4109dea4d5e39fa1acccf","file_size":347641117,"success":1,"relation":"main_file","file_id":"14503"},{"relation":"main_file","file_id":"14586","success":1,"file_size":1522,"checksum":"14db2addbfca61a085ba301ed6f2900b","access_level":"open_access","content_type":"text/plain","creator":"dernst","file_name":"Readme.txt","date_created":"2023-11-21T08:20:23Z","date_updated":"2023-11-21T08:20:23Z"}],"date_published":"2023-11-21T00:00:00Z","corr_author":"1","date_updated":"2026-07-06T12:57:43Z","fulldoi":"https://doi.org/10.15479/AT:ISTA:14502","title":"Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data","author":[{"last_name":"Dimchev","first_name":"Georgi A","id":"38C393BE-F248-11E8-B48F-1D18A9856A87","full_name":"Dimchev, Georgi A","orcid":"0000-0001-8370-6161"},{"first_name":"Behnam","last_name":"Amiri","full_name":"Amiri, Behnam"},{"id":"404F5528-F248-11E8-B48F-1D18A9856A87","last_name":"Fäßler","first_name":"Florian","orcid":"0000-0001-7149-769X","full_name":"Fäßler, Florian"},{"full_name":"Falcke, Martin","last_name":"Falcke","first_name":"Martin"},{"id":"48AD8942-F248-11E8-B48F-1D18A9856A87","first_name":"Florian KM","last_name":"Schur","orcid":"0000-0003-4790-8078","full_name":"Schur, Florian KM"}],"department":[{"_id":"FlSc"}]},{"acknowledgement":"This work was supported by the Strategic Priority Research Program of the Chinese Academy of Sciences (XDB37020103 to Linfeng Sun); research funds from the Center for Advanced Interdisciplinary Science\r\nand Biomedicine of IHM, Division of Life Sciences and Medicine, University of Science and Technology of China (QYPY20220012 to S.T.); start-up funding from the University of Science and Technology of China and the\r\nChinese Academy of Sciences (GG9100007007, KY9100000026,KY9100000051, and KJ2070000079 to S.T.); the National Natural Science Foundation of China (31900885 to X.L. and 31870732 to Linfeng Sun); the Natural Science Foundation of Anhui Province (2008085MC90 to X.L. and 2008085J15 to Linfeng Sun); the Fundamental Research Funds for the Central Universities (WK9100000021 to S.T. and WK9100000031 to Linfeng Sun); and the USTC Research Funds of the Double First-Class Initiative (YD9100002016 to S.T. and YD9100002004 to Linfeng Sun). Linfeng Sun is supported by an Outstanding Young Scholar Award from the Qiu Shi Science and Technologies Foundation and a Young Scholar Award from the Cyrus Tang Foundation.We thank Dr. Yang Zhao for sharing published materials (Center for Excellence in Molecular Plant Sciences, Chinese Academy of Sciences) and the Cryo-EM Center of the University of Science and Technology of China for the EM facility support. We are grateful to Y. Gao and all other staff members for their technical support on cryo-EM data collection. ","status":"public","year":"2023","doi":"10.1016/j.xplc.2023.100632","publication_identifier":{"eissn":["2590-3462"]},"issue":"6","abstract":[{"lang":"eng","text":"The phytohormone auxin plays central roles in many growth and developmental processes in plants. Development of chemical tools targeting the auxin pathway is useful for both plant biology and agriculture. Here we reveal that naproxen, a synthetic compound with anti-inflammatory activity in humans, acts as an auxin transport inhibitor targeting PIN-FORMED (PIN) transporters in plants. Physiological experiments indicate that exogenous naproxen treatment affects pleiotropic auxin-regulated developmental processes. Additional cellular and biochemical evidence indicates that naproxen suppresses auxin transport, specifically PIN-mediated auxin efflux. Moreover, biochemical and structural analyses confirm that naproxen binds directly to PIN1 protein via the same binding cavity as the indole-3-acetic acid substrate. Thus, by combining cellular, biochemical, and structural approaches, this study clearly establishes that naproxen is a PIN inhibitor and elucidates the underlying mechanisms. Further use of this compound may advance our understanding of the molecular mechanisms of PIN-mediated auxin transport and expand our toolkit in auxin biology and agriculture."}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)"},"day":"13","type":"journal_article","file_date_updated":"2024-01-30T10:54:40Z","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","month":"11","citation":{"chicago":"Xia, Jing, Mengjuan Kong, Zhisen Yang, Lianghanxiao Sun, Yakun Peng, Yanbo Mao, Hong Wei, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” <i>Plant Communications</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.xplc.2023.100632\">https://doi.org/10.1016/j.xplc.2023.100632</a>.","mla":"Xia, Jing, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” <i>Plant Communications</i>, vol. 4, no. 6, 100632, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.xplc.2023.100632\">10.1016/j.xplc.2023.100632</a>.","short":"J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).","ista":"Xia J, Kong M, Yang Z, Sun L, Peng Y, Mao Y, Wei H, Ying W, Gao Y, Friml J, Weng J, Liu X, Sun L, Tan S. 2023. Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. 4(6), 100632.","ieee":"J. Xia <i>et al.</i>, “Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen,” <i>Plant Communications</i>, vol. 4, no. 6. Elsevier, 2023.","apa":"Xia, J., Kong, M., Yang, Z., Sun, L., Peng, Y., Mao, Y., … Tan, S. (2023). Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. <i>Plant Communications</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.xplc.2023.100632\">https://doi.org/10.1016/j.xplc.2023.100632</a>","ama":"Xia J, Kong M, Yang Z, et al. Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. <i>Plant Communications</i>. 2023;4(6). doi:<a href=\"https://doi.org/10.1016/j.xplc.2023.100632\">10.1016/j.xplc.2023.100632</a>"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"Yes","oa_version":"Published Version","date_updated":"2026-07-06T12:59:25Z","article_number":"100632","fulldoi":"https://doi.org/10.1016/j.xplc.2023.100632","external_id":{"pmid":["37254481"],"isi":["001113003000001"]},"publication_status":"published","department":[{"_id":"JiFr"}],"das_tickbox":"1","ddc":["580"],"_id":"13209","publication":"Plant Communications","scopus_import":"1","intvolume":"         4","oa":1,"date_created":"2023-07-12T07:32:00Z","has_accepted_license":"1","article_type":"original","publisher":"Elsevier","isi":1,"date_published":"2023-11-13T00:00:00Z","file":[{"creator":"dernst","file_name":"2023_PlantCommunications_Xia.pdf","content_type":"application/pdf","date_updated":"2024-01-30T10:54:40Z","date_created":"2024-01-30T10:54:40Z","file_size":1434862,"success":1,"file_id":"14900","relation":"main_file","checksum":"f8ef92af6096834f91ce38587fb1db9f","access_level":"open_access"}],"language":[{"iso":"eng"}],"author":[{"full_name":"Xia, Jing","last_name":"Xia","first_name":"Jing"},{"first_name":"Mengjuan","last_name":"Kong","full_name":"Kong, Mengjuan"},{"last_name":"Yang","first_name":"Zhisen","full_name":"Yang, Zhisen"},{"last_name":"Sun","first_name":"Lianghanxiao","full_name":"Sun, Lianghanxiao"},{"full_name":"Peng, Yakun","first_name":"Yakun","last_name":"Peng"},{"full_name":"Mao, Yanbo","first_name":"Yanbo","last_name":"Mao"},{"full_name":"Wei, Hong","last_name":"Wei","first_name":"Hong"},{"full_name":"Ying, Wei","last_name":"Ying","first_name":"Wei"},{"full_name":"Gao, Yongxiao","first_name":"Yongxiao","last_name":"Gao"},{"last_name":"Friml","first_name":"Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jiří","orcid":"0000-0002-8302-7596"},{"full_name":"Weng, Jianping","first_name":"Jianping","last_name":"Weng"},{"last_name":"Liu","first_name":"Xin","full_name":"Liu, Xin"},{"full_name":"Sun, Linfeng","last_name":"Sun","first_name":"Linfeng"},{"full_name":"Tan, Shutang","last_name":"Tan","first_name":"Shutang"}],"title":"Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen","quality_controlled":"1","pmid":1,"volume":4},{"month":"07","citation":{"mla":"Elefante, Stefano, et al. “Cryo-EM Software Packages: A Sys-Admins Point of View.” <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i>, EuroCC Austria, 2023, pp. 42–42.","chicago":"Elefante, Stefano, Stephan Stadlbauer, Michael F Alexander, and Alois Schlögl. “Cryo-EM Software Packages: A Sys-Admins Point of View.” In <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i>, 42–42. EuroCC Austria, 2023.","short":"S. Elefante, S. Stadlbauer, M.F. Alexander, A. Schlögl, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC Austria, 2023, pp. 42–42.","ista":"Elefante S, Stadlbauer S, Alexander MF, Schlögl A. 2023. Cryo-EM software packages: A sys-admins point of view. ASHPC23 - Austrian-Slovenian HPC Meeting 2023. ASHPC: Austrian-Slovenian HPC Meeting, 42–42.","apa":"Elefante, S., Stadlbauer, S., Alexander, M. F., &#38; Schlögl, A. (2023). Cryo-EM software packages: A sys-admins point of view. In <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i> (pp. 42–42). Maribor, Slovenia: EuroCC Austria.","ama":"Elefante S, Stadlbauer S, Alexander MF, Schlögl A. Cryo-EM software packages: A sys-admins point of view. In: <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i>. EuroCC Austria; 2023:42-42.","ieee":"S. Elefante, S. Stadlbauer, M. F. Alexander, and A. Schlögl, “Cryo-EM software packages: A sys-admins point of view,” in <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i>, Maribor, Slovenia, 2023, pp. 42–42."},"day":"01","type":"conference_abstract","file_date_updated":"2023-07-18T09:28:30Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"status":"public","year":"2023","publication_status":"published","department":[{"_id":"ScienComp"}],"date_updated":"2026-07-06T13:01:58Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Submitted Version","article_processing_charge":"No","conference":{"name":"ASHPC: Austrian-Slovenian HPC Meeting","start_date":"2023-06-12","location":"Maribor, Slovenia","end_date":"2023-06-15"},"publisher":"EuroCC Austria","date_created":"2023-06-23T11:03:18Z","oa":1,"has_accepted_license":"1","ddc":["000"],"page":"42-42","_id":"13162","publication":"ASHPC23 - Austrian-Slovenian HPC Meeting 2023","quality_controlled":"1","title":"Cryo-EM software packages: A sys-admins point of view","author":[{"full_name":"Elefante, Stefano","first_name":"Stefano","last_name":"Elefante","id":"490F40CE-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Stadlbauer, Stephan","id":"4D0BC184-F248-11E8-B48F-1D18A9856A87","last_name":"Stadlbauer","first_name":"Stephan"},{"id":"3A02A8FA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael F","last_name":"Alexander","full_name":"Alexander, Michael F"},{"full_name":"Schlögl, Alois","orcid":"0000-0002-5621-8100","last_name":"Schlögl","first_name":"Alois","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87"}],"language":[{"iso":"eng"}],"corr_author":"1","date_published":"2023-07-01T00:00:00Z","file":[{"access_level":"open_access","checksum":"0ab6173cd5c5634ed773cd37ff012681","relation":"main_file","file_id":"13250","success":1,"file_size":380354,"date_created":"2023-07-18T09:28:30Z","date_updated":"2023-07-18T09:28:30Z","content_type":"application/pdf","file_name":"2023_ASHPC_Elefante.pdf","creator":"dernst"}]},{"month":"07","citation":{"ama":"Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. In: <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i>. EuroCC Austria; 2023:59-59.","ieee":"A. Schlögl, S. Elefante, and V.-V. Hodirnau, “Running Windows-applications on a Linux HPC cluster using WINE,” in <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i>, Maribor, Slovenia, 2023, pp. 59–59.","ista":"Schlögl A, Elefante S, Hodirnau V-V. 2023. Running Windows-applications on a Linux HPC cluster using WINE. ASHPC23 - Austrian-Slovenian HPC Meeting 2023. ASHPC: Austrian-Slovenian HPC Meeting, 59–59.","apa":"Schlögl, A., Elefante, S., &#38; Hodirnau, V.-V. (2023). Running Windows-applications on a Linux HPC cluster using WINE. In <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i> (pp. 59–59). Maribor, Slovenia: EuroCC Austria.","chicago":"Schlögl, Alois, Stefano Elefante, and Victor-Valentin Hodirnau. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” In <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i>, 59–59. EuroCC Austria, 2023.","mla":"Schlögl, Alois, et al. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i>, EuroCC Austria, 2023, pp. 59–59.","short":"A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC Austria, 2023, pp. 59–59."},"file_date_updated":"2023-07-18T09:18:55Z","type":"conference_abstract","day":"01","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"year":"2023","status":"public","acknowledgement":"Thanks to Jesse Hansen for his suggestions on improving the abstract.","publication_status":"published","department":[{"_id":"ScienComp"},{"_id":"EM-Fac"}],"date_updated":"2026-07-06T13:01:46Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","oa_version":"Submitted Version","conference":{"end_date":"2023-06-15","location":"Maribor, Slovenia","start_date":"2023-06-13","name":"ASHPC: Austrian-Slovenian HPC Meeting"},"publisher":"EuroCC Austria","date_created":"2023-06-23T11:01:23Z","oa":1,"has_accepted_license":"1","_id":"13161","ddc":["000"],"page":"59-59","publication":"ASHPC23 - Austrian-Slovenian HPC Meeting 2023","quality_controlled":"1","author":[{"first_name":"Alois","last_name":"Schlögl","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87","full_name":"Schlögl, Alois","orcid":"0000-0002-5621-8100"},{"id":"490F40CE-F248-11E8-B48F-1D18A9856A87","first_name":"Stefano","last_name":"Elefante","full_name":"Elefante, Stefano"},{"orcid":"0000-0003-3904-947X","full_name":"Hodirnau, Victor-Valentin","id":"3661B498-F248-11E8-B48F-1D18A9856A87","last_name":"Hodirnau","first_name":"Victor-Valentin"}],"title":"Running Windows-applications on a Linux HPC cluster using WINE","language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","creator":"dernst","file_name":"2023_ASHPC_Schloegl.pdf","date_created":"2023-07-18T09:18:55Z","date_updated":"2023-07-18T09:18:55Z","relation":"main_file","file_id":"13249","file_size":316959,"success":1,"checksum":"ec8e4295d54171032cdd1b01423eb4a6","access_level":"open_access"}],"corr_author":"1","date_published":"2023-07-01T00:00:00Z"},{"title":"On type II degenerations of hyperkähler manifolds","author":[{"first_name":"D.","last_name":"Huybrechts","full_name":"Huybrechts, D."},{"id":"2cf70c34-09c1-11ed-bd8d-c34fac206130","last_name":"Mauri","first_name":"Mirko","full_name":"Mauri, Mirko"}],"volume":30,"quality_controlled":"1","corr_author":"1","date_published":"2023-06-21T00:00:00Z","arxiv":1,"language":[{"iso":"eng"}],"publisher":"International Press of Boston","isi":1,"scopus_import":"1","intvolume":"        30","publication":"Mathematical Research Letters","_id":"13268","page":"125-141","das_tickbox":"1","project":[{"grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020"}],"article_type":"original","oa":1,"date_created":"2023-07-23T22:01:14Z","external_id":{"arxiv":["2108.01587"],"isi":["001027656000006"]},"fulldoi":"https://doi.org/10.4310/mrl.2023.v30.n1.a6","department":[{"_id":"TaHa"}],"publication_status":"published","oa_version":"Preprint","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-07-06T13:37:53Z","ec_funded":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2108.01587"}],"day":"21","type":"journal_article","citation":{"ama":"Huybrechts D, Mauri M. On type II degenerations of hyperkähler manifolds. <i>Mathematical Research Letters</i>. 2023;30(1):125-141. doi:<a href=\"https://doi.org/10.4310/mrl.2023.v30.n1.a6\">10.4310/mrl.2023.v30.n1.a6</a>","ieee":"D. Huybrechts and M. Mauri, “On type II degenerations of hyperkähler manifolds,” <i>Mathematical Research Letters</i>, vol. 30, no. 1. International Press of Boston, pp. 125–141, 2023.","ista":"Huybrechts D, Mauri M. 2023. On type II degenerations of hyperkähler manifolds. Mathematical Research Letters. 30(1), 125–141.","apa":"Huybrechts, D., &#38; Mauri, M. (2023). On type II degenerations of hyperkähler manifolds. <i>Mathematical Research Letters</i>. International Press of Boston. <a href=\"https://doi.org/10.4310/mrl.2023.v30.n1.a6\">https://doi.org/10.4310/mrl.2023.v30.n1.a6</a>","short":"D. Huybrechts, M. Mauri, Mathematical Research Letters 30 (2023) 125–141.","chicago":"Huybrechts, D., and Mirko Mauri. “On Type II Degenerations of Hyperkähler Manifolds.” <i>Mathematical Research Letters</i>. International Press of Boston, 2023. <a href=\"https://doi.org/10.4310/mrl.2023.v30.n1.a6\">https://doi.org/10.4310/mrl.2023.v30.n1.a6</a>.","mla":"Huybrechts, D., and Mirko Mauri. “On Type II Degenerations of Hyperkähler Manifolds.” <i>Mathematical Research Letters</i>, vol. 30, no. 1, International Press of Boston, 2023, pp. 125–41, doi:<a href=\"https://doi.org/10.4310/mrl.2023.v30.n1.a6\">10.4310/mrl.2023.v30.n1.a6</a>."},"month":"06","doi":"10.4310/mrl.2023.v30.n1.a6","publication_identifier":{"issn":["1073-2780"],"eissn":["1945-001X"]},"year":"2023","acknowledgement":"The first author is supported by the ERC Synergy Grant HyperK. The second author is supported by the Max Planck Institute for Mathematics and the Institute of Science and Technology Austria. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101034413.","status":"public","abstract":[{"text":"We give a simple argument to prove Nagai’s conjecture for type II degenerations of compact hyperkähler manifolds and cohomology classes of middle degree. Under an additional assumption, the techniques yield the conjecture in arbitrary degree. This would complete the proof of Nagai’s conjecture in general, as it was proved already for type I degenerations by Kollár, Laza, Saccà, and Voisin [10] and independently by Soldatenkov [18], while it is immediate for type III degenerations. Our arguments are close in spirit to a recent paper by Harder [8] proving similar results for the restrictive class of good degenerations.","lang":"eng"}],"issue":"1"},{"month":"08","citation":{"short":"S. Das, Z. Xiang, E. Kokoris Kogias, L. Ren, in:, 32nd USENIX Security Symposium, Usenix Association, 2023, pp. 5359–5376.","chicago":"Das, Sourav, Zhuolun Xiang, Eleftherios Kokoris Kogias, and Ling Ren. “Practical Asynchronous High-Threshold Distributed Key Generation and Distributed Polynomial Sampling.” In <i>32nd USENIX Security Symposium</i>, 8:5359–76. Usenix Association, 2023.","mla":"Das, Sourav, et al. “Practical Asynchronous High-Threshold Distributed Key Generation and Distributed Polynomial Sampling.” <i>32nd USENIX Security Symposium</i>, vol. 8, Usenix Association, 2023, pp. 5359–76.","apa":"Das, S., Xiang, Z., Kokoris Kogias, E., &#38; Ren, L. (2023). Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling. In <i>32nd USENIX Security Symposium</i> (Vol. 8, pp. 5359–5376). Anaheim, CA, United States: Usenix Association.","ama":"Das S, Xiang Z, Kokoris Kogias E, Ren L. Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling. In: <i>32nd USENIX Security Symposium</i>. Vol 8. Usenix Association; 2023:5359-5376.","ista":"Das S, Xiang Z, Kokoris Kogias E, Ren L. 2023. Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling. 32nd USENIX Security Symposium. USENIX Security Symposium vol. 8, 5359–5376.","ieee":"S. Das, Z. Xiang, E. Kokoris Kogias, and L. Ren, “Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling,” in <i>32nd USENIX Security Symposium</i>, Anaheim, CA, United States, 2023, vol. 8, pp. 5359–5376."},"type":"conference","day":"15","file_date_updated":"2023-11-28T09:14:34Z","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2022/1389"}],"abstract":[{"text":"Distributed Key Generation (DKG) is a technique to bootstrap threshold cryptosystems without a trusted party. DKG is an essential building block to many decentralized protocols such as randomness beacons, threshold signatures, Byzantine consensus, and multiparty computation. While significant progress has been made recently, existing asynchronous DKG constructions are inefficient when the reconstruction threshold is larger than one-third of the total nodes. In this paper, we present a simple and concretely efficient asynchronous DKG (ADKG) protocol among n = 3t + 1 nodes that can tolerate up to t malicious nodes and support any reconstruction threshold ℓ ≥ t. Our protocol has an expected O(κn3) communication cost, where κ is the security parameter, and only assumes the hardness of the Discrete Logarithm. The\r\ncore ingredient of our ADKG protocol is an asynchronous protocol to secret share a random polynomial of degree ℓ ≥ t, which has other applications, such as asynchronous proactive secret sharing and asynchronous multiparty computation. We implement our high-threshold ADKG protocol and evaluate it using a network of up to 128 geographically distributed nodes. Our evaluation shows that our high-threshold ADKG protocol reduces the running time by 90% and bandwidth usage by 80% over the state-of-the-art.","lang":"eng"}],"acknowledgement":"The authors would like to thank Amit Agarwal, Andrew Miller, and Tom Yurek for the helpful discussions related to the paper. This work is funded in part by a VMware early career faculty grant, a Chainlink Labs Ph.D. fellowship, the National Science Foundation, and the Austrian Science Fund (FWF) F8512-N.","status":"public","year":"2023","publication_identifier":{"isbn":["9781713879497"]},"publication_status":"published","department":[{"_id":"ElKo"}],"external_id":{"cryptoeprintid":["2022/1389"]},"date_updated":"2026-07-07T06:02:32Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","oa_version":"Published Version","conference":{"end_date":"2023-08-11","name":"USENIX Security Symposium","location":"Anaheim, CA, United States","start_date":"2023-08-09"},"publisher":"Usenix Association","date_created":"2023-11-26T23:00:55Z","oa":1,"has_accepted_license":"1","project":[{"_id":"34a4ce89-11ca-11ed-8bc3-8cc37fb6e11f","grant_number":"F8512","name":"Security and Privacy by Design for Complex Systems"}],"das_tickbox":"1","page":"5359-5376","ddc":["000"],"_id":"14609","publication":"32nd USENIX Security Symposium","intvolume":"         8","scopus_import":"1","quality_controlled":"1","volume":8,"author":[{"full_name":"Das, Sourav","last_name":"Das","first_name":"Sourav"},{"full_name":"Xiang, Zhuolun","last_name":"Xiang","first_name":"Zhuolun"},{"full_name":"Kokoris Kogias, Eleftherios","orcid":"0000-0002-8827-3382","last_name":"Kokoris Kogias","first_name":"Eleftherios","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30"},{"full_name":"Ren, Ling","first_name":"Ling","last_name":"Ren"}],"title":"Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling","cryptoeprintid":1,"language":[{"iso":"eng"}],"date_published":"2023-08-15T00:00:00Z","corr_author":"1","file":[{"file_id":"14621","relation":"main_file","file_size":704331,"success":1,"checksum":"1a730765930138e23c6efd2575872641","access_level":"open_access","content_type":"application/pdf","file_name":"2023_USENIX_Das.pdf","creator":"dernst","date_created":"2023-11-28T09:14:34Z","date_updated":"2023-11-28T09:14:34Z"}]},{"file_date_updated":"2024-01-02T08:14:23Z","type":"conference","day":"01","ec_funded":1,"month":"10","citation":{"short":"S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2023, pp. 122–131.","chicago":"Pastva, Samuel, and Thomas A Henzinger. “Binary Decision Diagrams on Modern Hardware.” In <i>Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design</i>, 122–31. TU Wien Academic Press, 2023. <a href=\"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20\">https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20</a>.","mla":"Pastva, Samuel, and Thomas A. Henzinger. “Binary Decision Diagrams on Modern Hardware.” <i>Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design</i>, TU Wien Academic Press, 2023, pp. 122–31, doi:<a href=\"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20\">10.34727/2023/isbn.978-3-85448-060-0_20</a>.","ista":"Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 122–131.","ama":"Pastva S, Henzinger TA. Binary decision diagrams on modern hardware. In: <i>Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design</i>. TU Wien Academic Press; 2023:122-131. doi:<a href=\"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20\">10.34727/2023/isbn.978-3-85448-060-0_20</a>","ieee":"S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in <i>Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design</i>, Ames, IA, United States, 2023, pp. 122–131.","apa":"Pastva, S., &#38; Henzinger, T. A. (2023). Binary decision diagrams on modern hardware. In <i>Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design</i> (pp. 122–131). Ames, IA, United States: TU Wien Academic Press. <a href=\"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20\">https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20</a>"},"year":"2023","status":"public","acknowledgement":"This work was supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413 and the\r\n“VAMOS” grant ERC-2020-AdG 101020093.","doi":"10.34727/2023/isbn.978-3-85448-060-0_20","publication_identifier":{"isbn":["9783854480600"]},"abstract":[{"lang":"eng","text":"Binary decision diagrams (BDDs) are one of the fundamental data structures in formal methods and computer science in general. However, the performance of BDD-based algorithms greatly depends on memory latency due to the reliance on large hash tables and thus, by extension, on the speed of random memory access. This hinders the full utilisation of resources available on modern CPUs, since the absolute memory latency has not improved significantly for at least a decade. In this paper, we explore several implementation techniques that improve the performance of BDD manipulation either through enhanced memory locality or by partially eliminating random memory access. On a benchmark suite of 600+ BDDs derived from real-world applications, we demonstrate runtime that is comparable or better than parallelising the same operations on eight CPU cores. "}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"fulldoi":"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20","external_id":{"isi":["001504402400020"]},"publication_status":"published","department":[{"_id":"ToHe"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Published Version","article_processing_charge":"No","date_updated":"2026-07-07T05:58:51Z","publisher":"TU Wien Academic Press","isi":1,"conference":{"end_date":"2023-10-27","name":"FMCAD: Formal Methods in Computer-Aided Design","location":"Ames, IA, United States","start_date":"2023-10-25"},"_id":"14718","page":"122-131","das_tickbox":"1","ddc":["000"],"scopus_import":"1","publication":"Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design","date_created":"2023-12-31T23:01:03Z","oa":1,"project":[{"call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413"},{"name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"has_accepted_license":"1","author":[{"orcid":"0000-0003-1993-0331","full_name":"Pastva, Samuel","id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b","last_name":"Pastva","first_name":"Samuel"},{"first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724"}],"title":"Binary decision diagrams on modern hardware","quality_controlled":"1","file":[{"access_level":"open_access","checksum":"818d6e13dd508f3a04f0941081022e5d","success":1,"file_size":524321,"file_id":"14721","relation":"main_file","date_updated":"2024-01-02T08:14:23Z","date_created":"2024-01-02T08:14:23Z","creator":"dernst","file_name":"2023_FMCAD_Pastva.pdf","content_type":"application/pdf"}],"date_published":"2023-10-01T00:00:00Z","corr_author":"1","language":[{"iso":"eng"}]},{"author":[{"first_name":"Brian R.","last_name":"Pauw","full_name":"Pauw, Brian R."},{"full_name":"Smales, Glen J.","first_name":"Glen J.","last_name":"Smales"},{"full_name":"Anker, Andy S.","first_name":"Andy S.","last_name":"Anker"},{"first_name":"Venkatasamy","last_name":"Annadurai","full_name":"Annadurai, Venkatasamy"},{"full_name":"Balazs, Daniel","orcid":"0000-0001-7597-043X","last_name":"Balazs","first_name":"Daniel","id":"302BADF6-85FC-11EA-9E3B-B9493DDC885E"},{"full_name":"Bienert, Ralf","last_name":"Bienert","first_name":"Ralf"},{"full_name":"Bouwman, Wim G.","last_name":"Bouwman","first_name":"Wim G."},{"full_name":"Breßler, Ingo","first_name":"Ingo","last_name":"Breßler"},{"last_name":"Breternitz","first_name":"Joachim","full_name":"Breternitz, Joachim"},{"full_name":"Brok, Erik S.","first_name":"Erik S.","last_name":"Brok"},{"last_name":"Bryant","first_name":"Gary","full_name":"Bryant, Gary"},{"last_name":"Clulow","first_name":"Andrew J.","full_name":"Clulow, Andrew J."},{"first_name":"Erin R.","last_name":"Crater","full_name":"Crater, Erin R."},{"last_name":"De Geuser","first_name":"Frédéric","full_name":"De Geuser, Frédéric"},{"first_name":"Alessandra Del","last_name":"Giudice","full_name":"Giudice, Alessandra Del"},{"first_name":"Jérôme","last_name":"Deumer","full_name":"Deumer, Jérôme"},{"first_name":"Sabrina","last_name":"Disch","full_name":"Disch, Sabrina"},{"full_name":"Dutt, Shankar","last_name":"Dutt","first_name":"Shankar"},{"full_name":"Frank, Kilian","first_name":"Kilian","last_name":"Frank"},{"last_name":"Fratini","first_name":"Emiliano","full_name":"Fratini, Emiliano"},{"first_name":"Paulo R.A.F.","last_name":"Garcia","full_name":"Garcia, Paulo R.A.F."},{"first_name":"Elliot P.","last_name":"Gilbert","full_name":"Gilbert, Elliot P."},{"full_name":"Hahn, Marc B.","last_name":"Hahn","first_name":"Marc B."},{"full_name":"Hallett, James","first_name":"James","last_name":"Hallett"},{"full_name":"Hohenschutz, Max","first_name":"Max","last_name":"Hohenschutz"},{"first_name":"Martin","last_name":"Hollamby","full_name":"Hollamby, Martin"},{"full_name":"Huband, Steven","first_name":"Steven","last_name":"Huband"},{"full_name":"Ilavsky, Jan","first_name":"Jan","last_name":"Ilavsky"},{"full_name":"Jochum, Johanna K.","last_name":"Jochum","first_name":"Johanna K."},{"last_name":"Juelsholt","first_name":"Mikkel","full_name":"Juelsholt, Mikkel"},{"full_name":"Mansel, Bradley W.","last_name":"Mansel","first_name":"Bradley W."},{"full_name":"Penttilä, Paavo","last_name":"Penttilä","first_name":"Paavo"},{"full_name":"Pittkowski, Rebecca K.","last_name":"Pittkowski","first_name":"Rebecca K."},{"last_name":"Portale","first_name":"Giuseppe","full_name":"Portale, Giuseppe"},{"last_name":"Pozzo","first_name":"Lilo D.","full_name":"Pozzo, Lilo D."},{"last_name":"Rochels","first_name":"Leonhard","full_name":"Rochels, Leonhard"},{"last_name":"Rosalie","first_name":"Julian M.","full_name":"Rosalie, Julian M."},{"last_name":"Saloga","first_name":"Patrick E.J.","full_name":"Saloga, Patrick E.J."},{"full_name":"Seibt, Susanne","first_name":"Susanne","last_name":"Seibt"},{"full_name":"Smith, Andrew J.","first_name":"Andrew J.","last_name":"Smith"},{"full_name":"Smith, Gregory N.","first_name":"Gregory N.","last_name":"Smith"},{"full_name":"Spiering, Glenn A.","last_name":"Spiering","first_name":"Glenn A."},{"last_name":"Stawski","first_name":"Tomasz M.","full_name":"Stawski, Tomasz M."},{"last_name":"Taché","first_name":"Olivier","full_name":"Taché, Olivier"},{"first_name":"Andreas F.","last_name":"Thünemann","full_name":"Thünemann, Andreas F."},{"full_name":"Toth, Kristof","last_name":"Toth","first_name":"Kristof"},{"first_name":"Andrew E.","last_name":"Whitten","full_name":"Whitten, Andrew E."},{"full_name":"Wuttke, Joachim","first_name":"Joachim","last_name":"Wuttke"}],"title":"The human factor: Results of a small-angle scattering data analysis round robin","quality_controlled":"1","volume":56,"date_published":"2023-12-01T00:00:00Z","file":[{"success":1,"file_size":2165864,"file_id":"14822","relation":"main_file","checksum":"dab30d4556360f2cecf99f4b7efb0ee9","access_level":"open_access","creator":"dernst","file_name":"2023_JourApplCrystallography_Pauw.pdf","content_type":"application/pdf","date_created":"2024-01-17T07:47:35Z","date_updated":"2024-01-17T07:47:35Z"}],"language":[{"iso":"eng"}],"arxiv":1,"isi":1,"publisher":"International Union of Crystallography","publication":"Journal of Applied Crystallography","intvolume":"        56","scopus_import":"1","page":"1618-1629","das_tickbox":"1","ddc":["540"],"_id":"14799","has_accepted_license":"1","article_type":"original","oa":1,"date_created":"2024-01-14T23:00:57Z","external_id":{"isi":["001120776200002"],"arxiv":["2303.03772"]},"fulldoi":"https://doi.org/10.1107/S1600576723008324","department":[{"_id":"LifeSc"}],"publication_status":"published","oa_version":"Published Version","article_processing_charge":"Yes (via OA deal)","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-07-07T06:18:55Z","day":"01","type":"journal_article","file_date_updated":"2024-01-17T07:47:35Z","citation":{"short":"B.R. Pauw, G.J. Smales, A.S. Anker, V. Annadurai, D. Balazs, R. Bienert, W.G. Bouwman, I. Breßler, J. Breternitz, E.S. Brok, G. Bryant, A.J. Clulow, E.R. Crater, F. De Geuser, A.D. Giudice, J. Deumer, S. Disch, S. Dutt, K. Frank, E. Fratini, P.R.A.F. Garcia, E.P. Gilbert, M.B. Hahn, J. Hallett, M. Hohenschutz, M. Hollamby, S. Huband, J. Ilavsky, J.K. Jochum, M. Juelsholt, B.W. Mansel, P. Penttilä, R.K. Pittkowski, G. Portale, L.D. Pozzo, L. Rochels, J.M. Rosalie, P.E.J. Saloga, S. Seibt, A.J. Smith, G.N. Smith, G.A. Spiering, T.M. Stawski, O. Taché, A.F. Thünemann, K. Toth, A.E. Whitten, J. Wuttke, Journal of Applied Crystallography 56 (2023) 1618–1629.","mla":"Pauw, Brian R., et al. “The Human Factor: Results of a Small-Angle Scattering Data Analysis Round Robin.” <i>Journal of Applied Crystallography</i>, vol. 56, no. 6, International Union of Crystallography, 2023, pp. 1618–29, doi:<a href=\"https://doi.org/10.1107/S1600576723008324\">10.1107/S1600576723008324</a>.","chicago":"Pauw, Brian R., Glen J. Smales, Andy S. Anker, Venkatasamy Annadurai, Daniel Balazs, Ralf Bienert, Wim G. Bouwman, et al. “The Human Factor: Results of a Small-Angle Scattering Data Analysis Round Robin.” <i>Journal of Applied Crystallography</i>. International Union of Crystallography, 2023. <a href=\"https://doi.org/10.1107/S1600576723008324\">https://doi.org/10.1107/S1600576723008324</a>.","ista":"Pauw BR, Smales GJ, Anker AS, Annadurai V, Balazs D, Bienert R, Bouwman WG, Breßler I, Breternitz J, Brok ES, Bryant G, Clulow AJ, Crater ER, De Geuser F, Giudice AD, Deumer J, Disch S, Dutt S, Frank K, Fratini E, Garcia PRAF, Gilbert EP, Hahn MB, Hallett J, Hohenschutz M, Hollamby M, Huband S, Ilavsky J, Jochum JK, Juelsholt M, Mansel BW, Penttilä P, Pittkowski RK, Portale G, Pozzo LD, Rochels L, Rosalie JM, Saloga PEJ, Seibt S, Smith AJ, Smith GN, Spiering GA, Stawski TM, Taché O, Thünemann AF, Toth K, Whitten AE, Wuttke J. 2023. The human factor: Results of a small-angle scattering data analysis round robin. Journal of Applied Crystallography. 56(6), 1618–1629.","ieee":"B. R. Pauw <i>et al.</i>, “The human factor: Results of a small-angle scattering data analysis round robin,” <i>Journal of Applied Crystallography</i>, vol. 56, no. 6. International Union of Crystallography, pp. 1618–1629, 2023.","ama":"Pauw BR, Smales GJ, Anker AS, et al. The human factor: Results of a small-angle scattering data analysis round robin. <i>Journal of Applied Crystallography</i>. 2023;56(6):1618-1629. doi:<a href=\"https://doi.org/10.1107/S1600576723008324\">10.1107/S1600576723008324</a>","apa":"Pauw, B. R., Smales, G. J., Anker, A. S., Annadurai, V., Balazs, D., Bienert, R., … Wuttke, J. (2023). The human factor: Results of a small-angle scattering data analysis round robin. <i>Journal of Applied Crystallography</i>. International Union of Crystallography. <a href=\"https://doi.org/10.1107/S1600576723008324\">https://doi.org/10.1107/S1600576723008324</a>"},"month":"12","doi":"10.1107/S1600576723008324","publication_identifier":{"issn":["0021-8898"],"eissn":["1600-5767"]},"acknowledgement":"KT acknowledges the NIST–NRC postdoctoral fellowship program for support. This work was partially funded through the European Metrology Programme for Innovation and Research (EMPIR) project No. 17NRM04.\r\nCertain commercial equipment, instruments, materials or software are identified in this article in order to specify the experimental procedure adequately. Such identification is not intended to imply recommendation or endorsement by NIST, nor is it intended to imply that the materials or equipment identified are necessarily the best available for the purpose. Open access funding enabled and organized by Projekt DEAL.","status":"public","year":"2023","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"issue":"6","abstract":[{"lang":"eng","text":"A round-robin study has been carried out to estimate the impact of the human element in small-angle scattering data analysis. Four corrected datasets were provided to participants ready for analysis. All datasets were measured on samples containing spherical scatterers, with two datasets in dilute dispersions and two from powders. Most of the 46 participants correctly identified the number of populations in the dilute dispersions, with half of the population\r\nmean entries within 1.5% and half of the population width entries within 40%. Due to the added complexity of the structure factor, far fewer people submitted answers on the powder datasets. For those that did, half of the entries for the means and widths were within 44 and 86%, respectively. This round-robin experiment highlights several causes for the discrepancies, for which solutions are proposed."}]},{"main_file_link":[{"url":"https://doi.org/10.1609/aaai.v37i5.25679","open_access":"1"}],"ec_funded":1,"type":"conference","day":"27","citation":{"apa":"Avni, G., Jecker, I. R., &#38; Zikelic, D. (2023). Bidding graph games with partially-observable budgets. In <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i> (Vol. 37, pp. 5464–5471). Washington, DC, United States: AAAI Press. <a href=\"https://doi.org/10.1609/aaai.v37i5.25679\">https://doi.org/10.1609/aaai.v37i5.25679</a>","ista":"Avni G, Jecker IR, Zikelic D. 2023. Bidding graph games with partially-observable budgets. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 5464–5471.","ieee":"G. Avni, I. R. Jecker, and D. Zikelic, “Bidding graph games with partially-observable budgets,” in <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>, Washington, DC, United States, 2023, vol. 37, no. 5, pp. 5464–5471.","ama":"Avni G, Jecker IR, Zikelic D. Bidding graph games with partially-observable budgets. In: <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>. Vol 37. AAAI Press; 2023:5464-5471. doi:<a href=\"https://doi.org/10.1609/aaai.v37i5.25679\">10.1609/aaai.v37i5.25679</a>","short":"G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI Press, 2023, pp. 5464–5471.","chicago":"Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with Partially-Observable Budgets.” In <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>, 37:5464–71. AAAI Press, 2023. <a href=\"https://doi.org/10.1609/aaai.v37i5.25679\">https://doi.org/10.1609/aaai.v37i5.25679</a>.","mla":"Avni, Guy, et al. “Bidding Graph Games with Partially-Observable Budgets.” <i>Proceedings of the 37th AAAI Conference on Artificial Intelligence</i>, vol. 37, no. 5, AAAI Press, 2023, pp. 5464–71, doi:<a href=\"https://doi.org/10.1609/aaai.v37i5.25679\">10.1609/aaai.v37i5.25679</a>."},"month":"06","publication_identifier":{"isbn":["9781577358800"]},"doi":"10.1609/aaai.v37i5.25679","acknowledgement":"This research was supported in part by ISF grant no.1679/21, by the ERC CoG 863818 (ForM-SMArt), and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.","status":"public","year":"2023","issue":"5","abstract":[{"lang":"eng","text":"Two-player zero-sum \"graph games\" are central in logic, verification, and multi-agent systems. The game proceeds by placing a token on a vertex of a graph, and allowing the players to move it to produce an infinite path, which determines the winner or payoff of the game. Traditionally, the players alternate turns in moving the token. In \"bidding games\", however, the players have budgets and in each turn, an auction (bidding) determines which player moves the token. So far, bidding games have only been studied as full-information games. In this work we initiate the study of partial-information bidding games: we study bidding games in which a player's initial budget is drawn from a known probability distribution. We show that while for some bidding mechanisms and objectives, it is straightforward to adapt the results from the full-information setting to the partial-information setting, for others, the analysis is significantly more challenging, requires new techniques, and gives rise to interesting results. Specifically, we study games with \"mean-payoff\" objectives in combination with \"poorman\" bidding. We construct optimal strategies for a partially-informed player who plays against a fully-informed adversary. We show that, somewhat surprisingly, the \"value\" under pure strategies does not necessarily exist in such games."}],"external_id":{"arxiv":["2211.13626"]},"fulldoi":"https://doi.org/10.1609/aaai.v37i5.25679","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"publication_status":"published","oa_version":"Published Version","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-07-07T06:24:15Z","publisher":"AAAI Press","conference":{"name":"AAAI: Conference on Artificial Intelligence","location":"Washington, DC, United States","start_date":"2023-02-07","end_date":"2023-02-14"},"publication":"Proceedings of the 37th AAAI Conference on Artificial Intelligence","scopus_import":"1","intvolume":"        37","das_tickbox":"1","page":"5464-5471","ddc":["000"],"_id":"14243","project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"},{"call_identifier":"H2020","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385"}],"date_created":"2023-08-27T22:01:18Z","oa":1,"author":[{"full_name":"Avni, Guy","orcid":"0000-0001-5588-8287","last_name":"Avni","first_name":"Guy","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Ismael R","last_name":"Jecker","id":"85D7C63E-7D5D-11E9-9C0F-98C4E5697425","full_name":"Jecker, Ismael R"},{"last_name":"Zikelic","first_name":"Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","full_name":"Zikelic, Dorde","orcid":"0000-0002-4681-1699"}],"title":"Bidding graph games with partially-observable budgets","quality_controlled":"1","volume":37,"date_published":"2023-06-27T00:00:00Z","language":[{"iso":"eng"}],"arxiv":1},{"publication_identifier":{"issn":["1049-5258"]},"year":"2023","acknowledgement":"Moses Charikar was supported by a Simons Investigator award. Lunjia Hu was supported by Moses Charikar’s and Omer Reingold’s Simons Investigators awards, Omer Reingold’s NSF Award IIS-1908774, and the Simons Foundation Collaboration on the Theory of Algorithmic Fairness. Part of this work was done while Erik Waingarten was a postdoc at Stanford University, supported by an NSF postdoctoral fellowship and by Moses Charikar’s Simons\r\nInvestigator Award. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme\r\n(Grant agreement No. 101019564 “The Design of Modern Fully Dynamic Data\r\nStructures (MoDynStruct)” and the Austrian Science Fund (FWF) project Z 422-N, project “Static and Dynamic Hierarchical Graph Decompositions”, I 5982-N, and project “Fast Algorithms for a Reactive Network Layer (ReactNet)”, P 33775-N, with additional funding from the netidee SCIENCE Stiftung, 2020–2024.","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"lang":"eng","text":"Clustering is a fundamental problem in unsupervised machine learning with many applications in data analysis. Popular clustering algorithms such as Lloyd's algorithm and k-means++ can make Ω(ndk) time when clustering n points in a d-dimensional space (represented by an n×d matrix X) into k clusters. On massive datasets with moderate to large k, the multiplicative \r\nk factor can become very expensive. We introduce a simple randomized clustering algorithm that provably runs in expected time O(nnz(X)+nlogn) for arbitrary k. Here nnz(X) is the total number of non-zero entries in the input dataset X, which is upper bounded by nd and can be significantly smaller for sparse datasets. We prove that our algorithm achieves approximation ratio ˜O(k4) on any input dataset for the k-means objective, and our experiments show that the quality of the clusters found by our algorithm is usually much better than this worst-case bound. We use our algorithm for k-means clustering and for coreset construction; our experiments show that it gives a new tradeoff between running time and cluster quality compared to previous state-of-the-art methods for these tasks. Our theoretical analysis is based on novel results of independent interest. We show that the approximation ratio achieved after a random one-dimensional projection can be lifted to the original points and that k-means++ seeding can be implemented in expected time O(nlogn) in one dimension."}],"ec_funded":1,"file_date_updated":"2024-05-22T07:34:00Z","type":"conference","day":"15","citation":{"apa":"Charikar, M., Hu, L., Henzinger, M., Vötsch, M., &#38; Waingarten, E. (2023). Simple, scalable and effective clustering via one-dimensional projections. In <i>37th Conference on Neural Information Processing Systems</i> (Vol. 36). New Orleans, LA, United States: Neural Information Processing Systems Foundation.","ieee":"M. Charikar, L. Hu, M. Henzinger, M. Vötsch, and E. Waingarten, “Simple, scalable and effective clustering via one-dimensional projections,” in <i>37th Conference on Neural Information Processing Systems</i>, New Orleans, LA, United States, 2023, vol. 36.","ista":"Charikar M, Hu L, Henzinger M, Vötsch M, Waingarten E. 2023. Simple, scalable and effective clustering via one-dimensional projections. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 36.","ama":"Charikar M, Hu L, Henzinger M, Vötsch M, Waingarten E. Simple, scalable and effective clustering via one-dimensional projections. In: <i>37th Conference on Neural Information Processing Systems</i>. Vol 36. Neural Information Processing Systems Foundation; 2023.","chicago":"Charikar, Moses, Lunjia Hu, Monika Henzinger, Maximilian Vötsch, and Erik Waingarten. “Simple, Scalable and Effective Clustering via One-Dimensional Projections.” In <i>37th Conference on Neural Information Processing Systems</i>, Vol. 36. Neural Information Processing Systems Foundation, 2023.","mla":"Charikar, Moses, et al. “Simple, Scalable and Effective Clustering via One-Dimensional Projections.” <i>37th Conference on Neural Information Processing Systems</i>, vol. 36, Neural Information Processing Systems Foundation, 2023.","short":"M. Charikar, L. Hu, M. Henzinger, M. Vötsch, E. Waingarten, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023."},"month":"12","article_processing_charge":"Yes","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-07-07T06:37:54Z","external_id":{"arxiv":["2310.16752"]},"department":[{"_id":"MoHe"}],"publication_status":"published","scopus_import":"1","intvolume":"        36","publication":"37th Conference on Neural Information Processing Systems","_id":"15364","ddc":["000"],"das_tickbox":"1","project":[{"name":"The design and evaluation of modern fully dynamic data structures","call_identifier":"H2020","grant_number":"101019564","_id":"bd9ca328-d553-11ed-ba76-dc4f890cfe62"},{"name":"Efficient algorithms","_id":"34def286-11ca-11ed-8bc3-da5948e1613c","grant_number":"Z00422"},{"_id":"bda196b2-d553-11ed-ba76-8e8ee6c21103","grant_number":"I05982","name":"Static and Dynamic Hierarchical Graph Decompositions"},{"_id":"bd9e3a2e-d553-11ed-ba76-8aa684ce17fe","grant_number":"P33775","name":"Fast Algorithms for a Reactive Network Layer"}],"has_accepted_license":"1","oa":1,"date_created":"2024-05-05T22:01:05Z","publisher":"Neural Information Processing Systems Foundation","alternative_title":["Advances in Neural Information Processing Systems"],"conference":{"start_date":"2023-12-10","location":"New Orleans, LA, United States","name":"NeurIPS: Neural Information Processing Systems","end_date":"2023-12-16"},"file":[{"access_level":"open_access","checksum":"d169a147a2adf55878e0a99e36a9d468","relation":"main_file","file_id":"15416","success":1,"file_size":1445159,"date_created":"2024-05-22T07:34:00Z","date_updated":"2024-05-22T07:34:00Z","content_type":"application/pdf","creator":"dernst","file_name":"2023_Neurips_Charikar.pdf"}],"date_published":"2023-12-15T00:00:00Z","arxiv":1,"language":[{"iso":"eng"}],"author":[{"full_name":"Charikar, Moses","first_name":"Moses","last_name":"Charikar"},{"last_name":"Hu","first_name":"Lunjia","full_name":"Hu, Lunjia"},{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","last_name":"Henzinger","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H"},{"last_name":"Vötsch","first_name":"Maximilian","full_name":"Vötsch, Maximilian"},{"full_name":"Waingarten, Erik","last_name":"Waingarten","first_name":"Erik"}],"title":"Simple, scalable and effective clustering via one-dimensional projections","volume":36,"quality_controlled":"1"},{"ec_funded":1,"day":"15","type":"conference","file_date_updated":"2024-05-22T08:08:08Z","citation":{"ista":"Safaryan M, Krumes A, Alistarh D-A. 2023. Knowledge distillation performs partial variance reduction. 36th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 36.","apa":"Safaryan, M., Krumes, A., &#38; Alistarh, D.-A. (2023). Knowledge distillation performs partial variance reduction. In <i>36th Conference on Neural Information Processing Systems</i> (Vol. 36). New Orleans, LA, United States: Neural Information Processing Systems Foundation.","ieee":"M. Safaryan, A. Krumes, and D.-A. Alistarh, “Knowledge distillation performs partial variance reduction,” in <i>36th Conference on Neural Information Processing Systems</i>, New Orleans, LA, United States, 2023, vol. 36.","ama":"Safaryan M, Krumes A, Alistarh D-A. Knowledge distillation performs partial variance reduction. In: <i>36th Conference on Neural Information Processing Systems</i>. Vol 36. Neural Information Processing Systems Foundation; 2023.","mla":"Safaryan, Mher, et al. “Knowledge Distillation Performs Partial Variance Reduction.” <i>36th Conference on Neural Information Processing Systems</i>, vol. 36, Neural Information Processing Systems Foundation, 2023.","chicago":"Safaryan, Mher, Alexandra Krumes, and Dan-Adrian Alistarh. “Knowledge Distillation Performs Partial Variance Reduction.” In <i>36th Conference on Neural Information Processing Systems</i>, Vol. 36. Neural Information Processing Systems Foundation, 2023.","short":"M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023."},"month":"12","publication_identifier":{"issn":["1049-5258"]},"status":"public","acknowledgement":"MS has received funding from the European Union’s Horizon 2020 research and innovation programme\r\nunder the Marie Skłodowska-Curie grant agreement No 101034413.","year":"2023","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"lang":"eng","text":"Knowledge distillation is a popular approach for enhancing the performance of \"student\" models, with lower representational capacity, by taking advantage of more powerful \"teacher\" models. Despite its apparent simplicity, the underlying mechanics behind knowledge distillation (KD) are not yet fully understood. In this work, we shed new light on the inner workings of this method, by examining it from an optimization perspective. Specifically, we show that, in the context of linear and deep linear models, KD can be interpreted as a novel type of stochastic variance reduction mechanism. We provide a detailed convergence analysis of the resulting dynamics, which hold under standard assumptions for both strongly-convex and non-convex losses, showing that KD acts as a form of \\emph{partial variance reduction}, which can reduce the stochastic gradient noise, but may not eliminate it completely, depending on the properties of the teacher'' model. Our analysis puts further emphasis on the need for careful parametrization of KD, in particular w.r.t. the weighting of the distillation loss, and is validated empirically on both linear models and deep neural networks."}],"external_id":{"arxiv":["2305.17581"]},"department":[{"_id":"DaAl"}],"publication_status":"published","oa_version":"Published Version","article_processing_charge":"Yes","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-07-07T06:37:28Z","publisher":"Neural Information Processing Systems Foundation","conference":{"start_date":"2023-12-10","location":"New Orleans, LA, United States","name":"NeurIPS: Neural Information Processing Systems","end_date":"2023-12-16"},"alternative_title":["Advances in Neural Information Processing Systems"],"publication":"36th Conference on Neural Information Processing Systems","intvolume":"        36","scopus_import":"1","ddc":["000"],"das_tickbox":"1","_id":"15363","has_accepted_license":"1","project":[{"call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413"}],"oa":1,"date_created":"2024-05-05T22:01:04Z","author":[{"last_name":"Safaryan","first_name":"Mher","id":"dd546b39-0804-11ed-9c55-ef075c39778d","full_name":"Safaryan, Mher"},{"full_name":"Peste, Elena-Alexandra","id":"32D78294-F248-11E8-B48F-1D18A9856A87","last_name":"Peste","first_name":"Elena-Alexandra"},{"orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","last_name":"Alistarh"}],"title":"Knowledge distillation performs partial variance reduction","quality_controlled":"1","volume":36,"corr_author":"1","date_published":"2023-12-15T00:00:00Z","file":[{"checksum":"288c5148a85abf24ad5e22a6b1183655","access_level":"open_access","file_size":672571,"success":1,"file_id":"15417","relation":"main_file","date_updated":"2024-05-22T08:08:08Z","date_created":"2024-05-22T08:08:08Z","creator":"dernst","file_name":"2023_Neurips_Safaryan.pdf","content_type":"application/pdf"}],"language":[{"iso":"eng"}],"arxiv":1},{"abstract":[{"text":"Neural collapse (NC) refers to the surprising structure of the last layer of deep neural networks in the terminal phase of gradient descent training. Recently, an increasing amount of experimental evidence has pointed to the propagation of NC to earlier layers of neural networks. However, while the NC in the last layer is well studied theoretically, much less is known about its multi-layered counterpart - deep neural collapse (DNC). In particular, existing work focuses either on linear layers or only on the last two layers at the price of an extra assumption. Our paper fills this gap by generalizing the established analytical framework for NC - the unconstrained features model - to multiple non-linear layers. Our key technical contribution is to show that, in a deep unconstrained features model, the unique global optimum for binary classification exhibits all the properties typical of DNC. This explains the existing experimental evidence of DNC. We also empirically show that (i) by optimizing deep unconstrained features models via gradient descent, the resulting solution agrees well with our theory, and (ii) trained networks recover the unconstrained features suitable for the occurrence of DNC, thus supporting the validity of this modeling principle.","lang":"eng"}],"status":"public","acknowledgement":"M. M. is partially supported by the 2019 Lopez-Loreta Prize. The authors would like to thank Eugenia Iofinova, Bernd Prach and Simone Bombari for valuable feedback on the manuscript.","year":"2023","publication_identifier":{"eissn":["1049-5258"]},"month":"12","citation":{"mla":"Súkeník, Peter, et al. “Deep Neural Collapse Is Provably Optimal for the Deep Unconstrained Features Model.” <i>37th Conference on Neural Information Processing Systems</i>, Neural Information Processing Systems Foundation, 2023.","chicago":"Súkeník, Peter, Marco Mondelli, and Christoph Lampert. “Deep Neural Collapse Is Provably Optimal for the Deep Unconstrained Features Model.” In <i>37th Conference on Neural Information Processing Systems</i>. Neural Information Processing Systems Foundation, 2023.","short":"P. Súkeník, M. Mondelli, C. Lampert, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.","apa":"Súkeník, P., Mondelli, M., &#38; Lampert, C. (2023). Deep neural collapse is provably optimal for the deep unconstrained features model. In <i>37th Conference on Neural Information Processing Systems</i>. New Orleans, LA, United States: Neural Information Processing Systems Foundation.","ama":"Súkeník P, Mondelli M, Lampert C. Deep neural collapse is provably optimal for the deep unconstrained features model. In: <i>37th Conference on Neural Information Processing Systems</i>. Neural Information Processing Systems Foundation; 2023.","ieee":"P. Súkeník, M. Mondelli, and C. Lampert, “Deep neural collapse is provably optimal for the deep unconstrained features model,” in <i>37th Conference on Neural Information Processing Systems</i>, New Orleans, LA, United States, 2023.","ista":"Súkeník P, Mondelli M, Lampert C. 2023. Deep neural collapse is provably optimal for the deep unconstrained features model. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, ."},"type":"conference","day":"15","main_file_link":[{"open_access":"1","url":" https://doi.org/10.48550/arXiv.2305.13165"}],"date_updated":"2026-07-07T06:35:57Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","oa_version":"Preprint","publication_status":"published","department":[{"_id":"MaMo"},{"_id":"ChLa"}],"external_id":{"arxiv":["2305.13165"]},"date_created":"2024-02-02T11:17:41Z","oa":1,"project":[{"name":"Prix Lopez-Loretta 2019 - Marco Mondelli","_id":"059876FA-7A3F-11EA-A408-12923DDC885E"}],"das_tickbox":"1","_id":"14921","publication":"37th Conference on Neural Information Processing Systems","conference":{"end_date":"2023-12-16","location":"New Orleans, LA, United States","start_date":"2023-12-10","name":"NeurIPS: Neural Information Processing Systems"},"alternative_title":["Advances in Neural Information Processing Systems"],"publisher":"Neural Information Processing Systems Foundation","language":[{"iso":"eng"}],"arxiv":1,"date_published":"2023-12-15T00:00:00Z","corr_author":"1","quality_controlled":"1","title":"Deep neural collapse is provably optimal for the deep unconstrained features model","author":[{"full_name":"Súkeník, Peter","first_name":"Peter","last_name":"Súkeník","id":"d64d6a8d-eb8e-11eb-b029-96fd216dec3c"},{"first_name":"Marco","last_name":"Mondelli","id":"27EB676C-8706-11E9-9510-7717E6697425","full_name":"Mondelli, Marco","orcid":"0000-0002-3242-7020"},{"last_name":"Lampert","first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887"}]},{"author":[{"first_name":"Nikita","last_name":"Koval","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","full_name":"Koval, Nikita"},{"full_name":"Fedorov, Alexander","first_name":"Alexander","last_name":"Fedorov","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6"},{"last_name":"Sokolova","first_name":"Maria","full_name":"Sokolova, Maria"},{"full_name":"Tsitelov, Dmitry","last_name":"Tsitelov","first_name":"Dmitry"},{"orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","last_name":"Alistarh"}],"title":"Lincheck: A practical framework for testing concurrent data structures on JVM","volume":13964,"quality_controlled":"1","related_material":{"record":[{"relation":"research_data","status":"public","id":"14995"}]},"file":[{"relation":"main_file","file_id":"14275","success":1,"file_size":421408,"checksum":"c346016393123a0a2338ad4d976f61bc","access_level":"open_access","content_type":"application/pdf","file_name":"2023_LNCS_Koval.pdf","creator":"dernst","date_created":"2023-09-06T08:16:25Z","date_updated":"2023-09-06T08:16:25Z"}],"date_published":"2023-07-17T00:00:00Z","language":[{"iso":"eng"}],"isi":1,"publisher":"Springer Nature","alternative_title":["LNCS"],"conference":{"end_date":"2023-07-22","location":"Paris, France","start_date":"2023-07-17","name":"CAV: Computer Aided Verification"},"_id":"14260","page":"156-169","ddc":["000"],"das_tickbox":"1","intvolume":"     13964","scopus_import":"1","publication":"35th International Conference on Computer Aided Verification","date_created":"2023-09-03T22:01:16Z","oa":1,"has_accepted_license":"1","fulldoi":"https://doi.org/10.1007/978-3-031-37706-8_8","external_id":{"isi":["001310786500008"]},"publication_status":"published","department":[{"_id":"DaAl"},{"_id":"GradSch"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"Yes (in subscription journal)","oa_version":"Published Version","date_updated":"2026-07-07T13:39:36Z","file_date_updated":"2023-09-06T08:16:25Z","type":"conference","day":"17","month":"07","citation":{"ista":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM. 35th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13964, 156–169.","ieee":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in <i>35th International Conference on Computer Aided Verification</i>, Paris, France, 2023, vol. 13964, pp. 156–169.","ama":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: <i>35th International Conference on Computer Aided Verification</i>. Vol 13964. Springer Nature; 2023:156-169. doi:<a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">10.1007/978-3-031-37706-8_8</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. In <i>35th International Conference on Computer Aided Verification</i> (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">https://doi.org/10.1007/978-3-031-37706-8_8</a>","short":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 156–169.","chicago":"Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” In <i>35th International Conference on Computer Aided Verification</i>, 13964:156–69. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">https://doi.org/10.1007/978-3-031-37706-8_8</a>.","mla":"Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” <i>35th International Conference on Computer Aided Verification</i>, vol. 13964, Springer Nature, 2023, pp. 156–69, doi:<a href=\"https://doi.org/10.1007/978-3-031-37706-8_8\">10.1007/978-3-031-37706-8_8</a>."},"year":"2023","status":"public","doi":"10.1007/978-3-031-37706-8_8","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783031377051"]},"abstract":[{"lang":"eng","text":"This paper presents Lincheck, a new practical and user-friendly framework for testing concurrent algorithms on the Java Virtual Machine (JVM). Lincheck 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. The framework automatically generates a set of concurrent scenarios, examines them using stress-testing or bounded model checking, and verifies that the results of each invocation are correct. Notably, if an error is detected via model checking, Lincheck provides an easy-to-follow trace to reproduce it, significantly simplifying the bug investigation.\r\n\r\nTo the best of our knowledge, Lincheck is the first production-ready tool on the JVM that offers such a simple way of writing concurrent tests, without requiring special skills or expertise. We successfully integrated Lincheck in the development process of several large projects, such as Kotlin Coroutines, and identified new bugs in popular concurrency libraries, such as a race in Java’s standard ConcurrentLinkedDeque and a liveliness bug in Java’s AbstractQueuedSynchronizer framework, which is used in most of the synchronization primitives. We believe that Lincheck can significantly improve the quality and productivity of concurrent algorithms research and development and become the state-of-the-art tool for checking their correctness."}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"}},{"language":[{"iso":"eng"}],"file":[{"file_name":"2023_LNCS_CAV_Kretinsky.pdf","creator":"dernst","content_type":"application/pdf","date_created":"2023-09-06T08:25:50Z","date_updated":"2023-09-06T08:25:50Z","success":1,"file_size":428354,"relation":"main_file","file_id":"14276","access_level":"open_access","checksum":"ed66278b61bb869e1baba3d9b9081271"}],"date_published":"2023-07-17T00:00:00Z","volume":13964,"quality_controlled":"1","title":"Guessing winning policies in LTL synthesis by semantic learning","author":[{"id":"44CEF464-F248-11E8-B48F-1D18A9856A87","last_name":"Kretinsky","first_name":"Jan","orcid":"0000-0002-8122-2881","full_name":"Kretinsky, Jan"},{"id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","last_name":"Meggendorfer","first_name":"Tobias","orcid":"0000-0002-1712-2165","full_name":"Meggendorfer, Tobias"},{"full_name":"Prokop, Maximilian","last_name":"Prokop","first_name":"Maximilian"},{"full_name":"Rieder, Sabine","first_name":"Sabine","last_name":"Rieder"}],"has_accepted_license":"1","date_created":"2023-09-03T22:01:16Z","oa":1,"intvolume":"     13964","scopus_import":"1","publication":"35th International Conference on Computer Aided Verification","_id":"14259","das_tickbox":"1","page":"390-414","ddc":["000"],"alternative_title":["LNCS"],"conference":{"end_date":"2023-07-22","start_date":"2023-07-17","location":"Paris, France","name":"CAV: Computer Aided Verification"},"publisher":"Springer Nature","isi":1,"date_updated":"2026-07-07T13:39:23Z","oa_version":"Published Version","article_processing_charge":"Yes (in subscription journal)","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"KrCh"}],"publication_status":"published","external_id":{"isi":["001310786500020"]},"fulldoi":"https://doi.org/10.1007/978-3-031-37706-8_20","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"We provide a learning-based technique for guessing a winning strategy in a parity game originating from an LTL synthesis problem. A cheaply obtained guess can be useful in several applications. Not only can the guessed strategy be applied as best-effort in cases where the game’s huge size prohibits rigorous approaches, but it can also increase the scalability of rigorous LTL synthesis in several ways. Firstly, checking whether a guessed strategy is winning is easier than constructing one. Secondly, even if the guess is wrong in some places, it can be fixed by strategy iteration faster than constructing one from scratch. Thirdly, the guess can be used in on-the-fly approaches to prioritize exploration in the most fruitful directions.\r\nIn contrast to previous works, we (i) reflect the highly structured logical information in game’s states, the so-called semantic labelling, coming from the recent LTL-to-automata translations, and (ii) learn to reflect it properly by learning from previously solved games, bringing the solving process closer to human-like reasoning.","lang":"eng"}],"publication_identifier":{"isbn":["9783031377051"],"eissn":["1611-3349"],"issn":["0302-9743"]},"doi":"10.1007/978-3-031-37706-8_20","year":"2023","acknowledgement":"This research was funded in part by the German Research Foundation (DFG) project 427755713 Group-By Objectives in Probabilistic Verification (GOPro).","status":"public","citation":{"chicago":"Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” In <i>35th International Conference on Computer Aided Verification</i>, 13964:390–414. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37706-8_20\">https://doi.org/10.1007/978-3-031-37706-8_20</a>.","mla":"Kretinsky, Jan, et al. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” <i>35th International Conference on Computer Aided Verification</i>, vol. 13964, Springer Nature, 2023, pp. 390–414, doi:<a href=\"https://doi.org/10.1007/978-3-031-37706-8_20\">10.1007/978-3-031-37706-8_20</a>.","short":"J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 390–414.","ama":"Kretinsky J, Meggendorfer T, Prokop M, Rieder S. Guessing winning policies in LTL synthesis by semantic learning. In: <i>35th International Conference on Computer Aided Verification</i>. Vol 13964. Springer Nature; 2023:390-414. doi:<a href=\"https://doi.org/10.1007/978-3-031-37706-8_20\">10.1007/978-3-031-37706-8_20</a>","apa":"Kretinsky, J., Meggendorfer, T., Prokop, M., &#38; Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In <i>35th International Conference on Computer Aided Verification</i> (Vol. 13964, pp. 390–414). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37706-8_20\">https://doi.org/10.1007/978-3-031-37706-8_20</a>","ieee":"J. Kretinsky, T. Meggendorfer, M. Prokop, and S. Rieder, “Guessing winning policies in LTL synthesis by semantic learning,” in <i>35th International Conference on Computer Aided Verification</i>, Paris, France, 2023, vol. 13964, pp. 390–414.","ista":"Kretinsky J, Meggendorfer T, Prokop M, Rieder S. 2023. Guessing winning policies in LTL synthesis by semantic learning. 35th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13964, 390–414."},"month":"07","file_date_updated":"2023-09-06T08:25:50Z","type":"conference","day":"17"},{"publisher":"Zenodo","main_file_link":[{"url":"https://doi.org/10.5281/zenodo.7877757","open_access":"1"}],"day":"28","type":"research_data_reference","citation":{"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>","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>.","ieee":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.","ama":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. 2023. doi:<a href=\"https://doi.org/10.5281/ZENODO.7877757\">10.5281/ZENODO.7877757</a>","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>.","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)."},"month":"04","doi":"10.5281/ZENODO.7877757","year":"2023","_id":"14995","ddc":["000"],"status":"public","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."}],"oa":1,"date_created":"2024-02-14T15:14:13Z","author":[{"full_name":"Koval, Nikita","first_name":"Nikita","last_name":"Koval","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Fedorov, Alexander","first_name":"Alexander","last_name":"Fedorov","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6"},{"full_name":"Sokolova, Maria","last_name":"Sokolova","first_name":"Maria"},{"full_name":"Tsitelov, Dmitry","last_name":"Tsitelov","first_name":"Dmitry"},{"first_name":"Dan-Adrian","last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X"}],"fulldoi":"https://doi.org/10.5281/ZENODO.7877757","title":"Lincheck: A practical framework for testing concurrent data structures on JVM","department":[{"_id":"DaAl"}],"article_processing_charge":"No","oa_version":"Published Version","date_published":"2023-04-28T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"id":"14260","status":"public","relation":"used_in_publication"}]},"date_updated":"2026-07-07T13:39:35Z"},{"isi":1,"publisher":"Society for Industrial and Applied Mathematics","page":"452-486","_id":"12960","publication":"SIAM Journal on Computing","scopus_import":"1","intvolume":"        52","oa":1,"date_created":"2023-05-14T22:01:00Z","project":[{"grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020"},{"name":"Learning and triangulating manifolds via collapses","grant_number":"M03073","_id":"fc390959-9c52-11eb-aca3-afa58bd282b2"}],"article_type":"original","author":[{"full_name":"Boissonnat, Jean Daniel","last_name":"Boissonnat","first_name":"Jean Daniel"},{"last_name":"Kachanovich","first_name":"Siargey","full_name":"Kachanovich, Siargey"},{"orcid":"0000-0002-7472-2220","full_name":"Wintraecken, Mathijs","id":"307CFBC8-F248-11E8-B48F-1D18A9856A87","last_name":"Wintraecken","first_name":"Mathijs"}],"title":"Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations","quality_controlled":"1","volume":52,"related_material":{"record":[{"relation":"earlier_version","status":"public","id":"9441"}]},"corr_author":"1","date_published":"2023-04-30T00:00:00Z","language":[{"iso":"eng"}],"day":"30","type":"journal_article","ec_funded":1,"main_file_link":[{"url":"https://hal-emse.ccsd.cnrs.fr/3IA-COTEDAZUR/hal-04083489v1","open_access":"1"}],"month":"04","citation":{"apa":"Boissonnat, J. D., Kachanovich, S., &#38; Wintraecken, M. (2023). Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations. <i>SIAM Journal on Computing</i>. Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/21M1412918\">https://doi.org/10.1137/21M1412918</a>","ista":"Boissonnat JD, Kachanovich S, Wintraecken M. 2023. Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations. SIAM Journal on Computing. 52(2), 452–486.","ieee":"J. D. Boissonnat, S. Kachanovich, and M. Wintraecken, “Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations,” <i>SIAM Journal on Computing</i>, vol. 52, no. 2. Society for Industrial and Applied Mathematics, pp. 452–486, 2023.","ama":"Boissonnat JD, Kachanovich S, Wintraecken M. Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations. <i>SIAM Journal on Computing</i>. 2023;52(2):452-486. doi:<a href=\"https://doi.org/10.1137/21M1412918\">10.1137/21M1412918</a>","chicago":"Boissonnat, Jean Daniel, Siargey Kachanovich, and Mathijs Wintraecken. “Tracing Isomanifolds in Rd in Time Polynomial in d Using Coxeter–Freudenthal–Kuhn Triangulations.” <i>SIAM Journal on Computing</i>. Society for Industrial and Applied Mathematics, 2023. <a href=\"https://doi.org/10.1137/21M1412918\">https://doi.org/10.1137/21M1412918</a>.","mla":"Boissonnat, Jean Daniel, et al. “Tracing Isomanifolds in Rd in Time Polynomial in d Using Coxeter–Freudenthal–Kuhn Triangulations.” <i>SIAM Journal on Computing</i>, vol. 52, no. 2, Society for Industrial and Applied Mathematics, 2023, pp. 452–86, doi:<a href=\"https://doi.org/10.1137/21M1412918\">10.1137/21M1412918</a>.","short":"J.D. Boissonnat, S. Kachanovich, M. Wintraecken, SIAM Journal on Computing 52 (2023) 452–486."},"status":"public","acknowledgement":"The authors have received funding from the European Research Council under the European Union's ERC grant greement 339025 GUDHI (Algorithmic Foundations of Geometric Un-derstanding  in  Higher  Dimensions).   The  first  author  was  supported  by  the  French  government,through the 3IA C\\^ote d'Azur Investments in the Future project managed by the National ResearchAgency (ANR) with the reference ANR-19-P3IA-0002.  The third author was supported by the Eu-ropean Union's Horizon 2020 research and innovation programme under the Marie Sk\\lodowska-Curiegrant agreement 754411 and the FWF (Austrian Science Fund) grant M 3073.","year":"2023","publication_identifier":{"issn":["0097-5397"],"eissn":["1095-7111"]},"doi":"10.1137/21M1412918","issue":"2","abstract":[{"lang":"eng","text":"Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e., submanifolds of Rd defined as the zero set of some multivariate multivalued smooth function f:Rd→Rd−n, where n is the intrinsic dimension of the manifold. A natural way to approximate a smooth isomanifold M=f−1(0) is to consider its piecewise linear (PL) approximation M^\r\n based on a triangulation T of the ambient space Rd. In this paper, we describe a simple algorithm to trace isomanifolds from a given starting point. The algorithm works for arbitrary dimensions n and d, and any precision D. Our main result is that, when f (or M) has bounded complexity, the complexity of the algorithm is polynomial in d and δ=1/D (and unavoidably exponential in n). Since it is known that for δ=Ω(d2.5), M^ is O(D2)-close and isotopic to M\r\n, our algorithm produces a faithful PL-approximation of isomanifolds of bounded complexity in time polynomial in d. Combining this algorithm with dimensionality reduction techniques, the dependency on d in the size of M^ can be completely removed with high probability. We also show that the algorithm can handle isomanifolds with boundary and, more generally, isostratifolds. The algorithm for isomanifolds with boundary has been implemented and experimental results are reported, showing that it is practical and can handle cases that are far ahead of the state-of-the-art. "}],"fulldoi":"https://doi.org/10.1137/21M1412918","external_id":{"isi":["001013183000012"]},"publication_status":"published","department":[{"_id":"HeEd"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","oa_version":"Submitted Version","date_updated":"2026-07-07T13:43:40Z"},{"file_date_updated":"2023-09-06T07:13:19Z","type":"journal_article","day":"01","citation":{"mla":"Mathis, S., and Lisa Annabelle Bugnet. “Asymmetries of Frequency Splittings of Dipolar Mixed Modes: A Window on the Topology of Deep Magnetic Fields.” <i>Astronomy &#38; Astrophysics</i>, vol. 676, L9, EDP Sciences, 2023, doi:<a href=\"https://doi.org/10.1051/0004-6361/202346832\">10.1051/0004-6361/202346832</a>.","chicago":"Mathis, S., and Lisa Annabelle Bugnet. “Asymmetries of Frequency Splittings of Dipolar Mixed Modes: A Window on the Topology of Deep Magnetic Fields.” <i>Astronomy &#38; Astrophysics</i>. EDP Sciences, 2023. <a href=\"https://doi.org/10.1051/0004-6361/202346832\">https://doi.org/10.1051/0004-6361/202346832</a>.","short":"S. Mathis, L.A. Bugnet, Astronomy &#38; Astrophysics 676 (2023).","ista":"Mathis S, Bugnet LA. 2023. Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields. Astronomy &#38; Astrophysics. 676, L9.","apa":"Mathis, S., &#38; Bugnet, L. A. (2023). Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields. <i>Astronomy &#38; Astrophysics</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/0004-6361/202346832\">https://doi.org/10.1051/0004-6361/202346832</a>","ama":"Mathis S, Bugnet LA. Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields. <i>Astronomy &#38; Astrophysics</i>. 2023;676. doi:<a href=\"https://doi.org/10.1051/0004-6361/202346832\">10.1051/0004-6361/202346832</a>","ieee":"S. Mathis and L. A. Bugnet, “Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields,” <i>Astronomy &#38; Astrophysics</i>, vol. 676. EDP Sciences, 2023."},"month":"08","publication_identifier":{"issn":["0004-6361"],"eissn":["1432-0746"]},"doi":"10.1051/0004-6361/202346832","year":"2023","acknowledgement":"The authors are grateful to the referee for her/his detailed and constructive report, which has allowed us to improve our article. S. M. acknowledges support from the CNES GOLF-SOHO and PLATO grants at CEA/DAp and PNPS (CNRS/INSU). We thank R. A. Garcia for fruitful discussions and suggestions.","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"Context. Space asteroseismology is revolutionizing our knowledge of the internal structure and dynamics of stars. A breakthrough is ongoing with the recent discoveries of signatures of strong magnetic fields in the core of red giant stars. The key signature for such a detection is the asymmetry these fields induce in the frequency splittings of observed dipolar mixed gravito-acoustic modes.\r\nAims. We investigate the ability of the observed asymmetries of the frequency splittings of dipolar mixed modes to constrain the geometrical properties of deep magnetic fields.\r\nMethods. We used the powerful analytical Racah-Wigner algebra used in quantum mechanics to characterize the geometrical couplings of dipolar mixed oscillation modes with various realistically plausible topologies of fossil magnetic fields. We also computed the induced perturbation of their frequencies.\r\nResults. First, in the case of an oblique magnetic dipole, we provide the exact analytical expression of the asymmetry as a function of the angle between the rotation and magnetic axes. Its value provides a direct measure of this angle. Second, considering a combination of axisymmetric dipolar and quadrupolar fields, we show how the asymmetry is blind to the unraveling of the relative strength and sign of each component. Finally, in the case of a given multipole, we show that a negative asymmetry is a signature of non-axisymmetric topologies.\r\nConclusions. Asymmetries of dipolar mixed modes provide a key bit of information on the geometrical topology of deep fossil magnetic fields, but this is insufficient on its own. Asteroseismic constraints should therefore be combined with spectropolarimetric observations and numerical simulations, which aim to predict the more probable stable large-scale geometries.","lang":"eng"}],"external_id":{"isi":["001046037700007"],"arxiv":["2306.11587"]},"fulldoi":"https://doi.org/10.1051/0004-6361/202346832","department":[{"_id":"LiBu"}],"publication_status":"published","article_processing_charge":"Yes (in subscription journal)","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"L9","date_updated":"2026-07-08T06:45:55Z","isi":1,"publisher":"EDP Sciences","intvolume":"       676","scopus_import":"1","publication":"Astronomy & Astrophysics","_id":"14256","das_tickbox":"1","ddc":["520"],"article_type":"letter_note","has_accepted_license":"1","date_created":"2023-09-03T22:01:15Z","oa":1,"title":"Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields","author":[{"full_name":"Mathis, S.","last_name":"Mathis","first_name":"S."},{"full_name":"Bugnet, Lisa Annabelle","orcid":"0000-0003-0142-4000","last_name":"Bugnet","first_name":"Lisa Annabelle","id":"d9edb345-f866-11ec-9b37-d119b5234501"}],"volume":676,"quality_controlled":"1","file":[{"file_name":"2023_AstronomyAstrophysics_Mathis.pdf","creator":"dernst","content_type":"application/pdf","date_updated":"2023-09-06T07:13:19Z","date_created":"2023-09-06T07:13:19Z","success":1,"file_size":458120,"file_id":"14271","relation":"main_file","access_level":"open_access","checksum":"7b30d26fb2b7bcb5b5be1414950615f9"}],"date_published":"2023-08-01T00:00:00Z","arxiv":1,"language":[{"iso":"eng"}]},{"tmp":{"short":"CC BY-NC-SA (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","image":"/images/cc_by_nc_sa.png","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)"},"abstract":[{"lang":"eng","text":"Superconductor-semiconductor heterostructures currently capture a significant amount of research interest and they serve as the physical platform in many proposals towards topological quantum computation.\r\nDespite being under extensive investigations, historically using transport techniques, the basic properties of the interface between the superconductor and the semiconductor remain to be understood.\r\n\r\nIn this thesis, two separate studies on the Al-InAs heterostructures are reported with the first focusing on the physics of the material motivated by the emergence of a new phase, the Bogoliubov-Fermi surface. \r\nThe second focuses on a technological application, a gate-tunable Josephson parametric amplifier.\r\n\r\nIn the first study, we investigate the hypothesized unconventional nature of the induced superconductivity at the interface between the Al thin film and the InAs quantum well.\r\nWe embed a two-dimensional Al-InAs hybrid system in a resonant microwave circuit allowing measurements of change in inductance.\r\nThe behaviour of the resonance in a range of temperature and in-plane magnetic field has been studied and compared with the theory of conventional s-wave superconductor and a two-component theory that includes both contribution of the $s$-wave pairing in Al and the intraband $p \\pm ip$ pairing in InAs.\r\nMeasuring the temperature dependence of resonant frequency, no discrepancy is found between data and the conventional theory.\r\nWe observe the breakdown of superconductivity due to an applied magnetic field which contradicts the conventional theory.\r\nIn contrast, the data can be captured quantitatively by fitting to a two-component model.\r\nWe find the evidence of the intraband $p \\pm ip$ pairing in the InAs and the emergence of the Bogoliubov-Fermi surfaces due to magnetic field with the characteristic value $B^* = 0.33~\\mathrm{T}$.\r\nFrom the fits, the sheet resistance of Al, the carrier density and mobility in InAs are determined.\r\nBy systematically studying the anisotropy of the circuit response, we find weak anisotropy for $B < B^*$ and increasingly strong anisotropy for $B > B^*$ resulting in a pronounced two-lobe structure in polar plot of frequency versus field angle.\r\nStrong resemblance between the field dependence of dissipation and superfluid density hints at a hidden signature of the Bogoliubov-Fermi surface that is burried in the dissipation data.\r\n\r\nIn the second study, we realize a parametric amplifier with a Josephson field effect transistor as the active element.\r\nThe device's modest construction consists of a gated SNS weak link embedded at the center of a coplanar waveguide resonator.\r\nBy applying a gate voltage, the resonant frequency is field-effect tunable over a range of 2 GHz.\r\nModelling the JoFET minimally as a parallel RL circuit, the dissipation introduced by the JoFET can be quantitatively related to the gate voltage.\r\nWe observed gate-tunable Kerr nonlinearity qualitatively in line with expectation.\r\nThe JoFET amplifier has 20 dB of gain, 4 MHz of instantaneous bandwidth, and a 1dB compression point of -125.5 dBm when operated at a fixed resonant frequency.\r\nIn general, the signal-to-noise ratio is improved by 5-7 dB when the JoFET amplifier is activated compared.\r\nThe noise of the measurement chain and insertion loss of relevant circuit elements are calibrated to determine the expected and the real noise performance of the JoFET amplifier.\r\nAs a quantification of the noise performance, the measured total input-referred noise of the JoFET amplifier is in good agreement with the estimated expectation which takes device loss into account.\r\nWe found that the noise performance of the device reported in this document approaches one photon of total input-referred added noise which is the quantum limit imposed in nondegenerate parametric amplifier."}],"publication_identifier":{"issn":["2663-337X"]},"doi":"10.15479/14547","status":"public","year":"2023","citation":{"ieee":"D. T. Phan, “Resonant microwave spectroscopy of Al-InAs,” Institute of Science and Technology Austria, 2023.","ista":"Phan DT. 2023. Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria.","ama":"Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:<a href=\"https://doi.org/10.15479/14547\">10.15479/14547</a>","apa":"Phan, D. T. (2023). <i>Resonant microwave spectroscopy of Al-InAs</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/14547\">https://doi.org/10.15479/14547</a>","short":"D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.","chicago":"Phan, Duc T. “Resonant Microwave Spectroscopy of Al-InAs.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/14547\">https://doi.org/10.15479/14547</a>.","mla":"Phan, Duc T. <i>Resonant Microwave Spectroscopy of Al-InAs</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/14547\">10.15479/14547</a>."},"month":"11","license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","day":"16","type":"dissertation","keyword":["superconductor-semiconductor","superconductivity","Al","InAs","p-wave","superconductivity","JPA","microwave"],"file_date_updated":"2023-11-22T09:46:06Z","date_updated":"2026-07-08T08:38:43Z","oa_version":"Published Version","article_processing_charge":"No","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","department":[{"_id":"GradSch"},{"_id":"AnHi"}],"publication_status":"published","fulldoi":"https://doi.org/10.15479/14547","has_accepted_license":"1","degree_awarded":"PhD","date_created":"2023-11-17T13:45:26Z","oa":1,"ddc":["530"],"page":"80","_id":"14547","alternative_title":["ISTA Thesis"],"publisher":"Institute of Science and Technology Austria","language":[{"iso":"eng"}],"date_published":"2023-11-16T00:00:00Z","corr_author":"1","file":[{"date_created":"2023-11-17T13:36:44Z","date_updated":"2023-11-22T09:46:06Z","content_type":"application/pdf","file_name":"Phan_Thesis_pdfa.pdf","creator":"pduc","checksum":"db0c37d213bc002125bd59690e9db246","access_level":"open_access","relation":"main_file","file_id":"14548","file_size":34828019},{"date_created":"2023-11-17T13:44:53Z","date_updated":"2023-11-17T13:47:54Z","file_name":"dissertation_src.zip","creator":"pduc","content_type":"application/zip","access_level":"closed","checksum":"8d3bd6afa279a0078ffd13e06bb6d56d","file_size":279319709,"relation":"source_file","file_id":"14549"}],"related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"10851"},{"status":"public","relation":"part_of_dissertation","id":"13264"}]},"OA_place":"publisher","supervisor":[{"id":"4AD6785A-F248-11E8-B48F-1D18A9856A87","first_name":"Andrew P","last_name":"Higginbotham","orcid":"0000-0003-2607-2363","full_name":"Higginbotham, Andrew P"}],"acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"Bio"}],"title":"Resonant microwave spectroscopy of Al-InAs","author":[{"last_name":"Phan","first_name":"Duc T","id":"29C8C0B4-F248-11E8-B48F-1D18A9856A87","full_name":"Phan, Duc T"}]},{"volume":48,"quality_controlled":"1","title":"Monitoring and active stabilization of laser injection locking using beam ellipticity","author":[{"full_name":"Mishra, Umang","first_name":"Umang","last_name":"Mishra","id":"4328fa4c-f128-11eb-9611-c107b0fe4d51"},{"first_name":"Vyacheslav","last_name":"Li","id":"3A4FAA92-F248-11E8-B48F-1D18A9856A87","full_name":"Li, Vyacheslav"},{"full_name":"Wald, Sebastian","orcid":"0000-0002-5869-1604","last_name":"Wald","first_name":"Sebastian","id":"133F200A-B015-11E9-AD41-0EDAE5697425"},{"id":"09501ff6-dca7-11ea-a8ae-b3e0b9166e80","last_name":"Agafonova","first_name":"Sofya","orcid":"0000-0003-0582-2946","full_name":"Agafonova, Sofya"},{"id":"2E054C4C-F248-11E8-B48F-1D18A9856A87","first_name":"Fritz R","last_name":"Diorico","orcid":"0000-0002-4947-8924","full_name":"Diorico, Fritz R"},{"full_name":"Hosten, Onur","orcid":"0000-0002-2031-204X","first_name":"Onur","last_name":"Hosten","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87"}],"arxiv":1,"language":[{"iso":"eng"}],"date_published":"2023-07-21T00:00:00Z","corr_author":"1","publisher":"Optica Publishing Group","isi":1,"article_type":"original","oa":1,"date_created":"2024-01-08T13:01:46Z","scopus_import":"1","intvolume":"        48","publication":"Optics Letters","_id":"14749","das_tickbox":"1","page":"3973-3976","department":[{"_id":"OnHo"}],"researchdata_availability":"upon request","publication_status":"published","external_id":{"isi":["001051044600008"],"arxiv":["2212.01266"]},"fulldoi":"https://doi.org/10.1364/ol.495553","date_updated":"2026-07-08T08:41:47Z","article_processing_charge":"No","oa_version":"Preprint","user_id":"68b8ca59-c5b3-11ee-8790-cd641c68093d","citation":{"ama":"Mishra U, Li V, Wald S, Agafonova S, Diorico FR, Hosten O. Monitoring and active stabilization of laser injection locking using beam ellipticity. <i>Optics Letters</i>. 2023;48(15):3973-3976. doi:<a href=\"https://doi.org/10.1364/ol.495553\">10.1364/ol.495553</a>","ista":"Mishra U, Li V, Wald S, Agafonova S, Diorico FR, Hosten O. 2023. Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. 48(15), 3973–3976.","apa":"Mishra, U., Li, V., Wald, S., Agafonova, S., Diorico, F. R., &#38; Hosten, O. (2023). Monitoring and active stabilization of laser injection locking using beam ellipticity. <i>Optics Letters</i>. Optica Publishing Group. <a href=\"https://doi.org/10.1364/ol.495553\">https://doi.org/10.1364/ol.495553</a>","ieee":"U. Mishra, V. Li, S. Wald, S. Agafonova, F. R. Diorico, and O. Hosten, “Monitoring and active stabilization of laser injection locking using beam ellipticity,” <i>Optics Letters</i>, vol. 48, no. 15. Optica Publishing Group, pp. 3973–3976, 2023.","short":"U. Mishra, V. Li, S. Wald, S. Agafonova, F.R. Diorico, O. Hosten, Optics Letters 48 (2023) 3973–3976.","chicago":"Mishra, Umang, Vyacheslav Li, Sebastian Wald, Sofia Agafonova, Fritz R Diorico, and Onur Hosten. “Monitoring and Active Stabilization of Laser Injection Locking Using Beam Ellipticity.” <i>Optics Letters</i>. Optica Publishing Group, 2023. <a href=\"https://doi.org/10.1364/ol.495553\">https://doi.org/10.1364/ol.495553</a>.","mla":"Mishra, Umang, et al. “Monitoring and Active Stabilization of Laser Injection Locking Using Beam Ellipticity.” <i>Optics Letters</i>, vol. 48, no. 15, Optica Publishing Group, 2023, pp. 3973–76, doi:<a href=\"https://doi.org/10.1364/ol.495553\">10.1364/ol.495553</a>."},"supplementarymaterial":"no","month":"07","dataavailabilitystatement":"Data underlying the results presented in this paper are not publicly available at this time but may be obtained from the authors upon reasonable request.","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2212.01266","open_access":"1"}],"day":"21","keyword":["Atomic and Molecular Physics","and Optics"],"type":"journal_article","abstract":[{"text":"We unveil a powerful method for the stabilization of laser injection locking based on sensing variations in the output beam ellipticity of an optically seeded laser. The effect arises due to an interference between the seeding beam and the injected laser output. We demonstrate the method for a commercial semiconductor laser without the need for any internal changes to the readily operational injection locked laser system that was used. The method can also be used to increase the mode-hop free tuning range of lasers, and has the potential to fill a void in the low-noise laser industry.","lang":"eng"}],"issue":"15","publication_identifier":{"issn":["0146-9592"],"eissn":["1539-4794"]},"doi":"10.1364/ol.495553","year":"2023","status":"public"}]