---
_id: '9629'
abstract:
- lang: eng
  text: Intestinal organoids derived from single cells undergo complex crypt–villus
    patterning and morphogenesis. However, the nature and coordination of the underlying
    forces remains poorly characterized. Here, using light-sheet microscopy and large-scale
    imaging quantification, we demonstrate that crypt formation coincides with a stark
    reduction in lumen volume. We develop a 3D biophysical model to computationally
    screen different mechanical scenarios of crypt morphogenesis. Combining this with
    live-imaging data and multiple mechanical perturbations, we show that actomyosin-driven
    crypt apical contraction and villus basal tension work synergistically with lumen
    volume reduction to drive crypt morphogenesis, and demonstrate the existence of
    a critical point in differential tensions above which crypt morphology becomes
    robust to volume changes. Finally, we identified a sodium/glucose cotransporter
    that is specific to differentiated enterocytes that modulates lumen volume reduction
    through cell swelling in the villus region. Together, our study uncovers the cellular
    basis of how cell fate modulates osmotic and actomyosin forces to coordinate robust
    morphogenesis.
acknowledgement: 'We acknowledge the members of the Lennon-Duménil laboratory for
  sharing the mouse line of Myh9-GFP. We are grateful to the members of the Liberali
  laboratory and the FMI facilities for their support. We thank E. Tagliavini for
  IT support; L. Gelman for assistance and training; S. Bichet and A. Bogucki for
  helping with histology of mouse tissues; H. Kohler for fluorescence-activated cell
  sorting; G. Q. G. de Medeiros for maintenance of light-sheet microscopy; M. G. Stadler
  for scRNA-seq analysis; G. Gay for discussions on the 3D vertex model; the members
  of the Liberali laboratory, C. P. Heisenberg and C. Tsiairis for reading and providing
  feedback on the manuscript. Funding: Q.Y. is supported by a Postdoc fellowship from
  Peter und Taul Engelhorn Stiftung (PTES). This work received funding from the European
  Research Council (ERC) under the EU Horizon 2020 research and Innovation Programme
  Grant Agreement no. 758617 (to P.L.), the Swiss National Foundation (SNF) (POOP3_157531,
  to P.L.) and from the ERC under the EU Horizon 2020 Research and Innovation Program
  Grant Agreements 851288 (to E.H.) and the Austrian Science Fund (FWF) (P31639, to
  E.H.).'
article_processing_charge: No
article_type: original
author:
- first_name: Qiutan
  full_name: Yang, Qiutan
  last_name: Yang
- first_name: Shi-lei
  full_name: Xue, Shi-lei
  id: 31D2C804-F248-11E8-B48F-1D18A9856A87
  last_name: Xue
- first_name: Chii Jou
  full_name: Chan, Chii Jou
  last_name: Chan
- first_name: Markus
  full_name: Rempfler, Markus
  last_name: Rempfler
- first_name: Dario
  full_name: Vischi, Dario
  last_name: Vischi
- first_name: Francisca
  full_name: Maurer-Gutierrez, Francisca
  last_name: Maurer-Gutierrez
- first_name: Takashi
  full_name: Hiiragi, Takashi
  last_name: Hiiragi
- first_name: Edouard B
  full_name: Hannezo, Edouard B
  id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
  last_name: Hannezo
  orcid: 0000-0001-6005-1561
- first_name: Prisca
  full_name: Liberali, Prisca
  last_name: Liberali
citation:
  ama: Yang Q, Xue S, Chan CJ, et al. Cell fate coordinates mechano-osmotic forces
    in intestinal crypt formation. <i>Nature Cell Biology</i>. 2021;23:733–744. doi:<a
    href="https://doi.org/10.1038/s41556-021-00700-2">10.1038/s41556-021-00700-2</a>
  apa: Yang, Q., Xue, S., Chan, C. J., Rempfler, M., Vischi, D., Maurer-Gutierrez,
    F., … Liberali, P. (2021). Cell fate coordinates mechano-osmotic forces in intestinal
    crypt formation. <i>Nature Cell Biology</i>. Springer Nature. <a href="https://doi.org/10.1038/s41556-021-00700-2">https://doi.org/10.1038/s41556-021-00700-2</a>
  chicago: Yang, Qiutan, Shi-lei Xue, Chii Jou Chan, Markus Rempfler, Dario Vischi,
    Francisca Maurer-Gutierrez, Takashi Hiiragi, Edouard B Hannezo, and Prisca Liberali.
    “Cell Fate Coordinates Mechano-Osmotic Forces in Intestinal Crypt Formation.”
    <i>Nature Cell Biology</i>. Springer Nature, 2021. <a href="https://doi.org/10.1038/s41556-021-00700-2">https://doi.org/10.1038/s41556-021-00700-2</a>.
  ieee: Q. Yang <i>et al.</i>, “Cell fate coordinates mechano-osmotic forces in intestinal
    crypt formation,” <i>Nature Cell Biology</i>, vol. 23. Springer Nature, pp. 733–744,
    2021.
  ista: Yang Q, Xue S, Chan CJ, Rempfler M, Vischi D, Maurer-Gutierrez F, Hiiragi
    T, Hannezo EB, Liberali P. 2021. Cell fate coordinates mechano-osmotic forces
    in intestinal crypt formation. Nature Cell Biology. 23, 733–744.
  mla: Yang, Qiutan, et al. “Cell Fate Coordinates Mechano-Osmotic Forces in Intestinal
    Crypt Formation.” <i>Nature Cell Biology</i>, vol. 23, Springer Nature, 2021,
    pp. 733–744, doi:<a href="https://doi.org/10.1038/s41556-021-00700-2">10.1038/s41556-021-00700-2</a>.
  short: Q. Yang, S. Xue, C.J. Chan, M. Rempfler, D. Vischi, F. Maurer-Gutierrez,
    T. Hiiragi, E.B. Hannezo, P. Liberali, Nature Cell Biology 23 (2021) 733–744.
date_created: 2021-07-04T22:01:25Z
date_published: 2021-06-21T00:00:00Z
date_updated: 2023-08-10T13:57:36Z
day: '21'
department:
- _id: EdHa
doi: 10.1038/s41556-021-00700-2
ec_funded: 1
external_id:
  isi:
  - '000664016300003'
  pmid:
  - '34155381'
intvolume: '        23'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.biorxiv.org/content/10.1101/2020.05.13.094359
month: '06'
oa: 1
oa_version: Preprint
page: 733–744
pmid: 1
project:
- _id: 05943252-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '851288'
  name: Design Principles of Branching Morphogenesis
- _id: 268294B6-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P31639
  name: Active mechano-chemical description of the cell cytoskeleton
publication: Nature Cell Biology
publication_identifier:
  eissn:
  - 1476-4679
  issn:
  - 1465-7392
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Cell fate coordinates mechano-osmotic forces in intestinal crypt formation
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 23
year: '2021'
...
---
_id: '9636'
article_processing_charge: No
author:
- first_name: Andrew P
  full_name: Higginbotham, Andrew P
  id: 4AD6785A-F248-11E8-B48F-1D18A9856A87
  last_name: Higginbotham
  orcid: 0000-0003-2607-2363
citation:
  ama: Higginbotham AP. Data for “Breakdown of induced p ± ip pairing in a superconductor-semiconductor
    hybrid.” 2021.
  apa: Higginbotham, A. P. (2021). Data for “Breakdown of induced p ± ip pairing in
    a superconductor-semiconductor hybrid.” Institute of Science and Technology Austria.
  chicago: Higginbotham, Andrew P. “Data for ‘Breakdown of Induced p ± Ip Pairing
    in a Superconductor-Semiconductor Hybrid.’” Institute of Science and Technology
    Austria, 2021.
  ieee: A. P. Higginbotham, “Data for ‘Breakdown of induced p ± ip pairing in a superconductor-semiconductor
    hybrid.’” Institute of Science and Technology Austria, 2021.
  ista: Higginbotham AP. 2021. Data for ‘Breakdown of induced p ± ip pairing in a
    superconductor-semiconductor hybrid’, Institute of Science and Technology Austria.
  mla: Higginbotham, Andrew P. <i>Data for “Breakdown of Induced p ± Ip Pairing in
    a Superconductor-Semiconductor Hybrid.”</i> Institute of Science and Technology
    Austria, 2021.
  short: A.P. Higginbotham, (2021).
date_created: 2021-07-07T20:43:10Z
date_published: 2021-01-01T00:00:00Z
date_updated: 2024-02-21T12:36:52Z
department:
- _id: AnHi
file:
- access_level: open_access
  checksum: 18e90687ec7bbd75f8bfea4d8293fb30
  content_type: application/zip
  creator: ahigginb
  date_created: 2021-07-07T20:37:28Z
  date_updated: 2021-07-07T20:37:28Z
  file_id: '9637'
  file_name: figures_data.zip
  file_size: 3345244
  relation: main_file
  success: 1
file_date_updated: 2021-07-07T20:37:28Z
has_accepted_license: '1'
oa: 1
oa_version: Submitted Version
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '10029'
    relation: used_in_publication
    status: public
status: public
title: Data for "Breakdown of induced p ± ip pairing in a superconductor-semiconductor
  hybrid"
tmp:
  image: /images/cc_by_nc.png
  legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
  short: CC BY-NC (4.0)
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '9640'
abstract:
- lang: eng
  text: 'Selection and random drift determine the probability that novel mutations
    fixate in a population. Population structure is known to affect the dynamics of
    the evolutionary process. Amplifiers of selection are population structures that
    increase the fixation probability of beneficial mutants compared to well-mixed
    populations. Over the past 15 years, extensive research has produced remarkable
    structures called strong amplifiers which guarantee that every beneficial mutation
    fixates with high probability. But strong amplification has come at the cost of
    considerably delaying the fixation event, which can slow down the overall rate
    of evolution. However, the precise relationship between fixation probability and
    time has remained elusive. Here we characterize the slowdown effect of strong
    amplification. First, we prove that all strong amplifiers must delay the fixation
    event at least to some extent. Second, we construct strong amplifiers that delay
    the fixation event only marginally as compared to the well-mixed populations.
    Our results thus establish a tight relationship between fixation probability and
    time: Strong amplification always comes at a cost of a slowdown, but more than
    a marginal slowdown is not needed.'
acknowledgement: 'K.C. acknowledges support from ERC Start grant no. (279307: Graph
  Games), ERC Consolidator grant no. (863818: ForM-SMart), Austrian Science Fund (FWF)
  grant no. P23499-N23 and S11407-N23 (RiSE). M.A.N. acknowledges support from Office
  of Naval Research grant N00014-16-1-2914 and from the John Templeton Foundation.'
article_number: '4009'
article_processing_charge: No
article_type: original
author:
- first_name: Josef
  full_name: Tkadlec, Josef
  id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
  last_name: Tkadlec
  orcid: 0000-0002-1097-9684
- first_name: Andreas
  full_name: Pavlogiannis, Andreas
  id: 49704004-F248-11E8-B48F-1D18A9856A87
  last_name: Pavlogiannis
  orcid: 0000-0002-8943-0722
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Martin A.
  full_name: Nowak, Martin A.
  last_name: Nowak
citation:
  ama: Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Fast and strong amplifiers
    of natural selection. <i>Nature Communications</i>. 2021;12(1). doi:<a href="https://doi.org/10.1038/s41467-021-24271-w">10.1038/s41467-021-24271-w</a>
  apa: Tkadlec, J., Pavlogiannis, A., Chatterjee, K., &#38; Nowak, M. A. (2021). Fast
    and strong amplifiers of natural selection. <i>Nature Communications</i>. Springer
    Nature. <a href="https://doi.org/10.1038/s41467-021-24271-w">https://doi.org/10.1038/s41467-021-24271-w</a>
  chicago: Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin
    A. Nowak. “Fast and Strong Amplifiers of Natural Selection.” <i>Nature Communications</i>.
    Springer Nature, 2021. <a href="https://doi.org/10.1038/s41467-021-24271-w">https://doi.org/10.1038/s41467-021-24271-w</a>.
  ieee: J. Tkadlec, A. Pavlogiannis, K. Chatterjee, and M. A. Nowak, “Fast and strong
    amplifiers of natural selection,” <i>Nature Communications</i>, vol. 12, no. 1.
    Springer Nature, 2021.
  ista: Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. 2021. Fast and strong amplifiers
    of natural selection. Nature Communications. 12(1), 4009.
  mla: Tkadlec, Josef, et al. “Fast and Strong Amplifiers of Natural Selection.” <i>Nature
    Communications</i>, vol. 12, no. 1, 4009, Springer Nature, 2021, doi:<a href="https://doi.org/10.1038/s41467-021-24271-w">10.1038/s41467-021-24271-w</a>.
  short: J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Nature Communications
    12 (2021).
