---
_id: '8167'
abstract:
- lang: eng
  text: The evolution of strong reproductive isolation (RI) is fundamental to the
    origins and maintenance of biological diversity, especially in situations where
    geographical distributions of taxa broadly overlap. But what is the history behind
    strong barriers currently acting in sympatry? Using whole-genome sequencing and
    single nucleotide polymorphism genotyping, we inferred (i) the evolutionary relationships,
    (ii) the strength of RI, and (iii) the demographic history of divergence between
    two broadly sympatric taxa of intertidal snail. Despite being cryptic, based on
    external morphology, Littorina arcana and Littorina saxatilis differ in their
    mode of female reproduction (egg-laying versus brooding), which may generate a
    strong post-zygotic barrier. We show that egg-laying and brooding snails are closely
    related, but genetically distinct. Genotyping of 3092 snails from three locations
    failed to recover any recent hybrid or backcrossed individuals, confirming that
    RI is strong. There was, however, evidence for a very low level of asymmetrical
    introgression, suggesting that isolation remains incomplete. The presence of strong,
    asymmetrical RI was further supported by demographic analysis of these populations.
    Although the taxa are currently broadly sympatric, demographic modelling suggests
    that they initially diverged during a short period of geographical separation
    involving very low gene flow. Our study suggests that some geographical separation
    may kick-start the evolution of strong RI, facilitating subsequent coexistence
    of taxa in sympatry. The strength of RI needed to achieve sympatry and the subsequent
    effect of sympatry on RI remain open questions.
acknowledgement: Funding was provided by the Natural Environment Research Council
  (NERC) and the European Research Council. We thank Rui Faria, Nicola Nadeau, Martin
  Garlovsky and Hernan Morales for advice and/or useful discussion during the project.
  Richard Turney, Graciela Sotelo, Jenny Larson, Stéphane Loisel and Meghan Wharton
  participated in the collection and processing of samples. Mark Dunning helped with
  the development of bioinformatic pipelines. The analysis of genomic data was conducted
  on the University of Sheffield High-performance computer, ShARC. Jeffrey Feder and
  an anonymous reviewer provided comments that improved the manuscript.
article_number: '20190545'
article_processing_charge: No
article_type: original
author:
- first_name: Sean
  full_name: Stankowski, Sean
  id: 43161670-5719-11EA-8025-FABC3DDC885E
  last_name: Stankowski
- first_name: Anja M
  full_name: Westram, Anja M
  id: 3C147470-F248-11E8-B48F-1D18A9856A87
  last_name: Westram
  orcid: 0000-0003-1050-4969
- first_name: Zuzanna B.
  full_name: Zagrodzka, Zuzanna B.
  last_name: Zagrodzka
- first_name: Isobel
  full_name: Eyres, Isobel
  last_name: Eyres
- first_name: Thomas
  full_name: Broquet, Thomas
  last_name: Broquet
- first_name: Kerstin
  full_name: Johannesson, Kerstin
  last_name: Johannesson
- first_name: Roger K.
  full_name: Butlin, Roger K.
  last_name: Butlin
citation:
  ama: 'Stankowski S, Westram AM, Zagrodzka ZB, et al. The evolution of strong reproductive
    isolation between sympatric intertidal snails. <i>Philosophical Transactions of
    the Royal Society Series B: Biological Sciences</i>. 2020;375(1806). doi:<a href="https://doi.org/10.1098/rstb.2019.0545">10.1098/rstb.2019.0545</a>'
  apa: 'Stankowski, S., Westram, A. M., Zagrodzka, Z. B., Eyres, I., Broquet, T.,
    Johannesson, K., &#38; Butlin, R. K. (2020). The evolution of strong reproductive
    isolation between sympatric intertidal snails. <i>Philosophical Transactions of
    the Royal Society. Series B: Biological Sciences</i>. The Royal Society. <a href="https://doi.org/10.1098/rstb.2019.0545">https://doi.org/10.1098/rstb.2019.0545</a>'
  chicago: 'Stankowski, Sean, Anja M Westram, Zuzanna B. Zagrodzka, Isobel Eyres,
    Thomas Broquet, Kerstin Johannesson, and Roger K. Butlin. “The Evolution of Strong
    Reproductive Isolation between Sympatric Intertidal Snails.” <i>Philosophical
    Transactions of the Royal Society. Series B: Biological Sciences</i>. The Royal
    Society, 2020. <a href="https://doi.org/10.1098/rstb.2019.0545">https://doi.org/10.1098/rstb.2019.0545</a>.'
  ieee: 'S. Stankowski <i>et al.</i>, “The evolution of strong reproductive isolation
    between sympatric intertidal snails,” <i>Philosophical Transactions of the Royal
    Society. Series B: Biological Sciences</i>, vol. 375, no. 1806. The Royal Society,
    2020.'
  ista: 'Stankowski S, Westram AM, Zagrodzka ZB, Eyres I, Broquet T, Johannesson K,
    Butlin RK. 2020. The evolution of strong reproductive isolation between sympatric
    intertidal snails. Philosophical Transactions of the Royal Society. Series B:
    Biological Sciences. 375(1806), 20190545.'
  mla: 'Stankowski, Sean, et al. “The Evolution of Strong Reproductive Isolation between
    Sympatric Intertidal Snails.” <i>Philosophical Transactions of the Royal Society.
    Series B: Biological Sciences</i>, vol. 375, no. 1806, 20190545, The Royal Society,
    2020, doi:<a href="https://doi.org/10.1098/rstb.2019.0545">10.1098/rstb.2019.0545</a>.'
  short: 'S. Stankowski, A.M. Westram, Z.B. Zagrodzka, I. Eyres, T. Broquet, K. Johannesson,
    R.K. Butlin, Philosophical Transactions of the Royal Society. Series B: Biological
    Sciences 375 (2020).'
date_created: 2020-07-26T22:01:01Z
date_published: 2020-07-12T00:00:00Z
date_updated: 2026-06-18T19:30:29Z
day: '12'
ddc:
- '570'
department:
- _id: NiBa
doi: 10.1098/rstb.2019.0545
external_id:
  isi:
  - '000552662100014'
  pmid:
  - '32654639'
intvolume: '       375'
isi: 1
issue: '1806'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1098/rstb.2019.0545
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
publication: 'Philosophical Transactions of the Royal Society. Series B: Biological
  Sciences'
publication_identifier:
  eissn:
  - 1471-2970
publication_status: published
publisher: The Royal Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: The evolution of strong reproductive isolation between sympatric intertidal
  snails
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 375
year: '2020'
...
---
_id: '8168'
abstract:
- lang: eng
  text: Speciation, that is, the evolution of reproductive barriers eventually leading
    to complete isolation, is a crucial process generating biodiversity. Recent work
    has contributed much to our understanding of how reproductive barriers begin to
    evolve, and how they are maintained in the face of gene flow. However, little
    is known about the transition from partial to strong reproductive isolation (RI)
    and the completion of speciation. We argue that the evolution of strong RI is
    likely to involve different processes, or new interactions among processes, compared
    with the evolution of the first reproductive barriers. Transition to strong RI
    may be brought about by changing external conditions, for example, following secondary
    contact. However, the increasing levels of RI themselves create opportunities
    for new barriers to evolve and, and interaction or coupling among barriers. These
    changing processes may depend on genomic architecture and leave detectable signals
    in the genome. We outline outstanding questions and suggest more theoretical and
    empirical work, considering both patterns and processes associated with strong
    RI, is needed to understand how speciation is completed.
article_number: '20190528'
article_processing_charge: No
article_type: original
author:
- first_name: Jonna
  full_name: Kulmuni, Jonna
  last_name: Kulmuni
- first_name: Roger K.
  full_name: Butlin, Roger K.
  last_name: Butlin
- first_name: Kay
  full_name: Lucek, Kay
  last_name: Lucek
- first_name: Vincent
  full_name: Savolainen, Vincent
  last_name: Savolainen
- first_name: Anja M
  full_name: Westram, Anja M
  id: 3C147470-F248-11E8-B48F-1D18A9856A87
  last_name: Westram
  orcid: 0000-0003-1050-4969
citation:
  ama: 'Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. Towards the completion
    of speciation: The evolution of reproductive isolation beyond the first barriers.
    <i>Philosophical Transactions of the Royal Society Series B: Biological sciences</i>.
    2020;375(1806). doi:<a href="https://doi.org/10.1098/rstb.2019.0528">10.1098/rstb.2019.0528</a>'
  apa: 'Kulmuni, J., Butlin, R. K., Lucek, K., Savolainen, V., &#38; Westram, A. M.
    (2020). Towards the completion of speciation: The evolution of reproductive isolation
    beyond the first barriers. <i>Philosophical Transactions of the Royal Society.
    Series B: Biological Sciences</i>. The Royal Society. <a href="https://doi.org/10.1098/rstb.2019.0528">https://doi.org/10.1098/rstb.2019.0528</a>'
  chicago: 'Kulmuni, Jonna, Roger K. Butlin, Kay Lucek, Vincent Savolainen, and Anja
    M Westram. “Towards the Completion of Speciation: The Evolution of Reproductive
    Isolation beyond the First Barriers.” <i>Philosophical Transactions of the Royal
    Society. Series B: Biological Sciences</i>. The Royal Society, 2020. <a href="https://doi.org/10.1098/rstb.2019.0528">https://doi.org/10.1098/rstb.2019.0528</a>.'
  ieee: 'J. Kulmuni, R. K. Butlin, K. Lucek, V. Savolainen, and A. M. Westram, “Towards
    the completion of speciation: The evolution of reproductive isolation beyond the
    first barriers,” <i>Philosophical Transactions of the Royal Society. Series B:
    Biological sciences</i>, vol. 375, no. 1806. The Royal Society, 2020.'
  ista: 'Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. 2020. Towards the
    completion of speciation: The evolution of reproductive isolation beyond the first
    barriers. Philosophical Transactions of the Royal Society. Series B: Biological
    sciences. 375(1806), 20190528.'
  mla: 'Kulmuni, Jonna, et al. “Towards the Completion of Speciation: The Evolution
    of Reproductive Isolation beyond the First Barriers.” <i>Philosophical Transactions
    of the Royal Society. Series B: Biological Sciences</i>, vol. 375, no. 1806, 20190528,
    The Royal Society, 2020, doi:<a href="https://doi.org/10.1098/rstb.2019.0528">10.1098/rstb.2019.0528</a>.'
  short: 'J. Kulmuni, R.K. Butlin, K. Lucek, V. Savolainen, A.M. Westram, Philosophical
    Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).'
date_created: 2020-07-26T22:01:01Z
date_published: 2020-07-12T00:00:00Z
date_updated: 2026-06-18T19:30:51Z
day: '12'
ddc:
- '570'
department:
- _id: NiBa
doi: 10.1098/rstb.2019.0528
ec_funded: 1
external_id:
  isi:
  - '000552662100001'
  pmid:
  - '32654637'
intvolume: '       375'
isi: 1
issue: '1806'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1098/rstb.2019.0528
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 265B41B8-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '797747'
  name: Theoretical and empirical approaches to understanding Parallel Adaptation
publication: 'Philosophical Transactions of the Royal Society. Series B: Biological
  sciences'
publication_identifier:
  eissn:
  - 1471-2970
  issn:
  - 0962-8436
publication_status: published
publisher: The Royal Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Towards the completion of speciation: The evolution of reproductive isolation
  beyond the first barriers'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 375
year: '2020'
...
---
_id: '8170'
abstract:
- lang: eng
  text: "Alignment of OCS, CS2, and I2 molecules embedded in helium nanodroplets is
    measured as a function\r\nof time following rotational excitation by a nonresonant,
    comparatively weak ps laser pulse. The distinct\r\npeaks in the power spectra,
    obtained by Fourier analysis, are used to determine the rotational, B, and\r\ncentrifugal
    distortion, D, constants. For OCS, B and D match the values known from IR spectroscopy.
    For\r\nCS2 and I2, they are the first experimental results reported. The alignment
    dynamics calculated from the\r\ngas-phase rotational Schrödinger equation, using
    the experimental in-droplet B and D values, agree in\r\ndetail with the measurement
    for all three molecules. The rotational spectroscopy technique for molecules in\r\nhelium
    droplets introduced here should apply to a range of molecules and complexes."
acknowledgement: "H. S. acknowledges support from the European Research Council-AdG
  (Project No. 320459, DropletControl)\r\nand from The Villum Foundation through a
  Villum Investigator Grant No. 25886. M. L. acknowledges support\r\nby the Austrian
  Science Fund (FWF), under Project No. P29902-N27, and by the European Research Council\r\n(ERC)
  Starting Grant No. 801770 (ANGULON). G. B. acknowledges support from the Austrian
  Science Fund\r\n(FWF), under Project No. M2641-N27. I. C. acknowledges support by
  the European Union’s Horizon 2020 research and\r\ninnovation programme under the
  Marie Skłodowska-Curie Grant Agreement No. 665385. Computational resources for\r\nthe
  PIMC simulations were provided by the division for scientific computing at the Johannes
  Kepler University."
