---
_id: '13042'
abstract:
- lang: eng
  text: Let Lc,n denote the size of the longest cycle in G(n, c/n),c >1 constant.  We
    show that there exists a continuous function f(c) such that Lc,n/n→f(c) a.s.  for
    c>20,  thus  extending  a  result  of  Frieze  and  the  author  to  smaller  values  of
    c. Thereafter,  for c>20,  we  determine  the  limit  of  the  probability  that
    G(n, c/n)contains  cycles  of  every  length  between  the  length  of  its  shortest  and  its  longest
    cycles as n→∞.
acknowledgement: We would like to thank the reviewers for their helpful comments and
  remarks.
article_number: P2.21
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Michael
  full_name: Anastos, Michael
  id: 0b2a4358-bb35-11ec-b7b9-e3279b593dbb
  last_name: Anastos
citation:
  ama: Anastos M. A note on long cycles in sparse random graphs. <i>Electronic Journal
    of Combinatorics</i>. 2023;30(2). doi:<a href="https://doi.org/10.37236/11471">10.37236/11471</a>
  apa: Anastos, M. (2023). A note on long cycles in sparse random graphs. <i>Electronic
    Journal of Combinatorics</i>. Electronic Journal of Combinatorics. <a href="https://doi.org/10.37236/11471">https://doi.org/10.37236/11471</a>
  chicago: Anastos, Michael. “A Note on Long Cycles in Sparse Random Graphs.” <i>Electronic
    Journal of Combinatorics</i>. Electronic Journal of Combinatorics, 2023. <a href="https://doi.org/10.37236/11471">https://doi.org/10.37236/11471</a>.
  ieee: M. Anastos, “A note on long cycles in sparse random graphs,” <i>Electronic
    Journal of Combinatorics</i>, vol. 30, no. 2. Electronic Journal of Combinatorics,
    2023.
  ista: Anastos M. 2023. A note on long cycles in sparse random graphs. Electronic
    Journal of Combinatorics. 30(2), P2.21.
  mla: Anastos, Michael. “A Note on Long Cycles in Sparse Random Graphs.” <i>Electronic
    Journal of Combinatorics</i>, vol. 30, no. 2, P2.21, Electronic Journal of Combinatorics,
    2023, doi:<a href="https://doi.org/10.37236/11471">10.37236/11471</a>.
  short: M. Anastos, Electronic Journal of Combinatorics 30 (2023).
corr_author: '1'
date_created: 2023-05-21T22:01:05Z
date_published: 2023-05-05T00:00:00Z
date_updated: 2024-10-09T21:05:26Z
day: '05'
ddc:
- '510'
department:
- _id: MaKw
doi: 10.37236/11471
external_id:
  arxiv:
  - '2105.13828'
  isi:
  - '000988285500001'
file:
- access_level: open_access
  checksum: 6269ed3b3eded6536d3d9d6baad2d5b9
  content_type: application/pdf
  creator: dernst
  date_created: 2023-05-22T07:43:19Z
  date_updated: 2023-05-22T07:43:19Z
  file_id: '13046'
  file_name: 2023_JourCombinatorics_Anastos.pdf
  file_size: 448736
  relation: main_file
  success: 1
file_date_updated: 2023-05-22T07:43:19Z
has_accepted_license: '1'
intvolume: '        30'
isi: 1
issue: '2'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '05'
oa: 1
oa_version: Published Version
publication: Electronic Journal of Combinatorics
publication_identifier:
  eissn:
  - 1077-8926
publication_status: published
publisher: Electronic Journal of Combinatorics
quality_controlled: '1'
scopus_import: '1'
status: public
title: A note on long cycles in sparse random graphs
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: 30
year: '2023'
...
---
_id: '13043'
abstract:
- lang: eng
  text: "We derive a weak-strong uniqueness principle for BV solutions to multiphase
    mean curvature flow of triple line clusters in three dimensions. Our proof is
    based on the explicit construction\r\nof a gradient flow calibration in the sense
    of the recent work of Fischer et al. (2020) for any such\r\ncluster. This extends
    the two-dimensional construction to the three-dimensional case of surfaces\r\nmeeting
    along triple junctions."
