---
_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: <i>Proceedings of the 41st ACM SIGPLAN Conference
    on Programming Language Design and Implementation</i>. Association for Computing
    Machinery; 2020:227-242. doi:<a href="https://doi.org/10.1145/3385412.3385980">10.1145/3385412.3385980</a>'
  apa: 'Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., &#38; Qadeer, S.
    (2020). Inductive sequentialization of asynchronous programs. In <i>Proceedings
    of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>
    (pp. 227–242). London, United Kingdom: Association for Computing Machinery. <a
    href="https://doi.org/10.1145/3385412.3385980">https://doi.org/10.1145/3385412.3385980</a>'
  chicago: Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil,
    and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.” In <i>Proceedings
    of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>,
    227–42. Association for Computing Machinery, 2020. <a href="https://doi.org/10.1145/3385412.3385980">https://doi.org/10.1145/3385412.3385980</a>.
  ieee: B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive
    sequentialization of asynchronous programs,” in <i>Proceedings of the 41st ACM
    SIGPLAN Conference on Programming Language Design and Implementation</i>, London,
    United Kingdom, 2020, pp. 227–242.
  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.”
    <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design
    and Implementation</i>, Association for Computing Machinery, 2020, pp. 227–42,
    doi:<a href="https://doi.org/10.1145/3385412.3385980">10.1145/3385412.3385980</a>.
  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:<a href="https://doi.org/10.15479/AT:ISTA:7896">10.15479/AT:ISTA:7896</a>
  apa: Kamath Hosdurg, C. (2020). <i>On the average-case hardness of total search
    problems</i>. Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:7896">https://doi.org/10.15479/AT:ISTA:7896</a>
  chicago: Kamath Hosdurg, Chethan. “On the Average-Case Hardness of Total Search
    Problems.” Institute of Science and Technology Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:7896">https://doi.org/10.15479/AT:ISTA:7896</a>.
  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. <i>On the Average-Case Hardness of Total Search Problems</i>.
    Institute of Science and Technology Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:7896">10.15479/AT:ISTA:7896</a>.
  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:<a href="https://doi.org/10.15479/AT:ISTA:8589">10.15479/AT:ISTA:8589</a>
  apa: Han, H. (2020). <i>Novel insights into PIN polarity regulation during Arabidopsis
    development</i>. Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:8589">https://doi.org/10.15479/AT:ISTA:8589</a>
  chicago: Han, Huibin. “Novel Insights into PIN Polarity Regulation during Arabidopsis
    Development.” Institute of Science and Technology Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:8589">https://doi.org/10.15479/AT:ISTA:8589</a>.
  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. <i>Novel Insights into PIN Polarity Regulation during Arabidopsis
    Development</i>. Institute of Science and Technology Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:8589">10.15479/AT:ISTA:8589</a>.
  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. <i>Plant Physiology</i>. 2020;183(5):37-40.
    doi:<a href="https://doi.org/10.1104/pp.20.00212">10.1104/pp.20.00212</a>
  apa: Han, H., Rakusova, H., Verstraeten, I., Zhang, Y., &#38; Friml, J. (2020).
    SCF TIR1/AFB auxin signaling for bending termination during shoot gravitropism.
    <i>Plant Physiology</i>. American Society of Plant Biologists. <a href="https://doi.org/10.1104/pp.20.00212">https://doi.org/10.1104/pp.20.00212</a>
  chicago: Han, Huibin, Hana Rakusova, Inge Verstraeten, Yuzhou Zhang, and Jiří Friml.
    “SCF TIR1/AFB Auxin Signaling for Bending Termination during Shoot Gravitropism.”
    <i>Plant Physiology</i>. American Society of Plant Biologists, 2020. <a href="https://doi.org/10.1104/pp.20.00212">https://doi.org/10.1104/pp.20.00212</a>.
  ieee: H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, and J. Friml, “SCF TIR1/AFB
    auxin signaling for bending termination during shoot gravitropism,” <i>Plant Physiology</i>,
    vol. 183, no. 5. American Society of Plant Biologists, pp. 37–40, 2020.
  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.” <i>Plant Physiology</i>, vol. 183, no. 5, American Society
    of Plant Biologists, 2020, pp. 37–40, doi:<a href="https://doi.org/10.1104/pp.20.00212">10.1104/pp.20.00212</a>.
  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. <i>PLOS Computational Biology</i>. 2020;16(2). doi:<a href="https://doi.org/10.1371/journal.pcbi.1007642">10.1371/journal.pcbi.1007642</a>
  apa: Grah, R., &#38; Friedlander, T. (2020). The relation between crosstalk and
    gene regulation form revisited. <i>PLOS Computational Biology</i>. Public Library
    of Science. <a href="https://doi.org/10.1371/journal.pcbi.1007642">https://doi.org/10.1371/journal.pcbi.1007642</a>
  chicago: Grah, Rok, and Tamar Friedlander. “The Relation between Crosstalk and Gene
    Regulation Form Revisited.” <i>PLOS Computational Biology</i>. Public Library
    of Science, 2020. <a href="https://doi.org/10.1371/journal.pcbi.1007642">https://doi.org/10.1371/journal.pcbi.1007642</a>.
  ieee: R. Grah and T. Friedlander, “The relation between crosstalk and gene regulation
    form revisited,” <i>PLOS Computational Biology</i>, vol. 16, no. 2. Public Library
    of Science, 2020.
  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.” <i>PLOS Computational Biology</i>, vol. 16, no. 2,
    e1007642, Public Library of Science, 2020, doi:<a href="https://doi.org/10.1371/journal.pcbi.1007642">10.1371/journal.pcbi.1007642</a>.
  short: R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
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:<a
    href="https://doi.org/10.15479/AT:ISTA:8341">10.15479/AT:ISTA:8341</a>
  apa: Bezeljak, U. (2020). <i>In vitro reconstitution of a Rab activation switch</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:8341">https://doi.org/10.15479/AT:ISTA:8341</a>
  chicago: Bezeljak, Urban. “In Vitro Reconstitution of a Rab Activation Switch.”
    Institute of Science and Technology Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:8341">https://doi.org/10.15479/AT:ISTA:8341</a>.
  ieee: U. Bezeljak, “In vitro reconstitution of a Rab activation switch,” Institute
    of Science and Technology Austria, 2020.
  ista: Bezeljak U. 2020. In vitro reconstitution of a Rab activation switch. Institute
    of Science and Technology Austria.
  mla: Bezeljak, Urban. <i>In Vitro Reconstitution of a Rab Activation Switch</i>.
    Institute of Science and Technology Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:8341">10.15479/AT:ISTA:8341</a>.
  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
