---
_id: '8173'
abstract:
- lang: eng
  text: Understanding how the activity of membrane receptors and cellular signaling
    pathways shapes cell behavior is of fundamental interest in basic and applied
    research. Reengineering receptors to react to light instead of their cognate ligands
    allows for generating defined signaling inputs with high spatial and temporal
    precision and facilitates the dissection of complex signaling networks. Here,
    we describe fundamental considerations in the design of light-regulated receptor
    tyrosine kinases (Opto-RTKs) and appropriate control experiments. We also introduce
    methods for transient receptor expression in HEK293 cells, quantitative assessment
    of signaling activity in reporter gene assays, semiquantitative assessment of
    (in)activation time courses through Western blot (WB) analysis, and easy to implement
    light stimulation hardware.
alternative_title:
- Methods in Molecular Biology
article_processing_charge: No
author:
- first_name: Stephanie
  full_name: Kainrath, Stephanie
  id: 32CFBA64-F248-11E8-B48F-1D18A9856A87
  last_name: Kainrath
- first_name: Harald L
  full_name: Janovjak, Harald L
  id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
  last_name: Janovjak
  orcid: 0000-0002-8023-9315
citation:
  ama: 'Kainrath S, Janovjak HL. Design and application of light-regulated receptor
    tyrosine kinases. In: Niopek D, ed. <i>Photoswitching Proteins</i>. Vol 2173.
    MIMB. Springer Nature; 2020:233-246. doi:<a href="https://doi.org/10.1007/978-1-0716-0755-8_16">10.1007/978-1-0716-0755-8_16</a>'
  apa: Kainrath, S., &#38; Janovjak, H. L. (2020). Design and application of light-regulated
    receptor tyrosine kinases. In D. Niopek (Ed.), <i>Photoswitching Proteins</i>
    (Vol. 2173, pp. 233–246). Springer Nature. <a href="https://doi.org/10.1007/978-1-0716-0755-8_16">https://doi.org/10.1007/978-1-0716-0755-8_16</a>
  chicago: Kainrath, Stephanie, and Harald L Janovjak. “Design and Application of
    Light-Regulated Receptor Tyrosine Kinases.” In <i>Photoswitching Proteins</i>,
    edited by Dominik Niopek, 2173:233–46. MIMB. Springer Nature, 2020. <a href="https://doi.org/10.1007/978-1-0716-0755-8_16">https://doi.org/10.1007/978-1-0716-0755-8_16</a>.
  ieee: S. Kainrath and H. L. Janovjak, “Design and application of light-regulated
    receptor tyrosine kinases,” in <i>Photoswitching Proteins</i>, vol. 2173, D. Niopek,
    Ed. Springer Nature, 2020, pp. 233–246.
  ista: 'Kainrath S, Janovjak HL. 2020.Design and application of light-regulated receptor
    tyrosine kinases. In: Photoswitching Proteins. Methods in Molecular Biology, vol.
    2173, 233–246.'
  mla: Kainrath, Stephanie, and Harald L. Janovjak. “Design and Application of Light-Regulated
    Receptor Tyrosine Kinases.” <i>Photoswitching Proteins</i>, edited by Dominik
    Niopek, vol. 2173, Springer Nature, 2020, pp. 233–46, doi:<a href="https://doi.org/10.1007/978-1-0716-0755-8_16">10.1007/978-1-0716-0755-8_16</a>.
  short: S. Kainrath, H.L. Janovjak, in:, D. Niopek (Ed.), Photoswitching Proteins,
    Springer Nature, 2020, pp. 233–246.
date_created: 2020-07-26T22:01:03Z
date_published: 2020-07-11T00:00:00Z
date_updated: 2021-01-12T08:17:17Z
day: '11'
department:
- _id: CaGu
doi: 10.1007/978-1-0716-0755-8_16
editor:
- first_name: Dominik
  full_name: Niopek, Dominik
  last_name: Niopek
intvolume: '      2173'
language:
- iso: eng
month: '07'
oa_version: None
page: 233-246
publication: Photoswitching Proteins
publication_identifier:
  eisbn:
  - '9781071607558'
  eissn:
  - '19406029'
