---
_id: '10672'
abstract:
- lang: eng
  text: The family of feedback alignment (FA) algorithms aims to provide a more biologically
    motivated alternative to backpropagation (BP), by substituting the computations
    that are unrealistic to be implemented in physical brains. While FA algorithms
    have been shown to work well in practice, there is a lack of rigorous theory proofing
    their learning capabilities. Here we introduce the first feedback alignment algorithm
    with provable learning guarantees. In contrast to existing work, we do not require
    any assumption about the size or depth of the network except that it has a single
    output neuron, i.e., such as for binary classification tasks. We show that our
    FA algorithm can deliver its theoretical promises in practice, surpassing the
    learning performance of existing FA methods and matching backpropagation in binary
    classification tasks. Finally, we demonstrate the limits of our FA variant when
    the number of output neurons grows beyond a certain quantity.
acknowledgement: "This research was supported in part by the Austrian Science Fund
  (FWF) under grant Z211-N23\r\n(Wittgenstein Award).\r\n"
article_processing_charge: No
author:
- first_name: Mathias
  full_name: Lechner, Mathias
  id: 3DC22916-F248-11E8-B48F-1D18A9856A87
  last_name: Lechner
citation:
  ama: 'Lechner M. Learning representations for binary-classification without backpropagation.
    In: <i>8th International Conference on Learning Representations</i>. ICLR; 2020.'
  apa: 'Lechner, M. (2020). Learning representations for binary-classification without
    backpropagation. In <i>8th International Conference on Learning Representations</i>.
    Virtual ; Addis Ababa, Ethiopia: ICLR.'
  chicago: Lechner, Mathias. “Learning Representations for Binary-Classification without
    Backpropagation.” In <i>8th International Conference on Learning Representations</i>.
    ICLR, 2020.
  ieee: M. Lechner, “Learning representations for binary-classification without backpropagation,”
    in <i>8th International Conference on Learning Representations</i>, Virtual ;
    Addis Ababa, Ethiopia, 2020.
  ista: 'Lechner M. 2020. Learning representations for binary-classification without
    backpropagation. 8th International Conference on Learning Representations. ICLR:
    International Conference on Learning Representations.'
  mla: Lechner, Mathias. “Learning Representations for Binary-Classification without
    Backpropagation.” <i>8th International Conference on Learning Representations</i>,
    ICLR, 2020.
  short: M. Lechner, in:, 8th International Conference on Learning Representations,
    ICLR, 2020.
conference:
  end_date: 2020-05-01
  location: Virtual ; Addis Ababa, Ethiopia
  name: 'ICLR: International Conference on Learning Representations'
  start_date: 2020-04-26
date_created: 2022-01-25T15:50:00Z
date_published: 2020-03-11T00:00:00Z
date_updated: 2023-04-03T07:33:40Z
day: '11'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
file:
- access_level: open_access
  checksum: ea13d42dd4541ddb239b6a75821fd6c9
  content_type: application/pdf
  creator: mlechner
  date_created: 2022-01-26T07:35:17Z
  date_updated: 2022-01-26T07:35:17Z
  file_id: '10677'
  file_name: iclr_2020.pdf
  file_size: 249431
  relation: main_file
  success: 1
file_date_updated: 2022-01-26T07:35:17Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/3.0/
main_file_link:
- open_access: '1'
  url: https://openreview.net/forum?id=Bke61krFvS
month: '03'
oa: 1
oa_version: Published Version
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: 8th International Conference on Learning Representations
publication_status: published
publisher: ICLR
quality_controlled: '1'
scopus_import: '1'
status: public
title: Learning representations for binary-classification without backpropagation
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND
    3.0)
  short: CC BY-NC-ND (3.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '10673'
abstract:
- lang: eng
  text: We propose a neural information processing system obtained by re-purposing
    the function of a biological neural circuit model to govern simulated and real-world
    control tasks. Inspired by the structure of the nervous system of the soil-worm,
    C. elegans, we introduce ordinary neural circuits (ONCs), defined as the model
    of biological neural circuits reparameterized for the control of alternative tasks.
    We first demonstrate that ONCs realize networks with higher maximum flow compared
    to arbitrary wired networks. We then learn instances of ONCs to control a series
    of robotic tasks, including the autonomous parking of a real-world rover robot.
    For reconfiguration of the purpose of the neural circuit, we adopt a search-based
    optimization algorithm. Ordinary neural circuits perform on par and, in some cases,
    significantly surpass the performance of contemporary deep learning models. ONC
    networks are compact, 77% sparser than their counterpart neural controllers, and
    their neural dynamics are fully interpretable at the cell-level.
acknowledgement: "RH and RG are partially supported by Horizon-2020 ECSEL Project
  grant No. 783163 (iDev40), Productive 4.0, and ATBMBFW CPS-IoT Ecosystem. ML was
  supported in part by the Austrian Science Fund (FWF) under grant Z211-N23\r\n(Wittgenstein
  Award). AA is supported by the National Science Foundation (NSF) Graduate Research
  Fellowship\r\nProgram. RH and DR are partially supported by The Boeing Company and
  JP Morgan Chase. This research work is\r\npartially drawn from the PhD dissertation
  of RH.\r\n"
alternative_title:
- PMLR
article_processing_charge: No
author:
- first_name: Ramin
  full_name: Hasani, Ramin
  last_name: Hasani
- first_name: Mathias
  full_name: Lechner, Mathias
  id: 3DC22916-F248-11E8-B48F-1D18A9856A87
  last_name: Lechner
- first_name: Alexander
  full_name: Amini, Alexander
  last_name: Amini
- first_name: Daniela
  full_name: Rus, Daniela
  last_name: Rus
- first_name: Radu
  full_name: Grosu, Radu
  last_name: Grosu
citation:
  ama: 'Hasani R, Lechner M, Amini A, Rus D, Grosu R. A natural lottery ticket winner:
    Reinforcement learning with ordinary neural circuits. In: <i>Proceedings of the
    37th International Conference on Machine Learning</i>. PMLR. ; 2020:4082-4093.'
  apa: 'Hasani, R., Lechner, M., Amini, A., Rus, D., &#38; Grosu, R. (2020). A natural
    lottery ticket winner: Reinforcement learning with ordinary neural circuits. In
    <i>Proceedings of the 37th International Conference on Machine Learning</i> (pp.
    4082–4093). Virtual.'
  chicago: 'Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu
    Grosu. “A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary
    Neural Circuits.” In <i>Proceedings of the 37th International Conference on Machine
    Learning</i>, 4082–93. PMLR, 2020.'
  ieee: 'R. Hasani, M. Lechner, A. Amini, D. Rus, and R. Grosu, “A natural lottery
    ticket winner: Reinforcement learning with ordinary neural circuits,” in <i>Proceedings
    of the 37th International Conference on Machine Learning</i>, Virtual, 2020, pp.
    4082–4093.'
  ista: 'Hasani R, Lechner M, Amini A, Rus D, Grosu R. 2020. A natural lottery ticket
    winner: Reinforcement learning with ordinary neural circuits. Proceedings of the
    37th International Conference on Machine Learning. ML: Machine LearningPMLR, PMLR,
    , 4082–4093.'
  mla: 'Hasani, Ramin, et al. “A Natural Lottery Ticket Winner: Reinforcement Learning
    with Ordinary Neural Circuits.” <i>Proceedings of the 37th International Conference
    on Machine Learning</i>, 2020, pp. 4082–93.'
  short: R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the
    37th International Conference on Machine Learning, 2020, pp. 4082–4093.
conference:
  end_date: 2020-07-18
  location: Virtual
  name: 'ML: Machine Learning'
  start_date: 2020-07-12
date_created: 2022-01-25T15:50:34Z
date_published: 2020-01-01T00:00:00Z
date_updated: 2022-01-26T11:14:27Z
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
file:
- access_level: open_access
  checksum: c9a4a29161777fc1a89ef451c040e3b1
  content_type: application/pdf
  creator: cchlebak
  date_created: 2022-01-26T11:08:51Z
  date_updated: 2022-01-26T11:08:51Z
  file_id: '10691'
  file_name: 2020_PMLR_Hasani.pdf
  file_size: 2329798
  relation: main_file
  success: 1
file_date_updated: 2022-01-26T11:08:51Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://proceedings.mlr.press/v119/hasani20a.html
oa: 1
oa_version: Published Version
page: 4082-4093
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: Proceedings of the 37th International Conference on Machine Learning
publication_identifier:
  issn:
  - 2640-3498
publication_status: published
quality_controlled: '1'
scopus_import: '1'
series_title: PMLR
status: public
title: 'A natural lottery ticket winner: Reinforcement learning with ordinary neural
  circuits'
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND
    3.0)
  short: CC BY-NC-ND (3.0)
type: conference
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2020'
...
---
_id: '10861'
abstract:
- lang: eng
  text: We introduce in this paper AMT2.0, a tool for qualitative and quantitative
    analysis of hybrid continuous and Boolean signals that combine numerical values
    and discrete events. The evaluation of the signals is based on rich temporal specifications
    expressed in extended signal temporal logic, which integrates timed regular expressions
    within signal temporal logic. The tool features qualitative monitoring (property
    satisfaction checking), trace diagnostics for explaining and justifying property
    violations and specification-driven measurement of quantitative features of the
    signal. We demonstrate the tool functionality on several running examples and
    case studies, and evaluate its performance.
article_processing_charge: No
article_type: original
author:
- first_name: Dejan
  full_name: Nickovic, Dejan
  id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
  last_name: Nickovic
- first_name: Olivier
  full_name: Lebeltel, Olivier
  last_name: Lebeltel
- first_name: Oded
  full_name: Maler, Oded
  last_name: Maler
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
- first_name: Dogan
  full_name: Ulus, Dogan
  last_name: Ulus
citation:
  ama: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and
    quantitative trace analysis with extended signal temporal logic. <i>International
    Journal on Software Tools for Technology Transfer</i>. 2020;22(6):741-758. doi:<a
    href="https://doi.org/10.1007/s10009-020-00582-z">10.1007/s10009-020-00582-z</a>'
  apa: 'Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., &#38; Ulus, D. (2020).
    AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal
    logic. <i>International Journal on Software Tools for Technology Transfer</i>.
    Springer Nature. <a href="https://doi.org/10.1007/s10009-020-00582-z">https://doi.org/10.1007/s10009-020-00582-z</a>'
  chicago: 'Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan
    Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal
    Temporal Logic.” <i>International Journal on Software Tools for Technology Transfer</i>.
    Springer Nature, 2020. <a href="https://doi.org/10.1007/s10009-020-00582-z">https://doi.org/10.1007/s10009-020-00582-z</a>.'
  ieee: 'D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative
    and quantitative trace analysis with extended signal temporal logic,” <i>International
    Journal on Software Tools for Technology Transfer</i>, vol. 22, no. 6. Springer
    Nature, pp. 741–758, 2020.'
  ista: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2020. AMT 2.0: Qualitative
    and quantitative trace analysis with extended signal temporal logic. International
    Journal on Software Tools for Technology Transfer. 22(6), 741–758.'
  mla: 'Nickovic, Dejan, et al. “AMT 2.0: Qualitative and Quantitative Trace Analysis
    with Extended Signal Temporal Logic.” <i>International Journal on Software Tools
    for Technology Transfer</i>, vol. 22, no. 6, Springer Nature, 2020, pp. 741–58,
    doi:<a href="https://doi.org/10.1007/s10009-020-00582-z">10.1007/s10009-020-00582-z</a>.'
  short: D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal
    on Software Tools for Technology Transfer 22 (2020) 741–758.
date_created: 2022-03-18T10:10:53Z
date_published: 2020-08-03T00:00:00Z
date_updated: 2023-09-08T11:52:02Z
day: '03'
department:
- _id: ToHe
doi: 10.1007/s10009-020-00582-z
external_id:
  isi:
  - '000555398600001'
intvolume: '        22'
isi: 1
issue: '6'
keyword:
- Information Systems
- Software
language:
- iso: eng
month: '08'
oa_version: None
page: 741-758
publication: International Journal on Software Tools for Technology Transfer
publication_identifier:
  eissn:
  - 1433-2787
  issn:
  - 1433-2779
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '299'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: 'AMT 2.0: Qualitative and quantitative trace analysis with extended signal
  temporal logic'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 22
year: '2020'
...
---
_id: '10862'
abstract:
- lang: eng
  text: We consider the sum of two large Hermitian matrices A and B with a Haar unitary
    conjugation bringing them into a general relative position. We prove that the
    eigenvalue density on the scale slightly above the local eigenvalue spacing is
    asymptotically given by the free additive convolution of the laws of A and B as
    the dimension of the matrix increases. This implies optimal rigidity of the eigenvalues
    and optimal rate of convergence in Voiculescu's theorem. Our previous works [4],
    [5] established these results in the bulk spectrum, the current paper completely
    settles the problem at the spectral edges provided they have the typical square-root
    behavior. The key element of our proof is to compensate the deterioration of the
    stability of the subordination equations by sharp error estimates that properly
    account for the local density near the edge. Our results also hold if the Haar
    unitary matrix is replaced by the Haar orthogonal matrix.
acknowledgement: Partially supported by ERC Advanced Grant RANMAT No. 338804.
article_number: '108639'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Zhigang
  full_name: Bao, Zhigang
  id: 442E6A6C-F248-11E8-B48F-1D18A9856A87
  last_name: Bao
  orcid: 0000-0003-3036-1475
- first_name: László
  full_name: Erdös, László
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Kevin
  full_name: Schnelli, Kevin
  last_name: Schnelli
