---
_id: '8001'
abstract:
- lang: eng
  text: Post-tetanic potentiation (PTP) is an attractive candidate mechanism for hippocampus-dependent
    short-term memory. Although PTP has a uniquely large magnitude at hippocampal
    mossy fiber-CA3 pyramidal neuron synapses, it is unclear whether it can be induced
    by natural activity and whether its lifetime is sufficient to support short-term
    memory. We combined in vivo recordings from granule cells (GCs), in vitro paired
    recordings from mossy fiber terminals and postsynaptic CA3 neurons, and “flash
    and freeze” electron microscopy. PTP was induced at single synapses and showed
    a low induction threshold adapted to sparse GC activity in vivo. PTP was mainly
    generated by enlargement of the readily releasable pool of synaptic vesicles,
    allowing multiplicative interaction with other plasticity forms. PTP was associated
    with an increase in the docked vesicle pool, suggesting formation of structural
    “pool engrams.” Absence of presynaptic activity extended the lifetime of the potentiation,
    enabling prolonged information storage in the hippocampal network.
acknowledged_ssus:
- _id: SSU
acknowledgement: This project received funding from the European Research Council
  (ERC) under the European Union Horizon 2020 Research and Innovation Program (grant
  agreement 692692 to P.J.) and the Fond zur Förderung der Wissenschaftlichen Forschung
  ( Z 312-B27 , Wittgenstein award to P.J. and V 739-B27 to C.B.-M.). We thank Drs.
  Jozsef Csicsvari, Jose Guzman, Erwin Neher, and Ryuichi Shigemoto for commenting
  on earlier versions of the manuscript. We are grateful to Walter Kaufmann, Daniel
  Gütl, and Vanessa Zheden for EM training; Alois Schlögl for programming; Florian
  Marr for excellent technical assistance and cell reconstruction; Christina Altmutter
  for technical help; Eleftheria Kralli-Beller for manuscript editing; Taija Makinen
  for providing the Prox1-CreERT2 mouse line; and the Scientific Service Units of
  IST Austria for support.
article_processing_charge: No
article_type: original
author:
- first_name: David H
  full_name: Vandael, David H
  id: 3AE48E0A-F248-11E8-B48F-1D18A9856A87
  last_name: Vandael
  orcid: 0000-0001-7577-1676
- first_name: Carolina
  full_name: Borges Merjane, Carolina
  id: 4305C450-F248-11E8-B48F-1D18A9856A87
  last_name: Borges Merjane
  orcid: 0000-0003-0005-401X
- first_name: Xiaomin
  full_name: Zhang, Xiaomin
  id: 423EC9C2-F248-11E8-B48F-1D18A9856A87
  last_name: Zhang
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
citation:
  ama: Vandael DH, Borges Merjane C, Zhang X, Jonas PM. Short-term plasticity at hippocampal
    mossy fiber synapses is induced by natural activity patterns and associated with
    vesicle pool engram formation. <i>Neuron</i>. 2020;107(3):509-521. doi:<a href="https://doi.org/10.1016/j.neuron.2020.05.013">10.1016/j.neuron.2020.05.013</a>
  apa: Vandael, D. H., Borges Merjane, C., Zhang, X., &#38; Jonas, P. M. (2020). Short-term
    plasticity at hippocampal mossy fiber synapses is induced by natural activity
    patterns and associated with vesicle pool engram formation. <i>Neuron</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.neuron.2020.05.013">https://doi.org/10.1016/j.neuron.2020.05.013</a>
  chicago: Vandael, David H, Carolina Borges Merjane, Xiaomin Zhang, and Peter M Jonas.
    “Short-Term Plasticity at Hippocampal Mossy Fiber Synapses Is Induced by Natural
    Activity Patterns and Associated with Vesicle Pool Engram Formation.” <i>Neuron</i>.
    Elsevier, 2020. <a href="https://doi.org/10.1016/j.neuron.2020.05.013">https://doi.org/10.1016/j.neuron.2020.05.013</a>.
  ieee: D. H. Vandael, C. Borges Merjane, X. Zhang, and P. M. Jonas, “Short-term plasticity
    at hippocampal mossy fiber synapses is induced by natural activity patterns and
    associated with vesicle pool engram formation,” <i>Neuron</i>, vol. 107, no. 3.
    Elsevier, pp. 509–521, 2020.
  ista: Vandael DH, Borges Merjane C, Zhang X, Jonas PM. 2020. Short-term plasticity
    at hippocampal mossy fiber synapses is induced by natural activity patterns and
    associated with vesicle pool engram formation. Neuron. 107(3), 509–521.
  mla: Vandael, David H., et al. “Short-Term Plasticity at Hippocampal Mossy Fiber
    Synapses Is Induced by Natural Activity Patterns and Associated with Vesicle Pool
    Engram Formation.” <i>Neuron</i>, vol. 107, no. 3, Elsevier, 2020, pp. 509–21,
    doi:<a href="https://doi.org/10.1016/j.neuron.2020.05.013">10.1016/j.neuron.2020.05.013</a>.
  short: D.H. Vandael, C. Borges Merjane, X. Zhang, P.M. Jonas, Neuron 107 (2020)
    509–521.
date_created: 2020-06-22T13:29:05Z
date_published: 2020-08-05T00:00:00Z
date_updated: 2023-08-22T07:45:25Z
day: '05'
ddc:
- '570'
department:
- _id: PeJo
doi: 10.1016/j.neuron.2020.05.013
ec_funded: 1
external_id:
  isi:
  - '000556135600004'
  pmid:
  - '32492366'
file:
- access_level: open_access
  checksum: 4030b2be0c9625d54694a1e9fb00305e
  content_type: application/pdf
  creator: dernst
  date_created: 2020-11-25T11:23:02Z
  date_updated: 2020-11-25T11:23:02Z
  file_id: '8811'
  file_name: 2020_Neuron_Vandael.pdf
  file_size: 4390833
  relation: main_file
  success: 1
file_date_updated: 2020-11-25T11:23:02Z
has_accepted_license: '1'
intvolume: '       107'
isi: 1
issue: '3'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 509-521
pmid: 1
project:
- _id: 25B7EB9E-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '692692'
  name: Biophysics and circuit function of a giant cortical glumatergic synapse
- _id: 25C5A090-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z00312
  name: The Wittgenstein Prize
- _id: 2696E7FE-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: V00739
  name: Structural plasticity at mossy fiber-CA3 synapses
publication: Neuron
publication_identifier:
  eissn:
  - '10974199'
  issn:
  - 0896-6273
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/possible-physical-trace-of-short-term-memory-found/
scopus_import: '1'
status: public
title: Short-term plasticity at hippocampal mossy fiber synapses is induced by natural
  activity patterns and associated with vesicle pool engram formation
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: 107
year: '2020'
...
---
_id: '8002'
abstract:
- lang: eng
  text: Wound healing in plant tissues, consisting of rigid cell wall-encapsulated
    cells, represents a considerable challenge and occurs through largely unknown
    mechanisms distinct from those in animals. Owing to their inability to migrate,
    plant cells rely on targeted cell division and expansion to regenerate wounds.
    Strict coordination of these wound-induced responses is essential to ensure efficient,
    spatially restricted wound healing. Single-cell tracking by live imaging allowed
    us to gain mechanistic insight into the wound perception and coordination of wound
    responses after laser-based wounding in Arabidopsis root. We revealed a crucial
    contribution of the collapse of damaged cells in wound perception and detected
    an auxin increase specific to cells immediately adjacent to the wound. This localized
    auxin increase balances wound-induced cell expansion and restorative division
    rates in a dose-dependent manner, leading to tumorous overproliferation when the
    canonical TIR1 auxin signaling is disrupted. Auxin and wound-induced turgor pressure
    changes together also spatially define the activation of key components of regeneration,
    such as the transcription regulator ERF115. Our observations suggest that the
    wound signaling involves the sensing of collapse of damaged cells and a local
    auxin signaling activation to coordinate the downstream transcriptional responses
    in the immediate wound vicinity.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
article_number: '202003346'
article_processing_charge: No
article_type: original
author:
- first_name: Lukas
  full_name: Hörmayer, Lukas
  id: 2EEE7A2A-F248-11E8-B48F-1D18A9856A87
  last_name: Hörmayer
  orcid: 0000-0001-8295-2926
- first_name: Juan C
  full_name: Montesinos López, Juan C
  id: 310A8E3E-F248-11E8-B48F-1D18A9856A87
  last_name: Montesinos López
  orcid: 0000-0001-9179-6099
- first_name: Petra
  full_name: Marhavá, Petra
  id: 44E59624-F248-11E8-B48F-1D18A9856A87
  last_name: Marhavá
- first_name: Eva
  full_name: Benková, Eva
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
- first_name: Saiko
  full_name: Yoshida, Saiko
  id: 2E46069C-F248-11E8-B48F-1D18A9856A87
  last_name: Yoshida
- first_name: Jiří
  full_name: Friml, Jiří
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
citation:
  ama: Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J.
    Wounding-induced changes in cellular pressure and localized auxin signalling spatially
    coordinate restorative divisions in roots. <i>Proceedings of the National Academy
    of Sciences</i>. 2020;117(26). doi:<a href="https://doi.org/10.1073/pnas.2003346117">10.1073/pnas.2003346117</a>
  apa: Hörmayer, L., Montesinos López, J. C., Marhavá, P., Benková, E., Yoshida, S.,
    &#38; Friml, J. (2020). Wounding-induced changes in cellular pressure and localized
    auxin signalling spatially coordinate restorative divisions in roots. <i>Proceedings
    of the National Academy of Sciences</i>. Proceedings of the National Academy of
    Sciences. <a href="https://doi.org/10.1073/pnas.2003346117">https://doi.org/10.1073/pnas.2003346117</a>
  chicago: Hörmayer, Lukas, Juan C Montesinos López, Petra Marhavá, Eva Benková, Saiko
    Yoshida, and Jiří Friml. “Wounding-Induced Changes in Cellular Pressure and Localized
    Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.” <i>Proceedings
    of the National Academy of Sciences</i>. Proceedings of the National Academy of
    Sciences, 2020. <a href="https://doi.org/10.1073/pnas.2003346117">https://doi.org/10.1073/pnas.2003346117</a>.
  ieee: L. Hörmayer, J. C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, and
    J. Friml, “Wounding-induced changes in cellular pressure and localized auxin signalling
    spatially coordinate restorative divisions in roots,” <i>Proceedings of the National
    Academy of Sciences</i>, vol. 117, no. 26. Proceedings of the National Academy
    of Sciences, 2020.
  ista: Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J.
    2020. Wounding-induced changes in cellular pressure and localized auxin signalling
    spatially coordinate restorative divisions in roots. Proceedings of the National
    Academy of Sciences. 117(26), 202003346.
  mla: Hörmayer, Lukas, et al. “Wounding-Induced Changes in Cellular Pressure and
    Localized Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.”
    <i>Proceedings of the National Academy of Sciences</i>, vol. 117, no. 26, 202003346,
    Proceedings of the National Academy of Sciences, 2020, doi:<a href="https://doi.org/10.1073/pnas.2003346117">10.1073/pnas.2003346117</a>.
  short: L. Hörmayer, J.C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, J.
    Friml, Proceedings of the National Academy of Sciences 117 (2020).
date_created: 2020-06-22T13:33:52Z
date_published: 2020-06-30T00:00:00Z
date_updated: 2024-03-25T23:30:06Z
day: '30'
ddc:
- '580'
department:
- _id: JiFr
- _id: EvBe
doi: 10.1073/pnas.2003346117
ec_funded: 1
external_id:
  isi:
  - '000565729700033'
  pmid:
  - '32541049'
file:
- access_level: open_access
  checksum: 908b09437680181de9990915f2113aca
  content_type: application/pdf
  creator: dernst
  date_created: 2020-06-23T11:30:53Z
  date_updated: 2020-07-14T12:48:07Z
  file_id: '8009'
  file_name: 2020_PNAS_Hoermayer.pdf
  file_size: 2407102
  relation: main_file
file_date_updated: 2020-07-14T12:48:07Z
has_accepted_license: '1'
intvolume: '       117'
isi: 1
issue: '26'
language:
- iso: eng
month: '06'
oa: 1
oa_version: None
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: 262EF96E-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P29988
  name: RNA-directed DNA methylation in plant development
publication: Proceedings of the National Academy of Sciences
publication_identifier:
  eissn:
  - 1091-6490
  issn:
  - 0027-8424