publication_status: published
publisher: Springer Nature
scopus_import: '1'
series_title: MIMB
status: public
title: Design and application of light-regulated receptor tyrosine kinases
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2173
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).
date_created: 2020-07-28T16:24:37Z
date_published: 2020-08-24T00:00:00Z
date_updated: 2021-01-11T15:29:08Z
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."
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. Curran Associates; 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: Curran Associates.'
  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. Curran Associates, 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 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, Curran Associates, 2020, pp. 3106–3117.
  short: P.M. Henderson, C. Lampert, in:, 34th Conference on Neural Information Processing
    Systems, Curran Associates, 2020, pp. 3106–3117.
conference:
  end_date: 2020-12-12
  location: Vancouver, Canada
  name: 'NeurIPS: Neural Information Processing Systems'
  start_date: 2020-12-06
date_created: 2020-07-31T16:59:19Z
date_published: 2020-07-07T00:00:00Z
date_updated: 2023-04-25T09:49:58Z
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: Curran Associates
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'
...
---
_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: 2023-08-22T08:24:05Z
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
month: '11'
oa_version: None
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 77
year: '2020'
...
---
_id: '8190'
article_number: e202007029
article_processing_charge: No
article_type: letter_note
author:
- first_name: Michael K
  full_name: Sixt, Michael K
  id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
  last_name: Sixt
  orcid: 0000-0002-6620-9179
- first_name: Anna
  full_name: Huttenlocher, Anna
  last_name: Huttenlocher
citation:
  ama: 'Sixt MK, Huttenlocher A. Zena Werb (1945-2020): Cell biology in context. <i>The
    Journal of Cell Biology</i>. 2020;219(8). doi:<a href="https://doi.org/10.1083/jcb.202007029">10.1083/jcb.202007029</a>'
  apa: 'Sixt, M. K., &#38; Huttenlocher, A. (2020). Zena Werb (1945-2020): Cell biology
    in context. <i>The Journal of Cell Biology</i>. Rockefeller University Press.
    <a href="https://doi.org/10.1083/jcb.202007029">https://doi.org/10.1083/jcb.202007029</a>'
  chicago: 'Sixt, Michael K, and Anna Huttenlocher. “Zena Werb (1945-2020): Cell Biology
    in Context.” <i>The Journal of Cell Biology</i>. Rockefeller University Press,
    2020. <a href="https://doi.org/10.1083/jcb.202007029">https://doi.org/10.1083/jcb.202007029</a>.'
  ieee: 'M. K. Sixt and A. Huttenlocher, “Zena Werb (1945-2020): Cell biology in context,”
    <i>The Journal of Cell Biology</i>, vol. 219, no. 8. Rockefeller University Press,
    2020.'
  ista: 'Sixt MK, Huttenlocher A. 2020. Zena Werb (1945-2020): Cell biology in context.
    The Journal of Cell Biology. 219(8), e202007029.'
  mla: 'Sixt, Michael K., and Anna Huttenlocher. “Zena Werb (1945-2020): Cell Biology
    in Context.” <i>The Journal of Cell Biology</i>, vol. 219, no. 8, e202007029,
    Rockefeller University Press, 2020, doi:<a href="https://doi.org/10.1083/jcb.202007029">10.1083/jcb.202007029</a>.'
  short: M.K. Sixt, A. Huttenlocher, The Journal of Cell Biology 219 (2020).
date_created: 2020-08-02T22:00:57Z
date_published: 2020-07-22T00:00:00Z
date_updated: 2023-10-17T10:04:49Z
day: '22'
ddc:
- '570'
department:
- _id: MiSi
doi: 10.1083/jcb.202007029
external_id:
  isi:
  - '000573631000004'
file:
- access_level: open_access
  checksum: 30016d778d266b8e17d01094917873b8
  content_type: application/pdf
  creator: dernst
  date_created: 2020-08-04T13:11:52Z
  date_updated: 2021-02-02T23:30:03Z
  embargo: 2021-02-01
  file_id: '8200'
  file_name: 2020_JCB_Sixt.pdf
  file_size: 830725
  relation: main_file
