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.
542 Publications
2010 | Journal Article | IST-REx-ID: 2389 | 
Hainzl, C., & Seiringer, R. (2010). Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. Wiley-Blackwell. https://doi.org/10.1002/mana.200810195
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2704
Erdös, L., Schlein, B., & Yau, H. (2010). Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2010.172.291
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2761
Erdös, L., Ramírez, J., Schlein, B., & Yau, H. (2010). Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v15-768
View
| DOI
2010 | Journal Article | IST-REx-ID: 2756
Erdös, L., & Solovej, J. (2010). Ground state energy of large atoms in a self-generated magnetic field. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-009-0869-2
View
| DOI
2010 | Journal Article | IST-REx-ID: 2763
Erdös, L., Ramírez, J., Schlein, B., Tao, T., Van, V., & Yau, H. (2010). Bulk universality for Wigner Hermitian matrices with subexponential decay. Mathematical Research Letters. International Press.
View
2010 | Book | IST-REx-ID: 3899
Edelsbrunner, H., & Harer, J. (2010). Computational Topology: An Introduction (Vol. 69). American Mathematical Society. https://doi.org/10.1090/mbk/069
View
| Files available
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3867 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-6(3:10)2010
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 533
Hoenicke, J., Leino, K., Podelski, A., Schäf, M., & Wies, T. (2010). Doomed program points. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-010-0102-0
View
| DOI
2009 | 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
2009 | Journal Article | IST-REx-ID: 1041 |
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Hart, R., Liem, A., … Nägerl, H. (2009). Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/11/5/055036
View
| DOI
| Download None (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 1043 |
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. Royal Society of Chemistry. https://doi.org/10.1039/b820542f
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Book Chapter | IST-REx-ID: 164 |
Browning, T. D., & Heath Brown, R. (2009). Integral points on cubic hypersurfaces. In Analytic Number Theory: Essays in honour of Klaus Roth (pp. 75–90). Cambridge University Press.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 2149 |
Lemeshko, M., & Friedrich, B. (2009). Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.79.012718
View
| DOI
| Download (ext.)
2009 | Book | IST-REx-ID: 227
Browning, T. D. (2009). Quantitative Arithmetic of Projective Varieties (Vol. 277). Birkhäuser Basel. https://doi.org/10.1007/978-3-0346-0129-0
View
| DOI
2009 | Book | IST-REx-ID: 2326
Lieb, É., & Seiringer, R. (2009). The Stability of Matter in Quantum Mechanics. Cambridge University Press.
View
| Download None (ext.)
2009 | 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 | 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 | Book Chapter | IST-REx-ID: 3747
Tkačik, G., & Bialek, W. (2009). Cell Biology: Networks, regulation, pathways. In R. Meyers (Ed.), Encyclopedia of Complexity and Systems Science (pp. 719–741). Springer. https://doi.org/10.1007/978-0-387-30440-3_48
View
| DOI
2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, K., De Alfaro, L., Faella, M., & Legay, A. (2009). Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-5(2:7)2009
View
| DOI
2009 | Journal Article | IST-REx-ID: 3696
Lampert, C., & Blaschko, M. (2009). Structured prediction by joint kernel support estimation. Machine Learning. Springer. https://doi.org/10.1007/s10994-009-5111-0
View
| DOI