---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19700'
abstract:
- lang: eng
  text: The JWST discovery of "little red dots" (LRDs) is reshaping our picture of
    the early Universe, yet the physical mechanisms driving their compact size and
    UV-optical colors remain elusive. Here, we report an unusually bright LRD (zspec
    = 3.1) observed as part of the RUBIES program. This LRD exhibits broad emission
    lines (FWHM ∼ 4000 km s−1), a blue UV continuum, a clear Balmer break, and a red
    continuum sampled out to rest-frame 4 μm with MIRI. We develop a new joint galaxy
    and active galactic nucleus (AGN) model within the Prospector Bayesian inference
    framework and perform spectrophotometric modeling using NIRCam, MIRI, and NIRSpec/Prism
    observations. Our fiducial model reveals a M* ∼ 109 M⊙ galaxy alongside a dust-reddened
    AGN driving the optical emission. Explaining the rest-frame optical color as a
    reddened AGN requires AV ≳ 3, suggesting that a great majority of the accretion
    disk energy is reradiated as dust emission. Yet, despite clear AGN signatures,
    we find a surprising lack of hot torus emission, which implies that either the
    dust emission in this object must be cold, or the red continuum must instead be
    driven by a massive, evolved stellar population of the host galaxy—seemingly inconsistent
    with the high-EW broad lines (Hα rest-frame EW ∼ 800 Å). The widths and luminosities
    of Pa-β, Pa-δ, Pa-γ, and Hα imply a modest black hole mass of MBH ∼ 108 M⊙. Additionally,
    we identify a narrow blueshifted He i λ 1.083 μm absorption feature in NIRSpec/G395M
    spectra, signaling an ionized outflow with kinetic energy up to ∼1% the luminosity
    of the AGN. The low redshift of RUBIES-BLAGN-1, combined with the depth and richness
    of the JWST imaging and spectroscopic observations, provides a unique opportunity
    to build a physical model for these so-far mysterious LRDs, which may prove to
    be a crucial phase in the early formation of massive galaxies and their supermassive
    black holes.
acknowledgement: 'B.W. and J.L. acknowledge support from JWST-GO-04233.009-A. R.L.D.
  is supported by the Australian Research Council through the Discovery Early Career
  Researcher Award (DECRA) Fellowship DE240100136 funded by the Australian Government.
  T.B.M. was supported by a CIERA postdoctoral fellowship. The Cosmic Dawn Center
  is funded by the Danish National Research Foundation (DNRF) under grant #140. This
  research was supported by the International Space Science Institute (ISSI) in Bern,
  through ISSI International Team project #562 (First Light at Cosmic Dawn: Exploiting
  the James Webb Space Telescope Revolution). The JWST data presented in this article
  were obtained from the Mikulski Archive for Space Telescopes (MAST) at the Space
  Telescope Science Institute. The specific observations analyzed here can be accessed
  via DOI:10.17909/c3t4-9p39. Computations for this research were performed on the
  Pennsylvania State University''s Institute for Computational and Data Sciences''
  Roar supercomputer. This publication made use of the NASA Astrophysical Data System
  for bibliographic information.'
article_number: '121'
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Bingjie
  full_name: Wang, Bingjie
  last_name: Wang
- first_name: Anna
  full_name: De Graaff, Anna
  last_name: De Graaff
- first_name: Rebecca L.
  full_name: Davies, Rebecca L.
  last_name: Davies
- first_name: Jenny E.
  full_name: Greene, Jenny E.
  last_name: Greene
- first_name: Joel
  full_name: Leja, Joel
  last_name: Leja
- first_name: Gabriel B.
  full_name: Brammer, Gabriel B.
  last_name: Brammer
- first_name: Andy D.
  full_name: Goulding, Andy D.
  last_name: Goulding
- first_name: Tim B.
  full_name: Miller, Tim B.
  last_name: Miller
- first_name: Katherine A.
  full_name: Suess, Katherine A.
  last_name: Suess
- first_name: Andrea
  full_name: Weibel, Andrea
  last_name: Weibel
- first_name: Christina C.
  full_name: Williams, Christina C.
  last_name: Williams
- first_name: Rachel
  full_name: Bezanson, Rachel
  last_name: Bezanson
- first_name: Leindert A.
  full_name: Boogaard, Leindert A.
  last_name: Boogaard
- first_name: Nikko J.
  full_name: Cleri, Nikko J.
  last_name: Cleri
- first_name: Michaela
  full_name: Hirschmann, Michaela
  last_name: Hirschmann
- first_name: Harley
  full_name: Katz, Harley
  last_name: Katz
- first_name: Ivo
  full_name: Labbé, Ivo
  last_name: Labbé
- first_name: Michael V.
  full_name: Maseda, Michael V.
  last_name: Maseda
- first_name: Jorryt J
  full_name: Matthee, Jorryt J
  id: 7439a258-f3c0-11ec-9501-9df22fe06720
  last_name: Matthee
  orcid: 0000-0003-2871-127X
- first_name: Ian
  full_name: Mcconachie, Ian
  last_name: Mcconachie
- first_name: Rohan P.
  full_name: Naidu, Rohan P.
  last_name: Naidu
- first_name: Pascal A.
  full_name: Oesch, Pascal A.
  last_name: Oesch
- first_name: Hans Walter
  full_name: Rix, Hans Walter
  last_name: Rix
- first_name: David J.
  full_name: Setton, David J.
  last_name: Setton
- first_name: Katherine E.
  full_name: Whitaker, Katherine E.
  last_name: Whitaker
citation:
  ama: 'Wang B, De Graaff A, Davies RL, et al. RUBIES: JWST/NIRSpec confirmation of
    an infrared-luminous, broad-line Little Red Dot with an ionized outflow. <i>The
    Astrophysical Journal</i>. 2025;984(2). doi:<a href="https://doi.org/10.3847/1538-4357/adc1ca">10.3847/1538-4357/adc1ca</a>'
  apa: 'Wang, B., De Graaff, A., Davies, R. L., Greene, J. E., Leja, J., Brammer,
    G. B., … Whitaker, K. E. (2025). RUBIES: JWST/NIRSpec confirmation of an infrared-luminous,
    broad-line Little Red Dot with an ionized outflow. <i>The Astrophysical Journal</i>.
    IOP Publishing. <a href="https://doi.org/10.3847/1538-4357/adc1ca">https://doi.org/10.3847/1538-4357/adc1ca</a>'
  chicago: 'Wang, Bingjie, Anna De Graaff, Rebecca L. Davies, Jenny E. Greene, Joel
    Leja, Gabriel B. Brammer, Andy D. Goulding, et al. “RUBIES: JWST/NIRSpec Confirmation
    of an Infrared-Luminous, Broad-Line Little Red Dot with an Ionized Outflow.” <i>The
    Astrophysical Journal</i>. IOP Publishing, 2025. <a href="https://doi.org/10.3847/1538-4357/adc1ca">https://doi.org/10.3847/1538-4357/adc1ca</a>.'
  ieee: 'B. Wang <i>et al.</i>, “RUBIES: JWST/NIRSpec confirmation of an infrared-luminous,
    broad-line Little Red Dot with an ionized outflow,” <i>The Astrophysical Journal</i>,
    vol. 984, no. 2. IOP Publishing, 2025.'
  ista: 'Wang B, De Graaff A, Davies RL, Greene JE, Leja J, Brammer GB, Goulding AD,
    Miller TB, Suess KA, Weibel A, Williams CC, Bezanson R, Boogaard LA, Cleri NJ,
    Hirschmann M, Katz H, Labbé I, Maseda MV, Matthee JJ, Mcconachie I, Naidu RP,
    Oesch PA, Rix HW, Setton DJ, Whitaker KE. 2025. RUBIES: JWST/NIRSpec confirmation
    of an infrared-luminous, broad-line Little Red Dot with an ionized outflow. The
    Astrophysical Journal. 984(2), 121.'
  mla: 'Wang, Bingjie, et al. “RUBIES: JWST/NIRSpec Confirmation of an Infrared-Luminous,
    Broad-Line Little Red Dot with an Ionized Outflow.” <i>The Astrophysical Journal</i>,
    vol. 984, no. 2, 121, IOP Publishing, 2025, doi:<a href="https://doi.org/10.3847/1538-4357/adc1ca">10.3847/1538-4357/adc1ca</a>.'
  short: B. Wang, A. De Graaff, R.L. Davies, J.E. Greene, J. Leja, G.B. Brammer, A.D.
    Goulding, T.B. Miller, K.A. Suess, A. Weibel, C.C. Williams, R. Bezanson, L.A.
    Boogaard, N.J. Cleri, M. Hirschmann, H. Katz, I. Labbé, M.V. Maseda, J.J. Matthee,
    I. Mcconachie, R.P. Naidu, P.A. Oesch, H.W. Rix, D.J. Setton, K.E. Whitaker, The
    Astrophysical Journal 984 (2025).
date_created: 2025-05-18T22:02:49Z
date_published: 2025-05-09T00:00:00Z
date_updated: 2026-02-16T12:42:43Z
day: '09'
ddc:
- '520'
department:
- _id: JoMa
doi: 10.3847/1538-4357/adc1ca
external_id:
  arxiv:
  - '2403.02304'
  isi:
  - '001481589300001'
file:
- access_level: open_access
  checksum: 1a9ff4516d11808bc6947744473c9fc2
  content_type: application/pdf
  creator: dernst
  date_created: 2025-05-19T07:08:39Z
  date_updated: 2025-05-19T07:08:39Z
  file_id: '19707'
  file_name: 2025_AstrophysicalJour_Wang.pdf
  file_size: 3522072
  relation: main_file
  success: 1
file_date_updated: 2025-05-19T07:08:39Z
fulldoi: https://doi.org/10.3847/1538-4357/adc1ca
has_accepted_license: '1'
intvolume: '       984'
isi: 1
issue: '2'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal
publication_identifier:
  eissn:
  - 1538-4357
  issn:
  - 0004-637X
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'RUBIES: JWST/NIRSpec confirmation of an infrared-luminous, broad-line Little
  Red Dot with an ionized outflow'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 984
year: '2025'
...
---
APC_amount: 2320,48 EUR
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '19705'
abstract:
- lang: eng
  text: A maximal realization of the two-dimensional Pauli operator, subject to Aharonov–Bohm
    magnetic field, is investigated. Contrary to the case of the Pauli operator with
    regular magnetic potentials, it is shown that both components of the Pauli operator
    are critical. Asymptotics of the weakly coupled eigenvalues, generated by electric
    (not necessarily self-adjoint) perturbations, are derived.
acknowledgement: Thanks belong to Johannes Ageskov and Matˇej Tuˇsek for helpful discussions
  on some technical details. M. F. would further like to acknowledge support for research
  on this paper from the European Unions Horizon 2020 research and innovation programme
  under the Marie Sklodowska-Curie Grant Agreement No. 101034413 as well as support
  by funding from Villum Fonden through the QMATH Centreof Excellence Grant No. 10059.
  D. K. was supported by the EXPRO Grant No.20-17749X of the Czech Science Foundation
  (GACR).
article_number: '2550011'
article_processing_charge: Yes (in subscription journal)
article_type: original
arxiv: 1
author:
- first_name: Marie
  full_name: Fialova, Marie
  id: e9c9844d-9e21-11ec-b482-f96fc09f7c4d
  last_name: Fialova
- first_name: David
  full_name: Krejčiřík, David
  last_name: Krejčiřík
citation:
  ama: Fialova M, Krejčiřík D. Virtual bound states of the Pauli operator with an
    Aharonov–Bohm potential. <i>Reviews in Mathematical Physics</i>. 2025;37(6). doi:<a
    href="https://doi.org/10.1142/S0129055X25500114">10.1142/S0129055X25500114</a>
  apa: Fialova, M., &#38; Krejčiřík, D. (2025). Virtual bound states of the Pauli
    operator with an Aharonov–Bohm potential. <i>Reviews in Mathematical Physics</i>.
    World Scientific Publishing. <a href="https://doi.org/10.1142/S0129055X25500114">https://doi.org/10.1142/S0129055X25500114</a>
  chicago: Fialova, Marie, and David Krejčiřík. “Virtual Bound States of the Pauli
    Operator with an Aharonov–Bohm Potential.” <i>Reviews in Mathematical Physics</i>.
    World Scientific Publishing, 2025. <a href="https://doi.org/10.1142/S0129055X25500114">https://doi.org/10.1142/S0129055X25500114</a>.
  ieee: M. Fialova and D. Krejčiřík, “Virtual bound states of the Pauli operator with
    an Aharonov–Bohm potential,” <i>Reviews in Mathematical Physics</i>, vol. 37,
    no. 6. World Scientific Publishing, 2025.
  ista: Fialova M, Krejčiřík D. 2025. Virtual bound states of the Pauli operator with
    an Aharonov–Bohm potential. Reviews in Mathematical Physics. 37(6), 2550011.
  mla: Fialova, Marie, and David Krejčiřík. “Virtual Bound States of the Pauli Operator
    with an Aharonov–Bohm Potential.” <i>Reviews in Mathematical Physics</i>, vol.
    37, no. 6, 2550011, World Scientific Publishing, 2025, doi:<a href="https://doi.org/10.1142/S0129055X25500114">10.1142/S0129055X25500114</a>.
  short: M. Fialova, D. Krejčiřík, Reviews in Mathematical Physics 37 (2025).
date_created: 2025-05-18T22:02:51Z
date_published: 2025-07-01T00:00:00Z
date_updated: 2026-05-06T13:03:25Z
day: '01'
ddc:
- '530'
- '510'
department:
- _id: RoSe
doi: 10.1142/S0129055X25500114
ec_funded: 1
external_id:
  arxiv:
  - '2501.17029'
  isi:
  - '001481012500001'
file:
- access_level: open_access
  checksum: 559d97ee2da28bf0bd2c6af507f3a914
  content_type: application/pdf
  creator: dernst
  date_created: 2025-12-30T08:23:12Z
  date_updated: 2025-12-30T08:23:12Z
  file_id: '20893'
  file_name: 2025_ReviewsMathPhysics_Fialova.pdf
  file_size: 484646
  relation: main_file
  success: 1
file_date_updated: 2025-12-30T08:23:12Z
fulldoi: https://doi.org/10.1142/S0129055X25500114
has_accepted_license: '1'
intvolume: '        37'
isi: 1
issue: '6'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
  call_identifier: H2020
  grant_number: '101034413'
  name: 'IST-BRIDGE: International postdoctoral program'
