---
_id: '14750'
abstract:
- lang: eng
text: "Consider the random matrix model A1/2UBU∗A1/2, where A and B are two N ×
N deterministic matrices and U is either an N × N Haar unitary or orthogonal random
matrix. It is well known that on the macroscopic scale (Invent. Math. 104 (1991)
201–220), the limiting empirical spectral distribution (ESD) of the above model
is given by the free multiplicative convolution\r\nof the limiting ESDs of A and
B, denoted as μα \x02 μβ, where μα and μβ are the limiting ESDs of A and B, respectively.
In this paper, we study the asymptotic microscopic behavior of the edge eigenvalues
and eigenvectors statistics. We prove that both the density of μA \x02μB, where
μA and μB are the ESDs of A and B, respectively and the associated subordination
functions\r\nhave a regular behavior near the edges. Moreover, we establish the
local laws near the edges on the optimal scale. In particular, we prove that the
entries of the resolvent are close to some functionals depending only on the eigenvalues
of A, B and the subordination functions with optimal convergence rates. Our proofs
and calculations are based on the techniques developed for the additive model
A+UBU∗ in (J. Funct. Anal. 271 (2016) 672–719; Comm. Math.\r\nPhys. 349 (2017)
947–990; Adv. Math. 319 (2017) 251–291; J. Funct. Anal. 279 (2020) 108639), and
our results can be regarded as the counterparts of (J. Funct. Anal. 279 (2020)
108639) for the multiplicative model. "
acknowledgement: "The first author is partially supported by NSF Grant DMS-2113489
and grateful for the AMS-SIMONS travel grant (2020–2023). The second author is supported
by the ERC Advanced Grant “RMTBeyond” No. 101020331.\r\nThe authors would like to
thank the Editor, Associate Editor and an anonymous referee for their many critical
suggestions which have significantly improved the paper. We also want to thank Zhigang
Bao and Ji Oon Lee for many helpful discussions and comments."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Xiucai
full_name: Ding, Xiucai
last_name: Ding
- first_name: Hong Chang
full_name: Ji, Hong Chang
id: dd216c0a-c1f9-11eb-beaf-e9ea9d2de76d
last_name: Ji
citation:
ama: Ding X, Ji HC. Local laws for multiplication of random matrices. The Annals
of Applied Probability. 2023;33(4):2981-3009. doi:10.1214/22-aap1882
apa: Ding, X., & Ji, H. C. (2023). Local laws for multiplication of random matrices.
The Annals of Applied Probability. Institute of Mathematical Statistics.
https://doi.org/10.1214/22-aap1882
chicago: Ding, Xiucai, and Hong Chang Ji. “Local Laws for Multiplication of Random
Matrices.” The Annals of Applied Probability. Institute of Mathematical
Statistics, 2023. https://doi.org/10.1214/22-aap1882.
ieee: X. Ding and H. C. Ji, “Local laws for multiplication of random matrices,”
The Annals of Applied Probability, vol. 33, no. 4. Institute of Mathematical
Statistics, pp. 2981–3009, 2023.
ista: Ding X, Ji HC. 2023. Local laws for multiplication of random matrices. The
Annals of Applied Probability. 33(4), 2981–3009.
mla: Ding, Xiucai, and Hong Chang Ji. “Local Laws for Multiplication of Random Matrices.”
The Annals of Applied Probability, vol. 33, no. 4, Institute of Mathematical
Statistics, 2023, pp. 2981–3009, doi:10.1214/22-aap1882.
short: X. Ding, H.C. Ji, The Annals of Applied Probability 33 (2023) 2981–3009.
date_created: 2024-01-08T13:03:18Z
date_published: 2023-08-01T00:00:00Z
date_updated: 2024-01-09T08:16:41Z
day: '01'
department:
- _id: LaEr
doi: 10.1214/22-aap1882
ec_funded: 1
external_id:
arxiv:
- '2010.16083'
intvolume: ' 33'
issue: '4'
keyword:
- Statistics
- Probability and Uncertainty
- Statistics and Probability
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2010.16083
month: '08'
oa: 1
oa_version: Preprint
page: 2981-3009
project:
- _id: 62796744-2b32-11ec-9570-940b20777f1d
call_identifier: H2020
grant_number: '101020331'
name: Random matrices beyond Wigner-Dyson-Mehta
publication: The Annals of Applied Probability
publication_identifier:
issn:
- 1050-5164
publication_status: published
publisher: Institute of Mathematical Statistics
quality_controlled: '1'
scopus_import: '1'
status: public
title: Local laws for multiplication of random matrices
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2023'
...
---
_id: '14751'
abstract:
- lang: eng
text: 'We consider zero-error communication over a two-transmitter deterministic
adversarial multiple access channel (MAC) governed by an adversary who has access
to the transmissions of both senders (hence called omniscient ) and aims to maliciously
corrupt the communication. None of the encoders, jammer and decoder is allowed
to randomize using private or public randomness. This enforces a combinatorial
nature of the problem. Our model covers a large family of channels studied in
the literature, including all deterministic discrete memoryless noisy or noiseless
MACs. In this work, given an arbitrary two-transmitter deterministic omniscient
adversarial MAC, we characterize when the capacity region: 1) has nonempty interior
(in particular, is two-dimensional); 2) consists of two line segments (in particular,
has empty interior); 3) consists of one line segment (in particular, is one-dimensional);
4) or only contains (0,0) (in particular, is zero-dimensional). This extends a
recent result by Wang et al. (201 9) from the point-to-point setting to the multiple
access setting. Indeed, our converse arguments build upon their generalized Plotkin
bound and involve delicate case analysis. One of the technical challenges is to
take care of both “joint confusability” and “marginal confusability”. In particular,
the treatment of marginal confusability does not follow from the point-to-point
results by Wang et al. Our achievability results follow from random coding with
expurgation.'
acknowledgement: "The author would like to thank Amitalok J. Budkuley and Sidharth
Jaggi for many helpful discussions at the early stage of this work. He would also
like to thank Nir Ailon, Qi Cao, and Chandra Nair for discussions on a related problem
regarding zero-error binary adder MACs.\r\nThe work of Yihan Zhang was supported
by the European Union’s Horizon 2020 Research and Innovation Programme under Grant
682203-ERC-[Inf-Speed-Tradeoff]"
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Yihan
full_name: Zhang, Yihan
id: 2ce5da42-b2ea-11eb-bba5-9f264e9d002c
last_name: Zhang
orcid: 0000-0002-6465-6258
citation:
ama: Zhang Y. Zero-error communication over adversarial MACs. IEEE Transactions
on Information Theory. 2023;69(7):4093-4127. doi:10.1109/tit.2023.3257239
apa: Zhang, Y. (2023). Zero-error communication over adversarial MACs. IEEE Transactions
on Information Theory. Institute of Electrical and Electronics Engineers.
https://doi.org/10.1109/tit.2023.3257239
chicago: Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.” IEEE
Transactions on Information Theory. Institute of Electrical and Electronics
Engineers, 2023. https://doi.org/10.1109/tit.2023.3257239.
ieee: Y. Zhang, “Zero-error communication over adversarial MACs,” IEEE Transactions
on Information Theory, vol. 69, no. 7. Institute of Electrical and Electronics
Engineers, pp. 4093–4127, 2023.
ista: Zhang Y. 2023. Zero-error communication over adversarial MACs. IEEE Transactions
on Information Theory. 69(7), 4093–4127.
mla: Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.” IEEE Transactions
on Information Theory, vol. 69, no. 7, Institute of Electrical and Electronics
Engineers, 2023, pp. 4093–127, doi:10.1109/tit.2023.3257239.
short: Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
date_created: 2024-01-08T13:04:54Z
date_published: 2023-07-01T00:00:00Z
date_updated: 2024-01-09T08:45:24Z
day: '01'
department:
- _id: MaMo
doi: 10.1109/tit.2023.3257239
external_id:
arxiv:
- '2101.12426'
intvolume: ' 69'
issue: '7'
keyword:
- Computer Science Applications
- Information Systems
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2101.12426
month: '07'
oa: 1
oa_version: Preprint
page: 4093-4127
publication: IEEE Transactions on Information Theory
publication_identifier:
eissn:
- 1557-9654
issn:
- 0018-9448
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Zero-error communication over adversarial MACs
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 69
year: '2023'
...
---
_id: '14752'
abstract:
- lang: eng
text: 'Radiative cooling of the lowest atmospheric levels is of strong importance
for modulating atmospheric circulations and organizing convection, but detailed
observations and a robust theoretical understanding are lacking. Here we use unprecedented
observational constraints from subsidence regimes in the tropical Atlantic to
develop a theory for the shape and magnitude of low‐level longwave radiative cooling
in clear‐sky, showing peaks larger than 5–10 K/day at the top of the boundary
layer. A suite of novel scaling approximations is first developed from simplified
spectral theory, in close agreement with the measurements. The radiative cooling
peak height is set by the maximum lapse rate in water vapor path, and its magnitude
is mainly controlled by the ratio of column relative humidity above and below
the peak. We emphasize how elevated intrusions of moist air can reduce low‐level
cooling, by sporadically shading the spectral range which effectively cools to
space. The efficiency of this spectral shading depends both on water content and
altitude of moist intrusions; its height dependence cannot be explained by the
temperature difference between the emitting and absorbing layers, but by the decrease
of water vapor extinction with altitude. This analytical work can help to narrow
the search for low‐level cloud patterns sensitive to radiative‐convective feedbacks:
the most organized patterns with largest cloud fractions occur in atmospheres
below 10% relative humidity and feel the strongest low‐level cooling. This motivates
further assessment of favorable conditions for radiative‐convective feedbacks
and a robust quantification of corresponding shallow cloud dynamics in current
and warmer climates.'
acknowledgement: The authors would like to thank two anonymous reviews and gratefully
acknowledge diverse funding agencies and resources used for this work. B.F. and
C.M. thank funding from the European Research Council (ERC) under the European Union's
Horizon 2020 research and innovation program (Project CLUSTER, grant agreement no.
805041), and the EUREC4A campaign organizers for giving the opportunity to take
part to the campaign and use the data early on. R. P. was supported by the US National
Science Foundation (award AGS 19–16908), by the National Oceanic and Atmospheric
Administration (award NA200AR4310375), and the Vetlesen Foundation.
article_number: e2023AV000880
article_processing_charge: Yes
article_type: original
author:
- first_name: B.
full_name: Fildier, B.
last_name: Fildier
- first_name: Caroline J
full_name: Muller, Caroline J
id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b
last_name: Muller
orcid: 0000-0001-5836-5350
- first_name: R.
full_name: Pincus, R.
last_name: Pincus
- first_name: S.
full_name: Fueglistaler, S.
last_name: Fueglistaler
citation:
ama: Fildier B, Muller CJ, Pincus R, Fueglistaler S. How moisture shapes low‐level
radiative cooling in subsidence regimes. AGU Advances. 2023;4(3). doi:10.1029/2023av000880
apa: Fildier, B., Muller, C. J., Pincus, R., & Fueglistaler, S. (2023). How
moisture shapes low‐level radiative cooling in subsidence regimes. AGU Advances.
American Geophysical Union. https://doi.org/10.1029/2023av000880
chicago: Fildier, B., Caroline J Muller, R. Pincus, and S. Fueglistaler. “How Moisture
Shapes Low‐level Radiative Cooling in Subsidence Regimes.” AGU Advances.
American Geophysical Union, 2023. https://doi.org/10.1029/2023av000880.
ieee: B. Fildier, C. J. Muller, R. Pincus, and S. Fueglistaler, “How moisture shapes
low‐level radiative cooling in subsidence regimes,” AGU Advances, vol.
4, no. 3. American Geophysical Union, 2023.
ista: Fildier B, Muller CJ, Pincus R, Fueglistaler S. 2023. How moisture shapes
low‐level radiative cooling in subsidence regimes. AGU Advances. 4(3), e2023AV000880.
mla: Fildier, B., et al. “How Moisture Shapes Low‐level Radiative Cooling in Subsidence
Regimes.” AGU Advances, vol. 4, no. 3, e2023AV000880, American Geophysical
Union, 2023, doi:10.1029/2023av000880.
short: B. Fildier, C.J. Muller, R. Pincus, S. Fueglistaler, AGU Advances 4 (2023).
date_created: 2024-01-08T13:07:49Z
date_published: 2023-06-01T00:00:00Z
date_updated: 2024-01-09T08:54:03Z
day: '01'
ddc:
- '550'
department:
- _id: CaMu
doi: 10.1029/2023av000880
ec_funded: 1
file:
- access_level: open_access
checksum: af773220a9fa194c61a8dc2fae092c16
content_type: application/pdf
creator: dernst
date_created: 2024-01-09T08:51:25Z
date_updated: 2024-01-09T08:51:25Z
file_id: '14761'
file_name: 2023_AGUAdvances_Fildier.pdf
file_size: 24149551
relation: main_file
success: 1
file_date_updated: 2024-01-09T08:51:25Z
has_accepted_license: '1'
intvolume: ' 4'
issue: '3'
keyword:
- General Earth and Planetary Sciences
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 629205d8-2b32-11ec-9570-e1356ff73576
call_identifier: H2020
grant_number: '805041'
name: organization of CLoUdS, and implications of Tropical cyclones and for the
Energetics of the tropics, in current and waRming climate
publication: AGU Advances
publication_identifier:
eissn:
- 2576-604X
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
scopus_import: '1'
status: public
title: How moisture shapes low‐level radiative cooling in subsidence regimes
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 4
year: '2023'
...
---
_id: '14753'
abstract:
- lang: eng
text: "Several fixed-target experiments reported J/ψ and ϒ polarizations, as functions
of Feynman x (xF) and transverse momentum (PT), in three different frames, using
different combinations of beam particles, target nuclei, and collision energies.
Despite the diverse and heterogeneous picture formed by these measurements, a
detailed look allows us to discern qualitative physical patterns that inspire
a simple empirical model. This data-driven scenario offers a good quantitative
description of the J/ψ and ϒ(1S) polarizations measured in proton- and pion-nucleus
collisions, in the xF 0.5 domain: more than 80 data points (not statistically
independent) are well reproduced with only one free parameter. This study sets
the context for future low-PT\r\n quarkonium polarization measurements in proton-
and pion-nucleus collisions, such as those to be made by the AMBER experiment,
and shows that such measurements provide significant constraints on the poorly-known
parton distribution functions of the pion."
acknowledgement: "P.F. and C.L. acknowledge support from Fundação para a Ciência e
a Tecnologia, Portugal, under contract CERN/FIS-PAR/0010/2019.\r\nOpen Access funded
by SCOAP3."
article_number: '137871'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Pietro
full_name: Faccioli, Pietro
last_name: Faccioli
- first_name: Ilse
full_name: Krätschmer, Ilse
id: 30d4014e-7753-11eb-b44b-db6d61112e73
last_name: Krätschmer
orcid: 0000-0002-5636-9259
- first_name: Carlos
full_name: Lourenço, Carlos
last_name: Lourenço
citation:
ama: 'Faccioli P, Krätschmer I, Lourenço C. Low-pT quarkonium polarization measurements:
Challenges and opportunities. Physics Letters B. 2023;840. doi:10.1016/j.physletb.2023.137871'
apa: 'Faccioli, P., Krätschmer, I., & Lourenço, C. (2023). Low-pT quarkonium
polarization measurements: Challenges and opportunities. Physics Letters B.
Elsevier. https://doi.org/10.1016/j.physletb.2023.137871'
chicago: 'Faccioli, Pietro, Ilse Krätschmer, and Carlos Lourenço. “Low-PT Quarkonium
Polarization Measurements: Challenges and Opportunities.” Physics Letters B.
Elsevier, 2023. https://doi.org/10.1016/j.physletb.2023.137871.'
ieee: 'P. Faccioli, I. Krätschmer, and C. Lourenço, “Low-pT quarkonium polarization
measurements: Challenges and opportunities,” Physics Letters B, vol. 840.
Elsevier, 2023.'
ista: 'Faccioli P, Krätschmer I, Lourenço C. 2023. Low-pT quarkonium polarization
measurements: Challenges and opportunities. Physics Letters B. 840, 137871.'
mla: 'Faccioli, Pietro, et al. “Low-PT Quarkonium Polarization Measurements: Challenges
and Opportunities.” Physics Letters B, vol. 840, 137871, Elsevier, 2023,
doi:10.1016/j.physletb.2023.137871.'
short: P. Faccioli, I. Krätschmer, C. Lourenço, Physics Letters B 840 (2023).
date_created: 2024-01-08T13:09:17Z
date_published: 2023-05-10T00:00:00Z
date_updated: 2024-01-09T09:02:22Z
day: '10'
ddc:
- '530'
department:
- _id: MaRo
doi: 10.1016/j.physletb.2023.137871
file:
- access_level: open_access
checksum: 02dec160dbc81d95985e755869d8afbf
content_type: application/pdf
creator: dernst
date_created: 2024-01-09T08:59:24Z
date_updated: 2024-01-09T08:59:24Z
file_id: '14762'
file_name: 2023_PhysicsLettersB_Faccioli.pdf
file_size: 855494
relation: main_file
success: 1
file_date_updated: 2024-01-09T08:59:24Z
has_accepted_license: '1'
intvolume: ' 840'
keyword:
- Nuclear and High Energy Physics
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '05'
oa: 1
oa_version: Published Version
publication: Physics Letters B
publication_identifier:
eissn:
- 1873-2445
issn:
- 0370-2693
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Low-pT quarkonium polarization measurements: Challenges and opportunities'
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: 840
year: '2023'
...
---
_id: '14754'
abstract:
- lang: eng
text: The large-scale laminar/turbulent spiral patterns that appear in the linearly
unstable regime of counter-rotating Taylor–Couette flow are investigated from
a statistical perspective by means of direct numerical simulation. Unlike the
vast majority of previous numerical studies, we analyse the flow in periodic parallelogram-annular
domains, following a coordinate change that aligns one of the parallelogram sides
with the spiral pattern. The domain size, shape and spatial resolution have been
varied and the results compared with those in a sufficiently large computational
orthogonal domain with natural axial and azimuthal periodicity. We find that a
minimal parallelogram of the right tilt significantly reduces the computational
cost without notably compromising the statistical properties of the supercritical
turbulent spiral. Its mean structure, obtained from extremely long time integrations
in a co-rotating reference frame using the method of slices, bears remarkable
similarity with the turbulent stripes observed in plane Couette flow, the centrifugal
instability playing only a secondary role.
acknowledgement: K.D.’s research was supported by Australian Research Council Discovery
Early Career Researcher Award (DE170100171). B.W., R.A., F.M. and A.M. research
was supported by the Spanish Ministerio de Economía y Competitividad (grant nos.
FIS2016-77849-R and FIS2017-85794-P) and Ministerio de Ciencia e Innovación (grant
no. PID2020-114043GB-I00) and the Generalitat de Catalunya (grant no. 2017-SGR-785).
B.W.’s research was also supported by the Chinese Scholarship Council (grant CSC
no. 201806440152). F.M. is a Serra-Húnter Fellow.
article_number: '0112'
article_processing_charge: No
article_type: original
author:
- first_name: B.
full_name: Wang, B.
last_name: Wang
- first_name: F.
full_name: Mellibovsky, F.
last_name: Mellibovsky
- first_name: Roger
full_name: Ayats López, Roger
id: ab77522d-073b-11ed-8aff-e71b39258362
last_name: Ayats López
orcid: 0000-0001-6572-0621
- first_name: K.
full_name: Deguchi, K.
last_name: Deguchi
- first_name: A.
full_name: Meseguer, A.
last_name: Meseguer
citation:
ama: Wang B, Mellibovsky F, Ayats López R, Deguchi K, Meseguer A. Mean structure
of the supercritical turbulent spiral in Taylor–Couette flow. Philosophical
Transactions of the Royal Society A. 2023;381(2246). doi:10.1098/rsta.2022.0112
apa: Wang, B., Mellibovsky, F., Ayats López, R., Deguchi, K., & Meseguer, A.
(2023). Mean structure of the supercritical turbulent spiral in Taylor–Couette
flow. Philosophical Transactions of the Royal Society A. The Royal Society.
https://doi.org/10.1098/rsta.2022.0112
chicago: Wang, B., F. Mellibovsky, Roger Ayats López, K. Deguchi, and A. Meseguer.
“Mean Structure of the Supercritical Turbulent Spiral in Taylor–Couette Flow.”
Philosophical Transactions of the Royal Society A. The Royal Society, 2023.
https://doi.org/10.1098/rsta.2022.0112.
ieee: B. Wang, F. Mellibovsky, R. Ayats López, K. Deguchi, and A. Meseguer, “Mean
structure of the supercritical turbulent spiral in Taylor–Couette flow,” Philosophical
Transactions of the Royal Society A, vol. 381, no. 2246. The Royal Society,
2023.
ista: Wang B, Mellibovsky F, Ayats López R, Deguchi K, Meseguer A. 2023. Mean structure
of the supercritical turbulent spiral in Taylor–Couette flow. Philosophical Transactions
of the Royal Society A. 381(2246), 0112.
mla: Wang, B., et al. “Mean Structure of the Supercritical Turbulent Spiral in Taylor–Couette
Flow.” Philosophical Transactions of the Royal Society A, vol. 381, no.
2246, 0112, The Royal Society, 2023, doi:10.1098/rsta.2022.0112.
short: B. Wang, F. Mellibovsky, R. Ayats López, K. Deguchi, A. Meseguer, Philosophical
Transactions of the Royal Society A 381 (2023).
date_created: 2024-01-08T13:11:45Z
date_published: 2023-05-01T00:00:00Z
date_updated: 2024-01-09T09:15:29Z
day: '01'
ddc:
- '530'
department:
- _id: BjHo
doi: 10.1098/rsta.2022.0112
external_id:
pmid:
- '36907214'
file:
- access_level: open_access
checksum: 1978d126c0ce2f47c22ac20107cc0106
content_type: application/pdf
creator: dernst
date_created: 2024-01-09T09:13:53Z
date_updated: 2024-01-09T09:13:53Z
file_id: '14763'
file_name: 2023_PhilTransactionsA_Wang_accepted.pdf
file_size: 6421086
relation: main_file
success: 1
file_date_updated: 2024-01-09T09:13:53Z
has_accepted_license: '1'
intvolume: ' 381'
issue: '2246'
keyword:
- General Physics and Astronomy
- General Engineering
- General Mathematics
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
pmid: 1
publication: Philosophical Transactions of the Royal Society A
publication_identifier:
eissn:
- 1471-2962
issn:
- 1364-503X
publication_status: published
publisher: The Royal Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mean structure of the supercritical turbulent spiral in Taylor–Couette flow
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 381
year: '2023'
...
---
_id: '14755'
abstract:
- lang: eng
text: We consider the sharp interface limit for the scalar-valued and vector-valued
Allen–Cahn equation with homogeneous Neumann boundary condition in a bounded smooth
domain Ω of arbitrary dimension N ⩾ 2 in the situation when a two-phase diffuse
interface has developed and intersects the boundary ∂ Ω. The limit problem is
mean curvature flow with 90°-contact angle and we show convergence in strong norms
for well-prepared initial data as long as a smooth solution to the limit problem
exists. To this end we assume that the limit problem has a smooth solution on
[ 0 , T ] for some time T > 0. Based on the latter we construct suitable curvilinear
coordinates and set up an asymptotic expansion for the scalar-valued and the vector-valued
Allen–Cahn equation. In order to estimate the difference of the exact and approximate
solutions with a Gronwall-type argument, a spectral estimate for the linearized
Allen–Cahn operator in both cases is required. The latter will be shown in a separate
paper, cf. (Moser (2021)).
acknowledgement: "The author gratefully acknowledges support through DFG, GRK 1692
“Curvature,\r\nCycles and Cohomology” during parts of the work."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Maximilian
full_name: Moser, Maximilian
id: a60047a9-da77-11eb-85b4-c4dc385ebb8c
last_name: Moser
citation:
ama: 'Moser M. Convergence of the scalar- and vector-valued Allen–Cahn equation
to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence
result. Asymptotic Analysis. 2023;131(3-4):297-383. doi:10.3233/asy-221775'
apa: 'Moser, M. (2023). Convergence of the scalar- and vector-valued Allen–Cahn
equation to mean curvature flow with 90°-contact angle in higher dimensions, part
I: Convergence result. Asymptotic Analysis. IOS Press. https://doi.org/10.3233/asy-221775'
chicago: 'Moser, Maximilian. “Convergence of the Scalar- and Vector-Valued Allen–Cahn
Equation to Mean Curvature Flow with 90°-Contact Angle in Higher Dimensions, Part
I: Convergence Result.” Asymptotic Analysis. IOS Press, 2023. https://doi.org/10.3233/asy-221775.'
ieee: 'M. Moser, “Convergence of the scalar- and vector-valued Allen–Cahn equation
to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence
result,” Asymptotic Analysis, vol. 131, no. 3–4. IOS Press, pp. 297–383,
2023.'
ista: 'Moser M. 2023. Convergence of the scalar- and vector-valued Allen–Cahn equation
to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence
result. Asymptotic Analysis. 131(3–4), 297–383.'
mla: 'Moser, Maximilian. “Convergence of the Scalar- and Vector-Valued Allen–Cahn
Equation to Mean Curvature Flow with 90°-Contact Angle in Higher Dimensions, Part
I: Convergence Result.” Asymptotic Analysis, vol. 131, no. 3–4, IOS Press,
2023, pp. 297–383, doi:10.3233/asy-221775.'
short: M. Moser, Asymptotic Analysis 131 (2023) 297–383.
date_created: 2024-01-08T13:13:28Z
date_published: 2023-02-02T00:00:00Z
date_updated: 2024-01-09T09:22:16Z
day: '02'
department:
- _id: JuFi
doi: 10.3233/asy-221775
external_id:
arxiv:
- '2105.07100'
intvolume: ' 131'
issue: 3-4
keyword:
- General Mathematics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2105.07100
month: '02'
oa: 1
oa_version: Preprint
page: 297-383
publication: Asymptotic Analysis
publication_identifier:
eissn:
- 1875-8576
issn:
- 0921-7134
publication_status: published
publisher: IOS Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature
flow with 90°-contact angle in higher dimensions, part I: Convergence result'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 131
year: '2023'
...
---
_id: '14756'
abstract:
- lang: eng
text: "We prove the r-spin cobordism hypothesis in the setting of (weak) 2-categories
for every positive integer r: the 2-groupoid of 2-dimensional fully extended r-spin
TQFTs with given target is equivalent to the homotopy fixed points of an induced
Spin 2r -action. In particular, such TQFTs are classified by fully dualisable
objects together with a trivialisation of the rth power of their Serre automorphisms.
For r=1, we recover the oriented case (on which our proof builds), while ordinary
spin structures correspond to r=2.\r\nTo construct examples, we explicitly describe
Spin 2r-homotopy fixed points in the equivariant completion of any symmetric
monoidal 2-category. We also show that every object in a 2-category of Landau–Ginzburg
models gives rise to fully extended spin TQFTs and that half of these do not factor
through the oriented bordism 2-category."
acknowledgement: "N.C. is supported by the DFG Heisenberg Programme.\r\nWe are grateful
to Tobias Dyckerhoff, Lukas Müller, Ingo Runkel, and Christopher Schommer-Pries
for helpful discussions."
article_processing_charge: Yes
article_type: original
author:
- first_name: Nils
full_name: Carqueville, Nils
last_name: Carqueville
- first_name: Lorant
full_name: Szegedy, Lorant
id: 7943226E-220E-11EA-94C7-D59F3DDC885E
last_name: Szegedy
orcid: 0000-0003-2834-5054
citation:
ama: Carqueville N, Szegedy L. Fully extended r-spin TQFTs. Quantum Topology.
2023;14(3):467-532. doi:10.4171/qt/193
apa: Carqueville, N., & Szegedy, L. (2023). Fully extended r-spin TQFTs. Quantum
Topology. European Mathematical Society. https://doi.org/10.4171/qt/193
chicago: Carqueville, Nils, and Lorant Szegedy. “Fully Extended R-Spin TQFTs.” Quantum
Topology. European Mathematical Society, 2023. https://doi.org/10.4171/qt/193.
ieee: N. Carqueville and L. Szegedy, “Fully extended r-spin TQFTs,” Quantum Topology,
vol. 14, no. 3. European Mathematical Society, pp. 467–532, 2023.
ista: Carqueville N, Szegedy L. 2023. Fully extended r-spin TQFTs. Quantum Topology.
14(3), 467–532.
mla: Carqueville, Nils, and Lorant Szegedy. “Fully Extended R-Spin TQFTs.” Quantum
Topology, vol. 14, no. 3, European Mathematical Society, 2023, pp. 467–532,
doi:10.4171/qt/193.
short: N. Carqueville, L. Szegedy, Quantum Topology 14 (2023) 467–532.
date_created: 2024-01-08T13:14:48Z
date_published: 2023-10-16T00:00:00Z
date_updated: 2024-01-09T09:27:46Z
day: '16'
ddc:
- '530'
department:
- _id: MiLe
doi: 10.4171/qt/193
file:
- access_level: open_access
checksum: b0590aff6e7ec89cc149ba94d459d3a3
content_type: application/pdf
creator: dernst
date_created: 2024-01-09T09:25:34Z
date_updated: 2024-01-09T09:25:34Z
file_id: '14764'
file_name: 2023_QuantumTopol_Carqueville.pdf
file_size: 707344
relation: main_file
success: 1
file_date_updated: 2024-01-09T09:25:34Z
has_accepted_license: '1'
intvolume: ' 14'
issue: '3'
keyword:
- Geometry and Topology
- Mathematical Physics
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 467-532
publication: Quantum Topology
publication_identifier:
issn:
- 1663-487X
publication_status: published
publisher: European Mathematical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fully extended r-spin TQFTs
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2023'
...
---
_id: '14757'
abstract:
- lang: eng
text: The cerebral cortex is comprised of a vast cell-type diversity sequentially
generated by cortical progenitor cells. Faithful progenitor lineage progression
requires the tight orchestration of distinct molecular and cellular mechanisms
regulating proper progenitor proliferation behavior and differentiation. Correct
execution of developmental programs involves a complex interplay of cell intrinsic
and tissue-wide mechanisms. Many studies over the past decades have been able
to determine a plethora of genes critically involved in cortical development.
However, only a few made use of genetic paradigms with sparse and global gene
deletion to probe cell-autonomous vs. tissue-wide contribution. In this chapter,
we will elaborate on the importance of dissecting the cell-autonomous and tissue-wide
mechanisms to gain a precise understanding of gene function during radial glial
progenitor lineage progression.
article_processing_charge: No
author:
- first_name: Ana
full_name: Villalba Requena, Ana
id: 68cb85a0-39f7-11eb-9559-9aaab4f6a247
last_name: Villalba Requena
orcid: 0000-0002-5615-5277
- first_name: Nicole
full_name: Amberg, Nicole
id: 4CD6AAC6-F248-11E8-B48F-1D18A9856A87
last_name: Amberg
orcid: 0000-0002-3183-8207
- first_name: Simon
full_name: Hippenmeyer, Simon
id: 37B36620-F248-11E8-B48F-1D18A9856A87
last_name: Hippenmeyer
orcid: 0000-0003-2279-1061
citation:
ama: 'Villalba Requena A, Amberg N, Hippenmeyer S. Interplay of Cell‐autonomous
Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage
Progression. In: Huttner W, ed. Neocortical Neurogenesis in Development and
Evolution. Wiley; 2023:169-191. doi:10.1002/9781119860914.ch10'
apa: Villalba Requena, A., Amberg, N., & Hippenmeyer, S. (2023). Interplay of
Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial
Progenitor Lineage Progression. In W. Huttner (Ed.), Neocortical Neurogenesis
in Development and Evolution (pp. 169–191). Wiley. https://doi.org/10.1002/9781119860914.ch10
chicago: Villalba Requena, Ana, Nicole Amberg, and Simon Hippenmeyer. “Interplay
of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial
Glial Progenitor Lineage Progression.” In Neocortical Neurogenesis in Development
and Evolution, edited by Wieland Huttner, 169–91. Wiley, 2023. https://doi.org/10.1002/9781119860914.ch10.
ieee: A. Villalba Requena, N. Amberg, and S. Hippenmeyer, “Interplay of Cell‐autonomous
Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage
Progression,” in Neocortical Neurogenesis in Development and Evolution,
W. Huttner, Ed. Wiley, 2023, pp. 169–191.
ista: 'Villalba Requena A, Amberg N, Hippenmeyer S. 2023.Interplay of Cell‐autonomous
Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage
Progression. In: Neocortical Neurogenesis in Development and Evolution. , 169–191.'
mla: Villalba Requena, Ana, et al. “Interplay of Cell‐autonomous Gene Function and
Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression.”
Neocortical Neurogenesis in Development and Evolution, edited by Wieland
Huttner, Wiley, 2023, pp. 169–91, doi:10.1002/9781119860914.ch10.
short: A. Villalba Requena, N. Amberg, S. Hippenmeyer, in:, W. Huttner (Ed.), Neocortical
Neurogenesis in Development and Evolution, Wiley, 2023, pp. 169–191.
date_created: 2024-01-08T13:16:36Z
date_published: 2023-08-08T00:00:00Z
date_updated: 2024-01-09T09:46:57Z
day: '08'
department:
- _id: SiHi
doi: 10.1002/9781119860914.ch10
editor:
- first_name: Wieland
full_name: Huttner, Wieland
last_name: Huttner
language:
- iso: eng
month: '08'
oa_version: None
page: 169-191
publication: Neocortical Neurogenesis in Development and Evolution
publication_identifier:
eisbn:
- '9781119860914'
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating
Radial Glial Progenitor Lineage Progression
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14758'
abstract:
- lang: eng
text: 'We present a flexible and efficient toolchain to symbolically solve (standard)
Rabin games, fair-adversarial Rabin games, and 2 1/2 license type-player Rabin
games. To our best knowledge, our tools are the first ones to be able to solve
these problems. Furthermore, using these flexible game solvers as a back-end,
we implemented a tool for computing correct-by-construction controllers for stochastic
dynamical systems under LTL specifications. Our implementations use the recent
theoretical result that all of these games can be solved using the same symbolic
fixpoint algorithm but utilizing different, domain specific calculations of the
involved predecessor operators. The main feature of our toolchain is the utilization
of two programming abstractions: one to separate the symbolic fixpoint computations
from the predecessor calculations, and another one to allow the integration of
different BDD libraries as back-ends. In particular, we employ a multi-threaded
execution of the fixpoint algorithm by using the multi-threaded BDD library Sylvan,
which leads to enormous computational savings.'
acknowledgement: 'Authors ordered alphabetically. R. Majumdar and A.-K. Schmuck are
partially supported by DFG project 389792660 TRR 248-CPEC. A.-K. Schmuck is additionally
funded through DFG project (SCHM 3541/1-1). K. Mallik is supported by the ERC project
ERC-2020-AdG 101020093. M. Rychlicki is supported by the EPSRC project EP/V00252X/1.
S. Soudjani is supported by the following projects: EPSRC EP/V043676/1, EIC 101070802,
and ERC 101089047.'
alternative_title:
- LNCS
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Rupak
full_name: Majumdar, Rupak
last_name: Majumdar
- first_name: Kaushik
full_name: Mallik, Kaushik
id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
last_name: Mallik
orcid: 0000-0001-9864-7475
- first_name: Mateusz
full_name: Rychlicki, Mateusz
last_name: Rychlicki
- first_name: Anne-Kathrin
full_name: Schmuck, Anne-Kathrin
last_name: Schmuck
- first_name: Sadegh
full_name: Soudjani, Sadegh
last_name: Soudjani
citation:
ama: 'Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain
for symbolic rabin games under fair and stochastic uncertainties. In: 35th
International Conference on Computer Aided Verification. Vol 13966. Springer
Nature; 2023:3-15. doi:10.1007/978-3-031-37709-9_1'
apa: 'Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S.
(2023). A flexible toolchain for symbolic rabin games under fair and stochastic
uncertainties. In 35th International Conference on Computer Aided Verification
(Vol. 13966, pp. 3–15). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_1'
chicago: Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck,
and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair
and Stochastic Uncertainties.” In 35th International Conference on Computer
Aided Verification, 13966:3–15. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_1.
ieee: R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible
toolchain for symbolic rabin games under fair and stochastic uncertainties,” in
35th International Conference on Computer Aided Verification, Paris, France,
2023, vol. 13966, pp. 3–15.
ista: 'Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible
toolchain for symbolic rabin games under fair and stochastic uncertainties. 35th
International Conference on Computer Aided Verification. CAV: Computer Aided Verification,
LNCS, vol. 13966, 3–15.'
mla: Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under
Fair and Stochastic Uncertainties.” 35th International Conference on Computer
Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.
short: R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th
International Conference on Computer Aided Verification, Springer Nature, 2023,
pp. 3–15.
conference:
end_date: 2023-07-22
location: Paris, France
name: 'CAV: Computer Aided Verification'
start_date: 2023-07-17
date_created: 2024-01-08T13:18:00Z
date_published: 2023-07-16T00:00:00Z
date_updated: 2024-02-27T07:39:51Z
day: '16'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-031-37709-9_1
ec_funded: 1
file:
- access_level: open_access
checksum: 1a361d83db0244fd32c03b544c294b5a
content_type: application/pdf
creator: dernst
date_created: 2024-01-09T10:01:07Z
date_updated: 2024-01-09T10:01:07Z
file_id: '14765'
file_name: 2023_LNCSCAV_Majumdar.pdf
file_size: 405147
relation: main_file
success: 1
file_date_updated: 2024-01-09T10:01:07Z
has_accepted_license: '1'
intvolume: ' 13966'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 3-15
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 35th International Conference on Computer Aided Verification
publication_identifier:
eisbn:
- '9783031377099'
eissn:
- 1611-3349
isbn:
- '9783031377082'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '14994'
relation: research_data
status: public
scopus_import: '1'
status: public
title: A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
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: 13966
year: '2023'
...
---
_id: '14759'
abstract:
- lang: eng
text: "Proper operation of electro-optic I/Q modulators relies on precise adjustment
and control of the relative phase biases between the modulator’s internal interferometer
arms. We present an all-analog phase bias locking scheme where error signals are
obtained from the beat between the optical carrier and optical tones generated
by an auxiliary 2 MHz \U0001D445\U0001D439 tone to lock the phases of all three
involved interferometers for operation up to 10 GHz. With the developed method,
we demonstrate an I/Q modulator in carrier-suppressed single-sideband mode, where
the suppressed carrier and sideband are locked at optical power levels <−27dB\r\n
relative to the transmitted sideband. We describe a simple analytical model for
calculating the error signals and detail the implementation of the electronic
circuitry for the implementation of the method."
acknowledgement: We thank Jakob Vorlaufer for technical contributions and Vyacheslav
Li and Sofia Agafonova for comments on the manuscript.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Sebastian
full_name: Wald, Sebastian
id: 133F200A-B015-11E9-AD41-0EDAE5697425
last_name: Wald
orcid: 0000-0002-5869-1604
- first_name: Fritz R
full_name: Diorico, Fritz R
id: 2E054C4C-F248-11E8-B48F-1D18A9856A87
last_name: Diorico
orcid: 0000-0002-4947-8924
- first_name: Onur
full_name: Hosten, Onur
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
citation:
ama: Wald S, Diorico FR, Hosten O. Analog stabilization of an electro-optic I/Q
modulator with an auxiliary modulation tone. Applied Optics. 2023;62(1):1-7.
doi:10.1364/ao.474118
apa: Wald, S., Diorico, F. R., & Hosten, O. (2023). Analog stabilization of
an electro-optic I/Q modulator with an auxiliary modulation tone. Applied Optics.
Optica Publishing Group. https://doi.org/10.1364/ao.474118
chicago: Wald, Sebastian, Fritz R Diorico, and Onur Hosten. “Analog Stabilization
of an Electro-Optic I/Q Modulator with an Auxiliary Modulation Tone.” Applied
Optics. Optica Publishing Group, 2023. https://doi.org/10.1364/ao.474118.
ieee: S. Wald, F. R. Diorico, and O. Hosten, “Analog stabilization of an electro-optic
I/Q modulator with an auxiliary modulation tone,” Applied Optics, vol.
62, no. 1. Optica Publishing Group, pp. 1–7, 2023.
ista: Wald S, Diorico FR, Hosten O. 2023. Analog stabilization of an electro-optic
I/Q modulator with an auxiliary modulation tone. Applied Optics. 62(1), 1–7.
mla: Wald, Sebastian, et al. “Analog Stabilization of an Electro-Optic I/Q Modulator
with an Auxiliary Modulation Tone.” Applied Optics, vol. 62, no. 1, Optica
Publishing Group, 2023, pp. 1–7, doi:10.1364/ao.474118.
short: S. Wald, F.R. Diorico, O. Hosten, Applied Optics 62 (2023) 1–7.
date_created: 2024-01-08T13:19:14Z
date_published: 2023-01-01T00:00:00Z
date_updated: 2024-01-09T10:10:34Z
day: '01'
department:
- _id: OnHo
doi: 10.1364/ao.474118
external_id:
arxiv:
- '2208.11591'
intvolume: ' 62'
issue: '1'
keyword:
- Atomic and Molecular Physics
- and Optics
- Engineering (miscellaneous)
- Electrical and Electronic Engineering
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2208.11591
month: '01'
oa: 1
oa_version: Preprint
page: 1-7
publication: Applied Optics
publication_identifier:
eissn:
- 2155-3165
issn:
- 1559-128X
publication_status: published
publisher: Optica Publishing Group
quality_controlled: '1'
scopus_import: '1'
status: public
title: Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation
tone
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 62
year: '2023'
...
---
_id: '14768'
abstract:
- lang: eng
text: 'In all state-of-the-art sketching and coreset techniques for clustering,
as well as in the best known fixed-parameter tractable approximation algorithms,
randomness plays a key role. For the classic k-median and k-means problems, there
are no known deterministic dimensionality reduction procedure or coreset construction
that avoid an exponential dependency on the input dimension d, the precision parameter
$\varepsilon^{-1}$ or k. Furthermore, there is no coreset construction that succeeds
with probability $1-1/n$ and whose size does not depend on the number of input
points, n. This has led researchers in the area to ask what is the power of randomness
for clustering sketches [Feldman WIREs Data Mining Knowl. Discov’20].Similarly,
the best approximation ratio achievable deterministically without a complexity
exponential in the dimension are $1+\sqrt{2}$ for k-median [Cohen-Addad, Esfandiari,
Mirrokni, Narayanan, STOC’22] and 6.12903 for k-means [Grandoni, Ostrovsky, Rabani,
Schulman, Venkat, Inf. Process. Lett.’22]. Those are the best results, even when
allowing a complexity FPT in the number of clusters k: this stands in sharp contrast
with the $(1+\varepsilon)$-approximation achievable in that case, when allowing
randomization.In this paper, we provide deterministic sketches constructions for
clustering, whose size bounds are close to the best-known randomized ones. We
show how to compute a dimension reduction onto $\varepsilon^{-O(1)} \log k$ dimensions
in time $k^{O\left(\varepsilon^{-O(1)}+\log \log k\right)}$ poly $(n d)$, and
how to build a coreset of size $O\left(k^{2} \log ^{3} k \varepsilon^{-O(1)}\right)$
in time $2^{\varepsilon^{O(1)} k \log ^{3} k}+k^{O\left(\varepsilon^{-O(1)}+\log
\log k\right)}$ poly $(n d)$. In the case where k is small, this answers an open
question of [Feldman WIDM’20] and [Munteanu and Schwiegelshohn, Künstliche Intell.
’18] on whether it is possible to efficiently compute coresets deterministically.We
also construct a deterministic algorithm for computing $(1+$ $\varepsilon)$-approximation
to k-median and k-means in high dimensional Euclidean spaces in time $2^{k^{2}
\log ^{3} k / \varepsilon^{O(1)}}$ poly $(n d)$, close to the best randomized
complexity of $2^{(k / \varepsilon)^{O(1)}}$ nd (see [Kumar, Sabharwal, Sen, JACM
10] and [Bhattacharya, Jaiswal, Kumar, TCS’18]).Furthermore, our new insights
on sketches also yield a randomized coreset construction that uses uniform sampling,
that immediately improves over the recent results of [Braverman et al. FOCS ’22]
by a factor k.'
acknowledgement: "D. Sauplic has received funding from the European Union’s Horizon
2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement
No 101034413, and Grant agreement No. 101019564 “The Design of Modern Fully Dynamic
Data Structures (MoDynStruct)”.\r\nC. Schwiegelshohn acknowledges the support of
the Independent Research Fund Denmark (DFF) under a Sapere Aude Research Leader
grant No 1051-00106B."
article_processing_charge: No
arxiv: 1
author:
- first_name: Vincent
full_name: Cohen-Addad, Vincent
last_name: Cohen-Addad
- first_name: David
full_name: Saulpic, David
id: f8e48cf0-b0ff-11ed-b0e9-b4c35598f964
last_name: Saulpic
- first_name: Chris
full_name: Schwiegelshohn, Chris
last_name: Schwiegelshohn
citation:
ama: 'Cohen-Addad V, Saulpic D, Schwiegelshohn C. Deterministic clustering in high
dimensional spaces: Sketches and approximation. In: 2023 IEEE 64th Annual Symposium
on Foundations of Computer Science. IEEE; 2023:1105-1130. doi:10.1109/focs57990.2023.00066'
apa: 'Cohen-Addad, V., Saulpic, D., & Schwiegelshohn, C. (2023). Deterministic
clustering in high dimensional spaces: Sketches and approximation. In 2023
IEEE 64th Annual Symposium on Foundations of Computer Science (pp. 1105–1130).
Santa Cruz, CA, United States: IEEE. https://doi.org/10.1109/focs57990.2023.00066'
chicago: 'Cohen-Addad, Vincent, David Saulpic, and Chris Schwiegelshohn. “Deterministic
Clustering in High Dimensional Spaces: Sketches and Approximation.” In 2023
IEEE 64th Annual Symposium on Foundations of Computer Science, 1105–30. IEEE,
2023. https://doi.org/10.1109/focs57990.2023.00066.'
ieee: 'V. Cohen-Addad, D. Saulpic, and C. Schwiegelshohn, “Deterministic clustering
in high dimensional spaces: Sketches and approximation,” in 2023 IEEE 64th
Annual Symposium on Foundations of Computer Science, Santa Cruz, CA, United
States, 2023, pp. 1105–1130.'
ista: 'Cohen-Addad V, Saulpic D, Schwiegelshohn C. 2023. Deterministic clustering
in high dimensional spaces: Sketches and approximation. 2023 IEEE 64th Annual
Symposium on Foundations of Computer Science. FOCS: Symposium on Foundations of
Computer Science, 1105–1130.'
mla: 'Cohen-Addad, Vincent, et al. “Deterministic Clustering in High Dimensional
Spaces: Sketches and Approximation.” 2023 IEEE 64th Annual Symposium on Foundations
of Computer Science, IEEE, 2023, pp. 1105–30, doi:10.1109/focs57990.2023.00066.'
short: V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual
Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.
conference:
end_date: 2023-11-09
location: Santa Cruz, CA, United States
name: 'FOCS: Symposium on Foundations of Computer Science'
start_date: 2023-11-06
date_created: 2024-01-09T16:20:09Z
date_published: 2023-12-22T00:00:00Z
date_updated: 2024-01-16T07:28:06Z
day: '22'
department:
- _id: MoHe
doi: 10.1109/focs57990.2023.00066
ec_funded: 1
external_id:
arxiv:
- '2310.04076'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2310.04076
month: '12'
oa: 1
oa_version: Preprint
page: 1105-1130
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
- _id: bd9ca328-d553-11ed-ba76-dc4f890cfe62
call_identifier: H2020
grant_number: '101019564'
name: The design and evaluation of modern fully dynamic data structures
publication: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science
publication_identifier:
eisbn:
- '9798350318944'
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Deterministic clustering in high dimensional spaces: Sketches and approximation'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14770'
abstract:
- lang: eng
text: We developed LIONESS, a technology that leverages improvements to optical
super-resolution microscopy and prior information on sample structure via machine
learning to overcome the limitations (in 3D-resolution, signal-to-noise ratio
and light exposure) of optical microscopy of living biological specimens. LIONESS
enables dense reconstruction of living brain tissue and morphodynamics visualization
at the nanoscale.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Johann G
full_name: Danzl, Johann G
id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
last_name: Danzl
orcid: 0000-0001-8559-3973
- first_name: Philipp
full_name: Velicky, Philipp
id: 39BDC62C-F248-11E8-B48F-1D18A9856A87
last_name: Velicky
orcid: 0000-0002-2340-7431
citation:
ama: Danzl JG, Velicky P. LIONESS enables 4D nanoscale reconstruction of living
brain tissue. Nature Methods. 2023;20(8):1141-1142. doi:10.1038/s41592-023-01937-5
apa: Danzl, J. G., & Velicky, P. (2023). LIONESS enables 4D nanoscale reconstruction
of living brain tissue. Nature Methods. Springer Nature. https://doi.org/10.1038/s41592-023-01937-5
chicago: Danzl, Johann G, and Philipp Velicky. “LIONESS Enables 4D Nanoscale Reconstruction
of Living Brain Tissue.” Nature Methods. Springer Nature, 2023. https://doi.org/10.1038/s41592-023-01937-5.
ieee: J. G. Danzl and P. Velicky, “LIONESS enables 4D nanoscale reconstruction of
living brain tissue,” Nature Methods, vol. 20, no. 8. Springer Nature,
pp. 1141–1142, 2023.
ista: Danzl JG, Velicky P. 2023. LIONESS enables 4D nanoscale reconstruction of
living brain tissue. Nature Methods. 20(8), 1141–1142.
mla: Danzl, Johann G., and Philipp Velicky. “LIONESS Enables 4D Nanoscale Reconstruction
of Living Brain Tissue.” Nature Methods, vol. 20, no. 8, Springer Nature,
2023, pp. 1141–42, doi:10.1038/s41592-023-01937-5.
short: J.G. Danzl, P. Velicky, Nature Methods 20 (2023) 1141–1142.
date_created: 2024-01-10T08:07:15Z
date_published: 2023-08-01T00:00:00Z
date_updated: 2024-01-10T08:37:48Z
day: '01'
department:
- _id: JoDa
doi: 10.1038/s41592-023-01937-5
external_id:
isi:
- '001025621500002'
intvolume: ' 20'
isi: 1
issue: '8'
keyword:
- Cell Biology
- Molecular Biology
- Biochemistry
- Biotechnology
language:
- iso: eng
month: '08'
oa_version: None
page: 1141-1142
publication: Nature Methods
publication_identifier:
eissn:
- 1548-7105
issn:
- 1548-7091
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '13267'
relation: extended_version
status: public
scopus_import: '1'
status: public
title: LIONESS enables 4D nanoscale reconstruction of living brain tissue
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 20
year: '2023'
...
---
_id: '14771'
abstract:
- lang: eng
text: Pruning—that is, setting a significant subset of the parameters of a neural
network to zero—is one of the most popular methods of model compression. Yet,
several recent works have raised the issue that pruning may induce or exacerbate
bias in the output of the compressed model. Despite existing evidence for this
phenomenon, the relationship between neural network pruning and induced bias is
not well-understood. In this work, we systematically investigate and characterize
this phenomenon in Convolutional Neural Networks for computer vision. First, we
show that it is in fact possible to obtain highly-sparse models, e.g. with less
than 10% remaining weights, which do not decrease in accuracy nor substantially
increase in bias when compared to dense models. At the same time, we also find
that, at higher sparsities, pruned models exhibit higher uncertainty in their
outputs, as well as increased correlations, which we directly link to increased
bias. We propose easy-to-use criteria which, based only on the uncompressed model,
establish whether bias will increase with pruning, and identify the samples most
susceptible to biased predictions post-compression. Our code can be found at https://github.com/IST-DASLab/pruned-vision-model-bias.
acknowledgement: The authors would like to sincerely thank Sara Hooker for her feedback
during the development of this work. EI was supported in part by the FWF DK VGSCO,
grant agreement number W1260-N35. AP and DA acknowledge generous ERC support, via
Starting Grant 805223 ScaleML.
article_processing_charge: No
arxiv: 1
author:
- first_name: Eugenia B
full_name: Iofinova, Eugenia B
id: f9a17499-f6e0-11ea-865d-fdf9a3f77117
last_name: Iofinova
orcid: 0000-0002-7778-3221
- first_name: Elena-Alexandra
full_name: Peste, Elena-Alexandra
id: 32D78294-F248-11E8-B48F-1D18A9856A87
last_name: Peste
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
citation:
ama: 'Iofinova EB, Peste E-A, Alistarh D-A. Bias in pruned vision models: In-depth
analysis and countermeasures. In: 2023 IEEE/CVF Conference on Computer Vision
and Pattern Recognition. IEEE; 2023:24364-24373. doi:10.1109/cvpr52729.2023.02334'
apa: 'Iofinova, E. B., Peste, E.-A., & Alistarh, D.-A. (2023). Bias in pruned
vision models: In-depth analysis and countermeasures. In 2023 IEEE/CVF Conference
on Computer Vision and Pattern Recognition (pp. 24364–24373). Vancouver, BC,
Canada: IEEE. https://doi.org/10.1109/cvpr52729.2023.02334'
chicago: 'Iofinova, Eugenia B, Elena-Alexandra Peste, and Dan-Adrian Alistarh. “Bias
in Pruned Vision Models: In-Depth Analysis and Countermeasures.” In 2023 IEEE/CVF
Conference on Computer Vision and Pattern Recognition, 24364–73. IEEE, 2023.
https://doi.org/10.1109/cvpr52729.2023.02334.'
ieee: 'E. B. Iofinova, E.-A. Peste, and D.-A. Alistarh, “Bias in pruned vision models:
In-depth analysis and countermeasures,” in 2023 IEEE/CVF Conference on Computer
Vision and Pattern Recognition, Vancouver, BC, Canada, 2023, pp. 24364–24373.'
ista: 'Iofinova EB, Peste E-A, Alistarh D-A. 2023. Bias in pruned vision models:
In-depth analysis and countermeasures. 2023 IEEE/CVF Conference on Computer Vision
and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition,
24364–24373.'
mla: 'Iofinova, Eugenia B., et al. “Bias in Pruned Vision Models: In-Depth Analysis
and Countermeasures.” 2023 IEEE/CVF Conference on Computer Vision and Pattern
Recognition, IEEE, 2023, pp. 24364–73, doi:10.1109/cvpr52729.2023.02334.'
short: E.B. Iofinova, E.-A. Peste, D.-A. Alistarh, in:, 2023 IEEE/CVF Conference
on Computer Vision and Pattern Recognition, IEEE, 2023, pp. 24364–24373.
conference:
end_date: 2023-06-24
location: Vancouver, BC, Canada
name: 'CVPR: Conference on Computer Vision and Pattern Recognition'
start_date: 2023-06-17
date_created: 2024-01-10T08:42:40Z
date_published: 2023-08-22T00:00:00Z
date_updated: 2024-01-10T08:59:26Z
day: '22'
department:
- _id: DaAl
- _id: ChLa
doi: 10.1109/cvpr52729.2023.02334
ec_funded: 1
external_id:
arxiv:
- '2304.12622'
isi:
- '001062531308068'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2304.12622
month: '08'
oa: 1
oa_version: Preprint
page: 24364-24373
project:
- _id: 9B9290DE-BA93-11EA-9121-9846C619BF3A
grant_number: ' W1260-N35'
name: Vienna Graduate School on Computational Optimization
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '805223'
name: Elastic Coordination for Scalable Machine Learning
publication: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition
publication_identifier:
eisbn:
- '9798350301298'
eissn:
- 2575-7075
publication_status: published
publisher: IEEE
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/IST-DASLab/pruned-vision-model-bias
status: public
title: 'Bias in pruned vision models: In-depth analysis and countermeasures'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14772'
abstract:
- lang: eng
text: "Many coupled evolution equations can be described via 2×2-block operator
matrices of the form A=[ \r\nA\tB\r\nC\tD\r\n ] in a product space X=X1×X2 with
possibly unbounded entries. Here, the case of diagonally dominant block operator
matrices is considered, that is, the case where the full operator A can be seen
as a relatively bounded perturbation of its diagonal part with D(A)=D(A)×D(D)
though with possibly large relative bound. For such operators the properties of
sectoriality, R-sectoriality and the boundedness of the H∞-calculus are studied,
and for these properties perturbation results for possibly large but structured
perturbations are derived. Thereby, the time dependent parabolic problem associated
with A can be analyzed in maximal Lpt\r\n-regularity spaces, and this is applied
to a wide range of problems such as different theories for liquid crystals, an
artificial Stokes system, strongly damped wave and plate equations, and a Keller-Segel
model."
acknowledgement: "We would like to thank Tim Binz, Emiel Lorist and Mark Veraar for
valuable discussions. We also thank the anonymous referees for their helpful comments
and suggestions, and for the very accurate reading of the manuscript.\r\nThe first
author has been supported partially by the Nachwuchsring – Network for the promotion
of young scientists – at TU Kaiserslautern. Both authors have been supported by
MathApp – Mathematics Applied to Real-World Problems - part of the Research Initiative
of the Federal State of Rhineland-Palatinate, Germany."
article_number: '110146'
article_processing_charge: Yes (in subscription journal)
article_type: original
arxiv: 1
author:
- first_name: Antonio
full_name: Agresti, Antonio
id: 673cd0cc-9b9a-11eb-b144-88f30e1fbb72
last_name: Agresti
orcid: 0000-0002-9573-2962
- first_name: Amru
full_name: Hussein, Amru
last_name: Hussein
citation:
ama: Agresti A, Hussein A. Maximal Lp-regularity and H∞-calculus for block operator
matrices and applications. Journal of Functional Analysis. 2023;285(11).
doi:10.1016/j.jfa.2023.110146
apa: Agresti, A., & Hussein, A. (2023). Maximal Lp-regularity and H∞-calculus
for block operator matrices and applications. Journal of Functional Analysis.
Elsevier. https://doi.org/10.1016/j.jfa.2023.110146
chicago: Agresti, Antonio, and Amru Hussein. “Maximal Lp-Regularity and H∞-Calculus
for Block Operator Matrices and Applications.” Journal of Functional Analysis.
Elsevier, 2023. https://doi.org/10.1016/j.jfa.2023.110146.
ieee: A. Agresti and A. Hussein, “Maximal Lp-regularity and H∞-calculus for block
operator matrices and applications,” Journal of Functional Analysis, vol.
285, no. 11. Elsevier, 2023.
ista: Agresti A, Hussein A. 2023. Maximal Lp-regularity and H∞-calculus for block
operator matrices and applications. Journal of Functional Analysis. 285(11), 110146.
mla: Agresti, Antonio, and Amru Hussein. “Maximal Lp-Regularity and H∞-Calculus
for Block Operator Matrices and Applications.” Journal of Functional Analysis,
vol. 285, no. 11, 110146, Elsevier, 2023, doi:10.1016/j.jfa.2023.110146.
short: A. Agresti, A. Hussein, Journal of Functional Analysis 285 (2023).
date_created: 2024-01-10T09:15:18Z
date_published: 2023-12-01T00:00:00Z
date_updated: 2024-01-10T11:24:56Z
day: '01'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1016/j.jfa.2023.110146
external_id:
arxiv:
- '2108.01962'
isi:
- '001081809000001'
file:
- access_level: open_access
checksum: eda98ca2aa73da91bd074baed34c2b3c
content_type: application/pdf
creator: dernst
date_created: 2024-01-10T11:23:57Z
date_updated: 2024-01-10T11:23:57Z
file_id: '14789'
file_name: 2023_JourFunctionalAnalysis_Agresti.pdf
file_size: 1120592
relation: main_file
success: 1
file_date_updated: 2024-01-10T11:23:57Z
has_accepted_license: '1'
intvolume: ' 285'
isi: 1
issue: '11'
keyword:
- Analysis
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
publication: Journal of Functional Analysis
publication_identifier:
issn:
- 0022-1236
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Maximal Lp-regularity and H∞-calculus for block operator matrices and applications
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: 285
year: '2023'
...
---
_id: '14773'
abstract:
- lang: eng
text: Through a combination of idealized simulations and real-world data, researchers
are uncovering how internal feedbacks and large-scale motions influence cloud
dynamics.
article_number: '28'
article_processing_charge: No
article_type: original
author:
- first_name: Caroline J
full_name: Muller, Caroline J
id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b
last_name: Muller
orcid: 0000-0001-5836-5350
- first_name: Sophie
full_name: Abramian, Sophie
last_name: Abramian
citation:
ama: Muller CJ, Abramian S. The cloud dynamics of convective storm systems. Physics
Today. 2023;76(5). doi:10.1063/pt.3.5234
apa: Muller, C. J., & Abramian, S. (2023). The cloud dynamics of convective
storm systems. Physics Today. AIP Publishing. https://doi.org/10.1063/pt.3.5234
chicago: Muller, Caroline J, and Sophie Abramian. “The Cloud Dynamics of Convective
Storm Systems.” Physics Today. AIP Publishing, 2023. https://doi.org/10.1063/pt.3.5234.
ieee: C. J. Muller and S. Abramian, “The cloud dynamics of convective storm systems,”
Physics Today, vol. 76, no. 5. AIP Publishing, 2023.
ista: Muller CJ, Abramian S. 2023. The cloud dynamics of convective storm systems.
Physics Today. 76(5), 28.
mla: Muller, Caroline J., and Sophie Abramian. “The Cloud Dynamics of Convective
Storm Systems.” Physics Today, vol. 76, no. 5, 28, AIP Publishing, 2023,
doi:10.1063/pt.3.5234.
short: C.J. Muller, S. Abramian, Physics Today 76 (2023).
date_created: 2024-01-10T09:18:04Z
date_published: 2023-05-01T00:00:00Z
date_updated: 2024-01-10T12:38:02Z
day: '01'
department:
- _id: CaMu
doi: 10.1063/pt.3.5234
external_id:
isi:
- '000984516100007'
intvolume: ' 76'
isi: 1
issue: '5'
keyword:
- General Physics and Astronomy
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.lmd.ens.fr/muller/Pubs/2023-MullerAbramianPhysToday.pdf
month: '05'
oa: 1
oa_version: Published Version
publication: Physics Today
publication_identifier:
eissn:
- 1945-0699
issn:
- 0031-9228
publication_status: published
publisher: AIP Publishing
quality_controlled: '1'
status: public
title: The cloud dynamics of convective storm systems
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 76
year: '2023'
...
---
_id: '14774'
abstract:
- lang: eng
text: Morphogen gradients impart positional information to cells in a homogenous
tissue field. Fgf8a, a highly conserved growth factor, has been proposed to act
as a morphogen during zebrafish gastrulation. However, technical limitations have
so far prevented direct visualization of the endogenous Fgf8a gradient and confirmation
of its morphogenic activity. Here, we monitor Fgf8a propagation in the developing
neural plate using a CRISPR/Cas9-mediated EGFP knock-in at the endogenous fgf8a
locus. By combining sensitive imaging with single-molecule fluorescence correlation
spectroscopy, we demonstrate that Fgf8a, which is produced at the embryonic margin,
propagates by diffusion through the extracellular space and forms a graded distribution
towards the animal pole. Overlaying the Fgf8a gradient curve with expression profiles
of its downstream targets determines the precise input-output relationship of
Fgf8a-mediated patterning. Manipulation of the extracellular Fgf8a levels alters
the signaling outcome, thus establishing Fgf8a as a bona fide morphogen during
zebrafish gastrulation. Furthermore, by hindering Fgf8a diffusion, we demonstrate
that extracellular diffusion of the protein from the source is crucial for it
to achieve its morphogenic potential.
acknowledgement: "We thank members of the Brand lab, as well as Justina Stark (Ivo
Sbalzarini group, Max Planck Institute of Molecular Cell Biology and Genetics, Dresden,
Germany) for project-related discussions; Darren Gilmour (University of Zurich),
Karuna Sampath (University of Warwick) and Gokul Kesavan (Vowels Lifesciences Private
Limited, Bangalore) for comments on the manuscript; personnel of the CMCB technology
platform, TU Dresden for imaging and image analysis-related support; and Maurizio
Abbate (Technical support, Arivis) for help with image analysis. We are also grateful
to Stapornwongkul and Briscoe for commenting on a preprint version of our work (Stapornwongkul
and Briscoe, 2022).\r\nThis work was supported by the Deutsche Forschungsgemeinschaft
(BR 1746/6-2, BR 1746/11-1 and BR 1746/3 to M.B.), by a Cluster of Excellence ‘Physics
of Life’ seed grant and by institutional funds from Technische Universitat Dresden
(to M.B.). Open Access funding provided by Technische Universitat Dresden. Deposited
in PMC for immediate release."
article_number: dev201559
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Rohit K
full_name: Harish, Rohit K
id: 1bae78aa-ee0e-11ec-9b76-bc42990f409d
last_name: Harish
- first_name: Mansi
full_name: Gupta, Mansi
last_name: Gupta
- first_name: Daniela
full_name: Zöller, Daniela
last_name: Zöller
- first_name: Hella
full_name: Hartmann, Hella
last_name: Hartmann
- first_name: Ali
full_name: Gheisari, Ali
last_name: Gheisari
- first_name: Anja
full_name: Machate, Anja
last_name: Machate
- first_name: Stefan
full_name: Hans, Stefan
last_name: Hans
- first_name: Michael
full_name: Brand, Michael
last_name: Brand
citation:
ama: Harish RK, Gupta M, Zöller D, et al. Real-time monitoring of an endogenous
Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation.
Development. 2023;150(19). doi:10.1242/dev.201559
apa: Harish, R. K., Gupta, M., Zöller, D., Hartmann, H., Gheisari, A., Machate,
A., … Brand, M. (2023). Real-time monitoring of an endogenous Fgf8a gradient attests
to its role as a morphogen during zebrafish gastrulation. Development.
The Company of Biologists. https://doi.org/10.1242/dev.201559
chicago: Harish, Rohit K, Mansi Gupta, Daniela Zöller, Hella Hartmann, Ali Gheisari,
Anja Machate, Stefan Hans, and Michael Brand. “Real-Time Monitoring of an Endogenous
Fgf8a Gradient Attests to Its Role as a Morphogen during Zebrafish Gastrulation.”
Development. The Company of Biologists, 2023. https://doi.org/10.1242/dev.201559.
ieee: R. K. Harish et al., “Real-time monitoring of an endogenous Fgf8a gradient
attests to its role as a morphogen during zebrafish gastrulation,” Development,
vol. 150, no. 19. The Company of Biologists, 2023.
ista: Harish RK, Gupta M, Zöller D, Hartmann H, Gheisari A, Machate A, Hans S, Brand
M. 2023. Real-time monitoring of an endogenous Fgf8a gradient attests to its role
as a morphogen during zebrafish gastrulation. Development. 150(19), dev201559.
mla: Harish, Rohit K., et al. “Real-Time Monitoring of an Endogenous Fgf8a Gradient
Attests to Its Role as a Morphogen during Zebrafish Gastrulation.” Development,
vol. 150, no. 19, dev201559, The Company of Biologists, 2023, doi:10.1242/dev.201559.
short: R.K. Harish, M. Gupta, D. Zöller, H. Hartmann, A. Gheisari, A. Machate, S.
Hans, M. Brand, Development 150 (2023).
date_created: 2024-01-10T09:18:54Z
date_published: 2023-10-01T00:00:00Z
date_updated: 2024-01-10T12:45:25Z
day: '01'
ddc:
- '570'
department:
- _id: AnKi
doi: 10.1242/dev.201559
external_id:
isi:
- '001097449100002'
pmid:
- '37665167'
file:
- access_level: open_access
checksum: 2d6f52dc33260a9b2352b8f28374ba5f
content_type: application/pdf
creator: dernst
date_created: 2024-01-10T12:41:13Z
date_updated: 2024-01-10T12:41:13Z
file_id: '14790'
file_name: 2023_Development_Harish.pdf
file_size: 12836306
relation: main_file
success: 1
file_date_updated: 2024-01-10T12:41:13Z
has_accepted_license: '1'
intvolume: ' 150'
isi: 1
issue: '19'
keyword:
- Developmental Biology
- Molecular Biology
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
pmid: 1
publication: Development
publication_identifier:
eissn:
- 1477-9129
issn:
- 0950-1991
publication_status: published
publisher: The Company of Biologists
quality_controlled: '1'
status: public
title: Real-time monitoring of an endogenous Fgf8a gradient attests to its role as
a morphogen during zebrafish gastrulation
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: 150
year: '2023'
...
---
_id: '14775'
abstract:
- lang: eng
text: We establish a quantitative version of the Tracy–Widom law for the largest
eigenvalue of high-dimensional sample covariance matrices. To be precise, we show
that the fluctuations of the largest eigenvalue of a sample covariance matrix
X∗X converge to its Tracy–Widom limit at a rate nearly N−1/3, where X is an M×N
random matrix whose entries are independent real or complex random variables,
assuming that both M and N tend to infinity at a constant rate. This result improves
the previous estimate N−2/9 obtained by Wang (2019). Our proof relies on a Green
function comparison method (Adv. Math. 229 (2012) 1435–1515) using iterative cumulant
expansions, the local laws for the Green function and asymptotic properties of
the correlation kernel of the white Wishart ensemble.
acknowledgement: K. Schnelli was supported by the Swedish Research Council Grants
VR-2017-05195, and the Knut and Alice Wallenberg Foundation. Y. Xu was supported
by the Swedish Research Council Grant VR-2017-05195 and the ERC Advanced Grant “RMTBeyond”
No. 101020331.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Kevin
full_name: Schnelli, Kevin
id: 434AD0AE-F248-11E8-B48F-1D18A9856A87
last_name: Schnelli
orcid: 0000-0003-0954-3231
- first_name: Yuanyuan
full_name: Xu, Yuanyuan
id: 7902bdb1-a2a4-11eb-a164-c9216f71aea3
last_name: Xu
orcid: 0000-0003-1559-1205
citation:
ama: Schnelli K, Xu Y. Convergence rate to the Tracy–Widom laws for the largest
eigenvalue of sample covariance matrices. The Annals of Applied Probability.
2023;33(1):677-725. doi:10.1214/22-aap1826
apa: Schnelli, K., & Xu, Y. (2023). Convergence rate to the Tracy–Widom laws
for the largest eigenvalue of sample covariance matrices. The Annals of Applied
Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/22-aap1826
chicago: Schnelli, Kevin, and Yuanyuan Xu. “Convergence Rate to the Tracy–Widom
Laws for the Largest Eigenvalue of Sample Covariance Matrices.” The Annals
of Applied Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/22-aap1826.
ieee: K. Schnelli and Y. Xu, “Convergence rate to the Tracy–Widom laws for the largest
eigenvalue of sample covariance matrices,” The Annals of Applied Probability,
vol. 33, no. 1. Institute of Mathematical Statistics, pp. 677–725, 2023.
ista: Schnelli K, Xu Y. 2023. Convergence rate to the Tracy–Widom laws for the largest
eigenvalue of sample covariance matrices. The Annals of Applied Probability. 33(1),
677–725.
mla: Schnelli, Kevin, and Yuanyuan Xu. “Convergence Rate to the Tracy–Widom Laws
for the Largest Eigenvalue of Sample Covariance Matrices.” The Annals of Applied
Probability, vol. 33, no. 1, Institute of Mathematical Statistics, 2023, pp.
677–725, doi:10.1214/22-aap1826.
short: K. Schnelli, Y. Xu, The Annals of Applied Probability 33 (2023) 677–725.
date_created: 2024-01-10T09:23:31Z
date_published: 2023-02-01T00:00:00Z
date_updated: 2024-01-10T13:31:46Z
day: '01'
department:
- _id: LaEr
doi: 10.1214/22-aap1826
ec_funded: 1
external_id:
arxiv:
- '2108.02728'
isi:
- '000946432400021'
intvolume: ' 33'
isi: 1
issue: '1'
keyword:
- Statistics
- Probability and Uncertainty
- Statistics and Probability
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2108.02728
month: '02'
oa: 1
oa_version: Preprint
page: 677-725
project:
- _id: 62796744-2b32-11ec-9570-940b20777f1d
call_identifier: H2020
grant_number: '101020331'
name: Random matrices beyond Wigner-Dyson-Mehta
publication: The Annals of Applied Probability
publication_identifier:
issn:
- 1050-5164
publication_status: published
publisher: Institute of Mathematical Statistics
quality_controlled: '1'
scopus_import: '1'
status: public
title: Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample
covariance matrices
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2023'
...
---
_id: '14776'
abstract:
- lang: eng
text: Soluble chaperones residing in the endoplasmic reticulum (ER) play vitally
important roles in folding and quality control of newly synthesized proteins that
transiently pass through the ER en route to their final destinations. These soluble
residents of the ER are themselves endowed with an ER retrieval signal that enables
the cell to bring the escaped residents back from the Golgi. Here, by using purified
proteins, we showed that Nicotiana tabacum phytaspase, a plant aspartate-specific
protease, introduces two breaks at the C-terminus of the N. tabacum ER resident
calreticulin-3. These cleavages resulted in removal of either a dipeptide or a
hexapeptide from the C-terminus of calreticulin-3 encompassing part or all of
the ER retrieval signal. Consistently, expression of the calreticulin-3 derivative
mimicking the phytaspase cleavage product in Nicotiana benthamiana cells demonstrated
loss of the ER accumulation of the protein. Notably, upon its escape from the
ER, calreticulin-3 was further processed by an unknown protease(s) to generate
the free N-terminal (N) domain of calreticulin-3, which was ultimately secreted
into the apoplast. Our study thus identified a specific proteolytic enzyme capable
of precise detachment of the ER retrieval signal from a plant ER resident protein,
with implications for the further fate of the escaped resident.
acknowledgement: "We thank C.U.T. Hellen for critically reading the manuscript. The
MALDI MS facility and CLSM became available to us in the framework of Moscow State
University Development Programs PNG 5.13 and PNR 5.13.\r\nThis work was funded by
the Russian Science Foundation, grant numbers 19-14-00010 and 22-14-00071."
article_number: '16527'
article_processing_charge: Yes
article_type: original
author:
- first_name: Anastasiia
full_name: Teplova, Anastasiia
id: e3736151-106c-11ec-b916-c2558e2762c6
last_name: Teplova
- first_name: Artemii A.
full_name: Pigidanov, Artemii A.
last_name: Pigidanov
- first_name: Marina V.
full_name: Serebryakova, Marina V.
last_name: Serebryakova
- first_name: Sergei A.
full_name: Golyshev, Sergei A.
last_name: Golyshev
- first_name: Raisa A.
full_name: Galiullina, Raisa A.
last_name: Galiullina
- first_name: Nina V.
full_name: Chichkova, Nina V.
last_name: Chichkova
- first_name: Andrey B.
full_name: Vartapetian, Andrey B.
last_name: Vartapetian
citation:
ama: Teplova A, Pigidanov AA, Serebryakova MV, et al. Phytaspase Is capable of detaching
the endoplasmic reticulum retrieval signal from tobacco calreticulin-3. International
Journal of Molecular Sciences. 2023;24(22). doi:10.3390/ijms242216527
apa: Teplova, A., Pigidanov, A. A., Serebryakova, M. V., Golyshev, S. A., Galiullina,
R. A., Chichkova, N. V., & Vartapetian, A. B. (2023). Phytaspase Is capable
of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3.
International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms242216527
chicago: Teplova, Anastasiia, Artemii A. Pigidanov, Marina V. Serebryakova, Sergei
A. Golyshev, Raisa A. Galiullina, Nina V. Chichkova, and Andrey B. Vartapetian.
“Phytaspase Is Capable of Detaching the Endoplasmic Reticulum Retrieval Signal
from Tobacco Calreticulin-3.” International Journal of Molecular Sciences.
MDPI, 2023. https://doi.org/10.3390/ijms242216527.
ieee: A. Teplova et al., “Phytaspase Is capable of detaching the endoplasmic
reticulum retrieval signal from tobacco calreticulin-3,” International Journal
of Molecular Sciences, vol. 24, no. 22. MDPI, 2023.
ista: Teplova A, Pigidanov AA, Serebryakova MV, Golyshev SA, Galiullina RA, Chichkova
NV, Vartapetian AB. 2023. Phytaspase Is capable of detaching the endoplasmic reticulum
retrieval signal from tobacco calreticulin-3. International Journal of Molecular
Sciences. 24(22), 16527.
mla: Teplova, Anastasiia, et al. “Phytaspase Is Capable of Detaching the Endoplasmic
Reticulum Retrieval Signal from Tobacco Calreticulin-3.” International Journal
of Molecular Sciences, vol. 24, no. 22, 16527, MDPI, 2023, doi:10.3390/ijms242216527.
short: A. Teplova, A.A. Pigidanov, M.V. Serebryakova, S.A. Golyshev, R.A. Galiullina,
N.V. Chichkova, A.B. Vartapetian, International Journal of Molecular Sciences
24 (2023).
date_created: 2024-01-10T09:24:35Z
date_published: 2023-11-01T00:00:00Z
date_updated: 2024-01-10T13:41:10Z
day: '01'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.3390/ijms242216527
external_id:
isi:
- '001113792600001'
pmid:
- '38003717'
file:
- access_level: open_access
checksum: 4df7d206ba022b7f54eff1f0aec1659a
content_type: application/pdf
creator: dernst
date_created: 2024-01-10T13:39:42Z
date_updated: 2024-01-10T13:39:42Z
file_id: '14791'
file_name: 2023_IJMS_Teplova.pdf
file_size: 2637784
relation: main_file
success: 1
file_date_updated: 2024-01-10T13:39:42Z
has_accepted_license: '1'
intvolume: ' 24'
isi: 1
issue: '22'
keyword:
- Inorganic Chemistry
- Organic Chemistry
- Physical and Theoretical Chemistry
- Computer Science Applications
- Spectroscopy
- Molecular Biology
- General Medicine
- Catalysis
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
pmid: 1
publication: International Journal of Molecular Sciences
publication_identifier:
issn:
- 1422-0067
publication_status: published
publisher: MDPI
quality_controlled: '1'
status: public
title: Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal
from tobacco calreticulin-3
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: 24
year: '2023'
...
---
_id: '14777'
abstract:
- lang: eng
text: The effects of the partial V-substitution for Ag on the thermoelectric (TE)
properties are investigated for a flexible semiconducting compound Ag2S0.55Se0.45.
Density functional theory calculations predict that such a partial V-substitution
constructively modifies the electronic structure near the bottom of the conduction
band to improve the TE performance. The synthesized Ag1.97V0.03S0.55Se0.45 is
found to possess a TE dimensionless figure-of-merit (ZT) of 0.71 at 350 K with
maintaining its flexible nature. This ZT value is relatively high in comparison
with those reported for flexible TE materials below 360 K. The increase in the
ZT value is caused by the enhanced absolute value of the Seebeck coefficient with
less significant variation in electrical resistivity. The high ZT value with the
flexible nature naturally allows us to employ the Ag1.97V0.03S0.55Se0.45 as a
component of flexible TE generators.
acknowledgement: This work received financial support partially from Japan Science
and Technology Agency (JST) CREST Grant No. JPMJCR18I2, Japan. The powder-XRD experiments
were conducted at BL5S2 of Aichi Synchrotron Radiation Center, Aichi Science & Technology
Foundation, Aichi, Japan (Proposal No. 202301057).
article_number: '125206'
article_processing_charge: Yes
article_type: original
author:
- first_name: Kosuke
full_name: Sato, Kosuke
last_name: Sato
- first_name: Saurabh
full_name: Singh, Saurabh
id: 12d625da-9cb3-11ed-9667-af09d37d3f0a
last_name: Singh
orcid: 0000-0003-2209-5269
- first_name: Itsuki
full_name: Yamazaki, Itsuki
last_name: Yamazaki
- first_name: Keisuke
full_name: Hirata, Keisuke
last_name: Hirata
- first_name: Artoni Kevin R.
full_name: Ang, Artoni Kevin R.
last_name: Ang
- first_name: Masaharu
full_name: Matsunami, Masaharu
last_name: Matsunami
- first_name: Tsunehiro
full_name: Takeuchi, Tsunehiro
last_name: Takeuchi
citation:
ama: Sato K, Singh S, Yamazaki I, et al. Improvement of thermoelectric performance
of flexible compound Ag2S0.55Se0.45 by means of partial V-substitution for Ag.
AIP Advances. 2023;13(12). doi:10.1063/5.0171888
apa: Sato, K., Singh, S., Yamazaki, I., Hirata, K., Ang, A. K. R., Matsunami, M.,
& Takeuchi, T. (2023). Improvement of thermoelectric performance of flexible
compound Ag2S0.55Se0.45 by means of partial V-substitution for Ag. AIP Advances.
AIP Publishing. https://doi.org/10.1063/5.0171888
chicago: Sato, Kosuke, Saurabh Singh, Itsuki Yamazaki, Keisuke Hirata, Artoni Kevin
R. Ang, Masaharu Matsunami, and Tsunehiro Takeuchi. “Improvement of Thermoelectric
Performance of Flexible Compound Ag2S0.55Se0.45 by Means of Partial V-Substitution
for Ag.” AIP Advances. AIP Publishing, 2023. https://doi.org/10.1063/5.0171888.
ieee: K. Sato et al., “Improvement of thermoelectric performance of flexible
compound Ag2S0.55Se0.45 by means of partial V-substitution for Ag,” AIP Advances,
vol. 13, no. 12. AIP Publishing, 2023.
ista: Sato K, Singh S, Yamazaki I, Hirata K, Ang AKR, Matsunami M, Takeuchi T. 2023.
Improvement of thermoelectric performance of flexible compound Ag2S0.55Se0.45
by means of partial V-substitution for Ag. AIP Advances. 13(12), 125206.
mla: Sato, Kosuke, et al. “Improvement of Thermoelectric Performance of Flexible
Compound Ag2S0.55Se0.45 by Means of Partial V-Substitution for Ag.” AIP Advances,
vol. 13, no. 12, 125206, AIP Publishing, 2023, doi:10.1063/5.0171888.
short: K. Sato, S. Singh, I. Yamazaki, K. Hirata, A.K.R. Ang, M. Matsunami, T. Takeuchi,
AIP Advances 13 (2023).
date_created: 2024-01-10T09:26:08Z
date_published: 2023-12-01T00:00:00Z
date_updated: 2024-01-10T13:49:09Z
day: '01'
ddc:
- '540'
department:
- _id: MaIb
doi: 10.1063/5.0171888
external_id:
isi:
- '001114917200005'
file:
- access_level: open_access
checksum: a7098388b8ff822b47f5ddd37ed3bdbc
content_type: application/pdf
creator: dernst
date_created: 2024-01-10T13:47:31Z
date_updated: 2024-01-10T13:47:31Z
file_id: '14792'
file_name: 2023_AIPAdvances_Sato.pdf
file_size: 9676071
relation: main_file
success: 1
file_date_updated: 2024-01-10T13:47:31Z
has_accepted_license: '1'
intvolume: ' 13'
isi: 1
issue: '12'
keyword:
- General Physics and Astronomy
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
publication: AIP Advances
publication_identifier:
eissn:
- 2158-3226
publication_status: published
publisher: AIP Publishing
quality_controlled: '1'
status: public
title: Improvement of thermoelectric performance of flexible compound Ag2S0.55Se0.45
by means of partial V-substitution for Ag
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: 13
year: '2023'
...
---
_id: '14778'
abstract:
- lang: eng
text: 'We consider the almost-sure (a.s.) termination problem for probabilistic
programs, which are a stochastic extension of classical imperative programs. Lexicographic
ranking functions provide a sound and practical approach for termination of non-probabilistic
programs, and their extension to probabilistic programs is achieved via lexicographic
ranking supermartingales (LexRSMs). However, LexRSMs introduced in the previous
work have a limitation that impedes their automation: all of their components
have to be non-negative in all reachable states. This might result in a LexRSM
not existing even for simple terminating programs. Our contributions are twofold.
First, we introduce a generalization of LexRSMs that allows for some components
to be negative. This standard feature of non-probabilistic termination proofs
was hitherto not known to be sound in the probabilistic setting, as the soundness
proof requires a careful analysis of the underlying stochastic process. Second,
we present polynomial-time algorithms using our generalized LexRSMs for proving
a.s. termination in broad classes of linear-arithmetic programs.'
acknowledgement: This research was partially supported by the ERC CoG (grant no. 863818;
ForM-SMArt), the Czech Science Foundation (grant no. GA21-24711S), and the European
Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie
Grant Agreement No. 665385.
article_number: '11'
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Ehsan
full_name: Kafshdar Goharshady, Ehsan
last_name: Kafshdar Goharshady
- first_name: Petr
full_name: Novotný, Petr
id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
last_name: Novotný
- first_name: Jiří
full_name: Zárevúcky, Jiří
last_name: Zárevúcky
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
citation:
ama: Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. On
lexicographic proof rules for probabilistic termination. Formal Aspects of
Computing. 2023;35(2). doi:10.1145/3585391
apa: Chatterjee, K., Kafshdar Goharshady, E., Novotný, P., Zárevúcky, J., &
Zikelic, D. (2023). On lexicographic proof rules for probabilistic termination.
Formal Aspects of Computing. Association for Computing Machinery. https://doi.org/10.1145/3585391
chicago: Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky,
and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.”
Formal Aspects of Computing. Association for Computing Machinery, 2023.
https://doi.org/10.1145/3585391.
ieee: K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, and D. Zikelic,
“On lexicographic proof rules for probabilistic termination,” Formal Aspects
of Computing, vol. 35, no. 2. Association for Computing Machinery, 2023.
ista: Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. 2023.
On lexicographic proof rules for probabilistic termination. Formal Aspects of
Computing. 35(2), 11.
mla: Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic
Termination.” Formal Aspects of Computing, vol. 35, no. 2, 11, Association
for Computing Machinery, 2023, doi:10.1145/3585391.
short: K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic,
Formal Aspects of Computing 35 (2023).
date_created: 2024-01-10T09:27:43Z
date_published: 2023-06-23T00:00:00Z
date_updated: 2025-07-14T09:10:10Z
day: '23'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1145/3585391
ec_funded: 1
external_id:
arxiv:
- '2108.02188'
file:
- access_level: open_access
checksum: 3bb133eeb27ec01649a9a36445d952d9
content_type: application/pdf
creator: dernst
date_created: 2024-01-16T08:11:24Z
date_updated: 2024-01-16T08:11:24Z
file_id: '14804'
file_name: 2023_FormalAspectsComputing_Chatterjee.pdf
file_size: 502522
relation: main_file
success: 1
file_date_updated: 2024-01-16T08:11:24Z
has_accepted_license: '1'
intvolume: ' 35'
issue: '2'
keyword:
- Theoretical Computer Science
- Software
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Formal Aspects of Computing
publication_identifier:
eissn:
- 1433-299X
issn:
- 0934-5043
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
record:
- id: '10414'
relation: earlier_version
status: public
status: public
title: On lexicographic proof rules for probabilistic termination
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: 35
year: '2023'
...