publication_status: published
publisher: Proceedings of the National Academy of Sciences
quality_controlled: '1'
related_material:
  link:
  - description: News on IST Homepage
    relation: press_release
    url: https://ist.ac.at/en/news/how-wounded-plants-coordinate-their-healing/
  record:
  - id: '9992'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Wounding-induced changes in cellular pressure and localized auxin signalling
  spatially coordinate restorative divisions in roots
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 117
year: '2020'
...
---
_id: '8011'
abstract:
- lang: eng
  text: 'Relaxation to a thermal state is the inevitable fate of nonequilibrium interacting
    quantum systems without special conservation laws. While thermalization in one-dimensional
    systems can often be suppressed by integrability mechanisms, in two spatial dimensions
    thermalization is expected to be far more effective due to the increased phase
    space. In this work we propose a general framework for escaping or delaying the
    emergence of the thermal state in two-dimensional arrays of Rydberg atoms via
    the mechanism of quantum scars, i.e., initial states that fail to thermalize.
    The suppression of thermalization is achieved in two complementary ways: by adding
    local perturbations or by adjusting the driving Rabi frequency according to the
    local connectivity of the lattice. We demonstrate that these mechanisms allow
    us to realize robust quantum scars in various two-dimensional lattices, including
    decorated lattices with nonconstant connectivity. In particular, we show that
    a small decrease of the Rabi frequency at the corners of the lattice is crucial
    for mitigating the strong boundary effects in two-dimensional systems. Our results
    identify synchronization as an important tool for future experiments on two-dimensional
    quantum scars.'
article_number: '022065'
article_processing_charge: No
article_type: original
author:
- first_name: Alexios
  full_name: Michailidis, Alexios
  id: 36EBAD38-F248-11E8-B48F-1D18A9856A87
  last_name: Michailidis
- first_name: C. J.
  full_name: Turner, C. J.
  last_name: Turner
- first_name: Z.
  full_name: Papić, Z.
  last_name: Papić
- first_name: D. A.
  full_name: Abanin, D. A.
  last_name: Abanin
- first_name: Maksym
  full_name: Serbyn, Maksym
  id: 47809E7E-F248-11E8-B48F-1D18A9856A87
  last_name: Serbyn
  orcid: 0000-0002-2399-5827
citation:
  ama: Michailidis A, Turner CJ, Papić Z, Abanin DA, Serbyn M. Stabilizing two-dimensional
    quantum scars by deformation and synchronization. <i>Physical Review Research</i>.
    2020;2(2). doi:<a href="https://doi.org/10.1103/physrevresearch.2.022065">10.1103/physrevresearch.2.022065</a>
  apa: Michailidis, A., Turner, C. J., Papić, Z., Abanin, D. A., &#38; Serbyn, M.
    (2020). Stabilizing two-dimensional quantum scars by deformation and synchronization.
    <i>Physical Review Research</i>. American Physical Society. <a href="https://doi.org/10.1103/physrevresearch.2.022065">https://doi.org/10.1103/physrevresearch.2.022065</a>
  chicago: Michailidis, Alexios, C. J. Turner, Z. Papić, D. A. Abanin, and Maksym
    Serbyn. “Stabilizing Two-Dimensional Quantum Scars by Deformation and Synchronization.”
    <i>Physical Review Research</i>. American Physical Society, 2020. <a href="https://doi.org/10.1103/physrevresearch.2.022065">https://doi.org/10.1103/physrevresearch.2.022065</a>.
  ieee: A. Michailidis, C. J. Turner, Z. Papić, D. A. Abanin, and M. Serbyn, “Stabilizing
    two-dimensional quantum scars by deformation and synchronization,” <i>Physical
    Review Research</i>, vol. 2, no. 2. American Physical Society, 2020.
  ista: Michailidis A, Turner CJ, Papić Z, Abanin DA, Serbyn M. 2020. Stabilizing
    two-dimensional quantum scars by deformation and synchronization. Physical Review
    Research. 2(2), 022065.
  mla: Michailidis, Alexios, et al. “Stabilizing Two-Dimensional Quantum Scars by
    Deformation and Synchronization.” <i>Physical Review Research</i>, vol. 2, no.
    2, 022065, American Physical Society, 2020, doi:<a href="https://doi.org/10.1103/physrevresearch.2.022065">10.1103/physrevresearch.2.022065</a>.
  short: A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review
    Research 2 (2020).
date_created: 2020-06-23T12:00:19Z
date_published: 2020-06-22T00:00:00Z
date_updated: 2021-01-12T08:16:30Z
day: '22'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.1103/physrevresearch.2.022065
ec_funded: 1
file:
- access_level: open_access
  checksum: e6959dc8220f14a008d1933858795e6d
  content_type: application/pdf
  creator: dernst
  date_created: 2020-06-29T14:41:27Z
  date_updated: 2020-07-14T12:48:08Z
  file_id: '8050'
  file_name: 2020_PhysicalReviewResearch_Michailidis.pdf
  file_size: 2066011
  relation: main_file
file_date_updated: 2020-07-14T12:48:08Z
has_accepted_license: '1'
intvolume: '         2'
issue: '2'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 23841C26-32DE-11EA-91FC-C7463DDC885E
  call_identifier: H2020
  grant_number: '850899'
  name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control'
publication: Physical Review Research
publication_identifier:
  issn:
  - 2643-1564
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
status: public
title: Stabilizing two-dimensional quantum scars by deformation and synchronization
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2020'
...
---
_id: '8012'
abstract:
- lang: eng
  text: Asynchronous programs are notoriously difficult to reason about because they
    spawn computation tasks which take effect asynchronously in a nondeterministic
    way. Devising inductive invariants for such programs requires understanding and
    stating complex relationships between an unbounded number of computation tasks
    in arbitrarily long executions. In this paper, we introduce inductive sequentialization,
    a new proof rule that sidesteps this complexity via a sequential reduction, a
    sequential program that captures every behavior of the original program up to
    reordering of coarse-grained commutative actions. A sequential reduction of a
    concurrent program is easy to reason about since it corresponds to a simple execution
    of the program in an idealized synchronous environment, where processes act in
    a fixed order and at the same speed. We have implemented and integrated our proof
    rule in the CIVL verifier, allowing us to provably derive fine-grained implementations
    of asynchronous programs. We have successfully applied our proof rule to a diverse
    set of message-passing protocols, including leader election protocols, two-phase
    commit, and Paxos.
article_processing_charge: No
author:
- first_name: Bernhard
  full_name: Kragl, Bernhard
  id: 320FC952-F248-11E8-B48F-1D18A9856A87
  last_name: Kragl
  orcid: 0000-0001-7745-9117
- first_name: Constantin
  full_name: Enea, Constantin
  last_name: Enea
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
- first_name: Suha Orhun
  full_name: Mutluergil, Suha Orhun
  last_name: Mutluergil
- first_name: Shaz
  full_name: Qadeer, Shaz
  last_name: Qadeer
citation:
  ama: 'Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. Inductive sequentialization
    of asynchronous programs. In: <i>Proceedings of the 41st ACM SIGPLAN Conference
    on Programming Language Design and Implementation</i>. Association for Computing
    Machinery; 2020:227-242. doi:<a href="https://doi.org/10.1145/3385412.3385980">10.1145/3385412.3385980</a>'
  apa: 'Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., &#38; Qadeer, S.
    (2020). Inductive sequentialization of asynchronous programs. In <i>Proceedings
    of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>
    (pp. 227–242). London, United Kingdom: Association for Computing Machinery. <a
    href="https://doi.org/10.1145/3385412.3385980">https://doi.org/10.1145/3385412.3385980</a>'
  chicago: Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil,
    and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.” In <i>Proceedings
    of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>,
    227–42. Association for Computing Machinery, 2020. <a href="https://doi.org/10.1145/3385412.3385980">https://doi.org/10.1145/3385412.3385980</a>.
  ieee: B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive
    sequentialization of asynchronous programs,” in <i>Proceedings of the 41st ACM
    SIGPLAN Conference on Programming Language Design and Implementation</i>, London,
    United Kingdom, 2020, pp. 227–242.
  ista: 'Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization
    of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming
    Language Design and Implementation. PLDI: Programming Language Design and Implementation,
    227–242.'
  mla: Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.”
    <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design
    and Implementation</i>, Association for Computing Machinery, 2020, pp. 227–42,
    doi:<a href="https://doi.org/10.1145/3385412.3385980">10.1145/3385412.3385980</a>.
  short: B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings
    of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
    Association for Computing Machinery, 2020, pp. 227–242.
conference:
  end_date: 2020-06-20
  location: London, United Kingdom
  name: 'PLDI: Programming Language Design and Implementation'
  start_date: 2020-06-15
date_created: 2020-06-25T11:40:16Z
date_published: 2020-06-01T00:00:00Z
date_updated: 2023-09-07T13:18:00Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/3385412.3385980
external_id:
  isi:
  - '000614622300016'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1145/3385412.3385980
month: '06'
oa: 1
oa_version: Published Version
page: 227-242
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language
  Design and Implementation
publication_identifier:
  isbn:
  - '9781450376136'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
  record:
  - id: '8332'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Inductive sequentialization of asynchronous programs
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2020'
...
---
_id: '8032'
abstract:
- lang: eng
  text: "Algorithms in computational 3-manifold topology typically take a triangulation
    as an input and return topological information about the underlying 3-manifold.
    However, extracting the desired information from a triangulation (e.g., evaluating
    an invariant) is often computationally very expensive. In recent years this complexity
    barrier has been successfully tackled in some cases by importing ideas from the
    theory of parameterized algorithms into the realm of 3-manifolds. Various computationally
    hard problems were shown to be efficiently solvable for input triangulations that
    are sufficiently “tree-like.”\r\nIn this thesis we focus on the key combinatorial
    parameter in the above context: we consider the treewidth of a compact, orientable
    3-manifold, i.e., the smallest treewidth of the dual graph of any triangulation
    thereof. By building on the work of Scharlemann–Thompson and Scharlemann–Schultens–Saito
    on generalized Heegaard splittings, and on the work of Jaco–Rubinstein on layered
    triangulations, we establish quantitative relations between the treewidth and
    classical topological invariants of a 3-manifold. In particular, among other results,
    we show that the treewidth of a closed, orientable, irreducible, non-Haken 3-manifold
    is always within a constant factor of its Heegaard genus."
acknowledged_ssus:
- _id: E-Lib
- _id: CampIT
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Kristóf
  full_name: Huszár, Kristóf
  id: 33C26278-F248-11E8-B48F-1D18A9856A87
  last_name: Huszár
  orcid: 0000-0002-5445-5057
citation:
  ama: Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020.
    doi:<a href="https://doi.org/10.15479/AT:ISTA:8032">10.15479/AT:ISTA:8032</a>
  apa: Huszár, K. (2020). <i>Combinatorial width parameters for 3-dimensional manifolds</i>.
    Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:8032">https://doi.org/10.15479/AT:ISTA:8032</a>
  chicago: Huszár, Kristóf. “Combinatorial Width Parameters for 3-Dimensional Manifolds.”
    Institute of Science and Technology Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:8032">https://doi.org/10.15479/AT:ISTA:8032</a>.
  ieee: K. Huszár, “Combinatorial width parameters for 3-dimensional manifolds,” Institute
    of Science and Technology Austria, 2020.
  ista: Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds.
    Institute of Science and Technology Austria.
  mla: Huszár, Kristóf. <i>Combinatorial Width Parameters for 3-Dimensional Manifolds</i>.
    Institute of Science and Technology Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:8032">10.15479/AT:ISTA:8032</a>.
  short: K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute
    of Science and Technology Austria, 2020.
date_created: 2020-06-26T10:00:36Z
date_published: 2020-06-26T00:00:00Z
date_updated: 2023-09-07T13:18:27Z
day: '26'
ddc:
- '514'
degree_awarded: PhD
department:
- _id: UlWa
doi: 10.15479/AT:ISTA:8032
file:
- access_level: open_access
  checksum: bd8be6e4f1addc863dfcc0fad29ee9c3
  content_type: application/pdf
  creator: khuszar
  date_created: 2020-06-26T10:03:58Z
  date_updated: 2020-07-14T12:48:08Z
  file_id: '8034'
  file_name: Kristof_Huszar-Thesis.pdf
  file_size: 2637562
  relation: main_file
- access_level: closed
  checksum: d5f8456202b32f4a77552ef47a2837d1
  content_type: application/x-zip-compressed
  creator: khuszar
  date_created: 2020-06-26T10:10:06Z
  date_updated: 2020-07-14T12:48:08Z
  file_id: '8035'
  file_name: Kristof_Huszar-Thesis-source.zip
  file_size: 7163491
  relation: source_file
file_date_updated: 2020-07-14T12:48:08Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: xviii+120
publication_identifier:
  isbn:
  - 978-3-99078-006-0
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '6556'
    relation: dissertation_contains
    status: public
  - id: '7093'
    relation: dissertation_contains
    status: public