citation:
  ama: Bao Z, Erdös L, Schnelli K. Spectral rigidity for addition of random matrices
    at the regular edge. <i>Journal of Functional Analysis</i>. 2020;279(7). doi:<a
    href="https://doi.org/10.1016/j.jfa.2020.108639">10.1016/j.jfa.2020.108639</a>
  apa: Bao, Z., Erdös, L., &#38; Schnelli, K. (2020). Spectral rigidity for addition
    of random matrices at the regular edge. <i>Journal of Functional Analysis</i>.
    Elsevier. <a href="https://doi.org/10.1016/j.jfa.2020.108639">https://doi.org/10.1016/j.jfa.2020.108639</a>
  chicago: Bao, Zhigang, László Erdös, and Kevin Schnelli. “Spectral Rigidity for
    Addition of Random Matrices at the Regular Edge.” <i>Journal of Functional Analysis</i>.
    Elsevier, 2020. <a href="https://doi.org/10.1016/j.jfa.2020.108639">https://doi.org/10.1016/j.jfa.2020.108639</a>.
  ieee: Z. Bao, L. Erdös, and K. Schnelli, “Spectral rigidity for addition of random
    matrices at the regular edge,” <i>Journal of Functional Analysis</i>, vol. 279,
    no. 7. Elsevier, 2020.
  ista: Bao Z, Erdös L, Schnelli K. 2020. Spectral rigidity for addition of random
    matrices at the regular edge. Journal of Functional Analysis. 279(7), 108639.
  mla: Bao, Zhigang, et al. “Spectral Rigidity for Addition of Random Matrices at
    the Regular Edge.” <i>Journal of Functional Analysis</i>, vol. 279, no. 7, 108639,
    Elsevier, 2020, doi:<a href="https://doi.org/10.1016/j.jfa.2020.108639">10.1016/j.jfa.2020.108639</a>.
  short: Z. Bao, L. Erdös, K. Schnelli, Journal of Functional Analysis 279 (2020).
date_created: 2022-03-18T10:18:59Z
date_published: 2020-10-15T00:00:00Z
date_updated: 2023-08-24T14:08:42Z
day: '15'
department:
- _id: LaEr
doi: 10.1016/j.jfa.2020.108639
ec_funded: 1
external_id:
  arxiv:
  - '1708.01597'
  isi:
  - '000559623200009'
intvolume: '       279'
isi: 1
issue: '7'
keyword:
- Analysis
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1708.01597
month: '10'
oa: 1
oa_version: Preprint
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '338804'
  name: Random matrices, universality and disordered quantum systems
publication: Journal of Functional Analysis
publication_identifier:
  issn:
  - 0022-1236
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spectral rigidity for addition of random matrices at the regular edge
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 279
year: '2020'
...
---
_id: '10866'
abstract:
- lang: eng
  text: Recent discoveries have shown that, when two layers of van der Waals (vdW)
    materials are superimposed with a relative twist angle between them, the electronic
    properties of the coupled system can be dramatically altered. Here, we demonstrate
    that a similar concept can be extended to the optics realm, particularly to propagating
    phonon polaritons–hybrid light-matter interactions. To do this, we fabricate stacks
    composed of two twisted slabs of a vdW crystal (α-MoO3) supporting anisotropic
    phonon polaritons (PhPs), and image the propagation of the latter when launched
    by localized sources. Our images reveal that, under a critical angle, the PhPs
    isofrequency curve undergoes a topological transition, in which the propagation
    of PhPs is strongly guided (canalization regime) along predetermined directions
    without geometric spreading. These results demonstrate a new degree of freedom
    (twist angle) for controlling the propagation of polaritons at the nanoscale with
    potential for nanoimaging, (bio)-sensing, or heat management.
acknowledgement: "J.T.-G. and G.Á.-P. acknowledge support through the Severo Ochoa
  Program from the\r\nGovernment of the Principality of Asturias (nos. PA-18-PF-BP17-126
  and PA20-PF-BP19-053,\r\nrespectively). J. M-S acknowledges financial support through
  the Ramón y Cajal Program from\r\nthe Government of Spain (RYC2018-026196-I). A.Y.N.
  acknowledges the Spanish Ministry of\r\nScience, Innovation and Universities (national
  project no. MAT201788358-C3-3-R). P.A.-G.\r\nacknowledges support from the European
  Research Council under starting grant no. 715496,\r\n2DNANOPTICA."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Jiahua
  full_name: Duan, Jiahua
  last_name: Duan
- first_name: Nathaniel
  full_name: Capote-Robayna, Nathaniel
  last_name: Capote-Robayna
- first_name: Javier
  full_name: Taboada-Gutiérrez, Javier
  last_name: Taboada-Gutiérrez
- first_name: Gonzalo
  full_name: Álvarez-Pérez, Gonzalo
  last_name: Álvarez-Pérez
- first_name: Ivan
  full_name: Prieto Gonzalez, Ivan
  id: 2A307FE2-F248-11E8-B48F-1D18A9856A87
  last_name: Prieto Gonzalez
  orcid: 0000-0002-7370-5357
- first_name: Javier
  full_name: Martín-Sánchez, Javier
  last_name: Martín-Sánchez
- first_name: Alexey Y.
  full_name: Nikitin, Alexey Y.
  last_name: Nikitin
- first_name: Pablo
  full_name: Alonso-González, Pablo
  last_name: Alonso-González
citation:
  ama: 'Duan J, Capote-Robayna N, Taboada-Gutiérrez J, et al. Twisted nano-optics:
    Manipulating light at the nanoscale with twisted phonon polaritonic slabs. <i>Nano
    Letters</i>. 2020;20(7):5323-5329. doi:<a href="https://doi.org/10.1021/acs.nanolett.0c01673">10.1021/acs.nanolett.0c01673</a>'
  apa: 'Duan, J., Capote-Robayna, N., Taboada-Gutiérrez, J., Álvarez-Pérez, G., Prieto
    Gonzalez, I., Martín-Sánchez, J., … Alonso-González, P. (2020). Twisted nano-optics:
    Manipulating light at the nanoscale with twisted phonon polaritonic slabs. <i>Nano
    Letters</i>. American Chemical Society. <a href="https://doi.org/10.1021/acs.nanolett.0c01673">https://doi.org/10.1021/acs.nanolett.0c01673</a>'
  chicago: 'Duan, Jiahua, Nathaniel Capote-Robayna, Javier Taboada-Gutiérrez, Gonzalo
    Álvarez-Pérez, Ivan Prieto Gonzalez, Javier Martín-Sánchez, Alexey Y. Nikitin,
    and Pablo Alonso-González. “Twisted Nano-Optics: Manipulating Light at the Nanoscale
    with Twisted Phonon Polaritonic Slabs.” <i>Nano Letters</i>. American Chemical
    Society, 2020. <a href="https://doi.org/10.1021/acs.nanolett.0c01673">https://doi.org/10.1021/acs.nanolett.0c01673</a>.'
  ieee: 'J. Duan <i>et al.</i>, “Twisted nano-optics: Manipulating light at the nanoscale
    with twisted phonon polaritonic slabs,” <i>Nano Letters</i>, vol. 20, no. 7. American
    Chemical Society, pp. 5323–5329, 2020.'
  ista: 'Duan J, Capote-Robayna N, Taboada-Gutiérrez J, Álvarez-Pérez G, Prieto Gonzalez
    I, Martín-Sánchez J, Nikitin AY, Alonso-González P. 2020. Twisted nano-optics:
    Manipulating light at the nanoscale with twisted phonon polaritonic slabs. Nano
    Letters. 20(7), 5323–5329.'
  mla: 'Duan, Jiahua, et al. “Twisted Nano-Optics: Manipulating Light at the Nanoscale
    with Twisted Phonon Polaritonic Slabs.” <i>Nano Letters</i>, vol. 20, no. 7, American
    Chemical Society, 2020, pp. 5323–29, doi:<a href="https://doi.org/10.1021/acs.nanolett.0c01673">10.1021/acs.nanolett.0c01673</a>.'
  short: J. Duan, N. Capote-Robayna, J. Taboada-Gutiérrez, G. Álvarez-Pérez, I. Prieto
    Gonzalez, J. Martín-Sánchez, A.Y. Nikitin, P. Alonso-González, Nano Letters 20
    (2020) 5323–5329.
date_created: 2022-03-18T11:37:38Z
date_published: 2020-07-01T00:00:00Z
date_updated: 2023-09-05T12:05:58Z
day: '01'
department:
- _id: NanoFab
doi: 10.1021/acs.nanolett.0c01673
external_id:
  arxiv:
  - '2004.14599'
  isi:
  - '000548893200082'
  pmid:
  - '32530634'
intvolume: '        20'
isi: 1
issue: '7'
keyword:
- Mechanical Engineering
- Condensed Matter Physics
- General Materials Science
- General Chemistry
- Bioengineering
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2004.14599
month: '07'
oa: 1
oa_version: Preprint
page: 5323-5329
pmid: 1
publication: Nano Letters
publication_identifier:
  eissn:
  - 1530-6992
  issn:
  - 1530-6984
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Twisted nano-optics: Manipulating light at the nanoscale with twisted phonon
  polaritonic slabs'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 20
year: '2020'
...
---
_id: '10867'
abstract:
- lang: eng
  text: In this paper we find a tight estimate for Gromov’s waist of the balls in
    spaces of constant curvature, deduce the estimates for the balls in Riemannian
    manifolds with upper bounds on the curvature (CAT(ϰ)-spaces), and establish similar
    result for normed spaces.
acknowledgement: ' Supported by the Russian Foundation for Basic Research grant 18-01-00036.'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Arseniy
  full_name: Akopyan, Arseniy
  id: 430D2C90-F248-11E8-B48F-1D18A9856A87
  last_name: Akopyan
  orcid: 0000-0002-2548-617X
- first_name: Roman
  full_name: Karasev, Roman
  last_name: Karasev
citation:
  ama: Akopyan A, Karasev R. Waist of balls in hyperbolic and spherical spaces. <i>International
    Mathematics Research Notices</i>. 2020;2020(3):669-697. doi:<a href="https://doi.org/10.1093/imrn/rny037">10.1093/imrn/rny037</a>
  apa: Akopyan, A., &#38; Karasev, R. (2020). Waist of balls in hyperbolic and spherical
    spaces. <i>International Mathematics Research Notices</i>. Oxford University Press.
    <a href="https://doi.org/10.1093/imrn/rny037">https://doi.org/10.1093/imrn/rny037</a>
  chicago: Akopyan, Arseniy, and Roman Karasev. “Waist of Balls in Hyperbolic and
    Spherical Spaces.” <i>International Mathematics Research Notices</i>. Oxford University
    Press, 2020. <a href="https://doi.org/10.1093/imrn/rny037">https://doi.org/10.1093/imrn/rny037</a>.
  ieee: A. Akopyan and R. Karasev, “Waist of balls in hyperbolic and spherical spaces,”
    <i>International Mathematics Research Notices</i>, vol. 2020, no. 3. Oxford University
    Press, pp. 669–697, 2020.
  ista: Akopyan A, Karasev R. 2020. Waist of balls in hyperbolic and spherical spaces.
    International Mathematics Research Notices. 2020(3), 669–697.
  mla: Akopyan, Arseniy, and Roman Karasev. “Waist of Balls in Hyperbolic and Spherical
    Spaces.” <i>International Mathematics Research Notices</i>, vol. 2020, no. 3,
    Oxford University Press, 2020, pp. 669–97, doi:<a href="https://doi.org/10.1093/imrn/rny037">10.1093/imrn/rny037</a>.
  short: A. Akopyan, R. Karasev, International Mathematics Research Notices 2020 (2020)
    669–697.
date_created: 2022-03-18T11:39:30Z
date_published: 2020-02-01T00:00:00Z
date_updated: 2023-08-24T14:19:55Z
day: '01'
department:
- _id: HeEd
doi: 10.1093/imrn/rny037
external_id:
  arxiv:
  - '1702.07513'
  isi:
  - '000522852700002'
intvolume: '      2020'
isi: 1
issue: '3'
keyword:
- General Mathematics
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1702.07513
month: '02'
oa: 1
oa_version: Preprint
page: 669-697
publication: International Mathematics Research Notices
publication_identifier:
  eissn:
  - 1687-0247
  issn:
  - 1073-7928
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Waist of balls in hyperbolic and spherical spaces
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 2020
year: '2020'
...
---
_id: '7788'
abstract:
- lang: eng
  text: Mutations in NDUFS4, which encodes an accessory subunit of mitochondrial oxidative
    phosphorylation (OXPHOS) complex I (CI), induce Leigh syndrome (LS). LS is a poorly
    understood pediatric disorder featuring brain-specific anomalies and early death.
    To study the LS pathomechanism, we here compared OXPHOS proteomes between various
    Ndufs4−/− mouse tissues. Ndufs4−/− animals displayed significantly lower CI subunit
    levels in brain/diaphragm relative to other tissues (liver/heart/kidney/skeletal
    muscle), whereas other OXPHOS subunit levels were not reduced. Absence of NDUFS4
    induced near complete absence of the NDUFA12 accessory subunit, a 50% reduction
    in other CI subunit levels, and an increase in specific CI assembly factors. Among
    the latter, NDUFAF2 was most highly increased. Regarding NDUFS4, NDUFA12 and NDUFAF2,
    identical results were obtained in Ndufs4−/− mouse embryonic fibroblasts (MEFs)
    and NDUFS4-mutated LS patient cells. Ndufs4−/− MEFs contained active CI in situ
    but blue-native-PAGE highlighted that NDUFAF2 attached to an inactive CI subcomplex
    (CI-830) and inactive assemblies of higher MW. In NDUFA12-mutated LS patient cells,
    NDUFA12 absence did not reduce NDUFS4 levels but triggered NDUFAF2 association
    to active CI. BN-PAGE revealed no such association in LS patient fibroblasts with
    mutations in other CI subunit-encoding genes where NDUFAF2 was attached to CI-830
    (NDUFS1, NDUFV1 mutation) or not detected (NDUFS7 mutation). Supported by enzymological
    and CI in silico structural analysis, we conclude that absence of NDUFS4 induces
    near complete absence of NDUFA12 but not vice versa, and that NDUFAF2 stabilizes
    active CI in Ndufs4−/− mice and LS patient cells, perhaps in concert with mitochondrial
    inner membrane lipids.