article_number: '013001'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Adam S.
  full_name: Chatterley, Adam S.
  last_name: Chatterley
- first_name: Lars
  full_name: Christiansen, Lars
  last_name: Christiansen
- first_name: Constant A.
  full_name: Schouder, Constant A.
  last_name: Schouder
- first_name: Anders V.
  full_name: Jørgensen, Anders V.
  last_name: Jørgensen
- first_name: Benjamin
  full_name: Shepperson, Benjamin
  last_name: Shepperson
- first_name: Igor
  full_name: Cherepanov, Igor
  id: 339C7E5A-F248-11E8-B48F-1D18A9856A87
  last_name: Cherepanov
- first_name: Giacomo
  full_name: Bighin, Giacomo
  id: 4CA96FD4-F248-11E8-B48F-1D18A9856A87
  last_name: Bighin
  orcid: 0000-0001-8823-9777
- first_name: Robert E.
  full_name: Zillich, Robert E.
  last_name: Zillich
- first_name: Mikhail
  full_name: Lemeshko, Mikhail
  id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
  last_name: Lemeshko
  orcid: 0000-0002-6990-7802
- first_name: Henrik
  full_name: Stapelfeldt, Henrik
  last_name: Stapelfeldt
citation:
  ama: 'Chatterley AS, Christiansen L, Schouder CA, et al. Rotational coherence spectroscopy
    of molecules in Helium nanodroplets: Reconciling the time and the frequency domains.
    <i>Physical Review Letters</i>. 2020;125(1). doi:<a href="https://doi.org/10.1103/PhysRevLett.125.013001">10.1103/PhysRevLett.125.013001</a>'
  apa: 'Chatterley, A. S., Christiansen, L., Schouder, C. A., Jørgensen, A. V., Shepperson,
    B., Cherepanov, I., … Stapelfeldt, H. (2020). Rotational coherence spectroscopy
    of molecules in Helium nanodroplets: Reconciling the time and the frequency domains.
    <i>Physical Review Letters</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevLett.125.013001">https://doi.org/10.1103/PhysRevLett.125.013001</a>'
  chicago: 'Chatterley, Adam S., Lars Christiansen, Constant A. Schouder, Anders V.
    Jørgensen, Benjamin Shepperson, Igor Cherepanov, Giacomo Bighin, Robert E. Zillich,
    Mikhail Lemeshko, and Henrik Stapelfeldt. “Rotational Coherence Spectroscopy of
    Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.”
    <i>Physical Review Letters</i>. American Physical Society, 2020. <a href="https://doi.org/10.1103/PhysRevLett.125.013001">https://doi.org/10.1103/PhysRevLett.125.013001</a>.'
  ieee: 'A. S. Chatterley <i>et al.</i>, “Rotational coherence spectroscopy of molecules
    in Helium nanodroplets: Reconciling the time and the frequency domains,” <i>Physical
    Review Letters</i>, vol. 125, no. 1. American Physical Society, 2020.'
  ista: 'Chatterley AS, Christiansen L, Schouder CA, Jørgensen AV, Shepperson B, Cherepanov
    I, Bighin G, Zillich RE, Lemeshko M, Stapelfeldt H. 2020. Rotational coherence
    spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the
    frequency domains. Physical Review Letters. 125(1), 013001.'
  mla: 'Chatterley, Adam S., et al. “Rotational Coherence Spectroscopy of Molecules
    in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” <i>Physical
    Review Letters</i>, vol. 125, no. 1, 013001, American Physical Society, 2020,
    doi:<a href="https://doi.org/10.1103/PhysRevLett.125.013001">10.1103/PhysRevLett.125.013001</a>.'
  short: A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson,
    I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical
    Review Letters 125 (2020).
date_created: 2020-07-26T22:01:02Z
date_published: 2020-07-03T00:00:00Z
date_updated: 2026-04-16T08:21:58Z
day: '03'
department:
- _id: MiLe
doi: 10.1103/PhysRevLett.125.013001
ec_funded: 1
external_id:
  arxiv:
  - '2006.02694'
  isi:
  - '000544526900006'
  pmid:
  - '32678640'
intvolume: '       125'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2006.02694
month: '07'
oa: 1
oa_version: Preprint
pmid: 1
project:
- _id: 26031614-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P29902
  name: Quantum rotations in the presence of a many-body environment
- _id: 2688CF98-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '801770'
  name: 'Angulon: physics and applications of a new quasiparticle'
- _id: 26986C82-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: M02641
  name: A path-integral approach to composite impurities
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '665385'
  name: International IST Doctoral Program
publication: Physical Review Letters
publication_identifier:
  eissn:
  - 1079-7114
  issn:
  - 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling
  the time and the frequency domains'
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 125
year: '2020'
...
---
_id: '8181'
author:
- first_name: Robert
  full_name: Hauschild, Robert
  id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87
  last_name: Hauschild
  orcid: 0000-0001-9843-3522
citation:
  ama: Hauschild R. Amplified centrosomes in dendritic cells promote immune cell effector
    functions. 2020. doi:<a href="https://doi.org/10.15479/AT:ISTA:8181">10.15479/AT:ISTA:8181</a>
  apa: Hauschild, R. (2020). Amplified centrosomes in dendritic cells promote immune
    cell effector functions. IST Austria. <a href="https://doi.org/10.15479/AT:ISTA:8181">https://doi.org/10.15479/AT:ISTA:8181</a>
  chicago: Hauschild, Robert. “Amplified Centrosomes in Dendritic Cells Promote Immune
    Cell Effector Functions.” IST Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:8181">https://doi.org/10.15479/AT:ISTA:8181</a>.
  ieee: R. Hauschild, “Amplified centrosomes in dendritic cells promote immune cell
    effector functions.” IST Austria, 2020.
  ista: Hauschild R. 2020. Amplified centrosomes in dendritic cells promote immune
    cell effector functions, IST Austria, <a href="https://doi.org/10.15479/AT:ISTA:8181">10.15479/AT:ISTA:8181</a>.
  mla: Hauschild, Robert. <i>Amplified Centrosomes in Dendritic Cells Promote Immune
    Cell Effector Functions</i>. IST Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:8181">10.15479/AT:ISTA:8181</a>.
  short: R. Hauschild, (2020).
corr_author: '1'
date_created: 2020-07-28T16:24:37Z
date_published: 2020-08-24T00:00:00Z
date_updated: 2024-10-09T21:05:14Z
day: '24'
department:
- _id: Bio
doi: 10.15479/AT:ISTA:8181
file:
- access_level: open_access
  checksum: 878c60885ce30afb59a884dd5eef451c
  content_type: text/plain
  creator: rhauschild
  date_created: 2020-08-24T15:43:49Z
  date_updated: 2020-08-24T15:43:49Z
  file_id: '8290'
  file_name: centriolesDistance.m
  file_size: 6577
  relation: main_file
  success: 1
- access_level: open_access
  checksum: 5a93ac7be2b66b28e4bd8b113ee6aade
  content_type: text/plain
  creator: rhauschild
  date_created: 2020-08-24T15:43:52Z
  date_updated: 2020-08-24T15:43:52Z
  file_id: '8291'
  file_name: goTracking.m
  file_size: 2680
  relation: main_file
  success: 1
file_date_updated: 2020-08-24T15:43:52Z
has_accepted_license: '1'
license: https://opensource.org/licenses/BSD-3-Clause
month: '08'
oa: 1
publisher: IST Austria
status: public
title: Amplified centrosomes in dendritic cells promote immune cell effector functions
tmp:
  legal_code_url: https://opensource.org/licenses/BSD-3-Clause
  name: The 3-Clause BSD License
  short: 3-Clause BSD
type: software
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8186'
abstract:
- lang: eng
  text: "Numerous methods have been proposed for probabilistic generative modelling
    of\r\n3D objects. However, none of these is able to produce textured objects,
    which\r\nrenders them of limited use for practical tasks. In this work, we present
    the\r\nfirst generative model of textured 3D meshes. Training such a model would\r\ntraditionally
    require a large dataset of textured meshes, but unfortunately,\r\nexisting datasets
    of meshes lack detailed textures. We instead propose a new\r\ntraining methodology
    that allows learning from collections of 2D images without\r\nany 3D information.
    To do so, we train our model to explain a distribution of\r\nimages by modelling
    each image as a 3D foreground object placed in front of a\r\n2D background. Thus,
    it learns to generate meshes that when rendered, produce\r\nimages similar to
    those in its training set.\r\n  A well-known problem when generating meshes with
    deep networks is the\r\nemergence of self-intersections, which are problematic
    for many use-cases. As a\r\nsecond contribution we therefore introduce a new generation
    process for 3D\r\nmeshes that guarantees no self-intersections arise, based on
    the physical\r\nintuition that faces should push one another out of the way as
    they move.\r\n  We conduct extensive experiments on our approach, reporting quantitative
    and\r\nqualitative results on both synthetic data and natural images. These show
    our\r\nmethod successfully learns to generate plausible and diverse textured 3D\r\nsamples
    for five challenging object classes."
article_processing_charge: No
arxiv: 1
author:
- first_name: Paul M
  full_name: Henderson, Paul M
  id: 13C09E74-18D9-11E9-8878-32CFE5697425
  last_name: Henderson
  orcid: 0000-0002-5198-7445
- first_name: Vagia
  full_name: Tsiminaki, Vagia
  last_name: Tsiminaki
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
citation:
  ama: 'Henderson PM, Tsiminaki V, Lampert C. Leveraging 2D data to learn textured
    3D mesh generation. In: <i>Proceedings of the IEEE/CVF Conference on Computer
    Vision and Pattern Recognition</i>. IEEE; 2020:7498-7507. doi:<a href="https://doi.org/10.1109/CVPR42600.2020.00752">10.1109/CVPR42600.2020.00752</a>'
  apa: 'Henderson, P. M., Tsiminaki, V., &#38; Lampert, C. (2020). Leveraging 2D data
    to learn textured 3D mesh generation. In <i>Proceedings of the IEEE/CVF Conference
    on Computer Vision and Pattern Recognition</i> (pp. 7498–7507). Virtual: IEEE.
    <a href="https://doi.org/10.1109/CVPR42600.2020.00752">https://doi.org/10.1109/CVPR42600.2020.00752</a>'
  chicago: Henderson, Paul M, Vagia Tsiminaki, and Christoph Lampert. “Leveraging
    2D Data to Learn Textured 3D Mesh Generation.” In <i>Proceedings of the IEEE/CVF
    Conference on Computer Vision and Pattern Recognition</i>, 7498–7507. IEEE, 2020.
    <a href="https://doi.org/10.1109/CVPR42600.2020.00752">https://doi.org/10.1109/CVPR42600.2020.00752</a>.
  ieee: P. M. Henderson, V. Tsiminaki, and C. Lampert, “Leveraging 2D data to learn
    textured 3D mesh generation,” in <i>Proceedings of the IEEE/CVF Conference on
    Computer Vision and Pattern Recognition</i>, Virtual, 2020, pp. 7498–7507.
  ista: 'Henderson PM, Tsiminaki V, Lampert C. 2020. Leveraging 2D data to learn textured
    3D mesh generation. Proceedings of the IEEE/CVF Conference on Computer Vision
    and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition,
    7498–7507.'
  mla: Henderson, Paul M., et al. “Leveraging 2D Data to Learn Textured 3D Mesh Generation.”
    <i>Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition</i>,
    IEEE, 2020, pp. 7498–507, doi:<a href="https://doi.org/10.1109/CVPR42600.2020.00752">10.1109/CVPR42600.2020.00752</a>.
  short: P.M. Henderson, V. Tsiminaki, C. Lampert, in:, Proceedings of the IEEE/CVF
    Conference on Computer Vision and Pattern Recognition, IEEE, 2020, pp. 7498–7507.
conference:
  end_date: 2020-06-19
  location: Virtual
  name: 'CVPR: Conference on Computer Vision and Pattern Recognition'
  start_date: 2020-06-14
date_created: 2020-07-31T16:53:49Z
date_published: 2020-07-01T00:00:00Z
date_updated: 2023-10-17T07:37:11Z
day: '01'
ddc:
- '004'
department:
- _id: ChLa
doi: 10.1109/CVPR42600.2020.00752
external_id:
  arxiv:
  - '2004.04180'