publication: Reviews in Mathematical Physics
publication_identifier:
  eissn:
  - 1793-6659
  issn:
  - 0129-055X
publication_status: published
publisher: World Scientific Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Virtual bound states of the Pauli operator with an Aharonov–Bohm potential
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 37
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19712'
abstract:
- lang: eng
  text: "We study recent algebraic attacks (Briaud-Øygarden EC’23) on the Regular
    Syndrome Decoding (RSD) problem and the assumptions underlying the correctness
    of their attacks’ complexity estimates. By relating these assumptions to interesting
    algebraic-combinatorial problems, we prove that they do not hold in full generality.
    However, we show that they are (asymptotically) true for most parameter sets,
    supporting the soundness of algebraic attacks on RSD. Further, we prove—without
    any heuristics or assumptions—that RSD can be broken in polynomial time whenever
    the number of error blocks times the square of the size of error blocks is larger
    than 2 times the square of the dimension of the code.\r\nAdditionally, we use
    our methodology to attack a variant of the Learning With Errors problem where
    each error term lies in a fixed set of constant size. We prove that this problem
    can be broken in polynomial time, given a sufficient number of samples. This result
    improves on the seminal work by Arora and Ge (ICALP’11), as the attack’s time
    complexity is independent of the LWE modulus."
acknowledgement: We thank Pierre Briaud and Morten Øygarden for helpful discussions
  on algebraic attacks on RSD, and the EC reviewers for helpful comments.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Miguel
  full_name: Cueto Noval, Miguel
  id: ffc563a3-f6e0-11ea-865d-e3cce03d17cc
  last_name: Cueto Noval
  orcid: 0000-0002-2505-4246
- first_name: Simon-Philipp
  full_name: Merz, Simon-Philipp
  last_name: Merz
- first_name: Patrick
  full_name: Stählin, Patrick
  last_name: Stählin
- first_name: Akin
  full_name: Ünal, Akin
  id: f6b56fb6-dc63-11ee-9dbf-f6780863a85a
  last_name: Ünal
  orcid: 0000-0002-8929-0221
citation:
  ama: 'Cueto Noval M, Merz S-P, Stählin P, Ünal A. On the soundness of algebraic
    attacks against code-based assumptions. In: <i>44th Annual International Conference
    on the Theory and Applications of Cryptographic Techniques</i>. Vol 15606. Springer
    Nature; 2025:385-415. doi:<a href="https://doi.org/10.1007/978-3-031-91095-1_14">10.1007/978-3-031-91095-1_14</a>'
  apa: 'Cueto Noval, M., Merz, S.-P., Stählin, P., &#38; Ünal, A. (2025). On the soundness
    of algebraic attacks against code-based assumptions. In <i>44th Annual International
    Conference on the Theory and Applications of Cryptographic Techniques</i> (Vol.
    15606, pp. 385–415). Madrid, Spain: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-91095-1_14">https://doi.org/10.1007/978-3-031-91095-1_14</a>'
  chicago: Cueto Noval, Miguel, Simon-Philipp Merz, Patrick Stählin, and Akin Ünal.
    “On the Soundness of Algebraic Attacks against Code-Based Assumptions.” In <i>44th
    Annual International Conference on the Theory and Applications of Cryptographic
    Techniques</i>, 15606:385–415. Springer Nature, 2025. <a href="https://doi.org/10.1007/978-3-031-91095-1_14">https://doi.org/10.1007/978-3-031-91095-1_14</a>.
  ieee: M. Cueto Noval, S.-P. Merz, P. Stählin, and A. Ünal, “On the soundness of algebraic
    attacks against code-based assumptions,” in <i>44th Annual International Conference
    on the Theory and Applications of Cryptographic Techniques</i>, Madrid, Spain,
    2025, vol. 15606, pp. 385–415.
  ista: 'Cueto Noval M, Merz S-P, Stählin P, Ünal A. 2025. On the soundness of algebraic
    attacks against code-based assumptions. 44th Annual International Conference on
    the Theory and Applications of Cryptographic Techniques. EUROCRYPT: International
    Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol.
    15606, 385–415.'
  mla: Cueto Noval, Miguel, et al. “On the Soundness of Algebraic Attacks against
    Code-Based Assumptions.” <i>44th Annual International Conference on the Theory
    and Applications of Cryptographic Techniques</i>, vol. 15606, Springer Nature,
    2025, pp. 385–415, doi:<a href="https://doi.org/10.1007/978-3-031-91095-1_14">10.1007/978-3-031-91095-1_14</a>.
  short: M. Cueto Noval, S.-P. Merz, P. Stählin, A. Ünal, in:, 44th Annual International
    Conference on the Theory and Applications of Cryptographic Techniques, Springer
    Nature, 2025, pp. 385–415.
conference:
  end_date: 2025-05-08
  location: Madrid, Spain
  name: 'EUROCRYPT: International Conference on the Theory and Applications of Cryptographic
    Techniques'
  start_date: 2025-05-04
corr_author: '1'
date_created: 2025-05-19T14:15:01Z
date_published: 2025-04-28T00:00:00Z
date_updated: 2025-05-28T06:12:39Z
day: '28'
department:
- _id: KrPi
doi: 10.1007/978-3-031-91095-1_14
fulldoi: https://doi.org/10.1007/978-3-031-91095-1_14
intvolume: '     15606'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.research-collection.ethz.ch/handle/20.500.11850/732894
month: '04'
oa: 1
oa_version: Submitted Version
page: 385-415
publication: 44th Annual International Conference on the Theory and Applications of
  Cryptographic Techniques
publication_identifier:
  eisbn:
  - '9783031910951'
  eissn:
  - 1611-3349
  isbn:
  - '9783031910944'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the soundness of algebraic attacks against code-based assumptions
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15606
year: '2025'
...
---
OA_place: publisher
OA_type: free access
_id: '19713'
abstract:
- lang: eng
  text: Distributed optimization is the standard way of speeding up machine learning
    training, and most of the research in the area focuses on distributed first-order,
    gradient-based methods. Yet, there are settings where some computationally-bounded
    nodes may not be able to implement first-order, gradient-based optimization, while
    they could still contribute to joint optimization tasks. In this paper, we initiate
    the study of hybrid decentralized optimization, studying settings where nodes
    with zeroth-order and first-order optimization capabilities co-exist in a distributed
    system, and attempt to jointly solve an optimization task over some data distribution.
    We essentially show that, under reasonable parameter settings, such a system can
    not only withstand noisier zeroth-order agents but can even benefit from integrating
    such agents into the optimization process, rather than ignoring their information.
    At the core of our approach is a new analysis of distributed optimization with
    noisy and possibly-biased gradient estimators, which may be of independent interest.
    Our results hold for both convex and non-convex objectives. Experimental results
    on standard optimization tasks confirm our analysis, showing that hybrid first-zeroth
    order optimization can be practical, even when training deep neural networks.
acknowledgement: "This project has received funding from the European Research Council
  (ERC) under the European Union’s Horizon 2020 research and innovation programme
  (grant agreement\r\nNo 805223 ScaleML). The authors would like to acknowledge Eugenia
  Iofinova for useful discussions during the inception of this project."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Shayan
  full_name: Talaei, Shayan
  last_name: Talaei
- first_name: Matin
  full_name: Ansaripour, Matin
  last_name: Ansaripour
- first_name: Giorgi
  full_name: Nadiradze, Giorgi
  id: 3279A00C-F248-11E8-B48F-1D18A9856A87
  last_name: Nadiradze
  orcid: 0000-0001-5634-0731
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
citation:
  ama: 'Talaei S, Ansaripour M, Nadiradze G, Alistarh D-A. Hybrid decentralized optimization:
    Leveraging both first- and zeroth-order optimizers for faster convergence. <i>Proceedings
    of the 39th AAAI Conference on Artificial Intelligence</i>. 2025;39(19):20778-20786.
    doi:<a href="https://doi.org/10.1609/aaai.v39i19.34290">10.1609/aaai.v39i19.34290</a>'
  apa: 'Talaei, S., Ansaripour, M., Nadiradze, G., &#38; Alistarh, D.-A. (2025). Hybrid
    decentralized optimization: Leveraging both first- and zeroth-order optimizers
    for faster convergence. <i>Proceedings of the 39th AAAI Conference on Artificial
    Intelligence</i>. Association for the Advancement of Artificial Intelligence.
    <a href="https://doi.org/10.1609/aaai.v39i19.34290">https://doi.org/10.1609/aaai.v39i19.34290</a>'
  chicago: 'Talaei, Shayan, Matin Ansaripour, Giorgi Nadiradze, and Dan-Adrian Alistarh.
    “Hybrid Decentralized Optimization: Leveraging Both First- and Zeroth-Order Optimizers
    for Faster Convergence.” <i>Proceedings of the 39th AAAI Conference on Artificial
    Intelligence</i>. Association for the Advancement of Artificial Intelligence,
    2025. <a href="https://doi.org/10.1609/aaai.v39i19.34290">https://doi.org/10.1609/aaai.v39i19.34290</a>.'
  ieee: 'S. Talaei, M. Ansaripour, G. Nadiradze, and D.-A. Alistarh, “Hybrid decentralized
    optimization: Leveraging both first- and zeroth-order optimizers for faster convergence,”
    <i>Proceedings of the 39th AAAI Conference on Artificial Intelligence</i>, vol.
    39, no. 19. Association for the Advancement of Artificial Intelligence, pp. 20778–20786,
    2025.'
  ista: 'Talaei S, Ansaripour M, Nadiradze G, Alistarh D-A. 2025. Hybrid decentralized
    optimization: Leveraging both first- and zeroth-order optimizers for faster convergence.
    Proceedings of the 39th AAAI Conference on Artificial Intelligence. 39(19), 20778–20786.'
  mla: 'Talaei, Shayan, et al. “Hybrid Decentralized Optimization: Leveraging Both
    First- and Zeroth-Order Optimizers for Faster Convergence.” <i>Proceedings of
    the 39th AAAI Conference on Artificial Intelligence</i>, vol. 39, no. 19, Association
    for the Advancement of Artificial Intelligence, 2025, pp. 20778–86, doi:<a href="https://doi.org/10.1609/aaai.v39i19.34290">10.1609/aaai.v39i19.34290</a>.'
  short: S. Talaei, M. Ansaripour, G. Nadiradze, D.-A. Alistarh, Proceedings of the
    39th AAAI Conference on Artificial Intelligence 39 (2025) 20778–20786.
corr_author: '1'
date_created: 2025-05-19T14:15:35Z
date_published: 2025-04-11T00:00:00Z
date_updated: 2026-02-16T12:34:44Z
day: '11'
department:
- _id: DaAl
doi: 10.1609/aaai.v39i19.34290
ec_funded: 1
external_id:
  arxiv:
  - '2210.07703'
fulldoi: https://doi.org/10.1609/aaai.v39i19.34290
intvolume: '        39'
issue: '19'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1609/aaai.v39i19.34290
month: '04'
oa: 1
oa_version: Preprint
page: 20778-20786
project:
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '805223'
  name: Elastic Coordination for Scalable Machine Learning
publication: Proceedings of the 39th AAAI Conference on Artificial Intelligence
publication_identifier:
  eissn:
  - 2374-3468
  issn:
  - 2159-5399
publication_status: published
publisher: Association for the Advancement of Artificial Intelligence
quality_controlled: '1'
related_material:
  link:
  - relation: software
    url: https://github.com/ShayanTalaei/HDO
scopus_import: '1'
status: public
title: 'Hybrid decentralized optimization: Leveraging both first- and zeroth-order
  optimizers for faster convergence'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 39
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '19718'
abstract:
- lang: eng
  text: The cerebral cortex is arguably the most complex organ in humans. The cortical
    architecture is characterized by a remarkable diversity of neuronal and glial
    cell types that make up its neuronal circuits. Following a precise temporally
    ordered program, radial glia progenitor (RGP) cells generate all cortical excitatory
    projection neurons and glial cell-types. Cortical excitatory projection neurons
    are produced either directly or via intermediate progenitors, through indirect
    neurogenesis. How the extensive cortical cell-type diversity is generated during
    cortex development remains, however, a fundamental open question. How do RGPs
    quantitatively and qualitatively generate all the neocortical neurons? How does
    direct and indirect neurogenesis contribute to the establishment of neuronal and
    lineage heterogeneity? Whether RGPs represent a homogeneous and/or multipotent
    progenitor population, or if RGPs consist of heterogeneous groups is currently
    also not known. In this review, we will summarize the latest findings that contributed
    to a deeper insight into the above key questions.
acknowledgement: We wish to thank all members of the Hippenmeyer laboratory at ISTA
  for exciting discussions on the subject of this review. We apologize to colleagues
  whose work we could not cite and/or discuss in the frame of the available space.
  Work in the Hippenmeyer laboratory on the discussed topic is supported by ISTA institutional
  funds, an EMBO LTF (ALTF 994–2023) to F.P, and FWF SFB F78 to S.H.
article_number: '103046'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Fabrizia
  full_name: Pipicelli, Fabrizia
  id: 649134fd-d012-11ed-8f82-db1e5050f9ba
  last_name: Pipicelli
- first_name: Ana
  full_name: Villalba Requena, Ana
  id: 68cb85a0-39f7-11eb-9559-9aaab4f6a247
  last_name: Villalba Requena
  orcid: 0000-0002-5615-5277
- first_name: Simon
  full_name: Hippenmeyer, Simon
  id: 37B36620-F248-11E8-B48F-1D18A9856A87
  last_name: Hippenmeyer
  orcid: 0000-0003-2279-1061