date_created: 2021-07-11T22:01:15Z
date_published: 2021-06-29T00:00:00Z
date_updated: 2025-07-14T09:10:05Z
day: '29'
ddc:
- '510'
department:
- _id: KrCh
doi: 10.1038/s41467-021-24271-w
ec_funded: 1
external_id:
  isi:
  - '000671752100003'
  pmid:
  - '34188036'
file:
- access_level: open_access
  checksum: 5767418926a7f7fb76151de29473dae0
  content_type: application/pdf
  creator: cziletti
  date_created: 2021-07-19T13:02:20Z
  date_updated: 2021-07-19T13:02:20Z
  file_id: '9692'
  file_name: 2021_NatCoom_Tkadlec.pdf
  file_size: 628992
  relation: main_file
  success: 1
file_date_updated: 2021-07-19T13:02:20Z
has_accepted_license: '1'
intvolume: '        12'
isi: 1
issue: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication: Nature Communications
publication_identifier:
  eissn:
  - '20411723'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fast and strong amplifiers of natural selection
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 12
year: '2021'
...
---
_id: '9641'
abstract:
- lang: eng
  text: At the encounter with a novel environment, contextual memory formation is
    greatly enhanced, accompanied with increased arousal and active exploration. Although
    this phenomenon has been widely observed in animal and human daily life, how the
    novelty in the environment is detected and contributes to contextual memory formation
    has lately started to be unveiled. The hippocampus has been studied for many decades
    for its largely known roles in encoding spatial memory, and a growing body of
    evidence indicates a differential involvement of dorsal and ventral hippocampal
    divisions in novelty detection. In this brief review article, we discuss the recent
    findings of the role of mossy cells in the ventral hippocampal moiety in novelty
    detection and put them in perspective with other novelty-related pathways in the
    hippocampus. We propose a mechanism for novelty-driven memory acquisition in the
    dentate gyrus by the direct projection of ventral mossy cells to dorsal dentate
    granule cells. By this projection, the ventral hippocampus sends novelty signals
    to the dorsal hippocampus, opening a gate for memory encoding in dentate granule
    cells based on information coming from the entorhinal cortex. We conclude that,
    contrary to the presently accepted functional independence, the dorsal and ventral
    hippocampi cooperate to link the novelty and contextual information, and this
    dorso-ventral interaction is crucial for the novelty-dependent memory formation.
acknowledgement: This work was supported by a European Research Council Advanced Grant
  694539 to Ryuichi Shigemoto.
article_number: '107486'
article_processing_charge: No
article_type: original
author:
- first_name: Felipe
  full_name: Fredes, Felipe
  last_name: Fredes
- first_name: Ryuichi
  full_name: Shigemoto, Ryuichi
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
citation:
  ama: Fredes F, Shigemoto R. The role of hippocampal mossy cells in novelty detection.
    <i>Neurobiology of Learning and Memory</i>. 2021;183. doi:<a href="https://doi.org/10.1016/j.nlm.2021.107486">10.1016/j.nlm.2021.107486</a>
  apa: Fredes, F., &#38; Shigemoto, R. (2021). The role of hippocampal mossy cells
    in novelty detection. <i>Neurobiology of Learning and Memory</i>. Elsevier. <a
    href="https://doi.org/10.1016/j.nlm.2021.107486">https://doi.org/10.1016/j.nlm.2021.107486</a>
  chicago: Fredes, Felipe, and Ryuichi Shigemoto. “The Role of Hippocampal Mossy Cells
    in Novelty Detection.” <i>Neurobiology of Learning and Memory</i>. Elsevier, 2021.
    <a href="https://doi.org/10.1016/j.nlm.2021.107486">https://doi.org/10.1016/j.nlm.2021.107486</a>.
  ieee: F. Fredes and R. Shigemoto, “The role of hippocampal mossy cells in novelty
    detection,” <i>Neurobiology of Learning and Memory</i>, vol. 183. Elsevier, 2021.
  ista: Fredes F, Shigemoto R. 2021. The role of hippocampal mossy cells in novelty
    detection. Neurobiology of Learning and Memory. 183, 107486.
  mla: Fredes, Felipe, and Ryuichi Shigemoto. “The Role of Hippocampal Mossy Cells
    in Novelty Detection.” <i>Neurobiology of Learning and Memory</i>, vol. 183, 107486,
    Elsevier, 2021, doi:<a href="https://doi.org/10.1016/j.nlm.2021.107486">10.1016/j.nlm.2021.107486</a>.
  short: F. Fredes, R. Shigemoto, Neurobiology of Learning and Memory 183 (2021).
date_created: 2021-07-11T22:01:16Z
date_published: 2021-06-30T00:00:00Z
date_updated: 2023-08-10T14:10:37Z
day: '30'
ddc:
- '610'
department:
- _id: RySh
doi: 10.1016/j.nlm.2021.107486
ec_funded: 1
external_id:
  isi:
  - '000677694900004'
  pmid:
  - '34214666'
file:
- access_level: open_access
  checksum: 8e8298a9e8c7df146ad23f32c2a63929
  content_type: application/pdf
  creator: cziletti
  date_created: 2021-07-19T13:46:06Z
  date_updated: 2021-07-19T13:46:06Z
  file_id: '9694'
  file_name: 2021_NeurobLearnMemory_Fredes.pdf
  file_size: 1994793
  relation: main_file
  success: 1
file_date_updated: 2021-07-19T13:46:06Z
has_accepted_license: '1'
intvolume: '       183'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 25CA28EA-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '694539'
  name: 'In situ analysis of single channel subunit composition in neurons: physiological
    implication in synaptic plasticity and behaviour'
publication: Neurobiology of Learning and Memory
publication_identifier:
  eissn:
  - '10959564'
  issn:
  - '10747427'
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: The role of hippocampal mossy cells in novelty detection
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 183
year: '2021'
...
---
_id: '9642'
abstract:
- lang: eng
  text: Perineuronal nets (PNNs), components of the extracellular matrix, preferentially
    coat parvalbumin-positive interneurons and constrain critical-period plasticity
    in the adult cerebral cortex. Current strategies to remove PNN are long-lasting,
    invasive, and trigger neuropsychiatric symptoms. Here, we apply repeated anesthetic
    ketamine as a method with minimal behavioral effect. We find that this paradigm
    strongly reduces PNN coating in the healthy adult brain and promotes juvenile-like
    plasticity. Microglia are critically involved in PNN loss because they engage
    with parvalbumin-positive neurons in their defined cortical layer. We identify
    external 60-Hz light-flickering entrainment to recapitulate microglia-mediated
    PNN removal. Importantly, 40-Hz frequency, which is known to remove amyloid plaques,
    does not induce PNN loss, suggesting microglia might functionally tune to distinct
    brain frequencies. Thus, our 60-Hz light-entrainment strategy provides an alternative
    form of PNN intervention in the healthy adult brain.
acknowledged_ssus:
- _id: Bio
- _id: PreCl
acknowledgement: We thank the scientific service units at IST Austria, especially
  the IST bioimaging facility, the preclinical facility, and, specifically, Michael
  Schunn and Sonja Haslinger for excellent support; Plexxikon for the PLX food; the
  Csicsvari group for advice and equipment for in vivo recording; Jürgen Siegert for
  the light-entrainment design; Marco Benevento, Soledad Gonzalo Cogno, Pat King,
  and all Siegert group members for constant feedback on the project and manuscript;
  Lorena Pantano (PILM Bioinformatics Core) for assisting with sample-size determination
  for OD plasticity experiments; and Ana Morello from MIT for technical assistance
  with VEPs recordings. This research was supported by a DOC Fellowship from the Austrian
  Academy of Sciences at the Institute of Science and Technology Austria to R.S.,
  from the European Union Horizon 2020 research and innovation program under the Marie
  Skłodowska-Curie Actions program (grants 665385 to G.C.; 754411 to R.J.A.C.), the
  European Research Council (grant 715571 to S.S.), and the National Eye Institute
  of the National Institutes of Health under award numbers R01EY029245 (to M.F.B.)
  and R01EY023037 (diversity supplement to H.D.J-C.).
article_number: '109313'
article_processing_charge: No
article_type: original
author:
- first_name: Alessandro
  full_name: Venturino, Alessandro
  id: 41CB84B2-F248-11E8-B48F-1D18A9856A87
  last_name: Venturino
  orcid: 0000-0003-2356-9403
- first_name: Rouven
  full_name: Schulz, Rouven
  id: 4C5E7B96-F248-11E8-B48F-1D18A9856A87
  last_name: Schulz
  orcid: 0000-0001-5297-733X
- first_name: Héctor
  full_name: De Jesús-Cortés, Héctor
  last_name: De Jesús-Cortés
- first_name: Margaret E
  full_name: Maes, Margaret E
  id: 3838F452-F248-11E8-B48F-1D18A9856A87
  last_name: Maes
  orcid: 0000-0001-9642-1085
- first_name: Balint
  full_name: Nagy, Balint
  id: 93C65ECC-A6F2-11E9-8DF9-9712E6697425
  last_name: Nagy
- first_name: Francis
  full_name: Reilly-Andújar, Francis
  last_name: Reilly-Andújar
- first_name: Gloria
  full_name: Colombo, Gloria
  id: 3483CF6C-F248-11E8-B48F-1D18A9856A87
  last_name: Colombo
  orcid: 0000-0001-9434-8902
- first_name: Ryan J
  full_name: Cubero, Ryan J
  id: 850B2E12-9CD4-11E9-837F-E719E6697425
  last_name: Cubero
  orcid: 0000-0003-0002-1867
- first_name: Florianne E
  full_name: Schoot Uiterkamp, Florianne E
  id: 3526230C-F248-11E8-B48F-1D18A9856A87
  last_name: Schoot Uiterkamp
- first_name: Mark F.
  full_name: Bear, Mark F.
  last_name: Bear
- first_name: Sandra
  full_name: Siegert, Sandra
  id: 36ACD32E-F248-11E8-B48F-1D18A9856A87
  last_name: Siegert
  orcid: 0000-0001-8635-0877
citation:
  ama: Venturino A, Schulz R, De Jesús-Cortés H, et al. Microglia enable mature perineuronal
    nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment
    in the healthy brain. <i>Cell Reports</i>. 2021;36(1). doi:<a href="https://doi.org/10.1016/j.celrep.2021.109313">10.1016/j.celrep.2021.109313</a>
  apa: Venturino, A., Schulz, R., De Jesús-Cortés, H., Maes, M. E., Nagy, B., Reilly-Andújar,
    F., … Siegert, S. (2021). Microglia enable mature perineuronal nets disassembly
    upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain.
    <i>Cell Reports</i>. Elsevier. <a href="https://doi.org/10.1016/j.celrep.2021.109313">https://doi.org/10.1016/j.celrep.2021.109313</a>
  chicago: Venturino, Alessandro, Rouven Schulz, Héctor De Jesús-Cortés, Margaret
    E Maes, Balint Nagy, Francis Reilly-Andújar, Gloria Colombo, et al. “Microglia
    Enable Mature Perineuronal Nets Disassembly upon Anesthetic Ketamine Exposure
    or 60-Hz Light Entrainment in the Healthy Brain.” <i>Cell Reports</i>. Elsevier,
    2021. <a href="https://doi.org/10.1016/j.celrep.2021.109313">https://doi.org/10.1016/j.celrep.2021.109313</a>.
  ieee: A. Venturino <i>et al.</i>, “Microglia enable mature perineuronal nets disassembly
    upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain,”
    <i>Cell Reports</i>, vol. 36, no. 1. Elsevier, 2021.
  ista: Venturino A, Schulz R, De Jesús-Cortés H, Maes ME, Nagy B, Reilly-Andújar
    F, Colombo G, Cubero RJ, Schoot Uiterkamp FE, Bear MF, Siegert S. 2021. Microglia
    enable mature perineuronal nets disassembly upon anesthetic ketamine exposure
    or 60-Hz light entrainment in the healthy brain. Cell Reports. 36(1), 109313.
  mla: Venturino, Alessandro, et al. “Microglia Enable Mature Perineuronal Nets Disassembly
    upon Anesthetic Ketamine Exposure or 60-Hz Light Entrainment in the Healthy Brain.”
    <i>Cell Reports</i>, vol. 36, no. 1, 109313, Elsevier, 2021, doi:<a href="https://doi.org/10.1016/j.celrep.2021.109313">10.1016/j.celrep.2021.109313</a>.
  short: A. Venturino, R. Schulz, H. De Jesús-Cortés, M.E. Maes, B. Nagy, F. Reilly-Andújar,
    G. Colombo, R.J. Cubero, F.E. Schoot Uiterkamp, M.F. Bear, S. Siegert, Cell Reports
    36 (2021).