article_number: '148213'
article_processing_charge: No
article_type: original
author:
- first_name: Merel J.W.
  full_name: Adjobo-Hermans, Merel J.W.
  last_name: Adjobo-Hermans
- first_name: Ria
  full_name: De Haas, Ria
  last_name: De Haas
- first_name: Peter H.G.M.
  full_name: Willems, Peter H.G.M.
  last_name: Willems
- first_name: Aleksandra
  full_name: Wojtala, Aleksandra
  last_name: Wojtala
- first_name: Sjenet E.
  full_name: Van Emst-De Vries, Sjenet E.
  last_name: Van Emst-De Vries
- first_name: Jori A.
  full_name: Wagenaars, Jori A.
  last_name: Wagenaars
- first_name: Mariel
  full_name: Van Den Brand, Mariel
  last_name: Van Den Brand
- first_name: Richard J.
  full_name: Rodenburg, Richard J.
  last_name: Rodenburg
- first_name: Jan A.M.
  full_name: Smeitink, Jan A.M.
  last_name: Smeitink
- first_name: Leo G.
  full_name: Nijtmans, Leo G.
  last_name: Nijtmans
- first_name: Leonid A
  full_name: Sazanov, Leonid A
  id: 338D39FE-F248-11E8-B48F-1D18A9856A87
  last_name: Sazanov
  orcid: 0000-0002-0977-7989
- first_name: Mariusz R.
  full_name: Wieckowski, Mariusz R.
  last_name: Wieckowski
- first_name: Werner J.H.
  full_name: Koopman, Werner J.H.
  last_name: Koopman
citation:
  ama: 'Adjobo-Hermans MJW, De Haas R, Willems PHGM, et al. NDUFS4 deletion triggers
    loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role
    for NDUFAF2. <i>Biochimica et Biophysica Acta - Bioenergetics</i>. 2020;1861(8).
    doi:<a href="https://doi.org/10.1016/j.bbabio.2020.148213">10.1016/j.bbabio.2020.148213</a>'
  apa: 'Adjobo-Hermans, M. J. W., De Haas, R., Willems, P. H. G. M., Wojtala, A.,
    Van Emst-De Vries, S. E., Wagenaars, J. A., … Koopman, W. J. H. (2020). NDUFS4
    deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients:
    A stabilizing role for NDUFAF2. <i>Biochimica et Biophysica Acta - Bioenergetics</i>.
    Elsevier. <a href="https://doi.org/10.1016/j.bbabio.2020.148213">https://doi.org/10.1016/j.bbabio.2020.148213</a>'
  chicago: 'Adjobo-Hermans, Merel J.W., Ria De Haas, Peter H.G.M. Willems, Aleksandra
    Wojtala, Sjenet E. Van Emst-De Vries, Jori A. Wagenaars, Mariel Van Den Brand,
    et al. “NDUFS4 Deletion Triggers Loss of NDUFA12 in Ndufs4−/− Mice and Leigh Syndrome
    Patients: A Stabilizing Role for NDUFAF2.” <i>Biochimica et Biophysica Acta -
    Bioenergetics</i>. Elsevier, 2020. <a href="https://doi.org/10.1016/j.bbabio.2020.148213">https://doi.org/10.1016/j.bbabio.2020.148213</a>.'
  ieee: 'M. J. W. Adjobo-Hermans <i>et al.</i>, “NDUFS4 deletion triggers loss of
    NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for
    NDUFAF2,” <i>Biochimica et Biophysica Acta - Bioenergetics</i>, vol. 1861, no.
    8. Elsevier, 2020.'
  ista: 'Adjobo-Hermans MJW, De Haas R, Willems PHGM, Wojtala A, Van Emst-De Vries
    SE, Wagenaars JA, Van Den Brand M, Rodenburg RJ, Smeitink JAM, Nijtmans LG, Sazanov
    LA, Wieckowski MR, Koopman WJH. 2020. NDUFS4 deletion triggers loss of NDUFA12
    in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2.
    Biochimica et Biophysica Acta - Bioenergetics. 1861(8), 148213.'
  mla: 'Adjobo-Hermans, Merel J. W., et al. “NDUFS4 Deletion Triggers Loss of NDUFA12
    in Ndufs4−/− Mice and Leigh Syndrome Patients: A Stabilizing Role for NDUFAF2.”
    <i>Biochimica et Biophysica Acta - Bioenergetics</i>, vol. 1861, no. 8, 148213,
    Elsevier, 2020, doi:<a href="https://doi.org/10.1016/j.bbabio.2020.148213">10.1016/j.bbabio.2020.148213</a>.'
  short: M.J.W. Adjobo-Hermans, R. De Haas, P.H.G.M. Willems, A. Wojtala, S.E. Van
    Emst-De Vries, J.A. Wagenaars, M. Van Den Brand, R.J. Rodenburg, J.A.M. Smeitink,
    L.G. Nijtmans, L.A. Sazanov, M.R. Wieckowski, W.J.H. Koopman, Biochimica et Biophysica
    Acta - Bioenergetics 1861 (2020).
date_created: 2020-05-03T22:00:47Z
date_published: 2020-08-01T00:00:00Z
date_updated: 2023-08-21T06:19:18Z
day: '01'
ddc:
- '570'
department:
- _id: LeSa
doi: 10.1016/j.bbabio.2020.148213
external_id:
  isi:
  - '000540842000012'
  pmid:
  - '32335026'
file:
- access_level: open_access
  checksum: a9b152381307cf45fe266a8dc5640388
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-04T12:25:19Z
  date_updated: 2020-07-14T12:48:03Z
  file_id: '7798'
  file_name: 2020_BBA_Adjobo_Hermans.pdf
  file_size: 3826792
  relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: '      1861'
isi: 1
issue: '8'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: Biochimica et Biophysica Acta - Bioenergetics
publication_identifier:
  eissn:
  - '18792650'
  issn:
  - '00052728'
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome
  patients: A stabilizing role for NDUFAF2'
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: 1861
year: '2020'
...
---
_id: '7789'
abstract:
- lang: eng
  text: During embryonic and postnatal development, organs and tissues grow steadily
    to achieve their final size at the end of puberty. However, little is known about
    the cellular dynamics that mediate postnatal growth. By combining in vivo clonal
    lineage tracing, proliferation kinetics, single-cell transcriptomics, andin vitro
    micro-pattern experiments, we resolved the cellular dynamics taking place during
    postnatal skin epidermis expansion. Our data revealed that harmonious growth is
    engineered by a single population of developmental progenitors presenting a fixed
    fate imbalance of self-renewing divisions with an ever-decreasing proliferation
    rate. Single-cell RNA sequencing revealed that epidermal developmental progenitors
    form a more uniform population compared with adult stem and progenitor cells.
    Finally, we found that the spatial pattern of cell division orientation is dictated
    locally by the underlying collagen fiber orientation. Our results uncover a simple
    design principle of organ growth where progenitors and differentiated cells expand
    in harmony with their surrounding tissues.
article_processing_charge: No
article_type: original
author:
- first_name: Sophie
  full_name: Dekoninck, Sophie
  last_name: Dekoninck
- first_name: Edouard B
  full_name: Hannezo, Edouard B
  id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
  last_name: Hannezo
  orcid: 0000-0001-6005-1561
- first_name: Alejandro
  full_name: Sifrim, Alejandro
  last_name: Sifrim
- first_name: Yekaterina A.
  full_name: Miroshnikova, Yekaterina A.
  last_name: Miroshnikova
- first_name: Mariaceleste
  full_name: Aragona, Mariaceleste
  last_name: Aragona
- first_name: Milan
  full_name: Malfait, Milan
  last_name: Malfait
- first_name: Souhir
  full_name: Gargouri, Souhir
  last_name: Gargouri
- first_name: Charlotte
  full_name: De Neunheuser, Charlotte
  last_name: De Neunheuser
- first_name: Christine
  full_name: Dubois, Christine
  last_name: Dubois
- first_name: Thierry
  full_name: Voet, Thierry
  last_name: Voet
- first_name: Sara A.
  full_name: Wickström, Sara A.
  last_name: Wickström
- first_name: Benjamin D.
  full_name: Simons, Benjamin D.
  last_name: Simons
- first_name: Cédric
  full_name: Blanpain, Cédric
  last_name: Blanpain
citation:
  ama: Dekoninck S, Hannezo EB, Sifrim A, et al. Defining the design principles of
    skin epidermis postnatal growth. <i>Cell</i>. 2020;181(3):604-620.e22. doi:<a
    href="https://doi.org/10.1016/j.cell.2020.03.015">10.1016/j.cell.2020.03.015</a>
  apa: Dekoninck, S., Hannezo, E. B., Sifrim, A., Miroshnikova, Y. A., Aragona, M.,
    Malfait, M., … Blanpain, C. (2020). Defining the design principles of skin epidermis
    postnatal growth. <i>Cell</i>. Elsevier. <a href="https://doi.org/10.1016/j.cell.2020.03.015">https://doi.org/10.1016/j.cell.2020.03.015</a>
  chicago: Dekoninck, Sophie, Edouard B Hannezo, Alejandro Sifrim, Yekaterina A. Miroshnikova,
    Mariaceleste Aragona, Milan Malfait, Souhir Gargouri, et al. “Defining the Design
    Principles of Skin Epidermis Postnatal Growth.” <i>Cell</i>. Elsevier, 2020. <a
    href="https://doi.org/10.1016/j.cell.2020.03.015">https://doi.org/10.1016/j.cell.2020.03.015</a>.
  ieee: S. Dekoninck <i>et al.</i>, “Defining the design principles of skin epidermis
    postnatal growth,” <i>Cell</i>, vol. 181, no. 3. Elsevier, p. 604–620.e22, 2020.
  ista: Dekoninck S, Hannezo EB, Sifrim A, Miroshnikova YA, Aragona M, Malfait M,
    Gargouri S, De Neunheuser C, Dubois C, Voet T, Wickström SA, Simons BD, Blanpain
    C. 2020. Defining the design principles of skin epidermis postnatal growth. Cell.
    181(3), 604–620.e22.
  mla: Dekoninck, Sophie, et al. “Defining the Design Principles of Skin Epidermis
    Postnatal Growth.” <i>Cell</i>, vol. 181, no. 3, Elsevier, 2020, p. 604–620.e22,
    doi:<a href="https://doi.org/10.1016/j.cell.2020.03.015">10.1016/j.cell.2020.03.015</a>.
  short: S. Dekoninck, E.B. Hannezo, A. Sifrim, Y.A. Miroshnikova, M. Aragona, M.
    Malfait, S. Gargouri, C. De Neunheuser, C. Dubois, T. Voet, S.A. Wickström, B.D.
    Simons, C. Blanpain, Cell 181 (2020) 604–620.e22.
date_created: 2020-05-03T22:00:48Z
date_published: 2020-04-30T00:00:00Z
date_updated: 2023-08-21T06:17:43Z
day: '30'
ddc:
- '570'
department:
- _id: EdHa
doi: 10.1016/j.cell.2020.03.015
external_id:
  isi:
  - '000530708400016'
  pmid:
  - '32259486'
file:
- access_level: open_access
  checksum: e2114902f4e9d75a752e9efb5ae06011
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-04T10:20:55Z
  date_updated: 2020-07-14T12:48:03Z
  file_id: '7795'
  file_name: 2020_Cell_Dekoninck.pdf
  file_size: 17992888
  relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: '       181'
isi: 1
issue: '3'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 604-620.e22
pmid: 1
publication: Cell
publication_identifier:
  eissn:
  - '10974172'
  issn:
  - '00928674'
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Defining the design principles of skin epidermis postnatal growth
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: 181
year: '2020'
...
---
_id: '7790'
abstract:
- lang: eng
  text: "We prove a lower bound for the free energy (per unit volume) of the two-dimensional
    Bose gas in the thermodynamic limit. We show that the free energy at density \U0001D70C
    and inverse temperature \U0001D6FD differs from the one of the noninteracting
    system by the correction term \U0001D70B\U0001D70C\U0001D70C\U0001D6FD\U0001D6FD
    . Here, is the scattering length of the interaction potential, and \U0001D6FD
    is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity.
    The result is valid in the dilute limit \U0001D70C and if \U0001D6FD\U0001D70C
    ."
article_number: e20
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Andreas
  full_name: Deuchert, Andreas
  id: 4DA65CD0-F248-11E8-B48F-1D18A9856A87
  last_name: Deuchert
  orcid: 0000-0003-3146-6746
