[{"project":[{"grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"external_id":{"isi":["000614622300016"]},"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3385412.3385980"}],"oa_version":"Published Version","title":"Inductive sequentialization of asynchronous programs","doi":"10.1145/3385412.3385980","author":[{"last_name":"Kragl","full_name":"Kragl, Bernhard","first_name":"Bernhard","id":"320FC952-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7745-9117"},{"last_name":"Enea","full_name":"Enea, Constantin","first_name":"Constantin"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger"},{"last_name":"Mutluergil","full_name":"Mutluergil, Suha Orhun","first_name":"Suha Orhun"},{"full_name":"Qadeer, Shaz","first_name":"Shaz","last_name":"Qadeer"}],"publisher":"Association for Computing Machinery","date_published":"2020-06-01T00:00:00Z","day":"01","article_processing_charge":"No","abstract":[{"lang":"eng","text":"Asynchronous programs are notoriously difficult to reason about because they spawn computation tasks which take effect asynchronously in a nondeterministic way. Devising inductive invariants for such programs requires understanding and stating complex relationships between an unbounded number of computation tasks in arbitrarily long executions. In this paper, we introduce inductive sequentialization, a new proof rule that sidesteps this complexity via a sequential reduction, a sequential program that captures every behavior of the original program up to reordering of coarse-grained commutative actions. A sequential reduction of a concurrent program is easy to reason about since it corresponds to a simple execution of the program in an idealized synchronous environment, where processes act in a fixed order and at the same speed. We have implemented and integrated our proof rule in the CIVL verifier, allowing us to provably derive fine-grained implementations of asynchronous programs. We have successfully applied our proof rule to a diverse set of message-passing protocols, including leader election protocols, two-phase commit, and Paxos."}],"publication_status":"published","year":"2020","scopus_import":"1","status":"public","month":"06","language":[{"iso":"eng"}],"conference":{"start_date":"2020-06-15","end_date":"2020-06-20","name":"PLDI: Programming Language Design and Implementation","location":"London, United Kingdom"},"department":[{"_id":"ToHe"}],"_id":"8012","isi":1,"page":"227-242","publication_identifier":{"isbn":["9781450376136"]},"related_material":{"record":[{"relation":"dissertation_contains","id":"8332","status":"public"}]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"date_created":"2020-06-25T11:40:16Z","date_updated":"2026-04-08T07:23:52Z","quality_controlled":"1","citation":{"apa":"Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., &#38; Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i> (pp. 227–242). London, United Kingdom: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3385412.3385980\">https://doi.org/10.1145/3385412.3385980</a>","chicago":"Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.” In <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>, 227–42. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3385412.3385980\">https://doi.org/10.1145/3385412.3385980</a>.","mla":"Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.” <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>, Association for Computing Machinery, 2020, pp. 227–42, doi:<a href=\"https://doi.org/10.1145/3385412.3385980\">10.1145/3385412.3385980</a>.","ama":"Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. Inductive sequentialization of asynchronous programs. In: <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>. Association for Computing Machinery; 2020:227-242. doi:<a href=\"https://doi.org/10.1145/3385412.3385980\">10.1145/3385412.3385980</a>","short":"B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.","ista":"Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 227–242.","ieee":"B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive sequentialization of asynchronous programs,” in <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>, London, United Kingdom, 2020, pp. 227–242."},"type":"conference","publication":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"},{"oa":1,"related_material":{"record":[{"id":"6677","relation":"part_of_dissertation","status":"public"}]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"ieee":"C. Kamath Hosdurg, “On the average-case hardness of total search problems,” Institute of Science and Technology Austria, 2020.","ista":"Kamath Hosdurg C. 2020. On the average-case hardness of total search problems. Institute of Science and Technology Austria.","short":"C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020.","ama":"Kamath Hosdurg C. On the average-case hardness of total search problems. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:7896\">10.15479/AT:ISTA:7896</a>","mla":"Kamath Hosdurg, Chethan. <i>On the Average-Case Hardness of Total Search Problems</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:7896\">10.15479/AT:ISTA:7896</a>.","chicago":"Kamath Hosdurg, Chethan. “On the Average-Case Hardness of Total Search Problems.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:7896\">https://doi.org/10.15479/AT:ISTA:7896</a>.","apa":"Kamath Hosdurg, C. (2020). <i>On the average-case hardness of total search problems</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:7896\">https://doi.org/10.15479/AT:ISTA:7896</a>"},"type":"dissertation","date_created":"2020-05-26T14:08:55Z","file_date_updated":"2020-07-14T12:48:04Z","date_updated":"2026-04-08T07:24:42Z","language":[{"iso":"eng"}],"supervisor":[{"orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","full_name":"Pietrzak, Krzysztof Z","last_name":"Pietrzak"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"ddc":["000"],"month":"05","degree_awarded":"PhD","publication_identifier":{"issn":["2663-337X"]},"_id":"7896","department":[{"_id":"KrPi"}],"has_accepted_license":"1","page":"126","alternative_title":["ISTA Thesis"],"file":[{"creator":"dernst","relation":"main_file","file_name":"2020_Thesis_Kamath.pdf","date_updated":"2020-07-14T12:48:04Z","content_type":"application/pdf","date_created":"2020-05-26T14:08:13Z","file_id":"7897","file_size":1622742,"access_level":"open_access","checksum":"b39e2e1c376f5819b823fb7077491c64"},{"relation":"source_file","creator":"dernst","file_name":"Thesis_Kamath.zip","date_created":"2020-05-26T14:08:23Z","date_updated":"2020-07-14T12:48:04Z","content_type":"application/x-zip-compressed","checksum":"8b26ba729c1a85ac6bea775f5d73cdc7","access_level":"closed","file_size":15301529,"file_id":"7898"}],"day":"25","article_processing_charge":"No","publisher":"Institute of Science and Technology Austria","author":[{"id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","orcid":"0009-0006-6812-7317","full_name":"Kamath Hosdurg, Chethan","first_name":"Chethan","last_name":"Kamath Hosdurg"}],"date_published":"2020-05-25T00:00:00Z","corr_author":"1","status":"public","publication_status":"published","abstract":[{"text":"A search problem lies in the complexity class FNP if a solution to the given instance of the problem can be verified efficiently. The complexity class TFNP consists of all search problems in FNP that are total in the sense that a solution is guaranteed to exist. TFNP contains a host of interesting problems from fields such as algorithmic game theory, computational topology, number theory and combinatorics. Since TFNP is a semantic class, it is unlikely to have a complete problem. Instead, one studies its syntactic subclasses which are defined based on the combinatorial principle used to argue totality. Of particular interest is the subclass PPAD, which contains important problems\r\nlike computing Nash equilibrium for bimatrix games and computational counterparts of several fixed-point theorems as complete. In the thesis, we undertake the study of averagecase hardness of TFNP, and in particular its subclass PPAD.\r\nAlmost nothing was known about average-case hardness of PPAD before a series of recent results showed how to achieve it using a cryptographic primitive called program obfuscation.\r\nHowever, it is currently not known how to construct program obfuscation from standard cryptographic assumptions. Therefore, it is desirable to relax the assumption under which average-case hardness of PPAD can be shown. In the thesis we take a step in this direction. First, we show that assuming the (average-case) hardness of a numbertheoretic\r\nproblem related to factoring of integers, which we call Iterated-Squaring, PPAD is hard-on-average in the random-oracle model. Then we strengthen this result to show that the average-case hardness of PPAD reduces to the (adaptive) soundness of the Fiat-Shamir Transform, a well-known technique used to compile a public-coin interactive protocol into a non-interactive one. As a corollary, we obtain average-case hardness for PPAD in the random-oracle model assuming the worst-case hardness of #SAT. Moreover, the above results can all be strengthened to obtain average-case hardness for the class CLS ⊆ PPAD.\r\nOur main technical contribution is constructing incrementally-verifiable procedures for computing Iterated-Squaring and #SAT. By incrementally-verifiable, we mean that every intermediate state of the computation includes a proof of its correctness, and the proof can be updated and verified in polynomial time. Previous constructions of such procedures relied on strong, non-standard assumptions. Instead, we introduce a technique called recursive proof-merging to obtain the same from weaker assumptions. ","lang":"eng"}],"OA_place":"publisher","year":"2020","ec_funded":1,"project":[{"call_identifier":"FP7","name":"Provable Security for Physical Cryptography","_id":"258C570E-B435-11E9-9278-68D0E5697425","grant_number":"259668"},{"grant_number":"682815","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Teaching Old Crypto New Tricks"}],"doi":"10.15479/AT:ISTA:7896","title":"On the average-case hardness of total search problems","oa_version":"Published Version"},{"doi":"10.15479/AT:ISTA:8589","title":"Novel insights into PIN polarity regulation during Arabidopsis development","acknowledgement":"I also want to thank the China Scholarship Council for supporting my study during the year from 2015 to 2019. I also want to thank IST facilities – the Bioimaging facility, the media kitchen, the plant facility and all of the campus services, for their support.","oa_version":"Published Version","file":[{"file_size":49198118,"file_id":"8590","checksum":"c4bda1947d4c09c428ac9ce667b02327","access_level":"closed","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_updated":"2020-09-30T14:50:20Z","date_created":"2020-09-30T14:50:20Z","file_name":"2020_Han_Thesis.docx","creator":"dernst","relation":"source_file"},{"file_name":"2020_Han_Thesis.pdf","relation":"main_file","creator":"dernst","checksum":"3f4f5d1718c2230adf30639ecaf8a00b","access_level":"open_access","file_size":15513963,"file_id":"8591","date_created":"2020-09-30T14:49:59Z","date_updated":"2021-10-01T13:33:02Z","content_type":"application/pdf"}],"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"article_processing_charge":"No","day":"30","publisher":"Institute of Science and Technology Austria","author":[{"first_name":"Huibin","full_name":"Han, Huibin","id":"31435098-F248-11E8-B48F-1D18A9856A87","last_name":"Han"}],"date_published":"2020-09-30T00:00:00Z","status":"public","corr_author":"1","abstract":[{"text":"The plant hormone auxin plays indispensable roles in plant growth and development. An essential level of regulation in auxin action is the directional auxin transport within cells. The establishment of auxin gradient in plant tissue has been attributed to local auxin biosynthesis and directional intercellular auxin transport, which both are controlled by various environmental and developmental signals. It is well established that asymmetric auxin distribution in cells is achieved by polarly localized PIN-FORMED (PIN) auxin efflux transporters. Despite the initial insights into cellular mechanisms of PIN polarization obtained from the last decades, the molecular mechanism and specific regulators mediating PIN polarization remains elusive. In this thesis, we aim to find novel players in PIN subcellular polarity regulation during Arabidopsis development. We first characterize the physiological effect of piperonylic acid (PA) on Arabidopsis hypocotyl gravitropic bending and PIN polarization. Secondly, we reveal the importance of SCFTIR1/AFB auxin signaling pathway in shoot gravitropism bending termination. In addition, we also explore the role of myosin XI complex, and actin cytoskeleton in auxin feedback regulation on PIN polarity. In Chapter 1, we give an overview of the current knowledge about PIN-mediated auxin fluxes in various plant tropic responses. In Chapter 2, we study the physiological effect of PA on shoot gravitropic bending. Our results show that PA treatment inhibits auxin-mediated PIN3 repolarization by interfering with PINOID and PIN3 phosphorylation status, ultimately leading to hyperbending hypocotyls. In Chapter 3, we provide evidence to show that the SCFTIR1/AFB nuclear auxin signaling pathway is crucial and required for auxin-mediated PIN3 repolarization and shoot gravitropic bending termination. In Chapter 4, we perform a phosphoproteomics approach and identify the motor protein Myosin XI and its binding protein, the MadB2 family, as an essential regulator of PIN polarity for auxin-canalization related developmental processes. In Chapter 5, we demonstrate the vital role of actin cytoskeleton in auxin feedback on PIN polarity by regulating PIN subcellular trafficking. Overall, the data presented in this PhD thesis brings novel insights into the PIN polar localization regulation that resulted in the (re)establishment of the polar auxin flow and gradient in response to environmental stimuli during plant development.","lang":"eng"}],"OA_place":"publisher","publication_status":"published","year":"2020","language":[{"iso":"eng"}],"supervisor":[{"full_name":"Friml, Jiří","first_name":"Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","last_name":"Friml"}],"ddc":["580"],"month":"09","degree_awarded":"PhD","publication_identifier":{"issn":["2663-337X"]},"_id":"8589","department":[{"_id":"JiFr"}],"alternative_title":["ISTA Thesis"],"has_accepted_license":"1","page":"164","oa":1,"related_material":{"record":[{"id":"7643","relation":"part_of_dissertation","status":"public"}]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"ieee":"H. Han, “Novel insights into PIN polarity regulation during Arabidopsis development,” Institute of Science and Technology Austria, 2020.","short":"H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, Institute of Science and Technology Austria, 2020.","ama":"Han H. Novel insights into PIN polarity regulation during Arabidopsis development. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8589\">10.15479/AT:ISTA:8589</a>","ista":"Han H. 2020. Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria.","mla":"Han, Huibin. <i>Novel Insights into PIN Polarity Regulation during Arabidopsis Development</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8589\">10.15479/AT:ISTA:8589</a>.","apa":"Han, H. (2020). <i>Novel insights into PIN polarity regulation during Arabidopsis development</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8589\">https://doi.org/10.15479/AT:ISTA:8589</a>","chicago":"Han, Huibin. “Novel Insights into PIN Polarity Regulation during Arabidopsis Development.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8589\">https://doi.org/10.15479/AT:ISTA:8589</a>."},"type":"dissertation","date_created":"2020-09-30T14:50:51Z","date_updated":"2026-04-08T07:24:28Z","file_date_updated":"2021-10-01T13:33:02Z"},{"title":"SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism","doi":"10.1104/pp.20.00212","oa_version":"Published Version","acknowledgement":"This work was supported by the European Research Council under the European Union’s Horizon 2020 research and innovation Programme (ERC grant agreement number 742985), and the Austrian Science Fund (FWF, grant number I 3630-B25) to JF. HH is supported by the China Scholarship Council (CSC scholarship). ","issue":"5","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1104/pp.20.00212"}],"ec_funded":1,"external_id":{"isi":["000536641800018"],"pmid":["32107280"]},"project":[{"grant_number":"742985","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","call_identifier":"H2020","_id":"261099A6-B435-11E9-9278-68D0E5697425"},{"name":"Molecular mechanisms of endocytic cargo recognition in plants","call_identifier":"FWF","_id":"26538374-B435-11E9-9278-68D0E5697425","grant_number":"I03630"}],"corr_author":"1","status":"public","year":"2020","scopus_import":"1","publication_status":"published","day":"08","article_processing_charge":"No","pmid":1,"date_published":"2020-05-08T00:00:00Z","author":[{"id":"31435098-F248-11E8-B48F-1D18A9856A87","full_name":"Han, Huibin","first_name":"Huibin","last_name":"Han"},{"last_name":"Rakusova","id":"4CAAA450-78D2-11EA-8E57-B40A396E08BA","first_name":"Hana","full_name":"Rakusova, Hana"},{"last_name":"Verstraeten","orcid":"0000-0001-7241-2328","id":"362BF7FE-F248-11E8-B48F-1D18A9856A87","first_name":"Inge","full_name":"Verstraeten, Inge"},{"last_name":"Zhang","orcid":"0000-0003-2627-6956","id":"3B6137F2-F248-11E8-B48F-1D18A9856A87","first_name":"Yuzhou","full_name":"Zhang, Yuzhou"},{"last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří","first_name":"Jiří"}],"publisher":"American Society of Plant Biologists","publication_identifier":{"issn":["0032-0889"],"eissn":["1532-2548"]},"page":"37-40","_id":"7643","isi":1,"department":[{"_id":"JiFr"}],"language":[{"iso":"eng"}],"month":"05","intvolume":"       183","publication":"Plant Physiology","citation":{"ista":"Han H, Rakusova H, Verstraeten I, Zhang Y, Friml J. 2020. SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. Plant Physiology. 183(5), 37–40.","short":"H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40.","ama":"Han H, Rakusova H, Verstraeten I, Zhang Y, Friml J. SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. <i>Plant Physiology</i>. 2020;183(5):37-40. doi:<a href=\"https://doi.org/10.1104/pp.20.00212\">10.1104/pp.20.00212</a>","ieee":"H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, and J. Friml, “SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism,” <i>Plant Physiology</i>, vol. 183, no. 5. American Society of Plant Biologists, pp. 37–40, 2020.","chicago":"Han, Huibin, Hana Rakusova, Inge Verstraeten, Yuzhou Zhang, and Jiří Friml. “SCF TIR1/AFB Auxin Signaling for Bending Termination during Shoot Gravitropism.” <i>Plant Physiology</i>. American Society of Plant Biologists, 2020. <a href=\"https://doi.org/10.1104/pp.20.00212\">https://doi.org/10.1104/pp.20.00212</a>.","apa":"Han, H., Rakusova, H., Verstraeten, I., Zhang, Y., &#38; Friml, J. (2020). SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. <i>Plant Physiology</i>. American Society of Plant Biologists. <a href=\"https://doi.org/10.1104/pp.20.00212\">https://doi.org/10.1104/pp.20.00212</a>","mla":"Han, Huibin, et al. “SCF TIR1/AFB Auxin Signaling for Bending Termination during Shoot Gravitropism.” <i>Plant Physiology</i>, vol. 183, no. 5, American Society of Plant Biologists, 2020, pp. 37–40, doi:<a href=\"https://doi.org/10.1104/pp.20.00212\">10.1104/pp.20.00212</a>."},"type":"journal_article","date_updated":"2026-04-08T07:24:27Z","quality_controlled":"1","date_created":"2020-04-06T10:06:40Z","article_type":"letter_note","volume":183,"oa":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","related_material":{"record":[{"relation":"dissertation_contains","id":"8589","status":"public"}]}},{"intvolume":"        16","ddc":["000","570"],"month":"02","language":[{"iso":"eng"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"article_number":"e1007642","_id":"7569","department":[{"_id":"CaGu"},{"_id":"GaTk"}],"isi":1,"has_accepted_license":"1","publication_identifier":{"issn":["1553-7358"]},"related_material":{"record":[{"status":"deleted","relation":"research_data","id":"9716"},{"status":"public","relation":"research_data","id":"9776"},{"id":"9779","relation":"research_data","status":"public"},{"status":"public","id":"9777","relation":"research_data"},{"status":"public","id":"8155","relation":"dissertation_contains"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"volume":16,"article_type":"original","date_created":"2020-03-06T07:39:38Z","quality_controlled":"1","date_updated":"2026-04-08T07:25:08Z","file_date_updated":"2020-07-14T12:48:00Z","publication":"PLOS Computational Biology","citation":{"apa":"Grah, R., &#38; Friedlander, T. (2020). The relation between crosstalk and gene regulation form revisited. <i>PLOS Computational Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pcbi.1007642\">https://doi.org/10.1371/journal.pcbi.1007642</a>","chicago":"Grah, Rok, and Tamar Friedlander. “The Relation between Crosstalk and Gene Regulation Form Revisited.” <i>PLOS Computational Biology</i>. Public Library of Science, 2020. <a href=\"https://doi.org/10.1371/journal.pcbi.1007642\">https://doi.org/10.1371/journal.pcbi.1007642</a>.","mla":"Grah, Rok, and Tamar Friedlander. “The Relation between Crosstalk and Gene Regulation Form Revisited.” <i>PLOS Computational Biology</i>, vol. 16, no. 2, e1007642, Public Library of Science, 2020, doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1007642\">10.1371/journal.pcbi.1007642</a>.","short":"R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).","ama":"Grah R, Friedlander T. The relation between crosstalk and gene regulation form revisited. <i>PLOS Computational Biology</i>. 2020;16(2). doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1007642\">10.1371/journal.pcbi.1007642</a>","ista":"Grah R, Friedlander T. 2020. The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. 16(2), e1007642.","ieee":"R. Grah and T. Friedlander, “The relation between crosstalk and gene regulation form revisited,” <i>PLOS Computational Biology</i>, vol. 16, no. 2. Public Library of Science, 2020."},"type":"journal_article","external_id":{"isi":["000526725200019"],"pmid":["32097416"]},"issue":"2","oa_version":"Published Version","title":"The relation between crosstalk and gene regulation form revisited","doi":"10.1371/journal.pcbi.1007642","author":[{"last_name":"Grah","id":"483E70DE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2539-3560","full_name":"Grah, Rok","first_name":"Rok"},{"full_name":"Friedlander, Tamar","first_name":"Tamar","last_name":"Friedlander"}],"publisher":"Public Library of Science","pmid":1,"date_published":"2020-02-25T00:00:00Z","file":[{"file_id":"7579","file_size":2209325,"access_level":"open_access","checksum":"5239dd134dc6e1c71fe7b3ce2953da37","date_updated":"2020-07-14T12:48:00Z","content_type":"application/pdf","date_created":"2020-03-09T15:12:21Z","file_name":"2020_PlosCompBio_Grah.pdf","creator":"dernst","relation":"main_file"}],"article_processing_charge":"No","day":"25","publication_status":"published","abstract":[{"text":"Genes differ in the frequency at which they are expressed and in the form of regulation used to control their activity. In particular, positive or negative regulation can lead to activation of a gene in response to an external signal. Previous works proposed that the form of regulation of a gene correlates with its frequency of usage: positive regulation when the gene is frequently expressed and negative regulation when infrequently expressed. Such network design means that, in the absence of their regulators, the genes are found in their least required activity state, hence regulatory intervention is often necessary. Due to the multitude of genes and regulators, spurious binding and unbinding events, called “crosstalk”, could occur. To determine how the form of regulation affects the global crosstalk in the network, we used a mathematical model that includes multiple regulators and multiple target genes. We found that crosstalk depends non-monotonically on the availability of regulators. Our analysis showed that excess use of regulation entailed by the formerly suggested network design caused high crosstalk levels in a large part of the parameter space. We therefore considered the opposite ‘idle’ design, where the default unregulated state of genes is their frequently required activity state. We found, that ‘idle’ design minimized the use of regulation and thus minimized crosstalk. In addition, we estimated global crosstalk of S. cerevisiae using transcription factors binding data. We demonstrated that even partial network data could suffice to estimate its global crosstalk, suggesting its applicability to additional organisms. We found that S. cerevisiae estimated crosstalk is lower than that of a random network, suggesting that natural selection reduces crosstalk. In summary, our study highlights a new type of protein production cost which is typically overlooked: that of regulatory interference caused by the presence of excess regulators in the cell. It demonstrates the importance of whole-network descriptions, which could show effects missed by single-gene models.","lang":"eng"}],"scopus_import":"1","year":"2020","status":"public"},{"month":"09","ddc":["570"],"supervisor":[{"last_name":"Loose","orcid":"0000-0001-7309-9724","id":"462D4284-F248-11E8-B48F-1D18A9856A87","first_name":"Martin","full_name":"Loose, Martin"}],"tmp":{"short":"CC BY-NC-SA (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png"},"language":[{"iso":"eng"}],"alternative_title":["ISTA Thesis"],"page":"215","has_accepted_license":"1","_id":"8341","department":[{"_id":"MaLo"}],"publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","related_material":{"record":[{"relation":"part_of_dissertation","id":"7580","status":"public"}]},"oa":1,"date_updated":"2026-04-08T07:24:56Z","file_date_updated":"2021-09-16T12:49:12Z","date_created":"2020-09-08T08:53:53Z","citation":{"mla":"Bezeljak, Urban. <i>In Vitro Reconstitution of a Rab Activation Switch</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8341\">10.15479/AT:ISTA:8341</a>.","apa":"Bezeljak, U. (2020). <i>In vitro reconstitution of a Rab activation switch</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8341\">https://doi.org/10.15479/AT:ISTA:8341</a>","chicago":"Bezeljak, Urban. “In Vitro Reconstitution of a Rab Activation Switch.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8341\">https://doi.org/10.15479/AT:ISTA:8341</a>.","ieee":"U. Bezeljak, “In vitro reconstitution of a Rab activation switch,” Institute of Science and Technology Austria, 2020.","ama":"Bezeljak U. In vitro reconstitution of a Rab activation switch. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8341\">10.15479/AT:ISTA:8341</a>","short":"U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, Institute of Science and Technology Austria, 2020.","ista":"Bezeljak U. 2020. In vitro reconstitution of a Rab activation switch. Institute of Science and Technology Austria."},"type":"dissertation","acknowledgement":"My thanks goes to the Loose lab members, BioImaging, Life Science and Nanofabrication Facilities and the wonderful international community at IST for sharing this experience with me.","oa_version":"Published Version","title":"In vitro reconstitution of a Rab activation switch","doi":"10.15479/AT:ISTA:8341","date_published":"2020-09-08T00:00:00Z","author":[{"full_name":"Bezeljak, Urban","first_name":"Urban","id":"2A58201A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1365-5631","last_name":"Bezeljak"}],"publisher":"Institute of Science and Technology Austria","article_processing_charge":"No","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"},{"_id":"NanoFab"}],"day":"08","file":[{"access_level":"closed","checksum":"70871b335a595252a66c6bbf0824fb02","file_id":"8342","file_size":65246782,"date_created":"2020-09-08T09:00:29Z","date_updated":"2021-09-16T12:49:12Z","content_type":"application/x-zip-compressed","file_name":"2020_Urban_Bezeljak_Thesis_TeX.zip","relation":"source_file","creator":"dernst"},{"creator":"dernst","relation":"main_file","file_name":"2020_Urban_Bezeljak_Thesis.pdf","date_updated":"2021-09-16T12:49:12Z","content_type":"application/pdf","date_created":"2020-09-08T09:00:27Z","file_size":31259058,"file_id":"8343","checksum":"59a62275088b00b7241e6ff4136434c7","access_level":"open_access"}],"year":"2020","publication_status":"published","abstract":[{"text":"One of the most striking hallmarks of the eukaryotic cell is the presence of intracellular vesicles and organelles. Each of these membrane-enclosed compartments has a distinct composition of lipids and proteins, which is essential for accurate membrane traffic and homeostasis. Interestingly, their biochemical identities are achieved with the help\r\nof small GTPases of the Rab family, which cycle between GDP- and GTP-bound forms on the selected membrane surface. While this activity switch is well understood for an individual protein, how Rab GTPases collectively transition between states to generate decisive signal propagation in space and time is unclear. In my PhD thesis, I present\r\nin vitro reconstitution experiments with theoretical modeling to systematically study a minimal Rab5 activation network from bottom-up. We find that positive feedback based on known molecular interactions gives rise to bistable GTPase activity switching on system’s scale. Furthermore, we determine that collective transition near the critical\r\npoint is intrinsically stochastic and provide evidence that the inactive Rab5 abundance on the membrane can shape the network response. Finally, we demonstrate that collective switching can spread on the lipid bilayer as a traveling activation wave, representing a possible emergent activity pattern in endosomal maturation. Together, our\r\nfindings reveal new insights into the self-organization properties of signaling networks away from chemical equilibrium. Our work highlights the importance of systematic characterization of biochemical systems in well-defined physiological conditions. This way, we were able to answer long-standing open questions in the field and close the gap between regulatory processes on a molecular scale and emergent responses on system’s level.","lang":"eng"}],"OA_place":"publisher","status":"public","corr_author":"1"},{"oa":1,"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","related_material":{"record":[{"relation":"part_of_dissertation","id":"7675","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"7569"},{"id":"7652","relation":"part_of_dissertation","status":"public"}]},"citation":{"ieee":"R. Grah, “Gene regulation across scales – how biophysical constraints shape evolution,” Institute of Science and Technology Austria, 2020.","ama":"Grah R. Gene regulation across scales – how biophysical constraints shape evolution. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8155\">10.15479/AT:ISTA:8155</a>","short":"R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, Institute of Science and Technology Austria, 2020.","ista":"Grah R. 2020. Gene regulation across scales – how biophysical constraints shape evolution. Institute of Science and Technology Austria.","mla":"Grah, Rok. <i>Gene Regulation across Scales – How Biophysical Constraints Shape Evolution</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8155\">10.15479/AT:ISTA:8155</a>.","apa":"Grah, R. (2020). <i>Gene regulation across scales – how biophysical constraints shape evolution</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8155\">https://doi.org/10.15479/AT:ISTA:8155</a>","chicago":"Grah, Rok. “Gene Regulation across Scales – How Biophysical Constraints Shape Evolution.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8155\">https://doi.org/10.15479/AT:ISTA:8155</a>."},"type":"dissertation","date_updated":"2026-04-08T07:25:09Z","file_date_updated":"2020-07-30T13:04:55Z","date_created":"2020-07-23T09:51:28Z","supervisor":[{"last_name":"Guet","first_name":"Calin C","full_name":"Guet, Calin C","orcid":"0000-0001-6220-2052","id":"47F8433E-F248-11E8-B48F-1D18A9856A87"},{"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"}],"language":[{"iso":"eng"}],"month":"07","ddc":["530","570"],"publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","alternative_title":["ISTA Thesis"],"has_accepted_license":"1","page":"310","department":[{"_id":"CaGu"},{"_id":"GaTk"}],"_id":"8155","article_processing_charge":"No","day":"24","file":[{"date_created":"2020-07-27T12:00:07Z","date_updated":"2020-07-27T12:00:07Z","content_type":"application/pdf","access_level":"open_access","success":1,"file_id":"8176","file_size":16638998,"relation":"main_file","creator":"rgrah","file_name":"Thesis_RokGrah_200727_convertedNew.pdf"},{"access_level":"closed","file_size":347459978,"file_id":"8177","date_created":"2020-07-27T12:02:23Z","date_updated":"2020-07-30T13:04:55Z","content_type":"application/zip","file_name":"Thesis_new.zip","relation":"main_file","creator":"rgrah"}],"date_published":"2020-07-24T00:00:00Z","author":[{"first_name":"Rok","full_name":"Grah, Rok","orcid":"0000-0003-2539-3560","id":"483E70DE-F248-11E8-B48F-1D18A9856A87","last_name":"Grah"}],"publisher":"Institute of Science and Technology Austria","status":"public","corr_author":"1","year":"2020","publication_status":"published","abstract":[{"lang":"eng","text":"In the thesis we focus on the interplay of the biophysics and evolution of gene regulation. We start by addressing how the type of prokaryotic gene regulation – activation and repression – affects spurious binding to DNA, also known as\r\ntranscriptional crosstalk. We propose that regulatory interference caused by excess regulatory proteins in the dense cellular medium – global crosstalk – could be a factor in determining which type of gene regulatory network is evolutionarily preferred. Next,we use a normative approach in eukaryotic gene regulation to describe minimal\r\nnon-equilibrium enhancer models that optimize so-called regulatory phenotypes. We find a class of models that differ from standard thermodynamic equilibrium models by a single parameter that notably increases the regulatory performance. Next chapter addresses the question of genotype-phenotype-fitness maps of higher dimensional phenotypes. We show that our biophysically realistic approach allows us to understand how the mechanisms of promoter function constrain genotypephenotype maps, and how they affect the evolutionary trajectories of promoters.\r\nIn the last chapter we ask whether the intrinsic instability of gene duplication and amplification provides a generic alternative to canonical gene regulation. Using mathematical modeling, we show that amplifications can tune gene expression in many environments, including those where transcription factor-based schemes are\r\nhard to evolve or maintain. "}],"OA_place":"publisher","project":[{"name":"Biophysically realistic genotype-phenotype maps for regulatory networks","_id":"267C84F4-B435-11E9-9278-68D0E5697425"}],"title":"Gene regulation across scales – how biophysical constraints shape evolution","doi":"10.15479/AT:ISTA:8155","acknowledgement":"For the duration of his PhD, Rok was a recipient of a DOC fellowship of the Austrian Academy of Sciences.","oa_version":"Published Version"},{"day":"24","article_processing_charge":"No","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"date_published":"2020-03-24T00:00:00Z","pmid":1,"publisher":"National Academy of Sciences","author":[{"full_name":"Bezeljak, Urban","first_name":"Urban","id":"2A58201A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1365-5631","last_name":"Bezeljak"},{"last_name":"Loya","first_name":"Hrushikesh","full_name":"Loya, Hrushikesh"},{"last_name":"Kaczmarek","id":"36FA4AFA-F248-11E8-B48F-1D18A9856A87","full_name":"Kaczmarek, Beata M","first_name":"Beata M"},{"full_name":"Saunders, Timothy E.","first_name":"Timothy E.","last_name":"Saunders"},{"full_name":"Loose, Martin","first_name":"Martin","id":"462D4284-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7309-9724","last_name":"Loose"}],"status":"public","year":"2020","scopus_import":"1","publication_status":"published","abstract":[{"text":"The eukaryotic endomembrane system is controlled by small GTPases of the Rab family, which are activated at defined times and locations in a switch-like manner. While this switch is well understood for an individual protein, how regulatory networks produce intracellular activity patterns is currently not known. Here, we combine in vitro reconstitution experiments with computational modeling to study a minimal Rab5 activation network. We find that the molecular interactions in this system give rise to a positive feedback and bistable collective switching of Rab5. Furthermore, we find that switching near the critical point is intrinsically stochastic and provide evidence that controlling the inactive population of Rab5 on the membrane can shape the network response. Notably, we demonstrate that collective switching can spread on the membrane surface as a traveling wave of Rab5 activation. Together, our findings reveal how biochemical signaling networks control vesicle trafficking pathways and how their nonequilibrium properties define the spatiotemporal organization of the cell.","lang":"eng"}],"issue":"12","main_file_link":[{"url":"https://doi.org/10.1101/776567","open_access":"1"}],"external_id":{"isi":["000521821800040"],"pmid":["32161136"]},"project":[{"grant_number":"RGY0083/2016","_id":"2599F062-B435-11E9-9278-68D0E5697425","name":"Reconstitution of cell polarity and axis determination in a cell-free system"}],"title":"Stochastic activation and bistability in a Rab GTPase regulatory network","doi":"10.1073/pnas.1921027117","oa_version":"Preprint","article_type":"original","volume":117,"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"relation":"dissertation_contains","id":"8341","status":"public"}],"link":[{"relation":"press_release","description":"News on IST Homepage","url":"https://ist.ac.at/en/news/proteins-as-molecular-switches/"}]},"type":"journal_article","citation":{"mla":"Bezeljak, Urban, et al. “Stochastic Activation and Bistability in a Rab GTPase Regulatory Network.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 117, no. 12, National Academy of Sciences, 2020, pp. 6504–49, doi:<a href=\"https://doi.org/10.1073/pnas.1921027117\">10.1073/pnas.1921027117</a>.","chicago":"Bezeljak, Urban, Hrushikesh Loya, Beata M Kaczmarek, Timothy E. Saunders, and Martin Loose. “Stochastic Activation and Bistability in a Rab GTPase Regulatory Network.” <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.1921027117\">https://doi.org/10.1073/pnas.1921027117</a>.","apa":"Bezeljak, U., Loya, H., Kaczmarek, B. M., Saunders, T. E., &#38; Loose, M. (2020). Stochastic activation and bistability in a Rab GTPase regulatory network. <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.1921027117\">https://doi.org/10.1073/pnas.1921027117</a>","ieee":"U. Bezeljak, H. Loya, B. M. Kaczmarek, T. E. Saunders, and M. Loose, “Stochastic activation and bistability in a Rab GTPase regulatory network,” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 117, no. 12. National Academy of Sciences, pp. 6504–6549, 2020.","ista":"Bezeljak U, Loya H, Kaczmarek BM, Saunders TE, Loose M. 2020. Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences of the United States of America. 117(12), 6504–6549.","ama":"Bezeljak U, Loya H, Kaczmarek BM, Saunders TE, Loose M. Stochastic activation and bistability in a Rab GTPase regulatory network. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. 2020;117(12):6504-6549. doi:<a href=\"https://doi.org/10.1073/pnas.1921027117\">10.1073/pnas.1921027117</a>","short":"U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 6504–6549."},"publication":"Proceedings of the National Academy of Sciences of the United States of America","quality_controlled":"1","date_updated":"2026-04-08T07:24:55Z","date_created":"2020-03-12T05:32:26Z","language":[{"iso":"eng"}],"month":"03","intvolume":"       117","publication_identifier":{"issn":["0027-8424"],"eissn":["1091-6490"]},"page":"6504-6549","_id":"7580","department":[{"_id":"MaLo"},{"_id":"CaBe"}],"isi":1},{"project":[{"name":"Can evolution minimize spurious signaling crosstalk to reach optimal performance?","_id":"2665AAFE-B435-11E9-9278-68D0E5697425","grant_number":"RGP0034/2018"},{"name":"Biophysically realistic genotype-phenotype maps for regulatory networks","_id":"267C84F4-B435-11E9-9278-68D0E5697425"}],"month":"04","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/2020.04.08.029405 "}],"department":[{"_id":"CaGu"},{"_id":"GaTk"}],"_id":"7675","oa_version":"Preprint","title":"Normative models of enhancer function","doi":"10.1101/2020.04.08.029405","author":[{"last_name":"Grah","orcid":"0000-0003-2539-3560","id":"483E70DE-F248-11E8-B48F-1D18A9856A87","first_name":"Rok","full_name":"Grah, Rok"},{"last_name":"Zoller","first_name":"Benjamin","full_name":"Zoller, Benjamin"},{"last_name":"Tkačik","first_name":"Gašper","full_name":"Tkačik, Gašper","orcid":"0000-0002-6699-1455","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Cold Spring Harbor Laboratory","related_material":{"record":[{"status":"public","id":"8155","relation":"dissertation_contains"}]},"date_published":"2020-04-09T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"article_processing_charge":"No","day":"09","date_created":"2020-04-23T10:12:51Z","publication_status":"published","abstract":[{"text":"In prokaryotes, thermodynamic models of gene regulation provide a highly quantitative mapping from promoter sequences to gene expression levels that is compatible with in vivo and in vitro bio-physical measurements. Such concordance has not been achieved for models of enhancer function in eukaryotes. In equilibrium models, it is difficult to reconcile the reported short transcription factor (TF) residence times on the DNA with the high specificity of regulation. In non-equilibrium models, progress is difficult due to an explosion in the number of parameters. Here, we navigate this complexity by looking for minimal non-equilibrium enhancer models that yield desired regulatory phenotypes: low TF residence time, high specificity and tunable cooperativity. We find that a single extra parameter, interpretable as the “linking rate” by which bound TFs interact with Mediator components, enables our models to escape equilibrium bounds and access optimal regulatory phenotypes, while remaining consistent with the reported phenomenology and simple enough to be inferred from upcoming experiments. We further find that high specificity in non-equilibrium models is in a tradeoff with gene expression noise, predicting bursty dynamics — an experimentally-observed hallmark of eukaryotic transcription. By drastically reducing the vast parameter space to a much smaller subspace that optimally realizes biological function prior to inference from data, our normative approach holds promise for mathematical models in systems biology.","lang":"eng"}],"date_updated":"2026-04-08T07:25:08Z","year":"2020","type":"preprint","publication":"bioRxiv","citation":{"mla":"Grah, Rok, et al. “Normative Models of Enhancer Function.” <i>BioRxiv</i>, Cold Spring Harbor Laboratory, 2020, doi:<a href=\"https://doi.org/10.1101/2020.04.08.029405\">10.1101/2020.04.08.029405</a>.","apa":"Grah, R., Zoller, B., &#38; Tkačik, G. (2020). Normative models of enhancer function. <i>bioRxiv</i>. Cold Spring Harbor Laboratory. <a href=\"https://doi.org/10.1101/2020.04.08.029405\">https://doi.org/10.1101/2020.04.08.029405</a>","chicago":"Grah, Rok, Benjamin Zoller, and Gašper Tkačik. “Normative Models of Enhancer Function.” <i>BioRxiv</i>. Cold Spring Harbor Laboratory, 2020. <a href=\"https://doi.org/10.1101/2020.04.08.029405\">https://doi.org/10.1101/2020.04.08.029405</a>.","ieee":"R. Grah, B. Zoller, and G. Tkačik, “Normative models of enhancer function,” <i>bioRxiv</i>. Cold Spring Harbor Laboratory, 2020.","ama":"Grah R, Zoller B, Tkačik G. Normative models of enhancer function. <i>bioRxiv</i>. 2020. doi:<a href=\"https://doi.org/10.1101/2020.04.08.029405\">10.1101/2020.04.08.029405</a>","short":"R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).","ista":"Grah R, Zoller B, Tkačik G. 2020. Normative models of enhancer function. bioRxiv, <a href=\"https://doi.org/10.1101/2020.04.08.029405\">10.1101/2020.04.08.029405</a>."},"status":"public","corr_author":"1"},{"article_processing_charge":"No","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"ScienComp"}],"day":"21","file":[{"file_name":"thesis_rguseinov.pdf","relation":"main_file","creator":"rguseino","access_level":"open_access","checksum":"f8da89553da36037296b0a80f14ebf50","success":1,"file_id":"8367","file_size":70950442,"date_created":"2020-09-10T16:11:49Z","content_type":"application/pdf","date_updated":"2020-09-10T16:11:49Z"},{"file_size":76207597,"file_id":"8374","checksum":"e8fd944c960c20e0e27e6548af69121d","access_level":"closed","date_updated":"2020-09-16T15:11:01Z","content_type":"application/x-zip-compressed","date_created":"2020-09-11T09:39:48Z","file_name":"thesis_source.zip","creator":"rguseino","relation":"source_file"}],"date_published":"2020-09-21T00:00:00Z","author":[{"full_name":"Guseinov, Ruslan","first_name":"Ruslan","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9819-5077","last_name":"Guseinov"}],"publisher":"Institute of Science and Technology Austria","status":"public","corr_author":"1","year":"2020","abstract":[{"lang":"eng","text":"Fabrication of curved shells plays an important role in modern design, industry, and science. Among their remarkable properties are, for example, aesthetics of organic shapes, ability to evenly distribute loads, or efficient flow separation. They find applications across vast length scales ranging from sky-scraper architecture to microscopic devices. But, at\r\nthe same time, the design of curved shells and their manufacturing process pose a variety of challenges. In this thesis, they are addressed from several perspectives. In particular, this thesis presents approaches based on the transformation of initially flat sheets into the target curved surfaces. This involves problems of interactive design of shells with nontrivial mechanical constraints, inverse design of complex structural materials, and data-driven modeling of delicate and time-dependent physical properties. At the same time, two newly-developed self-morphing mechanisms targeting flat-to-curved transformation are presented.\r\nIn architecture, doubly curved surfaces can be realized as cold bent glass panelizations. Originally flat glass panels are bent into frames and remain stressed. This is a cost-efficient fabrication approach compared to hot bending, when glass panels are shaped plastically. However such constructions are prone to breaking during bending, and it is highly\r\nnontrivial to navigate the design space, keeping the panels fabricable and aesthetically pleasing at the same time. We introduce an interactive design system for cold bent glass façades, while previously even offline optimization for such scenarios has not been sufficiently developed. Our method is based on a deep learning approach providing quick\r\nand high precision estimation of glass panel shape and stress while handling the shape\r\nmultimodality.\r\nFabrication of smaller objects of scales below 1 m, can also greatly benefit from shaping originally flat sheets. In this respect, we designed new self-morphing shell mechanisms transforming from an initial flat state to a doubly curved state with high precision and detail. Our so-called CurveUps demonstrate the encodement of the geometric information\r\ninto the shell. Furthermore, we explored the frontiers of programmable materials and showed how temporal information can additionally be encoded into a flat shell. This allows prescribing deformation sequences for doubly curved surfaces and, thus, facilitates self-collision avoidance enabling complex shapes and functionalities otherwise impossible.\r\nBoth of these methods include inverse design tools keeping the user in the design loop."}],"OA_place":"publisher","publication_status":"published","ec_funded":1,"project":[{"_id":"24F9549A-B435-11E9-9278-68D0E5697425","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","call_identifier":"H2020","grant_number":"715767"}],"title":"Computational design of curved thin shells: From glass façades to programmable matter","doi":"10.15479/AT:ISTA:8366","acknowledgement":"During the work on this thesis, I received substantial support from IST Austria’s scientific service units. A big thank you to Todor Asenov and other Miba Machine Shop team members for their help with fabrication of experimental prototypes. In addition, I would like to thank Scientific Computing team for the support with high performance computing.\r\nFinancial support was provided by the European Research Council (ERC) under grant agreement No 715767 - MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling, which I gratefully acknowledge.","oa_version":"Published Version","oa":1,"keyword":["computer-aided design","shape modeling","self-morphing","mechanical engineering"],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","related_material":{"record":[{"status":"public","id":"8562","relation":"part_of_dissertation"},{"relation":"research_data","id":"8375","status":"public"},{"relation":"research_data","id":"7151","status":"deleted"},{"id":"1001","relation":"part_of_dissertation","status":"public"},{"id":"7262","relation":"part_of_dissertation","status":"public"}]},"citation":{"ista":"Guseinov R. 2020. Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria.","short":"R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, Institute of Science and Technology Austria, 2020.","ama":"Guseinov R. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8366\">10.15479/AT:ISTA:8366</a>","ieee":"R. Guseinov, “Computational design of curved thin shells: From glass façades to programmable matter,” Institute of Science and Technology Austria, 2020.","chicago":"Guseinov, Ruslan. “Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8366\">https://doi.org/10.15479/AT:ISTA:8366</a>.","apa":"Guseinov, R. (2020). <i>Computational design of curved thin shells: From glass façades to programmable matter</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8366\">https://doi.org/10.15479/AT:ISTA:8366</a>","mla":"Guseinov, Ruslan. <i>Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8366\">10.15479/AT:ISTA:8366</a>."},"type":"dissertation","date_updated":"2026-04-08T07:25:22Z","file_date_updated":"2020-09-16T15:11:01Z","date_created":"2020-09-10T16:19:55Z","supervisor":[{"last_name":"Bickel","first_name":"Bernd","full_name":"Bickel, Bernd","orcid":"0000-0001-6511-9385","id":"49876194-F248-11E8-B48F-1D18A9856A87"}],"language":[{"iso":"eng"}],"month":"09","ddc":["000"],"publication_identifier":{"isbn":["978-3-99078-010-7"],"issn":["2663-337X"]},"degree_awarded":"PhD","alternative_title":["ISTA Thesis"],"has_accepted_license":"1","page":"118","department":[{"_id":"BeBi"}],"_id":"8366"},{"publication_identifier":{"issn":["0730-0301"],"eissn":["1557-7368"]},"_id":"8562","isi":1,"department":[{"_id":"BeBi"}],"has_accepted_license":"1","language":[{"iso":"eng"}],"article_number":"208","intvolume":"        39","ddc":["000"],"month":"11","type":"journal_article","publication":"ACM Transactions on Graphics","citation":{"ama":"Gavriil K, Guseinov R, Perez Rodriguez J, et al. Computational design of cold bent glass façades. <i>ACM Transactions on Graphics</i>. 2020;39(6). doi:<a href=\"https://doi.org/10.1145/3414685.3417843\">10.1145/3414685.3417843</a>","short":"K. Gavriil, R. Guseinov, J. Perez Rodriguez, D. Pellis, P.M. Henderson, F. Rist, H. Pottmann, B. Bickel, ACM Transactions on Graphics 39 (2020).","ista":"Gavriil K, Guseinov R, Perez Rodriguez J, Pellis D, Henderson PM, Rist F, Pottmann H, Bickel B. 2020. Computational design of cold bent glass façades. ACM Transactions on Graphics. 39(6), 208.","ieee":"K. Gavriil <i>et al.</i>, “Computational design of cold bent glass façades,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 6. Association for Computing Machinery, 2020.","apa":"Gavriil, K., Guseinov, R., Perez Rodriguez, J., Pellis, D., Henderson, P. M., Rist, F., … Bickel, B. (2020). Computational design of cold bent glass façades. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3414685.3417843\">https://doi.org/10.1145/3414685.3417843</a>","chicago":"Gavriil, Konstantinos, Ruslan Guseinov, Jesus Perez Rodriguez, Davide Pellis, Paul M Henderson, Florian Rist, Helmut Pottmann, and Bernd Bickel. “Computational Design of Cold Bent Glass Façades.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3414685.3417843\">https://doi.org/10.1145/3414685.3417843</a>.","mla":"Gavriil, Konstantinos, et al. “Computational Design of Cold Bent Glass Façades.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 6, 208, Association for Computing Machinery, 2020, doi:<a href=\"https://doi.org/10.1145/3414685.3417843\">10.1145/3414685.3417843</a>."},"date_created":"2020-09-23T11:30:02Z","date_updated":"2026-04-08T07:25:22Z","quality_controlled":"1","file_date_updated":"2023-05-23T20:54:43Z","oa":1,"volume":39,"article_type":"original","related_material":{"record":[{"status":"public","relation":"research_data","id":"8761"},{"relation":"dissertation_contains","id":"8366","status":"public"}],"link":[{"url":"https://ist.ac.at/en/news/bend-dont-break/","description":"News on IST Homepage","relation":"press_release"}]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Computational design of cold bent glass façades","doi":"10.1145/3414685.3417843","acknowledgement":"We thank IST Austria’s Scientific Computing team for their support, Corinna Datsiou and Sophie Pennetier for their expert input on the practical applications of cold bent glass, and Zaha Hadid Architects and Waagner Biro for providing the architectural datasets. Photo of Fondation Louis Vuitton by Francisco Anzola / CC BY 2.0 / cropped.\r\nPhoto of Opus by Danica O. Kus. This project has received funding from the European Union’s\r\nHorizon 2020 research and innovation program under grant agreement No 675789 - Algebraic Representations in Computer-Aided Design for complEx Shapes (ARCADES), from the European Research Council (ERC) under grant agreement No 715767 - MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling, and SFB-Transregio “Discretization in Geometry and Dynamics” through grant I 2978 of the Austrian Science Fund (FWF). F. Rist and K. Gavriil have been partially supported by KAUST baseline funding.","oa_version":"Submitted Version","ec_funded":1,"issue":"6","project":[{"grant_number":"715767","_id":"24F9549A-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling"}],"external_id":{"isi":["000595589100048"],"arxiv":["2009.03667"]},"status":"public","corr_author":"1","abstract":[{"lang":"eng","text":"Cold bent glass is a promising and cost-efficient method for realizing doubly curved glass facades. They are produced by attaching planar glass sheets to curved frames and require keeping the occurring stress within safe limits.\r\nHowever, it is very challenging to navigate the design space of cold bent glass panels due to the fragility of the material, which impedes the form-finding for practically feasible and aesthetically pleasing cold bent glass facades. We propose an interactive, data-driven approach for designing cold bent glass facades that can be seamlessly integrated into a typical architectural design pipeline. Our method allows non-expert users to interactively edit a parametric surface while providing real-time feedback on the deformed shape and maximum stress of cold bent glass panels. Designs are automatically refined to minimize several fairness criteria while maximal stresses are kept within glass limits. We achieve interactive frame rates by using a differentiable Mixture Density Network trained from more than a million simulations. Given a curved boundary, our regression model is capable of handling multistable\r\nconfigurations and accurately predicting the equilibrium shape of the panel and its corresponding maximal stress. We show predictions are highly accurate and validate our results with a physical realization of a cold bent glass surface."}],"publication_status":"published","scopus_import":"1","year":"2020","file":[{"success":1,"checksum":"c7f67717ad74e670b7daeae732abe151","access_level":"open_access","file_size":28964641,"file_id":"13084","date_created":"2023-05-23T20:54:43Z","content_type":"application/pdf","date_updated":"2023-05-23T20:54:43Z","file_name":"coldglass.pdf","relation":"main_file","creator":"bbickel"}],"acknowledged_ssus":[{"_id":"ScienComp"}],"article_processing_charge":"No","day":"26","author":[{"first_name":"Konstantinos","full_name":"Gavriil, Konstantinos","last_name":"Gavriil"},{"last_name":"Guseinov","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9819-5077","full_name":"Guseinov, Ruslan","first_name":"Ruslan"},{"last_name":"Perez Rodriguez","id":"2DC83906-F248-11E8-B48F-1D18A9856A87","full_name":"Perez Rodriguez, Jesus","first_name":"Jesus"},{"last_name":"Pellis","full_name":"Pellis, Davide","first_name":"Davide"},{"id":"13C09E74-18D9-11E9-8878-32CFE5697425","orcid":"0000-0002-5198-7445","full_name":"Henderson, Paul M","first_name":"Paul M","last_name":"Henderson"},{"first_name":"Florian","full_name":"Rist, Florian","last_name":"Rist"},{"full_name":"Pottmann, Helmut","first_name":"Helmut","last_name":"Pottmann"},{"orcid":"0000-0001-6511-9385","id":"49876194-F248-11E8-B48F-1D18A9856A87","first_name":"Bernd","full_name":"Bickel, Bernd","last_name":"Bickel"}],"publisher":"Association for Computing Machinery","arxiv":1,"date_published":"2020-11-26T00:00:00Z"},{"intvolume":"        11","ddc":["000"],"month":"01","language":[{"iso":"eng"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"article_number":"237","department":[{"_id":"BeBi"}],"_id":"7262","isi":1,"has_accepted_license":"1","publication_identifier":{"issn":["2041-1723"]},"related_material":{"record":[{"status":"public","id":"7154","relation":"research_data"},{"status":"public","relation":"dissertation_contains","id":"8366"}],"link":[{"url":"https://ist.ac.at/en/news/geometry-meets-time/","description":"News on IST Homepage","relation":"press_release"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","keyword":["Design","Synthesis and processing","Mechanical engineering","Polymers"],"oa":1,"volume":11,"article_type":"original","date_created":"2020-01-13T16:54:26Z","quality_controlled":"1","date_updated":"2026-04-08T07:25:22Z","file_date_updated":"2020-07-14T12:47:55Z","publication":"Nature Communications","type":"journal_article","citation":{"ama":"Guseinov R, McMahan C, Perez Rodriguez J, Daraio C, Bickel B. Programming temporal morphing of self-actuated shells. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-019-14015-2\">10.1038/s41467-019-14015-2</a>","short":"R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, B. Bickel, Nature Communications 11 (2020).","ista":"Guseinov R, McMahan C, Perez Rodriguez J, Daraio C, Bickel B. 2020. Programming temporal morphing of self-actuated shells. Nature Communications. 11, 237.","ieee":"R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, and B. Bickel, “Programming temporal morphing of self-actuated shells,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020.","apa":"Guseinov, R., McMahan, C., Perez Rodriguez, J., Daraio, C., &#38; Bickel, B. (2020). Programming temporal morphing of self-actuated shells. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-019-14015-2\">https://doi.org/10.1038/s41467-019-14015-2</a>","chicago":"Guseinov, Ruslan, Connor McMahan, Jesus Perez Rodriguez, Chiara Daraio, and Bernd Bickel. “Programming Temporal Morphing of Self-Actuated Shells.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-019-14015-2\">https://doi.org/10.1038/s41467-019-14015-2</a>.","mla":"Guseinov, Ruslan, et al. “Programming Temporal Morphing of Self-Actuated Shells.” <i>Nature Communications</i>, vol. 11, 237, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-019-14015-2\">10.1038/s41467-019-14015-2</a>."},"project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"},{"grant_number":"715767","_id":"24F9549A-B435-11E9-9278-68D0E5697425","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","call_identifier":"H2020"}],"external_id":{"pmid":["31932589"],"isi":["000511916800015"]},"ec_funded":1,"oa_version":"Published Version","doi":"10.1038/s41467-019-14015-2","title":"Programming temporal morphing of self-actuated shells","publisher":"Springer Nature","author":[{"last_name":"Guseinov","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9819-5077","full_name":"Guseinov, Ruslan","first_name":"Ruslan"},{"last_name":"McMahan","full_name":"McMahan, Connor","first_name":"Connor"},{"last_name":"Perez Rodriguez","id":"2DC83906-F248-11E8-B48F-1D18A9856A87","full_name":"Perez Rodriguez, Jesus","first_name":"Jesus"},{"full_name":"Daraio, Chiara","first_name":"Chiara","last_name":"Daraio"},{"first_name":"Bernd","full_name":"Bickel, Bernd","orcid":"0000-0001-6511-9385","id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel"}],"date_published":"2020-01-13T00:00:00Z","pmid":1,"file":[{"file_name":"2020_NatureComm_Guseinov.pdf","creator":"rguseino","relation":"main_file","file_size":1315270,"file_id":"7336","checksum":"7db23fef2f4cda712f17f1004116ddff","access_level":"open_access","date_updated":"2020-07-14T12:47:55Z","content_type":"application/pdf","date_created":"2020-01-15T14:35:34Z"}],"article_processing_charge":"No","day":"13","publication_status":"published","abstract":[{"text":"Advances in shape-morphing materials, such as hydrogels, shape-memory polymers and light-responsive polymers have enabled prescribing self-directed deformations of initially flat geometries. However, most proposed solutions evolve towards a target geometry without considering time-dependent actuation paths. To achieve more complex geometries and avoid self-collisions, it is critical to encode a spatial and temporal shape evolution within the initially flat shell. Recent realizations of time-dependent morphing are limited to the actuation of few, discrete hinges and cannot form doubly curved surfaces. Here, we demonstrate a method for encoding temporal shape evolution in architected shells that assume complex shapes and doubly curved geometries. The shells are non-periodic tessellations of pre-stressed contractile unit cells that soften in water at rates prescribed locally by mesostructure geometry. The ensuing midplane contraction is coupled to the formation of encoded curvatures. We propose an inverse design tool based on a data-driven model for unit cells’ temporal responses.","lang":"eng"}],"scopus_import":"1","year":"2020","status":"public","corr_author":"1"},{"month":"02","ddc":["510"],"supervisor":[{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","first_name":"Robert","last_name":"Seiringer"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"language":[{"iso":"eng"}],"alternative_title":["ISTA Thesis"],"has_accepted_license":"1","page":"148","_id":"7514","department":[{"_id":"RoSe"},{"_id":"GradSch"}],"publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","related_material":{"record":[{"relation":"part_of_dissertation","id":"7524","status":"public"}]},"oa":1,"date_updated":"2026-04-08T07:25:40Z","file_date_updated":"2020-07-14T12:47:59Z","date_created":"2020-02-24T09:17:27Z","citation":{"mla":"Mayer, Simon. <i>The Free Energy of a Dilute Two-Dimensional Bose Gas</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:7514\">10.15479/AT:ISTA:7514</a>.","chicago":"Mayer, Simon. “The Free Energy of a Dilute Two-Dimensional Bose Gas.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:7514\">https://doi.org/10.15479/AT:ISTA:7514</a>.","apa":"Mayer, S. (2020). <i>The free energy of a dilute two-dimensional Bose gas</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:7514\">https://doi.org/10.15479/AT:ISTA:7514</a>","ieee":"S. Mayer, “The free energy of a dilute two-dimensional Bose gas,” Institute of Science and Technology Austria, 2020.","ista":"Mayer S. 2020. The free energy of a dilute two-dimensional Bose gas. Institute of Science and Technology Austria.","ama":"Mayer S. The free energy of a dilute two-dimensional Bose gas. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:7514\">10.15479/AT:ISTA:7514</a>","short":"S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, Institute of Science and Technology Austria, 2020."},"type":"dissertation","project":[{"grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","name":"Analysis of quantum many-body systems","call_identifier":"H2020"}],"ec_funded":1,"oa_version":"Published Version","title":"The free energy of a dilute two-dimensional Bose gas","doi":"10.15479/AT:ISTA:7514","date_published":"2020-02-24T00:00:00Z","author":[{"last_name":"Mayer","id":"30C4630A-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","full_name":"Mayer, Simon"}],"publisher":"Institute of Science and Technology Austria","article_processing_charge":"No","day":"24","file":[{"file_name":"thesis.pdf","creator":"dernst","relation":"main_file","file_id":"7515","file_size":1563429,"access_level":"open_access","checksum":"b4de7579ddc1dbdd44ff3f17c48395f6","date_updated":"2020-07-14T12:47:59Z","content_type":"application/pdf","date_created":"2020-02-24T09:15:06Z"},{"file_id":"7516","file_size":2028038,"access_level":"closed","checksum":"ad7425867b52d7d9e72296e87bc9cb67","date_updated":"2020-07-14T12:47:59Z","content_type":"application/x-zip-compressed","date_created":"2020-02-24T09:15:16Z","file_name":"thesis_source.zip","creator":"dernst","relation":"source_file"}],"year":"2020","abstract":[{"text":"We study the interacting homogeneous Bose gas in two spatial dimensions in the thermodynamic limit at fixed density. We shall be concerned with some mathematical aspects of this complicated problem in many-body quantum mechanics. More specifically, we consider the dilute limit where the scattering length of the interaction potential, which is a measure for the effective range of the potential, is small compared to the average distance between the particles. We are interested in a setting with positive (i.e., non-zero) temperature. After giving a survey of the relevant literature in the field, we provide some facts and examples to set expectations for the two-dimensional system. The crucial difference to the three-dimensional system is that there is no Bose–Einstein condensate at positive temperature due to the Hohenberg–Mermin–Wagner theorem. However, it turns out that an asymptotic formula for the free energy holds similarly to the three-dimensional case.\r\nWe motivate this formula by considering a toy model with δ interaction potential. By restricting this model Hamiltonian to certain trial states with a quasi-condensate we obtain an upper bound for the free energy that still has the quasi-condensate fraction as a free parameter. When minimizing over the quasi-condensate fraction, we obtain the Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity, which plays an important role in our rigorous contribution. The mathematically rigorous result that we prove concerns the specific free energy in the dilute limit. We give upper and lower bounds on the free energy in terms of the free energy of the non-interacting system and a correction term coming from the interaction. Both bounds match and thus we obtain the leading term of an asymptotic approximation in the dilute limit, provided the thermal wavelength of the particles is of the same order (or larger) than the average distance between the particles. The remarkable feature of this result is its generality: the correction term depends on the interaction potential only through its scattering length and it holds for all nonnegative interaction potentials with finite scattering length that are measurable. In particular, this allows to model an interaction of hard disks.","lang":"eng"}],"OA_place":"publisher","publication_status":"published","status":"public","corr_author":"1"},{"doi":"10.15479/AT:ISTA:8375","title":"Supplementary data for \"Computational design of curved thin shells: from glass façades to programmable matter\"","_id":"8375","department":[{"_id":"BeBi"}],"oa_version":"Published Version","has_accepted_license":"1","ec_funded":1,"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"ddc":["000"],"project":[{"grant_number":"715767","_id":"24F9549A-B435-11E9-9278-68D0E5697425","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","call_identifier":"H2020"}],"month":"09","contributor":[{"contributor_type":"researcher","last_name":"Guseinov","first_name":"Ruslan","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9819-5077"},{"last_name":"McMahan","contributor_type":"researcher","first_name":"Connor"},{"last_name":"Perez Rodriguez","contributor_type":"researcher","first_name":"Jesus","id":"2DC83906-F248-11E8-B48F-1D18A9856A87"},{"contributor_type":"researcher","last_name":"Daraio","first_name":"Chiara"},{"first_name":"Bernd","orcid":"0000-0001-6511-9385","id":"49876194-F248-11E8-B48F-1D18A9856A87","contributor_type":"researcher","last_name":"Bickel"}],"citation":{"chicago":"Guseinov, Ruslan. “Supplementary Data for ‘Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.’” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8375\">https://doi.org/10.15479/AT:ISTA:8375</a>.","apa":"Guseinov, R. (2020). Supplementary data for “Computational design of curved thin shells: from glass façades to programmable matter.” Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8375\">https://doi.org/10.15479/AT:ISTA:8375</a>","mla":"Guseinov, Ruslan. <i>Supplementary Data for “Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.”</i> Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8375\">10.15479/AT:ISTA:8375</a>.","ista":"Guseinov R. 2020. Supplementary data for ‘Computational design of curved thin shells: from glass façades to programmable matter’, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:8375\">10.15479/AT:ISTA:8375</a>.","ama":"Guseinov R. Supplementary data for “Computational design of curved thin shells: from glass façades to programmable matter.” 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8375\">10.15479/AT:ISTA:8375</a>","short":"R. Guseinov, (2020).","ieee":"R. Guseinov, “Supplementary data for ‘Computational design of curved thin shells: from glass façades to programmable matter.’” Institute of Science and Technology Austria, 2020."},"type":"research_data","corr_author":"1","status":"public","abstract":[{"lang":"eng","text":"Supplementary movies showing the following sequences for spatio-temporarily programmed shells: input geometry and actuation time landscape; comparison of morphing processes from a camera recording and a simulation; final actuated shape."}],"date_created":"2020-09-11T09:52:54Z","file_date_updated":"2020-09-11T09:52:36Z","year":"2020","date_updated":"2026-04-08T07:25:22Z","file":[{"file_name":"supplementary_movie_1.mp4","creator":"rguseino","relation":"main_file","file_id":"8376","file_size":29214988,"access_level":"open_access","checksum":"4029ffd65fb82ef2366b2fc2a4908e16","success":1,"content_type":"video/mp4","date_updated":"2020-09-11T09:45:21Z","date_created":"2020-09-11T09:45:21Z"},{"file_size":28449475,"file_id":"8377","checksum":"8ed03b04d80f1a4e622cb22e6100afd8","success":1,"access_level":"open_access","content_type":"video/mp4","date_updated":"2020-09-11T09:45:25Z","date_created":"2020-09-11T09:45:25Z","file_name":"supplementary_movie_2.mp4","creator":"rguseino","relation":"main_file"},{"relation":"main_file","creator":"rguseino","file_name":"supplementary_movie_3.mp4","date_created":"2020-09-11T09:45:28Z","content_type":"video/mp4","date_updated":"2020-09-11T09:45:28Z","access_level":"open_access","checksum":"ad6864afb5e694e5c52a88fba4e02eea","success":1,"file_id":"8378","file_size":26315853},{"file_name":"supplementary_movie_4.mp4","relation":"main_file","creator":"rguseino","success":1,"checksum":"b079cef7871fe1afb69af0e2b099f3b1","access_level":"open_access","file_size":25198755,"file_id":"8379","date_created":"2020-09-11T09:45:33Z","content_type":"video/mp4","date_updated":"2020-09-11T09:45:33Z"},{"date_created":"2020-09-11T09:45:36Z","content_type":"video/mp4","date_updated":"2020-09-11T09:45:36Z","access_level":"open_access","checksum":"9d1d48a8ed5c109a999c51b044ee523d","success":1,"file_id":"8380","file_size":29011354,"relation":"main_file","creator":"rguseino","file_name":"supplementary_movie_5.mp4"},{"content_type":"text/plain","date_updated":"2020-09-11T09:52:36Z","date_created":"2020-09-11T09:52:36Z","file_id":"8381","file_size":586,"access_level":"open_access","checksum":"d414d0059e982d752d218756b3c3ce05","success":1,"creator":"rguseino","relation":"main_file","file_name":"readme.txt"}],"oa":1,"day":"21","article_processing_charge":"No","related_material":{"record":[{"relation":"used_in_publication","id":"8366","status":"public"}]},"author":[{"orcid":"0000-0001-9819-5077","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","first_name":"Ruslan","full_name":"Guseinov, Ruslan","last_name":"Guseinov"}],"publisher":"Institute of Science and Technology Austria","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2020-09-21T00:00:00Z"},{"author":[{"id":"3827DAC8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7840-5062","full_name":"Avvakumov, Sergey","first_name":"Sergey","last_name":"Avvakumov"}],"publisher":"Institute of Science and Technology Austria","date_published":"2020-07-24T00:00:00Z","file":[{"relation":"source_file","creator":"savvakum","file_name":"source.zip","date_created":"2020-07-27T12:44:51Z","content_type":"application/zip","date_updated":"2020-07-27T12:44:51Z","access_level":"closed","file_id":"8178","file_size":1061740},{"file_name":"thesis_pdfa.pdf","relation":"main_file","creator":"savvakum","access_level":"open_access","success":1,"file_id":"8179","file_size":1336501,"date_created":"2020-07-27T12:46:53Z","date_updated":"2020-07-27T12:46:53Z","content_type":"application/pdf"}],"day":"24","article_processing_charge":"No","publication_status":"published","abstract":[{"lang":"eng","text":"We present solutions to several problems originating from geometry and discrete mathematics: existence of equipartitions, maps without Tverberg multiple points, and inscribing quadrilaterals. Equivariant obstruction theory is the natural topological approach to these type of questions. However, for the specific problems we consider it had yielded only partial or no results. We get our results by complementing equivariant obstruction theory with other techniques from topology and geometry."}],"OA_place":"publisher","year":"2020","corr_author":"1","status":"public","oa_version":"Published Version","doi":"10.15479/AT:ISTA:8156","title":"Topological methods in geometry and discrete mathematics","related_material":{"record":[{"relation":"part_of_dissertation","id":"8182","status":"public"},{"relation":"part_of_dissertation","id":"8184","status":"public"},{"status":"public","id":"8185","relation":"part_of_dissertation"},{"status":"public","id":"6355","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"75","status":"public"},{"relation":"part_of_dissertation","id":"8183","status":"public"}]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","oa":1,"date_created":"2020-07-23T09:51:29Z","file_date_updated":"2020-07-27T12:46:53Z","date_updated":"2026-04-08T07:25:54Z","citation":{"mla":"Avvakumov, Sergey. <i>Topological Methods in Geometry and Discrete Mathematics</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8156\">10.15479/AT:ISTA:8156</a>.","apa":"Avvakumov, S. (2020). <i>Topological methods in geometry and discrete mathematics</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8156\">https://doi.org/10.15479/AT:ISTA:8156</a>","chicago":"Avvakumov, Sergey. “Topological Methods in Geometry and Discrete Mathematics.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8156\">https://doi.org/10.15479/AT:ISTA:8156</a>.","ieee":"S. Avvakumov, “Topological methods in geometry and discrete mathematics,” Institute of Science and Technology Austria, 2020.","ama":"Avvakumov S. Topological methods in geometry and discrete mathematics. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8156\">10.15479/AT:ISTA:8156</a>","short":"S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, Institute of Science and Technology Austria, 2020.","ista":"Avvakumov S. 2020. Topological methods in geometry and discrete mathematics. Institute of Science and Technology Austria."},"type":"dissertation","ddc":["514"],"month":"07","language":[{"iso":"eng"}],"supervisor":[{"last_name":"Wagner","full_name":"Wagner, Uli","first_name":"Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1494-0568"}],"_id":"8156","department":[{"_id":"UlWa"}],"has_accepted_license":"1","page":"119","alternative_title":["ISTA Thesis"],"degree_awarded":"PhD","publication_identifier":{"issn":["2663-337X"]}},{"oa_version":"Published Version","acknowledgement":"I should also express my gratitude to the bioimaging facility at IST Austria, for their assistance with the TIRF setup over the years, and especially to Christoph Sommer, who gave me a lot of input when I was starting to dive into programming.","doi":"10.15479/AT:ISTA:8358","title":"Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers","year":"2020","abstract":[{"lang":"eng","text":"During bacterial cell division, the tubulin-homolog FtsZ forms a ring-like structure at the center of the cell. This so-called Z-ring acts as a scaffold recruiting several division-related proteins to mid-cell and plays a key role in distributing proteins at the division site, a feature driven by the treadmilling motion of FtsZ filaments around the septum. What regulates the architecture, dynamics and stability of the Z-ring is still poorly understood, but FtsZ-associated proteins (Zaps) are known to play an important role. \r\nAdvances in fluorescence microscopy and in vitro reconstitution experiments have helped to shed light into some of the dynamic properties of these complex systems, but methods that allow to collect and analyze large quantitative data sets of the underlying polymer dynamics are still missing.\r\nHere, using an in vitro reconstitution approach, we studied how different Zaps affect FtsZ filament dynamics and organization into large-scale patterns, giving special emphasis to the role of the well-conserved protein ZapA. For this purpose, we use high-resolution fluorescence microscopy combined with novel image analysis workfows to study pattern organization and polymerization dynamics of active filaments. We quantified the influence of Zaps on FtsZ on three diferent spatial scales: the large-scale organization of the membrane-bound filament network, the underlying\r\npolymerization dynamics and the behavior of single molecules.\r\nWe found that ZapA cooperatively increases the spatial order of the filament network, binds only transiently to FtsZ filaments and has no effect on filament length and treadmilling velocity. Our data provides a model for how FtsZ-associated proteins can increase the precision and stability of the bacterial cell division machinery in a\r\nswitch-like manner, without compromising filament dynamics. Furthermore, we believe that our automated quantitative methods can be used to analyze a large variety of dynamic cytoskeletal systems, using standard time-lapse\r\nmovies of homogeneously labeled proteins obtained from experiments in vitro or even inside the living cell.\r\n"}],"OA_place":"publisher","publication_status":"published","corr_author":"1","status":"public","date_published":"2020-09-10T00:00:00Z","publisher":"Institute of Science and Technology Austria","author":[{"id":"38FCDB4C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6730-4461","full_name":"Dos Santos Caldas, Paulo R","first_name":"Paulo R","last_name":"Dos Santos Caldas"}],"day":"10","article_processing_charge":"No","acknowledged_ssus":[{"_id":"Bio"}],"file":[{"access_level":"open_access","checksum":"882f93fe9c351962120e2669b84bf088","success":1,"file_id":"8364","file_size":141602462,"date_created":"2020-09-10T12:11:29Z","date_updated":"2020-09-10T12:11:29Z","content_type":"application/pdf","file_name":"phd_thesis_pcaldas.pdf","relation":"main_file","creator":"pcaldas"},{"file_name":"phd_thesis_latex_pcaldas.zip","creator":"pcaldas","relation":"source_file","file_size":450437458,"file_id":"8365","checksum":"70cc9e399c4e41e6e6ac445ae55e8558","access_level":"closed","date_updated":"2020-09-11T07:48:10Z","content_type":"application/x-zip-compressed","date_created":"2020-09-10T12:18:17Z"}],"has_accepted_license":"1","page":"135","alternative_title":["ISTA Thesis"],"_id":"8358","department":[{"_id":"MaLo"}],"publication_identifier":{"isbn":["978-3-99078-009-1"],"issn":["2663-337X"]},"degree_awarded":"PhD","month":"09","ddc":["572"],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"supervisor":[{"orcid":"0000-0001-7309-9724","id":"462D4284-F248-11E8-B48F-1D18A9856A87","first_name":"Martin","full_name":"Loose, Martin","last_name":"Loose"}],"language":[{"iso":"eng"}],"file_date_updated":"2020-09-11T07:48:10Z","date_updated":"2026-04-08T07:26:30Z","date_created":"2020-09-10T09:26:49Z","type":"dissertation","citation":{"ama":"Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8358\">10.15479/AT:ISTA:8358</a>","short":"P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, Institute of Science and Technology Austria, 2020.","ista":"Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria.","ieee":"P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers,” Institute of Science and Technology Austria, 2020.","apa":"Dos Santos Caldas, P. R. (2020). <i>Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8358\">https://doi.org/10.15479/AT:ISTA:8358</a>","chicago":"Dos Santos Caldas, Paulo R. “Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8358\">https://doi.org/10.15479/AT:ISTA:8358</a>.","mla":"Dos Santos Caldas, Paulo R. <i>Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8358\">10.15479/AT:ISTA:8358</a>."},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","related_material":{"record":[{"relation":"part_of_dissertation","id":"7197","status":"public"},{"status":"public","relation":"dissertation_contains","id":"7572"}]},"oa":1},{"publisher":"AIP Publishing","author":[{"first_name":"Xiang","full_name":"Li, Xiang","id":"4B7E523C-F248-11E8-B48F-1D18A9856A87","last_name":"Li"},{"last_name":"Yakaboylu","id":"38CB71F6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5973-0874","full_name":"Yakaboylu, Enderalp","first_name":"Enderalp"},{"first_name":"Giacomo","full_name":"Bighin, Giacomo","orcid":"0000-0001-8823-9777","id":"4CA96FD4-F248-11E8-B48F-1D18A9856A87","last_name":"Bighin"},{"first_name":"Richard","full_name":"Schmidt, Richard","last_name":"Schmidt"},{"last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6990-7802","full_name":"Lemeshko, Mikhail","first_name":"Mikhail"},{"id":"4DA65CD0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3146-6746","full_name":"Deuchert, Andreas","first_name":"Andreas","last_name":"Deuchert"}],"arxiv":1,"date_published":"2020-04-27T00:00:00Z","pmid":1,"article_processing_charge":"No","day":"27","abstract":[{"lang":"eng","text":"Inspired by the possibility to experimentally manipulate and enhance chemical reactivity in helium nanodroplets, we investigate the effective interaction and the resulting correlations between two diatomic molecules immersed in a bath of bosons. By analogy with the bipolaron, we introduce the biangulon quasiparticle describing two rotating molecules that align with respect to each other due to the effective attractive interaction mediated by the excitations of the bath. We study this system in different parameter regimes and apply several theoretical approaches to describe its properties. Using a Born–Oppenheimer approximation, we investigate the dependence of the effective intermolecular interaction on the rotational state of the two molecules. In the strong-coupling regime, a product-state ansatz shows that the molecules tend to have a strong alignment in the ground state. To investigate the system in the weak-coupling regime, we apply a one-phonon excitation variational ansatz, which allows us to access the energy spectrum. In comparison to the angulon quasiparticle, the biangulon shows shifted angulon instabilities and an additional spectral instability, where resonant angular momentum transfer between the molecules and the bath takes place. These features are proposed as an experimentally observable signature for the formation of the biangulon quasiparticle. Finally, by using products of single angulon and bare impurity wave functions as basis states, we introduce a diagonalization scheme that allows us to describe the transition from two separated angulons to a biangulon as a function of the distance between the two molecules."}],"publication_status":"published","year":"2020","status":"public","corr_author":"1","project":[{"_id":"26031614-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Quantum rotations in the presence of a many-body environment","grant_number":"P29902"},{"grant_number":"801770","_id":"2688CF98-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Angulon: physics and applications of a new quasiparticle"},{"_id":"26986C82-B435-11E9-9278-68D0E5697425","name":"A path-integral approach to composite impurities","call_identifier":"FWF","grant_number":"M02641"},{"grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","name":"Analysis of quantum many-body systems","call_identifier":"H2020"}],"external_id":{"arxiv":["1912.02658"],"isi":["000530448300001"],"pmid":["32357791"]},"ec_funded":1,"main_file_link":[{"url":"https://arxiv.org/abs/1912.02658","open_access":"1"}],"issue":"16","acknowledgement":"We are grateful to Areg Ghazaryan for valuable discussions. M.L. acknowledges support from the Austrian Science Fund (FWF) under Project No. P29902-N27 and from the European Research Council (ERC) Starting Grant No. 801770 (ANGULON). G.B. acknowledges support from the Austrian Science Fund (FWF) under Project No. M2461-N27. A.D. acknowledges funding from the European Union’s Horizon 2020 research and innovation programme under the European Research Council (ERC) Grant Agreement No. 694227 and under the Marie Sklodowska-Curie Grant Agreement No. 836146. R.S. was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2111 – 390814868.","oa_version":"Preprint","doi":"10.1063/1.5144759","title":"Intermolecular forces and correlations mediated by a phonon bath","related_material":{"record":[{"id":"8958","relation":"dissertation_contains","status":"public"}]},"keyword":["Physical and Theoretical Chemistry","General Physics and Astronomy"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"volume":152,"article_type":"original","date_created":"2020-09-30T10:33:17Z","date_updated":"2026-04-08T07:26:09Z","quality_controlled":"1","type":"journal_article","citation":{"ista":"Li X, Yakaboylu E, Bighin G, Schmidt R, Lemeshko M, Deuchert A. 2020. Intermolecular forces and correlations mediated by a phonon bath. The Journal of Chemical Physics. 152(16), 164302.","ama":"Li X, Yakaboylu E, Bighin G, Schmidt R, Lemeshko M, Deuchert A. Intermolecular forces and correlations mediated by a phonon bath. <i>The Journal of Chemical Physics</i>. 2020;152(16). doi:<a href=\"https://doi.org/10.1063/1.5144759\">10.1063/1.5144759</a>","short":"X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, A. Deuchert, The Journal of Chemical Physics 152 (2020).","ieee":"X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, and A. Deuchert, “Intermolecular forces and correlations mediated by a phonon bath,” <i>The Journal of Chemical Physics</i>, vol. 152, no. 16. AIP Publishing, 2020.","chicago":"Li, Xiang, Enderalp Yakaboylu, Giacomo Bighin, Richard Schmidt, Mikhail Lemeshko, and Andreas Deuchert. “Intermolecular Forces and Correlations Mediated by a Phonon Bath.” <i>The Journal of Chemical Physics</i>. AIP Publishing, 2020. <a href=\"https://doi.org/10.1063/1.5144759\">https://doi.org/10.1063/1.5144759</a>.","apa":"Li, X., Yakaboylu, E., Bighin, G., Schmidt, R., Lemeshko, M., &#38; Deuchert, A. (2020). Intermolecular forces and correlations mediated by a phonon bath. <i>The Journal of Chemical Physics</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/1.5144759\">https://doi.org/10.1063/1.5144759</a>","mla":"Li, Xiang, et al. “Intermolecular Forces and Correlations Mediated by a Phonon Bath.” <i>The Journal of Chemical Physics</i>, vol. 152, no. 16, 164302, AIP Publishing, 2020, doi:<a href=\"https://doi.org/10.1063/1.5144759\">10.1063/1.5144759</a>."},"publication":"The Journal of Chemical Physics","intvolume":"       152","month":"04","language":[{"iso":"eng"}],"article_number":"164302","_id":"8587","isi":1,"department":[{"_id":"MiLe"},{"_id":"RoSe"}],"publication_identifier":{"eissn":["1089-7690"],"issn":["0021-9606"]}},{"oa_version":"Published Version","title":"Rotation of coupled cold molecules in the presence of a many-body environment","doi":"10.15479/AT:ISTA:8958","project":[{"_id":"26031614-B435-11E9-9278-68D0E5697425","name":"Quantum rotations in the presence of a many-body environment","call_identifier":"FWF","grant_number":"P29902"},{"_id":"2688CF98-B435-11E9-9278-68D0E5697425","name":"Angulon: physics and applications of a new quasiparticle","call_identifier":"H2020","grant_number":"801770"}],"ec_funded":1,"year":"2020","abstract":[{"text":"The oft-quoted dictum by Arthur Schawlow: ``A diatomic molecule has one atom too many'' has been disavowed. Inspired by the possibility to experimentally manipulate and enhance chemical reactivity in helium nanodroplets, we investigate the rotation of coupled cold molecules in the presence of a many-body environment.\r\nIn this thesis, we introduce new variational approaches to quantum impurities and apply them to the Fröhlich polaron - a quasiparticle formed out of an electron (or other point-like impurity) in a polar medium, and to the angulon - a quasiparticle formed out of a rotating molecule in a bosonic bath.\r\nWith this theoretical toolbox, we reveal the self-localization transition for the angulon quasiparticle. We show that, unlike for polarons, self-localization of angulons occurs at finite impurity-bath coupling already at the mean-field level. The transition is accompanied by the spherical-symmetry breaking of the angulon ground state and a discontinuity in the first derivative of the ground-state energy. Moreover, the type of symmetry breaking is dictated by the symmetry of the microscopic impurity-bath interaction, which leads to a number of distinct self-localized states. \r\nFor the system containing multiple impurities, by analogy with the bipolaron, we introduce the biangulon quasiparticle describing two rotating molecules that align with respect to each other due to the effective attractive interaction mediated by the excitations of the bath. We study this system from the strong-coupling regime to the weak molecule-bath interaction regime. We show that the molecules tend to have a strong alignment in the ground state, the biangulon shows shifted angulon instabilities and an additional spectral instability, where resonant angular momentum transfer between the molecules and the bath takes place. Finally, we introduce a diagonalization scheme that allows us to describe the transition from two separated angulons to a biangulon as a function of the distance between the two molecules.","lang":"eng"}],"OA_place":"publisher","publication_status":"published","corr_author":"1","status":"public","date_published":"2020-12-21T00:00:00Z","publisher":"Institute of Science and Technology Austria","author":[{"id":"4B7E523C-F248-11E8-B48F-1D18A9856A87","first_name":"Xiang","full_name":"Li, Xiang","last_name":"Li"}],"day":"21","article_processing_charge":"No","file":[{"date_created":"2020-12-22T10:55:56Z","date_updated":"2020-12-22T10:55:56Z","content_type":"application/pdf","checksum":"3994c54a1241451d561db1d4f43bad30","success":1,"access_level":"open_access","file_size":3622305,"file_id":"8967","relation":"main_file","creator":"xli","file_name":"THESIS_Xiang_Li.pdf"},{"access_level":"closed","checksum":"0954ecfc5554c05615c14de803341f00","file_id":"8968","file_size":4018859,"date_created":"2020-12-22T10:56:03Z","date_updated":"2020-12-30T07:18:03Z","content_type":"application/x-zip-compressed","file_name":"THESIS_Xiang_Li.zip","relation":"source_file","creator":"xli"}],"has_accepted_license":"1","page":"125","alternative_title":["ISTA Thesis"],"department":[{"_id":"MiLe"}],"_id":"8958","publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","month":"12","ddc":["539"],"supervisor":[{"id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6990-7802","full_name":"Lemeshko, Mikhail","first_name":"Mikhail","last_name":"Lemeshko"}],"language":[{"iso":"eng"}],"file_date_updated":"2020-12-30T07:18:03Z","date_updated":"2026-04-08T07:26:10Z","date_created":"2020-12-21T09:44:30Z","citation":{"ieee":"X. Li, “Rotation of coupled cold molecules in the presence of a many-body environment,” Institute of Science and Technology Austria, 2020.","ista":"Li X. 2020. Rotation of coupled cold molecules in the presence of a many-body environment. Institute of Science and Technology Austria.","short":"X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, Institute of Science and Technology Austria, 2020.","ama":"Li X. Rotation of coupled cold molecules in the presence of a many-body environment. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8958\">10.15479/AT:ISTA:8958</a>","mla":"Li, Xiang. <i>Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8958\">10.15479/AT:ISTA:8958</a>.","chicago":"Li, Xiang. “Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8958\">https://doi.org/10.15479/AT:ISTA:8958</a>.","apa":"Li, X. (2020). <i>Rotation of coupled cold molecules in the presence of a many-body environment</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8958\">https://doi.org/10.15479/AT:ISTA:8958</a>"},"type":"dissertation","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","related_material":{"record":[{"status":"public","id":"1120","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"8587"},{"id":"5886","relation":"part_of_dissertation","status":"public"}]},"oa":1},{"ec_funded":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/839571"}],"project":[{"grant_number":"679239","_id":"2595697A-B435-11E9-9278-68D0E5697425","name":"Self-Organization of the Bacterial Cell","call_identifier":"H2020"},{"name":"Reconstitution of Bacterial Cell Division Using Purified Components","_id":"260D98C8-B435-11E9-9278-68D0E5697425"}],"external_id":{"isi":["000611826500008"]},"title":"Computational analysis of filament polymerization dynamics in cytoskeletal networks","doi":"10.1016/bs.mcb.2020.01.006","oa_version":"Preprint","article_processing_charge":"No","day":"27","author":[{"full_name":"Dos Santos Caldas, Paulo R","first_name":"Paulo R","id":"38FCDB4C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6730-4461","last_name":"Dos Santos Caldas"},{"last_name":"Radler","full_name":"Radler, Philipp","first_name":"Philipp","id":"40136C2A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9198-2182 "},{"last_name":"Sommer","full_name":"Sommer, Christoph M","first_name":"Christoph M","id":"4DF26D8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1216-9105"},{"first_name":"Martin","full_name":"Loose, Martin","orcid":"0000-0001-7309-9724","id":"462D4284-F248-11E8-B48F-1D18A9856A87","last_name":"Loose"}],"publisher":"Elsevier","date_published":"2020-02-27T00:00:00Z","status":"public","publication_status":"published","abstract":[{"text":"The polymerization–depolymerization dynamics of cytoskeletal proteins play essential roles in the self-organization of cytoskeletal structures, in eukaryotic as well as prokaryotic cells. While advances in fluorescence microscopy and in vitro reconstitution experiments have helped to study the dynamic properties of these complex systems, methods that allow to collect and analyze large quantitative datasets of the underlying polymer dynamics are still missing. Here, we present a novel image analysis workflow to study polymerization dynamics of active filaments in a nonbiased, highly automated manner. Using treadmilling filaments of the bacterial tubulin FtsZ as an example, we demonstrate that our method is able to specifically detect, track and analyze growth and shrinkage of polymers, even in dense networks of filaments. We believe that this automated method can facilitate the analysis of a large variety of dynamic cytoskeletal systems, using standard time-lapse movies obtained from experiments in vitro as well as in the living cell. Moreover, we provide scripts implementing this method as supplementary material.","lang":"eng"}],"scopus_import":"1","year":"2020","language":[{"iso":"eng"}],"intvolume":"       158","editor":[{"last_name":"Tran","full_name":"Tran, Phong ","first_name":"Phong "}],"month":"02","publication_identifier":{"issn":["0091-679X"]},"_id":"7572","department":[{"_id":"MaLo"}],"isi":1,"alternative_title":["Methods in Cell Biology"],"page":"145-161","oa":1,"volume":158,"related_material":{"record":[{"relation":"part_of_dissertation","id":"8358","status":"public"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Methods in Cell Biology","citation":{"mla":"Dos Santos Caldas, Paulo R., et al. “Computational Analysis of Filament Polymerization Dynamics in Cytoskeletal Networks.” <i>Methods in Cell Biology</i>, edited by Phong  Tran, vol. 158, Elsevier, 2020, pp. 145–61, doi:<a href=\"https://doi.org/10.1016/bs.mcb.2020.01.006\">10.1016/bs.mcb.2020.01.006</a>.","apa":"Dos Santos Caldas, P. R., Radler, P., Sommer, C. M., &#38; Loose, M. (2020). Computational analysis of filament polymerization dynamics in cytoskeletal networks. In P. Tran (Ed.), <i>Methods in Cell Biology</i> (Vol. 158, pp. 145–161). Elsevier. <a href=\"https://doi.org/10.1016/bs.mcb.2020.01.006\">https://doi.org/10.1016/bs.mcb.2020.01.006</a>","chicago":"Dos Santos Caldas, Paulo R, Philipp Radler, Christoph M Sommer, and Martin Loose. “Computational Analysis of Filament Polymerization Dynamics in Cytoskeletal Networks.” In <i>Methods in Cell Biology</i>, edited by Phong  Tran, 158:145–61. Elsevier, 2020. <a href=\"https://doi.org/10.1016/bs.mcb.2020.01.006\">https://doi.org/10.1016/bs.mcb.2020.01.006</a>.","ieee":"P. R. Dos Santos Caldas, P. Radler, C. M. Sommer, and M. Loose, “Computational analysis of filament polymerization dynamics in cytoskeletal networks,” in <i>Methods in Cell Biology</i>, vol. 158, P. Tran, Ed. Elsevier, 2020, pp. 145–161.","short":"P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.","ama":"Dos Santos Caldas PR, Radler P, Sommer CM, Loose M. Computational analysis of filament polymerization dynamics in cytoskeletal networks. In: Tran P, ed. <i>Methods in Cell Biology</i>. Vol 158. Elsevier; 2020:145-161. doi:<a href=\"https://doi.org/10.1016/bs.mcb.2020.01.006\">10.1016/bs.mcb.2020.01.006</a>","ista":"Dos Santos Caldas PR, Radler P, Sommer CM, Loose M. 2020.Computational analysis of filament polymerization dynamics in cytoskeletal networks. In: Methods in Cell Biology. Methods in Cell Biology, vol. 158, 145–161."},"type":"book_chapter","date_created":"2020-03-08T23:00:47Z","date_updated":"2026-04-08T07:26:30Z","quality_controlled":"1"},{"type":"dissertation","citation":{"apa":"Royer, A. (2020). <i>Leveraging structure in Computer Vision tasks for flexible Deep Learning models</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8390\">https://doi.org/10.15479/AT:ISTA:8390</a>","chicago":"Royer, Amélie. “Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8390\">https://doi.org/10.15479/AT:ISTA:8390</a>.","mla":"Royer, Amélie. <i>Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8390\">10.15479/AT:ISTA:8390</a>.","ama":"Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8390\">10.15479/AT:ISTA:8390</a>","short":"A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, Institute of Science and Technology Austria, 2020.","ista":"Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria.","ieee":"A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep Learning models,” Institute of Science and Technology Austria, 2020."},"date_created":"2020-09-14T13:42:09Z","date_updated":"2026-04-08T07:26:44Z","file_date_updated":"2020-09-14T13:39:17Z","oa":1,"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"7936"},{"status":"public","relation":"part_of_dissertation","id":"8092"},{"status":"public","relation":"part_of_dissertation","id":"911"},{"status":"public","relation":"part_of_dissertation","id":"8193"},{"id":"7937","relation":"part_of_dissertation","status":"public"}]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","degree_awarded":"PhD","publication_identifier":{"isbn":["978-3-99078-007-7"],"issn":["2663-337X"]},"department":[{"_id":"ChLa"}],"_id":"8390","alternative_title":["ISTA Thesis"],"page":"197","has_accepted_license":"1","language":[{"iso":"eng"}],"tmp":{"short":"CC BY-NC-SA (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png"},"supervisor":[{"last_name":"Lampert","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","full_name":"Lampert, Christoph"}],"ddc":["000"],"month":"09","status":"public","corr_author":"1","abstract":[{"text":"Deep neural networks have established a new standard for data-dependent feature extraction pipelines in the Computer Vision literature. Despite their remarkable performance in the standard supervised learning scenario, i.e. when models are trained with labeled data and tested on samples that follow a similar distribution, neural networks have been shown to struggle with more advanced generalization abilities, such as transferring knowledge across visually different domains, or generalizing to new unseen combinations of known concepts. In this thesis we argue that, in contrast to the usual black-box behavior of neural networks, leveraging more structured internal representations is a promising direction\r\nfor tackling such problems. In particular, we focus on two forms of structure. First, we tackle modularity: We show that (i) compositional architectures are a natural tool for modeling reasoning tasks, in that they efficiently capture their combinatorial nature, which is key for generalizing beyond the compositions seen during training. We investigate how to to learn such models, both formally and experimentally, for the task of abstract visual reasoning. Then, we show that (ii) in some settings, modularity allows us to efficiently break down complex tasks into smaller, easier, modules, thereby improving computational efficiency; We study this behavior in the context of generative models for colorization, as well as for small objects detection. Secondly, we investigate the inherently layered structure of representations learned by neural networks, and analyze its role in the context of transfer learning and domain adaptation across visually\r\ndissimilar domains. ","lang":"eng"}],"OA_place":"publisher","publication_status":"published","year":"2020","file":[{"relation":"main_file","creator":"dernst","file_name":"2020_Thesis_Royer.pdf","date_created":"2020-09-14T13:39:14Z","date_updated":"2020-09-14T13:39:14Z","content_type":"application/pdf","access_level":"open_access","checksum":"c914d2f88846032f3d8507734861b6ee","success":1,"file_id":"8391","file_size":30224591},{"access_level":"closed","checksum":"ae98fb35d912cff84a89035ae5794d3c","file_id":"8392","file_size":74227627,"date_created":"2020-09-14T13:39:17Z","date_updated":"2020-09-14T13:39:17Z","content_type":"application/x-zip-compressed","file_name":"thesis_sources.zip","relation":"main_file","creator":"dernst"}],"acknowledged_ssus":[{"_id":"CampIT"},{"_id":"ScienComp"}],"article_processing_charge":"No","day":"14","publisher":"Institute of Science and Technology Austria","author":[{"last_name":"Royer","id":"3811D890-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8407-0705","full_name":"Royer, Amélie","first_name":"Amélie"}],"date_published":"2020-09-14T00:00:00Z","title":"Leveraging structure in Computer Vision tasks for flexible Deep Learning models","doi":"10.15479/AT:ISTA:8390","acknowledgement":"Last but not least, I would like to acknowledge the support of the IST IT and scientific computing team for helping provide a great work environment.","oa_version":"Published Version"}]