[{"conference":{"location":"Virtual ; Addis Ababa, Ethiopia","end_date":"2020-05-01","start_date":"2020-04-26","name":"ICLR: International Conference on Learning Representations"},"license":"https://creativecommons.org/licenses/by-nc-nd/3.0/","year":"2020","month":"03","date_published":"2020-03-11T00:00:00Z","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23\r\n(Wittgenstein Award).\r\n","date_updated":"2023-04-03T07:33:40Z","oa":1,"main_file_link":[{"open_access":"1","url":"https://openreview.net/forum?id=Bke61krFvS"}],"publication":"8th International Conference on Learning Representations","oa_version":"Published Version","ddc":["000"],"tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (3.0)"},"date_created":"2022-01-25T15:50:00Z","day":"11","status":"public","article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"language":[{"iso":"eng"}],"has_accepted_license":"1","publisher":"ICLR","file":[{"success":1,"file_name":"iclr_2020.pdf","date_updated":"2022-01-26T07:35:17Z","date_created":"2022-01-26T07:35:17Z","file_id":"10677","content_type":"application/pdf","file_size":249431,"creator":"mlechner","access_level":"open_access","relation":"main_file","checksum":"ea13d42dd4541ddb239b6a75821fd6c9"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","first_name":"Mathias","last_name":"Lechner"}],"title":"Learning representations for binary-classification without backpropagation","project":[{"name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF"}],"publication_status":"published","citation":{"chicago":"Lechner, Mathias. “Learning Representations for Binary-Classification without Backpropagation.” In <i>8th International Conference on Learning Representations</i>. ICLR, 2020.","ieee":"M. Lechner, “Learning representations for binary-classification without backpropagation,” in <i>8th International Conference on Learning Representations</i>, Virtual ; Addis Ababa, Ethiopia, 2020.","short":"M. Lechner, in:, 8th International Conference on Learning Representations, ICLR, 2020.","ista":"Lechner M. 2020. Learning representations for binary-classification without backpropagation. 8th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.","ama":"Lechner M. Learning representations for binary-classification without backpropagation. In: <i>8th International Conference on Learning Representations</i>. ICLR; 2020.","mla":"Lechner, Mathias. “Learning Representations for Binary-Classification without Backpropagation.” <i>8th International Conference on Learning Representations</i>, ICLR, 2020.","apa":"Lechner, M. (2020). Learning representations for binary-classification without backpropagation. In <i>8th International Conference on Learning Representations</i>. Virtual ; Addis Ababa, Ethiopia: ICLR."},"file_date_updated":"2022-01-26T07:35:17Z","type":"conference","abstract":[{"text":"The family of feedback alignment (FA) algorithms aims to provide a more biologically motivated alternative to backpropagation (BP), by substituting the computations that are unrealistic to be implemented in physical brains. While FA algorithms have been shown to work well in practice, there is a lack of rigorous theory proofing their learning capabilities. Here we introduce the first feedback alignment algorithm with provable learning guarantees. In contrast to existing work, we do not require any assumption about the size or depth of the network except that it has a single output neuron, i.e., such as for binary classification tasks. We show that our FA algorithm can deliver its theoretical promises in practice, surpassing the learning performance of existing FA methods and matching backpropagation in binary classification tasks. Finally, we demonstrate the limits of our FA variant when the number of output neurons grows beyond a certain quantity.","lang":"eng"}],"scopus_import":"1","_id":"10672","quality_controlled":"1"},{"year":"2020","page":"4082-4093","series_title":"PMLR","conference":{"end_date":"2020-07-18","start_date":"2020-07-12","name":"ML: Machine Learning","location":"Virtual"},"date_updated":"2022-01-26T11:14:27Z","oa":1,"alternative_title":["PMLR"],"date_published":"2020-01-01T00:00:00Z","acknowledgement":"RH and RG are partially supported by Horizon-2020 ECSEL Project grant No. 783163 (iDev40), Productive 4.0, and ATBMBFW CPS-IoT Ecosystem. ML was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23\r\n(Wittgenstein Award). AA is supported by the National Science Foundation (NSF) Graduate Research Fellowship\r\nProgram. RH and DR are partially supported by The Boeing Company and JP Morgan Chase. This research work is\r\npartially drawn from the PhD dissertation of RH.\r\n","oa_version":"Published Version","publication":"Proceedings of the 37th International Conference on Machine Learning","main_file_link":[{"open_access":"1","url":"http://proceedings.mlr.press/v119/hasani20a.html"}],"date_created":"2022-01-25T15:50:34Z","tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (3.0)"},"ddc":["000"],"status":"public","language":[{"iso":"eng"}],"article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","title":"A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits","author":[{"first_name":"Ramin","last_name":"Hasani","full_name":"Hasani, Ramin"},{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","first_name":"Mathias","last_name":"Lechner","full_name":"Lechner, Mathias"},{"full_name":"Amini, Alexander","last_name":"Amini","first_name":"Alexander"},{"full_name":"Rus, Daniela","first_name":"Daniela","last_name":"Rus"},{"full_name":"Grosu, Radu","last_name":"Grosu","first_name":"Radu"}],"file":[{"file_name":"2020_PMLR_Hasani.pdf","success":1,"date_updated":"2022-01-26T11:08:51Z","date_created":"2022-01-26T11:08:51Z","creator":"cchlebak","file_size":2329798,"file_id":"10691","content_type":"application/pdf","access_level":"open_access","checksum":"c9a4a29161777fc1a89ef451c040e3b1","relation":"main_file"}],"has_accepted_license":"1","project":[{"grant_number":"Z211","call_identifier":"FWF","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","_id":"10673","quality_controlled":"1","citation":{"ama":"Hasani R, Lechner M, Amini A, Rus D, Grosu R. A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. In: <i>Proceedings of the 37th International Conference on Machine Learning</i>. PMLR. ; 2020:4082-4093.","ista":"Hasani R, Lechner M, Amini A, Rus D, Grosu R. 2020. A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. Proceedings of the 37th International Conference on Machine Learning. ML: Machine LearningPMLR, PMLR, , 4082–4093.","short":"R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–4093.","ieee":"R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits,” in <i>Proceedings of the 37th International Conference on Machine Learning</i>, Virtual, 2020, pp. 4082–4093.","chicago":"Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits.” In <i>Proceedings of the 37th International Conference on Machine Learning</i>, 4082–93. PMLR, 2020.","apa":"Hasani, R., Lechner, M., Amini, A., Rus, D., &#38; Grosu, R. (2020). A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. In <i>Proceedings of the 37th International Conference on Machine Learning</i> (pp. 4082–4093). Virtual.","mla":"Hasani, Ramin, et al. “A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits.” <i>Proceedings of the 37th International Conference on Machine Learning</i>, 2020, pp. 4082–93."},"publication_identifier":{"issn":["2640-3498"]},"scopus_import":"1","abstract":[{"lang":"eng","text":"We propose a neural information processing system obtained by re-purposing the function of a biological neural circuit model to govern simulated and real-world control tasks. Inspired by the structure of the nervous system of the soil-worm, C. elegans, we introduce ordinary neural circuits (ONCs), defined as the model of biological neural circuits reparameterized for the control of alternative tasks. We first demonstrate that ONCs realize networks with higher maximum flow compared to arbitrary wired networks. We then learn instances of ONCs to control a series of robotic tasks, including the autonomous parking of a real-world rover robot. For reconfiguration of the purpose of the neural circuit, we adopt a search-based optimization algorithm. Ordinary neural circuits perform on par and, in some cases, significantly surpass the performance of contemporary deep learning models. ONC networks are compact, 77% sparser than their counterpart neural controllers, and their neural dynamics are fully interpretable at the cell-level."}],"file_date_updated":"2022-01-26T11:08:51Z","type":"conference"},{"article_type":"original","language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"full_name":"Nickovic, Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","first_name":"Dejan","last_name":"Nickovic"},{"first_name":"Olivier","last_name":"Lebeltel","full_name":"Lebeltel, Olivier"},{"first_name":"Oded","last_name":"Maler","full_name":"Maler, Oded"},{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","last_name":"Ferrere","orcid":"0000-0001-5199-3143","full_name":"Ferrere, Thomas"},{"first_name":"Dogan","last_name":"Ulus","full_name":"Ulus, Dogan"}],"title":"AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic","publisher":"Springer Nature","publication_status":"published","quality_controlled":"1","_id":"10861","scopus_import":"1","abstract":[{"text":"We introduce in this paper AMT2.0, a tool for qualitative and quantitative analysis of hybrid continuous and Boolean signals that combine numerical values and discrete events. The evaluation of the signals is based on rich temporal specifications expressed in extended signal temporal logic, which integrates timed regular expressions within signal temporal logic. The tool features qualitative monitoring (property satisfaction checking), trace diagnostics for explaining and justifying property violations and specification-driven measurement of quantitative features of the signal. We demonstrate the tool functionality on several running examples and case studies, and evaluate its performance.","lang":"eng"}],"type":"journal_article","publication_identifier":{"eissn":["1433-2787"],"issn":["1433-2779"]},"citation":{"ama":"Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. <i>International Journal on Software Tools for Technology Transfer</i>. 2020;22(6):741-758. doi:<a href=\"https://doi.org/10.1007/s10009-020-00582-z\">10.1007/s10009-020-00582-z</a>","ieee":"D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic,” <i>International Journal on Software Tools for Technology Transfer</i>, vol. 22, no. 6. Springer Nature, pp. 741–758, 2020.","short":"D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.","ista":"Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2020. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. International Journal on Software Tools for Technology Transfer. 22(6), 741–758.","chicago":"Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.” <i>International Journal on Software Tools for Technology Transfer</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/s10009-020-00582-z\">https://doi.org/10.1007/s10009-020-00582-z</a>.","apa":"Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., &#38; Ulus, D. (2020). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. <i>International Journal on Software Tools for Technology Transfer</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s10009-020-00582-z\">https://doi.org/10.1007/s10009-020-00582-z</a>","mla":"Nickovic, Dejan, et al. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.” <i>International Journal on Software Tools for Technology Transfer</i>, vol. 22, no. 6, Springer Nature, 2020, pp. 741–58, doi:<a href=\"https://doi.org/10.1007/s10009-020-00582-z\">10.1007/s10009-020-00582-z</a>."},"year":"2020","external_id":{"isi":["000555398600001"]},"page":"741-758","issue":"6","keyword":["Information Systems","Software"],"date_updated":"2023-09-08T11:52:02Z","date_published":"2020-08-03T00:00:00Z","intvolume":"        22","month":"08","oa_version":"None","isi":1,"related_material":{"record":[{"id":"299","relation":"earlier_version","status":"public"}]},"publication":"International Journal on Software Tools for Technology Transfer","doi":"10.1007/s10009-020-00582-z","day":"03","status":"public","date_created":"2022-03-18T10:10:53Z","volume":22},{"publisher":"Elsevier","title":"Spectral rigidity for addition of random matrices at the regular edge","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"first_name":"Zhigang","id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","last_name":"Bao","orcid":"0000-0003-3036-1475","full_name":"Bao, Zhigang"},{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","last_name":"Erdös","orcid":"0000-0001-5366-9603","full_name":"Erdös, László"},{"last_name":"Schnelli","first_name":"Kevin","full_name":"Schnelli, Kevin"}],"article_processing_charge":"No","department":[{"_id":"LaEr"}],"language":[{"iso":"eng"}],"article_type":"original","citation":{"mla":"Bao, Zhigang, et al. “Spectral Rigidity for Addition of Random Matrices at the Regular Edge.” <i>Journal of Functional Analysis</i>, vol. 279, no. 7, 108639, Elsevier, 2020, doi:<a href=\"https://doi.org/10.1016/j.jfa.2020.108639\">10.1016/j.jfa.2020.108639</a>.","apa":"Bao, Z., Erdös, L., &#38; Schnelli, K. (2020). Spectral rigidity for addition of random matrices at the regular edge. <i>Journal of Functional Analysis</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jfa.2020.108639\">https://doi.org/10.1016/j.jfa.2020.108639</a>","chicago":"Bao, Zhigang, László Erdös, and Kevin Schnelli. “Spectral Rigidity for Addition of Random Matrices at the Regular Edge.” <i>Journal of Functional Analysis</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.jfa.2020.108639\">https://doi.org/10.1016/j.jfa.2020.108639</a>.","ista":"Bao Z, Erdös L, Schnelli K. 2020. Spectral rigidity for addition of random matrices at the regular edge. Journal of Functional Analysis. 279(7), 108639.","ieee":"Z. Bao, L. Erdös, and K. Schnelli, “Spectral rigidity for addition of random matrices at the regular edge,” <i>Journal of Functional Analysis</i>, vol. 279, no. 7. Elsevier, 2020.","short":"Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 279 (2020).","ama":"Bao Z, Erdös L, Schnelli K. Spectral rigidity for addition of random matrices at the regular edge. <i>Journal of Functional Analysis</i>. 2020;279(7). doi:<a href=\"https://doi.org/10.1016/j.jfa.2020.108639\">10.1016/j.jfa.2020.108639</a>"},"publication_identifier":{"issn":["0022-1236"]},"arxiv":1,"scopus_import":"1","abstract":[{"lang":"eng","text":"We consider the sum of two large Hermitian matrices A and B with a Haar unitary conjugation bringing them into a general relative position. We prove that the eigenvalue density on the scale slightly above the local eigenvalue spacing is asymptotically given by the free additive convolution of the laws of A and B as the dimension of the matrix increases. This implies optimal rigidity of the eigenvalues and optimal rate of convergence in Voiculescu's theorem. Our previous works [4], [5] established these results in the bulk spectrum, the current paper completely settles the problem at the spectral edges provided they have the typical square-root behavior. The key element of our proof is to compensate the deterioration of the stability of the subordination equations by sharp error estimates that properly account for the local density near the edge. Our results also hold if the Haar unitary matrix is replaced by the Haar orthogonal matrix."}],"type":"journal_article","_id":"10862","quality_controlled":"1","project":[{"_id":"258DCDE6-B435-11E9-9278-68D0E5697425","name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7","grant_number":"338804"}],"publication_status":"published","date_published":"2020-10-15T00:00:00Z","intvolume":"       279","month":"10","article_number":"108639","acknowledgement":"Partially supported by ERC Advanced Grant RANMAT No. 338804.","keyword":["Analysis"],"date_updated":"2023-08-24T14:08:42Z","oa":1,"issue":"7","external_id":{"isi":["000559623200009"],"arxiv":["1708.01597"]},"year":"2020","volume":279,"date_created":"2022-03-18T10:18:59Z","status":"public","day":"15","publication":"Journal of Functional Analysis","doi":"10.1016/j.jfa.2020.108639","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1708.01597"}],"ec_funded":1,"oa_version":"Preprint","isi":1},{"publication_status":"published","_id":"10866","quality_controlled":"1","citation":{"chicago":"Duan, Jiahua, Nathaniel Capote-Robayna, Javier Taboada-Gutiérrez, Gonzalo Álvarez-Pérez, Ivan Prieto Gonzalez, Javier Martín-Sánchez, Alexey Y. Nikitin, and Pablo Alonso-González. “Twisted Nano-Optics: Manipulating Light at the Nanoscale with Twisted Phonon Polaritonic Slabs.” <i>Nano Letters</i>. American Chemical Society, 2020. <a href=\"https://doi.org/10.1021/acs.nanolett.0c01673\">https://doi.org/10.1021/acs.nanolett.0c01673</a>.","ista":"Duan J, Capote-Robayna N, Taboada-Gutiérrez J, Álvarez-Pérez G, Prieto Gonzalez I, Martín-Sánchez J, Nikitin AY, Alonso-González P. 2020. Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs. Nano Letters. 20(7), 5323–5329.","short":"J. Duan, N. Capote-Robayna, J. Taboada-Gutiérrez, G. Álvarez-Pérez, I. Prieto Gonzalez, J. Martín-Sánchez, A.Y. Nikitin, P. Alonso-González, Nano Letters 20 (2020) 5323–5329.","ieee":"J. Duan <i>et al.</i>, “Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs,” <i>Nano Letters</i>, vol. 20, no. 7. American Chemical Society, pp. 5323–5329, 2020.","ama":"Duan J, Capote-Robayna N, Taboada-Gutiérrez J, et al. Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs. <i>Nano Letters</i>. 2020;20(7):5323-5329. doi:<a href=\"https://doi.org/10.1021/acs.nanolett.0c01673\">10.1021/acs.nanolett.0c01673</a>","mla":"Duan, Jiahua, et al. “Twisted Nano-Optics: Manipulating Light at the Nanoscale with Twisted Phonon Polaritonic Slabs.” <i>Nano Letters</i>, vol. 20, no. 7, American Chemical Society, 2020, pp. 5323–29, doi:<a href=\"https://doi.org/10.1021/acs.nanolett.0c01673\">10.1021/acs.nanolett.0c01673</a>.","apa":"Duan, J., Capote-Robayna, N., Taboada-Gutiérrez, J., Álvarez-Pérez, G., Prieto Gonzalez, I., Martín-Sánchez, J., … Alonso-González, P. (2020). Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs. <i>Nano Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acs.nanolett.0c01673\">https://doi.org/10.1021/acs.nanolett.0c01673</a>"},"publication_identifier":{"issn":["1530-6984"],"eissn":["1530-6992"]},"type":"journal_article","scopus_import":"1","abstract":[{"text":"Recent discoveries have shown that, when two layers of van der Waals (vdW) materials are superimposed with a relative twist angle between them, the electronic properties of the coupled system can be dramatically altered. Here, we demonstrate that a similar concept can be extended to the optics realm, particularly to propagating phonon polaritons–hybrid light-matter interactions. To do this, we fabricate stacks composed of two twisted slabs of a vdW crystal (α-MoO3) supporting anisotropic phonon polaritons (PhPs), and image the propagation of the latter when launched by localized sources. Our images reveal that, under a critical angle, the PhPs isofrequency curve undergoes a topological transition, in which the propagation of PhPs is strongly guided (canalization regime) along predetermined directions without geometric spreading. These results demonstrate a new degree of freedom (twist angle) for controlling the propagation of polaritons at the nanoscale with potential for nanoimaging, (bio)-sensing, or heat management.","lang":"eng"}],"arxiv":1,"language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"NanoFab"}],"title":"Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon polaritonic slabs","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"first_name":"Jiahua","last_name":"Duan","full_name":"Duan, Jiahua"},{"last_name":"Capote-Robayna","first_name":"Nathaniel","full_name":"Capote-Robayna, Nathaniel"},{"full_name":"Taboada-Gutiérrez, Javier","last_name":"Taboada-Gutiérrez","first_name":"Javier"},{"first_name":"Gonzalo","last_name":"Álvarez-Pérez","full_name":"Álvarez-Pérez, Gonzalo"},{"id":"2A307FE2-F248-11E8-B48F-1D18A9856A87","first_name":"Ivan","last_name":"Prieto Gonzalez","orcid":"0000-0002-7370-5357","full_name":"Prieto Gonzalez, Ivan"},{"last_name":"Martín-Sánchez","first_name":"Javier","full_name":"Martín-Sánchez, Javier"},{"last_name":"Nikitin","first_name":"Alexey Y.","full_name":"Nikitin, Alexey Y."},{"last_name":"Alonso-González","first_name":"Pablo","full_name":"Alonso-González, Pablo"}],"publisher":"American Chemical Society","isi":1,"oa_version":"Preprint","doi":"10.1021/acs.nanolett.0c01673","main_file_link":[{"url":"https://arxiv.org/abs/2004.14599","open_access":"1"}],"publication":"Nano Letters","date_created":"2022-03-18T11:37:38Z","status":"public","day":"01","pmid":1,"volume":20,"year":"2020","page":"5323-5329","external_id":{"pmid":["32530634"],"arxiv":["2004.14599"],"isi":["000548893200082"]},"date_updated":"2023-09-05T12:05:58Z","keyword":["Mechanical Engineering","Condensed Matter Physics","General Materials Science","General Chemistry","Bioengineering"],"issue":"7","oa":1,"intvolume":"        20","month":"07","date_published":"2020-07-01T00:00:00Z","acknowledgement":"J.T.-G. and G.Á.-P. acknowledge support through the Severo Ochoa Program from the\r\nGovernment of the Principality of Asturias (nos. PA-18-PF-BP17-126 and PA20-PF-BP19-053,\r\nrespectively). J. M-S acknowledges financial support through the Ramón y Cajal Program from\r\nthe Government of Spain (RYC2018-026196-I). A.Y.N. acknowledges the Spanish Ministry of\r\nScience, Innovation and Universities (national project no. MAT201788358-C3-3-R). P.A.-G.\r\nacknowledges support from the European Research Council under starting grant no. 715496,\r\n2DNANOPTICA."},{"publication_identifier":{"eissn":["1687-0247"],"issn":["1073-7928"]},"citation":{"ama":"Akopyan A, Karasev R. Waist of balls in hyperbolic and spherical spaces. <i>International Mathematics Research Notices</i>. 2020;2020(3):669-697. doi:<a href=\"https://doi.org/10.1093/imrn/rny037\">10.1093/imrn/rny037</a>","ieee":"A. Akopyan and R. Karasev, “Waist of balls in hyperbolic and spherical spaces,” <i>International Mathematics Research Notices</i>, vol. 2020, no. 3. Oxford University Press, pp. 669–697, 2020.","short":"A. Akopyan, R. Karasev, International Mathematics Research Notices 2020 (2020) 669–697.","ista":"Akopyan A, Karasev R. 2020. Waist of balls in hyperbolic and spherical spaces. International Mathematics Research Notices. 2020(3), 669–697.","chicago":"Akopyan, Arseniy, and Roman Karasev. “Waist of Balls in Hyperbolic and Spherical Spaces.” <i>International Mathematics Research Notices</i>. Oxford University Press, 2020. <a href=\"https://doi.org/10.1093/imrn/rny037\">https://doi.org/10.1093/imrn/rny037</a>.","apa":"Akopyan, A., &#38; Karasev, R. (2020). Waist of balls in hyperbolic and spherical spaces. <i>International Mathematics Research Notices</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/imrn/rny037\">https://doi.org/10.1093/imrn/rny037</a>","mla":"Akopyan, Arseniy, and Roman Karasev. “Waist of Balls in Hyperbolic and Spherical Spaces.” <i>International Mathematics Research Notices</i>, vol. 2020, no. 3, Oxford University Press, 2020, pp. 669–97, doi:<a href=\"https://doi.org/10.1093/imrn/rny037\">10.1093/imrn/rny037</a>."},"arxiv":1,"abstract":[{"lang":"eng","text":"In this paper we find a tight estimate for Gromov’s waist of the balls in spaces of constant curvature, deduce the estimates for the balls in Riemannian manifolds with upper bounds on the curvature (CAT(ϰ)-spaces), and establish similar result for normed spaces."}],"scopus_import":"1","type":"journal_article","_id":"10867","quality_controlled":"1","publication_status":"published","publisher":"Oxford University Press","title":"Waist of balls in hyperbolic and spherical spaces","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"full_name":"Akopyan, Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","first_name":"Arseniy","last_name":"Akopyan","orcid":"0000-0002-2548-617X"},{"first_name":"Roman","last_name":"Karasev","full_name":"Karasev, Roman"}],"article_processing_charge":"No","department":[{"_id":"HeEd"}],"language":[{"iso":"eng"}],"article_type":"original","volume":2020,"date_created":"2022-03-18T11:39:30Z","day":"01","status":"public","publication":"International Mathematics Research Notices","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1702.07513"}],"doi":"10.1093/imrn/rny037","oa_version":"Preprint","isi":1,"date_published":"2020-02-01T00:00:00Z","intvolume":"      2020","month":"02","acknowledgement":" Supported by the Russian Foundation for Basic Research grant 18-01-00036.","keyword":["General Mathematics"],"date_updated":"2023-08-24T14:19:55Z","oa":1,"issue":"3","page":"669-697","external_id":{"arxiv":["1702.07513"],"isi":["000522852700002"]},"year":"2020"},{"publication_status":"published","_id":"7788","quality_controlled":"1","citation":{"mla":"Adjobo-Hermans, Merel J. W., et al. “NDUFS4 Deletion Triggers Loss of NDUFA12 in Ndufs4−/− Mice and Leigh Syndrome Patients: A Stabilizing Role for NDUFAF2.” <i>Biochimica et Biophysica Acta - Bioenergetics</i>, vol. 1861, no. 8, 148213, Elsevier, 2020, doi:<a href=\"https://doi.org/10.1016/j.bbabio.2020.148213\">10.1016/j.bbabio.2020.148213</a>.","apa":"Adjobo-Hermans, M. J. W., De Haas, R., Willems, P. H. G. M., Wojtala, A., Van Emst-De Vries, S. E., Wagenaars, J. A., … Koopman, W. J. H. (2020). NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2. <i>Biochimica et Biophysica Acta - Bioenergetics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.bbabio.2020.148213\">https://doi.org/10.1016/j.bbabio.2020.148213</a>","chicago":"Adjobo-Hermans, Merel J.W., Ria De Haas, Peter H.G.M. Willems, Aleksandra Wojtala, Sjenet E. Van Emst-De Vries, Jori A. Wagenaars, Mariel Van Den Brand, et al. “NDUFS4 Deletion Triggers Loss of NDUFA12 in Ndufs4−/− Mice and Leigh Syndrome Patients: A Stabilizing Role for NDUFAF2.” <i>Biochimica et Biophysica Acta - Bioenergetics</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.bbabio.2020.148213\">https://doi.org/10.1016/j.bbabio.2020.148213</a>.","ieee":"M. J. W. Adjobo-Hermans <i>et al.</i>, “NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2,” <i>Biochimica et Biophysica Acta - Bioenergetics</i>, vol. 1861, no. 8. Elsevier, 2020.","ista":"Adjobo-Hermans MJW, De Haas R, Willems PHGM, Wojtala A, Van Emst-De Vries SE, Wagenaars JA, Van Den Brand M, Rodenburg RJ, Smeitink JAM, Nijtmans LG, Sazanov LA, Wieckowski MR, Koopman WJH. 2020. NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2. Biochimica et Biophysica Acta - Bioenergetics. 1861(8), 148213.","short":"M.J.W. Adjobo-Hermans, R. De Haas, P.H.G.M. Willems, A. Wojtala, S.E. Van Emst-De Vries, J.A. Wagenaars, M. Van Den Brand, R.J. Rodenburg, J.A.M. Smeitink, L.G. Nijtmans, L.A. Sazanov, M.R. Wieckowski, W.J.H. Koopman, Biochimica et Biophysica Acta - Bioenergetics 1861 (2020).","ama":"Adjobo-Hermans MJW, De Haas R, Willems PHGM, et al. NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2. <i>Biochimica et Biophysica Acta - Bioenergetics</i>. 2020;1861(8). doi:<a href=\"https://doi.org/10.1016/j.bbabio.2020.148213\">10.1016/j.bbabio.2020.148213</a>"},"publication_identifier":{"eissn":["18792650"],"issn":["00052728"]},"scopus_import":"1","abstract":[{"lang":"eng","text":"Mutations in NDUFS4, which encodes an accessory subunit of mitochondrial oxidative phosphorylation (OXPHOS) complex I (CI), induce Leigh syndrome (LS). LS is a poorly understood pediatric disorder featuring brain-specific anomalies and early death. To study the LS pathomechanism, we here compared OXPHOS proteomes between various Ndufs4−/− mouse tissues. Ndufs4−/− animals displayed significantly lower CI subunit levels in brain/diaphragm relative to other tissues (liver/heart/kidney/skeletal muscle), whereas other OXPHOS subunit levels were not reduced. Absence of NDUFS4 induced near complete absence of the NDUFA12 accessory subunit, a 50% reduction in other CI subunit levels, and an increase in specific CI assembly factors. Among the latter, NDUFAF2 was most highly increased. Regarding NDUFS4, NDUFA12 and NDUFAF2, identical results were obtained in Ndufs4−/− mouse embryonic fibroblasts (MEFs) and NDUFS4-mutated LS patient cells. Ndufs4−/− MEFs contained active CI in situ but blue-native-PAGE highlighted that NDUFAF2 attached to an inactive CI subcomplex (CI-830) and inactive assemblies of higher MW. In NDUFA12-mutated LS patient cells, NDUFA12 absence did not reduce NDUFS4 levels but triggered NDUFAF2 association to active CI. BN-PAGE revealed no such association in LS patient fibroblasts with mutations in other CI subunit-encoding genes where NDUFAF2 was attached to CI-830 (NDUFS1, NDUFV1 mutation) or not detected (NDUFS7 mutation). Supported by enzymological and CI in silico structural analysis, we conclude that absence of NDUFS4 induces near complete absence of NDUFA12 but not vice versa, and that NDUFAF2 stabilizes active CI in Ndufs4−/− mice and LS patient cells, perhaps in concert with mitochondrial inner membrane lipids."}],"type":"journal_article","file_date_updated":"2020-07-14T12:48:03Z","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"LeSa"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"last_name":"Adjobo-Hermans","first_name":"Merel J.W.","full_name":"Adjobo-Hermans, Merel J.W."},{"last_name":"De Haas","first_name":"Ria","full_name":"De Haas, Ria"},{"full_name":"Willems, Peter H.G.M.","first_name":"Peter H.G.M.","last_name":"Willems"},{"first_name":"Aleksandra","last_name":"Wojtala","full_name":"Wojtala, Aleksandra"},{"last_name":"Van Emst-De Vries","first_name":"Sjenet E.","full_name":"Van Emst-De Vries, Sjenet E."},{"full_name":"Wagenaars, Jori A.","first_name":"Jori A.","last_name":"Wagenaars"},{"full_name":"Van Den Brand, Mariel","first_name":"Mariel","last_name":"Van Den Brand"},{"first_name":"Richard J.","last_name":"Rodenburg","full_name":"Rodenburg, Richard J."},{"full_name":"Smeitink, Jan A.M.","last_name":"Smeitink","first_name":"Jan A.M."},{"first_name":"Leo G.","last_name":"Nijtmans","full_name":"Nijtmans, Leo G."},{"first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0977-7989","last_name":"Sazanov","full_name":"Sazanov, Leonid A"},{"full_name":"Wieckowski, Mariusz R.","last_name":"Wieckowski","first_name":"Mariusz R."},{"full_name":"Koopman, Werner J.H.","first_name":"Werner J.H.","last_name":"Koopman"}],"title":"NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2","file":[{"date_created":"2020-05-04T12:25:19Z","date_updated":"2020-07-14T12:48:03Z","file_name":"2020_BBA_Adjobo_Hermans.pdf","relation":"main_file","checksum":"a9b152381307cf45fe266a8dc5640388","access_level":"open_access","creator":"dernst","file_size":3826792,"content_type":"application/pdf","file_id":"7798"}],"has_accepted_license":"1","publisher":"Elsevier","oa_version":"Published Version","isi":1,"publication":"Biochimica et Biophysica Acta - Bioenergetics","doi":"10.1016/j.bbabio.2020.148213","date_created":"2020-05-03T22:00:47Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["570"],"status":"public","day":"01","volume":1861,"pmid":1,"year":"2020","external_id":{"isi":["000540842000012"],"pmid":["32335026"]},"license":"https://creativecommons.org/licenses/by/4.0/","date_updated":"2023-08-21T06:19:18Z","oa":1,"issue":"8","date_published":"2020-08-01T00:00:00Z","month":"08","intvolume":"      1861","article_number":"148213"},{"language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"EdHa"}],"file":[{"relation":"main_file","checksum":"e2114902f4e9d75a752e9efb5ae06011","access_level":"open_access","file_id":"7795","content_type":"application/pdf","file_size":17992888,"creator":"dernst","date_updated":"2020-07-14T12:48:03Z","date_created":"2020-05-04T10:20:55Z","file_name":"2020_Cell_Dekoninck.pdf"}],"title":"Defining the design principles of skin epidermis postnatal growth","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"first_name":"Sophie","last_name":"Dekoninck","full_name":"Dekoninck, Sophie"},{"full_name":"Hannezo, Edouard B","first_name":"Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","last_name":"Hannezo","orcid":"0000-0001-6005-1561"},{"first_name":"Alejandro","last_name":"Sifrim","full_name":"Sifrim, Alejandro"},{"first_name":"Yekaterina A.","last_name":"Miroshnikova","full_name":"Miroshnikova, Yekaterina A."},{"first_name":"Mariaceleste","last_name":"Aragona","full_name":"Aragona, Mariaceleste"},{"full_name":"Malfait, Milan","last_name":"Malfait","first_name":"Milan"},{"full_name":"Gargouri, Souhir","first_name":"Souhir","last_name":"Gargouri"},{"last_name":"De Neunheuser","first_name":"Charlotte","full_name":"De Neunheuser, Charlotte"},{"first_name":"Christine","last_name":"Dubois","full_name":"Dubois, Christine"},{"full_name":"Voet, Thierry","last_name":"Voet","first_name":"Thierry"},{"first_name":"Sara A.","last_name":"Wickström","full_name":"Wickström, Sara A."},{"last_name":"Simons","first_name":"Benjamin D.","full_name":"Simons, Benjamin D."},{"full_name":"Blanpain, Cédric","first_name":"Cédric","last_name":"Blanpain"}],"has_accepted_license":"1","publisher":"Elsevier","publication_status":"published","_id":"7789","quality_controlled":"1","citation":{"mla":"Dekoninck, Sophie, et al. “Defining the Design Principles of Skin Epidermis Postnatal Growth.” <i>Cell</i>, vol. 181, no. 3, Elsevier, 2020, p. 604–620.e22, doi:<a href=\"https://doi.org/10.1016/j.cell.2020.03.015\">10.1016/j.cell.2020.03.015</a>.","apa":"Dekoninck, S., Hannezo, E. B., Sifrim, A., Miroshnikova, Y. A., Aragona, M., Malfait, M., … Blanpain, C. (2020). Defining the design principles of skin epidermis postnatal growth. <i>Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cell.2020.03.015\">https://doi.org/10.1016/j.cell.2020.03.015</a>","chicago":"Dekoninck, Sophie, Edouard B Hannezo, Alejandro Sifrim, Yekaterina A. Miroshnikova, Mariaceleste Aragona, Milan Malfait, Souhir Gargouri, et al. “Defining the Design Principles of Skin Epidermis Postnatal Growth.” <i>Cell</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.cell.2020.03.015\">https://doi.org/10.1016/j.cell.2020.03.015</a>.","ama":"Dekoninck S, Hannezo EB, Sifrim A, et al. Defining the design principles of skin epidermis postnatal growth. <i>Cell</i>. 2020;181(3):604-620.e22. doi:<a href=\"https://doi.org/10.1016/j.cell.2020.03.015\">10.1016/j.cell.2020.03.015</a>","short":"S. Dekoninck, E.B. Hannezo, A. Sifrim, Y.A. Miroshnikova, M. Aragona, M. Malfait, S. Gargouri, C. De Neunheuser, C. Dubois, T. Voet, S.A. Wickström, B.D. Simons, C. Blanpain, Cell 181 (2020) 604–620.e22.","ieee":"S. Dekoninck <i>et al.</i>, “Defining the design principles of skin epidermis postnatal growth,” <i>Cell</i>, vol. 181, no. 3. Elsevier, p. 604–620.e22, 2020.","ista":"Dekoninck S, Hannezo EB, Sifrim A, Miroshnikova YA, Aragona M, Malfait M, Gargouri S, De Neunheuser C, Dubois C, Voet T, Wickström SA, Simons BD, Blanpain C. 2020. Defining the design principles of skin epidermis postnatal growth. Cell. 181(3), 604–620.e22."},"publication_identifier":{"issn":["00928674"],"eissn":["10974172"]},"type":"journal_article","file_date_updated":"2020-07-14T12:48:03Z","scopus_import":"1","abstract":[{"lang":"eng","text":"During embryonic and postnatal development, organs and tissues grow steadily to achieve their final size at the end of puberty. However, little is known about the cellular dynamics that mediate postnatal growth. By combining in vivo clonal lineage tracing, proliferation kinetics, single-cell transcriptomics, andin vitro micro-pattern experiments, we resolved the cellular dynamics taking place during postnatal skin epidermis expansion. Our data revealed that harmonious growth is engineered by a single population of developmental progenitors presenting a fixed fate imbalance of self-renewing divisions with an ever-decreasing proliferation rate. Single-cell RNA sequencing revealed that epidermal developmental progenitors form a more uniform population compared with adult stem and progenitor cells. Finally, we found that the spatial pattern of cell division orientation is dictated locally by the underlying collagen fiber orientation. Our results uncover a simple design principle of organ growth where progenitors and differentiated cells expand in harmony with their surrounding tissues."}],"year":"2020","page":"604-620.e22","external_id":{"pmid":["32259486"],"isi":["000530708400016"]},"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","date_updated":"2023-08-21T06:17:43Z","issue":"3","oa":1,"intvolume":"       181","month":"04","date_published":"2020-04-30T00:00:00Z","isi":1,"oa_version":"Published Version","doi":"10.1016/j.cell.2020.03.015","publication":"Cell","tmp":{"short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"date_created":"2020-05-03T22:00:48Z","ddc":["570"],"day":"30","status":"public","pmid":1,"volume":181},{"publication":"Forum of Mathematics, Sigma","doi":"10.1017/fms.2020.17","related_material":{"record":[{"id":"7524","relation":"earlier_version","status":"public"}]},"oa_version":"Published Version","ec_funded":1,"isi":1,"volume":8,"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2020-05-03T22:00:48Z","ddc":["510"],"day":"14","status":"public","external_id":{"isi":["000527342000001"],"arxiv":["1910.03372"]},"year":"2020","date_published":"2020-03-14T00:00:00Z","month":"03","intvolume":"         8","article_number":"e20","date_updated":"2023-08-21T06:18:49Z","oa":1,"project":[{"_id":"25C6DC12-B435-11E9-9278-68D0E5697425","name":"Analysis of quantum many-body systems","grant_number":"694227","call_identifier":"H2020"}],"publication_status":"published","publication_identifier":{"eissn":["20505094"]},"citation":{"mla":"Deuchert, Andreas, et al. “The Free Energy of the Two-Dimensional Dilute Bose Gas. I. Lower Bound.” <i>Forum of Mathematics, Sigma</i>, vol. 8, e20, Cambridge University Press, 2020, doi:<a href=\"https://doi.org/10.1017/fms.2020.17\">10.1017/fms.2020.17</a>.","apa":"Deuchert, A., Mayer, S., &#38; Seiringer, R. (2020). The free energy of the two-dimensional dilute Bose gas. I. Lower bound. <i>Forum of Mathematics, Sigma</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/fms.2020.17\">https://doi.org/10.1017/fms.2020.17</a>","chicago":"Deuchert, Andreas, Simon Mayer, and Robert Seiringer. “The Free Energy of the Two-Dimensional Dilute Bose Gas. I. Lower Bound.” <i>Forum of Mathematics, Sigma</i>. Cambridge University Press, 2020. <a href=\"https://doi.org/10.1017/fms.2020.17\">https://doi.org/10.1017/fms.2020.17</a>.","ama":"Deuchert A, Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. <i>Forum of Mathematics, Sigma</i>. 2020;8. doi:<a href=\"https://doi.org/10.1017/fms.2020.17\">10.1017/fms.2020.17</a>","ista":"Deuchert A, Mayer S, Seiringer R. 2020. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. Forum of Mathematics, Sigma. 8, e20.","short":"A. Deuchert, S. Mayer, R. Seiringer, Forum of Mathematics, Sigma 8 (2020).","ieee":"A. Deuchert, S. Mayer, and R. Seiringer, “The free energy of the two-dimensional dilute Bose gas. I. Lower bound,” <i>Forum of Mathematics, Sigma</i>, vol. 8. Cambridge University Press, 2020."},"abstract":[{"text":"We prove a lower bound for the free energy (per unit volume) of the two-dimensional Bose gas in the thermodynamic limit. We show that the free energy at density 𝜌 and inverse temperature 𝛽 differs from the one of the noninteracting system by the correction term 𝜋𝜌𝜌𝛽𝛽 . Here, is the scattering length of the interaction potential, and 𝛽 is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity. The result is valid in the dilute limit 𝜌 and if 𝛽𝜌 .","lang":"eng"}],"scopus_import":"1","arxiv":1,"file_date_updated":"2020-07-14T12:48:03Z","type":"journal_article","_id":"7790","quality_controlled":"1","article_processing_charge":"No","department":[{"_id":"RoSe"}],"language":[{"iso":"eng"}],"article_type":"original","has_accepted_license":"1","publisher":"Cambridge University Press","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"full_name":"Deuchert, Andreas","id":"4DA65CD0-F248-11E8-B48F-1D18A9856A87","first_name":"Andreas","last_name":"Deuchert","orcid":"0000-0003-3146-6746"},{"full_name":"Mayer, Simon","id":"30C4630A-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","last_name":"Mayer"},{"first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","last_name":"Seiringer","full_name":"Seiringer, Robert"}],"title":"The free energy of the two-dimensional dilute Bose gas. I. Lower bound","file":[{"creator":"dernst","file_size":692530,"file_id":"7797","content_type":"application/pdf","checksum":"8a64da99d107686997876d7cad8cfe1e","relation":"main_file","access_level":"open_access","file_name":"2020_ForumMath_Deuchert.pdf","date_created":"2020-05-04T12:02:41Z","date_updated":"2020-07-14T12:48:03Z"}]},{"date_published":"2020-09-01T00:00:00Z","month":"09","intvolume":"        19","acknowledgement":"J.T.-G. and G.Á.-P. acknowledge support through the Severo Ochoa Program from the Government of the Principality of Asturias (nos. PA-18-PF-BP17-126 and PA-20-PF-BP19-053, respectively). J.M.-S. acknowledges finantial support from the Clarín Programme from the Government of the Principality of Asturias and a Marie Curie-COFUND grant (PA-18-ACB17-29) and the Ramón y Cajal Program from the Government of Spain (RYC2018-026196-I). K.C., X.P.A.G., H.V. and M.H.B. acknowledge the Air Force Office of Scientific Research (AFOSR) grant no. FA 9550-18-1-0030 for funding support. I.E. acknowledges financial support from the Spanish Ministry of Economy and Competitiveness (grant no. FIS2016-76617-P). A.Y.N. acknowledges the Spanish Ministry of Science, Innovation and Universities (national project no. MAT2017-88358-C3-3-R) and the Basque Government (grant no. IT1164-19). Q.B. acknowledges the support from Australian Research Council (grant nos. FT150100450, IH150100006 and CE170100039). R.H. acknowledges support from the Spanish Ministry of Economy, Industry, and Competitiveness (national project RTI2018-094830-B-100 and the Project MDM-2016-0618 of the María de Maeztu Units of Excellence Program) and the Basque Goverment (grant no. IT1164-19). P.A.-G. acknowledges support from the European Research Council under starting grant no. 715496, 2DNANOPTICA.","date_updated":"2023-08-21T06:18:20Z","page":"964–968","external_id":{"pmid":["32284598"],"isi":["000526218500004"]},"year":"2020","volume":19,"pmid":1,"date_created":"2020-05-03T22:00:49Z","status":"public","day":"01","publication":"Nature Materials","doi":"10.1038/s41563-020-0665-0","oa_version":"None","isi":1,"publisher":"Springer Nature","title":"Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation","author":[{"last_name":"Taboada-Gutiérrez","first_name":"Javier","full_name":"Taboada-Gutiérrez, Javier"},{"full_name":"Álvarez-Pérez, Gonzalo","first_name":"Gonzalo","last_name":"Álvarez-Pérez"},{"full_name":"Duan, Jiahua","first_name":"Jiahua","last_name":"Duan"},{"full_name":"Ma, Weiliang","first_name":"Weiliang","last_name":"Ma"},{"first_name":"Kyle","last_name":"Crowley","full_name":"Crowley, Kyle"},{"id":"2A307FE2-F248-11E8-B48F-1D18A9856A87","first_name":"Ivan","last_name":"Prieto Gonzalez","orcid":"0000-0002-7370-5357","full_name":"Prieto Gonzalez, Ivan"},{"last_name":"Bylinkin","first_name":"Andrei","full_name":"Bylinkin, Andrei"},{"full_name":"Autore, Marta","last_name":"Autore","first_name":"Marta"},{"last_name":"Volkova","first_name":"Halyna","full_name":"Volkova, Halyna"},{"full_name":"Kimura, Kenta","first_name":"Kenta","last_name":"Kimura"},{"full_name":"Kimura, Tsuyoshi","first_name":"Tsuyoshi","last_name":"Kimura"},{"full_name":"Berger, M. H.","first_name":"M. H.","last_name":"Berger"},{"last_name":"Li","first_name":"Shaojuan","full_name":"Li, Shaojuan"},{"last_name":"Bao","first_name":"Qiaoliang","full_name":"Bao, Qiaoliang"},{"first_name":"Xuan P.A.","last_name":"Gao","full_name":"Gao, Xuan P.A."},{"full_name":"Errea, Ion","first_name":"Ion","last_name":"Errea"},{"first_name":"Alexey Y.","last_name":"Nikitin","full_name":"Nikitin, Alexey Y."},{"full_name":"Hillenbrand, Rainer","last_name":"Hillenbrand","first_name":"Rainer"},{"full_name":"Martín-Sánchez, Javier","first_name":"Javier","last_name":"Martín-Sánchez"},{"last_name":"Alonso-González","first_name":"Pablo","full_name":"Alonso-González, Pablo"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","department":[{"_id":"NanoFab"}],"language":[{"iso":"eng"}],"article_type":"original","citation":{"ama":"Taboada-Gutiérrez J, Álvarez-Pérez G, Duan J, et al. Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation. <i>Nature Materials</i>. 2020;19:964–968. doi:<a href=\"https://doi.org/10.1038/s41563-020-0665-0\">10.1038/s41563-020-0665-0</a>","ista":"Taboada-Gutiérrez J, Álvarez-Pérez G, Duan J, Ma W, Crowley K, Prieto Gonzalez I, Bylinkin A, Autore M, Volkova H, Kimura K, Kimura T, Berger MH, Li S, Bao Q, Gao XPA, Errea I, Nikitin AY, Hillenbrand R, Martín-Sánchez J, Alonso-González P. 2020. Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation. Nature Materials. 19, 964–968.","ieee":"J. Taboada-Gutiérrez <i>et al.</i>, “Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation,” <i>Nature Materials</i>, vol. 19. Springer Nature, pp. 964–968, 2020.","short":"J. Taboada-Gutiérrez, G. Álvarez-Pérez, J. Duan, W. Ma, K. Crowley, I. Prieto Gonzalez, A. Bylinkin, M. Autore, H. Volkova, K. Kimura, T. Kimura, M.H. Berger, S. Li, Q. Bao, X.P.A. Gao, I. Errea, A.Y. Nikitin, R. Hillenbrand, J. Martín-Sánchez, P. Alonso-González, Nature Materials 19 (2020) 964–968.","chicago":"Taboada-Gutiérrez, Javier, Gonzalo Álvarez-Pérez, Jiahua Duan, Weiliang Ma, Kyle Crowley, Ivan Prieto Gonzalez, Andrei Bylinkin, et al. “Broad Spectral Tuning of Ultra-Low-Loss Polaritons in a van Der Waals Crystal by Intercalation.” <i>Nature Materials</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41563-020-0665-0\">https://doi.org/10.1038/s41563-020-0665-0</a>.","apa":"Taboada-Gutiérrez, J., Álvarez-Pérez, G., Duan, J., Ma, W., Crowley, K., Prieto Gonzalez, I., … Alonso-González, P. (2020). Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation. <i>Nature Materials</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41563-020-0665-0\">https://doi.org/10.1038/s41563-020-0665-0</a>","mla":"Taboada-Gutiérrez, Javier, et al. “Broad Spectral Tuning of Ultra-Low-Loss Polaritons in a van Der Waals Crystal by Intercalation.” <i>Nature Materials</i>, vol. 19, Springer Nature, 2020, pp. 964–968, doi:<a href=\"https://doi.org/10.1038/s41563-020-0665-0\">10.1038/s41563-020-0665-0</a>."},"publication_identifier":{"issn":["14761122"],"eissn":["14764660"]},"scopus_import":"1","abstract":[{"lang":"eng","text":"Phonon polaritons—light coupled to lattice vibrations—in polar van der Waals crystals are promising candidates for controlling the flow of energy on the nanoscale due to their strong field confinement, anisotropic propagation and ultra-long lifetime in the picosecond range1,2,3,4,5. However, the lack of tunability of their narrow and material-specific spectral range—the Reststrahlen band—severely limits their technological implementation. Here, we demonstrate that intercalation of Na atoms in the van der Waals semiconductor α-V2O5 enables a broad spectral shift of Reststrahlen bands, and that the phonon polaritons excited show ultra-low losses (lifetime of 4 ± 1 ps), similar to phonon polaritons in a non-intercalated crystal (lifetime of 6 ± 1 ps). We expect our intercalation method to be applicable to other van der Waals crystals, opening the door for the use of phonon polaritons in broad spectral bands in the mid-infrared domain."}],"type":"journal_article","_id":"7792","quality_controlled":"1","publication_status":"published"},{"abstract":[{"lang":"eng","text":"Hormonal signalling in animals often involves direct transcription factor-hormone interactions that modulate gene expression. In contrast, plant hormone signalling is most commonly based on de-repression via the degradation of transcriptional repressors. Recently, we uncovered a non-canonical signalling mechanism for the plant hormone auxin whereby auxin directly affects the activity of the atypical auxin response factor (ARF), ETTIN towards target genes without the requirement for protein degradation. Here we show that ETTIN directly binds auxin, leading to dissociation from co-repressor proteins of the TOPLESS/TOPLESS-RELATED family followed by histone acetylation and induction of gene expression. This mechanism is reminiscent of animal hormone signalling as it affects the activity towards regulation of target genes and provides the first example of a DNA-bound hormone receptor in plants. Whilst auxin affects canonical ARFs indirectly by facilitating degradation of Aux/IAA repressors, direct ETTIN-auxin interactions allow switching between repressive and de-repressive chromatin states in an instantly-reversible manner."}],"scopus_import":"1","file_date_updated":"2020-07-14T12:48:03Z","type":"journal_article","citation":{"mla":"Kuhn, André, et al. “Direct ETTIN-Auxin Interaction Controls Chromatin States in Gynoecium Development.” <i>ELife</i>, vol. 9, e51787, eLife Sciences Publications, 2020, doi:<a href=\"https://doi.org/10.7554/elife.51787\">10.7554/elife.51787</a>.","apa":"Kuhn, A., Ramans Harborough, S., McLaughlin, H. M., Natarajan, B., Verstraeten, I., Friml, J., … Østergaard, L. (2020). Direct ETTIN-auxin interaction controls chromatin states in gynoecium development. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/elife.51787\">https://doi.org/10.7554/elife.51787</a>","chicago":"Kuhn, André, Sigurd Ramans Harborough, Heather M McLaughlin, Bhavani Natarajan, Inge Verstraeten, Jiří Friml, Stefan Kepinski, and Lars Østergaard. “Direct ETTIN-Auxin Interaction Controls Chromatin States in Gynoecium Development.” <i>ELife</i>. eLife Sciences Publications, 2020. <a href=\"https://doi.org/10.7554/elife.51787\">https://doi.org/10.7554/elife.51787</a>.","ama":"Kuhn A, Ramans Harborough S, McLaughlin HM, et al. Direct ETTIN-auxin interaction controls chromatin states in gynoecium development. <i>eLife</i>. 2020;9. doi:<a href=\"https://doi.org/10.7554/elife.51787\">10.7554/elife.51787</a>","short":"A. Kuhn, S. Ramans Harborough, H.M. McLaughlin, B. Natarajan, I. Verstraeten, J. Friml, S. Kepinski, L. Østergaard, ELife 9 (2020).","ieee":"A. Kuhn <i>et al.</i>, “Direct ETTIN-auxin interaction controls chromatin states in gynoecium development,” <i>eLife</i>, vol. 9. eLife Sciences Publications, 2020.","ista":"Kuhn A, Ramans Harborough S, McLaughlin HM, Natarajan B, Verstraeten I, Friml J, Kepinski S, Østergaard L. 2020. Direct ETTIN-auxin interaction controls chromatin states in gynoecium development. eLife. 9, e51787."},"publication_identifier":{"issn":["2050-084X"]},"quality_controlled":"1","_id":"7793","publication_status":"published","publisher":"eLife Sciences Publications","has_accepted_license":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"last_name":"Kuhn","first_name":"André","full_name":"Kuhn, André"},{"first_name":"Sigurd","last_name":"Ramans Harborough","full_name":"Ramans Harborough, Sigurd"},{"full_name":"McLaughlin, Heather M","first_name":"Heather M","last_name":"McLaughlin"},{"full_name":"Natarajan, Bhavani","last_name":"Natarajan","first_name":"Bhavani"},{"full_name":"Verstraeten, Inge","id":"362BF7FE-F248-11E8-B48F-1D18A9856A87","first_name":"Inge","last_name":"Verstraeten","orcid":"0000-0001-7241-2328"},{"full_name":"Friml, Jiří","orcid":"0000-0002-8302-7596","last_name":"Friml","first_name":"Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kepinski","first_name":"Stefan","full_name":"Kepinski, Stefan"},{"full_name":"Østergaard, Lars","last_name":"Østergaard","first_name":"Lars"}],"title":"Direct ETTIN-auxin interaction controls chromatin states in gynoecium development","file":[{"file_name":"2020_eLife_Kuhn.pdf","date_updated":"2020-07-14T12:48:03Z","date_created":"2020-05-04T09:06:43Z","file_size":2893082,"creator":"dernst","content_type":"application/pdf","file_id":"7794","access_level":"open_access","relation":"main_file","checksum":"15d740de1a741fdcc6ec128c48eed017"}],"department":[{"_id":"JiFr"}],"article_processing_charge":"No","article_type":"original","language":[{"iso":"eng"}],"volume":9,"pmid":1,"day":"08","status":"public","date_created":"2020-05-04T08:50:47Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["580"],"publication":"eLife","doi":"10.7554/elife.51787","oa_version":"Published Version","isi":1,"article_number":"e51787","date_published":"2020-04-08T00:00:00Z","month":"04","intvolume":"         9","oa":1,"date_updated":"2023-08-21T06:17:12Z","external_id":{"isi":["000527752200001"],"pmid":["32267233"]},"year":"2020"},{"doi":"10.1101/2020.01.10.902064 ","publication":"bioRxiv","related_material":{"record":[{"id":"8620","status":"public","relation":"dissertation_contains"},{"id":"9429","status":"public","relation":"later_version"}]},"oa_version":"Preprint","ddc":["570"],"tmp":{"short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"date_created":"2020-05-05T14:31:33Z","day":"11","status":"public","year":"2020","month":"01","date_published":"2020-01-11T00:00:00Z","date_updated":"2024-09-10T12:04:26Z","oa":1,"acknowledged_ssus":[{"_id":"PreCl"}],"project":[{"grant_number":"I03600","call_identifier":"FWF","name":"Optical control of synaptic function via adhesion molecules","_id":"265CB4D0-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"W1232-B24","_id":"2548AE96-B435-11E9-9278-68D0E5697425","name":"Molecular Drug Targets"}],"publication_status":"submitted","citation":{"apa":"Morandell, J., Schwarz, L. A., Basilico, B., Tasciyan, S., Nicolas, A., Sommer, C. M., … Novarino, G. (n.d.). Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. <i>bioRxiv</i>. Cold Spring Harbor Laboratory. <a href=\"https://doi.org/10.1101/2020.01.10.902064 \">https://doi.org/10.1101/2020.01.10.902064 </a>","mla":"Morandell, Jasmin, et al. “Cul3 Regulates Cytoskeleton Protein Homeostasis and Cell Migration during a Critical Window of Brain Development.” <i>BioRxiv</i>, Cold Spring Harbor Laboratory, doi:<a href=\"https://doi.org/10.1101/2020.01.10.902064 \">10.1101/2020.01.10.902064 </a>.","ama":"Morandell J, Schwarz LA, Basilico B, et al. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. <i>bioRxiv</i>. doi:<a href=\"https://doi.org/10.1101/2020.01.10.902064 \">10.1101/2020.01.10.902064 </a>","short":"J. Morandell, L.A. Schwarz, B. Basilico, S. Tasciyan, A. Nicolas, C.M. Sommer, C. Kreuzinger, L. Knaus, Z. Dobler, E. Cacci, J.G. Danzl, G. Novarino, BioRxiv (n.d.).","ista":"Morandell J, Schwarz LA, Basilico B, Tasciyan S, Nicolas A, Sommer CM, Kreuzinger C, Knaus L, Dobler Z, Cacci E, Danzl JG, Novarino G. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. bioRxiv, <a href=\"https://doi.org/10.1101/2020.01.10.902064 \">10.1101/2020.01.10.902064 </a>.","ieee":"J. Morandell <i>et al.</i>, “Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development,” <i>bioRxiv</i>. Cold Spring Harbor Laboratory.","chicago":"Morandell, Jasmin, Lena A Schwarz, Bernadette Basilico, Saren Tasciyan, Armel Nicolas, Christoph M Sommer, Caroline Kreuzinger, et al. “Cul3 Regulates Cytoskeleton Protein Homeostasis and Cell Migration during a Critical Window of Brain Development.” <i>BioRxiv</i>. Cold Spring Harbor Laboratory, n.d. <a href=\"https://doi.org/10.1101/2020.01.10.902064 \">https://doi.org/10.1101/2020.01.10.902064 </a>."},"type":"preprint","file_date_updated":"2020-07-14T12:48:03Z","abstract":[{"lang":"eng","text":"De novo loss of function mutations in the ubiquitin ligase-encoding gene Cullin3 (CUL3) lead to autism spectrum disorder (ASD). Here, we used Cul3 mouse models to evaluate the consequences of Cul3 mutations in vivo. Our results show that Cul3 haploinsufficient mice exhibit deficits in motor coordination as well as ASD-relevant social and cognitive impairments. Cul3 mutant brain displays cortical lamination abnormalities due to defective neuronal migration and reduced numbers of excitatory and inhibitory neurons. In line with the observed abnormal columnar organization, Cul3 haploinsufficiency is associated with decreased spontaneous excitatory and inhibitory activity in the cortex. At the molecular level, employing a quantitative proteomic approach, we show that Cul3 regulates cytoskeletal and adhesion protein abundance in mouse embryos. Abnormal regulation of cytoskeletal proteins in Cul3 mutant neuronal cells results in atypical organization of the actin mesh at the cell leading edge, likely causing the observed migration deficits. In contrast to these important functions early in development, Cul3 deficiency appears less relevant at adult stages. In fact, induction of Cul3 haploinsufficiency in adult mice does not result in the behavioral defects observed in constitutive Cul3 haploinsufficient animals. Taken together, our data indicate that Cul3 has a critical role in the regulation of cytoskeletal proteins and neuronal migration and that ASD-associated defects and behavioral abnormalities are primarily due to Cul3 functions at early developmental stages."}],"_id":"7800","article_processing_charge":"No","department":[{"_id":"JoDa"},{"_id":"GaNo"},{"_id":"LifeSc"}],"language":[{"iso":"eng"}],"has_accepted_license":"1","publisher":"Cold Spring Harbor Laboratory","file":[{"file_id":"7801","content_type":"application/pdf","creator":"rsix","file_size":2931370,"relation":"main_file","access_level":"open_access","checksum":"c6799ab5daba80efe8e2ed63c15f8c81","file_name":"2020.01.10.902064v1.full.pdf","date_created":"2020-05-05T14:31:19Z","date_updated":"2020-07-14T12:48:03Z"}],"title":"Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development","author":[{"full_name":"Morandell, Jasmin","id":"4739D480-F248-11E8-B48F-1D18A9856A87","first_name":"Jasmin","last_name":"Morandell"},{"first_name":"Lena A","id":"29A8453C-F248-11E8-B48F-1D18A9856A87","last_name":"Schwarz","full_name":"Schwarz, Lena A"},{"full_name":"Basilico, Bernadette","first_name":"Bernadette","id":"36035796-5ACA-11E9-A75E-7AF2E5697425","orcid":"0000-0003-1843-3173","last_name":"Basilico"},{"full_name":"Tasciyan, Saren","id":"4323B49C-F248-11E8-B48F-1D18A9856A87","first_name":"Saren","last_name":"Tasciyan","orcid":"0000-0003-1671-393X"},{"full_name":"Nicolas, Armel","first_name":"Armel","id":"2A103192-F248-11E8-B48F-1D18A9856A87","last_name":"Nicolas"},{"first_name":"Christoph M","id":"4DF26D8C-F248-11E8-B48F-1D18A9856A87","last_name":"Sommer","orcid":"0000-0003-1216-9105","full_name":"Sommer, Christoph M"},{"full_name":"Kreuzinger, Caroline","id":"382077BA-F248-11E8-B48F-1D18A9856A87","first_name":"Caroline","last_name":"Kreuzinger"},{"id":"3B2ABCF4-F248-11E8-B48F-1D18A9856A87","first_name":"Lisa","last_name":"Knaus","full_name":"Knaus, Lisa"},{"id":"D23090A2-9057-11EA-883A-A8396FC7A38F","first_name":"Zoe","last_name":"Dobler","full_name":"Dobler, Zoe"},{"full_name":"Cacci, Emanuele","last_name":"Cacci","first_name":"Emanuele"},{"full_name":"Danzl, Johann G","orcid":"0000-0001-8559-3973","last_name":"Danzl","first_name":"Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Novarino, Gaia","last_name":"Novarino","orcid":"0000-0002-7673-7178","first_name":"Gaia","id":"3E57A680-F248-11E8-B48F-1D18A9856A87"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"department":[{"_id":"DaAl"}],"article_processing_charge":"No","language":[{"iso":"eng"}],"publisher":"Association for Computing Machinery","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"full_name":"Czumaj, Artur","first_name":"Artur","orcid":"0000-0002-5646-9524","last_name":"Czumaj"},{"orcid":"0000-0002-5646-9524","last_name":"Davies","first_name":"Peter","id":"11396234-BB50-11E9-B24C-90FCE5697425","full_name":"Davies, Peter"},{"full_name":"Parter, Merav","last_name":"Parter","first_name":"Merav"}],"title":"Graph sparsification for derandomizing massively parallel computation with low space","publication_status":"published","project":[{"call_identifier":"H2020","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"type":"conference","scopus_import":"1","abstract":[{"text":"The Massively Parallel Computation (MPC) model is an emerging model which distills core  aspects of distributed and parallel computation. It has been developed as a tool to solve (typically graph) problems in systems where the input is distributed over many machines with limited space.\r\n\t\r\nRecent work has focused on the regime in which machines have sublinear (in $n$, the number of nodes in the input graph) space, with randomized algorithms presented for fundamental graph problems of Maximal Matching and Maximal Independent Set. However, there have been no prior corresponding deterministic algorithms.\r\n\t\r\n\tA major challenge underlying the sublinear space setting is that the local space of each machine might be too small to store all the edges incident to a single node. This poses a considerable obstacle compared to the classical models in which each node is assumed to know and have easy access to its incident edges. To overcome this barrier we introduce a new graph sparsification technique that deterministically computes a low-degree subgraph with additional desired properties. The degree of the nodes in this subgraph is small in the sense that the edges of each node can be now stored on a single machine. This low-degree subgraph also has the property that solving the problem on this subgraph provides \\emph{significant} global progress, i.e., progress towards solving the problem for the original input graph.\r\n\t\r\nUsing this framework to derandomize the well-known randomized algorithm of Luby [SICOMP'86], we obtain $O(\\log \\Delta+\\log\\log n)$-round deterministic MPC algorithms for solving the fundamental problems of Maximal Matching and Maximal Independent Set with $O(n^{\\epsilon})$ space on each machine for any constant $\\epsilon > 0$. Based on the recent work of Ghaffari et al. [FOCS'18], this additive $O(\\log\\log n)$ factor is conditionally essential. These algorithms can also be shown to run in $O(\\log \\Delta)$ rounds in the closely related model of CONGESTED CLIQUE, improving upon the state-of-the-art bound of $O(\\log^2 \\Delta)$ rounds by Censor-Hillel et al. [DISC'17].","lang":"eng"}],"arxiv":1,"citation":{"chicago":"Czumaj, Artur, Peter Davies, and Merav Parter. “Graph Sparsification for Derandomizing Massively Parallel Computation with Low Space.” In <i>Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)</i>, 175–85. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3350755.3400282\">https://doi.org/10.1145/3350755.3400282</a>.","short":"A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, 2020, pp. 175–185.","ista":"Czumaj A, Davies P, Parter M. 2020. Graph sparsification for derandomizing massively parallel computation with low space. Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020). SPAA: Symposium on Parallelism in Algorithms and Architectures, 175–185.","ieee":"A. Czumaj, P. Davies, and M. Parter, “Graph sparsification for derandomizing massively parallel computation with low space,” in <i>Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)</i>, Virtual Event, United States, 2020, no. 7, pp. 175–185.","ama":"Czumaj A, Davies P, Parter M. Graph sparsification for derandomizing massively parallel computation with low space. In: <i>Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)</i>. Association for Computing Machinery; 2020:175-185. doi:<a href=\"https://doi.org/10.1145/3350755.3400282\">10.1145/3350755.3400282</a>","mla":"Czumaj, Artur, et al. “Graph Sparsification for Derandomizing Massively Parallel Computation with Low Space.” <i>Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)</i>, no. 7, Association for Computing Machinery, 2020, pp. 175–85, doi:<a href=\"https://doi.org/10.1145/3350755.3400282\">10.1145/3350755.3400282</a>.","apa":"Czumaj, A., Davies, P., &#38; Parter, M. (2020). Graph sparsification for derandomizing massively parallel computation with low space. In <i>Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)</i> (pp. 175–185). Virtual Event, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3350755.3400282\">https://doi.org/10.1145/3350755.3400282</a>"},"quality_controlled":"1","_id":"7802","conference":{"start_date":"2020-07-15","end_date":"2020-07-17","name":"SPAA: Symposium on Parallelism in Algorithms and Architectures","location":"Virtual Event, United States"},"page":"175-185","external_id":{"isi":["000744436200015"],"arxiv":["1912.05390"]},"year":"2020","month":"07","date_published":"2020-07-01T00:00:00Z","issue":"7","oa":1,"date_updated":"2024-02-28T12:53:09Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1912.05390"}],"doi":"10.1145/3350755.3400282","publication":"Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)","isi":1,"oa_version":"Preprint","ec_funded":1,"related_material":{"record":[{"relation":"later_version","status":"public","id":"9541"}]},"status":"public","day":"01","date_created":"2020-05-06T08:53:34Z"},{"citation":{"apa":"Czumaj, A., Davies, P., &#38; Parter, M. (2020). Simple, deterministic, constant-round coloring in the congested clique. In <i>Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing</i> (pp. 309–318). Salerno, Italy: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3382734.3405751\">https://doi.org/10.1145/3382734.3405751</a>","mla":"Czumaj, Artur, et al. “Simple, Deterministic, Constant-Round Coloring in the Congested Clique.” <i>Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing</i>, Association for Computing Machinery, 2020, pp. 309–18, doi:<a href=\"https://doi.org/10.1145/3382734.3405751\">10.1145/3382734.3405751</a>.","ieee":"A. Czumaj, P. Davies, and M. Parter, “Simple, deterministic, constant-round coloring in the congested clique,” in <i>Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing</i>, Salerno, Italy, 2020, pp. 309–318.","short":"A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 309–318.","ista":"Czumaj A, Davies P, Parter M. 2020. Simple, deterministic, constant-round coloring in the congested clique. Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing, 309–318.","ama":"Czumaj A, Davies P, Parter M. Simple, deterministic, constant-round coloring in the congested clique. In: <i>Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing</i>. Association for Computing Machinery; 2020:309-318. doi:<a href=\"https://doi.org/10.1145/3382734.3405751\">10.1145/3382734.3405751</a>","chicago":"Czumaj, Artur, Peter Davies, and Merav Parter. “Simple, Deterministic, Constant-Round Coloring in the Congested Clique.” In <i>Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing</i>, 309–18. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3382734.3405751\">https://doi.org/10.1145/3382734.3405751</a>."},"file_date_updated":"2020-10-08T08:17:36Z","type":"conference","abstract":[{"lang":"eng","text":"We settle the complexity of the (Δ+1)-coloring and (Δ+1)-list coloring problems in the CONGESTED CLIQUE model by presenting a simple deterministic algorithm for both problems running in a constant number of rounds. This matches the complexity of the recent breakthrough randomized constant-round (Δ+1)-list coloring algorithm due to Chang et al. (PODC'19), and significantly improves upon the state-of-the-art O(logΔ)-round deterministic (Δ+1)-coloring bound of Parter (ICALP'18).\r\nA remarkable property of our algorithm is its simplicity. Whereas the state-of-the-art randomized algorithms for this problem are based on the quite involved local coloring algorithm of Chang et al. (STOC'18), our algorithm can be described in just a few lines. At a high level, it applies a careful derandomization of a recursive procedure which partitions the nodes and their respective palettes into separate bins. We show that after O(1) recursion steps, the remaining uncolored subgraph within each bin has linear size, and thus can be solved locally by collecting it to a single node. This algorithm can also be implemented in the Massively Parallel Computation (MPC) model provided that each machine has linear (in n, the number of nodes in the input graph) space.\r\nWe also show an extension of our algorithm to the MPC regime in which machines have sublinear space: we present the first deterministic (Δ+1)-list coloring algorithm designed for sublinear-space MPC, which runs in O(logΔ+loglogn) rounds."}],"arxiv":1,"_id":"7803","quality_controlled":"1","project":[{"grant_number":"754411","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships"}],"publication_status":"published","has_accepted_license":"1","publisher":"Association for Computing Machinery","file":[{"access_level":"open_access","relation":"main_file","checksum":"46fe4fc58a64eb04068115573f631d4c","creator":"pdavies","file_size":520051,"content_type":"application/pdf","file_id":"8624","date_created":"2020-10-08T08:17:36Z","date_updated":"2020-10-08T08:17:36Z","file_name":"ColoringArxiv.pdf","success":1}],"title":"Simple, deterministic, constant-round coloring in the congested clique","author":[{"orcid":"0000-0002-5646-9524","last_name":"Czumaj","first_name":"Artur","full_name":"Czumaj, Artur"},{"id":"11396234-BB50-11E9-B24C-90FCE5697425","first_name":"Peter","orcid":"0000-0002-5646-9524","last_name":"Davies","full_name":"Davies, Peter"},{"full_name":"Parter, Merav","last_name":"Parter","first_name":"Merav"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","department":[{"_id":"DaAl"}],"language":[{"iso":"eng"}],"date_created":"2020-05-06T09:02:14Z","ddc":["000"],"status":"public","day":"01","doi":"10.1145/3382734.3405751","publication":"Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing","ec_funded":1,"oa_version":"Submitted Version","month":"07","date_published":"2020-07-01T00:00:00Z","date_updated":"2021-01-12T08:15:37Z","oa":1,"external_id":{"arxiv":["2009.06043"]},"page":"309-318","conference":{"location":"Salerno, Italy","name":"PODC: Symposium on Principles of Distributed Computing","end_date":"2020-08-07","start_date":"2020-08-03"},"year":"2020"},{"oa_version":"Published Version","isi":1,"publication":"Nature Communications","doi":"10.1038/s41467-020-15872-y","status":"public","day":"29","ddc":["570"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2020-05-10T22:00:47Z","volume":11,"year":"2020","external_id":{"isi":["000531855500029"]},"oa":1,"date_updated":"2023-08-21T06:21:14Z","article_number":"2099","date_published":"2020-04-29T00:00:00Z","intvolume":"        11","month":"04","publication_status":"published","quality_controlled":"1","_id":"7804","abstract":[{"lang":"eng","text":"Besides pro-inflammatory roles, the ancient cytokine interleukin-17 (IL-17) modulates neural circuit function. We investigate IL-17 signaling in neurons, and the extent it can alter organismal phenotypes. We combine immunoprecipitation and mass spectrometry to biochemically characterize endogenous signaling complexes that function downstream of IL-17 receptors in C. elegans neurons. We identify the paracaspase MALT-1 as a critical output of the pathway. MALT1 mediates signaling from many immune receptors in mammals, but was not previously implicated in IL-17 signaling or nervous system function. C. elegans MALT-1 forms a complex with homologs of Act1 and IRAK and appears to function both as a scaffold and a protease. MALT-1 is expressed broadly in the C. elegans nervous system, and neuronal IL-17–MALT-1 signaling regulates multiple phenotypes, including escape behavior, associative learning, immunity and longevity. Our data suggest MALT1 has an ancient role modulating neural circuit function downstream of IL-17 to remodel physiology and behavior."}],"scopus_import":"1","type":"journal_article","file_date_updated":"2020-07-14T12:48:03Z","publication_identifier":{"eissn":["20411723"]},"citation":{"ama":"Flynn SM, Chen C, Artan M, et al. MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-020-15872-y\">10.1038/s41467-020-15872-y</a>","ieee":"S. M. Flynn <i>et al.</i>, “MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020.","short":"S.M. Flynn, C. Chen, M. Artan, S. Barratt, A. Crisp, G.M. Nelson, S.Y. Peak-Chew, F. Begum, M. Skehel, M. de Bono, Nature Communications 11 (2020).","ista":"Flynn SM, Chen C, Artan M, Barratt S, Crisp A, Nelson GM, Peak-Chew SY, Begum F, Skehel M, de Bono M. 2020. MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity. Nature Communications. 11, 2099.","chicago":"Flynn, Sean M., Changchun Chen, Murat Artan, Stephen Barratt, Alastair Crisp, Geoffrey M. Nelson, Sew Yeu Peak-Chew, Farida Begum, Mark Skehel, and Mario de Bono. “MALT-1 Mediates IL-17 Neural Signaling to Regulate C. Elegans Behavior, Immunity and Longevity.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-15872-y\">https://doi.org/10.1038/s41467-020-15872-y</a>.","apa":"Flynn, S. M., Chen, C., Artan, M., Barratt, S., Crisp, A., Nelson, G. M., … de Bono, M. (2020). MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-15872-y\">https://doi.org/10.1038/s41467-020-15872-y</a>","mla":"Flynn, Sean M., et al. “MALT-1 Mediates IL-17 Neural Signaling to Regulate C. Elegans Behavior, Immunity and Longevity.” <i>Nature Communications</i>, vol. 11, 2099, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-15872-y\">10.1038/s41467-020-15872-y</a>."},"article_type":"original","language":[{"iso":"eng"}],"department":[{"_id":"MaDe"}],"article_processing_charge":"No","author":[{"first_name":"Sean M.","last_name":"Flynn","full_name":"Flynn, Sean M."},{"full_name":"Chen, Changchun","first_name":"Changchun","last_name":"Chen"},{"full_name":"Artan, Murat","first_name":"Murat","id":"C407B586-6052-11E9-B3AE-7006E6697425","orcid":"0000-0001-8945-6992","last_name":"Artan"},{"last_name":"Barratt","first_name":"Stephen","full_name":"Barratt, Stephen"},{"first_name":"Alastair","last_name":"Crisp","full_name":"Crisp, Alastair"},{"full_name":"Nelson, Geoffrey M.","last_name":"Nelson","first_name":"Geoffrey M."},{"full_name":"Peak-Chew, Sew Yeu","first_name":"Sew Yeu","last_name":"Peak-Chew"},{"last_name":"Begum","first_name":"Farida","full_name":"Begum, Farida"},{"first_name":"Mark","last_name":"Skehel","full_name":"Skehel, Mark"},{"orcid":"0000-0001-8347-0443","last_name":"De Bono","first_name":"Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","full_name":"De Bono, Mario"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity and longevity","file":[{"file_name":"2020_NatureComm_Flynn.pdf","date_updated":"2020-07-14T12:48:03Z","date_created":"2020-05-11T10:36:33Z","file_size":4609120,"creator":"dernst","content_type":"application/pdf","file_id":"7817","checksum":"dce367abf2c1a1d15f58fe6f7de82893","access_level":"open_access","relation":"main_file"}],"publisher":"Springer Nature","has_accepted_license":"1"},{"has_accepted_license":"1","publisher":"Springer Nature","title":"Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance","author":[{"orcid":"0000-0003-3638-1426","last_name":"Hurny","first_name":"Andrej","id":"4DC4AF46-F248-11E8-B48F-1D18A9856A87","full_name":"Hurny, Andrej"},{"last_name":"Cuesta","orcid":"0000-0003-1923-2410","id":"33A3C818-F248-11E8-B48F-1D18A9856A87","first_name":"Candela","full_name":"Cuesta, Candela"},{"last_name":"Cavallari","first_name":"Nicola","id":"457160E6-F248-11E8-B48F-1D18A9856A87","full_name":"Cavallari, Nicola"},{"id":"29B901B0-F248-11E8-B48F-1D18A9856A87","first_name":"Krisztina","orcid":"0000-0002-5503-4983","last_name":"Ötvös","full_name":"Ötvös, Krisztina"},{"first_name":"Jerome","last_name":"Duclercq","full_name":"Duclercq, Jerome"},{"last_name":"Dokládal","first_name":"Ladislav","full_name":"Dokládal, Ladislav"},{"orcid":"0000-0001-9179-6099","last_name":"Montesinos López","first_name":"Juan C","id":"310A8E3E-F248-11E8-B48F-1D18A9856A87","full_name":"Montesinos López, Juan C"},{"id":"460C6802-F248-11E8-B48F-1D18A9856A87","first_name":"Marçal","last_name":"Gallemi","orcid":"0000-0003-4675-6893","full_name":"Gallemi, Marçal"},{"id":"42FE702E-F248-11E8-B48F-1D18A9856A87","first_name":"Hana","last_name":"Semeradova","full_name":"Semeradova, Hana"},{"id":"A0385D1A-9376-11EA-A47D-9862C5E3AB22","first_name":"Thomas","last_name":"Rauter","full_name":"Rauter, Thomas"},{"full_name":"Stenzel, Irene","last_name":"Stenzel","first_name":"Irene"},{"first_name":"Geert","last_name":"Persiau","full_name":"Persiau, Geert"},{"full_name":"Benade, Freia","first_name":"Freia","last_name":"Benade"},{"full_name":"Bhalearo, Rishikesh","last_name":"Bhalearo","first_name":"Rishikesh"},{"full_name":"Sýkorová, Eva","last_name":"Sýkorová","first_name":"Eva"},{"last_name":"Gorzsás","first_name":"András","full_name":"Gorzsás, András"},{"last_name":"Sechet","first_name":"Julien","full_name":"Sechet, Julien"},{"full_name":"Mouille, Gregory","last_name":"Mouille","first_name":"Gregory"},{"last_name":"Heilmann","first_name":"Ingo","full_name":"Heilmann, Ingo"},{"full_name":"De Jaeger, Geert","last_name":"De Jaeger","first_name":"Geert"},{"last_name":"Ludwig-Müller","first_name":"Jutta","full_name":"Ludwig-Müller, Jutta"},{"full_name":"Benková, Eva","last_name":"Benková","orcid":"0000-0002-8510-9739","first_name":"Eva","id":"38F4F166-F248-11E8-B48F-1D18A9856A87"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","file":[{"date_created":"2020-10-06T07:47:53Z","date_updated":"2020-10-06T07:47:53Z","file_name":"2020_NatureComm_Hurny.pdf","success":1,"checksum":"2cba327c9e9416d75cb96be54b0fb441","relation":"main_file","access_level":"open_access","creator":"dernst","file_size":4743576,"content_type":"application/pdf","file_id":"8614"}],"article_processing_charge":"No","department":[{"_id":"EvBe"}],"language":[{"iso":"eng"}],"article_type":"original","publication_identifier":{"eissn":["20411723"]},"citation":{"apa":"Hurny, A., Cuesta, C., Cavallari, N., Ötvös, K., Duclercq, J., Dokládal, L., … Benková, E. (2020). Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-15895-5\">https://doi.org/10.1038/s41467-020-15895-5</a>","mla":"Hurny, Andrej, et al. “Synergistic on Auxin and Cytokinin 1 Positively Regulates Growth and Attenuates Soil Pathogen Resistance.” <i>Nature Communications</i>, vol. 11, 2170, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-15895-5\">10.1038/s41467-020-15895-5</a>.","ama":"Hurny A, Cuesta C, Cavallari N, et al. Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-020-15895-5\">10.1038/s41467-020-15895-5</a>","ista":"Hurny A, Cuesta C, Cavallari N, Ötvös K, Duclercq J, Dokládal L, Montesinos López JC, Gallemi M, Semerádová H, Rauter T, Stenzel I, Persiau G, Benade F, Bhalearo R, Sýkorová E, Gorzsás A, Sechet J, Mouille G, Heilmann I, De Jaeger G, Ludwig-Müller J, Benková E. 2020. Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance. Nature Communications. 11, 2170.","ieee":"A. Hurny <i>et al.</i>, “Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020.","short":"A. Hurny, C. Cuesta, N. Cavallari, K. Ötvös, J. Duclercq, L. Dokládal, J.C. Montesinos López, M. Gallemi, H. Semerádová, T. Rauter, I. Stenzel, G. Persiau, F. Benade, R. Bhalearo, E. Sýkorová, A. Gorzsás, J. Sechet, G. Mouille, I. Heilmann, G. De Jaeger, J. Ludwig-Müller, E. Benková, Nature Communications 11 (2020).","chicago":"Hurny, Andrej, Candela Cuesta, Nicola Cavallari, Krisztina Ötvös, Jerome Duclercq, Ladislav Dokládal, Juan C Montesinos López, et al. “Synergistic on Auxin and Cytokinin 1 Positively Regulates Growth and Attenuates Soil Pathogen Resistance.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-15895-5\">https://doi.org/10.1038/s41467-020-15895-5</a>."},"abstract":[{"lang":"eng","text":"Plants as non-mobile organisms constantly integrate varying environmental signals to flexibly adapt their growth and development. Local fluctuations in water and nutrient availability, sudden changes in temperature or other abiotic and biotic stresses can trigger changes in the growth of plant organs. Multiple mutually interconnected hormonal signaling cascades act as essential endogenous translators of these exogenous signals in the adaptive responses of plants. Although the molecular backbones of hormone transduction pathways have been identified, the mechanisms underlying their interactions are largely unknown. Here, using genome wide transcriptome profiling we identify an auxin and cytokinin cross-talk component; SYNERGISTIC ON AUXIN AND CYTOKININ 1 (SYAC1), whose expression in roots is strictly dependent on both of these hormonal pathways. We show that SYAC1 is a regulator of secretory pathway, whose enhanced activity interferes with deposition of cell wall components and can fine-tune organ growth and sensitivity to soil pathogens."}],"scopus_import":"1","file_date_updated":"2020-10-06T07:47:53Z","type":"journal_article","_id":"7805","quality_controlled":"1","project":[{"_id":"2542D156-B435-11E9-9278-68D0E5697425","name":"Hormone cross-talk drives nutrient dependent plant development","call_identifier":"FWF","grant_number":"I 1774-B16"},{"_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7","grant_number":"291734"}],"publication_status":"published","date_published":"2020-05-01T00:00:00Z","month":"05","intvolume":"        11","article_number":"2170","acknowledgement":"We thank Daria Siekhaus, Jiri Friml and Alexander Johnson for critical reading of the manuscript, Peter Pimpl, Christian Luschnig and Liwen Jiang for sharing published material, Lesia Rodriguez Solovey for technical assistance. This work was supported by the Austrian Science Fund (FWF01_I1774S) to A.H., K.Ö., and E.B., the German Research Foundation (DFG; He3424/6-1 to I.H.), by the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement n° [291734] (to N.C.), by the EU in the framework of the Marie-Curie FP7 COFUND People Programme through the award of an AgreenSkills+ fellowship No. 609398 (to J.S.) and by the Scientific Service Units of IST-Austria through resources provided by the Bioimaging Facility, the Life Science Facility. The IJPB benefits from the support of Saclay Plant Sciences-SPS (ANR-17-EUR-0007).","date_updated":"2023-08-21T06:21:56Z","oa":1,"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"external_id":{"pmid":["32358503"],"isi":["000531425900012"]},"year":"2020","volume":11,"pmid":1,"ddc":["570"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2020-05-10T22:00:48Z","status":"public","day":"01","publication":"Nature Communications","doi":"10.1038/s41467-020-15895-5","oa_version":"Published Version","ec_funded":1,"isi":1},{"year":"2020","page":"767-785","conference":{"location":"Salt Lake City, UT, United States","name":"SODA: Symposium on Discrete Algorithms","end_date":"2020-01-08","start_date":"2020-01-05"},"date_updated":"2021-01-12T08:15:38Z","oa":1,"date_published":"2020-01-01T00:00:00Z","month":"01","oa_version":"Published Version","publication":"Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms","doi":"10.1137/1.9781611975994.47","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1137/1.9781611975994.47"}],"date_created":"2020-05-10T22:00:48Z","day":"01","status":"public","volume":"2020-January","language":[{"iso":"eng"}],"article_processing_charge":"No","department":[{"_id":"UlWa"}],"title":"Embeddability of simplicial complexes is undecidable","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Filakovský, Marek","id":"3E8AF77E-F248-11E8-B48F-1D18A9856A87","first_name":"Marek","last_name":"Filakovský"},{"full_name":"Wagner, Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","first_name":"Uli","orcid":"0000-0002-1494-0568","last_name":"Wagner"},{"last_name":"Zhechev","first_name":"Stephan Y","id":"3AA52972-F248-11E8-B48F-1D18A9856A87","full_name":"Zhechev, Stephan Y"}],"publisher":"SIAM","project":[{"grant_number":"P31312","call_identifier":"FWF","name":"Algorithms for Embeddings and Homotopy Theory","_id":"26611F5C-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","_id":"7806","quality_controlled":"1","citation":{"ieee":"M. Filakovský, U. Wagner, and S. Y. Zhechev, “Embeddability of simplicial complexes is undecidable,” in <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms</i>, Salt Lake City, UT, United States, 2020, vol. 2020–January, pp. 767–785.","short":"M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.","ista":"Filakovský M, Wagner U, Zhechev SY. 2020. Embeddability of simplicial complexes is undecidable. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January, 767–785.","ama":"Filakovský M, Wagner U, Zhechev SY. Embeddability of simplicial complexes is undecidable. In: <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms</i>. Vol 2020-January. SIAM; 2020:767-785. doi:<a href=\"https://doi.org/10.1137/1.9781611975994.47\">10.1137/1.9781611975994.47</a>","chicago":"Filakovský, Marek, Uli Wagner, and Stephan Y Zhechev. “Embeddability of Simplicial Complexes Is Undecidable.” In <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms</i>, 2020–January:767–85. SIAM, 2020. <a href=\"https://doi.org/10.1137/1.9781611975994.47\">https://doi.org/10.1137/1.9781611975994.47</a>.","apa":"Filakovský, M., Wagner, U., &#38; Zhechev, S. Y. (2020). Embeddability of simplicial complexes is undecidable. In <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms</i> (Vol. 2020–January, pp. 767–785). Salt Lake City, UT, United States: SIAM. <a href=\"https://doi.org/10.1137/1.9781611975994.47\">https://doi.org/10.1137/1.9781611975994.47</a>","mla":"Filakovský, Marek, et al. “Embeddability of Simplicial Complexes Is Undecidable.” <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms</i>, vol. 2020–January, SIAM, 2020, pp. 767–85, doi:<a href=\"https://doi.org/10.1137/1.9781611975994.47\">10.1137/1.9781611975994.47</a>."},"publication_identifier":{"isbn":["9781611975994"]},"abstract":[{"lang":"eng","text":"We consider the following decision problem EMBEDk→d in computational topology (where k ≤ d are fixed positive integers): Given a finite simplicial complex K of dimension k, does there exist a (piecewise-linear) embedding of K into ℝd?\r\nThe special case EMBED1→2 is graph planarity, which is decidable in linear time, as shown by Hopcroft and Tarjan. In higher dimensions, EMBED2→3 and EMBED3→3 are known to be decidable (as well as NP-hard), and recent results of Čadek et al. in computational homotopy theory, in combination with the classical Haefliger–Weber theorem in geometric topology, imply that EMBEDk→d can be solved in polynomial time for any fixed pair (k, d) of dimensions in the so-called metastable range .\r\nHere, by contrast, we prove that EMBEDk→d is algorithmically undecidable for almost all pairs of dimensions outside the metastable range, namely for . This almost completely resolves the decidability vs. undecidability of EMBEDk→d in higher dimensions and establishes a sharp dichotomy between polynomial-time solvability and undecidability.\r\nOur result complements (and in a wide range of dimensions strengthens) earlier results of Matoušek, Tancer, and the second author, who showed that EMBEDk→d is undecidable for 4 ≤ k ϵ {d – 1, d}, and NP-hard for all remaining pairs (k, d) outside the metastable range and satisfying d ≥ 4."}],"scopus_import":1,"type":"conference"},{"year":"2020","external_id":{"arxiv":["2003.13557"]},"page":"2823-2841","conference":{"location":"Salt Lake City, UT, United States","name":"SODA: Symposium on Discrete Algorithms","start_date":"2020-01-05","end_date":"2020-01-08"},"date_updated":"2023-08-04T08:51:07Z","oa":1,"date_published":"2020-01-01T00:00:00Z","month":"01","related_material":{"record":[{"id":"12129","relation":"later_version","status":"public"}]},"oa_version":"Submitted Version","publication":"Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms","doi":"10.1137/1.9781611975994.172","main_file_link":[{"url":"https://doi.org/10.1137/1.9781611975994.172","open_access":"1"}],"date_created":"2020-05-10T22:00:48Z","status":"public","day":"01","volume":"2020-January","language":[{"iso":"eng"}],"article_processing_charge":"No","department":[{"_id":"UlWa"}],"title":"Connectivity of triangulation flip graphs in the plane (Part I: Edge flips)","author":[{"full_name":"Wagner, Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","first_name":"Uli","orcid":"0000-0002-1494-0568","last_name":"Wagner"},{"last_name":"Welzl","first_name":"Emo","full_name":"Welzl, Emo"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"SIAM","publication_status":"published","_id":"7807","quality_controlled":"1","citation":{"apa":"Wagner, U., &#38; Welzl, E. (2020). Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). In <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms</i> (Vol. 2020–January, pp. 2823–2841). Salt Lake City, UT, United States: SIAM. <a href=\"https://doi.org/10.1137/1.9781611975994.172\">https://doi.org/10.1137/1.9781611975994.172</a>","mla":"Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane (Part I: Edge Flips).” <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms</i>, vol. 2020–January, SIAM, 2020, pp. 2823–41, doi:<a href=\"https://doi.org/10.1137/1.9781611975994.172\">10.1137/1.9781611975994.172</a>.","ista":"Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January, 2823–2841.","ieee":"U. Wagner and E. Welzl, “Connectivity of triangulation flip graphs in the plane (Part I: Edge flips),” in <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms</i>, Salt Lake City, UT, United States, 2020, vol. 2020–January, pp. 2823–2841.","short":"U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.","ama":"Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). In: <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms</i>. Vol 2020-January. SIAM; 2020:2823-2841. doi:<a href=\"https://doi.org/10.1137/1.9781611975994.172\">10.1137/1.9781611975994.172</a>","chicago":"Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane (Part I: Edge Flips).” In <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms</i>, 2020–January:2823–41. SIAM, 2020. <a href=\"https://doi.org/10.1137/1.9781611975994.172\">https://doi.org/10.1137/1.9781611975994.172</a>."},"publication_identifier":{"isbn":["9781611975994"]},"abstract":[{"lang":"eng","text":"In a straight-line embedded triangulation of a point set P in the plane, removing an inner edge and—provided the resulting quadrilateral is convex—adding the other diagonal is called an edge flip. The (edge) flip graph has all triangulations as vertices, and a pair of triangulations is adjacent if they can be obtained from each other by an edge flip. The goal of this paper is to contribute to a better understanding of the flip graph, with an emphasis on its connectivity.\r\nFor sets in general position, it is known that every triangulation allows at least edge flips (a tight bound) which gives the minimum degree of any flip graph for n points. We show that for every point set P in general position, the flip graph is at least -vertex connected. Somewhat more strongly, we show that the vertex connectivity equals the minimum degree occurring in the flip graph, i.e. the minimum number of flippable edges in any triangulation of P, provided P is large enough. Finally, we exhibit some of the geometry of the flip graph by showing that the flip graph can be covered by 1-skeletons of polytopes of dimension (products of associahedra).\r\nA corresponding result ((n – 3)-vertex connectedness) can be shown for the bistellar flip graph of partial triangulations, i.e. the set of all triangulations of subsets of P which contain all extreme points of P. This will be treated separately in a second part."}],"scopus_import":1,"arxiv":1,"type":"conference"},{"_id":"7808","quality_controlled":"1","publication_identifier":{"eissn":["16113349"],"isbn":["9783030452360"],"issn":["03029743"]},"citation":{"mla":"Giacobbe, Mirco, et al. “How Many Bits Does It Take to Quantize Your Neural Network?” <i>International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 12079, Springer Nature, 2020, pp. 79–97, doi:<a href=\"https://doi.org/10.1007/978-3-030-45237-7_5\">10.1007/978-3-030-45237-7_5</a>.","apa":"Giacobbe, M., Henzinger, T. A., &#38; Lechner, M. (2020). How many bits does it take to quantize your neural network? In <i>International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 12079, pp. 79–97). Dublin, Ireland: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-45237-7_5\">https://doi.org/10.1007/978-3-030-45237-7_5</a>","chicago":"Giacobbe, Mirco, Thomas A Henzinger, and Mathias Lechner. “How Many Bits Does It Take to Quantize Your Neural Network?” In <i>International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, 12079:79–97. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-45237-7_5\">https://doi.org/10.1007/978-3-030-45237-7_5</a>.","ama":"Giacobbe M, Henzinger TA, Lechner M. How many bits does it take to quantize your neural network? In: <i>International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 12079. Springer Nature; 2020:79-97. doi:<a href=\"https://doi.org/10.1007/978-3-030-45237-7_5\">10.1007/978-3-030-45237-7_5</a>","ieee":"M. Giacobbe, T. A. Henzinger, and M. Lechner, “How many bits does it take to quantize your neural network?,” in <i>International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, Dublin, Ireland, 2020, vol. 12079, pp. 79–97.","short":"M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.","ista":"Giacobbe M, Henzinger TA, Lechner M. 2020. How many bits does it take to quantize your neural network? International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 12079, 79–97."},"file_date_updated":"2020-07-14T12:48:03Z","type":"conference","abstract":[{"text":"Quantization converts neural networks into low-bit fixed-point computations which can be carried out by efficient integer-only hardware, and is standard practice for the deployment of neural networks on real-time embedded devices. However, like their real-numbered counterpart, quantized networks are not immune to malicious misclassification caused by adversarial attacks. We investigate how quantization affects a network’s robustness to adversarial attacks, which is a formal verification question. We show that neither robustness nor non-robustness are monotonic with changing the number of bits for the representation and, also, neither are preserved by quantization from a real-numbered network. For this reason, we introduce a verification method for quantized neural networks which, using SMT solving over bit-vectors, accounts for their exact, bit-precise semantics. We built a tool and analyzed the effect of quantization on a classifier for the MNIST dataset. We demonstrate that, compared to our method, existing methods for the analysis of real-numbered networks often derive false conclusions about their quantizations, both when determining robustness and when detecting attacks, and that existing methods for quantized networks often miss attacks. Furthermore, we applied our method beyond robustness, showing how the number of bits in quantization enlarges the gender bias of a predictor for students’ grades.","lang":"eng"}],"scopus_import":1,"project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23"},{"grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"}],"publication_status":"published","file":[{"file_size":2744030,"creator":"dernst","content_type":"application/pdf","file_id":"7893","checksum":"f19905a42891fe5ce93d69143fa3f6fb","access_level":"open_access","relation":"main_file","file_name":"2020_TACAS_Giacobbe.pdf","date_created":"2020-05-26T12:48:15Z","date_updated":"2020-07-14T12:48:03Z"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"How many bits does it take to quantize your neural network?","author":[{"orcid":"0000-0001-8180-0904","last_name":"Giacobbe","first_name":"Mirco","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87","full_name":"Giacobbe, Mirco"},{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000-0002-2985-7724"},{"last_name":"Lechner","first_name":"Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias"}],"has_accepted_license":"1","publisher":"Springer Nature","language":[{"iso":"eng"}],"article_processing_charge":"No","department":[{"_id":"ToHe"}],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["000"],"date_created":"2020-05-10T22:00:49Z","status":"public","day":"17","volume":12079,"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"11362"}]},"oa_version":"Published Version","doi":"10.1007/978-3-030-45237-7_5","publication":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","date_updated":"2023-06-23T07:01:11Z","oa":1,"intvolume":"     12079","month":"04","date_published":"2020-04-17T00:00:00Z","alternative_title":["LNCS"],"year":"2020","page":"79-97","conference":{"location":"Dublin, Ireland","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","start_date":"2020-04-25","end_date":"2020-04-30"}},{"project":[{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF"},{"name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425","grant_number":"ICT15-003"},{"_id":"266EEEC0-B435-11E9-9278-68D0E5697425","name":"Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts"},{"name":"Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies","_id":"267066CE-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","_id":"7810","quality_controlled":"1","publication_identifier":{"issn":["03029743"],"eissn":["16113349"],"isbn":["9783030449131"]},"citation":{"apa":"Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &#38; Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In <i>European Symposium on Programming</i> (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-44914-8_5\">https://doi.org/10.1007/978-3-030-44914-8_5</a>","mla":"Chatterjee, Krishnendu, et al. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” <i>European Symposium on Programming</i>, vol. 12075, Springer Nature, 2020, pp. 112–40, doi:<a href=\"https://doi.org/10.1007/978-3-030-44914-8_5\">10.1007/978-3-030-44914-8_5</a>.","ieee":"K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal and perfectly parallel algorithms for on-demand data-flow analysis,” in <i>European Symposium on Programming</i>, Dublin, Ireland, 2020, vol. 12075, pp. 112–140.","ista":"Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2020. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. European Symposium on Programming. ESOP: Programming Languages and Systems, LNCS, vol. 12075, 112–140.","short":"K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.","ama":"Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In: <i>European Symposium on Programming</i>. Vol 12075. Springer Nature; 2020:112-140. doi:<a href=\"https://doi.org/10.1007/978-3-030-44914-8_5\">10.1007/978-3-030-44914-8_5</a>","chicago":"Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” In <i>European Symposium on Programming</i>, 12075:112–40. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-44914-8_5\">https://doi.org/10.1007/978-3-030-44914-8_5</a>."},"abstract":[{"lang":"eng","text":"Interprocedural data-flow analyses form an expressive and useful paradigm of numerous static analysis applications, such as live variables analysis, alias analysis and null pointers analysis. The most widely-used framework for interprocedural data-flow analysis is IFDS, which encompasses distributive data-flow functions over a finite domain. On-demand data-flow analyses restrict the focus of the analysis on specific program locations and data facts. This setting provides a natural split between (i) an offline (or preprocessing) phase, where the program is partially analyzed and analysis summaries are created, and (ii) an online (or query) phase, where analysis queries arrive on demand and the summaries are used to speed up answering queries.\r\nIn this work, we consider on-demand IFDS analyses where the queries concern program locations of the same procedure (aka same-context queries). We exploit the fact that flow graphs of programs have low treewidth to develop faster algorithms that are space and time optimal for many common data-flow analyses, in both the preprocessing and the query phase. We also use treewidth to develop query solutions that are embarrassingly parallelizable, i.e. the total work for answering each query is split to a number of threads such that each thread performs only a constant amount of work. Finally, we implement a static analyzer based on our algorithms, and perform a series of on-demand analysis experiments on standard benchmarks. Our experimental results show a drastic speed-up of the queries after only a lightweight preprocessing phase, which significantly outperforms existing techniques."}],"scopus_import":"1","type":"conference","file_date_updated":"2020-07-14T12:48:03Z","language":[{"iso":"eng"}],"article_processing_charge":"No","department":[{"_id":"KrCh"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu"},{"first_name":"Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1702-6584","last_name":"Goharshady","full_name":"Goharshady, Amir Kafshdar"},{"full_name":"Ibsen-Jensen, Rasmus","first_name":"Rasmus","id":"3B699956-F248-11E8-B48F-1D18A9856A87","last_name":"Ibsen-Jensen","orcid":"0000-0003-4783-0389"},{"first_name":"Andreas","id":"49704004-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8943-0722","last_name":"Pavlogiannis","full_name":"Pavlogiannis, Andreas"}],"title":"Optimal and perfectly parallel algorithms for on-demand data-flow analysis","file":[{"file_size":651250,"creator":"dernst","file_id":"7895","content_type":"application/pdf","checksum":"8618b80f4cf7b39a60e61a6445ad9807","relation":"main_file","access_level":"open_access","file_name":"2020_LNCS_Chatterjee.pdf","date_created":"2020-05-26T13:34:48Z","date_updated":"2020-07-14T12:48:03Z"}],"has_accepted_license":"1","publisher":"Springer Nature","related_material":{"record":[{"id":"8934","relation":"dissertation_contains","status":"public"}]},"oa_version":"Published Version","isi":1,"publication":"European Symposium on Programming","doi":"10.1007/978-3-030-44914-8_5","ddc":["000"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2020-05-10T22:00:50Z","day":"18","status":"public","volume":12075,"year":"2020","page":"112-140","external_id":{"isi":["000681656800005"]},"conference":{"name":"ESOP: Programming Languages and Systems","end_date":"2020-04-30","start_date":"2020-04-25","location":"Dublin, Ireland"},"date_updated":"2025-06-02T08:53:42Z","oa":1,"date_published":"2020-04-18T00:00:00Z","alternative_title":["LNCS"],"intvolume":"     12075","month":"04"}]