[{"status":"public","volume":77,"title":"Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation","_id":"8189","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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.","OA_type":"green","month":"11","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"http://hdl.handle.net/2117/335346"}],"article_type":"original","year":"2020","article_processing_charge":"No","author":[{"last_name":"Yu","first_name":"Xiaoting","full_name":"Yu, Xiaoting"},{"last_name":"Liu","first_name":"Junfeng","full_name":"Liu, Junfeng"},{"first_name":"Junshan","full_name":"Li, Junshan","last_name":"Li"},{"last_name":"Luo","first_name":"Zhishan","full_name":"Luo, Zhishan"},{"last_name":"Zuo","full_name":"Zuo, Yong","first_name":"Yong"},{"last_name":"Xing","full_name":"Xing, Congcong","first_name":"Congcong"},{"first_name":"Jordi","full_name":"Llorca, Jordi","last_name":"Llorca"},{"first_name":"Déspina","full_name":"Nasiou, Déspina","last_name":"Nasiou"},{"full_name":"Arbiol, Jordi","first_name":"Jordi","last_name":"Arbiol"},{"first_name":"Kai","full_name":"Pan, Kai","last_name":"Pan"},{"id":"8BD9DE16-AB3C-11E9-9C8C-2A03E6697425","first_name":"Tobias","full_name":"Kleinhanns, Tobias","last_name":"Kleinhanns"},{"last_name":"Xie","first_name":"Ying","full_name":"Xie, Ying"},{"full_name":"Cabot, Andreu","first_name":"Andreu","last_name":"Cabot"}],"date_updated":"2025-04-24T11:53:45Z","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"}],"oa_version":"Submitted Version","external_id":{"isi":["000581738300030"]},"publication_identifier":{"issn":["2211-2855"]},"issue":"11","scopus_import":"1","language":[{"iso":"eng"}],"OA_place":"repository","publication":"Nano Energy","date_published":"2020-11-01T00:00:00Z","oa":1,"doi":"10.1016/j.nanoen.2020.105116","day":"01","publication_status":"published","article_number":"105116","citation":{"ama":"Yu X, Liu J, Li J, et al. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. Nano Energy. 2020;77(11). doi:10.1016/j.nanoen.2020.105116","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).","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. Nano Energy. Elsevier. https://doi.org/10.1016/j.nanoen.2020.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.” Nano Energy. Elsevier, 2020. https://doi.org/10.1016/j.nanoen.2020.105116.","ieee":"X. Yu et al., “Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation,” Nano Energy, vol. 77, no. 11. Elsevier, 2020.","mla":"Yu, Xiaoting, et al. “Phosphorous Incorporation in Pd2Sn Alloys for Electrocatalytic Ethanol Oxidation.” Nano Energy, vol. 77, no. 11, 105116, Elsevier, 2020, doi:10.1016/j.nanoen.2020.105116.","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."},"department":[{"_id":"MaIb"}],"type":"journal_article","intvolume":" 77","isi":1,"publisher":"Elsevier","date_created":"2020-08-02T22:00:57Z"},{"publisher":"Association for Computing Machinery","oa_version":"None","isi":1,"type":"conference","date_updated":"2024-02-28T12:56:32Z","abstract":[{"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.","lang":"eng"}],"department":[{"_id":"DaAl"}],"year":"2020","author":[{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X","last_name":"Alistarh"},{"last_name":"Brown","full_name":"Brown, Trevor A","first_name":"Trevor A","id":"3569F0A0-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Singhal","full_name":"Singhal, Nandini","first_name":"Nandini"}],"article_processing_charge":"No","citation":{"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.","mla":"Alistarh, Dan-Adrian, et al. “Memory Tagging: Minimalist Synchronization for Scalable Concurrent Data Structures.” Annual ACM Symposium on Parallelism in Algorithms and Architectures, no. 7, Association for Computing Machinery, 2020, pp. 37–49, doi:10.1145/3350755.3400213.","ieee":"D.-A. Alistarh, T. A. Brown, and N. Singhal, “Memory tagging: Minimalist synchronization for scalable concurrent data structures,” in Annual ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, United States, 2020, no. 7, pp. 37–49.","chicago":"Alistarh, Dan-Adrian, Trevor A Brown, and Nandini Singhal. “Memory Tagging: Minimalist Synchronization for Scalable Concurrent Data Structures.” In Annual ACM Symposium on Parallelism in Algorithms and Architectures, 37–49. Association for Computing Machinery, 2020. https://doi.org/10.1145/3350755.3400213.","apa":"Alistarh, D.-A., Brown, T. A., & Singhal, N. (2020). Memory tagging: Minimalist synchronization for scalable concurrent data structures. In Annual ACM Symposium on Parallelism in Algorithms and Architectures (pp. 37–49). Virtual Event, United States: Association for Computing Machinery. https://doi.org/10.1145/3350755.3400213","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.","ama":"Alistarh D-A, Brown TA, Singhal N. Memory tagging: Minimalist synchronization for scalable concurrent data structures. In: Annual ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2020:37-49. doi:10.1145/3350755.3400213"},"page":"37-49","scopus_import":"1","issue":"7","publication_identifier":{"isbn":["9781450369350"]},"date_created":"2020-08-02T22:00:58Z","external_id":{"isi":["000744436200004"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1145/3350755.3400213","date_published":"2020-07-06T00:00:00Z","_id":"8191","conference":{"location":"Virtual Event, United States","name":"SPAA: Symposium on Parallelism in Algorithms and Architectures","start_date":"2020-07-15","end_date":"2020-07-17"},"title":"Memory tagging: Minimalist synchronization for scalable concurrent data structures","publication":"Annual ACM Symposium on Parallelism in Algorithms and Architectures","language":[{"iso":"eng"}],"status":"public","quality_controlled":"1","month":"07","publication_status":"published","day":"06"},{"day":"01","publication_status":"published","language":[{"iso":"eng"}],"project":[{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407","name":"Game Theory","call_identifier":"FWF"}],"publication":"Proceedings of the 30th International Conference on Automated Planning and Scheduling","date_published":"2020-06-01T00:00:00Z","conference":{"location":"Nancy, France","name":"ICAPS: International Conference on Automated Planning and Scheduling","start_date":"2020-10-26","end_date":"2020-10-30"},"date_created":"2020-08-02T22:00:58Z","citation":{"mla":"Chatterjee, Krishnendu, et al. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” Proceedings of the 30th International Conference on Automated Planning and Scheduling, vol. 30, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.","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.","ieee":"K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, and A. Royer, “Multiple-environment Markov decision processes: Efficient analysis and applications,” in Proceedings of the 30th International Conference on Automated Planning and Scheduling, Nancy, France, 2020, vol. 30, pp. 48–56.","chicago":"Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný, and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” In Proceedings of the 30th International Conference on Automated Planning and Scheduling, 30:48–56. Association for the Advancement of Artificial Intelligence, 2020.","apa":"Chatterjee, K., Chmelik, M., Karkhanis, D., Novotný, P., & Royer, A. (2020). Multiple-environment Markov decision processes: Efficient analysis and applications. In Proceedings of the 30th International Conference on Automated Planning and Scheduling (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement of Artificial Intelligence.","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.","ama":"Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. Multiple-environment Markov decision processes: Efficient analysis and applications. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling. Vol 30. Association for the Advancement of Artificial Intelligence; 2020:48-56."},"department":[{"_id":"KrCh"}],"type":"conference","publisher":"Association for the Advancement of Artificial Intelligence","intvolume":" 30","quality_controlled":"1","month":"06","status":"public","title":"Multiple-environment Markov decision processes: Efficient analysis and applications","volume":30,"_id":"8193","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.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["2334-0843"],"issn":["2334-0835"]},"scopus_import":"1","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"8390"}]},"page":"48-56","date_updated":"2025-07-10T11:55:07Z","abstract":[{"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.","lang":"eng"}],"year":"2020","author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Chmelik","id":"3624234E-F248-11E8-B48F-1D18A9856A87","first_name":"Martin","full_name":"Chmelik, Martin"},{"first_name":"Deep","full_name":"Karkhanis, Deep","last_name":"Karkhanis"},{"last_name":"Novotný","first_name":"Petr","full_name":"Novotný, Petr","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Royer","orcid":"0000-0002-8407-0705","id":"3811D890-F248-11E8-B48F-1D18A9856A87","full_name":"Royer, Amélie","first_name":"Amélie"}],"article_processing_charge":"No","oa_version":"None"},{"scopus_import":"1","publication_identifier":{"isbn":["9783030510732"],"eissn":["16113349"],"issn":["03029743"]},"external_id":{"isi":["000884318000002"]},"oa_version":"Published Version","date_updated":"2025-04-15T06:26:04Z","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"}],"year":"2020","author":[{"last_name":"Baranowski","first_name":"Marek","full_name":"Baranowski, Marek"},{"full_name":"He, Shaobo","first_name":"Shaobo","last_name":"He"},{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","first_name":"Mathias","full_name":"Lechner, Mathias","last_name":"Lechner"},{"full_name":"Nguyen, Thanh Son","first_name":"Thanh Son","last_name":"Nguyen"},{"first_name":"Zvonimir","full_name":"Rakamarić, Zvonimir","last_name":"Rakamarić"}],"article_processing_charge":"No","main_file_link":[{"url":"https://doi.org/10.1007/978-3-030-51074-9_2","open_access":"1"}],"page":"13-31","quality_controlled":"1","month":"06","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","_id":"8194","title":"An SMT theory of fixed-point arithmetic","volume":12166,"status":"public","date_created":"2020-08-02T22:00:59Z","publisher":"Springer Nature","intvolume":" 12166","isi":1,"department":[{"_id":"ToHe"}],"type":"conference","citation":{"apa":"Baranowski, M., He, S., Lechner, M., Nguyen, T. S., & Rakamarić, Z. (2020). An SMT theory of fixed-point arithmetic. In Automated Reasoning (Vol. 12166, pp. 13–31). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-030-51074-9_2","ama":"Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31. doi:10.1007/978-3-030-51074-9_2","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 Automated Reasoning, Paris, France, 2020, vol. 12166, pp. 13–31.","chicago":"Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In Automated Reasoning, 12166:13–31. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-51074-9_2.","mla":"Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:10.1007/978-3-030-51074-9_2.","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."},"alternative_title":["LNCS"],"publication_status":"published","day":"24","doi":"10.1007/978-3-030-51074-9_2","date_published":"2020-06-24T00:00:00Z","conference":{"location":"Paris, France","name":"IJCAR: International Joint Conference on Automated Reasoning","start_date":"2020-07-01","end_date":"2020-07-04"},"oa":1,"publication":"Automated Reasoning","project":[{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"Formal methods for the design and analysis of complex systems","call_identifier":"FWF"}],"language":[{"iso":"eng"}]},{"title":"Refinement for structured concurrent programs","volume":12224,"status":"public","acknowledgement":"Bernhard Kragl and Thomas A. Henzinger were supported by\r\nthe Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"8195","quality_controlled":"1","ddc":["000"],"month":"07","related_material":{"record":[{"status":"public","id":"8332","relation":"dissertation_contains"}]},"page":"275-298","has_accepted_license":"1","oa_version":"Published Version","date_updated":"2025-04-15T06:26:04Z","abstract":[{"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.","lang":"eng"}],"article_processing_charge":"No","author":[{"last_name":"Kragl","orcid":"0000-0001-7745-9117","full_name":"Kragl, Bernhard","first_name":"Bernhard","id":"320FC952-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Qadeer","full_name":"Qadeer, Shaz","first_name":"Shaz"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger"}],"year":"2020","external_id":{"isi":["000695276000014"]},"scopus_import":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"publication_identifier":{"isbn":["9783030532871"],"eissn":["1611-3349"],"eisbn":["9783030532888"],"issn":["0302-9743"]},"corr_author":"1","publication":"Computer Aided Verification","project":[{"call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211"}],"file_date_updated":"2020-08-06T08:14:54Z","file":[{"success":1,"date_updated":"2020-08-06T08:14:54Z","creator":"dernst","access_level":"open_access","file_id":"8201","relation":"main_file","file_name":"2020_LNCS_Kragl.pdf","content_type":"application/pdf","date_created":"2020-08-06T08:14:54Z","file_size":804237}],"language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-53288-8_14","date_published":"2020-07-14T00:00:00Z","oa":1,"day":"14","alternative_title":["LNCS"],"publication_status":"published","citation":{"ista":"Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.","mla":"Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.","ieee":"B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.","chicago":"Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In Computer Aided Verification, 12224:275–98. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53288-8_14.","apa":"Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14","short":"B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.","ama":"Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14"},"publisher":"Springer Nature","intvolume":" 12224","isi":1,"type":"conference","department":[{"_id":"ToHe"}],"date_created":"2020-08-03T11:45:35Z"},{"date_created":"2020-08-04T13:04:15Z","citation":{"apa":"Gulden, T., Berg, E., Rudner, M. S., & Lindner, N. (2020). Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.9.1.015","short":"T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).","ama":"Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 2020;9. doi:10.21468/scipostphys.9.1.015","mla":"Gulden, Tobias, et al. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” SciPost Physics, vol. 9, 015, SciPost Foundation, 2020, doi:10.21468/scipostphys.9.1.015.","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.","ieee":"T. Gulden, E. Berg, M. S. Rudner, and N. Lindner, “Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps,” SciPost Physics, vol. 9. SciPost Foundation, 2020.","chicago":"Gulden, Tobias, Erez Berg, Mark Spencer Rudner, and Netanel Lindner. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” SciPost Physics. SciPost Foundation, 2020. https://doi.org/10.21468/scipostphys.9.1.015."},"isi":1,"intvolume":" 9","publisher":"SciPost Foundation","department":[{"_id":"MaSe"}],"type":"journal_article","day":"29","article_number":"015","publication_status":"published","file_date_updated":"2020-08-06T08:56:06Z","publication":"SciPost Physics","project":[{"call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"language":[{"iso":"eng"}],"file":[{"success":1,"date_updated":"2020-08-06T08:56:06Z","creator":"dernst","access_level":"open_access","file_id":"8202","relation":"main_file","file_name":"2020_SciPostPhys_Gulden.pdf","file_size":531137,"date_created":"2020-08-06T08:56:06Z","content_type":"application/pdf"}],"oa":1,"date_published":"2020-07-29T00:00:00Z","doi":"10.21468/scipostphys.9.1.015","external_id":{"isi":["000557362300008"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"scopus_import":"1","corr_author":"1","publication_identifier":{"issn":["2542-4653"]},"article_type":"original","has_accepted_license":"1","oa_version":"Published Version","year":"2020","author":[{"orcid":"0000-0001-6814-7541","last_name":"Gulden","id":"1083E038-9F73-11E9-A4B5-532AE6697425","full_name":"Gulden, Tobias","first_name":"Tobias"},{"full_name":"Berg, Erez","first_name":"Erez","last_name":"Berg"},{"first_name":"Mark Spencer","full_name":"Rudner, Mark Spencer","last_name":"Rudner"},{"first_name":"Netanel","full_name":"Lindner, Netanel","last_name":"Lindner"}],"article_processing_charge":"No","date_updated":"2025-04-14T07:44:05Z","abstract":[{"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.","lang":"eng"}],"ec_funded":1,"ddc":["530"],"month":"07","quality_controlled":"1","volume":9,"title":"Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps","status":"public","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","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","_id":"8199"},{"status":"public","volume":20,"title":"Zero field splitting of heavy-hole states in quantum dots","_id":"8203","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","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.","month":"06","ddc":["530"],"quality_controlled":"1","page":"5201-5206","related_material":{"record":[{"relation":"research_data","id":"7689","status":"public"}]},"article_type":"original","author":[{"id":"38DB5788-F248-11E8-B48F-1D18A9856A87","first_name":"Georgios","full_name":"Katsaros, Georgios","last_name":"Katsaros","orcid":"0000-0001-8342-202X"},{"last_name":"Kukucka","full_name":"Kukucka, Josip","first_name":"Josip","id":"3F5D8856-F248-11E8-B48F-1D18A9856A87"},{"id":"31E9F056-F248-11E8-B48F-1D18A9856A87","full_name":"Vukušić, Lada","first_name":"Lada","last_name":"Vukušić","orcid":"0000-0003-2424-8636"},{"id":"35DF8E50-F248-11E8-B48F-1D18A9856A87","first_name":"Hannes","full_name":"Watzinger, Hannes","last_name":"Watzinger"},{"last_name":"Gao","first_name":"Fei","full_name":"Gao, Fei"},{"last_name":"Wang","orcid":"0000-0002-4619-9575","full_name":"Wang, Ting","first_name":"Ting"},{"full_name":"Zhang, Jian-Jun","first_name":"Jian-Jun","last_name":"Zhang"},{"last_name":"Held","first_name":"Karsten","full_name":"Held, Karsten"}],"year":"2020","article_processing_charge":"Yes (via OA deal)","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"}],"ec_funded":1,"date_updated":"2025-04-15T08:39:16Z","oa_version":"Published Version","has_accepted_license":"1","pmid":1,"external_id":{"pmid":["32479090"],"isi":["000548893200066"]},"corr_author":"1","publication_identifier":{"issn":["1530-6984"],"eissn":["1530-6992"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"scopus_import":"1","issue":"7","language":[{"iso":"eng"}],"file":[{"relation":"main_file","file_name":"2020_NanoLetters_Katsaros.pdf","date_created":"2020-08-06T09:35:37Z","file_size":3308906,"content_type":"application/pdf","date_updated":"2020-08-06T09:35:37Z","creator":"dernst","success":1,"access_level":"open_access","file_id":"8204"}],"project":[{"_id":"237B3DA4-32DE-11EA-91FC-C7463DDC885E","grant_number":"P32235","name":"Towards scalable hut wire quantum devices","call_identifier":"FWF"},{"call_identifier":"H2020","_id":"237E5020-32DE-11EA-91FC-C7463DDC885E","grant_number":"862046","name":"TOPOLOGICALLY PROTECTED AND SCALABLE QUANTUM BITS"}],"publication":"Nano Letters","file_date_updated":"2020-08-06T09:35:37Z","date_published":"2020-06-01T00:00:00Z","oa":1,"doi":"10.1021/acs.nanolett.0c01466","day":"01","publication_status":"published","citation":{"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. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.0c01466","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.","ama":"Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 2020;20(7):5201-5206. doi:10.1021/acs.nanolett.0c01466","mla":"Katsaros, Georgios, et al. “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” Nano Letters, vol. 20, no. 7, American Chemical Society, 2020, pp. 5201–06, doi:10.1021/acs.nanolett.0c01466.","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.","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.” Nano Letters. American Chemical Society, 2020. https://doi.org/10.1021/acs.nanolett.0c01466.","ieee":"G. Katsaros et al., “Zero field splitting of heavy-hole states in quantum dots,” Nano Letters, vol. 20, no. 7. American Chemical Society, pp. 5201–5206, 2020."},"type":"journal_article","department":[{"_id":"GeKa"}],"isi":1,"intvolume":" 20","publisher":"American Chemical Society","date_created":"2020-08-06T09:25:04Z","acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"M-Shop"}]},{"oa":1,"DOAJ_listed":"1","date_published":"2020-08-08T00:00:00Z","doi":"10.3390/ijms21165693","OA_place":"publisher","language":[{"iso":"eng"}],"file":[{"file_name":"2020_IntMolecSciences_Koehler.pdf","checksum":"dac7ccef7cdcea9be292664d8c488425","relation":"main_file","content_type":"application/pdf","date_created":"2020-09-10T07:06:22Z","file_size":2680908,"access_level":"open_access","date_updated":"2020-09-10T07:06:22Z","success":1,"creator":"dernst","file_id":"8356"}],"file_date_updated":"2020-09-10T07:06:22Z","publication":"International Journal of Molecular Sciences","publication_status":"published","article_number":"5693","day":"08","type":"journal_article","intvolume":" 21","publisher":"MDPI","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.” International Journal of Molecular Sciences, vol. 21, no. 16, 5693, MDPI, 2020, doi:10.3390/ijms21165693.","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.","ieee":"V. K. Köhler et al., “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, vol. 21, no. 16. MDPI, 2020.","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.” International Journal of Molecular Sciences. MDPI, 2020. https://doi.org/10.3390/ijms21165693.","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).","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. International Journal of Molecular Sciences. 2020;21(16). doi:10.3390/ijms21165693","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. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21165693"},"date_created":"2020-08-10T11:47:29Z","_id":"8225","user_id":"0043cee0-e5fc-11ee-9736-f83bc23afbf0","status":"public","volume":21,"title":"Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1","OA_type":"gold","month":"08","ddc":["570"],"quality_controlled":"1","year":"2020","article_processing_charge":"No","author":[{"last_name":"Köhler","orcid":"0000-0001-5581-398X","first_name":"Verena K.","full_name":"Köhler, Verena K."},{"orcid":"0000-0002-1909-5957","last_name":"Crescioli","first_name":"Silvia","full_name":"Crescioli, Silvia"},{"orcid":"0000-0002-8777-3502","last_name":"Fazekas-Singer","id":"36432834-F248-11E8-B48F-1D18A9856A87","full_name":"Fazekas-Singer, Judit","first_name":"Judit"},{"first_name":"Heather J.","full_name":"Bax, Heather J.","last_name":"Bax","orcid":"0000-0003-0432-4160"},{"full_name":"Hofer, Gerhard","first_name":"Gerhard","last_name":"Hofer"},{"full_name":"Pranger, Christina L.","first_name":"Christina L.","last_name":"Pranger"},{"last_name":"Hufnagl","first_name":"Karin","full_name":"Hufnagl, Karin"},{"full_name":"Bianchini, Rodolfo","first_name":"Rodolfo","orcid":"0000-0003-0351-6937","last_name":"Bianchini"},{"last_name":"Flicker","orcid":"0000-0003-4768-8693","full_name":"Flicker, Sabine","first_name":"Sabine"},{"first_name":"Walter","full_name":"Keller, Walter","orcid":"0000-0002-2261-958X","last_name":"Keller"},{"full_name":"Karagiannis, Sophia N.","first_name":"Sophia N.","last_name":"Karagiannis","orcid":"0000-0002-4100-7810"},{"orcid":"0000-0003-4019-5765","last_name":"Jensen-Jarolim","first_name":"Erika","full_name":"Jensen-Jarolim, Erika"}],"abstract":[{"lang":"eng","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."}],"date_updated":"2024-10-15T13:11:23Z","has_accepted_license":"1","oa_version":"Published Version","pmid":1,"article_type":"original","publication_identifier":{"issn":["1422-0067"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"issue":"16","external_id":{"pmid":["32784509"]},"extern":"1"},{"citation":{"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.","mla":"Gotovina, Jelena, et al. “Epinephrine Drives Human M2a Allergic Macrophages to a Regulatory Phenotype Reducing Mast Cell Degranulation in Vitro.” Allergy, Wiley, 2020, doi:10.1111/all.14299.","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.” Allergy. Wiley, 2020. https://doi.org/10.1111/all.14299.","ieee":"J. Gotovina et al., “Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro,” Allergy. Wiley, 2020.","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. Allergy. Wiley. https://doi.org/10.1111/all.14299","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).","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. Allergy. 2020. doi:10.1111/all.14299"},"article_type":"letter_note","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1111/all.14299"}],"publisher":"Wiley","oa_version":"Published Version","type":"journal_article","date_updated":"2024-10-15T13:13:56Z","author":[{"orcid":"0000-0003-1503-5276","last_name":"Gotovina","first_name":"Jelena","full_name":"Gotovina, Jelena"},{"full_name":"Bianchini, Rodolfo","first_name":"Rodolfo","orcid":"0000-0003-0351-6937","last_name":"Bianchini"},{"first_name":"Judit","full_name":"Fazekas-Singer, Judit","id":"36432834-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8777-3502","last_name":"Fazekas-Singer"},{"full_name":"Herrmann, Ina","first_name":"Ina","orcid":"0000-0003-2772-9144","last_name":"Herrmann"},{"first_name":"Giulia","full_name":"Pellizzari, Giulia","last_name":"Pellizzari","orcid":"0000-0003-0387-1912"},{"orcid":"0000-0002-5301-0822","last_name":"Haidl","full_name":"Haidl, Ian D.","first_name":"Ian D."},{"last_name":"Hufnagl","orcid":"0000-0002-2288-2468","full_name":"Hufnagl, Karin","first_name":"Karin"},{"first_name":"Sophia N.","full_name":"Karagiannis, Sophia N.","last_name":"Karagiannis","orcid":"0000-0002-4100-7810"},{"first_name":"Jean S.","full_name":"Marshall, Jean S.","orcid":"0000-0002-5642-1379","last_name":"Marshall"},{"orcid":"0000-0003-4019-5765","last_name":"Jensen‐Jarolim","full_name":"Jensen‐Jarolim, Erika","first_name":"Erika"}],"year":"2020","article_processing_charge":"No","date_created":"2020-08-10T11:50:30Z","extern":"1","publication_identifier":{"issn":["0105-4538","1398-9995"]},"title":"Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro","publication":"Allergy","language":[{"iso":"eng"}],"status":"public","OA_place":"publisher","user_id":"0043cee0-e5fc-11ee-9736-f83bc23afbf0","doi":"10.1111/all.14299","date_published":"2020-04-04T00:00:00Z","_id":"8226","oa":1,"day":"04","quality_controlled":"1","month":"04","publication_status":"epub_ahead","OA_type":"hybrid"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.15479/AT:ISTA:8254","oa":1,"_id":"8254","date_published":"2020-08-18T00:00:00Z","file_date_updated":"2020-08-18T08:03:23Z","title":"Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)","file":[{"date_updated":"2020-08-18T08:03:23Z","creator":"dernst","success":1,"access_level":"open_access","file_id":"8280","checksum":"4f1382ed4384751b6013398c11557bf6","relation":"main_file","file_name":"Data_Rcode_MathematicaNB.zip","content_type":"application/x-zip-compressed","date_created":"2020-08-18T08:03:23Z","file_size":5778420}],"status":"public","month":"08","ddc":["576"],"contributor":[{"last_name":"Arathoon","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87","contributor_type":"data_collector","first_name":"Louise S"},{"first_name":"Parvathy","contributor_type":"project_member","id":"455235B8-F248-11E8-B48F-1D18A9856A87","last_name":"Surendranadh"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","contributor_type":"project_member","first_name":"Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240"},{"orcid":"0000-0002-4014-8478","last_name":"Field","contributor_type":"project_member","first_name":"David","id":"419049E2-F248-11E8-B48F-1D18A9856A87"},{"contributor_type":"project_member","first_name":"Melinda","id":"2C78037E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6118-0541","last_name":"Pickup"},{"last_name":"Baskett","contributor_type":"project_member","first_name":"Carina","id":"3B4A7CE2-F248-11E8-B48F-1D18A9856A87"}],"day":"18","publisher":"Institute of Science and Technology Austria","has_accepted_license":"1","oa_version":"Published Version","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."}],"type":"research_data","department":[{"_id":"NiBa"}],"date_updated":"2024-10-09T21:02:14Z","author":[{"last_name":"Arathoon","orcid":"0000-0003-1771-714X","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87","first_name":"Louise S","full_name":"Arathoon, Louise S"}],"article_processing_charge":"No","year":"2020","citation":{"ama":"Arathoon LS. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). 2020. doi:10.15479/AT:ISTA:8254","short":"L.S. Arathoon, (2020).","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. https://doi.org/10.15479/AT:ISTA:8254","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. https://doi.org/10.15479/AT:ISTA:8254.","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. Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus). Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8254.","ista":"Arathoon LS. 2020. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus), Institute of Science and Technology Austria, 10.15479/AT:ISTA:8254."},"related_material":{"record":[{"status":"public","id":"9192","relation":"later_version"},{"relation":"later_version","id":"11321","status":"public"}]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"corr_author":"1","date_created":"2020-08-12T12:49:23Z"},{"day":"23","publication_status":"published","language":[{"iso":"eng"}],"file":[{"date_created":"2020-12-04T09:29:21Z","file_size":3011120,"content_type":"application/pdf","relation":"main_file","checksum":"44a5960fc083a4cb3488d22224859fdc","file_name":"2020_Neuron_Zhang.pdf","file_id":"8920","success":1,"date_updated":"2020-12-04T09:29:21Z","creator":"dernst","access_level":"open_access"}],"file_date_updated":"2020-12-04T09:29:21Z","project":[{"_id":"25B7EB9E-B435-11E9-9278-68D0E5697425","grant_number":"692692","name":"Biophysics and circuit function of a giant cortical glutamatergic synapse","call_identifier":"H2020"},{"call_identifier":"FWF","_id":"25C5A090-B435-11E9-9278-68D0E5697425","grant_number":"Z00312","name":"Synaptic communication in neuronal microcircuits"}],"publication":"Neuron","oa":1,"date_published":"2020-09-23T00:00:00Z","doi":"10.1016/j.neuron.2020.07.006","date_created":"2020-08-14T09:36:05Z","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"ScienComp"},{"_id":"PreCl"}],"citation":{"apa":"Zhang, X., Schlögl, A., & Jonas, P. M. (2020). Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.07.006","short":"X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.","ama":"Zhang X, Schlögl A, Jonas PM. Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. 2020;107(6):1212-1225. doi:10.1016/j.neuron.2020.07.006","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.","mla":"Zhang, Xiaomin, et al. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” Neuron, vol. 107, no. 6, Elsevier, 2020, pp. 1212–25, doi:10.1016/j.neuron.2020.07.006.","ieee":"X. Zhang, A. Schlögl, and P. M. Jonas, “Selective routing of spatial information flow from input to output in hippocampal granule cells,” Neuron, vol. 107, no. 6. Elsevier, pp. 1212–1225, 2020.","chicago":"Zhang, Xiaomin, Alois Schlögl, and Peter M Jonas. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” Neuron. Elsevier, 2020. https://doi.org/10.1016/j.neuron.2020.07.006."},"department":[{"_id":"PeJo"},{"_id":"ScienComp"}],"type":"journal_article","isi":1,"intvolume":" 107","publisher":"Elsevier","month":"09","ddc":["570"],"quality_controlled":"1","status":"public","volume":107,"title":"Selective routing of spatial information flow from input to output in hippocampal granule cells","_id":"8261","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","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.","external_id":{"isi":["000579698700009"],"pmid":["32763145"]},"corr_author":"1","publication_identifier":{"issn":["0896-6273"]},"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"},"issue":"6","scopus_import":"1","page":"1212-1225","related_material":{"link":[{"description":"News on IST Website","relation":"press_release","url":"https://ist.ac.at/en/news/the-bouncer-in-the-brain/"}]},"article_type":"original","year":"2020","author":[{"last_name":"Zhang","full_name":"Zhang, Xiaomin","first_name":"Xiaomin","id":"423EC9C2-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-5621-8100","last_name":"Schlögl","full_name":"Schlögl, Alois","first_name":"Alois","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Peter M","full_name":"Jonas, Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas","orcid":"0000-0001-5001-4804"}],"article_processing_charge":"No","ec_funded":1,"date_updated":"2025-04-15T08:29:03Z","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."}],"oa_version":"Published Version","has_accepted_license":"1","pmid":1},{"_id":"8268","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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.","status":"public","volume":68,"title":"Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications","month":"07","quality_controlled":"1","year":"2020","author":[{"first_name":"Nezihe Merve","full_name":"Gurel, Nezihe Merve","last_name":"Gurel"},{"full_name":"Kara, Kaan","first_name":"Kaan","last_name":"Kara"},{"full_name":"Stojanov, Alen","first_name":"Alen","last_name":"Stojanov"},{"last_name":"Smith","full_name":"Smith, Tyler","first_name":"Tyler"},{"first_name":"Thomas","full_name":"Lemmin, Thomas","last_name":"Lemmin"},{"orcid":"0000-0003-3650-940X","last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian","first_name":"Dan-Adrian"},{"first_name":"Markus","full_name":"Puschel, Markus","last_name":"Puschel"},{"last_name":"Zhang","first_name":"Ce","full_name":"Zhang, Ce"}],"article_processing_charge":"No","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."}],"date_updated":"2025-07-10T11:55:10Z","arxiv":1,"oa_version":"Preprint","page":"4268-4282","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1802.04907"}],"article_type":"original","publication_identifier":{"issn":["1053-587X"],"eissn":["1941-0476"]},"scopus_import":"1","external_id":{"arxiv":["1802.04907"],"isi":["000562044500001"]},"date_published":"2020-07-20T00:00:00Z","oa":1,"doi":"10.1109/TSP.2020.3010355","language":[{"iso":"eng"}],"publication":"IEEE Transactions on Signal Processing","publication_status":"published","day":"20","department":[{"_id":"DaAl"}],"type":"journal_article","intvolume":" 68","isi":1,"publisher":"IEEE","citation":{"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.” IEEE Transactions on Signal Processing. IEEE, 2020. https://doi.org/10.1109/TSP.2020.3010355.","ieee":"N. M. Gurel et al., “Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications,” IEEE Transactions on Signal Processing, vol. 68. IEEE, pp. 4268–4282, 2020.","mla":"Gurel, Nezihe Merve, et al. “Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications.” IEEE Transactions on Signal Processing, vol. 68, IEEE, 2020, pp. 4268–82, doi:10.1109/TSP.2020.3010355.","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.","ama":"Gurel NM, Kara K, Stojanov A, et al. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. 2020;68:4268-4282. doi:10.1109/TSP.2020.3010355","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. IEEE Transactions on Signal Processing. IEEE. https://doi.org/10.1109/TSP.2020.3010355"},"date_created":"2020-08-16T22:00:56Z"},{"date_created":"2020-08-16T22:00:57Z","citation":{"chicago":"He, Peng, Yuzhou Zhang, and Guanghui Xiao. “Origin of a Subgenome and Genome Evolution of Allotetraploid Cotton Species.” Molecular Plant. Elsevier, 2020. https://doi.org/10.1016/j.molp.2020.07.006.","ieee":"P. He, Y. Zhang, and G. Xiao, “Origin of a subgenome and genome evolution of allotetraploid cotton species,” Molecular Plant, vol. 13, no. 9. Elsevier, pp. 1238–1240, 2020.","mla":"He, Peng, et al. “Origin of a Subgenome and Genome Evolution of Allotetraploid Cotton Species.” Molecular Plant, vol. 13, no. 9, Elsevier, 2020, pp. 1238–40, doi:10.1016/j.molp.2020.07.006.","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.","apa":"He, P., Zhang, Y., & Xiao, G. (2020). Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. Elsevier. https://doi.org/10.1016/j.molp.2020.07.006","ama":"He P, Zhang Y, Xiao G. Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. 2020;13(9):1238-1240. doi:10.1016/j.molp.2020.07.006","short":"P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240."},"intvolume":" 13","isi":1,"publisher":"Elsevier","type":"journal_article","department":[{"_id":"JiFr"}],"day":"07","publication_status":"published","publication":"Molecular Plant","OA_place":"publisher","language":[{"iso":"eng"}],"date_published":"2020-09-07T00:00:00Z","oa":1,"doi":"10.1016/j.molp.2020.07.006","external_id":{"isi":["000566895400007"],"pmid":["32688032"]},"scopus_import":"1","issue":"9","publication_identifier":{"issn":["1674-2052"],"eissn":["1752-9867"]},"article_type":"original","page":"1238-1240","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.molp.2020.07.006"}],"oa_version":"Published Version","pmid":1,"article_processing_charge":"No","author":[{"last_name":"He","full_name":"He, Peng","first_name":"Peng"},{"orcid":"0000-0003-2627-6956","last_name":"Zhang","full_name":"Zhang, Yuzhou","first_name":"Yuzhou","id":"3B6137F2-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Xiao","first_name":"Guanghui","full_name":"Xiao, Guanghui"}],"year":"2020","date_updated":"2025-06-25T07:51:18Z","month":"09","quality_controlled":"1","OA_type":"free access","volume":13,"title":"Origin of a subgenome and genome evolution of allotetraploid cotton species","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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.","_id":"8271"},{"_id":"8272","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","status":"public","title":"Stochastic games with lexicographic reachability-safety objectives","volume":12225,"quality_controlled":"1","ddc":["000"],"month":"07","ec_funded":1,"abstract":[{"lang":"eng","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."}],"date_updated":"2025-04-15T06:25:37Z","article_processing_charge":"No","year":"2020","author":[{"first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee"},{"last_name":"Katoen","full_name":"Katoen, Joost P","first_name":"Joost P","id":"4524F760-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Weininger, Maximilian","first_name":"Maximilian","last_name":"Weininger"},{"last_name":"Winkler","first_name":"Tobias","full_name":"Winkler, Tobias"}],"oa_version":"Published Version","has_accepted_license":"1","arxiv":1,"related_material":{"record":[{"status":"public","id":"12738","relation":"later_version"}]},"page":"398-420","publication_identifier":{"eissn":["16113349"],"isbn":["9783030532901"],"issn":["03029743"]},"scopus_import":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"external_id":{"arxiv":["2005.04018"],"isi":["000695272500021"]},"doi":"10.1007/978-3-030-53291-8_21","date_published":"2020-07-14T00:00:00Z","oa":1,"conference":{"name":"CAV: Computer Aided Verification"},"file":[{"content_type":"application/pdf","date_created":"2020-08-17T11:32:44Z","file_size":625056,"file_name":"2020_LNCS_CAV_Chatterjee.pdf","relation":"main_file","checksum":"093d4788d7d5b2ce0ffe64fbe7820043","file_id":"8276","access_level":"open_access","date_updated":"2020-08-17T11:32:44Z","creator":"dernst","success":1}],"language":[{"iso":"eng"}],"publication":"International Conference on Computer Aided Verification","file_date_updated":"2020-08-17T11:32:44Z","project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020"},{"name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425","grant_number":"ICT15-003"}],"publication_status":"published","alternative_title":["LNCS"],"day":"14","department":[{"_id":"KrCh"}],"type":"conference","publisher":"Springer Nature","intvolume":" 12225","isi":1,"citation":{"chicago":"Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” In International Conference on Computer Aided Verification, 12225:398–420. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53291-8_21.","ieee":"K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games with lexicographic reachability-safety objectives,” in International Conference on Computer Aided Verification, 2020, vol. 12225, pp. 398–420.","mla":"Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” International Conference on Computer Aided Verification, vol. 12225, Springer Nature, 2020, pp. 398–420, doi:10.1007/978-3-030-53291-8_21.","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.","ama":"Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: International Conference on Computer Aided Verification. Vol 12225. Springer Nature; 2020:398-420. doi:10.1007/978-3-030-53291-8_21","short":"K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.","apa":"Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In International Conference on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature. https://doi.org/10.1007/978-3-030-53291-8_21"},"date_created":"2020-08-16T22:00:58Z"},{"author":[{"first_name":"Benjamin K.","full_name":"Malia, Benjamin K.","last_name":"Malia"},{"last_name":"Martínez-Rincón","full_name":"Martínez-Rincón, Julián","first_name":"Julián"},{"first_name":"Yunfan","full_name":"Wu, Yunfan","last_name":"Wu"},{"orcid":"0000-0002-2031-204X","last_name":"Hosten","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","first_name":"Onur","full_name":"Hosten, Onur"},{"last_name":"Kasevich","full_name":"Kasevich, Mark A.","first_name":"Mark A."}],"year":"2020","article_processing_charge":"No","abstract":[{"text":"We demonstrate the utility of optical cavity generated spin-squeezed states in free space atomic fountain clocks in ensembles of 390 000 87Rb atoms. Fluorescence imaging, correlated to an initial quantum nondemolition measurement, is used for population spectroscopy after the atoms are released from a confining lattice. For a free fall time of 4 milliseconds, we resolve a single-shot phase sensitivity of 814(61) microradians, which is 5.8(0.6) decibels (dB) below the quantum projection limit. We observe that this squeezing is preserved as the cloud expands to a roughly 200 μm radius and falls roughly 300 μm in free space. Ramsey spectroscopy with 240 000 atoms at a 3.6 ms Ramsey time results in a single-shot fractional frequency stability of 8.4(0.2)×10−12, 3.8(0.2) dB below the quantum projection limit. The sensitivity and stability are limited by the technical noise in the fluorescence detection protocol and the microwave system, respectively.","lang":"eng"}],"date_updated":"2023-10-18T08:38:35Z","arxiv":1,"oa_version":"Preprint","pmid":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1912.10218"}],"article_type":"original","publication_identifier":{"eissn":["1079-7114"],"issn":["0031-9007"]},"issue":"4","scopus_import":"1","external_id":{"pmid":["32794788"],"arxiv":["1912.10218"],"isi":["000552227400008"]},"_id":"8285","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"This work is supported by the Office of Naval Research (N00014-16-1-2927- A00003), Vannevar Bush Faculty Fellowship (N00014-16-1-2812- P00005), Department of Energy (DE-SC0019174- 0001), and Defense Threat Reduction Agency (HDTRA1-15-1-0017- P00005).","status":"public","volume":125,"title":"Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit","month":"07","quality_controlled":"1","type":"journal_article","department":[{"_id":"OnHo"}],"isi":1,"intvolume":" 125","publisher":"American Physical Society","citation":{"mla":"Malia, Benjamin K., et al. “Free Space Ramsey Spectroscopy in Rubidium with Noise below the Quantum Projection Limit.” Physical Review Letters, vol. 125, no. 4, 043202, American Physical Society, 2020, doi:10.1103/PhysRevLett.125.043202.","ista":"Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. 2020. Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. 125(4), 043202.","chicago":"Malia, Benjamin K., Julián Martínez-Rincón, Yunfan Wu, Onur Hosten, and Mark A. Kasevich. “Free Space Ramsey Spectroscopy in Rubidium with Noise below the Quantum Projection Limit.” Physical Review Letters. American Physical Society, 2020. https://doi.org/10.1103/PhysRevLett.125.043202.","ieee":"B. K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, and M. A. Kasevich, “Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit,” Physical Review Letters, vol. 125, no. 4. American Physical Society, 2020.","short":"B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical Review Letters 125 (2020).","ama":"Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. 2020;125(4). doi:10.1103/PhysRevLett.125.043202","apa":"Malia, B. K., Martínez-Rincón, J., Wu, Y., Hosten, O., & Kasevich, M. A. (2020). Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.125.043202"},"date_created":"2020-08-24T06:24:04Z","date_published":"2020-07-24T00:00:00Z","oa":1,"doi":"10.1103/PhysRevLett.125.043202","language":[{"iso":"eng"}],"publication":"Physical Review Letters","publication_status":"published","article_number":"043202","day":"24"},{"date_created":"2020-08-25T12:52:48Z","tmp":{"name":"The 3-Clause BSD License","legal_code_url":"https://opensource.org/licenses/BSD-3-Clause","short":"3-Clause BSD"},"corr_author":"1","license":"https://opensource.org/licenses/BSD-3-Clause","citation":{"apa":"Hauschild, R. (2020). RGtracker. IST Austria. https://doi.org/10.15479/AT:ISTA:8294","ama":"Hauschild R. RGtracker. 2020. doi:10.15479/AT:ISTA:8294","short":"R. Hauschild, (2020).","ieee":"R. Hauschild, “RGtracker.” IST Austria, 2020.","chicago":"Hauschild, Robert. “RGtracker.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8294.","ista":"Hauschild R. 2020. RGtracker, IST Austria, 10.15479/AT:ISTA:8294.","mla":"Hauschild, Robert. RGtracker. IST Austria, 2020, doi:10.15479/AT:ISTA:8294."},"has_accepted_license":"1","publisher":"IST Austria","year":"2020","author":[{"orcid":"0000-0001-9843-3522","last_name":"Hauschild","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","full_name":"Hauschild, Robert"}],"abstract":[{"lang":"eng","text":"Automated root growth analysis and tracking of root tips. "}],"type":"software","date_updated":"2024-10-09T21:05:14Z","department":[{"_id":"Bio"}],"day":"10","month":"09","ddc":["570"],"title":"RGtracker","file_date_updated":"2020-09-08T14:26:33Z","status":"public","file":[{"content_type":"text/plain","file_size":882,"date_created":"2020-09-08T14:26:31Z","file_name":"readme.txt","checksum":"108352149987ac6f066e4925bd56e35e","relation":"main_file","file_id":"8346","access_level":"open_access","date_updated":"2020-09-08T14:26:31Z","creator":"rhauschild","success":1},{"date_updated":"2020-09-08T14:26:33Z","creator":"rhauschild","success":1,"access_level":"open_access","file_id":"8347","relation":"main_file","checksum":"ffd6c643b28e0cc7c6d0060a18a7e8ea","file_name":"RGtracker.mlappinstall","content_type":"application/octet-stream","date_created":"2020-09-08T14:26:33Z","file_size":246121}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2020-09-10T00:00:00Z","_id":"8294","oa":1,"doi":"10.15479/AT:ISTA:8294"},{"status":"public","language":[{"iso":"eng"}],"publication":"arXiv","title":"GRANDPA: A Byzantine finality gadget","doi":"10.48550/arXiv.2007.01560","_id":"8307","oa":1,"date_published":"2020-07-03T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"03","publication_status":"submitted","article_number":"2007.01560","month":"07","main_file_link":[{"url":"https://arxiv.org/abs/2007.01560","open_access":"1"}],"citation":{"ieee":"A. Stewart and E. Kokoris Kogias, “GRANDPA: A Byzantine finality gadget,” arXiv. .","chicago":"Stewart, Alistair, and Eleftherios Kokoris Kogias. “GRANDPA: A Byzantine Finality Gadget.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2007.01560.","ista":"Stewart A, Kokoris Kogias E. GRANDPA: A Byzantine finality gadget. arXiv, 2007.01560.","mla":"Stewart, Alistair, and Eleftherios Kokoris Kogias. “GRANDPA: A Byzantine Finality Gadget.” ArXiv, 2007.01560, doi:10.48550/arXiv.2007.01560.","ama":"Stewart A, Kokoris Kogias E. GRANDPA: A Byzantine finality gadget. arXiv. doi:10.48550/arXiv.2007.01560","short":"A. Stewart, E. Kokoris Kogias, ArXiv (n.d.).","apa":"Stewart, A., & Kokoris Kogias, E. (n.d.). GRANDPA: A Byzantine finality gadget. arXiv. https://doi.org/10.48550/arXiv.2007.01560"},"date_updated":"2025-06-26T11:27:41Z","abstract":[{"text":"Classic Byzantine fault-tolerant consensus protocols forfeit liveness in the face of asynchrony in order to preserve safety, whereas most deployed blockchain protocols forfeit safety in order to remain live. In this work, we achieve the best of both worlds by proposing a novel abstractions called the finality gadget. A finality gadget allows for transactions to always optimistically commit but informs the clients that these transactions might be unsafe. As a result, a blockchain can execute transactions optimistically and only commit them after they have been sufficiently and provably audited. In\r\nthis work, we formally model the finality gadget abstraction, prove that it is impossible to solve it deterministically in full asynchrony (even though it is stronger than consensus) and provide a partially synchronous protocol which is currently securing a major blockchain. This way we show that the protocol designer can decouple safety and liveness in order to speed up recovery from failures. We believe that there can be other types of finality gadgets that provide weaker safety (e.g., probabilistic) in order to gain more efficiency and this can depend on the probability that the network is not in synchrony.","lang":"eng"}],"type":"preprint","author":[{"last_name":"Stewart","full_name":"Stewart, Alistair","first_name":"Alistair"},{"id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","first_name":"Eleftherios","full_name":"Kokoris Kogias, Eleftherios","last_name":"Kokoris Kogias"}],"article_processing_charge":"No","year":"2020","arxiv":1,"oa_version":"Preprint","date_created":"2020-08-26T12:32:10Z","extern":"1","external_id":{"arxiv":["2007.01560"]}},{"_id":"8308","acknowledgement":"Acknowledgments. We acknowledge useful discussions with W. De Roeck and A. Michailidis. P.B. was supported by the European Union's Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant Agreement No. 665385. D.A. was supported by the Swiss National Science Foundation. M.S. was supported by European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (Grant Agreement No. 850899). This work benefited from visits to KITP, supported by the National Science Foundation under Grant No. NSF PHY-1748958 and from the program “Thermalization, Many Body Localization and Hydrodynamics” at International Centre for Theoretical Sciences (Code: ICTS/hydrodynamics2019/11).","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","title":"Stability of mobility edges in disordered interacting systems","volume":102,"OA_type":"green","quality_controlled":"1","ddc":["530"],"month":"08","ec_funded":1,"abstract":[{"lang":"eng","text":"Many-body localization provides a mechanism to avoid thermalization in isolated interacting quantum systems. The breakdown of thermalization may be complete, when all eigenstates in the many-body spectrum become localized, or partial, when the so-called many-body mobility edge separates localized and delocalized parts of the spectrum. Previously, De Roeck et al. [Phys. Rev. B 93, 014203 (2016)] suggested a possible instability of the many-body mobility edge in energy density. The local ergodic regions—so-called “bubbles”—resonantly spread throughout the system, leading to delocalization. In order to study such instability mechanism, in this work we design a model featuring many-body mobility edge in particle density: the states at small particle density are localized, while increasing the density of particles leads to delocalization. Using numerical simulations with matrix product states, we demonstrate the stability of many-body localization with respect to small bubbles in large dilute systems for experimentally relevant timescales. In addition, we demonstrate that processes where the bubble spreads are favored over processes that lead to resonant tunneling, suggesting a possible mechanism behind the observed stability of many-body mobility edge. We conclude by proposing experiments to probe particle density mobility edge in the Bose-Hubbard model."}],"date_updated":"2025-07-10T11:50:29Z","article_processing_charge":"No","author":[{"id":"4115AF5C-F248-11E8-B48F-1D18A9856A87","first_name":"Pietro","full_name":"Brighi, Pietro","orcid":"0000-0002-7969-2729","last_name":"Brighi"},{"last_name":"Abanin","full_name":"Abanin, Dmitry A.","first_name":"Dmitry A."},{"last_name":"Serbyn","orcid":"0000-0002-2399-5827","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","full_name":"Serbyn, Maksym","first_name":"Maksym"}],"year":"2020","oa_version":"Preprint","has_accepted_license":"1","arxiv":1,"related_material":{"record":[{"status":"public","id":"12732","relation":"dissertation_contains"}]},"article_type":"original","corr_author":"1","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"issue":"6","scopus_import":"1","external_id":{"isi":["000562628300001"],"arxiv":["2005.02999"]},"doi":"10.1103/physrevb.102.060202","oa":1,"date_published":"2020-08-26T00:00:00Z","file":[{"date_updated":"2020-08-26T19:28:55Z","creator":"mserbyn","success":1,"access_level":"open_access","file_id":"8309","checksum":"716442fa7861323fcc80b93718ca009c","relation":"main_file","file_name":"PhysRevB.102.060202.pdf","date_created":"2020-08-26T19:28:55Z","file_size":488825,"content_type":"application/pdf"},{"date_created":"2020-08-26T19:29:00Z","file_size":711405,"content_type":"application/pdf","relation":"main_file","checksum":"be0abdc8f60fe065ea6dc92e08487122","file_name":"Supplementary-mbme.pdf","file_id":"8310","date_updated":"2020-08-26T19:29:00Z","success":1,"creator":"mserbyn","access_level":"open_access"}],"OA_place":"repository","language":[{"iso":"eng"}],"project":[{"call_identifier":"H2020","name":"International IST Doctoral Program","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"},{"call_identifier":"H2020","grant_number":"850899","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E","name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control"}],"publication":"Physical Review B","file_date_updated":"2020-08-26T19:29:00Z","publication_status":"published","article_number":"060202(R)","day":"26","department":[{"_id":"MaSe"}],"type":"journal_article","publisher":"American Physical Society","intvolume":" 102","isi":1,"citation":{"ista":"Brighi P, Abanin DA, Serbyn M. 2020. Stability of mobility edges in disordered interacting systems. Physical Review B. 102(6), 060202(R).","mla":"Brighi, Pietro, et al. “Stability of Mobility Edges in Disordered Interacting Systems.” Physical Review B, vol. 102, no. 6, 060202(R), American Physical Society, 2020, doi:10.1103/physrevb.102.060202.","chicago":"Brighi, Pietro, Dmitry A. Abanin, and Maksym Serbyn. “Stability of Mobility Edges in Disordered Interacting Systems.” Physical Review B. American Physical Society, 2020. https://doi.org/10.1103/physrevb.102.060202.","ieee":"P. Brighi, D. A. Abanin, and M. Serbyn, “Stability of mobility edges in disordered interacting systems,” Physical Review B, vol. 102, no. 6. American Physical Society, 2020.","short":"P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).","ama":"Brighi P, Abanin DA, Serbyn M. Stability of mobility edges in disordered interacting systems. Physical Review B. 2020;102(6). doi:10.1103/physrevb.102.060202","apa":"Brighi, P., Abanin, D. A., & Serbyn, M. (2020). Stability of mobility edges in disordered interacting systems. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.102.060202"},"date_created":"2020-08-26T19:27:42Z"},{"publication_status":"published","article_number":"012224","day":"30","doi":"10.1103/PhysRevA.102.012224","oa":1,"date_published":"2020-07-30T00:00:00Z","language":[{"iso":"eng"}],"publication":"Physical Review A","date_created":"2020-08-30T22:01:10Z","department":[{"_id":"OnHo"}],"type":"journal_article","publisher":"American Physical Society","intvolume":" 102","isi":1,"citation":{"ista":"Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA. 2020. Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. 102(1), 012224.","mla":"Wu, Yunfan, et al. “Retrieval of Cavity-Generated Atomic Spin Squeezing after Free-Space Release.” Physical Review A, vol. 102, no. 1, 012224, American Physical Society, 2020, doi:10.1103/PhysRevA.102.012224.","chicago":"Wu, Yunfan, Rajiv Krishnakumar, Julián Martínez-Rincón, Benjamin K. Malia, Onur Hosten, and Mark A. Kasevich. “Retrieval of Cavity-Generated Atomic Spin Squeezing after Free-Space Release.” Physical Review A. American Physical Society, 2020. https://doi.org/10.1103/PhysRevA.102.012224.","ieee":"Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B. K. Malia, O. Hosten, and M. A. Kasevich, “Retrieval of cavity-generated atomic spin squeezing after free-space release,” Physical Review A, vol. 102, no. 1. American Physical Society, 2020.","short":"Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).","ama":"Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA. Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. 2020;102(1). doi:10.1103/PhysRevA.102.012224","apa":"Wu, Y., Krishnakumar, R., Martínez-Rincón, J., Malia, B. K., Hosten, O., & Kasevich, M. A. (2020). Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.102.012224"},"quality_controlled":"1","month":"07","_id":"8319","acknowledgement":"We thank N. Engelsen for comments on the manuscript. This work was supported by the Office of Naval Research, Vannevar Bush Faculty Fellowship, Department of Energy, and Defense Threat Reduction Agency. R.K. was partly supported by the AQT/INQNET program at Caltech.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","title":"Retrieval of cavity-generated atomic spin squeezing after free-space release","volume":102,"publication_identifier":{"eissn":["2469-9934"],"issn":["2469-9926"]},"issue":"1","scopus_import":"1","external_id":{"isi":["000555104200011"],"arxiv":["1912.08334"]},"date_updated":"2025-07-10T11:55:14Z","abstract":[{"lang":"eng","text":"We demonstrate that releasing atoms into free space from an optical lattice does not deteriorate cavity-generated spin squeezing for metrological purposes. In this work, an ensemble of 500000 spin-squeezed atoms in a high-finesse optical cavity with near-uniform atom-cavity coupling is prepared, released into free space, recaptured in the cavity, and probed. Up to ∼10 dB of metrologically relevant squeezing is retrieved for 700μs free-fall times, and decaying levels of squeezing are realized for up to 3 ms free-fall times. The degradation of squeezing results from loss of atom-cavity coupling homogeneity between the initial squeezed state generation and final collective state readout. A theoretical model is developed to quantify this degradation and this model is experimentally validated."}],"year":"2020","article_processing_charge":"No","author":[{"last_name":"Wu","first_name":"Yunfan","full_name":"Wu, Yunfan"},{"last_name":"Krishnakumar","full_name":"Krishnakumar, Rajiv","first_name":"Rajiv"},{"last_name":"Martínez-Rincón","first_name":"Julián","full_name":"Martínez-Rincón, Julián"},{"last_name":"Malia","first_name":"Benjamin K.","full_name":"Malia, Benjamin K."},{"orcid":"0000-0002-2031-204X","last_name":"Hosten","full_name":"Hosten, Onur","first_name":"Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Mark A.","full_name":"Kasevich, Mark A.","last_name":"Kasevich"}],"arxiv":1,"oa_version":"Preprint","main_file_link":[{"url":"https://arxiv.org/abs/1912.08334","open_access":"1"}],"article_type":"original"},{"external_id":{"isi":["000562110300001"]},"publication_identifier":{"eissn":["1608-3245"],"issn":["0026-8933"]},"scopus_import":"1","issue":"4","page":"475-484","related_material":{"record":[{"status":"public","relation":"original","id":"8321"}]},"article_type":"original","author":[{"first_name":"S. A.","full_name":"Mukba, S. A.","last_name":"Mukba"},{"id":"38BB9AC4-F248-11E8-B48F-1D18A9856A87","full_name":"Vlasov, Petr","first_name":"Petr","last_name":"Vlasov"},{"full_name":"Kolosov, P. M.","first_name":"P. M.","last_name":"Kolosov"},{"first_name":"E. Y.","full_name":"Shuvalova, E. Y.","last_name":"Shuvalova"},{"full_name":"Egorova, T. V.","first_name":"T. V.","last_name":"Egorova"},{"last_name":"Alkalaeva","first_name":"E. Z.","full_name":"Alkalaeva, E. Z."}],"year":"2020","article_processing_charge":"No","date_updated":"2025-07-10T11:57:02Z","abstract":[{"text":"The genetic code is considered to use five nucleic bases (adenine, guanine, cytosine, thymine and uracil), which form two pairs for encoding information in DNA and two pairs for encoding information in RNA. Nevertheless, in recent years several artificial base pairs have been developed in attempts to expand the genetic code. Employment of these additional base pairs increases the information capacity and variety of DNA sequences, and provides a platform for the site-specific, enzymatic incorporation of extra functional components into DNA and RNA. As a result, of the development of such expanded systems, many artificial base pairs have been synthesized and tested under various conditions. Following many stages of enhancement, unnatural base pairs have been modified to eliminate their weak points, qualifying them for specific research needs. Moreover, the first attempts to create a semi-synthetic organism containing DNA with unnatural base pairs seem to have been successful. This further extends the possible applications of these kinds of pairs. Herein, we describe the most significant qualities of unnatural base pairs and their actual applications.","lang":"eng"}],"oa_version":"None","month":"08","quality_controlled":"1","status":"public","volume":54,"title":"Expanding the genetic code: Unnatural base pairs in biological systems","_id":"8320","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"We would like to thank our co-workers and members of the Alkalaeva lab for participating in discussions about the topics covered in this essay.","date_created":"2020-08-30T22:01:11Z","citation":{"apa":"Mukba, S. A., Vlasov, P., Kolosov, P. M., Shuvalova, E. Y., Egorova, T. V., & Alkalaeva, E. Z. (2020). Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. Springer Nature. https://doi.org/10.1134/S0026893320040111","ama":"Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. 2020;54(4):475-484. doi:10.1134/S0026893320040111","short":"S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molecular Biology 54 (2020) 475–484.","chicago":"Mukba, S. A., Petr Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova, and E. Z. Alkalaeva. “Expanding the Genetic Code: Unnatural Base Pairs in Biological Systems.” Molecular Biology. Springer Nature, 2020. https://doi.org/10.1134/S0026893320040111.","ieee":"S. A. Mukba, P. Vlasov, P. M. Kolosov, E. Y. Shuvalova, T. V. Egorova, and E. Z. Alkalaeva, “Expanding the genetic code: Unnatural base pairs in biological systems,” Molecular Biology, vol. 54, no. 4. Springer Nature, pp. 475–484, 2020.","ista":"Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. 2020. Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. 54(4), 475–484.","mla":"Mukba, S. A., et al. “Expanding the Genetic Code: Unnatural Base Pairs in Biological Systems.” Molecular Biology, vol. 54, no. 4, Springer Nature, 2020, pp. 475–84, doi:10.1134/S0026893320040111."},"department":[{"_id":"FyKo"}],"type":"journal_article","intvolume":" 54","isi":1,"publisher":"Springer Nature","day":"19","publication_status":"published","language":[{"iso":"eng"}],"publication":"Molecular Biology","date_published":"2020-08-19T00:00:00Z","doi":"10.1134/S0026893320040111"}]