[{"publication_identifier":{"isbn":["978-0-521-19118-0 "]},"extern":"1","oa_version":"None","publisher":"Cambridge University Press","day":"01","citation":{"chicago":"Lieb, Élliott, and Robert Seiringer. <i>The Stability of Matter in Quantum Mechanics</i>. Cambridge University Press, 2009.","short":"É. Lieb, R. Seiringer, The Stability of Matter in Quantum Mechanics, Cambridge University Press, 2009.","ieee":"É. Lieb and R. Seiringer, <i>The Stability of Matter in Quantum Mechanics</i>. Cambridge University Press, 2009.","ama":"Lieb É, Seiringer R. <i>The Stability of Matter in Quantum Mechanics</i>. Cambridge University Press; 2009.","mla":"Lieb, Élliott, and Robert Seiringer. <i>The Stability of Matter in Quantum Mechanics</i>. Cambridge University Press, 2009.","apa":"Lieb, É., &#38; Seiringer, R. (2009). <i>The Stability of Matter in Quantum Mechanics</i>. Cambridge University Press.","ista":"Lieb É, Seiringer R. 2009. The Stability of Matter in Quantum Mechanics, Cambridge University Press, 310p."},"page":"310","publist_id":"4601","quality_controlled":"1","abstract":[{"text":"Research into the stability of matter has been one of the most successful chapters in mathematical physics, and is a prime example of how modern mathematics can be applied to problems in physics. A unique account of the subject, this book provides a complete, self-contained description of research on the stability of matter problem. It introduces the necessary quantum mechanics to mathematicians, and aspects of functional analysis to physicists. The topics covered include electrodynamics of classical and quantized fields, Lieb-Thirring and other inequalities in spectral theory, inequalities in electrostatics, stability of large Coulomb systems, gravitational stability of stars, basics of equilibrium statistical mechanics, and the existence of the thermodynamic limit. The book is an up-to-date account for researchers, and its pedagogical style makes it suitable for advanced undergraduate and graduate courses in mathematical physics.","lang":"eng"}],"date_updated":"2021-12-21T15:45:31Z","author":[{"full_name":"Lieb, Élliott","first_name":"Élliott","last_name":"Lieb"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","last_name":"Seiringer","first_name":"Robert","full_name":"Seiringer, Robert"}],"month":"01","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication_status":"published","date_published":"2009-01-01T00:00:00Z","date_created":"2018-12-11T11:57:00Z","status":"public","_id":"2326","year":"2009","main_file_link":[{"url":"http://www.cambridge.org/9780521191180"}],"type":"book","article_processing_charge":"No","title":"The Stability of Matter in Quantum Mechanics","language":[{"iso":"eng"}]},{"year":"2009","_id":"2330","type":"conference","title":"A linear criterion for solutions of non-linear equations, with application to the BCS gap equation","author":[{"full_name":"Hainzl, Christian","last_name":"Hainzl","first_name":"Christian"},{"full_name":"Robert Seiringer","first_name":"Robert","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521"}],"date_published":"2009-01-01T00:00:00Z","publication_status":"published","month":"01","alternative_title":["Contemporary Mathematics"],"date_created":"2018-12-11T11:57:02Z","status":"public","intvolume":"       500","volume":500,"citation":{"ista":"Hainzl C, Seiringer R. 2009. A linear criterion for solutions of non-linear equations, with application to the BCS gap equation. Spectral and Scattering Theory for Quantum Magnetic Systems, Contemporary Mathematics, vol. 500, 101–104.","ieee":"C. Hainzl and R. Seiringer, “A linear criterion for solutions of non-linear equations, with application to the BCS gap equation,” presented at the Spectral and Scattering Theory for Quantum Magnetic Systems, 2009, vol. 500, pp. 101–104.","short":"C. Hainzl, R. Seiringer, in:, American Mathematical Society, 2009, pp. 101–104.","ama":"Hainzl C, Seiringer R. A linear criterion for solutions of non-linear equations, with application to the BCS gap equation. In: Vol 500. American Mathematical Society; 2009:101-104. doi:<a href=\"https://doi.org/10.1090/conm/500/09823\">10.1090/conm/500/09823</a>","chicago":"Hainzl, Christian, and Robert Seiringer. “A Linear Criterion for Solutions of Non-Linear Equations, with Application to the BCS Gap Equation,” 500:101–4. American Mathematical Society, 2009. <a href=\"https://doi.org/10.1090/conm/500/09823\">https://doi.org/10.1090/conm/500/09823</a>.","apa":"Hainzl, C., &#38; Seiringer, R. (2009). A linear criterion for solutions of non-linear equations, with application to the BCS gap equation (Vol. 500, pp. 101–104). Presented at the Spectral and Scattering Theory for Quantum Magnetic Systems, American Mathematical Society. <a href=\"https://doi.org/10.1090/conm/500/09823\">https://doi.org/10.1090/conm/500/09823</a>","mla":"Hainzl, Christian, and Robert Seiringer. <i>A Linear Criterion for Solutions of Non-Linear Equations, with Application to the BCS Gap Equation</i>. Vol. 500, American Mathematical Society, 2009, pp. 101–04, doi:<a href=\"https://doi.org/10.1090/conm/500/09823\">10.1090/conm/500/09823</a>."},"page":"101 - 104","day":"01","publist_id":"4596","quality_controlled":0,"date_updated":"2021-01-12T06:56:50Z","publisher":"American Mathematical Society","extern":1,"doi":"10.1090/conm/500/09823","conference":{"name":"Spectral and Scattering Theory for Quantum Magnetic Systems"}},{"author":[{"first_name":"Alessandro","last_name":"Giuliani","full_name":"Giuliani, Alessandro"},{"first_name":"Robert","last_name":"Seiringer","full_name":"Robert Seiringer","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"date_published":"2009-06-01T00:00:00Z","publication_status":"published","month":"06","date_created":"2018-12-11T11:57:21Z","intvolume":"       135","status":"public","year":"2009","_id":"2384","type":"journal_article","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0811.1166"}],"title":"The ground state energy of the weakly interacting Bose gas at high density","publication":"Journal of Statistical Physics","issue":"5-6","publisher":"Springer","extern":1,"doi":"10.1007/s10955-009-9718-0","oa":1,"citation":{"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>","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.","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>.","short":"A. Giuliani, R. Seiringer, Journal of Statistical Physics 135 (2009) 915–934.","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>","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>.","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."},"page":"915 - 934","volume":135,"day":"01","publist_id":"4542","quality_controlled":0,"date_updated":"2021-01-12T06:57:09Z","abstract":[{"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.","lang":"eng"}]},{"type":"journal_article","main_file_link":[{"url":"http://arxiv.org/abs/0904.1750","open_access":"1"}],"_id":"2385","year":"2009","publication":"Physical Review A - Atomic, Molecular, and Optical Physics","title":"Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime","publication_status":"published","date_published":"2009-06-24T00:00:00Z","month":"06","author":[{"full_name":"Lieb, Élliott H","first_name":"Élliott","last_name":"Lieb"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","last_name":"Seiringer","first_name":"Robert","full_name":"Robert Seiringer"},{"full_name":"Yngvason, Jakob","first_name":"Jakob","last_name":"Yngvason"}],"intvolume":"        79","status":"public","date_created":"2018-12-11T11:57:22Z","citation":{"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>.","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>","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>.","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.","short":"É. Lieb, R. Seiringer, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 79 (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)."},"volume":79,"oa":1,"day":"24","date_updated":"2021-01-12T06:57:09Z","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."}],"publist_id":"4541","quality_controlled":0,"issue":"6","extern":1,"publisher":"American Physical Society","doi":"10.1103/PhysRevA.79.063626"},{"status":"public","intvolume":"        80","date_created":"2018-12-11T11:57:22Z","month":"06","publication_status":"published","date_published":"2009-06-02T00:00:00Z","author":[{"full_name":"Robert Seiringer","last_name":"Seiringer","first_name":"Robert","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Ueltschi, Daniel","last_name":"Ueltschi","first_name":"Daniel"}],"publication":"Physical Review B - Condensed Matter and Materials Physics","title":"Rigorous upper bound on the critical temperature of dilute Bose gases","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0904.0050"}],"type":"journal_article","year":"2009","_id":"2386","doi":"10.1103/PhysRevB.80.014502","extern":1,"publisher":"American Physical Society","issue":"1","abstract":[{"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.","lang":"eng"}],"date_updated":"2021-01-12T06:57:10Z","publist_id":"4540","quality_controlled":0,"day":"02","volume":80,"citation":{"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>","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>.","short":"R. Seiringer, D. Ueltschi, Physical Review B - Condensed Matter and Materials Physics 80 (2009).","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.","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>.","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>","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)."},"oa":1},{"main_file_link":[{"url":"http://arxiv.org/abs/0906.0741","open_access":"1"}],"type":"journal_article","_id":"2387","year":"2009","publication":"Journal of Statistical Physics","title":"Strongly correlated phases in rapidly rotating Bose gases","month":"01","date_published":"2009-01-01T00:00:00Z","publication_status":"published","author":[{"full_name":"Lewin, Mathieu","first_name":"Mathieu","last_name":"Lewin"},{"full_name":"Robert Seiringer","last_name":"Seiringer","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521"}],"intvolume":"       137","status":"public","date_created":"2018-12-11T11:57:22Z","day":"01","page":"1040 - 1062","volume":137,"citation":{"ista":"Lewin M, Seiringer R. 2009. Strongly correlated phases in rapidly rotating Bose gases. Journal of Statistical Physics. 137(5), 1040–1062.","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>","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>.","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>.","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.","short":"M. Lewin, R. Seiringer, Journal of Statistical Physics 137 (2009) 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>"},"oa":1,"abstract":[{"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.","lang":"eng"}],"date_updated":"2021-01-12T06:57:10Z","publist_id":"4538","quality_controlled":0,"issue":"5","doi":"10.1007/s10955-009-9833-y","extern":1,"publisher":"Springer"},{"doi":"10.1109/TIT.2009.2027573","publisher":"IEEE","extern":1,"issue":"10","publist_id":"4539","quality_controlled":0,"abstract":[{"lang":"eng","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."}],"date_updated":"2021-01-12T06:57:11Z","day":"01","volume":55,"page":"4786 - 4792","oa":1,"citation":{"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.","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>.","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>","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>.","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."},"date_created":"2018-12-11T11:57:23Z","status":"public","intvolume":"        55","author":[{"full_name":"Predd, Joel B","last_name":"Predd","first_name":"Joel"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","full_name":"Robert Seiringer","last_name":"Seiringer","first_name":"Robert"},{"first_name":"Élliott","last_name":"Lieb","full_name":"Lieb, Élliott H"},{"full_name":"Osherson, Daniel N","last_name":"Osherson","first_name":"Daniel"},{"full_name":"Poor, Harold V","first_name":"Harold","last_name":"Poor"},{"full_name":"Kulkarni, Sanjeev R","last_name":"Kulkarni","first_name":"Sanjeev"}],"month":"10","publication_status":"published","date_published":"2009-10-01T00:00:00Z","title":"Probabilistic coherence and proper scoring rules","publication":"IEEE Transactions on Information Theory","year":"2009","_id":"2388","main_file_link":[{"url":"http://arxiv.org/abs/0710.3183","open_access":"1"}],"type":"journal_article"},{"author":[{"first_name":"Jiří","last_name":"Matoušek","full_name":"Matoušek, Jiří"},{"full_name":"Martin Tancer","last_name":"Tancer","first_name":"Martin","orcid":"0000-0002-1191-6714","id":"38AC689C-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Uli","last_name":"Wagner","full_name":"Uli Wagner","orcid":"0000-0002-1494-0568","id":"36690CA2-F248-11E8-B48F-1D18A9856A87"}],"month":"01","date_published":"2009-01-01T00:00:00Z","publication_status":"published","date_created":"2018-12-11T11:57:38Z","status":"public","_id":"2433","year":"2009","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0807.0336"}],"type":"conference","title":"Hardness of embedding simplicial complexes in ℝd","publisher":"SIAM","extern":1,"conference":{"name":"SODA: Symposium on Discrete Algorithms"},"day":"01","oa":1,"citation":{"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.","mla":"Matoušek, Jiří, et al. <i>Hardness of Embedding Simplicial Complexes in ℝd</i>. SIAM, 2009, pp. 855–64.","short":"J. Matoušek, M. Tancer, U. Wagner, in:, SIAM, 2009, pp. 855–864.","chicago":"Matoušek, Jiří, Martin Tancer, and Uli Wagner. “Hardness of Embedding Simplicial Complexes in ℝd,” 855–64. SIAM, 2009.","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.","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."},"page":"855 - 864","publist_id":"4476","quality_controlled":0,"abstract":[{"lang":"eng","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."}],"date_updated":"2021-01-12T06:57:27Z"},{"publication":"Computational Geometry: Theory and Applications","title":"Transforming spanning trees: A lower bound","type":"journal_article","_id":"2434","year":"2009","intvolume":"        42","status":"public","date_created":"2018-12-11T11:57:38Z","month":"10","publication_status":"published","date_published":"2009-10-01T00:00:00Z","author":[{"full_name":"Buchin, Kevin","last_name":"Buchin","first_name":"Kevin"},{"first_name":"Andreas","last_name":"Razen","full_name":"Razen, Andreas"},{"last_name":"Uno","first_name":"Takeaki","full_name":"Uno, Takeaki"},{"orcid":"0000-0002-1494-0568","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","full_name":"Uli Wagner","last_name":"Wagner","first_name":"Uli"}],"abstract":[{"text":"For a planar point set we consider the graph whose vertices are the crossing-free straight-line spanning trees of the point set, and two such spanning trees are adjacent if their union is crossing-free. An upper bound on the diameter of this graph implies an upper bound on the diameter of the flip graph of pseudo-triangulations of the underlying point set. We prove a lower bound of Ω(logn/loglogn) for the diameter of the transformation graph of spanning trees on a set of n points in the plane. This nearly matches the known upper bound of O(logn). If we measure the diameter in terms of the number of convex layers k of the point set, our lower bound construction is tight, i.e., the diameter is in Ω(logk) which matches the known upper bound of O(logk). So far only constant lower bounds were known.","lang":"eng"}],"date_updated":"2021-01-12T06:57:28Z","quality_controlled":0,"publist_id":"4475","day":"01","page":"724 - 730","citation":{"ista":"Buchin K, Razen A, Uno T, Wagner U. 2009. Transforming spanning trees: A lower bound. Computational Geometry: Theory and Applications. 42(8), 724–730.","chicago":"Buchin, Kevin, Andreas Razen, Takeaki Uno, and Uli Wagner. “Transforming Spanning Trees: A Lower Bound.” <i>Computational Geometry: Theory and Applications</i>. Elsevier, 2009. <a href=\"https://doi.org/10.1016/j.comgeo.2008.03.005\">https://doi.org/10.1016/j.comgeo.2008.03.005</a>.","short":"K. Buchin, A. Razen, T. Uno, U. Wagner, Computational Geometry: Theory and Applications 42 (2009) 724–730.","ama":"Buchin K, Razen A, Uno T, Wagner U. Transforming spanning trees: A lower bound. <i>Computational Geometry: Theory and Applications</i>. 2009;42(8):724-730. doi:<a href=\"https://doi.org/10.1016/j.comgeo.2008.03.005\">10.1016/j.comgeo.2008.03.005</a>","ieee":"K. Buchin, A. Razen, T. Uno, and U. Wagner, “Transforming spanning trees: A lower bound,” <i>Computational Geometry: Theory and Applications</i>, vol. 42, no. 8. Elsevier, pp. 724–730, 2009.","apa":"Buchin, K., Razen, A., Uno, T., &#38; Wagner, U. (2009). Transforming spanning trees: A lower bound. <i>Computational Geometry: Theory and Applications</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.comgeo.2008.03.005\">https://doi.org/10.1016/j.comgeo.2008.03.005</a>","mla":"Buchin, Kevin, et al. “Transforming Spanning Trees: A Lower Bound.” <i>Computational Geometry: Theory and Applications</i>, vol. 42, no. 8, Elsevier, 2009, pp. 724–30, doi:<a href=\"https://doi.org/10.1016/j.comgeo.2008.03.005\">10.1016/j.comgeo.2008.03.005</a>."},"volume":42,"doi":"10.1016/j.comgeo.2008.03.005","publisher":"Elsevier","extern":1,"issue":"8"},{"issue":"22-24","publication_identifier":{"eissn":["1478-6443"],"issn":["1478-6435"]},"oa_version":"None","publisher":"Taylor & Francis","extern":"1","doi":"10.1080/14786430902865518","volume":89,"citation":{"ama":"Yang X-D, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. <i>Philosophical Magazine</i>. 2009;89(22-24):2083-2091. doi:<a href=\"https://doi.org/10.1080/14786430902865518\">10.1080/14786430902865518</a>","short":"X.-D. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, Philosophical Magazine 89 (2009) 2083–2091.","chicago":"Yang, X.-D., P.S. Riseborough, Kimberly A Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” <i>Philosophical Magazine</i>. Taylor &#38; Francis, 2009. <a href=\"https://doi.org/10.1080/14786430902865518\">https://doi.org/10.1080/14786430902865518</a>.","ieee":"X.-D. Yang <i>et al.</i>, “Influence of magnetic fields on structural martensitic transitions,” <i>Philosophical Magazine</i>, vol. 89, no. 22–24. Taylor &#38; Francis, pp. 2083–2091, 2009.","apa":"Yang, X.-D., Riseborough, P. S., Modic, K. A., Fisher, R. A., Opeil, C. P., Finlayson, T. R., … Lashley, J. C. (2009). Influence of magnetic fields on structural martensitic transitions. <i>Philosophical Magazine</i>. Taylor &#38; Francis. <a href=\"https://doi.org/10.1080/14786430902865518\">https://doi.org/10.1080/14786430902865518</a>","mla":"Yang, X. D., et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” <i>Philosophical Magazine</i>, vol. 89, no. 22–24, Taylor &#38; Francis, 2009, pp. 2083–91, doi:<a href=\"https://doi.org/10.1080/14786430902865518\">10.1080/14786430902865518</a>.","ista":"Yang X-D, Riseborough PS, Modic KA, Fisher RA, Opeil CP, Finlayson TR, Cooley JC, Smith JL, Goddard PA, Silhanek AV, Lashley JC. 2009. Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. 89(22–24), 2083–2091."},"page":"2083-2091","day":"21","quality_controlled":"1","date_updated":"2023-02-21T16:26:53Z","abstract":[{"text":"We show evidence that a structural martensitic transition is related to significant changes in the electronic structure, as revealed in thermodynamic measurements made in high magnetic fields. The effect of the magnetic field is considered unusual as many influential investigations of martensitic transitions have emphasized that the structural transitions are primarily lattice dynamical and are driven by the entropy due to the phonons. We provide a theoretical framework, which can be used to describe the effect of the magnetic field on the lattice dynamics in which the field dependence originates from the dielectric constant.","lang":"eng"}],"article_type":"original","author":[{"full_name":"Yang, X.-D.","first_name":"X.-D.","last_name":"Yang"},{"full_name":"Riseborough, P.S.","first_name":"P.S.","last_name":"Riseborough"},{"first_name":"Kimberly A","last_name":"Modic","full_name":"Modic, Kimberly A","orcid":"0000-0001-9760-3147","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425"},{"full_name":"Fisher, R.A.","first_name":"R.A.","last_name":"Fisher"},{"last_name":"Opeil","first_name":"C.P.","full_name":"Opeil, C.P."},{"last_name":"Finlayson","first_name":"T.R.","full_name":"Finlayson, T.R."},{"last_name":"Cooley","first_name":"J.C.","full_name":"Cooley, J.C."},{"full_name":"Smith, J.L.","first_name":"J.L.","last_name":"Smith"},{"last_name":"Goddard","first_name":"P.A.","full_name":"Goddard, P.A."},{"last_name":"Silhanek","first_name":"A.V.","full_name":"Silhanek, A.V."},{"full_name":"Lashley, J.C.","first_name":"J.C.","last_name":"Lashley"}],"publication_status":"published","date_published":"2009-08-21T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"08","date_created":"2019-11-19T13:48:32Z","status":"public","intvolume":"        89","_id":"7080","year":"2009","type":"journal_article","related_material":{"record":[{"status":"public","id":"11752","relation":"earlier_version"}]},"title":"Influence of magnetic fields on structural martensitic transitions","article_processing_charge":"No","publication":"Philosophical Magazine","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"publication":"Journal of The Electrochemical Society","title":"Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters","article_processing_charge":"No","article_number":"B301","type":"journal_article","year":"2009","_id":"7319","status":"public","intvolume":"       156","date_created":"2020-01-15T12:21:24Z","month":"03","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2009-03-01T00:00:00Z","publication_status":"published","article_type":"original","author":[{"last_name":"Reum","first_name":"Mathias","full_name":"Reum, Mathias"},{"full_name":"Freunberger, Stefan Alexander","last_name":"Freunberger","first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319"},{"first_name":"Alexander","last_name":"Wokaun","full_name":"Wokaun, Alexander"},{"full_name":"Büchi, Felix N.","first_name":"Felix N.","last_name":"Büchi"}],"abstract":[{"lang":"eng","text":"In the first paper of this series, an experimental technique for measuring the current-density distribution with a resolution better than the sub-millimeter scale of the channel and rib structures in the flow-field plates of polymer electrolyte fuel cells (PEFCs) was introduced. This method is extended to the determination of local membrane resistance with the same spatial resolution in the present paper. The combined measurement of current and resistance allows for investigating the interaction of mass- and charge-transport processes, which determine the local rate distribution across the domain of channels and ribs. Therewith, the influence of relevant operating parameters such as reactant composition, dew points, and cell compression on local current generation is investigated. The results show that the distribution of water and oxidant across the channel and rib are the main reasons for significant current gradients on a scale smaller than a millimeter. Humidity variation mainly affects the membrane resistance under the channel, while reactant concentration predominantly influences current generation under the rib-covered cell area."}],"date_updated":"2021-01-12T08:13:01Z","quality_controlled":"1","day":"01","volume":156,"citation":{"ista":"Reum M, Freunberger SA, Wokaun A, Büchi FN. 2009. Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. 156(3), B301.","chicago":"Reum, Mathias, Stefan Alexander Freunberger, Alexander Wokaun, and Felix N. Büchi. “Measuring the Current Distribution with Sub-Millimeter Resolution in PEFCs: II. Impact of Operating Parameters.” <i>Journal of The Electrochemical Society</i>. The Electrochemical Society, 2009. <a href=\"https://doi.org/10.1149/1.3043422\">https://doi.org/10.1149/1.3043422</a>.","ieee":"M. Reum, S. A. Freunberger, A. Wokaun, and F. N. Büchi, “Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters,” <i>Journal of The Electrochemical Society</i>, vol. 156, no. 3. The Electrochemical Society, 2009.","ama":"Reum M, Freunberger SA, Wokaun A, Büchi FN. Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. <i>Journal of The Electrochemical Society</i>. 2009;156(3). doi:<a href=\"https://doi.org/10.1149/1.3043422\">10.1149/1.3043422</a>","short":"M. Reum, S.A. Freunberger, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 156 (2009).","apa":"Reum, M., Freunberger, S. A., Wokaun, A., &#38; Büchi, F. N. (2009). Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. <i>Journal of The Electrochemical Society</i>. The Electrochemical Society. <a href=\"https://doi.org/10.1149/1.3043422\">https://doi.org/10.1149/1.3043422</a>","mla":"Reum, Mathias, et al. “Measuring the Current Distribution with Sub-Millimeter Resolution in PEFCs: II. Impact of Operating Parameters.” <i>Journal of The Electrochemical Society</i>, vol. 156, no. 3, B301, The Electrochemical Society, 2009, doi:<a href=\"https://doi.org/10.1149/1.3043422\">10.1149/1.3043422</a>."},"doi":"10.1149/1.3043422","extern":"1","publisher":"The Electrochemical Society","oa_version":"None","publication_identifier":{"issn":["0013-4651"]},"issue":"3"},{"date_updated":"2023-02-23T13:10:05Z","abstract":[{"lang":"eng","text":"Set agreement is a fundamental problem in distributed computing in which processes collectively choose a small subset of values from a larger set of proposals. The impossibility of fault-tolerant set agreement in asynchronous networks is one of the seminal results in distributed computing. The complexity of set agreement in synchronous networks has also been a significant research challenge. Real systems, however, are neither purely synchronous nor purely asynchronous. Rather, they tend to alternate between periods of synchrony and periods of asynchrony. In this paper, we analyze the complexity of set agreement in a &quot;partially synchronous&quot; setting, presenting the first (asymptotically) tight bound on the complexity of set agreement in such systems. We introduce a novel technique for simulating, in fault-prone asynchronous shared memory, executions of an asynchronous and failure-prone messagepassing system in which some fragments appear synchronous to some processes. We use this technique to derive a lower bound on the round complexity of set agreement in a partially synchronous system by a reduction from asynchronous wait-free set agreement. We also present an asymptotically matching algorithm that relies on a distributed asynchrony detection mechanism to decide as soon as possible during periods of synchrony. By relating environments with differing degrees of synchrony, our simulation technique is of independent interest. In particular, it allows us to obtain a new lower bound on the complexity of early deciding k-set agreement complementary to that of [12], and to re-derive the combinatorial topology lower bound of [13] in an algorithmic way."}],"publist_id":"6903","page":"943 - 953","citation":{"mla":"Alistarh, Dan-Adrian, et al. <i>Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement</i>. Vol. 5878 LNCS, Springer, 2009, pp. 943–53, doi:<a href=\"https://doi.org/10.1007/978-3-642-10631-6_95\">10.1007/978-3-642-10631-6_95</a>.","apa":"Alistarh, D.-A., Gilbert, S., Guerraoui, R., &#38; Travers, C. (2009). Of choices, failures and asynchrony: the many faces of set agreement (Vol. 5878 LNCS, pp. 943–953). Presented at the ISAAC: International Symposium on Algorithms and Computation, Springer. <a href=\"https://doi.org/10.1007/978-3-642-10631-6_95\">https://doi.org/10.1007/978-3-642-10631-6_95</a>","short":"D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2009, pp. 943–953.","ama":"Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Of choices, failures and asynchrony: the many faces of set agreement. In: Vol 5878 LNCS. Springer; 2009:943-953. doi:<a href=\"https://doi.org/10.1007/978-3-642-10631-6_95\">10.1007/978-3-642-10631-6_95</a>","ieee":"D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Of choices, failures and asynchrony: the many faces of set agreement,” presented at the ISAAC: International Symposium on Algorithms and Computation, 2009, vol. 5878 LNCS, pp. 943–953.","chicago":"Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement,” 5878 LNCS:943–53. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-10631-6_95\">https://doi.org/10.1007/978-3-642-10631-6_95</a>.","ista":"Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2009. Of choices, failures and asynchrony: the many faces of set agreement. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 5878 LNCS, 943–953."},"volume":"5878 LNCS","day":"01","conference":{"name":"ISAAC: International Symposium on Algorithms and Computation"},"publisher":"Springer","extern":"1","oa_version":"None","doi":"10.1007/978-3-642-10631-6_95","language":[{"iso":"eng"}],"title":"Of choices, failures and asynchrony: the many faces of set agreement","article_processing_charge":"No","type":"conference","year":"2009","_id":"752","status":"public","date_created":"2018-12-11T11:48:19Z","date_published":"2009-01-01T00:00:00Z","publication_status":"published","acknowledgement":"Corentin Travers was supposrted in part by a Sam & Cecilia Neaman Fellowship","month":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"author":[{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","last_name":"Alistarh","first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian"},{"last_name":"Gilbert","first_name":"Seth","full_name":"Gilbert, Seth"},{"first_name":"Rachid","last_name":"Guerraoui","full_name":"Guerraoui, Rachid"},{"full_name":"Travers, Corentin","last_name":"Travers","first_name":"Corentin"}]},{"type":"journal_article","_id":"7751","year":"2009","publication":"Genetics","language":[{"iso":"eng"}],"title":"The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep","article_processing_charge":"No","publication_status":"published","date_published":"2009-04-01T00:00:00Z","month":"04","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","author":[{"last_name":"Robinson","first_name":"Matthew Richard","full_name":"Robinson, Matthew Richard","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","orcid":"0000-0001-8982-8813"},{"last_name":"Wilson","first_name":"Alastair J.","full_name":"Wilson, Alastair J."},{"first_name":"Jill G.","last_name":"Pilkington","full_name":"Pilkington, Jill G."},{"last_name":"Clutton-Brock","first_name":"Tim H.","full_name":"Clutton-Brock, Tim H."},{"last_name":"Pemberton","first_name":"Josephine M.","full_name":"Pemberton, Josephine M."},{"full_name":"Kruuk, Loeske E. B.","last_name":"Kruuk","first_name":"Loeske E. B."}],"intvolume":"       181","status":"public","date_created":"2020-04-30T11:01:57Z","page":"1639-1648","volume":181,"citation":{"ista":"Robinson MR, Wilson AJ, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. 2009. The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. 181(4), 1639–1648.","ama":"Robinson MR, Wilson AJ, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. <i>Genetics</i>. 2009;181(4):1639-1648. doi:<a href=\"https://doi.org/10.1534/genetics.108.086801\">10.1534/genetics.108.086801</a>","chicago":"Robinson, Matthew Richard, Alastair J. Wilson, Jill G. Pilkington, Tim H. Clutton-Brock, Josephine M. Pemberton, and Loeske E. B. Kruuk. “The Impact of Environmental Heterogeneity on Genetic Architecture in a Wild Population of Soay Sheep.” <i>Genetics</i>. Genetics Society of America, 2009. <a href=\"https://doi.org/10.1534/genetics.108.086801\">https://doi.org/10.1534/genetics.108.086801</a>.","short":"M.R. Robinson, A.J. Wilson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Genetics 181 (2009) 1639–1648.","ieee":"M. R. Robinson, A. J. Wilson, J. G. Pilkington, T. H. Clutton-Brock, J. M. Pemberton, and L. E. B. Kruuk, “The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep,” <i>Genetics</i>, vol. 181, no. 4. Genetics Society of America, pp. 1639–1648, 2009.","mla":"Robinson, Matthew Richard, et al. “The Impact of Environmental Heterogeneity on Genetic Architecture in a Wild Population of Soay Sheep.” <i>Genetics</i>, vol. 181, no. 4, Genetics Society of America, 2009, pp. 1639–48, doi:<a href=\"https://doi.org/10.1534/genetics.108.086801\">10.1534/genetics.108.086801</a>.","apa":"Robinson, M. R., Wilson, A. J., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., &#38; Kruuk, L. E. B. (2009). The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. <i>Genetics</i>. Genetics Society of America. <a href=\"https://doi.org/10.1534/genetics.108.086801\">https://doi.org/10.1534/genetics.108.086801</a>"},"day":"01","date_updated":"2021-01-12T08:15:17Z","abstract":[{"lang":"eng","text":"This work demonstrates that environmental conditions experienced by individuals can shape their development and affect the stability of genetic associations. The implication of this observation is that the environmental response may influence the evolution of traits in the wild. Here, we examined how the genetic architecture of a suite of sexually dimorphic traits changed as a function of environmental conditions in an unmanaged population of Soay sheep (Ovis aries) on the island of Hirta, St. Kilda, northwest Scotland. We examined the stability of phenotypic, genetic, and environmental (residual) covariance in males during the first year of life between horn length, body weight, and parasite load in environments of different quality. We then examined the same covariance structures across environments within and between the adult sexes. We found significant genotype-by-environment interactions for lamb male body weight and parasite load, leading to a change in the genetic correlation among environments. Horn length was genetically correlated with body weight in males but not females and the genetic correlation among traits within and between the sexes was dependent upon the environmental conditions experienced during adulthood. Genetic correlations were smaller in more favorable environmental conditions, suggesting that in good environments, loci are expressed that have sex-specific effects. The reduction in genetic correlation between the sexes may allow independent evolutionary trajectories for each sex. This study demonstrates that the genetic architecture of traits is not stable under temporally varying environments and highlights the fact that evolutionary processes may depend largely upon ecological conditions.\r\nENVIRONMENTAL heterogeneity has long been recognized as an important factor influencing the evolution of fitness-related traits in the wild (Roff 2002). The evolution of a trait depends upon the selection upon it, underlying genetic variation, and to a large degree the genetic relationships with other traits (Lynch and Walsh 1998). There is evidence that selection can vary considerably from year to year (Price et al. 1984; Robinson et al. 2008) and genetic variability in quantitative traits can change in response to environmental conditions (Hoffmann and Merilä 1999; Charmantier and Garant 2005). However, we know surprisingly little about the influence of environmental conditions on genetic correlations between traits in wild populations. Laboratory evidence suggests that the environment may influence genetic relationships between traits (Sgrò and Hoffmann 2004), but estimates obtained in a controlled or in an arbitrary range of conditions show a lack of concordance with those obtained in wild habitats (Conner et al. 2003). As a result, laboratory and environment-specific estimates of genetic correlations can make predictions for a trait's evolution, but these are valid only for the environment in which they were measured. Therefore, at present, it is difficult to generalize about the evolution of a trait that is expressed in populations that experience variable environmental conditions (Steppan et al. 2002).\r\nThe influence of changing environmental conditions on the G matrix (the matrix of additive genetic variance and covariances corresponding to a set of traits) has been the focus of theoretical quantitative genetic studies (e.g., Jones et al. 2003). There is evidence of genotype-by-environment interaction for many traits expressed in wild populations (Charmantier and Garant 2005) and thus we may also expect that associations between traits may depend upon the environmental conditions encountered by an individual. Genetic correlations among traits may arise from pleiotropy, where a given locus affects more than one trait (Cheverud 1988; Lynch and Walsh 1998), which may limit the potential for those traits to evolve independently. There has recently been much interest in assessing genetic correlations between the sexes (Rice and Chippindale 2001; Foerster et al. 2007; Poissant et al. 2008), but all of these predictions have also been made in average environmental conditions. For sexually dimorphic traits, expectations of between-sex genetic correlations are unclear (Lande 1980; Badyaev 2002). We might expect that the genetic determination of a trait and the patterns of genetic covariance between traits may differ both within and between the sexes, producing the differences in trait growth that are commonly observed (Lande 1980; Badyaev 2002; Roff 2002), but so far evidence suggests that genetic expression in both sexes is influenced by the same developmental pathway (Roff 2002; Jensen et al. 2003; Parker and Garant 2005). However, to our knowledge, no study has yet determined whether genetic correlations, both within and between the sexes, vary across gradients of the environmental conditions encountered by individuals in the wild (Garant et al. 2008).\r\nThis study aims to assess the stability of phenotypic, genetic, and environmental (residual) associations between traits, within and between the sexes, across a range of environmental conditions experienced by a wild population. We focus on the traits of horn length, body weight, and parasite load in a feral population of Soay sheep (Ovis aries) from the island of Hirta, St. Kilda, United Kingdom. Weather conditions, population density, and consequently resource availability fluctuate from year to year, providing substantial differences between individuals in the environments they experience and thus their survival rates (Clutton-Brock and Pemberton 2004). These varying conditions, combined with a large pedigree and extensive repeated morphological measures, provide an excellent opportunity to assess the potential effects of environmental heterogeneity on genetic architecture of traits. Previous studies on this population have shown additive genetic variance for many morphological traits (Milner et al. 2000; Coltman et al. 2001; Wilson et al. 2005), genetic correlations between traits (Coltman et al. 2001), and genotype-by-environment interactions for birth weight (Wilson et al. 2006). Here we apply a random regression animal model approach to assess the extent to which quantitative genetic parameters of a range of morphological traits measured during life vary as a function of environmental conditions. We then extend this methodology to the multivariate case, testing whether the phenotypic covariance structure, and the underlying G matrix, depends on the environmental conditions experienced. Since the traits considered here are known to be sexually dimorphic and there are differences in trait growth and survival across ages, we look at sex-specific traits in lambs and then across all ages."}],"quality_controlled":"1","publication_identifier":{"issn":["0016-6731","1943-2631"]},"issue":"4","extern":"1","publisher":"Genetics Society of America","oa_version":"None","doi":"10.1534/genetics.108.086801"},{"publist_id":"141","quality_controlled":"1","date_updated":"2021-01-12T07:59:46Z","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."}],"page":"140 - 156","volume":5643,"citation":{"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.","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>","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>","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>.","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.","short":"R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156."},"publisher":"Springer","conference":{"name":"CAV: Computer Aided Verification","end_date":"2009-07-02","start_date":"2009-06-26","location":"Grenoble, France"},"department":[{"_id":"KrCh"}],"year":"2009","_id":"4569","type":"conference","date_created":"2018-12-11T12:09:31Z","intvolume":"      5643","author":[{"last_name":"Bloem","first_name":"Roderick","full_name":"Bloem, Roderick"},{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"last_name":"Jobstmann","first_name":"Barbara","full_name":"Jobstmann, Barbara"}],"publication_status":"published","project":[{"name":"COMponent-Based Embedded Systems design Techniques","_id":"25EFB36C-B435-11E9-9278-68D0E5697425","grant_number":"215543","call_identifier":"FP7"}],"month":"06","ec_funded":1,"oa":1,"day":"19","oa_version":"Preprint","doi":"10.1007/978-3-642-02658-4_14","external_id":{"arxiv":["0904.2638"]},"title":"Better quality in synthesis through quantitative objectives","arxiv":1,"language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0904.2638"}],"status":"public","date_published":"2009-06-19T00:00:00Z","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.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"]},{"file":[{"file_name":"IST-2012-35-v1+1_Alpaga_-_A_tool_for_solving_parity_games_with_imperfect_information.pdf","checksum":"d52b55a10a47b3e3b0e016ea9bf85c41","file_id":"5168","access_level":"open_access","date_updated":"2020-07-14T12:46:32Z","content_type":"application/pdf","relation":"main_file","creator":"system","file_size":212180,"date_created":"2018-12-12T10:15:45Z"}],"conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"doi":"10.1007/978-3-642-00768-2_7","publisher":"Springer","extern":1,"day":"09","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>.","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>","short":"D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.","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.","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>","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>.","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."},"oa":1,"page":"58 - 61","volume":5505,"abstract":[{"lang":"eng","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."}],"date_updated":"2021-01-12T07:59:52Z","publist_id":"127","quality_controlled":0,"alternative_title":["LNCS"],"month":"03","publication_status":"published","date_published":"2009-03-09T00:00:00Z","author":[{"first_name":"Dietmar","last_name":"Berwanger","full_name":"Berwanger, Dietmar"},{"full_name":"Krishnendu Chatterjee","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"De Wulf, Martin","last_name":"De Wulf","first_name":"Martin"},{"full_name":"Doyen, Laurent","last_name":"Doyen","first_name":"Laurent"},{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"status":"public","intvolume":"      5505","date_created":"2018-12-11T12:09:35Z","main_file_link":[{"url":"https://repository.ist.ac.at/35/","open_access":"1"}],"type":"conference","year":"2009","_id":"4580","file_date_updated":"2020-07-14T12:46:32Z","title":"Alpaga: A tool for solving parity games with imperfect information"},{"oa_version":"Published Version","publisher":"IST Austria","doi":"10.15479/AT:IST-2009-0004","file":[{"file_size":311065,"date_created":"2018-12-12T11:54:08Z","creator":"system","date_updated":"2020-07-14T12:46:43Z","access_level":"open_access","file_id":"5530","checksum":"fb7563150231325b00b1718d956f687b","relation":"main_file","content_type":"application/pdf","file_name":"IST-2009-0004_IST-2009-0004.pdf"}],"publication_identifier":{"issn":["2664-1690"]},"department":[{"_id":"KrCh"}],"date_updated":"2023-02-23T11:45:44Z","abstract":[{"lang":"eng","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."}],"has_accepted_license":"1","pubrep_id":"28","page":"17","oa":1,"citation":{"ieee":"K. Chatterjee, <i>Probabilistic automata on infinite words: Decidability and undecidability results</i>. IST Austria, 2009.","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>","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>.","short":"K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, 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>","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>.","ista":"Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p."},"day":"02","status":"public","ddc":["005"],"date_created":"2018-12-12T11:39:04Z","date_published":"2009-11-02T00:00:00Z","publication_status":"published","alternative_title":["IST Austria Technical Report"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"11","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee"}],"language":[{"iso":"eng"}],"title":"Probabilistic automata on infinite words: Decidability and undecidability results","type":"technical_report","related_material":{"record":[{"status":"public","id":"3857","relation":"later_version"}]},"file_date_updated":"2020-07-14T12:46:43Z","year":"2009","_id":"5392"},{"title":"Gist: A solver for probabilistic games","language":[{"iso":"eng"}],"_id":"5393","year":"2009","file_date_updated":"2020-07-14T12:46:43Z","related_material":{"record":[{"status":"public","id":"4388","relation":"later_version"}]},"type":"technical_report","date_created":"2018-12-12T11:39:05Z","ddc":["000","005"],"status":"public","author":[{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"first_name":"Barbara","last_name":"Jobstmann","full_name":"Jobstmann, Barbara"},{"id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","full_name":"Radhakrishna, Arjun","first_name":"Arjun","last_name":"Radhakrishna"}],"alternative_title":["IST Austria Technical Report"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"10","date_published":"2009-10-09T00:00:00Z","publication_status":"published","has_accepted_license":"1","abstract":[{"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.","lang":"eng"}],"date_updated":"2023-02-23T12:09:01Z","day":"09","citation":{"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>.","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>","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>","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>.","short":"K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.","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."},"oa":1,"pubrep_id":"29","page":"12","doi":"10.15479/AT:IST-2009-0003","oa_version":"Published Version","publisher":"IST Austria","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"publication_identifier":{"issn":["2664-1690"]},"file":[{"creator":"system","file_size":386866,"date_created":"2018-12-12T11:52:58Z","file_name":"IST-2009-0003_IST-2009-0003.pdf","file_id":"5459","checksum":"49551ac552915b17593a14c993845274","date_updated":"2020-07-14T12:46:43Z","access_level":"open_access","relation":"main_file","content_type":"application/pdf"}]},{"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"publication_identifier":{"issn":["2664-1690"]},"file":[{"content_type":"application/pdf","relation":"main_file","checksum":"1c50a9723fbae1b2c46d18138968efb3","file_id":"5511","access_level":"open_access","date_updated":"2020-07-14T12:46:43Z","file_name":"IST-2009-0002_IST-2009-0002.pdf","date_created":"2018-12-12T11:53:50Z","file_size":238091,"creator":"system"}],"doi":"10.15479/AT:IST-2009-0002","oa_version":"Published Version","publisher":"IST Austria","day":"09","page":"11","oa":1,"pubrep_id":"30","citation":{"ista":"Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.","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>.","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>","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>","ieee":"K. Chatterjee, T. A. Henzinger, and F. Horn, <i>Improved lower bounds for request-response and finitary Streett games</i>. IST Austria, 2009.","short":"K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.","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>."},"has_accepted_license":"1","abstract":[{"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.","lang":"eng"}],"date_updated":"2020-07-14T23:07:47Z","author":[{"first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"last_name":"Horn","first_name":"Florian","full_name":"Horn, Florian","id":"37327ACE-F248-11E8-B48F-1D18A9856A87"}],"alternative_title":["IST Austria Technical Report"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"09","publication_status":"published","date_published":"2009-09-09T00:00:00Z","date_created":"2018-12-12T11:39:05Z","ddc":["004"],"status":"public","_id":"5394","year":"2009","file_date_updated":"2020-07-14T12:46:43Z","type":"technical_report","title":"Improved lower bounds for request-response and finitary Streett games","language":[{"iso":"eng"}]},{"doi":"10.15479/AT:IST-2009-0001","oa_version":"Published Version","publisher":"IST Austria","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"file":[{"creator":"system","date_created":"2018-12-12T11:53:25Z","file_size":342088,"file_name":"IST-2009-0001_IST-2009-0001.pdf","content_type":"application/pdf","relation":"main_file","access_level":"open_access","date_updated":"2020-07-14T12:46:43Z","checksum":"04d9cc065cc19598a4e8631c47f1a562","file_id":"5486"}],"publication_identifier":{"issn":["2664-1690"]},"has_accepted_license":"1","abstract":[{"lang":"eng","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."}],"date_updated":"2023-02-23T11:45:39Z","day":"09","oa":1,"citation":{"ista":"Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.","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>","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>.","short":"K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.","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>.","ieee":"K. Chatterjee, L. Doyen, and T. A. Henzinger, <i>Qualitative analysis of partially-observable Markov decision processes</i>. 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>"},"pubrep_id":"31","page":"20","date_created":"2018-12-12T11:39:05Z","ddc":["005"],"status":"public","author":[{"first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"},{"orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["IST Austria Technical Report"],"month":"09","publication_status":"published","date_published":"2009-09-09T00:00:00Z","title":"Qualitative analysis of partially-observable Markov decision processes","language":[{"iso":"eng"}],"_id":"5395","year":"2009","file_date_updated":"2020-07-14T12:46:43Z","related_material":{"record":[{"relation":"later_version","id":"3855","status":"public"}]},"type":"technical_report"},{"issue":"4","doi":"10.1101/gad.1767009","publisher":"Cold Spring Harbor Laboratory Press","oa_version":"None","extern":"1","day":"15","page":"439 - 451","volume":23,"oa":1,"citation":{"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.","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>","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>.","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.","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>","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>."},"abstract":[{"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.","lang":"eng"}],"date_updated":"2021-01-12T08:05:32Z","publist_id":"7211","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"02","publication_status":"published","date_published":"2009-02-15T00:00:00Z","author":[{"last_name":"Knuesel","first_name":"Matthew","full_name":"Knuesel, Matthew"},{"full_name":"Meyer, Krista","last_name":"Meyer","first_name":"Krista"},{"last_name":"Bernecky","first_name":"Carrie A","full_name":"Bernecky, Carrie A","id":"2CB9DFE2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0893-7036"},{"full_name":"Taatjes, Dylan","first_name":"Dylan","last_name":"Taatjes"}],"intvolume":"        23","status":"public","date_created":"2018-12-11T11:47:25Z","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2648653/"}],"type":"journal_article","year":"2009","_id":"599","language":[{"iso":"eng"}],"publication":"Genes and Development","article_processing_charge":"No","title":"The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function"}]