file:
- access_level: open_access
  content_type: application/pdf
  creator: phenders
  date_created: 2020-07-31T16:57:12Z
  date_updated: 2020-07-31T16:57:12Z
  file_id: '8187'
  file_name: paper.pdf
  file_size: 10262773
  relation: main_file
  success: 1
file_date_updated: 2020-07-31T16:57:12Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://openaccess.thecvf.com/content_CVPR_2020/papers/Henderson_Leveraging_2D_Data_to_Learn_Textured_3D_Mesh_Generation_CVPR_2020_paper.pdf
month: '07'
oa: 1
oa_version: Submitted Version
page: 7498-7507
publication: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern
  Recognition
publication_identifier:
  eisbn:
  - '9781728171685'
  eissn:
  - 2575-7075
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Leveraging 2D data to learn textured 3D mesh generation
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8188'
abstract:
- lang: eng
  text: "A natural approach to generative modeling of videos is to represent them
    as a composition of moving objects. Recent works model a set of 2D sprites over
    a slowly-varying background, but without considering the underlying 3D scene that\r\ngives
    rise to them. We instead propose to model a video as the view seen while moving
    through a scene with multiple 3D objects and a 3D background. Our model is trained
    from monocular videos without any supervision, yet learns to\r\ngenerate coherent
    3D scenes containing several moving objects. We conduct detailed experiments on
    two datasets, going beyond the visual complexity supported by state-of-the-art
    generative approaches. We evaluate our method on\r\ndepth-prediction and 3D object
    detection---tasks which cannot be addressed by those earlier works---and show
    it out-performs them even on 2D instance segmentation and tracking."
acknowledged_ssus:
- _id: ScienComp
acknowledgement: "This research was supported by the Scientific Service Units (SSU)
  of IST Austria through resources\r\nprovided by Scientific Computing (SciComp).
  PH is employed part-time by Blackford Analysis, but\r\nthey did not support this
  project in any way."
alternative_title:
- Advances in Neural Information Processing Systems
article_processing_charge: No
arxiv: 1
author:
- first_name: Paul M
  full_name: Henderson, Paul M
  id: 13C09E74-18D9-11E9-8878-32CFE5697425
  last_name: Henderson
  orcid: 0000-0002-5198-7445
- first_name: Christoph
  full_name: Lampert, Christoph
  id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
  last_name: Lampert
  orcid: 0000-0001-8622-7887
citation:
  ama: 'Henderson PM, Lampert C. Unsupervised object-centric video generation and
    decomposition in 3D. In: <i>34th Conference on Neural Information Processing Systems</i>.
    Vol 33. Neural Information Processing Systems Foundation; 2020:3106–3117.'
  apa: 'Henderson, P. M., &#38; Lampert, C. (2020). Unsupervised object-centric video
    generation and decomposition in 3D. In <i>34th Conference on Neural Information
    Processing Systems</i> (Vol. 33, pp. 3106–3117). Vancouver, Canada: Neural Information
    Processing Systems Foundation.'
  chicago: Henderson, Paul M, and Christoph Lampert. “Unsupervised Object-Centric
    Video Generation and Decomposition in 3D.” In <i>34th Conference on Neural Information
    Processing Systems</i>, 33:3106–3117. Neural Information Processing Systems Foundation,
    2020.
  ieee: P. M. Henderson and C. Lampert, “Unsupervised object-centric video generation
    and decomposition in 3D,” in <i>34th Conference on Neural Information Processing
    Systems</i>, Vancouver, Canada, 2020, vol. 33, pp. 3106–3117.
  ista: 'Henderson PM, Lampert C. 2020. Unsupervised object-centric video generation
    and decomposition in 3D. 34th Conference on Neural Information Processing Systems.
    NeurIPS: Neural Information Processing Systems, Advances in Neural Information
    Processing Systems, vol. 33, 3106–3117.'
  mla: Henderson, Paul M., and Christoph Lampert. “Unsupervised Object-Centric Video
    Generation and Decomposition in 3D.” <i>34th Conference on Neural Information
    Processing Systems</i>, vol. 33, Neural Information Processing Systems Foundation,
    2020, pp. 3106–3117.
  short: P.M. Henderson, C. Lampert, in:, 34th Conference on Neural Information Processing
    Systems, Neural Information Processing Systems Foundation, 2020, pp. 3106–3117.
conference:
  end_date: 2020-12-12
  location: Vancouver, Canada
  name: 'NeurIPS: Neural Information Processing Systems'
  start_date: 2020-12-06
corr_author: '1'
date_created: 2020-07-31T16:59:19Z
date_published: 2020-07-07T00:00:00Z
date_updated: 2025-05-14T11:26:57Z
day: '07'
department:
- _id: ChLa
external_id:
  arxiv:
  - '2007.06705'
intvolume: '        33'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2007.06705
month: '07'
oa: 1
oa_version: Preprint
page: 3106–3117
publication: 34th Conference on Neural Information Processing Systems
publication_identifier:
  isbn:
  - '9781713829546'
publication_status: published
publisher: Neural Information Processing Systems Foundation
quality_controlled: '1'
status: public
title: Unsupervised object-centric video generation and decomposition in 3D
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2020'
...
---
OA_place: repository
OA_type: green
_id: '8189'
abstract:
- lang: eng
  text: Direct ethanol fuel cells (DEFCs) show a huge potential to power future electric
    vehicles and portable electronics, but their deployment is currently limited by
    the unavailability of proper electrocatalysis for the ethanol oxidation reaction
    (EOR). In this work, we engineer a new electrocatalyst by incorporating phosphorous
    into a palladium-tin alloy and demonstrate a significant performance improvement
    toward EOR. We first detail a synthetic method to produce Pd2Sn:P nanocrystals
    that incorporate 35% of phosphorus. These nanoparticles are supported on carbon
    black and tested for EOR. Pd2Sn:P/C catalysts exhibit mass current densities up
    to 5.03 A mgPd−1, well above those of Pd2Sn/C, PdP2/C and Pd/C reference catalysts.
    Furthermore, a twofold lower Tafel slope and a much longer durability are revealed
    for the Pd2Sn:P/C catalyst compared with Pd/C. The performance improvement is
    rationalized with the aid of density functional theory (DFT) calculations considering
    different phosphorous chemical environments. Depending on its oxidation state,
    surface phosphorus introduces sites with low energy OH− adsorption and/or strongly
    influences the electronic structure of palladium and tin to facilitate the oxidation
    of the acetyl to acetic acid, which is considered the EOR rate limiting step.
    DFT calculations also points out that the durability improvement of Pd2Sn:P/C
    catalyst is associated to the promotion of OH adsorption that accelerates the
    oxidation of intermediate poisoning COads, reactivating the catalyst surface.
acknowledgement: This work was supported by the European Regional Development Funds
  and by the Spanish Ministerio de Economía y Competitividad through the project SEHTOP,
  ENE2016- 77798-C4-3-R, and ENE2017-85087-C3. X. Y. thanks the China Scholarship
  Council for the scholarship support. J. Liu acknowledges support from the Jiangsu
  University Foundation (4111510011). J. Li obtained International Postdoctoral Exchange
  Fellowship Program (Talent-Introduction program) in 2019 and is grateful for the
  project (2019M663468) funded by the China Postdoctoral Science Foundation. Authors
  acknowledge funding from Generalitat de Catalunya 2017 SGR 327 and 2017 SGR 1246,
  and from IST Austria. ICN2 acknowledges the support from the Severo Ochoa Programme
  (MINECO, grant no. SEV-2017-0706) and is funded by the CERCA Programme/Generalitat
  de Catalunya. J. Llorca is a Serra Húnter Fellow and is grateful to MICINN/FEDER
  RTI2018-093996-B-C31, GC 2017 SGR 128 and to ICREA Academia program.
article_number: '105116'
article_processing_charge: No
article_type: original
author:
- first_name: Xiaoting
  full_name: Yu, Xiaoting
  last_name: Yu
- first_name: Junfeng
  full_name: Liu, Junfeng
  last_name: Liu
- first_name: Junshan
  full_name: Li, Junshan
  last_name: Li
- first_name: Zhishan
  full_name: Luo, Zhishan
  last_name: Luo
- first_name: Yong
  full_name: Zuo, Yong
  last_name: Zuo
- first_name: Congcong
  full_name: Xing, Congcong
  last_name: Xing
- first_name: Jordi
  full_name: Llorca, Jordi
  last_name: Llorca
- first_name: Déspina
  full_name: Nasiou, Déspina
  last_name: Nasiou
- first_name: Jordi
  full_name: Arbiol, Jordi
  last_name: Arbiol
- first_name: Kai
  full_name: Pan, Kai
  last_name: Pan
- first_name: Tobias
  full_name: Kleinhanns, Tobias
  id: 8BD9DE16-AB3C-11E9-9C8C-2A03E6697425
  last_name: Kleinhanns
- first_name: Ying
  full_name: Xie, Ying
  last_name: Xie
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: Yu X, Liu J, Li J, et al. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic
    ethanol oxidation. <i>Nano Energy</i>. 2020;77(11). doi:<a href="https://doi.org/10.1016/j.nanoen.2020.105116">10.1016/j.nanoen.2020.105116</a>
  apa: Yu, X., Liu, J., Li, J., Luo, Z., Zuo, Y., Xing, C., … Cabot, A. (2020). Phosphorous
    incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. <i>Nano
    Energy</i>. Elsevier. <a href="https://doi.org/10.1016/j.nanoen.2020.105116">https://doi.org/10.1016/j.nanoen.2020.105116</a>
  chicago: Yu, Xiaoting, Junfeng Liu, Junshan Li, Zhishan Luo, Yong Zuo, Congcong
    Xing, Jordi Llorca, et al. “Phosphorous Incorporation in Pd2Sn Alloys for Electrocatalytic
    Ethanol Oxidation.” <i>Nano Energy</i>. Elsevier, 2020. <a href="https://doi.org/10.1016/j.nanoen.2020.105116">https://doi.org/10.1016/j.nanoen.2020.105116</a>.
  ieee: X. Yu <i>et al.</i>, “Phosphorous incorporation in Pd2Sn alloys for electrocatalytic
    ethanol oxidation,” <i>Nano Energy</i>, vol. 77, no. 11. Elsevier, 2020.
  ista: Yu X, Liu J, Li J, Luo Z, Zuo Y, Xing C, Llorca J, Nasiou D, Arbiol J, Pan
    K, Kleinhanns T, Xie Y, Cabot A. 2020. Phosphorous incorporation in Pd2Sn alloys
    for electrocatalytic ethanol oxidation. Nano Energy. 77(11), 105116.
  mla: Yu, Xiaoting, et al. “Phosphorous Incorporation in Pd2Sn Alloys for Electrocatalytic
    Ethanol Oxidation.” <i>Nano Energy</i>, vol. 77, no. 11, 105116, Elsevier, 2020,
    doi:<a href="https://doi.org/10.1016/j.nanoen.2020.105116">10.1016/j.nanoen.2020.105116</a>.
  short: X. Yu, J. Liu, J. Li, Z. Luo, Y. Zuo, C. Xing, J. Llorca, D. Nasiou, J. Arbiol,
    K. Pan, T. Kleinhanns, Y. Xie, A. Cabot, Nano Energy 77 (2020).
date_created: 2020-08-02T22:00:57Z
date_published: 2020-11-01T00:00:00Z
date_updated: 2025-04-24T11:53:45Z
day: '01'
department:
- _id: MaIb
doi: 10.1016/j.nanoen.2020.105116
external_id:
  isi:
  - '000581738300030'
intvolume: '        77'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://hdl.handle.net/2117/335346
month: '11'
oa: 1
oa_version: Submitted Version
publication: Nano Energy
publication_identifier:
  issn:
  - 2211-2855
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 77
year: '2020'
...
---
_id: '8194'
abstract:
- lang: eng
  text: 'Fixed-point arithmetic is a popular alternative to floating-point arithmetic
    on embedded systems. Existing work on the verification of fixed-point programs
    relies on custom formalizations of fixed-point arithmetic, which makes it hard
    to compare the described techniques or reuse the implementations. In this paper,
    we address this issue by proposing and formalizing an SMT theory of fixed-point
    arithmetic. We present an intuitive yet comprehensive syntax of the fixed-point
    theory, and provide formal semantics for it based on rational arithmetic. We also
    describe two decision procedures for this theory: one based on the theory of bit-vectors
    and the other on the theory of reals. We implement the two decision procedures,
    and evaluate our implementations using existing mature SMT solvers on a benchmark
    suite we created. Finally, we perform a case study of using the theory we propose
    to verify properties of quantized neural networks.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Marek
  full_name: Baranowski, Marek
  last_name: Baranowski
- first_name: Shaobo
  full_name: He, Shaobo
  last_name: He
- first_name: Mathias
  full_name: Lechner, Mathias
  id: 3DC22916-F248-11E8-B48F-1D18A9856A87
  last_name: Lechner
