[{"intvolume":"        30","month":"06","date_published":"2020-06-01T00:00:00Z","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.","date_updated":"2023-09-07T13:16:18Z","page":"48-56","conference":{"location":"Nancy, France","start_date":"2020-10-26","end_date":"2020-10-30","name":"ICAPS: International Conference on Automated Planning and Scheduling"},"year":"2020","volume":30,"date_created":"2020-08-02T22:00:58Z","status":"public","day":"01","publication":"Proceedings of the 30th International Conference on Automated Planning and Scheduling","related_material":{"record":[{"id":"8390","status":"public","relation":"dissertation_contains"}]},"oa_version":"None","publisher":"Association for the Advancement of Artificial Intelligence","title":"Multiple-environment Markov decision processes: Efficient analysis and applications","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"full_name":"Chmelik, Martin","last_name":"Chmelik","first_name":"Martin","id":"3624234E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Deep","last_name":"Karkhanis","full_name":"Karkhanis, Deep"},{"first_name":"Petr","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","last_name":"Novotný","full_name":"Novotný, Petr"},{"full_name":"Royer, Amélie","last_name":"Royer","orcid":"0000-0002-8407-0705","first_name":"Amélie","id":"3811D890-F248-11E8-B48F-1D18A9856A87"}],"article_processing_charge":"No","department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"citation":{"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.","ieee":"K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, and A. Royer, “Multiple-environment Markov decision processes: Efficient analysis and applications,” in <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>, Nancy, France, 2020, vol. 30, pp. 48–56.","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.","ama":"Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. Multiple-environment Markov decision processes: Efficient analysis and applications. In: <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>. Vol 30. Association for the Advancement of Artificial Intelligence; 2020:48-56.","chicago":"Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný, and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” In <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>, 30:48–56. Association for the Advancement of Artificial Intelligence, 2020.","apa":"Chatterjee, K., Chmelik, M., Karkhanis, D., Novotný, P., &#38; Royer, A. (2020). Multiple-environment Markov decision processes: Efficient analysis and applications. In <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i> (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement of Artificial Intelligence.","mla":"Chatterjee, Krishnendu, et al. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>, vol. 30, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56."},"publication_identifier":{"issn":["23340835"],"eissn":["23340843"]},"type":"conference","scopus_import":"1","abstract":[{"lang":"eng","text":"Multiple-environment Markov decision processes (MEMDPs) are MDPs equipped with not one, but multiple probabilistic transition functions, which represent the various possible unknown environments. While the previous research on MEMDPs focused on theoretical properties for long-run average payoff, we study them with discounted-sum payoff and focus on their practical advantages and applications. MEMDPs can be viewed as a special case of Partially observable and Mixed observability MDPs: the state of the system is perfectly observable, but not the environment. We show that the specific structure of MEMDPs allows for more efficient algorithmic analysis, in particular for faster belief updates. We demonstrate the applicability of MEMDPs in several domains. In particular, we formalize the sequential decision-making approach to contextual recommendation systems as MEMDPs and substantially improve over the previous MDP approach."}],"_id":"8193","quality_controlled":"1","project":[{"call_identifier":"FWF","grant_number":"S11407","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425"}],"publication_status":"published"},{"year":"2020","conference":{"location":"Paris, France","start_date":"2020-07-01","end_date":"2020-07-04","name":"IJCAR: International Joint Conference on Automated Reasoning"},"page":"13-31","external_id":{"isi":["000884318000002"]},"oa":1,"date_updated":"2023-08-22T08:27:25Z","alternative_title":["LNCS"],"date_published":"2020-06-24T00:00:00Z","intvolume":"     12166","month":"06","oa_version":"Published Version","isi":1,"publication":"Automated Reasoning","main_file_link":[{"url":"https://doi.org/10.1007/978-3-030-51074-9_2","open_access":"1"}],"doi":"10.1007/978-3-030-51074-9_2","status":"public","day":"24","date_created":"2020-08-02T22:00:59Z","volume":12166,"language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"article_processing_charge":"No","title":"An SMT theory of fixed-point arithmetic","author":[{"last_name":"Baranowski","first_name":"Marek","full_name":"Baranowski, Marek"},{"last_name":"He","first_name":"Shaobo","full_name":"He, Shaobo"},{"full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","first_name":"Mathias","last_name":"Lechner"},{"full_name":"Nguyen, Thanh Son","last_name":"Nguyen","first_name":"Thanh Son"},{"full_name":"Rakamarić, Zvonimir","last_name":"Rakamarić","first_name":"Zvonimir"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publisher":"Springer Nature","publication_status":"published","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","grant_number":"Z211","call_identifier":"FWF"}],"quality_controlled":"1","_id":"8194","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"}],"scopus_import":"1","type":"conference","citation":{"apa":"Baranowski, M., He, S., Lechner, M., Nguyen, T. S., &#38; Rakamarić, Z. (2020). An SMT theory of fixed-point arithmetic. In <i>Automated Reasoning</i> (Vol. 12166, pp. 13–31). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">https://doi.org/10.1007/978-3-030-51074-9_2</a>","mla":"Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” <i>Automated Reasoning</i>, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:<a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">10.1007/978-3-030-51074-9_2</a>.","ieee":"M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in <i>Automated Reasoning</i>, Paris, France, 2020, vol. 12166, pp. 13–31.","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.","short":"M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.","ama":"Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: <i>Automated Reasoning</i>. Vol 12166. Springer Nature; 2020:13-31. doi:<a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">10.1007/978-3-030-51074-9_2</a>","chicago":"Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In <i>Automated Reasoning</i>, 12166:13–31. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">https://doi.org/10.1007/978-3-030-51074-9_2</a>."},"publication_identifier":{"isbn":["9783030510732"],"eissn":["16113349"],"issn":["03029743"]}},{"publication_status":"published","project":[{"grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"}],"scopus_import":"1","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"}],"file_date_updated":"2020-08-06T08:14:54Z","type":"conference","citation":{"mla":"Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” <i>Computer Aided Verification</i>, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:<a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">10.1007/978-3-030-53288-8_14</a>.","apa":"Kragl, B., Qadeer, S., &#38; Henzinger, T. A. (2020). Refinement for structured concurrent programs. In <i>Computer Aided Verification</i> (Vol. 12224, pp. 275–298). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">https://doi.org/10.1007/978-3-030-53288-8_14</a>","chicago":"Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In <i>Computer Aided Verification</i>, 12224:275–98. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">https://doi.org/10.1007/978-3-030-53288-8_14</a>.","ama":"Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: <i>Computer Aided Verification</i>. Vol 12224. Springer Nature; 2020:275-298. doi:<a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">10.1007/978-3-030-53288-8_14</a>","ista":"Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.","short":"B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.","ieee":"B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in <i>Computer Aided Verification</i>, 2020, vol. 12224, pp. 275–298."},"publication_identifier":{"eisbn":["9783030532888"],"isbn":["9783030532871"],"eissn":["1611-3349"],"issn":["0302-9743"]},"quality_controlled":"1","_id":"8195","department":[{"_id":"ToHe"}],"article_processing_charge":"No","language":[{"iso":"eng"}],"publisher":"Springer Nature","has_accepted_license":"1","title":"Refinement for structured concurrent programs","author":[{"full_name":"Kragl, Bernhard","first_name":"Bernhard","id":"320FC952-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7745-9117","last_name":"Kragl"},{"full_name":"Qadeer, Shaz","first_name":"Shaz","last_name":"Qadeer"},{"last_name":"Henzinger","orcid":"0000-0002-2985-7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"success":1,"file_name":"2020_LNCS_Kragl.pdf","date_created":"2020-08-06T08:14:54Z","date_updated":"2020-08-06T08:14:54Z","content_type":"application/pdf","file_id":"8201","file_size":804237,"creator":"dernst","relation":"main_file","access_level":"open_access"}],"publication":"Computer Aided Verification","doi":"10.1007/978-3-030-53288-8_14","oa_version":"Published Version","isi":1,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"8332"}]},"volume":12224,"day":"14","status":"public","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2020-08-03T11:45:35Z","ddc":["000"],"external_id":{"isi":["000695276000014"]},"page":"275-298","year":"2020","acknowledgement":"Bernhard Kragl and Thomas A. Henzinger were supported by\r\nthe Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","date_published":"2020-07-14T00:00:00Z","alternative_title":["LNCS"],"month":"07","intvolume":"     12224","oa":1,"date_updated":"2023-09-07T13:18:00Z"},{"citation":{"apa":"Gulden, T., Berg, E., Rudner, M. S., &#38; Lindner, N. (2020). Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. <i>SciPost Physics</i>. SciPost Foundation. <a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">https://doi.org/10.21468/scipostphys.9.1.015</a>","mla":"Gulden, Tobias, et al. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” <i>SciPost Physics</i>, vol. 9, 015, SciPost Foundation, 2020, doi:<a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">10.21468/scipostphys.9.1.015</a>.","ama":"Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. <i>SciPost Physics</i>. 2020;9. doi:<a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">10.21468/scipostphys.9.1.015</a>","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,” <i>SciPost Physics</i>, vol. 9. SciPost Foundation, 2020.","short":"T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).","chicago":"Gulden, Tobias, Erez Berg, Mark Spencer Rudner, and Netanel Lindner. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” <i>SciPost Physics</i>. SciPost Foundation, 2020. <a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">https://doi.org/10.21468/scipostphys.9.1.015</a>."},"publication_identifier":{"issn":["2542-4653"]},"type":"journal_article","file_date_updated":"2020-08-06T08:56:06Z","abstract":[{"lang":"eng","text":"We investigate a mechanism to transiently stabilize topological phenomena in long-lived quasi-steady states of isolated quantum many-body systems driven at low frequencies. We obtain an analytical bound for the lifetime of the quasi-steady states which is exponentially large in the inverse driving frequency. Within this lifetime, the quasi-steady state is characterized by maximum entropy subject to the constraint of fixed number of particles in the system's Floquet-Bloch bands. In such a state, all the non-universal properties of these bands are washed out, hence only the topological properties persist."}],"scopus_import":"1","_id":"8199","quality_controlled":"1","project":[{"call_identifier":"H2020","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","has_accepted_license":"1","publisher":"SciPost Foundation","file":[{"access_level":"open_access","relation":"main_file","file_size":531137,"creator":"dernst","content_type":"application/pdf","file_id":"8202","date_created":"2020-08-06T08:56:06Z","date_updated":"2020-08-06T08:56:06Z","file_name":"2020_SciPostPhys_Gulden.pdf","success":1}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps","author":[{"id":"1083E038-9F73-11E9-A4B5-532AE6697425","first_name":"Tobias","last_name":"Gulden","orcid":"0000-0001-6814-7541","full_name":"Gulden, Tobias"},{"last_name":"Berg","first_name":"Erez","full_name":"Berg, Erez"},{"first_name":"Mark Spencer","last_name":"Rudner","full_name":"Rudner, Mark Spencer"},{"full_name":"Lindner, Netanel","last_name":"Lindner","first_name":"Netanel"}],"article_processing_charge":"No","department":[{"_id":"MaSe"}],"language":[{"iso":"eng"}],"article_type":"original","volume":9,"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["530"],"date_created":"2020-08-04T13:04:15Z","status":"public","day":"29","doi":"10.21468/scipostphys.9.1.015","publication":"SciPost Physics","isi":1,"ec_funded":1,"oa_version":"Published Version","intvolume":"         9","month":"07","date_published":"2020-07-29T00:00:00Z","article_number":"015","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","date_updated":"2023-08-22T08:28:24Z","oa":1,"external_id":{"isi":["000557362300008"]},"year":"2020"},{"oa":1,"acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"M-Shop"}],"issue":"7","date_updated":"2024-02-21T12:44:01Z","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.","date_published":"2020-06-01T00:00:00Z","month":"06","intvolume":"        20","year":"2020","page":"5201-5206","external_id":{"pmid":["32479090"],"isi":["000548893200066"]},"status":"public","day":"01","ddc":["530"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2020-08-06T09:25:04Z","volume":20,"pmid":1,"oa_version":"Published Version","ec_funded":1,"isi":1,"related_material":{"record":[{"status":"public","relation":"research_data","id":"7689"}]},"publication":"Nano Letters","doi":"10.1021/acs.nanolett.0c01466","title":"Zero field splitting of heavy-hole states in quantum dots","author":[{"orcid":"0000-0001-8342-202X","last_name":"Katsaros","id":"38DB5788-F248-11E8-B48F-1D18A9856A87","first_name":"Georgios","full_name":"Katsaros, Georgios"},{"full_name":"Kukucka, Josip","first_name":"Josip","id":"3F5D8856-F248-11E8-B48F-1D18A9856A87","last_name":"Kukucka"},{"full_name":"Vukušić, Lada","orcid":"0000-0003-2424-8636","last_name":"Vukušić","first_name":"Lada","id":"31E9F056-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Watzinger, Hannes","last_name":"Watzinger","id":"35DF8E50-F248-11E8-B48F-1D18A9856A87","first_name":"Hannes"},{"last_name":"Gao","first_name":"Fei","full_name":"Gao, Fei"},{"first_name":"Ting","orcid":"0000-0002-4619-9575","last_name":"Wang","full_name":"Wang, Ting"},{"first_name":"Jian-Jun","last_name":"Zhang","full_name":"Zhang, Jian-Jun"},{"full_name":"Held, Karsten","last_name":"Held","first_name":"Karsten"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"date_updated":"2020-08-06T09:35:37Z","date_created":"2020-08-06T09:35:37Z","success":1,"file_name":"2020_NanoLetters_Katsaros.pdf","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_id":"8204","creator":"dernst","file_size":3308906}],"publisher":"American Chemical Society","has_accepted_license":"1","article_type":"original","language":[{"iso":"eng"}],"department":[{"_id":"GeKa"}],"article_processing_charge":"Yes (via OA deal)","quality_controlled":"1","_id":"8203","scopus_import":"1","abstract":[{"lang":"eng","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."}],"file_date_updated":"2020-08-06T09:35:37Z","type":"journal_article","citation":{"ieee":"G. Katsaros <i>et al.</i>, “Zero field splitting of heavy-hole states in quantum dots,” <i>Nano Letters</i>, vol. 20, no. 7. American Chemical Society, pp. 5201–5206, 2020.","ista":"Katsaros G, Kukucka J, Vukušić L, Watzinger H, Gao F, Wang T, Zhang J-J, Held K. 2020. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 20(7), 5201–5206.","short":"G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.","ama":"Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole states in quantum dots. <i>Nano Letters</i>. 2020;20(7):5201-5206. doi:<a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">10.1021/acs.nanolett.0c01466</a>","chicago":"Katsaros, Georgios, Josip Kukucka, Lada Vukušić, Hannes Watzinger, Fei Gao, Ting Wang, Jian-Jun Zhang, and Karsten Held. “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” <i>Nano Letters</i>. American Chemical Society, 2020. <a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">https://doi.org/10.1021/acs.nanolett.0c01466</a>.","apa":"Katsaros, G., Kukucka, J., Vukušić, L., Watzinger, H., Gao, F., Wang, T., … Held, K. (2020). Zero field splitting of heavy-hole states in quantum dots. <i>Nano Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">https://doi.org/10.1021/acs.nanolett.0c01466</a>","mla":"Katsaros, Georgios, et al. “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” <i>Nano Letters</i>, vol. 20, no. 7, American Chemical Society, 2020, pp. 5201–06, doi:<a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">10.1021/acs.nanolett.0c01466</a>."},"publication_identifier":{"issn":["1530-6984"],"eissn":["1530-6992"]},"publication_status":"published","project":[{"name":"Towards scalable hut wire quantum devices","_id":"237B3DA4-32DE-11EA-91FC-C7463DDC885E","grant_number":"P32235","call_identifier":"FWF"},{"_id":"237E5020-32DE-11EA-91FC-C7463DDC885E","name":"TOPOLOGICALLY PROTECTED AND SCALABLE QUANTUM BITS","grant_number":"862046","call_identifier":"H2020"}]},{"external_id":{"pmid":["32611816"],"isi":["000553292900014"]},"page":"16969-16975","year":"2020","intvolume":"       117","month":"07","date_published":"2020-07-21T00:00:00Z","acknowledgement":"We thank all members of the E.H., B.D.S., and J.v.R. groups for stimulating discussions. This project was supported by\r\nthe European Research Council (648804 to J.v.R. and 851288 to E.H.). It has also received support from the CancerGenomics.nl (Netherlands Organization for Scientific Research) program (J.v.R.) and the Doctor Josef Steiner Foundation (J.v.R). B.D.S. was supported by Royal Society E. P. Abraham Research Professorship RP/R1/180165 and Wellcome Trust Grant 098357/Z/12/Z.","date_updated":"2023-08-22T08:29:30Z","issue":"29","oa":1,"doi":"10.1073/pnas.1921205117","publication":"Proceedings of the National Academy of Sciences of the United States of America","related_material":{"link":[{"url":"https://ist.ac.at/en/news/order-from-noise/","relation":"press_release"}]},"isi":1,"oa_version":"Published Version","ec_funded":1,"pmid":1,"volume":117,"ddc":["570"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2020-08-09T22:00:52Z","day":"21","status":"public","article_processing_charge":"No","department":[{"_id":"EdHa"}],"language":[{"iso":"eng"}],"article_type":"original","has_accepted_license":"1","publisher":"National Academy of Sciences","file":[{"success":1,"file_name":"2020_PNAS_Corominas.pdf","date_updated":"2020-08-10T06:50:28Z","date_created":"2020-08-10T06:50:28Z","file_id":"8223","content_type":"application/pdf","creator":"dernst","file_size":1111604,"access_level":"open_access","relation":"main_file"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"full_name":"Corominas-Murtra, Bernat","id":"43BE2298-F248-11E8-B48F-1D18A9856A87","first_name":"Bernat","last_name":"Corominas-Murtra","orcid":"0000-0001-9806-5643"},{"full_name":"Scheele, Colinda L.G.J.","first_name":"Colinda L.G.J.","last_name":"Scheele"},{"last_name":"Kishi","first_name":"Kasumi","id":"3065DFC4-F248-11E8-B48F-1D18A9856A87","full_name":"Kishi, Kasumi"},{"full_name":"Ellenbroek, Saskia I.J.","first_name":"Saskia I.J.","last_name":"Ellenbroek"},{"last_name":"Simons","first_name":"Benjamin D.","full_name":"Simons, Benjamin D."},{"full_name":"Van Rheenen, Jacco","last_name":"Van Rheenen","first_name":"Jacco"},{"orcid":"0000-0001-6005-1561","last_name":"Hannezo","first_name":"Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","full_name":"Hannezo, Edouard B"}],"title":"Stem cell lineage survival as a noisy competition for niche access","project":[{"call_identifier":"H2020","grant_number":"851288","name":"Design Principles of Branching Morphogenesis","_id":"05943252-7A3F-11EA-A408-12923DDC885E"}],"publication_status":"published","citation":{"ista":"Corominas-Murtra B, Scheele CLGJ, Kishi K, Ellenbroek SIJ, Simons BD, Van Rheenen J, Hannezo EB. 2020. Stem cell lineage survival as a noisy competition for niche access. Proceedings of the National Academy of Sciences of the United States of America. 117(29), 16969–16975.","short":"B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D. Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 16969–16975.","ieee":"B. Corominas-Murtra <i>et al.</i>, “Stem cell lineage survival as a noisy competition for niche access,” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 117, no. 29. National Academy of Sciences, pp. 16969–16975, 2020.","ama":"Corominas-Murtra B, Scheele CLGJ, Kishi K, et al. Stem cell lineage survival as a noisy competition for niche access. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. 2020;117(29):16969-16975. doi:<a href=\"https://doi.org/10.1073/pnas.1921205117\">10.1073/pnas.1921205117</a>","chicago":"Corominas-Murtra, Bernat, Colinda L.G.J. Scheele, Kasumi Kishi, Saskia I.J. Ellenbroek, Benjamin D. Simons, Jacco Van Rheenen, and Edouard B Hannezo. “Stem Cell Lineage Survival as a Noisy Competition for Niche Access.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences, 2020. <a href=\"https://doi.org/10.1073/pnas.1921205117\">https://doi.org/10.1073/pnas.1921205117</a>.","apa":"Corominas-Murtra, B., Scheele, C. L. G. J., Kishi, K., Ellenbroek, S. I. J., Simons, B. D., Van Rheenen, J., &#38; Hannezo, E. B. (2020). Stem cell lineage survival as a noisy competition for niche access. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.1921205117\">https://doi.org/10.1073/pnas.1921205117</a>","mla":"Corominas-Murtra, Bernat, et al. “Stem Cell Lineage Survival as a Noisy Competition for Niche Access.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 117, no. 29, National Academy of Sciences, 2020, pp. 16969–75, doi:<a href=\"https://doi.org/10.1073/pnas.1921205117\">10.1073/pnas.1921205117</a>."},"publication_identifier":{"eissn":["10916490"]},"type":"journal_article","file_date_updated":"2020-08-10T06:50:28Z","abstract":[{"text":"Understanding to what extent stem cell potential is a cell-intrinsic property or an emergent behavior coming from global tissue dynamics and geometry is a key outstanding question of systems and stem cell biology. Here, we propose a theory of stem cell dynamics as a stochastic competition for access to a spatially localized niche, giving rise to a stochastic conveyor-belt model. Cell divisions produce a steady cellular stream which advects cells away from the niche, while random rearrangements enable cells away from the niche to be favorably repositioned. Importantly, even when assuming that all cells in a tissue are molecularly equivalent, we predict a common (“universal”) functional dependence of the long-term clonal survival probability on distance from the niche, as well as the emergence of a well-defined number of functional stem cells, dependent only on the rate of random movements vs. mitosis-driven advection. We test the predictions of this theory on datasets of pubertal mammary gland tips and embryonic kidney tips, as well as homeostatic intestinal crypts. Importantly, we find good agreement for the predicted functional dependency of the competition as a function of position, and thus functional stem cell number in each organ. This argues for a key role of positional fluctuations in dictating stem cell number and dynamics, and we discuss the applicability of this theory to other settings.","lang":"eng"}],"scopus_import":"1","_id":"8220","quality_controlled":"1"},{"publisher":"Springer Nature","has_accepted_license":"1","file":[{"file_id":"8275","content_type":"application/pdf","creator":"dernst","file_size":1965672,"checksum":"986bebb308850a55850028d3d2b5b664","relation":"main_file","access_level":"open_access","success":1,"file_name":"2020_NatureComm_Kavcic.pdf","date_updated":"2020-08-17T07:36:57Z","date_created":"2020-08-17T07:36:57Z"}],"author":[{"first_name":"Bor","id":"350F91D2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6041-254X","last_name":"Kavcic","full_name":"Kavcic, Bor"},{"full_name":"Tkačik, Gašper","first_name":"Gašper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6699-1455","last_name":"Tkačik"},{"full_name":"Bollenbach, Tobias","last_name":"Bollenbach","orcid":"0000-0003-4398-476X","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","first_name":"Tobias"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Mechanisms of drug interactions between translation-inhibiting antibiotics","department":[{"_id":"GaTk"}],"article_processing_charge":"No","article_type":"original","language":[{"iso":"eng"}],"type":"journal_article","file_date_updated":"2020-08-17T07:36:57Z","abstract":[{"lang":"eng","text":"Antibiotics that interfere with translation, when combined, interact in diverse and difficult-to-predict ways. Here, we explain these interactions by “translation bottlenecks”: points in the translation cycle where antibiotics block ribosomal progression. To elucidate the underlying mechanisms of drug interactions between translation inhibitors, we generate translation bottlenecks genetically using inducible control of translation factors that regulate well-defined translation cycle steps. These perturbations accurately mimic antibiotic action and drug interactions, supporting that the interplay of different translation bottlenecks causes these interactions. We further show that growth laws, combined with drug uptake and binding kinetics, enable the direct prediction of a large fraction of observed interactions, yet fail to predict suppression. However, varying two translation bottlenecks simultaneously supports that dense traffic of ribosomes and competition for translation factors account for the previously unexplained suppression. These results highlight the importance of “continuous epistasis” in bacterial physiology."}],"citation":{"mla":"Kavcic, Bor, et al. “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics.” <i>Nature Communications</i>, vol. 11, 4013, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-17734-z\">10.1038/s41467-020-17734-z</a>.","apa":"Kavcic, B., Tkačik, G., &#38; Bollenbach, M. T. (2020). Mechanisms of drug interactions between translation-inhibiting antibiotics. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-17734-z\">https://doi.org/10.1038/s41467-020-17734-z</a>","chicago":"Kavcic, Bor, Gašper Tkačik, and Mark Tobias Bollenbach. “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-17734-z\">https://doi.org/10.1038/s41467-020-17734-z</a>.","short":"B. Kavcic, G. Tkačik, M.T. Bollenbach, Nature Communications 11 (2020).","ista":"Kavcic B, Tkačik G, Bollenbach MT. 2020. Mechanisms of drug interactions between translation-inhibiting antibiotics. Nature Communications. 11, 4013.","ieee":"B. Kavcic, G. Tkačik, and M. T. Bollenbach, “Mechanisms of drug interactions between translation-inhibiting antibiotics,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020.","ama":"Kavcic B, Tkačik G, Bollenbach MT. Mechanisms of drug interactions between translation-inhibiting antibiotics. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-020-17734-z\">10.1038/s41467-020-17734-z</a>"},"publication_identifier":{"issn":["2041-1723"]},"quality_controlled":"1","_id":"8250","publication_status":"published","project":[{"_id":"25E9AF9E-B435-11E9-9278-68D0E5697425","name":"Revealing the mechanisms underlying drug interactions","grant_number":"P27201-B22","call_identifier":"FWF"},{"_id":"254E9036-B435-11E9-9278-68D0E5697425","name":"Biophysics of information processing in gene regulation","call_identifier":"FWF","grant_number":"P28844-B27"}],"acknowledgement":"We thank M. Hennessey-Wesen, I. Tomanek, K. Jain, A. Staron, K. Tomasek, M. Scott,\r\nK.C. Huang, and Z. Gitai for reading the manuscript and constructive comments. B.K. is\r\nindebted to C. Guet for additional guidance and generous support, which rendered this\r\nwork possible. B.K. thanks all members of Guet group for many helpful discussions and\r\nsharing of resources. B.K. additionally acknowledges the tremendous support from A.\r\nAngermayr and K. Mitosch with experimental work. We further thank E. Brown for\r\nhelpful comments regarding lamotrigine, and A. Buskirk for valuable suggestions\r\nregarding the ribosome footprint size. This work was supported in part by Austrian\r\nScience Fund (FWF) standalone grants P 27201-B22 (to T.B.) and P 28844 (to G.T.),\r\nHFSP program Grant RGP0042/2013 (to T.B.), German Research Foundation (DFG)\r\nstandalone grant BO 3502/2-1 (to T.B.), and German Research Foundation (DFG)\r\nCollaborative Research Centre (SFB) 1310 (to T.B.). Open access funding provided by\r\nProjekt DEAL.","article_number":"4013","intvolume":"        11","month":"08","date_published":"2020-08-11T00:00:00Z","oa":1,"date_updated":"2024-03-25T23:30:05Z","external_id":{"isi":["000562769300008"]},"year":"2020","volume":11,"status":"public","day":"11","date_created":"2020-08-12T09:13:50Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["570"],"doi":"10.1038/s41467-020-17734-z","publication":"Nature Communications","isi":1,"oa_version":"Published Version","related_material":{"record":[{"id":"8657","relation":"dissertation_contains","status":"public"}]}},{"doi":"10.15479/AT:ISTA:8254","related_material":{"record":[{"relation":"later_version","status":"public","id":"11321"},{"id":"9192","relation":"later_version","status":"public"}]},"contributor":[{"last_name":"Arathoon","first_name":"Louise S","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87","contributor_type":"data_collector"},{"last_name":"Surendranadh","first_name":"Parvathy","id":"455235B8-F248-11E8-B48F-1D18A9856A87","contributor_type":"project_member"},{"contributor_type":"project_member","orcid":"0000-0002-8548-5240","last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H"},{"id":"419049E2-F248-11E8-B48F-1D18A9856A87","first_name":"David","last_name":"Field","orcid":"0000-0002-4014-8478","contributor_type":"project_member"},{"id":"2C78037E-F248-11E8-B48F-1D18A9856A87","first_name":"Melinda","orcid":"0000-0001-6118-0541","last_name":"Pickup","contributor_type":"project_member"},{"contributor_type":"project_member","first_name":"Carina","id":"3B4A7CE2-F248-11E8-B48F-1D18A9856A87","last_name":"Baskett"}],"oa_version":"Published Version","citation":{"chicago":"Arathoon, Louise S. “Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus).” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8254\">https://doi.org/10.15479/AT:ISTA:8254</a>.","ista":"Arathoon LS. 2020. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus), Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:8254\">10.15479/AT:ISTA:8254</a>.","short":"L.S. Arathoon, (2020).","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.","ama":"Arathoon LS. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8254\">10.15479/AT:ISTA:8254</a>","mla":"Arathoon, Louise S. <i>Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus)</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8254\">10.15479/AT:ISTA:8254</a>.","apa":"Arathoon, L. S. (2020). Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8254\">https://doi.org/10.15479/AT:ISTA:8254</a>"},"file_date_updated":"2020-08-18T08:03:23Z","type":"research_data","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."}],"ddc":["576"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"_id":"8254","date_created":"2020-08-12T12:49:23Z","day":"18","status":"public","article_processing_charge":"No","department":[{"_id":"NiBa"}],"year":"2020","month":"08","has_accepted_license":"1","date_published":"2020-08-18T00:00:00Z","publisher":"Institute of Science and Technology Austria","date_updated":"2024-02-21T12:41:09Z","file":[{"access_level":"open_access","checksum":"4f1382ed4384751b6013398c11557bf6","relation":"main_file","file_size":5778420,"creator":"dernst","file_id":"8280","content_type":"application/x-zip-compressed","date_created":"2020-08-18T08:03:23Z","date_updated":"2020-08-18T08:03:23Z","file_name":"Data_Rcode_MathematicaNB.zip","success":1}],"author":[{"first_name":"Louise S","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87","last_name":"Arathoon","orcid":"0000-0003-1771-714X","full_name":"Arathoon, Louise S"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"title":"Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)"},{"article_processing_charge":"No","department":[{"_id":"PeJo"},{"_id":"ScienComp"}],"language":[{"iso":"eng"}],"article_type":"original","has_accepted_license":"1","publisher":"Elsevier","file":[{"date_updated":"2020-12-04T09:29:21Z","date_created":"2020-12-04T09:29:21Z","success":1,"file_name":"2020_Neuron_Zhang.pdf","relation":"main_file","checksum":"44a5960fc083a4cb3488d22224859fdc","access_level":"open_access","file_id":"8920","content_type":"application/pdf","creator":"dernst","file_size":3011120}],"author":[{"full_name":"Zhang, Xiaomin","last_name":"Zhang","first_name":"Xiaomin","id":"423EC9C2-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Schlögl, Alois","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87","first_name":"Alois","last_name":"Schlögl","orcid":"0000-0002-5621-8100"},{"full_name":"Jonas, Peter M","last_name":"Jonas","orcid":"0000-0001-5001-4804","first_name":"Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Selective routing of spatial information flow from input to output in hippocampal granule cells","project":[{"grant_number":"692692","call_identifier":"H2020","_id":"25B7EB9E-B435-11E9-9278-68D0E5697425","name":"Biophysics and circuit function of a giant cortical glumatergic synapse"},{"call_identifier":"FWF","grant_number":"Z00312","name":"The Wittgenstein Prize","_id":"25C5A090-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","citation":{"apa":"Zhang, X., Schlögl, A., &#38; Jonas, P. M. (2020). Selective routing of spatial information flow from input to output in hippocampal granule cells. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">https://doi.org/10.1016/j.neuron.2020.07.006</a>","mla":"Zhang, Xiaomin, et al. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” <i>Neuron</i>, vol. 107, no. 6, Elsevier, 2020, pp. 1212–25, doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">10.1016/j.neuron.2020.07.006</a>.","ama":"Zhang X, Schlögl A, Jonas PM. Selective routing of spatial information flow from input to output in hippocampal granule cells. <i>Neuron</i>. 2020;107(6):1212-1225. doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">10.1016/j.neuron.2020.07.006</a>","ista":"Zhang X, Schlögl A, Jonas PM. 2020. Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. 107(6), 1212–1225.","short":"X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.","ieee":"X. Zhang, A. Schlögl, and P. M. Jonas, “Selective routing of spatial information flow from input to output in hippocampal granule cells,” <i>Neuron</i>, vol. 107, no. 6. Elsevier, pp. 1212–1225, 2020.","chicago":"Zhang, Xiaomin, Alois Schlögl, and Peter M Jonas. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” <i>Neuron</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">https://doi.org/10.1016/j.neuron.2020.07.006</a>."},"publication_identifier":{"issn":["0896-6273"]},"type":"journal_article","file_date_updated":"2020-12-04T09:29:21Z","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."}],"_id":"8261","quality_controlled":"1","page":"1212-1225","external_id":{"isi":["000579698700009"],"pmid":["32763145"]},"year":"2020","month":"09","intvolume":"       107","date_published":"2020-09-23T00:00:00Z","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.","date_updated":"2023-08-22T08:30:55Z","issue":"6","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"ScienComp"},{"_id":"PreCl"}],"oa":1,"doi":"10.1016/j.neuron.2020.07.006","publication":"Neuron","related_material":{"link":[{"url":"https://ist.ac.at/en/news/the-bouncer-in-the-brain/","description":"News on IST Website","relation":"press_release"}]},"isi":1,"oa_version":"Published Version","ec_funded":1,"pmid":1,"volume":107,"ddc":["570"],"tmp":{"short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png","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)"},"date_created":"2020-08-14T09:36:05Z","day":"23","status":"public"},{"_id":"8268","quality_controlled":"1","citation":{"mla":"Gurel, Nezihe Merve, et al. “Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications.” <i>IEEE Transactions on Signal Processing</i>, vol. 68, IEEE, 2020, pp. 4268–82, doi:<a href=\"https://doi.org/10.1109/TSP.2020.3010355\">10.1109/TSP.2020.3010355</a>.","apa":"Gurel, N. M., Kara, K., Stojanov, A., Smith, T., Lemmin, T., Alistarh, D.-A., … Zhang, C. (2020). Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. <i>IEEE Transactions on Signal Processing</i>. IEEE. <a href=\"https://doi.org/10.1109/TSP.2020.3010355\">https://doi.org/10.1109/TSP.2020.3010355</a>","chicago":"Gurel, Nezihe Merve, Kaan Kara, Alen Stojanov, Tyler Smith, Thomas Lemmin, Dan-Adrian Alistarh, Markus Puschel, and Ce Zhang. “Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications.” <i>IEEE Transactions on Signal Processing</i>. IEEE, 2020. <a href=\"https://doi.org/10.1109/TSP.2020.3010355\">https://doi.org/10.1109/TSP.2020.3010355</a>.","ama":"Gurel NM, Kara K, Stojanov A, et al. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. <i>IEEE Transactions on Signal Processing</i>. 2020;68:4268-4282. doi:<a href=\"https://doi.org/10.1109/TSP.2020.3010355\">10.1109/TSP.2020.3010355</a>","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.","ieee":"N. M. Gurel <i>et al.</i>, “Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications,” <i>IEEE Transactions on Signal Processing</i>, vol. 68. IEEE, pp. 4268–4282, 2020.","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."},"publication_identifier":{"issn":["1053587X"],"eissn":["19410476"]},"arxiv":1,"scopus_import":"1","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."}],"type":"journal_article","publication_status":"published","author":[{"first_name":"Nezihe Merve","last_name":"Gurel","full_name":"Gurel, Nezihe Merve"},{"last_name":"Kara","first_name":"Kaan","full_name":"Kara, Kaan"},{"first_name":"Alen","last_name":"Stojanov","full_name":"Stojanov, Alen"},{"first_name":"Tyler","last_name":"Smith","full_name":"Smith, Tyler"},{"full_name":"Lemmin, Thomas","first_name":"Thomas","last_name":"Lemmin"},{"full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X","last_name":"Alistarh","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Puschel, Markus","last_name":"Puschel","first_name":"Markus"},{"full_name":"Zhang, Ce","first_name":"Ce","last_name":"Zhang"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications","publisher":"IEEE","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"DaAl"}],"date_created":"2020-08-16T22:00:56Z","status":"public","day":"20","volume":68,"oa_version":"Preprint","isi":1,"publication":"IEEE Transactions on Signal Processing","doi":"10.1109/TSP.2020.3010355","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1802.04907"}],"date_updated":"2023-08-22T08:40:08Z","oa":1,"date_published":"2020-07-20T00:00:00Z","intvolume":"        68","month":"07","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.","year":"2020","page":"4268-4282","external_id":{"isi":["000562044500001"],"arxiv":["1802.04907"]}},{"date_updated":"2023-08-22T08:40:35Z","issue":"9","month":"09","intvolume":"        13","date_published":"2020-09-07T00:00:00Z","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.","year":"2020","external_id":{"isi":["000566895400007"],"pmid":["32688032"]},"page":"1238-1240","date_created":"2020-08-16T22:00:57Z","status":"public","day":"07","pmid":1,"volume":13,"isi":1,"oa_version":"None","doi":"10.1016/j.molp.2020.07.006","publication":"Molecular Plant","title":"Origin of a subgenome and genome evolution of allotetraploid cotton species","author":[{"first_name":"Peng","last_name":"He","full_name":"He, Peng"},{"orcid":"0000-0003-2627-6956","last_name":"Zhang","first_name":"Yuzhou","id":"3B6137F2-F248-11E8-B48F-1D18A9856A87","full_name":"Zhang, Yuzhou"},{"full_name":"Xiao, Guanghui","first_name":"Guanghui","last_name":"Xiao"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publisher":"Elsevier","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"JiFr"}],"_id":"8271","quality_controlled":"1","publication_identifier":{"eissn":["17529867"],"issn":["16742052"]},"citation":{"apa":"He, P., Zhang, Y., &#38; Xiao, G. (2020). Origin of a subgenome and genome evolution of allotetraploid cotton species. <i>Molecular Plant</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">https://doi.org/10.1016/j.molp.2020.07.006</a>","mla":"He, Peng, et al. “Origin of a Subgenome and Genome Evolution of Allotetraploid Cotton Species.” <i>Molecular Plant</i>, vol. 13, no. 9, Elsevier, 2020, pp. 1238–40, doi:<a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">10.1016/j.molp.2020.07.006</a>.","ama":"He P, Zhang Y, Xiao G. Origin of a subgenome and genome evolution of allotetraploid cotton species. <i>Molecular Plant</i>. 2020;13(9):1238-1240. doi:<a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">10.1016/j.molp.2020.07.006</a>","short":"P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240.","ieee":"P. He, Y. Zhang, and G. Xiao, “Origin of a subgenome and genome evolution of allotetraploid cotton species,” <i>Molecular Plant</i>, vol. 13, no. 9. Elsevier, pp. 1238–1240, 2020.","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.","chicago":"He, Peng, Yuzhou Zhang, and Guanghui Xiao. “Origin of a Subgenome and Genome Evolution of Allotetraploid Cotton Species.” <i>Molecular Plant</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">https://doi.org/10.1016/j.molp.2020.07.006</a>."},"type":"journal_article","scopus_import":"1","publication_status":"published"},{"language":[{"iso":"eng"}],"department":[{"_id":"KrCh"}],"article_processing_charge":"No","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"full_name":"Katoen, Joost P","first_name":"Joost P","id":"4524F760-F248-11E8-B48F-1D18A9856A87","last_name":"Katoen"},{"full_name":"Weininger, Maximilian","last_name":"Weininger","first_name":"Maximilian"},{"first_name":"Tobias","last_name":"Winkler","full_name":"Winkler, Tobias"}],"title":"Stochastic games with lexicographic reachability-safety objectives","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","file":[{"date_updated":"2020-08-17T11:32:44Z","date_created":"2020-08-17T11:32:44Z","file_name":"2020_LNCS_CAV_Chatterjee.pdf","success":1,"relation":"main_file","access_level":"open_access","checksum":"093d4788d7d5b2ce0ffe64fbe7820043","file_size":625056,"creator":"dernst","file_id":"8276","content_type":"application/pdf"}],"publisher":"Springer Nature","has_accepted_license":"1","publication_status":"published","project":[{"grant_number":"863818","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425","grant_number":"ICT15-003"}],"quality_controlled":"1","_id":"8272","abstract":[{"text":"We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinism. Lexicographic order allows to consider multiple objectives with a strict preference order over the satisfaction of the objectives. To the best of our knowledge, stochastic games with lexicographic objectives have not been studied before. We establish determinacy of such games and present strategy and computational complexity results. For strategy complexity, we show that lexicographically optimal strategies exist that are deterministic and memory is only required to remember the already satisfied and violated objectives. For a constant number of objectives, we show that the relevant decision problem is in   NP∩coNP , matching the current known bound for single objectives; and in general the decision problem is   PSPACE -hard and can be solved in   NEXPTIME∩coNEXPTIME . We present an algorithm that computes the lexicographically optimal strategies via a reduction to computation of optimal strategies in a sequence of single-objectives games. We have implemented our algorithm and report experimental results on various case studies.","lang":"eng"}],"arxiv":1,"scopus_import":"1","file_date_updated":"2020-08-17T11:32:44Z","type":"conference","publication_identifier":{"isbn":["9783030532901"],"eissn":["16113349"],"issn":["03029743"]},"citation":{"ama":"Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: <i>International Conference on Computer Aided Verification</i>. Vol 12225. Springer Nature; 2020:398-420. doi:<a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">10.1007/978-3-030-53291-8_21</a>","short":"K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.","ista":"Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.","ieee":"K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games with lexicographic reachability-safety objectives,” in <i>International Conference on Computer Aided Verification</i>, 2020, vol. 12225, pp. 398–420.","chicago":"Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” In <i>International Conference on Computer Aided Verification</i>, 12225:398–420. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">https://doi.org/10.1007/978-3-030-53291-8_21</a>.","apa":"Chatterjee, K., Katoen, J. P., Weininger, M., &#38; Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In <i>International Conference on Computer Aided Verification</i> (Vol. 12225, pp. 398–420). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">https://doi.org/10.1007/978-3-030-53291-8_21</a>","mla":"Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” <i>International Conference on Computer Aided Verification</i>, vol. 12225, Springer Nature, 2020, pp. 398–420, doi:<a href=\"https://doi.org/10.1007/978-3-030-53291-8_21\">10.1007/978-3-030-53291-8_21</a>."},"year":"2020","conference":{"name":"CAV: Computer Aided Verification"},"external_id":{"isi":["000695272500021"],"arxiv":["2005.04018"]},"page":"398-420","oa":1,"date_updated":"2025-07-14T09:10:14Z","alternative_title":["LNCS"],"date_published":"2020-07-14T00:00:00Z","month":"07","intvolume":"     12225","oa_version":"Published Version","ec_funded":1,"isi":1,"related_material":{"record":[{"id":"12738","relation":"later_version","status":"public"}]},"publication":"International Conference on Computer Aided Verification","doi":"10.1007/978-3-030-53291-8_21","status":"public","day":"14","date_created":"2020-08-16T22:00:58Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["000"],"volume":12225},{"_id":"8283","quality_controlled":"1","citation":{"ama":"Chen H, Lai L, Li L, et al. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. <i>International Journal of Molecular Sciences</i>. 2020;21(16). doi:<a href=\"https://doi.org/10.3390/ijms21165727\">10.3390/ijms21165727</a>","ieee":"H. Chen <i>et al.</i>, “AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling,” <i>International Journal of Molecular Sciences</i>, vol. 21, no. 16. MDPI, 2020.","short":"H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).","ista":"Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, Qin Y. 2020. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 21(16), 5272.","chicago":"Chen, Huihuang, Linyi Lai, Lanxin Li, Liping Liu, Bello Hassan Jakada, Youmei Huang, Qing He, Mengnan Chai, Xiaoping Niu, and Yuan Qin. “AcoMYB4, an Ananas Comosus L. MYB Transcription Factor, Functions in Osmotic Stress through Negative Regulation of ABA Signaling.” <i>International Journal of Molecular Sciences</i>. MDPI, 2020. <a href=\"https://doi.org/10.3390/ijms21165727\">https://doi.org/10.3390/ijms21165727</a>.","apa":"Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y., … Qin, Y. (2020). AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. <i>International Journal of Molecular Sciences</i>. MDPI. <a href=\"https://doi.org/10.3390/ijms21165727\">https://doi.org/10.3390/ijms21165727</a>","mla":"Chen, Huihuang, et al. “AcoMYB4, an Ananas Comosus L. MYB Transcription Factor, Functions in Osmotic Stress through Negative Regulation of ABA Signaling.” <i>International Journal of Molecular Sciences</i>, vol. 21, no. 16, 5272, MDPI, 2020, doi:<a href=\"https://doi.org/10.3390/ijms21165727\">10.3390/ijms21165727</a>."},"publication_identifier":{"issn":["16616596"],"eissn":["14220067"]},"file_date_updated":"2020-08-25T09:53:50Z","type":"journal_article","scopus_import":"1","abstract":[{"lang":"eng","text":"Drought and salt stress are the main environmental cues affecting the survival, development, distribution, and yield of crops worldwide. MYB transcription factors play a crucial role in plants’ biological processes, but the function of pineapple MYB genes is still obscure. In this study, one of the pineapple MYB transcription factors, AcoMYB4, was isolated and characterized. The results showed that AcoMYB4 is localized in the cell nucleus, and its expression is induced by low temperature, drought, salt stress, and hormonal stimulation, especially by abscisic acid (ABA). Overexpression of AcoMYB4 in rice and Arabidopsis enhanced plant sensitivity to osmotic stress; it led to an increase in the number stomata on leaf surfaces and lower germination rate under salt and drought stress. Furthermore, in AcoMYB4 OE lines, the membrane oxidation index, free proline, and soluble sugar contents were decreased. In contrast, electrolyte leakage and malondialdehyde (MDA) content increased significantly due to membrane injury, indicating higher sensitivity to drought and salinity stresses. Besides the above, both the expression level and activities of several antioxidant enzymes were decreased, indicating lower antioxidant activity in AcoMYB4 transgenic plants. Moreover, under osmotic stress, overexpression of AcoMYB4 inhibited ABA biosynthesis through a decrease in the transcription of genes responsible for ABA synthesis (ABA1 and ABA2) and ABA signal transduction factor ABI5. These results suggest that AcoMYB4 negatively regulates osmotic stress by attenuating cellular ABA biosynthesis and signal transduction pathways. "}],"publication_status":"published","file":[{"content_type":"application/pdf","file_id":"8292","file_size":5718755,"creator":"cziletti","relation":"main_file","checksum":"03b039244e6ae80580385fd9f577e2b2","access_level":"open_access","success":1,"file_name":"2020_IntMolecSciences_Chen.pdf","date_created":"2020-08-25T09:53:50Z","date_updated":"2020-08-25T09:53:50Z"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling","author":[{"full_name":"Chen, Huihuang","last_name":"Chen","first_name":"Huihuang"},{"full_name":"Lai, Linyi","first_name":"Linyi","last_name":"Lai"},{"first_name":"Lanxin","id":"367EF8FA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5607-272X","last_name":"Li","full_name":"Li, Lanxin"},{"full_name":"Liu, Liping","first_name":"Liping","last_name":"Liu"},{"full_name":"Jakada, Bello Hassan","first_name":"Bello Hassan","last_name":"Jakada"},{"last_name":"Huang","first_name":"Youmei","full_name":"Huang, Youmei"},{"first_name":"Qing","last_name":"He","full_name":"He, Qing"},{"first_name":"Mengnan","last_name":"Chai","full_name":"Chai, Mengnan"},{"last_name":"Niu","first_name":"Xiaoping","full_name":"Niu, Xiaoping"},{"full_name":"Qin, Yuan","last_name":"Qin","first_name":"Yuan"}],"has_accepted_license":"1","publisher":"MDPI","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"JiFr"}],"ddc":["570"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2020-08-24T06:24:03Z","day":"10","status":"public","pmid":1,"volume":21,"related_material":{"record":[{"id":"10083","relation":"dissertation_contains","status":"public"}]},"isi":1,"oa_version":"Published Version","doi":"10.3390/ijms21165727","publication":"International Journal of Molecular Sciences","date_updated":"2024-10-29T10:22:43Z","issue":"16","oa":1,"intvolume":"        21","month":"08","date_published":"2020-08-10T00:00:00Z","article_number":"5272","acknowledgement":"We would like to thank the reviewers for their helpful comments on the original manuscript. ","year":"2020","external_id":{"isi":["000565090300001"],"pmid":["32785037"]}},{"volume":9,"pmid":1,"status":"public","day":"31","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_created":"2020-08-24T06:24:04Z","ddc":["570"],"publication":"eLife","doi":"10.7554/eLife.59407","oa_version":"Published Version","isi":1,"related_material":{"record":[{"id":"8353","status":"public","relation":"dissertation_contains"}],"link":[{"url":"https://ist.ac.at/en/news/mystery-of-giant-proton-pump-solved/","description":"News on IST Homepage","relation":"press_release"}]},"acknowledgement":"This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by the Electron Microscopy Facility (EMF), the Life Science Facility (LSF) and the IST high-performance computing cluster. We thank Dr Victor-Valentin Hodirnau and Daniel Johann Gütl from IST Austria for assistance with collecting cryo-EM data. We thank Prof. Masahiro Ito (Graduate School of Life Sciences, Toyo University, Japan) for a kind provision of plasmid DNA encoding Mrp from A. flavithermus WK1. JS is a recipient of a DOC Fellowship of the Austrian Academy of Sciences at the Institute of Science and Technology, Austria.","article_number":"e59407","date_published":"2020-07-31T00:00:00Z","intvolume":"         9","month":"07","oa":1,"acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"LifeSc"}],"date_updated":"2023-09-07T13:14:08Z","external_id":{"isi":["000562123600001"],"pmid":["32735215"]},"year":"2020","scopus_import":"1","abstract":[{"text":"Multiple resistance and pH adaptation (Mrp) antiporters are multi-subunit Na+ (or K+)/H+ exchangers representing an ancestor of many essential redox-driven proton pumps, such as respiratory complex I. The mechanism of coupling between ion or electron transfer and proton translocation in this large protein family is unknown. Here, we present the structure of the Mrp complex from Anoxybacillus flavithermus solved by cryo-EM at 3.0 Å resolution. It is a dimer of seven-subunit protomers with 50 trans-membrane helices each. Surface charge distribution within each monomer is remarkably asymmetric, revealing probable proton and sodium translocation pathways. On the basis of the structure we propose a mechanism where the coupling between sodium and proton translocation is facilitated by a series of electrostatic interactions between a cation and key charged residues. This mechanism is likely to be applicable to the entire family of redox proton pumps, where electron transfer to substrates replaces cation movements.","lang":"eng"}],"file_date_updated":"2020-08-24T13:31:53Z","type":"journal_article","publication_identifier":{"eissn":["2050084X"]},"citation":{"short":"J. Steiner, L.A. Sazanov, ELife 9 (2020).","ista":"Steiner J, Sazanov LA. 2020. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 9, e59407.","ieee":"J. Steiner and L. A. Sazanov, “Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter,” <i>eLife</i>, vol. 9. eLife Sciences Publications, 2020.","ama":"Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. <i>eLife</i>. 2020;9. doi:<a href=\"https://doi.org/10.7554/eLife.59407\">10.7554/eLife.59407</a>","chicago":"Steiner, Julia, and Leonid A Sazanov. “Structure and Mechanism of the Mrp Complex, an Ancient Cation/Proton Antiporter.” <i>ELife</i>. eLife Sciences Publications, 2020. <a href=\"https://doi.org/10.7554/eLife.59407\">https://doi.org/10.7554/eLife.59407</a>.","apa":"Steiner, J., &#38; Sazanov, L. A. (2020). Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/eLife.59407\">https://doi.org/10.7554/eLife.59407</a>","mla":"Steiner, Julia, and Leonid A. Sazanov. “Structure and Mechanism of the Mrp Complex, an Ancient Cation/Proton Antiporter.” <i>ELife</i>, vol. 9, e59407, eLife Sciences Publications, 2020, doi:<a href=\"https://doi.org/10.7554/eLife.59407\">10.7554/eLife.59407</a>."},"quality_controlled":"1","_id":"8284","publication_status":"published","project":[{"grant_number":"24741","name":"Revealing the functional mechanism of Mrp antiporter, an ancestor of complex I","_id":"26169496-B435-11E9-9278-68D0E5697425"}],"publisher":"eLife Sciences Publications","has_accepted_license":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter","author":[{"full_name":"Steiner, Julia","last_name":"Steiner","orcid":"0000-0003-0493-3775","first_name":"Julia","id":"3BB67EB0-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Sazanov, Leonid A","last_name":"Sazanov","orcid":"0000-0002-0977-7989","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87"}],"file":[{"access_level":"open_access","checksum":"b3656d14d5ddbb9d26e3074eea2d0c15","relation":"main_file","file_size":7320493,"creator":"cziletti","file_id":"8289","content_type":"application/pdf","date_updated":"2020-08-24T13:31:53Z","date_created":"2020-08-24T13:31:53Z","file_name":"2020_eLife_Steiner.pdf","success":1}],"department":[{"_id":"LeSa"}],"article_processing_charge":"No","article_type":"original","language":[{"iso":"eng"}]},{"date_updated":"2023-10-18T08:38:35Z","oa":1,"issue":"4","date_published":"2020-07-24T00:00:00Z","intvolume":"       125","month":"07","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).","article_number":"043202","year":"2020","external_id":{"arxiv":["1912.10218"],"pmid":["32794788"],"isi":["000552227400008"]},"date_created":"2020-08-24T06:24:04Z","day":"24","status":"public","volume":125,"pmid":1,"oa_version":"Preprint","isi":1,"publication":"Physical Review Letters","doi":"10.1103/PhysRevLett.125.043202","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1912.10218"}],"author":[{"last_name":"Malia","first_name":"Benjamin K.","full_name":"Malia, Benjamin K."},{"full_name":"Martínez-Rincón, Julián","last_name":"Martínez-Rincón","first_name":"Julián"},{"first_name":"Yunfan","last_name":"Wu","full_name":"Wu, Yunfan"},{"full_name":"Hosten, Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","first_name":"Onur","last_name":"Hosten","orcid":"0000-0002-2031-204X"},{"first_name":"Mark A.","last_name":"Kasevich","full_name":"Kasevich, Mark A."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit","publisher":"American Physical Society","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"OnHo"}],"_id":"8285","quality_controlled":"1","citation":{"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.” <i>Physical Review Letters</i>. American Physical Society, 2020. <a href=\"https://doi.org/10.1103/PhysRevLett.125.043202\">https://doi.org/10.1103/PhysRevLett.125.043202</a>.","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. <i>Physical Review Letters</i>. 2020;125(4). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.125.043202\">10.1103/PhysRevLett.125.043202</a>","short":"B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical Review Letters 125 (2020).","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,” <i>Physical Review Letters</i>, vol. 125, no. 4. American Physical Society, 2020.","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.","mla":"Malia, Benjamin K., et al. “Free Space Ramsey Spectroscopy in Rubidium with Noise below the Quantum Projection Limit.” <i>Physical Review Letters</i>, vol. 125, no. 4, 043202, American Physical Society, 2020, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.125.043202\">10.1103/PhysRevLett.125.043202</a>.","apa":"Malia, B. K., Martínez-Rincón, J., Wu, Y., Hosten, O., &#38; Kasevich, M. A. (2020). Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.125.043202\">https://doi.org/10.1103/PhysRevLett.125.043202</a>"},"publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"arxiv":1,"scopus_import":"1","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"}],"type":"journal_article","publication_status":"published"},{"year":"2020","conference":{"end_date":"2020-09-25","start_date":"2020-09-20","name":"EMSOFT: International Conference on Embedded Software","location":"Virtual "},"external_id":{"arxiv":["1905.02458"]},"oa":1,"date_updated":"2023-08-22T13:27:32Z","keyword":["reachability","hybrid systems","decomposition"],"date_published":"2020-01-01T00:00:00Z","ec_funded":1,"oa_version":"Preprint","related_material":{"record":[{"status":"public","relation":"later_version","id":"8790"}]},"publication":"Proceedings of the International Conference on Embedded Software","status":"public","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["000"],"date_created":"2020-08-24T12:56:20Z","language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"article_processing_charge":"No","file":[{"success":1,"file_name":"2020EMSOFT.pdf","date_created":"2020-08-24T12:53:15Z","date_updated":"2020-08-24T12:53:15Z","content_type":"application/pdf","file_id":"8288","creator":"cschilli","file_size":696384,"access_level":"open_access","relation":"main_file","checksum":"d19e97d0f8a3a441dc078ec812297d75"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","title":"Reachability analysis of linear hybrid systems via block decomposition","author":[{"last_name":"Bogomolov","first_name":"Sergiy","full_name":"Bogomolov, Sergiy"},{"full_name":"Forets, Marcelo","first_name":"Marcelo","last_name":"Forets"},{"full_name":"Frehse, Goran","last_name":"Frehse","first_name":"Goran"},{"first_name":"Kostiantyn","last_name":"Potomkin","full_name":"Potomkin, Kostiantyn"},{"full_name":"Schilling, Christian","last_name":"Schilling","orcid":"0000-0003-3658-1065","first_name":"Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87"}],"has_accepted_license":"1","publication_status":"published","project":[{"call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"_id":"25C5A090-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","grant_number":"Z00312","call_identifier":"FWF"},{"call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships"}],"quality_controlled":"1","_id":"8287","file_date_updated":"2020-08-24T12:53:15Z","type":"conference","arxiv":1,"abstract":[{"lang":"eng","text":"Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous and discrete post operators to compute states reachable according to continuous and discrete dynamics, respectively. In this paper, we enhance both of these operators and make sure that most of the involved computations are performed in low-dimensional state space. In particular, we improve the continuous-post operator by performing computations in high-dimensional state space only for time intervals relevant for the subsequent application of the discrete-post operator. Furthermore, the new discrete-post operator performs low-dimensional computations by leveraging the structure of the guard and assignment of a considered transition. We illustrate the potential of our approach on a number of challenging benchmarks."}],"citation":{"apa":"Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., &#38; Schilling, C. (2020). Reachability analysis of linear hybrid systems via block decomposition. In <i>Proceedings of the International Conference on Embedded Software</i>. Virtual .","mla":"Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” <i>Proceedings of the International Conference on Embedded Software</i>, 2020.","ista":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. EMSOFT: International Conference on Embedded Software.","short":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.","ieee":"S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “Reachability analysis of linear hybrid systems via block decomposition,” in <i>Proceedings of the International Conference on Embedded Software</i>, Virtual , 2020.","ama":"Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. In: <i>Proceedings of the International Conference on Embedded Software</i>. ; 2020.","chicago":"Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” In <i>Proceedings of the International Conference on Embedded Software</i>, 2020."}},{"year":"2020","license":"https://opensource.org/licenses/BSD-3-Clause","department":[{"_id":"Bio"}],"date_updated":"2021-01-12T08:17:56Z","author":[{"full_name":"Hauschild, Robert","last_name":"Hauschild","orcid":"0000-0001-9843-3522","first_name":"Robert","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87"}],"title":"RGtracker","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"file":[{"relation":"main_file","access_level":"open_access","checksum":"108352149987ac6f066e4925bd56e35e","content_type":"text/plain","file_id":"8346","creator":"rhauschild","file_size":882,"date_updated":"2020-09-08T14:26:31Z","date_created":"2020-09-08T14:26:31Z","success":1,"file_name":"readme.txt"},{"file_name":"RGtracker.mlappinstall","success":1,"date_updated":"2020-09-08T14:26:33Z","date_created":"2020-09-08T14:26:33Z","creator":"rhauschild","file_size":246121,"file_id":"8347","content_type":"application/octet-stream","relation":"main_file","checksum":"ffd6c643b28e0cc7c6d0060a18a7e8ea","access_level":"open_access"}],"date_published":"2020-09-10T00:00:00Z","has_accepted_license":"1","month":"09","publisher":"IST Austria","doi":"10.15479/AT:ISTA:8294","_id":"8294","tmp":{"legal_code_url":"https://opensource.org/licenses/BSD-3-Clause","name":"The 3-Clause BSD License","short":"3-Clause BSD"},"date_created":"2020-08-25T12:52:48Z","ddc":["570"],"day":"10","status":"public","citation":{"mla":"Hauschild, Robert. <i>RGtracker</i>. IST Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8294\">10.15479/AT:ISTA:8294</a>.","apa":"Hauschild, R. (2020). RGtracker. IST Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8294\">https://doi.org/10.15479/AT:ISTA:8294</a>","chicago":"Hauschild, Robert. “RGtracker.” IST Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8294\">https://doi.org/10.15479/AT:ISTA:8294</a>.","ama":"Hauschild R. RGtracker. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8294\">10.15479/AT:ISTA:8294</a>","ieee":"R. Hauschild, “RGtracker.” IST Austria, 2020.","ista":"Hauschild R. 2020. RGtracker, IST Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:8294\">10.15479/AT:ISTA:8294</a>.","short":"R. Hauschild, (2020)."},"abstract":[{"lang":"eng","text":"Automated root growth analysis and tracking of root tips. "}],"type":"software","file_date_updated":"2020-09-08T14:26:33Z"},{"date_updated":"2023-08-24T14:20:21Z","issue":"6","oa":1,"month":"08","intvolume":"       102","date_published":"2020-08-26T00:00:00Z","article_number":"060202(R)","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).","year":"2020","external_id":{"isi":["000562628300001"]},"ddc":["530"],"date_created":"2020-08-26T19:27:42Z","status":"public","day":"26","volume":102,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"12732"}]},"isi":1,"oa_version":"None","ec_funded":1,"doi":"10.1103/physrevb.102.060202","publication":"Physical Review B","file":[{"date_created":"2020-08-26T19:28:55Z","date_updated":"2020-08-26T19:28:55Z","success":1,"file_name":"PhysRevB.102.060202.pdf","checksum":"716442fa7861323fcc80b93718ca009c","access_level":"open_access","relation":"main_file","file_id":"8309","content_type":"application/pdf","creator":"mserbyn","file_size":488825},{"checksum":"be0abdc8f60fe065ea6dc92e08487122","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_id":"8310","creator":"mserbyn","file_size":711405,"date_updated":"2020-08-26T19:29:00Z","date_created":"2020-08-26T19:29:00Z","success":1,"file_name":"Supplementary-mbme.pdf"}],"author":[{"full_name":"Brighi, Pietro","last_name":"Brighi","orcid":"0000-0002-7969-2729","id":"4115AF5C-F248-11E8-B48F-1D18A9856A87","first_name":"Pietro"},{"last_name":"Abanin","first_name":"Dmitry A.","full_name":"Abanin, Dmitry A."},{"full_name":"Serbyn, Maksym","orcid":"0000-0002-2399-5827","last_name":"Serbyn","first_name":"Maksym","id":"47809E7E-F248-11E8-B48F-1D18A9856A87"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Stability of mobility edges in disordered interacting systems","has_accepted_license":"1","publisher":"American Physical Society","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"MaSe"}],"_id":"8308","quality_controlled":"1","publication_identifier":{"eissn":["2469-9969"],"issn":["2469-9950"]},"citation":{"ista":"Brighi P, Abanin DA, Serbyn M. 2020. Stability of mobility edges in disordered interacting systems. Physical Review B. 102(6), 060202(R).","ieee":"P. Brighi, D. A. Abanin, and M. Serbyn, “Stability of mobility edges in disordered interacting systems,” <i>Physical Review B</i>, 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. <i>Physical Review B</i>. 2020;102(6). doi:<a href=\"https://doi.org/10.1103/physrevb.102.060202\">10.1103/physrevb.102.060202</a>","chicago":"Brighi, Pietro, Dmitry A. Abanin, and Maksym Serbyn. “Stability of Mobility Edges in Disordered Interacting Systems.” <i>Physical Review B</i>. American Physical Society, 2020. <a href=\"https://doi.org/10.1103/physrevb.102.060202\">https://doi.org/10.1103/physrevb.102.060202</a>.","apa":"Brighi, P., Abanin, D. A., &#38; Serbyn, M. (2020). Stability of mobility edges in disordered interacting systems. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevb.102.060202\">https://doi.org/10.1103/physrevb.102.060202</a>","mla":"Brighi, Pietro, et al. “Stability of Mobility Edges in Disordered Interacting Systems.” <i>Physical Review B</i>, vol. 102, no. 6, 060202(R), American Physical Society, 2020, doi:<a href=\"https://doi.org/10.1103/physrevb.102.060202\">10.1103/physrevb.102.060202</a>."},"file_date_updated":"2020-08-26T19:29:00Z","type":"journal_article","scopus_import":"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."}],"project":[{"call_identifier":"H2020","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program"},{"name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E","call_identifier":"H2020","grant_number":"850899"}],"publication_status":"published"},{"publication_status":"published","citation":{"apa":"Gutierrez-Fernandez, J., Kaszuba, K., Minhas, G. S., Baradaran, R., Tambalo, M., Gallagher, D. T., &#38; Sazanov, L. A. (2020). Key role of quinone in the mechanism of respiratory complex I. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-17957-0\">https://doi.org/10.1038/s41467-020-17957-0</a>","mla":"Gutierrez-Fernandez, Javier, et al. “Key Role of Quinone in the Mechanism of Respiratory Complex I.” <i>Nature Communications</i>, vol. 11, no. 1, 4135, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-17957-0\">10.1038/s41467-020-17957-0</a>.","ama":"Gutierrez-Fernandez J, Kaszuba K, Minhas GS, et al. Key role of quinone in the mechanism of respiratory complex I. <i>Nature Communications</i>. 2020;11(1). doi:<a href=\"https://doi.org/10.1038/s41467-020-17957-0\">10.1038/s41467-020-17957-0</a>","short":"J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo, D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).","ieee":"J. Gutierrez-Fernandez <i>et al.</i>, “Key role of quinone in the mechanism of respiratory complex I,” <i>Nature Communications</i>, vol. 11, no. 1. Springer Nature, 2020.","ista":"Gutierrez-Fernandez J, Kaszuba K, Minhas GS, Baradaran R, Tambalo M, Gallagher DT, Sazanov LA. 2020. Key role of quinone in the mechanism of respiratory complex I. Nature Communications. 11(1), 4135.","chicago":"Gutierrez-Fernandez, Javier, Karol Kaszuba, Gurdeep S. Minhas, Rozbeh Baradaran, Margherita Tambalo, David T. Gallagher, and Leonid A Sazanov. “Key Role of Quinone in the Mechanism of Respiratory Complex I.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-17957-0\">https://doi.org/10.1038/s41467-020-17957-0</a>."},"publication_identifier":{"eissn":["20411723"]},"file_date_updated":"2020-08-31T13:40:00Z","type":"journal_article","abstract":[{"lang":"eng","text":"Complex I is the first and the largest enzyme of respiratory chains in bacteria and mitochondria. The mechanism which couples spatially separated transfer of electrons to proton translocation in complex I is not known. Here we report five crystal structures of T. thermophilus enzyme in complex with NADH or quinone-like compounds. We also determined cryo-EM structures of major and minor native states of the complex, differing in the position of the peripheral arm. Crystal structures show that binding of quinone-like compounds (but not of NADH) leads to a related global conformational change, accompanied by local re-arrangements propagating from the quinone site to the nearest proton channel. Normal mode and molecular dynamics analyses indicate that these are likely to represent the first steps in the proton translocation mechanism. Our results suggest that quinone binding and chemistry play a key role in the coupling mechanism of complex I."}],"scopus_import":"1","_id":"8318","quality_controlled":"1","article_processing_charge":"No","department":[{"_id":"LeSa"}],"language":[{"iso":"eng"}],"article_type":"original","has_accepted_license":"1","publisher":"Springer Nature","file":[{"file_name":"2020_NatComm_Gutierrez-Fernandez.pdf","success":1,"date_created":"2020-08-31T13:40:00Z","date_updated":"2020-08-31T13:40:00Z","file_size":7527373,"creator":"cziletti","file_id":"8326","content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"52b96f41d7d0db9728064c08da00d030"}],"author":[{"last_name":"Gutierrez-Fernandez","first_name":"Javier","id":"3D9511BA-F248-11E8-B48F-1D18A9856A87","full_name":"Gutierrez-Fernandez, Javier"},{"last_name":"Kaszuba","first_name":"Karol","id":"3FDF9472-F248-11E8-B48F-1D18A9856A87","full_name":"Kaszuba, Karol"},{"full_name":"Minhas, Gurdeep S.","first_name":"Gurdeep S.","last_name":"Minhas"},{"full_name":"Baradaran, Rozbeh","first_name":"Rozbeh","last_name":"Baradaran"},{"full_name":"Tambalo, Margherita","id":"4187dfe4-ec23-11ea-ae46-f08ab378313a","first_name":"Margherita","last_name":"Tambalo"},{"first_name":"David T.","last_name":"Gallagher","full_name":"Gallagher, David T."},{"full_name":"Sazanov, Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","first_name":"Leonid A","last_name":"Sazanov","orcid":"0000-0002-0977-7989"}],"title":"Key role of quinone in the mechanism of respiratory complex I","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1038/s41467-020-17957-0","publication":"Nature Communications","related_material":{"link":[{"url":"https://ist.ac.at/en/news/mystery-of-giant-proton-pump-solved/","description":"News on IST Homepage","relation":"press_release"}]},"isi":1,"oa_version":"Published Version","pmid":1,"volume":11,"date_created":"2020-08-30T22:01:10Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["570"],"status":"public","day":"18","external_id":{"pmid":["32811817"],"isi":["000607072900001"]},"year":"2020","intvolume":"        11","month":"08","date_published":"2020-08-18T00:00:00Z","article_number":"4135","acknowledgement":"This work was funded by the Medical Research Council, UK and IST Austria. We thank the European Synchrotron Radiation Facility and the Diamond Light Source for provision of synchrotron radiation facilities. We are grateful to the staff of beamlines ID29, ID23-2 (ESRF, Grenoble, France) and I03 (Diamond Light Source, Didcot, UK) for assistance. Data processing was performed at the IST high-performance computing cluster.","date_updated":"2023-08-22T09:03:00Z","issue":"1","oa":1},{"publication_status":"published","_id":"8319","quality_controlled":"1","citation":{"apa":"Wu, Y., Krishnakumar, R., Martínez-Rincón, J., Malia, B. K., Hosten, O., &#38; Kasevich, M. A. (2020). Retrieval of cavity-generated atomic spin squeezing after free-space release. <i>Physical Review A</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.102.012224\">https://doi.org/10.1103/PhysRevA.102.012224</a>","mla":"Wu, Yunfan, et al. “Retrieval of Cavity-Generated Atomic Spin Squeezing after Free-Space Release.” <i>Physical Review A</i>, vol. 102, no. 1, 012224, American Physical Society, 2020, doi:<a href=\"https://doi.org/10.1103/PhysRevA.102.012224\">10.1103/PhysRevA.102.012224</a>.","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. <i>Physical Review A</i>. 2020;102(1). doi:<a href=\"https://doi.org/10.1103/PhysRevA.102.012224\">10.1103/PhysRevA.102.012224</a>","short":"Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).","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.","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,” <i>Physical Review A</i>, vol. 102, no. 1. American Physical Society, 2020.","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.” <i>Physical Review A</i>. American Physical Society, 2020. <a href=\"https://doi.org/10.1103/PhysRevA.102.012224\">https://doi.org/10.1103/PhysRevA.102.012224</a>."},"publication_identifier":{"issn":["24699926"],"eissn":["24699934"]},"scopus_import":"1","abstract":[{"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.","lang":"eng"}],"arxiv":1,"type":"journal_article","language":[{"iso":"eng"}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"OnHo"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Wu","first_name":"Yunfan","full_name":"Wu, Yunfan"},{"first_name":"Rajiv","last_name":"Krishnakumar","full_name":"Krishnakumar, Rajiv"},{"full_name":"Martínez-Rincón, Julián","first_name":"Julián","last_name":"Martínez-Rincón"},{"full_name":"Malia, Benjamin K.","first_name":"Benjamin K.","last_name":"Malia"},{"full_name":"Hosten, Onur","last_name":"Hosten","orcid":"0000-0002-2031-204X","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","first_name":"Onur"},{"full_name":"Kasevich, Mark A.","first_name":"Mark A.","last_name":"Kasevich"}],"title":"Retrieval of cavity-generated atomic spin squeezing after free-space release","publisher":"American Physical Society","oa_version":"Preprint","isi":1,"publication":"Physical Review A","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1912.08334"}],"doi":"10.1103/PhysRevA.102.012224","date_created":"2020-08-30T22:01:10Z","status":"public","day":"30","volume":102,"year":"2020","external_id":{"isi":["000555104200011"],"arxiv":["1912.08334"]},"date_updated":"2024-02-28T13:11:28Z","oa":1,"issue":"1","date_published":"2020-07-30T00:00:00Z","intvolume":"       102","month":"07","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.","article_number":"012224"}]