---
_id: '13092'
abstract:
- lang: eng
  text: There is a need for the development of lead-free thermoelectric materials
    for medium-/high-temperature applications. Here, we report a thiol-free tin telluride
    (SnTe) precursor that can be thermally decomposed to produce SnTe crystals with
    sizes ranging from tens to several hundreds of nanometers. We further engineer
    SnTe–Cu2SnTe3 nanocomposites with a homogeneous phase distribution by decomposing
    the liquid SnTe precursor containing a dispersion of Cu1.5Te colloidal nanoparticles.
    The presence of Cu within the SnTe and the segregated semimetallic Cu2SnTe3 phase
    effectively improves the electrical conductivity of SnTe while simultaneously
    reducing the lattice thermal conductivity without compromising the Seebeck coefficient.
    Overall, power factors up to 3.63 mW m–1 K–2 and thermoelectric figures of merit
    up to 1.04 are obtained at 823 K, which represent a 167% enhancement compared
    with pristine SnTe.
acknowledgement: Open Access is funded by the Austrian Science Fund (FWF). We thank
  Generalitat de Catalunya AGAUR─2021 SGR 01581 for financial support. B.F.N., K.X.,
  and L.L.Y. thank the China Scholarship Council (CSC) for the scholarship support.
  C.C. acknowledges funding from the FWF “Lise Meitner Fellowship” grant agreement
  M 2889-N. J.S.L is grateful to the Science and Technology Department of Sichuan
  Province for the project no. 22NSFSC0966. K.H.L. was supported by the Institute
  of Zhejiang University-Quzhou (IZQ2021RCZX003). M.I. acknowledges the financial
  support from IST Austria.
article_processing_charge: No
article_type: original
author:
- first_name: Bingfei
  full_name: Nan, Bingfei
  last_name: 'Nan'
- first_name: Xuan
  full_name: Song, Xuan
  last_name: Song
- first_name: Cheng
  full_name: Chang, Cheng
  id: 9E331C2E-9F27-11E9-AE48-5033E6697425
  last_name: Chang
  orcid: 0000-0002-9515-4277
- first_name: Ke
  full_name: Xiao, Ke
  last_name: Xiao
- first_name: Yu
  full_name: Zhang, Yu
  last_name: Zhang
- first_name: Linlin
  full_name: Yang, Linlin
  last_name: Yang
- first_name: Sharona
  full_name: Horta, Sharona
  id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc
  last_name: Horta
- first_name: Junshan
  full_name: Li, Junshan
  last_name: Li
- first_name: Khak Ho
  full_name: Lim, Khak Ho
  last_name: Lim
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: Nan B, Song X, Chang C, et al. Bottom-up synthesis of SnTe-based thermoelectric
    composites. <i>ACS Applied Materials and Interfaces</i>. 2023;15(19):23380–23389.
    doi:<a href="https://doi.org/10.1021/acsami.3c00625">10.1021/acsami.3c00625</a>
  apa: Nan, B., Song, X., Chang, C., Xiao, K., Zhang, Y., Yang, L., … Cabot, A. (2023).
    Bottom-up synthesis of SnTe-based thermoelectric composites. <i>ACS Applied Materials
    and Interfaces</i>. American Chemical Society. <a href="https://doi.org/10.1021/acsami.3c00625">https://doi.org/10.1021/acsami.3c00625</a>
  chicago: Nan, Bingfei, Xuan Song, Cheng Chang, Ke Xiao, Yu Zhang, Linlin Yang, Sharona
    Horta, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.” <i>ACS
    Applied Materials and Interfaces</i>. American Chemical Society, 2023. <a href="https://doi.org/10.1021/acsami.3c00625">https://doi.org/10.1021/acsami.3c00625</a>.
  ieee: B. Nan <i>et al.</i>, “Bottom-up synthesis of SnTe-based thermoelectric composites,”
    <i>ACS Applied Materials and Interfaces</i>, vol. 15, no. 19. American Chemical
    Society, pp. 23380–23389, 2023.
  ista: Nan B, Song X, Chang C, Xiao K, Zhang Y, Yang L, Horta S, Li J, Lim KH, Ibáñez
    M, Cabot A. 2023. Bottom-up synthesis of SnTe-based thermoelectric composites.
    ACS Applied Materials and Interfaces. 15(19), 23380–23389.
  mla: Nan, Bingfei, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.”
    <i>ACS Applied Materials and Interfaces</i>, vol. 15, no. 19, American Chemical
    Society, 2023, pp. 23380–23389, doi:<a href="https://doi.org/10.1021/acsami.3c00625">10.1021/acsami.3c00625</a>.
  short: B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H.
    Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
corr_author: '1'
date_created: 2023-05-28T22:01:03Z
date_published: 2023-05-04T00:00:00Z
date_updated: 2025-04-14T09:29:33Z
day: '04'
ddc:
- '540'
department:
- _id: MaIb
doi: 10.1021/acsami.3c00625
external_id:
  isi:
  - '000985497900001'
  pmid:
  - '37141543'
file:
- access_level: open_access
  checksum: 23893be46763c4c78daacddd019de821
  content_type: application/pdf
  creator: dernst
  date_created: 2023-05-30T07:38:44Z
  date_updated: 2023-05-30T07:38:44Z
  file_id: '13099'
  file_name: 2023_ACSAppliedMaterials_Nan.pdf
  file_size: 5640829
  relation: main_file
  success: 1
file_date_updated: 2023-05-30T07:38:44Z
fulldoi: https://doi.org/10.1021/acsami.3c00625
has_accepted_license: '1'
intvolume: '        15'
isi: 1
issue: '19'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 23380–23389
pmid: 1
project:
- _id: 9B8804FC-BA93-11EA-9121-9846C619BF3A
  grant_number: M02889
  name: Bottom-up Engineering for Thermoelectric Applications
publication: ACS Applied Materials and Interfaces
publication_identifier:
  eissn:
  - 1944-8252
  issn:
  - 1944-8244
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Bottom-up synthesis of SnTe-based thermoelectric composites
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 15
year: '2023'
...
---
_id: '13094'
abstract:
- lang: eng
  text: 'Endocytosis is a key cellular process involved in the uptake of nutrients,
    pathogens, or the therapy of diseases. Most studies have focused on spherical
    objects, whereas biologically relevant shapes can be highly anisotropic. In this
    letter, we use an experimental model system based on Giant Unilamellar Vesicles
    (GUVs) and dumbbell-shaped colloidal particles to mimic and investigate the first
    stage of the passive endocytic process: engulfment of an anisotropic object by
    the membrane. Our model has specific ligand–receptor interactions realized by
    mobile receptors on the vesicles and immobile ligands on the particles. Through
    a series of experiments, theory, and molecular dynamics simulations, we quantify
    the wrapping process of anisotropic dumbbells by GUVs and identify distinct stages
    of the wrapping pathway. We find that the strong curvature variation in the neck
    of the dumbbell as well as membrane tension are crucial in determining both the
    speed of wrapping and the final states.'
acknowledgement: We sincerely thank Casper van der Wel for providing open-source packages
  for tracking, as well as Yogesh Shelke for his assistance with PAA coverslip preparation
  and Rachel Doherty for her assistance with particle functionalization. We are grateful
  to Felix Frey for useful discussions on the theory of membrane wrapping. B.M. and
  A.Š. acknowledge funding by the European Union’s Horizon 2020 research and innovation
  programme (ERC Starting Grant No. 802960).
article_processing_charge: No
article_type: letter_note
author:
- first_name: Ali
  full_name: Azadbakht, Ali
  last_name: Azadbakht
- first_name: Billie
  full_name: Meadowcroft, Billie
  id: a4725fd6-932b-11ed-81e2-c098c7f37ae1
  last_name: Meadowcroft
  orcid: 0000-0003-3441-1337
- first_name: Thijs
  full_name: Varkevisser, Thijs
  last_name: Varkevisser
- first_name: Anđela
  full_name: Šarić, Anđela
  id: bf63d406-f056-11eb-b41d-f263a6566d8b
  last_name: Šarić
  orcid: 0000-0002-7854-2139
- first_name: Daniela J.
  full_name: Kraft, Daniela J.
  last_name: Kraft
citation:
  ama: Azadbakht A, Meadowcroft B, Varkevisser T, Šarić A, Kraft DJ. Wrapping pathways
    of anisotropic dumbbell particles by Giant Unilamellar Vesicles. <i>Nano Letters</i>.
    2023;23(10):4267–4273. doi:<a href="https://doi.org/10.1021/acs.nanolett.3c00375">10.1021/acs.nanolett.3c00375</a>
  apa: Azadbakht, A., Meadowcroft, B., Varkevisser, T., Šarić, A., &#38; Kraft, D.
    J. (2023). Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar
    Vesicles. <i>Nano Letters</i>. American Chemical Society. <a href="https://doi.org/10.1021/acs.nanolett.3c00375">https://doi.org/10.1021/acs.nanolett.3c00375</a>
  chicago: Azadbakht, Ali, Billie Meadowcroft, Thijs Varkevisser, Anđela Šarić, and
    Daniela J. Kraft. “Wrapping Pathways of Anisotropic Dumbbell Particles by Giant
    Unilamellar Vesicles.” <i>Nano Letters</i>. American Chemical Society, 2023. <a
    href="https://doi.org/10.1021/acs.nanolett.3c00375">https://doi.org/10.1021/acs.nanolett.3c00375</a>.
  ieee: A. Azadbakht, B. Meadowcroft, T. Varkevisser, A. Šarić, and D. J. Kraft, “Wrapping
    pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles,” <i>Nano
    Letters</i>, vol. 23, no. 10. American Chemical Society, pp. 4267–4273, 2023.
  ista: Azadbakht A, Meadowcroft B, Varkevisser T, Šarić A, Kraft DJ. 2023. Wrapping
    pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano
    Letters. 23(10), 4267–4273.
  mla: Azadbakht, Ali, et al. “Wrapping Pathways of Anisotropic Dumbbell Particles
    by Giant Unilamellar Vesicles.” <i>Nano Letters</i>, vol. 23, no. 10, American
    Chemical Society, 2023, pp. 4267–4273, doi:<a href="https://doi.org/10.1021/acs.nanolett.3c00375">10.1021/acs.nanolett.3c00375</a>.
  short: A. Azadbakht, B. Meadowcroft, T. Varkevisser, A. Šarić, D.J. Kraft, Nano
    Letters 23 (2023) 4267–4273.
date_created: 2023-05-28T22:01:03Z
date_published: 2023-05-04T00:00:00Z
date_updated: 2025-04-14T07:59:30Z
day: '04'
ddc:
- '540'
department:
- _id: AnSa
doi: 10.1021/acs.nanolett.3c00375
ec_funded: 1
external_id:
  isi:
  - '000985481400001'
  pmid:
  - '37141427'
file:
- access_level: open_access
  checksum: 9734d4c617bab3578ef62916b764547a
  content_type: application/pdf
  creator: dernst
  date_created: 2023-05-30T07:55:31Z
  date_updated: 2023-05-30T07:55:31Z
  file_id: '13100'
  file_name: 2023_NanoLetters_Azadbakht.pdf
  file_size: 3654910
  relation: main_file
  success: 1
file_date_updated: 2023-05-30T07:55:31Z
fulldoi: https://doi.org/10.1021/acs.nanolett.3c00375
has_accepted_license: '1'
intvolume: '        23'
isi: 1
issue: '10'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 4267–4273
pmid: 1
project:
- _id: eba2549b-77a9-11ec-83b8-a81e493eae4e
  call_identifier: H2020
  grant_number: '802960'
  name: 'Non-Equilibrium Protein Assembly: from Building Blocks to Biological Machines'
publication: Nano Letters
publication_identifier:
  eissn:
  - 1530-6992
  issn:
  - 1530-6984
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 23
year: '2023'
...
---
_id: '13095'
abstract:
- lang: eng
  text: Disulfide bond formation is fundamentally important for protein structure
    and constitutes a key mechanism by which cells regulate the intracellular oxidation
    state. Peroxiredoxins (PRDXs) eliminate reactive oxygen species such as hydrogen
    peroxide through a catalytic cycle of Cys oxidation and reduction. Additionally,
    upon Cys oxidation PRDXs undergo extensive conformational rearrangements that
    may underlie their presently structurally poorly defined functions as molecular
    chaperones. Rearrangements include high molecular-weight oligomerization, the
    dynamics of which are, however, poorly understood, as is the impact of disulfide
    bond formation on these properties. Here we show that formation of disulfide bonds
    along the catalytic cycle induces extensive μs time scale dynamics, as monitored
    by magic-angle spinning NMR of the 216 kDa-large Tsa1 decameric assembly and solution-NMR
    of a designed dimeric mutant. We ascribe the conformational dynamics to structural
    frustration, resulting from conflicts between the disulfide-constrained reduction
    of mobility and the desire to fulfill other favorable contacts.
