--- OA_place: publisher _id: '8574' abstract: - lang: eng text: "This thesis concerns itself with the interactions of evolutionary and ecological forces and the consequences on genetic diversity and the ultimate survival of populations. It is important to understand what signals processes \r\nleave on the genome and what we can infer from such data, which is usually abundant but noisy. Furthermore, understanding how and when populations adapt or go extinct is important for practical purposes, such as the genetic management of populations, as well as for theoretical questions, since local adaptation can be the first step toward speciation. \r\nIn Chapter 2, we introduce the method of maximum entropy to approximate the demographic changes of a population in a simple setting, namely the logistic growth model with immigration. We show that this method is not only a powerful \r\ntool in physics but can be gainfully applied in an ecological framework. We investigate how well it approximates the real \r\nbehavior of the system, and find that is does so, even in unexpected situations. Finally, we illustrate how it can model changing environments.\r\nIn Chapter 3, we analyze the co-evolution of allele frequencies and population sizes in an infinite island model.\r\nWe give conditions under which polygenic adaptation to a rare habitat is possible. The model we use is based on the diffusion approximation, considers eco-evolutionary feedback mechanisms (hard selection), and treats both \r\ndrift and environmental fluctuations explicitly. We also look at limiting scenarios, for which we derive analytical expressions. \r\nIn Chapter 4, we present a coalescent based simulation tool to obtain patterns of diversity in a spatially explicit subdivided population, in which the demographic history of each subpopulation can be specified. We compare \r\nthe results to existing predictions, and explore the relative importance of time and space under a variety of spatial arrangements and demographic histories, such as expansion and extinction. \r\nIn the last chapter, we give a brief outlook to further research. " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Eniko full_name: Szep, Eniko id: 485BB5A4-F248-11E8-B48F-1D18A9856A87 last_name: Szep citation: ama: Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574 apa: Szep, E. (2020). Local adaptation in metapopulations. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8574 chicago: Szep, Eniko. “Local Adaptation in Metapopulations.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8574. ieee: E. Szep, “Local adaptation in metapopulations,” Institute of Science and Technology Austria, 2020. ista: Szep E. 2020. Local adaptation in metapopulations. Institute of Science and Technology Austria. mla: Szep, Eniko. Local Adaptation in Metapopulations. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8574. short: E. Szep, Local Adaptation in Metapopulations, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-09-28T07:33:38Z date_published: 2020-09-20T00:00:00Z date_updated: 2026-04-08T07:21:44Z day: '20' ddc: - '570' degree_awarded: PhD department: - _id: NiBa doi: 10.15479/AT:ISTA:8574 file: - access_level: open_access checksum: 20e71f015fbbd78fea708893ad634ed0 content_type: application/pdf creator: dernst date_created: 2020-09-28T07:25:35Z date_updated: 2020-09-28T07:25:35Z file_id: '8575' file_name: thesis_EnikoSzep_final.pdf file_size: 6354833 relation: main_file success: 1 - access_level: closed checksum: a8de2c14a1bb4e53c857787efbb289e1 content_type: application/x-zip-compressed creator: dernst date_created: 2020-09-28T07:25:37Z date_updated: 2020-09-28T07:25:37Z file_id: '8576' file_name: thesisFiles_EnikoSzep.zip file_size: 23020401 relation: source_file file_date_updated: 2020-09-28T07:25:37Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '158' publication_identifier: eissn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria status: public supervisor: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 title: Local adaptation in metapopulations type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- OA_place: publisher _id: '7629' abstract: - lang: eng text: "This thesis is based on three main topics: In the first part, we study convergence of discrete gradient flow structures associated with regular finite-volume discretisations of Fokker-Planck equations. We show evolutionary I convergence of the discrete gradient flows to the L2-Wasserstein gradient flow corresponding to the solution of a Fokker-Planck\r\nequation in arbitrary dimension d >= 1. Along the argument, we prove Mosco- and I-convergence results for discrete energy functionals, which are of independent interest for convergence of equivalent gradient flow structures in Hilbert spaces.\r\nThe second part investigates L2-Wasserstein flows on metric graph. The starting point is a Benamou-Brenier formula for the L2-Wasserstein distance, which is proved via a regularisation scheme for solutions of the continuity equation, adapted to the peculiar geometric structure of metric graphs. Based on those results, we show that the L2-Wasserstein space over a metric graph admits a gradient flow which may be identified as a solution of a Fokker-Planck equation.\r\nIn the third part, we focus again on the discrete gradient flows, already encountered in the first part. We propose a variational structure which extends the gradient flow structure to Markov chains violating the detailed-balance conditions. Using this structure, we characterise contraction estimates for the discrete heat flow in terms of convexity of\r\ncorresponding path-dependent energy functionals. In addition, we use this approach to derive several functional inequalities for said functionals." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Dominik L full_name: Forkert, Dominik L id: 35C79D68-F248-11E8-B48F-1D18A9856A87 last_name: Forkert citation: ama: Forkert DL. Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. 2020. doi:10.15479/AT:ISTA:7629 apa: Forkert, D. L. (2020). Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7629 chicago: Forkert, Dominik L. “Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7629. ieee: D. L. Forkert, “Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains,” Institute of Science and Technology Austria, 2020. ista: Forkert DL. 2020. Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. Institute of Science and Technology Austria. mla: Forkert, Dominik L. Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7629. short: D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-04-02T06:40:23Z date_published: 2020-03-31T00:00:00Z date_updated: 2026-04-08T07:22:00Z day: '31' ddc: - '510' degree_awarded: PhD department: - _id: JaMa doi: 10.15479/AT:ISTA:7629 ec_funded: 1 file: - access_level: open_access checksum: c814a1a6195269ca6fe48b0dca45ae8a content_type: application/pdf creator: dernst date_created: 2020-04-14T10:47:59Z date_updated: 2020-07-14T12:48:01Z file_id: '7657' file_name: Thesis_Forkert_PDFA.pdf file_size: 3297129 relation: main_file - access_level: closed checksum: ceafb53f923d1b5bdf14b2b0f22e4a81 content_type: application/x-zip-compressed creator: dernst date_created: 2020-04-14T10:47:59Z date_updated: 2020-07-14T12:48:01Z file_id: '7658' file_name: Thesis_Forkert_source.zip file_size: 1063908 relation: source_file file_date_updated: 2020-07-14T12:48:01Z has_accepted_license: '1' language: - iso: eng month: '03' oa: 1 oa_version: Published Version page: '154' project: - _id: 256E75B8-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '716117' name: Optimal Transport and Stochastic Dynamics publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria status: public supervisor: - first_name: Jan full_name: Maas, Jan id: 4C5696CE-F248-11E8-B48F-1D18A9856A87 last_name: Maas orcid: 0000-0002-0845-1338 title: Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- OA_place: publisher _id: '8032' abstract: - lang: eng text: "Algorithms in computational 3-manifold topology typically take a triangulation as an input and return topological information about the underlying 3-manifold. However, extracting the desired information from a triangulation (e.g., evaluating an invariant) is often computationally very expensive. In recent years this complexity barrier has been successfully tackled in some cases by importing ideas from the theory of parameterized algorithms into the realm of 3-manifolds. Various computationally hard problems were shown to be efficiently solvable for input triangulations that are sufficiently “tree-like.”\r\nIn this thesis we focus on the key combinatorial parameter in the above context: we consider the treewidth of a compact, orientable 3-manifold, i.e., the smallest treewidth of the dual graph of any triangulation thereof. By building on the work of Scharlemann–Thompson and Scharlemann–Schultens–Saito on generalized Heegaard splittings, and on the work of Jaco–Rubinstein on layered triangulations, we establish quantitative relations between the treewidth and classical topological invariants of a 3-manifold. In particular, among other results, we show that the treewidth of a closed, orientable, irreducible, non-Haken 3-manifold is always within a constant factor of its Heegaard genus." acknowledged_ssus: - _id: E-Lib - _id: CampIT alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Kristóf full_name: Huszár, Kristóf id: 33C26278-F248-11E8-B48F-1D18A9856A87 last_name: Huszár orcid: 0000-0002-5445-5057 citation: ama: Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:10.15479/AT:ISTA:8032 apa: Huszár, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8032 chicago: Huszár, Kristóf. “Combinatorial Width Parameters for 3-Dimensional Manifolds.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8032. ieee: K. Huszár, “Combinatorial width parameters for 3-dimensional manifolds,” Institute of Science and Technology Austria, 2020. ista: Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria. mla: Huszár, Kristóf. Combinatorial Width Parameters for 3-Dimensional Manifolds. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8032. short: K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-06-26T10:00:36Z date_published: 2020-06-26T00:00:00Z date_updated: 2026-04-08T07:21:28Z day: '26' ddc: - '514' degree_awarded: PhD department: - _id: UlWa doi: 10.15479/AT:ISTA:8032 file: - access_level: open_access checksum: bd8be6e4f1addc863dfcc0fad29ee9c3 content_type: application/pdf creator: khuszar date_created: 2020-06-26T10:03:58Z date_updated: 2020-07-14T12:48:08Z file_id: '8034' file_name: Kristof_Huszar-Thesis.pdf file_size: 2637562 relation: main_file - access_level: closed checksum: d5f8456202b32f4a77552ef47a2837d1 content_type: application/x-zip-compressed creator: khuszar date_created: 2020-06-26T10:10:06Z date_updated: 2020-07-14T12:48:08Z file_id: '8035' file_name: Kristof_Huszar-Thesis-source.zip file_size: 7163491 relation: source_file file_date_updated: 2020-07-14T12:48:08Z has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '06' oa: 1 oa_version: Published Version page: xviii+120 publication_identifier: isbn: - 978-3-99078-006-0 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '6556' relation: dissertation_contains status: public - id: '7093' relation: dissertation_contains status: public status: public supervisor: - first_name: Uli full_name: Wagner, Uli id: 36690CA2-F248-11E8-B48F-1D18A9856A87 last_name: Wagner orcid: 0000-0002-1494-0568 - first_name: Jonathan full_name: Spreer, Jonathan last_name: Spreer title: Combinatorial width parameters for 3-dimensional manifolds tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- OA_place: publisher _id: '8353' abstract: - lang: eng 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." acknowledged_ssus: - _id: LifeSc - _id: EM-Fac - _id: ScienComp 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." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Julia full_name: Steiner, Julia id: 3BB67EB0-F248-11E8-B48F-1D18A9856A87 last_name: Steiner orcid: 0000-0003-0493-3775 citation: ama: Steiner J. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. 2020. doi:10.15479/AT:ISTA:8353 apa: Steiner, J. (2020). Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8353 chicago: Steiner, Julia. “Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8353. ieee: 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. mla: Steiner, Julia. Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8353. short: J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-09-09T14:27:01Z date_published: 2020-09-09T00:00:00Z date_updated: 2026-04-08T07:23:36Z day: '09' ddc: - '572' degree_awarded: PhD department: - _id: LeSa doi: 10.15479/AT:ISTA:8353 file: - access_level: open_access checksum: 2388d7e6e7a4d364c096fa89f305c3de content_type: application/pdf creator: jsteiner date_created: 2020-09-09T14:22:35Z date_updated: 2021-09-16T12:40:56Z file_id: '8354' file_name: Thesis_Julia_Steiner_pdfA.pdf file_size: 117547589 relation: main_file - access_level: closed checksum: ba112f957b7145462d0ab79044873ee9 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: jsteiner date_created: 2020-09-09T14:23:25Z date_updated: 2020-09-15T08:48:37Z file_id: '8355' file_name: Thesis_Julia_Steiner.docx file_size: 223328668 relation: source_file file_date_updated: 2021-09-16T12:40:56Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: None page: '191' project: - _id: 26169496-B435-11E9-9278-68D0E5697425 grant_number: '24741' name: Revealing the functional mechanism of Mrp antiporter, an ancestor of complex I publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '8284' relation: part_of_dissertation status: public status: public supervisor: - first_name: Leonid A full_name: Sazanov, Leonid A id: 338D39FE-F248-11E8-B48F-1D18A9856A87 last_name: Sazanov orcid: 0000-0002-0977-7989 title: Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- OA_place: publisher _id: '8332' 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." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Bernhard full_name: Kragl, Bernhard id: 320FC952-F248-11E8-B48F-1D18A9856A87 last_name: Kragl orcid: 0000-0001-7745-9117 citation: ama: 'Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332' apa: 'Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8332' chicago: 'Kragl, Bernhard. “Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8332.' ieee: 'B. Kragl, “Verifying concurrent programs: Refinement, synchronization, sequentialization,” Institute of Science and Technology Austria, 2020.' ista: 'Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria.' mla: 'Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8332.' short: 'B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.' corr_author: '1' date_created: 2020-09-04T12:24:12Z date_published: 2020-09-03T00:00:00Z date_updated: 2026-04-08T07:23:53Z day: '03' ddc: - '000' degree_awarded: PhD department: - _id: ToHe doi: 10.15479/AT:ISTA:8332 file: - access_level: open_access checksum: 26fe261550f691280bda4c454bf015c7 content_type: application/pdf creator: bkragl date_created: 2020-09-04T12:17:47Z date_updated: 2020-09-04T12:17:47Z file_id: '8333' file_name: kragl-thesis.pdf file_size: 1348815 relation: main_file - access_level: closed checksum: b9694ce092b7c55557122adba8337ebc content_type: application/zip creator: bkragl date_created: 2020-09-04T13:00:17Z date_updated: 2020-09-04T13:00:17Z file_id: '8335' file_name: kragl-thesis.zip file_size: 372312 relation: source_file file_date_updated: 2020-09-04T13:00:17Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '120' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '8012' relation: part_of_dissertation status: public - id: '8195' relation: part_of_dissertation status: public - id: '133' relation: part_of_dissertation status: public - id: '160' relation: part_of_dissertation status: public status: public supervisor: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 title: 'Verifying concurrent programs: Refinement, synchronization, sequentialization' type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- _id: '8284' abstract: - lang: eng text: Multiple resistance and pH adaptation (Mrp) antiporters are multi-subunit Na+ (or K+)/H+ exchangers representing an ancestor of many essential redox-driven proton pumps, such as respiratory complex I. The mechanism of coupling between ion or electron transfer and proton translocation in this large protein family is unknown. Here, we present the structure of the Mrp complex from Anoxybacillus flavithermus solved by cryo-EM at 3.0 Å resolution. It is a dimer of seven-subunit protomers with 50 trans-membrane helices each. Surface charge distribution within each monomer is remarkably asymmetric, revealing probable proton and sodium translocation pathways. On the basis of the structure we propose a mechanism where the coupling between sodium and proton translocation is facilitated by a series of electrostatic interactions between a cation and key charged residues. This mechanism is likely to be applicable to the entire family of redox proton pumps, where electron transfer to substrates replaces cation movements. acknowledged_ssus: - _id: EM-Fac - _id: LifeSc acknowledgement: This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by the Electron Microscopy Facility (EMF), the Life Science Facility (LSF) and the IST high-performance computing cluster. We thank Dr Victor-Valentin Hodirnau and Daniel Johann Gütl from IST Austria for assistance with collecting cryo-EM data. We thank Prof. Masahiro Ito (Graduate School of Life Sciences, Toyo University, Japan) for a kind provision of plasmid DNA encoding Mrp from A. flavithermus WK1. JS is a recipient of a DOC Fellowship of the Austrian Academy of Sciences at the Institute of Science and Technology, Austria. article_number: e59407 article_processing_charge: No article_type: original author: - first_name: Julia full_name: Steiner, Julia id: 3BB67EB0-F248-11E8-B48F-1D18A9856A87 last_name: Steiner orcid: 0000-0003-0493-3775 - first_name: Leonid A full_name: Sazanov, Leonid A id: 338D39FE-F248-11E8-B48F-1D18A9856A87 last_name: Sazanov orcid: 0000-0002-0977-7989 citation: ama: Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 2020;9. doi:10.7554/eLife.59407 apa: Steiner, J., & Sazanov, L. A. (2020). Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.59407 chicago: Steiner, Julia, and Leonid A Sazanov. “Structure and Mechanism of the Mrp Complex, an Ancient Cation/Proton Antiporter.” ELife. eLife Sciences Publications, 2020. https://doi.org/10.7554/eLife.59407. ieee: J. Steiner and L. A. Sazanov, “Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter,” eLife, vol. 9. eLife Sciences Publications, 2020. ista: Steiner J, Sazanov LA. 2020. Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. eLife. 9, e59407. mla: Steiner, Julia, and Leonid A. Sazanov. “Structure and Mechanism of the Mrp Complex, an Ancient Cation/Proton Antiporter.” ELife, vol. 9, e59407, eLife Sciences Publications, 2020, doi:10.7554/eLife.59407. short: J. Steiner, L.A. Sazanov, ELife 9 (2020). date_created: 2020-08-24T06:24:04Z date_published: 2020-07-31T00:00:00Z date_updated: 2026-04-08T07:23:36Z day: '31' ddc: - '570' department: - _id: LeSa doi: 10.7554/eLife.59407 external_id: isi: - '000562123600001' pmid: - '32735215' file: - access_level: open_access checksum: b3656d14d5ddbb9d26e3074eea2d0c15 content_type: application/pdf creator: cziletti date_created: 2020-08-24T13:31:53Z date_updated: 2020-08-24T13:31:53Z file_id: '8289' file_name: 2020_eLife_Steiner.pdf file_size: 7320493 relation: main_file success: 1 file_date_updated: 2020-08-24T13:31:53Z has_accepted_license: '1' intvolume: ' 9' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 26169496-B435-11E9-9278-68D0E5697425 grant_number: '24741' name: Revealing the functional mechanism of Mrp antiporter, an ancestor of complex I publication: eLife publication_identifier: eissn: - 2050-084X publication_status: published publisher: eLife Sciences Publications quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/mystery-of-giant-proton-pump-solved/ record: - id: '8353' relation: dissertation_contains status: public scopus_import: '1' status: public title: Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd volume: 9 year: '2020' ... --- OA_place: publisher _id: '7460' abstract: - lang: eng text: "Many methods for the reconstruction of shapes from sets of points produce ordered simplicial complexes, which are collections of vertices, edges, triangles, and their higher-dimensional analogues, called simplices, in which every simplex gets assigned a real value measuring its size. This thesis studies ordered simplicial complexes, with a focus on their topology, which reflects the connectedness of the represented shapes and the presence of holes. We are interested both in understanding better the structure of these complexes, as well as in developing algorithms for applications.\r\n\r\nFor the Delaunay triangulation, the most popular measure for a simplex is the radius of the smallest empty circumsphere. Based on it, we revisit Alpha and Wrap complexes and experimentally determine their probabilistic properties for random data. Also, we prove the existence of tri-partitions, propose algorithms to open and close holes, and extend the concepts from Euclidean to Bregman geometries." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Katharina full_name: Ölsböck, Katharina id: 4D4AA390-F248-11E8-B48F-1D18A9856A87 last_name: Ölsböck orcid: 0000-0002-4672-8297 citation: ama: Ölsböck K. The hole system of triangulated shapes. 2020. doi:10.15479/AT:ISTA:7460 apa: Ölsböck, K. (2020). The hole system of triangulated shapes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7460 chicago: Ölsböck, Katharina. “The Hole System of Triangulated Shapes.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7460. ieee: K. Ölsböck, “The hole system of triangulated shapes,” Institute of Science and Technology Austria, 2020. ista: Ölsböck K. 2020. The hole system of triangulated shapes. Institute of Science and Technology Austria. mla: Ölsböck, Katharina. The Hole System of Triangulated Shapes. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7460. short: K. Ölsböck, The Hole System of Triangulated Shapes, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-02-06T14:56:53Z date_published: 2020-02-10T00:00:00Z date_updated: 2026-04-08T07:23:21Z day: '10' ddc: - '514' degree_awarded: PhD department: - _id: HeEd - _id: GradSch doi: 10.15479/AT:ISTA:7460 file: - access_level: open_access checksum: 1df9f8c530b443c0e63a3f2e4fde412e content_type: application/pdf creator: koelsboe date_created: 2020-02-06T14:43:54Z date_updated: 2020-07-14T12:47:58Z file_id: '7461' file_name: thesis_ist-final_noack.pdf file_size: 76195184 relation: main_file - access_level: closed checksum: 7a52383c812b0be64d3826546509e5a4 content_type: application/x-zip-compressed creator: koelsboe date_created: 2020-02-06T14:52:45Z date_updated: 2020-07-14T12:47:58Z description: latex source files, figures file_id: '7462' file_name: latex-files.zip file_size: 122103715 relation: source_file file_date_updated: 2020-07-14T12:47:58Z has_accepted_license: '1' keyword: - shape reconstruction - hole manipulation - ordered complexes - Alpha complex - Wrap complex - computational topology - Bregman geometry language: - iso: eng license: https://creativecommons.org/licenses/by-nc-sa/4.0/ month: '02' oa: 1 oa_version: Published Version page: '155' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '6608' relation: part_of_dissertation status: public status: public supervisor: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 title: The hole system of triangulated shapes tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- _id: '8195' abstract: - lang: eng text: This paper presents a foundation for refining concurrent programs with structured control flow. The verification problem is decomposed into subproblems that aid interactive program development, proof reuse, and automation. The formalization in this paper is the basis of a new design and implementation of the Civl verifier. acknowledgement: "Bernhard Kragl and Thomas A. Henzinger were supported by\r\nthe Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award)." alternative_title: - LNCS article_processing_charge: No author: - first_name: Bernhard full_name: Kragl, Bernhard id: 320FC952-F248-11E8-B48F-1D18A9856A87 last_name: Kragl orcid: 0000-0001-7745-9117 - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 citation: ama: 'Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14' apa: Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14 chicago: Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In Computer Aided Verification, 12224:275–98. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53288-8_14. ieee: B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298. ista: Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298. mla: Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14. short: B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298. corr_author: '1' date_created: 2020-08-03T11:45:35Z date_published: 2020-07-14T00:00:00Z date_updated: 2026-04-08T07:23:52Z day: '14' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-030-53288-8_14 external_id: isi: - '000695276000014' file: - access_level: open_access content_type: application/pdf creator: dernst date_created: 2020-08-06T08:14:54Z date_updated: 2020-08-06T08:14:54Z file_id: '8201' file_name: 2020_LNCS_Kragl.pdf file_size: 804237 relation: main_file success: 1 file_date_updated: 2020-08-06T08:14:54Z has_accepted_license: '1' intvolume: ' 12224' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 275-298 project: - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: Formal methods for the design and analysis of complex systems publication: Computer Aided Verification publication_identifier: eisbn: - '9783030532888' eissn: - 1611-3349 isbn: - '9783030532871' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '8332' relation: dissertation_contains status: public scopus_import: '1' status: public title: Refinement for structured concurrent programs tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 12224 year: '2020' ... --- _id: '8012' abstract: - lang: eng text: Asynchronous programs are notoriously difficult to reason about because they spawn computation tasks which take effect asynchronously in a nondeterministic way. Devising inductive invariants for such programs requires understanding and stating complex relationships between an unbounded number of computation tasks in arbitrarily long executions. In this paper, we introduce inductive sequentialization, a new proof rule that sidesteps this complexity via a sequential reduction, a sequential program that captures every behavior of the original program up to reordering of coarse-grained commutative actions. A sequential reduction of a concurrent program is easy to reason about since it corresponds to a simple execution of the program in an idealized synchronous environment, where processes act in a fixed order and at the same speed. We have implemented and integrated our proof rule in the CIVL verifier, allowing us to provably derive fine-grained implementations of asynchronous programs. We have successfully applied our proof rule to a diverse set of message-passing protocols, including leader election protocols, two-phase commit, and Paxos. article_processing_charge: No author: - first_name: Bernhard full_name: Kragl, Bernhard id: 320FC952-F248-11E8-B48F-1D18A9856A87 last_name: Kragl orcid: 0000-0001-7745-9117 - first_name: Constantin full_name: Enea, Constantin last_name: Enea - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Suha Orhun full_name: Mutluergil, Suha Orhun last_name: Mutluergil - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer citation: ama: 'Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. Inductive sequentialization of asynchronous programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:227-242. doi:10.1145/3385412.3385980' apa: 'Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., & Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 227–242). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385980' chicago: Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.” In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 227–42. Association for Computing Machinery, 2020. https://doi.org/10.1145/3385412.3385980. ieee: B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive sequentialization of asynchronous programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 227–242. ista: 'Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 227–242.' mla: Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–42, doi:10.1145/3385412.3385980. short: B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242. conference: end_date: 2020-06-20 location: London, United Kingdom name: 'PLDI: Programming Language Design and Implementation' start_date: 2020-06-15 date_created: 2020-06-25T11:40:16Z date_published: 2020-06-01T00:00:00Z date_updated: 2026-04-08T07:23:52Z day: '01' department: - _id: ToHe doi: 10.1145/3385412.3385980 external_id: isi: - '000614622300016' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1145/3385412.3385980 month: '06' oa: 1 oa_version: Published Version page: 227-242 project: - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: Formal methods for the design and analysis of complex systems publication: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation publication_identifier: isbn: - '9781450376136' publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' related_material: record: - id: '8332' relation: dissertation_contains status: public scopus_import: '1' status: public title: Inductive sequentialization of asynchronous programs type: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 year: '2020' ... --- OA_place: publisher _id: '7896' abstract: - lang: eng text: "A search problem lies in the complexity class FNP if a solution to the given instance of the problem can be verified efficiently. The complexity class TFNP consists of all search problems in FNP that are total in the sense that a solution is guaranteed to exist. TFNP contains a host of interesting problems from fields such as algorithmic game theory, computational topology, number theory and combinatorics. Since TFNP is a semantic class, it is unlikely to have a complete problem. Instead, one studies its syntactic subclasses which are defined based on the combinatorial principle used to argue totality. Of particular interest is the subclass PPAD, which contains important problems\r\nlike computing Nash equilibrium for bimatrix games and computational counterparts of several fixed-point theorems as complete. In the thesis, we undertake the study of averagecase hardness of TFNP, and in particular its subclass PPAD.\r\nAlmost nothing was known about average-case hardness of PPAD before a series of recent results showed how to achieve it using a cryptographic primitive called program obfuscation.\r\nHowever, it is currently not known how to construct program obfuscation from standard cryptographic assumptions. Therefore, it is desirable to relax the assumption under which average-case hardness of PPAD can be shown. In the thesis we take a step in this direction. First, we show that assuming the (average-case) hardness of a numbertheoretic\r\nproblem related to factoring of integers, which we call Iterated-Squaring, PPAD is hard-on-average in the random-oracle model. Then we strengthen this result to show that the average-case hardness of PPAD reduces to the (adaptive) soundness of the Fiat-Shamir Transform, a well-known technique used to compile a public-coin interactive protocol into a non-interactive one. As a corollary, we obtain average-case hardness for PPAD in the random-oracle model assuming the worst-case hardness of #SAT. Moreover, the above results can all be strengthened to obtain average-case hardness for the class CLS ⊆ PPAD.\r\nOur main technical contribution is constructing incrementally-verifiable procedures for computing Iterated-Squaring and #SAT. By incrementally-verifiable, we mean that every intermediate state of the computation includes a proof of its correctness, and the proof can be updated and verified in polynomial time. Previous constructions of such procedures relied on strong, non-standard assumptions. Instead, we introduce a technique called recursive proof-merging to obtain the same from weaker assumptions. " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Chethan full_name: Kamath Hosdurg, Chethan id: 4BD3F30E-F248-11E8-B48F-1D18A9856A87 last_name: Kamath Hosdurg orcid: 0009-0006-6812-7317 citation: ama: Kamath Hosdurg C. On the average-case hardness of total search problems. 2020. doi:10.15479/AT:ISTA:7896 apa: Kamath Hosdurg, C. (2020). On the average-case hardness of total search problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7896 chicago: Kamath Hosdurg, Chethan. “On the Average-Case Hardness of Total Search Problems.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7896. ieee: C. Kamath Hosdurg, “On the average-case hardness of total search problems,” Institute of Science and Technology Austria, 2020. ista: Kamath Hosdurg C. 2020. On the average-case hardness of total search problems. Institute of Science and Technology Austria. mla: Kamath Hosdurg, Chethan. On the Average-Case Hardness of Total Search Problems. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7896. short: C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-05-26T14:08:55Z date_published: 2020-05-25T00:00:00Z date_updated: 2026-04-08T07:24:42Z day: '25' ddc: - '000' degree_awarded: PhD department: - _id: KrPi doi: 10.15479/AT:ISTA:7896 ec_funded: 1 file: - access_level: open_access checksum: b39e2e1c376f5819b823fb7077491c64 content_type: application/pdf creator: dernst date_created: 2020-05-26T14:08:13Z date_updated: 2020-07-14T12:48:04Z file_id: '7897' file_name: 2020_Thesis_Kamath.pdf file_size: 1622742 relation: main_file - access_level: closed checksum: 8b26ba729c1a85ac6bea775f5d73cdc7 content_type: application/x-zip-compressed creator: dernst date_created: 2020-05-26T14:08:23Z date_updated: 2020-07-14T12:48:04Z file_id: '7898' file_name: Thesis_Kamath.zip file_size: 15301529 relation: source_file file_date_updated: 2020-07-14T12:48:04Z has_accepted_license: '1' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: '126' project: - _id: 258C570E-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '259668' name: Provable Security for Physical Cryptography - _id: 258AA5B2-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '682815' name: Teaching Old Crypto New Tricks publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '6677' relation: part_of_dissertation status: public status: public supervisor: - first_name: Krzysztof Z full_name: Pietrzak, Krzysztof Z id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87 last_name: Pietrzak orcid: 0000-0002-9139-1654 title: On the average-case hardness of total search problems tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- OA_place: publisher _id: '8589' abstract: - lang: eng text: The plant hormone auxin plays indispensable roles in plant growth and development. An essential level of regulation in auxin action is the directional auxin transport within cells. The establishment of auxin gradient in plant tissue has been attributed to local auxin biosynthesis and directional intercellular auxin transport, which both are controlled by various environmental and developmental signals. It is well established that asymmetric auxin distribution in cells is achieved by polarly localized PIN-FORMED (PIN) auxin efflux transporters. Despite the initial insights into cellular mechanisms of PIN polarization obtained from the last decades, the molecular mechanism and specific regulators mediating PIN polarization remains elusive. In this thesis, we aim to find novel players in PIN subcellular polarity regulation during Arabidopsis development. We first characterize the physiological effect of piperonylic acid (PA) on Arabidopsis hypocotyl gravitropic bending and PIN polarization. Secondly, we reveal the importance of SCFTIR1/AFB auxin signaling pathway in shoot gravitropism bending termination. In addition, we also explore the role of myosin XI complex, and actin cytoskeleton in auxin feedback regulation on PIN polarity. In Chapter 1, we give an overview of the current knowledge about PIN-mediated auxin fluxes in various plant tropic responses. In Chapter 2, we study the physiological effect of PA on shoot gravitropic bending. Our results show that PA treatment inhibits auxin-mediated PIN3 repolarization by interfering with PINOID and PIN3 phosphorylation status, ultimately leading to hyperbending hypocotyls. In Chapter 3, we provide evidence to show that the SCFTIR1/AFB nuclear auxin signaling pathway is crucial and required for auxin-mediated PIN3 repolarization and shoot gravitropic bending termination. In Chapter 4, we perform a phosphoproteomics approach and identify the motor protein Myosin XI and its binding protein, the MadB2 family, as an essential regulator of PIN polarity for auxin-canalization related developmental processes. In Chapter 5, we demonstrate the vital role of actin cytoskeleton in auxin feedback on PIN polarity by regulating PIN subcellular trafficking. Overall, the data presented in this PhD thesis brings novel insights into the PIN polar localization regulation that resulted in the (re)establishment of the polar auxin flow and gradient in response to environmental stimuli during plant development. acknowledged_ssus: - _id: Bio - _id: LifeSc acknowledgement: I also want to thank the China Scholarship Council for supporting my study during the year from 2015 to 2019. I also want to thank IST facilities – the Bioimaging facility, the media kitchen, the plant facility and all of the campus services, for their support. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Huibin full_name: Han, Huibin id: 31435098-F248-11E8-B48F-1D18A9856A87 last_name: Han citation: ama: Han H. Novel insights into PIN polarity regulation during Arabidopsis development. 2020. doi:10.15479/AT:ISTA:8589 apa: Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8589 chicago: Han, Huibin. “Novel Insights into PIN Polarity Regulation during Arabidopsis Development.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8589. ieee: H. Han, “Novel insights into PIN polarity regulation during Arabidopsis development,” Institute of Science and Technology Austria, 2020. ista: Han H. 2020. Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria. mla: Han, Huibin. Novel Insights into PIN Polarity Regulation during Arabidopsis Development. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8589. short: H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-09-30T14:50:51Z date_published: 2020-09-30T00:00:00Z date_updated: 2026-04-08T07:24:28Z day: '30' ddc: - '580' degree_awarded: PhD department: - _id: JiFr doi: 10.15479/AT:ISTA:8589 file: - access_level: closed checksum: c4bda1947d4c09c428ac9ce667b02327 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: dernst date_created: 2020-09-30T14:50:20Z date_updated: 2020-09-30T14:50:20Z file_id: '8590' file_name: 2020_Han_Thesis.docx file_size: 49198118 relation: source_file - access_level: open_access checksum: 3f4f5d1718c2230adf30639ecaf8a00b content_type: application/pdf creator: dernst date_created: 2020-09-30T14:49:59Z date_updated: 2021-10-01T13:33:02Z file_id: '8591' file_name: 2020_Han_Thesis.pdf file_size: 15513963 relation: main_file file_date_updated: 2021-10-01T13:33:02Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '164' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '7643' relation: part_of_dissertation status: public status: public supervisor: - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 title: Novel insights into PIN polarity regulation during Arabidopsis development type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- _id: '7643' acknowledgement: 'This work was supported by the European Research Council under the European Union’s Horizon 2020 research and innovation Programme (ERC grant agreement number 742985), and the Austrian Science Fund (FWF, grant number I 3630-B25) to JF. HH is supported by the China Scholarship Council (CSC scholarship). ' article_processing_charge: No article_type: letter_note author: - first_name: Huibin full_name: Han, Huibin id: 31435098-F248-11E8-B48F-1D18A9856A87 last_name: Han - first_name: Hana full_name: Rakusova, Hana id: 4CAAA450-78D2-11EA-8E57-B40A396E08BA last_name: Rakusova - first_name: Inge full_name: Verstraeten, Inge id: 362BF7FE-F248-11E8-B48F-1D18A9856A87 last_name: Verstraeten orcid: 0000-0001-7241-2328 - first_name: Yuzhou full_name: Zhang, Yuzhou id: 3B6137F2-F248-11E8-B48F-1D18A9856A87 last_name: Zhang orcid: 0000-0003-2627-6956 - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 citation: ama: Han H, Rakusova H, Verstraeten I, Zhang Y, Friml J. SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. Plant Physiology. 2020;183(5):37-40. doi:10.1104/pp.20.00212 apa: Han, H., Rakusova, H., Verstraeten, I., Zhang, Y., & Friml, J. (2020). SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.20.00212 chicago: Han, Huibin, Hana Rakusova, Inge Verstraeten, Yuzhou Zhang, and Jiří Friml. “SCF TIR1/AFB Auxin Signaling for Bending Termination during Shoot Gravitropism.” Plant Physiology. American Society of Plant Biologists, 2020. https://doi.org/10.1104/pp.20.00212. ieee: H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, and J. Friml, “SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism,” Plant Physiology, vol. 183, no. 5. American Society of Plant Biologists, pp. 37–40, 2020. ista: Han H, Rakusova H, Verstraeten I, Zhang Y, Friml J. 2020. SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism. Plant Physiology. 183(5), 37–40. mla: Han, Huibin, et al. “SCF TIR1/AFB Auxin Signaling for Bending Termination during Shoot Gravitropism.” Plant Physiology, vol. 183, no. 5, American Society of Plant Biologists, 2020, pp. 37–40, doi:10.1104/pp.20.00212. short: H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40. corr_author: '1' date_created: 2020-04-06T10:06:40Z date_published: 2020-05-08T00:00:00Z date_updated: 2026-04-08T07:24:27Z day: '08' department: - _id: JiFr doi: 10.1104/pp.20.00212 ec_funded: 1 external_id: isi: - '000536641800018' pmid: - '32107280' intvolume: ' 183' isi: 1 issue: '5' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1104/pp.20.00212 month: '05' oa: 1 oa_version: Published Version page: 37-40 pmid: 1 project: - _id: 261099A6-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '742985' name: Tracing Evolution of Auxin Transport and Polarity in Plants - _id: 26538374-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I03630 name: Molecular mechanisms of endocytic cargo recognition in plants publication: Plant Physiology publication_identifier: eissn: - 1532-2548 issn: - 0032-0889 publication_status: published publisher: American Society of Plant Biologists quality_controlled: '1' related_material: record: - id: '8589' relation: dissertation_contains status: public scopus_import: '1' status: public title: SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 183 year: '2020' ... --- _id: '7569' abstract: - lang: eng text: 'Genes differ in the frequency at which they are expressed and in the form of regulation used to control their activity. In particular, positive or negative regulation can lead to activation of a gene in response to an external signal. Previous works proposed that the form of regulation of a gene correlates with its frequency of usage: positive regulation when the gene is frequently expressed and negative regulation when infrequently expressed. Such network design means that, in the absence of their regulators, the genes are found in their least required activity state, hence regulatory intervention is often necessary. Due to the multitude of genes and regulators, spurious binding and unbinding events, called “crosstalk”, could occur. To determine how the form of regulation affects the global crosstalk in the network, we used a mathematical model that includes multiple regulators and multiple target genes. We found that crosstalk depends non-monotonically on the availability of regulators. Our analysis showed that excess use of regulation entailed by the formerly suggested network design caused high crosstalk levels in a large part of the parameter space. We therefore considered the opposite ‘idle’ design, where the default unregulated state of genes is their frequently required activity state. We found, that ‘idle’ design minimized the use of regulation and thus minimized crosstalk. In addition, we estimated global crosstalk of S. cerevisiae using transcription factors binding data. We demonstrated that even partial network data could suffice to estimate its global crosstalk, suggesting its applicability to additional organisms. We found that S. cerevisiae estimated crosstalk is lower than that of a random network, suggesting that natural selection reduces crosstalk. In summary, our study highlights a new type of protein production cost which is typically overlooked: that of regulatory interference caused by the presence of excess regulators in the cell. It demonstrates the importance of whole-network descriptions, which could show effects missed by single-gene models.' article_number: e1007642 article_processing_charge: No article_type: original author: - first_name: Rok full_name: Grah, Rok id: 483E70DE-F248-11E8-B48F-1D18A9856A87 last_name: Grah orcid: 0000-0003-2539-3560 - first_name: Tamar full_name: Friedlander, Tamar last_name: Friedlander citation: ama: Grah R, Friedlander T. The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. 2020;16(2). doi:10.1371/journal.pcbi.1007642 apa: Grah, R., & Friedlander, T. (2020). The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007642 chicago: Grah, Rok, and Tamar Friedlander. “The Relation between Crosstalk and Gene Regulation Form Revisited.” PLOS Computational Biology. Public Library of Science, 2020. https://doi.org/10.1371/journal.pcbi.1007642. ieee: R. Grah and T. Friedlander, “The relation between crosstalk and gene regulation form revisited,” PLOS Computational Biology, vol. 16, no. 2. Public Library of Science, 2020. ista: Grah R, Friedlander T. 2020. The relation between crosstalk and gene regulation form revisited. PLOS Computational Biology. 16(2), e1007642. mla: Grah, Rok, and Tamar Friedlander. “The Relation between Crosstalk and Gene Regulation Form Revisited.” PLOS Computational Biology, vol. 16, no. 2, e1007642, Public Library of Science, 2020, doi:10.1371/journal.pcbi.1007642. short: R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020). date_created: 2020-03-06T07:39:38Z date_published: 2020-02-25T00:00:00Z date_updated: 2026-04-08T07:25:08Z day: '25' ddc: - '000' - '570' department: - _id: CaGu - _id: GaTk doi: 10.1371/journal.pcbi.1007642 external_id: isi: - '000526725200019' pmid: - '32097416' file: - access_level: open_access checksum: 5239dd134dc6e1c71fe7b3ce2953da37 content_type: application/pdf creator: dernst date_created: 2020-03-09T15:12:21Z date_updated: 2020-07-14T12:48:00Z file_id: '7579' file_name: 2020_PlosCompBio_Grah.pdf file_size: 2209325 relation: main_file file_date_updated: 2020-07-14T12:48:00Z has_accepted_license: '1' intvolume: ' 16' isi: 1 issue: '2' language: - iso: eng month: '02' oa: 1 oa_version: Published Version pmid: 1 publication: PLOS Computational Biology publication_identifier: issn: - 1553-7358 publication_status: published publisher: Public Library of Science quality_controlled: '1' related_material: record: - id: '9716' relation: research_data status: deleted - id: '9776' relation: research_data status: public - id: '9779' relation: research_data status: public - id: '9777' relation: research_data status: public - id: '8155' relation: dissertation_contains status: public scopus_import: '1' status: public title: The relation between crosstalk and gene regulation form revisited tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 16 year: '2020' ... --- OA_place: publisher _id: '8341' 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." acknowledged_ssus: - _id: Bio - _id: LifeSc - _id: NanoFab 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. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Urban full_name: Bezeljak, Urban id: 2A58201A-F248-11E8-B48F-1D18A9856A87 last_name: Bezeljak orcid: 0000-0003-1365-5631 citation: ama: Bezeljak U. In vitro reconstitution of a Rab activation switch. 2020. doi:10.15479/AT:ISTA:8341 apa: Bezeljak, U. (2020). In vitro reconstitution of a Rab activation switch. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8341 chicago: Bezeljak, Urban. “In Vitro Reconstitution of a Rab Activation Switch.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8341. ieee: 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. mla: Bezeljak, Urban. In Vitro Reconstitution of a Rab Activation Switch. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8341. short: U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-09-08T08:53:53Z date_published: 2020-09-08T00:00:00Z date_updated: 2026-04-08T07:24:56Z day: '08' ddc: - '570' degree_awarded: PhD department: - _id: MaLo doi: 10.15479/AT:ISTA:8341 file: - access_level: closed checksum: 70871b335a595252a66c6bbf0824fb02 content_type: application/x-zip-compressed creator: dernst date_created: 2020-09-08T09:00:29Z date_updated: 2021-09-16T12:49:12Z file_id: '8342' file_name: 2020_Urban_Bezeljak_Thesis_TeX.zip file_size: 65246782 relation: source_file - access_level: open_access checksum: 59a62275088b00b7241e6ff4136434c7 content_type: application/pdf creator: dernst date_created: 2020-09-08T09:00:27Z date_updated: 2021-09-16T12:49:12Z file_id: '8343' file_name: 2020_Urban_Bezeljak_Thesis.pdf file_size: 31259058 relation: main_file file_date_updated: 2021-09-16T12:49:12Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '215' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '7580' relation: part_of_dissertation status: public status: public supervisor: - first_name: Martin full_name: Loose, Martin id: 462D4284-F248-11E8-B48F-1D18A9856A87 last_name: Loose orcid: 0000-0001-7309-9724 title: In vitro reconstitution of a Rab activation switch tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- OA_place: publisher _id: '8155' abstract: - lang: eng text: "In the thesis we focus on the interplay of the biophysics and evolution of gene regulation. We start by addressing how the type of prokaryotic gene regulation – activation and repression – affects spurious binding to DNA, also known as\r\ntranscriptional crosstalk. We propose that regulatory interference caused by excess regulatory proteins in the dense cellular medium – global crosstalk – could be a factor in determining which type of gene regulatory network is evolutionarily preferred. Next,we use a normative approach in eukaryotic gene regulation to describe minimal\r\nnon-equilibrium enhancer models that optimize so-called regulatory phenotypes. We find a class of models that differ from standard thermodynamic equilibrium models by a single parameter that notably increases the regulatory performance. Next chapter addresses the question of genotype-phenotype-fitness maps of higher dimensional phenotypes. We show that our biophysically realistic approach allows us to understand how the mechanisms of promoter function constrain genotypephenotype maps, and how they affect the evolutionary trajectories of promoters.\r\nIn the last chapter we ask whether the intrinsic instability of gene duplication and amplification provides a generic alternative to canonical gene regulation. Using mathematical modeling, we show that amplifications can tune gene expression in many environments, including those where transcription factor-based schemes are\r\nhard to evolve or maintain. " acknowledgement: For the duration of his PhD, Rok was a recipient of a DOC fellowship of the Austrian Academy of Sciences. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Rok full_name: Grah, Rok id: 483E70DE-F248-11E8-B48F-1D18A9856A87 last_name: Grah orcid: 0000-0003-2539-3560 citation: ama: Grah R. Gene regulation across scales – how biophysical constraints shape evolution. 2020. doi:10.15479/AT:ISTA:8155 apa: Grah, R. (2020). Gene regulation across scales – how biophysical constraints shape evolution. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8155 chicago: Grah, Rok. “Gene Regulation across Scales – How Biophysical Constraints Shape Evolution.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8155. ieee: R. Grah, “Gene regulation across scales – how biophysical constraints shape evolution,” Institute of Science and Technology Austria, 2020. ista: Grah R. 2020. Gene regulation across scales – how biophysical constraints shape evolution. Institute of Science and Technology Austria. mla: Grah, Rok. Gene Regulation across Scales – How Biophysical Constraints Shape Evolution. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8155. short: R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-07-23T09:51:28Z date_published: 2020-07-24T00:00:00Z date_updated: 2026-04-08T07:25:09Z day: '24' ddc: - '530' - '570' degree_awarded: PhD department: - _id: CaGu - _id: GaTk doi: 10.15479/AT:ISTA:8155 file: - access_level: open_access content_type: application/pdf creator: rgrah date_created: 2020-07-27T12:00:07Z date_updated: 2020-07-27T12:00:07Z file_id: '8176' file_name: Thesis_RokGrah_200727_convertedNew.pdf file_size: 16638998 relation: main_file success: 1 - access_level: closed content_type: application/zip creator: rgrah date_created: 2020-07-27T12:02:23Z date_updated: 2020-07-30T13:04:55Z file_id: '8177' file_name: Thesis_new.zip file_size: 347459978 relation: main_file file_date_updated: 2020-07-30T13:04:55Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: '310' project: - _id: 267C84F4-B435-11E9-9278-68D0E5697425 name: Biophysically realistic genotype-phenotype maps for regulatory networks publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '7675' relation: part_of_dissertation status: public - id: '7569' relation: part_of_dissertation status: public - id: '7652' relation: part_of_dissertation status: public status: public supervisor: - first_name: Calin C full_name: Guet, Calin C id: 47F8433E-F248-11E8-B48F-1D18A9856A87 last_name: Guet orcid: 0000-0001-6220-2052 - first_name: Gašper full_name: Tkačik, Gašper id: 3D494DCA-F248-11E8-B48F-1D18A9856A87 last_name: Tkačik orcid: 0000-0002-6699-1455 title: Gene regulation across scales – how biophysical constraints shape evolution type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- _id: '7580' abstract: - lang: eng text: The eukaryotic endomembrane system is controlled by small GTPases of the Rab family, which are activated at defined times and locations in a switch-like manner. While this switch is well understood for an individual protein, how regulatory networks produce intracellular activity patterns is currently not known. Here, we combine in vitro reconstitution experiments with computational modeling to study a minimal Rab5 activation network. We find that the molecular interactions in this system give rise to a positive feedback and bistable collective switching of Rab5. Furthermore, we find that switching near the critical point is intrinsically stochastic and provide evidence that controlling the inactive population of Rab5 on the membrane can shape the network response. Notably, we demonstrate that collective switching can spread on the membrane surface as a traveling wave of Rab5 activation. Together, our findings reveal how biochemical signaling networks control vesicle trafficking pathways and how their nonequilibrium properties define the spatiotemporal organization of the cell. acknowledged_ssus: - _id: Bio - _id: LifeSc article_processing_charge: No article_type: original author: - first_name: Urban full_name: Bezeljak, Urban id: 2A58201A-F248-11E8-B48F-1D18A9856A87 last_name: Bezeljak orcid: 0000-0003-1365-5631 - first_name: Hrushikesh full_name: Loya, Hrushikesh last_name: Loya - first_name: Beata M full_name: Kaczmarek, Beata M id: 36FA4AFA-F248-11E8-B48F-1D18A9856A87 last_name: Kaczmarek - first_name: Timothy E. full_name: Saunders, Timothy E. last_name: Saunders - first_name: Martin full_name: Loose, Martin id: 462D4284-F248-11E8-B48F-1D18A9856A87 last_name: Loose orcid: 0000-0001-7309-9724 citation: ama: Bezeljak U, Loya H, Kaczmarek BM, Saunders TE, Loose M. Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences of the United States of America. 2020;117(12):6504-6549. doi:10.1073/pnas.1921027117 apa: Bezeljak, U., Loya, H., Kaczmarek, B. M., Saunders, T. E., & Loose, M. (2020). Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.1921027117 chicago: Bezeljak, Urban, Hrushikesh Loya, Beata M Kaczmarek, Timothy E. Saunders, and Martin Loose. “Stochastic Activation and Bistability in a Rab GTPase Regulatory Network.” Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2020. https://doi.org/10.1073/pnas.1921027117. ieee: U. Bezeljak, H. Loya, B. M. Kaczmarek, T. E. Saunders, and M. Loose, “Stochastic activation and bistability in a Rab GTPase regulatory network,” Proceedings of the National Academy of Sciences of the United States of America, vol. 117, no. 12. National Academy of Sciences, pp. 6504–6549, 2020. ista: Bezeljak U, Loya H, Kaczmarek BM, Saunders TE, Loose M. 2020. Stochastic activation and bistability in a Rab GTPase regulatory network. Proceedings of the National Academy of Sciences of the United States of America. 117(12), 6504–6549. mla: Bezeljak, Urban, et al. “Stochastic Activation and Bistability in a Rab GTPase Regulatory Network.” Proceedings of the National Academy of Sciences of the United States of America, vol. 117, no. 12, National Academy of Sciences, 2020, pp. 6504–49, doi:10.1073/pnas.1921027117. short: U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 6504–6549. date_created: 2020-03-12T05:32:26Z date_published: 2020-03-24T00:00:00Z date_updated: 2026-04-08T07:24:55Z day: '24' department: - _id: MaLo - _id: CaBe doi: 10.1073/pnas.1921027117 external_id: isi: - '000521821800040' pmid: - '32161136' intvolume: ' 117' isi: 1 issue: '12' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1101/776567 month: '03' oa: 1 oa_version: Preprint page: 6504-6549 pmid: 1 project: - _id: 2599F062-B435-11E9-9278-68D0E5697425 grant_number: RGY0083/2016 name: Reconstitution of cell polarity and axis determination in a cell-free system publication: Proceedings of the National Academy of Sciences of the United States of America publication_identifier: eissn: - 1091-6490 issn: - 0027-8424 publication_status: published publisher: National Academy of Sciences quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/proteins-as-molecular-switches/ record: - id: '8341' relation: dissertation_contains status: public scopus_import: '1' status: public title: Stochastic activation and bistability in a Rab GTPase regulatory network type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 117 year: '2020' ... --- _id: '7675' abstract: - lang: eng text: 'In prokaryotes, thermodynamic models of gene regulation provide a highly quantitative mapping from promoter sequences to gene expression levels that is compatible with in vivo and in vitro bio-physical measurements. Such concordance has not been achieved for models of enhancer function in eukaryotes. In equilibrium models, it is difficult to reconcile the reported short transcription factor (TF) residence times on the DNA with the high specificity of regulation. In non-equilibrium models, progress is difficult due to an explosion in the number of parameters. Here, we navigate this complexity by looking for minimal non-equilibrium enhancer models that yield desired regulatory phenotypes: low TF residence time, high specificity and tunable cooperativity. We find that a single extra parameter, interpretable as the “linking rate” by which bound TFs interact with Mediator components, enables our models to escape equilibrium bounds and access optimal regulatory phenotypes, while remaining consistent with the reported phenomenology and simple enough to be inferred from upcoming experiments. We further find that high specificity in non-equilibrium models is in a tradeoff with gene expression noise, predicting bursty dynamics — an experimentally-observed hallmark of eukaryotic transcription. By drastically reducing the vast parameter space to a much smaller subspace that optimally realizes biological function prior to inference from data, our normative approach holds promise for mathematical models in systems biology.' article_processing_charge: No author: - first_name: Rok full_name: Grah, Rok id: 483E70DE-F248-11E8-B48F-1D18A9856A87 last_name: Grah orcid: 0000-0003-2539-3560 - first_name: Benjamin full_name: Zoller, Benjamin last_name: Zoller - first_name: Gašper full_name: Tkačik, Gašper id: 3D494DCA-F248-11E8-B48F-1D18A9856A87 last_name: Tkačik orcid: 0000-0002-6699-1455 citation: ama: Grah R, Zoller B, Tkačik G. Normative models of enhancer function. bioRxiv. 2020. doi:10.1101/2020.04.08.029405 apa: Grah, R., Zoller, B., & Tkačik, G. (2020). Normative models of enhancer function. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.04.08.029405 chicago: Grah, Rok, Benjamin Zoller, and Gašper Tkačik. “Normative Models of Enhancer Function.” BioRxiv. Cold Spring Harbor Laboratory, 2020. https://doi.org/10.1101/2020.04.08.029405. ieee: R. Grah, B. Zoller, and G. Tkačik, “Normative models of enhancer function,” bioRxiv. Cold Spring Harbor Laboratory, 2020. ista: Grah R, Zoller B, Tkačik G. 2020. Normative models of enhancer function. bioRxiv, 10.1101/2020.04.08.029405. mla: Grah, Rok, et al. “Normative Models of Enhancer Function.” BioRxiv, Cold Spring Harbor Laboratory, 2020, doi:10.1101/2020.04.08.029405. short: R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020). corr_author: '1' date_created: 2020-04-23T10:12:51Z date_published: 2020-04-09T00:00:00Z date_updated: 2026-04-08T07:25:08Z day: '09' department: - _id: CaGu - _id: GaTk doi: 10.1101/2020.04.08.029405 language: - iso: eng main_file_link: - open_access: '1' url: 'https://doi.org/10.1101/2020.04.08.029405 ' month: '04' oa: 1 oa_version: Preprint project: - _id: 2665AAFE-B435-11E9-9278-68D0E5697425 grant_number: RGP0034/2018 name: Can evolution minimize spurious signaling crosstalk to reach optimal performance? - _id: 267C84F4-B435-11E9-9278-68D0E5697425 name: Biophysically realistic genotype-phenotype maps for regulatory networks publication: bioRxiv publication_status: published publisher: Cold Spring Harbor Laboratory related_material: record: - id: '8155' relation: dissertation_contains status: public status: public title: Normative models of enhancer function type: preprint user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2020' ... --- OA_place: publisher _id: '8366' 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." acknowledged_ssus: - _id: M-Shop - _id: ScienComp 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." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Ruslan full_name: Guseinov, Ruslan id: 3AB45EE2-F248-11E8-B48F-1D18A9856A87 last_name: Guseinov orcid: 0000-0001-9819-5077 citation: ama: 'Guseinov R. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi:10.15479/AT:ISTA:8366' apa: 'Guseinov, R. (2020). Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8366' chicago: 'Guseinov, Ruslan. “Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8366.' ieee: '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.' mla: 'Guseinov, Ruslan. Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8366.' short: 'R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, Institute of Science and Technology Austria, 2020.' corr_author: '1' date_created: 2020-09-10T16:19:55Z date_published: 2020-09-21T00:00:00Z date_updated: 2026-04-08T07:25:22Z day: '21' ddc: - '000' degree_awarded: PhD department: - _id: BeBi doi: 10.15479/AT:ISTA:8366 ec_funded: 1 file: - access_level: open_access checksum: f8da89553da36037296b0a80f14ebf50 content_type: application/pdf creator: rguseino date_created: 2020-09-10T16:11:49Z date_updated: 2020-09-10T16:11:49Z file_id: '8367' file_name: thesis_rguseinov.pdf file_size: 70950442 relation: main_file success: 1 - access_level: closed checksum: e8fd944c960c20e0e27e6548af69121d content_type: application/x-zip-compressed creator: rguseino date_created: 2020-09-11T09:39:48Z date_updated: 2020-09-16T15:11:01Z file_id: '8374' file_name: thesis_source.zip file_size: 76207597 relation: source_file file_date_updated: 2020-09-16T15:11:01Z has_accepted_license: '1' keyword: - computer-aided design - shape modeling - self-morphing - mechanical engineering language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '118' project: - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication_identifier: isbn: - 978-3-99078-010-7 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '8562' relation: part_of_dissertation status: public - id: '8375' relation: research_data status: public - id: '7151' relation: research_data status: deleted - id: '1001' relation: part_of_dissertation status: public - id: '7262' relation: part_of_dissertation status: public status: public supervisor: - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 title: 'Computational design of curved thin shells: From glass façades to programmable matter' type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- _id: '8562' abstract: - lang: eng text: "Cold bent glass is a promising and cost-efficient method for realizing doubly curved glass facades. They are produced by attaching planar glass sheets to curved frames and require keeping the occurring stress within safe limits.\r\nHowever, it is very challenging to navigate the design space of cold bent glass panels due to the fragility of the material, which impedes the form-finding for practically feasible and aesthetically pleasing cold bent glass facades. We propose an interactive, data-driven approach for designing cold bent glass facades that can be seamlessly integrated into a typical architectural design pipeline. Our method allows non-expert users to interactively edit a parametric surface while providing real-time feedback on the deformed shape and maximum stress of cold bent glass panels. Designs are automatically refined to minimize several fairness criteria while maximal stresses are kept within glass limits. We achieve interactive frame rates by using a differentiable Mixture Density Network trained from more than a million simulations. Given a curved boundary, our regression model is capable of handling multistable\r\nconfigurations and accurately predicting the equilibrium shape of the panel and its corresponding maximal stress. We show predictions are highly accurate and validate our results with a physical realization of a cold bent glass surface." acknowledged_ssus: - _id: ScienComp acknowledgement: "We thank IST Austria’s Scientific Computing team for their support, Corinna Datsiou and Sophie Pennetier for their expert input on the practical applications of cold bent glass, and Zaha Hadid Architects and Waagner Biro for providing the architectural datasets. Photo of Fondation Louis Vuitton by Francisco Anzola / CC BY 2.0 / cropped.\r\nPhoto of Opus by Danica O. Kus. This project has received funding from the European Union’s\r\nHorizon 2020 research and innovation program under grant agreement No 675789 - Algebraic Representations in Computer-Aided Design for complEx Shapes (ARCADES), from the European Research Council (ERC) under grant agreement No 715767 - MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling, and SFB-Transregio “Discretization in Geometry and Dynamics” through grant I 2978 of the Austrian Science Fund (FWF). F. Rist and K. Gavriil have been partially supported by KAUST baseline funding." article_number: '208' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Konstantinos full_name: Gavriil, Konstantinos last_name: Gavriil - first_name: Ruslan full_name: Guseinov, Ruslan id: 3AB45EE2-F248-11E8-B48F-1D18A9856A87 last_name: Guseinov orcid: 0000-0001-9819-5077 - first_name: Jesus full_name: Perez Rodriguez, Jesus id: 2DC83906-F248-11E8-B48F-1D18A9856A87 last_name: Perez Rodriguez - first_name: Davide full_name: Pellis, Davide last_name: Pellis - first_name: Paul M full_name: Henderson, Paul M id: 13C09E74-18D9-11E9-8878-32CFE5697425 last_name: Henderson orcid: 0000-0002-5198-7445 - first_name: Florian full_name: Rist, Florian last_name: Rist - first_name: Helmut full_name: Pottmann, Helmut last_name: Pottmann - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 citation: ama: Gavriil K, Guseinov R, Perez Rodriguez J, et al. Computational design of cold bent glass façades. ACM Transactions on Graphics. 2020;39(6). doi:10.1145/3414685.3417843 apa: Gavriil, K., Guseinov, R., Perez Rodriguez, J., Pellis, D., Henderson, P. M., Rist, F., … Bickel, B. (2020). Computational design of cold bent glass façades. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3414685.3417843 chicago: Gavriil, Konstantinos, Ruslan Guseinov, Jesus Perez Rodriguez, Davide Pellis, Paul M Henderson, Florian Rist, Helmut Pottmann, and Bernd Bickel. “Computational Design of Cold Bent Glass Façades.” ACM Transactions on Graphics. Association for Computing Machinery, 2020. https://doi.org/10.1145/3414685.3417843. ieee: K. Gavriil et al., “Computational design of cold bent glass façades,” ACM Transactions on Graphics, vol. 39, no. 6. Association for Computing Machinery, 2020. ista: Gavriil K, Guseinov R, Perez Rodriguez J, Pellis D, Henderson PM, Rist F, Pottmann H, Bickel B. 2020. Computational design of cold bent glass façades. ACM Transactions on Graphics. 39(6), 208. mla: Gavriil, Konstantinos, et al. “Computational Design of Cold Bent Glass Façades.” ACM Transactions on Graphics, vol. 39, no. 6, 208, Association for Computing Machinery, 2020, doi:10.1145/3414685.3417843. short: K. Gavriil, R. Guseinov, J. Perez Rodriguez, D. Pellis, P.M. Henderson, F. Rist, H. Pottmann, B. Bickel, ACM Transactions on Graphics 39 (2020). corr_author: '1' date_created: 2020-09-23T11:30:02Z date_published: 2020-11-26T00:00:00Z date_updated: 2026-04-08T07:25:22Z day: '26' ddc: - '000' department: - _id: BeBi doi: 10.1145/3414685.3417843 ec_funded: 1 external_id: arxiv: - '2009.03667' isi: - '000595589100048' file: - access_level: open_access checksum: c7f67717ad74e670b7daeae732abe151 content_type: application/pdf creator: bbickel date_created: 2023-05-23T20:54:43Z date_updated: 2023-05-23T20:54:43Z file_id: '13084' file_name: coldglass.pdf file_size: 28964641 relation: main_file success: 1 file_date_updated: 2023-05-23T20:54:43Z has_accepted_license: '1' intvolume: ' 39' isi: 1 issue: '6' language: - iso: eng month: '11' oa: 1 oa_version: Submitted Version project: - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication: ACM Transactions on Graphics publication_identifier: eissn: - 1557-7368 issn: - 0730-0301 publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/bend-dont-break/ record: - id: '8761' relation: research_data status: public - id: '8366' relation: dissertation_contains status: public scopus_import: '1' status: public title: Computational design of cold bent glass façades type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 39 year: '2020' ... --- _id: '7262' abstract: - lang: eng text: Advances in shape-morphing materials, such as hydrogels, shape-memory polymers and light-responsive polymers have enabled prescribing self-directed deformations of initially flat geometries. However, most proposed solutions evolve towards a target geometry without considering time-dependent actuation paths. To achieve more complex geometries and avoid self-collisions, it is critical to encode a spatial and temporal shape evolution within the initially flat shell. Recent realizations of time-dependent morphing are limited to the actuation of few, discrete hinges and cannot form doubly curved surfaces. Here, we demonstrate a method for encoding temporal shape evolution in architected shells that assume complex shapes and doubly curved geometries. The shells are non-periodic tessellations of pre-stressed contractile unit cells that soften in water at rates prescribed locally by mesostructure geometry. The ensuing midplane contraction is coupled to the formation of encoded curvatures. We propose an inverse design tool based on a data-driven model for unit cells’ temporal responses. article_number: '237' article_processing_charge: No article_type: original author: - first_name: Ruslan full_name: Guseinov, Ruslan id: 3AB45EE2-F248-11E8-B48F-1D18A9856A87 last_name: Guseinov orcid: 0000-0001-9819-5077 - first_name: Connor full_name: McMahan, Connor last_name: McMahan - first_name: Jesus full_name: Perez Rodriguez, Jesus id: 2DC83906-F248-11E8-B48F-1D18A9856A87 last_name: Perez Rodriguez - first_name: Chiara full_name: Daraio, Chiara last_name: Daraio - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 citation: ama: Guseinov R, McMahan C, Perez Rodriguez J, Daraio C, Bickel B. Programming temporal morphing of self-actuated shells. Nature Communications. 2020;11. doi:10.1038/s41467-019-14015-2 apa: Guseinov, R., McMahan, C., Perez Rodriguez, J., Daraio, C., & Bickel, B. (2020). Programming temporal morphing of self-actuated shells. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-14015-2 chicago: Guseinov, Ruslan, Connor McMahan, Jesus Perez Rodriguez, Chiara Daraio, and Bernd Bickel. “Programming Temporal Morphing of Self-Actuated Shells.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-019-14015-2. ieee: R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, and B. Bickel, “Programming temporal morphing of self-actuated shells,” Nature Communications, vol. 11. Springer Nature, 2020. ista: Guseinov R, McMahan C, Perez Rodriguez J, Daraio C, Bickel B. 2020. Programming temporal morphing of self-actuated shells. Nature Communications. 11, 237. mla: Guseinov, Ruslan, et al. “Programming Temporal Morphing of Self-Actuated Shells.” Nature Communications, vol. 11, 237, Springer Nature, 2020, doi:10.1038/s41467-019-14015-2. short: R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, B. Bickel, Nature Communications 11 (2020). corr_author: '1' date_created: 2020-01-13T16:54:26Z date_published: 2020-01-13T00:00:00Z date_updated: 2026-04-08T07:25:22Z day: '13' ddc: - '000' department: - _id: BeBi doi: 10.1038/s41467-019-14015-2 ec_funded: 1 external_id: isi: - '000511916800015' pmid: - '31932589' file: - access_level: open_access checksum: 7db23fef2f4cda712f17f1004116ddff content_type: application/pdf creator: rguseino date_created: 2020-01-15T14:35:34Z date_updated: 2020-07-14T12:47:55Z file_id: '7336' file_name: 2020_NatureComm_Guseinov.pdf file_size: 1315270 relation: main_file file_date_updated: 2020-07-14T12:47:55Z has_accepted_license: '1' intvolume: ' 11' isi: 1 keyword: - Design - Synthesis and processing - Mechanical engineering - Polymers language: - iso: eng month: '01' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication: Nature Communications publication_identifier: issn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/geometry-meets-time/ record: - id: '7154' relation: research_data status: public - id: '8366' relation: dissertation_contains status: public scopus_import: '1' status: public title: Programming temporal morphing of self-actuated shells tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 11 year: '2020' ...