citation:
  ama: Pipicelli F, Villalba Requena A, Hippenmeyer S. How radial glia progenitor
    lineages generate cell-type diversity in the developing cerebral cortex. <i>Current
    Opinion in Neurobiology</i>. 2025;93. doi:<a href="https://doi.org/10.1016/j.conb.2025.103046">10.1016/j.conb.2025.103046</a>
  apa: Pipicelli, F., Villalba Requena, A., &#38; Hippenmeyer, S. (2025). How radial
    glia progenitor lineages generate cell-type diversity in the developing cerebral
    cortex. <i>Current Opinion in Neurobiology</i>. Elsevier. <a href="https://doi.org/10.1016/j.conb.2025.103046">https://doi.org/10.1016/j.conb.2025.103046</a>
  chicago: Pipicelli, Fabrizia, Ana Villalba Requena, and Simon Hippenmeyer. “How
    Radial Glia Progenitor Lineages Generate Cell-Type Diversity in the Developing
    Cerebral Cortex.” <i>Current Opinion in Neurobiology</i>. Elsevier, 2025. <a href="https://doi.org/10.1016/j.conb.2025.103046">https://doi.org/10.1016/j.conb.2025.103046</a>.
  ieee: F. Pipicelli, A. Villalba Requena, and S. Hippenmeyer, “How radial glia progenitor
    lineages generate cell-type diversity in the developing cerebral cortex,” <i>Current
    Opinion in Neurobiology</i>, vol. 93. Elsevier, 2025.
  ista: Pipicelli F, Villalba Requena A, Hippenmeyer S. 2025. How radial glia progenitor
    lineages generate cell-type diversity in the developing cerebral cortex. Current
    Opinion in Neurobiology. 93, 103046.
  mla: Pipicelli, Fabrizia, et al. “How Radial Glia Progenitor Lineages Generate Cell-Type
    Diversity in the Developing Cerebral Cortex.” <i>Current Opinion in Neurobiology</i>,
    vol. 93, 103046, Elsevier, 2025, doi:<a href="https://doi.org/10.1016/j.conb.2025.103046">10.1016/j.conb.2025.103046</a>.
  short: F. Pipicelli, A. Villalba Requena, S. Hippenmeyer, Current Opinion in Neurobiology
    93 (2025).
corr_author: '1'
date_created: 2025-05-20T10:20:09Z
date_published: 2025-08-01T00:00:00Z
date_updated: 2025-12-30T10:54:14Z
day: '01'
ddc:
- '570'
department:
- _id: SiHi
doi: 10.1016/j.conb.2025.103046
external_id:
  isi:
  - '001496227000001'
  pmid:
  - '40383049'
file:
- access_level: open_access
  checksum: 05bacb4acbe6275d43e873dec9ba1d52
  content_type: application/pdf
  creator: dernst
  date_created: 2025-12-30T08:25:49Z
  date_updated: 2025-12-30T08:25:49Z
  file_id: '20894'
  file_name: 2025_CurrentOpNeurobiology_Pipicelli.pdf
  file_size: 1592649
  relation: main_file
  success: 1
file_date_updated: 2025-12-30T08:25:49Z
fulldoi: https://doi.org/10.1016/j.conb.2025.103046
has_accepted_license: '1'
intvolume: '        93'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 059F6AB4-7A3F-11EA-A408-12923DDC885E
  grant_number: F7805
  name: Stem Cell Modulation in Neural Development and Regeneration/ P05-Molecular
    Mechanisms of Neural Stem Cell Lineage Progression
- _id: 7c084566-9f16-11ee-852c-c88a1dbbf1cf
  grant_number: ALTF 994-2023
  name: Role of cell lineage in generating cell-type diversity in developing neocortex’
publication: Current Opinion in Neurobiology
publication_identifier:
  issn:
  - 0959-4388
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: How radial glia progenitor lineages generate cell-type diversity in the developing
  cerebral cortex
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 93
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '19725'
abstract:
- lang: eng
  text: Protein-protein interactions (PPIs) mediate many fundamental cellular processes.
    Control of PPIs through optically or chemically responsive protein domains has
    had a profound impact on basic research and some clinical applications. Most chemogenetic
    methods induce the association, i.e., dimerization or oligomerization, of target
    proteins, whilst the few available dissociation approaches either break large
    oligomeric protein clusters or heteromeric complexes. Here, we have exploited
    the controlled dissociation of a homodimeric oxidoreductase from mycobacteria
    (MSMEG_2027) by its native cofactor, F420, which is not present in mammals, as
    a bioorthogonal monomerization switch. Using X-ray crystallography, we found that
    in the absence of F420 MSMEG_2027 forms a unique domain-swapped dimer that occludes
    the cofactor binding site. Rearrangement of the N-terminal helix upon F420 binding
    results in the dissolution of the dimer. We then showed that MSMEG_2027 can be
    fused to proteins of interest in human cells and applied it as a tool to induce
    and release MAPK/ERK signalling downstream of a chimeric fibroblast growth factor
    receptor 1 (FGFR1) tyrosine kinase. This F420-dependent chemogenetic de-homodimerization
    tool is stoichiometric and based on a single domain and thus represents a novel
    mechanism to investigate protein complexes in situ.
acknowledgement: We thank J. Kaczmarski for advice on isothermal titration calorimetry
  and helpful comments, and Alexandra Tichy, Elliot Gerrard and Rahkesh T Sabapathy
  for assistance with experiments. This study was supported by grants of the Australian
  Research Council (FT200100519 and DP200102093, to H.J.; DE190100806, DP220101901,
  FT230100203, and DP250102939 to T.P.S.D.C; DP200102093, CE200100029 and CE200100012
  to C.J.J.), the National Health and Medical Research Council (APP1187638, to H.J.).
  S.K. was supported by the graduate program MolecularDrugTargets (Austrian Science
  Fund FWF W1232). The Australian Regenerative Medicine Institute is supported by
  grants from the State Government of Victoria and the Australian Government. The
  EMBL Australia Partnership Laboratory (EMBL Australia) is supported by the National
  Collaborative Research Infrastructure Strategy (NCRIS) of the Australian Government.
  T.P.S.D.C. acknowledges the University of Adelaide for a Future Making Fellowship.
  E.R.R.M acknowledges the Grains Research and Development Corporation (9176977) for
  support through a PhD scholarship and operational funding. J.A. and E.R.R.M. were
  supported by Australian Research Training Program scholarship. MicroMon of Monash
  University provided Sanger sequencing services. Imaging was performed in the CellScreen
  SA screening center of Flinders University. C.J.J. thanks the ARC Centre of Excellence
  for Innovations in Peptide and Protein Science and the ARC Centre of Excellence
  in Synthetic Biology. We thank the staff of the MX2 beamline at the Australian Synchrotron,
  part of ANSTO, which made use of the Australian Cancer Research Foundation (ACRF)
  detector.
article_number: '169184'
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: James
  full_name: Antoney, James
  last_name: Antoney
- first_name: Stephanie
  full_name: Kainrath, Stephanie
  id: 32CFBA64-F248-11E8-B48F-1D18A9856A87
  last_name: Kainrath
  orcid: 0000-0002-6709-2195
- first_name: Joshua G.
  full_name: Dubowsky, Joshua G.
  last_name: Dubowsky
- first_name: F. Hafna
  full_name: Ahmed, F. Hafna
  last_name: Ahmed
- first_name: Suk Woo
  full_name: Kang, Suk Woo
  last_name: Kang
- first_name: Emily R.R.
  full_name: Mackie, Emily R.R.
  last_name: Mackie
- first_name: Gustavo
  full_name: Bracho Granado, Gustavo
  last_name: Bracho Granado
- first_name: Tatiana P.
  full_name: Soares Da Costa, Tatiana P.
  last_name: Soares Da Costa
- first_name: Colin J.
  full_name: Jackson, Colin J.
  last_name: Jackson
- first_name: Harald L
  full_name: Janovjak, Harald L
  id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
  last_name: Janovjak
  orcid: 0000-0002-8023-9315
citation:
  ama: Antoney J, Kainrath S, Dubowsky JG, et al. A F420-dependent single domain chemogenetic
    tool for protein de-dimerization. <i>Journal of Molecular Biology</i>. 2025;437(17).
    doi:<a href="https://doi.org/10.1016/j.jmb.2025.169184">10.1016/j.jmb.2025.169184</a>
  apa: Antoney, J., Kainrath, S., Dubowsky, J. G., Ahmed, F. H., Kang, S. W., Mackie,
    E. R. R., … Janovjak, H. L. (2025). A F420-dependent single domain chemogenetic
    tool for protein de-dimerization. <i>Journal of Molecular Biology</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.jmb.2025.169184">https://doi.org/10.1016/j.jmb.2025.169184</a>
  chicago: Antoney, James, Stephanie Kainrath, Joshua G. Dubowsky, F. Hafna Ahmed,
    Suk Woo Kang, Emily R.R. Mackie, Gustavo Bracho Granado, Tatiana P. Soares Da
    Costa, Colin J. Jackson, and Harald L Janovjak. “A F420-Dependent Single Domain
    Chemogenetic Tool for Protein de-Dimerization.” <i>Journal of Molecular Biology</i>.
    Elsevier, 2025. <a href="https://doi.org/10.1016/j.jmb.2025.169184">https://doi.org/10.1016/j.jmb.2025.169184</a>.
  ieee: J. Antoney <i>et al.</i>, “A F420-dependent single domain chemogenetic tool
    for protein de-dimerization,” <i>Journal of Molecular Biology</i>, vol. 437, no.
    17. Elsevier, 2025.
  ista: Antoney J, Kainrath S, Dubowsky JG, Ahmed FH, Kang SW, Mackie ERR, Bracho
    Granado G, Soares Da Costa TP, Jackson CJ, Janovjak HL. 2025. A F420-dependent
    single domain chemogenetic tool for protein de-dimerization. Journal of Molecular
    Biology. 437(17), 169184.
  mla: Antoney, James, et al. “A F420-Dependent Single Domain Chemogenetic Tool for
    Protein de-Dimerization.” <i>Journal of Molecular Biology</i>, vol. 437, no. 17,
    169184, Elsevier, 2025, doi:<a href="https://doi.org/10.1016/j.jmb.2025.169184">10.1016/j.jmb.2025.169184</a>.
  short: J. Antoney, S. Kainrath, J.G. Dubowsky, F.H. Ahmed, S.W. Kang, E.R.R. Mackie,
    G. Bracho Granado, T.P. Soares Da Costa, C.J. Jackson, H.L. Janovjak, Journal
    of Molecular Biology 437 (2025).
date_created: 2025-05-25T22:16:39Z
date_published: 2025-09-01T00:00:00Z
date_updated: 2025-12-30T08:18:25Z
day: '01'
ddc:
- '570'
department:
- _id: CaGu
doi: 10.1016/j.jmb.2025.169184
external_id:
  isi:
  - '001494762800001'
  pmid:
  - '40324743'
file:
- access_level: open_access
  checksum: fb6e84ba7dc92faee97647fd2bc8cca8
  content_type: application/pdf
  creator: dernst
  date_created: 2025-12-30T08:18:07Z
  date_updated: 2025-12-30T08:18:07Z
  file_id: '20892'
  file_name: 2025_JourMolecularBiology_Antoney.pdf
  file_size: 1682721
  relation: main_file
  success: 1
file_date_updated: 2025-12-30T08:18:07Z
fulldoi: https://doi.org/10.1016/j.jmb.2025.169184
has_accepted_license: '1'
intvolume: '       437'
isi: 1
issue: '17'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 255A6082-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: W1232-B24
  name: Molecular Drug Targets
publication: Journal of Molecular Biology
publication_identifier:
  eissn:
  - 1089-8638
  issn:
  - 0022-2836
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: A F420-dependent single domain chemogenetic tool for protein de-dimerization
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 437
year: '2025'
...
---
OA_type: closed access
_id: '19726'
abstract:
- lang: eng
  text: The oxidation of biomass-derived compounds such as glucose within electrochemical
    cells enables both the energy-efficient production of hydrogen and the generation
    of additional added-value chemicals from biomass. However, for this biomass valorization
    approach to become commercially viable, selective, cost-effective, and highly
    active electrooxidation catalysts need to be developed. In this work, we detail
    the synthesis of a nickel (Ni) and zinc (Zn)-based electrocatalyst for the glucose
    oxidation reaction (GOR) to formic acid (FoA) via calcination of a Zn-based zeolitic
    imidazole framework (ZIF) functionalized with ethylenediamine and doped with Ni.
    The structure, morphology, and electrochemical performance of the catalysts towards
    the anodic GOR to FoA coupled with the cathodic hydrogen evolution reaction (HER)
    are subsequently studied. Chronopotentiometry tests with 0.1 M of glucose show
    a conversion of 94 % at 250 mA in only 70 min, with a Faradaic efficiency (FE)
    of 91 % toward the production of FoA. Meanwhile, at the cathode, the HER FE is
    close to 98 %.
acknowledgement: 'This work was financially supported by the SyDECat and AmaDE projects
  from the Spanish MCIN/AEI/FEDER (PID2022-136883OB-C22 & PID2023-149158OB-C43). The
  authors acknowledge funding from Generalitat de Catalunya 2021SGR01581, 2021SGR00457
  and European Union Next Generation EU/PRTR. KVMC acknowledges the grant from Call
  906 of 2021 for Doctorates Abroad from the Ministry of Science, Technology, and
  Innovation of Colombia. PRMA acknowledges support from the Ramón y Cajal grant RYC2023-042982-I,
  funded by MICIU/AEI (10.13039/501100011033) and co-financed by FSE+. This study
  is part of the Advanced Materials programme and was supported by MCIN with funding
  from European Union NextGenerationEU (PRTR-C17.I1) and by Generalitat de Catalunya
  (In-CAEM Project). ICN2 is supported by the Severo Ochoa program from Spanish MCIN
  / AEI (Grant No.: CEX2021-001214-S) and is funded by the CERCA Programme / Generalitat
  de Catalunya. ICN2 is founding member of e-DREAM. [76] J.L. is a Serra Húnter Fellow
  and is grateful to the ICREA Academia program and to projects PID2021-124572OB-C31
  and CEX2023-001300-M funded by MCIN/AEI/10.13039/501100011033, EU and FEDER, and
  to the GC 2021 SGR 01061 grant.'
article_number: '163491'
article_processing_charge: No
article_type: original
author:
- first_name: Karol V.
  full_name: Mejia-Centeno, Karol V.
  last_name: Mejia-Centeno
- first_name: Guillem
  full_name: Montaña-Mora, Guillem
  last_name: Montaña-Mora
- first_name: Jesús
  full_name: Chacón-Borrero, Jesús
  last_name: Chacón-Borrero
- first_name: Qian
  full_name: Xue, Qian
  last_name: Xue
- first_name: Li
  full_name: Gong, Li
  last_name: Gong
- first_name: Sara
  full_name: Martí-Sánchez, Sara
  last_name: Martí-Sánchez
- first_name: Armando
  full_name: Berlanga-Vázquez, Armando
  last_name: Berlanga-Vázquez
- first_name: Jordi
  full_name: Llorca, Jordi
  last_name: Llorca
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Jordi
  full_name: Arbiol, Jordi
  last_name: Arbiol
- first_name: Xueqiang
  full_name: Qi, Xueqiang
  last_name: Qi