- first_name: Simon
  full_name: Mayer, Simon
  id: 30C4630A-F248-11E8-B48F-1D18A9856A87
  last_name: Mayer
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Deuchert A, Mayer S, Seiringer R. The free energy of the two-dimensional dilute
    Bose gas. I. Lower bound. <i>Forum of Mathematics, Sigma</i>. 2020;8. doi:<a href="https://doi.org/10.1017/fms.2020.17">10.1017/fms.2020.17</a>
  apa: Deuchert, A., Mayer, S., &#38; Seiringer, R. (2020). The free energy of the
    two-dimensional dilute Bose gas. I. Lower bound. <i>Forum of Mathematics, Sigma</i>.
    Cambridge University Press. <a href="https://doi.org/10.1017/fms.2020.17">https://doi.org/10.1017/fms.2020.17</a>
  chicago: Deuchert, Andreas, Simon Mayer, and Robert Seiringer. “The Free Energy
    of the Two-Dimensional Dilute Bose Gas. I. Lower Bound.” <i>Forum of Mathematics,
    Sigma</i>. Cambridge University Press, 2020. <a href="https://doi.org/10.1017/fms.2020.17">https://doi.org/10.1017/fms.2020.17</a>.
  ieee: A. Deuchert, S. Mayer, and R. Seiringer, “The free energy of the two-dimensional
    dilute Bose gas. I. Lower bound,” <i>Forum of Mathematics, Sigma</i>, vol. 8.
    Cambridge University Press, 2020.
  ista: Deuchert A, Mayer S, Seiringer R. 2020. The free energy of the two-dimensional
    dilute Bose gas. I. Lower bound. Forum of Mathematics, Sigma. 8, e20.
  mla: Deuchert, Andreas, et al. “The Free Energy of the Two-Dimensional Dilute Bose
    Gas. I. Lower Bound.” <i>Forum of Mathematics, Sigma</i>, vol. 8, e20, Cambridge
    University Press, 2020, doi:<a href="https://doi.org/10.1017/fms.2020.17">10.1017/fms.2020.17</a>.
  short: A. Deuchert, S. Mayer, R. Seiringer, Forum of Mathematics, Sigma 8 (2020).
date_created: 2020-05-03T22:00:48Z
date_published: 2020-03-14T00:00:00Z
date_updated: 2023-08-21T06:18:49Z
day: '14'
ddc:
- '510'
department:
- _id: RoSe
doi: 10.1017/fms.2020.17
ec_funded: 1
external_id:
  arxiv:
  - '1910.03372'
  isi:
  - '000527342000001'
file:
- access_level: open_access
  checksum: 8a64da99d107686997876d7cad8cfe1e
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-04T12:02:41Z
  date_updated: 2020-07-14T12:48:03Z
  file_id: '7797'
  file_name: 2020_ForumMath_Deuchert.pdf
  file_size: 692530
  relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: '         8'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '694227'
  name: Analysis of quantum many-body systems
publication: Forum of Mathematics, Sigma
publication_identifier:
  eissn:
  - '20505094'
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
related_material:
  record:
  - id: '7524'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: The free energy of the two-dimensional dilute Bose gas. I. Lower bound
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: 8
year: '2020'
...
---
_id: '7792'
abstract:
- lang: eng
  text: Phonon polaritons—light coupled to lattice vibrations—in polar van der Waals
    crystals are promising candidates for controlling the flow of energy on the nanoscale
    due to their strong field confinement, anisotropic propagation and ultra-long
    lifetime in the picosecond range1,2,3,4,5. However, the lack of tunability of
    their narrow and material-specific spectral range—the Reststrahlen band—severely
    limits their technological implementation. Here, we demonstrate that intercalation
    of Na atoms in the van der Waals semiconductor α-V2O5 enables a broad spectral
    shift of Reststrahlen bands, and that the phonon polaritons excited show ultra-low
    losses (lifetime of 4 ± 1 ps), similar to phonon polaritons in a non-intercalated
    crystal (lifetime of 6 ± 1 ps). We expect our intercalation method to be applicable
    to other van der Waals crystals, opening the door for the use of phonon polaritons
    in broad spectral bands in the mid-infrared domain.
acknowledgement: J.T.-G. and G.Á.-P. acknowledge support through the Severo Ochoa
  Program from the Government of the Principality of Asturias (nos. PA-18-PF-BP17-126
  and PA-20-PF-BP19-053, respectively). J.M.-S. acknowledges finantial support from
  the Clarín Programme from the Government of the Principality of Asturias and a Marie
  Curie-COFUND grant (PA-18-ACB17-29) and the Ramón y Cajal Program from the Government
  of Spain (RYC2018-026196-I). K.C., X.P.A.G., H.V. and M.H.B. acknowledge the Air
  Force Office of Scientific Research (AFOSR) grant no. FA 9550-18-1-0030 for funding
  support. I.E. acknowledges financial support from the Spanish Ministry of Economy
  and Competitiveness (grant no. FIS2016-76617-P). A.Y.N. acknowledges the Spanish
  Ministry of Science, Innovation and Universities (national project no. MAT2017-88358-C3-3-R)
  and the Basque Government (grant no. IT1164-19). Q.B. acknowledges the support from
  Australian Research Council (grant nos. FT150100450, IH150100006 and CE170100039).
  R.H. acknowledges support from the Spanish Ministry of Economy, Industry, and Competitiveness
  (national project RTI2018-094830-B-100 and the Project MDM-2016-0618 of the María
  de Maeztu Units of Excellence Program) and the Basque Goverment (grant no. IT1164-19).
  P.A.-G. acknowledges support from the European Research Council under starting grant
  no. 715496, 2DNANOPTICA.
article_processing_charge: No
article_type: original
author:
- first_name: Javier
  full_name: Taboada-Gutiérrez, Javier
  last_name: Taboada-Gutiérrez
- first_name: Gonzalo
  full_name: Álvarez-Pérez, Gonzalo
  last_name: Álvarez-Pérez
- first_name: Jiahua
  full_name: Duan, Jiahua
  last_name: Duan
- first_name: Weiliang
  full_name: Ma, Weiliang
  last_name: Ma
- first_name: Kyle
  full_name: Crowley, Kyle
  last_name: Crowley
- first_name: Ivan
  full_name: Prieto Gonzalez, Ivan
  id: 2A307FE2-F248-11E8-B48F-1D18A9856A87
  last_name: Prieto Gonzalez
  orcid: 0000-0002-7370-5357
- first_name: Andrei
  full_name: Bylinkin, Andrei
  last_name: Bylinkin
- first_name: Marta
  full_name: Autore, Marta
  last_name: Autore
- first_name: Halyna
  full_name: Volkova, Halyna
  last_name: Volkova
- first_name: Kenta
  full_name: Kimura, Kenta
  last_name: Kimura
- first_name: Tsuyoshi
  full_name: Kimura, Tsuyoshi
  last_name: Kimura
- first_name: M. H.
  full_name: Berger, M. H.
  last_name: Berger
- first_name: Shaojuan
  full_name: Li, Shaojuan
  last_name: Li
- first_name: Qiaoliang
  full_name: Bao, Qiaoliang
  last_name: Bao
- first_name: Xuan P.A.
  full_name: Gao, Xuan P.A.
  last_name: Gao
- first_name: Ion
  full_name: Errea, Ion
  last_name: Errea
- first_name: Alexey Y.
  full_name: Nikitin, Alexey Y.
  last_name: Nikitin
- first_name: Rainer
  full_name: Hillenbrand, Rainer
  last_name: Hillenbrand
- first_name: Javier
  full_name: Martín-Sánchez, Javier
  last_name: Martín-Sánchez
- first_name: Pablo
  full_name: Alonso-González, Pablo
  last_name: Alonso-González
citation:
  ama: Taboada-Gutiérrez J, Álvarez-Pérez G, Duan J, et al. Broad spectral tuning
    of ultra-low-loss polaritons in a van der Waals crystal by intercalation. <i>Nature
    Materials</i>. 2020;19:964–968. doi:<a href="https://doi.org/10.1038/s41563-020-0665-0">10.1038/s41563-020-0665-0</a>
  apa: Taboada-Gutiérrez, J., Álvarez-Pérez, G., Duan, J., Ma, W., Crowley, K., Prieto
    Gonzalez, I., … Alonso-González, P. (2020). Broad spectral tuning of ultra-low-loss
    polaritons in a van der Waals crystal by intercalation. <i>Nature Materials</i>.
    Springer Nature. <a href="https://doi.org/10.1038/s41563-020-0665-0">https://doi.org/10.1038/s41563-020-0665-0</a>
  chicago: Taboada-Gutiérrez, Javier, Gonzalo Álvarez-Pérez, Jiahua Duan, Weiliang
    Ma, Kyle Crowley, Ivan Prieto Gonzalez, Andrei Bylinkin, et al. “Broad Spectral
    Tuning of Ultra-Low-Loss Polaritons in a van Der Waals Crystal by Intercalation.”
    <i>Nature Materials</i>. Springer Nature, 2020. <a href="https://doi.org/10.1038/s41563-020-0665-0">https://doi.org/10.1038/s41563-020-0665-0</a>.
  ieee: J. Taboada-Gutiérrez <i>et al.</i>, “Broad spectral tuning of ultra-low-loss
    polaritons in a van der Waals crystal by intercalation,” <i>Nature Materials</i>,
    vol. 19. Springer Nature, pp. 964–968, 2020.
  ista: Taboada-Gutiérrez J, Álvarez-Pérez G, Duan J, Ma W, Crowley K, Prieto Gonzalez
    I, Bylinkin A, Autore M, Volkova H, Kimura K, Kimura T, Berger MH, Li S, Bao Q,
    Gao XPA, Errea I, Nikitin AY, Hillenbrand R, Martín-Sánchez J, Alonso-González
    P. 2020. Broad spectral tuning of ultra-low-loss polaritons in a van der Waals
    crystal by intercalation. Nature Materials. 19, 964–968.
  mla: Taboada-Gutiérrez, Javier, et al. “Broad Spectral Tuning of Ultra-Low-Loss
    Polaritons in a van Der Waals Crystal by Intercalation.” <i>Nature Materials</i>,
    vol. 19, Springer Nature, 2020, pp. 964–968, doi:<a href="https://doi.org/10.1038/s41563-020-0665-0">10.1038/s41563-020-0665-0</a>.
  short: J. Taboada-Gutiérrez, G. Álvarez-Pérez, J. Duan, W. Ma, K. Crowley, I. Prieto
    Gonzalez, A. Bylinkin, M. Autore, H. Volkova, K. Kimura, T. Kimura, M.H. Berger,
    S. Li, Q. Bao, X.P.A. Gao, I. Errea, A.Y. Nikitin, R. Hillenbrand, J. Martín-Sánchez,
    P. Alonso-González, Nature Materials 19 (2020) 964–968.
date_created: 2020-05-03T22:00:49Z
date_published: 2020-09-01T00:00:00Z
date_updated: 2023-08-21T06:18:20Z
day: '01'
department:
- _id: NanoFab
doi: 10.1038/s41563-020-0665-0
external_id:
  isi:
  - '000526218500004'
  pmid:
  - '32284598'
intvolume: '        19'
isi: 1
language:
- iso: eng
month: '09'
oa_version: None
page: 964–968
pmid: 1
publication: Nature Materials
publication_identifier:
  eissn:
  - '14764660'
  issn:
  - '14761122'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal
  by intercalation
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 19
year: '2020'
...
---
_id: '7793'
abstract:
- lang: eng
  text: Hormonal signalling in animals often involves direct transcription factor-hormone
    interactions that modulate gene expression. In contrast, plant hormone signalling
    is most commonly based on de-repression via the degradation of transcriptional
    repressors. Recently, we uncovered a non-canonical signalling mechanism for the
    plant hormone auxin whereby auxin directly affects the activity of the atypical
    auxin response factor (ARF), ETTIN towards target genes without the requirement
    for protein degradation. Here we show that ETTIN directly binds auxin, leading
    to dissociation from co-repressor proteins of the TOPLESS/TOPLESS-RELATED family
    followed by histone acetylation and induction of gene expression. This mechanism
    is reminiscent of animal hormone signalling as it affects the activity towards
    regulation of target genes and provides the first example of a DNA-bound hormone
    receptor in plants. Whilst auxin affects canonical ARFs indirectly by facilitating
    degradation of Aux/IAA repressors, direct ETTIN-auxin interactions allow switching
    between repressive and de-repressive chromatin states in an instantly-reversible
    manner.
article_number: e51787
article_processing_charge: No
article_type: original
author:
- first_name: André
  full_name: Kuhn, André
  last_name: Kuhn
- first_name: Sigurd
  full_name: Ramans Harborough, Sigurd
  last_name: Ramans Harborough
- first_name: Heather M
  full_name: McLaughlin, Heather M
  last_name: McLaughlin
- first_name: Bhavani
  full_name: Natarajan, Bhavani
  last_name: Natarajan
- first_name: Inge
  full_name: Verstraeten, Inge
  id: 362BF7FE-F248-11E8-B48F-1D18A9856A87
  last_name: Verstraeten
  orcid: 0000-0001-7241-2328
- first_name: Jiří
  full_name: Friml, Jiří
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Stefan
  full_name: Kepinski, Stefan
  last_name: Kepinski
- first_name: Lars
  full_name: Østergaard, Lars
  last_name: Østergaard
