[{"volume":10,"type":"journal_article","publisher":"American Physical Society","publication_status":"published","quality_controlled":"1","department":[{"_id":"JoFi"}],"intvolume":"        10","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2017-03-27T00:00:00Z","status":"public","publication":"Physics","publist_id":"6382","abstract":[{"lang":"eng","text":"From microwave ovens to satellite television to the GPS and data services on our mobile phones, microwave technology is everywhere today. But one technology that has so far failed to prove its worth in this wavelength regime is quantum communication that uses the states of single photons as information carriers. This is because single microwave photons, as opposed to classical microwave signals, are extremely vulnerable to noise from thermal excitations in the channels through which they travel. Two new independent studies, one by Ze-Liang Xiang at Technische Universität Wien (Vienna), Austria, and colleagues [1] and another by Benoît Vermersch at the University of Innsbruck, also in Austria, and colleagues [2] now describe a theoretical protocol for microwave quantum communication that is resilient to thermal and other types of noise. Their approach could become a powerful technique to establish fast links between superconducting data processors in a future all-microwave quantum network."}],"date_created":"2018-12-11T11:49:41Z","oa_version":"Published Version","oa":1,"article_processing_charge":"No","year":"2017","has_accepted_license":"1","date_updated":"2022-06-07T10:58:31Z","day":"27","title":"Viewpoint: Microwave quantum states beat the heat","doi":"10.1103/Physics.10.32","language":[{"iso":"eng"}],"_id":"1013","issue":"32","citation":{"short":"J.M. Fink, Physics 10 (2017).","mla":"Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” <i>Physics</i>, vol. 10, no. 32, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/Physics.10.32\">10.1103/Physics.10.32</a>.","ieee":"J. M. Fink, “Viewpoint: Microwave quantum states beat the heat,” <i>Physics</i>, vol. 10, no. 32. American Physical Society, 2017.","chicago":"Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” <i>Physics</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/Physics.10.32\">https://doi.org/10.1103/Physics.10.32</a>.","apa":"Fink, J. M. (2017). Viewpoint: Microwave quantum states beat the heat. <i>Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/Physics.10.32\">https://doi.org/10.1103/Physics.10.32</a>","ista":"Fink JM. 2017. Viewpoint: Microwave quantum states beat the heat. Physics. 10(32).","ama":"Fink JM. Viewpoint: Microwave quantum states beat the heat. <i>Physics</i>. 2017;10(32). doi:<a href=\"https://doi.org/10.1103/Physics.10.32\">10.1103/Physics.10.32</a>"},"ddc":["530"],"article_type":"review","month":"03","file_date_updated":"2019-10-24T11:38:14Z","author":[{"id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","last_name":"Fink","first_name":"Johannes M","full_name":"Fink, Johannes M","orcid":"0000-0001-8112-028X"}],"file":[{"file_name":"2017_Physics_Fink.pdf","relation":"main_file","creator":"dernst","content_type":"application/pdf","access_level":"open_access","date_created":"2019-10-24T11:38:14Z","date_updated":"2019-10-24T11:38:14Z","file_size":193622,"file_id":"6968","success":1}]},{"pubrep_id":"809","_id":"1015","language":[{"iso":"eng"}],"author":[{"first_name":"Giacomo","last_name":"Bighin","id":"4CA96FD4-F248-11E8-B48F-1D18A9856A87","full_name":"Bighin, Giacomo","orcid":"0000-0001-8823-9777"},{"last_name":"Salasnich","first_name":"Luca","full_name":"Salasnich, Luca"}],"file":[{"content_type":"application/pdf","creator":"system","relation":"main_file","file_name":"IST-2017-809-v1+1_srep45702.pdf","file_id":"4950","file_size":478289,"date_updated":"2018-12-12T10:12:32Z","date_created":"2018-12-12T10:12:32Z","access_level":"open_access"}],"article_number":"45702","file_date_updated":"2018-12-12T10:12:32Z","month":"04","ddc":["539"],"citation":{"ama":"Bighin G, Salasnich L. Vortices and antivortices in two-dimensional ultracold Fermi gases. <i>Scientific Reports</i>. 2017;7. doi:<a href=\"https://doi.org/10.1038/srep45702\">10.1038/srep45702</a>","ista":"Bighin G, Salasnich L. 2017. Vortices and antivortices in two-dimensional ultracold Fermi gases. Scientific Reports. 7, 45702.","apa":"Bighin, G., &#38; Salasnich, L. (2017). Vortices and antivortices in two-dimensional ultracold Fermi gases. <i>Scientific Reports</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/srep45702\">https://doi.org/10.1038/srep45702</a>","chicago":"Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional Ultracold Fermi Gases.” <i>Scientific Reports</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/srep45702\">https://doi.org/10.1038/srep45702</a>.","ieee":"G. Bighin and L. Salasnich, “Vortices and antivortices in two-dimensional ultracold Fermi gases,” <i>Scientific Reports</i>, vol. 7. Nature Publishing Group, 2017.","mla":"Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional Ultracold Fermi Gases.” <i>Scientific Reports</i>, vol. 7, 45702, Nature Publishing Group, 2017, doi:<a href=\"https://doi.org/10.1038/srep45702\">10.1038/srep45702</a>.","short":"G. Bighin, L. Salasnich, Scientific Reports 7 (2017)."},"has_accepted_license":"1","year":"2017","article_processing_charge":"No","oa":1,"doi":"10.1038/srep45702","title":"Vortices and antivortices in two-dimensional ultracold Fermi gases","external_id":{"isi":["000398148100001"]},"isi":1,"day":"04","publication_identifier":{"issn":["20452322"]},"date_updated":"2023-09-22T09:43:10Z","abstract":[{"lang":"eng","text":"Vortices are commonly observed in the context of classical hydrodynamics: from whirlpools after stirring the coffee in a cup to a violent atmospheric phenomenon such as a tornado, all classical vortices are characterized by an arbitrary circulation value of the local velocity field. On the other hand the appearance of vortices with quantized circulation represents one of the fundamental signatures of macroscopic quantum phenomena. In two-dimensional superfluids quantized vortices play a key role in determining finite-temperature properties, as the superfluid phase and the normal state are separated by a vortex unbinding transition, the Berezinskii-Kosterlitz-Thouless transition. Very recent experiments with two-dimensional superfluid fermions motivate the present work: we present theoretical results based on the renormalization group showing that the universal jump of the superfluid density and the critical temperature crucially depend on the interaction strength, providing a strong benchmark for forthcoming investigations."}],"publication":"Scientific Reports","publist_id":"6380","status":"public","date_published":"2017-04-04T00:00:00Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"         7","oa_version":"Published Version","scopus_import":"1","date_created":"2018-12-11T11:49:42Z","type":"journal_article","volume":7,"department":[{"_id":"MiLe"}],"quality_controlled":"1","publication_status":"published","publisher":"Nature Publishing Group"},{"_id":"1016","language":[{"iso":"eng"}],"issue":"2","page":"258 - 269","citation":{"ieee":"M. Breuss <i>et al.</i>, “Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability,” <i>Human Molecular Genetics</i>, vol. 26, no. 2. Oxford University Press, pp. 258–269, 2017.","chicago":"Breuss, Martin, Thai Nguyen, Anjana Srivatsan, Ines Leca, Guoling Tian, Tanja Fritz, Andi H Hansen, et al. “Uner Tan Syndrome Caused by a Homozygous TUBB2B Mutation Affecting Microtubule Stability.” <i>Human Molecular Genetics</i>. Oxford University Press, 2017. <a href=\"https://doi.org/10.1093/hmg/ddw383\">https://doi.org/10.1093/hmg/ddw383</a>.","mla":"Breuss, Martin, et al. “Uner Tan Syndrome Caused by a Homozygous TUBB2B Mutation Affecting Microtubule Stability.” <i>Human Molecular Genetics</i>, vol. 26, no. 2, Oxford University Press, 2017, pp. 258–69, doi:<a href=\"https://doi.org/10.1093/hmg/ddw383\">10.1093/hmg/ddw383</a>.","short":"M. Breuss, T. Nguyen, A. Srivatsan, I. Leca, G. Tian, T. Fritz, A.H. Hansen, D. Musaev, J. Mcevoy Venneri, J. Kiely, R. Rosti, E. Scott, U. Tan, R. Kolodner, N. Cowan, D. Keays, J. Gleeson, Human Molecular Genetics 26 (2017) 258–269.","ama":"Breuss M, Nguyen T, Srivatsan A, et al. Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability. <i>Human Molecular Genetics</i>. 2017;26(2):258-269. doi:<a href=\"https://doi.org/10.1093/hmg/ddw383\">10.1093/hmg/ddw383</a>","apa":"Breuss, M., Nguyen, T., Srivatsan, A., Leca, I., Tian, G., Fritz, T., … Gleeson, J. (2017). Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability. <i>Human Molecular Genetics</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/hmg/ddw383\">https://doi.org/10.1093/hmg/ddw383</a>","ista":"Breuss M, Nguyen T, Srivatsan A, Leca I, Tian G, Fritz T, Hansen AH, Musaev D, Mcevoy Venneri J, Kiely J, Rosti R, Scott E, Tan U, Kolodner R, Cowan N, Keays D, Gleeson J. 2017. Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability. Human Molecular Genetics. 26(2), 258–269."},"author":[{"last_name":"Breuss","first_name":"Martin","full_name":"Breuss, Martin"},{"last_name":"Nguyen","first_name":"Thai","full_name":"Nguyen, Thai"},{"full_name":"Srivatsan, Anjana","last_name":"Srivatsan","first_name":"Anjana"},{"full_name":"Leca, Ines","last_name":"Leca","first_name":"Ines"},{"first_name":"Guoling","last_name":"Tian","full_name":"Tian, Guoling"},{"first_name":"Tanja","last_name":"Fritz","full_name":"Fritz, Tanja"},{"full_name":"Hansen, Andi H","id":"38853E16-F248-11E8-B48F-1D18A9856A87","first_name":"Andi H","last_name":"Hansen"},{"first_name":"Damir","last_name":"Musaev","full_name":"Musaev, Damir"},{"full_name":"Mcevoy Venneri, Jennifer","first_name":"Jennifer","last_name":"Mcevoy Venneri"},{"first_name":"James","last_name":"Kiely","full_name":"Kiely, James"},{"full_name":"Rosti, Rasim","first_name":"Rasim","last_name":"Rosti"},{"full_name":"Scott, Eric","last_name":"Scott","first_name":"Eric"},{"full_name":"Tan, Uner","last_name":"Tan","first_name":"Uner"},{"full_name":"Kolodner, Richard","last_name":"Kolodner","first_name":"Richard"},{"full_name":"Cowan, Nicholas","last_name":"Cowan","first_name":"Nicholas"},{"last_name":"Keays","first_name":"David","full_name":"Keays, David"},{"full_name":"Gleeson, Joseph","first_name":"Joseph","last_name":"Gleeson"}],"month":"01","article_processing_charge":"No","year":"2017","date_updated":"2023-09-22T09:42:42Z","day":"01","publication_identifier":{"issn":["09646906"]},"external_id":{"isi":["000397066400002"]},"isi":1,"doi":"10.1093/hmg/ddw383","title":"Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability","intvolume":"        26","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publist_id":"6379","publication":"Human Molecular Genetics","status":"public","date_published":"2017-01-01T00:00:00Z","abstract":[{"text":"The integrity and dynamic properties of the microtubule cytoskeleton are indispensable for the development of the mammalian brain. Consequently, mutations in the genes that encode the structural component (the α/β-tubulin heterodimer) can give rise to severe, sporadic neurodevelopmental disorders. These are commonly referred to as the tubulinopathies. Here we report the addition of recessive quadrupedalism, also known as Uner Tan syndrome (UTS), to the growing list of diseases caused by tubulin variants. Analysis of a consanguineous UTS family identified a biallelic TUBB2B mutation, resulting in a p.R390Q amino acid substitution. In addition to the identifying quadrupedal locomotion, all three patients showed severe cerebellar hypoplasia. None, however, displayed the basal ganglia malformations typically associated with TUBB2B mutations. Functional analysis of the R390Q substitution revealed that it did not affect the ability of β-tubulin to fold or become assembled into the α/β-heterodimer, nor did it influence the incorporation of mutant-containing heterodimers into microtubule polymers. The 390Q mutation in S. cerevisiae TUB2 did not affect growth under basal conditions, but did result in increased sensitivity to microtubule-depolymerizing drugs, indicative of a mild impact of this mutation on microtubule function. The TUBB2B mutation described here represents an unusual recessive mode of inheritance for missense-mediated tubulinopathies and reinforces the sensitivity of the developing cerebellum to microtubule defects.","lang":"eng"}],"date_created":"2018-12-11T11:49:42Z","scopus_import":"1","oa_version":"None","type":"journal_article","volume":26,"publisher":"Oxford University Press","publication_status":"published","quality_controlled":"1","department":[{"_id":"SiHi"}]},{"pubrep_id":"806","_id":"1017","language":[{"iso":"eng"}],"page":"58 - 67","citation":{"apa":"Breuss, M., Leca, I., Gstrein, T., Hansen, A. H., &#38; Keays, D. (2017). Tubulins and brain development: The origins of functional specification. <i>Molecular and Cellular Neuroscience</i>. Academic Press. <a href=\"https://doi.org/10.1016/j.mcn.2017.03.002\">https://doi.org/10.1016/j.mcn.2017.03.002</a>","ista":"Breuss M, Leca I, Gstrein T, Hansen AH, Keays D. 2017. Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience. 84, 58–67.","ama":"Breuss M, Leca I, Gstrein T, Hansen AH, Keays D. Tubulins and brain development: The origins of functional specification. <i>Molecular and Cellular Neuroscience</i>. 2017;84:58-67. doi:<a href=\"https://doi.org/10.1016/j.mcn.2017.03.002\">10.1016/j.mcn.2017.03.002</a>","mla":"Breuss, Martin, et al. “Tubulins and Brain Development: The Origins of Functional Specification.” <i>Molecular and Cellular Neuroscience</i>, vol. 84, Academic Press, 2017, pp. 58–67, doi:<a href=\"https://doi.org/10.1016/j.mcn.2017.03.002\">10.1016/j.mcn.2017.03.002</a>.","short":"M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.","ieee":"M. Breuss, I. Leca, T. Gstrein, A. H. Hansen, and D. Keays, “Tubulins and brain development: The origins of functional specification,” <i>Molecular and Cellular Neuroscience</i>, vol. 84. Academic Press, pp. 58–67, 2017.","chicago":"Breuss, Martin, Ines Leca, Thomas Gstrein, Andi H Hansen, and David Keays. “Tubulins and Brain Development: The Origins of Functional Specification.” <i>Molecular and Cellular Neuroscience</i>. Academic Press, 2017. <a href=\"https://doi.org/10.1016/j.mcn.2017.03.002\">https://doi.org/10.1016/j.mcn.2017.03.002</a>."},"ddc":["571"],"file_date_updated":"2018-12-12T10:09:19Z","month":"10","file":[{"access_level":"open_access","date_updated":"2018-12-12T10:09:19Z","date_created":"2018-12-12T10:09:19Z","file_size":1436377,"file_id":"4742","relation":"main_file","file_name":"IST-2017-806-v1+2_1-s2.0-S1044743116302500-main_1_.pdf","creator":"system","content_type":"application/pdf"}],"author":[{"first_name":"Martin","last_name":"Breuss","full_name":"Breuss, Martin"},{"last_name":"Leca","first_name":"Ines","full_name":"Leca, Ines"},{"full_name":"Gstrein, Thomas","first_name":"Thomas","last_name":"Gstrein"},{"full_name":"Hansen, Andi H","id":"38853E16-F248-11E8-B48F-1D18A9856A87","last_name":"Hansen","first_name":"Andi H"},{"full_name":"Keays, David","last_name":"Keays","first_name":"David"}],"article_processing_charge":"No","oa":1,"year":"2017","has_accepted_license":"1","date_updated":"2023-09-22T09:42:15Z","publication_identifier":{"issn":["10447431"]},"day":"01","isi":1,"external_id":{"isi":["000415140700007"]},"title":"Tubulins and brain development: The origins of functional specification","doi":"10.1016/j.mcn.2017.03.002","tmp":{"image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","intvolume":"        84","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_published":"2017-10-01T00:00:00Z","status":"public","publist_id":"6377","publication":"Molecular and Cellular Neuroscience","abstract":[{"lang":"eng","text":"The development of the vertebrate central nervous system is reliant on a complex cascade of biological processes that include mitotic division, relocation of migrating neurons, and the extension of dendritic and axonal processes. Each of these cellular events requires the diverse functional repertoire of the microtubule cytoskeleton for the generation of forces, assembly of macromolecular complexes and transport of molecules and organelles. The tubulins are a multi-gene family that encode for the constituents of microtubules, and have been implicated in a spectrum of neurological disorders. Evidence is building that different tubulins tune the functional properties of the microtubule cytoskeleton dependent on the cell type, developmental profile and subcellular localisation. Here we review of the origins of the functional specification of the tubulin gene family in the developing brain at a transcriptional, translational, and post-transcriptional level. We remind the reader that tubulins are not just loading controls for your average Western blot."}],"date_created":"2018-12-11T11:49:42Z","scopus_import":"1","oa_version":"Published Version","volume":84,"type":"journal_article","publisher":"Academic Press","publication_status":"published","quality_controlled":"1","department":[{"_id":"SiHi"}]},{"date_created":"2018-12-11T11:49:43Z","scopus_import":"1","oa_version":"None","intvolume":"       174","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication":"Plant Physiology","publist_id":"6375","status":"public","date_published":"2017-05-17T00:00:00Z","abstract":[{"text":"In plants, the multistep phosphorelay (MSP) pathway mediates a range of regulatory processes, including those activated by cytokinins. The crosstalk between cytokinin response and light is known for a long time. However, the molecular mechanism underlying the interactionbetween light and cytokinin signaling remains elusive. In the screen for upstream regulators we identified a LONG PALE HYPOCOTYL (LPH) gene whose activity is indispensable for spatiotemporally correct expression of CYTOKININ INDEPENDENT-1 (CKI1), encoding the constitutively active sensor histidine kinase that activates MSP signaling. lph is a new allele of HEME OXYGENASE 1 (HY1) which encodes the key protein in the biosynthesis of phytochromobilin, a cofactor of photoconvertiblephytochromes. Our analysis confirmed the light-dependent regulation oftheCKI1 expression pattern. We show that CKI1 expression is under the control of phytochrome A (phyA), functioning as a dual (both positive and negative) regulator of CKI1 expression, presumably via the phyA-regulated transcription factors PHYTOCHROME INTERACTING FACTOR 3 (PIF3) and CIRCADIAN CLOCK ASSOCIATED 1 (CCA1). Changes in CKI1 expression observed in lph/hy1-7 and phy mutants correlatewithmisregulation of MSP signaling, changedcytokinin sensitivity and developmental aberrations,previously shown to be associated with cytokinin and/or CKI1 action. Besides that, we demonstrate novel role of phyA-dependent CKI1 expression in the hypocotyl elongation and hook development during skotomorphogenesis. Based on these results, we propose that the light-dependent regulation of CKI1 provides a plausible mechanistic link underlying the well-known interaction between light- and cytokinin-controlled plant development.","lang":"eng"}],"publisher":"American Society of Plant Biologists","publication_status":"published","quality_controlled":"1","department":[{"_id":"EvBe"}],"type":"journal_article","volume":174,"citation":{"mla":"Dobisova, Tereza, et al. “Light Regulated Expression of Sensor Histidine Kinase CKI1 Controls Cytokinin Related Development.” <i>Plant Physiology</i>, vol. 174, no. 1, American Society of Plant Biologists, 2017, pp. 387–404, doi:<a href=\"https://doi.org/10.1104/pp.16.01964\">10.1104/pp.16.01964</a>.","short":"T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova, P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017) 387–404.","ieee":"T. Dobisova <i>et al.</i>, “Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development,” <i>Plant Physiology</i>, vol. 174, no. 1. American Society of Plant Biologists, pp. 387–404, 2017.","chicago":"Dobisova, Tereza, Vendula Hrdinova, Candela Cuesta, Sarka Michlickova, Ivana Urbankova, Romana Hejatkova, Petra Zadnikova, Markéta Pernisová, Eva Benková, and Jan Hejátko. “Light Regulated Expression of Sensor Histidine Kinase CKI1 Controls Cytokinin Related Development.” <i>Plant Physiology</i>. American Society of Plant Biologists, 2017. <a href=\"https://doi.org/10.1104/pp.16.01964\">https://doi.org/10.1104/pp.16.01964</a>.","apa":"Dobisova, T., Hrdinova, V., Cuesta, C., Michlickova, S., Urbankova, I., Hejatkova, R., … Hejátko, J. (2017). Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. <i>Plant Physiology</i>. American Society of Plant Biologists. <a href=\"https://doi.org/10.1104/pp.16.01964\">https://doi.org/10.1104/pp.16.01964</a>","ista":"Dobisova T, Hrdinova V, Cuesta C, Michlickova S, Urbankova I, Hejatkova R, Zadnikova P, Pernisová M, Benková E, Hejátko J. 2017. Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. Plant Physiology. 174(1), 387–404.","ama":"Dobisova T, Hrdinova V, Cuesta C, et al. Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. <i>Plant Physiology</i>. 2017;174(1):387-404. doi:<a href=\"https://doi.org/10.1104/pp.16.01964\">10.1104/pp.16.01964</a>"},"author":[{"last_name":"Dobisova","first_name":"Tereza","full_name":"Dobisova, Tereza"},{"full_name":"Hrdinova, Vendula","first_name":"Vendula","last_name":"Hrdinova"},{"orcid":"0000-0003-1923-2410","full_name":"Cuesta, Candela","id":"33A3C818-F248-11E8-B48F-1D18A9856A87","last_name":"Cuesta","first_name":"Candela"},{"full_name":"Michlickova, Sarka","last_name":"Michlickova","first_name":"Sarka"},{"first_name":"Ivana","last_name":"Urbankova","full_name":"Urbankova, Ivana"},{"full_name":"Hejatkova, Romana","first_name":"Romana","last_name":"Hejatkova"},{"last_name":"Zadnikova","first_name":"Petra","full_name":"Zadnikova, Petra"},{"first_name":"Markéta","last_name":"Pernisová","full_name":"Pernisová, Markéta"},{"last_name":"Benková","first_name":"Eva","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8510-9739","full_name":"Benková, Eva"},{"last_name":"Hejátko","first_name":"Jan","full_name":"Hejátko, Jan"}],"month":"05","language":[{"iso":"eng"}],"_id":"1018","issue":"1","page":"387 - 404","date_updated":"2023-09-22T09:41:48Z","day":"17","external_id":{"isi":["000402057200028"]},"isi":1,"doi":"10.1104/pp.16.01964","title":"Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development","article_processing_charge":"No","year":"2017"},{"article_processing_charge":"No","year":"2017","related_material":{"record":[{"id":"9861","relation":"research_data","status":"public"}]},"date_updated":"2023-09-22T09:41:21Z","day":"01","publication_identifier":{"issn":["0018067X"]},"external_id":{"isi":["000405397800004"]},"isi":1,"doi":"10.1038/hdy.2017.12","title":"X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster","language":[{"iso":"eng"}],"_id":"1019","issue":"1","page":"27 - 34","citation":{"ama":"Argyridou E, Huylmans AK, Königer A, Parsch J. X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. <i>Heredity</i>. 2017;119(1):27-34. doi:<a href=\"https://doi.org/10.1038/hdy.2017.12\">10.1038/hdy.2017.12</a>","apa":"Argyridou, E., Huylmans, A. K., Königer, A., &#38; Parsch, J. (2017). X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. <i>Heredity</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/hdy.2017.12\">https://doi.org/10.1038/hdy.2017.12</a>","ista":"Argyridou E, Huylmans AK, Königer A, Parsch J. 2017. X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity. 119(1), 27–34.","ieee":"E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster,” <i>Heredity</i>, vol. 119, no. 1. Nature Publishing Group, pp. 27–34, 2017.","chicago":"Argyridou, Eliza, Ann K Huylmans, Annabella Königer, and John Parsch. “X-Linkage Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster.” <i>Heredity</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/hdy.2017.12\">https://doi.org/10.1038/hdy.2017.12</a>.","mla":"Argyridou, Eliza, et al. “X-Linkage Is Not a General Inhibitor of Tissue-Specific Gene Expression in Drosophila Melanogaster.” <i>Heredity</i>, vol. 119, no. 1, Nature Publishing Group, 2017, pp. 27–34, doi:<a href=\"https://doi.org/10.1038/hdy.2017.12\">10.1038/hdy.2017.12</a>.","short":"E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34."},"author":[{"full_name":"Argyridou, Eliza","first_name":"Eliza","last_name":"Argyridou"},{"first_name":"Ann K","last_name":"Huylmans","id":"4C0A3874-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8871-4961","full_name":"Huylmans, Ann K"},{"full_name":"Königer, Annabella","first_name":"Annabella","last_name":"Königer"},{"full_name":"Parsch, John","last_name":"Parsch","first_name":"John"}],"month":"07","type":"journal_article","volume":119,"publisher":"Nature Publishing Group","publication_status":"published","quality_controlled":"1","department":[{"_id":"BeVi"}],"intvolume":"       119","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication":"Heredity","publist_id":"6374","status":"public","date_published":"2017-07-01T00:00:00Z","abstract":[{"lang":"eng","text":"As a consequence of its difference in copy number between males and females, the X chromosome is subject to unique evolutionary forces and gene regulatory mechanisms. Previous studies of Drosophila melanogaster have shown that the expression of X-linked, testis-specific reporter genes is suppressed in the male germline. However, it is not known whether this phenomenon is restricted to testis-expressed genes or if it is a more general property of genes with tissue-specific expression, which are also underrepresented on the X chromosome. To test this, we compared the expression of three tissue-specific reporter genes (ovary, accessory gland and Malpighian tubule) inserted at various autosomal and X-chromosomal locations. In contrast to testis-specific reporter genes, we found no reduction of X-linked expression in any of the other tissues. In accessory gland and Malpighian tubule, we detected higher expression of the X-linked reporter genes, which suggests that they are at least partially dosage compensated. We found no difference in the tissue-specificity of X-linked and autosomal reporter genes. These findings indicate that, in general, the X chromosome is not a detrimental environment for tissue-specific gene expression and that the suppression of X-linked expression is limited to the male germline."}],"date_created":"2018-12-11T11:49:43Z","scopus_import":"1","oa_version":"None"},{"year":"2017","oa":1,"article_processing_charge":"No","doi":"10.1021/acsami.6b15986","title":"Disordered cellulose based nanostructures for enhanced light scattering","external_id":{"isi":["000396186000002"]},"isi":1,"day":"08","publication_identifier":{"issn":["19448244"]},"date_updated":"2023-09-22T09:40:14Z","page":"7885 - 7890","issue":"9","_id":"1020","language":[{"iso":"eng"}],"acknowledgement":"This research was funded by the EPSRC (EP/M027961/1), the Leverhulme Trust (RPG-2014-238), Royal Society (RG140457), the BBSRC David Phillips fellowship (BB/K014617/1), and the European Research Council (ERC-2014-STG H2020 639088). All data created during this research are provided in full in the results section and Supporting Information. They are openly available from figshare and can be accessed at ref 30.","author":[{"full_name":"Caixeiro, Soraya","last_name":"Caixeiro","first_name":"Soraya"},{"orcid":"0000-0002-3415-4628","full_name":"Peruzzo, Matilda","id":"3F920B30-F248-11E8-B48F-1D18A9856A87","first_name":"Matilda","last_name":"Peruzzo"},{"full_name":"Onelli, Olimpia","last_name":"Onelli","first_name":"Olimpia"},{"last_name":"Vignolini","first_name":"Silvia","full_name":"Vignolini, Silvia"},{"full_name":"Sapienza, Riccardo","first_name":"Riccardo","last_name":"Sapienza"}],"month":"03","citation":{"ama":"Caixeiro S, Peruzzo M, Onelli O, Vignolini S, Sapienza R. Disordered cellulose based nanostructures for enhanced light scattering. <i>ACS Applied Materials and Interfaces</i>. 2017;9(9):7885-7890. doi:<a href=\"https://doi.org/10.1021/acsami.6b15986\">10.1021/acsami.6b15986</a>","ista":"Caixeiro S, Peruzzo M, Onelli O, Vignolini S, Sapienza R. 2017. Disordered cellulose based nanostructures for enhanced light scattering. ACS Applied Materials and Interfaces. 9(9), 7885–7890.","apa":"Caixeiro, S., Peruzzo, M., Onelli, O., Vignolini, S., &#38; Sapienza, R. (2017). Disordered cellulose based nanostructures for enhanced light scattering. <i>ACS Applied Materials and Interfaces</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acsami.6b15986\">https://doi.org/10.1021/acsami.6b15986</a>","chicago":"Caixeiro, Soraya, Matilda Peruzzo, Olimpia Onelli, Silvia Vignolini, and Riccardo Sapienza. “Disordered Cellulose Based Nanostructures for Enhanced Light Scattering.” <i>ACS Applied Materials and Interfaces</i>. American Chemical Society, 2017. <a href=\"https://doi.org/10.1021/acsami.6b15986\">https://doi.org/10.1021/acsami.6b15986</a>.","ieee":"S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, and R. Sapienza, “Disordered cellulose based nanostructures for enhanced light scattering,” <i>ACS Applied Materials and Interfaces</i>, vol. 9, no. 9. American Chemical Society, pp. 7885–7890, 2017.","short":"S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, R. Sapienza, ACS Applied Materials and Interfaces 9 (2017) 7885–7890.","mla":"Caixeiro, Soraya, et al. “Disordered Cellulose Based Nanostructures for Enhanced Light Scattering.” <i>ACS Applied Materials and Interfaces</i>, vol. 9, no. 9, American Chemical Society, 2017, pp. 7885–90, doi:<a href=\"https://doi.org/10.1021/acsami.6b15986\">10.1021/acsami.6b15986</a>."},"main_file_link":[{"url":"https://arxiv.org/abs/1702.01415","open_access":"1"}],"type":"journal_article","volume":9,"department":[{"_id":"JoFi"}],"quality_controlled":"1","publication_status":"published","publisher":"American Chemical Society","abstract":[{"lang":"eng","text":"Cellulose is the most abundant biopolymer on Earth. Cellulose fibers, such as the one extracted form cotton or woodpulp, have been used by humankind for hundreds of years to make textiles and paper. Here we show how, by engineering light-matter interaction, we can optimize light scattering using exclusively cellulose nanocrystals. The produced material is sustainable, biocompatible, and when compared to ordinary microfiber-based paper, it shows enhanced scattering strength (×4), yielding a transport mean free path as low as 3.5 μm in the visible light range. The experimental results are in a good agreement with the theoretical predictions obtained with a diffusive model for light propagation."}],"publication":"ACS Applied Materials and Interfaces","publist_id":"6372","date_published":"2017-03-08T00:00:00Z","status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":"         9","oa_version":"Submitted Version","scopus_import":"1","date_created":"2018-12-11T11:49:44Z"},{"page":"21 - 34","language":[{"iso":"eng"}],"_id":"1021","month":"04","author":[{"full_name":"Lopez Alonso, Jose M","orcid":"0000-0002-0384-2022","id":"40770848-F248-11E8-B48F-1D18A9856A87","last_name":"Lopez Alonso","first_name":"Jose M"},{"last_name":"Avila","first_name":"Marc","full_name":"Avila, Marc"}],"citation":{"apa":"Lopez Alonso, J. M., &#38; Avila, M. (2017). Boundary layer turbulence in experiments on quasi Keplerian flows. <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jfm.2017.109\">https://doi.org/10.1017/jfm.2017.109</a>","ista":"Lopez Alonso JM, Avila M. 2017. Boundary layer turbulence in experiments on quasi Keplerian flows. Journal of Fluid Mechanics. 817, 21–34.","ama":"Lopez Alonso JM, Avila M. Boundary layer turbulence in experiments on quasi Keplerian flows. <i>Journal of Fluid Mechanics</i>. 2017;817:21-34. doi:<a href=\"https://doi.org/10.1017/jfm.2017.109\">10.1017/jfm.2017.109</a>","mla":"Lopez Alonso, Jose M., and Marc Avila. “Boundary Layer Turbulence in Experiments on Quasi Keplerian Flows.” <i>Journal of Fluid Mechanics</i>, vol. 817, Cambridge University Press, 2017, pp. 21–34, doi:<a href=\"https://doi.org/10.1017/jfm.2017.109\">10.1017/jfm.2017.109</a>.","short":"J.M. Lopez Alonso, M. Avila, Journal of Fluid Mechanics 817 (2017) 21–34.","ieee":"J. M. Lopez Alonso and M. Avila, “Boundary layer turbulence in experiments on quasi Keplerian flows,” <i>Journal of Fluid Mechanics</i>, vol. 817. Cambridge University Press, pp. 21–34, 2017.","chicago":"Lopez Alonso, Jose M, and Marc Avila. “Boundary Layer Turbulence in Experiments on Quasi Keplerian Flows.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2017. <a href=\"https://doi.org/10.1017/jfm.2017.109\">https://doi.org/10.1017/jfm.2017.109</a>."},"year":"2017","oa":1,"article_processing_charge":"No","isi":1,"external_id":{"isi":["000398179100006"]},"title":"Boundary layer turbulence in experiments on quasi Keplerian flows","doi":"10.1017/jfm.2017.109","date_updated":"2023-09-22T09:39:46Z","publication_identifier":{"issn":["00221120"]},"day":"25","status":"public","date_published":"2017-04-25T00:00:00Z","publist_id":"6371","publication":"Journal of Fluid Mechanics","abstract":[{"lang":"eng","text":"Most flows in nature and engineering are turbulent because of their large velocities and spatial scales. Laboratory experiments on rotating quasi-Keplerian flows, for which the angular velocity decreases radially but the angular momentum increases, are however laminar at Reynolds numbers exceeding one million. This is in apparent contradiction to direct numerical simulations showing that in these experiments turbulence transition is triggered by the axial boundaries. We here show numerically that as the Reynolds number increases, turbulence becomes progressively confined to the boundary layers and the flow in the bulk fully relaminarizes. Our findings support that turbulence is unlikely to occur in isothermal constant-density quasi-Keplerian flows."}],"intvolume":"       817","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Submitted Version","date_created":"2018-12-11T11:49:44Z","scopus_import":"1","main_file_link":[{"url":"https://arxiv.org/abs/1608.05527","open_access":"1"}],"volume":817,"type":"journal_article","project":[{"name":"Information processing and computation in fish groups","_id":"255008E4-B435-11E9-9278-68D0E5697425","grant_number":"RGP0065/2012"}],"quality_controlled":"1","department":[{"_id":"BjHo"}],"publisher":"Cambridge University Press","publication_status":"published"},{"status":"public","date_published":"2017-01-01T00:00:00Z","publist_id":"6373","publication":"Monthly Notices of the Royal Astronomical Society","abstract":[{"text":"We introduce a multiscale topological description of the Megaparsec web-like cosmic matter distribution. Betti numbers and topological persistence offer a powerful means of describing the rich connectivity structure of the cosmic web and of its multiscale arrangement of matter and galaxies. Emanating from algebraic topology and Morse theory, Betti numbers and persistence diagrams represent an extension and deepening of the cosmologically familiar topological genus measure and the related geometric Minkowski functionals. In addition to a description of the mathematical background, this study presents the computational procedure for computing Betti numbers and persistence diagrams for density field filtrations. The field may be computed starting from a discrete spatial distribution of galaxies or simulation particles. The main emphasis of this study concerns an extensive and systematic exploration of the imprint of different web-like morphologies and different levels of multiscale clustering in the corresponding computed Betti numbers and persistence diagrams. To this end, we use Voronoi clustering models as templates for a rich variety of web-like configurations and the fractal-like Soneira-Peebles models exemplify a range of multiscale configurations. We have identified the clear imprint of cluster nodes, filaments, walls, and voids in persistence diagrams, along with that of the nested hierarchy of structures in multiscale point distributions. We conclude by outlining the potential of persistent topology for understanding the connectivity structure of the cosmic web, in large simulations of cosmic structure formation and in the challenging context of the observed galaxy distribution in large galaxy surveys.","lang":"eng"}],"intvolume":"       465","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Submitted Version","date_created":"2018-12-11T11:49:44Z","scopus_import":"1","main_file_link":[{"url":"https://arxiv.org/abs/1608.04519","open_access":"1"}],"volume":465,"type":"journal_article","quality_controlled":"1","department":[{"_id":"HeEd"}],"publisher":"Oxford University Press","publication_status":"published","issue":"4","page":"4281 - 4310","acknowledgement":"Part of this work has been supported by the 7th Framework Programme for Research of the European Commission, under FETOpen grant number 255827 (CGL Computational Geometry Learning) and ERC advanced grant, URSAT (Understanding Random Systems via Algebraic Topology) number 320422.","_id":"1022","language":[{"iso":"eng"}],"month":"01","author":[{"full_name":"Pranav, Pratyush","last_name":"Pranav","first_name":"Pratyush"},{"full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Van De Weygaert, Rien","first_name":"Rien","last_name":"Van De Weygaert"},{"first_name":"Gert","last_name":"Vegter","full_name":"Vegter, Gert"},{"full_name":"Kerber, Michael","first_name":"Michael","last_name":"Kerber"},{"full_name":"Jones, Bernard","first_name":"Bernard","last_name":"Jones"},{"id":"307CFBC8-F248-11E8-B48F-1D18A9856A87","last_name":"Wintraecken","first_name":"Mathijs","orcid":"0000-0002-7472-2220","full_name":"Wintraecken, Mathijs"}],"citation":{"apa":"Pranav, P., Edelsbrunner, H., Van De Weygaert, R., Vegter, G., Kerber, M., Jones, B., &#38; Wintraecken, M. (2017). The topology of the cosmic web in terms of persistent Betti numbers. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/stw2862\">https://doi.org/10.1093/mnras/stw2862</a>","ista":"Pranav P, Edelsbrunner H, Van De Weygaert R, Vegter G, Kerber M, Jones B, Wintraecken M. 2017. The topology of the cosmic web in terms of persistent Betti numbers. Monthly Notices of the Royal Astronomical Society. 465(4), 4281–4310.","ama":"Pranav P, Edelsbrunner H, Van De Weygaert R, et al. The topology of the cosmic web in terms of persistent Betti numbers. <i>Monthly Notices of the Royal Astronomical Society</i>. 2017;465(4):4281-4310. doi:<a href=\"https://doi.org/10.1093/mnras/stw2862\">10.1093/mnras/stw2862</a>","mla":"Pranav, Pratyush, et al. “The Topology of the Cosmic Web in Terms of Persistent Betti Numbers.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 465, no. 4, Oxford University Press, 2017, pp. 4281–310, doi:<a href=\"https://doi.org/10.1093/mnras/stw2862\">10.1093/mnras/stw2862</a>.","short":"P. Pranav, H. Edelsbrunner, R. Van De Weygaert, G. Vegter, M. Kerber, B. Jones, M. Wintraecken, Monthly Notices of the Royal Astronomical Society 465 (2017) 4281–4310.","ieee":"P. Pranav <i>et al.</i>, “The topology of the cosmic web in terms of persistent Betti numbers,” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 465, no. 4. Oxford University Press, pp. 4281–4310, 2017.","chicago":"Pranav, Pratyush, Herbert Edelsbrunner, Rien Van De Weygaert, Gert Vegter, Michael Kerber, Bernard Jones, and Mathijs Wintraecken. “The Topology of the Cosmic Web in Terms of Persistent Betti Numbers.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2017. <a href=\"https://doi.org/10.1093/mnras/stw2862\">https://doi.org/10.1093/mnras/stw2862</a>."},"year":"2017","article_processing_charge":"No","oa":1,"isi":1,"external_id":{"isi":["000395170200039"]},"title":"The topology of the cosmic web in terms of persistent Betti numbers","doi":"10.1093/mnras/stw2862","date_updated":"2023-09-22T09:40:55Z","publication_identifier":{"issn":["00358711"]},"day":"01"},{"isi":1,"external_id":{"isi":["000396611900022"]},"title":"Local law for the product of independent non-Hermitian random matrices with independent entries","doi":"10.1214/17-EJP38","date_updated":"2023-09-22T09:27:51Z","publication_identifier":{"issn":["10836489"]},"day":"06","year":"2017","has_accepted_license":"1","article_processing_charge":"No","oa":1,"article_number":"22","month":"02","file_date_updated":"2018-12-12T10:15:29Z","author":[{"full_name":"Nemish, Yuriy","orcid":"0000-0002-7327-856X","id":"4D902E6A-F248-11E8-B48F-1D18A9856A87","first_name":"Yuriy","last_name":"Nemish"}],"file":[{"content_type":"application/pdf","creator":"system","relation":"main_file","file_name":"IST-2017-802-v1+1_euclid.ejp.1487991681.pdf","file_id":"5149","file_size":742275,"date_created":"2018-12-12T10:15:29Z","date_updated":"2018-12-12T10:15:29Z","access_level":"open_access"}],"citation":{"ama":"Nemish Y. Local law for the product of independent non-Hermitian random matrices with independent entries. <i>Electronic Journal of Probability</i>. 2017;22. doi:<a href=\"https://doi.org/10.1214/17-EJP38\">10.1214/17-EJP38</a>","apa":"Nemish, Y. (2017). Local law for the product of independent non-Hermitian random matrices with independent entries. <i>Electronic Journal of Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/17-EJP38\">https://doi.org/10.1214/17-EJP38</a>","ista":"Nemish Y. 2017. Local law for the product of independent non-Hermitian random matrices with independent entries. Electronic Journal of Probability. 22, 22.","ieee":"Y. Nemish, “Local law for the product of independent non-Hermitian random matrices with independent entries,” <i>Electronic Journal of Probability</i>, vol. 22. Institute of Mathematical Statistics, 2017.","chicago":"Nemish, Yuriy. “Local Law for the Product of Independent Non-Hermitian Random Matrices with Independent Entries.” <i>Electronic Journal of Probability</i>. Institute of Mathematical Statistics, 2017. <a href=\"https://doi.org/10.1214/17-EJP38\">https://doi.org/10.1214/17-EJP38</a>.","mla":"Nemish, Yuriy. “Local Law for the Product of Independent Non-Hermitian Random Matrices with Independent Entries.” <i>Electronic Journal of Probability</i>, vol. 22, 22, Institute of Mathematical Statistics, 2017, doi:<a href=\"https://doi.org/10.1214/17-EJP38\">10.1214/17-EJP38</a>.","short":"Y. Nemish, Electronic Journal of Probability 22 (2017)."},"ddc":["510"],"_id":"1023","language":[{"iso":"eng"}],"pubrep_id":"802","quality_controlled":"1","department":[{"_id":"LaEr"}],"publisher":"Institute of Mathematical Statistics","publication_status":"published","volume":22,"type":"journal_article","oa_version":"Published Version","date_created":"2018-12-11T11:49:44Z","scopus_import":"1","status":"public","date_published":"2017-02-06T00:00:00Z","publication":"Electronic Journal of Probability","publist_id":"6370","abstract":[{"lang":"eng","text":"We consider products of independent square non-Hermitian random matrices. More precisely, let X1,…, Xn be independent N × N random matrices with independent entries (real or complex with independent real and imaginary parts) with zero mean and variance 1/N. Soshnikov-O’Rourke [19] and Götze-Tikhomirov [15] showed that the empirical spectral distribution of the product of n random matrices with iid entries converges to (equation found). We prove that if the entries of the matrices X1,…, Xn are independent (but not necessarily identically distributed) and satisfy uniform subexponential decay condition, then in the bulk the convergence of the ESD of X1,…, Xn to (0.1) holds up to the scale N–1/2+ε."}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"        22","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"volume":1569,"type":"journal_article","publication_status":"published","publisher":"Springer","department":[{"_id":"EvBe"}],"project":[{"call_identifier":"FWF","grant_number":"I 1774-B16","_id":"2542D156-B435-11E9-9278-68D0E5697425","name":"Hormone cross-talk drives nutrient dependent plant development"}],"quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"      1569","abstract":[{"text":"The history of auxin and cytokinin biology including the initial discoveries by father–son duo Charles Darwin and Francis Darwin (1880), and Gottlieb Haberlandt (1919) is a beautiful demonstration of unceasing continuity of research. Novel findings are integrated into existing hypotheses and models and deepen our understanding of biological principles. At the same time new questions are triggered and hand to hand with this new methodologies are developed to address these new challenges.","lang":"eng"}],"status":"public","date_published":"2017-03-17T00:00:00Z","publist_id":"6369","publication":"Auxins and Cytokinins in Plant Biology","alternative_title":["Methods in Molecular Biology"],"scopus_import":1,"date_created":"2018-12-11T11:49:45Z","oa_version":"Submitted Version","oa":1,"related_material":{"record":[{"relation":"dissertation_contains","id":"539","status":"public"}]},"has_accepted_license":"1","year":"2017","publication_identifier":{"issn":["10643745"]},"day":"17","date_updated":"2024-03-25T23:30:09Z","title":"Methodological advances in auxin and cytokinin biology","doi":"10.1007/978-1-4939-6831-2_1","_id":"1024","language":[{"iso":"eng"}],"pubrep_id":"1019","page":"1 - 29","citation":{"ista":"Hurny A, Benková E. 2017. Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology. 1569, 1–29.","apa":"Hurny, A., &#38; Benková, E. (2017). Methodological advances in auxin and cytokinin biology. <i>Auxins and Cytokinins in Plant Biology</i>. Springer. <a href=\"https://doi.org/10.1007/978-1-4939-6831-2_1\">https://doi.org/10.1007/978-1-4939-6831-2_1</a>","ama":"Hurny A, Benková E. Methodological advances in auxin and cytokinin biology. <i>Auxins and Cytokinins in Plant Biology</i>. 2017;1569:1-29. doi:<a href=\"https://doi.org/10.1007/978-1-4939-6831-2_1\">10.1007/978-1-4939-6831-2_1</a>","short":"A. Hurny, E. Benková, Auxins and Cytokinins in Plant Biology 1569 (2017) 1–29.","mla":"Hurny, Andrej, and Eva Benková. “Methodological Advances in Auxin and Cytokinin Biology.” <i>Auxins and Cytokinins in Plant Biology</i>, vol. 1569, Springer, 2017, pp. 1–29, doi:<a href=\"https://doi.org/10.1007/978-1-4939-6831-2_1\">10.1007/978-1-4939-6831-2_1</a>.","chicago":"Hurny, Andrej, and Eva Benková. “Methodological Advances in Auxin and Cytokinin Biology.” <i>Auxins and Cytokinins in Plant Biology</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/978-1-4939-6831-2_1\">https://doi.org/10.1007/978-1-4939-6831-2_1</a>.","ieee":"A. Hurny and E. Benková, “Methodological advances in auxin and cytokinin biology,” <i>Auxins and Cytokinins in Plant Biology</i>, vol. 1569. Springer, pp. 1–29, 2017."},"ddc":["575"],"month":"03","file_date_updated":"2019-10-15T07:47:05Z","file":[{"content_type":"application/pdf","creator":"system","relation":"main_file","file_name":"IST-2018-1019-v1+1_Hurny_MethodsMolBiol_2017.pdf","file_id":"5068","file_size":840646,"date_updated":"2019-10-15T07:47:05Z","date_created":"2018-12-12T10:14:18Z","access_level":"open_access"}],"author":[{"first_name":"Andrej","last_name":"Hurny","id":"4DC4AF46-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3638-1426","full_name":"Hurny, Andrej"},{"full_name":"Benková, Eva","orcid":"0000-0002-8510-9739","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","first_name":"Eva","last_name":"Benková"}]},{"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":"       543","abstract":[{"lang":"eng","text":"Many organ surfaces are covered by a protective epithelial-cell layer. It emerges that such layers are maintained by cell stretching that triggers cell division mediated by the force-sensitive ion-channel protein Piezo1. See Letter p.118"}],"publication":"Nature","publist_id":"6367","date_published":"2017-03-02T00:00:00Z","status":"public","scopus_import":"1","date_created":"2018-12-11T11:49:45Z","oa_version":"None","type":"journal_article","volume":543,"publication_status":"published","publisher":"Nature Publishing Group","department":[{"_id":"CaHe"}],"quality_controlled":"1","language":[{"iso":"eng"}],"_id":"1025","page":"43 - 44","issue":"7643","citation":{"mla":"Heisenberg, Carl-Philipp J. “Cell Biology: Stretched Divisions.” <i>Nature</i>, vol. 543, no. 7643, Nature Publishing Group, 2017, pp. 43–44, doi:<a href=\"https://doi.org/10.1038/nature21502\">10.1038/nature21502</a>.","short":"C.-P.J. Heisenberg, Nature 543 (2017) 43–44.","chicago":"Heisenberg, Carl-Philipp J. “Cell Biology: Stretched Divisions.” <i>Nature</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/nature21502\">https://doi.org/10.1038/nature21502</a>.","ieee":"C.-P. J. Heisenberg, “Cell biology: Stretched divisions,” <i>Nature</i>, vol. 543, no. 7643. Nature Publishing Group, pp. 43–44, 2017.","ista":"Heisenberg C-PJ. 2017. Cell biology: Stretched divisions. Nature. 543(7643), 43–44.","apa":"Heisenberg, C.-P. J. (2017). Cell biology: Stretched divisions. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nature21502\">https://doi.org/10.1038/nature21502</a>","ama":"Heisenberg C-PJ. Cell biology: Stretched divisions. <i>Nature</i>. 2017;543(7643):43-44. doi:<a href=\"https://doi.org/10.1038/nature21502\">10.1038/nature21502</a>"},"author":[{"full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566","last_name":"Heisenberg","first_name":"Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87"}],"month":"03","article_processing_charge":"No","year":"2017","day":"02","publication_identifier":{"issn":["00280836"]},"date_updated":"2023-09-22T09:26:59Z","doi":"10.1038/nature21502","title":"Cell biology: Stretched divisions","external_id":{"isi":["000395671500025"]},"isi":1},{"language":[{"iso":"eng"}],"_id":"1026","acknowledgement":"This work was supported by grants of the European Union Seventh Framework Programme (CIG-303564), the Human Frontier Science Program (RGY0084_2012), and the Austrian Science Fund FWF (W1232 MolecularDrugTargets).","page":"8 - 14","article_type":"original","citation":{"ama":"Agus V, Janovjak HL. Optogenetic methods in drug screening: Technologies and applications. <i>Current Opinion in Biotechnology</i>. 2017;48:8-14. doi:<a href=\"https://doi.org/10.1016/j.copbio.2017.02.006\">10.1016/j.copbio.2017.02.006</a>","ista":"Agus V, Janovjak HL. 2017. Optogenetic methods in drug screening: Technologies and applications. Current Opinion in Biotechnology. 48, 8–14.","apa":"Agus, V., &#38; Janovjak, H. L. (2017). Optogenetic methods in drug screening: Technologies and applications. <i>Current Opinion in Biotechnology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.copbio.2017.02.006\">https://doi.org/10.1016/j.copbio.2017.02.006</a>","chicago":"Agus, Viviana, and Harald L Janovjak. “Optogenetic Methods in Drug Screening: Technologies and Applications.” <i>Current Opinion in Biotechnology</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.copbio.2017.02.006\">https://doi.org/10.1016/j.copbio.2017.02.006</a>.","ieee":"V. Agus and H. L. Janovjak, “Optogenetic methods in drug screening: Technologies and applications,” <i>Current Opinion in Biotechnology</i>, vol. 48. Elsevier, pp. 8–14, 2017.","mla":"Agus, Viviana, and Harald L. Janovjak. “Optogenetic Methods in Drug Screening: Technologies and Applications.” <i>Current Opinion in Biotechnology</i>, vol. 48, Elsevier, 2017, pp. 8–14, doi:<a href=\"https://doi.org/10.1016/j.copbio.2017.02.006\">10.1016/j.copbio.2017.02.006</a>.","short":"V. Agus, H.L. Janovjak, Current Opinion in Biotechnology 48 (2017) 8–14."},"author":[{"first_name":"Viviana","last_name":"Agus","full_name":"Agus, Viviana"},{"id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","first_name":"Harald L","last_name":"Janovjak","full_name":"Janovjak, Harald L","orcid":"0000-0002-8023-9315"}],"month":"12","article_processing_charge":"No","year":"2017","ec_funded":1,"day":"01","publication_identifier":{"issn":["09581669"]},"date_updated":"2023-09-22T09:26:06Z","doi":"10.1016/j.copbio.2017.02.006","title":"Optogenetic methods in drug screening: Technologies and applications","external_id":{"isi":["000418313200003"]},"isi":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":"        48","abstract":[{"lang":"eng","text":"The optogenetic revolution enabled spatially-precise and temporally-precise control over protein function, signaling pathway activation, and animal behavior with tremendous success in the dissection of signaling networks and neural circuits. Very recently, optogenetic methods have been paired with optical reporters in novel drug screening platforms. In these all-optical platforms, light remotely activated ion channels and kinases thereby obviating the use of electrophysiology or reagents. Consequences were remarkable operational simplicity, throughput, and cost-effectiveness that culminated in the identification of new drug candidates. These blueprints for all-optical assays also revealed potential pitfalls and inspire all-optical variants of other screens, such as those that aim at better understanding dynamic drug action or orphan protein function."}],"publist_id":"6365","publication":"Current Opinion in Biotechnology","date_published":"2017-12-01T00:00:00Z","status":"public","scopus_import":"1","date_created":"2018-12-11T11:49:45Z","oa_version":"None","type":"journal_article","volume":48,"publication_status":"published","publisher":"Elsevier","department":[{"_id":"HaJa"}],"quality_controlled":"1","project":[{"grant_number":"RGY0084/2012","name":"In situ real-time imaging of neurotransmitter signaling using designer optical sensors (HFSP Young Investigator)","_id":"255BFFFA-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FP7","_id":"25548C20-B435-11E9-9278-68D0E5697425","name":"Microbial Ion Channels for Synthetic Neurobiology","grant_number":"303564"},{"_id":"255A6082-B435-11E9-9278-68D0E5697425","name":"Molecular Drug Targets","grant_number":"W1232-B24","call_identifier":"FWF"}]},{"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","tmp":{"image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"intvolume":"        46","abstract":[{"text":"The rising prevalence of antibiotic resistant bacteria is an increasingly serious public health challenge. To address this problem, recent work ranging from clinical studies to theoretical modeling has provided valuable insights into the mechanisms of resistance, its emergence and spread, and ways to counteract it. A deeper understanding of the underlying dynamics of resistance evolution will require a combination of experimental and theoretical expertise from different disciplines and new technology for studying evolution in the laboratory. Here, we review recent advances in the quantitative understanding of the mechanisms and evolution of antibiotic resistance. We focus on key theoretical concepts and new technology that enables well-controlled experiments. We further highlight key challenges that can be met in the near future to ultimately develop effective strategies for combating resistance.","lang":"eng"}],"date_published":"2017-08-01T00:00:00Z","status":"public","publist_id":"6364","publication":"Current Opinion in Biotechnology","scopus_import":"1","date_created":"2018-12-11T11:49:45Z","oa_version":"Published Version","volume":46,"type":"journal_article","publication_status":"published","publisher":"Elsevier","department":[{"_id":"ToBo"}],"project":[{"grant_number":"P27201-B22","name":"Revealing the mechanisms underlying drug interactions","_id":"25E9AF9E-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"FP7","name":"Optimality principles in responses to antibiotics","_id":"25E83C2C-B435-11E9-9278-68D0E5697425","grant_number":"303507"},{"grant_number":"RGP0042/2013","name":"Revealing the fundamental limits of cell growth","_id":"25EB3A80-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","pubrep_id":"801","_id":"1027","language":[{"iso":"eng"}],"page":"90 - 97","article_type":"original","citation":{"ama":"Lukacisinova M, Bollenbach MT. Toward a quantitative understanding of antibiotic resistance evolution. <i>Current Opinion in Biotechnology</i>. 2017;46:90-97. doi:<a href=\"https://doi.org/10.1016/j.copbio.2017.02.013\">10.1016/j.copbio.2017.02.013</a>","ista":"Lukacisinova M, Bollenbach MT. 2017. Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. 46, 90–97.","apa":"Lukacisinova, M., &#38; Bollenbach, M. T. (2017). Toward a quantitative understanding of antibiotic resistance evolution. <i>Current Opinion in Biotechnology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.copbio.2017.02.013\">https://doi.org/10.1016/j.copbio.2017.02.013</a>","chicago":"Lukacisinova, Marta, and Mark Tobias Bollenbach. “Toward a Quantitative Understanding of Antibiotic Resistance Evolution.” <i>Current Opinion in Biotechnology</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.copbio.2017.02.013\">https://doi.org/10.1016/j.copbio.2017.02.013</a>.","ieee":"M. Lukacisinova and M. T. Bollenbach, “Toward a quantitative understanding of antibiotic resistance evolution,” <i>Current Opinion in Biotechnology</i>, vol. 46. Elsevier, pp. 90–97, 2017.","short":"M. Lukacisinova, M.T. Bollenbach, Current Opinion in Biotechnology 46 (2017) 90–97.","mla":"Lukacisinova, Marta, and Mark Tobias Bollenbach. “Toward a Quantitative Understanding of Antibiotic Resistance Evolution.” <i>Current Opinion in Biotechnology</i>, vol. 46, Elsevier, 2017, pp. 90–97, doi:<a href=\"https://doi.org/10.1016/j.copbio.2017.02.013\">10.1016/j.copbio.2017.02.013</a>."},"ddc":["570"],"month":"08","file_date_updated":"2019-01-18T09:57:57Z","file":[{"file_size":858338,"file_id":"5846","success":1,"access_level":"open_access","date_created":"2019-01-18T09:57:57Z","date_updated":"2019-01-18T09:57:57Z","content_type":"application/pdf","relation":"main_file","file_name":"2017_CurrentOpinion_Lukaciinova.pdf","creator":"dernst"}],"author":[{"id":"4342E402-F248-11E8-B48F-1D18A9856A87","last_name":"Lukacisinova","first_name":"Marta","full_name":"Lukacisinova, Marta","orcid":"0000-0002-2519-8004"},{"last_name":"Bollenbach","first_name":"Mark Tobias","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","full_name":"Bollenbach, Mark Tobias","orcid":"0000-0003-4398-476X"}],"article_processing_charge":"Yes (in subscription journal)","oa":1,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"6263"}]},"has_accepted_license":"1","ec_funded":1,"year":"2017","day":"01","date_updated":"2024-03-25T23:30:15Z","title":"Toward a quantitative understanding of antibiotic resistance evolution","doi":"10.1016/j.copbio.2017.02.013","isi":1,"external_id":{"isi":["000408077400015"]}},{"acknowledgement":"This work was supported by a grant from the European Union􏰝s Seventh Framework Programme (CIG-303564). E.R. was supported by the graduate program MolecularDrugTargets (Austrian Science Fund (FWF), W1232) and a FemTech fellowship (Austrian Research Promotion Agency, 3580812)","_id":"1028","language":[{"iso":"eng"}],"issue":"16","page":"4608-4611","citation":{"ieee":"S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Green-light-induced inactivation of receptor signaling using cobalamin-binding domains,” <i>Angewandte Chemie - International Edition</i>, vol. 56, no. 16. Wiley-Blackwell, pp. 4608–4611, 2017.","chicago":"Kainrath, Stephanie, Manuela Stadler, Eva Gschaider-Reichhart, Martin Distel, and Harald L Janovjak. “Green-Light-Induced Inactivation of Receptor Signaling Using Cobalamin-Binding Domains.” <i>Angewandte Chemie - International Edition</i>. Wiley-Blackwell, 2017. <a href=\"https://doi.org/10.1002/anie.201611998\">https://doi.org/10.1002/anie.201611998</a>.","mla":"Kainrath, Stephanie, et al. “Green-Light-Induced Inactivation of Receptor Signaling Using Cobalamin-Binding Domains.” <i>Angewandte Chemie - International Edition</i>, vol. 56, no. 16, Wiley-Blackwell, 2017, pp. 4608–11, doi:<a href=\"https://doi.org/10.1002/anie.201611998\">10.1002/anie.201611998</a>.","short":"S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie - International Edition 56 (2017) 4608–4611.","ama":"Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. <i>Angewandte Chemie - International Edition</i>. 2017;56(16):4608-4611. doi:<a href=\"https://doi.org/10.1002/anie.201611998\">10.1002/anie.201611998</a>","apa":"Kainrath, S., Stadler, M., Gschaider-Reichhart, E., Distel, M., &#38; Janovjak, H. L. (2017). Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. <i>Angewandte Chemie - International Edition</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/anie.201611998\">https://doi.org/10.1002/anie.201611998</a>","ista":"Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. 2017. Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition. 56(16), 4608–4611."},"ddc":["540"],"file_date_updated":"2019-01-18T09:39:55Z","month":"03","author":[{"id":"32CFBA64-F248-11E8-B48F-1D18A9856A87","last_name":"Kainrath","first_name":"Stephanie","full_name":"Kainrath, Stephanie"},{"full_name":"Stadler, Manuela","first_name":"Manuela","last_name":"Stadler"},{"last_name":"Gschaider-Reichhart","first_name":"Eva","id":"3FEE232A-F248-11E8-B48F-1D18A9856A87","full_name":"Gschaider-Reichhart, Eva","orcid":"0000-0002-7218-7738"},{"last_name":"Distel","first_name":"Martin","full_name":"Distel, Martin"},{"first_name":"Harald L","last_name":"Janovjak","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","full_name":"Janovjak, Harald L","orcid":"0000-0002-8023-9315"}],"file":[{"relation":"main_file","file_name":"2017_communications_Kainrath.pdf","creator":"dernst","content_type":"application/pdf","access_level":"open_access","date_updated":"2019-01-18T09:39:55Z","date_created":"2019-01-18T09:39:55Z","file_size":2614942,"success":1,"file_id":"5845"}],"article_processing_charge":"No","oa":1,"year":"2017","ec_funded":1,"has_accepted_license":"1","related_material":{"record":[{"status":"public","id":"418","relation":"dissertation_contains"},{"status":"public","id":"7680","relation":"part_of_dissertation"}]},"date_updated":"2024-03-25T23:30:08Z","publication_identifier":{"issn":["14337851"]},"day":"20","isi":1,"external_id":{"isi":["000398154000038"]},"title":"Green-light-induced inactivation of receptor signaling using cobalamin-binding domains","doi":"10.1002/anie.201611998","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"        56","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","date_published":"2017-03-20T00:00:00Z","publication":"Angewandte Chemie - International Edition","publist_id":"6362","abstract":[{"text":"Optogenetics and photopharmacology provide spatiotemporally precise control over protein interactions and protein function in cells and animals. Optogenetic methods that are sensitive to green light and can be used to break protein complexes are not broadly available but would enable multichromatic experiments with previously inaccessible biological targets. Herein, we repurposed cobalamin (vitamin B12) binding domains of bacterial CarH transcription factors for green-light-induced receptor dissociation. In cultured cells, we observed oligomerization-induced cell signaling for the fibroblast growth factor receptor 1 fused to cobalamin-binding domains in the dark that was rapidly eliminated upon illumination. In zebrafish embryos expressing fusion receptors, green light endowed control over aberrant fibroblast growth factor signaling during development. Green-light-induced domain dissociation and light-inactivated receptors will critically expand the optogenetic toolbox for control of biological processes.","lang":"eng"}],"date_created":"2018-12-11T11:49:46Z","scopus_import":"1","oa_version":"Published Version","volume":56,"type":"journal_article","publisher":"Wiley-Blackwell","publication_status":"published","project":[{"grant_number":"303564","_id":"25548C20-B435-11E9-9278-68D0E5697425","name":"Microbial Ion Channels for Synthetic Neurobiology","call_identifier":"FP7"},{"call_identifier":"FWF","grant_number":"W1232-B24","name":"Molecular Drug Targets [do not use to be deleted]","_id":"26AA4EF2-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","department":[{"_id":"CaGu"},{"_id":"HaJa"}]},{"_id":"1029","pubrep_id":"800","language":[{"iso":"eng"}],"issue":"3","citation":{"ieee":"M. Lukacisin, M. Landon, and R. Jajoo, “Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast,” <i>PLoS One</i>, vol. 12, no. 3. Public Library of Science, 2017.","chicago":"Lukacisin, Martin, Matthieu Landon, and Rishi Jajoo. “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” <i>PLoS One</i>. Public Library of Science, 2017. <a href=\"https://doi.org/10.1371/journal.pone.0174066\">https://doi.org/10.1371/journal.pone.0174066</a>.","short":"M. Lukacisin, M. Landon, R. Jajoo, PLoS One 12 (2017).","mla":"Lukacisin, Martin, et al. “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” <i>PLoS One</i>, vol. 12, no. 3, e0174066, Public Library of Science, 2017, doi:<a href=\"https://doi.org/10.1371/journal.pone.0174066\">10.1371/journal.pone.0174066</a>.","ama":"Lukacisin M, Landon M, Jajoo R. Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. <i>PLoS One</i>. 2017;12(3). doi:<a href=\"https://doi.org/10.1371/journal.pone.0174066\">10.1371/journal.pone.0174066</a>","apa":"Lukacisin, M., Landon, M., &#38; Jajoo, R. (2017). Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. <i>PLoS One</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0174066\">https://doi.org/10.1371/journal.pone.0174066</a>","ista":"Lukacisin M, Landon M, Jajoo R. 2017. Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. 12(3), e0174066."},"ddc":["570"],"file_date_updated":"2018-12-12T10:09:47Z","month":"03","article_number":"e0174066","file":[{"date_created":"2018-12-12T10:09:47Z","date_updated":"2018-12-12T10:09:47Z","access_level":"open_access","file_id":"4772","file_size":3429381,"creator":"system","file_name":"IST-2017-800-v1+1_journal.pone.0174066.pdf","relation":"main_file","content_type":"application/pdf"}],"author":[{"orcid":"0000-0001-6549-4177","full_name":"Lukacisin, Martin","id":"298FFE8C-F248-11E8-B48F-1D18A9856A87","last_name":"Lukacisin","first_name":"Martin"},{"last_name":"Landon","first_name":"Matthieu","full_name":"Landon, Matthieu"},{"first_name":"Rishi","last_name":"Jajoo","full_name":"Jajoo, Rishi"}],"article_processing_charge":"Yes","oa":1,"year":"2017","has_accepted_license":"1","related_material":{"record":[{"status":"public","relation":"popular_science","id":"5556"},{"id":"6392","relation":"dissertation_contains","status":"public"}]},"date_updated":"2024-03-25T23:30:03Z","publication_identifier":{"issn":["19326203"]},"day":"16","isi":1,"external_id":{"isi":["000396318300121"]},"title":"Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast","doi":"10.1371/journal.pone.0174066","intvolume":"        12","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_published":"2017-03-16T00:00:00Z","status":"public","publication":"PLoS One","publist_id":"6361","abstract":[{"text":"RNA Polymerase II pauses and backtracks during transcription, with many consequences for gene expression and cellular physiology. Here, we show that the energy required to melt double-stranded nucleic acids in the transcription bubble predicts pausing in Saccharomyces cerevisiae far more accurately than nucleosome roadblocks do. In addition, the same energy difference also determines when the RNA polymerase backtracks instead of continuing to move forward. This data-driven model corroborates—in a genome wide and quantitative manner—previous evidence that sequence-dependent thermodynamic features of nucleic acids influence both transcriptional pausing and backtracking.","lang":"eng"}],"date_created":"2018-12-11T11:49:46Z","scopus_import":"1","oa_version":"Published Version","volume":12,"type":"journal_article","publisher":"Public Library of Science","publication_status":"published","quality_controlled":"1","department":[{"_id":"ToBo"}]},{"pubrep_id":"799","_id":"1030","language":[{"iso":"eng"}],"issue":"1","article_type":"original","ddc":["020"],"citation":{"chicago":"Villányi, Márton. “Ein Freies Bibliothekssystem Für Wissenschaftliche Bibliotheken – Werkstattbericht Der IST Austria Library.” <i>Informationspraxis</i>. Verein Informationspraxis , 2017. <a href=\"https://doi.org/10.11588/ip.2017.1.35227\">https://doi.org/10.11588/ip.2017.1.35227</a>.","ieee":"M. Villányi, “Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library,” <i>Informationspraxis</i>, vol. 3, no. 1. Verein Informationspraxis , 2017.","mla":"Villányi, Márton. “Ein Freies Bibliothekssystem Für Wissenschaftliche Bibliotheken – Werkstattbericht Der IST Austria Library.” <i>Informationspraxis</i>, vol. 3, no. 1, Verein Informationspraxis , 2017, doi:<a href=\"https://doi.org/10.11588/ip.2017.1.35227\">10.11588/ip.2017.1.35227</a>.","short":"M. Villányi, Informationspraxis 3 (2017).","ama":"Villányi M. Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. <i>Informationspraxis</i>. 2017;3(1). doi:<a href=\"https://doi.org/10.11588/ip.2017.1.35227\">10.11588/ip.2017.1.35227</a>","ista":"Villányi M. 2017. Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. 3(1).","apa":"Villányi, M. (2017). Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. <i>Informationspraxis</i>. Verein Informationspraxis . <a href=\"https://doi.org/10.11588/ip.2017.1.35227\">https://doi.org/10.11588/ip.2017.1.35227</a>"},"author":[{"id":"3FFCCD3A-F248-11E8-B48F-1D18A9856A87","last_name":"Villányi","first_name":"Márton","full_name":"Villányi, Márton","orcid":"0000-0001-8126-0426"}],"file":[{"content_type":"application/pdf","relation":"main_file","file_name":"IST-2017-799-v1+1_35227-112025-1-PB.pdf","creator":"system","file_size":201163,"file_id":"4680","access_level":"open_access","date_created":"2018-12-12T10:08:20Z","date_updated":"2018-12-12T10:08:20Z"}],"file_date_updated":"2018-12-12T10:08:20Z","month":"01","article_processing_charge":"No","oa":1,"has_accepted_license":"1","year":"2017","day":"01","publication_identifier":{"issn":["2297-3249"]},"date_updated":"2023-10-18T07:49:29Z","doi":"10.11588/ip.2017.1.35227","title":"Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"         3","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"abstract":[{"text":"Auf der Suche nach einem Bibliothekssystem entschied sich die Forschungseinrichtung IST Austria im Jahr 2014 für das Open-Source-Produkt Koha. In einem ersten Schritt wurden zunächst Grundfunktionen aktiviert um im Anschluss diverse zusätzliche Tools zum Einsatz zu bringen. Die große Flexibilität des Systems erlaubt maßgeschneiderte Lösungen für unterschiedlichste Institutionen. Trotz Herausforderungen kann die Bibliothek auf eine erfolgreiche Implementierung zurückblicken.","lang":"ger"},{"text":"IST Austria was looking for a new library system until 2014 when the research institute decided\r\nto implement Koha. The library first activated basic functions of the open-source product and\r\nthen brought additional tools into operation. The high flexibility of the system allows customized\r\nsolutions for different institutions. Although the library faced some challenges, it can now look\r\nback on a successful implementation.","lang":"eng"}],"publist_id":"6360","publication":"Informationspraxis","status":"public","date_published":"2017-01-01T00:00:00Z","date_created":"2018-12-11T11:49:46Z","oa_version":"Published Version","type":"journal_article","volume":3,"popular_science":"1","publication_status":"published","publisher":"Verein Informationspraxis ","department":[{"_id":"E-Lib"}]},{"volume":2,"type":"journal_article","department":[{"_id":"KrCh"}],"project":[{"call_identifier":"FP7","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications"},{"call_identifier":"FWF","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","call_identifier":"FWF"}],"quality_controlled":"1","publication_status":"published","publisher":"Association for Computing Machinery","abstract":[{"text":"A fundamental algorithmic problem at the heart of static analysis is Dyck reachability. The input is a graph where the edges are labeled with different types of opening and closing parentheses, and the reachability information is computed via paths whose parentheses are properly matched. We present new results for Dyck reachability problems with applications to alias analysis and data-dependence analysis. Our main contributions, that include improved upper bounds as well as lower bounds that establish optimality guarantees, are as follows: First, we consider Dyck reachability on bidirected graphs, which is the standard way of performing field-sensitive points-to analysis. Given a bidirected graph with n nodes and m edges, we present: (i) an algorithm with worst-case running time O(m + n · α(n)), where α(n) is the inverse Ackermann function, improving the previously known O(n2) time bound; (ii) a matching lower bound that shows that our algorithm is optimal wrt to worst-case complexity; and (iii) an optimal average-case upper bound of O(m) time, improving the previously known O(m · logn) bound. Second, we consider the problem of context-sensitive data-dependence analysis, where the task is to obtain analysis summaries of library code in the presence of callbacks. Our algorithm preprocesses libraries in almost linear time, after which the contribution of the library in the complexity of the client analysis is only linear, and only wrt the number of call sites. Third, we prove that combinatorial algorithms for Dyck reachability on general graphs with truly sub-cubic bounds cannot be obtained without obtaining sub-cubic combinatorial algorithms for Boolean Matrix Multiplication, which is a long-standing open problem. Thus we establish that the existing combinatorial algorithms for Dyck reachability are (conditionally) optimal for general graphs. We also show that the same hardness holds for graphs of constant treewidth. Finally, we provide a prototype implementation of our algorithms for both alias analysis and data-dependence analysis. Our experimental evaluation demonstrates that the new algorithms significantly outperform all existing methods on the two problems, over real-world benchmarks.","lang":"eng"}],"date_published":"2017-12-27T00:00:00Z","status":"public","publication":"Proceedings of the ACM on Programming Languages","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"         2","oa_version":"Published Version","scopus_import":"1","date_created":"2021-12-05T23:01:48Z","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"5455"}]},"has_accepted_license":"1","conference":{"name":"POPL: Programming Languages","location":"Los Angeles, CA, United States","end_date":"2018-01-13","start_date":"2018-01-07"},"ec_funded":1,"year":"2017","oa":1,"article_processing_charge":"No","title":"Optimal Dyck reachability for data-dependence and Alias analysis","doi":"10.1145/3158118","external_id":{"arxiv":["1910.00241"]},"publication_identifier":{"eissn":["2475-1421"]},"day":"27","date_updated":"2023-02-23T12:27:13Z","issue":"POPL","acknowledgement":"The research was partly supported by Austrian Science Fund (FWF) Grant No P23499-N23, FWF NFN Grant No S11407-N23 (RiSE/SHiNE), and ERC Start grant (279307: Graph Games).\r\n","language":[{"iso":"eng"}],"_id":"10416","month":"12","file_date_updated":"2021-12-07T08:06:28Z","article_number":"30","author":[{"last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"first_name":"Bhavya","last_name":"Choudhary","full_name":"Choudhary, Bhavya"},{"first_name":"Andreas","last_name":"Pavlogiannis","id":"49704004-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8943-0722","full_name":"Pavlogiannis, Andreas"}],"file":[{"content_type":"application/pdf","checksum":"faa3f7b3fe8aab84b50ed805c26a0ee5","creator":"cchlebak","relation":"main_file","file_name":"2017_ACMProgLang_Chatterjee.pdf","success":1,"file_id":"10421","file_size":460188,"date_updated":"2021-12-07T08:06:28Z","date_created":"2021-12-07T08:06:28Z","access_level":"open_access"}],"article_type":"original","arxiv":1,"citation":{"ieee":"K. Chatterjee, B. Choudhary, and A. Pavlogiannis, “Optimal Dyck reachability for data-dependence and Alias analysis,” <i>Proceedings of the ACM on Programming Languages</i>, vol. 2, no. POPL. Association for Computing Machinery, 2017.","chicago":"Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.” <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery, 2017. <a href=\"https://doi.org/10.1145/3158118\">https://doi.org/10.1145/3158118</a>.","mla":"Chatterjee, Krishnendu, et al. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 2, no. POPL, 30, Association for Computing Machinery, 2017, doi:<a href=\"https://doi.org/10.1145/3158118\">10.1145/3158118</a>.","short":"K. Chatterjee, B. Choudhary, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 2 (2017).","ama":"Chatterjee K, Choudhary B, Pavlogiannis A. Optimal Dyck reachability for data-dependence and Alias analysis. <i>Proceedings of the ACM on Programming Languages</i>. 2017;2(POPL). doi:<a href=\"https://doi.org/10.1145/3158118\">10.1145/3158118</a>","apa":"Chatterjee, K., Choudhary, B., &#38; Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and Alias analysis. <i>Proceedings of the ACM on Programming Languages</i>. Los Angeles, CA, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3158118\">https://doi.org/10.1145/3158118</a>","ista":"Chatterjee K, Choudhary B, Pavlogiannis A. 2017. Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. 2(POPL), 30."},"ddc":["000"]},{"scopus_import":"1","date_created":"2021-12-05T23:01:49Z","oa_version":"Published Version","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":"         2","abstract":[{"text":"We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited states (aka stateless exploration). As the number of distinct traces grows exponentially, dynamic partial-order reduction (DPOR) techniques have been successfully used to partition the space of traces into equivalence classes (Mazurkiewicz partitioning), with the goal of exploring only few representative traces from each class.\r\n\r\nWe introduce a new equivalence on traces under sequential consistency semantics, which we call the observation equivalence. Two traces are observationally equivalent if every read event observes the same write event in both traces. While the traditional Mazurkiewicz equivalence is control-centric, our new definition is data-centric. We show that our observation equivalence is coarser than the Mazurkiewicz equivalence, and in many cases even exponentially coarser. We devise a DPOR exploration of the trace space, called data-centric DPOR, based on the observation equivalence.","lang":"eng"}],"publication":"Proceedings of the ACM on Programming Languages","status":"public","date_published":"2017-12-27T00:00:00Z","publication_status":"published","publisher":"Association for Computing Machinery","department":[{"_id":"KrCh"}],"quality_controlled":"1","project":[{"call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23"},{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"},{"name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","call_identifier":"FP7"}],"type":"journal_article","volume":2,"main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/3158119","open_access":"1"}],"article_type":"original","arxiv":1,"citation":{"mla":"Chalupa, Marek, et al. “Data-Centric Dynamic Partial Order Reduction.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 2, no. POPL, 31, Association for Computing Machinery, 2017, doi:<a href=\"https://doi.org/10.1145/3158119\">10.1145/3158119</a>.","short":"M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Proceedings of the ACM on Programming Languages 2 (2017).","chicago":"Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. “Data-Centric Dynamic Partial Order Reduction.” <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery, 2017. <a href=\"https://doi.org/10.1145/3158119\">https://doi.org/10.1145/3158119</a>.","ieee":"M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, “Data-centric dynamic partial order reduction,” <i>Proceedings of the ACM on Programming Languages</i>, vol. 2, no. POPL. Association for Computing Machinery, 2017.","ista":"Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. 2017. Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. 2(POPL), 31.","apa":"Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., &#38; Vaidya, K. (2017). Data-centric dynamic partial order reduction. <i>Proceedings of the ACM on Programming Languages</i>. Los Angeles, CA, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3158119\">https://doi.org/10.1145/3158119</a>","ama":"Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. Data-centric dynamic partial order reduction. <i>Proceedings of the ACM on Programming Languages</i>. 2017;2(POPL). doi:<a href=\"https://doi.org/10.1145/3158119\">10.1145/3158119</a>"},"author":[{"first_name":"Marek","last_name":"Chalupa","full_name":"Chalupa, Marek"},{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee"},{"id":"49704004-F248-11E8-B48F-1D18A9856A87","first_name":"Andreas","last_name":"Pavlogiannis","full_name":"Pavlogiannis, Andreas","orcid":"0000-0002-8943-0722"},{"last_name":"Sinha","first_name":"Nishant","full_name":"Sinha, Nishant"},{"last_name":"Vaidya","first_name":"Kapil","full_name":"Vaidya, Kapil"}],"month":"12","article_number":"31","language":[{"iso":"eng"}],"_id":"10417","acknowledgement":"The research was partly supported by Austrian Science Fund (FWF) Grant No P23499- N23, FWF\r\nNFN Grant No S11407-N23 (RiSE/SHiNE), ERC Start grant (279307: Graph Games), and Czech\r\nScience Foundation grant GBP202/12/G061.","issue":"POPL","day":"27","publication_identifier":{"eissn":["2475-1421"]},"date_updated":"2023-02-23T12:27:16Z","doi":"10.1145/3158119","title":"Data-centric dynamic partial order reduction","external_id":{"arxiv":["1610.01188"]},"oa":1,"article_processing_charge":"No","conference":{"end_date":"2018-01-13","start_date":"2018-01-07","name":"POPL: Programming Languages","location":"Los Angeles, CA, United States"},"related_material":{"record":[{"status":"public","id":"5448","relation":"earlier_version"},{"id":"5456","relation":"earlier_version","status":"public"}]},"ec_funded":1,"year":"2017"},{"issue":"POPL","acknowledgement":"McIver and Morgan are grateful to David Basin and the Information Security Group at ETH Zürich for hosting a six-month stay in Switzerland, during part of which this work began. And thanks particularly to Andreas Lochbihler, who shared with us the probabilistic termination problem that led to it. They acknowledge the support of ARC grant DP140101119. Part of this work was carried out during the Workshop on Probabilistic Programming Semantics\r\nat McGill University’s Bellairs Research Institute on Barbados organised by Alexandra Silva and\r\nPrakash Panangaden. Kaminski and Katoen are grateful to Sebastian Junges for spotting a flaw in §5.4.","language":[{"iso":"eng"}],"_id":"10418","month":"12","article_number":"33","author":[{"last_name":"Mciver","first_name":"Annabelle","full_name":"Mciver, Annabelle"},{"last_name":"Morgan","first_name":"Carroll","full_name":"Morgan, Carroll"},{"full_name":"Kaminski, Benjamin Lucien","first_name":"Benjamin Lucien","last_name":"Kaminski"},{"id":"4524F760-F248-11E8-B48F-1D18A9856A87","first_name":"Joost P","last_name":"Katoen","full_name":"Katoen, Joost P"}],"article_type":"original","arxiv":1,"citation":{"ama":"Mciver A, Morgan C, Kaminski BL, Katoen JP. A new proof rule for almost-sure termination. <i>Proceedings of the ACM on Programming Languages</i>. 2017;2(POPL). doi:<a href=\"https://doi.org/10.1145/3158121\">10.1145/3158121</a>","apa":"Mciver, A., Morgan, C., Kaminski, B. L., &#38; Katoen, J. P. (2017). A new proof rule for almost-sure termination. <i>Proceedings of the ACM on Programming Languages</i>. Los Angeles, CA, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3158121\">https://doi.org/10.1145/3158121</a>","ista":"Mciver A, Morgan C, Kaminski BL, Katoen JP. 2017. A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2(POPL), 33.","ieee":"A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” <i>Proceedings of the ACM on Programming Languages</i>, vol. 2, no. POPL. Association for Computing Machinery, 2017.","chicago":"Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost P Katoen. “A New Proof Rule for Almost-Sure Termination.” <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery, 2017. <a href=\"https://doi.org/10.1145/3158121\">https://doi.org/10.1145/3158121</a>.","mla":"Mciver, Annabelle, et al. “A New Proof Rule for Almost-Sure Termination.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 2, no. POPL, 33, Association for Computing Machinery, 2017, doi:<a href=\"https://doi.org/10.1145/3158121\">10.1145/3158121</a>.","short":"A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017)."},"conference":{"name":"POPL: Programming Languages","location":"Los Angeles, CA, United States","end_date":"2018-01-13","start_date":"2018-01-07"},"year":"2017","article_processing_charge":"No","oa":1,"title":"A new proof rule for almost-sure termination","doi":"10.1145/3158121","external_id":{"arxiv":["1711.03588"]},"publication_identifier":{"eissn":["2475-1421"]},"day":"07","date_updated":"2021-12-07T08:04:14Z","abstract":[{"text":"We present a new proof rule for proving almost-sure termination of probabilistic programs, including those that contain demonic non-determinism. An important question for a probabilistic program is whether the probability mass of all its diverging runs is zero, that is that it terminates \"almost surely\". Proving that can be hard, and this paper presents a new method for doing so. It applies directly to the program's source code, even if the program contains demonic choice. Like others, we use variant functions (a.k.a. \"super-martingales\") that are real-valued and decrease randomly on each loop iteration; but our key innovation is that the amount as well as the probability of the decrease are parametric. We prove the soundness of the new rule, indicate where its applicability goes beyond existing rules, and explain its connection to classical results on denumerable (non-demonic) Markov chains.","lang":"eng"}],"status":"public","date_published":"2017-12-07T00:00:00Z","publication":"Proceedings of the ACM on Programming Languages","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":"         2","oa_version":"Published Version","scopus_import":"1","date_created":"2021-12-05T23:01:49Z","main_file_link":[{"open_access":"1","url":"https://dl.acm.org/doi/10.1145/3158121"}],"volume":2,"type":"journal_article","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"quality_controlled":"1","publication_status":"published","publisher":"Association for Computing Machinery"}]
