[{"publication_identifier":{"issn":["2399-3642"]},"scopus_import":"1","date_published":"2019-11-15T00:00:00Z","external_id":{"isi":["000496767800005"]},"file":[{"access_level":"open_access","checksum":"c63c69a264fc8a0e52f2b0d482f3bdae","file_name":"2019_CommunicBiology_Nagano.pdf","date_updated":"2020-07-14T12:47:49Z","file_id":"7098","creator":"dernst","content_type":"application/pdf","file_size":2626069,"date_created":"2019-11-25T07:58:05Z","relation":"main_file"}],"license":"https://creativecommons.org/licenses/by/4.0/","language":[{"iso":"eng"}],"doi":"10.1038/s42003-019-0670-5","has_accepted_license":"1","department":[{"_id":"DaSi"}],"article_processing_charge":"No","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"15","type":"journal_article","date_updated":"2023-08-30T07:27:55Z","oa_version":"Published Version","isi":1,"intvolume":"         2","article_number":"419","status":"public","date_created":"2019-11-25T07:55:01Z","month":"11","issue":"1","volume":2,"article_type":"original","publisher":"Springer Nature","file_date_updated":"2020-07-14T12:47:49Z","ddc":["570"],"oa":1,"_id":"7097","title":"Rab5-mediated endosome formation is regulated at the trans-Golgi network","publication":"Communications Biology","publication_status":"published","abstract":[{"lang":"eng","text":"Early endosomes, also called sorting endosomes, are known to mature into late endosomesvia the Rab5-mediated endolysosomal trafficking pathway. Thus, early endosome existence isthought to be maintained by the continual fusion of transport vesicles from the plasmamembrane and thetrans-Golgi network (TGN). Here we show instead that endocytosis isdispensable and post-Golgi vesicle transport is crucial for the formation of endosomes andthe subsequent endolysosomal traffic regulated by yeast Rab5 Vps21p. Fittingly, all threeproteins required for endosomal nucleotide exchange on Vps21p arefirst recruited to theTGN  before  transport  to  the  endosome,  namely  the  GEF  Vps9p and  the  epsin-relatedadaptors Ent3/5p. The TGN recruitment of these components is distinctly controlled, withVps9p appearing to require the Arf1p GTPase, and the Rab11s, Ypt31p/32p. These resultsprovide a different view of endosome formation and identify the TGN as a critical location forregulating progress through the endolysosomal trafficking pathway."}],"author":[{"full_name":"Nagano, Makoto","last_name":"Nagano","first_name":"Makoto"},{"full_name":"Toshima, Junko Y.","first_name":"Junko Y.","last_name":"Toshima"},{"full_name":"Siekhaus, Daria E","orcid":"0000-0001-8323-8353","id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","last_name":"Siekhaus","first_name":"Daria E"},{"last_name":"Toshima","first_name":"Jiro","full_name":"Toshima, Jiro"}],"quality_controlled":"1","citation":{"mla":"Nagano, Makoto, et al. “Rab5-Mediated Endosome Formation Is Regulated at the Trans-Golgi Network.” <i>Communications Biology</i>, vol. 2, no. 1, 419, Springer Nature, 2019, doi:<a href=\"https://doi.org/10.1038/s42003-019-0670-5\">10.1038/s42003-019-0670-5</a>.","apa":"Nagano, M., Toshima, J. Y., Siekhaus, D. E., &#38; Toshima, J. (2019). Rab5-mediated endosome formation is regulated at the trans-Golgi network. <i>Communications Biology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s42003-019-0670-5\">https://doi.org/10.1038/s42003-019-0670-5</a>","ama":"Nagano M, Toshima JY, Siekhaus DE, Toshima J. Rab5-mediated endosome formation is regulated at the trans-Golgi network. <i>Communications Biology</i>. 2019;2(1). doi:<a href=\"https://doi.org/10.1038/s42003-019-0670-5\">10.1038/s42003-019-0670-5</a>","ieee":"M. Nagano, J. Y. Toshima, D. E. Siekhaus, and J. Toshima, “Rab5-mediated endosome formation is regulated at the trans-Golgi network,” <i>Communications Biology</i>, vol. 2, no. 1. Springer Nature, 2019.","ista":"Nagano M, Toshima JY, Siekhaus DE, Toshima J. 2019. Rab5-mediated endosome formation is regulated at the trans-Golgi network. Communications Biology. 2(1), 419.","short":"M. Nagano, J.Y. Toshima, D.E. Siekhaus, J. Toshima, Communications Biology 2 (2019).","chicago":"Nagano, Makoto, Junko Y. Toshima, Daria E Siekhaus, and Jiro Toshima. “Rab5-Mediated Endosome Formation Is Regulated at the Trans-Golgi Network.” <i>Communications Biology</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s42003-019-0670-5\">https://doi.org/10.1038/s42003-019-0670-5</a>."},"year":"2019","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"}},{"article_type":"original","publisher":"Elsevier","issue":"4","volume":104,"date_created":"2019-11-25T08:02:39Z","month":"11","status":"public","intvolume":"       104","isi":1,"year":"2019","citation":{"ieee":"Y. Kasugai <i>et al.</i>, “Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning,” <i>Neuron</i>, vol. 104, no. 4. Elsevier, p. 781–794.e4, 2019.","ama":"Kasugai Y, Vogel E, Hörtnagl H, et al. Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning. <i>Neuron</i>. 2019;104(4):781-794.e4. doi:<a href=\"https://doi.org/10.1016/j.neuron.2019.08.013\">10.1016/j.neuron.2019.08.013</a>","ista":"Kasugai Y, Vogel E, Hörtnagl H, Schönherr S, Paradiso E, Hauschild M, Göbel G, Milenkovic I, Peterschmitt Y, Tasan R, Sperk G, Shigemoto R, Sieghart W, Singewald N, Lüthi A, Ferraguti F. 2019. Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning. Neuron. 104(4), 781–794.e4.","chicago":"Kasugai, Yu, Elisabeth Vogel, Heide Hörtnagl, Sabine Schönherr, Enrica Paradiso, Markus Hauschild, Georg Göbel, et al. “Structural and Functional Remodeling of Amygdala GABAergic Synapses in Associative Fear Learning.” <i>Neuron</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.neuron.2019.08.013\">https://doi.org/10.1016/j.neuron.2019.08.013</a>.","short":"Y. Kasugai, E. Vogel, H. Hörtnagl, S. Schönherr, E. Paradiso, M. Hauschild, G. Göbel, I. Milenkovic, Y. Peterschmitt, R. Tasan, G. Sperk, R. Shigemoto, W. Sieghart, N. Singewald, A. Lüthi, F. Ferraguti, Neuron 104 (2019) 781–794.e4.","mla":"Kasugai, Yu, et al. “Structural and Functional Remodeling of Amygdala GABAergic Synapses in Associative Fear Learning.” <i>Neuron</i>, vol. 104, no. 4, Elsevier, 2019, p. 781–794.e4, doi:<a href=\"https://doi.org/10.1016/j.neuron.2019.08.013\">10.1016/j.neuron.2019.08.013</a>.","apa":"Kasugai, Y., Vogel, E., Hörtnagl, H., Schönherr, S., Paradiso, E., Hauschild, M., … Ferraguti, F. (2019). Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2019.08.013\">https://doi.org/10.1016/j.neuron.2019.08.013</a>"},"main_file_link":[{"url":"https://doi.org/10.1016/j.neuron.2019.08.013","open_access":"1"}],"quality_controlled":"1","author":[{"first_name":"Yu","last_name":"Kasugai","full_name":"Kasugai, Yu"},{"last_name":"Vogel","first_name":"Elisabeth","full_name":"Vogel, Elisabeth"},{"full_name":"Hörtnagl, Heide","first_name":"Heide","last_name":"Hörtnagl"},{"full_name":"Schönherr, Sabine","first_name":"Sabine","last_name":"Schönherr"},{"last_name":"Paradiso","first_name":"Enrica","full_name":"Paradiso, Enrica"},{"full_name":"Hauschild, Markus","first_name":"Markus","last_name":"Hauschild"},{"first_name":"Georg","last_name":"Göbel","full_name":"Göbel, Georg"},{"first_name":"Ivan","last_name":"Milenkovic","full_name":"Milenkovic, Ivan"},{"full_name":"Peterschmitt, Yvan","first_name":"Yvan","last_name":"Peterschmitt"},{"full_name":"Tasan, Ramon","last_name":"Tasan","first_name":"Ramon"},{"first_name":"Günther","last_name":"Sperk","full_name":"Sperk, Günther"},{"orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","last_name":"Shigemoto"},{"full_name":"Sieghart, Werner","last_name":"Sieghart","first_name":"Werner"},{"last_name":"Singewald","first_name":"Nicolas","full_name":"Singewald, Nicolas"},{"last_name":"Lüthi","first_name":"Andreas","full_name":"Lüthi, Andreas"},{"full_name":"Ferraguti, Francesco","first_name":"Francesco","last_name":"Ferraguti"}],"publication_status":"published","title":"Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning","publication":"Neuron","pmid":1,"ddc":["571","599"],"oa":1,"_id":"7099","date_published":"2019-11-20T00:00:00Z","external_id":{"pmid":["31543297"],"isi":["000497963500017"]},"page":"781-794.e4","publication_identifier":{"issn":["0896-6273"]},"scopus_import":"1","type":"journal_article","date_updated":"2023-08-30T07:28:22Z","oa_version":"Published Version","day":"20","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","acknowledgement":"The authors thank Gabi Schmid for excellent technical support. We also thank\r\nDr. H. Harada, Dr. W. Kaufmann, and Dr. B. Kapelari for testing the specificity\r\nof some of the antibodies used in this study on replicas. Funding was provided\r\nby the Austrian Science Fund (Fonds zur Fo¨ rderung der Wissenschaftlichen\r\nForschung) Sonderforschungsbereich grants F44-17 (to F.jF.), F44-10 and\r\nP25375-B24 (to N.S.), and P26680 (to G.S.) and by the Novartis Research\r\nFoundation and the Swiss National Science Foundation (to A.L). We also thank\r\nProf. M. Capogna for reading a previous version of the manuscript.","language":[{"iso":"eng"}],"doi":"10.1016/j.neuron.2019.08.013","department":[{"_id":"RySh"}],"has_accepted_license":"1"},{"volume":372,"issue":"1","file_date_updated":"2020-07-14T12:47:49Z","article_type":"original","publisher":"Springer Nature","intvolume":"       372","isi":1,"date_created":"2019-11-25T08:08:02Z","month":"11","status":"public","citation":{"ieee":"M. Jeblick, N. K. Leopold, and P. Pickl, “Derivation of the time dependent Gross–Pitaevskii equation in two dimensions,” <i>Communications in Mathematical Physics</i>, vol. 372, no. 1. Springer Nature, pp. 1–69, 2019.","ama":"Jeblick M, Leopold NK, Pickl P. Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. <i>Communications in Mathematical Physics</i>. 2019;372(1):1-69. doi:<a href=\"https://doi.org/10.1007/s00220-019-03599-x\">10.1007/s00220-019-03599-x</a>","chicago":"Jeblick, Maximilian, Nikolai K Leopold, and Peter Pickl. “Derivation of the Time Dependent Gross–Pitaevskii Equation in Two Dimensions.” <i>Communications in Mathematical Physics</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1007/s00220-019-03599-x\">https://doi.org/10.1007/s00220-019-03599-x</a>.","short":"M. Jeblick, N.K. Leopold, P. Pickl, Communications in Mathematical Physics 372 (2019) 1–69.","ista":"Jeblick M, Leopold NK, Pickl P. 2019. Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. Communications in Mathematical Physics. 372(1), 1–69.","apa":"Jeblick, M., Leopold, N. K., &#38; Pickl, P. (2019). Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. <i>Communications in Mathematical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00220-019-03599-x\">https://doi.org/10.1007/s00220-019-03599-x</a>","mla":"Jeblick, Maximilian, et al. “Derivation of the Time Dependent Gross–Pitaevskii Equation in Two Dimensions.” <i>Communications in Mathematical Physics</i>, vol. 372, no. 1, Springer Nature, 2019, pp. 1–69, doi:<a href=\"https://doi.org/10.1007/s00220-019-03599-x\">10.1007/s00220-019-03599-x</a>."},"quality_controlled":"1","author":[{"full_name":"Jeblick, Maximilian","last_name":"Jeblick","first_name":"Maximilian"},{"id":"4BC40BEC-F248-11E8-B48F-1D18A9856A87","full_name":"Leopold, Nikolai K","orcid":"0000-0002-0495-6822","last_name":"Leopold","first_name":"Nikolai K"},{"last_name":"Pickl","first_name":"Peter","full_name":"Pickl, Peter"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"year":"2019","title":"Derivation of the time dependent Gross–Pitaevskii equation in two dimensions","publication":"Communications in Mathematical Physics","oa":1,"ddc":["510"],"_id":"7100","project":[{"name":"Analysis of quantum many-body systems","grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"publication_status":"published","abstract":[{"text":"We present microscopic derivations of the defocusing two-dimensional cubic nonlinear Schrödinger equation and the Gross–Pitaevskii equation starting froman interacting N-particle system of bosons. We consider the interaction potential to be given either by Wβ(x)=N−1+2βW(Nβx), for any β>0, or to be given by VN(x)=e2NV(eNx), for some spherical symmetric, nonnegative and compactly supported W,V∈L∞(R2,R). In both cases we prove the convergence of the reduced density corresponding to the exact time evolution to the projector onto the solution of the corresponding nonlinear Schrödinger equation in trace norm. For the latter potential VN we show that it is crucial to take the microscopic structure of the condensate into account in order to obtain the correct dynamics.","lang":"eng"}],"date_published":"2019-11-08T00:00:00Z","file":[{"date_created":"2019-11-25T08:11:11Z","relation":"main_file","creator":"dernst","content_type":"application/pdf","file_size":884469,"file_id":"7101","date_updated":"2020-07-14T12:47:49Z","access_level":"open_access","checksum":"cd283b475dd739e04655315abd46f528","file_name":"2019_CommMathPhys_Jeblick.pdf"}],"external_id":{"isi":["000495193700002"]},"page":"1-69","publication_identifier":{"eissn":["1432-0916"],"issn":["0010-3616"]},"scopus_import":"1","article_processing_charge":"Yes (via OA deal)","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","type":"journal_article","date_updated":"2023-09-06T10:47:43Z","oa_version":"Published Version","day":"08","ec_funded":1,"language":[{"iso":"eng"}],"doi":"10.1007/s00220-019-03599-x","department":[{"_id":"RoSe"}],"has_accepted_license":"1","acknowledgement":"OA fund by IST Austria"},{"oa":1,"ddc":["570","000"],"_id":"7103","publication":"PLoS Computational Biology","title":"Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture","pmid":1,"publication_status":"published","abstract":[{"lang":"eng","text":"Origin and functions of intermittent transitions among sleep stages, including short awakenings and arousals, constitute a challenge to the current homeostatic framework for sleep regulation, focusing on factors modulating sleep over large time scales. Here we propose that the complex micro-architecture characterizing the sleep-wake cycle results from an underlying non-equilibrium critical dynamics, bridging collective behaviors across spatio-temporal scales. We investigate θ and δ wave dynamics in control rats and in rats with lesions of sleep-promoting neurons in the parafacial zone. We demonstrate that intermittent bursts in θ and δ rhythms exhibit a complex temporal organization, with long-range power-law correlations and a robust duality of power law (θ-bursts, active phase) and exponential-like (δ-bursts, quiescent phase) duration distributions, typical features of non-equilibrium systems self-organizing at criticality. Crucially, such temporal organization relates to anti-correlated coupling between θ- and δ-bursts, and is independent of the dominant physiologic state and lesions, a solid indication of a basic principle in sleep dynamics."}],"project":[{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"quality_controlled":"1","author":[{"last_name":"Wang","first_name":"Jilin W. J. L.","full_name":"Wang, Jilin W. J. L."},{"full_name":"Lombardi, Fabrizio","orcid":"0000-0003-2623-5249","id":"A057D288-3E88-11E9-986D-0CF4E5697425","first_name":"Fabrizio","last_name":"Lombardi"},{"full_name":"Zhang, Xiyun","last_name":"Zhang","first_name":"Xiyun"},{"last_name":"Anaclet","first_name":"Christelle","full_name":"Anaclet, Christelle"},{"full_name":"Ivanov, Plamen Ch.","first_name":"Plamen Ch.","last_name":"Ivanov"}],"citation":{"mla":"Wang, Jilin W. J. L., et al. “Non-Equilibrium Critical Dynamics of Bursts in θ and δ Rhythms as Fundamental Characteristic of Sleep and Wake Micro-Architecture.” <i>PLoS Computational Biology</i>, vol. 15, no. 11, e1007268, Public Library of Science, 2019, doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1007268\">10.1371/journal.pcbi.1007268</a>.","apa":"Wang, J. W. J. L., Lombardi, F., Zhang, X., Anaclet, C., &#38; Ivanov, P. C. (2019). Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture. <i>PLoS Computational Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pcbi.1007268\">https://doi.org/10.1371/journal.pcbi.1007268</a>","ista":"Wang JWJL, Lombardi F, Zhang X, Anaclet C, Ivanov PC. 2019. Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture. PLoS Computational Biology. 15(11), e1007268.","short":"J.W.J.L. Wang, F. Lombardi, X. Zhang, C. Anaclet, P.C. Ivanov, PLoS Computational Biology 15 (2019).","chicago":"Wang, Jilin W. J. L., Fabrizio Lombardi, Xiyun Zhang, Christelle Anaclet, and Plamen Ch. Ivanov. “Non-Equilibrium Critical Dynamics of Bursts in θ and δ Rhythms as Fundamental Characteristic of Sleep and Wake Micro-Architecture.” <i>PLoS Computational Biology</i>. Public Library of Science, 2019. <a href=\"https://doi.org/10.1371/journal.pcbi.1007268\">https://doi.org/10.1371/journal.pcbi.1007268</a>.","ieee":"J. W. J. L. Wang, F. Lombardi, X. Zhang, C. Anaclet, and P. C. Ivanov, “Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture,” <i>PLoS Computational Biology</i>, vol. 15, no. 11. Public Library of Science, 2019.","ama":"Wang JWJL, Lombardi F, Zhang X, Anaclet C, Ivanov PC. Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture. <i>PLoS Computational Biology</i>. 2019;15(11). doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1007268\">10.1371/journal.pcbi.1007268</a>"},"year":"2019","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"isi":1,"intvolume":"        15","article_number":"e1007268","status":"public","date_created":"2019-11-25T08:20:47Z","month":"11","issue":"11","volume":15,"publisher":"Public Library of Science","article_type":"original","file_date_updated":"2020-07-14T12:47:49Z","doi":"10.1371/journal.pcbi.1007268","language":[{"iso":"eng"}],"has_accepted_license":"1","department":[{"_id":"GaTk"}],"ec_funded":1,"article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","date_updated":"2023-10-17T12:30:07Z","type":"journal_article","oa_version":"Published Version","publication_identifier":{"issn":["1553-7358"]},"scopus_import":"1","date_published":"2019-11-01T00:00:00Z","file":[{"creator":"dernst","content_type":"application/pdf","file_size":3982516,"date_created":"2019-11-25T08:24:01Z","relation":"main_file","access_level":"open_access","checksum":"2a096a9c6dcc6eaa94077b2603bc6c12","file_name":"2019_PLOSComBio_Wang.pdf","date_updated":"2020-07-14T12:47:49Z","file_id":"7104"}],"external_id":{"isi":["000500976100014"],"pmid":["31725712"]}},{"department":[{"_id":"MiSi"}],"language":[{"iso":"eng"}],"doi":"10.1038/s41556-019-0411-5","oa_version":"Submitted Version","type":"journal_article","date_updated":"2023-09-06T11:08:52Z","day":"01","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_processing_charge":"No","scopus_import":"1","publication_identifier":{"eissn":["1476-4679"],"issn":["1465-7392"]},"external_id":{"isi":["000495888300009"],"pmid":["31685997"]},"date_published":"2019-11-01T00:00:00Z","page":"1370-1381","abstract":[{"lang":"eng","text":"Cell migration is hypothesized to involve a cycle of behaviours beginning with leading edge extension. However, recent evidence suggests that the leading edge may be dispensable for migration, raising the question of what actually controls cell directionality. Here, we exploit the embryonic migration of Drosophila macrophages to bridge the different temporal scales of the behaviours controlling motility. This approach reveals that edge fluctuations during random motility are not persistent and are weakly correlated with motion. In contrast, flow of the actin network behind the leading edge is highly persistent. Quantification of actin flow structure during migration reveals a stable organization and asymmetry in the cell-wide flowfield that strongly correlates with cell directionality. This organization is regulated by a gradient of actin network compression and destruction, which is controlled by myosin contraction and cofilin-mediated disassembly. It is this stable actin-flow polarity, which integrates rapid fluctuations of the leading edge, that controls inherent cellular persistence."}],"publication_status":"published","pmid":1,"publication":"Nature Cell Biology","title":"Persistent and polarized global actin flow is essential for directionality during cell migration","_id":"7105","oa":1,"year":"2019","citation":{"ieee":"L. Yolland <i>et al.</i>, “Persistent and polarized global actin flow is essential for directionality during cell migration,” <i>Nature Cell Biology</i>, vol. 21, no. 11. Springer Nature, pp. 1370–1381, 2019.","ama":"Yolland L, Burki M, Marcotti S, et al. Persistent and polarized global actin flow is essential for directionality during cell migration. <i>Nature Cell Biology</i>. 2019;21(11):1370-1381. doi:<a href=\"https://doi.org/10.1038/s41556-019-0411-5\">10.1038/s41556-019-0411-5</a>","short":"L. Yolland, M. Burki, S. Marcotti, A. Luchici, F.N. Kenny, J.R. Davis, E. Serna-Morales, J. Müller, M.K. Sixt, A. Davidson, W. Wood, L.J. Schumacher, R.G. Endres, M. Miodownik, B.M. Stramer, Nature Cell Biology 21 (2019) 1370–1381.","chicago":"Yolland, Lawrence, Mubarik Burki, Stefania Marcotti, Andrei Luchici, Fiona N. Kenny, John Robert Davis, Eduardo Serna-Morales, et al. “Persistent and Polarized Global Actin Flow Is Essential for Directionality during Cell Migration.” <i>Nature Cell Biology</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41556-019-0411-5\">https://doi.org/10.1038/s41556-019-0411-5</a>.","ista":"Yolland L, Burki M, Marcotti S, Luchici A, Kenny FN, Davis JR, Serna-Morales E, Müller J, Sixt MK, Davidson A, Wood W, Schumacher LJ, Endres RG, Miodownik M, Stramer BM. 2019. Persistent and polarized global actin flow is essential for directionality during cell migration. Nature Cell Biology. 21(11), 1370–1381.","apa":"Yolland, L., Burki, M., Marcotti, S., Luchici, A., Kenny, F. N., Davis, J. R., … Stramer, B. M. (2019). Persistent and polarized global actin flow is essential for directionality during cell migration. <i>Nature Cell Biology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41556-019-0411-5\">https://doi.org/10.1038/s41556-019-0411-5</a>","mla":"Yolland, Lawrence, et al. “Persistent and Polarized Global Actin Flow Is Essential for Directionality during Cell Migration.” <i>Nature Cell Biology</i>, vol. 21, no. 11, Springer Nature, 2019, pp. 1370–81, doi:<a href=\"https://doi.org/10.1038/s41556-019-0411-5\">10.1038/s41556-019-0411-5</a>."},"main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7025891","open_access":"1"}],"quality_controlled":"1","author":[{"last_name":"Yolland","first_name":"Lawrence","full_name":"Yolland, Lawrence"},{"full_name":"Burki, Mubarik","first_name":"Mubarik","last_name":"Burki"},{"full_name":"Marcotti, Stefania","last_name":"Marcotti","first_name":"Stefania"},{"full_name":"Luchici, Andrei","last_name":"Luchici","first_name":"Andrei"},{"full_name":"Kenny, Fiona N.","last_name":"Kenny","first_name":"Fiona N."},{"full_name":"Davis, John Robert","first_name":"John Robert","last_name":"Davis"},{"full_name":"Serna-Morales, Eduardo","first_name":"Eduardo","last_name":"Serna-Morales"},{"last_name":"Müller","first_name":"Jan","full_name":"Müller, Jan","id":"AD07FDB4-0F61-11EA-8158-C4CC64CEAA8D"},{"full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K","last_name":"Sixt"},{"full_name":"Davidson, Andrew","first_name":"Andrew","last_name":"Davidson"},{"full_name":"Wood, Will","last_name":"Wood","first_name":"Will"},{"full_name":"Schumacher, Linus J.","last_name":"Schumacher","first_name":"Linus J."},{"full_name":"Endres, Robert G.","last_name":"Endres","first_name":"Robert G."},{"full_name":"Miodownik, Mark","first_name":"Mark","last_name":"Miodownik"},{"full_name":"Stramer, Brian M.","first_name":"Brian M.","last_name":"Stramer"}],"month":"11","date_created":"2019-11-25T08:55:00Z","status":"public","intvolume":"        21","isi":1,"article_type":"original","publisher":"Springer Nature","issue":"11","volume":21},{"language":[{"iso":"eng"}],"doi":"10.1038/s41477-019-0542-5","has_accepted_license":"1","department":[{"_id":"JiFr"}],"ec_funded":1,"article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"01","date_updated":"2023-09-06T11:09:49Z","type":"journal_article","oa_version":"Submitted Version","publication_identifier":{"issn":["2055-0278"]},"scopus_import":"1","page":"1114-1119","date_published":"2019-11-01T00:00:00Z","external_id":{"isi":["000496526100010"],"pmid":["31712756"]},"file":[{"access_level":"open_access","checksum":"94e0426856aad9a9bd0135d5436efbf1","file_name":"2019_NaturePlants_Skokan_accepted.pdf","file_id":"8660","date_updated":"2020-10-14T08:54:49Z","success":1,"file_size":1980851,"content_type":"application/pdf","creator":"dernst","date_created":"2020-10-14T08:54:49Z","relation":"main_file"}],"oa":1,"ddc":["580"],"_id":"7106","publication":"Nature Plants","title":"PIN-driven auxin transport emerged early in streptophyte evolution","pmid":1,"publication_status":"published","abstract":[{"text":"PIN-FORMED (PIN) transporters mediate directional, intercellular movement of the phytohormone auxin in land plants. To elucidate the evolutionary origins of this developmentally crucial mechanism, we analysed the single PIN homologue of a simple green alga Klebsormidium flaccidum. KfPIN functions as a plasma membrane-localized auxin exporter in land plants and heterologous models. While its role in algae remains unclear, PIN-driven auxin export is probably an ancient and conserved trait within streptophytes.","lang":"eng"}],"project":[{"call_identifier":"H2020","_id":"261099A6-B435-11E9-9278-68D0E5697425","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","grant_number":"742985"}],"quality_controlled":"1","author":[{"last_name":"Skokan","first_name":"Roman","full_name":"Skokan, Roman"},{"full_name":"Medvecká, Eva","first_name":"Eva","last_name":"Medvecká"},{"first_name":"Tom","last_name":"Viaene","full_name":"Viaene, Tom"},{"first_name":"Stanislav","last_name":"Vosolsobě","full_name":"Vosolsobě, Stanislav"},{"first_name":"Marta","last_name":"Zwiewka","full_name":"Zwiewka, Marta"},{"first_name":"Karel","last_name":"Müller","full_name":"Müller, Karel"},{"first_name":"Petr","last_name":"Skůpa","full_name":"Skůpa, Petr"},{"last_name":"Karady","first_name":"Michal","full_name":"Karady, Michal"},{"last_name":"Zhang","first_name":"Yuzhou","full_name":"Zhang, Yuzhou"},{"full_name":"Janacek, Dorina P.","last_name":"Janacek","first_name":"Dorina P."},{"full_name":"Hammes, Ulrich Z.","last_name":"Hammes","first_name":"Ulrich Z."},{"last_name":"Ljung","first_name":"Karin","full_name":"Ljung, Karin"},{"last_name":"Nodzyński","first_name":"Tomasz","full_name":"Nodzyński, Tomasz"},{"full_name":"Petrášek, Jan","first_name":"Jan","last_name":"Petrášek"},{"first_name":"Jiří","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří"}],"citation":{"apa":"Skokan, R., Medvecká, E., Viaene, T., Vosolsobě, S., Zwiewka, M., Müller, K., … Friml, J. (2019). PIN-driven auxin transport emerged early in streptophyte evolution. <i>Nature Plants</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41477-019-0542-5\">https://doi.org/10.1038/s41477-019-0542-5</a>","mla":"Skokan, Roman, et al. “PIN-Driven Auxin Transport Emerged Early in Streptophyte Evolution.” <i>Nature Plants</i>, vol. 5, no. 11, Springer Nature, 2019, pp. 1114–19, doi:<a href=\"https://doi.org/10.1038/s41477-019-0542-5\">10.1038/s41477-019-0542-5</a>.","short":"R. Skokan, E. Medvecká, T. Viaene, S. Vosolsobě, M. Zwiewka, K. Müller, P. Skůpa, M. Karady, Y. Zhang, D.P. Janacek, U.Z. Hammes, K. Ljung, T. Nodzyński, J. Petrášek, J. Friml, Nature Plants 5 (2019) 1114–1119.","chicago":"Skokan, Roman, Eva Medvecká, Tom Viaene, Stanislav Vosolsobě, Marta Zwiewka, Karel Müller, Petr Skůpa, et al. “PIN-Driven Auxin Transport Emerged Early in Streptophyte Evolution.” <i>Nature Plants</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41477-019-0542-5\">https://doi.org/10.1038/s41477-019-0542-5</a>.","ista":"Skokan R, Medvecká E, Viaene T, Vosolsobě S, Zwiewka M, Müller K, Skůpa P, Karady M, Zhang Y, Janacek DP, Hammes UZ, Ljung K, Nodzyński T, Petrášek J, Friml J. 2019. PIN-driven auxin transport emerged early in streptophyte evolution. Nature Plants. 5(11), 1114–1119.","ama":"Skokan R, Medvecká E, Viaene T, et al. PIN-driven auxin transport emerged early in streptophyte evolution. <i>Nature Plants</i>. 2019;5(11):1114-1119. doi:<a href=\"https://doi.org/10.1038/s41477-019-0542-5\">10.1038/s41477-019-0542-5</a>","ieee":"R. Skokan <i>et al.</i>, “PIN-driven auxin transport emerged early in streptophyte evolution,” <i>Nature Plants</i>, vol. 5, no. 11. Springer Nature, pp. 1114–1119, 2019."},"year":"2019","isi":1,"intvolume":"         5","status":"public","date_created":"2019-11-25T09:08:04Z","month":"11","volume":5,"issue":"11","article_type":"original","publisher":"Springer Nature","file_date_updated":"2020-10-14T08:54:49Z"},{"date_created":"2019-11-26T10:13:59Z","month":"06","article_number":"21","status":"public","intvolume":"        66","isi":1,"article_type":"original","publisher":"ACM","volume":66,"issue":"3","publication_status":"published","abstract":[{"lang":"eng","text":"We prove that for every d ≥ 2, deciding if a pure, d-dimensional, simplicial complex is shellable is NP-hard, hence NP-complete. This resolves a question raised, e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every d ≥ 2 and k ≥ 0, deciding if a pure, d-dimensional, simplicial complex is k-decomposable is NP-hard. For d ≥ 3, both problems remain NP-hard when restricted to contractible pure d-dimensional complexes. Another simple corollary of our result is that it is NP-hard to decide whether a given poset is CL-shellable."}],"publication":"Journal of the ACM","title":"Shellability is NP-complete","oa":1,"related_material":{"record":[{"id":"184","status":"public","relation":"earlier_version"}]},"_id":"7108","year":"2019","citation":{"ista":"Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. 2019. Shellability is NP-complete. Journal of the ACM. 66(3), 21.","chicago":"Goaoc, Xavier, Pavel Patak, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete.” <i>Journal of the ACM</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3314024\">https://doi.org/10.1145/3314024</a>.","short":"X. Goaoc, P. Patak, Z. Patakova, M. Tancer, U. Wagner, Journal of the ACM 66 (2019).","ieee":"X. Goaoc, P. Patak, Z. Patakova, M. Tancer, and U. Wagner, “Shellability is NP-complete,” <i>Journal of the ACM</i>, vol. 66, no. 3. ACM, 2019.","ama":"Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete. <i>Journal of the ACM</i>. 2019;66(3). doi:<a href=\"https://doi.org/10.1145/3314024\">10.1145/3314024</a>","mla":"Goaoc, Xavier, et al. “Shellability Is NP-Complete.” <i>Journal of the ACM</i>, vol. 66, no. 3, 21, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3314024\">10.1145/3314024</a>.","apa":"Goaoc, X., Patak, P., Patakova, Z., Tancer, M., &#38; Wagner, U. (2019). Shellability is NP-complete. <i>Journal of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/3314024\">https://doi.org/10.1145/3314024</a>"},"main_file_link":[{"url":"https://arxiv.org/pdf/1711.08436.pdf","open_access":"1"}],"quality_controlled":"1","author":[{"first_name":"Xavier","last_name":"Goaoc","full_name":"Goaoc, Xavier"},{"last_name":"Patak","first_name":"Pavel","id":"B593B804-1035-11EA-B4F1-947645A5BB83","full_name":"Patak, Pavel"},{"id":"48B57058-F248-11E8-B48F-1D18A9856A87","full_name":"Patakova, Zuzana","orcid":"0000-0002-3975-1683","last_name":"Patakova","first_name":"Zuzana"},{"first_name":"Martin","last_name":"Tancer","full_name":"Tancer, Martin"},{"first_name":"Uli","last_name":"Wagner","orcid":"0000-0002-1494-0568","full_name":"Wagner, Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87"}],"arxiv":1,"publication_identifier":{"issn":["0004-5411"]},"scopus_import":"1","date_published":"2019-06-01T00:00:00Z","external_id":{"arxiv":["1711.08436"],"isi":["000495406300007"]},"language":[{"iso":"eng"}],"doi":"10.1145/3314024","department":[{"_id":"UlWa"}],"date_updated":"2023-09-06T11:10:58Z","type":"journal_article","oa_version":"Preprint","day":"01","article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_processing_charge":"No","day":"01","date_updated":"2023-09-06T11:11:56Z","type":"journal_article","oa_version":"None","language":[{"iso":"eng"}],"doi":"10.1145/3286976","department":[{"_id":"ToHe"}],"date_published":"2019-05-01T00:00:00Z","external_id":{"isi":["000495406300005"]},"publication_identifier":{"issn":["0004-5411"]},"scopus_import":"1","quality_controlled":"1","author":[{"first_name":"Thomas","last_name":"Ferrere","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5199-3143","full_name":"Ferrere, Thomas"},{"full_name":"Maler, Oded","first_name":"Oded","last_name":"Maler"},{"full_name":"Ničković, Dejan","first_name":"Dejan","last_name":"Ničković"},{"last_name":"Pnueli","first_name":"Amir","full_name":"Pnueli, Amir"}],"citation":{"apa":"Ferrere, T., Maler, O., Ničković, D., &#38; Pnueli, A. (2019). From real-time logic to timed automata. <i>Journal of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/3286976\">https://doi.org/10.1145/3286976</a>","mla":"Ferrere, Thomas, et al. “From Real-Time Logic to Timed Automata.” <i>Journal of the ACM</i>, vol. 66, no. 3, 19, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3286976\">10.1145/3286976</a>.","ama":"Ferrere T, Maler O, Ničković D, Pnueli A. From real-time logic to timed automata. <i>Journal of the ACM</i>. 2019;66(3). doi:<a href=\"https://doi.org/10.1145/3286976\">10.1145/3286976</a>","ieee":"T. Ferrere, O. Maler, D. Ničković, and A. Pnueli, “From real-time logic to timed automata,” <i>Journal of the ACM</i>, vol. 66, no. 3. ACM, 2019.","short":"T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).","chicago":"Ferrere, Thomas, Oded Maler, Dejan Ničković, and Amir Pnueli. “From Real-Time Logic to Timed Automata.” <i>Journal of the ACM</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3286976\">https://doi.org/10.1145/3286976</a>.","ista":"Ferrere T, Maler O, Ničković D, Pnueli A. 2019. From real-time logic to timed automata. Journal of the ACM. 66(3), 19."},"year":"2019","_id":"7109","title":"From real-time logic to timed automata","publication":"Journal of the ACM","publication_status":"published","abstract":[{"lang":"eng","text":"We show how to construct temporal testers for the logic MITL, a prominent linear-time logic for real-time systems. A temporal tester is a transducer that inputs a signal holding the Boolean value of atomic propositions and outputs the truth value of a formula along time. Here we consider testers over continuous-time Boolean signals that use clock variables to enforce duration constraints, as in timed automata. We first rewrite the MITL formula into a “simple” formula using a limited set of temporal modalities. We then build testers for these specific modalities and show how to compose testers for simple formulae into complex ones. Temporal testers can be turned into acceptors, yielding a compositional translation from MITL to timed automata. This construction is much simpler than previously known and remains asymptotically optimal. It supports both past and future operators and can easily be extended."}],"project":[{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"},{"name":"The Wittgenstein Prize","grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"issue":"3","volume":66,"article_type":"original","publisher":"ACM","isi":1,"intvolume":"        66","article_number":"19","status":"public","date_created":"2019-11-26T10:22:32Z","month":"05"},{"intvolume":"        38","isi":1,"date_created":"2019-11-26T14:22:09Z","month":"11","status":"public","article_number":"157","issue":"6","volume":38,"file_date_updated":"2020-07-14T12:47:49Z","article_type":"original","publisher":"ACM","publication":"ACM Transactions on Graphics","title":"X-CAD: Optimizing CAD Models with Extended Finite Elements","related_material":{"record":[{"id":"12897","relation":"dissertation_contains","status":"public"}]},"oa":1,"ddc":["000"],"_id":"7117","project":[{"call_identifier":"H2020","_id":"24F9549A-B435-11E9-9278-68D0E5697425","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","grant_number":"715767"}],"publication_status":"published","abstract":[{"lang":"eng","text":"We propose a novel generic shape optimization method for CAD models based on the eXtended Finite Element Method (XFEM). Our method works directly on the intersection between the model and a regular simulation grid, without the need to mesh or remesh, thus removing a bottleneck of classical shape optimization strategies. This is made possible by a novel hierarchical integration scheme that accurately integrates finite element quantities with sub-element precision. For optimization, we efficiently compute analytical shape derivatives of the entire framework, from model intersection to integration rule generation and XFEM simulation. Moreover, we describe a differentiable projection of shape parameters onto a constraint manifold spanned by user-specified shape preservation, consistency, and manufacturability constraints. We demonstrate the utility of our approach by optimizing mass distribution, strength-to-weight ratio, and inverse elastic shape design objectives directly on parameterized 3D CAD models."}],"citation":{"apa":"Hafner, C., Schumacher, C., Knoop, E., Auzinger, T., Bickel, B., &#38; Bächer, M. (2019). X-CAD: Optimizing CAD Models with Extended Finite Elements. <i>ACM Transactions on Graphics</i>. ACM. <a href=\"https://doi.org/10.1145/3355089.3356576\">https://doi.org/10.1145/3355089.3356576</a>","mla":"Hafner, Christian, et al. “X-CAD: Optimizing CAD Models with Extended Finite Elements.” <i>ACM Transactions on Graphics</i>, vol. 38, no. 6, 157, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3355089.3356576\">10.1145/3355089.3356576</a>.","ista":"Hafner C, Schumacher C, Knoop E, Auzinger T, Bickel B, Bächer M. 2019. X-CAD: Optimizing CAD Models with Extended Finite Elements. ACM Transactions on Graphics. 38(6), 157.","chicago":"Hafner, Christian, Christian Schumacher, Espen Knoop, Thomas Auzinger, Bernd Bickel, and Moritz Bächer. “X-CAD: Optimizing CAD Models with Extended Finite Elements.” <i>ACM Transactions on Graphics</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3355089.3356576\">https://doi.org/10.1145/3355089.3356576</a>.","short":"C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, M. Bächer, ACM Transactions on Graphics 38 (2019).","ieee":"C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, and M. Bächer, “X-CAD: Optimizing CAD Models with Extended Finite Elements,” <i>ACM Transactions on Graphics</i>, vol. 38, no. 6. ACM, 2019.","ama":"Hafner C, Schumacher C, Knoop E, Auzinger T, Bickel B, Bächer M. X-CAD: Optimizing CAD Models with Extended Finite Elements. <i>ACM Transactions on Graphics</i>. 2019;38(6). doi:<a href=\"https://doi.org/10.1145/3355089.3356576\">10.1145/3355089.3356576</a>"},"quality_controlled":"1","author":[{"id":"400429CC-F248-11E8-B48F-1D18A9856A87","full_name":"Hafner, Christian","last_name":"Hafner","first_name":"Christian"},{"full_name":"Schumacher, Christian","first_name":"Christian","last_name":"Schumacher"},{"full_name":"Knoop, Espen","first_name":"Espen","last_name":"Knoop"},{"full_name":"Auzinger, Thomas","orcid":"0000-0002-1546-3265","id":"4718F954-F248-11E8-B48F-1D18A9856A87","last_name":"Auzinger","first_name":"Thomas"},{"id":"49876194-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6511-9385","full_name":"Bickel, Bernd","first_name":"Bernd","last_name":"Bickel"},{"full_name":"Bächer, Moritz","first_name":"Moritz","last_name":"Bächer"}],"year":"2019","publication_identifier":{"issn":["0730-0301"]},"scopus_import":"1","date_published":"2019-11-06T00:00:00Z","file":[{"checksum":"56a2fb019adcb556d2b022f5e5acb68c","file_name":"xcad_sup_mat_siga19.pdf","access_level":"open_access","file_id":"7119","date_updated":"2020-07-14T12:47:49Z","creator":"bbickel","content_type":"application/pdf","file_size":1673176,"title":"X-CAD Supplemental Material","relation":"supplementary_material","date_created":"2019-11-26T14:24:26Z"},{"checksum":"5f29d76aceb5102e766cbab9b17d776e","file_name":"XCAD_authors_version.pdf","description":"This is the author's version of the work.","access_level":"open_access","file_id":"7120","date_updated":"2020-07-14T12:47:49Z","file_size":14563618,"creator":"bbickel","content_type":"application/pdf","title":"X-CAD: Optimizing CAD Models with Extended Finite Elements","relation":"main_file","date_created":"2019-11-26T14:24:27Z"},{"relation":"main_file","date_created":"2019-11-26T14:27:37Z","file_size":259979129,"content_type":"video/mp4","creator":"bbickel","date_updated":"2020-07-14T12:47:49Z","file_id":"7121","checksum":"0d31e123286cbec9e28b2001c2bb0d55","file_name":"XCAD_video.mp4","access_level":"open_access"}],"external_id":{"isi":["000498397300007"]},"ec_funded":1,"doi":"10.1145/3355089.3356576","language":[{"iso":"eng"}],"has_accepted_license":"1","department":[{"_id":"BeBi"}],"article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","type":"journal_article","date_updated":"2024-03-25T23:30:26Z","oa_version":"Submitted Version","day":"06"},{"date_created":"2019-11-26T15:07:49Z","conference":{"start_date":"2018-12-17","location":"Miami Beach, FL, United States","name":"CDC: Conference on Decision and Control","end_date":"2018-12-19"},"month":"01","status":"public","article_number":"8619625","publication_identifier":{"issn":["0743-1546"],"isbn":["9781538613955"]},"scopus_import":"1","isi":1,"publisher":"IEEE","date_published":"2019-01-21T00:00:00Z","external_id":{"isi":["000458114800023"]},"publication_status":"published","abstract":[{"lang":"eng","text":"Data-rich applications in machine-learning and control have motivated an intense research on large-scale optimization. Novel algorithms have been proposed and shown to have optimal convergence rates in terms of iteration counts. However, their practical performance is severely degraded by the cost of exchanging high-dimensional gradient vectors between computing nodes. Several gradient compression heuristics have recently been proposed to reduce communications, but few theoretical results exist that quantify how they impact algorithm convergence. This paper establishes and strengthens the convergence guarantees for gradient descent under a family of gradient compression techniques. For convex optimization problems, we derive admissible step sizes and quantify both the number of iterations and the number of bits that need to be exchanged to reach a target accuracy. Finally, we validate the performance of different gradient compression techniques in simulations. The numerical results highlight the properties of different gradient compression algorithms and confirm that fast convergence with limited information exchange is possible."}],"publication":"2018 IEEE Conference on Decision and Control","title":"Gradient compression for communication-limited convex optimization","language":[{"iso":"eng"}],"doi":"10.1109/cdc.2018.8619625","_id":"7122","department":[{"_id":"DaAl"}],"type":"conference","date_updated":"2023-09-06T11:14:55Z","oa_version":"None","day":"21","year":"2019","citation":{"ieee":"S. Khirirat, M. Johansson, and D.-A. Alistarh, “Gradient compression for communication-limited convex optimization,” in <i>2018 IEEE Conference on Decision and Control</i>, Miami Beach, FL, United States, 2019.","ama":"Khirirat S, Johansson M, Alistarh D-A. Gradient compression for communication-limited convex optimization. In: <i>2018 IEEE Conference on Decision and Control</i>. IEEE; 2019. doi:<a href=\"https://doi.org/10.1109/cdc.2018.8619625\">10.1109/cdc.2018.8619625</a>","ista":"Khirirat S, Johansson M, Alistarh D-A. 2019. Gradient compression for communication-limited convex optimization. 2018 IEEE Conference on Decision and Control. CDC: Conference on Decision and Control, 8619625.","short":"S. Khirirat, M. Johansson, D.-A. Alistarh, in:, 2018 IEEE Conference on Decision and Control, IEEE, 2019.","chicago":"Khirirat, Sarit, Mikael Johansson, and Dan-Adrian Alistarh. “Gradient Compression for Communication-Limited Convex Optimization.” In <i>2018 IEEE Conference on Decision and Control</i>. IEEE, 2019. <a href=\"https://doi.org/10.1109/cdc.2018.8619625\">https://doi.org/10.1109/cdc.2018.8619625</a>.","mla":"Khirirat, Sarit, et al. “Gradient Compression for Communication-Limited Convex Optimization.” <i>2018 IEEE Conference on Decision and Control</i>, 8619625, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/cdc.2018.8619625\">10.1109/cdc.2018.8619625</a>.","apa":"Khirirat, S., Johansson, M., &#38; Alistarh, D.-A. (2019). Gradient compression for communication-limited convex optimization. In <i>2018 IEEE Conference on Decision and Control</i>. Miami Beach, FL, United States: IEEE. <a href=\"https://doi.org/10.1109/cdc.2018.8619625\">https://doi.org/10.1109/cdc.2018.8619625</a>"},"author":[{"last_name":"Khirirat","first_name":"Sarit","full_name":"Khirirat, Sarit"},{"full_name":"Johansson, Mikael","last_name":"Johansson","first_name":"Mikael"},{"last_name":"Alistarh","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian"}],"article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","quality_controlled":"1"},{"author":[{"last_name":"Mckenzie","first_name":"Catherine","id":"3EEDE19A-F248-11E8-B48F-1D18A9856A87","full_name":"Mckenzie, Catherine"}],"citation":{"ista":"Mckenzie C. 2019. Design and characterization of methods and biological components to realize synthetic neurotransmission. Institute of Science and Technology Austria.","short":"C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission, Institute of Science and Technology Austria, 2019.","chicago":"Mckenzie, Catherine. “Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission.” Institute of Science and Technology Austria, 2019. <a href=\"https://doi.org/10.15479/at:ista:7132\">https://doi.org/10.15479/at:ista:7132</a>.","ieee":"C. Mckenzie, “Design and characterization of methods and biological components to realize synthetic neurotransmission,” Institute of Science and Technology Austria, 2019.","ama":"Mckenzie C. Design and characterization of methods and biological components to realize synthetic neurotransmission. 2019. doi:<a href=\"https://doi.org/10.15479/at:ista:7132\">10.15479/at:ista:7132</a>","mla":"Mckenzie, Catherine. <i>Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission</i>. Institute of Science and Technology Austria, 2019, doi:<a href=\"https://doi.org/10.15479/at:ista:7132\">10.15479/at:ista:7132</a>.","apa":"Mckenzie, C. (2019). <i>Design and characterization of methods and biological components to realize synthetic neurotransmission</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:7132\">https://doi.org/10.15479/at:ista:7132</a>"},"year":"2019","ddc":["571","573"],"related_material":{"record":[{"relation":"old_edition","status":"public","id":"6266"}]},"oa":1,"_id":"7132","title":"Design and characterization of methods and biological components to realize synthetic neurotransmission","publication_status":"published","abstract":[{"text":"A major challenge in neuroscience research is to dissect the circuits that orchestrate behavior in health and disease. Proteins from a wide range of non-mammalian species, such as microbial opsins, have been successfully transplanted to specific neuronal targets to override their natural communication patterns. The goal of our work is to manipulate synaptic communication in a manner that closely incorporates the functional intricacies of synapses by preserving temporal encoding (i.e. the firing pattern of the presynaptic neuron) and connectivity (i.e. target specific synapses rather than specific neurons). Our strategy to achieve this goal builds on the use of non-mammalian transplants to create a synthetic synapse. The mode of modulation comes from pre-synaptic uptake of a synthetic neurotransmitter (SN) into synaptic vesicles by means of a genetically targeted transporter selective for the SN. Upon natural vesicular release, exposure of the SN to the synaptic cleft will modify the post-synaptic potential through an orthogonal ligand gated ion channel. To achieve this goal we have functionally characterized a mixed cationic methionine-gated ion channel from Arabidopsis thaliana, designed a method to functionally characterize a synthetic transporter in isolated synaptic vesicles without the need for transgenic animals, identified and extracted multiple prokaryotic uptake systems that are substrate specific for methionine (Met), and established a primary/cell line co-culture system that would allow future combinatorial testing of this orthogonal transmitter-transporter-channel trifecta.\r\nSynthetic synapses will provide a unique opportunity to manipulate synaptic communication while maintaining the electrophysiological integrity of the pre-synaptic cell. In this way, information may be preserved that was generated in upstream circuits and that could be essential for concerted function and information processing.","lang":"eng"}],"publisher":"Institute of Science and Technology Austria","file_date_updated":"2020-07-14T12:47:50Z","degree_awarded":"PhD","status":"public","date_created":"2019-11-27T09:07:14Z","month":"06","article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"27","supervisor":[{"orcid":"0000-0002-8023-9315","full_name":"Janovjak, Harald L","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","first_name":"Harald L","last_name":"Janovjak"}],"date_updated":"2024-03-25T23:30:11Z","type":"dissertation","oa_version":"Published Version","language":[{"iso":"eng"}],"doi":"10.15479/at:ista:7132","has_accepted_license":"1","department":[{"_id":"HaJa"}],"page":"95","date_published":"2019-06-27T00:00:00Z","file":[{"relation":"source_file","date_created":"2019-11-27T09:06:10Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"dernst","file_size":5054633,"file_id":"7133","date_updated":"2020-07-14T12:47:50Z","file_name":"McKenzie PhD Thesis August 2018 - Corrected Final.docx","checksum":"34d0fe0f6e0af97b5937205a3e350423","access_level":"closed"},{"date_created":"2019-11-27T09:06:10Z","relation":"main_file","file_size":3231837,"content_type":"application/pdf","creator":"dernst","file_id":"7134","date_updated":"2020-07-14T12:47:50Z","access_level":"open_access","file_name":"McKenzie PhD Thesis August 2018 - Corrected Final.pdf","checksum":"140dfb5e3df7edca34f4b6fcc55d876f"}],"publication_identifier":{"issn":["2663-337X"]},"alternative_title":["ISTA Thesis"]},{"arxiv":1,"scopus_import":"1","publication_identifier":{"isbn":["9781538692912"]},"external_id":{"isi":["000489100301043"],"arxiv":["1702.08476"]},"date_published":"2019-07-01T00:00:00Z","department":[{"_id":"KrPi"}],"doi":"10.1109/isit.2019.8849240","language":[{"iso":"eng"}],"day":"01","oa_version":"Preprint","type":"conference","date_updated":"2023-09-06T11:15:41Z","article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","article_number":"8849240","month":"07","conference":{"end_date":"2019-07-12","name":"ISIT: International Symposium on Information Theory","start_date":"2019-07-07","location":"Paris, France"},"date_created":"2019-11-28T10:19:21Z","isi":1,"publisher":"IEEE","abstract":[{"lang":"eng","text":"It is well established that the notion of min-entropy fails to satisfy the \\emph{chain rule} of the form H(X,Y)=H(X|Y)+H(Y), known for Shannon Entropy. Such a property would help to analyze how min-entropy is split among smaller blocks. Problems of this kind arise for example when constructing extractors and dispersers.\r\nWe show that any sequence of variables exhibits a very strong strong block-source structure (conditional distributions of blocks are nearly flat) when we \\emph{spoil few correlated bits}. This implies, conditioned on the spoiled bits, that \\emph{splitting-recombination properties} hold. In particular, we have many nice properties that min-entropy doesn't obey in general, for example strong chain rules, \"information can't hurt\" inequalities, equivalences of average and worst-case conditional entropy definitions and others. Quantitatively, for any sequence X1,…,Xt of random variables over an alphabet X we prove that, when conditioned on m=t⋅O(loglog|X|+loglog(1/ϵ)+logt) bits of auxiliary information, all conditional distributions of the form Xi|X<i are ϵ-close to be nearly flat (only a constant factor away). The argument is combinatorial (based on simplex coverings).\r\nThis result may be used as a generic tool for \\emph{exhibiting block-source structures}. We demonstrate this by reproving the fundamental converter due to Nisan and Zuckermann (\\emph{J. Computer and System Sciences, 1996}), which shows that sampling blocks from a min-entropy source roughly preserves the entropy rate. Our bound implies, only by straightforward chain rules, an additive loss of o(1) (for sufficiently many samples), which qualitatively meets the first tighter analysis of this problem due to Vadhan (\\emph{CRYPTO'03}), obtained by large deviation techniques. "}],"publication_status":"published","_id":"7136","oa":1,"publication":"2019 IEEE International Symposium on Information Theory","title":"Strong chain rules for min-entropy under few bits spoiled","year":"2019","author":[{"id":"EC09FA6A-02D0-11E9-8223-86B7C91467DD","full_name":"Skórski, Maciej","first_name":"Maciej","last_name":"Skórski"}],"quality_controlled":"1","main_file_link":[{"url":"https://arxiv.org/abs/1702.08476","open_access":"1"}],"citation":{"short":"M. Skórski, in:, 2019 IEEE International Symposium on Information Theory, IEEE, 2019.","chicago":"Skórski, Maciej. “Strong Chain Rules for Min-Entropy under Few Bits Spoiled.” In <i>2019 IEEE International Symposium on Information Theory</i>. IEEE, 2019. <a href=\"https://doi.org/10.1109/isit.2019.8849240\">https://doi.org/10.1109/isit.2019.8849240</a>.","ista":"Skórski M. 2019. Strong chain rules for min-entropy under few bits spoiled. 2019 IEEE International Symposium on Information Theory. ISIT: International Symposium on Information Theory, 8849240.","ama":"Skórski M. Strong chain rules for min-entropy under few bits spoiled. In: <i>2019 IEEE International Symposium on Information Theory</i>. IEEE; 2019. doi:<a href=\"https://doi.org/10.1109/isit.2019.8849240\">10.1109/isit.2019.8849240</a>","ieee":"M. Skórski, “Strong chain rules for min-entropy under few bits spoiled,” in <i>2019 IEEE International Symposium on Information Theory</i>, Paris, France, 2019.","mla":"Skórski, Maciej. “Strong Chain Rules for Min-Entropy under Few Bits Spoiled.” <i>2019 IEEE International Symposium on Information Theory</i>, 8849240, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/isit.2019.8849240\">10.1109/isit.2019.8849240</a>.","apa":"Skórski, M. (2019). Strong chain rules for min-entropy under few bits spoiled. In <i>2019 IEEE International Symposium on Information Theory</i>. Paris, France: IEEE. <a href=\"https://doi.org/10.1109/isit.2019.8849240\">https://doi.org/10.1109/isit.2019.8849240</a>"}},{"status":"public","date_created":"2019-12-02T12:30:48Z","month":"12","isi":1,"intvolume":"        29","publisher":"Springer Nature","article_type":"original","volume":29,"publication_status":"published","abstract":[{"text":"Roots grow downwards parallel to the gravity vector, to anchor a plant in soil and acquire water and nutrients, using a gravitropic mechanism dependent on the asymmetric distribution of the phytohormone auxin. Recently, Chang et al. demonstrate that asymmetric distribution of another phytohormone, cytokinin, directs root growth towards higher water content.","lang":"eng"}],"oa":1,"_id":"7143","publication":"Cell Research","title":"Defying gravity: a plant's quest for moisture","pmid":1,"year":"2019","quality_controlled":"1","author":[{"first_name":"Scott A","last_name":"Sinclair","orcid":"0000-0002-4566-0593","full_name":"Sinclair, Scott A","id":"2D99FE6A-F248-11E8-B48F-1D18A9856A87"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří","last_name":"Friml","first_name":"Jiří"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1038/s41422-019-0254-4"}],"citation":{"short":"S.A. Sinclair, J. Friml, Cell Research 29 (2019) 965–966.","chicago":"Sinclair, Scott A, and Jiří Friml. “Defying Gravity: A Plant’s Quest for Moisture.” <i>Cell Research</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41422-019-0254-4\">https://doi.org/10.1038/s41422-019-0254-4</a>.","ista":"Sinclair SA, Friml J. 2019. Defying gravity: a plant’s quest for moisture. Cell Research. 29, 965–966.","ama":"Sinclair SA, Friml J. Defying gravity: a plant’s quest for moisture. <i>Cell Research</i>. 2019;29:965-966. doi:<a href=\"https://doi.org/10.1038/s41422-019-0254-4\">10.1038/s41422-019-0254-4</a>","ieee":"S. A. Sinclair and J. Friml, “Defying gravity: a plant’s quest for moisture,” <i>Cell Research</i>, vol. 29. Springer Nature, pp. 965–966, 2019.","apa":"Sinclair, S. A., &#38; Friml, J. (2019). Defying gravity: a plant’s quest for moisture. <i>Cell Research</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41422-019-0254-4\">https://doi.org/10.1038/s41422-019-0254-4</a>","mla":"Sinclair, Scott A., and Jiří Friml. “Defying Gravity: A Plant’s Quest for Moisture.” <i>Cell Research</i>, vol. 29, Springer Nature, 2019, pp. 965–66, doi:<a href=\"https://doi.org/10.1038/s41422-019-0254-4\">10.1038/s41422-019-0254-4</a>."},"publication_identifier":{"eissn":["1748-7838"],"issn":["1001-0602"]},"scopus_import":"1","page":"965-966","date_published":"2019-12-01T00:00:00Z","external_id":{"isi":["000500749600001"],"pmid":["31745287"]},"doi":"10.1038/s41422-019-0254-4","language":[{"iso":"eng"}],"department":[{"_id":"JiFr"}],"day":"01","type":"journal_article","date_updated":"2023-09-06T11:20:58Z","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_processing_charge":"No"},{"title":"End-to-end correlated subgap states in hybrid nanowires","publication":"Physical Review B","_id":"7145","oa":1,"abstract":[{"text":"End-to-end correlated bound states are investigated in superconductor-semiconductor hybrid nanowires at zero magnetic field. Peaks in subgap conductance are independently identified from each wire end, and a cross-correlation function is computed that counts end-to-end coincidences, averaging over thousands of subgap features. Strong correlations in a short, 300-nm device are reduced by a factor of 4 in a long, 900-nm device. In addition, subgap conductance distributions are investigated, and correlations between the left and right distributions are identified based on their mutual information.","lang":"eng"}],"publication_status":"published","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1908.05549"}],"citation":{"ieee":"G. L. R. Anselmetti <i>et al.</i>, “End-to-end correlated subgap states in hybrid nanowires,” <i>Physical Review B</i>, vol. 100, no. 20. American Physical Society, 2019.","ama":"Anselmetti GLR, Martinez EA, Ménard GC, et al. End-to-end correlated subgap states in hybrid nanowires. <i>Physical Review B</i>. 2019;100(20). doi:<a href=\"https://doi.org/10.1103/physrevb.100.205412\">10.1103/physrevb.100.205412</a>","short":"G.L.R. Anselmetti, E.A. Martinez, G.C. Ménard, D. Puglia, F.K. Malinowski, J.S. Lee, S. Choi, M. Pendharkar, C.J. Palmstrøm, C.M. Marcus, L. Casparis, A.P. Higginbotham, Physical Review B 100 (2019).","chicago":"Anselmetti, G. L. R., E. A. Martinez, G. C. Ménard, D. Puglia, F. K. Malinowski, J. S. Lee, S. Choi, et al. “End-to-End Correlated Subgap States in Hybrid Nanowires.” <i>Physical Review B</i>. American Physical Society, 2019. <a href=\"https://doi.org/10.1103/physrevb.100.205412\">https://doi.org/10.1103/physrevb.100.205412</a>.","ista":"Anselmetti GLR, Martinez EA, Ménard GC, Puglia D, Malinowski FK, Lee JS, Choi S, Pendharkar M, Palmstrøm CJ, Marcus CM, Casparis L, Higginbotham AP. 2019. End-to-end correlated subgap states in hybrid nanowires. Physical Review B. 100(20), 205412.","apa":"Anselmetti, G. L. R., Martinez, E. A., Ménard, G. C., Puglia, D., Malinowski, F. K., Lee, J. S., … Higginbotham, A. P. (2019). End-to-end correlated subgap states in hybrid nanowires. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevb.100.205412\">https://doi.org/10.1103/physrevb.100.205412</a>","mla":"Anselmetti, G. L. R., et al. “End-to-End Correlated Subgap States in Hybrid Nanowires.” <i>Physical Review B</i>, vol. 100, no. 20, 205412, American Physical Society, 2019, doi:<a href=\"https://doi.org/10.1103/physrevb.100.205412\">10.1103/physrevb.100.205412</a>."},"quality_controlled":"1","author":[{"first_name":"G. L. R.","last_name":"Anselmetti","full_name":"Anselmetti, G. L. R."},{"last_name":"Martinez","first_name":"E. A.","full_name":"Martinez, E. A."},{"first_name":"G. C.","last_name":"Ménard","full_name":"Ménard, G. C."},{"full_name":"Puglia, D.","last_name":"Puglia","first_name":"D."},{"first_name":"F. K.","last_name":"Malinowski","full_name":"Malinowski, F. K."},{"full_name":"Lee, J. S.","first_name":"J. S.","last_name":"Lee"},{"first_name":"S.","last_name":"Choi","full_name":"Choi, S."},{"full_name":"Pendharkar, M.","last_name":"Pendharkar","first_name":"M."},{"first_name":"C. J.","last_name":"Palmstrøm","full_name":"Palmstrøm, C. J."},{"last_name":"Marcus","first_name":"C. M.","full_name":"Marcus, C. M."},{"first_name":"L.","last_name":"Casparis","full_name":"Casparis, L."},{"id":"4AD6785A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2607-2363","full_name":"Higginbotham, Andrew P","last_name":"Higginbotham","first_name":"Andrew P"}],"year":"2019","intvolume":"       100","isi":1,"month":"11","date_created":"2019-12-04T16:02:25Z","article_number":"205412","status":"public","volume":100,"issue":"20","article_type":"original","publisher":"American Physical Society","department":[{"_id":"AnHi"}],"language":[{"iso":"eng"}],"doi":"10.1103/physrevb.100.205412","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","oa_version":"Preprint","date_updated":"2024-02-28T13:13:51Z","type":"journal_article","day":"15","scopus_import":"1","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"arxiv":1,"external_id":{"arxiv":["1908.05549"],"isi":["000495967500006"]},"date_published":"2019-11-15T00:00:00Z"},{"article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"25","oa_version":"None","type":"journal_article","date_updated":"2023-09-06T11:18:59Z","department":[{"_id":"BeVi"}],"language":[{"iso":"eng"}],"doi":"10.1038/s41559-019-1050-8","ec_funded":1,"page":"1632-1641","external_id":{"isi":["000500728800009"]},"date_published":"2019-11-25T00:00:00Z","scopus_import":"1","publication_identifier":{"issn":["2397-334X"]},"quality_controlled":"1","author":[{"last_name":"Vicoso","first_name":"Beatriz","orcid":"0000-0002-4579-8306","full_name":"Vicoso, Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87"}],"citation":{"ista":"Vicoso B. 2019. Molecular and evolutionary dynamics of animal sex-chromosome turnover. Nature Ecology &#38; Evolution. 3(12), 1632–1641.","short":"B. Vicoso, Nature Ecology &#38; Evolution 3 (2019) 1632–1641.","chicago":"Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome Turnover.” <i>Nature Ecology &#38; Evolution</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41559-019-1050-8\">https://doi.org/10.1038/s41559-019-1050-8</a>.","ieee":"B. Vicoso, “Molecular and evolutionary dynamics of animal sex-chromosome turnover,” <i>Nature Ecology &#38; Evolution</i>, vol. 3, no. 12. Springer Nature, pp. 1632–1641, 2019.","ama":"Vicoso B. Molecular and evolutionary dynamics of animal sex-chromosome turnover. <i>Nature Ecology &#38; Evolution</i>. 2019;3(12):1632-1641. doi:<a href=\"https://doi.org/10.1038/s41559-019-1050-8\">10.1038/s41559-019-1050-8</a>","apa":"Vicoso, B. (2019). Molecular and evolutionary dynamics of animal sex-chromosome turnover. <i>Nature Ecology &#38; Evolution</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41559-019-1050-8\">https://doi.org/10.1038/s41559-019-1050-8</a>","mla":"Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome Turnover.” <i>Nature Ecology &#38; Evolution</i>, vol. 3, no. 12, Springer Nature, 2019, pp. 1632–41, doi:<a href=\"https://doi.org/10.1038/s41559-019-1050-8\">10.1038/s41559-019-1050-8</a>."},"year":"2019","_id":"7146","publication":"Nature Ecology & Evolution","title":"Molecular and evolutionary dynamics of animal sex-chromosome turnover","abstract":[{"text":"Prevailing models of sex-chromosome evolution were largely inspired by the stable and highly differentiated XY pairs of model organisms, such as those of mammals and flies. Recent work has uncovered an incredible diversity of sex-determining systems, bringing some of the assumptions of these traditional models into question. One particular question that has arisen is what drives some sex chromosomes to be maintained over millions of years and differentiate fully, while others are replaced by new sex-determining chromosomes before differentiation has occurred. Here, I review recent data on the variability of sex-determining genes and sex chromosomes in different non-model vertebrates and invertebrates, and discuss some theoretical models that have been put forward to account for this diversity.","lang":"eng"}],"publication_status":"published","project":[{"_id":"250BDE62-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"715257","name":"Prevalence and Influence of Sexual Antagonism on Genome Evolution"}],"issue":"12","volume":3,"publisher":"Springer Nature","article_type":"original","isi":1,"intvolume":"         3","status":"public","month":"11","date_created":"2019-12-04T16:05:25Z"},{"publication":"17th International Conference on Computational Methods in Systems Biology","title":"Transient memory in gene regulation","_id":"7147","project":[{"grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"_id":"251EE76E-B435-11E9-9278-68D0E5697425","name":"Design principles underlying genetic switch architecture","grant_number":"24573"}],"publication_status":"published","abstract":[{"lang":"eng","text":"The expression of a gene is characterised by its transcription factors and the function processing them. If the transcription factors are not affected by gene products, the regulating function is often represented as a combinational logic circuit, where the outputs (product) are determined by current input values (transcription factors) only, and are hence independent on their relative arrival times. However, the simultaneous arrival of transcription factors (TFs) in genetic circuits is a strong assumption, given that the processes of transcription and translation of a gene into a protein introduce intrinsic time delays and that there is no global synchronisation among the arrival times of different molecular species at molecular targets.\r\n\r\nIn this paper, we construct an experimentally implementable genetic circuit with two inputs and a single output, such that, in presence of small delays in input arrival, the circuit exhibits qualitatively distinct observable phenotypes. In particular, these phenotypes are long lived transients: they all converge to a single value, but so slowly, that they seem stable for an extended time period, longer than typical experiment duration. We used rule-based language to prototype our circuit, and we implemented a search for finding the parameter combinations raising the phenotypes of interest.\r\n\r\nThe behaviour of our prototype circuit has wide implications. First, it suggests that GRNs can exploit event timing to create phenotypes. Second, it opens the possibility that GRNs are using event timing to react to stimuli and memorise events, without explicit feedback in regulation. From the modelling perspective, our prototype circuit demonstrates the critical importance of analysing the transient dynamics at the promoter binding sites of the DNA, before applying rapid equilibrium assumptions."}],"citation":{"apa":"Guet, C. C., Henzinger, T. A., Igler, C., Petrov, T., &#38; Sezgin, A. (2019). Transient memory in gene regulation. In <i>17th International Conference on Computational Methods in Systems Biology</i> (Vol. 11773, pp. 155–187). Trieste, Italy: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-31304-3_9\">https://doi.org/10.1007/978-3-030-31304-3_9</a>","mla":"Guet, Calin C., et al. “Transient Memory in Gene Regulation.” <i>17th International Conference on Computational Methods in Systems Biology</i>, vol. 11773, Springer Nature, 2019, pp. 155–87, doi:<a href=\"https://doi.org/10.1007/978-3-030-31304-3_9\">10.1007/978-3-030-31304-3_9</a>.","short":"C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.","chicago":"Guet, Calin C, Thomas A Henzinger, Claudia Igler, Tatjana Petrov, and Ali Sezgin. “Transient Memory in Gene Regulation.” In <i>17th International Conference on Computational Methods in Systems Biology</i>, 11773:155–87. Springer Nature, 2019. <a href=\"https://doi.org/10.1007/978-3-030-31304-3_9\">https://doi.org/10.1007/978-3-030-31304-3_9</a>.","ista":"Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. 2019. Transient memory in gene regulation. 17th International Conference on Computational Methods in Systems Biology. CMSB: Computational Methods in Systems Biology, LNCS, vol. 11773, 155–187.","ieee":"C. C. Guet, T. A. Henzinger, C. Igler, T. Petrov, and A. Sezgin, “Transient memory in gene regulation,” in <i>17th International Conference on Computational Methods in Systems Biology</i>, Trieste, Italy, 2019, vol. 11773, pp. 155–187.","ama":"Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. Transient memory in gene regulation. In: <i>17th International Conference on Computational Methods in Systems Biology</i>. Vol 11773. Springer Nature; 2019:155-187. doi:<a href=\"https://doi.org/10.1007/978-3-030-31304-3_9\">10.1007/978-3-030-31304-3_9</a>"},"author":[{"id":"47F8433E-F248-11E8-B48F-1D18A9856A87","full_name":"Guet, Calin C","orcid":"0000-0001-6220-2052","first_name":"Calin C","last_name":"Guet"},{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Igler, Claudia","id":"46613666-F248-11E8-B48F-1D18A9856A87","last_name":"Igler","first_name":"Claudia"},{"last_name":"Petrov","first_name":"Tatjana","id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","full_name":"Petrov, Tatjana","orcid":"0000-0002-9041-0905"},{"full_name":"Sezgin, Ali","id":"4C7638DA-F248-11E8-B48F-1D18A9856A87","first_name":"Ali","last_name":"Sezgin"}],"quality_controlled":"1","year":"2019","intvolume":"     11773","isi":1,"date_created":"2019-12-04T16:07:50Z","month":"09","conference":{"start_date":"2019-09-18","location":"Trieste, Italy","end_date":"2019-09-20","name":"CMSB: Computational Methods in Systems Biology"},"status":"public","volume":11773,"publisher":"Springer Nature","language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-31304-3_9","department":[{"_id":"CaGu"},{"_id":"ToHe"}],"article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_updated":"2023-09-06T11:18:08Z","type":"conference","oa_version":"None","day":"17","alternative_title":["LNCS"],"publication_identifier":{"issn":["0302-9743"],"isbn":["9783030313036","9783030313043"],"eissn":["1611-3349"]},"scopus_import":"1","date_published":"2019-09-17T00:00:00Z","external_id":{"isi":["000557875100009"]},"page":"155-187"},{"contributor":[{"orcid":"0000-0001-9819-5077","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","first_name":"Ruslan","last_name":"Guseinov"},{"last_name":"McMahan","first_name":"Connor"},{"first_name":"Jesus","last_name":"Perez Rodriguez","id":"2DC83906-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Chiara","last_name":"Daraio"},{"last_name":"Bickel","first_name":"Bernd","orcid":"0000-0001-6511-9385","id":"49876194-F248-11E8-B48F-1D18A9856A87"}],"day":"06","year":"2019","type":"research_data","tmp":{"short":"CC0 (1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)","image":"/images/cc_0.png"},"date_updated":"2024-02-21T12:45:03Z","oa_version":"Published Version","article_processing_charge":"No","author":[{"orcid":"0000-0001-9819-5077","full_name":"Guseinov, Ruslan","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","first_name":"Ruslan","last_name":"Guseinov"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"R. Guseinov, “Supplementary data for ‘Programming temporal morphing of self-actuated shells.’” Institute of Science and Technology Austria, 2019.","ama":"Guseinov R. Supplementary data for “Programming temporal morphing of self-actuated shells.” 2019. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:7154\">10.15479/AT:ISTA:7154</a>","chicago":"Guseinov, Ruslan. “Supplementary Data for ‘Programming Temporal Morphing of Self-Actuated Shells.’” Institute of Science and Technology Austria, 2019. <a href=\"https://doi.org/10.15479/AT:ISTA:7154\">https://doi.org/10.15479/AT:ISTA:7154</a>.","short":"R. Guseinov, (2019).","ista":"Guseinov R. 2019. Supplementary data for ‘Programming temporal morphing of self-actuated shells’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:7154\">10.15479/AT:ISTA:7154</a>.","mla":"Guseinov, Ruslan. <i>Supplementary Data for “Programming Temporal Morphing of Self-Actuated Shells.”</i> Institute of Science and Technology Austria, 2019, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:7154\">10.15479/AT:ISTA:7154</a>.","apa":"Guseinov, R. (2019). Supplementary data for “Programming temporal morphing of self-actuated shells.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:7154\">https://doi.org/10.15479/AT:ISTA:7154</a>"},"project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"license":"https://creativecommons.org/publicdomain/zero/1.0/","oa":1,"related_material":{"record":[{"relation":"used_in_publication","status":"deleted","id":"8433"},{"status":"public","relation":"used_in_publication","id":"7262"}]},"doi":"10.15479/AT:ISTA:7154","ddc":["000"],"_id":"7154","has_accepted_license":"1","department":[{"_id":"BeBi"}],"title":"Supplementary data for \"Programming temporal morphing of self-actuated shells\"","ec_funded":1,"publisher":"Institute of Science and Technology Austria","file_date_updated":"2020-07-14T12:47:50Z","date_published":"2019-12-06T00:00:00Z","file":[{"relation":"main_file","date_created":"2019-12-09T07:52:17Z","file_size":65307107,"creator":"dernst","content_type":"application/x-zip-compressed","file_id":"7155","date_updated":"2020-07-14T12:47:50Z","file_name":"temporal_morphing_supp_data.zip","checksum":"155133e6e188e85b3c0676a5e70b9341","access_level":"open_access"}],"status":"public","date_created":"2019-12-09T07:52:46Z","month":"12"},{"arxiv":1,"scopus_import":"1","publication_identifier":{"issn":["2056-6387"]},"external_id":{"arxiv":["1909.01470"],"isi":["000502996200003"]},"file":[{"date_updated":"2020-07-14T12:47:50Z","file_id":"7157","access_level":"open_access","file_name":"2019_NPJ_Rueda.pdf","checksum":"13e0ea1d4f9b5f5710780d9473364f58","date_created":"2019-12-09T08:25:06Z","relation":"main_file","file_size":1580132,"content_type":"application/pdf","creator":"dernst"}],"date_published":"2019-12-01T00:00:00Z","ec_funded":1,"department":[{"_id":"JoFi"}],"has_accepted_license":"1","doi":"10.1038/s41534-019-0220-5","language":[{"iso":"eng"}],"oa_version":"Published Version","type":"journal_article","date_updated":"2024-08-07T07:11:55Z","day":"01","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_processing_charge":"No","month":"12","date_created":"2019-12-09T08:18:56Z","article_number":"108","status":"public","intvolume":"         5","isi":1,"file_date_updated":"2020-07-14T12:47:50Z","publisher":"Springer Nature","article_type":"original","volume":5,"project":[{"call_identifier":"H2020","_id":"26336814-B435-11E9-9278-68D0E5697425","name":"A Fiber Optic Transceiver for Superconducting Qubits","grant_number":"758053"},{"grant_number":"707438","name":"Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics SUPEREOM","_id":"258047B6-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"call_identifier":"H2020","_id":"257EB838-B435-11E9-9278-68D0E5697425","name":"Hybrid Optomechanical Technologies","grant_number":"732894"},{"grant_number":"F07105","name":"Integrating superconducting quantum circuits","call_identifier":"FWF","_id":"26927A52-B435-11E9-9278-68D0E5697425"}],"abstract":[{"lang":"eng","text":"We propose an efficient microwave-photonic modulator as a resource for stationary entangled microwave-optical fields and develop the theory for deterministic entanglement generation and quantum state transfer in multi-resonant electro-optic systems. The device is based on a single crystal whispering gallery mode resonator integrated into a 3D-microwave cavity. The specific design relies on a new combination of thin-film technology and conventional machining that is optimized for the lowest dissipation rates in the microwave, optical, and mechanical domains. We extract important device properties from finite-element simulations and predict continuous variable entanglement generation rates on the order of a Mebit/s for optical pump powers of only a few tens of microwatts. We compare the quantum state transfer fidelities of coherent, squeezed, and non-Gaussian cat states for both teleportation and direct conversion protocols under realistic conditions. Combining the unique capabilities of circuit quantum electrodynamics with the resilience of fiber optic communication could facilitate long-distance solid-state qubit networks, new methods for quantum signal synthesis, quantum key distribution, and quantum enhanced detection, as well as more power-efficient classical sensing and modulation."}],"publication_status":"published","publication":"npj Quantum Information","title":"Electro-optic entanglement source for microwave to telecom quantum state transfer","_id":"7156","oa":1,"ddc":["530"],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"year":"2019","citation":{"apa":"Rueda Sanchez, A. R., Hease, W. J., Barzanjeh, S., &#38; Fink, J. M. (2019). Electro-optic entanglement source for microwave to telecom quantum state transfer. <i>Npj Quantum Information</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41534-019-0220-5\">https://doi.org/10.1038/s41534-019-0220-5</a>","mla":"Rueda Sanchez, Alfredo R., et al. “Electro-Optic Entanglement Source for Microwave to Telecom Quantum State Transfer.” <i>Npj Quantum Information</i>, vol. 5, 108, Springer Nature, 2019, doi:<a href=\"https://doi.org/10.1038/s41534-019-0220-5\">10.1038/s41534-019-0220-5</a>.","ieee":"A. R. Rueda Sanchez, W. J. Hease, S. Barzanjeh, and J. M. Fink, “Electro-optic entanglement source for microwave to telecom quantum state transfer,” <i>npj Quantum Information</i>, vol. 5. Springer Nature, 2019.","ama":"Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. Electro-optic entanglement source for microwave to telecom quantum state transfer. <i>npj Quantum Information</i>. 2019;5. doi:<a href=\"https://doi.org/10.1038/s41534-019-0220-5\">10.1038/s41534-019-0220-5</a>","ista":"Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. 2019. Electro-optic entanglement source for microwave to telecom quantum state transfer. npj Quantum Information. 5, 108.","chicago":"Rueda Sanchez, Alfredo R, William J Hease, Shabir Barzanjeh, and Johannes M Fink. “Electro-Optic Entanglement Source for Microwave to Telecom Quantum State Transfer.” <i>Npj Quantum Information</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41534-019-0220-5\">https://doi.org/10.1038/s41534-019-0220-5</a>.","short":"A.R. Rueda Sanchez, W.J. Hease, S. Barzanjeh, J.M. Fink, Npj Quantum Information 5 (2019)."},"author":[{"last_name":"Rueda Sanchez","first_name":"Alfredo R","orcid":"0000-0001-6249-5860","full_name":"Rueda Sanchez, Alfredo R","id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Hease, William J","orcid":"0000-0001-9868-2166","id":"29705398-F248-11E8-B48F-1D18A9856A87","last_name":"Hease","first_name":"William J"},{"full_name":"Barzanjeh, Shabir","orcid":"0000-0003-0415-1423","id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","first_name":"Shabir","last_name":"Barzanjeh"},{"last_name":"Fink","first_name":"Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8112-028X","full_name":"Fink, Johannes M"}],"quality_controlled":"1"},{"date_updated":"2024-03-25T23:30:19Z","type":"journal_article","oa_version":"Submitted Version","day":"01","article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","ec_funded":1,"language":[{"iso":"eng"}],"doi":"10.1145/3363525","has_accepted_license":"1","department":[{"_id":"KrCh"}],"date_published":"2019-11-01T00:00:00Z","external_id":{"isi":["000564108400004"]},"file":[{"file_name":"2019_ACMTransactions_Chatterjee.pdf","checksum":"291cc86a07bd010d4815e177dac57b70","access_level":"open_access","success":1,"file_id":"8632","date_updated":"2020-10-08T12:58:10Z","content_type":"application/pdf","creator":"dernst","file_size":667357,"relation":"main_file","date_created":"2020-10-08T12:58:10Z"}],"publication_identifier":{"issn":["0164-0925"]},"scopus_import":"1","year":"2019","citation":{"mla":"Chatterjee, Krishnendu, et al. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 41, no. 4, 23, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3363525\">10.1145/3363525</a>.","apa":"Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., &#38; Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. <i>ACM Transactions on Programming Languages and Systems</i>. ACM. <a href=\"https://doi.org/10.1145/3363525\">https://doi.org/10.1145/3363525</a>","ieee":"K. Chatterjee, A. K. Goharshady, P. Goyal, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth,” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 41, no. 4. ACM, 2019.","ama":"Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. <i>ACM Transactions on Programming Languages and Systems</i>. 2019;41(4). doi:<a href=\"https://doi.org/10.1145/3363525\">10.1145/3363525</a>","chicago":"Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” <i>ACM Transactions on Programming Languages and Systems</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3363525\">https://doi.org/10.1145/3363525</a>.","short":"K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).","ista":"Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. 2019. Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. 41(4), 23."},"quality_controlled":"1","author":[{"last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"last_name":"Goharshady","first_name":"Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87","full_name":"Goharshady, Amir Kafshdar","orcid":"0000-0003-1702-6584"},{"full_name":"Goyal, Prateesh","first_name":"Prateesh","last_name":"Goyal"},{"last_name":"Ibsen-Jensen","first_name":"Rasmus","orcid":"0000-0003-4783-0389","full_name":"Ibsen-Jensen, Rasmus","id":"3B699956-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Pavlogiannis","first_name":"Andreas","orcid":"0000-0002-8943-0722","full_name":"Pavlogiannis, Andreas","id":"49704004-F248-11E8-B48F-1D18A9856A87"}],"project":[{"name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"grant_number":"S11407","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","abstract":[{"text":"Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, and so on. Recursive state machines (RSMs) are standard models for interprocedural analysis. We consider a general framework with RSMs where the transitions are labeled from a semiring and path properties are algebraic with semiring operations. RSMs with algebraic path properties can model interprocedural dataflow analysis problems, the shortest path problem, the most probable path problem, and so on. The traditional algorithms for interprocedural analysis focus on path properties where the starting point is fixed as the entry point of a specific method. In this work, we consider possible multiple queries as required in many applications such as in alias analysis. The study of multiple queries allows us to bring in an important algorithmic distinction between the resource usage of the one-time preprocessing vs for each individual query. The second aspect we consider is that the control flow graphs for most programs have constant treewidth.\r\n\r\nOur main contributions are simple and implementable algorithms that support multiple queries for algebraic path properties for RSMs that have constant treewidth. Our theoretical results show that our algorithms have small additional one-time preprocessing but can answer subsequent queries significantly faster as compared to the current algorithmic solutions for interprocedural dataflow analysis. We have also implemented our algorithms and evaluated their performance for performing on-demand interprocedural dataflow analysis on various domains, such as for live variable analysis and reaching definitions, on a standard benchmark set. Our experimental results align with our theoretical statements and show that after a lightweight preprocessing, on-demand queries are answered much faster than the standard existing algorithmic approaches.\r\n","lang":"eng"}],"title":"Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth","publication":"ACM Transactions on Programming Languages and Systems","ddc":["000"],"related_material":{"record":[{"id":"8934","status":"public","relation":"dissertation_contains"}]},"oa":1,"_id":"7158","file_date_updated":"2020-10-08T12:58:10Z","publisher":"ACM","article_type":"original","issue":"4","volume":41,"date_created":"2019-12-09T08:33:33Z","month":"11","status":"public","article_number":"23","intvolume":"        41","isi":1},{"publication_identifier":{"isbn":["9783030320782","9783030320799"],"issn":["0302-9743"]},"scopus_import":"1","alternative_title":["LNCS"],"page":"292-309","date_published":"2019-10-01T00:00:00Z","external_id":{"isi":["000570006300017"]},"language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-32079-9_17","department":[{"_id":"ToHe"}],"day":"01","type":"conference","date_updated":"2023-09-06T11:24:10Z","oa_version":"None","article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","date_created":"2019-12-09T08:47:55Z","month":"10","conference":{"start_date":"2019-10-08","location":"Porto, Portugal","end_date":"2019-10-11","name":"RV: Runtime Verification"},"isi":1,"intvolume":"     11757","publisher":"Springer Nature","volume":11757,"publication_status":"published","abstract":[{"lang":"eng","text":"Cyber-physical systems (CPS) and the Internet-of-Things (IoT) result in a tremendous amount of generated, measured and recorded time-series data. Extracting temporal segments that encode patterns with useful information out of these huge amounts of data is an extremely difficult problem. We propose shape expressions as a declarative formalism for specifying, querying and extracting sophisticated temporal patterns from possibly noisy data. Shape expressions are regular expressions with arbitrary (linear, exponential, sinusoidal, etc.) shapes with parameters as atomic predicates and additional constraints on these parameters. We equip shape expressions with a novel noisy semantics that combines regular expression matching semantics with statistical regression. We characterize essential properties of the formalism and propose an efficient approximate shape expression matching procedure. We demonstrate the wide applicability of this technique on two case studies. "}],"project":[{"name":"The Wittgenstein Prize","grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"name":"Rigorous Systems Engineering","grant_number":"S11402-N23","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"_id":"7159","publication":"19th International Conference on Runtime Verification","title":"Shape expressions for specifying and extracting signal features","year":"2019","quality_controlled":"1","author":[{"full_name":"Ničković, Dejan","first_name":"Dejan","last_name":"Ničković"},{"full_name":"Qin, Xin","last_name":"Qin","first_name":"Xin"},{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","full_name":"Ferrere, Thomas","orcid":"0000-0001-5199-3143","last_name":"Ferrere","first_name":"Thomas"},{"first_name":"Cristinel","last_name":"Mateis","full_name":"Mateis, Cristinel"},{"full_name":"Deshmukh, Jyotirmoy","last_name":"Deshmukh","first_name":"Jyotirmoy"}],"citation":{"ieee":"D. Ničković, X. Qin, T. Ferrere, C. Mateis, and J. Deshmukh, “Shape expressions for specifying and extracting signal features,” in <i>19th International Conference on Runtime Verification</i>, Porto, Portugal, 2019, vol. 11757, pp. 292–309.","ama":"Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for specifying and extracting signal features. In: <i>19th International Conference on Runtime Verification</i>. Vol 11757. Springer Nature; 2019:292-309. doi:<a href=\"https://doi.org/10.1007/978-3-030-32079-9_17\">10.1007/978-3-030-32079-9_17</a>","chicago":"Ničković, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.” In <i>19th International Conference on Runtime Verification</i>, 11757:292–309. Springer Nature, 2019. <a href=\"https://doi.org/10.1007/978-3-030-32079-9_17\">https://doi.org/10.1007/978-3-030-32079-9_17</a>.","short":"D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.","ista":"Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. 2019. Shape expressions for specifying and extracting signal features. 19th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 11757, 292–309.","mla":"Ničković, Dejan, et al. “Shape Expressions for Specifying and Extracting Signal Features.” <i>19th International Conference on Runtime Verification</i>, vol. 11757, Springer Nature, 2019, pp. 292–309, doi:<a href=\"https://doi.org/10.1007/978-3-030-32079-9_17\">10.1007/978-3-030-32079-9_17</a>.","apa":"Ničković, D., Qin, X., Ferrere, T., Mateis, C., &#38; Deshmukh, J. (2019). Shape expressions for specifying and extracting signal features. In <i>19th International Conference on Runtime Verification</i> (Vol. 11757, pp. 292–309). Porto, Portugal: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-32079-9_17\">https://doi.org/10.1007/978-3-030-32079-9_17</a>"}}]