status: public
supervisor:
- first_name: Uli
  full_name: Wagner, Uli
  id: 36690CA2-F248-11E8-B48F-1D18A9856A87
  last_name: Wagner
  orcid: 0000-0002-1494-0568
- first_name: Jonathan
  full_name: Spreer, Jonathan
  last_name: Spreer
title: Combinatorial width parameters for 3-dimensional manifolds
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2020'
...
---
_id: '8036'
abstract:
- lang: eng
  text: When tiny soft ferromagnetic particles are placed along a liquid interface
    and exposed to a vertical magnetic field, the balance between capillary attraction
    and magnetic repulsion leads to self-organization into well-defined patterns.
    Here, we demonstrate experimentally that precessing magnetic fields induce metachronal
    waves on the periphery of these assemblies, similar to the ones observed in ciliates
    and some arthropods. The outermost layer of particles behaves like an array of
    cilia or legs whose sequential movement causes a net and controllable locomotion.
    This bioinspired many-particle swimming strategy is effective even at low Reynolds
    number, using only spatially uniform fields to generate the waves.
article_number: '112'
article_processing_charge: No
article_type: original
author:
- first_name: Ylona
  full_name: Collard, Ylona
  last_name: Collard
- first_name: Galien M
  full_name: Grosjean, Galien M
  id: 0C5FDA4A-9CF6-11E9-8939-FF05E6697425
  last_name: Grosjean
  orcid: 0000-0001-5154-417X
- first_name: Nicolas
  full_name: Vandewalle, Nicolas
  last_name: Vandewalle
citation:
  ama: Collard Y, Grosjean GM, Vandewalle N. Magnetically powered metachronal waves
    induce locomotion in self-assemblies. <i>Communications Physics</i>. 2020;3. doi:<a
    href="https://doi.org/10.1038/s42005-020-0380-9">10.1038/s42005-020-0380-9</a>
  apa: Collard, Y., Grosjean, G. M., &#38; Vandewalle, N. (2020). Magnetically powered
    metachronal waves induce locomotion in self-assemblies. <i>Communications Physics</i>.
    Springer Nature. <a href="https://doi.org/10.1038/s42005-020-0380-9">https://doi.org/10.1038/s42005-020-0380-9</a>
  chicago: Collard, Ylona, Galien M Grosjean, and Nicolas Vandewalle. “Magnetically
    Powered Metachronal Waves Induce Locomotion in Self-Assemblies.” <i>Communications
    Physics</i>. Springer Nature, 2020. <a href="https://doi.org/10.1038/s42005-020-0380-9">https://doi.org/10.1038/s42005-020-0380-9</a>.
  ieee: Y. Collard, G. M. Grosjean, and N. Vandewalle, “Magnetically powered metachronal
    waves induce locomotion in self-assemblies,” <i>Communications Physics</i>, vol.
    3. Springer Nature, 2020.
  ista: Collard Y, Grosjean GM, Vandewalle N. 2020. Magnetically powered metachronal
    waves induce locomotion in self-assemblies. Communications Physics. 3, 112.
  mla: Collard, Ylona, et al. “Magnetically Powered Metachronal Waves Induce Locomotion
    in Self-Assemblies.” <i>Communications Physics</i>, vol. 3, 112, Springer Nature,
    2020, doi:<a href="https://doi.org/10.1038/s42005-020-0380-9">10.1038/s42005-020-0380-9</a>.
  short: Y. Collard, G.M. Grosjean, N. Vandewalle, Communications Physics 3 (2020).
date_created: 2020-06-29T07:59:35Z
date_published: 2020-06-19T00:00:00Z
date_updated: 2023-08-22T07:47:30Z
day: '19'
ddc:
- '530'
department:
- _id: ScWa
doi: 10.1038/s42005-020-0380-9
ec_funded: 1
external_id:
  isi:
  - '000543328000002'
file:
- access_level: open_access
  checksum: ed984f7a393f19140b5279a54a3336ad
  content_type: application/pdf
  creator: cziletti
  date_created: 2020-06-29T13:21:24Z
  date_updated: 2020-07-14T12:48:08Z
  file_id: '8045'
  file_name: 2020_CommunicationsPhysics_Collard.pdf
  file_size: 1907821
  relation: main_file
file_date_updated: 2020-07-14T12:48:08Z
has_accepted_license: '1'
intvolume: '         3'
isi: 1
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: Communications Physics
publication_identifier:
  eissn:
  - '23993650'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Magnetically powered metachronal waves induce locomotion in self-assemblies
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: 3
year: '2020'
...
---
_id: '8037'
abstract:
- lang: eng
  text: 'Genetic perturbations that affect bacterial resistance to antibiotics have
    been characterized genome-wide, but how do such perturbations interact with subsequent
    evolutionary adaptation to the drug? Here, we show that strong epistasis between
    resistance mutations and systematically identified genes can be exploited to control
    spontaneous resistance evolution. We evolved hundreds of Escherichia coli K-12
    mutant populations in parallel, using a robotic platform that tightly controls
    population size and selection pressure. We find a global diminishing-returns epistasis
    pattern: strains that are initially more sensitive generally undergo larger resistance
    gains. However, some gene deletion strains deviate from this general trend and
    curtail the evolvability of resistance, including deletions of genes for membrane
    transport, LPS biosynthesis, and chaperones. Deletions of efflux pump genes force
    evolution on inferior mutational paths, not explored in the wild type, and some
    of these essentially block resistance evolution. This effect is due to strong
    negative epistasis with resistance mutations. The identified genes and cellular
    functions provide potential targets for development of adjuvants that may block
    spontaneous resistance evolution when combined with antibiotics.'
article_number: '3105'
article_processing_charge: No
article_type: original
author:
- first_name: Marta
  full_name: Lukacisinova, Marta
  id: 4342E402-F248-11E8-B48F-1D18A9856A87
  last_name: Lukacisinova
  orcid: 0000-0002-2519-8004
- first_name: Booshini
  full_name: Fernando, Booshini
  last_name: Fernando
- first_name: Mark Tobias
  full_name: Bollenbach, Mark Tobias
  id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
  last_name: Bollenbach
  orcid: 0000-0003-4398-476X
citation:
  ama: Lukacisinova M, Fernando B, Bollenbach MT. Highly parallel lab evolution reveals
    that epistasis can curb the evolution of antibiotic resistance. <i>Nature Communications</i>.
    2020;11. doi:<a href="https://doi.org/10.1038/s41467-020-16932-z">10.1038/s41467-020-16932-z</a>
  apa: Lukacisinova, M., Fernando, B., &#38; Bollenbach, M. T. (2020). Highly parallel
    lab evolution reveals that epistasis can curb the evolution of antibiotic resistance.
    <i>Nature Communications</i>. Springer Nature. <a href="https://doi.org/10.1038/s41467-020-16932-z">https://doi.org/10.1038/s41467-020-16932-z</a>
  chicago: Lukacisinova, Marta, Booshini Fernando, and Mark Tobias Bollenbach. “Highly
    Parallel Lab Evolution Reveals That Epistasis Can Curb the Evolution of Antibiotic
    Resistance.” <i>Nature Communications</i>. Springer Nature, 2020. <a href="https://doi.org/10.1038/s41467-020-16932-z">https://doi.org/10.1038/s41467-020-16932-z</a>.
  ieee: M. Lukacisinova, B. Fernando, and M. T. Bollenbach, “Highly parallel lab evolution
    reveals that epistasis can curb the evolution of antibiotic resistance,” <i>Nature
    Communications</i>, vol. 11. Springer Nature, 2020.
  ista: Lukacisinova M, Fernando B, Bollenbach MT. 2020. Highly parallel lab evolution
    reveals that epistasis can curb the evolution of antibiotic resistance. Nature
    Communications. 11, 3105.
  mla: Lukacisinova, Marta, et al. “Highly Parallel Lab Evolution Reveals That Epistasis
    Can Curb the Evolution of Antibiotic Resistance.” <i>Nature Communications</i>,
    vol. 11, 3105, Springer Nature, 2020, doi:<a href="https://doi.org/10.1038/s41467-020-16932-z">10.1038/s41467-020-16932-z</a>.
  short: M. Lukacisinova, B. Fernando, M.T. Bollenbach, Nature Communications 11 (2020).
date_created: 2020-06-29T07:59:35Z
date_published: 2020-06-19T00:00:00Z
date_updated: 2023-08-22T07:48:30Z
day: '19'
ddc:
- '570'
doi: 10.1038/s41467-020-16932-z
extern: '1'
external_id:
  isi:
  - '000545685100002'
  pmid:
  - '32561723'
file:
- access_level: open_access
  checksum: 4f5f49d63add331d5eb8a2bae477b396
  content_type: application/pdf
  creator: cziletti
  date_created: 2020-06-30T09:58:50Z
  date_updated: 2020-07-14T12:48:08Z
  file_id: '8071'
  file_name: 2020_NatureComm_Lukacisinova.pdf
  file_size: 1546491
  relation: main_file
file_date_updated: 2020-07-14T12:48:08Z
has_accepted_license: '1'
intvolume: '        11'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 25E9AF9E-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P27201-B22
  name: Revealing the mechanisms underlying drug interactions
- _id: 25EB3A80-B435-11E9-9278-68D0E5697425
  grant_number: RGP0042/2013
  name: Revealing the fundamental limits of cell growth
publication: Nature Communications
publication_identifier:
  eissn:
  - '20411723'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Highly parallel lab evolution reveals that epistasis can curb the evolution
  of antibiotic resistance
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: 11
year: '2020'
...
---
_id: '8038'
abstract:
- lang: eng
  text: Microelectromechanical systems and integrated photonics provide the basis
    for many reliable and compact circuit elements in modern communication systems.
    Electro-opto-mechanical devices are currently one of the leading approaches to
    realize ultra-sensitive, low-loss transducers for an emerging quantum information
    technology. Here we present an on-chip microwave frequency converter based on
    a planar aluminum on silicon nitride platform that is compatible with slot-mode
    coupled photonic crystal cavities. We show efficient frequency conversion between
    two propagating microwave modes mediated by the radiation pressure interaction
    with a metalized dielectric nanobeam oscillator. We achieve bidirectional coherent
    conversion with a total device efficiency of up to ~60%, a dynamic range of 2
    × 10^9 photons/s and an instantaneous bandwidth of up to 1.7 kHz. A high fidelity
    quantum state transfer would be possible if the drive dependent output noise of
    currently ~14 photons s^−1 Hz^−1 is further reduced. Such a silicon nitride based
    transducer is in situ reconfigurable and could be used for on-chip classical and
    quantum signal routing and filtering, both for microwave and hybrid microwave-optical
    applications.
article_number: '034011'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Johannes M
  full_name: Fink, Johannes M
  id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
  last_name: Fink
  orcid: 0000-0001-8112-028X
- first_name: M.
  full_name: Kalaee, M.
  last_name: Kalaee
- first_name: R.
  full_name: Norte, R.
  last_name: Norte
- first_name: A.
  full_name: Pitanti, A.
  last_name: Pitanti
- first_name: O.
  full_name: Painter, O.
  last_name: Painter
citation:
  ama: Fink JM, Kalaee M, Norte R, Pitanti A, Painter O. Efficient microwave frequency
    conversion mediated by a photonics compatible silicon nitride nanobeam oscillator.
    <i>Quantum Science and Technology</i>. 2020;5(3). doi:<a href="https://doi.org/10.1088/2058-9565/ab8dce">10.1088/2058-9565/ab8dce</a>
  apa: Fink, J. M., Kalaee, M., Norte, R., Pitanti, A., &#38; Painter, O. (2020).
    Efficient microwave frequency conversion mediated by a photonics compatible silicon
    nitride nanobeam oscillator. <i>Quantum Science and Technology</i>. IOP Publishing.
    <a href="https://doi.org/10.1088/2058-9565/ab8dce">https://doi.org/10.1088/2058-9565/ab8dce</a>
  chicago: Fink, Johannes M, M. Kalaee, R. Norte, A. Pitanti, and O. Painter. “Efficient
    Microwave Frequency Conversion Mediated by a Photonics Compatible Silicon Nitride
    Nanobeam Oscillator.” <i>Quantum Science and Technology</i>. IOP Publishing, 2020.
    <a href="https://doi.org/10.1088/2058-9565/ab8dce">https://doi.org/10.1088/2058-9565/ab8dce</a>.
  ieee: J. M. Fink, M. Kalaee, R. Norte, A. Pitanti, and O. Painter, “Efficient microwave
    frequency conversion mediated by a photonics compatible silicon nitride nanobeam
    oscillator,” <i>Quantum Science and Technology</i>, vol. 5, no. 3. IOP Publishing,
    2020.
  ista: Fink JM, Kalaee M, Norte R, Pitanti A, Painter O. 2020. Efficient microwave
    frequency conversion mediated by a photonics compatible silicon nitride nanobeam
    oscillator. Quantum Science and Technology. 5(3), 034011.
  mla: Fink, Johannes M., et al. “Efficient Microwave Frequency Conversion Mediated
    by a Photonics Compatible Silicon Nitride Nanobeam Oscillator.” <i>Quantum Science
    and Technology</i>, vol. 5, no. 3, 034011, IOP Publishing, 2020, doi:<a href="https://doi.org/10.1088/2058-9565/ab8dce">10.1088/2058-9565/ab8dce</a>.
  short: J.M. Fink, M. Kalaee, R. Norte, A. Pitanti, O. Painter, Quantum Science and
    Technology 5 (2020).
