[{"isi":1,"citation":{"short":"H. Shang, J. Hess, M. Pickup, D. Field, P.K. Ingvarsson, J. Liu, C. Lexer, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).","ista":"Shang H, Hess J, Pickup M, Field D, Ingvarsson PK, Liu J, Lexer C. 2020. Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. 375(1806), 20190544.","chicago":"Shang, Huiying, Jaqueline Hess, Melinda Pickup, David Field, Pär K. Ingvarsson, Jianquan Liu, and Christian Lexer. “Evolution of Strong Reproductive Isolation in Plants: Broad-Scale Patterns and Lessons from a Perennial Model Group.” <i>Philosophical Transactions of the Royal Society. Series B: Biological Sciences</i>. The Royal Society, 2020. <a href=\"https://doi.org/10.1098/rstb.2019.0544\">https://doi.org/10.1098/rstb.2019.0544</a>.","apa":"Shang, H., Hess, J., Pickup, M., Field, D., Ingvarsson, P. K., Liu, J., &#38; Lexer, C. (2020). Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group. <i>Philosophical Transactions of the Royal Society. Series B: Biological Sciences</i>. The Royal Society. <a href=\"https://doi.org/10.1098/rstb.2019.0544\">https://doi.org/10.1098/rstb.2019.0544</a>","ama":"Shang H, Hess J, Pickup M, et al. Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group. <i>Philosophical Transactions of the Royal Society Series B: Biological Sciences</i>. 2020;375(1806). doi:<a href=\"https://doi.org/10.1098/rstb.2019.0544\">10.1098/rstb.2019.0544</a>","ieee":"H. Shang <i>et al.</i>, “Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group,” <i>Philosophical Transactions of the Royal Society. Series B: Biological Sciences</i>, vol. 375, no. 1806. The Royal Society, 2020.","mla":"Shang, Huiying, et al. “Evolution of Strong Reproductive Isolation in Plants: Broad-Scale Patterns and Lessons from a Perennial Model Group.” <i>Philosophical Transactions of the Royal Society. Series B: Biological Sciences</i>, vol. 375, no. 1806, 20190544, The Royal Society, 2020, doi:<a href=\"https://doi.org/10.1098/rstb.2019.0544\">10.1098/rstb.2019.0544</a>."},"article_processing_charge":"No","language":[{"iso":"eng"}],"author":[{"first_name":"Huiying","last_name":"Shang","full_name":"Shang, Huiying"},{"last_name":"Hess","first_name":"Jaqueline","full_name":"Hess, Jaqueline"},{"last_name":"Pickup","first_name":"Melinda","id":"2C78037E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6118-0541","full_name":"Pickup, Melinda"},{"full_name":"Field, David","orcid":"0000-0002-4014-8478","first_name":"David","id":"419049E2-F248-11E8-B48F-1D18A9856A87","last_name":"Field"},{"full_name":"Ingvarsson, Pär K.","first_name":"Pär K.","last_name":"Ingvarsson"},{"first_name":"Jianquan","last_name":"Liu","full_name":"Liu, Jianquan"},{"first_name":"Christian","last_name":"Lexer","full_name":"Lexer, Christian"}],"acknowledgement":"This work was supported by a fellowship from the China Scholarship Council (CSC) to H.S., Swiss National Science Foundation (SNF) grant no. 31003A_149306 to C.L., doctoral programme grant W1225-B20 to a faculty team including C.L., and the University of Vienna. We thank members of J.L.’s lab for collecting samples, Michael Barfuss and Elfi Grasserbauer for help in the laboratory, the Next Generation Sequencing Platform of the University of Berne for sequencing, the Vienna Scientific Cluster (VSC) for access to computational resources, and Claus Vogel and members of the PopGen Vienna graduate school for helpful discussions.","publication_identifier":{"eissn":["1471-2970"]},"scopus_import":"1","month":"07","volume":375,"publication_status":"published","title":"Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group","abstract":[{"text":"Many recent studies have addressed the mechanisms operating during the early stages of speciation, but surprisingly few studies have tested theoretical predictions on the evolution of strong reproductive isolation (RI). To help address this gap, we first undertook a quantitative review of the hybrid zone literature for flowering plants in relation to reproductive barriers. Then, using Populus as an exemplary model group, we analysed genome-wide variation for phylogenetic tree topologies in both early- and late-stage speciation taxa to determine how these patterns may be related to the genomic architecture of RI. Our plant literature survey revealed variation in barrier complexity and an association between barrier number and introgressive gene flow. Focusing on Populus, our genome-wide analysis of tree topologies in speciating poplar taxa points to unusually complex genomic architectures of RI, consistent with earlier genome-wide association studies. These architectures appear to facilitate the ‘escape’ of introgressed genome segments from polygenic barriers even with strong RI, thus affecting their relationships with recombination rates. Placed within the context of the broader literature, our data illustrate how phylogenomic approaches hold great promise for addressing the evolution and temporary breakdown of RI during late stages of speciation.","lang":"eng"}],"intvolume":"       375","publication":"Philosophical Transactions of the Royal Society. Series B: Biological Sciences","OA_type":"closed access","quality_controlled":"1","day":"12","date_published":"2020-07-12T00:00:00Z","status":"public","date_created":"2020-07-26T22:01:02Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publisher":"The Royal Society","type":"journal_article","article_type":"original","year":"2020","pmid":1,"issue":"1806","article_number":"20190544","_id":"8169","oa_version":"None","doi":"10.1098/rstb.2019.0544","date_updated":"2026-04-03T09:31:37Z","external_id":{"pmid":["32654641"],"isi":["000552662100013"]},"department":[{"_id":"NiBa"}]},{"publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"volume":125,"scopus_import":"1","month":"07","author":[{"first_name":"Adam S.","last_name":"Chatterley","full_name":"Chatterley, Adam S."},{"last_name":"Christiansen","first_name":"Lars","full_name":"Christiansen, Lars"},{"last_name":"Schouder","first_name":"Constant A.","full_name":"Schouder, Constant A."},{"first_name":"Anders V.","last_name":"Jørgensen","full_name":"Jørgensen, Anders V."},{"last_name":"Shepperson","first_name":"Benjamin","full_name":"Shepperson, Benjamin"},{"last_name":"Cherepanov","id":"339C7E5A-F248-11E8-B48F-1D18A9856A87","first_name":"Igor","full_name":"Cherepanov, Igor"},{"full_name":"Bighin, Giacomo","orcid":"0000-0001-8823-9777","first_name":"Giacomo","id":"4CA96FD4-F248-11E8-B48F-1D18A9856A87","last_name":"Bighin"},{"full_name":"Zillich, Robert E.","last_name":"Zillich","first_name":"Robert E."},{"last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","orcid":"0000-0002-6990-7802","full_name":"Lemeshko, Mikhail"},{"first_name":"Henrik","last_name":"Stapelfeldt","full_name":"Stapelfeldt, Henrik"}],"project":[{"name":"Quantum rotations in the presence of a many-body environment","call_identifier":"FWF","_id":"26031614-B435-11E9-9278-68D0E5697425","grant_number":"P29902"},{"_id":"2688CF98-B435-11E9-9278-68D0E5697425","name":"Angulon: physics and applications of a new quasiparticle","call_identifier":"H2020","grant_number":"801770"},{"grant_number":"M02641","_id":"26986C82-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"A path-integral approach to composite impurities"},{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","call_identifier":"H2020","grant_number":"665385"}],"language":[{"iso":"eng"}],"isi":1,"citation":{"ieee":"A. S. Chatterley <i>et al.</i>, “Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains,” <i>Physical Review Letters</i>, vol. 125, no. 1. American Physical Society, 2020.","mla":"Chatterley, Adam S., et al. “Rotational Coherence Spectroscopy of Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” <i>Physical Review Letters</i>, vol. 125, no. 1, 013001, American Physical Society, 2020, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.125.013001\">10.1103/PhysRevLett.125.013001</a>.","ama":"Chatterley AS, Christiansen L, Schouder CA, et al. Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. <i>Physical Review Letters</i>. 2020;125(1). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.125.013001\">10.1103/PhysRevLett.125.013001</a>","apa":"Chatterley, A. S., Christiansen, L., Schouder, C. A., Jørgensen, A. V., Shepperson, B., Cherepanov, I., … Stapelfeldt, H. (2020). Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.125.013001\">https://doi.org/10.1103/PhysRevLett.125.013001</a>","chicago":"Chatterley, Adam S., Lars Christiansen, Constant A. Schouder, Anders V. Jørgensen, Benjamin Shepperson, Igor Cherepanov, Giacomo Bighin, Robert E. Zillich, Mikhail Lemeshko, and Henrik Stapelfeldt. “Rotational Coherence Spectroscopy of Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” <i>Physical Review Letters</i>. American Physical Society, 2020. <a href=\"https://doi.org/10.1103/PhysRevLett.125.013001\">https://doi.org/10.1103/PhysRevLett.125.013001</a>.","ista":"Chatterley AS, Christiansen L, Schouder CA, Jørgensen AV, Shepperson B, Cherepanov I, Bighin G, Zillich RE, Lemeshko M, Stapelfeldt H. 2020. Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters. 125(1), 013001.","short":"A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson, I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 125 (2020)."},"article_processing_charge":"No","oa":1,"arxiv":1,"acknowledgement":"H. S. acknowledges support from the European Research Council-AdG (Project No. 320459, DropletControl)\r\nand from The Villum Foundation through a Villum Investigator Grant No. 25886. M. L. acknowledges support\r\nby the Austrian Science Fund (FWF), under Project No. P29902-N27, and by the European Research Council\r\n(ERC) Starting Grant No. 801770 (ANGULON). G. B. acknowledges support from the Austrian Science Fund\r\n(FWF), under Project No. M2641-N27. I. C. acknowledges support by the European Union’s Horizon 2020 research and\r\ninnovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385. Computational resources for\r\nthe PIMC simulations were provided by the division for scientific computing at the Johannes Kepler University.","day":"03","quality_controlled":"1","main_file_link":[{"url":"https://arxiv.org/abs/2006.02694","open_access":"1"}],"publication":"Physical Review Letters","intvolume":"       125","abstract":[{"lang":"eng","text":"Alignment of OCS, CS2, and I2 molecules embedded in helium nanodroplets is measured as a function\r\nof time following rotational excitation by a nonresonant, comparatively weak ps laser pulse. The distinct\r\npeaks in the power spectra, obtained by Fourier analysis, are used to determine the rotational, B, and\r\ncentrifugal distortion, D, constants. For OCS, B and D match the values known from IR spectroscopy. For\r\nCS2 and I2, they are the first experimental results reported. The alignment dynamics calculated from the\r\ngas-phase rotational Schrödinger equation, using the experimental in-droplet B and D values, agree in\r\ndetail with the measurement for all three molecules. The rotational spectroscopy technique for molecules in\r\nhelium droplets introduced here should apply to a range of molecules and complexes."}],"publication_status":"published","title":"Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains","ec_funded":1,"type":"journal_article","article_type":"original","publisher":"American Physical Society","issue":"1","pmid":1,"year":"2020","status":"public","date_published":"2020-07-03T00:00:00Z","date_created":"2020-07-26T22:01:02Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","external_id":{"pmid":["32678640"],"arxiv":["2006.02694"],"isi":["000544526900006"]},"date_updated":"2026-04-16T08:21:58Z","department":[{"_id":"MiLe"}],"oa_version":"Preprint","_id":"8170","article_number":"013001","doi":"10.1103/PhysRevLett.125.013001"},{"doi":"10.1007/978-1-0716-0755-8_16","oa_version":"None","alternative_title":["Methods in Molecular Biology"],"_id":"8173","department":[{"_id":"CaGu"}],"external_id":{"pmid":["32651922"]},"date_updated":"2026-04-16T09:22:45Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","date_created":"2020-07-26T22:01:03Z","editor":[{"last_name":"Niopek","first_name":"Dominik","full_name":"Niopek, Dominik"}],"status":"public","date_published":"2020-07-11T00:00:00Z","pmid":1,"year":"2020","type":"book_chapter","publisher":"Springer Nature","publication":"Photoswitching Proteins","abstract":[{"text":"Understanding how the activity of membrane receptors and cellular signaling pathways shapes cell behavior is of fundamental interest in basic and applied research. Reengineering receptors to react to light instead of their cognate ligands allows for generating defined signaling inputs with high spatial and temporal precision and facilitates the dissection of complex signaling networks. Here, we describe fundamental considerations in the design of light-regulated receptor tyrosine kinases (Opto-RTKs) and appropriate control experiments. We also introduce methods for transient receptor expression in HEK293 cells, quantitative assessment of signaling activity in reporter gene assays, semiquantitative assessment of (in)activation time courses through Western blot (WB) analysis, and easy to implement light stimulation hardware.","lang":"eng"}],"intvolume":"      2173","publication_status":"published","title":"Design and application of light-regulated receptor tyrosine kinases","day":"11","author":[{"orcid":"0000-0002-6709-2195","full_name":"Kainrath, Stephanie","last_name":"Kainrath","id":"32CFBA64-F248-11E8-B48F-1D18A9856A87","first_name":"Stephanie"},{"last_name":"Janovjak","first_name":"Harald L","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8023-9315","full_name":"Janovjak, Harald L"}],"language":[{"iso":"eng"}],"page":"233-246","citation":{"ista":"Kainrath S, Janovjak HL. 2020.Design and application of light-regulated receptor tyrosine kinases. In: Photoswitching Proteins. Methods in Molecular Biology, vol. 2173, 233–246.","chicago":"Kainrath, Stephanie, and Harald L Janovjak. “Design and Application of Light-Regulated Receptor Tyrosine Kinases.” In <i>Photoswitching Proteins</i>, edited by Dominik Niopek, 2173:233–46. MIMB. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-1-0716-0755-8_16\">https://doi.org/10.1007/978-1-0716-0755-8_16</a>.","ama":"Kainrath S, Janovjak HL. Design and application of light-regulated receptor tyrosine kinases. In: Niopek D, ed. <i>Photoswitching Proteins</i>. Vol 2173. MIMB. Springer Nature; 2020:233-246. doi:<a href=\"https://doi.org/10.1007/978-1-0716-0755-8_16\">10.1007/978-1-0716-0755-8_16</a>","apa":"Kainrath, S., &#38; Janovjak, H. L. (2020). Design and application of light-regulated receptor tyrosine kinases. In D. Niopek (Ed.), <i>Photoswitching Proteins</i> (Vol. 2173, pp. 233–246). Springer Nature. <a href=\"https://doi.org/10.1007/978-1-0716-0755-8_16\">https://doi.org/10.1007/978-1-0716-0755-8_16</a>","short":"S. Kainrath, H.L. Janovjak, in:, D. Niopek (Ed.), Photoswitching Proteins, Springer Nature, 2020, pp. 233–246.","ieee":"S. Kainrath and H. L. Janovjak, “Design and application of light-regulated receptor tyrosine kinases,” in <i>Photoswitching Proteins</i>, vol. 2173, D. Niopek, Ed. Springer Nature, 2020, pp. 233–246.","mla":"Kainrath, Stephanie, and Harald L. Janovjak. “Design and Application of Light-Regulated Receptor Tyrosine Kinases.” <i>Photoswitching Proteins</i>, edited by Dominik Niopek, vol. 2173, Springer Nature, 2020, pp. 233–46, doi:<a href=\"https://doi.org/10.1007/978-1-0716-0755-8_16\">10.1007/978-1-0716-0755-8_16</a>."},"article_processing_charge":"No","volume":2173,"month":"07","scopus_import":"1","series_title":"MIMB","publication_identifier":{"issn":["1064-3745"],"eisbn":["9781071607558"],"isbn":["9781071607541"],"eissn":["1940-6029"]}},{"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2020-07-28T16:24:37Z","author":[{"full_name":"Hauschild, Robert","orcid":"0000-0001-9843-3522","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","last_name":"Hauschild"}],"status":"public","date_published":"2020-08-24T00:00:00Z","citation":{"ieee":"R. Hauschild, “Amplified centrosomes in dendritic cells promote immune cell effector functions.” IST Austria, 2020.","mla":"Hauschild, Robert. <i>Amplified Centrosomes in Dendritic Cells Promote Immune Cell Effector Functions</i>. IST Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8181\">10.15479/AT:ISTA:8181</a>.","short":"R. Hauschild, (2020).","chicago":"Hauschild, Robert. “Amplified Centrosomes in Dendritic Cells Promote Immune Cell Effector Functions.” IST Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8181\">https://doi.org/10.15479/AT:ISTA:8181</a>.","ista":"Hauschild R. 2020. Amplified centrosomes in dendritic cells promote immune cell effector functions, IST Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:8181\">10.15479/AT:ISTA:8181</a>.","ama":"Hauschild R. Amplified centrosomes in dendritic cells promote immune cell effector functions. 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8181\">10.15479/AT:ISTA:8181</a>","apa":"Hauschild, R. (2020). Amplified centrosomes in dendritic cells promote immune cell effector functions. IST Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8181\">https://doi.org/10.15479/AT:ISTA:8181</a>"},"year":"2020","month":"08","license":"https://opensource.org/licenses/BSD-3-Clause","type":"software","publisher":"IST Austria","doi":"10.15479/AT:ISTA:8181","tmp":{"name":"The 3-Clause BSD License","legal_code_url":"https://opensource.org/licenses/BSD-3-Clause","short":"3-Clause BSD"},"file_date_updated":"2020-08-24T15:43:52Z","has_accepted_license":"1","_id":"8181","corr_author":"1","title":"Amplified centrosomes in dendritic cells promote immune cell effector functions","file":[{"file_name":"centriolesDistance.m","file_size":6577,"file_id":"8290","creator":"rhauschild","access_level":"open_access","date_updated":"2020-08-24T15:43:49Z","checksum":"878c60885ce30afb59a884dd5eef451c","date_created":"2020-08-24T15:43:49Z","success":1,"content_type":"text/plain","relation":"main_file"},{"file_name":"goTracking.m","file_size":2680,"file_id":"8291","creator":"rhauschild","access_level":"open_access","date_updated":"2020-08-24T15:43:52Z","checksum":"5a93ac7be2b66b28e4bd8b113ee6aade","date_created":"2020-08-24T15:43:52Z","success":1,"content_type":"text/plain","relation":"main_file"}],"department":[{"_id":"Bio"}],"day":"24","date_updated":"2024-10-09T21:05:14Z"},{"file":[{"success":1,"content_type":"application/pdf","date_created":"2020-07-31T16:57:12Z","relation":"main_file","creator":"phenders","file_id":"8187","file_size":10262773,"file_name":"paper.pdf","date_updated":"2020-07-31T16:57:12Z","access_level":"open_access"}],"_id":"8186","oa_version":"Submitted Version","file_date_updated":"2020-07-31T16:57:12Z","doi":"10.1109/CVPR42600.2020.00752","date_updated":"2023-10-17T07:37:11Z","external_id":{"arxiv":["2004.04180"]},"department":[{"_id":"ChLa"}],"date_published":"2020-07-01T00:00:00Z","status":"public","date_created":"2020-07-31T16:53:49Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"IEEE","type":"conference","year":"2020","conference":{"name":"CVPR: Conference on Computer Vision and Pattern Recognition","start_date":"2020-06-14","location":"Virtual","end_date":"2020-06-19"},"ddc":["004"],"publication_status":"published","title":"Leveraging 2D data to learn textured 3D mesh generation","has_accepted_license":"1","abstract":[{"text":"Numerous methods have been proposed for probabilistic generative modelling of\r\n3D objects. However, none of these is able to produce textured objects, which\r\nrenders them of limited use for practical tasks. In this work, we present the\r\nfirst generative model of textured 3D meshes. Training such a model would\r\ntraditionally require a large dataset of textured meshes, but unfortunately,\r\nexisting datasets of meshes lack detailed textures. We instead propose a new\r\ntraining methodology that allows learning from collections of 2D images without\r\nany 3D information. To do so, we train our model to explain a distribution of\r\nimages by modelling each image as a 3D foreground object placed in front of a\r\n2D background. Thus, it learns to generate meshes that when rendered, produce\r\nimages similar to those in its training set.\r\n  A well-known problem when generating meshes with deep networks is the\r\nemergence of self-intersections, which are problematic for many use-cases. As a\r\nsecond contribution we therefore introduce a new generation process for 3D\r\nmeshes that guarantees no self-intersections arise, based on the physical\r\nintuition that faces should push one another out of the way as they move.\r\n  We conduct extensive experiments on our approach, reporting quantitative and\r\nqualitative results on both synthetic data and natural images. These show our\r\nmethod successfully learns to generate plausible and diverse textured 3D\r\nsamples for five challenging object classes.","lang":"eng"}],"publication":"Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition","quality_controlled":"1","day":"01","main_file_link":[{"url":"https://openaccess.thecvf.com/content_CVPR_2020/papers/Henderson_Leveraging_2D_Data_to_Learn_Textured_3D_Mesh_Generation_CVPR_2020_paper.pdf","open_access":"1"}],"citation":{"short":"P.M. Henderson, V. Tsiminaki, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2020, pp. 7498–7507.","chicago":"Henderson, Paul M, Vagia Tsiminaki, and Christoph Lampert. “Leveraging 2D Data to Learn Textured 3D Mesh Generation.” In <i>Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition</i>, 7498–7507. IEEE, 2020. <a href=\"https://doi.org/10.1109/CVPR42600.2020.00752\">https://doi.org/10.1109/CVPR42600.2020.00752</a>.","ista":"Henderson PM, Tsiminaki V, Lampert C. 2020. Leveraging 2D data to learn textured 3D mesh generation. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 7498–7507.","ama":"Henderson PM, Tsiminaki V, Lampert C. Leveraging 2D data to learn textured 3D mesh generation. In: <i>Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition</i>. IEEE; 2020:7498-7507. doi:<a href=\"https://doi.org/10.1109/CVPR42600.2020.00752\">10.1109/CVPR42600.2020.00752</a>","apa":"Henderson, P. M., Tsiminaki, V., &#38; Lampert, C. (2020). Leveraging 2D data to learn textured 3D mesh generation. In <i>Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition</i> (pp. 7498–7507). Virtual: IEEE. <a href=\"https://doi.org/10.1109/CVPR42600.2020.00752\">https://doi.org/10.1109/CVPR42600.2020.00752</a>","ieee":"P. M. Henderson, V. Tsiminaki, and C. Lampert, “Leveraging 2D data to learn textured 3D mesh generation,” in <i>Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition</i>, Virtual, 2020, pp. 7498–7507.","mla":"Henderson, Paul M., et al. “Leveraging 2D Data to Learn Textured 3D Mesh Generation.” <i>Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition</i>, IEEE, 2020, pp. 7498–507, doi:<a href=\"https://doi.org/10.1109/CVPR42600.2020.00752\">10.1109/CVPR42600.2020.00752</a>."},"article_processing_charge":"No","page":"7498-7507","language":[{"iso":"eng"}],"author":[{"orcid":"0000-0002-5198-7445","full_name":"Henderson, Paul M","last_name":"Henderson","id":"13C09E74-18D9-11E9-8878-32CFE5697425","first_name":"Paul M"},{"full_name":"Tsiminaki, Vagia","first_name":"Vagia","last_name":"Tsiminaki"},{"id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","last_name":"Lampert","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887"}],"arxiv":1,"oa":1,"publication_identifier":{"eisbn":["9781728171685"],"eissn":["2575-7075"]},"scopus_import":"1","month":"07"},{"year":"2020","conference":{"start_date":"2020-12-06","name":"NeurIPS: Neural Information Processing Systems","location":"Vancouver, Canada","end_date":"2020-12-12"},"acknowledged_ssus":[{"_id":"ScienComp"}],"type":"conference","publisher":"Neural Information Processing Systems Foundation","date_created":"2020-07-31T16:59:19Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","date_published":"2020-07-07T00:00:00Z","department":[{"_id":"ChLa"}],"date_updated":"2025-05-14T11:26:57Z","external_id":{"arxiv":["2007.06705"]},"alternative_title":["Advances in Neural Information Processing Systems"],"_id":"8188","oa_version":"Preprint","volume":33,"month":"07","publication_identifier":{"isbn":["9781713829546"]},"arxiv":1,"acknowledgement":"This research was supported by the Scientific Service Units (SSU) of IST Austria through resources\r\nprovided by Scientific Computing (SciComp). PH is employed part-time by Blackford Analysis, but\r\nthey did not support this project in any way.","oa":1,"page":"3106–3117","citation":{"mla":"Henderson, Paul M., and Christoph Lampert. “Unsupervised Object-Centric Video Generation and Decomposition in 3D.” <i>34th Conference on Neural Information Processing Systems</i>, vol. 33, Neural Information Processing Systems Foundation, 2020, pp. 3106–3117.","ieee":"P. M. Henderson and C. Lampert, “Unsupervised object-centric video generation and decomposition in 3D,” in <i>34th Conference on Neural Information Processing Systems</i>, Vancouver, Canada, 2020, vol. 33, pp. 3106–3117.","short":"P.M. Henderson, C. Lampert, in:, 34th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2020, pp. 3106–3117.","ista":"Henderson PM, Lampert C. 2020. Unsupervised object-centric video generation and decomposition in 3D. 34th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 33, 3106–3117.","chicago":"Henderson, Paul M, and Christoph Lampert. “Unsupervised Object-Centric Video Generation and Decomposition in 3D.” In <i>34th Conference on Neural Information Processing Systems</i>, 33:3106–3117. Neural Information Processing Systems Foundation, 2020.","apa":"Henderson, P. M., &#38; Lampert, C. (2020). Unsupervised object-centric video generation and decomposition in 3D. In <i>34th Conference on Neural Information Processing Systems</i> (Vol. 33, pp. 3106–3117). Vancouver, Canada: Neural Information Processing Systems Foundation.","ama":"Henderson PM, Lampert C. Unsupervised object-centric video generation and decomposition in 3D. In: <i>34th Conference on Neural Information Processing Systems</i>. Vol 33. Neural Information Processing Systems Foundation; 2020:3106–3117."},"article_processing_charge":"No","author":[{"full_name":"Henderson, Paul M","orcid":"0000-0002-5198-7445","first_name":"Paul M","id":"13C09E74-18D9-11E9-8878-32CFE5697425","last_name":"Henderson"},{"full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887","first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","last_name":"Lampert"}],"language":[{"iso":"eng"}],"main_file_link":[{"url":"https://arxiv.org/abs/2007.06705","open_access":"1"}],"quality_controlled":"1","day":"07","title":"Unsupervised object-centric video generation and decomposition in 3D","corr_author":"1","publication_status":"published","publication":"34th Conference on Neural Information Processing Systems","abstract":[{"lang":"eng","text":"A natural approach to generative modeling of videos is to represent them as a composition of moving objects. Recent works model a set of 2D sprites over a slowly-varying background, but without considering the underlying 3D scene that\r\ngives rise to them. We instead propose to model a video as the view seen while moving through a scene with multiple 3D objects and a 3D background. Our model is trained from monocular videos without any supervision, yet learns to\r\ngenerate coherent 3D scenes containing several moving objects. We conduct detailed experiments on two datasets, going beyond the visual complexity supported by state-of-the-art generative approaches. We evaluate our method on\r\ndepth-prediction and 3D object detection---tasks which cannot be addressed by those earlier works---and show it out-performs them even on 2D instance segmentation and tracking."}],"intvolume":"        33"},{"isi":1,"article_processing_charge":"No","citation":{"mla":"Yu, Xiaoting, et al. “Phosphorous Incorporation in Pd2Sn Alloys for Electrocatalytic Ethanol Oxidation.” <i>Nano Energy</i>, vol. 77, no. 11, 105116, Elsevier, 2020, doi:<a href=\"https://doi.org/10.1016/j.nanoen.2020.105116\">10.1016/j.nanoen.2020.105116</a>.","ieee":"X. Yu <i>et al.</i>, “Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation,” <i>Nano Energy</i>, vol. 77, no. 11. Elsevier, 2020.","short":"X. Yu, J. Liu, J. Li, Z. Luo, Y. Zuo, C. Xing, J. Llorca, D. Nasiou, J. Arbiol, K. Pan, T. Kleinhanns, Y. Xie, A. Cabot, Nano Energy 77 (2020).","ama":"Yu X, Liu J, Li J, et al. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. <i>Nano Energy</i>. 2020;77(11). doi:<a href=\"https://doi.org/10.1016/j.nanoen.2020.105116\">10.1016/j.nanoen.2020.105116</a>","apa":"Yu, X., Liu, J., Li, J., Luo, Z., Zuo, Y., Xing, C., … Cabot, A. (2020). Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. <i>Nano Energy</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.nanoen.2020.105116\">https://doi.org/10.1016/j.nanoen.2020.105116</a>","chicago":"Yu, Xiaoting, Junfeng Liu, Junshan Li, Zhishan Luo, Yong Zuo, Congcong Xing, Jordi Llorca, et al. “Phosphorous Incorporation in Pd2Sn Alloys for Electrocatalytic Ethanol Oxidation.” <i>Nano Energy</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.nanoen.2020.105116\">https://doi.org/10.1016/j.nanoen.2020.105116</a>.","ista":"Yu X, Liu J, Li J, Luo Z, Zuo Y, Xing C, Llorca J, Nasiou D, Arbiol J, Pan K, Kleinhanns T, Xie Y, Cabot A. 2020. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. Nano Energy. 77(11), 105116."},"author":[{"first_name":"Xiaoting","last_name":"Yu","full_name":"Yu, Xiaoting"},{"first_name":"Junfeng","last_name":"Liu","full_name":"Liu, Junfeng"},{"full_name":"Li, Junshan","first_name":"Junshan","last_name":"Li"},{"last_name":"Luo","first_name":"Zhishan","full_name":"Luo, Zhishan"},{"last_name":"Zuo","first_name":"Yong","full_name":"Zuo, Yong"},{"last_name":"Xing","first_name":"Congcong","full_name":"Xing, Congcong"},{"full_name":"Llorca, Jordi","last_name":"Llorca","first_name":"Jordi"},{"full_name":"Nasiou, Déspina","last_name":"Nasiou","first_name":"Déspina"},{"full_name":"Arbiol, Jordi","last_name":"Arbiol","first_name":"Jordi"},{"first_name":"Kai","last_name":"Pan","full_name":"Pan, Kai"},{"full_name":"Kleinhanns, Tobias","last_name":"Kleinhanns","first_name":"Tobias","id":"8BD9DE16-AB3C-11E9-9C8C-2A03E6697425"},{"full_name":"Xie, Ying","first_name":"Ying","last_name":"Xie"},{"full_name":"Cabot, Andreu","first_name":"Andreu","last_name":"Cabot"}],"language":[{"iso":"eng"}],"acknowledgement":"This work was supported by the European Regional Development Funds and by the Spanish Ministerio de Economía y Competitividad through the project SEHTOP, ENE2016- 77798-C4-3-R, and ENE2017-85087-C3. X. Y. thanks the China Scholarship Council for the scholarship support. J. Liu acknowledges support from the Jiangsu University Foundation (4111510011). J. Li obtained International Postdoctoral Exchange Fellowship Program (Talent-Introduction program) in 2019 and is grateful for the project (2019M663468) funded by the China Postdoctoral Science Foundation. Authors acknowledge funding from Generalitat de Catalunya 2017 SGR 327 and 2017 SGR 1246, and from IST Austria. ICN2 acknowledges the support from the Severo Ochoa Programme (MINECO, grant no. SEV-2017-0706) and is funded by the CERCA Programme/Generalitat de Catalunya. J. Llorca is a Serra Húnter Fellow and is grateful to MICINN/FEDER RTI2018-093996-B-C31, GC 2017 SGR 128 and to ICREA Academia program.","oa":1,"publication_identifier":{"issn":["2211-2855"]},"volume":77,"scopus_import":"1","month":"11","title":"Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation","publication_status":"published","OA_place":"repository","publication":"Nano Energy","intvolume":"        77","abstract":[{"lang":"eng","text":"Direct ethanol fuel cells (DEFCs) show a huge potential to power future electric vehicles and portable electronics, but their deployment is currently limited by the unavailability of proper electrocatalysis for the ethanol oxidation reaction (EOR). In this work, we engineer a new electrocatalyst by incorporating phosphorous into a palladium-tin alloy and demonstrate a significant performance improvement toward EOR. We first detail a synthetic method to produce Pd2Sn:P nanocrystals that incorporate 35% of phosphorus. These nanoparticles are supported on carbon black and tested for EOR. Pd2Sn:P/C catalysts exhibit mass current densities up to 5.03 A mgPd−1, well above those of Pd2Sn/C, PdP2/C and Pd/C reference catalysts. Furthermore, a twofold lower Tafel slope and a much longer durability are revealed for the Pd2Sn:P/C catalyst compared with Pd/C. The performance improvement is rationalized with the aid of density functional theory (DFT) calculations considering different phosphorous chemical environments. Depending on its oxidation state, surface phosphorus introduces sites with low energy OH− adsorption and/or strongly influences the electronic structure of palladium and tin to facilitate the oxidation of the acetyl to acetic acid, which is considered the EOR rate limiting step. DFT calculations also points out that the durability improvement of Pd2Sn:P/C catalyst is associated to the promotion of OH adsorption that accelerates the oxidation of intermediate poisoning COads, reactivating the catalyst surface."}],"OA_type":"green","quality_controlled":"1","day":"01","main_file_link":[{"open_access":"1","url":"http://hdl.handle.net/2117/335346"}],"status":"public","date_published":"2020-11-01T00:00:00Z","date_created":"2020-08-02T22:00:57Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","article_type":"original","publisher":"Elsevier","year":"2020","issue":"11","_id":"8189","article_number":"105116","oa_version":"Submitted Version","doi":"10.1016/j.nanoen.2020.105116","date_updated":"2025-04-24T11:53:45Z","external_id":{"isi":["000581738300030"]},"department":[{"_id":"MaIb"}]},{"department":[{"_id":"DaAl"}],"external_id":{"isi":["000744436200004"]},"day":"06","quality_controlled":"1","date_updated":"2024-02-28T12:56:32Z","doi":"10.1145/3350755.3400213","publication":"Annual ACM Symposium on Parallelism in Algorithms and Architectures","abstract":[{"text":"There has been a significant amount of research on hardware and software support for efficient concurrent data structures; yet, the question of how to build correct, simple, and scalable data structures has not yet been definitively settled. In this paper, we revisit this question from a minimalist perspective, and ask: what is the smallest amount of synchronization required for correct and efficient concurrent search data structures, and how could this minimal synchronization support be provided in hardware?\r\n\r\nTo address these questions, we introduce memory tagging, a simple hardware mechanism which enables the programmer to \"tag\" a dynamic set of memory locations, at cache-line granularity, and later validate whether the memory has been concurrently modified, with the possibility of updating one of the underlying locations atomically if validation succeeds. We provide several examples showing that this mechanism can enable fast and arguably simple concurrent data structure designs, such as lists, binary search trees, balanced search trees, range queries, and Software Transactional Memory (STM) implementations. We provide an implementation of memory tags in the Graphite multi-core simulator, showing that the mechanism can be implemented entirely at the level of L1 cache, and that it can enable non-trivial speedups versus existing implementations of the above data structures.","lang":"eng"}],"oa_version":"None","title":"Memory tagging: Minimalist synchronization for scalable concurrent data structures","_id":"8191","publication_status":"published","issue":"7","conference":{"start_date":"2020-07-15","name":"SPAA: Symposium on Parallelism in Algorithms and Architectures","location":"Virtual Event, United States","end_date":"2020-07-17"},"year":"2020","scopus_import":"1","month":"07","type":"conference","publication_identifier":{"isbn":["9781450369350"]},"publisher":"Association for Computing Machinery","date_created":"2020-08-02T22:00:58Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian"},{"id":"3569F0A0-F248-11E8-B48F-1D18A9856A87","first_name":"Trevor A","last_name":"Brown","full_name":"Brown, Trevor A"},{"last_name":"Singhal","first_name":"Nandini","full_name":"Singhal, Nandini"}],"language":[{"iso":"eng"}],"status":"public","page":"37-49","article_processing_charge":"No","citation":{"ieee":"D.-A. Alistarh, T. A. Brown, and N. Singhal, “Memory tagging: Minimalist synchronization for scalable concurrent data structures,” in <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, Virtual Event, United States, 2020, no. 7, pp. 37–49.","mla":"Alistarh, Dan-Adrian, et al. “Memory Tagging: Minimalist Synchronization for Scalable Concurrent Data Structures.” <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, no. 7, Association for Computing Machinery, 2020, pp. 37–49, doi:<a href=\"https://doi.org/10.1145/3350755.3400213\">10.1145/3350755.3400213</a>.","apa":"Alistarh, D.-A., Brown, T. A., &#38; Singhal, N. (2020). Memory tagging: Minimalist synchronization for scalable concurrent data structures. In <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i> (pp. 37–49). Virtual Event, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3350755.3400213\">https://doi.org/10.1145/3350755.3400213</a>","ama":"Alistarh D-A, Brown TA, Singhal N. Memory tagging: Minimalist synchronization for scalable concurrent data structures. In: <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>. Association for Computing Machinery; 2020:37-49. doi:<a href=\"https://doi.org/10.1145/3350755.3400213\">10.1145/3350755.3400213</a>","ista":"Alistarh D-A, Brown TA, Singhal N. 2020. Memory tagging: Minimalist synchronization for scalable concurrent data structures. Annual ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 37–49.","chicago":"Alistarh, Dan-Adrian, Trevor A Brown, and Nandini Singhal. “Memory Tagging: Minimalist Synchronization for Scalable Concurrent Data Structures.” In <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, 37–49. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.1145/3350755.3400213\">https://doi.org/10.1145/3350755.3400213</a>.","short":"D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2020, pp. 37–49."},"isi":1,"date_published":"2020-07-06T00:00:00Z"},{"date_created":"2020-08-02T22:00:58Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2020-06-01T00:00:00Z","status":"public","conference":{"name":"ICAPS: International Conference on Automated Planning and Scheduling","start_date":"2020-10-26","location":"Nancy, France","end_date":"2020-10-30"},"year":"2020","publisher":"Association for the Advancement of Artificial Intelligence","type":"conference","oa_version":"None","_id":"8193","department":[{"_id":"KrCh"}],"related_material":{"record":[{"relation":"dissertation_contains","id":"8390","status":"public"}]},"date_updated":"2026-04-08T07:26:44Z","acknowledgement":"Krishnendu Chatterjee is supported by the Austrian ScienceFund (FWF) NFN Grant No. S11407-N23 (RiSE/SHiNE),and COST Action GAMENET. Petr Novotn ́y is supported bythe Czech Science Foundation grant No. GJ19-15134Y.","project":[{"grant_number":"S11407","name":"Game Theory","call_identifier":"FWF","_id":"25863FF4-B435-11E9-9278-68D0E5697425"}],"language":[{"iso":"eng"}],"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"full_name":"Chmelik, Martin","last_name":"Chmelik","id":"3624234E-F248-11E8-B48F-1D18A9856A87","first_name":"Martin"},{"first_name":"Deep","last_name":"Karkhanis","full_name":"Karkhanis, Deep"},{"first_name":"Petr","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","last_name":"Novotný","full_name":"Novotný, Petr"},{"last_name":"Royer","first_name":"Amélie","id":"3811D890-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8407-0705","full_name":"Royer, Amélie"}],"citation":{"ieee":"K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, and A. Royer, “Multiple-environment Markov decision processes: Efficient analysis and applications,” in <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>, Nancy, France, 2020, vol. 30, pp. 48–56.","mla":"Chatterjee, Krishnendu, et al. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>, vol. 30, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.","short":"K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.","chicago":"Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný, and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” In <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>, 30:48–56. Association for the Advancement of Artificial Intelligence, 2020.","ista":"Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 30, 48–56.","ama":"Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. Multiple-environment Markov decision processes: Efficient analysis and applications. In: <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i>. Vol 30. Association for the Advancement of Artificial Intelligence; 2020:48-56.","apa":"Chatterjee, K., Chmelik, M., Karkhanis, D., Novotný, P., &#38; Royer, A. (2020). Multiple-environment Markov decision processes: Efficient analysis and applications. In <i>Proceedings of the 30th International Conference on Automated Planning and Scheduling</i> (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement of Artificial Intelligence."},"article_processing_charge":"No","page":"48-56","month":"06","scopus_import":"1","volume":30,"publication_identifier":{"eissn":["2334-0843"],"issn":["2334-0835"]},"intvolume":"        30","abstract":[{"text":"Multiple-environment Markov decision processes (MEMDPs) are MDPs equipped with not one, but multiple probabilistic transition functions, which represent the various possible unknown environments. While the previous research on MEMDPs focused on theoretical properties for long-run average payoff, we study them with discounted-sum payoff and focus on their practical advantages and applications. MEMDPs can be viewed as a special case of Partially observable and Mixed observability MDPs: the state of the system is perfectly observable, but not the environment. We show that the specific structure of MEMDPs allows for more efficient algorithmic analysis, in particular for faster belief updates. We demonstrate the applicability of MEMDPs in several domains. In particular, we formalize the sequential decision-making approach to contextual recommendation systems as MEMDPs and substantially improve over the previous MDP approach.","lang":"eng"}],"publication":"Proceedings of the 30th International Conference on Automated Planning and Scheduling","title":"Multiple-environment Markov decision processes: Efficient analysis and applications","publication_status":"published","day":"01","quality_controlled":"1"},{"department":[{"_id":"ToHe"}],"external_id":{"isi":["000884318000002"]},"date_updated":"2026-06-18T19:31:14Z","doi":"10.1007/978-3-030-51074-9_2","oa_version":"Published Version","_id":"8194","alternative_title":["LNCS"],"ddc":["000"],"conference":{"name":"IJCAR: International Joint Conference on Automated Reasoning","start_date":"2020-07-01","end_date":"2020-07-04","location":"Paris, France"},"year":"2020","publisher":"Springer Nature","type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2020-08-02T22:00:59Z","date_published":"2020-06-24T00:00:00Z","status":"public","main_file_link":[{"url":"https://doi.org/10.1007/978-3-030-51074-9_2","open_access":"1"}],"day":"24","quality_controlled":"1","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."}],"intvolume":"     12166","publication":"Automated Reasoning","title":"An SMT theory of fixed-point arithmetic","publication_status":"published","month":"06","scopus_import":"1","volume":12166,"publication_identifier":{"eissn":["1611-3349"],"isbn":["9783030510732"],"issn":["0302-9743"]},"oa":1,"language":[{"iso":"eng"}],"project":[{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems"}],"author":[{"full_name":"Baranowski, Marek","last_name":"Baranowski","first_name":"Marek"},{"full_name":"He, Shaobo","last_name":"He","first_name":"Shaobo"},{"full_name":"Lechner, Mathias","first_name":"Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","last_name":"Lechner"},{"full_name":"Nguyen, Thanh Son","last_name":"Nguyen","first_name":"Thanh Son"},{"full_name":"Rakamarić, Zvonimir","last_name":"Rakamarić","first_name":"Zvonimir"}],"isi":1,"article_processing_charge":"No","citation":{"short":"M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.","ama":"Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: <i>Automated Reasoning</i>. Vol 12166. Springer Nature; 2020:13-31. doi:<a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">10.1007/978-3-030-51074-9_2</a>","apa":"Baranowski, M., He, S., Lechner, M., Nguyen, T. S., &#38; Rakamarić, Z. (2020). An SMT theory of fixed-point arithmetic. In <i>Automated Reasoning</i> (Vol. 12166, pp. 13–31). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">https://doi.org/10.1007/978-3-030-51074-9_2</a>","chicago":"Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In <i>Automated Reasoning</i>, 12166:13–31. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">https://doi.org/10.1007/978-3-030-51074-9_2</a>.","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.","ieee":"M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in <i>Automated Reasoning</i>, Paris, France, 2020, vol. 12166, pp. 13–31.","mla":"Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” <i>Automated Reasoning</i>, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:<a href=\"https://doi.org/10.1007/978-3-030-51074-9_2\">10.1007/978-3-030-51074-9_2</a>."},"page":"13-31"},{"oa":1,"acknowledgement":"Bernhard Kragl and Thomas A. Henzinger were supported by\r\nthe Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","author":[{"orcid":"0000-0001-7745-9117","full_name":"Kragl, Bernhard","last_name":"Kragl","first_name":"Bernhard","id":"320FC952-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Qadeer","first_name":"Shaz","full_name":"Qadeer, Shaz"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A"}],"language":[{"iso":"eng"}],"project":[{"call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211"}],"page":"275-298","citation":{"mla":"Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” <i>Computer Aided Verification</i>, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:<a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">10.1007/978-3-030-53288-8_14</a>.","ieee":"B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in <i>Computer Aided Verification</i>, 2020, vol. 12224, pp. 275–298.","short":"B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.","chicago":"Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In <i>Computer Aided Verification</i>, 12224:275–98. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">https://doi.org/10.1007/978-3-030-53288-8_14</a>.","ista":"Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.","apa":"Kragl, B., Qadeer, S., &#38; Henzinger, T. A. (2020). Refinement for structured concurrent programs. In <i>Computer Aided Verification</i> (Vol. 12224, pp. 275–298). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">https://doi.org/10.1007/978-3-030-53288-8_14</a>","ama":"Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: <i>Computer Aided Verification</i>. Vol 12224. Springer Nature; 2020:275-298. doi:<a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">10.1007/978-3-030-53288-8_14</a>"},"isi":1,"article_processing_charge":"No","volume":12224,"month":"07","scopus_import":"1","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783030532871"],"issn":["0302-9743"],"eisbn":["9783030532888"]},"publication":"Computer Aided Verification","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."}],"intvolume":"     12224","has_accepted_license":"1","corr_author":"1","publication_status":"published","title":"Refinement for structured concurrent programs","day":"14","quality_controlled":"1","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_created":"2020-08-03T11:45:35Z","status":"public","date_published":"2020-07-14T00:00:00Z","ddc":["000"],"year":"2020","license":"https://creativecommons.org/licenses/by/4.0/","type":"conference","publisher":"Springer Nature","doi":"10.1007/978-3-030-53288-8_14","tmp":{"short":"CC BY (4.0)","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)"},"file_date_updated":"2020-08-06T08:14:54Z","oa_version":"Published Version","alternative_title":["LNCS"],"_id":"8195","file":[{"success":1,"content_type":"application/pdf","date_created":"2020-08-06T08:14:54Z","relation":"main_file","file_id":"8201","file_size":804237,"file_name":"2020_LNCS_Kragl.pdf","creator":"dernst","date_updated":"2020-08-06T08:14:54Z","access_level":"open_access"}],"department":[{"_id":"ToHe"}],"external_id":{"isi":["000695276000014"]},"date_updated":"2026-04-08T07:23:52Z","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"8332"}]}},{"doi":"10.21468/scipostphys.9.1.015","tmp":{"short":"CC BY (4.0)","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)"},"oa_version":"Published Version","file_date_updated":"2020-08-06T08:56:06Z","article_number":"015","_id":"8199","file":[{"relation":"main_file","date_created":"2020-08-06T08:56:06Z","content_type":"application/pdf","success":1,"access_level":"open_access","date_updated":"2020-08-06T08:56:06Z","creator":"dernst","file_size":531137,"file_name":"2020_SciPostPhys_Gulden.pdf","file_id":"8202"}],"department":[{"_id":"MaSe"}],"external_id":{"isi":["000557362300008"]},"date_updated":"2025-04-14T07:44:05Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_created":"2020-08-04T13:04:15Z","date_published":"2020-07-29T00:00:00Z","status":"public","ddc":["530"],"year":"2020","publisher":"SciPost Foundation","article_type":"original","type":"journal_article","ec_funded":1,"abstract":[{"text":"We investigate a mechanism to transiently stabilize topological phenomena in long-lived quasi-steady states of isolated quantum many-body systems driven at low frequencies. We obtain an analytical bound for the lifetime of the quasi-steady states which is exponentially large in the inverse driving frequency. Within this lifetime, the quasi-steady state is characterized by maximum entropy subject to the constraint of fixed number of particles in the system's Floquet-Bloch bands. In such a state, all the non-universal properties of these bands are washed out, hence only the topological properties persist.","lang":"eng"}],"intvolume":"         9","publication":"SciPost Physics","corr_author":"1","title":"Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps","publication_status":"published","has_accepted_license":"1","day":"29","quality_controlled":"1","oa":1,"acknowledgement":"N.L., T.G. and E.B. acknowledge support from the European Research Council (ERC) under\r\nthe European Union Horizon 2020 Research and Innovation Programme (Grant Agreement\r\nNo. 639172). T.G. was in part supported by an Aly Kaufman Fellowship at the Technion. T.G.\r\nacknowledges funding from the Institute of Science and Technology (IST) Austria, and from\r\nthe European Union’s Horizon 2020 research and innovation programme under the Marie\r\nSkłodowska-Curie Grant Agreement No. 754411. N.L. acknowledges support from the People Programme (Marie Curie Actions) of the European Unions Seventh Framework 546 Programme (FP7/20072013), under REA Grant Agreement No. 631696, and by the Israeli Center\r\nof Research Excellence (I-CORE) Circle of Light funded by the Israel Science Foundation (Grant\r\nNo. 1802/12). M.R. gratefully acknowledges the support of the European Research Council\r\n(ERC) under the European Union Horizon 2020 Research and Innovation Programme (Grant\r\nAgreement No. 678862). M.R. acknowledges the support of the Villum Foundation. M.R. and\r\nE.B. acknowledge support from CRC 183 of the Deutsche Forschungsgemeinschaft","project":[{"grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020"}],"language":[{"iso":"eng"}],"author":[{"full_name":"Gulden, Tobias","orcid":"0000-0001-6814-7541","first_name":"Tobias","id":"1083E038-9F73-11E9-A4B5-532AE6697425","last_name":"Gulden"},{"first_name":"Erez","last_name":"Berg","full_name":"Berg, Erez"},{"last_name":"Rudner","first_name":"Mark Spencer","full_name":"Rudner, Mark Spencer"},{"full_name":"Lindner, Netanel","first_name":"Netanel","last_name":"Lindner"}],"article_processing_charge":"No","citation":{"chicago":"Gulden, Tobias, Erez Berg, Mark Spencer Rudner, and Netanel Lindner. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” <i>SciPost Physics</i>. SciPost Foundation, 2020. <a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">https://doi.org/10.21468/scipostphys.9.1.015</a>.","ista":"Gulden T, Berg E, Rudner MS, Lindner N. 2020. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 9, 015.","apa":"Gulden, T., Berg, E., Rudner, M. S., &#38; Lindner, N. (2020). Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. <i>SciPost Physics</i>. SciPost Foundation. <a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">https://doi.org/10.21468/scipostphys.9.1.015</a>","ama":"Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. <i>SciPost Physics</i>. 2020;9. doi:<a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">10.21468/scipostphys.9.1.015</a>","short":"T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).","ieee":"T. Gulden, E. Berg, M. S. Rudner, and N. Lindner, “Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps,” <i>SciPost Physics</i>, vol. 9. SciPost Foundation, 2020.","mla":"Gulden, Tobias, et al. “Exponentially Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.” <i>SciPost Physics</i>, vol. 9, 015, SciPost Foundation, 2020, doi:<a href=\"https://doi.org/10.21468/scipostphys.9.1.015\">10.21468/scipostphys.9.1.015</a>."},"isi":1,"month":"07","scopus_import":"1","volume":9,"publication_identifier":{"issn":["2542-4653"]}},{"type":"journal_article","article_type":"original","publisher":"American Chemical Society","ddc":["530"],"issue":"7","pmid":1,"acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"M-Shop"}],"year":"2020","status":"public","date_published":"2020-06-01T00:00:00Z","date_created":"2020-08-06T09:25:04Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","external_id":{"pmid":["32479090"],"isi":["000548893200066"]},"related_material":{"record":[{"relation":"research_data","id":"7689","status":"public"}]},"date_updated":"2025-04-15T08:39:16Z","department":[{"_id":"GeKa"}],"file_date_updated":"2020-08-06T09:35:37Z","oa_version":"Published Version","_id":"8203","file":[{"content_type":"application/pdf","success":1,"date_created":"2020-08-06T09:35:37Z","relation":"main_file","file_id":"8204","file_size":3308906,"file_name":"2020_NanoLetters_Katsaros.pdf","creator":"dernst","date_updated":"2020-08-06T09:35:37Z","access_level":"open_access"}],"tmp":{"short":"CC BY (4.0)","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)"},"doi":"10.1021/acs.nanolett.0c01466","publication_identifier":{"eissn":["1530-6992"],"issn":["1530-6984"]},"volume":20,"scopus_import":"1","month":"06","author":[{"last_name":"Katsaros","first_name":"Georgios","id":"38DB5788-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8342-202X","full_name":"Katsaros, Georgios"},{"full_name":"Kukucka, Josip","last_name":"Kukucka","id":"3F5D8856-F248-11E8-B48F-1D18A9856A87","first_name":"Josip"},{"full_name":"Vukušić, Lada","orcid":"0000-0003-2424-8636","id":"31E9F056-F248-11E8-B48F-1D18A9856A87","first_name":"Lada","last_name":"Vukušić"},{"full_name":"Watzinger, Hannes","first_name":"Hannes","id":"35DF8E50-F248-11E8-B48F-1D18A9856A87","last_name":"Watzinger"},{"full_name":"Gao, Fei","last_name":"Gao","first_name":"Fei"},{"orcid":"0000-0002-4619-9575","full_name":"Wang, Ting","last_name":"Wang","first_name":"Ting"},{"full_name":"Zhang, Jian-Jun","last_name":"Zhang","first_name":"Jian-Jun"},{"full_name":"Held, Karsten","first_name":"Karsten","last_name":"Held"}],"language":[{"iso":"eng"}],"project":[{"call_identifier":"FWF","name":"Towards scalable hut wire quantum devices","_id":"237B3DA4-32DE-11EA-91FC-C7463DDC885E","grant_number":"P32235"},{"_id":"237E5020-32DE-11EA-91FC-C7463DDC885E","name":"TOPOLOGICALLY PROTECTED AND SCALABLE QUANTUM BITS","call_identifier":"H2020","grant_number":"862046"}],"page":"5201-5206","isi":1,"article_processing_charge":"Yes (via OA deal)","citation":{"mla":"Katsaros, Georgios, et al. “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” <i>Nano Letters</i>, vol. 20, no. 7, American Chemical Society, 2020, pp. 5201–06, doi:<a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">10.1021/acs.nanolett.0c01466</a>.","ieee":"G. Katsaros <i>et al.</i>, “Zero field splitting of heavy-hole states in quantum dots,” <i>Nano Letters</i>, vol. 20, no. 7. American Chemical Society, pp. 5201–5206, 2020.","short":"G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.","ista":"Katsaros G, Kukucka J, Vukušić L, Watzinger H, Gao F, Wang T, Zhang J-J, Held K. 2020. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 20(7), 5201–5206.","chicago":"Katsaros, Georgios, Josip Kukucka, Lada Vukušić, Hannes Watzinger, Fei Gao, Ting Wang, Jian-Jun Zhang, and Karsten Held. “Zero Field Splitting of Heavy-Hole States in Quantum Dots.” <i>Nano Letters</i>. American Chemical Society, 2020. <a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">https://doi.org/10.1021/acs.nanolett.0c01466</a>.","ama":"Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole states in quantum dots. <i>Nano Letters</i>. 2020;20(7):5201-5206. doi:<a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">10.1021/acs.nanolett.0c01466</a>","apa":"Katsaros, G., Kukucka, J., Vukušić, L., Watzinger, H., Gao, F., Wang, T., … Held, K. (2020). Zero field splitting of heavy-hole states in quantum dots. <i>Nano Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acs.nanolett.0c01466\">https://doi.org/10.1021/acs.nanolett.0c01466</a>"},"oa":1,"acknowledgement":"We acknowledge G. Burkard, V. N. Golovach, C. Kloeffel, D.Loss, P. Rabl, and M. Rancič ́ for helpful discussions. We\r\nfurther acknowledge T. Adletzberger, J. Aguilera, T. Asenov, S. Bagiante, T. Menner, L. Shafeek, P. Taus, P. Traunmüller, and D. Waldhausl for their invaluable assistance. This research was supported by the Scientific Service Units of IST Austria through resources provided by the MIBA Machine Shop and the nanofabrication facility, by the FWF-P 32235 project, by the National Key R&D Program of China (2016YFA0301701, 2016YFA0300600), and by the European Union’s Horizon 2020 research and innovation program under grant agreement no. 862046. All data of this publication are available at 10.15479/AT:ISTA:7689.","day":"01","quality_controlled":"1","publication":"Nano Letters","abstract":[{"text":"Using inelastic cotunneling spectroscopy we observe a zero field splitting within the spin triplet manifold of Ge hut wire quantum dots. The states with spin ±1 in the confinement direction are energetically favored by up to 55 μeV compared to the spin 0 triplet state because of the strong spin–orbit coupling. The reported effect should be observable in a broad class of strongly confined hole quantum-dot systems and might need to be considered when operating hole spin qubits.","lang":"eng"}],"intvolume":"        20","has_accepted_license":"1","title":"Zero field splitting of heavy-hole states in quantum dots","publication_status":"published","corr_author":"1","ec_funded":1},{"article_processing_charge":"No","isi":1,"citation":{"apa":"Corominas-Murtra, B., Scheele, C. L. G. J., Kishi, K., Ellenbroek, S. I. J., Simons, B. D., Van Rheenen, J., &#38; Hannezo, E. B. (2020). Stem cell lineage survival as a noisy competition for niche access. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.1921205117\">https://doi.org/10.1073/pnas.1921205117</a>","ama":"Corominas-Murtra B, Scheele CLGJ, Kishi K, et al. Stem cell lineage survival as a noisy competition for niche access. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. 2020;117(29):16969-16975. doi:<a href=\"https://doi.org/10.1073/pnas.1921205117\">10.1073/pnas.1921205117</a>","ista":"Corominas-Murtra B, Scheele CLGJ, Kishi K, Ellenbroek SIJ, Simons BD, Van Rheenen J, Hannezo EB. 2020. Stem cell lineage survival as a noisy competition for niche access. Proceedings of the National Academy of Sciences of the United States of America. 117(29), 16969–16975.","chicago":"Corominas-Murtra, Bernat, Colinda L.G.J. Scheele, Kasumi Kishi, Saskia I.J. Ellenbroek, Benjamin D. Simons, Jacco Van Rheenen, and Edouard B Hannezo. “Stem Cell Lineage Survival as a Noisy Competition for Niche Access.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences, 2020. <a href=\"https://doi.org/10.1073/pnas.1921205117\">https://doi.org/10.1073/pnas.1921205117</a>.","short":"B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D. Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 16969–16975.","mla":"Corominas-Murtra, Bernat, et al. “Stem Cell Lineage Survival as a Noisy Competition for Niche Access.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 117, no. 29, National Academy of Sciences, 2020, pp. 16969–75, doi:<a href=\"https://doi.org/10.1073/pnas.1921205117\">10.1073/pnas.1921205117</a>.","ieee":"B. Corominas-Murtra <i>et al.</i>, “Stem cell lineage survival as a noisy competition for niche access,” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 117, no. 29. National Academy of Sciences, pp. 16969–16975, 2020."},"page":"16969-16975","project":[{"grant_number":"851288","name":"Design Principles of Branching Morphogenesis","call_identifier":"H2020","_id":"05943252-7A3F-11EA-A408-12923DDC885E"}],"language":[{"iso":"eng"}],"author":[{"last_name":"Corominas-Murtra","first_name":"Bernat","id":"43BE2298-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9806-5643","full_name":"Corominas-Murtra, Bernat"},{"full_name":"Scheele, Colinda L.G.J.","first_name":"Colinda L.G.J.","last_name":"Scheele"},{"orcid":"0000-0001-6060-4795","full_name":"Kishi, Kasumi","last_name":"Kishi","id":"3065DFC4-F248-11E8-B48F-1D18A9856A87","first_name":"Kasumi"},{"full_name":"Ellenbroek, Saskia I.J.","last_name":"Ellenbroek","first_name":"Saskia I.J."},{"last_name":"Simons","first_name":"Benjamin D.","full_name":"Simons, Benjamin D."},{"first_name":"Jacco","last_name":"Van Rheenen","full_name":"Van Rheenen, Jacco"},{"orcid":"0000-0001-6005-1561","full_name":"Hannezo, Edouard B","last_name":"Hannezo","first_name":"Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87"}],"acknowledgement":"We thank all members of the E.H., B.D.S., and J.v.R. groups for stimulating discussions. This project was supported by\r\nthe European Research Council (648804 to J.v.R. and 851288 to E.H.). It has also received support from the CancerGenomics.nl (Netherlands Organization for Scientific Research) program (J.v.R.) and the Doctor Josef Steiner Foundation (J.v.R). B.D.S. was supported by Royal Society E. P. Abraham Research Professorship RP/R1/180165 and Wellcome Trust Grant 098357/Z/12/Z.","oa":1,"publication_identifier":{"eissn":["1091-6490"]},"month":"07","scopus_import":"1","volume":117,"publication_status":"published","corr_author":"1","title":"Stem cell lineage survival as a noisy competition for niche access","has_accepted_license":"1","intvolume":"       117","abstract":[{"lang":"eng","text":"Understanding to what extent stem cell potential is a cell-intrinsic property or an emergent behavior coming from global tissue dynamics and geometry is a key outstanding question of systems and stem cell biology. Here, we propose a theory of stem cell dynamics as a stochastic competition for access to a spatially localized niche, giving rise to a stochastic conveyor-belt model. Cell divisions produce a steady cellular stream which advects cells away from the niche, while random rearrangements enable cells away from the niche to be favorably repositioned. Importantly, even when assuming that all cells in a tissue are molecularly equivalent, we predict a common (“universal”) functional dependence of the long-term clonal survival probability on distance from the niche, as well as the emergence of a well-defined number of functional stem cells, dependent only on the rate of random movements vs. mitosis-driven advection. We test the predictions of this theory on datasets of pubertal mammary gland tips and embryonic kidney tips, as well as homeostatic intestinal crypts. Importantly, we find good agreement for the predicted functional dependency of the competition as a function of position, and thus functional stem cell number in each organ. This argues for a key role of positional fluctuations in dictating stem cell number and dynamics, and we discuss the applicability of this theory to other settings."}],"publication":"Proceedings of the National Academy of Sciences of the United States of America","ec_funded":1,"quality_controlled":"1","day":"21","date_published":"2020-07-21T00:00:00Z","status":"public","date_created":"2020-08-09T22:00:52Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publisher":"National Academy of Sciences","article_type":"original","type":"journal_article","year":"2020","issue":"29","pmid":1,"ddc":["570"],"_id":"8220","file":[{"file_id":"8223","file_name":"2020_PNAS_Corominas.pdf","file_size":1111604,"creator":"dernst","date_updated":"2020-08-10T06:50:28Z","access_level":"open_access","success":1,"content_type":"application/pdf","date_created":"2020-08-10T06:50:28Z","relation":"main_file"}],"oa_version":"Published Version","file_date_updated":"2020-08-10T06:50:28Z","doi":"10.1073/pnas.1921205117","tmp":{"short":"CC BY (4.0)","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)"},"related_material":{"link":[{"url":"https://ist.ac.at/en/news/order-from-noise/","relation":"press_release"}]},"date_updated":"2026-04-03T09:29:04Z","external_id":{"isi":["000553292900014"],"pmid":["32611816"]},"department":[{"_id":"EdHa"}]},{"article_processing_charge":"No","citation":{"ista":"Köhler VK, Crescioli S, Singer J, Bax HJ, Hofer G, Pranger CL, Hufnagl K, Bianchini R, Flicker S, Keller W, Karagiannis SN, Jensen-Jarolim E. 2020. Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1. International Journal of Molecular Sciences. 21(16), 5693.","chicago":"Köhler, Verena K., Silvia Crescioli, Judit Singer, Heather J. Bax, Gerhard Hofer, Christina L. Pranger, Karin Hufnagl, et al. “Filling the Antibody Pipeline in Allergy: PIPE Cloning of IgE, IgG1 and IgG4 against the Major Birch Pollen Allergen Bet v 1.” <i>International Journal of Molecular Sciences</i>. MDPI, 2020. <a href=\"https://doi.org/10.3390/ijms21165693\">https://doi.org/10.3390/ijms21165693</a>.","apa":"Köhler, V. K., Crescioli, S., Singer, J., Bax, H. J., Hofer, G., Pranger, C. L., … Jensen-Jarolim, E. (2020). Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1. <i>International Journal of Molecular Sciences</i>. MDPI. <a href=\"https://doi.org/10.3390/ijms21165693\">https://doi.org/10.3390/ijms21165693</a>","ama":"Köhler VK, Crescioli S, Singer J, et al. Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1. <i>International Journal of Molecular Sciences</i>. 2020;21(16). doi:<a href=\"https://doi.org/10.3390/ijms21165693\">10.3390/ijms21165693</a>","short":"V.K. Köhler, S. Crescioli, J. Singer, H.J. Bax, G. Hofer, C.L. Pranger, K. Hufnagl, R. Bianchini, S. Flicker, W. Keller, S.N. Karagiannis, E. Jensen-Jarolim, International Journal of Molecular Sciences 21 (2020).","mla":"Köhler, Verena K., et al. “Filling the Antibody Pipeline in Allergy: PIPE Cloning of IgE, IgG1 and IgG4 against the Major Birch Pollen Allergen Bet v 1.” <i>International Journal of Molecular Sciences</i>, vol. 21, no. 16, 5693, MDPI, 2020, doi:<a href=\"https://doi.org/10.3390/ijms21165693\">10.3390/ijms21165693</a>.","ieee":"V. K. Köhler <i>et al.</i>, “Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1,” <i>International Journal of Molecular Sciences</i>, vol. 21, no. 16. MDPI, 2020."},"language":[{"iso":"eng"}],"author":[{"orcid":"0000-0001-5581-398X","full_name":"Köhler, Verena K.","last_name":"Köhler","first_name":"Verena K."},{"full_name":"Crescioli, Silvia","orcid":"0000-0002-1909-5957","first_name":"Silvia","last_name":"Crescioli"},{"full_name":"Fazekas-Singer, Judit","orcid":"0000-0002-8777-3502","id":"36432834-F248-11E8-B48F-1D18A9856A87","first_name":"Judit","last_name":"Fazekas-Singer"},{"first_name":"Heather J.","last_name":"Bax","full_name":"Bax, Heather J.","orcid":"0000-0003-0432-4160"},{"full_name":"Hofer, Gerhard","last_name":"Hofer","first_name":"Gerhard"},{"last_name":"Pranger","first_name":"Christina L.","full_name":"Pranger, Christina L."},{"first_name":"Karin","last_name":"Hufnagl","full_name":"Hufnagl, Karin"},{"last_name":"Bianchini","first_name":"Rodolfo","orcid":"0000-0003-0351-6937","full_name":"Bianchini, Rodolfo"},{"last_name":"Flicker","first_name":"Sabine","orcid":"0000-0003-4768-8693","full_name":"Flicker, Sabine"},{"full_name":"Keller, Walter","orcid":"0000-0002-2261-958X","first_name":"Walter","last_name":"Keller"},{"full_name":"Karagiannis, Sophia N.","orcid":"0000-0002-4100-7810","first_name":"Sophia N.","last_name":"Karagiannis"},{"full_name":"Jensen-Jarolim, Erika","orcid":"0000-0003-4019-5765","first_name":"Erika","last_name":"Jensen-Jarolim"}],"oa":1,"publication_identifier":{"issn":["1422-0067"]},"month":"08","volume":21,"publication_status":"published","title":"Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1","has_accepted_license":"1","intvolume":"        21","abstract":[{"lang":"eng","text":"Birch pollen allergy is among the most prevalent pollen allergies in Northern and Central Europe. This IgE-mediated disease can be treated with allergen immunotherapy (AIT), which typically gives rise to IgG antibodies inducing tolerance. Although the main mechanisms of allergen immunotherapy (AIT) are known, questions regarding possible Fc-mediated effects of IgG antibodies remain unanswered. This can mainly be attributed to the unavailability of appropriate tools, i.e., well-characterised recombinant antibodies (rAbs). We hereby aimed at providing human rAbs of several classes for mechanistic studies and as possible candidates for passive immunotherapy. We engineered IgE, IgG1, and IgG4 sharing the same variable region against the major birch pollen allergen Bet v 1 using Polymerase Incomplete Primer Extension (PIPE) cloning. We tested IgE functionality and IgG blocking capabilities using appropriate model cell lines. In vitro studies showed IgE engagement with FcεRI and CD23 and Bet v 1-dependent degranulation. Overall, we hereby present fully functional, human IgE, IgG1, and IgG4 sharing the same variable region against Bet v 1 and showcase possible applications in first mechanistic studies. Furthermore, our IgG antibodies might be useful candidates for passive immunotherapy of birch pollen allergy."}],"publication":"International Journal of Molecular Sciences","OA_place":"publisher","OA_type":"gold","quality_controlled":"1","day":"08","date_published":"2020-08-08T00:00:00Z","status":"public","user_id":"0043cee0-e5fc-11ee-9736-f83bc23afbf0","date_created":"2020-08-10T11:47:29Z","publisher":"MDPI","type":"journal_article","article_type":"original","year":"2020","pmid":1,"issue":"16","ddc":["570"],"_id":"8225","article_number":"5693","file":[{"relation":"main_file","content_type":"application/pdf","success":1,"date_created":"2020-09-10T07:06:22Z","checksum":"dac7ccef7cdcea9be292664d8c488425","date_updated":"2020-09-10T07:06:22Z","access_level":"open_access","creator":"dernst","file_id":"8356","file_name":"2020_IntMolecSciences_Koehler.pdf","file_size":2680908}],"oa_version":"Published Version","DOAJ_listed":"1","file_date_updated":"2020-09-10T07:06:22Z","tmp":{"short":"CC BY (4.0)","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)"},"doi":"10.3390/ijms21165693","extern":"1","date_updated":"2024-10-15T13:11:23Z","external_id":{"pmid":["32784509"]}},{"month":"04","year":"2020","publisher":"Wiley","type":"journal_article","publication_identifier":{"issn":["0105-4538","1398-9995"]},"article_type":"letter_note","date_created":"2020-08-10T11:50:30Z","user_id":"0043cee0-e5fc-11ee-9736-f83bc23afbf0","oa":1,"language":[{"iso":"eng"}],"author":[{"last_name":"Gotovina","first_name":"Jelena","orcid":"0000-0003-1503-5276","full_name":"Gotovina, Jelena"},{"first_name":"Rodolfo","last_name":"Bianchini","full_name":"Bianchini, Rodolfo","orcid":"0000-0003-0351-6937"},{"full_name":"Fazekas-Singer, Judit","orcid":"0000-0002-8777-3502","first_name":"Judit","id":"36432834-F248-11E8-B48F-1D18A9856A87","last_name":"Fazekas-Singer"},{"full_name":"Herrmann, Ina","orcid":"0000-0003-2772-9144","first_name":"Ina","last_name":"Herrmann"},{"orcid":"0000-0003-0387-1912","full_name":"Pellizzari, Giulia","last_name":"Pellizzari","first_name":"Giulia"},{"orcid":"0000-0002-5301-0822","full_name":"Haidl, Ian D.","last_name":"Haidl","first_name":"Ian D."},{"full_name":"Hufnagl, Karin","orcid":"0000-0002-2288-2468","first_name":"Karin","last_name":"Hufnagl"},{"full_name":"Karagiannis, Sophia N.","orcid":"0000-0002-4100-7810","first_name":"Sophia N.","last_name":"Karagiannis"},{"last_name":"Marshall","first_name":"Jean S.","orcid":"0000-0002-5642-1379","full_name":"Marshall, Jean S."},{"full_name":"Jensen‐Jarolim, Erika","orcid":"0000-0003-4019-5765","first_name":"Erika","last_name":"Jensen‐Jarolim"}],"article_processing_charge":"No","citation":{"ieee":"J. Gotovina <i>et al.</i>, “Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro,” <i>Allergy</i>. Wiley, 2020.","mla":"Gotovina, Jelena, et al. “Epinephrine Drives Human M2a Allergic Macrophages to a Regulatory Phenotype Reducing Mast Cell Degranulation in Vitro.” <i>Allergy</i>, Wiley, 2020, doi:<a href=\"https://doi.org/10.1111/all.14299\">10.1111/all.14299</a>.","ama":"Gotovina J, Bianchini R, Singer J, et al. Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. <i>Allergy</i>. 2020. doi:<a href=\"https://doi.org/10.1111/all.14299\">10.1111/all.14299</a>","apa":"Gotovina, J., Bianchini, R., Singer, J., Herrmann, I., Pellizzari, G., Haidl, I. D., … Jensen‐Jarolim, E. (2020). Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. <i>Allergy</i>. Wiley. <a href=\"https://doi.org/10.1111/all.14299\">https://doi.org/10.1111/all.14299</a>","chicago":"Gotovina, Jelena, Rodolfo Bianchini, Judit Singer, Ina Herrmann, Giulia Pellizzari, Ian D. Haidl, Karin Hufnagl, Sophia N. Karagiannis, Jean S. Marshall, and Erika Jensen‐Jarolim. “Epinephrine Drives Human M2a Allergic Macrophages to a Regulatory Phenotype Reducing Mast Cell Degranulation in Vitro.” <i>Allergy</i>. Wiley, 2020. <a href=\"https://doi.org/10.1111/all.14299\">https://doi.org/10.1111/all.14299</a>.","ista":"Gotovina J, Bianchini R, Singer J, Herrmann I, Pellizzari G, Haidl ID, Hufnagl K, Karagiannis SN, Marshall JS, Jensen‐Jarolim E. 2020. Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. Allergy.","short":"J. Gotovina, R. Bianchini, J. Singer, I. Herrmann, G. Pellizzari, I.D. Haidl, K. Hufnagl, S.N. Karagiannis, J.S. Marshall, E. Jensen‐Jarolim, Allergy (2020)."},"date_published":"2020-04-04T00:00:00Z","status":"public","main_file_link":[{"url":"https://doi.org/10.1111/all.14299","open_access":"1"}],"day":"04","extern":"1","quality_controlled":"1","date_updated":"2024-10-15T13:13:56Z","OA_type":"hybrid","doi":"10.1111/all.14299","oa_version":"Published Version","publication":"Allergy","OA_place":"publisher","title":"Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro","_id":"8226","publication_status":"epub_ahead"},{"tmp":{"short":"CC BY (4.0)","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)"},"doi":"10.15479/AT:ISTA:8254","_id":"8254","title":"Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)","file":[{"relation":"main_file","success":1,"content_type":"application/x-zip-compressed","date_created":"2020-08-18T08:03:23Z","date_updated":"2020-08-18T08:03:23Z","access_level":"open_access","checksum":"4f1382ed4384751b6013398c11557bf6","file_id":"8280","file_name":"Data_Rcode_MathematicaNB.zip","file_size":5778420,"creator":"dernst"}],"corr_author":"1","has_accepted_license":"1","oa_version":"Published Version","abstract":[{"text":"Here are the research data underlying the publication \"Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)\". Further information are summed up in the README document.\r\nThe files for this record have been updated and are now found in the linked DOI https://doi.org/10.15479/AT:ISTA:9192.","lang":"eng"}],"file_date_updated":"2020-08-18T08:03:23Z","department":[{"_id":"NiBa"}],"related_material":{"record":[{"status":"public","id":"9192","relation":"later_version"},{"id":"11321","relation":"later_version","status":"public"}]},"date_updated":"2024-10-09T21:02:14Z","day":"18","date_created":"2020-08-12T12:49:23Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"contributor":[{"last_name":"Arathoon","first_name":"Louise S","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87","contributor_type":"data_collector"},{"last_name":"Surendranadh","first_name":"Parvathy","id":"455235B8-F248-11E8-B48F-1D18A9856A87","contributor_type":"project_member"},{"last_name":"Barton","first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","contributor_type":"project_member"},{"contributor_type":"project_member","orcid":"0000-0002-4014-8478","first_name":"David","id":"419049E2-F248-11E8-B48F-1D18A9856A87","last_name":"Field"},{"orcid":"0000-0001-6118-0541","contributor_type":"project_member","last_name":"Pickup","first_name":"Melinda","id":"2C78037E-F248-11E8-B48F-1D18A9856A87"},{"contributor_type":"project_member","first_name":"Carina","id":"3B4A7CE2-F248-11E8-B48F-1D18A9856A87","last_name":"Baskett"}],"citation":{"short":"L.S. Arathoon, (2020).","chicago":"Arathoon, Louise S. “Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus).” Institute of Science and Technology Austria, 2020. <a href=\"https://doi.org/10.15479/AT:ISTA:8254\">https://doi.org/10.15479/AT:ISTA:8254</a>.","ista":"Arathoon LS. 2020. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus), Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:8254\">10.15479/AT:ISTA:8254</a>.","apa":"Arathoon, L. S. (2020). Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:8254\">https://doi.org/10.15479/AT:ISTA:8254</a>","ama":"Arathoon LS. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). 2020. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8254\">10.15479/AT:ISTA:8254</a>","ieee":"L. S. Arathoon, “Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus).” Institute of Science and Technology Austria, 2020.","mla":"Arathoon, Louise S. <i>Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus)</i>. Institute of Science and Technology Austria, 2020, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:8254\">10.15479/AT:ISTA:8254</a>."},"article_processing_charge":"No","date_published":"2020-08-18T00:00:00Z","status":"public","author":[{"full_name":"Arathoon, Louise S","orcid":"0000-0003-1771-714X","first_name":"Louise S","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87","last_name":"Arathoon"}],"month":"08","year":"2020","ddc":["576"],"publisher":"Institute of Science and Technology Austria","type":"research_data"},{"day":"23","quality_controlled":"1","ec_funded":1,"abstract":[{"lang":"eng","text":"Dentate gyrus granule cells (GCs) connect the entorhinal cortex to the hippocampal CA3 region, but how they process spatial information remains enigmatic. To examine the role of GCs in spatial coding, we measured excitatory postsynaptic potentials (EPSPs) and action potentials (APs) in head-fixed mice running on a linear belt. Intracellular recording from morphologically identified GCs revealed that most cells were active, but activity level varied over a wide range. Whereas only ∼5% of GCs showed spatially tuned spiking, ∼50% received spatially tuned input. Thus, the GC population broadly encodes spatial information, but only a subset relays this information to the CA3 network. Fourier analysis indicated that GCs received conjunctive place-grid-like synaptic input, suggesting code conversion in single neurons. GC firing was correlated with dendritic complexity and intrinsic excitability, but not extrinsic excitatory input or dendritic cable properties. Thus, functional maturation may control input-output transformation and spatial code conversion."}],"intvolume":"       107","publication":"Neuron","publication_status":"published","corr_author":"1","title":"Selective routing of spatial information flow from input to output in hippocampal granule cells","has_accepted_license":"1","month":"09","scopus_import":"1","volume":107,"publication_identifier":{"issn":["0896-6273"]},"oa":1,"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement 692692, P.J.) and the Fond zur Förderung der Wissenschaftlichen Forschung (Z 312-B27, Wittgenstein award, P.J.). We thank Gyorgy Buzsáki, Jozsef Csicsvari, Juan Ramirez Villegas, and Federico Stella for commenting on earlier versions of this manuscript. We also thank Katie Bittner, Michael Brecht, Albert Lee, Jeffery Magee, and Alejandro Pernía-Andrade for sharing expertise in in vivo patch-clamp recording. We are grateful to Florian Marr for cell labeling, cell reconstruction, and technical assistance; Ben Suter for helpful discussions; Christina Altmutter for technical support; Eleftheria Kralli-Beller for manuscript editing; and Todor Asenov (Machine Shop) for device construction. We also thank the Scientific Service Units (SSUs) of IST Austria (Machine Shop, Scientific Computing, and Preclinical Facility) for efficient support.","language":[{"iso":"eng"}],"project":[{"name":"Biophysics and circuit function of a giant cortical glutamatergic synapse","call_identifier":"H2020","_id":"25B7EB9E-B435-11E9-9278-68D0E5697425","grant_number":"692692"},{"_id":"25C5A090-B435-11E9-9278-68D0E5697425","name":"Synaptic communication in neuronal microcircuits","call_identifier":"FWF","grant_number":"Z00312"}],"author":[{"full_name":"Zhang, Xiaomin","last_name":"Zhang","first_name":"Xiaomin","id":"423EC9C2-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Schlögl","first_name":"Alois","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5621-8100","full_name":"Schlögl, Alois"},{"last_name":"Jonas","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M"}],"citation":{"mla":"Zhang, Xiaomin, et al. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” <i>Neuron</i>, vol. 107, no. 6, Elsevier, 2020, pp. 1212–25, doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">10.1016/j.neuron.2020.07.006</a>.","ieee":"X. Zhang, A. Schlögl, and P. M. Jonas, “Selective routing of spatial information flow from input to output in hippocampal granule cells,” <i>Neuron</i>, vol. 107, no. 6. Elsevier, pp. 1212–1225, 2020.","short":"X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.","chicago":"Zhang, Xiaomin, Alois Schlögl, and Peter M Jonas. “Selective Routing of Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” <i>Neuron</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">https://doi.org/10.1016/j.neuron.2020.07.006</a>.","ista":"Zhang X, Schlögl A, Jonas PM. 2020. Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. 107(6), 1212–1225.","apa":"Zhang, X., Schlögl, A., &#38; Jonas, P. M. (2020). Selective routing of spatial information flow from input to output in hippocampal granule cells. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">https://doi.org/10.1016/j.neuron.2020.07.006</a>","ama":"Zhang X, Schlögl A, Jonas PM. Selective routing of spatial information flow from input to output in hippocampal granule cells. <i>Neuron</i>. 2020;107(6):1212-1225. doi:<a href=\"https://doi.org/10.1016/j.neuron.2020.07.006\">10.1016/j.neuron.2020.07.006</a>"},"isi":1,"article_processing_charge":"No","page":"1212-1225","department":[{"_id":"PeJo"},{"_id":"ScienComp"}],"external_id":{"pmid":["32763145"],"isi":["000579698700009"]},"date_updated":"2025-04-15T08:29:03Z","related_material":{"link":[{"relation":"press_release","description":"News on IST Website","url":"https://ist.ac.at/en/news/the-bouncer-in-the-brain/"}]},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"doi":"10.1016/j.neuron.2020.07.006","oa_version":"Published Version","file_date_updated":"2020-12-04T09:29:21Z","_id":"8261","file":[{"date_created":"2020-12-04T09:29:21Z","content_type":"application/pdf","success":1,"relation":"main_file","creator":"dernst","file_size":3011120,"file_name":"2020_Neuron_Zhang.pdf","file_id":"8920","checksum":"44a5960fc083a4cb3488d22224859fdc","access_level":"open_access","date_updated":"2020-12-04T09:29:21Z"}],"issue":"6","pmid":1,"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"ScienComp"},{"_id":"PreCl"}],"ddc":["570"],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","year":"2020","publisher":"Elsevier","type":"journal_article","article_type":"original","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_created":"2020-08-14T09:36:05Z","date_published":"2020-09-23T00:00:00Z","status":"public"},{"department":[{"_id":"DaAl"}],"external_id":{"isi":["000562044500001"],"arxiv":["1802.04907"]},"date_updated":"2025-07-10T11:55:10Z","doi":"10.1109/TSP.2020.3010355","oa_version":"Preprint","_id":"8268","year":"2020","article_type":"original","type":"journal_article","publisher":"IEEE","date_created":"2020-08-16T22:00:56Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","date_published":"2020-07-20T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1802.04907"}],"day":"20","quality_controlled":"1","publication":"IEEE Transactions on Signal Processing","intvolume":"        68","abstract":[{"text":"Modern scientific instruments produce vast amounts of data, which can overwhelm the processing ability of computer systems. Lossy compression of data is an intriguing solution, but comes with its own drawbacks, such as potential signal loss, and the need for careful optimization of the compression ratio. In this work, we focus on a setting where this problem is especially acute: compressive sensing frameworks for interferometry and medical imaging. We ask the following question: can the precision of the data representation be lowered for all inputs, with recovery guarantees and practical performance Our first contribution is a theoretical analysis of the normalized Iterative Hard Thresholding (IHT) algorithm when all input data, meaning both the measurement matrix and the observation vector are quantized aggressively. We present a variant of low precision normalized IHT that, under mild conditions, can still provide recovery guarantees. The second contribution is the application of our quantization framework to radio astronomy and magnetic resonance imaging. We show that lowering the precision of the data can significantly accelerate image recovery. We evaluate our approach on telescope data and samples of brain images using CPU and FPGA implementations achieving up to a 9x speedup with negligible loss of recovery quality.","lang":"eng"}],"title":"Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications","publication_status":"published","volume":68,"scopus_import":"1","month":"07","publication_identifier":{"eissn":["1941-0476"],"issn":["1053-587X"]},"oa":1,"arxiv":1,"acknowledgement":"The authors would like to thank Dr. Michiel Brentjens at the Netherlands Institute for Radio Astronomy (ASTRON) for providing radio interferometer data and Dr. Josip Marjanovic and Dr. Franciszek Hennel at the Magnetic Resonance Technology of ETH Zurich for providing their insights on the experiments. CZ and the DS3Lab gratefully acknowledge the support from the Swiss Data Science Center, Alibaba, Google Focused Research Awards, Huawei, MeteoSwiss, Oracle Labs, Swisscom, Zurich Insurance, Chinese Scholarship Council, and the Department of Computer Science at ETH Zurich.","author":[{"last_name":"Gurel","first_name":"Nezihe Merve","full_name":"Gurel, Nezihe Merve"},{"full_name":"Kara, Kaan","last_name":"Kara","first_name":"Kaan"},{"full_name":"Stojanov, Alen","first_name":"Alen","last_name":"Stojanov"},{"full_name":"Smith, Tyler","last_name":"Smith","first_name":"Tyler"},{"full_name":"Lemmin, Thomas","first_name":"Thomas","last_name":"Lemmin"},{"orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian"},{"full_name":"Puschel, Markus","last_name":"Puschel","first_name":"Markus"},{"last_name":"Zhang","first_name":"Ce","full_name":"Zhang, Ce"}],"language":[{"iso":"eng"}],"page":"4268-4282","citation":{"mla":"Gurel, Nezihe Merve, et al. “Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications.” <i>IEEE Transactions on Signal Processing</i>, vol. 68, IEEE, 2020, pp. 4268–82, doi:<a href=\"https://doi.org/10.1109/TSP.2020.3010355\">10.1109/TSP.2020.3010355</a>.","ieee":"N. M. Gurel <i>et al.</i>, “Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications,” <i>IEEE Transactions on Signal Processing</i>, vol. 68. IEEE, pp. 4268–4282, 2020.","short":"N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M. Puschel, C. Zhang, IEEE Transactions on Signal Processing 68 (2020) 4268–4282.","apa":"Gurel, N. M., Kara, K., Stojanov, A., Smith, T., Lemmin, T., Alistarh, D.-A., … Zhang, C. (2020). Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. <i>IEEE Transactions on Signal Processing</i>. IEEE. <a href=\"https://doi.org/10.1109/TSP.2020.3010355\">https://doi.org/10.1109/TSP.2020.3010355</a>","ama":"Gurel NM, Kara K, Stojanov A, et al. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. <i>IEEE Transactions on Signal Processing</i>. 2020;68:4268-4282. doi:<a href=\"https://doi.org/10.1109/TSP.2020.3010355\">10.1109/TSP.2020.3010355</a>","chicago":"Gurel, Nezihe Merve, Kaan Kara, Alen Stojanov, Tyler Smith, Thomas Lemmin, Dan-Adrian Alistarh, Markus Puschel, and Ce Zhang. “Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications.” <i>IEEE Transactions on Signal Processing</i>. IEEE, 2020. <a href=\"https://doi.org/10.1109/TSP.2020.3010355\">https://doi.org/10.1109/TSP.2020.3010355</a>.","ista":"Gurel NM, Kara K, Stojanov A, Smith T, Lemmin T, Alistarh D-A, Puschel M, Zhang C. 2020. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. 68, 4268–4282."},"isi":1,"article_processing_charge":"No"},{"article_type":"original","type":"journal_article","publisher":"Elsevier","year":"2020","ddc":["580"],"issue":"9","pmid":1,"status":"public","date_published":"2020-09-07T00:00:00Z","date_created":"2020-08-16T22:00:57Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-06-18T19:32:01Z","external_id":{"pmid":["32688032"],"isi":["000566895400007"]},"department":[{"_id":"JiFr"}],"_id":"8271","oa_version":"Published Version","doi":"10.1016/j.molp.2020.07.006","publication_identifier":{"issn":["1674-2052"],"eissn":["1752-9867"]},"volume":13,"scopus_import":"1","month":"09","page":"1238-1240","citation":{"short":"P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240.","chicago":"He, Peng, Yuzhou Zhang, and Guanghui Xiao. “Origin of a Subgenome and Genome Evolution of Allotetraploid Cotton Species.” <i>Molecular Plant</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">https://doi.org/10.1016/j.molp.2020.07.006</a>.","ista":"He P, Zhang Y, Xiao G. 2020. Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. 13(9), 1238–1240.","apa":"He, P., Zhang, Y., &#38; Xiao, G. (2020). Origin of a subgenome and genome evolution of allotetraploid cotton species. <i>Molecular Plant</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">https://doi.org/10.1016/j.molp.2020.07.006</a>","ama":"He P, Zhang Y, Xiao G. Origin of a subgenome and genome evolution of allotetraploid cotton species. <i>Molecular Plant</i>. 2020;13(9):1238-1240. doi:<a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">10.1016/j.molp.2020.07.006</a>","ieee":"P. He, Y. Zhang, and G. Xiao, “Origin of a subgenome and genome evolution of allotetraploid cotton species,” <i>Molecular Plant</i>, vol. 13, no. 9. Elsevier, pp. 1238–1240, 2020.","mla":"He, Peng, et al. “Origin of a Subgenome and Genome Evolution of Allotetraploid Cotton Species.” <i>Molecular Plant</i>, vol. 13, no. 9, Elsevier, 2020, pp. 1238–40, doi:<a href=\"https://doi.org/10.1016/j.molp.2020.07.006\">10.1016/j.molp.2020.07.006</a>."},"article_processing_charge":"No","isi":1,"author":[{"full_name":"He, Peng","first_name":"Peng","last_name":"He"},{"last_name":"Zhang","id":"3B6137F2-F248-11E8-B48F-1D18A9856A87","first_name":"Yuzhou","orcid":"0000-0003-2627-6956","full_name":"Zhang, Yuzhou"},{"full_name":"Xiao, Guanghui","first_name":"Guanghui","last_name":"Xiao"}],"language":[{"iso":"eng"}],"acknowledgement":"We thank Dr. Gai Huang for his comments and help. We apologize to authors whose work could not be cited due to space limitation. No conflict of interest declared.","oa":1,"quality_controlled":"1","day":"07","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.molp.2020.07.006"}],"publication_status":"published","title":"Origin of a subgenome and genome evolution of allotetraploid cotton species","OA_place":"publisher","publication":"Molecular Plant","intvolume":"        13","OA_type":"free access"}]