- first_name: Thanh Son
  full_name: Nguyen, Thanh Son
  last_name: Nguyen
- first_name: Zvonimir
  full_name: Rakamarić, Zvonimir
  last_name: Rakamarić
citation:
  ama: 'Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point
    arithmetic. In: <i>Automated Reasoning</i>. Vol 12166. Springer Nature; 2020:13-31.
    doi:<a href="https://doi.org/10.1007/978-3-030-51074-9_2">10.1007/978-3-030-51074-9_2</a>'
  apa: 'Baranowski, M., He, S., Lechner, M., Nguyen, T. S., &#38; Rakamarić, Z. (2020).
    An SMT theory of fixed-point arithmetic. In <i>Automated Reasoning</i> (Vol. 12166,
    pp. 13–31). Paris, France: Springer Nature. <a href="https://doi.org/10.1007/978-3-030-51074-9_2">https://doi.org/10.1007/978-3-030-51074-9_2</a>'
  chicago: Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir
    Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In <i>Automated Reasoning</i>,
    12166:13–31. Springer Nature, 2020. <a href="https://doi.org/10.1007/978-3-030-51074-9_2">https://doi.org/10.1007/978-3-030-51074-9_2</a>.
  ieee: M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT
    theory of fixed-point arithmetic,” in <i>Automated Reasoning</i>, Paris, France,
    2020, vol. 12166, pp. 13–31.
  ista: 'Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory
    of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference
    on Automated Reasoning, LNCS, vol. 12166, 13–31.'
  mla: Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” <i>Automated
    Reasoning</i>, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:<a href="https://doi.org/10.1007/978-3-030-51074-9_2">10.1007/978-3-030-51074-9_2</a>.
  short: M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated
    Reasoning, Springer Nature, 2020, pp. 13–31.
conference:
  end_date: 2020-07-04
  location: Paris, France
  name: 'IJCAR: International Joint Conference on Automated Reasoning'
  start_date: 2020-07-01
date_created: 2020-08-02T22:00:59Z
date_published: 2020-06-24T00:00:00Z
date_updated: 2026-06-18T19:31:14Z
day: '24'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-51074-9_2
external_id:
  isi:
  - '000884318000002'
intvolume: '     12166'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1007/978-3-030-51074-9_2
month: '06'
oa: 1
oa_version: Published Version
page: 13-31
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: Formal methods for the design and analysis of complex systems
publication: Automated Reasoning
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783030510732'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: An SMT theory of fixed-point arithmetic
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12166
year: '2020'
...
---
_id: '8195'
abstract:
- lang: eng
  text: This paper presents a foundation for refining concurrent programs with structured
    control flow. The verification problem is decomposed into subproblems that aid
    interactive program development, proof reuse, and automation. The formalization
    in this paper is the basis of a new design and implementation of the Civl verifier.
acknowledgement: "Bernhard Kragl and Thomas A. Henzinger were supported by\r\nthe
  Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award)."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Bernhard
  full_name: Kragl, Bernhard
  id: 320FC952-F248-11E8-B48F-1D18A9856A87
  last_name: Kragl
  orcid: 0000-0001-7745-9117
- first_name: Shaz
  full_name: Qadeer, Shaz
  last_name: Qadeer
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
citation:
  ama: 'Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs.
    In: <i>Computer Aided Verification</i>. Vol 12224. Springer Nature; 2020:275-298.
    doi:<a href="https://doi.org/10.1007/978-3-030-53288-8_14">10.1007/978-3-030-53288-8_14</a>'
  apa: Kragl, B., Qadeer, S., &#38; Henzinger, T. A. (2020). Refinement for structured
    concurrent programs. In <i>Computer Aided Verification</i> (Vol. 12224, pp. 275–298).
    Springer Nature. <a href="https://doi.org/10.1007/978-3-030-53288-8_14">https://doi.org/10.1007/978-3-030-53288-8_14</a>
  chicago: Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured
    Concurrent Programs.” In <i>Computer Aided Verification</i>, 12224:275–98. Springer
    Nature, 2020. <a href="https://doi.org/10.1007/978-3-030-53288-8_14">https://doi.org/10.1007/978-3-030-53288-8_14</a>.
  ieee: B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent
    programs,” in <i>Computer Aided Verification</i>, 2020, vol. 12224, pp. 275–298.
  ista: Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent
    programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
  mla: Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” <i>Computer
    Aided Verification</i>, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:<a
    href="https://doi.org/10.1007/978-3-030-53288-8_14">10.1007/978-3-030-53288-8_14</a>.
  short: B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer
    Nature, 2020, pp. 275–298.
corr_author: '1'
date_created: 2020-08-03T11:45:35Z
date_published: 2020-07-14T00:00:00Z
date_updated: 2026-04-08T07:23:52Z
day: '14'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-53288-8_14
external_id:
  isi:
  - '000695276000014'
file:
- access_level: open_access
  content_type: application/pdf
  creator: dernst
  date_created: 2020-08-06T08:14:54Z
  date_updated: 2020-08-06T08:14:54Z
  file_id: '8201'
  file_name: 2020_LNCS_Kragl.pdf
  file_size: 804237
  relation: main_file
  success: 1
file_date_updated: 2020-08-06T08:14:54Z
has_accepted_license: '1'
intvolume: '     12224'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 275-298
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: Formal methods for the design and analysis of complex systems
publication: Computer Aided Verification
publication_identifier:
  eisbn:
  - '9783030532888'
  eissn:
  - 1611-3349
  isbn:
  - '9783030532871'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '8332'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Refinement for structured concurrent programs
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 12224
year: '2020'
...
---
_id: '8199'
abstract:
- lang: eng
  text: We investigate a mechanism to transiently stabilize topological phenomena
    in long-lived quasi-steady states of isolated quantum many-body systems driven
    at low frequencies. We obtain an analytical bound for the lifetime of the quasi-steady
    states which is exponentially large in the inverse driving frequency. Within this
    lifetime, the quasi-steady state is characterized by maximum entropy subject to
    the constraint of fixed number of particles in the system's Floquet-Bloch bands.
    In such a state, all the non-universal properties of these bands are washed out,
    hence only the topological properties persist.
acknowledgement: "N.L., T.G. and E.B. acknowledge support from the European Research
  Council (ERC) under\r\nthe European Union Horizon 2020 Research and Innovation Programme
  (Grant Agreement\r\nNo. 639172). T.G. was in part supported by an Aly Kaufman Fellowship
  at the Technion. T.G.\r\nacknowledges funding from the Institute of Science and
  Technology (IST) Austria, and from\r\nthe European Union’s Horizon 2020 research
  and innovation programme under the Marie\r\nSkłodowska-Curie Grant Agreement No.
  754411. N.L. acknowledges support from the People Programme (Marie Curie Actions)
  of the European Unions Seventh Framework 546 Programme (FP7/20072013), under REA
  Grant Agreement No. 631696, and by the Israeli Center\r\nof Research Excellence
  (I-CORE) Circle of Light funded by the Israel Science Foundation (Grant\r\nNo. 1802/12).
  M.R. gratefully acknowledges the support of the European Research Council\r\n(ERC)
  under the European Union Horizon 2020 Research and Innovation Programme (Grant\r\nAgreement
  No. 678862). M.R. acknowledges the support of the Villum Foundation. M.R. and\r\nE.B.
  acknowledge support from CRC 183 of the Deutsche Forschungsgemeinschaft"
article_number: '015'
article_processing_charge: No
article_type: original
author:
- first_name: Tobias
  full_name: Gulden, Tobias
  id: 1083E038-9F73-11E9-A4B5-532AE6697425
  last_name: Gulden
  orcid: 0000-0001-6814-7541
- first_name: Erez
  full_name: Berg, Erez
  last_name: Berg
- first_name: Mark Spencer
  full_name: Rudner, Mark Spencer
  last_name: Rudner
- first_name: Netanel
  full_name: Lindner, Netanel
  last_name: Lindner
citation:
  ama: Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal
    quasi-steady states in topological Floquet pumps. <i>SciPost Physics</i>. 2020;9.
    doi:<a href="https://doi.org/10.21468/scipostphys.9.1.015">10.21468/scipostphys.9.1.015</a>
  apa: Gulden, T., Berg, E., Rudner, M. S., &#38; Lindner, N. (2020). Exponentially
    long lifetime of universal quasi-steady states in topological Floquet pumps. <i>SciPost
    Physics</i>. SciPost Foundation. <a href="https://doi.org/10.21468/scipostphys.9.1.015">https://doi.org/10.21468/scipostphys.9.1.015</a>
  chicago: Gulden, Tobias, Erez Berg, Mark Spencer Rudner, and Netanel Lindner. “Exponentially
    Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.”
    <i>SciPost Physics</i>. SciPost Foundation, 2020. <a href="https://doi.org/10.21468/scipostphys.9.1.015">https://doi.org/10.21468/scipostphys.9.1.015</a>.
  ieee: T. Gulden, E. Berg, M. S. Rudner, and N. Lindner, “Exponentially long lifetime
    of universal quasi-steady states in topological Floquet pumps,” <i>SciPost Physics</i>,
    vol. 9. SciPost Foundation, 2020.
  ista: Gulden T, Berg E, Rudner MS, Lindner N. 2020. Exponentially long lifetime
    of universal quasi-steady states in topological Floquet pumps. SciPost Physics.
    9, 015.
  mla: Gulden, Tobias, et al. “Exponentially Long Lifetime of Universal Quasi-Steady
    States in Topological Floquet Pumps.” <i>SciPost Physics</i>, vol. 9, 015, SciPost
    Foundation, 2020, doi:<a href="https://doi.org/10.21468/scipostphys.9.1.015">10.21468/scipostphys.9.1.015</a>.
  short: T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
corr_author: '1'
date_created: 2020-08-04T13:04:15Z
date_published: 2020-07-29T00:00:00Z
date_updated: 2025-04-14T07:44:05Z
day: '29'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.21468/scipostphys.9.1.015
ec_funded: 1
external_id:
  isi:
  - '000557362300008'
file:
- access_level: open_access
  content_type: application/pdf
  creator: dernst
  date_created: 2020-08-06T08:56:06Z
  date_updated: 2020-08-06T08:56:06Z
  file_id: '8202'
  file_name: 2020_SciPostPhys_Gulden.pdf
  file_size: 531137
  relation: main_file
  success: 1
file_date_updated: 2020-08-06T08:56:06Z
has_accepted_license: '1'
intvolume: '         9'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: SciPost Physics
publication_identifier:
  issn:
  - 2542-4653
publication_status: published
publisher: SciPost Foundation
quality_controlled: '1'
scopus_import: '1'
status: public
title: Exponentially long lifetime of universal quasi-steady states in topological
  Floquet pumps
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: 9
year: '2020'
...
---
_id: '8203'
abstract:
- lang: eng
  text: Using inelastic cotunneling spectroscopy we observe a zero field splitting
    within the spin triplet manifold of Ge hut wire quantum dots. The states with
    spin ±1 in the confinement direction are energetically favored by up to 55 μeV
    compared to the spin 0 triplet state because of the strong spin–orbit coupling.
    The reported effect should be observable in a broad class of strongly confined
    hole quantum-dot systems and might need to be considered when operating hole spin
    qubits.
acknowledged_ssus:
- _id: NanoFab
- _id: M-Shop
acknowledgement: "We acknowledge G. Burkard, V. N. Golovach, C. Kloeffel, D.Loss,
  P. Rabl, and M. Rancič ́ for helpful discussions. We\r\nfurther acknowledge T.
  Adletzberger, J. Aguilera, T. Asenov, S. Bagiante, T. Menner, L. Shafeek, P. Taus,
  P. Traunmüller, and D. Waldhausl for their invaluable assistance. This research
  was supported by the Scientific Service Units of IST Austria through resources provided
  by the MIBA Machine Shop and the nanofabrication facility, by the FWF-P 32235 project,
  by the National Key R&D Program of China (2016YFA0301701, 2016YFA0300600), and by
  the European Union’s Horizon 2020 research and innovation program under grant agreement
  no. 862046. All data of this publication are available at 10.15479/AT:ISTA:7689."
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Georgios
  full_name: Katsaros, Georgios
  id: 38DB5788-F248-11E8-B48F-1D18A9856A87
  last_name: Katsaros
  orcid: 0000-0001-8342-202X
- first_name: Josip
  full_name: Kukucka, Josip
  id: 3F5D8856-F248-11E8-B48F-1D18A9856A87
  last_name: Kukucka
- first_name: Lada
  full_name: Vukušić, Lada
  id: 31E9F056-F248-11E8-B48F-1D18A9856A87
  last_name: Vukušić
  orcid: 0000-0003-2424-8636