date_created: 2020-06-29T07:59:35Z
date_published: 2020-05-25T00:00:00Z
date_updated: 2024-08-07T07:11:51Z
day: '25'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1088/2058-9565/ab8dce
ec_funded: 1
external_id:
  isi:
  - '000539300800001'
file:
- access_level: open_access
  checksum: 8f25f05053f511f892ae8fa93f341e61
  content_type: application/pdf
  creator: cziletti
  date_created: 2020-06-30T10:29:10Z
  date_updated: 2020-07-14T12:48:08Z
  file_id: '8072'
  file_name: 2020_QuantumSciTechnol_Fink.pdf
  file_size: 2600967
  relation: main_file
file_date_updated: 2020-07-14T12:48:08Z
has_accepted_license: '1'
intvolume: '         5'
isi: 1
issue: '3'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: 26336814-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '758053'
  name: A Fiber Optic Transceiver for Superconducting Qubits
- _id: 26927A52-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: F07105
  name: Integrating superconducting quantum circuits
- _id: 257EB838-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '732894'
  name: Hybrid Optomechanical Technologies
- _id: 2622978C-B435-11E9-9278-68D0E5697425
  name: Hybrid Semiconductor - Superconductor Quantum Devices
publication: Quantum Science and Technology
publication_identifier:
  eissn:
  - '20589565'
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Efficient microwave frequency conversion mediated by a photonics compatible
  silicon nitride nanobeam oscillator
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: 5
year: '2020'
...
---
_id: '8039'
abstract:
- lang: eng
  text: In the present work, we report a solution-based strategy to produce crystallographically
    textured SnSe bulk nanomaterials and printed layers with optimized thermoelectric
    performance in the direction normal to the substrate. Our strategy is based on
    the formulation of a molecular precursor that can be continuously decomposed to
    produce a SnSe powder or printed into predefined patterns. The precursor formulation
    and decomposition conditions are optimized to produce pure phase 2D SnSe nanoplates.
    The printed layer and the bulk material obtained after hot press displays a clear
    preferential orientation of the crystallographic domains, resulting in an ultralow
    thermal conductivity of 0.55 W m–1 K–1 in the direction normal to the substrate.
    Such textured nanomaterials present highly anisotropic properties with the best
    thermoelectric performance in plane, i.e., in the directions parallel to the substrate,
    which coincide with the crystallographic bc plane of SnSe. This is an unfortunate
    characteristic because thermoelectric devices are designed to create/harvest temperature
    gradients in the direction normal to the substrate. We further demonstrate that
    this limitation can be overcome with the introduction of small amounts of tellurium
    in the precursor. The presence of tellurium allows one to reduce the band gap
    and increase both the charge carrier concentration and the mobility, especially
    the cross plane, with a minimal decrease of the Seebeck coefficient. These effects
    translate into record out of plane ZT values at 800 K.
article_processing_charge: No
article_type: original
author:
- first_name: Yu
  full_name: Zhang, Yu
  last_name: Zhang
- first_name: Yu
  full_name: Liu, Yu
  id: 2A70014E-F248-11E8-B48F-1D18A9856A87
  last_name: Liu
  orcid: 0000-0001-7313-6740
- first_name: Congcong
  full_name: Xing, Congcong
  last_name: Xing
- first_name: Ting
  full_name: Zhang, Ting
  last_name: Zhang
- first_name: Mengyao
  full_name: Li, Mengyao
  last_name: Li
- first_name: Mercè
  full_name: Pacios, Mercè
  last_name: Pacios
- first_name: Xiaoting
  full_name: Yu, Xiaoting
  last_name: Yu
- first_name: Jordi
  full_name: Arbiol, Jordi
  last_name: Arbiol
- first_name: Jordi
  full_name: Llorca, Jordi
  last_name: Llorca
- first_name: Doris
  full_name: Cadavid, Doris
  last_name: Cadavid
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: Zhang Y, Liu Y, Xing C, et al. Tin selenide molecular precursor for the solution
    processing of thermoelectric materials and devices. <i>ACS Applied Materials and
    Interfaces</i>. 2020;12(24):27104-27111. doi:<a href="https://doi.org/10.1021/acsami.0c04331">10.1021/acsami.0c04331</a>
  apa: Zhang, Y., Liu, Y., Xing, C., Zhang, T., Li, M., Pacios, M., … Cabot, A. (2020).
    Tin selenide molecular precursor for the solution processing of thermoelectric
    materials and devices. <i>ACS Applied Materials and Interfaces</i>. American Chemical
    Society. <a href="https://doi.org/10.1021/acsami.0c04331">https://doi.org/10.1021/acsami.0c04331</a>
  chicago: Zhang, Yu, Yu Liu, Congcong Xing, Ting Zhang, Mengyao Li, Mercè Pacios,
    Xiaoting Yu, et al. “Tin Selenide Molecular Precursor for the Solution Processing
    of Thermoelectric Materials and Devices.” <i>ACS Applied Materials and Interfaces</i>.
    American Chemical Society, 2020. <a href="https://doi.org/10.1021/acsami.0c04331">https://doi.org/10.1021/acsami.0c04331</a>.
  ieee: Y. Zhang <i>et al.</i>, “Tin selenide molecular precursor for the solution
    processing of thermoelectric materials and devices,” <i>ACS Applied Materials
    and Interfaces</i>, vol. 12, no. 24. American Chemical Society, pp. 27104–27111,
    2020.
  ista: Zhang Y, Liu Y, Xing C, Zhang T, Li M, Pacios M, Yu X, Arbiol J, Llorca J,
    Cadavid D, Ibáñez M, Cabot A. 2020. Tin selenide molecular precursor for the solution
    processing of thermoelectric materials and devices. ACS Applied Materials and
    Interfaces. 12(24), 27104–27111.
  mla: Zhang, Yu, et al. “Tin Selenide Molecular Precursor for the Solution Processing
    of Thermoelectric Materials and Devices.” <i>ACS Applied Materials and Interfaces</i>,
    vol. 12, no. 24, American Chemical Society, 2020, pp. 27104–11, doi:<a href="https://doi.org/10.1021/acsami.0c04331">10.1021/acsami.0c04331</a>.
  short: Y. Zhang, Y. Liu, C. Xing, T. Zhang, M. Li, M. Pacios, X. Yu, J. Arbiol,
    J. Llorca, D. Cadavid, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces
    12 (2020) 27104–27111.
date_created: 2020-06-29T07:59:35Z
date_published: 2020-06-17T00:00:00Z
date_updated: 2023-08-22T07:50:08Z
day: '17'
department:
- _id: MaIb
doi: 10.1021/acsami.0c04331
ec_funded: 1
external_id:
  isi:
  - '000542925300032'
  pmid:
  - '32437128'
intvolume: '        12'
isi: 1
issue: '24'
language:
- iso: eng
month: '06'
oa_version: None
page: 27104-27111
pmid: 1
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: ACS Applied Materials and Interfaces
publication_identifier:
  eissn:
  - '19448252'
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Tin selenide molecular precursor for the solution processing of thermoelectric
  materials and devices
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 12
year: '2020'
...
---
_id: '8040'
abstract:
- lang: eng
  text: The mitochondrial respiratory chain, formed by five protein complexes, utilizes
    energy from catabolic processes to synthesize ATP. Complex I, the first and the
    largest protein complex of the chain, harvests electrons from NADH to reduce quinone,
    while pumping protons across the mitochondrial membrane. Detailed knowledge of
    the working principle of such coupled charge-transfer processes remains, however,
    fragmentary due to bottlenecks in understanding redox-driven conformational transitions
    and their interplay with the hydrated proton pathways. Complex I from Thermus
    thermophilus encases 16 subunits with nine iron–sulfur clusters, reduced by electrons
    from NADH. Here, employing the latest crystal structure of T. thermophilus complex
    I, we have used microsecond-scale molecular dynamics simulations to study the
    chemo-mechanical coupling between redox changes of the iron–sulfur clusters and
    conformational transitions across complex I. First, we identify the redox switches
    within complex I, which allosterically couple the dynamics of the quinone binding
    pocket to the site of NADH reduction. Second, our free-energy calculations reveal
    that the affinity of the quinone, specifically menaquinone, for the binding-site
    is higher than that of its reduced, menaquinol form—a design essential for menaquinol
    release. Remarkably, the barriers to diffusive menaquinone dynamics are lesser
    than that of the more ubiquitous ubiquinone, and the naphthoquinone headgroup
    of the former furnishes stronger binding interactions with the pocket, favoring
    menaquinone for charge transport in T. thermophilus. Our computations are consistent
    with experimentally validated mutations and hierarchize the key residues into
    three functional classes, identifying new mutation targets. Third, long-range
    hydrogen-bond networks connecting the quinone-binding site to the transmembrane
    subunits are found to be responsible for proton pumping. Put together, the simulations
    reveal the molecular design principles linking redox reactions to quinone turnover
    to proton translocation in complex I.
article_processing_charge: No
article_type: original
author:
- first_name: Chitrak
  full_name: Gupta, Chitrak
  last_name: Gupta
- first_name: Umesh
  full_name: Khaniya, Umesh
  last_name: Khaniya
- first_name: Chun Kit
  full_name: Chan, Chun Kit
  last_name: Chan
- first_name: Francois
  full_name: Dehez, Francois
  last_name: Dehez
- first_name: Mrinal
  full_name: Shekhar, Mrinal
  last_name: Shekhar
- first_name: M. R.
  full_name: Gunner, M. R.
  last_name: Gunner
- first_name: Leonid A
  full_name: Sazanov, Leonid A
  id: 338D39FE-F248-11E8-B48F-1D18A9856A87
  last_name: Sazanov
  orcid: 0000-0002-0977-7989
- first_name: Christophe
  full_name: Chipot, Christophe
  last_name: Chipot
- first_name: Abhishek
  full_name: Singharoy, Abhishek
  last_name: Singharoy
citation:
  ama: Gupta C, Khaniya U, Chan CK, et al. Charge transfer and chemo-mechanical coupling
    in respiratory complex I. <i>Journal of the American Chemical Society</i>. 2020;142(20):9220-9230.
    doi:<a href="https://doi.org/10.1021/jacs.9b13450">10.1021/jacs.9b13450</a>
  apa: Gupta, C., Khaniya, U., Chan, C. K., Dehez, F., Shekhar, M., Gunner, M. R.,
    … Singharoy, A. (2020). Charge transfer and chemo-mechanical coupling in respiratory
    complex I. <i>Journal of the American Chemical Society</i>. American Chemical
    Society. <a href="https://doi.org/10.1021/jacs.9b13450">https://doi.org/10.1021/jacs.9b13450</a>
  chicago: Gupta, Chitrak, Umesh Khaniya, Chun Kit Chan, Francois Dehez, Mrinal Shekhar,
    M. R. Gunner, Leonid A Sazanov, Christophe Chipot, and Abhishek Singharoy. “Charge
    Transfer and Chemo-Mechanical Coupling in Respiratory Complex I.” <i>Journal of
    the American Chemical Society</i>. American Chemical Society, 2020. <a href="https://doi.org/10.1021/jacs.9b13450">https://doi.org/10.1021/jacs.9b13450</a>.
  ieee: C. Gupta <i>et al.</i>, “Charge transfer and chemo-mechanical coupling in
    respiratory complex I,” <i>Journal of the American Chemical Society</i>, vol.
    142, no. 20. American Chemical Society, pp. 9220–9230, 2020.
  ista: Gupta C, Khaniya U, Chan CK, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot
    C, Singharoy A. 2020. Charge transfer and chemo-mechanical coupling in respiratory
    complex I. Journal of the American Chemical Society. 142(20), 9220–9230.
  mla: Gupta, Chitrak, et al. “Charge Transfer and Chemo-Mechanical Coupling in Respiratory
    Complex I.” <i>Journal of the American Chemical Society</i>, vol. 142, no. 20,
    American Chemical Society, 2020, pp. 9220–30, doi:<a href="https://doi.org/10.1021/jacs.9b13450">10.1021/jacs.9b13450</a>.
  short: C. Gupta, U. Khaniya, C.K. Chan, F. Dehez, M. Shekhar, M.R. Gunner, L.A.
    Sazanov, C. Chipot, A. Singharoy, Journal of the American Chemical Society 142
    (2020) 9220–9230.