- first_name: Paulina R.
  full_name: Martinez-Alanis, Paulina R.
  last_name: Martinez-Alanis
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: Mejia-Centeno KV, Montaña-Mora G, Chacón-Borrero J, et al. Glucose electrooxidation
    with simultaneous H2 production on nickel-zinc electrocatalysts derived from an
    ethylenediamine-functionalized zeolitic imidazole framework. <i>Chemical Engineering
    Journal</i>. 2025;515. doi:<a href="https://doi.org/10.1016/j.cej.2025.163491">10.1016/j.cej.2025.163491</a>
  apa: Mejia-Centeno, K. V., Montaña-Mora, G., Chacón-Borrero, J., Xue, Q., Gong,
    L., Martí-Sánchez, S., … Cabot, A. (2025). Glucose electrooxidation with simultaneous
    H2 production on nickel-zinc electrocatalysts derived from an ethylenediamine-functionalized
    zeolitic imidazole framework. <i>Chemical Engineering Journal</i>. Elsevier. <a
    href="https://doi.org/10.1016/j.cej.2025.163491">https://doi.org/10.1016/j.cej.2025.163491</a>
  chicago: Mejia-Centeno, Karol V., Guillem Montaña-Mora, Jesús Chacón-Borrero, Qian
    Xue, Li Gong, Sara Martí-Sánchez, Armando Berlanga-Vázquez, et al. “Glucose Electrooxidation
    with Simultaneous H2 Production on Nickel-Zinc Electrocatalysts Derived from an
    Ethylenediamine-Functionalized Zeolitic Imidazole Framework.” <i>Chemical Engineering
    Journal</i>. Elsevier, 2025. <a href="https://doi.org/10.1016/j.cej.2025.163491">https://doi.org/10.1016/j.cej.2025.163491</a>.
  ieee: K. V. Mejia-Centeno <i>et al.</i>, “Glucose electrooxidation with simultaneous
    H2 production on nickel-zinc electrocatalysts derived from an ethylenediamine-functionalized
    zeolitic imidazole framework,” <i>Chemical Engineering Journal</i>, vol. 515.
    Elsevier, 2025.
  ista: Mejia-Centeno KV, Montaña-Mora G, Chacón-Borrero J, Xue Q, Gong L, Martí-Sánchez
    S, Berlanga-Vázquez A, Llorca J, Ibáñez M, Arbiol J, Qi X, Martinez-Alanis PR,
    Cabot A. 2025. Glucose electrooxidation with simultaneous H2 production on nickel-zinc
    electrocatalysts derived from an ethylenediamine-functionalized zeolitic imidazole
    framework. Chemical Engineering Journal. 515, 163491.
  mla: Mejia-Centeno, Karol V., et al. “Glucose Electrooxidation with Simultaneous
    H2 Production on Nickel-Zinc Electrocatalysts Derived from an Ethylenediamine-Functionalized
    Zeolitic Imidazole Framework.” <i>Chemical Engineering Journal</i>, vol. 515,
    163491, Elsevier, 2025, doi:<a href="https://doi.org/10.1016/j.cej.2025.163491">10.1016/j.cej.2025.163491</a>.
  short: K.V. Mejia-Centeno, G. Montaña-Mora, J. Chacón-Borrero, Q. Xue, L. Gong,
    S. Martí-Sánchez, A. Berlanga-Vázquez, J. Llorca, M. Ibáñez, J. Arbiol, X. Qi,
    P.R. Martinez-Alanis, A. Cabot, Chemical Engineering Journal 515 (2025).
date_created: 2025-05-25T22:16:40Z
date_published: 2025-07-01T00:00:00Z
date_updated: 2025-12-30T08:28:59Z
day: '01'
department:
- _id: MaIb
doi: 10.1016/j.cej.2025.163491
external_id:
  isi:
  - '001501928300003'
fulldoi: https://doi.org/10.1016/j.cej.2025.163491
intvolume: '       515'
isi: 1
language:
- iso: eng
month: '07'
oa_version: None
publication: Chemical Engineering Journal
publication_identifier:
  issn:
  - 1385-8947
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Glucose electrooxidation with simultaneous H2 production on nickel-zinc electrocatalysts
  derived from an ethylenediamine-functionalized zeolitic imidazole framework
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 515
year: '2025'
...
---
APC_amount: 5937,40 EUR
OA_place: publisher
OA_type: hybrid
_id: '19728'
abstract:
- lang: eng
  text: Root system integrates multiple environmental cues, chiefly gravity and soil
    humidity, to anchor plants in soil and forage for water. While the mechanism of
    auxin-mediated root gravitropism is comparably well-understood, the root’s capability
    to grow toward moist soil for water uptake and drought avoidance, termed root
    hydrotropism, remains largely mysterious. Here, we provide key insights into the
    mechanism of hydrotropic growth and assign a role to the master regulator of hydrotropism,
    MIZU-KUSSEI 1 (MIZ1). We show that efficient hydrotropism requires the attenuation
    of antagonistically acting gravitropism, which is inhibited under drought conditions.
    Drought stress interferes with subcellular trafficking and the lateral mobility
    of PIN auxin transporters, which are polarly localized at the root cell plasma
    membranes. This leads to defects in PIN2 polarity and gravity-induced polarization
    of PIN3, ultimately inhibiting gravity-induced auxin redistribution and root bending.
    The miz1 mutant is defective in all these regulations, and in support of MIZ1’s
    action on PINs, pin mutations rescue the hydrotropic defects in the miz1 mutant.
    These observations identify a mechanism for how drought via MIZ1 attenuates gravitropism
    to promote root hydrotropism for efficient water foraging under drought conditions.
acknowledgement: This work was supported by the European Union’s Horizon 2020 research
  and innovation Programme (European Research Council grant agreement number 742985),
  Austrian Science Fund (FWF, grant number I 3630-B25), (Institute of Science and
  Technology Austria) Fellow program, the Qin Chuangyuan High-level Innovation and
  Entrepreneurship Talent Program (QCYRCXM-2022-237), the Fundamental Research Funds
  for Northwest A&F University and partly supported by the open funds of the State
  Key Laboratory of Plant Environmental Resilience (SKLPERKF2416). We also thank the
  Teaching and Research Core Facility at the College of Life Sciences, Northwest A&F
  University, particularly Dr. Ningjuan Fan for technical assistance.
article_number: e2427315122
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Yuzhou
  full_name: Zhang, Yuzhou
  id: 3B6137F2-F248-11E8-B48F-1D18A9856A87
  last_name: Zhang
  orcid: 0000-0003-2627-6956
- first_name: Zhulatai
  full_name: Bao, Zhulatai
  last_name: Bao
- first_name: Adrijana
  full_name: Smoljan, Adrijana
  id: cced8a85-223e-11ed-af04-b0596c55053b
  last_name: Smoljan
- first_name: Yifan
  full_name: Liu, Yifan
  last_name: Liu
- first_name: Huihui
  full_name: Wang, Huihui
  last_name: Wang
- first_name: Jiří
  full_name: Friml, Jiří
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
citation:
  ama: Zhang Y, Bao Z, Smoljan A, Liu Y, Wang H, Friml J. Foraging for water by MIZ1-mediated
    antagonism between root gravitropism and hydrotropism. <i>Proceedings of the National
    Academy of Sciences</i>. 2025;122(20). doi:<a href="https://doi.org/10.1073/pnas.2427315122">10.1073/pnas.2427315122</a>
  apa: Zhang, Y., Bao, Z., Smoljan, A., Liu, Y., Wang, H., &#38; Friml, J. (2025).
    Foraging for water by MIZ1-mediated antagonism between root gravitropism and hydrotropism.
    <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences.
    <a href="https://doi.org/10.1073/pnas.2427315122">https://doi.org/10.1073/pnas.2427315122</a>
  chicago: Zhang, Yuzhou, Zhulatai Bao, Adrijana Smoljan, Yifan Liu, Huihui Wang,
    and Jiří Friml. “Foraging for Water by MIZ1-Mediated Antagonism between Root Gravitropism
    and Hydrotropism.” <i>Proceedings of the National Academy of Sciences</i>. National
    Academy of Sciences, 2025. <a href="https://doi.org/10.1073/pnas.2427315122">https://doi.org/10.1073/pnas.2427315122</a>.
  ieee: Y. Zhang, Z. Bao, A. Smoljan, Y. Liu, H. Wang, and J. Friml, “Foraging for
    water by MIZ1-mediated antagonism between root gravitropism and hydrotropism,”
    <i>Proceedings of the National Academy of Sciences</i>, vol. 122, no. 20. National
    Academy of Sciences, 2025.
  ista: Zhang Y, Bao Z, Smoljan A, Liu Y, Wang H, Friml J. 2025. Foraging for water
    by MIZ1-mediated antagonism between root gravitropism and hydrotropism. Proceedings
    of the National Academy of Sciences. 122(20), e2427315122.
  mla: Zhang, Yuzhou, et al. “Foraging for Water by MIZ1-Mediated Antagonism between
    Root Gravitropism and Hydrotropism.” <i>Proceedings of the National Academy of
    Sciences</i>, vol. 122, no. 20, e2427315122, National Academy of Sciences, 2025,
    doi:<a href="https://doi.org/10.1073/pnas.2427315122">10.1073/pnas.2427315122</a>.
  short: Y. Zhang, Z. Bao, A. Smoljan, Y. Liu, H. Wang, J. Friml, Proceedings of the
    National Academy of Sciences 122 (2025).
corr_author: '1'
date_created: 2025-05-25T22:16:43Z
date_published: 2025-05-20T00:00:00Z
date_updated: 2026-05-20T08:34:21Z
day: '20'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1073/pnas.2427315122
ec_funded: 1
external_id:
  isi:
  - '001496347500001'
  pmid:
  - '40372432'
file:
- access_level: open_access
  checksum: f70ff35054561b27a463ba279d1795dc
  content_type: application/pdf
  creator: dernst
  date_created: 2025-05-28T08:04:50Z
  date_updated: 2025-05-28T08:04:50Z
  file_id: '19750'
  file_name: 2025_PNAS_Zhang.pdf
  file_size: 8266672
  relation: main_file
  success: 1
file_date_updated: 2025-05-28T08:04:50Z
fulldoi: https://doi.org/10.1073/pnas.2427315122
has_accepted_license: '1'
intvolume: '       122'
isi: 1
issue: '20'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 261099A6-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '742985'
  name: Tracing Evolution of Auxin Transport and Polarity in Plants
- _id: 26538374-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: I03630
  name: Molecular mechanisms of endocytic cargo recognition in plants
publication: Proceedings of the National Academy of Sciences
publication_identifier:
  eissn:
  - 1091-6490
publication_status: published
publisher: National Academy of Sciences
quality_controlled: '1'
related_material:
  link:
  - description: News on ISTA website
    relation: press_release
    url: https://ista.ac.at/en/news/how-roots-forage-for-water/
scopus_import: '1'
status: public
title: Foraging for water by MIZ1-mediated antagonism between root gravitropism and
  hydrotropism
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 122
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19729'
abstract:
- lang: eng
  text: 'From anthropogenic litter carried by ocean currents to plant stems travelling
    through the atmosphere, geophysical flows are often seeded with elongated, fibre-like
    particles. In this study, we used a large-scale laboratory model of a tidal current
    – representative of a widespread class of geophysical flows – to investigate the
    tumbling motion of long, slender and floating fibres in the complex turbulence
    generated by flow interactions with a tidal inlet. Despite the non-stationary,
    non-homogeneous and anisotropic nature of this turbulence, we find that long fibres
    statistically rotate at the same frequency as eddies of similar size, a phenomenon
    called scale selection, which is known to occur in ideal turbulence. Furthermore,
    we report that the signal of the instantaneous transverse velocity difference
    between the fibre ends changes significantly from the signal produced by the flow
    in the fibre surroundings, although the two are statistically equivalent. These
    observations have twofold implications. On the one hand, they confirm the reliability
    of using the end-to-end velocity signal of rigid fibres to probe the two-point
    transverse statistics of the flow, even under realistic conditions: oceanographers
    could exploit this observation to measure transverse velocity differences through
    elongated floats in the field, where superdiffusion complicates collecting sufficient
    data to probe two-point turbulence statistics at a fixed separation effectively.
    On the other hand, by addressing the dynamics of inertial range particles floating
    in the coastal zone, these observations are crucial to improving our ability to
    predict the fate of meso- and macro-litter, a size class that is currently understudied.'
acknowledgement: A.S. expresses thanks for support from the Research Grants Council
  of Hong Kong (project IDs 15216422 and C5032-22EF) and from the Research Institute
  for Land and Space (RILS) (project ID P0049622). S.B. is funded by the European
  Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie
  grant agreement (no.101034413).
article_number: A5
article_processing_charge: No
article_type: original
author:
- first_name: Annalisa
  full_name: De Leo, Annalisa
  last_name: De Leo
- first_name: Stefano
  full_name: Brizzolara, Stefano
  id: 4bbe33b8-c59a-11ee-a1af-fa33d1ac42c4
  last_name: Brizzolara
- first_name: Mattia
  full_name: Cavaiola, Mattia
  last_name: Cavaiola
- first_name: Junlin
  full_name: He, Junlin
  last_name: He
- first_name: Alessandro
  full_name: Stocchino, Alessandro
  last_name: Stocchino
citation:
  ama: De Leo A, Brizzolara S, Cavaiola M, He J, Stocchino A. Rigid fibre transport
    in a periodic non-homogeneous geophysical turbulent flow. <i>Journal of Fluid
    Mechanics</i>. 2025;1011. doi:<a href="https://doi.org/10.1017/jfm.2025.362">10.1017/jfm.2025.362</a>
  apa: De Leo, A., Brizzolara, S., Cavaiola, M., He, J., &#38; Stocchino, A. (2025).
    Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow.
    <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href="https://doi.org/10.1017/jfm.2025.362">https://doi.org/10.1017/jfm.2025.362</a>
  chicago: De Leo, Annalisa, Stefano Brizzolara, Mattia Cavaiola, Junlin He, and Alessandro
    Stocchino. “Rigid Fibre Transport in a Periodic Non-Homogeneous Geophysical Turbulent
    Flow.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2025. <a
    href="https://doi.org/10.1017/jfm.2025.362">https://doi.org/10.1017/jfm.2025.362</a>.
  ieee: A. De Leo, S. Brizzolara, M. Cavaiola, J. He, and A. Stocchino, “Rigid fibre
    transport in a periodic non-homogeneous geophysical turbulent flow,” <i>Journal
    of Fluid Mechanics</i>, vol. 1011. Cambridge University Press, 2025.
  ista: De Leo A, Brizzolara S, Cavaiola M, He J, Stocchino A. 2025. Rigid fibre transport
    in a periodic non-homogeneous geophysical turbulent flow. Journal of Fluid Mechanics.
    1011, A5.
  mla: De Leo, Annalisa, et al. “Rigid Fibre Transport in a Periodic Non-Homogeneous
    Geophysical Turbulent Flow.” <i>Journal of Fluid Mechanics</i>, vol. 1011, A5,
    Cambridge University Press, 2025, doi:<a href="https://doi.org/10.1017/jfm.2025.362">10.1017/jfm.2025.362</a>.
  short: A. De Leo, S. Brizzolara, M. Cavaiola, J. He, A. Stocchino, Journal of Fluid
    Mechanics 1011 (2025).