date_created: 2021-07-11T22:01:16Z
date_published: 2021-07-06T00:00:00Z
date_updated: 2023-08-10T14:09:39Z
day: '06'
ddc:
- '570'
department:
- _id: SaSi
doi: 10.1016/j.celrep.2021.109313
ec_funded: 1
external_id:
  isi:
  - '000670188500004'
  pmid:
  - '34233180'
file:
- access_level: open_access
  checksum: f056255f6d01fd9a86b5387635928173
  content_type: application/pdf
  creator: cziletti
  date_created: 2021-07-19T13:32:17Z
  date_updated: 2021-07-19T13:32:17Z
  file_id: '9693'
  file_name: 2021_CellReports_Venturino.pdf
  file_size: 56388540
  relation: main_file
  success: 1
file_date_updated: 2021-07-19T13:32:17Z
has_accepted_license: '1'
intvolume: '        36'
isi: 1
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '665385'
  name: International IST Doctoral Program
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
- _id: 25D4A630-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '715571'
  name: Microglia action towards neuronal circuit formation and function in health
    and disease
publication: Cell Reports
publication_identifier:
  eissn:
  - '22111247'
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
  link:
  - description: News on IST Homepage
    relation: press_release
    url: https://ist.ac.at/en/news/the-twinkle-and-the-brain/
scopus_import: '1'
status: public
title: Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine
  exposure or 60-Hz light entrainment in the healthy brain
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 36
year: '2021'
...
---
_id: '9644'
abstract:
- lang: eng
  text: 'We present a new approach to proving non-termination of non-deterministic
    integer programs. Our technique is rather simple but efficient. It relies on a
    purely syntactic reversal of the program''s transition system followed by a constraint-based
    invariant synthesis with constraints coming from both the original and the reversed
    transition system. The latter task is performed by a simple call to an off-the-shelf
    SMT-solver, which allows us to leverage the latest advances in SMT-solving. Moreover,
    our method offers a combination of features not present (as a whole) in previous
    approaches: it handles programs with non-determinism, provides relative completeness
    guarantees and supports programs with polynomial arithmetic. The experiments performed
    with our prototype tool RevTerm show that our approach, despite its simplicity
    and stronger theoretical guarantees, is at least on par with the state-of-the-art
    tools, often achieving a non-trivial improvement under a proper configuration
    of its parameters.'
acknowledgement: We thank the anonymous reviewers for their helpful comments. This
  research was partially supported by the ERCCoG 863818 (ForM-SMArt) and the Czech
  Science Foundation grant No. GJ19-15134Y.
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Ehsan Kafshdar
  full_name: Goharshady, Ehsan Kafshdar
  last_name: Goharshady
- first_name: Petr
  full_name: Novotný, Petr
  id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
  last_name: Novotný
- first_name: Dorde
  full_name: Zikelic, Dorde
  id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
  last_name: Zikelic
  orcid: 0000-0002-4681-1699
citation:
  ama: 'Chatterjee K, Goharshady EK, Novotný P, Zikelic D. Proving non-termination
    by program reversal. In: <i>Proceedings of the 42nd ACM SIGPLAN International
    Conference on Programming Language Design and Implementation</i>. Association
    for Computing Machinery; 2021:1033-1048. doi:<a href="https://doi.org/10.1145/3453483.3454093">10.1145/3453483.3454093</a>'
  apa: 'Chatterjee, K., Goharshady, E. K., Novotný, P., &#38; Zikelic, D. (2021).
    Proving non-termination by program reversal. In <i>Proceedings of the 42nd ACM
    SIGPLAN International Conference on Programming Language Design and Implementation</i>
    (pp. 1033–1048). Online: Association for Computing Machinery. <a href="https://doi.org/10.1145/3453483.3454093">https://doi.org/10.1145/3453483.3454093</a>'
  chicago: Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde
    Zikelic. “Proving Non-Termination by Program Reversal.” In <i>Proceedings of the
    42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>,
    1033–48. Association for Computing Machinery, 2021. <a href="https://doi.org/10.1145/3453483.3454093">https://doi.org/10.1145/3453483.3454093</a>.
  ieee: K. Chatterjee, E. K. Goharshady, P. Novotný, and D. Zikelic, “Proving non-termination
    by program reversal,” in <i>Proceedings of the 42nd ACM SIGPLAN International
    Conference on Programming Language Design and Implementation</i>, Online, 2021,
    pp. 1033–1048.
  ista: 'Chatterjee K, Goharshady EK, Novotný P, Zikelic D. 2021. Proving non-termination
    by program reversal. Proceedings of the 42nd ACM SIGPLAN International Conference
    on Programming Language Design and Implementation. PLDI: Programming Language
    Design and Implementation, 1033–1048.'
  mla: Chatterjee, Krishnendu, et al. “Proving Non-Termination by Program Reversal.”
    <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming
    Language Design and Implementation</i>, Association for Computing Machinery, 2021,
    pp. 1033–48, doi:<a href="https://doi.org/10.1145/3453483.3454093">10.1145/3453483.3454093</a>.
  short: K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings
    of the 42nd ACM SIGPLAN International Conference on Programming Language Design
    and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
conference:
  end_date: 2021-06-26
  location: Online
  name: 'PLDI: Programming Language Design and Implementation'
  start_date: 2021-06-20
date_created: 2021-07-11T22:01:17Z
date_published: 2021-06-01T00:00:00Z
date_updated: 2025-07-14T09:10:06Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/3453483.3454093
ec_funded: 1
external_id:
  arxiv:
  - '2104.01189'
  isi:
  - '000723661700067'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2104.01189
month: '06'
oa: 1
oa_version: Preprint
page: 1033-1048
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming
  Language Design and Implementation
publication_identifier:
  isbn:
  - '9781450383912'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
  record:
  - id: '14539'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Proving non-termination by program reversal
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2021'
...
---
_id: '9645'
abstract:
- lang: eng
  text: "We consider the fundamental problem of reachability analysis over imperative
    programs with real variables. Previous works that tackle reachability are either
    unable to handle programs consisting of general loops (e.g. symbolic execution),
    or lack completeness guarantees (e.g. abstract interpretation), or are not automated
    (e.g. incorrectness logic). In contrast, we propose a novel approach for reachability
    analysis that can handle general and complex loops, is complete, and can be entirely
    automated for a wide family of programs. Through the notion of Inductive Reachability
    Witnesses (IRWs), our approach extends ideas from both invariant generation and
    termination to reachability analysis.\r\n\r\nWe first show that our IRW-based
    approach is sound and complete for reachability analysis of imperative programs.
    Then, we focus on linear and polynomial programs and develop automated methods
    for synthesizing linear and polynomial IRWs. In the linear case, we follow the
    well-known approaches using Farkas' Lemma. Our main contribution is in the polynomial
    case, where we present a push-button semi-complete algorithm. We achieve this
    using a novel combination of classical theorems in real algebraic geometry, such
    as Putinar's Positivstellensatz and Hilbert's Strong Nullstellensatz. Finally,
    our experimental results show we can prove complex reachability objectives over
    various benchmarks that were beyond the reach of previous methods."
acknowledgement: This research was partially supported by the ERC CoG 863818 (ForM-SMArt),
  the National Natural Science Foundation of China (NSFC) Grant No. 61802254, the
  Huawei Innovation Research Program, the Facebook PhD Fellowship Program, and DOC
  Fellowship No. 24956 of the Austrian Academy of Sciences (ÖAW).
article_processing_charge: No
author:
- first_name: Ali
  full_name: Asadi, Ali
  last_name: Asadi
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Hongfei
  full_name: Fu, Hongfei
  id: 3AAD03D6-F248-11E8-B48F-1D18A9856A87
  last_name: Fu
- first_name: Amir Kafshdar
  full_name: Goharshady, Amir Kafshdar
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
- first_name: Mohammad
  full_name: Mahdavi, Mohammad
  last_name: Mahdavi
citation:
  ama: 'Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. Polynomial reachability
    witnesses via Stellensätze. In: <i>Proceedings of the 42nd ACM SIGPLAN International
    Conference on Programming Language Design and Implementation</i>. Association
    for Computing Machinery; 2021:772-787. doi:<a href="https://doi.org/10.1145/3453483.3454076">10.1145/3453483.3454076</a>'
  apa: 'Asadi, A., Chatterjee, K., Fu, H., Goharshady, A. K., &#38; Mahdavi, M. (2021).
    Polynomial reachability witnesses via Stellensätze. In <i>Proceedings of the 42nd
    ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>
    (pp. 772–787). Online: Association for Computing Machinery. <a href="https://doi.org/10.1145/3453483.3454076">https://doi.org/10.1145/3453483.3454076</a>'
  chicago: Asadi, Ali, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady,
    and Mohammad Mahdavi. “Polynomial Reachability Witnesses via Stellensätze.” In
    <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming
    Language Design and Implementation</i>, 772–87. Association for Computing Machinery,
    2021. <a href="https://doi.org/10.1145/3453483.3454076">https://doi.org/10.1145/3453483.3454076</a>.
  ieee: A. Asadi, K. Chatterjee, H. Fu, A. K. Goharshady, and M. Mahdavi, “Polynomial
    reachability witnesses via Stellensätze,” in <i>Proceedings of the 42nd ACM SIGPLAN
    International Conference on Programming Language Design and Implementation</i>,
    Online, 2021, pp. 772–787.
  ista: 'Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. 2021. Polynomial reachability
    witnesses via Stellensätze. Proceedings of the 42nd ACM SIGPLAN International
    Conference on Programming Language Design and Implementation.  PLDI: Programming
    Language Design and Implementation, 772–787.'
  mla: Asadi, Ali, et al. “Polynomial Reachability Witnesses via Stellensätze.” <i>Proceedings
    of the 42nd ACM SIGPLAN International Conference on Programming Language Design
    and Implementation</i>, Association for Computing Machinery, 2021, pp. 772–87,
    doi:<a href="https://doi.org/10.1145/3453483.3454076">10.1145/3453483.3454076</a>.
  short: A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings
    of the 42nd ACM SIGPLAN International Conference on Programming Language Design
    and Implementation, Association for Computing Machinery, 2021, pp. 772–787.
conference:
  end_date: 2021-06-26
  location: Online
  name: ' PLDI: Programming Language Design and Implementation'
  start_date: 2021-06-20
date_created: 2021-07-11T22:01:17Z
date_published: 2021-06-01T00:00:00Z
date_updated: 2025-07-14T09:10:06Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/3453483.3454076
ec_funded: 1
external_id:
  isi:
  - '000723661700050'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://hal.archives-ouvertes.fr/hal-03183862/
month: '06'
oa: 1
oa_version: Submitted Version
page: 772-787
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 267066CE-B435-11E9-9278-68D0E5697425
  name: Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies
publication: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming
  Language Design and Implementation
publication_identifier:
  isbn:
  - '9781450383912'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: Polynomial reachability witnesses via Stellensätze
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2021'
...
---
_id: '9646'
abstract:
- lang: eng
  text: We consider the fundamental problem of deriving quantitative bounds on the
    probability that a given assertion is violated in a probabilistic program. We
    provide automated algorithms that obtain both lower and upper bounds on the assertion
    violation probability. The main novelty of our approach is that we prove new and
    dedicated fixed-point theorems which serve as the theoretical basis of our algorithms
    and enable us to reason about assertion violation bounds in terms of pre and post
    fixed-point functions. To synthesize such fixed-points, we devise algorithms that
    utilize a wide range of mathematical tools, including repulsing ranking supermartingales,
    Hoeffding's lemma, Minkowski decompositions, Jensen's inequality, and convex optimization.
    On the theoretical side, we provide (i) the first automated algorithm for lower-bounds
    on assertion violation probabilities, (ii) the first complete algorithm for upper-bounds
    of exponential form in affine programs, and (iii) provably and significantly tighter
    upper-bounds than the previous approaches. On the practical side, we show our
    algorithms can handle a wide variety of programs from the literature and synthesize
    bounds that are remarkably tighter than previous results, in some cases by thousands
    of orders of magnitude.
