Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5611 Publications
2009 |
Published |
Journal Article |
IST-REx-ID: 2193 |
Lemeshko, M., & Friedrich, B. (2009). Probing weakly bound molecules with nonresonant light. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.103.053003
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 228 |
Browning, T. D., & Heath Brown, R. (2009). Rational points on quartic hypersurfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/CRELLE.2009.026
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 229 |
Browning, T. D. (2009). Linear growth for Châtelet surfaces. Mathematische Annalen. Springer Nature. https://doi.org/10.1007/s00208-009-0383-z
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2384 |
Giuliani, A., & Seiringer, R. (2009). The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-009-9718-0
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2385 |
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. American Physical Society. https://doi.org/10.1103/PhysRevA.79.063626
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2386 |
Seiringer, R., & Ueltschi, D. (2009). Rigorous upper bound on the critical temperature of dilute Bose gases. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.80.014502
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2387 |
Lewin, M., & Seiringer, R. (2009). Strongly correlated phases in rapidly rotating Bose gases. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-009-9833-y
View
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 2388 |
Predd, J., Seiringer, R., Lieb, É., Osherson, D., Poor, H., & Kulkarni, S. (2009). Probabilistic coherence and proper scoring rules. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/TIT.2009.2027573
View
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 2433 |
Matoušek, J., Tancer, M., & Wagner, U. (2009). Hardness of embedding simplicial complexes in ℝd (pp. 855–864). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4569 |
Bloem, R., Chatterjee, K., Henzinger, T. A., & 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. https://doi.org/10.1007/978-3-642-02658-4_14
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |
Published |
Conference Paper |
IST-REx-ID: 4580 |
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & 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. https://doi.org/10.1007/978-3-642-00768-2_7
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Technical Report |
IST-REx-ID: 5392 |
Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004
[Published Version]
View
| Files available
| DOI
2009 |
Published |
Technical Report |
IST-REx-ID: 5393 |
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0003
[Published Version]
View
| Files available
| DOI
2009 |
Published |
Technical Report |
IST-REx-ID: 5394 |
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Improved lower bounds for request-response and finitary Streett games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0002
[Published Version]
View
| Files available
| DOI
2009 |
Published |
Technical Report |
IST-REx-ID: 5395 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2009-0001
[Published Version]
View
| Files available
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 599 |
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. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.1767009
View
| DOI
| Download None (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 9147 |
Muller, C. J., & Bühler, O. (2009). Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. American Meteorological Society. https://doi.org/10.1175/2009jpo4141.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 9148 |
Muller, C. J., Back, L. E., O’Gorman, P. A., & Emanuel, K. A. (2009). A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. American Geophysical Union. https://doi.org/10.1029/2009gl039667
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 9453 |
Hsieh, T.-F., Ibarra, C. A., Silva, P., Zemach, A., Eshed-Williams, L., Fischer, R. L., & Zilberman, D. (2009). Genome-wide demethylation of Arabidopsis endosperm. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1172417
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |
Published |
Journal Article |
IST-REx-ID: 1038 |
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. Applied Physics B: Lasers and Optics. Springer. https://doi.org/10.1007/s00340-009-3407-1
View
| DOI
| Download None (ext.)
| arXiv