acknowledgement: This project has received funding from the European Research Council
  (ERC) under the European Union’s Horizon 2020 research and innovation programme
  (grant agreement no. 948819), and from the Deutsche Forschungsgemeinschaft (DFG,
  German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Sebastian
  full_name: Hensel, Sebastian
  id: 4D23B7DA-F248-11E8-B48F-1D18A9856A87
  last_name: Hensel
  orcid: 0000-0001-7252-8072
- first_name: Tim
  full_name: Laux, Tim
  last_name: Laux
citation:
  ama: Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double
    bubbles. <i>Interfaces and Free Boundaries</i>. 2023;25(1):37-107. doi:<a href="https://doi.org/10.4171/IFB/484">10.4171/IFB/484</a>
  apa: Hensel, S., &#38; Laux, T. (2023). Weak-strong uniqueness for the mean curvature
    flow of double bubbles. <i>Interfaces and Free Boundaries</i>. EMS Press. <a href="https://doi.org/10.4171/IFB/484">https://doi.org/10.4171/IFB/484</a>
  chicago: Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature
    Flow of Double Bubbles.” <i>Interfaces and Free Boundaries</i>. EMS Press, 2023.
    <a href="https://doi.org/10.4171/IFB/484">https://doi.org/10.4171/IFB/484</a>.
  ieee: S. Hensel and T. Laux, “Weak-strong uniqueness for the mean curvature flow
    of double bubbles,” <i>Interfaces and Free Boundaries</i>, vol. 25, no. 1. EMS
    Press, pp. 37–107, 2023.
  ista: Hensel S, Laux T. 2023. Weak-strong uniqueness for the mean curvature flow
    of double bubbles. Interfaces and Free Boundaries. 25(1), 37–107.
  mla: Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature
    Flow of Double Bubbles.” <i>Interfaces and Free Boundaries</i>, vol. 25, no. 1,
    EMS Press, 2023, pp. 37–107, doi:<a href="https://doi.org/10.4171/IFB/484">10.4171/IFB/484</a>.
  short: S. Hensel, T. Laux, Interfaces and Free Boundaries 25 (2023) 37–107.
corr_author: '1'
date_created: 2023-05-21T22:01:06Z
date_published: 2023-04-20T00:00:00Z
date_updated: 2025-04-14T09:35:57Z
day: '20'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.4171/IFB/484
ec_funded: 1
external_id:
  arxiv:
  - '2108.01733'
  isi:
  - '000975817300002'
file:
- access_level: open_access
  checksum: 622422484810441e48f613e968c7e7a4
  content_type: application/pdf
  creator: dernst
  date_created: 2023-05-22T07:24:13Z
  date_updated: 2023-05-22T07:24:13Z
  file_id: '13045'
  file_name: 2023_Interfaces_Hensel.pdf
  file_size: 867876
  relation: main_file
  success: 1
file_date_updated: 2023-05-22T07:24:13Z
has_accepted_license: '1'
intvolume: '        25'
isi: 1
issue: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 37-107
project:
- _id: 0aa76401-070f-11eb-9043-b5bb049fa26d
  call_identifier: H2020
  grant_number: '948819'
  name: Bridging Scales in Random Materials
publication: Interfaces and Free Boundaries
publication_identifier:
  eissn:
  - 1463-9971
  issn:
  - 1463-9963
publication_status: published
publisher: EMS Press
quality_controlled: '1'
related_material:
  record:
  - id: '10013'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: Weak-strong uniqueness for the mean curvature flow of double bubbles
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: 25
year: '2023'
...
---
_id: '13048'
abstract:
- lang: eng
  text: In this paper we introduce a pruning of the medial axis called the (λ,α)-medial
    axis (axλα). We prove that the (λ,α)-medial axis of a set K is stable in a Gromov-Hausdorff
    sense under weak assumptions. More formally we prove that if K and K′ are close
    in the Hausdorff (dH) sense then the (λ,α)-medial axes of K and K′ are close as
    metric spaces, that is the Gromov-Hausdorff distance (dGH) between the two is
    1/4-Hölder in the sense that dGH (axλα(K),axλα(K′)) ≲ dH(K,K′)1/4. The Hausdorff
    distance between the two medial axes is also bounded, by dH (axλα(K),λα(K′)) ≲
    dH(K,K′)1/2. These quantified stability results provide guarantees for practical
    computations of medial axes from approximations. Moreover, they provide key ingredients
    for studying the computability of the medial axis in the context of computable
    analysis.
acknowledgement: "We are greatly indebted to Erin Chambers for posing a number of
  questions that eventually led to this paper. We would also like to thank the other
  organizers of the workshop on ‘Algorithms\r\nfor the medial axis’. We are also indebted
  to Tatiana Ezubova for helping with the search for and translation of Russian literature.
  The second author thanks all members of the Edelsbrunner and Datashape groups for
  the atmosphere in which the research was conducted.\r\nThe research leading to these
  results has received funding from the European Research Council (ERC) under the
  European Union’s Seventh Framework Programme (FP/2007-2013) / ERC Grant Agreement
  No. 339025 GUDHI (Algorithmic Foundations of Geometry Understanding in Higher Dimensions).
  Supported by the European Union’s Horizon 2020 research and innovation programme
  under the Marie Skłodowska-Curie grant agreement No. 754411. The Austrian science
  fund (FWF) M-3073."
article_processing_charge: No
arxiv: 1
author:
- first_name: André
  full_name: Lieutier, André
  last_name: Lieutier
- first_name: Mathijs
  full_name: Wintraecken, Mathijs
  id: 307CFBC8-F248-11E8-B48F-1D18A9856A87
  last_name: Wintraecken
  orcid: 0000-0002-7472-2220
citation:
  ama: 'Lieutier A, Wintraecken M. Hausdorff and Gromov-Hausdorff stable subsets of
    the medial axis. In: <i>Proceedings of the 55th Annual ACM Symposium on Theory
    of Computing</i>. Association for Computing Machinery; 2023:1768-1776. doi:<a
    href="https://doi.org/10.1145/3564246.3585113">10.1145/3564246.3585113</a>'
  apa: 'Lieutier, A., &#38; Wintraecken, M. (2023). Hausdorff and Gromov-Hausdorff
    stable subsets of the medial axis. In <i>Proceedings of the 55th Annual ACM Symposium
    on Theory of Computing</i> (pp. 1768–1776). Orlando, FL, United States: Association
    for Computing Machinery. <a href="https://doi.org/10.1145/3564246.3585113">https://doi.org/10.1145/3564246.3585113</a>'
  chicago: Lieutier, André, and Mathijs Wintraecken. “Hausdorff and Gromov-Hausdorff
    Stable Subsets of the Medial Axis.” In <i>Proceedings of the 55th Annual ACM Symposium
    on Theory of Computing</i>, 1768–76. Association for Computing Machinery, 2023.
    <a href="https://doi.org/10.1145/3564246.3585113">https://doi.org/10.1145/3564246.3585113</a>.
  ieee: A. Lieutier and M. Wintraecken, “Hausdorff and Gromov-Hausdorff stable subsets
    of the medial axis,” in <i>Proceedings of the 55th Annual ACM Symposium on Theory
    of Computing</i>, Orlando, FL, United States, 2023, pp. 1768–1776.
  ista: 'Lieutier A, Wintraecken M. 2023. Hausdorff and Gromov-Hausdorff stable subsets
    of the medial axis. Proceedings of the 55th Annual ACM Symposium on Theory of
    Computing. STOC: Symposium on Theory of Computing, 1768–1776.'
  mla: Lieutier, André, and Mathijs Wintraecken. “Hausdorff and Gromov-Hausdorff Stable
    Subsets of the Medial Axis.” <i>Proceedings of the 55th Annual ACM Symposium on
    Theory of Computing</i>, Association for Computing Machinery, 2023, pp. 1768–76,
    doi:<a href="https://doi.org/10.1145/3564246.3585113">10.1145/3564246.3585113</a>.
  short: A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium
    on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.
conference:
  end_date: 2023-06-23
  location: Orlando, FL, United States
  name: 'STOC: Symposium on Theory of Computing'
  start_date: 2023-06-20
corr_author: '1'
date_created: 2023-05-22T08:02:02Z
date_published: 2023-06-02T00:00:00Z
date_updated: 2025-09-09T12:26:49Z
day: '02'
department:
- _id: HeEd
doi: 10.1145/3564246.3585113
ec_funded: 1
external_id:
  arxiv:
  - '2303.04014'
  isi:
  - '001064640700143'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2303.04014
month: '06'
oa: 1
oa_version: Preprint
page: 1768-1776
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
- _id: fc390959-9c52-11eb-aca3-afa58bd282b2
  grant_number: M03073
  name: Learning and triangulating manifolds via collapses
publication: Proceedings of the 55th Annual ACM Symposium on Theory of Computing
publication_identifier:
  isbn:
  - '9781450399135'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: Hausdorff and Gromov-Hausdorff stable subsets of the medial axis
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2023'
...
---
_id: '13052'
abstract:
- lang: eng
  text: Imaging of the immunological synapse (IS) between dendritic cells (DCs) and
    T cells in suspension is hampered by suboptimal alignment of cell-cell contacts
    along the vertical imaging plane. This requires optical sectioning that often
    results in unsatisfactory resolution in time and space. Here, we present a workflow
    where DCs and T cells are confined between a layer of glass and polydimethylsiloxane
    (PDMS) that orients the cells along one, horizontal imaging plane, allowing for
    fast en-face-imaging of the DC-T cell IS.
acknowledged_ssus:
- _id: Bio
- _id: NanoFab
- _id: M-Shop
acknowledgement: 'A.L. was funded by an Erwin Schrödinger postdoctoral fellowship
  of the Austrian Science Fund (FWF, project number: J4542-B) and is an EMBO non-stipendiary
  postdoctoral fellow. This work was supported by a European Research Council grant
  ERC-CoG-72437 to M.S. We thank the Imaging & Optics facility, the Nanofabrication
  facility, and the Miba Machine Shop of ISTA for their excellent support.'
alternative_title:
- Methods in Molecular Biology
article_processing_charge: No
author:
- first_name: Alexander F
  full_name: Leithner, Alexander F
  id: 3B1B77E4-F248-11E8-B48F-1D18A9856A87
  last_name: Leithner
  orcid: 0000-0002-1073-744X
- first_name: Jack
  full_name: Merrin, Jack
  id: 4515C308-F248-11E8-B48F-1D18A9856A87
  last_name: Merrin
  orcid: 0000-0001-5145-4609
- first_name: Michael K
  full_name: Sixt, Michael K
  id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
  last_name: Sixt
  orcid: 0000-0002-6620-9179
citation:
  ama: 'Leithner AF, Merrin J, Sixt MK. En-Face Imaging of T Cell-Dendritic Cell Immunological
    Synapses. In: Baldari C, Dustin M, eds. <i>The Immune Synapse</i>. Vol 2654. MIMB.
    New York, NY: Springer Nature; 2023:137-147. doi:<a href="https://doi.org/10.1007/978-1-0716-3135-5_9">10.1007/978-1-0716-3135-5_9</a>'
  apa: 'Leithner, A. F., Merrin, J., &#38; Sixt, M. K. (2023). En-Face Imaging of
    T Cell-Dendritic Cell Immunological Synapses. In C. Baldari &#38; M. Dustin (Eds.),
    <i>The Immune Synapse</i> (Vol. 2654, pp. 137–147). New York, NY: Springer Nature.
    <a href="https://doi.org/10.1007/978-1-0716-3135-5_9">https://doi.org/10.1007/978-1-0716-3135-5_9</a>'
  chicago: 'Leithner, Alexander F, Jack Merrin, and Michael K Sixt. “En-Face Imaging
    of T Cell-Dendritic Cell Immunological Synapses.” In <i>The Immune Synapse</i>,
    edited by Cosima Baldari and Michael Dustin, 2654:137–47. MIMB. New York, NY:
    Springer Nature, 2023. <a href="https://doi.org/10.1007/978-1-0716-3135-5_9">https://doi.org/10.1007/978-1-0716-3135-5_9</a>.'
  ieee: 'A. F. Leithner, J. Merrin, and M. K. Sixt, “En-Face Imaging of T Cell-Dendritic
    Cell Immunological Synapses,” in <i>The Immune Synapse</i>, vol. 2654, C. Baldari
    and M. Dustin, Eds. New York, NY: Springer Nature, 2023, pp. 137–147.'
  ista: 'Leithner AF, Merrin J, Sixt MK. 2023.En-Face Imaging of T Cell-Dendritic
    Cell Immunological Synapses. In: The Immune Synapse. Methods in Molecular Biology,
    vol. 2654, 137–147.'
  mla: Leithner, Alexander F., et al. “En-Face Imaging of T Cell-Dendritic Cell Immunological
    Synapses.” <i>The Immune Synapse</i>, edited by Cosima Baldari and Michael Dustin,
    vol. 2654, Springer Nature, 2023, pp. 137–47, doi:<a href="https://doi.org/10.1007/978-1-0716-3135-5_9">10.1007/978-1-0716-3135-5_9</a>.
  short: A.F. Leithner, J. Merrin, M.K. Sixt, in:, C. Baldari, M. Dustin (Eds.), The
    Immune Synapse, Springer Nature, New York, NY, 2023, pp. 137–147.
date_created: 2023-05-22T08:41:48Z
date_published: 2023-04-28T00:00:00Z
date_updated: 2025-04-14T07:42:07Z
day: '28'
department:
- _id: MiSi
- _id: NanoFab
doi: 10.1007/978-1-0716-3135-5_9
ec_funded: 1
editor:
- first_name: Cosima
  full_name: Baldari, Cosima
  last_name: Baldari
- first_name: Michael
  full_name: Dustin, Michael
  last_name: Dustin
external_id:
  pmid:
  - '37106180'
intvolume: '      2654'
language:
- iso: eng
month: '04'
oa_version: None
page: 137-147
place: New York, NY
pmid: 1
project:
- _id: 25FE9508-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '724373'
  name: Cellular Navigation Along Spatial Gradients
publication: The Immune Synapse
publication_identifier:
  eisbn:
  - '9781071631355'
  eissn:
  - 1940-6029
  isbn:
  - '9781071631348'
  issn:
  - 1064-3745
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
series_title: MIMB
status: public
title: En-Face Imaging of T Cell-Dendritic Cell Immunological Synapses
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2654
year: '2023'
...
---
_id: '13091'
abstract:
- lang: eng
  text: We use a function field version of the Hardy–Littlewood circle method to study
    the locus of free rational curves on an arbitrary smooth projective hypersurface
    of sufficiently low degree. On the one hand this allows us to bound the dimension
    of the singular locus of the moduli space of rational curves on such hypersurfaces
    and, on the other hand, it sheds light on Peyre’s reformulation of the Batyrev–Manin
    conjecture in terms of slopes with respect to the tangent bundle.
acknowledgement: The authors are grateful to Paul Nelson, Per Salberger and Jason
  Starr for useful comments. While working on this paper the first author was supported
  by EPRSC grant EP/P026710/1. The research was partially conducted during the period
  the second author served as a Clay Research Fellow, and partially conducted during
  the period he was supported by Dr. Max Rössler, the Walter Haefner Foundation and
  the ETH Zurich Foundation.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Timothy D
  full_name: Browning, Timothy D
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Will
  full_name: Sawin, Will
  last_name: Sawin
citation:
  ama: Browning TD, Sawin W. Free rational curves on low degree hypersurfaces and
    the circle method. <i>Algebra and Number Theory</i>. 2023;17(3):719-748. doi:<a
    href="https://doi.org/10.2140/ant.2023.17.719">10.2140/ant.2023.17.719</a>
  apa: Browning, T. D., &#38; Sawin, W. (2023). Free rational curves on low degree
    hypersurfaces and the circle method. <i>Algebra and Number Theory</i>. Mathematical
    Sciences Publishers. <a href="https://doi.org/10.2140/ant.2023.17.719">https://doi.org/10.2140/ant.2023.17.719</a>
  chicago: Browning, Timothy D, and Will Sawin. “Free Rational Curves on Low Degree
    Hypersurfaces and the Circle Method.” <i>Algebra and Number Theory</i>. Mathematical
    Sciences Publishers, 2023. <a href="https://doi.org/10.2140/ant.2023.17.719">https://doi.org/10.2140/ant.2023.17.719</a>.
  ieee: T. D. Browning and W. Sawin, “Free rational curves on low degree hypersurfaces
    and the circle method,” <i>Algebra and Number Theory</i>, vol. 17, no. 3. Mathematical
    Sciences Publishers, pp. 719–748, 2023.
  ista: Browning TD, Sawin W. 2023. Free rational curves on low degree hypersurfaces
    and the circle method. Algebra and Number Theory. 17(3), 719–748.
  mla: Browning, Timothy D., and Will Sawin. “Free Rational Curves on Low Degree Hypersurfaces
    and the Circle Method.” <i>Algebra and Number Theory</i>, vol. 17, no. 3, Mathematical
    Sciences Publishers, 2023, pp. 719–48, doi:<a href="https://doi.org/10.2140/ant.2023.17.719">10.2140/ant.2023.17.719</a>.
  short: T.D. Browning, W. Sawin, Algebra and Number Theory 17 (2023) 719–748.
corr_author: '1'
date_created: 2023-05-28T22:01:02Z
date_published: 2023-04-12T00:00:00Z
date_updated: 2025-04-14T09:25:44Z
day: '12'
ddc:
- '510'
department:
- _id: TiBr
doi: 10.2140/ant.2023.17.719
external_id:
  arxiv:
  - '1810.06882'
  isi:
  - '000996014700004'
file:
- access_level: open_access
  checksum: 5d5d67b235905650e33cf7065d7583b4
  content_type: application/pdf
  creator: dernst
  date_created: 2023-05-30T08:05:22Z
  date_updated: 2023-05-30T08:05:22Z
  file_id: '13101'
  file_name: 2023_AlgebraNumberTheory_Browning.pdf
  file_size: 1430719
  relation: main_file
  success: 1
file_date_updated: 2023-05-30T08:05:22Z
has_accepted_license: '1'
intvolume: '        17'
isi: 1
issue: '3'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 719-748
project:
- _id: 26A8D266-B435-11E9-9278-68D0E5697425
  grant_number: EP-P026710-2
  name: Between rational and integral points
publication: Algebra and Number Theory
publication_identifier:
  eissn:
  - 1944-7833
  issn:
  - 1937-0652
publication_status: published
publisher: Mathematical Sciences Publishers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Free rational curves on low degree hypersurfaces and the circle method
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: 17
year: '2023'
...
---
_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
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
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
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
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: '13118'
abstract:
- lang: eng
  text: Under high pressures and temperatures, molecular systems with substantial
    polarization charges, such as ammonia and water, are predicted to form superionic
    phases and dense fluid states with dissociating molecules and high electrical
    conductivity. This behaviour potentially plays a role in explaining the origin
    of the multipolar magnetic fields of Uranus and Neptune, whose mantles are thought
    to result from a mixture of H2O, NH3 and CH4 ices. Determining the stability domain,
    melting curve and electrical conductivity of these superionic phases is therefore
    crucial for modelling planetary interiors and dynamos. Here we report the melting
    curve of superionic ammonia up to 300 GPa from laser-driven shock compression
    of pre-compressed samples and atomistic calculations. We show that ammonia melts
    at lower temperatures than water above 100 GPa and that fluid ammonia’s electrical
    conductivity exceeds that of water at conditions predicted by hot, super-adiabatic
    models for Uranus and Neptune, and enhances the conductivity in their fluid water-rich
    dynamo layers.
acknowledgement: We acknowledge the crucial contribution of the LULI2000 laser and
  support teams to the success of the experiments. We also thank S. Brygoo and P.
  Loubeyre for useful discussions. This research was supported by the French National
  Research Agency (ANR) through the projects POMPEI (grant no. ANR-16-CE31-0008) and
  SUPER-ICES (grant ANR-15-CE30-008-01), and by the PLAS@PAR Federation. M.F. and
  R.R. gratefully acknowledge support by the DFG within the Research Unit FOR 2440.
  M.B. was supported by the European Union within the Marie Skłodowska-Curie actions
  (xICE grant 894725) and the NOMIS foundation. The DFT-MD calculations were performed
  at the North-German Supercomputing Alliance facilities.
article_processing_charge: No
article_type: original
author:
- first_name: J.-A.
  full_name: Hernandez, J.-A.
  last_name: Hernandez
- first_name: Mandy
  full_name: Bethkenhagen, Mandy
  id: 201939f4-803f-11ed-ab7e-d8da4bd1517f
  last_name: Bethkenhagen
  orcid: 0000-0002-1838-2129
- first_name: S.
  full_name: Ninet, S.
  last_name: Ninet
- first_name: M.
  full_name: French, M.
  last_name: French
- first_name: A.
  full_name: Benuzzi-Mounaix, A.
  last_name: Benuzzi-Mounaix
- first_name: F.
  full_name: Datchi, F.
  last_name: Datchi
- first_name: M.
  full_name: Guarguaglini, M.
  last_name: Guarguaglini
- first_name: F.
  full_name: Lefevre, F.
  last_name: Lefevre
- first_name: F.
  full_name: Occelli, F.
  last_name: Occelli
- first_name: R.
  full_name: Redmer, R.
  last_name: Redmer
- first_name: T.
  full_name: Vinci, T.
  last_name: Vinci
- first_name: A.
  full_name: Ravasio, A.
  last_name: Ravasio
citation:
  ama: Hernandez J-A, Bethkenhagen M, Ninet S, et al. Melting curve of superionic
    ammonia at planetary interior conditions. <i>Nature Physics</i>. 2023;19:1280-1285.
    doi:<a href="https://doi.org/10.1038/s41567-023-02074-8">10.1038/s41567-023-02074-8</a>
  apa: Hernandez, J.-A., Bethkenhagen, M., Ninet, S., French, M., Benuzzi-Mounaix,
    A., Datchi, F., … Ravasio, A. (2023). Melting curve of superionic ammonia at planetary
    interior conditions. <i>Nature Physics</i>. Springer Nature. <a href="https://doi.org/10.1038/s41567-023-02074-8">https://doi.org/10.1038/s41567-023-02074-8</a>
  chicago: Hernandez, J.-A., Mandy Bethkenhagen, S. Ninet, M. French, A. Benuzzi-Mounaix,
    F. Datchi, M. Guarguaglini, et al. “Melting Curve of Superionic Ammonia at Planetary
    Interior Conditions.” <i>Nature Physics</i>. Springer Nature, 2023. <a href="https://doi.org/10.1038/s41567-023-02074-8">https://doi.org/10.1038/s41567-023-02074-8</a>.
  ieee: J.-A. Hernandez <i>et al.</i>, “Melting curve of superionic ammonia at planetary
    interior conditions,” <i>Nature Physics</i>, vol. 19. Springer Nature, pp. 1280–1285,
    2023.
  ista: Hernandez J-A, Bethkenhagen M, Ninet S, French M, Benuzzi-Mounaix A, Datchi
    F, Guarguaglini M, Lefevre F, Occelli F, Redmer R, Vinci T, Ravasio A. 2023. Melting
    curve of superionic ammonia at planetary interior conditions. Nature Physics.
    19, 1280–1285.
  mla: Hernandez, J. A., et al. “Melting Curve of Superionic Ammonia at Planetary
    Interior Conditions.” <i>Nature Physics</i>, vol. 19, Springer Nature, 2023, pp.
    1280–85, doi:<a href="https://doi.org/10.1038/s41567-023-02074-8">10.1038/s41567-023-02074-8</a>.
  short: J.-A. Hernandez, M. Bethkenhagen, S. Ninet, M. French, A. Benuzzi-Mounaix,
    F. Datchi, M. Guarguaglini, F. Lefevre, F. Occelli, R. Redmer, T. Vinci, A. Ravasio,
    Nature Physics 19 (2023) 1280–1285.
date_created: 2023-06-04T22:01:02Z
date_published: 2023-09-01T00:00:00Z
date_updated: 2024-08-20T05:59:32Z
day: '01'
department:
- _id: BiCh
doi: 10.1038/s41567-023-02074-8
external_id:
  isi:
  - '000996921200001'
intvolume: '        19'
isi: 1
language:
- iso: eng
month: '09'
oa_version: None
page: 1280-1285
publication: Nature Physics
publication_identifier:
  eissn:
  - 1745-2481
  issn:
  - 1745-2473
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1038/s41567-023-02130-3
scopus_import: '1'
status: public
title: Melting curve of superionic ammonia at planetary interior conditions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 19
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
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: '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
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: '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'
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
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'
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
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
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
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: '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
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: '13161'
acknowledgement: Thanks to Jesse Hansen for his suggestions on improving the abstract.
article_processing_charge: No
author:
- first_name: Alois
  full_name: Schlögl, Alois
  id: 45BF87EE-F248-11E8-B48F-1D18A9856A87
  last_name: Schlögl
  orcid: 0000-0002-5621-8100
- first_name: Stefano
  full_name: Elefante, Stefano
  id: 490F40CE-F248-11E8-B48F-1D18A9856A87
  last_name: Elefante
- first_name: Victor-Valentin
  full_name: Hodirnau, Victor-Valentin
  id: 3661B498-F248-11E8-B48F-1D18A9856A87
  last_name: Hodirnau
  orcid: 0000-0003-3904-947X
citation:
  ama: 'Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux
    HPC cluster using WINE. In: <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i>.
    EuroCC; 2023:59-59.'
  apa: 'Schlögl, A., Elefante, S., &#38; Hodirnau, V.-V. (2023). Running Windows-applications
    on a Linux HPC cluster using WINE. In <i>ASHPC23 - Austrian-Slovenian HPC Meeting
    2023</i> (pp. 59–59). Maribor, Slovenia: EuroCC.'
  chicago: Schlögl, Alois, Stefano Elefante, and Victor-Valentin Hodirnau. “Running
    Windows-Applications on a Linux HPC Cluster Using WINE.” In <i>ASHPC23 - Austrian-Slovenian
    HPC Meeting 2023</i>, 59–59. EuroCC, 2023.
  ieee: A. Schlögl, S. Elefante, and V.-V. Hodirnau, “Running Windows-applications
    on a Linux HPC cluster using WINE,” in <i>ASHPC23 - Austrian-Slovenian HPC Meeting
    2023</i>, Maribor, Slovenia, 2023, pp. 59–59.
  ista: 'Schlögl A, Elefante S, Hodirnau V-V. 2023. Running Windows-applications on
    a Linux HPC cluster using WINE. ASHPC23 - Austrian-Slovenian HPC Meeting 2023.
    ASHPC: Austrian-Slovenian HPC Meeting, 59–59.'
  mla: Schlögl, Alois, et al. “Running Windows-Applications on a Linux HPC Cluster
    Using WINE.” <i>ASHPC23 - Austrian-Slovenian HPC Meeting 2023</i>, EuroCC, 2023,
    pp. 59–59.
  short: A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHPC23 - Austrian-Slovenian
    HPC Meeting 2023, EuroCC, 2023, pp. 59–59.
conference:
  end_date: 2023-06-15
  location: Maribor, Slovenia
  name: 'ASHPC: Austrian-Slovenian HPC Meeting'
  start_date: 2023-06-13
corr_author: '1'
date_created: 2023-06-23T11:01:23Z
date_published: 2023-07-01T00:00:00Z
date_updated: 2024-07-16T10:17:09Z
day: '01'
ddc:
- '000'
department:
- _id: ScienComp
- _id: EM-Fac
file:
- access_level: open_access
  checksum: ec8e4295d54171032cdd1b01423eb4a6
  content_type: application/pdf
  creator: dernst
  date_created: 2023-07-18T09:18:55Z
  date_updated: 2023-07-18T09:18:55Z
  file_id: '13249'
  file_name: 2023_ASHPC_Schloegl.pdf
  file_size: 316959
  relation: main_file
  success: 1
file_date_updated: 2023-07-18T09:18:55Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 59-59
publication: ASHPC23 - Austrian-Slovenian HPC Meeting 2023
publication_status: published
publisher: EuroCC
quality_controlled: '1'
status: public
title: Running Windows-applications on a Linux HPC cluster using WINE
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_abstract
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
