[{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1007/s00454-020-00237-5"}],"year":"2020","publication_status":"published","oa":1,"intvolume":"        64","publication_identifier":{"issn":["01795376"],"eissn":["14320444"]},"citation":{"ieee":"J. Pach, “A farewell to Ricky Pollack,” <i>Discrete and Computational Geometry</i>, vol. 64. Springer Nature, pp. 571–574, 2020.","apa":"Pach, J. (2020). A farewell to Ricky Pollack. <i>Discrete and Computational Geometry</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00454-020-00237-5\">https://doi.org/10.1007/s00454-020-00237-5</a>","short":"J. Pach, Discrete and Computational Geometry 64 (2020) 571–574.","ista":"Pach J. 2020. A farewell to Ricky Pollack. Discrete and Computational Geometry. 64, 571–574.","chicago":"Pach, János. “A Farewell to Ricky Pollack.” <i>Discrete and Computational Geometry</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/s00454-020-00237-5\">https://doi.org/10.1007/s00454-020-00237-5</a>.","ama":"Pach J. A farewell to Ricky Pollack. <i>Discrete and Computational Geometry</i>. 2020;64:571-574. doi:<a href=\"https://doi.org/10.1007/s00454-020-00237-5\">10.1007/s00454-020-00237-5</a>","mla":"Pach, János. “A Farewell to Ricky Pollack.” <i>Discrete and Computational Geometry</i>, vol. 64, Springer Nature, 2020, pp. 571–74, doi:<a href=\"https://doi.org/10.1007/s00454-020-00237-5\">10.1007/s00454-020-00237-5</a>."},"publisher":"Springer Nature","month":"10","department":[{"_id":"HeEd"}],"article_processing_charge":"No","oa_version":"None","day":"01","article_type":"letter_note","isi":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1007/s00454-020-00237-5","title":"A farewell to Ricky Pollack","page":"571-574","external_id":{"isi":["000561483500001"]},"publication":"Discrete and Computational Geometry","date_created":"2020-08-30T22:01:12Z","date_published":"2020-10-01T00:00:00Z","scopus_import":"1","author":[{"id":"E62E3130-B088-11EA-B919-BF823C25FEA4","last_name":"Pach","full_name":"Pach, János","first_name":"János"}],"language":[{"iso":"eng"}],"type":"journal_article","date_updated":"2023-08-22T09:05:04Z","_id":"8323","volume":64,"status":"public"},{"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","acknowledgement":"We thank anonymous reviewers for helpful comments, especially for pointing to us a scenario of piecewise-linear approximation (Remark5). The research was partially supported by the National Natural Science Foundation of China (NSFC) under Grant No. 61802254, 61672229, 61832015,61772336,11871221 and Austrian Science Fund (FWF) NFN under Grant No. S11407-N23 (RiSE/SHiNE). We thank Prof. Yuxi Fu, director of the BASICS Lab at Shanghai Jiao Tong University, for his support.","project":[{"grant_number":"S11407","name":"Game Theory","call_identifier":"FWF","_id":"25863FF4-B435-11E9-9278-68D0E5697425"}],"doi":"10.1145/3371093","title":"Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time","external_id":{"arxiv":["1902.04744"]},"publication":"Proceedings of the ACM on Programming Languages","date_created":"2020-08-30T22:01:12Z","article_number":"25","has_accepted_license":"1","date_published":"2020-01-01T00:00:00Z","scopus_import":"1","author":[{"last_name":"Wang","first_name":"Peixin","full_name":"Wang, Peixin"},{"full_name":"Fu, Hongfei","first_name":"Hongfei","last_name":"Fu"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"full_name":"Deng, Yuxin","first_name":"Yuxin","last_name":"Deng"},{"last_name":"Xu","first_name":"Ming","full_name":"Xu, Ming"}],"language":[{"iso":"eng"}],"type":"conference","_id":"8324","date_updated":"2024-02-22T15:16:45Z","volume":4,"tmp":{"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)","image":"/images/cc_by.png"},"status":"public","quality_controlled":"1","year":"2020","ddc":["004"],"oa":1,"publication_status":"published","intvolume":"         4","publication_identifier":{"eissn":["2475-1421"]},"file":[{"file_id":"8328","access_level":"open_access","creator":"cziletti","relation":"main_file","checksum":"c6193d109ff4ecb17e7a6513d8eb34c0","date_updated":"2020-09-01T11:12:58Z","content_type":"application/pdf","success":1,"file_name":"2019_ACM_POPL_Wang.pdf","date_created":"2020-09-01T11:12:58Z","file_size":564151}],"citation":{"chicago":"Wang, Peixin, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, and Ming Xu. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.” In <i>Proceedings of the ACM on Programming Languages</i>, Vol. 4. ACM, 2020. <a href=\"https://doi.org/10.1145/3371093\">https://doi.org/10.1145/3371093</a>.","ama":"Wang P, Fu H, Chatterjee K, Deng Y, Xu M. Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. In: <i>Proceedings of the ACM on Programming Languages</i>. Vol 4. ACM; 2020. doi:<a href=\"https://doi.org/10.1145/3371093\">10.1145/3371093</a>","mla":"Wang, Peixin, et al. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 4, no. POPL, 25, ACM, 2020, doi:<a href=\"https://doi.org/10.1145/3371093\">10.1145/3371093</a>.","short":"P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2020.","ista":"Wang P, Fu H, Chatterjee K, Deng Y, Xu M. 2020. Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proceedings of the ACM on Programming Languages. vol. 4, 25.","ieee":"P. Wang, H. Fu, K. Chatterjee, Y. Deng, and M. Xu, “Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time,” in <i>Proceedings of the ACM on Programming Languages</i>, 2020, vol. 4, no. POPL.","apa":"Wang, P., Fu, H., Chatterjee, K., Deng, Y., &#38; Xu, M. (2020). Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. In <i>Proceedings of the ACM on Programming Languages</i> (Vol. 4). ACM. <a href=\"https://doi.org/10.1145/3371093\">https://doi.org/10.1145/3371093</a>"},"publisher":"ACM","department":[{"_id":"KrCh"}],"month":"01","article_processing_charge":"No","arxiv":1,"oa_version":"Published Version","issue":"POPL","day":"01","related_material":{"link":[{"url":"https://doi.org/10.5281/zenodo.3533633","relation":"software"}]},"abstract":[{"text":"The notion of program sensitivity (aka Lipschitz continuity) specifies that changes in the program input result in proportional changes to the program output. For probabilistic programs the notion is naturally extended to expected sensitivity. A previous approach develops a relational program logic framework for proving expected sensitivity of probabilistic while loops, where the number of iterations is fixed and bounded. In this work, we consider probabilistic while loops where the number of iterations is not fixed, but randomized and depends on the initial input values. We present a sound approach for proving expected sensitivity of such programs. Our sound approach is martingale-based and can be automated through existing martingale-synthesis algorithms. Furthermore, our approach is compositional for sequential composition of while loops under a mild side condition. We demonstrate the effectiveness of our approach on several classical examples from Gambler's Ruin, stochastic hybrid systems and stochastic gradient descent. We also present experimental results showing that our automated approach can handle various probabilistic programs in the literature.","lang":"eng"}],"file_date_updated":"2020-09-01T11:12:58Z"},{"external_id":{"isi":["000560620600001"],"arxiv":["1711.04285"]},"page":"1649-1675","date_created":"2020-08-30T22:01:13Z","publication":"Communications in Mathematical Physics","doi":"10.1007/s00220-020-03828-8","title":"Sandpile solitons via smoothing of superharmonic functions","ec_funded":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","acknowledgement":"We thank Andrea Sportiello for sharing his insights on perturbative regimes of the Abelian sandpile model which was the starting point of our work. We also thank Grigory Mikhalkin, who encouraged us to approach this problem. We thank an anonymous referee. Also we thank Misha Khristoforov and Sergey Lanzat who participated on the initial state of this project, when we had nothing except the computer simulation and pictures. We thank Mikhail Raskin for providing us the code on Golly for faster simulations. Ilia Zharkov, Ilia Itenberg, Kristin Shaw, Max Karev, Lionel Levine, Ernesto Lupercio, Pavol Ševera, Yulieth Prieto, Michael Polyak, Danila Cherkashin asked us a lot of questions and listened to us; not all of their questions found answers here, but we are going to treat them in subsequent papers.","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734"}],"status":"public","quality_controlled":"1","_id":"8325","type":"journal_article","date_updated":"2023-08-22T09:00:03Z","volume":378,"language":[{"iso":"eng"}],"date_published":"2020-09-01T00:00:00Z","scopus_import":"1","author":[{"last_name":"Kalinin","full_name":"Kalinin, Nikita","first_name":"Nikita"},{"orcid":"0000-0002-4310-178X","full_name":"Shkolnikov, Mikhail","first_name":"Mikhail","id":"35084A62-F248-11E8-B48F-1D18A9856A87","last_name":"Shkolnikov"}],"citation":{"apa":"Kalinin, N., &#38; Shkolnikov, M. (2020). Sandpile solitons via smoothing of superharmonic functions. <i>Communications in Mathematical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00220-020-03828-8\">https://doi.org/10.1007/s00220-020-03828-8</a>","ieee":"N. Kalinin and M. Shkolnikov, “Sandpile solitons via smoothing of superharmonic functions,” <i>Communications in Mathematical Physics</i>, vol. 378, no. 9. Springer Nature, pp. 1649–1675, 2020.","mla":"Kalinin, Nikita, and Mikhail Shkolnikov. “Sandpile Solitons via Smoothing of Superharmonic Functions.” <i>Communications in Mathematical Physics</i>, vol. 378, no. 9, Springer Nature, 2020, pp. 1649–75, doi:<a href=\"https://doi.org/10.1007/s00220-020-03828-8\">10.1007/s00220-020-03828-8</a>.","ama":"Kalinin N, Shkolnikov M. Sandpile solitons via smoothing of superharmonic functions. <i>Communications in Mathematical Physics</i>. 2020;378(9):1649-1675. doi:<a href=\"https://doi.org/10.1007/s00220-020-03828-8\">10.1007/s00220-020-03828-8</a>","chicago":"Kalinin, Nikita, and Mikhail Shkolnikov. “Sandpile Solitons via Smoothing of Superharmonic Functions.” <i>Communications in Mathematical Physics</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/s00220-020-03828-8\">https://doi.org/10.1007/s00220-020-03828-8</a>.","ista":"Kalinin N, Shkolnikov M. 2020. Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics. 378(9), 1649–1675.","short":"N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics 378 (2020) 1649–1675."},"publisher":"Springer Nature","intvolume":"       378","publication_identifier":{"eissn":["14320916"],"issn":["00103616"]},"year":"2020","publication_status":"published","oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1711.04285"}],"isi":1,"oa_version":"Preprint","issue":"9","day":"01","article_type":"original","abstract":[{"text":"Let 𝐹:ℤ2→ℤ be the pointwise minimum of several linear functions. The theory of smoothing allows us to prove that under certain conditions there exists the pointwise minimal function among all integer-valued superharmonic functions coinciding with F “at infinity”. We develop such a theory to prove existence of so-called solitons (or strings) in a sandpile model, studied by S. Caracciolo, G. Paoletti, and A. Sportiello. Thus we made a step towards understanding the phenomena of the identity in the sandpile group for planar domains where solitons appear according to experiments. We prove that sandpile states, defined using our smoothing procedure, move changeless when we apply the wave operator (that is why we call them solitons), and can interact, forming triads and nodes. ","lang":"eng"}],"month":"09","department":[{"_id":"TaHa"}],"article_processing_charge":"No","arxiv":1},{"year":"2020","publication_status":"published","oa":1,"main_file_link":[{"url":"https://doi.org/10.1002/anie.202008253","open_access":"1"}],"citation":{"short":"W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte Chemie International Edition 59 (2020) 22943–22946.","ista":"Schlemmer W, Nothdurft P, Petzold A, Frühwirt P, Schmallegger M, Gescheidt-Demner G, Fischer R, Freunberger SA, Kern W, Spirk S. 2020. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. 59(51), 22943–22946.","ama":"Schlemmer W, Nothdurft P, Petzold A, et al. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. <i>Angewandte Chemie International Edition</i>. 2020;59(51):22943-22946. doi:<a href=\"https://doi.org/10.1002/anie.202008253\">10.1002/anie.202008253</a>","chicago":"Schlemmer, Werner, Philipp Nothdurft, Alina Petzold, Philipp Frühwirt, Max Schmallegger, Georg Gescheidt-Demner, Roland Fischer, Stefan Alexander Freunberger, Wolfgang Kern, and Stefan Spirk. “2‐methoxyhydroquinone from Vanillin for Aqueous Redox‐flow Batteries.” <i>Angewandte Chemie International Edition</i>. Wiley, 2020. <a href=\"https://doi.org/10.1002/anie.202008253\">https://doi.org/10.1002/anie.202008253</a>.","mla":"Schlemmer, Werner, et al. “2‐methoxyhydroquinone from Vanillin for Aqueous Redox‐flow Batteries.” <i>Angewandte Chemie International Edition</i>, vol. 59, no. 51, Wiley, 2020, pp. 22943–46, doi:<a href=\"https://doi.org/10.1002/anie.202008253\">10.1002/anie.202008253</a>.","ieee":"W. Schlemmer <i>et al.</i>, “2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries,” <i>Angewandte Chemie International Edition</i>, vol. 59, no. 51. Wiley, pp. 22943–22946, 2020.","apa":"Schlemmer, W., Nothdurft, P., Petzold, A., Frühwirt, P., Schmallegger, M., Gescheidt-Demner, G., … Spirk, S. (2020). 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. <i>Angewandte Chemie International Edition</i>. Wiley. <a href=\"https://doi.org/10.1002/anie.202008253\">https://doi.org/10.1002/anie.202008253</a>"},"publisher":"Wiley","intvolume":"        59","publication_identifier":{"issn":["1433-7851"],"eissn":["1521-3773"]},"issue":"51","day":"14","oa_version":"Published Version","related_material":{"record":[{"status":"public","relation":"research_data","id":"9780"}]},"abstract":[{"lang":"eng","text":"We show the synthesis of a redox‐active quinone, 2‐methoxy‐1,4‐hydroquinone (MHQ), from a bio‐based feedstock and its suitability as electrolyte in aqueous redox flow batteries. We identified semiquinone intermediates at insufficiently low pH and quinoid radicals as responsible for decomposition of MHQ under electrochemical conditions. Both can be avoided and/or stabilized, respectively, using H 3 PO 4 electrolyte, allowing for reversible cycling in a redox flow battery for hundreds of cycles."}],"article_type":"original","article_processing_charge":"No","department":[{"_id":"StFr"}],"month":"12","isi":1,"acknowledgement":"The Austrian Research Promotion Agency (FFG) is gratefully acknowledged for financial support of the project LignoBatt (860429).","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","page":"22943-22946","external_id":{"isi":["000576148700001"]},"publication":"Angewandte Chemie International Edition","date_created":"2020-09-03T16:10:56Z","doi":"10.1002/anie.202008253","title":"2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries","language":[{"iso":"eng"}],"date_published":"2020-12-14T00:00:00Z","author":[{"first_name":"Werner","full_name":"Schlemmer, Werner","last_name":"Schlemmer"},{"last_name":"Nothdurft","first_name":"Philipp","full_name":"Nothdurft, Philipp"},{"first_name":"Alina","full_name":"Petzold, Alina","last_name":"Petzold"},{"first_name":"Philipp","full_name":"Frühwirt, Philipp","last_name":"Frühwirt"},{"last_name":"Schmallegger","full_name":"Schmallegger, Max","first_name":"Max"},{"last_name":"Gescheidt-Demner","full_name":"Gescheidt-Demner, Georg","first_name":"Georg"},{"last_name":"Fischer","full_name":"Fischer, Roland","first_name":"Roland"},{"id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger","orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander","first_name":"Stefan Alexander"},{"first_name":"Wolfgang","full_name":"Kern, Wolfgang","last_name":"Kern"},{"last_name":"Spirk","full_name":"Spirk, Stefan","first_name":"Stefan"}],"scopus_import":"1","status":"public","quality_controlled":"1","_id":"8329","date_updated":"2023-09-05T16:03:47Z","type":"journal_article","volume":59},{"title":"Verifying concurrent programs: Refinement, synchronization, sequentialization","doi":"10.15479/AT:ISTA:8332","degree_awarded":"PhD","date_created":"2020-09-04T12:24:12Z","has_accepted_license":"1","page":"120","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","type":"dissertation","_id":"8332","supervisor":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A"}],"date_updated":"2023-09-13T08:45:08Z","status":"public","author":[{"first_name":"Bernhard","orcid":"0000-0001-7745-9117","full_name":"Kragl, Bernhard","id":"320FC952-F248-11E8-B48F-1D18A9856A87","last_name":"Kragl"}],"date_published":"2020-09-03T00:00:00Z","language":[{"iso":"eng"}],"publication_identifier":{"issn":["2663-337X"]},"publisher":"Institute of Science and Technology Austria","citation":{"apa":"Kragl, B. (2020). <i>Verifying concurrent programs: Refinement, synchronization, sequentialization</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8332\">https://doi.org/10.15479/AT:ISTA:8332</a>","ieee":"B. Kragl, “Verifying concurrent programs: Refinement, synchronization, sequentialization,” Institute of Science and Technology Austria, 2020.","mla":"Kragl, Bernhard. <i>Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8332\">10.15479/AT:ISTA:8332</a>.","ama":"Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8332\">10.15479/AT:ISTA:8332</a>","chicago":"Kragl, Bernhard. “Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8332\">https://doi.org/10.15479/AT:ISTA:8332</a>.","ista":"Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria.","short":"B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020."},"file":[{"creator":"bkragl","checksum":"26fe261550f691280bda4c454bf015c7","relation":"main_file","file_id":"8333","access_level":"open_access","date_created":"2020-09-04T12:17:47Z","file_size":1348815,"date_updated":"2020-09-04T12:17:47Z","content_type":"application/pdf","file_name":"kragl-thesis.pdf"},{"file_name":"kragl-thesis.zip","content_type":"application/zip","date_updated":"2020-09-04T13:00:17Z","date_created":"2020-09-04T13:00:17Z","file_size":372312,"file_id":"8335","access_level":"closed","relation":"source_file","checksum":"b9694ce092b7c55557122adba8337ebc","creator":"bkragl"}],"alternative_title":["ISTA Thesis"],"oa":1,"publication_status":"published","year":"2020","ddc":["000"],"file_date_updated":"2020-09-04T13:00:17Z","month":"09","department":[{"_id":"ToHe"}],"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Designing and verifying concurrent programs is a notoriously challenging, time consuming, and error prone task, even for experts. This is due to the sheer number of possible interleavings of a concurrent program, all of which have to be tracked and accounted for in a formal proof. Inventing an inductive invariant that captures all interleavings of a low-level implementation is theoretically possible, but practically intractable. We develop a refinement-based verification framework that provides mechanisms to simplify proof construction by decomposing the verification task into smaller subtasks.\r\n\r\nIn a first line of work, we present a foundation for refinement reasoning over structured concurrent programs. We introduce layered concurrent programs as a compact notation to represent multi-layer refinement proofs. A layered concurrent program specifies a sequence of connected concurrent programs, from most concrete to most abstract, such that common parts of different programs are written exactly once. Each program in this sequence is expressed as structured concurrent program, i.e., a program over (potentially recursive) procedures, imperative control flow, gated atomic actions, structured parallelism, and asynchronous concurrency. This is in contrast to existing refinement-based verifiers, which represent concurrent systems as flat transition relations. We present a powerful refinement proof rule that decomposes refinement checking over structured programs into modular verification conditions. Refinement checking is supported by a new form of modular, parameterized invariants, called yield invariants, and a linear permission system to enhance local reasoning.\r\n\r\nIn a second line of work, we present two new reduction-based program transformations that target asynchronous programs. These transformations reduce the number of interleavings that need to be considered, thus reducing the complexity of invariants. Synchronization simplifies the verification of asynchronous programs by introducing the fiction, for proof purposes, that asynchronous operations complete synchronously. Synchronization summarizes an asynchronous computation as immediate atomic effect. Inductive sequentialization establishes sequential reductions 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.\r\n\r\nOur approach is implemented the CIVL verifier, which has been successfully used for the verification of several complex concurrent programs. In our methodology, the overall correctness of a program is established piecemeal by focusing on the invariant required for each refinement step separately. While the programmer does the creative work of specifying the chain of programs and the inductive invariant justifying each link in the chain, the tool automatically constructs the verification conditions underlying each refinement step."}],"related_material":{"record":[{"id":"133","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"8012"},{"id":"8195","relation":"part_of_dissertation","status":"public"},{"id":"160","status":"public","relation":"part_of_dissertation"}]},"oa_version":"Published Version","day":"03"},{"language":[{"iso":"eng"}],"date_published":"2020-08-27T00:00:00Z","author":[{"last_name":"Kubiasova","id":"946011F4-3E71-11EA-860B-C7A73DDC885E","first_name":"Karolina","full_name":"Kubiasova, Karolina","orcid":"0000-0001-5630-9419"},{"first_name":"Juan C","full_name":"Montesinos López, Juan C","orcid":"0000-0001-9179-6099","last_name":"Montesinos López","id":"310A8E3E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Olga","full_name":"Šamajová, Olga","last_name":"Šamajová"},{"full_name":"Nisler, Jaroslav","first_name":"Jaroslav","last_name":"Nisler"},{"first_name":"Václav","full_name":"Mik, Václav","last_name":"Mik"},{"full_name":"Semeradova, Hana","first_name":"Hana","last_name":"Semeradova","id":"42FE702E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Plíhalová","full_name":"Plíhalová, Lucie","first_name":"Lucie"},{"first_name":"Ondřej","full_name":"Novák, Ondřej","last_name":"Novák"},{"orcid":"0000-0001-5227-5741","full_name":"Marhavý, Peter","first_name":"Peter","id":"3F45B078-F248-11E8-B48F-1D18A9856A87","last_name":"Marhavý"},{"last_name":"Cavallari","id":"457160E6-F248-11E8-B48F-1D18A9856A87","first_name":"Nicola","full_name":"Cavallari, Nicola"},{"full_name":"Zalabák, David","first_name":"David","last_name":"Zalabák"},{"full_name":"Berka, Karel","first_name":"Karel","last_name":"Berka"},{"last_name":"Doležal","first_name":"Karel","full_name":"Doležal, Karel"},{"last_name":"Galuszka","full_name":"Galuszka, Petr","first_name":"Petr"},{"last_name":"Šamaj","first_name":"Jozef","full_name":"Šamaj, Jozef"},{"last_name":"Strnad","first_name":"Miroslav","full_name":"Strnad, Miroslav"},{"id":"38F4F166-F248-11E8-B48F-1D18A9856A87","last_name":"Benková","orcid":"0000-0002-8510-9739","full_name":"Benková, Eva","first_name":"Eva"},{"first_name":"Ondřej","full_name":"Plíhal, Ondřej","last_name":"Plíhal"},{"last_name":"Spíchal","full_name":"Spíchal, Lukáš","first_name":"Lukáš"}],"scopus_import":"1","status":"public","tmp":{"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)","image":"/images/cc_by.png"},"quality_controlled":"1","date_updated":"2023-08-22T09:09:06Z","_id":"8336","type":"journal_article","volume":11,"acknowledgement":"This paper is dedicated to deceased P. Galuszka for his support and contribution to the project. This research was supported by the Scientific Service Units (SSU) of IST-Austria through resources provided by the Bioimaging Facility (BIF), the Life Science Facility (LSF) and by Centre of the Region Haná (CRH), Palacký University. We thank Lucia Hlusková, Zuzana Pěkná and Martin Hönig for technical assistance, and Fernando Aniento, Rashed Abualia and Andrej Hurný for sharing material. The work was supported from ERDF project “Plants as a tool for sustainable global development” (No. CZ.02.1.01/0.0/0.0/16_019/0000827), from Czech Science Foundation via projects 16-04184S (O.P., K.K. and K.D.), 18-23972Y (D.Z., K.K.), 17-21122S (K.B.), Erasmus+ (K.K.), Endowment Fund of Palacký University (K.K.) and EMBO Long-Term Fellowship, ALTF number 710-2016 (J.C.M.); People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no. [291734] (N.C.); DOC Fellowship of the Austrian Academy of Sciences at the Institute of Science and Technology, Austria (H.S.).","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","project":[{"call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425"},{"name":"Molecular mechanisms of the cytokinin regulated endomembrane trafficking to coordinate plant organogenesis.","grant_number":"24746","_id":"261821BC-B435-11E9-9278-68D0E5697425"},{"name":"Molecular mechanism of auxindriven formative divisions delineating lateral root organogenesis in plants","grant_number":"ALTF710-2016","_id":"253E54C8-B435-11E9-9278-68D0E5697425"}],"external_id":{"pmid":["32855390"],"isi":["000567931000002"]},"article_number":"4285","has_accepted_license":"1","date_created":"2020-09-06T22:01:12Z","publication":"Nature Communications","doi":"10.1038/s41467-020-17949-0","ec_funded":1,"title":"Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum","day":"27","oa_version":"Published Version","abstract":[{"text":"Plant hormone cytokinins are perceived by a subfamily of sensor histidine kinases (HKs), which via a two-component phosphorelay cascade activate transcriptional responses in the nucleus. Subcellular localization of the receptors proposed the endoplasmic reticulum (ER) membrane as a principal cytokinin perception site, while study of cytokinin transport pointed to the plasma membrane (PM)-mediated cytokinin signalling. Here, by detailed monitoring of subcellular localizations of the fluorescently labelled natural cytokinin probe and the receptor ARABIDOPSIS HISTIDINE KINASE 4 (CRE1/AHK4) fused to GFP reporter, we show that pools of the ER-located cytokinin receptors can enter the secretory pathway and reach the PM in cells of the root apical meristem, and the cell plate of dividing meristematic cells. Brefeldin A (BFA) experiments revealed vesicular recycling of the receptor and its accumulation in BFA compartments. We provide a revised view on cytokinin signalling and the possibility of multiple sites of perception at PM and ER.","lang":"eng"}],"article_type":"original","article_processing_charge":"No","month":"08","department":[{"_id":"EvBe"}],"file_date_updated":"2020-09-10T08:05:19Z","pmid":1,"isi":1,"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"ddc":["580"],"year":"2020","oa":1,"publication_status":"published","file":[{"file_size":3455704,"date_created":"2020-09-10T08:05:19Z","content_type":"application/pdf","date_updated":"2020-09-10T08:05:19Z","file_name":"2020_NatureComm_Kubiasova.pdf","success":1,"creator":"dernst","relation":"main_file","checksum":"7494b7665b3d2bf2d8edb13e4f12b92d","access_level":"open_access","file_id":"8357"}],"citation":{"short":"K. Kubiasova, J.C. Montesinos López, O. Šamajová, J. Nisler, V. Mik, H. Semerádová, L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doležal, P. Galuszka, J. Šamaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications 11 (2020).","ista":"Kubiasova K, Montesinos López JC, Šamajová O, Nisler J, Mik V, Semerádová H, Plíhalová L, Novák O, Marhavý P, Cavallari N, Zalabák D, Berka K, Doležal K, Galuszka P, Šamaj J, Strnad M, Benková E, Plíhal O, Spíchal L. 2020. Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. 11, 4285.","chicago":"Kubiasova, Karolina, Juan C Montesinos López, Olga Šamajová, Jaroslav Nisler, Václav Mik, Hana Semerádová, Lucie Plíhalová, et al. “Cytokinin Fluoroprobe Reveals Multiple Sites of Cytokinin Perception at Plasma Membrane and Endoplasmic Reticulum.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-17949-0\">https://doi.org/10.1038/s41467-020-17949-0</a>.","ama":"Kubiasova K, Montesinos López JC, Šamajová O, et al. Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-020-17949-0\">10.1038/s41467-020-17949-0</a>","mla":"Kubiasova, Karolina, et al. “Cytokinin Fluoroprobe Reveals Multiple Sites of Cytokinin Perception at Plasma Membrane and Endoplasmic Reticulum.” <i>Nature Communications</i>, vol. 11, 4285, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-17949-0\">10.1038/s41467-020-17949-0</a>.","ieee":"K. Kubiasova <i>et al.</i>, “Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020.","apa":"Kubiasova, K., Montesinos López, J. C., Šamajová, O., Nisler, J., Mik, V., Semerádová, H., … Spíchal, L. (2020). Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-17949-0\">https://doi.org/10.1038/s41467-020-17949-0</a>"},"publisher":"Springer Nature","intvolume":"        11","publication_identifier":{"eissn":["20411723"]}},{"month":"08","department":[{"_id":"JiFr"}],"article_processing_charge":"No","article_type":"original","abstract":[{"lang":"eng","text":"Cytokinins are mobile multifunctional plant hormones with roles in development and stress resilience. Although their Histidine Kinase receptors are substantially localised to the endoplasmic reticulum, cellular sites of cytokinin perception and importance of spatially heterogeneous cytokinin distribution continue to be debated. Here we show that cytokinin perception by plasma membrane receptors is an effective additional path for cytokinin response. Readout from a Two Component Signalling cytokinin-specific reporter (TCSn::GFP) closely matches intracellular cytokinin content in roots, yet we also find cytokinins in extracellular fluid, potentially enabling action at the cell surface. Cytokinins covalently linked to beads that could not pass the plasma membrane increased expression of both TCSn::GFP and Cytokinin Response Factors. Super-resolution microscopy of GFP-labelled receptors and diminished TCSn::GFP response to immobilised cytokinins in cytokinin receptor mutants, further indicate that receptors can function at the cell surface. We argue that dual intracellular and surface locations may augment flexibility of cytokinin responses."}],"oa_version":"Published Version","day":"27","isi":1,"acknowledged_ssus":[{"_id":"Bio"}],"file_date_updated":"2020-12-10T12:23:56Z","oa":1,"publication_status":"published","year":"2020","ddc":["580"],"publication_identifier":{"eissn":["20411723"]},"intvolume":"        11","publisher":"Springer Nature","file":[{"file_id":"8936","access_level":"open_access","relation":"main_file","checksum":"5b96f39b598de7510cfefefb819b9a6d","creator":"dernst","file_name":"2020_NatureComm_Antoniadi.pdf","success":1,"content_type":"application/pdf","date_updated":"2020-12-10T12:23:56Z","date_created":"2020-12-10T12:23:56Z","file_size":3526415}],"citation":{"mla":"Antoniadi, Ioanna, et al. “Cell-Surface Receptors Enable Perception of Extracellular Cytokinins.” <i>Nature Communications</i>, vol. 11, 4284, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1038/s41467-020-17700-9\">10.1038/s41467-020-17700-9</a>.","ama":"Antoniadi I, Novák O, Gelová Z, et al. Cell-surface receptors enable perception of extracellular cytokinins. <i>Nature Communications</i>. 2020;11. doi:<a href=\"https://doi.org/10.1038/s41467-020-17700-9\">10.1038/s41467-020-17700-9</a>","chicago":"Antoniadi, Ioanna, Ondřej Novák, Zuzana Gelová, Alexander J Johnson, Ondřej Plíhal, Radim Simerský, Václav Mik, et al. “Cell-Surface Receptors Enable Perception of Extracellular Cytokinins.” <i>Nature Communications</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1038/s41467-020-17700-9\">https://doi.org/10.1038/s41467-020-17700-9</a>.","ista":"Antoniadi I, Novák O, Gelová Z, Johnson AJ, Plíhal O, Simerský R, Mik V, Vain T, Mateo-Bonmatí E, Karady M, Pernisová M, Plačková L, Opassathian K, Hejátko J, Robert S, Friml J, Doležal K, Ljung K, Turnbull C. 2020. Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications. 11, 4284.","short":"I. Antoniadi, O. Novák, Z. Gelová, A.J. Johnson, O. Plíhal, R. Simerský, V. Mik, T. Vain, E. Mateo-Bonmatí, M. Karady, M. Pernisová, L. Plačková, K. Opassathian, J. Hejátko, S. Robert, J. Friml, K. Doležal, K. Ljung, C. Turnbull, Nature Communications 11 (2020).","apa":"Antoniadi, I., Novák, O., Gelová, Z., Johnson, A. J., Plíhal, O., Simerský, R., … Turnbull, C. (2020). Cell-surface receptors enable perception of extracellular cytokinins. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-17700-9\">https://doi.org/10.1038/s41467-020-17700-9</a>","ieee":"I. Antoniadi <i>et al.</i>, “Cell-surface receptors enable perception of extracellular cytokinins,” <i>Nature Communications</i>, vol. 11. Springer Nature, 2020."},"scopus_import":"1","author":[{"first_name":"Ioanna","full_name":"Antoniadi, Ioanna","last_name":"Antoniadi"},{"first_name":"Ondřej","full_name":"Novák, Ondřej","last_name":"Novák"},{"last_name":"Gelová","id":"0AE74790-0E0B-11E9-ABC7-1ACFE5697425","first_name":"Zuzana","full_name":"Gelová, Zuzana","orcid":"0000-0003-4783-1752"},{"id":"46A62C3A-F248-11E8-B48F-1D18A9856A87","last_name":"Johnson","orcid":"0000-0002-2739-8843","full_name":"Johnson, Alexander J","first_name":"Alexander J"},{"first_name":"Ondřej","full_name":"Plíhal, Ondřej","last_name":"Plíhal"},{"last_name":"Simerský","first_name":"Radim","full_name":"Simerský, Radim"},{"first_name":"Václav","full_name":"Mik, Václav","last_name":"Mik"},{"last_name":"Vain","full_name":"Vain, Thomas","first_name":"Thomas"},{"full_name":"Mateo-Bonmatí, Eduardo","first_name":"Eduardo","last_name":"Mateo-Bonmatí"},{"first_name":"Michal","full_name":"Karady, Michal","last_name":"Karady"},{"full_name":"Pernisová, Markéta","first_name":"Markéta","last_name":"Pernisová"},{"last_name":"Plačková","full_name":"Plačková, Lenka","first_name":"Lenka"},{"full_name":"Opassathian, Korawit","first_name":"Korawit","last_name":"Opassathian"},{"last_name":"Hejátko","first_name":"Jan","full_name":"Hejátko, Jan"},{"first_name":"Stéphanie","full_name":"Robert, Stéphanie","last_name":"Robert"},{"last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jiří","orcid":"0000-0002-8302-7596","first_name":"Jiří"},{"last_name":"Doležal","full_name":"Doležal, Karel","first_name":"Karel"},{"last_name":"Ljung","full_name":"Ljung, Karin","first_name":"Karin"},{"full_name":"Turnbull, Colin","first_name":"Colin","last_name":"Turnbull"}],"date_published":"2020-08-27T00:00:00Z","language":[{"iso":"eng"}],"volume":11,"_id":"8337","date_updated":"2023-08-22T09:10:32Z","type":"journal_article","quality_controlled":"1","tmp":{"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)","image":"/images/cc_by.png"},"status":"public","project":[{"grant_number":"I03630","name":"Molecular mechanisms of endocytic cargo recognition in plants","call_identifier":"FWF","_id":"26538374-B435-11E9-9278-68D0E5697425"},{"_id":"261099A6-B435-11E9-9278-68D0E5697425","grant_number":"742985","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","call_identifier":"H2020"}],"acknowledgement":"We thank Bruno Müller and Aaron Rashotte for critical discussions and provision of plant lines used in this work, Roger Granbom and Tamara Hernández Verdeja (UPSC, Umeå, Sweden) for technical assistance and providing materials, Zuzana Pěkná and Karolina Wojewodová (CRH, Palacký University, Olomouc, Czech Republic) for help with cytokinin receptor binding assays, and David Zalabák (CRH, Palacký University, Olomouc, Czech Republic) for provision of vector pINIIIΔEH expressing CRE1/AHK4. The bioimaging facility of IST Austria, the Swedish Metabolomics Centre and the IST Austria Bio-Imaging facility are acknowledged for support. The work was funded by the European Molecular Biology Organization (EMBO ASTF 297-2013) (I.A.), Development—The Company of Biologists (DEVTF2012) (I.A.; C.T.), Plant Fellows (the International Post doc Fellowship Programme in Plant Sciences, 267423) (I.A.; K.L.), the Swedish Research Council (621-2014-4514) (K.L.), UPSC Berzelii Center for Forest Biotechnology (Vinnova 2012-01560), Kempestiftelserna (JCK-2711) (K.L.) and (JCK-1811) (E.-M.B., K.L.). The Ministry of Education, Youth and Sports of the Czech Republic via the European Regional Development Fund-Project “Plants as a tool for sustainable global development” (CZ.02.1.01/0.0/0.0/16_019/0000827) (O.N., O.P., R.S., V.M., L.P., K.D.) and project CEITEC 2020 (LQ1601) (M.P., J.H.) provided support, as did the Czech Science Foundation via projects GP14-30004P (M.P.) and 16-04184S (O.P., K.D., O.N.), Vetenskapsrådet and Vinnova (Verket för Innovationssystem) (T.V., S.R.), Knut och Alice Wallenbergs Stiftelse via “Shapesystem” grant number 2012.0050. A.J. was supported by the Austria Science Fund (FWF): I03630 to J.F. The research leading to these results received funding from European Union’s Horizon 2020 programme (ERC grant no. 742985) and FWO-FWF joint project G0E5718N to J.F.","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","title":"Cell-surface receptors enable perception of extracellular cytokinins","ec_funded":1,"doi":"10.1038/s41467-020-17700-9","date_created":"2020-09-06T22:01:13Z","publication":"Nature Communications","has_accepted_license":"1","article_number":"4284","external_id":{"isi":["000567931000001"]}},{"project":[{"name":"Teaching Old Crypto New Tricks","grant_number":"682815","call_identifier":"H2020","_id":"258AA5B2-B435-11E9-9278-68D0E5697425"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Improved discrete Gaussian and subgaussian analysis for lattice cryptography","ec_funded":1,"doi":"10.1007/978-3-030-45374-9_21","publication":"23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography","date_created":"2020-09-06T22:01:13Z","page":"623-651","scopus_import":"1","author":[{"full_name":"Genise, Nicholas","first_name":"Nicholas","last_name":"Genise"},{"last_name":"Micciancio","first_name":"Daniele","full_name":"Micciancio, Daniele"},{"full_name":"Peikert, Chris","first_name":"Chris","last_name":"Peikert"},{"orcid":"0000-0003-3186-2482","full_name":"Walter, Michael","first_name":"Michael","id":"488F98B0-F248-11E8-B48F-1D18A9856A87","last_name":"Walter"}],"date_published":"2020-05-15T00:00:00Z","language":[{"iso":"eng"}],"conference":{"start_date":"2020-05-04","location":"Edinburgh, United Kingdom","end_date":"2020-05-07","name":"PKC: Public-Key Cryptography"},"volume":12110,"type":"conference","_id":"8339","date_updated":"2023-02-23T13:31:06Z","quality_controlled":"1","status":"public","alternative_title":["LNCS"],"main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2020/337"}],"oa":1,"publication_status":"published","year":"2020","publication_identifier":{"issn":["03029743"],"eissn":["16113349"],"isbn":["9783030453732"]},"intvolume":"     12110","publisher":"Springer Nature","citation":{"short":"N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.","ista":"Genise N, Micciancio D, Peikert C, Walter M. 2020. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 12110, 623–651.","chicago":"Genise, Nicholas, Daniele Micciancio, Chris Peikert, and Michael Walter. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” In <i>23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography</i>, 12110:623–51. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-45374-9_21\">https://doi.org/10.1007/978-3-030-45374-9_21</a>.","ama":"Genise N, Micciancio D, Peikert C, Walter M. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In: <i>23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography</i>. Vol 12110. Springer Nature; 2020:623-651. doi:<a href=\"https://doi.org/10.1007/978-3-030-45374-9_21\">10.1007/978-3-030-45374-9_21</a>","mla":"Genise, Nicholas, et al. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” <i>23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography</i>, vol. 12110, Springer Nature, 2020, pp. 623–51, doi:<a href=\"https://doi.org/10.1007/978-3-030-45374-9_21\">10.1007/978-3-030-45374-9_21</a>.","ieee":"N. Genise, D. Micciancio, C. Peikert, and M. Walter, “Improved discrete Gaussian and subgaussian analysis for lattice cryptography,” in <i>23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography</i>, Edinburgh, United Kingdom, 2020, vol. 12110, pp. 623–651.","apa":"Genise, N., Micciancio, D., Peikert, C., &#38; Walter, M. (2020). Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In <i>23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography</i> (Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-45374-9_21\">https://doi.org/10.1007/978-3-030-45374-9_21</a>"},"month":"05","department":[{"_id":"KrPi"}],"article_processing_charge":"No","abstract":[{"text":"Discrete Gaussian distributions over lattices are central to lattice-based cryptography, and to the computational and mathematical aspects of lattices more broadly. The literature contains a wealth of useful theorems about the behavior of discrete Gaussians under convolutions and related operations. Yet despite their structural similarities, most of these theorems are formally incomparable, and their proofs tend to be monolithic and written nearly “from scratch,” making them unnecessarily hard to verify, understand, and extend.\r\nIn this work we present a modular framework for analyzing linear operations on discrete Gaussian distributions. The framework abstracts away the particulars of Gaussians, and usually reduces proofs to the choice of appropriate linear transformations and elementary linear algebra. To showcase the approach, we establish several general properties of discrete Gaussians, and show how to obtain all prior convolution theorems (along with some new ones) as straightforward corollaries. As another application, we describe a self-reduction for Learning With Errors (LWE) that uses a fixed number of samples to generate an unlimited number of additional ones (having somewhat larger error). The distinguishing features of our reduction are its simple analysis in our framework, and its exclusive use of discrete Gaussians without any loss in parameters relative to a prior mixed discrete-and-continuous approach.\r\nAs a contribution of independent interest, for subgaussian random matrices we prove a singular value concentration bound with explicitly stated constants, and we give tighter heuristics for specific distributions that are commonly used for generating lattice trapdoors. These bounds yield improvements in the concrete bit-security estimates for trapdoor lattice cryptosystems.","lang":"eng"}],"oa_version":"Preprint","day":"15"},{"alternative_title":["ISTA Thesis"],"year":"2020","ddc":["572"],"publication_status":"published","oa":1,"publication_identifier":{"isbn":["978-3-99078-008-4"],"issn":["2663-337X"]},"citation":{"ieee":"D. Kampjut, “Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes,” Institute of Science and Technology Austria, 2020.","apa":"Kampjut, D. (2020). <i>Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8340\">https://doi.org/10.15479/AT:ISTA:8340</a>","ama":"Kampjut D. Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8340\">10.15479/AT:ISTA:8340</a>","chicago":"Kampjut, Domen. “Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8340\">https://doi.org/10.15479/AT:ISTA:8340</a>.","mla":"Kampjut, Domen. <i>Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8340\">10.15479/AT:ISTA:8340</a>.","short":"D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, Institute of Science and Technology Austria, 2020.","ista":"Kampjut D. 2020. Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. Institute of Science and Technology Austria."},"file":[{"file_id":"8345","access_level":"closed","relation":"source_file","checksum":"dd270baf82121eb4472ad19d77bf227c","creator":"dkampjut","embargo_to":"open_access","file_name":"ThesisFull20200908.docx","date_updated":"2021-09-11T22:30:04Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_size":166146359,"date_created":"2020-09-08T13:32:06Z"},{"embargo":"2021-09-10","file_size":13873769,"date_created":"2020-09-14T15:02:20Z","date_updated":"2021-09-11T22:30:04Z","content_type":"application/pdf","file_name":"2020_Thesis_Kampjut.pdf","creator":"dernst","checksum":"82fce6f95ffa47ecc4ebca67ea2cc38c","relation":"main_file","file_id":"8393","access_level":"open_access"}],"publisher":"Institute of Science and Technology Austria","month":"09","department":[{"_id":"LeSa"}],"article_processing_charge":"No","oa_version":"None","day":"09","related_material":{"record":[{"id":"6848","status":"public","relation":"part_of_dissertation"}]},"abstract":[{"lang":"eng","text":"Mitochondria are sites of oxidative phosphorylation in eukaryotic cells. Oxidative phosphorylation operates by a chemiosmotic mechanism made possible by redox-driven proton pumping machines which establish a proton motive force across the inner mitochondrial membrane. This electrochemical proton gradient is used to drive ATP synthesis, which powers the majority of cellular processes such as protein synthesis, locomotion and signalling. In this thesis I investigate the structures and molecular mechanisms of two inner mitochondrial proton pumping enzymes, respiratory complex I and transhydrogenase. I present the first high-resolution structure of the full transhydrogenase from any species, and a significantly improved structure of complex I. Improving the resolution from 3.3 Å available previously to up to 2.3 Å in this thesis allowed us to model bound water molecules, crucial in the proton pumping mechanism. For both enzymes, up to five cryo-EM datasets with different substrates and inhibitors bound were solved to delineate the catalytic cycle and understand the proton pumping mechanism. In transhydrogenase, the proton channel is gated by reversible detachment of the NADP(H)-binding domain which opens the proton channel to the opposite sites of the membrane. In complex I, the proton channels are gated by reversible protonation of key glutamate and lysine residues and breaking of the water wire connecting the proton pumps with the quinone reduction site. The tight coupling between the redox and the proton pumping reactions in transhydrogenase is achieved by controlling the NADP(H) exchange which can only happen when the NADP(H)-binding domain interacts with the membrane domain. In complex I, coupling is achieved by cycling of the whole complex between the closed state, in which quinone can get reduced, and the open state, in which NADH can induce quinol ejection from the binding pocket. On the basis of these results I propose detailed mechanisms for catalytic cycles of transhydrogenase and complex I that are consistent with a large amount of previous work. In both enzymes, conformational and electrostatic mechanisms contribute to the overall catalytic process. Results presented here could be used for better understanding of the human pathologies arising from deficiencies of complex I or transhydrogenase and could be used to develop novel therapies."}],"acknowledged_ssus":[{"_id":"EM-Fac"}],"file_date_updated":"2021-09-11T22:30:04Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","acknowledgement":"I acknowledge the support of IST facilities, especially the Electron Miscroscopy facility for providing training and resources. Special thanks also go to cryo-EM specialists who helped me to collect the data present here: Dr Valentin Hodirnau (IST Austria), Dr Tom Heuser (IMBA, Vienna), Dr Rebecca Thompson (Uni. of Leeds) and Dr Jirka Nováček (CEITEC). This work has been supported by iNEXT, project number 653706, funded by the Horizon 2020 programme of the European Union. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.","project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","name":"International IST Doctoral Program","call_identifier":"H2020"}],"doi":"10.15479/AT:ISTA:8340","title":"Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes","ec_funded":1,"page":"242","degree_awarded":"PhD","date_created":"2020-09-07T18:42:23Z","has_accepted_license":"1","date_published":"2020-09-09T00:00:00Z","author":[{"first_name":"Domen","full_name":"Kampjut, Domen","id":"37233050-F248-11E8-B48F-1D18A9856A87","last_name":"Kampjut"}],"language":[{"iso":"eng"}],"_id":"8340","type":"dissertation","supervisor":[{"id":"338D39FE-F248-11E8-B48F-1D18A9856A87","last_name":"Sazanov","first_name":"Leonid A","orcid":"0000-0002-0977-7989","full_name":"Sazanov, Leonid A"}],"date_updated":"2023-09-07T13:26:17Z","status":"public"},{"_id":"8341","type":"dissertation","date_updated":"2023-09-07T13:17:06Z","supervisor":[{"full_name":"Loose, Martin","orcid":"0000-0001-7309-9724","first_name":"Martin","last_name":"Loose","id":"462D4284-F248-11E8-B48F-1D18A9856A87"}],"status":"public","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png"},"author":[{"id":"2A58201A-F248-11E8-B48F-1D18A9856A87","last_name":"Bezeljak","first_name":"Urban","orcid":"0000-0003-1365-5631","full_name":"Bezeljak, Urban"}],"date_published":"2020-09-08T00:00:00Z","language":[{"iso":"eng"}],"title":"In vitro reconstitution of a Rab activation switch","doi":"10.15479/AT:ISTA:8341","license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","has_accepted_license":"1","date_created":"2020-09-08T08:53:53Z","degree_awarded":"PhD","page":"215","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.","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"},{"_id":"NanoFab"}],"file_date_updated":"2021-09-16T12:49:12Z","article_processing_charge":"No","department":[{"_id":"MaLo"}],"month":"09","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"7580"}]},"abstract":[{"lang":"eng","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."}],"day":"08","oa_version":"Published Version","publication_identifier":{"issn":["2663-337X"]},"publisher":"Institute of Science and Technology Austria","file":[{"access_level":"closed","file_id":"8342","creator":"dernst","checksum":"70871b335a595252a66c6bbf0824fb02","relation":"source_file","content_type":"application/x-zip-compressed","date_updated":"2021-09-16T12:49:12Z","file_name":"2020_Urban_Bezeljak_Thesis_TeX.zip","file_size":65246782,"date_created":"2020-09-08T09:00:29Z"},{"date_updated":"2021-09-16T12:49:12Z","content_type":"application/pdf","file_name":"2020_Urban_Bezeljak_Thesis.pdf","file_size":31259058,"date_created":"2020-09-08T09:00:27Z","file_id":"8343","access_level":"open_access","creator":"dernst","relation":"main_file","checksum":"59a62275088b00b7241e6ff4136434c7"}],"citation":{"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.","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>.","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>","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>.","ieee":"U. Bezeljak, “In vitro reconstitution of a Rab activation switch,” Institute of Science and Technology Austria, 2020.","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>"},"alternative_title":["ISTA Thesis"],"publication_status":"published","oa":1,"ddc":["570"],"year":"2020"},{"publication_identifier":{"issn":["2663-337X"]},"file":[{"relation":"source_file","checksum":"6e47871c74f85008b9876112eb3fcfa1","creator":"sshamip","file_id":"8351","access_level":"closed","date_created":"2020-09-09T11:06:27Z","file_size":65194814,"embargo_to":"open_access","file_name":"Shayan-Thesis-Final.docx","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_updated":"2021-09-11T22:30:05Z"},{"file_name":"Shayan-Thesis-Final.pdf","date_updated":"2021-09-11T22:30:05Z","content_type":"application/pdf","file_size":23729605,"date_created":"2020-09-09T11:06:13Z","embargo":"2021-09-10","access_level":"open_access","file_id":"8352","relation":"main_file","checksum":"1b44c57f04d7e8a6fe41b1c9c55a52a3","creator":"sshamip"}],"citation":{"ista":"Shamipour S. 2020. Bulk actin dynamics drive phase segregation in zebrafish oocytes . Institute of Science and Technology Austria.","short":"S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , Institute of Science and Technology Austria, 2020.","mla":"Shamipour, Shayan. <i>Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes </i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8350\">10.15479/AT:ISTA:8350</a>.","ama":"Shamipour S. Bulk actin dynamics drive phase segregation in zebrafish oocytes . 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8350\">10.15479/AT:ISTA:8350</a>","chicago":"Shamipour, Shayan. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes .” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8350\">https://doi.org/10.15479/AT:ISTA:8350</a>.","apa":"Shamipour, S. (2020). <i>Bulk actin dynamics drive phase segregation in zebrafish oocytes </i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8350\">https://doi.org/10.15479/AT:ISTA:8350</a>","ieee":"S. Shamipour, “Bulk actin dynamics drive phase segregation in zebrafish oocytes ,” Institute of Science and Technology Austria, 2020."},"publisher":"Institute of Science and Technology Austria","alternative_title":["ISTA Thesis"],"ddc":["570"],"year":"2020","oa":1,"publication_status":"published","acknowledged_ssus":[{"_id":"PreCl"},{"_id":"Bio"},{"_id":"EM-Fac"}],"file_date_updated":"2021-09-11T22:30:05Z","article_processing_charge":"No","department":[{"_id":"BjHo"},{"_id":"CaHe"}],"month":"09","day":"09","oa_version":"None","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"661"},{"status":"public","relation":"part_of_dissertation","id":"6508"},{"id":"7001","relation":"part_of_dissertation","status":"public"},{"id":"735","relation":"part_of_dissertation","status":"public"}]},"abstract":[{"lang":"eng","text":"Cytoplasm is a gel-like crowded environment composed of tens of thousands of macromolecules, organelles, cytoskeletal networks and cytosol. The structure of the cytoplasm is thought to be highly organized and heterogeneous due to the crowding of its constituents and their effective compartmentalization. In such an environment, the diffusive dynamics of the molecules is very restricted, an effect that is further amplified by clustering and anchoring of molecules. Despite the jammed nature of the cytoplasm at the microscopic scale, large-scale reorganization of cytoplasm is essential for important cellular functions, such as nuclear positioning and cell division. How such mesoscale reorganization of the cytoplasm is achieved, especially for very large cells such as oocytes or syncytial tissues that can span hundreds of micrometers in size, has only begun to be understood.\r\nIn this thesis, I focus on the recent advances in elucidating the molecular, cellular and biophysical principles underlying cytoplasmic organization across different scales, structures and species. First, I outline which of these principles have been identified by reductionist approaches, such as in vitro reconstitution assays, where boundary conditions and components can be modulated at ease. I then describe how the theoretical and experimental framework established in these reduced systems have been applied to their more complex in vivo counterparts, in particular oocytes and embryonic syncytial structures, and discuss how such complex biological systems can initiate symmetry breaking and establish patterning.\r\nSpecifically, I examine an example of large-scale reorganizations taking place in zebrafish embryos, where extensive cytoplasmic streaming leads to the segregation of cytoplasm from yolk granules along the animal-vegetal axis of the embryo. Using biophysical experimentation and theory, I investigate the forces underlying this process, to show that this process does not rely on cortical actin reorganization, as previously thought, but instead on a cell-cycle-dependent bulk actin polymerization wave traveling from the animal to the vegetal pole of the embryo. This wave functions in segregation by both pulling cytoplasm animally and pushing yolk granules vegetally. Cytoplasm pulling is mediated by bulk actin network flows exerting friction forces on the cytoplasm, while yolk granule pushing is achieved by a mechanism closely resembling actin comet formation on yolk granules. This study defines a novel role of bulk actin polymerization waves in embryo polarization via cytoplasmic segregation. Lastly, I describe the cytoplasmic reorganizations taking place during zebrafish oocyte maturation, where the initial segregation of the cytoplasm and yolk granules occurs. Here, I demonstrate a previously uncharacterized wave of microtubule aster formation, traveling the oocyte along the animal-vegetal axis. Further research is required to determine the role of such microtubule structures in cytoplasmic reorganizations therein.\r\nCollectively, these studies provide further evidence for the coupling between cell cytoskeleton and cell cycle machinery, which can underlie a core self-organizing mechanism for orchestrating large-scale reorganizations in a cell-cycle-tunable manner, where the modulations of the force-generating machinery and cytoplasmic mechanics can be harbored to fulfill cellular functions."}],"doi":"10.15479/AT:ISTA:8350","title":"Bulk actin dynamics drive phase segregation in zebrafish oocytes ","page":"107","has_accepted_license":"1","date_created":"2020-09-09T11:12:10Z","degree_awarded":"PhD","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","acknowledgement":"I would have had no fish and hence no results without our wonderful fish facility crew, Verena Mayer, Eva Schlegl, Andreas Mlak and Matthias Nowak. Special thanks to Verena for being always happy to help and dealing with our chaotic schedules in the lab. Danke auch, Verena, für deine Geduld, mit mir auf Deutsch zu sprechen. Das hat mir sehr geholfen.\r\nSpecial thanks to the Bioimaging and EM facilities at IST Austria for supporting us every day. Very special thanks would go to Robert Hauschild for his continuous support on data analysis and also to Jack Merrin for designing and building microfabricated chambers for the project and for the various discussions on making zebrafish extracts.","_id":"8350","type":"dissertation","date_updated":"2023-09-27T14:16:45Z","supervisor":[{"id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","first_name":"Carl-Philipp J"},{"first_name":"Björn","full_name":"Hof, Björn","orcid":"0000-0003-2057-2754","last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87"}],"status":"public","date_published":"2020-09-09T00:00:00Z","author":[{"first_name":"Shayan","full_name":"Shamipour, Shayan","last_name":"Shamipour","id":"40B34FE2-F248-11E8-B48F-1D18A9856A87"}],"language":[{"iso":"eng"}]},{"page":"191","has_accepted_license":"1","degree_awarded":"PhD","date_created":"2020-09-09T14:27:01Z","doi":"10.15479/AT:ISTA:8353","title":"Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I","acknowledgement":"I acknowledge the scientific service units of the IST Austria for providing resources by the Life Science Facility, the Electron Microscopy Facility and the high-performance computer cluster. Special thanks to the cryo-EM specialists Valentin Hodirnau and Daniel Johann Gütl for spending many hours with me in front of the microscope and for supporting me to collect the data presented here. I also want to thank Professor Masahiro Ito for providing plasmid DNA\r\nencoding Mrp from Anoxybacillus flavithermus WK1. I am a recipient of a DOC Fellowship of the Austrian Academy of Sciences.","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","project":[{"_id":"26169496-B435-11E9-9278-68D0E5697425","grant_number":"24741","name":"Revealing the functional mechanism of Mrp antiporter, an ancestor of complex I"}],"status":"public","_id":"8353","supervisor":[{"orcid":"0000-0002-0977-7989","full_name":"Sazanov, Leonid A","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","last_name":"Sazanov"}],"date_updated":"2023-09-07T13:14:09Z","type":"dissertation","language":[{"iso":"eng"}],"date_published":"2020-09-09T00:00:00Z","author":[{"last_name":"Steiner","id":"3BB67EB0-F248-11E8-B48F-1D18A9856A87","full_name":"Steiner, Julia","orcid":"0000-0003-0493-3775","first_name":"Julia"}],"citation":{"chicago":"Steiner, Julia. “Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I.” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8353\">https://doi.org/10.15479/AT:ISTA:8353</a>.","ama":"Steiner J. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8353\">10.15479/AT:ISTA:8353</a>","mla":"Steiner, Julia. <i>Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8353\">10.15479/AT:ISTA:8353</a>.","short":"J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, Institute of Science and Technology Austria, 2020.","ista":"Steiner J. 2020. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. Institute of Science and Technology Austria.","ieee":"J. Steiner, “Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I,” Institute of Science and Technology Austria, 2020.","apa":"Steiner, J. (2020). <i>Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8353\">https://doi.org/10.15479/AT:ISTA:8353</a>"},"file":[{"date_updated":"2021-09-16T12:40:56Z","content_type":"application/pdf","file_name":"Thesis_Julia_Steiner_pdfA.pdf","date_created":"2020-09-09T14:22:35Z","file_size":117547589,"access_level":"open_access","file_id":"8354","creator":"jsteiner","relation":"main_file","checksum":"2388d7e6e7a4d364c096fa89f305c3de"},{"relation":"source_file","checksum":"ba112f957b7145462d0ab79044873ee9","creator":"jsteiner","file_id":"8355","access_level":"closed","file_size":223328668,"date_created":"2020-09-09T14:23:25Z","file_name":"Thesis_Julia_Steiner.docx","date_updated":"2020-09-15T08:48:37Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document"}],"publisher":"Institute of Science and Technology Austria","publication_identifier":{"issn":["2663-337X"]},"ddc":["572"],"year":"2020","oa":1,"publication_status":"published","alternative_title":["ISTA Thesis"],"file_date_updated":"2021-09-16T12:40:56Z","acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"EM-Fac"},{"_id":"ScienComp"}],"day":"09","oa_version":"None","related_material":{"record":[{"id":"8284","relation":"part_of_dissertation","status":"public"}]},"abstract":[{"text":"Mrp (Multi resistance and pH adaptation) are broadly distributed secondary active antiporters that catalyze the transport of monovalent ions such as sodium and potassium outside of the cell coupled to the inward translocation of protons. Mrp antiporters are unique in a way that they are composed of seven subunits (MrpABCDEFG) encoded in a single operon, whereas other antiporters catalyzing the same reaction are mostly encoded by a single gene. Mrp exchangers are crucial for intracellular pH homeostasis and Na+ efflux, essential mechanisms for H+ uptake under alkaline environments and for reduction of the intracellular concentration of toxic cations. Mrp displays no homology to any other monovalent Na+(K+)/H+ antiporters but Mrp subunits have primary sequence similarity to essential redox-driven proton pumps, such as respiratory complex I and membrane-bound hydrogenases. This similarity reinforces the hypothesis that these present day redox-driven proton pumps are descended from the Mrp antiporter. The Mrp structure serves as a model to understand the yet obscure coupling mechanism between ion or electron transfer and proton translocation in this large group of proteins. In the thesis, I am presenting the purification, biochemical analysis, cryo-EM analysis and molecular structure of the Mrp complex from Anoxybacillus flavithermus solved by cryo-EM at 3.0 Å resolution. Numerous conditions were screened to purify Mrp to high homogeneity and to obtain an appropriate distribution of single particles on cryo-EM grids covered with a continuous layer of ultrathin carbon. A preferred particle orientation problem was solved by performing a tilted data collection. The activity assays showed the specific pH-dependent\r\nprofile of secondary active antiporters. The molecular structure shows that Mrp is a dimer of seven-subunit protomers with 50 trans-membrane helices each. The dimer interface is built by many short and tilted transmembrane helices, probably causing a thinning of the bacterial membrane. The surface charge distribution shows an extraordinary asymmetry within each monomer, revealing presumable proton and sodium translocation pathways. The two largest\r\nand homologous Mrp subunits MrpA and MrpD probably translocate one proton each into the cell. The sodium ion is likely being translocated in the opposite direction within the small subunits along a ladder of charged and conserved residues. Based on the structure, we propose a mechanism were the antiport activity is accomplished via electrostatic interactions between the charged cations and key charged residues. The flexible key TM helices coordinate these\r\nelectrostatic interactions, while the membrane thinning between the monomers enables the translocation of sodium across the charged membrane. The entire family of redox-driven proton pumps is likely to perform their mechanism in a likewise manner.","lang":"eng"}],"article_processing_charge":"No","department":[{"_id":"LeSa"}],"month":"09"},{"article_processing_charge":"No","month":"09","department":[{"_id":"MaLo"}],"day":"10","oa_version":"Published Version","related_material":{"record":[{"id":"7572","status":"public","relation":"dissertation_contains"},{"relation":"part_of_dissertation","status":"public","id":"7197"}]},"abstract":[{"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","lang":"eng"}],"acknowledged_ssus":[{"_id":"Bio"}],"file_date_updated":"2020-09-11T07:48:10Z","alternative_title":["ISTA Thesis"],"ddc":["572"],"year":"2020","oa":1,"publication_status":"published","publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-009-1"]},"file":[{"file_id":"8364","access_level":"open_access","checksum":"882f93fe9c351962120e2669b84bf088","relation":"main_file","creator":"pcaldas","file_name":"phd_thesis_pcaldas.pdf","success":1,"date_updated":"2020-09-10T12:11:29Z","content_type":"application/pdf","date_created":"2020-09-10T12:11:29Z","file_size":141602462},{"file_id":"8365","access_level":"closed","relation":"source_file","checksum":"70cc9e399c4e41e6e6ac445ae55e8558","creator":"pcaldas","file_name":"phd_thesis_latex_pcaldas.zip","content_type":"application/x-zip-compressed","date_updated":"2020-09-11T07:48:10Z","date_created":"2020-09-10T12:18:17Z","file_size":450437458}],"citation":{"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>","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.","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>.","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>","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>."},"publisher":"Institute of Science and Technology Austria","date_published":"2020-09-10T00:00:00Z","author":[{"id":"38FCDB4C-F248-11E8-B48F-1D18A9856A87","last_name":"Dos Santos Caldas","orcid":"0000-0001-6730-4461","full_name":"Dos Santos Caldas, Paulo R","first_name":"Paulo R"}],"language":[{"iso":"eng"}],"date_updated":"2023-09-07T13:18:51Z","_id":"8358","type":"dissertation","supervisor":[{"last_name":"Loose","id":"462D4284-F248-11E8-B48F-1D18A9856A87","full_name":"Loose, Martin","orcid":"0000-0001-7309-9724","first_name":"Martin"}],"status":"public","tmp":{"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)","image":"/images/cc_by.png"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","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","page":"135","has_accepted_license":"1","date_created":"2020-09-10T09:26:49Z","degree_awarded":"PhD"},{"citation":{"ista":"Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. 2020. Current status and future perspectives of lithium metal batteries. Journal of Power Sources. 480(12), 228803.","short":"A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Journal of Power Sources 480 (2020).","mla":"Varzi, Alberto, et al. “Current Status and Future Perspectives of Lithium Metal Batteries.” <i>Journal of Power Sources</i>, vol. 480, no. 12, 228803, Elsevier, 2020, doi:<a href=\"https://doi.org/10.1016/j.jpowsour.2020.228803\">10.1016/j.jpowsour.2020.228803</a>.","chicago":"Varzi, Alberto, Katharina Thanner, Roberto Scipioni, Daniele Di Lecce, Jusef Hassoun, Susanne Dörfler, Holger Altheus, Stefan Kaskel, Christian Prehal, and Stefan Alexander Freunberger. “Current Status and Future Perspectives of Lithium Metal Batteries.” <i>Journal of Power Sources</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.jpowsour.2020.228803\">https://doi.org/10.1016/j.jpowsour.2020.228803</a>.","ama":"Varzi A, Thanner K, Scipioni R, et al. Current status and future perspectives of lithium metal batteries. <i>Journal of Power Sources</i>. 2020;480(12). doi:<a href=\"https://doi.org/10.1016/j.jpowsour.2020.228803\">10.1016/j.jpowsour.2020.228803</a>","apa":"Varzi, A., Thanner, K., Scipioni, R., Di Lecce, D., Hassoun, J., Dörfler, S., … Freunberger, S. A. (2020). Current status and future perspectives of lithium metal batteries. <i>Journal of Power Sources</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jpowsour.2020.228803\">https://doi.org/10.1016/j.jpowsour.2020.228803</a>","ieee":"A. Varzi <i>et al.</i>, “Current status and future perspectives of lithium metal batteries,” <i>Journal of Power Sources</i>, vol. 480, no. 12. Elsevier, 2020."},"publisher":"Elsevier","intvolume":"       480","publication_identifier":{"issn":["0378-7753"]},"year":"2020","oa":1,"publication_status":"published","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.jpowsour.2020.228803"}],"isi":1,"oa_version":"Published Version","issue":"12","day":"31","article_type":"original","related_material":{"record":[{"id":"8067","status":"public","relation":"earlier_version"}]},"abstract":[{"text":"With the lithium-ion technology approaching its intrinsic limit with graphite-based anodes, Li metal is recently receiving renewed interest from the battery community as potential high capacity anode for next-generation rechargeable batteries. In this focus paper, we review the main advances in this field since the first attempts in the mid-1970s. Strategies for enabling reversible cycling and avoiding dendrite growth are thoroughly discussed, including specific applications in all-solid-state (inorganic and polymeric), Lithium–Sulfur (Li–S) and Lithium-O2 (air) batteries. A particular attention is paid to recent developments of these battery technologies and their current state with respect to the 2030 targets of the EU Integrated Strategic Energy Technology Plan (SET-Plan) Action 7.","lang":"eng"}],"department":[{"_id":"StFr"}],"month":"12","article_processing_charge":"No","external_id":{"isi":["000593857300001"]},"publication":"Journal of Power Sources","date_created":"2020-09-10T10:48:40Z","article_number":"228803","doi":"10.1016/j.jpowsour.2020.228803","title":"Current status and future perspectives of lithium metal batteries","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","acknowledgement":"A.V. and K.T. acknowledge, respectively, the financial support of the Helmholtz Association and BMW AG. J.H. acknowledges the collabo-ration project “Accordo di Collaborazione Quadro 2015” between Uni-versity of  Ferrara (Department of  Chemical and Pharmaceutical Sciences) and Sapienza University of Rome (Department of Chemistry). S.D., H.A. and S.K. thank the Fraunhofer Gesellschaft, Technische Uni-versit ̈at  Dresden and would like to  acknowledge European Union’s Horizon 2020 research and innovation programme under grant agree-ment No 814471. S.A.F. and C.P. are indebted to the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement no. 636069) and IST Austria.","status":"public","quality_controlled":"1","date_updated":"2023-08-22T09:20:37Z","_id":"8361","type":"journal_article","volume":480,"language":[{"iso":"eng"}],"date_published":"2020-12-31T00:00:00Z","author":[{"full_name":"Varzi, Alberto","orcid":"0000-0001-5069-0589","first_name":"Alberto","last_name":"Varzi"},{"orcid":"0000-0001-5394-2323","full_name":"Thanner, Katharina","first_name":"Katharina","last_name":"Thanner"},{"last_name":"Scipioni","full_name":"Scipioni, Roberto","orcid":"0000-0003-1926-421X","first_name":"Roberto"},{"last_name":"Di Lecce","first_name":"Daniele","full_name":"Di Lecce, Daniele"},{"first_name":"Jusef","full_name":"Hassoun, Jusef","last_name":"Hassoun"},{"full_name":"Dörfler, Susanne","first_name":"Susanne","last_name":"Dörfler"},{"last_name":"Altheus","full_name":"Altheus, Holger","first_name":"Holger"},{"last_name":"Kaskel","first_name":"Stefan","full_name":"Kaskel, Stefan"},{"first_name":"Christian","orcid":"0000-0003-0654-0940","full_name":"Prehal, Christian","last_name":"Prehal"},{"first_name":"Stefan Alexander","full_name":"Freunberger, Stefan Alexander","orcid":"0000-0003-2902-5319","last_name":"Freunberger","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425"}]},{"type":"dissertation","_id":"8366","supervisor":[{"orcid":"0000-0001-6511-9385","full_name":"Bickel, Bernd","first_name":"Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel"}],"date_updated":"2024-02-21T12:44:29Z","keyword":["computer-aided design","shape modeling","self-morphing","mechanical engineering"],"status":"public","author":[{"first_name":"Ruslan","orcid":"0000-0001-9819-5077","full_name":"Guseinov, Ruslan","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","last_name":"Guseinov"}],"date_published":"2020-09-21T00:00:00Z","language":[{"iso":"eng"}],"title":"Computational design of curved thin shells: From glass façades to programmable matter","ec_funded":1,"doi":"10.15479/AT:ISTA:8366","degree_awarded":"PhD","date_created":"2020-09-10T16:19:55Z","has_accepted_license":"1","page":"118","project":[{"_id":"24F9549A-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","grant_number":"715767"}],"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.","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"ScienComp"}],"file_date_updated":"2020-09-16T15:11:01Z","month":"09","department":[{"_id":"BeBi"}],"article_processing_charge":"No","related_material":{"record":[{"relation":"research_data","status":"deleted","id":"7151"},{"id":"7262","status":"public","relation":"part_of_dissertation"},{"id":"8562","status":"public","relation":"part_of_dissertation"},{"id":"1001","status":"public","relation":"part_of_dissertation"},{"status":"public","relation":"research_data","id":"8375"}]},"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_version":"Published Version","day":"21","publication_identifier":{"isbn":["978-3-99078-010-7"],"issn":["2663-337X"]},"publisher":"Institute of Science and Technology Austria","file":[{"relation":"main_file","checksum":"f8da89553da36037296b0a80f14ebf50","creator":"rguseino","access_level":"open_access","file_id":"8367","file_size":70950442,"date_created":"2020-09-10T16:11:49Z","file_name":"thesis_rguseinov.pdf","success":1,"date_updated":"2020-09-10T16:11:49Z","content_type":"application/pdf"},{"date_created":"2020-09-11T09:39:48Z","file_size":76207597,"file_name":"thesis_source.zip","content_type":"application/x-zip-compressed","date_updated":"2020-09-16T15:11:01Z","relation":"source_file","checksum":"e8fd944c960c20e0e27e6548af69121d","creator":"rguseino","access_level":"closed","file_id":"8374"}],"citation":{"ieee":"R. Guseinov, “Computational design of curved thin shells: From glass façades to programmable matter,” Institute of Science and Technology Austria, 2020.","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>","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>","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>.","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>.","short":"R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, Institute of Science and Technology Austria, 2020.","ista":"Guseinov R. 2020. Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria."},"alternative_title":["ISTA Thesis"],"publication_status":"published","oa":1,"year":"2020","ddc":["000"]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"_id":"24F9549A-B435-11E9-9278-68D0E5697425","grant_number":"715767","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","call_identifier":"H2020"}],"year":"2020","ddc":["000"],"oa":1,"doi":"10.15479/AT:ISTA:8375","ec_funded":1,"title":"Supplementary data for \"Computational design of curved thin shells: from glass façades to programmable matter\"","citation":{"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>","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.","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>.","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>.","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>","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>.","short":"R. Guseinov, (2020)."},"file":[{"date_updated":"2020-09-11T09:45:21Z","content_type":"video/mp4","file_name":"supplementary_movie_1.mp4","success":1,"date_created":"2020-09-11T09:45:21Z","file_size":29214988,"file_id":"8376","access_level":"open_access","creator":"rguseino","checksum":"4029ffd65fb82ef2366b2fc2a4908e16","relation":"main_file"},{"file_size":28449475,"date_created":"2020-09-11T09:45:25Z","date_updated":"2020-09-11T09:45:25Z","content_type":"video/mp4","success":1,"file_name":"supplementary_movie_2.mp4","creator":"rguseino","checksum":"8ed03b04d80f1a4e622cb22e6100afd8","relation":"main_file","access_level":"open_access","file_id":"8377"},{"file_id":"8378","access_level":"open_access","creator":"rguseino","checksum":"ad6864afb5e694e5c52a88fba4e02eea","relation":"main_file","content_type":"video/mp4","date_updated":"2020-09-11T09:45:28Z","success":1,"file_name":"supplementary_movie_3.mp4","date_created":"2020-09-11T09:45:28Z","file_size":26315853},{"date_created":"2020-09-11T09:45:33Z","file_size":25198755,"content_type":"video/mp4","date_updated":"2020-09-11T09:45:33Z","success":1,"file_name":"supplementary_movie_4.mp4","creator":"rguseino","relation":"main_file","checksum":"b079cef7871fe1afb69af0e2b099f3b1","file_id":"8379","access_level":"open_access"},{"access_level":"open_access","file_id":"8380","relation":"main_file","checksum":"9d1d48a8ed5c109a999c51b044ee523d","creator":"rguseino","success":1,"file_name":"supplementary_movie_5.mp4","date_updated":"2020-09-11T09:45:36Z","content_type":"video/mp4","date_created":"2020-09-11T09:45:36Z","file_size":29011354},{"file_name":"readme.txt","success":1,"content_type":"text/plain","date_updated":"2020-09-11T09:52:36Z","date_created":"2020-09-11T09:52:36Z","file_size":586,"access_level":"open_access","file_id":"8381","checksum":"d414d0059e982d752d218756b3c3ce05","relation":"main_file","creator":"rguseino"}],"date_created":"2020-09-11T09:52:54Z","has_accepted_license":"1","publisher":"Institute of Science and Technology Austria","month":"09","department":[{"_id":"BeBi"}],"date_published":"2020-09-21T00:00:00Z","article_processing_charge":"No","author":[{"first_name":"Ruslan","orcid":"0000-0001-9819-5077","full_name":"Guseinov, Ruslan","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","last_name":"Guseinov"}],"oa_version":"Published Version","day":"21","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."}],"related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"8366"}]},"_id":"8375","date_updated":"2024-02-21T12:44:29Z","type":"research_data","tmp":{"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)","image":"/images/cc_by.png"},"status":"public","file_date_updated":"2020-09-11T09:52:36Z","contributor":[{"first_name":"Ruslan","orcid":"0000-0001-9819-5077","contributor_type":"researcher","last_name":"Guseinov","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Connor","last_name":"McMahan","contributor_type":"researcher"},{"last_name":"Perez Rodriguez","id":"2DC83906-F248-11E8-B48F-1D18A9856A87","contributor_type":"researcher","first_name":"Jesus"},{"first_name":"Chiara","contributor_type":"researcher","last_name":"Daraio"},{"first_name":"Bernd","orcid":"0000-0001-6511-9385","contributor_type":"researcher","last_name":"Bickel","id":"49876194-F248-11E8-B48F-1D18A9856A87"}]},{"_id":"8382","date_updated":"2024-02-28T12:54:30Z","type":"conference","quality_controlled":"1","status":"public","scopus_import":"1","author":[{"id":"3EDE6DE4-AA5A-11E9-986D-341CE6697425","last_name":"Baig","first_name":"Mirza Ahad","full_name":"Baig, Mirza Ahad"},{"full_name":"Hendler, Danny","first_name":"Danny","last_name":"Hendler"},{"full_name":"Milani, Alessia","first_name":"Alessia","last_name":"Milani"},{"first_name":"Corentin","full_name":"Travers, Corentin","last_name":"Travers"}],"date_published":"2020-07-31T00:00:00Z","month":"07","article_processing_charge":"No","language":[{"iso":"eng"}],"abstract":[{"text":"We present the first deterministic wait-free long-lived snapshot algorithm, using only read and write operations, that guarantees polylogarithmic amortized step complexity in all executions. This is the first non-blocking snapshot algorithm, using reads and writes only, that has sub-linear amortized step complexity in executions of arbitrary length. The key to our construction is a novel implementation of a 2-component max array object which may be of independent interest.","lang":"eng"}],"conference":{"end_date":"2020-08-07","name":"PODC: Principles of Distributed Computing","start_date":"2020-08-03","location":"Virtual, Italy"},"oa_version":"Preprint","day":"31","publication_identifier":{"isbn":["9781450375825"]},"title":"Long-lived snapshots with polylogarithmic amortized step complexity","doi":"10.1145/3382734.3406005","date_created":"2020-09-13T22:01:17Z","publication":"Proceedings of the 39th Symposium on Principles of Distributed Computing","publisher":"Association for Computing Machinery","citation":{"ieee":"M. A. Baig, D. Hendler, A. Milani, and C. Travers, “Long-lived snapshots with polylogarithmic amortized step complexity,” in <i>Proceedings of the 39th Symposium on Principles of Distributed Computing</i>, Virtual, Italy, 2020, pp. 31–40.","apa":"Baig, M. A., Hendler, D., Milani, A., &#38; Travers, C. (2020). Long-lived snapshots with polylogarithmic amortized step complexity. In <i>Proceedings of the 39th Symposium on Principles of Distributed Computing</i> (pp. 31–40). Virtual, Italy: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3382734.3406005\">https://doi.org/10.1145/3382734.3406005</a>","short":"M.A. Baig, D. Hendler, A. Milani, C. Travers, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 31–40.","ista":"Baig MA, Hendler D, Milani A, Travers C. 2020. Long-lived snapshots with polylogarithmic amortized step complexity. Proceedings of the 39th Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing, 31–40.","ama":"Baig MA, Hendler D, Milani A, Travers C. Long-lived snapshots with polylogarithmic amortized step complexity. In: <i>Proceedings of the 39th Symposium on Principles of Distributed Computing</i>. Association for Computing Machinery; 2020:31-40. doi:<a href=\"https://doi.org/10.1145/3382734.3406005\">10.1145/3382734.3406005</a>","chicago":"Baig, Mirza Ahad, Danny Hendler, Alessia Milani, and Corentin Travers. “Long-Lived Snapshots with Polylogarithmic Amortized Step Complexity.” In <i>Proceedings of the 39th Symposium on Principles of Distributed Computing</i>, 31–40. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3382734.3406005\">https://doi.org/10.1145/3382734.3406005</a>.","mla":"Baig, Mirza Ahad, et al. “Long-Lived Snapshots with Polylogarithmic Amortized Step Complexity.” <i>Proceedings of the 39th Symposium on Principles of Distributed Computing</i>, Association for Computing Machinery, 2020, pp. 31–40, doi:<a href=\"https://doi.org/10.1145/3382734.3406005\">10.1145/3382734.3406005</a>."},"page":"31-40","main_file_link":[{"url":"https://hal.archives-ouvertes.fr/hal-02860087/document","open_access":"1"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"publication_status":"published","year":"2020"},{"article_processing_charge":"No","month":"07","date_published":"2020-07-31T00:00:00Z","department":[{"_id":"DaAl"}],"author":[{"last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X"},{"last_name":"Aspnes","first_name":"James","full_name":"Aspnes, James"},{"last_name":"Ellen","full_name":"Ellen, Faith","first_name":"Faith"},{"first_name":"Rati","full_name":"Gelashvili, Rati","last_name":"Gelashvili"},{"first_name":"Leqi","full_name":"Zhu, Leqi","last_name":"Zhu"}],"scopus_import":"1","day":"31","conference":{"end_date":"2020-08-07","name":"PODC: Principles of Distributed Computing","start_date":"2020-08-03","location":"Virtual, Italy"},"oa_version":"None","abstract":[{"text":"We introduce extension-based proofs, a class of impossibility proofs that includes valency arguments. They are modelled as an interaction between a prover and a protocol. Using proofs based on combinatorial topology, it has been shown that it is impossible to deterministically solve k-set agreement among n > k ≥ 2 processes in a wait-free manner. However, it was unknown whether proofs based on simpler techniques were possible. We explain why this impossibility result cannot be obtained by an extension-based proof and, hence, extension-based proofs are limited in power.","lang":"eng"}],"language":[{"iso":"eng"}],"_id":"8383","date_updated":"2024-02-28T12:54:19Z","type":"conference","status":"public","quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2020","publication_status":"published","doi":"10.1145/3382734.3405743","title":"Brief Announcement: Why Extension-Based Proofs Fail","publication_identifier":{"isbn":["9781450375825"]},"page":"54-56","citation":{"apa":"Alistarh, D.-A., Aspnes, J., Ellen, F., Gelashvili, R., &#38; Zhu, L. (2020). Brief Announcement: Why Extension-Based Proofs Fail. In <i>Proceedings of the 39th Symposium on Principles of Distributed Computing</i> (pp. 54–56). Virtual, Italy: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3382734.3405743\">https://doi.org/10.1145/3382734.3405743</a>","ieee":"D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, and L. Zhu, “Brief Announcement: Why Extension-Based Proofs Fail,” in <i>Proceedings of the 39th Symposium on Principles of Distributed Computing</i>, Virtual, Italy, 2020, pp. 54–56.","mla":"Alistarh, Dan-Adrian, et al. “Brief Announcement: Why Extension-Based Proofs Fail.” <i>Proceedings of the 39th Symposium on Principles of Distributed Computing</i>, Association for Computing Machinery, 2020, pp. 54–56, doi:<a href=\"https://doi.org/10.1145/3382734.3405743\">10.1145/3382734.3405743</a>.","chicago":"Alistarh, Dan-Adrian, James Aspnes, Faith Ellen, Rati Gelashvili, and Leqi Zhu. “Brief Announcement: Why Extension-Based Proofs Fail.” In <i>Proceedings of the 39th Symposium on Principles of Distributed Computing</i>, 54–56. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3382734.3405743\">https://doi.org/10.1145/3382734.3405743</a>.","ama":"Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. Brief Announcement: Why Extension-Based Proofs Fail. In: <i>Proceedings of the 39th Symposium on Principles of Distributed Computing</i>. Association for Computing Machinery; 2020:54-56. doi:<a href=\"https://doi.org/10.1145/3382734.3405743\">10.1145/3382734.3405743</a>","ista":"Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2020. Brief Announcement: Why Extension-Based Proofs Fail. Proceedings of the 39th Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing, 54–56.","short":"D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 54–56."},"publisher":"Association for Computing Machinery","date_created":"2020-09-13T22:01:18Z","publication":"Proceedings of the 39th Symposium on Principles of Distributed Computing"},{"article_processing_charge":"No","department":[{"_id":"ChWo"}],"month":"07","abstract":[{"lang":"eng","text":"Previous research on animations of soap bubbles, films, and foams largely focuses on the motion and geometric shape of the bubble surface. These works neglect the evolution of the bubble’s thickness, which is normally responsible for visual phenomena like surface vortices, Newton’s interference patterns, capillary waves, and deformation-dependent rupturing of films in a foam. In this paper, we model these natural phenomena by introducing the film thickness as a reduced degree of freedom in the Navier-Stokes equations and deriving their equations of motion. We discretize the equations on a nonmanifold triangle mesh surface and couple it to an existing bubble solver. In doing so, we also introduce an incompressible fluid solver for 2.5D films and a novel advection algorithm for convecting fields across non-manifold surface junctions. Our simulations enhance state-of-the-art bubble solvers with additional effects caused by convection, rippling, draining, and evaporation of the thin film."}],"article_type":"original","issue":"4","day":"08","oa_version":"Submitted Version","acknowledged_ssus":[{"_id":"ScienComp"}],"isi":1,"file_date_updated":"2020-11-23T09:03:19Z","main_file_link":[{"url":"https://doi.org/10.1145/3386569.3392405","open_access":"1"}],"oa":1,"publication_status":"published","ddc":["000"],"year":"2020","publication_identifier":{"issn":["07300301"],"eissn":["15577368"]},"intvolume":"        39","publisher":"Association for Computing Machinery","citation":{"mla":"Ishida, Sadashige, et al. “A Model for Soap Film Dynamics with Evolving Thickness.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, 31, Association for Computing Machinery, 2020, doi:<a href=\"https://doi.org/10.1145/3386569.3392405\">10.1145/3386569.3392405</a>.","ama":"Ishida S, Synak P, Narita F, Hachisuka T, Wojtan C. A model for soap film dynamics with evolving thickness. <i>ACM Transactions on Graphics</i>. 2020;39(4). doi:<a href=\"https://doi.org/10.1145/3386569.3392405\">10.1145/3386569.3392405</a>","chicago":"Ishida, Sadashige, Peter Synak, Fumiya Narita, Toshiya Hachisuka, and Chris Wojtan. “A Model for Soap Film Dynamics with Evolving Thickness.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3386569.3392405\">https://doi.org/10.1145/3386569.3392405</a>.","ista":"Ishida S, Synak P, Narita F, Hachisuka T, Wojtan C. 2020. A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. 39(4), 31.","short":"S. Ishida, P. Synak, F. Narita, T. Hachisuka, C. Wojtan, ACM Transactions on Graphics 39 (2020).","apa":"Ishida, S., Synak, P., Narita, F., Hachisuka, T., &#38; Wojtan, C. (2020). A model for soap film dynamics with evolving thickness. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3386569.3392405\">https://doi.org/10.1145/3386569.3392405</a>","ieee":"S. Ishida, P. Synak, F. Narita, T. Hachisuka, and C. Wojtan, “A model for soap film dynamics with evolving thickness,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4. Association for Computing Machinery, 2020."},"file":[{"access_level":"open_access","file_id":"8795","relation":"main_file","checksum":"813831ca91319d794d9748c276b24578","creator":"dernst","success":1,"file_name":"2020_soapfilm_submitted.pdf","content_type":"application/pdf","date_updated":"2020-11-23T09:03:19Z","file_size":14935529,"date_created":"2020-11-23T09:03:19Z"}],"author":[{"full_name":"Ishida, Sadashige","first_name":"Sadashige","id":"6F7C4B96-A8E9-11E9-A7CA-09ECE5697425","last_name":"Ishida"},{"last_name":"Synak","id":"331776E2-F248-11E8-B48F-1D18A9856A87","full_name":"Synak, Peter","first_name":"Peter"},{"last_name":"Narita","full_name":"Narita, Fumiya","first_name":"Fumiya"},{"first_name":"Toshiya","full_name":"Hachisuka, Toshiya","last_name":"Hachisuka"},{"last_name":"Wojtan","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","full_name":"Wojtan, Christopher J","orcid":"0000-0001-6646-5546","first_name":"Christopher J"}],"scopus_import":"1","date_published":"2020-07-08T00:00:00Z","language":[{"iso":"eng"}],"volume":39,"_id":"8384","date_updated":"2024-02-28T12:57:31Z","type":"journal_article","quality_controlled":"1","status":"public","project":[{"_id":"2533E772-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"638176","name":"Efficient Simulation of Natural Phenomena at Extremely Large Scales"}],"acknowledgement":"We wish to thank the anonymous reviewers and the members of the Visual Computing Group at IST Austria for their valuable feedback, especially Camille Schreck for her help in rendering. This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by Scientific Computing. We would like to thank the authors of [Belcour and Barla 2017] for providing their implementation, the authors of [Atkins and Elliott 2010] and [Seychelles et al. 2008] for allowing us to use their results, and Rok Grah for helpful discussions. Finally, we thank Ryoichi Ando for many discussions from the beginning of the project that resulted in important contents of the paper including our formulation, numerical scheme, and initial implementation. This project has received funding from the\r\nEuropean Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 638176.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"A model for soap film dynamics with evolving thickness","ec_funded":1,"doi":"10.1145/3386569.3392405","article_number":"31","has_accepted_license":"1","date_created":"2020-09-13T22:01:18Z","publication":"ACM Transactions on Graphics","external_id":{"isi":["000583700300004"]}},{"month":"07","department":[{"_id":"ChWo"}],"article_processing_charge":"No","article_type":"original","abstract":[{"lang":"eng","text":"We present a method for animating yarn-level cloth effects using a thin-shell solver. We accomplish this through numerical homogenization: we first use a large number of yarn-level simulations to build a model of the potential energy density of the cloth, and then use this energy density function to compute forces in a thin shell simulator. We model several yarn-based materials, including both woven and knitted fabrics. Our model faithfully reproduces expected effects like the stiffness of woven fabrics, and the highly deformable nature and anisotropy of knitted fabrics. Our approach does not require any real-world experiments nor measurements; because the method is based entirely on simulations, it can generate entirely new material models quickly, without the need for testing apparatuses or human intervention. We provide data-driven models of several woven and knitted fabrics, which can be used for efficient simulation with an off-the-shelf cloth solver."}],"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"12358"}]},"oa_version":"Submitted Version","day":"08","issue":"4","acknowledged_ssus":[{"_id":"ScienComp"}],"isi":1,"file_date_updated":"2020-11-23T09:01:22Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3386569.3392412"}],"publication_status":"published","oa":1,"year":"2020","ddc":["000"],"publication_identifier":{"eissn":["15577368"],"issn":["07300301"]},"intvolume":"        39","publisher":"Association for Computing Machinery","citation":{"mla":"Sperl, Georg, et al. “Homogenized Yarn-Level Cloth.” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4, 48, Association for Computing Machinery, 2020, doi:<a href=\"https://doi.org/10.1145/3386569.3392412\">10.1145/3386569.3392412</a>.","chicago":"Sperl, Georg, Rahul Narain, and Chris Wojtan. “Homogenized Yarn-Level Cloth.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3386569.3392412\">https://doi.org/10.1145/3386569.3392412</a>.","ama":"Sperl G, Narain R, Wojtan C. Homogenized yarn-level cloth. <i>ACM Transactions on Graphics</i>. 2020;39(4). doi:<a href=\"https://doi.org/10.1145/3386569.3392412\">10.1145/3386569.3392412</a>","ista":"Sperl G, Narain R, Wojtan C. 2020. Homogenized yarn-level cloth. ACM Transactions on Graphics. 39(4), 48.","short":"G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 39 (2020).","apa":"Sperl, G., Narain, R., &#38; Wojtan, C. (2020). Homogenized yarn-level cloth. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3386569.3392412\">https://doi.org/10.1145/3386569.3392412</a>","ieee":"G. Sperl, R. Narain, and C. Wojtan, “Homogenized yarn-level cloth,” <i>ACM Transactions on Graphics</i>, vol. 39, no. 4. Association for Computing Machinery, 2020."},"file":[{"date_created":"2020-11-23T09:01:22Z","file_size":38922662,"file_name":"2020_hylc_submitted.pdf","success":1,"date_updated":"2020-11-23T09:01:22Z","content_type":"application/pdf","relation":"main_file","checksum":"cf4c1d361c3196c4bd424520a5588205","creator":"dernst","access_level":"open_access","file_id":"8794"}],"scopus_import":"1","author":[{"last_name":"Sperl","id":"4DD40360-F248-11E8-B48F-1D18A9856A87","first_name":"Georg","full_name":"Sperl, Georg"},{"full_name":"Narain, Rahul","first_name":"Rahul","last_name":"Narain"},{"first_name":"Christopher J","orcid":"0000-0001-6646-5546","full_name":"Wojtan, Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","last_name":"Wojtan"}],"date_published":"2020-07-08T00:00:00Z","language":[{"iso":"eng"}],"volume":39,"date_updated":"2024-02-28T12:57:47Z","_id":"8385","type":"journal_article","quality_controlled":"1","status":"public","project":[{"_id":"2533E772-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Efficient Simulation of Natural Phenomena at Extremely Large Scales","grant_number":"638176"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"We wish to thank the anonymous reviewers and the members of the Visual Computing Group at IST Austria for their valuable feedback. We also thank the creators of the Berkeley Garment Library [de Joya et al. 2012] for providing garment meshes, [Krishnamurthy and Levoy 1996] and [Turk and Levoy 1994] for the armadillo and bunny meshes, the creators of libWetCloth [Fei et al. 2018] for their implementation of discrete elastic rod forces, and Tomáš Skřivan for\r\ninspiring discussions and help with Mathematica code generation. This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by Scientific Computing. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 638176. Rahul Narain is supported by a Pankaj Gupta Young Faculty Fellowship and a gift from Adobe Inc.","ec_funded":1,"title":"Homogenized yarn-level cloth","doi":"10.1145/3386569.3392412","publication":"ACM Transactions on Graphics","date_created":"2020-09-13T22:01:18Z","has_accepted_license":"1","article_number":"48","external_id":{"isi":["000583700300021"]}}]