acknowledgement: "We thank Albert A. Smith (Univ. Leipzig) for discussions and help
  with detectors analyses, Undina Guillerm (IST Austria) for gel electrophoresis experiments
  (Figure S7), and Jens\r\nLidman (Univ. Gothenburg) for a 3Q relaxation analysis
  script. Intramural funding from Institute of Science and Technology Austria is acknowledged.
  This work also used the platforms of\r\nthe Grenoble Instruct-ERIC center (ISBG;
  UMS 3518 CNRSCEA-UJF-EMBL) within the Grenoble Partnership for Structural Biology
  (PSB), as well as the Swedish NMR Centre\r\nof the University of Gothenburg. Both
  platforms provided excellent research infrastructures. B.M.B. gratefully acknowledges
  funding from the Swedish Research Council (Starting grant 2016-04721), the Swedish
  Cancer Foundation (2019-0415), and the Knut och Alice Wallenberg Foundation through
  a Wallenberg Academy Fellowship (2016.0163) as well as through the Wallenberg Centre
  for Molecular and Translational Medicine, University of Gothenburg, Sweden. "
article_processing_charge: No
article_type: original
author:
- first_name: Laura
  full_name: Troussicot, Laura
  id: 3d9cac31-413c-11eb-9514-d1ec2a7fb7f3
  last_name: Troussicot
  orcid: 0000-0001-8297-8886
- first_name: Alicia
  full_name: Vallet, Alicia
  last_name: Vallet
- first_name: Mikael
  full_name: Molin, Mikael
  last_name: Molin
- first_name: Björn M.
  full_name: Burmann, Björn M.
  last_name: Burmann
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
citation:
  ama: Troussicot L, Vallet A, Molin M, Burmann BM, Schanda P. Disulfide-bond-induced
    structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. <i>Journal
    of the American Chemical Society</i>. 2023;145(19):10700–10711. doi:<a href="https://doi.org/10.1021/jacs.3c01200">10.1021/jacs.3c01200</a>
  apa: Troussicot, L., Vallet, A., Molin, M., Burmann, B. M., &#38; Schanda, P. (2023).
    Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin
    from MAS NMR. <i>Journal of the American Chemical Society</i>. American Chemical
    Society. <a href="https://doi.org/10.1021/jacs.3c01200">https://doi.org/10.1021/jacs.3c01200</a>
  chicago: Troussicot, Laura, Alicia Vallet, Mikael Molin, Björn M. Burmann, and Paul
    Schanda. “Disulfide-Bond-Induced Structural Frustration and Dynamic Disorder in
    a Peroxiredoxin from MAS NMR.” <i>Journal of the American Chemical Society</i>.
    American Chemical Society, 2023. <a href="https://doi.org/10.1021/jacs.3c01200">https://doi.org/10.1021/jacs.3c01200</a>.
  ieee: L. Troussicot, A. Vallet, M. Molin, B. M. Burmann, and P. Schanda, “Disulfide-bond-induced
    structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR,”
    <i>Journal of the American Chemical Society</i>, vol. 145, no. 19. American Chemical
    Society, pp. 10700–10711, 2023.
  ista: Troussicot L, Vallet A, Molin M, Burmann BM, Schanda P. 2023. Disulfide-bond-induced
    structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal
    of the American Chemical Society. 145(19), 10700–10711.
  mla: Troussicot, Laura, et al. “Disulfide-Bond-Induced Structural Frustration and
    Dynamic Disorder in a Peroxiredoxin from MAS NMR.” <i>Journal of the American
    Chemical Society</i>, vol. 145, no. 19, American Chemical Society, 2023, pp. 10700–10711,
    doi:<a href="https://doi.org/10.1021/jacs.3c01200">10.1021/jacs.3c01200</a>.
  short: L. Troussicot, A. Vallet, M. Molin, B.M. Burmann, P. Schanda, Journal of
    the American Chemical Society 145 (2023) 10700–10711.
corr_author: '1'
date_created: 2023-05-28T22:01:04Z
date_published: 2023-05-04T00:00:00Z
date_updated: 2024-10-09T21:05:30Z
day: '04'
ddc:
- '540'
department:
- _id: PaSc
doi: 10.1021/jacs.3c01200
external_id:
  isi:
  - '000985907400001'
  pmid:
  - '37140345'
file:
- access_level: open_access
  checksum: 0758a930ef21c62fc91b14e657479f83
  content_type: application/pdf
  creator: dernst
  date_created: 2023-05-30T07:05:28Z
  date_updated: 2023-05-30T07:05:28Z
  file_id: '13098'
  file_name: 2023_JACS_Troussicot.pdf
  file_size: 6719299
  relation: main_file
  success: 1
file_date_updated: 2023-05-30T07:05:28Z
fulldoi: https://doi.org/10.1021/jacs.3c01200
has_accepted_license: '1'
intvolume: '       145'
isi: 1
issue: '19'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 10700–10711
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
  eissn:
  - 1520-5126
  issn:
  - 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
related_material:
  record:
  - id: '12820'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin
  from MAS NMR
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 145
year: '2023'
...
---
_id: '13096'
abstract:
- lang: eng
  text: Eukaryotic cells can undergo different forms of programmed cell death, many
    of which culminate in plasma membrane rupture as the defining terminal event1,2,3,4,5,6,7.
    Plasma membrane rupture was long thought to be driven by osmotic pressure, but
    it has recently been shown to be in many cases an active process, mediated by
    the protein ninjurin-18 (NINJ1). Here we resolve the structure of NINJ1 and the
    mechanism by which it ruptures membranes. Super-resolution microscopy reveals
    that NINJ1 clusters into structurally diverse assemblies in the membranes of dying
    cells, in particular large, filamentous assemblies with branched morphology. A
    cryo-electron microscopy structure of NINJ1 filaments shows a tightly packed fence-like
    array of transmembrane α-helices. Filament directionality and stability is defined
    by two amphipathic α-helices that interlink adjacent filament subunits. The NINJ1
    filament features a hydrophilic side and a hydrophobic side, and molecular dynamics
    simulations show that it can stably cap membrane edges. The function of the resulting
    supramolecular arrangement was validated by site-directed mutagenesis. Our data
    thus suggest that, during lytic cell death, the extracellular α-helices of NINJ1
    insert into the plasma membrane to polymerize NINJ1 monomers into amphipathic
    filaments that rupture the plasma membrane. The membrane protein NINJ1 is therefore
    an interactive component of the eukaryotic cell membrane that functions as an
    in-built breaking point in response to activation of cell death.
acknowledged_ssus:
- _id: NMR
- _id: LifeSc
acknowledgement: "This work was supported by the Deutsche Forschungsgemeinschaft under
  Germany’s Excellence Strategy EXC 2075–390740016 and the Stuttgart Center for Simulation
  Science (SC SimTech) to K.P., by ERC-CoG 770988 (InflamCellDeath) and SNF Project
  funding (310030B_198005, 310030B_192523) to P.B., by the Swiss Nanoscience Institute
  and the Swiss National Science Foundation via the NCCR AntiResist (180541) to S.H.
  and the NCCR Molecular Systems Engineering (51NF40-205608) to D.J.M., by the Helmholtz
  Young Investigator Program of the Helmholtz Association to C.S., by the SNF Professorship
  funding (PP00P3_198903) to C.P., EMBO postdoctoral fellowship ALTF 27-2022 to E.H.
  and by the Scientific Service Units of IST Austria through resources provided by
  the NMR and Life Science Facilities to P.S. Molecular dynamics simulations were
  performed on the HoreKa supercomputer funded by the Ministry of Science, Research
  and the Arts Baden-Württemberg and by the Federal Ministry of Education and Research.
  The authors thank the BioEM Lab of the Biozentrum, University of Basel for support;
  V. Mack, K. Shkarina and J. Fricke for technical support; D. Ricklin and S. Vogt
  for peptide synthesis; P. Pelczar for support with animals; S.-J. Marrink and P.
  Telles de Souza for supply with Martini3 parameters and scripts; and P. Radler und
  M. Loose for help with QCM. Fig. 4g and Extended Data Fig. 1a were in part created
  with BioRender.com.\r\nOpen access funding provided by University of Basel."
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Morris
  full_name: Degen, Morris
  last_name: Degen
- first_name: José Carlos
  full_name: Santos, José Carlos
  last_name: Santos
- first_name: Kristyna
  full_name: Pluhackova, Kristyna
  last_name: Pluhackova
- first_name: Gonzalo
  full_name: Cebrero, Gonzalo
  last_name: Cebrero
- first_name: Saray
  full_name: Ramos, Saray
  last_name: Ramos
- first_name: Gytis
  full_name: Jankevicius, Gytis
  last_name: Jankevicius
- first_name: Ella
  full_name: Hartenian, Ella
  last_name: Hartenian
- first_name: Undina
  full_name: Guillerm, Undina
  id: bb74f472-ae54-11eb-9835-bc9c22fb1183
  last_name: Guillerm
- first_name: Stefania A.
  full_name: Mari, Stefania A.
  last_name: Mari
- first_name: Bastian
  full_name: Kohl, Bastian
  last_name: Kohl
- first_name: Daniel J.
  full_name: Müller, Daniel J.
  last_name: Müller
- first_name: Paul
  full_name: Schanda, Paul
  id: 7B541462-FAF6-11E9-A490-E8DFE5697425
  last_name: Schanda
  orcid: 0000-0002-9350-7606
- first_name: Timm
  full_name: Maier, Timm
  last_name: Maier
- first_name: Camilo
  full_name: Perez, Camilo
  last_name: Perez
- first_name: Christian
  full_name: Sieben, Christian
  last_name: Sieben
- first_name: Petr
  full_name: Broz, Petr
  last_name: Broz
- first_name: Sebastian
  full_name: Hiller, Sebastian
  last_name: Hiller
citation:
  ama: Degen M, Santos JC, Pluhackova K, et al. Structural basis of NINJ1-mediated
    plasma membrane rupture in cell death. <i>Nature</i>. 2023;618:1065-1071. doi:<a
    href="https://doi.org/10.1038/s41586-023-05991-z">10.1038/s41586-023-05991-z</a>
  apa: Degen, M., Santos, J. C., Pluhackova, K., Cebrero, G., Ramos, S., Jankevicius,
    G., … Hiller, S. (2023). Structural basis of NINJ1-mediated plasma membrane rupture
    in cell death. <i>Nature</i>. Springer Nature. <a href="https://doi.org/10.1038/s41586-023-05991-z">https://doi.org/10.1038/s41586-023-05991-z</a>
  chicago: Degen, Morris, José Carlos Santos, Kristyna Pluhackova, Gonzalo Cebrero,
    Saray Ramos, Gytis Jankevicius, Ella Hartenian, et al. “Structural Basis of NINJ1-Mediated
    Plasma Membrane Rupture in Cell Death.” <i>Nature</i>. Springer Nature, 2023.
    <a href="https://doi.org/10.1038/s41586-023-05991-z">https://doi.org/10.1038/s41586-023-05991-z</a>.
  ieee: M. Degen <i>et al.</i>, “Structural basis of NINJ1-mediated plasma membrane
    rupture in cell death,” <i>Nature</i>, vol. 618. Springer Nature, pp. 1065–1071,
    2023.
  ista: Degen M, Santos JC, Pluhackova K, Cebrero G, Ramos S, Jankevicius G, Hartenian
    E, Guillerm U, Mari SA, Kohl B, Müller DJ, Schanda P, Maier T, Perez C, Sieben
    C, Broz P, Hiller S. 2023. Structural basis of NINJ1-mediated plasma membrane
    rupture in cell death. Nature. 618, 1065–1071.
  mla: Degen, Morris, et al. “Structural Basis of NINJ1-Mediated Plasma Membrane Rupture
    in Cell Death.” <i>Nature</i>, vol. 618, Springer Nature, 2023, pp. 1065–71, doi:<a
    href="https://doi.org/10.1038/s41586-023-05991-z">10.1038/s41586-023-05991-z</a>.
  short: M. Degen, J.C. Santos, K. Pluhackova, G. Cebrero, S. Ramos, G. Jankevicius,
    E. Hartenian, U. Guillerm, S.A. Mari, B. Kohl, D.J. Müller, P. Schanda, T. Maier,
    C. Perez, C. Sieben, P. Broz, S. Hiller, Nature 618 (2023) 1065–1071.
date_created: 2023-05-28T22:01:04Z
date_published: 2023-06-29T00:00:00Z
date_updated: 2025-04-23T08:57:12Z
day: '29'
ddc:
- '570'
department:
- _id: PaSc
doi: 10.1038/s41586-023-05991-z
external_id:
  isi:
  - '000991386800011'
  pmid:
  - '37198476'
file:
- access_level: open_access
  checksum: 0fab69252453bff1de7f0e2eceb76d34
  content_type: application/pdf
  creator: dernst
  date_created: 2023-11-14T11:48:18Z
  date_updated: 2023-11-14T11:48:18Z
  file_id: '14533'
  file_name: 2023_Nature_Degen.pdf
  file_size: 12292188
  relation: main_file
  success: 1