acknowledgement: 'We are very thankful to the anonymous reviewers for the helpful
  and valuable comments. The work was partially supported by the National Natural
  Science Foundation of China (NSFC) Grant No. 61802254, the Huawei Innovation Research
  Program, the ERC CoG 863818 (ForM-SMArt), the Facebook PhD Fellowship Program and
  DOC Fellowship #24956 of the Austrian Academy of Sciences (ÖAW).'
article_processing_charge: No
arxiv: 1
author:
- first_name: Jinyi
  full_name: Wang, Jinyi
  last_name: Wang
- first_name: Yican
  full_name: Sun, Yican
  last_name: Sun
- first_name: Hongfei
  full_name: Fu, Hongfei
  id: 3AAD03D6-F248-11E8-B48F-1D18A9856A87
  last_name: Fu
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Amir Kafshdar
  full_name: Goharshady, Amir Kafshdar
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
citation:
  ama: 'Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. Quantitative analysis of
    assertion violations in probabilistic programs. In: <i>Proceedings of the 42nd
    ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>.
    Association for Computing Machinery; 2021:1171-1186. doi:<a href="https://doi.org/10.1145/3453483.3454102">10.1145/3453483.3454102</a>'
  apa: 'Wang, J., Sun, Y., Fu, H., Chatterjee, K., &#38; Goharshady, A. K. (2021).
    Quantitative analysis of assertion violations in probabilistic programs. In <i>Proceedings
    of the 42nd ACM SIGPLAN International Conference on Programming Language Design
    and Implementation</i> (pp. 1171–1186). Online: Association for Computing Machinery.
    <a href="https://doi.org/10.1145/3453483.3454102">https://doi.org/10.1145/3453483.3454102</a>'
  chicago: Wang, Jinyi, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar
    Goharshady. “Quantitative Analysis of Assertion Violations in Probabilistic Programs.”
    In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming
    Language Design and Implementation</i>, 1171–86. Association for Computing Machinery,
    2021. <a href="https://doi.org/10.1145/3453483.3454102">https://doi.org/10.1145/3453483.3454102</a>.
  ieee: J. Wang, Y. Sun, H. Fu, K. Chatterjee, and A. K. Goharshady, “Quantitative
    analysis of assertion violations in probabilistic programs,” in <i>Proceedings
    of the 42nd ACM SIGPLAN International Conference on Programming Language Design
    and Implementation</i>, Online, 2021, pp. 1171–1186.
  ista: 'Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. 2021. Quantitative analysis
    of assertion violations in probabilistic programs. Proceedings of the 42nd ACM
    SIGPLAN International Conference on Programming Language Design and Implementation.
    PLDI: Programming Language Design and Implementation, 1171–1186.'
  mla: Wang, Jinyi, et al. “Quantitative Analysis of Assertion Violations in Probabilistic
    Programs.” <i>Proceedings of the 42nd ACM SIGPLAN International Conference on
    Programming Language Design and Implementation</i>, Association for Computing
    Machinery, 2021, pp. 1171–86, doi:<a href="https://doi.org/10.1145/3453483.3454102">10.1145/3453483.3454102</a>.
  short: J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings
    of the 42nd ACM SIGPLAN International Conference on Programming Language Design
    and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.
conference:
  end_date: 2021-06-26
  location: Online
  name: 'PLDI: Programming Language Design and Implementation'
  start_date: 2021-06-20
date_created: 2021-07-11T22:01:18Z
date_published: 2021-06-01T00:00:00Z
date_updated: 2025-07-14T09:10:06Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/3453483.3454102
ec_funded: 1
external_id:
  arxiv:
  - '2011.14617'
  isi:
  - '000723661700076'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2011.14617
month: '06'
oa: 1
oa_version: Preprint
page: 1171-1186
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 267066CE-B435-11E9-9278-68D0E5697425
  name: Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies
publication: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming
  Language Design and Implementation
publication_identifier:
  isbn:
  - '9781450383912'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantitative analysis of assertion violations in probabilistic programs
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2021'
...
---
_id: '9647'
abstract:
- lang: eng
  text: 'Gene expression is regulated by the set of transcription factors (TFs) that
    bind to the promoter. The ensuing regulating function is often represented as
    a combinational logic circuit, where output (gene expression) is determined by
    current input values (promoter bound TFs) only. However, the simultaneous arrival
    of TFs is a strong assumption, since transcription and translation of genes introduce
    intrinsic time delays and there is no global synchronisation among the arrival
    times of different molecular species at their targets. We present an experimentally
    implementable genetic circuit with two inputs and one output, which in the presence
    of small delays in input arrival, exhibits qualitatively distinct population-level
    phenotypes, over timescales that are longer than typical cell doubling times.
    From a dynamical systems point of view, these phenotypes represent long-lived
    transients: although they converge to the same value eventually, they do so after
    a very long time span. The key feature of this toy model genetic circuit is that,
    despite having only two inputs and one output, it is regulated by twenty-three
    distinct DNA-TF configurations, two of which are more stable than others (DNA
    looped states), one promoting and another blocking the expression of the output
    gene. Small delays in input arrival time result in a majority of cells in the
    population quickly reaching the stable state associated with the first input,
    while exiting of this stable state occurs at a slow timescale. In order to mechanistically
    model the behaviour of this genetic circuit, we used a rule-based modelling language,
    and implemented a grid-search to find parameter combinations giving rise to long-lived
    transients. Our analysis shows that in the absence of feedback, there exist path-dependent
    gene regulatory mechanisms based on the long timescale of transients. The behaviour
    of this toy model circuit suggests that gene regulatory networks can exploit event
    timing to create phenotypes, and it opens the possibility that they could use
    event timing to memorise events, without regulatory feedback. The model reveals
    the importance of (i) mechanistically modelling the transitions between the different
    DNA-TF states, and (ii) employing transient analysis thereof.'
acknowledgement: 'Tatjana Petrov’s research was supported in part by SNSF Advanced
  Postdoctoral Mobility Fellowship grant number P300P2 161067, the Ministry of Science,
  Research and the Arts of the state of Baden-Wurttemberg, and the DFG Centre of Excellence
  2117 ‘Centre for the Advanced Study of Collective Behaviour’ (ID: 422037984). Claudia
  Igler is the recipient of a DOC Fellowship of the Austrian Academy of Sciences.
  Thomas A. Henzinger’s research was supported in part by the Austrian Science Fund
  (FWF) under grant Z211-N23 (Wittgenstein Award).'
article_processing_charge: No
article_type: original
author:
- first_name: Tatjana
  full_name: Petrov, Tatjana
  last_name: Petrov
- first_name: Claudia
  full_name: Igler, Claudia
  id: 46613666-F248-11E8-B48F-1D18A9856A87
  last_name: Igler
- first_name: Ali
  full_name: Sezgin, Ali
  id: 4C7638DA-F248-11E8-B48F-1D18A9856A87
  last_name: Sezgin
- 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: Calin C
  full_name: Guet, Calin C
  id: 47F8433E-F248-11E8-B48F-1D18A9856A87
  last_name: Guet
  orcid: 0000-0001-6220-2052
citation:
  ama: Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. Long lived transients in
    gene regulation. <i>Theoretical Computer Science</i>. 2021;893:1-16. doi:<a href="https://doi.org/10.1016/j.tcs.2021.05.023">10.1016/j.tcs.2021.05.023</a>
  apa: Petrov, T., Igler, C., Sezgin, A., Henzinger, T. A., &#38; Guet, C. C. (2021).
    Long lived transients in gene regulation. <i>Theoretical Computer Science</i>.
    Elsevier. <a href="https://doi.org/10.1016/j.tcs.2021.05.023">https://doi.org/10.1016/j.tcs.2021.05.023</a>
  chicago: Petrov, Tatjana, Claudia Igler, Ali Sezgin, Thomas A Henzinger, and Calin
    C Guet. “Long Lived Transients in Gene Regulation.” <i>Theoretical Computer Science</i>.
    Elsevier, 2021. <a href="https://doi.org/10.1016/j.tcs.2021.05.023">https://doi.org/10.1016/j.tcs.2021.05.023</a>.
  ieee: T. Petrov, C. Igler, A. Sezgin, T. A. Henzinger, and C. C. Guet, “Long lived
    transients in gene regulation,” <i>Theoretical Computer Science</i>, vol. 893.
    Elsevier, pp. 1–16, 2021.
  ista: Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. 2021. Long lived transients
    in gene regulation. Theoretical Computer Science. 893, 1–16.
  mla: Petrov, Tatjana, et al. “Long Lived Transients in Gene Regulation.” <i>Theoretical
    Computer Science</i>, vol. 893, Elsevier, 2021, pp. 1–16, doi:<a href="https://doi.org/10.1016/j.tcs.2021.05.023">10.1016/j.tcs.2021.05.023</a>.
  short: T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer
    Science 893 (2021) 1–16.
date_created: 2021-07-11T22:01:18Z
date_published: 2021-06-04T00:00:00Z
date_updated: 2023-08-10T14:11:19Z
day: '04'
ddc:
- '004'
department:
- _id: ToHe
- _id: CaGu
doi: 10.1016/j.tcs.2021.05.023
external_id:
  isi:
  - '000710180500002'
file:
- access_level: open_access
  checksum: d3aef34cfb13e53bba4cf44d01680793
  content_type: application/pdf
  creator: dernst
  date_created: 2022-05-12T12:13:27Z
  date_updated: 2022-05-12T12:13:27Z
  file_id: '11364'
  file_name: 2021_TheoreticalComputerScience_Petrov.pdf
  file_size: 2566504
  relation: main_file
  success: 1
file_date_updated: 2022-05-12T12:13:27Z
has_accepted_license: '1'
intvolume: '       893'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 1-16
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: Theoretical Computer Science
publication_identifier:
  issn:
  - 0304-3975
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Long lived transients in gene regulation
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 893
year: '2021'
...
---
_id: '9656'
abstract:
- lang: eng
  text: Tropisms, growth responses to environmental stimuli such as light or gravity,
    are spectacular examples of adaptive plant development. The plant hormone auxin
    serves as a major coordinative signal. The PIN auxin exporters, through their
    dynamic polar subcellular localizations, redirect auxin fluxes in response to
    environmental stimuli and the resulting auxin gradients across organs underly
    differential cell elongation and bending. In this review, we discuss recent advances
    concerning regulations of PIN polarity during tropisms, focusing on PIN phosphorylation
    and trafficking. We also cover how environmental cues regulate PIN actions during
    tropisms, and a crucial role of auxin feedback on PIN polarity during bending
    termination. Finally, the interactions between different tropisms are reviewed
    to understand plant adaptive growth in the natural environment.
acknowledgement: We are grateful to Lukas Fiedler, Alexandra Mally (IST Austria) and
  Dr. Bartel Vanholme (VIB, Ghent) for their critical comments on the manuscript.
  We apologize to those researchers whose great work was not cited. This work is 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, 201506870018) and a starting grant from Jiangxi Agriculture
  University (9232308314).
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Huibin
  full_name: Han, Huibin
  id: 31435098-F248-11E8-B48F-1D18A9856A87
  last_name: Han
- first_name: Maciek
  full_name: Adamowski, Maciek
  id: 45F536D2-F248-11E8-B48F-1D18A9856A87
  last_name: Adamowski
  orcid: 0000-0001-6463-5257
- first_name: Linlin
  full_name: Qi, Linlin
  id: 44B04502-A9ED-11E9-B6FC-583AE6697425
  last_name: Qi
  orcid: 0000-0001-5187-8401
- first_name: SS
  full_name: Alotaibi, SS
  last_name: Alotaibi