- first_name: Hannes
  full_name: Watzinger, Hannes
  id: 35DF8E50-F248-11E8-B48F-1D18A9856A87
  last_name: Watzinger
- first_name: Fei
  full_name: Gao, Fei
  last_name: Gao
- first_name: Ting
  full_name: Wang, Ting
  last_name: Wang
  orcid: 0000-0002-4619-9575
- first_name: Jian-Jun
  full_name: Zhang, Jian-Jun
  last_name: Zhang
- first_name: Karsten
  full_name: Held, Karsten
  last_name: Held
citation:
  ama: Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole
    states in quantum dots. <i>Nano Letters</i>. 2020;20(7):5201-5206. doi:<a href="https://doi.org/10.1021/acs.nanolett.0c01466">10.1021/acs.nanolett.0c01466</a>
  apa: Katsaros, G., Kukucka, J., Vukušić, L., Watzinger, H., Gao, F., Wang, T., …
    Held, K. (2020). Zero field splitting of heavy-hole states in quantum dots. <i>Nano
    Letters</i>. American Chemical Society. <a href="https://doi.org/10.1021/acs.nanolett.0c01466">https://doi.org/10.1021/acs.nanolett.0c01466</a>
  chicago: Katsaros, Georgios, Josip Kukucka, Lada Vukušić, Hannes Watzinger, Fei
    Gao, Ting Wang, Jian-Jun Zhang, and Karsten Held. “Zero Field Splitting of Heavy-Hole
    States in Quantum Dots.” <i>Nano Letters</i>. American Chemical Society, 2020.
    <a href="https://doi.org/10.1021/acs.nanolett.0c01466">https://doi.org/10.1021/acs.nanolett.0c01466</a>.
  ieee: G. Katsaros <i>et al.</i>, “Zero field splitting of heavy-hole states in quantum
    dots,” <i>Nano Letters</i>, vol. 20, no. 7. American Chemical Society, pp. 5201–5206,
    2020.
  ista: Katsaros G, Kukucka J, Vukušić L, Watzinger H, Gao F, Wang T, Zhang J-J, Held
    K. 2020. Zero field splitting of heavy-hole states in quantum dots. Nano Letters.
    20(7), 5201–5206.
  mla: Katsaros, Georgios, et al. “Zero Field Splitting of Heavy-Hole States in Quantum
    Dots.” <i>Nano Letters</i>, vol. 20, no. 7, American Chemical Society, 2020, pp.
    5201–06, doi:<a href="https://doi.org/10.1021/acs.nanolett.0c01466">10.1021/acs.nanolett.0c01466</a>.
  short: G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J.
    Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.
corr_author: '1'
date_created: 2020-08-06T09:25:04Z
date_published: 2020-06-01T00:00:00Z
date_updated: 2025-04-15T08:39:16Z
day: '01'
ddc:
- '530'
department:
- _id: GeKa
doi: 10.1021/acs.nanolett.0c01466
ec_funded: 1
external_id:
  isi:
  - '000548893200066'
  pmid:
  - '32479090'
file:
- access_level: open_access
  content_type: application/pdf
  creator: dernst
  date_created: 2020-08-06T09:35:37Z
  date_updated: 2020-08-06T09:35:37Z
  file_id: '8204'
  file_name: 2020_NanoLetters_Katsaros.pdf
  file_size: 3308906
  relation: main_file
  success: 1
file_date_updated: 2020-08-06T09:35:37Z
has_accepted_license: '1'
intvolume: '        20'
isi: 1
issue: '7'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 5201-5206
pmid: 1
project:
- _id: 237B3DA4-32DE-11EA-91FC-C7463DDC885E
  call_identifier: FWF
  grant_number: P32235
  name: Towards scalable hut wire quantum devices
- _id: 237E5020-32DE-11EA-91FC-C7463DDC885E
  call_identifier: H2020
  grant_number: '862046'
  name: TOPOLOGICALLY PROTECTED AND SCALABLE QUANTUM BITS
publication: Nano Letters
publication_identifier:
  eissn:
  - 1530-6992
  issn:
  - 1530-6984
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
related_material:
  record:
  - id: '7689'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Zero field splitting of heavy-hole states in quantum dots
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: 20
year: '2020'
...
---
_id: '8220'
abstract:
- lang: eng
  text: Understanding to what extent stem cell potential is a cell-intrinsic property
    or an emergent behavior coming from global tissue dynamics and geometry is a key
    outstanding question of systems and stem cell biology. Here, we propose a theory
    of stem cell dynamics as a stochastic competition for access to a spatially localized
    niche, giving rise to a stochastic conveyor-belt model. Cell divisions produce
    a steady cellular stream which advects cells away from the niche, while random
    rearrangements enable cells away from the niche to be favorably repositioned.
    Importantly, even when assuming that all cells in a tissue are molecularly equivalent,
    we predict a common (“universal”) functional dependence of the long-term clonal
    survival probability on distance from the niche, as well as the emergence of a
    well-defined number of functional stem cells, dependent only on the rate of random
    movements vs. mitosis-driven advection. We test the predictions of this theory
    on datasets of pubertal mammary gland tips and embryonic kidney tips, as well
    as homeostatic intestinal crypts. Importantly, we find good agreement for the
    predicted functional dependency of the competition as a function of position,
    and thus functional stem cell number in each organ. This argues for a key role
    of positional fluctuations in dictating stem cell number and dynamics, and we
    discuss the applicability of this theory to other settings.
acknowledgement: "We thank all members of the E.H., B.D.S., and J.v.R. groups for
  stimulating discussions. This project was supported by\r\nthe European Research
  Council (648804 to J.v.R. and 851288 to E.H.). It has also received support from
  the CancerGenomics.nl (Netherlands Organization for Scientific Research) program
  (J.v.R.) and the Doctor Josef Steiner Foundation (J.v.R). B.D.S. was supported by
  Royal Society E. P. Abraham Research Professorship RP/R1/180165 and Wellcome Trust
  Grant 098357/Z/12/Z."
article_processing_charge: No
article_type: original
author:
- first_name: Bernat
  full_name: Corominas-Murtra, Bernat
  id: 43BE2298-F248-11E8-B48F-1D18A9856A87
  last_name: Corominas-Murtra
  orcid: 0000-0001-9806-5643
- first_name: Colinda L.G.J.
  full_name: Scheele, Colinda L.G.J.
  last_name: Scheele
- first_name: Kasumi
  full_name: Kishi, Kasumi
  id: 3065DFC4-F248-11E8-B48F-1D18A9856A87
  last_name: Kishi
  orcid: 0000-0001-6060-4795
- first_name: Saskia I.J.
  full_name: Ellenbroek, Saskia I.J.
  last_name: Ellenbroek
- first_name: Benjamin D.
  full_name: Simons, Benjamin D.
  last_name: Simons
- first_name: Jacco
  full_name: Van Rheenen, Jacco
  last_name: Van Rheenen
- first_name: Edouard B
  full_name: Hannezo, Edouard B
  id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
  last_name: Hannezo
  orcid: 0000-0001-6005-1561
citation:
  ama: Corominas-Murtra B, Scheele CLGJ, Kishi K, et al. Stem cell lineage survival
    as a noisy competition for niche access. <i>Proceedings of the National Academy
    of Sciences of the United States of America</i>. 2020;117(29):16969-16975. doi:<a
    href="https://doi.org/10.1073/pnas.1921205117">10.1073/pnas.1921205117</a>
  apa: Corominas-Murtra, B., Scheele, C. L. G. J., Kishi, K., Ellenbroek, S. I. J.,
    Simons, B. D., Van Rheenen, J., &#38; Hannezo, E. B. (2020). Stem cell lineage
    survival as a noisy competition for niche access. <i>Proceedings of the National
    Academy of Sciences of the United States of America</i>. National Academy of Sciences.
    <a href="https://doi.org/10.1073/pnas.1921205117">https://doi.org/10.1073/pnas.1921205117</a>
  chicago: Corominas-Murtra, Bernat, Colinda L.G.J. Scheele, Kasumi Kishi, Saskia
    I.J. Ellenbroek, Benjamin D. Simons, Jacco Van Rheenen, and Edouard B Hannezo.
    “Stem Cell Lineage Survival as a Noisy Competition for Niche Access.” <i>Proceedings
    of the National Academy of Sciences of the United States of America</i>. National
    Academy of Sciences, 2020. <a href="https://doi.org/10.1073/pnas.1921205117">https://doi.org/10.1073/pnas.1921205117</a>.
  ieee: B. Corominas-Murtra <i>et al.</i>, “Stem cell lineage survival as a noisy
    competition for niche access,” <i>Proceedings of the National Academy of Sciences
    of the United States of America</i>, vol. 117, no. 29. National Academy of Sciences,
    pp. 16969–16975, 2020.
  ista: Corominas-Murtra B, Scheele CLGJ, Kishi K, Ellenbroek SIJ, Simons BD, Van
    Rheenen J, Hannezo EB. 2020. Stem cell lineage survival as a noisy competition
    for niche access. Proceedings of the National Academy of Sciences of the United
    States of America. 117(29), 16969–16975.
  mla: Corominas-Murtra, Bernat, et al. “Stem Cell Lineage Survival as a Noisy Competition
    for Niche Access.” <i>Proceedings of the National Academy of Sciences of the United
    States of America</i>, vol. 117, no. 29, National Academy of Sciences, 2020, pp.
    16969–75, doi:<a href="https://doi.org/10.1073/pnas.1921205117">10.1073/pnas.1921205117</a>.
  short: B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D.
    Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences
    of the United States of America 117 (2020) 16969–16975.
corr_author: '1'
date_created: 2020-08-09T22:00:52Z
date_published: 2020-07-21T00:00:00Z
date_updated: 2026-04-03T09:29:04Z
day: '21'
ddc:
- '570'
department:
- _id: EdHa
doi: 10.1073/pnas.1921205117
ec_funded: 1
external_id:
  isi:
  - '000553292900014'
  pmid:
  - '32611816'
file:
- access_level: open_access
  content_type: application/pdf
  creator: dernst
  date_created: 2020-08-10T06:50:28Z
  date_updated: 2020-08-10T06:50:28Z
  file_id: '8223'
  file_name: 2020_PNAS_Corominas.pdf
  file_size: 1111604
  relation: main_file
  success: 1
file_date_updated: 2020-08-10T06:50:28Z
has_accepted_license: '1'
intvolume: '       117'
isi: 1
issue: '29'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 16969-16975
pmid: 1
project:
- _id: 05943252-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '851288'
  name: Design Principles of Branching Morphogenesis
publication: Proceedings of the National Academy of Sciences of the United States
  of America
publication_identifier:
  eissn:
  - 1091-6490
publication_status: published
publisher: National Academy of Sciences
quality_controlled: '1'
related_material:
  link:
  - relation: press_release
    url: https://ist.ac.at/en/news/order-from-noise/
scopus_import: '1'
status: public
title: Stem cell lineage survival as a noisy competition for niche access
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 117
year: '2020'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '8225'
abstract:
- lang: eng
  text: Birch pollen allergy is among the most prevalent pollen allergies in Northern
    and Central Europe. This IgE-mediated disease can be treated with allergen immunotherapy
    (AIT), which typically gives rise to IgG antibodies inducing tolerance. Although
    the main mechanisms of allergen immunotherapy (AIT) are known, questions regarding
    possible Fc-mediated effects of IgG antibodies remain unanswered. This can mainly
    be attributed to the unavailability of appropriate tools, i.e., well-characterised
    recombinant antibodies (rAbs). We hereby aimed at providing human rAbs of several
    classes for mechanistic studies and as possible candidates for passive immunotherapy.
    We engineered IgE, IgG1, and IgG4 sharing the same variable region against the
    major birch pollen allergen Bet v 1 using Polymerase Incomplete Primer Extension
    (PIPE) cloning. We tested IgE functionality and IgG blocking capabilities using
    appropriate model cell lines. In vitro studies showed IgE engagement with FcεRI
    and CD23 and Bet v 1-dependent degranulation. Overall, we hereby present fully
    functional, human IgE, IgG1, and IgG4 sharing the same variable region against
    Bet v 1 and showcase possible applications in first mechanistic studies. Furthermore,
    our IgG antibodies might be useful candidates for passive immunotherapy of birch
    pollen allergy.
article_number: '5693'
article_processing_charge: No
article_type: original
author:
- first_name: Verena K.
  full_name: Köhler, Verena K.
  last_name: Köhler
  orcid: 0000-0001-5581-398X
- first_name: Silvia
  full_name: Crescioli, Silvia
  last_name: Crescioli
  orcid: 0000-0002-1909-5957
