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.
7454 Publications
2013 | Published | Conference Paper | IST-REx-ID: 2315 | 
Seiringer R, Yngvason J, Zagrebnov V. Disordered Bose-Einstein condensates with interaction. In: World Scientific Publishing; 2013:610-619. doi:10.1142/9789814449243_0063
View
| DOI
| Download None (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2319 |
Frank R, Hainzl C, Seiringer R, Solovej J. Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction. In: Springer; 2013:57-88. doi:10.1007/978-3-0348-0531-5_3
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2327 |
Henzinger TA, Otop J. From model checking to model measuring. 2013;8052:273-287. doi:10.1007/978-3-642-40184-8_20
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2404 |
Frank R, Lewin M, Lieb É, Seiringer R. A positive density analogue of the Lieb-Thirring inequality. Duke Mathematical Journal. 2013;162(3):435-495. doi:10.1215/00127094-2019477
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2405 |
Frank R, Lieb É, Seiringer R. Symmetry of bipolaron bound states for small Coulomb repulsion. Communications in Mathematical Physics. 2013;319(2):557-573. doi:10.1007/s00220-012-1604-y
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2408 |
Grech P, Seiringer R. The excitation spectrum for weakly interacting Bosons in a trap. Communications in Mathematical Physics. 2013;322(2):559-591. doi:10.1007/s00220-013-1736-8
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2410 |
Fernandes Redondo RA, Kupczok A, Stift G, Bollback JP. Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome Announcements. 2013;1(3). doi:10.1128/genomeA.00216-13
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2447 |
Piskac R, Wies T, Zufferey D. Automating separation logic using SMT. 2013;8044:773-789. doi:10.1007/978-3-642-39799-8_54
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 245 |
Baier S, Browning TD. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013;(680):69-151. doi:10.1515/crelle.2012.039
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 250 |
De La Bretèche R, Browning TD. Density of Châtelet surfaces failing the Hasse principle. Proceedings of the London Mathematical Society. 2013;108(4):1030-1078. doi:10.1112/plms/pdt060
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2520 |
Quadrianto N, Sharmanska V, Knowles D, Ghahramani Z. The supervised IBP: Neighbourhood preserving infinite latent feature models. In: Proceedings of the 29th Conference Uncertainty in Artificial Intelligence. AUAI Press; 2013:527-536.
[Submitted Version]
View
| Files available
2013 | Published | Journal Article | IST-REx-ID: 2697 |
Erdös L, Knowles A, Yau H, Yin J. Delocalization and diffusion profile for random band matrices. Communications in Mathematical Physics. 2013;323(1):367-416. doi:10.1007/s00220-013-1773-3
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2780 |
Erdös L, Knowles A, Yau H. Averaging fluctuations in resolvents of random band matrices. Annales Henri Poincare. 2013;14(8):1837-1926. doi:10.1007/s00023-013-0235-y
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2781 |
Erdös L, Knowles A, Yau H, Yin J. Spectral statistics of Erdős-Rényi graphs I: Local semicircle law. Annals of Probability. 2013;41(3 B):2279-2375. doi:10.1214/11-AOP734
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2807 |
Čadek M, Krcál M, Matoušek J, Vokřínek L, Wagner U. Extending continuous maps: Polynomiality and undecidability. In: 45th Annual ACM Symposium on Theory of Computing. ACM; 2013:595-604. doi:10.1145/2488608.2488683
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2846 |
El Masri L, Schulte R, Timmermeyer N, et al. Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution. Ecology Letters. 2013;16(4):461-468. doi:10.1111/ele.12068
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2881 |
Li H, Xu T, Lin D, et al. Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis. Cell Research. 2013;23(2):290-299. doi:10.1038/cr.2012.146
View
| DOI
| Download (ext.)
2013 | Published | Book Chapter | IST-REx-ID: 2907 |
Barton NH. Recombination and sex. In: The Princeton Guide to Evolution. Princeton University Press; 2013:328-333.
[Submitted Version]
View
| Files available
2013 | Published | Conference Paper | IST-REx-ID: 2948 |
Tommasi T, Quadrianto N, Caputo B, Lampert C. Beyond dataset bias: Multi-task unaligned shared knowledge transfer. 2013;7724:1-15. doi:10.1007/978-3-642-37331-2_1
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2973 |
Bangerter E, Barzan S, Krenn S, Sadeghi A, Schneider T, Tsay J. Bringing Zero-Knowledge Proofs of Knowledge to Practice. In: Christianson B, Malcolm J, Matyas V, Roe M, eds. Vol 7028. Springer; 2013:51-62. doi:10.1007/978-3-642-36213-2_9
View
| DOI
| Download (ext.)