[{"publist_id":"6141","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"article_processing_charge":"Yes (via OA deal)","department":[{"_id":"LaEr"}],"title":"Local law of addition of random matrices on optimal scale","page":"947 - 990","year":"2017","doi":"10.1007/s00220-016-2805-6","external_id":{"isi":["000393696700005"]},"month":"02","file_date_updated":"2020-07-14T12:44:39Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_size":1033743,"checksum":"ddff79154c3daf27237de5383b1264a9","creator":"system","access_level":"open_access","file_name":"IST-2016-722-v1+1_s00220-016-2805-6.pdf","relation":"main_file","file_id":"5102","date_created":"2018-12-12T10:14:47Z","date_updated":"2020-07-14T12:44:39Z","content_type":"application/pdf"}],"scopus_import":"1","has_accepted_license":"1","ddc":["530"],"publisher":"Springer","ec_funded":1,"intvolume":"       349","project":[{"_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804","name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7"}],"status":"public","isi":1,"day":"01","date_created":"2018-12-11T11:50:43Z","date_updated":"2025-07-10T11:50:22Z","citation":{"short":"Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.","chicago":"Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Law of Addition of Random Matrices on Optimal Scale.” <i>Communications in Mathematical Physics</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s00220-016-2805-6\">https://doi.org/10.1007/s00220-016-2805-6</a>.","ama":"Bao Z, Erdös L, Schnelli K. Local law of addition of random matrices on optimal scale. <i>Communications in Mathematical Physics</i>. 2017;349(3):947-990. doi:<a href=\"https://doi.org/10.1007/s00220-016-2805-6\">10.1007/s00220-016-2805-6</a>","apa":"Bao, Z., Erdös, L., &#38; Schnelli, K. (2017). Local law of addition of random matrices on optimal scale. <i>Communications in Mathematical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s00220-016-2805-6\">https://doi.org/10.1007/s00220-016-2805-6</a>","ieee":"Z. Bao, L. Erdös, and K. Schnelli, “Local law of addition of random matrices on optimal scale,” <i>Communications in Mathematical Physics</i>, vol. 349, no. 3. Springer, pp. 947–990, 2017.","mla":"Bao, Zhigang, et al. “Local Law of Addition of Random Matrices on Optimal Scale.” <i>Communications in Mathematical Physics</i>, vol. 349, no. 3, Springer, 2017, pp. 947–90, doi:<a href=\"https://doi.org/10.1007/s00220-016-2805-6\">10.1007/s00220-016-2805-6</a>.","ista":"Bao Z, Erdös L, Schnelli K. 2017. Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. 349(3), 947–990."},"publication_status":"published","quality_controlled":"1","oa_version":"Published Version","author":[{"first_name":"Zhigang","full_name":"Bao, Zhigang","id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","last_name":"Bao","orcid":"0000-0003-3036-1475"},{"orcid":"0000-0001-5366-9603","last_name":"Erdös","full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László"},{"last_name":"Schnelli","orcid":"0000-0003-0954-3231","first_name":"Kevin","full_name":"Schnelli, Kevin","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87"}],"publication":"Communications in Mathematical Physics","date_published":"2017-02-01T00:00:00Z","oa":1,"abstract":[{"text":"The eigenvalue distribution of the sum of two large Hermitian matrices, when one of them is conjugated by a Haar distributed unitary matrix, is asymptotically given by the free convolution of their spectral distributions. We prove that this convergence also holds locally in the bulk of the spectrum, down to the optimal scales larger than the eigenvalue spacing. The corresponding eigenvectors are fully delocalized. Similar results hold for the sum of two real symmetric matrices, when one is conjugated by Haar orthogonal matrix.","lang":"eng"}],"_id":"1207","publication_identifier":{"issn":["0010-3616"]},"issue":"3","volume":349,"type":"journal_article","language":[{"iso":"eng"}],"pubrep_id":"722","license":"https://creativecommons.org/licenses/by/4.0/"},{"arxiv":1,"volume":79,"issue":"4","publication_identifier":{"issn":["1369-7412"]},"language":[{"iso":"eng"}],"type":"journal_article","_id":"1208","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1408.5604"}],"abstract":[{"lang":"eng","text":"We study parameter estimation in linear Gaussian covariance models, which are p-dimensional Gaussian models with linear constraints on the covariance matrix. Maximum likelihood estimation for this class of models leads to a non-convex optimization problem which typically has many local maxima. Using recent results on the asymptotic distribution of extreme eigenvalues of the Wishart distribution, we provide sufficient conditions for any hill climbing method to converge to the global maximum. Although we are primarily interested in the case in which n≫p, the proofs of our results utilize large sample asymptotic theory under the scheme n/p→γ&gt;1. Remarkably, our numerical simulations indicate that our results remain valid for p as small as 2. An important consequence of this analysis is that, for sample sizes n≃14p, maximum likelihood estimation for linear Gaussian covariance models behaves as if it were a convex optimization problem. © 2016 The Royal Statistical Society and Blackwell Publishing Ltd."}],"publication":"Journal of the Royal Statistical Society. Series B: Statistical Methodology","author":[{"full_name":"Zwiernik, Piotr","first_name":"Piotr","last_name":"Zwiernik"},{"last_name":"Uhler","orcid":"0000-0002-7008-0216","first_name":"Caroline","full_name":"Uhler, Caroline","id":"49ADD78E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Richards","full_name":"Richards, Donald","first_name":"Donald"}],"date_published":"2017-09-01T00:00:00Z","oa":1,"oa_version":"Submitted Version","publication_status":"published","citation":{"apa":"Zwiernik, P., Uhler, C., &#38; Richards, D. (2017). Maximum likelihood estimation for linear Gaussian covariance models. <i>Journal of the Royal Statistical Society. Series B: Statistical Methodology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/rssb.12217\">https://doi.org/10.1111/rssb.12217</a>","chicago":"Zwiernik, Piotr, Caroline Uhler, and Donald Richards. “Maximum Likelihood Estimation for Linear Gaussian Covariance Models.” <i>Journal of the Royal Statistical Society. Series B: Statistical Methodology</i>. Wiley-Blackwell, 2017. <a href=\"https://doi.org/10.1111/rssb.12217\">https://doi.org/10.1111/rssb.12217</a>.","ama":"Zwiernik P, Uhler C, Richards D. Maximum likelihood estimation for linear Gaussian covariance models. <i>Journal of the Royal Statistical Society Series B: Statistical Methodology</i>. 2017;79(4):1269-1292. doi:<a href=\"https://doi.org/10.1111/rssb.12217\">10.1111/rssb.12217</a>","short":"P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.","ista":"Zwiernik P, Uhler C, Richards D. 2017. Maximum likelihood estimation for linear Gaussian covariance models. Journal of the Royal Statistical Society. Series B: Statistical Methodology. 79(4), 1269–1292.","mla":"Zwiernik, Piotr, et al. “Maximum Likelihood Estimation for Linear Gaussian Covariance Models.” <i>Journal of the Royal Statistical Society. Series B: Statistical Methodology</i>, vol. 79, no. 4, Wiley-Blackwell, 2017, pp. 1269–92, doi:<a href=\"https://doi.org/10.1111/rssb.12217\">10.1111/rssb.12217</a>.","ieee":"P. Zwiernik, C. Uhler, and D. Richards, “Maximum likelihood estimation for linear Gaussian covariance models,” <i>Journal of the Royal Statistical Society. Series B: Statistical Methodology</i>, vol. 79, no. 4. Wiley-Blackwell, pp. 1269–1292, 2017."},"quality_controlled":"1","day":"01","date_updated":"2025-06-04T09:41:22Z","date_created":"2018-12-11T11:50:43Z","project":[{"_id":"2530CA10-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Gaussian Graphical Models: Theory and Applications","grant_number":"Y 903-N35"}],"intvolume":"        79","status":"public","isi":1,"publisher":"Wiley-Blackwell","scopus_import":"1","month":"09","corr_author":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2017","page":"1269 - 1292","external_id":{"isi":["000411712300012"],"arxiv":["1408.5604"]},"doi":"10.1111/rssb.12217","article_processing_charge":"No","publist_id":"6142","department":[{"_id":"CaUh"}],"title":"Maximum likelihood estimation for linear Gaussian covariance models"},{"pubrep_id":"782","type":"journal_article","language":[{"iso":"eng"}],"issue":"3-4","volume":167,"_id":"1211","abstract":[{"lang":"eng","text":"Systems such as fluid flows in channels and pipes or the complex Ginzburg–Landau system, defined over periodic domains, exhibit both continuous symmetries, translational and rotational, as well as discrete symmetries under spatial reflections or complex conjugation. The simplest, and very common symmetry of this type is the equivariance of the defining equations under the orthogonal group O(2). We formulate a novel symmetry reduction scheme for such systems by combining the method of slices with invariant polynomial methods, and show how it works by applying it to the Kuramoto–Sivashinsky system in one spatial dimension. As an example, we track a relative periodic orbit through a sequence of bifurcations to the onset of chaos. Within the symmetry-reduced state space we are able to compute and visualize the unstable manifolds of relative periodic orbits, their torus bifurcations, a transition to chaos via torus breakdown, and heteroclinic connections between various relative periodic orbits. It would be very hard to carry through such analysis in the full state space, without a symmetry reduction such as the one we present here."}],"date_published":"2017-05-01T00:00:00Z","oa":1,"author":[{"first_name":"Nazmi B","id":"3EA1010E-F248-11E8-B48F-1D18A9856A87","full_name":"Budanur, Nazmi B","last_name":"Budanur","orcid":"0000-0003-0423-5010"},{"full_name":"Cvitanović, Predrag","first_name":"Predrag","last_name":"Cvitanović"}],"publication":"Journal of Statistical Physics","oa_version":"Submitted Version","quality_controlled":"1","acknowledgement":"This work was supported by the family of late G. Robinson, Jr. and NSF Grant DMS-1211827. ","citation":{"ieee":"N. B. Budanur and P. Cvitanović, “Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system,” <i>Journal of Statistical Physics</i>, vol. 167, no. 3–4. Springer, pp. 636–655, 2017.","mla":"Budanur, Nazmi B., and Predrag Cvitanović. “Unstable Manifolds of Relative Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky System.” <i>Journal of Statistical Physics</i>, vol. 167, no. 3–4, Springer, 2017, pp. 636–55, doi:<a href=\"https://doi.org/10.1007/s10955-016-1672-z\">10.1007/s10955-016-1672-z</a>.","ista":"Budanur NB, Cvitanović P. 2017. Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system. Journal of Statistical Physics. 167(3–4), 636–655.","chicago":"Budanur, Nazmi B, and Predrag Cvitanović. “Unstable Manifolds of Relative Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky System.” <i>Journal of Statistical Physics</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s10955-016-1672-z\">https://doi.org/10.1007/s10955-016-1672-z</a>.","short":"N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.","ama":"Budanur NB, Cvitanović P. Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system. <i>Journal of Statistical Physics</i>. 2017;167(3-4):636-655. doi:<a href=\"https://doi.org/10.1007/s10955-016-1672-z\">10.1007/s10955-016-1672-z</a>","apa":"Budanur, N. B., &#38; Cvitanović, P. (2017). Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system. <i>Journal of Statistical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s10955-016-1672-z\">https://doi.org/10.1007/s10955-016-1672-z</a>"},"publication_status":"published","date_updated":"2025-09-22T09:36:50Z","date_created":"2018-12-11T11:50:44Z","day":"01","status":"public","isi":1,"intvolume":"       167","ddc":["530"],"publisher":"Springer","scopus_import":"1","has_accepted_license":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","file":[{"creator":"system","checksum":"3e971d09eb167761aa0888ed415b0056","file_size":2820207,"relation":"main_file","file_name":"IST-2017-782-v1+1_BudCvi15.pdf","access_level":"open_access","content_type":"application/pdf","date_created":"2018-12-12T10:18:01Z","date_updated":"2020-07-14T12:44:39Z","file_id":"5319"}],"month":"05","file_date_updated":"2020-07-14T12:44:39Z","doi":"10.1007/s10955-016-1672-z","external_id":{"isi":["000400233600014"]},"page":"636-655","year":"2017","title":"Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system","department":[{"_id":"BjHo"}],"publist_id":"6136","article_processing_charge":"No"},{"_id":"1213","type":"book_chapter","language":[{"iso":"eng"}],"volume":137,"publication_identifier":{"issn":["0091-679X"]},"date_published":"2017-12-01T00:00:00Z","alternative_title":["Methods in Cell Biology"],"publication":"Cytokinesis","author":[{"first_name":"Natalia","full_name":"Baranova, Natalia","id":"38661662-F248-11E8-B48F-1D18A9856A87","last_name":"Baranova","orcid":"0000-0002-3086-9124"},{"orcid":"0000-0001-7309-9724","last_name":"Loose","full_name":"Loose, Martin","id":"462D4284-F248-11E8-B48F-1D18A9856A87","first_name":"Martin"}],"abstract":[{"text":"Bacterial cytokinesis is commonly initiated by the Z-ring, a dynamic cytoskeletal structure that assembles at the site of division. Its primary component is FtsZ, a tubulin-like GTPase, that like its eukaryotic relative forms protein filaments in the presence of GTP. Since the discovery of the Z-ring 25 years ago, various models for the role of FtsZ have been suggested. However, important information about the architecture and dynamics of FtsZ filaments during cytokinesis is still missing. One reason for this lack of knowledge has been the small size of bacteria, which has made it difficult to resolve the orientation and dynamics of individual FtsZ filaments in the Z-ring. While superresolution microscopy experiments have helped to gain more information about the organization of the Z-ring in the dividing cell, they were not yet able to elucidate a mechanism of how FtsZ filaments reorganize during assembly and disassembly of the Z-ring. In this chapter, we explain how to use an in vitro reconstitution approach to investigate the self-organization of FtsZ filaments recruited to a biomimetic lipid bilayer by its membrane anchor FtsA. We show how to perform single-molecule experiments to study the behavior of individual FtsZ monomers during the constant reorganization of the FtsZ-FtsA filament network. We describe how to analyze the dynamics of single molecules and explain why this information can help to shed light onto possible mechanism of Z-ring constriction. We believe that similar experimental approaches will be useful to study the mechanism of membrane-based polymerization of other cytoskeletal systems, not only from prokaryotic but also eukaryotic origin.","lang":"eng"}],"editor":[{"last_name":"Echard","full_name":"Echard, Arnaud ","first_name":"Arnaud "}],"acknowledgement":"Natalia Baranova is supported by an EMBO Long-Term Fellowship (EMBO ALTF 1163-2015) and Martin Loose by an ERC Starting Grant (ERCStG-2015-SelfOrganiCell).","quality_controlled":"1","citation":{"apa":"Baranova, N. S., &#38; Loose, M. (2017). Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. In A. Echard (Ed.), <i>Cytokinesis</i> (Vol. 137, pp. 355–370). Academic Press. <a href=\"https://doi.org/10.1016/bs.mcb.2016.03.036\">https://doi.org/10.1016/bs.mcb.2016.03.036</a>","short":"N.S. Baranova, M. Loose, in:, A. Echard (Ed.), Cytokinesis, Academic Press, 2017, pp. 355–370.","ama":"Baranova NS, Loose M. Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. In: Echard A, ed. <i>Cytokinesis</i>. Vol 137. Academic Press; 2017:355-370. doi:<a href=\"https://doi.org/10.1016/bs.mcb.2016.03.036\">10.1016/bs.mcb.2016.03.036</a>","chicago":"Baranova, Natalia S., and Martin Loose. “Single-Molecule Measurements to Study Polymerization Dynamics of FtsZ-FtsA Copolymers.” In <i>Cytokinesis</i>, edited by Arnaud  Echard, 137:355–70. Academic Press, 2017. <a href=\"https://doi.org/10.1016/bs.mcb.2016.03.036\">https://doi.org/10.1016/bs.mcb.2016.03.036</a>.","ista":"Baranova NS, Loose M. 2017.Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. In: Cytokinesis. Methods in Cell Biology, vol. 137, 355–370.","mla":"Baranova, Natalia S., and Martin Loose. “Single-Molecule Measurements to Study Polymerization Dynamics of FtsZ-FtsA Copolymers.” <i>Cytokinesis</i>, edited by Arnaud  Echard, vol. 137, Academic Press, 2017, pp. 355–70, doi:<a href=\"https://doi.org/10.1016/bs.mcb.2016.03.036\">10.1016/bs.mcb.2016.03.036</a>.","ieee":"N. S. Baranova and M. Loose, “Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers,” in <i>Cytokinesis</i>, vol. 137, A. Echard, Ed. Academic Press, 2017, pp. 355–370."},"publication_status":"published","oa_version":"None","isi":1,"status":"public","project":[{"_id":"2596EAB6-B435-11E9-9278-68D0E5697425","grant_number":"ALTF 2015-1163","name":"Synthesis of bacterial cell wall"},{"grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"intvolume":"       137","date_updated":"2025-07-10T11:50:24Z","date_created":"2018-12-11T11:50:45Z","day":"01","acknowledged_ssus":[{"_id":"Bio"}],"publisher":"Academic Press","ec_funded":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","scopus_import":"1","title":"Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers","department":[{"_id":"MaLo"}],"article_processing_charge":"No","publist_id":"6134","external_id":{"isi":["000403542900022"]},"doi":"10.1016/bs.mcb.2016.03.036","year":"2017","page":"355 - 370"},{"author":[{"last_name":"Walker","first_name":"James","full_name":"Walker, James"},{"first_name":"Hongbo","full_name":"Gao, Hongbo","last_name":"Gao"},{"last_name":"Zhang","full_name":"Zhang, Jingyi","first_name":"Jingyi"},{"last_name":"Aldridge","full_name":"Aldridge, Billy","first_name":"Billy"},{"first_name":"Martin","full_name":"Vickers, Martin","last_name":"Vickers"},{"first_name":"James D.","full_name":"Higgins, James D.","last_name":"Higgins"},{"first_name":"Xiaoqi","id":"e0164712-22ee-11ed-b12a-d80fcdf35958","full_name":"Feng, Xiaoqi","last_name":"Feng","orcid":"0000-0002-4008-1234"}],"publication":"Nature Genetics","oa":1,"date_published":"2017-12-18T00:00:00Z","abstract":[{"lang":"eng","text":"DNA methylation regulates eukaryotic gene expression and is extensively reprogrammed during animal development. However, whether developmental methylation reprogramming during the sporophytic life cycle of flowering plants regulates genes is presently unknown. Here we report a distinctive gene-targeted RNA-directed DNA methylation (RdDM) activity in the Arabidopsis thaliana male sexual lineage that regulates gene expression in meiocytes. Loss of sexual-lineage-specific RdDM causes mis-splicing of the MPS1 gene (also known as PRD2), thereby disrupting meiosis. Our results establish a regulatory paradigm in which de novo methylation creates a cell-lineage-specific epigenetic signature that controls gene expression and contributes to cellular function in flowering plants."}],"OA_place":"repository","publication_status":"published","citation":{"short":"J. Walker, H. Gao, J. Zhang, B. Aldridge, M. Vickers, J.D. Higgins, X. Feng, Nature Genetics 50 (2017) 130–137.","ama":"Walker J, Gao H, Zhang J, et al. Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. <i>Nature Genetics</i>. 2017;50(1):130-137. doi:<a href=\"https://doi.org/10.1038/s41588-017-0008-5\">10.1038/s41588-017-0008-5</a>","chicago":"Walker, James, Hongbo Gao, Jingyi Zhang, Billy Aldridge, Martin Vickers, James D. Higgins, and Xiaoqi Feng. “Sexual-Lineage-Specific DNA Methylation Regulates Meiosis in Arabidopsis.” <i>Nature Genetics</i>. Nature Research, 2017. <a href=\"https://doi.org/10.1038/s41588-017-0008-5\">https://doi.org/10.1038/s41588-017-0008-5</a>.","apa":"Walker, J., Gao, H., Zhang, J., Aldridge, B., Vickers, M., Higgins, J. D., &#38; Feng, X. (2017). Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. <i>Nature Genetics</i>. Nature Research. <a href=\"https://doi.org/10.1038/s41588-017-0008-5\">https://doi.org/10.1038/s41588-017-0008-5</a>","ieee":"J. Walker <i>et al.</i>, “Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis,” <i>Nature Genetics</i>, vol. 50, no. 1. Nature Research, pp. 130–137, 2017.","mla":"Walker, James, et al. “Sexual-Lineage-Specific DNA Methylation Regulates Meiosis in Arabidopsis.” <i>Nature Genetics</i>, vol. 50, no. 1, Nature Research, 2017, pp. 130–37, doi:<a href=\"https://doi.org/10.1038/s41588-017-0008-5\">10.1038/s41588-017-0008-5</a>.","ista":"Walker J, Gao H, Zhang J, Aldridge B, Vickers M, Higgins JD, Feng X. 2017. Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics. 50(1), 130–137."},"acknowledgement":"We thank Daniel Zilberman for intellectual contributions to this work and assistance with manuscript preparation. We also thank Caroline Dean, Kirsten Bomblies, Vinod Kumar, Siobhan Brady and Sophien Kamoun for comments on the manuscript, Hugh Dickinson and Josephine Hellberg for developing the meiocyte isolation method, Giles Oldroyd for the pGWB13-Bar vector, Elisa Fiume for the pMDC107-NTF vector, Matthew Hartley, Matthew Couchman and Tjelvar Sten Gunnar Olsson for bioinformatics support, and the John Innes Centre Bioimaging Facility (Elaine Barclay and Grant Calder) for their assistance with microscopy. This work was funded by a Biotechnology and Biological Sciences Research Council (BBSRC) David Phillips Fellowship (BBL0250431) to X.F., a BBSRC grant (BBM01973X1) to J.H., and a Sainsbury PhD Studentship to J.W.","quality_controlled":"1","oa_version":"Submitted Version","keyword":["Genetics"],"_id":"12193","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7611288/","open_access":"1"}],"issue":"1","publication_identifier":{"issn":["1061-4036"],"eissn":["1546-1718"]},"extern":"1","volume":50,"OA_type":"green","pmid":1,"language":[{"iso":"eng"}],"type":"journal_article","month":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","scopus_import":"1","article_processing_charge":"No","article_type":"original","department":[{"_id":"XiFe"}],"title":"Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis","page":"130-137","year":"2017","doi":"10.1038/s41588-017-0008-5","external_id":{"pmid":["29255257"]},"intvolume":"        50","status":"public","day":"18","date_updated":"2026-03-19T10:51:18Z","date_created":"2023-01-16T09:18:05Z","publisher":"Nature Research"},{"pubrep_id":"738","_id":"1228","volume":45,"issue":"1","type":"journal_article","language":[{"iso":"eng"}],"pmid":1,"publication":"European Journal of Neuroscience","author":[{"last_name":"Sauerzopf","first_name":"Ulrich","full_name":"Sauerzopf, Ulrich"},{"last_name":"Sacco","first_name":"Roberto","full_name":"Sacco, Roberto","id":"42C9F57E-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-7673-7178","last_name":"Novarino","full_name":"Novarino, Gaia","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","first_name":"Gaia"},{"last_name":"Niello","first_name":"Marco","full_name":"Niello, Marco"},{"full_name":"Weidenauer, Ana","first_name":"Ana","last_name":"Weidenauer"},{"first_name":"Nicole","full_name":"Praschak Rieder, Nicole","last_name":"Praschak Rieder"},{"full_name":"Sitte, Harald","first_name":"Harald","last_name":"Sitte"},{"last_name":"Willeit","first_name":"Matthaeus","full_name":"Willeit, Matthaeus"}],"oa":1,"date_published":"2017-01-01T00:00:00Z","abstract":[{"lang":"eng","text":"Since 2006, reprogrammed cells have increasingly been used as a biomedical research technique in addition to neuro-psychiatric methods. These rapidly evolving techniques allow for the generation of neuronal sub-populations, and have sparked interest not only in monogenetic neuro-psychiatric diseases, but also in poly-genetic and poly-aetiological disorders such as schizophrenia (SCZ) and bipolar disorder (BPD). This review provides a summary of 19 publications on reprogrammed adult somatic cells derived from patients with SCZ, and five publications using this technique in patients with BPD. As both disorders are complex and heterogeneous, there is a plurality of hypotheses to be tested in vitro. In SCZ, data on alterations of dopaminergic transmission in vitro are sparse, despite the great explanatory power of the so-called DA hypothesis of SCZ. Some findings correspond to perturbations of cell energy metabolism, and observations in reprogrammed cells suggest neuro-developmental alterations. Some studies also report on the efficacy of medicinal compounds to revert alterations observed in cellular models. However, due to the paucity of replication studies, no comprehensive conclusions can be drawn from studies using reprogrammed cells at the present time. In the future, findings from cell culture methods need to be integrated with clinical, epidemiological, pharmacological and imaging data in order to generate a more comprehensive picture of SCZ and BPD."}],"publication_status":"published","citation":{"ieee":"U. Sauerzopf <i>et al.</i>, “Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence,” <i>European Journal of Neuroscience</i>, vol. 45, no. 1. Wiley-Blackwell, pp. 45–57, 2017.","mla":"Sauerzopf, Ulrich, et al. “Are Reprogrammed Cells a Useful Tool for Studying Dopamine Dysfunction in Psychotic Disorders? A Review of the Current Evidence.” <i>European Journal of Neuroscience</i>, vol. 45, no. 1, Wiley-Blackwell, 2017, pp. 45–57, doi:<a href=\"https://doi.org/10.1111/ejn.13418\">10.1111/ejn.13418</a>.","ista":"Sauerzopf U, Sacco R, Novarino G, Niello M, Weidenauer A, Praschak Rieder N, Sitte H, Willeit M. 2017. Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. 45(1), 45–57.","short":"U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.","ama":"Sauerzopf U, Sacco R, Novarino G, et al. Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. <i>European Journal of Neuroscience</i>. 2017;45(1):45-57. doi:<a href=\"https://doi.org/10.1111/ejn.13418\">10.1111/ejn.13418</a>","chicago":"Sauerzopf, Ulrich, Roberto Sacco, Gaia Novarino, Marco Niello, Ana Weidenauer, Nicole Praschak Rieder, Harald Sitte, and Matthaeus Willeit. “Are Reprogrammed Cells a Useful Tool for Studying Dopamine Dysfunction in Psychotic Disorders? A Review of the Current Evidence.” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 2017. <a href=\"https://doi.org/10.1111/ejn.13418\">https://doi.org/10.1111/ejn.13418</a>.","apa":"Sauerzopf, U., Sacco, R., Novarino, G., Niello, M., Weidenauer, A., Praschak Rieder, N., … Willeit, M. (2017). Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. <i>European Journal of Neuroscience</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/ejn.13418\">https://doi.org/10.1111/ejn.13418</a>"},"acknowledgement":"This work was supported by grants of the Austrian Science Fund (FWF) P23585B09 to M.W. and F3506 to H.H.S. and the “Wiener Wissenschafts-, Forschungs- und Technologiefonds” (Vienna Science and Technology Fund; WWTF) CS15-033 to M.W.","quality_controlled":"1","oa_version":"Published Version","intvolume":"        45","isi":1,"status":"public","day":"01","date_updated":"2023-09-20T11:16:01Z","date_created":"2018-12-11T11:50:50Z","publisher":"Wiley-Blackwell","ddc":["616"],"file_date_updated":"2020-07-14T12:44:39Z","month":"01","file":[{"content_type":"application/pdf","date_created":"2018-12-12T10:10:48Z","date_updated":"2020-07-14T12:44:39Z","file_id":"4838","relation":"main_file","access_level":"open_access","file_name":"IST-2017-738-v1+1_Sauerzopf_et_al-2017-European_Journal_of_Neuroscience.pdf","creator":"system","checksum":"c572cf02be8fbb7020cfcfb892182e4c","file_size":169145}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","has_accepted_license":"1","scopus_import":"1","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"article_processing_charge":"No","publist_id":"6106","department":[{"_id":"GaNo"}],"title":"Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence","article_type":"review","year":"2017","page":"45 - 57","doi":"10.1111/ejn.13418","external_id":{"isi":["000392487100005"],"pmid":["27690184"]}},{"_id":"123","main_file_link":[{"url":"https://arxiv.org/abs/1705.03530","open_access":"1"}],"issue":"11","volume":13,"extern":"1","type":"journal_article","language":[{"iso":"eng"}],"arxiv":1,"publication_status":"published","citation":{"ista":"Waitukaitis SR, Zuiderwijk A, Souslov A, Coulais C, Van Hecke M. 2017. Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing. Nature Physics. 13(11), 1095–1099.","mla":"Waitukaitis, Scott R., et al. “Coupling the Leidenfrost Effect and Elastic Deformations to Power Sustained Bouncing.” <i>Nature Physics</i>, vol. 13, no. 11, Nature Publishing Group, 2017, pp. 1095–99, doi:<a href=\"https://doi.org/10.1038/nphys4194\">10.1038/nphys4194</a>.","ieee":"S. R. Waitukaitis, A. Zuiderwijk, A. Souslov, C. Coulais, and M. Van Hecke, “Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing,” <i>Nature Physics</i>, vol. 13, no. 11. Nature Publishing Group, pp. 1095–1099, 2017.","apa":"Waitukaitis, S. R., Zuiderwijk, A., Souslov, A., Coulais, C., &#38; Van Hecke, M. (2017). Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing. <i>Nature Physics</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nphys4194\">https://doi.org/10.1038/nphys4194</a>","chicago":"Waitukaitis, Scott R, Antal Zuiderwijk, Anton Souslov, Corentin Coulais, and Martin Van Hecke. “Coupling the Leidenfrost Effect and Elastic Deformations to Power Sustained Bouncing.” <i>Nature Physics</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/nphys4194\">https://doi.org/10.1038/nphys4194</a>.","ama":"Waitukaitis SR, Zuiderwijk A, Souslov A, Coulais C, Van Hecke M. Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing. <i>Nature Physics</i>. 2017;13(11):1095-1099. doi:<a href=\"https://doi.org/10.1038/nphys4194\">10.1038/nphys4194</a>","short":"S.R. Waitukaitis, A. Zuiderwijk, A. Souslov, C. Coulais, M. Van Hecke, Nature Physics 13 (2017) 1095–1099."},"quality_controlled":"1","acknowledgement":"A.S. acknowledges funding from the Delta Institute for Theoretical Physics and the hospitality of the IBS Center for Theoretical Physics of Complex Systems, Daejeon, South Korea. We acknowledge funding from the Netherlands Organisation for Scientific Research through grants VICI No. NWO-680-47-609 (M.v.H. and S.R.W.), VENI No. NWO-680-47-445 (C.C.) and VENI No. NWO-680-47-453 (S.R.W.).","oa_version":"Preprint","author":[{"last_name":"Waitukaitis","orcid":"0000-0002-2299-3176","first_name":"Scott R","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","full_name":"Waitukaitis, Scott R"},{"full_name":"Zuiderwijk, Antal","first_name":"Antal","last_name":"Zuiderwijk"},{"last_name":"Souslov","first_name":"Anton","full_name":"Souslov, Anton"},{"first_name":"Corentin","full_name":"Coulais, Corentin","last_name":"Coulais"},{"first_name":"Martin","full_name":"Van Hecke, Martin","last_name":"Van Hecke"}],"publication":"Nature Physics","oa":1,"date_published":"2017-07-24T00:00:00Z","abstract":[{"text":"The Leidenfrost effect occurs when an object near a hot surface vaporizes rapidly enough to lift itself up and hover. Although well understood for liquids and stiff sublimable solids, nothing is known about the effect with materials whose stiffness lies between these extremes. Here we introduce a new phenomenon that occurs with vaporizable soft solids - the elastic Leidenfrost effect. By dropping hydrogel spheres onto hot surfaces we find that, rather than hovering, they energetically bounce several times their diameter for minutes at a time. With high-speed video during a single impact, we uncover high-frequency microscopic gap dynamics at the sphere/substrate interface. We show how these otherwise-hidden agitations constitute work cycles that harvest mechanical energy from the vapour and sustain the bouncing. Our findings suggest a new strategy for injecting mechanical energy into a widely used class of soft materials, with potential relevance to fields such as active matter, soft robotics and microfluidics.","lang":"eng"}],"publisher":"Nature Publishing Group","intvolume":"        13","status":"public","day":"24","date_created":"2018-12-11T11:44:45Z","date_updated":"2021-01-12T06:49:14Z","publist_id":"7931","title":"Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing","page":"1095 - 1099","year":"2017","doi":"10.1038/nphys4194","external_id":{"arxiv":["1705.03530"]},"month":"07","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87"},{"arxiv":1,"_id":"12571","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1611.00198"}],"publication_identifier":{"eisbn":["9783319592503"],"isbn":["9783319592497"],"issn":["0302-9743","1611-3349"]},"extern":"1","volume":10328,"type":"conference","language":[{"iso":"eng"}],"author":[{"last_name":"Bhattacharya","first_name":"Sayan","full_name":"Bhattacharya, Sayan"},{"last_name":"Chakrabarty","full_name":"Chakrabarty, Deeparnab","first_name":"Deeparnab"},{"first_name":"Monika H","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","last_name":"Henzinger","orcid":"0000-0002-5008-6530"}],"publication":"19th International Conference on Integer Programming and Combinatorial Optimization","alternative_title":["LNCS"],"oa":1,"date_published":"2017-05-24T00:00:00Z","abstract":[{"text":"We consider the problems of maintaining approximate maximum matching and minimum vertex cover in a dynamic graph. Starting with the seminal work of Onak and Rubinfeld [STOC 2010], this problem has received significant attention in recent years. Very recently, extending the framework of Baswana, Gupta and Sen [FOCS 2011], Solomon [FOCS 2016] gave a randomized 2-approximation dynamic algorithm for this problem that has amortized update time of O(1) with high probability. We consider the natural open question of derandomizing this result. We present a new deterministic fully dynamic algorithm that maintains a O(1)-approximate minimum vertex cover and maximum fractional matching, with an amortized update time of O(1). Previously, the best deterministic algorithm for this problem was due to Bhattacharya, Henzinger and Italiano [SODA 2015]; it had an approximation ratio of (2+ϵ) and an amortized update time of O(logn/ϵ2). Our result can be generalized to give a fully dynamic O(f3)-approximation algorithm with O(f2) amortized update time for the hypergraph vertex cover and fractional matching problems, where every hyperedge has at most f vertices.","lang":"eng"}],"citation":{"ama":"Bhattacharya S, Chakrabarty D, Henzinger M. Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time. In: <i>19th International Conference on Integer Programming and Combinatorial Optimization</i>. Vol 10328. Springer Nature; 2017:86-98. doi:<a href=\"https://doi.org/10.1007/978-3-319-59250-3_8\">10.1007/978-3-319-59250-3_8</a>","chicago":"Bhattacharya, Sayan, Deeparnab Chakrabarty, and Monika Henzinger. “Deterministic Fully Dynamic Approximate Vertex Cover and Fractional Matching in O(1) Amortized Update Time.” In <i>19th International Conference on Integer Programming and Combinatorial Optimization</i>, 10328:86–98. Springer Nature, 2017. <a href=\"https://doi.org/10.1007/978-3-319-59250-3_8\">https://doi.org/10.1007/978-3-319-59250-3_8</a>.","short":"S. Bhattacharya, D. Chakrabarty, M. Henzinger, in:, 19th International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2017, pp. 86–98.","apa":"Bhattacharya, S., Chakrabarty, D., &#38; Henzinger, M. (2017). Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time. In <i>19th International Conference on Integer Programming and Combinatorial Optimization</i> (Vol. 10328, pp. 86–98). Waterloo, ON, Canada: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-319-59250-3_8\">https://doi.org/10.1007/978-3-319-59250-3_8</a>","mla":"Bhattacharya, Sayan, et al. “Deterministic Fully Dynamic Approximate Vertex Cover and Fractional Matching in O(1) Amortized Update Time.” <i>19th International Conference on Integer Programming and Combinatorial Optimization</i>, vol. 10328, Springer Nature, 2017, pp. 86–98, doi:<a href=\"https://doi.org/10.1007/978-3-319-59250-3_8\">10.1007/978-3-319-59250-3_8</a>.","ieee":"S. Bhattacharya, D. Chakrabarty, and M. Henzinger, “Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time,” in <i>19th International Conference on Integer Programming and Combinatorial Optimization</i>, Waterloo, ON, Canada, 2017, vol. 10328, pp. 86–98.","ista":"Bhattacharya S, Chakrabarty D, Henzinger M. 2017. Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time. 19th International Conference on Integer Programming and Combinatorial Optimization. IPCO: Integer Programming and Combinatorial Optimization, LNCS, vol. 10328, 86–98."},"publication_status":"published","quality_controlled":"1","oa_version":"Preprint","intvolume":"     10328","status":"public","day":"24","date_created":"2023-02-20T07:52:31Z","date_updated":"2024-11-06T12:03:44Z","conference":{"name":"IPCO: Integer Programming and Combinatorial Optimization","start_date":"2017-06-26","end_date":"2017-06-28","location":"Waterloo, ON, Canada"},"publisher":"Springer Nature","month":"05","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","scopus_import":"1","article_processing_charge":"No","title":"Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time","page":"86-98","year":"2017","external_id":{"arxiv":["1611.00198"]},"doi":"10.1007/978-3-319-59250-3_8"},{"keyword":["Earth-Surface Processes"],"oa_version":"Published Version","quality_controlled":"1","publication_status":"published","citation":{"ieee":"T. E. SHAW, B. W. BROCK, Á. AYALA, N. RUTTER, and F. Pellicciotti, “Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations,” <i>Journal of Glaciology</i>, vol. 63, no. 242. Cambridge University Press, pp. 973–988, 2017.","mla":"SHAW, THOMAS E., et al. “Centreline and Cross-Glacier Air Temperature Variability on an Alpine Glacier: Assessing Temperature Distribution Methods and Their Influence on Melt Model Calculations.” <i>Journal of Glaciology</i>, vol. 63, no. 242, Cambridge University Press, 2017, pp. 973–88, doi:<a href=\"https://doi.org/10.1017/jog.2017.65\">10.1017/jog.2017.65</a>.","ista":"SHAW TE, BROCK BW, AYALA Á, RUTTER N, Pellicciotti F. 2017. Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations. Journal of Glaciology. 63(242), 973–988.","chicago":"SHAW, THOMAS E., BEN W. BROCK, ÁLVARO AYALA, NICK RUTTER, and Francesca Pellicciotti. “Centreline and Cross-Glacier Air Temperature Variability on an Alpine Glacier: Assessing Temperature Distribution Methods and Their Influence on Melt Model Calculations.” <i>Journal of Glaciology</i>. Cambridge University Press, 2017. <a href=\"https://doi.org/10.1017/jog.2017.65\">https://doi.org/10.1017/jog.2017.65</a>.","ama":"SHAW TE, BROCK BW, AYALA Á, RUTTER N, Pellicciotti F. Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations. <i>Journal of Glaciology</i>. 2017;63(242):973-988. doi:<a href=\"https://doi.org/10.1017/jog.2017.65\">10.1017/jog.2017.65</a>","short":"T.E. SHAW, B.W. BROCK, Á. AYALA, N. RUTTER, F. Pellicciotti, Journal of Glaciology 63 (2017) 973–988.","apa":"SHAW, T. E., BROCK, B. W., AYALA, Á., RUTTER, N., &#38; Pellicciotti, F. (2017). Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations. <i>Journal of Glaciology</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jog.2017.65\">https://doi.org/10.1017/jog.2017.65</a>"},"abstract":[{"lang":"eng","text":"The spatio-temporal distribution of air temperature over mountain glaciers can demonstrate complex patterns, yet it is often represented simplistically using linear vertical temperature gradients (VTGs) extrapolated from off-glacier locations. We analyse a network of centreline and lateral air temperature observations at Tsanteleina Glacier, Italy, during summer 2015. On average, VTGs are steep (&lt;−0.0065 °C m<jats:sup>−1</jats:sup>), but they are shallow under warm ambient conditions when the correlation between air temperature and elevation becomes weaker. Published along-flowline temperature distribution methods explain centreline observations well, including warming on the lower glacier tongue, but cannot estimate lateral temperature variability. Application of temperature distribution methods improves simulation of melt rates (RMSE) in an energy-balance model by up to 36% compared to the environmental lapse rate extrapolated from an off-glacier station. However, results suggest that model parameters are not easily transferable to glaciers with a small fetch without recalibration. Such methods have potential to improve estimates of temperature across a glacier, but their parameter transferability should be further linked to the glacier and atmospheric characteristics. Furthermore, ‘cold spots’, which can be &gt;2°C cooler than expected for their elevation, whose occurrence is not predicted by the temperature distribution models, are identified at one-quarter of the measurement sites."}],"oa":1,"date_published":"2017-12-01T00:00:00Z","publication":"Journal of Glaciology","author":[{"full_name":"SHAW, THOMAS E.","first_name":"THOMAS E.","last_name":"SHAW"},{"first_name":"BEN W.","full_name":"BROCK, BEN W.","last_name":"BROCK"},{"full_name":"AYALA, ÁLVARO","first_name":"ÁLVARO","last_name":"AYALA"},{"first_name":"NICK","full_name":"RUTTER, NICK","last_name":"RUTTER"},{"first_name":"Francesca","full_name":"Pellicciotti, Francesca","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","last_name":"Pellicciotti"}],"type":"journal_article","language":[{"iso":"eng"}],"volume":63,"extern":"1","issue":"242","publication_identifier":{"eissn":["1727-5652"],"issn":["0022-1430"]},"_id":"12608","main_file_link":[{"url":"https://doi.org/10.1017/jog.2017.65","open_access":"1"}],"doi":"10.1017/jog.2017.65","year":"2017","page":"973-988","article_type":"original","title":"Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations","article_processing_charge":"No","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","publisher":"Cambridge University Press","date_updated":"2023-02-28T11:30:34Z","date_created":"2023-02-20T08:13:47Z","day":"01","status":"public","intvolume":"        63"},{"type":"journal_article","language":[{"iso":"eng"}],"extern":"1","volume":63,"issue":"241","publication_identifier":{"issn":["0022-1430"],"eissn":["1727-5652"]},"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1017/jog.2017.46"}],"_id":"12609","keyword":["Earth-Surface Processes"],"oa_version":"Published Version","quality_controlled":"1","publication_status":"published","citation":{"short":"A. AYALA, F. Pellicciotti, N. PELEG, P. BURLANDO, Journal of Glaciology 63 (2017) 803–822.","chicago":"AYALA, A., Francesca Pellicciotti, N. PELEG, and P. BURLANDO. “Melt and Surface Sublimation across a Glacier in a Dry Environment: Distributed Energy-Balance Modelling of Juncal Norte Glacier, Chile.” <i>Journal of Glaciology</i>. Cambridge University Press, 2017. <a href=\"https://doi.org/10.1017/jog.2017.46\">https://doi.org/10.1017/jog.2017.46</a>.","ama":"AYALA A, Pellicciotti F, PELEG N, BURLANDO P. Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile. <i>Journal of Glaciology</i>. 2017;63(241):803-822. doi:<a href=\"https://doi.org/10.1017/jog.2017.46\">10.1017/jog.2017.46</a>","apa":"AYALA, A., Pellicciotti, F., PELEG, N., &#38; BURLANDO, P. (2017). Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile. <i>Journal of Glaciology</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jog.2017.46\">https://doi.org/10.1017/jog.2017.46</a>","mla":"AYALA, A., et al. “Melt and Surface Sublimation across a Glacier in a Dry Environment: Distributed Energy-Balance Modelling of Juncal Norte Glacier, Chile.” <i>Journal of Glaciology</i>, vol. 63, no. 241, Cambridge University Press, 2017, pp. 803–22, doi:<a href=\"https://doi.org/10.1017/jog.2017.46\">10.1017/jog.2017.46</a>.","ieee":"A. AYALA, F. Pellicciotti, N. PELEG, and P. BURLANDO, “Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile,” <i>Journal of Glaciology</i>, vol. 63, no. 241. Cambridge University Press, pp. 803–822, 2017.","ista":"AYALA A, Pellicciotti F, PELEG N, BURLANDO P. 2017. Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile. Journal of Glaciology. 63(241), 803–822."},"abstract":[{"text":"Previous estimates of melt and surface sublimation on glaciers of the subtropical semiarid Andes (29–34°S) have been obtained at few specific locations, but it is not clear how ablation components vary across the entire extent of a glacier in this dry environment. Here, we simulate the distributed energy and mass balance of Juncal Norte Glacier (33°S) during a 2-month summer period. Forcing fields of near-surface air temperature and wind speed are generated using two methods accounting for the main physical processes that shape their spatial variations. Simulated meteorological variables and ablation agree well with observations on the glacier tongue and reveal complex patterns of energy and mass fluxes. Ablation decreases from 70 mm w.e. d<jats:sup>−1</jats:sup> at the low-albedo glacier terminus (~3000 m), where almost 100% of total ablation corresponds to melt, to &lt;5 mm w.e. d<jats:sup>−1</jats:sup> at wind-exposed, strong-radiated sites above 5500 m, where surface sublimation represents &gt;75% of total ablation. Our simulations provide the first glacier-scale estimates of ablation components on a glacier in the study region and better reproduce the observed and expected spatial variations of melt and surface sublimation, in comparison with more simple assumptions, such as linear gradients and uniform wind speeds.","lang":"eng"}],"date_published":"2017-10-01T00:00:00Z","oa":1,"publication":"Journal of Glaciology","author":[{"full_name":"AYALA, A.","first_name":"A.","last_name":"AYALA"},{"last_name":"Pellicciotti","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","full_name":"Pellicciotti, Francesca","first_name":"Francesca"},{"last_name":"PELEG","full_name":"PELEG, N.","first_name":"N."},{"first_name":"P.","full_name":"BURLANDO, P.","last_name":"BURLANDO"}],"publisher":"Cambridge University Press","date_created":"2023-02-20T08:13:53Z","date_updated":"2023-02-28T11:28:19Z","day":"01","status":"public","intvolume":"        63","doi":"10.1017/jog.2017.46","year":"2017","page":"803-822","title":"Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile","article_type":"original","article_processing_charge":"No","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"10"},{"date_created":"2023-02-20T08:14:04Z","date_updated":"2023-02-28T11:13:23Z","day":"21","status":"public","intvolume":"         5","publisher":"Frontiers Media","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"09","doi":"10.3389/feart.2017.00069","year":"2017","title":"Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal","article_type":"original","article_processing_charge":"No","language":[{"iso":"eng"}],"type":"journal_article","extern":"1","volume":5,"publication_identifier":{"issn":["2296-6463"]},"article_number":"69","_id":"12610","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3389/feart.2017.00069"}],"abstract":[{"text":"The hydrological systems of heavily-downwasted debris-covered glaciers differ from those of clean-ice glaciers due to the hummocky surface and debris mantle of such glaciers, leading to a relatively limited understanding of drainage pathways. Supraglacial ponds represent sinks within the discontinuous supraglacial drainage system, and occasionally drain englacially. To assess pond dynamics, we made pond water level measurements on Lirung Glacier, Nepal, during May and October of 2013 and 2014. Simultaneously, aerial, satellite, and terrestrial orthoimages and digital elevation models were obtained, providing snapshots of the ponds and their surroundings. We performed a DEM-based analysis of the glacier's closed surface catchments to identify surface drainage pathways and englacial drainage points, and compared this to field observations of surface and near-surface water flow. The total ponded area was higher in the pre-monsoon than post-monsoon, with individual ponds filling and draining seasonally associated with the surface exposure of englacial conduit segments. We recorded four pond drainage events, all of which occurred gradually (duration of weeks), observed diurnal fluctuations indicative of varying water supply and outflow discharge, and we documented instances of interaction between distant ponds. The DEM drainage analysis identified numerous sinks >3 m in depth across the glacier surface, few of which exhibited ponds (23%), while the field survey highlighted instances of surface water only explicable via englacial routes. Taken together, our observations provide evidence for widespread supraglacial-englacial connectivity of meltwater drainage paths. Results suggest that successive englacial conduit collapse events, themselves likely driven by supraglacial pond drainage, cause the glacier surface drainage system to evolve into a configuration following relict englacial conduit systems. Within this system, ponds form in depressions of reduced drainage efficiency and link the supraglacial and englacial drainage networks.","lang":"eng"}],"date_published":"2017-09-21T00:00:00Z","oa":1,"publication":"Frontiers in Earth Science","author":[{"first_name":"Evan S.","full_name":"Miles, Evan S.","last_name":"Miles"},{"first_name":"Jakob","full_name":"Steiner, Jakob","last_name":"Steiner"},{"full_name":"Willis, Ian","first_name":"Ian","last_name":"Willis"},{"full_name":"Buri, Pascal","first_name":"Pascal","last_name":"Buri"},{"first_name":"Walter W.","full_name":"Immerzeel, Walter W.","last_name":"Immerzeel"},{"last_name":"Chesnokova","first_name":"Anna","full_name":"Chesnokova, Anna"},{"first_name":"Francesca","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","full_name":"Pellicciotti, Francesca","last_name":"Pellicciotti"}],"keyword":["General Earth and Planetary Sciences"],"oa_version":"Published Version","quality_controlled":"1","publication_status":"published","citation":{"chicago":"Miles, Evan S., Jakob Steiner, Ian Willis, Pascal Buri, Walter W. Immerzeel, Anna Chesnokova, and Francesca Pellicciotti. “Pond Dynamics and Supraglacial-Englacial Connectivity on Debris-Covered Lirung Glacier, Nepal.” <i>Frontiers in Earth Science</i>. Frontiers Media, 2017. <a href=\"https://doi.org/10.3389/feart.2017.00069\">https://doi.org/10.3389/feart.2017.00069</a>.","ama":"Miles ES, Steiner J, Willis I, et al. Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal. <i>Frontiers in Earth Science</i>. 2017;5. doi:<a href=\"https://doi.org/10.3389/feart.2017.00069\">10.3389/feart.2017.00069</a>","short":"E.S. Miles, J. Steiner, I. Willis, P. Buri, W.W. Immerzeel, A. Chesnokova, F. Pellicciotti, Frontiers in Earth Science 5 (2017).","apa":"Miles, E. S., Steiner, J., Willis, I., Buri, P., Immerzeel, W. W., Chesnokova, A., &#38; Pellicciotti, F. (2017). Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal. <i>Frontiers in Earth Science</i>. Frontiers Media. <a href=\"https://doi.org/10.3389/feart.2017.00069\">https://doi.org/10.3389/feart.2017.00069</a>","mla":"Miles, Evan S., et al. “Pond Dynamics and Supraglacial-Englacial Connectivity on Debris-Covered Lirung Glacier, Nepal.” <i>Frontiers in Earth Science</i>, vol. 5, 69, Frontiers Media, 2017, doi:<a href=\"https://doi.org/10.3389/feart.2017.00069\">10.3389/feart.2017.00069</a>.","ieee":"E. S. Miles <i>et al.</i>, “Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal,” <i>Frontiers in Earth Science</i>, vol. 5. Frontiers Media, 2017.","ista":"Miles ES, Steiner J, Willis I, Buri P, Immerzeel WW, Chesnokova A, Pellicciotti F. 2017. Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal. Frontiers in Earth Science. 5, 69."}},{"abstract":[{"text":"We investigate the energy balance and ablation regimes of glaciers in high-elevation, dry environments using glaciometeorological data collected on six glaciers in the semiarid Andes of North-Central Chile (29–34°S, 3127–5324 m). We use a point-scale physically based energy balance (EB) model and an enhanced Temperature-Index (ETI) model that calculates melt rates only as a function of air temperature and net shortwave radiation. At all sites, the largest energy inputs are net shortwave and incoming longwave radiation, which are controlled by surface albedo and elevation, respectively. Turbulent fluxes cancel each other out at the lower sites, but as elevation increases, cold, dry and wind-exposed conditions increase the magnitude of negative latent heat fluxes, associated with large surface sublimation rates. In midsummer (January), ablation rates vary from 67.9 mm w.e. d−1 at the lowest site (∼100% corresponding to melt), to 2.3 mm w.e. d−1 at the highest site (>85% corresponding to surface sublimation). At low-elevation, low-albedo, melt-dominated sites, the ETI model correctly reproduces melt using a large range of possible parameters, but both the performance and parameter transferability decrease with elevation for two main reasons: (i) the air temperature threshold approach for melt onset does not capture the diurnal variability of melt in cold and strong irradiated environments and (ii) energy losses decrease the correlation between melt and net shortwave radiation. We summarize our results by means of an elevation profile of ablation components that can be used as reference in future studies of glacier ablation in the semiarid Andes.","lang":"eng"}],"date_published":"2017-07-10T00:00:00Z","publication":"Water Resources Research","author":[{"last_name":"Ayala","full_name":"Ayala, A.","first_name":"A."},{"full_name":"Pellicciotti, Francesca","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","first_name":"Francesca","last_name":"Pellicciotti"},{"first_name":"S.","full_name":"MacDonell, S.","last_name":"MacDonell"},{"full_name":"McPhee, J.","first_name":"J.","last_name":"McPhee"},{"last_name":"Burlando","full_name":"Burlando, P.","first_name":"P."}],"keyword":["Water Science and Technology"],"oa_version":"None","quality_controlled":"1","citation":{"mla":"Ayala, A., et al. “Patterns of Glacier Ablation across North-Central Chile: Identifying the Limits of Empirical Melt Models under Sublimation-Favorable Conditions.” <i>Water Resources Research</i>, vol. 53, no. 7, American Geophysical Union, 2017, pp. 5601–25, doi:<a href=\"https://doi.org/10.1002/2016wr020126\">10.1002/2016wr020126</a>.","ieee":"A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, and P. Burlando, “Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions,” <i>Water Resources Research</i>, vol. 53, no. 7. American Geophysical Union, pp. 5601–5625, 2017.","ista":"Ayala A, Pellicciotti F, MacDonell S, McPhee J, Burlando P. 2017. Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions. Water Resources Research. 53(7), 5601–5625.","ama":"Ayala A, Pellicciotti F, MacDonell S, McPhee J, Burlando P. Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions. <i>Water Resources Research</i>. 2017;53(7):5601-5625. doi:<a href=\"https://doi.org/10.1002/2016wr020126\">10.1002/2016wr020126</a>","short":"A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, P. Burlando, Water Resources Research 53 (2017) 5601–5625.","chicago":"Ayala, A., Francesca Pellicciotti, S. MacDonell, J. McPhee, and P. Burlando. “Patterns of Glacier Ablation across North-Central Chile: Identifying the Limits of Empirical Melt Models under Sublimation-Favorable Conditions.” <i>Water Resources Research</i>. American Geophysical Union, 2017. <a href=\"https://doi.org/10.1002/2016wr020126\">https://doi.org/10.1002/2016wr020126</a>.","apa":"Ayala, A., Pellicciotti, F., MacDonell, S., McPhee, J., &#38; Burlando, P. (2017). Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions. <i>Water Resources Research</i>. American Geophysical Union. <a href=\"https://doi.org/10.1002/2016wr020126\">https://doi.org/10.1002/2016wr020126</a>"},"publication_status":"published","type":"journal_article","language":[{"iso":"eng"}],"extern":"1","volume":53,"issue":"7","publication_identifier":{"issn":["0043-1397"]},"_id":"12611","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"07","doi":"10.1002/2016wr020126","year":"2017","page":"5601-5625","title":"Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions","article_type":"original","article_processing_charge":"No","date_updated":"2023-02-24T11:41:55Z","date_created":"2023-02-20T08:14:10Z","day":"10","status":"public","intvolume":"        53","publisher":"American Geophysical Union"},{"language":[{"iso":"eng"}],"type":"journal_article","volume":63,"extern":"1","issue":"237","publication_identifier":{"eissn":["1727-5652"],"issn":["0022-1430"]},"main_file_link":[{"url":"https://doi.org/10.1017/jog.2016.120","open_access":"1"}],"_id":"12612","keyword":["Earth-Surface Processes"],"oa_version":"Published Version","quality_controlled":"1","citation":{"mla":"MILES, EVAN S., et al. “Spatial, Seasonal and Interannual Variability of Supraglacial Ponds in the Langtang Valley of Nepal, 1999–2013.” <i>Journal of Glaciology</i>, vol. 63, no. 237, Cambridge University Press, 2017, pp. 88–105, doi:<a href=\"https://doi.org/10.1017/jog.2016.120\">10.1017/jog.2016.120</a>.","ieee":"E. S. MILES, I. C. WILLIS, N. S. ARNOLD, J. STEINER, and F. Pellicciotti, “Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013,” <i>Journal of Glaciology</i>, vol. 63, no. 237. Cambridge University Press, pp. 88–105, 2017.","ista":"MILES ES, WILLIS IC, ARNOLD NS, STEINER J, Pellicciotti F. 2017. Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013. Journal of Glaciology. 63(237), 88–105.","short":"E.S. MILES, I.C. WILLIS, N.S. ARNOLD, J. STEINER, F. Pellicciotti, Journal of Glaciology 63 (2017) 88–105.","chicago":"MILES, EVAN S., IAN C. WILLIS, NEIL S. ARNOLD, JAKOB STEINER, and Francesca Pellicciotti. “Spatial, Seasonal and Interannual Variability of Supraglacial Ponds in the Langtang Valley of Nepal, 1999–2013.” <i>Journal of Glaciology</i>. Cambridge University Press, 2017. <a href=\"https://doi.org/10.1017/jog.2016.120\">https://doi.org/10.1017/jog.2016.120</a>.","ama":"MILES ES, WILLIS IC, ARNOLD NS, STEINER J, Pellicciotti F. Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013. <i>Journal of Glaciology</i>. 2017;63(237):88-105. doi:<a href=\"https://doi.org/10.1017/jog.2016.120\">10.1017/jog.2016.120</a>","apa":"MILES, E. S., WILLIS, I. C., ARNOLD, N. S., STEINER, J., &#38; Pellicciotti, F. (2017). Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013. <i>Journal of Glaciology</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jog.2016.120\">https://doi.org/10.1017/jog.2016.120</a>"},"publication_status":"published","abstract":[{"lang":"eng","text":"Supraglacial ponds play a key role in absorbing atmospheric energy and directing it to the ice of debris-covered glaciers, but the spatial and temporal distribution of these features is not well documented. We analyse 172 Landsat TM/ETM+ scenes for the period 1999–2013 to identify thawed supraglacial ponds for the debris-covered tongues of five glaciers in the Langtang Valley of Nepal. We apply an advanced atmospheric correction routine (Landcor/6S) and use band ratio and image morphological techniques to identify ponds and validate our results with 2.5 m Cartosat-1 observations. We then characterize the spatial, seasonal and interannual patterns of ponds. We find high variability in pond incidence between glaciers (May–October means of 0.08–1.69% of debris area), with ponds most frequent in zones of low surface gradient and velocity. The ponds show pronounced seasonality, appearing in the pre-monsoon as snow melts, peaking at the monsoon onset at 2% of debris-covered area, then declining in the post-monsoon as ponds drain or freeze. Ponds are highly recurrent and persistent, with 40.5% of pond locations occurring for multiple years. Rather than a trend in pond cover over the study period, we find high interannual variability for each glacier after controlling for seasonality."}],"oa":1,"date_published":"2017-02-01T00:00:00Z","publication":"Journal of Glaciology","author":[{"first_name":"EVAN S.","full_name":"MILES, EVAN S.","last_name":"MILES"},{"first_name":"IAN C.","full_name":"WILLIS, IAN C.","last_name":"WILLIS"},{"last_name":"ARNOLD","first_name":"NEIL S.","full_name":"ARNOLD, NEIL S."},{"last_name":"STEINER","first_name":"JAKOB","full_name":"STEINER, JAKOB"},{"last_name":"Pellicciotti","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","full_name":"Pellicciotti, Francesca","first_name":"Francesca"}],"publisher":"Cambridge University Press","date_created":"2023-02-20T08:14:16Z","date_updated":"2023-02-24T11:38:31Z","day":"01","status":"public","intvolume":"        63","doi":"10.1017/jog.2016.120","year":"2017","page":"88-105","article_type":"original","title":"Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013","article_processing_charge":"No","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"02"},{"title":"Scientific Computing at IST Austria","department":[{"_id":"ScienComp"}],"article_processing_charge":"No","publication_status":"published","citation":{"mla":"Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” <i>AHPC17 – Austrian HPC Meeting 2017</i>, FSP Scientific Computing, 2017, p. 28.","ieee":"A. Schlögl and J. Kiss, “Scientific Computing at IST Austria,” in <i>AHPC17 – Austrian HPC Meeting 2017</i>, Grundlsee, Austria, 2017, p. 28.","ista":"Schlögl A, Kiss J. 2017. Scientific Computing at IST Austria. AHPC17 – Austrian HPC Meeting 2017. AHPC: Austrian HPC Meeting, 28.","chicago":"Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” In <i>AHPC17 – Austrian HPC Meeting 2017</i>, 28. FSP Scientific Computing, 2017.","ama":"Schlögl A, Kiss J. Scientific Computing at IST Austria. In: <i>AHPC17 – Austrian HPC Meeting 2017</i>. FSP Scientific Computing; 2017:28.","short":"A. Schlögl, J. Kiss, in:, AHPC17 – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.","apa":"Schlögl, A., &#38; Kiss, J. (2017). Scientific Computing at IST Austria. In <i>AHPC17 – Austrian HPC Meeting 2017</i> (p. 28). Grundlsee, Austria: FSP Scientific Computing."},"year":"2017","oa_version":"Published Version","page":"28","oa":1,"date_published":"2017-03-03T00:00:00Z","file":[{"success":1,"content_type":"application/pdf","file_id":"12969","date_created":"2023-05-16T07:20:50Z","date_updated":"2023-05-16T07:20:50Z","access_level":"open_access","file_name":"2017_AHPC_Schloegl.pdf","relation":"main_file","checksum":"7bcc499479d4f4c5ce6c0071c24ca6c6","creator":"dernst","file_size":1005486}],"corr_author":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"AHPC17 – Austrian HPC Meeting 2017","file_date_updated":"2023-05-16T07:20:50Z","month":"03","author":[{"last_name":"Schlögl","orcid":"0000-0002-5621-8100","first_name":"Alois","full_name":"Schlögl, Alois","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kiss","id":"3D3A06F8-F248-11E8-B48F-1D18A9856A87","full_name":"Kiss, Janos","first_name":"Janos"}],"has_accepted_license":"1","publisher":"FSP Scientific Computing","_id":"12905","main_file_link":[{"open_access":"1","url":"https://vsc.ac.at/fileadmin/user_upload/vsc/conferences/ahpc17/BOOKLET_AHPC17.pdf"}],"ddc":["000"],"language":[{"iso":"eng"}],"type":"conference_abstract","status":"public","conference":{"location":"Grundlsee, Austria","end_date":"2017-03-03","start_date":"2017-03-01","name":"AHPC: Austrian HPC Meeting"},"date_updated":"2024-10-09T21:05:23Z","date_created":"2023-05-05T12:58:53Z","day":"03"},{"_id":"1294","type":"journal_article","language":[{"iso":"eng"}],"volume":84,"related_material":{"record":[{"status":"public","relation":"earlier_version","id":"2305"}]},"pubrep_id":"717","quality_controlled":"1","publication_status":"published","citation":{"ieee":"T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance for stability in Markov decision processes,” <i>Journal of Computer and System Sciences</i>, vol. 84. Elsevier, pp. 144–170, 2017.","mla":"Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” <i>Journal of Computer and System Sciences</i>, vol. 84, Elsevier, 2017, pp. 144–70, doi:<a href=\"https://doi.org/10.1016/j.jcss.2016.09.009\">10.1016/j.jcss.2016.09.009</a>.","ista":"Brázdil T, Chatterjee K, Forejt V, Kučera A. 2017. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 84, 144–170.","ama":"Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. <i>Journal of Computer and System Sciences</i>. 2017;84:144-170. doi:<a href=\"https://doi.org/10.1016/j.jcss.2016.09.009\">10.1016/j.jcss.2016.09.009</a>","chicago":"Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” <i>Journal of Computer and System Sciences</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.jcss.2016.09.009\">https://doi.org/10.1016/j.jcss.2016.09.009</a>.","short":"T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.","apa":"Brázdil, T., Chatterjee, K., Forejt, V., &#38; Kučera, A. (2017). Trading performance for stability in Markov decision processes. <i>Journal of Computer and System Sciences</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jcss.2016.09.009\">https://doi.org/10.1016/j.jcss.2016.09.009</a>"},"oa_version":"Published Version","oa":1,"date_published":"2017-03-01T00:00:00Z","publication":"Journal of Computer and System Sciences","author":[{"full_name":"Brázdil, Tomáš","first_name":"Tomáš","last_name":"Brázdil"},{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"first_name":"Vojtěch","full_name":"Forejt, Vojtěch","last_name":"Forejt"},{"first_name":"Antonín","full_name":"Kučera, Antonín","last_name":"Kučera"}],"abstract":[{"lang":"eng","text":"We study controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize the expected mean-payoff performance and stability (also known as variability in the literature). We argue that the basic notion of expressing the stability using the statistical variance of the mean payoff is sometimes insufficient, and propose an alternative definition. We show that a strategy ensuring both the expected mean payoff and the variance below given bounds requires randomization and memory, under both the above definitions. We then show that the problem of finding such a strategy can be expressed as a set of constraints."}],"publisher":"Elsevier","ddc":["004","006"],"ec_funded":1,"status":"public","isi":1,"project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF"},{"call_identifier":"FWF","name":"Game Theory","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","call_identifier":"FP7"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"intvolume":"        84","date_updated":"2025-09-29T14:16:56Z","date_created":"2018-12-11T11:51:12Z","day":"01","department":[{"_id":"KrCh"}],"title":"Trading performance for stability in Markov decision processes","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"article_processing_charge":"No","publist_id":"6009","external_id":{"isi":["000388430000011"]},"doi":"10.1016/j.jcss.2016.09.009","year":"2017","page":"144 - 170","file":[{"file_name":"IST-2016-717-v1+1_1-s2.0-S0022000016300897-main.pdf","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_id":"4885","date_updated":"2020-07-14T12:44:42Z","date_created":"2018-12-12T10:11:30Z","checksum":"91271b23cf884d7c06d33bef0cd623b1","creator":"system","file_size":708657}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"03","file_date_updated":"2020-07-14T12:44:42Z","has_accepted_license":"1","scopus_import":"1"},{"oa_version":"Preprint","publication_status":"published","citation":{"apa":"Kretinsky, J., Meggendorfer, T., Waldmann, C., &#38; Weininger, M. (2017). Index appearance record for transforming Rabin automata into parity automata. In <i>Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 10205, pp. 443–460). Uppsala, Sweden: Springer. <a href=\"https://doi.org/10.1007/978-3-662-54577-5_26\">https://doi.org/10.1007/978-3-662-54577-5_26</a>","ama":"Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record for transforming Rabin automata into parity automata. In: <i>Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 10205. Springer; 2017:443-460. doi:<a href=\"https://doi.org/10.1007/978-3-662-54577-5_26\">10.1007/978-3-662-54577-5_26</a>","chicago":"Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” In <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, 10205:443–60. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-662-54577-5_26\">https://doi.org/10.1007/978-3-662-54577-5_26</a>.","short":"J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.","ista":"Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2017. Index appearance record for transforming Rabin automata into parity automata. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 443–460.","mla":"Kretinsky, Jan, et al. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 10205, Springer, 2017, pp. 443–60, doi:<a href=\"https://doi.org/10.1007/978-3-662-54577-5_26\">10.1007/978-3-662-54577-5_26</a>.","ieee":"J. Kretinsky, T. Meggendorfer, C. Waldmann, and M. Weininger, “Index appearance record for transforming Rabin automata into parity automata,” in <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, Uppsala, Sweden, 2017, vol. 10205, pp. 443–460."},"quality_controlled":"1","acknowledgement":"This work is partially funded by the DFG project “Verified Model Checkers” and by the Czech Science Foundation, grant No. P202/12/G061.","abstract":[{"lang":"eng","text":"Transforming deterministic ω\r\n-automata into deterministic parity automata is traditionally done using variants of appearance records. We present a more efficient variant of this approach, tailored to Rabin automata, and several optimizations applicable to all appearance records. We compare the methods experimentally and find out that our method produces smaller automata than previous approaches. Moreover, the experiments demonstrate the potential of our method for LTL synthesis, using LTL-to-Rabin translators. It leads to significantly smaller parity automata when compared to state-of-the-art approaches on complex formulae."}],"author":[{"orcid":"0000-0002-8122-2881","last_name":"Kretinsky","full_name":"Kretinsky, Jan","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","first_name":"Jan"},{"id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","full_name":"Meggendorfer, Tobias","first_name":"Tobias","orcid":"0000-0002-1712-2165","last_name":"Meggendorfer"},{"last_name":"Waldmann","full_name":"Waldmann, Clara","first_name":"Clara"},{"full_name":"Weininger, Maximilian","first_name":"Maximilian","last_name":"Weininger"}],"publication":"Tools and Algorithms for the Construction and Analysis of Systems","alternative_title":["LNCS"],"oa":1,"date_published":"2017-03-31T00:00:00Z","publication_identifier":{"eisbn":["9783662545775"],"eissn":["1611-3349"],"issn":["0302-9743"],"isbn":["9783662545768"]},"volume":10205,"language":[{"iso":"eng"}],"type":"conference","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.1701.05738","open_access":"1"}],"_id":"13160","arxiv":1,"page":"443-460","year":"2017","doi":"10.1007/978-3-662-54577-5_26","external_id":{"isi":["000440734900026"],"arxiv":["1701.05738"]},"article_processing_charge":"No","department":[{"_id":"KrCh"}],"title":"Index appearance record for transforming Rabin automata into parity automata","month":"03","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","corr_author":"1","publisher":"Springer","day":"31","date_created":"2023-06-21T13:21:14Z","date_updated":"2025-09-18T10:42:48Z","conference":{"start_date":"2017-04-22","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","location":"Uppsala, Sweden","end_date":"2017-04-29"},"intvolume":"     10205","isi":1,"status":"public"},{"_id":"1336","volume":78,"publication_identifier":{"issn":["0178-4617"]},"issue":"2","language":[{"iso":"eng"}],"type":"journal_article","pubrep_id":"658","citation":{"mla":"Paixao, Tiago, et al. “Towards a Runtime Comparison of Natural and Artificial Evolution.” <i>Algorithmica</i>, vol. 78, no. 2, Springer, 2017, pp. 681–713, doi:<a href=\"https://doi.org/10.1007/s00453-016-0212-1\">10.1007/s00453-016-0212-1</a>.","ieee":"T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime comparison of natural and artificial evolution,” <i>Algorithmica</i>, vol. 78, no. 2. Springer, pp. 681–713, 2017.","ista":"Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. 2017. Towards a runtime comparison of natural and artificial evolution. Algorithmica. 78(2), 681–713.","chicago":"Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova. “Towards a Runtime Comparison of Natural and Artificial Evolution.” <i>Algorithmica</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s00453-016-0212-1\">https://doi.org/10.1007/s00453-016-0212-1</a>.","short":"T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.","ama":"Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. Towards a runtime comparison of natural and artificial evolution. <i>Algorithmica</i>. 2017;78(2):681-713. doi:<a href=\"https://doi.org/10.1007/s00453-016-0212-1\">10.1007/s00453-016-0212-1</a>","apa":"Paixao, T., Pérez Heredia, J., Sudholt, D., &#38; Trubenova, B. (2017). Towards a runtime comparison of natural and artificial evolution. <i>Algorithmica</i>. Springer. <a href=\"https://doi.org/10.1007/s00453-016-0212-1\">https://doi.org/10.1007/s00453-016-0212-1</a>"},"publication_status":"published","quality_controlled":"1","oa_version":"Published Version","publication":"Algorithmica","author":[{"last_name":"Paixao","orcid":"0000-0003-2361-3953","first_name":"Tiago","full_name":"Paixao, Tiago","id":"2C5658E6-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Pérez Heredia","full_name":"Pérez Heredia, Jorge","first_name":"Jorge"},{"last_name":"Sudholt","full_name":"Sudholt, Dirk","first_name":"Dirk"},{"orcid":"0000-0002-6873-2967","last_name":"Trubenova","full_name":"Trubenova, Barbora","id":"42302D54-F248-11E8-B48F-1D18A9856A87","first_name":"Barbora"}],"date_published":"2017-06-01T00:00:00Z","oa":1,"abstract":[{"lang":"eng","text":"Evolutionary algorithms (EAs) form a popular optimisation paradigm inspired by natural evolution. In recent years the field of evolutionary computation has developed a rigorous analytical theory to analyse the runtimes of EAs on many illustrative problems. Here we apply this theory to a simple model of natural evolution. In the Strong Selection Weak Mutation (SSWM) evolutionary regime the time between occurrences of new mutations is much longer than the time it takes for a mutated genotype to take over the population. In this situation, the population only contains copies of one genotype and evolution can be modelled as a stochastic process evolving one genotype by means of mutation and selection between the resident and the mutated genotype. The probability of accepting the mutated genotype then depends on the change in fitness. We study this process, SSWM, from an algorithmic perspective, quantifying its expected optimisation time for various parameters and investigating differences to a similar evolutionary algorithm, the well-known (1+1) EA. We show that SSWM can have a moderate advantage over the (1+1) EA at crossing fitness valleys and study an example where SSWM outperforms the (1+1) EA by taking advantage of information on the fitness gradient."}],"publisher":"Springer","ddc":["576"],"ec_funded":1,"project":[{"_id":"25B1EC9E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Speed of Adaptation in Population Genetics and Evolutionary Computation","grant_number":"618091"}],"intvolume":"        78","isi":1,"status":"public","day":"01","date_updated":"2026-04-16T09:55:33Z","date_created":"2018-12-11T11:51:27Z","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"article_processing_charge":"No","publist_id":"5931","department":[{"_id":"NiBa"},{"_id":"CaGu"}],"title":"Towards a runtime comparison of natural and artificial evolution","year":"2017","page":"681 - 713","external_id":{"isi":["000400379500013"]},"doi":"10.1007/s00453-016-0212-1","month":"06","file_date_updated":"2020-07-14T12:44:44Z","file":[{"checksum":"7873f665a0c598ac747c908f34cb14b9","creator":"system","file_size":710206,"content_type":"application/pdf","file_id":"4805","date_created":"2018-12-12T10:10:19Z","date_updated":"2020-07-14T12:44:44Z","access_level":"open_access","file_name":"IST-2016-658-v1+1_s00453-016-0212-1.pdf","relation":"main_file"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","has_accepted_license":"1","scopus_import":"1"},{"has_accepted_license":"1","scopus_import":"1","file":[{"relation":"main_file","file_name":"IST-2017-657-v1+2_s00440-016-0740-2.pdf","access_level":"open_access","content_type":"application/pdf","date_created":"2018-12-12T10:08:25Z","date_updated":"2020-07-14T12:44:44Z","file_id":"4686","creator":"system","checksum":"29f5a72c3f91e408aeb9e78344973803","file_size":988843}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","corr_author":"1","month":"12","file_date_updated":"2020-07-14T12:44:44Z","external_id":{"isi":["000414358400002"]},"doi":"10.1007/s00440-016-0740-2","year":"2017","page":"667 - 727","title":"Universality for general Wigner-type matrices","department":[{"_id":"LaEr"}],"article_processing_charge":"Yes (via OA deal)","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publist_id":"5930","date_created":"2018-12-11T11:51:27Z","date_updated":"2026-04-16T09:55:44Z","day":"01","isi":1,"status":"public","project":[{"call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"intvolume":"       169","ec_funded":1,"publisher":"Springer","ddc":["510","530"],"abstract":[{"text":"We consider the local eigenvalue distribution of large self-adjoint N×N random matrices H=H∗ with centered independent entries. In contrast to previous works the matrix of variances sij=\\mathbbmE|hij|2 is not assumed to be stochastic. Hence the density of states is not the Wigner semicircle law. Its possible shapes are described in the companion paper (Ajanki et al. in Quadratic Vector Equations on the Complex Upper Half Plane. arXiv:1506.05095). We show that as N grows, the resolvent, G(z)=(H−z)−1, converges to a diagonal matrix, diag(m(z)), where m(z)=(m1(z),…,mN(z)) solves the vector equation −1/mi(z)=z+∑jsijmj(z) that has been analyzed in Ajanki et al. (Quadratic Vector Equations on the Complex Upper Half Plane. arXiv:1506.05095). We prove a local law down to the smallest spectral resolution scale, and bulk universality for both real symmetric and complex hermitian symmetry classes.","lang":"eng"}],"oa":1,"date_published":"2017-12-01T00:00:00Z","publication":"Probability Theory and Related Fields","author":[{"first_name":"Oskari H","id":"36F2FB7E-F248-11E8-B48F-1D18A9856A87","full_name":"Ajanki, Oskari H","last_name":"Ajanki"},{"last_name":"Erdös","orcid":"0000-0001-5366-9603","first_name":"László","full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Krüger","orcid":"0000-0002-4821-3297","first_name":"Torben H","full_name":"Krüger, Torben H","id":"3020C786-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria).  ","quality_controlled":"1","citation":{"apa":"Ajanki, O. H., Erdös, L., &#38; Krüger, T. H. (2017). Universality for general Wigner-type matrices. <i>Probability Theory and Related Fields</i>. Springer. <a href=\"https://doi.org/10.1007/s00440-016-0740-2\">https://doi.org/10.1007/s00440-016-0740-2</a>","short":"O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.","ama":"Ajanki OH, Erdös L, Krüger TH. Universality for general Wigner-type matrices. <i>Probability Theory and Related Fields</i>. 2017;169(3-4):667-727. doi:<a href=\"https://doi.org/10.1007/s00440-016-0740-2\">10.1007/s00440-016-0740-2</a>","chicago":"Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for General Wigner-Type Matrices.” <i>Probability Theory and Related Fields</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s00440-016-0740-2\">https://doi.org/10.1007/s00440-016-0740-2</a>.","ista":"Ajanki OH, Erdös L, Krüger TH. 2017. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 169(3–4), 667–727.","mla":"Ajanki, Oskari H., et al. “Universality for General Wigner-Type Matrices.” <i>Probability Theory and Related Fields</i>, vol. 169, no. 3–4, Springer, 2017, pp. 667–727, doi:<a href=\"https://doi.org/10.1007/s00440-016-0740-2\">10.1007/s00440-016-0740-2</a>.","ieee":"O. H. Ajanki, L. Erdös, and T. H. Krüger, “Universality for general Wigner-type matrices,” <i>Probability Theory and Related Fields</i>, vol. 169, no. 3–4. Springer, pp. 667–727, 2017."},"publication_status":"published","pubrep_id":"657","language":[{"iso":"eng"}],"type":"journal_article","volume":169,"publication_identifier":{"issn":["0178-8051"]},"issue":"3-4","_id":"1337"},{"publisher":"Springer","ddc":["000"],"ec_funded":1,"project":[{"call_identifier":"FP7","grant_number":"267989","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"},{"grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"intvolume":"        50","status":"public","isi":1,"day":"01","date_created":"2018-12-11T11:51:27Z","date_updated":"2025-09-23T08:54:01Z","article_processing_charge":"No","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publist_id":"5929","department":[{"_id":"ToHe"}],"title":"From non-preemptive to preemptive scheduling using synchronization synthesis","year":"2017","page":"97 - 139","doi":"10.1007/s10703-016-0256-5","external_id":{"pmid":["28490835"],"isi":["000399888900001"]},"file_date_updated":"2020-07-14T12:44:44Z","month":"06","file":[{"creator":"system","checksum":"1163dfd997e8212c789525d4178b1653","file_size":1416170,"relation":"main_file","access_level":"open_access","file_name":"IST-2016-656-v1+1_s10703-016-0256-5.pdf","content_type":"application/pdf","date_updated":"2020-07-14T12:44:44Z","date_created":"2018-12-12T10:13:05Z","file_id":"4985"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","corr_author":"1","has_accepted_license":"1","scopus_import":"1","_id":"1338","volume":50,"issue":"2-3","type":"journal_article","language":[{"iso":"eng"}],"pmid":1,"related_material":{"record":[{"id":"1729","relation":"earlier_version","status":"public"}]},"pubrep_id":"656","citation":{"chicago":"Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” <i>Formal Methods in System Design</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s10703-016-0256-5\">https://doi.org/10.1007/s10703-016-0256-5</a>.","ama":"Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. <i>Formal Methods in System Design</i>. 2017;50(2-3):97-139. doi:<a href=\"https://doi.org/10.1007/s10703-016-0256-5\">10.1007/s10703-016-0256-5</a>","short":"P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.","apa":"Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., &#38; Tarrach, T. (2017). From non-preemptive to preemptive scheduling using synchronization synthesis. <i>Formal Methods in System Design</i>. Springer. <a href=\"https://doi.org/10.1007/s10703-016-0256-5\">https://doi.org/10.1007/s10703-016-0256-5</a>","mla":"Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” <i>Formal Methods in System Design</i>, vol. 50, no. 2–3, Springer, 2017, pp. 97–139, doi:<a href=\"https://doi.org/10.1007/s10703-016-0256-5\">10.1007/s10703-016-0256-5</a>.","ieee":"P. Cerny <i>et al.</i>, “From non-preemptive to preemptive scheduling using synchronization synthesis,” <i>Formal Methods in System Design</i>, vol. 50, no. 2–3. Springer, pp. 97–139, 2017.","ista":"Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. 2017. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 50(2–3), 97–139."},"publication_status":"published","quality_controlled":"1","oa_version":"Published Version","publication":"Formal Methods in System Design","author":[{"first_name":"Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","full_name":"Cerny, Pavol","last_name":"Cerny"},{"full_name":"Clarke, Edmund","first_name":"Edmund","last_name":"Clarke"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"last_name":"Radhakrishna","first_name":"Arjun","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","full_name":"Radhakrishna, Arjun"},{"last_name":"Ryzhyk","first_name":"Leonid","full_name":"Ryzhyk, Leonid"},{"id":"3D2AAC08-F248-11E8-B48F-1D18A9856A87","full_name":"Samanta, Roopsha","first_name":"Roopsha","last_name":"Samanta"},{"first_name":"Thorsten","id":"3D6E8F2C-F248-11E8-B48F-1D18A9856A87","full_name":"Tarrach, Thorsten","last_name":"Tarrach","orcid":"0000-0003-4409-8487"}],"date_published":"2017-06-01T00:00:00Z","oa":1,"abstract":[{"lang":"eng","text":"We present a computer-aided programming approach to concurrency. The approach allows programmers to program assuming a friendly, non-preemptive scheduler, and our synthesis procedure inserts synchronization to ensure that the final program works even with a preemptive scheduler. The correctness specification is implicit, inferred from the non-preemptive behavior. Let us consider sequences of calls that the program makes to an external interface. The specification requires that any such sequence produced under a preemptive scheduler should be included in the set of sequences produced under a non-preemptive scheduler. We guarantee that our synthesis does not introduce deadlocks and that the synchronization inserted is optimal w.r.t. a given objective function. The solution is based on a finitary abstraction, an algorithm for bounded language inclusion modulo an independence relation, and generation of a set of global constraints over synchronization placements. Each model of the global constraints set corresponds to a correctness-ensuring synchronization placement. The placement that is optimal w.r.t. the given objective function is chosen as the synchronization solution. We apply the approach to device-driver programming, where the driver threads call the software interface of the device and the API provided by the operating system. Our experiments demonstrate that our synthesis method is precise and efficient. The implicit specification helped us find one concurrency bug previously missed when model-checking using an explicit, user-provided specification. We implemented objective functions for coarse-grained and fine-grained locking and observed that different synchronization placements are produced for our experiments, favoring a minimal number of synchronization operations or maximum concurrency, respectively."}]},{"type":"journal_article","language":[{"iso":"eng"}],"pmid":1,"volume":139,"extern":"1","publication_identifier":{"issn":["0002-7863"],"eissn":["1520-5126"]},"issue":"49","_id":"13380","keyword":["Colloid and Surface Chemistry","Biochemistry","General Chemistry","Catalysis"],"oa_version":"None","quality_controlled":"1","citation":{"chicago":"Sawczyk, Michał, and Rafal Klajn. “Out-of-Equilibrium Aggregates and Coatings during Seeded Growth of Metallic Nanoparticles.” <i>Journal of the American Chemical Society</i>. American Chemical Society, 2017. <a href=\"https://doi.org/10.1021/jacs.7b09111\">https://doi.org/10.1021/jacs.7b09111</a>.","ama":"Sawczyk M, Klajn R. Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles. <i>Journal of the American Chemical Society</i>. 2017;139(49):17973-17978. doi:<a href=\"https://doi.org/10.1021/jacs.7b09111\">10.1021/jacs.7b09111</a>","short":"M. Sawczyk, R. Klajn, Journal of the American Chemical Society 139 (2017) 17973–17978.","apa":"Sawczyk, M., &#38; Klajn, R. (2017). Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles. <i>Journal of the American Chemical Society</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/jacs.7b09111\">https://doi.org/10.1021/jacs.7b09111</a>","ieee":"M. Sawczyk and R. Klajn, “Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles,” <i>Journal of the American Chemical Society</i>, vol. 139, no. 49. American Chemical Society, pp. 17973–17978, 2017.","mla":"Sawczyk, Michał, and Rafal Klajn. “Out-of-Equilibrium Aggregates and Coatings during Seeded Growth of Metallic Nanoparticles.” <i>Journal of the American Chemical Society</i>, vol. 139, no. 49, American Chemical Society, 2017, pp. 17973–78, doi:<a href=\"https://doi.org/10.1021/jacs.7b09111\">10.1021/jacs.7b09111</a>.","ista":"Sawczyk M, Klajn R. 2017. Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles. Journal of the American Chemical Society. 139(49), 17973–17978."},"publication_status":"published","abstract":[{"lang":"eng","text":"Although dissipative self-assembly is ubiquitous in nature, where it gives rise to structures and functions critical to life, examples of artificial systems featuring this mode of self-assembly are rare. Here, we identify the presence of ephemeral assemblies during seeded growth of gold nanoparticles. In this process, hydrazine reduces Au(III) ions, which attach to the existing nanoparticles “seeds”. The attachment is accompanied by a local increase in the concentration of a surfactant, which therefore forms a bilayer on nanoparticle surfaces, inducing their assembly. The resulting aggregates gradually disassemble as the surfactant concentration throughout the solution equilibrates. The lifetimes of the out-of-equilibrium aggregates depend on and can be controlled by the size of the constituent nanoparticles. We demonstrate the utility of our out-of-equilibrium aggregates to form transient reflective coatings on polar surfaces."}],"date_published":"2017-12-01T00:00:00Z","publication":"Journal of the American Chemical Society","author":[{"last_name":"Sawczyk","full_name":"Sawczyk, Michał","first_name":"Michał"},{"last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal","first_name":"Rafal"}],"publisher":"American Chemical Society","date_created":"2023-08-01T09:41:01Z","date_updated":"2024-10-14T12:15:25Z","day":"01","status":"public","intvolume":"       139","doi":"10.1021/jacs.7b09111","external_id":{"pmid":["29193964"]},"year":"2017","page":"17973-17978","title":"Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles","article_type":"original","article_processing_charge":"No","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12"}]