- first_name: Judit
  full_name: Fazekas-Singer, Judit
  id: 36432834-F248-11E8-B48F-1D18A9856A87
  last_name: Fazekas-Singer
  orcid: 0000-0002-8777-3502
- first_name: Heather J.
  full_name: Bax, Heather J.
  last_name: Bax
  orcid: 0000-0003-0432-4160
- first_name: Gerhard
  full_name: Hofer, Gerhard
  last_name: Hofer
- first_name: Christina L.
  full_name: Pranger, Christina L.
  last_name: Pranger
- first_name: Karin
  full_name: Hufnagl, Karin
  last_name: Hufnagl
- first_name: Rodolfo
  full_name: Bianchini, Rodolfo
  last_name: Bianchini
  orcid: 0000-0003-0351-6937
- first_name: Sabine
  full_name: Flicker, Sabine
  last_name: Flicker
  orcid: 0000-0003-4768-8693
- first_name: Walter
  full_name: Keller, Walter
  last_name: Keller
  orcid: 0000-0002-2261-958X
- first_name: Sophia N.
  full_name: Karagiannis, Sophia N.
  last_name: Karagiannis
  orcid: 0000-0002-4100-7810
- first_name: Erika
  full_name: Jensen-Jarolim, Erika
  last_name: Jensen-Jarolim
  orcid: 0000-0003-4019-5765
citation:
  ama: 'Köhler VK, Crescioli S, Singer J, et al. Filling the antibody pipeline in
    allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen
    Bet v 1. <i>International Journal of Molecular Sciences</i>. 2020;21(16). doi:<a
    href="https://doi.org/10.3390/ijms21165693">10.3390/ijms21165693</a>'
  apa: 'Köhler, V. K., Crescioli, S., Singer, J., Bax, H. J., Hofer, G., Pranger,
    C. L., … Jensen-Jarolim, E. (2020). Filling the antibody pipeline in allergy:
    PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet
    v 1. <i>International Journal of Molecular Sciences</i>. MDPI. <a href="https://doi.org/10.3390/ijms21165693">https://doi.org/10.3390/ijms21165693</a>'
  chicago: 'Köhler, Verena K., Silvia Crescioli, Judit Singer, Heather J. Bax, Gerhard
    Hofer, Christina L. Pranger, Karin Hufnagl, et al. “Filling the Antibody Pipeline
    in Allergy: PIPE Cloning of IgE, IgG1 and IgG4 against the Major Birch Pollen
    Allergen Bet v 1.” <i>International Journal of Molecular Sciences</i>. MDPI, 2020.
    <a href="https://doi.org/10.3390/ijms21165693">https://doi.org/10.3390/ijms21165693</a>.'
  ieee: 'V. K. Köhler <i>et al.</i>, “Filling the antibody pipeline in allergy: PIPE
    cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1,”
    <i>International Journal of Molecular Sciences</i>, vol. 21, no. 16. MDPI, 2020.'
  ista: 'Köhler VK, Crescioli S, Singer J, Bax HJ, Hofer G, Pranger CL, Hufnagl K,
    Bianchini R, Flicker S, Keller W, Karagiannis SN, Jensen-Jarolim E. 2020. Filling
    the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the
    major birch pollen allergen Bet v 1. International Journal of Molecular Sciences.
    21(16), 5693.'
  mla: 'Köhler, Verena K., et al. “Filling the Antibody Pipeline in Allergy: PIPE
    Cloning of IgE, IgG1 and IgG4 against the Major Birch Pollen Allergen Bet v 1.”
    <i>International Journal of Molecular Sciences</i>, vol. 21, no. 16, 5693, MDPI,
    2020, doi:<a href="https://doi.org/10.3390/ijms21165693">10.3390/ijms21165693</a>.'
  short: V.K. Köhler, S. Crescioli, J. Singer, H.J. Bax, G. Hofer, C.L. Pranger, K.
    Hufnagl, R. Bianchini, S. Flicker, W. Keller, S.N. Karagiannis, E. Jensen-Jarolim,
    International Journal of Molecular Sciences 21 (2020).
date_created: 2020-08-10T11:47:29Z
date_published: 2020-08-08T00:00:00Z
date_updated: 2024-10-15T13:11:23Z
day: '08'
ddc:
- '570'
doi: 10.3390/ijms21165693
extern: '1'
external_id:
  pmid:
  - '32784509'
file:
- access_level: open_access
  checksum: dac7ccef7cdcea9be292664d8c488425
  content_type: application/pdf
  creator: dernst
  date_created: 2020-09-10T07:06:22Z
  date_updated: 2020-09-10T07:06:22Z
  file_id: '8356'
  file_name: 2020_IntMolecSciences_Koehler.pdf
  file_size: 2680908
  relation: main_file
  success: 1
file_date_updated: 2020-09-10T07:06:22Z
has_accepted_license: '1'
intvolume: '        21'
issue: '16'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: International Journal of Molecular Sciences
publication_identifier:
  issn:
  - 1422-0067
publication_status: published
publisher: MDPI
quality_controlled: '1'
status: public
title: 'Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4
  against the major birch pollen allergen Bet v 1'
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: 0043cee0-e5fc-11ee-9736-f83bc23afbf0
volume: 21
year: '2020'
...
---
OA_place: publisher
OA_type: hybrid
_id: '8226'
article_processing_charge: No
article_type: letter_note
author:
- first_name: Jelena
  full_name: Gotovina, Jelena
  last_name: Gotovina
  orcid: 0000-0003-1503-5276
- first_name: Rodolfo
  full_name: Bianchini, Rodolfo
  last_name: Bianchini
  orcid: 0000-0003-0351-6937
- first_name: Judit
  full_name: Fazekas-Singer, Judit
  id: 36432834-F248-11E8-B48F-1D18A9856A87
  last_name: Fazekas-Singer
  orcid: 0000-0002-8777-3502
- first_name: Ina
  full_name: Herrmann, Ina
  last_name: Herrmann
  orcid: 0000-0003-2772-9144
- first_name: Giulia
  full_name: Pellizzari, Giulia
  last_name: Pellizzari
  orcid: 0000-0003-0387-1912
- first_name: Ian D.
  full_name: Haidl, Ian D.
  last_name: Haidl
  orcid: 0000-0002-5301-0822
- first_name: Karin
  full_name: Hufnagl, Karin
  last_name: Hufnagl
  orcid: 0000-0002-2288-2468
- first_name: Sophia N.
  full_name: Karagiannis, Sophia N.
  last_name: Karagiannis
  orcid: 0000-0002-4100-7810
- first_name: Jean S.
  full_name: Marshall, Jean S.
  last_name: Marshall
  orcid: 0000-0002-5642-1379
- first_name: Erika
  full_name: Jensen‐Jarolim, Erika
  last_name: Jensen‐Jarolim
  orcid: 0000-0003-4019-5765
citation:
  ama: Gotovina J, Bianchini R, Singer J, et al. Epinephrine drives human M2a allergic
    macrophages to a regulatory phenotype reducing mast cell degranulation in vitro.
    <i>Allergy</i>. 2020. doi:<a href="https://doi.org/10.1111/all.14299">10.1111/all.14299</a>
  apa: Gotovina, J., Bianchini, R., Singer, J., Herrmann, I., Pellizzari, G., Haidl,
    I. D., … Jensen‐Jarolim, E. (2020). Epinephrine drives human M2a allergic macrophages
    to a regulatory phenotype reducing mast cell degranulation in vitro. <i>Allergy</i>.
    Wiley. <a href="https://doi.org/10.1111/all.14299">https://doi.org/10.1111/all.14299</a>
  chicago: Gotovina, Jelena, Rodolfo Bianchini, Judit Singer, Ina Herrmann, Giulia
    Pellizzari, Ian D. Haidl, Karin Hufnagl, Sophia N. Karagiannis, Jean S. Marshall,
    and Erika Jensen‐Jarolim. “Epinephrine Drives Human M2a Allergic Macrophages to
    a Regulatory Phenotype Reducing Mast Cell Degranulation in Vitro.” <i>Allergy</i>.
    Wiley, 2020. <a href="https://doi.org/10.1111/all.14299">https://doi.org/10.1111/all.14299</a>.
  ieee: J. Gotovina <i>et al.</i>, “Epinephrine drives human M2a allergic macrophages
    to a regulatory phenotype reducing mast cell degranulation in vitro,” <i>Allergy</i>.
    Wiley, 2020.
  ista: Gotovina J, Bianchini R, Singer J, Herrmann I, Pellizzari G, Haidl ID, Hufnagl
    K, Karagiannis SN, Marshall JS, Jensen‐Jarolim E. 2020. Epinephrine drives human
    M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation
    in vitro. Allergy.
  mla: Gotovina, Jelena, et al. “Epinephrine Drives Human M2a Allergic Macrophages
    to a Regulatory Phenotype Reducing Mast Cell Degranulation in Vitro.” <i>Allergy</i>,
    Wiley, 2020, doi:<a href="https://doi.org/10.1111/all.14299">10.1111/all.14299</a>.
  short: J. Gotovina, R. Bianchini, J. Singer, I. Herrmann, G. Pellizzari, I.D. Haidl,
    K. Hufnagl, S.N. Karagiannis, J.S. Marshall, E. Jensen‐Jarolim, Allergy (2020).
date_created: 2020-08-10T11:50:30Z
date_published: 2020-04-04T00:00:00Z
date_updated: 2024-10-15T13:13:56Z
day: '04'
doi: 10.1111/all.14299
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1111/all.14299
month: '04'
oa: 1
oa_version: Published Version
publication: Allergy
publication_identifier:
  issn:
  - 0105-4538
  - 1398-9995
publication_status: epub_ahead
publisher: Wiley
quality_controlled: '1'
status: public
title: Epinephrine drives human M2a allergic macrophages to a regulatory phenotype
  reducing mast cell degranulation in vitro
type: journal_article
user_id: 0043cee0-e5fc-11ee-9736-f83bc23afbf0
year: '2020'
...
---
_id: '8254'
abstract:
- lang: eng
  text: "Here are the research data underlying the publication \"Estimating inbreeding
    and its effects in a long-term study of snapdragons (Antirrhinum majus)\". Further
    information are summed up in the README document.\r\nThe files for this record
    have been updated and are now found in the linked DOI https://doi.org/10.15479/AT:ISTA:9192."
article_processing_charge: No
author:
- first_name: Louise S
  full_name: Arathoon, Louise S
  id: 2CFCFF98-F248-11E8-B48F-1D18A9856A87
  last_name: Arathoon
  orcid: 0000-0003-1771-714X
citation:
  ama: Arathoon LS. Estimating inbreeding and its effects in a long-term study of
    snapdragons (Antirrhinum majus). 2020. doi:<a href="https://doi.org/10.15479/AT:ISTA:8254">10.15479/AT:ISTA:8254</a>
  apa: Arathoon, L. S. (2020). Estimating inbreeding and its effects in a long-term
    study of snapdragons (Antirrhinum majus). Institute of Science and Technology
    Austria. <a href="https://doi.org/10.15479/AT:ISTA:8254">https://doi.org/10.15479/AT:ISTA:8254</a>
  chicago: Arathoon, Louise S. “Estimating Inbreeding and Its Effects in a Long-Term
    Study of Snapdragons (Antirrhinum Majus).” Institute of Science and Technology
    Austria, 2020. <a href="https://doi.org/10.15479/AT:ISTA:8254">https://doi.org/10.15479/AT:ISTA:8254</a>.
  ieee: L. S. Arathoon, “Estimating inbreeding and its effects in a long-term study
    of snapdragons (Antirrhinum majus).” Institute of Science and Technology Austria,
    2020.
  ista: Arathoon LS. 2020. Estimating inbreeding and its effects in a long-term study
    of snapdragons (Antirrhinum majus), Institute of Science and Technology Austria,
    <a href="https://doi.org/10.15479/AT:ISTA:8254">10.15479/AT:ISTA:8254</a>.
  mla: Arathoon, Louise S. <i>Estimating Inbreeding and Its Effects in a Long-Term
    Study of Snapdragons (Antirrhinum Majus)</i>. Institute of Science and Technology
    Austria, 2020, doi:<a href="https://doi.org/10.15479/AT:ISTA:8254">10.15479/AT:ISTA:8254</a>.
  short: L.S. Arathoon, (2020).
contributor:
- contributor_type: data_collector
  first_name: Louise S
  id: 2CFCFF98-F248-11E8-B48F-1D18A9856A87
  last_name: Arathoon
- contributor_type: project_member
  first_name: Parvathy
  id: 455235B8-F248-11E8-B48F-1D18A9856A87
  last_name: Surendranadh
- contributor_type: project_member
  first_name: Nicholas H
  id: 4880FE40-F248-11E8-B48F-1D18A9856A87
  last_name: Barton
  orcid: 0000-0002-8548-5240
