[{"title":"Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field","_id":"8944","date_published":"2020-11-01T00:00:00Z","date_created":"2020-12-13T23:01:21Z","publication_status":"published","citation":{"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.” <i>Physical Review B</i>, vol. 102, no. 18, 180508, American Physical Society, 2020, doi:<a href=\"https://doi.org/10.1103/PhysRevB.102.180508\">10.1103/PhysRevB.102.180508</a>.","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.” <i>Physical Review B</i>. American Physical Society, 2020. <a href=\"https://doi.org/10.1103/PhysRevB.102.180508\">https://doi.org/10.1103/PhysRevB.102.180508</a>.","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).","ieee":"M. Zemlicka <i>et al.</i>, “Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field,” <i>Physical Review B</i>, vol. 102, no. 18. American Physical Society, 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. <i>Physical Review B</i>. 2020;102(18). doi:<a href=\"https://doi.org/10.1103/PhysRevB.102.180508\">10.1103/PhysRevB.102.180508</a>","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. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.102.180508\">https://doi.org/10.1103/PhysRevB.102.180508</a>","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."},"department":[{"_id":"JoFi"}],"publisher":"American Physical Society","intvolume":"       102","type":"journal_article","publication_identifier":{"eissn":["24699969"],"issn":["24699950"]},"author":[{"first_name":"Martin","full_name":"Zemlicka, Martin","last_name":"Zemlicka","id":"2DCF8DE6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"M.","full_name":"Kopčík, M.","last_name":"Kopčík"},{"full_name":"Szabó, P.","first_name":"P.","last_name":"Szabó"},{"last_name":"Samuely","first_name":"T.","full_name":"Samuely, T."},{"first_name":"J.","full_name":"Kačmarčík, J.","last_name":"Kačmarčík"},{"full_name":"Neilinger, P.","first_name":"P.","last_name":"Neilinger"},{"first_name":"M.","full_name":"Grajcar, M.","last_name":"Grajcar"},{"last_name":"Samuely","full_name":"Samuely, P.","first_name":"P."}],"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. ","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2011.04329"}],"issue":"18","article_number":"180508","article_type":"original","abstract":[{"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.","lang":"eng"}],"date_updated":"2023-08-24T10:53:36Z","volume":102,"oa":1,"doi":"10.1103/PhysRevB.102.180508","arxiv":1,"publication":"Physical Review B","isi":1,"month":"11","year":"2020","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","day":"01","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa_version":"Preprint","scopus_import":"1","quality_controlled":"1","external_id":{"arxiv":["2011.04329"],"isi":["000591509900003"]}},{"date_published":"2020-12-11T00:00:00Z","_id":"8949","ec_funded":1,"title":"Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage","date_created":"2020-12-14T08:04:03Z","publication_status":"published","citation":{"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.","ieee":"X. Zhang <i>et al.</i>, “Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage,” <i>Cells</i>, 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. <i>Cells</i>. 2020;9(12). doi:<a href=\"https://doi.org/10.3390/cells9122662\">10.3390/cells9122662</a>","apa":"Zhang, X., Mennicke, C. V., Xiao, G., Beattie, R. J., Haider, M., Hippenmeyer, S., &#38; Ghashghaei, H. T. (2020). Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage. <i>Cells</i>. MDPI. <a href=\"https://doi.org/10.3390/cells9122662\">https://doi.org/10.3390/cells9122662</a>","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.” <i>Cells</i>, vol. 9, no. 12, 2662, MDPI, 2020, doi:<a href=\"https://doi.org/10.3390/cells9122662\">10.3390/cells9122662</a>.","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.” <i>Cells</i>. MDPI, 2020. <a href=\"https://doi.org/10.3390/cells9122662\">https://doi.org/10.3390/cells9122662</a>.","short":"X. Zhang, C.V. Mennicke, G. Xiao, R.J. Beattie, M. Haider, S. Hippenmeyer, H.T. Ghashghaei, Cells 9 (2020)."},"department":[{"_id":"SiHi"}],"publisher":"MDPI","license":"https://creativecommons.org/licenses/by/4.0/","file":[{"content_type":"application/pdf","date_created":"2020-12-14T08:09:43Z","file_name":"2020_Cells_Zhang.pdf","creator":"dernst","success":1,"file_size":3504525,"file_id":"8950","relation":"main_file","access_level":"open_access","checksum":"5095cbdc728c9a510c5761cf60a8861c","date_updated":"2020-12-14T08:09:43Z"}],"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"},"intvolume":"         9","type":"journal_article","publication_identifier":{"issn":["2073-4409"]},"ddc":["570"],"file_date_updated":"2020-12-14T08:09:43Z","issue":"12","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.","author":[{"last_name":"Zhang","full_name":"Zhang, Xuying","first_name":"Xuying"},{"last_name":"Mennicke","first_name":"Christine V.","full_name":"Mennicke, Christine V."},{"first_name":"Guanxi","full_name":"Xiao, Guanxi","last_name":"Xiao"},{"full_name":"Beattie, Robert J","first_name":"Robert J","orcid":"0000-0002-8483-8753","last_name":"Beattie","id":"2E26DF60-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Haider","first_name":"Mansoor","full_name":"Haider, Mansoor"},{"last_name":"Hippenmeyer","id":"37B36620-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2279-1061","first_name":"Simon","full_name":"Hippenmeyer, Simon"},{"full_name":"Ghashghaei, H. Troy","first_name":"H. Troy","last_name":"Ghashghaei"}],"date_updated":"2023-08-24T10:57:48Z","article_type":"original","article_number":"2662","abstract":[{"text":"<jats:p>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.</jats:p>","lang":"eng"}],"volume":9,"oa":1,"project":[{"name":"Molecular Mechanisms Regulating Gliogenesis in the Cerebral Cortex","_id":"264E56E2-B435-11E9-9278-68D0E5697425","grant_number":"M02416","call_identifier":"FWF"},{"call_identifier":"H2020","grant_number":"725780","_id":"260018B0-B435-11E9-9278-68D0E5697425","name":"Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development"}],"doi":"10.3390/cells9122662","isi":1,"publication":"Cells","language":[{"iso":"eng"}],"year":"2020","status":"public","article_processing_charge":"No","month":"12","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"11","oa_version":"Published Version","has_accepted_license":"1","external_id":{"isi":["000601787300001"]},"quality_controlled":"1"},{"ddc":["570"],"day":"21","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","article_processing_charge":"No","status":"public","year":"2020","type":"research_data","abstract":[{"lang":"eng","text":"Gene expression levels are influenced by multiple coexisting molecular mechanisms. Some of these interactions, such as those of transcription factors and promoters have been studied extensively. However, predicting phenotypes of gene regulatory networks remains a major challenge. Here, we use a well-defined synthetic gene regulatory network to study how network phenotypes depend on local genetic context, i.e. the genetic neighborhood of a transcription factor and its relative position. We show that one gene regulatory network with fixed topology can display not only quantitatively but also qualitatively different phenotypes, depending solely on the local genetic context of its components. Our results demonstrate that changes in local genetic context can place a single transcriptional unit within two separate regulons without the need for complex regulatory sequences. We propose that relative order of individual transcriptional units, with its potential for combinatorial complexity, plays an important role in shaping phenotypes of gene regulatory networks."}],"has_accepted_license":"1","date_updated":"2024-02-21T12:41:57Z","oa_version":"Published Version","author":[{"id":"3ABC5BA6-F248-11E8-B48F-1D18A9856A87","last_name":"Nagy-Staron","orcid":"0000-0002-1391-8377","first_name":"Anna A","full_name":"Nagy-Staron, Anna A"}],"related_material":{"record":[{"status":"public","id":"9283","relation":"used_in_publication"}]},"file_date_updated":"2020-12-20T22:01:44Z","citation":{"ista":"Nagy-Staron AA. 2020. Sequences of gene regulatory network permutations for the article ‘Local genetic context shapes the function of a gene regulatory network’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:8951\">10.15479/AT:ISTA:8951</a>.","ama":"Nagy-Staron AA. Sequences of gene regulatory network permutations for the article “Local genetic context shapes the function of a gene regulatory network.” 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8951\">10.15479/AT:ISTA:8951</a>","ieee":"A. A. Nagy-Staron, “Sequences of gene regulatory network permutations for the article ‘Local genetic context shapes the function of a gene regulatory network.’” Institute of Science and Technology Austria, 2020.","apa":"Nagy-Staron, A. A. (2020). Sequences of gene regulatory network permutations for the article “Local genetic context shapes the function of a gene regulatory network.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8951\">https://doi.org/10.15479/AT:ISTA:8951</a>","chicago":"Nagy-Staron, Anna A. “Sequences of Gene Regulatory Network Permutations for the Article ‘Local Genetic Context Shapes the Function of a Gene Regulatory Network.’” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8951\">https://doi.org/10.15479/AT:ISTA:8951</a>.","mla":"Nagy-Staron, Anna A. <i>Sequences of Gene Regulatory Network Permutations for the Article “Local Genetic Context Shapes the Function of a Gene Regulatory Network.”</i> Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8951\">10.15479/AT:ISTA:8951</a>.","short":"A.A. Nagy-Staron, (2020)."},"date_created":"2020-12-20T10:00:26Z","oa":1,"title":"Sequences of gene regulatory network permutations for the article \"Local genetic context shapes the function of a gene regulatory network\"","date_published":"2020-12-21T00:00:00Z","_id":"8951","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"creator":"bkavcic","file_size":523,"file_id":"8952","success":1,"relation":"main_file","access_level":"open_access","checksum":"f57862aeee1690c7effd2b1117d40ed1","date_updated":"2020-12-20T09:52:52Z","content_type":"text/plain","date_created":"2020-12-20T09:52:52Z","file_name":"readme.txt"},{"content_type":"application/octet-stream","file_name":"GRNs Research depository.gb","date_created":"2020-12-20T22:01:44Z","creator":"bkavcic","file_size":379228,"success":1,"file_id":"8954","checksum":"f2c6d5232ec6d551b6993991e8689e9f","date_updated":"2020-12-20T22:01:44Z","relation":"main_file","access_level":"open_access"}],"doi":"10.15479/AT:ISTA:8951","contributor":[{"first_name":"Anna A","id":"3ABC5BA6-F248-11E8-B48F-1D18A9856A87","last_name":"Nagy-Staron","contributor_type":"project_member"},{"first_name":"Kathrin","id":"3AEC8556-F248-11E8-B48F-1D18A9856A87","last_name":"Tomasek","contributor_type":"project_member"},{"contributor_type":"project_member","last_name":"Caruso Carter","first_name":"Caroline"},{"first_name":"Elisabeth","last_name":"Sonnleitner","contributor_type":"project_member"},{"contributor_type":"project_member","first_name":"Bor","orcid":"0000-0001-6041-254X","last_name":"Kavcic","id":"350F91D2-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Tiago","last_name":"Paixão","contributor_type":"project_member"},{"contributor_type":"project_manager","last_name":"Guet","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","first_name":"Calin C","orcid":"0000-0001-6220-2052"}],"publisher":"Institute of Science and Technology Austria","keyword":["Gene regulatory networks","Gene expression","Escherichia coli","Synthetic Biology"],"department":[{"_id":"CaGu"}]},{"volume":11,"oa":1,"project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020"}],"doi":"10.3389/fphys.2020.558070","publication":"Frontiers in Physiology","isi":1,"month":"11","language":[{"iso":"eng"}],"status":"public","year":"2020","article_processing_charge":"No","pmid":1,"day":"26","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa_version":"Published Version","scopus_import":"1","quality_controlled":"1","has_accepted_license":"1","external_id":{"pmid":["33324233"],"isi":["000596849400001"]},"title":"Network physiology of cortico–muscular interactions","ec_funded":1,"date_published":"2020-11-26T00:00:00Z","_id":"8955","date_created":"2020-12-20T23:01:18Z","citation":{"apa":"Rizzo, R., Zhang, X., Wang, J. W. J. L., Lombardi, F., &#38; Ivanov, P. C. (2020). Network physiology of cortico–muscular interactions. <i>Frontiers in Physiology</i>. Frontiers. <a href=\"https://doi.org/10.3389/fphys.2020.558070\">https://doi.org/10.3389/fphys.2020.558070</a>","ama":"Rizzo R, Zhang X, Wang JWJL, Lombardi F, Ivanov PC. Network physiology of cortico–muscular interactions. <i>Frontiers in Physiology</i>. 2020;11. doi:<a href=\"https://doi.org/10.3389/fphys.2020.558070\">10.3389/fphys.2020.558070</a>","ieee":"R. Rizzo, X. Zhang, J. W. J. L. Wang, F. Lombardi, and P. C. Ivanov, “Network physiology of cortico–muscular interactions,” <i>Frontiers in Physiology</i>, vol. 11. Frontiers, 2020.","short":"R. Rizzo, X. Zhang, J.W.J.L. Wang, F. Lombardi, P.C. Ivanov, Frontiers in Physiology 11 (2020).","chicago":"Rizzo, Rossella, Xiyun Zhang, Jilin W.J.L. Wang, Fabrizio Lombardi, and Plamen Ch Ivanov. “Network Physiology of Cortico–Muscular Interactions.” <i>Frontiers in Physiology</i>. Frontiers, 2020. <a href=\"https://doi.org/10.3389/fphys.2020.558070\">https://doi.org/10.3389/fphys.2020.558070</a>.","mla":"Rizzo, Rossella, et al. “Network Physiology of Cortico–Muscular Interactions.” <i>Frontiers in Physiology</i>, vol. 11, 558070, Frontiers, 2020, doi:<a href=\"https://doi.org/10.3389/fphys.2020.558070\">10.3389/fphys.2020.558070</a>.","ista":"Rizzo R, Zhang X, Wang JWJL, Lombardi F, Ivanov PC. 2020. Network physiology of cortico–muscular interactions. Frontiers in Physiology. 11, 558070."},"publication_status":"published","department":[{"_id":"GaTk"}],"publisher":"Frontiers","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"creator":"dernst","file_id":"8961","file_size":13380030,"success":1,"relation":"main_file","access_level":"open_access","checksum":"ef9515b28c5619b7126c0f347958bcb3","date_updated":"2020-12-21T10:37:50Z","content_type":"application/pdf","date_created":"2020-12-21T10:37:50Z","file_name":"2020_Frontiers_Rizzo.pdf"}],"type":"journal_article","intvolume":"        11","ddc":["570"],"publication_identifier":{"eissn":["1664042X"]},"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.","author":[{"last_name":"Rizzo","first_name":"Rossella","full_name":"Rizzo, Rossella"},{"full_name":"Zhang, Xiyun","first_name":"Xiyun","last_name":"Zhang"},{"last_name":"Wang","full_name":"Wang, Jilin W.J.L.","first_name":"Jilin W.J.L."},{"id":"A057D288-3E88-11E9-986D-0CF4E5697425","last_name":"Lombardi","first_name":"Fabrizio","full_name":"Lombardi, Fabrizio","orcid":"0000-0003-2623-5249"},{"last_name":"Ivanov","first_name":"Plamen Ch","full_name":"Ivanov, Plamen Ch"}],"file_date_updated":"2020-12-21T10:37:50Z","abstract":[{"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.","lang":"eng"}],"article_type":"original","article_number":"558070","date_updated":"2023-08-24T11:00:45Z"},{"doi":"10.15479/AT:ISTA:8958","project":[{"name":"Quantum rotations in the presence of a many-body environment","_id":"26031614-B435-11E9-9278-68D0E5697425","grant_number":"P29902","call_identifier":"FWF"},{"grant_number":"801770","call_identifier":"H2020","name":"Angulon: physics and applications of a new quasiparticle","_id":"2688CF98-B435-11E9-9278-68D0E5697425"}],"oa":1,"supervisor":[{"full_name":"Lemeshko, Mikhail","first_name":"Mikhail","orcid":"0000-0002-6990-7802","last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","related_material":{"record":[{"relation":"part_of_dissertation","id":"5886","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"1120"},{"relation":"part_of_dissertation","id":"8587","status":"public"}]},"has_accepted_license":"1","month":"12","article_processing_charge":"No","year":"2020","status":"public","language":[{"iso":"eng"}],"day":"21","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","alternative_title":["ISTA Thesis"],"publisher":"Institute of Science and Technology Austria","department":[{"_id":"MiLe"}],"degree_awarded":"PhD","file":[{"creator":"xli","file_size":3622305,"success":1,"file_id":"8967","relation":"main_file","access_level":"open_access","checksum":"3994c54a1241451d561db1d4f43bad30","date_updated":"2020-12-22T10:55:56Z","content_type":"application/pdf","date_created":"2020-12-22T10:55:56Z","file_name":"THESIS_Xiang_Li.pdf"},{"creator":"xli","file_size":4018859,"file_id":"8968","checksum":"0954ecfc5554c05615c14de803341f00","date_updated":"2020-12-30T07:18:03Z","relation":"source_file","access_level":"closed","content_type":"application/x-zip-compressed","file_name":"THESIS_Xiang_Li.zip","date_created":"2020-12-22T10:56:03Z"}],"ec_funded":1,"title":"Rotation of coupled cold molecules in the presence of a many-body environment","_id":"8958","date_published":"2020-12-21T00:00:00Z","citation":{"apa":"Li, X. (2020). <i>Rotation of coupled cold molecules in the presence of a many-body environment</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8958\">https://doi.org/10.15479/AT:ISTA:8958</a>","ieee":"X. Li, “Rotation of coupled cold molecules in the presence of a many-body environment,” Institute of Science and Technology Austria, 2020.","ama":"Li X. Rotation of coupled cold molecules in the presence of a many-body environment. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8958\">10.15479/AT:ISTA:8958</a>","short":"X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, Institute of Science and Technology Austria, 2020.","mla":"Li, Xiang. <i>Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8958\">10.15479/AT:ISTA:8958</a>.","chicago":"Li, Xiang. “Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8958\">https://doi.org/10.15479/AT:ISTA:8958</a>.","ista":"Li X. 2020. Rotation of coupled cold molecules in the presence of a many-body environment. Institute of Science and Technology Austria."},"publication_status":"published","date_created":"2020-12-21T09:44:30Z","author":[{"full_name":"Li, Xiang","first_name":"Xiang","id":"4B7E523C-F248-11E8-B48F-1D18A9856A87","last_name":"Li"}],"file_date_updated":"2020-12-30T07:18:03Z","page":"125","abstract":[{"text":"The oft-quoted dictum by Arthur Schawlow: ``A diatomic molecule has one atom too many'' has been disavowed. Inspired by the possibility to experimentally manipulate and enhance chemical reactivity in helium nanodroplets, we investigate the rotation of coupled cold molecules in the presence of a many-body environment.\r\nIn this thesis, we introduce new variational approaches to quantum impurities and apply them to the Fröhlich polaron - a quasiparticle formed out of an electron (or other point-like impurity) in a polar medium, and to the angulon - a quasiparticle formed out of a rotating molecule in a bosonic bath.\r\nWith this theoretical toolbox, we reveal the self-localization transition for the angulon quasiparticle. We show that, unlike for polarons, self-localization of angulons occurs at finite impurity-bath coupling already at the mean-field level. The transition is accompanied by the spherical-symmetry breaking of the angulon ground state and a discontinuity in the first derivative of the ground-state energy. Moreover, the type of symmetry breaking is dictated by the symmetry of the microscopic impurity-bath interaction, which leads to a number of distinct self-localized states. \r\nFor the system containing multiple impurities, by analogy with the bipolaron, we introduce the biangulon quasiparticle describing two rotating molecules that align with respect to each other due to the effective attractive interaction mediated by the excitations of the bath. We study this system from the strong-coupling regime to the weak molecule-bath interaction regime. We show that the molecules tend to have a strong alignment in the ground state, the biangulon shows shifted angulon instabilities and an additional spectral instability, where resonant angular momentum transfer between the molecules and the bath takes place. Finally, we introduce a diagonalization scheme that allows us to describe the transition from two separated angulons to a biangulon as a function of the distance between the two molecules.","lang":"eng"}],"date_updated":"2024-08-07T07:16:53Z","type":"dissertation","ddc":["539"],"publication_identifier":{"issn":["2663-337X"]}},{"author":[{"orcid":"0000-0001-7149-769X","first_name":"Florian","full_name":"Fäßler, Florian","id":"404F5528-F248-11E8-B48F-1D18A9856A87","last_name":"Fäßler"},{"last_name":"Dimchev","id":"38C393BE-F248-11E8-B48F-1D18A9856A87","first_name":"Georgi A","full_name":"Dimchev, Georgi A","orcid":"0000-0001-8370-6161"},{"id":"3661B498-F248-11E8-B48F-1D18A9856A87","last_name":"Hodirnau","full_name":"Hodirnau, Victor-Valentin","first_name":"Victor-Valentin"},{"last_name":"Wan","first_name":"William","full_name":"Wan, William"},{"id":"48AD8942-F248-11E8-B48F-1D18A9856A87","last_name":"Schur","orcid":"0000-0003-4790-8078","full_name":"Schur, Florian KM","first_name":"Florian KM"}],"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. ","file_date_updated":"2020-12-28T08:16:10Z","article_type":"original","abstract":[{"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.","lang":"eng"}],"article_number":"6437","date_updated":"2023-08-24T11:01:50Z","intvolume":"        11","type":"journal_article","ddc":["570"],"publication_identifier":{"issn":["2041-1723"]},"department":[{"_id":"FlSc"},{"_id":"EM-Fac"}],"publisher":"Springer Nature","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"content_type":"application/pdf","date_created":"2020-12-28T08:16:10Z","file_name":"2020_NatureComm_Faessler.pdf","file_size":3958727,"success":1,"file_id":"8975","creator":"dernst","access_level":"open_access","relation":"main_file","date_updated":"2020-12-28T08:16:10Z","checksum":"55d43ea0061cc4027ba45e966e1db8cc"}],"title":"Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction","_id":"8971","date_published":"2020-12-22T00:00:00Z","date_created":"2020-12-23T08:25:45Z","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.","mla":"Fäßler, Florian, et al. “Cryo-Electron Tomography Structure of Arp2/3 Complex in Cells Reveals New Insights into the Branch Junction.” <i>Nature Communications</i>, vol. 11, 6437, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-20286-x\">10.1038/s41467-020-20286-x</a>.","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.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-20286-x\">https://doi.org/10.1038/s41467-020-20286-x</a>.","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,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020.","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. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-020-20286-x\">10.1038/s41467-020-20286-x</a>","apa":"Fäßler, F., Dimchev, G. A., Hodirnau, V.-V., Wan, W., &#38; Schur, F. K. (2020). Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-20286-x\">https://doi.org/10.1038/s41467-020-20286-x</a>"},"publication_status":"published","oa_version":"Published Version","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"}]},"scopus_import":"1","quality_controlled":"1","has_accepted_license":"1","external_id":{"isi":["000603078000003"]},"month":"12","year":"2020","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","day":"22","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","keyword":["General Biochemistry","Genetics and Molecular Biology","General Physics and Astronomy","General Chemistry"],"project":[{"_id":"9B954C5C-BA93-11EA-9121-9846C619BF3A","name":"Structure and isoform diversity of the Arp2/3 complex","grant_number":"P33367"},{"name":"Protein structure and function in filopodia across scales","_id":"2674F658-B435-11E9-9278-68D0E5697425","grant_number":"M02495","call_identifier":"FWF"}],"doi":"10.1038/s41467-020-20286-x","acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"LifeSc"},{"_id":"Bio"},{"_id":"EM-Fac"}],"publication":"Nature Communications","isi":1,"volume":11,"oa":1},{"doi":"10.1214/20-EJP536","project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020"}],"publication":"Electronic Journal of Probability","arxiv":1,"isi":1,"oa":1,"volume":25,"oa_version":"Published Version","scopus_import":"1","quality_controlled":"1","external_id":{"isi":["000591737500001"],"arxiv":["1811.01366"]},"has_accepted_license":"1","month":"10","article_processing_charge":"No","language":[{"iso":"eng"}],"year":"2020","status":"public","day":"21","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":" Institute of Mathematical Statistics","department":[{"_id":"JaMa"}],"file":[{"checksum":"d75359b9814e78d57c0a481b7cde3751","date_updated":"2020-12-28T08:24:08Z","access_level":"open_access","relation":"main_file","success":1,"file_id":"8976","file_size":696653,"creator":"dernst","file_name":"2020_ElectronJProbab_Redig.pdf","date_created":"2020-12-28T08:24:08Z","content_type":"application/pdf"}],"ec_funded":1,"title":"Symmetric simple exclusion process in dynamic environment: Hydrodynamics","date_published":"2020-10-21T00:00:00Z","_id":"8973","publication_status":"published","citation":{"ista":"Redig F, Saada E, Sau F. 2020. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. 25, 138.","chicago":"Redig, Frank, Ellen Saada, and Federico Sau. “Symmetric Simple Exclusion Process in Dynamic Environment: Hydrodynamics.” <i>Electronic Journal of Probability</i>.  Institute of Mathematical Statistics, 2020. <a href=\"https://doi.org/10.1214/20-EJP536\">https://doi.org/10.1214/20-EJP536</a>.","mla":"Redig, Frank, et al. “Symmetric Simple Exclusion Process in Dynamic Environment: Hydrodynamics.” <i>Electronic Journal of Probability</i>, vol. 25, 138,  Institute of Mathematical Statistics, 2020, doi:<a href=\"https://doi.org/10.1214/20-EJP536\">10.1214/20-EJP536</a>.","short":"F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).","ama":"Redig F, Saada E, Sau F. Symmetric simple exclusion process in dynamic environment: Hydrodynamics. <i>Electronic Journal of Probability</i>. 2020;25. doi:<a href=\"https://doi.org/10.1214/20-EJP536\">10.1214/20-EJP536</a>","ieee":"F. Redig, E. Saada, and F. Sau, “Symmetric simple exclusion process in dynamic environment: Hydrodynamics,” <i>Electronic Journal of Probability</i>, vol. 25.  Institute of Mathematical Statistics, 2020.","apa":"Redig, F., Saada, E., &#38; Sau, F. (2020). Symmetric simple exclusion process in dynamic environment: Hydrodynamics. <i>Electronic Journal of Probability</i>.  Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/20-EJP536\">https://doi.org/10.1214/20-EJP536</a>"},"date_created":"2020-12-27T23:01:17Z","acknowledgement":"We warmly thank S.R.S. Varadhan for many enlightening discussions at an early stage of this work. We are indebted to Francesca Collet for fruitful discussions and constant support all throughout this work. We thank Simone Floreani\r\nand Alberto Chiarini for helpful conversations on the final part of this paper as well as both referees for their careful reading and for raising relevant issues on some weak points contained in a previous version of this manuscript; we believe this helped us to improve it.\r\nPart of this work was done during the authors’ stay at the Institut Henri Poincaré (UMS 5208 CNRS-Sorbonne Université) – Centre Emile Borel during the trimester Stochastic Dynamics Out of Equilibrium. The authors thank this institution for hospitality and support (through LabEx CARMIN, ANR-10-LABX-59-01). F.S. thanks laboratoire\r\nMAP5 of Université de Paris, and E.S. thanks Delft University, for financial support and hospitality. F.S. acknowledges NWO for financial support via the TOP1 grant 613.001.552 as well as funding from the European Union’s Horizon 2020 research and innovation programme under the Marie-Skłodowska-Curie grant agreement No. 754411. This research has been conducted within the FP2M federation (CNRS FR 2036).","author":[{"last_name":"Redig","full_name":"Redig, Frank","first_name":"Frank"},{"last_name":"Saada","first_name":"Ellen","full_name":"Saada, Ellen"},{"first_name":"Federico","full_name":"Sau, Federico","last_name":"Sau","id":"E1836206-9F16-11E9-8814-AEFDE5697425"}],"file_date_updated":"2020-12-28T08:24:08Z","article_type":"original","abstract":[{"lang":"eng","text":"We consider the symmetric simple exclusion process in Zd with quenched bounded dynamic random conductances and prove its hydrodynamic limit in path space. The main tool is the connection, due to the self-duality of the process, between the invariance principle for single particles starting from all points and the macroscopic behavior of the density field. While the hydrodynamic limit at fixed macroscopic times is obtained via a generalization to the time-inhomogeneous context of the strategy introduced in [41], in order to prove tightness for the sequence of empirical density fields we develop a new criterion based on the notion of uniform conditional stochastic continuity, following [50]. In conclusion, we show that uniform elliptic dynamic conductances provide an example of environments in which the so-called arbitrary starting point invariance principle may be derived from the invariance principle of a single particle starting from the origin. Therefore, our hydrodynamics result applies to the examples of quenched environments considered in, e.g., [1], [3], [6] in combination with the hypothesis of uniform ellipticity."}],"article_number":"138","date_updated":"2023-10-17T12:51:56Z","intvolume":"        25","type":"journal_article","ddc":["510"],"publication_identifier":{"eissn":["1083-6489"]}},{"type":"journal_article","intvolume":"         1","publication_identifier":{"issn":["2666-1667"]},"ddc":["570"],"issue":"3","file_date_updated":"2021-01-07T15:57:27Z","acknowledgement":"This research was supported by the Scientific Service Units (SSU) at IST Austria through resources provided by the Bioimaging (BIF) and Preclinical Facilities (PCF). N.A received support from the FWF Firnberg-Programm (T 1031). This work was also supported by IST Austria institutional funds; FWF SFB F78 to S.H.; NÖ Forschung und Bildung n[f+b] life science call grant (C13-002) to S.H.; the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no. 618444 to S.H.; and the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement no. 725780 LinPro) to S.H.","author":[{"first_name":"Susanne","full_name":"Laukoter, Susanne","id":"2D6B7A9A-F248-11E8-B48F-1D18A9856A87","last_name":"Laukoter"},{"full_name":"Amberg, Nicole","first_name":"Nicole","orcid":"0000-0002-3183-8207","last_name":"Amberg","id":"4CD6AAC6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Pauler, Florian","first_name":"Florian","id":"48EA0138-F248-11E8-B48F-1D18A9856A87","last_name":"Pauler"},{"last_name":"Hippenmeyer","id":"37B36620-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2279-1061","first_name":"Simon","full_name":"Hippenmeyer, Simon"}],"date_updated":"2021-01-12T08:21:36Z","article_type":"original","abstract":[{"lang":"eng","text":"Mosaic analysis with double markers (MADM) technology enables concomitant fluorescent cell labeling and induction of uniparental chromosome disomy (UPD) with single-cell resolution. In UPD, imprinted genes are either overexpressed 2-fold or are not expressed. Here, the MADM platform is utilized to probe imprinting phenotypes at the transcriptional level. This protocol highlights major steps for the generation and isolation of projection neurons and astrocytes with MADM-induced UPD from mouse cerebral cortex for downstream single-cell and low-input sample RNA-sequencing experiments.\r\n\r\nFor complete details on the use and execution of this protocol, please refer to Laukoter et al. (2020b)."}],"article_number":"100215","date_published":"2020-12-18T00:00:00Z","_id":"8978","title":"Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy","ec_funded":1,"citation":{"ista":"Laukoter S, Amberg N, Pauler F, Hippenmeyer S. 2020. Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. STAR Protocols. 1(3), 100215.","apa":"Laukoter, S., Amberg, N., Pauler, F., &#38; Hippenmeyer, S. (2020). Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. <i>STAR Protocols</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.xpro.2020.100215\">https://doi.org/10.1016/j.xpro.2020.100215</a>","ama":"Laukoter S, Amberg N, Pauler F, Hippenmeyer S. Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy. <i>STAR Protocols</i>. 2020;1(3). doi:<a href=\"https://doi.org/10.1016/j.xpro.2020.100215\">10.1016/j.xpro.2020.100215</a>","ieee":"S. Laukoter, N. Amberg, F. Pauler, and S. Hippenmeyer, “Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy,” <i>STAR Protocols</i>, vol. 1, no. 3. Elsevier, 2020.","short":"S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020).","chicago":"Laukoter, Susanne, Nicole Amberg, Florian Pauler, and Simon Hippenmeyer. “Generation and Isolation of Single Cells from Mouse Brain with Mosaic Analysis with Double Markers-Induced Uniparental Chromosome Disomy.” <i>STAR Protocols</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.xpro.2020.100215\">https://doi.org/10.1016/j.xpro.2020.100215</a>.","mla":"Laukoter, Susanne, et al. “Generation and Isolation of Single Cells from Mouse Brain with Mosaic Analysis with Double Markers-Induced Uniparental Chromosome Disomy.” <i>STAR Protocols</i>, vol. 1, no. 3, 100215, Elsevier, 2020, doi:<a href=\"https://doi.org/10.1016/j.xpro.2020.100215\">10.1016/j.xpro.2020.100215</a>."},"publication_status":"published","date_created":"2020-12-30T10:17:07Z","publisher":"Elsevier","department":[{"_id":"SiHi"}],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","file":[{"content_type":"application/pdf","date_created":"2021-01-07T15:57:27Z","file_name":"2020_STARProtocols_Laukoter.pdf","creator":"dernst","file_size":4031449,"success":1,"file_id":"8996","relation":"main_file","access_level":"open_access","checksum":"f1e9a433e9cb0f41f7b6df6b76db1f6e","date_updated":"2021-01-07T15:57:27Z"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"article_processing_charge":"No","year":"2020","language":[{"iso":"eng"}],"status":"public","month":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"18","pmid":1,"oa_version":"Published Version","external_id":{"pmid":["33377108"]},"has_accepted_license":"1","quality_controlled":"1","oa":1,"volume":1,"acknowledged_ssus":[{"_id":"Bio"},{"_id":"PreCl"}],"doi":"10.1016/j.xpro.2020.100215","project":[{"grant_number":"T0101031","call_identifier":"FWF","name":"Role of Eed in neural stem cell lineage progression","_id":"268F8446-B435-11E9-9278-68D0E5697425"},{"grant_number":"F07805","name":"Molecular Mechanisms of Neural Stem Cell Lineage Progression","_id":"059F6AB4-7A3F-11EA-A408-12923DDC885E"},{"name":"Mapping Cell-Type Specificity of the Genomic Imprintome in the Brain","_id":"25D92700-B435-11E9-9278-68D0E5697425","grant_number":"LS13-002"},{"name":"Molecular Mechanisms of Cerebral Cortex Development","_id":"25D61E48-B435-11E9-9278-68D0E5697425","grant_number":"618444","call_identifier":"FP7"},{"call_identifier":"H2020","grant_number":"725780","_id":"260018B0-B435-11E9-9278-68D0E5697425","name":"Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development"}],"publication":"STAR Protocols"},{"year":"2020","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","month":"12","alternative_title":["ISTA Thesis"],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"30","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"8557"},{"status":"public","id":"6187","relation":"part_of_dissertation"}]},"oa_version":"Published Version","has_accepted_license":"1","supervisor":[{"orcid":"0000-0001-8323-8353","first_name":"Daria E","full_name":"Siekhaus, Daria E","last_name":"Siekhaus","id":"3D224B9E-F248-11E8-B48F-1D18A9856A87"}],"oa":1,"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"},{"_id":"E-Lib"},{"_id":"CampIT"}],"doi":"10.15479/AT:ISTA:8983","type":"dissertation","publication_identifier":{"issn":["2663-337X"]},"ddc":["570"],"file_date_updated":"2021-12-31T23:30:04Z","author":[{"orcid":"0000-0001-6981-6938","first_name":"Shamsi","full_name":"Emtenani, Shamsi","last_name":"Emtenani","id":"49D32318-F248-11E8-B48F-1D18A9856A87"}],"acknowledgement":"Also, I would like to express my appreciation and thanks to the Bioimaging facility, LSF, GSO, library, and IT people at IST Austria.","date_updated":"2023-09-07T13:24:17Z","abstract":[{"text":"Metabolic adaptation is a critical feature of migrating cells. It tunes the metabolic programs of migrating cells to allow them to efficiently exert their crucial roles in development, inflammatory responses and tumor metastasis. Cell migration through physically challenging contexts requires energy. However, how the metabolic reprogramming that underlies in vivo cell invasion is controlled is still unanswered. In my PhD project, I identify a novel conserved metabolic shift in Drosophila melanogaster immune cells that by modulating their bioenergetic potential controls developmentally programmed tissue invasion. We show that this regulation requires a novel conserved nuclear protein, named Atossa. Atossa enhances the transcription of a set of proteins, including an RNA helicase Porthos and two metabolic enzymes, each of which increases the tissue invasion of leading Drosophila macrophages and can rescue the atossa mutant phenotype. Porthos selectively regulates the translational efficiency of a subset of mRNAs containing a 5’-UTR cis-regulatory TOP-like sequence. These 5’TOPL mRNA targets encode mitochondrial-related proteins, including subunits of mitochondrial oxidative phosphorylation (OXPHOS) components III and V and other metabolic-related proteins. Porthos powers up mitochondrial OXPHOS to engender a sufficient ATP supply, which is required for tissue invasion of leading macrophages. Atossa’s two vertebrate orthologs rescue the invasion defect. In my PhD project, I elucidate that Atossa displays a conserved developmental metabolic control to modulate metabolic capacities and the cellular energy state, through altered transcription and translation, to aid the tissue infiltration of leading cells into energy demanding barriers.","lang":"eng"}],"page":"141","date_published":"2020-12-30T00:00:00Z","_id":"8983","title":"Metabolic regulation of Drosophila macrophage tissue invasion","date_created":"2020-12-30T15:41:26Z","citation":{"ama":"Emtenani S. Metabolic regulation of Drosophila macrophage tissue invasion. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8983\">10.15479/AT:ISTA:8983</a>","ieee":"S. Emtenani, “Metabolic regulation of Drosophila macrophage tissue invasion,” Institute of Science and Technology Austria, 2020.","apa":"Emtenani, S. (2020). <i>Metabolic regulation of Drosophila macrophage tissue invasion</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8983\">https://doi.org/10.15479/AT:ISTA:8983</a>","chicago":"Emtenani, Shamsi. “Metabolic Regulation of Drosophila Macrophage Tissue Invasion.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8983\">https://doi.org/10.15479/AT:ISTA:8983</a>.","mla":"Emtenani, Shamsi. <i>Metabolic Regulation of Drosophila Macrophage Tissue Invasion</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8983\">10.15479/AT:ISTA:8983</a>.","short":"S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, Institute of Science and Technology Austria, 2020.","ista":"Emtenani S. 2020. Metabolic regulation of Drosophila macrophage tissue invasion. Institute of Science and Technology Austria."},"publication_status":"published","degree_awarded":"PhD","department":[{"_id":"DaSi"}],"publisher":"Institute of Science and Technology Austria","file":[{"content_type":"application/pdf","file_name":"Thesis_Shamsi_Emtenani_pdfA.pdf","date_created":"2020-12-30T15:34:01Z","file_id":"8984","file_size":10848175,"creator":"semtenan","checksum":"ec2797ab7a6f253b35df0572b36d1b43","date_updated":"2021-12-31T23:30:04Z","access_level":"open_access","embargo":"2021-12-30","relation":"main_file"},{"content_type":"application/pdf","date_created":"2020-12-30T15:37:36Z","file_name":"Thesis_Shamsi_Emtenani_source file.pdf","creator":"semtenan","file_id":"8985","file_size":10073648,"relation":"source_file","access_level":"closed","embargo_to":"open_access","checksum":"cc30e6608a9815414024cf548dff3b3a","date_updated":"2021-12-31T23:30:04Z"}]},{"article_number":"eabc8895","abstract":[{"text":"Flowering plants display the highest diversity among plant species and have notably shaped terrestrial landscapes. Nonetheless, the evolutionary origin of their unprecedented morphological complexity remains largely an enigma. Here, we show that the coevolution of cis-regulatory and coding regions of PIN-FORMED (PIN) auxin transporters confined their expression to certain cell types and directed their subcellular localization to particular cell sides, which together enabled dynamic auxin gradients across tissues critical to the complex architecture of flowering plants. Extensive intraspecies and interspecies genetic complementation experiments with PINs from green alga up to flowering plant lineages showed that PIN genes underwent three subsequent, critical evolutionary innovations and thus acquired a triple function to regulate the development of three essential components of the flowering plant Arabidopsis: shoot/root, inflorescence, and floral organ. Our work highlights the critical role of functional innovations within the PIN gene family as essential prerequisites for the origin of flowering plants.","lang":"eng"}],"article_type":"original","date_updated":"2024-10-29T10:22:43Z","author":[{"last_name":"Zhang","id":"3B6137F2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2627-6956","first_name":"Yuzhou","full_name":"Zhang, Yuzhou"},{"last_name":"Rodriguez Solovey","id":"3922B506-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7244-7237","full_name":"Rodriguez Solovey, Lesia","first_name":"Lesia"},{"full_name":"Li, Lanxin","first_name":"Lanxin","orcid":"0000-0002-5607-272X","last_name":"Li","id":"367EF8FA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Zhang","id":"61A66458-47E9-11EA-85BA-8AEAAF14E49A","orcid":"0000-0001-7048-4627","first_name":"Xixi","full_name":"Zhang, Xixi"},{"first_name":"Jiří","full_name":"Friml, Jiří","orcid":"0000-0002-8302-7596","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"acknowledgement":"We thank C.Löhne (Botanic Gardens, University of Bonn) for providing us with A. trichopoda. We would like to thank T.Han, A.Mally (IST, Austria), and C.Hartinger (University of Oxford) for constructive comment and careful reading. Funding: The research leading to these results has received funding from the European Union’s Horizon 2020 Research and Innovation Programme (ERC grant agreement number 742985), Austrian Science Fund (FWF, grant number I 3630-B25), DOC Fellowship of the Austrian Academy of Sciences, and IST Fellow program. ","file_date_updated":"2021-01-07T12:44:33Z","issue":"50","ddc":["580"],"publication_identifier":{"eissn":["2375-2548"]},"type":"journal_article","intvolume":"         6","tmp":{"short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","image":"/images/cc_by_nc.png"},"license":"https://creativecommons.org/licenses/by-nc/4.0/","file":[{"content_type":"application/pdf","date_created":"2021-01-07T12:44:33Z","file_name":"2020_ScienceAdvances_Zhang.pdf","creator":"dernst","success":1,"file_size":10578145,"file_id":"8994","relation":"main_file","access_level":"open_access","date_updated":"2021-01-07T12:44:33Z","checksum":"5ac2500b191c08ef6dab5327f40ff663"}],"department":[{"_id":"JiFr"}],"publisher":"AAAS","date_created":"2021-01-03T23:01:23Z","publication_status":"published","citation":{"apa":"Zhang, Y., Rodriguez Solovey, L., Li, L., Zhang, X., &#38; Friml, J. (2020). Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. <i>Science Advances</i>. AAAS. <a href=\"https://doi.org/10.1126/sciadv.abc8895\">https://doi.org/10.1126/sciadv.abc8895</a>","ieee":"Y. Zhang, L. Rodriguez Solovey, L. Li, X. Zhang, and J. Friml, “Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants,” <i>Science Advances</i>, vol. 6, no. 50. AAAS, 2020.","ama":"Zhang Y, Rodriguez Solovey L, Li L, Zhang X, Friml J. Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. <i>Science Advances</i>. 2020;6(50). doi:<a href=\"https://doi.org/10.1126/sciadv.abc8895\">10.1126/sciadv.abc8895</a>","short":"Y. Zhang, L. Rodriguez Solovey, L. Li, X. Zhang, J. Friml, Science Advances 6 (2020).","mla":"Zhang, Yuzhou, et al. “Functional Innovations of PIN Auxin Transporters Mark Crucial Evolutionary Transitions during Rise of Flowering Plants.” <i>Science Advances</i>, vol. 6, no. 50, eabc8895, AAAS, 2020, doi:<a href=\"https://doi.org/10.1126/sciadv.abc8895\">10.1126/sciadv.abc8895</a>.","chicago":"Zhang, Yuzhou, Lesia Rodriguez Solovey, Lanxin Li, Xixi Zhang, and Jiří Friml. “Functional Innovations of PIN Auxin Transporters Mark Crucial Evolutionary Transitions during Rise of Flowering Plants.” <i>Science Advances</i>. AAAS, 2020. <a href=\"https://doi.org/10.1126/sciadv.abc8895\">https://doi.org/10.1126/sciadv.abc8895</a>.","ista":"Zhang Y, Rodriguez Solovey L, Li L, Zhang X, Friml J. 2020. Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. 6(50), eabc8895."},"title":"Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants","ec_funded":1,"date_published":"2020-12-11T00:00:00Z","_id":"8986","quality_controlled":"1","has_accepted_license":"1","external_id":{"pmid":["33310852"],"isi":["000599903600014"]},"oa_version":"Published Version","scopus_import":"1","related_material":{"record":[{"status":"public","id":"10083","relation":"dissertation_contains"}]},"pmid":1,"day":"11","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","month":"12","status":"public","year":"2020","language":[{"iso":"eng"}],"article_processing_charge":"No","publication":"Science Advances","isi":1,"project":[{"call_identifier":"H2020","grant_number":"742985","_id":"261099A6-B435-11E9-9278-68D0E5697425","name":"Tracing Evolution of Auxin Transport and Polarity in Plants"},{"call_identifier":"FWF","grant_number":"I03630","_id":"26538374-B435-11E9-9278-68D0E5697425","name":"Molecular mechanisms of endocytic cargo recognition in plants"},{"_id":"26B4D67E-B435-11E9-9278-68D0E5697425","name":"A Case Study of Plant Growth Regulation: Molecular Mechanism of Auxin-mediated Rapid Growth Inhibition in Arabidopsis Root","grant_number":"25351"}],"doi":"10.1126/sciadv.abc8895","volume":6,"oa":1},{"volume":12578,"oa":1,"project":[{"_id":"258AA5B2-B435-11E9-9278-68D0E5697425","name":"Teaching Old Crypto New Tricks","call_identifier":"H2020","grant_number":"682815"}],"doi":"10.1007/978-3-030-65277-7_1","isi":1,"publication":"Progress in Cryptology","year":"2020","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","month":"12","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"08","scopus_import":"1","oa_version":"Preprint","series_title":"LNCS","external_id":{"isi":["000927592800001"]},"quality_controlled":"1","_id":"8987","date_published":"2020-12-08T00:00:00Z","ec_funded":1,"title":"Delayed authentication: Preventing replay and relay attacks in private contact tracing","date_created":"2021-01-03T23:01:23Z","publication_status":"published","citation":{"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.","apa":"Pietrzak, K. Z. (2020). Delayed authentication: Preventing replay and relay attacks in private contact tracing. In <i>Progress in Cryptology</i> (Vol. 12578, pp. 3–15). Bangalore, India: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-65277-7_1\">https://doi.org/10.1007/978-3-030-65277-7_1</a>","ieee":"K. Z. Pietrzak, “Delayed authentication: Preventing replay and relay attacks in private contact tracing,” in <i>Progress in Cryptology</i>, Bangalore, India, 2020, vol. 12578, pp. 3–15.","ama":"Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in private contact tracing. In: <i>Progress in Cryptology</i>. Vol 12578. LNCS. Springer Nature; 2020:3-15. doi:<a href=\"https://doi.org/10.1007/978-3-030-65277-7_1\">10.1007/978-3-030-65277-7_1</a>","short":"K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.","chicago":"Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” In <i>Progress in Cryptology</i>, 12578:3–15. LNCS. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-65277-7_1\">https://doi.org/10.1007/978-3-030-65277-7_1</a>.","mla":"Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” <i>Progress in Cryptology</i>, vol. 12578, Springer Nature, 2020, pp. 3–15, doi:<a href=\"https://doi.org/10.1007/978-3-030-65277-7_1\">10.1007/978-3-030-65277-7_1</a>."},"department":[{"_id":"KrPi"}],"publisher":"Springer Nature","type":"conference","intvolume":"     12578","publication_identifier":{"issn":["03029743"],"isbn":["9783030652760"],"eissn":["16113349"]},"main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2020/418"}],"author":[{"orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z","first_name":"Krzysztof Z","last_name":"Pietrzak","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2023-08-24T11:08:58Z","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."}],"page":"3-15","conference":{"name":"INDOCRYPT: International Conference on Cryptology in India","location":"Bangalore, India","end_date":"2020-12-16","start_date":"2020-12-13"}},{"type":"journal_article","intvolume":"       117","publication_identifier":{"eissn":["10916490"],"issn":["00278424"]},"ddc":["570"],"file_date_updated":"2021-01-11T08:37:31Z","issue":"50","author":[{"last_name":"Grah","id":"483E70DE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2539-3560","first_name":"Rok","full_name":"Grah, Rok"},{"last_name":"Zoller","full_name":"Zoller, Benjamin","first_name":"Benjamin"},{"full_name":"Tkačik, Gašper","first_name":"Gašper","orcid":"0000-0002-6699-1455","last_name":"Tkačik","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87"}],"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.","date_updated":"2023-08-24T11:10:22Z","article_type":"original","page":"31614-31622","abstract":[{"lang":"eng","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."}],"_id":"9000","date_published":"2020-12-15T00:00:00Z","title":"Nonequilibrium models of optimal enhancer function","date_created":"2021-01-10T23:01:17Z","citation":{"ista":"Grah R, Zoller B, Tkačik G. 2020. Nonequilibrium models of optimal enhancer function. PNAS. 117(50), 31614–31622.","apa":"Grah, R., Zoller, B., &#38; Tkačik, G. (2020). Nonequilibrium models of optimal enhancer function. <i>PNAS</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.2006731117\">https://doi.org/10.1073/pnas.2006731117</a>","ama":"Grah R, Zoller B, Tkačik G. Nonequilibrium models of optimal enhancer function. <i>PNAS</i>. 2020;117(50):31614-31622. doi:<a href=\"https://doi.org/10.1073/pnas.2006731117\">10.1073/pnas.2006731117</a>","ieee":"R. Grah, B. Zoller, and G. Tkačik, “Nonequilibrium models of optimal enhancer function,” <i>PNAS</i>, vol. 117, no. 50. National Academy of Sciences, pp. 31614–31622, 2020.","short":"R. Grah, B. Zoller, G. Tkačik, PNAS 117 (2020) 31614–31622.","chicago":"Grah, Rok, Benjamin Zoller, and Gašper Tkačik. “Nonequilibrium Models of Optimal Enhancer Function.” <i>PNAS</i>. National Academy of Sciences, 2020. <a href=\"https://doi.org/10.1073/pnas.2006731117\">https://doi.org/10.1073/pnas.2006731117</a>.","mla":"Grah, Rok, et al. “Nonequilibrium Models of Optimal Enhancer Function.” <i>PNAS</i>, vol. 117, no. 50, National Academy of Sciences, 2020, pp. 31614–22, doi:<a href=\"https://doi.org/10.1073/pnas.2006731117\">10.1073/pnas.2006731117</a>."},"publication_status":"published","department":[{"_id":"GaTk"}],"publisher":"National Academy of Sciences","file":[{"date_created":"2021-01-11T08:37:31Z","file_name":"2020_PNAS_Grah.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","date_updated":"2021-01-11T08:37:31Z","checksum":"69039cd402a571983aa6cb4815ffa863","file_size":1199247,"success":1,"file_id":"9004","creator":"dernst"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"year":"2020","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","month":"12","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","pmid":1,"day":"15","scopus_import":"1","related_material":{"link":[{"url":"https://ist.ac.at/en/news/new-compact-model-for-gene-regulation-in-higher-organisms/","description":"News on IST Homepage","relation":"press_release"}]},"oa_version":"Published Version","has_accepted_license":"1","external_id":{"pmid":["33268497"],"isi":["000600608300015"]},"quality_controlled":"1","volume":117,"oa":1,"project":[{"grant_number":"RGP0034/2018","name":"Can evolution minimize spurious signaling crosstalk to reach optimal performance?","_id":"2665AAFE-B435-11E9-9278-68D0E5697425"},{"_id":"267C84F4-B435-11E9-9278-68D0E5697425","name":"Biophysically realistic genotype-phenotype maps for regulatory networks"}],"doi":"10.1073/pnas.2006731117","isi":1,"publication":"PNAS"},{"quality_controlled":"1","external_id":{"arxiv":["1908.03058"],"isi":["000612224900089"]},"oa_version":"Preprint","related_material":{"record":[{"status":"public","id":"7910","relation":"earlier_version"}]},"scopus_import":"1","day":"21","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","month":"09","status":"public","year":"2020","language":[{"iso":"eng"}],"article_processing_charge":"No","arxiv":1,"publication":"IEEE National Radar Conference - Proceedings","isi":1,"project":[{"call_identifier":"H2020","grant_number":"758053","_id":"26336814-B435-11E9-9278-68D0E5697425","name":"A Fiber Optic Transceiver for Superconducting Qubits"},{"name":"Quantum readout techniques and technologies","_id":"237CBA6C-32DE-11EA-91FC-C7463DDC885E","grant_number":"862644","call_identifier":"H2020"},{"_id":"258047B6-B435-11E9-9278-68D0E5697425","name":"Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics SUPEREOM","call_identifier":"H2020","grant_number":"707438"},{"call_identifier":"H2020","grant_number":"732894","_id":"257EB838-B435-11E9-9278-68D0E5697425","name":"Hybrid Optomechanical Technologies"}],"doi":"10.1109/RadarConf2043947.2020.9266397","volume":2020,"oa":1,"abstract":[{"text":"Quantum illumination is a sensing technique that employs entangled signal-idler beams to improve the detection efficiency of low-reflectivity objects in environments with large thermal noise. The advantage over classical strategies is evident at low signal brightness, a feature which could make the protocol an ideal prototype for non-invasive scanning or low-power short-range radar. Here we experimentally investigate the concept of quantum illumination at microwave frequencies, by generating entangled fields using a Josephson parametric converter which are then amplified to illuminate a room-temperature object at a distance of 1 meter. Starting from experimental data, we simulate the case of perfect idler photon number detection, which results in a quantum advantage compared to the relative classical benchmark. Our results highlight the opportunities and challenges on the way towards a first room-temperature application of microwave quantum circuits.","lang":"eng"}],"article_number":"9266397","conference":{"end_date":"2020-09-25","start_date":"2020-09-21","location":"Florence, Italy","name":"RadarConf: National Conference on Radar"},"date_updated":"2024-09-10T12:23:52Z","acknowledgement":"This work was supported by the Institute of Science and Technology Austria (IST Austria), the European Research Council under grant agreement number 758053 (ERC StG QUNNECT) and the EU’s Horizon 2020 research and innovation programme under grant agreement number 862644 (FET Open QUARTET). S.B. acknowledges support from the Marie Skłodowska Curie\r\nfellowship number 707438 (MSC-IF SUPEREOM), DV acknowledge support from EU’s Horizon 2020 research and innovation programme under grant agreement number 732894 (FET Proactive HOT) and the Project QuaSeRT funded by the QuantERA ERANET Cofund in Quantum Technologies, and J.M.F from the Austrian Science Fund (FWF) through BeyondC (F71), a NOMIS foundation research grant, and the EU’s Horizon 2020 research and\r\ninnovation programme under grant agreement number 732894 (FET Proactive\r\nHOT).","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1908.03058"}],"author":[{"id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","last_name":"Barzanjeh","orcid":"0000-0003-0415-1423","full_name":"Barzanjeh, Shabir","first_name":"Shabir"},{"last_name":"Pirandola","full_name":"Pirandola, Stefano","first_name":"Stefano"},{"last_name":"Vitali","full_name":"Vitali, David","first_name":"David"},{"orcid":"0000-0001-8112-028X","first_name":"Johannes M","full_name":"Fink, Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","last_name":"Fink"}],"issue":"9","publication_identifier":{"issn":["1097-5659"],"isbn":["9781728189420"]},"intvolume":"      2020","type":"conference","department":[{"_id":"JoFi"}],"publisher":"IEEE","date_created":"2021-01-10T23:01:17Z","citation":{"mla":"Barzanjeh, Shabir, et al. “Microwave Quantum Illumination with a Digital Phase-Conjugated Receiver.” <i>IEEE National Radar Conference - Proceedings</i>, vol. 2020, no. 9, 9266397, IEEE, 2020, doi:<a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">10.1109/RadarConf2043947.2020.9266397</a>.","chicago":"Barzanjeh, Shabir, Stefano Pirandola, David Vitali, and Johannes M Fink. “Microwave Quantum Illumination with a Digital Phase-Conjugated Receiver.” In <i>IEEE National Radar Conference - Proceedings</i>, Vol. 2020. IEEE, 2020. <a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">https://doi.org/10.1109/RadarConf2043947.2020.9266397</a>.","short":"S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, in:, IEEE National Radar Conference - Proceedings, IEEE, 2020.","ieee":"S. Barzanjeh, S. Pirandola, D. Vitali, and J. M. Fink, “Microwave quantum illumination with a digital phase-conjugated receiver,” in <i>IEEE National Radar Conference - Proceedings</i>, Florence, Italy, 2020, vol. 2020, no. 9.","ama":"Barzanjeh S, Pirandola S, Vitali D, Fink JM. Microwave quantum illumination with a digital phase-conjugated receiver. In: <i>IEEE National Radar Conference - Proceedings</i>. Vol 2020. IEEE; 2020. doi:<a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">10.1109/RadarConf2043947.2020.9266397</a>","apa":"Barzanjeh, S., Pirandola, S., Vitali, D., &#38; Fink, J. M. (2020). Microwave quantum illumination with a digital phase-conjugated receiver. In <i>IEEE National Radar Conference - Proceedings</i> (Vol. 2020). Florence, Italy: IEEE. <a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">https://doi.org/10.1109/RadarConf2043947.2020.9266397</a>","ista":"Barzanjeh S, Pirandola S, Vitali D, Fink JM. 2020. Microwave quantum illumination with a digital phase-conjugated receiver. IEEE National Radar Conference - Proceedings. RadarConf: National Conference on Radar vol. 2020, 9266397."},"publication_status":"published","ec_funded":1,"title":"Microwave quantum illumination with a digital phase-conjugated receiver","_id":"9001","date_published":"2020-09-21T00:00:00Z"},{"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"07","status":"public","language":[{"iso":"eng"}],"year":"2020","article_processing_charge":"No","month":"12","external_id":{"arxiv":["1906.08463"],"isi":["000596833300001"]},"quality_controlled":"1","scopus_import":"1","oa_version":"Preprint","volume":95,"oa":1,"isi":1,"arxiv":1,"publication":"Commentarii Mathematici Helvetici","doi":"10.4171/CMH/499","publication_identifier":{"eissn":["14208946"],"issn":["00102571"]},"intvolume":"        95","type":"journal_article","date_updated":"2023-08-24T11:11:36Z","article_type":"original","abstract":[{"lang":"eng","text":"Motivated by a recent question of Peyre, we apply the Hardy–Littlewood circle method to count “sufficiently free” rational points of bounded height on arbitrary smooth projective hypersurfaces of low degree that are defined over the rationals."}],"page":"635-659","issue":"4","author":[{"last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87","first_name":"Timothy D","full_name":"Browning, Timothy D","orcid":"0000-0002-8314-0177"},{"last_name":"Sawin","full_name":"Sawin, Will","first_name":"Will"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1906.08463"}],"date_created":"2021-01-17T23:01:11Z","citation":{"ista":"Browning TD, Sawin W. 2020. Free rational points on smooth hypersurfaces. Commentarii Mathematici Helvetici. 95(4), 635–659.","short":"T.D. Browning, W. Sawin, Commentarii Mathematici Helvetici 95 (2020) 635–659.","chicago":"Browning, Timothy D, and Will Sawin. “Free Rational Points on Smooth Hypersurfaces.” <i>Commentarii Mathematici Helvetici</i>. European Mathematical Society, 2020. <a href=\"https://doi.org/10.4171/CMH/499\">https://doi.org/10.4171/CMH/499</a>.","mla":"Browning, Timothy D., and Will Sawin. “Free Rational Points on Smooth Hypersurfaces.” <i>Commentarii Mathematici Helvetici</i>, vol. 95, no. 4, European Mathematical Society, 2020, pp. 635–59, doi:<a href=\"https://doi.org/10.4171/CMH/499\">10.4171/CMH/499</a>.","apa":"Browning, T. D., &#38; Sawin, W. (2020). Free rational points on smooth hypersurfaces. <i>Commentarii Mathematici Helvetici</i>. European Mathematical Society. <a href=\"https://doi.org/10.4171/CMH/499\">https://doi.org/10.4171/CMH/499</a>","ieee":"T. D. Browning and W. Sawin, “Free rational points on smooth hypersurfaces,” <i>Commentarii Mathematici Helvetici</i>, vol. 95, no. 4. European Mathematical Society, pp. 635–659, 2020.","ama":"Browning TD, Sawin W. Free rational points on smooth hypersurfaces. <i>Commentarii Mathematici Helvetici</i>. 2020;95(4):635-659. doi:<a href=\"https://doi.org/10.4171/CMH/499\">10.4171/CMH/499</a>"},"publication_status":"published","date_published":"2020-12-07T00:00:00Z","_id":"9007","title":"Free rational points on smooth hypersurfaces","department":[{"_id":"TiBr"}],"publisher":"European Mathematical Society"},{"acknowledgement":"We thank Nicolas Gailly, Vincent Graf, Jean-Pierre Hubaux, Wouter Lueks, Massimo Marelli, Carmela Troncoso, Juan-Ramón Troncoso Pastoriza, Frédéric Pont, and Sandra Siby for their valuable feedback. This project was supported in part by the ETH domain under PHRT grant #2017−201, and by the AXA Research Fund, Byzgen, DFINITY, and the Swiss Data Science Center (SDSC).","main_file_link":[{"url":"https://dl.acm.org/doi/10.14778/3436905.3436917","open_access":"1"}],"author":[{"last_name":"Kokoris Kogias","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","full_name":"Kokoris Kogias, Eleftherios","first_name":"Eleftherios"},{"last_name":"Alp","first_name":"Enis Ceyhun","full_name":"Alp, Enis Ceyhun"},{"last_name":"Gasser","first_name":"Linus","full_name":"Gasser, Linus"},{"full_name":"Jovanovic, Philipp","first_name":"Philipp","last_name":"Jovanovic"},{"first_name":"Ewa","full_name":"Syta, Ewa","last_name":"Syta"},{"first_name":"Bryan","full_name":"Ford, Bryan","last_name":"Ford"}],"issue":"4","page":"586-599","abstract":[{"text":"Distributed ledgers provide high availability and integrity, making them a key enabler for practical and secure computation of distributed workloads among mutually distrustful parties. Many practical applications also require strong confidentiality, however. This work enhances permissioned and permissionless blockchains with the ability to manage confidential data without forfeiting availability or decentralization. The proposed Calypso architecture addresses two orthogonal challenges confronting modern distributed ledgers: (a) enabling the auditable management of secrets and (b) protecting distributed computations against arbitrage attacks when their results depend on the ordering and secrecy of inputs.\r\n\r\nCalypso introduces on-chain secrets, a novel abstraction that enforces atomic deposition of an auditable trace whenever users access confidential data. Calypso provides user-controlled consent management that ensures revocation atomicity and accountable anonymity. To enable permissionless deployment, we introduce an incentive scheme and provide users with the option to select their preferred trustees. We evaluated our Calypso prototype with a confidential document-sharing application and a decentralized lottery. Our benchmarks show that transaction-processing latency increases linearly in terms of security (number of trustees) and is in the range of 0.2 to 8 seconds for 16 to 128 trustees.","lang":"eng"}],"article_type":"original","date_updated":"2023-08-24T13:57:13Z","type":"journal_article","intvolume":"        14","publication_identifier":{"eissn":["2150-8097"]},"department":[{"_id":"ElKo"}],"publisher":"Association for Computing Machinery","tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"title":"CALYPSO: Private data management for decentralized ledgers","date_published":"2020-12-01T00:00:00Z","_id":"9011","date_created":"2021-01-17T23:01:13Z","publication_status":"published","citation":{"mla":"Kokoris Kogias, Eleftherios, et al. “CALYPSO: Private Data Management for Decentralized Ledgers.” <i>Proceedings of the VLDB Endowment</i>, vol. 14, no. 4, Association for Computing Machinery, 2020, pp. 586–99, doi:<a href=\"https://doi.org/10.14778/3436905.3436917\">10.14778/3436905.3436917</a>.","chicago":"Kokoris Kogias, Eleftherios, Enis Ceyhun Alp, Linus Gasser, Philipp Jovanovic, Ewa Syta, and Bryan Ford. “CALYPSO: Private Data Management for Decentralized Ledgers.” <i>Proceedings of the VLDB Endowment</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.14778/3436905.3436917\">https://doi.org/10.14778/3436905.3436917</a>.","short":"E. Kokoris Kogias, E.C. Alp, L. Gasser, P. Jovanovic, E. Syta, B. Ford, Proceedings of the VLDB Endowment 14 (2020) 586–599.","ama":"Kokoris Kogias E, Alp EC, Gasser L, Jovanovic P, Syta E, Ford B. CALYPSO: Private data management for decentralized ledgers. <i>Proceedings of the VLDB Endowment</i>. 2020;14(4):586-599. doi:<a href=\"https://doi.org/10.14778/3436905.3436917\">10.14778/3436905.3436917</a>","ieee":"E. Kokoris Kogias, E. C. Alp, L. Gasser, P. Jovanovic, E. Syta, and B. Ford, “CALYPSO: Private data management for decentralized ledgers,” <i>Proceedings of the VLDB Endowment</i>, vol. 14, no. 4. Association for Computing Machinery, pp. 586–599, 2020.","apa":"Kokoris Kogias, E., Alp, E. C., Gasser, L., Jovanovic, P., Syta, E., &#38; Ford, B. (2020). CALYPSO: Private data management for decentralized ledgers. <i>Proceedings of the VLDB Endowment</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.14778/3436905.3436917\">https://doi.org/10.14778/3436905.3436917</a>","ista":"Kokoris Kogias E, Alp EC, Gasser L, Jovanovic P, Syta E, Ford B. 2020. CALYPSO: Private data management for decentralized ledgers. Proceedings of the VLDB Endowment. 14(4), 586–599."},"oa_version":"Published Version","scopus_import":"1","quality_controlled":"1","external_id":{"isi":["000658495400012"]},"month":"12","status":"public","language":[{"iso":"eng"}],"year":"2020","article_processing_charge":"No","day":"01","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.14778/3436905.3436917","publication":"Proceedings of the VLDB Endowment","isi":1,"volume":14,"oa":1},{"volume":52,"oa":1,"project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","call_identifier":"H2020","grant_number":"665385"}],"doi":"10.1137/20M1322182","publication":"SIAM Journal on Mathematical Analysis","isi":1,"month":"12","language":[{"iso":"eng"}],"status":"public","year":"2020","article_processing_charge":"No","day":"15","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa_version":"Published Version","scopus_import":"1","quality_controlled":"1","has_accepted_license":"1","external_id":{"isi":["000600695200027"]},"title":"Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies","ec_funded":1,"_id":"9039","date_published":"2020-12-15T00:00:00Z","date_created":"2021-01-24T23:01:09Z","citation":{"ista":"Fischer JL, Laux T, Simon TM. 2020. Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis. 52(6), 6222–6233.","apa":"Fischer, J. L., Laux, T., &#38; Simon, T. M. (2020). Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/20M1322182\">https://doi.org/10.1137/20M1322182</a>","ama":"Fischer JL, Laux T, Simon TM. Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. <i>SIAM Journal on Mathematical Analysis</i>. 2020;52(6):6222-6233. doi:<a href=\"https://doi.org/10.1137/20M1322182\">10.1137/20M1322182</a>","ieee":"J. L. Fischer, T. Laux, and T. M. Simon, “Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies,” <i>SIAM Journal on Mathematical Analysis</i>, vol. 52, no. 6. Society for Industrial and Applied Mathematics, pp. 6222–6233, 2020.","short":"J.L. Fischer, T. Laux, T.M. Simon, SIAM Journal on Mathematical Analysis 52 (2020) 6222–6233.","mla":"Fischer, Julian L., et al. “Convergence Rates of the Allen-Cahn Equation to Mean Curvature Flow: A Short Proof Based on Relative Entropies.” <i>SIAM Journal on Mathematical Analysis</i>, vol. 52, no. 6, Society for Industrial and Applied Mathematics, 2020, pp. 6222–33, doi:<a href=\"https://doi.org/10.1137/20M1322182\">10.1137/20M1322182</a>.","chicago":"Fischer, Julian L, Tim Laux, and Theresa M. Simon. “Convergence Rates of the Allen-Cahn Equation to Mean Curvature Flow: A Short Proof Based on Relative Entropies.” <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics, 2020. <a href=\"https://doi.org/10.1137/20M1322182\">https://doi.org/10.1137/20M1322182</a>."},"publication_status":"published","department":[{"_id":"JuFi"}],"publisher":"Society for Industrial and Applied Mathematics","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"file":[{"date_updated":"2021-01-25T07:48:39Z","checksum":"21aa1cf4c30a86a00cae15a984819b5d","access_level":"open_access","relation":"main_file","file_size":310655,"success":1,"file_id":"9041","creator":"dernst","file_name":"2020_SIAM_Fischer.pdf","date_created":"2021-01-25T07:48:39Z","content_type":"application/pdf"}],"intvolume":"        52","type":"journal_article","ddc":["510"],"publication_identifier":{"eissn":["10957154"],"issn":["00361410"]},"author":[{"orcid":"0000-0002-0479-558X","full_name":"Fischer, Julian L","first_name":"Julian L","last_name":"Fischer","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Laux","full_name":"Laux, Tim","first_name":"Tim"},{"full_name":"Simon, Theresa M.","first_name":"Theresa M.","last_name":"Simon"}],"acknowledgement":"This work was supported by the European Union's Horizon 2020 Research and Innovation\r\nProgramme under Marie Sklodowska-Curie grant agreement 665385 and by the Deutsche\r\nForschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy, EXC-2047/1--390685813.","file_date_updated":"2021-01-25T07:48:39Z","issue":"6","page":"6222-6233","abstract":[{"lang":"eng","text":"We give a short and self-contained proof for rates of convergence of the Allen--Cahn equation towards mean curvature flow, assuming that a classical (smooth) solution to the latter exists and starting from well-prepared initial data. Our approach is based on a relative entropy technique. In particular, it does not require a stability analysis for the linearized Allen--Cahn operator. As our analysis also does not rely on the comparison principle, we expect it to be applicable to more complex equations and systems."}],"article_type":"original","date_updated":"2023-08-24T11:15:16Z"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"21","year":"2020","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","month":"09","has_accepted_license":"1","quality_controlled":"1","scopus_import":"1","oa_version":"Published Version","oa":1,"publication":"Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design","project":[{"grant_number":"Z211","call_identifier":"FWF","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"doi":"10.34727/2020/isbn.978-3-85448-042-6_21","publication_identifier":{"isbn":["9783854480426"],"eissn":["2708-7824"]},"ddc":["000"],"type":"conference","date_updated":"2021-02-09T09:39:59Z","abstract":[{"text":"Machine learning and formal methods have complimentary benefits and drawbacks. In this work, we address the controller-design problem with a combination of techniques from both fields. The use of black-box neural networks in deep reinforcement learning (deep RL) poses a challenge for such a combination. Instead of reasoning formally about the output of deep RL, which we call the wizard, we extract from it a decision-tree based model, which we refer to as the magic book. Using the extracted model as an intermediary, we are able to handle problems that are infeasible for either deep RL or formal methods by themselves. First, we suggest, for the first time, a synthesis procedure that is based on a magic book. We synthesize a stand-alone correct-by-design controller that enjoys the favorable performance of RL. Second, we incorporate a magic book in a bounded model checking (BMC) procedure. BMC allows us to find numerous traces of the plant under the control of the wizard, which a user can use to increase the trustworthiness of the wizard and direct further training.","lang":"eng"}],"page":"138-147","conference":{"name":" FMCAD: Formal Methods in Computer-Aided Design","location":"Online Conference","start_date":"2020-09-21","end_date":"2020-09-24"},"file_date_updated":"2021-02-09T09:39:02Z","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","author":[{"first_name":"Par Alizadeh","full_name":"Alamdari, Par Alizadeh","last_name":"Alamdari"},{"id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","last_name":"Avni","first_name":"Guy","full_name":"Avni, Guy","orcid":"0000-0001-5588-8287"},{"orcid":"0000-0002-2985-7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"last_name":"Lukina","id":"CBA4D1A8-0FE8-11E9-BDE6-07BFE5697425","first_name":"Anna","full_name":"Lukina, Anna"}],"date_created":"2021-01-24T23:01:10Z","publication_status":"published","citation":{"ieee":"P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with a touch of magic,” in <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>, Online Conference, 2020, pp. 138–147.","ama":"Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of magic. In: <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>. TU Wien Academic Press; 2020:138-147. doi:<a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">10.34727/2020/isbn.978-3-85448-042-6_21</a>","apa":"Alamdari, P. A., Avni, G., Henzinger, T. A., &#38; Lukina, A. (2020). Formal methods with a touch of magic. In <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i> (pp. 138–147). Online Conference: TU Wien Academic Press. <a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21</a>","chicago":"Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.” In <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>, 138–47. TU Wien Academic Press, 2020. <a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21</a>.","mla":"Alamdari, Par Alizadeh, et al. “Formal Methods with a Touch of Magic.” <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>, TU Wien Academic Press, 2020, pp. 138–47, doi:<a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">10.34727/2020/isbn.978-3-85448-042-6_21</a>.","short":"P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.","ista":"Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design.  FMCAD: Formal Methods in Computer-Aided Design, 138–147."},"_id":"9040","date_published":"2020-09-21T00:00:00Z","title":"Formal methods with a touch of magic","file":[{"file_id":"9109","success":1,"file_size":990999,"creator":"dernst","checksum":"d616d549a0ade78606b16f8a9540820f","date_updated":"2021-02-09T09:39:02Z","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_name":"2020_FMCAD_Alamdari.pdf","date_created":"2021-02-09T09:39:02Z"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"department":[{"_id":"ToHe"}],"publisher":"TU Wien Academic Press"},{"intvolume":"        10","type":"journal_article","publication_identifier":{"issn":["2046-2069"]},"issue":"47","author":[{"last_name":"Nauman","id":"32c21954-2022-11eb-9d5f-af9f93c24e71","first_name":"Muhammad","full_name":"Nauman, Muhammad","orcid":"0000-0002-2111-4846"},{"last_name":"Alnasir","first_name":"Muhammad Hisham","full_name":"Alnasir, Muhammad Hisham"},{"last_name":"Hamayun","first_name":"Muhammad Asif","full_name":"Hamayun, Muhammad Asif"},{"last_name":"Wang","first_name":"YiXu","full_name":"Wang, YiXu"},{"last_name":"Shatruk","full_name":"Shatruk, Michael","first_name":"Michael"},{"first_name":"Sadia","full_name":"Manzoor, Sadia","last_name":"Manzoor"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1039/d0ra05394e"}],"date_updated":"2021-02-04T07:16:37Z","page":"28383-28389","abstract":[{"text":"Gadolinium silicide (Gd5Si4) nanoparticles are an interesting class of materials due to their high magnetization, low Curie temperature, low toxicity in biological environments and their multifunctional properties. We report the magnetic and magnetothermal properties of gadolinium silicide (Gd5Si4) nanoparticles prepared by surfactant-assisted ball milling of arc melted bulk ingots of the compound. Using different milling times and speeds, a wide range of crystallite sizes (13–43 nm) could be produced and a reduction in Curie temperature (TC) from 340 K to 317 K was achieved, making these nanoparticles suitable for self-controlled magnetic hyperthermia applications. The magnetothermal effect was measured in applied AC magnetic fields of amplitude 164–239 Oe and frequencies 163–519 kHz. All particles showed magnetic heating with a strong dependence of the specific absorption rate (SAR) on the average crystallite size. The highest SAR of 3.7 W g−1 was measured for 43 nm sized nanoparticles of Gd5Si4. The high SAR and low TC, (within the therapeutic range for magnetothermal therapy) makes the Gd5Si4 behave like self-regulating heat switches that would be suitable for self-controlled magnetic hyperthermia applications after biocompatibility and cytotoxicity tests.","lang":"eng"}],"article_type":"original","_id":"9067","extern":"1","date_published":"2020-07-29T00:00:00Z","title":"Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles","date_created":"2021-02-02T15:51:23Z","citation":{"ama":"Nauman M, Alnasir MH, Hamayun MA, Wang Y, Shatruk M, Manzoor S. Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles. <i>RSC Advances</i>. 2020;10(47):28383-28389. doi:<a href=\"https://doi.org/10.1039/d0ra05394e\">10.1039/d0ra05394e</a>","ieee":"M. Nauman, M. H. Alnasir, M. A. Hamayun, Y. Wang, M. Shatruk, and S. Manzoor, “Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles,” <i>RSC Advances</i>, vol. 10, no. 47. Royal Society of Chemistry, pp. 28383–28389, 2020.","apa":"Nauman, M., Alnasir, M. H., Hamayun, M. A., Wang, Y., Shatruk, M., &#38; Manzoor, S. (2020). Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles. <i>RSC Advances</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/d0ra05394e\">https://doi.org/10.1039/d0ra05394e</a>","chicago":"Nauman, Muhammad, Muhammad Hisham Alnasir, Muhammad Asif Hamayun, YiXu Wang, Michael Shatruk, and Sadia Manzoor. “Size-Dependent Magnetic and Magnetothermal Properties of Gadolinium Silicide Nanoparticles.” <i>RSC Advances</i>. Royal Society of Chemistry, 2020. <a href=\"https://doi.org/10.1039/d0ra05394e\">https://doi.org/10.1039/d0ra05394e</a>.","mla":"Nauman, Muhammad, et al. “Size-Dependent Magnetic and Magnetothermal Properties of Gadolinium Silicide Nanoparticles.” <i>RSC Advances</i>, vol. 10, no. 47, Royal Society of Chemistry, 2020, pp. 28383–89, doi:<a href=\"https://doi.org/10.1039/d0ra05394e\">10.1039/d0ra05394e</a>.","short":"M. Nauman, M.H. Alnasir, M.A. Hamayun, Y. Wang, M. Shatruk, S. Manzoor, RSC Advances 10 (2020) 28383–28389.","ista":"Nauman M, Alnasir MH, Hamayun MA, Wang Y, Shatruk M, Manzoor S. 2020. Size-dependent magnetic and magnetothermal properties of gadolinium silicide nanoparticles. RSC Advances. 10(47), 28383–28389."},"publication_status":"published","publisher":"Royal Society of Chemistry","year":"2020","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","month":"07","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"29","oa_version":"Published Version","quality_controlled":"1","volume":10,"oa":1,"keyword":["General Chemistry","General Chemical Engineering"],"doi":"10.1039/d0ra05394e","publication":"RSC Advances"},{"publication":"Proceedings of the 59th IEEE Conference on Decision and Control","arxiv":1,"doi":"10.1109/CDC42340.2020.9304042","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF","grant_number":"Z211"}],"oa":1,"volume":2020,"quality_controlled":"1","external_id":{"arxiv":["2012.07458"]},"oa_version":"Preprint","scopus_import":"1","day":"14","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","article_processing_charge":"No","status":"public","language":[{"iso":"eng"}],"year":"2020","publisher":"IEEE","department":[{"_id":"ToHe"}],"publication_status":"published","citation":{"ieee":"S. Gruenbacher, J. Cyranka, M. Lechner, M. A. Islam, S. A. Smolka, and R. Grosu, “Lagrangian reachtubes: The next generation,” in <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>, Jeju Islang, Korea (South), 2020, vol. 2020, pp. 1556–1563.","ama":"Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. Lagrangian reachtubes: The next generation. In: <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>. Vol 2020. IEEE; 2020:1556-1563. doi:<a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">10.1109/CDC42340.2020.9304042</a>","apa":"Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., &#38; Grosu, R. (2020). Lagrangian reachtubes: The next generation. In <i>Proceedings of the 59th IEEE Conference on Decision and Control</i> (Vol. 2020, pp. 1556–1563). Jeju Islang, Korea (South): IEEE. <a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">https://doi.org/10.1109/CDC42340.2020.9304042</a>","chicago":"Gruenbacher, Sophie, Jacek Cyranka, Mathias Lechner, Md Ariful Islam, Scott A. Smolka, and Radu Grosu. “Lagrangian Reachtubes: The next Generation.” In <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>, 2020:1556–63. IEEE, 2020. <a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">https://doi.org/10.1109/CDC42340.2020.9304042</a>.","mla":"Gruenbacher, Sophie, et al. “Lagrangian Reachtubes: The next Generation.” <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>, vol. 2020, IEEE, 2020, pp. 1556–63, doi:<a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">10.1109/CDC42340.2020.9304042</a>.","short":"S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.","ista":"Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. 2020. Lagrangian reachtubes: The next generation. Proceedings of the 59th IEEE Conference on Decision and Control. CDC: Conference on Decision and Control vol. 2020, 1556–1563."},"date_created":"2021-02-07T23:01:14Z","title":"Lagrangian reachtubes: The next generation","_id":"9103","date_published":"2020-12-14T00:00:00Z","conference":{"location":"Jeju Islang, Korea (South)","name":"CDC: Conference on Decision and Control","start_date":"2020-12-14","end_date":"2020-12-18"},"abstract":[{"text":"We introduce LRT-NG, a set of techniques and an associated toolset that computes a reachtube (an over-approximation of the set of reachable states over a given time horizon) of a nonlinear dynamical system. LRT-NG significantly advances the state-of-the-art Langrangian Reachability and its associated tool LRT. From a theoretical perspective, LRT-NG is superior to LRT in three ways. First, it uses for the first time an analytically computed metric for the propagated ball which is proven to minimize the ball’s volume. We emphasize that the metric computation is the centerpiece of all bloating-based techniques. Secondly, it computes the next reachset as the intersection of two balls: one based on the Cartesian metric and the other on the new metric. While the two metrics were previously considered opposing approaches, their joint use considerably tightens the reachtubes. Thirdly, it avoids the \"wrapping effect\" associated with the validated integration of the center of the reachset, by optimally absorbing the interval approximation in the radius of the next ball. From a tool-development perspective, LRT-NG is superior to LRT in two ways. First, it is a standalone tool that no longer relies on CAPD. This required the implementation of the Lohner method and a Runge-Kutta time-propagation method. Secondly, it has an improved interface, allowing the input model and initial conditions to be provided as external input files. Our experiments on a comprehensive set of benchmarks, including two Neural ODEs, demonstrates LRT-NG’s superior performance compared to LRT, CAPD, and Flow*.","lang":"eng"}],"page":"1556-1563","date_updated":"2021-02-09T09:20:58Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2012.07458"}],"acknowledgement":"The authors would like to thank Ramin Hasani and Guillaume Berger for intellectual discussions about the research which lead to the generation of new ideas. ML was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). Smolka’s research was supported by NSF grants CPS-1446832 and CCF-1918225. Gruenbacher is funded by FWF project W1255-N23. JC was partially supported by NAWA Polish Returns grant\r\nPPN/PPO/2018/1/00029.\r\n","author":[{"full_name":"Gruenbacher, Sophie","first_name":"Sophie","last_name":"Gruenbacher"},{"last_name":"Cyranka","first_name":"Jacek","full_name":"Cyranka, Jacek"},{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","last_name":"Lechner","first_name":"Mathias","full_name":"Lechner, Mathias"},{"first_name":"Md Ariful","full_name":"Islam, Md Ariful","last_name":"Islam"},{"last_name":"Smolka","first_name":"Scott A.","full_name":"Smolka, Scott A."},{"first_name":"Radu","full_name":"Grosu, Radu","last_name":"Grosu"}],"publication_identifier":{"issn":["07431546"],"isbn":["9781728174471"]},"intvolume":"      2020","type":"conference"},{"ec_funded":1,"title":"On the support of the free additive convolution","_id":"9104","date_published":"2020-11-01T00:00:00Z","publication_status":"published","citation":{"ista":"Bao Z, Erdös L, Schnelli K. 2020. On the support of the free additive convolution. Journal d’Analyse Mathematique. 142, 323–348.","short":"Z. Bao, L. Erdös, K. Schnelli, Journal d’Analyse Mathematique 142 (2020) 323–348.","chicago":"Bao, Zhigang, László Erdös, and Kevin Schnelli. “On the Support of the Free Additive Convolution.” <i>Journal d’Analyse Mathematique</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/s11854-020-0135-2\">https://doi.org/10.1007/s11854-020-0135-2</a>.","mla":"Bao, Zhigang, et al. “On the Support of the Free Additive Convolution.” <i>Journal d’Analyse Mathematique</i>, vol. 142, Springer Nature, 2020, pp. 323–48, doi:<a href=\"https://doi.org/10.1007/s11854-020-0135-2\">10.1007/s11854-020-0135-2</a>.","apa":"Bao, Z., Erdös, L., &#38; Schnelli, K. (2020). On the support of the free additive convolution. <i>Journal d’Analyse Mathematique</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s11854-020-0135-2\">https://doi.org/10.1007/s11854-020-0135-2</a>","ieee":"Z. Bao, L. Erdös, and K. Schnelli, “On the support of the free additive convolution,” <i>Journal d’Analyse Mathematique</i>, vol. 142. Springer Nature, pp. 323–348, 2020.","ama":"Bao Z, Erdös L, Schnelli K. On the support of the free additive convolution. <i>Journal d’Analyse Mathematique</i>. 2020;142:323-348. doi:<a href=\"https://doi.org/10.1007/s11854-020-0135-2\">10.1007/s11854-020-0135-2</a>"},"date_created":"2021-02-07T23:01:15Z","publisher":"Springer Nature","department":[{"_id":"LaEr"}],"intvolume":"       142","type":"journal_article","publication_identifier":{"eissn":["15658538"],"issn":["00217670"]},"acknowledgement":"Supported in part by Hong Kong RGC Grant ECS 26301517.\r\nSupported in part by ERC Advanced Grant RANMAT No. 338804.\r\nSupported in part by the Knut and Alice Wallenberg Foundation and the Swedish Research Council Grant VR-2017-05195.","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1804.11199"}],"author":[{"last_name":"Bao","id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3036-1475","full_name":"Bao, Zhigang","first_name":"Zhigang"},{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","orcid":"0000-0001-5366-9603","first_name":"László","full_name":"Erdös, László"},{"id":"434AD0AE-F248-11E8-B48F-1D18A9856A87","last_name":"Schnelli","orcid":"0000-0003-0954-3231","first_name":"Kevin","full_name":"Schnelli, Kevin"}],"abstract":[{"text":"We consider the free additive convolution of two probability measures μ and ν on the real line and show that μ ⊞ v is supported on a single interval if μ and ν each has single interval support. Moreover, the density of μ ⊞ ν is proven to vanish as a square root near the edges of its support if both μ and ν have power law behavior with exponents between −1 and 1 near their edges. In particular, these results show the ubiquity of the conditions in our recent work on optimal local law at the spectral edges for addition of random matrices [5].","lang":"eng"}],"article_type":"original","page":"323-348","date_updated":"2023-08-24T11:16:03Z","oa":1,"volume":142,"doi":"10.1007/s11854-020-0135-2","project":[{"call_identifier":"FP7","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","name":"Random matrices, universality and disordered quantum systems"}],"publication":"Journal d'Analyse Mathematique","arxiv":1,"isi":1,"month":"11","article_processing_charge":"No","language":[{"iso":"eng"}],"status":"public","year":"2020","day":"01","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa_version":"Preprint","scopus_import":"1","quality_controlled":"1","external_id":{"arxiv":["1804.11199"],"isi":["000611879400008"]}}]