file_date_updated: 2023-11-14T11:48:18Z
fulldoi: https://doi.org/10.1038/s41586-023-05991-z
has_accepted_license: '1'
intvolume: '       618'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 1065-1071
pmid: 1
publication: Nature
publication_identifier:
  eissn:
  - 1476-4687
  issn:
  - 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Structural basis of NINJ1-mediated plasma membrane rupture in cell death
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: 618
year: '2023'
...
---
_id: '13106'
abstract:
- lang: eng
  text: Quantum entanglement is a key resource in currently developed quantum technologies.
    Sharing this fragile property between superconducting microwave circuits and optical
    or atomic systems would enable new functionalities, but this has been hindered
    by an energy scale mismatch of >104 and the resulting mutually imposed loss and
    noise. In this work, we created and verified entanglement between microwave and
    optical fields in a millikelvin environment. Using an optically pulsed superconducting
    electro-optical device, we show entanglement between propagating microwave and
    optical fields in the continuous variable domain. This achievement not only paves
    the way for entanglement between superconducting circuits and telecom wavelength
    light, but also has wide-ranging implications for hybrid quantum networks in the
    context of modularization, scaling, sensing, and cross-platform verification.
acknowledgement: This work was supported by the European Research Council (grant no.
  758053, ERC StG QUNNECT) and the European Union’s Horizon 2020 Research and Innovation
  Program (grant no. 899354, FETopen SuperQuLAN). L.Q. acknowledges generous support
  from the ISTFELLOW program. W.H. is the recipient of an ISTplus postdoctoral fellowship
  with funding from the European Union’s Horizon 2020 Research and Innovation Program
  (Marie Sklodowska-Curie grant no. 754411). G.A. is the recipient of a DOC fellowship
  of the Austrian Academy of Sciences at IST Austria. J.M.F. acknowledges support
  from the Austrian Science Fund (FWF) through BeyondC (grant no. F7105) and the European
  Union’s Horizon 2020 Research and Innovation Program (grant no. 862644, FETopen
  QUARTET).
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Rishabh
  full_name: Sahu, Rishabh
  id: 47D26E34-F248-11E8-B48F-1D18A9856A87
  last_name: Sahu
  orcid: 0000-0001-6264-2162
- first_name: Liu
  full_name: Qiu, Liu
  id: 45e99c0d-1eb1-11eb-9b96-ed8ab2983cac
  last_name: Qiu
  orcid: 0000-0003-4345-4267
- first_name: William J
  full_name: Hease, William J
  id: 29705398-F248-11E8-B48F-1D18A9856A87
  last_name: Hease
  orcid: 0000-0001-9868-2166
- first_name: Georg M
  full_name: Arnold, Georg M
  id: 3770C838-F248-11E8-B48F-1D18A9856A87
  last_name: Arnold
  orcid: 0000-0003-1397-7876
- first_name: Y.
  full_name: Minoguchi, Y.
  last_name: Minoguchi
- first_name: P.
  full_name: Rabl, P.
  last_name: Rabl
- first_name: Johannes M
  full_name: Fink, Johannes M
  id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
  last_name: Fink
  orcid: 0000-0001-8112-028X
citation:
  ama: Sahu R, Qiu L, Hease WJ, et al. Entangling microwaves with light. <i>Science</i>.
    2023;380(6646):718-721. doi:<a href="https://doi.org/10.1126/science.adg3812">10.1126/science.adg3812</a>
  apa: Sahu, R., Qiu, L., Hease, W. J., Arnold, G. M., Minoguchi, Y., Rabl, P., &#38;
    Fink, J. M. (2023). Entangling microwaves with light. <i>Science</i>. American
    Association for the Advancement of Science. <a href="https://doi.org/10.1126/science.adg3812">https://doi.org/10.1126/science.adg3812</a>
  chicago: Sahu, Rishabh, Liu Qiu, William J Hease, Georg M Arnold, Y. Minoguchi,
    P. Rabl, and Johannes M Fink. “Entangling Microwaves with Light.” <i>Science</i>.
    American Association for the Advancement of Science, 2023. <a href="https://doi.org/10.1126/science.adg3812">https://doi.org/10.1126/science.adg3812</a>.
  ieee: R. Sahu <i>et al.</i>, “Entangling microwaves with light,” <i>Science</i>,
    vol. 380, no. 6646. American Association for the Advancement of Science, pp. 718–721,
    2023.
  ista: Sahu R, Qiu L, Hease WJ, Arnold GM, Minoguchi Y, Rabl P, Fink JM. 2023. Entangling
    microwaves with light. Science. 380(6646), 718–721.
  mla: Sahu, Rishabh, et al. “Entangling Microwaves with Light.” <i>Science</i>, vol.
    380, no. 6646, American Association for the Advancement of Science, 2023, pp.
    718–21, doi:<a href="https://doi.org/10.1126/science.adg3812">10.1126/science.adg3812</a>.
  short: R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink,
    Science 380 (2023) 718–721.
corr_author: '1'
date_created: 2023-05-31T11:39:24Z
date_published: 2023-05-18T00:00:00Z
date_updated: 2026-04-15T06:39:33Z
day: '18'
department:
- _id: JoFi
doi: 10.1126/science.adg3812
ec_funded: 1
external_id:
  arxiv:
  - '2301.03315'
  isi:
  - '000996515200004'
  pmid:
  - '37200415'
fulldoi: https://doi.org/10.1126/science.adg3812
intvolume: '       380'
isi: 1
issue: '6646'
keyword:
- Multidisciplinary
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2301.03315
month: '05'
oa: 1
oa_version: Preprint
page: 718-721
pmid: 1
project:
- _id: 26336814-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '758053'
  name: A Fiber Optic Transceiver for Superconducting Qubits
- _id: 9B868D20-BA93-11EA-9121-9846C619BF3A
  call_identifier: H2020
  grant_number: '899354'
  name: Quantum Local Area Networks with Superconducting Qubits
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
- _id: 237CBA6C-32DE-11EA-91FC-C7463DDC885E
  call_identifier: H2020
  grant_number: '862644'
  name: Quantum readout techniques and technologies
- _id: 2671EB66-B435-11E9-9278-68D0E5697425
  name: Coherent on-chip conversion of superconducting qubit signals from microwaves
    to optical frequencies
- _id: bdb108fd-d553-11ed-ba76-83dc74a9864f
  grant_number: F07105
  name: QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration
    of Superconducting Quantum Circuits
publication: Science
publication_identifier:
  eissn:
  - 1095-9203
  issn:
  - 0036-8075
publication_status: published
publisher: American Association for the Advancement of Science
quality_controlled: '1'
related_material:
  link:
  - description: News on ISTA Website
    relation: press_release
    url: https://ista.ac.at/en/news/wiring-up-quantum-circuits-with-light/
  record:
  - id: '13122'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Entangling microwaves with light
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 380
year: '2023'
...
---
OA_place: publisher
_id: '13107'
abstract:
- lang: eng
  text: "Within the human body, the brain exhibits the highest rate of energy consumption
    amongst all organs, with the majority of generated ATP being utilized to sustain
    neuronal activity. Therefore, the metabolism of the mature cerebral cortex is
    geared towards preserving metabolic homeostasis whilst generating significant
    amounts of energy. This requires a precise interplay between diverse metabolic
    pathways, spanning from a tissue-wide scale to the level of individual neurons.
    Disturbances to this delicate metabolic equilibrium, such as those resulting from
    maternal malnutrition\r\nor mutations affecting metabolic enzymes, often result
    in neuropathological variants of neurodevelopment. For instance, mutations in
    SLC7A5, a transporter of metabolically essential large neutral amino acids (LNAAs),
    have been associated with autism and microcephaly. However, despite recent progress
    in the field, the extent of metabolic restructuring that occurs within the developing
    brain and the corresponding alterations in nutrient demands during various critical
    periods remain largely unknown. To investigate this, we performed metabolomic
    profiling of the murine cerebral cortex to characterize the metabolic state of
    the forebrain at different developmental stages. We found that the developing
    cortex undergoes substantial metabolic reprogramming, with specific sets of metabolites
    displaying stage-specific changes. According to our observations, we determined
    a distinct temporal period in postnatal development during which the cortex displays
    heightened reliance on LNAAs. Hence, using a conditional knock-out mouse model,
    we deleted Slc7a5 in neural cells, allowing us to monitor the impact of a perturbed
    neuronal metabolic state across multiple developmental stages of corticogenesis.
    We found that manipulating the levels of essential LNAAs in cortical neurons in
    vivo affects one particular perinatal developmental period critical for cortical
    network refinement. Abnormally low intracellular LNAA levels result in cell-autonomous
    alterations in neuronal lipid metabolism, excitability, and survival during this
    particular time window. Although most of the effects of Slc7a5 deletion on neuronal
    physiology are transient, derailment of these processes during this brief but
    crucial window leads to long-term circuit dysfunction in mice. In conclusion,
    out data indicate that the cerebral cortex undergoes significant metabolic reorganization
    during development. This process involves the intricate integration of multiple
    metabolic pathways to ensure optimal neuronal function throughout different developmental
    stages. Our findings offer a paradigm for understanding how neurons synchronize
    the expression of nutrient-related genes with their activity to allow proper brain
    maturation. Further, our results demonstrate that disruptions in these precisely
    calibrated metabolic processes during critical periods of brain development may
    result in neuropathological outcomes in mice and in humans."
acknowledged_ssus:
- _id: PreCl
- _id: Bio
- _id: EM-Fac
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Lisa
  full_name: Knaus, Lisa
  id: 3B2ABCF4-F248-11E8-B48F-1D18A9856A87
  last_name: Knaus
citation:
  ama: 'Knaus L. The metabolism of the developing brain : How large neutral amino
    acids modulate perinatal neuronal excitability and survival. 2023. doi:<a href="https://doi.org/10.15479/at:ista:13107">10.15479/at:ista:13107</a>'
  apa: 'Knaus, L. (2023). <i>The metabolism of the developing brain : How large neutral
    amino acids modulate perinatal neuronal excitability and survival</i>. Institute
    of Science and Technology Austria. <a href="https://doi.org/10.15479/at:ista:13107">https://doi.org/10.15479/at:ista:13107</a>'
  chicago: 'Knaus, Lisa. “The Metabolism of the Developing Brain : How Large Neutral
    Amino Acids Modulate Perinatal Neuronal Excitability and Survival.” Institute
    of Science and Technology Austria, 2023. <a href="https://doi.org/10.15479/at:ista:13107">https://doi.org/10.15479/at:ista:13107</a>.'
  ieee: 'L. Knaus, “The metabolism of the developing brain : How large neutral amino
    acids modulate perinatal neuronal excitability and survival,” Institute of Science
    and Technology Austria, 2023.'
  ista: 'Knaus L. 2023. The metabolism of the developing brain : How large neutral
    amino acids modulate perinatal neuronal excitability and survival. Institute of
    Science and Technology Austria.'
  mla: 'Knaus, Lisa. <i>The Metabolism of the Developing Brain : How Large Neutral
    Amino Acids Modulate Perinatal Neuronal Excitability and Survival</i>. Institute
    of Science and Technology Austria, 2023, doi:<a href="https://doi.org/10.15479/at:ista:13107">10.15479/at:ista:13107</a>.'
  short: 'L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino
    Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science
    and Technology Austria, 2023.'
corr_author: '1'
date_created: 2023-06-01T09:05:24Z
date_published: 2023-05-31T00:00:00Z
date_updated: 2026-04-14T08:34:36Z
day: '31'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: GradSch
- _id: GaNo
doi: 10.15479/at:ista:13107
ec_funded: 1
file:
- access_level: closed
  checksum: 4b69a4ac0bbf4163d59c0b58dcb4f2c3
  content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
  creator: lknaus
  date_created: 2023-06-01T13:48:41Z
  date_updated: 2023-06-01T13:48:41Z
  file_id: '13112'
  file_name: Thesis_Lisa Knaus_approved_final.docx
  file_size: 12991551
  relation: source_file
- access_level: open_access
  checksum: 6903d152aa01181d87a696085af31c83
  content_type: application/pdf
  creator: lknaus
  date_created: 2023-06-02T09:47:29Z
  date_updated: 2023-06-07T08:41:49Z
  file_id: '13114'
  file_name: Thesis_Lisa Knaus_approved_final_pdfa2b.pdf
  file_size: 9309015
  relation: main_file
file_date_updated: 2023-06-07T08:41:49Z
fulldoi: https://doi.org/10.15479/at:ista:13107
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: '147'
project:
- _id: 25444568-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '715508'
  name: Probing the Reversibility of Autism Spectrum Disorders by Employing in vivo
    and in vitro Models
- _id: 2548AE96-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: W1232
  name: Molecular Drug Targets
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
  record:
  - id: '12802'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Gaia
  full_name: Novarino, Gaia
  id: 3E57A680-F248-11E8-B48F-1D18A9856A87
  last_name: Novarino
  orcid: 0000-0002-7673-7178