- contributor_type: project_member
  first_name: David
  id: 419049E2-F248-11E8-B48F-1D18A9856A87
  last_name: Field
  orcid: 0000-0002-4014-8478
- contributor_type: project_member
  first_name: Melinda
  id: 2C78037E-F248-11E8-B48F-1D18A9856A87
  last_name: Pickup
  orcid: 0000-0001-6118-0541
- contributor_type: project_member
  first_name: Carina
  id: 3B4A7CE2-F248-11E8-B48F-1D18A9856A87
  last_name: Baskett
corr_author: '1'
date_created: 2020-08-12T12:49:23Z
date_published: 2020-08-18T00:00:00Z
date_updated: 2024-10-09T21:02:14Z
day: '18'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.15479/AT:ISTA:8254
file:
- access_level: open_access
  checksum: 4f1382ed4384751b6013398c11557bf6
  content_type: application/x-zip-compressed
  creator: dernst
  date_created: 2020-08-18T08:03:23Z
  date_updated: 2020-08-18T08:03:23Z
  file_id: '8280'
  file_name: Data_Rcode_MathematicaNB.zip
  file_size: 5778420
  relation: main_file
  success: 1
file_date_updated: 2020-08-18T08:03:23Z
has_accepted_license: '1'
month: '08'
oa: 1
oa_version: Published Version
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '9192'
    relation: later_version
    status: public
  - id: '11321'
    relation: later_version
    status: public
status: public
title: Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum
  majus)
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8261'
abstract:
- lang: eng
  text: Dentate gyrus granule cells (GCs) connect the entorhinal cortex to the hippocampal
    CA3 region, but how they process spatial information remains enigmatic. To examine
    the role of GCs in spatial coding, we measured excitatory postsynaptic potentials
    (EPSPs) and action potentials (APs) in head-fixed mice running on a linear belt.
    Intracellular recording from morphologically identified GCs revealed that most
    cells were active, but activity level varied over a wide range. Whereas only ∼5%
    of GCs showed spatially tuned spiking, ∼50% received spatially tuned input. Thus,
    the GC population broadly encodes spatial information, but only a subset relays
    this information to the CA3 network. Fourier analysis indicated that GCs received
    conjunctive place-grid-like synaptic input, suggesting code conversion in single
    neurons. GC firing was correlated with dendritic complexity and intrinsic excitability,
    but not extrinsic excitatory input or dendritic cable properties. Thus, functional
    maturation may control input-output transformation and spatial code conversion.
acknowledged_ssus:
- _id: M-Shop
- _id: ScienComp
- _id: PreCl
acknowledgement: This project has received funding from the European Research Council
  (ERC) under the European Union’s Horizon 2020 research and innovation program (grant
  agreement 692692, P.J.) and the Fond zur Förderung der Wissenschaftlichen Forschung
  (Z 312-B27, Wittgenstein award, P.J.). We thank Gyorgy Buzsáki, Jozsef Csicsvari,
  Juan Ramirez Villegas, and Federico Stella for commenting on earlier versions of
  this manuscript. We also thank Katie Bittner, Michael Brecht, Albert Lee, Jeffery
  Magee, and Alejandro Pernía-Andrade for sharing expertise in in vivo patch-clamp
  recording. We are grateful to Florian Marr for cell labeling, cell reconstruction,
  and technical assistance; Ben Suter for helpful discussions; Christina Altmutter
  for technical support; Eleftheria Kralli-Beller for manuscript editing; and Todor
  Asenov (Machine Shop) for device construction. We also thank the Scientific Service
  Units (SSUs) of IST Austria (Machine Shop, Scientific Computing, and Preclinical
  Facility) for efficient support.
article_processing_charge: No
article_type: original
author:
- first_name: Xiaomin
  full_name: Zhang, Xiaomin
  id: 423EC9C2-F248-11E8-B48F-1D18A9856A87
  last_name: Zhang
- first_name: Alois
  full_name: Schlögl, Alois
  id: 45BF87EE-F248-11E8-B48F-1D18A9856A87
  last_name: Schlögl
  orcid: 0000-0002-5621-8100
- 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: Zhang X, Schlögl A, Jonas PM. Selective routing of spatial information flow
    from input to output in hippocampal granule cells. <i>Neuron</i>. 2020;107(6):1212-1225.
    doi:<a href="https://doi.org/10.1016/j.neuron.2020.07.006">10.1016/j.neuron.2020.07.006</a>
  apa: Zhang, X., Schlögl, A., &#38; Jonas, P. M. (2020). Selective routing of spatial
    information flow from input to output in hippocampal granule cells. <i>Neuron</i>.
    Elsevier. <a href="https://doi.org/10.1016/j.neuron.2020.07.006">https://doi.org/10.1016/j.neuron.2020.07.006</a>
  chicago: Zhang, Xiaomin, Alois Schlögl, and Peter M Jonas. “Selective Routing of
    Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” <i>Neuron</i>.
    Elsevier, 2020. <a href="https://doi.org/10.1016/j.neuron.2020.07.006">https://doi.org/10.1016/j.neuron.2020.07.006</a>.
  ieee: X. Zhang, A. Schlögl, and P. M. Jonas, “Selective routing of spatial information
    flow from input to output in hippocampal granule cells,” <i>Neuron</i>, vol. 107,
    no. 6. Elsevier, pp. 1212–1225, 2020.
  ista: Zhang X, Schlögl A, Jonas PM. 2020. Selective routing of spatial information
    flow from input to output in hippocampal granule cells. Neuron. 107(6), 1212–1225.
  mla: Zhang, Xiaomin, et al. “Selective Routing of Spatial Information Flow from
    Input to Output in Hippocampal Granule Cells.” <i>Neuron</i>, vol. 107, no. 6,
    Elsevier, 2020, pp. 1212–25, doi:<a href="https://doi.org/10.1016/j.neuron.2020.07.006">10.1016/j.neuron.2020.07.006</a>.
  short: X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.
corr_author: '1'
date_created: 2020-08-14T09:36:05Z
date_published: 2020-09-23T00:00:00Z
date_updated: 2025-04-15T08:29:03Z
day: '23'
ddc:
- '570'
department:
- _id: PeJo
- _id: ScienComp
doi: 10.1016/j.neuron.2020.07.006
ec_funded: 1
external_id:
  isi:
  - '000579698700009'
  pmid:
  - '32763145'
file:
- access_level: open_access
  checksum: 44a5960fc083a4cb3488d22224859fdc
  content_type: application/pdf
  creator: dernst
  date_created: 2020-12-04T09:29:21Z
  date_updated: 2020-12-04T09:29:21Z
  file_id: '8920'
  file_name: 2020_Neuron_Zhang.pdf
  file_size: 3011120
  relation: main_file
  success: 1
file_date_updated: 2020-12-04T09:29:21Z
has_accepted_license: '1'
intvolume: '       107'
isi: 1
issue: '6'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 1212-1225
pmid: 1
project:
- _id: 25B7EB9E-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '692692'
  name: Biophysics and circuit function of a giant cortical glutamatergic synapse
- _id: 25C5A090-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z00312
  name: Synaptic communication in neuronal microcircuits
publication: Neuron
publication_identifier:
  issn:
  - 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
  link:
  - description: News on IST Website
    relation: press_release
    url: https://ist.ac.at/en/news/the-bouncer-in-the-brain/
scopus_import: '1'
status: public
title: Selective routing of spatial information flow from input to output in hippocampal
  granule cells
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: '8268'
abstract:
- lang: eng
  text: 'Modern scientific instruments produce vast amounts of data, which can overwhelm
    the processing ability of computer systems. Lossy compression of data is an intriguing
    solution, but comes with its own drawbacks, such as potential signal loss, and
    the need for careful optimization of the compression ratio. In this work, we focus
    on a setting where this problem is especially acute: compressive sensing frameworks
    for interferometry and medical imaging. We ask the following question: can the
    precision of the data representation be lowered for all inputs, with recovery
    guarantees and practical performance Our first contribution is a theoretical analysis
    of the normalized Iterative Hard Thresholding (IHT) algorithm when all input data,
    meaning both the measurement matrix and the observation vector are quantized aggressively.
    We present a variant of low precision normalized IHT that, under mild conditions,
    can still provide recovery guarantees. The second contribution is the application
    of our quantization framework to radio astronomy and magnetic resonance imaging.
    We show that lowering the precision of the data can significantly accelerate image
    recovery. We evaluate our approach on telescope data and samples of brain images
    using CPU and FPGA implementations achieving up to a 9x speedup with negligible
    loss of recovery quality.'
acknowledgement: The authors would like to thank Dr. Michiel Brentjens at the Netherlands
  Institute for Radio Astronomy (ASTRON) for providing radio interferometer data and
  Dr. Josip Marjanovic and Dr. Franciszek Hennel at the Magnetic Resonance Technology
  of ETH Zurich for providing their insights on the experiments. CZ and the DS3Lab
  gratefully acknowledge the support from the Swiss Data Science Center, Alibaba,
  Google Focused Research Awards, Huawei, MeteoSwiss, Oracle Labs, Swisscom, Zurich
  Insurance, Chinese Scholarship Council, and the Department of Computer Science at
  ETH Zurich.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Nezihe Merve
  full_name: Gurel, Nezihe Merve
  last_name: Gurel
- first_name: Kaan
  full_name: Kara, Kaan
  last_name: Kara
- first_name: Alen
  full_name: Stojanov, Alen
  last_name: Stojanov
- first_name: Tyler
  full_name: Smith, Tyler
  last_name: Smith
- first_name: Thomas
  full_name: Lemmin, Thomas
  last_name: Lemmin
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Markus
  full_name: Puschel, Markus
  last_name: Puschel
- first_name: Ce
  full_name: Zhang, Ce
  last_name: Zhang
citation:
  ama: 'Gurel NM, Kara K, Stojanov A, et al. Compressive sensing using iterative hard
    thresholding with low precision data representation: Theory and applications.
    <i>IEEE Transactions on Signal Processing</i>. 2020;68:4268-4282. doi:<a href="https://doi.org/10.1109/TSP.2020.3010355">10.1109/TSP.2020.3010355</a>'
  apa: 'Gurel, N. M., Kara, K., Stojanov, A., Smith, T., Lemmin, T., Alistarh, D.-A.,
    … Zhang, C. (2020). Compressive sensing using iterative hard thresholding with
    low precision data representation: Theory and applications. <i>IEEE Transactions
    on Signal Processing</i>. IEEE. <a href="https://doi.org/10.1109/TSP.2020.3010355">https://doi.org/10.1109/TSP.2020.3010355</a>'
  chicago: 'Gurel, Nezihe Merve, Kaan Kara, Alen Stojanov, Tyler Smith, Thomas Lemmin,
    Dan-Adrian Alistarh, Markus Puschel, and Ce Zhang. “Compressive Sensing Using
    Iterative Hard Thresholding with Low Precision Data Representation: Theory and
    Applications.” <i>IEEE Transactions on Signal Processing</i>. IEEE, 2020. <a href="https://doi.org/10.1109/TSP.2020.3010355">https://doi.org/10.1109/TSP.2020.3010355</a>.'
  ieee: 'N. M. Gurel <i>et al.</i>, “Compressive sensing using iterative hard thresholding
    with low precision data representation: Theory and applications,” <i>IEEE Transactions
    on Signal Processing</i>, vol. 68. IEEE, pp. 4268–4282, 2020.'
  ista: 'Gurel NM, Kara K, Stojanov A, Smith T, Lemmin T, Alistarh D-A, Puschel M,
    Zhang C. 2020. Compressive sensing using iterative hard thresholding with low
    precision data representation: Theory and applications. IEEE Transactions on Signal
    Processing. 68, 4268–4282.'
  mla: 'Gurel, Nezihe Merve, et al. “Compressive Sensing Using Iterative Hard Thresholding
    with Low Precision Data Representation: Theory and Applications.” <i>IEEE Transactions
    on Signal Processing</i>, vol. 68, IEEE, 2020, pp. 4268–82, doi:<a href="https://doi.org/10.1109/TSP.2020.3010355">10.1109/TSP.2020.3010355</a>.'
  short: N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M.
    Puschel, C. Zhang, IEEE Transactions on Signal Processing 68 (2020) 4268–4282.
date_created: 2020-08-16T22:00:56Z
date_published: 2020-07-20T00:00:00Z
date_updated: 2025-07-10T11:55:10Z
day: '20'
department:
- _id: DaAl
doi: 10.1109/TSP.2020.3010355
external_id:
  arxiv:
  - '1802.04907'
  isi:
  - '000562044500001'
