---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '20220'
abstract:
- lang: eng
text: Stress granules (SG) are biomolecular condensates that represent an adaptive
response of cells to various stresses, including heat. However, the cell type–specific
function and relevance of SG formation, especially during reproductive development,
are largely not understood. Here, we show that the meiotic A-type cyclin TARDY
ASYNCHRONOUS MEIOSIS (TAM) is recruited to SGs in male meiocytes of Arabidopsis
after exposure to heat. We find that the amino terminus of TAM is necessary and
sufficient for the localization of proteins to meiotic SGs. Swapping the amino
terminus of TAM with the one of its sister protein CYCA1;1 resulted in a separation-of-function
allele of TAM, which prevents the partitioning of TAM to SGs while restoring a
wild-type phenotype in a tam mutant background under nonheat stress conditions.
Notably, plants expressing this TAM version prematurely terminate meiosis under
heat resulting in unreduced gametes. Thus, the formation of TAM-containing SGs
is necessary for genome stability under heat stress.
acknowledged_ssus:
- _id: Bio
acknowledgement: "We thank L. Strader (Duke University, Durham) and A. Holehouse (Washington
University, Saint Louis) for discussion and input in LLPS. We thank T. Nakagawa
(Shimane University, Matsue) for providing the pGWB604 Gateway vector containing
bar gene identified by Meiji Seika Kaisha Ltd. We thank M. Heese (Hamburg University)
for the critical reading and comments on this manuscript. We further thank J. Mehrmann
(Hamburg University) for technical assistance. We thank the ISTA imaging facility
for assistance for microscopy.\r\nThis project has received funding from JST-PRESTO
(JPMJPR18H7), JST-CREST (JPMJCR18H4), European Union’s Horizon 2020 under MSCA grant
101034413, and a federal grant from the state of Hamburg (LFF-BiCon)."
article_processing_charge: Yes
article_type: original
author:
- first_name: Joke G
full_name: De Jaeger-Braet, Joke G
id: 26bd38d3-c59a-11ee-a1af-d7a988cafcc5
last_name: De Jaeger-Braet
- first_name: Merle
full_name: Hartmann, Merle
last_name: Hartmann
- first_name: Lev
full_name: Böttger, Lev
last_name: Böttger
- first_name: Chao
full_name: Yang, Chao
id: 082e3e6e-8069-11ed-8390-c8cce7b1aaca
last_name: Yang
- first_name: Takahiro
full_name: Hamada, Takahiro
last_name: Hamada
- first_name: Stefan
full_name: Hoth, Stefan
last_name: Hoth
- first_name: Xiaoqi
full_name: Feng, Xiaoqi
id: e0164712-22ee-11ed-b12a-d80fcdf35958
last_name: Feng
orcid: 0000-0002-4008-1234
- first_name: Magdalena
full_name: Weingartner, Magdalena
last_name: Weingartner
- first_name: Arp
full_name: Schnittger, Arp
last_name: Schnittger
citation:
ama: De Jaeger-Braet JG, Hartmann M, Böttger L, et al. The recruitment of the A-type
cyclin TAM to stress granules is crucial for meiotic fidelity under heat. Science
Advances. 2025;11(32):eadr5694. doi:10.1126/sciadv.adr5694
apa: De Jaeger-Braet, J. G., Hartmann, M., Böttger, L., Yang, C., Hamada, T., Hoth,
S., … Schnittger, A. (2025). The recruitment of the A-type cyclin TAM to stress
granules is crucial for meiotic fidelity under heat. Science Advances.
AAAS. https://doi.org/10.1126/sciadv.adr5694
chicago: De Jaeger-Braet, Joke G, Merle Hartmann, Lev Böttger, Chao Yang, Takahiro
Hamada, Stefan Hoth, Xiaoqi Feng, Magdalena Weingartner, and Arp Schnittger. “The
Recruitment of the A-Type Cyclin TAM to Stress Granules Is Crucial for Meiotic
Fidelity under Heat.” Science Advances. AAAS, 2025. https://doi.org/10.1126/sciadv.adr5694.
ieee: J. G. De Jaeger-Braet et al., “The recruitment of the A-type cyclin
TAM to stress granules is crucial for meiotic fidelity under heat,” Science
Advances, vol. 11, no. 32. AAAS, p. eadr5694, 2025.
ista: De Jaeger-Braet JG, Hartmann M, Böttger L, Yang C, Hamada T, Hoth S, Feng
X, Weingartner M, Schnittger A. 2025. The recruitment of the A-type cyclin TAM
to stress granules is crucial for meiotic fidelity under heat. Science Advances.
11(32), eadr5694.
mla: De Jaeger-Braet, Joke G., et al. “The Recruitment of the A-Type Cyclin TAM
to Stress Granules Is Crucial for Meiotic Fidelity under Heat.” Science Advances,
vol. 11, no. 32, AAAS, 2025, p. eadr5694, doi:10.1126/sciadv.adr5694.
short: J.G. De Jaeger-Braet, M. Hartmann, L. Böttger, C. Yang, T. Hamada, S. Hoth,
X. Feng, M. Weingartner, A. Schnittger, Science Advances 11 (2025) eadr5694.
date_created: 2025-08-24T22:01:30Z
date_published: 2025-08-08T00:00:00Z
date_updated: 2025-09-30T14:24:10Z
day: '08'
ddc:
- '580'
department:
- _id: XiFe
doi: 10.1126/sciadv.adr5694
ec_funded: 1
external_id:
isi:
- '001549102600016'
file:
- access_level: open_access
checksum: 0f1ae246acc9b075f01bf4afe382c8ba
content_type: application/pdf
creator: dernst
date_created: 2025-09-02T07:05:37Z
date_updated: 2025-09-02T07:05:37Z
file_id: '20270'
file_name: 2025_ScienceAdvance_DeJaegerBraet.pdf
file_size: 10876817
relation: main_file
success: 1
file_date_updated: 2025-09-02T07:05:37Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
issue: '32'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: eadr5694
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: Science Advances
publication_identifier:
eissn:
- 2375-2548
publication_status: published
publisher: AAAS
quality_controlled: '1'
scopus_import: '1'
status: public
title: The recruitment of the A-type cyclin TAM to stress granules is crucial for
meiotic fidelity under heat
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 11
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '20221'
abstract:
- lang: eng
text: We describe the design, synthesis, and single-molecule junction conductance
of π-electron molecules bearing both radial and linear π-conjugation pathways,
whereby cycloparaphenylene (CPP) radial cores are π-extended linearly with aryl
alkyne substituents as models for previously reported CPP-arylene ethynylene conjugated
polymers. Although radially and linearly conjugated molecules have been studied
previously in isolation as junction-bridging molecular electronic units, this
is the first study to examine molecules where both topologies are operative. Our
results reveal that the presence of radial CPP components within the junction-spanning
pathway leads to a reduction in the conductance of the backbone compared to model
linear phenyl substituents. Through tight-binding and DFT-based calculations,
we attribute this conductance change to intramolecular van der Waals (vdW) interactions
between the CPP ring and the junction-spanning arylene-ethynylene molecular backbone.
These interactions induce changes in the dihedral angles of the backbone, leading
to a reduced overlap of π orbitals within the molecular junction.
acknowledgement: We thank Prof. Volker Blum for useful discussions. We thank the Department
of Energy Office of Basic Energy Science (DE-SC0019017) and the National Science
Foundation (NSF-DMR 2241180) for supporting this research. This work was supported
in part by the Institute of Science and Technology Austria.
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Wanzhuo
full_name: Shi, Wanzhuo
id: a3010425-87c8-11f0-8106-bec32bea74da
last_name: Shi
- first_name: Mengjiao
full_name: Wang, Mengjiao
last_name: Wang
- first_name: Latha
full_name: Venkataraman, Latha
id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf
last_name: Venkataraman
orcid: 0000-0002-6957-6089
- first_name: John D.
full_name: Tovar, John D.
last_name: Tovar
citation:
ama: Shi W, Wang M, Venkataraman L, Tovar JD. Single-molecule conductance through
hybrid radially and linearly π-conjugated macromolecules reveals an unusual intramolecular
π-interaction. Nano Letters. 2025;25(31):12101-12106. doi:10.1021/acs.nanolett.5c03693
apa: Shi, W., Wang, M., Venkataraman, L., & Tovar, J. D. (2025). Single-molecule
conductance through hybrid radially and linearly π-conjugated macromolecules reveals
an unusual intramolecular π-interaction. Nano Letters. American Chemical
Society. https://doi.org/10.1021/acs.nanolett.5c03693
chicago: Shi, Wanzhuo, Mengjiao Wang, Latha Venkataraman, and John D. Tovar. “Single-Molecule
Conductance through Hybrid Radially and Linearly π-Conjugated Macromolecules Reveals
an Unusual Intramolecular π-Interaction.” Nano Letters. American Chemical
Society, 2025. https://doi.org/10.1021/acs.nanolett.5c03693.
ieee: W. Shi, M. Wang, L. Venkataraman, and J. D. Tovar, “Single-molecule conductance
through hybrid radially and linearly π-conjugated macromolecules reveals an unusual
intramolecular π-interaction,” Nano Letters, vol. 25, no. 31. American
Chemical Society, pp. 12101–12106, 2025.
ista: Shi W, Wang M, Venkataraman L, Tovar JD. 2025. Single-molecule conductance
through hybrid radially and linearly π-conjugated macromolecules reveals an unusual
intramolecular π-interaction. Nano Letters. 25(31), 12101–12106.
mla: Shi, Wanzhuo, et al. “Single-Molecule Conductance through Hybrid Radially and
Linearly π-Conjugated Macromolecules Reveals an Unusual Intramolecular π-Interaction.”
Nano Letters, vol. 25, no. 31, American Chemical Society, 2025, pp. 12101–06,
doi:10.1021/acs.nanolett.5c03693.
short: W. Shi, M. Wang, L. Venkataraman, J.D. Tovar, Nano Letters 25 (2025) 12101–12106.
corr_author: '1'
date_created: 2025-08-24T22:01:30Z
date_published: 2025-07-24T00:00:00Z
date_updated: 2025-09-30T14:23:39Z
day: '24'
ddc:
- '540'
department:
- _id: LaVe
doi: 10.1021/acs.nanolett.5c03693
external_id:
isi:
- '001537145800001'
pmid:
- '40707400'
file:
- access_level: open_access
checksum: bfc167d8904c0c47c3de2a8d0ec699d5
content_type: application/pdf
creator: dernst
date_created: 2025-09-02T06:50:11Z
date_updated: 2025-09-02T06:50:11Z
file_id: '20269'
file_name: 2025_NanoLetters_Shi.pdf
file_size: 3212706
relation: main_file
success: 1
file_date_updated: 2025-09-02T06:50:11Z
has_accepted_license: '1'
intvolume: ' 25'
isi: 1
issue: '31'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 12101-12106
pmid: 1
publication: Nano Letters
publication_identifier:
eissn:
- 1530-6992
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Single-molecule conductance through hybrid radially and linearly π-conjugated
macromolecules reveals an unusual intramolecular π-interaction
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 25
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '20222'
abstract:
- lang: eng
text: Let X be a smooth projective hypersurface defined over Q. We provide new bounds
for rational points of bounded height on X. In particular, we show that if X is
a smooth projective hypersurface in Pn with n 4 and degree d 50, then the set
of rational points on X of height bounded by B have cardinality On,d,ε (Bn−2+ε
). If X is smooth and has degree d 6, we improve the dimension growth conjecture
bound. We achieve an analogue result for affine hypersurfaces whose projective
closure is smooth.
acknowledgement: "While working on this paper, the author was supported by the European
Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie
Grant Agreement No. 101034413. The author is very grateful to Tim Browning for suggesting
the problem and for many useful discussions. We thank the anonymous referees for
their many helpful comments, which improved the exposition of the paper. We are
also grateful to Gal Binyamini for their interest in this work and for drawing our
attention to the aforementioned paper [1].\r\nWe shared an early version of this
paper with Per Salberger, who mentioned that he announced a new bound for smooth
threefolds in P4 during a talk in 2019 (see [7] for the abstract). This result has
not been published."
article_number: rnaf249
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Matteo
full_name: Verzobio, Matteo
id: 7aa8f170-131e-11ed-88e1-a9efd01027cb
last_name: Verzobio
orcid: 0000-0002-0854-0306
citation:
ama: Verzobio M. Counting rational points on smooth hypersurfaces with high degree.
International Mathematics Research Notices. 2025;2025(16). doi:10.1093/imrn/rnaf249
apa: Verzobio, M. (2025). Counting rational points on smooth hypersurfaces with
high degree. International Mathematics Research Notices. Oxford University
Press. https://doi.org/10.1093/imrn/rnaf249
chicago: Verzobio, Matteo. “Counting Rational Points on Smooth Hypersurfaces with
High Degree.” International Mathematics Research Notices. Oxford University
Press, 2025. https://doi.org/10.1093/imrn/rnaf249.
ieee: M. Verzobio, “Counting rational points on smooth hypersurfaces with high degree,”
International Mathematics Research Notices, vol. 2025, no. 16. Oxford University
Press, 2025.
ista: Verzobio M. 2025. Counting rational points on smooth hypersurfaces with high
degree. International Mathematics Research Notices. 2025(16), rnaf249.
mla: Verzobio, Matteo. “Counting Rational Points on Smooth Hypersurfaces with High
Degree.” International Mathematics Research Notices, vol. 2025, no. 16,
rnaf249, Oxford University Press, 2025, doi:10.1093/imrn/rnaf249.
short: M. Verzobio, International Mathematics Research Notices 2025 (2025).
corr_author: '1'
date_created: 2025-08-24T22:01:31Z
date_published: 2025-08-01T00:00:00Z
date_updated: 2025-09-30T14:26:34Z
day: '01'
ddc:
- '510'
department:
- _id: TiBr
doi: 10.1093/imrn/rnaf249
ec_funded: 1
external_id:
arxiv:
- '2503.19451'
isi:
- '001549126000001'
file:
- access_level: open_access
checksum: 482ae2be98841ee446cf2bdfcd79f86f
content_type: application/pdf
creator: dernst
date_created: 2025-09-02T07:55:05Z
date_updated: 2025-09-02T07:55:05Z
file_id: '20275'
file_name: 2025_IMRN_Verzobio.pdf
file_size: 540263
relation: main_file
success: 1
file_date_updated: 2025-09-02T07:55:05Z
has_accepted_license: '1'
intvolume: ' 2025'
isi: 1
issue: '16'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: International Mathematics Research Notices
publication_identifier:
eissn:
- 1687-0247
issn:
- 1073-7928
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Counting rational points on smooth hypersurfaces with high degree
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 2025
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '20223'
abstract:
- lang: eng
text: The first influential hypothesis for sex chromosome evolution was proposed
in 1914 by H. J. Muller, who argued that once recombination was suppressed between
the X and Y chromosomes, Y-linked genes become “sheltered” from selection, leading
to accumulation of recessive loss-of-function (LOF) mutations and decay of Y-linked
genes. The hypothesis fell out of favor in the 1970s because early mathematical
models failed to support it and data on the dominance of lethal mutations were
viewed as incompatible with the hypothesis. We reevaluate the main arguments against
Muller's hypothesis and find that they do not conclusively exclude a role for
sheltering in sex chromosome evolution. By relaxing restrictive assumptions of
earlier models, we show that sheltering promotes fixation of LOF mutations with
sexually dimorphic fitness effects, resulting in decay of X-linked genes that
are exclusively expressed by males and Y-linked genes that are primarily, though
not necessarily exclusively, expressed by females. We further show that drift
and other processes contributing to Y degeneration (i.e. selective interference
and regulatory evolution) expand conditions of Y-linked gene loss by sheltering.
The actual contribution of sheltering to sex chromosome evolution hinges upon
the distribution of dominance and sex-specific fitness effects of LOF mutations,
which we discuss.
acknowledged_ssus:
- _id: ScienComp
acknowledgement: We thank Filip Ruzicka, Colin Olito, Akane Uesugi, Melissa Toups,
Daniel Jeffries, the Associate Editor, and anonymous reviewers, for comments and
suggestions on earlier versions of the paper. We are particularly grateful to Deborah
Charlesworth and Brian Charlesworth for extensive comments on two different drafts
of the manuscript. We also thank Aneil Agrawal and Thomas Lenormand for email correspondence
about the data on dominance and ways to interpret it. Technical support was provided
by ISTA Scientific Computing Unit.
article_number: msaf177
article_processing_charge: Yes
article_type: original
author:
- first_name: Andrea
full_name: Mrnjavac, Andrea
id: 353FAC84-AE61-11E9-8BFC-00D3E5697425
last_name: Mrnjavac
- first_name: Beatriz
full_name: Vicoso, Beatriz
id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
last_name: Vicoso
orcid: 0000-0002-4579-8306
- first_name: Tim
full_name: Connallon, Tim
last_name: Connallon
citation:
ama: Mrnjavac A, Vicoso B, Connallon T. An extension of Muller’s sheltering hypothesis
for the evolution of sex chromosome gene content. Molecular Biology and Evolution.
2025;42(8). doi:10.1093/molbev/msaf177
apa: Mrnjavac, A., Vicoso, B., & Connallon, T. (2025). An extension of Muller’s
sheltering hypothesis for the evolution of sex chromosome gene content. Molecular
Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msaf177
chicago: Mrnjavac, Andrea, Beatriz Vicoso, and Tim Connallon. “An Extension of Muller’s
Sheltering Hypothesis for the Evolution of Sex Chromosome Gene Content.” Molecular
Biology and Evolution. Oxford University Press, 2025. https://doi.org/10.1093/molbev/msaf177.
ieee: A. Mrnjavac, B. Vicoso, and T. Connallon, “An extension of Muller’s sheltering
hypothesis for the evolution of sex chromosome gene content,” Molecular Biology
and Evolution, vol. 42, no. 8. Oxford University Press, 2025.
ista: Mrnjavac A, Vicoso B, Connallon T. 2025. An extension of Muller’s sheltering
hypothesis for the evolution of sex chromosome gene content. Molecular Biology
and Evolution. 42(8), msaf177.
mla: Mrnjavac, Andrea, et al. “An Extension of Muller’s Sheltering Hypothesis for
the Evolution of Sex Chromosome Gene Content.” Molecular Biology and Evolution,
vol. 42, no. 8, msaf177, Oxford University Press, 2025, doi:10.1093/molbev/msaf177.
short: A. Mrnjavac, B. Vicoso, T. Connallon, Molecular Biology and Evolution 42
(2025).
date_created: 2025-08-24T22:01:31Z
date_published: 2025-08-01T00:00:00Z
date_updated: 2025-09-30T14:25:57Z
day: '01'
ddc:
- '570'
department:
- _id: BeVi
doi: 10.1093/molbev/msaf177
external_id:
isi:
- '001547617100001'
pmid:
- '40713898'
file:
- access_level: open_access
checksum: f40abffa56cb1e9ff65800f2a7d7b39a
content_type: application/pdf
creator: dernst
date_created: 2025-09-02T07:47:32Z
date_updated: 2025-09-02T07:47:32Z
file_id: '20274'
file_name: 2025_MolecularBioEvolution_Mrnjavac.pdf
file_size: 1239841
relation: main_file
success: 1
file_date_updated: 2025-09-02T07:47:32Z
has_accepted_license: '1'
intvolume: ' 42'
isi: 1
issue: '8'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: Molecular Biology and Evolution
publication_identifier:
eissn:
- 1537-1719
issn:
- 0737-4038
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://git.ista.ac.at/bvicoso/xydegenerate
scopus_import: '1'
status: public
title: An extension of Muller's sheltering hypothesis for the evolution of sex chromosome
gene content
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 42
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '20224'
abstract:
- lang: eng
text: "Traffic in datacenters may follow some pattern: some pairs of servers communicate
more frequently than others. Demand-oblivious networks may perform poorly for
such workloads, and demand-aware networks optimized for traffic should be used
instead. Unfortunately, not all shapes of networks are feasible in real hardware.
Practical limitations are usually provided in the form of a topology. For example,
a network may be required to be a binary tree, a bounded-degree graph or a Fat
tree.\r\nIn this work, we consider a topology of a binary tree, one of the most
fundamental network topologies. We show that already finding an optimal demand-aware
binary tree network is NP-hard. Then, we explore how various optimization techniques,
including simple local searches, as well as deterministic mutation and crossover
operators, cope with generating efficient tree networks on real-life and synthetic
workloads."
acknowledgement: Research was supported by the German Research Foundation (DFG), grant
470029389 (FlexNets).
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Pavel
full_name: Martynov, Pavel
last_name: Martynov
- first_name: Maxim
full_name: Buzdalov, Maxim
last_name: Buzdalov
- first_name: Sergei
full_name: Pankratov, Sergei
id: f773bf05-72ef-11ef-b75a-a383d22f454b
last_name: Pankratov
- first_name: Vitaliy
full_name: Aksenov, Vitaliy
last_name: Aksenov
- first_name: Stefan
full_name: Schmid, Stefan
last_name: Schmid
citation:
ama: 'Martynov P, Buzdalov M, Pankratov S, Aksenov V, Schmid S. In the search of
optimal tree networks: Hardness and heuristics. In: Proceedings of the 2025
Genetic and Evolutionary Computation Conference. Association for Computing
Machinery; 2025:249-257. doi:10.1145/3712256.3726425'
apa: 'Martynov, P., Buzdalov, M., Pankratov, S., Aksenov, V., & Schmid, S. (2025).
In the search of optimal tree networks: Hardness and heuristics. In Proceedings
of the 2025 Genetic and Evolutionary Computation Conference (pp. 249–257).
Malaga, Spain: Association for Computing Machinery. https://doi.org/10.1145/3712256.3726425'
chicago: 'Martynov, Pavel, Maxim Buzdalov, Sergei Pankratov, Vitaliy Aksenov, and
Stefan Schmid. “In the Search of Optimal Tree Networks: Hardness and Heuristics.”
In Proceedings of the 2025 Genetic and Evolutionary Computation Conference,
249–57. Association for Computing Machinery, 2025. https://doi.org/10.1145/3712256.3726425.'
ieee: 'P. Martynov, M. Buzdalov, S. Pankratov, V. Aksenov, and S. Schmid, “In the
search of optimal tree networks: Hardness and heuristics,” in Proceedings of
the 2025 Genetic and Evolutionary Computation Conference, Malaga, Spain, 2025,
pp. 249–257.'
ista: 'Martynov P, Buzdalov M, Pankratov S, Aksenov V, Schmid S. 2025. In the search
of optimal tree networks: Hardness and heuristics. Proceedings of the 2025 Genetic
and Evolutionary Computation Conference. GECCO: Genetic and evolutionary computation
conference, 249–257.'
mla: 'Martynov, Pavel, et al. “In the Search of Optimal Tree Networks: Hardness
and Heuristics.” Proceedings of the 2025 Genetic and Evolutionary Computation
Conference, Association for Computing Machinery, 2025, pp. 249–57, doi:10.1145/3712256.3726425.'
short: P. Martynov, M. Buzdalov, S. Pankratov, V. Aksenov, S. Schmid, in:, Proceedings
of the 2025 Genetic and Evolutionary Computation Conference, Association for Computing
Machinery, 2025, pp. 249–257.
conference:
end_date: 2025-07-18
location: Malaga, Spain
name: 'GECCO: Genetic and evolutionary computation conference'
start_date: 2025-07-14
date_created: 2025-08-24T22:01:31Z
date_published: 2025-07-13T00:00:00Z
date_updated: 2025-12-01T12:35:24Z
day: '13'
ddc:
- '000'
department:
- _id: DaAl
doi: 10.1145/3712256.3726425
external_id:
isi:
- '001556459900031'
file:
- access_level: open_access
checksum: 7e513fa508cff7e8a0d33f50b1fe09af
content_type: application/pdf
creator: dernst
date_created: 2025-09-02T07:41:13Z
date_updated: 2025-09-02T07:41:13Z
file_id: '20273'
file_name: 2025_GECCO_Martynov.pdf
file_size: 608996
relation: main_file
success: 1
file_date_updated: 2025-09-02T07:41:13Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 249-257
publication: Proceedings of the 2025 Genetic and Evolutionary Computation Conference
publication_identifier:
isbn:
- '9798400714658'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'In the search of optimal tree networks: Hardness and heuristics'
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '20225'
abstract:
- lang: eng
text: "We present the first supermartingale certificate for quantitative \r\n-regular
properties of discrete-time infinite-state stochastic systems. Our certificate
is defined on the product of the stochastic system and a limit-deterministic Büchi
automaton that specifies the property of interest; hence we call it a limit-deterministic
Büchi supermartingale (LDBSM). Previously known supermartingale certificates applied
only to quantitative reachability, safety, or reach-avoid properties, and to qualitative
(i.e., probability 1) \r\n-regular properties.We also present fully automated
algorithms for the template-based synthesis of LDBSMs, for the case when the stochastic
system dynamics and the controller can be represented in terms of polynomial inequalities.
Our experiments demonstrate the ability of our method to solve verification and
control tasks for stochastic systems that were beyond the reach of previous supermartingale-based
approaches."
acknowledgement: This work was supported in part by the Singapore Ministry of Education
(MOE) Academic Research Fund (AcRF) Tier 1 grant (Project ID:22-SIS-SMU-100) and
the ERC project ERC-2020-AdG 101020093.
alternative_title:
- LNCS
article_processing_charge: Yes (in subscription journal)
arxiv: 1
author:
- 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: Kaushik
full_name: Mallik, Kaushik
id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
last_name: Mallik
orcid: 0000-0001-9864-7475
- first_name: Pouya
full_name: Sadeghi, Pouya
last_name: Sadeghi
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
citation:
ama: 'Henzinger TA, Mallik K, Sadeghi P, Zikelic D. Supermartingale certificates
for quantitative omega-regular verification and control. In: 37th International
Conference on Computer Aided Verification. Vol 15932. Springer Nature; 2025:29-55.
doi:10.1007/978-3-031-98679-6_2'
apa: 'Henzinger, T. A., Mallik, K., Sadeghi, P., & Zikelic, D. (2025). Supermartingale
certificates for quantitative omega-regular verification and control. In 37th
International Conference on Computer Aided Verification (Vol. 15932, pp. 29–55).
Zagreb, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-98679-6_2'
chicago: Henzinger, Thomas A, Kaushik Mallik, Pouya Sadeghi, and Dorde Zikelic.
“Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.”
In 37th International Conference on Computer Aided Verification, 15932:29–55.
Springer Nature, 2025. https://doi.org/10.1007/978-3-031-98679-6_2.
ieee: T. A. Henzinger, K. Mallik, P. Sadeghi, and D. Zikelic, “Supermartingale certificates
for quantitative omega-regular verification and control,” in 37th International
Conference on Computer Aided Verification, Zagreb, Croatia, 2025, vol. 15932,
pp. 29–55.
ista: 'Henzinger TA, Mallik K, Sadeghi P, Zikelic D. 2025. Supermartingale certificates
for quantitative omega-regular verification and control. 37th International Conference
on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 15932,
29–55.'
mla: Henzinger, Thomas A., et al. “Supermartingale Certificates for Quantitative
Omega-Regular Verification and Control.” 37th International Conference on Computer
Aided Verification, vol. 15932, Springer Nature, 2025, pp. 29–55, doi:10.1007/978-3-031-98679-6_2.
short: T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International
Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
conference:
end_date: 2025-07-25
location: Zagreb, Croatia
name: 'CAV: Computer Aided Verification'
start_date: 2025-07-23
date_created: 2025-08-24T22:01:31Z
date_published: 2025-07-22T00:00:00Z
date_updated: 2025-12-01T12:34:41Z
day: '22'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-031-98679-6_2
ec_funded: 1
external_id:
arxiv:
- '2505.18833'
isi:
- '001562506600002'
file:
- access_level: open_access
checksum: beb1e2637de5b2268cc2262119439113
content_type: application/pdf
creator: dernst
date_created: 2025-09-02T07:34:33Z
date_updated: 2025-09-02T07:34:33Z
file_id: '20272'
file_name: 2025_CAV_HenzingerT.pdf
file_size: 884831
relation: main_file
success: 1
file_date_updated: 2025-09-02T07:34:33Z
has_accepted_license: '1'
intvolume: ' 15932'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 29-55
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 37th International Conference on Computer Aided Verification
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031986789'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Supermartingale certificates for quantitative omega-regular verification and control
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15932
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '20249'
abstract:
- lang: eng
text: We develop a heuristic for the density of integer points on affine cubic surfaces.
Our heuristic applies to smooth surfaces defined by cubic polynomials that are
log K3, but it can also be adjusted to handle singular cubic surfaces. We compare
our heuristic to Heath-Brown’s prediction for sums of three cubes, as well as
to asymptotic formulae in the literature around Zagier’s work on the Markoff cubic
surface, and work of Baragar and Umeda on further surfaces of Markoff-type. We
also test our heuristic against numerical data for several families of cubic surfaces.
acknowledgement: "The authors owe a debt of thanks to Yonatan Harpaz for asking about
circle method heuristics for log K3 surfaces. His contribution to the resulting
discussion is gratefully acknowledged. Thanks are also due to Andrew Sutherland
for help with numerical data for the equation x^3 + y^3 + z^3 = 1, together with
Alex Gamburd, Amit Ghosh, Peter Sarnak and Matteo Verzobio for their interest in
this paper. Special thanks are due to Victor Wang for helpful conversations about
the circle method heuristics and to the anonymous referee for several useful comments.
While working on this paper, the authors were supported by a FWF grant (DOI 10.55776/P32428),
and the first author was supported by a further FWF grant (DOI 10.55776/P36278)
and a grant from the School of Mathematics at the Institute for Advanced Study in
Princeton.\r\nOpen access funding provided by Institute of Science and Technology
(IST Austria)."
article_number: '81'
article_processing_charge: Yes (via OA deal)
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: Florian Alexander
full_name: Wilsch, Florian Alexander
id: 560601DA-8D36-11E9-A136-7AC1E5697425
last_name: Wilsch
orcid: 0000-0001-7302-8256
citation:
ama: 'Browning TD, Wilsch FA. Integral points on cubic surfaces: heuristics and
numerics. Selecta Mathematica New Series. 2025;31(4). doi:10.1007/s00029-025-01074-1'
apa: 'Browning, T. D., & Wilsch, F. A. (2025). Integral points on cubic surfaces:
heuristics and numerics. Selecta Mathematica New Series. Springer Nature.
https://doi.org/10.1007/s00029-025-01074-1'
chicago: 'Browning, Timothy D, and Florian Alexander Wilsch. “Integral Points on
Cubic Surfaces: Heuristics and Numerics.” Selecta Mathematica New Series.
Springer Nature, 2025. https://doi.org/10.1007/s00029-025-01074-1.'
ieee: 'T. D. Browning and F. A. Wilsch, “Integral points on cubic surfaces: heuristics
and numerics,” Selecta Mathematica New Series, vol. 31, no. 4. Springer
Nature, 2025.'
ista: 'Browning TD, Wilsch FA. 2025. Integral points on cubic surfaces: heuristics
and numerics. Selecta Mathematica New Series. 31(4), 81.'
mla: 'Browning, Timothy D., and Florian Alexander Wilsch. “Integral Points on Cubic
Surfaces: Heuristics and Numerics.” Selecta Mathematica New Series, vol.
31, no. 4, 81, Springer Nature, 2025, doi:10.1007/s00029-025-01074-1.'
short: T.D. Browning, F.A. Wilsch, Selecta Mathematica New Series 31 (2025).
corr_author: '1'
date_created: 2025-08-31T22:01:31Z
date_published: 2025-09-01T00:00:00Z
date_updated: 2025-09-30T14:29:25Z
day: '01'
ddc:
- '500'
department:
- _id: TiBr
doi: 10.1007/s00029-025-01074-1
external_id:
arxiv:
- '2407.16315'
isi:
- '001552779800001'
file:
- access_level: open_access
checksum: 89352f1f7e8d2b367ae5f4e9bf9eb1f5
content_type: application/pdf
creator: dernst
date_created: 2025-09-03T06:44:44Z
date_updated: 2025-09-03T06:44:44Z
file_id: '20281'
file_name: 2025_SelectaMathematica_Browning.pdf
file_size: 2484757
relation: main_file
success: 1
file_date_updated: 2025-09-03T06:44:44Z
has_accepted_license: '1'
intvolume: ' 31'
isi: 1
issue: '4'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 26AEDAB2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P32428
name: New frontiers of the Manin conjecture
- _id: bd8a4fdc-d553-11ed-ba76-80a0167441a3
grant_number: P36278
name: Rational curves via function field analytic number theory
publication: Selecta Mathematica New Series
publication_identifier:
eissn:
- 1420-9020
issn:
- 1022-1824
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Integral points on cubic surfaces: heuristics and numerics'
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 31
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '20250'
abstract:
- lang: eng
text: "Population III stars are possible precursors to early supermassive black
holes (BHs). The presence of soft UV Lyman–Werner (LW) background radiation can
suppress Population III star formation in minihaloes and allow them to form in
pristine atomic-cooling haloes. In the absence of molecular hydrogen (H2) cooling,
atomic-cooling haloes enable rapid collapse with suppressed fragmentation. High
background LW fluxes from preceding star-formation have been proposed to dissociate
H2. This flux can be supplemented by LW radiation from one or more Population
III star(s) in the same halo, reducing the necessary background level. Here, we
consider atomic-cooling haloes in which multiple protostellar cores form close
to one another nearly simultaneously. We assess whether the first star’s LW radiation
can dissociate nearby \r\n, enabling rapid accretion on to a nearby protostellar
core, and the prompt formation of a second, supermassive star (SMS) from warm,
atomically-cooled gas. We use a set of hydrodynamical simulations with the code
enzo, with identical LW backgrounds centred on a halo with two adjacent collapsing
gas clumps. When an additional large local LW flux is introduced, we observe immediate
reductions in both the accretion rates and the stellar masses that form within
these clumps. While the LW flux reduces the H2 fraction and increases the gas
temperature, the halo core’s potential well is too shallow to promptly heat the
gas to >1000 K and increase the second protostar’s accretion rate. We conclude
that this internal LW feedback scenario is unlikely to facilitate SMS or massive
BH seed formation."
acknowledgement: We thank the anonymous referee for comments that helped us improve
the clarity of this manuscript. We acknowledge support from the United States National
Science Foundation (NSF) grant AST-2006176 and the National Aeronautics and Space
Administration (NASA) grants 80NSSC24K0440 and 80NSSC22K0822 (ZH). We also acknowledge
support from NSF grant AST-2009309, NASA Astrophysics Theory Program grant 80NSSC22K0629,
and Space Telescope Science Institute grant JWST-AR-05238 (EV). The simulations
in this work were run on Texas Advanced Computing Center’s Stampede2 and Stampede3
systems. We used Stampede2 and Purdue University’s computing system Anvil for data
analysis.
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: James
full_name: Sullivan, James
last_name: Sullivan
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
orcid: 0000-0003-3633-5403
- first_name: Mihir
full_name: Kulkarni, Mihir
last_name: Kulkarni
- first_name: Eli
full_name: Visbal, Eli
last_name: Visbal
citation:
ama: Sullivan J, Haiman Z, Kulkarni M, Visbal E. Can supermassive stars form in
protogalaxies due to internal Lyman-Werner feedback? Monthly Notices of the
Royal Astronomical Society. 2025;542(2):822-838. doi:10.1093/mnras/staf1269
apa: Sullivan, J., Haiman, Z., Kulkarni, M., & Visbal, E. (2025). Can supermassive
stars form in protogalaxies due to internal Lyman-Werner feedback? Monthly
Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/staf1269
chicago: Sullivan, James, Zoltán Haiman, Mihir Kulkarni, and Eli Visbal. “Can Supermassive
Stars Form in Protogalaxies Due to Internal Lyman-Werner Feedback?” Monthly
Notices of the Royal Astronomical Society. Oxford University Press, 2025.
https://doi.org/10.1093/mnras/staf1269.
ieee: J. Sullivan, Z. Haiman, M. Kulkarni, and E. Visbal, “Can supermassive stars
form in protogalaxies due to internal Lyman-Werner feedback?,” Monthly Notices
of the Royal Astronomical Society, vol. 542, no. 2. Oxford University Press,
pp. 822–838, 2025.
ista: Sullivan J, Haiman Z, Kulkarni M, Visbal E. 2025. Can supermassive stars form
in protogalaxies due to internal Lyman-Werner feedback? Monthly Notices of the
Royal Astronomical Society. 542(2), 822–838.
mla: Sullivan, James, et al. “Can Supermassive Stars Form in Protogalaxies Due to
Internal Lyman-Werner Feedback?” Monthly Notices of the Royal Astronomical
Society, vol. 542, no. 2, Oxford University Press, 2025, pp. 822–38, doi:10.1093/mnras/staf1269.
short: J. Sullivan, Z. Haiman, M. Kulkarni, E. Visbal, Monthly Notices of the Royal
Astronomical Society 542 (2025) 822–838.
date_created: 2025-08-31T22:01:31Z
date_published: 2025-09-01T00:00:00Z
date_updated: 2025-09-30T14:28:05Z
day: '01'
ddc:
- '520'
department:
- _id: ZoHa
doi: 10.1093/mnras/staf1269
external_id:
arxiv:
- '2501.12986'
isi:
- '001553472000001'
file:
- access_level: open_access
checksum: 2a06796b27da0b33d479dba170ba4b3f
content_type: application/pdf
creator: dernst
date_created: 2025-09-03T05:44:47Z
date_updated: 2025-09-03T05:44:47Z
file_id: '20279'
file_name: 2025_MonthlyNoticesRAS_Sullivan.pdf
file_size: 2780496
relation: main_file
success: 1
file_date_updated: 2025-09-03T05:44:47Z
has_accepted_license: '1'
intvolume: ' 542'
isi: 1
issue: '2'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 822-838
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
eissn:
- 1365-2966
issn:
- 0035-8711
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Can supermassive stars form in protogalaxies due to internal Lyman-Werner feedback?
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 542
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '20251'
abstract:
- lang: eng
text: The Lane–Emden inequality controls (math. formular) in terms of the L^1 and
L^p norms of p. We provide a remainder estimate for this inequality in terms of
a suitable distance of p to the manifold of optimizers.
acknowledgement: We are grateful to Rupert Frank and Enno Lenzmann for helpful discussions.
article_number: '226'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Eric
full_name: Carlen, Eric
last_name: Carlen
- first_name: Mathieu
full_name: Lewin, Mathieu
last_name: Lewin
- first_name: Elliott H.
full_name: Lieb, Elliott H.
last_name: Lieb
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Carlen E, Lewin M, Lieb EH, Seiringer R. Stability estimate for the Lane–Emden
inequality. Calculus of Variations and Partial Differential Equations.
2025;64(7). doi:10.1007/s00526-025-03062-x
apa: Carlen, E., Lewin, M., Lieb, E. H., & Seiringer, R. (2025). Stability estimate
for the Lane–Emden inequality. Calculus of Variations and Partial Differential
Equations. Springer Nature. https://doi.org/10.1007/s00526-025-03062-x
chicago: Carlen, Eric, Mathieu Lewin, Elliott H. Lieb, and Robert Seiringer. “Stability
Estimate for the Lane–Emden Inequality.” Calculus of Variations and Partial
Differential Equations. Springer Nature, 2025. https://doi.org/10.1007/s00526-025-03062-x.
ieee: E. Carlen, M. Lewin, E. H. Lieb, and R. Seiringer, “Stability estimate for
the Lane–Emden inequality,” Calculus of Variations and Partial Differential
Equations, vol. 64, no. 7. Springer Nature, 2025.
ista: Carlen E, Lewin M, Lieb EH, Seiringer R. 2025. Stability estimate for the
Lane–Emden inequality. Calculus of Variations and Partial Differential Equations.
64(7), 226.
mla: Carlen, Eric, et al. “Stability Estimate for the Lane–Emden Inequality.” Calculus
of Variations and Partial Differential Equations, vol. 64, no. 7, 226, Springer
Nature, 2025, doi:10.1007/s00526-025-03062-x.
short: E. Carlen, M. Lewin, E.H. Lieb, R. Seiringer, Calculus of Variations and
Partial Differential Equations 64 (2025).
date_created: 2025-08-31T22:01:31Z
date_published: 2025-09-01T00:00:00Z
date_updated: 2025-09-30T14:27:35Z
day: '01'
department:
- _id: RoSe
doi: 10.1007/s00526-025-03062-x
external_id:
arxiv:
- '2410.20113'
isi:
- '001558641300006'
intvolume: ' 64'
isi: 1
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2410.20113
month: '09'
oa: 1
oa_version: Preprint
publication: Calculus of Variations and Partial Differential Equations
publication_identifier:
eissn:
- 1432-0835
issn:
- 0944-2669
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Stability estimate for the Lane–Emden inequality
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 64
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '20252'
abstract:
- lang: eng
text: Zirconia nanocrystals (ZrO2 NCs) are a stable host material for lanthanides,
but their performance lags behind that of the leading NaYF4 nanomaterials. Here,
we leverage surface chemistry and core/shell architectures to uncover the contribution
of dopants at the nanocrystal surface and of dopants in the nanocrystal bulk.
We first assess the doping efficiency by ICP and find that, while Eu is almost
quantitatively incorporated, the other lanthanides (La, Ce, Tb, Tm, Er, Yb) have
about 50% incorporation efficiency over the studied doping range of 1–10%. We
then determine the nanocrystal surface chemistry using NMR spectroscopy, despite
the additional spectral line broadening caused by the paramagnetic lanthanide
dopants. By varying the surface ligands and measuring the photoluminescence, we
resolve the spectroscopic signals that are sensitive to a change in surface chemistry.
Time-resolved emission spectra further reinforce the notion of a bulk component
with a long luminescent lifetime and a surface component with a fast lifetime.
Upon shelling Eu- or Tb-doped zirconia NCs with pure zirconia, the surface component
disappears, and the photoluminescence quantum yield increases. We further functionalized
the surface of the core/shell particles with oleylphosphonic acid ligands to obtain
excellent dispersibility. These results show that lanthanide-doped zirconia NCs
can be engineered to eliminate deactivation pathways.
acknowledged_ssus:
- _id: EM-Fac
acknowledgement: N.R. and C.S. thank the SNSF Eccellenza funding scheme (Project 194172)
for funding. D.V.d.H. is supported by the Research Foundation Flanders (FWO) through
a Senior Postdoctoral Research Fellowship (N° 1237825N). P.F.S. acknowledges the
Special Research Fund at UGent (bof/baf/4y/2024/01/037). M.I. acknowledges financial
support from ISTA and the Werner Siemens Foundation. This research was supported
by the Scientific Service Units (SSU) of ISTA Austria through resources provided
by the electron microscopy facility (EMF). We thank Tommaso Costanzo for providing
assistance during STEM measurements. We acknowledge DESY (Hamburg, Germany), a member
of the Helmholtz Association HGF, for the provision of experimental facilities.
Parts of this research were carried out using beamline P21.1 at PETRA III, and the
authors thank Ann-Christin Dippel, Jiatu Liu, and Fernando Igoa for assistance in
using the beamline for PDF acquisition (Proposal I-20231114 EC). The authors thank
Daniel Häussinger for help with the analysis of NMR spectra.
article_processing_charge: No
article_type: original
author:
- first_name: Nico
full_name: Reichholf, Nico
last_name: Reichholf
- first_name: Sharona
full_name: Horta, Sharona
id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc
last_name: Horta
- first_name: David
full_name: Van Der Heggen, David
last_name: Van Der Heggen
- first_name: Carlotta
full_name: Seno, Carlotta
last_name: Seno
- first_name: Jikson
full_name: Pulparayil Mathew, Jikson
last_name: Pulparayil Mathew
- 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: Philippe F.
full_name: Smet, Philippe F.
last_name: Smet
- first_name: Jonathan
full_name: De Roo, Jonathan
last_name: De Roo
citation:
ama: Reichholf N, Horta S, Van Der Heggen D, et al. Identification and elimination
of surface emission in lanthanide (Co)doped zirconia nanocrystals. ACS Nano.
2025;19(33):30371-30382. doi:10.1021/acsnano.5c09137
apa: Reichholf, N., Horta, S., Van Der Heggen, D., Seno, C., Pulparayil Mathew,
J., Ibáñez, M., … De Roo, J. (2025). Identification and elimination of surface
emission in lanthanide (Co)doped zirconia nanocrystals. ACS Nano. American
Chemical Society. https://doi.org/10.1021/acsnano.5c09137
chicago: Reichholf, Nico, Sharona Horta, David Van Der Heggen, Carlotta Seno, Jikson
Pulparayil Mathew, Maria Ibáñez, Philippe F. Smet, and Jonathan De Roo. “Identification
and Elimination of Surface Emission in Lanthanide (Co)Doped Zirconia Nanocrystals.”
ACS Nano. American Chemical Society, 2025. https://doi.org/10.1021/acsnano.5c09137.
ieee: N. Reichholf et al., “Identification and elimination of surface emission
in lanthanide (Co)doped zirconia nanocrystals,” ACS Nano, vol. 19, no.
33. American Chemical Society, pp. 30371–30382, 2025.
ista: Reichholf N, Horta S, Van Der Heggen D, Seno C, Pulparayil Mathew J, Ibáñez
M, Smet PF, De Roo J. 2025. Identification and elimination of surface emission
in lanthanide (Co)doped zirconia nanocrystals. ACS Nano. 19(33), 30371–30382.
mla: Reichholf, Nico, et al. “Identification and Elimination of Surface Emission
in Lanthanide (Co)Doped Zirconia Nanocrystals.” ACS Nano, vol. 19, no.
33, American Chemical Society, 2025, pp. 30371–82, doi:10.1021/acsnano.5c09137.
short: N. Reichholf, S. Horta, D. Van Der Heggen, C. Seno, J. Pulparayil Mathew,
M. Ibáñez, P.F. Smet, J. De Roo, ACS Nano 19 (2025) 30371–30382.
date_created: 2025-08-31T22:01:31Z
date_published: 2025-08-26T00:00:00Z
date_updated: 2025-09-30T14:27:03Z
day: '26'
department:
- _id: MaIb
doi: 10.1021/acsnano.5c09137
external_id:
isi:
- '001550173000001'
intvolume: ' 19'
isi: 1
issue: '33'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.26434/chemrxiv-2025-r1gw4
month: '08'
oa: 1
oa_version: Preprint
page: 30371-30382
project:
- _id: 9B8F7476-BA93-11EA-9121-9846C619BF3A
name: 'HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of
Semiconductors for Waste Heat Recovery'
publication: ACS Nano
publication_identifier:
eissn:
- 1936-086X
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Identification and elimination of surface emission in lanthanide (Co)doped
zirconia nanocrystals
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 19
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '20253'
abstract:
- lang: eng
text: "A quantitative word automaton (QWA) defines a function from infinite words
to values. For example, every infinite run of a limit-average QWA \U0001D49C obtains
a mean payoff, and every word w ∈ Σ^ω is assigned the maximal mean payoff obtained
by nondeterministic runs of \U0001D49C over w. We introduce quantitative language
automata (QLAs) that define functions from language generators (i.e., implementations)
to values, where a language generator can be nonprobabilistic, defining a set
of infinite words, or probabilistic, defining a probability measure over infinite
words. A QLA consists of a QWA and an aggregator function. For example, given
a QWA \U0001D49C, the infimum aggregator maps each language L ⊆ Σ^ω to the greatest
lower bound assigned by \U0001D49C to any word in L. For boolean value sets, QWAs
define boolean properties of traces, and QLAs define boolean properties of sets
of traces, i.e., hyperproperties. For more general value sets, QLAs serve as a
specification language for a generalization of hyperproperties, called quantitative
hyperproperties. A nonprobabilistic (resp. probabilistic) quantitative hyperproperty
assigns a value to each set (resp. distribution) G of traces, e.g., the minimal
(resp. expected) average response time exhibited by the traces in G. We give several
examples of quantitative hyperproperties and investigate three paradigmatic problems
for QLAs: evaluation, nonemptiness, and universality. In the evaluation problem,
given a QLA \U0001D538 and an implementation G, we ask for the value that \U0001D538
assigns to G. In the nonemptiness (resp. universality) problem, given a QLA \U0001D538
and a value k, we ask whether \U0001D538 assigns at least k to some (resp. every)
language. We provide a comprehensive picture of decidability for these problems
for QLAs with common aggregators as well as their restrictions to ω-regular languages
and trace distributions generated by finite-state Markov chains."
acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093.
alternative_title:
- LIPIcs
article_number: '21'
article_processing_charge: No
arxiv: 1
author:
- 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: Pavol
full_name: Kebis, Pavol
id: 2e0132b3-4e98-11ef-b275-cf7281c2802a
last_name: Kebis
- first_name: Nicolas Adrien
full_name: Mazzocchi, Nicolas Adrien
id: b26baa86-3308-11ec-87b0-8990f34baa85
last_name: Mazzocchi
- first_name: Naci E
full_name: Sarac, Naci E
id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
last_name: Sarac
citation:
ama: 'Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Quantitative language automata.
In: 36th International Conference on Concurrency Theory. Vol 348. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.CONCUR.2025.21'
apa: 'Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2025).
Quantitative language automata. In 36th International Conference on Concurrency
Theory (Vol. 348). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für
Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2025.21'
chicago: Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E
Sarac. “Quantitative Language Automata.” In 36th International Conference on
Concurrency Theory, Vol. 348. Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2025. https://doi.org/10.4230/LIPIcs.CONCUR.2025.21.
ieee: T. A. Henzinger, P. Kebis, N. A. Mazzocchi, and N. E. Sarac, “Quantitative
language automata,” in 36th International Conference on Concurrency Theory,
Aarhus, Denmark, 2025, vol. 348.
ista: 'Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2025. Quantitative language
automata. 36th International Conference on Concurrency Theory. CONCUR: Conference
on Concurrency Theory, LIPIcs, vol. 348, 21.'
mla: Henzinger, Thomas A., et al. “Quantitative Language Automata.” 36th International
Conference on Concurrency Theory, vol. 348, 21, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2025, doi:10.4230/LIPIcs.CONCUR.2025.21.
short: T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 36th International
Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2025.
conference:
end_date: 2025-08-29
location: Aarhus, Denmark
name: 'CONCUR: Conference on Concurrency Theory'
start_date: 2025-08-26
corr_author: '1'
date_created: 2025-08-31T22:01:32Z
date_published: 2025-08-18T00:00:00Z
date_updated: 2025-12-01T12:36:52Z
day: '18'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.CONCUR.2025.21
ec_funded: 1
external_id:
arxiv:
- '2506.0515'
isi:
- '001570540800021'
file:
- access_level: open_access
checksum: 9d4054058757a73477e6015b10ed6996
content_type: application/pdf
creator: dernst
date_created: 2025-09-03T10:01:53Z
date_updated: 2025-09-03T10:01:53Z
file_id: '20282'
file_name: 2025_CONCUR_HenzingerT.pdf
file_size: 1257397
relation: main_file
success: 1
file_date_updated: 2025-09-03T10:01:53Z
has_accepted_license: '1'
intvolume: ' 348'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 36th International Conference on Concurrency Theory
publication_identifier:
isbn:
- '9783959773898'
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantitative language automata
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 348
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '20255'
abstract:
- lang: eng
text: With stunning clarity, the JWST has revealed the Universe’s first billion
years. The scientific community is analysing a wealth of JWST imaging and spectroscopic
data from that era, and is in the process of rewriting the astronomy textbooks.
Here, as a result of the 2024 ISSI Breakthrough Workshop, we provide a snapshot
of the great progress made towards understanding the initial chapters of our cosmic
history 1.5 years into the JWST science mission. We present the current census
of early galaxies, their luminosities, appearance, chemical composition, masses
and formation histories as revealed by JWST. We relate the discovery of massive
black holes in early galaxies and discuss their demographics and implications
for their formations and growth. We conclude by describing the potential sources
of reionization and our current understanding of how the Universe became fully
ionized. Throughout the Perspective, we highlight discoveries and breakthroughs,
topics and issues that are not yet understood, and questions that will be addressed
in the coming years, as JWST continues its revolutionary observations of the early
Universe.
acknowledgement: While this Perspective is written by a small number of authors, invited
to ISSI Bern in March 2024 as part of the 2024 ISSI Breakthrough Workshop, we acknowledge
the work of a large community that is advancing our collective understanding of
the evolution of the early Universe. We thank ISSI for sponsoring the 2024 Breakthrough
Workshop, and the ISSI staff for their wonderful welcome and support. We are grateful
to the author collaborators, who made this paper possible. Collectively, we are
grateful to the large group of committed scientists and engineers, worldwide, who
designed, built and commissioned the JWST and made a decades-long astronomer dream
a reality. R.P.N. is a NASA Hubble Fellow. We are grateful to M. Dickinson for a
careful read of the final paper and to F. Crameri (ISSI) for his expert help designing
the very best figures. We dedicate this paper to the 20,000 people who spent decades
to make JWST an incredible discovery machine.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Angela
full_name: Adamo, Angela
last_name: Adamo
- first_name: Hakim
full_name: Atek, Hakim
last_name: Atek
- first_name: Micaela B.
full_name: Bagley, Micaela B.
last_name: Bagley
- first_name: Eduardo
full_name: Bañados, Eduardo
last_name: Bañados
- first_name: Kirk S.S.
full_name: Barrow, Kirk S.S.
last_name: Barrow
- first_name: Danielle A.
full_name: Berg, Danielle A.
last_name: Berg
- first_name: Rachel
full_name: Bezanson, Rachel
last_name: Bezanson
- first_name: Maruša
full_name: Bradač, Maruša
last_name: Bradač
- first_name: Gabriel
full_name: Brammer, Gabriel
last_name: Brammer
- first_name: Adam C.
full_name: Carnall, Adam C.
last_name: Carnall
- first_name: John
full_name: Chisholm, John
last_name: Chisholm
- first_name: Dan
full_name: Coe, Dan
last_name: Coe
- first_name: Pratika
full_name: Dayal, Pratika
last_name: Dayal
- first_name: Daniel J.
full_name: Eisenstein, Daniel J.
last_name: Eisenstein
- first_name: Jan J.
full_name: Eldridge, Jan J.
last_name: Eldridge
- first_name: Andrea
full_name: Ferrara, Andrea
last_name: Ferrara
- first_name: Seiji
full_name: Fujimoto, Seiji
last_name: Fujimoto
- first_name: Anna De
full_name: Graaff, Anna De
last_name: Graaff
- first_name: Melanie
full_name: Habouzit, Melanie
last_name: Habouzit
- first_name: Taylor A.
full_name: Hutchison, Taylor A.
last_name: Hutchison
- first_name: Jeyhan S.
full_name: Kartaltepe, Jeyhan S.
last_name: Kartaltepe
- first_name: Susan A.
full_name: Kassin, Susan A.
last_name: Kassin
- first_name: Mariska
full_name: Kriek, Mariska
last_name: Kriek
- first_name: Ivo
full_name: Labbé, Ivo
last_name: Labbé
- first_name: Roberto
full_name: Maiolino, Roberto
last_name: Maiolino
- first_name: Rui
full_name: Marques-Chaves, Rui
last_name: Marques-Chaves
- first_name: Michael V.
full_name: Maseda, Michael V.
last_name: Maseda
- first_name: Charlotte
full_name: Mason, Charlotte
last_name: Mason
- first_name: Jorryt J
full_name: Matthee, Jorryt J
id: 7439a258-f3c0-11ec-9501-9df22fe06720
last_name: Matthee
orcid: 0000-0003-2871-127X
- first_name: Kristen B.W.
full_name: Mcquinn, Kristen B.W.
last_name: Mcquinn
- first_name: Georges
full_name: Meynet, Georges
last_name: Meynet
- first_name: Rohan P.
full_name: Naidu, Rohan P.
last_name: Naidu
- first_name: Pascal A.
full_name: Oesch, Pascal A.
last_name: Oesch
- first_name: Laura
full_name: Pentericci, Laura
last_name: Pentericci
- first_name: Pablo G.
full_name: Pérez-González, Pablo G.
last_name: Pérez-González
- first_name: Jane R.
full_name: Rigby, Jane R.
last_name: Rigby
- first_name: Guido
full_name: Roberts-Borsani, Guido
last_name: Roberts-Borsani
- first_name: Daniel
full_name: Schaerer, Daniel
last_name: Schaerer
- first_name: Alice E.
full_name: Shapley, Alice E.
last_name: Shapley
- first_name: Daniel P.
full_name: Stark, Daniel P.
last_name: Stark
- first_name: Massimo
full_name: Stiavelli, Massimo
last_name: Stiavelli
- first_name: Allison L.
full_name: Strom, Allison L.
last_name: Strom
- first_name: Eros
full_name: Vanzella, Eros
last_name: Vanzella
- first_name: Feige
full_name: Wang, Feige
last_name: Wang
- first_name: Stephen M.
full_name: Wilkins, Stephen M.
last_name: Wilkins
- first_name: Christina C.
full_name: Williams, Christina C.
last_name: Williams
- first_name: Chris J.
full_name: Willott, Chris J.
last_name: Willott
- first_name: Dominika
full_name: Wylezalek, Dominika
last_name: Wylezalek
- first_name: Antonella
full_name: Nota, Antonella
last_name: Nota
citation:
ama: Adamo A, Atek H, Bagley MB, et al. The first billion years according to JWST.
Nature Astronomy. 2025;9(8):1134-1147. doi:10.1038/s41550-025-02624-5
apa: Adamo, A., Atek, H., Bagley, M. B., Bañados, E., Barrow, K. S. S., Berg, D.
A., … Nota, A. (2025). The first billion years according to JWST. Nature Astronomy.
Springer Nature. https://doi.org/10.1038/s41550-025-02624-5
chicago: Adamo, Angela, Hakim Atek, Micaela B. Bagley, Eduardo Bañados, Kirk S.S.
Barrow, Danielle A. Berg, Rachel Bezanson, et al. “The First Billion Years According
to JWST.” Nature Astronomy. Springer Nature, 2025. https://doi.org/10.1038/s41550-025-02624-5.
ieee: A. Adamo et al., “The first billion years according to JWST,” Nature
Astronomy, vol. 9, no. 8. Springer Nature, pp. 1134–1147, 2025.
ista: Adamo A, Atek H, Bagley MB, Bañados E, Barrow KSS, Berg DA, Bezanson R, Bradač
M, Brammer G, Carnall AC, Chisholm J, Coe D, Dayal P, Eisenstein DJ, Eldridge
JJ, Ferrara A, Fujimoto S, Graaff AD, Habouzit M, Hutchison TA, Kartaltepe JS,
Kassin SA, Kriek M, Labbé I, Maiolino R, Marques-Chaves R, Maseda MV, Mason C,
Matthee JJ, Mcquinn KBW, Meynet G, Naidu RP, Oesch PA, Pentericci L, Pérez-González
PG, Rigby JR, Roberts-Borsani G, Schaerer D, Shapley AE, Stark DP, Stiavelli M,
Strom AL, Vanzella E, Wang F, Wilkins SM, Williams CC, Willott CJ, Wylezalek D,
Nota A. 2025. The first billion years according to JWST. Nature Astronomy. 9(8),
1134–1147.
mla: Adamo, Angela, et al. “The First Billion Years According to JWST.” Nature
Astronomy, vol. 9, no. 8, Springer Nature, 2025, pp. 1134–47, doi:10.1038/s41550-025-02624-5.
short: A. Adamo, H. Atek, M.B. Bagley, E. Bañados, K.S.S. Barrow, D.A. Berg, R.
Bezanson, M. Bradač, G. Brammer, A.C. Carnall, J. Chisholm, D. Coe, P. Dayal,
D.J. Eisenstein, J.J. Eldridge, A. Ferrara, S. Fujimoto, A.D. Graaff, M. Habouzit,
T.A. Hutchison, J.S. Kartaltepe, S.A. Kassin, M. Kriek, I. Labbé, R. Maiolino,
R. Marques-Chaves, M.V. Maseda, C. Mason, J.J. Matthee, K.B.W. Mcquinn, G. Meynet,
R.P. Naidu, P.A. Oesch, L. Pentericci, P.G. Pérez-González, J.R. Rigby, G. Roberts-Borsani,
D. Schaerer, A.E. Shapley, D.P. Stark, M. Stiavelli, A.L. Strom, E. Vanzella,
F. Wang, S.M. Wilkins, C.C. Williams, C.J. Willott, D. Wylezalek, A. Nota, Nature
Astronomy 9 (2025) 1134–1147.
date_created: 2025-08-31T22:01:32Z
date_published: 2025-08-01T00:00:00Z
date_updated: 2025-09-30T14:28:42Z
day: '01'
department:
- _id: JoMa
doi: 10.1038/s41550-025-02624-5
external_id:
arxiv:
- '2405.21054'
isi:
- '001547681400001'
intvolume: ' 9'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2405.21054
month: '08'
oa: 1
oa_version: Preprint
page: 1134-1147
publication: Nature Astronomy
publication_identifier:
eissn:
- 2397-3366
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: The first billion years according to JWST
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 9
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '20256'
abstract:
- lang: eng
text: We study the problem of predictive runtime monitoring of black-box dynamical
systems with quantitative safety properties. The black-box setting stipulates
that the exact semantics of the dynamical system and the controller are unknown,
and that we are only able to observe the state of the controlled (aka, closed-loop)
system at finitely many time points. We present a novel framework for predicting
future states of the system based on the states observed in the past. The numbers
of past states and of predicted future states are parameters provided by the user.
Our method is based on a combination of Taylor’s expansion and the backward difference
operator for numerical differentiation. We also derive an upper bound on the prediction
error under the assumption that the system dynamics and the controller are smooth.
The predicted states are then used to predict safety violations ahead in time.
Our experiments demonstrate practical applicability of our method for complex
black-box systems, showing that it is computationally lightweight and yet significantly
more accurate than the state-of-the-art predictive safety monitoring techniques.
acknowledgement: "This work was supported in part by the ERC project ERC-2020-AdG
101020093.\r\n"
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- 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: Fabian
full_name: Kresse, Fabian
id: faff3c84-23f6-11ef-9085-e5187b51c604
last_name: Kresse
- first_name: Kaushik
full_name: Mallik, Kaushik
id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
last_name: Mallik
orcid: 0000-0001-9864-7475
- first_name: Zhengqi
full_name: Yu, Zhengqi
id: 20aa2ae8-f2f1-11ed-bbfa-8205053f1342
last_name: Yu
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
citation:
ama: 'Henzinger TA, Kresse F, Mallik K, Yu E, Zikelic D. Predictive monitoring of
black-box dynamical systems. In: 7th Annual Learning for Dynamics & Control
Conference. Vol 283. ML Research Press; 2025:804-816.'
apa: 'Henzinger, T. A., Kresse, F., Mallik, K., Yu, E., & Zikelic, D. (2025).
Predictive monitoring of black-box dynamical systems. In 7th Annual Learning
for Dynamics & Control Conference (Vol. 283, pp. 804–816). Ann Arbor,
MI, United States: ML Research Press.'
chicago: Henzinger, Thomas A, Fabian Kresse, Kaushik Mallik, Emily Yu, and Dorde
Zikelic. “Predictive Monitoring of Black-Box Dynamical Systems.” In 7th Annual
Learning for Dynamics & Control Conference, 283:804–16. ML Research Press,
2025.
ieee: T. A. Henzinger, F. Kresse, K. Mallik, E. Yu, and D. Zikelic, “Predictive
monitoring of black-box dynamical systems,” in 7th Annual Learning for Dynamics
& Control Conference, Ann Arbor, MI, United States, 2025, vol. 283, pp.
804–816.
ista: 'Henzinger TA, Kresse F, Mallik K, Yu E, Zikelic D. 2025. Predictive monitoring
of black-box dynamical systems. 7th Annual Learning for Dynamics & Control
Conference. L4DC: Learning for Dynamics & Control, PMLR, vol. 283, 804–816.'
mla: Henzinger, Thomas A., et al. “Predictive Monitoring of Black-Box Dynamical
Systems.” 7th Annual Learning for Dynamics & Control Conference, vol.
283, ML Research Press, 2025, pp. 804–16.
short: T.A. Henzinger, F. Kresse, K. Mallik, E. Yu, D. Zikelic, in:, 7th Annual
Learning for Dynamics & Control Conference, ML Research Press, 2025, pp. 804–816.
conference:
end_date: 2025-06-06
location: Ann Arbor, MI, United States
name: 'L4DC: Learning for Dynamics & Control'
start_date: 2025-06-04
corr_author: '1'
date_created: 2025-08-31T22:01:32Z
date_published: 2025-06-01T00:00:00Z
date_updated: 2025-09-03T10:37:59Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
- _id: ChLa
ec_funded: 1
external_id:
arxiv:
- '2412.16564'
file:
- access_level: open_access
checksum: d5236e561560635f5ae1d17de4903033
content_type: application/pdf
creator: dernst
date_created: 2025-09-03T10:32:12Z
date_updated: 2025-09-03T10:32:12Z
file_id: '20283'
file_name: 2025_L4DC_HenzingerT.pdf
file_size: 489639
relation: main_file
success: 1
file_date_updated: 2025-09-03T10:32:12Z
has_accepted_license: '1'
intvolume: ' 283'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 804-816
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 7th Annual Learning for Dynamics & Control Conference
publication_identifier:
eissn:
- 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Predictive monitoring of black-box dynamical systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 283
year: '2025'
...
---
OA_type: closed access
_id: '20259'
abstract:
- lang: eng
text: Cell migration in narrow microenvironments occurs in numerous physiological
processes. It involves successive cycles of confinement and release that drive
important morphological changes. However, it remains unclear whether migrating
cells can retain a memory of their past morphological states that could potentially
facilitate their navigation through confined spaces. We demonstrate that local
geometry governs a switch between two cell morphologies, thereby facilitating
cell passage through long and narrow gaps. We combined cell migration assays on
standardized microsystems with biophysical modelling and biochemical perturbations
to show that migrating cells have a long-term memory of past confinement events.
The morphological cell states correlate across transitions through actin cortex
remodelling. These findings indicate that mechanical memory in migrating cells
plays an active role in their migratory potential in confined environments.
acknowledgement: We are grateful to members of S.G.’s laboratory for feedback and
suggestions. We thank E. Hannezo, J. O. Rädler, M. Piel, O. du Roure and J. Heuvingh
for inspiring discussions. Y.K. and S.G. acknowledge J. B. Braquenier from Nikon
Instruments Belux and the Nikon BioImaging Lab in Leiden (the Netherlands) for their
support with the Nikon Spatial Array Confocal enhanced-resolution confocal microscopy.
We thank D. S. Herrador and M. Balland for their help in improving the microprinting
method. D.B.B. was supported by the NOMIS Foundation as a NOMIS Fellow and by an
EMBO Postdoctoral Fellowship (ALTF 343-2022). Y.K., M.L. and S.G. acknowledge funding
from the University of Mons (FEDER Prostem Research Project no. 1510614, Wallonia
DG06), the F.R.S.-FNRS (Epiforce Project no. T.0092.21, Cellsqueezer Project no.
J.0061.23 and Optopattern Project no. U.NO26.22) and the Interreg projects ANTIRESI
and MICROPLAITE, which are financially supported by Interreg France-Wallonie-Vlaanderen
(Fonds Européen de Développement Régional). Y.K. and M.L. are financially supported
by F.R.S.-FNRS as FRIA Grantee FNRS and Postdoctoral Fellow (Chargé de Recherches),
respectively. Y.K. and S.G. acknowledge le Fonds pour la Recherche Médicale dans
le Hainaut (FRMH). G.C. was supported by a grant from the Biotechnology and Biological
Sciences Research Council (grant no. BB/V007483/1).
article_processing_charge: No
article_type: original
author:
- first_name: Yohalie
full_name: Kalukula, Yohalie
last_name: Kalukula
- first_name: Marine
full_name: Luciano, Marine
last_name: Luciano
- first_name: Gleb
full_name: Simanov, Gleb
last_name: Simanov
- first_name: Guillaume
full_name: Charras, Guillaume
last_name: Charras
- first_name: David
full_name: Brückner, David
id: e1e86031-6537-11eb-953a-f7ab92be508d
last_name: Brückner
orcid: 0000-0001-7205-2975
- first_name: Sylvain
full_name: Gabriele, Sylvain
last_name: Gabriele
citation:
ama: Kalukula Y, Luciano M, Simanov G, Charras G, Brückner D, Gabriele S. The actin
cortex acts as a mechanical memory of morphology in confined migrating cells.
Nature Physics. 2025;21:1451-1461. doi:10.1038/s41567-025-02980-z
apa: Kalukula, Y., Luciano, M., Simanov, G., Charras, G., Brückner, D., & Gabriele,
S. (2025). The actin cortex acts as a mechanical memory of morphology in confined
migrating cells. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-025-02980-z
chicago: Kalukula, Yohalie, Marine Luciano, Gleb Simanov, Guillaume Charras, David
Brückner, and Sylvain Gabriele. “The Actin Cortex Acts as a Mechanical Memory
of Morphology in Confined Migrating Cells.” Nature Physics. Springer Nature,
2025. https://doi.org/10.1038/s41567-025-02980-z.
ieee: Y. Kalukula, M. Luciano, G. Simanov, G. Charras, D. Brückner, and S. Gabriele,
“The actin cortex acts as a mechanical memory of morphology in confined migrating
cells,” Nature Physics, vol. 21. Springer Nature, pp. 1451–1461, 2025.
ista: Kalukula Y, Luciano M, Simanov G, Charras G, Brückner D, Gabriele S. 2025.
The actin cortex acts as a mechanical memory of morphology in confined migrating
cells. Nature Physics. 21, 1451–1461.
mla: Kalukula, Yohalie, et al. “The Actin Cortex Acts as a Mechanical Memory of
Morphology in Confined Migrating Cells.” Nature Physics, vol. 21, Springer
Nature, 2025, pp. 1451–61, doi:10.1038/s41567-025-02980-z.
short: Y. Kalukula, M. Luciano, G. Simanov, G. Charras, D. Brückner, S. Gabriele,
Nature Physics 21 (2025) 1451–1461.
corr_author: '1'
date_created: 2025-08-31T22:01:33Z
date_published: 2025-09-01T00:00:00Z
date_updated: 2025-12-30T09:34:11Z
day: '01'
department:
- _id: EdHa
doi: 10.1038/s41567-025-02980-z
external_id:
isi:
- '001556019400001'
intvolume: ' 21'
isi: 1
language:
- iso: eng
month: '09'
oa_version: None
page: 1451-1461
project:
- _id: 34e2a5b5-11ca-11ed-8bc3-b2265616ef0b
grant_number: ALTF 343-2022
name: A mechano-chemical theory for stem cell fate decisions in organoid development
publication: Nature Physics
publication_identifier:
eissn:
- 1745-2481
issn:
- 1745-2473
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: The actin cortex acts as a mechanical memory of morphology in confined migrating
cells
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 21
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '20290'
abstract:
- lang: eng
text: 'We consider equilibria in multiplayer stochastic graph games with terminal-node
rewards. In such games, Nash equilibria are defined assuming that each player
seeks to maximise their expected payoff, ignoring their aversion or tolerance
to risk. We therefore study risk-sensitive equilibria (RSEs), where the expected
payoff is replaced by a risk measure. A classical risk measure in the literature
is the entropic risk measure, where each player has a real valued parameter capturing
their risk-averseness. We introduce the extreme risk measure, which corresponds
to extreme cases of entropic risk measure, where players are either extreme optimists
or extreme pessimists. Under extreme risk measure, every player is an extremist:
an extreme optimist perceives their reward as the maximum payoff that can be achieved
with positive probability, while an extreme pessimist expects the minimum payoff
achievable with positive probability. We argue that the extreme risk measure,
especially in multi-player graph based settings, is particularly relevant as they
can model several real life instances such as interactions between secure systems
and potential security threats, or distributed controls for safety critical systems.
We prove that RSEs defined with the extreme risk measure are guaranteed to exist
when all rewards are non-negative. Furthermore, we prove that the problem of deciding
whether a given game contains an RSE that generates risk measures within specified
intervals is decidable and NP-complete for our extreme risk measure, and even
PTIME-complete when all players are extreme optimists, while that same problem
is undecidable using the entropic risk measure or even the classical expected
payoff. This establishes, to our knowledge, the first decidable fragment for equilibria
in simple stochastic games without restrictions on strategy types or number of
players.'
acknowledgement: "This work is a part of project VAMOS that has received funding from
the European\r\nResearch Council (ERC), grant agreement No 101020093. We thank anonymous
reviewers for pointing us to the Hurwicz criterion and to the work of Gallego-Hernández
and Mansutti [13]. We thank Marie van den Bogaard for her valuable feedback on the
first author’s PhD dissertation, which helped improve the quality of this work. "
alternative_title:
- LIPIcs
article_number: '30'
article_processing_charge: Yes
arxiv: 1
author:
- first_name: Léonard
full_name: Brice, Léonard
last_name: Brice
- 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: K. S.
full_name: Thejaswini, K. S.
id: 3807fb92-fdc1-11ee-bb4a-b4d8a431c753
last_name: Thejaswini
citation:
ama: 'Brice L, Henzinger TA, Thejaswini KS. Finding equilibria: Simpler for pessimists,
simplest for optimists. In: 50th International Symposium on Mathematical Foundations
of Computer Science. Vol 345. Schloss Dagstuhl - Leibniz-Zentrum für Informatik;
2025. doi:10.4230/LIPIcs.MFCS.2025.30'
apa: 'Brice, L., Henzinger, T. A., & Thejaswini, K. S. (2025). Finding equilibria:
Simpler for pessimists, simplest for optimists. In 50th International Symposium
on Mathematical Foundations of Computer Science (Vol. 345). Warsaw, Poland:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2025.30'
chicago: 'Brice, Léonard, Thomas A Henzinger, and K. S. Thejaswini. “Finding Equilibria:
Simpler for Pessimists, Simplest for Optimists.” In 50th International Symposium
on Mathematical Foundations of Computer Science, Vol. 345. Schloss Dagstuhl
- Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.MFCS.2025.30.'
ieee: 'L. Brice, T. A. Henzinger, and K. S. Thejaswini, “Finding equilibria: Simpler
for pessimists, simplest for optimists,” in 50th International Symposium on
Mathematical Foundations of Computer Science, Warsaw, Poland, 2025, vol. 345.'
ista: 'Brice L, Henzinger TA, Thejaswini KS. 2025. Finding equilibria: Simpler for
pessimists, simplest for optimists. 50th International Symposium on Mathematical
Foundations of Computer Science. MFCS: Mathematical Foundations of Computer Science,
LIPIcs, vol. 345, 30.'
mla: 'Brice, Léonard, et al. “Finding Equilibria: Simpler for Pessimists, Simplest
for Optimists.” 50th International Symposium on Mathematical Foundations of
Computer Science, vol. 345, 30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2025, doi:10.4230/LIPIcs.MFCS.2025.30.'
short: L. Brice, T.A. Henzinger, K.S. Thejaswini, in:, 50th International Symposium
on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2025.
conference:
end_date: 2025-08-29
location: Warsaw, Poland
name: 'MFCS: Mathematical Foundations of Computer Science'
start_date: 2025-08-25
corr_author: '1'
date_created: 2025-09-07T22:01:32Z
date_published: 2025-08-20T00:00:00Z
date_updated: 2025-09-08T07:15:40Z
day: '20'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.MFCS.2025.30
ec_funded: 1
external_id:
arxiv:
- '2502.0531'
file:
- access_level: open_access
checksum: 9bc6b8e537662d371d2a27444cbc0b75
content_type: application/pdf
creator: dernst
date_created: 2025-09-08T07:11:12Z
date_updated: 2025-09-08T07:11:12Z
file_id: '20306'
file_name: 2025_MFCS_Brice.pdf
file_size: 1149694
relation: main_file
success: 1
file_date_updated: 2025-09-08T07:11:12Z
has_accepted_license: '1'
intvolume: ' 345'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 50th International Symposium on Mathematical Foundations of Computer
Science
publication_identifier:
isbn:
- '9783959773881'
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Finding equilibria: Simpler for pessimists, simplest for optimists'
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 345
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '20291'
abstract:
- lang: eng
text: "We define and study classes of ω-regular automata for which the nondeterminism
can be resolved by a policy that uses a combination of memory and randomness on
any input word, based solely on the prefix read so far. We examine two settings
for providing the input word to an automaton. In the first setting, called adversarial
resolvability, the input word is constructed letter-by-letter by an adversary,
dependent on the resolver’s previous decisions. In the second setting, called
stochastic resolvability, the adversary pre-commits to an infinite word and reveals
it letter-by-letter. In each setting, we require the existence of an almost-sure
resolver, i.e., a policy that ensures that as long as the adversary provides a
word in the language of the underlying nondeterministic automaton, the run constructed
by the policy is accepting with probability 1.\r\nThe class of automata that are
adversarially resolvable is the well-studied class of history-deterministic automata.
The case of stochastically resolvable automata, on the other hand, defines a novel
class. Restricting the class of resolvers in both settings to stochastic policies
without memory introduces two additional new classes of automata. We show that
the new automata classes offer interesting trade-offs between succinctness, expressivity,
and computational complexity, providing a fine gradation between deterministic
automata and nondeterministic automata."
acknowledgement: This work is a part of project VAMOS that has received funding from
the European Research Council (ERC), grant agreement No 101020093.
alternative_title:
- LIPIcs
article_number: '57'
article_processing_charge: No
arxiv: 1
author:
- 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: Aditya
full_name: Prakash, Aditya
last_name: Prakash
- first_name: K. S.
full_name: Thejaswini, K. S.
id: 3807fb92-fdc1-11ee-bb4a-b4d8a431c753
last_name: Thejaswini
citation:
ama: 'Henzinger TA, Prakash A, Thejaswini KS. Resolving nondeterminism with randomness.
In: 50th International Symposium on Mathematical Foundations of Computer Science.
Vol 345. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.MFCS.2025.57'
apa: 'Henzinger, T. A., Prakash, A., & Thejaswini, K. S. (2025). Resolving nondeterminism
with randomness. In 50th International Symposium on Mathematical Foundations
of Computer Science (Vol. 345). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum
für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2025.57'
chicago: Henzinger, Thomas A, Aditya Prakash, and K. S. Thejaswini. “Resolving Nondeterminism
with Randomness.” In 50th International Symposium on Mathematical Foundations
of Computer Science, Vol. 345. Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2025. https://doi.org/10.4230/LIPIcs.MFCS.2025.57.
ieee: T. A. Henzinger, A. Prakash, and K. S. Thejaswini, “Resolving nondeterminism
with randomness,” in 50th International Symposium on Mathematical Foundations
of Computer Science, Warsaw, Poland, 2025, vol. 345.
ista: 'Henzinger TA, Prakash A, Thejaswini KS. 2025. Resolving nondeterminism with
randomness. 50th International Symposium on Mathematical Foundations of Computer
Science. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 345,
57.'
mla: Henzinger, Thomas A., et al. “Resolving Nondeterminism with Randomness.” 50th
International Symposium on Mathematical Foundations of Computer Science, vol.
345, 57, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.MFCS.2025.57.
short: T.A. Henzinger, A. Prakash, K.S. Thejaswini, in:, 50th International Symposium
on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2025.
conference:
end_date: 2025-08-29
location: Warsaw, Poland
name: 'MFCS: Mathematical Foundations of Computer Science'
start_date: 2025-08-25
corr_author: '1'
date_created: 2025-09-07T22:01:32Z
date_published: 2025-08-20T00:00:00Z
date_updated: 2025-09-08T07:06:11Z
day: '20'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.MFCS.2025.57
ec_funded: 1
external_id:
arxiv:
- '2502.12872'
file:
- access_level: open_access
checksum: 6068b772aba6cb0d01f3e5a90abed973
content_type: application/pdf
creator: dernst
date_created: 2025-09-08T06:56:56Z
date_updated: 2025-09-08T06:56:56Z
file_id: '20305'
file_name: 2025_MFCS_HenzingerT.pdf
file_size: 1009644
relation: main_file
success: 1
file_date_updated: 2025-09-08T06:56:56Z
has_accepted_license: '1'
intvolume: ' 345'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 50th International Symposium on Mathematical Foundations of Computer
Science
publication_identifier:
isbn:
- '9783959773881'
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: Resolving nondeterminism with randomness
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 345
year: '2025'
...
---
OA_place: publisher
_id: '20292'
abstract:
- lang: eng
text: In automated decision-making, it is desirable that outputs of decision-makers
be robust to slight perturbations in their inputs, a property that may be called
input-output robustness. Input-output robustness appears in various different
forms in the literature, such as robustness of AI models to adversarial or semantic
perturbations and individual fairness of AI models that make decisions about humans.
We propose runtime monitoring of input-output robustness of deployed, black-box
AI models, where the goal is to design monitors that would observe one long execution
sequence of the model, and would raise an alarm whenever it is detected that two
similar inputs from the past led to dissimilar outputs. This way, monitoring will
complement existing offline ''robustification'' approaches to increase the trustworthiness
of AI decision-makers. We show that the monitoring problem can be cast as the
fixed-radius nearest neighbor (FRNN) search problem, which, despite being well-studied,
lacks suitable online solutions. We present our tool Clemont, which offers a number
of lightweight monitors, some of which use upgraded online variants of existing
FRNN algorithms, and one uses a novel algorithm based on binary decision diagrams--a
data-structure commonly used in software and hardware verification. We have also
developed an efficient parallelization technique that can substantially cut down
the computation time of monitors for which the distance between input-output pairs
is measured using the L∞norm. Using standard benchmarks from the literature of
adversarial and semantic robustness and individual fairness, we perform a comparative
study of different monitors in Clemont, and demonstrate their effectiveness in
correctly detecting robustness violations at runtime.
acknowledgement: This work was supported in part by the ERC project ERC-2020-AdG 101020093
and the SBI Foundation Hub for Data Science &Analytics, IIT Bombay.
article_processing_charge: No
arxiv: 1
author:
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- 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: Konstantin
full_name: Kueffner, Konstantin
id: 8121a2d0-dc85-11ea-9058-af578f3b4515
last_name: Kueffner
orcid: 0000-0001-8974-2542
- first_name: Kaushik
full_name: Mallik, Kaushik
id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
last_name: Mallik
orcid: 0000-0001-9864-7475
- first_name: David
full_name: Pape, David
last_name: Pape
citation:
ama: 'Gupta A, Henzinger TA, Kueffner K, Mallik K, Pape D. Monitoring robustness
and individual fairness. In: Proceedings of the 31st ACM SIGKDD Conference
on Knowledge Discovery and Data Mining. Vol 2. Association for Computing Machinery;
2025:790-801. doi:10.1145/3711896.3737054'
apa: 'Gupta, A., Henzinger, T. A., Kueffner, K., Mallik, K., & Pape, D. (2025).
Monitoring robustness and individual fairness. In Proceedings of the 31st ACM
SIGKDD Conference on Knowledge Discovery and Data Mining (Vol. 2, pp. 790–801).
Toronto, Canada: Association for Computing Machinery. https://doi.org/10.1145/3711896.3737054'
chicago: Gupta, Ashutosh, Thomas A Henzinger, Konstantin Kueffner, Kaushik Mallik,
and David Pape. “Monitoring Robustness and Individual Fairness.” In Proceedings
of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining,
2:790–801. Association for Computing Machinery, 2025. https://doi.org/10.1145/3711896.3737054.
ieee: A. Gupta, T. A. Henzinger, K. Kueffner, K. Mallik, and D. Pape, “Monitoring
robustness and individual fairness,” in Proceedings of the 31st ACM SIGKDD
Conference on Knowledge Discovery and Data Mining, Toronto, Canada, 2025,
vol. 2, pp. 790–801.
ista: 'Gupta A, Henzinger TA, Kueffner K, Mallik K, Pape D. 2025. Monitoring robustness
and individual fairness. Proceedings of the 31st ACM SIGKDD Conference on Knowledge
Discovery and Data Mining. KDD: Conference on Knowledge Discovery and Data Mining
vol. 2, 790–801.'
mla: Gupta, Ashutosh, et al. “Monitoring Robustness and Individual Fairness.” Proceedings
of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining,
vol. 2, Association for Computing Machinery, 2025, pp. 790–801, doi:10.1145/3711896.3737054.
short: A. Gupta, T.A. Henzinger, K. Kueffner, K. Mallik, D. Pape, in:, Proceedings
of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Association
for Computing Machinery, 2025, pp. 790–801.
conference:
end_date: 2025-08-07
location: Toronto, Canada
name: 'KDD: Conference on Knowledge Discovery and Data Mining'
start_date: 2025-08-03
corr_author: '1'
date_created: 2025-09-07T22:01:33Z
date_published: 2025-08-03T00:00:00Z
date_updated: 2025-09-08T08:54:24Z
day: '03'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1145/3711896.3737054
ec_funded: 1
external_id:
arxiv:
- '2506.00496'
file:
- access_level: open_access
checksum: 81e18cdf9ca5f6dfa79425b326ea9725
content_type: application/pdf
creator: dernst
date_created: 2025-09-08T08:46:31Z
date_updated: 2025-09-08T08:46:31Z
file_id: '20310'
file_name: 2025_KDD_Gupta.pdf
file_size: 7745940
relation: main_file
success: 1
file_date_updated: 2025-09-08T08:46:31Z
has_accepted_license: '1'
intvolume: ' 2'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 790-801
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery
and Data Mining
publication_identifier:
isbn:
- '9798400714542'
issn:
- 2154-817X
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/ariez-xyz/clemont
scopus_import: '1'
status: public
title: Monitoring robustness and individual fairness
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '20293'
abstract:
- lang: eng
text: Motivated by questions arising at the intersection of information theory and
geometry, we compare two dissimilarity measures between finite categorical distributions.
One is the well-known Jensen–Shannon divergence, which is easy to compute and
whose square root is a proper metric. The other is what we call the minmax divergence,
which is harder to compute. Just like the Jensen–Shannon divergence, it arises
naturally from the Kullback–Leibler divergence. The main contribution of this
paper is a proof showing that the minmax divergence can be tightly approximated
by the Jensen–Shannon divergence. The bounds suggest that the square root of the
minmax divergence is a metric, and we prove that this is indeed true in the one-dimensional
case. The general case remains open. Finally, we consider analogous questions
in the context of another Bregman divergence and the corresponding Burbea–Rao
(Jensen–Bregman) divergence.
acknowledgement: "This research received partial funding from the European Research
Council (ERC) under\r\nthe European Union’s Horizon 2020 research and innovation
programme, grant no. 788183, the\r\nWittgenstein Prize, Austrian Science Fund (FWF),
grant no. Z 342-N31, the DFG Collaborative\r\nResearch Center TRR 109, ‘Discretization
in Geometry and Dynamics’, Austrian Science Fund (FWF), grant no. I 02979-N35, and
the 2022 Google Research Scholar Award for project ‘Algorithms for Topological Analysis
of Neural Networks’. The APC was waived."
article_number: '854'
article_processing_charge: Yes
article_type: original
author:
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Ziga
full_name: Virk, Ziga
id: 2E36B656-F248-11E8-B48F-1D18A9856A87
last_name: Virk
- first_name: Hubert
full_name: Wagner, Hubert
id: 379CA8B8-F248-11E8-B48F-1D18A9856A87
last_name: Wagner
citation:
ama: Akopyan A, Edelsbrunner H, Virk Z, Wagner H. Tight bounds between the Jensen–Shannon
divergence and the minmax divergence. Entropy. 2025;27(8). doi:10.3390/e27080854
apa: Akopyan, A., Edelsbrunner, H., Virk, Z., & Wagner, H. (2025). Tight bounds
between the Jensen–Shannon divergence and the minmax divergence. Entropy.
MDPI. https://doi.org/10.3390/e27080854
chicago: Akopyan, Arseniy, Herbert Edelsbrunner, Ziga Virk, and Hubert Wagner. “Tight
Bounds between the Jensen–Shannon Divergence and the Minmax Divergence.” Entropy.
MDPI, 2025. https://doi.org/10.3390/e27080854.
ieee: A. Akopyan, H. Edelsbrunner, Z. Virk, and H. Wagner, “Tight bounds between
the Jensen–Shannon divergence and the minmax divergence,” Entropy, vol.
27, no. 8. MDPI, 2025.
ista: Akopyan A, Edelsbrunner H, Virk Z, Wagner H. 2025. Tight bounds between the
Jensen–Shannon divergence and the minmax divergence. Entropy. 27(8), 854.
mla: Akopyan, Arseniy, et al. “Tight Bounds between the Jensen–Shannon Divergence
and the Minmax Divergence.” Entropy, vol. 27, no. 8, 854, MDPI, 2025, doi:10.3390/e27080854.
short: A. Akopyan, H. Edelsbrunner, Z. Virk, H. Wagner, Entropy 27 (2025).
corr_author: '1'
date_created: 2025-09-07T22:01:33Z
date_published: 2025-08-01T00:00:00Z
date_updated: 2025-09-30T14:32:31Z
day: '01'
ddc:
- '500'
department:
- _id: HeEd
doi: 10.3390/e27080854
ec_funded: 1
external_id:
isi:
- '001557476000001'
pmid:
- '40870326'
file:
- access_level: open_access
checksum: 65c5399c4015d9c8abb8c7a96f3d7836
content_type: application/pdf
creator: dernst
date_created: 2025-09-08T07:55:48Z
date_updated: 2025-09-08T07:55:48Z
file_id: '20309'
file_name: 2025_Entropy_Akopyan.pdf
file_size: 379340
relation: main_file
success: 1
file_date_updated: 2025-09-08T07:55:48Z
has_accepted_license: '1'
intvolume: ' 27'
isi: 1
issue: '8'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 266A2E9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '788183'
name: Alpha Shape Theory Extended
- _id: 268116B8-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z00342
name: Mathematics, Computer Science
- _id: 2561EBF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I02979-N35
name: Persistence and stability of geometric complexes
publication: Entropy
publication_identifier:
eissn:
- 1099-4300
publication_status: published
publisher: MDPI
quality_controlled: '1'
scopus_import: '1'
status: public
title: Tight bounds between the Jensen–Shannon divergence and the minmax divergence
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 27
year: '2025'
...
---
OA_place: publisher
OA_type: diamond
PlanS_conform: '1'
_id: '20294'
abstract:
- lang: eng
text: 'Little Red Dots (LRDs) are compact, point-like sources characterized by their
red color and broad Balmer lines; it is a matter of debate whether they are dominated
by active galactic nuclei (AGNs) or dusty star-forming galaxies (DSFGs). Here
we report two LRDs (ID9094 and ID2756) at zspec > 7 recently discovered in the
JWST FRESCO GOODS-North field. Both satisfy the “v-shaped” color and compactness
criteria for LRDs and are identified as Type-I AGN candidates based on their broad
Hβ emission lines (full width at half maximum: 2280 ± 490 km s−1 for ID9094 and
1070 ± 240 km s−1 for ID2756) and narrow [O III] lines (≃300 − 400 km s−1). To
investigate their nature, we conducted deep NOEMA follow-up observations targeting
the [C II] 158 μm emission line and the 1.3 mm dust continuum. We do not detect
[C II] or 1.3 mm continuum emission for either source. If the two LRDs were DSFGs,
we would expect significant detections: > 16σ for [C II] and > 3σ for the 1.3
mm continuum of ID9094, and > 5σ for the [C II] of ID2756. Using the 3σ upper
limits of [C II] and 1.3 mm, we performed two analyses: (1) UV-to-far-infrared
spectral energy distribution fitting with and without AGN components, and (2)
comparison of their properties with the L[C II]–SFRtot empirical relation. Both
analyses are consistent with a scenario in which AGN activity contributes to the
observed properties, though a dusty star-forming origin cannot be fully ruled
out. Our results highlight the importance of far-infrared observations for studying
LRDs, a regime that remains largely unexplored.'
acknowledgement: 'We are very grateful to the anonymous referee for instructive comments,
which helped improve the overall quality and strengthen the analysis of this work.
We thank Andrea Weibel for assistance with the HST and JWST photometric measurements
used in this paper. This work is based on observations carried out under project
number S23CY with the IRAM NOEMA Interferometer. IRAM is supported by INSU/CNRS
(France), MPG (Germany) and IGN (Spain). This work is based in part on observations
made with the NASA/ESA/CSA James Webb Space Telescope. The data were obtained from
the Mikulski Archive for Space Telescopes at the Space Telescope Science Institute,
which is operated by the Association of Universities for Research in Astronomy,
Inc., under NASA contract NAS 5-03127 for JWST. These observations are associated
with programs #1895 and #4762. Support for programs #1895 and #4762 was provided
by NASA through a grant from the Space Telescope Science Institute, which is operated
by the Association of Universities for Research in Astronomy, Inc., under NASA contract
NAS 5-03127. This work has received funding from the Swiss State Secretariat for
Education, Research and Innovation (SERI) under contract number MB22.00072, as well
as from the Swiss National Science Foundation (SNSF) through project grant 200020_207349.
The Cosmic Dawn Center (DAWN) is funded by the Danish National Research Foundation
under grant DNRF140. This work is partially supported from the National Natural
Science Foundation of China (12073003, 11721303, 11991052), and the China Manned
Space Project (CMS-CSST-2021-A04 and CMS-CSST-2021-A06). Y.F. is supported by JSPS
KAKENHI Grant Numbers JP22K21349 and JP23K13149. M.V. gratefully acknowledges financial
support from the Independent Research Fund Denmark via grant numbers DFF 8021-00130
and 3103-00146 and from the Carlsberg Foundation via grant CF23-0417. VK acknowledges
support from the University of Texas at Austin Cosmic Frontier Center. S.F. acknowledges
support from NASA through the NASA Hubble Fellowship grant HST-HF2-51505.001-A awarded
by the Space Telescope Science Institute, which is operated by the Association of
Universities for Research in Astronomy, Incorporated, under NASA contract NAS5-26555.
Support for this work for RPN was provided by NASA through the NASA Hubble Fellowship
grant HST-HF2-51515.001-A awarded by the Space Telescope Science Institute, which
is operated by the Association of Universities for Research in Astronomy, Incorporated,
under NASA contract NAS5-26555.'
article_number: A231
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Mengyuan
full_name: Xiao, Mengyuan
last_name: Xiao
- first_name: Pascal A.
full_name: Oesch, Pascal A.
last_name: Oesch
- first_name: Longji
full_name: Bing, Longji
last_name: Bing
- first_name: David
full_name: Elbaz, David
last_name: Elbaz
- first_name: Jorryt J
full_name: Matthee, Jorryt J
id: 7439a258-f3c0-11ec-9501-9df22fe06720
last_name: Matthee
orcid: 0000-0003-2871-127X
- first_name: Yoshinobu
full_name: Fudamoto, Yoshinobu
last_name: Fudamoto
- first_name: Seiji
full_name: Fujimoto, Seiji
last_name: Fujimoto
- first_name: Rui
full_name: Marques-Chaves, Rui
last_name: Marques-Chaves
- first_name: Christina C.
full_name: Williams, Christina C.
last_name: Williams
- first_name: Miroslava
full_name: Dessauges-Zavadsky, Miroslava
last_name: Dessauges-Zavadsky
- first_name: Francesco
full_name: Valentino, Francesco
last_name: Valentino
- first_name: Gabriel
full_name: Brammer, Gabriel
last_name: Brammer
- first_name: Alba
full_name: Covelo-Paz, Alba
last_name: Covelo-Paz
- first_name: Emanuele
full_name: Daddi, Emanuele
last_name: Daddi
- first_name: Johan P.U.
full_name: Fynbo, Johan P.U.
last_name: Fynbo
- first_name: Steven
full_name: Gillman, Steven
last_name: Gillman
- first_name: Michele
full_name: Ginolfi, Michele
last_name: Ginolfi
- first_name: Emma
full_name: Giovinazzo, Emma
last_name: Giovinazzo
- first_name: Jenny E.
full_name: Greene, Jenny E.
last_name: Greene
- first_name: Qiusheng
full_name: Gu, Qiusheng
last_name: Gu
- first_name: Garth
full_name: Illingworth, Garth
last_name: Illingworth
- first_name: Kohei
full_name: Inayoshi, Kohei
last_name: Inayoshi
- first_name: Vasily
full_name: Kokorev, Vasily
last_name: Kokorev
- first_name: Romain A.
full_name: Meyer, Romain A.
last_name: Meyer
- first_name: Rohan P.
full_name: Naidu, Rohan P.
last_name: Naidu
- first_name: Naveen A.
full_name: Reddy, Naveen A.
last_name: Reddy
- first_name: Daniel
full_name: Schaerer, Daniel
last_name: Schaerer
- first_name: Alice
full_name: Shapley, Alice
last_name: Shapley
- first_name: Mauro
full_name: Stefanon, Mauro
last_name: Stefanon
- first_name: Charles L.
full_name: Steinhardt, Charles L.
last_name: Steinhardt
- first_name: David J.
full_name: Setton, David J.
last_name: Setton
- first_name: Marianne
full_name: Vestergaard, Marianne
last_name: Vestergaard
- first_name: Tao
full_name: Wang, Tao
last_name: Wang
citation:
ama: Xiao M, Oesch PA, Bing L, et al. No [C II] or dust detection in two Little
Red Dots at zspec > 7. Astronomy & Astrophysics. 2025;700. doi:10.1051/0004-6361/202554361
apa: Xiao, M., Oesch, P. A., Bing, L., Elbaz, D., Matthee, J. J., Fudamoto, Y.,
… Wang, T. (2025). No [C II] or dust detection in two Little Red Dots at zspec
> 7. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202554361
chicago: Xiao, Mengyuan, Pascal A. Oesch, Longji Bing, David Elbaz, Jorryt J Matthee,
Yoshinobu Fudamoto, Seiji Fujimoto, et al. “No [C II] or Dust Detection in Two
Little Red Dots at Zspec > 7.” Astronomy & Astrophysics. EDP Sciences,
2025. https://doi.org/10.1051/0004-6361/202554361.
ieee: M. Xiao et al., “No [C II] or dust detection in two Little Red Dots
at zspec > 7,” Astronomy & Astrophysics, vol. 700. EDP Sciences,
2025.
ista: Xiao M, Oesch PA, Bing L, Elbaz D, Matthee JJ, Fudamoto Y, Fujimoto S, Marques-Chaves
R, Williams CC, Dessauges-Zavadsky M, Valentino F, Brammer G, Covelo-Paz A, Daddi
E, Fynbo JPU, Gillman S, Ginolfi M, Giovinazzo E, Greene JE, Gu Q, Illingworth
G, Inayoshi K, Kokorev V, Meyer RA, Naidu RP, Reddy NA, Schaerer D, Shapley A,
Stefanon M, Steinhardt CL, Setton DJ, Vestergaard M, Wang T. 2025. No [C II] or
dust detection in two Little Red Dots at zspec > 7. Astronomy & Astrophysics.
700, A231.
mla: Xiao, Mengyuan, et al. “No [C II] or Dust Detection in Two Little Red Dots
at Zspec > 7.” Astronomy & Astrophysics, vol. 700, A231, EDP Sciences,
2025, doi:10.1051/0004-6361/202554361.
short: M. Xiao, P.A. Oesch, L. Bing, D. Elbaz, J.J. Matthee, Y. Fudamoto, S. Fujimoto,
R. Marques-Chaves, C.C. Williams, M. Dessauges-Zavadsky, F. Valentino, G. Brammer,
A. Covelo-Paz, E. Daddi, J.P.U. Fynbo, S. Gillman, M. Ginolfi, E. Giovinazzo,
J.E. Greene, Q. Gu, G. Illingworth, K. Inayoshi, V. Kokorev, R.A. Meyer, R.P.
Naidu, N.A. Reddy, D. Schaerer, A. Shapley, M. Stefanon, C.L. Steinhardt, D.J.
Setton, M. Vestergaard, T. Wang, Astronomy & Astrophysics 700 (2025).
date_created: 2025-09-07T22:01:33Z
date_published: 2025-08-01T00:00:00Z
date_updated: 2026-02-16T12:12:36Z
day: '01'
ddc:
- '520'
department:
- _id: JoMa
doi: 10.1051/0004-6361/202554361
external_id:
arxiv:
- '2503.01945'
isi:
- '001559174700004'
file:
- access_level: open_access
checksum: fab2168609078b8336be01ef13b3238e
content_type: application/pdf
creator: dernst
date_created: 2025-09-08T07:40:53Z
date_updated: 2025-09-08T07:40:53Z
file_id: '20308'
file_name: 2025_AstronomyAstrophysics_Xiao.pdf
file_size: 3648334
relation: main_file
success: 1
file_date_updated: 2025-09-08T07:40:53Z
has_accepted_license: '1'
intvolume: ' 700'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: Astronomy & Astrophysics
publication_identifier:
eissn:
- 1432-0746
issn:
- 0004-6361
publication_status: published
publisher: EDP Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: No [C II] or dust detection in two Little Red Dots at zspec > 7
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: 700
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '20295'
abstract:
- lang: eng
text: 'Scanning Kelvin probe microscopy (SKPM) is a powerful technique for macroscopic
imaging of the electrostatic potential above a surface. Though most often used
to image work-function variations of conductive surfaces, it can also be used
to probe the surface charge on insulating surfaces. In both cases, relating the
measured potential to the underlying signal is non-trivial. Here, general relationships
are derived between the measured SKPM voltage and the underlying source, revealing
either can be cast as a convolution with an appropriately scaled point spread
function (PSF). For charge that exists on a thin insulating layer above a conductor,
the PSF has the same shape as what would occur from a work-function variation
alone, differing by a simple scaling factor. This relationship is confirmed by:
(1) backing it out from finite-element simulations of work-function and charge
signals, and (2) experimentally comparing the measured PSF from a small work-function
target to that from a small charge spot. This scaling factor is further validated
by comparing SKPM charge measurements with Faraday cup measurements for highly
charged samples from contact-charging experiments. These results highlight a heretofore
unappreciated connection between SKPM voltage and charge signals, offering a rigorous
recipe to extract either from experimental data.'
acknowledged_ssus:
- _id: M-Shop
- _id: NanoFab
- _id: ScienComp
- _id: LifeSc
acknowledgement: This project received funding from the European Research Council
(ERC) under the European Union's Horizon 2020 research and innovation programme
(Grant agreement No. 949120). This research was supported by the Scientific Service
Units of The Institute of Science and Technology Austria (ISTA) through resources
provided by the Miba Machine Shop, Nanofabrication Facility, Scientific Computing
Facility, and Lab Support Facility. The authors wish to thank Dmytro Rak and Juan
Carlos Sobarzo for letting us use their equipment. The authors wish to thank Evgeniia
Volobueva for advice in preparing PFIB samples. The authors wish to thank the contributions
of the whole Waitukaitis group for useful discussions and feedback.
article_number: e00521
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Isaac C
full_name: Lenton, Isaac C
id: a550210f-223c-11ec-8182-e2d45e817efb
last_name: Lenton
orcid: 0000-0002-5010-6984
- first_name: Felix
full_name: Pertl, Felix
id: 6313aec0-15b2-11ec-abd3-ed67d16139af
last_name: Pertl
orcid: 0000-0003-0463-5794
- first_name: Lubuna B
full_name: Shafeek, Lubuna B
id: 3CD37A82-F248-11E8-B48F-1D18A9856A87
last_name: Shafeek
orcid: 0000-0001-7180-6050
- first_name: Scott R
full_name: Waitukaitis, Scott R
id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87
last_name: Waitukaitis
orcid: 0000-0002-2299-3176
citation:
ama: Lenton IC, Pertl F, Shafeek LB, Waitukaitis SR. A duality between surface charge
and work function in scanning Kelvin probe microscopy. Advanced Materials Interfaces.
2025;12(19). doi:10.1002/admi.202500521
apa: Lenton, I. C., Pertl, F., Shafeek, L. B., & Waitukaitis, S. R. (2025).
A duality between surface charge and work function in scanning Kelvin probe microscopy.
Advanced Materials Interfaces. Wiley. https://doi.org/10.1002/admi.202500521
chicago: Lenton, Isaac C, Felix Pertl, Lubuna B Shafeek, and Scott R Waitukaitis.
“A Duality between Surface Charge and Work Function in Scanning Kelvin Probe Microscopy.”
Advanced Materials Interfaces. Wiley, 2025. https://doi.org/10.1002/admi.202500521.
ieee: I. C. Lenton, F. Pertl, L. B. Shafeek, and S. R. Waitukaitis, “A duality between
surface charge and work function in scanning Kelvin probe microscopy,” Advanced
Materials Interfaces, vol. 12, no. 19. Wiley, 2025.
ista: Lenton IC, Pertl F, Shafeek LB, Waitukaitis SR. 2025. A duality between surface
charge and work function in scanning Kelvin probe microscopy. Advanced Materials
Interfaces. 12(19), e00521.
mla: Lenton, Isaac C., et al. “A Duality between Surface Charge and Work Function
in Scanning Kelvin Probe Microscopy.” Advanced Materials Interfaces, vol.
12, no. 19, e00521, Wiley, 2025, doi:10.1002/admi.202500521.
short: I.C. Lenton, F. Pertl, L.B. Shafeek, S.R. Waitukaitis, Advanced Materials
Interfaces 12 (2025).
corr_author: '1'
date_created: 2025-09-07T22:01:33Z
date_published: 2025-10-01T00:00:00Z
date_updated: 2025-12-30T09:31:25Z
day: '01'
ddc:
- '530'
department:
- _id: ScWa
- _id: NanoFab
doi: 10.1002/admi.202500521
ec_funded: 1
external_id:
arxiv:
- '2506.07187'
isi:
- '001560163400001'
file:
- access_level: open_access
checksum: 906fcc7733be8ce8a83600427b82cd5a
content_type: application/pdf
creator: dernst
date_created: 2025-12-30T09:31:11Z
date_updated: 2025-12-30T09:31:11Z
file_id: '20908'
file_name: 2025_AdvMaterialsInterfaces_Lenton.pdf
file_size: 1830117
relation: main_file
success: 1
file_date_updated: 2025-12-30T09:31:11Z
has_accepted_license: '1'
intvolume: ' 12'
isi: 1
issue: '19'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 0aa60e99-070f-11eb-9043-a6de6bdc3afa
call_identifier: H2020
grant_number: '949120'
name: 'Tribocharge: a multi-scale approach to an enduring problem in physics'
publication: Advanced Materials Interfaces
publication_identifier:
eissn:
- 2196-7350
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: A duality between surface charge and work function in scanning Kelvin probe
microscopy
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: 12
year: '2025'
...