citation:
  ama: Kuhn A, Ramans Harborough S, McLaughlin HM, et al. Direct ETTIN-auxin interaction
    controls chromatin states in gynoecium development. <i>eLife</i>. 2020;9. doi:<a
    href="https://doi.org/10.7554/elife.51787">10.7554/elife.51787</a>
  apa: Kuhn, A., Ramans Harborough, S., McLaughlin, H. M., Natarajan, B., Verstraeten,
    I., Friml, J., … Østergaard, L. (2020). Direct ETTIN-auxin interaction controls
    chromatin states in gynoecium development. <i>ELife</i>. eLife Sciences Publications.
    <a href="https://doi.org/10.7554/elife.51787">https://doi.org/10.7554/elife.51787</a>
  chicago: Kuhn, André, Sigurd Ramans Harborough, Heather M McLaughlin, Bhavani Natarajan,
    Inge Verstraeten, Jiří Friml, Stefan Kepinski, and Lars Østergaard. “Direct ETTIN-Auxin
    Interaction Controls Chromatin States in Gynoecium Development.” <i>ELife</i>.
    eLife Sciences Publications, 2020. <a href="https://doi.org/10.7554/elife.51787">https://doi.org/10.7554/elife.51787</a>.
  ieee: A. Kuhn <i>et al.</i>, “Direct ETTIN-auxin interaction controls chromatin
    states in gynoecium development,” <i>eLife</i>, vol. 9. eLife Sciences Publications,
    2020.
  ista: Kuhn A, Ramans Harborough S, McLaughlin HM, Natarajan B, Verstraeten I, Friml
    J, Kepinski S, Østergaard L. 2020. Direct ETTIN-auxin interaction controls chromatin
    states in gynoecium development. eLife. 9, e51787.
  mla: Kuhn, André, et al. “Direct ETTIN-Auxin Interaction Controls Chromatin States
    in Gynoecium Development.” <i>ELife</i>, vol. 9, e51787, eLife Sciences Publications,
    2020, doi:<a href="https://doi.org/10.7554/elife.51787">10.7554/elife.51787</a>.
  short: A. Kuhn, S. Ramans Harborough, H.M. McLaughlin, B. Natarajan, I. Verstraeten,
    J. Friml, S. Kepinski, L. Østergaard, ELife 9 (2020).
date_created: 2020-05-04T08:50:47Z
date_published: 2020-04-08T00:00:00Z
date_updated: 2023-08-21T06:17:12Z
day: '08'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.7554/elife.51787
external_id:
  isi:
  - '000527752200001'
  pmid:
  - '32267233'
file:
- access_level: open_access
  checksum: 15d740de1a741fdcc6ec128c48eed017
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-04T09:06:43Z
  date_updated: 2020-07-14T12:48:03Z
  file_id: '7794'
  file_name: 2020_eLife_Kuhn.pdf
  file_size: 2893082
  relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: '         9'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
pmid: 1
publication: eLife
publication_identifier:
  issn:
  - 2050-084X
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: Direct ETTIN-auxin interaction controls chromatin states in gynoecium development
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: '7800'
abstract:
- lang: eng
  text: De novo loss of function mutations in the ubiquitin ligase-encoding gene Cullin3
    (CUL3) lead to autism spectrum disorder (ASD). Here, we used Cul3 mouse models
    to evaluate the consequences of Cul3 mutations in vivo. Our results show that
    Cul3 haploinsufficient mice exhibit deficits in motor coordination as well as
    ASD-relevant social and cognitive impairments. Cul3 mutant brain displays cortical
    lamination abnormalities due to defective neuronal migration and reduced numbers
    of excitatory and inhibitory neurons. In line with the observed abnormal columnar
    organization, Cul3 haploinsufficiency is associated with decreased spontaneous
    excitatory and inhibitory activity in the cortex. At the molecular level, employing
    a quantitative proteomic approach, we show that Cul3 regulates cytoskeletal and
    adhesion protein abundance in mouse embryos. Abnormal regulation of cytoskeletal
    proteins in Cul3 mutant neuronal cells results in atypical organization of the
    actin mesh at the cell leading edge, likely causing the observed migration deficits.
    In contrast to these important functions early in development, Cul3 deficiency
    appears less relevant at adult stages. In fact, induction of Cul3 haploinsufficiency
    in adult mice does not result in the behavioral defects observed in constitutive
    Cul3 haploinsufficient animals. Taken together, our data indicate that Cul3 has
    a critical role in the regulation of cytoskeletal proteins and neuronal migration
    and that ASD-associated defects and behavioral abnormalities are primarily due
    to Cul3 functions at early developmental stages.
acknowledged_ssus:
- _id: PreCl
article_processing_charge: No
author:
- first_name: Jasmin
  full_name: Morandell, Jasmin
  id: 4739D480-F248-11E8-B48F-1D18A9856A87
  last_name: Morandell
- first_name: Lena A
  full_name: Schwarz, Lena A
  id: 29A8453C-F248-11E8-B48F-1D18A9856A87
  last_name: Schwarz
- first_name: Bernadette
  full_name: Basilico, Bernadette
  id: 36035796-5ACA-11E9-A75E-7AF2E5697425
  last_name: Basilico
  orcid: 0000-0003-1843-3173
- first_name: Saren
  full_name: Tasciyan, Saren
  id: 4323B49C-F248-11E8-B48F-1D18A9856A87
  last_name: Tasciyan
  orcid: 0000-0003-1671-393X
- first_name: Armel
  full_name: Nicolas, Armel
  id: 2A103192-F248-11E8-B48F-1D18A9856A87
  last_name: Nicolas
- first_name: Christoph M
  full_name: Sommer, Christoph M
  id: 4DF26D8C-F248-11E8-B48F-1D18A9856A87
  last_name: Sommer
  orcid: 0000-0003-1216-9105
- first_name: Caroline
  full_name: Kreuzinger, Caroline
  id: 382077BA-F248-11E8-B48F-1D18A9856A87
  last_name: Kreuzinger
- first_name: Lisa
  full_name: Knaus, Lisa
  id: 3B2ABCF4-F248-11E8-B48F-1D18A9856A87
  last_name: Knaus
- first_name: Zoe
  full_name: Dobler, Zoe
  id: D23090A2-9057-11EA-883A-A8396FC7A38F
  last_name: Dobler
- first_name: Emanuele
  full_name: Cacci, Emanuele
  last_name: Cacci
- first_name: Johann G
  full_name: Danzl, Johann G
  id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
  last_name: Danzl
  orcid: 0000-0001-8559-3973
- first_name: Gaia
  full_name: Novarino, Gaia
  id: 3E57A680-F248-11E8-B48F-1D18A9856A87
  last_name: Novarino
  orcid: 0000-0002-7673-7178
citation:
  ama: Morandell J, Schwarz LA, Basilico B, et al. Cul3 regulates cytoskeleton protein
    homeostasis and cell migration during a critical window of brain development.
    <i>bioRxiv</i>. doi:<a href="https://doi.org/10.1101/2020.01.10.902064 ">10.1101/2020.01.10.902064
    </a>
  apa: Morandell, J., Schwarz, L. A., Basilico, B., Tasciyan, S., Nicolas, A., Sommer,
    C. M., … Novarino, G. (n.d.). Cul3 regulates cytoskeleton protein homeostasis
    and cell migration during a critical window of brain development. <i>bioRxiv</i>.
    Cold Spring Harbor Laboratory. <a href="https://doi.org/10.1101/2020.01.10.902064
    ">https://doi.org/10.1101/2020.01.10.902064 </a>
  chicago: Morandell, Jasmin, Lena A Schwarz, Bernadette Basilico, Saren Tasciyan,
    Armel Nicolas, Christoph M Sommer, Caroline Kreuzinger, et al. “Cul3 Regulates
    Cytoskeleton Protein Homeostasis and Cell Migration during a Critical Window of
    Brain Development.” <i>BioRxiv</i>. Cold Spring Harbor Laboratory, n.d. <a href="https://doi.org/10.1101/2020.01.10.902064
    ">https://doi.org/10.1101/2020.01.10.902064 </a>.
  ieee: J. Morandell <i>et al.</i>, “Cul3 regulates cytoskeleton protein homeostasis
    and cell migration during a critical window of brain development,” <i>bioRxiv</i>.
    Cold Spring Harbor Laboratory.
  ista: Morandell J, Schwarz LA, Basilico B, Tasciyan S, Nicolas A, Sommer CM, Kreuzinger
    C, Knaus L, Dobler Z, Cacci E, Danzl JG, Novarino G. Cul3 regulates cytoskeleton
    protein homeostasis and cell migration during a critical window of brain development.
    bioRxiv, <a href="https://doi.org/10.1101/2020.01.10.902064 ">10.1101/2020.01.10.902064
    </a>.
  mla: Morandell, Jasmin, et al. “Cul3 Regulates Cytoskeleton Protein Homeostasis
    and Cell Migration during a Critical Window of Brain Development.” <i>BioRxiv</i>,
    Cold Spring Harbor Laboratory, doi:<a href="https://doi.org/10.1101/2020.01.10.902064
    ">10.1101/2020.01.10.902064 </a>.
  short: J. Morandell, L.A. Schwarz, B. Basilico, S. Tasciyan, A. Nicolas, C.M. Sommer,
    C. Kreuzinger, L. Knaus, Z. Dobler, E. Cacci, J.G. Danzl, G. Novarino, BioRxiv
    (n.d.).
date_created: 2020-05-05T14:31:33Z
date_published: 2020-01-11T00:00:00Z
date_updated: 2024-09-10T12:04:26Z
day: '11'
ddc:
- '570'
department:
- _id: JoDa
- _id: GaNo
- _id: LifeSc
doi: '10.1101/2020.01.10.902064 '
file:
- access_level: open_access
  checksum: c6799ab5daba80efe8e2ed63c15f8c81
  content_type: application/pdf
  creator: rsix
  date_created: 2020-05-05T14:31:19Z
  date_updated: 2020-07-14T12:48:03Z
  file_id: '7801'
  file_name: 2020.01.10.902064v1.full.pdf
  file_size: 2931370
  relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Preprint
project:
- _id: 265CB4D0-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: I03600
  name: Optical control of synaptic function via adhesion molecules
- _id: 2548AE96-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: W1232-B24
  name: Molecular Drug Targets
publication: bioRxiv
publication_status: submitted
publisher: Cold Spring Harbor Laboratory
related_material:
  record:
  - id: '8620'
    relation: dissertation_contains
    status: public
  - id: '9429'
    relation: later_version
    status: public
status: public
title: Cul3 regulates cytoskeleton protein homeostasis and cell migration during a
  critical window of brain development
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '7802'
abstract:
- lang: eng
  text: "The Massively Parallel Computation (MPC) model is an emerging model which
    distills core  aspects of distributed and parallel computation. It has been developed
    as a tool to solve (typically graph) problems in systems where the input is distributed
    over many machines with limited space.\r\n\t\r\nRecent work has focused on the
    regime in which machines have sublinear (in $n$, the number of nodes in the input
    graph) space, with randomized algorithms presented for fundamental graph problems
    of Maximal Matching and Maximal Independent Set. However, there have been no prior
    corresponding deterministic algorithms.\r\n\t\r\n\tA major challenge underlying
    the sublinear space setting is that the local space of each machine might be too
    small to store all the edges incident to a single node. This poses a considerable
    obstacle compared to the classical models in which each node is assumed to know
    and have easy access to its incident edges. To overcome this barrier we introduce
    a new graph sparsification technique that deterministically computes a low-degree
    subgraph with additional desired properties. The degree of the nodes in this subgraph
    is small in the sense that the edges of each node can be now stored on a single
    machine. This low-degree subgraph also has the property that solving the problem
    on this subgraph provides \\emph{significant} global progress, i.e., progress
    towards solving the problem for the original input graph.\r\n\t\r\nUsing this
    framework to derandomize the well-known randomized algorithm of Luby [SICOMP'86],
    we obtain $O(\\log \\Delta+\\log\\log n)$-round deterministic MPC algorithms for
    solving the fundamental problems of Maximal Matching and Maximal Independent Set
    with $O(n^{\\epsilon})$ space on each machine for any constant $\\epsilon > 0$.
    Based on the recent work of Ghaffari et al. [FOCS'18], this additive $O(\\log\\log
    n)$ factor is conditionally essential. These algorithms can also be shown to run
    in $O(\\log \\Delta)$ rounds in the closely related model of CONGESTED CLIQUE,
    improving upon the state-of-the-art bound of $O(\\log^2 \\Delta)$ rounds by Censor-Hillel
    et al. [DISC'17]."
article_processing_charge: No
arxiv: 1
author:
- first_name: Artur
  full_name: Czumaj, Artur
  last_name: Czumaj
  orcid: 0000-0002-5646-9524
- first_name: Peter
  full_name: Davies, Peter
  id: 11396234-BB50-11E9-B24C-90FCE5697425
  last_name: Davies
  orcid: 0000-0002-5646-9524
- first_name: Merav
  full_name: Parter, Merav
  last_name: Parter
citation:
  ama: 'Czumaj A, Davies P, Parter M. Graph sparsification for derandomizing massively
    parallel computation with low space. In: <i>Proceedings of the 32nd ACM Symposium
    on Parallelism in Algorithms and Architectures (SPAA 2020)</i>. Association for
    Computing Machinery; 2020:175-185. doi:<a href="https://doi.org/10.1145/3350755.3400282">10.1145/3350755.3400282</a>'
  apa: 'Czumaj, A., Davies, P., &#38; Parter, M. (2020). Graph sparsification for
    derandomizing massively parallel computation with low space. In <i>Proceedings
    of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA
    2020)</i> (pp. 175–185). Virtual Event, United States: Association for Computing
    Machinery. <a href="https://doi.org/10.1145/3350755.3400282">https://doi.org/10.1145/3350755.3400282</a>'
  chicago: Czumaj, Artur, Peter Davies, and Merav Parter. “Graph Sparsification for
    Derandomizing Massively Parallel Computation with Low Space.” In <i>Proceedings
    of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA
    2020)</i>, 175–85. Association for Computing Machinery, 2020. <a href="https://doi.org/10.1145/3350755.3400282">https://doi.org/10.1145/3350755.3400282</a>.
  ieee: A. Czumaj, P. Davies, and M. Parter, “Graph sparsification for derandomizing
    massively parallel computation with low space,” in <i>Proceedings of the 32nd
    ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020)</i>,
    Virtual Event, United States, 2020, no. 7, pp. 175–185.
  ista: 'Czumaj A, Davies P, Parter M. 2020. Graph sparsification for derandomizing
    massively parallel computation with low space. Proceedings of the 32nd ACM Symposium
    on Parallelism in Algorithms and Architectures (SPAA 2020). SPAA: Symposium on
    Parallelism in Algorithms and Architectures, 175–185.'
  mla: Czumaj, Artur, et al. “Graph Sparsification for Derandomizing Massively Parallel
    Computation with Low Space.” <i>Proceedings of the 32nd ACM Symposium on Parallelism
    in Algorithms and Architectures (SPAA 2020)</i>, no. 7, Association for Computing
    Machinery, 2020, pp. 175–85, doi:<a href="https://doi.org/10.1145/3350755.3400282">10.1145/3350755.3400282</a>.
  short: A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium
    on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing
    Machinery, 2020, pp. 175–185.
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-05-06T08:53:34Z
date_published: 2020-07-01T00:00:00Z
date_updated: 2024-02-28T12:53:09Z
day: '01'
department:
- _id: DaAl
doi: 10.1145/3350755.3400282
ec_funded: 1
external_id:
  arxiv:
  - '1912.05390'
  isi:
  - '000744436200015'