license: https://creativecommons.org/licenses/by-nc-sa/4.0/
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:<a href="https://doi.org/10.15479/AT:ISTA:8155">10.15479/AT:ISTA:8155</a>
  apa: Grah, R. (2020). <i>Gene regulation across scales – how biophysical constraints
    shape evolution</i>. Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:8155">https://doi.org/10.15479/AT:ISTA:8155</a>
  chicago: Grah, Rok. “Gene Regulation across Scales – How Biophysical Constraints
    Shape Evolution.” Institute of Science and Technology Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:8155">https://doi.org/10.15479/AT:ISTA:8155</a>.
  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. <i>Gene Regulation across Scales – How Biophysical Constraints Shape
    Evolution</i>. Institute of Science and Technology Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:8155">10.15479/AT:ISTA:8155</a>.
  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. <i>Proceedings of the National
    Academy of Sciences of the United States of America</i>. 2020;117(12):6504-6549.
    doi:<a href="https://doi.org/10.1073/pnas.1921027117">10.1073/pnas.1921027117</a>
  apa: Bezeljak, U., Loya, H., Kaczmarek, B. M., Saunders, T. E., &#38; Loose, M.
    (2020). Stochastic activation and bistability in a Rab GTPase regulatory network.
    <i>Proceedings of the National Academy of Sciences of the United States of America</i>.
    National Academy of Sciences. <a href="https://doi.org/10.1073/pnas.1921027117">https://doi.org/10.1073/pnas.1921027117</a>
  chicago: Bezeljak, Urban, Hrushikesh Loya, Beata M Kaczmarek, Timothy E. Saunders,
    and Martin Loose. “Stochastic Activation and Bistability in a Rab GTPase Regulatory
    Network.” <i>Proceedings of the National Academy of Sciences of the United States
    of America</i>. National Academy of Sciences, 2020. <a href="https://doi.org/10.1073/pnas.1921027117">https://doi.org/10.1073/pnas.1921027117</a>.
  ieee: U. Bezeljak, H. Loya, B. M. Kaczmarek, T. E. Saunders, and M. Loose, “Stochastic
    activation and bistability in a Rab GTPase regulatory network,” <i>Proceedings
    of the National Academy of Sciences of the United States of America</i>, vol.
    117, no. 12. National Academy of Sciences, pp. 6504–6549, 2020.
  ista: Bezeljak U, Loya H, Kaczmarek BM, Saunders TE, Loose M. 2020. Stochastic activation
    and bistability in a Rab GTPase regulatory network. Proceedings of the National
    Academy of Sciences of the United States of America. 117(12), 6504–6549.
  mla: Bezeljak, Urban, et al. “Stochastic Activation and Bistability in a Rab GTPase
    Regulatory Network.” <i>Proceedings of the National Academy of Sciences of the
    United States of America</i>, vol. 117, no. 12, National Academy of Sciences,
    2020, pp. 6504–49, doi:<a href="https://doi.org/10.1073/pnas.1921027117">10.1073/pnas.1921027117</a>.
  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. <i>bioRxiv</i>.
    2020. doi:<a href="https://doi.org/10.1101/2020.04.08.029405">10.1101/2020.04.08.029405</a>
  apa: Grah, R., Zoller, B., &#38; Tkačik, G. (2020). Normative models of enhancer
    function. <i>bioRxiv</i>. Cold Spring Harbor Laboratory. <a href="https://doi.org/10.1101/2020.04.08.029405">https://doi.org/10.1101/2020.04.08.029405</a>
  chicago: Grah, Rok, Benjamin Zoller, and Gašper Tkačik. “Normative Models of Enhancer
    Function.” <i>BioRxiv</i>. Cold Spring Harbor Laboratory, 2020. <a href="https://doi.org/10.1101/2020.04.08.029405">https://doi.org/10.1101/2020.04.08.029405</a>.
  ieee: R. Grah, B. Zoller, and G. Tkačik, “Normative models of enhancer function,”
    <i>bioRxiv</i>. Cold Spring Harbor Laboratory, 2020.
  ista: Grah R, Zoller B, Tkačik G. 2020. Normative models of enhancer function. bioRxiv,
    <a href="https://doi.org/10.1101/2020.04.08.029405">10.1101/2020.04.08.029405</a>.
  mla: Grah, Rok, et al. “Normative Models of Enhancer Function.” <i>BioRxiv</i>,
    Cold Spring Harbor Laboratory, 2020, doi:<a href="https://doi.org/10.1101/2020.04.08.029405">10.1101/2020.04.08.029405</a>.
  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:<a href="https://doi.org/10.15479/AT:ISTA:8366">10.15479/AT:ISTA:8366</a>'
  apa: 'Guseinov, R. (2020). <i>Computational design of curved thin shells: From glass
    façades to programmable matter</i>. Institute of Science and Technology Austria.
    <a href="https://doi.org/10.15479/AT:ISTA:8366">https://doi.org/10.15479/AT:ISTA:8366</a>'
  chicago: 'Guseinov, Ruslan. “Computational Design of Curved Thin Shells: From Glass
    Façades to Programmable Matter.” Institute of Science and Technology Austria,
    2020. <a href="https://doi.org/10.15479/AT:ISTA:8366">https://doi.org/10.15479/AT:ISTA:8366</a>.'
  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. <i>Computational Design of Curved Thin Shells: From Glass
    Façades to Programmable Matter</i>. Institute of Science and Technology Austria,
    2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:8366">10.15479/AT:ISTA:8366</a>.'
  short: 'R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades
    to Programmable Matter, Institute of Science and Technology Austria, 2020.'
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. <i>ACM Transactions on Graphics</i>. 2020;39(6). doi:<a href="https://doi.org/10.1145/3414685.3417843">10.1145/3414685.3417843</a>
  apa: Gavriil, K., Guseinov, R., Perez Rodriguez, J., Pellis, D., Henderson, P. M.,
    Rist, F., … Bickel, B. (2020). Computational design of cold bent glass façades.
    <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href="https://doi.org/10.1145/3414685.3417843">https://doi.org/10.1145/3414685.3417843</a>
  chicago: Gavriil, Konstantinos, Ruslan Guseinov, Jesus Perez Rodriguez, Davide Pellis,
    Paul M Henderson, Florian Rist, Helmut Pottmann, and Bernd Bickel. “Computational
    Design of Cold Bent Glass Façades.” <i>ACM Transactions on Graphics</i>. Association
    for Computing Machinery, 2020. <a href="https://doi.org/10.1145/3414685.3417843">https://doi.org/10.1145/3414685.3417843</a>.
  ieee: K. Gavriil <i>et al.</i>, “Computational design of cold bent glass façades,”
    <i>ACM Transactions on Graphics</i>, vol. 39, no. 6. Association for Computing
    Machinery, 2020.
  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.”
    <i>ACM Transactions on Graphics</i>, vol. 39, no. 6, 208, Association for Computing
    Machinery, 2020, doi:<a href="https://doi.org/10.1145/3414685.3417843">10.1145/3414685.3417843</a>.
  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. <i>Nature Communications</i>. 2020;11. doi:<a
    href="https://doi.org/10.1038/s41467-019-14015-2">10.1038/s41467-019-14015-2</a>
  apa: Guseinov, R., McMahan, C., Perez Rodriguez, J., Daraio, C., &#38; Bickel, B.
    (2020). Programming temporal morphing of self-actuated shells. <i>Nature Communications</i>.
    Springer Nature. <a href="https://doi.org/10.1038/s41467-019-14015-2">https://doi.org/10.1038/s41467-019-14015-2</a>
  chicago: Guseinov, Ruslan, Connor McMahan, Jesus Perez Rodriguez, Chiara Daraio,
    and Bernd Bickel. “Programming Temporal Morphing of Self-Actuated Shells.” <i>Nature
    Communications</i>. Springer Nature, 2020. <a href="https://doi.org/10.1038/s41467-019-14015-2">https://doi.org/10.1038/s41467-019-14015-2</a>.
  ieee: R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, and B. Bickel, “Programming
    temporal morphing of self-actuated shells,” <i>Nature Communications</i>, vol.
    11. Springer Nature, 2020.
  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.”
    <i>Nature Communications</i>, vol. 11, 237, Springer Nature, 2020, doi:<a href="https://doi.org/10.1038/s41467-019-14015-2">10.1038/s41467-019-14015-2</a>.
  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'