- 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, Adamowski M, Qi L, Alotaibi S, Friml J. PIN-mediated polar auxin transport
    regulations in plant tropic responses. <i>New Phytologist</i>. 2021;232(2):510-522.
    doi:<a href="https://doi.org/10.1111/nph.17617">10.1111/nph.17617</a>
  apa: Han, H., Adamowski, M., Qi, L., Alotaibi, S., &#38; Friml, J. (2021). PIN-mediated
    polar auxin transport regulations in plant tropic responses. <i>New Phytologist</i>.
    Wiley. <a href="https://doi.org/10.1111/nph.17617">https://doi.org/10.1111/nph.17617</a>
  chicago: Han, Huibin, Maciek Adamowski, Linlin Qi, SS Alotaibi, and Jiří Friml.
    “PIN-Mediated Polar Auxin Transport Regulations in Plant Tropic Responses.” <i>New
    Phytologist</i>. Wiley, 2021. <a href="https://doi.org/10.1111/nph.17617">https://doi.org/10.1111/nph.17617</a>.
  ieee: H. Han, M. Adamowski, L. Qi, S. Alotaibi, and J. Friml, “PIN-mediated polar
    auxin transport regulations in plant tropic responses,” <i>New Phytologist</i>,
    vol. 232, no. 2. Wiley, pp. 510–522, 2021.
  ista: Han H, Adamowski M, Qi L, Alotaibi S, Friml J. 2021. PIN-mediated polar auxin
    transport regulations in plant tropic responses. New Phytologist. 232(2), 510–522.
  mla: Han, Huibin, et al. “PIN-Mediated Polar Auxin Transport Regulations in Plant
    Tropic Responses.” <i>New Phytologist</i>, vol. 232, no. 2, Wiley, 2021, pp. 510–22,
    doi:<a href="https://doi.org/10.1111/nph.17617">10.1111/nph.17617</a>.
  short: H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist 232 (2021)
    510–522.
date_created: 2021-07-14T15:29:14Z
date_published: 2021-10-01T00:00:00Z
date_updated: 2023-08-10T14:02:41Z
day: '01'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1111/nph.17617
ec_funded: 1
external_id:
  isi:
  - '000680587100001'
  pmid:
  - '34254313'
file:
- access_level: open_access
  checksum: 6422a6eb329b52d96279daaee0fcf189
  content_type: application/pdf
  creator: kschuh
  date_created: 2021-10-07T13:42:47Z
  date_updated: 2021-10-07T13:42:47Z
  file_id: '10105'
  file_name: 2021_NewPhytologist_Han.pdf
  file_size: 1939800
  relation: main_file
  success: 1
file_date_updated: 2021-10-07T13:42:47Z
has_accepted_license: '1'
intvolume: '       232'
isi: 1
issue: '2'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 510-522
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: New Phytologist
publication_identifier:
  eissn:
  - 1469-8137
  issn:
  - 0028-646x
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: PIN-mediated polar auxin transport regulations in plant tropic responses
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 232
year: '2021'
...
---
_id: '9657'
abstract:
- lang: eng
  text: To overcome nitrogen deficiency, legume roots establish symbiotic interactions
    with nitrogen-fixing rhizobia that is fostered in specialized organs (nodules).
    Similar to other organs, nodule formation is determined by a local maximum of
    the phytohormone auxin at the primordium site. However, how auxin regulates nodule
    development remains poorly understood. Here, we found that in soybean, (Glycine
    max), dynamic auxin transport driven by PIN-FORMED (PIN) transporter GmPIN1 is
    involved in nodule primordium formation. GmPIN1 was specifically expressed in
    nodule primordium cells and GmPIN1 was polarly localized in these cells. Two nodulation
    regulators, (iso)flavonoids trigger expanded distribution of GmPIN1b to root cortical
    cells, and cytokinin rearranges GmPIN1b polarity. Gmpin1abc triple mutants generated
    with CRISPR-Cas9 showed impaired establishment of auxin maxima in nodule meristems
    and aberrant divisions in the nodule primordium cells. Moreover, overexpression
    of GmPIN1 suppressed nodule primordium initiation. GmPIN9d, an ortholog of Arabidopsis
    thaliana PIN2, acts together with GmPIN1 later in nodule development to acropetally
    transport auxin in vascular bundles, fine-tuning the auxin supply for nodule enlargement.
    Our findings reveal how PIN-dependent auxin transport modulates different aspects
    of soybean nodule development and suggest that establishment of auxin gradient
    is a prerequisite for the proper interaction between legumes and rhizobia.
article_processing_charge: No
article_type: original
author:
- first_name: Z
  full_name: Gao, Z
  last_name: Gao
- first_name: Z
  full_name: Chen, Z
  last_name: Chen
- first_name: Y
  full_name: Cui, Y
  last_name: Cui
- first_name: M
  full_name: Ke, M
  last_name: Ke
- first_name: H
  full_name: Xu, H
  last_name: Xu
- first_name: Q
  full_name: Xu, Q
  last_name: Xu
- first_name: J
  full_name: Chen, J
  last_name: Chen
- first_name: Y
  full_name: Li, Y
  last_name: Li
- first_name: L
  full_name: Huang, L
  last_name: Huang
- first_name: H
  full_name: Zhao, H
  last_name: Zhao
- first_name: D
  full_name: Huang, D
  last_name: Huang
- first_name: S
  full_name: Mai, S
  last_name: Mai
- first_name: T
  full_name: Xu, T
  last_name: Xu
- first_name: X
  full_name: Liu, X
  last_name: Liu
- first_name: S
  full_name: Li, S
  last_name: Li
- first_name: Y
  full_name: Guan, Y
  last_name: Guan
- first_name: W
  full_name: Yang, W
  last_name: Yang
- first_name: Jiří
  full_name: Friml, Jiří
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: J
  full_name: Petrášek, J
  last_name: Petrášek
- first_name: J
  full_name: Zhang, J
  last_name: Zhang
- first_name: X
  full_name: Chen, X
  last_name: Chen
citation:
  ama: Gao Z, Chen Z, Cui Y, et al. GmPIN-dependent polar auxin transport is involved
    in soybean nodule development. <i>Plant Cell</i>. 2021;33(9):2981–3003. doi:<a
    href="https://doi.org/10.1093/plcell/koab183">10.1093/plcell/koab183</a>
  apa: Gao, Z., Chen, Z., Cui, Y., Ke, M., Xu, H., Xu, Q., … Chen, X. (2021). GmPIN-dependent
    polar auxin transport is involved in soybean nodule development. <i>Plant Cell</i>.
    American Society of Plant Biologists. <a href="https://doi.org/10.1093/plcell/koab183">https://doi.org/10.1093/plcell/koab183</a>
  chicago: Gao, Z, Z Chen, Y Cui, M Ke, H Xu, Q Xu, J Chen, et al. “GmPIN-Dependent
    Polar Auxin Transport Is Involved in Soybean Nodule Development.” <i>Plant Cell</i>.
    American Society of Plant Biologists, 2021. <a href="https://doi.org/10.1093/plcell/koab183">https://doi.org/10.1093/plcell/koab183</a>.
  ieee: Z. Gao <i>et al.</i>, “GmPIN-dependent polar auxin transport is involved in
    soybean nodule development,” <i>Plant Cell</i>, vol. 33, no. 9. American Society
    of Plant Biologists, pp. 2981–3003, 2021.
  ista: Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang
    D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen
    X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development.
    Plant Cell. 33(9), 2981–3003.
  mla: Gao, Z., et al. “GmPIN-Dependent Polar Auxin Transport Is Involved in Soybean
    Nodule Development.” <i>Plant Cell</i>, vol. 33, no. 9, American Society of Plant
    Biologists, 2021, pp. 2981–3003, doi:<a href="https://doi.org/10.1093/plcell/koab183">10.1093/plcell/koab183</a>.
  short: Z. Gao, Z. Chen, Y. Cui, M. Ke, H. Xu, Q. Xu, J. Chen, Y. Li, L. Huang, H.
    Zhao, D. Huang, S. Mai, T. Xu, X. Liu, S. Li, Y. Guan, W. Yang, J. Friml, J. Petrášek,
    J. Zhang, X. Chen, Plant Cell 33 (2021) 2981–3003.
date_created: 2021-07-14T15:32:43Z
date_published: 2021-07-07T00:00:00Z
date_updated: 2023-08-10T14:01:41Z
day: '07'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1093/plcell/koab183
external_id:
  isi:
  - '000702165300012'
  pmid:
  - '34240197'
file:
- access_level: open_access
  checksum: 6715712ec306c321f0204c817b7f8ae7
  content_type: application/pdf
  creator: cziletti
  date_created: 2021-07-19T12:13:34Z
  date_updated: 2021-07-19T12:13:34Z
  file_id: '9691'
  file_name: 2021_PlantCell_Gao.pdf
  file_size: 10566921
  relation: main_file
  success: 1
file_date_updated: 2021-07-19T12:13:34Z
has_accepted_license: '1'
intvolume: '        33'
isi: 1
issue: '9'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 2981–3003
pmid: 1
publication: Plant Cell
publication_identifier:
  eissn:
  - 1532-298x
  issn:
  - 1040-4651
publication_status: published
publisher: American Society of Plant Biologists
quality_controlled: '1'
status: public
title: GmPIN-dependent polar auxin transport is involved in soybean nodule development
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 33
year: '2021'
...
---
_id: '9669'
abstract:
- lang: eng
  text: The set of known stable phases of water may not be complete, and some of the
    phase boundaries between them are fuzzy. Starting from liquid water and a comprehensive
    set of 50 ice structures, we compute the phase diagram at three hybrid density-functional-theory
    levels of approximation, accounting for thermal and nuclear fluctuations as well
    as proton disorder. Such calculations are only made tractable because we combine
    machine-learning methods and advanced free-energy techniques. The computed phase
    diagram is in qualitative agreement with experiment, particularly at pressures ≲ 8000
    bar, and the discrepancy in chemical potential is comparable with the subtle uncertainties
    introduced by proton disorder and the spread between the three hybrid functionals.
    None of the hypothetical ice phases considered is thermodynamically stable in
    our calculations, suggesting the completeness of the experimental water phase
    diagram in the region considered. Our work demonstrates the feasibility of predicting
    the phase diagram of a polymorphic system from first principles and provides a
    thermodynamic way of testing the limits of quantum-mechanical calculations.
article_number: '588'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Aleks
  full_name: Reinhardt, Aleks
  last_name: Reinhardt
- first_name: Bingqing
  full_name: Cheng, Bingqing
  id: cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9
  last_name: Cheng
  orcid: 0000-0002-3584-9632
citation:
  ama: Reinhardt A, Cheng B. Quantum-mechanical exploration of the phase diagram of
    water. <i>Nature Communications</i>. 2021;12(1). doi:<a href="https://doi.org/10.1038/s41467-020-20821-w">10.1038/s41467-020-20821-w</a>
  apa: Reinhardt, A., &#38; Cheng, B. (2021). Quantum-mechanical exploration of the
    phase diagram of water. <i>Nature Communications</i>. Springer Nature. <a href="https://doi.org/10.1038/s41467-020-20821-w">https://doi.org/10.1038/s41467-020-20821-w</a>
  chicago: Reinhardt, Aleks, and Bingqing Cheng. “Quantum-Mechanical Exploration of
    the Phase Diagram of Water.” <i>Nature Communications</i>. Springer Nature, 2021.
    <a href="https://doi.org/10.1038/s41467-020-20821-w">https://doi.org/10.1038/s41467-020-20821-w</a>.
  ieee: A. Reinhardt and B. Cheng, “Quantum-mechanical exploration of the phase diagram
    of water,” <i>Nature Communications</i>, vol. 12, no. 1. Springer Nature, 2021.
  ista: Reinhardt A, Cheng B. 2021. Quantum-mechanical exploration of the phase diagram
    of water. Nature Communications. 12(1), 588.
  mla: Reinhardt, Aleks, and Bingqing Cheng. “Quantum-Mechanical Exploration of the
    Phase Diagram of Water.” <i>Nature Communications</i>, vol. 12, no. 1, 588, Springer
    Nature, 2021, doi:<a href="https://doi.org/10.1038/s41467-020-20821-w">10.1038/s41467-020-20821-w</a>.
  short: A. Reinhardt, B. Cheng, Nature Communications 12 (2021).
date_created: 2021-07-15T13:48:13Z
date_published: 2021-01-26T00:00:00Z
date_updated: 2023-02-23T14:04:20Z
day: '26'
ddc:
- '530'
- '540'
doi: 10.1038/s41467-020-20821-w
extern: '1'
external_id:
  arxiv:
  - '2010.13729'
  pmid:
  - '33500405'
