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.
451 Publications
2015 | Research Data | IST-REx-ID: 5549 | 
Fellner, Andreas. Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Institute of Science and Technology Austria, 2015, doi:10.15479/AT:ISTA:28.
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1512 |
Goaoc, Xavier, et al. Bounding Helly Numbers via Betti Numbers. Vol. 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 507–21, doi:10.4230/LIPIcs.SOCG.2015.507.
[Submitted Version]
View
| Files available
| DOI
2015 |Submitted| Journal Article | IST-REx-ID: 271 |
Browning, Timothy D., and Sean Prendiville. “Improvements in Birch’s Theorem on Forms in Many Variables.” Journal Fur Die Reine Und Angewandte Mathematik, vol. 2017, no. 731, Walter de Gruyter, pp. 203–34, doi:10.1515/crelle-2014-0122.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 1675 |
Dziembowski, Stefan, et al. “Proofs of Space.” 35th Annual Cryptology Conference, vol. 9216, Springer, 2015, pp. 585–605, doi:10.1007/978-3-662-48000-7_29.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 15160 |
Michael, Alicia K., et al. “Cancer/Testis Antigen PASD1 Silences the Circadian Clock.” Molecular Cell, vol. 58, no. 5, Elsevier, 2015, pp. 743–54, doi:10.1016/j.molcel.2015.03.031.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 15159
Michael, Alicia K., et al. “Cytosolic BMAL1 Moonlights as a Translation Factor.” Trends in Biochemical Sciences, vol. 40, no. 9, Elsevier, 2015, pp. 489–90, doi:10.1016/j.tibs.2015.07.006.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 17615 |
D’Orazio, D. J., et al. “A Reduced Orbital Period for the Supermassive Black Hole Binary Candidate in the Quasar PG 1302-102?” Monthly Notices of the Royal Astronomical Society, vol. 452, no. 3, Oxford University Press, 2015, pp. 2540–45, doi:10.1093/mnras/stv1457.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 17622 |
Charisi, M., et al. “Multiple Periods in the Variability of the Supermassive Black Hole Binary Candidate Quasar PG1302-102?” Monthly Notices of the Royal Astronomical Society: Letters, vol. 454, no. 1, Oxford University Press, 2015, pp. L21–25, doi:10.1093/mnrasl/slv111.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 17641 |
Prieto, Joaquin, et al. “The Origin of Spin in Galaxies: Clues from Simulations of Atomic Cooling Haloes.” Monthly Notices of the Royal Astronomical Society, vol. 452, no. 1, Oxford University Press, 2015, pp. 784–802, doi:10.1093/mnras/stv1234.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 17652 |
D’Orazio, Daniel J., et al. “Relativistic Boost as the Cause of Periodicity in a Massive Black-Hole Binary Candidate.” Nature, vol. 525, no. 7569, Springer Science and Business Media LLC, 2015, pp. 351–53, doi:10.1038/nature15262.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 17663 |
Visbal, Eli, et al. “Limits on Population III Star Formation in Minihaloes Implied by Planck.” Monthly Notices of the Royal Astronomical Society, vol. 453, no. 4, Oxford University Press, 2015, pp. 4457–67, doi:10.1093/mnras/stv1941.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 17685 |
Raffai, P., et al. “A Statistical Method to Search for Recoiling Supermassive Black Holes in Active Galactic Nuclei.” Monthly Notices of the Royal Astronomical Society, vol. 455, no. 1, Oxford University Press, 2015, pp. 484–92, doi:10.1093/mnras/stv2371.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 17694 |
Visbal, Eli, et al. “Looking for Population III Stars with He Ii Line Intensity Mapping.” Monthly Notices of the Royal Astronomical Society, vol. 450, no. 3, Oxford University Press, 2015, pp. 2506–13, doi:10.1093/mnras/stv785.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 17702 |
Petri, Andrea, et al. “Emulating the CFHTLenS Weak Lensing Data: Cosmological Constraints from Moments and Minkowski Functionals.” Physical Review D, vol. 91, no. 10, 103511, American Physical Society, 2015, doi:10.1103/physrevd.91.103511.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 17710 |
Liu, Jia, et al. “Cosmology Constraints from the Weak Lensing Peak Counts and the Power Spectrum in CFHTLenS Data.” Physical Review D, vol. 91, no. 6, 063507, American Physical Society, 2015, doi:10.1103/physrevd.91.063507.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 1619 |
Chevereau, Guillaume, et al. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.” PLoS Biology, vol. 13, no. 11, e1002299, Public Library of Science, 2015, doi:10.1371/journal.pbio.1002299.
[Published Version]
View
| Files available
| DOI