...
---
OA_place: publisher
_id: '7514'
abstract:
- lang: eng
  text: "We study the interacting homogeneous Bose gas in two spatial dimensions in
    the thermodynamic limit at fixed density. We shall be concerned with some mathematical
    aspects of this complicated problem in many-body quantum mechanics. More specifically,
    we consider the dilute limit where the scattering length of the interaction potential,
    which is a measure for the effective range of the potential, is small compared
    to the average distance between the particles. We are interested in a setting
    with positive (i.e., non-zero) temperature. After giving a survey of the relevant
    literature in the field, we provide some facts and examples to set expectations
    for the two-dimensional system. The crucial difference to the three-dimensional
    system is that there is no Bose–Einstein condensate at positive temperature due
    to the Hohenberg–Mermin–Wagner theorem. However, it turns out that an asymptotic
    formula for the free energy holds similarly to the three-dimensional case.\r\nWe
    motivate this formula by considering a toy model with δ interaction potential.
    By restricting this model Hamiltonian to certain trial states with a quasi-condensate
    we obtain an upper bound for the free energy that still has the quasi-condensate
    fraction as a free parameter. When minimizing over the quasi-condensate fraction,
    we obtain the Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity,
    which plays an important role in our rigorous contribution. The mathematically
    rigorous result that we prove concerns the specific free energy in the dilute
    limit. We give upper and lower bounds on the free energy in terms of the free
    energy of the non-interacting system and a correction term coming from the interaction.
    Both bounds match and thus we obtain the leading term of an asymptotic approximation
    in the dilute limit, provided the thermal wavelength of the particles is of the
    same order (or larger) than the average distance between the particles. The remarkable
    feature of this result is its generality: the correction term depends on the interaction
    potential only through its scattering length and it holds for all nonnegative
    interaction potentials with finite scattering length that are measurable. In particular,
    this allows to model an interaction of hard disks."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Simon
  full_name: Mayer, Simon
  id: 30C4630A-F248-11E8-B48F-1D18A9856A87
  last_name: Mayer
citation:
  ama: Mayer S. The free energy of a dilute two-dimensional Bose gas. 2020. doi:<a
    href="https://doi.org/10.15479/AT:ISTA:7514">10.15479/AT:ISTA:7514</a>
  apa: Mayer, S. (2020). <i>The free energy of a dilute two-dimensional Bose gas</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:7514">https://doi.org/10.15479/AT:ISTA:7514</a>
  chicago: Mayer, Simon. “The Free Energy of a Dilute Two-Dimensional Bose Gas.” Institute
    of Science and Technology Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:7514">https://doi.org/10.15479/AT:ISTA:7514</a>.
  ieee: S. Mayer, “The free energy of a dilute two-dimensional Bose gas,” Institute
    of Science and Technology Austria, 2020.
  ista: Mayer S. 2020. The free energy of a dilute two-dimensional Bose gas. Institute
    of Science and Technology Austria.
  mla: Mayer, Simon. <i>The Free Energy of a Dilute Two-Dimensional Bose Gas</i>.
    Institute of Science and Technology Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:7514">10.15479/AT:ISTA:7514</a>.
  short: S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, Institute
    of Science and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-02-24T09:17:27Z
date_published: 2020-02-24T00:00:00Z
date_updated: 2026-04-08T07:25:40Z
day: '24'
ddc:
- '510'
degree_awarded: PhD
department:
- _id: RoSe
- _id: GradSch
doi: 10.15479/AT:ISTA:7514
ec_funded: 1
file:
- access_level: open_access
  checksum: b4de7579ddc1dbdd44ff3f17c48395f6
  content_type: application/pdf
  creator: dernst
  date_created: 2020-02-24T09:15:06Z
  date_updated: 2020-07-14T12:47:59Z
  file_id: '7515'
  file_name: thesis.pdf
  file_size: 1563429
  relation: main_file
- access_level: closed
  checksum: ad7425867b52d7d9e72296e87bc9cb67
  content_type: application/x-zip-compressed
  creator: dernst
  date_created: 2020-02-24T09:15:16Z
  date_updated: 2020-07-14T12:47:59Z
  file_id: '7516'
  file_name: thesis_source.zip
  file_size: 2028038
  relation: source_file
file_date_updated: 2020-07-14T12:47:59Z
has_accepted_license: '1'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: '148'
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '694227'
  name: Analysis of quantum many-body systems
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '7524'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
title: The free energy of a dilute two-dimensional Bose gas
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'
...
---
_id: '8375'
abstract:
- lang: eng
  text: 'Supplementary movies showing the following sequences for spatio-temporarily
    programmed shells: input geometry and actuation time landscape; comparison of
    morphing processes from a camera recording and a simulation; final actuated shape.'
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. Supplementary data for “Computational design of curved thin shells:
    from glass façades to programmable matter.” 2020. doi:<a href="https://doi.org/10.15479/AT:ISTA:8375">10.15479/AT:ISTA:8375</a>'
  apa: 'Guseinov, R. (2020). Supplementary data for “Computational design of curved
    thin shells: from glass façades to programmable matter.” Institute of Science
    and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:8375">https://doi.org/10.15479/AT:ISTA:8375</a>'
  chicago: 'Guseinov, Ruslan. “Supplementary Data for ‘Computational Design of Curved
    Thin Shells: From Glass Façades to Programmable Matter.’” Institute of Science
    and Technology Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:8375">https://doi.org/10.15479/AT:ISTA:8375</a>.'
  ieee: 'R. Guseinov, “Supplementary data for ‘Computational design of curved thin
    shells: from glass façades to programmable matter.’” Institute of Science and
    Technology Austria, 2020.'
  ista: 'Guseinov R. 2020. Supplementary data for ‘Computational design of curved
    thin shells: from glass façades to programmable matter’, Institute of Science
    and Technology Austria, <a href="https://doi.org/10.15479/AT:ISTA:8375">10.15479/AT:ISTA:8375</a>.'
  mla: 'Guseinov, Ruslan. <i>Supplementary Data for “Computational Design of Curved
    Thin Shells: From Glass Façades to Programmable Matter.”</i> Institute of Science
    and Technology Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:8375">10.15479/AT:ISTA:8375</a>.'
  short: R. Guseinov, (2020).