file:
- access_level: open_access
  checksum: 8b5e1fbe2f1ab936047008043150e894
  content_type: application/pdf
  creator: asandaue
  date_created: 2021-07-15T13:55:46Z
  date_updated: 2021-07-15T13:55:46Z
  file_id: '9670'
  file_name: 2021_NatureCommunications_Reinhardt.pdf
  file_size: 1180227
  relation: main_file
  success: 1
file_date_updated: 2021-07-15T13:55:46Z
has_accepted_license: '1'
intvolume: '        12'
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
  eissn:
  - 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantum-mechanical exploration of the phase diagram of water
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: 6785fbc1-c503-11eb-8a32-93094b40e1cf
volume: 12
year: '2021'
...
---
_id: '9678'
abstract:
- lang: eng
  text: We introduce a new graph problem, the token dropping game, and we show how
    to solve it efficiently in a distributed setting. We use the token dropping game
    as a tool to design an efficient distributed algorithm for stable orientations
    and more generally for locally optimal semi-matchings. The prior work by Czygrinow
    et al. (DISC 2012) finds a stable orientation in O(Δ^5) rounds in graphs of maximum
    degree Δ, while we improve it to O(Δ^4) and also prove a lower bound of Ω(Δ).
    For the more general problem of locally optimal semi-matchings, the prior upper
    bound is O(S^5) and our new algorithm runs in O(C · S^4) rounds, which is an improvement
    for C = o(S); here C and S are the maximum degrees of customers and servers, respectively.
acknowledgement: We thank Orr Fischer, Juho Hirvonen, and Tuomo Lempiäinen for valuable
  discussions. This project has received funding from the European Union’s Horizon
  2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement
  No. 840605.
article_processing_charge: No
arxiv: 1
author:
- first_name: Sebastian
  full_name: Brandt, Sebastian
  last_name: Brandt
- first_name: Barbara
  full_name: Keller, Barbara
  last_name: Keller
- first_name: Joel
  full_name: Rybicki, Joel
  id: 334EFD2E-F248-11E8-B48F-1D18A9856A87
  last_name: Rybicki
  orcid: 0000-0002-6432-6646
- first_name: Jukka
  full_name: Suomela, Jukka
  last_name: Suomela
- first_name: Jara
  full_name: Uitto, Jara
  last_name: Uitto
citation:
  ama: 'Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. Efficient load-balancing
    through distributed token dropping. In: <i>Annual ACM Symposium on Parallelism
    in Algorithms and Architectures</i>. ; 2021:129-139. doi:<a href="https://doi.org/10.1145/3409964.3461785">10.1145/3409964.3461785</a>'
  apa: Brandt, S., Keller, B., Rybicki, J., Suomela, J., &#38; Uitto, J. (2021). Efficient
    load-balancing through distributed token dropping. In <i>Annual ACM Symposium
    on Parallelism in Algorithms and Architectures</i> (pp. 129–139).  Virtual Event,
    United States. <a href="https://doi.org/10.1145/3409964.3461785">https://doi.org/10.1145/3409964.3461785</a>
  chicago: Brandt, Sebastian, Barbara Keller, Joel Rybicki, Jukka Suomela, and Jara
    Uitto. “Efficient Load-Balancing through Distributed Token Dropping.” In <i>Annual
    ACM Symposium on Parallelism in Algorithms and Architectures</i>, 129–39, 2021.
    <a href="https://doi.org/10.1145/3409964.3461785">https://doi.org/10.1145/3409964.3461785</a>.
  ieee: S. Brandt, B. Keller, J. Rybicki, J. Suomela, and J. Uitto, “Efficient load-balancing
    through distributed token dropping,” in <i>Annual ACM Symposium on Parallelism
    in Algorithms and Architectures</i>,  Virtual Event, United States, 2021, pp.
    129–139.
  ista: 'Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. 2021. Efficient load-balancing
    through distributed token dropping. Annual ACM Symposium on Parallelism in Algorithms
    and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures
    , 129–139.'
  mla: Brandt, Sebastian, et al. “Efficient Load-Balancing through Distributed Token
    Dropping.” <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>,
    2021, pp. 129–39, doi:<a href="https://doi.org/10.1145/3409964.3461785">10.1145/3409964.3461785</a>.
  short: S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium
    on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
conference:
  end_date: 2021-07-08
  location: ' Virtual Event, United States'
  name: 'SPAA: Symposium on Parallelism in Algorithms and Architectures '
  start_date: 2021-07-06
date_created: 2021-07-18T22:01:22Z
date_published: 2021-07-06T00:00:00Z
date_updated: 2024-03-05T07:13:12Z
day: '06'
department:
- _id: DaAl
doi: 10.1145/3409964.3461785
ec_funded: 1
external_id:
  arxiv:
  - '2005.07761'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2005.07761
month: '07'
oa: 1
oa_version: Preprint
page: 129-139
project:
- _id: 26A5D39A-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '840605'
  name: Coordination in constrained and natural distributed systems
publication: Annual ACM Symposium on Parallelism in Algorithms and Architectures
publication_identifier:
  isbn:
  - '9781450380706'
publication_status: published
quality_controlled: '1'
related_material:
  record:
  - id: '15074'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: Efficient load-balancing through distributed token dropping
type: conference
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
year: '2021'
...
---
_id: '9679'
abstract:
- lang: eng
  text: The relative motion of three impenetrable particles on a ring, in our case
    two identical fermions and one impurity, is isomorphic to a triangular quantum
    billiard. Depending on the ratio κ of the impurity and fermion masses, the billiards
    can be integrable or non-integrable (also referred to in the main text as chaotic).
    To set the stage, we first investigate the energy level distributions of the billiards
    as a function of 1/κ ∈ [0, 1] and find no evidence of integrable cases beyond
    the limiting values 1/κ = 1 and 1/κ = 0. Then, we use machine learning tools to
    analyze properties of probability distributions of individual quantum states.
    We find that convolutional neural networks can correctly classify integrable and
    non-integrable states. The decisive features of the wave functions are the normalization
    and a large number of zero elements, corresponding to the existence of a nodal
    line. The network achieves typical accuracies of 97%, suggesting that machine
    learning tools can be used to analyze and classify the morphology of probability
    densities obtained in theory or experiment.
acknowledgement: We thank Aidan Tracy for his input during the initial stages of this
  project. We thank Nathan Harshman, Achim Richter, Wojciech Rzadkowski, and Dane
  Hudson Smith for helpful discussions and comments on the manuscript. This work has
  been supported by European Union's Horizon 2020 research and innovation program
  under the Marie Skłodowska-Curie Grant Agreement No. 754411 (AGV); by the German
  Aeronautics and Space Administration (DLR) through Grant No. 50 WM 1957 (OVM); by
  the Deutsche Forschungsgemeinschaft through Project VO 2437/1-1 (Project No. 413495248)
  (AGV and HWH); by the Deutsche Forschungsgemeinschaft through Collaborative Research
  Center SFB 1245 (Project No. 279384907) and by the Bundesministerium für Bildung
  und Forschung under Contract 05P18RDFN1 (HWH). HWH also thanks the ECT* for hospitality
  during the workshop 'Universal physics in Many-Body Quantum Systems—From Atoms to
  Quarks'. This infrastructure is part of a project that has received funding from
  the European Union's Horizon 2020 research and innovation program under Grant Agreement
  No. 824093. We acknowledge support by the Deutsche Forschungsgemeinschaft and the
  Open Access Publishing Fund of Technische Universität Darmstadt.
article_number: '065009'
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: David
  full_name: Huber, David
  last_name: Huber
- first_name: Oleksandr V.
  full_name: Marchukov, Oleksandr V.
  last_name: Marchukov
- first_name: Hans Werner
  full_name: Hammer, Hans Werner
  last_name: Hammer
- first_name: Artem
  full_name: Volosniev, Artem
  id: 37D278BC-F248-11E8-B48F-1D18A9856A87
  last_name: Volosniev
  orcid: 0000-0003-0393-5525
citation:
  ama: Huber D, Marchukov OV, Hammer HW, Volosniev A. Morphology of three-body quantum
    states from machine learning. <i>New Journal of Physics</i>. 2021;23(6). doi:<a
    href="https://doi.org/10.1088/1367-2630/ac0576">10.1088/1367-2630/ac0576</a>
  apa: Huber, D., Marchukov, O. V., Hammer, H. W., &#38; Volosniev, A. (2021). Morphology
    of three-body quantum states from machine learning. <i>New Journal of Physics</i>.
    IOP Publishing. <a href="https://doi.org/10.1088/1367-2630/ac0576">https://doi.org/10.1088/1367-2630/ac0576</a>
  chicago: Huber, David, Oleksandr V. Marchukov, Hans Werner Hammer, and Artem Volosniev.
    “Morphology of Three-Body Quantum States from Machine Learning.” <i>New Journal
    of Physics</i>. IOP Publishing, 2021. <a href="https://doi.org/10.1088/1367-2630/ac0576">https://doi.org/10.1088/1367-2630/ac0576</a>.
  ieee: D. Huber, O. V. Marchukov, H. W. Hammer, and A. Volosniev, “Morphology of
    three-body quantum states from machine learning,” <i>New Journal of Physics</i>,
    vol. 23, no. 6. IOP Publishing, 2021.
  ista: Huber D, Marchukov OV, Hammer HW, Volosniev A. 2021. Morphology of three-body
    quantum states from machine learning. New Journal of Physics. 23(6), 065009.
  mla: Huber, David, et al. “Morphology of Three-Body Quantum States from Machine
    Learning.” <i>New Journal of Physics</i>, vol. 23, no. 6, 065009, IOP Publishing,
    2021, doi:<a href="https://doi.org/10.1088/1367-2630/ac0576">10.1088/1367-2630/ac0576</a>.
  short: D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics
    23 (2021).
date_created: 2021-07-18T22:01:22Z
date_published: 2021-06-23T00:00:00Z
date_updated: 2023-08-10T13:58:09Z
day: '23'
ddc:
- '530'
department:
- _id: MiLe
doi: 10.1088/1367-2630/ac0576
ec_funded: 1
external_id:
  arxiv:
  - '2102.04961'
  isi:
  - '000664736300001'
file:
- access_level: open_access
  checksum: e39164ce7ea228d287cf8924e1a0f9fe
  content_type: application/pdf
  creator: cziletti
  date_created: 2021-07-19T11:47:16Z
  date_updated: 2021-07-19T11:47:16Z
  file_id: '9690'
  file_name: 2021_NewJPhys_Huber.pdf
  file_size: 3868445
  relation: main_file
  success: 1
file_date_updated: 2021-07-19T11:47:16Z
has_accepted_license: '1'
intvolume: '        23'
isi: 1
issue: '6'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: New Journal of Physics
publication_identifier:
  eissn:
  - '13672630'
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Morphology of three-body quantum states from machine learning
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 23
year: '2021'
...
---
_id: '9695'
abstract:
- lang: eng
  text: Real-world data typically contain a large number of features that are often
    heterogeneous in nature, relevance, and also units of measure. When assessing
    the similarity between data points, one can build various distance measures using
    subsets of these features. Using the fewest features but still retaining sufficient
    information about the system is crucial in many statistical learning approaches,
    particularly when data are sparse. We introduce a statistical test that can assess
    the relative information retained when using two different distance measures,
    and determine if they are equivalent, independent, or if one is more informative
    than the other. This in turn allows finding the most informative distance measure
    out of a pool of candidates. The approach is applied to find the most relevant
    policy variables for controlling the Covid-19 epidemic and to find compact yet
    informative representations of atomic structures, but its potential applications
    are wide ranging in many branches of science.
article_number: '2104.15079'
article_processing_charge: No
arxiv: 1
author:
- first_name: Aldo
  full_name: Glielmo, Aldo
  last_name: Glielmo
- first_name: Claudio
  full_name: Zeni, Claudio
  last_name: Zeni
- first_name: Bingqing
  full_name: Cheng, Bingqing
  id: cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9
  last_name: Cheng
  orcid: 0000-0002-3584-9632
- first_name: Gabor
  full_name: Csanyi, Gabor
  last_name: Csanyi
- first_name: Alessandro
  full_name: Laio, Alessandro
  last_name: Laio