intvolume: '        68'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1802.04907
month: '07'
oa: 1
oa_version: Preprint
page: 4268-4282
publication: IEEE Transactions on Signal Processing
publication_identifier:
  eissn:
  - 1941-0476
  issn:
  - 1053-587X
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Compressive sensing using iterative hard thresholding with low precision data
  representation: Theory and applications'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 68
year: '2020'
...
---
OA_place: publisher
OA_type: free access
_id: '8271'
acknowledgement: We thank Dr. Gai Huang for his comments and help. We apologize to
  authors whose work could not be cited due to space limitation. No conflict of interest
  declared.
article_processing_charge: No
article_type: original
author:
- first_name: Peng
  full_name: He, Peng
  last_name: He
- first_name: Yuzhou
  full_name: Zhang, Yuzhou
  id: 3B6137F2-F248-11E8-B48F-1D18A9856A87
  last_name: Zhang
  orcid: 0000-0003-2627-6956
- first_name: Guanghui
  full_name: Xiao, Guanghui
  last_name: Xiao
citation:
  ama: He P, Zhang Y, Xiao G. Origin of a subgenome and genome evolution of allotetraploid
    cotton species. <i>Molecular Plant</i>. 2020;13(9):1238-1240. doi:<a href="https://doi.org/10.1016/j.molp.2020.07.006">10.1016/j.molp.2020.07.006</a>
  apa: He, P., Zhang, Y., &#38; Xiao, G. (2020). Origin of a subgenome and genome
    evolution of allotetraploid cotton species. <i>Molecular Plant</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.molp.2020.07.006">https://doi.org/10.1016/j.molp.2020.07.006</a>
  chicago: He, Peng, Yuzhou Zhang, and Guanghui Xiao. “Origin of a Subgenome and Genome
    Evolution of Allotetraploid Cotton Species.” <i>Molecular Plant</i>. Elsevier,
    2020. <a href="https://doi.org/10.1016/j.molp.2020.07.006">https://doi.org/10.1016/j.molp.2020.07.006</a>.
  ieee: P. He, Y. Zhang, and G. Xiao, “Origin of a subgenome and genome evolution
    of allotetraploid cotton species,” <i>Molecular Plant</i>, vol. 13, no. 9. Elsevier,
    pp. 1238–1240, 2020.
  ista: He P, Zhang Y, Xiao G. 2020. Origin of a subgenome and genome evolution of
    allotetraploid cotton species. Molecular Plant. 13(9), 1238–1240.
  mla: He, Peng, et al. “Origin of a Subgenome and Genome Evolution of Allotetraploid
    Cotton Species.” <i>Molecular Plant</i>, vol. 13, no. 9, Elsevier, 2020, pp. 1238–40,
    doi:<a href="https://doi.org/10.1016/j.molp.2020.07.006">10.1016/j.molp.2020.07.006</a>.
  short: P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240.
date_created: 2020-08-16T22:00:57Z
date_published: 2020-09-07T00:00:00Z
date_updated: 2026-06-18T19:32:01Z
day: '07'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1016/j.molp.2020.07.006
external_id:
  isi:
  - '000566895400007'
  pmid:
  - '32688032'
intvolume: '        13'
isi: 1
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1016/j.molp.2020.07.006
month: '09'
oa: 1
oa_version: Published Version
page: 1238-1240
pmid: 1
publication: Molecular Plant
publication_identifier:
  eissn:
  - 1752-9867
  issn:
  - 1674-2052
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Origin of a subgenome and genome evolution of allotetraploid cotton species
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 13
year: '2020'
...
---
_id: '8272'
abstract:
- lang: eng
  text: We study turn-based stochastic zero-sum games with lexicographic preferences
    over reachability and safety objectives. Stochastic games are standard models
    in control, verification, and synthesis of stochastic reactive systems that exhibit
    both randomness as well as angelic and demonic non-determinism. Lexicographic
    order allows to consider multiple objectives with a strict preference order over
    the satisfaction of the objectives. To the best of our knowledge, stochastic games
    with lexicographic objectives have not been studied before. We establish determinacy
    of such games and present strategy and computational complexity results. For strategy
    complexity, we show that lexicographically optimal strategies exist that are deterministic
    and memory is only required to remember the already satisfied and violated objectives.
    For a constant number of objectives, we show that the relevant decision problem
    is in   NP∩coNP , matching the current known bound for single objectives; and
    in general the decision problem is   PSPACE -hard and can be solved in   NEXPTIME∩coNEXPTIME
    . We present an algorithm that computes the lexicographically optimal strategies
    via a reduction to computation of optimal strategies in a sequence of single-objectives
    games. We have implemented our algorithm and report experimental results on various
    case studies.
alternative_title:
- LNCS
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: Joost P
  full_name: Katoen, Joost P
  id: 4524F760-F248-11E8-B48F-1D18A9856A87
  last_name: Katoen
  orcid: 0000-0002-6143-1926
- first_name: Maximilian
  full_name: Weininger, Maximilian
  last_name: Weininger
- first_name: Tobias
  full_name: Winkler, Tobias
  last_name: Winkler
citation:
  ama: 'Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic
    reachability-safety objectives. In: <i>International Conference on Computer Aided
    Verification</i>. Vol 12225. Springer Nature; 2020:398-420. doi:<a href="https://doi.org/10.1007/978-3-030-53291-8_21">10.1007/978-3-030-53291-8_21</a>'
  apa: Chatterjee, K., Katoen, J. P., Weininger, M., &#38; Winkler, T. (2020). Stochastic
    games with lexicographic reachability-safety objectives. In <i>International Conference
    on Computer Aided Verification</i> (Vol. 12225, pp. 398–420). Springer Nature.
    <a href="https://doi.org/10.1007/978-3-030-53291-8_21">https://doi.org/10.1007/978-3-030-53291-8_21</a>
  chicago: Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias
    Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.”
    In <i>International Conference on Computer Aided Verification</i>, 12225:398–420.
    Springer Nature, 2020. <a href="https://doi.org/10.1007/978-3-030-53291-8_21">https://doi.org/10.1007/978-3-030-53291-8_21</a>.
  ieee: K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games
    with lexicographic reachability-safety objectives,” in <i>International Conference
    on Computer Aided Verification</i>, 2020, vol. 12225, pp. 398–420.
  ista: 'Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with
    lexicographic reachability-safety objectives. International Conference on Computer
    Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.'
  mla: Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety
    Objectives.” <i>International Conference on Computer Aided Verification</i>, vol.
    12225, Springer Nature, 2020, pp. 398–420, doi:<a href="https://doi.org/10.1007/978-3-030-53291-8_21">10.1007/978-3-030-53291-8_21</a>.
  short: K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International
    Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
conference:
  name: 'CAV: Computer Aided Verification'
date_created: 2020-08-16T22:00:58Z
date_published: 2020-07-14T00:00:00Z
date_updated: 2026-04-16T09:31:14Z
day: '14'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-030-53291-8_21
ec_funded: 1
external_id:
  arxiv:
  - '2005.04018'
  isi:
  - '000695272500021'
file:
- access_level: open_access
  checksum: 093d4788d7d5b2ce0ffe64fbe7820043
  content_type: application/pdf
  creator: dernst
  date_created: 2020-08-17T11:32:44Z
  date_updated: 2020-08-17T11:32:44Z
  file_id: '8276'
  file_name: 2020_LNCS_CAV_Chatterjee.pdf
  file_size: 625056
  relation: main_file
  success: 1
file_date_updated: 2020-08-17T11:32:44Z
has_accepted_license: '1'
intvolume: '     12225'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 398-420
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
publication: International Conference on Computer Aided Verification
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783030532901'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '12738'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: Stochastic games with lexicographic reachability-safety objectives
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 12225
year: '2020'
...
---
_id: '8284'
abstract:
- lang: eng
  text: Multiple resistance and pH adaptation (Mrp) antiporters are multi-subunit
    Na+ (or K+)/H+ exchangers representing an ancestor of many essential redox-driven
    proton pumps, such as respiratory complex I. The mechanism of coupling between
    ion or electron transfer and proton translocation in this large protein family
    is unknown. Here, we present the structure of the Mrp complex from Anoxybacillus
    flavithermus solved by cryo-EM at 3.0 Å resolution. It is a dimer of seven-subunit
    protomers with 50 trans-membrane helices each. Surface charge distribution within
    each monomer is remarkably asymmetric, revealing probable proton and sodium translocation
    pathways. On the basis of the structure we propose a mechanism where the coupling
    between sodium and proton translocation is facilitated by a series of electrostatic
    interactions between a cation and key charged residues. This mechanism is likely
    to be applicable to the entire family of redox proton pumps, where electron transfer
    to substrates replaces cation movements.
acknowledged_ssus:
- _id: EM-Fac
- _id: LifeSc
acknowledgement: This research was supported by the Scientific Service Units (SSU)
  of IST Austria through resources provided by the Electron Microscopy Facility (EMF),
  the Life Science Facility (LSF) and the IST high-performance computing cluster.
  We thank Dr Victor-Valentin Hodirnau and Daniel Johann Gütl from IST Austria for
  assistance with collecting cryo-EM data. We thank Prof. Masahiro Ito (Graduate School
  of Life Sciences, Toyo University, Japan) for a kind provision of plasmid DNA encoding
  Mrp from A. flavithermus WK1. JS is a recipient of a DOC Fellowship of the Austrian
  Academy of Sciences at the Institute of Science and Technology, Austria.
article_number: e59407
article_processing_charge: No
article_type: original
author:
- first_name: Julia
  full_name: Steiner, Julia
  id: 3BB67EB0-F248-11E8-B48F-1D18A9856A87
  last_name: Steiner
  orcid: 0000-0003-0493-3775
- first_name: Leonid A
  full_name: Sazanov, Leonid A
  id: 338D39FE-F248-11E8-B48F-1D18A9856A87
  last_name: Sazanov
  orcid: 0000-0002-0977-7989
citation:
  ama: Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient
    cation/proton antiporter. <i>eLife</i>. 2020;9. doi:<a href="https://doi.org/10.7554/eLife.59407">10.7554/eLife.59407</a>
  apa: Steiner, J., &#38; Sazanov, L. A. (2020). Structure and mechanism of the Mrp
    complex, an ancient cation/proton antiporter. <i>ELife</i>. eLife Sciences Publications.
    <a href="https://doi.org/10.7554/eLife.59407">https://doi.org/10.7554/eLife.59407</a>
  chicago: Steiner, Julia, and Leonid A Sazanov. “Structure and Mechanism of the Mrp
    Complex, an Ancient Cation/Proton Antiporter.” <i>ELife</i>. eLife Sciences Publications,
    2020. <a href="https://doi.org/10.7554/eLife.59407">https://doi.org/10.7554/eLife.59407</a>.
  ieee: J. Steiner and L. A. Sazanov, “Structure and mechanism of the Mrp complex,
    an ancient cation/proton antiporter,” <i>eLife</i>, vol. 9. eLife Sciences Publications,
    2020.
  ista: Steiner J, Sazanov LA. 2020. Structure and mechanism of the Mrp complex, an
    ancient cation/proton antiporter. eLife. 9, e59407.
  mla: Steiner, Julia, and Leonid A. Sazanov. “Structure and Mechanism of the Mrp
    Complex, an Ancient Cation/Proton Antiporter.” <i>ELife</i>, vol. 9, e59407, eLife
    Sciences Publications, 2020, doi:<a href="https://doi.org/10.7554/eLife.59407">10.7554/eLife.59407</a>.
  short: J. Steiner, L.A. Sazanov, ELife 9 (2020).
date_created: 2020-08-24T06:24:04Z
date_published: 2020-07-31T00:00:00Z
date_updated: 2026-04-08T07:23:36Z
day: '31'
ddc:
- '570'
department:
- _id: LeSa
doi: 10.7554/eLife.59407
external_id:
  isi:
  - '000562123600001'
  pmid:
  - '32735215'
file:
- access_level: open_access
  checksum: b3656d14d5ddbb9d26e3074eea2d0c15
  content_type: application/pdf
  creator: cziletti
  date_created: 2020-08-24T13:31:53Z
  date_updated: 2020-08-24T13:31:53Z
  file_id: '8289'
  file_name: 2020_eLife_Steiner.pdf
  file_size: 7320493
  relation: main_file
  success: 1
file_date_updated: 2020-08-24T13:31:53Z
has_accepted_license: '1'
intvolume: '         9'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 26169496-B435-11E9-9278-68D0E5697425
  grant_number: '24741'
  name: Revealing the functional mechanism of Mrp antiporter, an ancestor of complex
    I
publication: eLife
publication_identifier:
  eissn:
  - 2050-084X
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
related_material:
  link:
  - description: News on IST Homepage
    relation: press_release
    url: https://ist.ac.at/en/news/mystery-of-giant-proton-pump-solved/
  record:
  - id: '8353'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 9
year: '2020'
...