title: 'The metabolism of the developing brain : How large neutral amino acids modulate
  perinatal neuronal excitability and survival'
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2023'
...
---
_id: '13119'
abstract:
- lang: eng
  text: A density wave (DW) is a fundamental type of long-range order in quantum matter
    tied to self-organization into a crystalline structure. The interplay of DW order
    with superfluidity can lead to complex scenarios that pose a great challenge to
    theoretical analysis. In the past decades, tunable quantum Fermi gases have served
    as model systems for exploring the physics of strongly interacting fermions, including
    most notably magnetic ordering1, pairing and superfluidity2, and the crossover
    from a Bardeen–Cooper–Schrieffer superfluid to a Bose–Einstein condensate3. Here,
    we realize a Fermi gas featuring both strong, tunable contact interactions and
    photon-mediated, spatially structured long-range interactions in a transversely
    driven high-finesse optical cavity. Above a critical long-range interaction strength,
    DW order is stabilized in the system, which we identify via its superradiant light-scattering
    properties. We quantitatively measure the variation of the onset of DW order as
    the contact interaction is varied across the Bardeen–Cooper–Schrieffer superfluid
    and Bose–Einstein condensate crossover, in qualitative agreement with a mean-field
    theory. The atomic DW susceptibility varies over an order of magnitude upon tuning
    the strength and the sign of the long-range interactions below the self-ordering
    threshold, demonstrating independent and simultaneous control over the contact
    and long-range interactions. Therefore, our experimental setup provides a fully
    tunable and microscopically controllable platform for the experimental study of
    the interplay of superfluidity and DW order.
acknowledgement: Open access funding provided by EPFL Lausanne.We acknowledge discussions
  with T. Donner and T. Esslinger. We thank G. del Pace and T. Bühler for their assistance
  in the final stages of the experiment. We acknowledge funding from the European
  Research Council under the European Union Horizon 2020 Research and Innovation Programme
  (Grant no. 714309) and the Swiss National Science Foundation (Grant no. 184654).
  F.M. acknowledges financial support from the Austrian Science Fund (Stand-Alone
  Project P 35891-N).
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Victor
  full_name: Helson, Victor
  last_name: Helson
- first_name: Timo
  full_name: Zwettler, Timo
  last_name: Zwettler
- first_name: Farokh
  full_name: Mivehvar, Farokh
  last_name: Mivehvar
- first_name: Elvia
  full_name: Colella, Elvia
  last_name: Colella
- first_name: Kevin Etienne Robert
  full_name: Roux, Kevin Etienne Robert
  id: 53f93ea2-803f-11ed-ab7e-b283135794ef
  last_name: Roux
- first_name: Hideki
  full_name: Konishi, Hideki
  last_name: Konishi
- first_name: Helmut
  full_name: Ritsch, Helmut
  last_name: Ritsch
- first_name: Jean Philippe
  full_name: Brantut, Jean Philippe
  last_name: Brantut
citation:
  ama: Helson V, Zwettler T, Mivehvar F, et al. Density-wave ordering in a unitary
    Fermi gas with photon-mediated interactions. <i>Nature</i>. 2023;618:716-720.
    doi:<a href="https://doi.org/10.1038/s41586-023-06018-3">10.1038/s41586-023-06018-3</a>
  apa: Helson, V., Zwettler, T., Mivehvar, F., Colella, E., Roux, K. E. R., Konishi,
    H., … Brantut, J. P. (2023). Density-wave ordering in a unitary Fermi gas with
    photon-mediated interactions. <i>Nature</i>. Springer Nature. <a href="https://doi.org/10.1038/s41586-023-06018-3">https://doi.org/10.1038/s41586-023-06018-3</a>
  chicago: Helson, Victor, Timo Zwettler, Farokh Mivehvar, Elvia Colella, Kevin Etienne
    Robert Roux, Hideki Konishi, Helmut Ritsch, and Jean Philippe Brantut. “Density-Wave
    Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.” <i>Nature</i>.
    Springer Nature, 2023. <a href="https://doi.org/10.1038/s41586-023-06018-3">https://doi.org/10.1038/s41586-023-06018-3</a>.
  ieee: V. Helson <i>et al.</i>, “Density-wave ordering in a unitary Fermi gas with
    photon-mediated interactions,” <i>Nature</i>, vol. 618. Springer Nature, pp. 716–720,
    2023.
  ista: Helson V, Zwettler T, Mivehvar F, Colella E, Roux KER, Konishi H, Ritsch H,
    Brantut JP. 2023. Density-wave ordering in a unitary Fermi gas with photon-mediated
    interactions. Nature. 618, 716–720.
  mla: Helson, Victor, et al. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated
    Interactions.” <i>Nature</i>, vol. 618, Springer Nature, 2023, pp. 716–20, doi:<a
    href="https://doi.org/10.1038/s41586-023-06018-3">10.1038/s41586-023-06018-3</a>.
  short: V. Helson, T. Zwettler, F. Mivehvar, E. Colella, K.E.R. Roux, H. Konishi,
    H. Ritsch, J.P. Brantut, Nature 618 (2023) 716–720.
date_created: 2023-06-04T22:01:03Z
date_published: 2023-06-22T00:00:00Z
date_updated: 2025-04-23T08:58:21Z
day: '22'
ddc:
- '530'
department:
- _id: GeKa
doi: 10.1038/s41586-023-06018-3
external_id:
  isi:
  - '001001139300008'
  pmid:
  - '37225993'
file:
- access_level: open_access
  checksum: 4887a296e3b6f54e8c0b946cbfd24f49
  content_type: application/pdf
  creator: dernst
  date_created: 2023-11-14T13:00:19Z
  date_updated: 2023-11-14T13:00:19Z
  file_id: '14534'
  file_name: 2023_Nature_Helson.pdf
  file_size: 8156497
  relation: main_file
  success: 1
file_date_updated: 2023-11-14T13:00:19Z
fulldoi: https://doi.org/10.1038/s41586-023-06018-3
has_accepted_license: '1'
intvolume: '       618'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 716-720
pmid: 1
publication: Nature
publication_identifier:
  eissn:
  - 1476-4687
  issn:
  - 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Density-wave ordering in a unitary Fermi gas with photon-mediated interactions
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 618
year: '2023'
...
---
_id: '13122'
abstract:
- lang: eng
  text: Data for submitted article "Entangling microwaves with light" at arXiv:2301.03315v1
article_processing_charge: No
author:
- first_name: Rishabh
  full_name: Sahu, Rishabh
  id: 47D26E34-F248-11E8-B48F-1D18A9856A87
  last_name: Sahu
  orcid: 0000-0001-6264-2162
citation:
  ama: Sahu R. Entangling microwaves with light. 2023. doi:<a href="https://doi.org/10.5281/ZENODO.7789417">10.5281/ZENODO.7789417</a>
  apa: Sahu, R. (2023). Entangling microwaves with light. Zenodo. <a href="https://doi.org/10.5281/ZENODO.7789417">https://doi.org/10.5281/ZENODO.7789417</a>
  chicago: Sahu, Rishabh. “Entangling Microwaves with Light.” Zenodo, 2023. <a href="https://doi.org/10.5281/ZENODO.7789417">https://doi.org/10.5281/ZENODO.7789417</a>.
  ieee: R. Sahu, “Entangling microwaves with light.” Zenodo, 2023.
  ista: Sahu R. 2023. Entangling microwaves with light, Zenodo, <a href="https://doi.org/10.5281/ZENODO.7789417">10.5281/ZENODO.7789417</a>.
  mla: Sahu, Rishabh. <i>Entangling Microwaves with Light</i>. Zenodo, 2023, doi:<a
    href="https://doi.org/10.5281/ZENODO.7789417">10.5281/ZENODO.7789417</a>.
  short: R. Sahu, (2023).
corr_author: '1'
date_created: 2023-06-06T06:46:16Z
date_published: 2023-03-31T00:00:00Z
date_updated: 2026-04-15T06:39:32Z
day: '31'
department:
- _id: JoFi
doi: 10.5281/ZENODO.7789417
fulldoi: https://doi.org/10.5281/ZENODO.7789417
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/zenodo.7789418
month: '03'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
  record:
  - id: '13106'
    relation: used_in_publication
    status: public
status: public
title: Entangling microwaves with light
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '13124'
abstract:
- lang: eng
  text: This dataset comprises all data shown in the figures of the submitted article
    "Tunable directional photon scattering from a pair of superconducting qubits"
    at arXiv:2205.03293. Additional raw data are available from the corresponding
    author on reasonable request.
article_processing_charge: No
author:
- first_name: Elena
  full_name: Redchenko, Elena
  id: 2C21D6E8-F248-11E8-B48F-1D18A9856A87
  last_name: Redchenko
- first_name: Alexander
  full_name: Poshakinskiy, Alexander
  last_name: Poshakinskiy
- first_name: Riya
  full_name: Sett, Riya
  id: 2E6D040E-F248-11E8-B48F-1D18A9856A87
  last_name: Sett
  orcid: 0000-0001-7641-8348
- first_name: Martin
  full_name: Zemlicka, Martin
  id: 2DCF8DE6-F248-11E8-B48F-1D18A9856A87
  last_name: Zemlicka
  orcid: 0009-0005-0878-3032
- first_name: Alexander
  full_name: Poddubny, Alexander
  last_name: Poddubny
- first_name: Johannes M
  full_name: Fink, Johannes M
  id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
  last_name: Fink
  orcid: 0000-0001-8112-028X
citation:
  ama: Redchenko E, Poshakinskiy A, Sett R, Zemlicka M, Poddubny A, Fink JM. Tunable
    directional photon scattering from a pair of superconducting qubits. 2023. doi:<a
    href="https://doi.org/10.5281/ZENODO.7858567">10.5281/ZENODO.7858567</a>
  apa: Redchenko, E., Poshakinskiy, A., Sett, R., Zemlicka, M., Poddubny, A., &#38;
    Fink, J. M. (2023). Tunable directional photon scattering from a pair of superconducting
    qubits. Zenodo. <a href="https://doi.org/10.5281/ZENODO.7858567">https://doi.org/10.5281/ZENODO.7858567</a>
  chicago: Redchenko, Elena, Alexander Poshakinskiy, Riya Sett, Martin Zemlicka, Alexander
    Poddubny, and Johannes M Fink. “Tunable Directional Photon Scattering from a Pair
    of Superconducting Qubits.” Zenodo, 2023. <a href="https://doi.org/10.5281/ZENODO.7858567">https://doi.org/10.5281/ZENODO.7858567</a>.
  ieee: E. Redchenko, A. Poshakinskiy, R. Sett, M. Zemlicka, A. Poddubny, and J. M.
    Fink, “Tunable directional photon scattering from a pair of superconducting qubits.”
    Zenodo, 2023.
  ista: Redchenko E, Poshakinskiy A, Sett R, Zemlicka M, Poddubny A, Fink JM. 2023.
    Tunable directional photon scattering from a pair of superconducting qubits, Zenodo,
    <a href="https://doi.org/10.5281/ZENODO.7858567">10.5281/ZENODO.7858567</a>.
  mla: Redchenko, Elena, et al. <i>Tunable Directional Photon Scattering from a Pair
    of Superconducting Qubits</i>. Zenodo, 2023, doi:<a href="https://doi.org/10.5281/ZENODO.7858567">10.5281/ZENODO.7858567</a>.
  short: E. Redchenko, A. Poshakinskiy, R. Sett, M. Zemlicka, A. Poddubny, J.M. Fink,
    (2023).
corr_author: '1'
date_created: 2023-06-06T07:36:50Z
date_published: 2023-04-28T00:00:00Z
date_updated: 2026-06-03T07:16:05Z
day: '28'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.5281/ZENODO.7858567
fulldoi: https://doi.org/10.5281/ZENODO.7858567
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/zenodo.7858567
month: '04'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
  record:
  - id: '13117'
    relation: used_in_publication
    status: public
status: public
title: Tunable directional photon scattering from a pair of superconducting qubits
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '13127'
abstract:
- lang: eng
  text: Cooperative disease defense emerges as group-level collective behavior, yet
    how group members make the underlying individual decisions is poorly understood.
    Using garden ants and fungal pathogens as an experimental model, we derive the
    rules governing individual ant grooming choices and show how they produce colony-level
    hygiene. Time-resolved behavioral analysis, pathogen quantification, and probabilistic
    modeling reveal that ants increase grooming and preferentially target highly-infectious
    individuals when perceiving high pathogen load, but transiently suppress grooming
    after having been groomed by nestmates. Ants thus react to both, the infectivity
    of others and the social feedback they receive on their own contagiousness. While
    inferred solely from momentary ant decisions, these behavioral rules quantitatively
    predict hour-long experimental dynamics, and synergistically combine into efficient
    colony-wide pathogen removal. Our analyses show that noisy individual decisions
    based on only local, incomplete, yet dynamically-updated information on pathogen
    threat and social feedback can lead to potent collective disease defense.
acknowledged_ssus:
- _id: LifeSc
acknowledgement: We thank Mike Bidochka for the fungal strains, the ISTA Social Immunity
  Team for ant collection, Hanna Leitner for experimental and molecular support, Jennifer
  Robb and Lukas Lindorfer for microscopy, and the LabSupport Facility at ISTA for
  general laboratory support. We further thank Victor Mireles, Iain Couzin, Fabian
  Theis and the Social Immunity Team for continued feedback throughout, and Michael
  Sixt, Yuko Ulrich, Koos Boomsma, Erika Dawson, Megan Kutzer and Hinrich Schulenburg
  for comments on the manuscript. This project has received funding from the European
  Research Council (ERC) under the European Union’s Horizon 2020 research and innovation
  program (Grant No. 771402; EPIDEMICSonCHIP) to SC, from the Scientific Grant Agency
  of the Slovak Republic (Grant No. 1/0521/20) to KB, and the Human Frontier Science
  Program (Grant No. RGP0065/2012) to GT.
