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.
442 Publications
2015 | Conference Paper | IST-REx-ID: 1820 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2015. Optimal cost almost-sure reachability in POMDPs. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence . IAAI: Innovative Applications of Artificial Intelligence, Artifical Intelligence, vol. 5, 3496–3502.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 1814 |
Jeschke S, Wojtan C. 2015. Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. 34(3), 27.
[Submitted Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1818 |
Polechova J, Barton NH. 2015. Limits to adaptation along environmental gradients. PNAS. 112(20), 6401–6406.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1823 |
Chevereau G, Bollenbach MT. 2015. Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. 11(4), 807.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1824 |
Knebel J, Weber M, Krüger TH, Frey E. 2015. Evolutionary games of condensates in coupled birth-death processes. Nature Communications. 6, 6977.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1831 |
Kappeler P, Cremer S, Nunn C. 2015. Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 370(1669), 20140116.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1828 |
Akopyan A, Pirogov S, Rybko A. 2015. Invariant measures of genetic recombination process. Journal of Statistical Physics. 160(1), 163–167.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1838 |
Bloem R, Chatterjee K, Jacobs S, Könighofer R. 2015. Assume-guarantee synthesis for concurrent reactive programs with partial information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9035, 517–532.
[Preprint]
View
| DOI
| Download Preprint (ext.)