--- _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' ...