isi: 1
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1912.05390
month: '07'
oa: 1
oa_version: Preprint
page: 175-185
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and
  Architectures (SPAA 2020)
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
  record:
  - id: '9541'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: Graph sparsification for derandomizing massively parallel computation with
  low space
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2020'
...
---
_id: '7803'
abstract:
- lang: eng
  text: "We settle the complexity of the (Δ+1)-coloring and (Δ+1)-list coloring problems
    in the CONGESTED CLIQUE model by presenting a simple deterministic algorithm for
    both problems running in a constant number of rounds. This matches the complexity
    of the recent breakthrough randomized constant-round (Δ+1)-list coloring algorithm
    due to Chang et al. (PODC'19), and significantly improves upon the state-of-the-art
    O(logΔ)-round deterministic (Δ+1)-coloring bound of Parter (ICALP'18).\r\nA remarkable
    property of our algorithm is its simplicity. Whereas the state-of-the-art randomized
    algorithms for this problem are based on the quite involved local coloring algorithm
    of Chang et al. (STOC'18), our algorithm can be described in just a few lines.
    At a high level, it applies a careful derandomization of a recursive procedure
    which partitions the nodes and their respective palettes into separate bins. We
    show that after O(1) recursion steps, the remaining uncolored subgraph within
    each bin has linear size, and thus can be solved locally by collecting it to a
    single node. This algorithm can also be implemented in the Massively Parallel
    Computation (MPC) model provided that each machine has linear (in n, the number
    of nodes in the input graph) space.\r\nWe also show an extension of our algorithm
    to the MPC regime in which machines have sublinear space: we present the first
    deterministic (Δ+1)-list coloring algorithm designed for sublinear-space MPC,
    which runs in O(logΔ+loglogn) rounds."
article_processing_charge: No
arxiv: 1
author:
- first_name: Artur
  full_name: Czumaj, Artur
  last_name: Czumaj
  orcid: 0000-0002-5646-9524
- first_name: Peter
  full_name: Davies, Peter
  id: 11396234-BB50-11E9-B24C-90FCE5697425
  last_name: Davies
  orcid: 0000-0002-5646-9524
- first_name: Merav
  full_name: Parter, Merav
  last_name: Parter
citation:
  ama: 'Czumaj A, Davies P, Parter M. Simple, deterministic, constant-round coloring
    in the congested clique. In: <i>Proceedings of the 2020 ACM Symposium on Principles
    of Distributed Computing</i>. Association for Computing Machinery; 2020:309-318.
    doi:<a href="https://doi.org/10.1145/3382734.3405751">10.1145/3382734.3405751</a>'
  apa: 'Czumaj, A., Davies, P., &#38; Parter, M. (2020). Simple, deterministic, constant-round
    coloring in the congested clique. In <i>Proceedings of the 2020 ACM Symposium
    on Principles of Distributed Computing</i> (pp. 309–318). Salerno, Italy: Association
    for Computing Machinery. <a href="https://doi.org/10.1145/3382734.3405751">https://doi.org/10.1145/3382734.3405751</a>'
  chicago: Czumaj, Artur, Peter Davies, and Merav Parter. “Simple, Deterministic,
    Constant-Round Coloring in the Congested Clique.” In <i>Proceedings of the 2020
    ACM Symposium on Principles of Distributed Computing</i>, 309–18. Association
    for Computing Machinery, 2020. <a href="https://doi.org/10.1145/3382734.3405751">https://doi.org/10.1145/3382734.3405751</a>.
  ieee: A. Czumaj, P. Davies, and M. Parter, “Simple, deterministic, constant-round
    coloring in the congested clique,” in <i>Proceedings of the 2020 ACM Symposium
    on Principles of Distributed Computing</i>, Salerno, Italy, 2020, pp. 309–318.
  ista: 'Czumaj A, Davies P, Parter M. 2020. Simple, deterministic, constant-round
    coloring in the congested clique. Proceedings of the 2020 ACM Symposium on Principles
    of Distributed Computing. PODC: Symposium on Principles of Distributed Computing,
    309–318.'
  mla: Czumaj, Artur, et al. “Simple, Deterministic, Constant-Round Coloring in the
    Congested Clique.” <i>Proceedings of the 2020 ACM Symposium on Principles of Distributed
    Computing</i>, Association for Computing Machinery, 2020, pp. 309–18, doi:<a href="https://doi.org/10.1145/3382734.3405751">10.1145/3382734.3405751</a>.
  short: A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2020 ACM Symposium
    on Principles of Distributed Computing, Association for Computing Machinery, 2020,
    pp. 309–318.
conference:
  end_date: 2020-08-07
  location: Salerno, Italy
  name: 'PODC: Symposium on Principles of Distributed Computing'
  start_date: 2020-08-03
date_created: 2020-05-06T09:02:14Z
date_published: 2020-07-01T00:00:00Z
date_updated: 2021-01-12T08:15:37Z
day: '01'
ddc:
- '000'
department:
- _id: DaAl
doi: 10.1145/3382734.3405751
ec_funded: 1
external_id:
  arxiv:
  - '2009.06043'
file:
- access_level: open_access
  checksum: 46fe4fc58a64eb04068115573f631d4c
  content_type: application/pdf
  creator: pdavies
  date_created: 2020-10-08T08:17:36Z
  date_updated: 2020-10-08T08:17:36Z
  file_id: '8624'
  file_name: ColoringArxiv.pdf
  file_size: 520051
  relation: main_file
  success: 1
file_date_updated: 2020-10-08T08:17:36Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 309-318
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
status: public
title: Simple, deterministic, constant-round coloring in the congested clique
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '7804'
abstract:
- lang: eng
  text: Besides pro-inflammatory roles, the ancient cytokine interleukin-17 (IL-17)
    modulates neural circuit function. We investigate IL-17 signaling in neurons,
    and the extent it can alter organismal phenotypes. We combine immunoprecipitation
    and mass spectrometry to biochemically characterize endogenous signaling complexes
    that function downstream of IL-17 receptors in C. elegans neurons. We identify
    the paracaspase MALT-1 as a critical output of the pathway. MALT1 mediates signaling
    from many immune receptors in mammals, but was not previously implicated in IL-17
    signaling or nervous system function. C. elegans MALT-1 forms a complex with homologs
    of Act1 and IRAK and appears to function both as a scaffold and a protease. MALT-1
    is expressed broadly in the C. elegans nervous system, and neuronal IL-17–MALT-1
    signaling regulates multiple phenotypes, including escape behavior, associative
    learning, immunity and longevity. Our data suggest MALT1 has an ancient role modulating
    neural circuit function downstream of IL-17 to remodel physiology and behavior.
article_number: '2099'
article_processing_charge: No
article_type: original
author:
- first_name: Sean M.
  full_name: Flynn, Sean M.
  last_name: Flynn
- first_name: Changchun
  full_name: Chen, Changchun
  last_name: Chen
- first_name: Murat
  full_name: Artan, Murat
  id: C407B586-6052-11E9-B3AE-7006E6697425
  last_name: Artan
  orcid: 0000-0001-8945-6992
- first_name: Stephen
  full_name: Barratt, Stephen
  last_name: Barratt
- first_name: Alastair
  full_name: Crisp, Alastair
  last_name: Crisp
- first_name: Geoffrey M.
  full_name: Nelson, Geoffrey M.
  last_name: Nelson
- first_name: Sew Yeu
  full_name: Peak-Chew, Sew Yeu
  last_name: Peak-Chew
- first_name: Farida
  full_name: Begum, Farida
  last_name: Begum
- first_name: Mark
  full_name: Skehel, Mark
  last_name: Skehel
- first_name: Mario
  full_name: De Bono, Mario
  id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87
  last_name: De Bono
  orcid: 0000-0001-8347-0443
citation:
  ama: Flynn SM, Chen C, Artan M, et al. MALT-1 mediates IL-17 neural signaling to
    regulate C. elegans behavior, immunity and longevity. <i>Nature Communications</i>.
    2020;11. doi:<a href="https://doi.org/10.1038/s41467-020-15872-y">10.1038/s41467-020-15872-y</a>
  apa: Flynn, S. M., Chen, C., Artan, M., Barratt, S., Crisp, A., Nelson, G. M., …
    de Bono, M. (2020). MALT-1 mediates IL-17 neural signaling to regulate C. elegans
    behavior, immunity and longevity. <i>Nature Communications</i>. Springer Nature.
    <a href="https://doi.org/10.1038/s41467-020-15872-y">https://doi.org/10.1038/s41467-020-15872-y</a>
  chicago: Flynn, Sean M., Changchun Chen, Murat Artan, Stephen Barratt, Alastair
    Crisp, Geoffrey M. Nelson, Sew Yeu Peak-Chew, Farida Begum, Mark Skehel, and Mario
    de Bono. “MALT-1 Mediates IL-17 Neural Signaling to Regulate C. Elegans Behavior,
    Immunity and Longevity.” <i>Nature Communications</i>. Springer Nature, 2020.
    <a href="https://doi.org/10.1038/s41467-020-15872-y">https://doi.org/10.1038/s41467-020-15872-y</a>.
  ieee: S. M. Flynn <i>et al.</i>, “MALT-1 mediates IL-17 neural signaling to regulate C.
    elegans behavior, immunity and longevity,” <i>Nature Communications</i>, vol.
    11. Springer Nature, 2020.
  ista: Flynn SM, Chen C, Artan M, Barratt S, Crisp A, Nelson GM, Peak-Chew SY, Begum
    F, Skehel M, de Bono M. 2020. MALT-1 mediates IL-17 neural signaling to regulate C.
    elegans behavior, immunity and longevity. Nature Communications. 11, 2099.
  mla: Flynn, Sean M., et al. “MALT-1 Mediates IL-17 Neural Signaling to Regulate C.
    Elegans Behavior, Immunity and Longevity.” <i>Nature Communications</i>, vol.
    11, 2099, Springer Nature, 2020, doi:<a href="https://doi.org/10.1038/s41467-020-15872-y">10.1038/s41467-020-15872-y</a>.
  short: S.M. Flynn, C. Chen, M. Artan, S. Barratt, A. Crisp, G.M. Nelson, S.Y. Peak-Chew,
    F. Begum, M. Skehel, M. de Bono, Nature Communications 11 (2020).
date_created: 2020-05-10T22:00:47Z
date_published: 2020-04-29T00:00:00Z
date_updated: 2023-08-21T06:21:14Z
day: '29'
ddc:
- '570'
department:
- _id: MaDe
doi: 10.1038/s41467-020-15872-y
external_id:
  isi:
  - '000531855500029'
file:
- access_level: open_access
  checksum: dce367abf2c1a1d15f58fe6f7de82893
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-11T10:36:33Z
  date_updated: 2020-07-14T12:48:03Z
  file_id: '7817'
  file_name: 2020_NatureComm_Flynn.pdf
  file_size: 4609120
  relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: '        11'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
publication: Nature Communications
publication_identifier:
  eissn:
  - '20411723'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: MALT-1 mediates IL-17 neural signaling to regulate C. elegans behavior, immunity
  and longevity
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: '7805'
abstract:
- lang: eng
  text: Plants as non-mobile organisms constantly integrate varying environmental
    signals to flexibly adapt their growth and development. Local fluctuations in
    water and nutrient availability, sudden changes in temperature or other abiotic
    and biotic stresses can trigger changes in the growth of plant organs. Multiple
    mutually interconnected hormonal signaling cascades act as essential endogenous
    translators of these exogenous signals in the adaptive responses of plants. Although
    the molecular backbones of hormone transduction pathways have been identified,
    the mechanisms underlying their interactions are largely unknown. Here, using
    genome wide transcriptome profiling we identify an auxin and cytokinin cross-talk
    component; SYNERGISTIC ON AUXIN AND CYTOKININ 1 (SYAC1), whose expression in roots
    is strictly dependent on both of these hormonal pathways. We show that SYAC1 is
    a regulator of secretory pathway, whose enhanced activity interferes with deposition
    of cell wall components and can fine-tune organ growth and sensitivity to soil
    pathogens.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
acknowledgement: We thank Daria Siekhaus, Jiri Friml and Alexander Johnson for critical
  reading of the manuscript, Peter Pimpl, Christian Luschnig and Liwen Jiang for sharing
  published material, Lesia Rodriguez Solovey for technical assistance. This work
  was supported by the Austrian Science Fund (FWF01_I1774S) to A.H., K.Ö., and E.B.,
  the German Research Foundation (DFG; He3424/6-1 to I.H.), by the People Programme
  (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013)
  under REA grant agreement n° [291734] (to N.C.), by the EU in the framework of the
  Marie-Curie FP7 COFUND People Programme through the award of an AgreenSkills+ fellowship
  No. 609398 (to J.S.) and by the Scientific Service Units of IST-Austria through
  resources provided by the Bioimaging Facility, the Life Science Facility. The IJPB
  benefits from the support of Saclay Plant Sciences-SPS (ANR-17-EUR-0007).
article_number: '2170'
article_processing_charge: No
article_type: original
author:
- first_name: Andrej
  full_name: Hurny, Andrej
  id: 4DC4AF46-F248-11E8-B48F-1D18A9856A87
  last_name: Hurny
  orcid: 0000-0003-3638-1426
- first_name: Candela
  full_name: Cuesta, Candela
  id: 33A3C818-F248-11E8-B48F-1D18A9856A87
  last_name: Cuesta
  orcid: 0000-0003-1923-2410
- first_name: Nicola
  full_name: Cavallari, Nicola
  id: 457160E6-F248-11E8-B48F-1D18A9856A87
  last_name: Cavallari
- first_name: Krisztina
  full_name: Ötvös, Krisztina
  id: 29B901B0-F248-11E8-B48F-1D18A9856A87
  last_name: Ötvös
  orcid: 0000-0002-5503-4983
- first_name: Jerome
  full_name: Duclercq, Jerome
  last_name: Duclercq
- first_name: Ladislav
  full_name: Dokládal, Ladislav
  last_name: Dokládal
- first_name: Juan C
  full_name: Montesinos López, Juan C
  id: 310A8E3E-F248-11E8-B48F-1D18A9856A87
  last_name: Montesinos López
  orcid: 0000-0001-9179-6099
- first_name: Marçal
  full_name: Gallemi, Marçal
  id: 460C6802-F248-11E8-B48F-1D18A9856A87
  last_name: Gallemi
  orcid: 0000-0003-4675-6893
- first_name: Hana
  full_name: Semeradova, Hana
  id: 42FE702E-F248-11E8-B48F-1D18A9856A87
  last_name: Semeradova
- first_name: Thomas
  full_name: Rauter, Thomas
  id: A0385D1A-9376-11EA-A47D-9862C5E3AB22
  last_name: Rauter
- first_name: Irene
  full_name: Stenzel, Irene
  last_name: Stenzel
- first_name: Geert
  full_name: Persiau, Geert
  last_name: Persiau
- first_name: Freia
  full_name: Benade, Freia
  last_name: Benade
- first_name: Rishikesh
  full_name: Bhalearo, Rishikesh
  last_name: Bhalearo
- first_name: Eva
  full_name: Sýkorová, Eva
  last_name: Sýkorová
- first_name: András
  full_name: Gorzsás, András
  last_name: Gorzsás
- first_name: Julien
  full_name: Sechet, Julien
  last_name: Sechet
- first_name: Gregory
  full_name: Mouille, Gregory
  last_name: Mouille
- first_name: Ingo
  full_name: Heilmann, Ingo
  last_name: Heilmann
- first_name: Geert
  full_name: De Jaeger, Geert
  last_name: De Jaeger
- first_name: Jutta
  full_name: Ludwig-Müller, Jutta
  last_name: Ludwig-Müller
- first_name: Eva
  full_name: Benková, Eva
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
citation:
  ama: Hurny A, Cuesta C, Cavallari N, et al. Synergistic on Auxin and Cytokinin 1
    positively regulates growth and attenuates soil pathogen resistance. <i>Nature
    Communications</i>. 2020;11. doi:<a href="https://doi.org/10.1038/s41467-020-15895-5">10.1038/s41467-020-15895-5</a>
  apa: Hurny, A., Cuesta, C., Cavallari, N., Ötvös, K., Duclercq, J., Dokládal, L.,
    … Benková, E. (2020). Synergistic on Auxin and Cytokinin 1 positively regulates
    growth and attenuates soil pathogen resistance. <i>Nature Communications</i>.
    Springer Nature. <a href="https://doi.org/10.1038/s41467-020-15895-5">https://doi.org/10.1038/s41467-020-15895-5</a>
  chicago: Hurny, Andrej, Candela Cuesta, Nicola Cavallari, Krisztina Ötvös, Jerome
    Duclercq, Ladislav Dokládal, Juan C Montesinos López, et al. “Synergistic on Auxin
    and Cytokinin 1 Positively Regulates Growth and Attenuates Soil Pathogen Resistance.”
    <i>Nature Communications</i>. Springer Nature, 2020. <a href="https://doi.org/10.1038/s41467-020-15895-5">https://doi.org/10.1038/s41467-020-15895-5</a>.
  ieee: A. Hurny <i>et al.</i>, “Synergistic on Auxin and Cytokinin 1 positively regulates
    growth and attenuates soil pathogen resistance,” <i>Nature Communications</i>,
    vol. 11. Springer Nature, 2020.
  ista: Hurny A, Cuesta C, Cavallari N, Ötvös K, Duclercq J, Dokládal L, Montesinos
    López JC, Gallemi M, Semerádová H, Rauter T, Stenzel I, Persiau G, Benade F, Bhalearo
    R, Sýkorová E, Gorzsás A, Sechet J, Mouille G, Heilmann I, De Jaeger G, Ludwig-Müller
    J, Benková E. 2020. Synergistic on Auxin and Cytokinin 1 positively regulates
    growth and attenuates soil pathogen resistance. Nature Communications. 11, 2170.
  mla: Hurny, Andrej, et al. “Synergistic on Auxin and Cytokinin 1 Positively Regulates
    Growth and Attenuates Soil Pathogen Resistance.” <i>Nature Communications</i>,
    vol. 11, 2170, Springer Nature, 2020, doi:<a href="https://doi.org/10.1038/s41467-020-15895-5">10.1038/s41467-020-15895-5</a>.
  short: A. Hurny, C. Cuesta, N. Cavallari, K. Ötvös, J. Duclercq, L. Dokládal, J.C.
    Montesinos López, M. Gallemi, H. Semerádová, T. Rauter, I. Stenzel, G. Persiau,
    F. Benade, R. Bhalearo, E. Sýkorová, A. Gorzsás, J. Sechet, G. Mouille, I. Heilmann,
    G. De Jaeger, J. Ludwig-Müller, E. Benková, Nature Communications 11 (2020).
date_created: 2020-05-10T22:00:48Z
date_published: 2020-05-01T00:00:00Z
date_updated: 2023-08-21T06:21:56Z
day: '01'
ddc:
- '570'
department:
- _id: EvBe
doi: 10.1038/s41467-020-15895-5
ec_funded: 1
external_id:
  isi:
  - '000531425900012'
  pmid:
  - '32358503'
file:
- access_level: open_access
  checksum: 2cba327c9e9416d75cb96be54b0fb441
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-06T07:47:53Z
  date_updated: 2020-10-06T07:47:53Z
  file_id: '8614'
  file_name: 2020_NatureComm_Hurny.pdf
  file_size: 4743576
  relation: main_file
  success: 1
file_date_updated: 2020-10-06T07:47:53Z
has_accepted_license: '1'
intvolume: '        11'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 2542D156-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: I 1774-B16
  name: Hormone cross-talk drives nutrient dependent plant development
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Nature Communications
publication_identifier:
  eissn:
  - '20411723'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates
  soil pathogen resistance
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11
year: '2020'
...
---
_id: '7806'
abstract:
- lang: eng
  text: "We consider the following decision problem EMBEDk→d in computational topology
    (where k ≤ d are fixed positive integers): Given a finite simplicial complex K
    of dimension k, does there exist a (piecewise-linear) embedding of K into ℝd?\r\nThe
    special case EMBED1→2 is graph planarity, which is decidable in linear time, as
    shown by Hopcroft and Tarjan. In higher dimensions, EMBED2→3 and EMBED3→3 are
    known to be decidable (as well as NP-hard), and recent results of Čadek et al.
    in computational homotopy theory, in combination with the classical Haefliger–Weber
    theorem in geometric topology, imply that EMBEDk→d can be solved in polynomial
    time for any fixed pair (k, d) of dimensions in the so-called metastable range
    .\r\nHere, by contrast, we prove that EMBEDk→d is algorithmically undecidable
    for almost all pairs of dimensions outside the metastable range, namely for .
    This almost completely resolves the decidability vs. undecidability of EMBEDk→d
    in higher dimensions and establishes a sharp dichotomy between polynomial-time
    solvability and undecidability.\r\nOur result complements (and in a wide range
    of dimensions strengthens) earlier results of Matoušek, Tancer, and the second
    author, who showed that EMBEDk→d is undecidable for 4 ≤ k ϵ {d – 1, d}, and NP-hard
    for all remaining pairs (k, d) outside the metastable range and satisfying d ≥
    4."
article_processing_charge: No
author:
- first_name: Marek
  full_name: Filakovský, Marek
  id: 3E8AF77E-F248-11E8-B48F-1D18A9856A87
  last_name: Filakovský
- first_name: Uli
  full_name: Wagner, Uli
  id: 36690CA2-F248-11E8-B48F-1D18A9856A87
  last_name: Wagner
  orcid: 0000-0002-1494-0568
- first_name: Stephan Y
  full_name: Zhechev, Stephan Y
  id: 3AA52972-F248-11E8-B48F-1D18A9856A87
  last_name: Zhechev
citation:
  ama: 'Filakovský M, Wagner U, Zhechev SY. Embeddability of simplicial complexes
    is undecidable. In: <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete
    Algorithms</i>. Vol 2020-January. SIAM; 2020:767-785. doi:<a href="https://doi.org/10.1137/1.9781611975994.47">10.1137/1.9781611975994.47</a>'
  apa: 'Filakovský, M., Wagner, U., &#38; Zhechev, S. Y. (2020). Embeddability of
    simplicial complexes is undecidable. In <i>Proceedings of the Annual ACM-SIAM
    Symposium on Discrete Algorithms</i> (Vol. 2020–January, pp. 767–785). Salt Lake
    City, UT, United States: SIAM. <a href="https://doi.org/10.1137/1.9781611975994.47">https://doi.org/10.1137/1.9781611975994.47</a>'
  chicago: Filakovský, Marek, Uli Wagner, and Stephan Y Zhechev. “Embeddability of
    Simplicial Complexes Is Undecidable.” In <i>Proceedings of the Annual ACM-SIAM
    Symposium on Discrete Algorithms</i>, 2020–January:767–85. SIAM, 2020. <a href="https://doi.org/10.1137/1.9781611975994.47">https://doi.org/10.1137/1.9781611975994.47</a>.
  ieee: M. Filakovský, U. Wagner, and S. Y. Zhechev, “Embeddability of simplicial
    complexes is undecidable,” in <i>Proceedings of the Annual ACM-SIAM Symposium
    on Discrete Algorithms</i>, Salt Lake City, UT, United States, 2020, vol. 2020–January,
    pp. 767–785.
  ista: 'Filakovský M, Wagner U, Zhechev SY. 2020. Embeddability of simplicial complexes
    is undecidable. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms.
    SODA: Symposium on Discrete Algorithms vol. 2020–January, 767–785.'
  mla: Filakovský, Marek, et al. “Embeddability of Simplicial Complexes Is Undecidable.”
    <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms</i>, vol.
    2020–January, SIAM, 2020, pp. 767–85, doi:<a href="https://doi.org/10.1137/1.9781611975994.47">10.1137/1.9781611975994.47</a>.
  short: M. Filakovský, U. Wagner, S.Y. Zhechev, in:, Proceedings of the Annual ACM-SIAM
    Symposium on Discrete Algorithms, SIAM, 2020, pp. 767–785.
conference:
  end_date: 2020-01-08
  location: Salt Lake City, UT, United States
  name: 'SODA: Symposium on Discrete Algorithms'
  start_date: 2020-01-05
date_created: 2020-05-10T22:00:48Z
date_published: 2020-01-01T00:00:00Z
date_updated: 2021-01-12T08:15:38Z
day: '01'
department:
- _id: UlWa
doi: 10.1137/1.9781611975994.47
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1137/1.9781611975994.47
month: '01'
oa: 1
oa_version: Published Version
page: 767-785
project:
- _id: 26611F5C-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P31312
  name: Algorithms for Embeddings and Homotopy Theory
publication: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
publication_identifier:
  isbn:
  - '9781611975994'
publication_status: published
publisher: SIAM
quality_controlled: '1'
scopus_import: 1
status: public
title: Embeddability of simplicial complexes is undecidable
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2020-January
year: '2020'
...
---
_id: '7807'
abstract:
- lang: eng
  text: "In a straight-line embedded triangulation of a point set P in the plane,
    removing an inner edge and—provided the resulting quadrilateral is convex—adding
    the other diagonal is called an edge flip. The (edge) flip graph has all triangulations
    as vertices, and a pair of triangulations is adjacent if they can be obtained
    from each other by an edge flip. The goal of this paper is to contribute to a
    better understanding of the flip graph, with an emphasis on its connectivity.\r\nFor
    sets in general position, it is known that every triangulation allows at least
    edge flips (a tight bound) which gives the minimum degree of any flip graph for
    n points. We show that for every point set P in general position, the flip graph
    is at least -vertex connected. Somewhat more strongly, we show that the vertex
    connectivity equals the minimum degree occurring in the flip graph, i.e. the minimum
    number of flippable edges in any triangulation of P, provided P is large enough.
    Finally, we exhibit some of the geometry of the flip graph by showing that the
    flip graph can be covered by 1-skeletons of polytopes of dimension (products of
    associahedra).\r\nA corresponding result ((n – 3)-vertex connectedness) can be
    shown for the bistellar flip graph of partial triangulations, i.e. the set of
    all triangulations of subsets of P which contain all extreme points of P. This
    will be treated separately in a second part."
article_processing_charge: No
arxiv: 1
author:
- first_name: Uli
  full_name: Wagner, Uli
  id: 36690CA2-F248-11E8-B48F-1D18A9856A87
  last_name: Wagner
  orcid: 0000-0002-1494-0568
- first_name: Emo
  full_name: Welzl, Emo
  last_name: Welzl
citation:
  ama: 'Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane
    (Part I: Edge flips). In: <i>Proceedings of the Annual ACM-SIAM Symposium on Discrete
    Algorithms</i>. Vol 2020-January. SIAM; 2020:2823-2841. doi:<a href="https://doi.org/10.1137/1.9781611975994.172">10.1137/1.9781611975994.172</a>'
  apa: 'Wagner, U., &#38; Welzl, E. (2020). Connectivity of triangulation flip graphs
    in the plane (Part I: Edge flips). In <i>Proceedings of the Annual ACM-SIAM Symposium
    on Discrete Algorithms</i> (Vol. 2020–January, pp. 2823–2841). Salt Lake City,
    UT, United States: SIAM. <a href="https://doi.org/10.1137/1.9781611975994.172">https://doi.org/10.1137/1.9781611975994.172</a>'
  chicago: 'Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs
    in the Plane (Part I: Edge Flips).” In <i>Proceedings of the Annual ACM-SIAM Symposium
    on Discrete Algorithms</i>, 2020–January:2823–41. SIAM, 2020. <a href="https://doi.org/10.1137/1.9781611975994.172">https://doi.org/10.1137/1.9781611975994.172</a>.'
  ieee: 'U. Wagner and E. Welzl, “Connectivity of triangulation flip graphs in the
    plane (Part I: Edge flips),” in <i>Proceedings of the Annual ACM-SIAM Symposium
    on Discrete Algorithms</i>, Salt Lake City, UT, United States, 2020, vol. 2020–January,
    pp. 2823–2841.'
  ista: 'Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the
    plane (Part I: Edge flips). Proceedings of the Annual ACM-SIAM Symposium on Discrete
    Algorithms. SODA: Symposium on Discrete Algorithms vol. 2020–January, 2823–2841.'
  mla: 'Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in
    the Plane (Part I: Edge Flips).” <i>Proceedings of the Annual ACM-SIAM Symposium
    on Discrete Algorithms</i>, vol. 2020–January, SIAM, 2020, pp. 2823–41, doi:<a
    href="https://doi.org/10.1137/1.9781611975994.172">10.1137/1.9781611975994.172</a>.'
  short: U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on
    Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
conference:
  end_date: 2020-01-08
  location: Salt Lake City, UT, United States
  name: 'SODA: Symposium on Discrete Algorithms'
  start_date: 2020-01-05
date_created: 2020-05-10T22:00:48Z
date_published: 2020-01-01T00:00:00Z
date_updated: 2023-08-04T08:51:07Z
day: '01'
department:
- _id: UlWa
doi: 10.1137/1.9781611975994.172
external_id:
  arxiv:
  - '2003.13557'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1137/1.9781611975994.172
month: '01'
oa: 1
oa_version: Submitted Version
page: 2823-2841
publication: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
publication_identifier:
  isbn:
  - '9781611975994'
publication_status: published
publisher: SIAM
quality_controlled: '1'
related_material:
  record:
  - id: '12129'
    relation: later_version
    status: public
scopus_import: 1
status: public
title: 'Connectivity of triangulation flip graphs in the plane (Part I: Edge flips)'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2020-January
year: '2020'
...
---
_id: '7808'
abstract:
- lang: eng
  text: Quantization converts neural networks into low-bit fixed-point computations
    which can be carried out by efficient integer-only hardware, and is standard practice
    for the deployment of neural networks on real-time embedded devices. However,
    like their real-numbered counterpart, quantized networks are not immune to malicious
    misclassification caused by adversarial attacks. We investigate how quantization
    affects a network’s robustness to adversarial attacks, which is a formal verification
    question. We show that neither robustness nor non-robustness are monotonic with
    changing the number of bits for the representation and, also, neither are preserved
    by quantization from a real-numbered network. For this reason, we introduce a
    verification method for quantized neural networks which, using SMT solving over
    bit-vectors, accounts for their exact, bit-precise semantics. We built a tool
    and analyzed the effect of quantization on a classifier for the MNIST dataset.
    We demonstrate that, compared to our method, existing methods for the analysis
    of real-numbered networks often derive false conclusions about their quantizations,
    both when determining robustness and when detecting attacks, and that existing
    methods for quantized networks often miss attacks. Furthermore, we applied our
    method beyond robustness, showing how the number of bits in quantization enlarges
    the gender bias of a predictor for students’ grades.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Mirco
  full_name: Giacobbe, Mirco
  id: 3444EA5E-F248-11E8-B48F-1D18A9856A87
  last_name: Giacobbe
  orcid: 0000-0001-8180-0904
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
- first_name: Mathias
  full_name: Lechner, Mathias
  id: 3DC22916-F248-11E8-B48F-1D18A9856A87
  last_name: Lechner
citation:
  ama: 'Giacobbe M, Henzinger TA, Lechner M. How many bits does it take to quantize
    your neural network? In: <i>International Conference on Tools and Algorithms for
    the Construction and Analysis of Systems</i>. Vol 12079. Springer Nature; 2020:79-97.
    doi:<a href="https://doi.org/10.1007/978-3-030-45237-7_5">10.1007/978-3-030-45237-7_5</a>'
  apa: 'Giacobbe, M., Henzinger, T. A., &#38; Lechner, M. (2020). How many bits does
    it take to quantize your neural network? In <i>International Conference on Tools
    and Algorithms for the Construction and Analysis of Systems</i> (Vol. 12079, pp.
    79–97). Dublin, Ireland: Springer Nature. <a href="https://doi.org/10.1007/978-3-030-45237-7_5">https://doi.org/10.1007/978-3-030-45237-7_5</a>'
  chicago: Giacobbe, Mirco, Thomas A Henzinger, and Mathias Lechner. “How Many Bits
    Does It Take to Quantize Your Neural Network?” In <i>International Conference
    on Tools and Algorithms for the Construction and Analysis of Systems</i>, 12079:79–97.
    Springer Nature, 2020. <a href="https://doi.org/10.1007/978-3-030-45237-7_5">https://doi.org/10.1007/978-3-030-45237-7_5</a>.
  ieee: M. Giacobbe, T. A. Henzinger, and M. Lechner, “How many bits does it take
    to quantize your neural network?,” in <i>International Conference on Tools and
    Algorithms for the Construction and Analysis of Systems</i>, Dublin, Ireland,
    2020, vol. 12079, pp. 79–97.
  ista: 'Giacobbe M, Henzinger TA, Lechner M. 2020. How many bits does it take to
    quantize your neural network? International Conference on Tools and Algorithms
    for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for
    the Construction and Analysis of Systems, LNCS, vol. 12079, 79–97.'
  mla: Giacobbe, Mirco, et al. “How Many Bits Does It Take to Quantize Your Neural
    Network?” <i>International Conference on Tools and Algorithms for the Construction
    and Analysis of Systems</i>, vol. 12079, Springer Nature, 2020, pp. 79–97, doi:<a
    href="https://doi.org/10.1007/978-3-030-45237-7_5">10.1007/978-3-030-45237-7_5</a>.
  short: M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on
    Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature,
    2020, pp. 79–97.
conference:
  end_date: 2020-04-30
  location: Dublin, Ireland
  name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
  start_date: 2020-04-25
date_created: 2020-05-10T22:00:49Z
date_published: 2020-04-17T00:00:00Z
date_updated: 2023-06-23T07:01:11Z
day: '17'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-45237-7_5
file:
- access_level: open_access
  checksum: f19905a42891fe5ce93d69143fa3f6fb
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-26T12:48:15Z
  date_updated: 2020-07-14T12:48:03Z
  file_id: '7893'
  file_name: 2020_TACAS_Giacobbe.pdf
  file_size: 2744030
  relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: '     12079'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 79-97
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: International Conference on Tools and Algorithms for the Construction
  and Analysis of Systems
publication_identifier:
  eissn:
  - '16113349'
  isbn:
  - '9783030452360'
  issn:
  - '03029743'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '11362'
    relation: dissertation_contains
    status: public
scopus_import: 1
status: public
title: How many bits does it take to quantize your neural network?
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12079
year: '2020'
...
---
_id: '7810'
abstract:
- lang: eng
  text: "Interprocedural data-flow analyses form an expressive and useful paradigm
    of numerous static analysis applications, such as live variables analysis, alias
    analysis and null pointers analysis. The most widely-used framework for interprocedural
    data-flow analysis is IFDS, which encompasses distributive data-flow functions
    over a finite domain. On-demand data-flow analyses restrict the focus of the analysis
    on specific program locations and data facts. This setting provides a natural
    split between (i) an offline (or preprocessing) phase, where the program is partially
    analyzed and analysis summaries are created, and (ii) an online (or query) phase,
    where analysis queries arrive on demand and the summaries are used to speed up
    answering queries.\r\nIn this work, we consider on-demand IFDS analyses where
    the queries concern program locations of the same procedure (aka same-context
    queries). We exploit the fact that flow graphs of programs have low treewidth
    to develop faster algorithms that are space and time optimal for many common data-flow
    analyses, in both the preprocessing and the query phase. We also use treewidth
    to develop query solutions that are embarrassingly parallelizable, i.e. the total
    work for answering each query is split to a number of threads such that each thread
    performs only a constant amount of work. Finally, we implement a static analyzer
    based on our algorithms, and perform a series of on-demand analysis experiments
    on standard benchmarks. Our experimental results show a drastic speed-up of the
    queries after only a lightweight preprocessing phase, which significantly outperforms
    existing techniques."
alternative_title:
- LNCS
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: Amir Kafshdar
  full_name: Goharshady, Amir Kafshdar
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
- first_name: Rasmus
  full_name: Ibsen-Jensen, Rasmus
  id: 3B699956-F248-11E8-B48F-1D18A9856A87
  last_name: Ibsen-Jensen
  orcid: 0000-0003-4783-0389
- first_name: Andreas
  full_name: Pavlogiannis, Andreas
  id: 49704004-F248-11E8-B48F-1D18A9856A87
  last_name: Pavlogiannis
  orcid: 0000-0002-8943-0722
citation:
  ama: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Optimal and perfectly
    parallel algorithms for on-demand data-flow analysis. In: <i>European Symposium
    on Programming</i>. Vol 12075. Springer Nature; 2020:112-140. doi:<a href="https://doi.org/10.1007/978-3-030-44914-8_5">10.1007/978-3-030-44914-8_5</a>'
  apa: 'Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &#38; Pavlogiannis, A.
    (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis.
    In <i>European Symposium on Programming</i> (Vol. 12075, pp. 112–140). Dublin,
    Ireland: Springer Nature. <a href="https://doi.org/10.1007/978-3-030-44914-8_5">https://doi.org/10.1007/978-3-030-44914-8_5</a>'
  chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen,
    and Andreas Pavlogiannis. “Optimal and Perfectly Parallel Algorithms for On-Demand
    Data-Flow Analysis.” In <i>European Symposium on Programming</i>, 12075:112–40.
    Springer Nature, 2020. <a href="https://doi.org/10.1007/978-3-030-44914-8_5">https://doi.org/10.1007/978-3-030-44914-8_5</a>.
  ieee: K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal
    and perfectly parallel algorithms for on-demand data-flow analysis,” in <i>European
    Symposium on Programming</i>, Dublin, Ireland, 2020, vol. 12075, pp. 112–140.
  ista: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2020. Optimal
    and perfectly parallel algorithms for on-demand data-flow analysis. European Symposium
    on Programming. ESOP: Programming Languages and Systems, LNCS, vol. 12075, 112–140.'
  mla: Chatterjee, Krishnendu, et al. “Optimal and Perfectly Parallel Algorithms for
    On-Demand Data-Flow Analysis.” <i>European Symposium on Programming</i>, vol.
    12075, Springer Nature, 2020, pp. 112–40, doi:<a href="https://doi.org/10.1007/978-3-030-44914-8_5">10.1007/978-3-030-44914-8_5</a>.
  short: K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European
    Symposium on Programming, Springer Nature, 2020, pp. 112–140.
conference:
  end_date: 2020-04-30
  location: Dublin, Ireland
  name: 'ESOP: Programming Languages and Systems'
  start_date: 2020-04-25
date_created: 2020-05-10T22:00:50Z
date_published: 2020-04-18T00:00:00Z
date_updated: 2025-06-02T08:53:42Z
day: '18'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-030-44914-8_5
external_id:
  isi:
  - '000681656800005'
file:
- access_level: open_access
  checksum: 8618b80f4cf7b39a60e61a6445ad9807
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-26T13:34:48Z
  date_updated: 2020-07-14T12:48:03Z
  file_id: '7895'
  file_name: 2020_LNCS_Chatterjee.pdf
  file_size: 651250
  relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: '     12075'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 112-140
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
  name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
    Contracts
- _id: 267066CE-B435-11E9-9278-68D0E5697425
  name: Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies
publication: European Symposium on Programming
publication_identifier:
  eissn:
  - '16113349'
  isbn:
  - '9783030449131'
  issn:
  - '03029743'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '8934'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Optimal and perfectly parallel algorithms for on-demand data-flow analysis
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: 12075
year: '2020'
...