citation:
  ama: Glielmo A, Zeni C, Cheng B, Csanyi G, Laio A. Ranking the information content
    of distance measures. <i>arXiv</i>.
  apa: Glielmo, A., Zeni, C., Cheng, B., Csanyi, G., &#38; Laio, A. (n.d.). Ranking
    the information content of distance measures. <i>arXiv</i>.
  chicago: Glielmo, Aldo, Claudio Zeni, Bingqing Cheng, Gabor Csanyi, and Alessandro
    Laio. “Ranking the Information Content of Distance Measures.” <i>ArXiv</i>, n.d.
  ieee: A. Glielmo, C. Zeni, B. Cheng, G. Csanyi, and A. Laio, “Ranking the information
    content of distance measures,” <i>arXiv</i>. .
  ista: Glielmo A, Zeni C, Cheng B, Csanyi G, Laio A. Ranking the information content
    of distance measures. arXiv, 2104.15079.
  mla: Glielmo, Aldo, et al. “Ranking the Information Content of Distance Measures.”
    <i>ArXiv</i>, 2104.15079.
  short: A. Glielmo, C. Zeni, B. Cheng, G. Csanyi, A. Laio, ArXiv (n.d.).
date_created: 2021-07-20T06:31:53Z
date_published: 2021-04-30T00:00:00Z
date_updated: 2023-02-23T14:05:13Z
day: '30'
extern: '1'
external_id:
  arxiv:
  - '2104.15079'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2104.15079
month: '04'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: Ranking the information content of distance measures
type: preprint
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2021'
...
---
_id: '9696'
abstract:
- lang: eng
  text: Most water in the universe may be superionic, and its thermodynamic and transport
    properties are crucial for planetary science but difficult to probe experimentally
    or theoretically. We use machine learning and free energy methods to overcome
    the limitations of quantum mechanical simulations, and characterize hydrogen diffusion,
    superionic transitions, and phase behaviors of water at extreme conditions. We
    predict that a close-packed superionic phase with mixed stacking is stable over
    a wide temperature and pressure range, while a body-centered cubic phase is only
    thermodynamically stable in a small window but is kinetically favored. Our phase
    boundaries, which are consistent with the existing-albeit scarce-experimental
    observations, help resolve the fractions of insulating ice, different superionic
    phases, and liquid water inside of ice giants.
article_number: '2103.09035'
article_processing_charge: No
arxiv: 1
author:
- first_name: Bingqing
  full_name: Cheng, Bingqing
  id: cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9
  last_name: Cheng
  orcid: 0000-0002-3584-9632
- first_name: Mandy
  full_name: Bethkenhagen, Mandy
  last_name: Bethkenhagen
- first_name: Chris J.
  full_name: Pickard, Chris J.
  last_name: Pickard
- first_name: Sebastien
  full_name: Hamel, Sebastien
  last_name: Hamel
citation:
  ama: Cheng B, Bethkenhagen M, Pickard CJ, Hamel S. Predicting the phase behaviors
    of superionic water at planetary conditions. <i>arXiv</i>.
  apa: Cheng, B., Bethkenhagen, M., Pickard, C. J., &#38; Hamel, S. (n.d.). Predicting
    the phase behaviors of superionic water at planetary conditions. <i>arXiv</i>.
  chicago: Cheng, Bingqing, Mandy Bethkenhagen, Chris J. Pickard, and Sebastien Hamel.
    “Predicting the Phase Behaviors of Superionic Water at Planetary Conditions.”
    <i>ArXiv</i>, n.d.
  ieee: B. Cheng, M. Bethkenhagen, C. J. Pickard, and S. Hamel, “Predicting the phase
    behaviors of superionic water at planetary conditions,” <i>arXiv</i>. .
  ista: Cheng B, Bethkenhagen M, Pickard CJ, Hamel S. Predicting the phase behaviors
    of superionic water at planetary conditions. arXiv, 2103.09035.
  mla: Cheng, Bingqing, et al. “Predicting the Phase Behaviors of Superionic Water
    at Planetary Conditions.” <i>ArXiv</i>, 2103.09035.
  short: B. Cheng, M. Bethkenhagen, C.J. Pickard, S. Hamel, ArXiv (n.d.).
date_created: 2021-07-20T06:42:29Z
date_published: 2021-03-16T00:00:00Z
date_updated: 2023-02-23T14:05:16Z
day: '16'
extern: '1'
external_id:
  arxiv:
  - '2103.09035'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2103.09035
month: '03'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: Predicting the phase behaviors of superionic water at planetary conditions
type: preprint
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2021'
...
---
_id: '9698'
abstract:
- lang: eng
  text: Machine learning models are poised to make a transformative impact on chemical
    sciences by dramatically accelerating computational algorithms and amplifying
    insights available from computational chemistry methods. However, achieving this
    requires a confluence and coaction of expertise in computer science and physical
    sciences. This review is written for new and experienced researchers working at
    the intersection of both fields. We first provide concise tutorials of computational
    chemistry and machine learning methods, showing how insights involving both can
    be achieved. We then follow with a critical review of noteworthy applications
    that demonstrate how computational chemistry and machine learning can be used
    together to provide insightful (and useful) predictions in molecular and materials
    modeling, retrosyntheses, catalysis, and drug design.
article_processing_charge: No
article_type: review
arxiv: 1
author:
- first_name: John A.
  full_name: Keith, John A.
  last_name: Keith
- first_name: Valentin
  full_name: Valentin Vassilev-Galindo, Valentin
  last_name: Valentin Vassilev-Galindo
- first_name: Bingqing
  full_name: Cheng, Bingqing
  id: cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9
  last_name: Cheng
  orcid: 0000-0002-3584-9632
- first_name: Stefan
  full_name: Chmiela, Stefan
  last_name: Chmiela
- first_name: Michael
  full_name: Gastegger, Michael
  last_name: Gastegger
- first_name: Klaus-Robert
  full_name: Müller, Klaus-Robert
  last_name: Müller
- first_name: Alexandre
  full_name: Tkatchenko, Alexandre
  last_name: Tkatchenko
citation:
  ama: Keith JA, Valentin Vassilev-Galindo V, Cheng B, et al. Combining machine learning
    and computational chemistry for predictive insights into chemical systems. <i>Chemical
    Reviews</i>. 2021;121(16):9816-9872. doi:<a href="https://doi.org/10.1021/acs.chemrev.1c00107">10.1021/acs.chemrev.1c00107</a>
  apa: Keith, J. A., Valentin Vassilev-Galindo, V., Cheng, B., Chmiela, S., Gastegger,
    M., Müller, K.-R., &#38; Tkatchenko, A. (2021). Combining machine learning and
    computational chemistry for predictive insights into chemical systems. <i>Chemical
    Reviews</i>. American Chemical Society. <a href="https://doi.org/10.1021/acs.chemrev.1c00107">https://doi.org/10.1021/acs.chemrev.1c00107</a>
  chicago: Keith, John A., Valentin Valentin Vassilev-Galindo, Bingqing Cheng, Stefan
    Chmiela, Michael Gastegger, Klaus-Robert Müller, and Alexandre Tkatchenko. “Combining
    Machine Learning and Computational Chemistry for Predictive Insights into Chemical
    Systems.” <i>Chemical Reviews</i>. American Chemical Society, 2021. <a href="https://doi.org/10.1021/acs.chemrev.1c00107">https://doi.org/10.1021/acs.chemrev.1c00107</a>.
  ieee: J. A. Keith <i>et al.</i>, “Combining machine learning and computational chemistry
    for predictive insights into chemical systems,” <i>Chemical Reviews</i>, vol.
    121, no. 16. American Chemical Society, pp. 9816–9872, 2021.
  ista: Keith JA, Valentin Vassilev-Galindo V, Cheng B, Chmiela S, Gastegger M, Müller
    K-R, Tkatchenko A. 2021. Combining machine learning and computational chemistry
    for predictive insights into chemical systems. Chemical Reviews. 121(16), 9816–9872.
  mla: Keith, John A., et al. “Combining Machine Learning and Computational Chemistry
    for Predictive Insights into Chemical Systems.” <i>Chemical Reviews</i>, vol.
    121, no. 16, American Chemical Society, 2021, pp. 9816–72, doi:<a href="https://doi.org/10.1021/acs.chemrev.1c00107">10.1021/acs.chemrev.1c00107</a>.
  short: J.A. Keith, V. Valentin Vassilev-Galindo, B. Cheng, S. Chmiela, M. Gastegger,
    K.-R. Müller, A. Tkatchenko, Chemical Reviews 121 (2021) 9816–9872.
date_created: 2021-07-20T11:18:37Z
date_published: 2021-07-07T00:00:00Z
date_updated: 2023-05-08T11:31:03Z
day: '07'
doi: 10.1021/acs.chemrev.1c00107
extern: '1'
external_id:
  arxiv:
  - '2102.06321'
intvolume: '       121'
issue: '16'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1021/acs.chemrev.1c00107
month: '07'
oa: 1
oa_version: Published Version
page: 9816-9872
publication: Chemical Reviews
publication_identifier:
  eissn:
  - 1520-6890
  issn:
  - 0009-2665
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Combining machine learning and computational chemistry for predictive insights
  into chemical systems
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 121
year: '2021'
...
---
_id: '9728'
abstract:
- lang: eng
  text: "Most real-world flows are multiphase, yet we know little about them compared
    to their single-phase counterparts. Multiphase flows are more difficult to investigate
    as their dynamics occur in large parameter space and involve complex phenomena
    such as preferential concentration, turbulence modulation, non-Newtonian rheology,
    etc. Over the last few decades, experiments in particle-laden flows have taken
    a back seat in favour of ever-improving computational resources. However, computers
    are still not powerful enough to simulate a real-world fluid with millions of
    finite-size particles. Experiments are essential not only because they offer a
    reliable way to investigate real-world multiphase flows but also because they
    serve to validate numerical studies and steer the research in a relevant direction.
    In this work, we have experimentally investigated particle-laden flows in pipes,
    and in particular, examined the effect of particles on the laminar-turbulent transition
    and the drag scaling in turbulent flows.\r\n\r\nFor particle-laden pipe flows,
    an earlier study [Matas et al., 2003] reported how the sub-critical (i.e., hysteretic)
    transition that occurs via localised turbulent structures called puffs is affected
    by the addition of particles. In this study, in addition to this known transition,
    we found a super-critical transition to a globally fluctuating state with increasing
    particle concentration. At the same time, the Newtonian-type transition via puffs
    is delayed to larger Reynolds numbers. At an even higher concentration, only the
    globally fluctuating state is found. The dynamics of particle-laden flows are
    hence determined by two competing instabilities that give rise to three flow regimes:
    Newtonian-type turbulence at low, a particle-induced globally fluctuating state
    at high, and a coexistence state at intermediate concentrations.\r\n\r\nThe effect
    of particles on turbulent drag is ambiguous, with studies reporting drag reduction,
    no net change, and even drag increase. The ambiguity arises because, in addition
    to particle concentration, particle shape, size, and density also affect the net
    drag. Even similar particles might affect the flow dissimilarly in different Reynolds
    number and concentration ranges. In the present study, we explored a wide range
    of both Reynolds number and concentration, using spherical as well as cylindrical
    particles. We found that the spherical particles do not reduce drag while the
    cylindrical particles are drag-reducing within a specific Reynolds number interval.
    The interval strongly depends on the particle concentration and the relative size
    of the pipe and particles. Within this interval, the magnitude of drag reduction
    reaches a maximum. These drag reduction maxima appear to fall onto a distinct
    power-law curve irrespective of the pipe diameter and particle concentration,
    and this curve can be considered as the maximum drag reduction asymptote for a
    given fibre shape. Such an asymptote is well known for polymeric flows but had
    not been identified for particle-laden flows prior to this work."
acknowledged_ssus:
- _id: M-Shop
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Nishchal
  full_name: Agrawal, Nishchal
  id: 469E6004-F248-11E8-B48F-1D18A9856A87
  last_name: Agrawal
