[{"publication_status":"published","status":"public","publication":"Physical Review Letters","date_updated":"2021-01-12T06:55:54Z","abstract":[{"lang":"eng","text":"We show that weakly bound molecules can be probed by &quot;shaking&quot; in a pulsed nonresonant laser field. The field introduces a centrifugal term which expels the highest vibrational level from the potential that binds it. Our numerical simulations applied to the Rb2 and KRb Feshbach molecules indicate that shaking by feasible laser pulses can be used to accurately recover the square of the vibrational wave function and, by inversion, also the long-range part of the molecular potential."}],"issue":"5","year":"2009","doi":"10.1103/PhysRevLett.103.053003","oa":1,"title":"Probing weakly bound molecules with nonresonant light","author":[{"orcid":"0000-0002-6990-7802","last_name":"Lemeshko","full_name":"Mikhail Lemeshko","first_name":"Mikhail","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Friedrich","full_name":"Friedrich, Břetislav","first_name":"Břetislav"}],"_id":"2193","volume":103,"type":"journal_article","quality_controlled":0,"publisher":"American Physical Society","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0903.0811"}],"intvolume":"       103","date_published":"2009-07-31T00:00:00Z","extern":1,"date_created":"2018-12-11T11:56:15Z","citation":{"mla":"Lemeshko, Mikhail, and Břetislav Friedrich. “Probing Weakly Bound Molecules with Nonresonant Light.” <i>Physical Review Letters</i>, vol. 103, no. 5, American Physical Society, 2009, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.103.053003\">10.1103/PhysRevLett.103.053003</a>.","chicago":"Lemeshko, Mikhail, and Břetislav Friedrich. “Probing Weakly Bound Molecules with Nonresonant Light.” <i>Physical Review Letters</i>. American Physical Society, 2009. <a href=\"https://doi.org/10.1103/PhysRevLett.103.053003\">https://doi.org/10.1103/PhysRevLett.103.053003</a>.","ieee":"M. Lemeshko and B. Friedrich, “Probing weakly bound molecules with nonresonant light,” <i>Physical Review Letters</i>, vol. 103, no. 5. American Physical Society, 2009.","apa":"Lemeshko, M., &#38; Friedrich, B. (2009). Probing weakly bound molecules with nonresonant light. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.103.053003\">https://doi.org/10.1103/PhysRevLett.103.053003</a>","ista":"Lemeshko M, Friedrich B. 2009. Probing weakly bound molecules with nonresonant light. Physical Review Letters. 103(5).","ama":"Lemeshko M, Friedrich B. Probing weakly bound molecules with nonresonant light. <i>Physical Review Letters</i>. 2009;103(5). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.103.053003\">10.1103/PhysRevLett.103.053003</a>","short":"M. Lemeshko, B. Friedrich, Physical Review Letters 103 (2009)."},"day":"31","month":"07","publist_id":"4782"},{"date_created":"2018-12-11T11:45:19Z","extern":1,"date_published":"2009-04-01T00:00:00Z","publist_id":"7676","month":"04","citation":{"apa":"Browning, T. D., &#38; Heath Brown, R. (2009). Rational points on quartic hypersurfaces. <i>Journal Fur Die Reine Und Angewandte Mathematik</i>. Walter de Gruyter. <a href=\"https://doi.org/10.1515/CRELLE.2009.026\">https://doi.org/10.1515/CRELLE.2009.026</a>","ieee":"T. D. Browning and R. Heath Brown, “Rational points on quartic hypersurfaces,” <i>Journal fur die Reine und Angewandte Mathematik</i>, no. 629. Walter de Gruyter, pp. 37–88, 2009.","ista":"Browning TD, Heath Brown R. 2009. Rational points on quartic hypersurfaces. Journal fur die Reine und Angewandte Mathematik. (629), 37–88.","ama":"Browning TD, Heath Brown R. Rational points on quartic hypersurfaces. <i>Journal fur die Reine und Angewandte Mathematik</i>. 2009;(629):37-88. doi:<a href=\"https://doi.org/10.1515/CRELLE.2009.026\">10.1515/CRELLE.2009.026</a>","short":"T.D. Browning, R. Heath Brown, Journal Fur Die Reine Und Angewandte Mathematik (2009) 37–88.","chicago":"Browning, Timothy D, and Roger Heath Brown. “Rational Points on Quartic Hypersurfaces.” <i>Journal Fur Die Reine Und Angewandte Mathematik</i>. Walter de Gruyter, 2009. <a href=\"https://doi.org/10.1515/CRELLE.2009.026\">https://doi.org/10.1515/CRELLE.2009.026</a>.","mla":"Browning, Timothy D., and Roger Heath Brown. “Rational Points on Quartic Hypersurfaces.” <i>Journal Fur Die Reine Und Angewandte Mathematik</i>, no. 629, Walter de Gruyter, 2009, pp. 37–88, doi:<a href=\"https://doi.org/10.1515/CRELLE.2009.026\">10.1515/CRELLE.2009.026</a>."},"day":"01","quality_controlled":0,"type":"journal_article","publisher":"Walter de Gruyter","main_file_link":[{"url":"https://arxiv.org/abs/math/0701348","open_access":"1"}],"doi":"10.1515/CRELLE.2009.026","abstract":[{"lang":"eng","text":"Let X be a projective non-singular quartic hypersurface of dimension 39 or more, which is defined over . We show that X() is non-empty provided that X() is non-empty and X has p-adic points for every prime p."}],"year":"2009","issue":"629","_id":"228","title":"Rational points on quartic hypersurfaces","oa":1,"author":[{"orcid":"0000-0002-8314-0177","last_name":"Browning","full_name":"Timothy Browning","first_name":"Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Roger","last_name":"Heath Brown","full_name":"Heath-Brown, Roger"}],"page":"37 - 88","publication_status":"published","status":"public","acknowledgement":"EP/F060661/1\tEngineering and Physical Sciences Research Council","date_updated":"2021-01-12T06:56:29Z","publication":"Journal fur die Reine und Angewandte Mathematik"},{"type":"journal_article","quality_controlled":0,"volume":346,"intvolume":"       346","main_file_link":[{"url":"https://arxiv.org/abs/0901.1963","open_access":"1"}],"publisher":"Springer Nature","date_created":"2018-12-11T11:45:19Z","date_published":"2009-06-18T00:00:00Z","extern":1,"month":"06","publist_id":"7675","day":"18","citation":{"chicago":"Browning, Timothy D. “Linear Growth for Châtelet Surfaces.” <i>Mathematische Annalen</i>. Springer Nature, 2009. <a href=\"https://doi.org/10.1007/s00208-009-0383-z\">https://doi.org/10.1007/s00208-009-0383-z</a>.","mla":"Browning, Timothy D. “Linear Growth for Châtelet Surfaces.” <i>Mathematische Annalen</i>, vol. 346, no. 1, Springer Nature, 2009, pp. 41–50, doi:<a href=\"https://doi.org/10.1007/s00208-009-0383-z\">10.1007/s00208-009-0383-z</a>.","short":"T.D. Browning, Mathematische Annalen 346 (2009) 41–50.","ama":"Browning TD. Linear growth for Châtelet surfaces. <i>Mathematische Annalen</i>. 2009;346(1):41-50. doi:<a href=\"https://doi.org/10.1007/s00208-009-0383-z\">10.1007/s00208-009-0383-z</a>","ista":"Browning TD. 2009. Linear growth for Châtelet surfaces. Mathematische Annalen. 346(1), 41–50.","ieee":"T. D. Browning, “Linear growth for Châtelet surfaces,” <i>Mathematische Annalen</i>, vol. 346, no. 1. Springer Nature, pp. 41–50, 2009.","apa":"Browning, T. D. (2009). Linear growth for Châtelet surfaces. <i>Mathematische Annalen</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00208-009-0383-z\">https://doi.org/10.1007/s00208-009-0383-z</a>"},"page":"41 - 50","status":"public","acknowledgement":"EP/E053262/1\tEngineering and Physical Sciences Research Council","publication_status":"published","date_updated":"2021-01-12T06:56:33Z","publication":"Mathematische Annalen","doi":"10.1007/s00208-009-0383-z","year":"2009","issue":"1","abstract":[{"lang":"eng","text":"An upper bound of the expected order of magnitude is established for the number of ℚ-rational points of bounded height on Châtelet surfaces defined over ℚ."}],"_id":"229","author":[{"orcid":"0000-0002-8314-0177","first_name":"Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","last_name":"Browning","full_name":"Timothy Browning"}],"title":"Linear growth for Châtelet surfaces","oa":1},{"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0811.1166"}],"intvolume":"       135","publisher":"Springer","type":"journal_article","quality_controlled":0,"volume":135,"day":"01","citation":{"ieee":"A. Giuliani and R. Seiringer, “The ground state energy of the weakly interacting Bose gas at high density,” <i>Journal of Statistical Physics</i>, vol. 135, no. 5–6. Springer, pp. 915–934, 2009.","apa":"Giuliani, A., &#38; Seiringer, R. (2009). The ground state energy of the weakly interacting Bose gas at high density. <i>Journal of Statistical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s10955-009-9718-0\">https://doi.org/10.1007/s10955-009-9718-0</a>","short":"A. Giuliani, R. Seiringer, Journal of Statistical Physics 135 (2009) 915–934.","ama":"Giuliani A, Seiringer R. The ground state energy of the weakly interacting Bose gas at high density. <i>Journal of Statistical Physics</i>. 2009;135(5-6):915-934. doi:<a href=\"https://doi.org/10.1007/s10955-009-9718-0\">10.1007/s10955-009-9718-0</a>","ista":"Giuliani A, Seiringer R. 2009. The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. 135(5–6), 915–934.","chicago":"Giuliani, Alessandro, and Robert Seiringer. “The Ground State Energy of the Weakly Interacting Bose Gas at High Density.” <i>Journal of Statistical Physics</i>. Springer, 2009. <a href=\"https://doi.org/10.1007/s10955-009-9718-0\">https://doi.org/10.1007/s10955-009-9718-0</a>.","mla":"Giuliani, Alessandro, and Robert Seiringer. “The Ground State Energy of the Weakly Interacting Bose Gas at High Density.” <i>Journal of Statistical Physics</i>, vol. 135, no. 5–6, Springer, 2009, pp. 915–34, doi:<a href=\"https://doi.org/10.1007/s10955-009-9718-0\">10.1007/s10955-009-9718-0</a>."},"month":"06","publist_id":"4542","date_published":"2009-06-01T00:00:00Z","extern":1,"date_created":"2018-12-11T11:57:21Z","publication":"Journal of Statistical Physics","date_updated":"2021-01-12T06:57:09Z","status":"public","publication_status":"published","page":"915 - 934","author":[{"first_name":"Alessandro","full_name":"Giuliani, Alessandro","last_name":"Giuliani"},{"orcid":"0000-0002-6781-0521","last_name":"Seiringer","full_name":"Robert Seiringer","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"title":"The ground state energy of the weakly interacting Bose gas at high density","oa":1,"_id":"2384","issue":"5-6","year":"2009","abstract":[{"lang":"eng","text":"We prove the Lee-Huang-Yang formula for the ground state energy of the 3D Bose gas with repulsive interactions described by the exponential function, in a simultaneous limit of weak coupling and high density. In particular, we show that the Bogoliubov approximation is exact in an appropriate parameter regime, as far as the ground state energy is concerned."}],"doi":"10.1007/s10955-009-9718-0"},{"author":[{"last_name":"Lieb","full_name":"Lieb, Élliott H","first_name":"Élliott"},{"orcid":"0000-0002-6781-0521","last_name":"Seiringer","full_name":"Robert Seiringer","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Jakob","full_name":"Yngvason, Jakob","last_name":"Yngvason"}],"title":"Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime","oa":1,"_id":"2385","issue":"6","year":"2009","abstract":[{"lang":"eng","text":"We consider an ultracold rotating Bose gas in a harmonic trap close to the critical angular velocity, so that the system can be considered to be confined to the lowest Landau level. With this assumption we prove that the Gross-Pitaevskii energy functional accurately describes the ground-state energy of the corresponding N -body Hamiltonian with contact interaction provided the total angular momentum L is much less than N2. While the Gross-Pitaevskii energy is always an obvious variational upper bound to the ground-state energy, a more refined analysis is needed to establish it as an exact lower bound. We also discuss the question of Bose-Einstein condensation in the parameter range considered. Coherent states together with inequalities in spaces of analytic functions are the main technical tools."}],"doi":"10.1103/PhysRevA.79.063626","publication":"Physical Review A - Atomic, Molecular, and Optical Physics","date_updated":"2021-01-12T06:57:09Z","status":"public","publication_status":"published","day":"24","citation":{"apa":"Lieb, É., Seiringer, R., &#38; Yngvason, J. (2009). Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.79.063626\">https://doi.org/10.1103/PhysRevA.79.063626</a>","ieee":"É. Lieb, R. Seiringer, and J. Yngvason, “Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime,” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 79, no. 6. American Physical Society, 2009.","ama":"Lieb É, Seiringer R, Yngvason J. Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. 2009;79(6). doi:<a href=\"https://doi.org/10.1103/PhysRevA.79.063626\">10.1103/PhysRevA.79.063626</a>","ista":"Lieb É, Seiringer R, Yngvason J. 2009. Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime. Physical Review A - Atomic, Molecular, and Optical Physics. 79(6).","short":"É. Lieb, R. Seiringer, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).","mla":"Lieb, Élliott, et al. “Yrast Line of a Rapidly Rotating Bose Gas: Gross-Pitaevskii Regime.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 79, no. 6, American Physical Society, 2009, doi:<a href=\"https://doi.org/10.1103/PhysRevA.79.063626\">10.1103/PhysRevA.79.063626</a>.","chicago":"Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Yrast Line of a Rapidly Rotating Bose Gas: Gross-Pitaevskii Regime.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society, 2009. <a href=\"https://doi.org/10.1103/PhysRevA.79.063626\">https://doi.org/10.1103/PhysRevA.79.063626</a>."},"month":"06","publist_id":"4541","date_published":"2009-06-24T00:00:00Z","extern":1,"date_created":"2018-12-11T11:57:22Z","main_file_link":[{"url":"http://arxiv.org/abs/0904.1750","open_access":"1"}],"intvolume":"        79","publisher":"American Physical Society","type":"journal_article","quality_controlled":0,"volume":79},{"month":"06","publist_id":"4540","citation":{"chicago":"Seiringer, Robert, and Daniel Ueltschi. “Rigorous Upper Bound on the Critical Temperature of Dilute Bose Gases.” <i>Physical Review B - Condensed Matter and Materials Physics</i>. American Physical Society, 2009. <a href=\"https://doi.org/10.1103/PhysRevB.80.014502\">https://doi.org/10.1103/PhysRevB.80.014502</a>.","mla":"Seiringer, Robert, and Daniel Ueltschi. “Rigorous Upper Bound on the Critical Temperature of Dilute Bose Gases.” <i>Physical Review B - Condensed Matter and Materials Physics</i>, vol. 80, no. 1, American Physical Society, 2009, doi:<a href=\"https://doi.org/10.1103/PhysRevB.80.014502\">10.1103/PhysRevB.80.014502</a>.","apa":"Seiringer, R., &#38; Ueltschi, D. (2009). Rigorous upper bound on the critical temperature of dilute Bose gases. <i>Physical Review B - Condensed Matter and Materials Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.80.014502\">https://doi.org/10.1103/PhysRevB.80.014502</a>","ieee":"R. Seiringer and D. Ueltschi, “Rigorous upper bound on the critical temperature of dilute Bose gases,” <i>Physical Review B - Condensed Matter and Materials Physics</i>, vol. 80, no. 1. American Physical Society, 2009.","short":"R. Seiringer, D. Ueltschi, Physical Review B - Condensed Matter and Materials Physics 80 (2009).","ista":"Seiringer R, Ueltschi D. 2009. Rigorous upper bound on the critical temperature of dilute Bose gases. Physical Review B - Condensed Matter and Materials Physics. 80(1).","ama":"Seiringer R, Ueltschi D. Rigorous upper bound on the critical temperature of dilute Bose gases. <i>Physical Review B - Condensed Matter and Materials Physics</i>. 2009;80(1). doi:<a href=\"https://doi.org/10.1103/PhysRevB.80.014502\">10.1103/PhysRevB.80.014502</a>"},"day":"02","date_created":"2018-12-11T11:57:22Z","date_published":"2009-06-02T00:00:00Z","extern":1,"publisher":"American Physical Society","intvolume":"        80","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0904.0050"}],"volume":80,"quality_controlled":0,"type":"journal_article","_id":"2386","oa":1,"title":"Rigorous upper bound on the critical temperature of dilute Bose gases","author":[{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","full_name":"Robert Seiringer","last_name":"Seiringer","orcid":"0000-0002-6781-0521"},{"first_name":"Daniel","last_name":"Ueltschi","full_name":"Ueltschi, Daniel"}],"doi":"10.1103/PhysRevB.80.014502","abstract":[{"lang":"eng","text":"We prove exponential decay of the off-diagonal correlation function in the two-dimensional homogeneous Bose gas when a2 ρ is small and the temperature T satisfies T&gt; 4πρ ln | ln (a2 ρ) |. Here, a is the scattering length of the repulsive interaction potential and ρ is the density. To the leading order in a2 ρ, this bound agrees with the expected critical temperature for superfluidity. In the three-dimensional Bose gas, exponential decay is proved when T- Tc (0) Tc (0) &gt;5 a ρ1/3, where Tc (0) is the critical temperature of the ideal gas. While this condition is not expected to be sharp, it gives a rigorous upper bound on the critical temperature for Bose-Einstein condensation."}],"issue":"1","year":"2009","date_updated":"2021-01-12T06:57:10Z","publication":"Physical Review B - Condensed Matter and Materials Physics","status":"public","publication_status":"published"},{"doi":"10.1007/s10955-009-9833-y","year":"2009","issue":"5","abstract":[{"lang":"eng","text":"We consider a system of trapped spinless bosons interacting with a repulsive potential and subject to rotation. In the limit of rapid rotation and small scattering length, we rigorously show that the ground state energy converges to that of a simplified model Hamiltonian with contact interaction projected onto the Lowest Landau Level. This effective Hamiltonian models the bosonic analogue of the Fractional Quantum Hall Effect (FQHE). For a fixed number of particles, we also prove convergence of states; in particular, in a certain regime we show convergence towards the bosonic Laughlin wavefunction. This is the first rigorous justification of the effective FQHE Hamiltonian for rapidly rotating Bose gases. We review previous results on this effective Hamiltonian and outline open problems."}],"_id":"2387","author":[{"full_name":"Lewin, Mathieu","last_name":"Lewin","first_name":"Mathieu"},{"orcid":"0000-0002-6781-0521","last_name":"Seiringer","full_name":"Robert Seiringer","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"oa":1,"title":"Strongly correlated phases in rapidly rotating Bose gases","page":"1040 - 1062","publication_status":"published","status":"public","date_updated":"2021-01-12T06:57:10Z","publication":"Journal of Statistical Physics","date_created":"2018-12-11T11:57:22Z","date_published":"2009-01-01T00:00:00Z","extern":1,"month":"01","publist_id":"4538","day":"01","citation":{"ista":"Lewin M, Seiringer R. 2009. Strongly correlated phases in rapidly rotating Bose gases. Journal of Statistical Physics. 137(5), 1040–1062.","ama":"Lewin M, Seiringer R. Strongly correlated phases in rapidly rotating Bose gases. <i>Journal of Statistical Physics</i>. 2009;137(5):1040-1062. doi:<a href=\"https://doi.org/10.1007/s10955-009-9833-y\">10.1007/s10955-009-9833-y</a>","short":"M. Lewin, R. Seiringer, Journal of Statistical Physics 137 (2009) 1040–1062.","ieee":"M. Lewin and R. Seiringer, “Strongly correlated phases in rapidly rotating Bose gases,” <i>Journal of Statistical Physics</i>, vol. 137, no. 5. Springer, pp. 1040–1062, 2009.","apa":"Lewin, M., &#38; Seiringer, R. (2009). Strongly correlated phases in rapidly rotating Bose gases. <i>Journal of Statistical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s10955-009-9833-y\">https://doi.org/10.1007/s10955-009-9833-y</a>","chicago":"Lewin, Mathieu, and Robert Seiringer. “Strongly Correlated Phases in Rapidly Rotating Bose Gases.” <i>Journal of Statistical Physics</i>. Springer, 2009. <a href=\"https://doi.org/10.1007/s10955-009-9833-y\">https://doi.org/10.1007/s10955-009-9833-y</a>.","mla":"Lewin, Mathieu, and Robert Seiringer. “Strongly Correlated Phases in Rapidly Rotating Bose Gases.” <i>Journal of Statistical Physics</i>, vol. 137, no. 5, Springer, 2009, pp. 1040–62, doi:<a href=\"https://doi.org/10.1007/s10955-009-9833-y\">10.1007/s10955-009-9833-y</a>."},"quality_controlled":0,"type":"journal_article","volume":137,"main_file_link":[{"url":"http://arxiv.org/abs/0906.0741","open_access":"1"}],"intvolume":"       137","publisher":"Springer"},{"citation":{"apa":"Predd, J., Seiringer, R., Lieb, É., Osherson, D., Poor, H., &#38; Kulkarni, S. (2009). Probabilistic coherence and proper scoring rules. <i>IEEE Transactions on Information Theory</i>. IEEE. <a href=\"https://doi.org/10.1109/TIT.2009.2027573\">https://doi.org/10.1109/TIT.2009.2027573</a>","ieee":"J. Predd, R. Seiringer, É. Lieb, D. Osherson, H. Poor, and S. Kulkarni, “Probabilistic coherence and proper scoring rules,” <i>IEEE Transactions on Information Theory</i>, vol. 55, no. 10. IEEE, pp. 4786–4792, 2009.","ista":"Predd J, Seiringer R, Lieb É, Osherson D, Poor H, Kulkarni S. 2009. Probabilistic coherence and proper scoring rules. IEEE Transactions on Information Theory. 55(10), 4786–4792.","ama":"Predd J, Seiringer R, Lieb É, Osherson D, Poor H, Kulkarni S. Probabilistic coherence and proper scoring rules. <i>IEEE Transactions on Information Theory</i>. 2009;55(10):4786-4792. doi:<a href=\"https://doi.org/10.1109/TIT.2009.2027573\">10.1109/TIT.2009.2027573</a>","short":"J. Predd, R. Seiringer, É. Lieb, D. Osherson, H. Poor, S. Kulkarni, IEEE Transactions on Information Theory 55 (2009) 4786–4792.","chicago":"Predd, Joel, Robert Seiringer, Élliott Lieb, Daniel Osherson, Harold Poor, and Sanjeev Kulkarni. “Probabilistic Coherence and Proper Scoring Rules.” <i>IEEE Transactions on Information Theory</i>. IEEE, 2009. <a href=\"https://doi.org/10.1109/TIT.2009.2027573\">https://doi.org/10.1109/TIT.2009.2027573</a>.","mla":"Predd, Joel, et al. “Probabilistic Coherence and Proper Scoring Rules.” <i>IEEE Transactions on Information Theory</i>, vol. 55, no. 10, IEEE, 2009, pp. 4786–92, doi:<a href=\"https://doi.org/10.1109/TIT.2009.2027573\">10.1109/TIT.2009.2027573</a>."},"day":"01","publist_id":"4539","month":"10","extern":1,"date_published":"2009-10-01T00:00:00Z","date_created":"2018-12-11T11:57:23Z","publisher":"IEEE","intvolume":"        55","main_file_link":[{"url":"http://arxiv.org/abs/0710.3183","open_access":"1"}],"volume":55,"quality_controlled":0,"type":"journal_article","title":"Probabilistic coherence and proper scoring rules","oa":1,"author":[{"first_name":"Joel","full_name":"Predd, Joel B","last_name":"Predd"},{"last_name":"Seiringer","full_name":"Robert Seiringer","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521"},{"full_name":"Lieb, Élliott H","last_name":"Lieb","first_name":"Élliott"},{"last_name":"Osherson","full_name":"Osherson, Daniel N","first_name":"Daniel"},{"first_name":"Harold","last_name":"Poor","full_name":"Poor, Harold V"},{"first_name":"Sanjeev","full_name":"Kulkarni, Sanjeev R","last_name":"Kulkarni"}],"_id":"2388","abstract":[{"text":"This paper provides self-contained proof of a theorem relating probabilistic coherence of forecasts to their non-domination by rival forecasts with respect to any proper scoring rule. The theorem recapitulates insights achieved by other investigators, and clarifies the connection of coherence and proper scoring rules to Bregman divergence.","lang":"eng"}],"year":"2009","issue":"10","doi":"10.1109/TIT.2009.2027573","publication":"IEEE Transactions on Information Theory","date_updated":"2021-01-12T06:57:11Z","status":"public","publication_status":"published","page":"4786 - 4792"},{"_id":"2433","oa":1,"title":"Hardness of embedding simplicial complexes in ℝd","author":[{"first_name":"Jiří","full_name":"Matoušek, Jiří","last_name":"Matoušek"},{"last_name":"Tancer","full_name":"Martin Tancer","first_name":"Martin","id":"38AC689C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1191-6714"},{"id":"36690CA2-F248-11E8-B48F-1D18A9856A87","first_name":"Uli","full_name":"Uli Wagner","last_name":"Wagner","orcid":"0000-0002-1494-0568"}],"abstract":[{"text":"Let EMBEDk→d be the following algorithmic problem: Given a finite simplicial complex K of dimension at most k, does there exist a (piecewise linear) embedding of K into ℝd? Known results easily imply polynomiality of EMBEDk→2 (k = 1, 2; the case k = 1, d = 2 is graph planarity) and of EMBEDk→2k for all k ≥ 3 (even if k is not considered fixed). We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that EMBED d→d and EMBED(d-1)→d are undecidable for each d ≥ 5. Our main result is NP-hardness of EMBED2→4 and, more generally, of EMBEDk→d for all k, d with d ≥ 4 and d ≥ k ≥ (2d - 2)/3.","lang":"eng"}],"year":"2009","date_updated":"2021-01-12T06:57:27Z","page":"855 - 864","status":"public","publication_status":"published","month":"01","publist_id":"4476","citation":{"ieee":"J. Matoušek, M. Tancer, and U. Wagner, “Hardness of embedding simplicial complexes in ℝd,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 855–864.","apa":"Matoušek, J., Tancer, M., &#38; Wagner, U. (2009). Hardness of embedding simplicial complexes in ℝd (pp. 855–864). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.","short":"J. Matoušek, M. Tancer, U. Wagner, in:, SIAM, 2009, pp. 855–864.","ama":"Matoušek J, Tancer M, Wagner U. Hardness of embedding simplicial complexes in ℝd. In: SIAM; 2009:855-864.","ista":"Matoušek J, Tancer M, Wagner U. 2009. Hardness of embedding simplicial complexes in ℝd. SODA: Symposium on Discrete Algorithms, 855–864.","chicago":"Matoušek, Jiří, Martin Tancer, and Uli Wagner. “Hardness of Embedding Simplicial Complexes in ℝd,” 855–64. SIAM, 2009.","mla":"Matoušek, Jiří, et al. <i>Hardness of Embedding Simplicial Complexes in ℝd</i>. SIAM, 2009, pp. 855–64."},"day":"01","date_created":"2018-12-11T11:57:38Z","conference":{"name":"SODA: Symposium on Discrete Algorithms"},"extern":1,"date_published":"2009-01-01T00:00:00Z","publisher":"SIAM","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0807.0336"}],"type":"conference","quality_controlled":0},{"title":"Better quality in synthesis through quantitative objectives","author":[{"first_name":"Roderick","full_name":"Bloem, Roderick","last_name":"Bloem"},{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Jobstmann, Barbara","last_name":"Jobstmann","first_name":"Barbara"}],"_id":"4569","abstract":[{"lang":"eng","text":"Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another. For example, if a specification asks that every request is followed by a response, one may prefer an implementation that generates responses quickly but does not generate unnecessary responses. We use quantitative properties to measure the “goodness” of an implementation. Using games with corresponding quantitative objectives, we can synthesize “optimal” implementations, which are preferred among the set of possible implementations that satisfy a given specification.\r\nIn particular, we show how automata with lexicographic mean-payoff conditions can be used to express many interesting quantitative properties for reactive systems. In this framework, the synthesis of optimal implementations requires the solution of lexicographic mean-payoff games (for safety requirements), and the solution of games with both lexicographic mean-payoff and parity objectives (for liveness requirements). We present algorithms for solving both kinds of novel graph games."}],"doi":"10.1007/978-3-642-02658-4_14","project":[{"_id":"25EFB36C-B435-11E9-9278-68D0E5697425","grant_number":"215543","call_identifier":"FP7","name":"COMponent-Based Embedded Systems design Techniques"}],"acknowledgement":"This research was supported by the Swiss National Science Foundation (Indo-Swiss Research Program and NCCR MICS) and the European Union projects COMBEST and COCONUT.","status":"public","publication_status":"published","ec_funded":1,"citation":{"chicago":"Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,” 5643:140–56. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-02658-4_14\">https://doi.org/10.1007/978-3-642-02658-4_14</a>.","mla":"Bloem, Roderick, et al. <i>Better Quality in Synthesis through Quantitative Objectives</i>. Vol. 5643, Springer, 2009, pp. 140–56, doi:<a href=\"https://doi.org/10.1007/978-3-642-02658-4_14\">10.1007/978-3-642-02658-4_14</a>.","apa":"Bloem, R., Chatterjee, K., Henzinger, T. A., &#38; Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. <a href=\"https://doi.org/10.1007/978-3-642-02658-4_14\">https://doi.org/10.1007/978-3-642-02658-4_14</a>","ieee":"R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.","ama":"Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:<a href=\"https://doi.org/10.1007/978-3-642-02658-4_14\">10.1007/978-3-642-02658-4_14</a>","short":"R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.","ista":"Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156."},"day":"19","month":"06","oa_version":"Preprint","conference":{"name":"CAV: Computer Aided Verification","location":"Grenoble, France","start_date":"2009-06-26","end_date":"2009-07-02"},"arxiv":1,"volume":5643,"oa":1,"year":"2009","alternative_title":["LNCS"],"date_updated":"2021-01-12T07:59:46Z","page":"140 - 156","department":[{"_id":"KrCh"}],"publist_id":"141","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"arxiv":["0904.2638"]},"date_published":"2009-06-19T00:00:00Z","date_created":"2018-12-11T12:09:31Z","publisher":"Springer","intvolume":"      5643","main_file_link":[{"url":"http://arxiv.org/abs/0904.2638","open_access":"1"}],"language":[{"iso":"eng"}],"quality_controlled":"1","type":"conference"},{"date_created":"2018-12-11T12:09:35Z","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"date_published":"2009-03-09T00:00:00Z","extern":1,"file_date_updated":"2020-07-14T12:46:32Z","publist_id":"127","month":"03","pubrep_id":"35","citation":{"chicago":"Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">https://doi.org/10.1007/978-3-642-00768-2_7</a>.","mla":"Berwanger, Dietmar, et al. <i>Alpaga: A Tool for Solving Parity Games with Imperfect Information</i>. Vol. 5505, Springer, 2009, pp. 58–61, doi:<a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">10.1007/978-3-642-00768-2_7</a>.","apa":"Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., &#38; Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. <a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">https://doi.org/10.1007/978-3-642-00768-2_7</a>","ieee":"D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.","ama":"Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi:<a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">10.1007/978-3-642-00768-2_7</a>","ista":"Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2009. Alpaga: A tool for solving parity games with imperfect information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 5505, 58–61.","short":"D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61."},"day":"09","volume":5505,"quality_controlled":0,"type":"conference","publisher":"Springer","main_file_link":[{"open_access":"1","url":"https://repository.ist.ac.at/35/"}],"file":[{"file_name":"IST-2012-35-v1+1_Alpaga_-_A_tool_for_solving_parity_games_with_imperfect_information.pdf","creator":"system","relation":"main_file","file_size":212180,"access_level":"open_access","content_type":"application/pdf","checksum":"d52b55a10a47b3e3b0e016ea9bf85c41","date_updated":"2020-07-14T12:46:32Z","file_id":"5168","date_created":"2018-12-12T10:15:45Z"}],"intvolume":"      5505","doi":"10.1007/978-3-642-00768-2_7","abstract":[{"text":"Alpaga is a solver for two-player parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it constructs a winning strategy. The tool provides a symbolic implementation of a recent algorithm based on antichains.","lang":"eng"}],"year":"2009","alternative_title":["LNCS"],"_id":"4580","oa":1,"title":"Alpaga: A tool for solving parity games with imperfect information","author":[{"first_name":"Dietmar","last_name":"Berwanger","full_name":"Berwanger, Dietmar"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Krishnendu Chatterjee","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"full_name":"De Wulf, Martin","last_name":"De Wulf","first_name":"Martin"},{"first_name":"Laurent","full_name":"Doyen, Laurent","last_name":"Doyen"},{"last_name":"Henzinger","full_name":"Thomas Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"}],"page":"58 - 61","status":"public","publication_status":"published","date_updated":"2021-01-12T07:59:52Z"},{"citation":{"chicago":"Chatterjee, Krishnendu. <i>Probabilistic Automata on Infinite Words: Decidability and Undecidability Results</i>. IST Austria, 2009. <a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">https://doi.org/10.15479/AT:IST-2009-0004</a>.","mla":"Chatterjee, Krishnendu. <i>Probabilistic Automata on Infinite Words: Decidability and Undecidability Results</i>. IST Austria, 2009, doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">10.15479/AT:IST-2009-0004</a>.","ieee":"K. Chatterjee, <i>Probabilistic automata on infinite words: Decidability and undecidability results</i>. IST Austria, 2009.","apa":"Chatterjee, K. (2009). <i>Probabilistic automata on infinite words: Decidability and undecidability results</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">https://doi.org/10.15479/AT:IST-2009-0004</a>","ama":"Chatterjee K. <i>Probabilistic Automata on Infinite Words: Decidability and Undecidability Results</i>. IST Austria; 2009. doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0004\">10.15479/AT:IST-2009-0004</a>","ista":"Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p.","short":"K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009."},"pubrep_id":"28","day":"02","department":[{"_id":"KrCh"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"11","ddc":["005"],"file_date_updated":"2020-07-14T12:46:43Z","date_published":"2009-11-02T00:00:00Z","date_created":"2018-12-12T11:39:04Z","oa_version":"Published Version","publisher":"IST Austria","file":[{"date_updated":"2020-07-14T12:46:43Z","content_type":"application/pdf","checksum":"fb7563150231325b00b1718d956f687b","access_level":"open_access","relation":"main_file","file_size":311065,"creator":"system","file_name":"IST-2009-0004_IST-2009-0004.pdf","date_created":"2018-12-12T11:54:08Z","file_id":"5530"}],"has_accepted_license":"1","language":[{"iso":"eng"}],"type":"technical_report","oa":1,"title":"Probabilistic automata on infinite words: Decidability and undecidability results","author":[{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"}],"_id":"5392","abstract":[{"text":"We consider probabilistic automata on infinite words with acceptance defined by safety, reachability, Büchi, coBüchi and limit-average conditions. We consider quantitative and qualitative decision problems. We present extensions and adaptations of proofs of [GO09] and present a precise characterization of the decidability and undecidability frontier of the quantitative and qualitative decision problems.","lang":"eng"}],"year":"2009","alternative_title":["IST Austria Technical Report"],"doi":"10.15479/AT:IST-2009-0004","publication_identifier":{"issn":["2664-1690"]},"date_updated":"2023-02-23T11:45:44Z","related_material":{"record":[{"status":"public","relation":"later_version","id":"3857"}]},"publication_status":"published","status":"public","page":"17"},{"_id":"5393","author":[{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"first_name":"Barbara","last_name":"Jobstmann","full_name":"Jobstmann, Barbara"},{"id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","first_name":"Arjun","full_name":"Radhakrishna, Arjun","last_name":"Radhakrishna"}],"oa":1,"title":"Gist: A solver for probabilistic games","doi":"10.15479/AT:IST-2009-0003","alternative_title":["IST Austria Technical Report"],"year":"2009","abstract":[{"lang":"eng","text":"Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with ω-regular objectives; and (b) synthesizes reasonable environment assumptions for synthesis of unrealizable specifications. Our tool provides efficient implementations of several reduction based techniques to solve turn-based probabilistic games, and uses the analysis of turn-based probabilistic games for synthesizing environment assumptions for unrealizable specifications."}],"date_updated":"2023-02-23T12:09:01Z","publication_identifier":{"issn":["2664-1690"]},"page":"12","status":"public","publication_status":"published","related_material":{"record":[{"relation":"later_version","status":"public","id":"4388"}]},"ddc":["000","005"],"file_date_updated":"2020-07-14T12:46:43Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"10","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"day":"09","pubrep_id":"29","citation":{"apa":"Chatterjee, K., Henzinger, T. A., Jobstmann, B., &#38; Radhakrishna, A. (2009). <i>Gist: A solver for probabilistic games</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2009-0003\">https://doi.org/10.15479/AT:IST-2009-0003</a>","ieee":"K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, <i>Gist: A solver for probabilistic games</i>. IST Austria, 2009.","ista":"Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.","ama":"Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. <i>Gist: A Solver for Probabilistic Games</i>. IST Austria; 2009. doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0003\">10.15479/AT:IST-2009-0003</a>","short":"K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. <i>Gist: A Solver for Probabilistic Games</i>. IST Austria, 2009. <a href=\"https://doi.org/10.15479/AT:IST-2009-0003\">https://doi.org/10.15479/AT:IST-2009-0003</a>.","mla":"Chatterjee, Krishnendu, et al. <i>Gist: A Solver for Probabilistic Games</i>. IST Austria, 2009, doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0003\">10.15479/AT:IST-2009-0003</a>."},"date_created":"2018-12-12T11:39:05Z","oa_version":"Published Version","date_published":"2009-10-09T00:00:00Z","file":[{"file_size":386866,"creator":"system","relation":"main_file","file_name":"IST-2009-0003_IST-2009-0003.pdf","checksum":"49551ac552915b17593a14c993845274","content_type":"application/pdf","access_level":"open_access","date_updated":"2020-07-14T12:46:43Z","date_created":"2018-12-12T11:52:58Z","file_id":"5459"}],"publisher":"IST Austria","type":"technical_report","language":[{"iso":"eng"}],"has_accepted_license":"1"},{"citation":{"chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. <i>Improved Lower Bounds for Request-Response and Finitary Streett Games</i>. IST Austria, 2009. <a href=\"https://doi.org/10.15479/AT:IST-2009-0002\">https://doi.org/10.15479/AT:IST-2009-0002</a>.","mla":"Chatterjee, Krishnendu, et al. <i>Improved Lower Bounds for Request-Response and Finitary Streett Games</i>. IST Austria, 2009, doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0002\">10.15479/AT:IST-2009-0002</a>.","ieee":"K. Chatterjee, T. A. Henzinger, and F. Horn, <i>Improved lower bounds for request-response and finitary Streett games</i>. IST Austria, 2009.","apa":"Chatterjee, K., Henzinger, T. A., &#38; Horn, F. (2009). <i>Improved lower bounds for request-response and finitary Streett games</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2009-0002\">https://doi.org/10.15479/AT:IST-2009-0002</a>","ista":"Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.","ama":"Chatterjee K, Henzinger TA, Horn F. <i>Improved Lower Bounds for Request-Response and Finitary Streett Games</i>. IST Austria; 2009. doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0002\">10.15479/AT:IST-2009-0002</a>","short":"K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009."},"pubrep_id":"30","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"day":"09","month":"09","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["004"],"file_date_updated":"2020-07-14T12:46:43Z","date_published":"2009-09-09T00:00:00Z","oa_version":"Published Version","date_created":"2018-12-12T11:39:05Z","publisher":"IST Austria","file":[{"access_level":"open_access","content_type":"application/pdf","checksum":"1c50a9723fbae1b2c46d18138968efb3","date_updated":"2020-07-14T12:46:43Z","file_name":"IST-2009-0002_IST-2009-0002.pdf","relation":"main_file","file_size":238091,"creator":"system","file_id":"5511","date_created":"2018-12-12T11:53:50Z"}],"has_accepted_license":"1","type":"technical_report","language":[{"iso":"eng"}],"oa":1,"title":"Improved lower bounds for request-response and finitary Streett games","author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Horn, Florian","last_name":"Horn","id":"37327ACE-F248-11E8-B48F-1D18A9856A87","first_name":"Florian"}],"_id":"5394","abstract":[{"lang":"eng","text":"We consider two-player games played on graphs with request-response and finitary Streett objectives. We show these games are PSPACE-hard, improving the previous known NP-hardness. We also improve the lower bounds on memory required by the winning strategies for the players."}],"year":"2009","alternative_title":["IST Austria Technical Report"],"doi":"10.15479/AT:IST-2009-0002","publication_identifier":{"issn":["2664-1690"]},"date_updated":"2020-07-14T23:07:47Z","status":"public","publication_status":"published","page":"11"},{"abstract":[{"text":"We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with omega-regular objectives. An observation-based strategy relies on partial information about the history of a play, namely, on the past sequence of observa- tions. We consider the qualitative analysis problem: given a POMDP with an omega-regular objective, whether there is an observation-based strategy to achieve the objective with probability 1 (almost-sure winning), or with positive probability (positive winning). Our main results are twofold. First, we present a complete picture of the computational complexity of the qualitative analysis of POMDPs with parity objectives (a canonical form to express omega-regular objectives) and its subclasses. Our contribution consists in establishing several upper and lower bounds that were not known in literature. Second, we present optimal bounds (matching upper and lower bounds) on the memory required by pure and randomized observation-based strategies for the qualitative analysis of POMDPs with parity objectives and its subclasses.","lang":"eng"}],"alternative_title":["IST Austria Technical Report"],"year":"2009","doi":"10.15479/AT:IST-2009-0001","title":"Qualitative analysis of partially-observable Markov decision processes","oa":1,"author":[{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"first_name":"Laurent","last_name":"Doyen","full_name":"Doyen, Laurent"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724"}],"_id":"5395","related_material":{"record":[{"relation":"later_version","status":"public","id":"3855"}]},"status":"public","publication_status":"published","page":"20","publication_identifier":{"issn":["2664-1690"]},"date_updated":"2023-02-23T11:45:39Z","date_published":"2009-09-09T00:00:00Z","oa_version":"Published Version","date_created":"2018-12-12T11:39:05Z","pubrep_id":"31","citation":{"apa":"Chatterjee, K., Doyen, L., &#38; Henzinger, T. A. (2009). <i>Qualitative analysis of partially-observable Markov decision processes</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2009-0001\">https://doi.org/10.15479/AT:IST-2009-0001</a>","ieee":"K. Chatterjee, L. Doyen, and T. A. Henzinger, <i>Qualitative analysis of partially-observable Markov decision processes</i>. IST Austria, 2009.","ista":"Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.","short":"K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.","ama":"Chatterjee K, Doyen L, Henzinger TA. <i>Qualitative Analysis of Partially-Observable Markov Decision Processes</i>. IST Austria; 2009. doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0001\">10.15479/AT:IST-2009-0001</a>","mla":"Chatterjee, Krishnendu, et al. <i>Qualitative Analysis of Partially-Observable Markov Decision Processes</i>. IST Austria, 2009, doi:<a href=\"https://doi.org/10.15479/AT:IST-2009-0001\">10.15479/AT:IST-2009-0001</a>.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. <i>Qualitative Analysis of Partially-Observable Markov Decision Processes</i>. IST Austria, 2009. <a href=\"https://doi.org/10.15479/AT:IST-2009-0001\">https://doi.org/10.15479/AT:IST-2009-0001</a>."},"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"day":"09","file_date_updated":"2020-07-14T12:46:43Z","ddc":["005"],"month":"09","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","language":[{"iso":"eng"}],"type":"technical_report","publisher":"IST Austria","file":[{"access_level":"open_access","content_type":"application/pdf","checksum":"04d9cc065cc19598a4e8631c47f1a562","date_updated":"2020-07-14T12:46:43Z","file_name":"IST-2009-0001_IST-2009-0001.pdf","creator":"system","file_size":342088,"relation":"main_file","file_id":"5486","date_created":"2018-12-12T11:53:25Z"}]},{"date_published":"2009-02-15T00:00:00Z","extern":"1","date_created":"2018-12-11T11:47:25Z","oa_version":"None","day":"15","citation":{"apa":"Knuesel, M., Meyer, K., Bernecky, C., &#38; Taatjes, D. (2009). The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. <i>Genes and Development</i>. Cold Spring Harbor Laboratory Press. <a href=\"https://doi.org/10.1101/gad.1767009\">https://doi.org/10.1101/gad.1767009</a>","ieee":"M. Knuesel, K. Meyer, C. Bernecky, and D. Taatjes, “The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function,” <i>Genes and Development</i>, vol. 23, no. 4. Cold Spring Harbor Laboratory Press, pp. 439–451, 2009.","ama":"Knuesel M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. <i>Genes and Development</i>. 2009;23(4):439-451. doi:<a href=\"https://doi.org/10.1101/gad.1767009\">10.1101/gad.1767009</a>","ista":"Knuesel M, Meyer K, Bernecky C, Taatjes D. 2009. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 23(4), 439–451.","short":"M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.","chicago":"Knuesel, Matthew, Krista Meyer, Carrie Bernecky, and Dylan Taatjes. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” <i>Genes and Development</i>. Cold Spring Harbor Laboratory Press, 2009. <a href=\"https://doi.org/10.1101/gad.1767009\">https://doi.org/10.1101/gad.1767009</a>.","mla":"Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” <i>Genes and Development</i>, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi:<a href=\"https://doi.org/10.1101/gad.1767009\">10.1101/gad.1767009</a>."},"publist_id":"7211","month":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","language":[{"iso":"eng"}],"volume":23,"article_processing_charge":"No","intvolume":"        23","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2648653/"}],"publisher":"Cold Spring Harbor Laboratory Press","issue":"4","year":"2009","abstract":[{"lang":"eng","text":"The human CDK8 subcomplex (CDK8, cyclin C, Med12, and Med13) negatively regulates transcription in ways not completely defined; past studies suggested CDK8 kinase activity was required for its repressive function. Using a reconstituted transcription system together with recombinant or endogenous CDK8 subcomplexes, we demonstrate that, in fact, Med12 and Med13 are critical for subcomplex-dependent repression, whereas CDK8 kinase activity is not. A hallmark of activated transcription is efficient reinitiation from promoter-bound scaffold complexes that recruit a series of pol II enzymes to the gene. Notably, the CDK8 submodule strongly represses even reinitiation events, suggesting a means to fine tune transcript levels. Structural and biochemical studies confirm the CDK8 submodule binds the Mediator leg/tail domain via the Med13 subunit, and this submodule-Mediator association precludes pol II recruitment. Collectively, these results reveal the CDK8 subcomplex functions as a simple switch that controls the Mediator-pol II interaction to help regulate transcription initiation and reinitiation events. As Mediator is generally required for expression of protein-coding genes, this may reflect a common mechanism by which activated transcription is shut down in human cells."}],"doi":"10.1101/gad.1767009","author":[{"full_name":"Knuesel, Matthew","last_name":"Knuesel","first_name":"Matthew"},{"last_name":"Meyer","full_name":"Meyer, Krista","first_name":"Krista"},{"orcid":"0000-0003-0893-7036","last_name":"Bernecky","full_name":"Bernecky, Carrie A","first_name":"Carrie A","id":"2CB9DFE2-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Dylan","full_name":"Taatjes, Dylan","last_name":"Taatjes"}],"oa":1,"title":"The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function","_id":"599","status":"public","publication_status":"published","page":"439 - 451","publication":"Genes and Development","date_updated":"2021-01-12T08:05:32Z"},{"extern":"1","date_published":"2009-09-01T00:00:00Z","date_created":"2021-02-15T14:41:08Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","language":[{"iso":"eng"}],"quality_controlled":"1","type":"journal_article","publisher":"American Meteorological Society","intvolume":"        39","main_file_link":[{"url":"https://doi.org/10.1175/2009JPO4141.1","open_access":"1"}],"year":"2009","keyword":["Oceanography"],"oa":1,"page":"2077-2096","article_type":"original","publication":"Journal of Physical Oceanography","date_updated":"2022-01-24T13:50:37Z","oa_version":"Published Version","citation":{"mla":"Muller, Caroline J., and Oliver Bühler. “Saturation of the Internal Tides and Induced Mixing in the Abyssal Ocean.” <i>Journal of Physical Oceanography</i>, vol. 39, no. 9, American Meteorological Society, 2009, pp. 2077–96, doi:<a href=\"https://doi.org/10.1175/2009jpo4141.1\">10.1175/2009jpo4141.1</a>.","chicago":"Muller, Caroline J, and Oliver Bühler. “Saturation of the Internal Tides and Induced Mixing in the Abyssal Ocean.” <i>Journal of Physical Oceanography</i>. American Meteorological Society, 2009. <a href=\"https://doi.org/10.1175/2009jpo4141.1\">https://doi.org/10.1175/2009jpo4141.1</a>.","ista":"Muller CJ, Bühler O. 2009. Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. 39(9), 2077–2096.","ama":"Muller CJ, Bühler O. Saturation of the internal tides and induced mixing in the abyssal ocean. <i>Journal of Physical Oceanography</i>. 2009;39(9):2077-2096. doi:<a href=\"https://doi.org/10.1175/2009jpo4141.1\">10.1175/2009jpo4141.1</a>","short":"C.J. Muller, O. Bühler, Journal of Physical Oceanography 39 (2009) 2077–2096.","ieee":"C. J. Muller and O. Bühler, “Saturation of the internal tides and induced mixing in the abyssal ocean,” <i>Journal of Physical Oceanography</i>, vol. 39, no. 9. American Meteorological Society, pp. 2077–2096, 2009.","apa":"Muller, C. J., &#38; Bühler, O. (2009). Saturation of the internal tides and induced mixing in the abyssal ocean. <i>Journal of Physical Oceanography</i>. American Meteorological Society. <a href=\"https://doi.org/10.1175/2009jpo4141.1\">https://doi.org/10.1175/2009jpo4141.1</a>"},"day":"01","month":"09","article_processing_charge":"No","volume":39,"abstract":[{"text":"As part of an ongoing effort to develop a parameterization of wave-induced abyssal mixing, the authors derive an heuristic model for nonlinear wave breaking and energy dissipation associated with internal tides. Then the saturation and dissipation of internal tides for idealized and observed topography samples are investigated. One of the main results is that the wave-induced mixing could be more intense and more confined to the bottom than previously assumed in numerical models. Furthermore, in this model wave breaking and mixing clearly depend on the small scales of the topography below 10 km or so, which is below the current resolution of global bathymetry. This motivates the use of a statistical approach to represent the unresolved topography when addressing the role of internal tides in mixing the deep ocean.","lang":"eng"}],"issue":"9","doi":"10.1175/2009jpo4141.1","title":"Saturation of the internal tides and induced mixing in the abyssal ocean","author":[{"first_name":"Caroline J","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","last_name":"Muller","full_name":"Muller, Caroline J","orcid":"0000-0001-5836-5350"},{"last_name":"Bühler","full_name":"Bühler, Oliver","first_name":"Oliver"}],"_id":"9147","status":"public","publication_status":"published","publication_identifier":{"issn":["1520-0485","0022-3670"]}},{"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","date_published":"2009-08-25T00:00:00Z","extern":"1","date_created":"2021-02-15T14:41:28Z","publisher":"American Geophysical Union","main_file_link":[{"url":"https://doi.org/10.1029/2009GL039667","open_access":"1"}],"intvolume":"        36","language":[{"iso":"eng"}],"quality_controlled":"1","type":"journal_article","oa":1,"year":"2009","keyword":["General Earth and Planetary Sciences","Geophysics"],"publication":"Geophysical Research Letters","date_updated":"2022-01-24T13:50:15Z","article_number":"L16804","article_type":"original","citation":{"chicago":"Muller, Caroline J, Larissa E. Back, Paul A. O’Gorman, and Kerry A. Emanuel. “A Model for the Relationship between Tropical Precipitation and Column Water Vapor.” <i>Geophysical Research Letters</i>. American Geophysical Union, 2009. <a href=\"https://doi.org/10.1029/2009gl039667\">https://doi.org/10.1029/2009gl039667</a>.","mla":"Muller, Caroline J., et al. “A Model for the Relationship between Tropical Precipitation and Column Water Vapor.” <i>Geophysical Research Letters</i>, vol. 36, no. 16, L16804, American Geophysical Union, 2009, doi:<a href=\"https://doi.org/10.1029/2009gl039667\">10.1029/2009gl039667</a>.","short":"C.J. Muller, L.E. Back, P.A. O’Gorman, K.A. Emanuel, Geophysical Research Letters 36 (2009).","ista":"Muller CJ, Back LE, O’Gorman PA, Emanuel KA. 2009. A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. 36(16), L16804.","ama":"Muller CJ, Back LE, O’Gorman PA, Emanuel KA. A model for the relationship between tropical precipitation and column water vapor. <i>Geophysical Research Letters</i>. 2009;36(16). doi:<a href=\"https://doi.org/10.1029/2009gl039667\">10.1029/2009gl039667</a>","ieee":"C. J. Muller, L. E. Back, P. A. O’Gorman, and K. A. Emanuel, “A model for the relationship between tropical precipitation and column water vapor,” <i>Geophysical Research Letters</i>, vol. 36, no. 16. American Geophysical Union, 2009.","apa":"Muller, C. J., Back, L. E., O’Gorman, P. A., &#38; Emanuel, K. A. (2009). A model for the relationship between tropical precipitation and column water vapor. <i>Geophysical Research Letters</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2009gl039667\">https://doi.org/10.1029/2009gl039667</a>"},"day":"25","month":"08","oa_version":"Published Version","volume":36,"article_processing_charge":"No","title":"A model for the relationship between tropical precipitation and column water vapor","author":[{"orcid":"0000-0001-5836-5350","full_name":"Muller, Caroline J","last_name":"Muller","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","first_name":"Caroline J"},{"first_name":"Larissa E.","last_name":"Back","full_name":"Back, Larissa E."},{"last_name":"O'Gorman","full_name":"O'Gorman, Paul A.","first_name":"Paul A."},{"first_name":"Kerry A.","full_name":"Emanuel, Kerry A.","last_name":"Emanuel"}],"_id":"9148","abstract":[{"lang":"eng","text":"Several observational studies have shown a tight relationship between tropical precipitation and column‐integrated water vapor. We show that the observed relationship in the tropics between column‐integrated water vapor, precipitation, and its variance can be qualitatively reproduced by a simple and physically motivated two‐layer model. It has previously been argued that features of this relationship could be explained by analogy with the theory of continuous phase transitions. Instead, our model explicitly assumes that the onset of precipitation is governed by a stability threshold involving boundary‐layer water vapor. This allows us to explain the precipitation‐humidity relationship over a broader range of water vapor values, and may explain the observed temperature dependence of the relationship."}],"issue":"16","doi":"10.1029/2009gl039667","publication_identifier":{"issn":["0094-8276"]},"status":"public","publication_status":"published"},{"main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4044190/"}],"intvolume":"       324","publisher":"American Association for the Advancement of Science","type":"journal_article","language":[{"iso":"eng"}],"quality_controlled":"1","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","department":[{"_id":"DaZi"}],"scopus_import":"1","date_created":"2021-06-04T08:55:41Z","extern":"1","external_id":{"pmid":["19520962"]},"date_published":"2009-06-12T00:00:00Z","date_updated":"2021-12-14T08:53:26Z","publication":"Science","article_type":"original","page":"1451-1454","oa":1,"keyword":["Multidisciplinary"],"year":"2009","article_processing_charge":"No","volume":324,"pmid":1,"month":"06","day":"12","citation":{"ieee":"T.-F. Hsieh <i>et al.</i>, “Genome-wide demethylation of Arabidopsis endosperm,” <i>Science</i>, vol. 324, no. 5933. American Association for the Advancement of Science, pp. 1451–1454, 2009.","apa":"Hsieh, T.-F., Ibarra, C. A., Silva, P., Zemach, A., Eshed-Williams, L., Fischer, R. L., &#38; Zilberman, D. (2009). Genome-wide demethylation of Arabidopsis endosperm. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1172417\">https://doi.org/10.1126/science.1172417</a>","ista":"Hsieh T-F, Ibarra CA, Silva P, Zemach A, Eshed-Williams L, Fischer RL, Zilberman D. 2009. Genome-wide demethylation of Arabidopsis endosperm. Science. 324(5933), 1451–1454.","ama":"Hsieh T-F, Ibarra CA, Silva P, et al. Genome-wide demethylation of Arabidopsis endosperm. <i>Science</i>. 2009;324(5933):1451-1454. doi:<a href=\"https://doi.org/10.1126/science.1172417\">10.1126/science.1172417</a>","short":"T.-F. Hsieh, C.A. Ibarra, P. Silva, A. Zemach, L. Eshed-Williams, R.L. Fischer, D. Zilberman, Science 324 (2009) 1451–1454.","chicago":"Hsieh, Tzung-Fu, Christian A. Ibarra, Pedro Silva, Assaf Zemach, Leor Eshed-Williams, Robert L. Fischer, and Daniel Zilberman. “Genome-Wide Demethylation of Arabidopsis Endosperm.” <i>Science</i>. American Association for the Advancement of Science, 2009. <a href=\"https://doi.org/10.1126/science.1172417\">https://doi.org/10.1126/science.1172417</a>.","mla":"Hsieh, Tzung-Fu, et al. “Genome-Wide Demethylation of Arabidopsis Endosperm.” <i>Science</i>, vol. 324, no. 5933, American Association for the Advancement of Science, 2009, pp. 1451–54, doi:<a href=\"https://doi.org/10.1126/science.1172417\">10.1126/science.1172417</a>."},"oa_version":"Submitted Version","publication_identifier":{"issn":["0036-8075"],"eissn":["1095-9203"]},"status":"public","publication_status":"published","_id":"9453","author":[{"first_name":"Tzung-Fu","last_name":"Hsieh","full_name":"Hsieh, Tzung-Fu"},{"first_name":"Christian A.","last_name":"Ibarra","full_name":"Ibarra, Christian A."},{"first_name":"Pedro","full_name":"Silva, Pedro","last_name":"Silva"},{"first_name":"Assaf","full_name":"Zemach, Assaf","last_name":"Zemach"},{"last_name":"Eshed-Williams","full_name":"Eshed-Williams, Leor","first_name":"Leor"},{"first_name":"Robert L.","last_name":"Fischer","full_name":"Fischer, Robert L."},{"orcid":"0000-0002-0123-8649","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","first_name":"Daniel","full_name":"Zilberman, Daniel","last_name":"Zilberman"}],"title":"Genome-wide demethylation of Arabidopsis endosperm","doi":"10.1126/science.1172417","issue":"5933","abstract":[{"lang":"eng","text":"Parent-of-origin-specific (imprinted) gene expression is regulated in Arabidopsis thaliana endosperm by cytosine demethylation of the maternal genome mediated by the DNA glycosylase DEMETER, but the extent of the methylation changes is not known. Here, we show that virtually the entire endosperm genome is demethylated, coupled with extensive local non-CG hypermethylation of small interfering RNA–targeted sequences. Mutation of DEMETER partially restores endosperm CG methylation to levels found in other tissues, indicating that CG demethylation is specific to maternal sequences. Endosperm demethylation is accompanied by CHH hypermethylation of embryo transposable elements. Our findings demonstrate extensive reconfiguration of the endosperm methylation landscape that likely reinforces transposon silencing in the embryo."}]},{"article_processing_charge":"No","volume":95,"arxiv":1,"oa_version":"None","month":"05","citation":{"apa":"Mark, M., Danzl, J. G., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Dark resonances for ground-state transfer of molecular quantum gases. <i>Applied Physics B: Lasers and Optics</i>. Springer. <a href=\"https://doi.org/10.1007/s00340-009-3407-1\">https://doi.org/10.1007/s00340-009-3407-1</a>","ieee":"M. Mark <i>et al.</i>, “Dark resonances for ground-state transfer of molecular quantum gases,” <i>Applied Physics B: Lasers and Optics</i>, vol. 95, no. 2. Springer, pp. 219–225, 2009.","short":"M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.","ista":"Mark M, Danzl JG, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Salami H, Bergeman T, Ritsch H, Hart R, Nägerl H. 2009. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 95(2), 219–225.","ama":"Mark M, Danzl JG, Haller E, et al. Dark resonances for ground-state transfer of molecular quantum gases. <i>Applied Physics B: Lasers and Optics</i>. 2009;95(2):219-225. doi:<a href=\"https://doi.org/10.1007/s00340-009-3407-1\">10.1007/s00340-009-3407-1</a>","chicago":"Mark, Manfred, Johann G Danzl, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Houssam Salami, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” <i>Applied Physics B: Lasers and Optics</i>. Springer, 2009. <a href=\"https://doi.org/10.1007/s00340-009-3407-1\">https://doi.org/10.1007/s00340-009-3407-1</a>.","mla":"Mark, Manfred, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” <i>Applied Physics B: Lasers and Optics</i>, vol. 95, no. 2, Springer, 2009, pp. 219–25, doi:<a href=\"https://doi.org/10.1007/s00340-009-3407-1\">10.1007/s00340-009-3407-1</a>."},"day":"01","publication_status":"published","acknowledgement":"We are indebted to R. Grimm for generous support and we thank E. Tiemann for valuable discussions and C. Amiot for providing the FTS data of LAC on Cs2. We gratefully acknowledge funding by the Austrian Ministry of Science and Research (BMWF)\r\nand the Austrian Science Fund (FWF) in the form of a START prize grant and by the European Science Foundation (ESF) in the framework of the EuroQUAM collective research project QuDipMol. R.H. acknowledges support by the European Union in the form of a Marie Curie International Incoming Fellowship (IIF). The work at Stony Brook was supported by the US NSF, under grant PHY0652459.","status":"public","doi":"10.1007/s00340-009-3407-1","abstract":[{"lang":"eng","text":"One possible way to produce ultra-cold, high-phase-space-density quantum gases of molecules in the rovibronic ground state is given by molecule association from quantum-degenerate atomic gases on a Feshbach resonance and subsequent coherent optical multi-photon transfer into the rovibronic ground state. In ultra-cold samples of Cs2 molecules, we observe two-photon dark resonances that connect the intermediate rovibrational level |v=73,J=2 with the rovibrational ground state |v=0,J=0 of the singlet X 1 ∑ g + ground-state potential. For precise dark resonance spectroscopy we exploit the fact that it is possible to efficiently populate the level |v=73,J=2 by two-photon transfer from the dissociation threshold with the stimulated Raman adiabatic passage (STIRAP) technique. We find that at least one of the two-photon resonances is sufficiently strong to allow future implementation of coherent STIRAP transfer of a molecular quantum gas to the rovibrational ground state |v=0,J=0."}],"issue":"2","_id":"1038","title":"Dark resonances for ground-state transfer of molecular quantum gases","author":[{"first_name":"Manfred","last_name":"Mark","full_name":"Mark, Manfred"},{"id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","first_name":"Johann G","full_name":"Danzl, Johann G","last_name":"Danzl","orcid":"0000-0001-8559-3973"},{"last_name":"Haller","full_name":"Haller, Elmar","first_name":"Elmar"},{"first_name":"Mattias","full_name":"Gustavsson, Mattias","last_name":"Gustavsson"},{"full_name":"Bouloufa, Nadia","last_name":"Bouloufa","first_name":"Nadia"},{"first_name":"Olivier","last_name":"Dulieu","full_name":"Dulieu, Olivier"},{"full_name":"Salami, Houssam","last_name":"Salami","first_name":"Houssam"},{"full_name":"Bergeman, Thomas","last_name":"Bergeman","first_name":"Thomas"},{"last_name":"Ritsch","full_name":"Ritsch, Helmut","first_name":"Helmut"},{"first_name":"Russell","full_name":"Hart, Russell","last_name":"Hart"},{"full_name":"Nägerl, Hanns","last_name":"Nägerl","first_name":"Hanns"}],"language":[{"iso":"eng"}],"type":"journal_article","publisher":"Springer","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/0811.0695"}],"intvolume":"        95","date_created":"2018-12-11T11:49:49Z","external_id":{"arxiv":["0811.0695"]},"date_published":"2009-05-01T00:00:00Z","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"6350","page":"219 - 225","date_updated":"2021-01-12T06:47:50Z","publication":"Applied Physics B: Lasers and Optics","year":"2009","oa":1}]