---
_id: '8138'
abstract:
- lang: eng
text: Directional transport of the phytohormone auxin is a versatile, plant-specific
mechanism regulating many aspects of plant development. The recently identified
plant hormones, strigolactones (SLs), are implicated in many plant traits; among
others, they modify the phenotypic output of PIN-FORMED (PIN) auxin transporters
for fine-tuning of growth and developmental responses. Here, we show in pea and
Arabidopsis that SLs target processes dependent on the canalization of auxin flow,
which involves auxin feedback on PIN subcellular distribution. D14 receptor- and
MAX2 F-box-mediated SL signaling inhibits the formation of auxin-conducting channels
after wounding or from artificial auxin sources, during vasculature de novo formation
and regeneration. At the cellular level, SLs interfere with auxin effects on PIN
polar targeting, constitutive PIN trafficking as well as clathrin-mediated endocytosis.
Our results identify a non-transcriptional mechanism of SL action, uncoupling
auxin feedback on PIN polarity and trafficking, thereby regulating vascular tissue
formation and regeneration.
acknowledgement: We are grateful to David Nelson for providing published materials
and extremely helpful comments, and Elizabeth Dun and Christine Beveridge for helpful
discussions. The research leading to these results has received funding from the
European Research Council (ERC) under the European Union's Horizon 2020 research
and innovation programme (742985). This work was also supported by the Beijing Municipal
Natural Science Foundation (5192011), Beijing Outstanding University Discipline
Program, the National Natural Science Foundation of China (31370309), CEITEC 2020
(LQ1601) project with financial contribution made by the Ministry of Education,
Youth and Sports of the Czech Republic within special support paid from the National
Program of Sustainability II funds, Australian Research Council (FT180100081), and
China Postdoctoral Science Foundation (2019M660864).
article_processing_charge: No
article_type: original
author:
- first_name: J
full_name: Zhang, J
last_name: Zhang
- first_name: E
full_name: Mazur, E
last_name: Mazur
- first_name: J
full_name: Balla, J
last_name: Balla
- first_name: Michelle C
full_name: Gallei, Michelle C
id: 35A03822-F248-11E8-B48F-1D18A9856A87
last_name: Gallei
orcid: 0000-0003-1286-7368
- first_name: P
full_name: Kalousek, P
last_name: Kalousek
- first_name: Z
full_name: Medveďová, Z
last_name: Medveďová
- first_name: Y
full_name: Li, Y
last_name: Li
- first_name: Y
full_name: Wang, Y
last_name: Wang
- first_name: Tomas
full_name: Prat, Tomas
id: 3DA3BFEE-F248-11E8-B48F-1D18A9856A87
last_name: Prat
- first_name: Mina K
full_name: Vasileva, Mina K
id: 3407EB18-F248-11E8-B48F-1D18A9856A87
last_name: Vasileva
- first_name: V
full_name: Reinöhl, V
last_name: Reinöhl
- first_name: S
full_name: Procházka, S
last_name: Procházka
- first_name: R
full_name: Halouzka, R
last_name: Halouzka
- first_name: P
full_name: Tarkowski, P
last_name: Tarkowski
- first_name: C
full_name: Luschnig, C
last_name: Luschnig
- first_name: PB
full_name: Brewer, PB
last_name: Brewer
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Zhang J, Mazur E, Balla J, et al. Strigolactones inhibit auxin feedback on
PIN-dependent auxin transport canalization. Nature Communications. 2020;11(1):3508.
doi:10.1038/s41467-020-17252-y
apa: Zhang, J., Mazur, E., Balla, J., Gallei, M. C., Kalousek, P., Medveďová, Z.,
… Friml, J. (2020). Strigolactones inhibit auxin feedback on PIN-dependent auxin
transport canalization. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17252-y
chicago: Zhang, J, E Mazur, J Balla, Michelle C Gallei, P Kalousek, Z Medveďová,
Y Li, et al. “Strigolactones Inhibit Auxin Feedback on PIN-Dependent Auxin Transport
Canalization.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17252-y.
ieee: J. Zhang et al., “Strigolactones inhibit auxin feedback on PIN-dependent
auxin transport canalization,” Nature Communications, vol. 11, no. 1. Springer
Nature, p. 3508, 2020.
ista: Zhang J, Mazur E, Balla J, Gallei MC, Kalousek P, Medveďová Z, Li Y, Wang
Y, Prat T, Vasileva MK, Reinöhl V, Procházka S, Halouzka R, Tarkowski P, Luschnig
C, Brewer P, Friml J. 2020. Strigolactones inhibit auxin feedback on PIN-dependent
auxin transport canalization. Nature Communications. 11(1), 3508.
mla: Zhang, J., et al. “Strigolactones Inhibit Auxin Feedback on PIN-Dependent Auxin
Transport Canalization.” Nature Communications, vol. 11, no. 1, Springer
Nature, 2020, p. 3508, doi:10.1038/s41467-020-17252-y.
short: J. Zhang, E. Mazur, J. Balla, M.C. Gallei, P. Kalousek, Z. Medveďová, Y.
Li, Y. Wang, T. Prat, M.K. Vasileva, V. Reinöhl, S. Procházka, R. Halouzka, P.
Tarkowski, C. Luschnig, P. Brewer, J. Friml, Nature Communications 11 (2020) 3508.
date_created: 2020-07-21T08:58:07Z
date_published: 2020-07-14T00:00:00Z
date_updated: 2023-08-22T08:13:44Z
day: '14'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1038/s41467-020-17252-y
ec_funded: 1
external_id:
isi:
- '000550062200004'
pmid:
- '32665554'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2020-07-22T08:32:55Z
date_updated: 2020-07-22T08:32:55Z
file_id: '8148'
file_name: 2020_NatureComm_Zhang.pdf
file_size: 1759490
relation: main_file
success: 1
file_date_updated: 2020-07-22T08:32:55Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '3508'
pmid: 1
project:
- _id: 261099A6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742985'
name: Tracing Evolution of Auxin Transport and Polarity in Plants
publication: Nature Communications
publication_identifier:
issn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '11626'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization
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: '2020'
...
---
_id: '8168'
abstract:
- lang: eng
text: Speciation, that is, the evolution of reproductive barriers eventually leading
to complete isolation, is a crucial process generating biodiversity. Recent work
has contributed much to our understanding of how reproductive barriers begin to
evolve, and how they are maintained in the face of gene flow. However, little
is known about the transition from partial to strong reproductive isolation (RI)
and the completion of speciation. We argue that the evolution of strong RI is
likely to involve different processes, or new interactions among processes, compared
with the evolution of the first reproductive barriers. Transition to strong RI
may be brought about by changing external conditions, for example, following secondary
contact. However, the increasing levels of RI themselves create opportunities
for new barriers to evolve and, and interaction or coupling among barriers. These
changing processes may depend on genomic architecture and leave detectable signals
in the genome. We outline outstanding questions and suggest more theoretical and
empirical work, considering both patterns and processes associated with strong
RI, is needed to understand how speciation is completed.
article_number: '20190528'
article_processing_charge: No
article_type: original
author:
- first_name: Jonna
full_name: Kulmuni, Jonna
last_name: Kulmuni
- first_name: Roger K.
full_name: Butlin, Roger K.
last_name: Butlin
- first_name: Kay
full_name: Lucek, Kay
last_name: Lucek
- first_name: Vincent
full_name: Savolainen, Vincent
last_name: Savolainen
- first_name: Anja M
full_name: Westram, Anja M
id: 3C147470-F248-11E8-B48F-1D18A9856A87
last_name: Westram
orcid: 0000-0003-1050-4969
citation:
ama: 'Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. Towards the completion
of speciation: The evolution of reproductive isolation beyond the first barriers.
Philosophical Transactions of the Royal Society Series B: Biological sciences.
2020;375(1806). doi:10.1098/rstb.2019.0528'
apa: 'Kulmuni, J., Butlin, R. K., Lucek, K., Savolainen, V., & Westram, A. M.
(2020). Towards the completion of speciation: The evolution of reproductive isolation
beyond the first barriers. Philosophical Transactions of the Royal Society.
Series B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rstb.2019.0528'
chicago: 'Kulmuni, Jonna, Roger K. Butlin, Kay Lucek, Vincent Savolainen, and Anja
M Westram. “Towards the Completion of Speciation: The Evolution of Reproductive
Isolation beyond the First Barriers.” Philosophical Transactions of the Royal
Society. Series B: Biological Sciences. The Royal Society, 2020. https://doi.org/10.1098/rstb.2019.0528.'
ieee: 'J. Kulmuni, R. K. Butlin, K. Lucek, V. Savolainen, and A. M. Westram, “Towards
the completion of speciation: The evolution of reproductive isolation beyond the
first barriers,” Philosophical Transactions of the Royal Society. Series B:
Biological sciences, vol. 375, no. 1806. The Royal Society, 2020.'
ista: 'Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. 2020. Towards the
completion of speciation: The evolution of reproductive isolation beyond the first
barriers. Philosophical Transactions of the Royal Society. Series B: Biological
sciences. 375(1806), 20190528.'
mla: 'Kulmuni, Jonna, et al. “Towards the Completion of Speciation: The Evolution
of Reproductive Isolation beyond the First Barriers.” Philosophical Transactions
of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 20190528,
The Royal Society, 2020, doi:10.1098/rstb.2019.0528.'
short: 'J. Kulmuni, R.K. Butlin, K. Lucek, V. Savolainen, A.M. Westram, Philosophical
Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).'
date_created: 2020-07-26T22:01:01Z
date_published: 2020-07-12T00:00:00Z
date_updated: 2023-08-22T08:21:31Z
day: '12'
department:
- _id: NiBa
doi: 10.1098/rstb.2019.0528
ec_funded: 1
external_id:
isi:
- '000552662100001'
pmid:
- '32654637'
intvolume: ' 375'
isi: 1
issue: '1806'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1098/rstb.2019.0528
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 265B41B8-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '797747'
name: Theoretical and empirical approaches to understanding Parallel Adaptation
publication: 'Philosophical Transactions of the Royal Society. Series B: Biological
sciences'
publication_identifier:
eissn:
- 1471-2970
issn:
- 0962-8436
publication_status: published
publisher: The Royal Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Towards the completion of speciation: The evolution of reproductive isolation
beyond the first barriers'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 375
year: '2020'
...
---
_id: '8167'
abstract:
- lang: eng
text: The evolution of strong reproductive isolation (RI) is fundamental to the
origins and maintenance of biological diversity, especially in situations where
geographical distributions of taxa broadly overlap. But what is the history behind
strong barriers currently acting in sympatry? Using whole-genome sequencing and
single nucleotide polymorphism genotyping, we inferred (i) the evolutionary relationships,
(ii) the strength of RI, and (iii) the demographic history of divergence between
two broadly sympatric taxa of intertidal snail. Despite being cryptic, based on
external morphology, Littorina arcana and Littorina saxatilis differ in their
mode of female reproduction (egg-laying versus brooding), which may generate a
strong post-zygotic barrier. We show that egg-laying and brooding snails are closely
related, but genetically distinct. Genotyping of 3092 snails from three locations
failed to recover any recent hybrid or backcrossed individuals, confirming that
RI is strong. There was, however, evidence for a very low level of asymmetrical
introgression, suggesting that isolation remains incomplete. The presence of strong,
asymmetrical RI was further supported by demographic analysis of these populations.
Although the taxa are currently broadly sympatric, demographic modelling suggests
that they initially diverged during a short period of geographical separation
involving very low gene flow. Our study suggests that some geographical separation
may kick-start the evolution of strong RI, facilitating subsequent coexistence
of taxa in sympatry. The strength of RI needed to achieve sympatry and the subsequent
effect of sympatry on RI remain open questions.
acknowledgement: Funding was provided by the Natural Environment Research Council
(NERC) and the European Research Council. We thank Rui Faria, Nicola Nadeau, Martin
Garlovsky and Hernan Morales for advice and/or useful discussion during the project.
Richard Turney, Graciela Sotelo, Jenny Larson, Stéphane Loisel and Meghan Wharton
participated in the collection and processing of samples. Mark Dunning helped with
the development of bioinformatic pipelines. The analysis of genomic data was conducted
on the University of Sheffield High-performance computer, ShARC. Jeffrey Feder and
an anonymous reviewer provided comments that improved the manuscript.
article_number: '20190545'
article_processing_charge: No
article_type: original
author:
- first_name: Sean
full_name: Stankowski, Sean
id: 43161670-5719-11EA-8025-FABC3DDC885E
last_name: Stankowski
- 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: Zuzanna B.
full_name: Zagrodzka, Zuzanna B.
last_name: Zagrodzka
- first_name: Isobel
full_name: Eyres, Isobel
last_name: Eyres
- first_name: Thomas
full_name: Broquet, Thomas
last_name: Broquet
- first_name: Kerstin
full_name: Johannesson, Kerstin
last_name: Johannesson
- first_name: Roger K.
full_name: Butlin, Roger K.
last_name: Butlin
citation:
ama: 'Stankowski S, Westram AM, Zagrodzka ZB, et al. The evolution of strong reproductive
isolation between sympatric intertidal snails. Philosophical Transactions of
the Royal Society Series B: Biological Sciences. 2020;375(1806). doi:10.1098/rstb.2019.0545'
apa: 'Stankowski, S., Westram, A. M., Zagrodzka, Z. B., Eyres, I., Broquet, T.,
Johannesson, K., & Butlin, R. K. (2020). The evolution of strong reproductive
isolation between sympatric intertidal snails. Philosophical Transactions of
the Royal Society. Series B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rstb.2019.0545'
chicago: 'Stankowski, Sean, Anja M Westram, Zuzanna B. Zagrodzka, Isobel Eyres,
Thomas Broquet, Kerstin Johannesson, and Roger K. Butlin. “The Evolution of Strong
Reproductive Isolation between Sympatric Intertidal Snails.” Philosophical
Transactions of the Royal Society. Series B: Biological Sciences. The Royal
Society, 2020. https://doi.org/10.1098/rstb.2019.0545.'
ieee: 'S. Stankowski et al., “The evolution of strong reproductive isolation
between sympatric intertidal snails,” Philosophical Transactions of the Royal
Society. Series B: Biological Sciences, vol. 375, no. 1806. The Royal Society,
2020.'
ista: 'Stankowski S, Westram AM, Zagrodzka ZB, Eyres I, Broquet T, Johannesson K,
Butlin RK. 2020. The evolution of strong reproductive isolation between sympatric
intertidal snails. Philosophical Transactions of the Royal Society. Series B:
Biological Sciences. 375(1806), 20190545.'
mla: 'Stankowski, Sean, et al. “The Evolution of Strong Reproductive Isolation between
Sympatric Intertidal Snails.” Philosophical Transactions of the Royal Society.
Series B: Biological Sciences, vol. 375, no. 1806, 20190545, The Royal Society,
2020, doi:10.1098/rstb.2019.0545.'
short: 'S. Stankowski, A.M. Westram, Z.B. Zagrodzka, I. Eyres, T. Broquet, K. Johannesson,
R.K. Butlin, Philosophical Transactions of the Royal Society. Series B: Biological
Sciences 375 (2020).'
date_created: 2020-07-26T22:01:01Z
date_published: 2020-07-12T00:00:00Z
date_updated: 2023-08-22T08:22:13Z
day: '12'
department:
- _id: NiBa
doi: 10.1098/rstb.2019.0545
external_id:
isi:
- '000552662100014'
pmid:
- '32654639'
intvolume: ' 375'
isi: 1
issue: '1806'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1098/rstb.2019.0545
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
publication: 'Philosophical Transactions of the Royal Society. Series B: Biological
Sciences'
publication_identifier:
eissn:
- 1471-2970
publication_status: published
publisher: The Royal Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: The evolution of strong reproductive isolation between sympatric intertidal
snails
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 375
year: '2020'
...
---
_id: '8170'
abstract:
- lang: eng
text: "Alignment of OCS, CS2, and I2 molecules embedded in helium nanodroplets is
measured as a function\r\nof time following rotational excitation by a nonresonant,
comparatively weak ps laser pulse. The distinct\r\npeaks in the power spectra,
obtained by Fourier analysis, are used to determine the rotational, B, and\r\ncentrifugal
distortion, D, constants. For OCS, B and D match the values known from IR spectroscopy.
For\r\nCS2 and I2, they are the first experimental results reported. The alignment
dynamics calculated from the\r\ngas-phase rotational Schrödinger equation, using
the experimental in-droplet B and D values, agree in\r\ndetail with the measurement
for all three molecules. The rotational spectroscopy technique for molecules in\r\nhelium
droplets introduced here should apply to a range of molecules and complexes."
acknowledgement: "H. S. acknowledges support from the European Research Council-AdG
(Project No. 320459, DropletControl)\r\nand from The Villum Foundation through a
Villum Investigator Grant No. 25886. M. L. acknowledges support\r\nby the Austrian
Science Fund (FWF), under Project No. P29902-N27, and by the European Research Council\r\n(ERC)
Starting Grant No. 801770 (ANGULON). G. B. acknowledges support from the Austrian
Science Fund\r\n(FWF), under Project No. M2641-N27. I. C. acknowledges support by
the European Union’s Horizon 2020 research and\r\ninnovation programme under the
Marie Skłodowska-Curie Grant Agreement No. 665385. Computational resources for\r\nthe
PIMC simulations were provided by the division for scientific computing at the Johannes
Kepler University."
article_number: '013001'
article_processing_charge: No
article_type: original
author:
- first_name: Adam S.
full_name: Chatterley, Adam S.
last_name: Chatterley
- first_name: Lars
full_name: Christiansen, Lars
last_name: Christiansen
- first_name: Constant A.
full_name: Schouder, Constant A.
last_name: Schouder
- first_name: Anders V.
full_name: Jørgensen, Anders V.
last_name: Jørgensen
- first_name: Benjamin
full_name: Shepperson, Benjamin
last_name: Shepperson
- first_name: Igor
full_name: Cherepanov, Igor
id: 339C7E5A-F248-11E8-B48F-1D18A9856A87
last_name: Cherepanov
- first_name: Giacomo
full_name: Bighin, Giacomo
id: 4CA96FD4-F248-11E8-B48F-1D18A9856A87
last_name: Bighin
orcid: 0000-0001-8823-9777
- first_name: Robert E.
full_name: Zillich, Robert E.
last_name: Zillich
- first_name: Mikhail
full_name: Lemeshko, Mikhail
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
- first_name: Henrik
full_name: Stapelfeldt, Henrik
last_name: Stapelfeldt
citation:
ama: 'Chatterley AS, Christiansen L, Schouder CA, et al. Rotational coherence spectroscopy
of molecules in Helium nanodroplets: Reconciling the time and the frequency domains.
Physical Review Letters. 2020;125(1). doi:10.1103/PhysRevLett.125.013001'
apa: 'Chatterley, A. S., Christiansen, L., Schouder, C. A., Jørgensen, A. V., Shepperson,
B., Cherepanov, I., … Stapelfeldt, H. (2020). Rotational coherence spectroscopy
of molecules in Helium nanodroplets: Reconciling the time and the frequency domains.
Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.125.013001'
chicago: 'Chatterley, Adam S., Lars Christiansen, Constant A. Schouder, Anders V.
Jørgensen, Benjamin Shepperson, Igor Cherepanov, Giacomo Bighin, Robert E. Zillich,
Mikhail Lemeshko, and Henrik Stapelfeldt. “Rotational Coherence Spectroscopy of
Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.”
Physical Review Letters. American Physical Society, 2020. https://doi.org/10.1103/PhysRevLett.125.013001.'
ieee: 'A. S. Chatterley et al., “Rotational coherence spectroscopy of molecules
in Helium nanodroplets: Reconciling the time and the frequency domains,” Physical
Review Letters, vol. 125, no. 1. American Physical Society, 2020.'
ista: 'Chatterley AS, Christiansen L, Schouder CA, Jørgensen AV, Shepperson B, Cherepanov
I, Bighin G, Zillich RE, Lemeshko M, Stapelfeldt H. 2020. Rotational coherence
spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the
frequency domains. Physical Review Letters. 125(1), 013001.'
mla: 'Chatterley, Adam S., et al. “Rotational Coherence Spectroscopy of Molecules
in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” Physical
Review Letters, vol. 125, no. 1, 013001, American Physical Society, 2020,
doi:10.1103/PhysRevLett.125.013001.'
short: A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson,
I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical
Review Letters 125 (2020).
date_created: 2020-07-26T22:01:02Z
date_published: 2020-07-03T00:00:00Z
date_updated: 2023-08-22T08:22:43Z
day: '03'
department:
- _id: MiLe
doi: 10.1103/PhysRevLett.125.013001
ec_funded: 1
external_id:
arxiv:
- '2006.02694'
isi:
- '000544526900006'
intvolume: ' 125'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2006.02694
month: '07'
oa: 1
oa_version: Preprint
project:
- _id: 26031614-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29902
name: Quantum rotations in the presence of a many-body environment
- _id: 2688CF98-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '801770'
name: 'Angulon: physics and applications of a new quasiparticle'
- _id: 26986C82-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02641
name: A path-integral approach to composite impurities
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Physical Review Letters
publication_identifier:
eissn:
- '10797114'
issn:
- '00319007'
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling
the time and the frequency domains'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 125
year: '2020'
...
---
_id: '8194'
abstract:
- lang: eng
text: 'Fixed-point arithmetic is a popular alternative to floating-point arithmetic
on embedded systems. Existing work on the verification of fixed-point programs
relies on custom formalizations of fixed-point arithmetic, which makes it hard
to compare the described techniques or reuse the implementations. In this paper,
we address this issue by proposing and formalizing an SMT theory of fixed-point
arithmetic. We present an intuitive yet comprehensive syntax of the fixed-point
theory, and provide formal semantics for it based on rational arithmetic. We also
describe two decision procedures for this theory: one based on the theory of bit-vectors
and the other on the theory of reals. We implement the two decision procedures,
and evaluate our implementations using existing mature SMT solvers on a benchmark
suite we created. Finally, we perform a case study of using the theory we propose
to verify properties of quantized neural networks.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Marek
full_name: Baranowski, Marek
last_name: Baranowski
- first_name: Shaobo
full_name: He, Shaobo
last_name: He
- first_name: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
- first_name: Thanh Son
full_name: Nguyen, Thanh Son
last_name: Nguyen
- first_name: Zvonimir
full_name: Rakamarić, Zvonimir
last_name: Rakamarić
citation:
ama: 'Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point
arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31.
doi:10.1007/978-3-030-51074-9_2'
apa: 'Baranowski, M., He, S., Lechner, M., Nguyen, T. S., & Rakamarić, Z. (2020).
An SMT theory of fixed-point arithmetic. In Automated Reasoning (Vol. 12166,
pp. 13–31). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-030-51074-9_2'
chicago: Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir
Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In Automated Reasoning,
12166:13–31. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-51074-9_2.
ieee: M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT
theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France,
2020, vol. 12166, pp. 13–31.
ista: 'Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory
of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference
on Automated Reasoning, LNCS, vol. 12166, 13–31.'
mla: Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated
Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:10.1007/978-3-030-51074-9_2.
short: M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated
Reasoning, Springer Nature, 2020, pp. 13–31.
conference:
end_date: 2020-07-04
location: Paris, France
name: 'IJCAR: International Joint Conference on Automated Reasoning'
start_date: 2020-07-01
date_created: 2020-08-02T22:00:59Z
date_published: 2020-06-24T00:00:00Z
date_updated: 2023-08-22T08:27:25Z
day: '24'
department:
- _id: ToHe
doi: 10.1007/978-3-030-51074-9_2
external_id:
isi:
- '000884318000002'
intvolume: ' 12166'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/978-3-030-51074-9_2
month: '06'
oa: 1
oa_version: Published Version
page: 13-31
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: Automated Reasoning
publication_identifier:
eissn:
- '16113349'
isbn:
- '9783030510732'
issn:
- '03029743'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: An SMT theory of fixed-point arithmetic
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 12166
year: '2020'
...