[{"department":[{"_id":"JoFi"}],"abstract":[{"text":"Microtubules provide the mechanical force required for chromosome separation during mitosis. However, little is known about the dynamic (high-frequency) mechanical properties of microtubules. Here, we theoretically propose to control the vibrations of a doubly clamped microtubule by tip electrodes and to detect its motion via the optomechanical coupling between the vibrational modes of the microtubule and an optical cavity. In the presence of a red-detuned strong pump laser, this coupling leads to optomechanical-induced transparency of an optical probe field, which can be detected with state-of-the art technology. The center frequency and line width of the transparency peak give the resonance frequency and damping rate of the microtubule, respectively, while the height of the peak reveals information about the microtubule-cavity field coupling. Our method opens the new possibilities to gain information about the physical properties of microtubules, which will enhance our capability to design physical cancer treatment protocols as alternatives to chemotherapeutic drugs.","lang":"eng"}],"author":[{"id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0415-1423","full_name":"Barzanjeh, Shabir","last_name":"Barzanjeh","first_name":"Shabir"},{"first_name":"Vahid","last_name":"Salari","full_name":"Salari, Vahid"},{"full_name":"Tuszynski, Jack","last_name":"Tuszynski","first_name":"Jack"},{"full_name":"Cifra, Michal","first_name":"Michal","last_name":"Cifra"},{"last_name":"Simon","first_name":"Christoph","full_name":"Simon, Christoph"}],"external_id":{"arxiv":["1612.07061"],"isi":["000405367200012"]},"oa":1,"oa_version":"Submitted Version","_id":"700","project":[{"call_identifier":"H2020","_id":"258047B6-B435-11E9-9278-68D0E5697425","grant_number":"707438","name":"Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics"}],"ec_funded":1,"publication_status":"published","volume":96,"year":"2017","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2025-09-10T11:08:33Z","month":"07","language":[{"iso":"eng"}],"publisher":"American Institute of Physics","article_processing_charge":"No","quality_controlled":"1","publication":" Physical Review E Statistical Nonlinear and Soft Matter Physics ","date_published":"2017-07-12T00:00:00Z","citation":{"short":"S. Barzanjeh, V. Salari, J. Tuszynski, M. Cifra, C. Simon,  Physical Review E Statistical Nonlinear and Soft Matter Physics  96 (2017).","apa":"Barzanjeh, S., Salari, V., Tuszynski, J., Cifra, M., &#38; Simon, C. (2017). Optomechanical proposal for monitoring microtubule mechanical vibrations. <i> Physical Review E Statistical Nonlinear and Soft Matter Physics </i>. American Institute of Physics. <a href=\"https://doi.org/10.1103/PhysRevE.96.012404\">https://doi.org/10.1103/PhysRevE.96.012404</a>","ista":"Barzanjeh S, Salari V, Tuszynski J, Cifra M, Simon C. 2017. Optomechanical proposal for monitoring microtubule mechanical vibrations.  Physical Review E Statistical Nonlinear and Soft Matter Physics . 96(1), 012404.","mla":"Barzanjeh, Shabir, et al. “Optomechanical Proposal for Monitoring Microtubule Mechanical Vibrations.” <i> Physical Review E Statistical Nonlinear and Soft Matter Physics </i>, vol. 96, no. 1, 012404, American Institute of Physics, 2017, doi:<a href=\"https://doi.org/10.1103/PhysRevE.96.012404\">10.1103/PhysRevE.96.012404</a>.","ama":"Barzanjeh S, Salari V, Tuszynski J, Cifra M, Simon C. Optomechanical proposal for monitoring microtubule mechanical vibrations. <i> Physical Review E Statistical Nonlinear and Soft Matter Physics </i>. 2017;96(1). doi:<a href=\"https://doi.org/10.1103/PhysRevE.96.012404\">10.1103/PhysRevE.96.012404</a>","chicago":"Barzanjeh, Shabir, Vahid Salari, Jack Tuszynski, Michal Cifra, and Christoph Simon. “Optomechanical Proposal for Monitoring Microtubule Mechanical Vibrations.” <i> Physical Review E Statistical Nonlinear and Soft Matter Physics </i>. American Institute of Physics, 2017. <a href=\"https://doi.org/10.1103/PhysRevE.96.012404\">https://doi.org/10.1103/PhysRevE.96.012404</a>.","ieee":"S. Barzanjeh, V. Salari, J. Tuszynski, M. Cifra, and C. Simon, “Optomechanical proposal for monitoring microtubule mechanical vibrations,” <i> Physical Review E Statistical Nonlinear and Soft Matter Physics </i>, vol. 96, no. 1. American Institute of Physics, 2017."},"article_number":"012404","intvolume":"        96","day":"12","type":"journal_article","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1612.07061"}],"arxiv":1,"doi":"10.1103/PhysRevE.96.012404","date_created":"2018-12-11T11:48:00Z","status":"public","scopus_import":"1","publication_identifier":{"issn":["2470-0045"]},"publist_id":"6997","title":"Optomechanical proposal for monitoring microtubule mechanical vibrations","issue":"1"},{"date_updated":"2025-07-10T11:54:09Z","file_date_updated":"2020-07-14T12:47:47Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_name":"IST-2018-984-v1+1_Patakova_on_the_nonexistence_of_k-reptile_simplices_in_R_3_and_R_4_2017.pdf","content_type":"application/pdf","file_id":"5077","relation":"main_file","file_size":544042,"date_updated":"2020-07-14T12:47:47Z","access_level":"open_access","date_created":"2018-12-12T10:14:25Z","checksum":"a431e573e31df13bc0f66de3061006ec","creator":"system"}],"pubrep_id":"984","publication_status":"published","volume":24,"year":"2017","oa_version":"Submitted Version","_id":"701","oa":1,"page":"1-44","abstract":[{"text":"A d-dimensional simplex S is called a k-reptile (or a k-reptile simplex) if it can be tiled by k simplices with disjoint interiors that are all mutually congruent and similar to S. For d = 2, triangular k-reptiles exist for all k of the form a^2, 3a^2 or a^2+b^2 and they have been completely characterized by Snover, Waiveris, and Williams. On the other hand, the only k-reptile simplices that are known for d ≥ 3, have k = m^d, where m is a positive integer. We substantially simplify the proof by Matoušek and the second author that for d = 3, k-reptile tetrahedra can exist only for k = m^3. We then prove a weaker analogue of this result for d = 4 by showing that four-dimensional k-reptile simplices can exist only for k = m^2.","lang":"eng"}],"author":[{"full_name":"Kynčl, Jan","last_name":"Kynčl","first_name":"Jan"},{"id":"48B57058-F248-11E8-B48F-1D18A9856A87","full_name":"Patakova, Zuzana","orcid":"0000-0002-3975-1683","last_name":"Patakova","first_name":"Zuzana"}],"department":[{"_id":"UlWa"}],"issue":"3","title":"On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4","publication_identifier":{"issn":["1077-8926"]},"publist_id":"6996","corr_author":"1","ddc":["500"],"date_created":"2018-12-11T11:48:00Z","status":"public","has_accepted_license":"1","type":"journal_article","day":"14","intvolume":"        24","citation":{"ieee":"J. Kynčl and Z. Patakova, “On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4,” <i>The Electronic Journal of Combinatorics</i>, vol. 24, no. 3. International Press, pp. 1–44, 2017.","chicago":"Kynčl, Jan, and Zuzana Patakova. “On the Nonexistence of k Reptile Simplices in ℝ^3 and ℝ^4.” <i>The Electronic Journal of Combinatorics</i>. International Press, 2017.","ama":"Kynčl J, Patakova Z. On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4. <i>The Electronic Journal of Combinatorics</i>. 2017;24(3):1-44.","mla":"Kynčl, Jan, and Zuzana Patakova. “On the Nonexistence of k Reptile Simplices in ℝ^3 and ℝ^4.” <i>The Electronic Journal of Combinatorics</i>, vol. 24, no. 3, International Press, 2017, pp. 1–44.","ista":"Kynčl J, Patakova Z. 2017. On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4. The Electronic Journal of Combinatorics. 24(3), 1–44.","apa":"Kynčl, J., &#38; Patakova, Z. (2017). On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4. <i>The Electronic Journal of Combinatorics</i>. International Press.","short":"J. Kynčl, Z. Patakova, The Electronic Journal of Combinatorics 24 (2017) 1–44."},"date_published":"2017-07-14T00:00:00Z","quality_controlled":"1","article_processing_charge":"No","publication":"The Electronic Journal of Combinatorics","month":"07","publisher":"International Press","language":[{"iso":"eng"}]},{"status":"public","doi":"10.1126/scitranslmed.aao0972","date_created":"2018-12-11T11:48:01Z","type":"journal_article","day":"19","title":"The riddle of CHD8 haploinsufficiency in autism spectrum disorder","issue":"399","corr_author":"1","scopus_import":"1","publist_id":"6993","publication_identifier":{"issn":["1946-6234"]},"publication":"Science Translational Medicine","article_processing_charge":"No","quality_controlled":"1","language":[{"iso":"eng"}],"publisher":"American Association for the Advancement of Science","month":"07","intvolume":"         9","date_published":"2017-07-19T00:00:00Z","citation":{"apa":"Novarino, G. (2017). The riddle of CHD8 haploinsufficiency in autism spectrum disorder. <i>Science Translational Medicine</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/scitranslmed.aao0972\">https://doi.org/10.1126/scitranslmed.aao0972</a>","ista":"Novarino G. 2017. The riddle of CHD8 haploinsufficiency in autism spectrum disorder. Science Translational Medicine. 9(399), eaao0972.","short":"G. Novarino, Science Translational Medicine 9 (2017) eaao0972.","ama":"Novarino G. The riddle of CHD8 haploinsufficiency in autism spectrum disorder. <i>Science Translational Medicine</i>. 2017;9(399):eaao0972. doi:<a href=\"https://doi.org/10.1126/scitranslmed.aao0972\">10.1126/scitranslmed.aao0972</a>","chicago":"Novarino, Gaia. “The Riddle of CHD8 Haploinsufficiency in Autism Spectrum Disorder.” <i>Science Translational Medicine</i>. American Association for the Advancement of Science, 2017. <a href=\"https://doi.org/10.1126/scitranslmed.aao0972\">https://doi.org/10.1126/scitranslmed.aao0972</a>.","ieee":"G. Novarino, “The riddle of CHD8 haploinsufficiency in autism spectrum disorder,” <i>Science Translational Medicine</i>, vol. 9, no. 399. American Association for the Advancement of Science, p. eaao0972, 2017.","mla":"Novarino, Gaia. “The Riddle of CHD8 Haploinsufficiency in Autism Spectrum Disorder.” <i>Science Translational Medicine</i>, vol. 9, no. 399, American Association for the Advancement of Science, 2017, p. eaao0972, doi:<a href=\"https://doi.org/10.1126/scitranslmed.aao0972\">10.1126/scitranslmed.aao0972</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2017","volume":9,"publication_status":"published","date_updated":"2025-07-10T11:54:10Z","author":[{"id":"3E57A680-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7673-7178","full_name":"Novarino, Gaia","last_name":"Novarino","first_name":"Gaia"}],"abstract":[{"text":"Leading autism-associated mutation in mouse partially mimics human disorder.\r\n\r\n","lang":"eng"}],"department":[{"_id":"GaNo"}],"_id":"702","oa_version":"None","page":"eaao0972"},{"citation":{"short":"X. Geng, T. Maruo, K. Mandai, I. Supriyanto, M. Miyata, S. Sakakibara, A. Mizoguchi, Y. Takai, M. Mori, Genes to Cells 22 (2017) 715–722.","ista":"Geng X, Maruo T, Mandai K, Supriyanto I, Miyata M, Sakakibara S, Mizoguchi A, Takai Y, Mori M. 2017. Roles of afadin in functional differentiations of hippocampal mossy fiber synapse. Genes to Cells. 22(8), 715–722.","apa":"Geng, X., Maruo, T., Mandai, K., Supriyanto, I., Miyata, M., Sakakibara, S., … Mori, M. (2017). Roles of afadin in functional differentiations of hippocampal mossy fiber synapse. <i>Genes to Cells</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/gtc.12508\">https://doi.org/10.1111/gtc.12508</a>","mla":"Geng, Xiaoqi, et al. “Roles of Afadin in Functional Differentiations of Hippocampal Mossy Fiber Synapse.” <i>Genes to Cells</i>, vol. 22, no. 8, Wiley-Blackwell, 2017, pp. 715–22, doi:<a href=\"https://doi.org/10.1111/gtc.12508\">10.1111/gtc.12508</a>.","ieee":"X. Geng <i>et al.</i>, “Roles of afadin in functional differentiations of hippocampal mossy fiber synapse,” <i>Genes to Cells</i>, vol. 22, no. 8. Wiley-Blackwell, pp. 715–722, 2017.","chicago":"Geng, Xiaoqi, Tomohiko Maruo, Kenji Mandai, Irwan Supriyanto, Muneaki Miyata, Shotaro Sakakibara, Akira Mizoguchi, Yoshimi Takai, and Masahiro Mori. “Roles of Afadin in Functional Differentiations of Hippocampal Mossy Fiber Synapse.” <i>Genes to Cells</i>. Wiley-Blackwell, 2017. <a href=\"https://doi.org/10.1111/gtc.12508\">https://doi.org/10.1111/gtc.12508</a>.","ama":"Geng X, Maruo T, Mandai K, et al. Roles of afadin in functional differentiations of hippocampal mossy fiber synapse. <i>Genes to Cells</i>. 2017;22(8):715-722. doi:<a href=\"https://doi.org/10.1111/gtc.12508\">10.1111/gtc.12508</a>"},"date_published":"2017-08-01T00:00:00Z","intvolume":"        22","publisher":"Wiley-Blackwell","language":[{"iso":"eng"}],"month":"08","publication":"Genes to Cells","quality_controlled":"1","article_processing_charge":"No","publication_identifier":{"issn":["1356-9597"]},"publist_id":"6987","scopus_import":"1","title":"Roles of afadin in functional differentiations of hippocampal mossy fiber synapse","issue":"8","day":"01","type":"journal_article","status":"public","date_created":"2018-12-11T11:48:02Z","doi":"10.1111/gtc.12508","page":"715 - 722","_id":"706","oa_version":"None","department":[{"_id":"PeJo"}],"external_id":{"isi":["000409224300003"]},"author":[{"last_name":"Geng","first_name":"Xiaoqi","id":"3395256A-F248-11E8-B48F-1D18A9856A87","full_name":"Geng, Xiaoqi"},{"first_name":"Tomohiko","last_name":"Maruo","full_name":"Maruo, Tomohiko"},{"full_name":"Mandai, Kenji","first_name":"Kenji","last_name":"Mandai"},{"first_name":"Irwan","last_name":"Supriyanto","full_name":"Supriyanto, Irwan"},{"full_name":"Miyata, Muneaki","last_name":"Miyata","first_name":"Muneaki"},{"first_name":"Shotaro","last_name":"Sakakibara","full_name":"Sakakibara, Shotaro"},{"first_name":"Akira","last_name":"Mizoguchi","full_name":"Mizoguchi, Akira"},{"full_name":"Takai, Yoshimi","first_name":"Yoshimi","last_name":"Takai"},{"first_name":"Masahiro","last_name":"Mori","full_name":"Mori, Masahiro"}],"abstract":[{"text":"A hippocampal mossy fiber synapse has a complex structure and is implicated in learning and memory. In this synapse, the mossy fiber boutons attach to the dendritic shaft by puncta adherentia junctions and wrap around a multiply-branched spine, forming synaptic junctions. We have recently shown using transmission electron microscopy, immunoelectron microscopy and serial block face-scanning electron microscopy that atypical puncta adherentia junctions are formed in the afadin-deficient mossy fiber synapse and that the complexity of postsynaptic spines and mossy fiber boutons, the number of spine heads, the area of postsynaptic densities and the density of synaptic vesicles docked to active zones are decreased in the afadin-deficient synapse. We investigated here the roles of afadin in the functional differentiations of the mossy fiber synapse using the afadin-deficient mice. The electrophysiological studies showed that both the release probability of glutamate and the postsynaptic responsiveness to glutamate were markedly reduced, but not completely lost, in the afadin-deficient mossy fiber synapse, whereas neither long-term potentiation nor long-term depression was affected. These results indicate that afadin plays roles in the functional differentiations of the presynapse and the postsynapse of the hippocampal mossy fiber synapse.","lang":"eng"}],"date_updated":"2025-09-10T11:06:14Z","volume":22,"year":"2017","publication_status":"published","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"_id":"7064","oa_version":"Published Version","article_type":"original","oa":1,"author":[{"first_name":"Kimberly A","last_name":"Modic","full_name":"Modic, Kimberly A","orcid":"0000-0001-9760-3147","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425"},{"first_name":"B. J.","last_name":"Ramshaw","full_name":"Ramshaw, B. J."},{"last_name":"Betts","first_name":"J. B.","full_name":"Betts, J. B."},{"full_name":"Breznay, Nicholas P.","last_name":"Breznay","first_name":"Nicholas P."},{"full_name":"Analytis, James G.","first_name":"James G.","last_name":"Analytis"},{"last_name":"McDonald","first_name":"Ross D.","full_name":"McDonald, Ross D."},{"full_name":"Shekhter, Arkady","first_name":"Arkady","last_name":"Shekhter"}],"abstract":[{"text":"The complex antiferromagnetic orders observed in the honeycomb iridates are a double-edged sword in the search for a quantum spin-liquid: both attesting that the magnetic interactions provide many of the necessary ingredients, while simultaneously impeding access. Focus has naturally been drawn to the unusual magnetic orders that hint at the underlying spin correlations. However, the study of any particular broken symmetry state generally provides little clue about the possibility of other nearby ground states. Here we use magnetic fields approaching 100 Tesla to reveal the extent of the spin correlations in γ-lithium iridate. We find that a small component of field along the magnetic easy-axis melts long-range order, revealing a bistable, strongly correlated spin state. Far from the usual destruction of antiferromagnetism via spin polarization, the high-field state possesses only a small fraction of the total iridium moment, without evidence for long-range order up to the highest attainable magnetic fields.","lang":"eng"}],"extern":"1","date_updated":"2021-01-12T08:11:39Z","file_date_updated":"2020-07-14T12:47:48Z","file":[{"relation":"main_file","content_type":"application/pdf","file_id":"7091","file_size":1242958,"date_updated":"2020-07-14T12:47:48Z","file_name":"2017_NatureComm_Modic.pdf","checksum":"57fcd59d2f274b6b16cc89ea03cfd440","date_created":"2019-11-20T14:12:54Z","creator":"cziletti","access_level":"open_access"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2017","volume":8,"publication_status":"published","article_number":"180","intvolume":"         8","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"ista":"Modic KA, Ramshaw BJ, Betts JB, Breznay NP, Analytis JG, McDonald RD, Shekhter A. 2017. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. Nature Communications. 8(1), 180.","apa":"Modic, K. A., Ramshaw, B. J., Betts, J. B., Breznay, N. P., Analytis, J. G., McDonald, R. D., &#38; Shekhter, A. (2017). Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-017-00264-6\">https://doi.org/10.1038/s41467-017-00264-6</a>","short":"K.A. Modic, B.J. Ramshaw, J.B. Betts, N.P. Breznay, J.G. Analytis, R.D. McDonald, A. Shekhter, Nature Communications 8 (2017).","ama":"Modic KA, Ramshaw BJ, Betts JB, et al. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. <i>Nature Communications</i>. 2017;8(1). doi:<a href=\"https://doi.org/10.1038/s41467-017-00264-6\">10.1038/s41467-017-00264-6</a>","chicago":"Modic, Kimberly A, B. J. Ramshaw, J. B. Betts, Nicholas P. Breznay, James G. Analytis, Ross D. McDonald, and Arkady Shekhter. “Robust Spin Correlations at High Magnetic Fields in the Harmonic Honeycomb Iridates.” <i>Nature Communications</i>. Springer Nature, 2017. <a href=\"https://doi.org/10.1038/s41467-017-00264-6\">https://doi.org/10.1038/s41467-017-00264-6</a>.","ieee":"K. A. Modic <i>et al.</i>, “Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates,” <i>Nature Communications</i>, vol. 8, no. 1. Springer Nature, 2017.","mla":"Modic, Kimberly A., et al. “Robust Spin Correlations at High Magnetic Fields in the Harmonic Honeycomb Iridates.” <i>Nature Communications</i>, vol. 8, no. 1, 180, Springer Nature, 2017, doi:<a href=\"https://doi.org/10.1038/s41467-017-00264-6\">10.1038/s41467-017-00264-6</a>."},"date_published":"2017-08-01T00:00:00Z","publication":"Nature Communications","quality_controlled":"1","article_processing_charge":"No","publisher":"Springer Nature","language":[{"iso":"eng"}],"month":"08","license":"https://creativecommons.org/licenses/by/4.0/","issue":"1","title":"Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates","publication_identifier":{"issn":["2041-1723"]},"ddc":["530"],"status":"public","has_accepted_license":"1","doi":"10.1038/s41467-017-00264-6","date_created":"2019-11-19T13:11:55Z","day":"01","type":"journal_article"},{"status":"public","date_created":"2019-11-19T13:12:27Z","doi":"10.1103/physrevb.95.121106","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2017","volume":95,"publication_status":"published","type":"journal_article","day":"27","date_updated":"2021-01-12T08:11:39Z","title":"Thermodynamic constraints on the amplitude of quantum oscillations","issue":"12","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"publication":"Physical Review B","author":[{"full_name":"Shekhter, Arkady","first_name":"Arkady","last_name":"Shekhter"},{"last_name":"Modic","first_name":"Kimberly A","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425","orcid":"0000-0001-9760-3147","full_name":"Modic, Kimberly A"},{"first_name":"R. D.","last_name":"McDonald","full_name":"McDonald, R. D."},{"first_name":"B. J.","last_name":"Ramshaw","full_name":"Ramshaw, B. J."}],"quality_controlled":"1","extern":"1","abstract":[{"text":"Magneto-quantum oscillation experiments in high-temperature superconductors show a strong thermally induced suppression of the oscillation amplitude approaching the critical dopings [B. J. Ramshaw et al., Science 348, 317 (2014); H. Shishido et al., Phys. Rev. Lett. 104, 057008 (2010); P. Walmsley et al., Phys. Rev. Lett. 110, 257002 (2013)]—in support of a quantum-critical origin of their phase diagrams. We suggest that, in addition to a thermodynamic mass enhancement, these experiments may directly indicate the increasing role of quantum fluctuations that suppress the quantum oscillation amplitude through inelastic scattering. We show that the traditional theoretical approaches beyond Lifshitz-Kosevich to calculate the oscillation amplitude in correlated metals result in a contradiction with the third law of thermodynamics and suggest a way to rectify this problem.","lang":"eng"}],"article_processing_charge":"No","publisher":"APS","language":[{"iso":"eng"}],"month":"03","_id":"7065","article_number":"121106","intvolume":"        95","oa_version":"None","article_type":"original","citation":{"ama":"Shekhter A, Modic KA, McDonald RD, Ramshaw BJ. Thermodynamic constraints on the amplitude of quantum oscillations. <i>Physical Review B</i>. 2017;95(12). doi:<a href=\"https://doi.org/10.1103/physrevb.95.121106\">10.1103/physrevb.95.121106</a>","chicago":"Shekhter, Arkady, Kimberly A Modic, R. D. McDonald, and B. J. Ramshaw. “Thermodynamic Constraints on the Amplitude of Quantum Oscillations.” <i>Physical Review B</i>. APS, 2017. <a href=\"https://doi.org/10.1103/physrevb.95.121106\">https://doi.org/10.1103/physrevb.95.121106</a>.","ieee":"A. Shekhter, K. A. Modic, R. D. McDonald, and B. J. Ramshaw, “Thermodynamic constraints on the amplitude of quantum oscillations,” <i>Physical Review B</i>, vol. 95, no. 12. APS, 2017.","mla":"Shekhter, Arkady, et al. “Thermodynamic Constraints on the Amplitude of Quantum Oscillations.” <i>Physical Review B</i>, vol. 95, no. 12, 121106, APS, 2017, doi:<a href=\"https://doi.org/10.1103/physrevb.95.121106\">10.1103/physrevb.95.121106</a>.","ista":"Shekhter A, Modic KA, McDonald RD, Ramshaw BJ. 2017. Thermodynamic constraints on the amplitude of quantum oscillations. Physical Review B. 95(12), 121106.","apa":"Shekhter, A., Modic, K. A., McDonald, R. D., &#38; Ramshaw, B. J. (2017). Thermodynamic constraints on the amplitude of quantum oscillations. <i>Physical Review B</i>. APS. <a href=\"https://doi.org/10.1103/physrevb.95.121106\">https://doi.org/10.1103/physrevb.95.121106</a>","short":"A. Shekhter, K.A. Modic, R.D. McDonald, B.J. Ramshaw, Physical Review B 95 (2017)."},"date_published":"2017-03-27T00:00:00Z"},{"oa":1,"article_type":"original","oa_version":"Published Version","_id":"7066","abstract":[{"lang":"eng","text":"The excitonic insulator phase has long been predicted to form in proximity to a band gap opening in the underlying band structure. The character of the pairing is conjectured to crossover from weak (BCS-like) to strong coupling (BEC-like) as the underlying band structure is tuned from the metallic to the insulating side of the gap opening. Here we report the high-magnetic field phase diagram of graphite to exhibit just such a crossover. By way of comprehensive angle-resolved magnetoresistance measurements, we demonstrate that the underlying band gap opening occurs inside the magnetic field-induced phase, paving the way for a systematic study of the BCS-BEC-like crossover by means of conventional condensed matter probes."}],"extern":"1","author":[{"first_name":"Z.","last_name":"Zhu","full_name":"Zhu, Z."},{"last_name":"McDonald","first_name":"R. D.","full_name":"McDonald, R. D."},{"full_name":"Shekhter, A.","last_name":"Shekhter","first_name":"A."},{"full_name":"Ramshaw, B. J.","last_name":"Ramshaw","first_name":"B. J."},{"last_name":"Modic","first_name":"Kimberly A","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425","full_name":"Modic, Kimberly A","orcid":"0000-0001-9760-3147"},{"last_name":"Balakirev","first_name":"F. F.","full_name":"Balakirev, F. F."},{"full_name":"Harrison, N.","last_name":"Harrison","first_name":"N."}],"file_date_updated":"2020-07-14T12:47:48Z","date_updated":"2021-01-12T08:11:40Z","publication_status":"published","volume":7,"year":"2017","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"creator":"dernst","date_created":"2019-11-26T11:58:58Z","checksum":"801f80b04ecd1ead95c8ab9827cbe067","access_level":"open_access","date_updated":"2020-07-14T12:47:48Z","file_size":1571567,"file_id":"7111","content_type":"application/pdf","relation":"main_file","file_name":"2017_ScientificReports_Zhu.pdf"}],"citation":{"mla":"Zhu, Z., et al. “Magnetic Field Tuning of an Excitonic Insulator between the Weak and Strong Coupling Regimes in Quantum Limit Graphite.” <i>Scientific Reports</i>, vol. 7, 1733, Springer Nature, 2017, doi:<a href=\"https://doi.org/10.1038/s41598-017-01693-5\">10.1038/s41598-017-01693-5</a>.","chicago":"Zhu, Z., R. D. McDonald, A. Shekhter, B. J. Ramshaw, Kimberly A Modic, F. F. Balakirev, and N. Harrison. “Magnetic Field Tuning of an Excitonic Insulator between the Weak and Strong Coupling Regimes in Quantum Limit Graphite.” <i>Scientific Reports</i>. Springer Nature, 2017. <a href=\"https://doi.org/10.1038/s41598-017-01693-5\">https://doi.org/10.1038/s41598-017-01693-5</a>.","ieee":"Z. Zhu <i>et al.</i>, “Magnetic field tuning of an excitonic insulator between the weak and strong coupling regimes in quantum limit graphite,” <i>Scientific Reports</i>, vol. 7. Springer Nature, 2017.","ama":"Zhu Z, McDonald RD, Shekhter A, et al. Magnetic field tuning of an excitonic insulator between the weak and strong coupling regimes in quantum limit graphite. <i>Scientific Reports</i>. 2017;7. doi:<a href=\"https://doi.org/10.1038/s41598-017-01693-5\">10.1038/s41598-017-01693-5</a>","short":"Z. Zhu, R.D. McDonald, A. Shekhter, B.J. Ramshaw, K.A. Modic, F.F. Balakirev, N. Harrison, Scientific Reports 7 (2017).","ista":"Zhu Z, McDonald RD, Shekhter A, Ramshaw BJ, Modic KA, Balakirev FF, Harrison N. 2017. Magnetic field tuning of an excitonic insulator between the weak and strong coupling regimes in quantum limit graphite. Scientific Reports. 7, 1733.","apa":"Zhu, Z., McDonald, R. D., Shekhter, A., Ramshaw, B. J., Modic, K. A., Balakirev, F. F., &#38; Harrison, N. (2017). Magnetic field tuning of an excitonic insulator between the weak and strong coupling regimes in quantum limit graphite. <i>Scientific Reports</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41598-017-01693-5\">https://doi.org/10.1038/s41598-017-01693-5</a>"},"date_published":"2017-05-04T00:00:00Z","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"article_number":"1733","intvolume":"         7","month":"05","publisher":"Springer Nature","language":[{"iso":"eng"}],"quality_controlled":"1","article_processing_charge":"No","publication":"Scientific Reports","publication_identifier":{"issn":["2045-2322"]},"ddc":["530"],"title":"Magnetic field tuning of an excitonic insulator between the weak and strong coupling regimes in quantum limit graphite","day":"04","type":"journal_article","doi":"10.1038/s41598-017-01693-5","date_created":"2019-11-19T13:17:46Z","status":"public","has_accepted_license":"1"},{"ddc":["530"],"publication_identifier":{"issn":["2397-4648"]},"title":"Broken rotational symmetry on the Fermi surface of a high-Tc superconductor","issue":"1","type":"journal_article","day":"13","status":"public","has_accepted_license":"1","doi":"10.1038/s41535-017-0013-z","date_created":"2019-11-19T13:18:30Z","date_published":"2017-02-13T00:00:00Z","citation":{"ista":"Ramshaw BJ, Harrison N, Sebastian SE, Ghannadzadeh S, Modic KA, Bonn DA, Hardy WN, Liang R, Goddard PA. 2017. Broken rotational symmetry on the Fermi surface of a high-Tc superconductor. npj Quantum Materials. 2(1), 8.","apa":"Ramshaw, B. J., Harrison, N., Sebastian, S. E., Ghannadzadeh, S., Modic, K. A., Bonn, D. A., … Goddard, P. A. (2017). Broken rotational symmetry on the Fermi surface of a high-Tc superconductor. <i>Npj Quantum Materials</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41535-017-0013-z\">https://doi.org/10.1038/s41535-017-0013-z</a>","short":"B.J. Ramshaw, N. Harrison, S.E. Sebastian, S. Ghannadzadeh, K.A. Modic, D.A. Bonn, W.N. Hardy, R. Liang, P.A. Goddard, Npj Quantum Materials 2 (2017).","chicago":"Ramshaw, B. J., N. Harrison, S. E. Sebastian, S. Ghannadzadeh, Kimberly A Modic, D. A. Bonn, W. N. Hardy, Ruixing Liang, and P. A. Goddard. “Broken Rotational Symmetry on the Fermi Surface of a High-Tc Superconductor.” <i>Npj Quantum Materials</i>. Springer Nature, 2017. <a href=\"https://doi.org/10.1038/s41535-017-0013-z\">https://doi.org/10.1038/s41535-017-0013-z</a>.","ieee":"B. J. Ramshaw <i>et al.</i>, “Broken rotational symmetry on the Fermi surface of a high-Tc superconductor,” <i>npj Quantum Materials</i>, vol. 2, no. 1. Springer Nature, 2017.","ama":"Ramshaw BJ, Harrison N, Sebastian SE, et al. Broken rotational symmetry on the Fermi surface of a high-Tc superconductor. <i>npj Quantum Materials</i>. 2017;2(1). doi:<a href=\"https://doi.org/10.1038/s41535-017-0013-z\">10.1038/s41535-017-0013-z</a>","mla":"Ramshaw, B. J., et al. “Broken Rotational Symmetry on the Fermi Surface of a High-Tc Superconductor.” <i>Npj Quantum Materials</i>, vol. 2, no. 1, 8, Springer Nature, 2017, doi:<a href=\"https://doi.org/10.1038/s41535-017-0013-z\">10.1038/s41535-017-0013-z</a>."},"article_number":"8","intvolume":"         2","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"language":[{"iso":"eng"}],"publisher":"Springer Nature","month":"02","publication":"npj Quantum Materials","article_processing_charge":"No","quality_controlled":"1","file_date_updated":"2020-07-14T12:47:48Z","date_updated":"2021-01-12T08:11:40Z","volume":2,"year":"2017","publication_status":"published","file":[{"file_name":"2017_NPJ_Ramshaw.pdf","content_type":"application/pdf","file_id":"7115","relation":"main_file","file_size":1383236,"date_updated":"2020-07-14T12:47:48Z","access_level":"open_access","date_created":"2019-11-26T12:57:11Z","checksum":"433a26a7e14206e139f3fec2c8ee8623","creator":"dernst"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","oa":1,"_id":"7067","oa_version":"Published Version","author":[{"last_name":"Ramshaw","first_name":"B. J.","full_name":"Ramshaw, B. J."},{"full_name":"Harrison, N.","first_name":"N.","last_name":"Harrison"},{"full_name":"Sebastian, S. E.","first_name":"S. E.","last_name":"Sebastian"},{"full_name":"Ghannadzadeh, S.","first_name":"S.","last_name":"Ghannadzadeh"},{"last_name":"Modic","first_name":"Kimberly A","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425","orcid":"0000-0001-9760-3147","full_name":"Modic, Kimberly A"},{"full_name":"Bonn, D. A.","last_name":"Bonn","first_name":"D. A."},{"full_name":"Hardy, W. N.","first_name":"W. N.","last_name":"Hardy"},{"first_name":"Ruixing","last_name":"Liang","full_name":"Liang, Ruixing"},{"first_name":"P. A.","last_name":"Goddard","full_name":"Goddard, P. A."}],"abstract":[{"text":"Broken fourfold rotational (C4) symmetry is observed in the experimental properties of several classes of unconventional superconductors. It has been proposed that this symmetry breaking is important for superconducting pairing in these materials, but in the high-Tc cuprates this broken symmetry has never been observed on the Fermi surface. Here we report a pronounced anisotropy in the angle dependence of the interlayer magnetoresistance of the underdoped high transition temperature (high-Tc) superconductor YBa2Cu3O6.58, directly revealing broken C4 symmetry on the Fermi surface. Moreover, we demonstrate that this Fermi surface has C2 symmetry of the type produced by a uniaxial or anisotropic density-wave phase. This establishes the central role of C4 symmetry breaking in the Fermi surface reconstruction of YBa2Cu3O6+δ , and suggests a striking degree of universality among unconventional superconductors.","lang":"eng"}],"extern":"1"},{"date_updated":"2025-09-10T11:04:43Z","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","year":"2017","volume":49,"publication_status":"published","project":[{"name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734"}],"_id":"707","ec_funded":1,"oa_version":"Preprint","page":"690 - 693","oa":1,"author":[{"last_name":"Akopyan","first_name":"Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2548-617X","full_name":"Akopyan, Arseniy"},{"first_name":"Roman","last_name":"Karasev","full_name":"Karasev, Roman"}],"external_id":{"arxiv":["1608.06279"],"isi":["000407045900012"]},"abstract":[{"text":"We answer a question of M. Gromov on the waist of the unit ball.","lang":"eng"}],"department":[{"_id":"HeEd"}],"issue":"4","title":"A tight estimate for the waist of the ball ","corr_author":"1","publication_identifier":{"issn":["0024-6093"]},"scopus_import":"1","publist_id":"6982","status":"public","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1608.06279"}],"date_created":"2018-12-11T11:48:02Z","doi":"10.1112/blms.12062","day":"01","type":"journal_article","intvolume":"        49","date_published":"2017-08-01T00:00:00Z","citation":{"apa":"Akopyan, A., &#38; Karasev, R. (2017). A tight estimate for the waist of the ball . <i>Bulletin of the London Mathematical Society</i>. Wiley. <a href=\"https://doi.org/10.1112/blms.12062\">https://doi.org/10.1112/blms.12062</a>","ista":"Akopyan A, Karasev R. 2017. A tight estimate for the waist of the ball . Bulletin of the London Mathematical Society. 49(4), 690–693.","short":"A. Akopyan, R. Karasev, Bulletin of the London Mathematical Society 49 (2017) 690–693.","ieee":"A. Akopyan and R. Karasev, “A tight estimate for the waist of the ball ,” <i>Bulletin of the London Mathematical Society</i>, vol. 49, no. 4. Wiley, pp. 690–693, 2017.","chicago":"Akopyan, Arseniy, and Roman Karasev. “A Tight Estimate for the Waist of the Ball .” <i>Bulletin of the London Mathematical Society</i>. Wiley, 2017. <a href=\"https://doi.org/10.1112/blms.12062\">https://doi.org/10.1112/blms.12062</a>.","ama":"Akopyan A, Karasev R. A tight estimate for the waist of the ball . <i>Bulletin of the London Mathematical Society</i>. 2017;49(4):690-693. doi:<a href=\"https://doi.org/10.1112/blms.12062\">10.1112/blms.12062</a>","mla":"Akopyan, Arseniy, and Roman Karasev. “A Tight Estimate for the Waist of the Ball .” <i>Bulletin of the London Mathematical Society</i>, vol. 49, no. 4, Wiley, 2017, pp. 690–93, doi:<a href=\"https://doi.org/10.1112/blms.12062\">10.1112/blms.12062</a>."},"publication":"Bulletin of the London Mathematical Society","article_processing_charge":"No","quality_controlled":"1","language":[{"iso":"eng"}],"publisher":"Wiley","month":"08"},{"corr_author":"1","ddc":["576","610"],"publist_id":"6983","publication_identifier":{"issn":["1544-9173"]},"scopus_import":"1","title":"Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum","issue":"8","day":"22","type":"journal_article","has_accepted_license":"1","status":"public","date_created":"2018-12-11T11:48:03Z","doi":"10.1371/journal.pbio.2001993","date_published":"2017-08-22T00:00:00Z","citation":{"ama":"Nagy B, Hovhannisyan A, Barzan R, Chen T, Kukley M. Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum. <i>PLoS Biology</i>. 2017;15(8). doi:<a href=\"https://doi.org/10.1371/journal.pbio.2001993\">10.1371/journal.pbio.2001993</a>","ieee":"B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, and M. Kukley, “Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum,” <i>PLoS Biology</i>, vol. 15, no. 8. Public Library of Science, 2017.","chicago":"Nagy, Balint, Anahit Hovhannisyan, Ruxandra Barzan, Ting Chen, and Maria Kukley. “Different Patterns of Neuronal Activity Trigger Distinct Responses of Oligodendrocyte Precursor Cells in the Corpus Callosum.” <i>PLoS Biology</i>. Public Library of Science, 2017. <a href=\"https://doi.org/10.1371/journal.pbio.2001993\">https://doi.org/10.1371/journal.pbio.2001993</a>.","mla":"Nagy, Balint, et al. “Different Patterns of Neuronal Activity Trigger Distinct Responses of Oligodendrocyte Precursor Cells in the Corpus Callosum.” <i>PLoS Biology</i>, vol. 15, no. 8, e2001993, Public Library of Science, 2017, doi:<a href=\"https://doi.org/10.1371/journal.pbio.2001993\">10.1371/journal.pbio.2001993</a>.","apa":"Nagy, B., Hovhannisyan, A., Barzan, R., Chen, T., &#38; Kukley, M. (2017). Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum. <i>PLoS Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pbio.2001993\">https://doi.org/10.1371/journal.pbio.2001993</a>","ista":"Nagy B, Hovhannisyan A, Barzan R, Chen T, Kukley M. 2017. Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum. PLoS Biology. 15(8), e2001993.","short":"B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, M. Kukley, PLoS Biology 15 (2017)."},"article_number":"e2001993","intvolume":"        15","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"language":[{"iso":"eng"}],"publisher":"Public Library of Science","month":"08","publication":"PLoS Biology","article_processing_charge":"No","quality_controlled":"1","file_date_updated":"2020-07-14T12:47:49Z","date_updated":"2025-09-10T11:05:19Z","year":"2017","volume":15,"publication_status":"published","pubrep_id":"889","file":[{"date_updated":"2020-07-14T12:47:49Z","file_size":18155365,"content_type":"application/pdf","file_id":"5156","relation":"main_file","file_name":"IST-2017-889-v1+1_journal.pbio.2001993.pdf","creator":"system","date_created":"2018-12-12T10:15:35Z","checksum":"0c974f430682dc832ea7b27ab5a93124","access_level":"open_access"}],"isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa":1,"_id":"708","oa_version":"Published Version","department":[{"_id":"SaSi"}],"author":[{"last_name":"Nagy","first_name":"Balint","id":"30F830CE-02D1-11E9-9BAA-DAF4881429F2","full_name":"Nagy, Balint","orcid":"0000-0002-4002-4686"},{"first_name":"Anahit","last_name":"Hovhannisyan","full_name":"Hovhannisyan, Anahit"},{"full_name":"Barzan, Ruxandra","first_name":"Ruxandra","last_name":"Barzan"},{"first_name":"Ting","last_name":"Chen","full_name":"Chen, Ting"},{"last_name":"Kukley","first_name":"Maria","full_name":"Kukley, Maria"}],"external_id":{"isi":["000408756200005"]},"abstract":[{"lang":"eng","text":"In the developing and adult brain, oligodendrocyte precursor cells (OPCs) are influenced by neuronal activity: they are involved in synaptic signaling with neurons, and their proliferation and differentiation into myelinating glia can be altered by transient changes in neuronal firing. An important question that has been unanswered is whether OPCs can discriminate different patterns of neuronal activity and respond to them in a distinct way. Here, we demonstrate in brain slices that the pattern of neuronal activity determines the functional changes triggered at synapses between axons and OPCs. Furthermore, we show that stimulation of the corpus callosum at different frequencies in vivo affects proliferation and differentiation of OPCs in a dissimilar way. Our findings suggest that neurons do not influence OPCs in “all-or-none” fashion but use their firing pattern to tune the response and behavior of these nonneuronal cells."}]},{"publist_id":"6981","publication_identifier":{"issn":["1065-6995"]},"scopus_import":"1","issue":"8","title":"Gene expression changes of thermo sensitive transient receptor potential channels in obese mice","day":"01","type":"journal_article","date_created":"2018-12-11T11:48:04Z","doi":"10.1002/cbin.10783","status":"public","citation":{"short":"W. Sun, C. Li, Y. Zhang, C. Jiang, M.-Z. Zhai, Q. Zhou, L. Xiao, Q. Deng, Cell Biology International 41 (2017) 908–913.","ista":"Sun W, Li C, Zhang Y, Jiang C, Zhai M-Z, Zhou Q, Xiao L, Deng Q. 2017. Gene expression changes of thermo sensitive transient receptor potential channels in obese mice. Cell Biology International. 41(8), 908–913.","apa":"Sun, W., Li, C., Zhang, Y., Jiang, C., Zhai, M.-Z., Zhou, Q., … Deng, Q. (2017). Gene expression changes of thermo sensitive transient receptor potential channels in obese mice. <i>Cell Biology International</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/cbin.10783\">https://doi.org/10.1002/cbin.10783</a>","mla":"Sun, Wuping, et al. “Gene Expression Changes of Thermo Sensitive Transient Receptor Potential Channels in Obese Mice.” <i>Cell Biology International</i>, vol. 41, no. 8, Wiley-Blackwell, 2017, pp. 908–13, doi:<a href=\"https://doi.org/10.1002/cbin.10783\">10.1002/cbin.10783</a>.","ama":"Sun W, Li C, Zhang Y, et al. Gene expression changes of thermo sensitive transient receptor potential channels in obese mice. <i>Cell Biology International</i>. 2017;41(8):908-913. doi:<a href=\"https://doi.org/10.1002/cbin.10783\">10.1002/cbin.10783</a>","ieee":"W. Sun <i>et al.</i>, “Gene expression changes of thermo sensitive transient receptor potential channels in obese mice,” <i>Cell Biology International</i>, vol. 41, no. 8. Wiley-Blackwell, pp. 908–913, 2017.","chicago":"Sun, Wuping, Chen Li, Yonghong Zhang, Changyu Jiang, Ming-Zhu Zhai, Qian Zhou, Lizu Xiao, and Qiwen Deng. “Gene Expression Changes of Thermo Sensitive Transient Receptor Potential Channels in Obese Mice.” <i>Cell Biology International</i>. Wiley-Blackwell, 2017. <a href=\"https://doi.org/10.1002/cbin.10783\">https://doi.org/10.1002/cbin.10783</a>."},"date_published":"2017-08-01T00:00:00Z","intvolume":"        41","month":"08","publisher":"Wiley-Blackwell","language":[{"iso":"eng"}],"quality_controlled":"1","article_processing_charge":"No","publication":"Cell Biology International","date_updated":"2025-09-10T11:03:51Z","publication_status":"published","year":"2017","volume":41,"isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","page":"908 - 913","oa_version":"None","_id":"709","department":[{"_id":"RySh"}],"abstract":[{"lang":"eng","text":"Adipose tissues play key roles in energy homeostasis. Brown adipocytes and beige adipocytes in white adipose tissue (WAT) share the similar characters of thermogenesis, both of them could be potential targets for obesity management. Several thermo-sensitive transient receptor potential channels (thermoTRPs) are shown to be involved in adipocyte biology. However, the expression pattern of thermoTRPs in adipose tissues from obese mice is still unknown. The mRNA expression of thermoTRPs in subcutaneous WAT (sWAT) and interscapular brown adipose tissue (iBAT) from lean and obese mice were measured using reverse transcriptase-quantitative PCRs (RT-qPCR). The results demonstrated that all 10 thermoTRPs are expressed in both iBAT and sWAT, and without significant difference in the mRNA expression level of thermoTRPs between these two tissues. Moreover, Trpv1 and Trpv3 mRNA expression levels in both iBAT and sWAT were significantly decreased in high fat diet (HFD)-induced obese mice and db/db (leptin receptor deficient) mice. Trpm2 mRNA expression level was significantly decreased only in sWAT from HFD-induced obese mice and db/db mice. On the other hand, Trpv2 and Trpv4 mRNA expression levels in iBAT and sWAT were significantly increased in HFD-induced obese mice and db/db mice. Taken together, we conclude that all 10 thermoTRPs are expressed in iBAT and sWAT. And several thermoTRPs differentially expressed in adipose tissues from HFD-induced obese mice and db/db mice, suggesting a potential involvement in anti-obesity regulations."}],"external_id":{"isi":["000406246300010"]},"author":[{"full_name":"Sun, Wuping","last_name":"Sun","first_name":"Wuping"},{"first_name":"Chen","last_name":"Li","full_name":"Li, Chen"},{"full_name":"Zhang, Yonghong","last_name":"Zhang","first_name":"Yonghong"},{"full_name":"Jiang, Changyu","last_name":"Jiang","first_name":"Changyu"},{"first_name":"Ming-Zhu","last_name":"Zhai","full_name":"Zhai, Ming-Zhu","id":"34009CFA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Zhou, Qian","last_name":"Zhou","first_name":"Qian"},{"full_name":"Xiao, Lizu","first_name":"Lizu","last_name":"Xiao"},{"full_name":"Deng, Qiwen","last_name":"Deng","first_name":"Qiwen"}]},{"article_number":"20","intvolume":"        81","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"conference":{"name":"20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX","end_date":"2017-08-18","location":"Berkeley, USA","start_date":"2017-08-18"},"date_published":"2017-08-01T00:00:00Z","citation":{"mla":"Obremski, Maciej, and Maciej Skórski. <i>Renyi Entropy Estimation Revisited</i>. Vol. 81, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:<a href=\"https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20\">10.4230/LIPIcs.APPROX-RANDOM.2017.20</a>.","chicago":"Obremski, Maciej, and Maciej Skórski. “Renyi Entropy Estimation Revisited,” Vol. 81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. <a href=\"https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20\">https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20</a>.","ieee":"M. Obremski and M. Skórski, “Renyi entropy estimation revisited,” presented at the 20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Berkeley, USA, 2017, vol. 81.","ama":"Obremski M, Skórski M. Renyi entropy estimation revisited. In: Vol 81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:<a href=\"https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20\">10.4230/LIPIcs.APPROX-RANDOM.2017.20</a>","short":"M. Obremski, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.","ista":"Obremski M, Skórski M. 2017. Renyi entropy estimation revisited. 20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, LIPIcs, vol. 81, 20.","apa":"Obremski, M., &#38; Skórski, M. (2017). Renyi entropy estimation revisited (Vol. 81). Presented at the 20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Berkeley, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20\">https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20</a>"},"article_processing_charge":"No","quality_controlled":"1","language":[{"iso":"eng"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","month":"08","title":"Renyi entropy estimation revisited","ddc":["005","600"],"corr_author":"1","publist_id":"6979","publication_identifier":{"issn":["1868-8969"]},"scopus_import":"1","status":"public","has_accepted_license":"1","doi":"10.4230/LIPIcs.APPROX-RANDOM.2017.20","date_created":"2018-12-11T11:48:04Z","type":"conference","day":"01","_id":"710","ec_funded":1,"project":[{"name":"Teaching Old Crypto New Tricks","call_identifier":"H2020","grant_number":"682815","_id":"258AA5B2-B435-11E9-9278-68D0E5697425"}],"oa_version":"Published Version","oa":1,"author":[{"full_name":"Obremski, Maciej","first_name":"Maciej","last_name":"Obremski"},{"first_name":"Maciej","last_name":"Skórski","full_name":"Skórski, Maciej","id":"EC09FA6A-02D0-11E9-8223-86B7C91467DD"}],"abstract":[{"text":"We revisit the problem of estimating entropy of discrete distributions from independent samples, studied recently by Acharya, Orlitsky, Suresh and Tyagi (SODA 2015), improving their upper and lower bounds on the necessary sample size n. For estimating Renyi entropy of order alpha, up to constant accuracy and error probability, we show the following * Upper bounds n = O(1) 2^{(1-1/alpha)H_alpha} for integer alpha&gt;1, as the worst case over distributions with Renyi entropy equal to H_alpha. * Lower bounds n = Omega(1) K^{1-1/alpha} for any real alpha&gt;1, with the constant being an inverse polynomial of the accuracy, as the worst case over all distributions on K elements. Our upper bounds essentially replace the alphabet size by a factor exponential in the entropy, which offers improvements especially in low or medium entropy regimes (interesting for example in anomaly detection). As for the lower bounds, our proof explicitly shows how the complexity depends on both alphabet and accuracy, partially solving the open problem posted in previous works. The argument for upper bounds derives a clean identity for the variance of falling-power sum of a multinomial distribution. Our approach for lower bounds utilizes convex optimization to find a distribution with possibly worse estimation performance, and may be of independent interest as a tool to work with Le Cam’s two point method. ","lang":"eng"}],"department":[{"_id":"KrPi"}],"date_updated":"2025-07-10T11:54:14Z","alternative_title":["LIPIcs"],"file_date_updated":"2020-07-14T12:47:49Z","file":[{"access_level":"open_access","checksum":"89225c7dcec2c93838458c9102858985","date_created":"2018-12-12T10:13:10Z","creator":"system","file_name":"IST-2017-888-v1+1_LIPIcs-APPROX-RANDOM-2017-20.pdf","relation":"main_file","file_id":"4991","content_type":"application/pdf","date_updated":"2020-07-14T12:47:49Z","file_size":604813}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2017","volume":81,"pubrep_id":"888","publication_status":"published"},{"quality_controlled":"1","article_processing_charge":"No","month":"08","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","language":[{"iso":"eng"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"article_number":"5","intvolume":"        85","citation":{"ista":"Chatterjee K, Henzinger TA, Otop J. 2017. Bidirectional nested weighted automata. 28th International Conference on Concurrency Theory, CONCUR, LIPIcs, vol. 85, 5.","apa":"Chatterjee, K., Henzinger, T. A., &#38; Otop, J. (2017). Bidirectional nested weighted automata (Vol. 85). Presented at the 28th International Conference on Concurrency Theory, CONCUR, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2017.5\">https://doi.org/10.4230/LIPIcs.CONCUR.2017.5</a>","short":"K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.","ama":"Chatterjee K, Henzinger TA, Otop J. Bidirectional nested weighted automata. In: Vol 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2017.5\">10.4230/LIPIcs.CONCUR.2017.5</a>","ieee":"K. Chatterjee, T. A. Henzinger, and J. Otop, “Bidirectional nested weighted automata,” presented at the 28th International Conference on Concurrency Theory, CONCUR, Berlin, Germany, 2017, vol. 85.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Bidirectional Nested Weighted Automata,” Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2017.5\">https://doi.org/10.4230/LIPIcs.CONCUR.2017.5</a>.","mla":"Chatterjee, Krishnendu, et al. <i>Bidirectional Nested Weighted Automata</i>. Vol. 85, 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2017.5\">10.4230/LIPIcs.CONCUR.2017.5</a>."},"date_published":"2017-08-01T00:00:00Z","conference":{"location":"Berlin, Germany","start_date":"2017-09-05","end_date":"2017-09-08","name":"28th International Conference on Concurrency Theory, CONCUR"},"date_created":"2018-12-11T11:48:04Z","doi":"10.4230/LIPIcs.CONCUR.2017.5","has_accepted_license":"1","status":"public","day":"01","type":"conference","title":"Bidirectional nested weighted automata","scopus_import":"1","publist_id":"6976","publication_identifier":{"issn":["1868-8969"]},"ddc":["004","005"],"corr_author":"1","abstract":[{"lang":"eng","text":"Nested weighted automata (NWA) present a robust and convenient automata-theoretic formalism for quantitative specifications. Previous works have considered NWA that processed input words only in the forward direction. It is natural to allow the automata to process input words backwards as well, for example, to measure the maximal or average time between a response and the preceding request. We therefore introduce and study bidirectional NWA that can process input words in both directions. First, we show that bidirectional NWA can express interesting quantitative properties that are not expressible by forward-only NWA. Second, for the fundamental decision problems of emptiness and universality, we establish decidability and complexity results for the new framework which match the best-known results for the special case of forward-only NWA. Thus, for NWA, the increased expressiveness of bidirectionality is achieved at no additional computational complexity. This is in stark contrast to the unweighted case, where bidirectional finite automata are no more expressive but exponentially more succinct than their forward-only counterparts."}],"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A"},{"last_name":"Otop","first_name":"Jan","id":"2FC5DA74-F248-11E8-B48F-1D18A9856A87","full_name":"Otop, Jan"}],"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"oa_version":"Published Version","_id":"711","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_id":"4661","content_type":"application/pdf","relation":"main_file","date_updated":"2020-07-14T12:47:49Z","file_size":570294,"file_name":"IST-2017-886-v1+1_LIPIcs-CONCUR-2017-5.pdf","date_created":"2018-12-12T10:08:02Z","checksum":"d2bda4783821a6358333fe27f11f4737","creator":"system","access_level":"open_access"}],"publication_status":"published","pubrep_id":"886","volume":85,"year":"2017","date_updated":"2025-07-10T11:54:15Z","file_date_updated":"2020-07-14T12:47:49Z","alternative_title":["LIPIcs"]},{"scopus_import":"1","publist_id":"6975","publication_identifier":{"issn":["0362-546X"]},"corr_author":"1","title":"Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations","type":"journal_article","day":"01","status":"public","doi":"10.1016/j.na.2017.03.001","date_created":"2018-12-11T11:48:05Z","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1703.00730"}],"citation":{"chicago":"Fischer, Julian L. “Weak–Strong Uniqueness of Solutions to Entropy Dissipating Reaction–Diffusion Equations.” <i>Nonlinear Analysis: Theory, Methods and Applications</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.na.2017.03.001\">https://doi.org/10.1016/j.na.2017.03.001</a>.","ieee":"J. L. Fischer, “Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations,” <i>Nonlinear Analysis: Theory, Methods and Applications</i>, vol. 159. Elsevier, pp. 181–207, 2017.","ama":"Fischer JL. Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations. <i>Nonlinear Analysis: Theory, Methods and Applications</i>. 2017;159:181-207. doi:<a href=\"https://doi.org/10.1016/j.na.2017.03.001\">10.1016/j.na.2017.03.001</a>","mla":"Fischer, Julian L. “Weak–Strong Uniqueness of Solutions to Entropy Dissipating Reaction–Diffusion Equations.” <i>Nonlinear Analysis: Theory, Methods and Applications</i>, vol. 159, Elsevier, 2017, pp. 181–207, doi:<a href=\"https://doi.org/10.1016/j.na.2017.03.001\">10.1016/j.na.2017.03.001</a>.","ista":"Fischer JL. 2017. Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations. Nonlinear Analysis: Theory, Methods and Applications. 159, 181–207.","apa":"Fischer, J. L. (2017). Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations. <i>Nonlinear Analysis: Theory, Methods and Applications</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.na.2017.03.001\">https://doi.org/10.1016/j.na.2017.03.001</a>","short":"J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207."},"date_published":"2017-08-01T00:00:00Z","intvolume":"       159","publisher":"Elsevier","language":[{"iso":"eng"}],"month":"08","publication":"Nonlinear Analysis: Theory, Methods and Applications","quality_controlled":"1","article_processing_charge":"No","date_updated":"2026-04-16T10:01:49Z","year":"2017","volume":159,"publication_status":"published","isi":1,"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","page":"181 - 207","oa":1,"_id":"712","oa_version":"Submitted Version","department":[{"_id":"JuFi"}],"external_id":{"isi":["000404309400009"],"arxiv":["1703.00730"]},"author":[{"id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Fischer, Julian L","orcid":"0000-0002-0479-558X","last_name":"Fischer","first_name":"Julian L"}],"abstract":[{"text":"We establish a weak–strong uniqueness principle for solutions to entropy-dissipating reaction–diffusion equations: As long as a strong solution to the reaction–diffusion equation exists, any weak solution and even any renormalized solution must coincide with this strong solution. Our assumptions on the reaction rates are just the entropy condition and local Lipschitz continuity; in particular, we do not impose any growth restrictions on the reaction rates. Therefore, our result applies to any single reversible reaction with mass-action kinetics as well as to systems of reversible reactions with mass-action kinetics satisfying the detailed balance condition. Renormalized solutions are known to exist globally in time for reaction–diffusion equations with entropy-dissipating reaction rates; in contrast, the global-in-time existence of weak solutions is in general still an open problem–even for smooth data–, thereby motivating the study of renormalized solutions. The key ingredient of our result is a careful adjustment of the usual relative entropy functional, whose evolution cannot be controlled properly for weak solutions or renormalized solutions.","lang":"eng"}]},{"project":[{"_id":"25E9AF9E-B435-11E9-9278-68D0E5697425","grant_number":"P27201-B22","call_identifier":"FWF","name":"Revealing the mechanisms underlying drug interactions"}],"_id":"713","oa_version":"Published Version","oa":1,"author":[{"first_name":"Daniel","last_name":"Andergassen","full_name":"Andergassen, Daniel"},{"id":"4C66542E-F248-11E8-B48F-1D18A9856A87","full_name":"Dotter, Christoph","orcid":"0000-0002-9033-9096","last_name":"Dotter","first_name":"Christoph"},{"first_name":"Dyniel","last_name":"Wenzel","full_name":"Wenzel, Dyniel"},{"first_name":"Verena","last_name":"Sigl","full_name":"Sigl, Verena"},{"full_name":"Bammer, Philipp","last_name":"Bammer","first_name":"Philipp"},{"full_name":"Muckenhuber, Markus","first_name":"Markus","last_name":"Muckenhuber"},{"first_name":"Daniela","last_name":"Mayer","full_name":"Mayer, Daniela"},{"full_name":"Kulinski, Tomasz","first_name":"Tomasz","last_name":"Kulinski"},{"full_name":"Theussl, Hans","last_name":"Theussl","first_name":"Hans"},{"first_name":"Josef","last_name":"Penninger","full_name":"Penninger, Josef"},{"full_name":"Bock, Christoph","last_name":"Bock","first_name":"Christoph"},{"full_name":"Barlow, Denise","first_name":"Denise","last_name":"Barlow"},{"last_name":"Pauler","first_name":"Florian","id":"48EA0138-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7462-0048","full_name":"Pauler, Florian"},{"last_name":"Hudson","first_name":"Quanah","full_name":"Hudson, Quanah"}],"external_id":{"isi":["000407617200001"]},"abstract":[{"lang":"eng","text":"To determine the dynamics of allelic-specific expression during mouse development, we analyzed RNA-seq data from 23 F1 tissues from different developmental stages, including 19 female tissues allowing X chromosome inactivation (XCI) escapers to also be detected. We demonstrate that allelic expression arising from genetic or epigenetic differences is highly tissue-specific. We find that tissue-specific strain-biased gene expression may be regulated by tissue-specific enhancers or by post-transcriptional differences in stability between the alleles. We also find that escape from X-inactivation is tissue-specific, with leg muscle showing an unexpectedly high rate of XCI escapers. By surveying a range of tissues during development, and performing extensive validation, we are able to provide a high confidence list of mouse imprinted genes including 18 novel genes. This shows that cluster size varies dynamically during development and can be substantially larger than previously thought, with the Igf2r cluster extending over 10 Mb in placenta."}],"department":[{"_id":"GaNo"},{"_id":"SiHi"}],"date_updated":"2025-09-10T11:02:33Z","file_date_updated":"2020-07-14T12:47:50Z","file":[{"file_name":"IST-2017-885-v1+1_elife-25125-figures-v2.pdf","date_updated":"2020-07-14T12:47:50Z","file_size":6399510,"file_id":"5020","content_type":"application/pdf","relation":"main_file","access_level":"open_access","creator":"system","date_created":"2018-12-12T10:13:36Z","checksum":"1ace3462e64a971b9ead896091829549"},{"file_name":"IST-2017-885-v1+2_elife-25125-v2.pdf","relation":"main_file","file_id":"5021","content_type":"application/pdf","date_updated":"2020-07-14T12:47:50Z","file_size":4264398,"access_level":"open_access","checksum":"6241dc31eeb87b03facadec3a53a6827","date_created":"2018-12-12T10:13:36Z","creator":"system"}],"isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","volume":6,"year":"2017","pubrep_id":"885","publication_status":"published","article_number":"e25125","intvolume":"         6","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_published":"2017-08-14T00:00:00Z","citation":{"apa":"Andergassen, D., Dotter, C., Wenzel, D., Sigl, V., Bammer, P., Muckenhuber, M., … Hudson, Q. (2017). Mapping the mouse Allelome reveals tissue specific regulation of allelic expression. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/eLife.25125\">https://doi.org/10.7554/eLife.25125</a>","ista":"Andergassen D, Dotter C, Wenzel D, Sigl V, Bammer P, Muckenhuber M, Mayer D, Kulinski T, Theussl H, Penninger J, Bock C, Barlow D, Pauler F, Hudson Q. 2017. Mapping the mouse Allelome reveals tissue specific regulation of allelic expression. eLife. 6, e25125.","short":"D. Andergassen, C. Dotter, D. Wenzel, V. Sigl, P. Bammer, M. Muckenhuber, D. Mayer, T. Kulinski, H. Theussl, J. Penninger, C. Bock, D. Barlow, F. Pauler, Q. Hudson, ELife 6 (2017).","ieee":"D. Andergassen <i>et al.</i>, “Mapping the mouse Allelome reveals tissue specific regulation of allelic expression,” <i>eLife</i>, vol. 6. eLife Sciences Publications, 2017.","chicago":"Andergassen, Daniel, Christoph Dotter, Dyniel Wenzel, Verena Sigl, Philipp Bammer, Markus Muckenhuber, Daniela Mayer, et al. “Mapping the Mouse Allelome Reveals Tissue Specific Regulation of Allelic Expression.” <i>ELife</i>. eLife Sciences Publications, 2017. <a href=\"https://doi.org/10.7554/eLife.25125\">https://doi.org/10.7554/eLife.25125</a>.","ama":"Andergassen D, Dotter C, Wenzel D, et al. Mapping the mouse Allelome reveals tissue specific regulation of allelic expression. <i>eLife</i>. 2017;6. doi:<a href=\"https://doi.org/10.7554/eLife.25125\">10.7554/eLife.25125</a>","mla":"Andergassen, Daniel, et al. “Mapping the Mouse Allelome Reveals Tissue Specific Regulation of Allelic Expression.” <i>ELife</i>, vol. 6, e25125, eLife Sciences Publications, 2017, doi:<a href=\"https://doi.org/10.7554/eLife.25125\">10.7554/eLife.25125</a>."},"publication":"eLife","article_processing_charge":"No","quality_controlled":"1","language":[{"iso":"eng"}],"publisher":"eLife Sciences Publications","month":"08","title":"Mapping the mouse Allelome reveals tissue specific regulation of allelic expression","ddc":["576"],"corr_author":"1","publist_id":"6971","publication_identifier":{"issn":["2050-084X"]},"scopus_import":"1","status":"public","has_accepted_license":"1","doi":"10.7554/eLife.25125","date_created":"2018-12-11T11:48:05Z","type":"journal_article","day":"14"},{"title":"HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens","publication_identifier":{"issn":["0376-8716"]},"scopus_import":"1","publist_id":"6967","status":"public","doi":"10.1016/j.drugalcdep.2017.04.015","date_created":"2018-12-11T11:48:05Z","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5797705","open_access":"1"}],"acknowledgement":"This work was supported by the National Institutes of Health grants DA035926 (to MEA), and P30DA013429 (to EMU).","day":"01","type":"journal_article","intvolume":"       178","citation":{"mla":"Brailoiu, Gabriela, et al. “HIV Tat Excites D1 Receptor-like Expressing Neurons from Rat Nucleus Accumbens.” <i>Drug and Alcohol Dependence</i>, vol. 178, Elsevier, 2017, pp. 7–14, doi:<a href=\"https://doi.org/10.1016/j.drugalcdep.2017.04.015\">10.1016/j.drugalcdep.2017.04.015</a>.","chicago":"Brailoiu, Gabriela, Elena Deliu, Jeffrey Barr, Linda Console Bram, Alexandra Ciuciu, Mary Abood, Ellen Unterwald, and Eugen Brǎiloiu. “HIV Tat Excites D1 Receptor-like Expressing Neurons from Rat Nucleus Accumbens.” <i>Drug and Alcohol Dependence</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.drugalcdep.2017.04.015\">https://doi.org/10.1016/j.drugalcdep.2017.04.015</a>.","ieee":"G. Brailoiu <i>et al.</i>, “HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens,” <i>Drug and Alcohol Dependence</i>, vol. 178. Elsevier, pp. 7–14, 2017.","ama":"Brailoiu G, Deliu E, Barr J, et al. HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. <i>Drug and Alcohol Dependence</i>. 2017;178:7-14. doi:<a href=\"https://doi.org/10.1016/j.drugalcdep.2017.04.015\">10.1016/j.drugalcdep.2017.04.015</a>","short":"G. Brailoiu, E. Deliu, J. Barr, L. Console Bram, A. Ciuciu, M. Abood, E. Unterwald, E. Brǎiloiu, Drug and Alcohol Dependence 178 (2017) 7–14.","apa":"Brailoiu, G., Deliu, E., Barr, J., Console Bram, L., Ciuciu, A., Abood, M., … Brǎiloiu, E. (2017). HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. <i>Drug and Alcohol Dependence</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.drugalcdep.2017.04.015\">https://doi.org/10.1016/j.drugalcdep.2017.04.015</a>","ista":"Brailoiu G, Deliu E, Barr J, Console Bram L, Ciuciu A, Abood M, Unterwald E, Brǎiloiu E. 2017. HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. 178, 7–14."},"date_published":"2017-09-01T00:00:00Z","publication":"Drug and Alcohol Dependence","quality_controlled":"1","article_processing_charge":"No","publisher":"Elsevier","language":[{"iso":"eng"}],"pmid":1,"month":"09","date_updated":"2026-04-16T10:01:59Z","isi":1,"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","year":"2017","volume":178,"publication_status":"published","_id":"714","oa_version":"Submitted Version","article_type":"original","page":"7 - 14","oa":1,"external_id":{"pmid":["28623807"],"isi":["000409152300002"]},"author":[{"full_name":"Brailoiu, Gabriela","last_name":"Brailoiu","first_name":"Gabriela"},{"id":"37A40D7E-F248-11E8-B48F-1D18A9856A87","full_name":"Deliu, Elena","orcid":"0000-0002-7370-5293","last_name":"Deliu","first_name":"Elena"},{"full_name":"Barr, Jeffrey","last_name":"Barr","first_name":"Jeffrey"},{"full_name":"Console Bram, Linda","last_name":"Console Bram","first_name":"Linda"},{"last_name":"Ciuciu","first_name":"Alexandra","full_name":"Ciuciu, Alexandra"},{"first_name":"Mary","last_name":"Abood","full_name":"Abood, Mary"},{"full_name":"Unterwald, Ellen","last_name":"Unterwald","first_name":"Ellen"},{"full_name":"Brǎiloiu, Eugen","last_name":"Brǎiloiu","first_name":"Eugen"}],"abstract":[{"text":"Background HIV-1 infection and drug abuse are frequently co-morbid and their association greatly increases the severity of HIV-1-induced neuropathology. While nucleus accumbens (NAcc) function is severely perturbed by drugs of abuse, little is known about how HIV-1 infection affects NAcc. Methods We used calcium and voltage imaging to investigate the effect of HIV-1 trans-activator of transcription (Tat) on rat NAcc. Based on previous neuronal studies, we hypothesized that Tat modulates intracellular Ca2+ homeostasis of NAcc neurons. Results We provide evidence that Tat triggers a Ca2+ signaling cascade in NAcc medium spiny neurons (MSN) expressing D1-like dopamine receptors leading to neuronal depolarization. Firstly, Tat induced inositol 1,4,5-trisphsophate (IP3) receptor-mediated Ca2+ release from endoplasmic reticulum, followed by Ca2+ and Na+ influx via transient receptor potential canonical channels. The influx of cations depolarizes the membrane promoting additional Ca2+ entry through voltage-gated P/Q-type Ca2+ channels and opening of tetrodotoxin-sensitive Na+ channels. By activating this mechanism, Tat elicits a feed-forward depolarization increasing the excitability of D1-phosphatidylinositol-linked NAcc MSN. We previously found that cocaine targets NAcc neurons directly (independent of the inhibition of dopamine transporter) only when IP3-generating mechanisms are concomitantly initiated. When tested here, cocaine produced a dose-dependent potentiation of the effect of Tat on cytosolic Ca2+. Conclusion We describe for the first time a HIV-1 Tat-triggered Ca2+ signaling in MSN of NAcc involving TRPC and depolarization and a potentiation of the effect of Tat by cocaine, which may be relevant for the reward axis in cocaine-abusing HIV-1-positive patients.","lang":"eng"}],"department":[{"_id":"GaNo"}]},{"date_updated":"2025-04-15T07:10:22Z","publication_status":"published","year":"2017","volume":70,"isi":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"page":"1905 - 1914","oa_version":"Submitted Version","_id":"1000","ec_funded":1,"project":[{"grant_number":"308036","_id":"2532554C-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Lifelong Learning of Visual Scene Understanding"}],"department":[{"_id":"ChLa"}],"abstract":[{"lang":"eng","text":"We study probabilistic models of natural images and extend the autoregressive family of PixelCNN models by incorporating latent variables. Subsequently, we describe two new generative image models that exploit different image transformations as latent variables: a quantized grayscale view of the image or a multi-resolution image pyramid. The proposed models tackle two known shortcomings of existing PixelCNN models: 1) their tendency to focus on low-level image details, while largely ignoring high-level image information, such as object shapes, and 2) their computationally costly procedure for image sampling. We experimentally demonstrate benefits of our LatentPixelCNN models, in particular showing that they produce much more realistically looking image samples than previous state-of-the-art probabilistic models. "}],"external_id":{"isi":["000683309501102"],"arxiv":["1612.08185"]},"author":[{"first_name":"Alexander","last_name":"Kolesnikov","full_name":"Kolesnikov, Alexander","id":"2D157DB6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","last_name":"Lampert"}],"publist_id":"6398","scopus_import":"1","publication_identifier":{"isbn":["978-151085514-4"]},"title":"PixelCNN models with auxiliary variables for natural image modeling","day":"01","type":"conference","acknowledgement":"We thank Tim Salimans for spotting a mistake in our preliminary arXiv manuscript. This work was funded by the European Research Council under the European Unions Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement no 308036.","arxiv":1,"date_created":"2018-12-11T11:49:37Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1612.08185"}],"status":"public","has_accepted_license":"1","citation":{"short":"A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine Learning, JMLR, 2017, pp. 1905–1914.","apa":"Kolesnikov, A., &#38; Lampert, C. (2017). PixelCNN models with auxiliary variables for natural image modeling. In <i>34th International Conference on Machine Learning</i> (Vol. 70, pp. 1905–1914). Sydney, Australia: JMLR.","ista":"Kolesnikov A, Lampert C. 2017. PixelCNN models with auxiliary variables for natural image modeling. 34th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 70, 1905–1914.","mla":"Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary Variables for Natural Image Modeling.” <i>34th International Conference on Machine Learning</i>, vol. 70, JMLR, 2017, pp. 1905–14.","chicago":"Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary Variables for Natural Image Modeling.” In <i>34th International Conference on Machine Learning</i>, 70:1905–14. JMLR, 2017.","ieee":"A. Kolesnikov and C. Lampert, “PixelCNN models with auxiliary variables for natural image modeling,” in <i>34th International Conference on Machine Learning</i>, Sydney, Australia, 2017, vol. 70, pp. 1905–1914.","ama":"Kolesnikov A, Lampert C. PixelCNN models with auxiliary variables for natural image modeling. In: <i>34th International Conference on Machine Learning</i>. Vol 70. JMLR; 2017:1905-1914."},"date_published":"2017-08-01T00:00:00Z","conference":{"name":"ICML: International Conference on Machine Learning","end_date":"2017-08-11","location":"Sydney, Australia","start_date":"2017-08-06"},"intvolume":"        70","month":"08","publisher":"JMLR","language":[{"iso":"eng"}],"quality_controlled":"1","article_processing_charge":"No","publication":"34th International Conference on Machine Learning"},{"date_updated":"2026-04-08T07:25:22Z","alternative_title":["ACM Transactions on Graphics"],"file_date_updated":"2018-12-12T10:10:24Z","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"8366"}]},"file":[{"relation":"main_file","content_type":"application/pdf","file_id":"4811","file_size":36159696,"date_updated":"2018-12-12T10:10:24Z","file_name":"IST-2018-1053-v1+1_CurveUp.pdf","date_created":"2018-12-12T10:10:24Z","creator":"system","access_level":"open_access"}],"isi":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","volume":36,"year":"2017","publication_status":"published","pubrep_id":"1053","_id":"1001","ec_funded":1,"project":[{"_id":"25082902-B435-11E9-9278-68D0E5697425","grant_number":"645599","call_identifier":"H2020","name":"Soft-bodied intelligence for Manipulation"},{"name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","call_identifier":"H2020","_id":"24F9549A-B435-11E9-9278-68D0E5697425","grant_number":"715767"}],"oa_version":"Submitted Version","oa":1,"external_id":{"isi":["000406432100032"]},"author":[{"last_name":"Guseinov","first_name":"Ruslan","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9819-5077","full_name":"Guseinov, Ruslan"},{"last_name":"Miguel","first_name":"Eder","full_name":"Miguel, Eder"},{"first_name":"Bernd","last_name":"Bickel","orcid":"0000-0001-6511-9385","full_name":"Bickel, Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87"}],"abstract":[{"lang":"eng","text":"We present a computational approach for designing CurveUps, curvy shells that form from an initially flat state. They consist of small rigid tiles that are tightly held together by two pre-stretched elastic sheets attached to them. Our method allows the realization of smooth, doubly curved surfaces that can be fabricated as a flat piece. Once released, the restoring forces of the pre-stretched sheets support the object to take shape in 3D. CurveUps are structurally stable in their target configuration. The design process starts with a target surface. Our method generates a tile layout in 2D and optimizes the distribution, shape, and attachment areas of the tiles to obtain a configuration that is fabricable and in which the curved up state closely matches the target. Our approach is based on an efficient approximate model and a local optimization strategy for an otherwise intractable nonlinear optimization problem. We demonstrate the effectiveness of our approach for a wide range of shapes, all realized as physical prototypes."}],"department":[{"_id":"BeBi"}],"title":"CurveUps: Shaping objects from flat plates with tension-actuated curvature","issue":"4","publist_id":"6397","scopus_import":"1","ddc":["003","004"],"has_accepted_license":"1","status":"public","doi":"10.1145/3072959.3073709","date_created":"2018-12-11T11:49:38Z","type":"conference","day":"01","article_number":"64","intvolume":"        36","conference":{"location":"Los Angeles, CA, United States","start_date":"2017-08-19","end_date":"2017-08-25","name":"SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques"},"citation":{"apa":"Guseinov, R., Miguel, E., &#38; Bickel, B. (2017). CurveUps: Shaping objects from flat plates with tension-actuated curvature (Vol. 36). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. <a href=\"https://doi.org/10.1145/3072959.3073709\">https://doi.org/10.1145/3072959.3073709</a>","ista":"Guseinov R, Miguel E, Bickel B. 2017. CurveUps: Shaping objects from flat plates with tension-actuated curvature. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 36, 64.","short":"R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.","ama":"Guseinov R, Miguel E, Bickel B. CurveUps: Shaping objects from flat plates with tension-actuated curvature. In: Vol 36. ACM; 2017. doi:<a href=\"https://doi.org/10.1145/3072959.3073709\">10.1145/3072959.3073709</a>","ieee":"R. Guseinov, E. Miguel, and B. Bickel, “CurveUps: Shaping objects from flat plates with tension-actuated curvature,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2017, vol. 36, no. 4.","chicago":"Guseinov, Ruslan, Eder Miguel, and Bernd Bickel. “CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature,” Vol. 36. ACM, 2017. <a href=\"https://doi.org/10.1145/3072959.3073709\">https://doi.org/10.1145/3072959.3073709</a>.","mla":"Guseinov, Ruslan, et al. <i>CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature</i>. Vol. 36, no. 4, 64, ACM, 2017, doi:<a href=\"https://doi.org/10.1145/3072959.3073709\">10.1145/3072959.3073709</a>."},"date_published":"2017-01-01T00:00:00Z","quality_controlled":"1","article_processing_charge":"No","publisher":"ACM","language":[{"iso":"eng"}],"month":"01"},{"ddc":["003","004"],"scopus_import":"1","publication_identifier":{"issn":["0730-0301"]},"publist_id":"6396","title":"Functionality-aware retargeting of mechanisms to 3D shapes","issue":"4","type":"conference","day":"01","doi":"10.1145/3072959.3073710","date_created":"2018-12-11T11:49:38Z","has_accepted_license":"1","status":"public","date_published":"2017-06-01T00:00:00Z","citation":{"short":"R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.","ista":"Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. 2017. Functionality-aware retargeting of mechanisms to 3D shapes. SIGGRAPH: Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 36, 81.","apa":"Zhang, R., Auzinger, T., Ceylan, D., Li, W., &#38; Bickel, B. (2017). Functionality-aware retargeting of mechanisms to 3D shapes (Vol. 36). Presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States : ACM. <a href=\"https://doi.org/10.1145/3072959.3073710\">https://doi.org/10.1145/3072959.3073710</a>","mla":"Zhang, Ran, et al. <i>Functionality-Aware Retargeting of Mechanisms to 3D Shapes</i>. Vol. 36, no. 4, 81, ACM, 2017, doi:<a href=\"https://doi.org/10.1145/3072959.3073710\">10.1145/3072959.3073710</a>.","ieee":"R. Zhang, T. Auzinger, D. Ceylan, W. Li, and B. Bickel, “Functionality-aware retargeting of mechanisms to 3D shapes,” presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States , 2017, vol. 36, no. 4.","chicago":"Zhang, Ran, Thomas Auzinger, Duygu Ceylan, Wilmot Li, and Bernd Bickel. “Functionality-Aware Retargeting of Mechanisms to 3D Shapes,” Vol. 36. ACM, 2017. <a href=\"https://doi.org/10.1145/3072959.3073710\">https://doi.org/10.1145/3072959.3073710</a>.","ama":"Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. Functionality-aware retargeting of mechanisms to 3D shapes. In: Vol 36. ACM; 2017. doi:<a href=\"https://doi.org/10.1145/3072959.3073710\">10.1145/3072959.3073710</a>"},"conference":{"location":"Los Angeles, CA, United States ","start_date":"2017-07-30","end_date":"2017-08-03","name":"SIGGRAPH: Computer Graphics and Interactive Techniques"},"intvolume":"        36","article_number":"81","month":"06","language":[{"iso":"eng"}],"publisher":"ACM","article_processing_charge":"No","quality_controlled":"1","file_date_updated":"2018-12-12T10:09:05Z","alternative_title":["ACM Transactions on Graphics"],"date_updated":"2026-04-16T10:06:32Z","publication_status":"published","pubrep_id":"1050","year":"2017","volume":36,"isi":1,"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","file":[{"relation":"main_file","file_id":"4728","content_type":"application/pdf","date_updated":"2018-12-12T10:09:05Z","file_size":25463895,"file_name":"IST-2018-1050-v1+1_MechRet.pdf","date_created":"2018-12-12T10:09:05Z","creator":"system","access_level":"open_access"}],"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"8386"}]},"oa":1,"oa_version":"Submitted Version","_id":"1002","ec_funded":1,"project":[{"name":"Distributed 3D Object Design","grant_number":"642841","_id":"2508E324-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","_id":"24F9549A-B435-11E9-9278-68D0E5697425","grant_number":"715767","call_identifier":"H2020"}],"department":[{"_id":"BeBi"}],"abstract":[{"lang":"eng","text":"  We present an interactive design system to create functional mechanical  objects. Our computational approach allows novice users to retarget an  existing mechanical template to a user-specified input shape. Our proposed  representation for a mechanical template encodes a parameterized mechanism,  mechanical constraints that ensure a physically valid configuration, spatial relationships of mechanical parts to the user-provided shape, and functional constraints that specify an intended functionality. We provide an intuitive interface and optimization-in-the-loop approach for finding a valid  configuration of the mechanism and the shape to ensure that higher-level  functional goals are met. Our algorithm interactively optimizes the mechanism  while the user manipulates the placement of mechanical components and the shape. Our system allows users to efficiently explore various design choices and to synthesize customized mechanical objects that can be fabricated with rapid prototyping technologies. We demonstrate the efficacy of our approach by retargeting various mechanical templates to different shapes and fabricating the resulting functional mechanical objects.\r\n"}],"author":[{"full_name":"Zhang, Ran","orcid":"0000-0002-3808-281X","id":"4DDBCEB0-F248-11E8-B48F-1D18A9856A87","first_name":"Ran","last_name":"Zhang"},{"first_name":"Thomas","last_name":"Auzinger","orcid":"0000-0002-1546-3265","full_name":"Auzinger, Thomas","id":"4718F954-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ceylan","first_name":"Duygu","full_name":"Ceylan, Duygu"},{"first_name":"Wilmot","last_name":"Li","full_name":"Li, Wilmot"},{"id":"49876194-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6511-9385","full_name":"Bickel, Bernd","last_name":"Bickel","first_name":"Bernd"}],"external_id":{"isi":["000406432100049"]}},{"publist_id":"6395","publication_identifier":{"issn":["1045-0823"]},"scopus_import":"1","ddc":["004"],"title":"An abstraction-refinement methodology for reasoning about network games","type":"conference","day":"30","status":"public","has_accepted_license":"1","doi":"10.24963/ijcai.2017/11","date_created":"2018-12-11T11:49:38Z","conference":{"name":"IJCAI: International Joint Conference on Artificial Intelligence ","end_date":"2017-08-25","start_date":"2017-08-19","location":"Melbourne, Australia"},"citation":{"mla":"Avni, Guy, et al. <i>An Abstraction-Refinement Methodology for Reasoning about Network Games</i>. AAAI Press, 2017, pp. 70–76, doi:<a href=\"https://doi.org/10.24963/ijcai.2017/11\">10.24963/ijcai.2017/11</a>.","ama":"Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning about network games. In: AAAI Press; 2017:70-76. doi:<a href=\"https://doi.org/10.24963/ijcai.2017/11\">10.24963/ijcai.2017/11</a>","chicago":"Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement Methodology for Reasoning about Network Games,” 70–76. AAAI Press, 2017. <a href=\"https://doi.org/10.24963/ijcai.2017/11\">https://doi.org/10.24963/ijcai.2017/11</a>.","ieee":"G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia, 2017, pp. 70–76.","short":"G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.","ista":"Avni G, Guha S, Kupferman O. 2017. An abstraction-refinement methodology for reasoning about network games. IJCAI: International Joint Conference on Artificial Intelligence , 70–76.","apa":"Avni, G., Guha, S., &#38; Kupferman, O. (2017). An abstraction-refinement methodology for reasoning about network games (pp. 70–76). Presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia: AAAI Press. <a href=\"https://doi.org/10.24963/ijcai.2017/11\">https://doi.org/10.24963/ijcai.2017/11</a>"},"date_published":"2017-05-30T00:00:00Z","publisher":"AAAI Press","language":[{"iso":"eng"}],"month":"05","quality_controlled":"1","article_processing_charge":"No","file_date_updated":"2018-12-12T10:16:58Z","date_updated":"2025-07-10T11:49:38Z","year":"2017","publication_status":"published","pubrep_id":"818","related_material":{"record":[{"id":"6006","relation":"later_version","status":"public"}]},"file":[{"access_level":"open_access","date_created":"2018-12-12T10:16:58Z","creator":"system","file_name":"IST-2017-818-v1+1_allIJCAI_CR.pdf","content_type":"application/pdf","file_id":"5249","relation":"main_file","file_size":365172,"date_updated":"2018-12-12T10:16:58Z"}],"isi":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"70 - 76","oa":1,"_id":"1003","project":[{"call_identifier":"FWF","grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","name":"Moderne Concurrency Paradigms"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems"}],"oa_version":"Submitted Version","department":[{"_id":"ToHe"}],"external_id":{"isi":["000764137500011"]},"author":[{"id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","full_name":"Avni, Guy","orcid":"0000-0001-5588-8287","last_name":"Avni","first_name":"Guy"},{"last_name":"Guha","first_name":"Shibashis","full_name":"Guha, Shibashis"},{"first_name":"Orna","last_name":"Kupferman","full_name":"Kupferman, Orna"}],"abstract":[{"lang":"eng","text":"Network games (NGs) are played on directed graphs and are extensively used in network design and analysis. Search problems for NGs include finding special strategy profiles such as a Nash equilibrium and a globally optimal solution. The networks modeled by NGs may be huge. In formal verification, abstraction has proven to be an extremely effective technique for reasoning about systems with big and even infinite state spaces. We describe an abstraction-refinement methodology for reasoning about NGs. Our methodology is based on an abstraction function that maps the state space of an NG to a much smaller state space. We search for a global optimum and a Nash equilibrium by reasoning on an under- and an overapproximation defined on top of this smaller state space. When the approximations are too coarse to find such profiles, we refine the abstraction function. Our experimental results demonstrate the efficiency of the methodology."}]}]