article_number: '3232'
article_processing_charge: Yes
article_type: original
author:
- first_name: Barbara E
  full_name: Casillas Perez, Barbara E
  id: 351ED2AA-F248-11E8-B48F-1D18A9856A87
  last_name: Casillas Perez
- first_name: Katarína
  full_name: Bod'Ová, Katarína
  id: 2BA24EA0-F248-11E8-B48F-1D18A9856A87
  last_name: Bod'Ová
  orcid: 0000-0002-7214-0171
- first_name: Anna V
  full_name: Grasse, Anna V
  id: 406F989C-F248-11E8-B48F-1D18A9856A87
  last_name: Grasse
- first_name: Gašper
  full_name: Tkačik, Gašper
  id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
  last_name: Tkačik
  orcid: 0000-0002-6699-1455
- first_name: Sylvia
  full_name: Cremer, Sylvia
  id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
  last_name: Cremer
  orcid: 0000-0002-2193-3868
citation:
  ama: Casillas Perez BE, Bodova K, Grasse AV, Tkačik G, Cremer S. Dynamic pathogen
    detection and social feedback shape collective hygiene in ants. <i>Nature Communications</i>.
    2023;14. doi:<a href="https://doi.org/10.1038/s41467-023-38947-y">10.1038/s41467-023-38947-y</a>
  apa: Casillas Perez, B. E., Bodova, K., Grasse, A. V., Tkačik, G., &#38; Cremer,
    S. (2023). Dynamic pathogen detection and social feedback shape collective hygiene
    in ants. <i>Nature Communications</i>. Springer Nature. <a href="https://doi.org/10.1038/s41467-023-38947-y">https://doi.org/10.1038/s41467-023-38947-y</a>
  chicago: Casillas Perez, Barbara E, Katarina Bodova, Anna V Grasse, Gašper Tkačik,
    and Sylvia Cremer. “Dynamic Pathogen Detection and Social Feedback Shape Collective
    Hygiene in Ants.” <i>Nature Communications</i>. Springer Nature, 2023. <a href="https://doi.org/10.1038/s41467-023-38947-y">https://doi.org/10.1038/s41467-023-38947-y</a>.
  ieee: B. E. Casillas Perez, K. Bodova, A. V. Grasse, G. Tkačik, and S. Cremer, “Dynamic
    pathogen detection and social feedback shape collective hygiene in ants,” <i>Nature
    Communications</i>, vol. 14. Springer Nature, 2023.
  ista: Casillas Perez BE, Bodova K, Grasse AV, Tkačik G, Cremer S. 2023. Dynamic
    pathogen detection and social feedback shape collective hygiene in ants. Nature
    Communications. 14, 3232.
  mla: Casillas Perez, Barbara E., et al. “Dynamic Pathogen Detection and Social Feedback
    Shape Collective Hygiene in Ants.” <i>Nature Communications</i>, vol. 14, 3232,
    Springer Nature, 2023, doi:<a href="https://doi.org/10.1038/s41467-023-38947-y">10.1038/s41467-023-38947-y</a>.
  short: B.E. Casillas Perez, K. Bodova, A.V. Grasse, G. Tkačik, S. Cremer, Nature
    Communications 14 (2023).
corr_author: '1'
date_created: 2023-06-11T22:00:40Z
date_published: 2023-06-03T00:00:00Z
date_updated: 2025-04-14T07:47:53Z
day: '03'
ddc:
- '570'
department:
- _id: SyCr
- _id: GaTk
doi: 10.1038/s41467-023-38947-y
ec_funded: 1
external_id:
  isi:
  - '001002562700005'
  pmid:
  - '37270641'
file:
- access_level: open_access
  checksum: 4af0393e3ed47b3fc46e68b81c3c1007
  content_type: application/pdf
  creator: dernst
  date_created: 2023-06-13T08:05:46Z
  date_updated: 2023-06-13T08:05:46Z
  file_id: '13132'
  file_name: 2023_NatureComm_CasillasPerez.pdf
  file_size: 2358167
  relation: main_file
  success: 1
file_date_updated: 2023-06-13T08:05:46Z
fulldoi: https://doi.org/10.1038/s41467-023-38947-y
has_accepted_license: '1'
intvolume: '        14'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 2649B4DE-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '771402'
  name: Epidemics in ant societies on a chip
- _id: 255008E4-B435-11E9-9278-68D0E5697425
  grant_number: RGP0065/2012
  name: Information processing and computation in fish groups
publication: Nature Communications
publication_identifier:
  eissn:
  - 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '12945'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Dynamic pathogen detection and social feedback shape collective hygiene in
  ants
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: 14
year: '2023'
...
---
_id: '13128'
abstract:
- lang: eng
  text: "Given \U0001D434 ⊆\U0001D43A⁡\U0001D43F2⁡(\U0001D53D\U0001D45E), we prove
    that there exist disjoint subsets \U0001D435,\U0001D436 ⊆\U0001D434 such that
    \U0001D434 =\U0001D435 ⊔\U0001D436 and their additive and multiplicative energies
    satisfying\r\nmax⁡{\U0001D438+⁡(\U0001D435),\U0001D438×⁡(\U0001D436)}≪|\U0001D434|3/\U0001D440⁡(|\U0001D434|),
    where\r\n\U0001D440⁡(|\U0001D434|)=min⁡{\U0001D45E4/3/|\U0001D434|1/3⁢(log⁡|\U0001D434|)2/3,
    |\U0001D434|4/5/\U0001D45E13/5⁢(log⁡|\U0001D434|)27/10}.\r\n \r\nWe also study
    some related questions on moderate expanders over matrix rings, namely, for \U0001D434,\U0001D435,\U0001D436
    ⊆\U0001D43A⁡\U0001D43F2⁡(\U0001D53D\U0001D45E), we have\r\n|\U0001D434⁢\U0001D435+\U0001D436|,
    |(\U0001D434+\U0001D435)⁢\U0001D436|≫\U0001D45E4,\r\n whenever |\U0001D434|⁢|\U0001D435|⁢|\U0001D436|
    ≫\U0001D45E10+1/2. These improve earlier results due to Karabulut, Koh, Pham,
    Shen, and Vinh ([2019], Expanding phenomena over matrix rings, \U0001D439⁡\U0001D45C⁢\U0001D45F⁢\U0001D462⁢\U0001D45A⁢\U0001D440⁢\U0001D44E⁢\U0001D461⁢ℎ.,
    31, 951–970)."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Ali
  full_name: Mohammadi, Ali
  last_name: Mohammadi
- first_name: Thang
  full_name: Pham, Thang
  last_name: Pham
- first_name: Yiting
  full_name: Wang, Yiting
  id: 1917d194-076e-11ed-97cd-837255f88785
  last_name: Wang
  orcid: 0000-0002-2856-767X
citation:
  ama: Mohammadi A, Pham T, Wang Y. An energy decomposition theorem for matrices and
    related questions. <i>Canadian Mathematical Bulletin</i>. 2023;66(4):1280-1295.
    doi:<a href="https://doi.org/10.4153/S000843952300036X">10.4153/S000843952300036X</a>
  apa: Mohammadi, A., Pham, T., &#38; Wang, Y. (2023). An energy decomposition theorem
    for matrices and related questions. <i>Canadian Mathematical Bulletin</i>. Cambridge
    University Press. <a href="https://doi.org/10.4153/S000843952300036X">https://doi.org/10.4153/S000843952300036X</a>
  chicago: Mohammadi, Ali, Thang Pham, and Yiting Wang. “An Energy Decomposition Theorem
    for Matrices and Related Questions.” <i>Canadian Mathematical Bulletin</i>. Cambridge
    University Press, 2023. <a href="https://doi.org/10.4153/S000843952300036X">https://doi.org/10.4153/S000843952300036X</a>.
  ieee: A. Mohammadi, T. Pham, and Y. Wang, “An energy decomposition theorem for matrices
    and related questions,” <i>Canadian Mathematical Bulletin</i>, vol. 66, no. 4.
    Cambridge University Press, pp. 1280–1295, 2023.
  ista: Mohammadi A, Pham T, Wang Y. 2023. An energy decomposition theorem for matrices
    and related questions. Canadian Mathematical Bulletin. 66(4), 1280–1295.
  mla: Mohammadi, Ali, et al. “An Energy Decomposition Theorem for Matrices and Related
    Questions.” <i>Canadian Mathematical Bulletin</i>, vol. 66, no. 4, Cambridge University
    Press, 2023, pp. 1280–95, doi:<a href="https://doi.org/10.4153/S000843952300036X">10.4153/S000843952300036X</a>.
  short: A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023)
    1280–1295.
date_created: 2023-06-11T22:00:40Z
date_published: 2023-12-01T00:00:00Z
date_updated: 2026-04-08T13:04:49Z
day: '01'
department:
- _id: GradSch
doi: 10.4153/S000843952300036X
external_id:
  arxiv:
  - '2106.07328'
  isi:
  - '001011963000001'
fulldoi: https://doi.org/10.4153/S000843952300036X
intvolume: '        66'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2106.07328
month: '12'
oa: 1
oa_version: Preprint
page: 1280-1295
publication: Canadian Mathematical Bulletin
publication_identifier:
  eissn:
  - 1496-4287
  issn:
  - 0008-4395
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: An energy decomposition theorem for matrices and related questions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 66
year: '2023'
...
---
_id: '13134'
abstract:
- lang: eng
  text: We propose a characterization of discrete analytical spheres, planes and lines
    in the body-centered cubic (BCC) grid, both in the Cartesian and in the recently
    proposed alternative compact coordinate system, in which each integer triplet
    addresses some voxel in the grid. We define spheres and planes through double
    Diophantine inequalities and investigate their relevant topological features,
    such as functionality or the interrelation between the thickness of the objects
    and their connectivity and separation properties. We define lines as the intersection
    of planes. The number of the planes (up to six) is equal to the number of the
    pairs of faces of a BCC voxel that are parallel to the line.
acknowledgement: The first author has been partially supported by the Ministry of
  Science, Technological Development and Innovation of the Republic of Serbia through
  the project no. 451-03-47/2023-01/200156. The fourth author is funded by the DFG
  Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’,
  Austrian Science Fund (FWF), grant no. I 02979-N35.
article_number: '109693'
article_processing_charge: No
article_type: original
author:
- first_name: Lidija
  full_name: Čomić, Lidija
  last_name: Čomić
- first_name: Gaëlle
  full_name: Largeteau-Skapin, Gaëlle
  last_name: Largeteau-Skapin
- first_name: Rita
  full_name: Zrour, Rita
  last_name: Zrour
- first_name: Ranita
  full_name: Biswas, Ranita
  id: 3C2B033E-F248-11E8-B48F-1D18A9856A87
  last_name: Biswas
  orcid: 0000-0002-5372-7890
- first_name: Eric
  full_name: Andres, Eric
  last_name: Andres
citation:
  ama: Čomić L, Largeteau-Skapin G, Zrour R, Biswas R, Andres E. Discrete analytical
    objects in the body-centered cubic grid. <i>Pattern Recognition</i>. 2023;142(10).
    doi:<a href="https://doi.org/10.1016/j.patcog.2023.109693">10.1016/j.patcog.2023.109693</a>
  apa: Čomić, L., Largeteau-Skapin, G., Zrour, R., Biswas, R., &#38; Andres, E. (2023).
    Discrete analytical objects in the body-centered cubic grid. <i>Pattern Recognition</i>.
    Elsevier. <a href="https://doi.org/10.1016/j.patcog.2023.109693">https://doi.org/10.1016/j.patcog.2023.109693</a>
  chicago: Čomić, Lidija, Gaëlle Largeteau-Skapin, Rita Zrour, Ranita Biswas, and
    Eric Andres. “Discrete Analytical Objects in the Body-Centered Cubic Grid.” <i>Pattern
    Recognition</i>. Elsevier, 2023. <a href="https://doi.org/10.1016/j.patcog.2023.109693">https://doi.org/10.1016/j.patcog.2023.109693</a>.
  ieee: L. Čomić, G. Largeteau-Skapin, R. Zrour, R. Biswas, and E. Andres, “Discrete
    analytical objects in the body-centered cubic grid,” <i>Pattern Recognition</i>,
    vol. 142, no. 10. Elsevier, 2023.
  ista: Čomić L, Largeteau-Skapin G, Zrour R, Biswas R, Andres E. 2023. Discrete analytical
    objects in the body-centered cubic grid. Pattern Recognition. 142(10), 109693.
  mla: Čomić, Lidija, et al. “Discrete Analytical Objects in the Body-Centered Cubic
    Grid.” <i>Pattern Recognition</i>, vol. 142, no. 10, 109693, Elsevier, 2023, doi:<a
    href="https://doi.org/10.1016/j.patcog.2023.109693">10.1016/j.patcog.2023.109693</a>.
  short: L. Čomić, G. Largeteau-Skapin, R. Zrour, R. Biswas, E. Andres, Pattern Recognition
    142 (2023).
