[{"date_updated":"2024-03-25T07:04:05Z","date_created":"2024-03-24T23:01:00Z","author":[{"full_name":"Agnes, Everton J.","first_name":"Everton J.","last_name":"Agnes"},{"full_name":"Vogels, Tim P","id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","orcid":"0000-0003-3295-6181","first_name":"Tim P","last_name":"Vogels"}],"publisher":"Springer Nature","department":[{"_id":"TiVo"}],"publication_status":"epub_ahead","year":"2024","acknowledgement":"We thank C. Currin, B. Podlaski and the members of the Vogels group for fruitful discussions. E.J.A. and T.P.V. were supported by a Research Project Grant from the Leverhulme Trust (RPG-2016-446; TPV), a Sir Henry Dale Fellowship from the Wellcome Trust and the Royal Society (WT100000; T.P.V.), a Wellcome Trust Senior Research Fellowship (214316/Z/18/Z; T.P.V.) and a European Research Council Consolidator Grant (SYNAPSEEK, 819603; T.P.V.). For the purpose of open access, the authors have applied a CC BY public copyright license to any author accepted manuscript version arising from this submission. Open access funding provided by University of Basel.","ec_funded":1,"language":[{"iso":"eng"}],"doi":"10.1038/s41593-024-01597-4","project":[{"name":"Learning the shape of synaptic plasticity rules for neuronal architectures and function through machine learning.","call_identifier":"H2020","_id":"0aacfa84-070f-11eb-9043-d7eb2c709234","grant_number":"819603"}],"quality_controlled":"1","oa":1,"main_file_link":[{"url":"https://doi.org/10.1038/s41593-024-01597-4","open_access":"1"}],"publication_identifier":{"eissn":["1546-1726"],"issn":["1097-6256"]},"month":"03","oa_version":"Published Version","status":"public","title":"Co-dependent excitatory and inhibitory plasticity accounts for quick, stable and long-lasting memories in biological networks","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"15171","abstract":[{"text":"The brain’s functionality is developed and maintained through synaptic plasticity. As synapses undergo plasticity, they also affect each other. The nature of such ‘co-dependency’ is difficult to disentangle experimentally, because multiple synapses must be monitored simultaneously. To help understand the experimentally observed phenomena, we introduce a framework that formalizes synaptic co-dependency between different connection types. The resulting model explains how inhibition can gate excitatory plasticity while neighboring excitatory–excitatory interactions determine the strength of long-term potentiation. Furthermore, we show how the interplay between excitatory and inhibitory synapses can account for the quick rise and long-term stability of a variety of synaptic weight profiles, such as orientation tuning and dendritic clustering of co-active synapses. In recurrent neuronal networks, co-dependent plasticity produces rich and stable motor cortex-like dynamics with high input sensitivity. Our results suggest an essential role for the neighborly synaptic interaction during learning, connecting micro-level physiology with network-wide phenomena.","lang":"eng"}],"type":"journal_article","date_published":"2024-03-20T00:00:00Z","article_type":"original","citation":{"chicago":"Agnes, Everton J., and Tim P Vogels. “Co-Dependent Excitatory and Inhibitory Plasticity Accounts for Quick, Stable and Long-Lasting Memories in Biological Networks.” Nature Neuroscience. Springer Nature, 2024. https://doi.org/10.1038/s41593-024-01597-4.","short":"E.J. Agnes, T.P. Vogels, Nature Neuroscience (2024).","mla":"Agnes, Everton J., and Tim P. Vogels. “Co-Dependent Excitatory and Inhibitory Plasticity Accounts for Quick, Stable and Long-Lasting Memories in Biological Networks.” Nature Neuroscience, Springer Nature, 2024, doi:10.1038/s41593-024-01597-4.","apa":"Agnes, E. J., & Vogels, T. P. (2024). Co-dependent excitatory and inhibitory plasticity accounts for quick, stable and long-lasting memories in biological networks. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/s41593-024-01597-4","ieee":"E. J. Agnes and T. P. Vogels, “Co-dependent excitatory and inhibitory plasticity accounts for quick, stable and long-lasting memories in biological networks,” Nature Neuroscience. Springer Nature, 2024.","ista":"Agnes EJ, Vogels TP. 2024. Co-dependent excitatory and inhibitory plasticity accounts for quick, stable and long-lasting memories in biological networks. Nature Neuroscience.","ama":"Agnes EJ, Vogels TP. Co-dependent excitatory and inhibitory plasticity accounts for quick, stable and long-lasting memories in biological networks. Nature Neuroscience. 2024. doi:10.1038/s41593-024-01597-4"},"publication":"Nature Neuroscience","article_processing_charge":"Yes (via OA deal)","day":"20","scopus_import":"1"},{"abstract":[{"text":"We propose a novel approach to concentration for non-independent random variables. The main idea is to “pretend” that the random variables are independent and pay a multiplicative price measuring how far they are from actually being independent. This price is encapsulated in the Hellinger integral between the joint and the product of the marginals, which is then upper bounded leveraging tensorisation properties. Our bounds represent a natural generalisation of concentration inequalities in the presence of dependence: we recover exactly the classical bounds (McDiarmid’s inequality) when the random variables are independent. Furthermore, in a “large deviations” regime, we obtain the same decay in the probability as for the independent case, even when the random variables display non-trivial dependencies. To show this, we consider a number of applications of interest. First, we provide a bound for Markov chains with finite state space. Then, we consider the Simple Symmetric Random Walk, which is a non-contracting Markov chain, and a non-Markovian setting in which the stochastic process depends on its entire past. To conclude, we propose an application to Markov Chain Monte Carlo methods, where our approach leads to an improved lower bound on the minimum burn-in period required to reach a certain accuracy. In all of these settings, we provide a regime of parameters in which our bound fares better than what the state of the art can provide.","lang":"eng"}],"type":"journal_article","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"14922"}]},"author":[{"id":"9583e921-e1ad-11ec-9862-cef099626dc9","first_name":"Amedeo Roberto","last_name":"Esposito","full_name":"Esposito, Amedeo Roberto"},{"id":"27EB676C-8706-11E9-9510-7717E6697425","orcid":"0000-0002-3242-7020","first_name":"Marco","last_name":"Mondelli","full_name":"Mondelli, Marco"}],"oa_version":"None","date_updated":"2024-03-25T07:15:51Z","date_created":"2024-03-24T23:01:00Z","_id":"15172","year":"2024","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"IEEE","department":[{"_id":"MaMo"}],"publication_status":"inpress","status":"public","title":"Concentration without independence via information measures","article_processing_charge":"No","publication_identifier":{"issn":["0018-9448"],"eissn":["1557-9654"]},"month":"02","day":"20","scopus_import":"1","date_published":"2024-02-20T00:00:00Z","doi":"10.1109/TIT.2024.3367767","language":[{"iso":"eng"}],"external_id":{"arxiv":["2303.07245"]},"citation":{"mla":"Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.” IEEE Transactions on Information Theory, IEEE, doi:10.1109/TIT.2024.3367767.","short":"A.R. Esposito, M. Mondelli, IEEE Transactions on Information Theory (n.d.).","chicago":"Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.” IEEE Transactions on Information Theory. IEEE, n.d. https://doi.org/10.1109/TIT.2024.3367767.","ama":"Esposito AR, Mondelli M. Concentration without independence via information measures. IEEE Transactions on Information Theory. doi:10.1109/TIT.2024.3367767","ista":"Esposito AR, Mondelli M. Concentration without independence via information measures. IEEE Transactions on Information Theory.","ieee":"A. R. Esposito and M. Mondelli, “Concentration without independence via information measures,” IEEE Transactions on Information Theory. IEEE.","apa":"Esposito, A. R., & Mondelli, M. (n.d.). Concentration without independence via information measures. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/TIT.2024.3367767"},"publication":"IEEE Transactions on Information Theory","project":[{"name":"Prix Lopez-Loretta 2019 - Marco Mondelli","_id":"059876FA-7A3F-11EA-A408-12923DDC885E"}],"article_type":"original","quality_controlled":"1"},{"publication":"Astrophysical Journal","citation":{"ista":"Greene JE, Labbe I, Goulding AD, Furtak LJ, Chemerynska I, Kokorev V, Dayal P, Volonteri M, Williams CC, Wang B, Setton DJ, Burgasser AJ, Bezanson R, Atek H, Brammer G, Cutler SE, Feldmann R, Fujimoto S, Glazebrook K, De Graaff A, Khullar G, Leja J, Marchesini D, Maseda MV, Matthee JJ, Miller TB, Naidu RP, Nanayakkara T, Oesch PA, Pan R, Papovich C, Price SH, Van Dokkum P, Weaver JR, Whitaker KE, Zitrin A. 2024. UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z > 5. Astrophysical Journal. 964, 39.","ieee":"J. E. Greene et al., “UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z > 5,” Astrophysical Journal, vol. 964. IOP Publishing, 2024.","apa":"Greene, J. E., Labbe, I., Goulding, A. D., Furtak, L. J., Chemerynska, I., Kokorev, V., … Zitrin, A. (2024). UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z > 5. Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ad1e5f","ama":"Greene JE, Labbe I, Goulding AD, et al. UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z > 5. Astrophysical Journal. 2024;964. doi:10.3847/1538-4357/ad1e5f","chicago":"Greene, Jenny E., Ivo Labbe, Andy D. Goulding, Lukas J. Furtak, Iryna Chemerynska, Vasily Kokorev, Pratika Dayal, et al. “UNCOVER Spectroscopy Confirms the Surprising Ubiquity of Active Galactic Nuclei in Red Sources at z > 5.” Astrophysical Journal. IOP Publishing, 2024. https://doi.org/10.3847/1538-4357/ad1e5f.","mla":"Greene, Jenny E., et al. “UNCOVER Spectroscopy Confirms the Surprising Ubiquity of Active Galactic Nuclei in Red Sources at z > 5.” Astrophysical Journal, vol. 964, 39, IOP Publishing, 2024, doi:10.3847/1538-4357/ad1e5f.","short":"J.E. Greene, I. Labbe, A.D. Goulding, L.J. Furtak, I. Chemerynska, V. Kokorev, P. Dayal, M. Volonteri, C.C. Williams, B. Wang, D.J. Setton, A.J. Burgasser, R. Bezanson, H. Atek, G. Brammer, S.E. Cutler, R. Feldmann, S. Fujimoto, K. Glazebrook, A. De Graaff, G. Khullar, J. Leja, D. Marchesini, M.V. Maseda, J.J. Matthee, T.B. Miller, R.P. Naidu, T. Nanayakkara, P.A. Oesch, R. Pan, C. Papovich, S.H. Price, P. Van Dokkum, J.R. Weaver, K.E. Whitaker, A. Zitrin, Astrophysical Journal 964 (2024)."},"article_type":"original","date_published":"2024-03-01T00:00:00Z","scopus_import":"1","day":"01","article_processing_charge":"Yes","has_accepted_license":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"15170","title":"UNCOVER spectroscopy confirms the surprising ubiquity of active galactic nuclei in red sources at z > 5","status":"public","ddc":["550"],"intvolume":" 964","file":[{"access_level":"open_access","file_name":"2024_AstrophysicalJourn_Greene.pdf","content_type":"application/pdf","file_size":2700137,"creator":"dernst","relation":"main_file","file_id":"15176","checksum":"389a880e176799d5c062ea7cb82d08c9","success":1,"date_updated":"2024-03-25T08:02:43Z","date_created":"2024-03-25T08:02:43Z"}],"oa_version":"Published Version","type":"journal_article","abstract":[{"lang":"eng","text":"The James Webb Space Telescope is revealing a new population of dust-reddened broad-line active galactic nuclei (AGN) at redshifts z ≳ 5. Here we present deep NIRSpec/Prism spectroscopy from the Cycle 1 Treasury program Ultradeep NIRSpec and NIRCam ObserVations before the Epoch of Reionization (UNCOVER) of 15 AGN candidates selected to be compact, with red continua in the rest-frame optical but with blue slopes in the UV. From NIRCam photometry alone, they could have been dominated by dusty star formation or an AGN. Here we show that the majority of the compact red sources in UNCOVER are dust-reddened AGN: 60% show definitive evidence for broad-line Hα with a FWHM > 2000 km s −1, 20% of the current data are inconclusive, and 20% are brown dwarf stars. We propose an updated photometric criterion to select red z > 5 AGN that excludes brown dwarfs and is expected to yield >80% AGN. Remarkably, among all zphot > 5 galaxies with F277W – F444W > 1 in UNCOVER at least 33% are AGN regardless of compactness, climbing to at least 80% AGN for sources with F277W – F444W > 1.6. The confirmed AGN have black hole masses of 107–109M⊙. While their UV luminosities (−16 > MUV > −20 AB mag) are low compared to UV-selected AGN at these epochs, consistent with percent-level scattered AGN light or low levels of unobscured star formation, the inferred bolometric luminosities are typical of 107–109M⊙ black holes radiating at ∼10%–40% the Eddington limit. The number densities are surprisingly high at ∼10−5 Mpc−3 mag−1, 100 times more common than the faintest UV-selected quasars, while accounting for ∼1% of the UV-selected galaxies. While their UV faintness suggests they may not contribute strongly to reionization, their ubiquity poses challenges to models of black hole growth."}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"arxiv":["2309.05714"]},"oa":1,"quality_controlled":"1","doi":"10.3847/1538-4357/ad1e5f","language":[{"iso":"eng"}],"month":"03","publication_identifier":{"eissn":["1538-4357"],"issn":["0004-637X"]},"acknowledgement":"J.E.G. and A.D.G acknowledge support from NSF/AAG grant No. 1007094, and J.E.G. also acknowledges support from NSF/AAG grant No. 1007052. A.Z. acknowledges support by grant No. 2020750 from the United States-Israel Binational Science Foundation (BSF) and grant No. 2109066 from the United States National Science Foundation (NSF), and by the Ministry of Science & Technology of Israel. The Cosmic Dawn Center is funded by the Danish National Research Foundation (DNRF) under grant No. 140. This work has received funding from the Swiss State Secretariat for Education, Research and Innovation (SERI) under contract number MB22.00072, as well as from the Swiss National Science Foundation (SNSF) through project grant 200020_207349. P.D. acknowledges support from the NWO grant 016.VIDI.189.162 (\"ODIN\") and from the European Commission's and University of Groningen's CO-FUND Rosalind Franklin program. K.G. and T.N. acknowledge support from Australian Research Council Laureate Fellowship FL180100060. H.A. and I.C. acknowledge support from CNES, focused on the JWST mission, and the Programme National Cosmology and Galaxies (PNCG) of CNRS/INSU with INP and IN2P3, cofunded by CEA and CNES. R.P.N. acknowledges funding from JWST programs GO-1933 and GO-2279. Support for this work was provided by NASA through the NASA Hubble Fellowship grant HST-HF2-51515.001-A awarded by the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Incorporated, under NASA contract NAS5-26555. The research of C.C.W. is supported by NOIRLab, which is managed by the Association of Universities for Research in Astronomy (AURA) under a cooperative agreement with the National Science Foundation. B.W. acknowledges support from JWST-GO-02561.022-A. A.J.B. acknowledges funding support from NASA/ADAP grant 21-ADAP21-0187. Support for this work was provided by The Brinson Foundation through a Brinson Prize Fellowship grant. R.P.N. acknowledges support for this work provided by NASA through the NASA Hubble Fellowship grant HST-HF2-51515.001-A awarded by the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Incorporated, under NASA contract NAS5-26555. C.P. thanks Marsha and Ralph Schilling for the generous support of this research.","year":"2024","publication_status":"published","department":[{"_id":"JoMa"}],"publisher":"IOP Publishing","author":[{"full_name":"Greene, Jenny E.","first_name":"Jenny E.","last_name":"Greene"},{"full_name":"Labbe, Ivo","last_name":"Labbe","first_name":"Ivo"},{"full_name":"Goulding, Andy D.","first_name":"Andy D.","last_name":"Goulding"},{"full_name":"Furtak, Lukas J.","first_name":"Lukas J.","last_name":"Furtak"},{"full_name":"Chemerynska, Iryna","first_name":"Iryna","last_name":"Chemerynska"},{"last_name":"Kokorev","first_name":"Vasily","full_name":"Kokorev, Vasily"},{"full_name":"Dayal, Pratika","first_name":"Pratika","last_name":"Dayal"},{"last_name":"Volonteri","first_name":"Marta","full_name":"Volonteri, Marta"},{"full_name":"Williams, Christina C.","last_name":"Williams","first_name":"Christina C."},{"full_name":"Wang, Bingjie","first_name":"Bingjie","last_name":"Wang"},{"last_name":"Setton","first_name":"David J.","full_name":"Setton, David J."},{"full_name":"Burgasser, Adam J.","last_name":"Burgasser","first_name":"Adam J."},{"first_name":"Rachel","last_name":"Bezanson","full_name":"Bezanson, Rachel"},{"full_name":"Atek, Hakim","first_name":"Hakim","last_name":"Atek"},{"full_name":"Brammer, Gabriel","first_name":"Gabriel","last_name":"Brammer"},{"last_name":"Cutler","first_name":"Sam E.","full_name":"Cutler, Sam E."},{"first_name":"Robert","last_name":"Feldmann","full_name":"Feldmann, Robert"},{"full_name":"Fujimoto, Seiji","first_name":"Seiji","last_name":"Fujimoto"},{"first_name":"Karl","last_name":"Glazebrook","full_name":"Glazebrook, Karl"},{"full_name":"De Graaff, Anna","last_name":"De Graaff","first_name":"Anna"},{"full_name":"Khullar, Gourav","last_name":"Khullar","first_name":"Gourav"},{"last_name":"Leja","first_name":"Joel","full_name":"Leja, Joel"},{"last_name":"Marchesini","first_name":"Danilo","full_name":"Marchesini, Danilo"},{"first_name":"Michael V.","last_name":"Maseda","full_name":"Maseda, Michael V."},{"first_name":"Jorryt J","last_name":"Matthee","id":"7439a258-f3c0-11ec-9501-9df22fe06720","orcid":"0000-0003-2871-127X","full_name":"Matthee, Jorryt J"},{"full_name":"Miller, Tim B.","first_name":"Tim B.","last_name":"Miller"},{"first_name":"Rohan P.","last_name":"Naidu","full_name":"Naidu, Rohan P."},{"full_name":"Nanayakkara, Themiya","last_name":"Nanayakkara","first_name":"Themiya"},{"last_name":"Oesch","first_name":"Pascal A.","full_name":"Oesch, Pascal A."},{"full_name":"Pan, Richard","last_name":"Pan","first_name":"Richard"},{"last_name":"Papovich","first_name":"Casey","full_name":"Papovich, Casey"},{"full_name":"Price, Sedona H.","last_name":"Price","first_name":"Sedona H."},{"last_name":"Van Dokkum","first_name":"Pieter","full_name":"Van Dokkum, Pieter"},{"last_name":"Weaver","first_name":"John R.","full_name":"Weaver, John R."},{"last_name":"Whitaker","first_name":"Katherine E.","full_name":"Whitaker, Katherine E."},{"last_name":"Zitrin","first_name":"Adi","full_name":"Zitrin, Adi"}],"date_created":"2024-03-24T23:00:59Z","date_updated":"2024-03-25T08:04:13Z","volume":964,"article_number":"39","file_date_updated":"2024-03-25T08:02:43Z"},{"oa_version":"Published Version","file":[{"file_id":"15175","relation":"main_file","success":1,"checksum":"0524d4189fd1ed08989546511343edf3","date_updated":"2024-03-25T07:44:30Z","date_created":"2024-03-25T07:44:30Z","access_level":"open_access","file_name":"2024_LIPICs_Filakovsky.pdf","creator":"dernst","file_size":927290,"content_type":"application/pdf"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"15168","status":"public","title":"Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs","ddc":["510"],"intvolume":" 289","abstract":[{"lang":"eng","text":"A linearly ordered (LO) k-colouring of a hypergraph is a colouring of its vertices with colours 1, … , k such that each edge contains a unique maximal colour. Deciding whether an input hypergraph admits LO k-colouring with a fixed number of colours is NP-complete (and in the special case of graphs, LO colouring coincides with the usual graph colouring). Here, we investigate the complexity of approximating the \"linearly ordered chromatic number\" of a hypergraph. We prove that the following promise problem is NP-complete: Given a 3-uniform hypergraph, distinguish between the case that it is LO 3-colourable, and the case that it is not even LO 4-colourable. We prove this result by a combination of algebraic, topological, and combinatorial methods, building on and extending a topological approach for studying approximate graph colouring introduced by Krokhin, Opršal, Wrochna, and Živný (2023)."}],"type":"conference","alternative_title":["LIPIcs"],"date_published":"2024-03-01T00:00:00Z","publication":"41st International Symposium on Theoretical Aspects of Computer Science","citation":{"short":"M. Filakovský, T.V. Nakajima, J. Opršal, G. Tasinato, U. Wagner, in:, 41st International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.","mla":"Filakovský, Marek, et al. “Hardness of Linearly Ordered 4-Colouring of 3-Colourable 3-Uniform Hypergraphs.” 41st International Symposium on Theoretical Aspects of Computer Science, vol. 289, 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.STACS.2024.34.","chicago":"Filakovský, Marek, Tamio Vesa Nakajima, Jakub Opršal, Gianluca Tasinato, and Uli Wagner. “Hardness of Linearly Ordered 4-Colouring of 3-Colourable 3-Uniform Hypergraphs.” In 41st International Symposium on Theoretical Aspects of Computer Science, Vol. 289. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.STACS.2024.34.","ama":"Filakovský M, Nakajima TV, Opršal J, Tasinato G, Wagner U. Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs. In: 41st International Symposium on Theoretical Aspects of Computer Science. Vol 289. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.STACS.2024.34","ieee":"M. Filakovský, T. V. Nakajima, J. Opršal, G. Tasinato, and U. Wagner, “Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs,” in 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France, 2024, vol. 289.","apa":"Filakovský, M., Nakajima, T. V., Opršal, J., Tasinato, G., & Wagner, U. (2024). Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs. In 41st International Symposium on Theoretical Aspects of Computer Science (Vol. 289). Clermont-Ferrand, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2024.34","ista":"Filakovský M, Nakajima TV, Opršal J, Tasinato G, Wagner U. 2024. Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs. 41st International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 289, 34."},"day":"01","has_accepted_license":"1","article_processing_charge":"No","scopus_import":"1","author":[{"id":"3E8AF77E-F248-11E8-B48F-1D18A9856A87","first_name":"Marek","last_name":"Filakovský","full_name":"Filakovský, Marek"},{"full_name":"Nakajima, Tamio Vesa","first_name":"Tamio Vesa","last_name":"Nakajima"},{"full_name":"Opršal, Jakub","id":"ec596741-c539-11ec-b829-c79322a91242","orcid":"0000-0003-1245-3456","first_name":"Jakub","last_name":"Opršal"},{"last_name":"Tasinato","first_name":"Gianluca","id":"0433290C-AF8F-11E9-A4C7-F729E6697425","full_name":"Tasinato, Gianluca"},{"last_name":"Wagner","first_name":"Uli","orcid":"0000-0002-1494-0568","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","full_name":"Wagner, Uli"}],"date_updated":"2024-03-25T07:45:54Z","date_created":"2024-03-24T23:00:59Z","volume":289,"year":"2024","acknowledgement":"Marek Filakovský: This research was supported by Charles University (project PRIMUS/\r\n21/SCI/014), the Austrian Science Fund (FWF project P31312-N35), and MSCAfellow5_MUNI\r\n(CZ.02.01.01/00/22_010/0003229). Tamio-Vesa Nakajima: This research was funded by UKRI EP/X024431/1 and by a Clarendon Fund Scholarship. All data is provided in full in the results section of this paper. Jakub Opršal: This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No 101034413. Uli Wagner: This research was supported by the Austrian Science Fund (FWF project P31312-N35).","publication_status":"published","department":[{"_id":"UlWa"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","file_date_updated":"2024-03-25T07:44:30Z","ec_funded":1,"article_number":"34","conference":{"start_date":"2024-03-12","location":"Clermont-Ferrand, France","end_date":"2024-03-14","name":"STACS: Symposium on Theoretical Aspects of Computer Science"},"doi":"10.4230/LIPIcs.STACS.2024.34","language":[{"iso":"eng"}],"external_id":{"arxiv":["2312.12981"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"quality_controlled":"1","project":[{"_id":"26611F5C-B435-11E9-9278-68D0E5697425","grant_number":"P31312","call_identifier":"FWF","name":"Algorithms for Embeddings and Homotopy Theory"},{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program"}],"month":"03","publication_identifier":{"isbn":["9783959773119"],"eissn":["1868-8969"]}},{"publication_identifier":{"eissn":["1873-4030"],"issn":["1350-4533"]},"month":"04","doi":"10.1016/j.medengphy.2024.104143","language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"quality_controlled":"1","file_date_updated":"2024-03-25T08:29:52Z","article_number":"104143","author":[{"last_name":"Silva-Henao","first_name":"Juan D.","full_name":"Silva-Henao, Juan D."},{"full_name":"Schober, Sophie","last_name":"Schober","first_name":"Sophie","id":"80b0a0ef-4b9f-11ec-b119-8d9d94c4a1d8"},{"last_name":"Pahr","first_name":"Dieter H.","full_name":"Pahr, Dieter H."},{"last_name":"Reisinger","first_name":"Andreas G.","full_name":"Reisinger, Andreas G."}],"volume":126,"date_created":"2024-03-24T23:00:58Z","date_updated":"2024-03-25T08:31:01Z","acknowledgement":"The authors declare no conflict of interest related to this study. This project was funded by the Gesellschaft fuer Forschungsfoerderung Niederoesterreich m.b.H. Life Science Call 2017 Grant No. LS17004 and Science call 2019 Dissertationen Grant No. SC19014. No ethical approval was required for this study.","year":"2024","publisher":"Elsevier","department":[{"_id":"PreCl"}],"publication_status":"published","article_processing_charge":"Yes (in subscription journal)","has_accepted_license":"1","day":"01","scopus_import":"1","date_published":"2024-04-01T00:00:00Z","citation":{"ama":"Silva-Henao JD, Schober S, Pahr DH, Reisinger AG. Critical loss of primary implant stability in osteosynthesis locking screws under cyclic overloading. Medical Engineering and Physics. 2024;126. doi:10.1016/j.medengphy.2024.104143","ista":"Silva-Henao JD, Schober S, Pahr DH, Reisinger AG. 2024. Critical loss of primary implant stability in osteosynthesis locking screws under cyclic overloading. Medical Engineering and Physics. 126, 104143.","ieee":"J. D. Silva-Henao, S. Schober, D. H. Pahr, and A. G. Reisinger, “Critical loss of primary implant stability in osteosynthesis locking screws under cyclic overloading,” Medical Engineering and Physics, vol. 126. Elsevier, 2024.","apa":"Silva-Henao, J. D., Schober, S., Pahr, D. H., & Reisinger, A. G. (2024). Critical loss of primary implant stability in osteosynthesis locking screws under cyclic overloading. Medical Engineering and Physics. Elsevier. https://doi.org/10.1016/j.medengphy.2024.104143","mla":"Silva-Henao, Juan D., et al. “Critical Loss of Primary Implant Stability in Osteosynthesis Locking Screws under Cyclic Overloading.” Medical Engineering and Physics, vol. 126, 104143, Elsevier, 2024, doi:10.1016/j.medengphy.2024.104143.","short":"J.D. Silva-Henao, S. Schober, D.H. Pahr, A.G. Reisinger, Medical Engineering and Physics 126 (2024).","chicago":"Silva-Henao, Juan D., Sophie Schober, Dieter H. Pahr, and Andreas G. Reisinger. “Critical Loss of Primary Implant Stability in Osteosynthesis Locking Screws under Cyclic Overloading.” Medical Engineering and Physics. Elsevier, 2024. https://doi.org/10.1016/j.medengphy.2024.104143."},"publication":"Medical Engineering and Physics","article_type":"original","abstract":[{"lang":"eng","text":"Primary implant stability, which refers to the stability of the implant during the initial healing period is a crucial factor in determining the long-term success of the implant and lays the foundation for secondary implant stability achieved through osseointegration. Factors affecting primary stability include implant design, surgical technique, and patient-specific factors like bone quality and morphology. In vivo, the cyclic nature of anatomical loading puts osteosynthesis locking screws under dynamic loads, which can lead to the formation of micro cracks and defects that slowly degrade the mechanical connection between the bone and screw, thus compromising the initial stability and secondary stability of the implant. Monotonic quasi-static loading used for testing the holding capacity of implanted screws is not well suited to capture this behavior since it cannot capture the progressive deterioration of peri‑implant bone at small displacements. In order to address this issue, this study aims to determine a critical point of loss of primary implant stability in osteosynthesis locking screws under cyclic overloading by investigating the evolution of damage, dissipated energy, and permanent deformation. A custom-made test setup was used to test implanted 2.5 mm locking screws under cyclic overloading test. For each loading cycle, maximum forces and displacement were recorded as well as initial and final cycle displacements and used to calculate damage and energy dissipation evolution. The results of this study demonstrate that for axial, shear, and mixed loading significant damage and energy dissipation can be observed at approximately 20 % of the failure force. Additionally, at this load level, permanent deformations on the screw-bone interface were found to be in the range of 50 to 150 mm which promotes osseointegration and secondary implant stability. This research can assist surgeons in making informed preoperative decisions by providing a better understanding of the critical point of loss of primary implant stability, thus improving the long-term success of the implant and overall patient satisfaction."}],"type":"journal_article","file":[{"file_size":10039402,"content_type":"application/pdf","creator":"dernst","access_level":"open_access","file_name":"2024_MedEngineeringPhysics_SilvaHenao.pdf","checksum":"974acbf2731e7382dcf5920ac762e551","success":1,"date_updated":"2024-03-25T08:29:52Z","date_created":"2024-03-25T08:29:52Z","relation":"main_file","file_id":"15177"}],"oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"15164","intvolume":" 126","status":"public","title":"Critical loss of primary implant stability in osteosynthesis locking screws under cyclic overloading","ddc":["610"]},{"month":"03","publication_identifier":{"issn":["1553-734X"],"eissn":["1553-7358"]},"language":[{"iso":"eng"}],"doi":"10.1371/journal.pcbi.1011941","quality_controlled":"1","article_number":"e1011941","date_created":"2024-03-24T23:00:59Z","date_updated":"2024-03-25T07:54:23Z","volume":20,"author":[{"first_name":"Chaitanya","last_name":"Chintaluri","id":"E4EDB536-3485-11EA-98D2-20AF3DDC885E","full_name":"Chintaluri, Chaitanya"},{"first_name":"Marta","last_name":"Bejtka","full_name":"Bejtka, Marta"},{"first_name":"Wladyslaw","last_name":"Sredniawa","full_name":"Sredniawa, Wladyslaw"},{"first_name":"Michal","last_name":"Czerwinski","full_name":"Czerwinski, Michal"},{"last_name":"Dzik","first_name":"Jakub M.","full_name":"Dzik, Jakub M."},{"full_name":"Jedrzejewska-Szmek, Joanna","first_name":"Joanna","last_name":"Jedrzejewska-Szmek"},{"first_name":"Daniel K.","last_name":"Wojciki","full_name":"Wojciki, Daniel K."}],"related_material":{"link":[{"url":"https://github.com/Neuroinflab/kCSD-python","relation":"software"}]},"publication_status":"published","publisher":"Public Library of Science","department":[{"_id":"TiVo"}],"year":"2024","acknowledgement":"The Python implementation of kCSD was started by Grzegorz Parka during Google Summer of Code project through the International Neuroinformatics Coordinating Facility. Jan Mąka implemented the first Python version of skCSD class. This work was supported by the Polish National Science Centre (2013/08/W/NZ4/00691 to DKW; 2015/17/B/ST7/04123 to DKW). ","day":"14","article_processing_charge":"Yes","scopus_import":"1","date_published":"2024-03-14T00:00:00Z","article_type":"original","publication":"PLoS Computational Biology","citation":{"ama":"Chintaluri C, Bejtka M, Sredniawa W, et al. kCSD-python, reliable current source density estimation with quality control. PLoS Computational Biology. 2024;20(3). doi:10.1371/journal.pcbi.1011941","ista":"Chintaluri C, Bejtka M, Sredniawa W, Czerwinski M, Dzik JM, Jedrzejewska-Szmek J, Wojciki DK. 2024. kCSD-python, reliable current source density estimation with quality control. PLoS Computational Biology. 20(3), e1011941.","apa":"Chintaluri, C., Bejtka, M., Sredniawa, W., Czerwinski, M., Dzik, J. M., Jedrzejewska-Szmek, J., & Wojciki, D. K. (2024). kCSD-python, reliable current source density estimation with quality control. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1011941","ieee":"C. Chintaluri et al., “kCSD-python, reliable current source density estimation with quality control,” PLoS Computational Biology, vol. 20, no. 3. Public Library of Science, 2024.","mla":"Chintaluri, Chaitanya, et al. “KCSD-Python, Reliable Current Source Density Estimation with Quality Control.” PLoS Computational Biology, vol. 20, no. 3, e1011941, Public Library of Science, 2024, doi:10.1371/journal.pcbi.1011941.","short":"C. Chintaluri, M. Bejtka, W. Sredniawa, M. Czerwinski, J.M. Dzik, J. Jedrzejewska-Szmek, D.K. Wojciki, PLoS Computational Biology 20 (2024).","chicago":"Chintaluri, Chaitanya, Marta Bejtka, Wladyslaw Sredniawa, Michal Czerwinski, Jakub M. Dzik, Joanna Jedrzejewska-Szmek, and Daniel K. Wojciki. “KCSD-Python, Reliable Current Source Density Estimation with Quality Control.” PLoS Computational Biology. Public Library of Science, 2024. https://doi.org/10.1371/journal.pcbi.1011941."},"abstract":[{"text":"Interpretation of extracellular recordings can be challenging due to the long range of electric field. This challenge can be mitigated by estimating the current source density (CSD). Here we introduce kCSD-python, an open Python package implementing Kernel Current Source Density (kCSD) method and related tools to facilitate CSD analysis of experimental data and the interpretation of results. We show how to counter the limitations imposed by noise and assumptions in the method itself. kCSD-python allows CSD estimation for an arbitrary distribution of electrodes in 1D, 2D, and 3D, assuming distributions of sources in tissue, a slice, or in a single cell, and includes a range of diagnostic aids. We demonstrate its features in a Jupyter Notebook tutorial which illustrates a typical analytical workflow and main functionalities useful in validating analysis results.","lang":"eng"}],"issue":"3","type":"journal_article","oa_version":"Published Version","title":"kCSD-python, reliable current source density estimation with quality control","status":"public","intvolume":" 20","_id":"15169","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"date_published":"2024-03-19T00:00:00Z","publication":"Physical Review A","citation":{"ieee":"R. Al Hyder, F. Chevy, and X. Leyronas, “Exploring beyond-mean-field logarithmic divergences in Fermi-polaron energy,” Physical Review A, vol. 109, no. 3. American Physical Society, 2024.","apa":"Al Hyder, R., Chevy, F., & Leyronas, X. (2024). Exploring beyond-mean-field logarithmic divergences in Fermi-polaron energy. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.109.033315","ista":"Al Hyder R, Chevy F, Leyronas X. 2024. Exploring beyond-mean-field logarithmic divergences in Fermi-polaron energy. Physical Review A. 109(3), 033315.","ama":"Al Hyder R, Chevy F, Leyronas X. Exploring beyond-mean-field logarithmic divergences in Fermi-polaron energy. Physical Review A. 2024;109(3). doi:10.1103/PhysRevA.109.033315","chicago":"Al Hyder, Ragheed, F. Chevy, and X. Leyronas. “Exploring Beyond-Mean-Field Logarithmic Divergences in Fermi-Polaron Energy.” Physical Review A. American Physical Society, 2024. https://doi.org/10.1103/PhysRevA.109.033315.","short":"R. Al Hyder, F. Chevy, X. Leyronas, Physical Review A 109 (2024).","mla":"Al Hyder, Ragheed, et al. “Exploring Beyond-Mean-Field Logarithmic Divergences in Fermi-Polaron Energy.” Physical Review A, vol. 109, no. 3, 033315, American Physical Society, 2024, doi:10.1103/PhysRevA.109.033315."},"article_type":"original","day":"19","article_processing_charge":"No","scopus_import":"1","oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"15167","title":"Exploring beyond-mean-field logarithmic divergences in Fermi-polaron energy","status":"public","intvolume":" 109","abstract":[{"lang":"eng","text":"We perform a diagrammatic analysis of the energy of a mobile impurity immersed in a strongly interacting two-component Fermi gas to second order in the impurity-bath interaction. These corrections demonstrate divergent behavior in the limit of large impurity momentum. We show the fundamental processes responsible for these logarithmically divergent terms. We study the problem in the general case without any assumptions regarding the fermion-fermion interactions in the bath. We show that the divergent term can be summed up to all orders in the Fermi-Fermi interaction and that the resulting expression is equivalent to the one obtained in the few-body calculation. Finally, we provide a perturbative calculation to the second order in the Fermi-Fermi interaction, and we show the diagrams responsible for these terms."}],"issue":"3","type":"journal_article","doi":"10.1103/PhysRevA.109.033315","language":[{"iso":"eng"}],"oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2311.14536"}],"external_id":{"arxiv":["2311.14536"]},"quality_controlled":"1","month":"03","publication_identifier":{"eissn":["2469-9934"],"issn":["2469-9926"]},"author":[{"full_name":"Al Hyder, Ragheed","first_name":"Ragheed","last_name":"Al Hyder","id":"d1c405be-ae15-11ed-8510-ccf53278162e"},{"last_name":"Chevy","first_name":"F.","full_name":"Chevy, F."},{"first_name":"X.","last_name":"Leyronas","full_name":"Leyronas, X."}],"date_updated":"2024-03-25T07:36:55Z","date_created":"2024-03-24T23:00:59Z","volume":109,"acknowledgement":"We thank Félix Werner and Kris Van Houcke for interesting discussions.","year":"2024","publication_status":"published","publisher":"American Physical Society","department":[{"_id":"MiLe"}],"article_number":"033315"},{"month":"03","publication_identifier":{"issn":["0012-365X"]},"oa":1,"external_id":{"arxiv":["2301.11615"]},"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2301.11615","open_access":"1"}],"quality_controlled":"1","doi":"10.1016/j.disc.2024.113962","language":[{"iso":"eng"}],"article_number":"113962","year":"2024","acknowledgement":"We wish to thank Dániel Marx and András Sebő for making us aware of the results in [8] and some clarifications on them.","publication_status":"epub_ahead","department":[{"_id":"MaKw"}],"publisher":"Elsevier","author":[{"full_name":"Campbell, Rutger","first_name":"Rutger","last_name":"Campbell"},{"full_name":"Hörsch, Florian","last_name":"Hörsch","first_name":"Florian"},{"first_name":"Benjamin","last_name":"Moore","id":"6dc1a1be-bf1c-11ed-8d2b-d044840f49d6","full_name":"Moore, Benjamin"}],"date_updated":"2024-03-25T08:09:43Z","date_created":"2024-03-24T23:00:58Z","volume":347,"scopus_import":"1","day":"19","article_processing_charge":"No","publication":"Discrete Mathematics","citation":{"ieee":"R. Campbell, F. Hörsch, and B. Moore, “Decompositions into two linear forests of bounded lengths,” Discrete Mathematics, vol. 347, no. 6. Elsevier, 2024.","apa":"Campbell, R., Hörsch, F., & Moore, B. (2024). Decompositions into two linear forests of bounded lengths. Discrete Mathematics. Elsevier. https://doi.org/10.1016/j.disc.2024.113962","ista":"Campbell R, Hörsch F, Moore B. 2024. Decompositions into two linear forests of bounded lengths. Discrete Mathematics. 347(6), 113962.","ama":"Campbell R, Hörsch F, Moore B. Decompositions into two linear forests of bounded lengths. Discrete Mathematics. 2024;347(6). doi:10.1016/j.disc.2024.113962","chicago":"Campbell, Rutger, Florian Hörsch, and Benjamin Moore. “Decompositions into Two Linear Forests of Bounded Lengths.” Discrete Mathematics. Elsevier, 2024. https://doi.org/10.1016/j.disc.2024.113962.","short":"R. Campbell, F. Hörsch, B. Moore, Discrete Mathematics 347 (2024).","mla":"Campbell, Rutger, et al. “Decompositions into Two Linear Forests of Bounded Lengths.” Discrete Mathematics, vol. 347, no. 6, 113962, Elsevier, 2024, doi:10.1016/j.disc.2024.113962."},"article_type":"original","date_published":"2024-03-19T00:00:00Z","type":"journal_article","abstract":[{"lang":"eng","text":"For some k∈Z≥0∪{∞}, we call a linear forest k-bounded if each of its components has at most k edges. We will say a (k,ℓ)-bounded linear forest decomposition of a graph G is a partition of E(G) into the edge sets of two linear forests Fk,Fℓ where Fk is k-bounded and Fℓ is ℓ-bounded. We show that the problem of deciding whether a given graph has such a decomposition is NP-complete if both k and ℓ are at least 2, NP-complete if k≥9 and ℓ=1, and is in P for (k,ℓ)=(2,1). Before this, the only known NP-complete cases were the (2,2) and (3,3) cases. Our hardness result answers a question of Bermond et al. from 1984. We also show that planar graphs of girth at least nine decompose into a linear forest and a matching, which in particular is stronger than 3-edge-colouring such graphs."}],"issue":"6","_id":"15163","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","title":"Decompositions into two linear forests of bounded lengths","intvolume":" 347","oa_version":"Preprint"},{"article_number":"129","file_date_updated":"2024-03-25T09:31:58Z","department":[{"_id":"JoMa"}],"publisher":"American Astronomical Society","publication_status":"published","year":"2024","acknowledgement":"We thank the anonymous referee for constructive comments that helped improve the manuscript. This work is based on observations made with the NASA/ESA/CSA James Webb Space Telescope. The data were obtained from the Mikulski Archive for Space Telescopes at the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-03127 for JWST. These observations are associated with program Nos. 1243 and 1895. The specific observations analyzed can be accessed via doi:10.17909/4xx0-zj76. Funded by the European Union (ERC, AGENTS, 101076224). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them. R.P.N. acknowledges funding from JWST programs GO-1933 and GO-2279. Support for this work for R.P.N. was provided by NASA through the NASA Hubble Fellowship grant HST-HF2-51515.001-A awarded by the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Incorporated, under NASA contract NAS5-26555. Support for this work for G.I. was provided by NASA through grant JWST-GO-01895 awarded by the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-26555. This work has received funding from the Swiss State Secretariat for Education, Research and Innovation (SERI) under contract No. MB22.00072, as well as from the Swiss National Science Foundation (SNSF) through project grant 200020_207349. The Cosmic Dawn Center (DAWN) is funded by the Danish National Research Foundation under grant No. 140.\r\nFacility: JWST - James Webb Space Telescope, HST - Hubble Space Telescope satellite\r\nSoftware: Python, matplotlib (Hunter 2007), numpy (Harris et al. 2020), scipy (Virtanen et al. 2020), Astropy (Astropy Collaboration et al. 2013, 2018), Imfit (Erwin 2015).","volume":963,"date_updated":"2024-03-25T09:37:27Z","date_created":"2024-03-25T08:54:47Z","author":[{"full_name":"Matthee, Jorryt J","id":"7439a258-f3c0-11ec-9501-9df22fe06720","orcid":"0000-0003-2871-127X","first_name":"Jorryt J","last_name":"Matthee"},{"first_name":"Rohan P.","last_name":"Naidu","full_name":"Naidu, Rohan P."},{"last_name":"Brammer","first_name":"Gabriel","full_name":"Brammer, Gabriel"},{"full_name":"Chisholm, John","first_name":"John","last_name":"Chisholm"},{"full_name":"Eilers, Anna-Christina","last_name":"Eilers","first_name":"Anna-Christina"},{"full_name":"Goulding, Andy","first_name":"Andy","last_name":"Goulding"},{"first_name":"Jenny","last_name":"Greene","full_name":"Greene, Jenny"},{"full_name":"Kashino, Daichi","first_name":"Daichi","last_name":"Kashino"},{"full_name":"Labbe, Ivo","first_name":"Ivo","last_name":"Labbe"},{"full_name":"Lilly, Simon J.","first_name":"Simon J.","last_name":"Lilly"},{"full_name":"Mackenzie, Ruari","last_name":"Mackenzie","first_name":"Ruari"},{"full_name":"Oesch, Pascal A.","last_name":"Oesch","first_name":"Pascal A."},{"last_name":"Weibel","first_name":"Andrea","full_name":"Weibel, Andrea"},{"last_name":"Wuyts","first_name":"Stijn","full_name":"Wuyts, Stijn"},{"first_name":"Mengyuan","last_name":"Xiao","full_name":"Xiao, Mengyuan"},{"full_name":"Bordoloi, Rongmon","last_name":"Bordoloi","first_name":"Rongmon"},{"last_name":"Bouwens","first_name":"Rychard","full_name":"Bouwens, Rychard"},{"first_name":"Pieter","last_name":"van Dokkum","full_name":"van Dokkum, Pieter"},{"full_name":"Illingworth, Garth","first_name":"Garth","last_name":"Illingworth"},{"full_name":"Kramarenko, Ivan","last_name":"Kramarenko","first_name":"Ivan"},{"first_name":"Michael V.","last_name":"Maseda","full_name":"Maseda, Michael V."},{"last_name":"Mason","first_name":"Charlotte","full_name":"Mason, Charlotte"},{"full_name":"Meyer, Romain A.","first_name":"Romain A.","last_name":"Meyer"},{"last_name":"Nelson","first_name":"Erica J.","full_name":"Nelson, Erica J."},{"full_name":"Reddy, Naveen A.","first_name":"Naveen A.","last_name":"Reddy"},{"first_name":"Irene","last_name":"Shivaei","full_name":"Shivaei, Irene"},{"full_name":"Simcoe, Robert A.","last_name":"Simcoe","first_name":"Robert A."},{"full_name":"Yue, Minghao","last_name":"Yue","first_name":"Minghao"}],"publication_identifier":{"issn":["0004-637X"],"eissn":["1538-4357"]},"month":"03","project":[{"name":"Young galaxies as tracers and agents of cosmic reionization","grant_number":"101076224","_id":"bd9b2118-d553-11ed-ba76-db24564edfea"}],"quality_controlled":"1","oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"language":[{"iso":"eng"}],"doi":"10.3847/1538-4357/ad2345","type":"journal_article","issue":"2","abstract":[{"lang":"eng","text":"Characterizing the prevalence and properties of faint active galactic nuclei (AGNs) in the early Universe is key for understanding the formation of supermassive black holes (SMBHs) and determining their role in cosmic reionization. We perform a spectroscopic search for broad Hα emitters at z ≈ 4–6 using deep JWST/NIRCam imaging and wide field slitless spectroscopy from the EIGER and FRESCO surveys. We identify 20 Hα lines at z = 4.2–5.5 that have broad components with line widths from ∼1200–3700 km s−1, contributing ∼30%–90% of the total line flux. We interpret these broad components as being powered by accretion onto SMBHs with implied masses ∼107–8M⊙. In the UV luminosity range MUV,AGN+host = −21 to −18, we measure number densities of ≈10−5 cMpc−3. This is an order of magnitude higher than expected from extrapolating quasar UV luminosity functions (LFs). Yet, such AGN are found in only <1% of star-forming galaxies at z ∼ 5. The number density discrepancy is much lower when compared to the broad Hα LF. The SMBH mass function agrees with large cosmological simulations. In two objects, we detect complex Hα profiles that we tentatively interpret as caused by absorption signatures from dense gas fueling SMBH growth and outflows. We may be witnessing early AGN feedback that will clear dust-free pathways through which more massive blue quasars are seen. We uncover a strong correlation between reddening and the fraction of total galaxy luminosity arising from faint AGN. This implies that early SMBH growth is highly obscured and that faint AGN are only minor contributors to cosmic reionization."}],"intvolume":" 963","title":"Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys","status":"public","ddc":["550"],"_id":"15180","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"access_level":"open_access","file_name":"2024_AstrophysicalJourn_Matthee.pdf","content_type":"application/pdf","file_size":6047536,"creator":"dernst","relation":"main_file","file_id":"15184","checksum":"dc7af4694f9f94a551417ab49fa43edf","success":1,"date_created":"2024-03-25T09:31:58Z","date_updated":"2024-03-25T09:31:58Z"}],"oa_version":"Published Version","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"scopus_import":"1","has_accepted_license":"1","article_processing_charge":"Yes","day":"07","article_type":"original","citation":{"ieee":"J. J. Matthee et al., “Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys,” The Astrophysical Journal, vol. 963, no. 2. American Astronomical Society, 2024.","apa":"Matthee, J. J., Naidu, R. P., Brammer, G., Chisholm, J., Eilers, A.-C., Goulding, A., … Yue, M. (2024). Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad2345","ista":"Matthee JJ, Naidu RP, Brammer G, Chisholm J, Eilers A-C, Goulding A, Greene J, Kashino D, Labbe I, Lilly SJ, Mackenzie R, Oesch PA, Weibel A, Wuyts S, Xiao M, Bordoloi R, Bouwens R, van Dokkum P, Illingworth G, Kramarenko I, Maseda MV, Mason C, Meyer RA, Nelson EJ, Reddy NA, Shivaei I, Simcoe RA, Yue M. 2024. Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. 963(2), 129.","ama":"Matthee JJ, Naidu RP, Brammer G, et al. Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. 2024;963(2). doi:10.3847/1538-4357/ad2345","chicago":"Matthee, Jorryt J, Rohan P. Naidu, Gabriel Brammer, John Chisholm, Anna-Christina Eilers, Andy Goulding, Jenny Greene, et al. “Little Red Dots: An Abundant Population of Faint Active Galactic Nuclei at z ∼ 5 Revealed by the EIGER and FRESCO JWST Surveys.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad2345.","short":"J.J. Matthee, R.P. Naidu, G. Brammer, J. Chisholm, A.-C. Eilers, A. Goulding, J. Greene, D. Kashino, I. Labbe, S.J. Lilly, R. Mackenzie, P.A. Oesch, A. Weibel, S. Wuyts, M. Xiao, R. Bordoloi, R. Bouwens, P. van Dokkum, G. Illingworth, I. Kramarenko, M.V. Maseda, C. Mason, R.A. Meyer, E.J. Nelson, N.A. Reddy, I. Shivaei, R.A. Simcoe, M. Yue, The Astrophysical Journal 963 (2024).","mla":"Matthee, Jorryt J., et al. “Little Red Dots: An Abundant Population of Faint Active Galactic Nuclei at z ∼ 5 Revealed by the EIGER and FRESCO JWST Surveys.” The Astrophysical Journal, vol. 963, no. 2, 129, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad2345."},"publication":"The Astrophysical Journal","date_published":"2024-03-07T00:00:00Z"},{"publication_identifier":{"issn":["2375-2548"]},"month":"03","oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"quality_controlled":"1","doi":"10.1126/sciadv.adk1992","language":[{"iso":"eng"}],"article_number":"adk1992","file_date_updated":"2024-03-25T09:42:10Z","acknowledgement":"We thank Milaboratory (milaboratory.com) for the access to computing and storage infrastructure. We thank J. Petrasek for providing the BY-2 cell culture line. We thank Konstantin Lukyanov laboratory and Sergey Deyev laboratory for assistance with experiments.\r\nThis study was partially funded by Light Bio and Planta. The Synthetic biology Group is funded by the MRC London Institute of Medical Sciences (UKRI MC-A658-5QEA0). Cloning and luminescent assays performed in BY-2 were partially supported by RSF, project number 22-14-00400, https://rscf.ru/project/22-14-00400/. Plant transformations were funded by RFBR and MOST, project number 21-54-52004. Plant imaging experiments were funded by RSF, project number 22-74-00124, https://rscf.ru/project/22-74-00124/. Viral delivery experiments were funded by the grant PID2019-108203RB-I00 Plan Nacional I + D from the Ministerio de Ciencia e Innovación (Spain) through the Agencia Estatal de Investigación (cofinanced by the European Regional Development Fund).","year":"2024","publisher":"American Association for the Advancement of Science","department":[{"_id":"FyKo"}],"publication_status":"published","author":[{"last_name":"Palkina","first_name":"Kseniia A.","full_name":"Palkina, Kseniia A."},{"first_name":"Tatiana A.","last_name":"Karataeva","full_name":"Karataeva, Tatiana A."},{"last_name":"Perfilov","first_name":"Maxim M.","full_name":"Perfilov, Maxim M."},{"full_name":"Fakhranurova, Liliia I.","last_name":"Fakhranurova","first_name":"Liliia I."},{"first_name":"Nadezhda M.","last_name":"Markina","full_name":"Markina, Nadezhda M."},{"orcid":"0000-0001-9139-5383","id":"4720D23C-F248-11E8-B48F-1D18A9856A87","last_name":"Gonzalez Somermeyer","first_name":"Louisa","full_name":"Gonzalez Somermeyer, Louisa"},{"first_name":"Elena","last_name":"Garcia-Perez","full_name":"Garcia-Perez, Elena"},{"full_name":"Vazquez-Vilar, Marta","first_name":"Marta","last_name":"Vazquez-Vilar"},{"full_name":"Rodriguez-Rodriguez, Marta","last_name":"Rodriguez-Rodriguez","first_name":"Marta"},{"first_name":"Victor","last_name":"Vazquez-Vilriales","full_name":"Vazquez-Vilriales, Victor"},{"full_name":"Shakhova, Ekaterina S.","first_name":"Ekaterina S.","last_name":"Shakhova"},{"last_name":"Mitiouchkina","first_name":"Tatiana","full_name":"Mitiouchkina, Tatiana"},{"full_name":"Belozerova, Olga A.","last_name":"Belozerova","first_name":"Olga A."},{"first_name":"Sergey I.","last_name":"Kovalchuk","full_name":"Kovalchuk, Sergey I."},{"full_name":"Alekberova, Anna","last_name":"Alekberova","first_name":"Anna"},{"full_name":"Malyshevskaia, Alena K.","last_name":"Malyshevskaia","first_name":"Alena K."},{"last_name":"Bugaeva","first_name":"Evgenia N.","full_name":"Bugaeva, Evgenia N."},{"first_name":"Elena B.","last_name":"Guglya","full_name":"Guglya, Elena B."},{"full_name":"Balakireva, Anastasia","first_name":"Anastasia","last_name":"Balakireva"},{"first_name":"Nikita","last_name":"Sytov","full_name":"Sytov, Nikita"},{"full_name":"Bezlikhotnova, Anastasia","last_name":"Bezlikhotnova","first_name":"Anastasia"},{"full_name":"Boldyreva, Daria I.","first_name":"Daria I.","last_name":"Boldyreva"},{"full_name":"Babenko, Vladislav V.","first_name":"Vladislav V.","last_name":"Babenko"},{"full_name":"Kondrashov, Fyodor","orcid":"0000-0001-8243-4694","id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","last_name":"Kondrashov","first_name":"Fyodor"},{"full_name":"Choob, Vladimir V.","last_name":"Choob","first_name":"Vladimir V."},{"last_name":"Orzaez","first_name":"Diego","full_name":"Orzaez, Diego"},{"last_name":"Yampolsky","first_name":"Ilia V.","full_name":"Yampolsky, Ilia V."},{"full_name":"Mishin, Alexander S.","last_name":"Mishin","first_name":"Alexander S."},{"last_name":"Sarkisyan","first_name":"Karen S.","full_name":"Sarkisyan, Karen S."}],"volume":10,"date_updated":"2024-03-25T09:44:53Z","date_created":"2024-03-25T08:54:33Z","scopus_import":"1","article_processing_charge":"Yes","has_accepted_license":"1","day":"01","citation":{"mla":"Palkina, Kseniia A., et al. “A Hybrid Pathway for Self-Sustained Luminescence.” Science Advances, vol. 10, no. 10, adk1992, American Association for the Advancement of Science, 2024, doi:10.1126/sciadv.adk1992.","short":"K.A. Palkina, T.A. Karataeva, M.M. Perfilov, L.I. Fakhranurova, N.M. Markina, L. Gonzalez Somermeyer, E. Garcia-Perez, M. Vazquez-Vilar, M. Rodriguez-Rodriguez, V. Vazquez-Vilriales, E.S. Shakhova, T. Mitiouchkina, O.A. Belozerova, S.I. Kovalchuk, A. Alekberova, A.K. Malyshevskaia, E.N. Bugaeva, E.B. Guglya, A. Balakireva, N. Sytov, A. Bezlikhotnova, D.I. Boldyreva, V.V. Babenko, F. Kondrashov, V.V. Choob, D. Orzaez, I.V. Yampolsky, A.S. Mishin, K.S. Sarkisyan, Science Advances 10 (2024).","chicago":"Palkina, Kseniia A., Tatiana A. Karataeva, Maxim M. Perfilov, Liliia I. Fakhranurova, Nadezhda M. Markina, Louisa Gonzalez Somermeyer, Elena Garcia-Perez, et al. “A Hybrid Pathway for Self-Sustained Luminescence.” Science Advances. American Association for the Advancement of Science, 2024. https://doi.org/10.1126/sciadv.adk1992.","ama":"Palkina KA, Karataeva TA, Perfilov MM, et al. A hybrid pathway for self-sustained luminescence. Science Advances. 2024;10(10). doi:10.1126/sciadv.adk1992","ista":"Palkina KA, Karataeva TA, Perfilov MM, Fakhranurova LI, Markina NM, Gonzalez Somermeyer L, Garcia-Perez E, Vazquez-Vilar M, Rodriguez-Rodriguez M, Vazquez-Vilriales V, Shakhova ES, Mitiouchkina T, Belozerova OA, Kovalchuk SI, Alekberova A, Malyshevskaia AK, Bugaeva EN, Guglya EB, Balakireva A, Sytov N, Bezlikhotnova A, Boldyreva DI, Babenko VV, Kondrashov F, Choob VV, Orzaez D, Yampolsky IV, Mishin AS, Sarkisyan KS. 2024. A hybrid pathway for self-sustained luminescence. Science Advances. 10(10), adk1992.","ieee":"K. A. Palkina et al., “A hybrid pathway for self-sustained luminescence,” Science Advances, vol. 10, no. 10. American Association for the Advancement of Science, 2024.","apa":"Palkina, K. A., Karataeva, T. A., Perfilov, M. M., Fakhranurova, L. I., Markina, N. M., Gonzalez Somermeyer, L., … Sarkisyan, K. S. (2024). A hybrid pathway for self-sustained luminescence. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.adk1992"},"publication":"Science Advances","article_type":"original","date_published":"2024-03-01T00:00:00Z","type":"journal_article","issue":"10","abstract":[{"text":"The fungal bioluminescence pathway can be reconstituted in other organisms allowing luminescence imaging without exogenously supplied substrate. The pathway starts from hispidin biosynthesis—a step catalyzed by a large fungal polyketide synthase that requires a posttranslational modification for activity. Here, we report identification of alternative compact hispidin synthases encoded by a phylogenetically diverse group of plants. A hybrid bioluminescence pathway that combines plant and fungal genes is more compact, not dependent on availability of machinery for posttranslational modifications, and confers autonomous bioluminescence in yeast, mammalian, and plant hosts. The compact size of plant hispidin synthases enables additional modes of delivery of autoluminescence, such as delivery with viral vectors.","lang":"eng"}],"_id":"15179","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 10","ddc":["580"],"title":"A hybrid pathway for self-sustained luminescence","status":"public","file":[{"file_name":"2024_ScienceAdv_Palkina.pdf","access_level":"open_access","creator":"dernst","file_size":1499302,"content_type":"application/pdf","file_id":"15185","relation":"main_file","date_updated":"2024-03-25T09:42:10Z","date_created":"2024-03-25T09:42:10Z","success":1,"checksum":"a19c43b260ea0bbaf895a29712e3153c"}],"oa_version":"Published Version"},{"article_number":" e2023GL106523","ec_funded":1,"file_date_updated":"2024-03-25T11:28:25Z","department":[{"_id":"CaMu"}],"publisher":"American Geophysical Union","publication_status":"published","acknowledgement":"YLH is supported by funding from the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant 101034413. CM gratefully acknowledges funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (Project CLUSTER, Grant 805041). The authors warmly thank Steven Sherwood, Jiawei Bao, Bidyut Goswami, and Martin Janssens for stimulating and helpful discussions. They also thank Christopher Holloway and an anonymous reviewer for providing helpful feedback that greatly improved this manuscript.\r\n","year":"2024","volume":51,"date_created":"2024-03-25T10:27:30Z","date_updated":"2024-03-25T11:32:06Z","author":[{"full_name":"Hwong, Yi-Ling","last_name":"Hwong","first_name":"Yi-Ling","orcid":"0000-0001-9281-3479","id":"1217aa61-4dd1-11ec-9ac3-f2ba3f17ee22"},{"orcid":"0000-0001-5836-5350","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","last_name":"Muller","first_name":"Caroline J","full_name":"Muller, Caroline J"}],"publication_identifier":{"eissn":["1944-8007"],"issn":["0094-8276"]},"month":"03","project":[{"name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020","grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"},{"_id":"629205d8-2b32-11ec-9570-e1356ff73576","grant_number":"805041","call_identifier":"H2020","name":"organization of CLoUdS, and implications of Tropical cyclones and for the Energetics of the tropics, in current and waRming climate"}],"quality_controlled":"1","tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png"},"oa":1,"language":[{"iso":"eng"}],"doi":"10.1029/2023gl106523","type":"journal_article","issue":"6","abstract":[{"lang":"eng","text":"The elimination of rain evaporation in the planetary boundary layer (PBL) has been found to lead to convective self‐aggregation (CSA) even without radiative feedback, but the precise mechanisms underlying this phenomenon remain unclear. We conducted cloud‐resolving simulations with two domain sizes and progressively reduced rain evaporation in the PBL. Surprisingly, CSA only occurred when rain evaporation was almost completely removed. The additional convective heating resulting from the reduction of evaporative cooling in the moist patch was found to be the trigger, thereafter a dry subsidence intrusion into the PBL in the dry patch takes over and sets CSA in motion. Temperature and moisture anomalies oppose each other in their buoyancy effects, hence explaining the need for almost total rain evaporation removal. We also found radiative cooling and not cold pools to be the leading cause for the comparative ease of CSA to take place in the larger domain."}],"intvolume":" 51","title":"The unreasonable efficiency of total rain evaporation removal in triggering convective self‐aggregation","ddc":["550"],"status":"public","_id":"15186","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Published Version","file":[{"relation":"main_file","file_id":"15187","date_updated":"2024-03-25T11:28:25Z","date_created":"2024-03-25T11:28:25Z","checksum":"eacb011091a503b9e7b748fef639ba4c","success":1,"file_name":"2024_GeophysResLetters_Hwong.pdf","access_level":"open_access","content_type":"application/pdf","file_size":1280108,"creator":"dernst"}],"keyword":["General Earth and Planetary Sciences","Geophysics"],"article_processing_charge":"Yes (in subscription journal)","has_accepted_license":"1","day":"19","article_type":"original","citation":{"ama":"Hwong Y-L, Muller CJ. The unreasonable efficiency of total rain evaporation removal in triggering convective self‐aggregation. Geophysical Research Letters. 2024;51(6). doi:10.1029/2023gl106523","ista":"Hwong Y-L, Muller CJ. 2024. The unreasonable efficiency of total rain evaporation removal in triggering convective self‐aggregation. Geophysical Research Letters. 51(6), e2023GL106523.","apa":"Hwong, Y.-L., & Muller, C. J. (2024). The unreasonable efficiency of total rain evaporation removal in triggering convective self‐aggregation. Geophysical Research Letters. American Geophysical Union. https://doi.org/10.1029/2023gl106523","ieee":"Y.-L. Hwong and C. J. Muller, “The unreasonable efficiency of total rain evaporation removal in triggering convective self‐aggregation,” Geophysical Research Letters, vol. 51, no. 6. American Geophysical Union, 2024.","mla":"Hwong, Yi-Ling, and Caroline J. Muller. “The Unreasonable Efficiency of Total Rain Evaporation Removal in Triggering Convective Self‐aggregation.” Geophysical Research Letters, vol. 51, no. 6, e2023GL106523, American Geophysical Union, 2024, doi:10.1029/2023gl106523.","short":"Y.-L. Hwong, C.J. Muller, Geophysical Research Letters 51 (2024).","chicago":"Hwong, Yi-Ling, and Caroline J Muller. “The Unreasonable Efficiency of Total Rain Evaporation Removal in Triggering Convective Self‐aggregation.” Geophysical Research Letters. American Geophysical Union, 2024. https://doi.org/10.1029/2023gl106523."},"publication":"Geophysical Research Letters","date_published":"2024-03-19T00:00:00Z"},{"month":"03","publication_identifier":{"issn":["2643-1564"]},"doi":"10.1103/physrevresearch.6.013257","language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"arxiv":["2310.17995"]},"oa":1,"quality_controlled":"1","project":[{"call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program","grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"}],"file_date_updated":"2024-03-25T09:24:55Z","ec_funded":1,"article_number":"013257","author":[{"full_name":"Becker, A.","first_name":"A.","last_name":"Becker"},{"id":"d7b23d3a-9e21-11ec-b482-f76739596b95","last_name":"Koutentakis","first_name":"Georgios","full_name":"Koutentakis, Georgios"},{"first_name":"P.","last_name":"Schmelcher","full_name":"Schmelcher, P."}],"date_updated":"2024-03-25T09:27:37Z","date_created":"2024-03-25T08:57:07Z","volume":6,"acknowledgement":"This work has been funded by the Cluster of Excellence “Advanced Imaging of Matter” of the Deutsche Forschungsgemeinschaft (DFG) - EXC 2056 - Project ID 390715994.\r\nG.M.K. gratefully acknowledges funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413.","year":"2024","publication_status":"published","publisher":"American Physical Society","department":[{"_id":"MiLe"}],"day":"01","article_processing_charge":"Yes","has_accepted_license":"1","scopus_import":"1","date_published":"2024-03-01T00:00:00Z","publication":"Physical Review Research","citation":{"chicago":"Becker, A., Georgios Koutentakis, and P. Schmelcher. “Synthetic Dimension-Induced Pseudo Jahn-Teller Effect in One-Dimensional Confined Fermions.” Physical Review Research. American Physical Society, 2024. https://doi.org/10.1103/physrevresearch.6.013257.","mla":"Becker, A., et al. “Synthetic Dimension-Induced Pseudo Jahn-Teller Effect in One-Dimensional Confined Fermions.” Physical Review Research, vol. 6, no. 1, 013257, American Physical Society, 2024, doi:10.1103/physrevresearch.6.013257.","short":"A. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 6 (2024).","ista":"Becker A, Koutentakis G, Schmelcher P. 2024. Synthetic dimension-induced pseudo Jahn-Teller effect in one-dimensional confined fermions. Physical Review Research. 6(1), 013257.","ieee":"A. Becker, G. Koutentakis, and P. Schmelcher, “Synthetic dimension-induced pseudo Jahn-Teller effect in one-dimensional confined fermions,” Physical Review Research, vol. 6, no. 1. American Physical Society, 2024.","apa":"Becker, A., Koutentakis, G., & Schmelcher, P. (2024). Synthetic dimension-induced pseudo Jahn-Teller effect in one-dimensional confined fermions. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.6.013257","ama":"Becker A, Koutentakis G, Schmelcher P. Synthetic dimension-induced pseudo Jahn-Teller effect in one-dimensional confined fermions. Physical Review Research. 2024;6(1). doi:10.1103/physrevresearch.6.013257"},"article_type":"original","abstract":[{"lang":"eng","text":"We demonstrate the failure of the adiabatic Born-Oppenheimer approximation to describe the ground state of a quantum impurity within an ultracold Fermi gas despite substantial mass differences between the bath and impurity species. Increasing repulsion leads to the appearance of nonadiabatic couplings between the fast bath and slow impurity degrees of freedom, which reduce the parity symmetry of the latter according to the pseudo Jahn-Teller effect. The presence of this mechanism is associated to a conical intersection involving the impurity position and the inverse of the interaction strength, which acts as a synthetic dimension. We elucidate the presence of these effects via a detailed ground-state analysis involving the comparison of ab initio fully correlated simulations with effective models. Our study suggests ultracold atomic ensembles as potent emulators of complex molecular phenomena."}],"issue":"1","type":"journal_article","oa_version":"Published Version","file":[{"relation":"main_file","file_id":"15183","checksum":"4e0e58d1f58386fb016284c84db2a300","success":1,"date_created":"2024-03-25T09:24:55Z","date_updated":"2024-03-25T09:24:55Z","access_level":"open_access","file_name":"2024_PhysicalReviewResearch_Becker.pdf","file_size":2207067,"content_type":"application/pdf","creator":"dernst"}],"_id":"15181","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Synthetic dimension-induced pseudo Jahn-Teller effect in one-dimensional confined fermions","ddc":["530"],"status":"public","intvolume":" 6"},{"oa_version":"Published Version","title":"A route to high thermoelectric performance: Solution‐based control of microstructure and composition in Ag2Se","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"15182","abstract":[{"lang":"eng","text":"Thermoelectric materials convert heat into electricity, with a broad range of applications near room temperature (RT). However, the library of RT high-performance materials is limited. Traditional high-temperature synthetic methods constrain the range of materials achievable, hindering the ability to surpass crystal structure limitations and engineer defects. Here, a solution-based synthetic approach is introduced, enabling RT synthesis of powders and exploration of densification at lower temperatures to influence the material's microstructure. The approach is exemplified by Ag2Se, an n-type alternative to bismuth telluride. It is demonstrated that the concentration of Ag interstitials, grain boundaries, and dislocations are directly correlated to the sintering temperature, and achieve a figure of merit of 1.1 from RT to 100 °C after optimization. Moreover, insights into and resolve Ag2Se's challenges are provided, including stoichiometry issues leading to irreproducible performances. This work highlights the potential of RT solution synthesis in expanding the repertoire of high-performance thermoelectric materials for practical applications."}],"type":"journal_article","date_published":"2024-03-13T00:00:00Z","article_type":"original","citation":{"short":"T. Kleinhanns, F. Milillo, M. Calcabrini, C. Fiedler, S. Horta, D. Balazs, M.J. Strumolo, R. Hasler, J. Llorca, M. Tkadletz, R.L. Brutchey, M. Ibáñez, Advanced Energy Materials (2024).","mla":"Kleinhanns, Tobias, et al. “A Route to High Thermoelectric Performance: Solution‐based Control of Microstructure and Composition in Ag2Se.” Advanced Energy Materials, 2400408, Wiley, 2024, doi:10.1002/aenm.202400408.","chicago":"Kleinhanns, Tobias, Francesco Milillo, Mariano Calcabrini, Christine Fiedler, Sharona Horta, Daniel Balazs, Marissa J. Strumolo, et al. “A Route to High Thermoelectric Performance: Solution‐based Control of Microstructure and Composition in Ag2Se.” Advanced Energy Materials. Wiley, 2024. https://doi.org/10.1002/aenm.202400408.","ama":"Kleinhanns T, Milillo F, Calcabrini M, et al. A route to high thermoelectric performance: Solution‐based control of microstructure and composition in Ag2Se. Advanced Energy Materials. 2024. doi:10.1002/aenm.202400408","apa":"Kleinhanns, T., Milillo, F., Calcabrini, M., Fiedler, C., Horta, S., Balazs, D., … Ibáñez, M. (2024). A route to high thermoelectric performance: Solution‐based control of microstructure and composition in Ag2Se. Advanced Energy Materials. Wiley. https://doi.org/10.1002/aenm.202400408","ieee":"T. Kleinhanns et al., “A route to high thermoelectric performance: Solution‐based control of microstructure and composition in Ag2Se,” Advanced Energy Materials. Wiley, 2024.","ista":"Kleinhanns T, Milillo F, Calcabrini M, Fiedler C, Horta S, Balazs D, Strumolo MJ, Hasler R, Llorca J, Tkadletz M, Brutchey RL, Ibáñez M. 2024. A route to high thermoelectric performance: Solution‐based control of microstructure and composition in Ag2Se. Advanced Energy Materials., 2400408."},"publication":"Advanced Energy Materials","article_processing_charge":"Yes (via OA deal)","day":"13","scopus_import":"1","date_updated":"2024-03-25T09:21:05Z","date_created":"2024-03-25T08:57:40Z","author":[{"full_name":"Kleinhanns, Tobias","id":"8BD9DE16-AB3C-11E9-9C8C-2A03E6697425","first_name":"Tobias","last_name":"Kleinhanns"},{"id":"38b830db-ea88-11ee-bf9b-929beaf79054","first_name":"Francesco","last_name":"Milillo","full_name":"Milillo, Francesco"},{"id":"45D7531A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4566-5877","first_name":"Mariano","last_name":"Calcabrini","full_name":"Calcabrini, Mariano"},{"last_name":"Fiedler","first_name":"Christine","id":"bd3fceba-dc74-11ea-a0a7-c17f71817366","full_name":"Fiedler, Christine"},{"id":"03a7e858-01b1-11ec-8b71-99ae6c4a05bc","last_name":"Horta","first_name":"Sharona","full_name":"Horta, Sharona"},{"full_name":"Balazs, Daniel","last_name":"Balazs","first_name":"Daniel","orcid":"0000-0001-7597-043X","id":"302BADF6-85FC-11EA-9E3B-B9493DDC885E"},{"first_name":"Marissa J.","last_name":"Strumolo","full_name":"Strumolo, Marissa J."},{"full_name":"Hasler, Roger","first_name":"Roger","last_name":"Hasler"},{"full_name":"Llorca, Jordi","first_name":"Jordi","last_name":"Llorca"},{"last_name":"Tkadletz","first_name":"Michael","full_name":"Tkadletz, Michael"},{"full_name":"Brutchey, Richard L.","first_name":"Richard L.","last_name":"Brutchey"},{"full_name":"Ibáñez, Maria","first_name":"Maria","last_name":"Ibáñez","id":"43C61214-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5013-2843"}],"department":[{"_id":"MaIb"},{"_id":"LifeSc"}],"publisher":"Wiley","publication_status":"epub_ahead","acknowledgement":"This work was supported by the Scientific Service Units (SSU) of ISTA through resources provided by the Electron Microscopy Facility (EMF), the Lab Support Facility (LSF), and the Nanofabrication Facility (NNF). This work was financially supported by ISTA and the Werner Siemens Foundation. The USTEM Service Unit of the Technical University of Vienna is acknowledged for EBSD sample preparation and analysis. R.L.B. acknowledges the National Science Foundation for funding the mass spectrometry analysis under award DMR 1904719. J.L. is a Serra Húnter Fellow and is grateful to the ICREA Academia program and projects MICINN/FEDER PID2021-124572OB-C31 and GC 2021 SGR 01061.","year":"2024","article_number":"2400408","language":[{"iso":"eng"}],"acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"LifeSc"},{"_id":"NanoFab"}],"doi":"10.1002/aenm.202400408","project":[{"_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A","name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery"}],"quality_controlled":"1","oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1002/aenm.202400408"}],"publication_identifier":{"eissn":["1614-6840"],"issn":["1614-6832"]},"month":"03"},{"file":[{"date_created":"2024-03-25T08:36:00Z","date_updated":"2024-03-25T08:36:00Z","checksum":"243bd966aca968ec7d9e474af8639f8d","success":1,"relation":"main_file","file_id":"15178","file_size":2887134,"content_type":"application/pdf","creator":"dernst","file_name":"2024_GeophysResLetters_Goswami.pdf","access_level":"open_access"}],"oa_version":"Published Version","_id":"15165","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 51","title":"A pre-monsoon signal of false alarms of Indian monsoon droughts","status":"public","ddc":["550"],"issue":"5","abstract":[{"text":"Current knowledge suggests a drought Indian monsoon (perhaps a severe one) when the El Nino Southern Oscillation and Pacific Decadal Oscillation each exhibit positive phases (a joint positive phase). For the monsoons, which are exceptions in this regard, we found northeast India often gets excess pre-monsoon rainfall. Further investigation reveals that this excess pre-monsoon rainfall is produced by the interaction of the large-scale circulation associated with the joint phase with the mountains in northeast India. We posit that a warmer troposphere, a consequence of excess rainfall over northeast India, drives a stronger monsoon circulation and enhances monsoon rainfall over central India. Hence, we argue that pre-monsoon rainfall over northeast India can be used for seasonal monsoon rainfall prediction over central India. Most importantly, its predictive value is at its peak when the Pacific Ocean exhibits a joint positive phase and the threat of extreme drought monsoon looms over India.","lang":"eng"}],"type":"journal_article","date_published":"2024-03-16T00:00:00Z","citation":{"chicago":"GOSWAMI, BIDYUT B. “A Pre-Monsoon Signal of False Alarms of Indian Monsoon Droughts.” Geophysical Research Letters. Wiley, 2024. https://doi.org/10.1029/2023GL106569.","mla":"GOSWAMI, BIDYUT B. “A Pre-Monsoon Signal of False Alarms of Indian Monsoon Droughts.” Geophysical Research Letters, vol. 51, no. 5, e2023GL106569, Wiley, 2024, doi:10.1029/2023GL106569.","short":"B.B. GOSWAMI, Geophysical Research Letters 51 (2024).","ista":"GOSWAMI BB. 2024. A pre-monsoon signal of false alarms of Indian monsoon droughts. Geophysical Research Letters. 51(5), e2023GL106569.","apa":"GOSWAMI, B. B. (2024). A pre-monsoon signal of false alarms of Indian monsoon droughts. Geophysical Research Letters. Wiley. https://doi.org/10.1029/2023GL106569","ieee":"B. B. GOSWAMI, “A pre-monsoon signal of false alarms of Indian monsoon droughts,” Geophysical Research Letters, vol. 51, no. 5. Wiley, 2024.","ama":"GOSWAMI BB. A pre-monsoon signal of false alarms of Indian monsoon droughts. Geophysical Research Letters. 2024;51(5). doi:10.1029/2023GL106569"},"publication":"Geophysical Research Letters","article_type":"original","article_processing_charge":"Yes","has_accepted_license":"1","day":"16","scopus_import":"1","author":[{"full_name":"Goswami, Bidyut B","last_name":"Goswami","first_name":"Bidyut B","orcid":"0000-0001-8602-3083","id":"3a4ac09c-6d61-11ec-bf66-884cde66b64b"}],"volume":51,"date_created":"2024-03-24T23:00:58Z","date_updated":"2024-03-25T10:00:57Z","acknowledgement":"The author gratefully acknowledges ISTA for supporting this research through funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Project CLUSTER, grant agreement No. 805041).","year":"2024","department":[{"_id":"CaMu"}],"publisher":"Wiley","publication_status":"published","ec_funded":1,"file_date_updated":"2024-03-25T08:36:00Z","article_number":"e2023GL106569","doi":"10.1029/2023GL106569","language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png"},"oa":1,"project":[{"call_identifier":"H2020","name":"organization of CLoUdS, and implications of Tropical cyclones and for the Energetics of the tropics, in current and waRming climate","_id":"629205d8-2b32-11ec-9570-e1356ff73576","grant_number":"805041"}],"quality_controlled":"1","publication_identifier":{"issn":["0094-8276"],"eissn":["1944-8007"]},"month":"03"},{"author":[{"last_name":"Navita","first_name":"Navita","id":"6ebe278d-ba0b-11ee-8184-f34cdc671de4","full_name":"Navita, Navita"},{"full_name":"Ibáñez, Maria","first_name":"Maria","last_name":"Ibáñez","id":"43C61214-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5013-2843"}],"volume":383,"date_created":"2024-03-24T23:00:58Z","date_updated":"2024-03-25T10:31:20Z","year":"2024","acknowledgement":"The authors thank the Werner-Siemens-Stiftung and the Institute of Science and Technology Austria for financial support.","publisher":"American Association for the Advancement of Science","department":[{"_id":"MaIb"}],"publication_status":"published","publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"month":"03","doi":"10.1126/science.ado4077","language":[{"iso":"eng"}],"project":[{"_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A","name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery"}],"quality_controlled":"1","issue":"6688","abstract":[{"lang":"eng","text":"Reducing defects boosts room-temperature performance of a thermoelectric device"}],"type":"journal_article","oa_version":"None","_id":"15166","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 383","title":"Electron highways are cooler","status":"public","article_processing_charge":"No","day":"14","scopus_import":"1","date_published":"2024-03-14T00:00:00Z","citation":{"ama":"Jakhar N, Ibáñez M. Electron highways are cooler. Science. 2024;383(6688):1184. doi:10.1126/science.ado4077","apa":"Jakhar, N., & Ibáñez, M. (2024). Electron highways are cooler. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.ado4077","ieee":"N. Jakhar and M. Ibáñez, “Electron highways are cooler,” Science, vol. 383, no. 6688. American Association for the Advancement of Science, p. 1184, 2024.","ista":"Jakhar N, Ibáñez M. 2024. Electron highways are cooler. Science. 383(6688), 1184.","short":"N. Jakhar, M. Ibáñez, Science 383 (2024) 1184.","mla":"Jakhar, Navita, and Maria Ibáñez. “Electron Highways Are Cooler.” Science, vol. 383, no. 6688, American Association for the Advancement of Science, 2024, p. 1184, doi:10.1126/science.ado4077.","chicago":"Jakhar, Navita, and Maria Ibáñez. “Electron Highways Are Cooler.” Science. American Association for the Advancement of Science, 2024. https://doi.org/10.1126/science.ado4077."},"publication":"Science","page":"1184","article_type":"letter_note"},{"scopus_import":"1","article_processing_charge":"Yes (via OA deal)","has_accepted_license":"1","day":"20","article_type":"original","citation":{"chicago":"Zens, Bettina, Florian Fäßler, Jesse Hansen, Robert Hauschild, Julia Datler, Victor-Valentin Hodirnau, Vanessa Zheden, Jonna H Alanko, Michael K Sixt, and Florian KM Schur. “Lift-out Cryo-FIBSEM and Cryo-ET Reveal the Ultrastructural Landscape of Extracellular Matrix.” Journal of Cell Biology. Rockefeller University Press, 2024. https://doi.org/10.1083/jcb.202309125.","short":"B. Zens, F. Fäßler, J. Hansen, R. Hauschild, J. Datler, V.-V. Hodirnau, V. Zheden, J.H. Alanko, M.K. Sixt, F.K. Schur, Journal of Cell Biology 223 (2024).","mla":"Zens, Bettina, et al. “Lift-out Cryo-FIBSEM and Cryo-ET Reveal the Ultrastructural Landscape of Extracellular Matrix.” Journal of Cell Biology, vol. 223, no. 6, e202309125, Rockefeller University Press, 2024, doi:10.1083/jcb.202309125.","ieee":"B. Zens et al., “Lift-out cryo-FIBSEM and cryo-ET reveal the ultrastructural landscape of extracellular matrix,” Journal of Cell Biology, vol. 223, no. 6. Rockefeller University Press, 2024.","apa":"Zens, B., Fäßler, F., Hansen, J., Hauschild, R., Datler, J., Hodirnau, V.-V., … Schur, F. K. (2024). Lift-out cryo-FIBSEM and cryo-ET reveal the ultrastructural landscape of extracellular matrix. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.202309125","ista":"Zens B, Fäßler F, Hansen J, Hauschild R, Datler J, Hodirnau V-V, Zheden V, Alanko JH, Sixt MK, Schur FK. 2024. Lift-out cryo-FIBSEM and cryo-ET reveal the ultrastructural landscape of extracellular matrix. Journal of Cell Biology. 223(6), e202309125.","ama":"Zens B, Fäßler F, Hansen J, et al. Lift-out cryo-FIBSEM and cryo-ET reveal the ultrastructural landscape of extracellular matrix. Journal of Cell Biology. 2024;223(6). doi:10.1083/jcb.202309125"},"publication":"Journal of Cell Biology","date_published":"2024-03-20T00:00:00Z","type":"journal_article","issue":"6","abstract":[{"text":"The extracellular matrix (ECM) serves as a scaffold for cells and plays an essential role in regulating numerous cellular processes, including cell migration and proliferation. Due to limitations in specimen preparation for conventional room-temperature electron microscopy, we lack structural knowledge on how ECM components are secreted, remodeled, and interact with surrounding cells. We have developed a 3D-ECM platform compatible with sample thinning by cryo-focused ion beam milling, the lift-out extraction procedure, and cryo-electron tomography. Our workflow implements cell-derived matrices (CDMs) grown on EM grids, resulting in a versatile tool closely mimicking ECM environments. This allows us to visualize ECM for the first time in its hydrated, native context. Our data reveal an intricate network of extracellular fibers, their positioning relative to matrix-secreting cells, and previously unresolved structural entities. Our workflow and results add to the structural atlas of the ECM, providing novel insights into its secretion and assembly.","lang":"eng"}],"intvolume":" 223","ddc":["570"],"title":"Lift-out cryo-FIBSEM and cryo-ET reveal the ultrastructural landscape of extracellular matrix","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"15146","oa_version":"Published Version","file":[{"creator":"dernst","file_size":11907016,"content_type":"application/pdf","file_name":"2024_JCB_Zens.pdf","access_level":"open_access","date_updated":"2024-03-25T12:52:04Z","date_created":"2024-03-25T12:52:04Z","success":1,"checksum":"90d1984a93660735e506c2a304bc3f73","file_id":"15188","relation":"main_file"}],"publication_identifier":{"issn":["0021-9525"],"eissn":["1540-8140"]},"month":"03","project":[{"_id":"9B954C5C-BA93-11EA-9121-9846C619BF3A","grant_number":"P33367","name":"Structure and isoform diversity of the Arp2/3 complex"},{"name":"In Situ Actin Structures via Hybrid Cryo-electron Microscopy","_id":"7bd318a1-9f16-11ee-852c-cc9217763180","grant_number":"E435"},{"_id":"25FE9508-B435-11E9-9278-68D0E5697425","grant_number":"724373","name":"Cellular navigation along spatial gradients","call_identifier":"H2020"},{"name":"NÖ-Fonds Preis für die Jungforscherin des Jahres am IST Austria","_id":"059B463C-7A3F-11EA-A408-12923DDC885E"},{"grant_number":"21317","_id":"2615199A-B435-11E9-9278-68D0E5697425","name":"Spatiotemporal regulation of chemokine-induced signalling in leukocyte chemotaxis"},{"grant_number":"CZI01","_id":"62909c6f-2b32-11ec-9570-e1476aab5308","name":"CryoMinflux-guided in-situ visual proteomics and structure determination"}],"quality_controlled":"1","oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"pmid":["38506714"]},"language":[{"iso":"eng"}],"acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"ScienComp"},{"_id":"EM-Fac"},{"_id":"M-Shop"}],"doi":"10.1083/jcb.202309125","article_number":"e202309125","ec_funded":1,"file_date_updated":"2024-03-25T12:52:04Z","publisher":"Rockefeller University Press","department":[{"_id":"FlSc"},{"_id":"MiSi"},{"_id":"Bio"},{"_id":"EM-Fac"}],"publication_status":"published","pmid":1,"acknowledgement":"Open Access funding provided by IST Austria. We thank Armel Nicolas and his team at the ISTA proteomics facility, Alois Schloegl, Stefano Elefante, and colleagues at the ISTA Scientific Computing facility, Tommaso Constanzo and Ludek Lovicar at the Electron Microsocpy Facility (EMF), and Thomas Menner at the Miba Machine shop for their support. We also thank Wanda Kukulski (University of Bern) as well as Darío Porley, Andreas Thader, and other members of the Schur group for helpful discussions. Matt Swulius and Jessica Heebner provided great support in using Dragonfly. We thank Dorotea Fracciolla (Art & Science) for support in figure illustration.\r\n\r\nThis research was supported by the Scientific Service Units of ISTA through resources provided by Scientific Computing, the Lab Support Facility, and the Electron Microscopy Facility. We acknowledge funding support from the following sources: Austrian Science Fund (FWF) grant P33367 (to F.K.M. Schur), the Federation of European Biochemical Societies (to F.K.M. Schur), Niederösterreich (NÖ) Fonds (to B. Zens), FWF grant E435 (to J.M. Hansen), European Research Council under the European Union’s Horizon 2020 research (grant agreement No. 724373) (to M. Sixt), and Jenny and Antti Wihuri Foundation (to J. Alanko). This publication has been made possible in part by CZI grant DAF2021-234754 and grant DOI https://doi.org/10.37921/812628ebpcwg from the Chan Zuckerberg Initiative DAF, an advised fund of Silicon Valley Community Foundation (to F.K.M. Schur).","year":"2024","volume":223,"date_created":"2024-03-21T06:45:51Z","date_updated":"2024-03-25T13:03:57Z","author":[{"full_name":"Zens, Bettina","id":"45FD126C-F248-11E8-B48F-1D18A9856A87","last_name":"Zens","first_name":"Bettina"},{"last_name":"Fäßler","first_name":"Florian","orcid":"0000-0001-7149-769X","id":"404F5528-F248-11E8-B48F-1D18A9856A87","full_name":"Fäßler, Florian"},{"full_name":"Hansen, Jesse","last_name":"Hansen","first_name":"Jesse","id":"1063c618-6f9b-11ec-9123-f912fccded63"},{"orcid":"0000-0001-9843-3522","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","last_name":"Hauschild","first_name":"Robert","full_name":"Hauschild, Robert"},{"full_name":"Datler, Julia","first_name":"Julia","last_name":"Datler","id":"3B12E2E6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3616-8580"},{"id":"3661B498-F248-11E8-B48F-1D18A9856A87","last_name":"Hodirnau","first_name":"Victor-Valentin","full_name":"Hodirnau, Victor-Valentin"},{"full_name":"Zheden, Vanessa","id":"39C5A68A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9438-4783","first_name":"Vanessa","last_name":"Zheden"},{"full_name":"Alanko, Jonna H","orcid":"0000-0002-7698-3061","id":"2CC12E8C-F248-11E8-B48F-1D18A9856A87","last_name":"Alanko","first_name":"Jonna H"},{"orcid":"0000-0002-6620-9179","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","last_name":"Sixt","first_name":"Michael K","full_name":"Sixt, Michael K"},{"first_name":"Florian KM","last_name":"Schur","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4790-8078","full_name":"Schur, Florian KM"}]},{"type":"journal_article","issue":"7","abstract":[{"lang":"eng","text":"We prove an upper bound on the ground state energy of the dilute spin-polarized Fermi gas capturing the leading correction to the kinetic energy resulting from repulsive interactions. One of the main ingredients in the proof is a rigorous implementation of the fermionic cluster expansion of Gaudin et al. (1971) [15]."}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","_id":"14931","intvolume":" 286","status":"public","title":"Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion","oa_version":"Published Version","scopus_import":"1","article_processing_charge":"Yes (via OA deal)","day":"24","citation":{"chicago":"Lauritsen, Asbjørn Bækgaard, and Robert Seiringer. “Ground State Energy of the Dilute Spin-Polarized Fermi Gas: Upper Bound via Cluster Expansion.” Journal of Functional Analysis. Elsevier, 2024. https://doi.org/10.1016/j.jfa.2024.110320.","mla":"Lauritsen, Asbjørn Bækgaard, and Robert Seiringer. “Ground State Energy of the Dilute Spin-Polarized Fermi Gas: Upper Bound via Cluster Expansion.” Journal of Functional Analysis, vol. 286, no. 7, 110320, Elsevier, 2024, doi:10.1016/j.jfa.2024.110320.","short":"A.B. Lauritsen, R. Seiringer, Journal of Functional Analysis 286 (2024).","ista":"Lauritsen AB, Seiringer R. 2024. Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion. Journal of Functional Analysis. 286(7), 110320.","ieee":"A. B. Lauritsen and R. Seiringer, “Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion,” Journal of Functional Analysis, vol. 286, no. 7. Elsevier, 2024.","apa":"Lauritsen, A. B., & Seiringer, R. (2024). Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2024.110320","ama":"Lauritsen AB, Seiringer R. Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion. Journal of Functional Analysis. 2024;286(7). doi:10.1016/j.jfa.2024.110320"},"publication":"Journal of Functional Analysis","article_type":"original","date_published":"2024-01-24T00:00:00Z","article_number":"110320","ec_funded":1,"year":"2024","acknowledgement":"A.B.L. would like to thank Johannes Agerskov and Jan Philip Solovej for valuable discussions. We thank Alessandro Giuliani for helpful discussions and for pointing out the reference [18]. Funding from the European Union's Horizon 2020 research and innovation programme under the ERC grant agreement No 694227 is acknowledged. Financial support by the Austrian Science Fund (FWF) through project number I 6427-N (as part of the SFB/TRR 352) is gratefully acknowledged.","department":[{"_id":"RoSe"}],"publisher":"Elsevier","publication_status":"epub_ahead","author":[{"full_name":"Lauritsen, Asbjørn Bækgaard","id":"e1a2682f-dc8d-11ea-abe3-81da9ac728f1","orcid":"0000-0003-4476-2288","first_name":"Asbjørn Bækgaard","last_name":"Lauritsen"},{"full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","first_name":"Robert","last_name":"Seiringer"}],"volume":286,"date_updated":"2024-03-28T10:54:02Z","date_created":"2024-02-04T23:00:53Z","publication_identifier":{"issn":["0022-1236"],"eissn":["1096--0783"]},"month":"01","oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.jfa.2024.110320"}],"external_id":{"arxiv":["2301.04894"]},"project":[{"call_identifier":"H2020","name":"Analysis of quantum many-body systems","grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"},{"grant_number":"I06427","_id":"bda63fe5-d553-11ed-ba76-a16e3d2f256b","name":"Mathematical Challenges in BCS Theory of Superconductivity"}],"quality_controlled":"1","doi":"10.1016/j.jfa.2024.110320","language":[{"iso":"eng"}]},{"date_published":"2024-01-04T00:00:00Z","article_type":"original","page":"676-692","publication":"Monthly Notices of the Royal Astronomical Society","citation":{"ama":"Galiullin I, Rodriguez AC, Kulkarni SR, et al. A joint SRG/eROSITA + ZTF search: Discovery of a 97-min period eclipsing cataclysmic variable with evidence of a brown dwarf secondary. Monthly Notices of the Royal Astronomical Society. 2024;528(1):676-692. doi:10.1093/mnras/stae012","ieee":"I. Galiullin et al., “A joint SRG/eROSITA + ZTF search: Discovery of a 97-min period eclipsing cataclysmic variable with evidence of a brown dwarf secondary,” Monthly Notices of the Royal Astronomical Society, vol. 528, no. 1. Oxford University Press, pp. 676–692, 2024.","apa":"Galiullin, I., Rodriguez, A. C., Kulkarni, S. R., Sunyaev, R., Gilfanov, M., Bikmaev, I., … Vanderbosch, Z. P. (2024). A joint SRG/eROSITA + ZTF search: Discovery of a 97-min period eclipsing cataclysmic variable with evidence of a brown dwarf secondary. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stae012","ista":"Galiullin I, Rodriguez AC, Kulkarni SR, Sunyaev R, Gilfanov M, Bikmaev I, Yungelson L, van Roestel J, Gänsicke BT, Khamitov I, Szkody P, El-Badry K, Suslikov M, Prince TA, Buntov M, Caiazzo I, Gorbachev M, Graham MJ, Gumerov R, Irtuganov E, Laher RR, Medvedev P, Riddle R, Rusholme B, Sakhibullin N, Sklyanov A, Vanderbosch ZP. 2024. A joint SRG/eROSITA + ZTF search: Discovery of a 97-min period eclipsing cataclysmic variable with evidence of a brown dwarf secondary. Monthly Notices of the Royal Astronomical Society. 528(1), 676–692.","short":"I. Galiullin, A.C. Rodriguez, S.R. Kulkarni, R. Sunyaev, M. Gilfanov, I. Bikmaev, L. Yungelson, J. van Roestel, B.T. Gänsicke, I. Khamitov, P. Szkody, K. El-Badry, M. Suslikov, T.A. Prince, M. Buntov, I. Caiazzo, M. Gorbachev, M.J. Graham, R. Gumerov, E. Irtuganov, R.R. Laher, P. Medvedev, R. Riddle, B. Rusholme, N. Sakhibullin, A. Sklyanov, Z.P. Vanderbosch, Monthly Notices of the Royal Astronomical Society 528 (2024) 676–692.","mla":"Galiullin, Ilkham, et al. “A Joint SRG/EROSITA + ZTF Search: Discovery of a 97-Min Period Eclipsing Cataclysmic Variable with Evidence of a Brown Dwarf Secondary.” Monthly Notices of the Royal Astronomical Society, vol. 528, no. 1, Oxford University Press, 2024, pp. 676–92, doi:10.1093/mnras/stae012.","chicago":"Galiullin, Ilkham, Antonio C Rodriguez, Shrinivas R Kulkarni, Rashid Sunyaev, Marat Gilfanov, Ilfan Bikmaev, Lev Yungelson, et al. “A Joint SRG/EROSITA + ZTF Search: Discovery of a 97-Min Period Eclipsing Cataclysmic Variable with Evidence of a Brown Dwarf Secondary.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2024. https://doi.org/10.1093/mnras/stae012."},"day":"04","article_processing_charge":"No","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"scopus_import":"1","oa_version":"Published Version","title":"A joint SRG/eROSITA + ZTF search: Discovery of a 97-min period eclipsing cataclysmic variable with evidence of a brown dwarf secondary","status":"public","intvolume":" 528","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"15189","abstract":[{"lang":"eng","text":"Cataclysmic variables (CVs) that have evolved past the period minimum during their lifetimes are predicted to be systems with a brown dwarf donor. While population synthesis models predict that around 40–70 per cent of the Galactic CVs are post-period minimum systems referred to as ‘period bouncers’, only a few dozen confirmed systems are known. We report the study and characterization of a new eclipsing CV, SRGeJ041130.3+685350 (SRGeJ0411), discovered from a joint SRG/eROSITA and ZTF programme. The optical spectrum of SRGeJ0411 shows prominent hydrogen and helium emission lines, typical for CVs. We obtained optical high-speed photometry to confirm the eclipse of SRGeJ0411 and determine the orbital period to be Porb ≈ 97.530 min. The spectral energy distribution suggests that the donor has an effective temperature of ≲ 1800 K. We constrain the donor mass with the period–density relationship for Roche lobe-filling stars and find that Mdonor ≲ 0.04 M⊙. The binary parameters are consistent with evolutionary models for post-period minimum CVs, suggesting that SRGeJ0411 is a new period bouncer. The optical emission lines of SRGeJ0411 are single-peaked despite the system being eclipsing, which is typically only seen due to stream-fed accretion in polars. X-ray spectroscopy hints that the white dwarf in SRGeJ0411 could be magnetic, but verifying the magnetic nature of SRGeJ0411 requires further investigation. The lack of optical outbursts has made SRGeJ0411 elusive in previous surveys, and joint X-ray and optical surveys highlight the potential for discovering similar systems in the near future."}],"issue":"1","type":"journal_article","language":[{"iso":"eng"}],"doi":"10.1093/mnras/stae012","quality_controlled":"1","external_id":{"arxiv":["2401.04178"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"main_file_link":[{"url":"https://academic.oup.com/mnras/article/528/1/676/7511123","open_access":"1"}],"oa":1,"month":"01","publication_identifier":{"eissn":["1365-2966"],"issn":["0035-8711"]},"date_updated":"2024-03-29T09:52:36Z","date_created":"2024-03-26T09:43:55Z","volume":528,"author":[{"first_name":"Ilkham","last_name":"Galiullin","full_name":"Galiullin, Ilkham"},{"first_name":"Antonio C","last_name":"Rodriguez","full_name":"Rodriguez, Antonio C"},{"first_name":"Shrinivas R","last_name":"Kulkarni","full_name":"Kulkarni, Shrinivas R"},{"full_name":"Sunyaev, Rashid","last_name":"Sunyaev","first_name":"Rashid"},{"first_name":"Marat","last_name":"Gilfanov","full_name":"Gilfanov, Marat"},{"last_name":"Bikmaev","first_name":"Ilfan","full_name":"Bikmaev, Ilfan"},{"last_name":"Yungelson","first_name":"Lev","full_name":"Yungelson, Lev"},{"last_name":"van Roestel","first_name":"Jan","full_name":"van Roestel, Jan"},{"full_name":"Gänsicke, Boris T","first_name":"Boris T","last_name":"Gänsicke"},{"first_name":"Irek","last_name":"Khamitov","full_name":"Khamitov, Irek"},{"last_name":"Szkody","first_name":"Paula","full_name":"Szkody, Paula"},{"last_name":"El-Badry","first_name":"Kareem","full_name":"El-Badry, Kareem"},{"full_name":"Suslikov, Mikhail","first_name":"Mikhail","last_name":"Suslikov"},{"first_name":"Thomas A","last_name":"Prince","full_name":"Prince, Thomas A"},{"full_name":"Buntov, Mikhail","first_name":"Mikhail","last_name":"Buntov"},{"orcid":"0000-0002-4770-5388","id":"8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d","last_name":"Caiazzo","first_name":"Ilaria","full_name":"Caiazzo, Ilaria"},{"full_name":"Gorbachev, Mark","first_name":"Mark","last_name":"Gorbachev"},{"full_name":"Graham, Matthew J","last_name":"Graham","first_name":"Matthew J"},{"full_name":"Gumerov, Rustam","last_name":"Gumerov","first_name":"Rustam"},{"first_name":"Eldar","last_name":"Irtuganov","full_name":"Irtuganov, Eldar"},{"full_name":"Laher, Russ R","first_name":"Russ R","last_name":"Laher"},{"full_name":"Medvedev, Pavel","last_name":"Medvedev","first_name":"Pavel"},{"last_name":"Riddle","first_name":"Reed","full_name":"Riddle, Reed"},{"last_name":"Rusholme","first_name":"Ben","full_name":"Rusholme, Ben"},{"full_name":"Sakhibullin, Nail","first_name":"Nail","last_name":"Sakhibullin"},{"last_name":"Sklyanov","first_name":"Alexander","full_name":"Sklyanov, Alexander"},{"first_name":"Zachary P","last_name":"Vanderbosch","full_name":"Vanderbosch, Zachary P"}],"publication_status":"published","publisher":"Oxford University Press","year":"2024","extern":"1"},{"oa_version":"Published Version","status":"public","title":"Exploring the chemistry and mass function of the globular cluster 47 Tucanae with new theoretical color–magnitude diagrams","intvolume":" 961","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"15191","abstract":[{"text":"Despite their shared origin, members of globular clusters display star-to-star variations in composition. The observed pattern of element abundances is unique to these stellar environments and cannot be fully explained by any proposed mechanism. It remains unclear whether stars form with chemical heterogeneity or inherit it from interactions with other members. These scenarios may be differentiated by the dependence of chemical spread on stellar mass; however, obtaining a sufficiently large mass baseline requires abundance measurements on the lower main sequence, which is too faint for spectroscopy even in the nearest globular clusters. We developed a stellar modeling method to obtain precise chemical abundances for stars near the end of the main sequence from multiband photometry, and we applied it to the globular cluster 47 Tucanae. The computational efficiency is attained by matching chemical elements to the model components that are most sensitive to their abundance. We determined [O/Fe] for ∼5000 members below the main-sequence knee at the level of accuracy, comparable to the spectroscopic measurements of evolved members in the literature. The inferred distribution disfavors stellar interactions as the origin of chemical spread; however, an accurate theory of accretion is required to draw a more definitive conclusion. We anticipate that future observations of 47 Tucanae with the James Webb Space Telescope will extend the mass baseline of our analysis into the substellar regime. Therefore, we present predicted color–magnitude diagrams and mass–magnitude relations for the brown dwarf members of 47 Tucanae.","lang":"eng"}],"issue":"1","type":"journal_article","date_published":"2024-01-22T00:00:00Z","article_type":"original","publication":"The Astrophysical Journal","citation":{"ama":"Gerasimov R, Burgasser AJ, Caiazzo I, et al. Exploring the chemistry and mass function of the globular cluster 47 Tucanae with new theoretical color–magnitude diagrams. The Astrophysical Journal. 2024;961(1). doi:10.3847/1538-4357/ad08bf","apa":"Gerasimov, R., Burgasser, A. J., Caiazzo, I., Homeier, D., Richer, H. B., Correnti, M., & Heyl, J. (2024). Exploring the chemistry and mass function of the globular cluster 47 Tucanae with new theoretical color–magnitude diagrams. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad08bf","ieee":"R. Gerasimov et al., “Exploring the chemistry and mass function of the globular cluster 47 Tucanae with new theoretical color–magnitude diagrams,” The Astrophysical Journal, vol. 961, no. 1. American Astronomical Society, 2024.","ista":"Gerasimov R, Burgasser AJ, Caiazzo I, Homeier D, Richer HB, Correnti M, Heyl J. 2024. Exploring the chemistry and mass function of the globular cluster 47 Tucanae with new theoretical color–magnitude diagrams. The Astrophysical Journal. 961(1), 139.","short":"R. Gerasimov, A.J. Burgasser, I. Caiazzo, D. Homeier, H.B. Richer, M. Correnti, J. Heyl, The Astrophysical Journal 961 (2024).","mla":"Gerasimov, Roman, et al. “Exploring the Chemistry and Mass Function of the Globular Cluster 47 Tucanae with New Theoretical Color–Magnitude Diagrams.” The Astrophysical Journal, vol. 961, no. 1, 139, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad08bf.","chicago":"Gerasimov, Roman, Adam J. Burgasser, Ilaria Caiazzo, Derek Homeier, Harvey B. Richer, Matteo Correnti, and Jeremy Heyl. “Exploring the Chemistry and Mass Function of the Globular Cluster 47 Tucanae with New Theoretical Color–Magnitude Diagrams.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad08bf."},"day":"22","article_processing_charge":"No","keyword":["Space and Planetary Science","Astronomy and Astrophysics"],"scopus_import":"1","date_updated":"2024-03-29T10:06:31Z","date_created":"2024-03-26T09:44:50Z","volume":961,"author":[{"full_name":"Gerasimov, Roman","last_name":"Gerasimov","first_name":"Roman"},{"last_name":"Burgasser","first_name":"Adam J.","full_name":"Burgasser, Adam J."},{"full_name":"Caiazzo, Ilaria","orcid":"0000-0002-4770-5388","id":"8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d","last_name":"Caiazzo","first_name":"Ilaria"},{"full_name":"Homeier, Derek","first_name":"Derek","last_name":"Homeier"},{"full_name":"Richer, Harvey B.","first_name":"Harvey B.","last_name":"Richer"},{"full_name":"Correnti, Matteo","last_name":"Correnti","first_name":"Matteo"},{"last_name":"Heyl","first_name":"Jeremy","full_name":"Heyl, Jeremy"}],"publication_status":"published","publisher":"American Astronomical Society","year":"2024","extern":"1","article_number":"139","language":[{"iso":"eng"}],"doi":"10.3847/1538-4357/ad08bf","quality_controlled":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"main_file_link":[{"open_access":"1","url":"https://iopscience.iop.org/article/10.3847/1538-4357/ad08bf"}],"oa":1,"external_id":{"arxiv":["2310.11800"]},"month":"01","publication_identifier":{"issn":["0004-637X"],"eissn":["1538-4357"]}},{"doi":"10.1007/978-1-0716-2887-4_12","language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"external_id":{"pmid":["36653709"]},"quality_controlled":"1","month":"01","publication_identifier":{"isbn":["9781071628867"],"eissn":["1940-6029"],"eisbn":["9781071628874"]},"author":[{"last_name":"Hannezo","first_name":"Edouard B","orcid":"0000-0001-6005-1561","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","full_name":"Hannezo, Edouard B"},{"last_name":"Scheele","first_name":"Colinda L.G.J.","full_name":"Scheele, Colinda L.G.J."}],"date_created":"2023-01-29T23:00:58Z","date_updated":"2023-02-03T10:58:56Z","volume":2608,"year":"2023","pmid":1,"publication_status":"published","editor":[{"full_name":"Margadant, Coert","first_name":"Coert","last_name":"Margadant"}],"department":[{"_id":"EdHa"}],"publisher":"Springer Nature","file_date_updated":"2023-02-03T10:56:39Z","date_published":"2023-01-19T00:00:00Z","publication":"Cell Migration in Three Dimensions","citation":{"ama":"Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi:10.1007/978-1-0716-2887-4_12","ieee":"E. B. Hannezo and C. L. G. J. Scheele, “A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland,” in Cell Migration in Three Dimensions, vol. 2608, C. Margadant, Ed. Springer Nature, 2023, pp. 183–205.","apa":"Hannezo, E. B., & Scheele, C. L. G. J. (2023). A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In C. Margadant (Ed.), Cell Migration in Three Dimensions (Vol. 2608, pp. 183–205). Springer Nature. https://doi.org/10.1007/978-1-0716-2887-4_12","ista":"Hannezo EB, Scheele CLGJ. 2023.A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Cell Migration in Three Dimensions. Methods in Molecular Biology, vol. 2608, 183–205.","short":"E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.","mla":"Hannezo, Edouard B., and Colinda L. G. J. Scheele. “A Guide Toward Multi-Scale and Quantitative Branching Analysis in the Mammary Gland.” Cell Migration in Three Dimensions, edited by Coert Margadant, vol. 2608, Springer Nature, 2023, pp. 183–205, doi:10.1007/978-1-0716-2887-4_12.","chicago":"Hannezo, Edouard B, and Colinda L.G.J. Scheele. “A Guide Toward Multi-Scale and Quantitative Branching Analysis in the Mammary Gland.” In Cell Migration in Three Dimensions, edited by Coert Margadant, 2608:183–205. MIMB. Springer Nature, 2023. https://doi.org/10.1007/978-1-0716-2887-4_12."},"page":"183-205","day":"19","article_processing_charge":"No","has_accepted_license":"1","scopus_import":"1","series_title":"MIMB","file":[{"checksum":"aec1b8d3ba938ddf9d8fcb777f3c38ee","success":1,"date_updated":"2023-02-03T10:56:39Z","date_created":"2023-02-03T10:56:39Z","relation":"main_file","file_id":"12500","file_size":826598,"content_type":"application/pdf","creator":"dernst","access_level":"open_access","file_name":"2023_MIMB_Hannezo.pdf"}],"oa_version":"Published Version","_id":"12428","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["570"],"status":"public","title":"A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland","intvolume":" 2608","abstract":[{"lang":"eng","text":"The mammary gland consists of a bilayered epithelial structure with an extensively branched morphology. The majority of this epithelial tree is laid down during puberty, during which actively proliferating terminal end buds repeatedly elongate and bifurcate to form the basic structure of the ductal tree. Mammary ducts consist of a basal and luminal cell layer with a multitude of identified sub-lineages within both layers. The understanding of how these different cell lineages are cooperatively driving branching morphogenesis is a problem of crossing multiple scales, as this requires information on the macroscopic branched structure of the gland, as well as data on single-cell dynamics driving the morphogenic program. Here we describe a method to combine genetic lineage tracing with whole-gland branching analysis. Quantitative data on the global organ structure can be used to derive a model for mammary gland branching morphogenesis and provide a backbone on which the dynamics of individual cell lineages can be simulated and compared to lineage-tracing approaches. Eventually, these quantitative models and experiments allow to understand the couplings between the macroscopic shape of the mammary gland and the underlying single-cell dynamics driving branching morphogenesis."}],"type":"book_chapter","alternative_title":["Methods in Molecular Biology"]},{"volume":5,"date_updated":"2023-02-20T07:02:00Z","date_created":"2023-02-10T09:02:26Z","author":[{"full_name":"Ghazaryan, Areg","first_name":"Areg","last_name":"Ghazaryan","id":"4AF46FD6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9666-3543"},{"last_name":"Cappellaro","first_name":"Alberto","orcid":"0000-0001-6110-2359","id":"9d13b3cb-30a2-11eb-80dc-f772505e8660","full_name":"Cappellaro, Alberto"},{"id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6990-7802","first_name":"Mikhail","last_name":"Lemeshko","full_name":"Lemeshko, Mikhail"},{"last_name":"Volosniev","first_name":"Artem","orcid":"0000-0003-0393-5525","id":"37D278BC-F248-11E8-B48F-1D18A9856A87","full_name":"Volosniev, Artem"}],"publisher":"American Physical Society","department":[{"_id":"MiLe"}],"publication_status":"published","acknowledgement":"We thank Rafael Barfknecht for help at the initial stages of this project; Fabian Brauneis for useful discussions; Miguel A. Garcia-March, Georgios Koutentakis, and Simeon Mistakidis\r\nfor comments on the paper. M.L. acknowledges support by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON).","year":"2023","ec_funded":1,"file_date_updated":"2023-02-13T10:38:10Z","article_number":"013029","language":[{"iso":"eng"}],"doi":"10.1103/physrevresearch.5.013029","project":[{"call_identifier":"H2020","name":"Angulon: physics and applications of a new quasiparticle","_id":"2688CF98-B435-11E9-9278-68D0E5697425","grant_number":"801770"}],"quality_controlled":"1","oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publication_identifier":{"issn":["2643-1564"]},"month":"01","file":[{"creator":"dernst","content_type":"application/pdf","file_size":865150,"file_name":"2023_PhysicalReviewResearch_Ghazaryan.pdf","access_level":"open_access","date_created":"2023-02-13T10:38:10Z","date_updated":"2023-02-13T10:38:10Z","success":1,"checksum":"6068b62874c0099628a108bb9c5c6bd2","file_id":"12546","relation":"main_file"}],"oa_version":"Published Version","intvolume":" 5","title":"Dissipative dynamics of an impurity with spin-orbit coupling","status":"public","ddc":["530"],"_id":"12534","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"1","abstract":[{"text":"Brownian motion of a mobile impurity in a bath is affected by spin-orbit coupling (SOC). Here, we discuss a Caldeira-Leggett-type model that can be used to propose and interpret quantum simulators of this problem in cold Bose gases. First, we derive a master equation that describes the model and explore it in a one-dimensional (1D) setting. To validate the standard assumptions needed for our derivation, we analyze available experimental data without SOC; as a byproduct, this analysis suggests that the quench dynamics of the impurity is beyond the 1D Bose-polaron approach at temperatures currently accessible in a cold-atom laboratory—motion of the impurity is mainly driven by dissipation. For systems with SOC, we demonstrate that 1D spin-orbit coupling can be gauged out even in the presence of dissipation—the information about SOC is incorporated in the initial conditions. Observables sensitive to this information (such as spin densities) can be used to study formation of steady spin polarization domains during quench dynamics.","lang":"eng"}],"type":"journal_article","date_published":"2023-01-20T00:00:00Z","article_type":"original","citation":{"ista":"Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. 2023. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 5(1), 013029.","ieee":"A. Ghazaryan, A. Cappellaro, M. Lemeshko, and A. Volosniev, “Dissipative dynamics of an impurity with spin-orbit coupling,” Physical Review Research, vol. 5, no. 1. American Physical Society, 2023.","apa":"Ghazaryan, A., Cappellaro, A., Lemeshko, M., & Volosniev, A. (2023). Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.5.013029","ama":"Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 2023;5(1). doi:10.1103/physrevresearch.5.013029","chicago":"Ghazaryan, Areg, Alberto Cappellaro, Mikhail Lemeshko, and Artem Volosniev. “Dissipative Dynamics of an Impurity with Spin-Orbit Coupling.” Physical Review Research. American Physical Society, 2023. https://doi.org/10.1103/physrevresearch.5.013029.","mla":"Ghazaryan, Areg, et al. “Dissipative Dynamics of an Impurity with Spin-Orbit Coupling.” Physical Review Research, vol. 5, no. 1, 013029, American Physical Society, 2023, doi:10.1103/physrevresearch.5.013029.","short":"A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023)."},"publication":"Physical Review Research","has_accepted_license":"1","article_processing_charge":"No","day":"20","scopus_import":"1"},{"oa_version":"Published Version","file":[{"content_type":"application/pdf","file_size":21484855,"creator":"dernst","access_level":"open_access","file_name":"2023_NatureGenetics_Zeller.pdf","checksum":"6fdb8e34fbeea63edd0f2c6c2cc5823e","success":1,"date_updated":"2023-02-27T07:46:45Z","date_created":"2023-02-27T07:46:45Z","relation":"main_file","file_id":"12688"}],"intvolume":" 55","title":"Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis","status":"public","ddc":["570","000"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12158","abstract":[{"text":"Post-translational histone modifications modulate chromatin activity to affect gene expression. How chromatin states underlie lineage choice in single cells is relatively unexplored. We develop sort-assisted single-cell chromatin immunocleavage (sortChIC) and map active (H3K4me1 and H3K4me3) and repressive (H3K27me3 and H3K9me3) histone modifications in the mouse bone marrow. During differentiation, hematopoietic stem and progenitor cells (HSPCs) acquire active chromatin states mediated by cell-type-specifying transcription factors, which are unique for each lineage. By contrast, most alterations in repressive marks during differentiation occur independent of the final cell type. Chromatin trajectory analysis shows that lineage choice at the chromatin level occurs at the progenitor stage. Joint profiling of H3K4me1 and H3K9me3 demonstrates that cell types within the myeloid lineage have distinct active chromatin but share similar myeloid-specific heterochromatin states. This implies a hierarchical regulation of chromatin during hematopoiesis: heterochromatin dynamics distinguish differentiation trajectories and lineages, while euchromatin dynamics reflect cell types within lineages.","lang":"eng"}],"type":"journal_article","date_published":"2023-02-01T00:00:00Z","page":"333-345","article_type":"review","citation":{"ama":"Zeller P, Yeung J, Viñas Gaza H, et al. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 2023;55:333-345. doi:10.1038/s41588-022-01260-3","ista":"Zeller P, Yeung J, Viñas Gaza H, de Barbanson BA, Bhardwaj V, Florescu M, van der Linden R, van Oudenaarden A. 2023. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 55, 333–345.","apa":"Zeller, P., Yeung, J., Viñas Gaza, H., de Barbanson, B. A., Bhardwaj, V., Florescu, M., … van Oudenaarden, A. (2023). Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. Springer Nature. https://doi.org/10.1038/s41588-022-01260-3","ieee":"P. Zeller et al., “Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis,” Nature Genetics, vol. 55. Springer Nature, pp. 333–345, 2023.","mla":"Zeller, Peter, et al. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.” Nature Genetics, vol. 55, Springer Nature, 2023, pp. 333–45, doi:10.1038/s41588-022-01260-3.","short":"P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.","chicago":"Zeller, Peter, Jake Yeung, Helena Viñas Gaza, Buys Anton de Barbanson, Vivek Bhardwaj, Maria Florescu, Reinier van der Linden, and Alexander van Oudenaarden. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.” Nature Genetics. Springer Nature, 2023. https://doi.org/10.1038/s41588-022-01260-3."},"publication":"Nature Genetics","article_processing_charge":"No","has_accepted_license":"1","day":"01","keyword":["Genetics"],"scopus_import":"1","volume":55,"date_updated":"2023-02-27T07:48:24Z","date_created":"2023-01-12T12:09:09Z","author":[{"full_name":"Zeller, Peter","first_name":"Peter","last_name":"Zeller"},{"id":"123012b2-db30-11eb-b4d8-a35840c0551b","orcid":"0000-0003-1732-1559","first_name":"Jake","last_name":"Yeung","full_name":"Yeung, Jake"},{"full_name":"Viñas Gaza, Helena","first_name":"Helena","last_name":"Viñas Gaza"},{"full_name":"de Barbanson, Buys Anton","last_name":"de Barbanson","first_name":"Buys Anton"},{"first_name":"Vivek","last_name":"Bhardwaj","full_name":"Bhardwaj, Vivek"},{"last_name":"Florescu","first_name":"Maria","full_name":"Florescu, Maria"},{"last_name":"van der Linden","first_name":"Reinier","full_name":"van der Linden, Reinier"},{"last_name":"van Oudenaarden","first_name":"Alexander","full_name":"van Oudenaarden, Alexander"}],"publisher":"Springer Nature","department":[{"_id":"ScienComp"}],"publication_status":"published","year":"2023","acknowledgement":"We thank A. Giladi for sharing mRNA abundance tables of cell types together with J. van den Berg for critical reading of the manuscript. We thank M. Bartosovic for sharing method comparison data. pK19pA-MN was a gift from Ulrich Laemmli (Addgene plasmid 86973, http://n2t.net/addgene:86973; RRID:Addgene_86973). Figure 8 is adopted from Hematopoiesis (human) diagram by A. Rad and M. Häggström under CC-BY-SA 3.0 license. This work was supported by European Research Council Advanced under grant ERC-AdG 742225-IntScOmics and Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) TOP award NWO-CW 714.016.001. The SNF (P2BSP3-174991), HFSP (LT000209/2018-L) and Marie Skłodowska-Curie Actions (798573) supported P.Z. The SNF (P2ELP3_184488) and HFSP (LT000097/2019-L) supported J.Y. and the EMBO LTF (ALTF 1197–2019) supported V.B. This work is part of the Oncode Institute, which is partly financed by the Dutch Cancer Society. The funders had no role in study design, data collection and analysis, decision to publish or preparation of the manuscript.","file_date_updated":"2023-02-27T07:46:45Z","language":[{"iso":"eng"}],"doi":"10.1038/s41588-022-01260-3","quality_controlled":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"publication_identifier":{"eissn":["1546-1718"],"issn":["1061-4036"]},"month":"02"},{"publication_identifier":{"isbn":["9781611977554"]},"month":"02","language":[{"iso":"eng"}],"doi":"10.1137/1.9781611977554.ch173","conference":{"start_date":"2023-01-22","location":"Florence, Italy","end_date":"2023-01-25","name":"SODA: Symposium on Discrete Algorithms"},"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"}],"quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1137/1.9781611977554.ch173"}],"oa":1,"ec_funded":1,"date_created":"2023-02-24T12:20:47Z","date_updated":"2023-02-27T09:01:16Z","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu"},{"orcid":"0000-0002-1712-2165","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","last_name":"Meggendorfer","first_name":"Tobias","full_name":"Meggendorfer, Tobias"},{"first_name":"Raimundo J","last_name":"Saona Urmeneta","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","orcid":"0000-0001-5103-038X","full_name":"Saona Urmeneta, Raimundo J"},{"full_name":"Svoboda, Jakub","last_name":"Svoboda","first_name":"Jakub","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425"}],"department":[{"_id":"GradSch"},{"_id":"KrCh"}],"publisher":"Society for Industrial and Applied Mathematics","publication_status":"published","year":"2023","acknowledgement":"This research was partially supported by the ERC CoG 863818 (ForM-SMArt) grant.","article_processing_charge":"No","day":"01","date_published":"2023-02-01T00:00:00Z","page":"4590-4605","citation":{"ieee":"K. Chatterjee, T. Meggendorfer, R. J. Saona Urmeneta, and J. Svoboda, “Faster algorithm for turn-based stochastic games with bounded treewidth,” in Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 2023, pp. 4590–4605.","apa":"Chatterjee, K., Meggendorfer, T., Saona Urmeneta, R. J., & Svoboda, J. (2023). Faster algorithm for turn-based stochastic games with bounded treewidth. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 4590–4605). Florence, Italy: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977554.ch173","ista":"Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. 2023. Faster algorithm for turn-based stochastic games with bounded treewidth. Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 4590–4605.","ama":"Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173","chicago":"Chatterjee, Krishnendu, Tobias Meggendorfer, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.” In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, 4590–4605. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/1.9781611977554.ch173.","short":"K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.","mla":"Chatterjee, Krishnendu, et al. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.” Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–605, doi:10.1137/1.9781611977554.ch173."},"publication":"Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms","abstract":[{"text":"Turn-based stochastic games (aka simple stochastic games) are two-player zero-sum games played on directed graphs with probabilistic transitions. The goal of player-max is to maximize the probability to reach a target state against the adversarial player-min. These games lie in NP ∩ coNP and are among the rare combinatorial problems that belong to this complexity class for which the existence of polynomial-time algorithm is a major open question. While randomized sub-exponential time algorithm exists, all known deterministic algorithms require exponential time in the worst-case. An important open question has been whether faster algorithms can be obtained parametrized by the treewidth of the game graph. Even deterministic sub-exponential time algorithm for constant treewidth turn-based stochastic games has remain elusive. In this work our main result is a deterministic algorithm to solve turn-based stochastic games that, given a game with n states, treewidth at most t, and the bit-complexity of the probabilistic transition function log D, has running time O ((tn2 log D)t log n). In particular, our algorithm is quasi-polynomial time for games with constant or poly-logarithmic treewidth.","lang":"eng"}],"type":"conference","oa_version":"Published Version","status":"public","title":"Faster algorithm for turn-based stochastic games with bounded treewidth","_id":"12676","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"publication_identifier":{"issn":["1064-3745"],"eisbn":["978-1-0716-3004-4"],"eissn":["1940-6029"],"isbn":["978-1-0716-3003-7"]},"month":"03","external_id":{"pmid":["36853454"]},"quality_controlled":"1","doi":"10.1007/978-1-0716-3004-4_3","language":[{"iso":"eng"}],"place":"New York, NY, United States","pmid":1,"year":"2023","editor":[{"last_name":"Scarlett","first_name":"Garry","full_name":"Scarlett, Garry"}],"publisher":"Springer Nature","department":[{"_id":"PeJo"}],"publication_status":"published","author":[{"first_name":"Sandra","last_name":"Arroyo-Urea","full_name":"Arroyo-Urea, Sandra"},{"full_name":"Watson, Jake","orcid":"0000-0002-8698-3823","id":"63836096-4690-11EA-BD4E-32803DDC885E","last_name":"Watson","first_name":"Jake"},{"first_name":"Javier","last_name":"García-Nafría","full_name":"García-Nafría, Javier"}],"volume":2633,"date_created":"2023-03-12T23:01:02Z","date_updated":"2023-03-16T08:34:24Z","scopus_import":"1","series_title":"MIMB","article_processing_charge":"No","day":"01","citation":{"ista":"Arroyo-Urea S, Watson J, García-Nafría J. 2023.Molecular Cloning Using In Vivo DNA Assembly. In: DNA Manipulation and Analysis. Methods in Molecular Biology, vol. 2633, 33–44.","ieee":"S. Arroyo-Urea, J. Watson, and J. García-Nafría, “Molecular Cloning Using In Vivo DNA Assembly,” in DNA Manipulation and Analysis, vol. 2633, G. Scarlett, Ed. New York, NY, United States: Springer Nature, 2023, pp. 33–44.","apa":"Arroyo-Urea, S., Watson, J., & García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature. https://doi.org/10.1007/978-1-0716-3004-4_3","ama":"Arroyo-Urea S, Watson J, García-Nafría J. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023:33-44. doi:10.1007/978-1-0716-3004-4_3","chicago":"Arroyo-Urea, Sandra, Jake Watson, and Javier García-Nafría. “Molecular Cloning Using In Vivo DNA Assembly.” In DNA Manipulation and Analysis, edited by Garry Scarlett, 2633:33–44. MIMB. New York, NY, United States: Springer Nature, 2023. https://doi.org/10.1007/978-1-0716-3004-4_3.","mla":"Arroyo-Urea, Sandra, et al. “Molecular Cloning Using In Vivo DNA Assembly.” DNA Manipulation and Analysis, edited by Garry Scarlett, vol. 2633, Springer Nature, 2023, pp. 33–44, doi:10.1007/978-1-0716-3004-4_3.","short":"S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44."},"publication":"DNA Manipulation and Analysis","page":"33-44","date_published":"2023-03-01T00:00:00Z","type":"book_chapter","alternative_title":["Methods in Molecular Biology"],"abstract":[{"text":"Here we describe the in vivo DNA assembly approach, where molecular cloning procedures are performed using an E. coli recA-independent recombination pathway, which assembles linear fragments of DNA with short homologous termini. This pathway is present in all standard laboratory E. coli strains and, by bypassing the need for in vitro DNA assembly, allows simplified molecular cloning to be performed without the plasmid instability issues associated with specialized recombination-cloning bacterial strains. The methodology requires specific primer design and can perform all standard plasmid modifications (insertions, deletions, mutagenesis, and sub-cloning) in a rapid, simple, and cost-efficient manner, as it does not require commercial kits or specialized bacterial strains. Additionally, this approach can be used to perform complex procedures such as multiple modifications to a plasmid, as up to 6 linear fragments can be assembled in vivo by this recombination pathway. Procedures generally require less than 3 h, involving PCR amplification, DpnI digestion of template DNA, and transformation, upon which circular plasmids are assembled. In this chapter we describe the requirements, procedure, and potential pitfalls when using this technique, as well as protocol variations to overcome the most common issues.","lang":"eng"}],"_id":"12720","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 2633","title":"Molecular Cloning Using In Vivo DNA Assembly","status":"public","oa_version":"None"},{"oa_version":"Preprint","date_updated":"2023-03-20T07:29:28Z","date_created":"2023-03-19T23:00:58Z","author":[{"id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","last_name":"Koval","first_name":"Nikita","full_name":"Koval, Nikita"},{"first_name":"Dan-Adrian","last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian"},{"last_name":"Elizarov","first_name":"Roman","full_name":"Elizarov, Roman"}],"department":[{"_id":"DaAl"}],"publisher":"Association for Computing Machinery","publication_status":"published","title":"Fast and scalable channels in Kotlin Coroutines","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12735","year":"2023","abstract":[{"lang":"eng","text":"Asynchronous programming has gained significant popularity over the last decade: support for this programming pattern is available in many popular languages via libraries and native language implementations, typically in the form of coroutines or the async/await construct. Instead of programming via shared memory, this concept assumes implicit synchronization through message passing. The key data structure enabling such communication is the rendezvous channel. Roughly, a rendezvous channel is a blocking queue of size zero, so both send(e) and receive() operations wait for each other, performing a rendezvous when they meet. To optimize the message passing pattern, channels are usually equipped with a fixed-size buffer, so sends do not suspend and put elements into the buffer until its capacity is exceeded. This primitive is known as a buffered channel.\r\n\r\nThis paper presents a fast and scalable algorithm for both rendezvous and buffered channels. Similarly to modern queues, our solution is based on an infinite array with two positional counters for send(e) and receive() operations, leveraging the unconditional Fetch-And-Add instruction to update them. Yet, the algorithm requires non-trivial modifications of this classic pattern, in order to support the full channel semantics, such as buffering and cancellation of waiting requests. We compare the performance of our solution to that of the Kotlin implementation, as well as against other academic proposals, showing up to 9.8× speedup. To showcase its expressiveness and performance, we also integrated the proposed algorithm into the standard Kotlin Coroutines library, replacing the previous channel implementations."}],"type":"conference","language":[{"iso":"eng"}],"doi":"10.1145/3572848.3577481","date_published":"2023-02-25T00:00:00Z","conference":{"name":"PPoPP: Sympopsium on Principles and Practice of Parallel Programming","start_date":"2023-02-25","location":"Montreal, QC, Canada","end_date":"2023-03-01"},"page":"107-118","quality_controlled":"1","citation":{"ista":"Koval N, Alistarh D-A, Elizarov R. 2023. Fast and scalable channels in Kotlin Coroutines. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP: Sympopsium on Principles and Practice of Parallel Programming, 107–118.","apa":"Koval, N., Alistarh, D.-A., & Elizarov, R. (2023). Fast and scalable channels in Kotlin Coroutines. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 107–118). Montreal, QC, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577481","ieee":"N. Koval, D.-A. Alistarh, and R. Elizarov, “Fast and scalable channels in Kotlin Coroutines,” in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Montreal, QC, Canada, 2023, pp. 107–118.","ama":"Koval N, Alistarh D-A, Elizarov R. Fast and scalable channels in Kotlin Coroutines. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2023:107-118. doi:10.1145/3572848.3577481","chicago":"Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. “Fast and Scalable Channels in Kotlin Coroutines.” In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 107–18. Association for Computing Machinery, 2023. https://doi.org/10.1145/3572848.3577481.","mla":"Koval, Nikita, et al. “Fast and Scalable Channels in Kotlin Coroutines.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–18, doi:10.1145/3572848.3577481.","short":"N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118."},"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2211.04986","open_access":"1"}],"external_id":{"arxiv":["2211.04986"]},"oa":1,"publication":"Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","article_processing_charge":"No","publication_identifier":{"isbn":["9798400700156"]},"day":"25","month":"02","scopus_import":"1"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12736","acknowledgement":"This work was supported by: the Natural Sciences and Engineering Research Council of Canada (NSERC) Discovery Program grant: RGPIN-2019-04227, and the Canada Foundation for Innovation John R. Evans Leaders Fund (CFI-JELF) with equal support from the Ontario Research Fund CFI Leaders Opportunity Fund: 38512.","year":"2023","department":[{"_id":"DaAl"},{"_id":"GradSch"}],"publisher":"Association for Computing Machinery","publication_status":"published","title":"Unexpected scaling in path copying trees","status":"public","author":[{"last_name":"Aksenov","first_name":"Vitaly","full_name":"Aksenov, Vitaly"},{"full_name":"Brown, Trevor A","id":"3569F0A0-F248-11E8-B48F-1D18A9856A87","last_name":"Brown","first_name":"Trevor A"},{"full_name":"Fedorov, Alexander","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6","first_name":"Alexander","last_name":"Fedorov"},{"first_name":"Ilya","last_name":"Kokorin","full_name":"Kokorin, Ilya"}],"oa_version":"Published Version","date_updated":"2023-03-20T07:57:27Z","date_created":"2023-03-19T23:00:58Z","type":"conference_poster","abstract":[{"text":"Although a wide variety of handcrafted concurrent data structures have been proposed, there is considerable interest in universal approaches (Universal Constructions or UCs) for building concurrent data structures. UCs (semi-)automatically convert a sequential data structure into a concurrent one. The simplest approach uses locks [3, 6] that protect a sequential data structure and allow only one process to access it at a time. However, the resulting data structure is blocking. Most work on UCs instead focuses on obtaining non-blocking progress guarantees such as obstruction-freedom, lock-freedom or wait-freedom. Many non-blocking UCs have appeared. Key examples include the seminal wait-free UC [2] by Herlihy, a NUMA-aware UC [10] by Yi et al., and an efficient UC for large objects [1] by Fatourou et al.","lang":"eng"}],"citation":{"ama":"Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512","ista":"Aksenov V, Brown TA, Fedorov A, Kokorin I. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.","ieee":"V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.","apa":"Aksenov, V., Brown, T. A., Fedorov, A., & Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577512","mla":"Aksenov, Vitaly, et al. “Unexpected Scaling in Path Copying Trees.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 438–40, doi:10.1145/3572848.3577512.","short":"V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.","chicago":"Aksenov, Vitaly, Trevor A Brown, Alexander Fedorov, and Ilya Kokorin. Unexpected Scaling in Path Copying Trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, 2023. https://doi.org/10.1145/3572848.3577512."},"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3572848.3577512"}],"oa":1,"publication":"Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","page":"438-440","quality_controlled":"1","date_published":"2023-02-25T00:00:00Z","doi":"10.1145/3572848.3577512","conference":{"start_date":"2023-02-25","location":"Montreal, QB, Canada","end_date":"2023-03-01","name":"PPoPP: Sympopsium on Principles and Practice of Parallel Programming"},"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9798400700156"]},"article_processing_charge":"No","month":"02","day":"25"},{"abstract":[{"lang":"eng","text":"Dynamic programming (DP) is one of the fundamental paradigms in algorithm design. However,\r\nmany DP algorithms have to fill in large DP tables, represented by two-dimensional arrays, which causes at least quadratic running times and space usages. This has led to the development of improved algorithms for special cases when the DPs satisfy additional properties like, e.g., the Monge property or total monotonicity.\r\nIn this paper, we consider a new condition which assumes (among some other technical assumptions) that the rows of the DP table are monotone. Under this assumption, we introduce\r\na novel data structure for computing (1 + ϵ)-approximate DP solutions in near-linear time and\r\nspace in the static setting, and with polylogarithmic update times when the DP entries change\r\ndynamically. To the best of our knowledge, our new condition is incomparable to previous conditions and is the first which allows to derive dynamic algorithms based on existing DPs. Instead of using two-dimensional arrays to store the DP tables, we store the rows of the DP tables using monotone piecewise constant functions. This allows us to store length-n DP table rows with entries in [0, W] using only polylog(n, W) bits, and to perform operations, such as (min, +)-convolution or rounding, on these functions in polylogarithmic time.\r\nWe further present several applications of our data structure. For bicriteria versions of k-balanced graph partitioning and simultaneous source location, we obtain the first dynamic algorithms with subpolynomial update times, as well as the first static algorithms using only near-linear time and space. Additionally, we obtain the currently fastest algorithm for fully dynamic knapsack."}],"type":"conference","alternative_title":["LIPIcs"],"file":[{"file_size":872706,"content_type":"application/pdf","creator":"dernst","access_level":"open_access","file_name":"2023_LIPICS_HenzingerM.pdf","checksum":"22141ab8bc55188e2dfff665e5daecbd","success":1,"date_created":"2023-03-27T06:37:22Z","date_updated":"2023-03-27T06:37:22Z","relation":"main_file","file_id":"12769"}],"oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12760","intvolume":" 254","ddc":["000"],"status":"public","title":"Dynamic maintenance of monotone dynamic programs and applications","article_processing_charge":"No","has_accepted_license":"1","day":"01","scopus_import":"1","date_published":"2023-03-01T00:00:00Z","citation":{"ista":"Henzinger MH, Neumann S, Räcke H, Schmid S. 2023. Dynamic maintenance of monotone dynamic programs and applications. 40th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 254, 36.","apa":"Henzinger, M. H., Neumann, S., Räcke, H., & Schmid, S. (2023). Dynamic maintenance of monotone dynamic programs and applications. In 40th International Symposium on Theoretical Aspects of Computer Science (Vol. 254). Hamburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2023.36","ieee":"M. H. Henzinger, S. Neumann, H. Räcke, and S. Schmid, “Dynamic maintenance of monotone dynamic programs and applications,” in 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 2023, vol. 254.","ama":"Henzinger MH, Neumann S, Räcke H, Schmid S. Dynamic maintenance of monotone dynamic programs and applications. In: 40th International Symposium on Theoretical Aspects of Computer Science. Vol 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.STACS.2023.36","chicago":"Henzinger, Monika H, Stefan Neumann, Harald Räcke, and Stefan Schmid. “Dynamic Maintenance of Monotone Dynamic Programs and Applications.” In 40th International Symposium on Theoretical Aspects of Computer Science, Vol. 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.STACS.2023.36.","mla":"Henzinger, Monika H., et al. “Dynamic Maintenance of Monotone Dynamic Programs and Applications.” 40th International Symposium on Theoretical Aspects of Computer Science, vol. 254, 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.STACS.2023.36.","short":"M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023."},"publication":"40th International Symposium on Theoretical Aspects of Computer Science","file_date_updated":"2023-03-27T06:37:22Z","article_number":"36","author":[{"orcid":"0000-0002-5008-6530","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","last_name":"Henzinger","first_name":"Monika H","full_name":"Henzinger, Monika H"},{"full_name":"Neumann, Stefan","first_name":"Stefan","last_name":"Neumann"},{"full_name":"Räcke, Harald","last_name":"Räcke","first_name":"Harald"},{"full_name":"Schmid, Stefan","last_name":"Schmid","first_name":"Stefan"}],"volume":254,"date_updated":"2023-03-27T06:46:27Z","date_created":"2023-03-26T22:01:07Z","year":"2023","acknowledgement":"Monika Henzinger: This project has received funding from the European Research Council\r\n(ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant\r\nagreement No. 101019564 “The Design of Modern Fully Dynamic Data Structures (MoDynStruct)” and from the Austrian Science Fund (FWF) project “Fast Algorithms for a Reactive Network Layer (ReactNet)”, P 33775-N, with additional funding from the netidee SCIENCE Stiftung, 2020–2024.\r\nStefan Neumann: This research is supported by the the ERC Advanced Grant REBOUND (834862) and the EC H2020 RIA project SoBigData++ (871042).\r\nStefan Schmid: Research supported by Austrian Science Fund (FWF) project I 5025-N (DELTA), 2020-2024.","department":[{"_id":"MoHe"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication_status":"published","publication_identifier":{"isbn":["9783959772662"],"issn":["1868-8969"]},"month":"03","doi":"10.4230/LIPIcs.STACS.2023.36","conference":{"name":"STACS: Symposium on Theoretical Aspects of Computer Science","location":"Hamburg, Germany","start_date":"2023-03-07","end_date":"2023-03-09"},"language":[{"iso":"eng"}],"external_id":{"arxiv":["2301.01744"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"quality_controlled":"1"},{"has_accepted_license":"1","article_processing_charge":"No","day":"10","date_published":"2023-03-10T00:00:00Z","citation":{"chicago":"Burnett, Laura. “To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12716.","mla":"Burnett, Laura. To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12716.","short":"L. Burnett, To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism, Institute of Science and Technology Austria, 2023.","ista":"Burnett L. 2023. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. Institute of Science and Technology Austria.","apa":"Burnett, L. (2023). To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12716","ieee":"L. Burnett, “To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism,” Institute of Science and Technology Austria, 2023.","ama":"Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716"},"page":"178","abstract":[{"text":"The process of detecting and evaluating sensory information to guide behaviour is termed perceptual decision-making (PDM), and is critical for the ability of an organism to interact with its external world. Individuals with autism, a neurodevelopmental condition primarily characterised by social and communication difficulties, frequently exhibit altered sensory processing and PDM difficulties are widely reported. Recent technological advancements have pushed forward our understanding of the genetic changes accompanying this condition, however our understanding of how these mutations affect the function of specific neuronal circuits and bring about the corresponding behavioural changes remains limited. Here, we use an innate PDM task, the looming avoidance response (LAR) paradigm, to identify a convergent behavioural abnormality across three molecularly distinct genetic mouse models of autism (Cul3, Setd5 and Ptchd1). Although mutant mice can rapidly detect threatening visual stimuli, their responses are consistently delayed, requiring longer to initiate an appropriate response than their wild-type siblings. Mutant animals show abnormal adaptation in both their stimulus- evoked escape responses and exploratory dynamics following repeated stimulus presentations. Similarly delayed behavioural responses are observed in wild-type animals when faced with more ambiguous threats, suggesting the mutant phenotype could arise from a dysfunction in the flexible control of this PDM process.\r\nOur knowledge of the core neuronal circuitry mediating the LAR facilitated a detailed dissection of the neuronal mechanisms underlying the behavioural impairment. In vivo extracellular recording revealed that visual responses were unaffected within a key brain region for the rapid processing of visual threats, the superior colliculus (SC), indicating that the behavioural delay was unlikely to originate from sensory impairments. Delayed behavioural responses were recapitulated in the Setd5 model following optogenetic stimulation of the excitatory output neurons of the SC, which are known to mediate escape initiation through the activation of cells in the underlying dorsal periaqueductal grey (dPAG). In vitro patch-clamp recordings of dPAG cells uncovered a stark hypoexcitability phenotype in two out of the three genetic models investigated (Setd5 and Ptchd1), that in Setd5, is mediated by the misregulation of voltage-gated potassium channels. Overall, our results show that the ability to use visual information to drive efficient escape responses is impaired in three diverse genetic mouse models of autism and that, in one of the models studied, this behavioural delay likely originates from differences in the intrinsic excitability of a key subcortical node, the dPAG. Furthermore, this work showcases the use of an innate behavioural paradigm to mechanistically dissect PDM processes in autism.","lang":"eng"}],"type":"dissertation","alternative_title":["ISTA Thesis"],"oa_version":"Published Version","file":[{"content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_size":23029260,"creator":"lburnett","file_name":"Burnett_Thesis_2023.docx","access_level":"closed","date_updated":"2023-03-08T15:08:46Z","date_created":"2023-03-08T15:08:46Z","checksum":"6c6d9cc2c4cdacb74e6b1047a34d7332","relation":"source_file","file_id":"12717"},{"success":1,"checksum":"cebc77705288bf4382db9b3541483cd0","date_created":"2023-03-08T15:08:46Z","date_updated":"2023-03-08T15:08:46Z","file_id":"12718","relation":"main_file","creator":"lburnett","content_type":"application/pdf","file_size":11959869,"access_level":"open_access","file_name":"Burnett_Thesis_2023_pdfA.pdf"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"12716","status":"public","title":"To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism","ddc":["599","573"],"publication_identifier":{"issn":["2663-337X"]},"month":"03","doi":"10.15479/at:ista:12716","language":[{"iso":"eng"}],"acknowledged_ssus":[{"_id":"PreCl"},{"_id":"Bio"},{"_id":"LifeSc"},{"_id":"M-Shop"},{"_id":"CampIT"}],"supervisor":[{"full_name":"Jösch, Maximilian A","orcid":"0000-0002-3937-1330","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87","last_name":"Jösch","first_name":"Maximilian A"}],"degree_awarded":"PhD","oa":1,"project":[{"name":"Circuits of Visual Attention","call_identifier":"H2020","grant_number":"756502","_id":"2634E9D2-B435-11E9-9278-68D0E5697425"}],"ec_funded":1,"file_date_updated":"2023-03-08T15:08:46Z","author":[{"full_name":"Burnett, Laura","last_name":"Burnett","first_name":"Laura","orcid":"0000-0002-8937-410X","id":"3B717F68-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2023-03-08T15:19:45Z","date_updated":"2023-04-05T10:59:04Z","year":"2023","department":[{"_id":"GradSch"},{"_id":"MaJö"}],"publisher":"Institute of Science and Technology Austria","publication_status":"published"},{"file":[{"file_name":"2023_LNCS_Chalupa.pdf","access_level":"open_access","creator":"dernst","file_size":16096413,"content_type":"application/pdf","file_id":"12864","relation":"main_file","date_updated":"2023-04-25T06:58:36Z","date_created":"2023-04-25T06:58:36Z","success":1,"checksum":"120d2c2a38384058ad0630fdf8288312"}],"oa_version":"Published Version","intvolume":" 13994","ddc":["000"],"title":"Bubaak: Runtime monitoring of program verifiers","status":"public","_id":"12854","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"The main idea behind BUBAAK is to run multiple program analyses in parallel and use runtime monitoring and enforcement to observe and control their progress in real time. The analyses send information about (un)explored states of the program and discovered invariants to a monitor. The monitor processes the received data and can force an analysis to stop the search of certain program parts (which have already been analyzed by other analyses), or to make it utilize a program invariant found by another analysis.\r\nAt SV-COMP 2023, the implementation of data exchange between the monitor and the analyses was not yet completed, which is why BUBAAK only ran several analyses in parallel, without any coordination. Still, BUBAAK won the meta-category FalsificationOverall and placed very well in several other (sub)-categories of the competition."}],"alternative_title":["LNCS"],"type":"conference","date_published":"2023-04-20T00:00:00Z","page":"535-540","citation":{"chicago":"Chalupa, Marek, and Thomas A Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” In Tools and Algorithms for the Construction and Analysis of Systems, 13994:535–40. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30820-8_32.","short":"M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.","mla":"Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.","ieee":"M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.","apa":"Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_32","ista":"Chalupa M, Henzinger TA. 2023. Bubaak: Runtime monitoring of program verifiers. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 535–540.","ama":"Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32"},"publication":"Tools and Algorithms for the Construction and Analysis of Systems","has_accepted_license":"1","article_processing_charge":"No","day":"20","volume":13994,"date_created":"2023-04-20T08:22:53Z","date_updated":"2023-04-25T07:02:43Z","author":[{"id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","first_name":"Marek","last_name":"Chalupa","full_name":"Chalupa, Marek"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Springer Nature","department":[{"_id":"ToHe"}],"publication_status":"published","acknowledgement":"This work was supported by the ERC-2020-AdG 10102009 grant.","year":"2023","ec_funded":1,"file_date_updated":"2023-04-25T06:58:36Z","language":[{"iso":"eng"}],"doi":"10.1007/978-3-031-30820-8_32","conference":{"end_date":"2023-04-27","start_date":"2023-04-22","location":"Paris, France","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020"}],"quality_controlled":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"publication_identifier":{"isbn":["9783031308192"],"eissn":["1611-3349"],"issn":["0302-9743"],"eisbn":["9783031308208"]},"month":"04"},{"publication":"arXiv","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2303.14555"}],"citation":{"mla":"Chern, Albert, and Sadashige Ishida. “Area Formula for Spherical Polygons via Prequantization.” ArXiv, 2303.14555, doi:10.48550/arXiv.2303.14555.","short":"A. Chern, S. Ishida, ArXiv (n.d.).","chicago":"Chern, Albert, and Sadashige Ishida. “Area Formula for Spherical Polygons via Prequantization.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2303.14555.","ama":"Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv. doi:10.48550/arXiv.2303.14555","ista":"Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv, 2303.14555.","apa":"Chern, A., & Ishida, S. (n.d.). Area formula for spherical polygons via prequantization. arXiv. https://doi.org/10.48550/arXiv.2303.14555","ieee":"A. Chern and S. Ishida, “Area formula for spherical polygons via prequantization,” arXiv. ."},"oa":1,"external_id":{"arxiv":["2303.14555"]},"project":[{"name":"Computational Discovery of Numerical Algorithms for Animation and Simulation of Natural Phenomena","grant_number":"101045083","_id":"34bc2376-11ca-11ed-8bc3-9a3b3961a088"}],"date_published":"2023-03-25T00:00:00Z","doi":"10.48550/arXiv.2303.14555","language":[{"iso":"eng"}],"month":"03","day":"25","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12846","acknowledgement":"The authors acknowledge Chris Wojtan for his continuous support to the present work through discussions and advice. The second author thanks Anna Sisak for a fruitful discussion on prequantum bundles. This project was funded in part by the European Research Council (ERC Consolidator Grant 101045083 CoDiNA).","year":"2023","status":"public","publication_status":"submitted","title":"Area formula for spherical polygons via prequantization","department":[{"_id":"GradSch"},{"_id":"ChWo"}],"author":[{"last_name":"Chern","first_name":"Albert","full_name":"Chern, Albert"},{"last_name":"Ishida","first_name":"Sadashige","id":"6F7C4B96-A8E9-11E9-A7CA-09ECE5697425","full_name":"Ishida, Sadashige"}],"date_updated":"2023-04-25T06:51:21Z","date_created":"2023-04-18T19:16:06Z","oa_version":"Preprint","article_number":"2303.14555","type":"preprint","abstract":[{"text":"We present a formula for the signed area of a spherical polygon via prequantization. In contrast to the traditional formula based on the Gauss-Bonnet theorem that requires measuring angles, the new formula mimics Green's theorem and is applicable to a wider range of degenerate spherical curves and polygons.","lang":"eng"}]},{"date_published":"2023-04-20T00:00:00Z","page":"260-281","publication":"Fundamental Approaches to Software Engineering","citation":{"chicago":"Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” In Fundamental Approaches to Software Engineering, 13991:260–81. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30826-0_15.","short":"M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.","mla":"Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, doi:10.1007/978-3-031-30826-0_15.","ieee":"M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.","apa":"Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30826-0_15","ista":"Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. Vamos: Middleware for best-effort third-party monitoring. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13991, 260–281.","ama":"Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15"},"day":"20","article_processing_charge":"No","has_accepted_license":"1","oa_version":"Published Version","file":[{"date_updated":"2023-04-25T07:16:36Z","date_created":"2023-04-25T07:16:36Z","success":1,"checksum":"17a7c8e08be609cf2408d37ea55e322c","file_id":"12865","relation":"main_file","creator":"dernst","content_type":"application/pdf","file_size":580828,"file_name":"2023_LNCS_ChalupaM.pdf","access_level":"open_access"}],"ddc":["000"],"title":"Vamos: Middleware for best-effort third-party monitoring","status":"public","intvolume":" 13991","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12856","abstract":[{"text":"As the complexity and criticality of software increase every year, so does the importance of run-time monitoring. Third-party monitoring, with limited knowledge of the monitored software, and best-effort monitoring, which keeps pace with the monitored software, are especially valuable, yet underexplored areas of run-time monitoring. Most existing monitoring frameworks do not support their combination because they either require access to the monitored code for instrumentation purposes or the processing of all observed events, or both.\r\n\r\nWe present a middleware framework, VAMOS, for the run-time monitoring of software which is explicitly designed to support third-party and best-effort scenarios. The design goals of VAMOS are (i) efficiency (keeping pace at low overhead), (ii) flexibility (the ability to monitor black-box code through a variety of different event channels, and the connectability to monitors written in different specification languages), and (iii) ease-of-use. To achieve its goals, VAMOS combines aspects of event broker and event recognition systems with aspects of stream processing systems.\r\nWe implemented a prototype toolchain for VAMOS and conducted experiments including a case study of monitoring for data races. The results indicate that VAMOS enables writing useful yet efficient monitors, is compatible with a variety of event sources and monitor specifications, and simplifies key aspects of setting up a monitoring system from scratch.","lang":"eng"}],"alternative_title":["LNCS"],"type":"conference","language":[{"iso":"eng"}],"conference":{"name":"FASE: Fundamental Approaches to Software Engineering","end_date":"2023-04-27","start_date":"2023-04-22","location":"Paris, France"},"doi":"10.1007/978-3-031-30826-0_15","quality_controlled":"1","project":[{"grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"month":"04","publication_identifier":{"eisbn":["9783031308260"],"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783031308253"]},"date_updated":"2023-04-25T07:19:07Z","date_created":"2023-04-20T08:29:42Z","volume":13991,"author":[{"first_name":"Marek","last_name":"Chalupa","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","full_name":"Chalupa, Marek"},{"orcid":"0000-0003-1548-0177","id":"6395C5F6-89DF-11E9-9C97-6BDFE5697425","last_name":"Mühlböck","first_name":"Fabian","full_name":"Mühlböck, Fabian"},{"full_name":"Muroya Lei, Stefanie","id":"a376de31-8972-11ed-ae7b-d0251c13c8ff","last_name":"Muroya Lei","first_name":"Stefanie"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"related_material":{"record":[{"id":"12407","status":"public","relation":"earlier_version"}]},"publication_status":"published","department":[{"_id":"ToHe"}],"publisher":"Springer Nature","year":"2023","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093. The authors would like to thank the anonymous FASE reviewers for their valuable feedback and suggestions.","file_date_updated":"2023-04-25T07:16:36Z","ec_funded":1},{"author":[{"id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","first_name":"Marek","last_name":"Chalupa","full_name":"Chalupa, Marek"},{"orcid":"0000-0003-1548-0177","id":"6395C5F6-89DF-11E9-9C97-6BDFE5697425","last_name":"Mühlböck","first_name":"Fabian","full_name":"Mühlböck, Fabian"},{"last_name":"Muroya Lei","first_name":"Stefanie","id":"a376de31-8972-11ed-ae7b-d0251c13c8ff","full_name":"Muroya Lei, Stefanie"},{"orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A"}],"related_material":{"record":[{"status":"public","relation":"later_version","id":"12856"}]},"date_updated":"2023-04-25T07:19:06Z","date_created":"2023-01-27T03:18:08Z","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093. \r\nThe authors would like to thank the anonymous FASE reviewers for their valuable feedback and suggestions.","year":"2023","publication_status":"published","publisher":"Institute of Science and Technology Austria","department":[{"_id":"ToHe"}],"file_date_updated":"2023-01-27T03:18:34Z","ec_funded":1,"doi":"10.15479/AT:ISTA:12407","language":[{"iso":"eng"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020"}],"month":"01","publication_identifier":{"eissn":["2664-1690"]},"file":[{"file_size":662409,"content_type":"application/pdf","creator":"fmuehlbo","file_name":"main.pdf","access_level":"open_access","date_created":"2023-01-27T03:18:34Z","date_updated":"2023-01-27T03:18:34Z","checksum":"55426e463fdeafe9777fc3ff635154c7","success":1,"relation":"main_file","file_id":"12408"}],"oa_version":"Published Version","_id":"12407","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","title":"VAMOS: Middleware for Best-Effort Third-Party Monitoring","ddc":["005"],"abstract":[{"text":"As the complexity and criticality of software increase every year, so does the importance of run-time monitoring. Third-party monitoring, with limited knowledge of the monitored software, and best-effort monitoring, which keeps pace with the monitored software, are especially valuable, yet underexplored areas of run-time monitoring. Most existing monitoring frameworks do not support their combination because they either require access to the monitored code for instrumentation purposes or the processing of all observed events, or both.\r\n\r\nWe present a middleware framework, VAMOS, for the run-time monitoring of software which is explicitly designed to support third-party and best-effort scenarios. The design goals of VAMOS are (i) efficiency (keeping pace at low overhead), (ii) flexibility (the ability to monitor black-box code through a variety of different event channels, and the connectability to monitors written in different specification languages), and (iii) ease-of-use. To achieve its goals, VAMOS combines aspects of event broker and event recognition systems with aspects of stream processing systems.\r\n\r\nWe implemented a prototype toolchain for VAMOS and conducted experiments including a case study of monitoring for data races. The results indicate that VAMOS enables writing useful yet efficient monitors, is compatible with a variety of event sources and monitor specifications, and simplifies key aspects of setting up a monitoring system from scratch.","lang":"eng"}],"type":"technical_report","alternative_title":["IST Austria Technical Report"],"date_published":"2023-01-27T00:00:00Z","citation":{"mla":"Chalupa, Marek, et al. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12407.","short":"M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.","chicago":"Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12407.","ama":"Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407","ista":"Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 38p.","apa":"Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407","ieee":"M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023."},"page":"38","day":"27","article_processing_charge":"No","has_accepted_license":"1","keyword":["runtime monitoring","best effort","third party"]},{"article_processing_charge":"No","publication_identifier":{"isbn":["9780128188736"]},"day":"01","month":"02","doi":"10.1016/b978-0-12-818872-9.00129-1","date_published":"2023-02-01T00:00:00Z","language":[{"iso":"eng"}],"citation":{"chicago":"Currin, Christopher, and Chad Beyer. “Altered Childhood Brain Development in Autism and Epilepsy.” In Encyclopedia of Child and Adolescent Health, edited by Bonnie Halpern-Felsher, 1st ed., 86–98. Elsevier, 2023. https://doi.org/10.1016/b978-0-12-818872-9.00129-1.","short":"C. Currin, C. Beyer, in:, B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health, 1st ed., Elsevier, 2023, pp. 86–98.","mla":"Currin, Christopher, and Chad Beyer. “Altered Childhood Brain Development in Autism and Epilepsy.” Encyclopedia of Child and Adolescent Health, edited by Bonnie Halpern-Felsher, 1st ed., Elsevier, 2023, pp. 86–98, doi:10.1016/b978-0-12-818872-9.00129-1.","apa":"Currin, C., & Beyer, C. (2023). Altered childhood brain development in autism and epilepsy. In B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health (1st ed., pp. 86–98). Elsevier. https://doi.org/10.1016/b978-0-12-818872-9.00129-1","ieee":"C. Currin and C. Beyer, “Altered childhood brain development in autism and epilepsy,” in Encyclopedia of Child and Adolescent Health, 1st ed., B. Halpern-Felsher, Ed. Elsevier, 2023, pp. 86–98.","ista":"Currin C, Beyer C. 2023.Altered childhood brain development in autism and epilepsy. In: Encyclopedia of Child and Adolescent Health. Vol. 1: Biological Development and Physical Health, , 86–98.","ama":"Currin C, Beyer C. Altered childhood brain development in autism and epilepsy. In: Halpern-Felsher B, ed. Encyclopedia of Child and Adolescent Health. 1st ed. Elsevier; 2023:86-98. doi:10.1016/b978-0-12-818872-9.00129-1"},"publication":"Encyclopedia of Child and Adolescent Health","page":"86-98","quality_controlled":"1","abstract":[{"text":"Autism spectrum disorder (ASD) and epilepsy are frequently comorbid neurodevelopmental disorders. Extensive research has demonstrated shared pathological pathways, etiologies, and phenotypes. Many risk factors for these disorders, like genetic mutations and environmental pressures, are linked to changes in childhood brain development, which is a critical period for their manifestation.\r\nDecades of research have yielded many signatures for ASD and epilepsy, some shared and others unique or opposing. The anatomical, physiological, and behavioral correlates of these disorders are discussed in this chapter in the context of understanding shared pathological pathways. We end with important takeaways on the presentation, prevention, intervention, and policy changes for ASD and epilepsy. This chapter aims to explore the complexity of these disorders, both in etiology and phenotypes, with the further goal of appreciating the expanse of unknowns still to explore about the brain.","lang":"eng"}],"type":"book_chapter","alternative_title":["Vol. 1: Biological Development and Physical Health"],"edition":"1","author":[{"full_name":"Currin, Christopher","id":"e8321fc5-3091-11eb-8a53-83f309a11ac9","orcid":"0000-0002-4809-5059","first_name":"Christopher","last_name":"Currin"},{"full_name":"Beyer, Chad","last_name":"Beyer","first_name":"Chad"}],"oa_version":"None","date_created":"2023-04-25T07:52:43Z","date_updated":"2023-04-25T09:25:40Z","year":"2023","_id":"12866","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"TiVo"}],"editor":[{"full_name":"Halpern-Felsher, Bonnie","first_name":"Bonnie","last_name":"Halpern-Felsher"}],"publisher":"Elsevier","title":"Altered childhood brain development in autism and epilepsy","status":"public","publication_status":"published"},{"abstract":[{"text":"Understanding the mechanisms of learning and memory formation has always been one of\r\nthe main goals in neuroscience. Already Pavlov (1927) in his early days has used his classic\r\nconditioning experiments to study the neural mechanisms governing behavioral adaptation.\r\nWhat was not known back then was that the part of the brain that is largely responsible for\r\nthis type of associative learning is the cerebellum.\r\nSince then, plenty of theories on cerebellar learning have emerged. Despite their differences,\r\none thing they all have in common is that learning relies on synaptic and intrinsic plasticity.\r\nThe goal of my PhD project was to unravel the molecular mechanisms underlying synaptic\r\nplasticity in two synapses that have been shown to be implicated in motor learning, in an\r\neffort to understand how learning and memory formation are processed in the cerebellum.\r\nOne of the earliest and most well-known cerebellar theories postulates that motor learning\r\nlargely depends on long-term depression at the parallel fiber-Purkinje cell (PC-PC) synapse.\r\nHowever, the discovery of other types of plasticity in the cerebellar circuitry, like long-term\r\npotentiation (LTP) at the PC-PC synapse, potentiation of molecular layer interneurons (MLIs),\r\nand plasticity transfer from the cortex to the cerebellar/ vestibular nuclei has increased the\r\npopularity of the idea that multiple sites of plasticity might be involved in learning.\r\nStill a lot remains unknown about the molecular mechanisms responsible for these types of\r\nplasticity and whether they occur during physiological learning.\r\nIn the first part of this thesis we have analyzed the variation and nanodistribution of voltagegated calcium channels (VGCCs) and α-amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid\r\ntype glutamate receptors (AMPARs) on the parallel fiber-Purkinje cell synapse after vestibuloocular reflex phase reversal adaptation, a behavior that has been suggested to rely on PF-PC\r\nLTP. We have found that on the last day of adaptation there is no learning trace in form of\r\nVGCCs nor AMPARs variation at the PF-PC synapse, but instead a decrease in the number of\r\nPF-PC synapses. These data seem to support the view that learning is only stored in the\r\ncerebellar cortex in an initial learning phase, being transferred later to the vestibular nuclei.\r\nNext, we have studied the role of MLIs in motor learning using a relatively simple and well characterized behavioral paradigm – horizontal optokinetic reflex (HOKR) adaptation. We\r\nhave found behavior-induced MLI potentiation in form of release probability increase that\r\ncould be explained by the increase of VGCCs at the presynaptic side. Our results strengthen\r\nthe idea of distributed cerebellar plasticity contributing to learning and provide a novel\r\nmechanism for release probability increase. ","lang":"eng"}],"type":"dissertation","alternative_title":["ISTA Thesis"],"oa_version":"Published Version","file":[{"file_size":9881969,"content_type":"application/pdf","creator":"cchlebak","access_level":"closed","embargo_to":"open_access","file_name":"Thesis_CatarinaAlcarva_final pdfA.pdf","checksum":"35b5997d2b0acb461f9d33d073da0df5","date_updated":"2023-04-07T06:16:06Z","date_created":"2023-04-07T06:16:06Z","relation":"main_file","file_id":"12814","embargo":"2024-04-07"},{"relation":"source_file","file_id":"12815","date_updated":"2023-04-07T06:17:11Z","date_created":"2023-04-07T06:17:11Z","checksum":"81198f63c294890f6d58e8b29782efdc","file_name":"Thesis_CatarinaAlcarva_final_for printing.pdf","access_level":"closed","file_size":44201583,"content_type":"application/pdf","creator":"cchlebak"},{"checksum":"0317bf7f457bb585f99d453ffa69eb53","date_created":"2023-04-07T06:18:05Z","date_updated":"2023-04-07T06:18:05Z","relation":"source_file","file_id":"12816","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_size":84731244,"creator":"cchlebak","access_level":"closed","file_name":"Thesis_CatarinaAlcarva_final.docx"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"12809","ddc":["570"],"status":"public","title":"Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning","day":"06","article_processing_charge":"No","has_accepted_license":"1","date_published":"2023-04-06T00:00:00Z","citation":{"short":"C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.","mla":"Alcarva, Catarina. Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12809.","chicago":"Alcarva, Catarina. “Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12809.","ama":"Alcarva C. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. 2023. doi:10.15479/at:ista:12809","ieee":"C. Alcarva, “Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning,” Institute of Science and Technology Austria, 2023.","apa":"Alcarva, C. (2023). Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12809","ista":"Alcarva C. 2023. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria."},"page":"115","file_date_updated":"2023-04-07T06:18:05Z","author":[{"full_name":"Alcarva, Catarina","id":"3A96634C-F248-11E8-B48F-1D18A9856A87","last_name":"Alcarva","first_name":"Catarina"}],"date_updated":"2023-04-26T12:16:56Z","date_created":"2023-04-06T07:54:09Z","year":"2023","publication_status":"published","department":[{"_id":"GradSch"},{"_id":"RySh"}],"publisher":"Institute of Science and Technology Austria","month":"04","publication_identifier":{"issn":["2663 - 337X"]},"doi":"10.15479/at:ista:12809","supervisor":[{"first_name":"Ryuichi","last_name":"Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi"}],"degree_awarded":"PhD","acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"Bio"},{"_id":"PreCl"}],"language":[{"iso":"eng"}],"project":[{"_id":"267DFB90-B435-11E9-9278-68D0E5697425","name":"Plasticity in the cerebellum: Which molecular mechanisms are behind physiological learning?"}]},{"extern":"1","article_number":"7","date_updated":"2023-05-08T10:52:49Z","date_created":"2023-02-23T09:13:49Z","volume":24,"author":[{"last_name":"Zhao","first_name":"Long","full_name":"Zhao, Long"},{"first_name":"Yiman","last_name":"Yang","full_name":"Yang, Yiman"},{"last_name":"Chen","first_name":"Jinchao","full_name":"Chen, Jinchao"},{"full_name":"Lin, Xuelei","last_name":"Lin","first_name":"Xuelei"},{"full_name":"Zhang, Hao","first_name":"Hao","last_name":"Zhang"},{"full_name":"Wang, Hao","last_name":"Wang","first_name":"Hao"},{"full_name":"Wang, Hongzhe","last_name":"Wang","first_name":"Hongzhe"},{"last_name":"Bie","first_name":"Xiaomin","full_name":"Bie, Xiaomin"},{"last_name":"Jiang","first_name":"Jiafu","full_name":"Jiang, Jiafu"},{"last_name":"Feng","first_name":"Xiaoqi","orcid":"0000-0002-4008-1234","id":"e0164712-22ee-11ed-b12a-d80fcdf35958","full_name":"Feng, Xiaoqi"},{"last_name":"Fu","first_name":"Xiangdong","full_name":"Fu, Xiangdong"},{"full_name":"Zhang, Xiansheng","first_name":"Xiansheng","last_name":"Zhang"},{"first_name":"Zhuo","last_name":"Du","full_name":"Du, Zhuo"},{"last_name":"Xiao","first_name":"Jun","full_name":"Xiao, Jun"}],"publication_status":"published","department":[{"_id":"XiFe"}],"publisher":"Springer Nature","year":"2023","pmid":1,"month":"01","publication_identifier":{"issn":["1474-760X"]},"language":[{"iso":"eng"}],"doi":"10.1186/s13059-022-02844-2","quality_controlled":"1","external_id":{"pmid":["36639687"]},"oa":1,"main_file_link":[{"url":"https://doi.org/10.1186/s13059-022-02844-2","open_access":"1"}],"abstract":[{"lang":"eng","text":"Background: Plant and animal embryogenesis have conserved and distinct features. Cell fate transitions occur during embryogenesis in both plants and animals. The epigenomic processes regulating plant embryogenesis remain largely elusive.\r\n\r\nResults: Here, we elucidate chromatin and transcriptomic dynamics during embryogenesis of the most cultivated crop, hexaploid wheat. Time-series analysis reveals stage-specific and proximal–distal distinct chromatin accessibility and dynamics concordant with transcriptome changes. Following fertilization, the remodeling kinetics of H3K4me3, H3K27ac, and H3K27me3 differ from that in mammals, highlighting considerable species-specific epigenomic dynamics during zygotic genome activation. Polycomb repressive complex 2 (PRC2)-mediated H3K27me3 deposition is important for embryo establishment. Later H3K27ac, H3K27me3, and chromatin accessibility undergo dramatic remodeling to establish a permissive chromatin environment facilitating the access of transcription factors to cis-elements for fate patterning. Embryonic maturation is characterized by increasing H3K27me3 and decreasing chromatin accessibility, which likely participates in restricting totipotency while preventing extensive organogenesis. Finally, epigenomic signatures are correlated with biased expression among homeolog triads and divergent expression after polyploidization, revealing an epigenomic contributor to subgenome diversification in an allohexaploid genome.\r\n\r\nConclusions: Collectively, we present an invaluable resource for comparative and mechanistic analysis of the epigenomic regulation of crop embryogenesis."}],"type":"journal_article","oa_version":"Published Version","title":"Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat","status":"public","intvolume":" 24","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12668","day":"13","article_processing_charge":"No","scopus_import":"1","date_published":"2023-01-13T00:00:00Z","article_type":"original","publication":"Genome Biology","citation":{"ama":"Zhao L, Yang Y, Chen J, et al. Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat. Genome Biology. 2023;24. doi:10.1186/s13059-022-02844-2","ista":"Zhao L, Yang Y, Chen J, Lin X, Zhang H, Wang H, Wang H, Bie X, Jiang J, Feng X, Fu X, Zhang X, Du Z, Xiao J. 2023. Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat. Genome Biology. 24, 7.","ieee":"L. Zhao et al., “Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat,” Genome Biology, vol. 24. Springer Nature, 2023.","apa":"Zhao, L., Yang, Y., Chen, J., Lin, X., Zhang, H., Wang, H., … Xiao, J. (2023). Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat. Genome Biology. Springer Nature. https://doi.org/10.1186/s13059-022-02844-2","mla":"Zhao, Long, et al. “Dynamic Chromatin Regulatory Programs during Embryogenesis of Hexaploid Wheat.” Genome Biology, vol. 24, 7, Springer Nature, 2023, doi:10.1186/s13059-022-02844-2.","short":"L. Zhao, Y. Yang, J. Chen, X. Lin, H. Zhang, H. Wang, H. Wang, X. Bie, J. Jiang, X. Feng, X. Fu, X. Zhang, Z. Du, J. Xiao, Genome Biology 24 (2023).","chicago":"Zhao, Long, Yiman Yang, Jinchao Chen, Xuelei Lin, Hao Zhang, Hao Wang, Hongzhe Wang, et al. “Dynamic Chromatin Regulatory Programs during Embryogenesis of Hexaploid Wheat.” Genome Biology. Springer Nature, 2023. https://doi.org/10.1186/s13059-022-02844-2."}},{"extern":"1","article_number":"e202202967","date_updated":"2023-05-15T08:39:24Z","date_created":"2023-05-08T08:25:34Z","volume":29,"author":[{"full_name":"Traxler, Michael","last_name":"Traxler","first_name":"Michael"},{"last_name":"Reischauer","first_name":"Susanne","full_name":"Reischauer, Susanne"},{"full_name":"Vogl, Sarah","first_name":"Sarah","last_name":"Vogl"},{"full_name":"Roeser, Jérôme","first_name":"Jérôme","last_name":"Roeser"},{"full_name":"Rabeah, Jabor","first_name":"Jabor","last_name":"Rabeah"},{"full_name":"Penschke, Christopher","last_name":"Penschke","first_name":"Christopher"},{"full_name":"Saalfrank, Peter","last_name":"Saalfrank","first_name":"Peter"},{"full_name":"Pieber, Bartholomäus","orcid":"0000-0001-8689-388X","id":"93e5e5b2-0da6-11ed-8a41-af589a024726","last_name":"Pieber","first_name":"Bartholomäus"},{"full_name":"Thomas, Arne","first_name":"Arne","last_name":"Thomas"}],"publication_status":"published","publisher":"Wiley","year":"2023","month":"01","publication_identifier":{"issn":["0947-6539"],"eissn":["1521-3765"]},"language":[{"iso":"eng"}],"doi":"10.1002/chem.202202967","quality_controlled":"1","main_file_link":[{"url":"https://doi.org/10.1002/chem.202202967","open_access":"1"}],"oa":1,"abstract":[{"text":"The multicomponent approach allows to incorporate several functionalities into a single covalent organic framework (COF) and consequently allows the construction of bifunctional materials for cooperative catalysis. The well-defined structure of such multicomponent COFs is furthermore ideally suited for structure-activity relationship studies. We report a series of multicomponent COFs that contain acridine- and 2,2’-bipyridine linkers connected through 1,3,5-benzenetrialdehyde derivatives. The acridine motif is responsible for broad light absorption, while the bipyridine unit enables complexation of nickel catalysts. These features enable the usage of the framework materials as catalysts for light-mediated carbon−heteroatom cross-couplings. Variation of the node units shows that the catalytic activity correlates to the keto-enamine tautomer isomerism. This allows switching between high charge-carrier mobility and persistent, localized charge-separated species depending on the nodes, a tool to tailor the materials for specific reactions. Moreover, nickel-loaded COFs are recyclable and catalyze cross-couplings even using red light irradiation.","lang":"eng"}],"issue":"4","type":"journal_article","oa_version":"Published Version","title":"Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts","status":"public","intvolume":" 29","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12920","day":"18","article_processing_charge":"No","keyword":["General Chemistry","Catalysis","Organic Chemistry"],"scopus_import":"1","date_published":"2023-01-18T00:00:00Z","article_type":"original","publication":"Chemistry – A European Journal","citation":{"mla":"Traxler, Michael, et al. “Programmable Photocatalytic Activity of Multicomponent Covalent Organic Frameworks Used as Metallaphotocatalysts.” Chemistry – A European Journal, vol. 29, no. 4, e202202967, Wiley, 2023, doi:10.1002/chem.202202967.","short":"M. Traxler, S. Reischauer, S. Vogl, J. Roeser, J. Rabeah, C. Penschke, P. Saalfrank, B. Pieber, A. Thomas, Chemistry – A European Journal 29 (2023).","chicago":"Traxler, Michael, Susanne Reischauer, Sarah Vogl, Jérôme Roeser, Jabor Rabeah, Christopher Penschke, Peter Saalfrank, Bartholomäus Pieber, and Arne Thomas. “Programmable Photocatalytic Activity of Multicomponent Covalent Organic Frameworks Used as Metallaphotocatalysts.” Chemistry – A European Journal. Wiley, 2023. https://doi.org/10.1002/chem.202202967.","ama":"Traxler M, Reischauer S, Vogl S, et al. Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts. Chemistry – A European Journal. 2023;29(4). doi:10.1002/chem.202202967","ista":"Traxler M, Reischauer S, Vogl S, Roeser J, Rabeah J, Penschke C, Saalfrank P, Pieber B, Thomas A. 2023. Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts. Chemistry – A European Journal. 29(4), e202202967.","apa":"Traxler, M., Reischauer, S., Vogl, S., Roeser, J., Rabeah, J., Penschke, C., … Thomas, A. (2023). Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts. Chemistry – A European Journal. Wiley. https://doi.org/10.1002/chem.202202967","ieee":"M. Traxler et al., “Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts,” Chemistry – A European Journal, vol. 29, no. 4. Wiley, 2023."}},{"quality_controlled":"1","oa":1,"main_file_link":[{"url":"https://doi.org/10.1002/cctc.202201583","open_access":"1"}],"language":[{"iso":"eng"}],"doi":"10.1002/cctc.202201583","month":"04","publication_identifier":{"issn":["1867-3880"],"eissn":["1867-3899"]},"publication_status":"published","publisher":"Wiley","year":"2023","date_updated":"2023-05-15T08:35:48Z","date_created":"2023-05-08T08:25:55Z","volume":15,"author":[{"full_name":"Madani, Amiera","first_name":"Amiera","last_name":"Madani"},{"full_name":"Pieber, Bartholomäus","first_name":"Bartholomäus","last_name":"Pieber","id":"93e5e5b2-0da6-11ed-8a41-af589a024726","orcid":"0000-0001-8689-388X"}],"article_number":"e202201583","extern":"1","article_type":"original","publication":"ChemCatChem","citation":{"ama":"Madani A, Pieber B. In situ reaction monitoring in photocatalytic organic synthesis. ChemCatChem. 2023;15(7). doi:10.1002/cctc.202201583","ista":"Madani A, Pieber B. 2023. In situ reaction monitoring in photocatalytic organic synthesis. ChemCatChem. 15(7), e202201583.","ieee":"A. Madani and B. Pieber, “In situ reaction monitoring in photocatalytic organic synthesis,” ChemCatChem, vol. 15, no. 7. Wiley, 2023.","apa":"Madani, A., & Pieber, B. (2023). In situ reaction monitoring in photocatalytic organic synthesis. ChemCatChem. Wiley. https://doi.org/10.1002/cctc.202201583","mla":"Madani, Amiera, and Bartholomäus Pieber. “In Situ Reaction Monitoring in Photocatalytic Organic Synthesis.” ChemCatChem, vol. 15, no. 7, e202201583, Wiley, 2023, doi:10.1002/cctc.202201583.","short":"A. Madani, B. Pieber, ChemCatChem 15 (2023).","chicago":"Madani, Amiera, and Bartholomäus Pieber. “In Situ Reaction Monitoring in Photocatalytic Organic Synthesis.” ChemCatChem. Wiley, 2023. https://doi.org/10.1002/cctc.202201583."},"date_published":"2023-04-06T00:00:00Z","keyword":["Inorganic Chemistry","Organic Chemistry","Physical and Theoretical Chemistry","Catalysis"],"scopus_import":"1","day":"06","article_processing_charge":"No","status":"public","title":"In situ reaction monitoring in photocatalytic organic synthesis","intvolume":" 15","_id":"12921","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Published Version","type":"journal_article","abstract":[{"lang":"eng","text":"Visible-light photocatalysis provides numerous useful methodologies for synthetic organic chemistry. However, the mechanisms of these reactions are often not fully understood. Common mechanistic experiments mainly aim to characterize excited state properties of photocatalysts and their interaction with other species. Recently, in situ reaction monitoring using dedicated techniques was shown to be well-suited for the identification of intermediates and to obtain kinetic insights, thereby providing more holistic pictures of the reactions of interest. This minireview surveys these technologies and discusses selected examples where reaction monitoring was used to elucidate the mechanism of photocatalytic reactions."}],"issue":"7"},{"article_processing_charge":"No","day":"01","scopus_import":"1","keyword":["Organic Chemistry","Catalysis"],"date_published":"2023-05-01T00:00:00Z","citation":{"mla":"Murakami, Sho, et al. “Photocatalytic Cleavage of Trityl Protected Thiols and Alcohols.” Synthesis, vol. 55, no. 09, Georg Thieme Verlag, 2023, pp. 1367–74, doi:10.1055/a-1979-5933.","short":"S. Murakami, C. Brudy, M. Bachmann, Y. Takemoto, B. Pieber, Synthesis 55 (2023) 1367–1374.","chicago":"Murakami, Sho, Cosima Brudy, Moritz Bachmann, Yoshiji Takemoto, and Bartholomäus Pieber. “Photocatalytic Cleavage of Trityl Protected Thiols and Alcohols.” Synthesis. Georg Thieme Verlag, 2023. https://doi.org/10.1055/a-1979-5933.","ama":"Murakami S, Brudy C, Bachmann M, Takemoto Y, Pieber B. Photocatalytic cleavage of trityl protected thiols and alcohols. Synthesis. 2023;55(09):1367-1374. doi:10.1055/a-1979-5933","ista":"Murakami S, Brudy C, Bachmann M, Takemoto Y, Pieber B. 2023. Photocatalytic cleavage of trityl protected thiols and alcohols. Synthesis. 55(09), 1367–1374.","apa":"Murakami, S., Brudy, C., Bachmann, M., Takemoto, Y., & Pieber, B. (2023). Photocatalytic cleavage of trityl protected thiols and alcohols. Synthesis. Georg Thieme Verlag. https://doi.org/10.1055/a-1979-5933","ieee":"S. Murakami, C. Brudy, M. Bachmann, Y. Takemoto, and B. Pieber, “Photocatalytic cleavage of trityl protected thiols and alcohols,” Synthesis, vol. 55, no. 09. Georg Thieme Verlag, pp. 1367–1374, 2023."},"publication":"Synthesis","page":"1367-1374","article_type":"original","issue":"09","abstract":[{"lang":"eng","text":"We report the visible light photocatalytic cleavage of trityl thioethers or ethers under pH-neutral conditions. The method results in the formation of the respective symmetrical disulfides and alcohols in moderate to excellent yield. The protocol only requires the addition of a suitable photocatalyst and light rendering it orthogonal to several functionalities, including acid labile protective groups. The same conditions can be used to directly convert trityl-protected thiols into unsymmetrical disulfides or selenosulfides, and to cleave trityl resins in solid phase organic synthesis."}],"type":"journal_article","oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12919","intvolume":" 55","status":"public","title":"Photocatalytic cleavage of trityl protected thiols and alcohols","publication_identifier":{"issn":["0039-7881"],"eissn":["1437-210X"]},"month":"05","doi":"10.1055/a-1979-5933","language":[{"iso":"eng"}],"quality_controlled":"1","extern":"1","author":[{"first_name":"Sho","last_name":"Murakami","full_name":"Murakami, Sho"},{"last_name":"Brudy","first_name":"Cosima","full_name":"Brudy, Cosima"},{"full_name":"Bachmann, Moritz","last_name":"Bachmann","first_name":"Moritz"},{"full_name":"Takemoto, Yoshiji","first_name":"Yoshiji","last_name":"Takemoto"},{"full_name":"Pieber, Bartholomäus","last_name":"Pieber","first_name":"Bartholomäus","orcid":"0000-0001-8689-388X","id":"93e5e5b2-0da6-11ed-8a41-af589a024726"}],"volume":55,"date_created":"2023-05-08T08:25:08Z","date_updated":"2023-05-15T08:43:50Z","year":"2023","publisher":"Georg Thieme Verlag","publication_status":"published"},{"month":"06","publication_identifier":{"isbn":["9781450399135"]},"language":[{"iso":"eng"}],"conference":{"end_date":"2023-06-23","start_date":"2023-06-20","location":"Orlando, FL, United States","name":"STOC: Symposium on Theory of Computing"},"doi":"10.1145/3564246.3585113","quality_controlled":"1","project":[{"name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411"},{"_id":"fc390959-9c52-11eb-aca3-afa58bd282b2","grant_number":"M03073","name":"Learning and triangulating manifolds via collapses"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2303.04014"}],"oa":1,"external_id":{"arxiv":["2303.04014"]},"ec_funded":1,"date_updated":"2023-05-22T08:15:19Z","date_created":"2023-05-22T08:02:02Z","author":[{"full_name":"Lieutier, André","first_name":"André","last_name":"Lieutier"},{"full_name":"Wintraecken, Mathijs","id":"307CFBC8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7472-2220","first_name":"Mathijs","last_name":"Wintraecken"}],"publication_status":"published","department":[{"_id":"HeEd"}],"publisher":"Association for Computing Machinery","year":"2023","acknowledgement":"We are greatly indebted to Erin Chambers for posing a number of questions that eventually led to this paper. We would also like to thank the other organizers of the workshop on ‘Algorithms\r\nfor the medial axis’. We are also indebted to Tatiana Ezubova for helping with the search for and translation of Russian literature. The second author thanks all members of the Edelsbrunner and Datashape groups for the atmosphere in which the research was conducted.\r\nThe research leading to these results has received funding from the European Research Council (ERC) under the European Union’s Seventh Framework Programme (FP/2007-2013) / ERC Grant Agreement No. 339025 GUDHI (Algorithmic Foundations of Geometry Understanding in Higher Dimensions). Supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 754411. The Austrian science fund (FWF) M-3073.","day":"02","article_processing_charge":"No","date_published":"2023-06-02T00:00:00Z","page":"1768-1776","publication":"Proceedings of the 55th Annual ACM Symposium on Theory of Computing","citation":{"ieee":"A. Lieutier and M. Wintraecken, “Hausdorff and Gromov-Hausdorff stable subsets of the medial axis,” in Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Orlando, FL, United States, 2023, pp. 1768–1776.","apa":"Lieutier, A., & Wintraecken, M. (2023). Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 1768–1776). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3564246.3585113","ista":"Lieutier A, Wintraecken M. 2023. Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. Proceedings of the 55th Annual ACM Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 1768–1776.","ama":"Lieutier A, Wintraecken M. Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2023:1768-1776. doi:10.1145/3564246.3585113","chicago":"Lieutier, André, and Mathijs Wintraecken. “Hausdorff and Gromov-Hausdorff Stable Subsets of the Medial Axis.” In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 1768–76. Association for Computing Machinery, 2023. https://doi.org/10.1145/3564246.3585113.","short":"A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.","mla":"Lieutier, André, and Mathijs Wintraecken. “Hausdorff and Gromov-Hausdorff Stable Subsets of the Medial Axis.” Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–76, doi:10.1145/3564246.3585113."},"abstract":[{"text":"In this paper we introduce a pruning of the medial axis called the (λ,α)-medial axis (axλα). We prove that the (λ,α)-medial axis of a set K is stable in a Gromov-Hausdorff sense under weak assumptions. More formally we prove that if K and K′ are close in the Hausdorff (dH) sense then the (λ,α)-medial axes of K and K′ are close as metric spaces, that is the Gromov-Hausdorff distance (dGH) between the two is 1/4-Hölder in the sense that dGH (axλα(K),axλα(K′)) ≲ dH(K,K′)1/4. The Hausdorff distance between the two medial axes is also bounded, by dH (axλα(K),λα(K′)) ≲ dH(K,K′)1/2. These quantified stability results provide guarantees for practical computations of medial axes from approximations. Moreover, they provide key ingredients for studying the computability of the medial axis in the context of computable analysis.","lang":"eng"}],"type":"conference","oa_version":"Preprint","status":"public","title":"Hausdorff and Gromov-Hausdorff stable subsets of the medial axis","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"13048"},{"date_created":"2023-05-23T11:36:18Z","date_updated":"2023-06-01T12:54:45Z","oa_version":"Preprint","author":[{"first_name":"Elena-Alexandra","last_name":"Peste","id":"32D78294-F248-11E8-B48F-1D18A9856A87","full_name":"Peste, Elena-Alexandra"},{"last_name":"Vladu","first_name":"Adrian","full_name":"Vladu, Adrian"},{"full_name":"Kurtic, Eldar","id":"47beb3a5-07b5-11eb-9b87-b108ec578218","first_name":"Eldar","last_name":"Kurtic"},{"first_name":"Christoph","last_name":"Lampert","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8622-7887","full_name":"Lampert, Christoph"},{"full_name":"Alistarh, Dan-Adrian","first_name":"Dan-Adrian","last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X"}],"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"13074"}]},"status":"public","title":"CrAM: A Compression-Aware Minimizer","publication_status":"accepted","department":[{"_id":"GradSch"},{"_id":"DaAl"},{"_id":"ChLa"}],"acknowledgement":"AP, EK, DA received funding from the European Research Council (ERC) under the European\r\nUnion’s Horizon 2020 research and innovation programme (grant agreement No 805223 ScaleML). AV acknowledges the support of the French Agence Nationale de la Recherche (ANR), under grant ANR-21-CE48-0016 (project COMCOPT). We further acknowledge the support from the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp)-","_id":"13053","year":"2023","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"Deep neural networks (DNNs) often have to be compressed, via pruning and/or quantization, before they can be deployed in practical settings. In this work we propose a new compression-aware minimizer dubbed CrAM that modifies the optimization step in a principled way, in order to produce models whose local loss behavior is stable under compression operations such as pruning. Thus, dense models trained via CrAM should be compressible post-training, in a single step, without significant accuracy loss. Experimental results on standard benchmarks, such as residual networks for ImageNet classification and BERT models for language modelling, show that CrAM produces dense models that can be more accurate than the standard SGD/Adam-based baselines, but which are stable under weight pruning: specifically, we can prune models in one-shot to 70-80% sparsity with almost no accuracy loss, and to 90% with reasonable (∼1%) accuracy loss, which is competitive with gradual compression methods. Additionally, CrAM can produce sparse models which perform well for transfer learning, and it also works for semi-structured 2:4 pruning patterns supported by GPU hardware. The code for reproducing the results is available at this https URL .","lang":"eng"}],"ec_funded":1,"type":"conference","acknowledged_ssus":[{"_id":"ScienComp"}],"language":[{"iso":"eng"}],"conference":{"start_date":"2023-05-01","location":"Kigali, Rwanda ","end_date":"2023-05-05","name":"ICLR: International Conference on Learning Representations"},"date_published":"2023-05-01T00:00:00Z","quality_controlled":"1","project":[{"name":"Elastic Coordination for Scalable Machine Learning","call_identifier":"H2020","_id":"268A44D6-B435-11E9-9278-68D0E5697425","grant_number":"805223"}],"publication":"11th International Conference on Learning Representations ","external_id":{"arxiv":["2207.14200"]},"main_file_link":[{"url":"https://openreview.net/pdf?id=_eTZBs-yedr","open_access":"1"}],"citation":{"short":"E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.","mla":"Peste, Elena-Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” 11th International Conference on Learning Representations .","chicago":"Peste, Elena-Alexandra, Adrian Vladu, Eldar Kurtic, Christoph Lampert, and Dan-Adrian Alistarh. “CrAM: A Compression-Aware Minimizer.” In 11th International Conference on Learning Representations , n.d.","ama":"Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. In: 11th International Conference on Learning Representations .","ieee":"E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, and D.-A. Alistarh, “CrAM: A Compression-Aware Minimizer,” in 11th International Conference on Learning Representations , Kigali, Rwanda .","apa":"Peste, E.-A., Vladu, A., Kurtic, E., Lampert, C., & Alistarh, D.-A. (n.d.). CrAM: A Compression-Aware Minimizer. In 11th International Conference on Learning Representations . Kigali, Rwanda .","ista":"Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. 11th International Conference on Learning Representations . ICLR: International Conference on Learning Representations."},"oa":1,"month":"05","article_processing_charge":"No"},{"conference":{"name":"PKC: Public-Key Cryptography","end_date":"2023-05-10","start_date":"2023-05-07","location":"Atlanta, GA, United States"},"doi":"10.1007/978-3-031-31368-4_19","language":[{"iso":"eng"}],"oa":1,"main_file_link":[{"url":"https://eprint.iacr.org/2023/238","open_access":"1"}],"quality_controlled":"1","month":"05","publication_identifier":{"isbn":["9783031313677"],"eissn":["1611-3349"],"issn":["0302-9743"]},"author":[{"full_name":"Hoffmann, Charlotte","id":"0f78d746-dc7d-11ea-9b2f-83f92091afe7","first_name":"Charlotte","last_name":"Hoffmann"},{"first_name":"Pavel","last_name":"Hubáček","full_name":"Hubáček, Pavel"},{"last_name":"Kamath","first_name":"Chethan","full_name":"Kamath, Chethan"},{"full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9139-1654","first_name":"Krzysztof Z","last_name":"Pietrzak"}],"date_created":"2023-06-18T22:00:47Z","date_updated":"2023-06-19T08:03:37Z","volume":13940,"year":"2023","acknowledgement":"We are grateful to Pavel Atnashev for clarifying via e-mail several aspects of the primality tests implementated in the PrimeGrid project. Pavel Hubáček is supported by the Czech Academy of Sciences (RVO 67985840), the Grant Agency of the Czech Republic under the grant agreement no. 19-27871X, and by the Charles University project UNCE/SCI/004. Chethan Kamath is supported by Azrieli International Postdoctoral Fellowship, ISF grants 484/18 and 1789/19, and ERC StG project SPP: Secrecy Preserving Proofs.","publication_status":"published","department":[{"_id":"KrPi"}],"publisher":"Springer Nature","date_published":"2023-05-02T00:00:00Z","publication":"Public-Key Cryptography - PKC 2023","citation":{"ama":"Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19","ista":"Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes. Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940, 530–553.","apa":"Hoffmann, C., Hubáček, P., Kamath, C., & Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-31368-4_19","ieee":"C. Hoffmann, P. Hubáček, C. Kamath, and K. Z. Pietrzak, “Certifying giant nonprimes,” in Public-Key Cryptography - PKC 2023, Atlanta, GA, United States, 2023, vol. 13940, pp. 530–553.","mla":"Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” Public-Key Cryptography - PKC 2023, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:10.1007/978-3-031-31368-4_19.","short":"C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.","chicago":"Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.” In Public-Key Cryptography - PKC 2023, 13940:530–53. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-31368-4_19."},"page":"530-553","day":"02","article_processing_charge":"No","scopus_import":"1","oa_version":"Submitted Version","_id":"13143","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Certifying giant nonprimes","status":"public","intvolume":" 13940","abstract":[{"lang":"eng","text":"GIMPS and PrimeGrid are large-scale distributed projects dedicated to searching giant prime numbers, usually of special forms like Mersenne and Proth primes. The numbers in the current search-space are millions of digits large and the participating volunteers need to run resource-consuming primality tests. Once a candidate prime N has been found, the only way for another party to independently verify the primality of N used to be by repeating the expensive primality test. To avoid the need for second recomputation of each primality test, these projects have recently adopted certifying mechanisms that enable efficient verification of performed tests. However, the mechanisms presently in place only detect benign errors and there is no guarantee against adversarial behavior: a malicious volunteer can mislead the project to reject a giant prime as being non-prime.\r\nIn this paper, we propose a practical, cryptographically-sound mechanism for certifying the non-primality of Proth numbers. That is, a volunteer can – parallel to running the primality test for N – generate an efficiently verifiable proof at a little extra cost certifying that N is not prime. The interactive protocol has statistical soundness and can be made non-interactive using the Fiat-Shamir heuristic.\r\nOur approach is based on a cryptographic primitive called Proof of Exponentiation (PoE) which, for a group G, certifies that a tuple (x,y,T)∈G2×N satisfies x2T=y (Pietrzak, ITCS 2019 and Wesolowski, J. Cryptol. 2020). In particular, we show how to adapt Pietrzak’s PoE at a moderate additional cost to make it a cryptographically-sound certificate of non-primality."}],"type":"conference","alternative_title":["LNCS"]},{"publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783031308222"]},"month":"04","doi":"10.1007/978-3-031-30823-9_1","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","end_date":"2023-04-27","location":"Paris, France","start_date":"2023-04-22"},"language":[{"iso":"eng"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"project":[{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"},{"name":"International IST Doctoral Program","call_identifier":"H2020","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","ec_funded":1,"file_date_updated":"2023-06-19T08:29:30Z","author":[{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","first_name":"Thomas A","last_name":"Henzinger"},{"full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","last_name":"Lechner","first_name":"Mathias"},{"full_name":"Zikelic, Dorde","last_name":"Zikelic","first_name":"Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87"}],"volume":13993,"date_created":"2023-06-18T22:00:47Z","date_updated":"2023-06-19T08:30:54Z","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093, ERC CoG 863818 (FoRM-SMArt) and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.","year":"2023","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"publisher":"Springer Nature","publication_status":"published","has_accepted_license":"1","article_processing_charge":"No","day":"22","scopus_import":"1","date_published":"2023-04-22T00:00:00Z","citation":{"chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” In Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30823-9_1.","short":"K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.","mla":"Chatterjee, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” Tools and Algorithms for the Construction and Analysis of Systems , vol. 13993, Springer Nature, 2023, pp. 3–25, doi:10.1007/978-3-031-30823-9_1.","ieee":"K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “A learner-verifier framework for neural network controllers and certificates of stochastic systems,” in Tools and Algorithms for the Construction and Analysis of Systems , Paris, France, 2023, vol. 13993, pp. 3–25.","apa":"Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1","ista":"Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. A learner-verifier framework for neural network controllers and certificates of stochastic systems. Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 3–25.","ama":"Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1"},"publication":"Tools and Algorithms for the Construction and Analysis of Systems ","page":"3-25","abstract":[{"text":"Reinforcement learning has received much attention for learning controllers of deterministic systems. We consider a learner-verifier framework for stochastic control systems and survey recent methods that formally guarantee a conjunction of reachability and safety properties. Given a property and a lower bound on the probability of the property being satisfied, our framework jointly learns a control policy and a formal certificate to ensure the satisfaction of the property with a desired probability threshold. Both the control policy and the formal certificate are continuous functions from states to reals, which are learned as parameterized neural networks. While in the deterministic case, the certificates are invariant and barrier functions for safety, or Lyapunov and ranking functions for liveness, in the stochastic case the certificates are supermartingales. For certificate verification, we use interval arithmetic abstract interpretation to bound the expected values of neural network functions.","lang":"eng"}],"type":"conference","alternative_title":["LNCS"],"oa_version":"Published Version","file":[{"file_id":"13150","relation":"main_file","date_updated":"2023-06-19T08:29:30Z","date_created":"2023-06-19T08:29:30Z","success":1,"checksum":"3d8a8bb24d211bc83360dfc2fd744307","file_name":"2023_LNCS_Chatterjee.pdf","access_level":"open_access","creator":"dernst","file_size":528455,"content_type":"application/pdf"}],"_id":"13142","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 13993","status":"public","title":"A learner-verifier framework for neural network controllers and certificates of stochastic systems","ddc":["000"]},{"language":[{"iso":"eng"}],"conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","start_date":"2023-04-22","location":"Paris, France","end_date":"2023-04-27"},"doi":"10.1007/978-3-031-30820-8_15","quality_controlled":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"month":"04","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783031308192"]},"date_updated":"2023-06-19T08:49:46Z","date_created":"2023-06-18T22:00:47Z","volume":13994,"author":[{"last_name":"Anand","first_name":"Ashwani","full_name":"Anand, Ashwani"},{"last_name":"Mallik","first_name":"Kaushik","orcid":"0000-0001-9864-7475","id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","full_name":"Mallik, Kaushik"},{"full_name":"Nayak, Satya Prakash","first_name":"Satya Prakash","last_name":"Nayak"},{"last_name":"Schmuck","first_name":"Anne Kathrin","full_name":"Schmuck, Anne Kathrin"}],"publication_status":"published","publisher":"Springer Nature","department":[{"_id":"ToHe"}],"year":"2023","file_date_updated":"2023-06-19T08:43:21Z","date_published":"2023-04-20T00:00:00Z","page":"211-228","publication":"TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems","citation":{"chicago":"Anand, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30820-8_15.","short":"A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.","mla":"Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 211–28, doi:10.1007/978-3-031-30820-8_15.","apa":"Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15","ieee":"A. Anand, K. Mallik, S. P. Nayak, and A. K. Schmuck, “Computing adequately permissive assumptions for synthesis,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 211–228.","ista":"Anand A, Mallik K, Nayak SP, Schmuck AK. 2023. Computing adequately permissive assumptions for synthesis. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 211–228.","ama":"Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi:10.1007/978-3-031-30820-8_15"},"day":"20","article_processing_charge":"No","has_accepted_license":"1","scopus_import":"1","file":[{"file_id":"13151","relation":"main_file","date_updated":"2023-06-19T08:43:21Z","date_created":"2023-06-19T08:43:21Z","success":1,"checksum":"60dcafc1b4f6f070be43bad3fe877974","file_name":"2023_LNCS_Anand.pdf","access_level":"open_access","creator":"dernst","content_type":"application/pdf","file_size":521425}],"oa_version":"Published Version","status":"public","ddc":["000"],"title":"Computing adequately permissive assumptions for synthesis","intvolume":" 13994","_id":"13141","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"We automatically compute a new class of environment assumptions in two-player turn-based finite graph games which characterize an “adequate cooperation” needed from the environment to allow the system player to win. Given an ω-regular winning condition Φ for the system player, we compute an ω-regular assumption Ψ for the environment player, such that (i) every environment strategy compliant with Ψ allows the system to fulfill Φ (sufficiency), (ii) Ψ\r\n can be fulfilled by the environment for every strategy of the system (implementability), and (iii) Ψ does not prevent any cooperative strategy choice (permissiveness).\r\nFor parity games, which are canonical representations of ω-regular games, we present a polynomial-time algorithm for the symbolic computation of adequately permissive assumptions and show that our algorithm runs faster and produces better assumptions than existing approaches—both theoretically and empirically. To the best of our knowledge, for ω\r\n-regular games, we provide the first algorithm to compute sufficient and implementable environment assumptions that are also permissive.","lang":"eng"}],"alternative_title":["LNCS"],"type":"conference"},{"citation":{"chicago":"Pokusaeva, Victoria. “Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12826.","mla":"Pokusaeva, Victoria. Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12826.","short":"V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.","ista":"Pokusaeva V. 2023. Neural control of optic flow-based navigation in Drosophila melanogaster. Institute of Science and Technology Austria.","apa":"Pokusaeva, V. (2023). Neural control of optic flow-based navigation in Drosophila melanogaster. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12826","ieee":"V. Pokusaeva, “Neural control of optic flow-based navigation in Drosophila melanogaster,” Institute of Science and Technology Austria, 2023.","ama":"Pokusaeva V. Neural control of optic flow-based navigation in Drosophila melanogaster. 2023. doi:10.15479/at:ista:12826"},"page":"106","date_published":"2023-04-18T00:00:00Z","day":"18","has_accepted_license":"1","article_processing_charge":"No","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"12826","ddc":["570","571"],"status":"public","title":"Neural control of optic flow-based navigation in Drosophila melanogaster","oa_version":"Published Version","file":[{"relation":"source_file","file_id":"12857","date_created":"2023-04-20T09:14:38Z","date_updated":"2023-04-20T09:26:51Z","checksum":"5f589a9af025f7eeebfd0c186209913e","file_name":"Thesis_Pokusaeva.docx","access_level":"closed","file_size":14507243,"content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"vpokusae"},{"file_size":10090711,"content_type":"application/pdf","creator":"vpokusae","access_level":"open_access","file_name":"Thesis_Pokusaeva.pdf","checksum":"bbeed76db45a996b4c91a9abe12ce0ec","success":1,"date_created":"2023-04-20T09:14:44Z","date_updated":"2023-04-20T09:14:44Z","relation":"main_file","file_id":"12858"}],"type":"dissertation","alternative_title":["ISTA Thesis"],"abstract":[{"text":"During navigation, animals can infer the structure of the environment by computing the optic flow cues elicited by their own movements, and subsequently use this information to instruct proper locomotor actions. These computations require a panoramic assessment of the visual environment in order to disambiguate similar sensory experiences that may require distinct behavioral responses. The estimation of the global motion patterns is therefore essential for successful navigation. Yet, our understanding of the algorithms and implementations that enable coherent panoramic visual perception remains scarce. Here I pursue this problem by dissecting the functional aspects of interneuronal communication in the lobula plate tangential cell network in Drosophila melanogaster. The results presented in the thesis demonstrate that the basis for effective interpretation of the optic flow in this circuit are stereotyped synaptic connections that mediate the formation of distinct subnetworks, each extracting a particular pattern of global motion. \r\nFirstly, I show that gap junctions are essential for a correct interpretation of binocular motion cues by horizontal motion-sensitive cells. HS cells form electrical synapses with contralateral H2 neurons that are involved in detecting yaw rotation and translation. I developed an FlpStop-mediated mutant of a gap junction protein ShakB that disrupts these electrical synapses. While the loss of electrical synapses does not affect the tuning of the direction selectivity in HS neurons, it severely alters their sensitivity to horizontal motion in the contralateral side. These physiological changes result in an inappropriate integration of binocular motion cues in walking animals. While wild-type flies form a binocular perception of visual motion by non-linear integration of monocular optic flow cues, the mutant flies sum the monocular inputs linearly. These results indicate that rather than averaging signals in neighboring neurons, gap-junctions operate in conjunction with chemical synapses to mediate complex non-linear optic flow computations.\r\nSecondly, I show that stochastic manipulation of neuronal activity in the lobula plate tangential cell network is a powerful approach to study the neuronal implementation of optic flow-based navigation in flies. Tangential neurons form multiple subnetworks, each mediating course-stabilizing response to a particular global pattern of visual motion. Application of genetic mosaic techniques can provide sparse optogenetic activation of HS cells in numerous combinations. These distinct combinations of activated neurons drive an array of distinct behavioral responses, providing important insights into how visuomotor transformation is performed in the lobula plate tangential cell network. This approach can be complemented by stochastic silencing of tangential neurons, enabling direct assessment of the functional role of individual tangential neurons in the processing of specific visual motion patterns.\r\n\tTaken together, the findings presented in this thesis suggest that establishing specific activity patterns of tangential cells via stereotyped synaptic connectivity is a key to efficient optic flow-based navigation in Drosophila melanogaster.","lang":"eng"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","name":"International IST Doctoral Program","call_identifier":"H2020"}],"doi":"10.15479/at:ista:12826","degree_awarded":"PhD","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"supervisor":[{"full_name":"Jösch, Maximilian A","first_name":"Maximilian A","last_name":"Jösch","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3937-1330"}],"language":[{"iso":"eng"}],"month":"04","publication_identifier":{"issn":["2663 - 337X"]},"year":"2023","publication_status":"published","department":[{"_id":"MaJö"},{"_id":"GradSch"}],"publisher":"Institute of Science and Technology Austria","author":[{"last_name":"Pokusaeva","first_name":"Victoria","orcid":"0000-0001-7660-444X","id":"3184041C-F248-11E8-B48F-1D18A9856A87","full_name":"Pokusaeva, Victoria"}],"date_updated":"2023-06-23T09:47:36Z","date_created":"2023-04-14T14:56:04Z","file_date_updated":"2023-04-20T09:26:51Z","ec_funded":1},{"article_type":"original","page":"277-295","publication":"Algorithmica","citation":{"ista":"Edelsbrunner H, Osang GF. 2023. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 85, 277–295.","apa":"Edelsbrunner, H., & Osang, G. F. (2023). A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. Springer Nature. https://doi.org/10.1007/s00453-022-01027-6","ieee":"H. Edelsbrunner and G. F. Osang, “A simple algorithm for higher-order Delaunay mosaics and alpha shapes,” Algorithmica, vol. 85. Springer Nature, pp. 277–295, 2023.","ama":"Edelsbrunner H, Osang GF. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 2023;85:277-295. doi:10.1007/s00453-022-01027-6","chicago":"Edelsbrunner, Herbert, and Georg F Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.” Algorithmica. Springer Nature, 2023. https://doi.org/10.1007/s00453-022-01027-6.","mla":"Edelsbrunner, Herbert, and Georg F. Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.” Algorithmica, vol. 85, Springer Nature, 2023, pp. 277–95, doi:10.1007/s00453-022-01027-6.","short":"H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295."},"date_published":"2023-01-01T00:00:00Z","scopus_import":"1","day":"01","has_accepted_license":"1","article_processing_charge":"Yes (via OA deal)","ddc":["510"],"status":"public","title":"A simple algorithm for higher-order Delaunay mosaics and alpha shapes","intvolume":" 85","_id":"12086","user_id":"2EBD1598-F248-11E8-B48F-1D18A9856A87","oa_version":"Published Version","file":[{"content_type":"application/pdf","file_size":911017,"creator":"dernst","access_level":"open_access","file_name":"2023_Algorithmica_Edelsbrunner.pdf","checksum":"71685ca5121f4c837f40c3f8eb50c915","success":1,"date_created":"2023-01-20T10:02:48Z","date_updated":"2023-01-20T10:02:48Z","relation":"main_file","file_id":"12322"}],"type":"journal_article","abstract":[{"text":"We present a simple algorithm for computing higher-order Delaunay mosaics that works in Euclidean spaces of any finite dimensions. The algorithm selects the vertices of the order-k mosaic from incrementally constructed lower-order mosaics and uses an algorithm for weighted first-order Delaunay mosaics as a black-box to construct the order-k mosaic from its vertices. Beyond this black-box, the algorithm uses only combinatorial operations, thus facilitating easy implementation. We extend this algorithm to compute higher-order α-shapes and provide open-source implementations. We present experimental results for properties of higher-order Delaunay mosaics of random point sets.","lang":"eng"}],"quality_controlled":"1","isi":1,"project":[{"call_identifier":"H2020","name":"Alpha Shape Theory Extended","grant_number":"788183","_id":"266A2E9E-B435-11E9-9278-68D0E5697425"},{"grant_number":"Z00342","_id":"268116B8-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"The Wittgenstein Prize"},{"call_identifier":"FWF","name":"Persistence and stability of geometric complexes","grant_number":"I02979-N35","_id":"2561EBF4-B435-11E9-9278-68D0E5697425"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000846967100001"]},"language":[{"iso":"eng"}],"doi":"10.1007/s00453-022-01027-6","month":"01","publication_identifier":{"issn":["0178-4617"],"eissn":["1432-0541"]},"publication_status":"published","department":[{"_id":"HeEd"}],"publisher":"Springer Nature","year":"2023","acknowledgement":"Open access funding provided by Austrian Science Fund (FWF). This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, Grant No. 788183, from the Wittgenstein Prize, Austrian Science Fund (FWF), Grant No. Z 342-N31, and from the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, Austrian Science Fund (FWF), Grant No. I 02979-N35.","date_updated":"2023-06-27T12:53:43Z","date_created":"2022-09-11T22:01:57Z","volume":85,"author":[{"full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833","first_name":"Herbert","last_name":"Edelsbrunner"},{"first_name":"Georg F","last_name":"Osang","id":"464B40D6-F248-11E8-B48F-1D18A9856A87","full_name":"Osang, Georg F"}],"file_date_updated":"2023-01-20T10:02:48Z","ec_funded":1},{"publication_identifier":{"issn":["1424-3199"],"eissn":["1424-3202"]},"month":"01","oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000906214600004"]},"project":[{"grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","name":"Taming Complexity in Partial Differential Systems"},{"_id":"256E75B8-B435-11E9-9278-68D0E5697425","grant_number":"716117","name":"Optimal Transport and Stochastic Dynamics","call_identifier":"H2020"},{"grant_number":"E208","_id":"34dbf174-11ca-11ed-8bc3-afe9d43d4b9c","name":"Configuration Spaces over Non-Smooth Spaces"},{"_id":"34c6ea2d-11ca-11ed-8bc3-c04f3c502833","grant_number":"ESP156_N","name":"Gradient flow techniques for quantum Markov semigroups"}],"quality_controlled":"1","isi":1,"doi":"10.1007/s00028-022-00859-7","language":[{"iso":"eng"}],"article_number":"9","ec_funded":1,"file_date_updated":"2023-01-20T10:45:06Z","year":"2023","acknowledgement":"Research supported by the Austrian Science Fund (FWF) grant F65 at the Institute of Science and Technology Austria and by the European Research Council (ERC) (Grant agreement No. 716117 awarded to Prof. Dr. Jan Maas). L.D.S. gratefully acknowledges funding of his current position by the Austrian Science Fund (FWF) through the ESPRIT Programme (Grant No. 208). M.W. gratefully acknowledges funding of his current position by the Austrian Science Fund (FWF) through the ESPRIT Programme (Grant No. 156).","publisher":"Springer Nature","department":[{"_id":"JaMa"}],"publication_status":"published","author":[{"full_name":"Dello Schiavo, Lorenzo","first_name":"Lorenzo","last_name":"Dello Schiavo","id":"ECEBF480-9E4F-11EA-B557-B0823DDC885E","orcid":"0000-0002-9881-6870"},{"first_name":"Melchior","last_name":"Wirth","id":"88644358-0A0E-11EA-8FA5-49A33DDC885E","orcid":"0000-0002-0519-4241","full_name":"Wirth, Melchior"}],"volume":23,"date_created":"2023-01-08T23:00:53Z","date_updated":"2023-06-28T11:54:35Z","scopus_import":"1","article_processing_charge":"Yes (via OA deal)","has_accepted_license":"1","day":"01","citation":{"ista":"Dello Schiavo L, Wirth M. 2023. Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. 23(1), 9.","apa":"Dello Schiavo, L., & Wirth, M. (2023). Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. Springer Nature. https://doi.org/10.1007/s00028-022-00859-7","ieee":"L. Dello Schiavo and M. Wirth, “Ergodic decompositions of Dirichlet forms under order isomorphisms,” Journal of Evolution Equations, vol. 23, no. 1. Springer Nature, 2023.","ama":"Dello Schiavo L, Wirth M. Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. 2023;23(1). doi:10.1007/s00028-022-00859-7","chicago":"Dello Schiavo, Lorenzo, and Melchior Wirth. “Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms.” Journal of Evolution Equations. Springer Nature, 2023. https://doi.org/10.1007/s00028-022-00859-7.","mla":"Dello Schiavo, Lorenzo, and Melchior Wirth. “Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms.” Journal of Evolution Equations, vol. 23, no. 1, 9, Springer Nature, 2023, doi:10.1007/s00028-022-00859-7.","short":"L. Dello Schiavo, M. Wirth, Journal of Evolution Equations 23 (2023)."},"publication":"Journal of Evolution Equations","article_type":"original","date_published":"2023-01-01T00:00:00Z","type":"journal_article","issue":"1","abstract":[{"text":"We study ergodic decompositions of Dirichlet spaces under intertwining via unitary order isomorphisms. We show that the ergodic decomposition of a quasi-regular Dirichlet space is unique up to a unique isomorphism of the indexing space. Furthermore, every unitary order isomorphism intertwining two quasi-regular Dirichlet spaces is decomposable over their ergodic decompositions up to conjugation via an isomorphism of the corresponding indexing spaces.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12104","intvolume":" 23","title":"Ergodic decompositions of Dirichlet forms under order isomorphisms","ddc":["510"],"status":"public","oa_version":"Published Version","file":[{"file_id":"12325","relation":"main_file","success":1,"checksum":"1f34f3e2cb521033de6154f274ea3a4e","date_created":"2023-01-20T10:45:06Z","date_updated":"2023-01-20T10:45:06Z","access_level":"open_access","file_name":"2023_JourEvolutionEquations_DelloSchiavo.pdf","creator":"dernst","content_type":"application/pdf","file_size":422612}]},{"article_processing_charge":"No","day":"01","scopus_import":"1","date_published":"2023-01-01T00:00:00Z","page":"427-442","article_type":"original","citation":{"apa":"GOSWAMI, B. B. (2023). Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. Springer Nature. https://doi.org/10.1007/s00382-022-06337-7","ieee":"B. B. GOSWAMI, “Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend,” Climate Dynamics, vol. 60. Springer Nature, pp. 427–442, 2023.","ista":"GOSWAMI BB. 2023. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 60, 427–442.","ama":"GOSWAMI BB. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 2023;60:427-442. doi:10.1007/s00382-022-06337-7","chicago":"GOSWAMI, BIDYUT B. “Role of the Eastern Equatorial Indian Ocean Warming in the Indian Summer Monsoon Rainfall Trend.” Climate Dynamics. Springer Nature, 2023. https://doi.org/10.1007/s00382-022-06337-7.","short":"B.B. GOSWAMI, Climate Dynamics 60 (2023) 427–442.","mla":"GOSWAMI, BIDYUT B. “Role of the Eastern Equatorial Indian Ocean Warming in the Indian Summer Monsoon Rainfall Trend.” Climate Dynamics, vol. 60, Springer Nature, 2023, pp. 427–42, doi:10.1007/s00382-022-06337-7."},"publication":"Climate Dynamics","abstract":[{"lang":"eng","text":"The Indian summer monsoon rainfall (ISMR) has been declining since the 1950s. However, since 2002 it is reported to have revived. For these observed changes in the ISMR, several explanations have been reported. Among these explanations, however, the role of the eastern equatorial Indian Ocean (EEIO) is missing despite being one of the warmest regions in the Indian Ocean, and monotonously warming. A recent study reported that EEIO warming impacts the rainfall over northern India. Here we report that warming in the EEIO weakens the low-level Indian summer monsoon circulation and reduces ISMR. A warm EEIO drives easterly winds in the Indo–Pacific sector as a Gill response. The warm EEIO also enhances nocturnal convection offshore the western coast of Sumatra. The latent heating associated with the increased convection augments the Gill response and the resultant circulation opposes the monsoon low-level circulation and weakens the seasonal rainfall."}],"type":"journal_article","oa_version":"None","intvolume":" 60","title":"Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend","status":"public","_id":"11434","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["0930-7575"],"eissn":["1432-0894"]},"month":"01","language":[{"iso":"eng"}],"doi":"10.1007/s00382-022-06337-7","isi":1,"quality_controlled":"1","external_id":{"isi":["000803119400002"]},"volume":60,"date_updated":"2023-06-28T11:49:58Z","date_created":"2022-06-05T22:01:50Z","related_material":{"link":[{"url":" https://doi.org/10.1007/s00382-022-06401-2","relation":"erratum"}]},"author":[{"id":"3a4ac09c-6d61-11ec-bf66-884cde66b64b","last_name":"Goswami","first_name":"Bidyut B","full_name":"Goswami, Bidyut B"}],"department":[{"_id":"CaMu"}],"publisher":"Springer Nature","publication_status":"published","acknowledgement":"This work was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIT) (NRF-2018R1A5A1024958). Model simulation and data transfer were supported by the National Supercomputing Center with supercomputing resources including technical support (KSC-2019-CHA-0005), the National Center for Meteorological Supercomputer of Korea Meteorological Administration, and by the Korea Research Environment Open NETwork (KREONET), respectively. The authors declare no conflicts of interest.","year":"2023"},{"ec_funded":1,"file_date_updated":"2023-06-19T10:28:09Z","author":[{"last_name":"Henzinger","first_name":"Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"full_name":"Mazzocchi, Nicolas Adrien","first_name":"Nicolas Adrien","last_name":"Mazzocchi","id":"b26baa86-3308-11ec-87b0-8990f34baa85"},{"last_name":"Sarac","first_name":"Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","full_name":"Sarac, Naci E"}],"volume":13992,"date_updated":"2023-07-14T11:20:27Z","date_created":"2023-01-31T07:23:56Z","year":"2023","acknowledgement":"We thank the anonymous reviewers for their helpful comments. This work was supported in part by the ERC-2020-AdG 101020093.","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"publisher":"Springer Nature","publication_status":"published","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783031308284"]},"month":"04","doi":"10.1007/978-3-031-30829-1_17","conference":{"name":"FOSSACS: Foundations of Software Science and Computation Structures","end_date":"2023-04-27","location":"Paris, France","start_date":"2023-04-22"},"language":[{"iso":"eng"}],"external_id":{"arxiv":["2301.11175"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"project":[{"call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"quality_controlled":"1","abstract":[{"text":"Safety and liveness are elementary concepts of computation, and the foundation of many verification paradigms. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an infinite computation trace (always for safety, never for liveness). In quantitative specification and verification, properties assign not truth values, but quantitative values to infinite traces (e.g., a cost, or the distance to a boolean property). We introduce quantitative safety and liveness, and we prove that our definitions induce conservative quantitative generalizations of both (1)~the safety-progress hierarchy of boolean properties and (2)~the safety-liveness decomposition of boolean properties. In particular, we show that every quantitative property can be written as the pointwise minimum of a quantitative safety property and a quantitative liveness property. Consequently, like boolean properties, also quantitative properties can be min-decomposed into safety and liveness parts, or alternatively, max-decomposed into co-safety and co-liveness parts. Moreover, quantitative properties can be approximated naturally. We prove that every quantitative property that has both safe and co-safe approximations can be monitored arbitrarily precisely by a monitor that uses only a finite number of states.","lang":"eng"}],"type":"conference","alternative_title":["LNCS"],"oa_version":"Published Version","file":[{"file_name":"qsl.pdf","access_level":"open_access","file_size":449027,"content_type":"application/pdf","creator":"esarac","relation":"main_file","file_id":"12468","date_created":"2023-01-31T07:22:21Z","date_updated":"2023-01-31T07:22:21Z","checksum":"981025aed580b6b27c426cb8856cf63e","success":1},{"success":1,"checksum":"f16e2af1e0eb243158ab0f0fe74e7d5a","date_updated":"2023-06-19T10:28:09Z","date_created":"2023-06-19T10:28:09Z","file_id":"13153","relation":"main_file","creator":"dernst","content_type":"application/pdf","file_size":1048171,"access_level":"open_access","file_name":"2023_LNCS_HenzingerT.pdf"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","_id":"12467","intvolume":" 13992","status":"public","ddc":["000"],"title":"Quantitative safety and liveness","has_accepted_license":"1","article_processing_charge":"No","day":"21","scopus_import":"1","date_published":"2023-04-21T00:00:00Z","citation":{"chicago":"Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.” In 26th International Conference Foundations of Software Science and Computation Structures, 13992:349–70. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30829-1_17.","short":"T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.","mla":"Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.","apa":"Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17","ieee":"T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in 26th International Conference Foundations of Software Science and Computation Structures, Paris, France, 2023, vol. 13992, pp. 349–370.","ista":"Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.","ama":"Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17"},"publication":"26th International Conference Foundations of Software Science and Computation Structures","page":"349-370"},{"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"quality_controlled":"1","doi":"10.1145/3591230","language":[{"iso":"eng"}],"publication_identifier":{"eissn":["2475-1421"]},"month":"06","year":"2023","department":[{"_id":"DaAl"}],"publisher":"Association for Computing Machinery ","publication_status":"published","author":[{"id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","last_name":"Koval","first_name":"Nikita","full_name":"Koval, Nikita"},{"full_name":"Khalanskiy, Dmitry","first_name":"Dmitry","last_name":"Khalanskiy"},{"last_name":"Alistarh","first_name":"Dan-Adrian","orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian"}],"volume":7,"date_updated":"2023-07-17T08:43:19Z","date_created":"2023-07-02T22:00:43Z","article_number":"116","file_date_updated":"2023-07-03T13:09:39Z","citation":{"mla":"Koval, Nikita, et al. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages, vol. 7, 116, Association for Computing Machinery , 2023, doi:10.1145/3591230.","short":"N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).","chicago":"Koval, Nikita, Dmitry Khalanskiy, and Dan-Adrian Alistarh. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery , 2023. https://doi.org/10.1145/3591230.","ama":"Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230","ista":"Koval N, Khalanskiy D, Alistarh D-A. 2023. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 7, 116.","ieee":"N. Koval, D. Khalanskiy, and D.-A. Alistarh, “CQS: A formally-verified framework for fair and abortable synchronization,” Proceedings of the ACM on Programming Languages, vol. 7. Association for Computing Machinery , 2023.","apa":"Koval, N., Khalanskiy, D., & Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery . https://doi.org/10.1145/3591230"},"publication":"Proceedings of the ACM on Programming Languages","article_type":"original","date_published":"2023-06-06T00:00:00Z","scopus_import":"1","has_accepted_license":"1","article_processing_charge":"No","day":"06","_id":"13179","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 7","status":"public","title":"CQS: A formally-verified framework for fair and abortable synchronization","ddc":["000"],"oa_version":"Published Version","file":[{"access_level":"open_access","file_name":"2023_ACMProgram.Lang._Koval.pdf","creator":"alisjak","file_size":1266773,"content_type":"application/pdf","file_id":"13187","relation":"main_file","success":1,"checksum":"5dba6e73f0ed79adbdae14d165bc2f68","date_created":"2023-07-03T13:09:39Z","date_updated":"2023-07-03T13:09:39Z"}],"type":"journal_article","abstract":[{"text":"Writing concurrent code that is both correct and efficient is notoriously difficult. Thus, programmers often prefer to use synchronization abstractions, which render code simpler and easier to reason about. Despite a wealth of work on this topic, there is still a gap between the rich semantics provided by synchronization abstractions in modern programming languages—specifically, fair FIFO ordering of synchronization requests and support for abortable operations—and frameworks for implementing it correctly and efficiently. Supporting such semantics is critical given the rising popularity of constructs for asynchronous programming, such as coroutines, which abort frequently and are cheaper to suspend and resume compared to native threads.\r\n\r\nThis paper introduces a new framework called CancellableQueueSynchronizer (CQS), which enables simple yet efficient implementations of a wide range of fair and abortable synchronization primitives: mutexes, semaphores, barriers, count-down latches, and blocking pools. Our main contribution is algorithmic, as implementing both fairness and abortability efficiently at this level of generality is non-trivial. Importantly, all our algorithms, including the CQS framework and the primitives built on top of it, come with formal proofs in the Iris framework for Coq for many of their properties. These proofs are modular, so it is easy to show correctness for new primitives implemented on top of CQS. From a practical perspective, implementation of CQS for native threads on the JVM improves throughput by up to two orders of magnitude over Java’s AbstractQueuedSynchronizer, the only practical abstraction offering similar semantics. Further, we successfully integrated CQS as a core component of the popular Kotlin Coroutines library, validating the framework’s practical impact and expressiveness in a real-world environment. In sum, CancellableQueueSynchronizer is the first framework to combine expressiveness with formal guarantees and solid practical performance. Our approach should be extensible to other languages and families of synchronization primitives.","lang":"eng"}]},{"oa_version":"Preprint","_id":"13180","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","title":"Local solubility for a family of quadrics over a split quadric surface","intvolume":" 16","abstract":[{"lang":"eng","text":"We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface"}],"issue":"2","type":"journal_article","date_published":"2023-05-26T00:00:00Z","publication":"Involve","citation":{"mla":"Browning, Timothy D., et al. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve, vol. 16, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–42, doi:10.2140/involve.2023.16.331.","short":"T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.","chicago":"Browning, Timothy D, Julian Lyczak, and Roman Sarapin. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/involve.2023.16.331.","ama":"Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. Involve. 2023;16(2):331-342. doi:10.2140/involve.2023.16.331","ista":"Browning TD, Lyczak J, Sarapin R. 2023. Local solubility for a family of quadrics over a split quadric surface. Involve. 16(2), 331–342.","apa":"Browning, T. D., Lyczak, J., & Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers. https://doi.org/10.2140/involve.2023.16.331","ieee":"T. D. Browning, J. Lyczak, and R. Sarapin, “Local solubility for a family of quadrics over a split quadric surface,” Involve, vol. 16, no. 2. Mathematical Sciences Publishers, pp. 331–342, 2023."},"article_type":"original","page":"331-342","day":"26","article_processing_charge":"No","scopus_import":"1","author":[{"orcid":"0000-0002-8314-0177","id":"35827D50-F248-11E8-B48F-1D18A9856A87","last_name":"Browning","first_name":"Timothy D","full_name":"Browning, Timothy D"},{"id":"3572849A-F248-11E8-B48F-1D18A9856A87","first_name":"Julian","last_name":"Lyczak","full_name":"Lyczak, Julian"},{"last_name":"Sarapin","first_name":"Roman","full_name":"Sarapin, Roman"}],"date_created":"2023-07-02T22:00:43Z","date_updated":"2023-07-17T08:39:19Z","volume":16,"year":"2023","publication_status":"published","department":[{"_id":"TiBr"}],"publisher":"Mathematical Sciences Publishers","doi":"10.2140/involve.2023.16.331","language":[{"iso":"eng"}],"external_id":{"arxiv":["2203.06881"]},"oa":1,"main_file_link":[{"url":"https://arxiv.org/abs/2203.06881","open_access":"1"}],"quality_controlled":"1","month":"05","publication_identifier":{"issn":["1944-4176"],"eissn":["1944-4184"]}}]