contributor:
- contributor_type: researcher
  first_name: Ruslan
  id: 3AB45EE2-F248-11E8-B48F-1D18A9856A87
  last_name: Guseinov
  orcid: 0000-0001-9819-5077
- contributor_type: researcher
  first_name: Connor
  last_name: McMahan
- contributor_type: researcher
  first_name: Jesus
  id: 2DC83906-F248-11E8-B48F-1D18A9856A87
  last_name: Perez Rodriguez
- contributor_type: researcher
  first_name: Chiara
  last_name: Daraio
- contributor_type: researcher
  first_name: Bernd
  id: 49876194-F248-11E8-B48F-1D18A9856A87
  last_name: Bickel
  orcid: 0000-0001-6511-9385
corr_author: '1'
date_created: 2020-09-11T09:52:54Z
date_published: 2020-09-21T00:00:00Z
date_updated: 2026-04-08T07:25:22Z
day: '21'
ddc:
- '000'
department:
- _id: BeBi
doi: 10.15479/AT:ISTA:8375
ec_funded: 1
file:
- access_level: open_access
  checksum: 4029ffd65fb82ef2366b2fc2a4908e16
  content_type: video/mp4
  creator: rguseino
  date_created: 2020-09-11T09:45:21Z
  date_updated: 2020-09-11T09:45:21Z
  file_id: '8376'
  file_name: supplementary_movie_1.mp4
  file_size: 29214988
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 8ed03b04d80f1a4e622cb22e6100afd8
  content_type: video/mp4
  creator: rguseino
  date_created: 2020-09-11T09:45:25Z
  date_updated: 2020-09-11T09:45:25Z
  file_id: '8377'
  file_name: supplementary_movie_2.mp4
  file_size: 28449475
  relation: main_file
  success: 1
- access_level: open_access
  checksum: ad6864afb5e694e5c52a88fba4e02eea
  content_type: video/mp4
  creator: rguseino
  date_created: 2020-09-11T09:45:28Z
  date_updated: 2020-09-11T09:45:28Z
  file_id: '8378'
  file_name: supplementary_movie_3.mp4
  file_size: 26315853
  relation: main_file
  success: 1
- access_level: open_access
  checksum: b079cef7871fe1afb69af0e2b099f3b1
  content_type: video/mp4
  creator: rguseino
  date_created: 2020-09-11T09:45:33Z
  date_updated: 2020-09-11T09:45:33Z
  file_id: '8379'
  file_name: supplementary_movie_4.mp4
  file_size: 25198755
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 9d1d48a8ed5c109a999c51b044ee523d
  content_type: video/mp4
  creator: rguseino
  date_created: 2020-09-11T09:45:36Z
  date_updated: 2020-09-11T09:45:36Z
  file_id: '8380'
  file_name: supplementary_movie_5.mp4
  file_size: 29011354
  relation: main_file
  success: 1
- access_level: open_access
  checksum: d414d0059e982d752d218756b3c3ce05
  content_type: text/plain
  creator: rguseino
  date_created: 2020-09-11T09:52:36Z
  date_updated: 2020-09-11T09:52:36Z
  file_id: '8381'
  file_name: readme.txt
  file_size: 586
  relation: main_file
  success: 1
file_date_updated: 2020-09-11T09:52:36Z
has_accepted_license: '1'
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 24F9549A-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '715767'
  name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and
    Modeling'
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '8366'
    relation: used_in_publication
    status: public
status: public
title: 'Supplementary data for "Computational design of curved thin shells: from glass
  façades to programmable matter"'
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: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
OA_place: publisher
_id: '8156'
abstract:
- lang: eng
  text: 'We present solutions to several problems originating from geometry and discrete
    mathematics: existence of equipartitions, maps without Tverberg multiple points,
    and inscribing quadrilaterals. Equivariant obstruction theory is the natural topological
    approach to these type of questions. However, for the specific problems we consider
    it had yielded only partial or no results. We get our results by complementing
    equivariant obstruction theory with other techniques from topology and geometry.'
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Sergey
  full_name: Avvakumov, Sergey
  id: 3827DAC8-F248-11E8-B48F-1D18A9856A87
  last_name: Avvakumov
  orcid: 0000-0002-7840-5062
citation:
  ama: Avvakumov S. Topological methods in geometry and discrete mathematics. 2020.
    doi:<a href="https://doi.org/10.15479/AT:ISTA:8156">10.15479/AT:ISTA:8156</a>
  apa: Avvakumov, S. (2020). <i>Topological methods in geometry and discrete mathematics</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:8156">https://doi.org/10.15479/AT:ISTA:8156</a>
  chicago: Avvakumov, Sergey. “Topological Methods in Geometry and Discrete Mathematics.”
    Institute of Science and Technology Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:8156">https://doi.org/10.15479/AT:ISTA:8156</a>.
  ieee: S. Avvakumov, “Topological methods in geometry and discrete mathematics,”
    Institute of Science and Technology Austria, 2020.
  ista: Avvakumov S. 2020. Topological methods in geometry and discrete mathematics.
    Institute of Science and Technology Austria.
  mla: Avvakumov, Sergey. <i>Topological Methods in Geometry and Discrete Mathematics</i>.
    Institute of Science and Technology Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:8156">10.15479/AT:ISTA:8156</a>.
  short: S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, Institute
    of Science and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-07-23T09:51:29Z
date_published: 2020-07-24T00:00:00Z
date_updated: 2026-04-08T07:25:54Z
day: '24'
ddc:
- '514'
degree_awarded: PhD
department:
- _id: UlWa
doi: 10.15479/AT:ISTA:8156
file:
- access_level: closed
  content_type: application/zip
  creator: savvakum
  date_created: 2020-07-27T12:44:51Z
  date_updated: 2020-07-27T12:44:51Z
  file_id: '8178'
  file_name: source.zip
  file_size: 1061740
  relation: source_file
- access_level: open_access
  content_type: application/pdf
  creator: savvakum
  date_created: 2020-07-27T12:46:53Z
  date_updated: 2020-07-27T12:46:53Z
  file_id: '8179'
  file_name: thesis_pdfa.pdf
  file_size: 1336501
  relation: main_file
  success: 1