date_created: 2025-05-25T22:16:46Z
date_published: 2025-05-16T00:00:00Z
date_updated: 2025-09-30T12:38:34Z
day: '16'
ddc:
- '530'
department:
- _id: BjHo
doi: 10.1017/jfm.2025.362
ec_funded: 1
external_id:
  isi:
  - '001489159700001'
file:
- access_level: open_access
  checksum: f1b0f6a977fdf2d6eb9e16c11d030c0c
  content_type: application/pdf
  creator: dernst
  date_created: 2025-05-28T08:12:07Z
  date_updated: 2025-05-28T08:12:07Z
  file_id: '19751'
  file_name: 2025_JourFluidMech_DeLeo.pdf
  file_size: 6415303
  relation: main_file
  success: 1
file_date_updated: 2025-05-28T08:12:07Z
fulldoi: https://doi.org/10.1017/jfm.2025.362
has_accepted_license: '1'
intvolume: '      1011'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
  call_identifier: H2020
  grant_number: '101034413'
  name: 'IST-BRIDGE: International postdoctoral program'
publication: Journal of Fluid Mechanics
publication_identifier:
  eissn:
  - 1469-7645
  issn:
  - 0022-1120
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 1011
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19730'
abstract:
- lang: eng
  text: Feigenbaum universality is shown to occur in subcritical shear flows. Our
    testing ground is the counter-rotation regime of the Taylor–Couette flow, where
    numerical calculations are performed within a small periodic domain. The accurate
    computation of up to the seventh period-doubling bifurcation, assisted by a purposely
    defined Poincaré section, has enabled us to reproduce the two Feigenbaum universal
    constants with unprecedented accuracy in a fluid flow problem. We have further
    devised a method to predict the bifurcation diagram up to the accumulation point
    of the cascade based on the detailed inspection of just the first few period-doubling
    bifurcations. Remarkably, the method is applicable beyond the accumulation point,
    with predictions remaining valid, in a statistical sense, for the chaotic dynamics
    that follows.
