---
_id: '14195'
abstract:
- lang: eng
text: "The idea behind the unsupervised learning of disentangled representations
is that real-world data is generated by a few explanatory factors of variation
which can be recovered by unsupervised learning algorithms. In this paper, we
provide a sober look at recent progress in the field and challenge some common
assumptions. We first theoretically show that the unsupervised learning of disentangled
representations is fundamentally impossible without inductive biases on both the
models and the data. Then, we train over 14000\r\n models covering most prominent
methods and evaluation metrics in a reproducible large-scale experimental study
on eight data sets. We observe that while the different methods successfully enforce
properties “encouraged” by the corresponding losses, well-disentangled models
seemingly cannot be identified without supervision. Furthermore, different evaluation
metrics do not always agree on what should be considered “disentangled” and exhibit
systematic differences in the estimation. Finally, increased disentanglement does
not seem to necessarily lead to a decreased sample complexity of learning for
downstream tasks. Our results suggest that future work on disentanglement learning
should be explicit about the role of inductive biases and (implicit) supervision,
investigate concrete benefits of enforcing disentanglement of the learned representations,
and consider a reproducible experimental setup covering several data sets."
article_number: '209'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Francesco
full_name: Locatello, Francesco
id: 26cfd52f-2483-11ee-8040-88983bcc06d4
last_name: Locatello
orcid: 0000-0002-4850-0683
- first_name: Stefan
full_name: Bauer, Stefan
last_name: Bauer
- first_name: Mario
full_name: Lucic, Mario
last_name: Lucic
- first_name: Gunnar
full_name: Rätsch, Gunnar
last_name: Rätsch
- first_name: Sylvain
full_name: Gelly, Sylvain
last_name: Gelly
- first_name: Bernhard
full_name: Schölkopf, Bernhard
last_name: Schölkopf
- first_name: Olivier
full_name: Bachem, Olivier
last_name: Bachem
citation:
ama: Locatello F, Bauer S, Lucic M, et al. A sober look at the unsupervised learning
of disentangled representations and their evaluation. Journal of Machine Learning
Research. 2020;21.
apa: Locatello, F., Bauer, S., Lucic, M., Rätsch, G., Gelly, S., Schölkopf, B.,
& Bachem, O. (2020). A sober look at the unsupervised learning of disentangled
representations and their evaluation. Journal of Machine Learning Research.
MIT Press.
chicago: Locatello, Francesco, Stefan Bauer, Mario Lucic, Gunnar Rätsch, Sylvain
Gelly, Bernhard Schölkopf, and Olivier Bachem. “A Sober Look at the Unsupervised
Learning of Disentangled Representations and Their Evaluation.” Journal of
Machine Learning Research. MIT Press, 2020.
ieee: F. Locatello et al., “A sober look at the unsupervised learning of
disentangled representations and their evaluation,” Journal of Machine Learning
Research, vol. 21. MIT Press, 2020.
ista: Locatello F, Bauer S, Lucic M, Rätsch G, Gelly S, Schölkopf B, Bachem O. 2020.
A sober look at the unsupervised learning of disentangled representations and
their evaluation. Journal of Machine Learning Research. 21, 209.
mla: Locatello, Francesco, et al. “A Sober Look at the Unsupervised Learning of
Disentangled Representations and Their Evaluation.” Journal of Machine Learning
Research, vol. 21, 209, MIT Press, 2020.
short: F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem,
Journal of Machine Learning Research 21 (2020).
date_created: 2023-08-22T14:10:34Z
date_published: 2020-09-01T00:00:00Z
date_updated: 2023-09-12T09:23:56Z
day: '01'
ddc:
- '000'
department:
- _id: FrLo
extern: '1'
external_id:
arxiv:
- '2010.14766'
has_accepted_license: '1'
intvolume: ' 21'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://jmlr.csail.mit.edu/papers/v21/19-976.html
month: '09'
oa: 1
oa_version: Published Version
publication: Journal of Machine Learning Research
publication_status: published
publisher: MIT Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: A sober look at the unsupervised learning of disentangled representations and
their evaluation
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: 21
year: '2020'
...
---
_id: '9001'
abstract:
- lang: eng
text: Quantum illumination is a sensing technique that employs entangled signal-idler
beams to improve the detection efficiency of low-reflectivity objects in environments
with large thermal noise. The advantage over classical strategies is evident at
low signal brightness, a feature which could make the protocol an ideal prototype
for non-invasive scanning or low-power short-range radar. Here we experimentally
investigate the concept of quantum illumination at microwave frequencies, by generating
entangled fields using a Josephson parametric converter which are then amplified
to illuminate a room-temperature object at a distance of 1 meter. Starting from
experimental data, we simulate the case of perfect idler photon number detection,
which results in a quantum advantage compared to the relative classical benchmark.
Our results highlight the opportunities and challenges on the way towards a first
room-temperature application of microwave quantum circuits.
acknowledgement: "This work was supported by the Institute of Science and Technology
Austria (IST Austria), the European Research Council under grant agreement number
758053 (ERC StG QUNNECT) and the EU’s Horizon 2020 research and innovation programme
under grant agreement number 862644 (FET Open QUARTET). S.B. acknowledges support
from the Marie Skłodowska Curie\r\nfellowship number 707438 (MSC-IF SUPEREOM), DV
acknowledge support from EU’s Horizon 2020 research and innovation programme under
grant agreement number 732894 (FET Proactive HOT) and the Project QuaSeRT funded
by the QuantERA ERANET Cofund in Quantum Technologies, and J.M.F from the Austrian
Science Fund (FWF) through BeyondC (F71), a NOMIS foundation research grant, and
the EU’s Horizon 2020 research and\r\ninnovation programme under grant agreement
number 732894 (FET Proactive\r\nHOT)."
article_number: '9266397'
article_processing_charge: No
arxiv: 1
author:
- first_name: Shabir
full_name: Barzanjeh, Shabir
id: 2D25E1F6-F248-11E8-B48F-1D18A9856A87
last_name: Barzanjeh
orcid: 0000-0003-0415-1423
- first_name: Stefano
full_name: Pirandola, Stefano
last_name: Pirandola
- first_name: David
full_name: Vitali, David
last_name: Vitali
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
citation:
ama: 'Barzanjeh S, Pirandola S, Vitali D, Fink JM. Microwave quantum illumination
with a digital phase-conjugated receiver. In: IEEE National Radar Conference
- Proceedings. Vol 2020. IEEE; 2020. doi:10.1109/RadarConf2043947.2020.9266397'
apa: 'Barzanjeh, S., Pirandola, S., Vitali, D., & Fink, J. M. (2020). Microwave
quantum illumination with a digital phase-conjugated receiver. In IEEE National
Radar Conference - Proceedings (Vol. 2020). Florence, Italy: IEEE. https://doi.org/10.1109/RadarConf2043947.2020.9266397'
chicago: Barzanjeh, Shabir, Stefano Pirandola, David Vitali, and Johannes M Fink.
“Microwave Quantum Illumination with a Digital Phase-Conjugated Receiver.” In
IEEE National Radar Conference - Proceedings, Vol. 2020. IEEE, 2020. https://doi.org/10.1109/RadarConf2043947.2020.9266397.
ieee: S. Barzanjeh, S. Pirandola, D. Vitali, and J. M. Fink, “Microwave quantum
illumination with a digital phase-conjugated receiver,” in IEEE National Radar
Conference - Proceedings, Florence, Italy, 2020, vol. 2020, no. 9.
ista: 'Barzanjeh S, Pirandola S, Vitali D, Fink JM. 2020. Microwave quantum illumination
with a digital phase-conjugated receiver. IEEE National Radar Conference - Proceedings.
RadarConf: National Conference on Radar vol. 2020, 9266397.'
mla: Barzanjeh, Shabir, et al. “Microwave Quantum Illumination with a Digital Phase-Conjugated
Receiver.” IEEE National Radar Conference - Proceedings, vol. 2020, no.
9, 9266397, IEEE, 2020, doi:10.1109/RadarConf2043947.2020.9266397.
short: S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, in:, IEEE National Radar
Conference - Proceedings, IEEE, 2020.
conference:
end_date: 2020-09-25
location: Florence, Italy
name: 'RadarConf: National Conference on Radar'
start_date: 2020-09-21
date_created: 2021-01-10T23:01:17Z
date_published: 2020-09-21T00:00:00Z
date_updated: 2024-09-10T12:23:52Z
day: '21'
department:
- _id: JoFi
doi: 10.1109/RadarConf2043947.2020.9266397
ec_funded: 1
external_id:
arxiv:
- '1908.03058'
isi:
- '000612224900089'
intvolume: ' 2020'
isi: 1
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1908.03058
month: '09'
oa: 1
oa_version: Preprint
project:
- _id: 26336814-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '758053'
name: A Fiber Optic Transceiver for Superconducting Qubits
- _id: 237CBA6C-32DE-11EA-91FC-C7463DDC885E
call_identifier: H2020
grant_number: '862644'
name: Quantum readout techniques and technologies
- _id: 258047B6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '707438'
name: 'Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination
with cavity Optomechanics SUPEREOM'
- _id: 257EB838-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '732894'
name: Hybrid Optomechanical Technologies
publication: IEEE National Radar Conference - Proceedings
publication_identifier:
isbn:
- '9781728189420'
issn:
- 1097-5659
publication_status: published
publisher: IEEE
quality_controlled: '1'
related_material:
record:
- id: '7910'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Microwave quantum illumination with a digital phase-conjugated receiver
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 2020
year: '2020'
...
---
_id: '9007'
abstract:
- lang: eng
text: Motivated by a recent question of Peyre, we apply the Hardy–Littlewood circle
method to count “sufficiently free” rational points of bounded height on arbitrary
smooth projective hypersurfaces of low degree that are defined over the rationals.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Timothy D
full_name: Browning, Timothy D
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Will
full_name: Sawin, Will
last_name: Sawin
citation:
ama: Browning TD, Sawin W. Free rational points on smooth hypersurfaces. Commentarii
Mathematici Helvetici. 2020;95(4):635-659. doi:10.4171/CMH/499
apa: Browning, T. D., & Sawin, W. (2020). Free rational points on smooth hypersurfaces.
Commentarii Mathematici Helvetici. European Mathematical Society. https://doi.org/10.4171/CMH/499
chicago: Browning, Timothy D, and Will Sawin. “Free Rational Points on Smooth Hypersurfaces.”
Commentarii Mathematici Helvetici. European Mathematical Society, 2020.
https://doi.org/10.4171/CMH/499.
ieee: T. D. Browning and W. Sawin, “Free rational points on smooth hypersurfaces,”
Commentarii Mathematici Helvetici, vol. 95, no. 4. European Mathematical
Society, pp. 635–659, 2020.
ista: Browning TD, Sawin W. 2020. Free rational points on smooth hypersurfaces.
Commentarii Mathematici Helvetici. 95(4), 635–659.
mla: Browning, Timothy D., and Will Sawin. “Free Rational Points on Smooth Hypersurfaces.”
Commentarii Mathematici Helvetici, vol. 95, no. 4, European Mathematical
Society, 2020, pp. 635–59, doi:10.4171/CMH/499.
short: T.D. Browning, W. Sawin, Commentarii Mathematici Helvetici 95 (2020) 635–659.
date_created: 2021-01-17T23:01:11Z
date_published: 2020-12-07T00:00:00Z
date_updated: 2023-08-24T11:11:36Z
day: '07'
department:
- _id: TiBr
doi: 10.4171/CMH/499
external_id:
arxiv:
- '1906.08463'
isi:
- '000596833300001'
intvolume: ' 95'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1906.08463
month: '12'
oa: 1
oa_version: Preprint
page: 635-659
publication: Commentarii Mathematici Helvetici
publication_identifier:
eissn:
- '14208946'
issn:
- '00102571'
publication_status: published
publisher: European Mathematical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Free rational points on smooth hypersurfaces
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 95
year: '2020'
...
---
_id: '9011'
abstract:
- lang: eng
text: "Distributed ledgers provide high availability and integrity, making them
a key enabler for practical and secure computation of distributed workloads among
mutually distrustful parties. Many practical applications also require strong
confidentiality, however. This work enhances permissioned and permissionless blockchains
with the ability to manage confidential data without forfeiting availability or
decentralization. The proposed Calypso architecture addresses two orthogonal challenges
confronting modern distributed ledgers: (a) enabling the auditable management
of secrets and (b) protecting distributed computations against arbitrage attacks
when their results depend on the ordering and secrecy of inputs.\r\n\r\nCalypso
introduces on-chain secrets, a novel abstraction that enforces atomic deposition
of an auditable trace whenever users access confidential data. Calypso provides
user-controlled consent management that ensures revocation atomicity and accountable
anonymity. To enable permissionless deployment, we introduce an incentive scheme
and provide users with the option to select their preferred trustees. We evaluated
our Calypso prototype with a confidential document-sharing application and a decentralized
lottery. Our benchmarks show that transaction-processing latency increases linearly
in terms of security (number of trustees) and is in the range of 0.2 to 8 seconds
for 16 to 128 trustees."
acknowledgement: 'We thank Nicolas Gailly, Vincent Graf, Jean-Pierre Hubaux, Wouter
Lueks, Massimo Marelli, Carmela Troncoso, Juan-Ramón Troncoso Pastoriza, Frédéric
Pont, and Sandra Siby for their valuable feedback. This project was supported in
part by the ETH domain under PHRT grant #2017−201, and by the AXA Research Fund,
Byzgen, DFINITY, and the Swiss Data Science Center (SDSC).'
article_processing_charge: No
article_type: original
author:
- first_name: Eleftherios
full_name: Kokoris Kogias, Eleftherios
id: f5983044-d7ef-11ea-ac6d-fd1430a26d30
last_name: Kokoris Kogias
- first_name: Enis Ceyhun
full_name: Alp, Enis Ceyhun
last_name: Alp
- first_name: Linus
full_name: Gasser, Linus
last_name: Gasser
- first_name: Philipp
full_name: Jovanovic, Philipp
last_name: Jovanovic
- first_name: Ewa
full_name: Syta, Ewa
last_name: Syta
- first_name: Bryan
full_name: Ford, Bryan
last_name: Ford
citation:
ama: 'Kokoris Kogias E, Alp EC, Gasser L, Jovanovic P, Syta E, Ford B. CALYPSO:
Private data management for decentralized ledgers. Proceedings of the VLDB
Endowment. 2020;14(4):586-599. doi:10.14778/3436905.3436917'
apa: 'Kokoris Kogias, E., Alp, E. C., Gasser, L., Jovanovic, P., Syta, E., &
Ford, B. (2020). CALYPSO: Private data management for decentralized ledgers. Proceedings
of the VLDB Endowment. Association for Computing Machinery. https://doi.org/10.14778/3436905.3436917'
chicago: 'Kokoris Kogias, Eleftherios, Enis Ceyhun Alp, Linus Gasser, Philipp Jovanovic,
Ewa Syta, and Bryan Ford. “CALYPSO: Private Data Management for Decentralized
Ledgers.” Proceedings of the VLDB Endowment. Association for Computing
Machinery, 2020. https://doi.org/10.14778/3436905.3436917.'
ieee: 'E. Kokoris Kogias, E. C. Alp, L. Gasser, P. Jovanovic, E. Syta, and B. Ford,
“CALYPSO: Private data management for decentralized ledgers,” Proceedings of
the VLDB Endowment, vol. 14, no. 4. Association for Computing Machinery, pp.
586–599, 2020.'
ista: 'Kokoris Kogias E, Alp EC, Gasser L, Jovanovic P, Syta E, Ford B. 2020. CALYPSO:
Private data management for decentralized ledgers. Proceedings of the VLDB Endowment.
14(4), 586–599.'
mla: 'Kokoris Kogias, Eleftherios, et al. “CALYPSO: Private Data Management for
Decentralized Ledgers.” Proceedings of the VLDB Endowment, vol. 14, no.
4, Association for Computing Machinery, 2020, pp. 586–99, doi:10.14778/3436905.3436917.'
short: E. Kokoris Kogias, E.C. Alp, L. Gasser, P. Jovanovic, E. Syta, B. Ford, Proceedings
of the VLDB Endowment 14 (2020) 586–599.
date_created: 2021-01-17T23:01:13Z
date_published: 2020-12-01T00:00:00Z
date_updated: 2023-08-24T13:57:13Z
day: '01'
department:
- _id: ElKo
doi: 10.14778/3436905.3436917
external_id:
isi:
- '000658495400012'
intvolume: ' 14'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://dl.acm.org/doi/10.14778/3436905.3436917
month: '12'
oa: 1
oa_version: Published Version
page: 586-599
publication: Proceedings of the VLDB Endowment
publication_identifier:
eissn:
- 2150-8097
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'CALYPSO: Private data management for decentralized ledgers'
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 14
year: '2020'
...
---
_id: '9039'
abstract:
- lang: eng
text: We give a short and self-contained proof for rates of convergence of the Allen--Cahn
equation towards mean curvature flow, assuming that a classical (smooth) solution
to the latter exists and starting from well-prepared initial data. Our approach
is based on a relative entropy technique. In particular, it does not require a
stability analysis for the linearized Allen--Cahn operator. As our analysis also
does not rely on the comparison principle, we expect it to be applicable to more
complex equations and systems.
acknowledgement: "This work was supported by the European Union's Horizon 2020 Research
and Innovation\r\nProgramme under Marie Sklodowska-Curie grant agreement 665385
and by the Deutsche\r\nForschungsgemeinschaft (DFG, German Research Foundation)
under Germany's Excellence Strategy, EXC-2047/1--390685813."
article_processing_charge: No
article_type: original
author:
- first_name: Julian L
full_name: Fischer, Julian L
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
- first_name: Tim
full_name: Laux, Tim
last_name: Laux
- first_name: Theresa M.
full_name: Simon, Theresa M.
last_name: Simon
citation:
ama: 'Fischer JL, Laux T, Simon TM. Convergence rates of the Allen-Cahn equation
to mean curvature flow: A short proof based on relative entropies. SIAM Journal
on Mathematical Analysis. 2020;52(6):6222-6233. doi:10.1137/20M1322182'
apa: 'Fischer, J. L., Laux, T., & Simon, T. M. (2020). Convergence rates of
the Allen-Cahn equation to mean curvature flow: A short proof based on relative
entropies. SIAM Journal on Mathematical Analysis. Society for Industrial
and Applied Mathematics. https://doi.org/10.1137/20M1322182'
chicago: 'Fischer, Julian L, Tim Laux, and Theresa M. Simon. “Convergence Rates
of the Allen-Cahn Equation to Mean Curvature Flow: A Short Proof Based on Relative
Entropies.” SIAM Journal on Mathematical Analysis. Society for Industrial
and Applied Mathematics, 2020. https://doi.org/10.1137/20M1322182.'
ieee: 'J. L. Fischer, T. Laux, and T. M. Simon, “Convergence rates of the Allen-Cahn
equation to mean curvature flow: A short proof based on relative entropies,” SIAM
Journal on Mathematical Analysis, vol. 52, no. 6. Society for Industrial and
Applied Mathematics, pp. 6222–6233, 2020.'
ista: 'Fischer JL, Laux T, Simon TM. 2020. Convergence rates of the Allen-Cahn equation
to mean curvature flow: A short proof based on relative entropies. SIAM Journal
on Mathematical Analysis. 52(6), 6222–6233.'
mla: 'Fischer, Julian L., et al. “Convergence Rates of the Allen-Cahn Equation to
Mean Curvature Flow: A Short Proof Based on Relative Entropies.” SIAM Journal
on Mathematical Analysis, vol. 52, no. 6, Society for Industrial and Applied
Mathematics, 2020, pp. 6222–33, doi:10.1137/20M1322182.'
short: J.L. Fischer, T. Laux, T.M. Simon, SIAM Journal on Mathematical Analysis
52 (2020) 6222–6233.
date_created: 2021-01-24T23:01:09Z
date_published: 2020-12-15T00:00:00Z
date_updated: 2023-08-24T11:15:16Z
day: '15'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1137/20M1322182
ec_funded: 1
external_id:
isi:
- '000600695200027'
file:
- access_level: open_access
checksum: 21aa1cf4c30a86a00cae15a984819b5d
content_type: application/pdf
creator: dernst
date_created: 2021-01-25T07:48:39Z
date_updated: 2021-01-25T07:48:39Z
file_id: '9041'
file_name: 2020_SIAM_Fischer.pdf
file_size: 310655
relation: main_file
success: 1
file_date_updated: 2021-01-25T07:48:39Z
has_accepted_license: '1'
intvolume: ' 52'
isi: 1
issue: '6'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 6222-6233
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: SIAM Journal on Mathematical Analysis
publication_identifier:
eissn:
- '10957154'
issn:
- '00361410'
publication_status: published
publisher: Society for Industrial and Applied Mathematics
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Convergence rates of the Allen-Cahn equation to mean curvature flow: A short
proof based on relative entropies'
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: 52
year: '2020'
...
---
_id: '9040'
abstract:
- lang: eng
text: Machine learning and formal methods have complimentary benefits and drawbacks.
In this work, we address the controller-design problem with a combination of techniques
from both fields. The use of black-box neural networks in deep reinforcement learning
(deep RL) poses a challenge for such a combination. Instead of reasoning formally
about the output of deep RL, which we call the wizard, we extract from it a decision-tree
based model, which we refer to as the magic book. Using the extracted model as
an intermediary, we are able to handle problems that are infeasible for either
deep RL or formal methods by themselves. First, we suggest, for the first time,
a synthesis procedure that is based on a magic book. We synthesize a stand-alone
correct-by-design controller that enjoys the favorable performance of RL. Second,
we incorporate a magic book in a bounded model checking (BMC) procedure. BMC allows
us to find numerous traces of the plant under the control of the wizard, which
a user can use to increase the trustworthiness of the wizard and direct further
training.
acknowledgement: This research was supported in part by the Austrian Science Fund
(FWF) under grant Z211-N23 (Wittgenstein Award).
article_processing_charge: No
author:
- first_name: Par Alizadeh
full_name: Alamdari, Par Alizadeh
last_name: Alamdari
- first_name: Guy
full_name: Avni, Guy
id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
last_name: Avni
orcid: 0000-0001-5588-8287
- 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: Anna
full_name: Lukina, Anna
id: CBA4D1A8-0FE8-11E9-BDE6-07BFE5697425
last_name: Lukina
citation:
ama: 'Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of
magic. In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided
Design. TU Wien Academic Press; 2020:138-147. doi:10.34727/2020/isbn.978-3-85448-042-6_21'
apa: 'Alamdari, P. A., Avni, G., Henzinger, T. A., & Lukina, A. (2020). Formal
methods with a touch of magic. In Proceedings of the 20th Conference on Formal
Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien
Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21'
chicago: Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina.
“Formal Methods with a Touch of Magic.” In Proceedings of the 20th Conference
on Formal Methods in Computer-Aided Design, 138–47. TU Wien Academic Press,
2020. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21.
ieee: P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with
a touch of magic,” in Proceedings of the 20th Conference on Formal Methods
in Computer-Aided Design, Online Conference, 2020, pp. 138–147.
ista: 'Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a
touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided
Design. FMCAD: Formal Methods in Computer-Aided Design, 138–147.'
mla: Alamdari, Par Alizadeh, et al. “Formal Methods with a Touch of Magic.” Proceedings
of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien
Academic Press, 2020, pp. 138–47, doi:10.34727/2020/isbn.978-3-85448-042-6_21.
short: P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the
20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press,
2020, pp. 138–147.
conference:
end_date: 2020-09-24
location: Online Conference
name: ' FMCAD: Formal Methods in Computer-Aided Design'
start_date: 2020-09-21
date_created: 2021-01-24T23:01:10Z
date_published: 2020-09-21T00:00:00Z
date_updated: 2021-02-09T09:39:59Z
day: '21'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.34727/2020/isbn.978-3-85448-042-6_21
file:
- access_level: open_access
checksum: d616d549a0ade78606b16f8a9540820f
content_type: application/pdf
creator: dernst
date_created: 2021-02-09T09:39:02Z
date_updated: 2021-02-09T09:39:02Z
file_id: '9109'
file_name: 2020_FMCAD_Alamdari.pdf
file_size: 990999
relation: main_file
success: 1
file_date_updated: 2021-02-09T09:39:02Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 138-147
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: Proceedings of the 20th Conference on Formal Methods in Computer-Aided
Design
publication_identifier:
eissn:
- 2708-7824
isbn:
- '9783854480426'
publication_status: published
publisher: TU Wien Academic Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Formal methods with a touch of magic
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '9096'
article_processing_charge: No
author:
- first_name: Paul
full_name: Schmid-Hempel, Paul
last_name: Schmid-Hempel
- first_name: Sylvia M
full_name: Cremer, Sylvia M
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: 'Schmid-Hempel P, Cremer S. Parasites and Pathogens. In: Starr C, ed. Encyclopedia
of Social Insects. Cham: Springer Nature; 2020. doi:10.1007/978-3-319-90306-4_94-1'
apa: 'Schmid-Hempel, P., & Cremer, S. (2020). Parasites and Pathogens. In C.
Starr (Ed.), Encyclopedia of Social Insects. Cham: Springer Nature. https://doi.org/10.1007/978-3-319-90306-4_94-1'
chicago: 'Schmid-Hempel, Paul, and Sylvia Cremer. “Parasites and Pathogens.” In
Encyclopedia of Social Insects, edited by C Starr. Cham: Springer Nature,
2020. https://doi.org/10.1007/978-3-319-90306-4_94-1.'
ieee: 'P. Schmid-Hempel and S. Cremer, “Parasites and Pathogens,” in Encyclopedia
of Social Insects, C. Starr, Ed. Cham: Springer Nature, 2020.'
ista: 'Schmid-Hempel P, Cremer S. 2020.Parasites and Pathogens. In: Encyclopedia
of Social Insects. .'
mla: Schmid-Hempel, Paul, and Sylvia Cremer. “Parasites and Pathogens.” Encyclopedia
of Social Insects, edited by C Starr, Springer Nature, 2020, doi:10.1007/978-3-319-90306-4_94-1.
short: P. Schmid-Hempel, S. Cremer, in:, C. Starr (Ed.), Encyclopedia of Social
Insects, Springer Nature, Cham, 2020.
date_created: 2021-02-05T12:15:18Z
date_published: 2020-02-22T00:00:00Z
date_updated: 2021-02-05T12:19:21Z
day: '22'
department:
- _id: SyCr
doi: 10.1007/978-3-319-90306-4_94-1
editor:
- first_name: C
full_name: Starr, C
last_name: Starr
language:
- iso: eng
month: '02'
oa_version: None
place: Cham
publication: Encyclopedia of Social Insects
publication_identifier:
isbn:
- '9783319903064'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Parasites and Pathogens
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '9103'
abstract:
- lang: eng
text: 'We introduce LRT-NG, a set of techniques and an associated toolset that computes
a reachtube (an over-approximation of the set of reachable states over a given
time horizon) of a nonlinear dynamical system. LRT-NG significantly advances the
state-of-the-art Langrangian Reachability and its associated tool LRT. From a
theoretical perspective, LRT-NG is superior to LRT in three ways. First, it uses
for the first time an analytically computed metric for the propagated ball which
is proven to minimize the ball’s volume. We emphasize that the metric computation
is the centerpiece of all bloating-based techniques. Secondly, it computes the
next reachset as the intersection of two balls: one based on the Cartesian metric
and the other on the new metric. While the two metrics were previously considered
opposing approaches, their joint use considerably tightens the reachtubes. Thirdly,
it avoids the "wrapping effect" associated with the validated integration of the
center of the reachset, by optimally absorbing the interval approximation in the
radius of the next ball. From a tool-development perspective, LRT-NG is superior
to LRT in two ways. First, it is a standalone tool that no longer relies on CAPD.
This required the implementation of the Lohner method and a Runge-Kutta time-propagation
method. Secondly, it has an improved interface, allowing the input model and initial
conditions to be provided as external input files. Our experiments on a comprehensive
set of benchmarks, including two Neural ODEs, demonstrates LRT-NG’s superior performance
compared to LRT, CAPD, and Flow*.'
acknowledgement: "The authors would like to thank Ramin Hasani and Guillaume Berger
for intellectual discussions about the research which lead to the generation of
new ideas. ML was supported in part by the Austrian Science Fund (FWF) under grant
Z211-N23 (Wittgenstein Award). Smolka’s research was supported by NSF grants CPS-1446832
and CCF-1918225. Gruenbacher is funded by FWF project W1255-N23. JC was partially
supported by NAWA Polish Returns grant\r\nPPN/PPO/2018/1/00029.\r\n"
article_processing_charge: No
arxiv: 1
author:
- first_name: Sophie
full_name: Gruenbacher, Sophie
last_name: Gruenbacher
- first_name: Jacek
full_name: Cyranka, Jacek
last_name: Cyranka
- first_name: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
- first_name: Md Ariful
full_name: Islam, Md Ariful
last_name: Islam
- first_name: Scott A.
full_name: Smolka, Scott A.
last_name: Smolka
- first_name: Radu
full_name: Grosu, Radu
last_name: Grosu
citation:
ama: 'Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. Lagrangian
reachtubes: The next generation. In: Proceedings of the 59th IEEE Conference
on Decision and Control. Vol 2020. IEEE; 2020:1556-1563. doi:10.1109/CDC42340.2020.9304042'
apa: 'Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., &
Grosu, R. (2020). Lagrangian reachtubes: The next generation. In Proceedings
of the 59th IEEE Conference on Decision and Control (Vol. 2020, pp. 1556–1563).
Jeju Islang, Korea (South): IEEE. https://doi.org/10.1109/CDC42340.2020.9304042'
chicago: 'Gruenbacher, Sophie, Jacek Cyranka, Mathias Lechner, Md Ariful Islam,
Scott A. Smolka, and Radu Grosu. “Lagrangian Reachtubes: The next Generation.”
In Proceedings of the 59th IEEE Conference on Decision and Control, 2020:1556–63.
IEEE, 2020. https://doi.org/10.1109/CDC42340.2020.9304042.'
ieee: 'S. Gruenbacher, J. Cyranka, M. Lechner, M. A. Islam, S. A. Smolka, and R.
Grosu, “Lagrangian reachtubes: The next generation,” in Proceedings of the
59th IEEE Conference on Decision and Control, Jeju Islang, Korea (South),
2020, vol. 2020, pp. 1556–1563.'
ista: 'Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. 2020.
Lagrangian reachtubes: The next generation. Proceedings of the 59th IEEE Conference
on Decision and Control. CDC: Conference on Decision and Control vol. 2020, 1556–1563.'
mla: 'Gruenbacher, Sophie, et al. “Lagrangian Reachtubes: The next Generation.”
Proceedings of the 59th IEEE Conference on Decision and Control, vol. 2020,
IEEE, 2020, pp. 1556–63, doi:10.1109/CDC42340.2020.9304042.'
short: S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu,
in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020,
pp. 1556–1563.
conference:
end_date: 2020-12-18
location: Jeju Islang, Korea (South)
name: 'CDC: Conference on Decision and Control'
start_date: 2020-12-14
date_created: 2021-02-07T23:01:14Z
date_published: 2020-12-14T00:00:00Z
date_updated: 2021-02-09T09:20:58Z
day: '14'
department:
- _id: ToHe
doi: 10.1109/CDC42340.2020.9304042
external_id:
arxiv:
- '2012.07458'
intvolume: ' 2020'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2012.07458
month: '12'
oa: 1
oa_version: Preprint
page: 1556-1563
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: Proceedings of the 59th IEEE Conference on Decision and Control
publication_identifier:
isbn:
- '9781728174471'
issn:
- '07431546'
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Lagrangian reachtubes: The next generation'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2020
year: '2020'
...
---
_id: '9104'
abstract:
- lang: eng
text: We consider the free additive convolution of two probability measures μ and
ν on the real line and show that μ ⊞ v is supported on a single interval if μ
and ν each has single interval support. Moreover, the density of μ ⊞ ν is proven
to vanish as a square root near the edges of its support if both μ and ν have
power law behavior with exponents between −1 and 1 near their edges. In particular,
these results show the ubiquity of the conditions in our recent work on optimal
local law at the spectral edges for addition of random matrices [5].
acknowledgement: "Supported in part by Hong Kong RGC Grant ECS 26301517.\r\nSupported
in part by ERC Advanced Grant RANMAT No. 338804.\r\nSupported in part by the Knut
and Alice Wallenberg Foundation and the Swedish Research Council Grant VR-2017-05195."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Zhigang
full_name: Bao, Zhigang
id: 442E6A6C-F248-11E8-B48F-1D18A9856A87
last_name: Bao
orcid: 0000-0003-3036-1475
- 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: Kevin
full_name: Schnelli, Kevin
id: 434AD0AE-F248-11E8-B48F-1D18A9856A87
last_name: Schnelli
orcid: 0000-0003-0954-3231
citation:
ama: Bao Z, Erdös L, Schnelli K. On the support of the free additive convolution.
Journal d’Analyse Mathematique. 2020;142:323-348. doi:10.1007/s11854-020-0135-2
apa: Bao, Z., Erdös, L., & Schnelli, K. (2020). On the support of the free additive
convolution. Journal d’Analyse Mathematique. Springer Nature. https://doi.org/10.1007/s11854-020-0135-2
chicago: Bao, Zhigang, László Erdös, and Kevin Schnelli. “On the Support of the
Free Additive Convolution.” Journal d’Analyse Mathematique. Springer Nature,
2020. https://doi.org/10.1007/s11854-020-0135-2.
ieee: Z. Bao, L. Erdös, and K. Schnelli, “On the support of the free additive convolution,”
Journal d’Analyse Mathematique, vol. 142. Springer Nature, pp. 323–348,
2020.
ista: Bao Z, Erdös L, Schnelli K. 2020. On the support of the free additive convolution.
Journal d’Analyse Mathematique. 142, 323–348.
mla: Bao, Zhigang, et al. “On the Support of the Free Additive Convolution.” Journal
d’Analyse Mathematique, vol. 142, Springer Nature, 2020, pp. 323–48, doi:10.1007/s11854-020-0135-2.
short: Z. Bao, L. Erdös, K. Schnelli, Journal d’Analyse Mathematique 142 (2020)
323–348.
date_created: 2021-02-07T23:01:15Z
date_published: 2020-11-01T00:00:00Z
date_updated: 2023-08-24T11:16:03Z
day: '01'
department:
- _id: LaEr
doi: 10.1007/s11854-020-0135-2
ec_funded: 1
external_id:
arxiv:
- '1804.11199'
isi:
- '000611879400008'
intvolume: ' 142'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1804.11199
month: '11'
oa: 1
oa_version: Preprint
page: 323-348
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: Journal d'Analyse Mathematique
publication_identifier:
eissn:
- '15658538'
issn:
- '00217670'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the support of the free additive convolution
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 142
year: '2020'
...
---
_id: '9114'
abstract:
- lang: eng
text: "Microwave photonics lends the advantages of fiber optics to electronic sensing
and communication systems. In contrast to nonlinear optics, electro-optic devices
so far require classical modulation fields whose variance is dominated by electronic
or thermal noise rather than quantum fluctuations. Here we demonstrate bidirectional
single-sideband conversion of X band microwave to C band telecom light with a
microwave mode occupancy as low as 0.025 ± 0.005 and an added output noise of
less than or equal to 0.074 photons. This is facilitated by radiative cooling
and a triply resonant ultra-low-loss transducer operating at millikelvin temperatures.
The high bandwidth of 10.7 MHz and total (internal) photon conversion\r\nefficiency
of 0.03% (0.67%) combined with the extremely slow heating rate of 1.1 added output
noise photons per second for the highest available pump power of 1.48 mW puts
near-unity efficiency pulsed quantum transduction within reach. Together with
the non-Gaussian resources of superconducting qubits this might provide the practical
foundation to extend the range and scope of current quantum networks in analogy
to electrical repeaters in classical fiber optic communication."
acknowledged_ssus:
- _id: M-Shop
acknowledgement: "The authors acknowledge the support of T. Menner, A. Arslani, and
T. Asenov from the Miba machine shop for machining the microwave cavity, and thank
S. Barzanjeh, F. Sedlmeir, and C. Marquardt for fruitful discussions. This work
is supported by IST Austria and the European Research Council under Grant No. 758053
(ERC StG QUNNECT). W.H. is the recipient of an ISTplus postdoctoral fellowship with
funding from the European Union’s Horizon 2020 research and innovation program under
the Marie Skłodowska-Curie Grant No. 754411.\r\nG.A. is the recipient of a DOC fellowship
of the Austrian Academy of Sciences at IST Austria. J.M.F. acknowledges support
from the Austrian Science Fund (FWF) through BeyondC (F71) and the European Union’s
Horizon 2020 research and innovation program under Grant No. 899354 (FET Open SuperQuLAN).
H.G.L.S. acknowledges support from the Aotearoa/New Zealand’s MBIE Endeavour Smart
Ideas Grant No UOOX1805."
article_number: '020315'
article_processing_charge: No
article_type: original
author:
- first_name: William J
full_name: Hease, William J
id: 29705398-F248-11E8-B48F-1D18A9856A87
last_name: Hease
orcid: 0000-0001-9868-2166
- first_name: Alfredo R
full_name: Rueda Sanchez, Alfredo R
id: 3B82B0F8-F248-11E8-B48F-1D18A9856A87
last_name: Rueda Sanchez
orcid: 0000-0001-6249-5860
- first_name: Rishabh
full_name: Sahu, Rishabh
id: 47D26E34-F248-11E8-B48F-1D18A9856A87
last_name: Sahu
orcid: 0000-0001-6264-2162
- first_name: Matthias
full_name: Wulf, Matthias
id: 45598606-F248-11E8-B48F-1D18A9856A87
last_name: Wulf
orcid: 0000-0001-6613-1378
- first_name: Georg M
full_name: Arnold, Georg M
id: 3770C838-F248-11E8-B48F-1D18A9856A87
last_name: Arnold
orcid: 0000-0003-1397-7876
- first_name: Harald G.L.
full_name: Schwefel, Harald G.L.
last_name: Schwefel
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
citation:
ama: Hease WJ, Rueda Sanchez AR, Sahu R, et al. Bidirectional electro-optic wavelength
conversion in the quantum ground state. PRX Quantum. 2020;1(2). doi:10.1103/prxquantum.1.020315
apa: Hease, W. J., Rueda Sanchez, A. R., Sahu, R., Wulf, M., Arnold, G. M., Schwefel,
H. G. L., & Fink, J. M. (2020). Bidirectional electro-optic wavelength conversion
in the quantum ground state. PRX Quantum. American Physical Society. https://doi.org/10.1103/prxquantum.1.020315
chicago: Hease, William J, Alfredo R Rueda Sanchez, Rishabh Sahu, Matthias Wulf,
Georg M Arnold, Harald G.L. Schwefel, and Johannes M Fink. “Bidirectional Electro-Optic
Wavelength Conversion in the Quantum Ground State.” PRX Quantum. American
Physical Society, 2020. https://doi.org/10.1103/prxquantum.1.020315.
ieee: W. J. Hease et al., “Bidirectional electro-optic wavelength conversion
in the quantum ground state,” PRX Quantum, vol. 1, no. 2. American Physical
Society, 2020.
ista: Hease WJ, Rueda Sanchez AR, Sahu R, Wulf M, Arnold GM, Schwefel HGL, Fink
JM. 2020. Bidirectional electro-optic wavelength conversion in the quantum ground
state. PRX Quantum. 1(2), 020315.
mla: Hease, William J., et al. “Bidirectional Electro-Optic Wavelength Conversion
in the Quantum Ground State.” PRX Quantum, vol. 1, no. 2, 020315, American
Physical Society, 2020, doi:10.1103/prxquantum.1.020315.
short: W.J. Hease, A.R. Rueda Sanchez, R. Sahu, M. Wulf, G.M. Arnold, H.G.L. Schwefel,
J.M. Fink, PRX Quantum 1 (2020).
date_created: 2021-02-12T10:41:28Z
date_published: 2020-11-23T00:00:00Z
date_updated: 2024-10-29T09:11:05Z
day: '23'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1103/prxquantum.1.020315
ec_funded: 1
external_id:
isi:
- '000674680100001'
file:
- access_level: open_access
checksum: b70b12ded6d7660d4c9037eb09bfed0c
content_type: application/pdf
creator: dernst
date_created: 2021-02-12T11:16:16Z
date_updated: 2021-02-12T11:16:16Z
file_id: '9115'
file_name: 2020_PRXQuantum_Hease.pdf
file_size: 2146924
relation: main_file
success: 1
file_date_updated: 2021-02-12T11:16:16Z
has_accepted_license: '1'
intvolume: ' 1'
isi: 1
issue: '2'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
project:
- _id: 26336814-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '758053'
name: A Fiber Optic Transceiver for Superconducting Qubits
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
- _id: 9B868D20-BA93-11EA-9121-9846C619BF3A
call_identifier: H2020
grant_number: '899354'
name: Quantum Local Area Networks with Superconducting Qubits
- _id: 26927A52-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: F07105
name: Integrating superconducting quantum circuits
- _id: 2671EB66-B435-11E9-9278-68D0E5697425
name: Coherent on-chip conversion of superconducting qubit signals from microwaves
to optical frequencies
publication: PRX Quantum
publication_identifier:
issn:
- 2691-3399
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/how-to-transport-microwave-quantum-information-via-optical-fiber/
record:
- id: '13071'
relation: research_data
status: public
- id: '12900'
relation: dissertation_contains
status: public
- id: '13175'
relation: dissertation_contains
status: public
status: public
title: Bidirectional electro-optic wavelength conversion in the quantum ground state
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: 1
year: '2020'
...
---
_id: '9123'
abstract:
- lang: eng
text: 'Inversions are chromosomal rearrangements where the order of genes is reversed.
Inversions originate by mutation and can be under positive, negative or balancing
selection. Selective effects result from potential disruptive effects on meiosis,
gene disruption at inversion breakpoints and, importantly, the effects of inversions
as modifiers of recombination rate: Recombination is strongly reduced in individuals
heterozygous for an inversion, allowing for alleles at different loci to be inherited
as a ‘block’. This may lead to a selective advantage whenever it is favourable
to keep certain combinations of alleles associated, for example under local adaptation
with gene flow. Inversions can cover a considerable part of a chromosome and contain
numerous loci under different selection pressures, so that the resulting overall
effects may be complex. Empirical data from various systems show that inversions
may have a prominent role in local adaptation, speciation, parallel evolution,
the maintenance of polymorphism and sex chromosome evolution.'
article_processing_charge: No
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: Rui
full_name: Faria, Rui
last_name: Faria
- first_name: Roger
full_name: Butlin, Roger
last_name: Butlin
- first_name: Kerstin
full_name: Johannesson, Kerstin
last_name: Johannesson
citation:
ama: 'Westram AM, Faria R, Butlin R, Johannesson K. Inversions and Evolution. In:
ELS. Wiley; 2020. doi:10.1002/9780470015902.a0029007'
apa: Westram, A. M., Faria, R., Butlin, R., & Johannesson, K. (2020). Inversions
and Evolution. In eLS. Wiley. https://doi.org/10.1002/9780470015902.a0029007
chicago: Westram, Anja M, Rui Faria, Roger Butlin, and Kerstin Johannesson. “Inversions
and Evolution.” In ELS. Wiley, 2020. https://doi.org/10.1002/9780470015902.a0029007.
ieee: A. M. Westram, R. Faria, R. Butlin, and K. Johannesson, “Inversions and Evolution,”
in eLS, Wiley, 2020.
ista: 'Westram AM, Faria R, Butlin R, Johannesson K. 2020.Inversions and Evolution.
In: eLS. .'
mla: Westram, Anja M., et al. “Inversions and Evolution.” ELS, Wiley, 2020,
doi:10.1002/9780470015902.a0029007.
short: A.M. Westram, R. Faria, R. Butlin, K. Johannesson, in:, ELS, Wiley, 2020.
date_created: 2021-02-15T12:39:04Z
date_published: 2020-05-16T00:00:00Z
date_updated: 2021-02-15T13:18:16Z
day: '16'
department:
- _id: NiBa
doi: 10.1002/9780470015902.a0029007
language:
- iso: eng
month: '05'
oa_version: None
publication: eLS
publication_identifier:
isbn:
- '9780470016176'
- '9780470015902'
publication_status: published
publisher: Wiley
quality_controlled: '1'
status: public
title: Inversions and Evolution
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '9156'
abstract:
- lang: eng
text: The morphometric approach [11, 14] writes the solvation free energy as a linear
combination of weighted versions of the volume, area, mean curvature, and Gaussian
curvature of the space-filling diagram. We give a formula for the derivative of
the weighted Gaussian curvature. Together with the derivatives of the weighted
volume in [7], the weighted area in [4], and the weighted mean curvature in [1],
this yields the derivative of the morphometric expression of solvation free energy.
acknowledgement: "The authors of this paper thank Roland Roth for suggesting the analysis
of theweighted\r\ncurvature derivatives for the purpose of improving molecular dynamics
simulations. They also thank Patrice Koehl for the implementation of the formulas
and for his encouragement and advise along the road. Finally, they thank two anonymous
reviewers for their constructive criticism.\r\nThis project has received funding
from the European Research Council (ERC) under the European Union’s Horizon 2020
research and innovation programme (grant agreement No 78818 Alpha). It is also partially
supported by the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry
and Dynamics’, through grant no. I02979-N35 of the Austrian Science Fund (FWF)."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: Akopyan A, Edelsbrunner H. The weighted Gaussian curvature derivative of a
space-filling diagram. Computational and Mathematical Biophysics. 2020;8(1):74-88.
doi:10.1515/cmb-2020-0101
apa: Akopyan, A., & Edelsbrunner, H. (2020). The weighted Gaussian curvature
derivative of a space-filling diagram. Computational and Mathematical Biophysics.
De Gruyter. https://doi.org/10.1515/cmb-2020-0101
chicago: Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Gaussian Curvature
Derivative of a Space-Filling Diagram.” Computational and Mathematical Biophysics.
De Gruyter, 2020. https://doi.org/10.1515/cmb-2020-0101.
ieee: A. Akopyan and H. Edelsbrunner, “The weighted Gaussian curvature derivative
of a space-filling diagram,” Computational and Mathematical Biophysics,
vol. 8, no. 1. De Gruyter, pp. 74–88, 2020.
ista: Akopyan A, Edelsbrunner H. 2020. The weighted Gaussian curvature derivative
of a space-filling diagram. Computational and Mathematical Biophysics. 8(1), 74–88.
mla: Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Gaussian Curvature
Derivative of a Space-Filling Diagram.” Computational and Mathematical Biophysics,
vol. 8, no. 1, De Gruyter, 2020, pp. 74–88, doi:10.1515/cmb-2020-0101.
short: A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8
(2020) 74–88.
date_created: 2021-02-17T15:12:44Z
date_published: 2020-07-21T00:00:00Z
date_updated: 2023-10-17T12:35:10Z
day: '21'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.1515/cmb-2020-0101
ec_funded: 1
external_id:
arxiv:
- '1908.06777'
file:
- access_level: open_access
checksum: ca43a7440834eab6bbea29c59b56ef3a
content_type: application/pdf
creator: dernst
date_created: 2021-02-19T13:33:19Z
date_updated: 2021-02-19T13:33:19Z
file_id: '9170'
file_name: 2020_CompMathBiophysics_Akopyan.pdf
file_size: 707452
relation: main_file
success: 1
file_date_updated: 2021-02-19T13:33:19Z
has_accepted_license: '1'
intvolume: ' 8'
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 74-88
project:
- _id: 266A2E9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '788183'
name: Alpha Shape Theory Extended
- _id: 2561EBF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I02979-N35
name: Persistence and stability of geometric complexes
publication: Computational and Mathematical Biophysics
publication_identifier:
issn:
- 2544-7297
publication_status: published
publisher: De Gruyter
quality_controlled: '1'
status: public
title: The weighted Gaussian curvature derivative of a space-filling diagram
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: 8
year: '2020'
...
---
_id: '9157'
abstract:
- lang: eng
text: Representing an atom by a solid sphere in 3-dimensional Euclidean space, we
get the space-filling diagram of a molecule by taking the union. Molecular dynamics
simulates its motion subject to bonds and other forces, including the solvation
free energy. The morphometric approach [12, 17] writes the latter as a linear
combination of weighted versions of the volume, area, mean curvature, and Gaussian
curvature of the space-filling diagram. We give a formula for the derivative of
the weighted mean curvature. Together with the derivatives of the weighted volume
in [7], the weighted area in [3], and the weighted Gaussian curvature [1], this
yields the derivative of the morphometric expression of the solvation free energy.
acknowledgement: "The authors of this paper thank Roland Roth for suggesting the analysis
of the weighted\r\ncurvature derivatives for the purpose of improving molecular
dynamics simulations and for his continued encouragement. They also thank Patrice
Koehl for the implementation of the formulas and for his encouragement and advise
along the road. Finally, they thank two anonymous reviewers for their constructive
criticism.\r\nThis project has received funding from the European Research Council
(ERC) under the European Union’s Horizon 2020 research and innovation programme
(grant agreement No 78818 Alpha). It is also partially supported by the DFG Collaborative
Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, through grant
no. I02979-N35 of the Austrian Science Fund (FWF)."
article_processing_charge: No
article_type: original
author:
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: Akopyan A, Edelsbrunner H. The weighted mean curvature derivative of a space-filling
diagram. Computational and Mathematical Biophysics. 2020;8(1):51-67. doi:10.1515/cmb-2020-0100
apa: Akopyan, A., & Edelsbrunner, H. (2020). The weighted mean curvature derivative
of a space-filling diagram. Computational and Mathematical Biophysics.
De Gruyter. https://doi.org/10.1515/cmb-2020-0100
chicago: Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Mean Curvature
Derivative of a Space-Filling Diagram.” Computational and Mathematical Biophysics.
De Gruyter, 2020. https://doi.org/10.1515/cmb-2020-0100.
ieee: A. Akopyan and H. Edelsbrunner, “The weighted mean curvature derivative of
a space-filling diagram,” Computational and Mathematical Biophysics, vol.
8, no. 1. De Gruyter, pp. 51–67, 2020.
ista: Akopyan A, Edelsbrunner H. 2020. The weighted mean curvature derivative of
a space-filling diagram. Computational and Mathematical Biophysics. 8(1), 51–67.
mla: Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Mean Curvature Derivative
of a Space-Filling Diagram.” Computational and Mathematical Biophysics,
vol. 8, no. 1, De Gruyter, 2020, pp. 51–67, doi:10.1515/cmb-2020-0100.
short: A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8
(2020) 51–67.
date_created: 2021-02-17T15:13:01Z
date_published: 2020-06-20T00:00:00Z
date_updated: 2023-10-17T12:34:51Z
day: '20'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.1515/cmb-2020-0100
ec_funded: 1
file:
- access_level: open_access
checksum: cea41de9937d07a3b927d71ee8b4e432
content_type: application/pdf
creator: dernst
date_created: 2021-02-19T13:56:24Z
date_updated: 2021-02-19T13:56:24Z
file_id: '9171'
file_name: 2020_CompMathBiophysics_Akopyan2.pdf
file_size: 562359
relation: main_file
success: 1
file_date_updated: 2021-02-19T13:56:24Z
has_accepted_license: '1'
intvolume: ' 8'
issue: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 51-67
project:
- _id: 266A2E9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '788183'
name: Alpha Shape Theory Extended
- _id: 2561EBF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I02979-N35
name: Persistence and stability of geometric complexes
publication: Computational and Mathematical Biophysics
publication_identifier:
issn:
- 2544-7297
publication_status: published
publisher: De Gruyter
quality_controlled: '1'
status: public
title: The weighted mean curvature derivative of a space-filling diagram
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: 8
year: '2020'
...
---
_id: '9160'
abstract:
- lang: eng
text: Auxin is a key hormonal regulator, that governs plant growth and development
in concert with other hormonal pathways. The unique feature of auxin is its polar,
cell-to-cell transport that leads to the formation of local auxin maxima and gradients,
which coordinate initiation and patterning of plant organs. The molecular machinery
mediating polar auxin transport is one of the important points of interaction
with other hormones. Multiple hormonal pathways converge at the regulation of
auxin transport and form a regulatory network that integrates various developmental
and environmental inputs to steer plant development. In this review, we discuss
recent advances in understanding the mechanisms that underlie regulation of polar
auxin transport by multiple hormonal pathways. Specifically, we focus on the post-translational
mechanisms that contribute to fine-tuning of the abundance and polarity of auxin
transporters at the plasma membrane and thereby enable rapid modification of the
auxin flow to coordinate plant growth and development.
acknowledgement: H.S. is the recipient of a DOC Fellowship of the Austrian Academy
of Sciences at the Institute of Science and Technology, Austria. J.C.M. is the recipient
of an EMBO Long-Term Fellowship (ALTF number 710-2016). We would like to thank Jiri
Friml and Carina Baskett for critical reading of the manuscript and Shutang Tan
and Maciek Adamowski for helpful discussions. No conflict of interest declared.
article_number: '100048'
article_processing_charge: No
article_type: original
author:
- first_name: Hana
full_name: Semeradova, Hana
id: 42FE702E-F248-11E8-B48F-1D18A9856A87
last_name: Semeradova
- first_name: Juan C
full_name: Montesinos López, Juan C
id: 310A8E3E-F248-11E8-B48F-1D18A9856A87
last_name: Montesinos López
orcid: 0000-0001-9179-6099
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
citation:
ama: 'Semerádová H, Montesinos López JC, Benková E. All roads lead to auxin: Post-translational
regulation of auxin transport by multiple hormonal pathways. Plant Communications.
2020;1(3). doi:10.1016/j.xplc.2020.100048'
apa: 'Semerádová, H., Montesinos López, J. C., & Benková, E. (2020). All roads
lead to auxin: Post-translational regulation of auxin transport by multiple hormonal
pathways. Plant Communications. Elsevier. https://doi.org/10.1016/j.xplc.2020.100048'
chicago: 'Semerádová, Hana, Juan C Montesinos López, and Eva Benková. “All Roads
Lead to Auxin: Post-Translational Regulation of Auxin Transport by Multiple Hormonal
Pathways.” Plant Communications. Elsevier, 2020. https://doi.org/10.1016/j.xplc.2020.100048.'
ieee: 'H. Semerádová, J. C. Montesinos López, and E. Benková, “All roads lead to
auxin: Post-translational regulation of auxin transport by multiple hormonal pathways,”
Plant Communications, vol. 1, no. 3. Elsevier, 2020.'
ista: 'Semerádová H, Montesinos López JC, Benková E. 2020. All roads lead to auxin:
Post-translational regulation of auxin transport by multiple hormonal pathways.
Plant Communications. 1(3), 100048.'
mla: 'Semerádová, Hana, et al. “All Roads Lead to Auxin: Post-Translational Regulation
of Auxin Transport by Multiple Hormonal Pathways.” Plant Communications,
vol. 1, no. 3, 100048, Elsevier, 2020, doi:10.1016/j.xplc.2020.100048.'
short: H. Semerádová, J.C. Montesinos López, E. Benková, Plant Communications 1
(2020).
date_created: 2021-02-18T10:18:43Z
date_published: 2020-05-11T00:00:00Z
date_updated: 2024-03-25T23:30:26Z
day: '11'
ddc:
- '580'
department:
- _id: EvBe
doi: 10.1016/j.xplc.2020.100048
external_id:
isi:
- '000654052800010'
pmid:
- '33367243'
file:
- access_level: open_access
checksum: 785b266d82a94b007cf40dbbe7c4847e
content_type: application/pdf
creator: dernst
date_created: 2021-02-18T10:23:59Z
date_updated: 2021-02-18T10:23:59Z
file_id: '9161'
file_name: 2020_PlantComm_Semeradova.pdf
file_size: 840289
relation: main_file
success: 1
file_date_updated: 2021-02-18T10:23:59Z
has_accepted_license: '1'
intvolume: ' 1'
isi: 1
issue: '3'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 261821BC-B435-11E9-9278-68D0E5697425
grant_number: '24746'
name: Molecular mechanisms of the cytokinin regulated endomembrane trafficking to
coordinate plant organogenesis.
- _id: 253E54C8-B435-11E9-9278-68D0E5697425
grant_number: ALTF710-2016
name: Molecular mechanism of auxindriven formative divisions delineating lateral
root organogenesis in plants
publication: Plant Communications
publication_identifier:
issn:
- 2590-3462
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
record:
- id: '10135'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 'All roads lead to auxin: Post-translational regulation of auxin transport
by multiple hormonal pathways'
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 1
year: '2020'
...
---
_id: '9194'
abstract:
- lang: eng
text: Quantum transduction, the process of converting quantum signals from one form
of energy to another, is an important area of quantum science and technology.
The present perspective article reviews quantum transduction between microwave
and optical photons, an area that has recently seen a lot of activity and progress
because of its relevance for connecting superconducting quantum processors over
long distances, among other applications. Our review covers the leading approaches
to achieving such transduction, with an emphasis on those based on atomic ensembles,
opto-electro-mechanics, and electro-optics. We briefly discuss relevant metrics
from the point of view of different applications, as well as challenges for the
future.
acknowledgement: "During the writing of this article we became aware of another review
of quantum transduction with somewhat different emphasis [99].\r\nWe would like
to thank the participants of the transduction workshop at Caltech in September 2018
for helpful and stimulating discussions. We particularly thank John Bartholomew,
Andrei Faraon, Johannes Fink, Jeff Holzgrafe, Linbo Shao, Marko Lončar, Daniel Oblak,
and Oskar Painter.\r\nN L and N S acknowledge support from the Alliance for Quantum
Technologies' (AQT) Intelligent Quantum Networks and Technologies (INQNET) research
program and by DOE/HEP QuantISED program grant, QCCFP (Quantum Communication Channels
for Fundamental Physics), award number DE-SC0019219. NS further acknowledges support
by the Natural Sciences and Engineering Research Council of Canada (NSERC). SB acknowledges
support from the Marie Skłodowska Curie fellowship number 707 438 (MSC-IF SUPEREOM).
JPC acknowledges support from the Caltech PMA prize postdoctoral fellowship. MS
acknowledges support from the ARL-CDQI and the National Science Foundation. CS acknowledges
NSERC, Quantum Alberta, and the Alberta Major Innovation Fund."
article_number: '020501'
article_processing_charge: No
article_type: review
author:
- first_name: Nikolai
full_name: Lauk, Nikolai
last_name: Lauk
- first_name: Neil
full_name: Sinclair, Neil
last_name: Sinclair
- first_name: Shabir
full_name: Barzanjeh, Shabir
id: 2D25E1F6-F248-11E8-B48F-1D18A9856A87
last_name: Barzanjeh
orcid: 0000-0003-0415-1423
- first_name: Jacob P
full_name: Covey, Jacob P
last_name: Covey
- first_name: Mark
full_name: Saffman, Mark
last_name: Saffman
- first_name: Maria
full_name: Spiropulu, Maria
last_name: Spiropulu
- first_name: Christoph
full_name: Simon, Christoph
last_name: Simon
citation:
ama: Lauk N, Sinclair N, Barzanjeh S, et al. Perspectives on quantum transduction.
Quantum Science and Technology. 2020;5(2). doi:10.1088/2058-9565/ab788a
apa: Lauk, N., Sinclair, N., Barzanjeh, S., Covey, J. P., Saffman, M., Spiropulu,
M., & Simon, C. (2020). Perspectives on quantum transduction. Quantum Science
and Technology. IOP Publishing. https://doi.org/10.1088/2058-9565/ab788a
chicago: Lauk, Nikolai, Neil Sinclair, Shabir Barzanjeh, Jacob P Covey, Mark Saffman,
Maria Spiropulu, and Christoph Simon. “Perspectives on Quantum Transduction.”
Quantum Science and Technology. IOP Publishing, 2020. https://doi.org/10.1088/2058-9565/ab788a.
ieee: N. Lauk et al., “Perspectives on quantum transduction,” Quantum
Science and Technology, vol. 5, no. 2. IOP Publishing, 2020.
ista: Lauk N, Sinclair N, Barzanjeh S, Covey JP, Saffman M, Spiropulu M, Simon C.
2020. Perspectives on quantum transduction. Quantum Science and Technology. 5(2),
020501.
mla: Lauk, Nikolai, et al. “Perspectives on Quantum Transduction.” Quantum Science
and Technology, vol. 5, no. 2, 020501, IOP Publishing, 2020, doi:10.1088/2058-9565/ab788a.
short: N. Lauk, N. Sinclair, S. Barzanjeh, J.P. Covey, M. Saffman, M. Spiropulu,
C. Simon, Quantum Science and Technology 5 (2020).
date_created: 2021-02-25T08:32:29Z
date_published: 2020-03-01T00:00:00Z
date_updated: 2023-08-24T11:17:48Z
day: '01'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1088/2058-9565/ab788a
ec_funded: 1
external_id:
isi:
- '000521449500001'
file:
- access_level: open_access
checksum: a8562c42124a66b86836fe2489eb5f4f
content_type: application/pdf
creator: dernst
date_created: 2021-03-02T09:47:13Z
date_updated: 2021-03-02T09:47:13Z
file_id: '9215'
file_name: 2020_QuantumScience_Lauk.pdf
file_size: 974399
relation: main_file
success: 1
file_date_updated: 2021-03-02T09:47:13Z
has_accepted_license: '1'
intvolume: ' 5'
isi: 1
issue: '2'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
project:
- _id: 258047B6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '707438'
name: 'Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination
with cavity Optomechanics SUPEREOM'
publication: Quantum Science and Technology
publication_identifier:
issn:
- 2058-9565
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Perspectives on quantum transduction
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: 5
year: '2020'
...
---
_id: '9195'
abstract:
- lang: eng
text: Quantum information technology based on solid state qubits has created much
interest in converting quantum states from the microwave to the optical domain.
Optical photons, unlike microwave photons, can be transmitted by fiber, making
them suitable for long distance quantum communication. Moreover, the optical domain
offers access to a large set of very well‐developed quantum optical tools, such
as highly efficient single‐photon detectors and long‐lived quantum memories. For
a high fidelity microwave to optical transducer, efficient conversion at single
photon level and low added noise is needed. Currently, the most promising approaches
to build such systems are based on second‐order nonlinear phenomena such as optomechanical
and electro‐optic interactions. Alternative approaches, although not yet as efficient,
include magneto‐optical coupling and schemes based on isolated quantum systems
like atoms, ions, or quantum dots. Herein, the necessary theoretical foundations
for the most important microwave‐to‐optical conversion experiments are provided,
their implementations are described, and the current limitations and future prospects
are discussed.
acknowledgement: The authors thank Amita Deb for useful comments on this manuscript.
The authors acknowledge support from the MBIE of New Zealand Endeavour Smart Ideas
fund. The reference numbers in Figure 8 were corrected in April 2020, after online
publication.
article_number: '1900077'
article_processing_charge: No
article_type: original
author:
- first_name: Nicholas J.
full_name: Lambert, Nicholas J.
last_name: Lambert
- first_name: Alfredo R
full_name: Rueda Sanchez, Alfredo R
id: 3B82B0F8-F248-11E8-B48F-1D18A9856A87
last_name: Rueda Sanchez
orcid: 0000-0001-6249-5860
- first_name: Florian
full_name: Sedlmeir, Florian
last_name: Sedlmeir
- first_name: Harald G. L.
full_name: Schwefel, Harald G. L.
last_name: Schwefel
citation:
ama: Lambert NJ, Rueda Sanchez AR, Sedlmeir F, Schwefel HGL. Coherent conversion
between microwave and optical photons - An overview of physical implementations.
Advanced Quantum Technologies. 2020;3(1). doi:10.1002/qute.201900077
apa: Lambert, N. J., Rueda Sanchez, A. R., Sedlmeir, F., & Schwefel, H. G. L.
(2020). Coherent conversion between microwave and optical photons - An overview
of physical implementations. Advanced Quantum Technologies. Wiley. https://doi.org/10.1002/qute.201900077
chicago: Lambert, Nicholas J., Alfredo R Rueda Sanchez, Florian Sedlmeir, and Harald
G. L. Schwefel. “Coherent Conversion between Microwave and Optical Photons - An
Overview of Physical Implementations.” Advanced Quantum Technologies. Wiley,
2020. https://doi.org/10.1002/qute.201900077.
ieee: N. J. Lambert, A. R. Rueda Sanchez, F. Sedlmeir, and H. G. L. Schwefel, “Coherent
conversion between microwave and optical photons - An overview of physical implementations,”
Advanced Quantum Technologies, vol. 3, no. 1. Wiley, 2020.
ista: Lambert NJ, Rueda Sanchez AR, Sedlmeir F, Schwefel HGL. 2020. Coherent conversion
between microwave and optical photons - An overview of physical implementations.
Advanced Quantum Technologies. 3(1), 1900077.
mla: Lambert, Nicholas J., et al. “Coherent Conversion between Microwave and Optical
Photons - An Overview of Physical Implementations.” Advanced Quantum Technologies,
vol. 3, no. 1, 1900077, Wiley, 2020, doi:10.1002/qute.201900077.
short: N.J. Lambert, A.R. Rueda Sanchez, F. Sedlmeir, H.G.L. Schwefel, Advanced
Quantum Technologies 3 (2020).
date_created: 2021-02-25T08:52:36Z
date_published: 2020-01-01T00:00:00Z
date_updated: 2023-08-24T13:53:02Z
day: '01'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1002/qute.201900077
external_id:
isi:
- '000548088300001'
file:
- access_level: open_access
checksum: 157e95abd6883c3b35b0fa78ae10775e
content_type: application/pdf
creator: dernst
date_created: 2021-03-02T12:30:03Z
date_updated: 2021-03-02T12:30:03Z
file_id: '9216'
file_name: 2020_AdvQuantumTech_Lambert.pdf
file_size: 2410114
relation: main_file
success: 1
file_date_updated: 2021-03-02T12:30:03Z
has_accepted_license: '1'
intvolume: ' 3'
isi: 1
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
publication: Advanced Quantum Technologies
publication_identifier:
issn:
- 2511-9044
publication_status: published
publisher: Wiley
quality_controlled: '1'
related_material:
link:
- description: Cover Page
relation: poster
url: https://doi.org/10.1002/qute.202070011
status: public
title: Coherent conversion between microwave and optical photons - An overview of
physical implementations
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 3
year: '2020'
...
---
_id: '9196'
abstract:
- lang: eng
text: In order to provide a local description of a regular function in a small neighbourhood
of a point x, it is sufficient by Taylor’s theorem to know the value of the function
as well as all of its derivatives up to the required order at the point x itself.
In other words, one could say that a regular function is locally modelled by the
set of polynomials. The theory of regularity structures due to Hairer generalizes
this observation and provides an abstract setup, which in the application to singular
SPDE extends the set of polynomials by functionals constructed from, e.g., white
noise. In this context, the notion of Taylor polynomials is lifted to the notion
of so-called modelled distributions. The celebrated reconstruction theorem, which
in turn was inspired by Gubinelli’s \textit {sewing lemma}, is of paramount importance
for the theory. It enables one to reconstruct a modelled distribution as a true
distribution on Rd which is locally approximated by this extended set of models
or “monomials”. In the original work of Hairer, the error is measured by means
of Hölder norms. This was then generalized to the whole scale of Besov spaces
by Hairer and Labbé. It is the aim of this work to adapt the analytic part of
the theory of regularity structures to the scale of Triebel–Lizorkin spaces.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Sebastian
full_name: Hensel, Sebastian
id: 4D23B7DA-F248-11E8-B48F-1D18A9856A87
last_name: Hensel
orcid: 0000-0001-7252-8072
- first_name: Tommaso
full_name: Rosati, Tommaso
last_name: Rosati
citation:
ama: Hensel S, Rosati T. Modelled distributions of Triebel–Lizorkin type. Studia
Mathematica. 2020;252(3):251-297. doi:10.4064/sm180411-11-2
apa: Hensel, S., & Rosati, T. (2020). Modelled distributions of Triebel–Lizorkin
type. Studia Mathematica. Instytut Matematyczny. https://doi.org/10.4064/sm180411-11-2
chicago: Hensel, Sebastian, and Tommaso Rosati. “Modelled Distributions of Triebel–Lizorkin
Type.” Studia Mathematica. Instytut Matematyczny, 2020. https://doi.org/10.4064/sm180411-11-2.
ieee: S. Hensel and T. Rosati, “Modelled distributions of Triebel–Lizorkin type,”
Studia Mathematica, vol. 252, no. 3. Instytut Matematyczny, pp. 251–297,
2020.
ista: Hensel S, Rosati T. 2020. Modelled distributions of Triebel–Lizorkin type.
Studia Mathematica. 252(3), 251–297.
mla: Hensel, Sebastian, and Tommaso Rosati. “Modelled Distributions of Triebel–Lizorkin
Type.” Studia Mathematica, vol. 252, no. 3, Instytut Matematyczny, 2020,
pp. 251–97, doi:10.4064/sm180411-11-2.
short: S. Hensel, T. Rosati, Studia Mathematica 252 (2020) 251–297.
date_created: 2021-02-25T08:55:03Z
date_published: 2020-03-01T00:00:00Z
date_updated: 2023-10-17T09:15:53Z
day: '01'
department:
- _id: JuFi
- _id: GradSch
doi: 10.4064/sm180411-11-2
external_id:
arxiv:
- '1709.05202'
isi:
- '000558100500002'
intvolume: ' 252'
isi: 1
issue: '3'
keyword:
- General Mathematics
language:
- iso: eng
month: '03'
oa_version: Preprint
page: 251-297
publication: Studia Mathematica
publication_identifier:
eissn:
- 1730-6337
issn:
- 0039-3223
publication_status: published
publisher: Instytut Matematyczny
quality_controlled: '1'
scopus_import: '1'
status: public
title: Modelled distributions of Triebel–Lizorkin type
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 252
year: '2020'
...
---
_id: '9197'
abstract:
- lang: eng
text: In this paper we introduce and study all-pay bidding games, a class of two
player, zero-sum games on graphs. The game proceeds as follows. We place a token
on some vertex in the graph and assign budgets to the two players. Each turn,
each player submits a sealed legal bid (non-negative and below their remaining
budget), which is deducted from their budget and the highest bidder moves the
token onto an adjacent vertex. The game ends once a sink is reached, and Player
1 pays Player 2 the outcome that is associated with the sink. The players attempt
to maximize their expected outcome. Our games model settings where effort (of
no inherent value) needs to be invested in an ongoing and stateful manner. On
the negative side, we show that even in simple games on DAGs, optimal strategies
may require a distribution over bids with infinite support. A central quantity
in bidding games is the ratio of the players budgets. On the positive side, we
show a simple FPTAS for DAGs, that, for each budget ratio, outputs an approximation
for the optimal strategy for that ratio. We also implement it, show that it performs
well, and suggests interesting properties of these games. Then, given an outcome
c, we show an algorithm for finding the necessary and sufficient initial ratio
for guaranteeing outcome c with probability 1 and a strategy ensuring such. Finally,
while the general case has not previously been studied, solving the specific game
in which Player 1 wins iff he wins the first two auctions, has been long stated
as an open question, which we solve.
acknowledgement: This research was supported by the Austrian Science Fund (FWF) under
grants S11402-N23 (RiSE/SHiNE), Z211-N23 (Wittgenstein Award), and M 2369-N33 (Meitner
fellowship).
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Guy
full_name: Avni, Guy
id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
last_name: Avni
orcid: 0000-0001-5588-8287
- first_name: Rasmus
full_name: Ibsen-Jensen, Rasmus
id: 3B699956-F248-11E8-B48F-1D18A9856A87
last_name: Ibsen-Jensen
orcid: 0000-0003-4783-0389
- first_name: Josef
full_name: Tkadlec, Josef
id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
last_name: Tkadlec
orcid: 0000-0002-1097-9684
citation:
ama: Avni G, Ibsen-Jensen R, Tkadlec J. All-pay bidding games on graphs. Proceedings
of the AAAI Conference on Artificial Intelligence. 2020;34(02):1798-1805.
doi:10.1609/aaai.v34i02.5546
apa: 'Avni, G., Ibsen-Jensen, R., & Tkadlec, J. (2020). All-pay bidding games
on graphs. Proceedings of the AAAI Conference on Artificial Intelligence.
New York, NY, United States: Association for the Advancement of Artificial Intelligence.
https://doi.org/10.1609/aaai.v34i02.5546'
chicago: Avni, Guy, Rasmus Ibsen-Jensen, and Josef Tkadlec. “All-Pay Bidding Games
on Graphs.” Proceedings of the AAAI Conference on Artificial Intelligence.
Association for the Advancement of Artificial Intelligence, 2020. https://doi.org/10.1609/aaai.v34i02.5546.
ieee: G. Avni, R. Ibsen-Jensen, and J. Tkadlec, “All-pay bidding games on graphs,”
Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34,
no. 02. Association for the Advancement of Artificial Intelligence, pp. 1798–1805,
2020.
ista: Avni G, Ibsen-Jensen R, Tkadlec J. 2020. All-pay bidding games on graphs.
Proceedings of the AAAI Conference on Artificial Intelligence. 34(02), 1798–1805.
mla: Avni, Guy, et al. “All-Pay Bidding Games on Graphs.” Proceedings of the
AAAI Conference on Artificial Intelligence, vol. 34, no. 02, Association for
the Advancement of Artificial Intelligence, 2020, pp. 1798–805, doi:10.1609/aaai.v34i02.5546.
short: G. Avni, R. Ibsen-Jensen, J. Tkadlec, Proceedings of the AAAI Conference
on Artificial Intelligence 34 (2020) 1798–1805.
conference:
end_date: 2020-02-12
location: New York, NY, United States
name: 'AAAI: Conference on Artificial Intelligence'
start_date: 2020-02-07
date_created: 2021-02-25T09:05:18Z
date_published: 2020-04-03T00:00:00Z
date_updated: 2023-09-05T12:40:00Z
day: '03'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1609/aaai.v34i02.5546
external_id:
arxiv:
- '1911.08360'
intvolume: ' 34'
issue: '02'
language:
- iso: eng
month: '04'
oa_version: Preprint
page: 1798-1805
project:
- _id: 25F2ACDE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
- _id: 264B3912-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02369
name: Formal Methods meets Algorithmic Game Theory
publication: Proceedings of the AAAI Conference on Artificial Intelligence
publication_identifier:
eissn:
- 2374-3468
isbn:
- '9781577358350'
issn:
- 2159-5399
publication_status: published
publisher: Association for the Advancement of Artificial Intelligence
quality_controlled: '1'
scopus_import: '1'
status: public
title: All-pay bidding games on graphs
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 34
year: '2020'
...
---
_id: '9198'
abstract:
- lang: eng
text: "The optimization of multilayer neural networks typically leads to a solution\r\nwith
zero training error, yet the landscape can exhibit spurious local minima\r\nand
the minima can be disconnected. In this paper, we shed light on this\r\nphenomenon:
we show that the combination of stochastic gradient descent (SGD)\r\nand over-parameterization
makes the landscape of multilayer neural networks\r\napproximately connected and
thus more favorable to optimization. More\r\nspecifically, we prove that SGD solutions
are connected via a piecewise linear\r\npath, and the increase in loss along this
path vanishes as the number of\r\nneurons grows large. This result is a consequence
of the fact that the\r\nparameters found by SGD are increasingly dropout stable
as the network becomes\r\nwider. We show that, if we remove part of the neurons
(and suitably rescale the\r\nremaining ones), the change in loss is independent
of the total number of\r\nneurons, and it depends only on how many neurons are
left. Our results exhibit\r\na mild dependence on the input dimension: they are
dimension-free for two-layer\r\nnetworks and depend linearly on the dimension
for multilayer networks. We\r\nvalidate our theoretical findings with numerical
experiments for different\r\narchitectures and classification tasks."
acknowledgement: M. Mondelli was partially supported by the 2019 LopezLoreta Prize.
The authors thank Phan-Minh Nguyen for helpful discussions and the IST Distributed
Algorithms and Systems Lab for providing computational resources.
article_processing_charge: No
arxiv: 1
author:
- first_name: Alexander
full_name: Shevchenko, Alexander
last_name: Shevchenko
- first_name: Marco
full_name: Mondelli, Marco
id: 27EB676C-8706-11E9-9510-7717E6697425
last_name: Mondelli
orcid: 0000-0002-3242-7020
citation:
ama: 'Shevchenko A, Mondelli M. Landscape connectivity and dropout stability of
SGD solutions for over-parameterized neural networks. In: Proceedings of the
37th International Conference on Machine Learning. Vol 119. ML Research Press;
2020:8773-8784.'
apa: Shevchenko, A., & Mondelli, M. (2020). Landscape connectivity and dropout
stability of SGD solutions for over-parameterized neural networks. In Proceedings
of the 37th International Conference on Machine Learning (Vol. 119, pp. 8773–8784).
ML Research Press.
chicago: Shevchenko, Alexander, and Marco Mondelli. “Landscape Connectivity and
Dropout Stability of SGD Solutions for Over-Parameterized Neural Networks.” In
Proceedings of the 37th International Conference on Machine Learning, 119:8773–84.
ML Research Press, 2020.
ieee: A. Shevchenko and M. Mondelli, “Landscape connectivity and dropout stability
of SGD solutions for over-parameterized neural networks,” in Proceedings of
the 37th International Conference on Machine Learning, 2020, vol. 119, pp.
8773–8784.
ista: Shevchenko A, Mondelli M. 2020. Landscape connectivity and dropout stability
of SGD solutions for over-parameterized neural networks. Proceedings of the 37th
International Conference on Machine Learning. vol. 119, 8773–8784.
mla: Shevchenko, Alexander, and Marco Mondelli. “Landscape Connectivity and Dropout
Stability of SGD Solutions for Over-Parameterized Neural Networks.” Proceedings
of the 37th International Conference on Machine Learning, vol. 119, ML Research
Press, 2020, pp. 8773–84.
short: A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference
on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
date_created: 2021-02-25T09:36:22Z
date_published: 2020-07-13T00:00:00Z
date_updated: 2024-09-10T13:03:19Z
day: '13'
ddc:
- '000'
department:
- _id: MaMo
external_id:
arxiv:
- '1912.10095'
file:
- access_level: open_access
checksum: f042c8d4316bd87c6361aa76f1fbdbbe
content_type: application/pdf
creator: dernst
date_created: 2021-03-02T15:38:14Z
date_updated: 2021-03-02T15:38:14Z
file_id: '9217'
file_name: 2020_PMLR_Shevchenko.pdf
file_size: 5336380
relation: main_file
success: 1
file_date_updated: 2021-03-02T15:38:14Z
has_accepted_license: '1'
intvolume: ' 119'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 8773-8784
project:
- _id: 059876FA-7A3F-11EA-A408-12923DDC885E
name: Prix Lopez-Loretta 2019 - Marco Mondelli
publication: Proceedings of the 37th International Conference on Machine Learning
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
status: public
title: Landscape connectivity and dropout stability of SGD solutions for over-parameterized
neural networks
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 119
year: '2020'
...
---
_id: '9202'
abstract:
- lang: eng
text: We propose a novel hybridization method for stability analysis that over-approximates
nonlinear dynamical systems by switched systems with linear inclusion dynamics.
We observe that existing hybridization techniques for safety analysis that over-approximate
nonlinear dynamical systems by switched affine inclusion dynamics and provide
fixed approximation error, do not suffice for stability analysis. Hence, we propose
a hybridization method that provides a state-dependent error which converges to
zero as the state tends to the equilibrium point. The crux of our hybridization
computation is an elegant recursive algorithm that uses partial derivatives of
a given function to obtain upper and lower bound matrices for the over-approximating
linear inclusion. We illustrate our method on some examples to demonstrate the
application of the theory for stability analysis. In particular, our method is
able to establish stability of a nonlinear system which does not admit a polynomial
Lyapunov function.
acknowledgement: Miriam Garc´ıa Soto was partially supported by the Austrian Science
Fund (FWF) under grant Z211-N23 (Wittgenstein Award). Pavithra Prabhakar was partially
supported by NSF CAREER Award No. 1552668, NSF Award No. 2008957 and ONR YIP Award
No. N000141712577.
article_processing_charge: No
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: Pavithra
full_name: Prabhakar, Pavithra
last_name: Prabhakar
citation:
ama: 'Garcia Soto M, Prabhakar P. Hybridization for stability verification of nonlinear
switched systems. In: 2020 IEEE Real-Time Systems Symposium. IEEE; 2020:244-256.
doi:10.1109/RTSS49844.2020.00031'
apa: 'Garcia Soto, M., & Prabhakar, P. (2020). Hybridization for stability verification
of nonlinear switched systems. In 2020 IEEE Real-Time Systems Symposium
(pp. 244–256). Houston, TX, USA : IEEE. https://doi.org/10.1109/RTSS49844.2020.00031'
chicago: Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability
Verification of Nonlinear Switched Systems.” In 2020 IEEE Real-Time Systems
Symposium, 244–56. IEEE, 2020. https://doi.org/10.1109/RTSS49844.2020.00031.
ieee: M. Garcia Soto and P. Prabhakar, “Hybridization for stability verification
of nonlinear switched systems,” in 2020 IEEE Real-Time Systems Symposium,
Houston, TX, USA , 2020, pp. 244–256.
ista: 'Garcia Soto M, Prabhakar P. 2020. Hybridization for stability verification
of nonlinear switched systems. 2020 IEEE Real-Time Systems Symposium. RTTS: Real-Time
Systems Symposium, 244–256.'
mla: Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification
of Nonlinear Switched Systems.” 2020 IEEE Real-Time Systems Symposium,
IEEE, 2020, pp. 244–56, doi:10.1109/RTSS49844.2020.00031.
short: M. Garcia Soto, P. Prabhakar, in:, 2020 IEEE Real-Time Systems Symposium,
IEEE, 2020, pp. 244–256.
conference:
end_date: 2020-12-04
location: 'Houston, TX, USA '
name: 'RTTS: Real-Time Systems Symposium'
start_date: 2020-12-01
date_created: 2021-02-26T16:38:24Z
date_published: 2020-12-01T00:00:00Z
date_updated: 2024-02-22T13:25:19Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1109/RTSS49844.2020.00031
external_id:
isi:
- '000680435100021'
file:
- access_level: open_access
checksum: 8f97f229316c3b3a6f0cf99297aa0941
content_type: application/pdf
creator: mgarcias
date_created: 2021-02-26T16:38:14Z
date_updated: 2021-02-26T16:38:14Z
file_id: '9203'
file_name: main.pdf
file_size: 1125794
relation: main_file
file_date_updated: 2021-02-26T16:38:14Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '12'
oa: 1
oa_version: Submitted Version
page: 244-256
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: 2020 IEEE Real-Time Systems Symposium
publication_identifier:
eisbn:
- '9781728183244'
eissn:
- 2576-3172
publication_status: published
publisher: IEEE
quality_controlled: '1'
status: public
title: Hybridization for stability verification of nonlinear switched systems
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
year: '2020'
...