[{"abstract":[{"lang":"eng","text":"Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous and discrete post operators to compute states reachable according to continuous and discrete dynamics, respectively. In this paper, we enhance both of these operators and make sure that most of the involved computations are performed in low-dimensional state space. In particular, we improve the continuous-post operator by performing computations in high-dimensional state space only for time intervals relevant for the subsequent application of the discrete-post operator. Furthermore, the new discrete-post operator performs low-dimensional computations by leveraging the structure of the guard and assignment of a considered transition. We illustrate the potential of our approach on a number of challenging benchmarks."}],"oa_version":"Preprint","related_material":{"record":[{"status":"public","id":"8790","relation":"later_version"}]},"ec_funded":1,"publication_status":"published","file":[{"date_updated":"2020-08-24T12:53:15Z","file_size":696384,"creator":"cschilli","date_created":"2020-08-24T12:53:15Z","file_name":"2020EMSOFT.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"d19e97d0f8a3a441dc078ec812297d75","file_id":"8288","success":1}],"language":[{"iso":"eng"}],"type":"conference","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"conference":{"start_date":"2020-09-20","location":"Virtual ","end_date":"2020-09-25","name":"EMSOFT: International Conference on Embedded Software"},"status":"public","keyword":["reachability","hybrid systems","decomposition"],"_id":"8287","department":[{"_id":"ToHe"}],"file_date_updated":"2020-08-24T12:53:15Z","date_updated":"2023-08-22T13:27:32Z","ddc":["000"],"quality_controlled":"1","oa":1,"date_published":"2020-01-01T00:00:00Z","date_created":"2020-08-24T12:56:20Z","has_accepted_license":"1","year":"2020","publication":"Proceedings of the International Conference on Embedded Software","project":[{"grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"FWF","_id":"25C5A090-B435-11E9-9278-68D0E5697425","grant_number":"Z00312","name":"The Wittgenstein Prize"},{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"author":[{"full_name":"Bogomolov, Sergiy","last_name":"Bogomolov","first_name":"Sergiy"},{"full_name":"Forets, Marcelo","last_name":"Forets","first_name":"Marcelo"},{"first_name":"Goran","full_name":"Frehse, Goran","last_name":"Frehse"},{"first_name":"Kostiantyn","last_name":"Potomkin","full_name":"Potomkin, Kostiantyn"},{"first_name":"Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3658-1065","full_name":"Schilling, Christian","last_name":"Schilling"}],"article_processing_charge":"No","external_id":{"arxiv":["1905.02458"]},"title":"Reachability analysis of linear hybrid systems via block decomposition","citation":{"mla":"Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” Proceedings of the International Conference on Embedded Software, 2020.","ama":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. In: Proceedings of the International Conference on Embedded Software. ; 2020.","apa":"Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2020). Reachability analysis of linear hybrid systems via block decomposition. In Proceedings of the International Conference on Embedded Software. Virtual .","ieee":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “Reachability analysis of linear hybrid systems via block decomposition,” in Proceedings of the International Conference on Embedded Software, Virtual , 2020.","short":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.","chicago":"Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” In Proceedings of the International Conference on Embedded Software, 2020.","ista":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. EMSOFT: International Conference on Embedded Software."},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9"},{"external_id":{"isi":["000587712700072"],"arxiv":["1905.02458"]},"article_processing_charge":"No","author":[{"last_name":"Bogomolov","orcid":"0000-0002-0686-0365","full_name":"Bogomolov, Sergiy","first_name":"Sergiy","id":"369D9A44-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Forets, Marcelo","last_name":"Forets","first_name":"Marcelo"},{"last_name":"Frehse","full_name":"Frehse, Goran","first_name":"Goran"},{"last_name":"Potomkin","full_name":"Potomkin, Kostiantyn","first_name":"Kostiantyn"},{"full_name":"Schilling, Christian","orcid":"0000-0003-3658-1065","last_name":"Schilling","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","first_name":"Christian"}],"title":"Reachability analysis of linear hybrid systems via block decomposition","citation":{"ama":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020;39(11):4018-4029. doi:10.1109/TCAD.2020.3012859","apa":"Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2020). Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE. https://doi.org/10.1109/TCAD.2020.3012859","short":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.","ieee":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “Reachability analysis of linear hybrid systems via block decomposition,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11. IEEE, pp. 4018–4029, 2020.","mla":"Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11, IEEE, 2020, pp. 4018–29, doi:10.1109/TCAD.2020.3012859.","ista":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11), 4018–4029.","chicago":"Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE, 2020. https://doi.org/10.1109/TCAD.2020.3012859."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","project":[{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"name":"The Wittgenstein Prize","grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"page":"4018-4029","date_created":"2020-11-22T23:01:25Z","date_published":"2020-11-01T00:00:00Z","doi":"10.1109/TCAD.2020.3012859","year":"2020","isi":1,"publication":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","day":"01","oa":1,"quality_controlled":"1","publisher":"IEEE","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award), the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 754411, and the Air Force Office of Scientific Research under award number FA2386-17-1-4065. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the United States Air Force. ","department":[{"_id":"ToHe"}],"date_updated":"2023-08-22T13:27:33Z","type":"journal_article","article_type":"original","status":"public","_id":"8790","ec_funded":1,"volume":39,"issue":"11","related_material":{"record":[{"status":"public","id":"8287","relation":"earlier_version"}]},"publication_status":"published","publication_identifier":{"issn":["02780070"],"eissn":["19374151"]},"language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1905.02458"}],"scopus_import":"1","intvolume":" 39","month":"11","abstract":[{"lang":"eng","text":"Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous and discrete post operators to compute states reachable according to continuous and discrete dynamics, respectively. In this article, we enhance both of these operators and make sure that most of the involved computations are performed in low-dimensional state space. In particular, we improve the continuous-post operator by performing computations in high-dimensional state space only for time intervals relevant for the subsequent application of the discrete-post operator. Furthermore, the new discrete-post operator performs low-dimensional computations by leveraging the structure of the guard and assignment of a considered transition. We illustrate the potential of our approach on a number of challenging benchmarks."}],"oa_version":"Preprint"},{"status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"article_type":"original","type":"journal_article","_id":"8924","file_date_updated":"2020-12-09T09:14:19Z","department":[{"_id":"EvBe"}],"ddc":["580"],"date_updated":"2023-08-24T10:50:00Z","intvolume":" 11","month":"11","scopus_import":"1","oa_version":"Published Version","abstract":[{"lang":"eng","text":"Maintaining fertility in a fluctuating environment is key to the reproductive success of flowering plants. Meiosis and pollen formation are particularly sensitive to changes in growing conditions, especially temperature. We have previously identified cyclin-dependent kinase G1 (CDKG1) as a master regulator of temperature-dependent meiosis and this may involve the regulation of alternative splicing (AS), including of its own transcript. CDKG1 mRNA can undergo several AS events, potentially producing two protein variants: CDKG1L and CDKG1S, differing in their N-terminal domain which may be involved in co-factor interaction. In leaves, both isoforms have distinct temperature-dependent functions on target mRNA processing, but their role in pollen development is unknown. In the present study, we characterize the role of CDKG1L and CDKG1S in maintaining Arabidopsis fertility. We show that the long (L) form is necessary and sufficient to rescue the fertility defects of the cdkg1-1 mutant, while the short (S) form is unable to rescue fertility. On the other hand, an extra copy of CDKG1L reduces fertility. In addition, mutation of the ATP binding pocket of the kinase indicates that kinase activity is necessary for the function of CDKG1. Kinase mutants of CDKG1L and CDKG1S correctly localize to the cell nucleus and nucleus and cytoplasm, respectively, but are unable to rescue either the fertility or the splicing defects of the cdkg1-1 mutant. Furthermore, we show that there is partial functional overlap between CDKG1 and its paralog CDKG2 that could in part be explained by overlapping gene expression."}],"volume":11,"language":[{"iso":"eng"}],"file":[{"relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"file_id":"8929","checksum":"1c0ee6ce9950aa665d6a5cc64aa6b752","creator":"dernst","file_size":1833244,"date_updated":"2020-12-09T09:14:19Z","file_name":"2020_Frontiers_Nibau.pdf","date_created":"2020-12-09T09:14:19Z"}],"publication_status":"published","publication_identifier":{"eissn":["1664-462X"]},"article_number":"586870","title":"A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis","article_processing_charge":"No","external_id":{"isi":["000591637000001"]},"author":[{"full_name":"Nibau, Candida","last_name":"Nibau","first_name":"Candida"},{"full_name":"Dadarou, Despoina","last_name":"Dadarou","first_name":"Despoina"},{"first_name":"Nestoras","last_name":"Kargios","full_name":"Kargios, Nestoras"},{"first_name":"Areti","full_name":"Mallioura, Areti","last_name":"Mallioura"},{"first_name":"Narcis","last_name":"Fernandez-Fuentes","full_name":"Fernandez-Fuentes, Narcis"},{"last_name":"Cavallari","full_name":"Cavallari, Nicola","id":"457160E6-F248-11E8-B48F-1D18A9856A87","first_name":"Nicola"},{"full_name":"Doonan, John H.","last_name":"Doonan","first_name":"John H."}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"mla":"Nibau, Candida, et al. “A Functional Kinase Is Necessary for Cyclin-Dependent Kinase G1 (CDKG1) to Maintain Fertility at High Ambient Temperature in Arabidopsis.” Frontiers in Plant Science, vol. 11, 586870, Frontiers, 2020, doi:10.3389/fpls.2020.586870.","ama":"Nibau C, Dadarou D, Kargios N, et al. A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis. Frontiers in Plant Science. 2020;11. doi:10.3389/fpls.2020.586870","apa":"Nibau, C., Dadarou, D., Kargios, N., Mallioura, A., Fernandez-Fuentes, N., Cavallari, N., & Doonan, J. H. (2020). A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis. Frontiers in Plant Science. Frontiers. https://doi.org/10.3389/fpls.2020.586870","ieee":"C. Nibau et al., “A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis,” Frontiers in Plant Science, vol. 11. Frontiers, 2020.","short":"C. Nibau, D. Dadarou, N. Kargios, A. Mallioura, N. Fernandez-Fuentes, N. Cavallari, J.H. Doonan, Frontiers in Plant Science 11 (2020).","chicago":"Nibau, Candida, Despoina Dadarou, Nestoras Kargios, Areti Mallioura, Narcis Fernandez-Fuentes, Nicola Cavallari, and John H. Doonan. “A Functional Kinase Is Necessary for Cyclin-Dependent Kinase G1 (CDKG1) to Maintain Fertility at High Ambient Temperature in Arabidopsis.” Frontiers in Plant Science. Frontiers, 2020. https://doi.org/10.3389/fpls.2020.586870.","ista":"Nibau C, Dadarou D, Kargios N, Mallioura A, Fernandez-Fuentes N, Cavallari N, Doonan JH. 2020. A functional kinase is necessary for cyclin-dependent kinase G1 (CDKG1) to maintain fertility at high ambient temperature in Arabidopsis. Frontiers in Plant Science. 11, 586870."},"oa":1,"quality_controlled":"1","publisher":"Frontiers","acknowledgement":"CN, DD, NF-F, and JD were funded by the BBSRC (grant number BB/M009459/1). NK and AM were funded through the ERASMUS+Program. NC was funded by the VIPS Program of the Austrian Federal Ministry of Science and Research and the City of Vienna.","date_created":"2020-12-06T23:01:14Z","date_published":"2020-11-10T00:00:00Z","doi":"10.3389/fpls.2020.586870","publication":"Frontiers in Plant Science","day":"10","year":"2020","isi":1,"has_accepted_license":"1"},{"article_number":"180508","author":[{"first_name":"Martin","id":"2DCF8DE6-F248-11E8-B48F-1D18A9856A87","last_name":"Zemlicka","full_name":"Zemlicka, Martin"},{"first_name":"M.","last_name":"Kopčík","full_name":"Kopčík, M."},{"last_name":"Szabó","full_name":"Szabó, P.","first_name":"P."},{"last_name":"Samuely","full_name":"Samuely, T.","first_name":"T."},{"last_name":"Kačmarčík","full_name":"Kačmarčík, J.","first_name":"J."},{"last_name":"Neilinger","full_name":"Neilinger, P.","first_name":"P."},{"full_name":"Grajcar, M.","last_name":"Grajcar","first_name":"M."},{"first_name":"P.","full_name":"Samuely, P.","last_name":"Samuely"}],"external_id":{"arxiv":["2011.04329"],"isi":["000591509900003"]},"article_processing_charge":"No","title":"Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field","citation":{"chicago":"Zemlicka, Martin, M. Kopčík, P. Szabó, T. Samuely, J. Kačmarčík, P. Neilinger, M. Grajcar, and P. Samuely. “Zeeman-Driven Superconductor-Insulator Transition in Strongly Disordered MoC Films: Scanning Tunneling Microscopy and Transport Studies in a Transverse Magnetic Field.” Physical Review B. American Physical Society, 2020. https://doi.org/10.1103/PhysRevB.102.180508.","ista":"Zemlicka M, Kopčík M, Szabó P, Samuely T, Kačmarčík J, Neilinger P, Grajcar M, Samuely P. 2020. Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B. 102(18), 180508.","mla":"Zemlicka, Martin, et al. “Zeeman-Driven Superconductor-Insulator Transition in Strongly Disordered MoC Films: Scanning Tunneling Microscopy and Transport Studies in a Transverse Magnetic Field.” Physical Review B, vol. 102, no. 18, 180508, American Physical Society, 2020, doi:10.1103/PhysRevB.102.180508.","ieee":"M. Zemlicka et al., “Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field,” Physical Review B, vol. 102, no. 18. American Physical Society, 2020.","short":"M. Zemlicka, M. Kopčík, P. Szabó, T. Samuely, J. Kačmarčík, P. Neilinger, M. Grajcar, P. Samuely, Physical Review B 102 (2020).","ama":"Zemlicka M, Kopčík M, Szabó P, et al. Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B. 2020;102(18). doi:10.1103/PhysRevB.102.180508","apa":"Zemlicka, M., Kopčík, M., Szabó, P., Samuely, T., Kačmarčík, J., Neilinger, P., … Samuely, P. (2020). Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.102.180508"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publisher":"American Physical Society","quality_controlled":"1","oa":1,"acknowledgement":"We gratefully acknowledge helpful conversations with B.L. Altshuler and R. Hlubina. The work was supported by the projects APVV-18-0358, VEGA 2/0058/20, VEGA 1/0743/19 the European Microkelvin Platform, the COST action CA16218 (Nanocohybri) and by U.S. Steel Košice. ","date_published":"2020-11-01T00:00:00Z","doi":"10.1103/PhysRevB.102.180508","date_created":"2020-12-13T23:01:21Z","isi":1,"year":"2020","day":"01","publication":"Physical Review B","article_type":"original","type":"journal_article","status":"public","_id":"8944","department":[{"_id":"JoFi"}],"date_updated":"2023-08-24T10:53:36Z","scopus_import":"1","main_file_link":[{"url":"https://arxiv.org/abs/2011.04329","open_access":"1"}],"month":"11","intvolume":" 102","abstract":[{"lang":"eng","text":"Superconductor insulator transition in transverse magnetic field is studied in the highly disordered MoC film with the product of the Fermi momentum and the mean free path kF*l close to unity. Surprisingly, the Zeeman paramagnetic effects dominate over orbital coupling on both sides of the transition. In superconducting state it is evidenced by a high upper critical magnetic field 𝐵𝑐2, by its square root dependence on temperature, as well as by the Zeeman splitting of the quasiparticle density of states (DOS) measured by scanning tunneling microscopy. At 𝐵𝑐2 a logarithmic anomaly in DOS is observed. This anomaly is further enhanced in increasing magnetic field, which is explained by the Zeeman splitting of the Altshuler-Aronov DOS driving\r\nthe system into a more insulating or resistive state. Spin dependent Altshuler-Aronov correction is also needed to explain the transport behavior above 𝐵𝑐2."}],"oa_version":"Preprint","issue":"18","volume":102,"publication_identifier":{"eissn":["24699969"],"issn":["24699950"]},"publication_status":"published","language":[{"iso":"eng"}]},{"title":"Network physiology of cortico–muscular interactions","article_processing_charge":"No","external_id":{"isi":["000596849400001"],"pmid":["33324233"]},"author":[{"first_name":"Rossella","last_name":"Rizzo","full_name":"Rizzo, Rossella"},{"first_name":"Xiyun","last_name":"Zhang","full_name":"Zhang, Xiyun"},{"first_name":"Jilin W.J.L.","last_name":"Wang","full_name":"Wang, Jilin W.J.L."},{"id":"A057D288-3E88-11E9-986D-0CF4E5697425","first_name":"Fabrizio","full_name":"Lombardi, Fabrizio","orcid":"0000-0003-2623-5249","last_name":"Lombardi"},{"full_name":"Ivanov, Plamen Ch","last_name":"Ivanov","first_name":"Plamen Ch"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"mla":"Rizzo, Rossella, et al. “Network Physiology of Cortico–Muscular Interactions.” Frontiers in Physiology, vol. 11, 558070, Frontiers, 2020, doi:10.3389/fphys.2020.558070.","short":"R. Rizzo, X. Zhang, J.W.J.L. Wang, F. Lombardi, P.C. Ivanov, Frontiers in Physiology 11 (2020).","ieee":"R. Rizzo, X. Zhang, J. W. J. L. Wang, F. Lombardi, and P. C. Ivanov, “Network physiology of cortico–muscular interactions,” Frontiers in Physiology, vol. 11. Frontiers, 2020.","apa":"Rizzo, R., Zhang, X., Wang, J. W. J. L., Lombardi, F., & Ivanov, P. C. (2020). Network physiology of cortico–muscular interactions. Frontiers in Physiology. Frontiers. https://doi.org/10.3389/fphys.2020.558070","ama":"Rizzo R, Zhang X, Wang JWJL, Lombardi F, Ivanov PC. Network physiology of cortico–muscular interactions. Frontiers in Physiology. 2020;11. doi:10.3389/fphys.2020.558070","chicago":"Rizzo, Rossella, Xiyun Zhang, Jilin W.J.L. Wang, Fabrizio Lombardi, and Plamen Ch Ivanov. “Network Physiology of Cortico–Muscular Interactions.” Frontiers in Physiology. Frontiers, 2020. https://doi.org/10.3389/fphys.2020.558070.","ista":"Rizzo R, Zhang X, Wang JWJL, Lombardi F, Ivanov PC. 2020. Network physiology of cortico–muscular interactions. Frontiers in Physiology. 11, 558070."},"project":[{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"article_number":"558070","date_created":"2020-12-20T23:01:18Z","date_published":"2020-11-26T00:00:00Z","doi":"10.3389/fphys.2020.558070","publication":"Frontiers in Physiology","day":"26","year":"2020","isi":1,"has_accepted_license":"1","oa":1,"quality_controlled":"1","publisher":"Frontiers","acknowledgement":"We acknowledge support from the W. M. Keck Foundation, National Institutes of Health (NIH Grant 1R01-HL098437), the US-Israel Binational Science Foundation (BSF Grant 2012219), and the Office of Naval Research (ONR Grant 000141010078). FL acknowledges support also from the European Union's Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant Agreement No. 754411.","file_date_updated":"2020-12-21T10:37:50Z","department":[{"_id":"GaTk"}],"ddc":["570"],"date_updated":"2023-08-24T11:00:45Z","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"article_type":"original","type":"journal_article","_id":"8955","ec_funded":1,"volume":11,"language":[{"iso":"eng"}],"file":[{"file_id":"8961","checksum":"ef9515b28c5619b7126c0f347958bcb3","success":1,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","date_created":"2020-12-21T10:37:50Z","file_name":"2020_Frontiers_Rizzo.pdf","date_updated":"2020-12-21T10:37:50Z","file_size":13380030,"creator":"dernst"}],"publication_status":"published","publication_identifier":{"eissn":["1664042X"]},"intvolume":" 11","month":"11","scopus_import":"1","oa_version":"Published Version","pmid":1,"abstract":[{"lang":"eng","text":"Skeletal muscle activity is continuously modulated across physiologic states to provide coordination, flexibility and responsiveness to body tasks and external inputs. Despite the central role the muscular system plays in facilitating vital body functions, the network of brain-muscle interactions required to control hundreds of muscles and synchronize their activation in relation to distinct physiologic states has not been investigated. Recent approaches have focused on general associations between individual brain rhythms and muscle activation during movement tasks. However, the specific forms of coupling, the functional network of cortico-muscular coordination, and how network structure and dynamics are modulated by autonomic regulation across physiologic states remains unknown. To identify and quantify the cortico-muscular interaction network and uncover basic features of neuro-autonomic control of muscle function, we investigate the coupling between synchronous bursts in cortical rhythms and peripheral muscle activation during sleep and wake. Utilizing the concept of time delay stability and a novel network physiology approach, we find that the brain-muscle network exhibits complex dynamic patterns of communication involving multiple brain rhythms across cortical locations and different electromyographic frequency bands. Moreover, our results show that during each physiologic state the cortico-muscular network is characterized by a specific profile of network links strength, where particular brain rhythms play role of main mediators of interaction and control. Further, we discover a hierarchical reorganization in network structure across physiologic states, with high connectivity and network link strength during wake, intermediate during REM and light sleep, and low during deep sleep, a sleep-stage stratification that demonstrates a unique association between physiologic states and cortico-muscular network structure. The reported empirical observations are consistent across individual subjects, indicating universal behavior in network structure and dynamics, and high sensitivity of cortico-muscular control to changes in autonomic regulation, even at low levels of physical activity and muscle tone during sleep. Our findings demonstrate previously unrecognized basic principles of brain-muscle network communication and control, and provide new perspectives on the regulatory mechanisms of brain dynamics and locomotor activation, with potential clinical implications for neurodegenerative, movement and sleep disorders, and for developing efficient treatment strategies."}]},{"article_type":"original","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","_id":"8949","file_date_updated":"2020-12-14T08:09:43Z","department":[{"_id":"SiHi"}],"date_updated":"2023-08-24T10:57:48Z","ddc":["570"],"month":"12","intvolume":" 9","abstract":[{"lang":"eng","text":"Development of the nervous system undergoes important transitions, including one from neurogenesis to gliogenesis which occurs late during embryonic gestation. Here we report on clonal analysis of gliogenesis in mice using Mosaic Analysis with Double Markers (MADM) with quantitative and computational methods. Results reveal that developmental gliogenesis in the cerebral cortex occurs in a fraction of earlier neurogenic clones, accelerating around E16.5, and giving rise to both astrocytes and oligodendrocytes. Moreover, MADM-based genetic deletion of the epidermal growth factor receptor (Egfr) in gliogenic clones revealed that Egfr is cell autonomously required for gliogenesis in the mouse dorsolateral cortices. A broad range in the proliferation capacity, symmetry of clones, and competitive advantage of MADM cells was evident in clones that contained one cellular lineage with double dosage of Egfr relative to their environment, while their sibling Egfr-null cells failed to generate glia. Remarkably, the total numbers of glia in MADM clones balance out regardless of significant alterations in clonal symmetries. The variability in glial clones shows stochastic patterns that we define mathematically, which are different from the deterministic patterns in neuronal clones. This study sets a foundation for studying the biological significance of stochastic and deterministic clonal principles underlying tissue development, and identifying mechanisms that differentiate between neurogenesis and gliogenesis."}],"oa_version":"Published Version","volume":9,"issue":"12","ec_funded":1,"publication_identifier":{"issn":["2073-4409"]},"publication_status":"published","file":[{"success":1,"checksum":"5095cbdc728c9a510c5761cf60a8861c","file_id":"8950","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"2020_Cells_Zhang.pdf","date_created":"2020-12-14T08:09:43Z","creator":"dernst","file_size":3504525,"date_updated":"2020-12-14T08:09:43Z"}],"language":[{"iso":"eng"}],"project":[{"call_identifier":"FWF","_id":"264E56E2-B435-11E9-9278-68D0E5697425","grant_number":"M02416","name":"Molecular Mechanisms Regulating Gliogenesis in the Cerebral Cortex"},{"grant_number":"725780","name":"Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development","call_identifier":"H2020","_id":"260018B0-B435-11E9-9278-68D0E5697425"}],"article_number":"2662","author":[{"first_name":"Xuying","full_name":"Zhang, Xuying","last_name":"Zhang"},{"first_name":"Christine V.","last_name":"Mennicke","full_name":"Mennicke, Christine V."},{"first_name":"Guanxi","last_name":"Xiao","full_name":"Xiao, Guanxi"},{"last_name":"Beattie","orcid":"0000-0002-8483-8753","full_name":"Beattie, Robert J","first_name":"Robert J","id":"2E26DF60-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Mansoor","last_name":"Haider","full_name":"Haider, Mansoor"},{"id":"37B36620-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","last_name":"Hippenmeyer","orcid":"0000-0003-2279-1061","full_name":"Hippenmeyer, Simon"},{"first_name":"H. Troy","last_name":"Ghashghaei","full_name":"Ghashghaei, H. Troy"}],"external_id":{"isi":["000601787300001"]},"article_processing_charge":"No","title":"Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage","citation":{"mla":"Zhang, Xuying, et al. “Clonal Analysis of Gliogenesis in the Cerebral Cortex Reveals Stochastic Expansion of Glia and Cell Autonomous Responses to Egfr Dosage.” Cells, vol. 9, no. 12, 2662, MDPI, 2020, doi:10.3390/cells9122662.","short":"X. Zhang, C.V. Mennicke, G. Xiao, R.J. Beattie, M. Haider, S. Hippenmeyer, H.T. Ghashghaei, Cells 9 (2020).","ieee":"X. Zhang et al., “Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage,” Cells, vol. 9, no. 12. MDPI, 2020.","ama":"Zhang X, Mennicke CV, Xiao G, et al. Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage. Cells. 2020;9(12). doi:10.3390/cells9122662","apa":"Zhang, X., Mennicke, C. V., Xiao, G., Beattie, R. J., Haider, M., Hippenmeyer, S., & Ghashghaei, H. T. (2020). Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage. Cells. MDPI. https://doi.org/10.3390/cells9122662","chicago":"Zhang, Xuying, Christine V. Mennicke, Guanxi Xiao, Robert J Beattie, Mansoor Haider, Simon Hippenmeyer, and H. Troy Ghashghaei. “Clonal Analysis of Gliogenesis in the Cerebral Cortex Reveals Stochastic Expansion of Glia and Cell Autonomous Responses to Egfr Dosage.” Cells. MDPI, 2020. https://doi.org/10.3390/cells9122662.","ista":"Zhang X, Mennicke CV, Xiao G, Beattie RJ, Haider M, Hippenmeyer S, Ghashghaei HT. 2020. Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage. Cells. 9(12), 2662."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publisher":"MDPI","quality_controlled":"1","oa":1,"acknowledgement":"This research was funded by grants from the National Institutes of Health to H.T.G. (R01NS098370 and R01NS089795). C.V.M. was supported by a National Science Foundation Graduate Research Fellowship (DGE-1746939). R.B. was supported by the FWF Lise-Meitner program (M 2416), and S.H. was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 725780 LinPro).The authors thank members of the Ghashghaei lab for discussions, technical support, and help with preparation of the manuscript.","date_published":"2020-12-11T00:00:00Z","doi":"10.3390/cells9122662","date_created":"2020-12-14T08:04:03Z","isi":1,"has_accepted_license":"1","year":"2020","day":"11","publication":"Cells"},{"citation":{"ista":"Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. 2020. Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. 11, 6437.","chicago":"Fäßler, Florian, Georgi A Dimchev, Victor-Valentin Hodirnau, William Wan, and Florian KM Schur. “Cryo-Electron Tomography Structure of Arp2/3 Complex in Cells Reveals New Insights into the Branch Junction.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-20286-x.","ama":"Fäßler F, Dimchev GA, Hodirnau V-V, Wan W, Schur FK. Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. 2020;11. doi:10.1038/s41467-020-20286-x","apa":"Fäßler, F., Dimchev, G. A., Hodirnau, V.-V., Wan, W., & Schur, F. K. (2020). Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-20286-x","short":"F. Fäßler, G.A. Dimchev, V.-V. Hodirnau, W. Wan, F.K. Schur, Nature Communications 11 (2020).","ieee":"F. Fäßler, G. A. Dimchev, V.-V. Hodirnau, W. Wan, and F. K. Schur, “Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction,” Nature Communications, vol. 11. Springer Nature, 2020.","mla":"Fäßler, Florian, et al. “Cryo-Electron Tomography Structure of Arp2/3 Complex in Cells Reveals New Insights into the Branch Junction.” Nature Communications, vol. 11, 6437, Springer Nature, 2020, doi:10.1038/s41467-020-20286-x."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","external_id":{"isi":["000603078000003"]},"article_processing_charge":"No","author":[{"last_name":"Fäßler","full_name":"Fäßler, Florian","orcid":"0000-0001-7149-769X","first_name":"Florian","id":"404F5528-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Georgi A","id":"38C393BE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8370-6161","full_name":"Dimchev, Georgi A","last_name":"Dimchev"},{"full_name":"Hodirnau, Victor-Valentin","last_name":"Hodirnau","first_name":"Victor-Valentin","id":"3661B498-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Wan, William","last_name":"Wan","first_name":"William"},{"full_name":"Schur, Florian KM","orcid":"0000-0003-4790-8078","last_name":"Schur","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","first_name":"Florian KM"}],"title":"Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction","article_number":"6437","project":[{"grant_number":"P33367","name":"Structure and isoform diversity of the Arp2/3 complex","_id":"9B954C5C-BA93-11EA-9121-9846C619BF3A"},{"_id":"2674F658-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Protein structure and function in filopodia across scales","grant_number":"M02495"}],"year":"2020","isi":1,"has_accepted_license":"1","publication":"Nature Communications","day":"22","date_created":"2020-12-23T08:25:45Z","date_published":"2020-12-22T00:00:00Z","doi":"10.1038/s41467-020-20286-x","acknowledgement":"This research was supported by the Scientific Service Units (SSUs) of IST Austria through resources provided by Scientific Computing (SciComp), the Life Science Facility (LSF), the BioImaging Facility (BIF), and the Electron Microscopy Facility (EMF). We also thank Dimitry Tegunov (MPI for Biophysical Chemistry) for helpful discussions\r\nabout the M software, and Michael Sixt (IST Austria) and Klemens Rottner (Technical University Braunschweig, HZI Braunschweig) for critical reading of the manuscript. We also thank Gregory Voth (University of Chicago) for providing us the MD-derived branch junction model for comparison. The authors acknowledge support from IST Austria and from the Austrian Science Fund (FWF): M02495 to G.D. and Austrian Science Fund (FWF): P33367 to F.K.M.S. ","oa":1,"publisher":"Springer Nature","quality_controlled":"1","date_updated":"2023-08-24T11:01:50Z","ddc":["570"],"file_date_updated":"2020-12-28T08:16:10Z","department":[{"_id":"FlSc"},{"_id":"EM-Fac"}],"_id":"8971","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"journal_article","article_type":"original","keyword":["General Biochemistry","Genetics and Molecular Biology","General Physics and Astronomy","General Chemistry"],"status":"public","publication_status":"published","publication_identifier":{"issn":["2041-1723"]},"language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","relation":"main_file","access_level":"open_access","success":1,"file_id":"8975","checksum":"55d43ea0061cc4027ba45e966e1db8cc","file_size":3958727,"date_updated":"2020-12-28T08:16:10Z","creator":"dernst","file_name":"2020_NatureComm_Faessler.pdf","date_created":"2020-12-28T08:16:10Z"}],"volume":11,"related_material":{"link":[{"relation":"press_release","url":"https://ist.ac.at/en/news/cutting-edge-technology-reveals-structures-within-cells/","description":"News on IST Homepage"}]},"abstract":[{"lang":"eng","text":"The actin-related protein (Arp)2/3 complex nucleates branched actin filament networks pivotal for cell migration, endocytosis and pathogen infection. Its activation is tightly regulated and involves complex structural rearrangements and actin filament binding, which are yet to be understood. Here, we report a 9.0 Å resolution structure of the actin filament Arp2/3 complex branch junction in cells using cryo-electron tomography and subtomogram averaging. This allows us to generate an accurate model of the active Arp2/3 complex in the branch junction and its interaction with actin filaments. Notably, our model reveals a previously undescribed set of interactions of the Arp2/3 complex with the mother filament, significantly different to the previous branch junction model. Our structure also indicates a central role for the ArpC3 subunit in stabilizing the active conformation."}],"acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"LifeSc"},{"_id":"Bio"},{"_id":"EM-Fac"}],"oa_version":"Published Version","scopus_import":"1","intvolume":" 11","month":"12"},{"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["03029743"],"eissn":["16113349"],"isbn":["9783030652760"]},"ec_funded":1,"volume":12578,"oa_version":"Preprint","abstract":[{"lang":"eng","text":"Currently several projects aim at designing and implementing protocols for privacy preserving automated contact tracing to help fight the current pandemic. Those proposal are quite similar, and in their most basic form basically propose an app for mobile phones which broadcasts frequently changing pseudorandom identifiers via (low energy) Bluetooth, and at the same time, the app stores IDs broadcast by phones in its proximity. Only if a user is tested positive, they upload either the beacons they did broadcast (which is the case in decentralized proposals as DP-3T, east and west coast PACT or Covid watch) or received (as in Popp-PT or ROBERT) during the last two weeks or so.\r\n\r\nVaudenay [eprint 2020/399] observes that this basic scheme (he considers the DP-3T proposal) succumbs to relay and even replay attacks, and proposes more complex interactive schemes which prevent those attacks without giving up too many privacy aspects. Unfortunately interaction is problematic for this application for efficiency and security reasons. The countermeasures that have been suggested so far are either not practical or give up on key privacy aspects. We propose a simple non-interactive variant of the basic protocol that\r\n(security) Provably prevents replay and (if location data is available) relay attacks.\r\n(privacy) The data of all parties (even jointly) reveals no information on the location or time where encounters happened.\r\n(efficiency) The broadcasted message can fit into 128 bits and uses only basic crypto (commitments and secret key authentication).\r\n\r\nTowards this end we introduce the concept of “delayed authentication”, which basically is a message authentication code where verification can be done in two steps, where the first doesn’t require the key, and the second doesn’t require the message."}],"intvolume":" 12578","month":"12","main_file_link":[{"url":"https://eprint.iacr.org/2020/418","open_access":"1"}],"scopus_import":"1","date_updated":"2023-08-24T11:08:58Z","department":[{"_id":"KrPi"}],"_id":"8987","series_title":"LNCS","status":"public","conference":{"end_date":"2020-12-16","location":"Bangalore, India","start_date":"2020-12-13","name":"INDOCRYPT: International Conference on Cryptology in India"},"type":"conference","publication":"Progress in Cryptology","day":"08","year":"2020","isi":1,"date_created":"2021-01-03T23:01:23Z","date_published":"2020-12-08T00:00:00Z","doi":"10.1007/978-3-030-65277-7_1","page":"3-15","oa":1,"publisher":"Springer Nature","quality_controlled":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"ieee":"K. Z. Pietrzak, “Delayed authentication: Preventing replay and relay attacks in private contact tracing,” in Progress in Cryptology, Bangalore, India, 2020, vol. 12578, pp. 3–15.","short":"K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.","apa":"Pietrzak, K. Z. (2020). Delayed authentication: Preventing replay and relay attacks in private contact tracing. In Progress in Cryptology (Vol. 12578, pp. 3–15). Bangalore, India: Springer Nature. https://doi.org/10.1007/978-3-030-65277-7_1","ama":"Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in private contact tracing. In: Progress in Cryptology. Vol 12578. LNCS. Springer Nature; 2020:3-15. doi:10.1007/978-3-030-65277-7_1","mla":"Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” Progress in Cryptology, vol. 12578, Springer Nature, 2020, pp. 3–15, doi:10.1007/978-3-030-65277-7_1.","ista":"Pietrzak KZ. 2020. Delayed authentication: Preventing replay and relay attacks in private contact tracing. Progress in Cryptology. INDOCRYPT: International Conference on Cryptology in IndiaLNCS vol. 12578, 3–15.","chicago":"Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” In Progress in Cryptology, 12578:3–15. LNCS. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-65277-7_1."},"title":"Delayed authentication: Preventing replay and relay attacks in private contact tracing","external_id":{"isi":["000927592800001"]},"article_processing_charge":"No","author":[{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","last_name":"Pietrzak","orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z"}],"project":[{"_id":"258AA5B2-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Teaching Old Crypto New Tricks","grant_number":"682815"}]},{"pmid":1,"oa_version":"Published Version","abstract":[{"text":"In prokaryotes, thermodynamic models of gene regulation provide a highly quantitative mapping from promoter sequences to gene-expression levels that is compatible with in vivo and in vitro biophysical measurements. Such concordance has not been achieved for models of enhancer function in eukaryotes. In equilibrium models, it is difficult to reconcile the reported short transcription factor (TF) residence times on the DNA with the high specificity of regulation. In nonequilibrium models, progress is difficult due to an explosion in the number of parameters. Here, we navigate this complexity by looking for minimal nonequilibrium enhancer models that yield desired regulatory phenotypes: low TF residence time, high specificity, and tunable cooperativity. We find that a single extra parameter, interpretable as the “linking rate,” by which bound TFs interact with Mediator components, enables our models to escape equilibrium bounds and access optimal regulatory phenotypes, while remaining consistent with the reported phenomenology and simple enough to be inferred from upcoming experiments. We further find that high specificity in nonequilibrium models is in a trade-off with gene-expression noise, predicting bursty dynamics—an experimentally observed hallmark of eukaryotic transcription. By drastically reducing the vast parameter space of nonequilibrium enhancer models to a much smaller subspace that optimally realizes biological function, we deliver a rich class of models that could be tractably inferred from data in the near future.","lang":"eng"}],"intvolume":" 117","month":"12","scopus_import":"1","language":[{"iso":"eng"}],"file":[{"date_updated":"2021-01-11T08:37:31Z","file_size":1199247,"creator":"dernst","date_created":"2021-01-11T08:37:31Z","file_name":"2020_PNAS_Grah.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","file_id":"9004","checksum":"69039cd402a571983aa6cb4815ffa863","success":1}],"publication_status":"published","publication_identifier":{"issn":["00278424"],"eissn":["10916490"]},"volume":117,"related_material":{"link":[{"relation":"press_release","url":"https://ist.ac.at/en/news/new-compact-model-for-gene-regulation-in-higher-organisms/","description":"News on IST Homepage"}]},"issue":"50","_id":"9000","status":"public","tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"article_type":"original","type":"journal_article","ddc":["570"],"date_updated":"2023-08-24T11:10:22Z","department":[{"_id":"GaTk"}],"file_date_updated":"2021-01-11T08:37:31Z","acknowledgement":"G.T. was supported by Human Frontiers Science Program Grant RGP0034/2018. R.G. was supported by the Austrian Academy of Sciences DOC Fellowship. R.G. thanks S. Avvakumov for helpful discussions.","oa":1,"quality_controlled":"1","publisher":"National Academy of Sciences","publication":"PNAS","day":"15","year":"2020","isi":1,"has_accepted_license":"1","date_created":"2021-01-10T23:01:17Z","date_published":"2020-12-15T00:00:00Z","doi":"10.1073/pnas.2006731117","page":"31614-31622","project":[{"name":"Can evolution minimize spurious signaling crosstalk to reach optimal performance?","grant_number":"RGP0034/2018","_id":"2665AAFE-B435-11E9-9278-68D0E5697425"},{"_id":"267C84F4-B435-11E9-9278-68D0E5697425","name":"Biophysically realistic genotype-phenotype maps for regulatory networks"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"ista":"Grah R, Zoller B, Tkačik G. 2020. Nonequilibrium models of optimal enhancer function. PNAS. 117(50), 31614–31622.","chicago":"Grah, Rok, Benjamin Zoller, and Gašper Tkačik. “Nonequilibrium Models of Optimal Enhancer Function.” PNAS. National Academy of Sciences, 2020. https://doi.org/10.1073/pnas.2006731117.","ama":"Grah R, Zoller B, Tkačik G. Nonequilibrium models of optimal enhancer function. PNAS. 2020;117(50):31614-31622. doi:10.1073/pnas.2006731117","apa":"Grah, R., Zoller, B., & Tkačik, G. (2020). Nonequilibrium models of optimal enhancer function. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.2006731117","short":"R. Grah, B. Zoller, G. Tkačik, PNAS 117 (2020) 31614–31622.","ieee":"R. Grah, B. Zoller, and G. Tkačik, “Nonequilibrium models of optimal enhancer function,” PNAS, vol. 117, no. 50. National Academy of Sciences, pp. 31614–31622, 2020.","mla":"Grah, Rok, et al. “Nonequilibrium Models of Optimal Enhancer Function.” PNAS, vol. 117, no. 50, National Academy of Sciences, 2020, pp. 31614–22, doi:10.1073/pnas.2006731117."},"title":"Nonequilibrium models of optimal enhancer function","article_processing_charge":"No","external_id":{"pmid":["33268497"],"isi":["000600608300015"]},"author":[{"first_name":"Rok","id":"483E70DE-F248-11E8-B48F-1D18A9856A87","last_name":"Grah","orcid":"0000-0003-2539-3560","full_name":"Grah, Rok"},{"first_name":"Benjamin","last_name":"Zoller","full_name":"Zoller, Benjamin"},{"last_name":"Tkačik","orcid":"0000-0002-6699-1455","full_name":"Tkačik, Gašper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","first_name":"Gašper"}]},{"_id":"7910","type":"journal_article","article_type":"original","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","date_updated":"2023-08-24T11:10:49Z","ddc":["530"],"file_date_updated":"2020-07-14T12:48:05Z","department":[{"_id":"JoFi"}],"abstract":[{"text":"Quantum illumination uses entangled signal-idler photon pairs to boost the detection efficiency of low-reflectivity objects in environments with bright thermal noise. Its advantage is particularly evident at low signal powers, a promising feature for applications such as noninvasive biomedical scanning or low-power short-range radar. Here, we experimentally investigate the concept of quantum illumination at microwave frequencies. We generate entangled fields to illuminate a room-temperature object at a distance of 1 m in a free-space detection setup. We implement a digital phase-conjugate receiver based on linear quadrature measurements that outperforms a symmetric classical noise radar in the same conditions, despite the entanglement-breaking signal path. Starting from experimental data, we also simulate the case of perfect idler photon number detection, which results in a quantum advantage compared with the relative classical benchmark. Our results highlight the opportunities and challenges in the way toward a first room-temperature application of microwave quantum circuits.","lang":"eng"}],"oa_version":"Published Version","scopus_import":"1","month":"05","intvolume":" 6","publication_identifier":{"eissn":["23752548"]},"publication_status":"published","file":[{"file_name":"2020_ScienceAdvances_Barzanjeh.pdf","date_created":"2020-06-02T09:18:36Z","file_size":795822,"date_updated":"2020-07-14T12:48:05Z","creator":"dernst","checksum":"16fa61cc1951b444ee74c07188cda9da","file_id":"7913","content_type":"application/pdf","relation":"main_file","access_level":"open_access"}],"language":[{"iso":"eng"}],"volume":6,"related_material":{"link":[{"url":"https://ist.ac.at/en/news/scientists-demonstrate-quantum-radar-prototype/","relation":"press_release","description":"News on IST Homepage"}],"record":[{"relation":"later_version","id":"9001","status":"public"}]},"issue":"19","ec_funded":1,"article_number":"eabb0451","project":[{"name":"A Fiber Optic Transceiver for Superconducting Qubits","grant_number":"758053","call_identifier":"H2020","_id":"26336814-B435-11E9-9278-68D0E5697425"},{"name":"Quantum readout techniques and technologies","grant_number":"862644","_id":"237CBA6C-32DE-11EA-91FC-C7463DDC885E","call_identifier":"H2020"},{"call_identifier":"H2020","_id":"258047B6-B435-11E9-9278-68D0E5697425","grant_number":"707438","name":"Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics SUPEREOM"},{"grant_number":"732894","name":"Hybrid Optomechanical Technologies","call_identifier":"H2020","_id":"257EB838-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","_id":"26927A52-B435-11E9-9278-68D0E5697425","grant_number":"F07105","name":"Integrating superconducting quantum circuits"}],"citation":{"ama":"Barzanjeh S, Pirandola S, Vitali D, Fink JM. Microwave quantum illumination using a digital receiver. Science Advances. 2020;6(19). doi:10.1126/sciadv.abb0451","apa":"Barzanjeh, S., Pirandola, S., Vitali, D., & Fink, J. M. (2020). Microwave quantum illumination using a digital receiver. Science Advances. AAAS. https://doi.org/10.1126/sciadv.abb0451","short":"S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, Science Advances 6 (2020).","ieee":"S. Barzanjeh, S. Pirandola, D. Vitali, and J. M. Fink, “Microwave quantum illumination using a digital receiver,” Science Advances, vol. 6, no. 19. AAAS, 2020.","mla":"Barzanjeh, Shabir, et al. “Microwave Quantum Illumination Using a Digital Receiver.” Science Advances, vol. 6, no. 19, eabb0451, AAAS, 2020, doi:10.1126/sciadv.abb0451.","ista":"Barzanjeh S, Pirandola S, Vitali D, Fink JM. 2020. Microwave quantum illumination using a digital receiver. Science Advances. 6(19), eabb0451.","chicago":"Barzanjeh, Shabir, S. Pirandola, D Vitali, and Johannes M Fink. “Microwave Quantum Illumination Using a Digital Receiver.” Science Advances. AAAS, 2020. https://doi.org/10.1126/sciadv.abb0451."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","first_name":"Shabir","full_name":"Barzanjeh, Shabir","orcid":"0000-0003-0415-1423","last_name":"Barzanjeh"},{"first_name":"S.","full_name":"Pirandola, S.","last_name":"Pirandola"},{"full_name":"Vitali, D","last_name":"Vitali","first_name":"D"},{"last_name":"Fink","full_name":"Fink, Johannes M","orcid":"0000-0001-8112-028X","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","first_name":"Johannes M"}],"article_processing_charge":"No","external_id":{"arxiv":["1908.03058"],"isi":["000531171100045"]},"title":"Microwave quantum illumination using a digital receiver","publisher":"AAAS","quality_controlled":"1","oa":1,"has_accepted_license":"1","isi":1,"year":"2020","day":"06","publication":"Science Advances","doi":"10.1126/sciadv.abb0451","date_published":"2020-05-06T00:00:00Z","date_created":"2020-05-31T22:00:49Z"}]