file_date_updated: 2021-02-02T23:30:03Z
has_accepted_license: '1'
intvolume: '       219'
isi: 1
issue: '8'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-sa/4.0/
month: '07'
oa: 1
oa_version: Published Version
publication: The Journal of Cell Biology
publication_identifier:
  eissn:
  - 1540-8140
publication_status: published
publisher: Rockefeller University Press
scopus_import: '1'
status: public
title: 'Zena Werb (1945-2020): Cell biology in context'
tmp:
  image: /images/cc_by_nc_sa.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
    BY-NC-SA 4.0)
  short: CC BY-NC-SA (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 219
year: '2020'
...
---
_id: '8191'
abstract:
- lang: eng
  text: "There has been a significant amount of research on hardware and software
    support for efficient concurrent data structures; yet, the question of how to
    build correct, simple, and scalable data structures has not yet been definitively
    settled. In this paper, we revisit this question from a minimalist perspective,
    and ask: what is the smallest amount of synchronization required for correct and
    efficient concurrent search data structures, and how could this minimal synchronization
    support be provided in hardware?\r\n\r\nTo address these questions, we introduce
    memory tagging, a simple hardware mechanism which enables the programmer to \"tag\"
    a dynamic set of memory locations, at cache-line granularity, and later validate
    whether the memory has been concurrently modified, with the possibility of updating
    one of the underlying locations atomically if validation succeeds. We provide
    several examples showing that this mechanism can enable fast and arguably simple
    concurrent data structure designs, such as lists, binary search trees, balanced
    search trees, range queries, and Software Transactional Memory (STM) implementations.
    We provide an implementation of memory tags in the Graphite multi-core simulator,
    showing that the mechanism can be implemented entirely at the level of L1 cache,
    and that it can enable non-trivial speedups versus existing implementations of
    the above data structures."
article_processing_charge: No
author:
- 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: Trevor A
  full_name: Brown, Trevor A
  id: 3569F0A0-F248-11E8-B48F-1D18A9856A87
  last_name: Brown
- first_name: Nandini
  full_name: Singhal, Nandini
  last_name: Singhal
citation:
  ama: 'Alistarh D-A, Brown TA, Singhal N. Memory tagging: Minimalist synchronization
    for scalable concurrent data structures. In: <i>Annual ACM Symposium on Parallelism
    in Algorithms and Architectures</i>. Association for Computing Machinery; 2020:37-49.
    doi:<a href="https://doi.org/10.1145/3350755.3400213">10.1145/3350755.3400213</a>'
  apa: 'Alistarh, D.-A., Brown, T. A., &#38; Singhal, N. (2020). Memory tagging: Minimalist
    synchronization for scalable concurrent data structures. In <i>Annual ACM Symposium
    on Parallelism in Algorithms and Architectures</i> (pp. 37–49). Virtual Event,
    United States: Association for Computing Machinery. <a href="https://doi.org/10.1145/3350755.3400213">https://doi.org/10.1145/3350755.3400213</a>'
  chicago: 'Alistarh, Dan-Adrian, Trevor A Brown, and Nandini Singhal. “Memory Tagging:
    Minimalist Synchronization for Scalable Concurrent Data Structures.” In <i>Annual
    ACM Symposium on Parallelism in Algorithms and Architectures</i>, 37–49. Association
    for Computing Machinery, 2020. <a href="https://doi.org/10.1145/3350755.3400213">https://doi.org/10.1145/3350755.3400213</a>.'
  ieee: 'D.-A. Alistarh, T. A. Brown, and N. Singhal, “Memory tagging: Minimalist
    synchronization for scalable concurrent data structures,” in <i>Annual ACM Symposium
    on Parallelism in Algorithms and Architectures</i>, Virtual Event, United States,
    2020, no. 7, pp. 37–49.'
  ista: 'Alistarh D-A, Brown TA, Singhal N. 2020. Memory tagging: Minimalist synchronization
    for scalable concurrent data structures. Annual ACM Symposium on Parallelism in
    Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and
    Architectures, 37–49.'
  mla: 'Alistarh, Dan-Adrian, et al. “Memory Tagging: Minimalist Synchronization for
    Scalable Concurrent Data Structures.” <i>Annual ACM Symposium on Parallelism in
    Algorithms and Architectures</i>, no. 7, Association for Computing Machinery,
    2020, pp. 37–49, doi:<a href="https://doi.org/10.1145/3350755.3400213">10.1145/3350755.3400213</a>.'
  short: D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism
    in Algorithms and Architectures, Association for Computing Machinery, 2020, pp.
    37–49.
conference:
  end_date: 2020-07-17
  location: Virtual Event, United States
  name: 'SPAA: Symposium on Parallelism in Algorithms and Architectures'
  start_date: 2020-07-15
date_created: 2020-08-02T22:00:58Z
date_published: 2020-07-06T00:00:00Z
date_updated: 2024-02-28T12:56:32Z
day: '06'
department:
- _id: DaAl
doi: 10.1145/3350755.3400213
external_id:
  isi:
  - '000744436200004'
isi: 1
issue: '7'
language:
- iso: eng
month: '07'
oa_version: None
page: 37-49
publication: Annual ACM Symposium on Parallelism in Algorithms and Architectures
publication_identifier:
  isbn:
  - '9781450369350'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Memory tagging: Minimalist synchronization for scalable concurrent data structures'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8193'
abstract:
- lang: eng
  text: 'Multiple-environment Markov decision processes (MEMDPs) are MDPs equipped
    with not one, but multiple probabilistic transition functions, which represent
    the various possible unknown environments. While the previous research on MEMDPs
    focused on theoretical properties for long-run average payoff, we study them with
    discounted-sum payoff and focus on their practical advantages and applications.
    MEMDPs can be viewed as a special case of Partially observable and Mixed observability
    MDPs: the state of the system is perfectly observable, but not the environment.
    We show that the specific structure of MEMDPs allows for more efficient algorithmic
    analysis, in particular for faster belief updates. We demonstrate the applicability
    of MEMDPs in several domains. In particular, we formalize the sequential decision-making
    approach to contextual recommendation systems as MEMDPs and substantially improve
    over the previous MDP approach.'
acknowledgement: Krishnendu Chatterjee is supported by the Austrian ScienceFund (FWF)
  NFN Grant No. S11407-N23 (RiSE/SHiNE),and COST Action GAMENET. Petr Novotn ́y is
  supported bythe Czech Science Foundation grant No. GJ19-15134Y.
article_processing_charge: No
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Martin
  full_name: Chmelik, Martin
  id: 3624234E-F248-11E8-B48F-1D18A9856A87
  last_name: Chmelik
- first_name: Deep
  full_name: Karkhanis, Deep
  last_name: Karkhanis
- first_name: Petr
  full_name: Novotný, Petr
  id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
  last_name: Novotný
- first_name: Amélie
  full_name: Royer, Amélie
  id: 3811D890-F248-11E8-B48F-1D18A9856A87
  last_name: Royer
  orcid: 0000-0002-8407-0705
citation:
  ama: 'Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. Multiple-environment
    Markov decision processes: Efficient analysis and applications. In: <i>Proceedings
    of the 30th International Conference on Automated Planning and Scheduling</i>.
    Vol 30. Association for the Advancement of Artificial Intelligence; 2020:48-56.'
  apa: 'Chatterjee, K., Chmelik, M., Karkhanis, D., Novotný, P., &#38; Royer, A. (2020).
    Multiple-environment Markov decision processes: Efficient analysis and applications.
    In <i>Proceedings of the 30th International Conference on Automated Planning and
    Scheduling</i> (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement
    of Artificial Intelligence.'
  chicago: 'Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný,
    and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis
    and Applications.” In <i>Proceedings of the 30th International Conference on Automated
    Planning and Scheduling</i>, 30:48–56. Association for the Advancement of Artificial
    Intelligence, 2020.'
  ieee: 'K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, and A. Royer, “Multiple-environment
    Markov decision processes: Efficient analysis and applications,” in <i>Proceedings
    of the 30th International Conference on Automated Planning and Scheduling</i>,
    Nancy, France, 2020, vol. 30, pp. 48–56.'
  ista: 'Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment
    Markov decision processes: Efficient analysis and applications. Proceedings of
    the 30th International Conference on Automated Planning and Scheduling. ICAPS:
    International Conference on Automated Planning and Scheduling vol. 30, 48–56.'
  mla: 'Chatterjee, Krishnendu, et al. “Multiple-Environment Markov Decision Processes:
    Efficient Analysis and Applications.” <i>Proceedings of the 30th International
    Conference on Automated Planning and Scheduling</i>, vol. 30, Association for
    the Advancement of Artificial Intelligence, 2020, pp. 48–56.'
  short: K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings
    of the 30th International Conference on Automated Planning and Scheduling, Association
    for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
conference:
  end_date: 2020-10-30
  location: Nancy, France
  name: 'ICAPS: International Conference on Automated Planning and Scheduling'
  start_date: 2020-10-26
date_created: 2020-08-02T22:00:58Z
date_published: 2020-06-01T00:00:00Z
date_updated: 2023-09-07T13:16:18Z
day: '01'
department:
- _id: KrCh
intvolume: '        30'
language:
- iso: eng
month: '06'
oa_version: None
page: 48-56
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
publication: Proceedings of the 30th International Conference on Automated Planning
  and Scheduling
publication_identifier:
  eissn:
  - '23340843'
  issn:
  - '23340835'
publication_status: published
publisher: Association for the Advancement of Artificial Intelligence
quality_controlled: '1'
related_material:
  record:
  - id: '8390'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: 'Multiple-environment Markov decision processes: Efficient analysis and applications'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 30
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: 2023-08-22T08:27:25Z
day: '24'
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: The Wittgenstein Prize
publication: Automated Reasoning
publication_identifier:
  eissn:
  - '16113349'
  isbn:
  - '9783030510732'
  issn:
  - '03029743'
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
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.
date_created: 2020-08-03T11:45:35Z
date_published: 2020-07-14T00:00:00Z
date_updated: 2023-09-07T13:18:00Z
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
license: https://creativecommons.org/licenses/by/4.0/
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: The Wittgenstein Prize
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).
date_created: 2020-08-04T13:04:15Z
date_published: 2020-07-29T00:00:00Z
date_updated: 2023-08-22T08:28:24Z
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.
date_created: 2020-08-06T09:25:04Z
date_published: 2020-06-01T00:00:00Z
date_updated: 2024-02-21T12:44:01Z
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
- 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.
date_created: 2020-08-09T22:00:52Z
date_published: 2020-07-21T00:00:00Z
date_updated: 2023-08-22T08:29:30Z
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:
  - '10916490'
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 117
year: '2020'
...
---
_id: '8250'
abstract:
- lang: eng
  text: 'Antibiotics that interfere with translation, when combined, interact in diverse
    and difficult-to-predict ways. Here, we explain these interactions by “translation
    bottlenecks”: points in the translation cycle where antibiotics block ribosomal
    progression. To elucidate the underlying mechanisms of drug interactions between
    translation inhibitors, we generate translation bottlenecks genetically using
    inducible control of translation factors that regulate well-defined translation
    cycle steps. These perturbations accurately mimic antibiotic action and drug interactions,
    supporting that the interplay of different translation bottlenecks causes these
    interactions. We further show that growth laws, combined with drug uptake and
    binding kinetics, enable the direct prediction of a large fraction of observed
    interactions, yet fail to predict suppression. However, varying two translation
    bottlenecks simultaneously supports that dense traffic of ribosomes and competition
    for translation factors account for the previously unexplained suppression. These
    results highlight the importance of “continuous epistasis” in bacterial physiology.'
acknowledgement: "We thank M. Hennessey-Wesen, I. Tomanek, K. Jain, A. Staron, K.
  Tomasek, M. Scott,\r\nK.C. Huang, and Z. Gitai for reading the manuscript and constructive
  comments. B.K. is\r\nindebted to C. Guet for additional guidance and generous support,
  which rendered this\r\nwork possible. B.K. thanks all members of Guet group for
  many helpful discussions and\r\nsharing of resources. B.K. additionally acknowledges
  the tremendous support from A.\r\nAngermayr and K. Mitosch with experimental work.
  We further thank E. Brown for\r\nhelpful comments regarding lamotrigine, and A.
  Buskirk for valuable suggestions\r\nregarding the ribosome footprint size. This
  work was supported in part by Austrian\r\nScience Fund (FWF) standalone grants P
  27201-B22 (to T.B.) and P 28844 (to G.T.),\r\nHFSP program Grant RGP0042/2013 (to
  T.B.), German Research Foundation (DFG)\r\nstandalone grant BO 3502/2-1 (to T.B.),
  and German Research Foundation (DFG)\r\nCollaborative Research Centre (SFB) 1310
  (to T.B.). Open access funding provided by\r\nProjekt DEAL."
article_number: '4013'
article_processing_charge: No
article_type: original
author:
- first_name: Bor
  full_name: Kavcic, Bor
  id: 350F91D2-F248-11E8-B48F-1D18A9856A87
  last_name: Kavcic
  orcid: 0000-0001-6041-254X
- first_name: Gašper
  full_name: Tkačik, Gašper
  id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
  last_name: Tkačik
  orcid: 0000-0002-6699-1455
- first_name: Tobias
  full_name: Bollenbach, Tobias
  id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
  last_name: Bollenbach
  orcid: 0000-0003-4398-476X
citation:
  ama: Kavcic B, Tkačik G, Bollenbach MT. Mechanisms of drug interactions between
    translation-inhibiting antibiotics. <i>Nature Communications</i>. 2020;11. doi:<a
    href="https://doi.org/10.1038/s41467-020-17734-z">10.1038/s41467-020-17734-z</a>
  apa: Kavcic, B., Tkačik, G., &#38; Bollenbach, M. T. (2020). Mechanisms of drug
    interactions between translation-inhibiting antibiotics. <i>Nature Communications</i>.
    Springer Nature. <a href="https://doi.org/10.1038/s41467-020-17734-z">https://doi.org/10.1038/s41467-020-17734-z</a>
  chicago: Kavcic, Bor, Gašper Tkačik, and Mark Tobias Bollenbach. “Mechanisms of
    Drug Interactions between Translation-Inhibiting Antibiotics.” <i>Nature Communications</i>.
    Springer Nature, 2020. <a href="https://doi.org/10.1038/s41467-020-17734-z">https://doi.org/10.1038/s41467-020-17734-z</a>.
  ieee: B. Kavcic, G. Tkačik, and M. T. Bollenbach, “Mechanisms of drug interactions
    between translation-inhibiting antibiotics,” <i>Nature Communications</i>, vol.
    11. Springer Nature, 2020.
  ista: Kavcic B, Tkačik G, Bollenbach MT. 2020. Mechanisms of drug interactions between
    translation-inhibiting antibiotics. Nature Communications. 11, 4013.
  mla: Kavcic, Bor, et al. “Mechanisms of Drug Interactions between Translation-Inhibiting
    Antibiotics.” <i>Nature Communications</i>, vol. 11, 4013, Springer Nature, 2020,
    doi:<a href="https://doi.org/10.1038/s41467-020-17734-z">10.1038/s41467-020-17734-z</a>.
  short: B. Kavcic, G. Tkačik, M.T. Bollenbach, Nature Communications 11 (2020).
date_created: 2020-08-12T09:13:50Z
date_published: 2020-08-11T00:00:00Z
date_updated: 2024-03-25T23:30:05Z
day: '11'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1038/s41467-020-17734-z
external_id:
  isi:
  - '000562769300008'
file:
- access_level: open_access
  checksum: 986bebb308850a55850028d3d2b5b664
  content_type: application/pdf
  creator: dernst
  date_created: 2020-08-17T07:36:57Z
  date_updated: 2020-08-17T07:36:57Z
  file_id: '8275'
  file_name: 2020_NatureComm_Kavcic.pdf
  file_size: 1965672
  relation: main_file
  success: 1
file_date_updated: 2020-08-17T07:36:57Z
has_accepted_license: '1'
intvolume: '        11'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 25E9AF9E-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P27201-B22
  name: Revealing the mechanisms underlying drug interactions
- _id: 254E9036-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P28844-B27
  name: Biophysics of information processing in gene regulation
publication: Nature Communications
publication_identifier:
  issn:
  - 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '8657'
    relation: dissertation_contains
    status: public
status: public
title: Mechanisms of drug interactions between translation-inhibiting antibiotics
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11
year: '2020'
...
---
_id: '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
date_created: 2020-08-12T12:49:23Z
date_published: 2020-08-18T00:00:00Z
date_updated: 2024-02-21T12:41:09Z
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: '11321'
    relation: later_version
    status: public
  - id: '9192'
    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.
date_created: 2020-08-14T09:36:05Z
date_published: 2020-09-23T00:00:00Z
date_updated: 2023-08-22T08:30:55Z
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
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
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 glumatergic synapse
- _id: 25C5A090-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z00312
  name: The Wittgenstein Prize
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/
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: 2023-08-22T08:40:08Z
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:
  - '19410476'
  issn:
  - 1053587X
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 68
year: '2020'
...
---
_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: 2023-08-22T08:40:35Z
day: '07'
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
month: '09'
oa_version: None
page: 1238-1240
pmid: 1
publication: Molecular Plant
publication_identifier:
  eissn:
  - '17529867'
  issn:
  - '16742052'
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
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
- 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: 2025-07-14T09:10: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:
  - '16113349'
  isbn:
  - '9783030532901'
  issn:
  - '03029743'
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 12225
year: '2020'
...
---
_id: '8283'
abstract:
- lang: eng
  text: 'Drought and salt stress are the main environmental cues affecting the survival,
    development, distribution, and yield of crops worldwide. MYB transcription factors
    play a crucial role in plants’ biological processes, but the function of pineapple
    MYB genes is still obscure. In this study, one of the pineapple MYB transcription
    factors, AcoMYB4, was isolated and characterized. The results showed that AcoMYB4
    is localized in the cell nucleus, and its expression is induced by low temperature,
    drought, salt stress, and hormonal stimulation, especially by abscisic acid (ABA).
    Overexpression of AcoMYB4 in rice and Arabidopsis enhanced plant sensitivity to
    osmotic stress; it led to an increase in the number stomata on leaf surfaces and
    lower germination rate under salt and drought stress. Furthermore, in AcoMYB4
    OE lines, the membrane oxidation index, free proline, and soluble sugar contents
    were decreased. In contrast, electrolyte leakage and malondialdehyde (MDA) content
    increased significantly due to membrane injury, indicating higher sensitivity
    to drought and salinity stresses. Besides the above, both the expression level
    and activities of several antioxidant enzymes were decreased, indicating lower
    antioxidant activity in AcoMYB4 transgenic plants. Moreover, under osmotic stress,
    overexpression of AcoMYB4 inhibited ABA biosynthesis through a decrease in the
    transcription of genes responsible for ABA synthesis (ABA1 and ABA2) and ABA signal
    transduction factor ABI5. These results suggest that AcoMYB4 negatively regulates
    osmotic stress by attenuating cellular ABA biosynthesis and signal transduction
    pathways. '
acknowledgement: 'We would like to thank the reviewers for their helpful comments
  on the original manuscript. '
article_number: '5272'
article_processing_charge: No
article_type: original
author:
- first_name: Huihuang
  full_name: Chen, Huihuang
  last_name: Chen
- first_name: Linyi
  full_name: Lai, Linyi
  last_name: Lai
- first_name: Lanxin
  full_name: Li, Lanxin
  id: 367EF8FA-F248-11E8-B48F-1D18A9856A87
  last_name: Li
  orcid: 0000-0002-5607-272X
- first_name: Liping
  full_name: Liu, Liping
  last_name: Liu
- first_name: Bello Hassan
  full_name: Jakada, Bello Hassan
  last_name: Jakada
- first_name: Youmei
  full_name: Huang, Youmei
  last_name: Huang
- first_name: Qing
  full_name: He, Qing
  last_name: He
- first_name: Mengnan
  full_name: Chai, Mengnan
  last_name: Chai
- first_name: Xiaoping
  full_name: Niu, Xiaoping
  last_name: Niu
- first_name: Yuan
  full_name: Qin, Yuan
  last_name: Qin
citation:
  ama: Chen H, Lai L, Li L, et al. AcoMYB4, an Ananas comosus L. MYB transcription
    factor, functions in osmotic stress through negative regulation of ABA signaling.
    <i>International Journal of Molecular Sciences</i>. 2020;21(16). doi:<a href="https://doi.org/10.3390/ijms21165727">10.3390/ijms21165727</a>
  apa: Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y., … Qin, Y. (2020).
    AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress
    through negative regulation of ABA signaling. <i>International Journal of Molecular
    Sciences</i>. MDPI. <a href="https://doi.org/10.3390/ijms21165727">https://doi.org/10.3390/ijms21165727</a>
  chicago: Chen, Huihuang, Linyi Lai, Lanxin Li, Liping Liu, Bello Hassan Jakada,
    Youmei Huang, Qing He, Mengnan Chai, Xiaoping Niu, and Yuan Qin. “AcoMYB4, an
    Ananas Comosus L. MYB Transcription Factor, Functions in Osmotic Stress through
    Negative Regulation of ABA Signaling.” <i>International Journal of Molecular Sciences</i>.
    MDPI, 2020. <a href="https://doi.org/10.3390/ijms21165727">https://doi.org/10.3390/ijms21165727</a>.
  ieee: H. Chen <i>et al.</i>, “AcoMYB4, an Ananas comosus L. MYB transcription factor,
    functions in osmotic stress through negative regulation of ABA signaling,” <i>International
    Journal of Molecular Sciences</i>, vol. 21, no. 16. MDPI, 2020.
  ista: Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, Qin Y.
    2020. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic
    stress through negative regulation of ABA signaling. International Journal of
    Molecular Sciences. 21(16), 5272.
  mla: Chen, Huihuang, et al. “AcoMYB4, an Ananas Comosus L. MYB Transcription Factor,
    Functions in Osmotic Stress through Negative Regulation of ABA Signaling.” <i>International
    Journal of Molecular Sciences</i>, vol. 21, no. 16, 5272, MDPI, 2020, doi:<a href="https://doi.org/10.3390/ijms21165727">10.3390/ijms21165727</a>.
  short: H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X.
    Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
date_created: 2020-08-24T06:24:03Z
date_published: 2020-08-10T00:00:00Z
date_updated: 2024-10-29T10:22:43Z
day: '10'
ddc:
- '570'
department:
- _id: JiFr
doi: 10.3390/ijms21165727
external_id:
  isi:
  - '000565090300001'
  pmid:
  - '32785037'
file:
- access_level: open_access
  checksum: 03b039244e6ae80580385fd9f577e2b2
  content_type: application/pdf
  creator: cziletti
  date_created: 2020-08-25T09:53:50Z
  date_updated: 2020-08-25T09:53:50Z
  file_id: '8292'
  file_name: 2020_IntMolecSciences_Chen.pdf
  file_size: 5718755
  relation: main_file
  success: 1
file_date_updated: 2020-08-25T09:53:50Z
has_accepted_license: '1'
intvolume: '        21'
isi: 1
issue: '16'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: International Journal of Molecular Sciences
publication_identifier:
  eissn:
  - '14220067'
  issn:
  - '16616596'
publication_status: published
publisher: MDPI
quality_controlled: '1'
related_material:
  record:
  - id: '10083'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic
  stress through negative regulation of ABA signaling
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: 21
year: '2020'
...