corr_author: '1'
date_created: 2023-06-18T22:00:45Z
date_published: 2023-10-01T00:00:00Z
date_updated: 2025-04-15T07:45:32Z
day: '01'
department:
- _id: HeEd
doi: 10.1016/j.patcog.2023.109693
external_id:
  isi:
  - '001013526000001'
fulldoi: https://doi.org/10.1016/j.patcog.2023.109693
intvolume: '       142'
isi: 1
issue: '10'
language:
- iso: eng
month: '10'
oa_version: None
project:
- _id: 2561EBF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: I02979-N35
  name: Persistence and stability of geometric complexes
- _id: 0aa4bc98-070f-11eb-9043-e6fff9c6a316
  grant_number: I4887
  name: Persistent Homology, Algorithms and Stochastic Geometry
publication: Pattern Recognition
publication_identifier:
  issn:
  - 0031-3203
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Discrete analytical objects in the body-centered cubic grid
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 142
year: '2023'
...
---
_id: '13135'
abstract:
- lang: eng
  text: In this paper we consider a class of stochastic reaction-diffusion equations.
    We provide local well-posedness, regularity, blow-up criteria and positivity of
    solutions. The key novelties of this work are related to the use transport noise,
    critical spaces and the proof of higher order regularity of solutions – even in
    case of non-smooth initial data. Crucial tools are Lp(Lp)-theory, maximal regularity
    estimates and sharp blow-up criteria. We view the results of this paper as a general
    toolbox for establishing global well-posedness for a large class of reaction-diffusion
    systems of practical interest, of which many are completely open. In our follow-up
    work [8], the results of this paper are applied in the specific cases of the Lotka-Volterra
    equations and the Brusselator model.
acknowledgement: The first author has received funding from the European Research
  Council (ERC) under the European Union's Horizon 2020 research and innovation programme
  (grant agreement No. 948819) Image 1. The second author is supported by the VICI
  subsidy VI.C.212.027 of the Netherlands Organisation for Scientific Research (NWO).
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Antonio
  full_name: Agresti, Antonio
  id: 673cd0cc-9b9a-11eb-b144-88f30e1fbb72
  last_name: Agresti
  orcid: 0000-0002-9573-2962
- first_name: Mark
  full_name: Veraar, Mark
  last_name: Veraar
citation:
  ama: 'Agresti A, Veraar M. Reaction-diffusion equations with transport noise and
    critical superlinear diffusion: Local well-posedness and positivity. <i>Journal
    of Differential Equations</i>. 2023;368(9):247-300. doi:<a href="https://doi.org/10.1016/j.jde.2023.05.038">10.1016/j.jde.2023.05.038</a>'
  apa: 'Agresti, A., &#38; Veraar, M. (2023). Reaction-diffusion equations with transport
    noise and critical superlinear diffusion: Local well-posedness and positivity.
    <i>Journal of Differential Equations</i>. Elsevier. <a href="https://doi.org/10.1016/j.jde.2023.05.038">https://doi.org/10.1016/j.jde.2023.05.038</a>'
  chicago: 'Agresti, Antonio, and Mark Veraar. “Reaction-Diffusion Equations with
    Transport Noise and Critical Superlinear Diffusion: Local Well-Posedness and Positivity.”
    <i>Journal of Differential Equations</i>. Elsevier, 2023. <a href="https://doi.org/10.1016/j.jde.2023.05.038">https://doi.org/10.1016/j.jde.2023.05.038</a>.'
  ieee: 'A. Agresti and M. Veraar, “Reaction-diffusion equations with transport noise
    and critical superlinear diffusion: Local well-posedness and positivity,” <i>Journal
    of Differential Equations</i>, vol. 368, no. 9. Elsevier, pp. 247–300, 2023.'
  ista: 'Agresti A, Veraar M. 2023. Reaction-diffusion equations with transport noise
    and critical superlinear diffusion: Local well-posedness and positivity. Journal
    of Differential Equations. 368(9), 247–300.'
  mla: 'Agresti, Antonio, and Mark Veraar. “Reaction-Diffusion Equations with Transport
    Noise and Critical Superlinear Diffusion: Local Well-Posedness and Positivity.”
    <i>Journal of Differential Equations</i>, vol. 368, no. 9, Elsevier, 2023, pp.
    247–300, doi:<a href="https://doi.org/10.1016/j.jde.2023.05.038">10.1016/j.jde.2023.05.038</a>.'
  short: A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300.
corr_author: '1'
date_created: 2023-06-18T22:00:45Z
date_published: 2023-09-25T00:00:00Z
date_updated: 2025-04-14T07:53:59Z
day: '25'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1016/j.jde.2023.05.038
ec_funded: 1
external_id:
  isi:
  - '001019018700001'
file:
- access_level: open_access
  checksum: 246b703b091dfe047bfc79abf0891a63
  content_type: application/pdf
  creator: dernst
  date_created: 2024-01-29T11:03:09Z
  date_updated: 2024-01-29T11:03:09Z
  file_id: '14895'
  file_name: 2023_JourDifferentialEquations_Agresti.pdf
  file_size: 834638
  relation: main_file
  success: 1
file_date_updated: 2024-01-29T11:03:09Z
fulldoi: https://doi.org/10.1016/j.jde.2023.05.038
has_accepted_license: '1'
intvolume: '       368'
isi: 1
issue: '9'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 247-300
project:
- _id: 0aa76401-070f-11eb-9043-b5bb049fa26d
  call_identifier: H2020
  grant_number: '948819'
  name: Bridging Scales in Random Materials
publication: Journal of Differential Equations
publication_identifier:
  eissn:
  - 1090-2732
  issn:
  - 0022-0396
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Reaction-diffusion equations with transport noise and critical superlinear
  diffusion: Local well-posedness and positivity'
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: 368
year: '2023'
...
---
_id: '13138'
abstract:
- lang: eng
  text: "We consider the spin-\r\n1\r\n2\r\n Heisenberg chain (XXX model) weakly perturbed
    away from integrability by an isotropic next-to-nearest neighbor exchange interaction.
    Recently, it was conjectured that this model possesses an infinite tower of quasiconserved
    integrals of motion (charges) [D. Kurlov et al., Phys. Rev. B 105, 104302 (2022)].
    In this work we first test this conjecture by investigating how the norm of the
    adiabatic gauge potential (AGP) scales with the system size, which is known to
    be a remarkably accurate measure of chaos. We find that for the perturbed XXX
    chain the behavior of the AGP norm corresponds to neither an integrable nor a
    chaotic regime, which supports the conjectured quasi-integrability of the model.
    We then prove the conjecture and explicitly construct the infinite set of quasiconserved
    charges. Our proof relies on the fact that the XXX chain perturbed by next-to-nearest
    exchange interaction can be viewed as a truncation of an integrable long-range
    deformation of the Heisenberg spin chain."
acknowledgement: "The numerical computations in this work were performed using QuSpin
  [83, 84]. We acknowledge useful discussions with Igor Aleiner, Boris Altshuler,
  Jacopo de Nardis, Anatoli Polkovnikov, and Gora Shlyapnikov. We thank Piotr Sierant
  and Dario Rosa for drawing our attention to Refs. [31, 42, 46] and Ref. [47], respectively.
  We are grateful to an anonymous referee for very useful comments and for drawing
  our attention to Refs. [80, 81]. The work of VG is part of the DeltaITP consortium,
  a program of the Netherlands Organization for Scientific\r\nResearch (NWO) funded
  by the Dutch Ministry of Education, Culture and Science (OCW). VG is also partially
  supported by RSF 19-71-10092. The work of AT was supported by the ERC Starting Grant
  101042293 (HEPIQ). RS acknowledges support from Slovenian Research Agency (ARRS)
  - research programme P1-0402. "
article_number: '184312'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Pavel
  full_name: Orlov, Pavel
  last_name: Orlov
- first_name: Anastasiia
  full_name: Tiutiakina, Anastasiia
  last_name: Tiutiakina
- first_name: Rustem
  full_name: Sharipov, Rustem
  last_name: Sharipov
- first_name: Elena
  full_name: Petrova, Elena
  id: 0ac84990-897b-11ed-a09c-f5abb56a4ede
  last_name: Petrova
- first_name: Vladimir
  full_name: Gritsev, Vladimir
  last_name: Gritsev
- first_name: Denis V.
  full_name: Kurlov, Denis V.
  last_name: Kurlov
citation:
  ama: Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. Adiabatic
    eigenstate deformations and weak integrability breaking of Heisenberg chain. <i>Physical
    Review B</i>. 2023;107(18). doi:<a href="https://doi.org/10.1103/PhysRevB.107.184312">10.1103/PhysRevB.107.184312</a>
  apa: Orlov, P., Tiutiakina, A., Sharipov, R., Petrova, E., Gritsev, V., &#38; Kurlov,
    D. V. (2023). Adiabatic eigenstate deformations and weak integrability breaking
    of Heisenberg chain. <i>Physical Review B</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevB.107.184312">https://doi.org/10.1103/PhysRevB.107.184312</a>
  chicago: Orlov, Pavel, Anastasiia Tiutiakina, Rustem Sharipov, Elena Petrova, Vladimir
    Gritsev, and Denis V. Kurlov. “Adiabatic Eigenstate Deformations and Weak Integrability
    Breaking of Heisenberg Chain.” <i>Physical Review B</i>. American Physical Society,
    2023. <a href="https://doi.org/10.1103/PhysRevB.107.184312">https://doi.org/10.1103/PhysRevB.107.184312</a>.
  ieee: P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, and D. V. Kurlov,
    “Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg
    chain,” <i>Physical Review B</i>, vol. 107, no. 18. American Physical Society,
    2023.
  ista: Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. 2023.
    Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg
    chain. Physical Review B. 107(18), 184312.
  mla: Orlov, Pavel, et al. “Adiabatic Eigenstate Deformations and Weak Integrability
    Breaking of Heisenberg Chain.” <i>Physical Review B</i>, vol. 107, no. 18, 184312,
    American Physical Society, 2023, doi:<a href="https://doi.org/10.1103/PhysRevB.107.184312">10.1103/PhysRevB.107.184312</a>.
  short: P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov,
    Physical Review B 107 (2023).
date_created: 2023-06-18T22:00:46Z
date_published: 2023-05-01T00:00:00Z
date_updated: 2023-08-02T06:16:02Z
day: '01'
department:
- _id: GradSch
doi: 10.1103/PhysRevB.107.184312
external_id:
  arxiv:
  - '2303.00729'
  isi:
  - '001003686900004'
fulldoi: https://doi.org/10.1103/PhysRevB.107.184312
intvolume: '       107'
isi: 1
issue: '18'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2303.00729
month: '05'
oa: 1
oa_version: Preprint
publication: Physical Review B
publication_identifier:
  eissn:
  - 2469-9969
  issn:
  - 2469-9950
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg
  chain
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 107
year: '2023'
...
---
_id: '13139'
abstract:
- lang: eng
  text: A classical problem for Markov chains is determining their stationary (or
    steady-state) distribution. This problem has an equally classical solution based
    on eigenvectors and linear equation systems. However, this approach does not scale
    to large instances, and iterative solutions are desirable. It turns out that a
    naive approach, as used by current model checkers, may yield completely wrong
    results. We present a new approach, which utilizes recent advances in partial
    exploration and mean payoff computation to obtain a correct, converging approximation.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Tobias
  full_name: Meggendorfer, Tobias
  id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
  last_name: Meggendorfer
  orcid: 0000-0002-1712-2165
citation:
  ama: 'Meggendorfer T. Correct approximation of stationary distributions. In: <i>TACAS
    2023: Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol
    13993. Springer Nature; 2023:489-507. doi:<a href="https://doi.org/10.1007/978-3-031-30823-9_25">10.1007/978-3-031-30823-9_25</a>'
  apa: 'Meggendorfer, T. (2023). Correct approximation of stationary distributions.
    In <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>
    (Vol. 13993, pp. 489–507). Paris, France: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-30823-9_25">https://doi.org/10.1007/978-3-031-30823-9_25</a>'
  chicago: 'Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.”
    In <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>,
    13993:489–507. Springer Nature, 2023. <a href="https://doi.org/10.1007/978-3-031-30823-9_25">https://doi.org/10.1007/978-3-031-30823-9_25</a>.'
  ieee: 'T. Meggendorfer, “Correct approximation of stationary distributions,” in
    <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>,
    Paris, France, 2023, vol. 13993, pp. 489–507.'
  ista: 'Meggendorfer T. 2023. Correct approximation of stationary distributions.
    TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems.
    TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS,
    vol. 13993, 489–507.'
  mla: 'Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.”
    <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>,
    vol. 13993, Springer Nature, 2023, pp. 489–507, doi:<a href="https://doi.org/10.1007/978-3-031-30823-9_25">10.1007/978-3-031-30823-9_25</a>.'
  short: 'T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction
    and Analysis of Systems, Springer Nature, 2023, pp. 489–507.'
