---
_id: '12154'
abstract:
- lang: eng
text: We review our theoretical results of the sound propagation in two-dimensional
(2D) systems of ultracold fermionic and bosonic atoms. In the superfluid phase,
characterized by the spontaneous symmetry breaking of the U(1) symmetry, there
is the coexistence of first and second sound. In the case of weakly-interacting
repulsive bosons, we model the recent measurements of the sound velocities of
39K atoms in 2D obtained in the weakly-interacting regime and around the Berezinskii–Kosterlitz–Thouless
(BKT) superfluid-to-normal transition temperature. In particular, we perform a
quite accurate computation of the superfluid density and show that it is reasonably
consistent with the experimental results. For superfluid attractive fermions,
we calculate the first and second sound velocities across the whole BCS-BEC crossover.
In the low-temperature regime, we reproduce the recent measurements of first-sound
speed with 6Li atoms. We also predict that there is mixing between sound modes
only in the finite-temperature BEC regime.
acknowledgement: "This research is partially supported by University of Padova, BIRD
grant “Ultracold atoms\r\nin curved geometries”. KF is supported by Fondazione CARIPARO
with a PhD fellowship. AT is\r\npartially supported by French National Research
Agency ANR Grant Droplets N. ANR-19-CE30-0003-02. LS thanks Herwig Ott and Sandro
Wimberger for their kind invitation to the\r\nInternational Workshop “Quantum Transport
with ultracold atoms” (2022)."
article_number: '2182'
article_processing_charge: Yes
article_type: original
author:
- first_name: Luca
full_name: Salasnich, Luca
last_name: Salasnich
- first_name: Alberto
full_name: Cappellaro, Alberto
id: 9d13b3cb-30a2-11eb-80dc-f772505e8660
last_name: Cappellaro
orcid: 0000-0001-6110-2359
- first_name: Koichiro
full_name: Furutani, Koichiro
last_name: Furutani
- first_name: Andrea
full_name: Tononi, Andrea
last_name: Tononi
- first_name: Giacomo
full_name: Bighin, Giacomo
id: 4CA96FD4-F248-11E8-B48F-1D18A9856A87
last_name: Bighin
orcid: 0000-0001-8823-9777
citation:
ama: Salasnich L, Cappellaro A, Furutani K, Tononi A, Bighin G. First and second
sound in two-dimensional bosonic and fermionic superfluids. Symmetry. 2022;14(10).
doi:10.3390/sym14102182
apa: Salasnich, L., Cappellaro, A., Furutani, K., Tononi, A., & Bighin, G. (2022).
First and second sound in two-dimensional bosonic and fermionic superfluids. Symmetry.
MDPI. https://doi.org/10.3390/sym14102182
chicago: Salasnich, Luca, Alberto Cappellaro, Koichiro Furutani, Andrea Tononi,
and Giacomo Bighin. “First and Second Sound in Two-Dimensional Bosonic and Fermionic
Superfluids.” Symmetry. MDPI, 2022. https://doi.org/10.3390/sym14102182.
ieee: L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, and G. Bighin, “First
and second sound in two-dimensional bosonic and fermionic superfluids,” Symmetry,
vol. 14, no. 10. MDPI, 2022.
ista: Salasnich L, Cappellaro A, Furutani K, Tononi A, Bighin G. 2022. First and
second sound in two-dimensional bosonic and fermionic superfluids. Symmetry. 14(10),
2182.
mla: Salasnich, Luca, et al. “First and Second Sound in Two-Dimensional Bosonic
and Fermionic Superfluids.” Symmetry, vol. 14, no. 10, 2182, MDPI, 2022,
doi:10.3390/sym14102182.
short: L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, G. Bighin, Symmetry
14 (2022).
date_created: 2023-01-12T12:08:31Z
date_published: 2022-10-17T00:00:00Z
date_updated: 2023-08-09T10:13:17Z
day: '17'
ddc:
- '530'
department:
- _id: MiLe
doi: 10.3390/sym14102182
external_id:
isi:
- '000875039200001'
file:
- access_level: open_access
checksum: 9b6bd0e484834dd76d7b26e3c5fba8bd
content_type: application/pdf
creator: dernst
date_created: 2023-01-24T10:56:12Z
date_updated: 2023-01-24T10:56:12Z
file_id: '12361'
file_name: 2022_Symmetry_Salsnich.pdf
file_size: 843723
relation: main_file
success: 1
file_date_updated: 2023-01-24T10:56:12Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
issue: '10'
keyword:
- Physics and Astronomy (miscellaneous)
- General Mathematics
- Chemistry (miscellaneous)
- Computer Science (miscellaneous)
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '10'
oa: 1
oa_version: Published Version
publication: Symmetry
publication_identifier:
issn:
- 2073-8994
publication_status: published
publisher: MDPI
quality_controlled: '1'
scopus_import: '1'
status: public
title: First and second sound in two-dimensional bosonic and fermionic superfluids
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2022'
...
---
_id: '12155'
abstract:
- lang: eng
text: The growing demand of thermal management in various fields such as miniaturized
5G chips has motivated researchers to develop new and high-performance solid-state
refrigeration technologies, typically including multicaloric and thermoelectric
(TE) cooling. Among them, TE cooling has attracted huge attention owing to its
advantages of rapid response, large cooling temperature difference, high stability,
and tunable device size. Bi2Te3-based alloys have long been the only commercialized
TE cooling materials, while novel systems SnSe and Mg3(Bi,Sb)2 have recently been
discovered as potential candidates. However, challenges and problems still require
to be summarized and further resolved for realizing better cooling performance.
In this review, we systematically investigate TE cooling from its internal mechanism,
crucial parameters, to device design and applications. Furthermore, we summarize
the current optimization strategies for existing TE cooling materials, and finally
provide some personal prospects especially the material-planification concept
on future research on establishing better TE cooling.
acknowledgement: We acknowledge support from the National Key Research and Development
Program of China (2018YFA0702100), the National Natural Science Foundation of China
(51571007, 51772012, 52002011 and 52002042), the Basic Science Center Project of
National Natural Science Foundation of China (51788104), Beijing Natural Science
Foundation (JQ18004), 111 Project (B17002), and the National Science Fund for Distinguished
Young Scholars (51925101).
article_processing_charge: No
article_type: original
author:
- first_name: Yongxin
full_name: Qin, Yongxin
last_name: Qin
- first_name: Bingchao
full_name: Qin, Bingchao
last_name: Qin
- first_name: Dongyang
full_name: Wang, Dongyang
last_name: Wang
- first_name: Cheng
full_name: Chang, Cheng
id: 9E331C2E-9F27-11E9-AE48-5033E6697425
last_name: Chang
orcid: 0000-0002-9515-4277
- first_name: Li-Dong
full_name: Zhao, Li-Dong
last_name: Zhao
citation:
ama: 'Qin Y, Qin B, Wang D, Chang C, Zhao L-D. Solid-state cooling: Thermoelectrics.
Energy & Environmental Science. 2022;15(11):4527-4541. doi:10.1039/d2ee02408j'
apa: 'Qin, Y., Qin, B., Wang, D., Chang, C., & Zhao, L.-D. (2022). Solid-state
cooling: Thermoelectrics. Energy & Environmental Science. Royal Society
of Chemistry. https://doi.org/10.1039/d2ee02408j'
chicago: 'Qin, Yongxin, Bingchao Qin, Dongyang Wang, Cheng Chang, and Li-Dong Zhao.
“Solid-State Cooling: Thermoelectrics.” Energy & Environmental Science.
Royal Society of Chemistry, 2022. https://doi.org/10.1039/d2ee02408j.'
ieee: 'Y. Qin, B. Qin, D. Wang, C. Chang, and L.-D. Zhao, “Solid-state cooling:
Thermoelectrics,” Energy & Environmental Science, vol. 15, no. 11.
Royal Society of Chemistry, pp. 4527–4541, 2022.'
ista: 'Qin Y, Qin B, Wang D, Chang C, Zhao L-D. 2022. Solid-state cooling: Thermoelectrics.
Energy & Environmental Science. 15(11), 4527–4541.'
mla: 'Qin, Yongxin, et al. “Solid-State Cooling: Thermoelectrics.” Energy &
Environmental Science, vol. 15, no. 11, Royal Society of Chemistry, 2022,
pp. 4527–41, doi:10.1039/d2ee02408j.'
short: Y. Qin, B. Qin, D. Wang, C. Chang, L.-D. Zhao, Energy & Environmental
Science 15 (2022) 4527–4541.
date_created: 2023-01-12T12:08:41Z
date_published: 2022-11-01T00:00:00Z
date_updated: 2024-01-22T08:13:43Z
day: '01'
department:
- _id: MaIb
doi: 10.1039/d2ee02408j
external_id:
isi:
- '000863642400001'
intvolume: ' 15'
isi: 1
issue: '11'
keyword:
- Pollution
- Nuclear Energy and Engineering
- Renewable Energy
- Sustainability and the Environment
- Environmental Chemistry
language:
- iso: eng
month: '11'
oa_version: None
page: 4527-4541
publication: Energy & Environmental Science
publication_identifier:
eissn:
- 1754-5706
issn:
- 1754-5692
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
related_material:
link:
- relation: erratum
url: https://doi.org/10.1039/d3ee90067c
scopus_import: '1'
status: public
title: 'Solid-state cooling: Thermoelectrics'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2022'
...
---
_id: '12156'
abstract:
- lang: eng
text: Models of transcriptional regulation that assume equilibrium binding of transcription
factors have been less successful at predicting gene expression from sequence
in eukaryotes than in bacteria. This could be due to the non-equilibrium nature
of eukaryotic regulation. Unfortunately, the space of possible non-equilibrium
mechanisms is vast and predominantly uninteresting. The key question is therefore
how this space can be navigated efficiently, to focus on mechanisms and models
that are biologically relevant. In this review, we advocate for the normative
role of theory—theory that prescribes rather than just describes—in providing
such a focus. Theory should expand its remit beyond inferring mechanistic models
from data, towards identifying non-equilibrium gene regulatory schemes that may
have been evolutionarily selected, despite their energy consumption, because they
are precise, reliable, fast, or otherwise outperform regulation at equilibrium.
We illustrate our reasoning by toy examples for which we provide simulation code.
acknowledgement: 'This work was supported through the Center for the Physics of Biological
Function (PHYe1734030) and by National Institutes of Health Grants R01GM097275 and
U01DK127429 (TG). GT acknowledges the support of the Austrian Science Fund grant
FWF P28844 and the Human Frontiers Science Program. '
article_number: '100435'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Benjamin
full_name: Zoller, Benjamin
last_name: Zoller
- first_name: Thomas
full_name: Gregor, Thomas
last_name: Gregor
- first_name: Gašper
full_name: Tkačik, Gašper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkačik
orcid: '1'
citation:
ama: Zoller B, Gregor T, Tkačik G. Eukaryotic gene regulation at equilibrium, or
non? Current Opinion in Systems Biology. 2022;31(9). doi:10.1016/j.coisb.2022.100435
apa: Zoller, B., Gregor, T., & Tkačik, G. (2022). Eukaryotic gene regulation
at equilibrium, or non? Current Opinion in Systems Biology. Elsevier. https://doi.org/10.1016/j.coisb.2022.100435
chicago: Zoller, Benjamin, Thomas Gregor, and Gašper Tkačik. “Eukaryotic Gene Regulation
at Equilibrium, or Non?” Current Opinion in Systems Biology. Elsevier,
2022. https://doi.org/10.1016/j.coisb.2022.100435.
ieee: B. Zoller, T. Gregor, and G. Tkačik, “Eukaryotic gene regulation at equilibrium,
or non?,” Current Opinion in Systems Biology, vol. 31, no. 9. Elsevier,
2022.
ista: Zoller B, Gregor T, Tkačik G. 2022. Eukaryotic gene regulation at equilibrium,
or non? Current Opinion in Systems Biology. 31(9), 100435.
mla: Zoller, Benjamin, et al. “Eukaryotic Gene Regulation at Equilibrium, or Non?”
Current Opinion in Systems Biology, vol. 31, no. 9, 100435, Elsevier, 2022,
doi:10.1016/j.coisb.2022.100435.
short: B. Zoller, T. Gregor, G. Tkačik, Current Opinion in Systems Biology 31 (2022).
date_created: 2023-01-12T12:08:51Z
date_published: 2022-09-01T00:00:00Z
date_updated: 2023-02-13T09:20:34Z
day: '01'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1016/j.coisb.2022.100435
file:
- access_level: open_access
checksum: 97ef01e0cc60cdc84f45640a0f248fb0
content_type: application/pdf
creator: dernst
date_created: 2023-01-24T12:14:10Z
date_updated: 2023-01-24T12:14:10Z
file_id: '12362'
file_name: 2022_CurrentBiology_Zoller.pdf
file_size: 2214944
relation: main_file
success: 1
file_date_updated: 2023-01-24T12:14:10Z
has_accepted_license: '1'
intvolume: ' 31'
issue: '9'
keyword:
- Applied Mathematics
- Computer Science Applications
- Drug Discovery
- General Biochemistry
- Genetics and Molecular Biology
- Modeling and Simulation
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 254E9036-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P28844-B27
name: Biophysics of information processing in gene regulation
publication: Current Opinion in Systems Biology
publication_identifier:
issn:
- 2452-3100
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Eukaryotic gene regulation at equilibrium, or non?
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: 31
year: '2022'
...
---
_id: '12157'
abstract:
- lang: eng
text: 'Polygenic adaptation is thought to be ubiquitous, yet remains poorly understood.
Here, we model this process analytically, in the plausible setting of a highly
polygenic, quantitative trait that experiences a sudden shift in the fitness optimum.
We show how the mean phenotype changes over time, depending on the effect sizes
of loci that contribute to variance in the trait, and characterize the allele
dynamics at these loci. Notably, we describe the two phases of the allele dynamics:
The first is a rapid phase, in which directional selection introduces small frequency
differences between alleles whose effects are aligned with or opposed to the shift,
ultimately leading to small differences in their probability of fixation during
a second, longer phase, governed by stabilizing selection. As we discuss, key
results should hold in more general settings and have important implications for
efforts to identify the genetic basis of adaptation in humans and other species.'
acknowledgement: "We thank Guy Amster, Jeremy Berg, Nick Barton, Yuval Simons and
Molly Przeworski for many helpful discussions, and Jeremy Berg, Graham Coop, Joachim
Hermisson, Guillaume Martin, Will Milligan, Peter Ralph, Yuval Simons, Leo Speidel
and Molly Przeworski for comments on the manuscript.\r\nNational Institutes of Health
GM115889 Laura Katharine Hayward Guy Sella \r\nNational Institutes of Health GM121372
Laura Katharine Hayward"
article_number: '66697'
article_processing_charge: No
article_type: original
author:
- first_name: Laura
full_name: Hayward, Laura
id: fc885ee5-24bf-11eb-ad7b-bcc5104c0c1b
last_name: Hayward
- first_name: Guy
full_name: Sella, Guy
last_name: Sella
citation:
ama: Hayward L, Sella G. Polygenic adaptation after a sudden change in environment.
eLife. 2022;11. doi:10.7554/elife.66697
apa: Hayward, L., & Sella, G. (2022). Polygenic adaptation after a sudden change
in environment. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.66697
chicago: Hayward, Laura, and Guy Sella. “Polygenic Adaptation after a Sudden Change
in Environment.” ELife. eLife Sciences Publications, 2022. https://doi.org/10.7554/elife.66697.
ieee: L. Hayward and G. Sella, “Polygenic adaptation after a sudden change in environment,”
eLife, vol. 11. eLife Sciences Publications, 2022.
ista: Hayward L, Sella G. 2022. Polygenic adaptation after a sudden change in environment.
eLife. 11, 66697.
mla: Hayward, Laura, and Guy Sella. “Polygenic Adaptation after a Sudden Change
in Environment.” ELife, vol. 11, 66697, eLife Sciences Publications, 2022,
doi:10.7554/elife.66697.
short: L. Hayward, G. Sella, ELife 11 (2022).
date_created: 2023-01-12T12:09:00Z
date_published: 2022-09-26T00:00:00Z
date_updated: 2023-08-04T09:04:58Z
day: '26'
ddc:
- '570'
department:
- _id: NiBa
doi: 10.7554/elife.66697
external_id:
isi:
- '000890735600001'
file:
- access_level: open_access
checksum: 28de155b231ac1c8d4501c98b2fb359a
content_type: application/pdf
creator: dernst
date_created: 2023-01-24T12:21:32Z
date_updated: 2023-01-24T12:21:32Z
file_id: '12363'
file_name: 2022_eLife_Hayward.pdf
file_size: 18935612
relation: main_file
success: 1
file_date_updated: 2023-01-24T12:21:32Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
keyword:
- General Immunology and Microbiology
- General Biochemistry
- Genetics and Molecular Biology
- General Medicine
- General Neuroscience
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
publication: eLife
publication_identifier:
eissn:
- 2050-084X
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: Polygenic adaptation after a sudden change in environment
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11
year: '2022'
...
---
_id: '12160'
abstract:
- lang: eng
text: We present the Filecoin Hierarchical Consensus framework, which aims to overcome
the throughput challenges of blockchain consensus by horizontally scaling the
network. Unlike traditional sharding designs, based on partitioning the state
of the network, our solution centers on the concept of subnets -which are organized
hierarchically- and can be spawned on-demand to manage new state. Child sub nets
are firewalled from parent subnets, have their own specific policies, and run
a different consensus algorithm, increasing the network capacity and enabling
new applications. Moreover, they benefit from the security of parent subnets by
periodically checkpointing state. In this paper, we introduce the overall system
architecture, our detailed designs for cross-net transaction handling, and the
open questions that we are still exploring.
article_processing_charge: No
author:
- first_name: Alfonso
full_name: De la Rocha, Alfonso
last_name: De la Rocha
- first_name: Eleftherios
full_name: Kokoris Kogias, Eleftherios
id: f5983044-d7ef-11ea-ac6d-fd1430a26d30
last_name: Kokoris Kogias
- first_name: Jorge M.
full_name: Soares, Jorge M.
last_name: Soares
- first_name: Marko
full_name: Vukolic, Marko
last_name: Vukolic
citation:
ama: 'De la Rocha A, Kokoris Kogias E, Soares JM, Vukolic M. Hierarchical consensus:
A horizontal scaling framework for blockchains. In: 42nd International Conference
on Distributed Computing Systems Workshops. Vol 2022. Institute of Electrical
and Electronics Engineers; 2022:45-52. doi:10.1109/icdcsw56584.2022.00018'
apa: 'De la Rocha, A., Kokoris Kogias, E., Soares, J. M., & Vukolic, M. (2022).
Hierarchical consensus: A horizontal scaling framework for blockchains. In 42nd
International Conference on Distributed Computing Systems Workshops (Vol.
2022, pp. 45–52). Bologna, Italy: Institute of Electrical and Electronics Engineers.
https://doi.org/10.1109/icdcsw56584.2022.00018'
chicago: 'De la Rocha, Alfonso, Eleftherios Kokoris Kogias, Jorge M. Soares, and
Marko Vukolic. “Hierarchical Consensus: A Horizontal Scaling Framework for Blockchains.”
In 42nd International Conference on Distributed Computing Systems Workshops,
2022:45–52. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/10.1109/icdcsw56584.2022.00018.'
ieee: 'A. De la Rocha, E. Kokoris Kogias, J. M. Soares, and M. Vukolic, “Hierarchical
consensus: A horizontal scaling framework for blockchains,” in 42nd International
Conference on Distributed Computing Systems Workshops, Bologna, Italy, 2022,
vol. 2022, pp. 45–52.'
ista: 'De la Rocha A, Kokoris Kogias E, Soares JM, Vukolic M. 2022. Hierarchical
consensus: A horizontal scaling framework for blockchains. 42nd International
Conference on Distributed Computing Systems Workshops. ICDCSW: International Conference
on Distributed Computing Systems Workshop vol. 2022, 45–52.'
mla: 'De la Rocha, Alfonso, et al. “Hierarchical Consensus: A Horizontal Scaling
Framework for Blockchains.” 42nd International Conference on Distributed Computing
Systems Workshops, vol. 2022, Institute of Electrical and Electronics Engineers,
2022, pp. 45–52, doi:10.1109/icdcsw56584.2022.00018.'
short: A. De la Rocha, E. Kokoris Kogias, J.M. Soares, M. Vukolic, in:, 42nd International
Conference on Distributed Computing Systems Workshops, Institute of Electrical
and Electronics Engineers, 2022, pp. 45–52.
conference:
end_date: 2022-07-10
location: Bologna, Italy
name: 'ICDCSW: International Conference on Distributed Computing Systems Workshop'
start_date: 2022-07-10
date_created: 2023-01-12T12:09:28Z
date_published: 2022-11-29T00:00:00Z
date_updated: 2023-08-04T09:06:02Z
day: '29'
department:
- _id: ElKo
doi: 10.1109/icdcsw56584.2022.00018
external_id:
isi:
- '000895984800009'
intvolume: ' 2022'
isi: 1
language:
- iso: eng
month: '11'
oa_version: None
page: 45-52
publication: 42nd International Conference on Distributed Computing Systems Workshops
publication_identifier:
eisbn:
- '9781665488792'
eissn:
- 2332-5666
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Hierarchical consensus: A horizontal scaling framework for blockchains'
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 2022
year: '2022'
...
---
_id: '12161'
abstract:
- lang: eng
text: 'We introduce LIMES, a new method for learning with non-stationary streaming
data, inspired by the recent success of meta-learning. The main idea is not to
attempt to learn a single classifier that would have to work well across all occurring
data distributions, nor many separate classifiers, but to exploit a hybrid strategy:
we learn a single set of model parameters from which a specific classifier for
any specific data distribution is derived via classifier adaptation. Assuming
a multiclass classification setting with class-prior shift, the adaptation step
can be performed analytically with only the classifier’s bias terms being affected.
Another contribution of our work is an extrapolation step that predicts suitable
adaptation parameters for future time steps based on the previous data. In combination,
we obtain a lightweight procedure for learning from streaming data with varying
class distribution that adds no trainable parameters and almost no memory or computational
overhead compared to training a single model. Experiments on a set of exemplary
tasks using Twitter data show that LIMES achieves higher accuracy than alternative
approaches, especially with respect to the relevant real-world metric of lowest
within-day accuracy.'
article_processing_charge: No
arxiv: 1
author:
- first_name: Paulina
full_name: Tomaszewska, Paulina
last_name: Tomaszewska
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Tomaszewska P, Lampert C. Lightweight conditional model extrapolation for
streaming data under class-prior shift. In: 26th International Conference on
Pattern Recognition. Vol 2022. Institute of Electrical and Electronics Engineers;
2022:2128-2134. doi:10.1109/icpr56361.2022.9956195'
apa: 'Tomaszewska, P., & Lampert, C. (2022). Lightweight conditional model extrapolation
for streaming data under class-prior shift. In 26th International Conference
on Pattern Recognition (Vol. 2022, pp. 2128–2134). Montreal, Canada: Institute
of Electrical and Electronics Engineers. https://doi.org/10.1109/icpr56361.2022.9956195'
chicago: Tomaszewska, Paulina, and Christoph Lampert. “Lightweight Conditional Model
Extrapolation for Streaming Data under Class-Prior Shift.” In 26th International
Conference on Pattern Recognition, 2022:2128–34. Institute of Electrical and
Electronics Engineers, 2022. https://doi.org/10.1109/icpr56361.2022.9956195.
ieee: P. Tomaszewska and C. Lampert, “Lightweight conditional model extrapolation
for streaming data under class-prior shift,” in 26th International Conference
on Pattern Recognition, Montreal, Canada, 2022, vol. 2022, pp. 2128–2134.
ista: 'Tomaszewska P, Lampert C. 2022. Lightweight conditional model extrapolation
for streaming data under class-prior shift. 26th International Conference on Pattern
Recognition. ICPR: International Conference on Pattern Recognition vol. 2022,
2128–2134.'
mla: Tomaszewska, Paulina, and Christoph Lampert. “Lightweight Conditional Model
Extrapolation for Streaming Data under Class-Prior Shift.” 26th International
Conference on Pattern Recognition, vol. 2022, Institute of Electrical and
Electronics Engineers, 2022, pp. 2128–34, doi:10.1109/icpr56361.2022.9956195.
short: P. Tomaszewska, C. Lampert, in:, 26th International Conference on Pattern
Recognition, Institute of Electrical and Electronics Engineers, 2022, pp. 2128–2134.
conference:
end_date: 2022-08-25
location: Montreal, Canada
name: 'ICPR: International Conference on Pattern Recognition'
start_date: 2022-08-21
date_created: 2023-01-12T12:09:38Z
date_published: 2022-11-29T00:00:00Z
date_updated: 2023-08-04T09:06:34Z
day: '29'
department:
- _id: ChLa
doi: 10.1109/icpr56361.2022.9956195
external_id:
arxiv:
- '2206.05181'
isi:
- '000897707602018'
intvolume: ' 2022'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2206.05181
month: '11'
oa: 1
oa_version: Preprint
page: 2128-2134
publication: 26th International Conference on Pattern Recognition
publication_identifier:
eisbn:
- '9781665490627'
eissn:
- 2831-7475
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Lightweight conditional model extrapolation for streaming data under class-prior
shift
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 2022
year: '2022'
...
---
_id: '12166'
abstract:
- lang: eng
text: Kerstin Johannesson is a marine ecologist and evolutionary biologist based
at the Tjärnö Marine Laboratory of the University of Gothenburg, which is situated
in the beautiful Kosterhavet National Park on the Swedish west coast. Her work,
using marine periwinkles (especially Littorina saxatilis and L. fabalis) as main
model systems, has made a remarkable contribution to marine evolutionary biology
and our understanding of local adaptation and its genetic underpinnings.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Anja M
full_name: Westram, Anja M
id: 3C147470-F248-11E8-B48F-1D18A9856A87
last_name: Westram
orcid: 0000-0003-1050-4969
- first_name: Roger
full_name: Butlin, Roger
last_name: Butlin
citation:
ama: Westram AM, Butlin R. Professor Kerstin Johannesson–winner of the 2022 Molecular
Ecology Prize. Molecular Ecology. 2022;32(1):26-29. doi:10.1111/mec.16779
apa: Westram, A. M., & Butlin, R. (2022). Professor Kerstin Johannesson–winner
of the 2022 Molecular Ecology Prize. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.16779
chicago: Westram, Anja M, and Roger Butlin. “Professor Kerstin Johannesson–Winner
of the 2022 Molecular Ecology Prize.” Molecular Ecology. Wiley, 2022. https://doi.org/10.1111/mec.16779.
ieee: A. M. Westram and R. Butlin, “Professor Kerstin Johannesson–winner of the
2022 Molecular Ecology Prize,” Molecular Ecology, vol. 32, no. 1. Wiley,
pp. 26–29, 2022.
ista: Westram AM, Butlin R. 2022. Professor Kerstin Johannesson–winner of the 2022
Molecular Ecology Prize. Molecular Ecology. 32(1), 26–29.
mla: Westram, Anja M., and Roger Butlin. “Professor Kerstin Johannesson–Winner of
the 2022 Molecular Ecology Prize.” Molecular Ecology, vol. 32, no. 1, Wiley,
2022, pp. 26–29, doi:10.1111/mec.16779.
short: A.M. Westram, R. Butlin, Molecular Ecology 32 (2022) 26–29.
date_created: 2023-01-12T12:10:28Z
date_published: 2022-11-28T00:00:00Z
date_updated: 2023-08-04T09:09:15Z
day: '28'
department:
- _id: NiBa
doi: 10.1111/mec.16779
external_id:
isi:
- '000892168800001'
intvolume: ' 32'
isi: 1
issue: '1'
keyword:
- Genetics
- Ecology
- Evolution
- Behavior and Systematics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1111/mec.16779
month: '11'
oa: 1
oa_version: Published Version
page: 26-29
publication: Molecular Ecology
publication_identifier:
eissn:
- 1365-294X
issn:
- 0962-1083
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 32
year: '2022'
...
---
_id: '12167'
abstract:
- lang: eng
text: "Payment channels effectively move the transaction load off-chain thereby
successfully addressing the inherent scalability problem most cryptocurrencies
face. A major drawback of payment channels is the need to “top up” funds on-chain
when a channel is depleted. Rebalancing was proposed to alleviate this issue,
where parties with depleting channels move their funds along a cycle to replenish
their channels off-chain. Protocols for rebalancing so far either introduce local
solutions or compromise privacy.\r\nIn this work, we present an opt-in rebalancing
protocol that is both private and globally optimal, meaning our protocol maximizes
the total amount of rebalanced funds. We study rebalancing from the framework
of linear programming. To obtain full privacy guarantees, we leverage multi-party
computation in solving the linear program, which is executed by selected participants
to maintain efficiency. Finally, we efficiently decompose the rebalancing solution
into incentive-compatible cycles which conserve user balances when executed atomically."
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Georgia
full_name: Avarikioti, Georgia
id: c20482a0-3b89-11eb-9862-88cf6404b88c
last_name: Avarikioti
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
- first_name: Iosif
full_name: Salem, Iosif
last_name: Salem
- first_name: Stefan
full_name: Schmid, Stefan
last_name: Schmid
- first_name: Samarth
full_name: Tiwari, Samarth
last_name: Tiwari
- first_name: Michelle X
full_name: Yeo, Michelle X
id: 2D82B818-F248-11E8-B48F-1D18A9856A87
last_name: Yeo
citation:
ama: 'Avarikioti G, Pietrzak KZ, Salem I, Schmid S, Tiwari S, Yeo MX. Hide &
Seek: Privacy-preserving rebalancing on payment channel networks. In: Financial
Cryptography and Data Security. Vol 13411. Springer Nature; 2022:358-373.
doi:10.1007/978-3-031-18283-9_17'
apa: 'Avarikioti, G., Pietrzak, K. Z., Salem, I., Schmid, S., Tiwari, S., &
Yeo, M. X. (2022). Hide & Seek: Privacy-preserving rebalancing on payment
channel networks. In Financial Cryptography and Data Security (Vol. 13411,
pp. 358–373). Grenada: Springer Nature. https://doi.org/10.1007/978-3-031-18283-9_17'
chicago: 'Avarikioti, Georgia, Krzysztof Z Pietrzak, Iosif Salem, Stefan Schmid,
Samarth Tiwari, and Michelle X Yeo. “Hide & Seek: Privacy-Preserving Rebalancing
on Payment Channel Networks.” In Financial Cryptography and Data Security,
13411:358–73. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-18283-9_17.'
ieee: 'G. Avarikioti, K. Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, and M. X.
Yeo, “Hide & Seek: Privacy-preserving rebalancing on payment channel networks,”
in Financial Cryptography and Data Security, Grenada, 2022, vol. 13411,
pp. 358–373.'
ista: 'Avarikioti G, Pietrzak KZ, Salem I, Schmid S, Tiwari S, Yeo MX. 2022. Hide
& Seek: Privacy-preserving rebalancing on payment channel networks. Financial
Cryptography and Data Security. FC: Financial Cryptography and Data Security,
LNCS, vol. 13411, 358–373.'
mla: 'Avarikioti, Georgia, et al. “Hide & Seek: Privacy-Preserving Rebalancing
on Payment Channel Networks.” Financial Cryptography and Data Security,
vol. 13411, Springer Nature, 2022, pp. 358–73, doi:10.1007/978-3-031-18283-9_17.'
short: G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:,
Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.
conference:
end_date: 2022-05-06
location: Grenada
name: 'FC: Financial Cryptography and Data Security'
start_date: 2022-05-02
date_created: 2023-01-12T12:10:38Z
date_published: 2022-10-22T00:00:00Z
date_updated: 2023-09-05T15:10:57Z
day: '22'
department:
- _id: KrPi
doi: 10.1007/978-3-031-18283-9_17
external_id:
arxiv:
- '2110.08848'
intvolume: ' 13411'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2110.08848
month: '10'
oa: 1
oa_version: Preprint
page: 358-373
publication: Financial Cryptography and Data Security
publication_identifier:
eisbn:
- '9783031182839'
eissn:
- 1611-3349
isbn:
- '9783031182822'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Hide & Seek: Privacy-preserving rebalancing on payment channel networks'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 13411
year: '2022'
...
---
_id: '12168'
abstract:
- lang: eng
text: "Advances in blockchains have influenced the State-Machine-Replication (SMR)
world and many state-of-the-art blockchain-SMR solutions are based on two pillars:
Chaining and Leader-rotation. A predetermined round-robin mechanism used for Leader-rotation,
however, has an undesirable behavior: crashed parties become designated leaders
infinitely often, slowing down overall system performance. In this paper, we provide
a new Leader-Aware SMR framework that, among other desirable properties, formalizes
a Leader-utilization requirement that bounds the number of rounds whose leaders
are faulty in crash-only executions.\r\nWe introduce Carousel, a novel, reputation-based
Leader-rotation solution to achieve Leader-Aware SMR. The challenge in adaptive
Leader-rotation is that it cannot rely on consensus to determine a leader, since
consensus itself needs a leader. Carousel uses the available on-chain information
to determine a leader locally and achieves Liveness despite this difficulty. A
HotStuff implementation fitted with Carousel demonstrates drastic performance
improvements: it increases throughput over 2x in faultless settings and provided
a 20x throughput increase and 5x latency reduction in the presence of faults."
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Shir
full_name: Cohen, Shir
last_name: Cohen
- first_name: Rati
full_name: Gelashvili, Rati
last_name: Gelashvili
- first_name: Eleftherios
full_name: Kokoris Kogias, Eleftherios
id: f5983044-d7ef-11ea-ac6d-fd1430a26d30
last_name: Kokoris Kogias
- first_name: Zekun
full_name: Li, Zekun
last_name: Li
- first_name: Dahlia
full_name: Malkhi, Dahlia
last_name: Malkhi
- first_name: Alberto
full_name: Sonnino, Alberto
last_name: Sonnino
- first_name: Alexander
full_name: Spiegelman, Alexander
last_name: Spiegelman
citation:
ama: 'Cohen S, Gelashvili R, Kokoris Kogias E, et al. Be aware of your leaders.
In: International Conference on Financial Cryptography and Data Security.
Vol 13411. Springer Nature; 2022:279-295. doi:10.1007/978-3-031-18283-9_13'
apa: 'Cohen, S., Gelashvili, R., Kokoris Kogias, E., Li, Z., Malkhi, D., Sonnino,
A., & Spiegelman, A. (2022). Be aware of your leaders. In International
Conference on Financial Cryptography and Data Security (Vol. 13411, pp. 279–295).
Grenada: Springer Nature. https://doi.org/10.1007/978-3-031-18283-9_13'
chicago: Cohen, Shir, Rati Gelashvili, Eleftherios Kokoris Kogias, Zekun Li, Dahlia
Malkhi, Alberto Sonnino, and Alexander Spiegelman. “Be Aware of Your Leaders.”
In International Conference on Financial Cryptography and Data Security,
13411:279–95. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-18283-9_13.
ieee: S. Cohen et al., “Be aware of your leaders,” in International Conference
on Financial Cryptography and Data Security, Grenada, 2022, vol. 13411, pp.
279–295.
ista: 'Cohen S, Gelashvili R, Kokoris Kogias E, Li Z, Malkhi D, Sonnino A, Spiegelman
A. 2022. Be aware of your leaders. International Conference on Financial Cryptography
and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13411,
279–295.'
mla: Cohen, Shir, et al. “Be Aware of Your Leaders.” International Conference
on Financial Cryptography and Data Security, vol. 13411, Springer Nature,
2022, pp. 279–95, doi:10.1007/978-3-031-18283-9_13.
short: S. Cohen, R. Gelashvili, E. Kokoris Kogias, Z. Li, D. Malkhi, A. Sonnino,
A. Spiegelman, in:, International Conference on Financial Cryptography and Data
Security, Springer Nature, 2022, pp. 279–295.
conference:
end_date: 2022-05-06
location: Grenada
name: 'FC: Financial Cryptography and Data Security'
start_date: 2022-05-02
date_created: 2023-01-12T12:10:49Z
date_published: 2022-10-22T00:00:00Z
date_updated: 2023-09-05T15:11:35Z
day: '22'
department:
- _id: ElKo
doi: 10.1007/978-3-031-18283-9_13
external_id:
arxiv:
- '2110.00960'
intvolume: ' 13411'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2110.00960
month: '10'
oa: 1
oa_version: Preprint
page: 279-295
publication: International Conference on Financial Cryptography and Data Security
publication_identifier:
eisbn:
- '9783031182839'
eissn:
- 1611-3349
isbn:
- '9783031182822'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Be aware of your leaders
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 13411
year: '2022'
...
---
_id: '12170'
abstract:
- lang: eng
text: We present PET, a specialized and highly optimized framework for partial exploration
on probabilistic systems. Over the last decade, several significant advances in
the analysis of Markov decision processes employed partial exploration. In a nutshell,
this idea allows to focus computation on specific parts of the system, guided
by heuristics, while maintaining correctness. In particular, only relevant parts
of the system are constructed on demand, which in turn potentially allows to omit
constructing large parts of the system. Depending on the model, this leads to
dramatic speed-ups, in extreme cases even up to an arbitrary factor. PET unifies
several previous implementations and provides a flexible framework to easily implement
partial exploration for many further problems. Our experimental evaluation shows
significant improvements compared to the previous implementations while vastly
reducing the overhead required to add support for additional properties.
acknowledgement: We thank Pranav Ashok and Maximilian Weininger for their contributions
to spiritual predecessors of PET as well as motivating the initial development of
this tool.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Tobias
full_name: Meggendorfer, Tobias
id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
last_name: Meggendorfer
orcid: 0000-0002-1712-2165
citation:
ama: 'Meggendorfer T. PET – A partial exploration tool for probabilistic verification.
In: 20th International Symposium on Automated Technology for Verification and
Analysis. Vol 13505. Springer Nature; 2022:320-326. doi:10.1007/978-3-031-19992-9_20'
apa: 'Meggendorfer, T. (2022). PET – A partial exploration tool for probabilistic
verification. In 20th International Symposium on Automated Technology for Verification
and Analysis (Vol. 13505, pp. 320–326). Virtual: Springer Nature. https://doi.org/10.1007/978-3-031-19992-9_20'
chicago: Meggendorfer, Tobias. “PET – A Partial Exploration Tool for Probabilistic
Verification.” In 20th International Symposium on Automated Technology for
Verification and Analysis, 13505:320–26. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19992-9_20.
ieee: T. Meggendorfer, “PET – A partial exploration tool for probabilistic verification,”
in 20th International Symposium on Automated Technology for Verification and
Analysis, Virtual, 2022, vol. 13505, pp. 320–326.
ista: 'Meggendorfer T. 2022. PET – A partial exploration tool for probabilistic
verification. 20th International Symposium on Automated Technology for Verification
and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS,
vol. 13505, 320–326.'
mla: Meggendorfer, Tobias. “PET – A Partial Exploration Tool for Probabilistic Verification.”
20th International Symposium on Automated Technology for Verification and Analysis,
vol. 13505, Springer Nature, 2022, pp. 320–26, doi:10.1007/978-3-031-19992-9_20.
short: T. Meggendorfer, in:, 20th International Symposium on Automated Technology
for Verification and Analysis, Springer Nature, 2022, pp. 320–326.
conference:
end_date: 2022-10-28
location: Virtual
name: 'ATVA: Automated Technology for Verification and Analysis'
start_date: 2022-10-25
date_created: 2023-01-12T12:11:07Z
date_published: 2022-10-21T00:00:00Z
date_updated: 2023-09-05T15:11:51Z
day: '21'
department:
- _id: KrCh
doi: 10.1007/978-3-031-19992-9_20
intvolume: ' 13505'
language:
- iso: eng
month: '10'
oa_version: None
page: 320-326
publication: 20th International Symposium on Automated Technology for Verification
and Analysis
publication_identifier:
eisbn:
- '9783031199929'
eissn:
- 1611-3349
isbn:
- '9783031199912'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: PET – A partial exploration tool for probabilistic verification
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 13505
year: '2022'
...
---
_id: '12171'
abstract:
- lang: eng
text: 'We propose an algorithmic approach for synthesizing linear hybrid automata
from time-series data. Unlike existing approaches, our approach provides a whole
family of models with the same discrete structure but different dynamics. Each
model in the family is guaranteed to capture the input data up to a precision
error ε, in the following sense: For each time series, the model contains an execution
that is ε-close to the data points. Our construction allows to effectively choose
a model from this family with minimal precision error ε. We demonstrate the algorithm’s
efficiency and its ability to find precise models in two case studies.'
acknowledgement: This work was supported in part by the European Union’s Horizon 2020
research and innovation programme under the Marie Skłodowska-Curie grant agreement
no. 847635, by the ERC-2020-AdG 101020093, by DIREC - Digital Research Centre Denmark,
and by the Villum Investigator Grant S4OS.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Miriam
full_name: Garcia Soto, Miriam
id: 4B3207F6-F248-11E8-B48F-1D18A9856A87
last_name: Garcia Soto
orcid: 0000-0003-2936-5719
- 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: Christian
full_name: Schilling, Christian
id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
last_name: Schilling
orcid: 0000-0003-3658-1065
citation:
ama: 'Garcia Soto M, Henzinger TA, Schilling C. Synthesis of parametric hybrid automata
from time series. In: 20th International Symposium on Automated Technology
for Verification and Analysis. Vol 13505. Springer Nature; 2022:337-353. doi:10.1007/978-3-031-19992-9_22'
apa: 'Garcia Soto, M., Henzinger, T. A., & Schilling, C. (2022). Synthesis of parametric
hybrid automata from time series. In 20th International Symposium on Automated
Technology for Verification and Analysis (Vol. 13505, pp. 337–353). Virtual:
Springer Nature. https://doi.org/10.1007/978-3-031-19992-9_22'
chicago: Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis
of Parametric Hybrid Automata from Time Series.” In 20th International Symposium
on Automated Technology for Verification and Analysis, 13505:337–53. Springer
Nature, 2022. https://doi.org/10.1007/978-3-031-19992-9_22.
ieee: M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of parametric
hybrid automata from time series,” in 20th International Symposium on Automated
Technology for Verification and Analysis, Virtual, 2022, vol. 13505, pp. 337–353.
ista: 'Garcia Soto M, Henzinger TA, Schilling C. 2022. Synthesis of parametric hybrid
automata from time series. 20th International Symposium on Automated Technology
for Verification and Analysis. ATVA: Automated Technology for Verification and
Analysis, LNCS, vol. 13505, 337–353.'
mla: Garcia Soto, Miriam, et al. “Synthesis of Parametric Hybrid Automata from Time
Series.” 20th International Symposium on Automated Technology for Verification
and Analysis, vol. 13505, Springer Nature, 2022, pp. 337–53, doi:10.1007/978-3-031-19992-9_22.
short: M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium
on Automated Technology for Verification and Analysis, Springer Nature, 2022,
pp. 337–353.
conference:
end_date: 2022-10-28
location: Virtual
name: 'ATVA: Automated Technology for Verification and Analysis'
start_date: 2022-10-25
date_created: 2023-01-12T12:11:16Z
date_published: 2022-10-21T00:00:00Z
date_updated: 2023-02-13T09:27:55Z
day: '21'
department:
- _id: ToHe
doi: 10.1007/978-3-031-19992-9_22
ec_funded: 1
external_id:
arxiv:
- '2208.06383'
intvolume: ' 13505'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2208.06383
month: '10'
oa: 1
oa_version: Preprint
page: 337-353
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 20th International Symposium on Automated Technology for Verification
and Analysis
publication_identifier:
eisbn:
- '9783031199929'
eissn:
- 1611-3349
isbn:
- '9783031199912'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Synthesis of parametric hybrid automata from time series
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 13505
year: '2022'
...
---
_id: '12173'
abstract:
- lang: eng
text: With increasing urbanization and industrialization, the prevalence of inflammatory
bowel diseases (IBDs) has steadily been rising over the past two decades. IBD
involves flares of gastrointestinal (GI) inflammation accompanied by microbiota
perturbations. However, microbial mechanisms that trigger such flares remain elusive.
Here, we analyzed the association of the emerging pathogen atypical enteropathogenic
E. coli (aEPEC) with IBD disease activity. The presence of diarrheagenic E. coli
was assessed in stool samples from 630 IBD patients and 234 age- and sex-matched
controls without GI symptoms. Microbiota was analyzed with 16S ribosomal RNA gene
amplicon sequencing, and 57 clinical aEPEC isolates were subjected to whole-genome
sequencing and in vitro pathogenicity experiments including biofilm formation,
epithelial barrier function and the ability to induce pro-inflammatory signaling.
The presence of aEPEC correlated with laboratory, clinical and endoscopic disease
activity in ulcerative colitis (UC), as well as microbiota dysbiosis. In vitro,
aEPEC strains induce epithelial p21-activated kinases, disrupt the epithelial
barrier and display potent biofilm formation. The effector proteins espV and espG2
distinguish aEPEC cultured from UC and Crohn’s disease patients, respectively.
EspV-positive aEPEC harbor more virulence factors and have a higher pro-inflammatory
potential, which is counteracted by 5-ASA. aEPEC may tip a fragile immune–microbiota
homeostasis and thereby contribute to flares in UC. aEPEC isolates from UC patients
display properties to disrupt the epithelial barrier and to induce pro-inflammatory
signaling in vitro.
acknowledgement: "We would like to acknowledge Anita Krnjic, Christina Gmainer, Marion
Nehr, Helga Mock, and Sena Ecin for technical support in conducting the experiments.\r\nThis
study was supported by the Austrian Science Fund (P 32302) and the Vienna Science
and Technology Fund (LS18- 053; Austrian Science Fund (FWF)) [P 32302]."
article_number: e2143218
article_processing_charge: No
article_type: original
author:
- first_name: Maximilian
full_name: Baumgartner, Maximilian
last_name: Baumgartner
- first_name: Rebecca
full_name: Zirnbauer, Rebecca
last_name: Zirnbauer
- first_name: Sabine
full_name: Schlager, Sabine
last_name: Schlager
- first_name: Daniel
full_name: Mertens, Daniel
last_name: Mertens
- first_name: Nikolaus
full_name: Gasche, Nikolaus
last_name: Gasche
- first_name: Barbara
full_name: Sladek, Barbara
last_name: Sladek
- first_name: Craig
full_name: Herbold, Craig
last_name: Herbold
- first_name: Olga
full_name: Bochkareva, Olga
last_name: Bochkareva
- first_name: Vera
full_name: Emelianenko, Vera
id: 20152b9d-927a-11ed-8107-be36d740812d
last_name: Emelianenko
- first_name: Harald
full_name: Vogelsang, Harald
last_name: Vogelsang
- first_name: Michaela
full_name: Lang, Michaela
last_name: Lang
- first_name: Anton
full_name: Klotz, Anton
last_name: Klotz
- first_name: Birgit
full_name: Moik, Birgit
last_name: Moik
- first_name: Athanasios
full_name: Makristathis, Athanasios
last_name: Makristathis
- first_name: David
full_name: Berry, David
last_name: Berry
- first_name: Stefanie
full_name: Dabsch, Stefanie
last_name: Dabsch
- first_name: Vineeta
full_name: Khare, Vineeta
last_name: Khare
- first_name: Christoph
full_name: Gasche, Christoph
last_name: Gasche
citation:
ama: Baumgartner M, Zirnbauer R, Schlager S, et al. Atypical enteropathogenic E.
coli are associated with disease activity in ulcerative colitis. Gut Microbes.
2022;14(1). doi:10.1080/19490976.2022.2143218
apa: Baumgartner, M., Zirnbauer, R., Schlager, S., Mertens, D., Gasche, N., Sladek,
B., … Gasche, C. (2022). Atypical enteropathogenic E. coli are associated with
disease activity in ulcerative colitis. Gut Microbes. Taylor & Francis.
https://doi.org/10.1080/19490976.2022.2143218
chicago: Baumgartner, Maximilian, Rebecca Zirnbauer, Sabine Schlager, Daniel Mertens,
Nikolaus Gasche, Barbara Sladek, Craig Herbold, et al. “Atypical Enteropathogenic
E. Coli Are Associated with Disease Activity in Ulcerative Colitis.” Gut Microbes.
Taylor & Francis, 2022. https://doi.org/10.1080/19490976.2022.2143218.
ieee: M. Baumgartner et al., “Atypical enteropathogenic E. coli are associated
with disease activity in ulcerative colitis,” Gut Microbes, vol. 14, no.
1. Taylor & Francis, 2022.
ista: Baumgartner M, Zirnbauer R, Schlager S, Mertens D, Gasche N, Sladek B, Herbold
C, Bochkareva O, Emelianenko V, Vogelsang H, Lang M, Klotz A, Moik B, Makristathis
A, Berry D, Dabsch S, Khare V, Gasche C. 2022. Atypical enteropathogenic E. coli
are associated with disease activity in ulcerative colitis. Gut Microbes. 14(1),
e2143218.
mla: Baumgartner, Maximilian, et al. “Atypical Enteropathogenic E. Coli Are Associated
with Disease Activity in Ulcerative Colitis.” Gut Microbes, vol. 14, no.
1, e2143218, Taylor & Francis, 2022, doi:10.1080/19490976.2022.2143218.
short: M. Baumgartner, R. Zirnbauer, S. Schlager, D. Mertens, N. Gasche, B. Sladek,
C. Herbold, O. Bochkareva, V. Emelianenko, H. Vogelsang, M. Lang, A. Klotz, B.
Moik, A. Makristathis, D. Berry, S. Dabsch, V. Khare, C. Gasche, Gut Microbes
14 (2022).
date_created: 2023-01-12T12:11:36Z
date_published: 2022-11-22T00:00:00Z
date_updated: 2023-08-04T09:10:18Z
day: '22'
ddc:
- '570'
department:
- _id: FyKo
doi: 10.1080/19490976.2022.2143218
external_id:
isi:
- '000889180100001'
file:
- access_level: open_access
checksum: ee7681a17ae27645e9b5c1df61c15429
content_type: application/pdf
creator: dernst
date_created: 2023-01-26T10:56:51Z
date_updated: 2023-01-26T10:56:51Z
file_id: '12400'
file_name: 2022_GutMicrobes_Baumgartner.pdf
file_size: 4075251
relation: main_file
success: 1
file_date_updated: 2023-01-26T10:56:51Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
issue: '1'
keyword:
- Infectious Diseases
- Microbiology (medical)
- Gastroenterology
- Microbiology
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
publication: Gut Microbes
publication_identifier:
eissn:
- 1949-0984
issn:
- 1949-0976
publication_status: published
publisher: Taylor & Francis
quality_controlled: '1'
scopus_import: '1'
status: public
title: Atypical enteropathogenic E. coli are associated with disease activity in ulcerative
colitis
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 14
year: '2022'
...
---
_id: '12174'
abstract:
- lang: eng
text: "Vacuolar-type H+-ATPase (V-ATPase) is a multimeric complex present in a variety
of cellular membranes that acts as an ATP-dependent proton pump and plays a key
role in pH homeostasis and intracellular signalling pathways. In humans, 22 autosomal
genes encode for a redundant set of subunits allowing the composition of diverse
V-ATPase complexes with specific properties and expression. Sixteen subunits have
been linked to human disease.\r\nHere we describe 26 patients harbouring 20 distinct
pathogenic de novo missense ATP6V1A variants, mainly clustering within the ATP
synthase α/β family-nucleotide-binding domain. At a mean age of 7 years (extremes:
6 weeks, youngest deceased patient to 22 years, oldest patient) clinical pictures
included early lethal encephalopathies with rapidly progressive massive brain
atrophy, severe developmental epileptic encephalopathies and static intellectual
disability with epilepsy. The first clinical manifestation was early hypotonia,
in 70%; 81% developed epilepsy, manifested as developmental epileptic encephalopathies
in 58% of the cohort and with infantile spasms in 62%; 63% of developmental epileptic
encephalopathies failed to achieve any developmental, communicative or motor skills.
Less severe outcomes were observed in 23% of patients who, at a mean age of 10
years and 6 months, exhibited moderate intellectual disability, with independent
walking and variable epilepsy. None of the patients developed communicative language.
Microcephaly (38%) and amelogenesis imperfecta/enamel dysplasia (42%) were additional
clinical features. Brain MRI demonstrated hypomyelination and generalized atrophy
in 68%. Atrophy was progressive in all eight individuals undergoing repeated MRIs.\r\n
\ Fibroblasts of two patients with developmental epileptic
encephalopathies showed decreased LAMP1 expression, Lysotracker staining and increased
organelle pH, consistent with lysosomal impairment and loss of V-ATPase function.
Fibroblasts of two patients with milder disease, exhibited a different phenotype
with increased Lysotracker staining, decreased organelle pH and no significant
modification in LAMP1 expression. Quantification of substrates for lysosomal enzymes
in cellular extracts from four patients revealed discrete accumulation. Transmission
electron microscopy of fibroblasts of four patients with variable severity and
of induced pluripotent stem cell-derived neurons from two patients with developmental
epileptic encephalopathies showed electron-dense inclusions, lipid droplets, osmiophilic
material and lamellated membrane structures resembling phospholipids. Quantitative
assessment in induced pluripotent stem cell-derived neurons identified significantly
smaller lysosomes.\r\nATP6V1A-related encephalopathy represents a new paradigm
among lysosomal disorders. It results from a dysfunctional endo-lysosomal membrane
protein causing altered pH homeostasis. Its pathophysiology implies intracellular
accumulation of substrates whose composition remains unclear, and a combination
of developmental brain abnormalities and neurodegenerative changes established
during prenatal and early postanal development, whose severity is variably determined
by specific pathogenic variants."
acknowledged_ssus:
- _id: EM-Fac
- _id: LifeSc
acknowledgement: "We thank all patients and family members for their participation
in this study. We thank Melanie Pieraks and Eva Reinthaler (Neurolentech, Austria)
for generating the human iPSC lines and\r\nfor performing quality checks. We thank
Vanessa Zheden and Daniel Gütl for their excellent technical support in the specimen
preparation for transmission electron microscopy and Flavia Leite for preparing
the lentiviruses. The support from Electron Microscopy Facility and Molecular Biology
Services at IST Austria is greatly acknowledged. We would like to thank Doctors
Jane Hurst and Richard Scott for their help in retrieving the detailed clinical
information of Patient 17. The research team acknowledges the support of the National
Institute for Health Research, through the Comprehensive Clinical Research Network.
See Supplementary Material for Undiagnosed Disease Network consortium details. Genetic
information on Patient 23 was made available through access to the data and findings
generated by the 100 000 Genomes\r\nProject; www.genomicsengland.co.uk (to K.L.).
\r\nThis work was supported by the EU 7th Framework Programme (FP7) under the project
DESIRE grant N602531 (to R.G.); the Regione Toscana under the Call for Health 2018
(grant\r\nDECODE-EE) (to R.G.); the ‘Brain Project’ by Fondazione Cassa di Risparmio
di Firenze (to R.G.); IRCCS Ospedale Policlinico San Martino 5×1000 and Ricerca
Corrente (to A.F. and F.B.). The European Reference Network (ERN) for rare and complex
epilepsies (EpiCARE) provided financial support for meetings organization. The DDD
study presents independent research commissioned by the Health Innovation Challenge
Fund (grant number HICF-1009-003), a parallel funding partnership between Wellcome
and the Department of Health, and the Wellcome Sanger Institute (grant number WT098051).
The views expressed in this publication\r\nare those of the author(s) and not necessarily
those of Wellcome or the Department of Health. The study has UK Research Ethics
Committee approval (10/H0305/83, granted by the Cambridge South REC, and GEN/284/12
granted by the Republic of Ireland REC). This study makes use of DECIPHER (https://www.deciphergenomics.org),
which is funded by Wellcome. K.K.-S. was supported by the ISTplus fellowship. "
article_processing_charge: No
article_type: original
author:
- first_name: Renzo
full_name: Guerrini, Renzo
last_name: Guerrini
- first_name: Davide
full_name: Mei, Davide
last_name: Mei
- first_name: Margit Katalin
full_name: Szigeti, Margit Katalin
id: 44F4BDC0-F248-11E8-B48F-1D18A9856A87
last_name: Szigeti
orcid: 0000-0001-9500-8758
- first_name: Sara
full_name: Pepe, Sara
last_name: Pepe
- first_name: Mary Kay
full_name: Koenig, Mary Kay
last_name: Koenig
- first_name: Gretchen
full_name: Von Allmen, Gretchen
last_name: Von Allmen
- first_name: Megan T
full_name: Cho, Megan T
last_name: Cho
- first_name: Kimberly
full_name: McDonald, Kimberly
last_name: McDonald
- first_name: Janice
full_name: Baker, Janice
last_name: Baker
- first_name: Vikas
full_name: Bhambhani, Vikas
last_name: Bhambhani
- first_name: Zöe
full_name: Powis, Zöe
last_name: Powis
- first_name: Lance
full_name: Rodan, Lance
last_name: Rodan
- first_name: Rima
full_name: Nabbout, Rima
last_name: Nabbout
- first_name: Giulia
full_name: Barcia, Giulia
last_name: Barcia
- first_name: Jill A
full_name: Rosenfeld, Jill A
last_name: Rosenfeld
- first_name: Carlos A
full_name: Bacino, Carlos A
last_name: Bacino
- first_name: Cyril
full_name: Mignot, Cyril
last_name: Mignot
- first_name: Lillian H
full_name: Power, Lillian H
last_name: Power
- first_name: Catharine J
full_name: Harris, Catharine J
last_name: Harris
- first_name: Dragan
full_name: Marjanovic, Dragan
last_name: Marjanovic
- first_name: Rikke S
full_name: Møller, Rikke S
last_name: Møller
- first_name: Trine B
full_name: Hammer, Trine B
last_name: Hammer
- first_name: Riikka
full_name: Keski Filppula, Riikka
last_name: Keski Filppula
- first_name: Päivi
full_name: Vieira, Päivi
last_name: Vieira
- first_name: Clara
full_name: Hildebrandt, Clara
last_name: Hildebrandt
- first_name: Stephanie
full_name: Sacharow, Stephanie
last_name: Sacharow
- first_name: Luca
full_name: Maragliano, Luca
last_name: Maragliano
- first_name: Fabio
full_name: Benfenati, Fabio
last_name: Benfenati
- first_name: Katherine
full_name: Lachlan, Katherine
last_name: Lachlan
- first_name: Andreas
full_name: Benneche, Andreas
last_name: Benneche
- first_name: Florence
full_name: Petit, Florence
last_name: Petit
- first_name: Jean Madeleine
full_name: de Sainte Agathe, Jean Madeleine
last_name: de Sainte Agathe
- first_name: Barbara
full_name: Hallinan, Barbara
last_name: Hallinan
- first_name: Yue
full_name: Si, Yue
last_name: Si
- first_name: Ingrid M
full_name: Wentzensen, Ingrid M
last_name: Wentzensen
- first_name: Fanggeng
full_name: Zou, Fanggeng
last_name: Zou
- first_name: Vinodh
full_name: Narayanan, Vinodh
last_name: Narayanan
- first_name: Naomichi
full_name: Matsumoto, Naomichi
last_name: Matsumoto
- first_name: Alessandra
full_name: Boncristiano, Alessandra
last_name: Boncristiano
- first_name: Giancarlo
full_name: la Marca, Giancarlo
last_name: la Marca
- first_name: Mitsuhiro
full_name: Kato, Mitsuhiro
last_name: Kato
- first_name: Kristin
full_name: Anderson, Kristin
last_name: Anderson
- first_name: Carmen
full_name: Barba, Carmen
last_name: Barba
- first_name: Luisa
full_name: Sturiale, Luisa
last_name: Sturiale
- first_name: Domenico
full_name: Garozzo, Domenico
last_name: Garozzo
- first_name: Roberto
full_name: Bei, Roberto
last_name: Bei
- first_name: Laura
full_name: Masuelli, Laura
last_name: Masuelli
- first_name: Valerio
full_name: Conti, Valerio
last_name: Conti
- first_name: Gaia
full_name: Novarino, Gaia
id: 3E57A680-F248-11E8-B48F-1D18A9856A87
last_name: Novarino
orcid: 0000-0002-7673-7178
- first_name: Anna
full_name: Fassio, Anna
last_name: Fassio
citation:
ama: 'Guerrini R, Mei D, Szigeti MK, et al. Phenotypic and genetic spectrum of ATP6V1A
encephalopathy: A disorder of lysosomal homeostasis. Brain. 2022;145(8):2687-2703.
doi:10.1093/brain/awac145'
apa: 'Guerrini, R., Mei, D., Szigeti, M. K., Pepe, S., Koenig, M. K., Von Allmen,
G., … Fassio, A. (2022). Phenotypic and genetic spectrum of ATP6V1A encephalopathy:
A disorder of lysosomal homeostasis. Brain. Oxford University Press. https://doi.org/10.1093/brain/awac145'
chicago: 'Guerrini, Renzo, Davide Mei, Margit Katalin Szigeti, Sara Pepe, Mary Kay
Koenig, Gretchen Von Allmen, Megan T Cho, et al. “Phenotypic and Genetic Spectrum
of ATP6V1A Encephalopathy: A Disorder of Lysosomal Homeostasis.” Brain.
Oxford University Press, 2022. https://doi.org/10.1093/brain/awac145.'
ieee: 'R. Guerrini et al., “Phenotypic and genetic spectrum of ATP6V1A encephalopathy:
A disorder of lysosomal homeostasis,” Brain, vol. 145, no. 8. Oxford University
Press, pp. 2687–2703, 2022.'
ista: 'Guerrini R, Mei D, Szigeti MK, Pepe S, Koenig MK, Von Allmen G, Cho MT, McDonald
K, Baker J, Bhambhani V, Powis Z, Rodan L, Nabbout R, Barcia G, Rosenfeld JA,
Bacino CA, Mignot C, Power LH, Harris CJ, Marjanovic D, Møller RS, Hammer TB,
Keski Filppula R, Vieira P, Hildebrandt C, Sacharow S, Maragliano L, Benfenati
F, Lachlan K, Benneche A, Petit F, de Sainte Agathe JM, Hallinan B, Si Y, Wentzensen
IM, Zou F, Narayanan V, Matsumoto N, Boncristiano A, la Marca G, Kato M, Anderson
K, Barba C, Sturiale L, Garozzo D, Bei R, Masuelli L, Conti V, Novarino G, Fassio
A. 2022. Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder
of lysosomal homeostasis. Brain. 145(8), 2687–2703.'
mla: 'Guerrini, Renzo, et al. “Phenotypic and Genetic Spectrum of ATP6V1A Encephalopathy:
A Disorder of Lysosomal Homeostasis.” Brain, vol. 145, no. 8, Oxford University
Press, 2022, pp. 2687–703, doi:10.1093/brain/awac145.'
short: R. Guerrini, D. Mei, M.K. Szigeti, S. Pepe, M.K. Koenig, G. Von Allmen, M.T.
Cho, K. McDonald, J. Baker, V. Bhambhani, Z. Powis, L. Rodan, R. Nabbout, G. Barcia,
J.A. Rosenfeld, C.A. Bacino, C. Mignot, L.H. Power, C.J. Harris, D. Marjanovic,
R.S. Møller, T.B. Hammer, R. Keski Filppula, P. Vieira, C. Hildebrandt, S. Sacharow,
L. Maragliano, F. Benfenati, K. Lachlan, A. Benneche, F. Petit, J.M. de Sainte
Agathe, B. Hallinan, Y. Si, I.M. Wentzensen, F. Zou, V. Narayanan, N. Matsumoto,
A. Boncristiano, G. la Marca, M. Kato, K. Anderson, C. Barba, L. Sturiale, D.
Garozzo, R. Bei, L. Masuelli, V. Conti, G. Novarino, A. Fassio, Brain 145 (2022)
2687–2703.
date_created: 2023-01-12T12:11:45Z
date_published: 2022-08-01T00:00:00Z
date_updated: 2023-08-04T09:13:08Z
day: '01'
department:
- _id: GaNo
doi: 10.1093/brain/awac145
ec_funded: 1
external_id:
isi:
- '000807770000001'
intvolume: ' 145'
isi: 1
issue: '8'
keyword:
- Neurology (clinical)
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1093/brain/awac145
month: '08'
oa: 1
oa_version: Published Version
page: 2687-2703
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Brain
publication_identifier:
eissn:
- 1460-2156
issn:
- 0006-8950
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal
homeostasis'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 145
year: '2022'
...
---
_id: '12175'
abstract:
- lang: eng
text: An automaton is history-deterministic (HD) if one can safely resolve its non-deterministic
choices on the fly. In a recent paper, Henzinger, Lehtinen and Totzke studied
this in the context of Timed Automata [9], where it was conjectured that the class
of timed ω-languages recognised by HD-timed automata strictly extends that of
deterministic ones. We provide a proof for this fact.
acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093, the
EPSRC project EP/V025848/1, and the EPSRC project EP/X017796/1.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Sougata
full_name: Bose, Sougata
last_name: Bose
- 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: Karoliina
full_name: Lehtinen, Karoliina
last_name: Lehtinen
- first_name: Sven
full_name: Schewe, Sven
last_name: Schewe
- first_name: Patrick
full_name: Totzke, Patrick
last_name: Totzke
citation:
ama: 'Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. History-deterministic
timed automata are not determinizable. In: 16th International Conference on
Reachability Problems. Vol 13608. Springer Nature; 2022:67-76. doi:10.1007/978-3-031-19135-0_5'
apa: 'Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., & Totzke, P. (2022).
History-deterministic timed automata are not determinizable. In 16th International
Conference on Reachability Problems (Vol. 13608, pp. 67–76). Kaiserslautern,
Germany: Springer Nature. https://doi.org/10.1007/978-3-031-19135-0_5'
chicago: Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and
Patrick Totzke. “History-Deterministic Timed Automata Are Not Determinizable.”
In 16th International Conference on Reachability Problems, 13608:67–76.
Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19135-0_5.
ieee: S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic
timed automata are not determinizable,” in 16th International Conference on
Reachability Problems, Kaiserslautern, Germany, 2022, vol. 13608, pp. 67–76.
ista: 'Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. 2022. History-deterministic
timed automata are not determinizable. 16th International Conference on Reachability
Problems. RC: Reachability Problems, LNCS, vol. 13608, 67–76.'
mla: Bose, Sougata, et al. “History-Deterministic Timed Automata Are Not Determinizable.”
16th International Conference on Reachability Problems, vol. 13608, Springer
Nature, 2022, pp. 67–76, doi:10.1007/978-3-031-19135-0_5.
short: S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International
Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
conference:
end_date: 2022-10-21
location: Kaiserslautern, Germany
name: 'RC: Reachability Problems'
start_date: 2022-10-17
date_created: 2023-01-12T12:11:57Z
date_published: 2022-10-12T00:00:00Z
date_updated: 2023-09-05T15:12:08Z
day: '12'
department:
- _id: ToHe
doi: 10.1007/978-3-031-19135-0_5
ec_funded: 1
intvolume: ' 13608'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://hal.science/hal-03849398/
month: '10'
oa: 1
oa_version: Preprint
page: 67-76
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 16th International Conference on Reachability Problems
publication_identifier:
eisbn:
- '9783031191350'
eissn:
- 1611-3349
isbn:
- '9783031191343'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: History-deterministic timed automata are not determinizable
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 13608
year: '2022'
...
---
_id: '12176'
abstract:
- lang: eng
text: "A proof of exponentiation (PoE) in a group G of unknown order allows a prover
to convince a verifier that a tuple (x,q,T,y)∈G×N×N×G satisfies xqT=y. This primitive
has recently found exciting applications in the constructions of verifiable delay
functions and succinct arguments of knowledge. The most practical PoEs only achieve
soundness either under computational assumptions, i.e., they are arguments (Wesolowski,
Journal of Cryptology 2020), or in groups that come with the promise of not having
any small subgroups (Pietrzak, ITCS 2019). The only statistically-sound PoE in
general groups of unknown order is due to Block et al. (CRYPTO 2021), and can
be seen as an elaborate parallel repetition of Pietrzak’s PoE: to achieve λ bits
of security, say λ=80, the number of repetitions required (and thus the blow-up
in communication) is as large as λ.\r\n\r\nIn this work, we propose a statistically-sound
PoE for the case where the exponent q is the product of all primes up to some
bound B. We show that, in this case, it suffices to run only λ/log(B) parallel
instances of Pietrzak’s PoE, which reduces the concrete proof-size compared to
Block et al. by an order of magnitude. Furthermore, we show that in the known
applications where PoEs are used as a building block such structured exponents
are viable. Finally, we also discuss batching of our PoE, showing that many proofs
(for the same G and q but different x and T) can be batched by adding only a single
element to the proof per additional statement."
acknowledgement: "We would like to thank the authors of [BHR+21] for clarifying several
questions we had\r\nregarding their results. Pavel Hubá£ek was supported by the
Grant Agency of the Czech\r\nRepublic under the grant agreement no. 19-27871X and
by the Charles University project\r\nUNCE/SCI/004. Chethan Kamath is supported by
Azrieli International Postdoctoral Fellowship\r\nand ISF grants 484/18 and 1789/19.
Karen Klein was supported in part by ERC CoG grant\r\n724307 and conducted part
of this work at Institute of Science and Technology Austria."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Charlotte
full_name: Hoffmann, Charlotte
id: 0f78d746-dc7d-11ea-9b2f-83f92091afe7
last_name: Hoffmann
orcid: 0000-0003-2027-5549
- first_name: Pavel
full_name: Hubáček, Pavel
last_name: Hubáček
- first_name: Chethan
full_name: Kamath, Chethan
last_name: Kamath
- first_name: Karen
full_name: Klein, Karen
last_name: Klein
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Hoffmann C, Hubáček P, Kamath C, Klein K, Pietrzak KZ. Practical statistically-sound
proofs of exponentiation in any group. In: Advances in Cryptology – CRYPTO
2022. Vol 13508. Springer Nature; 2022:370-399. doi:10.1007/978-3-031-15979-4_13'
apa: 'Hoffmann, C., Hubáček, P., Kamath, C., Klein, K., & Pietrzak, K. Z. (2022).
Practical statistically-sound proofs of exponentiation in any group. In Advances
in Cryptology – CRYPTO 2022 (Vol. 13508, pp. 370–399). Santa Barbara, CA,
United States: Springer Nature. https://doi.org/10.1007/978-3-031-15979-4_13'
chicago: Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, Karen Klein, and Krzysztof
Z Pietrzak. “Practical Statistically-Sound Proofs of Exponentiation in Any Group.”
In Advances in Cryptology – CRYPTO 2022, 13508:370–99. Springer Nature,
2022. https://doi.org/10.1007/978-3-031-15979-4_13.
ieee: C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, and K. Z. Pietrzak, “Practical
statistically-sound proofs of exponentiation in any group,” in Advances in
Cryptology – CRYPTO 2022, Santa Barbara, CA, United States, 2022, vol. 13508,
pp. 370–399.
ista: 'Hoffmann C, Hubáček P, Kamath C, Klein K, Pietrzak KZ. 2022. Practical statistically-sound
proofs of exponentiation in any group. Advances in Cryptology – CRYPTO 2022. CRYYPTO:
International Cryptology Conference, LNCS, vol. 13508, 370–399.'
mla: Hoffmann, Charlotte, et al. “Practical Statistically-Sound Proofs of Exponentiation
in Any Group.” Advances in Cryptology – CRYPTO 2022, vol. 13508, Springer
Nature, 2022, pp. 370–99, doi:10.1007/978-3-031-15979-4_13.
short: C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances
in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.
conference:
end_date: 2022-08-18
location: Santa Barbara, CA, United States
name: 'CRYYPTO: International Cryptology Conference'
start_date: 2022-08-15
date_created: 2023-01-12T12:12:07Z
date_published: 2022-10-13T00:00:00Z
date_updated: 2023-09-05T15:12:27Z
day: '13'
department:
- _id: KrPi
doi: 10.1007/978-3-031-15979-4_13
external_id:
isi:
- '000886792700013'
intvolume: ' 13508'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2022/1021
month: '10'
oa: 1
oa_version: Preprint
page: 370-399
publication: Advances in Cryptology – CRYPTO 2022
publication_identifier:
eisbn:
- '9783031159794'
eissn:
- 1611-3349
isbn:
- '9783031159787'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Practical statistically-sound proofs of exponentiation in any group
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 13508
year: '2022'
...
---
_id: '12177'
abstract:
- lang: eng
text: Using elementary hyperbolic geometry, we give an explicit formula for the
contraction constant of the skinning map over moduli spaces of relatively acylindrical
hyperbolic manifolds.
acknowledgement: "The first author was partially supported by the National Science
Foundation under Grant\r\nNo. DMS-1928930 while participating in a program hosted
by the Mathematical Sciences Research Institute in Berkeley, California, during
the Fall 2020 semester. The second author gratefully acknowledges funding by the
Austrian Science Fund (FWF) through grants F65 and ESPRIT 208, by the European Research
Council (ERC, grant No. 716117, awarded to Prof. Dr. Jan Maas), and by the Deutsche
Forschungsgemeinschaft through the SPP 2265."
article_processing_charge: No
article_type: original
author:
- first_name: Tommaso
full_name: Cremaschi, Tommaso
last_name: Cremaschi
- first_name: Lorenzo
full_name: Dello Schiavo, Lorenzo
id: ECEBF480-9E4F-11EA-B557-B0823DDC885E
last_name: Dello Schiavo
orcid: 0000-0002-9881-6870
citation:
ama: Cremaschi T, Dello Schiavo L. Effective contraction of Skinning maps. Proceedings
of the American Mathematical Society, Series B. 2022;9(43):445-459. doi:10.1090/bproc/134
apa: Cremaschi, T., & Dello Schiavo, L. (2022). Effective contraction of Skinning
maps. Proceedings of the American Mathematical Society, Series B. American
Mathematical Society. https://doi.org/10.1090/bproc/134
chicago: Cremaschi, Tommaso, and Lorenzo Dello Schiavo. “Effective Contraction of
Skinning Maps.” Proceedings of the American Mathematical Society, Series B.
American Mathematical Society, 2022. https://doi.org/10.1090/bproc/134.
ieee: T. Cremaschi and L. Dello Schiavo, “Effective contraction of Skinning maps,”
Proceedings of the American Mathematical Society, Series B, vol. 9, no.
43. American Mathematical Society, pp. 445–459, 2022.
ista: Cremaschi T, Dello Schiavo L. 2022. Effective contraction of Skinning maps.
Proceedings of the American Mathematical Society, Series B. 9(43), 445–459.
mla: Cremaschi, Tommaso, and Lorenzo Dello Schiavo. “Effective Contraction of Skinning
Maps.” Proceedings of the American Mathematical Society, Series B, vol.
9, no. 43, American Mathematical Society, 2022, pp. 445–59, doi:10.1090/bproc/134.
short: T. Cremaschi, L. Dello Schiavo, Proceedings of the American Mathematical
Society, Series B 9 (2022) 445–459.
date_created: 2023-01-12T12:12:17Z
date_published: 2022-11-02T00:00:00Z
date_updated: 2023-01-26T13:04:13Z
day: '02'
ddc:
- '510'
department:
- _id: JaMa
doi: 10.1090/bproc/134
ec_funded: 1
file:
- access_level: open_access
checksum: cb4a79937c1f60d4c329a10ee797f0d2
content_type: application/pdf
creator: dernst
date_created: 2023-01-26T13:02:07Z
date_updated: 2023-01-26T13:02:07Z
file_id: '12404'
file_name: 2022_ProceedingsAMS_Cremaschi.pdf
file_size: 326471
relation: main_file
success: 1
file_date_updated: 2023-01-26T13:02:07Z
has_accepted_license: '1'
intvolume: ' 9'
issue: '43'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '11'
oa: 1
oa_version: Published Version
page: 445-459
project:
- _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2
grant_number: F6504
name: Taming Complexity in Partial Differential Systems
- _id: 256E75B8-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '716117'
name: Optimal Transport and Stochastic Dynamics
publication: Proceedings of the American Mathematical Society, Series B
publication_identifier:
issn:
- 2330-1511
publication_status: published
publisher: American Mathematical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Effective contraction of Skinning maps
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: 9
year: '2022'
...
---
_id: '12178'
abstract:
- lang: eng
text: In this paper we consider the stochastic primitive equation for geophysical
flows subject to transport noise and turbulent pressure. Admitting very rough
noise terms, the global existence and uniqueness of solutions to this stochastic
partial differential equation are proven using stochastic maximal L² regularity,
the theory of critical spaces for stochastic evolution equations, and global a
priori bounds. Compared to other results in this direction, we do not need any
smallness assumption on the transport noise which acts directly on the velocity
field and we also allow rougher noise terms. The adaptation to Stratonovich type
noise and, more generally, to variable viscosity and/or conductivity are discussed
as well.
acknowledgement: The authors thank the anonymous referees for their helpful comments
and suggestions. Open Access funding enabled and organized by Projekt DEAL.
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Antonio
full_name: Agresti, Antonio
id: 673cd0cc-9b9a-11eb-b144-88f30e1fbb72
last_name: Agresti
orcid: 0000-0002-9573-2962
- first_name: Matthias
full_name: Hieber, Matthias
last_name: Hieber
- first_name: Amru
full_name: Hussein, Amru
last_name: Hussein
- first_name: Martin
full_name: Saal, Martin
last_name: Saal
citation:
ama: 'Agresti A, Hieber M, Hussein A, Saal M. The stochastic primitive equations
with transport noise and turbulent pressure. Stochastics and Partial Differential
Equations: Analysis and Computations. 2022. doi:10.1007/s40072-022-00277-3'
apa: 'Agresti, A., Hieber, M., Hussein, A., & Saal, M. (2022). The stochastic
primitive equations with transport noise and turbulent pressure. Stochastics
and Partial Differential Equations: Analysis and Computations. Springer Nature.
https://doi.org/10.1007/s40072-022-00277-3'
chicago: 'Agresti, Antonio, Matthias Hieber, Amru Hussein, and Martin Saal. “The
Stochastic Primitive Equations with Transport Noise and Turbulent Pressure.” Stochastics
and Partial Differential Equations: Analysis and Computations. Springer Nature,
2022. https://doi.org/10.1007/s40072-022-00277-3.'
ieee: 'A. Agresti, M. Hieber, A. Hussein, and M. Saal, “The stochastic primitive
equations with transport noise and turbulent pressure,” Stochastics and Partial
Differential Equations: Analysis and Computations. Springer Nature, 2022.'
ista: 'Agresti A, Hieber M, Hussein A, Saal M. 2022. The stochastic primitive equations
with transport noise and turbulent pressure. Stochastics and Partial Differential
Equations: Analysis and Computations.'
mla: 'Agresti, Antonio, et al. “The Stochastic Primitive Equations with Transport
Noise and Turbulent Pressure.” Stochastics and Partial Differential Equations:
Analysis and Computations, Springer Nature, 2022, doi:10.1007/s40072-022-00277-3.'
short: 'A. Agresti, M. Hieber, A. Hussein, M. Saal, Stochastics and Partial Differential
Equations: Analysis and Computations (2022).'
date_created: 2023-01-12T12:12:29Z
date_published: 2022-10-27T00:00:00Z
date_updated: 2023-08-16T09:11:38Z
day: '27'
department:
- _id: JuFi
doi: 10.1007/s40072-022-00277-3
external_id:
isi:
- '000874389000001'
isi: 1
keyword:
- Applied Mathematics
- Modeling and Simulation
- Statistics and Probability
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/s40072-022-00277-3
month: '10'
oa: 1
oa_version: Published Version
publication: 'Stochastics and Partial Differential Equations: Analysis and Computations'
publication_identifier:
eissn:
- 2194-041X
issn:
- 2194-0401
publication_status: epub_ahead
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: The stochastic primitive equations with transport noise and turbulent pressure
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2022'
...
---
_id: '12179'
abstract:
- lang: eng
text: We derive an accurate lower tail estimate on the lowest singular value σ1(X−z)
of a real Gaussian (Ginibre) random matrix X shifted by a complex parameter z.
Such shift effectively changes the upper tail behavior of the condition number
κ(X−z) from the slower (κ(X−z)≥t)≲1/t decay typical for real Ginibre matrices
to the faster 1/t2 decay seen for complex Ginibre matrices as long as z is away
from the real axis. This sharpens and resolves a recent conjecture in [J. Banks
et al., https://arxiv.org/abs/2005.08930, 2020] on the regularizing effect of
the real Ginibre ensemble with a genuinely complex shift. As a consequence we
obtain an improved upper bound on the eigenvalue condition numbers (known also
as the eigenvector overlaps) for real Ginibre matrices. The main technical tool
is a rigorous supersymmetric analysis from our earlier work [Probab. Math. Phys.,
1 (2020), pp. 101--146].
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Giorgio
full_name: Cipolloni, Giorgio
id: 42198EFA-F248-11E8-B48F-1D18A9856A87
last_name: Cipolloni
orcid: 0000-0002-4901-7992
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Dominik J
full_name: Schröder, Dominik J
id: 408ED176-F248-11E8-B48F-1D18A9856A87
last_name: Schröder
orcid: 0000-0002-2904-1856
citation:
ama: Cipolloni G, Erdös L, Schröder DJ. On the condition number of the shifted real
Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. 2022;43(3):1469-1487.
doi:10.1137/21m1424408
apa: Cipolloni, G., Erdös, L., & Schröder, D. J. (2022). On the condition number
of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications.
Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21m1424408
chicago: Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “On the Condition
Number of the Shifted Real Ginibre Ensemble.” SIAM Journal on Matrix Analysis
and Applications. Society for Industrial and Applied Mathematics, 2022. https://doi.org/10.1137/21m1424408.
ieee: G. Cipolloni, L. Erdös, and D. J. Schröder, “On the condition number of the
shifted real Ginibre ensemble,” SIAM Journal on Matrix Analysis and Applications,
vol. 43, no. 3. Society for Industrial and Applied Mathematics, pp. 1469–1487,
2022.
ista: Cipolloni G, Erdös L, Schröder DJ. 2022. On the condition number of the shifted
real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. 43(3),
1469–1487.
mla: Cipolloni, Giorgio, et al. “On the Condition Number of the Shifted Real Ginibre
Ensemble.” SIAM Journal on Matrix Analysis and Applications, vol. 43, no.
3, Society for Industrial and Applied Mathematics, 2022, pp. 1469–87, doi:10.1137/21m1424408.
short: G. Cipolloni, L. Erdös, D.J. Schröder, SIAM Journal on Matrix Analysis and
Applications 43 (2022) 1469–1487.
date_created: 2023-01-12T12:12:38Z
date_published: 2022-07-01T00:00:00Z
date_updated: 2023-01-27T06:56:06Z
day: '01'
department:
- _id: LaEr
doi: 10.1137/21m1424408
external_id:
arxiv:
- '2105.13719'
intvolume: ' 43'
issue: '3'
keyword:
- Analysis
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2105.13719
month: '07'
oa: 1
oa_version: Preprint
page: 1469-1487
publication: SIAM Journal on Matrix Analysis and Applications
publication_identifier:
eissn:
- 1095-7162
issn:
- 0895-4798
publication_status: published
publisher: Society for Industrial and Applied Mathematics
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the condition number of the shifted real Ginibre ensemble
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 43
year: '2022'
...
---
_id: '12182'
abstract:
- lang: eng
text: 'Online algorithms make decisions based on past inputs, with the goal of being
competitive against an algorithm that sees also future inputs. In this work, we
introduce time-local online algorithms; these are online algorithms in which the
output at any given time is a function of only T latest inputs. Our main observation
is that time-local online algorithms are closely connected to local distributed
graph algorithms: distributed algorithms make decisions based on the local information
in the spatial dimension, while time-local online algorithms make decisions based
on the local information in the temporal dimension. We formalize this connection,
and show how we can directly use the tools developed to study distributed approximability
of graph optimization problems to prove upper and lower bounds on the competitive
ratio achieved with time-local online algorithms. Moreover, we show how to use
computational techniques to synthesize optimal time-local algorithms.'
acknowledgement: "This research has received funding from the German Research Foundation
(DFG), grant\r\n470029389 (FlexNets), 2021-2024, and the Marie Skłodowska-Curie
grant agreement No. 840605."
article_number: '52'
article_processing_charge: No
author:
- first_name: Maciej
full_name: Pacut, Maciej
last_name: Pacut
- first_name: Mahmoud
full_name: Parham, Mahmoud
last_name: Parham
- first_name: Joel
full_name: Rybicki, Joel
id: 334EFD2E-F248-11E8-B48F-1D18A9856A87
last_name: Rybicki
orcid: 0000-0002-6432-6646
- first_name: Stefan
full_name: Schmid, Stefan
last_name: Schmid
- first_name: Jukka
full_name: Suomela, Jukka
last_name: Suomela
- first_name: Aleksandr
full_name: Tereshchenko, Aleksandr
last_name: Tereshchenko
citation:
ama: 'Pacut M, Parham M, Rybicki J, Schmid S, Suomela J, Tereshchenko A. Brief announcement:
Temporal locality in online algorithms. In: 36th International Symposium on
Distributed Computing. Vol 246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik;
2022. doi:10.4230/LIPIcs.DISC.2022.52'
apa: 'Pacut, M., Parham, M., Rybicki, J., Schmid, S., Suomela, J., & Tereshchenko,
A. (2022). Brief announcement: Temporal locality in online algorithms. In 36th
International Symposium on Distributed Computing (Vol. 246). Augusta, GA,
United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2022.52'
chicago: 'Pacut, Maciej, Mahmoud Parham, Joel Rybicki, Stefan Schmid, Jukka Suomela,
and Aleksandr Tereshchenko. “Brief Announcement: Temporal Locality in Online Algorithms.”
In 36th International Symposium on Distributed Computing, Vol. 246. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.DISC.2022.52.'
ieee: 'M. Pacut, M. Parham, J. Rybicki, S. Schmid, J. Suomela, and A. Tereshchenko,
“Brief announcement: Temporal locality in online algorithms,” in 36th International
Symposium on Distributed Computing, Augusta, GA, United States, 2022, vol.
246.'
ista: 'Pacut M, Parham M, Rybicki J, Schmid S, Suomela J, Tereshchenko A. 2022.
Brief announcement: Temporal locality in online algorithms. 36th International
Symposium on Distributed Computing. DISC: Symposium on Distributed Computing vol.
246, 52.'
mla: 'Pacut, Maciej, et al. “Brief Announcement: Temporal Locality in Online Algorithms.”
36th International Symposium on Distributed Computing, vol. 246, 52, Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.DISC.2022.52.'
short: M. Pacut, M. Parham, J. Rybicki, S. Schmid, J. Suomela, A. Tereshchenko,
in:, 36th International Symposium on Distributed Computing, Schloss Dagstuhl -
Leibniz-Zentrum für Informatik, 2022.
conference:
end_date: 2022-10-27
location: Augusta, GA, United States
name: 'DISC: Symposium on Distributed Computing'
start_date: 2022-10-25
date_created: 2023-01-13T11:06:28Z
date_published: 2022-10-17T00:00:00Z
date_updated: 2023-01-27T06:59:29Z
day: '17'
ddc:
- '000'
department:
- _id: DaAl
doi: 10.4230/LIPIcs.DISC.2022.52
ec_funded: 1
file:
- access_level: open_access
checksum: 11bbb56f68a00f2cf6bcce6cc7f5c5f9
content_type: application/pdf
creator: dernst
date_created: 2023-01-27T06:58:02Z
date_updated: 2023-01-27T06:58:02Z
file_id: '12409'
file_name: 2022_LIPICs_Pacut.pdf
file_size: 524804
relation: main_file
success: 1
file_date_updated: 2023-01-27T06:58:02Z
has_accepted_license: '1'
intvolume: ' 246'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 26A5D39A-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '840605'
name: Coordination in constrained and natural distributed systems
publication: 36th International Symposium on Distributed Computing
publication_identifier:
eisbn:
- '9783959772556'
eissn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Brief announcement: Temporal locality in online algorithms'
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: 246
year: '2022'
...
---
_id: '12184'
abstract:
- lang: eng
text: We review recent results on adiabatic theory for ground states of extended
gapped fermionic lattice systems under several different assumptions. More precisely,
we present generalized super-adiabatic theorems for extended but finite and infinite
systems, assuming either a uniform gap or a gap in the bulk above the unperturbed
ground state. The goal of this Review is to provide an overview of these adiabatic
theorems and briefly outline the main ideas and techniques required in their proofs.
acknowledgement: "It is a pleasure to thank Stefan Teufel for numerous interesting
discussions, fruitful collaboration, and many helpful comments on an earlier version
of the manuscript. J.H. acknowledges partial financial support from the ERC Advanced
Grant No. 101020331 “Random\r\nmatrices beyond Wigner-Dyson-Mehta.” T.W. acknowledges
financial support from the DFG research unit FOR 5413 “Long-range interacting quantum
spin systems out of equilibrium: Experiment, Theory and Mathematics.\" "
article_number: '121101'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Sven Joscha
full_name: Henheik, Sven Joscha
id: 31d731d7-d235-11ea-ad11-b50331c8d7fb
last_name: Henheik
orcid: 0000-0003-1106-327X
- first_name: Tom
full_name: Wessel, Tom
last_name: Wessel
citation:
ama: Henheik SJ, Wessel T. On adiabatic theory for extended fermionic lattice systems.
Journal of Mathematical Physics. 2022;63(12). doi:10.1063/5.0123441
apa: Henheik, S. J., & Wessel, T. (2022). On adiabatic theory for extended fermionic
lattice systems. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0123441
chicago: Henheik, Sven Joscha, and Tom Wessel. “On Adiabatic Theory for Extended
Fermionic Lattice Systems.” Journal of Mathematical Physics. AIP Publishing,
2022. https://doi.org/10.1063/5.0123441.
ieee: S. J. Henheik and T. Wessel, “On adiabatic theory for extended fermionic lattice
systems,” Journal of Mathematical Physics, vol. 63, no. 12. AIP Publishing,
2022.
ista: Henheik SJ, Wessel T. 2022. On adiabatic theory for extended fermionic lattice
systems. Journal of Mathematical Physics. 63(12), 121101.
mla: Henheik, Sven Joscha, and Tom Wessel. “On Adiabatic Theory for Extended Fermionic
Lattice Systems.” Journal of Mathematical Physics, vol. 63, no. 12, 121101,
AIP Publishing, 2022, doi:10.1063/5.0123441.
short: S.J. Henheik, T. Wessel, Journal of Mathematical Physics 63 (2022).
date_created: 2023-01-15T23:00:52Z
date_published: 2022-12-01T00:00:00Z
date_updated: 2023-08-04T09:14:57Z
day: '01'
ddc:
- '510'
department:
- _id: LaEr
doi: 10.1063/5.0123441
ec_funded: 1
external_id:
arxiv:
- '2208.12220'
isi:
- '000905776200001'
file:
- access_level: open_access
checksum: 213b93750080460718c050e4967cfdb4
content_type: application/pdf
creator: dernst
date_created: 2023-01-27T07:10:52Z
date_updated: 2023-01-27T07:10:52Z
file_id: '12410'
file_name: 2022_JourMathPhysics_Henheik2.pdf
file_size: 5251092
relation: main_file
success: 1
file_date_updated: 2023-01-27T07:10:52Z
has_accepted_license: '1'
intvolume: ' 63'
isi: 1
issue: '12'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 62796744-2b32-11ec-9570-940b20777f1d
call_identifier: H2020
grant_number: '101020331'
name: Random matrices beyond Wigner-Dyson-Mehta
publication: Journal of Mathematical Physics
publication_identifier:
issn:
- 0022-2488
publication_status: published
publisher: AIP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: On adiabatic theory for extended fermionic lattice systems
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 63
year: '2022'
...