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.
9114 Publications
2016 | Conference Paper | IST-REx-ID: 1166
K. Chatterjee, M. Chmelik, and J. Davies, “A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps,” in Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, AZ, USA, 2016, vol. 2016, pp. 3225–3232.
View
| Files available
2016 | Technical Report | IST-REx-ID: 5449 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification on undirected population structures: Comets beat stars. IST Austria, 2016.
[Updated Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |
1 Anonymous, 2 Anonymous, and 3 Anonymous, Termination and worst-case analysis of recursive programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
1 Anonymous, 2 Anonymous, and 3 Anonymous, Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria, 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5453 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Strong amplifiers of natural selection. IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5448 |
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Data-centric dynamic partial order reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 | Journal Article | IST-REx-ID: 5771 |
S. Mattei, F. K. Schur, and J. A. Briggs, “Retrovirus maturation—an extraordinary structural transformation,” Current Opinion in Virology, vol. 18, no. 6. Elsevier, pp. 27–35, 2016.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 587 |
O. Hosten, R. Krishnakumar, N. Engelsen, and M. Kasevich, “Quantum phase magnification,” Science, vol. 352, no. 6293. American Association for the Advancement of Science, pp. 1552–1555, 2016.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 592
N. Engelsen, O. Hosten, R. Krishnakumar, and M. Kasevich, “Engineering spin squeezed states for quantum-enhanced atom interferometry,” presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, United States, 2016.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 6732 |
M. Mondelli, S. H. Hassani, and R. L. Urbanke, “Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors,” IEEE Transactions on Information Theory, vol. 62, no. 12. IEEE, pp. 6698–6712, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 6733 |
S. Kudekar, S. Kumar, M. Mondelli, H. D. Pfister, and R. Urbankez, “Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels,” in 2016 IEEE International Symposium on Information Theory , Barcelona, Spain, 2016, pp. 1755–1759.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7068 |
P. J. W. Moll et al., “Magnetic torque anomaly in the quantum limit of Weyl semimetals,” Nature Communications, vol. 7. Springer Nature, 2016.
[Published Version]
View
| Files available
| DOI