file_date_updated: 2020-07-27T12:46:53Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '119'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '8182'
    relation: part_of_dissertation
    status: public
  - id: '8184'
    relation: part_of_dissertation
    status: public
  - id: '8185'
    relation: part_of_dissertation
    status: public
  - id: '6355'
    relation: part_of_dissertation
    status: public
  - id: '75'
    relation: part_of_dissertation
    status: public
  - id: '8183'
    relation: part_of_dissertation
    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
title: Topological methods in geometry and discrete mathematics
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
OA_place: publisher
_id: '8358'
abstract:
- lang: eng
  text: "During bacterial cell division, the tubulin-homolog FtsZ forms a ring-like
    structure at the center of the cell. This so-called Z-ring acts as a scaffold
    recruiting several division-related proteins to mid-cell and plays a key role
    in distributing proteins at the division site, a feature driven by the treadmilling
    motion of FtsZ filaments around the septum. What regulates the architecture, dynamics
    and stability of the Z-ring is still poorly understood, but FtsZ-associated proteins
    (Zaps) are known to play an important role. \r\nAdvances in fluorescence microscopy
    and in vitro reconstitution experiments have helped to shed light into some of
    the dynamic properties of these complex systems, but methods that allow to collect
    and analyze large quantitative data sets of the underlying polymer dynamics are
    still missing.\r\nHere, using an in vitro reconstitution approach, we studied
    how different Zaps affect FtsZ filament dynamics and organization into large-scale
    patterns, giving special emphasis to the role of the well-conserved protein ZapA.
    For this purpose, we use high-resolution fluorescence microscopy combined with
    novel image analysis workfows to study pattern organization and polymerization
    dynamics of active filaments. We quantified the influence of Zaps on FtsZ on three
    diferent spatial scales: the large-scale organization of the membrane-bound filament
    network, the underlying\r\npolymerization dynamics and the behavior of single
    molecules.\r\nWe found that ZapA cooperatively increases the spatial order of
    the filament network, binds only transiently to FtsZ filaments and has no effect
    on filament length and treadmilling velocity. Our data provides a model for how
    FtsZ-associated proteins can increase the precision and stability of the bacterial
    cell division machinery in a\r\nswitch-like manner, without compromising filament
    dynamics. Furthermore, we believe that our automated quantitative methods can
    be used to analyze a large variety of dynamic cytoskeletal systems, using standard
    time-lapse\r\nmovies of homogeneously labeled proteins obtained from experiments
    in vitro or even inside the living cell.\r\n"
acknowledged_ssus:
- _id: Bio
acknowledgement: I should also express my gratitude to the bioimaging facility at
  IST Austria, for their assistance with the TIRF setup over the years, and especially
  to Christoph Sommer, who gave me a lot of input when I was starting to dive into
  programming.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Paulo R
  full_name: Dos Santos Caldas, Paulo R
  id: 38FCDB4C-F248-11E8-B48F-1D18A9856A87
  last_name: Dos Santos Caldas
  orcid: 0000-0001-6730-4461
citation:
  ama: Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in
    cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:<a href="https://doi.org/10.15479/AT:ISTA:8358">10.15479/AT:ISTA:8358</a>
  apa: Dos Santos Caldas, P. R. (2020). <i>Organization and dynamics of treadmilling
    filaments in cytoskeletal networks of FtsZ and its crosslinkers</i>. Institute
    of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:8358">https://doi.org/10.15479/AT:ISTA:8358</a>
  chicago: Dos Santos Caldas, Paulo R. “Organization and Dynamics of Treadmilling
    Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers.” Institute of
    Science and Technology Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:8358">https://doi.org/10.15479/AT:ISTA:8358</a>.
  ieee: P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments
    in cytoskeletal networks of FtsZ and its crosslinkers,” Institute of Science and
    Technology Austria, 2020.
  ista: Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments
    in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and
    Technology Austria.
  mla: Dos Santos Caldas, Paulo R. <i>Organization and Dynamics of Treadmilling Filaments
    in Cytoskeletal Networks of FtsZ and Its Crosslinkers</i>. Institute of Science
    and Technology Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:8358">10.15479/AT:ISTA:8358</a>.
  short: P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments
    in Cytoskeletal Networks of FtsZ and Its Crosslinkers, Institute of Science and
    Technology Austria, 2020.
corr_author: '1'
date_created: 2020-09-10T09:26:49Z
date_published: 2020-09-10T00:00:00Z
date_updated: 2026-04-08T07:26:30Z
day: '10'
ddc:
- '572'
degree_awarded: PhD
department:
- _id: MaLo
doi: 10.15479/AT:ISTA:8358
file:
- access_level: open_access
  checksum: 882f93fe9c351962120e2669b84bf088
  content_type: application/pdf
  creator: pcaldas
  date_created: 2020-09-10T12:11:29Z
  date_updated: 2020-09-10T12:11:29Z
  file_id: '8364'
  file_name: phd_thesis_pcaldas.pdf
  file_size: 141602462
  relation: main_file
  success: 1
- access_level: closed
  checksum: 70cc9e399c4e41e6e6ac445ae55e8558
  content_type: application/x-zip-compressed
  creator: pcaldas
  date_created: 2020-09-10T12:18:17Z
  date_updated: 2020-09-11T07:48:10Z
  file_id: '8365'
  file_name: phd_thesis_latex_pcaldas.zip
  file_size: 450437458
  relation: source_file
file_date_updated: 2020-09-11T07:48:10Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '135'
publication_identifier:
  isbn:
  - 978-3-99078-009-1
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '7197'
    relation: part_of_dissertation
    status: public
  - id: '7572'
    relation: dissertation_contains
    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: Organization and dynamics of treadmilling filaments in cytoskeletal networks
  of FtsZ and its crosslinkers
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'
...
---
_id: '8587'
abstract:
- lang: eng
  text: Inspired by the possibility to experimentally manipulate and enhance chemical
    reactivity in helium nanodroplets, we investigate the effective interaction and
    the resulting correlations between two diatomic molecules immersed in a bath of
    bosons. By analogy with the bipolaron, we introduce the biangulon quasiparticle
    describing two rotating molecules that align with respect to each other due to
    the effective attractive interaction mediated by the excitations of the bath.
    We study this system in different parameter regimes and apply several theoretical
    approaches to describe its properties. Using a Born–Oppenheimer approximation,
    we investigate the dependence of the effective intermolecular interaction on the
    rotational state of the two molecules. In the strong-coupling regime, a product-state
    ansatz shows that the molecules tend to have a strong alignment in the ground
    state. To investigate the system in the weak-coupling regime, we apply a one-phonon
    excitation variational ansatz, which allows us to access the energy spectrum.
    In comparison to the angulon quasiparticle, the biangulon shows shifted angulon
    instabilities and an additional spectral instability, where resonant angular momentum
    transfer between the molecules and the bath takes place. These features are proposed
    as an experimentally observable signature for the formation of the biangulon quasiparticle.
    Finally, by using products of single angulon and bare impurity wave functions
    as basis states, we introduce a diagonalization scheme that allows us to describe
    the transition from two separated angulons to a biangulon as a function of the
    distance between the two molecules.