citation:
  ama: Agrawal N. Transition to turbulence and drag reduction in particle-laden pipe
    flows. 2021. doi:<a href="https://doi.org/10.15479/at:ista:9728">10.15479/at:ista:9728</a>
  apa: Agrawal, N. (2021). <i>Transition to turbulence and drag reduction in particle-laden
    pipe flows</i>. Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/at:ista:9728">https://doi.org/10.15479/at:ista:9728</a>
  chicago: Agrawal, Nishchal. “Transition to Turbulence and Drag Reduction in Particle-Laden
    Pipe Flows.” Institute of Science and Technology Austria, 2021. <a href="https://doi.org/10.15479/at:ista:9728">https://doi.org/10.15479/at:ista:9728</a>.
  ieee: N. Agrawal, “Transition to turbulence and drag reduction in particle-laden
    pipe flows,” Institute of Science and Technology Austria, 2021.
  ista: Agrawal N. 2021. Transition to turbulence and drag reduction in particle-laden
    pipe flows. Institute of Science and Technology Austria.
  mla: Agrawal, Nishchal. <i>Transition to Turbulence and Drag Reduction in Particle-Laden
    Pipe Flows</i>. Institute of Science and Technology Austria, 2021, doi:<a href="https://doi.org/10.15479/at:ista:9728">10.15479/at:ista:9728</a>.
  short: N. Agrawal, Transition to Turbulence and Drag Reduction in Particle-Laden
    Pipe Flows, Institute of Science and Technology Austria, 2021.
date_created: 2021-07-27T13:40:30Z
date_published: 2021-07-29T00:00:00Z
date_updated: 2024-02-28T13:14:39Z
day: '29'
ddc:
- '532'
degree_awarded: PhD
department:
- _id: GradSch
- _id: BjHo
doi: 10.15479/at:ista:9728
file:
- access_level: closed
  checksum: 77436be3563a90435024307b1b5ee7e8
  content_type: application/x-zip-compressed
  creator: nagrawal
  date_created: 2021-07-28T13:32:02Z
  date_updated: 2022-07-29T22:30:05Z
  embargo_to: open_access
  file_id: '9744'
  file_name: Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows.zip
  file_size: 22859658
  relation: source_file
- access_level: open_access
  checksum: 72a891d7daba85445c29b868c22575ed
  content_type: application/pdf
  creator: nagrawal
  date_created: 2021-07-28T13:32:05Z
  date_updated: 2022-07-29T22:30:05Z
  embargo: 2022-07-28
  file_id: '9745'
  file_name: Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows.pdf
  file_size: 18658048
  relation: main_file
file_date_updated: 2022-07-29T22:30:05Z
has_accepted_license: '1'
keyword:
- Drag Reduction
- Transition to Turbulence
- Multiphase Flows
- particle Laden Flows
- Complex Flows
- Experiments
- Fluid Dynamics
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '118'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '6189'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Björn
  full_name: Hof, Björn
  id: 3A374330-F248-11E8-B48F-1D18A9856A87
  last_name: Hof
  orcid: 0000-0003-2057-2754
title: Transition to turbulence and drag reduction in particle-laden pipe flows
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2021'
...
---
_id: '9733'
abstract:
- lang: eng
  text: This thesis is the result of the research carried out by the author during
    his PhD at IST Austria between 2017 and 2021. It mainly focuses on the Fröhlich
    polaron model, specifically to its regime of strong coupling. This model, which
    is rigorously introduced and discussed in the introduction, has been of great
    interest in condensed matter physics and field theory for more than eighty years.
    It is used to describe an electron interacting with the atoms of a solid material
    (the strength of this interaction is modeled by the presence of a coupling constant
    α in the Hamiltonian of the system). The particular regime examined here, which
    is mathematically described by considering the limit α →∞, displays many interesting
    features related to the emergence of classical behavior, which allows for a simplified
    effective description of the system under analysis. The properties, the range
    of validity and a quantitative analysis of the precision of such classical approximations
    are the main object of the present work. We specify our investigation to the study
    of the ground state energy of the system, its dynamics and its effective mass.
    For each of these problems, we provide in the introduction an overview of the
    previously known results and a detailed account of the original contributions
    by the author.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Dario
  full_name: Feliciangeli, Dario
  id: 41A639AA-F248-11E8-B48F-1D18A9856A87
  last_name: Feliciangeli
  orcid: 0000-0003-0754-8530
citation:
  ama: Feliciangeli D. The polaron at strong coupling. 2021. doi:<a href="https://doi.org/10.15479/at:ista:9733">10.15479/at:ista:9733</a>
  apa: Feliciangeli, D. (2021). <i>The polaron at strong coupling</i>. Institute of
    Science and Technology Austria. <a href="https://doi.org/10.15479/at:ista:9733">https://doi.org/10.15479/at:ista:9733</a>
  chicago: Feliciangeli, Dario. “The Polaron at Strong Coupling.” Institute of Science
    and Technology Austria, 2021. <a href="https://doi.org/10.15479/at:ista:9733">https://doi.org/10.15479/at:ista:9733</a>.
  ieee: D. Feliciangeli, “The polaron at strong coupling,” Institute of Science and
    Technology Austria, 2021.
  ista: Feliciangeli D. 2021. The polaron at strong coupling. Institute of Science
    and Technology Austria.
  mla: Feliciangeli, Dario. <i>The Polaron at Strong Coupling</i>. Institute of Science
    and Technology Austria, 2021, doi:<a href="https://doi.org/10.15479/at:ista:9733">10.15479/at:ista:9733</a>.
  short: D. Feliciangeli, The Polaron at Strong Coupling, Institute of Science and
    Technology Austria, 2021.
date_created: 2021-07-27T15:48:30Z
date_published: 2021-08-20T00:00:00Z
date_updated: 2024-03-06T12:30:44Z
day: '20'
ddc:
- '515'
- '519'
- '539'
degree_awarded: PhD
department:
- _id: GradSch
- _id: RoSe
- _id: JaMa
doi: 10.15479/at:ista:9733
ec_funded: 1
file:
- access_level: open_access
  checksum: e88bb8ca43948abe060eb2d2fa719881
  content_type: application/pdf
  creator: dfelicia
  date_created: 2021-08-19T14:03:48Z
  date_updated: 2021-09-06T09:28:56Z
  file_id: '9944'
  file_name: Thesis_FeliciangeliA.pdf
  file_size: 1958710
  relation: main_file
- access_level: closed
  checksum: 72810843abee83705853505b3f8348aa
  content_type: application/octet-stream
  creator: dfelicia
  date_created: 2021-08-19T14:06:35Z
  date_updated: 2022-03-10T12:13:57Z
  file_id: '9945'
  file_name: thesis.7z
  file_size: 3771669
  relation: source_file
file_date_updated: 2022-03-10T12:13:57Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nd/4.0/
month: '08'
oa: 1
oa_version: Published Version
page: '180'
project:
- _id: 256E75B8-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '716117'
  name: Optimal Transport and Stochastic Dynamics
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '694227'
  name: Analysis of quantum many-body systems
- _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2
  grant_number: F6504
  name: Taming Complexity in Partial Differential Systems
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '9787'
    relation: part_of_dissertation
    status: public
  - id: '9792'
    relation: part_of_dissertation
    status: public
  - id: '9225'
    relation: part_of_dissertation
    status: public
  - id: '9781'
    relation: part_of_dissertation
    status: public
  - id: '9791'
    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
- first_name: Jan
  full_name: Maas, Jan
  id: 4C5696CE-F248-11E8-B48F-1D18A9856A87
  last_name: Maas
  orcid: 0000-0002-0845-1338
title: The polaron at strong coupling
tmp:
  image: /image/cc_by_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nd/4.0/legalcode
  name: Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)
  short: CC BY-ND (4.0)
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2021'
...
---
_id: '9746'
abstract:
- lang: eng
  text: Evolutionary adaptation is a major source of antibiotic resistance in bacterial
    pathogens. Evolution-informed therapy aims to constrain resistance by accounting
    for bacterial evolvability. Sequential treatments with antibiotics that target
    different bacterial processes were previously shown to limit adaptation through
    genetic resistance trade-offs and negative hysteresis. Treatment with homogeneous
    sets of antibiotics is generally viewed to be disadvantageous, as it should rapidly
    lead to cross-resistance. We here challenged this assumption by determining the
    evolutionary response of Pseudomonas aeruginosa to experimental sequential treatments
    involving both heterogenous and homogeneous antibiotic sets. To our surprise,
    we found that fast switching between only β-lactam antibiotics resulted in increased
    extinction of bacterial populations. We demonstrate that extinction is favored
    by low rates of spontaneous resistance emergence and low levels of spontaneous
    cross-resistance among the antibiotics in sequence. The uncovered principles may
    help to guide the optimized use of available antibiotics in highly potent, evolution-informed
    treatment designs.
acknowledgement: We would like to thank Leif Tueffers and João Botelho for discussions
  and suggestions as well as Kira Haas and Julia Bunk for technical support. We acknowledge
  financial support from the German Science Foundation (grant SCHU 1415/12-2 to HS,
  and funding under Germany’s Excellence Strategy EXC 2167–390884018 as well as the
  Research Training Group 2501 TransEvo to HS and SN), the Max Planck Society (IMPRS
  scholarship to AB; Max-Planck fellowship to HS), and the Leibniz Science Campus
  Evolutionary Medicine of the Lung (EvoLUNG, to HS and SN). This work was further
  supported by the German Science Foundation Research Infrastructure NGS_CC (project
  407495230) as part of the Next Generation Sequencing Competence Network (project
  423957469). NGS analyses were carried out at the Competence Centre for Genomic Analysis
  Kiel (CCGA Kiel).
article_number: e68876
article_processing_charge: No
article_type: original
author:
- first_name: Aditi
  full_name: Batra, Aditi
  last_name: Batra
- first_name: Roderich
  full_name: Römhild, Roderich
  id: 68E56E44-62B0-11EA-B963-444F3DDC885E
  last_name: Römhild
  orcid: 0000-0001-9480-5261
- first_name: Emilie
  full_name: Rousseau, Emilie
  last_name: Rousseau
- first_name: Sören
  full_name: Franzenburg, Sören
  last_name: Franzenburg
- first_name: Stefan
  full_name: Niemann, Stefan
  last_name: Niemann
- first_name: Hinrich
  full_name: Schulenburg, Hinrich
  last_name: Schulenburg
citation:
  ama: Batra A, Römhild R, Rousseau E, Franzenburg S, Niemann S, Schulenburg H. High
    potency of sequential therapy with only beta-lactam antibiotics. <i>eLife</i>.
    2021;10. doi:<a href="https://doi.org/10.7554/elife.68876">10.7554/elife.68876</a>
  apa: Batra, A., Römhild, R., Rousseau, E., Franzenburg, S., Niemann, S., &#38; Schulenburg,
    H. (2021). High potency of sequential therapy with only beta-lactam antibiotics.
    <i>ELife</i>. eLife Sciences Publications. <a href="https://doi.org/10.7554/elife.68876">https://doi.org/10.7554/elife.68876</a>
  chicago: Batra, Aditi, Roderich Römhild, Emilie Rousseau, Sören Franzenburg, Stefan
    Niemann, and Hinrich Schulenburg. “High Potency of Sequential Therapy with Only
    Beta-Lactam Antibiotics.” <i>ELife</i>. eLife Sciences Publications, 2021. <a
    href="https://doi.org/10.7554/elife.68876">https://doi.org/10.7554/elife.68876</a>.
  ieee: A. Batra, R. Römhild, E. Rousseau, S. Franzenburg, S. Niemann, and H. Schulenburg,
    “High potency of sequential therapy with only beta-lactam antibiotics,” <i>eLife</i>,
    vol. 10. eLife Sciences Publications, 2021.
  ista: Batra A, Römhild R, Rousseau E, Franzenburg S, Niemann S, Schulenburg H. 2021.
    High potency of sequential therapy with only beta-lactam antibiotics. eLife. 10,
    e68876.
  mla: Batra, Aditi, et al. “High Potency of Sequential Therapy with Only Beta-Lactam
    Antibiotics.” <i>ELife</i>, vol. 10, e68876, eLife Sciences Publications, 2021,
    doi:<a href="https://doi.org/10.7554/elife.68876">10.7554/elife.68876</a>.
  short: A. Batra, R. Römhild, E. Rousseau, S. Franzenburg, S. Niemann, H. Schulenburg,
    ELife 10 (2021).
date_created: 2021-07-28T13:36:57Z
date_published: 2021-07-28T00:00:00Z
date_updated: 2023-08-11T10:26:29Z
day: '28'
department:
- _id: CaGu
doi: 10.7554/elife.68876
external_id:
  isi:
  - '000692027800001'
  pmid:
  - '34318749'
intvolume: '        10'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.7554/eLife.68876
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
publication: eLife
publication_identifier:
  eissn:
  - 2050-084X
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: High potency of sequential therapy with only beta-lactam antibiotics
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 10
year: '2021'
...
