[{"article_type":"original","abstract":[{"lang":"eng","text":"Linking epigenetic marks to clinical outcomes improves insight into molecular processes, disease prediction, and therapeutic target identification. Here, a statistical approach is presented to infer the epigenetic architecture of complex disease, determine the variation captured by epigenetic effects, and estimate phenotype-epigenetic probe associations jointly. Implicitly adjusting for probe correlations, data structure (cell-count or relatedness), and single-nucleotide polymorphism (SNP) marker effects, improves association estimates and in 9,448 individuals, 75.7% (95% CI 71.70–79.3) of body mass index (BMI) variation and 45.6% (95% CI 37.3–51.9) of cigarette consumption variation was captured by whole blood methylation array data. Pathway-linked probes of blood cholesterol, lipid transport and sterol metabolism for BMI, and xenobiotic stimuli response for smoking, showed >1.5 times larger associations with >95% posterior inclusion probability. Prediction accuracy improved by 28.7% for BMI and 10.2% for smoking over a LASSO model, with age-, and tissue-specificity, implying associations are a phenotypic consequence rather than causal. "}],"article_number":"2865","date_updated":"2023-08-22T07:13:09Z","author":[{"last_name":"Trejo Banos","first_name":"D","full_name":"Trejo Banos, D"},{"last_name":"McCartney","full_name":"McCartney, DL","first_name":"DL"},{"first_name":"M","full_name":"Patxot, M","last_name":"Patxot"},{"last_name":"Anchieri","first_name":"L","full_name":"Anchieri, L"},{"last_name":"Battram","first_name":"T","full_name":"Battram, T"},{"full_name":"Christiansen, C","first_name":"C","last_name":"Christiansen"},{"last_name":"Costeira","first_name":"R","full_name":"Costeira, R"},{"last_name":"Walker","first_name":"RM","full_name":"Walker, RM"},{"last_name":"Morris","first_name":"SW","full_name":"Morris, SW"},{"last_name":"Campbell","first_name":"A","full_name":"Campbell, A"},{"last_name":"Zhang","first_name":"Q","full_name":"Zhang, Q"},{"last_name":"Porteous","full_name":"Porteous, DJ","first_name":"DJ"},{"last_name":"McRae","first_name":"AF","full_name":"McRae, AF"},{"first_name":"NR","full_name":"Wray, NR","last_name":"Wray"},{"last_name":"Visscher","first_name":"PM","full_name":"Visscher, PM"},{"full_name":"Haley, CS","first_name":"CS","last_name":"Haley"},{"first_name":"KL","full_name":"Evans, KL","last_name":"Evans"},{"last_name":"Deary","first_name":"IJ","full_name":"Deary, IJ"},{"first_name":"AM","full_name":"McIntosh, AM","last_name":"McIntosh"},{"last_name":"Hemani","first_name":"G","full_name":"Hemani, G"},{"full_name":"Bell, JT","first_name":"JT","last_name":"Bell"},{"full_name":"Marioni, RE","first_name":"RE","last_name":"Marioni"},{"id":"E5D42276-F5DA-11E9-8E24-6303E6697425","last_name":"Robinson","orcid":"0000-0001-8982-8813","first_name":"Matthew Richard","full_name":"Robinson, Matthew Richard"}],"file_date_updated":"2020-07-14T12:48:07Z","ddc":["570"],"publication_identifier":{"issn":["2041-1723"]},"intvolume":"        11","type":"journal_article","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"content_type":"application/pdf","date_created":"2020-06-22T11:24:32Z","file_name":"2020_NatureComm_Bayesian.pdf","creator":"dernst","file_id":"8000","file_size":1475657,"relation":"main_file","access_level":"open_access","date_updated":"2020-07-14T12:48:07Z","checksum":"4c96babd4cfb0d153334f6c598c0bacb"}],"publisher":"Springer Nature","department":[{"_id":"MaRo"}],"citation":{"ieee":"D. Trejo Banos <i>et al.</i>, “Bayesian reassessment of the epigenetic architecture of complex traits,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020.","ama":"Trejo Banos D, McCartney D, Patxot M, et al. Bayesian reassessment of the epigenetic architecture of complex traits. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-020-16520-1\">10.1038/s41467-020-16520-1</a>","apa":"Trejo Banos, D., McCartney, D., Patxot, M., Anchieri, L., Battram, T., Christiansen, C., … Robinson, M. R. (2020). Bayesian reassessment of the epigenetic architecture of complex traits. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-16520-1\">https://doi.org/10.1038/s41467-020-16520-1</a>","mla":"Trejo Banos, D., et al. “Bayesian Reassessment of the Epigenetic Architecture of Complex Traits.” <i>Nature Communications</i>, vol. 11, 2865, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-16520-1\">10.1038/s41467-020-16520-1</a>.","chicago":"Trejo Banos, D, DL McCartney, M Patxot, L Anchieri, T Battram, C Christiansen, R Costeira, et al. “Bayesian Reassessment of the Epigenetic Architecture of Complex Traits.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-16520-1\">https://doi.org/10.1038/s41467-020-16520-1</a>.","short":"D. Trejo Banos, D. McCartney, M. Patxot, L. Anchieri, T. Battram, C. Christiansen, R. Costeira, R. Walker, S. Morris, A. Campbell, Q. Zhang, D. Porteous, A. McRae, N. Wray, P. Visscher, C. Haley, K. Evans, I. Deary, A. McIntosh, G. Hemani, J. Bell, R. Marioni, M.R. Robinson, Nature Communications 11 (2020).","ista":"Trejo Banos D, McCartney D, Patxot M, Anchieri L, Battram T, Christiansen C, Costeira R, Walker R, Morris S, Campbell A, Zhang Q, Porteous D, McRae A, Wray N, Visscher P, Haley C, Evans K, Deary I, McIntosh A, Hemani G, Bell J, Marioni R, Robinson MR. 2020. Bayesian reassessment of the epigenetic architecture of complex traits. Nature Communications. 11, 2865."},"publication_status":"published","date_created":"2020-06-22T11:18:25Z","title":"Bayesian reassessment of the epigenetic architecture of complex traits","date_published":"2020-06-08T00:00:00Z","_id":"7999","quality_controlled":"1","external_id":{"isi":["000541702400004"],"pmid":["32513961"]},"has_accepted_license":"1","oa_version":"Published Version","scopus_import":"1","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1038/s41467-020-19099-9"}]},"day":"08","pmid":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","month":"06","article_processing_charge":"No","language":[{"iso":"eng"}],"status":"public","year":"2020","publication":"Nature Communications","isi":1,"doi":"10.1038/s41467-020-16520-1","oa":1,"volume":11},{"month":"08","article_processing_charge":"No","year":"2020","language":[{"iso":"eng"}],"status":"public","day":"05","pmid":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa_version":"Published Version","scopus_import":"1","related_material":{"link":[{"relation":"press_release","url":"https://ist.ac.at/en/news/possible-physical-trace-of-short-term-memory-found/","description":"News on IST Homepage"}]},"quality_controlled":"1","external_id":{"isi":["000556135600004"],"pmid":["32492366"]},"has_accepted_license":"1","oa":1,"volume":107,"doi":"10.1016/j.neuron.2020.05.013","project":[{"name":"Biophysics and circuit function of a giant cortical glumatergic synapse","_id":"25B7EB9E-B435-11E9-9278-68D0E5697425","grant_number":"692692","call_identifier":"H2020"},{"grant_number":"Z00312","call_identifier":"FWF","name":"The Wittgenstein Prize","_id":"25C5A090-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"V00739","_id":"2696E7FE-B435-11E9-9278-68D0E5697425","name":"Structural plasticity at mossy fiber-CA3 synapses"}],"acknowledged_ssus":[{"_id":"SSU"}],"publication":"Neuron","isi":1,"intvolume":"       107","type":"journal_article","ddc":["570"],"publication_identifier":{"eissn":["10974199"],"issn":["0896-6273"]},"author":[{"full_name":"Vandael, David H","first_name":"David H","orcid":"0000-0001-7577-1676","id":"3AE48E0A-F248-11E8-B48F-1D18A9856A87","last_name":"Vandael"},{"orcid":"0000-0003-0005-401X","full_name":"Borges Merjane, Carolina","first_name":"Carolina","id":"4305C450-F248-11E8-B48F-1D18A9856A87","last_name":"Borges Merjane"},{"full_name":"Zhang, Xiaomin","first_name":"Xiaomin","last_name":"Zhang","id":"423EC9C2-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Jonas","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M","first_name":"Peter M"}],"acknowledgement":"This project received funding from the European Research Council (ERC) under the European Union Horizon 2020 Research and Innovation Program (grant agreement 692692 to P.J.) and the Fond zur Förderung der Wissenschaftlichen Forschung ( Z 312-B27 , Wittgenstein award to P.J. and V 739-B27 to C.B.-M.). We thank Drs. Jozsef Csicsvari, Jose Guzman, Erwin Neher, and Ryuichi Shigemoto for commenting on earlier versions of the manuscript. We are grateful to Walter Kaufmann, Daniel Gütl, and Vanessa Zheden for EM training; Alois Schlögl for programming; Florian Marr for excellent technical assistance and cell reconstruction; Christina Altmutter for technical help; Eleftheria Kralli-Beller for manuscript editing; Taija Makinen for providing the Prox1-CreERT2 mouse line; and the Scientific Service Units of IST Austria for support.","issue":"3","file_date_updated":"2020-11-25T11:23:02Z","page":"509-521","article_type":"original","abstract":[{"text":"Post-tetanic potentiation (PTP) is an attractive candidate mechanism for hippocampus-dependent short-term memory. Although PTP has a uniquely large magnitude at hippocampal mossy fiber-CA3 pyramidal neuron synapses, it is unclear whether it can be induced by natural activity and whether its lifetime is sufficient to support short-term memory. We combined in vivo recordings from granule cells (GCs), in vitro paired recordings from mossy fiber terminals and postsynaptic CA3 neurons, and “flash and freeze” electron microscopy. PTP was induced at single synapses and showed a low induction threshold adapted to sparse GC activity in vivo. PTP was mainly generated by enlargement of the readily releasable pool of synaptic vesicles, allowing multiplicative interaction with other plasticity forms. PTP was associated with an increase in the docked vesicle pool, suggesting formation of structural “pool engrams.” Absence of presynaptic activity extended the lifetime of the potentiation, enabling prolonged information storage in the hippocampal network.","lang":"eng"}],"date_updated":"2023-08-22T07:45:25Z","title":"Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation","ec_funded":1,"_id":"8001","date_published":"2020-08-05T00:00:00Z","citation":{"ista":"Vandael DH, Borges Merjane C, Zhang X, Jonas PM. 2020. Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation. Neuron. 107(3), 509–521.","ama":"Vandael DH, Borges Merjane C, Zhang X, Jonas PM. Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation. <i>Neuron</i>. 2020;107(3):509-521. doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.05.013\">10.1016/j.neuron.2020.05.013</a>","ieee":"D. H. Vandael, C. Borges Merjane, X. Zhang, and P. M. Jonas, “Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation,” <i>Neuron</i>, vol. 107, no. 3. Elsevier, pp. 509–521, 2020.","apa":"Vandael, D. H., Borges Merjane, C., Zhang, X., &#38; Jonas, P. M. (2020). Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2020.05.013\">https://doi.org/10.1016/j.neuron.2020.05.013</a>","chicago":"Vandael, David H, Carolina Borges Merjane, Xiaomin Zhang, and Peter M Jonas. “Short-Term Plasticity at Hippocampal Mossy Fiber Synapses Is Induced by Natural Activity Patterns and Associated with Vesicle Pool Engram Formation.” <i>Neuron</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.neuron.2020.05.013\">https://doi.org/10.1016/j.neuron.2020.05.013</a>.","mla":"Vandael, David H., et al. “Short-Term Plasticity at Hippocampal Mossy Fiber Synapses Is Induced by Natural Activity Patterns and Associated with Vesicle Pool Engram Formation.” <i>Neuron</i>, vol. 107, no. 3, Elsevier, 2020, pp. 509–21, doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.05.013\">10.1016/j.neuron.2020.05.013</a>.","short":"D.H. Vandael, C. Borges Merjane, X. Zhang, P.M. Jonas, Neuron 107 (2020) 509–521."},"publication_status":"published","date_created":"2020-06-22T13:29:05Z","publisher":"Elsevier","department":[{"_id":"PeJo"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","file":[{"creator":"dernst","success":1,"file_size":4390833,"file_id":"8811","date_updated":"2020-11-25T11:23:02Z","checksum":"4030b2be0c9625d54694a1e9fb00305e","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"2020_Neuron_Vandael.pdf","date_created":"2020-11-25T11:23:02Z"}]},{"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"doi":"10.1073/pnas.2003346117","project":[{"call_identifier":"H2020","grant_number":"742985","_id":"261099A6-B435-11E9-9278-68D0E5697425","name":"Tracing Evolution of Auxin Transport and Polarity in Plants"},{"call_identifier":"FWF","grant_number":"P29988","_id":"262EF96E-B435-11E9-9278-68D0E5697425","name":"RNA-directed DNA methylation in plant development"}],"isi":1,"publication":"Proceedings of the National Academy of Sciences","oa":1,"volume":117,"related_material":{"link":[{"description":"News on IST Homepage","url":"https://ist.ac.at/en/news/how-wounded-plants-coordinate-their-healing/","relation":"press_release"}],"record":[{"relation":"dissertation_contains","id":"9992","status":"public"}]},"scopus_import":"1","oa_version":"None","external_id":{"isi":["000565729700033"],"pmid":["32541049"]},"has_accepted_license":"1","quality_controlled":"1","article_processing_charge":"No","year":"2020","status":"public","language":[{"iso":"eng"}],"month":"06","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"30","pmid":1,"publisher":"Proceedings of the National Academy of Sciences","department":[{"_id":"JiFr"},{"_id":"EvBe"}],"file":[{"access_level":"open_access","relation":"main_file","checksum":"908b09437680181de9990915f2113aca","date_updated":"2020-07-14T12:48:07Z","file_id":"8009","file_size":2407102,"creator":"dernst","date_created":"2020-06-23T11:30:53Z","file_name":"2020_PNAS_Hoermayer.pdf","content_type":"application/pdf"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"date_published":"2020-06-30T00:00:00Z","_id":"8002","ec_funded":1,"title":"Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots","citation":{"apa":"Hörmayer, L., Montesinos López, J. C., Marhavá, P., Benková, E., Yoshida, S., &#38; Friml, J. (2020). Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots. <i>Proceedings of the National Academy of Sciences</i>. Proceedings of the National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.2003346117\">https://doi.org/10.1073/pnas.2003346117</a>","ieee":"L. Hörmayer, J. C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, and J. Friml, “Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots,” <i>Proceedings of the National Academy of Sciences</i>, vol. 117, no. 26. Proceedings of the National Academy of Sciences, 2020.","ama":"Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J. Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots. <i>Proceedings of the National Academy of Sciences</i>. 2020;117(26). doi:<a href=\"https://doi.org/10.1073/pnas.2003346117\">10.1073/pnas.2003346117</a>","short":"L. Hörmayer, J.C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, J. Friml, Proceedings of the National Academy of Sciences 117 (2020).","chicago":"Hörmayer, Lukas, Juan C Montesinos López, Petra Marhavá, Eva Benková, Saiko Yoshida, and Jiří Friml. “Wounding-Induced Changes in Cellular Pressure and Localized Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.” <i>Proceedings of the National Academy of Sciences</i>. Proceedings of the National Academy of Sciences, 2020. <a href=\"https://doi.org/10.1073/pnas.2003346117\">https://doi.org/10.1073/pnas.2003346117</a>.","mla":"Hörmayer, Lukas, et al. “Wounding-Induced Changes in Cellular Pressure and Localized Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.” <i>Proceedings of the National Academy of Sciences</i>, vol. 117, no. 26, 202003346, Proceedings of the National Academy of Sciences, 2020, doi:<a href=\"https://doi.org/10.1073/pnas.2003346117\">10.1073/pnas.2003346117</a>.","ista":"Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J. 2020. Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots. Proceedings of the National Academy of Sciences. 117(26), 202003346."},"publication_status":"published","date_created":"2020-06-22T13:33:52Z","issue":"26","file_date_updated":"2020-07-14T12:48:07Z","author":[{"orcid":"0000-0001-8295-2926","full_name":"Hörmayer, Lukas","first_name":"Lukas","last_name":"Hörmayer","id":"2EEE7A2A-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-9179-6099","first_name":"Juan C","full_name":"Montesinos López, Juan C","id":"310A8E3E-F248-11E8-B48F-1D18A9856A87","last_name":"Montesinos López"},{"first_name":"Petra","full_name":"Marhavá, Petra","id":"44E59624-F248-11E8-B48F-1D18A9856A87","last_name":"Marhavá"},{"last_name":"Benková","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8510-9739","first_name":"Eva","full_name":"Benková, Eva"},{"id":"2E46069C-F248-11E8-B48F-1D18A9856A87","last_name":"Yoshida","first_name":"Saiko","full_name":"Yoshida, Saiko"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří","first_name":"Jiří"}],"date_updated":"2024-03-25T23:30:06Z","article_number":"202003346","article_type":"original","abstract":[{"lang":"eng","text":"Wound healing in plant tissues, consisting of rigid cell wall-encapsulated cells, represents a considerable challenge and occurs through largely unknown mechanisms distinct from those in animals. Owing to their inability to migrate, plant cells rely on targeted cell division and expansion to regenerate wounds. Strict coordination of these wound-induced responses is essential to ensure efficient, spatially restricted wound healing. Single-cell tracking by live imaging allowed us to gain mechanistic insight into the wound perception and coordination of wound responses after laser-based wounding in Arabidopsis root. We revealed a crucial contribution of the collapse of damaged cells in wound perception and detected an auxin increase specific to cells immediately adjacent to the wound. This localized auxin increase balances wound-induced cell expansion and restorative division rates in a dose-dependent manner, leading to tumorous overproliferation when the canonical TIR1 auxin signaling is disrupted. Auxin and wound-induced turgor pressure changes together also spatially define the activation of key components of regeneration, such as the transcription regulator ERF115. Our observations suggest that the wound signaling involves the sensing of collapse of damaged cells and a local auxin signaling activation to coordinate the downstream transcriptional responses in the immediate wound vicinity."}],"type":"journal_article","intvolume":"       117","publication_identifier":{"eissn":["1091-6490"],"issn":["0027-8424"]},"ddc":["580"]},{"publication_identifier":{"issn":["2643-1564"]},"ddc":["530"],"type":"journal_article","intvolume":"         2","date_updated":"2021-01-12T08:16:30Z","article_number":"022065","article_type":"original","abstract":[{"text":"Relaxation to a thermal state is the inevitable fate of nonequilibrium interacting quantum systems without special conservation laws. While thermalization in one-dimensional systems can often be suppressed by integrability mechanisms, in two spatial dimensions thermalization is expected to be far more effective due to the increased phase space. In this work we propose a general framework for escaping or delaying the emergence of the thermal state in two-dimensional arrays of Rydberg atoms via the mechanism of quantum scars, i.e., initial states that fail to thermalize. The suppression of thermalization is achieved in two complementary ways: by adding local perturbations or by adjusting the driving Rabi frequency according to the local connectivity of the lattice. We demonstrate that these mechanisms allow us to realize robust quantum scars in various two-dimensional lattices, including decorated lattices with nonconstant connectivity. In particular, we show that a small decrease of the Rabi frequency at the corners of the lattice is crucial for mitigating the strong boundary effects in two-dimensional systems. Our results identify synchronization as an important tool for future experiments on two-dimensional quantum scars.","lang":"eng"}],"issue":"2","file_date_updated":"2020-07-14T12:48:08Z","author":[{"full_name":"Michailidis, Alexios","first_name":"Alexios","last_name":"Michailidis","id":"36EBAD38-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Turner","first_name":"C. J.","full_name":"Turner, C. J."},{"first_name":"Z.","full_name":"Papić, Z.","last_name":"Papić"},{"first_name":"D. A.","full_name":"Abanin, D. A.","last_name":"Abanin"},{"last_name":"Serbyn","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2399-5827","full_name":"Serbyn, Maksym","first_name":"Maksym"}],"publication_status":"published","citation":{"ista":"Michailidis A, Turner CJ, Papić Z, Abanin DA, Serbyn M. 2020. Stabilizing two-dimensional quantum scars by deformation and synchronization. Physical Review Research. 2(2), 022065.","chicago":"Michailidis, Alexios, C. J. Turner, Z. Papić, D. A. Abanin, and Maksym Serbyn. “Stabilizing Two-Dimensional Quantum Scars by Deformation and Synchronization.” <i>Physical Review Research</i>. American Physical Society, 2020. <a href=\"https://doi.org/10.1103/physrevresearch.2.022065\">https://doi.org/10.1103/physrevresearch.2.022065</a>.","mla":"Michailidis, Alexios, et al. “Stabilizing Two-Dimensional Quantum Scars by Deformation and Synchronization.” <i>Physical Review Research</i>, vol. 2, no. 2, 022065, American Physical Society, 2020, doi:<a href=\"https://doi.org/10.1103/physrevresearch.2.022065\">10.1103/physrevresearch.2.022065</a>.","short":"A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review Research 2 (2020).","ieee":"A. Michailidis, C. J. Turner, Z. Papić, D. A. Abanin, and M. Serbyn, “Stabilizing two-dimensional quantum scars by deformation and synchronization,” <i>Physical Review Research</i>, vol. 2, no. 2. American Physical Society, 2020.","ama":"Michailidis A, Turner CJ, Papić Z, Abanin DA, Serbyn M. Stabilizing two-dimensional quantum scars by deformation and synchronization. <i>Physical Review Research</i>. 2020;2(2). doi:<a href=\"https://doi.org/10.1103/physrevresearch.2.022065\">10.1103/physrevresearch.2.022065</a>","apa":"Michailidis, A., Turner, C. J., Papić, Z., Abanin, D. A., &#38; Serbyn, M. (2020). Stabilizing two-dimensional quantum scars by deformation and synchronization. <i>Physical Review Research</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevresearch.2.022065\">https://doi.org/10.1103/physrevresearch.2.022065</a>"},"date_created":"2020-06-23T12:00:19Z","_id":"8011","date_published":"2020-06-22T00:00:00Z","title":"Stabilizing two-dimensional quantum scars by deformation and synchronization","ec_funded":1,"file":[{"file_name":"2020_PhysicalReviewResearch_Michailidis.pdf","date_created":"2020-06-29T14:41:27Z","content_type":"application/pdf","date_updated":"2020-07-14T12:48:08Z","checksum":"e6959dc8220f14a008d1933858795e6d","relation":"main_file","access_level":"open_access","creator":"dernst","file_id":"8050","file_size":2066011}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"publisher":"American Physical Society","department":[{"_id":"MaSe"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"22","article_processing_charge":"No","language":[{"iso":"eng"}],"year":"2020","status":"public","month":"06","has_accepted_license":"1","quality_controlled":"1","oa_version":"Published Version","oa":1,"volume":2,"publication":"Physical Review Research","doi":"10.1103/physrevresearch.2.022065","project":[{"name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E","grant_number":"850899","call_identifier":"H2020"}]},{"title":"Inductive sequentialization of asynchronous programs","date_published":"2020-06-01T00:00:00Z","_id":"8012","date_created":"2020-06-25T11:40:16Z","publication_status":"published","citation":{"short":"B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.","mla":"Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.” <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>, Association for Computing Machinery, 2020, pp. 227–42, doi:<a href=\"https://doi.org/10.1145/3385412.3385980\">10.1145/3385412.3385980</a>.","chicago":"Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.” In <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>, 227–42. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3385412.3385980\">https://doi.org/10.1145/3385412.3385980</a>.","apa":"Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., &#38; Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i> (pp. 227–242). London, United Kingdom: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3385412.3385980\">https://doi.org/10.1145/3385412.3385980</a>","ama":"Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. Inductive sequentialization of asynchronous programs. In: <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>. Association for Computing Machinery; 2020:227-242. doi:<a href=\"https://doi.org/10.1145/3385412.3385980\">10.1145/3385412.3385980</a>","ieee":"B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive sequentialization of asynchronous programs,” in <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>, London, United Kingdom, 2020, pp. 227–242.","ista":"Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 227–242."},"department":[{"_id":"ToHe"}],"publisher":"Association for Computing Machinery","type":"conference","publication_identifier":{"isbn":["9781450376136"]},"author":[{"last_name":"Kragl","id":"320FC952-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7745-9117","first_name":"Bernhard","full_name":"Kragl, Bernhard"},{"first_name":"Constantin","full_name":"Enea, Constantin","last_name":"Enea"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000-0002-2985-7724"},{"full_name":"Mutluergil, Suha Orhun","first_name":"Suha Orhun","last_name":"Mutluergil"},{"full_name":"Qadeer, Shaz","first_name":"Shaz","last_name":"Qadeer"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3385412.3385980"}],"abstract":[{"lang":"eng","text":"Asynchronous programs are notoriously difficult to reason about because they spawn computation tasks which take effect asynchronously in a nondeterministic way. Devising inductive invariants for such programs requires understanding and stating complex relationships between an unbounded number of computation tasks in arbitrarily long executions. In this paper, we introduce inductive sequentialization, a new proof rule that sidesteps this complexity via a sequential reduction, a sequential program that captures every behavior of the original program up to reordering of coarse-grained commutative actions. A sequential reduction of a concurrent program is easy to reason about since it corresponds to a simple execution of the program in an idealized synchronous environment, where processes act in a fixed order and at the same speed. We have implemented and integrated our proof rule in the CIVL verifier, allowing us to provably derive fine-grained implementations of asynchronous programs. We have successfully applied our proof rule to a diverse set of message-passing protocols, including leader election protocols, two-phase commit, and Paxos."}],"page":"227-242","conference":{"start_date":"2020-06-15","end_date":"2020-06-20","location":"London, United Kingdom","name":"PLDI: Programming Language Design and Implementation"},"date_updated":"2023-09-07T13:18:00Z","oa":1,"project":[{"call_identifier":"FWF","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"}],"doi":"10.1145/3385412.3385980","publication":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","isi":1,"month":"06","year":"2020","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","day":"01","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa_version":"Published Version","scopus_import":"1","related_material":{"record":[{"id":"8332","status":"public","relation":"dissertation_contains"}]},"quality_controlled":"1","external_id":{"isi":["000614622300016"]}},{"file_date_updated":"2020-07-14T12:48:08Z","author":[{"last_name":"Huszár","id":"33C26278-F248-11E8-B48F-1D18A9856A87","first_name":"Kristóf","full_name":"Huszár, Kristóf","orcid":"0000-0002-5445-5057"}],"date_updated":"2023-09-07T13:18:27Z","page":"xviii+120","abstract":[{"lang":"eng","text":"Algorithms in computational 3-manifold topology typically take a triangulation as an input and return topological information about the underlying 3-manifold. However, extracting the desired information from a triangulation (e.g., evaluating an invariant) is often computationally very expensive. In recent years this complexity barrier has been successfully tackled in some cases by importing ideas from the theory of parameterized algorithms into the realm of 3-manifolds. Various computationally hard problems were shown to be efficiently solvable for input triangulations that are sufficiently “tree-like.”\r\nIn this thesis we focus on the key combinatorial parameter in the above context: we consider the treewidth of a compact, orientable 3-manifold, i.e., the smallest treewidth of the dual graph of any triangulation thereof. By building on the work of Scharlemann–Thompson and Scharlemann–Schultens–Saito on generalized Heegaard splittings, and on the work of Jaco–Rubinstein on layered triangulations, we establish quantitative relations between the treewidth and classical topological invariants of a 3-manifold. In particular, among other results, we show that the treewidth of a closed, orientable, irreducible, non-Haken 3-manifold is always within a constant factor of its Heegaard genus."}],"type":"dissertation","publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-006-0"]},"ddc":["514"],"degree_awarded":"PhD","publisher":"Institute of Science and Technology Austria","department":[{"_id":"UlWa"}],"file":[{"access_level":"open_access","relation":"main_file","date_updated":"2020-07-14T12:48:08Z","checksum":"bd8be6e4f1addc863dfcc0fad29ee9c3","file_size":2637562,"file_id":"8034","creator":"khuszar","date_created":"2020-06-26T10:03:58Z","file_name":"Kristof_Huszar-Thesis.pdf","content_type":"application/pdf"},{"creator":"khuszar","file_id":"8035","file_size":7163491,"relation":"source_file","access_level":"closed","checksum":"d5f8456202b32f4a77552ef47a2837d1","date_updated":"2020-07-14T12:48:08Z","content_type":"application/x-zip-compressed","date_created":"2020-06-26T10:10:06Z","file_name":"Kristof_Huszar-Thesis-source.zip"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_published":"2020-06-26T00:00:00Z","_id":"8032","title":"Combinatorial width parameters for 3-dimensional manifolds","citation":{"short":"K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020.","chicago":"Huszár, Kristóf. “Combinatorial Width Parameters for 3-Dimensional Manifolds.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8032\">https://doi.org/10.15479/AT:ISTA:8032</a>.","mla":"Huszár, Kristóf. <i>Combinatorial Width Parameters for 3-Dimensional Manifolds</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8032\">10.15479/AT:ISTA:8032</a>.","apa":"Huszár, K. (2020). <i>Combinatorial width parameters for 3-dimensional manifolds</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8032\">https://doi.org/10.15479/AT:ISTA:8032</a>","ieee":"K. Huszár, “Combinatorial width parameters for 3-dimensional manifolds,” Institute of Science and Technology Austria, 2020.","ama":"Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8032\">10.15479/AT:ISTA:8032</a>","ista":"Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria."},"publication_status":"published","date_created":"2020-06-26T10:00:36Z","related_material":{"record":[{"status":"public","id":"6556","relation":"dissertation_contains"},{"relation":"dissertation_contains","status":"public","id":"7093"}]},"oa_version":"Published Version","has_accepted_license":"1","article_processing_charge":"No","year":"2020","status":"public","language":[{"iso":"eng"}],"month":"06","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","alternative_title":["ISTA Thesis"],"day":"26","acknowledged_ssus":[{"_id":"E-Lib"},{"_id":"CampIT"}],"doi":"10.15479/AT:ISTA:8032","oa":1,"supervisor":[{"id":"36690CA2-F248-11E8-B48F-1D18A9856A87","last_name":"Wagner","orcid":"0000-0002-1494-0568","full_name":"Wagner, Uli","first_name":"Uli"},{"full_name":"Spreer, Jonathan","first_name":"Jonathan","last_name":"Spreer"}]},{"publisher":"Springer Nature","department":[{"_id":"ScWa"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"content_type":"application/pdf","date_created":"2020-06-29T13:21:24Z","file_name":"2020_CommunicationsPhysics_Collard.pdf","file_size":1907821,"file_id":"8045","creator":"cziletti","access_level":"open_access","relation":"main_file","checksum":"ed984f7a393f19140b5279a54a3336ad","date_updated":"2020-07-14T12:48:08Z"}],"ec_funded":1,"title":"Magnetically powered metachronal waves induce locomotion in self-assemblies","date_published":"2020-06-19T00:00:00Z","_id":"8036","publication_status":"published","citation":{"ista":"Collard Y, Grosjean GM, Vandewalle N. 2020. Magnetically powered metachronal waves induce locomotion in self-assemblies. Communications Physics. 3, 112.","short":"Y. Collard, G.M. Grosjean, N. Vandewalle, Communications Physics 3 (2020).","chicago":"Collard, Ylona, Galien M Grosjean, and Nicolas Vandewalle. “Magnetically Powered Metachronal Waves Induce Locomotion in Self-Assemblies.” <i>Communications Physics</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s42005-020-0380-9\">https://doi.org/10.1038/s42005-020-0380-9</a>.","mla":"Collard, Ylona, et al. “Magnetically Powered Metachronal Waves Induce Locomotion in Self-Assemblies.” <i>Communications Physics</i>, vol. 3, 112, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s42005-020-0380-9\">10.1038/s42005-020-0380-9</a>.","apa":"Collard, Y., Grosjean, G. M., &#38; Vandewalle, N. (2020). Magnetically powered metachronal waves induce locomotion in self-assemblies. <i>Communications Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s42005-020-0380-9\">https://doi.org/10.1038/s42005-020-0380-9</a>","ama":"Collard Y, Grosjean GM, Vandewalle N. Magnetically powered metachronal waves induce locomotion in self-assemblies. <i>Communications Physics</i>. 2020;3. doi:<a href=\"https://doi.org/10.1038/s42005-020-0380-9\">10.1038/s42005-020-0380-9</a>","ieee":"Y. Collard, G. M. Grosjean, and N. Vandewalle, “Magnetically powered metachronal waves induce locomotion in self-assemblies,” <i>Communications Physics</i>, vol. 3. Springer Nature, 2020."},"date_created":"2020-06-29T07:59:35Z","author":[{"last_name":"Collard","full_name":"Collard, Ylona","first_name":"Ylona"},{"id":"0C5FDA4A-9CF6-11E9-8939-FF05E6697425","last_name":"Grosjean","orcid":"0000-0001-5154-417X","full_name":"Grosjean, Galien M","first_name":"Galien M"},{"last_name":"Vandewalle","first_name":"Nicolas","full_name":"Vandewalle, Nicolas"}],"file_date_updated":"2020-07-14T12:48:08Z","abstract":[{"text":"When tiny soft ferromagnetic particles are placed along a liquid interface and exposed to a vertical magnetic field, the balance between capillary attraction and magnetic repulsion leads to self-organization into well-defined patterns. Here, we demonstrate experimentally that precessing magnetic fields induce metachronal waves on the periphery of these assemblies, similar to the ones observed in ciliates and some arthropods. The outermost layer of particles behaves like an array of cilia or legs whose sequential movement causes a net and controllable locomotion. This bioinspired many-particle swimming strategy is effective even at low Reynolds number, using only spatially uniform fields to generate the waves.","lang":"eng"}],"article_number":"112","article_type":"original","date_updated":"2023-08-22T07:47:30Z","intvolume":"         3","type":"journal_article","ddc":["530"],"publication_identifier":{"eissn":["23993650"]},"doi":"10.1038/s42005-020-0380-9","project":[{"_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","grant_number":"754411"}],"publication":"Communications Physics","isi":1,"oa":1,"volume":3,"oa_version":"Published Version","scopus_import":"1","quality_controlled":"1","external_id":{"isi":["000543328000002"]},"has_accepted_license":"1","month":"06","article_processing_charge":"No","year":"2020","status":"public","language":[{"iso":"eng"}],"day":"19","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8"},{"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","pmid":1,"day":"19","year":"2020","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","month":"06","has_accepted_license":"1","external_id":{"pmid":["32561723"],"isi":["000545685100002"]},"quality_controlled":"1","scopus_import":"1","oa_version":"Published Version","volume":11,"oa":1,"isi":1,"publication":"Nature Communications","project":[{"name":"Revealing the mechanisms underlying drug interactions","_id":"25E9AF9E-B435-11E9-9278-68D0E5697425","grant_number":"P27201-B22","call_identifier":"FWF"},{"grant_number":"RGP0042/2013","_id":"25EB3A80-B435-11E9-9278-68D0E5697425","name":"Revealing the fundamental limits of cell growth"}],"doi":"10.1038/s41467-020-16932-z","publication_identifier":{"eissn":["20411723"]},"ddc":["570"],"type":"journal_article","intvolume":"        11","date_updated":"2023-08-22T07:48:30Z","abstract":[{"text":"Genetic perturbations that affect bacterial resistance to antibiotics have been characterized genome-wide, but how do such perturbations interact with subsequent evolutionary adaptation to the drug? Here, we show that strong epistasis between resistance mutations and systematically identified genes can be exploited to control spontaneous resistance evolution. We evolved hundreds of Escherichia coli K-12 mutant populations in parallel, using a robotic platform that tightly controls population size and selection pressure. We find a global diminishing-returns epistasis pattern: strains that are initially more sensitive generally undergo larger resistance gains. However, some gene deletion strains deviate from this general trend and curtail the evolvability of resistance, including deletions of genes for membrane transport, LPS biosynthesis, and chaperones. Deletions of efflux pump genes force evolution on inferior mutational paths, not explored in the wild type, and some of these essentially block resistance evolution. This effect is due to strong negative epistasis with resistance mutations. The identified genes and cellular functions provide potential targets for development of adjuvants that may block spontaneous resistance evolution when combined with antibiotics.","lang":"eng"}],"article_number":"3105","article_type":"original","file_date_updated":"2020-07-14T12:48:08Z","author":[{"last_name":"Lukacisinova","id":"4342E402-F248-11E8-B48F-1D18A9856A87","first_name":"Marta","full_name":"Lukacisinova, Marta","orcid":"0000-0002-2519-8004"},{"last_name":"Fernando","first_name":"Booshini","full_name":"Fernando, Booshini"},{"id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","last_name":"Bollenbach","full_name":"Bollenbach, Mark Tobias","first_name":"Mark Tobias","orcid":"0000-0003-4398-476X"}],"date_created":"2020-06-29T07:59:35Z","publication_status":"published","citation":{"ieee":"M. Lukacisinova, B. Fernando, and M. T. Bollenbach, “Highly parallel lab evolution reveals that epistasis can curb the evolution of antibiotic resistance,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020.","ama":"Lukacisinova M, Fernando B, Bollenbach MT. Highly parallel lab evolution reveals that epistasis can curb the evolution of antibiotic resistance. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-020-16932-z\">10.1038/s41467-020-16932-z</a>","apa":"Lukacisinova, M., Fernando, B., &#38; Bollenbach, M. T. (2020). Highly parallel lab evolution reveals that epistasis can curb the evolution of antibiotic resistance. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-16932-z\">https://doi.org/10.1038/s41467-020-16932-z</a>","mla":"Lukacisinova, Marta, et al. “Highly Parallel Lab Evolution Reveals That Epistasis Can Curb the Evolution of Antibiotic Resistance.” <i>Nature Communications</i>, vol. 11, 3105, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-16932-z\">10.1038/s41467-020-16932-z</a>.","chicago":"Lukacisinova, Marta, Booshini Fernando, and Mark Tobias Bollenbach. “Highly Parallel Lab Evolution Reveals That Epistasis Can Curb the Evolution of Antibiotic Resistance.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-16932-z\">https://doi.org/10.1038/s41467-020-16932-z</a>.","short":"M. Lukacisinova, B. Fernando, M.T. Bollenbach, Nature Communications 11 (2020).","ista":"Lukacisinova M, Fernando B, Bollenbach MT. 2020. Highly parallel lab evolution reveals that epistasis can curb the evolution of antibiotic resistance. Nature Communications. 11, 3105."},"extern":"1","_id":"8037","date_published":"2020-06-19T00:00:00Z","title":"Highly parallel lab evolution reveals that epistasis can curb the evolution of antibiotic resistance","file":[{"file_name":"2020_NatureComm_Lukacisinova.pdf","date_created":"2020-06-30T09:58:50Z","content_type":"application/pdf","date_updated":"2020-07-14T12:48:08Z","checksum":"4f5f49d63add331d5eb8a2bae477b396","access_level":"open_access","relation":"main_file","file_id":"8071","file_size":1546491,"creator":"cziletti"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"publisher":"Springer Nature"},{"isi":1,"publication":"Quantum Science and Technology","project":[{"_id":"26336814-B435-11E9-9278-68D0E5697425","name":"A Fiber Optic Transceiver for Superconducting Qubits","call_identifier":"H2020","grant_number":"758053"},{"name":"Integrating superconducting quantum circuits","_id":"26927A52-B435-11E9-9278-68D0E5697425","grant_number":"F07105","call_identifier":"FWF"},{"call_identifier":"H2020","grant_number":"732894","_id":"257EB838-B435-11E9-9278-68D0E5697425","name":"Hybrid Optomechanical Technologies"},{"name":"Hybrid Semiconductor - Superconductor Quantum Devices","_id":"2622978C-B435-11E9-9278-68D0E5697425"}],"doi":"10.1088/2058-9565/ab8dce","volume":5,"oa":1,"has_accepted_license":"1","external_id":{"isi":["000539300800001"]},"quality_controlled":"1","scopus_import":"1","oa_version":"Published Version","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"25","status":"public","year":"2020","language":[{"iso":"eng"}],"article_processing_charge":"Yes (via OA deal)","month":"05","file":[{"file_id":"8072","file_size":2600967,"creator":"cziletti","checksum":"8f25f05053f511f892ae8fa93f341e61","date_updated":"2020-07-14T12:48:08Z","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_name":"2020_QuantumSciTechnol_Fink.pdf","date_created":"2020-06-30T10:29:10Z"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"department":[{"_id":"JoFi"}],"publisher":"IOP Publishing","date_created":"2020-06-29T07:59:35Z","citation":{"chicago":"Fink, Johannes M, M. Kalaee, R. Norte, A. Pitanti, and O. Painter. “Efficient Microwave Frequency Conversion Mediated by a Photonics Compatible Silicon Nitride Nanobeam Oscillator.” <i>Quantum Science and Technology</i>. IOP Publishing, 2020. <a href=\"https://doi.org/10.1088/2058-9565/ab8dce\">https://doi.org/10.1088/2058-9565/ab8dce</a>.","mla":"Fink, Johannes M., et al. “Efficient Microwave Frequency Conversion Mediated by a Photonics Compatible Silicon Nitride Nanobeam Oscillator.” <i>Quantum Science and Technology</i>, vol. 5, no. 3, 034011, IOP Publishing, 2020, doi:<a href=\"https://doi.org/10.1088/2058-9565/ab8dce\">10.1088/2058-9565/ab8dce</a>.","short":"J.M. Fink, M. Kalaee, R. Norte, A. Pitanti, O. Painter, Quantum Science and Technology 5 (2020).","ama":"Fink JM, Kalaee M, Norte R, Pitanti A, Painter O. Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator. <i>Quantum Science and Technology</i>. 2020;5(3). doi:<a href=\"https://doi.org/10.1088/2058-9565/ab8dce\">10.1088/2058-9565/ab8dce</a>","ieee":"J. M. Fink, M. Kalaee, R. Norte, A. Pitanti, and O. Painter, “Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator,” <i>Quantum Science and Technology</i>, vol. 5, no. 3. IOP Publishing, 2020.","apa":"Fink, J. M., Kalaee, M., Norte, R., Pitanti, A., &#38; Painter, O. (2020). Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator. <i>Quantum Science and Technology</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/2058-9565/ab8dce\">https://doi.org/10.1088/2058-9565/ab8dce</a>","ista":"Fink JM, Kalaee M, Norte R, Pitanti A, Painter O. 2020. Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator. Quantum Science and Technology. 5(3), 034011."},"publication_status":"published","date_published":"2020-05-25T00:00:00Z","_id":"8038","ec_funded":1,"title":"Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator","date_updated":"2024-08-07T07:11:51Z","article_type":"original","abstract":[{"text":"Microelectromechanical systems and integrated photonics provide the basis for many reliable and compact circuit elements in modern communication systems. Electro-opto-mechanical devices are currently one of the leading approaches to realize ultra-sensitive, low-loss transducers for an emerging quantum information technology. Here we present an on-chip microwave frequency converter based on a planar aluminum on silicon nitride platform that is compatible with slot-mode coupled photonic crystal cavities. We show efficient frequency conversion between two propagating microwave modes mediated by the radiation pressure interaction with a metalized dielectric nanobeam oscillator. We achieve bidirectional coherent conversion with a total device efficiency of up to ~60%, a dynamic range of 2 × 10^9 photons/s and an instantaneous bandwidth of up to 1.7 kHz. A high fidelity quantum state transfer would be possible if the drive dependent output noise of currently ~14 photons s^−1 Hz^−1 is further reduced. Such a silicon nitride based transducer is in situ reconfigurable and could be used for on-chip classical and quantum signal routing and filtering, both for microwave and hybrid microwave-optical applications.","lang":"eng"}],"article_number":"034011","file_date_updated":"2020-07-14T12:48:08Z","issue":"3","author":[{"first_name":"Johannes M","full_name":"Fink, Johannes M","orcid":"0000-0001-8112-028X","last_name":"Fink","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kalaee, M.","first_name":"M.","last_name":"Kalaee"},{"full_name":"Norte, R.","first_name":"R.","last_name":"Norte"},{"full_name":"Pitanti, A.","first_name":"A.","last_name":"Pitanti"},{"last_name":"Painter","first_name":"O.","full_name":"Painter, O."}],"publication_identifier":{"eissn":["20589565"]},"ddc":["530"],"type":"journal_article","intvolume":"         5"},{"type":"journal_article","intvolume":"        22","publication_identifier":{"issn":["14359855"]},"issue":"7","author":[{"id":"342E7E22-F248-11E8-B48F-1D18A9856A87","last_name":"Boccato","full_name":"Boccato, Chiara","first_name":"Chiara"},{"last_name":"Brennecke","first_name":"Christian","full_name":"Brennecke, Christian"},{"full_name":"Cenatiempo, Serena","first_name":"Serena","last_name":"Cenatiempo"},{"last_name":"Schlein","full_name":"Schlein, Benjamin","first_name":"Benjamin"}],"main_file_link":[{"url":"https://arxiv.org/abs/1704.04819","open_access":"1"}],"date_updated":"2023-08-22T07:47:04Z","page":"2331-2403","article_type":"original","abstract":[{"lang":"eng","text":"We consider systems of N bosons in a box of volume one, interacting through a repulsive two-body potential of the form κN3β−1V(Nβx). For all 0<β<1, and for sufficiently small coupling constant κ>0, we establish the validity of Bogolyubov theory, identifying the ground state energy and the low-lying excitation spectrum up to errors that vanish in the limit of large N."}],"_id":"8042","date_published":"2020-07-01T00:00:00Z","title":"The excitation spectrum of Bose gases interacting through singular potentials","publication_status":"published","citation":{"ama":"Boccato C, Brennecke C, Cenatiempo S, Schlein B. The excitation spectrum of Bose gases interacting through singular potentials. <i>Journal of the European Mathematical Society</i>. 2020;22(7):2331-2403. doi:<a href=\"https://doi.org/10.4171/JEMS/966\">10.4171/JEMS/966</a>","ieee":"C. Boccato, C. Brennecke, S. Cenatiempo, and B. Schlein, “The excitation spectrum of Bose gases interacting through singular potentials,” <i>Journal of the European Mathematical Society</i>, vol. 22, no. 7. European Mathematical Society, pp. 2331–2403, 2020.","apa":"Boccato, C., Brennecke, C., Cenatiempo, S., &#38; Schlein, B. (2020). The excitation spectrum of Bose gases interacting through singular potentials. <i>Journal of the European Mathematical Society</i>. European Mathematical Society. <a href=\"https://doi.org/10.4171/JEMS/966\">https://doi.org/10.4171/JEMS/966</a>","chicago":"Boccato, Chiara, Christian Brennecke, Serena Cenatiempo, and Benjamin Schlein. “The Excitation Spectrum of Bose Gases Interacting through Singular Potentials.” <i>Journal of the European Mathematical Society</i>. European Mathematical Society, 2020. <a href=\"https://doi.org/10.4171/JEMS/966\">https://doi.org/10.4171/JEMS/966</a>.","mla":"Boccato, Chiara, et al. “The Excitation Spectrum of Bose Gases Interacting through Singular Potentials.” <i>Journal of the European Mathematical Society</i>, vol. 22, no. 7, European Mathematical Society, 2020, pp. 2331–403, doi:<a href=\"https://doi.org/10.4171/JEMS/966\">10.4171/JEMS/966</a>.","short":"C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Journal of the European Mathematical Society 22 (2020) 2331–2403.","ista":"Boccato C, Brennecke C, Cenatiempo S, Schlein B. 2020. The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society. 22(7), 2331–2403."},"date_created":"2020-06-29T07:59:35Z","publisher":"European Mathematical Society","department":[{"_id":"RoSe"}],"article_processing_charge":"No","year":"2020","language":[{"iso":"eng"}],"status":"public","month":"07","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"01","scopus_import":"1","oa_version":"Preprint","external_id":{"isi":["000548174700006"],"arxiv":["1704.04819"]},"quality_controlled":"1","oa":1,"volume":22,"doi":"10.4171/JEMS/966","isi":1,"publication":"Journal of the European Mathematical Society","arxiv":1},{"oa":1,"volume":897,"publication":"Journal of Fluid Mechanics","isi":1,"doi":"10.1017/jfm.2020.322","day":"25","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","month":"08","article_processing_charge":"Yes (via OA deal)","year":"2020","language":[{"iso":"eng"}],"status":"public","quality_controlled":"1","external_id":{"isi":["000539132300001"]},"has_accepted_license":"1","oa_version":"Published Version","scopus_import":"1","citation":{"ama":"Paranjape CS, Duguet Y, Hof B. Oblique stripe solutions of channel flow. <i>Journal of Fluid Mechanics</i>. 2020;897. doi:<a href=\"https://doi.org/10.1017/jfm.2020.322\">10.1017/jfm.2020.322</a>","ieee":"C. S. Paranjape, Y. Duguet, and B. Hof, “Oblique stripe solutions of channel flow,” <i>Journal of Fluid Mechanics</i>, vol. 897. Cambridge University Press, 2020.","apa":"Paranjape, C. S., Duguet, Y., &#38; Hof, B. (2020). Oblique stripe solutions of channel flow. <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jfm.2020.322\">https://doi.org/10.1017/jfm.2020.322</a>","chicago":"Paranjape, Chaitanya S, Yohann Duguet, and Björn Hof. “Oblique Stripe Solutions of Channel Flow.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2020. <a href=\"https://doi.org/10.1017/jfm.2020.322\">https://doi.org/10.1017/jfm.2020.322</a>.","mla":"Paranjape, Chaitanya S., et al. “Oblique Stripe Solutions of Channel Flow.” <i>Journal of Fluid Mechanics</i>, vol. 897, A7, Cambridge University Press, 2020, doi:<a href=\"https://doi.org/10.1017/jfm.2020.322\">10.1017/jfm.2020.322</a>.","short":"C.S. Paranjape, Y. Duguet, B. Hof, Journal of Fluid Mechanics 897 (2020).","ista":"Paranjape CS, Duguet Y, Hof B. 2020. Oblique stripe solutions of channel flow. Journal of Fluid Mechanics. 897, A7."},"publication_status":"published","date_created":"2020-06-29T07:59:35Z","title":"Oblique stripe solutions of channel flow","_id":"8043","date_published":"2020-08-25T00:00:00Z","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)"},"file":[{"checksum":"3f487bf6d9286787096306eaa18702e8","date_updated":"2020-07-14T12:48:08Z","relation":"main_file","access_level":"open_access","creator":"cziletti","file_size":767873,"file_id":"8070","file_name":"2020_JournalOfFluidMech_Paranjape.pdf","date_created":"2020-06-30T08:37:37Z","content_type":"application/pdf"}],"publisher":"Cambridge University Press","department":[{"_id":"BjHo"}],"ddc":["530"],"publication_identifier":{"issn":["00221120"],"eissn":["14697645"]},"intvolume":"       897","type":"journal_article","abstract":[{"lang":"eng","text":"With decreasing Reynolds number, Re, turbulence in channel flow becomes spatio-temporally intermittent and self-organises into solitary stripes oblique to the mean flow direction. We report here the existence of localised nonlinear travelling wave solutions of the Navier–Stokes equations possessing this obliqueness property. Such solutions are identified numerically using edge tracking coupled with arclength continuation. All solutions emerge in saddle-node bifurcations at values of Re lower than the non-localised solutions. Relative periodic orbit solutions bifurcating from branches of travelling waves have also been computed. A complete parametric study is performed, including their stability, the investigation of their large-scale flow, and the robustness to changes of the numerical domain."}],"article_number":"A7","article_type":"original","date_updated":"2023-08-22T07:48:02Z","author":[{"id":"3D85B7C4-F248-11E8-B48F-1D18A9856A87","last_name":"Paranjape","full_name":"Paranjape, Chaitanya S","first_name":"Chaitanya S"},{"last_name":"Duguet","full_name":"Duguet, Yohann","first_name":"Yohann"},{"last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87","first_name":"Björn","full_name":"Hof, Björn","orcid":"0000-0003-2057-2754"}],"acknowledgement":"The authors thank S. Zammert and B. Budanur for useful discussions. J. F. Gibson is gratefully acknowledged for the development and the maintenance of the code Channelflow. Y.D. would like to thank P. Schlatter and D. S. Henningson for an early collaboration on a similar topic in the case of plane Couette flow during the years 2008–2013.","file_date_updated":"2020-07-14T12:48:08Z"},{"volume":132,"oa":1,"publication":"Angewandte Chemie","doi":"10.1002/ange.202005378","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"07","language":[{"iso":"eng"}],"year":"2020","status":"public","article_processing_charge":"No","month":"09","has_accepted_license":"1","quality_controlled":"1","scopus_import":"1","oa_version":"Published Version","date_created":"2020-06-29T16:15:49Z","citation":{"ista":"Bouchal R, Li Z, Bongu C, Le Vot S, Berthelot R, Rotenberg B, Favier F, Freunberger SA, Salanne M, Fontaine O. 2020. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie. 132(37), 16047–16051.","short":"R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie 132 (2020) 16047–16051.","mla":"Bouchal, Roza, et al. “Competitive Salt Precipitation/Dissolution during Free‐water Reduction in Water‐in‐salt Electrolyte.” <i>Angewandte Chemie</i>, vol. 132, no. 37, Wiley, 2020, pp. 16047–51, doi:<a href=\"https://doi.org/10.1002/ange.202005378\">10.1002/ange.202005378</a>.","chicago":"Bouchal, Roza, Zhujie Li, Chandra Bongu, Steven Le Vot, Romain Berthelot, Benjamin Rotenberg, Frederic Favier, Stefan Alexander Freunberger, Mathieu Salanne, and Olivier Fontaine. “Competitive Salt Precipitation/Dissolution during Free‐water Reduction in Water‐in‐salt Electrolyte.” <i>Angewandte Chemie</i>. Wiley, 2020. <a href=\"https://doi.org/10.1002/ange.202005378\">https://doi.org/10.1002/ange.202005378</a>.","apa":"Bouchal, R., Li, Z., Bongu, C., Le Vot, S., Berthelot, R., Rotenberg, B., … Fontaine, O. (2020). Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. <i>Angewandte Chemie</i>. Wiley. <a href=\"https://doi.org/10.1002/ange.202005378\">https://doi.org/10.1002/ange.202005378</a>","ama":"Bouchal R, Li Z, Bongu C, et al. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. <i>Angewandte Chemie</i>. 2020;132(37):16047-16051. doi:<a href=\"https://doi.org/10.1002/ange.202005378\">10.1002/ange.202005378</a>","ieee":"R. Bouchal <i>et al.</i>, “Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte,” <i>Angewandte Chemie</i>, vol. 132, no. 37. Wiley, pp. 16047–16051, 2020."},"publication_status":"published","date_published":"2020-09-07T00:00:00Z","_id":"8057","title":"Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte","file":[{"content_type":"application/pdf","file_name":"2020_AngChemieDE_Bouchal.pdf","date_created":"2020-09-17T08:59:43Z","file_size":1904552,"file_id":"8401","success":1,"creator":"dernst","date_updated":"2020-09-17T08:59:43Z","checksum":"7dd0a56f6bd5de08ea75b1ec388c91bc","access_level":"open_access","relation":"main_file"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"department":[{"_id":"StFr"}],"publisher":"Wiley","publication_identifier":{"issn":["0044-8249"],"eissn":["1521-3757"]},"ddc":["540","541"],"intvolume":"       132","type":"journal_article","date_updated":"2023-09-05T15:47:50Z","abstract":[{"text":"Water-in-salt electrolytes based on highly concentrated bis(trifluoromethyl)sulfonimide (TFSI) promise aqueous electrolytes with stabilities approaching 3 V. However, especially with an electrode approaching the cathodic (reductive) stability, cycling stability is insufficient. While stability critically relies on a solid electrolyte interphase (SEI), the mechanism behind the cathodic stability limit remains unclear. Here, we reveal two distinct reduction potentials for the chemical environments of ‘free’ and ‘bound’ water and that both contribute to SEI formation. Free-water is reduced ~1V above bound water in a hydrogen evolution reaction (HER) and responsible for SEI formation via reactive intermediates of the HER; concurrent LiTFSI precipitation/dissolution establishes a dynamic interface. The free-water population emerges, therefore, as the handle to extend the cathodic limit of aqueous electrolytes and the battery cycling stability.","lang":"eng"}],"page":"16047-16051","article_type":"original","file_date_updated":"2020-09-17T08:59:43Z","issue":"37","author":[{"last_name":"Bouchal","full_name":"Bouchal, Roza","first_name":"Roza"},{"first_name":"Zhujie","full_name":"Li, Zhujie","last_name":"Li"},{"last_name":"Bongu","full_name":"Bongu, Chandra","first_name":"Chandra"},{"full_name":"Le Vot, Steven","first_name":"Steven","last_name":"Le Vot"},{"first_name":"Romain","full_name":"Berthelot, Romain","last_name":"Berthelot"},{"last_name":"Rotenberg","full_name":"Rotenberg, Benjamin","first_name":"Benjamin"},{"last_name":"Favier","first_name":"Frederic","full_name":"Favier, Frederic"},{"full_name":"Freunberger, Stefan Alexander","first_name":"Stefan Alexander","orcid":"0000-0003-2902-5319","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger"},{"first_name":"Mathieu","full_name":"Salanne, Mathieu","last_name":"Salanne"},{"last_name":"Fontaine","full_name":"Fontaine, Olivier","first_name":"Olivier"}]},{"oa":1,"title":"Object-centric image generation with factored depths, locations, and appearances","_id":"8063","date_published":"2020-04-01T00:00:00Z","citation":{"ista":"Anciukevicius T, Lampert C, Henderson PM. Object-centric image generation with factored depths, locations, and appearances. arXiv, 2004.00642.","apa":"Anciukevicius, T., Lampert, C., &#38; Henderson, P. M. (n.d.). Object-centric image generation with factored depths, locations, and appearances. <i>arXiv</i>.","ieee":"T. Anciukevicius, C. Lampert, and P. M. Henderson, “Object-centric image generation with factored depths, locations, and appearances,” <i>arXiv</i>. .","ama":"Anciukevicius T, Lampert C, Henderson PM. Object-centric image generation with factored depths, locations, and appearances. <i>arXiv</i>.","short":"T. Anciukevicius, C. Lampert, P.M. Henderson, ArXiv (n.d.).","chicago":"Anciukevicius, Titas, Christoph Lampert, and Paul M Henderson. “Object-Centric Image Generation with Factored Depths, Locations, and Appearances.” <i>ArXiv</i>, n.d.","mla":"Anciukevicius, Titas, et al. “Object-Centric Image Generation with Factored Depths, Locations, and Appearances.” <i>ArXiv</i>, 2004.00642."},"publication_status":"submitted","date_created":"2020-06-29T23:55:23Z","department":[{"_id":"ChLa"}],"publication":"arXiv","tmp":{"name":"Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0)","image":"/images/cc_by_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","short":"CC BY-SA (4.0)"},"arxiv":1,"license":"https://creativecommons.org/licenses/by-sa/4.0/","month":"04","article_processing_charge":"No","year":"2020","status":"public","language":[{"iso":"eng"}],"type":"preprint","day":"01","ddc":["004"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Anciukevicius","full_name":"Anciukevicius, Titas","first_name":"Titas"},{"id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","last_name":"Lampert","first_name":"Christoph","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887"},{"orcid":"0000-0002-5198-7445","first_name":"Paul M","full_name":"Henderson, Paul M","last_name":"Henderson","id":"13C09E74-18D9-11E9-8878-32CFE5697425"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2004.00642"}],"oa_version":"Preprint","abstract":[{"lang":"eng","text":"We present a generative model of images that explicitly reasons over the set\r\nof objects they show. Our model learns a structured latent representation that\r\nseparates objects from each other and from the background; unlike prior works,\r\nit explicitly represents the 2D position and depth of each object, as well as\r\nan embedding of its segmentation mask and appearance. The model can be trained\r\nfrom images alone in a purely unsupervised fashion without the need for object\r\nmasks or depth information. Moreover, it always generates complete objects,\r\neven though a significant fraction of training images contain occlusions.\r\nFinally, we show that our model can infer decompositions of novel images into\r\ntheir constituent objects, including accurate prediction of depth ordering and\r\nsegmentation of occluded parts."}],"article_number":"2004.00642","external_id":{"arxiv":["2004.00642"]},"date_updated":"2021-01-12T08:16:44Z"},{"file":[{"content_type":"application/pdf","file_name":"20200612_JPS_review_Li_metal_submitted.pdf","date_created":"2020-07-02T07:36:04Z","file_size":2612498,"file_id":"8076","creator":"dernst","date_updated":"2020-07-14T12:48:08Z","checksum":"d183ca1465a1cbb4f8db27875cd156f7","access_level":"open_access","relation":"main_file"}],"publisher":"IST Austria","department":[{"_id":"StFr"}],"citation":{"short":"A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Current Status and Future Perspectives of Lithium Metal Batteries, IST Austria, n.d.","chicago":"Varzi, Alberto, Katharina Thanner, Roberto Scipioni, Daniele Di Lecce, Jusef Hassoun, Susanne Dörfler, Holger Altheus, Stefan Kaskel, Christian Prehal, and Stefan Alexander Freunberger. <i>Current Status and Future Perspectives of Lithium Metal Batteries</i>. IST Austria, n.d. <a href=\"https://doi.org/10.15479/AT:ISTA:8067\">https://doi.org/10.15479/AT:ISTA:8067</a>.","mla":"Varzi, Alberto, et al. <i>Current Status and Future Perspectives of Lithium Metal Batteries</i>. IST Austria, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8067\">10.15479/AT:ISTA:8067</a>.","apa":"Varzi, A., Thanner, K., Scipioni, R., Di Lecce, D., Hassoun, J., Dörfler, S., … Freunberger, S. A. (n.d.). <i>Current status and future perspectives of Lithium metal batteries</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8067\">https://doi.org/10.15479/AT:ISTA:8067</a>","ieee":"A. Varzi <i>et al.</i>, <i>Current status and future perspectives of Lithium metal batteries</i>. IST Austria.","ama":"Varzi A, Thanner K, Scipioni R, et al. <i>Current Status and Future Perspectives of Lithium Metal Batteries</i>. IST Austria doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8067\">10.15479/AT:ISTA:8067</a>","ista":"Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. Current status and future perspectives of Lithium metal batteries, IST Austria, 63p."},"publication_status":"submitted","date_created":"2020-06-30T07:37:39Z","date_published":"2020-07-01T00:00:00Z","_id":"8067","title":"Current status and future perspectives of Lithium metal batteries","date_updated":"2023-08-22T09:20:36Z","page":"63","abstract":[{"text":"With the lithium-ion technology approaching its intrinsic limit with graphite-based anodes, lithium metal is recently receiving renewed interest from the battery community as potential high capacity anode for next-generation rechargeable batteries. In this focus paper, we review the main advances in this field since the first attempts in the\r\nmid-1970s. Strategies for enabling reversible cycling and avoiding dendrite growth are thoroughly discussed, including specific applications in all-solid-state (polymeric and inorganic), Lithium-sulphur and Li-O2 (air) batteries. A particular attention is paid to review recent developments in regard of prototype manufacturing and current state-ofthe-art of these battery technologies with respect to the 2030 targets of the EU Integrated Strategic Energy Technology Plan (SET-Plan) Action 7.","lang":"eng"}],"file_date_updated":"2020-07-14T12:48:08Z","author":[{"last_name":"Varzi","full_name":"Varzi, Alberto","first_name":"Alberto"},{"full_name":"Thanner, Katharina","first_name":"Katharina","last_name":"Thanner"},{"first_name":"Roberto","full_name":"Scipioni, Roberto","last_name":"Scipioni"},{"last_name":"Di Lecce","full_name":"Di Lecce, Daniele","first_name":"Daniele"},{"last_name":"Hassoun","full_name":"Hassoun, Jusef","first_name":"Jusef"},{"last_name":"Dörfler","first_name":"Susanne","full_name":"Dörfler, Susanne"},{"full_name":"Altheus, Holger","first_name":"Holger","last_name":"Altheus"},{"last_name":"Kaskel","full_name":"Kaskel, Stefan","first_name":"Stefan"},{"first_name":"Christian","full_name":"Prehal, Christian","last_name":"Prehal"},{"id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger","orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander","first_name":"Stefan Alexander"}],"publication_identifier":{"issn":["2664-1690"]},"ddc":["540"],"type":"technical_report","doi":"10.15479/AT:ISTA:8067","keyword":["Battery","Lithium metal","Lithium-sulphur","Lithium-air","All-solid-state"],"oa":1,"has_accepted_license":"1","related_material":{"record":[{"relation":"later_version","status":"public","id":"8361"}]},"oa_version":"Published Version","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","alternative_title":["IST Austria Technical Report"],"day":"01","article_processing_charge":"No","year":"2020","status":"public","language":[{"iso":"eng"}],"month":"07"},{"intvolume":"       157","type":"journal_article","ddc":["510"],"publication_identifier":{"issn":["0168-9274"]},"acknowledgement":"The authors are grateful to the two anonymous referees for their insightful comments and suggestions which have improved the earlier version of the manuscript greatly. The first author has received funding from the European Research Council (ERC) under the European Union Seventh Framework Programme (FP7 - 2007-2013) (Grant agreement No. 616160).","author":[{"last_name":"Shehu","id":"3FC7CB58-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9224-7139","first_name":"Yekini","full_name":"Shehu, Yekini"},{"last_name":"Iyiola","first_name":"Olaniyi S.","full_name":"Iyiola, Olaniyi S."}],"file_date_updated":"2020-07-14T12:48:09Z","article_type":"original","page":"315-337","abstract":[{"lang":"eng","text":"The projection methods with vanilla inertial extrapolation step for variational inequalities have been of interest to many authors recently due to the improved convergence speed contributed by the presence of inertial extrapolation step. However, it is discovered that these projection methods with inertial steps lose the Fejér monotonicity of the iterates with respect to the solution, which is being enjoyed by their corresponding non-inertial projection methods for variational inequalities. This lack of Fejér monotonicity makes projection methods with vanilla inertial extrapolation step for variational inequalities not to converge faster than their corresponding non-inertial projection methods at times. Also, it has recently been proved that the projection methods with vanilla inertial extrapolation step may provide convergence rates that are worse than the classical projected gradient methods for strongly convex functions. In this paper, we introduce projection methods with alternated inertial extrapolation step for solving variational inequalities. We show that the sequence of iterates generated by our methods converges weakly to a solution of the variational inequality under some appropriate conditions. The Fejér monotonicity of even subsequence is recovered in these methods and linear rate of convergence is obtained. The numerical implementations of our methods compared with some other inertial projection methods show that our method is more efficient and outperforms some of these inertial projection methods."}],"date_updated":"2023-08-22T07:50:43Z","title":"Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence","ec_funded":1,"_id":"8077","date_published":"2020-11-01T00:00:00Z","date_created":"2020-07-02T09:02:33Z","publication_status":"published","citation":{"short":"Y. Shehu, O.S. Iyiola, Applied Numerical Mathematics 157 (2020) 315–337.","chicago":"Shehu, Yekini, and Olaniyi S. Iyiola. “Projection Methods with Alternating Inertial Steps for Variational Inequalities: Weak and Linear Convergence.” <i>Applied Numerical Mathematics</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.apnum.2020.06.009\">https://doi.org/10.1016/j.apnum.2020.06.009</a>.","mla":"Shehu, Yekini, and Olaniyi S. Iyiola. “Projection Methods with Alternating Inertial Steps for Variational Inequalities: Weak and Linear Convergence.” <i>Applied Numerical Mathematics</i>, vol. 157, Elsevier, 2020, pp. 315–37, doi:<a href=\"https://doi.org/10.1016/j.apnum.2020.06.009\">10.1016/j.apnum.2020.06.009</a>.","apa":"Shehu, Y., &#38; Iyiola, O. S. (2020). Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence. <i>Applied Numerical Mathematics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.apnum.2020.06.009\">https://doi.org/10.1016/j.apnum.2020.06.009</a>","ieee":"Y. Shehu and O. S. Iyiola, “Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence,” <i>Applied Numerical Mathematics</i>, vol. 157. Elsevier, pp. 315–337, 2020.","ama":"Shehu Y, Iyiola OS. Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence. <i>Applied Numerical Mathematics</i>. 2020;157:315-337. doi:<a href=\"https://doi.org/10.1016/j.apnum.2020.06.009\">10.1016/j.apnum.2020.06.009</a>","ista":"Shehu Y, Iyiola OS. 2020. Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence. Applied Numerical Mathematics. 157, 315–337."},"department":[{"_id":"VlKo"}],"publisher":"Elsevier","file":[{"date_created":"2020-07-02T09:08:59Z","file_name":"2020_AppliedNumericalMath_Shehu.pdf","content_type":"application/pdf","relation":"main_file","access_level":"open_access","date_updated":"2020-07-14T12:48:09Z","checksum":"87d81324a62c82baa925c009dfcb0200","creator":"dernst","file_id":"8078","file_size":2874203}],"month":"11","status":"public","language":[{"iso":"eng"}],"year":"2020","article_processing_charge":"No","day":"01","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa_version":"Submitted Version","scopus_import":"1","quality_controlled":"1","has_accepted_license":"1","external_id":{"isi":["000564648400018"]},"volume":157,"oa":1,"project":[{"call_identifier":"FP7","grant_number":"616160","_id":"25FBA906-B435-11E9-9278-68D0E5697425","name":"Discrete Optimization in Computer Vision: Theory and Practice"}],"doi":"10.1016/j.apnum.2020.06.009","publication":"Applied Numerical Mathematics","isi":1},{"file":[{"file_name":"AM.pdf","date_created":"2020-07-02T20:21:59Z","content_type":"application/pdf","date_updated":"2020-07-14T12:48:09Z","checksum":"6970d621984c03ebc2eee71adfe706dd","access_level":"open_access","relation":"main_file","file_id":"8082","file_size":1129852,"creator":"sfreunbe"},{"content_type":"application/pdf","file_name":"Supporting_Information.pdf","date_created":"2020-07-08T12:14:04Z","file_id":"8102","file_size":945565,"creator":"cziletti","date_updated":"2020-07-14T12:48:09Z","checksum":"cd74c7bd47d6e7163d54d67f074dcc36","access_level":"open_access","relation":"supplementary_material"}],"department":[{"_id":"StFr"}],"date_created":"2020-07-02T20:24:42Z","citation":{"short":"M.A. Hobisch, E. Mourad, W.J. Fischer, C. Prehal, S. Eyley, A. Childress, A. Zankel, A. Mautner, S. Breitenbach, A.M. Rao, W. Thielemans, S.A. Freunberger, R. Eckhart, W. Bauer, S. Spirk, (n.d.).","mla":"Hobisch, Mathias A., et al. <i>High Specific Capacitance Supercapacitors from Hierarchically Organized All-Cellulose Composites</i>.","chicago":"Hobisch, Mathias A. , Eléonore  Mourad, Wolfgang J.  Fischer, Christian  Prehal, Samuel  Eyley, Anthony  Childress, Armin  Zankel, et al. “High Specific Capacitance Supercapacitors from Hierarchically Organized All-Cellulose Composites,” n.d.","apa":"Hobisch, M. A., Mourad, E., Fischer, W. J., Prehal, C., Eyley, S., Childress, A., … Spirk, S. (n.d.). High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.","ieee":"M. A. Hobisch <i>et al.</i>, “High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.” .","ama":"Hobisch MA, Mourad E, Fischer WJ, et al. High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.","ista":"Hobisch MA, Mourad E, Fischer WJ, Prehal C, Eyley S, Childress A, Zankel A, Mautner A, Breitenbach S, Rao AM, Thielemans W, Freunberger SA, Eckhart R, Bauer W, Spirk S. High specific capacitance supercapacitors from hierarchically organized all-cellulose composites."},"publication_status":"submitted","_id":"8081","date_published":"2020-07-13T00:00:00Z","title":"High specific capacitance supercapacitors from hierarchically organized all-cellulose composites","oa":1,"date_updated":"2022-06-17T08:39:49Z","has_accepted_license":"1","abstract":[{"lang":"eng","text":"Here, we employ micro- and nanosized cellulose particles, namely paper fines and cellulose\r\nnanocrystals, to induce hierarchical organization over a wide length scale. After processing\r\nthem into carbonaceous materials, we demonstrate that these hierarchically organized materials\r\noutperform the best materials for supercapacitors operating with organic electrolytes reported\r\nin literature in terms of specific energy/power (Ragone plot) while showing hardly any capacity\r\nfade over 4,000 cycles. The highly porous materials feature a specific surface area as high as\r\n2500 m2ˑg-1 and exhibit pore sizes in the range of 0.5 to 200 nm as proven by scanning electron\r\nmicroscopy and N2 physisorption. The carbonaceous materials have been further investigated\r\nby X-ray photoelectron spectroscopy and RAMAN spectroscopy. Since paper fines are an\r\nunderutilized side stream in any paper production process, they are a cheap and highly available\r\nfeedstock to prepare carbonaceous materials with outstanding performance in electrochemical\r\napplications. "}],"file_date_updated":"2020-07-14T12:48:09Z","oa_version":"Submitted Version","author":[{"last_name":"Hobisch","first_name":"Mathias A. ","full_name":"Hobisch, Mathias A. "},{"last_name":"Mourad","first_name":"Eléonore ","full_name":"Mourad, Eléonore "},{"first_name":"Wolfgang J. ","full_name":"Fischer, Wolfgang J. ","last_name":"Fischer"},{"last_name":"Prehal","full_name":"Prehal, Christian ","first_name":"Christian "},{"first_name":"Samuel ","full_name":"Eyley, Samuel ","last_name":"Eyley"},{"last_name":"Childress","full_name":"Childress, Anthony ","first_name":"Anthony "},{"last_name":"Zankel","first_name":"Armin ","full_name":"Zankel, Armin "},{"last_name":"Mautner","first_name":"Andreas ","full_name":"Mautner, Andreas "},{"first_name":"Stefan ","full_name":"Breitenbach, Stefan ","last_name":"Breitenbach"},{"full_name":"Rao, Apparao M. ","first_name":"Apparao M. ","last_name":"Rao"},{"last_name":"Thielemans","first_name":"Wim ","full_name":"Thielemans, Wim "},{"orcid":"0000-0003-2902-5319","first_name":"Stefan Alexander","full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger"},{"last_name":"Eckhart","full_name":"Eckhart, Rene ","first_name":"Rene "},{"last_name":"Bauer","full_name":"Bauer, Wolfgang ","first_name":"Wolfgang "},{"first_name":"Stefan ","full_name":"Spirk, Stefan ","last_name":"Spirk"}],"acknowledgement":"The authors M.A.H., S.S., R.E., and W.B. acknowledge the industrial partners Sappi Gratkorn, Zellstoff Pöls and Mondi Frantschach, the Austrian Research Promotion Agency (FFG), COMET, BMVIT, BMWFJ, the Province of Styria and Carinthia for their financial support of the K-project Flippr²-Process Integration. E.M. and S.A.F. are indebted to the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement No 636069). W. T. and S. E. thank FWO (G.0C60.13N) and the European Union’s European Fund for Regional Development and Flanders Innovation & Entrepreneurship (Accelerate3 project, Interreg Vlaanderen-Nederland program) for financial support. W. T. also thanks the Provincie West-Vlaanderen (Belgium) for his Provincial Chair in Advanced Materials. S. B. thanks the European Regional Development Fund (EFRE) and the province of Upper Austria for financial support through the program IWB 2014-2020 (project BioCarb-K). AMR gratefully acknowledges funding support through the SC EPSCoR/IDeAProgram under Award #18-SR03, and the NASA EPSCoR Program under Award #NNH17ZHA002C. Icons in Scheme 1 were provided by Good Ware, monkik, photo3idea_studio, and OCHA from www.flaticon.com.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"13","ddc":["540"],"status":"public","language":[{"iso":"eng"}],"year":"2020","type":"preprint","article_processing_charge":"No","month":"07"},{"intvolume":"        40","type":"journal_article","publication_identifier":{"eissn":["1529-2401"],"issn":["0270-6474"]},"ddc":["570"],"issue":"1","file_date_updated":"2020-07-22T11:44:48Z","author":[{"id":"A057D288-3E88-11E9-986D-0CF4E5697425","last_name":"Lombardi","full_name":"Lombardi, Fabrizio","first_name":"Fabrizio","orcid":"0000-0003-2623-5249"},{"last_name":"Gómez-Extremera","full_name":"Gómez-Extremera, Manuel","first_name":"Manuel"},{"last_name":"Bernaola-Galván","full_name":"Bernaola-Galván, Pedro","first_name":"Pedro"},{"first_name":"Ramalingam","full_name":"Vetrivelan, Ramalingam","last_name":"Vetrivelan"},{"last_name":"Saper","first_name":"Clifford B.","full_name":"Saper, Clifford B."},{"last_name":"Scammell","first_name":"Thomas E.","full_name":"Scammell, Thomas E."},{"full_name":"Ivanov, Plamen Ch.","first_name":"Plamen Ch.","last_name":"Ivanov"}],"date_updated":"2023-09-05T14:02:55Z","article_type":"original","abstract":[{"text":"Origin and functions of intermittent transitions among sleep stages, including brief awakenings and arousals, constitute a challenge to the current homeostatic framework for sleep regulation, focusing on factors modulating sleep over large time scales. Here we propose that the complex micro-architecture characterizing sleep on scales of seconds and minutes results from intrinsic non-equilibrium critical dynamics. We investigate θ- and δ-wave dynamics in control rats and in rats where the sleep-promoting ventrolateral preoptic nucleus (VLPO) is lesioned (male Sprague-Dawley rats). We demonstrate that bursts in θ and δ cortical rhythms exhibit complex temporal organization, with long-range correlations and robust duality of power-law (θ-bursts, active phase) and exponential-like (δ-bursts, quiescent phase) duration distributions, features typical of non-equilibrium systems self-organizing at criticality. We show that such non-equilibrium behavior relates to anti-correlated coupling between θ- and δ-bursts, persists across a range of time scales, and is independent of the dominant physiologic state; indications of a basic principle in sleep regulation. Further, we find that VLPO lesions lead to a modulation of cortical dynamics resulting in altered dynamical parameters of θ- and δ-bursts and significant reduction in θ–δ coupling. Our empirical findings and model simulations demonstrate that θ–δ coupling is essential for the emerging non-equilibrium critical dynamics observed across the sleep–wake cycle, and indicate that VLPO neurons may have dual role for both sleep and arousal/brief wake activation. The uncovered critical behavior in sleep- and wake-related cortical rhythms indicates a mechanism essential for the micro-architecture of spontaneous sleep-stage and arousal transitions within a novel, non-homeostatic paradigm of sleep regulation.","lang":"eng"}],"page":"171-190","_id":"8084","date_published":"2020-01-02T00:00:00Z","title":"Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake","ec_funded":1,"citation":{"ista":"Lombardi F, Gómez-Extremera M, Bernaola-Galván P, Vetrivelan R, Saper CB, Scammell TE, Ivanov PC. 2020. Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake. Journal of Neuroscience. 40(1), 171–190.","chicago":"Lombardi, Fabrizio, Manuel Gómez-Extremera, Pedro Bernaola-Galván, Ramalingam Vetrivelan, Clifford B. Saper, Thomas E. Scammell, and Plamen Ch. Ivanov. “Critical Dynamics and Coupling in Bursts of Cortical Rhythms Indicate Non-Homeostatic Mechanism for Sleep-Stage Transitions and Dual Role of VLPO Neurons in Both Sleep and Wake.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 2020. <a href=\"https://doi.org/10.1523/jneurosci.1278-19.2019\">https://doi.org/10.1523/jneurosci.1278-19.2019</a>.","mla":"Lombardi, Fabrizio, et al. “Critical Dynamics and Coupling in Bursts of Cortical Rhythms Indicate Non-Homeostatic Mechanism for Sleep-Stage Transitions and Dual Role of VLPO Neurons in Both Sleep and Wake.” <i>Journal of Neuroscience</i>, vol. 40, no. 1, Society for Neuroscience, 2020, pp. 171–90, doi:<a href=\"https://doi.org/10.1523/jneurosci.1278-19.2019\">10.1523/jneurosci.1278-19.2019</a>.","short":"F. Lombardi, M. Gómez-Extremera, P. Bernaola-Galván, R. Vetrivelan, C.B. Saper, T.E. Scammell, P.C. Ivanov, Journal of Neuroscience 40 (2020) 171–190.","ieee":"F. Lombardi <i>et al.</i>, “Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake,” <i>Journal of Neuroscience</i>, vol. 40, no. 1. Society for Neuroscience, pp. 171–190, 2020.","ama":"Lombardi F, Gómez-Extremera M, Bernaola-Galván P, et al. Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake. <i>Journal of Neuroscience</i>. 2020;40(1):171-190. doi:<a href=\"https://doi.org/10.1523/jneurosci.1278-19.2019\">10.1523/jneurosci.1278-19.2019</a>","apa":"Lombardi, F., Gómez-Extremera, M., Bernaola-Galván, P., Vetrivelan, R., Saper, C. B., Scammell, T. E., &#38; Ivanov, P. C. (2020). Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/jneurosci.1278-19.2019\">https://doi.org/10.1523/jneurosci.1278-19.2019</a>"},"publication_status":"published","date_created":"2020-07-05T15:24:51Z","publisher":"Society for Neuroscience","department":[{"_id":"GaTk"}],"file":[{"date_updated":"2020-07-22T11:44:48Z","relation":"main_file","access_level":"open_access","creator":"dernst","success":1,"file_id":"8150","file_size":6646046,"file_name":"2020_JournNeuroscience_Lombardi.pdf","date_created":"2020-07-22T11:44:48Z","content_type":"application/pdf"}],"article_processing_charge":"No","status":"public","language":[{"iso":"eng"}],"year":"2020","month":"01","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"02","pmid":1,"scopus_import":"1","oa_version":"Published Version","external_id":{"isi":["000505167600016"],"pmid":["31694962"]},"has_accepted_license":"1","quality_controlled":"1","oa":1,"volume":40,"doi":"10.1523/jneurosci.1278-19.2019","project":[{"call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships"}],"isi":1,"publication":"Journal of Neuroscience"},{"type":"conference","publication_identifier":{"isbn":["9781450376136"]},"main_file_link":[{"url":"https://arxiv.org/abs/1902.04373","open_access":"1"}],"author":[{"last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"last_name":"Fu","id":"3AAD03D6-F248-11E8-B48F-1D18A9856A87","first_name":"Hongfei","full_name":"Fu, Hongfei"},{"last_name":"Goharshady","id":"391365CE-F248-11E8-B48F-1D18A9856A87","full_name":"Goharshady, Amir Kafshdar","first_name":"Amir Kafshdar","orcid":"0000-0003-1702-6584"},{"last_name":"Goharshady","first_name":"Ehsan Kafshdar","full_name":"Goharshady, Ehsan Kafshdar"}],"abstract":[{"text":"We consider the classical problem of invariant generation for programs with polynomial assignments and focus on synthesizing invariants that are a conjunction of strict polynomial inequalities. We present a sound and semi-complete method based on positivstellensaetze, i.e. theorems in semi-algebraic geometry that characterize positive polynomials over a semi-algebraic set.\r\n\r\nOn the theoretical side, the worst-case complexity of our approach is subexponential, whereas the worst-case complexity of the previous complete method (Kapur, ACA 2004) is doubly-exponential. Even when restricted to linear invariants, the best previous complexity for complete invariant generation is exponential (Colon et al, CAV 2003). On the practical side, we reduce the invariant generation problem to quadratic programming (QCLP), which is a classical optimization problem with many industrial solvers. We demonstrate the applicability of our approach by providing experimental results on several academic benchmarks. To the best of our knowledge, the only previous invariant generation method that provides completeness guarantees for invariants consisting of polynomial inequalities is (Kapur, ACA 2004), which relies on quantifier elimination and cannot even handle toy programs such as our running example.","lang":"eng"}],"page":"672-687","conference":{"end_date":"2020-06-20","start_date":"2020-06-15","name":"PLDI: Programming Language Design and Implementation","location":"London, United Kingdom"},"date_updated":"2025-06-02T08:53:42Z","title":"Polynomial invariant generation for non-deterministic recursive programs","date_published":"2020-06-11T00:00:00Z","_id":"8089","date_created":"2020-07-05T22:00:45Z","citation":{"ista":"Chatterjee K, Fu H, Goharshady AK, Goharshady EK. 2020. Polynomial invariant generation for non-deterministic recursive programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 672–687.","chicago":"Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” In <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>, 672–87. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3385412.3385969\">https://doi.org/10.1145/3385412.3385969</a>.","mla":"Chatterjee, Krishnendu, et al. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>, Association for Computing Machinery, 2020, pp. 672–87, doi:<a href=\"https://doi.org/10.1145/3385412.3385969\">10.1145/3385412.3385969</a>.","short":"K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.","ieee":"K. Chatterjee, H. Fu, A. K. Goharshady, and E. K. Goharshady, “Polynomial invariant generation for non-deterministic recursive programs,” in <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>, London, United Kingdom, 2020, pp. 672–687.","ama":"Chatterjee K, Fu H, Goharshady AK, Goharshady EK. Polynomial invariant generation for non-deterministic recursive programs. In: <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>. Association for Computing Machinery; 2020:672-687. doi:<a href=\"https://doi.org/10.1145/3385412.3385969\">10.1145/3385412.3385969</a>","apa":"Chatterjee, K., Fu, H., Goharshady, A. K., &#38; Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i> (pp. 672–687). London, United Kingdom: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3385412.3385969\">https://doi.org/10.1145/3385412.3385969</a>"},"publication_status":"published","department":[{"_id":"KrCh"}],"publisher":"Association for Computing Machinery","month":"06","status":"public","year":"2020","language":[{"iso":"eng"}],"article_processing_charge":"No","day":"11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Preprint","scopus_import":"1","related_material":{"record":[{"relation":"dissertation_contains","id":"8934","status":"public"}]},"quality_controlled":"1","external_id":{"arxiv":["1902.04373"],"isi":["000614622300045"]},"oa":1,"project":[{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF"},{"_id":"25892FC0-B435-11E9-9278-68D0E5697425","name":"Efficient Algorithms for Computer Aided Verification","grant_number":"ICT15-003"}],"doi":"10.1145/3385412.3385969","arxiv":1,"publication":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","isi":1},{"type":"journal_article","intvolume":"       181","publication_identifier":{"eissn":["15729613"],"issn":["00224715"]},"ddc":["530"],"file_date_updated":"2020-11-25T15:05:04Z","author":[{"last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","first_name":"Robert"},{"full_name":"Yngvason, Jakob","first_name":"Jakob","last_name":"Yngvason"}],"acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria).\r\nThe work of R.S. was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No 694227). J.Y. gratefully acknowledges hospitality at the LPMMC Grenoble and valuable discussions with Alessandro Olgiati and Nicolas Rougerie. ","date_updated":"2023-08-22T07:51:47Z","article_type":"original","abstract":[{"lang":"eng","text":"In the setting of the fractional quantum Hall effect we study the effects of strong, repulsive two-body interaction potentials of short range. We prove that Haldane’s pseudo-potential operators, including their pre-factors, emerge as mathematically rigorous limits of such interactions when the range of the potential tends to zero while its strength tends to infinity. In a common approach the interaction potential is expanded in angular momentum eigenstates in the lowest Landau level, which amounts to taking the pre-factors to be the moments of the potential. Such a procedure is not appropriate for very strong interactions, however, in particular not in the case of hard spheres. We derive the formulas valid in the short-range case, which involve the scattering lengths of the interaction potential in different angular momentum channels rather than its moments. Our results hold for bosons and fermions alike and generalize previous results in [6], which apply to bosons in the lowest angular momentum channel. Our main theorem asserts the convergence in a norm-resolvent sense of the Hamiltonian on the whole Hilbert space, after appropriate energy scalings, to Hamiltonians with contact interactions in the lowest Landau level."}],"page":"448-464","_id":"8091","date_published":"2020-10-01T00:00:00Z","ec_funded":1,"title":"Emergence of Haldane pseudo-potentials in systems with short-range interactions","publication_status":"published","citation":{"mla":"Seiringer, Robert, and Jakob Yngvason. “Emergence of Haldane Pseudo-Potentials in Systems with Short-Range Interactions.” <i>Journal of Statistical Physics</i>, vol. 181, Springer, 2020, pp. 448–64, doi:<a href=\"https://doi.org/10.1007/s10955-020-02586-0\">10.1007/s10955-020-02586-0</a>.","chicago":"Seiringer, Robert, and Jakob Yngvason. “Emergence of Haldane Pseudo-Potentials in Systems with Short-Range Interactions.” <i>Journal of Statistical Physics</i>. Springer, 2020. <a href=\"https://doi.org/10.1007/s10955-020-02586-0\">https://doi.org/10.1007/s10955-020-02586-0</a>.","short":"R. Seiringer, J. Yngvason, Journal of Statistical Physics 181 (2020) 448–464.","ieee":"R. Seiringer and J. Yngvason, “Emergence of Haldane pseudo-potentials in systems with short-range interactions,” <i>Journal of Statistical Physics</i>, vol. 181. Springer, pp. 448–464, 2020.","ama":"Seiringer R, Yngvason J. Emergence of Haldane pseudo-potentials in systems with short-range interactions. <i>Journal of Statistical Physics</i>. 2020;181:448-464. doi:<a href=\"https://doi.org/10.1007/s10955-020-02586-0\">10.1007/s10955-020-02586-0</a>","apa":"Seiringer, R., &#38; Yngvason, J. (2020). Emergence of Haldane pseudo-potentials in systems with short-range interactions. <i>Journal of Statistical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s10955-020-02586-0\">https://doi.org/10.1007/s10955-020-02586-0</a>","ista":"Seiringer R, Yngvason J. 2020. Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics. 181, 448–464."},"date_created":"2020-07-05T22:00:46Z","publisher":"Springer","department":[{"_id":"RoSe"}],"file":[{"date_updated":"2020-11-25T15:05:04Z","checksum":"5cbeef52caf18d0d952f17fed7b5545a","relation":"main_file","access_level":"open_access","creator":"dernst","file_id":"8812","file_size":404778,"success":1,"file_name":"2020_JourStatPhysics_Seiringer.pdf","date_created":"2020-11-25T15:05:04Z","content_type":"application/pdf"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"article_processing_charge":"Yes (via OA deal)","year":"2020","status":"public","language":[{"iso":"eng"}],"month":"10","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"01","scopus_import":"1","oa_version":"Published Version","external_id":{"arxiv":["2001.07144"],"isi":["000543030000002"]},"has_accepted_license":"1","quality_controlled":"1","oa":1,"volume":181,"doi":"10.1007/s10955-020-02586-0","project":[{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"},{"call_identifier":"H2020","grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","name":"Analysis of quantum many-body systems"}],"isi":1,"publication":"Journal of Statistical Physics","arxiv":1},{"date_published":"2020-01-08T00:00:00Z","_id":"8092","title":"XGAN: Unsupervised image-to-image translation for many-to-many mappings","publication_status":"published","citation":{"ista":"Royer A, Bousmalis K, Gouws S, Bertsch F, Mosseri I, Cole F, Murphy K. 2020.XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Domain Adaptation for Visual Understanding. , 33–49.","apa":"Royer, A., Bousmalis, K., Gouws, S., Bertsch, F., Mosseri, I., Cole, F., &#38; Murphy, K. (2020). XGAN: Unsupervised image-to-image translation for many-to-many mappings. In R. Singh, M. Vatsa, V. M. Patel, &#38; N. Ratha (Eds.), <i>Domain Adaptation for Visual Understanding</i> (pp. 33–49). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-30671-7_3\">https://doi.org/10.1007/978-3-030-30671-7_3</a>","ama":"Royer A, Bousmalis K, Gouws S, et al. XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Singh R, Vatsa M, Patel VM, Ratha N, eds. <i>Domain Adaptation for Visual Understanding</i>. Springer Nature; 2020:33-49. doi:<a href=\"https://doi.org/10.1007/978-3-030-30671-7_3\">10.1007/978-3-030-30671-7_3</a>","ieee":"A. Royer <i>et al.</i>, “XGAN: Unsupervised image-to-image translation for many-to-many mappings,” in <i>Domain Adaptation for Visual Understanding</i>, R. Singh, M. Vatsa, V. M. Patel, and N. Ratha, Eds. Springer Nature, 2020, pp. 33–49.","short":"A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.","chicago":"Royer, Amélie, Konstantinos Bousmalis, Stephan Gouws, Fred Bertsch, Inbar Mosseri, Forrester Cole, and Kevin Murphy. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” In <i>Domain Adaptation for Visual Understanding</i>, edited by Richa Singh, Mayank Vatsa, Vishal M. Patel, and Nalini Ratha, 33–49. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-30671-7_3\">https://doi.org/10.1007/978-3-030-30671-7_3</a>.","mla":"Royer, Amélie, et al. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” <i>Domain Adaptation for Visual Understanding</i>, edited by Richa Singh et al., Springer Nature, 2020, pp. 33–49, doi:<a href=\"https://doi.org/10.1007/978-3-030-30671-7_3\">10.1007/978-3-030-30671-7_3</a>."},"date_created":"2020-07-05T22:00:46Z","publisher":"Springer Nature","department":[{"_id":"ChLa"}],"type":"book_chapter","editor":[{"last_name":"Singh","full_name":"Singh, Richa","first_name":"Richa"},{"full_name":"Vatsa, Mayank","first_name":"Mayank","last_name":"Vatsa"},{"last_name":"Patel","first_name":"Vishal M.","full_name":"Patel, Vishal M."},{"full_name":"Ratha, Nalini","first_name":"Nalini","last_name":"Ratha"}],"publication_identifier":{"isbn":["9783030306717"]},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1711.05139"}],"author":[{"last_name":"Royer","id":"3811D890-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8407-0705","full_name":"Royer, Amélie","first_name":"Amélie"},{"last_name":"Bousmalis","full_name":"Bousmalis, Konstantinos","first_name":"Konstantinos"},{"full_name":"Gouws, Stephan","first_name":"Stephan","last_name":"Gouws"},{"full_name":"Bertsch, Fred","first_name":"Fred","last_name":"Bertsch"},{"full_name":"Mosseri, Inbar","first_name":"Inbar","last_name":"Mosseri"},{"full_name":"Cole, Forrester","first_name":"Forrester","last_name":"Cole"},{"full_name":"Murphy, Kevin","first_name":"Kevin","last_name":"Murphy"}],"date_updated":"2023-09-07T13:16:18Z","page":"33-49","abstract":[{"text":"Image translation refers to the task of mapping images from a visual domain to another. Given two unpaired collections of images, we aim to learn a mapping between the corpus-level style of each collection, while preserving semantic content shared across the two domains. We introduce xgan, a dual adversarial auto-encoder, which captures a shared representation of the common domain semantic content in an unsupervised way, while jointly learning the domain-to-domain image translations in both directions. We exploit ideas from the domain adaptation literature and define a semantic consistency loss which encourages the learned embedding to preserve semantics shared across domains. We report promising qualitative results for the task of face-to-cartoon translation. The cartoon dataset we collected for this purpose, “CartoonSet”, is also publicly available as a new benchmark for semantic style transfer at https://google.github.io/cartoonset/index.html.","lang":"eng"}],"oa":1,"doi":"10.1007/978-3-030-30671-7_3","publication":"Domain Adaptation for Visual Understanding","arxiv":1,"article_processing_charge":"No","language":[{"iso":"eng"}],"year":"2020","status":"public","month":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"08","scopus_import":"1","related_material":{"record":[{"relation":"dissertation_contains","status":"deleted","id":"8331"},{"relation":"dissertation_contains","id":"8390","status":"public"}]},"oa_version":"Preprint","external_id":{"arxiv":["1711.05139"]},"quality_controlled":"1"}]
