--- _id: '7909' abstract: - lang: eng text: Cell migration entails networks and bundles of actin filaments termed lamellipodia and microspikes or filopodia, respectively, as well as focal adhesions, all of which recruit Ena/VASP family members hitherto thought to antagonize efficient cell motility. However, we find these proteins to act as positive regulators of migration in different murine cell lines. CRISPR/Cas9-mediated loss of Ena/VASP proteins reduced lamellipodial actin assembly and perturbed lamellipodial architecture, as evidenced by changed network geometry as well as reduction of filament length and number that was accompanied by abnormal Arp2/3 complex and heterodimeric capping protein accumulation. Loss of Ena/VASP function also abolished the formation of microspikes normally embedded in lamellipodia, but not of filopodia capable of emanating without lamellipodia. Ena/VASP-deficiency also impaired integrin-mediated adhesion accompanied by reduced traction forces exerted through these structures. Our data thus uncover novel Ena/VASP functions of these actin polymerases that are fully consistent with their promotion of cell migration. article_number: e55351 article_processing_charge: No article_type: original author: - first_name: Julia full_name: Damiano-Guercio, Julia last_name: Damiano-Guercio - first_name: Laëtitia full_name: Kurzawa, Laëtitia last_name: Kurzawa - first_name: Jan full_name: Müller, Jan id: AD07FDB4-0F61-11EA-8158-C4CC64CEAA8D last_name: Müller - first_name: Georgi A full_name: Dimchev, Georgi A id: 38C393BE-F248-11E8-B48F-1D18A9856A87 last_name: Dimchev orcid: 0000-0001-8370-6161 - first_name: Matthias full_name: Schaks, Matthias last_name: Schaks - first_name: Maria full_name: Nemethova, Maria id: 34E27F1C-F248-11E8-B48F-1D18A9856A87 last_name: Nemethova - first_name: Thomas full_name: Pokrant, Thomas last_name: Pokrant - first_name: Stefan full_name: Brühmann, Stefan last_name: Brühmann - first_name: Joern full_name: Linkner, Joern last_name: Linkner - first_name: Laurent full_name: Blanchoin, Laurent last_name: Blanchoin - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 - first_name: Klemens full_name: Rottner, Klemens last_name: Rottner - first_name: Jan full_name: Faix, Jan last_name: Faix citation: ama: Damiano-Guercio J, Kurzawa L, Müller J, et al. Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion. eLife. 2020;9. doi:10.7554/eLife.55351 apa: Damiano-Guercio, J., Kurzawa, L., Müller, J., Dimchev, G. A., Schaks, M., Nemethova, M., … Faix, J. (2020). Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.55351 chicago: Damiano-Guercio, Julia, Laëtitia Kurzawa, Jan Müller, Georgi A Dimchev, Matthias Schaks, Maria Nemethova, Thomas Pokrant, et al. “Loss of Ena/VASP Interferes with Lamellipodium Architecture, Motility and Integrin-Dependent Adhesion.” ELife. eLife Sciences Publications, 2020. https://doi.org/10.7554/eLife.55351. ieee: J. Damiano-Guercio et al., “Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion,” eLife, vol. 9. eLife Sciences Publications, 2020. ista: Damiano-Guercio J, Kurzawa L, Müller J, Dimchev GA, Schaks M, Nemethova M, Pokrant T, Brühmann S, Linkner J, Blanchoin L, Sixt MK, Rottner K, Faix J. 2020. Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion. eLife. 9, e55351. mla: Damiano-Guercio, Julia, et al. “Loss of Ena/VASP Interferes with Lamellipodium Architecture, Motility and Integrin-Dependent Adhesion.” ELife, vol. 9, e55351, eLife Sciences Publications, 2020, doi:10.7554/eLife.55351. short: J. Damiano-Guercio, L. Kurzawa, J. Müller, G.A. Dimchev, M. Schaks, M. Nemethova, T. Pokrant, S. Brühmann, J. Linkner, L. Blanchoin, M.K. Sixt, K. Rottner, J. Faix, ELife 9 (2020). date_created: 2020-05-31T22:00:49Z date_published: 2020-05-11T00:00:00Z date_updated: 2026-04-02T14:32:12Z day: '11' ddc: - '570' department: - _id: MiSi doi: 10.7554/eLife.55351 ec_funded: 1 external_id: isi: - '000537208000001' pmid: - '32391788' file: - access_level: open_access checksum: d33bd4441b9a0195718ce1ba5d2c48a6 content_type: application/pdf creator: dernst date_created: 2020-06-02T10:35:37Z date_updated: 2020-07-14T12:48:05Z file_id: '7914' file_name: 2020_eLife_Damiano_Guercio.pdf file_size: 10535713 relation: main_file file_date_updated: 2020-07-14T12:48:05Z has_accepted_license: '1' intvolume: ' 9' isi: 1 language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '05' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 25FE9508-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '724373' name: Cellular Navigation Along Spatial Gradients publication: eLife publication_identifier: eissn: - 2050-084X publication_status: published publisher: eLife Sciences Publications quality_controlled: '1' scopus_import: '1' status: public title: Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion 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: ba8df636-2132-11f1-aed0-ed93e2281fdd volume: 9 year: '2020' ... --- _id: '8669' abstract: - lang: eng text: Pancreatic islets play an essential role in regulating blood glucose level. Although the molecular pathways underlying islet cell differentiation are beginning to be resolved, the cellular basis of islet morphogenesis and fate allocation remain unclear. By combining unbiased and targeted lineage tracing, we address the events leading to islet formation in the mouse. From the statistical analysis of clones induced at multiple embryonic timepoints, here we show that, during the secondary transition, islet formation involves the aggregation of multiple equipotent endocrine progenitors that transition from a phase of stochastic amplification by cell division into a phase of sublineage restriction and limited islet fission. Together, these results explain quantitatively the heterogeneous size distribution and degree of polyclonality of maturing islets, as well as dispersion of progenitors within and between islets. Further, our results show that, during the secondary transition, α- and β-cells are generated in a contemporary manner. Together, these findings provide insight into the cellular basis of islet development. article_number: '5037' article_processing_charge: No article_type: original author: - first_name: Magdalena K. full_name: Sznurkowska, Magdalena K. last_name: Sznurkowska - first_name: Edouard B full_name: Hannezo, Edouard B id: 3A9DB764-F248-11E8-B48F-1D18A9856A87 last_name: Hannezo orcid: 0000-0001-6005-1561 - first_name: Roberta full_name: Azzarelli, Roberta last_name: Azzarelli - first_name: Lemonia full_name: Chatzeli, Lemonia last_name: Chatzeli - first_name: Tatsuro full_name: Ikeda, Tatsuro last_name: Ikeda - first_name: Shosei full_name: Yoshida, Shosei last_name: Yoshida - first_name: Anna full_name: Philpott, Anna last_name: Philpott - first_name: Benjamin D full_name: Simons, Benjamin D last_name: Simons citation: ama: Sznurkowska MK, Hannezo EB, Azzarelli R, et al. Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. 2020;11. doi:10.1038/s41467-020-18837-3 apa: Sznurkowska, M. K., Hannezo, E. B., Azzarelli, R., Chatzeli, L., Ikeda, T., Yoshida, S., … Simons, B. D. (2020). Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-18837-3 chicago: Sznurkowska, Magdalena K., Edouard B Hannezo, Roberta Azzarelli, Lemonia Chatzeli, Tatsuro Ikeda, Shosei Yoshida, Anna Philpott, and Benjamin D Simons. “Tracing the Cellular Basis of Islet Specification in Mouse Pancreas.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-18837-3. ieee: M. K. Sznurkowska et al., “Tracing the cellular basis of islet specification in mouse pancreas,” Nature Communications, vol. 11. Springer Nature, 2020. ista: Sznurkowska MK, Hannezo EB, Azzarelli R, Chatzeli L, Ikeda T, Yoshida S, Philpott A, Simons BD. 2020. Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. 11, 5037. mla: Sznurkowska, Magdalena K., et al. “Tracing the Cellular Basis of Islet Specification in Mouse Pancreas.” Nature Communications, vol. 11, 5037, Springer Nature, 2020, doi:10.1038/s41467-020-18837-3. short: M.K. Sznurkowska, E.B. Hannezo, R. Azzarelli, L. Chatzeli, T. Ikeda, S. Yoshida, A. Philpott, B.D. Simons, Nature Communications 11 (2020). date_created: 2020-10-18T22:01:35Z date_published: 2020-10-07T00:00:00Z date_updated: 2026-04-02T14:29:58Z day: '07' ddc: - '570' department: - _id: EdHa doi: 10.1038/s41467-020-18837-3 external_id: isi: - '000577244600003' pmid: - '33028844' file: - access_level: open_access checksum: 0ecc0eab72d2d50694852579611a6624 content_type: application/pdf creator: dernst date_created: 2020-10-19T11:27:46Z date_updated: 2020-10-19T11:27:46Z file_id: '8677' file_name: 2020_NatureComm_Sznurkowska.pdf file_size: 5540540 relation: main_file success: 1 file_date_updated: 2020-10-19T11:27:46Z has_accepted_license: '1' intvolume: ' 11' isi: 1 language: - iso: eng month: '10' oa: 1 oa_version: Published Version pmid: 1 publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Tracing the cellular basis of islet specification in mouse pancreas 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: ba8df636-2132-11f1-aed0-ed93e2281fdd volume: 11 year: '2020' ... --- _id: '8788' abstract: - lang: eng text: 'We consider a real-time setting where an environment releases sequences of firm-deadline tasks, and an online scheduler chooses on-the-fly the ones to execute on a single processor so as to maximize cumulated utility. The competitive ratio is a well-known performance measure for the scheduler: it gives the worst-case ratio, among all possible choices for the environment, of the cumulated utility of the online scheduler versus an offline scheduler that knows these choices in advance. Traditionally, competitive analysis is performed by hand, while automated techniques are rare and only handle static environments with independent tasks. We present a quantitative-verification framework for precedence-aware competitive analysis, where task releases may depend on preceding scheduling choices, i.e., the environment can respond to scheduling decisions dynamically . We consider two general classes of precedences: 1) follower precedences force the release of a dependent task upon the completion of a set of precursor tasks, while and 2) pairing precedences modify the characteristics of a dependent task provided the completion of a set of precursor tasks. Precedences make competitive analysis challenging, as the online and offline schedulers operate on diverging sequences. We make a formal presentation of our framework, and use a GPU-based implementation to analyze ten well-known schedulers on precedence-based application examples taken from the existing literature: 1) a handshake protocol (HP); 2) network packet-switching; 3) query scheduling (QS); and 4) a sporadic-interrupt setting. Our experimental results show that precedences and task parameters can vary drastically the best scheduler. Our framework thus supports application designers in choosing the best scheduler among a given set automatically.' acknowledgement: 'This work was supported by the Austrian Science Foundation (FWF) under the NFN RiSE/SHiNE under Grant S11405 and Grant S11407. This article was presented in the International Conference on Embedded Software 2020 and appears as part of the ESWEEK-TCAD special issue. ' article_processing_charge: No article_type: original author: - first_name: Andreas full_name: Pavlogiannis, Andreas id: 49704004-F248-11E8-B48F-1D18A9856A87 last_name: Pavlogiannis orcid: 0000-0002-8943-0722 - first_name: Nico full_name: Schaumberger, Nico last_name: Schaumberger - first_name: Ulrich full_name: Schmid, Ulrich last_name: Schmid - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X citation: ama: Pavlogiannis A, Schaumberger N, Schmid U, Chatterjee K. Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020;39(11):3981-3992. doi:10.1109/TCAD.2020.3012803 apa: Pavlogiannis, A., Schaumberger, N., Schmid, U., & Chatterjee, K. (2020). Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE. https://doi.org/10.1109/TCAD.2020.3012803 chicago: Pavlogiannis, Andreas, Nico Schaumberger, Ulrich Schmid, and Krishnendu Chatterjee. “Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE, 2020. https://doi.org/10.1109/TCAD.2020.3012803. ieee: A. Pavlogiannis, N. Schaumberger, U. Schmid, and K. Chatterjee, “Precedence-aware automated competitive analysis of real-time scheduling,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11. IEEE, pp. 3981–3992, 2020. ista: Pavlogiannis A, Schaumberger N, Schmid U, Chatterjee K. 2020. Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11), 3981–3992. mla: Pavlogiannis, Andreas, et al. “Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11, IEEE, 2020, pp. 3981–92, doi:10.1109/TCAD.2020.3012803. short: A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 3981–3992. date_created: 2020-11-22T23:01:24Z date_published: 2020-11-01T00:00:00Z date_updated: 2026-04-02T14:37:50Z day: '01' department: - _id: KrCh doi: 10.1109/TCAD.2020.3012803 external_id: isi: - '000587712700069' intvolume: ' 39' isi: 1 issue: '11' language: - iso: eng month: '11' oa_version: None page: 3981-3992 project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory publication: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems publication_identifier: eissn: - 1937-4151 issn: - 0278-0070 publication_status: published publisher: IEEE quality_controlled: '1' scopus_import: '1' status: public title: Precedence-aware automated competitive analysis of real-time scheduling type: journal_article user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd volume: 39 year: '2020' ... --- _id: '7563' abstract: - lang: eng text: "We introduce “state space persistence analysis” for deducing the symbolic dynamics of time series data obtained from high-dimensional chaotic attractors. To this end, we adapt a topological data analysis technique known as persistent homology for the characterization of state space projections of chaotic trajectories and periodic orbits. By comparing the shapes along a chaotic trajectory to those of the periodic orbits, state space persistence analysis quantifies the shape similarity of chaotic trajectory segments and periodic orbits. We demonstrate the method by applying it to the three-dimensional Rössler system and a 30-dimensional discretization of the Kuramoto–Sivashinsky partial differential equation in (1+1) dimensions.\r\nOne way of studying chaotic attractors systematically is through their symbolic dynamics, in which one partitions the state space into qualitatively different regions and assigns a symbol to each such region.1–3 This yields a “coarse-grained” state space of the system, which can then be reduced to a Markov chain encoding all possible transitions between the states of the system. While it is possible to obtain the symbolic dynamics of low-dimensional chaotic systems with standard tools such as Poincaré maps, when applied to high-dimensional systems such as turbulent flows, these tools alone are not sufficient to determine symbolic dynamics.4,5 In this paper, we develop “state space persistence analysis” and demonstrate that it can be utilized to infer the symbolic dynamics in very high-dimensional settings." article_number: '033109' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Gökhan full_name: Yalniz, Gökhan id: 66E74FA2-D8BF-11E9-8249-8DE2E5697425 last_name: Yalniz orcid: 0000-0002-8490-9312 - first_name: Nazmi B full_name: Budanur, Nazmi B id: 3EA1010E-F248-11E8-B48F-1D18A9856A87 last_name: Budanur orcid: 0000-0003-0423-5010 citation: ama: Yalniz G, Budanur NB. Inferring symbolic dynamics of chaotic flows from persistence. Chaos. 2020;30(3). doi:10.1063/1.5122969 apa: Yalniz, G., & Budanur, N. B. (2020). Inferring symbolic dynamics of chaotic flows from persistence. Chaos. AIP Publishing. https://doi.org/10.1063/1.5122969 chicago: Yalniz, Gökhan, and Nazmi B Budanur. “Inferring Symbolic Dynamics of Chaotic Flows from Persistence.” Chaos. AIP Publishing, 2020. https://doi.org/10.1063/1.5122969. ieee: G. Yalniz and N. B. Budanur, “Inferring symbolic dynamics of chaotic flows from persistence,” Chaos, vol. 30, no. 3. AIP Publishing, 2020. ista: Yalniz G, Budanur NB. 2020. Inferring symbolic dynamics of chaotic flows from persistence. Chaos. 30(3), 033109. mla: Yalniz, Gökhan, and Nazmi B. Budanur. “Inferring Symbolic Dynamics of Chaotic Flows from Persistence.” Chaos, vol. 30, no. 3, 033109, AIP Publishing, 2020, doi:10.1063/1.5122969. short: G. Yalniz, N.B. Budanur, Chaos 30 (2020). corr_author: '1' date_created: 2020-03-04T08:06:25Z date_published: 2020-03-03T00:00:00Z date_updated: 2026-04-07T11:47:05Z day: '03' department: - _id: BjHo doi: 10.1063/1.5122969 external_id: arxiv: - '1910.04584' isi: - '000519254800002' intvolume: ' 30' isi: 1 issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1063/1.5122969 month: '03' oa: 1 oa_version: Published Version publication: Chaos publication_identifier: eissn: - 1089-7682 issn: - 1054-1500 publication_status: published publisher: AIP Publishing quality_controlled: '1' related_material: record: - id: '19684' relation: dissertation_contains status: public scopus_import: '1' status: public title: Inferring symbolic dynamics of chaotic flows from persistence type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 30 year: '2020' ... --- _id: '8135' abstract: - lang: eng text: Discrete Morse theory has recently lead to new developments in the theory of random geometric complexes. This article surveys the methods and results obtained with this new approach, and discusses some of its shortcomings. It uses simulations to illustrate the results and to form conjectures, getting numerical estimates for combinatorial, topological, and geometric properties of weighted and unweighted Delaunay mosaics, their dual Voronoi tessellations, and the Alpha and Wrap complexes contained in the mosaics. acknowledgement: This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreements No 78818 Alpha and No 638176). 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). alternative_title: - Abel Symposia article_processing_charge: No author: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Anton full_name: Nikitenko, Anton id: 3E4FF1BA-F248-11E8-B48F-1D18A9856A87 last_name: Nikitenko orcid: 0000-0002-0659-3201 - first_name: Katharina full_name: Ölsböck, Katharina id: 4D4AA390-F248-11E8-B48F-1D18A9856A87 last_name: Ölsböck orcid: 0000-0002-4672-8297 - first_name: Peter full_name: Synak, Peter id: 331776E2-F248-11E8-B48F-1D18A9856A87 last_name: Synak citation: ama: 'Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. In: Topological Data Analysis. Vol 15. Springer Nature; 2020:181-218. doi:10.1007/978-3-030-43408-3_8' apa: Edelsbrunner, H., Nikitenko, A., Ölsböck, K., & Synak, P. (2020). Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. In Topological Data Analysis (Vol. 15, pp. 181–218). Springer Nature. https://doi.org/10.1007/978-3-030-43408-3_8 chicago: Edelsbrunner, Herbert, Anton Nikitenko, Katharina Ölsböck, and Peter Synak. “Radius Functions on Poisson–Delaunay Mosaics and Related Complexes Experimentally.” In Topological Data Analysis, 15:181–218. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-43408-3_8. ieee: H. Edelsbrunner, A. Nikitenko, K. Ölsböck, and P. Synak, “Radius functions on Poisson–Delaunay mosaics and related complexes experimentally,” in Topological Data Analysis, 2020, vol. 15, pp. 181–218. ista: Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. 2020. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. Topological Data Analysis. , Abel Symposia, vol. 15, 181–218. mla: Edelsbrunner, Herbert, et al. “Radius Functions on Poisson–Delaunay Mosaics and Related Complexes Experimentally.” Topological Data Analysis, vol. 15, Springer Nature, 2020, pp. 181–218, doi:10.1007/978-3-030-43408-3_8. short: H. Edelsbrunner, A. Nikitenko, K. Ölsböck, P. Synak, in:, Topological Data Analysis, Springer Nature, 2020, pp. 181–218. date_created: 2020-07-19T22:00:59Z date_published: 2020-06-22T00:00:00Z date_updated: 2026-04-07T12:35:47Z day: '22' ddc: - '510' department: - _id: HeEd doi: 10.1007/978-3-030-43408-3_8 ec_funded: 1 external_id: isi: - '001321861000008' file: - access_level: open_access checksum: 7b5e0de10675d787a2ddb2091370b8d8 content_type: application/pdf creator: dernst date_created: 2020-10-08T08:56:14Z date_updated: 2020-10-08T08:56:14Z file_id: '8628' file_name: 2020-B-01-PoissonExperimentalSurvey.pdf file_size: 2207071 relation: main_file success: 1 file_date_updated: 2020-10-08T08:56:14Z has_accepted_license: '1' intvolume: ' 15' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Submitted Version page: 181-218 project: - _id: 266A2E9E-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '788183' name: Alpha Shape Theory Extended - _id: 2533E772-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '638176' name: 'Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales' - _id: 2561EBF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I02979-N35 name: Persistence and stability of geometric complexes publication: Topological Data Analysis publication_identifier: eissn: - 2197-8549 isbn: - '9783030434076' issn: - 2193-2808 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '19630' relation: dissertation_contains status: public scopus_import: '1' status: public title: Radius functions on Poisson–Delaunay mosaics and related complexes experimentally type: conference user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 15 year: '2020' ... --- _id: '8705' abstract: - lang: eng text: We consider the quantum mechanical many-body problem of a single impurity particle immersed in a weakly interacting Bose gas. The impurity interacts with the bosons via a two-body potential. We study the Hamiltonian of this system in the mean-field limit and rigorously show that, at low energies, the problem is well described by the Fröhlich polaron model. acknowledgement: Financial support through the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme Grant agreement No. 694227 (R.S.) and the Maria Skłodowska-Curie Grant agreement No. 665386 (K.M.) is gratefully acknowledged. Funding Open access funding provided by Institute of Science and Technology (IST Austria) article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Krzysztof full_name: Mysliwy, Krzysztof id: 316457FC-F248-11E8-B48F-1D18A9856A87 last_name: Mysliwy - first_name: Robert full_name: Seiringer, Robert id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 citation: ama: Mysliwy K, Seiringer R. Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. 2020;21(12):4003-4025. doi:10.1007/s00023-020-00969-3 apa: Mysliwy, K., & Seiringer, R. (2020). Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-020-00969-3 chicago: Mysliwy, Krzysztof, and Robert Seiringer. “Microscopic Derivation of the Fröhlich Hamiltonian for the Bose Polaron in the Mean-Field Limit.” Annales Henri Poincare. Springer Nature, 2020. https://doi.org/10.1007/s00023-020-00969-3. ieee: K. Mysliwy and R. Seiringer, “Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit,” Annales Henri Poincare, vol. 21, no. 12. Springer Nature, pp. 4003–4025, 2020. ista: Mysliwy K, Seiringer R. 2020. Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. 21(12), 4003–4025. mla: Mysliwy, Krzysztof, and Robert Seiringer. “Microscopic Derivation of the Fröhlich Hamiltonian for the Bose Polaron in the Mean-Field Limit.” Annales Henri Poincare, vol. 21, no. 12, Springer Nature, 2020, pp. 4003–25, doi:10.1007/s00023-020-00969-3. short: K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025. corr_author: '1' date_created: 2020-10-25T23:01:19Z date_published: 2020-12-01T00:00:00Z date_updated: 2026-04-07T14:14:51Z day: '01' ddc: - '530' department: - _id: RoSe doi: 10.1007/s00023-020-00969-3 ec_funded: 1 external_id: arxiv: - '2003.12371' isi: - '000578111800002' file: - access_level: open_access checksum: c12c9c1e6f08def245e42f3cb1d83827 content_type: application/pdf creator: cziletti date_created: 2020-10-27T12:49:04Z date_updated: 2020-10-27T12:49:04Z file_id: '8711' file_name: 2020_Annales_Mysliwy.pdf file_size: 469831 relation: main_file success: 1 file_date_updated: 2020-10-27T12:49:04Z has_accepted_license: '1' intvolume: ' 21' isi: 1 issue: '12' language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: 4003-4025 project: - _id: 25C6DC12-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '694227' name: Analysis of quantum many-body systems - _id: B67AFEDC-15C9-11EA-A837-991A96BB2854 name: IST Austria Open Access Fund - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication: Annales Henri Poincare publication_identifier: issn: - 1424-0637 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '11473' relation: dissertation_contains status: public scopus_import: '1' status: public title: Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit 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: 21 year: '2020' ... --- OA_place: publisher _id: '7944' abstract: - lang: eng text: "This thesis considers two examples of reconfiguration problems: flipping edges in edge-labelled triangulations of planar point sets and swapping labelled tokens placed on vertices of a graph. In both cases the studied structures – all the triangulations of a given point set or all token placements on a given graph – can be thought of as vertices of the so-called reconfiguration graph, in which two vertices are adjacent if the corresponding structures differ by a single elementary operation – by a flip of a diagonal in a triangulation or by a swap of tokens on adjacent vertices, respectively. We study the reconfiguration of one instance of a structure into another via (shortest) paths in the reconfiguration graph.\r\n\r\nFor triangulations of point sets in which each edge has a unique label and a flip transfers the label from the removed edge to the new edge, we prove a polynomial-time testable condition, called the Orbit Theorem, that characterizes when two triangulations of the same point set lie in the same connected component of the reconfiguration graph. The condition was first conjectured by Bose, Lubiw, Pathak and Verdonschot. We additionally provide a polynomial time algorithm that computes a reconfiguring flip sequence, if it exists. Our proof of the Orbit Theorem uses topological properties of a certain high-dimensional cell complex that has the usual reconfiguration graph as its 1-skeleton.\r\n\r\nIn the context of token swapping on a tree graph, we make partial progress on the problem of finding shortest reconfiguration sequences. We disprove the so-called Happy Leaf Conjecture and demonstrate the importance of swapping tokens that are already placed at the correct vertices. We also prove that a generalization of the problem to weighted coloured token swapping is NP-hard on trees but solvable in polynomial time on paths and stars." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Zuzana full_name: Masárová, Zuzana id: 45CFE238-F248-11E8-B48F-1D18A9856A87 last_name: Masárová orcid: 0000-0002-6660-1322 citation: ama: Masárová Z. Reconfiguration problems. 2020. doi:10.15479/AT:ISTA:7944 apa: Masárová, Z. (2020). Reconfiguration problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7944 chicago: Masárová, Zuzana. “Reconfiguration Problems.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7944. ieee: Z. Masárová, “Reconfiguration problems,” Institute of Science and Technology Austria, 2020. ista: Masárová Z. 2020. Reconfiguration problems. Institute of Science and Technology Austria. mla: Masárová, Zuzana. Reconfiguration Problems. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7944. short: Z. Masárová, Reconfiguration Problems, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-06-08T00:49:46Z date_published: 2020-06-09T00:00:00Z date_updated: 2026-04-08T07:23:01Z day: '09' ddc: - '516' - '514' degree_awarded: PhD department: - _id: HeEd - _id: UlWa doi: 10.15479/AT:ISTA:7944 file: - access_level: open_access checksum: df688bc5a82b50baee0b99d25fc7b7f0 content_type: application/pdf creator: zmasarov date_created: 2020-06-08T00:34:00Z date_updated: 2020-07-14T12:48:05Z file_id: '7945' file_name: THESIS_Zuzka_Masarova.pdf file_size: 13661779 relation: main_file - access_level: closed checksum: 45341a35b8f5529c74010b7af43ac188 content_type: application/zip creator: zmasarov date_created: 2020-06-08T00:35:30Z date_updated: 2020-07-14T12:48:05Z file_id: '7946' file_name: THESIS_Zuzka_Masarova_SOURCE_FILES.zip file_size: 32184006 relation: source_file file_date_updated: 2020-07-14T12:48:05Z has_accepted_license: '1' keyword: - reconfiguration - reconfiguration graph - triangulations - flip - constrained triangulations - shellability - piecewise-linear balls - token swapping - trees - coloured weighted token swapping language: - iso: eng license: https://creativecommons.org/licenses/by-sa/4.0/ month: '06' oa: 1 oa_version: Published Version page: '160' publication_identifier: isbn: - 978-3-99078-005-3 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '7950' relation: part_of_dissertation status: public - id: '5986' relation: part_of_dissertation status: public status: public supervisor: - first_name: Uli full_name: Wagner, Uli id: 36690CA2-F248-11E8-B48F-1D18A9856A87 last_name: Wagner orcid: 0000-0002-1494-0568 - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 title: Reconfiguration problems tmp: image: /images/cc_by_sa.png legal_code_url: https://creativecommons.org/licenses/by-sa/4.0/legalcode name: Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0) short: CC BY-SA (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- OA_place: publisher _id: '8574' abstract: - lang: eng text: "This thesis concerns itself with the interactions of evolutionary and ecological forces and the consequences on genetic diversity and the ultimate survival of populations. It is important to understand what signals processes \r\nleave on the genome and what we can infer from such data, which is usually abundant but noisy. Furthermore, understanding how and when populations adapt or go extinct is important for practical purposes, such as the genetic management of populations, as well as for theoretical questions, since local adaptation can be the first step toward speciation. \r\nIn Chapter 2, we introduce the method of maximum entropy to approximate the demographic changes of a population in a simple setting, namely the logistic growth model with immigration. We show that this method is not only a powerful \r\ntool in physics but can be gainfully applied in an ecological framework. We investigate how well it approximates the real \r\nbehavior of the system, and find that is does so, even in unexpected situations. Finally, we illustrate how it can model changing environments.\r\nIn Chapter 3, we analyze the co-evolution of allele frequencies and population sizes in an infinite island model.\r\nWe give conditions under which polygenic adaptation to a rare habitat is possible. The model we use is based on the diffusion approximation, considers eco-evolutionary feedback mechanisms (hard selection), and treats both \r\ndrift and environmental fluctuations explicitly. We also look at limiting scenarios, for which we derive analytical expressions. \r\nIn Chapter 4, we present a coalescent based simulation tool to obtain patterns of diversity in a spatially explicit subdivided population, in which the demographic history of each subpopulation can be specified. We compare \r\nthe results to existing predictions, and explore the relative importance of time and space under a variety of spatial arrangements and demographic histories, such as expansion and extinction. \r\nIn the last chapter, we give a brief outlook to further research. " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Eniko full_name: Szep, Eniko id: 485BB5A4-F248-11E8-B48F-1D18A9856A87 last_name: Szep citation: ama: Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574 apa: Szep, E. (2020). Local adaptation in metapopulations. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8574 chicago: Szep, Eniko. “Local Adaptation in Metapopulations.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8574. ieee: E. Szep, “Local adaptation in metapopulations,” Institute of Science and Technology Austria, 2020. ista: Szep E. 2020. Local adaptation in metapopulations. Institute of Science and Technology Austria. mla: Szep, Eniko. Local Adaptation in Metapopulations. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8574. short: E. Szep, Local Adaptation in Metapopulations, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-09-28T07:33:38Z date_published: 2020-09-20T00:00:00Z date_updated: 2026-04-08T07:21:44Z day: '20' ddc: - '570' degree_awarded: PhD department: - _id: NiBa doi: 10.15479/AT:ISTA:8574 file: - access_level: open_access checksum: 20e71f015fbbd78fea708893ad634ed0 content_type: application/pdf creator: dernst date_created: 2020-09-28T07:25:35Z date_updated: 2020-09-28T07:25:35Z file_id: '8575' file_name: thesis_EnikoSzep_final.pdf file_size: 6354833 relation: main_file success: 1 - access_level: closed checksum: a8de2c14a1bb4e53c857787efbb289e1 content_type: application/x-zip-compressed creator: dernst date_created: 2020-09-28T07:25:37Z date_updated: 2020-09-28T07:25:37Z file_id: '8576' file_name: thesisFiles_EnikoSzep.zip file_size: 23020401 relation: source_file file_date_updated: 2020-09-28T07:25:37Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '158' publication_identifier: eissn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria status: public supervisor: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 title: Local adaptation in metapopulations type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- OA_place: publisher _id: '8032' abstract: - lang: eng text: "Algorithms in computational 3-manifold topology typically take a triangulation as an input and return topological information about the underlying 3-manifold. However, extracting the desired information from a triangulation (e.g., evaluating an invariant) is often computationally very expensive. In recent years this complexity barrier has been successfully tackled in some cases by importing ideas from the theory of parameterized algorithms into the realm of 3-manifolds. Various computationally hard problems were shown to be efficiently solvable for input triangulations that are sufficiently “tree-like.”\r\nIn this thesis we focus on the key combinatorial parameter in the above context: we consider the treewidth of a compact, orientable 3-manifold, i.e., the smallest treewidth of the dual graph of any triangulation thereof. By building on the work of Scharlemann–Thompson and Scharlemann–Schultens–Saito on generalized Heegaard splittings, and on the work of Jaco–Rubinstein on layered triangulations, we establish quantitative relations between the treewidth and classical topological invariants of a 3-manifold. In particular, among other results, we show that the treewidth of a closed, orientable, irreducible, non-Haken 3-manifold is always within a constant factor of its Heegaard genus." acknowledged_ssus: - _id: E-Lib - _id: CampIT alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Kristóf full_name: Huszár, Kristóf id: 33C26278-F248-11E8-B48F-1D18A9856A87 last_name: Huszár orcid: 0000-0002-5445-5057 citation: ama: Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:10.15479/AT:ISTA:8032 apa: Huszár, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8032 chicago: Huszár, Kristóf. “Combinatorial Width Parameters for 3-Dimensional Manifolds.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8032. ieee: K. Huszár, “Combinatorial width parameters for 3-dimensional manifolds,” Institute of Science and Technology Austria, 2020. ista: Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria. mla: Huszár, Kristóf. Combinatorial Width Parameters for 3-Dimensional Manifolds. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8032. short: K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-06-26T10:00:36Z date_published: 2020-06-26T00:00:00Z date_updated: 2026-04-08T07:21:28Z day: '26' ddc: - '514' degree_awarded: PhD department: - _id: UlWa doi: 10.15479/AT:ISTA:8032 file: - access_level: open_access checksum: bd8be6e4f1addc863dfcc0fad29ee9c3 content_type: application/pdf creator: khuszar date_created: 2020-06-26T10:03:58Z date_updated: 2020-07-14T12:48:08Z file_id: '8034' file_name: Kristof_Huszar-Thesis.pdf file_size: 2637562 relation: main_file - access_level: closed checksum: d5f8456202b32f4a77552ef47a2837d1 content_type: application/x-zip-compressed creator: khuszar date_created: 2020-06-26T10:10:06Z date_updated: 2020-07-14T12:48:08Z file_id: '8035' file_name: Kristof_Huszar-Thesis-source.zip file_size: 7163491 relation: source_file file_date_updated: 2020-07-14T12:48:08Z has_accepted_license: '1' language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: xviii+120 publication_identifier: isbn: - 978-3-99078-006-0 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '6556' relation: dissertation_contains status: public - id: '7093' relation: dissertation_contains status: public status: public supervisor: - first_name: Uli full_name: Wagner, Uli id: 36690CA2-F248-11E8-B48F-1D18A9856A87 last_name: Wagner orcid: 0000-0002-1494-0568 - first_name: Jonathan full_name: Spreer, Jonathan last_name: Spreer title: Combinatorial width parameters for 3-dimensional manifolds 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: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- _id: '8195' abstract: - lang: eng text: This paper presents a foundation for refining concurrent programs with structured control flow. The verification problem is decomposed into subproblems that aid interactive program development, proof reuse, and automation. The formalization in this paper is the basis of a new design and implementation of the Civl verifier. acknowledgement: "Bernhard Kragl and Thomas A. Henzinger were supported by\r\nthe Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award)." alternative_title: - LNCS article_processing_charge: No author: - first_name: Bernhard full_name: Kragl, Bernhard id: 320FC952-F248-11E8-B48F-1D18A9856A87 last_name: Kragl orcid: 0000-0001-7745-9117 - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 citation: ama: 'Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14' apa: Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14 chicago: Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In Computer Aided Verification, 12224:275–98. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53288-8_14. ieee: B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298. ista: Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298. mla: Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14. short: B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298. corr_author: '1' date_created: 2020-08-03T11:45:35Z date_published: 2020-07-14T00:00:00Z date_updated: 2026-04-08T07:23:52Z day: '14' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-030-53288-8_14 external_id: isi: - '000695276000014' file: - access_level: open_access content_type: application/pdf creator: dernst date_created: 2020-08-06T08:14:54Z date_updated: 2020-08-06T08:14:54Z file_id: '8201' file_name: 2020_LNCS_Kragl.pdf file_size: 804237 relation: main_file success: 1 file_date_updated: 2020-08-06T08:14:54Z has_accepted_license: '1' intvolume: ' 12224' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 275-298 project: - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: Formal methods for the design and analysis of complex systems publication: Computer Aided Verification publication_identifier: eisbn: - '9783030532888' eissn: - 1611-3349 isbn: - '9783030532871' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '8332' relation: dissertation_contains status: public scopus_import: '1' status: public title: Refinement for structured concurrent programs 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: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 12224 year: '2020' ... --- OA_place: publisher _id: '8589' abstract: - lang: eng text: The plant hormone auxin plays indispensable roles in plant growth and development. An essential level of regulation in auxin action is the directional auxin transport within cells. The establishment of auxin gradient in plant tissue has been attributed to local auxin biosynthesis and directional intercellular auxin transport, which both are controlled by various environmental and developmental signals. It is well established that asymmetric auxin distribution in cells is achieved by polarly localized PIN-FORMED (PIN) auxin efflux transporters. Despite the initial insights into cellular mechanisms of PIN polarization obtained from the last decades, the molecular mechanism and specific regulators mediating PIN polarization remains elusive. In this thesis, we aim to find novel players in PIN subcellular polarity regulation during Arabidopsis development. We first characterize the physiological effect of piperonylic acid (PA) on Arabidopsis hypocotyl gravitropic bending and PIN polarization. Secondly, we reveal the importance of SCFTIR1/AFB auxin signaling pathway in shoot gravitropism bending termination. In addition, we also explore the role of myosin XI complex, and actin cytoskeleton in auxin feedback regulation on PIN polarity. In Chapter 1, we give an overview of the current knowledge about PIN-mediated auxin fluxes in various plant tropic responses. In Chapter 2, we study the physiological effect of PA on shoot gravitropic bending. Our results show that PA treatment inhibits auxin-mediated PIN3 repolarization by interfering with PINOID and PIN3 phosphorylation status, ultimately leading to hyperbending hypocotyls. In Chapter 3, we provide evidence to show that the SCFTIR1/AFB nuclear auxin signaling pathway is crucial and required for auxin-mediated PIN3 repolarization and shoot gravitropic bending termination. In Chapter 4, we perform a phosphoproteomics approach and identify the motor protein Myosin XI and its binding protein, the MadB2 family, as an essential regulator of PIN polarity for auxin-canalization related developmental processes. In Chapter 5, we demonstrate the vital role of actin cytoskeleton in auxin feedback on PIN polarity by regulating PIN subcellular trafficking. Overall, the data presented in this PhD thesis brings novel insights into the PIN polar localization regulation that resulted in the (re)establishment of the polar auxin flow and gradient in response to environmental stimuli during plant development. acknowledged_ssus: - _id: Bio - _id: LifeSc acknowledgement: I also want to thank the China Scholarship Council for supporting my study during the year from 2015 to 2019. I also want to thank IST facilities – the Bioimaging facility, the media kitchen, the plant facility and all of the campus services, for their support. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Huibin full_name: Han, Huibin id: 31435098-F248-11E8-B48F-1D18A9856A87 last_name: Han citation: ama: Han H. Novel insights into PIN polarity regulation during Arabidopsis development. 2020. doi:10.15479/AT:ISTA:8589 apa: Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8589 chicago: Han, Huibin. “Novel Insights into PIN Polarity Regulation during Arabidopsis Development.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8589. ieee: H. Han, “Novel insights into PIN polarity regulation during Arabidopsis development,” Institute of Science and Technology Austria, 2020. ista: Han H. 2020. Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria. mla: Han, Huibin. Novel Insights into PIN Polarity Regulation during Arabidopsis Development. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8589. short: H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-09-30T14:50:51Z date_published: 2020-09-30T00:00:00Z date_updated: 2026-04-08T07:24:28Z day: '30' ddc: - '580' degree_awarded: PhD department: - _id: JiFr doi: 10.15479/AT:ISTA:8589 file: - access_level: closed checksum: c4bda1947d4c09c428ac9ce667b02327 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: dernst date_created: 2020-09-30T14:50:20Z date_updated: 2020-09-30T14:50:20Z file_id: '8590' file_name: 2020_Han_Thesis.docx file_size: 49198118 relation: source_file - access_level: open_access checksum: 3f4f5d1718c2230adf30639ecaf8a00b content_type: application/pdf creator: dernst date_created: 2020-09-30T14:49:59Z date_updated: 2021-10-01T13:33:02Z file_id: '8591' file_name: 2020_Han_Thesis.pdf file_size: 15513963 relation: main_file file_date_updated: 2021-10-01T13:33:02Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '164' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '7643' relation: part_of_dissertation status: public status: public supervisor: - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 title: Novel insights into PIN polarity regulation during Arabidopsis development type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- OA_place: publisher _id: '8366' abstract: - lang: eng text: "Fabrication of curved shells plays an important role in modern design, industry, and science. Among their remarkable properties are, for example, aesthetics of organic shapes, ability to evenly distribute loads, or efficient flow separation. They find applications across vast length scales ranging from sky-scraper architecture to microscopic devices. But, at\r\nthe same time, the design of curved shells and their manufacturing process pose a variety of challenges. In this thesis, they are addressed from several perspectives. In particular, this thesis presents approaches based on the transformation of initially flat sheets into the target curved surfaces. This involves problems of interactive design of shells with nontrivial mechanical constraints, inverse design of complex structural materials, and data-driven modeling of delicate and time-dependent physical properties. At the same time, two newly-developed self-morphing mechanisms targeting flat-to-curved transformation are presented.\r\nIn architecture, doubly curved surfaces can be realized as cold bent glass panelizations. Originally flat glass panels are bent into frames and remain stressed. This is a cost-efficient fabrication approach compared to hot bending, when glass panels are shaped plastically. However such constructions are prone to breaking during bending, and it is highly\r\nnontrivial to navigate the design space, keeping the panels fabricable and aesthetically pleasing at the same time. We introduce an interactive design system for cold bent glass façades, while previously even offline optimization for such scenarios has not been sufficiently developed. Our method is based on a deep learning approach providing quick\r\nand high precision estimation of glass panel shape and stress while handling the shape\r\nmultimodality.\r\nFabrication of smaller objects of scales below 1 m, can also greatly benefit from shaping originally flat sheets. In this respect, we designed new self-morphing shell mechanisms transforming from an initial flat state to a doubly curved state with high precision and detail. Our so-called CurveUps demonstrate the encodement of the geometric information\r\ninto the shell. Furthermore, we explored the frontiers of programmable materials and showed how temporal information can additionally be encoded into a flat shell. This allows prescribing deformation sequences for doubly curved surfaces and, thus, facilitates self-collision avoidance enabling complex shapes and functionalities otherwise impossible.\r\nBoth of these methods include inverse design tools keeping the user in the design loop." acknowledged_ssus: - _id: M-Shop - _id: ScienComp acknowledgement: "During the work on this thesis, I received substantial support from IST Austria’s scientific service units. A big thank you to Todor Asenov and other Miba Machine Shop team members for their help with fabrication of experimental prototypes. In addition, I would like to thank Scientific Computing team for the support with high performance computing.\r\nFinancial support was provided by the European Research Council (ERC) under grant agreement No 715767 - MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling, which I gratefully acknowledge." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Ruslan full_name: Guseinov, Ruslan id: 3AB45EE2-F248-11E8-B48F-1D18A9856A87 last_name: Guseinov orcid: 0000-0001-9819-5077 citation: ama: 'Guseinov R. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi:10.15479/AT:ISTA:8366' apa: 'Guseinov, R. (2020). Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8366' chicago: 'Guseinov, Ruslan. “Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8366.' ieee: 'R. Guseinov, “Computational design of curved thin shells: From glass façades to programmable matter,” Institute of Science and Technology Austria, 2020.' ista: 'Guseinov R. 2020. Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria.' mla: 'Guseinov, Ruslan. Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8366.' short: 'R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, Institute of Science and Technology Austria, 2020.' corr_author: '1' date_created: 2020-09-10T16:19:55Z date_published: 2020-09-21T00:00:00Z date_updated: 2026-04-08T07:25:22Z day: '21' ddc: - '000' degree_awarded: PhD department: - _id: BeBi doi: 10.15479/AT:ISTA:8366 ec_funded: 1 file: - access_level: open_access checksum: f8da89553da36037296b0a80f14ebf50 content_type: application/pdf creator: rguseino date_created: 2020-09-10T16:11:49Z date_updated: 2020-09-10T16:11:49Z file_id: '8367' file_name: thesis_rguseinov.pdf file_size: 70950442 relation: main_file success: 1 - access_level: closed checksum: e8fd944c960c20e0e27e6548af69121d content_type: application/x-zip-compressed creator: rguseino date_created: 2020-09-11T09:39:48Z date_updated: 2020-09-16T15:11:01Z file_id: '8374' file_name: thesis_source.zip file_size: 76207597 relation: source_file file_date_updated: 2020-09-16T15:11:01Z has_accepted_license: '1' keyword: - computer-aided design - shape modeling - self-morphing - mechanical engineering language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '118' project: - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication_identifier: isbn: - 978-3-99078-010-7 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '8562' relation: part_of_dissertation status: public - id: '8375' relation: research_data status: public - id: '7151' relation: research_data status: deleted - id: '1001' relation: part_of_dissertation status: public - id: '7262' relation: part_of_dissertation status: public status: public supervisor: - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 title: 'Computational design of curved thin shells: From glass façades to programmable matter' type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- OA_place: publisher _id: '8358' abstract: - lang: eng text: "During bacterial cell division, the tubulin-homolog FtsZ forms a ring-like structure at the center of the cell. This so-called Z-ring acts as a scaffold recruiting several division-related proteins to mid-cell and plays a key role in distributing proteins at the division site, a feature driven by the treadmilling motion of FtsZ filaments around the septum. What regulates the architecture, dynamics and stability of the Z-ring is still poorly understood, but FtsZ-associated proteins (Zaps) are known to play an important role. \r\nAdvances in fluorescence microscopy and in vitro reconstitution experiments have helped to shed light into some of the dynamic properties of these complex systems, but methods that allow to collect and analyze large quantitative data sets of the underlying polymer dynamics are still missing.\r\nHere, using an in vitro reconstitution approach, we studied how different Zaps affect FtsZ filament dynamics and organization into large-scale patterns, giving special emphasis to the role of the well-conserved protein ZapA. For this purpose, we use high-resolution fluorescence microscopy combined with novel image analysis workfows to study pattern organization and polymerization dynamics of active filaments. We quantified the influence of Zaps on FtsZ on three diferent spatial scales: the large-scale organization of the membrane-bound filament network, the underlying\r\npolymerization dynamics and the behavior of single molecules.\r\nWe found that ZapA cooperatively increases the spatial order of the filament network, binds only transiently to FtsZ filaments and has no effect on filament length and treadmilling velocity. Our data provides a model for how FtsZ-associated proteins can increase the precision and stability of the bacterial cell division machinery in a\r\nswitch-like manner, without compromising filament dynamics. Furthermore, we believe that our automated quantitative methods can be used to analyze a large variety of dynamic cytoskeletal systems, using standard time-lapse\r\nmovies of homogeneously labeled proteins obtained from experiments in vitro or even inside the living cell.\r\n" acknowledged_ssus: - _id: Bio acknowledgement: I should also express my gratitude to the bioimaging facility at IST Austria, for their assistance with the TIRF setup over the years, and especially to Christoph Sommer, who gave me a lot of input when I was starting to dive into programming. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Paulo R full_name: Dos Santos Caldas, Paulo R id: 38FCDB4C-F248-11E8-B48F-1D18A9856A87 last_name: Dos Santos Caldas orcid: 0000-0001-6730-4461 citation: ama: Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:10.15479/AT:ISTA:8358 apa: Dos Santos Caldas, P. R. (2020). Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8358 chicago: Dos Santos Caldas, Paulo R. “Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8358. ieee: P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers,” Institute of Science and Technology Austria, 2020. ista: Dos Santos Caldas PR. 2020. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria. mla: Dos Santos Caldas, Paulo R. Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8358. short: P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-09-10T09:26:49Z date_published: 2020-09-10T00:00:00Z date_updated: 2026-04-08T07:26:30Z day: '10' ddc: - '572' degree_awarded: PhD department: - _id: MaLo doi: 10.15479/AT:ISTA:8358 file: - access_level: open_access checksum: 882f93fe9c351962120e2669b84bf088 content_type: application/pdf creator: pcaldas date_created: 2020-09-10T12:11:29Z date_updated: 2020-09-10T12:11:29Z file_id: '8364' file_name: phd_thesis_pcaldas.pdf file_size: 141602462 relation: main_file success: 1 - access_level: closed checksum: 70cc9e399c4e41e6e6ac445ae55e8558 content_type: application/x-zip-compressed creator: pcaldas date_created: 2020-09-10T12:18:17Z date_updated: 2020-09-11T07:48:10Z file_id: '8365' file_name: phd_thesis_latex_pcaldas.zip file_size: 450437458 relation: source_file file_date_updated: 2020-09-11T07:48:10Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '135' publication_identifier: isbn: - 978-3-99078-009-1 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '7197' relation: part_of_dissertation status: public - id: '7572' relation: dissertation_contains status: public status: public supervisor: - first_name: Martin full_name: Loose, Martin id: 462D4284-F248-11E8-B48F-1D18A9856A87 last_name: Loose orcid: 0000-0001-7309-9724 title: Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers 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: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- OA_place: publisher _id: '8390' abstract: - lang: eng text: "Deep neural networks have established a new standard for data-dependent feature extraction pipelines in the Computer Vision literature. Despite their remarkable performance in the standard supervised learning scenario, i.e. when models are trained with labeled data and tested on samples that follow a similar distribution, neural networks have been shown to struggle with more advanced generalization abilities, such as transferring knowledge across visually different domains, or generalizing to new unseen combinations of known concepts. In this thesis we argue that, in contrast to the usual black-box behavior of neural networks, leveraging more structured internal representations is a promising direction\r\nfor tackling such problems. In particular, we focus on two forms of structure. First, we tackle modularity: We show that (i) compositional architectures are a natural tool for modeling reasoning tasks, in that they efficiently capture their combinatorial nature, which is key for generalizing beyond the compositions seen during training. We investigate how to to learn such models, both formally and experimentally, for the task of abstract visual reasoning. Then, we show that (ii) in some settings, modularity allows us to efficiently break down complex tasks into smaller, easier, modules, thereby improving computational efficiency; We study this behavior in the context of generative models for colorization, as well as for small objects detection. Secondly, we investigate the inherently layered structure of representations learned by neural networks, and analyze its role in the context of transfer learning and domain adaptation across visually\r\ndissimilar domains. " acknowledged_ssus: - _id: CampIT - _id: ScienComp acknowledgement: Last but not least, I would like to acknowledge the support of the IST IT and scientific computing team for helping provide a great work environment. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Amélie full_name: Royer, Amélie id: 3811D890-F248-11E8-B48F-1D18A9856A87 last_name: Royer orcid: 0000-0002-8407-0705 citation: ama: Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:10.15479/AT:ISTA:8390 apa: Royer, A. (2020). Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8390 chicago: Royer, Amélie. “Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8390. ieee: A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep Learning models,” Institute of Science and Technology Austria, 2020. ista: Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria. mla: Royer, Amélie. Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8390. short: A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, Institute of Science and Technology Austria, 2020. corr_author: '1' date_created: 2020-09-14T13:42:09Z date_published: 2020-09-14T00:00:00Z date_updated: 2026-04-08T07:26:44Z day: '14' ddc: - '000' degree_awarded: PhD department: - _id: ChLa doi: 10.15479/AT:ISTA:8390 file: - access_level: open_access checksum: c914d2f88846032f3d8507734861b6ee content_type: application/pdf creator: dernst date_created: 2020-09-14T13:39:14Z date_updated: 2020-09-14T13:39:14Z file_id: '8391' file_name: 2020_Thesis_Royer.pdf file_size: 30224591 relation: main_file success: 1 - access_level: closed checksum: ae98fb35d912cff84a89035ae5794d3c content_type: application/x-zip-compressed creator: dernst date_created: 2020-09-14T13:39:17Z date_updated: 2020-09-14T13:39:17Z file_id: '8392' file_name: thesis_sources.zip file_size: 74227627 relation: main_file file_date_updated: 2020-09-14T13:39:17Z has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-sa/4.0/ month: '09' oa: 1 oa_version: Published Version page: '197' publication_identifier: isbn: - 978-3-99078-007-7 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '7936' relation: part_of_dissertation status: public - id: '8092' relation: part_of_dissertation status: public - id: '911' relation: part_of_dissertation status: public - id: '8193' relation: part_of_dissertation status: public - id: '7937' relation: part_of_dissertation status: public status: public supervisor: - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 title: Leveraging structure in Computer Vision tasks for flexible Deep Learning models tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2020' ... --- _id: '8092' abstract: - lang: eng text: Image translation refers to the task of mapping images from a visual domain to another. Given two unpaired collections of images, we aim to learn a mapping between the corpus-level style of each collection, while preserving semantic content shared across the two domains. We introduce xgan, a dual adversarial auto-encoder, which captures a shared representation of the common domain semantic content in an unsupervised way, while jointly learning the domain-to-domain image translations in both directions. We exploit ideas from the domain adaptation literature and define a semantic consistency loss which encourages the learned embedding to preserve semantics shared across domains. We report promising qualitative results for the task of face-to-cartoon translation. The cartoon dataset we collected for this purpose, “CartoonSet”, is also publicly available as a new benchmark for semantic style transfer at https://google.github.io/cartoonset/index.html. article_processing_charge: No arxiv: 1 author: - first_name: Amélie full_name: Royer, Amélie id: 3811D890-F248-11E8-B48F-1D18A9856A87 last_name: Royer orcid: 0000-0002-8407-0705 - first_name: Konstantinos full_name: Bousmalis, Konstantinos last_name: Bousmalis - first_name: Stephan full_name: Gouws, Stephan last_name: Gouws - first_name: Fred full_name: Bertsch, Fred last_name: Bertsch - first_name: Inbar full_name: Mosseri, Inbar last_name: Mosseri - first_name: Forrester full_name: Cole, Forrester last_name: Cole - first_name: Kevin full_name: Murphy, Kevin last_name: Murphy citation: ama: 'Royer A, Bousmalis K, Gouws S, et al. XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Singh R, Vatsa M, Patel VM, Ratha N, eds. Domain Adaptation for Visual Understanding. Springer Nature; 2020:33-49. doi:10.1007/978-3-030-30671-7_3' apa: 'Royer, A., Bousmalis, K., Gouws, S., Bertsch, F., Mosseri, I., Cole, F., & Murphy, K. (2020). XGAN: Unsupervised image-to-image translation for many-to-many mappings. In R. Singh, M. Vatsa, V. M. Patel, & N. Ratha (Eds.), Domain Adaptation for Visual Understanding (pp. 33–49). Springer Nature. https://doi.org/10.1007/978-3-030-30671-7_3' chicago: 'Royer, Amélie, Konstantinos Bousmalis, Stephan Gouws, Fred Bertsch, Inbar Mosseri, Forrester Cole, and Kevin Murphy. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” In Domain Adaptation for Visual Understanding, edited by Richa Singh, Mayank Vatsa, Vishal M. Patel, and Nalini Ratha, 33–49. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-30671-7_3.' ieee: 'A. Royer et al., “XGAN: Unsupervised image-to-image translation for many-to-many mappings,” in Domain Adaptation for Visual Understanding, R. Singh, M. Vatsa, V. M. Patel, and N. Ratha, Eds. Springer Nature, 2020, pp. 33–49.' ista: 'Royer A, Bousmalis K, Gouws S, Bertsch F, Mosseri I, Cole F, Murphy K. 2020.XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Domain Adaptation for Visual Understanding. , 33–49.' mla: 'Royer, Amélie, et al. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” Domain Adaptation for Visual Understanding, edited by Richa Singh et al., Springer Nature, 2020, pp. 33–49, doi:10.1007/978-3-030-30671-7_3.' short: A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49. date_created: 2020-07-05T22:00:46Z date_published: 2020-01-08T00:00:00Z date_updated: 2026-04-08T07:26:44Z day: '08' department: - _id: ChLa doi: 10.1007/978-3-030-30671-7_3 editor: - first_name: Richa full_name: Singh, Richa last_name: Singh - first_name: Mayank full_name: Vatsa, Mayank last_name: Vatsa - first_name: Vishal M. full_name: Patel, Vishal M. last_name: Patel - first_name: Nalini full_name: Ratha, Nalini last_name: Ratha external_id: arxiv: - '1711.05139' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1711.05139 month: '01' oa: 1 oa_version: Preprint page: 33-49 publication: Domain Adaptation for Visual Understanding publication_identifier: isbn: - '9783030306717' publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '8331' relation: dissertation_contains status: deleted - id: '8390' relation: dissertation_contains status: public scopus_import: '1' status: public title: 'XGAN: Unsupervised image-to-image translation for many-to-many mappings' type: book_chapter user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2020' ... --- _id: '8272' abstract: - lang: eng text: We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinism. Lexicographic order allows to consider multiple objectives with a strict preference order over the satisfaction of the objectives. To the best of our knowledge, stochastic games with lexicographic objectives have not been studied before. We establish determinacy of such games and present strategy and computational complexity results. For strategy complexity, we show that lexicographically optimal strategies exist that are deterministic and memory is only required to remember the already satisfied and violated objectives. For a constant number of objectives, we show that the relevant decision problem is in NP∩coNP , matching the current known bound for single objectives; and in general the decision problem is PSPACE -hard and can be solved in NEXPTIME∩coNEXPTIME . We present an algorithm that computes the lexicographically optimal strategies via a reduction to computation of optimal strategies in a sequence of single-objectives games. We have implemented our algorithm and report experimental results on various case studies. alternative_title: - LNCS article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Joost P full_name: Katoen, Joost P id: 4524F760-F248-11E8-B48F-1D18A9856A87 last_name: Katoen orcid: 0000-0002-6143-1926 - first_name: Maximilian full_name: Weininger, Maximilian last_name: Weininger - first_name: Tobias full_name: Winkler, Tobias last_name: Winkler citation: ama: 'Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: International Conference on Computer Aided Verification. Vol 12225. Springer Nature; 2020:398-420. doi:10.1007/978-3-030-53291-8_21' apa: Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In International Conference on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature. https://doi.org/10.1007/978-3-030-53291-8_21 chicago: Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” In International Conference on Computer Aided Verification, 12225:398–420. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53291-8_21. ieee: K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games with lexicographic reachability-safety objectives,” in International Conference on Computer Aided Verification, 2020, vol. 12225, pp. 398–420. ista: 'Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.' mla: Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” International Conference on Computer Aided Verification, vol. 12225, Springer Nature, 2020, pp. 398–420, doi:10.1007/978-3-030-53291-8_21. short: K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420. conference: name: 'CAV: Computer Aided Verification' date_created: 2020-08-16T22:00:58Z date_published: 2020-07-14T00:00:00Z date_updated: 2026-04-16T09:31:14Z day: '14' ddc: - '000' department: - _id: KrCh doi: 10.1007/978-3-030-53291-8_21 ec_funded: 1 external_id: arxiv: - '2005.04018' isi: - '000695272500021' file: - access_level: open_access checksum: 093d4788d7d5b2ce0ffe64fbe7820043 content_type: application/pdf creator: dernst date_created: 2020-08-17T11:32:44Z date_updated: 2020-08-17T11:32:44Z file_id: '8276' file_name: 2020_LNCS_CAV_Chatterjee.pdf file_size: 625056 relation: main_file success: 1 file_date_updated: 2020-08-17T11:32:44Z has_accepted_license: '1' intvolume: ' 12225' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 398-420 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 25892FC0-B435-11E9-9278-68D0E5697425 grant_number: ICT15-003 name: Efficient Algorithms for Computer Aided Verification publication: International Conference on Computer Aided Verification publication_identifier: eissn: - 1611-3349 isbn: - '9783030532901' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '12738' relation: later_version status: public scopus_import: '1' status: public title: Stochastic games with lexicographic reachability-safety objectives 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: ba8df636-2132-11f1-aed0-ed93e2281fdd volume: 12225 year: '2020' ... --- _id: '8339' abstract: - lang: eng text: "Discrete Gaussian distributions over lattices are central to lattice-based cryptography, and to the computational and mathematical aspects of lattices more broadly. The literature contains a wealth of useful theorems about the behavior of discrete Gaussians under convolutions and related operations. Yet despite their structural similarities, most of these theorems are formally incomparable, and their proofs tend to be monolithic and written nearly “from scratch,” making them unnecessarily hard to verify, understand, and extend.\r\nIn this work we present a modular framework for analyzing linear operations on discrete Gaussian distributions. The framework abstracts away the particulars of Gaussians, and usually reduces proofs to the choice of appropriate linear transformations and elementary linear algebra. To showcase the approach, we establish several general properties of discrete Gaussians, and show how to obtain all prior convolution theorems (along with some new ones) as straightforward corollaries. As another application, we describe a self-reduction for Learning With Errors (LWE) that uses a fixed number of samples to generate an unlimited number of additional ones (having somewhat larger error). The distinguishing features of our reduction are its simple analysis in our framework, and its exclusive use of discrete Gaussians without any loss in parameters relative to a prior mixed discrete-and-continuous approach.\r\nAs a contribution of independent interest, for subgaussian random matrices we prove a singular value concentration bound with explicitly stated constants, and we give tighter heuristics for specific distributions that are commonly used for generating lattice trapdoors. These bounds yield improvements in the concrete bit-security estimates for trapdoor lattice cryptosystems." alternative_title: - LNCS article_processing_charge: No author: - first_name: Nicholas full_name: Genise, Nicholas last_name: Genise - first_name: Daniele full_name: Micciancio, Daniele last_name: Micciancio - first_name: Chris full_name: Peikert, Chris last_name: Peikert - first_name: Michael full_name: Walter, Michael id: 488F98B0-F248-11E8-B48F-1D18A9856A87 last_name: Walter orcid: 0000-0003-3186-2482 citation: ama: 'Genise N, Micciancio D, Peikert C, Walter M. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In: 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. Vol 12110. Springer Nature; 2020:623-651. doi:10.1007/978-3-030-45374-9_21' apa: 'Genise, N., Micciancio, D., Peikert, C., & Walter, M. (2020). Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography (Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_21' chicago: Genise, Nicholas, Daniele Micciancio, Chris Peikert, and Michael Walter. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, 12110:623–51. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45374-9_21. ieee: N. Genise, D. Micciancio, C. Peikert, and M. Walter, “Improved discrete Gaussian and subgaussian analysis for lattice cryptography,” in 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Edinburgh, United Kingdom, 2020, vol. 12110, pp. 623–651. ista: 'Genise N, Micciancio D, Peikert C, Walter M. 2020. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 12110, 623–651.' mla: Genise, Nicholas, et al. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, vol. 12110, Springer Nature, 2020, pp. 623–51, doi:10.1007/978-3-030-45374-9_21. short: N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651. conference: end_date: 2020-05-07 location: Edinburgh, United Kingdom name: 'PKC: Public-Key Cryptography' start_date: 2020-05-04 date_created: 2020-09-06T22:01:13Z date_published: 2020-05-15T00:00:00Z date_updated: 2026-04-16T09:32:27Z day: '15' department: - _id: KrPi doi: 10.1007/978-3-030-45374-9_21 ec_funded: 1 external_id: isi: - '001299210200021' intvolume: ' 12110' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2020/337 month: '05' oa: 1 oa_version: Preprint page: 623-651 project: - _id: 258AA5B2-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '682815' name: Teaching Old Crypto New Tricks publication: 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography publication_identifier: eissn: - 1611-3349 isbn: - '9783030453732' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Improved discrete Gaussian and subgaussian analysis for lattice cryptography type: conference user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd volume: 12110 year: '2020' ... --- _id: '8987' abstract: - lang: eng text: "Currently several projects aim at designing and implementing protocols for privacy preserving automated contact tracing to help fight the current pandemic. Those proposal are quite similar, and in their most basic form basically propose an app for mobile phones which broadcasts frequently changing pseudorandom identifiers via (low energy) Bluetooth, and at the same time, the app stores IDs broadcast by phones in its proximity. Only if a user is tested positive, they upload either the beacons they did broadcast (which is the case in decentralized proposals as DP-3T, east and west coast PACT or Covid watch) or received (as in Popp-PT or ROBERT) during the last two weeks or so.\r\n\r\nVaudenay [eprint 2020/399] observes that this basic scheme (he considers the DP-3T proposal) succumbs to relay and even replay attacks, and proposes more complex interactive schemes which prevent those attacks without giving up too many privacy aspects. Unfortunately interaction is problematic for this application for efficiency and security reasons. The countermeasures that have been suggested so far are either not practical or give up on key privacy aspects. We propose a simple non-interactive variant of the basic protocol that\r\n(security) Provably prevents replay and (if location data is available) relay attacks.\r\n(privacy) The data of all parties (even jointly) reveals no information on the location or time where encounters happened.\r\n(efficiency) The broadcasted message can fit into 128 bits and uses only basic crypto (commitments and secret key authentication).\r\n\r\nTowards this end we introduce the concept of “delayed authentication”, which basically is a message authentication code where verification can be done in two steps, where the first doesn’t require the key, and the second doesn’t require the message." article_processing_charge: No author: - first_name: Krzysztof Z full_name: Pietrzak, Krzysztof Z id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87 last_name: Pietrzak orcid: 0000-0002-9139-1654 citation: ama: 'Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in private contact tracing. In: Progress in Cryptology. Vol 12578. LNCS. Springer Nature; 2020:3-15. doi:10.1007/978-3-030-65277-7_1' apa: 'Pietrzak, K. Z. (2020). Delayed authentication: Preventing replay and relay attacks in private contact tracing. In Progress in Cryptology (Vol. 12578, pp. 3–15). Bangalore, India: Springer Nature. https://doi.org/10.1007/978-3-030-65277-7_1' chicago: 'Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” In Progress in Cryptology, 12578:3–15. LNCS. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-65277-7_1.' ieee: 'K. Z. Pietrzak, “Delayed authentication: Preventing replay and relay attacks in private contact tracing,” in Progress in Cryptology, Bangalore, India, 2020, vol. 12578, pp. 3–15.' ista: 'Pietrzak KZ. 2020. Delayed authentication: Preventing replay and relay attacks in private contact tracing. Progress in Cryptology. INDOCRYPT: International Conference on Cryptology in IndiaLNCS vol. 12578, 3–15.' mla: 'Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” Progress in Cryptology, vol. 12578, Springer Nature, 2020, pp. 3–15, doi:10.1007/978-3-030-65277-7_1.' short: K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15. conference: end_date: 2020-12-16 location: Bangalore, India name: 'INDOCRYPT: International Conference on Cryptology in India' start_date: 2020-12-13 date_created: 2021-01-03T23:01:23Z date_published: 2020-12-08T00:00:00Z date_updated: 2026-04-16T09:33:26Z day: '08' department: - _id: KrPi doi: 10.1007/978-3-030-65277-7_1 ec_funded: 1 external_id: isi: - '000927592800001' intvolume: ' 12578' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2020/418 month: '12' oa: 1 oa_version: Preprint page: 3-15 project: - _id: 258AA5B2-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '682815' name: Teaching Old Crypto New Tricks publication: Progress in Cryptology publication_identifier: eissn: - 1611-3349 isbn: - '9783030652760' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' series_title: LNCS status: public title: 'Delayed authentication: Preventing replay and relay attacks in private contact tracing' type: conference user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd volume: 12578 year: '2020' ... --- _id: '8322' abstract: - lang: eng text: "Reverse firewalls were introduced at Eurocrypt 2015 by Miro-nov and Stephens-Davidowitz, as a method for protecting cryptographic protocols against attacks on the devices of the honest parties. In a nutshell: a reverse firewall is placed outside of a device and its goal is to “sanitize” the messages sent by it, in such a way that a malicious device cannot leak its secrets to the outside world. It is typically assumed that the cryptographic devices are attacked in a “functionality-preserving way” (i.e. informally speaking, the functionality of the protocol remains unchanged under this attacks). In their paper, Mironov and Stephens-Davidowitz construct a protocol for passively-secure two-party computations with firewalls, leaving extension of this result to stronger models as an open question.\r\nIn this paper, we address this problem by constructing a protocol for secure computation with firewalls that has two main advantages over the original protocol from Eurocrypt 2015. Firstly, it is a multiparty computation protocol (i.e. it works for an arbitrary number n of the parties, and not just for 2). Secondly, it is secure in much stronger corruption settings, namely in the active corruption model. More precisely: we consider an adversary that can fully corrupt up to \U0001D45B−1 parties, while the remaining parties are corrupt in a functionality-preserving way.\r\nOur core techniques are: malleable commitments and malleable non-interactive zero-knowledge, which in particular allow us to create a novel protocol for multiparty augmented coin-tossing into the well with reverse firewalls (that is based on a protocol of Lindell from Crypto 2001)." acknowledgement: We would like to thank the anonymous reviewers for their helpful comments and suggestions. The work was initiated while the first author was in IIT Madras, India. Part of this work was done while the author was visiting the University of Warsaw. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (682815 - TOCNeT) and from the Foundation for Polish Science under grant TEAM/2016-1/4 founded within the UE 2014–2020 Smart Growth Operational Program. The last author was supported by the Independent Research Fund Denmark project BETHE and the Concordium Blockchain Research Center, Aarhus University, Denmark. alternative_title: - LNCS article_processing_charge: No author: - first_name: Suvradip full_name: Chakraborty, Suvradip id: B9CD0494-D033-11E9-B219-A439E6697425 last_name: Chakraborty - first_name: Stefan full_name: Dziembowski, Stefan last_name: Dziembowski - first_name: Jesper Buus full_name: Nielsen, Jesper Buus last_name: Nielsen citation: ama: 'Chakraborty S, Dziembowski S, Nielsen JB. Reverse firewalls for actively secure MPCs. In: Advances in Cryptology – CRYPTO 2020. Vol 12171. Springer Nature; 2020:732-762. doi:10.1007/978-3-030-56880-1_26' apa: 'Chakraborty, S., Dziembowski, S., & Nielsen, J. B. (2020). Reverse firewalls for actively secure MPCs. In Advances in Cryptology – CRYPTO 2020 (Vol. 12171, pp. 732–762). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-56880-1_26' chicago: Chakraborty, Suvradip, Stefan Dziembowski, and Jesper Buus Nielsen. “Reverse Firewalls for Actively Secure MPCs.” In Advances in Cryptology – CRYPTO 2020, 12171:732–62. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-56880-1_26. ieee: S. Chakraborty, S. Dziembowski, and J. B. Nielsen, “Reverse firewalls for actively secure MPCs,” in Advances in Cryptology – CRYPTO 2020, Santa Barbara, CA, United States, 2020, vol. 12171, pp. 732–762. ista: 'Chakraborty S, Dziembowski S, Nielsen JB. 2020. Reverse firewalls for actively secure MPCs. Advances in Cryptology – CRYPTO 2020. CRYPTO: Annual International Cryptology Conference, LNCS, vol. 12171, 732–762.' mla: Chakraborty, Suvradip, et al. “Reverse Firewalls for Actively Secure MPCs.” Advances in Cryptology – CRYPTO 2020, vol. 12171, Springer Nature, 2020, pp. 732–62, doi:10.1007/978-3-030-56880-1_26. short: S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762. conference: end_date: 2020-08-21 location: Santa Barbara, CA, United States name: 'CRYPTO: Annual International Cryptology Conference' start_date: 2020-08-17 date_created: 2020-08-30T22:01:12Z date_published: 2020-08-10T00:00:00Z date_updated: 2026-04-16T09:31:34Z day: '10' department: - _id: KrPi doi: 10.1007/978-3-030-56880-1_26 ec_funded: 1 external_id: isi: - '001415325700026' intvolume: ' 12171' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2019/1317 month: '08' oa: 1 oa_version: Preprint page: 732-762 project: - _id: 258AA5B2-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '682815' name: Teaching Old Crypto New Tricks publication: Advances in Cryptology – CRYPTO 2020 publication_identifier: eissn: - 1611-3349 isbn: - '9783030568795' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Reverse firewalls for actively secure MPCs type: conference user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd volume: 12171 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: 2026-04-16T09:29:42Z 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: Formal methods for the design and analysis of complex systems publication: Automated Reasoning publication_identifier: eissn: - 1611-3349 isbn: - '9783030510732' issn: - 0302-9743 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: ba8df636-2132-11f1-aed0-ed93e2281fdd volume: 12166 year: '2020' ...