conference:
  end_date: 2023-04-27
  location: Paris, France
  name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
  start_date: 2023-04-22
corr_author: '1'
date_created: 2023-06-18T22:00:46Z
date_published: 2023-04-22T00:00:00Z
date_updated: 2025-09-09T12:28:12Z
day: '22'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-031-30823-9_25
external_id:
  arxiv:
  - '2301.08137'
  isi:
  - '001288688000025'
file:
- access_level: open_access
  checksum: 59f707a3949c03793251b0d04c62542a
  content_type: application/pdf
  creator: dernst
  date_created: 2023-06-19T07:18:40Z
  date_updated: 2023-06-19T07:18:40Z
  file_id: '13148'
  file_name: 2023_LNCS_Meggendorfer.pdf
  file_size: 521951
  relation: main_file
  success: 1
file_date_updated: 2023-06-19T07:18:40Z
fulldoi: https://doi.org/10.1007/978-3-031-30823-9_25
has_accepted_license: '1'
intvolume: '     13993'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 489-507
publication: 'TACAS 2023: Tools and Algorithms for the Construction and Analysis of
  Systems'
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783031308222'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '14990'
    relation: research_data
    status: public
scopus_import: '1'
status: public
title: Correct approximation of stationary distributions
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 13993
year: '2023'
...
---
_id: '13141'
abstract:
- lang: eng
  text: "We automatically compute a new class of environment assumptions in two-player
    turn-based finite graph games which characterize an “adequate cooperation” needed
    from the environment to allow the system player to win. Given an ω-regular winning
    condition Φ for the system player, we compute an ω-regular assumption Ψ for the
    environment player, such that (i) every environment strategy compliant with Ψ
    allows the system to fulfill Φ (sufficiency), (ii) Ψ\r\n can be fulfilled by the
    environment for every strategy of the system (implementability), and (iii) Ψ does
    not prevent any cooperative strategy choice (permissiveness).\r\nFor parity games,
    which are canonical representations of ω-regular games, we present a polynomial-time
    algorithm for the symbolic computation of adequately permissive assumptions and
    show that our algorithm runs faster and produces better assumptions than existing
    approaches—both theoretically and empirically. To the best of our knowledge, for
    ω\r\n-regular games, we provide the first algorithm to compute sufficient and
    implementable environment assumptions that are also permissive."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Ashwani
  full_name: Anand, Ashwani
  last_name: Anand
- first_name: Kaushik
  full_name: Mallik, Kaushik
  id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
  last_name: Mallik
  orcid: 0000-0001-9864-7475
- first_name: Satya Prakash
  full_name: Nayak, Satya Prakash
  last_name: Nayak
- first_name: Anne Kathrin
  full_name: Schmuck, Anne Kathrin
  last_name: Schmuck
citation:
  ama: 'Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions
    for synthesis. In: <i>TACAS 2023: Tools and Algorithms for the Construction and
    Analysis of Systems</i>. Vol 13994. Springer Nature; 2023:211-228. doi:<a href="https://doi.org/10.1007/978-3-031-30820-8_15">10.1007/978-3-031-30820-8_15</a>'
  apa: 'Anand, A., Mallik, K., Nayak, S. P., &#38; Schmuck, A. K. (2023). Computing
    adequately permissive assumptions for synthesis. In <i>TACAS 2023: Tools and Algorithms
    for the Construction and Analysis of Systems</i> (Vol. 13994, pp. 211–228). Paris,
    France: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-30820-8_15">https://doi.org/10.1007/978-3-031-30820-8_15</a>'
  chicago: 'Anand, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin
    Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In <i>TACAS
    2023: Tools and Algorithms for the Construction and Analysis of Systems</i>, 13994:211–28.
    Springer Nature, 2023. <a href="https://doi.org/10.1007/978-3-031-30820-8_15">https://doi.org/10.1007/978-3-031-30820-8_15</a>.'
  ieee: 'A. Anand, K. Mallik, S. P. Nayak, and A. K. Schmuck, “Computing adequately
    permissive assumptions for synthesis,” in <i>TACAS 2023: Tools and Algorithms
    for the Construction and Analysis of Systems</i>, Paris, France, 2023, vol. 13994,
    pp. 211–228.'
  ista: 'Anand A, Mallik K, Nayak SP, Schmuck AK. 2023. Computing adequately permissive
    assumptions for synthesis. TACAS 2023: Tools and Algorithms for the Construction
    and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and
    Analysis of Systems, LNCS, vol. 13994, 211–228.'
  mla: 'Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.”
    <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>,
    vol. 13994, Springer Nature, 2023, pp. 211–28, doi:<a href="https://doi.org/10.1007/978-3-031-30820-8_15">10.1007/978-3-031-30820-8_15</a>.'
  short: 'A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and
    Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023,
    pp. 211–228.'
conference:
  end_date: 2023-04-27
  location: Paris, France
  name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
  start_date: 2023-04-22
date_created: 2023-06-18T22:00:47Z
date_published: 2023-04-20T00:00:00Z
date_updated: 2025-09-09T12:30:00Z
day: '20'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-031-30820-8_15
external_id:
  isi:
  - '001288698100015'
file:
- access_level: open_access
  checksum: 60dcafc1b4f6f070be43bad3fe877974
  content_type: application/pdf
  creator: dernst
  date_created: 2023-06-19T08:43:21Z
  date_updated: 2023-06-19T08:43:21Z
  file_id: '13151'
  file_name: 2023_LNCS_Anand.pdf
  file_size: 521425
  relation: main_file
  success: 1
file_date_updated: 2023-06-19T08:43:21Z
fulldoi: https://doi.org/10.1007/978-3-031-30820-8_15
has_accepted_license: '1'
intvolume: '     13994'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 211-228
publication: 'TACAS 2023: Tools and Algorithms for the Construction and Analysis of
  Systems'
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783031308192'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Computing adequately permissive assumptions for synthesis
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 13994
year: '2023'
...
---
_id: '13142'
abstract:
- lang: eng
  text: Reinforcement learning has received much attention for learning controllers
    of deterministic systems. We consider a learner-verifier framework for stochastic
    control systems and survey recent methods that formally guarantee a conjunction
    of reachability and safety properties. Given a property and a lower bound on the
    probability of the property being satisfied, our framework jointly learns a control
    policy and a formal certificate to ensure the satisfaction of the property with
    a desired probability threshold. Both the control policy and the formal certificate
    are continuous functions from states to reals, which are learned as parameterized
    neural networks. While in the deterministic case, the certificates are invariant
    and barrier functions for safety, or Lyapunov and ranking functions for liveness,
    in the stochastic case the certificates are supermartingales. For certificate
    verification, we use interval arithmetic abstract interpretation to bound the
    expected values of neural network functions.
acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093, ERC
  CoG 863818 (FoRM-SMArt) and the European Union’s Horizon 2020 research and innovation
  programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
- first_name: Mathias
  full_name: Lechner, Mathias
  id: 3DC22916-F248-11E8-B48F-1D18A9856A87
  last_name: Lechner
- first_name: Dorde
  full_name: Zikelic, Dorde
  id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
  last_name: Zikelic
  orcid: 0000-0002-4681-1699