acknowledgement: We are grateful to Areg Ghazaryan for valuable discussions. M.L.
  acknowledges support from the Austrian Science Fund (FWF) under Project No. P29902-N27
  and from the European Research Council (ERC) Starting Grant No. 801770 (ANGULON).
  G.B. acknowledges support from the Austrian Science Fund (FWF) under Project No.
  M2461-N27. A.D. acknowledges funding from the European Union’s Horizon 2020 research
  and innovation programme under the European Research Council (ERC) Grant Agreement
  No. 694227 and under the Marie Sklodowska-Curie Grant Agreement No. 836146. R.S.
  was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)
  under Germany’s Excellence Strategy – EXC-2111 – 390814868.
article_number: '164302'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Xiang
  full_name: Li, Xiang
  id: 4B7E523C-F248-11E8-B48F-1D18A9856A87
  last_name: Li
- first_name: Enderalp
  full_name: Yakaboylu, Enderalp
  id: 38CB71F6-F248-11E8-B48F-1D18A9856A87
  last_name: Yakaboylu
  orcid: 0000-0001-5973-0874
- first_name: Giacomo
  full_name: Bighin, Giacomo
  id: 4CA96FD4-F248-11E8-B48F-1D18A9856A87
  last_name: Bighin
  orcid: 0000-0001-8823-9777
- first_name: Richard
  full_name: Schmidt, Richard
  last_name: Schmidt
- first_name: Mikhail
  full_name: Lemeshko, Mikhail
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
- first_name: Andreas
  full_name: Deuchert, Andreas
  id: 4DA65CD0-F248-11E8-B48F-1D18A9856A87
  last_name: Deuchert
  orcid: 0000-0003-3146-6746
citation:
  ama: Li X, Yakaboylu E, Bighin G, Schmidt R, Lemeshko M, Deuchert A. Intermolecular
    forces and correlations mediated by a phonon bath. <i>The Journal of Chemical
    Physics</i>. 2020;152(16). doi:<a href="https://doi.org/10.1063/1.5144759">10.1063/1.5144759</a>
  apa: Li, X., Yakaboylu, E., Bighin, G., Schmidt, R., Lemeshko, M., &#38; Deuchert,
    A. (2020). Intermolecular forces and correlations mediated by a phonon bath. <i>The
    Journal of Chemical Physics</i>. AIP Publishing. <a href="https://doi.org/10.1063/1.5144759">https://doi.org/10.1063/1.5144759</a>
  chicago: Li, Xiang, Enderalp Yakaboylu, Giacomo Bighin, Richard Schmidt, Mikhail
    Lemeshko, and Andreas Deuchert. “Intermolecular Forces and Correlations Mediated
    by a Phonon Bath.” <i>The Journal of Chemical Physics</i>. AIP Publishing, 2020.
    <a href="https://doi.org/10.1063/1.5144759">https://doi.org/10.1063/1.5144759</a>.
  ieee: X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, and A. Deuchert,
    “Intermolecular forces and correlations mediated by a phonon bath,” <i>The Journal
    of Chemical Physics</i>, vol. 152, no. 16. AIP Publishing, 2020.
  ista: Li X, Yakaboylu E, Bighin G, Schmidt R, Lemeshko M, Deuchert A. 2020. Intermolecular
    forces and correlations mediated by a phonon bath. The Journal of Chemical Physics.
    152(16), 164302.
  mla: Li, Xiang, et al. “Intermolecular Forces and Correlations Mediated by a Phonon
    Bath.” <i>The Journal of Chemical Physics</i>, vol. 152, no. 16, 164302, AIP Publishing,
    2020, doi:<a href="https://doi.org/10.1063/1.5144759">10.1063/1.5144759</a>.
  short: X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, A. Deuchert, The
    Journal of Chemical Physics 152 (2020).
corr_author: '1'
date_created: 2020-09-30T10:33:17Z
date_published: 2020-04-27T00:00:00Z
date_updated: 2026-04-08T07:26:09Z
day: '27'
department:
- _id: MiLe
- _id: RoSe
doi: 10.1063/1.5144759
ec_funded: 1
external_id:
  arxiv:
  - '1912.02658'
  isi:
  - '000530448300001'
  pmid:
  - '32357791'
intvolume: '       152'
isi: 1
issue: '16'
keyword:
- Physical and Theoretical Chemistry
- General Physics and Astronomy
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1912.02658
month: '04'
oa: 1
oa_version: Preprint
pmid: 1
project:
- _id: 26031614-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P29902
  name: Quantum rotations in the presence of a many-body environment
- _id: 2688CF98-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '801770'
  name: 'Angulon: physics and applications of a new quasiparticle'
- _id: 26986C82-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: M02641
  name: A path-integral approach to composite impurities
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '694227'
  name: Analysis of quantum many-body systems
publication: The Journal of Chemical Physics
publication_identifier:
  eissn:
  - 1089-7690
  issn:
  - 0021-9606
publication_status: published
publisher: AIP Publishing
quality_controlled: '1'
related_material:
  record:
  - id: '8958'
    relation: dissertation_contains
    status: public
status: public
title: Intermolecular forces and correlations mediated by a phonon bath
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 152
year: '2020'
...
---
OA_place: publisher
_id: '8958'
abstract:
- lang: eng
  text: "The oft-quoted dictum by Arthur Schawlow: ``A diatomic molecule has one atom
    too many'' has been disavowed. Inspired by the possibility to experimentally manipulate
    and enhance chemical reactivity in helium nanodroplets, we investigate the rotation
    of coupled cold molecules in the presence of a many-body environment.\r\nIn this
    thesis, we introduce new variational approaches to quantum impurities and apply
    them to the Fröhlich polaron - a quasiparticle formed out of an electron (or other
    point-like impurity) in a polar medium, and to the angulon - a quasiparticle formed
    out of a rotating molecule in a bosonic bath.\r\nWith this theoretical toolbox,
    we reveal the self-localization transition for the angulon quasiparticle. We show
    that, unlike for polarons, self-localization of angulons occurs at finite impurity-bath
    coupling already at the mean-field level. The transition is accompanied by the
    spherical-symmetry breaking of the angulon ground state and a discontinuity in
    the first derivative of the ground-state energy. Moreover, the type of symmetry
    breaking is dictated by the symmetry of the microscopic impurity-bath interaction,
    which leads to a number of distinct self-localized states. \r\nFor the system
    containing multiple impurities, by analogy with the bipolaron, we introduce the
    biangulon quasiparticle describing two rotating molecules that align with respect
    to each other due to the effective attractive interaction mediated by the excitations
    of the bath. We study this system from the strong-coupling regime to the weak
    molecule-bath interaction regime. We show that the molecules tend to have a strong
    alignment in the ground state, the biangulon shows shifted angulon instabilities
    and an additional spectral instability, where resonant angular momentum transfer
    between the molecules and the bath takes place. Finally, we introduce a diagonalization
    scheme that allows us to describe the transition from two separated angulons to
    a biangulon as a function of the distance between the two molecules."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Xiang
  full_name: Li, Xiang
  id: 4B7E523C-F248-11E8-B48F-1D18A9856A87
  last_name: Li
