[{"article_number":"203203","_id":"1109","abstract":[{"lang":"eng","text":"Rotation of molecules embedded in He nanodroplets is explored by a combination of fs laser-induced alignment experiments and angulon quasiparticle theory. We demonstrate that at low fluence of the fs alignment pulse, the molecule and its solvation shell can be set into coherent collective rotation lasting long enough to form revivals. With increasing fluence, however, the revivals disappear -- instead, rotational dynamics as rapid as for an isolated molecule is observed during the first few picoseconds. Classical calculations trace this phenomenon to transient decoupling of the molecule from its He shell. Our results open novel opportunities for studying non-equilibrium solute-solvent dynamics and quantum thermalization. "}],"issue":"20","date_updated":"2023-09-20T11:36:17Z","year":"2017","month":"05","status":"public","oa":1,"oa_version":"Preprint","date_published":"2017-05-19T00:00:00Z","doi":"10.1103/PhysRevLett.118.203203","publication_status":"published","intvolume":"       118","citation":{"chicago":"Shepperson, Benjamin, Anders Søndergaard, Lars Christiansen, Jan Kaczmarczyk, Robert Zillich, Mikhail Lemeshko, and Henrik Stapelfeldt. “Laser-Induced Rotation of Iodine Molecules in Helium Nanodroplets: Revivals and Breaking-Free.” <i>Physical Review Letters</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/PhysRevLett.118.203203\">https://doi.org/10.1103/PhysRevLett.118.203203</a>.","apa":"Shepperson, B., Søndergaard, A., Christiansen, L., Kaczmarczyk, J., Zillich, R., Lemeshko, M., &#38; Stapelfeldt, H. (2017). Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.118.203203\">https://doi.org/10.1103/PhysRevLett.118.203203</a>","ista":"Shepperson B, Søndergaard A, Christiansen L, Kaczmarczyk J, Zillich R, Lemeshko M, Stapelfeldt H. 2017. Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free. Physical Review Letters. 118(20), 203203.","mla":"Shepperson, Benjamin, et al. “Laser-Induced Rotation of Iodine Molecules in Helium Nanodroplets: Revivals and Breaking-Free.” <i>Physical Review Letters</i>, vol. 118, no. 20, 203203, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.118.203203\">10.1103/PhysRevLett.118.203203</a>.","ama":"Shepperson B, Søndergaard A, Christiansen L, et al. Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free. <i>Physical Review Letters</i>. 2017;118(20). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.118.203203\">10.1103/PhysRevLett.118.203203</a>","ieee":"B. Shepperson <i>et al.</i>, “Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free,” <i>Physical Review Letters</i>, vol. 118, no. 20. American Physical Society, 2017.","short":"B. Shepperson, A. Søndergaard, L. Christiansen, J. Kaczmarczyk, R. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 118 (2017)."},"scopus_import":"1","main_file_link":[{"url":"https://arxiv.org/abs/1702.01977","open_access":"1"}],"author":[{"full_name":"Shepperson, Benjamin","last_name":"Shepperson","first_name":"Benjamin"},{"last_name":"Søndergaard","first_name":"Anders","full_name":"Søndergaard, Anders"},{"full_name":"Christiansen, Lars","last_name":"Christiansen","first_name":"Lars"},{"id":"46C405DE-F248-11E8-B48F-1D18A9856A87","last_name":"Kaczmarczyk","orcid":"0000-0002-1629-3675","first_name":"Jan","full_name":"Kaczmarczyk, Jan"},{"last_name":"Zillich","first_name":"Robert","full_name":"Zillich, Robert"},{"full_name":"Lemeshko, Mikhail","orcid":"0000-0002-6990-7802","first_name":"Mikhail","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","last_name":"Lemeshko"},{"full_name":"Stapelfeldt, Henrik","first_name":"Henrik","last_name":"Stapelfeldt"}],"isi":1,"project":[{"call_identifier":"FWF","name":"Quantum rotations in the presence of a many-body environment","grant_number":"P29902","_id":"26031614-B435-11E9-9278-68D0E5697425"}],"day":"19","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"American Physical Society","title":"Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free","type":"journal_article","department":[{"_id":"MiLe"}],"language":[{"iso":"eng"}],"publication":"Physical Review Letters","date_created":"2018-12-11T11:50:12Z","volume":118,"quality_controlled":"1","external_id":{"isi":["000401664000005"]},"article_processing_charge":"No","publist_id":"6260"},{"publist_id":"6258","pubrep_id":"803","article_processing_charge":"No","external_id":{"isi":["000393367600001"]},"quality_controlled":"1","volume":7,"date_created":"2018-12-11T11:50:12Z","publication":"Scientific Reports","has_accepted_license":"1","language":[{"iso":"eng"}],"department":[{"_id":"JiFr"}],"type":"journal_article","title":"Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity","publisher":"Nature Publishing Group","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"day":"06","acknowledgement":"European Research Council (project ERC-2011-StG-20101109-PSDP), European Social Fund (CZ.1.07/2.3.00/20.0043) and the Czech Science Foundation (GA13-40637S) [JF].","file":[{"file_size":1654496,"relation":"main_file","content_type":"application/pdf","date_created":"2018-12-12T10:18:09Z","date_updated":"2018-12-12T10:18:09Z","file_name":"IST-2017-803-v1+1_srep41906.pdf","access_level":"open_access","file_id":"5328","creator":"system"}],"project":[{"grant_number":"282300","_id":"25716A02-B435-11E9-9278-68D0E5697425","name":"Polarity and subcellular dynamics in plants","call_identifier":"FP7"}],"author":[{"full_name":"Kuhn, Benjamin","first_name":"Benjamin","last_name":"Kuhn"},{"last_name":"Nodzyński","first_name":"Tomasz","full_name":"Nodzyński, Tomasz"},{"full_name":"Errafi, Sanae","last_name":"Errafi","first_name":"Sanae"},{"last_name":"Bucher","first_name":"Rahel","full_name":"Bucher, Rahel"},{"last_name":"Gupta","first_name":"Shibu","full_name":"Gupta, Shibu"},{"last_name":"Aryal","first_name":"Bibek","full_name":"Aryal, Bibek"},{"full_name":"Dobrev, Petre","first_name":"Petre","last_name":"Dobrev"},{"full_name":"Bigler, Laurent","last_name":"Bigler","first_name":"Laurent"},{"last_name":"Geisler","first_name":"Markus","full_name":"Geisler, Markus"},{"first_name":"Eva","last_name":"Zažímalová","full_name":"Zažímalová, Eva"},{"full_name":"Friml, Jirí","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","first_name":"Jirí"},{"full_name":"Ringli, Christoph","last_name":"Ringli","first_name":"Christoph"}],"isi":1,"ddc":["581"],"file_date_updated":"2018-12-12T10:18:09Z","scopus_import":"1","intvolume":"         7","citation":{"chicago":"Kuhn, Benjamin, Tomasz Nodzyński, Sanae Errafi, Rahel Bucher, Shibu Gupta, Bibek Aryal, Petre Dobrev, et al. “Flavonol-Induced Changes in PIN2 Polarity and Auxin Transport in the Arabidopsis Thaliana Rol1-2 Mutant Require Phosphatase Activity.” <i>Scientific Reports</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/srep41906\">https://doi.org/10.1038/srep41906</a>.","apa":"Kuhn, B., Nodzyński, T., Errafi, S., Bucher, R., Gupta, S., Aryal, B., … Ringli, C. (2017). Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. <i>Scientific Reports</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/srep41906\">https://doi.org/10.1038/srep41906</a>","ista":"Kuhn B, Nodzyński T, Errafi S, Bucher R, Gupta S, Aryal B, Dobrev P, Bigler L, Geisler M, Zažímalová E, Friml J, Ringli C. 2017. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 7, 41906.","mla":"Kuhn, Benjamin, et al. “Flavonol-Induced Changes in PIN2 Polarity and Auxin Transport in the Arabidopsis Thaliana Rol1-2 Mutant Require Phosphatase Activity.” <i>Scientific Reports</i>, vol. 7, 41906, Nature Publishing Group, 2017, doi:<a href=\"https://doi.org/10.1038/srep41906\">10.1038/srep41906</a>.","ama":"Kuhn B, Nodzyński T, Errafi S, et al. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. <i>Scientific Reports</i>. 2017;7. doi:<a href=\"https://doi.org/10.1038/srep41906\">10.1038/srep41906</a>","ieee":"B. Kuhn <i>et al.</i>, “Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity,” <i>Scientific Reports</i>, vol. 7. Nature Publishing Group, 2017.","short":"B. Kuhn, T. Nodzyński, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev, L. Bigler, M. Geisler, E. Zažímalová, J. Friml, C. Ringli, Scientific Reports 7 (2017)."},"publication_status":"published","doi":"10.1038/srep41906","date_published":"2017-02-06T00:00:00Z","oa_version":"Published Version","publication_identifier":{"issn":["20452322"]},"oa":1,"status":"public","ec_funded":1,"month":"02","year":"2017","date_updated":"2025-05-07T11:12:29Z","abstract":[{"lang":"eng","text":"The phytohormone auxin is a major determinant and regulatory component important for plant development. Auxin transport between cells is mediated by a complex system of transporters such as AUX1/LAX, PIN, and ABCB proteins, and their localization and activity is thought to be influenced by phosphatases and kinases. Flavonols have been shown to alter auxin transport activity and changes in flavonol accumulation in the Arabidopsis thaliana rol1-2 mutant cause defects in auxin transport and seedling development. A new mutation in ROOTS CURL IN NPA 1 (RCN1), encoding a regulatory subunit of the phosphatase PP2A, was found to suppress the growth defects of rol1-2 without changing the flavonol content. rol1-2 rcn1-3 double mutants show wild type-like auxin transport activity while levels of free auxin are not affected by rcn1-3. In the rol1-2 mutant, PIN2 shows a flavonol-induced basal-to-apical shift in polar localization which is reversed in the rol1-2 rcn1-3 to basal localization. In vivo analysis of PINOID action, a kinase known to influence PIN protein localization in a PP2A-antagonistic manner, revealed a negative impact of flavonols on PINOID activity. Together, these data suggest that flavonols affect auxin transport by modifying the antagonistic kinase/phosphatase equilibrium."}],"_id":"1110","article_number":"41906"},{"author":[{"first_name":"Jorge","last_name":"Heredia","full_name":"Heredia, Jorge"},{"orcid":"0000-0002-6873-2967","first_name":"Barbora","id":"42302D54-F248-11E8-B48F-1D18A9856A87","last_name":"Trubenova","full_name":"Trubenova, Barbora"},{"full_name":"Sudholt, Dirk","last_name":"Sudholt","first_name":"Dirk"},{"full_name":"Paixao, Tiago","first_name":"Tiago","orcid":"0000-0003-2361-3953","last_name":"Paixao","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87"}],"isi":1,"project":[{"grant_number":"618091","_id":"25B1EC9E-B435-11E9-9278-68D0E5697425","name":"Speed of Adaptation in Population Genetics and Evolutionary Computation","call_identifier":"FP7"}],"day":"01","pmid":1,"title":"Selection limits to adaptive walks on correlated landscapes","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Genetics Society of America","department":[{"_id":"NiBa"}],"language":[{"iso":"eng"}],"type":"journal_article","publication":"Genetics","date_created":"2018-12-11T11:50:12Z","page":"803 - 825","volume":205,"quality_controlled":"1","external_id":{"isi":["000394144900025"],"pmid":["27881471"]},"article_type":"original","article_processing_charge":"No","publist_id":"6256","_id":"1111","year":"2017","abstract":[{"lang":"eng","text":"Adaptation depends critically on the effects of new mutations and their dependency on the genetic background in which they occur. These two factors can be summarized by the fitness landscape. However, it would require testing all mutations in all backgrounds, making the definition and analysis of fitness landscapes mostly inaccessible. Instead of postulating a particular fitness landscape, we address this problem by considering general classes of landscapes and calculating an upper limit for the time it takes for a population to reach a fitness peak, circumventing the need to have full knowledge about the fitness landscape. We analyze populations in the weak-mutation regime and characterize the conditions that enable them to quickly reach the fitness peak as a function of the number of sites under selection. We show that for additive landscapes there is a critical selection strength enabling populations to reach high-fitness genotypes, regardless of the distribution of effects. This threshold scales with the number of sites under selection, effectively setting a limit to adaptation, and results from the inevitable increase in deleterious mutational pressure as the population adapts in a space of discrete genotypes. Furthermore, we show that for the class of all unimodal landscapes this condition is sufficient but not necessary for rapid adaptation, as in some highly epistatic landscapes the critical strength does not depend on the number of sites under selection; effectively removing this barrier to adaptation."}],"issue":"2","date_updated":"2023-09-20T11:35:03Z","ec_funded":1,"month":"02","oa":1,"publication_identifier":{"issn":["00166731"]},"status":"public","date_published":"2017-02-01T00:00:00Z","oa_version":"Published Version","doi":"10.1534/genetics.116.189340","publication_status":"published","citation":{"chicago":"Heredia, Jorge, Barbora Trubenova, Dirk Sudholt, and Tiago Paixao. “Selection Limits to Adaptive Walks on Correlated Landscapes.” <i>Genetics</i>. Genetics Society of America, 2017. <a href=\"https://doi.org/10.1534/genetics.116.189340\">https://doi.org/10.1534/genetics.116.189340</a>.","apa":"Heredia, J., Trubenova, B., Sudholt, D., &#38; Paixao, T. (2017). Selection limits to adaptive walks on correlated landscapes. <i>Genetics</i>. Genetics Society of America. <a href=\"https://doi.org/10.1534/genetics.116.189340\">https://doi.org/10.1534/genetics.116.189340</a>","mla":"Heredia, Jorge, et al. “Selection Limits to Adaptive Walks on Correlated Landscapes.” <i>Genetics</i>, vol. 205, no. 2, Genetics Society of America, 2017, pp. 803–25, doi:<a href=\"https://doi.org/10.1534/genetics.116.189340\">10.1534/genetics.116.189340</a>.","ista":"Heredia J, Trubenova B, Sudholt D, Paixao T. 2017. Selection limits to adaptive walks on correlated landscapes. Genetics. 205(2), 803–825.","ieee":"J. Heredia, B. Trubenova, D. Sudholt, and T. Paixao, “Selection limits to adaptive walks on correlated landscapes,” <i>Genetics</i>, vol. 205, no. 2. Genetics Society of America, pp. 803–825, 2017.","ama":"Heredia J, Trubenova B, Sudholt D, Paixao T. Selection limits to adaptive walks on correlated landscapes. <i>Genetics</i>. 2017;205(2):803-825. doi:<a href=\"https://doi.org/10.1534/genetics.116.189340\">10.1534/genetics.116.189340</a>","short":"J. Heredia, B. Trubenova, D. Sudholt, T. Paixao, Genetics 205 (2017) 803–825."},"intvolume":"       205","scopus_import":"1","main_file_link":[{"url":"https://doi.org/10.1534/genetics.116.189340","open_access":"1"}]},{"scopus_import":1,"publist_id":"6255","quality_controlled":"1","citation":{"apa":"Paixao, T., &#38; Pérez Heredia, J. (2017). An application of stochastic differential equations to evolutionary algorithms. In <i>Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms</i> (pp. 3–11). Copenhagen, Denmark: ACM. <a href=\"https://doi.org/10.1145/3040718.3040729\">https://doi.org/10.1145/3040718.3040729</a>","ista":"Paixao T, Pérez Heredia J. 2017. An application of stochastic differential equations to evolutionary algorithms. Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. FOGA: Foundations of Genetic Algorithms, 3–11.","mla":"Paixao, Tiago, and Jorge Pérez Heredia. “An Application of Stochastic Differential Equations to Evolutionary Algorithms.” <i>Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms</i>, ACM, 2017, pp. 3–11, doi:<a href=\"https://doi.org/10.1145/3040718.3040729\">10.1145/3040718.3040729</a>.","chicago":"Paixao, Tiago, and Jorge Pérez Heredia. “An Application of Stochastic Differential Equations to Evolutionary Algorithms.” In <i>Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms</i>, 3–11. ACM, 2017. <a href=\"https://doi.org/10.1145/3040718.3040729\">https://doi.org/10.1145/3040718.3040729</a>.","ieee":"T. Paixao and J. Pérez Heredia, “An application of stochastic differential equations to evolutionary algorithms,” in <i>Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms</i>, Copenhagen, Denmark, 2017, pp. 3–11.","ama":"Paixao T, Pérez Heredia J. An application of stochastic differential equations to evolutionary algorithms. In: <i>Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms</i>. ACM; 2017:3-11. doi:<a href=\"https://doi.org/10.1145/3040718.3040729\">10.1145/3040718.3040729</a>","short":"T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11."},"conference":{"start_date":"2017-01-12","name":"FOGA: Foundations of Genetic Algorithms","end_date":"2017-01-15","location":"Copenhagen, Denmark"},"publication_status":"published","doi":"10.1145/3040718.3040729","date_created":"2018-12-11T11:50:12Z","page":"3 - 11","publication":"Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms","type":"conference","oa_version":"None","language":[{"iso":"eng"}],"date_published":"2017-01-12T00:00:00Z","department":[{"_id":"NiBa"}],"publisher":"ACM","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"An application of stochastic differential equations to evolutionary algorithms","publication_identifier":{"isbn":["978-145034651-1"]},"month":"01","date_updated":"2021-01-12T06:48:22Z","abstract":[{"lang":"eng","text":"There has been renewed interest in modelling the behaviour of evolutionary algorithms by more traditional mathematical objects, such as ordinary differential equations or Markov chains. The advantage is that the analysis becomes greatly facilitated due to the existence of well established methods. However, this typically comes at the cost of disregarding information about the process. Here, we introduce the use of stochastic differential equations (SDEs) for the study of EAs. SDEs can produce simple analytical results for the dynamics of stochastic processes, unlike Markov chains which can produce rigorous but unwieldy expressions about the dynamics. On the other hand, unlike ordinary differential equations (ODEs), they do not discard information about the stochasticity of the process. We show that these are especially suitable for the analysis of fixed budget scenarios and present analogs of the additive and multiplicative drift theorems for SDEs. We exemplify the use of these methods for two model algorithms ((1+1) EA and RLS) on two canonical problems(OneMax and LeadingOnes)."}],"day":"12","year":"2017","author":[{"first_name":"Tiago","orcid":"0000-0003-2361-3953","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87","last_name":"Paixao","full_name":"Paixao, Tiago"},{"full_name":"Pérez Heredia, Jorge","last_name":"Pérez Heredia","first_name":"Jorge"}],"_id":"1112"},{"status":"public","oa":1,"month":"01","ec_funded":1,"date_updated":"2023-02-23T10:05:57Z","abstract":[{"lang":"eng","text":"A drawing of a graph G is radial if the vertices of G are placed on concentric circles C 1 , . . . , C k with common center c , and edges are drawn radially : every edge intersects every circle centered at c at most once. G is radial planar if it has a radial embedding, that is, a crossing-free radial drawing. If the vertices of G are ordered or partitioned into ordered levels (as they are for leveled graphs), we require that the assignment of vertices to circles corresponds to the given ordering or leveling. We show that a graph G is radial planar if G has a radial drawing in which every two edges cross an even number of times; the radial embedding has the same leveling as the radial drawing. In other words, we establish the weak variant of the Hanani-Tutte theorem for radial planarity. This generalizes a result by Pach and Toth."}],"issue":"1","arxiv":1,"year":"2017","_id":"1113","file_date_updated":"2019-10-24T10:54:37Z","scopus_import":1,"ddc":["510"],"intvolume":"        21","citation":{"short":"R. Fulek, M. Pelsmajer, M. Schaefer, Journal of Graph Algorithms and Applications 21 (2017) 135–154.","ieee":"R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” <i>Journal of Graph Algorithms and Applications</i>, vol. 21, no. 1. Brown University, pp. 135–154, 2017.","ama":"Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity. <i>Journal of Graph Algorithms and Applications</i>. 2017;21(1):135-154. doi:<a href=\"https://doi.org/10.7155/jgaa.00408\">10.7155/jgaa.00408</a>","ista":"Fulek R, Pelsmajer M, Schaefer M. 2017. Hanani-Tutte for radial planarity. Journal of Graph Algorithms and Applications. 21(1), 135–154.","apa":"Fulek, R., Pelsmajer, M., &#38; Schaefer, M. (2017). Hanani-Tutte for radial planarity. <i>Journal of Graph Algorithms and Applications</i>. Brown University. <a href=\"https://doi.org/10.7155/jgaa.00408\">https://doi.org/10.7155/jgaa.00408</a>","mla":"Fulek, Radoslav, et al. “Hanani-Tutte for Radial Planarity.” <i>Journal of Graph Algorithms and Applications</i>, vol. 21, no. 1, Brown University, 2017, pp. 135–54, doi:<a href=\"https://doi.org/10.7155/jgaa.00408\">10.7155/jgaa.00408</a>.","chicago":"Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity.” <i>Journal of Graph Algorithms and Applications</i>. Brown University, 2017. <a href=\"https://doi.org/10.7155/jgaa.00408\">https://doi.org/10.7155/jgaa.00408</a>."},"publication_status":"published","doi":"10.7155/jgaa.00408","oa_version":"Published Version","date_published":"2017-01-01T00:00:00Z","publisher":"Brown University","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Hanani-Tutte for radial planarity","day":"01","project":[{"grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"}],"author":[{"full_name":"Fulek, Radoslav","last_name":"Fulek","id":"39F3FFE4-F248-11E8-B48F-1D18A9856A87","first_name":"Radoslav","orcid":"0000-0001-8485-1774"},{"full_name":"Pelsmajer, Michael","first_name":"Michael","last_name":"Pelsmajer"},{"first_name":"Marcus","last_name":"Schaefer","full_name":"Schaefer, Marcus"}],"file":[{"date_created":"2019-10-24T10:54:37Z","file_name":"2017_JournalGraphAlgorithms_Fulek.pdf","date_updated":"2019-10-24T10:54:37Z","access_level":"open_access","creator":"dernst","file_id":"6967","success":1,"file_size":573623,"content_type":"application/pdf","relation":"main_file"}],"publist_id":"6254","article_processing_charge":"No","article_type":"original","external_id":{"arxiv":["1608.08662"]},"volume":21,"quality_controlled":"1","related_material":{"record":[{"id":"1164","relation":"earlier_version","status":"public"},{"status":"public","relation":"earlier_version","id":"1595"}]},"has_accepted_license":"1","page":"135 - 154","date_created":"2018-12-11T11:50:13Z","publication":"Journal of Graph Algorithms and Applications","type":"journal_article","language":[{"iso":"eng"}],"department":[{"_id":"UlWa"}]},{"title":"Observation of the photon blockade breakdown phase transition","publisher":"American Physical Society","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"day":"31","file":[{"file_size":1172926,"content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_id":"4972","creator":"system","date_created":"2018-12-12T10:12:52Z","date_updated":"2018-12-12T10:12:52Z","file_name":"IST-2017-753-v1+1_PhysRevX.7.011012.pdf"}],"isi":1,"author":[{"orcid":"0000-0001-8112-028X","first_name":"Johannes M","last_name":"Fink","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","full_name":"Fink, Johannes M"},{"full_name":"Dombi, András","first_name":"András","last_name":"Dombi"},{"full_name":"Vukics, András","last_name":"Vukics","first_name":"András"},{"last_name":"Wallraff","first_name":"Andreas","full_name":"Wallraff, Andreas"},{"full_name":"Domokos, Peter","first_name":"Peter","last_name":"Domokos"}],"publist_id":"6252","pubrep_id":"753","article_processing_charge":"Yes","external_id":{"isi":["000397450500001"]},"volume":7,"quality_controlled":"1","date_created":"2018-12-11T11:50:13Z","publication":"Physical Review X","has_accepted_license":"1","language":[{"iso":"eng"}],"department":[{"_id":"JoFi"}],"type":"journal_article","oa":1,"publication_identifier":{"issn":["21603308"]},"status":"public","month":"01","year":"2017","date_updated":"2023-09-20T11:33:07Z","issue":"1","abstract":[{"text":"Nonequilibrium phase transitions exist in damped-driven open quantum systems when the continuous tuning of an external parameter leads to a transition between two robust steady states. In second-order transitions this change is abrupt at a critical point, whereas in first-order transitions the two phases can coexist in a critical hysteresis domain. Here, we report the observation of a first-order dissipative quantum phase transition in a driven circuit quantum electrodynamics system. It takes place when the photon blockade of the driven cavity-atom system is broken by increasing the drive power. The observed experimental signature is a bimodal phase space distribution with varying weights controlled by the drive strength. Our measurements show an improved stabilization of the classical attractors up to the millisecond range when the size of the quantum system is increased from one to three artificial atoms. The formation of such robust pointer states could be used for new quantum measurement schemes or to investigate multiphoton phases of finite-size, nonlinear, open quantum systems.","lang":"eng"}],"_id":"1114","article_number":"011012","ddc":["539"],"scopus_import":"1","file_date_updated":"2018-12-12T10:12:52Z","citation":{"apa":"Fink, J. M., Dombi, A., Vukics, A., Wallraff, A., &#38; Domokos, P. (2017). Observation of the photon blockade breakdown phase transition. <i>Physical Review X</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevX.7.011012\">https://doi.org/10.1103/PhysRevX.7.011012</a>","mla":"Fink, Johannes M., et al. “Observation of the Photon Blockade Breakdown Phase Transition.” <i>Physical Review X</i>, vol. 7, no. 1, 011012, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/PhysRevX.7.011012\">10.1103/PhysRevX.7.011012</a>.","ista":"Fink JM, Dombi A, Vukics A, Wallraff A, Domokos P. 2017. Observation of the photon blockade breakdown phase transition. Physical Review X. 7(1), 011012.","chicago":"Fink, Johannes M, András Dombi, András Vukics, Andreas Wallraff, and Peter Domokos. “Observation of the Photon Blockade Breakdown Phase Transition.” <i>Physical Review X</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/PhysRevX.7.011012\">https://doi.org/10.1103/PhysRevX.7.011012</a>.","short":"J.M. Fink, A. Dombi, A. Vukics, A. Wallraff, P. Domokos, Physical Review X 7 (2017).","ieee":"J. M. Fink, A. Dombi, A. Vukics, A. Wallraff, and P. Domokos, “Observation of the photon blockade breakdown phase transition,” <i>Physical Review X</i>, vol. 7, no. 1. American Physical Society, 2017.","ama":"Fink JM, Dombi A, Vukics A, Wallraff A, Domokos P. Observation of the photon blockade breakdown phase transition. <i>Physical Review X</i>. 2017;7(1). doi:<a href=\"https://doi.org/10.1103/PhysRevX.7.011012\">10.1103/PhysRevX.7.011012</a>"},"intvolume":"         7","publication_status":"published","doi":"10.1103/PhysRevX.7.011012","date_published":"2017-01-31T00:00:00Z","oa_version":"Published Version"},{"alternative_title":["LNCS"],"title":"Computing scores of forwarding schemes in switched networks with probabilistic faults","publisher":"Springer","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"file_size":321800,"content_type":"application/pdf","relation":"main_file","date_created":"2018-12-12T10:08:37Z","file_name":"IST-2017-758-v1+1_tacas-cr.pdf","date_updated":"2018-12-12T10:08:37Z","access_level":"open_access","file_id":"4698","creator":"system"}],"project":[{"grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","name":"Moderne Concurrency Paradigms","call_identifier":"FWF"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF","name":"The Wittgenstein Prize"}],"author":[{"full_name":"Avni, Guy","last_name":"Avni","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","first_name":"Guy","orcid":"0000-0001-5588-8287"},{"first_name":"Shubham","last_name":"Goel","full_name":"Goel, Shubham"},{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Rodríguez Navas, Guillermo","first_name":"Guillermo","last_name":"Rodríguez Navas"}],"isi":1,"day":"31","external_id":{"isi":["000440733400010"]},"volume":10206,"quality_controlled":"1","publist_id":"6246","article_processing_charge":"No","pubrep_id":"758","language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"type":"conference","page":"169 - 187","date_created":"2018-12-11T11:50:14Z","has_accepted_license":"1","month":"03","publication_identifier":{"issn":["03029743"]},"oa":1,"status":"public","_id":"1116","year":"2017","date_updated":"2023-09-20T11:32:43Z","abstract":[{"text":"Time-triggered switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. Due to the criticality of the applications running over them, developers need to ensure that end-to-end communication is dependable and predictable. Traditional approaches assume static networks that are not flexible to changes caused by reconfigurations or, more importantly, faults, which are dealt with in the application using redundancy. We adopt the concept of handling faults in the switches from non-real-time networks while maintaining the required predictability. \r\n\r\nWe study a class of forwarding schemes that can handle various types of failures. We consider probabilistic failures. We study a class of forwarding schemes that can handle various types of failures. We consider probabilistic failures. For a given network with a forwarding scheme and a constant ℓ, we compute the {\\em score} of the scheme, namely the probability (induced by faults) that at least ℓ messages arrive on time. We reduce the scoring problem to a reachability problem on a Markov chain with a &quot;product-like&quot; structure. Its special structure allows us to reason about it symbolically, and reduce the scoring problem to #SAT. Our solution is generic and can be adapted to different networks and other contexts. Also, we show the computational complexity of the scoring problem is #P-complete, and we study methods to estimate the score. We evaluate the effectiveness of our techniques with an implementation. ","lang":"eng"}],"citation":{"short":"G. Avni, S. Goel, T.A. Henzinger, G. Rodríguez Navas, in:, Springer, 2017, pp. 169–187.","ama":"Avni G, Goel S, Henzinger TA, Rodríguez Navas G. Computing scores of forwarding schemes in switched networks with probabilistic faults. In: Vol 10206. Springer; 2017:169-187. doi:<a href=\"https://doi.org/10.1007/978-3-662-54580-5_10\">10.1007/978-3-662-54580-5_10</a>","ieee":"G. Avni, S. Goel, T. A. Henzinger, and G. Rodríguez Navas, “Computing scores of forwarding schemes in switched networks with probabilistic faults,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10206, pp. 169–187.","chicago":"Avni, Guy, Shubham Goel, Thomas A Henzinger, and Guillermo Rodríguez Navas. “Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults,” 10206:169–87. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-662-54580-5_10\">https://doi.org/10.1007/978-3-662-54580-5_10</a>.","apa":"Avni, G., Goel, S., Henzinger, T. A., &#38; Rodríguez Navas, G. (2017). Computing scores of forwarding schemes in switched networks with probabilistic faults (Vol. 10206, pp. 169–187). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden: Springer. <a href=\"https://doi.org/10.1007/978-3-662-54580-5_10\">https://doi.org/10.1007/978-3-662-54580-5_10</a>","mla":"Avni, Guy, et al. <i>Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults</i>. Vol. 10206, Springer, 2017, pp. 169–87, doi:<a href=\"https://doi.org/10.1007/978-3-662-54580-5_10\">10.1007/978-3-662-54580-5_10</a>.","ista":"Avni G, Goel S, Henzinger TA, Rodríguez Navas G. 2017. Computing scores of forwarding schemes in switched networks with probabilistic faults. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10206, 169–187."},"intvolume":"     10206","ddc":["000"],"scopus_import":"1","file_date_updated":"2018-12-12T10:08:37Z","date_published":"2017-03-31T00:00:00Z","oa_version":"Submitted Version","conference":{"location":"Uppsala, Sweden","end_date":"2017-04-29","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","start_date":"2017-04-22"},"publication_status":"published","doi":"10.1007/978-3-662-54580-5_10"},{"date_updated":"2023-09-20T11:32:15Z","issue":"3","abstract":[{"text":"GABAergic synapses in brain circuits generate inhibitory output signals with submillisecond latency and temporal precision. Whether the molecular identity of the release sensor contributes to these signaling properties remains unclear. Here, we examined the Ca^2+ sensor of exocytosis at GABAergic basket cell (BC) to Purkinje cell (PC) synapses in cerebellum. Immunolabeling suggested that BC terminals selectively expressed synaptotagmin 2 (Syt2), whereas synaptotagmin 1 (Syt1) was enriched in excitatory terminals. Genetic elimination of Syt2 reduced action potential-evoked release to ∼10%, identifying Syt2 as the major Ca^2+ sensor at BC-PC synapses. Differential adenovirus-mediated rescue revealed that Syt2 triggered release with shorter latency and higher temporal precision and mediated faster vesicle pool replenishment than Syt1. Furthermore, deletion of Syt2 severely reduced and delayed disynaptic inhibition following parallel fiber stimulation. Thus, the selective use of Syt2 as release sensor at BC-PC synapses ensures fast and efficient feedforward inhibition in cerebellar microcircuits. #bioimagingfacility-author","lang":"eng"}],"year":"2017","acknowledged_ssus":[{"_id":"Bio"},{"_id":"PreCl"}],"_id":"1117","status":"public","publication_identifier":{"issn":["22111247"]},"oa":1,"month":"01","ec_funded":1,"publication_status":"published","doi":"10.1016/j.celrep.2016.12.067","oa_version":"Published Version","date_published":"2017-01-17T00:00:00Z","file_date_updated":"2018-12-12T10:16:09Z","scopus_import":"1","ddc":["571"],"intvolume":"        18","citation":{"short":"C. Chen,  itaru Arai, R. Satterield, S. Young, P.M. Jonas, Cell Reports 18 (2017) 723–736.","ieee":"C. Chen,  itaru Arai, R. Satterield, S. Young, and P. M. Jonas, “Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse,” <i>Cell Reports</i>, vol. 18, no. 3. Cell Press, pp. 723–736, 2017.","ama":"Chen C, Arai  itaru, Satterield R, Young S, Jonas PM. Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse. <i>Cell Reports</i>. 2017;18(3):723-736. doi:<a href=\"https://doi.org/10.1016/j.celrep.2016.12.067\">10.1016/j.celrep.2016.12.067</a>","chicago":"Chen, Chong, itaru Arai, Rachel Satterield, Samuel Young, and Peter M Jonas. “Synaptotagmin 2 Is the Fast Ca2+ Sensor at a Central Inhibitory Synapse.” <i>Cell Reports</i>. Cell Press, 2017. <a href=\"https://doi.org/10.1016/j.celrep.2016.12.067\">https://doi.org/10.1016/j.celrep.2016.12.067</a>.","apa":"Chen, C., Arai,  itaru, Satterield, R., Young, S., &#38; Jonas, P. M. (2017). Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse. <i>Cell Reports</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.celrep.2016.12.067\">https://doi.org/10.1016/j.celrep.2016.12.067</a>","mla":"Chen, Chong, et al. “Synaptotagmin 2 Is the Fast Ca2+ Sensor at a Central Inhibitory Synapse.” <i>Cell Reports</i>, vol. 18, no. 3, Cell Press, 2017, pp. 723–36, doi:<a href=\"https://doi.org/10.1016/j.celrep.2016.12.067\">10.1016/j.celrep.2016.12.067</a>.","ista":"Chen C, Arai  itaru, Satterield R, Young S, Jonas PM. 2017. Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse. Cell Reports. 18(3), 723–736."},"day":"17","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"project":[{"name":"Mechanisms of transmitter release at GABAergic synapses","call_identifier":"FWF","_id":"25C26B1E-B435-11E9-9278-68D0E5697425","grant_number":"P24909-B24"},{"grant_number":"268548","_id":"25C0F108-B435-11E9-9278-68D0E5697425","name":"Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons","call_identifier":"FP7"}],"author":[{"full_name":"Chen, Chong","id":"3DFD581A-F248-11E8-B48F-1D18A9856A87","last_name":"Chen","first_name":"Chong"},{"full_name":"Arai, Itaru","last_name":"Arai","id":"32A73F6C-F248-11E8-B48F-1D18A9856A87","first_name":"Itaru"},{"full_name":"Satterield, Rachel","last_name":"Satterield","first_name":"Rachel"},{"full_name":"Young, Samuel","last_name":"Young","first_name":"Samuel"},{"full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804","first_name":"Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas"}],"isi":1,"file":[{"relation":"main_file","content_type":"application/pdf","file_size":4427591,"date_updated":"2018-12-12T10:16:09Z","file_name":"IST-2017-751-v1+1_1-s2.0-S2211124716317740-main.pdf","date_created":"2018-12-12T10:16:09Z","creator":"system","file_id":"5195","access_level":"open_access"}],"publisher":"Cell Press","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","title":"Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse","has_accepted_license":"1","date_created":"2018-12-11T11:50:14Z","page":"723 - 736","publication":"Cell Reports","type":"journal_article","language":[{"iso":"eng"}],"department":[{"_id":"PeJo"}],"publist_id":"6245","article_processing_charge":"No","pubrep_id":"751","external_id":{"isi":["000396470600013"]},"quality_controlled":"1","volume":18,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"324"}]}},{"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Elsevier","title":"Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"day":"18","author":[{"full_name":"Gan, Jian","id":"3614E438-F248-11E8-B48F-1D18A9856A87","last_name":"Gan","first_name":"Jian"},{"full_name":"Weng, Shih-Ming","first_name":"Shih-Ming","id":"2F9C5AC8-F248-11E8-B48F-1D18A9856A87","last_name":"Weng"},{"full_name":"Pernia-Andrade, Alejandro","first_name":"Alejandro","last_name":"Pernia-Andrade","id":"36963E98-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Csicsvari, Jozsef L","orcid":"0000-0002-5193-4036","first_name":"Jozsef L","last_name":"Csicsvari","id":"3FA14672-F248-11E8-B48F-1D18A9856A87"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas","orcid":"0000-0001-5001-4804","first_name":"Peter M","full_name":"Jonas, Peter M"}],"isi":1,"project":[{"call_identifier":"FWF","name":"Mechanisms of transmitter release at GABAergic synapses","grant_number":"P24909-B24","_id":"25C26B1E-B435-11E9-9278-68D0E5697425"},{"_id":"25C0F108-B435-11E9-9278-68D0E5697425","grant_number":"268548","name":"Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons","call_identifier":"FP7"}],"file":[{"date_created":"2018-12-12T10:08:56Z","date_updated":"2018-12-12T10:08:56Z","file_name":"IST-2017-752-v1+1_1-s2.0-S0896627316309606-main.pdf","access_level":"open_access","file_id":"4719","creator":"system","file_size":2738950,"content_type":"application/pdf","relation":"main_file"}],"article_processing_charge":"No","pubrep_id":"752","publist_id":"6244","quality_controlled":"1","volume":93,"external_id":{"isi":["000396428200010"]},"has_accepted_license":"1","publication":"Neuron","page":"308 - 314","date_created":"2018-12-11T11:50:15Z","type":"journal_article","department":[{"_id":"PeJo"},{"_id":"JoCs"}],"language":[{"iso":"eng"}],"status":"public","oa":1,"month":"01","ec_funded":1,"issue":"2","abstract":[{"text":"Sharp wave-ripple (SWR) oscillations play a key role in memory consolidation during non-rapid eye movement sleep, immobility, and consummatory behavior. However, whether temporally modulated synaptic excitation or inhibition underlies the ripples is controversial. To address this question, we performed simultaneous recordings of excitatory and inhibitory postsynaptic currents (EPSCs and IPSCs) and local field potentials (LFPs) in the CA1 region of awake mice in vivo. During SWRs, inhibition dominated over excitation, with a peak conductance ratio of 4.1 ± 0.5. Furthermore, the amplitude of SWR-associated IPSCs was positively correlated with SWR magnitude, whereas that of EPSCs was not. Finally, phase analysis indicated that IPSCs were phase-locked to individual ripple cycles, whereas EPSCs were uniformly distributed in phase space. Optogenetic inhibition indicated that PV+ interneurons provided a major contribution to SWR-associated IPSCs. Thus, phasic inhibition, but not excitation, shapes SWR oscillations in the hippocampal CA1 region in vivo.","lang":"eng"}],"date_updated":"2023-09-20T11:31:48Z","year":"2017","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"ScienComp"},{"_id":"PreCl"}],"_id":"1118","scopus_import":"1","file_date_updated":"2018-12-12T10:08:56Z","ddc":["571"],"intvolume":"        93","citation":{"chicago":"Gan, Jian, Shih-Ming Weng, Alejandro Pernia-Andrade, Jozsef L Csicsvari, and Peter M Jonas. “Phase-Locked Inhibition, but Not Excitation, Underlies Hippocampal Ripple Oscillations in Awake Mice in Vivo.” <i>Neuron</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.neuron.2016.12.018\">https://doi.org/10.1016/j.neuron.2016.12.018</a>.","ista":"Gan J, Weng S-M, Pernia-Andrade A, Csicsvari JL, Jonas PM. 2017. Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo. Neuron. 93(2), 308–314.","mla":"Gan, Jian, et al. “Phase-Locked Inhibition, but Not Excitation, Underlies Hippocampal Ripple Oscillations in Awake Mice in Vivo.” <i>Neuron</i>, vol. 93, no. 2, Elsevier, 2017, pp. 308–14, doi:<a href=\"https://doi.org/10.1016/j.neuron.2016.12.018\">10.1016/j.neuron.2016.12.018</a>.","apa":"Gan, J., Weng, S.-M., Pernia-Andrade, A., Csicsvari, J. L., &#38; Jonas, P. M. (2017). Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2016.12.018\">https://doi.org/10.1016/j.neuron.2016.12.018</a>","ieee":"J. Gan, S.-M. Weng, A. Pernia-Andrade, J. L. Csicsvari, and P. M. Jonas, “Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo,” <i>Neuron</i>, vol. 93, no. 2. Elsevier, pp. 308–314, 2017.","ama":"Gan J, Weng S-M, Pernia-Andrade A, Csicsvari JL, Jonas PM. Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo. <i>Neuron</i>. 2017;93(2):308-314. doi:<a href=\"https://doi.org/10.1016/j.neuron.2016.12.018\">10.1016/j.neuron.2016.12.018</a>","short":"J. Gan, S.-M. Weng, A. Pernia-Andrade, J.L. Csicsvari, P.M. Jonas, Neuron 93 (2017) 308–314."},"doi":"10.1016/j.neuron.2016.12.018","publication_status":"published","oa_version":"Published Version","date_published":"2017-01-18T00:00:00Z"},{"publication_status":"published","doi":"10.1103/PhysRevLett.118.095301","date_published":"2017-02-27T00:00:00Z","oa_version":"Submitted Version","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1610.01604"}],"citation":{"ista":"Lemeshko M. 2017. Quasiparticle approach to molecules interacting with quantum solvents. Physical Review Letters. 118(9), 095301.","apa":"Lemeshko, M. (2017). Quasiparticle approach to molecules interacting with quantum solvents. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.118.095301\">https://doi.org/10.1103/PhysRevLett.118.095301</a>","mla":"Lemeshko, Mikhail. “Quasiparticle Approach to Molecules Interacting with Quantum Solvents.” <i>Physical Review Letters</i>, vol. 118, no. 9, 095301, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.118.095301\">10.1103/PhysRevLett.118.095301</a>.","chicago":"Lemeshko, Mikhail. “Quasiparticle Approach to Molecules Interacting with Quantum Solvents.” <i>Physical Review Letters</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/PhysRevLett.118.095301\">https://doi.org/10.1103/PhysRevLett.118.095301</a>.","short":"M. Lemeshko, Physical Review Letters 118 (2017).","ama":"Lemeshko M. Quasiparticle approach to molecules interacting with quantum solvents. <i>Physical Review Letters</i>. 2017;118(9). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.118.095301\">10.1103/PhysRevLett.118.095301</a>","ieee":"M. Lemeshko, “Quasiparticle approach to molecules interacting with quantum solvents,” <i>Physical Review Letters</i>, vol. 118, no. 9. American Physical Society, 2017."},"intvolume":"       118","year":"2017","date_updated":"2023-09-20T11:31:22Z","issue":"9","abstract":[{"text":"Understanding the behavior of molecules interacting with superfluid helium represents a formidable challenge and, in general, requires approaches relying on large-scale numerical simulations. Here we demonstrate that experimental data collected over the last 20 years provide evidence that molecules immersed in superfluid helium form recently-predicted angulon quasiparticles [Phys. Rev. Lett. 114, 203001 (2015)]. Most importantly, casting the many-body problem in terms of angulons amounts to a drastic simplification and yields effective molecular moments of inertia as straightforward analytic solutions of a simple microscopic Hamiltonian. The outcome of the angulon theory is in good agreement with experiment for a broad range of molecular impurities, from heavy to medium-mass to light species. These results pave the way to understanding molecular rotation in liquid and crystalline phases in terms of the angulon quasiparticle.","lang":"eng"}],"_id":"1119","article_number":"095301","publication_identifier":{"issn":["00319007"]},"oa":1,"status":"public","month":"02","date_created":"2018-12-11T11:50:15Z","publication":"Physical Review Letters","language":[{"iso":"eng"}],"department":[{"_id":"MiLe"}],"type":"journal_article","publist_id":"6243","article_processing_charge":"No","external_id":{"isi":["000404769200006"]},"quality_controlled":"1","volume":118,"day":"27","project":[{"name":"ROOTS Genome-wide Analysis of Root Traits","_id":"25636330-B435-11E9-9278-68D0E5697425","grant_number":"11-NSF-1070"}],"isi":1,"author":[{"full_name":"Lemeshko, Mikhail","first_name":"Mikhail","orcid":"0000-0002-6990-7802","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","last_name":"Lemeshko"}],"title":"Quasiparticle approach to molecules interacting with quantum solvents","publisher":"American Physical Society","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"oa_version":"Published Version","date_published":"2017-03-06T00:00:00Z","publication_status":"published","doi":"10.1103/PhysRevA.95.033608","citation":{"short":"X. Li, R. Seiringer, M. Lemeshko, Physical Review A 95 (2017).","ama":"Li X, Seiringer R, Lemeshko M. Angular self-localization of impurities rotating in a bosonic bath. <i>Physical Review A</i>. 2017;95(3). doi:<a href=\"https://doi.org/10.1103/PhysRevA.95.033608\">10.1103/PhysRevA.95.033608</a>","ieee":"X. Li, R. Seiringer, and M. Lemeshko, “Angular self-localization of impurities rotating in a bosonic bath,” <i>Physical Review A</i>, vol. 95, no. 3. American Physical Society, 2017.","apa":"Li, X., Seiringer, R., &#38; Lemeshko, M. (2017). Angular self-localization of impurities rotating in a bosonic bath. <i>Physical Review A</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.95.033608\">https://doi.org/10.1103/PhysRevA.95.033608</a>","ista":"Li X, Seiringer R, Lemeshko M. 2017. Angular self-localization of impurities rotating in a bosonic bath. Physical Review A. 95(3), 033608.","mla":"Li, Xiang, et al. “Angular Self-Localization of Impurities Rotating in a Bosonic Bath.” <i>Physical Review A</i>, vol. 95, no. 3, 033608, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/PhysRevA.95.033608\">10.1103/PhysRevA.95.033608</a>.","chicago":"Li, Xiang, Robert Seiringer, and Mikhail Lemeshko. “Angular Self-Localization of Impurities Rotating in a Bosonic Bath.” <i>Physical Review A</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/PhysRevA.95.033608\">https://doi.org/10.1103/PhysRevA.95.033608</a>."},"intvolume":"        95","scopus_import":"1","main_file_link":[{"url":"https://arxiv.org/abs/1610.04908","open_access":"1"}],"article_number":"033608","_id":"1120","date_updated":"2023-09-20T11:30:58Z","issue":"3","abstract":[{"lang":"eng","text":"The existence of a self-localization transition in the polaron problem has been under an active debate ever since Landau suggested it 83 years ago. Here we reveal the self-localization transition for the rotational analogue of the polaron -- the angulon quasiparticle. We show that, unlike for the polarons, self-localization of angulons occurs at finite impurity-bath coupling already at the mean-field level. The transition is accompanied by the spherical-symmetry breaking of the angulon ground state and a discontinuity in the first derivative of the ground-state energy. Moreover, the type of the symmetry breaking is dictated by the symmetry of the microscopic impurity-bath interaction, which leads to a number of distinct self-localized states. The predicted effects can potentially be addressed in experiments on cold molecules trapped in superfluid helium droplets and ultracold quantum gases, as well as on electronic excitations in solids and Bose-Einstein condensates. "}],"year":"2017","month":"03","ec_funded":1,"status":"public","oa":1,"publication_identifier":{"issn":["24699926"]},"type":"journal_article","language":[{"iso":"eng"}],"department":[{"_id":"MiLe"},{"_id":"RoSe"}],"date_created":"2018-12-11T11:50:15Z","publication":"Physical Review A","external_id":{"isi":["000395981900009"]},"quality_controlled":"1","volume":95,"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"8958"}]},"publist_id":"6242","article_processing_charge":"No","project":[{"name":"Analysis of quantum many-body systems","call_identifier":"H2020","grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems","_id":"25C878CE-B435-11E9-9278-68D0E5697425","grant_number":"P27533_N27"},{"call_identifier":"FWF","name":"Quantum rotations in the presence of a many-body environment","_id":"26031614-B435-11E9-9278-68D0E5697425","grant_number":"P29902"}],"author":[{"full_name":"Li, Xiang","first_name":"Xiang","id":"4B7E523C-F248-11E8-B48F-1D18A9856A87","last_name":"Li"},{"orcid":"0000-0002-6781-0521","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","full_name":"Seiringer, Robert"},{"orcid":"0000-0002-6990-7802","first_name":"Mikhail","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","last_name":"Lemeshko","full_name":"Lemeshko, Mikhail"}],"isi":1,"day":"06","publisher":"American Physical Society","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","title":"Angular self-localization of impurities rotating in a bosonic bath"},{"acknowledgement":"I would like to first acknowledge my supervisor Jiří Friml for support, kind advice and patience. It was a pleasure to be a part of your lab, Jiří. I will remember the atmosphere present in auxin lab at VIB in Ghent and at IST in Klosterneuburg forever. I would like to thank all past and present lab members for the friendship and friendly and scientific environment in the groups. It was so nice to cooperate with you, guys. There was always someone who helped me with experiments, troubleshoot issues coming from our work etc. At this place, I would like to thank especially to Gergo Molnár. I’m happy (and lucky) that I have met him; he naturally became my tutor and guide through my PhD. From no one else during my entire professional career, I’ve learned that much.","day":"12","author":[{"last_name":"Prat","id":"3DA3BFEE-F248-11E8-B48F-1D18A9856A87","first_name":"Tomas","full_name":"Prat, Tomas"}],"file":[{"file_name":"IST_Austria_Thesis_Tomáš_Prát.pdf","date_updated":"2019-04-05T08:45:14Z","date_created":"2019-04-05T08:45:14Z","file_id":"6209","checksum":"d192c7c6c5ea32c8432437286dc4909e","creator":"dernst","access_level":"closed","relation":"main_file","content_type":"application/pdf","file_size":10285946},{"relation":"main_file","content_type":"application/pdf","success":1,"file_size":9802991,"date_updated":"2021-02-22T11:52:56Z","file_name":"2017_Thesis_Prat.pdf","date_created":"2021-02-22T11:52:56Z","creator":"dernst","file_id":"9185","checksum":"bab18b52cf98145926042d8ed99fdb3b","access_level":"open_access"}],"publisher":"Institute of Science and Technology Austria","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","title":"Identification of novel regulators of PIN polarity and development of novel auxin sensor","alternative_title":["ISTA Thesis"],"degree_awarded":"PhD","supervisor":[{"full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","first_name":"Jiří","orcid":"0000-0002-8302-7596"}],"has_accepted_license":"1","date_created":"2018-12-11T11:50:17Z","page":"131","type":"dissertation","language":[{"iso":"eng"}],"department":[{"_id":"JiFr"}],"publist_id":"6233","article_processing_charge":"No","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"449"}]},"date_updated":"2025-05-07T11:12:27Z","abstract":[{"lang":"eng","text":"Plant hormone auxin and its transport between cells belong to the most important\r\nmechanisms controlling plant development. Auxin itself could change localization of PINs and\r\nthereby control direction of its own flow. We performed an expression profiling experiment\r\nin Arabidopsis roots to identify potential regulators of PIN polarity which are transcriptionally\r\nregulated by auxin signalling. We identified several novel regulators and performed a detailed\r\ncharacterization of the transcription factor WRKY23 (At2g47260) and its role in auxin\r\nfeedback on PIN polarity. Gain-of-function and dominant-negative mutants revealed that\r\nWRKY23 plays a crucial role in mediating the auxin effect on PIN polarity. In concordance,\r\ntypical polar auxin transport processes such as gravitropism and leaf vascular pattern\r\nformation were disturbed by interfering with WRKY23 function.\r\nIn order to identify direct targets of WRKY23, we performed consequential expression\r\nprofiling experiments using a WRKY23 inducible gain-of-function line and dominant-negative\r\nWRKY23 line that is defunct in PIN re-arrangement. Among several genes mostly related to\r\nthe groups of cell wall and defense process regulators, we identified LYSINE-HISTIDINE\r\nTRANSPORTER 1 (LHT1; At5g40780), a small amino acid permease gene from the amino\r\nacid/auxin permease family (AAAP), we present its detailed characterisation in auxin feedback\r\non PIN repolarization, identified its transcriptional regulation, we propose a potential\r\nmechanism of its action. Moreover, we identified also a member of receptor-like protein\r\nkinase LRR-RLK (LEUCINE-RICH REPEAT TRANSMEMBRANE PROTEIN KINASE PROTEIN 1;\r\nLRRK1; At1g05700), which also affects auxin-dependent PIN re-arrangement. We described\r\nits transcriptional behaviour, subcellular localization. Based on global expression data, we\r\ntried to identify ligand responsible for mechanism of signalling and suggest signalling partner\r\nand interactors. Additionally, we described role of novel phytohormone group, strigolactone,\r\nin auxin-dependent PIN re-arrangement, that could be a fundament for future studies in this\r\nfield.\r\nOur results provide first insights into an auxin transcriptional network targeting PIN\r\nlocalization and thus regulating plant development. We highlighted WRKY23 transcriptional\r\nnetwork and characterised its mediatory role in plant development. We identified direct\r\neffectors of this network, LHT1 and LRRK1, and describe their roles in PIN re-arrangement and\r\nPIN-dependent auxin transport processes."}],"year":"2017","_id":"1127","status":"public","oa":1,"publication_identifier":{"issn":["2663-337X"]},"month":"01","publication_status":"published","oa_version":"Published Version","date_published":"2017-01-12T00:00:00Z","file_date_updated":"2021-02-22T11:52:56Z","ddc":["580"],"citation":{"short":"T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, Institute of Science and Technology Austria, 2017.","ama":"Prat T. Identification of novel regulators of PIN polarity and development of novel auxin sensor. 2017.","ieee":"T. Prat, “Identification of novel regulators of PIN polarity and development of novel auxin sensor,” Institute of Science and Technology Austria, 2017.","chicago":"Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” Institute of Science and Technology Austria, 2017.","apa":"Prat, T. (2017). <i>Identification of novel regulators of PIN polarity and development of novel auxin sensor</i>. Institute of Science and Technology Austria.","ista":"Prat T. 2017. Identification of novel regulators of PIN polarity and development of novel auxin sensor. Institute of Science and Technology Austria.","mla":"Prat, Tomas. <i>Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor</i>. Institute of Science and Technology Austria, 2017."}},{"publist_id":"6226","pubrep_id":"976","article_processing_charge":"No","external_id":{"isi":["000391743700044"]},"quality_controlled":"1","volume":355,"page":"184 - 188","date_created":"2018-12-11T11:50:19Z","publication":"Science","has_accepted_license":"1","language":[{"iso":"eng"}],"department":[{"_id":"JoCs"}],"type":"journal_article","title":"Superficial layers of the medial entorhinal cortex replay independently of the hippocampus","publisher":"American Association for the Advancement of Science","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"13","file":[{"access_level":"open_access","creator":"system","file_id":"4809","date_created":"2018-12-12T10:10:22Z","file_name":"IST-2018-976-v1+1_2017Preprint_ONeill_Superficial_layers.pdf","date_updated":"2018-12-12T10:10:22Z","file_size":3761201,"relation":"main_file","content_type":"application/pdf"}],"project":[{"name":"Memory-related information processing in neuronal circuits of the hippocampus and entorhinal cortex","call_identifier":"FP7","grant_number":"281511","_id":"257A4776-B435-11E9-9278-68D0E5697425"}],"isi":1,"author":[{"full_name":"O'Neill, Joseph","first_name":"Joseph","id":"426376DC-F248-11E8-B48F-1D18A9856A87","last_name":"O'Neill"},{"first_name":"Charlotte","orcid":"0000-0001-7237-5109","last_name":"Boccara","id":"3FC06552-F248-11E8-B48F-1D18A9856A87","full_name":"Boccara, Charlotte"},{"id":"39AF1E74-F248-11E8-B48F-1D18A9856A87","last_name":"Stella","orcid":"0000-0001-9439-3148","first_name":"Federico","full_name":"Stella, Federico"},{"first_name":"Philipp","id":"3B9D816C-F248-11E8-B48F-1D18A9856A87","last_name":"Schönenberger","full_name":"Schönenberger, Philipp"},{"full_name":"Csicsvari, Jozsef L","first_name":"Jozsef L","orcid":"0000-0002-5193-4036","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","last_name":"Csicsvari"}],"ddc":["571"],"file_date_updated":"2018-12-12T10:10:22Z","scopus_import":"1","citation":{"ieee":"J. O’Neill, C. N. Boccara, F. Stella, P. Schönenberger, and J. L. Csicsvari, “Superficial layers of the medial entorhinal cortex replay independently of the hippocampus,” <i>Science</i>, vol. 355, no. 6321. American Association for the Advancement of Science, pp. 184–188, 2017.","ama":"O’Neill J, Boccara CN, Stella F, Schönenberger P, Csicsvari JL. Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. <i>Science</i>. 2017;355(6321):184-188. doi:<a href=\"https://doi.org/10.1126/science.aag2787\">10.1126/science.aag2787</a>","short":"J. O’Neill, C.N. Boccara, F. Stella, P. Schönenberger, J.L. Csicsvari, Science 355 (2017) 184–188.","apa":"O’Neill, J., Boccara, C. N., Stella, F., Schönenberger, P., &#38; Csicsvari, J. L. (2017). Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.aag2787\">https://doi.org/10.1126/science.aag2787</a>","ista":"O’Neill J, Boccara CN, Stella F, Schönenberger P, Csicsvari JL. 2017. Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. Science. 355(6321), 184–188.","mla":"O’Neill, Joseph, et al. “Superficial Layers of the Medial Entorhinal Cortex Replay Independently of the Hippocampus.” <i>Science</i>, vol. 355, no. 6321, American Association for the Advancement of Science, 2017, pp. 184–88, doi:<a href=\"https://doi.org/10.1126/science.aag2787\">10.1126/science.aag2787</a>.","chicago":"O’Neill, Joseph, Charlotte N. Boccara, Federico Stella, Philipp Schönenberger, and Jozsef L Csicsvari. “Superficial Layers of the Medial Entorhinal Cortex Replay Independently of the Hippocampus.” <i>Science</i>. American Association for the Advancement of Science, 2017. <a href=\"https://doi.org/10.1126/science.aag2787\">https://doi.org/10.1126/science.aag2787</a>."},"intvolume":"       355","publication_status":"published","doi":"10.1126/science.aag2787","date_published":"2017-01-13T00:00:00Z","oa_version":"Submitted Version","oa":1,"publication_identifier":{"issn":["00368075"]},"status":"public","ec_funded":1,"month":"01","year":"2017","date_updated":"2023-09-20T11:30:35Z","abstract":[{"lang":"eng","text":"The hippocampus is thought to initiate systems-wide mnemonic processes through the reactivation of previously acquired spatial and episodic memory traces, which can recruit the entorhinal cortex as a first stage of memory redistribution to other brain areas. Hippocampal reactivation occurs during sharp wave-ripples, in which synchronous network firing encodes sequences of places.We investigated the coordination of this replay by recording assembly activity simultaneously in the CA1 region of the hippocampus and superficial layers of the medial entorhinal cortex. We found that entorhinal cell assemblies can replay trajectories independently of the hippocampus and sharp wave-ripples. This suggests that the hippocampus is not the sole initiator of spatial and episodic memory trace reactivation. Memory systems involved in these processes may include nonhierarchical, parallel components."}],"issue":"6321","_id":"1132"},{"ec_funded":1,"month":"02","oa":1,"publication_identifier":{"issn":["00319007"]},"status":"public","_id":"1133","article_number":"085302","year":"2017","date_updated":"2023-09-20T11:30:08Z","issue":"8","abstract":[{"text":"It is a common knowledge that an effective interaction of a quantum impurity with an electromagnetic field can be screened by surrounding charge carriers, whether mobile or static. Here we demonstrate that very strong, \"anomalous\" screening can take place in the presence of a neutral, weakly polarizable environment, due to an exchange of orbital angular momentum between the impurity and the bath. Furthermore, we show that it is possible to generalize all phenomena related to isolated impurities in an external field to the case when a many-body environment is present, by casting the problem in terms of the angulon quasiparticle. As a result, the relevant observables such as the effective Rabi frequency, geometric phase, and impurity spatial alignment are straightforward to evaluate in terms of a single parameter: the angular-momentum-dependent screening factor.","lang":"eng"}],"intvolume":"       118","citation":{"apa":"Yakaboylu, E., &#38; Lemeshko, M. (2017). Anomalous screening of quantum impurities by a neutral environment. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.118.085302\">https://doi.org/10.1103/PhysRevLett.118.085302</a>","mla":"Yakaboylu, Enderalp, and Mikhail Lemeshko. “Anomalous Screening of Quantum Impurities by a Neutral Environment.” <i>Physical Review Letters</i>, vol. 118, no. 8, 085302, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.118.085302\">10.1103/PhysRevLett.118.085302</a>.","ista":"Yakaboylu E, Lemeshko M. 2017. Anomalous screening of quantum impurities by a neutral environment. Physical Review Letters. 118(8), 085302.","chicago":"Yakaboylu, Enderalp, and Mikhail Lemeshko. “Anomalous Screening of Quantum Impurities by a Neutral Environment.” <i>Physical Review Letters</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/PhysRevLett.118.085302\">https://doi.org/10.1103/PhysRevLett.118.085302</a>.","short":"E. Yakaboylu, M. Lemeshko, Physical Review Letters 118 (2017).","ama":"Yakaboylu E, Lemeshko M. Anomalous screening of quantum impurities by a neutral environment. <i>Physical Review Letters</i>. 2017;118(8). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.118.085302\">10.1103/PhysRevLett.118.085302</a>","ieee":"E. Yakaboylu and M. Lemeshko, “Anomalous screening of quantum impurities by a neutral environment,” <i>Physical Review Letters</i>, vol. 118, no. 8. American Physical Society, 2017."},"scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1612.02820"}],"date_published":"2017-02-22T00:00:00Z","oa_version":"Submitted Version","publication_status":"published","doi":"10.1103/PhysRevLett.118.085302","title":"Anomalous screening of quantum impurities by a neutral environment","publisher":"American Physical Society","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","project":[{"name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734"},{"name":"Quantum rotations in the presence of a many-body environment","call_identifier":"FWF","grant_number":"P29902","_id":"26031614-B435-11E9-9278-68D0E5697425"}],"author":[{"full_name":"Yakaboylu, Enderalp","last_name":"Yakaboylu","id":"38CB71F6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5973-0874","first_name":"Enderalp"},{"full_name":"Lemeshko, Mikhail","last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","orcid":"0000-0002-6990-7802"}],"isi":1,"day":"22","external_id":{"isi":["000394667600003"]},"volume":118,"quality_controlled":"1","publist_id":"6225","article_processing_charge":"No","language":[{"iso":"eng"}],"department":[{"_id":"MiLe"}],"type":"journal_article","date_created":"2018-12-11T11:50:19Z","publication":"Physical Review Letters"},{"date_published":"2017-01-02T00:00:00Z","oa_version":"Published Version","doi":"10.1214/16-ECP38","publication_status":"published","intvolume":"        21","citation":{"ama":"Erdös L, Schröder DJ. Fluctuations of functions of Wigner matrices. <i>Electronic Communications in Probability</i>. 2017;21. doi:<a href=\"https://doi.org/10.1214/16-ECP38\">10.1214/16-ECP38</a>","ieee":"L. Erdös and D. J. Schröder, “Fluctuations of functions of Wigner matrices,” <i>Electronic Communications in Probability</i>, vol. 21. Institute of Mathematical Statistics, 2017.","short":"L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017).","chicago":"Erdös, László, and Dominik J Schröder. “Fluctuations of Functions of Wigner Matrices.” <i>Electronic Communications in Probability</i>. Institute of Mathematical Statistics, 2017. <a href=\"https://doi.org/10.1214/16-ECP38\">https://doi.org/10.1214/16-ECP38</a>.","apa":"Erdös, L., &#38; Schröder, D. J. (2017). Fluctuations of functions of Wigner matrices. <i>Electronic Communications in Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/16-ECP38\">https://doi.org/10.1214/16-ECP38</a>","mla":"Erdös, László, and Dominik J. Schröder. “Fluctuations of Functions of Wigner Matrices.” <i>Electronic Communications in Probability</i>, vol. 21, 86, Institute of Mathematical Statistics, 2017, doi:<a href=\"https://doi.org/10.1214/16-ECP38\">10.1214/16-ECP38</a>.","ista":"Erdös L, Schröder DJ. 2017. Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. 21, 86."},"ddc":["510"],"scopus_import":1,"file_date_updated":"2018-12-12T10:18:10Z","_id":"1144","article_number":"86","year":"2017","abstract":[{"lang":"eng","text":"We show that matrix elements of functions of N × N Wigner matrices fluctuate on a scale of order N−1/2 and we identify the limiting fluctuation. Our result holds for any function f of the matrix that has bounded variation thus considerably relaxing the regularity requirement imposed in [7, 11]."}],"date_updated":"2023-09-07T12:54:12Z","ec_funded":1,"month":"01","oa":1,"status":"public","department":[{"_id":"LaEr"}],"language":[{"iso":"eng"}],"type":"journal_article","publication":"Electronic Communications in Probability","date_created":"2018-12-11T11:50:23Z","has_accepted_license":"1","related_material":{"record":[{"id":"6179","relation":"dissertation_contains","status":"public"}]},"quality_controlled":"1","volume":21,"pubrep_id":"747","publist_id":"6214","file":[{"access_level":"open_access","file_id":"5329","creator":"system","date_created":"2018-12-12T10:18:10Z","date_updated":"2018-12-12T10:18:10Z","file_name":"IST-2017-747-v1+1_euclid.ecp.1483347665.pdf","file_size":440770,"relation":"main_file","content_type":"application/pdf"}],"author":[{"last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","orcid":"0000-0001-5366-9603","full_name":"Erdös, László"},{"full_name":"Schröder, Dominik J","last_name":"Schröder","id":"408ED176-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2904-1856","first_name":"Dominik J"}],"project":[{"call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425"}],"day":"02","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"acknowledgement":"Partially supported by the IST Austria Excellence Scholarship.","title":"Fluctuations of functions of Wigner matrices","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Institute of Mathematical Statistics"},{"type":"journal_article","department":[{"_id":"RySh"}],"language":[{"iso":"eng"}],"publication":"Clinical Nutrition","page":"1136-1142","date_created":"2018-12-11T11:50:24Z","volume":36,"quality_controlled":"1","article_processing_charge":"No","publist_id":"6212","author":[{"full_name":"Sun, Wuping","last_name":"Sun","first_name":"Wuping"},{"full_name":"Zhai, Ming-Zhu","first_name":"Ming-Zhu","id":"34009CFA-F248-11E8-B48F-1D18A9856A87","last_name":"Zhai"},{"first_name":"Da","last_name":"Li","full_name":"Li, Da"},{"first_name":"Yiming","last_name":"Zhou","full_name":"Zhou, Yiming"},{"full_name":"Chen, Nana","last_name":"Chen","first_name":"Nana"},{"full_name":"Guo, Ming","last_name":"Guo","first_name":"Ming"},{"full_name":"Zhou, Shisheng","first_name":"Shisheng","last_name":"Zhou"}],"acknowledgement":"We thank all the participants for their contribution to this study and volunteers from the Nursing School of Dalian University for their supporting to collect blood and urine samples of the participants. We also thank Dr. Yasunori Takayama from National Institute for Physiological Sciences of Japan for his kind help.","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Elsevier","title":"Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels","oa_version":"None","date_published":"2017-08-01T00:00:00Z","doi":"10.1016/j.clnu.2016.07.016","publication_status":"published","citation":{"short":"W. Sun, M.-Z. Zhai, D. Li, Y. Zhou, N. Chen, M. Guo, S. Zhou, Clinical Nutrition 36 (2017) 1136–1142.","ieee":"W. Sun <i>et al.</i>, “Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels,” <i>Clinical Nutrition</i>, vol. 36, no. 4. Elsevier, pp. 1136–1142, 2017.","ama":"Sun W, Zhai M-Z, Li D, et al. Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels. <i>Clinical Nutrition</i>. 2017;36(4):1136-1142. doi:<a href=\"https://doi.org/10.1016/j.clnu.2016.07.016\">10.1016/j.clnu.2016.07.016</a>","apa":"Sun, W., Zhai, M.-Z., Li, D., Zhou, Y., Chen, N., Guo, M., &#38; Zhou, S. (2017). Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels. <i>Clinical Nutrition</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.clnu.2016.07.016\">https://doi.org/10.1016/j.clnu.2016.07.016</a>","ista":"Sun W, Zhai M-Z, Li D, Zhou Y, Chen N, Guo M, Zhou S. 2017. Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels. Clinical Nutrition. 36(4), 1136–1142.","mla":"Sun, Wuping, et al. “Comparison of the Effects of Nicotinic Acid and Nicotinamide Degradation on Plasma Betaine and Choline Levels.” <i>Clinical Nutrition</i>, vol. 36, no. 4, Elsevier, 2017, pp. 1136–42, doi:<a href=\"https://doi.org/10.1016/j.clnu.2016.07.016\">10.1016/j.clnu.2016.07.016</a>.","chicago":"Sun, Wuping, Ming-Zhu Zhai, Da Li, Yiming Zhou, Nana Chen, Ming Guo, and Shisheng Zhou. “Comparison of the Effects of Nicotinic Acid and Nicotinamide Degradation on Plasma Betaine and Choline Levels.” <i>Clinical Nutrition</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.clnu.2016.07.016\">https://doi.org/10.1016/j.clnu.2016.07.016</a>."},"intvolume":"        36","scopus_import":"1","_id":"1146","abstract":[{"text":"Aim: The present study was to compare the effects of nicotinic acid and nicotinamide on the plasma methyl donors, choline and betaine. Methods: Thirty adult subjects were randomly divided into three groups of equal size, and orally received purified water (C group), nicotinic acid (300 mg, NA group) or nicotinamide (300 mg, NM group). Plasma nicotinamide, N 1-methylnicotinamide, homocysteine, betaine and choline levels before and 1.5-h and 3-h post-dosing, plasma normetanephrine and metanephrine concentrations at 3-h post-dosing, and the urinary excretion of N 1-methyl-2-pyridone-5-carboxamide during the test period were examined. Results: The level of 3-h plasma nicotinamide, N 1-methylnicotinamide, homocysteine, the urinary excretion of N 1-methyl-2-pyridone-5-carboxamide and pulse pressure (PP) in the NM group was 221%, 3972%, 61%, 1728% and 21.2% higher than that of the control group (P &lt; 0.01, except homocysteine and PP P &lt; 0.05), while the 3-h plasma betaine, normetanephrine and metanephrine level in the NM group was 24.4%, 9.4% and 11.7% lower (P &lt; 0.05, except betaine P &lt; 0.01), without significant difference in choline levels. Similar but less pronounced changes were observed in the NA group, with a lower level of 3-h plasma N 1-methylnicotinamide (1.90 ± 0.20 μmol/l vs. 3.62 ± 0.27 μmol/l, P &lt; 0.01) and homocysteine (12.85 ± 1.39 μmol/l vs. 18.08 ± 1.02 μmol/l, P &lt; 0.05) but a higher level of betaine (27.44 ± 0.71 μmol/l vs. 23.52 ± 0.61 μmol/l, P &lt; 0.05) than that of the NM group. Conclusion: The degradation of nicotinamide consumes more betaine than that of nicotinic acid at identical doses. This difference should be taken into consideration in niacin fortification. © 2016 Elsevier Ltd and European Society for Clinical Nutrition and Metabolism.","lang":"eng"}],"issue":"4","date_updated":"2023-10-16T11:09:39Z","year":"2017","month":"08","status":"public","publication_identifier":{"issn":["0261-5614"]}},{"extern":"1","day":"21","acknowledgement":"We thank the referee for their constructive comments, which have helped improve the quality and clarity of this work. We thank Raffaella Schneider for comments on an earlier version of this paper. We thank Leindert Boogaard, Steven Bos, Rychard Bouwens, and Renske Smit for discussions. J.M. acknowledges the support of a Huygens PhD fellowship from Leiden University. D.S. acknowledges financial support from the Netherlands Organisation for Scientific research (NWO) through a Veni fellowship and from Lancaster University through an Early Career Internal Grant A100679. A.F. acknowledges support from the ERC Advanced Grant INTERSTELLAR H2020/740120. B.D. acknowledges financial support from NASA through the Astrophysics Data Analysis Program (ADAP), grant number NNX12AE20G. Based on observations made with ESO Telescopes at the La Silla Paranal Observatory under programme ID 294.A-5018. This paper makes use of the following ALMA data: ADS/JAO.ALMA#2015.1.00122.S. ALMA is a partnership of ESO (representing its member states), NSF (USA), and NINS (Japan), together with NRC (Canada) and NSC and ASIAA (Taiwan), and KASI (Republic of Korea), in cooperation with the Republic of Chile. The Joint ALMA Observatory is operated by ESO, AUI/NRAO, and NAOJ.","author":[{"last_name":"Matthee","id":"7439a258-f3c0-11ec-9501-9df22fe06720","orcid":"0000-0003-2871-127X","first_name":"Jorryt J","full_name":"Matthee, Jorryt J"},{"last_name":"Sobral","first_name":"D.","full_name":"Sobral, D."},{"full_name":"Boone, F.","last_name":"Boone","first_name":"F."},{"full_name":"Röttgering, H.","last_name":"Röttgering","first_name":"H."},{"first_name":"D.","last_name":"Schaerer","full_name":"Schaerer, D."},{"last_name":"Girard","first_name":"M.","full_name":"Girard, M."},{"full_name":"Pallottini, A.","last_name":"Pallottini","first_name":"A."},{"full_name":"Vallini, L.","first_name":"L.","last_name":"Vallini"},{"last_name":"Ferrara","first_name":"A.","full_name":"Ferrara, A."},{"last_name":"Darvish","first_name":"B.","full_name":"Darvish, B."},{"full_name":"Mobasher, B.","last_name":"Mobasher","first_name":"B."}],"title":"ALMA reveals metals yet no dust within multiple components in CR7","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"IOP Publishing","publication":"The Astrophysical Journal","date_created":"2022-07-07T08:48:04Z","language":[{"iso":"eng"}],"type":"journal_article","article_type":"original","article_processing_charge":"No","volume":851,"keyword":["Space and Planetary Science","Astronomy and Astrophysics","dark ages","reionization","first stars – galaxies: formation – galaxies: high-redshift – galaxies: ISM – galaxies: kinematics and dynamics"],"quality_controlled":"1","external_id":{"arxiv":["1709.06569"]},"year":"2017","abstract":[{"text":"We present spectroscopic follow-up observations of CR7 with ALMA, targeted at constraining the infrared (IR) continuum and [C II]158 mm line-emission at high spatial resolution matched to the HST/WFC3 imaging. CR7 is a luminous Lyα emitting galaxy at z = 6.6 that consists of three separated UV-continuum components. Our observations reveal several well-separated components of [C II] emission. The two most luminous components in [C II] coincide with the brightest UV components (A and B), blueshifted by »150 km s−1 with respect to the\r\npeak of Lyα emission. Other [C II] components are observed close to UV clumps B and C and are blueshifted by »300 and ≈80 km s−1 with respect to the systemic redshift. We do not detect FIR continuum emission due to dust with a 3σ limiting luminosity LIR T L d 35 K 3.1 10 = <´ 10 ( ) . This allows us to mitigate uncertainties in the dust-corrected SFR and derive SFRs for the three UV clumps A, B, and C of 28, 5, and 7 M yr−1. All clumps have [C II] luminosities consistent within the scatter observed in the local relation between SFR and L[ ] C II , implying that strong Lyα emission does not necessarily anti-correlate with [C II] luminosity. Combining\r\nour measurements with the literature, we show that galaxies with blue UV slopes have weaker [C II] emission at fixed SFR, potentially due to their lower metallicities and/or higher photoionization. Comparison with hydrodynamical simulations suggests that CR7ʼs clumps have metallicities of 0.1 Z Z 0.2 < < . The observed ISM structure of CR7 indicates that we are likely witnessing the build up of a central galaxy in the early universe through complex accretion of satellites.","lang":"eng"}],"arxiv":1,"issue":"2","date_updated":"2022-08-18T10:23:35Z","_id":"11518","article_number":"145","publication_identifier":{"issn":["0004-637X"],"eissn":["1538-4357"]},"oa":1,"status":"public","month":"12","doi":"10.3847/1538-4357/aa9931","publication_status":"published","date_published":"2017-12-21T00:00:00Z","oa_version":"Preprint","main_file_link":[{"url":"https://arxiv.org/abs/1709.06569","open_access":"1"}],"scopus_import":"1","intvolume":"       851","citation":{"short":"J.J. Matthee, D. Sobral, F. Boone, H. Röttgering, D. Schaerer, M. Girard, A. Pallottini, L. Vallini, A. Ferrara, B. Darvish, B. Mobasher, The Astrophysical Journal 851 (2017).","ieee":"J. J. Matthee <i>et al.</i>, “ALMA reveals metals yet no dust within multiple components in CR7,” <i>The Astrophysical Journal</i>, vol. 851, no. 2. IOP Publishing, 2017.","ama":"Matthee JJ, Sobral D, Boone F, et al. ALMA reveals metals yet no dust within multiple components in CR7. <i>The Astrophysical Journal</i>. 2017;851(2). doi:<a href=\"https://doi.org/10.3847/1538-4357/aa9931\">10.3847/1538-4357/aa9931</a>","chicago":"Matthee, Jorryt J, D. Sobral, F. Boone, H. Röttgering, D. Schaerer, M. Girard, A. Pallottini, et al. “ALMA Reveals Metals yet No Dust within Multiple Components in CR7.” <i>The Astrophysical Journal</i>. IOP Publishing, 2017. <a href=\"https://doi.org/10.3847/1538-4357/aa9931\">https://doi.org/10.3847/1538-4357/aa9931</a>.","apa":"Matthee, J. J., Sobral, D., Boone, F., Röttgering, H., Schaerer, D., Girard, M., … Mobasher, B. (2017). ALMA reveals metals yet no dust within multiple components in CR7. <i>The Astrophysical Journal</i>. IOP Publishing. <a href=\"https://doi.org/10.3847/1538-4357/aa9931\">https://doi.org/10.3847/1538-4357/aa9931</a>","mla":"Matthee, Jorryt J., et al. “ALMA Reveals Metals yet No Dust within Multiple Components in CR7.” <i>The Astrophysical Journal</i>, vol. 851, no. 2, 145, IOP Publishing, 2017, doi:<a href=\"https://doi.org/10.3847/1538-4357/aa9931\">10.3847/1538-4357/aa9931</a>.","ista":"Matthee JJ, Sobral D, Boone F, Röttgering H, Schaerer D, Girard M, Pallottini A, Vallini L, Ferrara A, Darvish B, Mobasher B. 2017. ALMA reveals metals yet no dust within multiple components in CR7. The Astrophysical Journal. 851(2), 145."}},{"publication":"Journal of Computational Science","page":"85 - 94","date_created":"2018-12-11T11:50:26Z","has_accepted_license":"1","department":[{"_id":"ChWo"}],"language":[{"iso":"eng"}],"type":"journal_article","article_processing_charge":"No","publist_id":"6206","volume":18,"quality_controlled":"1","external_id":{"isi":["000393528700009"]},"day":"01","file":[{"success":1,"file_size":1083911,"content_type":"application/pdf","relation":"main_file","date_created":"2019-01-18T08:43:16Z","date_updated":"2019-01-18T08:43:16Z","file_name":"2016_jocs_ewa.pdf","access_level":"open_access","file_id":"5842","creator":"dernst"}],"author":[{"full_name":"Gajda-Zagorska, Ewa P","last_name":"Gajda-Zagorska","id":"47794CF0-F248-11E8-B48F-1D18A9856A87","first_name":"Ewa P"},{"full_name":"Schaefer, Robert","last_name":"Schaefer","first_name":"Robert"},{"first_name":"Maciej","last_name":"Smołka","full_name":"Smołka, Maciej"},{"full_name":"Pardo, David","first_name":"David","last_name":"Pardo"},{"full_name":"Alvarez Aramberri, Julen","last_name":"Alvarez Aramberri","first_name":"Julen"}],"isi":1,"title":"A multi objective memetic inverse solver reinforced by local optimization methods","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Elsevier","doi":"10.1016/j.jocs.2016.06.007","publication_status":"published","date_published":"2017-01-01T00:00:00Z","oa_version":"Submitted Version","ddc":["000"],"file_date_updated":"2019-01-18T08:43:16Z","scopus_import":"1","citation":{"chicago":"Gajda-Zagorska, Ewa P, Robert Schaefer, Maciej Smołka, David Pardo, and Julen Alvarez Aramberri. “A Multi Objective Memetic Inverse Solver Reinforced by Local Optimization Methods.” <i>Journal of Computational Science</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.jocs.2016.06.007\">https://doi.org/10.1016/j.jocs.2016.06.007</a>.","ista":"Gajda-Zagorska EP, Schaefer R, Smołka M, Pardo D, Alvarez Aramberri J. 2017. A multi objective memetic inverse solver reinforced by local optimization methods. Journal of Computational Science. 18, 85–94.","mla":"Gajda-Zagorska, Ewa P., et al. “A Multi Objective Memetic Inverse Solver Reinforced by Local Optimization Methods.” <i>Journal of Computational Science</i>, vol. 18, Elsevier, 2017, pp. 85–94, doi:<a href=\"https://doi.org/10.1016/j.jocs.2016.06.007\">10.1016/j.jocs.2016.06.007</a>.","apa":"Gajda-Zagorska, E. P., Schaefer, R., Smołka, M., Pardo, D., &#38; Alvarez Aramberri, J. (2017). A multi objective memetic inverse solver reinforced by local optimization methods. <i>Journal of Computational Science</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jocs.2016.06.007\">https://doi.org/10.1016/j.jocs.2016.06.007</a>","short":"E.P. Gajda-Zagorska, R. Schaefer, M. Smołka, D. Pardo, J. Alvarez Aramberri, Journal of Computational Science 18 (2017) 85–94.","ama":"Gajda-Zagorska EP, Schaefer R, Smołka M, Pardo D, Alvarez Aramberri J. A multi objective memetic inverse solver reinforced by local optimization methods. <i>Journal of Computational Science</i>. 2017;18:85-94. doi:<a href=\"https://doi.org/10.1016/j.jocs.2016.06.007\">10.1016/j.jocs.2016.06.007</a>","ieee":"E. P. Gajda-Zagorska, R. Schaefer, M. Smołka, D. Pardo, and J. Alvarez Aramberri, “A multi objective memetic inverse solver reinforced by local optimization methods,” <i>Journal of Computational Science</i>, vol. 18. Elsevier, pp. 85–94, 2017."},"intvolume":"        18","year":"2017","abstract":[{"text":"We propose a new memetic strategy that can solve the multi-physics, complex inverse problems, formulated as the multi-objective optimization ones, in which objectives are misfits between the measured and simulated states of various governing processes. The multi-deme structure of the strategy allows for both, intensive, relatively cheap exploration with a moderate accuracy and more accurate search many regions of Pareto set in parallel. The special type of selection operator prefers the coherent alternative solutions, eliminating artifacts appearing in the particular processes. The additional accuracy increment is obtained by the parallel convex searches applied to the local scalarizations of the misfit vector. The strategy is dedicated for solving ill-conditioned problems, for which inverting the single physical process can lead to the ambiguous results. The skill of the selection in artifact elimination is shown on the benchmark problem, while the whole strategy was applied for identification of oil deposits, where the misfits are related to various frequencies of the magnetic and electric waves of the magnetotelluric measurements. 2016 Elsevier B.V.","lang":"eng"}],"date_updated":"2023-09-20T11:29:44Z","_id":"1152","oa":1,"publication_identifier":{"issn":["18777503"]},"status":"public","month":"01"},{"date_published":"2017-01-02T00:00:00Z","oa_version":"Published Version","doi":"10.15479/AT:ISTA:TH_730","publication_status":"published","citation":{"ista":"Daca P. 2017. Statistical and logical methods for property checking. Institute of Science and Technology Austria.","mla":"Daca, Przemyslaw. <i>Statistical and Logical Methods for Property Checking</i>. Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:TH_730\">10.15479/AT:ISTA:TH_730</a>.","apa":"Daca, P. (2017). <i>Statistical and logical methods for property checking</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:TH_730\">https://doi.org/10.15479/AT:ISTA:TH_730</a>","chicago":"Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:TH_730\">https://doi.org/10.15479/AT:ISTA:TH_730</a>.","short":"P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.","ama":"Daca P. Statistical and logical methods for property checking. 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:TH_730\">10.15479/AT:ISTA:TH_730</a>","ieee":"P. Daca, “Statistical and logical methods for property checking,” Institute of Science and Technology Austria, 2017."},"ddc":["004","005"],"file_date_updated":"2020-07-14T12:44:34Z","_id":"1155","year":"2017","abstract":[{"text":"This dissertation concerns the automatic verification of probabilistic systems and programs with arrays by statistical and logical methods. Although statistical and logical methods are different in nature, we show that they can be successfully combined for system analysis. In the first part of the dissertation we present a new statistical algorithm for the verification of probabilistic systems with respect to unbounded properties, including linear temporal logic. Our algorithm often performs faster than the previous approaches, and at the same time requires less information about the system. In addition, our method can be generalized to unbounded quantitative properties such as mean-payoff bounds. In the second part, we introduce two techniques for comparing probabilistic systems. Probabilistic systems are typically compared using the notion of equivalence, which requires the systems to have the equal probability of all behaviors. However, this notion is often too strict, since probabilities are typically only empirically estimated, and any imprecision may break the relation between processes. On the one hand, we propose to replace the Boolean notion of equivalence by a quantitative distance of similarity. For this purpose, we introduce a statistical framework for estimating distances between Markov chains based on their simulation runs, and we investigate which distances can be approximated in our framework. On the other hand, we propose to compare systems with respect to a new qualitative logic, which expresses that behaviors occur with probability one or a positive probability. This qualitative analysis is robust with respect to modeling errors and applicable to many domains. In the last part, we present a new quantifier-free logic for integer arrays, which allows us to express counting. Counting properties are prevalent in array-manipulating programs, however they cannot be expressed in the quantified fragments of the theory of arrays. We present a decision procedure for our logic, and provide several complexity results.","lang":"eng"}],"date_updated":"2023-09-07T11:58:34Z","ec_funded":1,"month":"01","oa":1,"publication_identifier":{"issn":["2663-337X"]},"status":"public","department":[{"_id":"ToHe"}],"language":[{"iso":"eng"}],"type":"dissertation","page":"163","date_created":"2018-12-11T11:50:27Z","has_accepted_license":"1","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"1093"},{"status":"public","relation":"part_of_dissertation","id":"1230"},{"id":"1234","relation":"part_of_dissertation","status":"public"},{"id":"1391","status":"public","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"1501"},{"relation":"part_of_dissertation","status":"public","id":"1502"},{"relation":"part_of_dissertation","status":"public","id":"2063"},{"id":"2167","status":"public","relation":"part_of_dissertation"}]},"article_processing_charge":"No","pubrep_id":"730","publist_id":"6203","file":[{"file_size":1028586,"content_type":"application/pdf","relation":"main_file","date_created":"2018-12-12T10:11:26Z","file_name":"IST-2017-730-v1+1_Statistical_and_Logical_Methods_for_Property_Checking.pdf","date_updated":"2020-07-14T12:44:34Z","access_level":"open_access","creator":"system","checksum":"1406a681cb737508234fde34766be2c2","file_id":"4880"}],"author":[{"full_name":"Daca, Przemyslaw","first_name":"Przemyslaw","id":"49351290-F248-11E8-B48F-1D18A9856A87","last_name":"Daca"}],"project":[{"grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","call_identifier":"FP7"},{"call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"}],"day":"02","acknowledgement":" First of all, I want to thank my advisor, prof. Thomas A. Henzinger, for his guidance during my PhD program. I am grateful for the freedom I was given to pursue my research interests, and his continuous support. Working with prof. Henzinger was a truly inspiring experience and taught me what it means to be a scientist. I want to express my gratitude to my collaborators: Nikola Beneš, Krishnendu Chatterjee, Martin Chmelík, Ashutosh Gupta, Willibald Krenn, Jan Kˇretínský, Dejan Nickovic, Andrey Kupriyanov, and Tatjana Petrov. I have learned a great deal from my collaborators, and without their help this thesis would not be possible. In addition, I want to thank the members of my thesis committee: Dirk Beyer, Dejan Nickovic, and Georg Weissenbacher for their advice and reviewing this dissertation. I would especially like to acknowledge the late Helmut Veith, who was a member of my committee. I will remember Helmut for his kindness, enthusiasm, and wit, as well as for being an inspiring scientist. Finally, I would like to thank my colleagues for making my stay at IST such a pleasant experience: Guy Avni, Sergiy Bogomolov, Ventsislav Chonev, Rasmus Ibsen-Jensen, Mirco Giacobbe, Bernhard Kragl, Hui Kong, Petr Novotný, Jan Otop, Andreas Pavlogiannis, Tantjana Petrov, Arjun Radhakrishna, Jakob Ruess, Thorsten Tarrach, as well as other members of groups Henzinger and Chatterjee. ","supervisor":[{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"degree_awarded":"PhD","alternative_title":["ISTA Thesis"],"title":"Statistical and logical methods for property checking","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publisher":"Institute of Science and Technology Austria"},{"article_processing_charge":"No","article_type":"original","quality_controlled":"1","keyword":["Space and Planetary Science","Astronomy and Astrophysics galaxies","active","galaxies","evolution","galaxies","high-redshift","galaxies","luminosity function","mass function","galaxies: star formation"],"volume":471,"external_id":{"arxiv":["1702.04721"]},"publication":"Monthly Notices of the Royal Astronomical Society","date_created":"2022-07-12T11:01:35Z","page":"629-649","type":"journal_article","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Oxford University Press","title":"Boötes-HiZELS: An optical to near-infrared survey of emission-line galaxies at z = 0.4–4.7","extern":"1","day":"01","author":[{"full_name":"Matthee, Jorryt J","orcid":"0000-0003-2871-127X","first_name":"Jorryt J","last_name":"Matthee","id":"7439a258-f3c0-11ec-9501-9df22fe06720"},{"first_name":"David","last_name":"Sobral","full_name":"Sobral, David"},{"full_name":"Best, Philip","last_name":"Best","first_name":"Philip"},{"first_name":"Ian","last_name":"Smail","full_name":"Smail, Ian"},{"full_name":"Bian, Fuyan","last_name":"Bian","first_name":"Fuyan"},{"full_name":"Darvish, Behnam","last_name":"Darvish","first_name":"Behnam"},{"full_name":"Röttgering, Huub","last_name":"Röttgering","first_name":"Huub"},{"full_name":"Fan, Xiaohui","last_name":"Fan","first_name":"Xiaohui"}],"main_file_link":[{"url":"https://arxiv.org/abs/1702.04721","open_access":"1"}],"scopus_import":"1","intvolume":"       471","citation":{"mla":"Matthee, Jorryt J., et al. “Boötes-HiZELS: An Optical to near-Infrared Survey of Emission-Line Galaxies at z = 0.4–4.7.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 471, no. 1, Oxford University Press, 2017, pp. 629–49, doi:<a href=\"https://doi.org/10.1093/mnras/stx1569\">10.1093/mnras/stx1569</a>.","apa":"Matthee, J. J., Sobral, D., Best, P., Smail, I., Bian, F., Darvish, B., … Fan, X. (2017). Boötes-HiZELS: An optical to near-infrared survey of emission-line galaxies at z = 0.4–4.7. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/stx1569\">https://doi.org/10.1093/mnras/stx1569</a>","ista":"Matthee JJ, Sobral D, Best P, Smail I, Bian F, Darvish B, Röttgering H, Fan X. 2017. Boötes-HiZELS: An optical to near-infrared survey of emission-line galaxies at z = 0.4–4.7. Monthly Notices of the Royal Astronomical Society. 471(1), 629–649.","chicago":"Matthee, Jorryt J, David Sobral, Philip Best, Ian Smail, Fuyan Bian, Behnam Darvish, Huub Röttgering, and Xiaohui Fan. “Boötes-HiZELS: An Optical to near-Infrared Survey of Emission-Line Galaxies at z = 0.4–4.7.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2017. <a href=\"https://doi.org/10.1093/mnras/stx1569\">https://doi.org/10.1093/mnras/stx1569</a>.","short":"J.J. Matthee, D. Sobral, P. Best, I. Smail, F. Bian, B. Darvish, H. Röttgering, X. Fan, Monthly Notices of the Royal Astronomical Society 471 (2017) 629–649.","ieee":"J. J. Matthee <i>et al.</i>, “Boötes-HiZELS: An optical to near-infrared survey of emission-line galaxies at z = 0.4–4.7,” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 471, no. 1. Oxford University Press, pp. 629–649, 2017.","ama":"Matthee JJ, Sobral D, Best P, et al. Boötes-HiZELS: An optical to near-infrared survey of emission-line galaxies at z = 0.4–4.7. <i>Monthly Notices of the Royal Astronomical Society</i>. 2017;471(1):629-649. doi:<a href=\"https://doi.org/10.1093/mnras/stx1569\">10.1093/mnras/stx1569</a>"},"doi":"10.1093/mnras/stx1569","publication_status":"published","oa_version":"Preprint","date_published":"2017-10-01T00:00:00Z","status":"public","publication_identifier":{"issn":["0035-8711","1365-2966"]},"oa":1,"month":"10","arxiv":1,"issue":"1","abstract":[{"lang":"eng","text":"We present a sample of ∼1000 emission-line galaxies at z = 0.4–4.7 from the ∼0.7deg2 High-z Emission-Line Survey in the Boötes field identified with a suite of six narrow-band filters at ≈0.4–2.1 μm. These galaxies have been selected on their Ly α (73), [O II] (285), H β/[O III] (387) or H α (362) emission line, and have been classified with optical to near-infrared colours. A subsample of 98 sources have reliable redshifts from multiple narrow-band (e.g. [O II]–H α) detections and/or spectroscopy. In this survey paper, we present the observations, selection and catalogues of emitters. We measure number densities of Ly α, [O II], H β/[O III] and H α and confirm strong luminosity evolution in star-forming galaxies from z ∼ 0.4 to ∼5, in agreement with previous results. To demonstrate the usefulness of dual-line emitters, we use the sample of dual [O II]–H α emitters to measure the observed [O II]/H α ratio at z = 1.47. The observed [O II]/H α ratio increases significantly from 0.40 ± 0.01 at z = 0.1 to 0.52 ± 0.05 at z = 1.47, which we attribute to either decreasing dust attenuation with redshift, or due to a bias in the (typically) fibre measurements in the local Universe that only measure the central kpc regions. At the bright end, we find that both the H α and Ly α number densities at z ≈ 2.2 deviate significantly from a Schechter form, following a power law. We show that this is driven entirely by an increasing X-ray/active galactic nucleus fraction with line luminosity, which reaches ≈100 per cent at line luminosities L ≳ 3 × 1044 erg s−1."}],"date_updated":"2022-08-19T07:15:14Z","year":"2017","_id":"11561"}]