[{"arxiv":1,"oa":1,"quality_controlled":"1","department":[{"_id":"ChLa"}],"day":"07","status":"public","date_created":"2020-07-31T16:59:19Z","page":"3106–3117","publisher":"Curran Associates","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","_id":"8188","abstract":[{"text":"A natural approach to generative modeling of videos is to represent them as a composition of moving objects. Recent works model a set of 2D sprites over a slowly-varying background, but without considering the underlying 3D scene that\r\ngives rise to them. We instead propose to model a video as the view seen while moving through a scene with multiple 3D objects and a 3D background. Our model is trained from monocular videos without any supervision, yet learns to\r\ngenerate coherent 3D scenes containing several moving objects. We conduct detailed experiments on two datasets, going beyond the visual complexity supported by state-of-the-art generative approaches. We evaluate our method on\r\ndepth-prediction and 3D object detection---tasks which cannot be addressed by those earlier works---and show it out-performs them even on 2D instance segmentation and tracking.","lang":"eng"}],"volume":33,"publication_identifier":{"isbn":["9781713829546"]},"author":[{"full_name":"Henderson, Paul M","id":"13C09E74-18D9-11E9-8878-32CFE5697425","orcid":"0000-0002-5198-7445","last_name":"Henderson","first_name":"Paul M"},{"first_name":"Christoph","last_name":"Lampert","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph"}],"external_id":{"arxiv":["2007.06705"]},"intvolume":"        33","main_file_link":[{"url":"https://arxiv.org/abs/2007.06705","open_access":"1"}],"title":"Unsupervised object-centric video generation and decomposition in 3D","acknowledgement":"This research was supported by the Scientific Service Units (SSU) of IST Austria through resources\r\nprovided by Scientific Computing (SciComp). PH is employed part-time by Blackford Analysis, but\r\nthey did not support this project in any way.","language":[{"iso":"eng"}],"year":"2020","acknowledged_ssus":[{"_id":"ScienComp"}],"article_processing_charge":"No","publication":"34th Conference on Neural Information Processing Systems","date_published":"2020-07-07T00:00:00Z","month":"07","date_updated":"2023-04-25T09:49:58Z","citation":{"mla":"Henderson, Paul M., and Christoph Lampert. “Unsupervised Object-Centric Video Generation and Decomposition in 3D.” <i>34th Conference on Neural Information Processing Systems</i>, vol. 33, Curran Associates, 2020, pp. 3106–3117.","ieee":"P. M. Henderson and C. Lampert, “Unsupervised object-centric video generation and decomposition in 3D,” in <i>34th Conference on Neural Information Processing Systems</i>, Vancouver, Canada, 2020, vol. 33, pp. 3106–3117.","ama":"Henderson PM, Lampert C. Unsupervised object-centric video generation and decomposition in 3D. In: <i>34th Conference on Neural Information Processing Systems</i>. Vol 33. Curran Associates; 2020:3106–3117.","chicago":"Henderson, Paul M, and Christoph Lampert. “Unsupervised Object-Centric Video Generation and Decomposition in 3D.” In <i>34th Conference on Neural Information Processing Systems</i>, 33:3106–3117. Curran Associates, 2020.","ista":"Henderson PM, Lampert C. 2020. Unsupervised object-centric video generation and decomposition in 3D. 34th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 33, 3106–3117.","short":"P.M. Henderson, C. Lampert, in:, 34th Conference on Neural Information Processing Systems, Curran Associates, 2020, pp. 3106–3117.","apa":"Henderson, P. M., &#38; Lampert, C. (2020). Unsupervised object-centric video generation and decomposition in 3D. In <i>34th Conference on Neural Information Processing Systems</i> (Vol. 33, pp. 3106–3117). Vancouver, Canada: Curran Associates."},"type":"conference","oa_version":"Preprint","conference":{"location":"Vancouver, Canada","start_date":"2020-12-06","name":"NeurIPS: Neural Information Processing Systems","end_date":"2020-12-12"}},{"article_type":"original","doi":"10.1016/j.nanoen.2020.105116","oa_version":"None","type":"journal_article","citation":{"apa":"Yu, X., Liu, J., Li, J., Luo, Z., Zuo, Y., Xing, C., … Cabot, A. (2020). Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. <i>Nano Energy</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.nanoen.2020.105116\">https://doi.org/10.1016/j.nanoen.2020.105116</a>","short":"X. Yu, J. Liu, J. Li, Z. Luo, Y. Zuo, C. Xing, J. Llorca, D. Nasiou, J. Arbiol, K. Pan, T. Kleinhanns, Y. Xie, A. Cabot, Nano Energy 77 (2020).","ista":"Yu X, Liu J, Li J, Luo Z, Zuo Y, Xing C, Llorca J, Nasiou D, Arbiol J, Pan K, Kleinhanns T, Xie Y, Cabot A. 2020. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. Nano Energy. 77(11), 105116.","chicago":"Yu, Xiaoting, Junfeng Liu, Junshan Li, Zhishan Luo, Yong Zuo, Congcong Xing, Jordi Llorca, et al. “Phosphorous Incorporation in Pd2Sn Alloys for Electrocatalytic Ethanol Oxidation.” <i>Nano Energy</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.nanoen.2020.105116\">https://doi.org/10.1016/j.nanoen.2020.105116</a>.","ama":"Yu X, Liu J, Li J, et al. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. <i>Nano Energy</i>. 2020;77(11). doi:<a href=\"https://doi.org/10.1016/j.nanoen.2020.105116\">10.1016/j.nanoen.2020.105116</a>","ieee":"X. Yu <i>et al.</i>, “Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation,” <i>Nano Energy</i>, vol. 77, no. 11. Elsevier, 2020.","mla":"Yu, Xiaoting, et al. “Phosphorous Incorporation in Pd2Sn Alloys for Electrocatalytic Ethanol Oxidation.” <i>Nano Energy</i>, vol. 77, no. 11, 105116, Elsevier, 2020, doi:<a href=\"https://doi.org/10.1016/j.nanoen.2020.105116\">10.1016/j.nanoen.2020.105116</a>."},"date_updated":"2023-08-22T08:24:05Z","article_number":"105116","date_published":"2020-11-01T00:00:00Z","month":"11","scopus_import":"1","publication":"Nano Energy","article_processing_charge":"No","year":"2020","language":[{"iso":"eng"}],"acknowledgement":"This work was supported by the European Regional Development Funds and by the Spanish Ministerio de Economía y Competitividad through the project SEHTOP, ENE2016- 77798-C4-3-R, and ENE2017-85087-C3. X. Y. thanks the China Scholarship Council for the scholarship support. J. Liu acknowledges support from the Jiangsu University Foundation (4111510011). J. Li obtained International Postdoctoral Exchange Fellowship Program (Talent-Introduction program) in 2019 and is grateful for the project (2019M663468) funded by the China Postdoctoral Science Foundation. Authors acknowledge funding from Generalitat de Catalunya 2017 SGR 327 and 2017 SGR 1246, and from IST Austria. ICN2 acknowledges the support from the Severo Ochoa Programme (MINECO, grant no. SEV-2017-0706) and is funded by the CERCA Programme/Generalitat de Catalunya. J. Llorca is a Serra Húnter Fellow and is grateful to MICINN/FEDER RTI2018-093996-B-C31, GC 2017 SGR 128 and to ICREA Academia program.","title":"Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation","intvolume":"        77","external_id":{"isi":["000581738300030"]},"author":[{"full_name":"Yu, Xiaoting","last_name":"Yu","first_name":"Xiaoting"},{"full_name":"Liu, Junfeng","first_name":"Junfeng","last_name":"Liu"},{"last_name":"Li","first_name":"Junshan","full_name":"Li, Junshan"},{"full_name":"Luo, Zhishan","last_name":"Luo","first_name":"Zhishan"},{"full_name":"Zuo, Yong","first_name":"Yong","last_name":"Zuo"},{"full_name":"Xing, Congcong","first_name":"Congcong","last_name":"Xing"},{"first_name":"Jordi","last_name":"Llorca","full_name":"Llorca, Jordi"},{"last_name":"Nasiou","first_name":"Déspina","full_name":"Nasiou, Déspina"},{"first_name":"Jordi","last_name":"Arbiol","full_name":"Arbiol, Jordi"},{"full_name":"Pan, Kai","last_name":"Pan","first_name":"Kai"},{"full_name":"Kleinhanns, Tobias","first_name":"Tobias","last_name":"Kleinhanns","id":"8BD9DE16-AB3C-11E9-9C8C-2A03E6697425"},{"first_name":"Ying","last_name":"Xie","full_name":"Xie, Ying"},{"full_name":"Cabot, Andreu","first_name":"Andreu","last_name":"Cabot"}],"publication_identifier":{"issn":["2211-2855"]},"volume":77,"abstract":[{"text":"Direct ethanol fuel cells (DEFCs) show a huge potential to power future electric vehicles and portable electronics, but their deployment is currently limited by the unavailability of proper electrocatalysis for the ethanol oxidation reaction (EOR). In this work, we engineer a new electrocatalyst by incorporating phosphorous into a palladium-tin alloy and demonstrate a significant performance improvement toward EOR. We first detail a synthetic method to produce Pd2Sn:P nanocrystals that incorporate 35% of phosphorus. These nanoparticles are supported on carbon black and tested for EOR. Pd2Sn:P/C catalysts exhibit mass current densities up to 5.03 A mgPd−1, well above those of Pd2Sn/C, PdP2/C and Pd/C reference catalysts. Furthermore, a twofold lower Tafel slope and a much longer durability are revealed for the Pd2Sn:P/C catalyst compared with Pd/C. The performance improvement is rationalized with the aid of density functional theory (DFT) calculations considering different phosphorous chemical environments. Depending on its oxidation state, surface phosphorus introduces sites with low energy OH− adsorption and/or strongly influences the electronic structure of palladium and tin to facilitate the oxidation of the acetyl to acetic acid, which is considered the EOR rate limiting step. DFT calculations also points out that the durability improvement of Pd2Sn:P/C catalyst is associated to the promotion of OH adsorption that accelerates the oxidation of intermediate poisoning COads, reactivating the catalyst surface.","lang":"eng"}],"_id":"8189","publication_status":"published","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publisher":"Elsevier","date_created":"2020-08-02T22:00:57Z","status":"public","day":"01","isi":1,"department":[{"_id":"MaIb"}],"quality_controlled":"1","issue":"11"},{"publication_identifier":{"eissn":["1540-8140"]},"volume":219,"author":[{"id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K","last_name":"Sixt","orcid":"0000-0002-6620-9179","full_name":"Sixt, Michael K"},{"last_name":"Huttenlocher","first_name":"Anna","full_name":"Huttenlocher, Anna"}],"external_id":{"isi":["000573631000004"]},"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"8190","date_created":"2020-08-02T22:00:57Z","status":"public","publisher":"Rockefeller University Press","file":[{"date_updated":"2021-02-02T23:30:03Z","creator":"dernst","content_type":"application/pdf","file_size":830725,"file_id":"8200","relation":"main_file","embargo":"2021-02-01","access_level":"open_access","file_name":"2020_JCB_Sixt.pdf","date_created":"2020-08-04T13:11:52Z","checksum":"30016d778d266b8e17d01094917873b8"}],"oa":1,"issue":"8","department":[{"_id":"MiSi"}],"day":"22","isi":1,"file_date_updated":"2021-02-02T23:30:03Z","oa_version":"Published Version","article_type":"letter_note","doi":"10.1083/jcb.202007029","scopus_import":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)"},"ddc":["570"],"month":"07","date_published":"2020-07-22T00:00:00Z","article_number":"e202007029","type":"journal_article","date_updated":"2023-10-17T10:04:49Z","citation":{"ama":"Sixt MK, Huttenlocher A. Zena Werb (1945-2020): Cell biology in context. <i>The Journal of Cell Biology</i>. 2020;219(8). doi:<a href=\"https://doi.org/10.1083/jcb.202007029\">10.1083/jcb.202007029</a>","ieee":"M. K. Sixt and A. Huttenlocher, “Zena Werb (1945-2020): Cell biology in context,” <i>The Journal of Cell Biology</i>, vol. 219, no. 8. Rockefeller University Press, 2020.","mla":"Sixt, Michael K., and Anna Huttenlocher. “Zena Werb (1945-2020): Cell Biology in Context.” <i>The Journal of Cell Biology</i>, vol. 219, no. 8, e202007029, Rockefeller University Press, 2020, doi:<a href=\"https://doi.org/10.1083/jcb.202007029\">10.1083/jcb.202007029</a>.","apa":"Sixt, M. K., &#38; Huttenlocher, A. (2020). Zena Werb (1945-2020): Cell biology in context. <i>The Journal of Cell Biology</i>. Rockefeller University Press. <a href=\"https://doi.org/10.1083/jcb.202007029\">https://doi.org/10.1083/jcb.202007029</a>","short":"M.K. Sixt, A. Huttenlocher, The Journal of Cell Biology 219 (2020).","ista":"Sixt MK, Huttenlocher A. 2020. Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. 219(8), e202007029.","chicago":"Sixt, Michael K, and Anna Huttenlocher. “Zena Werb (1945-2020): Cell Biology in Context.” <i>The Journal of Cell Biology</i>. Rockefeller University Press, 2020. <a href=\"https://doi.org/10.1083/jcb.202007029\">https://doi.org/10.1083/jcb.202007029</a>."},"has_accepted_license":"1","language":[{"iso":"eng"}],"year":"2020","article_processing_charge":"No","publication":"The Journal of Cell Biology","title":"Zena Werb (1945-2020): Cell biology in context","intvolume":"       219"},{"title":"Memory tagging: Minimalist synchronization for scalable concurrent data structures","quality_controlled":"1","issue":"7","isi":1,"day":"06","department":[{"_id":"DaAl"}],"status":"public","date_created":"2020-08-02T22:00:58Z","language":[{"iso":"eng"}],"year":"2020","page":"37-49","publisher":"Association for Computing Machinery","publication":"Annual ACM Symposium on Parallelism in Algorithms and Architectures","article_processing_charge":"No","month":"07","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2020-07-06T00:00:00Z","publication_status":"published","scopus_import":"1","citation":{"apa":"Alistarh, D.-A., Brown, T. A., &#38; Singhal, N. (2020). Memory tagging: Minimalist synchronization for scalable concurrent data structures. In <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i> (pp. 37–49). Virtual Event, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3350755.3400213\">https://doi.org/10.1145/3350755.3400213</a>","short":"D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2020, pp. 37–49.","ista":"Alistarh D-A, Brown TA, Singhal N. 2020. Memory tagging: Minimalist synchronization for scalable concurrent data structures. Annual ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 37–49.","chicago":"Alistarh, Dan-Adrian, Trevor A Brown, and Nandini Singhal. “Memory Tagging: Minimalist Synchronization for Scalable Concurrent Data Structures.” In <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, 37–49. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3350755.3400213\">https://doi.org/10.1145/3350755.3400213</a>.","ama":"Alistarh D-A, Brown TA, Singhal N. Memory tagging: Minimalist synchronization for scalable concurrent data structures. In: <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>. Association for Computing Machinery; 2020:37-49. doi:<a href=\"https://doi.org/10.1145/3350755.3400213\">10.1145/3350755.3400213</a>","ieee":"D.-A. Alistarh, T. A. Brown, and N. Singhal, “Memory tagging: Minimalist synchronization for scalable concurrent data structures,” in <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, Virtual Event, United States, 2020, no. 7, pp. 37–49.","mla":"Alistarh, Dan-Adrian, et al. “Memory Tagging: Minimalist Synchronization for Scalable Concurrent Data Structures.” <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, no. 7, Association for Computing Machinery, 2020, pp. 37–49, doi:<a href=\"https://doi.org/10.1145/3350755.3400213\">10.1145/3350755.3400213</a>."},"date_updated":"2024-02-28T12:56:32Z","abstract":[{"lang":"eng","text":"There has been a significant amount of research on hardware and software support for efficient concurrent data structures; yet, the question of how to build correct, simple, and scalable data structures has not yet been definitively settled. In this paper, we revisit this question from a minimalist perspective, and ask: what is the smallest amount of synchronization required for correct and efficient concurrent search data structures, and how could this minimal synchronization support be provided in hardware?\r\n\r\nTo address these questions, we introduce memory tagging, a simple hardware mechanism which enables the programmer to \"tag\" a dynamic set of memory locations, at cache-line granularity, and later validate whether the memory has been concurrently modified, with the possibility of updating one of the underlying locations atomically if validation succeeds. We provide several examples showing that this mechanism can enable fast and arguably simple concurrent data structure designs, such as lists, binary search trees, balanced search trees, range queries, and Software Transactional Memory (STM) implementations. We provide an implementation of memory tags in the Graphite multi-core simulator, showing that the mechanism can be implemented entirely at the level of L1 cache, and that it can enable non-trivial speedups versus existing implementations of the above data structures."}],"type":"conference","_id":"8191","oa_version":"None","publication_identifier":{"isbn":["9781450369350"]},"author":[{"last_name":"Alistarh","orcid":"0000-0003-3650-940X","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian"},{"id":"3569F0A0-F248-11E8-B48F-1D18A9856A87","last_name":"Brown","first_name":"Trevor A","full_name":"Brown, Trevor A"},{"full_name":"Singhal, Nandini","last_name":"Singhal","first_name":"Nandini"}],"external_id":{"isi":["000744436200004"]},"doi":"10.1145/3350755.3400213","conference":{"name":"SPAA: Symposium on Parallelism in Algorithms and Architectures","start_date":"2020-07-15","end_date":"2020-07-17","location":"Virtual Event, United States"}},{"acknowledgement":"Krishnendu Chatterjee is supported by the Austrian ScienceFund (FWF) NFN Grant No. S11407-N23 (RiSE/SHiNE),and COST Action GAMENET. Petr Novotn ́y is supported bythe Czech Science Foundation grant No. GJ19-15134Y.","intvolume":"        30","title":"Multiple-environment Markov decision processes: Efficient analysis and applications","publication":"Proceedings of the 30th International Conference on Automated Planning and Scheduling","article_processing_charge":"No","language":[{"iso":"eng"}],"year":"2020","citation":{"chicago":"Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný, and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” In <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>, 30:48–56. Association for the Advancement of Artificial Intelligence, 2020.","ista":"Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 30, 48–56.","short":"K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.","apa":"Chatterjee, K., Chmelik, M., Karkhanis, D., Novotný, P., &#38; Royer, A. (2020). Multiple-environment Markov decision processes: Efficient analysis and applications. In <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i> (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement of Artificial Intelligence.","mla":"Chatterjee, Krishnendu, et al. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>, vol. 30, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.","ieee":"K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, and A. Royer, “Multiple-environment Markov decision processes: Efficient analysis and applications,” in <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>, Nancy, France, 2020, vol. 30, pp. 48–56.","ama":"Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. Multiple-environment Markov decision processes: Efficient analysis and applications. In: <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>. Vol 30. Association for the Advancement of Artificial Intelligence; 2020:48-56."},"date_updated":"2023-09-07T13:16:18Z","type":"conference","date_published":"2020-06-01T00:00:00Z","month":"06","scopus_import":"1","related_material":{"record":[{"id":"8390","relation":"dissertation_contains","status":"public"}]},"conference":{"location":"Nancy, France","name":"ICAPS: International Conference on Automated Planning and Scheduling","start_date":"2020-10-26","end_date":"2020-10-30"},"oa_version":"None","day":"01","department":[{"_id":"KrCh"}],"quality_controlled":"1","page":"48-56","publisher":"Association for the Advancement of Artificial Intelligence","status":"public","date_created":"2020-08-02T22:00:58Z","abstract":[{"lang":"eng","text":"Multiple-environment Markov decision processes (MEMDPs) are MDPs equipped with not one, but multiple probabilistic transition functions, which represent the various possible unknown environments. While the previous research on MEMDPs focused on theoretical properties for long-run average payoff, we study them with discounted-sum payoff and focus on their practical advantages and applications. MEMDPs can be viewed as a special case of Partially observable and Mixed observability MDPs: the state of the system is perfectly observable, but not the environment. We show that the specific structure of MEMDPs allows for more efficient algorithmic analysis, in particular for faster belief updates. We demonstrate the applicability of MEMDPs in several domains. In particular, we formalize the sequential decision-making approach to contextual recommendation systems as MEMDPs and substantially improve over the previous MDP approach."}],"_id":"8193","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"full_name":"Chmelik, Martin","last_name":"Chmelik","first_name":"Martin","id":"3624234E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Karkhanis","first_name":"Deep","full_name":"Karkhanis, Deep"},{"id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","last_name":"Novotný","first_name":"Petr","full_name":"Novotný, Petr"},{"full_name":"Royer, Amélie","last_name":"Royer","orcid":"0000-0002-8407-0705","first_name":"Amélie","id":"3811D890-F248-11E8-B48F-1D18A9856A87"}],"project":[{"call_identifier":"FWF","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory"}],"volume":30,"publication_identifier":{"eissn":["23340843"],"issn":["23340835"]}},{"intvolume":"     12166","main_file_link":[{"url":"https://doi.org/10.1007/978-3-030-51074-9_2","open_access":"1"}],"title":"An SMT theory of fixed-point arithmetic","year":"2020","language":[{"iso":"eng"}],"publication":"Automated Reasoning","article_processing_charge":"No","month":"06","date_published":"2020-06-24T00:00:00Z","scopus_import":"1","date_updated":"2023-08-22T08:27:25Z","citation":{"ista":"Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference on Automated Reasoning, LNCS, vol. 12166, 13–31.","chicago":"Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In <i>Automated Reasoning</i>, 12166:13–31. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">https://doi.org/10.1007/978-3-030-51074-9_2</a>.","apa":"Baranowski, M., He, S., Lechner, M., Nguyen, T. S., &#38; Rakamarić, Z. (2020). An SMT theory of fixed-point arithmetic. In <i>Automated Reasoning</i> (Vol. 12166, pp. 13–31). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">https://doi.org/10.1007/978-3-030-51074-9_2</a>","short":"M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.","ieee":"M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in <i>Automated Reasoning</i>, Paris, France, 2020, vol. 12166, pp. 13–31.","mla":"Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” <i>Automated Reasoning</i>, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:<a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">10.1007/978-3-030-51074-9_2</a>.","ama":"Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: <i>Automated Reasoning</i>. Vol 12166. Springer Nature; 2020:13-31. doi:<a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">10.1007/978-3-030-51074-9_2</a>"},"type":"conference","oa_version":"Published Version","alternative_title":["LNCS"],"doi":"10.1007/978-3-030-51074-9_2","conference":{"end_date":"2020-07-04","name":"IJCAR: International Joint Conference on Automated Reasoning","start_date":"2020-07-01","location":"Paris, France"},"quality_controlled":"1","oa":1,"isi":1,"day":"24","department":[{"_id":"ToHe"}],"status":"public","date_created":"2020-08-02T22:00:59Z","page":"13-31","publisher":"Springer Nature","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","abstract":[{"text":"Fixed-point arithmetic is a popular alternative to floating-point arithmetic on embedded systems. Existing work on the verification of fixed-point programs relies on custom formalizations of fixed-point arithmetic, which makes it hard to compare the described techniques or reuse the implementations. In this paper, we address this issue by proposing and formalizing an SMT theory of fixed-point arithmetic. We present an intuitive yet comprehensive syntax of the fixed-point theory, and provide formal semantics for it based on rational arithmetic. We also describe two decision procedures for this theory: one based on the theory of bit-vectors and the other on the theory of reals. We implement the two decision procedures, and evaluate our implementations using existing mature SMT solvers on a benchmark suite we created. Finally, we perform a case study of using the theory we propose to verify properties of quantized neural networks.","lang":"eng"}],"_id":"8194","project":[{"name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF"}],"volume":12166,"publication_identifier":{"issn":["03029743"],"isbn":["9783030510732"],"eissn":["16113349"]},"author":[{"last_name":"Baranowski","first_name":"Marek","full_name":"Baranowski, Marek"},{"last_name":"He","first_name":"Shaobo","full_name":"He, Shaobo"},{"full_name":"Lechner, Mathias","first_name":"Mathias","last_name":"Lechner","id":"3DC22916-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Thanh Son","last_name":"Nguyen","full_name":"Nguyen, Thanh Son"},{"first_name":"Zvonimir","last_name":"Rakamarić","full_name":"Rakamarić, Zvonimir"}],"external_id":{"isi":["000884318000002"]}},{"language":[{"iso":"eng"}],"year":"2020","article_processing_charge":"No","publication":"Computer Aided Verification","title":"Refinement for structured concurrent programs","intvolume":"     12224","acknowledgement":"Bernhard Kragl and Thomas A. Henzinger were supported by\r\nthe Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","oa_version":"Published Version","file_date_updated":"2020-08-06T08:14:54Z","doi":"10.1007/978-3-030-53288-8_14","alternative_title":["LNCS"],"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"8332"}]},"ddc":["000"],"month":"07","date_published":"2020-07-14T00:00:00Z","scopus_import":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"conference","date_updated":"2023-09-07T13:18:00Z","has_accepted_license":"1","citation":{"ama":"Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: <i>Computer Aided Verification</i>. Vol 12224. Springer Nature; 2020:275-298. doi:<a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">10.1007/978-3-030-53288-8_14</a>","mla":"Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” <i>Computer Aided Verification</i>, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:<a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">10.1007/978-3-030-53288-8_14</a>.","ieee":"B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in <i>Computer Aided Verification</i>, 2020, vol. 12224, pp. 275–298.","short":"B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.","apa":"Kragl, B., Qadeer, S., &#38; Henzinger, T. A. (2020). Refinement for structured concurrent programs. In <i>Computer Aided Verification</i> (Vol. 12224, pp. 275–298). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">https://doi.org/10.1007/978-3-030-53288-8_14</a>","chicago":"Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In <i>Computer Aided Verification</i>, 12224:275–98. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">https://doi.org/10.1007/978-3-030-53288-8_14</a>.","ista":"Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298."},"date_created":"2020-08-03T11:45:35Z","status":"public","page":"275-298","file":[{"creator":"dernst","date_updated":"2020-08-06T08:14:54Z","file_size":804237,"content_type":"application/pdf","relation":"main_file","file_id":"8201","file_name":"2020_LNCS_Kragl.pdf","access_level":"open_access","date_created":"2020-08-06T08:14:54Z","success":1}],"publisher":"Springer Nature","quality_controlled":"1","oa":1,"day":"14","isi":1,"department":[{"_id":"ToHe"}],"project":[{"grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"}],"publication_identifier":{"issn":["0302-9743"],"eisbn":["9783030532888"],"isbn":["9783030532871"],"eissn":["1611-3349"]},"volume":12224,"external_id":{"isi":["000695276000014"]},"author":[{"id":"320FC952-F248-11E8-B48F-1D18A9856A87","first_name":"Bernhard","last_name":"Kragl","orcid":"0000-0001-7745-9117","full_name":"Kragl, Bernhard"},{"full_name":"Qadeer, Shaz","first_name":"Shaz","last_name":"Qadeer"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A"}],"publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","abstract":[{"lang":"eng","text":"This paper presents a foundation for refining concurrent programs with structured control flow. The verification problem is decomposed into subproblems that aid interactive program development, proof reuse, and automation. The formalization in this paper is the basis of a new design and implementation of the Civl verifier."}],"_id":"8195"},{"quality_controlled":"1","oa":1,"day":"29","isi":1,"department":[{"_id":"MaSe"}],"date_created":"2020-08-04T13:04:15Z","status":"public","publisher":"SciPost Foundation","file":[{"success":1,"date_created":"2020-08-06T08:56:06Z","access_level":"open_access","file_name":"2020_SciPostPhys_Gulden.pdf","file_id":"8202","relation":"main_file","content_type":"application/pdf","file_size":531137,"date_updated":"2020-08-06T08:56:06Z","creator":"dernst"}],"publication_status":"published","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","abstract":[{"lang":"eng","text":"We investigate a mechanism to transiently stabilize topological phenomena in long-lived quasi-steady states of isolated quantum many-body systems driven at low frequencies. We obtain an analytical bound for the lifetime of the quasi-steady states which is exponentially large in the inverse driving frequency. Within this lifetime, the quasi-steady state is characterized by maximum entropy subject to the constraint of fixed number of particles in the system's Floquet-Bloch bands. In such a state, all the non-universal properties of these bands are washed out, hence only the topological properties persist."}],"_id":"8199","project":[{"grant_number":"754411","call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"publication_identifier":{"issn":["2542-4653"]},"volume":9,"author":[{"full_name":"Gulden, Tobias","id":"1083E038-9F73-11E9-A4B5-532AE6697425","last_name":"Gulden","orcid":"0000-0001-6814-7541","first_name":"Tobias"},{"first_name":"Erez","last_name":"Berg","full_name":"Berg, Erez"},{"full_name":"Rudner, Mark Spencer","last_name":"Rudner","first_name":"Mark Spencer"},{"full_name":"Lindner, Netanel","last_name":"Lindner","first_name":"Netanel"}],"external_id":{"isi":["000557362300008"]},"title":"Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps","intvolume":"         9","acknowledgement":"N.L., T.G. and E.B. acknowledge support from the European Research Council (ERC) under\r\nthe European Union Horizon 2020 Research and Innovation Programme (Grant Agreement\r\nNo. 639172). T.G. was in part supported by an Aly Kaufman Fellowship at the Technion. T.G.\r\nacknowledges funding from the Institute of Science and Technology (IST) Austria, and from\r\nthe European Union’s Horizon 2020 research and innovation programme under the Marie\r\nSkłodowska-Curie Grant Agreement No. 754411. N.L. acknowledges support from the People Programme (Marie Curie Actions) of the European Unions Seventh Framework 546 Programme (FP7/20072013), under REA Grant Agreement No. 631696, and by the Israeli Center\r\nof Research Excellence (I-CORE) Circle of Light funded by the Israel Science Foundation (Grant\r\nNo. 1802/12). M.R. gratefully acknowledges the support of the European Research Council\r\n(ERC) under the European Union Horizon 2020 Research and Innovation Programme (Grant\r\nAgreement No. 678862). M.R. acknowledges the support of the Villum Foundation. M.R. and\r\nE.B. acknowledge support from CRC 183 of the Deutsche Forschungsgemeinschaft","year":"2020","language":[{"iso":"eng"}],"article_processing_charge":"No","publication":"SciPost Physics","ddc":["530"],"month":"07","date_published":"2020-07-29T00:00:00Z","scopus_import":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","has_accepted_license":"1","date_updated":"2023-08-22T08:28:24Z","citation":{"ama":"Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. <i>SciPost Physics</i>. 2020;9. doi:<a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">10.21468/scipostphys.9.1.015</a>","ieee":"T. Gulden, E. Berg, M. S. Rudner, and N. Lindner, “Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps,” <i>SciPost Physics</i>, vol. 9. SciPost Foundation, 2020.","mla":"Gulden, Tobias, et al. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” <i>SciPost Physics</i>, vol. 9, 015, SciPost Foundation, 2020, doi:<a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">10.21468/scipostphys.9.1.015</a>.","apa":"Gulden, T., Berg, E., Rudner, M. S., &#38; Lindner, N. (2020). Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. <i>SciPost Physics</i>. SciPost Foundation. <a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">https://doi.org/10.21468/scipostphys.9.1.015</a>","short":"T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).","ista":"Gulden T, Berg E, Rudner MS, Lindner N. 2020. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 9, 015.","chicago":"Gulden, Tobias, Erez Berg, Mark Spencer Rudner, and Netanel Lindner. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” <i>SciPost Physics</i>. SciPost Foundation, 2020. <a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">https://doi.org/10.21468/scipostphys.9.1.015</a>."},"article_number":"015","oa_version":"Published Version","file_date_updated":"2020-08-06T08:56:06Z","article_type":"original","doi":"10.21468/scipostphys.9.1.015","ec_funded":1},{"abstract":[{"text":"Using inelastic cotunneling spectroscopy we observe a zero field splitting within the spin triplet manifold of Ge hut wire quantum dots. The states with spin ±1 in the confinement direction are energetically favored by up to 55 μeV compared to the spin 0 triplet state because of the strong spin–orbit coupling. The reported effect should be observable in a broad class of strongly confined hole quantum-dot systems and might need to be considered when operating hole spin qubits.","lang":"eng"}],"_id":"8203","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication_status":"published","author":[{"full_name":"Katsaros, Georgios","orcid":"0000-0001-8342-202X","last_name":"Katsaros","first_name":"Georgios","id":"38DB5788-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kukucka","first_name":"Josip","id":"3F5D8856-F248-11E8-B48F-1D18A9856A87","full_name":"Kukucka, Josip"},{"full_name":"Vukušić, Lada","id":"31E9F056-F248-11E8-B48F-1D18A9856A87","first_name":"Lada","orcid":"0000-0003-2424-8636","last_name":"Vukušić"},{"id":"35DF8E50-F248-11E8-B48F-1D18A9856A87","first_name":"Hannes","last_name":"Watzinger","full_name":"Watzinger, Hannes"},{"first_name":"Fei","last_name":"Gao","full_name":"Gao, Fei"},{"full_name":"Wang, Ting","last_name":"Wang","orcid":"0000-0002-4619-9575","first_name":"Ting"},{"full_name":"Zhang, Jian-Jun","last_name":"Zhang","first_name":"Jian-Jun"},{"full_name":"Held, Karsten","last_name":"Held","first_name":"Karsten"}],"external_id":{"isi":["000548893200066"],"pmid":["32479090"]},"project":[{"call_identifier":"FWF","grant_number":"P32235","name":"Towards scalable hut wire quantum devices","_id":"237B3DA4-32DE-11EA-91FC-C7463DDC885E"},{"name":"TOPOLOGICALLY PROTECTED AND SCALABLE QUANTUM BITS","_id":"237E5020-32DE-11EA-91FC-C7463DDC885E","grant_number":"862046","call_identifier":"H2020"}],"volume":20,"publication_identifier":{"eissn":["1530-6992"],"issn":["1530-6984"]},"isi":1,"day":"01","department":[{"_id":"GeKa"}],"quality_controlled":"1","oa":1,"issue":"7","publisher":"American Chemical Society","page":"5201-5206","file":[{"file_id":"8204","relation":"main_file","creator":"dernst","date_updated":"2020-08-06T09:35:37Z","content_type":"application/pdf","file_size":3308906,"date_created":"2020-08-06T09:35:37Z","success":1,"access_level":"open_access","file_name":"2020_NanoLetters_Katsaros.pdf"}],"status":"public","date_created":"2020-08-06T09:25:04Z","has_accepted_license":"1","date_updated":"2024-02-21T12:44:01Z","citation":{"chicago":"Katsaros, Georgios, Josip Kukucka, Lada Vukušić, Hannes Watzinger, Fei Gao, Ting Wang, Jian-Jun Zhang, and Karsten Held. “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” <i>Nano Letters</i>. American Chemical Society, 2020. <a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">https://doi.org/10.1021/acs.nanolett.0c01466</a>.","ista":"Katsaros G, Kukucka J, Vukušić L, Watzinger H, Gao F, Wang T, Zhang J-J, Held K. 2020. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 20(7), 5201–5206.","short":"G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.","apa":"Katsaros, G., Kukucka, J., Vukušić, L., Watzinger, H., Gao, F., Wang, T., … Held, K. (2020). Zero field splitting of heavy-hole states in quantum dots. <i>Nano Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">https://doi.org/10.1021/acs.nanolett.0c01466</a>","mla":"Katsaros, Georgios, et al. “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” <i>Nano Letters</i>, vol. 20, no. 7, American Chemical Society, 2020, pp. 5201–06, doi:<a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">10.1021/acs.nanolett.0c01466</a>.","ieee":"G. Katsaros <i>et al.</i>, “Zero field splitting of heavy-hole states in quantum dots,” <i>Nano Letters</i>, vol. 20, no. 7. American Chemical Society, pp. 5201–5206, 2020.","ama":"Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole states in quantum dots. <i>Nano Letters</i>. 2020;20(7):5201-5206. doi:<a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">10.1021/acs.nanolett.0c01466</a>"},"pmid":1,"type":"journal_article","date_published":"2020-06-01T00:00:00Z","month":"06","ddc":["530"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"scopus_import":"1","related_material":{"record":[{"relation":"research_data","id":"7689","status":"public"}]},"article_type":"original","doi":"10.1021/acs.nanolett.0c01466","ec_funded":1,"oa_version":"Published Version","file_date_updated":"2020-08-06T09:35:37Z","acknowledgement":"We acknowledge G. Burkard, V. N. Golovach, C. Kloeffel, D.Loss, P. Rabl, and M. Rancič ́ for helpful discussions. We\r\nfurther acknowledge T. Adletzberger, J. Aguilera, T. Asenov, S. Bagiante, T. Menner, L. Shafeek, P. Taus, P. Traunmüller, and D. Waldhausl for their invaluable assistance. This research was supported by the Scientific Service Units of IST Austria through resources provided by the MIBA Machine Shop and the nanofabrication facility, by the FWF-P 32235 project, by the National Key R&D Program of China (2016YFA0301701, 2016YFA0300600), and by the European Union’s Horizon 2020 research and innovation program under grant agreement no. 862046. All data of this publication are available at 10.15479/AT:ISTA:7689.","intvolume":"        20","title":"Zero field splitting of heavy-hole states in quantum dots","publication":"Nano Letters","article_processing_charge":"Yes (via OA deal)","language":[{"iso":"eng"}],"year":"2020","acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"M-Shop"}]},{"publication_status":"published","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","abstract":[{"lang":"eng","text":"Understanding to what extent stem cell potential is a cell-intrinsic property or an emergent behavior coming from global tissue dynamics and geometry is a key outstanding question of systems and stem cell biology. Here, we propose a theory of stem cell dynamics as a stochastic competition for access to a spatially localized niche, giving rise to a stochastic conveyor-belt model. Cell divisions produce a steady cellular stream which advects cells away from the niche, while random rearrangements enable cells away from the niche to be favorably repositioned. Importantly, even when assuming that all cells in a tissue are molecularly equivalent, we predict a common (“universal”) functional dependence of the long-term clonal survival probability on distance from the niche, as well as the emergence of a well-defined number of functional stem cells, dependent only on the rate of random movements vs. mitosis-driven advection. We test the predictions of this theory on datasets of pubertal mammary gland tips and embryonic kidney tips, as well as homeostatic intestinal crypts. Importantly, we find good agreement for the predicted functional dependency of the competition as a function of position, and thus functional stem cell number in each organ. This argues for a key role of positional fluctuations in dictating stem cell number and dynamics, and we discuss the applicability of this theory to other settings."}],"_id":"8220","project":[{"call_identifier":"H2020","grant_number":"851288","name":"Design Principles of Branching Morphogenesis","_id":"05943252-7A3F-11EA-A408-12923DDC885E"}],"publication_identifier":{"eissn":["10916490"]},"volume":117,"author":[{"id":"43BE2298-F248-11E8-B48F-1D18A9856A87","first_name":"Bernat","last_name":"Corominas-Murtra","orcid":"0000-0001-9806-5643","full_name":"Corominas-Murtra, Bernat"},{"first_name":"Colinda L.G.J.","last_name":"Scheele","full_name":"Scheele, Colinda L.G.J."},{"id":"3065DFC4-F248-11E8-B48F-1D18A9856A87","last_name":"Kishi","first_name":"Kasumi","full_name":"Kishi, Kasumi"},{"last_name":"Ellenbroek","first_name":"Saskia I.J.","full_name":"Ellenbroek, Saskia I.J."},{"full_name":"Simons, Benjamin D.","first_name":"Benjamin D.","last_name":"Simons"},{"full_name":"Van Rheenen, Jacco","first_name":"Jacco","last_name":"Van Rheenen"},{"id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561","last_name":"Hannezo","first_name":"Edouard B","full_name":"Hannezo, Edouard B"}],"external_id":{"isi":["000553292900014"],"pmid":["32611816"]},"quality_controlled":"1","issue":"29","oa":1,"day":"21","isi":1,"department":[{"_id":"EdHa"}],"date_created":"2020-08-09T22:00:52Z","status":"public","page":"16969-16975","file":[{"success":1,"date_created":"2020-08-10T06:50:28Z","file_name":"2020_PNAS_Corominas.pdf","access_level":"open_access","relation":"main_file","file_id":"8223","file_size":1111604,"content_type":"application/pdf","date_updated":"2020-08-10T06:50:28Z","creator":"dernst"}],"publisher":"National Academy of Sciences","ddc":["570"],"date_published":"2020-07-21T00:00:00Z","month":"07","scopus_import":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"journal_article","pmid":1,"citation":{"ama":"Corominas-Murtra B, Scheele CLGJ, Kishi K, et al. Stem cell lineage survival as a noisy competition for niche access. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. 2020;117(29):16969-16975. doi:<a href=\"https://doi.org/10.1073/pnas.1921205117\">10.1073/pnas.1921205117</a>","ieee":"B. Corominas-Murtra <i>et al.</i>, “Stem cell lineage survival as a noisy competition for niche access,” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 117, no. 29. National Academy of Sciences, pp. 16969–16975, 2020.","mla":"Corominas-Murtra, Bernat, et al. “Stem Cell Lineage Survival as a Noisy Competition for Niche Access.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 117, no. 29, National Academy of Sciences, 2020, pp. 16969–75, doi:<a href=\"https://doi.org/10.1073/pnas.1921205117\">10.1073/pnas.1921205117</a>.","apa":"Corominas-Murtra, B., Scheele, C. L. G. J., Kishi, K., Ellenbroek, S. I. J., Simons, B. D., Van Rheenen, J., &#38; Hannezo, E. B. (2020). Stem cell lineage survival as a noisy competition for niche access. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.1921205117\">https://doi.org/10.1073/pnas.1921205117</a>","short":"B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D. Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 16969–16975.","ista":"Corominas-Murtra B, Scheele CLGJ, Kishi K, Ellenbroek SIJ, Simons BD, Van Rheenen J, Hannezo EB. 2020. Stem cell lineage survival as a noisy competition for niche access. Proceedings of the National Academy of Sciences of the United States of America. 117(29), 16969–16975.","chicago":"Corominas-Murtra, Bernat, Colinda L.G.J. Scheele, Kasumi Kishi, Saskia I.J. Ellenbroek, Benjamin D. Simons, Jacco Van Rheenen, and Edouard B Hannezo. “Stem Cell Lineage Survival as a Noisy Competition for Niche Access.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences, 2020. <a href=\"https://doi.org/10.1073/pnas.1921205117\">https://doi.org/10.1073/pnas.1921205117</a>."},"date_updated":"2023-08-22T08:29:30Z","has_accepted_license":"1","oa_version":"Published Version","file_date_updated":"2020-08-10T06:50:28Z","article_type":"original","doi":"10.1073/pnas.1921205117","related_material":{"link":[{"url":"https://ist.ac.at/en/news/order-from-noise/","relation":"press_release"}]},"ec_funded":1,"title":"Stem cell lineage survival as a noisy competition for niche access","intvolume":"       117","acknowledgement":"We thank all members of the E.H., B.D.S., and J.v.R. groups for stimulating discussions. This project was supported by\r\nthe European Research Council (648804 to J.v.R. and 851288 to E.H.). It has also received support from the CancerGenomics.nl (Netherlands Organization for Scientific Research) program (J.v.R.) and the Doctor Josef Steiner Foundation (J.v.R). B.D.S. was supported by Royal Society E. P. Abraham Research Professorship RP/R1/180165 and Wellcome Trust Grant 098357/Z/12/Z.","language":[{"iso":"eng"}],"year":"2020","publication":"Proceedings of the National Academy of Sciences of the United States of America","article_processing_charge":"No"},{"article_number":"5693","has_accepted_license":"1","date_updated":"2021-01-12T08:17:34Z","citation":{"mla":"Köhler, Verena K., et al. “Filling the Antibody Pipeline in Allergy: PIPE Cloning of IgE, IgG1 and IgG4 against the Major Birch Pollen Allergen Bet v 1.” <i>International Journal of Molecular Sciences</i>, vol. 21, no. 16, 5693, MDPI, 2020, doi:<a href=\"https://doi.org/10.3390/ijms21165693\">10.3390/ijms21165693</a>.","ieee":"V. K. Köhler <i>et al.</i>, “Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1,” <i>International Journal of Molecular Sciences</i>, vol. 21, no. 16. MDPI, 2020.","ama":"Köhler VK, Crescioli S, Singer J, et al. Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1. <i>International Journal of Molecular Sciences</i>. 2020;21(16). doi:<a href=\"https://doi.org/10.3390/ijms21165693\">10.3390/ijms21165693</a>","chicago":"Köhler, Verena K., Silvia Crescioli, Judit Singer, Heather J. Bax, Gerhard Hofer, Christina L. Pranger, Karin Hufnagl, et al. “Filling the Antibody Pipeline in Allergy: PIPE Cloning of IgE, IgG1 and IgG4 against the Major Birch Pollen Allergen Bet v 1.” <i>International Journal of Molecular Sciences</i>. MDPI, 2020. <a href=\"https://doi.org/10.3390/ijms21165693\">https://doi.org/10.3390/ijms21165693</a>.","ista":"Köhler VK, Crescioli S, Singer J, Bax HJ, Hofer G, Pranger CL, Hufnagl K, Bianchini R, Flicker S, Keller W, Karagiannis SN, Jensen-Jarolim E. 2020. Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1. International Journal of Molecular Sciences. 21(16), 5693.","short":"V.K. Köhler, S. Crescioli, J. Singer, H.J. Bax, G. Hofer, C.L. Pranger, K. Hufnagl, R. Bianchini, S. Flicker, W. Keller, S.N. Karagiannis, E. Jensen-Jarolim, International Journal of Molecular Sciences 21 (2020).","apa":"Köhler, V. K., Crescioli, S., Singer, J., Bax, H. J., Hofer, G., Pranger, C. L., … Jensen-Jarolim, E. (2020). Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1. <i>International Journal of Molecular Sciences</i>. MDPI. <a href=\"https://doi.org/10.3390/ijms21165693\">https://doi.org/10.3390/ijms21165693</a>"},"pmid":1,"type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"month":"08","date_published":"2020-08-08T00:00:00Z","ddc":["570"],"doi":"10.3390/ijms21165693","article_type":"original","file_date_updated":"2020-09-10T07:06:22Z","oa_version":"Published Version","intvolume":"        21","title":"Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1","article_processing_charge":"No","publication":"International Journal of Molecular Sciences","extern":"1","year":"2020","language":[{"iso":"eng"}],"_id":"8225","abstract":[{"text":"Birch pollen allergy is among the most prevalent pollen allergies in Northern and Central Europe. This IgE-mediated disease can be treated with allergen immunotherapy (AIT), which typically gives rise to IgG antibodies inducing tolerance. Although the main mechanisms of allergen immunotherapy (AIT) are known, questions regarding possible Fc-mediated effects of IgG antibodies remain unanswered. This can mainly be attributed to the unavailability of appropriate tools, i.e., well-characterised recombinant antibodies (rAbs). We hereby aimed at providing human rAbs of several classes for mechanistic studies and as possible candidates for passive immunotherapy. We engineered IgE, IgG1, and IgG4 sharing the same variable region against the major birch pollen allergen Bet v 1 using Polymerase Incomplete Primer Extension (PIPE) cloning. We tested IgE functionality and IgG blocking capabilities using appropriate model cell lines. In vitro studies showed IgE engagement with FcεRI and CD23 and Bet v 1-dependent degranulation. Overall, we hereby present fully functional, human IgE, IgG1, and IgG4 sharing the same variable region against Bet v 1 and showcase possible applications in first mechanistic studies. Furthermore, our IgG antibodies might be useful candidates for passive immunotherapy of birch pollen allergy.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","external_id":{"pmid":["32784509"]},"author":[{"full_name":"Köhler, Verena K.","last_name":"Köhler","orcid":"0000-0001-5581-398X","first_name":"Verena K."},{"first_name":"Silvia","orcid":"0000-0002-1909-5957","last_name":"Crescioli","full_name":"Crescioli, Silvia"},{"id":"36432834-F248-11E8-B48F-1D18A9856A87","first_name":"Judit","orcid":"0000-0002-8777-3502","last_name":"Fazekas-Singer","full_name":"Fazekas-Singer, Judit"},{"first_name":"Heather J.","orcid":"0000-0003-0432-4160","last_name":"Bax","full_name":"Bax, Heather J."},{"full_name":"Hofer, Gerhard","first_name":"Gerhard","last_name":"Hofer"},{"full_name":"Pranger, Christina L.","first_name":"Christina L.","last_name":"Pranger"},{"full_name":"Hufnagl, Karin","last_name":"Hufnagl","first_name":"Karin"},{"orcid":"0000-0003-0351-6937","last_name":"Bianchini","first_name":"Rodolfo","full_name":"Bianchini, Rodolfo"},{"full_name":"Flicker, Sabine","orcid":"0000-0003-4768-8693","last_name":"Flicker","first_name":"Sabine"},{"last_name":"Keller","orcid":"0000-0002-2261-958X","first_name":"Walter","full_name":"Keller, Walter"},{"full_name":"Karagiannis, Sophia N.","first_name":"Sophia N.","orcid":"0000-0002-4100-7810","last_name":"Karagiannis"},{"full_name":"Jensen-Jarolim, Erika","first_name":"Erika","orcid":"0000-0003-4019-5765","last_name":"Jensen-Jarolim"}],"volume":21,"publication_identifier":{"issn":["1422-0067"]},"day":"08","oa":1,"issue":"16","quality_controlled":"1","file":[{"relation":"main_file","file_id":"8356","file_size":2680908,"content_type":"application/pdf","date_updated":"2020-09-10T07:06:22Z","creator":"dernst","success":1,"checksum":"dac7ccef7cdcea9be292664d8c488425","date_created":"2020-09-10T07:06:22Z","file_name":"2020_IntMolecSciences_Koehler.pdf","access_level":"open_access"}],"publisher":"MDPI","status":"public","date_created":"2020-08-10T11:47:29Z"},{"publication_identifier":{"issn":["0105-4538","1398-9995"]},"oa_version":"Published Version","author":[{"full_name":"Gotovina, Jelena","orcid":"0000-0003-1503-5276","last_name":"Gotovina","first_name":"Jelena"},{"first_name":"Rodolfo","orcid":"0000-0003-0351-6937","last_name":"Bianchini","full_name":"Bianchini, Rodolfo"},{"full_name":"Fazekas-Singer, Judit","first_name":"Judit","orcid":"0000-0002-8777-3502","last_name":"Fazekas-Singer","id":"36432834-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Herrmann, Ina","last_name":"Herrmann","orcid":"0000-0003-2772-9144","first_name":"Ina"},{"first_name":"Giulia","orcid":"0000-0003-0387-1912","last_name":"Pellizzari","full_name":"Pellizzari, Giulia"},{"full_name":"Haidl, Ian D.","first_name":"Ian D.","orcid":"0000-0002-5301-0822","last_name":"Haidl"},{"last_name":"Hufnagl","orcid":"0000-0002-2288-2468","first_name":"Karin","full_name":"Hufnagl, Karin"},{"full_name":"Karagiannis, Sophia N.","last_name":"Karagiannis","orcid":"0000-0002-4100-7810","first_name":"Sophia N."},{"full_name":"Marshall, Jean S.","last_name":"Marshall","orcid":"0000-0002-5642-1379","first_name":"Jean S."},{"first_name":"Erika","orcid":"0000-0003-4019-5765","last_name":"Jensen‐Jarolim","full_name":"Jensen‐Jarolim, Erika"}],"doi":"10.1111/all.14299","article_type":"letter_note","month":"04","date_published":"2020-04-04T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"epub_ahead","_id":"8226","date_updated":"2021-01-12T08:17:35Z","citation":{"ama":"Gotovina J, Bianchini R, Singer J, et al. Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. <i>Allergy</i>. 2020. doi:<a href=\"https://doi.org/10.1111/all.14299\">10.1111/all.14299</a>","ieee":"J. Gotovina <i>et al.</i>, “Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro,” <i>Allergy</i>. Wiley, 2020.","mla":"Gotovina, Jelena, et al. “Epinephrine Drives Human M2a Allergic Macrophages to a Regulatory Phenotype Reducing Mast Cell Degranulation in Vitro.” <i>Allergy</i>, Wiley, 2020, doi:<a href=\"https://doi.org/10.1111/all.14299\">10.1111/all.14299</a>.","apa":"Gotovina, J., Bianchini, R., Singer, J., Herrmann, I., Pellizzari, G., Haidl, I. D., … Jensen‐Jarolim, E. (2020). Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. <i>Allergy</i>. Wiley. <a href=\"https://doi.org/10.1111/all.14299\">https://doi.org/10.1111/all.14299</a>","short":"J. Gotovina, R. Bianchini, J. Singer, I. Herrmann, G. Pellizzari, I.D. Haidl, K. Hufnagl, S.N. Karagiannis, J.S. Marshall, E. Jensen‐Jarolim, Allergy (2020).","ista":"Gotovina J, Bianchini R, Singer J, Herrmann I, Pellizzari G, Haidl ID, Hufnagl K, Karagiannis SN, Marshall JS, Jensen‐Jarolim E. 2020. Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. Allergy.","chicago":"Gotovina, Jelena, Rodolfo Bianchini, Judit Singer, Ina Herrmann, Giulia Pellizzari, Ian D. Haidl, Karin Hufnagl, Sophia N. Karagiannis, Jean S. Marshall, and Erika Jensen‐Jarolim. “Epinephrine Drives Human M2a Allergic Macrophages to a Regulatory Phenotype Reducing Mast Cell Degranulation in Vitro.” <i>Allergy</i>. Wiley, 2020. <a href=\"https://doi.org/10.1111/all.14299\">https://doi.org/10.1111/all.14299</a>."},"type":"journal_article","year":"2020","language":[{"iso":"eng"}],"status":"public","date_created":"2020-08-10T11:50:30Z","publisher":"Wiley","publication":"Allergy","article_processing_charge":"No","extern":"1","oa":1,"title":"Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1111/all.14299"}],"quality_controlled":"1","day":"04"},{"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"month":"08","date_published":"2020-08-11T00:00:00Z","ddc":["570"],"article_number":"4013","has_accepted_license":"1","date_updated":"2024-03-25T23:30:05Z","citation":{"mla":"Kavcic, Bor, et al. “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics.” <i>Nature Communications</i>, vol. 11, 4013, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-17734-z\">10.1038/s41467-020-17734-z</a>.","ieee":"B. Kavcic, G. Tkačik, and M. T. Bollenbach, “Mechanisms of drug interactions between translation-inhibiting antibiotics,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020.","ama":"Kavcic B, Tkačik G, Bollenbach MT. Mechanisms of drug interactions between translation-inhibiting antibiotics. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-020-17734-z\">10.1038/s41467-020-17734-z</a>","chicago":"Kavcic, Bor, Gašper Tkačik, and Mark Tobias Bollenbach. “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-17734-z\">https://doi.org/10.1038/s41467-020-17734-z</a>.","ista":"Kavcic B, Tkačik G, Bollenbach MT. 2020. Mechanisms of drug interactions between translation-inhibiting antibiotics. Nature Communications. 11, 4013.","short":"B. Kavcic, G. Tkačik, M.T. Bollenbach, Nature Communications 11 (2020).","apa":"Kavcic, B., Tkačik, G., &#38; Bollenbach, M. T. (2020). Mechanisms of drug interactions between translation-inhibiting antibiotics. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-17734-z\">https://doi.org/10.1038/s41467-020-17734-z</a>"},"type":"journal_article","file_date_updated":"2020-08-17T07:36:57Z","oa_version":"Published Version","related_material":{"record":[{"id":"8657","relation":"dissertation_contains","status":"public"}]},"article_type":"original","doi":"10.1038/s41467-020-17734-z","intvolume":"        11","title":"Mechanisms of drug interactions between translation-inhibiting antibiotics","acknowledgement":"We thank M. Hennessey-Wesen, I. Tomanek, K. Jain, A. Staron, K. Tomasek, M. Scott,\r\nK.C. Huang, and Z. Gitai for reading the manuscript and constructive comments. B.K. is\r\nindebted to C. Guet for additional guidance and generous support, which rendered this\r\nwork possible. B.K. thanks all members of Guet group for many helpful discussions and\r\nsharing of resources. B.K. additionally acknowledges the tremendous support from A.\r\nAngermayr and K. Mitosch with experimental work. We further thank E. Brown for\r\nhelpful comments regarding lamotrigine, and A. Buskirk for valuable suggestions\r\nregarding the ribosome footprint size. This work was supported in part by Austrian\r\nScience Fund (FWF) standalone grants P 27201-B22 (to T.B.) and P 28844 (to G.T.),\r\nHFSP program Grant RGP0042/2013 (to T.B.), German Research Foundation (DFG)\r\nstandalone grant BO 3502/2-1 (to T.B.), and German Research Foundation (DFG)\r\nCollaborative Research Centre (SFB) 1310 (to T.B.). Open access funding provided by\r\nProjekt DEAL.","year":"2020","language":[{"iso":"eng"}],"article_processing_charge":"No","publication":"Nature Communications","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","_id":"8250","abstract":[{"text":"Antibiotics that interfere with translation, when combined, interact in diverse and difficult-to-predict ways. Here, we explain these interactions by “translation bottlenecks”: points in the translation cycle where antibiotics block ribosomal progression. To elucidate the underlying mechanisms of drug interactions between translation inhibitors, we generate translation bottlenecks genetically using inducible control of translation factors that regulate well-defined translation cycle steps. These perturbations accurately mimic antibiotic action and drug interactions, supporting that the interplay of different translation bottlenecks causes these interactions. We further show that growth laws, combined with drug uptake and binding kinetics, enable the direct prediction of a large fraction of observed interactions, yet fail to predict suppression. However, varying two translation bottlenecks simultaneously supports that dense traffic of ribosomes and competition for translation factors account for the previously unexplained suppression. These results highlight the importance of “continuous epistasis” in bacterial physiology.","lang":"eng"}],"volume":11,"publication_identifier":{"issn":["2041-1723"]},"project":[{"_id":"25E9AF9E-B435-11E9-9278-68D0E5697425","name":"Revealing the mechanisms underlying drug interactions","call_identifier":"FWF","grant_number":"P27201-B22"},{"_id":"254E9036-B435-11E9-9278-68D0E5697425","name":"Biophysics of information processing in gene regulation","grant_number":"P28844-B27","call_identifier":"FWF"}],"author":[{"orcid":"0000-0001-6041-254X","last_name":"Kavcic","first_name":"Bor","id":"350F91D2-F248-11E8-B48F-1D18A9856A87","full_name":"Kavcic, Bor"},{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkačik","orcid":"0000-0002-6699-1455","first_name":"Gašper","full_name":"Tkačik, Gašper"},{"id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","first_name":"Tobias","last_name":"Bollenbach","orcid":"0000-0003-4398-476X","full_name":"Bollenbach, Tobias"}],"external_id":{"isi":["000562769300008"]},"oa":1,"quality_controlled":"1","department":[{"_id":"GaTk"}],"isi":1,"day":"11","status":"public","date_created":"2020-08-12T09:13:50Z","file":[{"file_name":"2020_NatureComm_Kavcic.pdf","access_level":"open_access","checksum":"986bebb308850a55850028d3d2b5b664","date_created":"2020-08-17T07:36:57Z","success":1,"creator":"dernst","date_updated":"2020-08-17T07:36:57Z","file_size":1965672,"content_type":"application/pdf","relation":"main_file","file_id":"8275"}],"publisher":"Springer Nature"},{"type":"research_data","has_accepted_license":"1","abstract":[{"lang":"eng","text":"Here are the research data underlying the publication \"Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)\". Further information are summed up in the README document.\r\nThe files for this record have been updated and are now found in the linked DOI https://doi.org/10.15479/AT:ISTA:9192."}],"date_updated":"2024-02-21T12:41:09Z","citation":{"apa":"Arathoon, L. S. (2020). Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8254\">https://doi.org/10.15479/AT:ISTA:8254</a>","short":"L.S. Arathoon, (2020).","ista":"Arathoon LS. 2020. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus), Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:8254\">10.15479/AT:ISTA:8254</a>.","chicago":"Arathoon, Louise S. “Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus).” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8254\">https://doi.org/10.15479/AT:ISTA:8254</a>.","ama":"Arathoon LS. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8254\">10.15479/AT:ISTA:8254</a>","ieee":"L. S. Arathoon, “Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus).” Institute of Science and Technology Austria, 2020.","mla":"Arathoon, Louise S. <i>Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus)</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8254\">10.15479/AT:ISTA:8254</a>."},"_id":"8254","ddc":["576"],"date_published":"2020-08-18T00:00:00Z","month":"08","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"doi":"10.15479/AT:ISTA:8254","contributor":[{"last_name":"Arathoon","first_name":"Louise S","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87","contributor_type":"data_collector"},{"id":"455235B8-F248-11E8-B48F-1D18A9856A87","first_name":"Parvathy","last_name":"Surendranadh","contributor_type":"project_member"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton","orcid":"0000-0002-8548-5240","first_name":"Nicholas H","contributor_type":"project_member"},{"contributor_type":"project_member","id":"419049E2-F248-11E8-B48F-1D18A9856A87","first_name":"David","orcid":"0000-0002-4014-8478","last_name":"Field"},{"first_name":"Melinda","orcid":"0000-0001-6118-0541","last_name":"Pickup","id":"2C78037E-F248-11E8-B48F-1D18A9856A87","contributor_type":"project_member"},{"contributor_type":"project_member","last_name":"Baskett","first_name":"Carina","id":"3B4A7CE2-F248-11E8-B48F-1D18A9856A87"}],"related_material":{"record":[{"status":"public","relation":"later_version","id":"11321"},{"relation":"later_version","id":"9192","status":"public"}]},"author":[{"full_name":"Arathoon, Louise S","first_name":"Louise S","orcid":"0000-0003-1771-714X","last_name":"Arathoon","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","file_date_updated":"2020-08-18T08:03:23Z","day":"18","department":[{"_id":"NiBa"}],"title":"Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)","oa":1,"article_processing_charge":"No","file":[{"success":1,"date_created":"2020-08-18T08:03:23Z","checksum":"4f1382ed4384751b6013398c11557bf6","access_level":"open_access","file_name":"Data_Rcode_MathematicaNB.zip","file_id":"8280","relation":"main_file","content_type":"application/x-zip-compressed","file_size":5778420,"creator":"dernst","date_updated":"2020-08-18T08:03:23Z"}],"publisher":"Institute of Science and Technology Austria","date_created":"2020-08-12T12:49:23Z","status":"public","year":"2020"},{"oa":1,"issue":"6","quality_controlled":"1","department":[{"_id":"PeJo"},{"_id":"ScienComp"}],"isi":1,"day":"23","status":"public","date_created":"2020-08-14T09:36:05Z","publisher":"Elsevier","file":[{"access_level":"open_access","file_name":"2020_Neuron_Zhang.pdf","date_created":"2020-12-04T09:29:21Z","checksum":"44a5960fc083a4cb3488d22224859fdc","success":1,"date_updated":"2020-12-04T09:29:21Z","creator":"dernst","content_type":"application/pdf","file_size":3011120,"file_id":"8920","relation":"main_file"}],"page":"1212-1225","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","_id":"8261","abstract":[{"lang":"eng","text":"Dentate gyrus granule cells (GCs) connect the entorhinal cortex to the hippocampal CA3 region, but how they process spatial information remains enigmatic. To examine the role of GCs in spatial coding, we measured excitatory postsynaptic potentials (EPSPs) and action potentials (APs) in head-fixed mice running on a linear belt. Intracellular recording from morphologically identified GCs revealed that most cells were active, but activity level varied over a wide range. Whereas only ∼5% of GCs showed spatially tuned spiking, ∼50% received spatially tuned input. Thus, the GC population broadly encodes spatial information, but only a subset relays this information to the CA3 network. Fourier analysis indicated that GCs received conjunctive place-grid-like synaptic input, suggesting code conversion in single neurons. GC firing was correlated with dendritic complexity and intrinsic excitability, but not extrinsic excitatory input or dendritic cable properties. Thus, functional maturation may control input-output transformation and spatial code conversion."}],"volume":107,"publication_identifier":{"issn":["0896-6273"]},"project":[{"name":"Biophysics and circuit function of a giant cortical glumatergic synapse","_id":"25B7EB9E-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"692692"},{"_id":"25C5A090-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF","grant_number":"Z00312"}],"external_id":{"isi":["000579698700009"],"pmid":["32763145"]},"author":[{"id":"423EC9C2-F248-11E8-B48F-1D18A9856A87","first_name":"Xiaomin","last_name":"Zhang","full_name":"Zhang, Xiaomin"},{"full_name":"Schlögl, Alois","last_name":"Schlögl","orcid":"0000-0002-5621-8100","first_name":"Alois","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M","orcid":"0000-0001-5001-4804","last_name":"Jonas","full_name":"Jonas, Peter M"}],"intvolume":"       107","title":"Selective routing of spatial information flow from input to output in hippocampal granule cells","acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement 692692, P.J.) and the Fond zur Förderung der Wissenschaftlichen Forschung (Z 312-B27, Wittgenstein award, P.J.). We thank Gyorgy Buzsáki, Jozsef Csicsvari, Juan Ramirez Villegas, and Federico Stella for commenting on earlier versions of this manuscript. We also thank Katie Bittner, Michael Brecht, Albert Lee, Jeffery Magee, and Alejandro Pernía-Andrade for sharing expertise in in vivo patch-clamp recording. We are grateful to Florian Marr for cell labeling, cell reconstruction, and technical assistance; Ben Suter for helpful discussions; Christina Altmutter for technical support; Eleftheria Kralli-Beller for manuscript editing; and Todor Asenov (Machine Shop) for device construction. We also thank the Scientific Service Units (SSUs) of IST Austria (Machine Shop, Scientific Computing, and Preclinical Facility) for efficient support.","year":"2020","language":[{"iso":"eng"}],"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"ScienComp"},{"_id":"PreCl"}],"article_processing_charge":"No","publication":"Neuron","tmp":{"short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png"},"month":"09","date_published":"2020-09-23T00:00:00Z","ddc":["570"],"date_updated":"2023-08-22T08:30:55Z","citation":{"mla":"Zhang, Xiaomin, et al. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” <i>Neuron</i>, vol. 107, no. 6, Elsevier, 2020, pp. 1212–25, doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">10.1016/j.neuron.2020.07.006</a>.","ieee":"X. Zhang, A. Schlögl, and P. M. Jonas, “Selective routing of spatial information flow from input to output in hippocampal granule cells,” <i>Neuron</i>, vol. 107, no. 6. Elsevier, pp. 1212–1225, 2020.","ama":"Zhang X, Schlögl A, Jonas PM. Selective routing of spatial information flow from input to output in hippocampal granule cells. <i>Neuron</i>. 2020;107(6):1212-1225. doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">10.1016/j.neuron.2020.07.006</a>","chicago":"Zhang, Xiaomin, Alois Schlögl, and Peter M Jonas. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” <i>Neuron</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">https://doi.org/10.1016/j.neuron.2020.07.006</a>.","ista":"Zhang X, Schlögl A, Jonas PM. 2020. Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. 107(6), 1212–1225.","short":"X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.","apa":"Zhang, X., Schlögl, A., &#38; Jonas, P. M. (2020). Selective routing of spatial information flow from input to output in hippocampal granule cells. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">https://doi.org/10.1016/j.neuron.2020.07.006</a>"},"has_accepted_license":"1","pmid":1,"type":"journal_article","file_date_updated":"2020-12-04T09:29:21Z","oa_version":"Published Version","ec_funded":1,"related_material":{"link":[{"url":"https://ist.ac.at/en/news/the-bouncer-in-the-brain/","description":"News on IST Website","relation":"press_release"}]},"doi":"10.1016/j.neuron.2020.07.006","article_type":"original"},{"publication":"IEEE Transactions on Signal Processing","article_processing_charge":"No","year":"2020","language":[{"iso":"eng"}],"acknowledgement":"The authors would like to thank Dr. Michiel Brentjens at the Netherlands Institute for Radio Astronomy (ASTRON) for providing radio interferometer data and Dr. Josip Marjanovic and Dr. Franciszek Hennel at the Magnetic Resonance Technology of ETH Zurich for providing their insights on the experiments. CZ and the DS3Lab gratefully acknowledge the support from the Swiss Data Science Center, Alibaba, Google Focused Research Awards, Huawei, MeteoSwiss, Oracle Labs, Swisscom, Zurich Insurance, Chinese Scholarship Council, and the Department of Computer Science at ETH Zurich.","main_file_link":[{"url":"https://arxiv.org/abs/1802.04907","open_access":"1"}],"title":"Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications","intvolume":"        68","doi":"10.1109/TSP.2020.3010355","article_type":"original","oa_version":"Preprint","type":"journal_article","date_updated":"2023-08-22T08:40:08Z","citation":{"ama":"Gurel NM, Kara K, Stojanov A, et al. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. <i>IEEE Transactions on Signal Processing</i>. 2020;68:4268-4282. doi:<a href=\"https://doi.org/10.1109/TSP.2020.3010355\">10.1109/TSP.2020.3010355</a>","mla":"Gurel, Nezihe Merve, et al. “Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications.” <i>IEEE Transactions on Signal Processing</i>, vol. 68, IEEE, 2020, pp. 4268–82, doi:<a href=\"https://doi.org/10.1109/TSP.2020.3010355\">10.1109/TSP.2020.3010355</a>.","ieee":"N. M. Gurel <i>et al.</i>, “Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications,” <i>IEEE Transactions on Signal Processing</i>, vol. 68. IEEE, pp. 4268–4282, 2020.","short":"N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M. Puschel, C. Zhang, IEEE Transactions on Signal Processing 68 (2020) 4268–4282.","apa":"Gurel, N. M., Kara, K., Stojanov, A., Smith, T., Lemmin, T., Alistarh, D.-A., … Zhang, C. (2020). Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. <i>IEEE Transactions on Signal Processing</i>. IEEE. <a href=\"https://doi.org/10.1109/TSP.2020.3010355\">https://doi.org/10.1109/TSP.2020.3010355</a>","chicago":"Gurel, Nezihe Merve, Kaan Kara, Alen Stojanov, Tyler Smith, Thomas Lemmin, Dan-Adrian Alistarh, Markus Puschel, and Ce Zhang. “Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications.” <i>IEEE Transactions on Signal Processing</i>. IEEE, 2020. <a href=\"https://doi.org/10.1109/TSP.2020.3010355\">https://doi.org/10.1109/TSP.2020.3010355</a>.","ista":"Gurel NM, Kara K, Stojanov A, Smith T, Lemmin T, Alistarh D-A, Puschel M, Zhang C. 2020. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. 68, 4268–4282."},"date_published":"2020-07-20T00:00:00Z","month":"07","scopus_import":"1","publisher":"IEEE","page":"4268-4282","date_created":"2020-08-16T22:00:56Z","status":"public","day":"20","isi":1,"department":[{"_id":"DaAl"}],"quality_controlled":"1","oa":1,"arxiv":1,"external_id":{"isi":["000562044500001"],"arxiv":["1802.04907"]},"author":[{"full_name":"Gurel, Nezihe Merve","first_name":"Nezihe Merve","last_name":"Gurel"},{"first_name":"Kaan","last_name":"Kara","full_name":"Kara, Kaan"},{"last_name":"Stojanov","first_name":"Alen","full_name":"Stojanov, Alen"},{"first_name":"Tyler","last_name":"Smith","full_name":"Smith, Tyler"},{"last_name":"Lemmin","first_name":"Thomas","full_name":"Lemmin, Thomas"},{"full_name":"Alistarh, Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X"},{"full_name":"Puschel, Markus","last_name":"Puschel","first_name":"Markus"},{"full_name":"Zhang, Ce","first_name":"Ce","last_name":"Zhang"}],"publication_identifier":{"eissn":["19410476"],"issn":["1053587X"]},"volume":68,"abstract":[{"lang":"eng","text":"Modern scientific instruments produce vast amounts of data, which can overwhelm the processing ability of computer systems. Lossy compression of data is an intriguing solution, but comes with its own drawbacks, such as potential signal loss, and the need for careful optimization of the compression ratio. In this work, we focus on a setting where this problem is especially acute: compressive sensing frameworks for interferometry and medical imaging. We ask the following question: can the precision of the data representation be lowered for all inputs, with recovery guarantees and practical performance Our first contribution is a theoretical analysis of the normalized Iterative Hard Thresholding (IHT) algorithm when all input data, meaning both the measurement matrix and the observation vector are quantized aggressively. We present a variant of low precision normalized IHT that, under mild conditions, can still provide recovery guarantees. The second contribution is the application of our quantization framework to radio astronomy and magnetic resonance imaging. We show that lowering the precision of the data can significantly accelerate image recovery. We evaluate our approach on telescope data and samples of brain images using CPU and FPGA implementations achieving up to a 9x speedup with negligible loss of recovery quality."}],"_id":"8268","publication_status":"published","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8"},{"acknowledgement":"We thank Dr. Gai Huang for his comments and help. We apologize to authors whose work could not be cited due to space limitation. No conflict of interest declared.","intvolume":"        13","title":"Origin of a subgenome and genome evolution of allotetraploid cotton species","article_processing_charge":"No","publication":"Molecular Plant","language":[{"iso":"eng"}],"year":"2020","date_updated":"2023-08-22T08:40:35Z","citation":{"chicago":"He, Peng, Yuzhou Zhang, and Guanghui Xiao. “Origin of a Subgenome and Genome Evolution of Allotetraploid Cotton Species.” <i>Molecular Plant</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">https://doi.org/10.1016/j.molp.2020.07.006</a>.","ista":"He P, Zhang Y, Xiao G. 2020. Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. 13(9), 1238–1240.","short":"P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240.","apa":"He, P., Zhang, Y., &#38; Xiao, G. (2020). Origin of a subgenome and genome evolution of allotetraploid cotton species. <i>Molecular Plant</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">https://doi.org/10.1016/j.molp.2020.07.006</a>","mla":"He, Peng, et al. “Origin of a Subgenome and Genome Evolution of Allotetraploid Cotton Species.” <i>Molecular Plant</i>, vol. 13, no. 9, Elsevier, 2020, pp. 1238–40, doi:<a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">10.1016/j.molp.2020.07.006</a>.","ieee":"P. He, Y. Zhang, and G. Xiao, “Origin of a subgenome and genome evolution of allotetraploid cotton species,” <i>Molecular Plant</i>, vol. 13, no. 9. Elsevier, pp. 1238–1240, 2020.","ama":"He P, Zhang Y, Xiao G. Origin of a subgenome and genome evolution of allotetraploid cotton species. <i>Molecular Plant</i>. 2020;13(9):1238-1240. doi:<a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">10.1016/j.molp.2020.07.006</a>"},"pmid":1,"type":"journal_article","scopus_import":"1","month":"09","date_published":"2020-09-07T00:00:00Z","doi":"10.1016/j.molp.2020.07.006","article_type":"original","oa_version":"None","department":[{"_id":"JiFr"}],"isi":1,"day":"07","issue":"9","quality_controlled":"1","page":"1238-1240","publisher":"Elsevier","status":"public","date_created":"2020-08-16T22:00:57Z","_id":"8271","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","external_id":{"pmid":["32688032"],"isi":["000566895400007"]},"author":[{"last_name":"He","first_name":"Peng","full_name":"He, Peng"},{"full_name":"Zhang, Yuzhou","first_name":"Yuzhou","orcid":"0000-0003-2627-6956","last_name":"Zhang","id":"3B6137F2-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Xiao, Guanghui","first_name":"Guanghui","last_name":"Xiao"}],"volume":13,"publication_identifier":{"eissn":["17529867"],"issn":["16742052"]}},{"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","abstract":[{"text":"We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinism. Lexicographic order allows to consider multiple objectives with a strict preference order over the satisfaction of the objectives. To the best of our knowledge, stochastic games with lexicographic objectives have not been studied before. We establish determinacy of such games and present strategy and computational complexity results. For strategy complexity, we show that lexicographically optimal strategies exist that are deterministic and memory is only required to remember the already satisfied and violated objectives. For a constant number of objectives, we show that the relevant decision problem is in   NP∩coNP , matching the current known bound for single objectives; and in general the decision problem is   PSPACE -hard and can be solved in   NEXPTIME∩coNEXPTIME . We present an algorithm that computes the lexicographically optimal strategies via a reduction to computation of optimal strategies in a sequence of single-objectives games. We have implemented our algorithm and report experimental results on various case studies.","lang":"eng"}],"_id":"8272","project":[{"grant_number":"863818","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"},{"name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425","grant_number":"ICT15-003"}],"volume":12225,"publication_identifier":{"eissn":["16113349"],"isbn":["9783030532901"],"issn":["03029743"]},"external_id":{"arxiv":["2005.04018"],"isi":["000695272500021"]},"author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee"},{"full_name":"Katoen, Joost P","id":"4524F760-F248-11E8-B48F-1D18A9856A87","first_name":"Joost P","last_name":"Katoen"},{"last_name":"Weininger","first_name":"Maximilian","full_name":"Weininger, Maximilian"},{"full_name":"Winkler, Tobias","last_name":"Winkler","first_name":"Tobias"}],"quality_controlled":"1","arxiv":1,"oa":1,"isi":1,"day":"14","department":[{"_id":"KrCh"}],"status":"public","date_created":"2020-08-16T22:00:58Z","page":"398-420","file":[{"content_type":"application/pdf","file_size":625056,"date_updated":"2020-08-17T11:32:44Z","creator":"dernst","file_id":"8276","relation":"main_file","access_level":"open_access","file_name":"2020_LNCS_CAV_Chatterjee.pdf","success":1,"date_created":"2020-08-17T11:32:44Z","checksum":"093d4788d7d5b2ce0ffe64fbe7820043"}],"publisher":"Springer Nature","date_published":"2020-07-14T00:00:00Z","month":"07","ddc":["000"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"scopus_import":"1","date_updated":"2025-07-14T09:10:14Z","citation":{"apa":"Chatterjee, K., Katoen, J. P., Weininger, M., &#38; Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In <i>International Conference on Computer Aided Verification</i> (Vol. 12225, pp. 398–420). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">https://doi.org/10.1007/978-3-030-53291-8_21</a>","short":"K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.","ista":"Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.","chicago":"Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” In <i>International Conference on Computer Aided Verification</i>, 12225:398–420. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">https://doi.org/10.1007/978-3-030-53291-8_21</a>.","ama":"Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: <i>International Conference on Computer Aided Verification</i>. Vol 12225. Springer Nature; 2020:398-420. doi:<a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">10.1007/978-3-030-53291-8_21</a>","ieee":"K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games with lexicographic reachability-safety objectives,” in <i>International Conference on Computer Aided Verification</i>, 2020, vol. 12225, pp. 398–420.","mla":"Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” <i>International Conference on Computer Aided Verification</i>, vol. 12225, Springer Nature, 2020, pp. 398–420, doi:<a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">10.1007/978-3-030-53291-8_21</a>."},"has_accepted_license":"1","type":"conference","oa_version":"Published Version","file_date_updated":"2020-08-17T11:32:44Z","related_material":{"record":[{"status":"public","id":"12738","relation":"later_version"}]},"alternative_title":["LNCS"],"conference":{"name":"CAV: Computer Aided Verification"},"doi":"10.1007/978-3-030-53291-8_21","ec_funded":1,"intvolume":"     12225","title":"Stochastic games with lexicographic reachability-safety objectives","year":"2020","language":[{"iso":"eng"}],"article_processing_charge":"No","publication":"International Conference on Computer Aided Verification"},{"author":[{"last_name":"Chen","first_name":"Huihuang","full_name":"Chen, Huihuang"},{"first_name":"Linyi","last_name":"Lai","full_name":"Lai, Linyi"},{"full_name":"Li, Lanxin","id":"367EF8FA-F248-11E8-B48F-1D18A9856A87","first_name":"Lanxin","orcid":"0000-0002-5607-272X","last_name":"Li"},{"first_name":"Liping","last_name":"Liu","full_name":"Liu, Liping"},{"first_name":"Bello Hassan","last_name":"Jakada","full_name":"Jakada, Bello Hassan"},{"full_name":"Huang, Youmei","first_name":"Youmei","last_name":"Huang"},{"full_name":"He, Qing","first_name":"Qing","last_name":"He"},{"first_name":"Mengnan","last_name":"Chai","full_name":"Chai, Mengnan"},{"first_name":"Xiaoping","last_name":"Niu","full_name":"Niu, Xiaoping"},{"full_name":"Qin, Yuan","first_name":"Yuan","last_name":"Qin"}],"external_id":{"isi":["000565090300001"],"pmid":["32785037"]},"volume":21,"publication_identifier":{"eissn":["14220067"],"issn":["16616596"]},"_id":"8283","abstract":[{"text":"Drought and salt stress are the main environmental cues affecting the survival, development, distribution, and yield of crops worldwide. MYB transcription factors play a crucial role in plants’ biological processes, but the function of pineapple MYB genes is still obscure. In this study, one of the pineapple MYB transcription factors, AcoMYB4, was isolated and characterized. The results showed that AcoMYB4 is localized in the cell nucleus, and its expression is induced by low temperature, drought, salt stress, and hormonal stimulation, especially by abscisic acid (ABA). Overexpression of AcoMYB4 in rice and Arabidopsis enhanced plant sensitivity to osmotic stress; it led to an increase in the number stomata on leaf surfaces and lower germination rate under salt and drought stress. Furthermore, in AcoMYB4 OE lines, the membrane oxidation index, free proline, and soluble sugar contents were decreased. In contrast, electrolyte leakage and malondialdehyde (MDA) content increased significantly due to membrane injury, indicating higher sensitivity to drought and salinity stresses. Besides the above, both the expression level and activities of several antioxidant enzymes were decreased, indicating lower antioxidant activity in AcoMYB4 transgenic plants. Moreover, under osmotic stress, overexpression of AcoMYB4 inhibited ABA biosynthesis through a decrease in the transcription of genes responsible for ABA synthesis (ABA1 and ABA2) and ABA signal transduction factor ABI5. These results suggest that AcoMYB4 negatively regulates osmotic stress by attenuating cellular ABA biosynthesis and signal transduction pathways. ","lang":"eng"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","publisher":"MDPI","file":[{"date_created":"2020-08-25T09:53:50Z","checksum":"03b039244e6ae80580385fd9f577e2b2","success":1,"access_level":"open_access","file_name":"2020_IntMolecSciences_Chen.pdf","file_id":"8292","relation":"main_file","creator":"cziletti","date_updated":"2020-08-25T09:53:50Z","content_type":"application/pdf","file_size":5718755}],"status":"public","date_created":"2020-08-24T06:24:03Z","department":[{"_id":"JiFr"}],"isi":1,"day":"10","oa":1,"issue":"16","quality_controlled":"1","related_material":{"record":[{"status":"public","id":"10083","relation":"dissertation_contains"}]},"doi":"10.3390/ijms21165727","article_type":"original","file_date_updated":"2020-08-25T09:53:50Z","oa_version":"Published Version","article_number":"5272","has_accepted_license":"1","citation":{"ieee":"H. Chen <i>et al.</i>, “AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling,” <i>International Journal of Molecular Sciences</i>, vol. 21, no. 16. MDPI, 2020.","mla":"Chen, Huihuang, et al. “AcoMYB4, an Ananas Comosus L. MYB Transcription Factor, Functions in Osmotic Stress through Negative Regulation of ABA Signaling.” <i>International Journal of Molecular Sciences</i>, vol. 21, no. 16, 5272, MDPI, 2020, doi:<a href=\"https://doi.org/10.3390/ijms21165727\">10.3390/ijms21165727</a>.","ama":"Chen H, Lai L, Li L, et al. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. <i>International Journal of Molecular Sciences</i>. 2020;21(16). doi:<a href=\"https://doi.org/10.3390/ijms21165727\">10.3390/ijms21165727</a>","ista":"Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, Qin Y. 2020. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 21(16), 5272.","chicago":"Chen, Huihuang, Linyi Lai, Lanxin Li, Liping Liu, Bello Hassan Jakada, Youmei Huang, Qing He, Mengnan Chai, Xiaoping Niu, and Yuan Qin. “AcoMYB4, an Ananas Comosus L. MYB Transcription Factor, Functions in Osmotic Stress through Negative Regulation of ABA Signaling.” <i>International Journal of Molecular Sciences</i>. MDPI, 2020. <a href=\"https://doi.org/10.3390/ijms21165727\">https://doi.org/10.3390/ijms21165727</a>.","apa":"Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y., … Qin, Y. (2020). AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. <i>International Journal of Molecular Sciences</i>. MDPI. <a href=\"https://doi.org/10.3390/ijms21165727\">https://doi.org/10.3390/ijms21165727</a>","short":"H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020)."},"date_updated":"2024-10-29T10:22:43Z","pmid":1,"type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"scopus_import":"1","month":"08","date_published":"2020-08-10T00:00:00Z","ddc":["570"],"article_processing_charge":"No","publication":"International Journal of Molecular Sciences","language":[{"iso":"eng"}],"year":"2020","acknowledgement":"We would like to thank the reviewers for their helpful comments on the original manuscript. ","intvolume":"        21","title":"AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling"},{"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","_id":"8284","abstract":[{"lang":"eng","text":"Multiple resistance and pH adaptation (Mrp) antiporters are multi-subunit Na+ (or K+)/H+ exchangers representing an ancestor of many essential redox-driven proton pumps, such as respiratory complex I. The mechanism of coupling between ion or electron transfer and proton translocation in this large protein family is unknown. Here, we present the structure of the Mrp complex from Anoxybacillus flavithermus solved by cryo-EM at 3.0 Å resolution. It is a dimer of seven-subunit protomers with 50 trans-membrane helices each. Surface charge distribution within each monomer is remarkably asymmetric, revealing probable proton and sodium translocation pathways. On the basis of the structure we propose a mechanism where the coupling between sodium and proton translocation is facilitated by a series of electrostatic interactions between a cation and key charged residues. This mechanism is likely to be applicable to the entire family of redox proton pumps, where electron transfer to substrates replaces cation movements."}],"volume":9,"publication_identifier":{"eissn":["2050084X"]},"project":[{"_id":"26169496-B435-11E9-9278-68D0E5697425","name":"Revealing the functional mechanism of Mrp antiporter, an ancestor of complex I","grant_number":"24741"}],"external_id":{"isi":["000562123600001"],"pmid":["32735215"]},"author":[{"full_name":"Steiner, Julia","orcid":"0000-0003-0493-3775","last_name":"Steiner","first_name":"Julia","id":"3BB67EB0-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Sazanov, Leonid A","first_name":"Leonid A","last_name":"Sazanov","orcid":"0000-0002-0977-7989","id":"338D39FE-F248-11E8-B48F-1D18A9856A87"}],"oa":1,"quality_controlled":"1","department":[{"_id":"LeSa"}],"isi":1,"day":"31","status":"public","date_created":"2020-08-24T06:24:04Z","file":[{"content_type":"application/pdf","file_size":7320493,"date_updated":"2020-08-24T13:31:53Z","creator":"cziletti","file_id":"8289","relation":"main_file","access_level":"open_access","file_name":"2020_eLife_Steiner.pdf","success":1,"date_created":"2020-08-24T13:31:53Z","checksum":"b3656d14d5ddbb9d26e3074eea2d0c15"}],"publisher":"eLife Sciences Publications","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"scopus_import":"1","month":"07","date_published":"2020-07-31T00:00:00Z","ddc":["570"],"article_number":"e59407","citation":{"short":"J. Steiner, L.A. Sazanov, ELife 9 (2020).","apa":"Steiner, J., &#38; Sazanov, L. A. (2020). Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/eLife.59407\">https://doi.org/10.7554/eLife.59407</a>","chicago":"Steiner, Julia, and Leonid A Sazanov. “Structure and Mechanism of the Mrp Complex, an Ancient Cation/Proton Antiporter.” <i>ELife</i>. eLife Sciences Publications, 2020. <a href=\"https://doi.org/10.7554/eLife.59407\">https://doi.org/10.7554/eLife.59407</a>.","ista":"Steiner J, Sazanov LA. 2020. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 9, e59407.","ama":"Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. <i>eLife</i>. 2020;9. doi:<a href=\"https://doi.org/10.7554/eLife.59407\">10.7554/eLife.59407</a>","mla":"Steiner, Julia, and Leonid A. Sazanov. “Structure and Mechanism of the Mrp Complex, an Ancient Cation/Proton Antiporter.” <i>ELife</i>, vol. 9, e59407, eLife Sciences Publications, 2020, doi:<a href=\"https://doi.org/10.7554/eLife.59407\">10.7554/eLife.59407</a>.","ieee":"J. Steiner and L. A. Sazanov, “Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter,” <i>eLife</i>, vol. 9. eLife Sciences Publications, 2020."},"date_updated":"2023-09-07T13:14:08Z","has_accepted_license":"1","pmid":1,"type":"journal_article","file_date_updated":"2020-08-24T13:31:53Z","oa_version":"Published Version","related_material":{"link":[{"url":"https://ist.ac.at/en/news/mystery-of-giant-proton-pump-solved/","relation":"press_release","description":"News on IST Homepage"}],"record":[{"status":"public","id":"8353","relation":"dissertation_contains"}]},"doi":"10.7554/eLife.59407","article_type":"original","intvolume":"         9","title":"Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter","acknowledgement":"This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by the Electron Microscopy Facility (EMF), the Life Science Facility (LSF) and the IST high-performance computing cluster. We thank Dr Victor-Valentin Hodirnau and Daniel Johann Gütl from IST Austria for assistance with collecting cryo-EM data. We thank Prof. Masahiro Ito (Graduate School of Life Sciences, Toyo University, Japan) for a kind provision of plasmid DNA encoding Mrp from A. flavithermus WK1. JS is a recipient of a DOC Fellowship of the Austrian Academy of Sciences at the Institute of Science and Technology, Austria.","language":[{"iso":"eng"}],"year":"2020","acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"LifeSc"}],"article_processing_charge":"No","publication":"eLife"}]