citation:
  ama: Li X. Rotation of coupled cold molecules in the presence of a many-body environment.
    2020. doi:<a href="https://doi.org/10.15479/AT:ISTA:8958">10.15479/AT:ISTA:8958</a>
  apa: Li, X. (2020). <i>Rotation of coupled cold molecules in the presence of a many-body
    environment</i>. Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:8958">https://doi.org/10.15479/AT:ISTA:8958</a>
  chicago: Li, Xiang. “Rotation of Coupled Cold Molecules in the Presence of a Many-Body
    Environment.” Institute of Science and Technology Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:8958">https://doi.org/10.15479/AT:ISTA:8958</a>.
  ieee: X. Li, “Rotation of coupled cold molecules in the presence of a many-body
    environment,” Institute of Science and Technology Austria, 2020.
  ista: Li X. 2020. Rotation of coupled cold molecules in the presence of a many-body
    environment. Institute of Science and Technology Austria.
  mla: Li, Xiang. <i>Rotation of Coupled Cold Molecules in the Presence of a Many-Body
    Environment</i>. Institute of Science and Technology Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:8958">10.15479/AT:ISTA:8958</a>.
  short: X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body
    Environment, Institute of Science and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-12-21T09:44:30Z
date_published: 2020-12-21T00:00:00Z
date_updated: 2026-04-08T07:26:10Z
day: '21'
ddc:
- '539'
degree_awarded: PhD
department:
- _id: MiLe
doi: 10.15479/AT:ISTA:8958
ec_funded: 1
file:
- access_level: open_access
  checksum: 3994c54a1241451d561db1d4f43bad30
  content_type: application/pdf
  creator: xli
  date_created: 2020-12-22T10:55:56Z
  date_updated: 2020-12-22T10:55:56Z
  file_id: '8967'
  file_name: THESIS_Xiang_Li.pdf
  file_size: 3622305
  relation: main_file
  success: 1
- access_level: closed
  checksum: 0954ecfc5554c05615c14de803341f00
  content_type: application/x-zip-compressed
  creator: xli
  date_created: 2020-12-22T10:56:03Z
  date_updated: 2020-12-30T07:18:03Z
  file_id: '8968'
  file_name: THESIS_Xiang_Li.zip
  file_size: 4018859
  relation: source_file
file_date_updated: 2020-12-30T07:18:03Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: '125'
project:
- _id: 26031614-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P29902
  name: Quantum rotations in the presence of a many-body environment
- _id: 2688CF98-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '801770'
  name: 'Angulon: physics and applications of a new quasiparticle'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '1120'
    relation: part_of_dissertation
    status: public
  - id: '8587'
    relation: part_of_dissertation
    status: public
  - id: '5886'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Mikhail
  full_name: Lemeshko, Mikhail
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
title: Rotation of coupled cold molecules in the presence of a many-body environment
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
_id: '7572'
abstract:
- lang: eng
  text: The polymerization–depolymerization dynamics of cytoskeletal proteins play
    essential roles in the self-organization of cytoskeletal structures, in eukaryotic
    as well as prokaryotic cells. While advances in fluorescence microscopy and in
    vitro reconstitution experiments have helped to study the dynamic properties of
    these complex systems, methods that allow to collect and analyze large quantitative
    datasets of the underlying polymer dynamics are still missing. Here, we present
    a novel image analysis workflow to study polymerization dynamics of active filaments
    in a nonbiased, highly automated manner. Using treadmilling filaments of the bacterial
    tubulin FtsZ as an example, we demonstrate that our method is able to specifically
    detect, track and analyze growth and shrinkage of polymers, even in dense networks
    of filaments. We believe that this automated method can facilitate the analysis
    of a large variety of dynamic cytoskeletal systems, using standard time-lapse
    movies obtained from experiments in vitro as well as in the living cell. Moreover,
    we provide scripts implementing this method as supplementary material.
alternative_title:
- Methods in Cell Biology
article_processing_charge: No
author:
- first_name: Paulo R
  full_name: Dos Santos Caldas, Paulo R
  id: 38FCDB4C-F248-11E8-B48F-1D18A9856A87
  last_name: Dos Santos Caldas
  orcid: 0000-0001-6730-4461
- first_name: Philipp
  full_name: Radler, Philipp
  id: 40136C2A-F248-11E8-B48F-1D18A9856A87
  last_name: Radler
  orcid: '0000-0001-9198-2182 '
- first_name: Christoph M
  full_name: Sommer, Christoph M
  id: 4DF26D8C-F248-11E8-B48F-1D18A9856A87
  last_name: Sommer
  orcid: 0000-0003-1216-9105
- first_name: Martin
  full_name: Loose, Martin
  id: 462D4284-F248-11E8-B48F-1D18A9856A87
  last_name: Loose
  orcid: 0000-0001-7309-9724