citation:
  ama: 'Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework
    for neural network controllers and certificates of stochastic systems. In: <i>Tools
    and Algorithms for the Construction and Analysis of Systems </i>. Vol 13993. Springer
    Nature; 2023:3-25. doi:<a href="https://doi.org/10.1007/978-3-031-30823-9_1">10.1007/978-3-031-30823-9_1</a>'
  apa: 'Chatterjee, K., Henzinger, T. A., Lechner, M., &#38; Zikelic, D. (2023). A
    learner-verifier framework for neural network controllers and certificates of
    stochastic systems. In <i>Tools and Algorithms for the Construction and Analysis
    of Systems </i> (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-30823-9_1">https://doi.org/10.1007/978-3-031-30823-9_1</a>'
  chicago: Chatterjee, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde
    Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates
    of Stochastic Systems.” In <i>Tools and Algorithms for the Construction and Analysis
    of Systems </i>, 13993:3–25. Springer Nature, 2023. <a href="https://doi.org/10.1007/978-3-031-30823-9_1">https://doi.org/10.1007/978-3-031-30823-9_1</a>.
  ieee: K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “A learner-verifier
    framework for neural network controllers and certificates of stochastic systems,”
    in <i>Tools and Algorithms for the Construction and Analysis of Systems </i>,
    Paris, France, 2023, vol. 13993, pp. 3–25.
  ista: 'Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. A learner-verifier
    framework for neural network controllers and certificates of stochastic systems.
    Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools
    and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993,
    3–25.'
  mla: Chatterjee, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network
    Controllers and Certificates of Stochastic Systems.” <i>Tools and Algorithms for
    the Construction and Analysis of Systems </i>, vol. 13993, Springer Nature, 2023,
    pp. 3–25, doi:<a href="https://doi.org/10.1007/978-3-031-30823-9_1">10.1007/978-3-031-30823-9_1</a>.
  short: K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms
    for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
conference:
  end_date: 2023-04-27
  location: Paris, France
  name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
  start_date: 2023-04-22
corr_author: '1'
date_created: 2023-06-18T22:00:47Z
date_published: 2023-04-22T00:00:00Z
date_updated: 2025-09-09T12:29:26Z
day: '22'
ddc:
- '000'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-031-30823-9_1
ec_funded: 1
external_id:
  isi:
  - '001288688000001'
file:
- access_level: open_access
  checksum: 3d8a8bb24d211bc83360dfc2fd744307
  content_type: application/pdf
  creator: dernst
  date_created: 2023-06-19T08:29:30Z
  date_updated: 2023-06-19T08:29:30Z
  file_id: '13150'
  file_name: 2023_LNCS_Chatterjee.pdf
  file_size: 528455
  relation: main_file
  success: 1
file_date_updated: 2023-06-19T08:29:30Z
fulldoi: https://doi.org/10.1007/978-3-031-30823-9_1
has_accepted_license: '1'
intvolume: '     13993'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 3-25
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '665385'
  name: International IST Doctoral Program
publication: 'Tools and Algorithms for the Construction and Analysis of Systems '
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783031308222'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: A learner-verifier framework for neural network controllers and certificates
  of stochastic systems
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 13993
year: '2023'
...
---
_id: '13143'
abstract:
- lang: eng
  text: "GIMPS and PrimeGrid are large-scale distributed projects dedicated to searching
    giant prime numbers, usually of special forms like Mersenne and Proth primes.
    The numbers in the current search-space are millions of digits large and the participating
    volunteers need to run resource-consuming primality tests. Once a candidate prime
    N has been found, the only way for another party to independently verify the primality
    of N used to be by repeating the expensive primality test. To avoid the need for
    second recomputation of each primality test, these projects have recently adopted
    certifying mechanisms that enable efficient verification of performed tests. However,
    the mechanisms presently in place only detect benign errors and there is no guarantee
    against adversarial behavior: a malicious volunteer can mislead the project to
    reject a giant prime as being non-prime.\r\nIn this paper, we propose a practical,
    cryptographically-sound mechanism for certifying the non-primality of Proth numbers.
    That is, a volunteer can – parallel to running the primality test for N – generate
    an efficiently verifiable proof at a little extra cost certifying that N is not
    prime. The interactive protocol has statistical soundness and can be made non-interactive
    using the Fiat-Shamir heuristic.\r\nOur approach is based on a cryptographic primitive
    called Proof of Exponentiation (PoE) which, for a group G, certifies that a tuple
    (x,y,T)∈G2×N satisfies x2T=y (Pietrzak, ITCS 2019 and Wesolowski, J. Cryptol.
    2020). In particular, we show how to adapt Pietrzak’s PoE at a moderate additional
    cost to make it a cryptographically-sound certificate of non-primality."
acknowledgement: 'We are grateful to Pavel Atnashev for clarifying via e-mail several
  aspects of the primality tests implementated in the PrimeGrid project. Pavel Hubáček
  is supported by the Czech Academy of Sciences (RVO 67985840), the Grant Agency of
  the Czech Republic under the grant agreement no. 19-27871X, and by the Charles University
  project UNCE/SCI/004. Chethan Kamath is supported by Azrieli International Postdoctoral
  Fellowship, ISF grants 484/18 and 1789/19, and ERC StG project SPP: Secrecy Preserving
  Proofs.'
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: Pavel
  full_name: Hubáček, Pavel
  last_name: Hubáček
- first_name: Chethan
  full_name: Kamath, Chethan
  last_name: Kamath
- 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, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes.
    In: <i>Public-Key Cryptography - PKC 2023</i>. Vol 13940. Springer Nature; 2023:530-553.
    doi:<a href="https://doi.org/10.1007/978-3-031-31368-4_19">10.1007/978-3-031-31368-4_19</a>'
  apa: 'Hoffmann, C., Hubáček, P., Kamath, C., &#38; Pietrzak, K. Z. (2023). Certifying
    giant nonprimes. In <i>Public-Key Cryptography - PKC 2023</i> (Vol. 13940, pp.
    530–553). Atlanta, GA, United States: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-31368-4_19">https://doi.org/10.1007/978-3-031-31368-4_19</a>'
  chicago: Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak.
    “Certifying Giant Nonprimes.” In <i>Public-Key Cryptography - PKC 2023</i>, 13940:530–53.
    Springer Nature, 2023. <a href="https://doi.org/10.1007/978-3-031-31368-4_19">https://doi.org/10.1007/978-3-031-31368-4_19</a>.
  ieee: C. Hoffmann, P. Hubáček, C. Kamath, and K. Z. Pietrzak, “Certifying giant
    nonprimes,” in <i>Public-Key Cryptography - PKC 2023</i>, Atlanta, GA, United
    States, 2023, vol. 13940, pp. 530–553.
  ista: 'Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes.
    Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940,
    530–553.'
  mla: Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” <i>Public-Key Cryptography
    - PKC 2023</i>, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:<a href="https://doi.org/10.1007/978-3-031-31368-4_19">10.1007/978-3-031-31368-4_19</a>.
  short: C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography
    - PKC 2023, Springer Nature, 2023, pp. 530–553.
conference:
  end_date: 2023-05-10
  location: Atlanta, GA, United States
  name: 'PKC: Public-Key Cryptography'
  start_date: 2023-05-07
corr_author: '1'
date_created: 2023-06-18T22:00:47Z
date_published: 2023-05-02T00:00:00Z
date_updated: 2026-04-07T12:34:30Z
day: '02'
department:
- _id: KrPi
doi: 10.1007/978-3-031-31368-4_19
external_id:
  isi:
  - '001276519300019'
fulldoi: https://doi.org/10.1007/978-3-031-31368-4_19
intvolume: '     13940'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://eprint.iacr.org/2023/238
month: '05'
oa: 1
oa_version: Submitted Version
page: 530-553
publication: Public-Key Cryptography - PKC 2023
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783031313677'
  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: Certifying giant nonprimes
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 13940
year: '2023'
...
---
_id: '13145'
abstract:
- lang: eng
  text: We prove a characterization of the Dirichlet–Ferguson measure over an arbitrary
    finite diffuse measure space. We provide an interpretation of this characterization
    in analogy with the Mecke identity for Poisson point processes.
acknowledgement: Research supported by the Sfb 1060 The Mathematics of Emergent Effects
  (University of Bonn). L.D.S. gratefully acknowledges funding of his current position
  by the Austrian Science Fund (FWF) through project ESPRIT 208.
article_processing_charge: No
article_type: original
author:
- first_name: Lorenzo
  full_name: Dello Schiavo, Lorenzo
  id: ECEBF480-9E4F-11EA-B557-B0823DDC885E
  last_name: Dello Schiavo
  orcid: 0000-0002-9881-6870
- first_name: Eugene
  full_name: Lytvynov, Eugene
  last_name: Lytvynov
citation:
  ama: Dello Schiavo L, Lytvynov E. A Mecke-type characterization of the Dirichlet–Ferguson
    measure. <i>Electronic Communications in Probability</i>. 2023;28:1-12. doi:<a
    href="https://doi.org/10.1214/23-ECP528">10.1214/23-ECP528</a>
  apa: Dello Schiavo, L., &#38; Lytvynov, E. (2023). A Mecke-type characterization
    of the Dirichlet–Ferguson measure. <i>Electronic Communications in Probability</i>.
    Institute of Mathematical Statistics. <a href="https://doi.org/10.1214/23-ECP528">https://doi.org/10.1214/23-ECP528</a>
  chicago: Dello Schiavo, Lorenzo, and Eugene Lytvynov. “A Mecke-Type Characterization
    of the Dirichlet–Ferguson Measure.” <i>Electronic Communications in Probability</i>.
    Institute of Mathematical Statistics, 2023. <a href="https://doi.org/10.1214/23-ECP528">https://doi.org/10.1214/23-ECP528</a>.
  ieee: L. Dello Schiavo and E. Lytvynov, “A Mecke-type characterization of the Dirichlet–Ferguson
    measure,” <i>Electronic Communications in Probability</i>, vol. 28. Institute
    of Mathematical Statistics, pp. 1–12, 2023.
  ista: Dello Schiavo L, Lytvynov E. 2023. A Mecke-type characterization of the Dirichlet–Ferguson
    measure. Electronic Communications in Probability. 28, 1–12.
  mla: Dello Schiavo, Lorenzo, and Eugene Lytvynov. “A Mecke-Type Characterization
    of the Dirichlet–Ferguson Measure.” <i>Electronic Communications in Probability</i>,
    vol. 28, Institute of Mathematical Statistics, 2023, pp. 1–12, doi:<a href="https://doi.org/10.1214/23-ECP528">10.1214/23-ECP528</a>.
  short: L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28
    (2023) 1–12.
corr_author: '1'
date_created: 2023-06-18T22:00:48Z
date_published: 2023-05-05T00:00:00Z
date_updated: 2025-04-14T12:59:08Z
day: '05'
ddc:
- '510'
department:
- _id: JaMa
doi: 10.1214/23-ECP528
external_id:
  isi:
  - '001042025400001'
file:
- access_level: open_access
  checksum: 4a543fe4b3f9e747cc52167c17bfb524
  content_type: application/pdf
  creator: dernst
  date_created: 2023-06-19T09:37:40Z
  date_updated: 2023-06-19T09:37:40Z
  file_id: '13152'
  file_name: 2023_ElectronCommProbability_Schiavo.pdf
  file_size: 271434
  relation: main_file
  success: 1
file_date_updated: 2023-06-19T09:37:40Z
fulldoi: https://doi.org/10.1214/23-ECP528
has_accepted_license: '1'
intvolume: '        28'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 1-12
project:
- _id: 34dbf174-11ca-11ed-8bc3-afe9d43d4b9c
  grant_number: E208
  name: Configuration Spaces over Non-Smooth Spaces
publication: Electronic Communications in Probability
publication_identifier:
  eissn:
  - 1083-589X
publication_status: published
publisher: Institute of Mathematical Statistics
quality_controlled: '1'
scopus_import: '1'
status: public
title: A Mecke-type characterization of the Dirichlet–Ferguson measure
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: 28
year: '2023'
...
---
_id: '13164'
abstract:
- lang: eng
  text: Molecular compatibility between gametes is a prerequisite for successful fertilization.
    As long as a sperm and egg can recognize and bind each other via their surface
    proteins, gamete fusion may occur even between members of separate species, resulting
    in hybrids that can impact speciation. The egg membrane protein Bouncer confers
    species specificity to gamete interactions between medaka and zebrafish, preventing
    their cross-fertilization. Here, we leverage this specificity to uncover distinct
    amino acid residues and N-glycosylation patterns that differentially influence
    the function of medaka and zebrafish Bouncer and contribute to cross-species incompatibility.
    Curiously, in contrast to the specificity observed for medaka and zebrafish Bouncer,
    seahorse and fugu Bouncer are compatible with both zebrafish and medaka sperm,
    in line with the pervasive purifying selection that dominates Bouncer’s evolution.
    The Bouncer-sperm interaction is therefore the product of seemingly opposing evolutionary
    forces that, for some species, restrict fertilization to closely related fish,
    and for others, allow broad gamete compatibility that enables hybridization.
acknowledgement: We thank Manfred Schartl for sharing RNA-seq data from medaka ovaries
  and testes prior to publication; Maria Novatchkova for help with RNA-seq analysis;
  Katharina Lust for advice on medaka techniques; Milan Malinsky for input on Lake
  Malawi cichlid Bouncer sequences; Felicia Spitzer, Mirjam Binner, and Anna Bandura
  for help with genotyping; Friedrich Puhl, Kerstin Rattner, Julia Koenig, and Dijana
  Sunjic for taking care of zebrafish and medaka; and the Pauli lab for helpful discussions
  about the project and feedback on the manuscript. K.R.B.G. was supported by a DOC
  Fellowship from the Austrian Academy of Sciences. Work in the Pauli lab was supported
  by the FWF START program (Y 1031-B28 to A.P.), the ERC CoG 101044495/GaMe, the HFSP
  Career Development Award (CDA00066/2015 to A.P.), a HFSP Young Investigator Award
  (RGY0079/2020 to A.P.) and the FWF SFB RNA-Deco (project number F80). The IMP receives
  institutional funding from Boehringer Ingelheim and the Austrian Research Promotion
  Agency (Headquarter grant FFG-852936). Work by J.S. and Y.M. in this project was
  supported by the Israel Science Foundation grant 636/21 to Y.M. Work by L.J. was
  supported by the Swedish Research Council grant 2020-04936 and the Knut and Alice
  Wallenberg Foundation grant 2018.0042. For the purpose of Open Access, the author
  has applied a CC BY public copyright license to any Author Accepted Manuscript (AAM)
  version arising from this submission.
article_number: '3506'
article_processing_charge: No
article_type: original
author:
- first_name: Krista R.B.
  full_name: Gert, Krista R.B.
  last_name: Gert
- first_name: Karin
  full_name: Panser, Karin
  last_name: Panser
- first_name: Joachim
  full_name: Surm, Joachim
  last_name: Surm
- first_name: Benjamin S.
  full_name: Steinmetz, Benjamin S.
  last_name: Steinmetz
- first_name: Alexander
  full_name: Schleiffer, Alexander
  last_name: Schleiffer
- first_name: Luca
  full_name: Jovine, Luca
  last_name: Jovine
- first_name: Yehu
  full_name: Moran, Yehu
  last_name: Moran
- first_name: Fyodor
  full_name: Kondrashov, Fyodor
  id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
  last_name: Kondrashov
  orcid: 0000-0001-8243-4694
- first_name: Andrea
  full_name: Pauli, Andrea
  last_name: Pauli
citation:
  ama: Gert KRB, Panser K, Surm J, et al. Divergent molecular signatures in fish Bouncer
    proteins define cross-fertilization boundaries. <i>Nature Communications</i>.
    2023;14. doi:<a href="https://doi.org/10.1038/s41467-023-39317-4">10.1038/s41467-023-39317-4</a>
  apa: Gert, K. R. B., Panser, K., Surm, J., Steinmetz, B. S., Schleiffer, A., Jovine,
    L., … Pauli, A. (2023). Divergent molecular signatures in fish Bouncer proteins
    define cross-fertilization boundaries. <i>Nature Communications</i>. Springer
    Nature. <a href="https://doi.org/10.1038/s41467-023-39317-4">https://doi.org/10.1038/s41467-023-39317-4</a>
  chicago: Gert, Krista R.B., Karin Panser, Joachim Surm, Benjamin S. Steinmetz, Alexander
    Schleiffer, Luca Jovine, Yehu Moran, Fyodor Kondrashov, and Andrea Pauli. “Divergent
    Molecular Signatures in Fish Bouncer Proteins Define Cross-Fertilization Boundaries.”
    <i>Nature Communications</i>. Springer Nature, 2023. <a href="https://doi.org/10.1038/s41467-023-39317-4">https://doi.org/10.1038/s41467-023-39317-4</a>.
  ieee: K. R. B. Gert <i>et al.</i>, “Divergent molecular signatures in fish Bouncer
    proteins define cross-fertilization boundaries,” <i>Nature Communications</i>,
    vol. 14. Springer Nature, 2023.
  ista: Gert KRB, Panser K, Surm J, Steinmetz BS, Schleiffer A, Jovine L, Moran Y,
    Kondrashov F, Pauli A. 2023. Divergent molecular signatures in fish Bouncer proteins
    define cross-fertilization boundaries. Nature Communications. 14, 3506.
  mla: Gert, Krista R. B., et al. “Divergent Molecular Signatures in Fish Bouncer
    Proteins Define Cross-Fertilization Boundaries.” <i>Nature Communications</i>,
    vol. 14, 3506, Springer Nature, 2023, doi:<a href="https://doi.org/10.1038/s41467-023-39317-4">10.1038/s41467-023-39317-4</a>.
  short: K.R.B. Gert, K. Panser, J. Surm, B.S. Steinmetz, A. Schleiffer, L. Jovine,
    Y. Moran, F. Kondrashov, A. Pauli, Nature Communications 14 (2023).
date_created: 2023-06-25T22:00:45Z
date_published: 2023-06-14T00:00:00Z
date_updated: 2025-04-23T08:59:40Z
day: '14'
ddc:
- '570'
department:
- _id: FyKo
doi: 10.1038/s41467-023-39317-4
external_id:
  isi:
  - '001048208600023'
  pmid:
  - '37316475'
file:
- access_level: open_access
  checksum: d6165f41c7f1c2c04b04256ec9f003fb
  content_type: application/pdf
  creator: dernst
  date_created: 2023-06-26T10:26:04Z
  date_updated: 2023-06-26T10:26:04Z
  file_id: '13172'
  file_name: 2023_NatureComm_Gert.pdf
  file_size: 1555006
  relation: main_file
  success: 1
file_date_updated: 2023-06-26T10:26:04Z
fulldoi: https://doi.org/10.1038/s41467-023-39317-4
has_accepted_license: '1'
intvolume: '        14'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
  eissn:
  - 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Divergent molecular signatures in fish Bouncer proteins define cross-fertilization
  boundaries
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: 14
year: '2023'
...