acknowledgement: This research is supported by the Australian Research Council Discovery
  Project DP230102188 and the Ministerio de Ciencia, Innovación y Universidades (Agencia
  Estatal de Investigación, project nos. PID 2020–114043 GB-I00 (MCIN/AEI/10.13039/501100011033)
  and PID 2023–150029NB-I00 (MCIN/AEI/10.13039/501100011033/FEDER, UE). B.W.’s and
  R.A.’s research has been funded by the European Union’s Horizon 2020 research and
  innovation programme (Marie Skłodowska-Curie Grant Agreement No. 101034413). R.A.
  has also been funded by the Austrian Science Fund (FWF) 10.55776/ESP1481224.
article_number: A36
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Baoying
  full_name: Wang, Baoying
  id: df755ffe-735a-11ee-bb55-dff29d61d338
  last_name: Wang
  orcid: 0000-0002-6229-0336
- first_name: Roger
  full_name: Ayats López, Roger
  id: ab77522d-073b-11ed-8aff-e71b39258362
  last_name: Ayats López
  orcid: 0000-0001-6572-0621
- first_name: K.
  full_name: Deguchi, K.
  last_name: Deguchi
- first_name: A.
  full_name: Meseguer, A.
  last_name: Meseguer
- first_name: F.
  full_name: Mellibovsky, F.
  last_name: Mellibovsky
citation:
  ama: Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. Feigenbaum universality
    in subcritical Taylor-Couette flow. <i>Journal of Fluid Mechanics</i>. 2025;1010.
    doi:<a href="https://doi.org/10.1017/jfm.2025.278">10.1017/jfm.2025.278</a>
  apa: Wang, B., Ayats López, R., Deguchi, K., Meseguer, A., &#38; Mellibovsky, F.
    (2025). Feigenbaum universality in subcritical Taylor-Couette flow. <i>Journal
    of Fluid Mechanics</i>. Cambridge University Press. <a href="https://doi.org/10.1017/jfm.2025.278">https://doi.org/10.1017/jfm.2025.278</a>
  chicago: Wang, Baoying, Roger Ayats López, K. Deguchi, A. Meseguer, and F. Mellibovsky.
    “Feigenbaum Universality in Subcritical Taylor-Couette Flow.” <i>Journal of Fluid
    Mechanics</i>. Cambridge University Press, 2025. <a href="https://doi.org/10.1017/jfm.2025.278">https://doi.org/10.1017/jfm.2025.278</a>.
  ieee: B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, and F. Mellibovsky, “Feigenbaum
    universality in subcritical Taylor-Couette flow,” <i>Journal of Fluid Mechanics</i>,
    vol. 1010. Cambridge University Press, 2025.
  ista: Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. 2025. Feigenbaum
    universality in subcritical Taylor-Couette flow. Journal of Fluid Mechanics. 1010,
    A36.
  mla: Wang, Baoying, et al. “Feigenbaum Universality in Subcritical Taylor-Couette
    Flow.” <i>Journal of Fluid Mechanics</i>, vol. 1010, A36, Cambridge University
    Press, 2025, doi:<a href="https://doi.org/10.1017/jfm.2025.278">10.1017/jfm.2025.278</a>.
  short: B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, F. Mellibovsky, Journal
    of Fluid Mechanics 1010 (2025).
date_created: 2025-05-25T22:16:48Z
date_published: 2025-05-14T00:00:00Z
date_updated: 2025-09-30T12:39:05Z
day: '14'
ddc:
- '530'
department:
- _id: BjHo
doi: 10.1017/jfm.2025.278
ec_funded: 1
external_id:
  isi:
  - '001487354900001'
file:
- access_level: open_access
  checksum: 77f39b762a0e59e88954afb93b23cc7a
  content_type: application/pdf
  creator: dernst
  date_created: 2025-05-28T08:32:33Z
  date_updated: 2025-05-28T08:32:33Z
  file_id: '19752'
  file_name: 2025_JourFluidMech_Wang.pdf
  file_size: 3607069
  relation: main_file
  success: 1
file_date_updated: 2025-05-28T08:32:33Z
fulldoi: https://doi.org/10.1017/jfm.2025.278
has_accepted_license: '1'
intvolume: '      1010'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
  call_identifier: H2020
  grant_number: '101034413'
  name: 'IST-BRIDGE: International postdoctoral program'
- _id: 942a0200-16d5-11f0-9cad-f48ab22dfd1c
  grant_number: ESP 1481224
  name: Pattern Formation Mechanisms in Planar Shear Flows
publication: Journal of Fluid Mechanics
publication_identifier:
  eissn:
  - 1469-7645
  issn:
  - 0022-1120
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Feigenbaum universality in subcritical Taylor-Couette flow
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 1010
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19731'
abstract:
- lang: eng
  text: "In an era of high-resolution displays, powerful design software, and automated
    plotting tools, one would think that scientific figures would be clearer than
    ever. Yet, despite numerous editorials, guidelines, and workshops dedicated to
    improving figure design, poorly constructed figures remain a persistent issue.
    Editors and experienced researchers have repeatedly highlighted key pitfalls such
    as cluttered layouts, inconsistent formatting, poor color choices, and misleading
    visuals. (1−8) Yet, the aforementioned graphical shortcomings continue to plague
    even high-impact journals. Why? The problem is not a lack of technology; it is
    a combination of poor design habits, rushed deadlines, and a tendency to treat
    figures as mere “data dumps” rather than as essential storytelling tools.\r\nMany
    people process information more effectively through visuals, naturally associating
    concepts easily when presented graphically. A well-crafted figure serves as a
    narrative within the larger story, making complex ideas more accessible. Unfortunately,
    visual storytelling often takes a backseat in scientific communication. Scientists
    are trained to analyze and interpret data, but many default to software-generated
    plots without considering accessibility or how their figures will be perceived
    by readers outside their immediate field. Without thoughtful design, figures lose
    their power to enhance understanding, ultimately limiting the significance of
    the research itself.\r\nIn this editorial, we examine the challenges that, in
    our view, hamper scientific figure design and discuss how thoughtful refinements
    driven by feedback, iteration, and design principles can enhance clarity and impact
    visual communication."
article_processing_charge: Yes
article_type: editorial
author:
- first_name: Aiswarya
  full_name: Rayaroth Puthiyaveettil, Aiswarya
  id: 8aceb01b-8972-11ed-ae7b-d5fe53775add
  last_name: Rayaroth Puthiyaveettil
- first_name: Christine
  full_name: Fiedler, Christine
  id: bd3fceba-dc74-11ea-a0a7-c17f71817366
  last_name: Fiedler
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
citation:
  ama: 'Rayaroth Puthiyaveettil A, Fiedler C, Ibáñez M. Let us FIGURE it out: Why
    do scientists still make “bad” figures? <i>ACS Materials Au</i>. 2025;5(3):438-440.
    doi:<a href="https://doi.org/10.1021/acsmaterialsau.5c00037">10.1021/acsmaterialsau.5c00037</a>'
  apa: 'Rayaroth Puthiyaveettil, A., Fiedler, C., &#38; Ibáñez, M. (2025). Let us
    FIGURE it out: Why do scientists still make “bad” figures? <i>ACS Materials Au</i>.
    American Chemical Society. <a href="https://doi.org/10.1021/acsmaterialsau.5c00037">https://doi.org/10.1021/acsmaterialsau.5c00037</a>'
  chicago: 'Rayaroth Puthiyaveettil, Aiswarya, Christine Fiedler, and Maria Ibáñez.
    “Let Us FIGURE It out: Why Do Scientists Still Make ‘Bad’ Figures?” <i>ACS Materials
    Au</i>. American Chemical Society, 2025. <a href="https://doi.org/10.1021/acsmaterialsau.5c00037">https://doi.org/10.1021/acsmaterialsau.5c00037</a>.'
  ieee: 'A. Rayaroth Puthiyaveettil, C. Fiedler, and M. Ibáñez, “Let us FIGURE it
    out: Why do scientists still make ‘bad’ figures?,” <i>ACS Materials Au</i>, vol.
    5, no. 3. American Chemical Society, pp. 438–440, 2025.'
  ista: 'Rayaroth Puthiyaveettil A, Fiedler C, Ibáñez M. 2025. Let us FIGURE it out:
    Why do scientists still make “bad” figures? ACS Materials Au. 5(3), 438–440.'
  mla: 'Rayaroth Puthiyaveettil, Aiswarya, et al. “Let Us FIGURE It out: Why Do Scientists
    Still Make ‘Bad’ Figures?” <i>ACS Materials Au</i>, vol. 5, no. 3, American Chemical
    Society, 2025, pp. 438–40, doi:<a href="https://doi.org/10.1021/acsmaterialsau.5c00037">10.1021/acsmaterialsau.5c00037</a>.'
  short: A. Rayaroth Puthiyaveettil, C. Fiedler, M. Ibáñez, ACS Materials Au 5 (2025)
    438–440.
corr_author: '1'
date_created: 2025-05-25T22:16:51Z
date_published: 2025-05-14T00:00:00Z
date_updated: 2025-06-11T13:23:01Z
day: '14'
ddc:
- '540'
department:
- _id: MaIb
doi: 10.1021/acsmaterialsau.5c00037
external_id:
  pmid:
  - '40385955'
file:
- access_level: open_access
  checksum: a3aa15e4022fa359d6ba5afb96268841
  content_type: application/pdf
  creator: dernst
  date_created: 2025-05-28T08:48:38Z
  date_updated: 2025-05-28T08:48:38Z
  file_id: '19753'
  file_name: 2025_ACSMaterialsAu_Rayaroth.pdf
  file_size: 1750018
  relation: main_file
  success: 1
file_date_updated: 2025-05-28T08:48:38Z
fulldoi: https://doi.org/10.1021/acsmaterialsau.5c00037
has_accepted_license: '1'
intvolume: '         5'
issue: '3'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '05'
oa: 1
oa_version: Published Version
page: 438-440
pmid: 1
publication: ACS Materials Au
publication_identifier:
  eissn:
  - 2694-2461
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Let us FIGURE it out: Why do scientists still make “bad” figures?'
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19732'
abstract:
- lang: eng
  text: The transition to chaos in the subcritical regime of counter-rotating Taylor–Couette
    flow is investigated using a minimal periodic domain capable of sustaining coherent
    structures. Following a Feigenbaum cascade, the dynamics is found to be remarkably
    well approximated by a simple discrete map that admits rigorous proof of its chaotic
    nature. The chaotic set that arises for the map features densely distributed periodic
    points that are in one-to-one correspondence with unstable periodic orbits (UPOs)
    of the Navier–Stokes system. This supports the increasingly accepted view that
    UPOs may serve as the backbone of turbulence and, indeed, we demonstrate that
    it is possible to reconstruct every statistical property of chaotic fluid flow
    from UPOs.
acknowledgement: This research is supported by the Australian Research Council Discovery
  Project DP230102188 and the Ministerio de Ciencia, Innovación y Universidades (Agencia
  Estatal de Investigación, project nos PID 2020-114043 GB-I00 (MCIN/AEI/10.13039/501100011033)
  and PID 2023-150029NB-I00 (MCIN/AEI/10.13039/ 501100011033/FEDER, UE). B.W. and
  R.A.’s research has been funded by the European Union’s Horizon 2020 research and
  innovation programme (Marie Skłodowska-Curie grant agreement no. 101034413). R.A.
  has also been funded by the Austrian Science Fund (FWF) 10.55776/ESP1481224.
article_number: R2
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Baoying
  full_name: Wang, Baoying
  id: df755ffe-735a-11ee-bb55-dff29d61d338
  last_name: Wang
  orcid: 0000-0002-6229-0336
- first_name: Roger
  full_name: Ayats López, Roger
  id: ab77522d-073b-11ed-8aff-e71b39258362
  last_name: Ayats López
  orcid: 0000-0001-6572-0621
- first_name: K.
  full_name: Deguchi, K.
  last_name: Deguchi
- first_name: A.
  full_name: Meseguer, A.
  last_name: Meseguer
- first_name: F.
  full_name: Mellibovsky, F.
  last_name: Mellibovsky
citation:
  ama: Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. Mathematically
    established chaos and forecast of statistics with recurrent patterns in Taylor-Couette
    flow. <i>Journal of Fluid Mechanics</i>. 2025;1011. doi:<a href="https://doi.org/10.1017/jfm.2025.151">10.1017/jfm.2025.151</a>
  apa: Wang, B., Ayats López, R., Deguchi, K., Meseguer, A., &#38; Mellibovsky, F.
    (2025). Mathematically established chaos and forecast of statistics with recurrent
    patterns in Taylor-Couette flow. <i>Journal of Fluid Mechanics</i>. Cambridge
    University Press. <a href="https://doi.org/10.1017/jfm.2025.151">https://doi.org/10.1017/jfm.2025.151</a>
  chicago: Wang, Baoying, Roger Ayats López, K. Deguchi, A. Meseguer, and F. Mellibovsky.
    “Mathematically Established Chaos and Forecast of Statistics with Recurrent Patterns
    in Taylor-Couette Flow.” <i>Journal of Fluid Mechanics</i>. Cambridge University
    Press, 2025. <a href="https://doi.org/10.1017/jfm.2025.151">https://doi.org/10.1017/jfm.2025.151</a>.
  ieee: B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, and F. Mellibovsky, “Mathematically
    established chaos and forecast of statistics with recurrent patterns in Taylor-Couette
    flow,” <i>Journal of Fluid Mechanics</i>, vol. 1011. Cambridge University Press,
    2025.
  ista: Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. 2025. Mathematically
    established chaos and forecast of statistics with recurrent patterns in Taylor-Couette
    flow. Journal of Fluid Mechanics. 1011, R2.
  mla: Wang, Baoying, et al. “Mathematically Established Chaos and Forecast of Statistics
    with Recurrent Patterns in Taylor-Couette Flow.” <i>Journal of Fluid Mechanics</i>,
    vol. 1011, R2, Cambridge University Press, 2025, doi:<a href="https://doi.org/10.1017/jfm.2025.151">10.1017/jfm.2025.151</a>.
  short: B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, F. Mellibovsky, Journal
    of Fluid Mechanics 1011 (2025).
date_created: 2025-05-25T22:16:52Z
date_published: 2025-05-13T00:00:00Z
date_updated: 2025-09-30T12:39:44Z
day: '13'
ddc:
- '530'
department:
- _id: BjHo
doi: 10.1017/jfm.2025.151
ec_funded: 1
external_id:
  isi:
  - '001486096600001'
file:
- access_level: open_access
  checksum: 899df5797844a9e811dffeebe8c05c8e
  content_type: application/pdf
  creator: dernst
  date_created: 2025-05-28T09:00:52Z
  date_updated: 2025-05-28T09:00:52Z
  file_id: '19754'
  file_name: 2025_JourFluidMech_Wang_Ayats.pdf
  file_size: 998754
  relation: main_file
  success: 1
file_date_updated: 2025-05-28T09:00:52Z
fulldoi: https://doi.org/10.1017/jfm.2025.151
has_accepted_license: '1'
intvolume: '      1011'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
  call_identifier: H2020
  grant_number: '101034413'
  name: 'IST-BRIDGE: International postdoctoral program'
- _id: 942a0200-16d5-11f0-9cad-f48ab22dfd1c
  grant_number: ESP 1481224
  name: Pattern Formation Mechanisms in Planar Shear Flows
publication: Journal of Fluid Mechanics
publication_identifier:
  eissn:
  - 1469-7645
  issn:
  - 0022-1120
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mathematically established chaos and forecast of statistics with recurrent
  patterns in Taylor-Couette flow
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 1011
year: '2025'
...
---
OA_type: closed access
_id: '19736'
abstract:
- lang: eng
  text: 'The phytohormone auxin is a major signal coordinating growth and development
    in plants. The variety of its effects arises from its ability to form local auxin
    maxima and gradients within tissues, generated through directional cell-to-cell
    transport and elaborate metabolic control. These auxin distribution patterns instruct
    cells in a context-dependent manner to undergo predefined developmental transitions.
    In this Review, we discuss advances in auxin action at the level of homeostasis
    and signalling. We highlight key insights into the structural basis of PIN-mediated
    intercellular auxin transport and explore two novel non-transcriptional auxin
    signalling mechanisms: one involving intracellular Ca2+ transients and another
    involving cell-surface auxin perception that mediates global, ultrafast phosphorylation.
    Furthermore, we examine emerging evidence indicating the involvement of cyclic
    adenosine monophosphate as a second messenger in the transcriptional auxin response.
    Together, these recent developments in auxin research have profoundly deepened
    our understanding of the complex and diverse activities of auxin in plant growth
    and development.'
article_number: e113018
article_processing_charge: No
article_type: review
author:
- first_name: Steffen
  full_name: Vanneste, Steffen
  last_name: Vanneste
- first_name: Yuanrong
  full_name: Pei, Yuanrong
  id: 98605edc-6ce7-11ee-95f3-cc16b866efcd
  last_name: Pei
- first_name: Jiří
  full_name: Friml, Jiří
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
citation:
  ama: Vanneste S, Pei Y, Friml J. Mechanisms of auxin action in plant growth and
    development. <i>Nature Reviews Molecular Cell Biology</i>. 2025. doi:<a href="https://doi.org/10.1038/s41580-025-00851-2">10.1038/s41580-025-00851-2</a>
  apa: Vanneste, S., Pei, Y., &#38; Friml, J. (2025). Mechanisms of auxin action in
    plant growth and development. <i>Nature Reviews Molecular Cell Biology</i>. Springer
    Nature. <a href="https://doi.org/10.1038/s41580-025-00851-2">https://doi.org/10.1038/s41580-025-00851-2</a>
  chicago: Vanneste, Steffen, Yuanrong Pei, and Jiří Friml. “Mechanisms of Auxin Action
    in Plant Growth and Development.” <i>Nature Reviews Molecular Cell Biology</i>.
    Springer Nature, 2025. <a href="https://doi.org/10.1038/s41580-025-00851-2">https://doi.org/10.1038/s41580-025-00851-2</a>.
  ieee: S. Vanneste, Y. Pei, and J. Friml, “Mechanisms of auxin action in plant growth
    and development,” <i>Nature Reviews Molecular Cell Biology</i>. Springer Nature,
    2025.
  ista: Vanneste S, Pei Y, Friml J. 2025. Mechanisms of auxin action in plant growth
    and development. Nature Reviews Molecular Cell Biology., e113018.
  mla: Vanneste, Steffen, et al. “Mechanisms of Auxin Action in Plant Growth and Development.”
    <i>Nature Reviews Molecular Cell Biology</i>, e113018, Springer Nature, 2025,
    doi:<a href="https://doi.org/10.1038/s41580-025-00851-2">10.1038/s41580-025-00851-2</a>.
  short: S. Vanneste, Y. Pei, J. Friml, Nature Reviews Molecular Cell Biology (2025).
corr_author: '1'
date_created: 2025-05-25T22:16:57Z
date_published: 2025-05-19T00:00:00Z
date_updated: 2025-09-30T12:41:30Z
day: '19'
department:
- _id: JiFr
doi: 10.1038/s41580-025-00851-2
external_id:
  isi:
  - '001490500500001'
  pmid:
  - '40389696'
fulldoi: https://doi.org/10.1038/s41580-025-00851-2
isi: 1
language:
- iso: eng
month: '05'
oa_version: None
pmid: 1
publication: Nature Reviews Molecular Cell Biology
publication_identifier:
  eissn:
  - 1471-0080
  issn:
  - 1471-0072
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mechanisms of auxin action in plant growth and development
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19737'
abstract:
- lang: eng
  text: For general large non–Hermitian random matrices X and deterministic normal
    deformations A, we prove that the local eigenvalue statistics of A + X close to
    the critical edge points of its spectrum are universal. This concludes the proof
    of the third and last remaining typical universality class for non–Hermitian random
    matrices (for normal deformations), after bulk and sharp edge universalities have
    been established in recent years.
acknowledgement: Open access funding provided by Institute of Science and Technology
  (IST Austria). Supported by ERC Advanced Grant “RMTBeyond” No. 101020331.
article_number: '050603'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Giorgio
  full_name: Cipolloni, Giorgio
  id: 42198EFA-F248-11E8-B48F-1D18A9856A87
  last_name: Cipolloni
  orcid: 0000-0002-4901-7992
- 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: Hong Chang
  full_name: Ji, Hong Chang
  last_name: Ji
citation:
  ama: Cipolloni G, Erdös L, Ji HC. Non–Hermitian spectral universality at critical
    points. <i>Probability Theory and Related Fields</i>. 2025. doi:<a href="https://doi.org/10.1007/s00440-025-01384-7">10.1007/s00440-025-01384-7</a>
  apa: Cipolloni, G., Erdös, L., &#38; Ji, H. C. (2025). Non–Hermitian spectral universality
    at critical points. <i>Probability Theory and Related Fields</i>. Springer Nature.
    <a href="https://doi.org/10.1007/s00440-025-01384-7">https://doi.org/10.1007/s00440-025-01384-7</a>
  chicago: Cipolloni, Giorgio, László Erdös, and Hong Chang Ji. “Non–Hermitian Spectral
    Universality at Critical Points.” <i>Probability Theory and Related Fields</i>.
    Springer Nature, 2025. <a href="https://doi.org/10.1007/s00440-025-01384-7">https://doi.org/10.1007/s00440-025-01384-7</a>.
  ieee: G. Cipolloni, L. Erdös, and H. C. Ji, “Non–Hermitian spectral universality
    at critical points,” <i>Probability Theory and Related Fields</i>. Springer Nature,
    2025.
  ista: Cipolloni G, Erdös L, Ji HC. 2025. Non–Hermitian spectral universality at
    critical points. Probability Theory and Related Fields., 050603.
  mla: Cipolloni, Giorgio, et al. “Non–Hermitian Spectral Universality at Critical
    Points.” <i>Probability Theory and Related Fields</i>, 050603, Springer Nature,
    2025, doi:<a href="https://doi.org/10.1007/s00440-025-01384-7">10.1007/s00440-025-01384-7</a>.
  short: G. Cipolloni, L. Erdös, H.C. Ji, Probability Theory and Related Fields (2025).
corr_author: '1'
date_created: 2025-05-25T22:16:59Z
date_published: 2025-01-01T00:00:00Z
date_updated: 2026-06-18T18:17:57Z
day: '01'
ddc:
- '500'
department:
- _id: LaEr
doi: 10.1007/s00440-025-01384-7
ec_funded: 1
external_id:
  isi:
  - '001493091900001'
fulldoi: https://doi.org/10.1007/s00440-025-01384-7
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1007/s00440-025-01384-7
month: '01'
oa: 1
oa_version: Published Version
project:
- _id: 62796744-2b32-11ec-9570-940b20777f1d
  call_identifier: H2020
  grant_number: '101020331'
  name: Random matrices beyond Wigner-Dyson-Mehta
publication: Probability Theory and Related Fields
publication_identifier:
  eissn:
  - 1432-2064
  issn:
  - 0178-8051
publication_status: epub_ahead
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Non–Hermitian spectral universality at critical points
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19738'
abstract:
- lang: eng
  text: "Garbling is a fundamental cryptographic primitive, with numerous theoretical
    and practical applications. Since the first construction by Yao (FOCS’82, ’86),
    a line of work has concerned itself with reducing the communication and computational
    complexity of that construction. One of the most efficient garbling schemes presently
    is the ‘Half Gates’ scheme by Zahur, Rosulek, and Evans (Eurocrypt’15). Despite
    its widespread adoption, the provable security of this scheme has been based on
    assumptions whose only instantiations are in idealized models. For example, in
    their original paper, Zahur, Rosulek, and Evans showed that hash functions satisfying
    a notion called circular correlation robustness (CCR) suffice for this task, and
    then proved that CCR secure hash functions can be instantiated in the random permutation
    model.\r\nIn this work, we show how to securely instantiate the Half Gates scheme
    in the standard model. To this end, we first show how this scheme can be securely
    instantiated given a (family of) weak CCR hash function, a notion that we introduce.
    Furthermore, we show how a weak CCR hash function can be used to securely instantiate
    other efficient garbling schemes, namely the ones by Rosulek and Roy (Crypto’21)
    and Heath (Eurocrypt’24). Thus we believe this notion to be of independent interest.\r\nFinally,
    we construct such weak CCR hash functions using indistinguishability obfuscation
    and one-way functions. The security proof of this construction constitutes our
    main technical contribution. While our construction is not practical, it serves
    as a proof of concept supporting the soundness of these garbling schemes, which
    we regard to be particularly important given the recent initiative by NIST to
    standardize garbling, and the optimizations in Half Gates being potentially adopted."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Anasuya
  full_name: Acharya, Anasuya
  last_name: Acharya
- first_name: Karen
  full_name: Azari, Karen
  last_name: Azari
- first_name: Mirza Ahad
  full_name: Baig, Mirza Ahad
  id: 3EDE6DE4-AA5A-11E9-986D-341CE6697425
  last_name: Baig
- first_name: Dennis
  full_name: Hofheinz, Dennis
  last_name: Hofheinz
- first_name: Chethan
  full_name: Kamath, Chethan
  last_name: Kamath
citation:
  ama: 'Acharya A, Azari K, Baig MA, Hofheinz D, Kamath C. Securely instantiating
    ‘Half Gates’ garbling in the standard model. In: <i>28th IACR International Conference
    on Practice and Theory of Public-Key Cryptography</i>. Vol 15677. Springer Nature;
    2025:37-75. doi:<a href="https://doi.org/10.1007/978-3-031-91829-2_2">10.1007/978-3-031-91829-2_2</a>'
  apa: 'Acharya, A., Azari, K., Baig, M. A., Hofheinz, D., &#38; Kamath, C. (2025).
    Securely instantiating ‘Half Gates’ garbling in the standard model. In <i>28th
    IACR International Conference on Practice and Theory of Public-Key Cryptography</i>
    (Vol. 15677, pp. 37–75). Roros, Norway: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-91829-2_2">https://doi.org/10.1007/978-3-031-91829-2_2</a>'
  chicago: Acharya, Anasuya, Karen Azari, Mirza Ahad Baig, Dennis Hofheinz, and Chethan
    Kamath. “Securely Instantiating ‘Half Gates’ Garbling in the Standard Model.”
    In <i>28th IACR International Conference on Practice and Theory of Public-Key
    Cryptography</i>, 15677:37–75. Springer Nature, 2025. <a href="https://doi.org/10.1007/978-3-031-91829-2_2">https://doi.org/10.1007/978-3-031-91829-2_2</a>.
  ieee: A. Acharya, K. Azari, M. A. Baig, D. Hofheinz, and C. Kamath, “Securely instantiating
    ‘Half Gates’ garbling in the standard model,” in <i>28th IACR International Conference
    on Practice and Theory of Public-Key Cryptography</i>, Roros, Norway, 2025, vol.
    15677, pp. 37–75.
  ista: 'Acharya A, Azari K, Baig MA, Hofheinz D, Kamath C. 2025. Securely instantiating
    ‘Half Gates’ garbling in the standard model. 28th IACR International Conference
    on Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography,
    LNCS, vol. 15677, 37–75.'
  mla: Acharya, Anasuya, et al. “Securely Instantiating ‘Half Gates’ Garbling in the Standard
    Model.” <i>28th IACR International Conference on Practice and Theory of Public-Key
    Cryptography</i>, vol. 15677, Springer Nature, 2025, pp. 37–75, doi:<a href="https://doi.org/10.1007/978-3-031-91829-2_2">10.1007/978-3-031-91829-2_2</a>.
  short: A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International
    Conference on Practice and Theory of Public-Key Cryptography, Springer Nature,
    2025, pp. 37–75.
conference:
  end_date: 2025-05-15
  location: Roros, Norway
  name: 'PKC: Public-Key Cryptography'
  start_date: 2025-05-12
date_created: 2025-05-25T22:17:02Z
date_published: 2025-05-05T00:00:00Z
date_updated: 2025-06-02T07:01:45Z
day: '05'
department:
- _id: KrPi
- _id: GradSch
doi: 10.1007/978-3-031-91829-2_2
fulldoi: https://doi.org/10.1007/978-3-031-91829-2_2
intvolume: '     15677'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://eprint.iacr.org/2025/281
month: '05'
oa: 1
oa_version: Preprint
page: 37-75
publication: 28th IACR International Conference on Practice and Theory of Public-Key
  Cryptography
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783031918285'
  issn:
  - 0302-9743
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Securely instantiating ‘Half Gates’ garbling in the standard model
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15677
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19739'
abstract:
- lang: eng
  text: "Cooperative verification is gaining momentum in recent years. The usual setup
    in cooperative verification is that a verifier A is run with some pre-defined
    resources, and if it is not able to verify the program, the verification task
    is passed to a verifier B together with information learned about the program
    by verifier A, then the chain can continue to a verifier C, and so on. This scheme
    is static: tools run one after another in a fixed pre-defined order and fixed
    parameters and resource limits (the scheme may differ for properties to be analyzed,
    though).\r\n\r\nBubaak is a program analysis tool that allows to run multiple
    program verifiers in a dynamically changing combination of parallel and sequential
    portfolios. Bubaak starts the verification process by invoking an initial set
    of tasks; every task, when it is done (e.g., because of hitting a time limit or
    finishing its job), rewrites itself into one or more successor tasks. New tasks
    can be also spawned upon events generated by other tasks. This all happens dynamically
    based on the information gathered by finished and running tasks. During their
    execution, tasks that run in parallel can exchange (partial) verification artifacts,
    either directly or with Bubaak as an intermediary."
acknowledgement: This work was in part supported by the ERC-2020-AdG 10102009 grant,
  and in part by the German Research Foundation (DFG) - WE2290/13-2 (Coop2).
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Marek
  full_name: Chalupa, Marek
  id: 87e34708-d6c6-11ec-9f5b-9391e7be2463
  last_name: Chalupa
- first_name: Cedric
  full_name: Richter, Cedric
  last_name: Richter
citation:
  ama: 'Chalupa M, Richter C. BUBAAK: Dynamic cooperative verification. In: <i>31st
    International Conference on Tools and Algorithms for the Construction and Analysis
    of Systems</i>. Vol 15698. Springer Nature; 2025:212-216. doi:<a href="https://doi.org/10.1007/978-3-031-90660-2_14">10.1007/978-3-031-90660-2_14</a>'
  apa: 'Chalupa, M., &#38; Richter, C. (2025). BUBAAK: Dynamic cooperative verification.
    In <i>31st International Conference on Tools and Algorithms for the Construction
    and Analysis of Systems</i> (Vol. 15698, pp. 212–216). Hamilton, ON, Canada: Springer
    Nature. <a href="https://doi.org/10.1007/978-3-031-90660-2_14">https://doi.org/10.1007/978-3-031-90660-2_14</a>'
  chicago: 'Chalupa, Marek, and Cedric Richter. “BUBAAK: Dynamic Cooperative Verification.”
    In <i>31st International Conference on Tools and Algorithms for the Construction
    and Analysis of Systems</i>, 15698:212–16. Springer Nature, 2025. <a href="https://doi.org/10.1007/978-3-031-90660-2_14">https://doi.org/10.1007/978-3-031-90660-2_14</a>.'
  ieee: 'M. Chalupa and C. Richter, “BUBAAK: Dynamic cooperative verification,” in
    <i>31st International Conference on Tools and Algorithms for the Construction
    and Analysis of Systems</i>, Hamilton, ON, Canada, 2025, vol. 15698, pp. 212–216.'
  ista: 'Chalupa M, Richter C. 2025. BUBAAK: Dynamic cooperative verification. 31st
    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. 15698, 212–216.'
  mla: 'Chalupa, Marek, and Cedric Richter. “BUBAAK: Dynamic Cooperative Verification.”
    <i>31st International Conference on Tools and Algorithms for the Construction
    and Analysis of Systems</i>, vol. 15698, Springer Nature, 2025, pp. 212–16, doi:<a
    href="https://doi.org/10.1007/978-3-031-90660-2_14">10.1007/978-3-031-90660-2_14</a>.'
  short: M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms
    for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.
conference:
  end_date: 2025-05-08
  location: Hamilton, ON, Canada
  name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
  start_date: 2025-05-03
corr_author: '1'
date_created: 2025-05-25T22:17:04Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-06-02T07:21:41Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-031-90660-2_14
ec_funded: 1
file:
- access_level: open_access
  checksum: 3f604f25dbe37383acb7f8308aad3ca6
  content_type: application/pdf
  creator: dernst
  date_created: 2025-06-02T07:10:35Z
  date_updated: 2025-06-02T07:10:35Z
  file_id: '19766'
  file_name: 2025_TACAS_Chalupa.pdf
  file_size: 259050
  relation: main_file
  success: 1
file_date_updated: 2025-06-02T07:10:35Z
fulldoi: https://doi.org/10.1007/978-3-031-90660-2_14
has_accepted_license: '1'
intvolume: '     15698'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 212-216
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publication: 31st International Conference on Tools and Algorithms for the Construction
  and Analysis of Systems
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783031906596'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'BUBAAK: Dynamic cooperative verification'
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: 15698
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19742'
abstract:
- lang: eng
  text: Statistical model checking estimates probabilities and expectations of interest
    in probabilistic system models by using random simulations. Its results come with
    statistical guarantees. However, many tools use unsound statistical methods that
    produce incorrect results more often than they claim. In this paper, we provide
    a comprehensive overview of tools and their correctness, as well as of sound methods
    available for estimating probabilities from the literature. For expected rewards,
    we investigate how to bound the path reward distribution to apply sound statistical
    methods for bounded distributions, of which we recommend the Dvoretzky-Kiefer-Wolfowitz
    inequality that has not been used in SMC so far. We prove that even reachability
    rewards can be bounded in theory, and formalise the concept of limit-PAC procedures
    for a practical solution. The modes SMC tool implements our methods and recommendations,
    which we use to experimentally confirm our results.
acknowledgement: This work was supported by the DFG through the Cluster of Excellence
  EXC 2050/1 (CeTI, project ID 390696704, as part of Germany’s Excellence Strategy)
  and the TRR 248 (see perspicuous-computing.science, project ID 389792660), by the
  European Union’s Horizon 2020 research and innovation programme under Marie Skłodowska-Curie
  grant agreements 101008233 (MISSION), 101034413 (IST-BRIDGE), and 101067199 (ProSVED),
  by the EU under NextGenerationEU projects D53D23008400006 (Smartitude) under MUR
  PRIN 2022 and PE00000014 (SERICS) under MUR PNRR, by the Interreg North Sea project
  STORM_SAFE, and by NWO VIDI grant VI.Vidi.223.110 (TruSTy).
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Carlos E.
  full_name: Budde, Carlos E.
  last_name: Budde
- first_name: Arnd
  full_name: Hartmanns, Arnd
  last_name: Hartmanns
- first_name: Tobias
  full_name: Meggendorfer, Tobias
  id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
  last_name: Meggendorfer
  orcid: 0000-0002-1712-2165
- first_name: Maximilian
  full_name: Weininger, Maximilian
  id: 02ab0197-cc70-11ed-ab61-918e71f56881
  last_name: Weininger
- first_name: Patrick
  full_name: Wienhöft, Patrick
  last_name: Wienhöft
citation:
  ama: 'Budde CE, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical
    model checking for probabilities and expected rewards. In: <i>31st International
    Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>.
    Vol 15696. Springer Nature; 2025:167-190. doi:<a href="https://doi.org/10.1007/978-3-031-90643-5_9">10.1007/978-3-031-90643-5_9</a>'
  apa: 'Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M., &#38; Wienhöft,
    P. (2025). Sound statistical model checking for probabilities and expected rewards.
    In <i>31st International Conference on Tools and Algorithms for the Construction
    and Analysis of Systems</i> (Vol. 15696, pp. 167–190). Hamilton, ON, Canada: Springer
    Nature. <a href="https://doi.org/10.1007/978-3-031-90643-5_9">https://doi.org/10.1007/978-3-031-90643-5_9</a>'
  chicago: Budde, Carlos E., Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger,
    and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and
    Expected Rewards.” In <i>31st International Conference on Tools and Algorithms
    for the Construction and Analysis of Systems</i>, 15696:167–90. Springer Nature,
    2025. <a href="https://doi.org/10.1007/978-3-031-90643-5_9">https://doi.org/10.1007/978-3-031-90643-5_9</a>.
  ieee: C. E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, and P. Wienhöft,
    “Sound statistical model checking for probabilities and expected rewards,” in
    <i>31st International Conference on Tools and Algorithms for the Construction
    and Analysis of Systems</i>, Hamilton, ON, Canada, 2025, vol. 15696, pp. 167–190.
  ista: 'Budde CE, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. 2025. Sound
    statistical model checking for probabilities and expected rewards. 31st 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. 15696, 167–190.'
  mla: Budde, Carlos E., et al. “Sound Statistical Model Checking for Probabilities
    and Expected Rewards.” <i>31st International Conference on Tools and Algorithms
    for the Construction and Analysis of Systems</i>, vol. 15696, Springer Nature,
    2025, pp. 167–90, doi:<a href="https://doi.org/10.1007/978-3-031-90643-5_9">10.1007/978-3-031-90643-5_9</a>.
  short: C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:,
    31st International Conference on Tools and Algorithms for the Construction and
    Analysis of Systems, Springer Nature, 2025, pp. 167–190.
conference:
  end_date: 2025-05-08
  location: Hamilton, ON, Canada
  name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
  start_date: 2025-05-03
date_created: 2025-05-25T22:17:08Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-06-02T09:45:41Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-031-90643-5_9
ec_funded: 1
external_id:
  arxiv:
  - '2411.00559'
file:
- access_level: open_access
  checksum: d45856b503b1dd4f8f14c3566327225b
  content_type: application/pdf
  creator: dernst
  date_created: 2025-06-02T09:35:42Z
  date_updated: 2025-06-02T09:35:42Z
  file_id: '19770'
  file_name: 2025_TACAS_Budde.pdf
  file_size: 711271
  relation: main_file
  success: 1
file_date_updated: 2025-06-02T09:35:42Z
fulldoi: https://doi.org/10.1007/978-3-031-90643-5_9
has_accepted_license: '1'
intvolume: '     15696'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 167-190
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
  call_identifier: H2020
  grant_number: '101034413'
  name: 'IST-BRIDGE: International postdoctoral program'
publication: 31st International Conference on Tools and Algorithms for the Construction
  and Analysis of Systems
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783031906428'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '19769'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Sound statistical model checking for probabilities and expected rewards
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: 15696
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19769'
abstract:
- lang: eng
  text: "Artifact to reproduce the experimental results presented in the article \"Sound
    Statistical Model Checking for Probabilities and Expected Rewards\" by Carlos
    E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick
    Wienhöft (TACAS 2025).\r\n\r\nThe contents include all data and software (formal
    models, software tools, Python & bash scripts) used in the experimental evaluation
    presented in sections 3, 4, and 6 of the article. Detailed instructions on how
    to reproduce the results are bundled in the artifact."
article_processing_charge: No
author:
- first_name: Carlos
  full_name: Budde, Carlos
  last_name: Budde
- first_name: Arnd
  full_name: Hartmanns, Arnd
  last_name: Hartmanns
- first_name: Tobias
  full_name: Meggendorfer, Tobias
  id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
  last_name: Meggendorfer
  orcid: 0000-0002-1712-2165
- first_name: Maximilian
  full_name: Weininger, Maximilian
  id: 02ab0197-cc70-11ed-ab61-918e71f56881
  last_name: Weininger
- first_name: Patrick
  full_name: Wienhöft, Patrick
  last_name: Wienhöft
citation:
  ama: Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical
    model checking for probabilities and expected rewards (experimental reproduction
    package). 2025. doi:<a href="https://doi.org/10.5281/ZENODO.14602066">10.5281/ZENODO.14602066</a>
  apa: Budde, C., Hartmanns, A., Meggendorfer, T., Weininger, M., &#38; Wienhöft,
    P. (2025). Sound statistical model checking for probabilities and expected rewards
    (experimental reproduction package). Zenodo. <a href="https://doi.org/10.5281/ZENODO.14602066">https://doi.org/10.5281/ZENODO.14602066</a>
  chicago: Budde, Carlos, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger,
    and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and
    Expected Rewards (Experimental Reproduction Package).” Zenodo, 2025. <a href="https://doi.org/10.5281/ZENODO.14602066">https://doi.org/10.5281/ZENODO.14602066</a>.
  ieee: C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, and P. Wienhöft, “Sound
    statistical model checking for probabilities and expected rewards (experimental
    reproduction package).” Zenodo, 2025.
  ista: Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. 2025. Sound
    statistical model checking for probabilities and expected rewards (experimental
    reproduction package), Zenodo, <a href="https://doi.org/10.5281/ZENODO.14602066">10.5281/ZENODO.14602066</a>.
  mla: Budde, Carlos, et al. <i>Sound Statistical Model Checking for Probabilities
    and Expected Rewards (Experimental Reproduction Package)</i>. Zenodo, 2025, doi:<a
    href="https://doi.org/10.5281/ZENODO.14602066">10.5281/ZENODO.14602066</a>.
  short: C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).
date_created: 2025-06-02T09:37:14Z
date_published: 2025-01-07T00:00:00Z
date_updated: 2025-06-02T09:45:41Z
day: '07'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.5281/ZENODO.14602066
fulldoi: https://doi.org/10.5281/ZENODO.14602066
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/ZENODO.14602066
month: '01'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
  record:
  - id: '19742'
    relation: used_in_publication
    status: public
status: public
title: Sound statistical model checking for probabilities and expected rewards (experimental
  reproduction package)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19777'
abstract:
- lang: eng
  text: Snow cover is of key importance for water resources in high mountain Asia
    (HMA) and is expected to undergo extensive changes in a warming climate. Past
    studies have quantified snow cover changes with satellite products of relatively
    low spatial resolution (∼500 m) which are hindered by the steep topography of
    this mountain region. We derive snowlines from Sentinel-2 and Landsat 5, 7 and
    8 images, which, thanks to their higher spatial resolution, are less sensitive
    to the local topography. We calculate the snow line altitude (SLA) and its seasonality
    for all glacierized catchments of HMA and link these patterns to climate variables
    corrected for topographic biases. As such, the snowline changes provide a clear
    proxy for climatic changes. Our results highlight a strong spatial variability
    in mean SLA and in its seasonal changes, including across mountain chains and
    between the monsoon-dominated and the westerlies-dominated catchments. Over the
    period 1999–2019, the western regions of HMA (Pamir, Karakoram, Western Himalaya)
    have undergone increased snow coverage, expressed as seasonal SLA decrease, in
    spring and summer. This change is opposed to a widespread increase in SLA in autumn
    across the region, and especially the southeastern regions of HMA (Nyainqentanglha,
    Hengduan Shan, South–East Himalaya). Our results indicate that the diversity of
    seasonal snow dynamics across the region is controlled not by temperature or precipitation
    directly but by the timing and partitioning of solid precipitation. Decadal snowline
    changes (1999–2009 vs 2009–2019) seasonally precede temperature changes, suggesting
    that seasonal temperature changes in the Karakoram–Pamir and Eastern Nyainqentanglha
    regions may have responded to snow cover changes, rather than driving them.
acknowledgement: This work was supported by the SNSF (Science and Swiss National Science
  Foundation)-SSSTC (Sino-Swiss Science and Technology Cooperation) Project (IZLCZ0_189890)
  'Understanding snow, glacier and rivers response to climate in High Mountain Asia
  (ASCENT)', by the JSPS (Japan Society for the Promotion)-SNSF Bilateral Programmes
  project (HOPE, High-elevation precipitation in High Mountain Asia; Grant 183633),
  and the European Research Council (ERC) under the European Union's Horizon 2020
  research and innovation program (RAVEN, Rapid mass losses of debris-covered glaciers
  in High Mountain Asia; Grant 772751). Marin Kneib acknowledges funding from the
  SNSF Postdoc.Mobility program (Grant No. P500PN_210739).
article_number: '064039'
article_processing_charge: Yes
article_type: original
author:
- first_name: M.
  full_name: Bernat, M.
  last_name: Bernat
- first_name: E. S.
  full_name: Miles, E. S.
  last_name: Miles
- first_name: M.
  full_name: Kneib, M.
  last_name: Kneib
- first_name: K.
  full_name: Fujita, K.
  last_name: Fujita
- first_name: O.
  full_name: Sasaki, O.
  last_name: Sasaki
- first_name: Thomas
  full_name: Shaw, Thomas
  id: 3caa3f91-1f03-11ee-96ce-e0e553054d6e
  last_name: Shaw
  orcid: 0000-0001-7640-6152
- first_name: Francesca
  full_name: Pellicciotti, Francesca
  id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
  last_name: Pellicciotti
  orcid: 0000-0002-5554-8087
citation:
  ama: Bernat M, Miles ES, Kneib M, et al. Precipitation phase drives seasonal and
    decadal snowline changes in high mountain Asia. <i>Environmental Research Letters</i>.
    2025;20(6). doi:<a href="https://doi.org/10.1088/1748-9326/adcf39">10.1088/1748-9326/adcf39</a>
  apa: Bernat, M., Miles, E. S., Kneib, M., Fujita, K., Sasaki, O., Shaw, T., &#38;
    Pellicciotti, F. (2025). Precipitation phase drives seasonal and decadal snowline
    changes in high mountain Asia. <i>Environmental Research Letters</i>. IOP Publishing.
    <a href="https://doi.org/10.1088/1748-9326/adcf39">https://doi.org/10.1088/1748-9326/adcf39</a>
  chicago: Bernat, M., E. S. Miles, M. Kneib, K. Fujita, O. Sasaki, Thomas Shaw, and
    Francesca Pellicciotti. “Precipitation Phase Drives Seasonal and Decadal Snowline
    Changes in High Mountain Asia.” <i>Environmental Research Letters</i>. IOP Publishing,
    2025. <a href="https://doi.org/10.1088/1748-9326/adcf39">https://doi.org/10.1088/1748-9326/adcf39</a>.
  ieee: M. Bernat <i>et al.</i>, “Precipitation phase drives seasonal and decadal
    snowline changes in high mountain Asia,” <i>Environmental Research Letters</i>,
    vol. 20, no. 6. IOP Publishing, 2025.
  ista: Bernat M, Miles ES, Kneib M, Fujita K, Sasaki O, Shaw T, Pellicciotti F. 2025.
    Precipitation phase drives seasonal and decadal snowline changes in high mountain
    Asia. Environmental Research Letters. 20(6), 064039.
  mla: Bernat, M., et al. “Precipitation Phase Drives Seasonal and Decadal Snowline
    Changes in High Mountain Asia.” <i>Environmental Research Letters</i>, vol. 20,
    no. 6, 064039, IOP Publishing, 2025, doi:<a href="https://doi.org/10.1088/1748-9326/adcf39">10.1088/1748-9326/adcf39</a>.
  short: M. Bernat, E.S. Miles, M. Kneib, K. Fujita, O. Sasaki, T. Shaw, F. Pellicciotti,
    Environmental Research Letters 20 (2025).
date_created: 2025-06-03T07:30:21Z
date_published: 2025-06-01T00:00:00Z
date_updated: 2025-09-30T12:43:11Z
day: '01'
ddc:
- '550'
department:
- _id: FrPe
doi: 10.1088/1748-9326/adcf39
external_id:
  isi:
  - '001493525600001'
file:
- access_level: open_access
  checksum: 84a8d895762f0ab4b30b34e7387b33c7
  content_type: application/pdf
  creator: dernst
  date_created: 2025-06-03T08:10:45Z
  date_updated: 2025-06-03T08:10:45Z
  file_id: '19781'
  file_name: 2025_EnvironmResearchLetters_Bernat.pdf
  file_size: 3604497
  relation: main_file
  success: 1
file_date_updated: 2025-06-03T08:10:45Z
fulldoi: https://doi.org/10.1088/1748-9326/adcf39
has_accepted_license: '1'
intvolume: '        20'
isi: 1
issue: '6'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
publication: Environmental Research Letters
publication_identifier:
  eissn:
  - 1748-9326
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
related_material:
  record:
  - id: '19780'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Precipitation phase drives seasonal and decadal snowline changes in high mountain
  Asia
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 20
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19778'
abstract:
- lang: eng
  text: "A verifiable delay function VDF(x, T)->(y, π) maps an input x and time parameter
    T to an output y together with an efficiently verifiable proof π certifying that
    y was correctly computed. The function runs in T sequential steps, and it should
    not be possible to compute y much faster than that. The only known practical VDFs
    use sequential squaring in groups of unknown order as the sequential function,
    i.e., y = x^2^T. There are two constructions for the proof of exponentiation (PoE)
    certifying that y = x^2^T, with Wesolowski (Eurocrypt’19) having very short proofs,
    but they are more expensive to compute and the soundness relies on stronger assumptions
    than the PoE proposed by Pietrzak (ITCS’19).\r\nA recent application of VDFs by
    Arun, Bonneau and Clark (Asiacrypt’22) are short-lived proofs and signatures,
    which are proofs and signatures that are only sound for some time t, but after
    that can be forged by anyone. For this they rely on “watermarkable VDFs”, where
    the proof embeds a prover chosen watermark. To achieve stronger notions of proofs/signatures
    with reusable forgeability, they rely on “zero-knowledge VDFs”, where instead
    of the output y, one just proves knowledge of this output. The existing proposals
    for watermarkable and zero-knowledge VDFs all build on Wesolowski’s PoE, for the
    watermarkable VDFs there’s currently no security proof.\r\n\r\nIn this work we
    give the first constructions that transform any PoEs in hidden order groups into
    watermarkable VDFs and into zkVDFs, solving an open question by Arun et al. Unlike
    our watermarkable VDF, the zkVDF (required for reusable forgeability) is not very
    practical as the number of group elements in the proof is a security parameter.
    To address this, we introduce the notion of zero-knowledge proofs of sequential
    work (zkPoSW), a notion that relaxes zkVDFs by not requiring that the output is
    unique. We show that zkPoSW are sufficient to construct proofs or signatures with
    reusable forgeability, and construct efficient zkPoSW from any PoE, ultimately
    achieving short lived proofs and signatures that improve upon Arun et al.’s construction
    in several dimensions (faster forging times, arguably weaker assumptions).\r\nA
    key idea underlying our constructions is to not directly construct a (watermarked
    or zk) proof for y = x^2^T, but instead give a (watermarked or zk) proof for the
    more basic statement that \r\nx^l, y^l satisfy x^l = x ^r, y^l = y^r for some
    r, together with a normal PoE for y^l = (x^l)^2^T."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Charlotte
  full_name: Hoffmann, Charlotte
  id: 0f78d746-dc7d-11ea-9b2f-83f92091afe7
  last_name: Hoffmann
  orcid: 0000-0003-2027-5549
- first_name: Krzysztof Z
  full_name: Pietrzak, Krzysztof Z
  id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
  last_name: Pietrzak
  orcid: 0000-0002-9139-1654
citation:
  ama: 'Hoffmann C, Pietrzak KZ. Watermarkable and zero-knowledge Verifiable Delay
    Functions from any proof of exponentiation. In: <i>28th IACR International Conference
    on Practice and Theory of Public-Key Cryptography</i>. Vol 15674. Springer Nature;
    2025:36-66. doi:<a href="https://doi.org/10.1007/978-3-031-91820-9_2">10.1007/978-3-031-91820-9_2</a>'
  apa: 'Hoffmann, C., &#38; Pietrzak, K. Z. (2025). Watermarkable and zero-knowledge
    Verifiable Delay Functions from any proof of exponentiation. In <i>28th IACR International
    Conference on Practice and Theory of Public-Key Cryptography</i> (Vol. 15674,
    pp. 36–66). Roros, Norway: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-91820-9_2">https://doi.org/10.1007/978-3-031-91820-9_2</a>'
  chicago: Hoffmann, Charlotte, and Krzysztof Z Pietrzak. “Watermarkable and Zero-Knowledge
    Verifiable Delay Functions from Any Proof of Exponentiation.” In <i>28th IACR
    International Conference on Practice and Theory of Public-Key Cryptography</i>,
    15674:36–66. Springer Nature, 2025. <a href="https://doi.org/10.1007/978-3-031-91820-9_2">https://doi.org/10.1007/978-3-031-91820-9_2</a>.
  ieee: C. Hoffmann and K. Z. Pietrzak, “Watermarkable and zero-knowledge Verifiable
    Delay Functions from any proof of exponentiation,” in <i>28th IACR International
    Conference on Practice and Theory of Public-Key Cryptography</i>, Roros, Norway,
    2025, vol. 15674, pp. 36–66.
  ista: 'Hoffmann C, Pietrzak KZ. 2025. Watermarkable and zero-knowledge Verifiable
    Delay Functions from any proof of exponentiation. 28th IACR International Conference
    on Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography,
    LNCS, vol. 15674, 36–66.'
  mla: Hoffmann, Charlotte, and Krzysztof Z. Pietrzak. “Watermarkable and Zero-Knowledge
    Verifiable Delay Functions from Any Proof of Exponentiation.” <i>28th IACR International
    Conference on Practice and Theory of Public-Key Cryptography</i>, vol. 15674,
    Springer Nature, 2025, pp. 36–66, doi:<a href="https://doi.org/10.1007/978-3-031-91820-9_2">10.1007/978-3-031-91820-9_2</a>.
  short: C. Hoffmann, K.Z. Pietrzak, in:, 28th IACR International Conference on Practice
    and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 36–66.
conference:
  end_date: 2025-05-15
  location: Roros, Norway
  name: 'PKC: Public-Key Cryptography'
  start_date: 2025-05-12
corr_author: '1'
date_created: 2025-06-03T07:30:21Z
date_published: 2025-01-01T00:00:00Z
date_updated: 2026-04-16T09:11:09Z
day: '01'
department:
- _id: KrPi
- _id: GradSch
doi: 10.1007/978-3-031-91820-9_2
fulldoi: https://doi.org/10.1007/978-3-031-91820-9_2
intvolume: '     15674'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://ia.cr/2024/481
month: '01'
oa: 1
oa_version: Preprint
page: 36-66
publication: 28th IACR International Conference on Practice and Theory of Public-Key
  Cryptography
publication_identifier:
  eisbn:
  - '9783031918209'
  eissn:
  - 1611-3349
  isbn:
  - '9783031918193'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '20920'
    relation: dissertation_contains
    status: public
  - id: '20556'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Watermarkable and zero-knowledge Verifiable Delay Functions from any proof
  of exponentiation
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 15674
year: '2025'
...