citation:
  ama: 'Dos Santos Caldas PR, Radler P, Sommer CM, Loose M. Computational analysis
    of filament polymerization dynamics in cytoskeletal networks. In: Tran P, ed.
    <i>Methods in Cell Biology</i>. Vol 158. Elsevier; 2020:145-161. doi:<a href="https://doi.org/10.1016/bs.mcb.2020.01.006">10.1016/bs.mcb.2020.01.006</a>'
  apa: Dos Santos Caldas, P. R., Radler, P., Sommer, C. M., &#38; Loose, M. (2020).
    Computational analysis of filament polymerization dynamics in cytoskeletal networks.
    In P. Tran (Ed.), <i>Methods in Cell Biology</i> (Vol. 158, pp. 145–161). Elsevier.
    <a href="https://doi.org/10.1016/bs.mcb.2020.01.006">https://doi.org/10.1016/bs.mcb.2020.01.006</a>
  chicago: Dos Santos Caldas, Paulo R, Philipp Radler, Christoph M Sommer, and Martin
    Loose. “Computational Analysis of Filament Polymerization Dynamics in Cytoskeletal
    Networks.” In <i>Methods in Cell Biology</i>, edited by Phong  Tran, 158:145–61.
    Elsevier, 2020. <a href="https://doi.org/10.1016/bs.mcb.2020.01.006">https://doi.org/10.1016/bs.mcb.2020.01.006</a>.
  ieee: P. R. Dos Santos Caldas, P. Radler, C. M. Sommer, and M. Loose, “Computational
    analysis of filament polymerization dynamics in cytoskeletal networks,” in <i>Methods
    in Cell Biology</i>, vol. 158, P. Tran, Ed. Elsevier, 2020, pp. 145–161.
  ista: 'Dos Santos Caldas PR, Radler P, Sommer CM, Loose M. 2020.Computational analysis
    of filament polymerization dynamics in cytoskeletal networks. In: Methods in Cell
    Biology. Methods in Cell Biology, vol. 158, 145–161.'
  mla: Dos Santos Caldas, Paulo R., et al. “Computational Analysis of Filament Polymerization
    Dynamics in Cytoskeletal Networks.” <i>Methods in Cell Biology</i>, edited by
    Phong  Tran, vol. 158, Elsevier, 2020, pp. 145–61, doi:<a href="https://doi.org/10.1016/bs.mcb.2020.01.006">10.1016/bs.mcb.2020.01.006</a>.
  short: P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.),
    Methods in Cell Biology, Elsevier, 2020, pp. 145–161.
date_created: 2020-03-08T23:00:47Z
date_published: 2020-02-27T00:00:00Z
date_updated: 2026-04-08T07:26:30Z
day: '27'
department:
- _id: MaLo
doi: 10.1016/bs.mcb.2020.01.006
ec_funded: 1
editor:
- first_name: 'Phong '
  full_name: 'Tran, Phong '
  last_name: Tran
external_id:
  isi:
  - '000611826500008'
intvolume: '       158'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1101/839571
month: '02'
oa: 1
oa_version: Preprint
page: 145-161
project:
- _id: 2595697A-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '679239'
  name: Self-Organization of the Bacterial Cell
- _id: 260D98C8-B435-11E9-9278-68D0E5697425
  name: Reconstitution of Bacterial Cell Division Using Purified Components
publication: Methods in Cell Biology
publication_identifier:
  issn:
  - 0091-679X
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
  record:
  - id: '8358'
    relation: part_of_dissertation
    status: public
scopus_import: '1'
status: public
title: Computational analysis of filament polymerization dynamics in cytoskeletal
  networks
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 158
year: '2020'
...
---
OA_place: publisher
_id: '8390'
abstract:
- lang: eng
  text: "Deep neural networks have established a new standard for data-dependent feature
    extraction pipelines in the Computer Vision literature. Despite their remarkable
    performance in the standard supervised learning scenario, i.e. when models are
    trained with labeled data and tested on samples that follow a similar distribution,
    neural networks have been shown to struggle with more advanced generalization
    abilities, such as transferring knowledge across visually different domains, or
    generalizing to new unseen combinations of known concepts. In this thesis we argue
    that, in contrast to the usual black-box behavior of neural networks, leveraging
    more structured internal representations is a promising direction\r\nfor tackling
    such problems. In particular, we focus on two forms of structure. First, we tackle
    modularity: We show that (i) compositional architectures are a natural tool for
    modeling reasoning tasks, in that they efficiently capture their combinatorial
    nature, which is key for generalizing beyond the compositions seen during training.
    We investigate how to to learn such models, both formally and experimentally,
    for the task of abstract visual reasoning. Then, we show that (ii) in some settings,
    modularity allows us to efficiently break down complex tasks into smaller, easier,
    modules, thereby improving computational efficiency; We study this behavior in
    the context of generative models for colorization, as well as for small objects
    detection. Secondly, we investigate the inherently layered structure of representations
    learned by neural networks, and analyze its role in the context of transfer learning
    and domain adaptation across visually\r\ndissimilar domains. "
acknowledged_ssus:
- _id: CampIT
- _id: ScienComp
acknowledgement: Last but not least, I would like to acknowledge the support of the
  IST IT and scientific computing team for helping provide a great work environment.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Amélie
  full_name: Royer, Amélie
  id: 3811D890-F248-11E8-B48F-1D18A9856A87
  last_name: Royer
  orcid: 0000-0002-8407-0705
citation:
  ama: Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning
    models. 2020. doi:<a href="https://doi.org/10.15479/AT:ISTA:8390">10.15479/AT:ISTA:8390</a>
  apa: Royer, A. (2020). <i>Leveraging structure in Computer Vision tasks for flexible
    Deep Learning models</i>. Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:8390">https://doi.org/10.15479/AT:ISTA:8390</a>
  chicago: Royer, Amélie. “Leveraging Structure in Computer Vision Tasks for Flexible
    Deep Learning Models.” Institute of Science and Technology Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:8390">https://doi.org/10.15479/AT:ISTA:8390</a>.
  ieee: A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep
    Learning models,” Institute of Science and Technology Austria, 2020.
  ista: Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible
    Deep Learning models. Institute of Science and Technology Austria.
  mla: Royer, Amélie. <i>Leveraging Structure in Computer Vision Tasks for Flexible
    Deep Learning Models</i>. Institute of Science and Technology Austria, 2020, doi:<a
    href="https://doi.org/10.15479/AT:ISTA:8390">10.15479/AT:ISTA:8390</a>.
  short: A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep
    Learning Models, Institute of Science and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-09-14T13:42:09Z
date_published: 2020-09-14T00:00:00Z
date_updated: 2026-04-08T07:26:44Z
day: '14'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: ChLa
doi: 10.15479/AT:ISTA:8390
file:
- access_level: open_access
  checksum: c914d2f88846032f3d8507734861b6ee
  content_type: application/pdf
  creator: dernst
  date_created: 2020-09-14T13:39:14Z
  date_updated: 2020-09-14T13:39:14Z
  file_id: '8391'
  file_name: 2020_Thesis_Royer.pdf
  file_size: 30224591
  relation: main_file
  success: 1
- access_level: closed
  checksum: ae98fb35d912cff84a89035ae5794d3c
  content_type: application/x-zip-compressed
  creator: dernst
  date_created: 2020-09-14T13:39:17Z
  date_updated: 2020-09-14T13:39:17Z
  file_id: '8392'
  file_name: thesis_sources.zip
  file_size: 74227627
  relation: main_file
file_date_updated: 2020-09-14T13:39:17Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '197'
publication_identifier:
  isbn:
  - 978-3-99078-007-7
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '7936'
    relation: part_of_dissertation
    status: public
  - id: '8092'
    relation: part_of_dissertation
    status: public
  - id: '911'
    relation: part_of_dissertation
    status: public
  - id: '8193'
    relation: part_of_dissertation
    status: public
  - id: '7937'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
title: Leveraging structure in Computer Vision tasks for flexible Deep Learning models
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'
...