date_created: 2020-06-29T07:59:35Z
date_published: 2020-05-20T00:00:00Z
date_updated: 2023-08-22T07:49:38Z
day: '20'
department:
- _id: LeSa
doi: 10.1021/jacs.9b13450
external_id:
  isi:
  - '000537415600020'
  pmid:
  - '32347721'
intvolume: '       142'
isi: 1
issue: '20'
language:
- iso: eng
month: '05'
oa_version: None
page: 9220-9230
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
  eissn:
  - '15205126'
  issn:
  - '00027863'
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
related_material:
  record:
  - id: '9326'
    relation: research_data
    status: public
  - id: '9713'
    relation: research_data
    status: public
  - id: '9878'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Charge transfer and chemo-mechanical coupling in respiratory complex I
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 142
year: '2020'
...
---
_id: '8042'
abstract:
- lang: eng
  text: We consider systems of N bosons in a box of volume one, interacting through
    a repulsive two-body potential of the form κN3β−1V(Nβx). For all 0<β<1, and for
    sufficiently small coupling constant κ>0, we establish the validity of Bogolyubov
    theory, identifying the ground state energy and the low-lying excitation spectrum
    up to errors that vanish in the limit of large N.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Chiara
  full_name: Boccato, Chiara
  id: 342E7E22-F248-11E8-B48F-1D18A9856A87
  last_name: Boccato
- first_name: Christian
  full_name: Brennecke, Christian
  last_name: Brennecke
- first_name: Serena
  full_name: Cenatiempo, Serena
  last_name: Cenatiempo
- first_name: Benjamin
  full_name: Schlein, Benjamin
  last_name: Schlein
citation:
  ama: Boccato C, Brennecke C, Cenatiempo S, Schlein B. The excitation spectrum of
    Bose gases interacting through singular potentials. <i>Journal of the European
    Mathematical Society</i>. 2020;22(7):2331-2403. doi:<a href="https://doi.org/10.4171/JEMS/966">10.4171/JEMS/966</a>
  apa: Boccato, C., Brennecke, C., Cenatiempo, S., &#38; Schlein, B. (2020). The excitation
    spectrum of Bose gases interacting through singular potentials. <i>Journal of
    the European Mathematical Society</i>. European Mathematical Society. <a href="https://doi.org/10.4171/JEMS/966">https://doi.org/10.4171/JEMS/966</a>
  chicago: Boccato, Chiara, Christian Brennecke, Serena Cenatiempo, and Benjamin Schlein.
    “The Excitation Spectrum of Bose Gases Interacting through Singular Potentials.”
    <i>Journal of the European Mathematical Society</i>. European Mathematical Society,
    2020. <a href="https://doi.org/10.4171/JEMS/966">https://doi.org/10.4171/JEMS/966</a>.
  ieee: C. Boccato, C. Brennecke, S. Cenatiempo, and B. Schlein, “The excitation spectrum
    of Bose gases interacting through singular potentials,” <i>Journal of the European
    Mathematical Society</i>, vol. 22, no. 7. European Mathematical Society, pp. 2331–2403,
    2020.
  ista: Boccato C, Brennecke C, Cenatiempo S, Schlein B. 2020. The excitation spectrum
    of Bose gases interacting through singular potentials. Journal of the European
    Mathematical Society. 22(7), 2331–2403.
  mla: Boccato, Chiara, et al. “The Excitation Spectrum of Bose Gases Interacting
    through Singular Potentials.” <i>Journal of the European Mathematical Society</i>,
    vol. 22, no. 7, European Mathematical Society, 2020, pp. 2331–403, doi:<a href="https://doi.org/10.4171/JEMS/966">10.4171/JEMS/966</a>.
  short: C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Journal of the European
    Mathematical Society 22 (2020) 2331–2403.
date_created: 2020-06-29T07:59:35Z
date_published: 2020-07-01T00:00:00Z
date_updated: 2023-08-22T07:47:04Z
day: '01'
department:
- _id: RoSe
doi: 10.4171/JEMS/966
external_id:
  arxiv:
  - '1704.04819'
  isi:
  - '000548174700006'
intvolume: '        22'
isi: 1
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1704.04819
month: '07'
oa: 1
oa_version: Preprint
page: 2331-2403
publication: Journal of the European Mathematical Society
publication_identifier:
  issn:
  - '14359855'
publication_status: published
publisher: European Mathematical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: The excitation spectrum of Bose gases interacting through singular potentials
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 22
year: '2020'
...
---
_id: '8043'
abstract:
- lang: eng
  text: With decreasing Reynolds number, Re, turbulence in channel flow becomes spatio-temporally
    intermittent and self-organises into solitary stripes oblique to the mean flow
    direction. We report here the existence of localised nonlinear travelling wave
    solutions of the Navier–Stokes equations possessing this obliqueness property.
    Such solutions are identified numerically using edge tracking coupled with arclength
    continuation. All solutions emerge in saddle-node bifurcations at values of Re
    lower than the non-localised solutions. Relative periodic orbit solutions bifurcating
    from branches of travelling waves have also been computed. A complete parametric
    study is performed, including their stability, the investigation of their large-scale
    flow, and the robustness to changes of the numerical domain.
acknowledgement: The authors thank S. Zammert and B. Budanur for useful discussions.
  J. F. Gibson is gratefully acknowledged for the development and the maintenance
  of the code Channelflow. Y.D. would like to thank P. Schlatter and D. S. Henningson
  for an early collaboration on a similar topic in the case of plane Couette flow
  during the years 2008–2013.
article_number: A7
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Chaitanya S
  full_name: Paranjape, Chaitanya S
  id: 3D85B7C4-F248-11E8-B48F-1D18A9856A87
  last_name: Paranjape
- first_name: Yohann
  full_name: Duguet, Yohann
  last_name: Duguet
- first_name: Björn
  full_name: Hof, Björn
  id: 3A374330-F248-11E8-B48F-1D18A9856A87
  last_name: Hof
  orcid: 0000-0003-2057-2754
citation:
  ama: Paranjape CS, Duguet Y, Hof B. Oblique stripe solutions of channel flow. <i>Journal
    of Fluid Mechanics</i>. 2020;897. doi:<a href="https://doi.org/10.1017/jfm.2020.322">10.1017/jfm.2020.322</a>
  apa: Paranjape, C. S., Duguet, Y., &#38; Hof, B. (2020). Oblique stripe solutions
    of channel flow. <i>Journal of Fluid Mechanics</i>. Cambridge University Press.
    <a href="https://doi.org/10.1017/jfm.2020.322">https://doi.org/10.1017/jfm.2020.322</a>
  chicago: Paranjape, Chaitanya S, Yohann Duguet, and Björn Hof. “Oblique Stripe Solutions
    of Channel Flow.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press,
    2020. <a href="https://doi.org/10.1017/jfm.2020.322">https://doi.org/10.1017/jfm.2020.322</a>.
  ieee: C. S. Paranjape, Y. Duguet, and B. Hof, “Oblique stripe solutions of channel
    flow,” <i>Journal of Fluid Mechanics</i>, vol. 897. Cambridge University Press,
    2020.
  ista: Paranjape CS, Duguet Y, Hof B. 2020. Oblique stripe solutions of channel flow.
    Journal of Fluid Mechanics. 897, A7.
  mla: Paranjape, Chaitanya S., et al. “Oblique Stripe Solutions of Channel Flow.”
    <i>Journal of Fluid Mechanics</i>, vol. 897, A7, Cambridge University Press, 2020,
    doi:<a href="https://doi.org/10.1017/jfm.2020.322">10.1017/jfm.2020.322</a>.
  short: C.S. Paranjape, Y. Duguet, B. Hof, Journal of Fluid Mechanics 897 (2020).
date_created: 2020-06-29T07:59:35Z
date_published: 2020-08-25T00:00:00Z
date_updated: 2023-08-22T07:48:02Z
day: '25'
ddc:
- '530'
department:
- _id: BjHo
doi: 10.1017/jfm.2020.322
external_id:
  isi:
  - '000539132300001'
file:
- access_level: open_access
  checksum: 3f487bf6d9286787096306eaa18702e8
  content_type: application/pdf
  creator: cziletti
  date_created: 2020-06-30T08:37:37Z
  date_updated: 2020-07-14T12:48:08Z
  file_id: '8070'
  file_name: 2020_JournalOfFluidMech_Paranjape.pdf
  file_size: 767873
  relation: main_file
