[{"publication":"Journal of Mathematical Physics, Analysis, Geometry","date_published":"2012-01-01T00:00:00Z","status":"public","abstract":[{"lang":"eng","text":"First we note that the best polynomial approximation to vertical bar x vertical bar on the set, which consists of an interval on the positive half-axis and a point on the negative half-axis, can be given by means of the classical Chebyshev polynomials. Then we explore the cases when a solution of the related problem on two intervals can be given in elementary functions."}],"intvolume":" 8","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Published Version","date_created":"2019-06-27T08:16:56Z","scopus_import":"1","main_file_link":[{"open_access":"1","url":"http://mi.mathnet.ru/eng/jmag525"}],"type":"journal_article","volume":8,"quality_controlled":"1","department":[{"_id":"HeEd"}],"publisher":"B. Verkin Institute for Low Temperature Physics and Engineering","publication_status":"published","issue":"1","page":"63-78","language":[{"iso":"eng"}],"_id":"6588","acknowledgement":"This work is supported by the Austrian Science Fund (FWF), Project P22025-N18.\r\n","author":[{"full_name":"Pausinger, Florian","orcid":"0000-0002-8379-3768","first_name":"Florian","last_name":"Pausinger","id":"2A77D7A2-F248-11E8-B48F-1D18A9856A87"}],"month":"01","citation":{"apa":"Pausinger, F. (2012). Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. B. Verkin Institute for Low Temperature Physics and Engineering.","ista":"Pausinger F. 2012. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 8(1), 63–78.","ama":"Pausinger F. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 2012;8(1):63-78.","short":"F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.","mla":"Pausinger, Florian. “Elementary Solutions of the Bernstein Problem on Two Intervals.” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1, B. Verkin Institute for Low Temperature Physics and Engineering, 2012, pp. 63–78.","ieee":"F. Pausinger, “Elementary solutions of the Bernstein problem on two intervals,” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1. B. Verkin Institute for Low Temperature Physics and Engineering, pp. 63–78, 2012.","chicago":"Pausinger, Florian. “Elementary Solutions of the Bernstein Problem on Two Intervals.” Journal of Mathematical Physics, Analysis, Geometry. B. Verkin Institute for Low Temperature Physics and Engineering, 2012."},"article_type":"original","year":"2012","oa":1,"article_processing_charge":"No","external_id":{"isi":["000301173600004"]},"isi":1,"title":"Elementary solutions of the Bernstein problem on two intervals","date_updated":"2023-10-16T09:41:31Z","day":"01","publication_identifier":{"issn":["1812-9471"]}},{"publication":"2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)","date_published":"2012-07-31T00:00:00Z","status":"public","page":"2905-2908","abstract":[{"text":"This paper proposes a novel cooperative approach for two-hop amplify-and-forward (A&F) relaying that exploits both the signal forwarded by the relay and the one directly transmitted by the source in impulse-radio ultra-wideband (IR-UWB) systems. Specifically, we focus on a non-coherent setup employing a double-differential encoding scheme at the source node and a single differential demodulation at the relay and destination. The log-likelihood ratio based decision rule is derived at the destination node. A semi-analytical power allocation strategy is presented by evaluating a closed-form expression for the effective signal to noise ratio (SNR) at the destination, which is maximized by exhaustive search. Numerical simulations show that the proposed system outperforms both the direct transmission with single differential encoding and the non-cooperative multi-hop approach in different scenarios.","lang":"eng"}],"_id":"6746","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"None","author":[{"orcid":"0000-0002-3242-7020","full_name":"Mondelli, Marco","id":"27EB676C-8706-11E9-9510-7717E6697425","first_name":"Marco","last_name":"Mondelli"},{"full_name":"Zhou, Qi","first_name":"Qi","last_name":"Zhou"},{"full_name":"Ma, Xiaoli","last_name":"Ma","first_name":"Xiaoli"},{"last_name":"Lottici","first_name":"Vincenzo","full_name":"Lottici, Vincenzo"}],"month":"07","date_created":"2019-07-31T09:14:48Z","citation":{"ama":"Mondelli M, Zhou Q, Ma X, Lottici V. A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems. In: 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE; 2012:2905-2908. doi:10.1109/icassp.2012.6288524","apa":"Mondelli, M., Zhou, Q., Ma, X., & Lottici, V. (2012). A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems. In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (pp. 2905–2908). Kyoto, Japan: IEEE. https://doi.org/10.1109/icassp.2012.6288524","ista":"Mondelli M, Zhou Q, Ma X, Lottici V. 2012. A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems. 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). ICASSP: International Conference on Acoustics, Speech and Signal Processing, 2905–2908.","ieee":"M. Mondelli, Q. Zhou, X. Ma, and V. Lottici, “A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems,” in 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Kyoto, Japan, 2012, pp. 2905–2908.","chicago":"Mondelli, Marco, Qi Zhou, Xiaoli Ma, and Vincenzo Lottici. “A Cooperative Approach for Amplify-and-Forward Differential Transmitted Reference IR-UWB Relay Systems.” In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2905–8. IEEE, 2012. https://doi.org/10.1109/icassp.2012.6288524.","mla":"Mondelli, Marco, et al. “A Cooperative Approach for Amplify-and-Forward Differential Transmitted Reference IR-UWB Relay Systems.” 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2012, pp. 2905–08, doi:10.1109/icassp.2012.6288524.","short":"M. Mondelli, Q. Zhou, X. Ma, V. Lottici, in:, 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2012, pp. 2905–2908."},"extern":"1","year":"2012","conference":{"name":"ICASSP: International Conference on Acoustics, Speech and Signal Processing","location":"Kyoto, Japan","end_date":"2012-03-30","start_date":"2012-03-25"},"type":"conference","quality_controlled":"1","doi":"10.1109/icassp.2012.6288524","title":"A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems","date_updated":"2021-01-12T08:08:49Z","publisher":"IEEE","day":"31","publication_identifier":{"issn":["1520-6149"]},"publication_status":"published"},{"publication_status":"published","publisher":"American Physical Society","quality_controlled":"1","pmid":1,"type":"journal_article","volume":109,"main_file_link":[{"url":"https://arxiv.org/abs/1206.3528","open_access":"1"}],"scopus_import":"1","extern":"1","date_created":"2021-11-29T14:08:00Z","oa_version":"Preprint","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":" 109","abstract":[{"text":"We report numerical simulations of membrane tubulation driven by large colloidal particles. Using Monte Carlo simulations we study how the process depends on particle size and binding strength, and present accurate free energy calculations to sort out how tube formation compares with the competing budding process. We find that tube formation is a result of the collective behavior of the particles adhering on the surface, and it occurs for binding strengths that are smaller than those required for budding. We also find that long linear aggregates of particles forming on the membrane surface act as nucleation seeds for tubulation by lowering the free energy barrier associated to the process.","lang":"eng"}],"publication":"Physical Review Letters","status":"public","date_published":"2012-10-31T00:00:00Z","day":"31","publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"date_updated":"2021-11-29T14:29:25Z","doi":"10.1103/physrevlett.109.188101","title":"Mechanism of membrane tube formation induced by adhesive nanocomponents","external_id":{"arxiv":["1206.3528"],"pmid":["23215334"]},"article_processing_charge":"No","oa":1,"year":"2012","article_type":"original","keyword":["general physics and astronomy"],"arxiv":1,"citation":{"ieee":"A. Šarić and A. Cacciuto, “Mechanism of membrane tube formation induced by adhesive nanocomponents,” Physical Review Letters, vol. 109, no. 18. American Physical Society, 2012.","chicago":"Šarić, Anđela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced by Adhesive Nanocomponents.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/physrevlett.109.188101.","mla":"Šarić, Anđela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced by Adhesive Nanocomponents.” Physical Review Letters, vol. 109, no. 18, 188101, American Physical Society, 2012, doi:10.1103/physrevlett.109.188101.","short":"A. Šarić, A. Cacciuto, Physical Review Letters 109 (2012).","ama":"Šarić A, Cacciuto A. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 2012;109(18). doi:10.1103/physrevlett.109.188101","apa":"Šarić, A., & Cacciuto, A. (2012). Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.109.188101","ista":"Šarić A, Cacciuto A. 2012. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 109(18), 188101."},"author":[{"id":"bf63d406-f056-11eb-b41d-f263a6566d8b","first_name":"Anđela","last_name":"Šarić","full_name":"Šarić, Anđela","orcid":"0000-0002-7854-2139"},{"full_name":"Cacciuto, Angelo","first_name":"Angelo","last_name":"Cacciuto"}],"month":"10","article_number":"188101","_id":"10387","language":[{"iso":"eng"}],"issue":"18"},{"article_type":"original","citation":{"apa":"Šarić, A., & Cacciuto, A. (2012). Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.108.118101","ista":"Šarić A, Cacciuto A. 2012. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 108(11), 118101.","ama":"Šarić A, Cacciuto A. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 2012;108(11). doi:10.1103/physrevlett.108.118101","mla":"Šarić, Anđela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation of Adsorbed Spherical Nanoparticles.” Physical Review Letters, vol. 108, no. 11, 118101, American Physical Society, 2012, doi:10.1103/physrevlett.108.118101.","short":"A. Šarić, A. Cacciuto, Physical Review Letters 108 (2012).","ieee":"A. Šarić and A. Cacciuto, “Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles,” Physical Review Letters, vol. 108, no. 11. American Physical Society, 2012.","chicago":"Šarić, Anđela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation of Adsorbed Spherical Nanoparticles.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/physrevlett.108.118101."},"keyword":["general physics and astronomy"],"arxiv":1,"author":[{"orcid":"0000-0002-7854-2139","full_name":"Šarić, Anđela","id":"bf63d406-f056-11eb-b41d-f263a6566d8b","first_name":"Anđela","last_name":"Šarić"},{"last_name":"Cacciuto","first_name":"Angelo","full_name":"Cacciuto, Angelo"}],"month":"03","article_number":"118101","language":[{"iso":"eng"}],"_id":"10388","acknowledgement":"This work was supported by the National Science Foundation under Career Grant No. DMR-0846426.\r\n","issue":"11","day":"14","publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"date_updated":"2021-11-29T15:12:13Z","doi":"10.1103/physrevlett.108.118101","title":"Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles","external_id":{"pmid":["22540513"],"arxiv":["1201.0036"]},"article_processing_charge":"No","oa":1,"year":"2012","extern":"1","scopus_import":"1","date_created":"2021-11-29T14:30:05Z","oa_version":"Preprint","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":" 108","abstract":[{"text":"Using computer simulations, we show that lipid membranes can mediate linear aggregation of spherical nanoparticles binding to it for a wide range of biologically relevant bending rigidities. This result is in net contrast with the isotropic aggregation of nanoparticles on fluid interfaces or the expected clustering of isotropic insertions in biological membranes. We present a phase diagram indicating where linear aggregation is expected and compute explicitly the free-energy barriers associated with linear and isotropic aggregation. Finally, we provide simple scaling arguments to explain this phenomenology.","lang":"eng"}],"publication":"Physical Review Letters","status":"public","date_published":"2012-03-14T00:00:00Z","publication_status":"published","publisher":"American Physical Society","quality_controlled":"1","pmid":1,"type":"journal_article","volume":108,"main_file_link":[{"url":"https://arxiv.org/abs/1201.0036","open_access":"1"}]},{"day":"01","publication_status":"published","date_updated":"2021-01-12T06:47:57Z","publisher":"Elsevier","doi":"10.1016/S0140-6736(12)60690-4","title":"Bulla in the lung","type":"journal_article","volume":380,"article_processing_charge":"No","year":"2012","extern":"1","date_created":"2018-12-11T11:49:54Z","citation":{"short":"B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).","mla":"Erne, Barbara, et al. “Bulla in the Lung.” The Lancet, vol. 380, no. 9849, Elsevier, 2012, doi:10.1016/S0140-6736(12)60690-4.","chicago":"Erne, Barbara, Mareike Graff, Wolfram Klemm, Johann G Danzl, and Gunda Leschber. “Bulla in the Lung.” The Lancet. Elsevier, 2012. https://doi.org/10.1016/S0140-6736(12)60690-4.","ieee":"B. Erne, M. Graff, W. Klemm, J. G. Danzl, and G. Leschber, “Bulla in the lung,” The Lancet, vol. 380, no. 9849. Elsevier, 2012.","ista":"Erne B, Graff M, Klemm W, Danzl JG, Leschber G. 2012. Bulla in the lung. The Lancet. 380(9849).","apa":"Erne, B., Graff, M., Klemm, W., Danzl, J. G., & Leschber, G. (2012). Bulla in the lung. The Lancet. Elsevier. https://doi.org/10.1016/S0140-6736(12)60690-4","ama":"Erne B, Graff M, Klemm W, Danzl JG, Leschber G. Bulla in the lung. The Lancet. 2012;380(9849). doi:10.1016/S0140-6736(12)60690-4"},"oa_version":"None","author":[{"last_name":"Erne","first_name":"Barbara","full_name":"Erne, Barbara"},{"first_name":"Mareike","last_name":"Graff","full_name":"Graff, Mareike"},{"full_name":"Klemm, Wolfram","first_name":"Wolfram","last_name":"Klemm"},{"id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","first_name":"Johann G","last_name":"Danzl","full_name":"Danzl, Johann G","orcid":"0000-0001-8559-3973"},{"last_name":"Leschber","first_name":"Gunda","full_name":"Leschber, Gunda"}],"month":"10","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"_id":"1055","intvolume":" 380","acknowledgement":"We thank the interdisciplinary team at the ELK Berlin Chest Hospital.","abstract":[{"text":"In July, 2011, a 32-year-old man presented with thoracic pain radiating to the left arm and upper dorsum, shortness of breath, and palpitations. He had had upper back tension for 6 months. Medical history was unremarkable apart from moderate nicotine use (two pack-years). Echocardiography, electrocardiography, and laboratory tests were unremarkable, excluding a cardiac event. CT of the chest after chest radiography showed a large bulla of 16 cm diameter in the right hemithorax (figure A). We did not detect radiological evidence of underlying pulmonary disease. The bulla wall was unremarkable and no structures were seen within the bulla.","lang":"eng"}],"issue":"9849","publication":"The Lancet","publist_id":"6333","date_published":"2012-10-01T00:00:00Z","status":"public"},{"external_id":{"arxiv":["1201.1008"]},"doi":"10.1103/PhysRevLett.108.215302","title":"Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions","date_updated":"2021-01-12T06:47:58Z","day":"25","year":"2012","article_processing_charge":"No","oa":1,"author":[{"full_name":"Mark, Manfred","last_name":"Mark","first_name":"Manfred"},{"full_name":"Haller, Elmar","last_name":"Haller","first_name":"Elmar"},{"first_name":"Katharina","last_name":"Lauber","full_name":"Lauber, Katharina"},{"id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","last_name":"Danzl","first_name":"Johann G","orcid":"0000-0001-8559-3973","full_name":"Danzl, Johann G"},{"full_name":"Janisch, Alexander","first_name":"Alexander","last_name":"Janisch"},{"full_name":"Büchler, Hans","last_name":"Büchler","first_name":"Hans"},{"first_name":"Andrew","last_name":"Daley","full_name":"Daley, Andrew"},{"first_name":"Hanns","last_name":"Nägerl","full_name":"Nägerl, Hanns"}],"month":"05","citation":{"ama":"Mark M, Haller E, Lauber K, et al. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 2012;108(21). doi:10.1103/PhysRevLett.108.215302","apa":"Mark, M., Haller, E., Lauber, K., Danzl, J. G., Janisch, A., Büchler, H., … Nägerl, H. (2012). Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.108.215302","ista":"Mark M, Haller E, Lauber K, Danzl JG, Janisch A, Büchler H, Daley A, Nägerl H. 2012. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 108(21).","ieee":"M. Mark et al., “Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions,” Physical Review Letters, vol. 108, no. 21. American Physical Society, 2012.","chicago":"Mark, Manfred, Elmar Haller, Katharina Lauber, Johann G Danzl, Alexander Janisch, Hans Büchler, Andrew Daley, and Hanns Nägerl. “Preparation and Spectroscopy of a Metastable Mott-Insulator State with Attractive Interactions.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.108.215302.","mla":"Mark, Manfred, et al. “Preparation and Spectroscopy of a Metastable Mott-Insulator State with Attractive Interactions.” Physical Review Letters, vol. 108, no. 21, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.215302.","short":"M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Janisch, H. Büchler, A. Daley, H. Nägerl, Physical Review Letters 108 (2012)."},"arxiv":1,"issue":"21","language":[{"iso":"eng"}],"_id":"1056","acknowledgement":"We are indebted to R. Grimm for generous support. We thank J. von Stecher, P. Johnson, and E. Tiesinga for fruitful discussions. We gratefully acknowledge funding by the Austrian Science Fund (FWF) within Project No. I153-N16 and within the framework of the European Science Foundation (ESF) EuroQUASAR collective research project QuDeGPM, and by the European Research Council (ERC) under Project No. 278417.","publisher":"American Physical Society","publication_status":"published","main_file_link":[{"url":"https://arxiv.org/abs/1201.1008","open_access":"1"}],"type":"journal_article","volume":108,"oa_version":"Preprint","date_created":"2018-12-11T11:49:55Z","extern":"1","publication":"Physical Review Letters","publist_id":"6334","status":"public","date_published":"2012-05-25T00:00:00Z","abstract":[{"text":"We prepare and study a metastable attractive Mott-insulator state formed with bosonic atoms in a three-dimensional optical lattice. Starting from a Mott insulator with Cs atoms at weak repulsive interactions, we use a magnetic Feshbach resonance to tune the interactions to large attractive values and produce a metastable state pinned by attractive interactions with a lifetime on the order of 10 s. We probe the (de)excitation spectrum via lattice modulation spectroscopy, measuring the interaction dependence of two- and three-body bound-state energies. As a result of increased on-site three-body loss we observe resonance broadening and suppression of tunneling processes that produce three-body occupation.","lang":"eng"}],"intvolume":" 108","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":" 57","abstract":[{"text":"The goal of this work is to study the superconducting coherence length in the fluctuation regime in cuprate superconductors. In this work we present cantilever torque magnetometry measurements of micron-size BSCCO flakes patterned with arrays of nanometer scale rings or holes. Using ultrasensitive dynamic torque magnetometry, oscillations in magnetization are observed near Tc as a function of the applied magnetic flux threading the array. Special effort was made to detect the oscillations in magnetization at temperatures above Tc, where the Nernst effect and magnetization measurements suggest the possibility of pairing. To constrain the magnitude of the coherence length in the fluctuation regime, we will present the dependence of the amplitude of the h/2e period oscillations as a function of temperature and hole size.","lang":"eng"}],"publication":"APS March Meeting 2012","status":"public","date_published":"2012-02-01T00:00:00Z","extern":"1","alternative_title":["Bulletin of the American Physical Society"],"date_created":"2022-02-08T10:39:08Z","oa_version":"Published Version","type":"conference","volume":57,"main_file_link":[{"url":"https://meetings.aps.org/Meeting/MAR12/Event/167014","open_access":"1"}],"publication_status":"published","publisher":"American Physical Society","quality_controlled":"1","language":[{"iso":"eng"}],"_id":"10750","acknowledgement":"This work was supported by the Center for Emergent Superconductivity, an Energy Frontier Research Center funded by the U.S. DOE, Office of Science, under Award No. DE-AC0298CH1088.","issue":"1","citation":{"apa":"Polshyn, H., & Budakian, R. (2012). Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. In APS March Meeting 2012 (Vol. 57). Boston, MA, United States: American Physical Society.","ista":"Polshyn H, Budakian R. 2012. Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. APS March Meeting 2012. APS: American Physical Society, Bulletin of the American Physical Society, vol. 57, X21.00008.","ama":"Polshyn H, Budakian R. Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. In: APS March Meeting 2012. Vol 57. American Physical Society; 2012.","short":"H. Polshyn, R. Budakian, in:, APS March Meeting 2012, American Physical Society, 2012.","mla":"Polshyn, Hryhoriy, and Raffi Budakian. “Cantilever Torque Magnetometry Study of Multiply Connected BSCCO Arrays near Tc.” APS March Meeting 2012, vol. 57, no. 1, X21.00008, American Physical Society, 2012.","ieee":"H. Polshyn and R. Budakian, “Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc,” in APS March Meeting 2012, Boston, MA, United States, 2012, vol. 57, no. 1.","chicago":"Polshyn, Hryhoriy, and Raffi Budakian. “Cantilever Torque Magnetometry Study of Multiply Connected BSCCO Arrays near Tc.” In APS March Meeting 2012, Vol. 57. American Physical Society, 2012."},"author":[{"full_name":"Polshyn, Hryhoriy","orcid":"0000-0001-8223-8896","id":"edfc7cb1-526e-11ec-b05a-e6ecc27e4e48","first_name":"Hryhoriy","last_name":"Polshyn"},{"first_name":"Raffi","last_name":"Budakian","full_name":"Budakian, Raffi"}],"article_number":"X21.00008","month":"02","oa":1,"article_processing_charge":"No","conference":{"location":"Boston, MA, United States","name":"APS: American Physical Society","start_date":"2012-02-27","end_date":"2012-03-02"},"year":"2012","day":"01","publication_identifier":{"issn":["0003-0503"]},"date_updated":"2022-02-08T10:48:01Z","title":"Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc"},{"type":"journal_article","volume":337,"main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4034762/","open_access":"1"}],"publication_status":"published","publisher":"American Association for the Advancement of Science","department":[{"_id":"DaZi"}],"quality_controlled":"1","pmid":1,"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":" 337","abstract":[{"text":"The Arabidopsis thaliana central cell, the companion cell of the egg, undergoes DNA demethylation before fertilization, but the targeting preferences, mechanism, and biological significance of this process remain unclear. Here, we show that active DNA demethylation mediated by the DEMETER DNA glycosylase accounts for all of the demethylation in the central cell and preferentially targets small, AT-rich, and nucleosome-depleted euchromatic transposable elements. The vegetative cell, the companion cell of sperm, also undergoes DEMETER-dependent demethylation of similar sequences, and lack of DEMETER in vegetative cells causes reduced small RNA–directed DNA methylation of transposons in sperm. Our results demonstrate that demethylation in companion cells reinforces transposon methylation in plant gametes and likely contributes to stable silencing of transposable elements across generations.","lang":"eng"}],"publication":"Science","status":"public","date_published":"2012-09-14T00:00:00Z","extern":"1","scopus_import":"1","date_created":"2021-06-04T07:51:31Z","oa_version":"Published Version","oa":1,"article_processing_charge":"No","has_accepted_license":"1","year":"2012","day":"14","publication_identifier":{"issn":["0036-8075"],"eissn":["1095-9203"]},"date_updated":"2021-12-14T08:28:51Z","doi":"10.1126/science.1224839","title":"Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes","external_id":{"pmid":["22984074"]},"language":[{"iso":"eng"}],"_id":"9451","page":"1360-1364","issue":"6100","article_type":"original","ddc":["580"],"citation":{"ama":"Ibarra CA, Feng X, Schoft VK, et al. Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. 2012;337(6100):1360-1364. doi:10.1126/science.1224839","ista":"Ibarra CA, Feng X, Schoft VK, Hsieh T-F, Uzawa R, Rodrigues JA, Zemach A, Chumak N, Machlicova A, Nishimura T, Rojas D, Fischer RL, Tamaru H, Zilberman D. 2012. Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. 337(6100), 1360–1364.","apa":"Ibarra, C. A., Feng, X., Schoft, V. K., Hsieh, T.-F., Uzawa, R., Rodrigues, J. A., … Zilberman, D. (2012). Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1224839","chicago":"Ibarra, Christian A., Xiaoqi Feng, Vera K. Schoft, Tzung-Fu Hsieh, Rie Uzawa, Jessica A. Rodrigues, Assaf Zemach, et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.” Science. American Association for the Advancement of Science, 2012. https://doi.org/10.1126/science.1224839.","ieee":"C. A. Ibarra et al., “Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes,” Science, vol. 337, no. 6100. American Association for the Advancement of Science, pp. 1360–1364, 2012.","mla":"Ibarra, Christian A., et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.” Science, vol. 337, no. 6100, American Association for the Advancement of Science, 2012, pp. 1360–64, doi:10.1126/science.1224839.","short":"C.A. Ibarra, X. Feng, V.K. Schoft, T.-F. Hsieh, R. Uzawa, J.A. Rodrigues, A. Zemach, N. Chumak, A. Machlicova, T. Nishimura, D. Rojas, R.L. Fischer, H. Tamaru, D. Zilberman, Science 337 (2012) 1360–1364."},"author":[{"full_name":"Ibarra, Christian A.","first_name":"Christian A.","last_name":"Ibarra"},{"full_name":"Feng, Xiaoqi","first_name":"Xiaoqi","last_name":"Feng"},{"full_name":"Schoft, Vera K.","first_name":"Vera K.","last_name":"Schoft"},{"full_name":"Hsieh, Tzung-Fu","first_name":"Tzung-Fu","last_name":"Hsieh"},{"full_name":"Uzawa, Rie","first_name":"Rie","last_name":"Uzawa"},{"full_name":"Rodrigues, Jessica A.","last_name":"Rodrigues","first_name":"Jessica A."},{"full_name":"Zemach, Assaf","last_name":"Zemach","first_name":"Assaf"},{"first_name":"Nina","last_name":"Chumak","full_name":"Chumak, Nina"},{"full_name":"Machlicova, Adriana","first_name":"Adriana","last_name":"Machlicova"},{"first_name":"Toshiro","last_name":"Nishimura","full_name":"Nishimura, Toshiro"},{"first_name":"Denisse","last_name":"Rojas","full_name":"Rojas, Denisse"},{"first_name":"Robert L.","last_name":"Fischer","full_name":"Fischer, Robert L."},{"full_name":"Tamaru, Hisashi","first_name":"Hisashi","last_name":"Tamaru"},{"first_name":"Daniel","last_name":"Zilberman","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","full_name":"Zilberman, Daniel","orcid":"0000-0002-0123-8649"}],"month":"09"},{"language":[{"iso":"eng"}],"_id":"9497","issue":"10","citation":{"mla":"Coleman-Derr, Devin, and Daniel Zilberman. “Deposition of Histone Variant H2A.Z within Gene Bodies Regulates Responsive Genes.” PLoS Genetics, vol. 8, no. 10, e1002988, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002988.","short":"D. Coleman-Derr, D. Zilberman, PLoS Genetics 8 (2012).","ieee":"D. Coleman-Derr and D. Zilberman, “Deposition of histone variant H2A.Z within gene bodies regulates responsive genes,” PLoS Genetics, vol. 8, no. 10. Public Library of Science, 2012.","chicago":"Coleman-Derr, Devin, and Daniel Zilberman. “Deposition of Histone Variant H2A.Z within Gene Bodies Regulates Responsive Genes.” PLoS Genetics. Public Library of Science, 2012. https://doi.org/10.1371/journal.pgen.1002988.","apa":"Coleman-Derr, D., & Zilberman, D. (2012). Deposition of histone variant H2A.Z within gene bodies regulates responsive genes. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1002988","ista":"Coleman-Derr D, Zilberman D. 2012. Deposition of histone variant H2A.Z within gene bodies regulates responsive genes. PLoS Genetics. 8(10), e1002988.","ama":"Coleman-Derr D, Zilberman D. Deposition of histone variant H2A.Z within gene bodies regulates responsive genes. PLoS Genetics. 2012;8(10). doi:10.1371/journal.pgen.1002988"},"article_type":"original","author":[{"full_name":"Coleman-Derr, Devin","first_name":"Devin","last_name":"Coleman-Derr"},{"orcid":"0000-0002-0123-8649","full_name":"Zilberman, Daniel","first_name":"Daniel","last_name":"Zilberman","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1"}],"month":"10","article_number":"e1002988","article_processing_charge":"No","oa":1,"year":"2012","date_updated":"2021-12-14T08:29:57Z","day":"11","publication_identifier":{"eissn":["1553-7404"],"issn":["1553-7390"]},"external_id":{"pmid":["23071449"]},"doi":"10.1371/journal.pgen.1002988","title":"Deposition of histone variant H2A.Z within gene bodies regulates responsive genes","intvolume":" 8","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication":"PLoS Genetics","date_published":"2012-10-11T00:00:00Z","status":"public","abstract":[{"text":"The regulation of eukaryotic chromatin relies on interactions between many epigenetic factors, including histone modifications, DNA methylation, and the incorporation of histone variants. H2A.Z, one of the most conserved but enigmatic histone variants that is enriched at the transcriptional start sites of genes, has been implicated in a variety of chromosomal processes. Recently, we reported a genome-wide anticorrelation between H2A.Z and DNA methylation, an epigenetic hallmark of heterochromatin that has also been found in the bodies of active genes in plants and animals. Here, we investigate the basis of this anticorrelation using a novel h2a.z loss-of-function line in Arabidopsis thaliana. Through genome-wide bisulfite sequencing, we demonstrate that loss of H2A.Z in Arabidopsis has only a minor effect on the level or profile of DNA methylation in genes, and we propose that the global anticorrelation between DNA methylation and H2A.Z is primarily caused by the exclusion of H2A.Z from methylated DNA. RNA sequencing and genomic mapping of H2A.Z show that H2A.Z enrichment across gene bodies, rather than at the TSS, is correlated with lower transcription levels and higher measures of gene responsiveness. Loss of H2A.Z causes misregulation of many genes that are disproportionately associated with response to environmental and developmental stimuli. We propose that H2A.Z deposition in gene bodies promotes variability in levels and patterns of gene expression, and that a major function of genic DNA methylation is to exclude H2A.Z from constitutively expressed genes.","lang":"eng"}],"date_created":"2021-06-07T10:55:27Z","scopus_import":"1","extern":"1","oa_version":"Published Version","type":"journal_article","volume":8,"main_file_link":[{"url":"https://doi.org/10.1371/journal.pgen.1002988","open_access":"1"}],"publisher":"Public Library of Science","publication_status":"published","quality_controlled":"1","pmid":1,"department":[{"_id":"DaZi"}]},{"volume":8,"type":"journal_article","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1371/journal.pgen.1002512"}],"publication_status":"published","publisher":"Public Library of Science","department":[{"_id":"DaZi"}],"pmid":1,"quality_controlled":"1","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":" 8","abstract":[{"lang":"eng","text":"EMBRYONIC FLOWER1 (EMF1) is a plant-specific gene crucial to Arabidopsis vegetative development. Loss of function mutants in the EMF1 gene mimic the phenotype caused by mutations in Polycomb Group protein (PcG) genes, which encode epigenetic repressors that regulate many aspects of eukaryotic development. In Arabidopsis, Polycomb Repressor Complex 2 (PRC2), made of PcG proteins, catalyzes trimethylation of lysine 27 on histone H3 (H3K27me3) and PRC1-like proteins catalyze H2AK119 ubiquitination. Despite functional similarity to PcG proteins, EMF1 lacks sequence homology with known PcG proteins; thus, its role in the PcG mechanism is unclear. To study the EMF1 functions and its mechanism of action, we performed genome-wide mapping of EMF1 binding and H3K27me3 modification sites in Arabidopsis seedlings. The EMF1 binding pattern is similar to that of H3K27me3 modification on the chromosomal and genic level. ChIPOTLe peak finding and clustering analyses both show that the highly trimethylated genes also have high enrichment levels of EMF1 binding, termed EMF1_K27 genes. EMF1 interacts with regulatory genes, which are silenced to allow vegetative growth, and with genes specifying cell fates during growth and differentiation. H3K27me3 marks not only these genes but also some genes that are involved in endosperm development and maternal effects. Transcriptome analysis, coupled with the H3K27me3 pattern, of EMF1_K27 genes in emf1 and PRC2 mutants showed that EMF1 represses gene activities via diverse mechanisms and plays a novel role in the PcG mechanism."}],"status":"public","date_published":"2012-03-22T00:00:00Z","publication":"PLoS Genetics","extern":"1","scopus_import":"1","date_created":"2021-06-07T11:07:56Z","oa_version":"Published Version","oa":1,"article_processing_charge":"No","year":"2012","publication_identifier":{"eissn":["1553-7404"],"issn":["1553-7390"]},"day":"22","date_updated":"2021-12-14T08:31:14Z","title":"EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development","doi":"10.1371/journal.pgen.1002512","external_id":{"pmid":["22457632"]},"language":[{"iso":"eng"}],"_id":"9499","issue":"3","article_type":"original","citation":{"short":"S.Y. Kim, J. Lee, L. Eshed-Williams, D. Zilberman, Z.R. Sung, PLoS Genetics 8 (2012).","mla":"Kim, Sang Yeol, et al. “EMF1 and PRC2 Cooperate to Repress Key Regulators of Arabidopsis Development.” PLoS Genetics, vol. 8, no. 3, e1002512, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002512.","ieee":"S. Y. Kim, J. Lee, L. Eshed-Williams, D. Zilberman, and Z. R. Sung, “EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development,” PLoS Genetics, vol. 8, no. 3. Public Library of Science, 2012.","chicago":"Kim, Sang Yeol, Jungeun Lee, Leor Eshed-Williams, Daniel Zilberman, and Z. Renee Sung. “EMF1 and PRC2 Cooperate to Repress Key Regulators of Arabidopsis Development.” PLoS Genetics. Public Library of Science, 2012. https://doi.org/10.1371/journal.pgen.1002512.","apa":"Kim, S. Y., Lee, J., Eshed-Williams, L., Zilberman, D., & Sung, Z. R. (2012). EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1002512","ista":"Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. 2012. EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. 8(3), e1002512.","ama":"Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. 2012;8(3). doi:10.1371/journal.pgen.1002512"},"month":"03","article_number":"e1002512","author":[{"last_name":"Kim","first_name":"Sang Yeol","full_name":"Kim, Sang Yeol"},{"full_name":"Lee, Jungeun","first_name":"Jungeun","last_name":"Lee"},{"full_name":"Eshed-Williams, Leor","first_name":"Leor","last_name":"Eshed-Williams"},{"orcid":"0000-0002-0123-8649","full_name":"Zilberman, Daniel","last_name":"Zilberman","first_name":"Daniel","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1"},{"full_name":"Sung, Z. Renee","first_name":"Z. Renee","last_name":"Sung"}]},{"publication_status":"published","publisher":"Elsevier","department":[{"_id":"DaZi"}],"quality_controlled":"1","pmid":1,"type":"journal_article","volume":22,"scopus_import":"1","extern":"1","date_created":"2021-06-08T08:58:52Z","oa_version":"None","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":" 22","abstract":[{"text":"Accumulating evidence points toward diverse functions for plant chromatin. Remarkable progress has been made over the last few years in elucidating the mechanisms for a number of these functions. Activity of the histone demethylase IBM1 accurately targets DNA methylation to silent repeats and transposable elements, not to genes. A genetic screen uncovered the surprising role of H2A.Z-containing nucleosomes in sensing precise differences in ambient temperature and consequent gene regulation. Precise maintenance of chromosome number is assured by a histone modification that suppresses inappropriate DNA replication and by centromeric histone H3 regulation of chromosome segregation. Histones and noncoding RNAs regulate FLOWERING LOCUS C, the expression of which quantitatively measures the duration of cold exposure, functioning as memory of winter. These findings are a testament to the power of using plants to research chromatin organization, and demonstrate examples of how chromatin functions to achieve biological accuracy, precision, and memory.","lang":"eng"}],"publication":"Current Opinion in Genetics and Development","status":"public","date_published":"2012-04-01T00:00:00Z","publication_identifier":{"issn":["0959-437X"]},"date_updated":"2021-12-14T08:32:38Z","doi":"10.1016/j.gde.2012.01.007","title":"Regulation of biological accuracy, precision, and memory by plant chromatin organization","external_id":{"pmid":["22336527"]},"article_processing_charge":"No","year":"2012","article_type":"review","citation":{"ista":"Huff JT, Zilberman D. 2012. Regulation of biological accuracy, precision, and memory by plant chromatin organization. Current Opinion in Genetics and Development. 22(2), 132–138.","apa":"Huff, J. T., & Zilberman, D. (2012). Regulation of biological accuracy, precision, and memory by plant chromatin organization. Current Opinion in Genetics and Development. Elsevier. https://doi.org/10.1016/j.gde.2012.01.007","ama":"Huff JT, Zilberman D. Regulation of biological accuracy, precision, and memory by plant chromatin organization. Current Opinion in Genetics and Development. 2012;22(2):132-138. doi:10.1016/j.gde.2012.01.007","mla":"Huff, Jason T., and Daniel Zilberman. “Regulation of Biological Accuracy, Precision, and Memory by Plant Chromatin Organization.” Current Opinion in Genetics and Development, vol. 22, no. 2, Elsevier, 2012, pp. 132–38, doi:10.1016/j.gde.2012.01.007.","short":"J.T. Huff, D. Zilberman, Current Opinion in Genetics and Development 22 (2012) 132–138.","chicago":"Huff, Jason T., and Daniel Zilberman. “Regulation of Biological Accuracy, Precision, and Memory by Plant Chromatin Organization.” Current Opinion in Genetics and Development. Elsevier, 2012. https://doi.org/10.1016/j.gde.2012.01.007.","ieee":"J. T. Huff and D. Zilberman, “Regulation of biological accuracy, precision, and memory by plant chromatin organization,” Current Opinion in Genetics and Development, vol. 22, no. 2. Elsevier, pp. 132–138, 2012."},"author":[{"last_name":"Huff","first_name":"Jason T.","full_name":"Huff, Jason T."},{"id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","first_name":"Daniel","last_name":"Zilberman","orcid":"0000-0002-0123-8649","full_name":"Zilberman, Daniel"}],"month":"04","language":[{"iso":"eng"}],"_id":"9528","page":"132-138","issue":"2"},{"title":"DNA methylation, H2A.Z, and the regulation of constitutive expression","doi":"10.1101/sqb.2012.77.014944","external_id":{"pmid":["23250988"]},"publication_identifier":{"issn":["0091-7451"],"eissn":["1943-4456"]},"day":"18","date_updated":"2021-12-14T08:33:09Z","year":"2012","oa":1,"article_processing_charge":"No","month":"12","author":[{"full_name":"Coleman-Derr, D.","last_name":"Coleman-Derr","first_name":"D."},{"id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","first_name":"Daniel","last_name":"Zilberman","orcid":"0000-0002-0123-8649","full_name":"Zilberman, Daniel"}],"article_type":"review","citation":{"ama":"Coleman-Derr D, Zilberman D. DNA methylation, H2A.Z, and the regulation of constitutive expression. Cold Spring Harbor Symposia on Quantitative Biology. 2012;77:147-154. doi:10.1101/sqb.2012.77.014944","apa":"Coleman-Derr, D., & Zilberman, D. (2012). DNA methylation, H2A.Z, and the regulation of constitutive expression. Cold Spring Harbor Symposia on Quantitative Biology. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/sqb.2012.77.014944","ista":"Coleman-Derr D, Zilberman D. 2012. DNA methylation, H2A.Z, and the regulation of constitutive expression. Cold Spring Harbor Symposia on Quantitative Biology. 77, 147–154.","ieee":"D. Coleman-Derr and D. Zilberman, “DNA methylation, H2A.Z, and the regulation of constitutive expression,” Cold Spring Harbor Symposia on Quantitative Biology, vol. 77. Cold Spring Harbor Laboratory Press, pp. 147–154, 2012.","chicago":"Coleman-Derr, D., and Daniel Zilberman. “DNA Methylation, H2A.Z, and the Regulation of Constitutive Expression.” Cold Spring Harbor Symposia on Quantitative Biology. Cold Spring Harbor Laboratory Press, 2012. https://doi.org/10.1101/sqb.2012.77.014944.","short":"D. Coleman-Derr, D. Zilberman, Cold Spring Harbor Symposia on Quantitative Biology 77 (2012) 147–154.","mla":"Coleman-Derr, D., and Daniel Zilberman. “DNA Methylation, H2A.Z, and the Regulation of Constitutive Expression.” Cold Spring Harbor Symposia on Quantitative Biology, vol. 77, Cold Spring Harbor Laboratory Press, 2012, pp. 147–54, doi:10.1101/sqb.2012.77.014944."},"page":"147-154","_id":"9535","language":[{"iso":"eng"}],"department":[{"_id":"DaZi"}],"pmid":1,"quality_controlled":"1","publication_status":"published","publisher":"Cold Spring Harbor Laboratory Press","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/sqb.2012.77.014944"}],"volume":77,"type":"journal_article","oa_version":"Published Version","extern":"1","scopus_import":"1","date_created":"2021-06-08T13:01:23Z","abstract":[{"text":"The most well-studied function of DNA methylation in eukaryotic cells is the transcriptional silencing of genes and transposons. More recent results showed that many eukaryotes methylate the bodies of genes as well and that this methylation correlates with transcriptional activity rather than repression. The purpose of gene body methylation remains mysterious, but is potentially related to the histone variant H2A.Z. Studies in plants and animals have shown that the genome-wide distributions of H2A.Z and DNA methylation are strikingly anticorrelated. Furthermore, we and other investigators have shown that this relationship is likely to be the result of an ancient but unknown mechanism by which DNA methylation prevents the incorporation of H2A.Z. Recently, we discovered strong correlations between the presence of H2A.Z within gene bodies, the degree to which a gene's expression varies across tissue types or environmental conditions, and transcriptional misregulation in an h2a.z mutant. We propose that one basal function of gene body methylation is the establishment of constitutive expression patterns within housekeeping genes by excluding H2A.Z from their bodies.","lang":"eng"}],"date_published":"2012-12-18T00:00:00Z","status":"public","publication":"Cold Spring Harbor Symposia on Quantitative Biology","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","intvolume":" 77"},{"publisher":"American Physical Society","date_updated":"2021-01-12T08:22:18Z","publication_status":"published","day":"13","quality_controlled":0,"title":"Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice","doi":"10.1103/PhysRevB.86.224409","oa":1,"volume":86,"type":"journal_article","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1208.3231"}],"year":"2012","date_created":"2018-12-11T11:49:27Z","citation":{"ieee":"S. Bieri, M. Serbyn, T. Senthil, and P. Lee, “Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice,” Physical Review B - Condensed Matter and Materials Physics, vol. 86, no. 22. American Physical Society, 2012.","chicago":"Bieri, Samuel, Maksym Serbyn, Todadri Senthil, and Patrick Lee. “Paired Chiral Spin Liquid with a Fermi Surface in S=1 Model on the Triangular Lattice.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2012. https://doi.org/10.1103/PhysRevB.86.224409.","mla":"Bieri, Samuel, et al. “Paired Chiral Spin Liquid with a Fermi Surface in S=1 Model on the Triangular Lattice.” Physical Review B - Condensed Matter and Materials Physics, vol. 86, no. 22, American Physical Society, 2012, doi:10.1103/PhysRevB.86.224409.","short":"S. Bieri, M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 86 (2012).","ama":"Bieri S, Serbyn M, Senthil T, Lee P. Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 2012;86(22). doi:10.1103/PhysRevB.86.224409","apa":"Bieri, S., Serbyn, M., Senthil, T., & Lee, P. (2012). Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.86.224409","ista":"Bieri S, Serbyn M, Senthil T, Lee P. 2012. Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 86(22)."},"extern":1,"month":"12","author":[{"last_name":"Bieri","first_name":"Samuel","full_name":"Bieri, Samuel"},{"id":"47809E7E-F248-11E8-B48F-1D18A9856A87","first_name":"Maksym","last_name":"Serbyn","full_name":"Maksym Serbyn","orcid":"0000-0002-2399-5827"},{"first_name":"Todadri","last_name":"Senthil","full_name":"Senthil, Todadri S"},{"full_name":"Lee, Patrick","last_name":"Lee","first_name":"Patrick"}],"acknowledgement":"We thank Kuang-Ting Chen, Rebecca Flint, Dmitri Ivanov, Z.-X. Liu, Tai-Kai Ng, Lara Thompson, Tamás Tóth, and Fa Wang for helpful discussions. T.S. is supported by NSF DMR 1005434. P.A.L. is supported by NSF DMR 1104498. S.B. acknowledges support from the Swiss National Science Foundation (SNSF).","_id":"966","intvolume":" 86","status":"public","date_published":"2012-12-13T00:00:00Z","publication":"Physical Review B - Condensed Matter and Materials Physics","publist_id":"6431","issue":"22","abstract":[{"lang":"eng","text":"Motivated by recent experiments on Ba3NiSb2O 9, we investigate possible quantum spin liquid ground states for spin S=1 Heisenberg models on the triangular lattice. We use variational Monte Carlo techniques to calculate the energies of microscopic spin liquid wave functions where spin is represented by three flavors of fermionic spinon operators. These energies are compared with the energies of various competing three-sublattice ordered states. Our approach shows that the antiferromagnetic Heisenberg model with biquadratic term and single-ion anisotropy does not have a low-temperature spin liquid phase. However, for an SU(3)-invariant model with sufficiently strong ring-exchange terms, we find a paired chiral quantum spin liquid with a Fermi surface of deconfined spinons that is stable against all types of ordering patterns we considered. We discuss the physics of this exotic spin liquid state in relation to the recent experiment and suggest new ways to test this scenario."}]},{"citation":{"ama":"Konrad M, Vyleta M, Theis F, et al. Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies. 2012. doi:10.5061/dryad.sv37s","apa":"Konrad, M., Vyleta, M., Theis, F., Stock, M., Klatt, M., Drescher, V., … Cremer, S. (2012). Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies. Dryad. https://doi.org/10.5061/dryad.sv37s","ista":"Konrad M, Vyleta M, Theis F, Stock M, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies, Dryad, 10.5061/dryad.sv37s.","ieee":"M. Konrad et al., “Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies.” Dryad, 2012.","chicago":"Konrad, Matthias, Meghan Vyleta, Fabian Theis, Miriam Stock, Martina Klatt, Verena Drescher, Carsten Marr, Line V Ugelvig, and Sylvia Cremer. “Data from: Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.” Dryad, 2012. https://doi.org/10.5061/dryad.sv37s.","mla":"Konrad, Matthias, et al. Data from: Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies. Dryad, 2012, doi:10.5061/dryad.sv37s.","short":"M. Konrad, M. Vyleta, F. Theis, M. Stock, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, (2012)."},"date_created":"2021-07-30T08:39:13Z","oa_version":"Published Version","author":[{"first_name":"Matthias","last_name":"Konrad","id":"46528076-F248-11E8-B48F-1D18A9856A87","full_name":"Konrad, Matthias"},{"full_name":"Vyleta, Meghan","id":"418901AA-F248-11E8-B48F-1D18A9856A87","last_name":"Vyleta","first_name":"Meghan"},{"first_name":"Fabian","last_name":"Theis","full_name":"Theis, Fabian"},{"full_name":"Stock, Miriam","last_name":"Stock","first_name":"Miriam","id":"42462816-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Klatt, Martina","last_name":"Klatt","first_name":"Martina","id":"E60F29C6-E9AE-11E9-AF6E-D190C7302F38"},{"full_name":"Drescher, Verena","first_name":"Verena","last_name":"Drescher"},{"full_name":"Marr, Carsten","first_name":"Carsten","last_name":"Marr"},{"id":"3DC97C8E-F248-11E8-B48F-1D18A9856A87","last_name":"Ugelvig","first_name":"Line V","orcid":"0000-0003-1832-8883","full_name":"Ugelvig, Line V"},{"full_name":"Cremer, Sylvia","orcid":"0000-0002-2193-3868","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","last_name":"Cremer","first_name":"Sylvia"}],"month":"09","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","_id":"9755","abstract":[{"text":"Due to the omnipresent risk of epidemics, insect societies have evolved sophisticated disease defences at the individual and colony level. An intriguing yet little understood phenomenon is that social contact to pathogen-exposed individuals reduces susceptibility of previously naive nestmates to this pathogen. We tested whether such social immunisation in Lasius ants against the entomopathogenic fungus Metarhizium anisopliae is based on active upregulation of the immune system of nestmates following contact to an infectious individual or passive protection via transfer of immune effectors among group members—that is, active versus passive immunisation. We found no evidence for involvement of passive immunisation via transfer of antimicrobials among colony members. Instead, intensive allogrooming behaviour between naive and pathogen-exposed ants before fungal conidia firmly attached to their cuticle suggested passage of the pathogen from the exposed individuals to their nestmates. By tracing fluorescence-labelled conidia we indeed detected frequent pathogen transfer to the nestmates, where they caused low-level infections as revealed by growth of small numbers of fungal colony forming units from their dissected body content. These infections rarely led to death, but instead promoted an enhanced ability to inhibit fungal growth and an active upregulation of immune genes involved in antifungal defences (defensin and prophenoloxidase, PPO). Contrarily, there was no upregulation of the gene cathepsin L, which is associated with antibacterial and antiviral defences, and we found no increased antibacterial activity of nestmates of fungus-exposed ants. This indicates that social immunisation after fungal exposure is specific, similar to recent findings for individual-level immune priming in invertebrates. Epidemiological modeling further suggests that active social immunisation is adaptive, as it leads to faster elimination of the disease and lower death rates than passive immunisation. Interestingly, humans have also utilised the protective effect of low-level infections to fight smallpox by intentional transfer of low pathogen doses (“variolation” or “inoculation”).","lang":"eng"}],"date_published":"2012-09-27T00:00:00Z","status":"public","day":"27","date_updated":"2023-02-23T11:18:41Z","publisher":"Dryad","doi":"10.5061/dryad.sv37s","title":"Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies","department":[{"_id":"SyCr"}],"type":"research_data_reference","article_processing_charge":"No","oa":1,"related_material":{"record":[{"id":"3242","relation":"used_in_publication","status":"public"}]},"main_file_link":[{"url":"https://doi.org/10.5061/dryad.sv37s","open_access":"1"}],"year":"2012"},{"_id":"9757","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","status":"public","date_published":"2012-12-14T00:00:00Z","abstract":[{"text":"To fight infectious diseases, host immune defences are employed at multiple levels. Sanitary behaviour, such as pathogen avoidance and removal, acts as a first line of defence to prevent infection [1] before activation of the physiological immune system. Insect societies have evolved a wide range of collective hygiene measures and intensive health care towards pathogen-exposed group members [2]. One of the most common behaviours is allogrooming, in which nestmates remove infectious particles from the body surfaces of exposed individuals [3]. Here we show that, in invasive garden ants, grooming of fungus-exposed brood is effective beyond the sheer mechanical removal of fungal conidiospores as it also includes chemical disinfection through the application of poison produced by the ants themselves. Formic acid is the main active component of the poison. It inhibits fungal growth of conidiospores remaining on the brood surface after grooming and also those collected in the mouth of the grooming ant. This dual function is achieved by uptake of the poison droplet into the mouth through acidopore self-grooming and subsequent application onto the infectious brood via brood grooming. This extraordinary behaviour extends current understanding of grooming and the establishment of social immunity in insect societies.","lang":"eng"}],"date_created":"2021-07-30T12:31:31Z","citation":{"short":"S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).","mla":"Tragust, Simon, et al. Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison. Dryad, 2012, doi:10.5061/dryad.61649.","ieee":"S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L. V. Ugelvig, and S. Cremer, “Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison.” Dryad, 2012.","chicago":"Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Dryad, 2012. https://doi.org/10.5061/dryad.61649.","apa":"Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., & Cremer, S. (2012). Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Dryad. https://doi.org/10.5061/dryad.61649","ista":"Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2012. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison, Dryad, 10.5061/dryad.61649.","ama":"Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. 2012. doi:10.5061/dryad.61649"},"oa_version":"Published Version","author":[{"id":"35A7A418-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","last_name":"Tragust","full_name":"Tragust, Simon"},{"id":"479DDAAC-E9CD-11E9-9B5F-82450873F7A1","first_name":"Barbara","last_name":"Mitteregger","full_name":"Mitteregger, Barbara"},{"full_name":"Barone, Vanessa","orcid":"0000-0003-2676-3367","last_name":"Barone","first_name":"Vanessa","id":"419EECCC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Konrad, Matthias","last_name":"Konrad","first_name":"Matthias","id":"46528076-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Line V","last_name":"Ugelvig","id":"3DC97C8E-F248-11E8-B48F-1D18A9856A87","full_name":"Ugelvig, Line V","orcid":"0000-0003-1832-8883"},{"last_name":"Cremer","first_name":"Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","full_name":"Cremer, Sylvia","orcid":"0000-0002-2193-3868"}],"month":"12","article_processing_charge":"No","oa":1,"type":"research_data_reference","year":"2012","main_file_link":[{"url":"https://doi.org/10.5061/dryad.61649","open_access":"1"}],"related_material":{"record":[{"status":"public","id":"2926","relation":"used_in_publication"}]},"date_updated":"2023-02-23T11:04:28Z","publisher":"Dryad","day":"14","doi":"10.5061/dryad.61649","department":[{"_id":"SyCr"}],"title":"Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison"},{"day":"14","publisher":"Dryad","date_updated":"2023-02-23T11:05:19Z","title":"Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates","department":[{"_id":"NiBa"}],"doi":"10.5061/dryad.274b1","type":"research_data_reference","article_processing_charge":"No","oa":1,"related_material":{"record":[{"id":"2944","relation":"used_in_publication","status":"public"}]},"year":"2012","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5061/dryad.274b1"}],"date_created":"2021-07-30T12:36:39Z","citation":{"ama":"Aeschbacher S, Futschik A, Beaumont M. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. 2012. doi:10.5061/dryad.274b1","apa":"Aeschbacher, S., Futschik, A., & Beaumont, M. (2012). Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. Dryad. https://doi.org/10.5061/dryad.274b1","ista":"Aeschbacher S, Futschik A, Beaumont M. 2012. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates, Dryad, 10.5061/dryad.274b1.","ieee":"S. Aeschbacher, A. Futschik, and M. Beaumont, “Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates.” Dryad, 2012.","chicago":"Aeschbacher, Simon, Andreas Futschik, and Mark Beaumont. “Data from: Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates.” Dryad, 2012. https://doi.org/10.5061/dryad.274b1.","short":"S. Aeschbacher, A. Futschik, M. Beaumont, (2012).","mla":"Aeschbacher, Simon, et al. Data from: Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. Dryad, 2012, doi:10.5061/dryad.274b1."},"month":"11","author":[{"id":"2D35326E-F248-11E8-B48F-1D18A9856A87","last_name":"Aeschbacher","first_name":"Simon","full_name":"Aeschbacher, Simon"},{"full_name":"Futschik, Andreas","first_name":"Andreas","last_name":"Futschik"},{"first_name":"Mark","last_name":"Beaumont","full_name":"Beaumont, Mark"}],"oa_version":"Published Version","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","_id":"9758","abstract":[{"lang":"eng","text":"We propose a two-step procedure for estimating multiple migration rates in an approximate Bayesian computation (ABC) framework, accounting for global nuisance parameters. The approach is not limited to migration, but generally of interest for inference problems with multiple parameters and a modular structure (e.g. independent sets of demes or loci). We condition on a known, but complex demographic model of a spatially subdivided population, motivated by the reintroduction of Alpine ibex (Capra ibex) into Switzerland. In the first step, the global parameters ancestral mutation rate and male mating skew have been estimated for the whole population in Aeschbacher et al. (Genetics 2012; 192: 1027). In the second step, we estimate in this study the migration rates independently for clusters of demes putatively connected by migration. For large clusters (many migration rates), ABC faces the problem of too many summary statistics. We therefore assess by simulation if estimation per pair of demes is a valid alternative. We find that the trade-off between reduced dimensionality for the pairwise estimation on the one hand and lower accuracy due to the assumption of pairwise independence on the other depends on the number of migration rates to be inferred: the accuracy of the pairwise approach increases with the number of parameters, relative to the joint estimation approach. To distinguish between low and zero migration, we perform ABC-type model comparison between a model with migration and one without. Applying the approach to microsatellite data from Alpine ibex, we find no evidence for substantial gene flow via migration, except for one pair of demes in one direction."}],"date_published":"2012-11-14T00:00:00Z","status":"public"},{"year":"2012","article_processing_charge":"No","type":"book_chapter","quality_controlled":"1","title":"The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books","department":[{"_id":"HaJa"}],"doi":"10.1007/978-1-4614-3903-5_6","editor":[{"first_name":"Susan","last_name":"Masino","full_name":"Masino, Susan"},{"full_name":"Boison, Detlev","first_name":"Detlev","last_name":"Boison"}],"publisher":"Springer","date_updated":"2022-06-21T11:51:58Z","publication_identifier":{"eisbn":["9781461439035"],"isbn":["9781461439028"]},"publication_status":"published","day":"23","status":"public","date_published":"2012-07-23T00:00:00Z","publication":"Adenosine","place":"New York","abstract":[{"lang":"eng","text":"Under physiological conditions the brain, via the purine salvage pathway, reuses the preformed purine bases hypoxanthine, derived from ATP degradation, and adenine (Ade), derived from polyamine synthesis, to restore its ATP pool. However, the massive degradation of ATP during ischemia, although providing valuable neuroprotective adenosine, results in the accumulation and loss of diffusible purine metabolites and thereby leads to a protracted reduction in the post-ischemic ATP pool size. In vivo, this may both limit the ability to deploy ATP-dependent reparative mechanisms and reduce the subsequent availability of adenosine, whilst in brain slices results in tissue with substantially lower levels of ATP than in vivo. In the present review, we describe the mechanisms by which brain tissue replenishes its ATP, how this can be improved with the clinically tolerated chemicals D-ribose and adenine, and the functional, and potential therapeutic, implications of doing so."}],"page":"109-129","acknowledgement":"We are grateful to Research into Ageing/Ageing UK and The Dunhill Trust for funding SzN’s graduate studies, and to Prof Nicholas Dale for his valuable input.","language":[{"iso":"eng"}],"_id":"10896","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"07","author":[{"full_name":"zur Nedden, Stephanie","first_name":"Stephanie","last_name":"zur Nedden","id":"3C77F464-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Alexander S.","last_name":"Doney","full_name":"Doney, Alexander S."},{"last_name":"Frenguelli","first_name":"Bruno G.","full_name":"Frenguelli, Bruno G."}],"oa_version":"None","citation":{"ama":"zur Nedden S, Doney AS, Frenguelli BG. The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Masino S, Boison D, eds. Adenosine. 1st ed. New York: Springer; 2012:109-129. doi:10.1007/978-1-4614-3903-5_6","apa":"zur Nedden, S., Doney, A. S., & Frenguelli, B. G. (2012). The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In S. Masino & D. Boison (Eds.), Adenosine (1st ed., pp. 109–129). New York: Springer. https://doi.org/10.1007/978-1-4614-3903-5_6","ista":"zur Nedden S, Doney AS, Frenguelli BG. 2012.The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Adenosine. , 109–129.","ieee":"S. zur Nedden, A. S. Doney, and B. G. Frenguelli, “The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books,” in Adenosine, 1st ed., S. Masino and D. Boison, Eds. New York: Springer, 2012, pp. 109–129.","chicago":"Nedden, Stephanie zur, Alexander S. Doney, and Bruno G. Frenguelli. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” In Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., 109–29. New York: Springer, 2012. https://doi.org/10.1007/978-1-4614-3903-5_6.","mla":"zur Nedden, Stephanie, et al. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., Springer, 2012, pp. 109–29, doi:10.1007/978-1-4614-3903-5_6.","short":"S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129."},"date_created":"2022-03-21T07:16:12Z","edition":"1","scopus_import":"1"},{"month":"10","author":[{"full_name":"Bouajjani, Ahmed","first_name":"Ahmed","last_name":"Bouajjani"},{"full_name":"Dragoi, Cezara","id":"2B2B5ED0-F248-11E8-B48F-1D18A9856A87","last_name":"Dragoi","first_name":"Cezara"},{"last_name":"Enea","first_name":"Constantin","full_name":"Enea, Constantin"},{"full_name":"Sighireanu, Mihaela","first_name":"Mihaela","last_name":"Sighireanu"}],"citation":{"apa":"Bouajjani, A., Dragoi, C., Enea, C., & Sighireanu, M. (2012). Accurate invariant checking for programs manipulating lists and arrays with infinite data. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 167–182). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-33386-6_14","ista":"Bouajjani A, Dragoi C, Enea C, Sighireanu M. 2012. Accurate invariant checking for programs manipulating lists and arrays with infinite data. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and AnalysisLNCS, LNCS, vol. 7561, 167–182.","ama":"Bouajjani A, Dragoi C, Enea C, Sighireanu M. Accurate invariant checking for programs manipulating lists and arrays with infinite data. In: Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer; 2012:167-182. doi:10.1007/978-3-642-33386-6_14","short":"A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.","mla":"Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.” Automated Technology for Verification and Analysis, vol. 7561, Springer, 2012, pp. 167–82, doi:10.1007/978-3-642-33386-6_14.","ieee":"A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Accurate invariant checking for programs manipulating lists and arrays with infinite data,” in Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 167–182.","chicago":"Bouajjani, Ahmed, Cezara Dragoi, Constantin Enea, and Mihaela Sighireanu. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.” In Automated Technology for Verification and Analysis, 7561:167–82. LNCS. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-33386-6_14."},"place":"Berlin, Heidelberg","page":"167-182","acknowledgement":"This work has been partially supported by the French ANR project Veridyc","_id":"10903","language":[{"iso":"eng"}],"title":"Accurate invariant checking for programs manipulating lists and arrays with infinite data","doi":"10.1007/978-3-642-33386-6_14","publication_identifier":{"issn":["0302-9743"],"eisbn":["9783642333866"],"isbn":["9783642333859"],"eissn":["1611-3349"]},"day":"15","date_updated":"2023-09-05T14:07:24Z","series_title":"LNCS","conference":{"name":"ATVA: Automated Technology for Verification and Analysis","location":"Thiruvananthapuram, India","end_date":"2012-10-06","start_date":"2012-10-03"},"year":"2012","article_processing_charge":"No","oa_version":"None","alternative_title":["LNCS"],"scopus_import":"1","date_created":"2022-03-21T07:58:39Z","abstract":[{"lang":"eng","text":"We propose a logic-based framework for automated reasoning about sequential programs manipulating singly-linked lists and arrays with unbounded data. We introduce the logic SLAD, which allows combining shape constraints, written in a fragment of Separation Logic, with data and size constraints. We address the problem of checking the entailment between SLAD formulas, which is crucial in performing pre-post condition reasoning. Although this problem is undecidable in general for SLAD, we propose a sound and powerful procedure that is able to solve this problem for a large class of formulas, beyond the capabilities of existing techniques and tools. We prove that this procedure is complete, i.e., it is actually a decision procedure for this problem, for an important fragment of SLAD including known decidable logics. We implemented this procedure and shown its preciseness and its efficiency on a significant benchmark of formulas."}],"date_published":"2012-10-15T00:00:00Z","status":"public","publication":"Automated Technology for Verification and Analysis","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 7561","department":[{"_id":"ToHe"}],"quality_controlled":"1","publication_status":"published","publisher":"Springer","volume":7561,"type":"conference"},{"arxiv":1,"citation":{"ieee":"K. Chatterjee, M. Randour, and J.-F. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” in CONCUR 2012 - Concurrency Theory, Newcastle upon Tyne, United Kingdom, 2012, vol. 7454, pp. 115–131.","chicago":"Chatterjee, Krishnendu, Mickael Randour, and Jean-François Raskin. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” In CONCUR 2012 - Concurrency Theory, edited by Maciej Koutny and Irek Ulidowski, 7454:115–31. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-32940-1_10.","short":"K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.","mla":"Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” CONCUR 2012 - Concurrency Theory, edited by Maciej Koutny and Irek Ulidowski, vol. 7454, Springer, 2012, pp. 115–31, doi:10.1007/978-3-642-32940-1_10.","ama":"Chatterjee K, Randour M, Raskin J-F. Strategy synthesis for multi-dimensional quantitative objectives. In: Koutny M, Ulidowski I, eds. CONCUR 2012 - Concurrency Theory. Vol 7454. Berlin, Heidelberg: Springer; 2012:115-131. doi:10.1007/978-3-642-32940-1_10","apa":"Chatterjee, K., Randour, M., & Raskin, J.-F. (2012). Strategy synthesis for multi-dimensional quantitative objectives. In M. Koutny & I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory (Vol. 7454, pp. 115–131). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-32940-1_10","ista":"Chatterjee K, Randour M, Raskin J-F. 2012. Strategy synthesis for multi-dimensional quantitative objectives. CONCUR 2012 - Concurrency Theory. CONCUR: Conference on Concurrency Theory, LNCS, vol. 7454, 115–131."},"author":[{"last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"last_name":"Randour","first_name":"Mickael","full_name":"Randour, Mickael"},{"full_name":"Raskin, Jean-François","last_name":"Raskin","first_name":"Jean-François"}],"month":"09","language":[{"iso":"eng"}],"_id":"10904","acknowledgement":"Author supported by Austrian Science Fund (FWF) Grant No P 23499-N23, FWF NFN Grant No S11407 (RiSE), ERC Start Grant (279307: Graph Games), Microsoft faculty fellowship.","page":"115-131","place":"Berlin, Heidelberg","date_updated":"2023-02-23T10:55:06Z","day":"15","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783642329395"],"eisbn":["9783642329401"]},"external_id":{"arxiv":["1201.5073"]},"doi":"10.1007/978-3-642-32940-1_10","title":"Strategy synthesis for multi-dimensional quantitative objectives","article_processing_charge":"No","year":"2012","ec_funded":1,"conference":{"start_date":"2012-09-04","end_date":"2012-09-07","location":"Newcastle upon Tyne, United Kingdom","name":"CONCUR: Conference on Concurrency Theory"},"related_material":{"record":[{"status":"public","relation":"later_version","id":"2716"}]},"date_created":"2022-03-21T08:00:21Z","scopus_import":"1","alternative_title":["LNCS"],"oa_version":"Preprint","intvolume":" 7454","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"CONCUR 2012 - Concurrency Theory","status":"public","date_published":"2012-09-15T00:00:00Z","abstract":[{"lang":"eng","text":"Multi-dimensional mean-payoff and energy games provide the mathematical foundation for the quantitative study of reactive systems, and play a central role in the emerging quantitative theory of verification and synthesis. In this work, we study the strategy synthesis problem for games with such multi-dimensional objectives along with a parity condition, a canonical way to express ω-regular conditions. While in general, the winning strategies in such games may require infinite memory, for synthesis the most relevant problem is the construction of a finite-memory winning strategy (if one exists). Our main contributions are as follows. First, we show a tight exponential bound (matching upper and lower bounds) on the memory required for finite-memory winning strategies in both multi-dimensional mean-payoff and energy games along with parity objectives. This significantly improves the triple exponential upper bound for multi energy games (without parity) that could be derived from results in literature for games on VASS (vector addition systems with states). Second, we present an optimal symbolic and incremental algorithm to compute a finite-memory winning strategy (if one exists) in such games. Finally, we give a complete characterization of when finite memory of strategies can be traded off for randomness. In particular, we show that for one-dimension mean-payoff parity games, randomized memoryless strategies are as powerful as their pure finite-memory counterparts."}],"publisher":"Springer","publication_status":"published","quality_controlled":"1","project":[{"grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF"},{"grant_number":"S11407","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","call_identifier":"FP7"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"editor":[{"full_name":"Koutny, Maciej","first_name":"Maciej","last_name":"Koutny"},{"full_name":"Ulidowski, Irek","last_name":"Ulidowski","first_name":"Irek"}],"department":[{"_id":"KrCh"}],"type":"conference","volume":7454},{"publisher":"Springer","publication_status":"published","project":[{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","grant_number":"S11407","call_identifier":"FWF"},{"grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","department":[{"_id":"KrCh"}],"volume":7501,"type":"conference","main_file_link":[{"url":"https://arxiv.org/abs/1604.08234","open_access":"1"}],"date_created":"2022-03-21T08:01:45Z","alternative_title":["LNCS"],"scopus_import":"1","oa_version":"Preprint","intvolume":" 7501","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","date_published":"2012-10-01T00:00:00Z","publication":"Algorithms – ESA 2012","abstract":[{"lang":"eng","text":"Energy games belong to a class of turn-based two-player infinite-duration games played on a weighted directed graph. It is one of the rare and intriguing combinatorial problems that lie in NP ∩ co−NP, but are not known to be in P. While the existence of polynomial-time algorithms has been a major open problem for decades, there is no algorithm that solves any non-trivial subclass in polynomial time.\r\nIn this paper, we give several results based on the weight structures of the graph. First, we identify a notion of penalty and present a polynomial-time algorithm when the penalty is large. Our algorithm is the first polynomial-time algorithm on a large class of weighted graphs. It includes several counter examples that show that many previous algorithms, such as value iteration and random facet algorithms, require at least sub-exponential time. Our main technique is developing the first non-trivial approximation algorithm and showing how to convert it to an exact algorithm. Moreover, we show that in a practical case in verification where weights are clustered around a constant number of values, the energy game problem can be solved in polynomial time. We also show that the problem is still as hard as in general when the clique-width is bounded or the graph is strongly ergodic, suggesting that restricting graph structures need not help."}],"date_updated":"2023-09-05T14:09:30Z","publication_identifier":{"eisbn":["9783642330902"],"isbn":["9783642330896"],"eissn":["1611-3349"],"issn":["0302-9743"]},"day":"01","external_id":{"arxiv":["1604.08234"]},"title":"Polynomial-time algorithms for energy games with special weight structures","doi":"10.1007/978-3-642-33090-2_27","oa":1,"article_processing_charge":"No","ec_funded":1,"year":"2012","related_material":{"record":[{"id":"535","relation":"later_version","status":"public"}]},"conference":{"location":"Ljubljana, Slovenia","name":"ESA: European Symposium on Algorithms","start_date":"2012-09-10","end_date":"2012-09-12"},"citation":{"ieee":"K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” in Algorithms – ESA 2012, Ljubljana, Slovenia, 2012, vol. 7501, pp. 301–312.","chicago":"Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, and Danupon Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” In Algorithms – ESA 2012, 7501:301–12. Springer, 2012. https://doi.org/10.1007/978-3-642-33090-2_27.","short":"K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.","mla":"Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithms – ESA 2012, vol. 7501, Springer, 2012, pp. 301–12, doi:10.1007/978-3-642-33090-2_27.","ama":"Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. In: Algorithms – ESA 2012. Vol 7501. Springer; 2012:301-312. doi:10.1007/978-3-642-33090-2_27","apa":"Chatterjee, K., Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2012). Polynomial-time algorithms for energy games with special weight structures. In Algorithms – ESA 2012 (Vol. 7501, pp. 301–312). Ljubljana, Slovenia: Springer. https://doi.org/10.1007/978-3-642-33090-2_27","ista":"Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2012. Polynomial-time algorithms for energy games with special weight structures. Algorithms – ESA 2012. ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312."},"arxiv":1,"month":"10","author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","last_name":"Henzinger"},{"first_name":"Sebastian","last_name":"Krinninger","full_name":"Krinninger, Sebastian"},{"first_name":"Danupon","last_name":"Nanongkai","full_name":"Nanongkai, Danupon"}],"acknowledgement":"Supported by the Austrian Science Fund (FWF): P23499-N23, the Austrian Science Fund (FWF): S11407-N23 (RiSE), an ERC Start Grant (279307: Graph Games), and a Microsoft Faculty Fellows Award","language":[{"iso":"eng"}],"_id":"10905","page":"301-312"}]