file_date_updated: 2020-07-14T12:48:08Z
has_accepted_license: '1'
intvolume: '       897'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: Journal of Fluid Mechanics
publication_identifier:
  eissn:
  - '14697645'
  issn:
  - '00221120'
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Oblique stripe solutions of channel flow
tmp:
  image: /images/cc_by_nc_sa.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
    BY-NC-SA 4.0)
  short: CC BY-NC-SA (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 897
year: '2020'
...
---
_id: '8057'
abstract:
- lang: eng
  text: Water-in-salt electrolytes based on highly concentrated bis(trifluoromethyl)sulfonimide
    (TFSI) promise aqueous electrolytes with stabilities approaching 3 V. However,
    especially with an electrode approaching the cathodic (reductive) stability, cycling
    stability is insufficient. While stability critically relies on a solid electrolyte
    interphase (SEI), the mechanism behind the cathodic stability limit remains unclear.
    Here, we reveal two distinct reduction potentials for the chemical environments
    of ‘free’ and ‘bound’ water and that both contribute to SEI formation. Free-water
    is reduced ~1V above bound water in a hydrogen evolution reaction (HER) and responsible
    for SEI formation via reactive intermediates of the HER; concurrent LiTFSI precipitation/dissolution
    establishes a dynamic interface. The free-water population emerges, therefore,
    as the handle to extend the cathodic limit of aqueous electrolytes and the battery
    cycling stability.
article_processing_charge: No
article_type: original
author:
- first_name: Roza
  full_name: Bouchal, Roza
  last_name: Bouchal
- first_name: Zhujie
  full_name: Li, Zhujie
  last_name: Li
- first_name: Chandra
  full_name: Bongu, Chandra
  last_name: Bongu
- first_name: Steven
  full_name: Le Vot, Steven
  last_name: Le Vot
- first_name: Romain
  full_name: Berthelot, Romain
  last_name: Berthelot
- first_name: Benjamin
  full_name: Rotenberg, Benjamin
  last_name: Rotenberg
- first_name: Frederic
  full_name: Favier, Frederic
  last_name: Favier
- first_name: Stefan Alexander
  full_name: Freunberger, Stefan Alexander
  id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
  last_name: Freunberger
  orcid: 0000-0003-2902-5319
- first_name: Mathieu
  full_name: Salanne, Mathieu
  last_name: Salanne
- first_name: Olivier
  full_name: Fontaine, Olivier
  last_name: Fontaine
citation:
  ama: Bouchal R, Li Z, Bongu C, et al. Competitive salt precipitation/dissolution
    during free‐water reduction in water‐in‐salt electrolyte. <i>Angewandte Chemie</i>.
    2020;132(37):16047-16051. doi:<a href="https://doi.org/10.1002/ange.202005378">10.1002/ange.202005378</a>
  apa: Bouchal, R., Li, Z., Bongu, C., Le Vot, S., Berthelot, R., Rotenberg, B., …
    Fontaine, O. (2020). Competitive salt precipitation/dissolution during free‐water
    reduction in water‐in‐salt electrolyte. <i>Angewandte Chemie</i>. Wiley. <a href="https://doi.org/10.1002/ange.202005378">https://doi.org/10.1002/ange.202005378</a>
  chicago: Bouchal, Roza, Zhujie Li, Chandra Bongu, Steven Le Vot, Romain Berthelot,
    Benjamin Rotenberg, Frederic Favier, Stefan Alexander Freunberger, Mathieu Salanne,
    and Olivier Fontaine. “Competitive Salt Precipitation/Dissolution during Free‐water
    Reduction in Water‐in‐salt Electrolyte.” <i>Angewandte Chemie</i>. Wiley, 2020.
    <a href="https://doi.org/10.1002/ange.202005378">https://doi.org/10.1002/ange.202005378</a>.
  ieee: R. Bouchal <i>et al.</i>, “Competitive salt precipitation/dissolution during
    free‐water reduction in water‐in‐salt electrolyte,” <i>Angewandte Chemie</i>,
    vol. 132, no. 37. Wiley, pp. 16047–16051, 2020.
  ista: Bouchal R, Li Z, Bongu C, Le Vot S, Berthelot R, Rotenberg B, Favier F, Freunberger
    SA, Salanne M, Fontaine O. 2020. Competitive salt precipitation/dissolution during
    free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie. 132(37),
    16047–16051.
  mla: Bouchal, Roza, et al. “Competitive Salt Precipitation/Dissolution during Free‐water
    Reduction in Water‐in‐salt Electrolyte.” <i>Angewandte Chemie</i>, vol. 132, no.
    37, Wiley, 2020, pp. 16047–51, doi:<a href="https://doi.org/10.1002/ange.202005378">10.1002/ange.202005378</a>.
  short: R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier,
    S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie 132 (2020) 16047–16051.
date_created: 2020-06-29T16:15:49Z
date_published: 2020-09-07T00:00:00Z
date_updated: 2023-09-05T15:47:50Z
day: '07'
ddc:
- '540'
- '541'
department:
- _id: StFr
doi: 10.1002/ange.202005378
file:
- access_level: open_access
  checksum: 7dd0a56f6bd5de08ea75b1ec388c91bc
  content_type: application/pdf
  creator: dernst
  date_created: 2020-09-17T08:59:43Z
  date_updated: 2020-09-17T08:59:43Z
  file_id: '8401'
  file_name: 2020_AngChemieDE_Bouchal.pdf
  file_size: 1904552
  relation: main_file
  success: 1
file_date_updated: 2020-09-17T08:59:43Z
has_accepted_license: '1'
intvolume: '       132'
issue: '37'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 16047-16051
publication: Angewandte Chemie
publication_identifier:
  eissn:
  - 1521-3757
  issn:
  - 0044-8249
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt
  electrolyte
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 132
year: '2020'
...
---
_id: '8063'
abstract:
- lang: eng
  text: "We present a generative model of images that explicitly reasons over the
    set\r\nof objects they show. Our model learns a structured latent representation
    that\r\nseparates objects from each other and from the background; unlike prior
    works,\r\nit explicitly represents the 2D position and depth of each object, as
    well as\r\nan embedding of its segmentation mask and appearance. The model can
    be trained\r\nfrom images alone in a purely unsupervised fashion without the need
    for object\r\nmasks or depth information. Moreover, it always generates complete
    objects,\r\neven though a significant fraction of training images contain occlusions.\r\nFinally,
    we show that our model can infer decompositions of novel images into\r\ntheir
    constituent objects, including accurate prediction of depth ordering and\r\nsegmentation
    of occluded parts."
article_number: '2004.00642'
article_processing_charge: No
arxiv: 1
author:
- first_name: Titas
  full_name: Anciukevicius, Titas
  last_name: Anciukevicius
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
- first_name: Paul M
  full_name: Henderson, Paul M
  id: 13C09E74-18D9-11E9-8878-32CFE5697425
  last_name: Henderson
  orcid: 0000-0002-5198-7445
citation:
  ama: Anciukevicius T, Lampert C, Henderson PM. Object-centric image generation with
    factored depths, locations, and appearances. <i>arXiv</i>.
  apa: Anciukevicius, T., Lampert, C., &#38; Henderson, P. M. (n.d.). Object-centric
    image generation with factored depths, locations, and appearances. <i>arXiv</i>.
  chicago: Anciukevicius, Titas, Christoph Lampert, and Paul M Henderson. “Object-Centric
    Image Generation with Factored Depths, Locations, and Appearances.” <i>ArXiv</i>,
    n.d.
  ieee: T. Anciukevicius, C. Lampert, and P. M. Henderson, “Object-centric image generation
    with factored depths, locations, and appearances,” <i>arXiv</i>. .
  ista: Anciukevicius T, Lampert C, Henderson PM. Object-centric image generation
    with factored depths, locations, and appearances. arXiv, 2004.00642.
  mla: Anciukevicius, Titas, et al. “Object-Centric Image Generation with Factored
    Depths, Locations, and Appearances.” <i>ArXiv</i>, 2004.00642.
  short: T. Anciukevicius, C. Lampert, P.M. Henderson, ArXiv (n.d.).
date_created: 2020-06-29T23:55:23Z
date_published: 2020-04-01T00:00:00Z
date_updated: 2021-01-12T08:16:44Z
day: '01'
ddc:
- '004'
department:
- _id: ChLa
external_id:
  arxiv:
  - '2004.00642'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-sa/4.0/
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2004.00642
month: '04'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: Object-centric image generation with factored depths, locations, and appearances
tmp:
  image: /images/cc_by_sa.png
  legal_code_url: https://creativecommons.org/licenses/by-sa/4.0/legalcode
  name: Creative Commons Attribution-ShareAlike 4.0 International Public License (CC
    BY-SA 4.0)
  short: CC BY-SA (4.0)
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8067'
abstract:
- lang: eng
  text: "With the lithium-ion technology approaching its intrinsic limit with graphite-based
    anodes, lithium metal is recently receiving renewed interest from the battery
    community as potential high capacity anode for next-generation rechargeable batteries.
    In this focus paper, we review the main advances in this field since the first
    attempts in the\r\nmid-1970s. Strategies for enabling reversible cycling and avoiding
    dendrite growth are thoroughly discussed, including specific applications in all-solid-state
    (polymeric and inorganic), Lithium-sulphur and Li-O2 (air) batteries. A particular
    attention is paid to review recent developments in regard of prototype manufacturing
    and current state-ofthe-art of these battery technologies with respect to the
    2030 targets of the EU Integrated Strategic Energy Technology Plan (SET-Plan)
    Action 7."
alternative_title:
- IST Austria Technical Report
article_processing_charge: No
author:
- first_name: Alberto
  full_name: Varzi, Alberto
  last_name: Varzi
- first_name: Katharina
  full_name: Thanner, Katharina
  last_name: Thanner
- first_name: Roberto
  full_name: Scipioni, Roberto
  last_name: Scipioni
- first_name: Daniele
  full_name: Di Lecce, Daniele
  last_name: Di Lecce
- first_name: Jusef
  full_name: Hassoun, Jusef
  last_name: Hassoun
- first_name: Susanne
  full_name: Dörfler, Susanne
  last_name: Dörfler
- first_name: Holger
  full_name: Altheus, Holger
  last_name: Altheus
- first_name: Stefan
  full_name: Kaskel, Stefan
  last_name: Kaskel
- first_name: Christian
  full_name: Prehal, Christian
  last_name: Prehal
- first_name: Stefan Alexander
  full_name: Freunberger, Stefan Alexander
  id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
  last_name: Freunberger
  orcid: 0000-0003-2902-5319
citation:
  ama: Varzi A, Thanner K, Scipioni R, et al. <i>Current Status and Future Perspectives
    of Lithium Metal Batteries</i>. IST Austria doi:<a href="https://doi.org/10.15479/AT:ISTA:8067">10.15479/AT:ISTA:8067</a>
  apa: Varzi, A., Thanner, K., Scipioni, R., Di Lecce, D., Hassoun, J., Dörfler, S.,
    … Freunberger, S. A. (n.d.). <i>Current status and future perspectives of Lithium
    metal batteries</i>. IST Austria. <a href="https://doi.org/10.15479/AT:ISTA:8067">https://doi.org/10.15479/AT:ISTA:8067</a>
  chicago: Varzi, Alberto, Katharina Thanner, Roberto Scipioni, Daniele Di Lecce,
    Jusef Hassoun, Susanne Dörfler, Holger Altheus, Stefan Kaskel, Christian Prehal,
    and Stefan Alexander Freunberger. <i>Current Status and Future Perspectives of
    Lithium Metal Batteries</i>. IST Austria, n.d. <a href="https://doi.org/10.15479/AT:ISTA:8067">https://doi.org/10.15479/AT:ISTA:8067</a>.
  ieee: A. Varzi <i>et al.</i>, <i>Current status and future perspectives of Lithium
    metal batteries</i>. IST Austria.
  ista: Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus
    H, Kaskel S, Prehal C, Freunberger SA. Current status and future perspectives
    of Lithium metal batteries, IST Austria, 63p.
  mla: Varzi, Alberto, et al. <i>Current Status and Future Perspectives of Lithium
    Metal Batteries</i>. IST Austria, doi:<a href="https://doi.org/10.15479/AT:ISTA:8067">10.15479/AT:ISTA:8067</a>.
  short: A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H.
    Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Current Status and Future Perspectives
    of Lithium Metal Batteries, IST Austria, n.d.
date_created: 2020-06-30T07:37:39Z
date_published: 2020-07-01T00:00:00Z
date_updated: 2023-08-22T09:20:36Z
day: '01'
ddc:
- '540'
department:
- _id: StFr
doi: 10.15479/AT:ISTA:8067
file:
- access_level: open_access
  checksum: d183ca1465a1cbb4f8db27875cd156f7
  content_type: application/pdf
  creator: dernst
  date_created: 2020-07-02T07:36:04Z
  date_updated: 2020-07-14T12:48:08Z
  file_id: '8076'
  file_name: 20200612_JPS_review_Li_metal_submitted.pdf
  file_size: 2612498
  relation: main_file
file_date_updated: 2020-07-14T12:48:08Z
has_accepted_license: '1'
keyword:
- Battery
- Lithium metal
- Lithium-sulphur
- Lithium-air
- All-solid-state
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '63'
publication_identifier:
  issn:
  - 2664-1690
publication_status: submitted
publisher: IST Austria
related_material:
  record:
  - id: '8361'
    relation: later_version
    status: public
status: public
title: Current status and future perspectives of Lithium metal batteries
type: technical_report
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2020'
...
---
_id: '8077'
abstract:
- lang: eng
  text: The projection methods with vanilla inertial extrapolation step for variational
    inequalities have been of interest to many authors recently due to the improved
    convergence speed contributed by the presence of inertial extrapolation step.
    However, it is discovered that these projection methods with inertial steps lose
    the Fejér monotonicity of the iterates with respect to the solution, which is
    being enjoyed by their corresponding non-inertial projection methods for variational
    inequalities. This lack of Fejér monotonicity makes projection methods with vanilla
    inertial extrapolation step for variational inequalities not to converge faster
    than their corresponding non-inertial projection methods at times. Also, it has
    recently been proved that the projection methods with vanilla inertial extrapolation
    step may provide convergence rates that are worse than the classical projected
    gradient methods for strongly convex functions. In this paper, we introduce projection
    methods with alternated inertial extrapolation step for solving variational inequalities.
    We show that the sequence of iterates generated by our methods converges weakly
    to a solution of the variational inequality under some appropriate conditions.
    The Fejér monotonicity of even subsequence is recovered in these methods and linear
    rate of convergence is obtained. The numerical implementations of our methods
    compared with some other inertial projection methods show that our method is more
    efficient and outperforms some of these inertial projection methods.
acknowledgement: The authors are grateful to the two anonymous referees for their
  insightful comments and suggestions which have improved the earlier version of the
  manuscript greatly. The first author has received funding from the European Research
  Council (ERC) under the European Union Seventh Framework Programme (FP7 - 2007-2013)
  (Grant agreement No. 616160).
article_processing_charge: No
article_type: original
author:
- first_name: Yekini
  full_name: Shehu, Yekini
  id: 3FC7CB58-F248-11E8-B48F-1D18A9856A87
  last_name: Shehu
  orcid: 0000-0001-9224-7139
- first_name: Olaniyi S.
  full_name: Iyiola, Olaniyi S.
  last_name: Iyiola
citation:
  ama: 'Shehu Y, Iyiola OS. Projection methods with alternating inertial steps for
    variational inequalities: Weak and linear convergence. <i>Applied Numerical Mathematics</i>.
    2020;157:315-337. doi:<a href="https://doi.org/10.1016/j.apnum.2020.06.009">10.1016/j.apnum.2020.06.009</a>'
  apa: 'Shehu, Y., &#38; Iyiola, O. S. (2020). Projection methods with alternating
    inertial steps for variational inequalities: Weak and linear convergence. <i>Applied
    Numerical Mathematics</i>. Elsevier. <a href="https://doi.org/10.1016/j.apnum.2020.06.009">https://doi.org/10.1016/j.apnum.2020.06.009</a>'
  chicago: 'Shehu, Yekini, and Olaniyi S. Iyiola. “Projection Methods with Alternating
    Inertial Steps for Variational Inequalities: Weak and Linear Convergence.” <i>Applied
    Numerical Mathematics</i>. Elsevier, 2020. <a href="https://doi.org/10.1016/j.apnum.2020.06.009">https://doi.org/10.1016/j.apnum.2020.06.009</a>.'
  ieee: 'Y. Shehu and O. S. Iyiola, “Projection methods with alternating inertial
    steps for variational inequalities: Weak and linear convergence,” <i>Applied Numerical
    Mathematics</i>, vol. 157. Elsevier, pp. 315–337, 2020.'
  ista: 'Shehu Y, Iyiola OS. 2020. Projection methods with alternating inertial steps
    for variational inequalities: Weak and linear convergence. Applied Numerical Mathematics.
    157, 315–337.'
  mla: 'Shehu, Yekini, and Olaniyi S. Iyiola. “Projection Methods with Alternating
    Inertial Steps for Variational Inequalities: Weak and Linear Convergence.” <i>Applied
    Numerical Mathematics</i>, vol. 157, Elsevier, 2020, pp. 315–37, doi:<a href="https://doi.org/10.1016/j.apnum.2020.06.009">10.1016/j.apnum.2020.06.009</a>.'
  short: Y. Shehu, O.S. Iyiola, Applied Numerical Mathematics 157 (2020) 315–337.
date_created: 2020-07-02T09:02:33Z
date_published: 2020-11-01T00:00:00Z
date_updated: 2023-08-22T07:50:43Z
day: '01'
ddc:
- '510'
department:
- _id: VlKo
doi: 10.1016/j.apnum.2020.06.009
ec_funded: 1
external_id:
  isi:
  - '000564648400018'
file:
- access_level: open_access
  checksum: 87d81324a62c82baa925c009dfcb0200
  content_type: application/pdf
  creator: dernst
  date_created: 2020-07-02T09:08:59Z
  date_updated: 2020-07-14T12:48:09Z
  file_id: '8078'
  file_name: 2020_AppliedNumericalMath_Shehu.pdf
  file_size: 2874203
  relation: main_file
file_date_updated: 2020-07-14T12:48:09Z
has_accepted_license: '1'
intvolume: '       157'
isi: 1
language:
- iso: eng
month: '11'
oa: 1
oa_version: Submitted Version
page: 315-337
project:
- _id: 25FBA906-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '616160'
  name: 'Discrete Optimization in Computer Vision: Theory and Practice'
publication: Applied Numerical Mathematics
publication_identifier:
  issn:
  - 0168-9274
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Projection methods with alternating inertial steps for variational inequalities:
  Weak and linear convergence'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 157
year: '2020'
...
---
_id: '8081'
abstract:
- lang: eng
  text: "Here, we employ micro- and nanosized cellulose particles, namely paper fines
    and cellulose\r\nnanocrystals, to induce hierarchical organization over a wide
    length scale. After processing\r\nthem into carbonaceous materials, we demonstrate
    that these hierarchically organized materials\r\noutperform the best materials
    for supercapacitors operating with organic electrolytes reported\r\nin literature
    in terms of specific energy/power (Ragone plot) while showing hardly any capacity\r\nfade
    over 4,000 cycles. The highly porous materials feature a specific surface area
    as high as\r\n2500 m2ˑg-1 and exhibit pore sizes in the range of 0.5 to 200 nm
    as proven by scanning electron\r\nmicroscopy and N2 physisorption. The carbonaceous
    materials have been further investigated\r\nby X-ray photoelectron spectroscopy
    and RAMAN spectroscopy. Since paper fines are an\r\nunderutilized side stream
    in any paper production process, they are a cheap and highly available\r\nfeedstock
    to prepare carbonaceous materials with outstanding performance in electrochemical\r\napplications. "
acknowledgement: 'The authors M.A.H., S.S., R.E., and W.B. acknowledge the industrial
  partners Sappi Gratkorn, Zellstoff Pöls and Mondi Frantschach, the Austrian Research
  Promotion Agency (FFG), COMET, BMVIT, BMWFJ, the Province of Styria and Carinthia
  for their financial support of the K-project Flippr²-Process Integration. E.M. and
  S.A.F. are indebted to the European Research Council (ERC) under the European Union’s
  Horizon 2020 research and innovation program (grant agreement No 636069). W. T.
  and S. E. thank FWO (G.0C60.13N) and the European Union’s European Fund for Regional
  Development and Flanders Innovation & Entrepreneurship (Accelerate3 project, Interreg
  Vlaanderen-Nederland program) for financial support. W. T. also thanks the Provincie
  West-Vlaanderen (Belgium) for his Provincial Chair in Advanced Materials. S. B.
  thanks the European Regional Development Fund (EFRE) and the province of Upper Austria
  for financial support through the program IWB 2014-2020 (project BioCarb-K). AMR
  gratefully acknowledges funding support through the SC EPSCoR/IDeAProgram under
  Award #18-SR03, and the NASA EPSCoR Program under Award #NNH17ZHA002C. Icons in
  Scheme 1 were provided by Good Ware, monkik, photo3idea_studio, and OCHA from www.flaticon.com.'
article_processing_charge: No
author:
- first_name: 'Mathias A. '
  full_name: 'Hobisch, Mathias A. '
  last_name: Hobisch
- first_name: 'Eléonore '
  full_name: 'Mourad, Eléonore '
  last_name: Mourad
- first_name: 'Wolfgang J. '
  full_name: 'Fischer, Wolfgang J. '
  last_name: Fischer
- first_name: 'Christian '
  full_name: 'Prehal, Christian '
  last_name: Prehal
- first_name: 'Samuel '
  full_name: 'Eyley, Samuel '
  last_name: Eyley
- first_name: 'Anthony '
  full_name: 'Childress, Anthony '
  last_name: Childress
- first_name: 'Armin '
  full_name: 'Zankel, Armin '
  last_name: Zankel
- first_name: 'Andreas '
  full_name: 'Mautner, Andreas '
  last_name: Mautner
- first_name: 'Stefan '
  full_name: 'Breitenbach, Stefan '
  last_name: Breitenbach
- first_name: 'Apparao M. '
  full_name: 'Rao, Apparao M. '
  last_name: Rao
- first_name: 'Wim '
  full_name: 'Thielemans, Wim '
  last_name: Thielemans
- first_name: Stefan Alexander
  full_name: Freunberger, Stefan Alexander
  id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
  last_name: Freunberger
  orcid: 0000-0003-2902-5319
- first_name: 'Rene '
  full_name: 'Eckhart, Rene '
  last_name: Eckhart
- first_name: 'Wolfgang '
  full_name: 'Bauer, Wolfgang '
  last_name: Bauer
- first_name: 'Stefan '
  full_name: 'Spirk, Stefan '
  last_name: Spirk
citation:
  ama: Hobisch MA, Mourad E, Fischer WJ, et al. High specific capacitance supercapacitors
    from hierarchically organized all-cellulose composites.
  apa: Hobisch, M. A., Mourad, E., Fischer, W. J., Prehal, C., Eyley, S., Childress,
    A., … Spirk, S. (n.d.). High specific capacitance supercapacitors from hierarchically
    organized all-cellulose composites.
  chicago: Hobisch, Mathias A. , Eléonore  Mourad, Wolfgang J.  Fischer, Christian  Prehal,
    Samuel  Eyley, Anthony  Childress, Armin  Zankel, et al. “High Specific Capacitance
    Supercapacitors from Hierarchically Organized All-Cellulose Composites,” n.d.
  ieee: M. A. Hobisch <i>et al.</i>, “High specific capacitance supercapacitors from
    hierarchically organized all-cellulose composites.” .
  ista: Hobisch MA, Mourad E, Fischer WJ, Prehal C, Eyley S, Childress A, Zankel A,
    Mautner A, Breitenbach S, Rao AM, Thielemans W, Freunberger SA, Eckhart R, Bauer
    W, Spirk S. High specific capacitance supercapacitors from hierarchically organized
    all-cellulose composites.
  mla: Hobisch, Mathias A., et al. <i>High Specific Capacitance Supercapacitors from
    Hierarchically Organized All-Cellulose Composites</i>.
  short: M.A. Hobisch, E. Mourad, W.J. Fischer, C. Prehal, S. Eyley, A. Childress,
    A. Zankel, A. Mautner, S. Breitenbach, A.M. Rao, W. Thielemans, S.A. Freunberger,
    R. Eckhart, W. Bauer, S. Spirk, (n.d.).
date_created: 2020-07-02T20:24:42Z
date_published: 2020-07-13T00:00:00Z
date_updated: 2022-06-17T08:39:49Z
day: '13'
ddc:
- '540'
department:
- _id: StFr
file:
- access_level: open_access
  checksum: 6970d621984c03ebc2eee71adfe706dd
  content_type: application/pdf
  creator: sfreunbe
  date_created: 2020-07-02T20:21:59Z
  date_updated: 2020-07-14T12:48:09Z
  file_id: '8082'
  file_name: AM.pdf
  file_size: 1129852
  relation: main_file
- access_level: open_access
  checksum: cd74c7bd47d6e7163d54d67f074dcc36
  content_type: application/pdf
  creator: cziletti
  date_created: 2020-07-08T12:14:04Z
  date_updated: 2020-07-14T12:48:09Z
  file_id: '8102'
  file_name: Supporting_Information.pdf
  file_size: 945565
  relation: supplementary_material
file_date_updated: 2020-07-14T12:48:09Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
publication_status: submitted
status: public
title: High specific capacitance supercapacitors from hierarchically organized all-cellulose
  composites
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8084'
abstract:
- lang: eng
  text: Origin and functions of intermittent transitions among sleep stages, including
    brief awakenings and arousals, constitute a challenge to the current homeostatic
    framework for sleep regulation, focusing on factors modulating sleep over large
    time scales. Here we propose that the complex micro-architecture characterizing
    sleep on scales of seconds and minutes results from intrinsic non-equilibrium
    critical dynamics. We investigate θ- and δ-wave dynamics in control rats and in
    rats where the sleep-promoting ventrolateral preoptic nucleus (VLPO) is lesioned
    (male Sprague-Dawley rats). We demonstrate that bursts in θ and δ cortical rhythms
    exhibit complex temporal organization, with long-range correlations and robust
    duality of power-law (θ-bursts, active phase) and exponential-like (δ-bursts,
    quiescent phase) duration distributions, features typical of non-equilibrium systems
    self-organizing at criticality. We show that such non-equilibrium behavior relates
    to anti-correlated coupling between θ- and δ-bursts, persists across a range of
    time scales, and is independent of the dominant physiologic state; indications
    of a basic principle in sleep regulation. Further, we find that VLPO lesions lead
    to a modulation of cortical dynamics resulting in altered dynamical parameters
    of θ- and δ-bursts and significant reduction in θ–δ coupling. Our empirical findings
    and model simulations demonstrate that θ–δ coupling is essential for the emerging
    non-equilibrium critical dynamics observed across the sleep–wake cycle, and indicate
    that VLPO neurons may have dual role for both sleep and arousal/brief wake activation.
    The uncovered critical behavior in sleep- and wake-related cortical rhythms indicates
    a mechanism essential for the micro-architecture of spontaneous sleep-stage and
    arousal transitions within a novel, non-homeostatic paradigm of sleep regulation.
article_processing_charge: No
article_type: original
author:
- first_name: Fabrizio
  full_name: Lombardi, Fabrizio
  id: A057D288-3E88-11E9-986D-0CF4E5697425
  last_name: Lombardi
  orcid: 0000-0003-2623-5249
- first_name: Manuel
  full_name: Gómez-Extremera, Manuel
  last_name: Gómez-Extremera
- first_name: Pedro
  full_name: Bernaola-Galván, Pedro
  last_name: Bernaola-Galván
- first_name: Ramalingam
  full_name: Vetrivelan, Ramalingam
  last_name: Vetrivelan
- first_name: Clifford B.
  full_name: Saper, Clifford B.
  last_name: Saper
- first_name: Thomas E.
  full_name: Scammell, Thomas E.
  last_name: Scammell
- first_name: Plamen Ch.
  full_name: Ivanov, Plamen Ch.
  last_name: Ivanov
citation:
  ama: Lombardi F, Gómez-Extremera M, Bernaola-Galván P, et al. Critical dynamics
    and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism
    for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake.
    <i>Journal of Neuroscience</i>. 2020;40(1):171-190. doi:<a href="https://doi.org/10.1523/jneurosci.1278-19.2019">10.1523/jneurosci.1278-19.2019</a>
  apa: Lombardi, F., Gómez-Extremera, M., Bernaola-Galván, P., Vetrivelan, R., Saper,
    C. B., Scammell, T. E., &#38; Ivanov, P. C. (2020). Critical dynamics and coupling
    in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage
    transitions and dual role of VLPO neurons in both sleep and wake. <i>Journal of
    Neuroscience</i>. Society for Neuroscience. <a href="https://doi.org/10.1523/jneurosci.1278-19.2019">https://doi.org/10.1523/jneurosci.1278-19.2019</a>
  chicago: Lombardi, Fabrizio, Manuel Gómez-Extremera, Pedro Bernaola-Galván, Ramalingam
    Vetrivelan, Clifford B. Saper, Thomas E. Scammell, and Plamen Ch. Ivanov. “Critical
    Dynamics and Coupling in Bursts of Cortical Rhythms Indicate Non-Homeostatic Mechanism
    for Sleep-Stage Transitions and Dual Role of VLPO Neurons in Both Sleep and Wake.”
    <i>Journal of Neuroscience</i>. Society for Neuroscience, 2020. <a href="https://doi.org/10.1523/jneurosci.1278-19.2019">https://doi.org/10.1523/jneurosci.1278-19.2019</a>.
  ieee: F. Lombardi <i>et al.</i>, “Critical dynamics and coupling in bursts of cortical
    rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual
    role of VLPO neurons in both sleep and wake,” <i>Journal of Neuroscience</i>,
    vol. 40, no. 1. Society for Neuroscience, pp. 171–190, 2020.
  ista: Lombardi F, Gómez-Extremera M, Bernaola-Galván P, Vetrivelan R, Saper CB,
    Scammell TE, Ivanov PC. 2020. Critical dynamics and coupling in bursts of cortical
    rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual
    role of VLPO neurons in both sleep and wake. Journal of Neuroscience. 40(1), 171–190.
  mla: Lombardi, Fabrizio, et al. “Critical Dynamics and Coupling in Bursts of Cortical
    Rhythms Indicate Non-Homeostatic Mechanism for Sleep-Stage Transitions and Dual
    Role of VLPO Neurons in Both Sleep and Wake.” <i>Journal of Neuroscience</i>,
    vol. 40, no. 1, Society for Neuroscience, 2020, pp. 171–90, doi:<a href="https://doi.org/10.1523/jneurosci.1278-19.2019">10.1523/jneurosci.1278-19.2019</a>.
  short: F. Lombardi, M. Gómez-Extremera, P. Bernaola-Galván, R. Vetrivelan, C.B.
    Saper, T.E. Scammell, P.C. Ivanov, Journal of Neuroscience 40 (2020) 171–190.
date_created: 2020-07-05T15:24:51Z
date_published: 2020-01-02T00:00:00Z
date_updated: 2023-09-05T14:02:55Z
day: '02'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1523/jneurosci.1278-19.2019
ec_funded: 1
external_id:
  isi:
  - '000505167600016'
  pmid:
  - '31694962'
file:
- access_level: open_access
  content_type: application/pdf
  creator: dernst
  date_created: 2020-07-22T11:44:48Z
  date_updated: 2020-07-22T11:44:48Z
  file_id: '8150'
  file_name: 2020_JournNeuroscience_Lombardi.pdf
  file_size: 6646046
  relation: main_file
  success: 1
file_date_updated: 2020-07-22T11:44:48Z
has_accepted_license: '1'
intvolume: '        40'
isi: 1
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 171-190
pmid: 1
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: Journal of Neuroscience
publication_identifier:
  eissn:
  - 1529-2401
  issn:
  - 0270-6474
publication_status: published
publisher: Society for Neuroscience
quality_controlled: '1'
scopus_import: '1'
status: public
title: Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic
  mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep
  and wake
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 40
year: '2020'
...
---
_id: '8089'
abstract:
- lang: eng
  text: "We consider the classical problem of invariant generation for programs with
    polynomial assignments and focus on synthesizing invariants that are a conjunction
    of strict polynomial inequalities. We present a sound and semi-complete method
    based on positivstellensaetze, i.e. theorems in semi-algebraic geometry that characterize
    positive polynomials over a semi-algebraic set.\r\n\r\nOn the theoretical side,
    the worst-case complexity of our approach is subexponential, whereas the worst-case
    complexity of the previous complete method (Kapur, ACA 2004) is doubly-exponential.
    Even when restricted to linear invariants, the best previous complexity for complete
    invariant generation is exponential (Colon et al, CAV 2003). On the practical
    side, we reduce the invariant generation problem to quadratic programming (QCLP),
    which is a classical optimization problem with many industrial solvers. We demonstrate
    the applicability of our approach by providing experimental results on several
    academic benchmarks. To the best of our knowledge, the only previous invariant
    generation method that provides completeness guarantees for invariants consisting
    of polynomial inequalities is (Kapur, ACA 2004), which relies on quantifier elimination
    and cannot even handle toy programs such as our running example."
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: 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: Ehsan Kafshdar
  full_name: Goharshady, Ehsan Kafshdar
  last_name: Goharshady
citation:
  ama: 'Chatterjee K, Fu H, Goharshady AK, Goharshady EK. Polynomial invariant generation
    for non-deterministic recursive programs. In: <i>Proceedings of the 41st ACM SIGPLAN
    Conference on Programming Language Design and Implementation</i>. Association
    for Computing Machinery; 2020:672-687. doi:<a href="https://doi.org/10.1145/3385412.3385969">10.1145/3385412.3385969</a>'
  apa: 'Chatterjee, K., Fu, H., Goharshady, A. K., &#38; Goharshady, E. K. (2020).
    Polynomial invariant generation for non-deterministic recursive programs. In <i>Proceedings
    of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>
    (pp. 672–687). London, United Kingdom: Association for Computing Machinery. <a
    href="https://doi.org/10.1145/3385412.3385969">https://doi.org/10.1145/3385412.3385969</a>'
  chicago: Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan
    Kafshdar Goharshady. “Polynomial Invariant Generation for Non-Deterministic Recursive
    Programs.” In <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming
    Language Design and Implementation</i>, 672–87. Association for Computing Machinery,
    2020. <a href="https://doi.org/10.1145/3385412.3385969">https://doi.org/10.1145/3385412.3385969</a>.
  ieee: K. Chatterjee, H. Fu, A. K. Goharshady, and E. K. Goharshady, “Polynomial
    invariant generation for non-deterministic recursive programs,” in <i>Proceedings
    of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation</i>,
    London, United Kingdom, 2020, pp. 672–687.
  ista: 'Chatterjee K, Fu H, Goharshady AK, Goharshady EK. 2020. Polynomial invariant
    generation for non-deterministic recursive programs. Proceedings of the 41st ACM
    SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming
    Language Design and Implementation, 672–687.'
  mla: Chatterjee, Krishnendu, et al. “Polynomial Invariant Generation for Non-Deterministic
    Recursive Programs.” <i>Proceedings of the 41st ACM SIGPLAN Conference on Programming
    Language Design and Implementation</i>, Association for Computing Machinery, 2020,
    pp. 672–87, doi:<a href="https://doi.org/10.1145/3385412.3385969">10.1145/3385412.3385969</a>.
  short: K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings
    of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
    Association for Computing Machinery, 2020, pp. 672–687.
conference:
  end_date: 2020-06-20
  location: London, United Kingdom
  name: 'PLDI: Programming Language Design and Implementation'
  start_date: 2020-06-15
date_created: 2020-07-05T22:00:45Z
date_published: 2020-06-11T00:00:00Z
date_updated: 2025-06-02T08:53:42Z
day: '11'
department:
- _id: KrCh
doi: 10.1145/3385412.3385969
external_id:
  arxiv:
  - '1902.04373'
  isi:
  - '000614622300045'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1902.04373
month: '06'
oa: 1
oa_version: Preprint
page: 672-687
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
publication: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language
  Design and Implementation
publication_identifier:
  isbn:
  - '9781450376136'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
  record:
  - id: '8934'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Polynomial invariant generation for non-deterministic recursive programs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8091'
abstract:
- lang: eng
  text: In the setting of the fractional quantum Hall effect we study the effects
    of strong, repulsive two-body interaction potentials of short range. We prove
    that Haldane’s pseudo-potential operators, including their pre-factors, emerge
    as mathematically rigorous limits of such interactions when the range of the potential
    tends to zero while its strength tends to infinity. In a common approach the interaction
    potential is expanded in angular momentum eigenstates in the lowest Landau level,
    which amounts to taking the pre-factors to be the moments of the potential. Such
    a procedure is not appropriate for very strong interactions, however, in particular
    not in the case of hard spheres. We derive the formulas valid in the short-range
    case, which involve the scattering lengths of the interaction potential in different
    angular momentum channels rather than its moments. Our results hold for bosons
    and fermions alike and generalize previous results in [6], which apply to bosons
    in the lowest angular momentum channel. Our main theorem asserts the convergence
    in a norm-resolvent sense of the Hamiltonian on the whole Hilbert space, after
    appropriate energy scalings, to Hamiltonians with contact interactions in the
    lowest Landau level.
acknowledgement: "Open access funding provided by Institute of Science and Technology
  (IST Austria).\r\nThe work of R.S. was supported by the European Research Council
  (ERC) under the European Union’s Horizon 2020 research and innovation programme
  (Grant Agreement No 694227). J.Y. gratefully acknowledges hospitality at the LPMMC
  Grenoble and valuable discussions with Alessandro Olgiati and Nicolas Rougerie. "
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
- first_name: Jakob
  full_name: Yngvason, Jakob
  last_name: Yngvason
citation:
  ama: Seiringer R, Yngvason J. Emergence of Haldane pseudo-potentials in systems
    with short-range interactions. <i>Journal of Statistical Physics</i>. 2020;181:448-464.
    doi:<a href="https://doi.org/10.1007/s10955-020-02586-0">10.1007/s10955-020-02586-0</a>
  apa: Seiringer, R., &#38; Yngvason, J. (2020). Emergence of Haldane pseudo-potentials
    in systems with short-range interactions. <i>Journal of Statistical Physics</i>.
    Springer. <a href="https://doi.org/10.1007/s10955-020-02586-0">https://doi.org/10.1007/s10955-020-02586-0</a>
  chicago: Seiringer, Robert, and Jakob Yngvason. “Emergence of Haldane Pseudo-Potentials
    in Systems with Short-Range Interactions.” <i>Journal of Statistical Physics</i>.
    Springer, 2020. <a href="https://doi.org/10.1007/s10955-020-02586-0">https://doi.org/10.1007/s10955-020-02586-0</a>.
  ieee: R. Seiringer and J. Yngvason, “Emergence of Haldane pseudo-potentials in systems
    with short-range interactions,” <i>Journal of Statistical Physics</i>, vol. 181.
    Springer, pp. 448–464, 2020.
  ista: Seiringer R, Yngvason J. 2020. Emergence of Haldane pseudo-potentials in systems
    with short-range interactions. Journal of Statistical Physics. 181, 448–464.
  mla: Seiringer, Robert, and Jakob Yngvason. “Emergence of Haldane Pseudo-Potentials
    in Systems with Short-Range Interactions.” <i>Journal of Statistical Physics</i>,
    vol. 181, Springer, 2020, pp. 448–64, doi:<a href="https://doi.org/10.1007/s10955-020-02586-0">10.1007/s10955-020-02586-0</a>.
  short: R. Seiringer, J. Yngvason, Journal of Statistical Physics 181 (2020) 448–464.
date_created: 2020-07-05T22:00:46Z
date_published: 2020-10-01T00:00:00Z
date_updated: 2023-08-22T07:51:47Z
day: '01'
ddc:
- '530'
department:
- _id: RoSe
doi: 10.1007/s10955-020-02586-0
ec_funded: 1
external_id:
  arxiv:
  - '2001.07144'
  isi:
  - '000543030000002'
file:
- access_level: open_access
  checksum: 5cbeef52caf18d0d952f17fed7b5545a
  content_type: application/pdf
  creator: dernst
  date_created: 2020-11-25T15:05:04Z
  date_updated: 2020-11-25T15:05:04Z
  file_id: '8812'
  file_name: 2020_JourStatPhysics_Seiringer.pdf
  file_size: 404778
  relation: main_file
  success: 1
file_date_updated: 2020-11-25T15:05:04Z
has_accepted_license: '1'
intvolume: '       181'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 448-464
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
  name: IST Austria Open Access Fund
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '694227'
  name: Analysis of quantum many-body systems
publication: Journal of Statistical Physics
publication_identifier:
  eissn:
  - '15729613'
  issn:
  - '00224715'
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
status: public
title: Emergence of Haldane pseudo-potentials in systems with short-range interactions
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: 181
year: '2020'
...
